Regular and Singular Steady States of 2D incompressible Euler equations near the Bahouri-Chemin Patch

二维不可压欧拉方程邻近 Bahouri-Chemin 斑块的正则与奇异定常态

作者: Tarek M. Elgindi, Yupei Huang

类别: math.AP

发布日期: 2022-07-26

arXiv ID: 2207.12640v2

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

详细分析

中文标题: 二维不可压欧拉方程邻近 Bahouri-Chemin 斑块的正则与奇异定常态

1. 研究对象和背景

本论文研究的是二维不可压欧拉方程 (2D incompressible Euler equations) 的定常态 (steady states) 问题。该方程描述了二维空间中无粘性、不可压缩流体的运动。在涡度形式 (vorticity form) 下，这些方程表示为：

$$ \partial_t \omega + u \cdot \nabla \omega = 0, $$
$$ u = \nabla^\perp (-\Delta)^{-1} \omega, $$

其中 $\omega$ 是涡度 (vorticity)，$u$ 是速度场，$\nabla = (\partial_x, \partial_y)$，$\nabla^\perp = (-\partial_y, \partial_x)$。速度场 $u$ 可以通过流函数 (stream function) $\psi$ 表示为 $u = \nabla^\perp \psi$，而涡度 $\omega$ 则与流函数 $\psi$ 通过 $\omega = \Delta \psi$ 关联。因此，定常态方程可以写为：

$$ \nabla^\perp \psi \cdot \nabla (\Delta \psi) = 0. $$

该研究的物理区域是二维平环面 (2D flat torus) $\mathbb{T}^2$，可以表示为 $[-\frac{1}{2}, \frac{1}{2}]^2$ 上的周期性区域。

背景方面，欧拉方程解的涡度梯度增长 (vorticity gradient growth) 是流体力学中的一个重要开放问题。Beale-Kato-Majda 判据指出，如果初始涡度是光滑的，那么解将保持光滑。然而，涡度梯度的双指数上界 (double exponential upper bound) 是否精确尚不清楚。为了探索涡度梯度增长，研究者通常会考察邻近定常态 (near steady states) 的解。

此前，文献 [9] 通过扰动一个特定的定常态——Bahouri-Chemin 斑块 (Bahouri-Chemin patch)——构建了在固定时间区间内涡度梯度呈双指数增长的解。Bahouri-Chemin 斑块的涡度满足以下半线性椭圆方程：

$$ \Delta \psi_0(x,y) = -\text{sgn}(x)\text{sgn}(y), \quad (x,y) \in \mathbb{T}^2. $$

流函数 $\psi_0$ 被称为 Bahouri-Chemin 斑块。值得注意的是，该斑块的涡度 $\text{sgn}(x)\text{sgn}(y)$ 是不连续的 (discontinuous)，这使得其分析变得复杂。在有物理边界的区域（如圆盘）上，对 Bahouri-Chemin 斑块的扰动已证明可以导致涡度梯度的双指数增长 [17]，但对于没有边界的平环面 $\mathbb{T}^2$ 上的情况，这仍然是一个挑战。

本研究的目的是深入探讨 $\mathbb{T}^2$ 上邻近 Bahouri-Chemin 斑块的光滑 (smooth) 和奇异 (singular) 定常态。由于 Bahouri-Chemin 斑块涡度的不连续性，传统依赖于隐函数定理和线性化算子 $L_* := \Delta - F'(\psi_*)$ 的方法不再适用，因为函数 $F(x) = \text{sgn}(x)$ 是不可微的。这为本工作带来了独特的技术挑战。

2. 主要定理或主要结果

本论文的主要结果体现在两个定理上，分别关于邻近 Bahouri-Chemin 斑块的光滑和奇异定常态。

定理 1.1 (关于邻近 Bahouri-Chemin 斑块的光滑定常态)

存在一个固定的常数 $\epsilon_0 > 0$，使得对于任何 $\epsilon \in (0, \epsilon_0)$，我们都能找到一个光滑的奇函数族 (family of odd smooth functions) $F_\epsilon$，以及一个光滑的奇偶函数族 (family of smooth and odd-odd functions) $\psi_\epsilon$，它们满足以下关系：

$$ \Delta \psi_\epsilon(x,y) = -F_\epsilon(\psi_\epsilon(x,y)), \quad (x,y) \in \mathbb{T}^2 = [-\frac{1}{2}, \frac{1}{2}]^2. $$

