[论文解读] A Liouville Type Theorem for Steady-State Navier-Stokes Equations

G. Serëgin|arXiv (Cornell University)|Nov 4, 2016

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

一句话总结

本文通过在弱莱布尼茨空间中引入对漂移场的可积性条件，并在洛伦茨空间中对速度进行分析，建立了带有漂移项的定态斯托克斯系统的一个利乌维尓型定理。在这些条件下，证明了唯一在无穷远处衰减的解是零解，从而在减弱速度场可积性假设的前提下推广了已知结果。

ABSTRACT

A Liouville type theorem is proven for the steady-state Navier-Stokes equations. It follows from the corresponding theorem on the Stokes equations with the drift. The drift is supposed to belong to a certain Morrey space.

研究动机与目标

• 建立带有无散漂移场的定态斯托克斯系统的利乌维尓型结果。
• 通过用更弱的洛伦茨空间范数替代速度场的强可积性条件，推广先前的利乌维尓型定理。
• 利用弱莱布尼茨空间中的莫雷型条件将漂移场纳入分析。
• 证明在这些条件下，唯一在无穷远处衰减的解是平凡解。
• 将利乌维尓型定理的适用范围扩展到经典 $ L^p $ 或 $ BMO^{-1} $ 条件不适用的情形。

提出的方法

• 通过引入带有截断函数和调和延拓的加权测试函数，推导出一种卡奇亚波利型不等式。
• 应用插值不等式与哈代-利特尔伍德-索博列夫不等式，控制速度梯度的 $ L^{2q',2} $-范数。
• 在洛伦茨空间中使用赫尔德不等式，估计涉及漂移场与速度场的项。
• 将速度场分解为无平均部分与平均部分，以控制振荡。
• 利用纳维-斯托克斯方程的尺度不变性与平移不变性，将局部估计推广至整个空间。
• 使用带小参数的杨不等式，吸收高阶项并导出一致有界性。

实验结果

研究问题

• RQ1 在何种漂移场与速度场条件下，带有漂移项的定态斯托克斯系统的唯一解恒为零？
• RQ2 能否将速度场的可积性条件从 $ L^{9/2} $ 或 $ BMO^{-1} $ 弱化为洛伦茨空间条件？
• RQ3 对漂移场施加的莫雷型条件如何影响利乌维尓型结论？
• RQ4 是否可能在非标准勒贝格空间或 $ BMO $ 空间中的衰减与可积性假设下，证明解的消失性？
• RQ5 弱莱布尼茨空间 $ L^{q,∞} $ 在刻画此类利乌维尓定理中漂移场的角色是什么？

主要发现

• 若漂移 $ u $ 满足 $ \text{ess}\text{sup}_{R>0} R^{1-3/q} \|u\|_{L^{q,\infty}(B(R))} < \infty $，其中 $ 3/2 < q \leq 3 $，且速度 $ v $ 满足 $ \text{ess}\text{sup}_{R>0} R^{1/2-3/s} \|v\|_{L^{s}(B(R))} < \infty $，其中 $ 2 \leq s \leq 6 $，则 $ v \equiv 0 $ 在 $ \mathbb{R}^3 $ 中成立。
• 该结果通过使用洛伦茨空间范数，将速度场的允许类扩展至 $ L^6 \cap BMO^{-1} $，优于先前的 $ L^{9/2} $ 或 $ BMO^{-1} $ 条件，从而实现改进。
• 证明表明 $ \int_{\mathbb{R}^3} |\nabla v|^2 dx < \infty $，这是得出 $ v \equiv 0 $ 的关键步骤。
• 即使速度场在无穷远处衰减缓慢，只要漂移满足弱 $ L^{q,\infty} $ 条件，该定理依然成立。
• 构造了一个例子：$ u(x) \lesssim \frac{1}{|x'|+1} \frac{1}{(|x_3|+1)^{2/9}} $，其满足 $ L^{q,\infty} $ 条件（当 $ q \neq 2 $ 时），但不满足 $ L^{9/2} $ 条件。
• 该方法依赖于带小参数的卡奇亚波利型不等式，使得可利用杨不等式吸收误差项，从而得出速度梯度必须消失的结论。