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

Smooth nonradial stationary Euler flows on the plane with compact support

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

类别: math.AP

发布日期: 2024-06-06

arXiv ID: 2406.04414v1

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

详细分析

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

研究对象和背景 该论文研究的是二维不可压缩欧拉方程的定常解（stationary solutions），即不随时间变化的理想流体速度场。具体而言，考虑如下系统：

$$ \mathbf{v} \cdot \nabla \mathbf{v} + \nabla p = 0, \quad \operatorname{div} \mathbf{v} = 0 \quad \text{in } \mathbb{R}^2, $$

其中 $\mathbf{v}(x)$ 是速度场，$p(x)$ 是压力函数。由于 $\operatorname{div} \mathbf{v} = 0$，可引入流函数（stream function）$\psi$，使得

$$ \mathbf{v} = \nabla^\perp \psi := (\partial_{x_2} \psi, -\partial_{x_1} \psi). $$

代入欧拉方程后，定常欧拉方程等价于

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

这一方程表明涡量 $\omega = -\Delta \psi$ 沿流线守恒。

本文关注的是具有紧支集（compactly supported）的解，即存在有界区域 $\Omega \subset \mathbb{R}^2$，使得 $\mathbf{v} \equiv 0$ 在 $\mathbb{R}^2 \setminus \Omega$ 上成立。在二维情形下，构造紧支集解的经典方法是取径向对称的流函数 $\psi(r)$（$r = |x|$），其支集为圆盘或环形区域。这类解被称为局部径向（locally radial）：在每个连通分支上，流场关于某点旋转对称。

然而，一个长期未决的问题是：是否存在非径向（nonradial）且光滑（classical, e.g., $C^k$）的紧支集定常欧拉流？此前的工作中，Gómez-Serrano、Park 和 Shi [12] 利用 Nash–Moser 迭代构造了涡量为分段常数（vortex patch type）的非径向解，但其速度场仅为 Lipschitz 连续，不属于 $C^1$。另一类工作 [7] 构造了非涡斑型但同样仅具 Lipschitz 正则性的解。更早的凸积分方法 [3] 可得 $L^\infty$ 解，但缺乏经典正则性。

因此，本文的核心目标是在经典正则性（任意给定的 $C^k$）下，构造非局部径向的紧支集定常欧拉流。这要求流函数 $\psi$ 在支集边界上以足够高阶消失（例如 $m$ 阶），以保证 $\mathbf{v} = \nabla^\perp \psi$ 在全局属于 $C^{k}$。特别地，若 $\psi$ 在边界 $\partial \Omega$ 上满足 $\psi = \partial_n \psi = \cdots = \partial_n^{m-1} \psi = 0$，则 $\mathbf{v} \in C^{m-1}(\mathbb{R}^2)$。

值得注意的是，若假设流函数满足自治半线性椭圆方程

$$ \Delta \psi + f(\psi) = 0, $$

则任何 $C^2$ 紧支集解必为局部径向（见附录 Theorem A.2）。因此，必须超越此类方程框架。作者转而采用非自治非线性项，即考虑

$$ \Delta \psi + f_a(|x|, \psi) = 0, $$

其中 $f_a$ 显式依赖于径向变量 $|x|$。这是本文方法论上的关键创新。

主要定理或主要结果 论文的主要结果是以下定理：

Theorem 1.1. 对任意正整数 $k$，存在属于 $C^k(\mathbb{R}^2)$ 的紧支集定常欧拉流，其非局部径向。

更精确地说，该定理断言：对于任意给定的光滑度 $k$，可以构造一个速度场 $\mathbf{v} \in C^k(\mathbb{R}^2)$，满足二维不可压缩欧拉方程，且存在有界开集 $\Omega \subset \mathbb{R}^2$ 使得 $\operatorname{supp} \mathbf{v} = \overline{\Omega}$，并且 $\mathbf{v}$ 在 $\Omega$ 的任何子区域内都不具有旋转对称性。

研究方法、关键技术和核心工具 (a) 核心分析学工具
证明的核心是基于度理论的分歧论证（degree-theory-based bifurcation argument），特别是 Krasnoselskii 全局分歧定理。与经典的 Crandall–Rabinowitz 局部分歧定理不同，后者需要验证复杂的横截条件，而 Krasnoselskii 定理通过计算分歧指数（crossing number）来保证分歧解的存在，更适合处理本文中高度奇异的线性化算子。

整个构造从一族径向对称的基准解 $\psi_a$ 出发，其支集为环形区域 $\Omega_a = \{a_- < r < a_+\}$，且在边界上以高阶 $m$ 消失（即 $\psi_a \sim \rho^m$，$\rho$ 为边界定义函数）。作者的目标是寻找这些径向解的小扰动 $\psi = \psi_a + \varphi$，其支集为非径向扰动后的区域 $\tilde{\Omega}$，并满足修正后的方程，从而生成非径向的欧拉流。