此外，这些函数具有以下性质：

  • $\Delta \psi_\epsilon$ 的 $L^\infty$ 范数受 1 限制，即 $\Vert \Delta \psi_\epsilon \Vert_{L^\infty(\mathbb{T}^2)} \le 1$。
  • 对于任何 $\epsilon \in (0, \epsilon_0)$，函数 $\psi_\epsilon(x,y)$ 在其所有变量中是联合光滑的 (jointly smooth)，即 $\psi_\epsilon(\cdot, \cdot, \cdot) \in C^\infty((0, \epsilon_0) \times \mathbb{T}^2)$。
  • 当参数 $\epsilon$ 趋近于 0 时，流函数序列 $\psi_\epsilon$ 在 $C^{1,\alpha}(\mathbb{T}^2)$ 空间中收敛 (converges) 到 Bahouri-Chemin 斑块 $\psi_0$，即：
$$ \lim_{\epsilon \to 0} \Vert \psi_\epsilon - \psi_0 \Vert_{C^{1,\alpha}(\mathbb{T}^2)} = 0, $$

对于任何 $\alpha \in [0,1)$。

备注 1.1: 由于 $\Delta \psi_0$ 本身是不连续的，$\psi_\epsilon$ 到 $\psi_0$ 的收敛不可能发生在 $C^2$ 或在涡度意义上均匀收敛。这个定理的意义在于，它表明在平环面上构建双指数增长的光滑解可能比在有边界的区域（如圆盘）上更为微妙和复杂。

定理 1.2 (关于邻近 Bahouri-Chemin 斑块的奇异定常态)

存在一个固定的常数 $\epsilon_0 > 0$，使得对于任何固定的 $\epsilon \in (0, \epsilon_0)$，存在一个定常态 $\phi_\epsilon$，其涡度在分界线 (separatrices) $x = k/2 \text{ 或 } y = k/2$（对于 $k \in \mathbb{Z}$）上具有代数奇异性 (algebraic singularities)。此外，这些奇异定常态在 $\epsilon$ 趋近于 0 时趋近于 Bahouri-Chemin 斑块 $\psi_0$，即：

$$ \lim_{\epsilon \to 0} \Vert \phi_\epsilon - \psi_0 \Vert_{C^1(\mathbb{T}^2)} = 0. $$

更重要的是，由这些奇异定常态的速度场输运的粒子可能在有限时间内到达原点 (particles transported by the velocity field of these singular steady states may hit the origin in finite time)。

备注 1.2: 这一结果与 Bahouri-Chemin 斑块所产生的流场形成强烈对比，后者的粒子只能以最多双指数的速度接近原点。这意味着通过引入特定类型的奇异性，可以显著改变流场的粒子动力学行为。

总而言之，这两项定理不仅证明了在涡度不连续的 Bahouri-Chemin 斑块附近存在光滑定常态（并且这些光滑解也具有奇偶对称性），还揭示了邻近该斑块的奇异定常态的存在，并且这些奇异解具有更快的粒子运动特性。

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

本论文的核心目标是找到满足 $\Delta \psi = -F(\psi)$ 形式的定常态解，其中 $F$ 是一个依赖于 $\epsilon$ 的函数，并且在 $\epsilon \to 0$ 时逼近 $\text{sgn}$ 函数。由于 Bahouri-Chemin 斑块的涡度不连续，传统的线性化方法失效，作者转而采用更具鲁棒性的不动点定理。

a) 证明中使用的核心分析学工具

  • Schauder 不动点定理 (Schauder fixed-point theorem)：这是构建光滑定常态（定理 1.1）的核心工具。Schauder 不动点定理适用于在巴拿赫空间中找到紧映射的不动点，相较于巴拿赫压缩映射定理，它不需要映射是收缩的，这使得它更适用于处理奇异情况，并且不需要直接分析线性化算子。
    • 为了应用 Schauder 不动点定理，关键在于找到一个闭合 (closed)、凸 (convex) 且有界 (bounded) 的集合，并且该集合在映射 $T_\epsilon := (-\Delta)^{-1}(F_\epsilon(\cdot))$ 作用下保持不变 (invariant)。

b) 解决技术性难题（如非线性项或奇异性）时采用的主要技巧

