广义SQG方程在Sobolev空间中的强不适定性与解的不存在性

Strong ill-posedness and non-existence in Sobolev spaces for generalized-SQG

作者: Diego Córdoba, José Lucas-Manchón, Luis Martínez-Zoroa

类别: math.AP

发布日期: 2025-02-10

arXiv ID: 2502.06357v2

链接: http://arxiv.org/abs/2502.06357v2

详细分析

中文标题: 广义SQG方程在Sobolev空间中的强不适定性与解的不存在性

研究对象和背景

本文研究的对象是广义表面准地转（generalized Surface Quasi-Geostrophic, gSQG）方程，这是一个二维非线性输运型偏微分方程系统。该方程在流体力学中具有重要地位，用于描述大尺度地球物理流动（如海洋和大气环流）的动力学行为。gSQG方程可以看作是二维欧拉方程（Euler equations）的一个简化模型，同时保留了其核心的非线性和奇异性特征。

论文中给出的gSQG方程组如下：

$$ \begin{cases} \frac{\partial \theta}{\partial t} + v_1^\gamma \frac{\partial \theta}{\partial x_1} + v_2^\gamma \frac{\partial \theta}{\partial x_2} = 0, \\ v^\gamma = \nabla^\perp \psi_\gamma = (\partial_2 \psi_\gamma, -\partial_1 \psi_\gamma), \quad \psi_\gamma = -\Lambda^{-1+\gamma} \theta, \\ \theta(\cdot, 0) = \theta_0(\cdot). \end{cases} $$

其中，$\theta = \theta(x, t)$ 是一个标量未知函数，代表活跃标量（active scalar）；$v^\gamma = v^\gamma(x, t)$ 是由 $\theta$ 通过奇异积分算子诱导出的速度场；$\psi_\gamma$ 是流函数。参数 $\gamma \in (-1, 1)$ 控制了速度场相对于标量 $\theta$ 的正则性：当 $\gamma > 0$ 时，速度场比 $\theta$ 更奇异；当 $\gamma < 0$ 时，速度场比 $\theta$ 更光滑。特别地，当 $\gamma = -1$ 时，该方程退化为二维欧拉方程的涡度形式；当 $\gamma = 0$ 时，即为经典的SQG方程。

非局部算子 $\Lambda^\alpha = (-\Delta)^{\alpha/2}$ 在傅里叶侧定义为 $\widehat{\Lambda^\alpha f}(\xi) = |\xi|^\alpha \hat{f}(\xi)$。速度场 $v^\gamma$ 也可以通过一个奇异核 $K_\gamma$ 表示为卷积形式：

$$ v^\gamma(x, t) := C(\gamma) \, \text{P.V.} \int_{\mathbb{R}^2} \frac{(x-y)^\perp}{|x-y|^{3+\gamma}} \theta(y, t) \, dy, $$

其中 $(a, b)^\perp := (-b, a)$，$C(\gamma)$ 是一个依赖于 $\gamma$ 的常数。

该方程的研究区域是整个二维欧氏空间 $\mathbb{R}^2$，没有指定边界条件。研究的核心函数空间是 Sobolev空间 $H^s(\mathbb{R}^2)$。已知的适定性结果表明，当初始数据 $\theta_0 \in H^s$ 且 $s > 2 + \gamma$ 时，该方程在 $H^s$ 中是局部适定的。然而，对于更低正则性的空间，即所谓的超临界区域（supercritical regime），其适定性行为尚不清楚。本文正是聚焦于这一超临界区域，旨在揭示其内在的病态性质。

主要定理或主要结果

论文证明了两个主要定理，分别关于强不适定性（strong ill-posedness）和解的不存在性（non-existence of solutions）。

定理1 (Theorem 1, 强不适定性): 对于任意 $T > 0$, $0 < c_0 < 1$, $M > 1$, $\gamma \in (-1, 1)$, $\beta \in [1, 2+\gamma) \cap (\frac{3}{2} + \gamma, 2+\gamma)$ 以及任意小的 $t_* > 0$，总存在一个属于 $H^{\beta+1/2}$ 的初始函数 $\theta_0$，满足 $\|\theta_0\|_{H^\beta} \leq c_0$，使得对应的唯一解 $\theta(x,t) \in H^{\beta+1/2}$（对 $t \in [0, T]$）满足 $\|\theta(x, t_*)\|_{H^\beta} \geq M c_0$。此外，在其存在时间内，该解是 $C^\infty$ 光滑的，且其支集被包含在初始支集的一个有限邻域内。

