[论文解读] On the Weak Solutions to the 3D Inviscid Quasi-Geostrophic System

Matthew Novack|arXiv (Cornell University)|Sep 29, 2017

Navier-Stokes equation solutions参考文献 19被引用 4

一句话总结

本文通过引入带拉格朗日乘子和无散漂移的重构系统，建立了三维无粘性准地转系统在 $L^p$ 空间中初始数据满足 $p > \frac{4}{3}$ 时弱解的全局存在性。证明了在特定正则性条件下能量守恒，并通过系统结构与正则性性质的严格分析，厘清了多种弱解概念之间的关系。

ABSTRACT

The purpose of this note is to study the weak solutions to the inviscid quasi-geostrophic system for initial data belonging to Lebesgue spaces. We give a global existence result as well as detail the connections between several different notions of weak solutions. In addition, we give a condition under which the energy of the system is conserved.

研究动机与目标

• 建立三维无粘性准地转系统在初始数据属于勒贝格空间 $L^p$ 且满足 $p > \frac{4}{3}$ 时的全局弱解存在性。
• 厘清三维准地转系统背景下不同弱解概念（如分布解、变分解与重构解）之间的关系。
• 确定弱解保持系统能量守恒的充分条件。
• 通过引入基于旋度的拉格朗日乘子与散度约束，拓展 Puel 与 Vasseur 的分析框架。

提出的方法

• 采用带旋度项作为拉格朗日乘子的矢量势形式，重构三维准地转系统，其作用类似于欧拉方程中的压强。
• 通过紧支集测试函数的积分定义弱解，确保动量方程与连续性方程在分布意义下成立。
• 将德 Giorgi 方法应用于正则化系统 $(QG)_\epsilon$，通过迭代振荡减少与等周不等式估计，建立全局 $L^\infty$ 有界性与解的赫尔德连续性。
• 利用泊松核表示分析分数阶热方程分量，实现从 $L^\infty$ 到 $\mathring{B}_{\infty,\infty}^1$ 正则性的正则性提升。
• 对 $\theta = \partial_\nu \Psi$ 的方程应用分部积分与 $L^p$ 估计，证明所有 $p \in [1, \infty]$ 下的能量型估计，其中 $p=\infty$ 的情形通过有限 $p$ 估计的极限获得。
• 利用强迫项与初始数据光滑且紧支集的性质，证明在能量估计中取 $p \to \infty$ 极限的合理性。

实验结果

研究问题

• RQ1 三维无粘性准地转系统是否对满足 $p > \frac{4}{3}$ 的 $L^p$ 初始数据存在全局弱解？
• RQ2 在三维准地转系统背景下，不同弱解概念（如分布解、变分解与重构解）之间存在何种关系？
• RQ3 在何种条件下，弱解的能量可保持时间不变？
• RQ4 德 Giorgi 方法能否被适配以证明无粘性三维准地转系统中解的正则性与有界性？
• RQ5 Dirichlet 到 Neumann 算子在连接三维系统与二维表面准地转方程中起何作用？

主要发现

• 对于初始数据属于 $L^p(\mathbb{R}^3_+)$ 且满足 $p > \frac{4}{3}$ 的情形，全局弱解存在，该结果扩展了以往仅限于 $L^2$ 初始数据的研究成果。
• 若解 $\theta = \partial_\nu \Psi$ 满足 $\theta \in L^\infty([0,T]; \mathring{B}_{\infty,\infty}^1(\mathbb{R}^2))$，则系统能量守恒，该正则性条件由德 Giorgi 方法所建立。
• 带有基于旋度的拉格朗日乘子的重构系统 $(rQG)$ 提供了一个严格的框架，用于连接原始系统与弱解，并分析其结构。
• 德 Giorgi 方法为 $\theta = \partial_\nu \Psi_\epsilon$ 赋予仅依赖于初始数据与强迫项的 $H^3$-范数的赫尔德模连续性，确保一致正则性。
• 通过全局 $L^\infty$ 估计（引理 6.1）建立了 $\theta$ 的 $L^\infty$ 有界性，其仅依赖于 $\theta$ 的 $L^\infty$-范数与 $(-\overline{\Delta})^{-1/4}f$ 的 $C^{1/2}$-范数。
• 对 $\theta$ 的能量估计对所有 $p \in [1, \infty]$ 成立，其中 $p=\infty$ 的情形作为有限 $p$ 估计的极限获得，依赖于初始数据与强迫项的光滑性与紧支集性质。