[论文解读] A necessary condition of possible blowup for the Navier-Stokes system in half-space

Tobias Barker, G. Serëgin|arXiv (Cornell University)|Aug 21, 2015

Navier-Stokes equation solutions参考文献 10被引用 6

一句话总结

本文建立了半空间 $Ω = \mathbb{R}^3_+$ 中纳维-斯托克斯方程有限时间爆破的必要条件，证明若解在时间 $T$ 爆破，则当 $t \to T^-$ 时 $\|u(\cdot,t)\|_{L^3(\Omega)} \to \infty$。作者提出一种新方法，通过直接在半空间框架中构造局部能量古解，避免了依赖勒马里埃-里厄塞特解，结合向后唯一性和正则性估计，将全空间中已知的结果推广至边界情形。

ABSTRACT

Assuming that ${T}$ is a potential blow up time for the Navier-Stokes system in half-space, we show that $L_{3}$-norm of the velocity field goes to $\infty$ as time t approaches $T$.

研究动机与目标

• 建立半空间 $\mathbb{R}^3_+$ 中纳维-斯托克斯系统解有限时间爆破的必要条件。
• 将全空间 $\mathbb{R}^3$ 中已知的 $L^3$-范数爆破条件推广至具有无滑移边界条件的半空间。
• 通过在半空间框架中直接构造局部能量古解，克服了半空间中勒马里埃-里厄塞特解不存在的缺陷。
• 在半空间中应用古解的向后唯一性和局部正则性理论，推导出爆破准则。

提出的方法

• 将解分解为线性和非线性部分：$u = u^1 + u^2$，其中 $u^1$ 是满足 $L^3(\mathbb{R}^3_+)$ 初始数据的斯托克斯方程的解。
• 利用半空间中格林函数的索洛尼科夫估计，得到 $\|u^1\|_{s,Q^+_{-2,0}} \leq c(s)\|u_0\|_{L^3}$，其中 $s \in [3,5]$。
• 对非线性部分 $u^2$ 应用能量估计，将非线性项拆分为四部分，通过插值和 $L^p$-估计进行控制。
• 在半空间中建立 $\nabla u$ 的一致局部 $L^2$-有界性，记为 $\|\nabla u\|_{L_{2,unif}(Q^+_{-3/2,0})} < \infty$，以启用抛物型正则性理论。
• 利用涡度方程 $\partial_t \omega - \Delta \omega = \text{div}(\omega \otimes u - u \otimes \omega)$ 及抛物型正则性，推导出 $\nabla u$ 在 $s > 1$ 时的高阶 $L^s$-有界性。
• 对具有在无穷远处有界 $L^\infty$-范数的古解应用向后唯一性和唯一延拓论证，得出爆破准则。

实验结果

研究问题

• RQ1 在具有无滑移边界条件的半空间 $\mathbb{R}^3_+$ 中，$L^3$-范数爆破条件 $\|u(\cdot,t)\|_{L^3} \to \infty$ 是否在 $t \to T^-$ 时成立？
• RQ2 是否可以在不依赖勒马里埃-里厄塞特解的前提下，将全空间 $\mathbb{R}^3$ 中的爆破准则推广至半空间？
• RQ3 是否可能在半空间中构造出适用于向后唯一性论证的局部能量古解？
• RQ4 边界在纳维-斯托克斯方程解的正则性和爆破行为中起何种作用？

主要发现

• 本文证明：若半空间 $\mathbb{R}^3_+$ 中纳维-斯托克斯系统解在时间 $T < \infty$ 爆破，则 $\lim_{t \to T^-} \|u(\cdot,t)\|_{L^3(\mathbb{R}^3_+)} = \infty$，确立了爆破的必要条件。
• 作者在半空间中直接构造了局部能量古解，无需依赖勒马里埃-里厄塞特型解的存在性，而后者在边界情形下尚不明确。
• 通过在半空间中建立 $\nabla u$ 的一致局部 $L^2$-有界性，应用抛物型正则性理论，实现对 $\nabla u$ 的更高阶 $L^s$-有界性（$s > 1$）的逐步提升。
• 证明依赖于半空间中抛物型系统向后唯一性和唯一延拓性质，关键输入为 $u$ 在空间无穷远处的有界性及 $\nabla u$ 的局部 $L^2$-可积性。
• 该方法避免了通过全空间方法对解进行缩放以构造古解，而是直接在半空间中构建所需的古解结构。
• 结果表明，全空间中已知的 $L^3$-范数爆破条件在半空间中同样成立，暗示其可能是三维纳维-斯托克斯方程潜在爆破行为的普遍特征。