[论文解读] A Liouville Theorem for Axi-symmetric Navier-Stokes Equations on $\mathbb{R}^2 imes \mathbb{T}^1$

Zhen Lei, Xiao Ren+1 more|arXiv (Cornell University)|Nov 5, 2019

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

一句话总结

本文建立了在 $\mathbb{R}^2 \times \mathbb{T}^1$ 上有界古老温和解的轴对称纳维-斯托克斯方程的刘维尔定理，证明若漩涡量 $\Gamma = r v^\theta$ 有界且解在 $z$ 方向周期，则此类解在 $z$ 方向必为常数。该结果在周期边界条件下证实了文献[5]中的一个猜想，方法基于哈纳克估计与 $\mathbb{T}^1$ 因子紧致性带来的振荡控制。

ABSTRACT

We establish a Liouville theorem for bounded mild ancient solutions to the axi-symmetric incompressible Navier-Stokes equations on $(-\infty, 0] imes (\mathbb{R}^2 imes \mathbb{T}^1)$. This is a step forward to completely solve the conjecture on $(-\infty, 0] imes \mathbb{R}^3$ which was made in \cite{KNSS} to describe the potential singularity structures of the Cauchy problem.

研究动机与目标

• 解决科赫等人在文献[5]中关于轴对称纳维-斯托克斯方程有界古老解结构的猜想。
• 在漩涡量 $\Gamma = r v^\theta$ 有界且 $z$ 方向周期的条件下，建立温和古老解的刘维尔型结果。
• 通过爆破分析理解三维纳维-斯托克斯初值问题中潜在奇点的局部结构。
• 证明 $\mathbb{T}^1$ 的紧致性可控制流函数的振荡，从而导致解的刚性。

提出的方法

• 对 $\Gamma = r v^\theta$ 满足的标量方程使用哈纳克估计，其演化方程为 $\partial_t \Gamma + (\mathbf{b} \cdot \nabla)\Gamma + \frac{2}{r}\partial_r \Gamma = \Delta \Gamma$。
• 应用抛物型最大值原理，以时间一致的方式控制 $\Gamma$ 的 $L^\infty$ 范数。
• 构造一个非负的、$z$-周期的下解 $\Phi$，由 $\Gamma$ 导出，以应用哈纳克型估计。
• 使用在抛物柱体 $P_R$ 上有紧支集的截断函数 $\psi_R$，以局部化能量估计并控制奇异漂移项。
• 采用切比雪夫不等式与基于 $L^2$ 的能量估计，推导出 $\Phi$ 的点态下界，从而表明振荡衰减。
• 迭代应用振荡衰减估计，证明 $\Gamma$ 必为常数，因此 $v^\theta \equiv 0$，进而得到 $\mathbf{v} = c \mathbf{e}_z$。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^2 \times \mathbb{T}^1$ 上，若 $\Gamma = r v^\theta$ 有界且解在 $z$ 方向周期，有界古老温和解 $\mathbf{v}$ 是否可能非恒定？
• RQ2 $\z$-环面 $\mathbb{T}^1$ 的紧致性是否能提供比全空间 $\mathbb{R}^3$ 情形更强的解振荡控制？
• RQ3 能否利用 $\Gamma$-方程的哈纳克估计，在有界性与周期性条件下证明解的刚性？
• RQ4 在 $\Gamma$ 有界与温和解结构下，解的全局正则性与速度场的常数性在多大程度上可被推导？
• RQ5 三维纳维-斯托克斯初值问题中潜在奇点的爆破过程是否产生在 $z$ 方向周期的解，从而支持该设定的合理性？

主要发现

• 在 $\mathbb{R}^2 \times \mathbb{T}^1$ 上，任意有界古老温和解 $\mathbf{v}$ 若满足 $\Gamma = r v^\theta$ 有界且 $z$-周期，则其在 $z$ 方向必为常数，即存在常数 $c$ 使得 $\mathbf{v} \equiv c \mathbf{e}_z$。
• 证明依赖于 $\Gamma$-方程的哈纳克估计，以及 $z$-周期性使得在大抛物柱体上 $\Phi = (\Gamma - \inf \Gamma)/(\sup \Gamma - \inf \Gamma)$ 的 $L^1$-范数存在一致下界。
• 关键估计表明：在半径为 $R$ 的抛物柱体上，$\Gamma$ 的振荡在缩放因子为 $\sqrt{\kappa}/4$ 后衰减为 $1 - \sigma$ 倍，从而实现迭代衰减。
• 振荡衰减意味着 $\Gamma$ 在空间与时间上均为常数，且因 $\Gamma \equiv 0$ 在 $r=0$ 处成立，故 $\Gamma \equiv 0$，从而 $v^\theta \equiv 0$，最终得到 $\mathbf{v} = c \mathbf{e}_z$。
• 该结果在附加 $z$-周期性假设下证实了文献[5]中的猜想，而该假设在潜在奇点的爆破分析中自然出现。
• 该方法表明 $\mathbb{T}^1$ 的紧致性在控制流函数振荡方面至关重要，从而实现刘维尔型结论；该结论在非紧致的 $\mathbb{R}^3$ 情形下不成立。