Time periodic solutions close to localized radial monotone profiles for the 2D Euler equations

二维欧拉方程中接近局部径向单调资料的时间周期解

作者: Claudia García, Taoufik Hmidi, Joan Mateu

类别: math.AP, 35Q31, 35Q35, 76B03, 76B03, 76U05, 35B32, 35P30

发布日期: 2023-02-02

arXiv ID: 2302.01279v1

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

详细分析

中文标题: 二维欧拉方程中接近局部径向单调剖面的时间周期解

1. 研究对象和背景

本文研究的是二维理想不可压缩流体的欧拉方程（2D Euler equations）在特定初始条件下是否存在时间周期解。该方程的涡度-速度形式为：

$$ \begin{cases} \partial_t \omega + (v \cdot \nabla) \omega = 0, & \text{在 } [0,+\infty) \times \mathbb{R}^2, \\ v = K * \omega, & \text{其中 } K(x) = \frac{1}{2\pi} \frac{x^\perp}{|x|^2}, \\ \omega(0,\cdot) = \omega_0, & \text{在 } \mathbb{R}^2, \end{cases} $$

其中 $\omega$ 是涡度场，$v$ 是速度场，$K$ 是比奥-萨伐尔核，$x^\perp = (-x_2, x_1)$ 是向量 $x = (x_1, x_2)$ 的垂直向量。

论文关注的是静止径向涡旋（stationary radial vortices）附近的刚性时间周期解（rigid time periodic solutions），即形如 $\omega(t,x) = \omega_0(e^{-i\Omega t} x)$ 的解，表示整个涡度分布以恒定角速度 $\Omega$ 绕原点刚性旋转。这类解的初始涡度形式为：

$$ \omega_0(x) = f_0(|x|) \mathbf{1}_{\mathbb{D}}(x), $$

其中 $\mathbb{D}$ 是单位圆盘，$f_0: [0,1] \to \mathbb{R}$ 是一个严格单调、符号恒定的光滑函数（即 $f_0'(r) \neq 0$ 且 $f_0(r)$ 在 $[0,1]$ 上不变号）。这一设定区别于经典的涡旋斑块（vortex patch）模型（其中 $f_0$ 为常数），引入了非均匀涡度分布，使得谱分析更加复杂。

研究区域为单位圆盘 $\mathbb{D}$，但允许其边界被一个共形映射 $\Phi: \mathbb{D} \to D$ 微扰，使得扰动后的区域 $D$ 为光滑单连通有界域。边界条件通过法向速度为零（无穿透条件）表达：

$$ (v_0(x) - \Omega x^\perp) \cdot \vec{n}(x) = 0, \quad x \in \partial D, $$

其中 $\vec{n}(x)$ 是 $\partial D$ 上的单位外法向量。函数空间方面，作者使用了 Hölder 空间 $C^{1,\alpha}(\mathbb{D})$ 和 $C^{2,\alpha}(\mathbb{D})$，其中 $0 < \alpha < \beta < 1$，以保证解的正则性与非线性算子的紧性。

2. 主要定理或主要结果

本文的核心结果是定理 1.1，它描述了在不同符号假设下，时间周期解的“稀缺”或“丰富”现象。

定理 1.1（主定理）
设 $0 < \alpha < \beta < 1$，且 $f_0$ 满足正则性与单调性条件 (H1)–(H2)：

  • (H1): $r \in [0,1] \mapsto f_0(r) = \tilde{f}_0(r^2)$，其中 $\tilde{f}_0 \in C^{2,\beta}([0,1])$；
  • (H2): $\inf_{r \in (0,1]} \frac{f_0'(r)}{r} > 0$（即 $f_0$ 严格递增）。

定义相对幅度 $A[f_0] := \frac{f_0(1)}{f_0(0)} > 1$（由单调性保证）。

则有：

i) 稀缺情形（defocusing）：若 $\inf_{r \in [0,1]} f_0(r) > 0$，则存在 $a > 0$ 和 $m_1 \in \mathbb{N}$，满足

$$ m_1 > \frac{1}{10(A[f_0] - 1)}, $$


使得对任意 $m \in [3, m_1] \cap \mathbb{N}$，存在连续曲线 $\xi \in (-a,a) \mapsto (\Omega_\xi, f_\xi, \varphi_\xi) \in \mathbb{R} \times C^{1,\alpha}(\mathbb{D}) \times H_{s,m}^{C^{2,\alpha}}(\mathbb{D})$，使得初始数据

$$ \omega_0^\xi = (f_\xi \circ \Phi_\xi^{-1}) \mathbf{1}_{\Phi_\xi(\mathbb{D})} $$


生成一个非径向、$m$-重对称的时间周期解，以恒定角速度 $\Omega_\xi$ 旋转，且当 $\xi \neq 0$ 时非平凡。

ii) 丰富情形（focusing）：若 $\sup_{r \in [0,1]} f_0(r) < 0$，则存在 $m_2 \in \mathbb{N}$ 和 $a > 0$，使得对任意 $m > m_2$，存在类似曲线，生成非径向、$m$-重对称的时间周期解。

关键结论：

  • 当 $f_0 > 0$（defocusing）时，仅存在有限个非平凡分支（对应有限个对称阶数 $m$）；
  • 当 $f_0 < 0$（focusing）时，存在可数无穷多个非平凡分支（对应所有足够大的 $m$）。