定理2 (Theorem 2, 解的不存在性): 对于任意 $t_0 > 0$, $0 < c_0 < 1$, $\gamma \in (-1, 1)$ 和 $\beta \in [1, 2+\gamma) \cap (\frac{3}{2} + \gamma, 2+\gamma)$，总存在初始条件 $\theta_0$ 满足 $\|\theta_0\|_{H^\beta} \leq c_0$，使得存在一个解 $\theta$ 满足 $\theta(x,0) = \theta_0(x)$，并且对于所有 $t \in (0, t_0]$，都有 $\|\theta(x, t)\|_{H^\beta} = \infty$。进一步地，这个解是在高正则性类 $L^\infty([0, t_0], H^{3/2+\gamma}) \cap C([0, t_0], C_x^2(K))$（对任意紧集 $K \subset \mathbb{R}^2$）中唯一的解。

这两个定理共同揭示了gSQG方程在超临界Sobolev空间 $H^\beta$ 中的严重病态行为：不仅解对初始数据极度敏感（强不适定性），甚至对于某些属于 $H^\beta$ 的初始数据，根本不存在任何在 $H^\beta$ 中保持有限范数的解（解的不存在性）。

研究方法、关键技术和核心工具

论文的证明策略精巧而深刻，其核心技术围绕着“伪解”（pseudosolutions）的概念展开，并辅以能量估计、粘合论证等分析工具。

a) 核心分析学工具

  1. 伪解构造与逼近: 这是全文最核心的工具。作者首先构造一类特殊的近似解，称为“伪解” $\theta_p$。伪解并非原方程的精确解，而是满足一个带有源项 $F$ 的修正方程：$\partial_t \theta_p + v^\gamma(\theta_p) \cdot \nabla \theta_p + F = 0$。关键在于，作者精心设计 $\theta_p$ 的形式，使其源项 $F$ 在足够高的Sobolev范数下可以被控制得任意小（随参数 $N \to \infty$ 而趋于零）。这使得伪解 $\theta_p$ 能够很好地逼近真实的解 $\theta$。

  2. 能量估计与Bootstrap论证: 为了严格证明伪解与真实解之间的误差 $\Theta = \theta - \theta_p$ 确实很小，作者在 $H^{\beta+1/2}$ 空间（这是一个局部适定的空间）中对 $\Theta$ 进行了精细的能量估计。由于方程涉及分数阶导数和乘积项，直接进行能量估计非常困难。作者巧妙地利用了分数阶Leibniz法则（通过引用文献[36]中的引理12和13）来处理非线性项中的导数分配问题。通过一个Bootstrap论证，他们假设误差在一个短时间内的范数是有界的，然后利用能量不等式证明这个界实际上可以被改进，从而将解的存在时间延拓到所需的任意固定时间 $T$。

  3. 粘合论证（Gluing Argument）: 这是证明“解的不存在性”的关键技术。基于强不适定性结果，作者可以构造一系列局域化的、支集互不相交的初始扰动 $\theta_{j,0}$，每个扰动都能在极短时间内使其 $H^\beta$ 范数爆炸。通过将这些初始扰动平移到彼此远离的位置（距离 $R_j \to \infty$），并利用输运方程解的支集传播速度有限这一事实，可以保证在有限时间内，这些局域化解之间的相互作用可以被忽略。因此，整体解的行为近似于各个局域化解的叠加。通过仔细选择参数，使得整体初始数据的 $H^\beta$ 范数收敛（因为每个局域扰动的范数衰减得足够快），但整体解在任意正时间 $t>0$ 的 $H^\beta$ 范数都发散（因为总有某个局域化解的范数已经爆炸）。

b) 解决技术性难题的主要技巧

  1. 处理奇异速度算子: gSQG方程的核心难点在于速度算子 $v^\gamma = \nabla^\perp \Lambda^{-1+\gamma}$ 的奇异性，其阶数依赖于 $\gamma$。当 $\gamma$ 变化时，速度场的正则性也随之变化，这给统一处理带来了巨大挑战。作者通过发展一套针对不同 $\gamma$ 值的速度场估计引理（如引理4, 5, 6, 7, 8, 9）来克服这一困难。这些引理细致地刻画了当输入函数具有高频振荡结构（如 $\sin(N\alpha)$）时，输出速度场的大小和衰减行为。特别是，他们区分了 $\gamma \geq 0$ 和 $\gamma < 0$ 的情况，并引入了对数因子 $X(\gamma) = \ln(e+N)$ 来统一描述估计结果。

  2. 构造具有特定增长机制的伪解: 为了实现 $H^\beta$ 范数的爆炸，作者将伪解构造为一个径向基底函数 $f_1(r)$ 加上一个高频角向扰动 $f_2(r) N^{-\beta} \sin(N\alpha - N t \frac{v_\alpha^\gamma(f_1)(r)}{r})$。这里的关键洞察是，扰动的增长速率由 $\frac{\partial}{\partial r} \left( \frac{v_\alpha^\gamma(f_1)(r)}{r} \right)$ 控制。通过引理3，作者证明了可以找到一个紧支集的径向函数 $f_1$，使得在其支集之外的某个环域上，这个导数可以任意大。然后，他们将高频扰动 $f_2$ 的支集精确地放置在这个环域上。这样，随着时间演化，高频扰动会因巨大的剪切效应而迅速拉伸，导致其 $H^\beta$ 范数呈多项式级增长。

  3. 克服负 $\gamma$ 下的Leibniz法则失效: 论文特别指出（见1.3.1节），当 $\gamma < 0$ 时，一些用于处理奇异算子的经典Leibniz型不等式不再适用。为了解决这个问题，作者在能量估计的不同部分（如引理16的证明中）采用了不同的策略。例如，在处理某些交叉项时，他们转而使用Hölder不等式和分数阶Sobolev嵌入定理（引用文献[24]）来控制范数，而不是依赖于可能失效的Leibniz法则。这种灵活性是处理全参数范围 $\gamma \in (-1,1)$ 的关键。

