Smooth nonradial stationary Euler flows on the plane with compact support

平面上具有紧支集的光滑非径向稳态欧拉流

作者: Alberto Enciso, Antonio J. Fernández, David Ruiz

类别: math.AP, 35Q31, 35Q35, 35B32

发布日期: 2024-06-06

arXiv ID: 2406.04414v1

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

详细分析

**
中文标题: 平面上具有紧支集的光滑非径向稳态欧拉流

1. 研究对象和背景

本文研究的是二维不可压缩欧拉方程的稳态解，其形式为：

$$ \mathbf{v} \cdot \nabla \mathbf{v} + \nabla p = 0, \quad \mathrm{div}\, \mathbf{v} = 0 \quad \text{在 } \mathbb{R}^2 \text{ 上}. $$

该方程组描述理想流体的定常流动。由于速度场 $\mathbf{v}$ 是无散的（solenoidal），可引入流函数 $\psi$，使得 $\mathbf{v} = \nabla^\perp \psi := (\partial_{x_2} \psi, -\partial_{x_1} \psi)$。在此设定下，欧拉方程等价于关于 $\psi$ 的标量方程：

$$ \nabla^\perp \psi \cdot \nabla \Delta \psi = 0 \quad \text{在 } \mathbb{R}^2 \text{ 上}. $$

本文关注的是紧支集（compactly supported）且非径向（nonradial）的经典解，即流函数 $\psi$ 在某个有界区域内非零，而在其外恒为零，且解不具有旋转对称性。

特别地，研究区域为平面 $\mathbb{R}^2$，边界条件隐含于紧支集结构中：$\psi$ 在支撑集边界 $\partial \Omega$ 上高阶消失（vanish to high order $m \geq 3$），即 $\psi \sim \rho^m$，其中 $\rho$ 是到边界的距离函数（boundary defining function）。这一高阶消失条件是构造 $C^k$ 正则解的关键。

函数空间方面，作者引入了各向异性加权Sobolev空间，定义为：

$$ X_j := \left\{ w \in H^j(\Omega) : \rho \partial_R w \in H^j(\Omega) \right\}, \quad Y_j := \rho X_{j-2} + H^{j-1}(\Omega), $$

其中 $\Omega = \{1 < R < 7\} \times \mathbb{T}$ 是一个固定环形区域，$\rho(R) = \frac{1}{6}(R-1)(7-R)$ 是在边界 $\partial \Omega$ 上线性消失的权函数。这种空间设计是为了克服线性化算子在边界附近出现的临界奇异性（如势项 $\sim \rho^{-2}$）所导致的导数损失问题。

2. 主要定理或主要结果

本文的核心结果是以下定理：

定理 1.1（主定理）：对于任意正整数 $k$，存在紧支集的稳态欧拉流 $\mathbf{v} \in C^k(\mathbb{R}^2)$，其对应的流函数 $\psi$ 在支撑集内部不具有局部径向对称性。

该定理的证明依赖于一个构造性结果（定理 2.2），其表述如下：

定理 2.2：存在常数 $a^* > 4$，以及序列 $(a_n) \subset [4, \infty)$、$(b_n), (B_n) \subset C^{j-2}(\mathbb{T})$ 和 $(\psi_n) \subset C^{j-2}(\Omega_{b_n,B_n})$，满足：

  • $a_n \to a^*$ 当 $n \to \infty$；
  • $b_n$ 和 $B_n$ 是非恒定函数，且在 $C^{j-2}$ 范数下趋于零；
  • $\psi_n$ 是正解，满足：
    $$ \Delta \psi_n + f_{a_n}(|x|, \psi_n) = 0 \quad \text{在 } \Omega_{b_n,B_n} := \{a_n^- + b_n(\theta) < r < a_n^+ + B_n(\theta)\}, $$
    并且 $\psi_n(x) \cdot \mathrm{dist}(x, \partial \Omega_{b_n,B_n})^{-m}$ 在 $\Omega_{b_n,B_n}$ 上一致有界；
  • 将 $\psi_n$ 延拓为零后，$\psi_n \to \psi_{a^*}$ 在 $C^{j-2}$ 中收敛。

该定理表明，存在一族非径向扰动的紧支集解，从一个径向解 $\psi_{a^*}$ 分支出来，且其正则性可达任意 $C^k$ 阶（因 $j$ 可任意大）。这些解的支撑集是环形区域的微小非径向变形，且流函数在边界上以 $\rho^m$ 阶消失（$m \geq j+2$），从而保证了速度场 $\mathbf{v} = \nabla^\perp \psi$ 的 $C^{k}$ 正则性。

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

