[论文解读] Existence and uniqueness of weak solutions to viscous primitive equations for certain class of discontinuous initial data

Jinkai Li, Edriss S. Titi|arXiv (Cornell University)|Dec 2, 2015

Navier-Stokes equation solutions参考文献 27被引用 5

一句话总结

该论文针对初始数据属于一类不连续函数的情形，建立了粘性原始方程弱解的全局存在性与唯一性，具体为函数空间 $X = \{v \in (L^6(\Omega))^2 \mid \partial_z v \in (L^2(\Omega))^2\}$ 的小 $L^\infty$ 偏差。该结果通过引入条件唯一性框架，并结合正则化与紧致性论证，推广了以往针对连续解与 $z$-弱解的唯一性结果，适用于不连续初始数据。

ABSTRACT

We establish some conditional uniqueness of weak solutions to the viscous primitive equations, and as an application, we prove the global existence and uniqueness of weak solutions, with the initial data taken as small $L^\infty$ perturbations of functions in the space $X=\left\{v\in (L^6(Ω))^2|\partial_zv\in (L^2(Ω))^2 ight\}$; in particular, the initial data are allowed to be discontinuous. Our result generalizes in a uniform way the result on the uniqueness of weak solutions with continuous initial data and that of the so-called $z$-weak solutions.

研究动机与目标

• 针对初始数据不连续的情形，建立粘性原始方程弱解的存在性与唯一性。
• 将先前关于连续初始数据与 $z$-弱解唯一性的结果统一到一个框架中。
• 将原始方程适定性理论扩展至更广泛的初始数据类，包括空间 $X$ 中函数的小 $L^\infty$ 偏差。
• 解决一般情形下弱解唯一性的开放问题，特别是由于垂直速度无动力学方程而引起的导数损失问题。

提出的方法

• 使用光滑化算子对初始数据进行正则化，以在光滑设定下构造近似解。
• 为正则化解导出在 $L^\infty(0,T;L^6(\Omega))$、$L^2(0,T;H^1(\Omega))$ 与 $L^\infty(0,T;L^2(\Omega))$ 中的统一先验估计。
• 应用 Aubin–Lions 引理，提取在 $L^2(\Omega \times (0,t))$ 中的强收敛性及在适当函数空间中的弱-* 收敛性。
• 利用范数的弱下半连续性，取极限并验证极限满足原始方程的弱形式。
• 基于垂直速度分量 $V$ 的 $L^\infty$ 范数衰减，引入条件唯一性框架。
• 建立关于时间的有界 $\mu(t)$，以控制 $\|V\|_{L^\infty}$，并通过初始数据的小性条件确保唯一性。

实验结果

研究问题

• RQ1 当初始数据不连续时，粘性原始方程的弱解是否可以唯一确定？
• RQ2 弱解的唯一性是否可推广至连续或 $z$-弱初始数据之外？
• RQ3 能否构建一个统一框架，涵盖连续解与 $z$-弱解唯一性结果？
• RQ4 在导数损失情形下，垂直速度分量在弱解唯一性中起何作用？

主要发现

• 对于初始数据为函数空间 $X = \{v \in (L^6(\Omega))^2 \mid \partial_z v \in (L^2(\Omega))^2\}$ 的小 $L^\infty$ 偏差的情形，建立了弱解的全局存在性。
• 证明了条件唯一性结果：若垂直速度分量 $V$ 的 $L^\infty$ 范数在时间上保持足够小，则唯一性成立。
• 解 $v$ 满足 $v \in C([0,\infty);W_{\text{per}}^{-1,\frac{5}{4}}(\Omega)) \cap L^\infty_{\text{loc}}([0,\infty);L^2(\Omega)) \cap L^2_{\text{loc}}([0,\infty);H^1_{\text{per}}(\Omega) \cap \mathcal{H})$。
• 极限解的能量不等式取等号，表明其在 $t=0$ 之外为强解。
• 证明极限解 $v$ 满足原始方程的弱形式，包括不可压缩性条件与动量方程。
• 该结果将 $z$-弱解唯一性与连续初始数据唯一性结果统一于一个统一、一致的框架中。