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

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

基本信息

论文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 (Analysis of PDEs)
发表时间: October 14, 2025 (arXiv submission)
论文链接: 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.5: 在无滑移边界条件下，边界正则点附近有 $\partial_t u, \nabla^2 u, \nabla p \in L^{q_1,r_0}$ 对任意 $q_1 < \infty$
定理1.6: 在Navier边界条件下，边界正则点附近有 $\nabla\partial_t u, \nabla^3 u, \nabla^2 p \in L^{q_1,r_0}$ 对任意 $q_1 < \infty$