[论文解读] The existence of a global attractor for the forced critical surface quasi-geostrophic equation in $L^2$

Alexey Cheskidov, Mimi Dai|arXiv (Cornell University)|Feb 19, 2014

Navier-Stokes equation solutions参考文献 17被引用 13

一句话总结

本文在 $L^2(\mathbb{T}^2)$ 中建立了强迫临界表面准地转方程的紧致全局吸引子的存在性，当强迫项 $f$ 属于 $L^p(\mathbb{T}^2)$ 且 $p>2$ 时。通过应用 De Giorgi 迭代方法获得粘性解的统一 $L^\infty$ 估计，并利用 Littlewood-Paley 分解控制能量通量，作者证明了解的强连续性以及在 $L^2$ 拓扑下的紧致全局吸引子的存在性，从而将先前要求强迫项具有更强正则性的结果推广至更弱的情形。

ABSTRACT

We prove that the critical surface quasi-geostrophic equation driven by a force $f$ possesses a compact global attractor in $L^2(\mathbb T^2)$ provided $f\in L^p(\mathbb T^2)$ for some $p>2$. First, the De Giorgi method is used to obtain uniform $L^\infty$ estimates on viscosity solutions. Even though this does not provide a compact absorbing set, the existence of a compact global attractor follows from the continuity of solutions, which is obtained by estimating the energy flux using the Littlewood-Paley decomposition.

研究动机与目标

• 在 $L^2(\mathbb{T}^2)$ 中建立强迫临界表面准地转方程的紧致全局吸引子的存在性。
• 将先前关于全局吸引子的研究结果（要求 $f \in L^\infty \cap H^1$）推广至 $f \in L^p$ 且 $p>2$ 的情形。
• 通过 De Giorgi 迭代方法在无紧致吸收集的条件下，建立强迫临界 SQG 方程粘性解的统一 $L^\infty$ 估计。
• 通过 Littlewood-Paley 分解估计能量通量，证明解在 $L^2$ 中的强连续性，从而实现 $L^2$ 拓扑下全局吸引子的构造。

提出的方法

• 应用 De Giorgi 迭代方法，推导出强迫临界 SQG 方程粘性解在 $t > 0$ 时的统一 $L^\infty$ 估计。
• 利用 Littlewood-Paley 分解估计能量通量，并建立解在 $L^2$ 中的强连续性。
• 构造一个演化系统 $\mathcal{E}$，其由保持在有界吸收集 $X \subset L^2$ 内的粘性解组成。
• 通过 $L^2$ 弱拓扑下的紧致性与对角线论证，证明弱全局吸引子 $\mathcal{A}_w$ 的存在性。
• 通过验证条件 A1–A3（序列紧致性、连续性与能量范数收敛性），建立吸引子的强紧致性。
• 利用能量等式控制解的 $L^2$-范数，并证明在 $L^2$ 中的渐近紧致性。

实验结果

研究问题

• RQ1 当强迫项 $f$ 仅属于 $L^p$ 且 $p>2$ 时，强迫临界表面准地转方程在 $L^2(\mathbb{T}^2)$ 中是否具有紧致全局吸引子？
• RQ2 在对 $f$ 的可积性假设最小的条件下，能否通过 De Giorgi 方法在粘性解上建立统一的 $L^\infty$ 估计？
• RQ3 在给定的强迫条件下，解映射是否在 $L^2$ 中强连续，从而支持强全局吸引子的构造？
• RQ4 能否在不假设 $f$ 属于 $L^\infty$ 或 $H^1$ 的前提下，在 $L^2$ 中构造全局吸引子？

主要发现

• 当强迫项 $f \in L^p(\mathbb{T}^2)$ 且 $p>2$ 时，临界 SQG 方程在 $L^2(\mathbb{T}^2)$ 中存在紧致全局吸引子。
• 通过 De Giorgi 迭代方法，即使在缺乏紧致吸收集的条件下，也对所有 $t > 0$ 建立了粘性解的统一 $L^\infty$ 估计。
• 通过 Littlewood-Paley 分解导出的能量通量估计，证明了解在 $L^2$ 中的强连续性。
• 全局吸引子 $\mathcal{A}$ 在 $L^2$ 中是紧致且强吸引的，满足对所有 $t \in [t^*, t^* + T]$ 有 $\mathrm{d}_s(\theta(t), v(t)) < \epsilon$，其中 $v \in \mathcal{E}((-∞,\infty))$ 为某条完整轨迹。
• 吸引子被构造为 $\mathcal{A} = \{ \theta_0 : \theta_0 = \theta(0) \text{ 对某个 } \theta \in \mathcal{E}((-∞,\infty)) \}$，从而确认其强紧致性。
• 本结果将先前要求 $f \in L^\infty \cap H^1$ 的工作推广至更弱的假设 $f \in L^p$ 且 $p>2$，从而扩大了该类方程全局吸引子理论的应用范围。