Symmetry in stationary and uniformly-rotating solutions of active scalar equations

活性标量方程中稳态与均匀旋转解的对称性

作者: Javier Gómez-Serrano, Jaemin Park, Jia Shi, Yao Yao

类别: math.AP

发布日期: 2019-08-05

arXiv ID: 1908.01722v1

链接: http://arxiv.org/abs/1908.01722v1

详细分析

中文标题: 活性标量方程中稳态与均匀旋转解的对称性

1. 研究对象和背景

本文研究的是二维欧拉方程（2D Euler equation）和广义表面量子气体方程（generalized Surface Quasi-Geostrophic, gSQG）的稳态解与均匀旋转解的径向对称性。这些方程是描述理想流体或准地转流体动力学的重要活性标量方程（active scalar equations）。具体而言，gSQG方程的演化形式为：

$$ \partial_t \theta + u \cdot \nabla \theta = 0, $$

其中速度场 $ u $ 由标量场 $ \theta $ 通过奇异积分算子与 $ \theta $ 关联：

$$ u = \nabla^\perp (-\Delta)^{-1 + \alpha/2} \theta, \quad \alpha \in [0,2], $$

当 $ \alpha = 0 $ 时，对应二维欧拉方程；当 $ \alpha = 1 $ 时，对应经典的SQG方程。在稳态情形下，$ \partial_t \theta = 0 $，即 $ u \cdot \nabla \theta = 0 $，意味着 $ \theta $ 沿流线为常数；在均匀旋转情形下，解以恒定角速度 $ \Omega $ 绕原点旋转，即 $ \theta(x,t) = \theta_0(R_{-\Omega t} x) $，其中 $ R_{\Omega t} $ 是旋转矩阵。

研究区域为整个平面 $ \mathbb{R}^2 $，并考虑两类解：一类是光滑解（smooth solutions），即 $ \theta \in C^\infty $ 且具有紧支集；另一类是“patch”解，即 $ \theta = \chi_D $ 为某个有界区域 $ D \subset \mathbb{R}^2 $ 的特征函数。在patch情形下，边界可能具有奇异性，但要求区域具有某种拓扑结构（如单连通）。边界条件隐含在方程的非局部结构中：速度场由整个区域的积分决定，因此具有长程相互作用特性。

2. 主要定理或主要结果

本文证明了若干关于径向对称性的sharp（最优）结果，主要定理如下：

定理1（光滑稳态解的径向对称性）：设 $ \theta \in C_c^\infty(\mathbb{R}^2) $ 是二维欧拉方程的稳态解，且 $ \theta \geq 0 $，则 $ \theta $ 必为径向对称函数，即存在函数 $ f $ 使得 $ \theta(x) = f(|x|) $。该结果无需假设支撑集或水平集的连通性。

定理2（欧拉方程patch旋转解的对称性）：设 $ D \subset \mathbb{R}^2 $ 是一个有界区域，$ \theta = \chi_D $ 是二维欧拉方程的均匀旋转解，角速度为 $ \Omega $。若 $ \Omega \leq 0 $ 或 $ \Omega \geq \frac{1}{2} $，则 $ D $ 必为圆盘（即径向对称）。这两个边界值 $ \Omega = 0 $ 和 $ \Omega = \frac{1}{2} $ 都是最优的（sharp），因为存在非径向解在 $ \Omega \in (0, \frac{1}{2}) $ 内。

定理3（gSQG方程patch旋转解的对称性）：设 $ \theta = \chi_D $ 是gSQG方程的均匀旋转解，$ \alpha \in (0,2) $，且 $ D $ 为单连通区域。若 $ \Omega \leq 0 $ 或 $ \Omega \geq \Omega_\alpha $，其中 $ \Omega_\alpha $ 是某个依赖于 $ \alpha $ 的临界值，则 $ D $ 为圆盘。同样，$ \Omega_\alpha $ 是最优的，且 $ \Omega_\alpha \to \frac{1}{2} $ 当 $ \alpha \to 0 $。

