Weak Solutions for Inviscid SQG with Lorentz Data

技术摘要：具有 Lorentz 数据下的无粘性 SQG 弱解

问题陈述
本文研究了 $\mathbb{R}^2$ 及光滑有界区域内无粘性表面准地政方程（SQG）的全局弱解的存在性。该方程描述了标量 $\theta$ 在由 $\theta$ 通过零阶奇异积分算子导出的速度场 $u$ 下的输运过程：
$$\partial_t \theta + u \cdot \nabla \theta = 0, \quad u = \nabla^\perp \Lambda^{-1} \theta,$$
其中 $\Lambda = (-\Delta)^{1/2}$。

核心挑战在于初始数据的正则性。虽然对于 $L^2$ 数据已知存在全局弱解，但对于低正则性数据，该问题仍是一个开放问题。先前的研究已确立了对于 $L^p$ 数据（其中 $p > 4/3$）或临界勒贝格空间 $L^{4/3}$ 的存在性。然而，临界勒贝格空间 $L^{4/3}$ 并不是控制哈密顿量（负 Sobolev 能量）的最大空间。作者旨在为处于临界 Lorentz 空间 $L^{4, 2}$ 中的初始数据构造全局弱解，该空间严格包含于 $L^{4/3}$（因为 $L^{4/3} = L^{4/3, 4/3} \subsetneq L^{4/3, 2}$）。

在这一正则性水平下，一个关键的困难在于乘积 $u\theta$ 在经典意义上无法定义，且自然负 Sobolev 空间中的弱收敛并不能自动保持二次哈密顿量 $H(\theta) = \frac{1}{2}\|\Lambda^{-1/2}\theta\|_{L^2}^2$。此外， $L^{4/3, 2}$ 中的序列可能会发生集中（concentration），从而可能导致能量损失或非唯一性。

方法论
作者采用了一种专门针对 Lorentz 空间性质定制的正则化方案，避免了添加粘性。

1. 正则化方案：

   • 通过截断热半群表示来正则化速度算子 $\Lambda^{-1}$：$\Lambda^{-1}_{\epsilon_1} f = c_0 \int_{\epsilon_1}^\infty e^{s\Delta} f s^{-1/2} ds$。
   • 通过热半群对初始数据 $\theta_0$ 进行平滑：$\theta_0^{\epsilon_2} = e^{\epsilon_2 \Delta} \theta_0$。
   • 这产生了一系列具有光滑、无散速度的近似方程，这些方程具有全局光滑解。

2. 非线性项的对称化：

   • 为了处理核函数 $K(x,y) \sim |x-y|^{-3}$ 的奇异性，作者对输运项进行了对称化处理。对于测试函数 $\phi$，利用核函数的反对称性（在 $\mathbb{R}^2$ 中）或对称形式（在有界区域中）重写输运项 $\int u \cdot \nabla \theta \phi$。
   • 这使得核函数的有效奇异阶数从 2 降至 1（$|x-y|^{-1}$），使得二次型在 $L^{4/3, 2} \times L^{4/3, 2}$ 上是连续的。

3. Lorentz 空间估计与紧致性：

   • 端点控制： 作者证明了锐利估计 $\|\Lambda^{-1/2} f\|_{L^2} \lesssim \|f\|_{L^{4/3, 2}}$。他们表明二次 Lorentz 指数 $q=2$ 是最优的；对于 $L^{4/3, q}$ 当 $q > 2$ 时，该估计失效。
   • 高振幅截断： 一个关键的技术工具是模量 $\tau_M(f) = \|(|f|-M)_+\|_{L^{4/3, 2}}$。作者表明 $\tau_M$ 被热半群和保测输运所保持。至关重要的是，$\tau_M$ 是弱下半连续的。
   • 一致界限： 近似方案保持了初始数据的分布函数（直到初始平滑阶段），确保了 $\tau_M(\theta(t)) \leq \tau_M(\theta_0)$ 在时间及正则化参数下是一致成立的。
   • 加权估计： 利用 $\tau_M$ 的一致界限，作者构造了一个非减权重函数 $\Phi$，使得加权 Lorentz 范数在时间上保持一致有界。这防止了质量集中并确保了紧致性。

4. 取极限过程：

   • 作者建立了空间紧致性（在 $\mathbb{R}^2$ 中）和边界衰减性（在有界区域中）以处理定义域的非紧性问题。
   • 通过将二次核分解为近对角部分和远对角部分，他们利用 $\tau_M$ 的一致界限来控制近对角贡献，而远对角部分则通过标准的紧致性论证进行收敛。

主要结果
主定理（定理 1.1）针对任何初始数据 $\theta_0 \in L^{4/3, 2}(\Omega)$ 确立了以下结论：

1. 全局存在性： 存在全局弱解 $\theta \in L^\infty_{loc}([0, \infty); L^{4/3, 2}(\Omega)) \cap C([0, \infty); \mathcal{D}'(\Omega))$。
2. 哈密顿量守恒： 负 Sobolev 能量在所有时间内精确守恒：
   $$\|\theta(t)\|_{\dot{H}^{-1/2}(\Omega)} = \|\theta_0\|_{\dot{H}^{-1/2}(\Omega)}.$$
3. 分布控制： 解满足高振幅截断的一致界限：对于所有 $M \geq 0$，$\tau_M(\theta(t)) \leq \tau_M(\theta_0)$。
4. 加权范数界限： 存在一个与时间无关的权重 $\Phi$，使得解的加权 Lorentz 范数被初始数据所控制。

意义与主张
本文声称解决了在 Lorentz 端点 $L^{4/3, 2}$ 处具有哈密顿量守恒性质的弱解的存在性问题。其意义在于：

• 它将已知的存在性范围扩展到了临界勒贝格空间 $L^{4/3}$ 之外的更大的 Lorentz 空间 $L^{4/3, 2}$，允许处理“更粗糙”的初始数据。
• 它证明了二次 Lorentz 指数 $q=2$ 是通过算子 $\Lambda^{-1/2}$ 控制哈密顿量的锐利阈值。
• 该方法避免了使用粘性，而是依赖于一种定制的近似方法，该方法保持了数据的分布函数结构，这对于在极限过程中维持哈密顿量恒等式至关重要。
• 该结果与近期关于略高正则性（$L^{\bar{p}}$ 其中 $\bar{p} > 4/3$）弱解非唯一性的结果互补；在此，作者构造了一类特定的、能在最低正则性水平下实现能量守恒的解。

作者强调，尽管在这一正则性水平下的弱解是不唯一的（如凸积分法所示），但他们的构造提供了一类能够保持物理能量不变性的典型解类。