[论文解读] Asymptotic stability of Landau solutions to Navier-Stokes system

Grzegorz Karch, Dominika Pilarczyk|arXiv (Cornell University)|Apr 18, 2011

Navier-Stokes equation solutionsMathematics被引用 19

一句话总结

本文建立了在 $ L^2 $-扰动下，Landau 解——即三维不可压缩 Navier-Stokes 方程的显式轴对称齐次静止解（齐次度为 −1）——的渐近稳定性。通过引入一个以 Dirac delta 函数建模的奇异外力扰动框架，作者证明了：当解中参数 $ c $ 满足 $ |c| > 1 $ 且足够大时，从这些解附近出发的弱解在 $ t \to \infty $ 时于 $ L^2 $ 范数下收敛于它们。

ABSTRACT

It is known that the three dimensional Navier-Stokes system for an incompressible fluid in the whole space has a one parameter family of explicit stationary solutions, which are axisymmetric and homogeneous of degree -1. We show that these solutions are asymptotically stable under any $L^2$-perturbation.

研究动机与目标

• 建立三维不可压缩 Navier-Stokes 系统中显式静止解（即 Landau 解）的全局渐近稳定性。
• 分析在 $ L^2 $-拓扑下，从这些解出发的弱解的长期行为。
• 证明：即使存在奇异外力，从 Landau 解附近出发的解在 $ t \to \infty $ 时也收敛于该静止解。

提出的方法

• 将 Landau 解形式化为带有 Dirac delta 力项 $ F = (b(c)\delta_0, 0, 0) $ 的广义解，其中 $ b(c) $ 被显式计算得出。
• 为带有初始数据 $ u_0 = v_c + w_0 $（$ w_0 \in L^2 $）和足够大的 $ |c| $ 的扰动 Navier-Stokes 系统构建弱解框架。
• 采用半群方法，利用 Stokes 算子 $ \mathcal{L} $，并通过 $ L^2 $-对偶性和热核估计控制扰动 $ w $ 的演化。
• 利用强能量不等式控制扰动的 $ L^2 $-范数，并通过时间平均和卷积估计证明其衰减。
• 运用 Sobolev 和 Young 型不等式控制涉及 $ w \cdot \nabla w $ 的非线性项，利用 $ \|w\|_{4} \leq C \|\nabla w\|_{2}^{3/4} \|w\|_{2}^{1/4} $。
• 在 $ p \in (6/5, 2) $ 的 $ L^p $-空间中应用Bootstrap方法，通过反复使用卷积和 $ L^p $-衰减估计，逐步改进衰减估计。

实验结果

研究问题

• RQ1 能否证明三维 Navier-Stokes 方程的 Landau 解在 $ L^2 $-扰动下具有渐近稳定性？
• RQ2 在存在奇异力项的情况下，从 Landau 解附近出发的弱解的长期行为如何？
• RQ3 初始扰动 $ w_0 \in L^2 $ 是否会导致解在 $ L^2 $ 范数下趋于零，从而表明其收敛于静止的 Landau 解？
• RQ4 对于 $ p \in (6/5, 2) $，扰动的衰减速率如何依赖于初始 $ L^p $-范数？
• RQ5 渐近稳定性在不同 $ L^p $-初始数据下是否稳健？衰减估计能否系统性地改进？

主要发现

• 当 $ |c| $ 足够大时，Landau 解 $ (v_c, p_c) $ 在 $ L^2({\mathbb{R}}^3) $ 范数下对 $ L^2 $-初始数据扰动具有渐近稳定性。
• 对于初始扰动 $ w_0 \in L^p({\mathbb{R}}^3) $ 且 $ p \in (6/5, 2) $，解 $ w(t) $ 满足 $ \|w(t)\|_{2} \to 0 $ 当 $ t \to \infty $，且衰减速率为 $ \|w(t)\|_{2} \leq C t^{-3/2(1/p - 1/2)} $，其中 $ p \in [3/2, 2) $。
• 当 $ p \in [4/3, 3/2) $ 时，衰减速率提升至 $ \|w(t)\|_{2} \leq C t^{-3/8} $，并通过迭代估计进一步优化该范围内的衰减行为。
• 强能量不等式确保 $ \|w(t)\|_{2} $ 几乎处处非增，这对证明时间平均的 $ L^2 $-衰减（从而实现逐点衰减）至关重要。
• 奇异力 $ F = (b(c)\delta_0, 0, 0) $ 被显式刻画，其中 $ b(c) = \frac{8\pi c}{3(c^2 - 1)} \left(2 + 6c^2 - 3c(c^2 - 1)\log\left(\frac{c+1}{c-1}\right)\right) $，且当 $ |c| \to \infty $ 时 $ b(c) \to 0 $。
• 证明依赖于对 $ L^2 $-对偶性和热半群估计的创新应用，特别是 $ \|e^{-t\mathcal{L}}\psi\|_{4/3} \leq C t^{-1/2} \|\psi\|_2 $，以控制扰动方程中非线性项。