与之前工作的比较

本文的工作是对先前关于SQG方程不适定性研究的重大推广和深化，其突破主要体现在以下几个方面：

a) 参数范围的全面推广

最显著的改进是将先前仅针对经典SQG方程（即 $\gamma=0$）的结果，成功推广到了整个广义SQG族（$\gamma \in (-1, 1)$）。论文明确指出（第4页）：“事实上，$\gamma=0$ 的结果已在[16]中完成，我们将其扩展到整个区间。” 这一推广绝非平凡，因为如前所述，速度算子的奇异性随 $\gamma$ 变化，导致分析工具和技术细节需要全面调整。作者通过发展适用于一般 $\gamma$ 的速度场估计和能量估计方法，成功克服了这一障碍。

b) 结果强度的提升与统一框架

  1. 从SQG到gSQG的统一处理: 之前关于不适定性的工作往往是针对特定模型的。例如，[16]处理了 $\gamma=0$ 的SQG，[3]和[19]处理了 $\gamma=-1$ 的2D Euler，[11]处理了 $\gamma>1$ 的情况。本文建立了一个统一的分析框架，能够一次性处理开区间 $(-1, 1)$ 内的所有 $\gamma$ 值，填补了理论上的空白，并揭示了这一族方程在超临界区域共有的病态本质。

  2. 同时证明强不适定性与解的不存在性: 虽然[16]也同时证明了SQG的强不适定性和解的不存在性，但本文在更一般的背景下重现并确认了这一深刻现象。更重要的是，本文的“解的不存在性”结果具有更强的唯一性陈述：它断言所构造的“瞬时离开 $H^\beta$”的解，是在一个更高正则性类（$H^{3/2+\gamma}$）中唯一的解。这意味着，即使放宽对解的正则性要求，也无法在 $H^\beta$ 中找到其他解来“挽救”适定性。这比单纯说“不存在 $H^\beta$ 解”更为深刻。

  3. 对临界指数的精确刻画: 本文精确地确定了发生强不适定性的Sobolev指数范围为 $\beta \in [1, 2+\gamma) \cap (\frac{3}{2} + \gamma, 2+\gamma)$。这个区间的下限 $\frac{3}{2}+\gamma$ 并非随意选取，而是由证明中的技术条件自然导出的（见第28页的讨论：“为了能够闭合估计，必须在局部适定的Sobolev空间 $H^s$ ($s>2+\gamma$) 中进行……源项必须在该空间中收敛到零……这导致我们考虑 $\beta$ 在区间 $(\frac{3}{2}+\gamma, 2+\gamma)$”）。这为理解gSQG方程的适定性阈值提供了精确的定量信息。

c) 技术方法的继承与发展

本文的方法深受[16]（作者之一参与）的启发，沿用了“伪解”这一核心思想。然而，面对更一般的gSQG方程，作者在技术上做出了大量创新和发展：

  • 更复杂的伪解结构: 由于速度算子的变化，伪解中角向相位的演化律 $\frac{v_\alpha^\gamma(f_1)(r)}{r}$ 也依赖于 $\gamma$，这要求对径向基底函数 $f_1$ 的性质有更精细的控制（引理3）。
  • 更普适的估计工具: 如前所述，作者发展了一整套适用于任意 $\gamma \in (-1,1)$ 的速度场和非线性项的Sobolev范数估计，这是对[16]中特定于 $\gamma=0$ 的估计的实质性推广。
  • 对负 $\gamma$ 情形的特殊处理: 论文专门讨论了 $\gamma<0$ 时的技术差异，并提供了相应的解决方案，确保了结论在整个参数区间内的有效性。

综上所述，本文不仅将SQG方程的强不适定性和解的不存在性这一深刻现象推广到了更广泛的gSQG方程族，而且通过发展新的分析工具和估计技术，为理解这类具有奇异速度场的输运方程的超临界行为提供了坚实的理论基础和统一的视角。