Quantitative estimates for uniformly-rotating vortex patches

均匀旋转涡旋斑块的定量估计

作者: Jaemin Park

类别: math.AP

发布日期: 2020-10-14

arXiv ID: 2010.06754v1

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

详细分析

中文标题: 均匀旋转涡旋斑块的定量估计

1. 研究对象和背景

本文研究的是二维不可压缩欧拉方程（2D incompressible Euler equation）在涡度形式下的均匀旋转涡旋斑块（uniformly-rotating vortex patches）的定量性质。该方程组如下：

$$ \begin{cases} \partial_t \omega + \vec{u} \cdot \nabla \omega = 0 & \text{in } \mathbb{R}^2 \times \mathbb{R}, \\ \vec{u}(\cdot,t) = -\nabla^\perp (-\Delta)^{-1} \omega(\cdot,t) & \text{in } \mathbb{R}^2, \\ \omega(\cdot,0) = \omega_0 & \text{in } \mathbb{R}^2, \end{cases} $$

其中 $\nabla^\perp := (-\partial_{x_2}, \partial_{x_1})$，速度场 $\vec{u}$ 由 Biot-Savart 定律由涡度 $\omega$ 唯一确定：

$$ \vec{u}(x,t) = \nabla^\perp (\omega * N)(x,t) = \frac{1}{2\pi} \int_{\mathbb{R}^2} \frac{(x-y)^\perp}{|x-y|^2} \omega(y,t) \, dy, $$

其中 $N(x) = \frac{1}{2\pi} \log |x|$ 是二维牛顿势。

涡旋斑块被定义为涡度函数 $\omega(x,t) = \chi_{D_t}(x)$，其中 $D_t \subset \mathbb{R}^2$ 是一个有界区域。若 $D_t$ 是初始区域 $D_0$ 绕原点以恒定角速度 $\Omega$ 旋转得到的，即 $D_t = R_{\Omega t}(D_0)$，其中旋转矩阵为：

$$ R_{\Omega t} = \begin{pmatrix} \cos(\Omega t) & -\sin(\Omega t) \\ \sin(\Omega t) & \cos(\Omega t) \end{pmatrix}, $$

则称该斑块为“均匀旋转”的。本文关注的是非径向、单连通的涡旋斑块，其边界 $\partial D$ 具有 $C^2$ 正则性，且面积固定为 $\pi$（与单位圆盘相同）。研究的核心是：在角速度 $\Omega$ 较小或对称阶数 $m$ 较大时，斑块的几何形状如何被约束？特别地，关注斑块边界到旋转中心的最大距离、角速度的上界，以及边界参数化的 $L^\infty$ 范数估计。

2. 主要定理或主要结果

论文证明了三个主要定量结果，分别对应小角速度、大对称阶数情形下的几何约束。

定理 1.1（小角速度情形）
设 $D \subset \mathbb{R}^2$ 是单连通有界区域，满足 $|D| = |B| = \pi$，其中 $B$ 是单位圆盘。则存在常数 $\Omega_0 > 0$ 和 $\kappa_0 > 0$，使得若 $(D, \Omega)$ 是方程 (1.2) 的解，且 $0 < \Omega < \Omega_0$，则要么 $D = B$（即为径向对称），要么

$$ \sup_{x \in \partial D} |x| > \kappa_0 \, \Omega^{-1/2}. $$

该结果表明：当角速度趋于零时，非径向斑块的最远点必须远离原点，且距离至少为 $\Omega^{-1/2}$ 量级，这一指数是最优的，因为椭圆斑块恰好达到该阶数。

定理 1.3（大 $m$-重对称情形）
存在常数 $m_0 \geq 2$ 和 $c > 0$，使得若 $(D, \Omega)$ 是单连通、非径向、$m$-重对称（$m \geq m_0$）的旋转斑块解，则

$$ \frac{1}{2} - \Omega \leq \frac{c}{m}. $$

该结果首次给出了 $m$-重对称斑块的角速度必须接近 $\frac{1}{2}$ 的定量上界，且误差随 $m$ 增大而衰减为 $O(1/m)$，且该结论不依赖于斑块是否位于全局分岔曲线上。

定理 1.4（分岔曲线上的边界参数化估计）
设 $\mathcal{C}_m = \{ (\tilde{u}_m(s), \tilde{\Omega}_m(s)) \in C^2(\mathbb{T}) \times (0, \frac{1}{2}) : s \in [0, \infty) \}$ 是满足性质 (A1)-(A4) 的 $m$-重对称分岔曲线（见原文第3页），则存在常数 $c_0 > 0$ 和 $m_0 \geq 3$，使得当 $m \geq m_0$ 时，

$$ \|\tilde{u}_m(s)\|_{L^\infty(\mathbb{T})} \leq \frac{c_0}{m}, \quad \forall s \geq 0. $$

该结果表明：对于大 $m$，分岔曲线上的所有斑块与单位圆盘的偏差（以极坐标形式 $r = 1 + u(\theta)$ 表示）在 $L^\infty$ 意义下被 $O(1/m)$ 控制，从而排除了边界“收缩至原点”的可能性。

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

a) 核心分析学工具

  1. 变分方法：论文基于 Gómez-Serrano 等人 [21] 的变分框架，将均匀旋转斑块视为泛函
