[论文解读] A Liouville Theorem for the Axially-symmetric Navier-Stokes Equations

Zhen Lei, Qi S. Zhang|arXiv (Cornell University)|Nov 23, 2010

Navier-Stokes equation solutions参考文献 4被引用 11

一句话总结

本文在径向-轴向速度场 $b$ 的一般尺度不变条件下，建立了轴对称纳维-斯托克斯方程古老解的刘维尔型定理。证明了 $\Gamma = r v^\theta$ 在原点处为 Hölder 连续，从而在 $b \in L^\infty([0,T], BMO^{-1})$ 条件下蕴含正则性，解决了轴对称情形下唯一性与正则性的开放问题。

ABSTRACT

Let $v(x, t)= v^r e_r + v^θe_θ+ v^z e_z$ be a solution to the three-dimensional incompressible axially-symmetric Navier-Stokes equations. Denote by $b = v^r e_r + v^z e_z$ the radial-axial vector field. Under a general scaling invariant condition on $b$, we prove that the quantity $Γ= r v^θ$ is Hölder continuous at $r = 0$, $t = 0$. As an application, we give a partial proof of a conjecture on Liouville property by Koch-Nadirashvili-Seregin-Sverak in \cite{KNSS} and Seregin-Sverak in \cite{SS}. As another application, we prove that if $b \in L^\infty([0, T], BMO^{-1})$, then $v$ is regular. This provides an answer to an open question raised by Koch and Tataru in \cite{KochTataru} about the uniqueness and regularity of Navier-Stokes equations in the axially-symmetric case.

研究动机与目标

• 建立轴对称纳维-斯托克斯方程古老解的刘维尔型定理。
• 在径向-轴向速度场 $b$ 的一般尺度不变条件下，证明 $\Gamma = r v^\theta$ 在原点处的 Hölder 连续性。
• 解决科赫与塔塔鲁提出的关于轴对称纳维-斯托克斯解唯一性与正则性的开放问题。
• 为科赫-纳达拉什维利-塞雷金-谢弗拉克以及塞雷金-谢弗拉克提出的刘维尔性质猜想提供部分证明。

提出的方法

• 将径向-轴向速度场 $b = b_1 + b_2 + b_3$ 分解为三个分量，每个分量具有不同的正则性条件。
• 对 $b_1$ 使用空心缩放能量范数 $\mathrm{HSE}(b_1)$，对 $b_2$ 使用旋度的 BMO 范数，对 $b_3$ 使用点态 $L^\infty$ 控制。
• 应用纳什-莫泽-德 Giorgi 方法，通过抛物型正则性估计推导 $\Gamma = r v^\theta$ 的 Hölder 连续性。
• 通过缩放与紧致性进行爆破分析，提取出 $\mathbb{R}^3 \times (-\infty, 0]$ 上的极限古老解 $u$。
• 证明极限解 $u$ 有界且仅依赖于时间，除非 $v$ 正则，否则将导致矛盾。
• 利用最大原理与 $\Gamma$-方程的结构特性，控制奇异漂移项并确保正则性。

实验结果

研究问题

• RQ1 在径向-轴向速度场 $b$ 的何种条件下，$\Gamma = r v^\theta$ 在轴对称纳维-斯托克斯方程中于原点处为 Hölder 连续？
• RQ2 在 $b$ 的一般尺度不变假设下，能否部分证明轴对称纳维-斯托克斯方程古老解的刘维尔性质猜想？
• RQ3 若 $b \in L^\infty([0,T], BMO^{-1})$，是否蕴含轴对称情形下解 $v$ 的正则性？
• RQ4 经典纳什-莫泽-德 Giorgi 方法能否被调整以处理 $\Gamma$-方程中的奇异漂移结构？

主要发现

• 在 $\|b\|_E < \infty$ 条件下，$\Gamma = r v^\theta$ 在 $r=0$，$t=0$ 处为 Hölder 连续，其正则性仅依赖于 $\|b\|_E$。
• 本文为科赫-纳达拉什维利-塞雷金-谢弗拉克及塞雷金-谢弗拉克提出的刘维尔性质猜想在轴对称情形下提供了部分证明。
• 若 $b \in L^\infty([0,T], BMO^{-1})$，则解 $v$ 正则，回答了科赫与塔塔鲁提出的一个开放问题。
• 爆破分析导出一个有界古老解 $u$，其与空间变量无关，除非 $u=0$，否则将与流函数的 BMO 有界性矛盾，从而表明不可能出现奇点。
• 该结果将保证正则性的初始数据类扩展至包括 $BMO^{-1}$ 空间，这是目前已知对纳维-斯托克斯方程适定性而言最大的空间。
• 该方法通过紧致性与反证法实现正则性证明，利用了 $\Gamma$-方程的结构及纳维-斯托克斯方程在旋转下的不变性。