此外，作者还解决了关于分数拉普拉斯算子的超定问题（overdetermined problem）的一个开放性猜想（参考文献[Choksi–Neumayer–Topaloglu, 2018]），表明若 $ (-\Delta)^{\alpha/2} u = 1 $ 在某个有界区域 $ D $ 内成立，且 $ u = 0 $ 在 $ \partial D $ 上，同时 $ \nabla u $ 在 $ \partial D $ 上为常数，则 $ D $ 必为圆盘。

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

a) 核心分析工具

本文的核心方法是变分法（calculus of variations），这是与以往采用流体力学对称性分析（如移动平面法、旋转比较法）的根本区别。作者将旋转解的稳定性问题转化为能量泛函的极值问题。对于均匀旋转的patch解，定义能量泛函：

$$ \mathcal{E}_\Omega(D) = \frac{1}{2} \int_D \int_D K(x-y)\, dx\, dy - \Omega \int_D |x|^2\, dx, $$

其中 $ K $ 是由gSQG核诱导的势能核（如 $ K(x) = |x|^{-\alpha} $ 的某种积分形式）。稳态解对应于该泛函的临界点，而旋转解则对应于在旋转群作用下的不变性。作者通过考虑区域 $ D $ 的形变（即变分扰动），并利用一阶变分条件（Euler-Lagrange方程）推导出对称性。

关键在于，作者利用了对称化技术（symmetrization）与重排不等式（rearrangement inequalities），结合唯一性和凸性分析，证明只有当 $ D $ 为圆盘时，能量才能达到极值。此外，对于光滑解，作者通过构造适当的测试函数，结合非局部算子的正则性估计，证明了速度场的径向性，从而推出 vorticity 的径向性。

b) 技术性难题的处理技巧

  • 非局部算子的奇异性：gSQG中的 $ (-\Delta)^{-1+\alpha/2} $ 在 $ \alpha > 0 $ 时具有分数阶奇异性。作者通过将速度场表达为卷积形式，并利用Sobolev嵌入与Hardy-Littlewood-Sobolev不等式控制积分核的衰减性，避免了直接处理奇异积分的困难。

  • 边界奇异性：在patch情形下，边界可能非光滑，但作者通过引入弱形式的Euler-Lagrange方程，并利用迹算子与分部积分技巧，在弱意义下处理了边界项，从而绕过了对边界的光滑性假设。

  • 临界角速度的最优性：作者构造了非径向的旋转patch解（如椭圆或带缺口的区域）在 $ \Omega \in (0, \Omega_\alpha) $ 内作为反例，从而证明了临界值的sharp性。这些构造基于数值模拟启发与解析扰动方法的结合。

4. 与之前工作的比较

本文在多个方面显著改进了先前研究：

  • 放宽连通性假设：在文献[T. Hmidi, 2015]和[F. de la Hoz 等, 2016]中，所有关于gSQG和欧拉方程旋转patch对称性的结果均要求区域 $ D $ 连通，甚至要求为凸集或具有某种光滑边界。本文完全去除了连通性假设，仅在gSQG情形下要求单连通（这是为处理分数阶算子的非局部性所必需），而在欧拉情形下甚至无需单连通，这是根本性突破。

  • 获得最优临界值：此前文献仅证明存在某个 $ \Omega_0 $ 使得当 $ |\Omega| > \Omega_0 $ 时对称性成立，但未给出精确值。本文首次精确确定了临界角速度 $ \Omega = \frac{1}{2} $（欧拉）和 $ \Omega_\alpha $（gSQG），并证明其最优性，解决了长期悬而未决的开放问题。

  • 统一处理光滑解与patch解：以往工作多集中于patch解，而本文首次在光滑解情形下证明了稳态解的径向对称性，且无需任何额外假设（如支撑集连通性），这是对经典结果（如Serrin, 1971；Gidas–Ni–Nirenberg, 1979）在非局部框架下的重要推广。

  • 解决超定问题猜想：作者利用变分方法解决了关于分数拉普拉斯的超定问题（Remark 1.4 in [Choksi et al., 2018]），该问题独立于流体力学，属于偏微分方程中的经典问题，其解决具有独立数学价值。

综上，本文通过引入变分视角，不仅统一并强化了对活性标量方程对称性的理解，而且为非局部PDE中的对称性研究开辟了新路径。