Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity Component

技术摘要：通过径向速度分量研究定常 Navier-Stokes 方程的刘维尔定理

问题陈述
本文探讨了 $\mathbb{R}^3$ 中定常 Navier-Stokes 方程的刘维尔问题：
$$\begin{cases} -\Delta u + (u \cdot \nabla)u + \nabla \pi = 0, \\ \nabla \cdot u = 0, \end{cases}$$
其中 $u$ 为速度场，$\pi$ 为压力。核心问题即 Galdi 和 Seregin 提出的猜想 1.1：任何在无穷远处衰减至零且属于 $\dot{H}^1(\mathbb{R}^3)$ 的解 $u$ 是否必然恒为零？虽然二维情形已解决（Gilbarg-Weinberger），四维情形也已定论（Galdi），但三维情形仍是一个重大的未解难题。

现有结果通常依赖于全局各向同性可积性条件（例如 $u \in L^{9/2}(\mathbb{R}^3)$）或涉及笛卡尔分量混合范数的各向异性条件。作者指出，尽管通过 Sobolev 嵌入可知 $u \in \dot{H}^1(\mathbb{R}^3)$ 蕴含 $u \in L^6(\mathbb{R}^3)$，但仅凭此衰减性尚不足以证明解的平凡性。

方法论
本文采用了截断函数技术，结合标准及变指数 Lebesgue 空间中的能量估计与 Hölder 不等式。

1. 截断与能量恒等式：证明利用径向截断函数 $\psi_R$ 对能量恒等式进行局部化。通过将方程与 $\psi_R u$ 进行检验并分部积分，作者推导出了一个不等式，将局部 Dirichlet 能量 $\int_{B(R/2)} |\nabla u|^2$ 界定为由环状区域 $C(R) = \{x : R/2 < |x| < R\}$ 上的压力和速度相关的边界项。
2. 径向分解：方法论上的关键转变是基于速度的径向分量 $u_\rho$ 对非线性项和压力项进行分解。作者利用了径向截断函数的梯度 $\nabla \psi_R$ 纯粹是径向的这一事实。这使得涉及 $\nabla \psi_R \cdot u$ 的积分项可重写为 $\partial_\rho \psi_R u_\rho$，从而分离出径向速度分量。
3. 变指数空间：针对第二个主要结果，作者利用了变指数 Lebesgue 空间 $L^{p(\cdot)}(\mathbb{R}^3)$ 的框架。这使得能够统一处理随空间变化的可积性条件，特别是从原点附近的强条件过渡到无穷远处的临界条件。
4. 压力控制：压力 $\pi$ 通过 Riesz 变换表示 $\pi = \sum R_i R_j (u_i u_j)$ 进行控制，利用 Riesz 变换在 $L^r$ 空间上的有界性，将 $\|\pi\|_{L^3}$ 与 $\|u\|_{L^6}^2$ 联系起来。

主要贡献与结果

定理 1.1（径向可积性条件）：
作者证明，若 $u \in \dot{H}^1(\mathbb{R}^3)$ 是一个解，且其径向分量 $u_\rho$ 满足 $u_\rho \in L^p(\mathbb{R}^3)$，其中 $3/2 < p \le 3$，则 $u \equiv 0$。

• 意义：该结果改进了先前的各向同性条件（如 $L^{9/2}$）和各向异性笛卡尔条件。它表明，仅通过对速度的径向分量施加可积性约束（而不对切向分量施加任何限制），即可推导出解的平凡性。
• 机制：证明依赖于能量估计中立方非线性项的特定分布。通过对全速度 $u$（由 Sobolev 嵌入保证）应用指数 $p_1=6$，对径向分量 $u_\rho$ 应用指数 $p_2=p$ 的 Hölder 不等式，作者平衡了各项，使得 $p$ 低至 $3/2$ 成为可能。

定理 1.2（变指数条件）：
作者建立了一个更精细的唯一性结果，其中对径向分量的可积性条件允许变化。具体而言，若 $u_\rho \in L^{3+\eta(\cdot)}(\mathbb{R}^3)$，其中指数 $\eta(x)$ 定义为：当 $|x| < R_0$ 时等于 3（意味着 $u_\rho$ 局部属于 $L^6$），当 $|x| \ge R_0$ 时按 $3R_0/|x|$ 衰减（在无穷远处趋近于临界指数 3），则 $u \equiv 0$。

• 意义：该定理表明，径向分量的临界 $L^3$ 条件仅需渐近满足。更强的可积性（高达 $L^6$）仅需在固定的紧集上满足，而在无穷远处条件可放宽至临界阈值。这突显了该系统由局部化和径向性质而非均匀全局条件驱动的“刚性”。

定理 3.1（一般变指数结果）：
这是定理 1.2 背后的技术引擎。它证明，对于任何在原点附近等于 6 且在无穷远处以特定衰减速率（$|p(x)-3| \le C/|x|$）趋近于 3 的连续、径向递减的变指数 $p(x)$，条件 $u_\rho \in L^{p(\cdot)}(\mathbb{R}^3)$ 蕴含 $u \equiv 0$。

意义与主张
本文声称通过从各向同性或笛卡尔各向异性条件转向径向各向异性，为刘维尔问题提供了“不同的视角”。

• 更弱的假设：结果施加的条件严格弱于已知的各向同性结果（例如 $L^{9/2}$），且不同于依赖笛卡尔分量混合范数的现有各向异性结果。
• 局部化：分析揭示，定常 Navier-Stokes 系统的刚性可由局部可积性性质驱动。定理 1.2 具体表明，临界可积性阈值可以渐近逼近，从而允许从强局部行为过渡到无穷远处的临界行为。
• 方法论新颖性：变指数 Lebesgue 空间的使用提供了一个灵活的框架，以捕捉这些随空间变化的可积性行为，克服了固定指数空间在此背景下的局限性。

作者明确指出，这些结果并未解决完整的猜想 1.1（该猜想要求在 $\dot{H}^1$ 和衰减之外无需任何额外的可积性假设），但它们提供了新的充分条件，这些条件在结构上截然不同，且对速度场分量的限制比先前已知的结果更少。