针对定理 1.1 (光滑定常态)：

  1. 定义光滑化的 $F_\epsilon$ 函数：作者将 $F_\epsilon(x)$ 定义为 $\text{sgn}(\cdot) * K_\epsilon(x)$，其中 $K_\epsilon$ 是一个近似单位的平滑化核。这个 $F_\epsilon$ 函数是光滑、奇函数且非增的，并且在 $\epsilon \to 0$ 时收敛到 $\text{sgn}$。这种构造方式巧妙地规避了原始 $\text{sgn}$ 函数的不可微性。
  2. 构建不变集：不变集的构建是应用 Schauder 不动点定理的关键。该不变集 $\mathcal{K}_\epsilon$ 定义为：
    $$ \mathcal{K}_\epsilon := \left\{ \psi \in C^1(\mathbb{T}^2) \mid \Vert \psi - \psi_0 \Vert_{C^1(\mathbb{T}^2)} \le C_1 \epsilon \ln \frac{1}{\epsilon} \right\} \cap \{\text{奇偶对称性}\}. $$
    • 几何分析：不变集的存在性主要依赖于对 Bahouri-Chemin 斑块 $\psi_0$ 的零附近等值线几何形状 (geometry of the near-zero level sets) 的分析。文献 [1] 已知 $\psi_0(x,y) \sim C|xy \ln(1/(x^2+y^2))|$ 在原点附近。
    • 关键观测：由于 $\psi_0$ 在原点附近的超二次增长 (super quadratic growth)，作者证明了区域 $\{|\psi_0| < \epsilon\}$ 的面积近似为 $\epsilon \ln(1/\epsilon)$，当 $\epsilon \to 0$ 时。这一观测对于确定不动点迭代 $T_\epsilon \psi = (-\Delta)^{-1}(F_\epsilon(\psi))$ 的正确界限至关重要。
    • 势理论估计 (potential theory estimates)：结合对 $F_\epsilon$ 的适当选择以及势理论估计，保证了在 $C^1$ 空间中适当选择的 $\psi_0$ 的小邻域在映射 $T_\epsilon$ 作用下是不变的。
  3. Level Set 估计：
    • 引理 2.4 (针对 $\psi_0$)：证明了区域 $\{|\psi_0| < A\}$ 的面积受 $CA \ln(1/A)$ 的对数项约束，即 $\text{Area}(\{|\psi_0| < A\}) \le CA \ln \ln(1/A)$ (PDF原文中对数项与这里有细微差别，可能是我阅读的理解差异，但核心是小区域面积的对数收缩)。这提供了关于 $\psi_0$ 小值区域大小的关键信息。
    • 引理 2.5 (针对 $\psi_\epsilon$)：通过将区域 $\{|\psi(x,y)| < 2\epsilon\}$ 分割为 $\{|\psi - \psi_0| < \frac{1}{2}|\psi_0|\}$ 和 $\{|\psi - \psi_0| > \frac{1}{2}|\psi_0|\}$ 两个部分，并结合引理 2.4 和一个“小误差估计”引理 (Lemma 2.6)，成功地对 $\psi_\epsilon$ 的小值区域进行了估计，最终封闭了不动点方案。

针对定理 1.2 (奇异定常态)：

  1. 构造具有代数奇异性的 $F_\epsilon$：作者考虑 $F_\epsilon(x)$ 具有代数奇异性，例如 $F_\epsilon(x) = -\epsilon s / |x|^s$ (对于 $0 < |x| < \epsilon$) 和 $-1$ (对于 $|x| \ge \epsilon$) 的奇函数。
  2. 推广定理 1.1 的证明：对于 $0 < s < 1/2$ 的情况，定理 1.1 的证明可以相对容易地推广。
  3. 障碍论证 (Barrier argument)：对于 $1/2 \le s < 1$ 的情况，不能简单地依赖于 $|\psi_0|$ 的下界。此时，作者引入了障碍论证 (inspired by [8]) 来建立依赖于 $s$ 的先验下界 (s-dependent a-priori lower bounds) 给 $\psi_\epsilon$，这对于封闭不动点方案至关重要。这种方法允许处理更强的奇异性。