这一结果揭示了涡度符号对周期解存在性的根本性影响，突破了以往仅研究常数涡度（涡旋斑块）的情形。

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

a) 核心分析学工具：

  • 隐函数定理（Implicit Function Theorem）：用于求解边界方程，将边界扰动 $\varphi$ 表示为角速度 $\Omega$ 和密度扰动 $g$ 的隐函数：$\varphi = N(\Omega, g)$。
  • Crandall-Rabinowitz 分岔定理：用于从平凡解 $(\Omega, 0, 0)$ 出发，构造非平凡解分支。该定理要求验证核空间维数为1、转横条件（transversality）成立。
  • Sturm-Liouville 理论：用于分析线性化算子的核。对于 $n \geq 1$，核方程被转化为二阶奇异微分方程：
    $$ F_n'' + \frac{2n+1}{r} F_n' + \mu_0(r) F_n = 0, \quad F_n(0) = 1, $$
    其中 $\mu_0(r)$ 是由 $f_0$ 和 $\Omega$ 决定的变量势能，其符号取决于 $\Omega$ 与临界值 $\kappa_1, \kappa_2$ 的关系。
  • Prüfer 变换（Prüfer transformation）：用于处理 $n=0$ 时的奇异 Sturm-Liouville 问题。该变换将二阶方程转化为相位-振幅方程组，避免了直接数值求解。
  • Kneser 定理（Kneser’s Theorem on non-oscillation）：用于证明当 $\Omega > \kappa_2$（focusing 情形）时，$F_n(r)$ 在 $r=1$ 处有零点的充要条件，从而确定谱零点的分布。
  • 积分算子的正定性分析：在 defocusing 情形（$\Omega < \kappa_1$）下，作者发现关键积分算子 $L_{\Omega,0}: L^2(d\lambda_\Omega) \to L^2(d\lambda_\Omega)$ 是自伴正定紧算子，从而其谱全在 $(0,\infty)$，保证 $\mathrm{Id} + L_{\Omega,0}$ 可逆，核为平凡。

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

  • 密度方程的退化性：线性化后，密度方程在径向方向退化（$\partial_r$ 项消失），导致 Fredholm 结构失效。作者通过引入一个辅助函数 $\mu(\Omega, \cdot)$，将密度方程重写为等价形式：
    $$ \nabla (f \circ \Phi^{-1})(x) = \mu(\Omega, (f \circ \Phi^{-1})(x)) (v_0(x) - \Omega x^\perp)^\perp, $$
    从而将原方程转化为一个非退化的非线性方程 $G(\Omega, g) = 0$，并成功恢复 Fredholm 结构。
  • 非显式势能的处理：与文献 [41] 中 $f_0$ 为二次函数（可显式计算超几何函数）不同，本文允许任意单调 $f_0$。作者通过分析 $F_{n,\Omega}(r)$ 的定性性质（如单调性、零点个数、渐近行为），而非显式表达式，来研究 dispersion 方程 $\zeta_n(\Omega) = 0$ 的零点分布。
  • 转横条件的验证：通过将转横条件 $\partial_\Omega G(\Omega,0)[h] \notin \mathrm{Range}(D_g G(\Omega,0))$ 转化为一个线性泛函的核问题（Proposition 5.1），并结合核生成元的精细估计，完成对两种情形（$f_0>0$ 和 $f_0<0$）的统一验证。

4. 与之前工作的比较

a) 突破与改进：

  • 放宽对剖面形式的依赖：文献 [41] 仅处理 $f_0(r) = A r^2 + B$ 的二次剖面，依赖其显式谱解（通过高斯超几何函数）。本文完全摆脱了对显式 $f_0$ 的依赖，仅要求其满足 (H1)–(H2)（光滑性 + 严格单调），从而将结果推广到任意单调剖面，极大增强了普适性。
  • 揭示符号依赖的二元性：首次发现并严格证明，涡度符号（正/负）决定周期解的“稀缺”或“丰富”现象。以往研究（如 [6, 14, 48]）仅关注常数涡度或正涡度，未发现 $f_0 < 0$ 时存在无穷多分支的“丰富”现象。
  • 解决奇异谱问题的新框架：针对 $f_0$ 非常数导致的变量系数 Sturm-Liouville 问题，作者系统发展了基于 Prüfer 变换与 Kneser 定理的非振荡分析方法，为处理非均匀涡度下的谱零点问题提供了新范式。
  • 发现隐藏的正定结构：在 defocusing 情形下，首次发现中间积分算子 $L_{\Omega,0}$ 的正定性，并将其作为关键工具，而非仅依赖特征值估计，这在该类问题中属首次。
  • 对称性分类的精确刻画：明确给出 $m_1$ 与相对幅度 $A[f_0]$ 的定量关系（$m_1 > \frac{1}{10(A[f_0]-1)}$），说明当剖面变化越缓慢（$A[f_0] \to 1^+$），允许的对称阶数越多，这是对“稀疏性”现象的精确量化。

综上，本文不仅将 [41] 的结果从二次剖面推广到一般单调剖面，更通过引入全新的谱分析框架，揭示了涡度符号对解结构的根本性影响，是该领域在非均匀涡度周期解研究上的重大突破。