$$ I(\rho) = \frac{1}{2} \int_{\mathbb{R}^2} (\rho * N)(x) \rho(x) \, dx - \Omega \int_{\mathbb{R}^2} \frac{|x|^2}{2} \rho(x) \, dx $$

在测度保持扰动下的临界点。由此导出关键恒等式：

$$ \int_D \vec{v} \cdot \nabla \Psi(x) \, dx = 0, \quad \forall \vec{v} \in C^2(D), \nabla \cdot \vec{v} = 0, $$

其中 $\Psi(x) = \chi_D * N - \frac{\Omega}{2} |x|^2$ 是相对流函数。

  1. 选择特殊测试向量场：为获得定量估计，作者构造了两个关键测试场：

    • $\vec{v} = x + \nabla p$，其中 $p$ 是 Poisson 方程 $\Delta p = -2$ 在 $D$ 上、$p=0$ 在 $\partial D$ 上的解，导出恒等式 (1.6)；
    • $\vec{v} = x - 2 \nabla (\chi_D * N)$，导出新恒等式 (1.7)，该式将右侧与 $L^2$ 范数 $\|x - 2\nabla(\chi_D * N)\|_{L^2(D)}^2$ 关联。

  2. 最优传输理论：利用 Loeper [31] 的结果，将 (1.7) 右侧与 $2$-Wasserstein 距离 $W_2(\chi_D dx, \chi_B dx)$ 联系，从而将几何偏差转化为传输代价。

  3. Jensen 不等式与周期函数分析：在 $m$-重对称情形下，利用函数 $f(\theta) = \int_0^\theta u(s)^2 + 2u(s) \, ds$ 的周期性与对称性，结合 Jensen 不等式，有效降低 $L^\infty$ 范数估计。

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

  • 非线性奇异性处理：在处理 $\nabla(\chi_D * N)$ 时，其在边界附近可能发散。作者通过利用 $m$-重对称性，证明了当 $m \geq 3$ 时，$\nabla(\chi_D * N)$ 在原点附近全局有界（引理 3.1），这与 $m=2$（椭圆）的情形形成关键区别，从而排除了斑块“接触原点”的可能性（引理 3.2）。

  • $L^1$ 与 $L^2$ 不可比较问题：在小 $\Omega$ 情形下，作者发现 $|D \setminus B| \sim \|u\|_{L^1(\partial B)}$，而 $\int_D |x|^2 dx - \frac{|D|^2}{4\pi} \sim \|u\|_{L^2(\partial B)}^2$，二者无法直接比较。突破在于引入新向量场 $\vec{v} = x - 2\nabla(\chi_D * N)$，使得 (1.7) 的右侧能被控制为 $\|u\|_{L^1}^2 + \|f\|_{L^\infty}^2$ 形式，而 $f$ 的 $L^\infty$ 范数又由 $L^1$ 控制，从而迫使 $\|u\|_{L^1} \sim \|u\|_{L^2}$，最终导出 $\|u\|_{L^\infty} \lesssim \Omega^{-1/2}$。

  • 排除边界收缩：在定理 1.4 中，难点是 $L^2$ 控制无法推出 $L^\infty$ 控制。作者通过精细估计流函数梯度（引理 3.5–3.6），结合定理 1.3 的 $O(1/m)$ 上界，反推出若 $\|u\|_{L^\infty}$ 过大，则 $\frac{1}{2} - \Omega$ 会过大，矛盾。

4. 与之前工作的比较

a) 突破与改进

  1. 首次获得定量估计：尽管 Kirchhoff（椭圆）、Burbea（分岔曲线）、Hmidi–Mateu–Verdera（光滑性）等已知非径向旋转斑块的存在性，但从未有文献给出角速度与斑块几何形状之间的定量关系。本文首次建立了：

    • 小 $\Omega$ 时最远点距离的 $\Omega^{-1/2}$ 下界（定理 1.1）；
    • 大 $m$ 时角速度 $\frac{1}{2} - \Omega \leq O(1/m)$ 的上界（定理 1.3）；
    • 分岔曲线上边界扰动的 $L^\infty$ 估计 $\|u\|_{L^\infty} \leq O(1/m)$（定理 1.4）。

  2. 放宽对斑块位置的假设：先前结果（如 [23]）仅适用于分岔曲线上的斑块，而本文的定理 1.3 适用于任意单连通、非径向、$m$-重对称斑块，无需假设其位于分岔曲线上，这是对存在性结果的极大推广。

  3. 突破 $m=2$ 的限制：以往研究中，$m=2$（椭圆）是唯一被完全理解的情形。本文首次揭示了 $m \geq 3$ 时的本质差异：当 $m \geq 3$ 时，流函数梯度 $\nabla(\chi_D * N)$ 全局有界，从而允许更强的几何控制（如边界不接触原点），这是 $m=2$ 时无法实现的。

  4. 方法论创新：作者通过将变分框架与最优传输理论结合，并构造非标准测试场 $\vec{v} = x - 2\nabla(\chi_D * N)$，开辟了研究涡旋斑块几何结构的新路径，为后续研究（如稳定性、非对称情形）提供了新工具。

综上，本文在定量性、普适性、技术深度上均显著超越了此前所有相关工作，是该领域的重要突破。