[论文解读] A new proof to the energy conservation for the Navier-Stokes equations

Cheng Yu|arXiv (Cornell University)|Apr 19, 2016

Navier-Stokes equation solutions参考文献 7被引用 11

一句话总结

本文提出了一种关于周期域中不可压缩纳维-斯托克斯方程弱解能量守恒的新证明，利用利翁关于光滑化散度项收敛性的引理。关键结果在条件 $\frac{1}{r} + \frac{1}{s} \leq \frac{1}{2}$，$s \geq 4$ 下建立了能量等式，避免了对空间维数的依赖，并通过光滑化和泛函估计提供了一条简化的分析路径。

ABSTRACT

In this paper we give a new proof to the energy conservation for the weak solutions of the incompressible Navier-Stokes equations. This result was first proved by Shinbrot. The new proof relies on a lemma introduced by Lions.

研究动机与目标

• 为周期域中不可压缩纳维-斯托克斯方程弱解的能量守恒提供一种新且简化的证明。
• 在 $\frac{1}{r} + \frac{1}{s} \leq \frac{1}{2}$ 且 $s \geq 4$ 的条件下建立能量等式，且不依赖于空间维数 $d$。
• 利用利翁关于光滑化散度项收敛性的引理，处理弱形式中非线性对流项 $\text{div}({\bf u} \otimes {\bf u})$ 的处理。
• 通过光滑化和插值估计简化分析框架，改进申布罗特原始结果的复杂性。
• 将能量守恒判据的适用范围扩展至一类具有最小可积性假设的更广义弱解。

提出的方法

• 使用标准 $C^\infty_0$ 光滑化核 $\eta_\varepsilon$ 对速度场 $\bf u$ 进行光滑化，定义 $\overline{\bf u} = \bf u * \eta_\varepsilon$。
• 将弱形式的纳维-斯托克斯方程以 $\overline{\bf u}$ 作为测试函数，导出包含 $\overline{\bf u}$ 及其时间导数的能量恒等式。
• 将非线性项 $\overline{\text{div}({\bf u} \otimes {\bf u})}$ 分解为三个余项 $R_1$、$R_2$ 和 $R_3$，以隔离非线性引起的奇异性。
• 应用利翁引理，在 $L^{\frac{2p}{p+2}}(0,T; L^{\frac{2q}{q+2}}(\Omega))$ 中控制 $R_1 = \overline{\text{div}({\bf u} \otimes {\bf u})} - \text{div}({\bf u} \otimes \overline{{\bf u}})$，并证明当 $\varepsilon \to 0$ 时其收敛于零。
• 利用插值和霍尔德不等式估计 $R_2 = \text{div}({\bf u} \otimes \overline{{\bf u}}) - \text{div}(\overline{{\bf u}} \otimes \overline{{\bf u}})$，在 $p,q \geq 4$ 条件下证明其在 $\varepsilon \to 0$ 时趋于零。
• 利用 $R_3 = \text{div}(\overline{{\bf u}} \otimes \overline{{\bf u}})$ 在 $\text{div}(\overline{{\bf u}}) = 0$ 下积分为零的性质，简化极限情况下的能量恒等式。

实验结果

研究问题

• RQ1 在何种最小可积性条件下，不可压缩纳维-斯托克斯方程弱解的能量守恒成立？
• RQ2 能否仅通过弱收敛性和光滑化技术，在不假设经典正则性的情况下恢复能量等式？
• RQ3 利翁关于散度项的引理如何改进能量恒等式中对流非线性项的分析处理？
• RQ4 是否可能消除能量守恒判据中的维数依赖性，如同在瑟林型条件中所见？
• RQ5 该证明框架能否被推广至其他方程（如欧拉方程或可压缩纳维-斯托克斯方程），并获得类似能量守恒结果？

主要发现

• 对于任意满足 $\bf u \in L^r(0,T; L^s(\Omega))$ 且 $\frac{1}{r} + \frac{1}{s} \leq \frac{1}{2}$ 与 $s \geq 4$ 的弱解 $\bf u \in L^\infty(0,T; L^2(\Omega)) \cap L^2(0,T; H^1(\Omega))$，能量守恒成立。
• 该证明建立了能量等式 $\int_\Omega |{\bf u}(t,x)|^2 dx + 2\mu \int_0^T \int_\Omega |\nabla{\bf u}|^2 dx dt = \int_\Omega |{\bf u}_0|^2 dx$，对所有 $t \in [0,T]$ 成立。
• 由 $\overline{\text{div}({\bf u} \otimes {\bf u})}$ 与 $\text{div}({\bf u} \otimes \overline{{\bf u}})}$ 差异引起的余项 $R_1$ 在 $\varepsilon \to 0$ 时于 $L^{\frac{2p}{p+2}}(0,T; L^{\frac{2q}{q+2}}(\Omega))$ 中收敛于零。
• 与 $\bf u \otimes \overline{{\bf u}}$ 和 $\overline{{\bf u}} \otimes \overline{{\bf u}}$ 差异相关的项 $R_2$，由于 $L^p$-$L^q$ 估计及 $\bf u - \overline{{\bf u}}$ 的收敛性，在极限下趋于零。
• 条件 $\frac{1}{r} + \frac{1}{s} \leq \frac{1}{2}$ 且 $s \geq 4$ 在此意义上是最优的：它在不依赖维数 $d$ 的前提下推广了申布罗特的结果。
• 该方法通过依赖光滑化和利翁引理，避免了对经典正则性或更高可积性的需求，从而在最小假设下实现了能量等式的直接证明。