总结来说，本论文的关键技术在于巧妙地结合了Schauder 不动点定理与对 Bahouri-Chemin 斑块特殊几何特性（尤其是原点附近等值线分布）的深入分析。通过精心构造平滑化或奇异化的非线性项 $F_\epsilon$，并辅以势理论估计和障碍论证，成功地在涡度不连续的背景下构建出两种不同类型的定常态。

4. 与之前工作的比较

本论文在以下几个方面取得了显著的突破和改进：

a) 突破和改进的方面

  1. 在 $\mathbb{T}^2$ 上同时构建光滑和奇异定常态邻近 Bahouri-Chemin 斑块：

    • 这是本研究的核心突破。以前的工作（如 [9] 和 [17]）虽然也关注 Bahouri-Chemin 斑块，但主要是在寻找涡度梯度增长的解。本论文则直接构造了定常态本身。
    • 特别地，在平环面 $\mathbb{T}^2$ 上构建光滑定常态，与在有物理边界的区域（如圆盘 [17]）上的情况形成对比。在有边界的情况下，边界条件可以提供更多信息来控制流场的长时间动力学。本论文在没有物理边界的 $\mathbb{T}^2$ 上找到光滑定常态，这暗示了在 $\mathbb{T}^2$ 上寻找具有双指数增长的光滑解可能**“显著更为微妙”**，因为它排除了某些边界相关的机制。

  2. 克服了不连续涡度的挑战：

    • Bahouri-Chemin 斑块的涡度 $\text{sgn}(x)\text{sgn}(y)$ 是一个具有跳跃不连续性的函数。这意味着用于寻找定常态的方程 $\Delta \psi = -F(\psi)$ 中的 $F$ 在 $\psi_0$ 附近是不可微的。
    • 此前的大多数工作 [4, 6, 7, 18] 依赖于隐函数定理和对线性化算子 $L_* = \Delta - F'(\psi_*)$ 的分析。这些方法要求 $F$ 是可微的，并且扰动是足够正则的。本论文通过放弃隐函数定理，转而使用Schauder 不动点定理，成功绕过了对 $F$ 可微性或线性化算子性质的直接依赖。这是一种对核心分析工具的创新性选择，使其能够处理具有强奇异性的基态。

  3. 揭示了奇异定常态的独特动力学：

    • 本论文不仅构建了光滑定常态，还构造了涡度具有代数奇异性的奇异定常态。
    • 一个非常重要的发现是，这些奇异定常态产生的速度场可以使粒子在有限时间内到达原点。这与 Bahouri-Chemin 斑块本身产生的流场形成强烈对比，后者只能使粒子以最多双指数的速度接近原点。这一结果揭示了在定常态中引入特定类型的奇异性可以从根本上改变流体粒子的运动行为，为理解流体动力学的极限行为提供了新的视角。

b) 论文改进与现有结果的比较

  • 放松假设条件：本论文没有对基态 $\psi_0$ 的非线性函数 $F(\psi_0)$ 的可微性做出假设，这是对传统方法的一个重要放松。通过使用 Schauder 不动点定理，作者能够处理 $F$ 具有跳跃不连续性的情况，而这在依赖隐函数定理的工作中是无法实现的。
  • 结果的强度：
    • 存在性：论文首次明确证明了在 $\mathbb{T}^2$ 上邻近具有不连续涡度的 Bahouri-Chemin 斑块的光滑和奇异定常态的存在性。这扩展了我们对二维欧拉方程定常态解集的理解。
    • 正则性：定理 1.1 构建了光滑的 $\psi_\epsilon$ 解，并且证明了在 $\epsilon \to 0$ 时，这些解在 $C^{1,\alpha}$ 范数下收敛到 $\psi_0$，尽管 $\Delta \psi_0$ 不连续。这表明尽管基态涡度不光滑，其附近仍存在高度光滑的定常态。
    • 动力学性质：定理 1.2 的发现，即奇异定常态可以导致粒子在有限时间内撞击原点，提供了比现有结果（Bahouri-Chemin 斑块本身的粒子行为是双指数接近）更强的动力学行为。这为探索欧拉方程中可能的奇点形成机制和极端粒子运动提供了新的线索。

综上所述，本论文通过采用非传统的分析工具和对基态几何特性的深入理解，成功地在二维平环面上探索了邻近 Bahouri-Chemin 斑块的复杂定常态。它不仅在数学上克服了处理不连续涡度的挑战，而且在物理上揭示了不同类型定常态所带来的流体动力学差异。