[论文解读] Regularity of 3D axisymmetric Navier-Stokes equations

Hui Chen, Daoyuan Fang+1 more|arXiv (Cornell University)|May 5, 2015

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

一句话总结

本文通过引入关于归一化涡量分量 $(\omega^r/r, \omega^\theta/r)$ 的关键不等式，为具有非零涡流的三维轴对称纳维-斯托克斯方程建立了新的 Prodi-Serrin 型正则性准则。当初始角速度 $u^\theta_0$ 在临界 $L^3(\mathbb{R}^3)$ 空间中足够小时，证明了全局适定性，将正则性结果扩展至完整无涡流情形，并满足最优尺度不变条件。

ABSTRACT

In this paper, we study the three-dimensional axisymmetric Navier-Stokes system with nonzero swirl. By establishing a new key inequality for the pair $(\frac{ω^{r}}{r},\frac{ω^θ}{r})$, we get several Prodi-Serrin type regularity criteria based on the angular velocity, $u^θ$. Moreover, we obtain the global well-posedness result if the initial angular velocity $u_{0}^θ$ is appropriate small in the critical space $L^{3}(\R^{3})$. Furthermore, we also get several Prodi-Serrin type regularity criteria based on one component of the solutions, say $ω^3$ or $u^3$.

研究动机与目标

• 建立三维轴对称纳维-斯托克斯方程在非零涡流情形下的精确正则性准则，特别关注角速度 $u^\theta$ 的作用。
• 解决在尺度不变空间中临界小性条件下全局正则性的开放问题。
• 通过分析归一化涡量对 $(\omega^r/r, \omega^\theta/r)$，将 Prodi-Serrin 框架推广至轴对称流动。
• 证明当初始角速度在临界 $L^3(\mathbb{R}^3)$ 空间中足够小时，全局存在性与唯一性成立。

提出的方法

• 推导关于对 $(\omega^r/r, \omega^\theta/r)$ 的新关键不等式，以控制轴对称纳维-斯托克斯系统中的非线性项。
• 引入变量 $\Theta = r u^\theta$ 和 $\Gamma = \omega^\theta / r$，它们满足包含对流、扩散和低阶项的耦合抛物方程。
• 利用分部积分、霍尔德不等式和索伯列夫嵌入，将 $\omega^\theta$ 和 $\Gamma$ 的 $L^2$ 范数控制在初始数据和 $\nabla \mathbf{u}$ 的范数范围内。
• 应用格朗沃尔不等式，控制 $\|r^d u^\theta\|_{L^{3/(1-d)}}$ 在 $d \in (0,1)$ 下的增长，确保在初始数据较小时解有界。
• 采用连续性方法与能量估计，证明若 $r^d u^\theta$ 的 $L^{3/(1-d)}$ 范数保持有界，则解可被延拓至任意有限时间之后。
• 利用轴对称系统的结构，将问题简化为仅估计角向分量，避免对完整速度场的控制。

实验结果

研究问题

• RQ1 能否仅基于三维轴对称纳维-斯托克斯方程中角速度 $u^\theta$ 的信息，建立 Prodi-Serrin 型正则性准则？
• RQ2 在何种最优临界小性条件下，$u^\theta_0$ 可保证三维轴对称纳维-斯托克斯方程的全局适定性？
• RQ3 归一化涡量分量 $(\omega^r/r, \omega^\theta/r)$ 的缩放如何在涡流存在下提升正则性估计？
• RQ4 能否通过尺度不变范数与能量估计，将全局正则性结果推广至完整无涡流情形？
• RQ5 初始数据中 $u^\theta_0$ 的 $L^3(\mathbb{R}^3)$ 范数在决定轴对称解全局行为方面起何种作用？

主要发现

• 本文建立了仅基于角速度 $u^\theta$ 的新 Prodi-Serrin 型正则性准则，表明若 $u^\theta \in L^p_t L^q_x$ 且满足 $\frac{2}{p} + \frac{3}{q} \leq 1$ 与 $3 \leq q \leq \infty$，则解是正则的。
• 当初始角速度 $u^\theta_0$ 在临界 $L^3(\mathbb{R}^3)$ 空间中足够小时，证明了全局适定性，条件为 $\|r^d u^\theta_0\|_{L^{3/(1-d)}} \leq \frac{1}{2C_0}$，其中 $d \in (0,1)$。
• 推导出关于对 $(\omega^r/r, \omega^\theta/r)$ 的新不等式，这是控制非线性项并实现正则性分析的核心。
• 通过 $\|\omega^\theta\|_{L^\infty_t L^2_x}^2 \leq \|\omega^\theta_0\|_2^2 + C_1(\|\Gamma_0\|_2 + \|\Phi_0\|_2)^{4/3} \|\mathbf{u}_0\|_2^2$，其中 $\Gamma_0 = \omega^\theta_0 / r$，将 $\omega^\theta$ 的 $L^\infty_t L^2_x$ 范数控制在初始数据与速度 $L^2$ 范数的范围内。
• 在小性条件下，$r^d u^\theta$ 的 $L^{3/(1-d)}$ 范数在整个时间区间内保持有界，从而保证解可被延拓至任意有限时间 $T^*$ 之后。
• 当初始数据满足 $\|r^d u^\theta_0\|_{L^{3/(1-d)}} \leq \frac{1}{2C_0}$ 时，解被证明是全局正则且唯一的，且该有界性仅依赖于初始能量与涡量范数。