a) 核心分析学工具

  • 基于度理论的全局分岔定理（Krasnoselskii’s global bifurcation theorem）：由于线性化算子的复杂性使得传统的隐函数定理（如 Crandall–Rabinowitz）难以验证横截条件，作者转而采用度理论方法，通过构造满足“交叉数条件”（crossing number condition）的算子，证明非平凡解分支的存在。

  • 加权Sobolev空间与Fredholm算子理论：作者构造了新的加权空间 $X_j$ 和 $Y_j$，使得线性化算子 $DG_a(0): X_j \to Y_j$ 成为Fredholm算子（指标为零），这是分岔分析的前提。这些空间的权函数 $\rho$ 与边界消失阶 $m$ 精确匹配，从而有效控制奇异性。

  • 椭圆正则性估计：针对线性化算子 $L_a = -\Delta + c \rho^{-2}$（其中 $c$ 为常数），作者建立了尖锐的加权 $L^2$ Sobolev 估计，克服了势项 $\rho^{-2}$ 与拉普拉斯算子同阶的临界奇异性，这是传统椭圆理论无法处理的。

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

  • 非自治非线性项的构造：传统方法尝试使用自治方程 $\Delta \psi + f(\psi) = 0$，但作者在定理 A.2 中证明，任何 $C^2$ 紧支集解若满足此类方程必为径向。为此，作者首次引入非自治非线性项：

    $$ f_a(r,t) := \chi(r-a) |t|^{1 - \frac{2}{m}} g_-(t) + [1 - \chi(r-a)] |t|^{1 - \frac{2}{m}} g_+(t), $$

    其中 $\chi$ 为截断函数，$g_\pm$ 为光滑函数。该非线性项在支撑区域内部与径向解 $\psi_a$ 一致，但在边界附近具有精确的幂次奇异性 $|t|^{1 - 2/m}$，从而确保 $\nabla^\perp \psi$ 满足欧拉方程。

  • 克服导数损失的各向异性空间：传统参数化方法（如用 $r \in (a^- + b(\theta), a^+ + B(\theta))$ 描述变形域）会导致严重的导数损失（loss of derivatives）。作者通过引入加权空间 $X_j$，其中函数在径向方向上比角向方向“多一阶正则性”（即 $\rho \partial_R w \in H^j$），成功将线性化算子的映射性质从 $X_j \to Y_j$ 控制为Fredholm，从而避免了 Nash-Moser 迭代的复杂性。

  • 边界消失阶的精确匹配：通过令流函数 $\psi \sim \rho^m$ 在边界消失，且 $m \geq j+2$，作者确保了非线性项 $f_a(|x|, \psi)$ 的奇异性与线性化算子的奇异势 $\rho^{-2}$ 精确匹配，从而使得整个系统在加权框架下闭合。

4. 与之前工作的比较

a) 突破与改进

本文在多个方面显著改进了现有结果：

  • 正则性突破：此前关于紧支集非径向稳态欧拉流的构造（如 Gómez-Serrano–Park–Shi [12] 和 Enciso–Fernández–Ruiz–Sicbaldi [7]）仅能得到Lipschitz 或分段光滑（piecewise $C^1$）的速度场，而本文首次构造出任意 $C^k$ 正则的经典解（$k$ 任意），这是对正则性要求的根本性提升。

  • 方程形式的突破：此前所有构造均基于自治方程 $\Delta \psi + f(\psi) = 0$ 或涡旋片（vortex patch）模型。作者在定理 A.2 中证明此类方程不可能产生非径向紧支集 $C^2$ 解，因此本文首次成功引入非自治非线性项 $f_a(r,t)$，并证明其在构造非径向解中的有效性，这是方法论上的根本创新。

  • 函数空间的突破：以往研究（如 [7,8]）依赖各向异性Hölder空间，但受限于其在处理高阶奇异性时的不足。本文首次采用加权Sobolev空间 $X_j$ 和 $Y_j$，结合 $L^2$ 范数的高频分析能力，有效捕捉了奇异势与高频率解之间的相互作用，从而获得更精细的正则性估计。

  • 技术路径的突破：作者避免了耗时的 Nash-Moser 迭代，转而通过精心设计的加权空间和度理论，实现了分岔分析的“直接”证明，大大简化了技术流程并提升了结果的普适性。

综上，本文不仅解决了长期存在的“是否存在光滑非径向紧支集稳态欧拉流”的开放问题，还开创性地发展了一套处理边界奇异性与导数损失的全新分析框架，为非线性椭圆方程与流体力学的交叉研究提供了新范式。