[论文解读] Local energy weak solutions for the Navier-Stokes equations in the half-space

Yasunori Maekawa, Hideyuki Miura+1 more|arXiv (Cornell University)|Nov 13, 2017

Navier-Stokes equation solutions参考文献 20被引用 3

一句话总结

本文建立了在无滑移边界条件下，三维半空间 ℝ³₊ 中 3D Navier-Stokes 方程全局时间局部能量弱解的存在性。通过引入由于边界引起的 Hlmholtz-Leray 与调和部分的显式压力分解，作者证明了解的存在性，并进一步表明此类解在潜在的有限时间奇点处恢复了尺度临界 L³(ℝ³₊) 范数的爆破，扩展了 Seregin 的结果。

ABSTRACT

The purpose of this paper is to prove the existence of global in time local energy weak solutions to the Navier-Stokes equations in the half-space $\mathbb R^3_+$. Such solutions are sometimes called Lemarié-Rieusset solutions in the whole space $\mathbb R^3$. The main tool in our work is an explicit representation formula for the pressure, which is decomposed into a Helmholtz-Leray part and a harmonic part due to the boundary. We also explain how our result enables to reprove the blow-up of the scale-critical $L^3(\mathbb R^3_+)$ norm obtained by Barker and Seregin for solutions developing a singularity in finite time.

研究动机与目标

• 将 Lemarié-Rieusset 型局部能量弱解理论从整个空间 ℝ³ 扩展到半空间 ℝ³₊。
• 解决 Barker 与 Seregin 指出的关于此类解在半空间中存在性的开放问题。
• 为通过尺度临界范数（特别是 L³）的爆破分析奇点提供一个框架。
• 建立一个将 Hlmholtz-Leray 与由于边界的调和分量分离的压力表示公式。
• 利用所构造的局部能量解，重新证明在发展出有限时间奇点的解中，L³(ℝ³₊) 范数的爆破，遵循 Seregin [31] 的方案。

提出的方法

• 在半空间中推导出压力的显式表示公式，将其分解为 Hlmholtz-Leray 部分和由边界引起的调和部分。
• 利用边界积分表示，通过 Dirichlet 问题和奇异积分估计控制压力的调和部分。
• 通过带截断函数和光滑化的 Galerkin 型逼近构造局部能量弱解，确保解满足局部能量不等式。
• 采用局部化能量方法，并应用适配于半空间的 ε-正则性理论，依赖于文献 [32, 35, 34] 中的边界 ε-正则性结果。
• 应用局部能量解理论，重新推导在潜在奇点时间 T 处 L³(ℝ³₊) 范数的爆破，遵循 Seregin [31] 的方案。
• 利用截断函数和散度问题对 L²_uloc,σ(ℝ³₊) 的表征，确保在极限下满足无散度条件和边界条件。

实验结果

研究问题

• RQ1 能否在无滑移边界条件下，在半空间 ℝ³₊ 中全局时间构造 Navier-Stokes 方程的局部能量弱解？
• RQ2 半空间中的压力是否可分解为 Hlmholtz-Leray 部分和由边界引起的调和部分，且该分解能否用于控制解？
• RQ3 能否利用所构造的局部能量弱解恢复在有限时间奇点处尺度临界范数 L³(ℝ³₊) 的爆破？
• RQ4 半空间中的局部能量弱解概念是否与文献中已有的概念（如 Maremonti 与 Shimizu 的概念）一致？
• RQ5 边界如何影响压力的结构以及局部能量解的正则性理论？

主要发现

• 本文证明了在无滑移边界条件下，3D Navier-Stokes 方程在半空间 ℝ³₊ 中存在全局时间的局部能量弱解。
• 推导出显式压力表示，将压力分解为 Hlmholtz-Leray 部分和由边界引起的调和部分，从而实现对解的精确控制。
• 证明了压力的调和部分可通过奇异积分估计受控，利用了边界几何结构。
• 所构造的解满足局部能量不等式，并在 Caffarelli、Kohn 与 Nirenberg 的意义下是合适的，从而在半空间中可获得 ε-正则性估计。
• 该理论被用于重新证明在潜在奇点时间 T 处 L³(ℝ³₊) 范数的爆破，确认了 Barker 与 Seregin 对 q=3 的结果。
• 证明了解类与在潜在奇点附近缩放后的有限能量解的局部极限一致，验证了其在奇点分析中的作用。