(b) 解决技术性难题的主要技巧
论文克服了三个相互关联的核心困难：

  1. 非自治非线性项的构造：如前所述，自治方程无法产生非径向紧支集解。作者巧妙地构造了一个非自治非线性项 $f_a(r, t)$，其形式为

    $$ f_a(r, t) := \chi(r - a) f_-(t) + [1 - \chi(r - a)] f_+(t), $$

    其中 $\chi$ 是一个光滑截断函数，$f_\pm(t) = |t|^{1 - m/2} g_\pm(t)$。关键在于，该构造保证了：任何足够接近径向解 $\psi_a$ 的解 $\psi$，其对应的流场 $\nabla^\perp \psi$ 自动满足定常欧拉方程。这通过确保在局部上，$\psi$ 近似满足一个自治方程来实现，从而继承了欧拉方程的结构。

  2. 处理临界奇异势的线性化算子：当 $\psi \sim \tilde{\rho}^m$ 在边界 $\partial \tilde{\Omega}$ 附近时，线性化算子包含一个形如 $c / \tilde{\rho}^2$ 的临界奇异势（critically singular potential），其中 $\tilde{\rho}$ 是到边界的距离。这种势与拉普拉斯算子具有相同的尺度，不能视为低阶扰动。作者发展了一套针对此类退化椭圆算子的精细正则性理论。他们分析了算子的指标根（indicial roots），发现其为 $\nu = 2 - m$ 和 $\nu = m - 1$。为了控制解的行为，需要在指标根处的临界空间中工作。

  3. 克服导数损失问题：在描述扰动区域 $\tilde{\Omega}$ 时（例如用极坐标 $r = a_\pm + b_\pm(\theta)$），直接参数化会导致严重的导数损失（loss of derivatives），即线性化映射不是 Fredholm 算子。为解决此问题，作者引入了各向异性加权 Sobolev 空间。他们定义了特殊的 Hilbert 空间

    $$ X^j := \left\{ u \in H^j(\Omega) : \rho \partial_R u \in H^j(\Omega) \right\}, $$

    和 Banach 空间

    $$ Y^j := \left\{ \rho u_1 + u_2 : u_1 \in X^{j-2}, u_2 \in H^{j-1}(\Omega) \right\}, $$

    其中 $\rho(R, \theta) = \frac{1}{6}(R-1)(7-R)$ 是在固定参考环 $\Omega = \{1 < R < 7\}$ 上的权重函数。在此框架下，线性化算子被证明是指标为零的 Fredholm 算子。选择 Sobolev 范数而非 Hölder 范数至关重要，因为 $L^2$ 基础的范数能更有效地捕捉奇异势与高频振荡之间的相互作用，从而获得所需的锐利估计。

通过将非线性映射 $G_a$ 定义在这些精心设计的空间之间，并利用 Krasnoselskii 定理，作者最终证明了从径向解族中分歧出非径向解的存在性。

与之前工作的比较 本文的突破性贡献在于首次在任意经典正则性（$C^k$ for any $k$）下，构造了非径向的紧支集定常欧拉流。这显著改进了此前所有相关工作：

  1. 相对于涡斑解（[12]）：Gómez-Serrano 等人的工作虽然也构造了非径向紧支集解，但其解的正则性仅为 Lipschitz（即 $C^{0,1}$），速度场不可微。他们的方法基于极其复杂的 Nash–Moser 迭代，以处理导数损失问题。本文不仅将正则性提升至任意 $C^k$，而且通过引入新的函数空间，避开了 Nash–Moser 迭代的复杂性，提供了一个更清晰的分析框架。

  2. 相对于其他非 $C^1$ 解（[7]）：Enciso 等人之前的工作利用 Neumann 特征函数的性质构造了另一类非径向紧支集解，但同样局限于 Lipschitz 正则性。本文的方法完全不同，不依赖于谱理论，而是通过分歧理论直接构造光滑解。

  3. 相对于自治方程框架：许多先前关于定常欧拉流的工作都假设流函数满足自治方程 $\Delta \psi + f(\psi) = 0$。然而，本文在附录中证明（Theorem A.2），任何 $C^2$ 的紧支集解在此框架下必为局部径向。因此，本文通过引入非自治非线性项，从根本上突破了这一限制，开辟了研究非径向解的新途径。

  4. 相对于凸积分方法（[3]）：凸积分可以构造大量 $L^\infty$ 的“野”解（wild solutions），但这些解缺乏任何经典正则性，物理意义存疑。本文的解是经典解，具有明确的流体力学解释。

总而言之，本文通过融合分歧理论、退化椭圆算子的精细正则性理论以及创新的各向异性加权函数空间，成功解决了二维欧拉方程领域一个长期存在的公开问题，将非径向紧支集解的正则性从 Lipschitz 提升到了任意光滑度，标志着该领域的一个重要里程碑。