[论文解读] Criticality of the Axially Symmetric Navier-Stokes Equations

Zhen Lei, Qi S. Zhang|arXiv (Cornell University)|May 11, 2015

Navier-Stokes equation solutions参考文献 26被引用 12

一句话总结

本文通过在漩涡分量 $rv^\theta$ 上引入一个在方程自然尺度下不变的 形有界性条件（FBC），建立了轴对称纳维-斯托克斯解的全局正则性。该条件在轴附近满足 $\sup |rv^\theta| \leq C_* |\ln r|^{-2}$，或其 $L^\infty$ 范数相对于无量纲量足够小时，证明了解在所有时间保持光滑，从而表明轴对称系统的临界性是完全的。

ABSTRACT

Smooth solutions to the axi-symmetric Navier-Stokes equations obey the following maximum principle: $$\sup_{t\geq 0}\|rv^θ(t, \cdot)\|_{L^\infty} \leq \|rv^θ(0, \cdot)\|_{L^\infty}.$$ We prove that all solutions with initial data in $H^{\frac{1}{2}}$ is smooth globally in time if $rv^θ$ satisfies a kind of Form Boundedness Condition (FBC) which is invariant under the natural scaling of the Navier-Stokes equations. In particular, if $rv^θ$ satisfies \begin{equation} onumber \sup_{t \geq 0}|rv^θ(t, r, z)| \leq C_\ast|\ln r|^{- 2},\ \ r \leq δ_0 \in (0, \frac{1}{2}),\ C_\ast < \infty, \end{equation} then our FBC is satisfied. Here $δ_0$ and $C_\ast$ are independent of neither the profile nor the norm of the initial data. So the gap from regularity is logarithmic in nature. We also prove the global regularity of solutions if $\|rv^θ(0, \cdot)\|_{L^\infty}$ or $\sup_{t \geq 0}\|rv^θ(t, \cdot)\|_{L^\infty(r \leq r_0)}$ is small but the smallness depends on certain dimensionless quantity of the initial data.

研究动机与目标

• 通过在漩涡分量 $rv^\theta$ 上识别一个临界条件，解决轴对称纳维-斯托克斯方程的全局正则性问题。
• 通过建立一个尺度不变的先验估计，证明轴对称纳维-斯托克斯方程是完全临界的，而非仅部分临界。
• 证明当 $rv^\theta$ 满足对数衰减条件或在无量纲意义下足够小时，解具有全局存在性与光滑性。
• 通过形有界性条件（FBC）将 $\Gamma = rv^\theta$ 的已知最大值原理推广至更广泛的初始数据类别。

提出的方法

• 在 $v^\theta$ 上引入一个在纳维-斯托克斯方程自然尺度下不变的形有界性条件（FBC）。
• 将涡度方程转化为一个涡旋拉伸项按 $1/|x|^2$ 缩放的系统，使其处于临界状态。
• 利用能量估计和 $\Gamma = rv^\theta$ 的先验界，借助其 $L^\infty$ 最大值原理。
• 应用延拓论证，并推导涉及 $\| |V|^2 \|_{L^2}$ 和 $\| \Omega \|_{L^2}$ 的微分不等式以控制增长。
• 通过 Hardy 型不等式，并将区域分解为 $r \leq r_0$ 和 $r \geq r_0$，处理局部与全局行为。
• 使用无量纲量 $M_0$ 和 $M_1$ 来量化与物理单位无关的小量条件。

实验结果

研究问题

• RQ1 在 $rv^\theta$ 上的尺度不变条件下，能否建立轴对称纳维-斯托克斯解的全局正则性？
• RQ2 轴对称纳维-斯托克斯系统是否为完全临界，还是仅因 $\Gamma = rv^\theta$ 的 $L^\infty$ 有界而部分临界？
• RQ3 哪些关于 $rv^\theta$ 的条件能保证全局光滑性，特别是在 $r \to 0$ 的轴附近？
• RQ4 若在局部区域 $r \leq r_0$ 内 $\|rv^\theta\|_{L^\infty}$ 足够小，是否能推出全局正则性，即使全局范数不小？
• RQ5 在轴附近满足对数衰减条件 $|rv^\theta| \leq C_* |\ln r|^{-2}$ 是否足以保证全局正则性？

主要发现

• 若初始数据属于 $H^{1/2}$，且 $rv^\theta$ 满足形有界性条件（FBC），则所有解均为全局光滑，且该条件是尺度不变的。
• 若对所有 $t \geq 0$ 有 $\sup_{r \leq \delta_0 < 1/2} |rv^\theta(t,r,z)| \leq C_* |\ln r|^{-2}$，则该条件蕴含 FBC，其中 $C_*$ 与 $\delta_0$ 与初始数据的形状或范数无关。
• 若 $\|rv^\theta(0,\cdot)\|_{L^\infty}$ 相对于无量纲量 $M_0$ 足够小，则全局正则性成立，且小量条件仅依赖于 $M_0$。
• 若 $\sup_{t \geq 0} \|rv^\theta(t,\cdot)\|_{L^\infty(r \leq r_0)}$ 相对于 $M_1$ 足够小，且 $r_0 > 0$ 任意，则全局正则性也成立，其中 $M_1$ 为无量纲量。
• 证明表明，在 FBC 条件下，$|V|^2$ 与 $\Omega$ 的能量型估计在时间上一致有界，从而实现全局延拓。
• 即使初始数据在 $L^2$ 范数下不小，只要 $rv^\theta$ 分量满足对数衰减或小量条件，FBC 仍足以保证全局正则性。