2025-11-25T14:07:18.238453

The local regularity theory for the Stokes and Navier--Stokes equations near the curved boundary

Chen, Liang, Tsai

In this paper, we study local regularity of the solutions to the Stokes equations near a curved boundary under no-slip or Navier boundary conditions. We extend previous boundary estimates near a flat boundary to that near a curved boundary, under very low starting regularity assumptions. Compared with the flat case, the proof for the curved case is more complicated and we adapt new techniques such as the ``normal form" after the mollification with even-even-odd extension, recovering vertical derivative estimates from horizontal derivative estimates, and transferring temporal derivatives to spatial derivatives, to deal with the higher order perturbation terms generated by boundary straightening. As an application, we propose a new definition of boundary regular points for the incompressible Navier--Stokes equations that guarantees higher spatial regularity.

academic

曲線境界近傍のStokes方程式およびNavier-Stokes方程式に対する局所正則性理論

基本情報

論文ID: 2510.13028
タイトル: The local regularity theory for the Stokes and Navier--Stokes equations near the curved boundary
著者: Hui Chen, Su Liang, Tai-Peng Tsai
分類: math.AP (偏微分方程式の解析)
投稿日時: 2025年10月14日 (arXiv投稿)
論文リンク: https://arxiv.org/abs/2510.13028

要約

本論文は曲線境界近傍におけるStokes方程式の局所正則性問題を研究し、非滑り（no-slip）またはNavier境界条件を考察している。著者らは先行研究における平面境界に関する推定を曲線境界の場合に拡張し、極めて低い初期正則性仮定の下で対応する理論を確立した。平面境界の場合と比較して、曲線境界の証明はより複雑であり、平滑化された「標準形」、水平導数推定からの垂直導数推定の復元、および時間導数から空間導数への変換など、境界の直線化によって生じる高階摂動項を処理するための新しい技術を採用する必要がある。応用として、著者らは非圧縮Navier-Stokes方程式の境界正則点の新しい定義を提案し、より高い空間正則性を保証した。

研究背景と動機

問題の重要性: Stokes方程式とNavier-Stokes方程式は非圧縮粘性流体の運動を記述し、流体力学の基本方程式である。境界近傍における解の正則性を理解することは、流体力学の理論と応用の両方にとって極めて重要である。
既存研究の制限:
- 既存の境界正則性理論は主に平面境界の場合に焦点を当てている
- Seregin-Shilkinらの研究は、非滑り境界条件の下で、外力がゼロであっても、Stokes方程式の弱解が境界近傍で滑らかでない可能性があることを示している
- Chang-Kangらが構築した反例は、有界の非常に弱い解が無界の勾配を持つ可能性があることを示している
曲線境界の課題: 曲線境界の場合、幾何学的複雑性のため、境界の直線化によって生じる追加の摂動項を処理する必要があり、分析がより困難になる。
研究動機: 曲線境界の場合の完全な正則性理論を確立し、実際の応用における複雑な幾何学に対する理論的基礎を提供すること。

核心的貢献

境界推定の拡張: 平面境界の場合のStokes方程式正則性推定を曲線境界に拡張し、 $C^{1,1}$ 境界上で勾配推定を、 $C^{2,1}$ 境界上で二階導数推定を確立した。
技術的革新: 曲線境界を処理するための新しい技術を開発した。これには以下が含まれる:
- 平滑化された「標準形」（normal form）
- 水平導数推定からの垂直導数推定の復元
- 時間導数から空間導数への変換
完全な正則性理論: 非滑り条件とNavier条件に対してそれぞれ完全な局所正則性理論を確立した。
新しい境界正則点の定義: 高階空間正則性を保証するNavier-Stokes方程式の境界正則点の新しい定義を提案した。

方法の詳細説明

問題設定

領域 $\Omega \subset \mathbb{R}^d$ （ $d \geq 2$ ）上の非定常Stokes方程式を考察する: $\begin{cases} \partial_t u - \Delta u + \nabla p = f + \text{div} F \\ \text{div} u = 0 \end{cases}$

境界条件は以下の通りである:

非滑り条件: $u = 0$ on $\Sigma$
Navier条件: $[(2Du + F)n]_{\tan} + \alpha u_{\tan} = 0$ and $u \cdot n = 0$ on $\Sigma$

目標は曲線境界 $\partial\Omega \in C^{1,1}$ または $C^{2,1}$ 近傍における解の正則性推定を確立することである。

核心的技術フレームワーク

1. 境界直線化技術

$C^{1,1}$ 境界に対して、座標変換 $T$ により曲線境界を局所的に直線化する: $T x = (x', x_d - \gamma(x'))$ ここで $\gamma \in C^{1,1}(\mathbb{R}^{d-1})$ は $\gamma|_{x'=0} = 0$ , $\nabla\gamma|_{x'=0} = 0$ を満たす。

