Nontrivial integrable weak stationary solutions to active scalar equations with non-odd drift

技术摘要：具有非奇对称漂移项的非平凡可积弱平稳主动标量方程解

问题陈述
本文研究了环面 $\mathbb{T}^d$ ($d \geq 2$) 上平稳主动标量方程的存在性问题：
$$\begin{cases} \nabla \cdot (\theta u) + \Lambda^\gamma \theta = 0 \\ u = T\theta \end{cases}$$
其中 $\theta$ 是一个标量场，$u$ 是无散速度场，$\Lambda^\gamma = (-\Delta)^{\gamma/2}$ 是分数阶拉普拉斯算子（$0 < \gamma \leq 2$），且 $T$ 是一种卷积型 Calderón-Zygmund 算子。本研究的核心结构约束在于其傅里叶乘子 $m(\xi)$ 是非奇函数。

作者致力于构造属于可积函数（具体而言，属于 $L^{2-\epsilon}(\mathbb{T}^d)$ 和 $\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d)$，其中 $0 < \epsilon < 1$）而非仅仅是分布（distributions）的非平凡弱解。一个显著的挑战在于，对于奇对称乘子，算子 $T$ 在 $L^2$ 上是自伴反对称的，这导致平滑扰动的非线性项均值 $\int_{\mathbb{T}^d} w T w$ 必须为零。这种消失现象阻止了标准凸积分方案中领先阶误差的抵消。本文通过限制研究范围在非奇乘子上来绕过这一障碍，并指出目前的各种方法仍无法处理一般的自伴反对称算子。

方法论
构造过程采用了由 De Lellis 和 Székelyhidi 引入的凸积分法（method of convex integration）。该方法涉及一个迭代程序，其中构造一系列平滑近似解 $(\theta_q, u_q, R_q)$，这些解满足一个带有应力场误差 $R_q$ 的松弛方程。目标是使 $\|R_q\|_{\dot{H}^{-s}} \to 0$ 当 $q \to \infty$ 时成立。

关键技术组成部分包括：

1. 利用非奇乘子的特性： $m(\xi)$ 的非奇性质使得非线性项的均值可以不为零。具体而言，构造过程利用了 $m(\xi) + m(-\xi)$ 的像包含 $\mathbb{R}^d$ 基底这一事实（通过引理 2.9 和 2.10 建立）。这使得能够利用扰动的均值来抵消领先阶的应力误差。
2. 间歇性构建模块（Intermittent Building Blocks）： 扰动项 $w_{q+1}$ 使用“间歇性平板”（intermittent slabs，引理 2.12）进行构造。这些是具有可变间歇程度的高频振荡函数，且该间歇程度随迭代阶段的增加而逐渐减小。这种特定结构使作者能够在保持必要正则性的同时控制解的 $L^p$ 范数。
3. 负正则性估计： 与以往通常在 $L^p$ 或 $C^0$ 范数下估计误差的流体方程凸积分方案不同，本文在负 Sobolev 范数 ($\dot{H}^{-s}$) 下估计应力场。这一选择至关重要，因为它避免了要求导数直接作用于高频构建模块，从而放宽了对构建模块必须是任何 PDE 平稳解的要求。
4. 弱解定义： 由于构造的解位于负正则性空间，其中乘积 $\theta u$ 在经典意义上并非定义良好的，因此作者采用了基于**抛物积（paraproducts）**的弱解定义。他们根据 [1] 和 [21] 的框架，通过在 $\dot{H}^{-s}$ 中抛物展开的绝对收敛性来定义该乘积。

主要贡献与结果
主要结果（定理 1.3）确立了对于任何 $0 < \gamma \leq 2$，都存在非平凡弱解 $(\theta, u)$ 满足平稳主动标量方程，使得：

• $\theta, u \in \bigcap_{0<\epsilon<1} (\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d) \cap L^{2-\epsilon}(\mathbb{T}^d))$。
• 乘积 $\theta u$ 在充分大的 $s$ 时，作为 $\dot{H}^{-s}(\mathbb{T}^d)$ 中的抛物积是良定义的。
• 该对解在弱抛物积意义下满足方程。

论文提供了一个详细的归纳证明（命题 4.1），展示了通过选择足够大的频率参数 $\lambda_q$，可以使振荡误差、Nash 误差和耗散误差在 $\dot{H}^{-s}$ 范数下任意小。

意义与范围
作者声称，这项工作提供了首个关于环面上平稳主动标量方程的可积函数（而非仅仅是分布）弱解的构造。这一点在备注 1.4 中得到了强调。

论文对其局限性进行了审慎说明：

• 解并不属于 $L^2(\mathbb{T}^d)$，这仍然是一个困难的开放问题。
• 结果仅限于非奇乘子。作者明确指出，其结果不适用于表面准地转（SQG）方程，因为其乘子是奇函数。
• 该方法依赖于乘子是 Calderón-Zygmund 算子。论文指出，磁地转（MG）方程涉及无界乘子，因此不在当前方法的范围内，尽管作者认为这是一个有趣的开放性问题。
• 构造过程利用了一类特定的非奇乘子；作者并未声称解决了对于一般自伴反对称算子的解的存在性问题。

综上所述，本文通过利用漂移算子的非奇对称性来抵消领先阶误差，利用间歇性构建模块来实现可积性，并采用负 Sobolev 范数来定义弱解，从而将凸积分技术扩展到了一类特定的平稳主动标量方程。