[论文解读] Remarks on the Liouville type problem in the stationary 3D Navier-Stokes equations

Dongho Chae|arXiv (Cornell University)|Feb 17, 2015

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

一句话总结

本文建立了在 $\mathbb{R}^3$ 上光滑解的三维稳态纳维-斯托克斯方程的刘维尔型刚性结果。证明表明，若涡度 $\omega$ 属于 $L^q$ 且满足 $\frac{3}{2} \leq q < 3$，且速度在无穷远处趋于零，则解要么平凡（$v=0$），要么一个涉及涡度与速度场的特定积分泛函在正负两部分均发散。该结果依赖于非线性项的结构以及通过毕奥-萨伐尔定律获得的创新积分表示。

ABSTRACT

We study the Liouville type problem for the stationary 3D Navier-Stokes equations on $\Bbb R^3$. Specifically, we prove that if $v$ is a smooth solution to (NS) satisfying $ω={ m curl}\,v \in L^q (\Bbb R^3) $ for some $\frac32 \leq q&lt; 3$, and $|v(x)| o 0$ as $|x| o +\infty$, then either $v=0$ on $\Bbb R^3$, or $\int_{\Bbb R^6} Φ_+ dxdy=\int_{\Bbb R^6} Φ_- dxdy=+\infty$, where $Φ(x,y) :=\frac{1}{4π}\frac{ω(x)\cdot(x-y) imes (v(y) imes ω(y) )}{|x-y|^3} $, and $Φ_\pm:=\max\{ 0, \pm Φ\}$. The proof uses crucially the structure of nonlinear term of the equations.

研究动机与目标

• 解决长期悬而未决的公开问题：在速度与涡度满足衰减和可积性条件时，三维稳态纳维-斯托克斯方程在 $\mathbb{R}^3$ 上是否存在非平凡光滑解。
• 基于一个涉及涡度与速度场的特定非线性积分核的可积性，建立解平凡性的精确判据。
• 通过在涡度可积性假设低于 $L^2$ 与 $L^{9/5}$ 的条件下保持平凡性或关键积分发散的结论，拓展已知的刘维尔型结果。

提出的方法

• 定义一个核 $\Phi(x,y) = \frac{1}{4\pi} \frac{\omega(x) \cdot (x-y) \times (v(y) \times \omega(y))}{|x-y|^3}$，其编码了速度与涡度之间的非线性相互作用。
• 利用毕奥-萨伐尔定律将速度场表示为涡度的函数，以确保解满足所需的衰减与正则性条件。
• 通过霍尔德不等式、瑞斯势估计与卡德隆-齐格蒙德理论，建立 $\Phi(x,y)$ 的点态与 $L^p$ 型界。
• 证明积分 $\int_{\mathbb{R}^6} \Phi_+ \, dxdy$ 与 $\int_{\mathbb{R}^6} \Phi_- \, dxdy$ 要么同时为无穷大，要么同时为有限值。
• 应用富比尼-托内利定理交换积分顺序，若两积分均为有限值，则导出矛盾，从而得出 $\omega = 0$，进而 $v = 0$。
• 利用恒等式 $\int_{\mathbb{R}^3} \Phi(x,y) \, dy = |\omega(x)|^2 \geq 0$ 与 $\int_{\mathbb{R}^3} \Phi(x,y) \, dx = 0$，在积分有限时导出关键矛盾。

实验结果

研究问题

• RQ1 在何种涡度 $\omega$ 与速度 $v$ 的条件下，三维稳态纳维-斯托克斯方程在 $\mathbb{R}^3$ 上可存在非平凡光滑解？
• RQ2 刘维尔型定理能否推广至涡度属于 $L^q$ 且 $q < 3$ 的情形，超越已知的 $L^2$ 或 $L^{9/5}$ 条件？
• RQ3 纳维-斯托克斯方程中的非线性项在衰减条件下对解的刚性或平凡性起何种作用？

主要发现

• 若 $v$ 是三维稳态纳维-斯托克斯方程的光滑解，满足当 $|x| \to \infty$ 时 $|v(x)| \to 0$，且 $\omega \in L^q(\mathbb{R}^3)$ 对某个 $\frac{3}{2} \leq q < 3$，则要么 $v \equiv 0$，要么积分 $\int_{\mathbb{R}^6} \Phi_+ \, dxdy$ 与 $\int_{\mathbb{R}^6} \Phi_- \, dxdy$ 同时发散。
• 核 $\Phi$ 的正负两部分均发散是存在非平凡解的必要条件，提供了对解存在性的精确障碍。
• 该结果表明，若 $\omega \in L^{9/5}(\mathbb{R}^3)$，则 $v \equiv 0$，恢复了已知结果，但采用了一种更一般的新方法。
• 证明无需假设 $\omega \in L^2(\mathbb{R}^3)$，表明此类刚性结果并不依赖于基于 $L^2$ 的能量方法。
• 关键恒等式 $\int_{\mathbb{R}^3} \Phi(x,y) \, dy = |\omega(x)|^2 \geq 0$ 与 $\int_{\mathbb{R}^3} \Phi(x,y) \, dx = 0$ 在积分有限时导出矛盾，起着关键作用。
• 该方法通过分析非线性项的积分表示与对称性，建立了一类新的刘维尔型定理。