On the absence of anomalous dissipation for the Navier-Stokes equations with Navier boundary conditions: a sufficient condition

论文技术总结

作者：Claude Bardos, Daniel W. Boutros, Edriss S. Titi
核心主题：三维不可压缩 Navier-Stokes 方程在 Navier 边界条件下的无粘极限（vanishing viscosity limit）及异常能量耗散（anomalous dissipation）问题。

1. 研究问题 (Problem)

本文旨在解决流体力学中的核心难题：当粘度 $\nu \to 0$ 时，Navier-Stokes (NS) 方程的弱解是否收敛到 Euler 方程的弱解？在此过程中，是否会发生异常能量耗散（即 Kolmogorov 湍流理论中的零次定律，指在粘度趋于零时，能量耗散率不趋于零的现象）？

• 背景：在经典的无滑移（no-slip/Dirichlet）边界条件下，Kato 准则指出，总能量耗散的消失等价于无粘极限的成立。然而，对于 Navier 边界条件（允许切向滑移），情况更为复杂。
• 挑战：以往的研究通常假设 Euler 方程存在强解，或者对压力在边界附近的行为有特定的正则性假设。此外，对于 Navier 边界条件，如何在不假设 Euler 强解存在的情况下，证明 NS 弱解收敛到 Euler 弱解且无异常耗散，是一个开放问题。

2. 数学模型与设定 (Mathematical Setting)

• 方程：三维不可压缩 Navier-Stokes 方程：
  $$\partial_t u_\nu + \nabla \cdot (u_\nu \otimes u_\nu) - \nu \Delta u_\nu + \nabla p_\nu = 0, \quad \nabla \cdot u_\nu = 0$$
• 边界条件：Navier 边界条件（广义形式）：
  1. 无穿透条件：$u_\nu \cdot n = 0$。
  2. 切向条件：$(D(u_\nu) \cdot n)_\tau + \lambda(\nu, x) \cdot u_\nu = 0$。
     其中 $D(u)$ 是应变率张量，$\lambda$ 是非负半定矩阵函数。这涵盖了 Robin 边界条件、涡量边界条件或应力张量边界条件。
• 目标：寻找一个充分条件，使得当 $\nu_k \to 0$ 时，Leray-Hopf 弱解序列 $\{u_{\nu_k}\}$ 收敛到 Euler 方程的弱解，且不发生异常能量耗散。

3. 方法论 (Methodology)

本文采用了以下关键策略：

1. 利用压力的正则性传播结果：
   作者引用了他们在近期工作 [Arch. Ration. Mech. Anal., 249 (2025)] 中的成果：对于三维不可压缩 Euler 方程的弱解，如果速度场 $u$ 属于 H"older 连续空间 $C^{0,\alpha}$，那么对应的压力 $p$ 也属于 $C^{0,\alpha}$。

   • 关键点：Euler 方程弱解的压力边界条件与强解不同（由弱形式推导得出），即 $\partial_n(p + (u \cdot n)^2)|_{\partial\Omega} = (u \otimes u) : \nabla n$。

2. 弱解定义的等价性：
   证明了在 $C^{0,\alpha}$ 正则性假设下，Euler 方程的两种弱解定义（包含压力项的定义与仅针对散度为零测试函数的定义）是等价的。这使得可以在没有强解假设的情况下处理极限过程。

3. 紧性论证与 Aubin-Lions 引理：
   利用一致有界性假设，结合 Aubin-Lions 引理，从 NS 方程的弱解序列中提取收敛子列，证明其极限满足 Euler 方程的弱形式。

4. 能量守恒与耗散分析：
   利用 Onsager 猜想的相关结果（特别是当 $\alpha > 1/3$ 时能量守恒），结合 NS 方程的能量不等式，证明在极限过程中粘性耗散项趋于零。

4. 主要结果 (Key Results)

定理 6 (Theorem 6) 是本文的核心结论：

• 假设条件：

  1. 初始数据 $u_{\nu_k, 0}$ 在 $C^{0,\alpha}(\Omega)$ 中强收敛到 $u_0$。
  2. 解序列 $\{u_{\nu_k}\}$ 满足以下一致有界性（当 $\nu_k \to 0$ 时）：
     $$\sup_k \|u_{\nu_k}\|_{L^\infty((0,T); C^{0,\alpha}(\Omega))} + \sup_k \nu_k^{1/2} \|u_{\nu_k}\|_{L^2((0,T); H^1(\Omega))} < \infty$$
     其中 $\alpha \in (0, 1)$。

• 结论：

  1. 收敛性：$\{u_{\nu_k}\}$ 的任何弱*极限 $u$ 都是 Euler 方程的弱解（满足定义 4），且初始数据为 $u_0$。
  2. 能量守恒：如果 $\alpha > 1/3$，则极限解 $u$ 守恒能量（$\|u(t)\|_{L^2} = \|u_0\|_{L^2}$）。
  3. 无异常耗散：在 $\alpha > 1/3$ 的情况下，不存在异常能量耗散。即：
     $$\lim_{\nu_k \to 0} \left( 2\nu_k \int_0^T \|D(u_{\nu_k})\|_{L^2}^2 dt + \text{边界耗散项} \right) = 0$$
  4. 强收敛：存在子列在 $C([0, T]; L^2(\Omega))$ 中强收敛。

5. 关键贡献与创新点 (Key Contributions)

1. 无需 Euler 强解假设：
   与 Kato 准则及以往许多结果不同，本文不需要假设 Euler 方程存在强解（如 $C^1$ 或 Lipschitz 涡量解）。只要 NS 解序列满足一定的 H"older 正则性，即可保证收敛和无耗散。

2. 无需压力正则性假设：
   这是本文最显著的突破。以往许多关于无粘极限的结果需要对压力在边界附近的行为做出假设。本文利用近期关于“速度正则性蕴含压力正则性”的定理，完全消除了对压力正则性的先验假设。

3. 适用于 Navier 边界条件：
   明确处理了 Navier 边界条件（包括广义形式），并指出这种边界条件通常不会像无滑移条件那样产生强烈的 Prandtl 型边界层，因此更容易满足无粘极限条件。

4. 弱解定义的澄清：
   严格区分并等价化了 Euler 方程弱解的两种定义，特别是处理了弱解在边界上的压力边界条件问题，这在数学上更为严谨。

6. 意义与影响 (Significance)

• 理论突破：该研究为理解湍流中的能量耗散机制提供了新的视角，特别是在滑移边界条件下。它表明，只要速度场保持足够的 H"older 连续性（$\alpha > 1/3$），即使没有强解，粘性效应也会完全消失，不会导致异常耗散。
• 方法论价值：展示了如何利用压力正则性的新结果来简化复杂的边界层分析问题，为未来研究其他边界条件下的无粘极限提供了新的工具。
• 物理启示：对于 Navier 边界条件（常见于超疏水表面或某些微流体应用），该结果暗示在适当的正则性条件下，流体行为在低粘度极限下是“良好”的，不会出现由边界层引起的能量耗散异常。

7. 附录补充

论文附录 A 补充了广义 Navier 边界条件下 Leray-Hopf 弱解全局存在性的证明概要（基于 Galerkin 方法），填补了文献中关于此类一般性边界条件解存在性的部分空白。

总结：这篇论文通过结合最新的压力正则性理论和紧性分析，建立了一个强有力的充分条件，证明了在 Navier 边界条件下，只要速度场具有足够的 H"older 连续性，Navier-Stokes 方程的无粘极限不仅收敛到 Euler 方程的弱解，而且完全避免了异常能量耗散，且无需对压力或 Euler 强解做任何额外假设。