2. 平滑化と拡張技術

偶-偶-奇拡張の平滑化作用素を使用する: $E^{\pm}_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(g)(x,t) = \int_{\mathbb{R}^d_+ \times \mathbb{R}} g(y,s) \cdot \eta^{\pm}_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(x,y,t-s) dy ds$

3. 標準形技術

高階摂動項を処理するため、「標準形」を導入する:

速度に対して: $\hat{v}_k = (1 + |\nabla\gamma|^2)v_k$
渦度に対して: $\hat{\omega}_{id} = (1 + |\nabla\gamma|^2) \cdot \omega_{id} + \sum_{k=1}^{d-1}(1 + |\nabla\gamma|^2) \cdot \gamma'_k \cdot \gamma'_i \cdot \omega_{kd}$

主要定理

定理1.1 (非滑り境界条件の導数推定)

$\Gamma \in C^{1,1}$ と仮定し、 $(u,p)$ が非常に弱い解対であるとき、以下が成立する: $\|\nabla u\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|p\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q^*,r}(Q^+_1)} + \|F\|_{L^{q,r}(Q^+_1)}$

定理1.2 (Navier境界条件の勾配推定)

$\Gamma \in C^{1,1}$ と仮定し、 $u$ が弱解であるとき、以下が成立する: $\|\nabla u\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q^*,r}(Q^+_1)} + \|F\|_{L^{q,r}(Q^+_1)}$

定理1.3 (Navier境界条件の高階導数推定)

$\Gamma \in C^{2,1}$ と仮定し、 $(u,p)$ が弱解対で $F = 0$ であるとき、以下が成立する: $\|\partial_t u, \nabla^2 u, \nabla p\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|p\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q,r}(Q^+_1)}$

技術的革新点

1. 標準形方法

標準形 $\hat{v}_k$ と $\hat{\omega}_{id}$ を導入することにより、境界直線化によって生じる高階項を方程式の左辺に移動させ、推定における爆発項を回避する。

2. 導数復元技術

発散自由条件を利用して、水平導数推定から垂直導数推定を復元する: $\partial^2_d E_{\varepsilon_3}(T^{-1}\tilde{u}_d \cdot \zeta) = \partial_d E_{\varepsilon_3}(T^{-1}\tilde{u} \cdot \nabla\zeta) - \sum_{i=1}^{d-1} \partial_d \partial_i E_{\varepsilon_3}(v_i)$

3. 時空導数変換

低階項を処理するため、時間導数を空間導数に変換する: $\partial_t E_{\varepsilon_3}(T^{-1}\tilde{u} \cdot \nabla\zeta) = \sum_{k=1}^d (\Delta E_{\varepsilon_3}\hat{v}_k - \partial_k E_{\varepsilon_3}\pi_k + \text{l.o.t.})$

証明戦略

非滑り境界条件 (第3節)

速度近似の構成: $v_k(x,t) = T^{-1}u_k(x,t) \cdot \zeta(x,t)$ を定義する
熱方程式の導出: 適切なテスト関数を選択することにより $E^-_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(v_k)$ の熱方程式を得る
勾配推定: 標準形技術を使用して高階項を処理し、勾配の $L^{q,r}$ 推定を確立する
二階導数推定: 楕円型理論と反復技法を通じて高階導数推定を確立する

Navier境界条件 (第4-5節)

渦度方程式: 渦度の近似を構成し、その熱方程式を導出する
段階的推定: 追加項を含む推定を先に確立し、その後精密分析により追加項を除去する
高階推定: $C^{2,1}$ 境界に対して、三階導数推定を確立する

応用: 境界正則点の新しい定義

定義1.4 (境界正則点)

$z_0 = (x_0, t_0)$ がNavier-Stokes方程式の解対 $(u,p)$ の境界正則点であるとは、ある $R > 0$ が存在して $u \in L^{\infty}(Q^+_R(z_0))$ かつ $p \in L^{q_0,r_0}(Q^+_R(z_0))$ が何らかの $1 < q_0, r_0 < \infty$ に対して成立することをいう。

正則性向上定理

定理1.5: 非滑り境界条件の下で、境界正則点の近傍で任意の $q_1 < \infty$ に対して $\partial_t u, \nabla^2 u, \nabla p \in L^{q_1,r_0}$ が成立する
定理1.6: Navier境界条件の下で、境界正則点の近傍で任意の $q_1 < \infty$ に対して $\nabla\partial_t u, \nabla^3 u, \nabla^2 p \in L^{q_1,r_0}$ が成立する