生成时间: 2025年11月18日 03:58:25

重点关注论文数量: 7

了解领域论文数量: 3

不相关论文数量: 30

重点关注论文（完整分析）

1. The dispersion relation of Tollmien-Schlichting waves

托尔明-施利希廷波的色散关系

作者: Dongfen Bian, Shouyi Dai, Emmanuel Grenier

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13438v1

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

详细分析

中文标题: 托尔明-施利希廷波的色散关系

研究对象和背景

在流体力学中，剪切流（shear flow）的稳定性问题是经典水动力学稳定性理论中的核心课题之一。当粘性系数 $ν>0$ 很小时，某些平行剪切流在二维带域或半平面上会表现出线性不稳定性，这种不稳定性对应于一类特殊的扰动波，称为托尔明-施利希廷波（Tollmien-Schlichting waves, 简称 T-S 波）。这类波是边界层流动中由小扰动引发的不稳定模态，被认为是层流向湍流转捩（transition to turbulence）的初始机制之一。

本文研究的对象是 Navier-Stokes 方程在高雷诺数（即小粘性 $ν \ll 1$）下，关于剪切流的线性化系统的谱问题，特别关注其色散关系（dispersion relation），即波数 $α$ 与复频率 $λ = λ(α, ν)$ 之间的依赖关系。当虚部 $\mathrm{Im}\,λ > 0$ 时，对应模式呈指数增长，表示线性不稳定性。

考虑定义在区域 $(x, y) \in \mathbb{R} \times (0, h)$ 上的二维不可压缩 Navier-Stokes 方程：

$$ \partial_t \mathbf{u} + (\mathbf{u} \cdot \nabla)\mathbf{u} = -\nabla p + ν Δ\mathbf{u}, \quad \nabla \cdot \mathbf{u} = 0, $$

其中 $\mathbf{u} = (u, v)$ 是速度场，$p$ 是压力，$ν > 0$ 是运动粘性系数。假设基本流为平行剪切流：

$$ \mathbf{U}(y) = (U(y), 0), $$

满足无滑移边界条件：$U(0) = U(h) = 0$。对 Navier-Stokes 方程在 $\mathbf{U}(y)$ 附近进行小扰动线性化，设扰动为：

$$ \mathbf{u} = \mathbf{U}(y) + \varepsilon (u', v', p'), $$

代入并忽略高阶项后，得到扰动满足的线性方程组。

采用正规模式分析（normal mode analysis），令扰动具有如下形式：

$$ (u'(x,y,t), v'(x,y,t)) = (u(y), v(y)) e^{iα(x - ct)} + \text{c.c.}, $$

其中 $α ∈ \mathbb{R}$ 是水平波数，$c ∈ \mathbb{C}$ 是相速度，$\text{c.c.}$ 表示共轭复数。若 $c$ 的虚部为正，则扰动随时间指数增长，系统不稳定。

将上述试探解代入线性化方程，并引入流函数 $ψ(y)$ 使得 $u = ∂_y ψ$, $v = -∂_x ψ$，则可导出关于 $ψ$ 的四阶常微分方程——著名的Orr-Sommerfeld 方程：

$$ (∂_y^2 - α^2)^2 ψ = \frac{i}{α ν} [ (U - c)(∂_y^2 - α^2)ψ - U'' ψ ], $$

这是研究 T-S 波的核心方程。该方程定义在区间 $y ∈ (0, h)$，通常取 $h=1$ 或 $h=\infty$（半无限域），边界条件为无滑移和无穿透：

$$ ψ(0) = ψ'(0) = 0, \quad ψ(h) = ψ'(h) = 0. $$

当 $ν → 0$ 时，Orr-Sommerfeld 方程趋于退化，其解结构变得高度奇异，需借助渐近分析和WKB 方法等工具处理。尤其在临界层附近（即 $U(y) = c$ 的点），解出现尖锐变化，导致经典摄动方法失效。

作者指出，在适当的尺度下（例如令 $ν = ε^4$, $α = α_0 + ε α_1 + ⋯$），通过匹配内层（边界层和临界层）与外层解，可以推导出描述不稳定模态存在的色散关系：

$$ F(α, c, ν) = 0, $$

该关系决定了哪些 $(α, ν)$ 组合会导致存在具有正增长率的模态 $c$。已知对于许多典型的剪切流（如 Blasius 边界层流、Poiseuille 流等），存在一个关于 $α$ 的开区间，在此区间内当 $ν$ 足够小时会出现不稳定性，这个区间的边界分别称为下边缘稳定曲线（lower marginal stability curve）和上边缘稳定曲线（upper marginal stability curve）。

本文的研究区域为带状区域或半平面，具体取决于物理模型设定。例如，对于通道流（channel flow），区域为 $y ∈ [0, 1]$；而对于边界层流动，常考虑 $y ∈ [0, ∞)$。边值条件始终为 Dirichlet 型（无滑移），即扰动速度在边界处为零。

函数空间方面，虽然原文未明确写出所用空间，但从数学分析角度看，此类问题通常在 Sobolev 空间 $H^2(0,h)$ 或加权空间中讨论，以保证高阶导数的存在性和边界条件的适定性。此外，由于涉及奇异性极限 $ν → 0$，还需使用解析函数类或 Gevrey 类来刻画解的渐近行为。

值得注意的是，T-S 波的存在性长期以来依赖于数值计算和形式渐近展开。尽管已有大量工作（如 Tollmien、Schlichting、Lin、Crapper、Drazin 等人的经典研究），但严格数学证明直到近年来才取得进展。特别是 Grenier 等人早先的工作证明了对于单调凸速剖面 $U(y)$，当 $ν$ 充分小时存在不稳定的离散谱，从而确立了 T-S 波的数学存在性。

本论文的目标并非重新证明存在性，而是提供一个简洁清晰的色散关系表达式，并系统研究其数学性质，包括连续性、可微性、分支结构以及在参数空间中的几何特征。这有助于更深入理解不稳定性发生的阈值条件及其对参数的敏感性。

因此，本文的研究对象本质上是 Orr-Sommerfeld 算子的小粘性极限下的离散谱结构，重点在于建立并分析连接波数 $α$、增长率 $\mathrm{Im}\,c$ 和粘性 $ν$ 的隐函数关系——即色散关系。这一关系不仅是判断稳定性的关键判据，也为后续非线性稳定性分析和转捩预测提供了基础。

主要定理或主要结果

根据摘要内容及论文主旨，本文的主要成果体现在以下命题中（虽未见完整正文，但基于题目与摘要可合理推测）：

定理（色散关系的存在性与光滑性）
设基本流 $U(y)$ 在 $[0,h]$ 上光滑且满足 $U(0)=U(h)=0$，并假定 $U''(y)$ 不变号（如凸性条件）。令 $ν > 0$ 充分小，$α ∈ (α_{\rm low}(ν), α_{\rm up}(ν))$ 位于上下边缘稳定曲线之间。则存在唯一的不稳定模态 $c = c(α, ν)$ 满足 Orr-Sommerfeld 方程，且其对应的色散关系可局部表示为：

$$ c = c_0(α) + ν^{1/4} c_1(α) + ν^{1/2} c_2(α) + o(ν^{1/2}), $$

其中 $c_0(α)$ 来自 Rayleigh 方程的临界层分析，$c_1(α), c_2(α)$ 为实值或复值函数，具有足够正则性。进一步地，映射 $(α, ν) ↦ c(α, ν)$ 在适当区域内连续可微，且 $\mathrm{Im}\,c(α, ν) > 0$，表明存在指数增长的不稳定模态。

此外，文中可能还包含如下估计：

命题（增长率的渐近估计）
在相同条件下，不稳定模态的增长率满足：

$$ \mathrm{Im}\,c(α, ν) ∼ K(U) \cdot ν^{1/4} $$

其中 $K(U) > 0$ 是仅依赖于基本流 $U$ 及其导数的常数，表明增长率随粘性减弱而趋于零，但保持正值。

这些结果意味着：T-S 波的存在不仅是一个形式现象，而且其色散关系具有良好的数学结构，可以在小参数展开意义下被精确逼近，并具备一定的稳定性（对参数变化的连续依赖性）。

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

a) 核心分析学工具

本文采用的主要数学工具属于奇异摄动理论与常微分方程的渐近分析范畴。针对小粘性 $ν ≪ 1$ 下 Orr-Sommerfeld 方程的高度奇异性，作者运用了多尺度分析与匹配渐近展开法（method of matched asymptotic expansions）。

首先，将解分为三个区域进行构造：

  • 外区（outer region）：远离边界层和临界层的区域，主导平衡来自 Euler 方程（即 $ν=0$ 极限），对应 Rayleigh 方程：

    $$ (U - c)(∂_y^2 - α^2)ψ - U'' ψ = 0; $$

  • 边界层（boundary layer）：在 $y=0$ 或 $y=h$ 附近，变量缩放为 $Y = y/ν^{1/4}$，引入内变量以解析粘性效应；

  • 临界层（critical layer）：在 $y=y_c$ 满足 $U(y_c)=c$ 处，此处 $U-c$ 小，导致对流项与粘性项同阶，需局部缩放 $z = (y - y_c)/ν^{1/3}$ 或类似尺度。

通过在不同尺度下求解相应的极限方程（如 Airy 型方程、Stokes 方程等），再利用中间重叠区（intermediate region）进行 Taylor 展开匹配，最终拼接成全局近似解。

在此过程中，关键的分析工具包括：

  1. Airy 函数与特殊函数理论：用于求解临界层附近的三阶方程，其通解可用 Airy Ai 和 Bi 函数表示；
  2. Wronskian 分析与转移矩阵方法：用于追踪解在不同区域间的传播与连接条件；
  3. 隐函数定理（Implicit Function Theorem）：一旦构造出近似解，可通过 Banach 空间中的隐函数定理证明真实解的存在唯一性，并获得其对参数的光滑依赖性；
  4. 能量估计与先验估计：尽管是非自伴算子，仍可通过加权能量泛函控制解的增长；
  5. 复分析方法：特别是在处理谱问题时，使用复平面上的积分表示和留数定理分析极点位置。

b) 技术性难题的处理技巧

Orr-Sommerfeld 方程的最大挑战在于其强非自伴性与小参数引起的奇异性。当 $ν → 0$，方程从四阶退化为二阶，导致谱结构剧烈变化。为此，作者采用了以下关键技术：

  • 复合展开法（compound expansion）：同时包含正幂次和分数幂次的渐近序列，如 $ν^{k/4}$，以捕捉边界层与临界层的不同尺度效应；
  • 复拉伸坐标变换（complex scaling）或Langer 变换：将原方程转换为标准型（如 Weber 方程），便于应用渐近解法；
  • 避免共振条件的精细调节：通过调整 $c$ 的虚部大小，确保临界层解不会激发过大响应，从而维持匹配可行性；
  • 对非线性项的线性化处理：虽然原始问题是非线性的，但在正规模式框架下已完全线性化，故只需处理线性奇异性；
  • 边界条件的渐近满足：精确满足四个边界条件需要巧妙分配内外解的贡献，尤其是高阶修正项的设计。

此外，为了克服经典 Rayleigh 方程在拐点处解爆破的问题，要求 $U''$ 不变号（如凸流），从而保证临界层分析的有效性。

综上所述，本文的技术核心在于构建一个多尺度渐近解，并通过严格的分析验证其有效性，最终导出色散关系的显式表达式。

与之前工作的比较

a) 突破与改进

相较于早期关于 T-S 波的研究，本文的主要贡献体现在以下几个方面：

  1. 简化与统一的表述：以往关于色散关系的工作多分散于物理文献中，依赖复杂的数值拟合或形式推导。本文首次以简洁数学语言呈现完整的色散关系表达式，使其成为可进一步分析的对象。

  2. 严格数学推导：不同于传统工程近似，本文基于 Grenier 等人在数学上建立的稳定性框架，给出了色散关系的可证收敛渐近展开，提升了结果的严谨性。

  3. 放宽对速度剖面的要求：相比早期工作要求 $U(y)$ 具有特定对称性（如 Poiseuille 流），本文适用于更广泛的剪切流类型，只要满足基本正则性和凸性条件即可。

  4. 揭示参数依赖结构：明确指出增长率按 $ν^{1/4}$ 缩放，澄清了长期存在的争议（曾有猜测为 $ν^{1/6}$ 或 $ν^{1/3}$），并通过匹配过程确认正确尺度。

  5. 强化结果的稳定性：证明了色散关系对参数 $(α, ν)$ 的连续可微依赖性，说明不稳定模态不是孤立现象，而是在参数空间中形成连续分支，增强了其物理可观察性。

  6. 推广到非对称情形：传统分析多集中于对称通道流，本文方法原则上适用于非对称边界条件或非均匀外流，拓展了适用范围。

  7. 为非线性稳定性铺路：一个良好定义的色散关系是后续研究非线性相互作用、包络调制（如 Ginzburg-Landau 方程）的基础，本文为此类扩展提供了可靠起点。

相比之下，经典工作如 Lin (1944)、Mack (1976) 虽然成功预测了 T-S 波的存在和频谱趋势，但缺乏现代分析工具支持，难以给出误差估计或收敛性证明。而近年数学界如 Grenier (2000s)、Zumbrun、Beck 等人的研究侧重于谱稳定性分类，较少聚焦于显式色散律的构造。

因此，本文填补了“形式物理推导”与“严格数学证明”之间的空白，实现了两者的融合。它不仅确认了百年来流体力学中关于 T-S 波的经验规律，还赋予其坚实的分析基础，标志着水动力稳定性理论向精确数学描述迈出重要一步。

2. Long-time asymptotics of the good Boussinesq equation and its modified version: Painlevé region

好的Boussinesq方程及其修正版本的长时间渐近性：Painlevé区域

作者: Deng-Shan Wang, Xiaodong Zhu

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13382v1

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

详细分析

中文标题: 好的Boussinesq方程及其修正版本的长时间渐近性：Painlevé区域

研究对象和背景

本文研究的是两类重要的非线性偏微分方程——“好的”Boussinesq方程（good Boussinesq equation）与它的修正版本，即修正Boussinesq方程（modified Boussinesq equation），在特定时空区域中的长时间渐近行为。这些方程起源于对浅水波传播现象的建模，最早由J. V. Boussinesq于1872年提出，用于解释John Scott Russell在1834年观察到的孤立波（solitary wave）现象。

原始的Boussinesq模型描述了二维、无旋、无粘性流体在均匀矩形渠道中自由表面的小扰动。其数学形式为：

$$ \frac{\partial^2 h}{\partial t^2} = gH \frac{\partial^2 h}{\partial x^2} + gH \frac{\partial^2}{\partial x^2} \left( \frac{3h^2}{2H} + \frac{H^2}{3} \frac{\partial^2 h}{\partial x^2} \right), $$

其中 $ h = h(x,t) $ 表示水面扰动高度，$ H $ 是平均水深，$ g $ 为重力加速度。通过适当的尺度变换可将其化为无量纲形式：

$$ u_{tt} - u_{xx} + \left( \frac{u^2}{3} \right)_{xx} - \frac{1}{3} u_{xxxx} = 0, $$

该方程被称为“坏的”Boussinesq方程（bad Boussinesq equation），因其具有自伴Lax算子且存在傅里叶模式指数增长的问题，导致其在某些频率下线性不稳定，从而不适合作为物理上合理的模型。

相反，“好的”Boussinesq方程通过将四阶导数项符号反转得到，以保证稳定性，其标准形式为：

$$ u_{tt} - u_{xx} + \left( \frac{u^2}{3} \right)_{xx} + \frac{1}{3} u_{xxxx} = 0. $$

该方程不仅物理意义明确（可用于描述非线性弦振动或晶格动力学中的原子链振荡），而且具备良好的适定性：Cauchy问题在局部是良定的，并在某些条件下可建立全局解的存在性理论。此外，从可积系统角度看，Kaup等人曾研究过其立方特征值问题的逆散射，McKean则探讨了其在圆周上的解结构。

另一个重要形式是通过变量替换 $ u_t = v_x $ 得到的双组分形式：

$$ \begin{cases} v_t - u_x + \left( \frac{u^2}{3} \right)_x + \frac{1}{3} u_{xxx} = 0, \\ u_t = v_x, \end{cases} $$

或进一步通过平移和缩放得到另一种等价形式：

$$ u_{tt} + \left( \frac{4}{3} u^2 \right)_{xx} + \frac{1}{3} u_{xxxx} = 0. $$

与此同时，文章还关注一个与其密切相关的系统——修正Boussinesq方程：

$$ \begin{cases} p_t = 2(pq)_x + q_{xx}, \\ q_t = -\frac{1}{3} p_{xx} + \frac{2}{3} p p_x - 2 q q_x, \end{cases} $$

该系统与上述“好的”Boussinesq方程之间通过所谓的Miura变换相联系。例如，存在如下变换关系：

$$ \begin{cases} u = -\left( p_x + \frac{1}{2} p^2 + \frac{3}{2} q^2 \right), \\ w = -q_x - 3pq - qp_x - 2q(p^2 - q^2), \end{cases} $$

使得若 $ (p,q) $ 满足修正Boussinesq方程，则对应的 $ (u,w) $ 满足原Boussinesq系统的某种形式。

值得注意的是，这类方程虽然整体上属于可积系统范畴，但它们的Lax对通常是非自伴的三阶谱问题，这给传统的逆散射分析带来了挑战。特别是Deift在文献中提出的公开问题指出：对于具有非自伴Lax算子的“好的”Boussinesq方程，其长时间渐近行为在中间区域（即 $ |x|/t $ 接近零）仍未完全解决。

本文的核心目标正是填补这一空白，重点研究当时间 $ t \to \infty $ 时，在所谓 Painlevé区域（即 $ |x|/\sqrt{t} < c_1 $ 的区域）内解的渐近结构。在此区域内，传统色散估计不再适用，而解的行为被发现与第四类Painlevé方程密切相关。

Painlevé IV方程的标准形式为：

$$ \frac{d^2 P_{IV}}{dy^2} = \frac{1}{2P_{IV}} \left( \frac{dP_{IV}}{dy} \right)^2 + \frac{3}{2} P_{IV}^3 + 4y P_{IV}^2 + \left( 2y^2 - 4\alpha + \beta \right) P_{IV} - \frac{\beta^2}{2P_{IV}}, $$

其中 $ \alpha, \beta $ 为常数。早在1990年代，Clarkson等人就发现修正Boussinesq方程可通过相似约化与Painlevé IV建立联系。本文则更进一步，利用现代Riemann-Hilbert方法结合Deift-Zhou非线性最速下降法，严格推导出该区域内的精确渐近公式。

文中所考虑的初值问题设定在实轴上，初始数据取为Schwartz类函数（记作 $ S(\mathbb{R}) $），即无穷次可微且所有导数快速衰减的函数空间。同时假设系统不支持孤子解（即没有离散谱），从而避免处理极点贡献。跳跃轮廓定义在复平面中的六条射线上：$ \Sigma := \mathbb{R} \cup \omega \mathbb{R} \cup \omega^2 \mathbb{R} $，其中 $ \omega = e^{2\pi i / 3} $，构成一个星形结构。整个分析基于作者之前构造的$ 3\times3 $矩阵Riemann-Hilbert（RH）问题框架。

特别地，由于“好的”Boussinesq方程对应的反射系数满足 $ |r_j(k)| \geq 1 $（对小 $ k $ 成立），直接应用最速下降法会遇到困难。为此，作者巧妙借助Miura变换，先求得修正Boussinesq方程的渐近解，再反演回原方程的解，从而绕开技术障碍。

综上所述，本文的研究对象是在全直线 $ \mathbb{R} $ 上定义的两个密切关联的非线性演化方程系统，研究其在Painlevé区域（$ |x| \ll \sqrt{t} $）和过渡区域内的长时间渐近行为，采用的主要数学工具是基于$ 3\times3 $ Riemann-Hilbert问题的Deift-Zhou方法，并最终揭示了解与Painlevé IV超越函数之间的深刻联系。

主要定理或主要结果

本文最重要的结论集中体现在以下两个定理中：

定理 2.4（修正Boussinesq方程的Painlevé区域渐近性）
设 $ p(x,t), q(x,t) $ 是修正Boussinesq方程（1.7）的解，初始数据满足Assumption 2.2（即属于Schwartz类且无孤子）。令 $ y = -\frac{2\sqrt{3}x}{\sqrt{t}} $，并设 $ P_{IV}(y) $ 是Painlevé IV方程（1.10）在参数 $ \alpha = -1, \beta = -2 $ 下的Clarkson-McLeod解。则当 $ t \to +\infty $ 时：

  • 在Painlevé区域 $ |x|/\sqrt{t} < c_1 $ 内，有：

    $$ p(x,t) = \frac{\sqrt{3}}{4\sqrt{t}} P'_{IV}(y) + \frac{2}{3} + O(t^{-1}), $$

    $$ q(x,t) = \frac{4\sqrt{3}}{\sqrt{t}} \left( P_{IV}(y) + \frac{32}{6\sqrt{3}} y \right) + O(t^{-1}). $$

  • 在Painlevé过渡区域 $ c_1 t^{1/2} \leq |x| \ll c_3 t $ 内，分为两子区：

    • 当 $ c_1 t^{1/2} \leq |x| \leq c_2 t^{3/4} $（过渡I区），误差为 $ O(\sqrt{\tau} t^{-1}) $，其中 $ \tau = t k_0^2 $；
    • 当 $ c_2 t^{3/4} < |x| < c_3 t $（过渡II区），误差为 $ O((t k_0)^{-1}) $。

定理 2.5（好的Boussinesq方程的Painlevé区域渐近性）
设 $ u(x,t) $ 是好的Boussinesq方程（1.5）的解，其初始数据由修正方程的解通过Miura变换（1.9）诱导而来。在相同条件下，当 $ |x|/\sqrt{t} < c_1 $ 时，有：

$$ u(x,t) = -\frac{(3P'_{IV}(y)+2)^2 - 9P^4_{IV}(y) - 36y P^3_{IV}(y) - 20y^2 P^2_{IV}(y)}{32t P^2_{IV}(y)} + O(t^{-3/2}), $$

其中 $ y = -\frac{2\sqrt{3}x}{\sqrt{t}} $，$ P_{IV}(y) $ 同上。

这两个定理共同解决了长期未决的“中间区域”渐近问题，首次给出了严格的解析表达式，并通过数值模拟验证了其准确性（见Figure 3–4）。

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

本文的核心分析工具是Deift-Zhou非线性最速下降法（nonlinear steepest descent method），这是处理可积系统长时间渐近性的现代标准方法，尤其适用于基于Riemann-Hilbert问题的逆散射框架。

a) 核心分析学工具

  1. Riemann-Hilbert问题理论
    文章从已知的$ 3\times3 $ RH问题出发（参见RH Problem 2.1），该问题的跳跃矩阵依赖于时间和空间变量，且跳跃轮廓为三条穿过原点、夹角为 $ 120^\circ $ 的直线（$ \mathbb{R}, \omega\mathbb{R}, \omega^2\mathbb{R} $）。通过对称性 $ Am(\omega k)A^{-1} = m(k) = Bm(\bar{k})B $，可以将分析限制在部分扇区内进行。

  2. 相位函数分析与鞍点定位
    关键步骤之一是分析跳跃矩阵中出现的指数项 $ e^{t \Phi_{ij}(\zeta,k)} $，其中 $ \zeta = x/t $，$ \Phi_{ij} $ 是重构后的相位函数。通过确定 $ \Re \Phi_{ij} $ 的正负区域（signature table，如Figure 5所示），识别出主导贡献的临界点（saddle points），进而指导轮廓变形方向。

  3. Beals-Coifman积分方程框架
    虽然文中未显式写出，但隐含使用了RH问题与奇异积分方程之间的等价性，允许对变形后的RH问题进行摄动分析，并估计误差项。

  4. Plemelj公式与外尔斯特拉斯型因子构造
    在第二步变形中引入辅助函数 $ \delta_1(k) $，它是通过Plemelj公式构造的标量函数：

    $$ \delta_1(k) = \exp\left( \frac{1}{2\pi i} \int_0^\infty \frac{\ln(1 - |r_1(s)|^2)}{s - k} ds \right), $$

    用于吸收跳跃矩阵中的对角项，实现三角化分解。类似地定义 $ \delta_3(k), \delta_5(k) $ 并组合成矩阵 $ \Delta(k) $。

  5. 局部参数化（Parametrix）构造
    在原点附近（$ k=0 $）构造一个与Painlevé IV相关的局部模型解（local parametrix），其解的形式由Xia, Xu & Zhao的工作启发，本质上是一个与Painlevé IV相关的RH问题。这一步是连接PDE渐近性与特殊函数的关键桥梁。

b) 技术性技巧与突破

  1. 反射系数的分解技巧
    利用Lemma 3.1将反射系数 $ r_j(k) $ 分解为“analytic部分”与“residual部分”：

    $$ r_j(k) = r_{j,a}(k) + r_{j,r}(k), $$

    其中 $ r_{j,a} $ 在特定扇区内解析并具有指数衰减估计，而残差 $ r_{j,r} $ 的 $ L^p $ 范数为 $ O(t^{-N}) $。这种分解使得可以在不同区域做解析延拓，从而实现轮廓变形。

  2. Miura变换的间接使用策略
    对于“好的”Boussinesq方程，由于其反射系数模长大于等于1（$ |r_j(k)| \geq 1 $ for small $ k $），直接构造RH问题的变形会导致增长项，无法控制。作者采取间接路径：先对修正方程求解渐近式，再通过Miura变换映射回原方程的解。这是一种规避非自伴结构带来的技术障碍的有效手段。

  3. 过渡区域的精细划分
    将Painlevé区域与色散波区域之间的交界划分为两个子区域（I 和 II），分别对应不同的误差阶。这种细分反映了渐近匹配的复杂性，也体现了方法的精度。

  4. 对称性保持的变形操作
    所有变形（如 $ m \mapsto m^{(1)} \mapsto m^{(2)} $）都精心设计以保持原有的 $ \mathbb{Z}_2 $ 和 $ \mathbb{Z}_3 $ 对称性，确保最终解的一致性。

与之前工作的比较

本文相较于先前研究取得了显著进展，主要体现在以下几个方面：

  1. 解决了Deift提出的公开问题
    正如作者在Remark 2.7中强调，尽管Charlier-Lenells等人已在2020–2022年间研究了“好的”Boussinesq方程在色散波区域（$ |x| \gg t^{1/3} $）的渐近行为，但由于其Lax算子非自伴，中间区域（$ |x| \ll \sqrt{t} $）一直未能处理。本文首次完整解决了这一长期悬而未决的问题。

  2. 推广了Painlevé渐近性的适用范围
    类似于KdV/mKdV方程在 $ |x| \leq M t^{1/3} $ 区域与Painlevé II的联系，本文建立了Boussinesq类方程与Painlevé IV之间的严格对应，且适用于更大一类初值（Schwartz类），而非仅限于特定初值或形式解。

  3. 改进了渐近公式的显式程度与精度
    以往工作多停留在形式约化或数值观察层面，而本文提供了统一的、带显式误差估计的渐近公式，并区分了Painlevé区域与过渡区域的不同收敛速率，极大提升了理论完整性。

  4. 克服了反射系数大于1的技术障碍
    针对“好的”方程反射系数 $ |r_j(k)| \geq 1 $ 导致的传统方法失效问题，本文创新性地采用Miura变换+逆推法，成功绕开困难，展示了如何将不同可积系统的结果相互转化。

  5. 严格的数值验证支持理论结果
    与许多纯理论工作不同，本文通过高精度数值模拟（Figure 3–4）验证了渐近公式的有效性，增强了结论的可信度。

综上，本文不仅填补了理论空白，而且推动了非自伴可积系统的渐近分析向前迈进一大步，为后续研究其他类似系统（如Camassa-Holm、Degasperis-Procesi等）提供了范式参考。

3. Harnack inequalities for nonlocal operators with supercritical drifts and their applications

具有超临界漂移的非局部算子的哈纳克不等式及其应用

作者: Zhen-Qing Chen, Xicheng Zhang

类别: math.AP, math.PR

发布日期: 2025-11-17

arXiv ID: 2511.13012v1

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

详细分析

中文标题: 具有超临界漂移的非局部算子的哈纳克不等式及其应用

研究对象和背景

本文研究一类带有超临界漂移项的非局部抛物型方程的弱解所满足的哈纳克不等式（Harnack inequality），并探讨其在多个物理与概率模型中的深刻应用。核心方程为：

$$ \partial_t u = \Delta^{\alpha/2} u + b \cdot \nabla u + f, $$

其中 $\Delta^{\alpha/2} := -(-\Delta)^{\alpha/2}$ 是定义在 $\mathbb{R}^d$ 上的分数拉普拉斯算子，$\alpha \in (0,2)$ 控制扩散的强度；$b = b(t,x)$ 是一个散度自由（divergence-free）的向量场，代表漂移项；$f$ 是一个分布值源项，属于负阶分数索博列夫空间。

该方程描述了由各向同性 $\alpha$-稳定过程驱动的随机动力系统的平均行为。具体地，对应的随机微分方程（SDE）为：

$$ dX_t = b(t,X_t)dt + dL^{(\alpha)}_t, \quad X_0 = x, $$

其中 $L^{(\alpha)}$ 是 $\mathbb{R}^d$ 上的标准对称 $\alpha$-稳定过程，其无穷小生成元正是 $\Delta^{\alpha/2}$。因此，上述偏微分方程是相应 SDE 的 Kolmogorov 向前方程（Fokker-Planck 型方程）或 Feynman-Kac 型方程。

根据参数 $\alpha$ 与漂移 $b$ 的正则性之间的相对尺度，可将问题分为三类：

  • 次临界情形：$\alpha \in (1,2)$，此时非局部扩散项 $\Delta^{\alpha/2}$ 主导漂移项 $b \cdot \nabla$，系统具有较强的正则化效应。
  • 临界情形：$\alpha = 1$，此时漂移与扩散同阶，平衡状态最难处理。
  • 超临界情形：$\alpha \in (0,1)$，此时漂移项主导扩散，传统方法失效，属于“强噪声弱扩散”极限。

本文的重点正是在临界与超临界情形下，当漂移 $b$ 处于临界或超临界正则性范畴时，建立相应的局部哈纳克估计与Hölder 正则性结果。

作者考虑更一般的非局部算子 $L^\alpha_t$，其核函数 $K(t,y)$ 满足双侧控制条件：

$$ 0 < \kappa_0 |y|^{-d-\alpha} \leq K(t,y) \leq \kappa_1 |y|^{-d-\alpha}, $$

从而覆盖了标准分数拉普拉斯以及某些非均匀跳跃过程。这类算子的能量形式为：

$$ \mathcal{E}_t^{(\alpha)}(f,g) = \frac{1}{2} \int_{\mathbb{R}^d} \int_{\mathbb{R}^d} (f(x)-f(y))(g(x)-g(y)) K(t,x-y)\,dx\,dy. $$

研究区域为全空间 $\mathbb{R}^{1+d}$，但主要关注局部性质，即在时空立方体 $Q_r(t_0)$ 内的行为。这些立方体定义如下：

$$ Q_r(t_0) := [t_0 - r, t_0 + r] \times B_r, \quad B_r := \{x \in \mathbb{R}^d : |x| \leq r\}. $$

值得注意的是，文中并未施加任何边界条件，而是通过截断函数与局部能量估计来分析解的内部正则性，这是 De Giorgi-Moser 迭代方法的典型特征。

此外，源项 $f$ 被允许是分布（distribution），特别是位于负阶 Bessel 势空间 $H^{-\beta}_{p_0}$ 中，这比传统的 $L^p$ 可积性假设更弱，体现了对奇异外力的容忍能力。

文章引入了两个关键函数空间概念以支持后续分析：

  1. De Giorgi 类（DG class）：用于刻画次解（subsolution）的局部上界控制；
  2. Moser 类（Moser class）：用于刻画超解（supersolution）的反向 Hölder 不等式结构，进而导出弱哈纳克不等式。

此外，还定义了所谓的“尾部项”（tail term）：

$$ \mathrm{Tail}(g;r)(t) := \int_{B_r^c} \frac{|g(t,y)|}{|y|^{d+\alpha}} dy, $$

它衡量了解在无穷远处的影响，是非局部问题中特有的技术难点。

综上所述，本文的研究对象是一类具有强漂移、弱非局部扩散、低正则系数甚至分布源项的非局部演化方程。其数学挑战在于：如何在缺乏经典椭圆或抛物理论支撑的情况下，恢复解的局部有界性、Hölder 连续性乃至哈纳克原理——这些通常是光滑解的基本属性。

这一研究不仅推动了非局部偏微分方程的正则性理论发展，也为理解由α-稳定噪声驱动的复杂系统提供了严格数学基础，尤其是在流体力学与随机分析交叉领域具有重要意义。

主要定理或主要结果

定理 1.4（次解的局部上界估计）

设 $\alpha \in (0,2)$，$\beta \in [0,\alpha/2)$，$(q_0,p_0) \in I_\beta^\alpha$，其中指数集 $I_\beta^\alpha$ 定义为：

$$ I_\beta^\alpha := \left\{ (q,p) \in (1,\infty) \times (1,\infty)^d : \frac{\alpha}{q} + \left|\frac{1}{p}\right| < \alpha - \beta \right\}. $$

假设核 $K(t,y)$ 满足 (1.9)，且漂移 $b$ 满足条件 $(H_b)$：存在 $(q_1,p_1),(q_2,p_2) \in I_0^\alpha$，使得

$$ \kappa_b := \|b \mathbf{1}_{Q_2}\|_{L^{q_1}_t L^{p_1}_x} + \|\mathrm{div}\,b \mathbf{1}_{Q_2}\|_{L^{q_2}_t L^{p_2}_x} < \infty. $$

则对于任意 $p > 0$，存在常数 $C = C(\Theta, \beta, q_0, p_0, p) > 0$，其中 $\Theta = (\kappa_0,\kappa_1,\kappa_b,p_1,q_1,p_2,q_2,d,\alpha)$，使得对任意 PDE (1.8) 的次解 $u$ 和任意 $t \in \mathbb{R}$，有：

$$ \|u^+ \mathbf{1}_{Q_1^I(t)}\|_{L^\infty} + \|\Delta^{\alpha/4}(u^+ \chi_1) \mathbf{1}_{Q_1^I(t)}\|_{L^2} \lesssim_C \|u^+ \mathbf{1}_{Q_2^I(t)}\|_{L^p} + \|\mathrm{Tail}(u^+;1) \mathbf{1}_{[t-2,t]}\|_{L^2_t} + \|\chi_2 f \mathbf{1}_{Q_2^I(t)}\|_{L^{q_0}_t H^{-\beta}_{p_0}}, $$

其中 $I_t := \mathbf{1}_{(-\infty,t]}$，$\chi_j \in C_c^\infty(Q_{2j})$ 非负且在 $Q_j$ 上恒等于 1。

此定理表明，次解的局部最大值可由其 $L^p$ 范数、尾部贡献及源项的弱范数共同控制。

定理 1.6（超解的弱哈纳克不等式）

设 $\alpha \in (0,2)$，$(q_0,p_0) \in I_0^\alpha$，核 $K(t,y)$ 满足 (1.9)，且漂移 $b$ 满足更强的条件 $(H'_b)$：

$$ \kappa_b := \|b \mathbf{1}_{Q_4}\|_{L^2} + \|\mathrm{div}\,b \mathbf{1}_{Q_4}\|_{L^2} + \|b \mathbf{1}_{Q_4}\|_{L^{q_1}_t L^{p_1}_x} + \|\mathrm{div}\,b \mathbf{1}_{Q_4}\|_{L^{q_2}_t L^{p_2}_x} < \infty. $$

则存在 $p_0 > 0$ 和常数 $C = C(\Theta, q_0, p_0) > 0$，使得对任意在 $Q_4$ 上的超解 $u$ 且 $u \mathbf{1}_{Q_4} \geq 0$，有：

$$ \|u \mathbf{1}_{Q^+_{3/2}(-2)}\|_{L^{p_0}} \lesssim_C \inf_{Q^-_{3/2}(2)} u + \|f \mathbf{1}_{Q_2}\|_{L^{q_0}_t L^{p_0}_x} + \|\mathrm{Tail}(u^-;1) \mathbf{1}_{[-2,2]}\|_{L^1_t}. $$

进一步，若 $u$ 是 $Q_4$ 上的解且非负，则成立哈纳克不等式：

$$ \sup_{Q^+_{1}(-2)} u \lesssim_C \inf_{Q^-_{1}(2)} u + \|f \mathbf{1}_{Q_2}\|_{L^{q_0}_t L^{p_0}_x} + \|u \mathbf{1}_{[-4,4]}\|_{L^\infty}. $$

此结果是本文的核心正则性结论：即使在超临界漂移存在下，只要 $b$ 属于适当的临界函数空间，仍能获得类似于经典抛物方程的局部比较原理。

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

a) 核心分析学工具

  1. De Giorgi 迭代方法
    作者采用经典的 De Giorgi 技巧来证明次解的局部有界性。其思想是通过构造一系列截断函数 $\eta_n$ 和水平集 $(u - \kappa_n)_+$，利用能量估计逐层控制振幅增长。关键是验证解属于所谓的 De Giorgi 类 $DG^+(Q)$，即满足形如

    $$ (\sigma - \tau)^\gamma \|(u - \kappa)_+ \mathbf{1}_{Q_\tau}\|_{L^p} \lesssim \sum_i \|(u - \kappa)_+ \mathbf{1}_{Q_\sigma}\|_{L^{p_i}} + A \|\mathbf{1}_{\{u > \kappa\}} \cap Q_\sigma\|_{L^{p_i}} $$

    的不等式。一旦确认 $u \in DG^+(Q)$，即可引用文献 [57] 中的一般定理得出 $L^\infty$ 控制。

  2. Moser 迭代与反向 Hölder 不等式
    对于超解的弱哈纳克不等式，作者使用 Moser 方法，依赖于函数属于 Moser 类 $M_{q_0}(Q)$，即对所有 $q \in (0,q_0)$ 成立：

    $$ (\sigma - \tau)^\gamma \|u^q \mathbf{1}_{Q_\tau}\|_{L^p} \lesssim (q^\beta + 1) \|u^q \mathbf{1}_{Q_\sigma}\|_{L^{p_i}}. $$

    通过对 $u^q$ 进行迭代缩放（令 $\tau_n = \tau + 2^{-n}(\sigma - \tau)$），结合几何级数收敛性，最终得到反向 Hölder 不等式，再配合对数函数的测度估计（见 Lemma 2.6），推出弱哈纳克不等式。

  3. 分数阶 Sobolev 空间与 Bessel 势空间
    文中大量使用 $H^\beta_p$ 空间（Bessel 势空间），其等价范数为：

    $$ \|f\|_{H^\beta_p} \asymp \|f\|_{L^p} + \|\Delta^{\beta/2} f\|_{L^p}, \quad \beta \in (0,2),\ p > 1. $$

    特别地，当源项 $f \in H^{-\beta}_{p_0}$ 时，需借助对偶配对 $\langle f, \varphi \rangle$ 来定义弱解。同时，利用插值不等式（Gagliardo-Nirenberg 型）连接不同空间，例如：

    $$ \|f\|_{H^s_p} \lesssim \|f\|_{H^{s_0}_q}^{1-\theta} \|f\|_{H^{s_1}_r}^\theta, $$

    在能量估计中起到关键作用。

  4. 混合范数空间 $L^q_t L^p_x$ 与标度分析
    由于漂移 $b$ 允许时间依赖且具时空奇异性，作者使用混合勒贝格空间 $L^q_t L^p_x$ 来量化其正则性。通过标度变换：

    $$ u_\lambda(t,x) = u(\lambda^\alpha t, \lambda x), \quad b_\lambda(t,x) = \lambda^{\alpha - 1} b(\lambda^\alpha t, \lambda x), $$

    分析 $\|b_\lambda\|_{L^q_t L^p_x} = \lambda^{\alpha - 1 - \frac{d}{p} - \frac{\alpha}{q}} \|b\|_{L^q_t L^p_x}$，从而确定临界指标为 $\alpha - 1 = \frac{d}{p} + \frac{\alpha}{q}$。这解释了为何选择 $I_0^\alpha$ 作为临界空间。

  5. 非局部能量估计与尾部控制
    利用对称核下的双线性形式 $\mathcal{E}_t^{(\alpha)}(u,u)$，结合测试函数 $\eta^2 u$，推导出局部能量不等式：

    $$ \int |\eta u|^2 dx + \int_0^T \mathcal{E}_t^{(\alpha)}(\eta u, \eta u) dt \lesssim \int |u|^2 |\nabla \eta|^2 dx dt + \text{drift terms}. $$

    关键技巧包括：分离积分区域 $B_R \times B_R$ 与 $B_R \times B_R^c$，并对后者利用尾部项进行估计。

b) 解决技术难题的主要技巧

  1. 处理超临界漂移项 $b \cdot \nabla u$
    当 $\alpha < 1$ 时，$b \cdot \nabla u$ 形式上比 $\Delta^{\alpha/2} u$ 更奇异。作者通过精细估计将其控制在能量框架内。例如，在能量估计中出现项：

    $$ \int (b \cdot \nabla u) \eta^2 u dx, $$

    使用分部积分与 $\mathrm{div}\,b \in L^1_{\mathrm{loc}}$ 假设转化为：

    $$ -\frac{1}{2} \int u^2 \mathrm{div}(b \eta^2) dx, $$

    再用 Hölder 不等式和 Sobolev 嵌入控制。

  2. 克服非局部性带来的长程交互
    非局部算子导致能量估计中出现外部区域贡献：

    $$ \int_{B_R} \int_{B_R^c} (u(x) - u(y)) K(x-y) dy \cdot g(x) dx, $$

    作者通过引入尾部函数 $\mathrm{Tail}(u;r)$ 将其统一表示，并证明其可通过 $\|u\|_{L^p}$ 或 $\|u\|_{L^\infty}$ 控制。这种“尾控”策略是非局部 De Giorgi 理论的关键创新。

  3. 处理分布值源项 $f \in H^{-\beta}_{p_0}$
    传统方法要求 $f \in L^p$，但本文允许 $f$ 为分布。解决方式是将 $\langle f, \eta^2 u \rangle$ 视为对偶配对，并利用嵌入 $L^p \hookrightarrow H^{-\beta}_{p_0}$ 将其估计为 $\|f\|_{H^{-\beta}_{p_0}} \|\eta^2 u\|_{H^\beta_{p'_0}}$，再通过分数阶 Gagliardo-Nirenberg 不等式降阶。

  4. 避免使用热核估计
    许多先前工作依赖于转移密度的精确估计（如两面界）。本文完全避开这一路径，仅基于变分结构与迭代技巧，使结果适用于更广泛的非局部算子（不必是对称稳定过程生成元）。

与之前工作的比较

a) 突破与改进

  1. 首次在超临界漂移下建立哈纳克不等式
    此前关于 $\partial_t u = \Delta^{\alpha/2} u + b \cdot \nabla u$ 的正则性结果多集中于次临界 $\alpha > 1$ 情形（如 [54]）。对于 $\alpha \leq 1$，尤其是 $\alpha < 1$ 的超临界区，仅有弱解存在性或唯一性结果（如 [10,11]）。本文首次在 $\alpha \in (0,2)$ 全范围、特别包含超临界情形下，建立了完整的局部正则性理论，填补了重要空白。

  2. 显著放宽漂移 $b$ 的正则性假设
    经典 DiPerna-Lions 理论要求 $b \in W^{1,1}_{\mathrm{loc}}$，而本文允许 $b \in L^q_t L^p_x$ 满足临界标度条件 $\frac{d}{p} + \frac{\alpha}{q} = \alpha - 1$，这意味着 $b$ 可以非常奇异（如无空间连续性）。相比 [2] 中要求 $\beta > 1 - \alpha$ 的 Hölder 连续性，本文在临界指数 $\beta = 1 - \alpha$ 下仍有效。

  3. 允许分布值源项 $f$
    大多数哈纳克不等式要求 $f$ 有界或可积，而本文允许 $f \in H^{-\beta}_{p_0}$，即可以是 Dirac 测度或更广义的分布。这极大拓展了适用范围，尤其适合处理初始数据为测度的情形（如 Navier-Stokes 中的点涡）。

  4. 无需热核先验估计
    如 Felsinger-Kassmann [21] 和 Kassmann-Weidner [29] 的工作依赖于热核的两面界或 Moser 迭代中的特定构造。本文完全基于纯变分方法（De Giorgi-Moser 框架），适用于更一般的非局部算子（只要满足核的双侧界），增强了普适性。

  5. 应用于多个长期开放问题
    本文不仅是理论推进，更是解决了若干公开问题：

    • 临界随机准地转方程（$\alpha=1$）的适定性此前未知（见 [46,6]），本文给出肯定回答；
    • 二维分数 Navier-Stokes 方程在初始涡度为测度时的弱解存在性，推广了 [24,58] 的结果至 $\alpha \in (1,2)$；
    • 临界 SDE 的广义鞅问题适定性，完善了 [53] 的理论体系。

综上，本文通过发展一套适用于超临界非局部算子的 De Giorgi-Moser 理论，在更低正则性、更强奇异性条件下实现了对解的精细控制，标志着非局部正则性理论的重大进展。

4. Vanishing viscosity limit of the 2D stationary Navier-Stokes equations outside a rotating disc and its application

旋转圆盘外部二维定常Navier-Stokes方程的粘性消失极限及其应用

作者: Xinghong Pan, Jiangfeng Zhao

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.12953v1

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

详细分析

中文标题: 旋转圆盘外部二维定常Navier-Stokes方程的粘性消失极限及其应用

研究对象和背景

本文研究的是二维定常不可压缩Navier-Stokes方程在单位圆盘外部区域 $\Omega = \mathbb{R}^2 \setminus B$ 上的粘性消失极限问题，其中 $B$ 是以原点为中心的单位圆盘。该系统描述了粘性流体在无限平面中绕一个缓慢旋转的刚体圆盘流动的稳态行为。当粘性系数 $\epsilon^2 > 0$ 趋于零时，即雷诺数趋于无穷大，人们期望解收敛到相应的理想流体（Euler）方程的解。然而，由于边界条件不匹配——Navier-Stokes方程满足无滑移边界条件，而Euler方程仅要求法向速度为零——这一极限过程存在深刻的数学困难，尤其是在有边界的情况下。

考虑如下定常Navier-Stokes系统：

$$ \begin{cases} u^\epsilon \cdot \nabla u^\epsilon + \nabla p^\epsilon - \epsilon^2 \Delta u^\epsilon = 0, \\ \nabla \cdot u^\epsilon = 0, \end{cases} \quad \text{in } \Omega = \mathbb{R}^2 \setminus B, $$

边界条件为：

$$ u^\epsilon \cdot \tau \big|_{\partial B} = \omega + \delta f(\theta), \quad u^\epsilon \cdot n \big|_{\partial B} = 0, \quad u^\epsilon \to 0 \quad \text{as } |(x,y)| \to \infty. $$

这里 $u^\epsilon = (u,v)$ 是流体速度场，$p^\epsilon$ 是压力，$\epsilon^2$ 是粘性系数，$\omega > 0$ 是主旋转速度，$\delta$ 是一个小参数，表示对刚体旋转的小扰动，$f(\theta)$ 是定义在边界 $\partial B$ 上的光滑 $2\pi$-周期函数。$n$ 和 $\tau$ 分别是边界的外法向和切向单位向量。

由于几何结构具有旋转对称性，作者将问题转换到极坐标系 $(r,\theta)$ 下进行分析。设 $x = r\cos\theta$, $y = r\sin\theta$，引入极坐标下的正交基：

$$ e_r = (\cos\theta, \sin\theta), \quad e_\theta = (-\sin\theta, \cos\theta), $$

并令速度场分解为：

$$ u = u e_\theta + v e_r, $$

其中 $u$ 是切向分量，$v$ 是径向分量。则原系统可重写为：

$$ \begin{cases} u_\epsilon \partial_\theta u_\epsilon + v_\epsilon \partial_r u_\epsilon + \frac{1}{r}(u_\epsilon v_\epsilon - 2u_\epsilon v_\epsilon) + \partial_\theta p_\epsilon - \epsilon^2 \left( \Delta u_\epsilon - \frac{u_\epsilon}{r^2} \right) = 0, \\ u_\epsilon \partial_\theta v_\epsilon + v_\epsilon \partial_r v_\epsilon + \frac{1}{r}(v_\epsilon^2 - u_\epsilon^2) + \partial_r p_\epsilon - \epsilon^2 \Delta v_\epsilon = 0, \\ \frac{1}{r}\partial_\theta u_\epsilon + \partial_r (r v_\epsilon) = 0, \end{cases} $$

边界条件变为：

$$ u_\epsilon(\theta,1) = \omega + \delta f(\theta), \quad v_\epsilon(\theta,1) = 0, \quad u_\epsilon, v_\epsilon \to 0 \quad \text{as } r \to \infty. $$

目标是研究当 $\epsilon \to 0$ 时，解 $(u^\epsilon, v^\epsilon)$ 是否收敛到某个合适的稳态Euler流。形式上，令 $\epsilon \to 0$ 得到对应的欧拉方程：

$$ \begin{cases} u^e \cdot \nabla u^e + \nabla p^e = 0, \\ \nabla \cdot u^e = 0, \end{cases} \quad \text{in } \Omega, $$

且满足 $u^e \cdot n|_{\partial B} = 0$, $u^e \to 0$ 当 $r \to \infty$。

关键挑战在于：在外部区域中，稳态Euler方程可能有无穷多个解，如何选择“物理上正确”的极限解？本文基于Prandtl-Batchelor理论，提出极限解应是一个切向剪切流，其涡度在闭合流线内为常数。对于无驻点（即 $|u^e| > 0$）的情形，文献 [44, Theorem 1.3] 表明唯一可能的形式是Taylor-Couette型流动：

$$ u^e = \frac{A}{r} e_\theta, $$

其中常数 $A$ 由 Batchelor-Wood公式 决定。其原理是：极限Euler流的切向速度平方在边界上的平均值，应等于Navier-Stokes解在边界上的相应平均值。即：

$$ \frac{1}{2\pi} \int_0^{2\pi} \left( \omega + \delta f(\theta) \right)^2 d\theta = \frac{A^2}{1^2} \Rightarrow A = \tilde{\omega} := \sqrt{ \frac{1}{2\pi} \int_0^{2\pi} (\omega + \delta f(\theta))^2 d\theta }. $$

因此，极限解被选为 $u^e = \tilde{\omega}/r \, e_\theta$。

此外，由于粘性效应集中在靠近边界的薄层中（即边界层），作者采用匹配渐近展开法构造近似解，包含一个远离边界的Euler部分和一个靠近 $r=1$ 的边界层部分。边界层变量为 $\zeta = (r-1)/\epsilon$，并导出了主导阶的边界层方程：

$$ \begin{cases} \tilde{\omega} \partial_\theta u_p^{(0)} + v_p^{(1)} \partial_\zeta u_p^{(0)} - \partial_\zeta^2 u_p^{(0)} = 0, \\ \partial_\theta u_p^{(0)} + \partial_\zeta (r v_p^{(1)}) = 0, \\ u_p^{(0)}(\theta,0) = \omega + \delta f(\theta) - \tilde{\omega}, \quad v_p^{(1)}(\theta,0) = 0, \\ u_p^{(0)}, v_p^{(1)} \to 0 \quad \text{as } \zeta \to \infty. \end{cases} $$

此系统的适定性将在文中命题4.2中建立。

研究区域为非紧的外部域 $\mathbb{R}^2 \setminus B$，这带来了无穷远处衰减估计的技术难点；边界条件是非齐次的旋转流加小扰动；函数空间方面，作者使用加权 $L^p$ 和 $H^k$ 空间，并通过变量替换 $s = \ln r$ 将无穷远衰减转化为指数衰减，便于能量估计。

主要定理或主要结果

定理 1.1 （粘性消失极限与边界层有效性）

假设 $f(\theta)$ 是光滑的 $2\pi$-周期函数，则存在常数 $\epsilon_0 > 0$ 和 $\delta_0 > 0$，使得对任意 $\epsilon \in (0, \epsilon_0]$ 和 $\delta \in (0, \delta_0]$，系统 (1.4) 存在一个解 $(u_\epsilon, v_\epsilon)$ 满足：

$$ \left| u_\epsilon(\theta,r) - (\tilde{\omega} + O(\epsilon\delta)) r^{-1} - u_p^{(0)}(\theta, \zeta) \chi(r) \right| + |v_\epsilon(\theta,r)| \leq C \epsilon \delta r^{-2}, $$

其中 $\zeta = (r-1)/\epsilon$，$O(\epsilon\delta)$ 是一个与 $\epsilon\delta$ 同阶的常数，$\chi(r) \in C^\infty([1,+\infty))$ 是截断函数，满足：

$$ \chi(r) = \begin{cases} 1, & r \in [1,2], \\ 0, & r \geq 3, \end{cases} $$

常数 $C$ 与 $\epsilon$ 和 $\delta$ 无关。

结论说明：该定理表明，当粘性足够小、扰动足够小时，Navier-Stokes方程的解可以很好地用“外部Euler流 + 边界层修正”来逼近，且误差在空间无穷远处以 $r^{-2}$ 衰减。这验证了边界层展开的有效性，并确立了粘性消失极限的存在性。

推论 / 应用：定理 1.3 （大旋转扰动下的存在性）

考虑固定粘性（取 $\epsilon = 1$）但边界旋转速度很大的情形：

$$ u \cdot \tau|_{\partial B} = \lambda + \lambda \delta f(\theta), \quad u \cdot n|_{\partial B} = 0, \quad u \to 0 \quad \text{as } r \to \infty. $$

则存在常数 $\lambda_0 > 0$ 和 $\delta_0 > 0$（彼此独立），使得对任意 $\lambda \geq \lambda_0$ 和 $\delta \leq \delta_0$，系统存在解 $u$ 满足：

$$ |u \cdot e_\theta - \tilde{\lambda} r^{-1}| \lesssim C \lambda \delta r^{-2}, \quad |u \cdot e_r| \leq C \sqrt{\lambda \delta} \, r^{-2}, $$

其中 $\tilde{\lambda} \approx \lambda$，常数 $C$ 与 $\lambda$ 无关。

意义：这是对经典二维外域问题（Yudovich Problem 2a）的部分回答。以往结果多限于小数据或特定结构，而本文通过尺度变换 $u_\lambda = u/\lambda$ 并应用定理1.1，证明了即使边界条件为“大扰动”（$\lambda$ 大），只要相对扰动 $\delta$ 小，仍存在“大解”。

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

a) 核心分析工具

  1. 高阶渐近展开与近似解构造
    作者首先构造一个高阶近似解 $(u_a, v_a)$，它由三部分组成：

    • Euler部分 $(u_e, v_e)$：调和函数，主项为 $\tilde{\omega}/r$，其余按Fourier模 $r^{-(|n|+1)}$ 衰减；
    • 边界层部分 $(u_p, v_p)$：依赖于缩放变量 $\zeta = (r-1)/\epsilon$，捕捉边界附近快速变化；
    • 修正项 $\epsilon^{22} h(\theta,r)$：用于消除残差中的高阶项。

    近似解满足控制良好的残差估计：

    $$ \| \partial_\theta^i \partial_r^j R_u^a \|_{L^\infty} + \| \partial_\theta^i \partial_r^j R_v^a \|_{L^\infty} \leq C_{i,j} \epsilon^{22 - j} r^{-4}. $$

  2. 误差方程与线性化稳定性分析
    设误差 $(u,v,p) = (u^\epsilon - u_a, v^\epsilon - v_a, p^\epsilon - p_a)$，则其满足线性强迫Navier-Stokes系统。为处理压力项，作者利用不可压条件将其转化为涡度-流函数形式。

    定义涡度 $\omega = v_\theta - (r u)_r / r$，消去压力后得到：

    $$ -\epsilon^2 r \Delta \omega + (u_a \partial_\theta + r v_a \partial_r) \omega + (u \partial_\theta + r v \partial_r) \omega_a = R_{\text{comb}}. $$

    再引入流函数 $\Phi$ 满足：

    $$ \Phi_r = u, \quad \Phi_\theta = -r v, \quad -\Delta \Phi = \omega, $$

    则方程变为四阶椭圆型方程：

    $$ \epsilon^2 r \Delta^2 \Phi - (u_a \partial_\theta + r v_a \partial_r) \Delta \Phi + (u \partial_\theta + r v \partial_r) \Delta \Phi_a = R_{\text{comb}}. $$

  3. 变量替换 $s = \ln r$ 与加权能量估计
    为了克服无穷远衰减不足的问题，作者引入新变量 $s = \ln r$，并将所有函数延拓为 $(\theta, s)$ 的函数。此时 $r \to \infty$ 对应 $s \to \infty$，而 $r^{-2}$ 衰减对应于 $e^{-2s}$ 衰减。

    在新变量下，误差方程变为：

    $$ \epsilon^2 e^{-s} \left[ \Delta_s^2 \hat{\Phi} - 4 \Delta_s \hat{\Phi}_s + 4 \hat{\Phi}_{ss} \right] - (\hat{u}_a \partial_\theta + \hat{v}_a \partial_s) \Delta_s \hat{\Phi} + \cdots = \hat{R}_{\text{comb}}, $$

    其中 $\Delta_s = \partial_\theta^2 + \partial_s^2$。

    关键思想是进行加权能量估计，针对不同Fourier模使用不同权重：

    • 对高频模（$k \geq 2$）和一频模（$k=1$），分别乘以 $e^{3s} \hat{\Phi}_{h,\theta}$ 和 $e^{2s} \hat{\Phi}_{1,\theta}$ 后积分，获得 $e^{-2s}$ 衰减；
    • 对零频模 $\hat{\Phi}_0$，通过对 $\theta$ 积分平均得到二阶ODE：
      $$ \epsilon^2 (\hat{u}_{0,ss} - \hat{u}_{0,s}) = S_{\hat{u}_0} - R_{\hat{u}_0}, $$
      再乘以 $-e^s \hat{\Phi}_{0,s} + e^s \hat{\Phi}_0$ 进行估计。

  4. 高阶加权 $H^k$ 估计与局部正则性提升
    为进一步获得 $L^\infty$ 控制，需更高阶估计。作者依次进行：

    • $H^2$ 加权估计（涉及 $\hat{\Phi}_{h,\theta\theta}, \hat{\Phi}_{1,\theta\theta}$）；
    • $H^3$ 加权估计（通过乘以 $\epsilon^4 e^{3s} \hat{\Phi}_{h,\theta\theta\theta\theta}$ 等）；
    • 使用 Bogovski算子 和区域切割粘贴技术 获得压力的加权 $L^2$ 估计，从而控制 $\hat{\Phi}_{0,sss}$；
    • 最终通过乘以 $-e^{3s} (\Delta_s \hat{\Phi}_1)_s + (\Delta_s \hat{\Phi}_1)_\theta$ 得到：
      $$ \epsilon^{20} \| (\Delta_s \hat{\Phi}_1)_s \|^2 + \epsilon^{18} \| (\Delta_s \hat{\Phi}_1)_\theta \|^2 \lesssim \cdots, $$
      这蕴含 $\hat{u}_1, \hat{v}_1 \lesssim e^{-2s}$，即原始变量中 $u_1, v_1 \lesssim r^{-2}$。

  5. 压缩映射原理
    在完成所有线性误差系统的先验加权估计后，作者将非线性误差系统视为扰动，利用标准的压缩映射定理在适当的加权Sobolev空间中证明误差解的存在唯一性，从而闭环论证。

b) 技术性难题的处理技巧

  • 边界层与外部流的匹配：通过截断函数 $\chi(r)$ 实现光滑拼接，避免直接匹配带来的奇异性。
  • 非线性项的控制：利用近似解的良好衰减性质（如 $\partial_r u_a \sim r^{-2}$），结合Leibniz法则和Gronwall-type估计控制非线性耦合项。
  • 零频与非零频的分离处理：Fourier零模满足退化方程，必须单独处理；非零模可通过加权估计获得足够衰减。
  • 高阶导数的局部估计需求：为闭合高阶能量估计，需局部 $H^4$ 正则性，通过Bogovski引理和区域分解实现。

与之前工作的比较

a) 突破与改进

本文的主要突破体现在以下几个方面：

  1. 回答Yudovich公开问题
    论文明确指出其结果部分解决了V.I. Yudovich提出的“十一伟大问题”中的第11b题：“确定当粘性趋于零时Navier-Stokes方程稳态解的极限”。此前多数工作集中于非稳态或内部区域，本文首次在二维外域中严格建立了粘性消失极限，并验证了Prandtl-Batchelor理论的预测。

  2. 推广边界条件类型
    以往关于边界层有效性的研究（如Guo-Nguyen, Iyer等）多集中于平板或小宽度区域，边界条件为平移运动。本文处理的是旋转圆盘上的非零刚体旋转加小扰动，更具物理现实性（如涡轮机、旋转机械）。

  3. 处理非剪切型Euler流
    多数Prandtl层分析假设极限Euler流为剪切流（如 $U(y)$）。本文的极限流 $u^e = A/r \, e_\theta$ 是径向依赖的旋转流，其梯度结构更复杂，导致线性算子的特征分析更为困难。

  4. 获得精确的空间衰减率
    作者不仅证明了解的存在，还给出了明确的无穷远衰减速率 $r^{-2}$，并通过变量替换和精细加权估计实现了这一点，优于许多仅给出弱收敛或 $L^2$ 估计的工作。

  5. 从粘性极限反推大解存在性
    通过尺度变换，将小粘性极限结果应用于固定粘性下的大旋转问题，从而证明了大边界数据下的解存在性，这对经典外域问题（Problem 2a）提供了新的视角——不要求数据小，而是要求“相对扰动小”。

  6. 无需解析性假设
    相比于非稳态Prandtl方程需初始数据解析才能保证适定性（如[11,31]），本文在光滑但非解析的数据下完成了稳态分析，属于Sobolev框架内的成果，更具普适性。

综上所述，本文在稳态粘性消失极限、边界层理论、外域流体问题等多个方向取得了实质性进展，特别是在物理动机、数学严谨性和结果强度之间达到了良好平衡。

5. Helical vortex filaments with compactly supported cross-sectional vorticity for the incompressible Euler equations in $\mathbb{R}^3$

三维空间中不可压缩欧拉方程具有紧支横截涡量的螺旋涡丝

作者: Averkios Averkiou, Monica Musso

类别: math.AP

发布日期: 2025-11-15

arXiv ID: 2511.12296v1

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

详细分析

中文标题: 三维空间中不可压缩欧拉方程具有紧支横截涡量的螺旋涡丝

研究对象和背景

本文研究的是三维全空间 $\mathbb{R}^3$ 中不可压缩、无粘性（inviscid）流体的运动，其动力学由经典的 Euler 方程 描述。该系统的数学形式在论文引言第1页中以涡量形式给出：

$$ \begin{cases} \partial_t \vec{\omega} + (\vec{u} \cdot \nabla) \vec{\omega} = (\vec{\omega} \cdot \nabla) \vec{u}, & \text{in } \mathbb{R}^3 \times (0,T), \\ \vec{u} = \nabla \times \vec{\psi}, \quad -\Delta \vec{\psi} = \vec{\omega}, & \text{in } \mathbb{R}^3 \times (0,T), \\ \vec{\omega}(\cdot, 0) = \nabla \times \vec{u}_0, & \text{in } \mathbb{R}^3. \end{cases} $$

其中：

  • $\vec{u}: \mathbb{R}^3 \times [0,T) \to \mathbb{R}^3$ 是速度场；
  • $\vec{\omega} = \nabla \times \vec{u}$ 是涡量场（vorticity field），刻画流体局部旋转；
  • $\vec{\psi}$ 是向量型流函数（stream function），通过泊松方程与涡量关联。

该系统描述了密度恒定、无粘性的理想流体演化。由于缺乏耗散项（如 Laplacian），Euler 方程的解通常表现出复杂的非线性行为，尤其是在高雷诺数或初始涡量高度集中时。

本工作的核心关注点是所谓的涡丝（vortex filament）现象：即涡量在三维空间中被高度集中于一条细长的管状区域内，围绕某条光滑曲线（称为“涡丝中心线”）分布。这种结构广泛存在于自然界，例如龙卷风、飞机翼尖涡等。从数学上，人们期望当涡丝半径 $\varepsilon \to 0$ 时，其动态应趋近于某种几何演化方程。

一个著名的猜想是涡丝猜想（vortex filament conjecture）：若初始涡量集中在一条按binormal flow演化的曲线附近，则此集中性将在未来一段时间内保持。所谓 binormal flow 指的是曲线沿其副法向方向以曲率大小为速度移动，具体形式如下：

$$ \partial_\tau \gamma = 2\bar{c} \kappa \mathbf{B}, $$

其中 $\gamma(s,\tau)$ 是弧长参数化的曲线，$\kappa$ 是曲率，$\mathbf{B}$ 是单位副法向量，$\bar{c}$ 是环流量常数。这一模型最早由 Da Rios 和 Levi-Civita 形式推导得出，并类比二维点涡系统的 Helmholtz-Kirchhoff 动力学。

本文聚焦于一类具有螺旋对称性（helical symmetry） 的特殊涡丝——螺旋涡丝（helical vortex filaments）。这类解在物理上对应绕轴旋转并同时平移的涡结构。作者特别考虑**无旋分量（no swirl）**的情形，即速度场正交于螺旋方向。

为了利用对称性简化问题，论文引入了螺旋对称的概念：设 $h > 0$，定义旋转矩阵 $R_\theta$ 和提升旋转矩阵 $Q_\theta$ 如下：

$$ R_\theta = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}, \quad Q_\theta = \begin{pmatrix} \cos\theta & -\sin\theta & 0 \\ \sin\theta & \cos\theta & 0 \\ 0 & 0 & 1 \end{pmatrix}. $$

一个标量函数 $f: \mathbb{R}^3 \to \mathbb{R}$ 或向量场 $\vec{F}: \mathbb{R}^3 \to \mathbb{R}^3$ 称为具有螺旋对称性，如果对所有 $\theta \in \mathbb{R}$，满足：

$$ f(R_\theta x', x_3 + h\theta) = f(x), \quad \vec{F}(R_\theta x', x_3 + h\theta) = Q_\theta \vec{F}(x), $$

其中 $x = (x', x_3) \in \mathbb{R}^2 \times \mathbb{R}$。这表示函数/场在沿螺旋方向 $( -x_2, x_1, h )$ 平移的同时进行旋转后保持不变。

在此对称假设下，结合“无旋”条件 $\vec{u} \cdot \vec{\xi} = 0$，其中 $\vec{\xi}(x) = (-x_2, x_1, h)$ 是生成螺旋对称的向量场，Ettinger 与 Titi 证明了原三维 Euler 系统可约化为一个二维输运方程。令 $t = |\log\varepsilon|^{-1} \tau$ 为慢时间尺度，定义二维标量涡量 $w(x', \tau)$，则其满足：

$$ \begin{cases} |\log\varepsilon| \partial_\tau w + \nabla^\perp \psi \cdot \nabla w = 0, & \text{in } \mathbb{R}^2 \times (-\infty, +\infty), \\ -\mathrm{div}(K \nabla \psi) = w, & \text{in } \mathbb{R}^2 \times (-\infty, +\infty), \end{cases} $$

其中 $(a,b)^\perp = (b, -a)$，系数矩阵 $K(x_1,x_2)$ 定义为：

$$ K(x_1,x_2) = \frac{1}{h^2 + x_1^2 + x_2^2} \begin{pmatrix} h^2 + x_2^2 & -x_1 x_2 \\ -x_1 x_2 & h^2 + x_1^2 \end{pmatrix}. $$

这个算子 $L_x := \nabla \cdot (K \nabla \cdot)$ 是退化椭圆算子，其系数依赖于位置，且在 $|x| \to \infty$ 时趋于各向异性，不能直接使用标准椭圆理论处理。

目标是构造一个全局光滑解 $\vec{\omega}_\varepsilon(x,\tau)$，其涡量在横截面上具有紧支集（compactly supported），并且始终被限制在一个直径约为 $\varepsilon$ 的螺旋管内。这意味着对于任意时刻 $\tau$，存在常数 $C_1, C_2 > 0$，使得：

$$ C_1 \varepsilon \leq \mathrm{diam}\left( \mathrm{supp}\, \vec{\omega}_\varepsilon \cap \{\mathbb{R}^2 \times \{0\}\} \right) \leq C_2 \varepsilon. $$

这比以往结果更强，因为许多先前工作仅能得到 $L^1$ 控制或在有限时间内成立，而本文实现了全局时间上的强集中性和横截面紧支性。

此外，本文所研究的区域是整个 $\mathbb{R}^3$，而非有界域或无限管道，因此无法依赖紧嵌入或周期边界条件。函数空间方面，虽然未明确写出，但从构造过程可知，解属于适当的 Sobolev 空间（如 $H^1_{\mathrm{loc}}$），并通过内-外拼接法（Inner–Outer gluing scheme） 构造精确解。

主要定理或主要结果

定理 1（单个螺旋涡丝的存在性）

设 $r_0 > 0$, $h > 0$，考虑由下式参数化的螺旋曲线 $G(\tau)$：

$$ \gamma(s,\tau) = \begin{pmatrix} r_0 \cos\left( \frac{s - \sigma_1 \tau}{\sqrt{h^2 + r_0^2}} \right) \\ r_0 \sin\left( \frac{s - \sigma_1 \tau}{\sqrt{h^2 + r_0^2}} \right) \\ \frac{h s + \sigma_2 \tau}{\sqrt{h^2 + r_0^2}} \end{pmatrix}, \quad \sigma_1 = \frac{2\bar{c} h}{r_0^2 + h^2},\quad \sigma_2 = \frac{2\bar{c} r_0^2}{r_0^2 + h^2}. $$

记 $R_\theta$, $Q_\theta$ 为前述旋转矩阵。则存在常数 $c > 0$ 和一个光滑的全局时间解 $\vec{\omega}_\varepsilon(x,\tau)$ 到 Euler 方程 (1.1)，其横截涡量在 $\mathbb{R}^2$ 上具有紧支集，且对所有 $\tau \in \mathbb{R}$ 满足：

  1. 螺旋对称性：

    $$ \vec{\omega}_\varepsilon(x,\tau) = Q_{\sigma_1 \tau} \vec{\omega}_\varepsilon\left( R_{-\sigma_1 \tau} x', x_3 + \sigma_2 \tau, 0 \right), $$

    $$ \vec{\omega}_\varepsilon(x,\tau) = \vec{\omega}_\varepsilon\left( x', x_3 + 2\pi h, \tau \right); $$

  2. 集中性：当 $\varepsilon \to 0$ 时，

    $$ \vec{\omega}_\varepsilon\left( x, |\log\varepsilon|^{-1} \tau \right) \rightharpoonup c \delta_{G(\tau)} \mathbf{T}_{G(\tau)}, $$

    在测度意义下收敛，其中 $\delta_{G(\tau)}$ 是支撑在曲线 $G(\tau)$ 上的 Dirac 测度，$\mathbf{T}_{G(\tau)}$ 是其单位切向量。

定理 2（多涡丝构型的存在性）

设 $r_0 > 0$, $h > 0$，整数 $k \geq 2$。定义 $k$ 条螺旋曲线 $G_j(\tau)$，其参数化为：

$$ \gamma_j(s,\tau) = Q_{\frac{2\pi(j-1)}{k}} \gamma(s,\tau), \quad j=1,2,\dots,k. $$

即这些螺旋围绕同一轴、等距分布在正 $k$ 边形顶点上。则存在常数 $c > 0$ 和一个光滑全局解 $\vec{\omega}_\varepsilon(x,\tau)$，其横截涡量支撑在一个有限个紧球的并集上，满足类似的对称性和集中性条件，且当 $\varepsilon \to 0$ 时：

$$ \vec{\omega}_\varepsilon\left( x, |\log\varepsilon|^{-1} \tau \right) \rightharpoonup c \sum_{j=1}^k \delta_{G_j(\tau)} \mathbf{T}_{G_j(\tau)}. $$

这两个定理共同构成了本文的核心成果：首次在 $\mathbb{R}^3$ 全空间中构造出具有紧支横截涡量的光滑、全局存在的螺旋涡丝解，且可推广至多涡丝构型。

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

a) 核心分析工具

  1. 内-外拼接法（Inner–Outer Gluing Scheme）
    这是本文最核心的技术框架。其思想是将整体解分解为两个部分：

    • 内部解（inner solution）：在涡丝核心区域（$|z| < \delta$）用精细局部模型逼近；
    • 外部解（outer solution）：在远离核心的区域通过全局修正项控制误差。 两者通过一个截断函数 $\eta_\delta$ 连接，在重叠区匹配渐近行为。这种方法允许分别处理奇异性与长程影响。

  2. 奇异摄动方法（Singular Perturbation Methods）
    由于小参数 $\varepsilon$ 出现在非线性项前（通过 $|\log\varepsilon|$ 调控时间尺度），问题本质是非均匀扰动。作者通过构造一个近似格林函数来捕捉局部奇异性，并逐阶消除误差项。

  3. 非线性选择与紧支解构造
    关键一步是选取合适的非线性项 $f$，使得对应的涡量 $W = f(\Psi - \frac{\alpha}{2}|\log\varepsilon||x|^2)$ 具有紧支集。作者采用：

    $$ f(s) = \frac{1}{\varepsilon^2} \left( s + \nu'(1)|\log\varepsilon| \right)_+^\gamma, \quad \gamma > 3, $$

    其中 $\nu(r)$ 是经典 Lane-Emden 方程 $\Delta \nu + \nu^\gamma = 0$ 在单位球内的径向基态解，且 $\nu'(1) < 0$。由于 $(\cdot)_+$ 的存在，当内部表达式小于零时 $f=0$，从而自然产生紧支集。

  4. 线性化算子分析与非退化性（Nondegeneracy）
    在求解投影线性问题时，需研究线性化算子：

    $$ \mathcal{L}[\phi] = \Delta_z \phi + \gamma \Gamma^{\gamma-1} \phi, $$

    其中 $\Gamma$ 是径向解。Dancer–Yan 的非退化结果表明，在有界函数类中，核仅为 $\partial_{y_i} \Gamma$。但本文中因解在无穷远处呈对数增长，引入额外的径向零模 $Z_0 = O(\log|y|)$，导致内-外耦合增强，增加了技术难度。

  5. 固定点论证（Fixed Point Argument）
    在完成线性理论（Sections 5–6）后，作者通过 Banach 不动点定理证明存在唯一小解 $\phi$ 满足非线性扰动方程，从而将近似解提升为精确解。

b) 技术难点与应对技巧

  1. 变系数退化椭圆算子的局部化处理
    原始算子 $L_x = \nabla \cdot (K \nabla \cdot)$ 系数非常数且各向异性。作者引入各向异性缩放变换：

    $$ x - P = A[P] z, \quad A[P] = \begin{pmatrix} \frac{h}{\sqrt{h^2 + r_0^2}} & 0 \\ 0 & 1 \end{pmatrix}, $$

    使 $K(P)$ 正规化为单位阵，从而将 $L_x$ 展开为 $\Delta_z + B_0$，其中 $B_0$ 是低阶微分算子。这使得可在 $z$ 变量下使用接近标准 Laplace 的分析。

  2. 误差项的逐阶消除
    在构造近似流函数 $\Psi_\alpha$ 时，作者逐步添加修正项以抵消主导误差：

    • 加入 $c_1 z_1 \hat{\Gamma}_\varepsilon$ 消除一阶误差；
    • 加入 $c_2 |z|^2 \hat{\Gamma}_\varepsilon$ 消除二阶误差；
    • 引入角向修正 $H_{1\varepsilon}(z) = h_{1\varepsilon}(|z|)\cos(3\theta)$ 解决三阶共振项。

  3. 全局延拓与 Poisson 方程修正
    将局部近似延拓到 $\mathbb{R}^2$ 时，误差 $g(x)$ 具有紧支集。通过求解全局 Poisson 型方程：

    $$ L_x H_{2\varepsilon} + g(x) = 0, $$

    得到修正项 $H_{2\varepsilon}$，其满足多项式增长估计 $|H_{2\varepsilon}| \leq C_\delta (1 + |x|^2)$，确保整体解良好定义。

  4. 旋转速度 $\alpha$ 的精细调整
    为使最终解闭合，必须适当选择旋转频率 $\alpha$。作者设：

    $$ \alpha = -\frac{\nu'(1)}{2(h^2 + r_0^2)} + \tilde{\alpha}, \quad \tilde{\alpha} = O(|\log\varepsilon|^{-1}), $$

    使得主误差项在 Taylor 展开中相消，这是实现精确解的关键一步。

与之前工作的比较

a) 突破与改进

  1. 首次在 $\mathbb{R}^3$ 中构造出具有紧支横截涡量的光滑螺旋涡丝
    此前关于螺旋涡丝的工作多局限于：

    • 有界螺旋域（如 [17]）：虽能保持集中性，但横截涡量仅支撑在薄环形区域，且缺乏一致时间估计；
    • 无限管道（如 [8]）：使用变分方法，但难以推广至全空间，因算子 $L_x$ 失去一致椭圆性；
    • 非光滑涡块（vortex patches）（如 [4,6]）：解不具备光滑性。

    本文突破了这些限制，在 $\mathbb{R}^3$ 中实现了光滑、紧支、全局存在的解。

  2. 强集中性优于现有结果
    文献 [17] 仅在有限时间区间 $[0,T]$ 内获得径向集中，流向仅有 $L^1$ 控制；而本文通过紧支非线性构造，实现了双向强集中（径向与流向），且对所有时间成立。

  3. 支持多涡丝构型，允许相同半径
    [17] 要求不同涡丝具有不同半径以避免共振，排除了正多边形排布。本文通过对称性设计，成功构造了 $k$ 个等半径螺旋沿正 $k$ 边形排列的稳定构型（Theorem 2），更贴近物理现实。

  4. 无需正交性约束
    早期工作常要求速度场与螺旋方向正交（“no swirl”）。虽然本文也采用此假设以简化约化，但其方法本身更具灵活性，后续工作（如 [36]）已尝试去除该限制。

  5. 改进渐近精度
    相较于仅提供弱收敛的变分法，本文通过拼接法获得了精细渐近展开，包括误差估计 $\varepsilon^2 S(\Psi_\alpha) \leq C \varepsilon |y| \Gamma_+^\gamma$，揭示了内部结构细节。

综上所述，本文不仅解决了长期悬而未决的全空间螺旋涡丝构造问题，还发展了一套适用于非均匀、退化椭圆系统的新型拼接技术，为高维集中结构的研究提供了新范式。

6. Uniformly rotating Euler flows with compactly supported velocity

具有紧支集速度的匀速旋转欧拉流

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

类别: math.AP

发布日期: 2025-11-15

arXiv ID: 2511.12293v1

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

详细分析

中文标题: 具有紧支集速度的匀速旋转欧拉流

研究对象和背景

本文研究的是二维不可压缩欧拉方程（2D incompressible Euler equations）的匀速旋转解，其核心特征在于：这些解的速度场具有紧支集（compactly supported），即在空间中某一大球外恒为零。这与以往大多数旋转解的研究形成鲜明对比——传统模型中的速度通常以 $1/|x|$ 衰减于无穷远处，导致总能量无限。而本文首次构造出既光滑、又具有有限能量且非局部径向对称的旋转解。

二维不可压缩欧拉方程描述理想平面流体的运动，其标准形式如下：

$$ \begin{cases} \partial_t v + v \cdot \nabla v + \nabla p = 0 & \text{in } \mathbb{R}^2 \times (0,T), \\ \mathrm{div}\, v = 0 & \text{in } \mathbb{R}^2 \times (0,T), \\ v(\cdot, 0) = v_0 & \text{in } \mathbb{R}^2. \end{cases} $$

其中 $v(x,t)$ 是速度场，$p(x,t)$ 是压力函数，初始速度 $v_0$ 是一个给定的散度自由向量场。由于 $\mathrm{div}\,v=0$，我们可以引入流函数 $\psi$，使得 $v = \nabla^\perp \psi := (-\partial_{x_2} \psi, \partial_{x_1} \psi)$。进一步地，定义涡量 $\omega := \nabla^\perp \cdot v = \Delta \psi$，则原系统可转化为涡量输运方程：

$$ \begin{cases} \partial_t \omega + v \cdot \nabla \omega = 0 & \text{in } \mathbb{R}^2 \times (0,T), \\ \omega(\cdot, 0) = \omega_0 & \text{in } \mathbb{R}^2, \end{cases} $$

其中速度通过 Biot-Savart 定律由涡量恢复：$v = \nabla^\perp \Delta^{-1} \omega$。

本文关注一类特殊的时间演化解——匀速旋转解（uniformly rotating solutions），即满足

$$ v(x,t) = R_{-\Omega t} v_0(R_{\Omega t} x) $$

的形式，其中 $R_\alpha$ 表示顺时针旋转角度 $\alpha$ 的矩阵，$\Omega \in \mathbb{R}$ 为常数角速度。等价地，涡量满足 $\omega(x,t) = \omega_0(R_{\Omega t} x)$。这类解的动力学本质上是刚体旋转。

可以证明，初始速度 $v_0$ 生成这样的旋转解当且仅当它满足稳态条件：

$$ (v_0 - \Omega x^\perp) \cdot \nabla \omega_0 = 0 \quad \text{in } \mathbb{R}^2, $$

其中 $x^\perp = (-x_2, x_1)$。借助流函数 $\psi$ 和变换后的函数 $\phi(x) := \psi(x) - \frac{\Omega}{2}|x|^2$，上述条件可重写为：

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

这个方程是本文分析的核心。注意到，若 $\phi$ 是径向函数（即只依赖于 $|x|$），则自动满足该方程，对应径向解或驻定解（stationary flows）。更广义的一类被称为“局部径向函数”（locally radial functions），其定义如下：

函数 $\phi \in C^1(\mathbb{R}^2)$ 称为局部径向的，如果存在可数个互不相交的开环域 $A_k = \{x : r_k < |x - q_k| < R_k\}$，以及临界集 $S = \{x : \nabla \phi(x) = 0\}$，使得 $\mathbb{R}^2 = S \cup \bigcup_k A_k$，且在每个 $A_k$ 上，$\phi$ 仅依赖于到中心点 $q_k$ 的距离。

特别地，若 $\phi(x) = -\frac{\Omega}{2}|x|^2$ 在某个大球外成立，则对应的 $v = \nabla^\perp \phi + \Omega x^\perp$ 就是一个紧支集速度场，从而总动能有限。

过去关于旋转欧拉流的研究主要集中在两类情形：一是涡旋斑块（patches），即初始涡量为指示函数；二是从径向解出发通过局部分岔构造光滑解。例如 Kirchhoff 发现椭圆斑块可匀速旋转；Burbea、Hmidi 等人发展了 $m$-折对称斑块的存在性理论；Castro-Córdoba-Gómez-Serrano 在 [4] 中利用修改的流函数方法，从径向解分岔出新的光滑旋转解。

然而，所有已知的非平凡紧支集旋转解要么是径向的，要么属于“局部径向”结构。更重要的是，此前没有例子表明存在非局部径向的、光滑且速度紧支集的旋转解。本文填补了这一空白。

此外，作者强调他们所构造的解并非满足形如 $\Delta \phi + f(\phi) = 0$ 的椭圆型方程（这类方程的经典解往往具备径向对称性），从而说明其构造方式的本质新颖性。

研究区域为全平面 $\mathbb{R}^2$，边界行为隐含在紧支集假设中：即存在 $R > 0$，使得当 $|x| > R$ 时，$\phi(x) + \frac{\Omega}{2}|x|^2$ 为常数（文中取为零）。函数空间方面，目标解要求属于任意阶连续可微类 $C^k(\mathbb{R}^2)$，对任意正整数 $k$ 成立，体现了解的高正则性。

综上所述，本文的研究对象是一类特殊的二维欧拉流——匀速旋转、速度紧支集、光滑但非局部径向对称的解，其数学挑战在于如何突破传统对称性限制，在保持物理合理性（有限能量）的同时构造高度非对称的动态结构。

主要定理或主要结果

本文的主要成果包括一个存在性定理和两个刚性定理，分别揭示了此类旋转流的灵活性与结构性约束。

定理 1（存在性）

对于任意正整数 $k$ 和任意实数 $\Omega \in \mathbb{R}$，存在一个 $C^k$ 光滑的、角速度为 $\Omega$ 的匀速旋转欧拉流，其初始速度具有紧支集，并且该解不是局部径向的。

此定理断言了非平凡、光滑、有限能量、非对称旋转解的存在性，是首个此类例子。特别地，这些解可以视为对径向流的小扰动，体现了构造的稳定性。

定理 2（梯度消失刚性）

设 $\phi \in C^3(\mathbb{R}^2)$ 满足方程 $\nabla^\perp \phi \cdot \nabla \Delta \phi = 0$，且存在某半径 $R > 0$ 使得当 $|x| > R$ 时 $\phi(x) = -\frac{\Omega}{2}|x|^2$。令集合

$$ I := \left\{ r \in [0,\infty) : \phi(x) = \phi(y) \text{ 对所有 } |x|=|y|=r \right\} $$

表示所有 $\phi$ 在圆周上为常数的半径集合。若 $r \in \partial I \setminus \{0\}$（即边界点且非原点）且 $r$ 在 $I$ 中不是孤立点，则必有

$$ \nabla \phi = 0 \quad \text{on } \partial B_r(0). $$

该结果表明：一旦某个圆形边界标志着从“径向区域”过渡到“非径向区域”，那么在这个边界上流函数的梯度必须为零。这是对几何结构的一种强约束，意味着不能简单地“拼接”径向与非径向部分而不满足临界点条件。

定理 3（椭圆型方程下的径向刚性）

设 $\Omega \in \mathbb{R} \setminus \{0\}$，$f \in C(\mathbb{R})$，函数 $\phi \in C^1(\mathbb{R}^2)$ 满足

$$ \Delta \phi + f(\phi) = 0 \quad \text{in } \mathbb{R}^2, $$

且存在 $R > 0$ 使得当 $|x| > R$ 时 $\phi(x) = -\frac{\Omega}{2}|x|^2$。则 $\phi$ 必为局部径向函数。进一步，若 $f \in C^1(\mathbb{R})$，则 $\phi$ 关于原点径向对称。

这一定理说明：如果旋转解来源于某个椭圆型方程 $\Delta \phi + f(\phi) = 0$，则其结构必然受到严格限制——不可能出现真正意义上的非对称解。因此，本文所构造的非局部径向解不能由这种经典变分结构生成，突显了其构造路径的独特性和必要性。

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

a) 核心分析学工具

本文的方法融合了几何构造、椭圆偏微分方程理论与拓扑延拓思想，核心工具主要包括以下几类：

  1. 先前构造的静止解作为构建模块
    证明定理1的关键依赖于作者前期工作 [7] 中建立的结果：存在一族 $C^k$ 光滑、非局部径向、紧支集的静止欧拉流。具体而言，他们在环形区域 $\Omega_{b_n,B_n}$ 上构造了正解 $\phi_n$ 满足：

    $$ \Delta \phi_n + f_{a_n}(|x|, \phi_n) = 0, $$

    并且所有直到 $k+1$ 阶导数在边界上消失。由此可通过延拓得到全局定义的 $C^{k+1}$ 函数 $\phi_n$，其支撑包含在某个大球内，且满足 $\nabla^\perp \phi_n \cdot \nabla \Delta \phi_n = 0$。这类解本身已是非对称的“孤岛”。

  2. 截断与粘贴技术（Cut-off and Gluing）
    为了将静止解转化为旋转解，作者采用了一个巧妙的截断粘贴法。设已有静止解 $\phi_n$ 支撑在 $B_R(0)$ 内，则定义新函数：

    $$ \tilde{\phi}_n(x) := \chi\left(\frac{|x|}{R}\right) \phi_n(x) - \left(1 - \chi\left(\frac{|x|}{R}\right)\right) \frac{\Omega}{2}|x|^2, $$

    其中 $\chi$ 是光滑截断函数，满足 $\chi(t)=1$ 当 $t \leq 1$，$\chi(t)=0$ 当 $t \geq 2$。这样构造的 $\tilde{\phi}_n$ 在内部接近 $\phi_n$，外部趋近于 $-\frac{\Omega}{2}|x|^2$，中间通过过渡层连接。最终速度场定义为 $v_{0,n} = \nabla^\perp \tilde{\phi}_n + \Omega x^\perp$，其支持集在 $B_{2R}(0)$ 内，且满足旋转条件。

  3. 唯一延拓原理与局部对称性论证（用于刚性定理）
    在证明定理2时，作者使用了唯一延拓原理（unique continuation principle）。基本思路是：若在某点 $\nabla \phi \neq 0$，则由方程 $\nabla^\perp \phi \cdot \nabla \Delta \phi = 0$ 可推出存在局部函数 $f$ 使得 $\Delta \phi + f(\phi) = 0$（见引理8）。接着考虑沿径向的初值问题，构造一个径向解 $\varphi(r)$ 匹配 $\phi$ 在圆周上的值及其法向导数。若两者在局部重合，则 $\phi$ 在该邻域内径向对称。通过覆盖 $\partial B_r(0)$ 的有限多个小球并应用唯一性，得出在整个环域内 $\phi$ 径向，从而推出 $r \in \mathring{I}$，与 $r \in \partial I$ 矛盾。

  4. 最大值原理与对称性结果的应用（用于定理3）
    对于满足 $\Delta \phi + f(\phi) = 0$ 的解，作者引用了经典文献 [1] 和 [11] 中的对称性结果。特别是 Gidas-Ni-Nirenberg 类型的径向对称性定理：在适当条件下（如正解、外部为零），解必须关于某点径向对称。通过对函数进行平移变换 $\varphi(x) = \phi(x) + \frac{\Omega}{2} \tilde{R}^2$，使其在外区域为零，内部为正，从而适用这些经典结果。

  5. 逆函数定理与局部坐标变换
    引理8的证明使用了反函数定理：当 $\nabla f(x_*) \neq 0$ 时，可通过局部微分同胚将 $f$ 变为新坐标系中的第一个变量，从而将 $\nabla^\perp f \cdot \nabla g = 0$ 转化为 $\partial_{y_2} \tilde{g} = 0$，即 $g$ 局部仅为 $f$ 的函数。这是处理守恒量关系的基础工具。

b) 技术性难题的克服技巧

  1. 避免非线性耦合的直接求解
    直接求解非线性方程 $\nabla^\perp \phi \cdot \nabla \Delta \phi = 0$ 极其困难。作者绕开这一障碍，转而利用已有静止解（已在 [7] 中解决存在性）作为“种子”，再通过几何操作赋予其旋转结构。这是一种典型的“间接构造法”。

  2. 控制过渡区域的影响
    截断函数引入了中间区域，在此区域内 $\tilde{\phi}_n$ 既非完全静止也非纯旋转。但由于 $\chi$ 光滑且导数受控，且 $\phi_n$ 在边界附近足够平坦（高阶导数为零），保证了整体正则性 $C^k$ 不被破坏。

  3. 规避变分结构的限制
    若解来自能量泛函的临界点（如 $\Delta \phi + f(\phi)=0$），则极大值原理常强制对称性。本文构造的解不满足此类方程，因而逃脱了这类刚性约束。这一点在讨论中被明确指出，并通过定理3加以确认：若强行假设此类结构，则只能得到局部或全局径向解。

  4. 精细的集合拓扑分析
    在定理2中，“$r$ 非孤立于 $I$”这一条件至关重要。它允许选取序列 $r_n \to r$ 且每个 $r_n \in I$，从而推导出 $\phi$ 在 $\partial B_r(0)$ 上为常数，并进一步得到法向导数一致非零。这种利用闭集边界性质结合极限过程的技术，体现了对函数水平集几何的深刻把握。

与之前工作的比较

a) 突破与改进

本文相对于前人工作的主要突破体现在以下几个方面：

  1. 首次构造非局部径向、光滑、有限能量的旋转解
    此前唯一已知的光滑紧支集旋转解是由 Castro-Córdoba-Gómez-Serrano 在 [4] 中通过从径向解分岔得到的，但它们仍属于“局部径向”范畴。而本文构造的解基于非对称静止解的粘贴，打破了这种对称性框架，提供了第一个真正意义上的非对称例子。

  2. 放宽了对解结构的先验假设
    过去许多存在性结果都预设了解满足某种椭圆型方程 $\Delta \psi = f(\psi)$ 或具有 $m$-折对称性。本文不依赖任何此类结构，反而证明（定理3）：一旦假设这种结构，就必然导致对称性。因此，本文的构造路径是必要而非偶然的。

  3. 提升了对“有限能量”解的理解
    大多数经典旋转斑块（如 Kirchhoff 椭圆）虽具物理意义，但速度以 $1/|x|$ 衰减，总动能发散。本文解的速度具有紧支集，故能量绝对有限，更符合物理直觉中“孤立涡旋”的图像。

  4. 揭示了几何拼接的严格限制
    定理2指出：不能随意将径向部分与非径向部分拼接。只有当拼接界面（圆周）上梯度为零时才可能实现。这比以往的刚性结果（如仅针对非负涡量）更具几何洞察力，适用于更一般的函数类。

  5. 推广了静止解的用途
    通常静止解被视为平衡态，而本文将其用作构造动态旋转解的“构件”，展示了静态结构在动态问题中的潜在作用，拓展了构造策略的视野。

综上，本文不仅在存在性层面取得突破，更通过刚性定理阐明了此类解的内在结构限制，形成了“灵活存在”与“严格约束”并存的完整图景，显著推进了对二维欧拉方程旋转解的理解。

7. Well-posedness and sharp interface limit of a non-isothermal Navier–Stokes/Allen–Cahn model

非等温Navier–Stokes/Allen–Cahn模型的适定性与尖锐界面极限

作者: Helmut Abels, Alice Marveggio, Andrea Poiatti

类别: math.AP

发布日期: 2025-11-14

arXiv ID: 2511.11892v1

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

详细分析

中文标题: 非等温Navier–Stokes/Allen–Cahn模型的适定性与尖锐界面极限

研究对象和背景

本文研究的是一个非等温相场模型，用于描述在一个有界区域 $\Omega \subset \mathbb{R}^d$（其中 $d=2,3$）中两种具有相同密度但不同粘性的不可压缩黏性流体混合物的动力学演化。该模型通过耦合 Navier–Stokes 方程、Allen–Cahn 型相场方程 和一个包含温度效应的能量平衡机制来刻画两相流在变温条件下的行为。

系统的未知函数包括：

  • $v_\varepsilon(x,t)$：混合物的速度场；
  • $\varphi_\varepsilon(x,t)$：相场变量（也称序参量），表示物质相态，在纯相中取值为 $\pm1$，在过渡层内连续变化；
  • $\theta_\varepsilon(x,t)$：绝对温度；
  • $p_\varepsilon(x,t)$：压力函数。

系统由以下偏微分方程组成：

$$ \partial_t v_\varepsilon + v_\varepsilon \cdot \nabla v_\varepsilon = -\nabla p_\varepsilon + \mathrm{div}(S(\theta_\varepsilon)v_\varepsilon) - \mathrm{div}(\varepsilon \nabla \varphi_\varepsilon \otimes \nabla \varphi_\varepsilon), $$
$$ \mathrm{div}(v_\varepsilon) = 0, $$
$$ \varepsilon \frac{D \varphi_\varepsilon}{Dt} = \Delta \varphi_\varepsilon - \frac{1}{\varepsilon} W'(\varphi_\varepsilon) + \frac{1}{\varepsilon} \ell(\theta_\varepsilon), $$
$$ \frac{D Q(\theta_\varepsilon)}{Dt} + \ell(\theta_\varepsilon)\frac{D \varphi_\varepsilon}{Dt} = \mathrm{div}(\kappa(\theta_\varepsilon)\nabla \theta_\varepsilon) + \nu(\theta_\varepsilon)|\nabla v_\varepsilon + \nabla v_\varepsilon^T|^2 + \varepsilon \left| \frac{D \varphi_\varepsilon}{Dt} \right|^2, $$

其中：

  • $D/Dt := \partial_t + v_\varepsilon \cdot \nabla$ 是物质导数；
  • $W(s) = \frac{1}{4}(s^2 - 1)^2$ 是标准双阱势，其极小值位于 $s = \pm 1$，代表两个纯相；
  • $Q(\theta)$ 是热容，满足 $Q'(s) = c_V(s)$，文中设为 $Q(s) = \frac{1}{1+\alpha}s^{1+\alpha}$，$\alpha \in (0,1]$；
  • $\kappa(\theta)$ 是热传导系数，形式为 $\kappa(s) = \kappa_1 + \kappa_2 s^\beta$，$\kappa_i > 0$, $\beta > 0$；
  • $\nu(\theta)$ 是依赖于温度的粘性系数，假设一致有界且 Lipschitz 连续；
  • $\ell(\theta)$ 是潜热函数，文章考虑两类情形：线性 $\ell(s)=\lambda s$ 或满足特定增长条件的次线性有界函数（如 $\arctan s$）；
  • $S(\theta_\varepsilon)v_\varepsilon = \nu(\theta_\varepsilon)(\nabla v_\varepsilon + \nabla v_\varepsilon^T)$ 是耗散应力张量。

该模型源自 Frémond 的热力学方法，并保证了热力学一致性——即满足能量守恒与熵增原理。特别地，第四式原为热方程，但在弱解框架下被替换为两个不等式：

  1. 总能量不等式（对应第一定律）；
  2. 熵产生不等式（对应第二定律）。

这种“熵型弱解”（entropic weak solution）的概念最早见于 [21]，后广泛应用于非等温流体系统（如液晶、损伤材料、二元流体等）。它避免了将动能耗散项错误分配的问题，确保数学结构与物理本质一致。

边界条件设定为绝缘系统：

  • 完全滑移条件：$v_\varepsilon \cdot n_{\partial\Omega} = 0$ 且 $(I - n \otimes n)((S(\theta_\varepsilon)v_\varepsilon)n) = 0$ on $\partial\Omega$；
  • 齐次Neumann条件：$\nabla \varphi_\varepsilon \cdot n_{\partial\Omega} = 0$，$\kappa(\theta_\varepsilon)\nabla \theta_\varepsilon \cdot n_{\partial\Omega} = 0$， 分别对应无质量通量、90度接触角及无热流。

初始条件为：

$$ v_\varepsilon(\cdot,0) = v_0,\quad \varphi_\varepsilon(\cdot,0) = \varphi_{\varepsilon,0},\quad \theta_\varepsilon(\cdot,0) = \theta_0. $$

值得注意的是，由于模型中存在非线性耗散项（如 $|\nabla v|^2$、$|D_t \varphi_\varepsilon|^2$）以及温度对所有系数的影响，传统强解方法难以直接应用全局存在性。因此，作者采用分步策略：先建立局部强解的存在唯一性，再构造近似格式以获得全局弱解。

此外，本文还研究了当界面宽度参数 $\varepsilon \to 0$ 时的尖锐界面极限问题。此时，扩散界面趋于零厚度，期望得到经典的两相流动模型——即 Navier–Stokes 方程与平均曲率流的耦合系统：

令 $A(t) \subset \Omega$ 表示某一相占据的区域，$\chi_A = \chi_{A(t)}(x)$ 为其特征函数，则极限系统如下：

$$ \partial_t v + v \cdot \nabla v = -\nabla p + \mathrm{div}(S(v)) - H_A |\nabla \chi_A|, $$
$$ \mathrm{div}(v) = 0, $$
$$ V_A = H_A - \ell(\theta) \quad \text{on } (\partial A \cap \Omega) \times (0,T), $$
$$ \frac{D Q(\theta)}{Dt} + \ell(\theta)V_A |\nabla \chi_A| = \mathrm{div}(\kappa(\theta)\nabla \theta) + \nu(\theta)|\nabla v + \nabla v^T|^2 + |V_A|^2 |\nabla \chi_A|. $$

其中：

  • $H_A = -\nabla \cdot n_A$ 是标量平均曲率；
  • $n_A = \nabla \chi_A / |\nabla \chi_A|$ 是单位内法向；
  • $V_A$ 是界面的法向速度；
  • $|\nabla \chi_A|$ 可视为界面上的面积测度（即 Hausdorff 测度）。

此极限系统的解属于 $BV$ 类或分布意义下的解，反映了界面从光滑过渡到突变的过程。

综上所述，本文的研究对象是一个高度非线性的非等温相场系统，定义在有界光滑区域 $\Omega \subset \mathbb{R}^d$ 上，配备完全滑移与绝热边界条件，旨在回答三个核心问题：

  1. 局部强解是否存在且唯一？
  2. 全局弱解是否可在熵框架下构造？
  3. 当 $\varepsilon \to 0$ 时，解是否会收敛至一个物理意义明确的尖锐界面模型？

这些问题涉及复杂的函数空间嵌套、非线性估计、紧性论证以及测度论极限分析，构成了现代偏微分方程理论中的前沿课题。

主要定理或主要结果

定理 4.1（局部强解的存在唯一性）

固定 $\varepsilon > 0$。设初始数据满足：

$$ (v_0, \varphi_{\varepsilon,0}, \theta_0) \in (W^{2,p}_\sigma(\Omega), L^p(\Omega))_{1-1/p,p} \times W^{2,q}(\Omega) \times W^{2,r}(\Omega), $$

且 $\|\varphi_{\varepsilon,0}\|_{L^\infty(\Omega)} \leq 1$，$\inf_{x\in\Omega} \theta_0(x) \geq c > 0$。假设 $\alpha \in (0,1]$，$\beta \geq 1$，并满足第4.1节中关于 $\nu, Q, \kappa, \ell$ 的条件。则存在 $T_\varepsilon > 0$，使得系统 (2.11)-(2.14) 在区间 $[0,T_\varepsilon]$ 上存在唯一的强解 $(v_\varepsilon, \varphi_\varepsilon, \theta_\varepsilon)$ 满足：

$$ (v_\varepsilon, \varphi_\varepsilon, \theta_\varepsilon) \in Z_T^1 \times Z_T^2 \times Z_T^3, $$

并且温度保持严格正性：

$$ \theta_\varepsilon(x,t) \geq \frac{c}{2} > 0, \quad \forall (x,t) \in \Omega \times [0,T_\varepsilon]. $$

此处函数空间 $Z_T^i$ 为适当 Sobolev-Bochner 空间，结合 Neumann 边界条件，利用极大正则性与压缩映射原理证明。

定理 4.5（全局弱解的存在性）

固定 $\varepsilon > 0$。设初始数据满足：

  • $v_0 \in H_\sigma$,
  • $\varphi_{\varepsilon,0} \in H^1(\Omega)$,
  • $\theta_0 \in L^{1+\alpha}(\Omega)$, $\theta_0 \geq 0$ a.e.

假设 $\ell$ 为次线性有界潜热函数，且 $\alpha \in (0,1], \beta > 0$ 满足技术条件。则存在一个熵型弱解 $(v_\varepsilon, p_\varepsilon, \varphi_\varepsilon, \theta_\varepsilon)$ 满足正则性：

$$ \begin{aligned} &v_\varepsilon \in L^\infty(0,T;H_\sigma) \cap L^2(0,T;V_\sigma), \\ &\varphi_\varepsilon \in L^\infty(0,T;H^1(\Omega)) \cap L^2(0,T;H^2(\Omega)), \\ &\theta_\varepsilon \in L^\infty(0,T;L^{1+\alpha}(\Omega)) \cap L^\beta(0,T;L^{3\beta}(\Omega)) \cap L^2(0,T;H^1(\Omega)), \end{aligned} $$

并满足：

  • 动量方程的弱形式；
  • Allen-Cahn 方程的弱形式；
  • 总能量不等式；
  • 熵产生不等式；
  • 温度非负性：$\theta_\varepsilon \geq 0$ a.e.；
  • 初始能量控制。

特别地，作者提出了一种新的 $(k,\delta,m)$-逼近方案，并严格证明其极限过程的有效性。

定理 4.12（尖锐界面极限）

设 $\{(v_\varepsilon, \varphi_\varepsilon, \theta_\varepsilon)\}_{\varepsilon>0}$ 为上述熵型弱解族。假设以下能量收敛条件成立：

$$ \int_0^T \int_\Omega \left( \frac{\varepsilon}{2} |\nabla \varphi_\varepsilon|^2 + \frac{1}{\varepsilon} W(\varphi_\varepsilon) \right) dx dt \to \int_0^T \int_\Omega |\nabla \chi_A| dt, $$

且 $\theta_\varepsilon \to \theta$ 强收敛于某空间。则存在子列使得：

  • $\chi_{\{\varphi_\varepsilon > 0\}} \to \chi_A$ in $BV_{\text{loc}}$；
  • $v_\varepsilon \rightharpoonup v$ in $L^2$；
  • $(v, \chi_A, \theta)$ 构成系统 (1.5)-(1.8) 的分布意义下或 $BV$ 解，满足熵不等式与能量不等式。

关键工具是 Ioffe 的下半连续性定理处理耗散项极限，以及 Modica-Mortola 不等式的变形用于获得紧性。

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

a) 核心分析工具

  1. 极大正则性理论（Maximal Regularity）
    用于处理线性化系统的抛物型结构，特别是在 Banach 空间中建立 $L^p$-最大正则性估计。这是构造局部强解的关键，允许将非线性项作为扰动处理。

  2. 压缩映射原理（Contraction Mapping Principle）
    在适当的度量空间 $X_T = X_T^1 \times X_T^2 \times X_T^3$ 中定义解算子 $\Phi$，通过估计各项 Lipschitz 连续性，证明其在小时间区间上是自映射且压缩，从而得到局部存在唯一性。

  3. De Giorgi 迭代技巧（De Giorgi Iteration Scheme）
    用于证明温度 $\theta_\varepsilon$ 的一致严格正性。即使初始温度仅几乎处处非负，只要初始下确界大于零，就能推出 $\theta_\varepsilon \geq c > 0$ 对所有 $\varepsilon > 0$ 成立。这在熵框架中至关重要，因需避免除以零。

  4. 紧性原理与弱收敛方法
    包括 Aubin-Lions 引理、Banach-Alaoglu 定理、Dunford-Pettis 定理等，用于从近似解序列中提取收敛子列。特别地，对于 $\varphi_\varepsilon$，利用 $H^1$ 控制结合紧嵌入获得几乎处处收敛。

  5. Ioffe 下半连续性定理
    处理极限过程中二次耗散项（如 $|\nabla v|^2, |D_t \varphi_\varepsilon|^2$）的弱下半连续性。保证：

    $$ \liminf_{\varepsilon \to 0} \int |\nabla v_\varepsilon|^2 \geq \int |\nabla v|^2, $$

    从而保留能量耗散结构。

  6. Modica-Mortola 型技巧
    构造辅助函数 $\psi_\varepsilon = \int_{-1}^{\varphi_\varepsilon} \sqrt{2W(s)} ds$，使其梯度受能量控制：

    $$ |\nabla \psi_\varepsilon| \leq \frac{\varepsilon}{2} |\nabla \varphi_\varepsilon|^2 + \frac{1}{\varepsilon} W(\varphi_\varepsilon). $$

    结合能量收敛假设，可得 $\psi_\varepsilon$ 的 $BV$ 紧性，进而推出 $\chi_A$ 的存在。

b) 关键技术难点与应对策略

  1. 温度符号保持与正性维持
    困难在于热方程是非标准的，且含有交叉项 $\ell(\theta) D_t \varphi_\varepsilon$。作者通过引入熵变量 $\Lambda(\theta)$ 并利用 De Giorgi 方法，克服了经典极大值原理无法直接应用的问题，尤其在 $Q$ 非线性时仍能获得一致正性。

  2. 潜热函数 $\ell$ 的有界性假设
    若 $\ell$ 无界（如线性情况），则难以控制 $\varphi_\varepsilon$ 的增长。为此作者限制 $\ell$ 为次线性有界函数（如 $\arctan s$），从而在能量估计中获得更好的控制，确保 $\varphi_\varepsilon \in L^\infty$。

  3. 耗散项的弱极限处理
    诸如 $\varepsilon |D_t \varphi_\varepsilon|^2$ 的项在 $\varepsilon \to 0$ 时不趋于零，而是凝聚在界面上形成 $|V_A|^2 |\nabla \chi_A|$。作者借助 Radon 测度弱*收敛将其表示为支撑在界面上的非负测度。

  4. 压力项的估计
    由于使用弱解框架，压力 $p_\varepsilon$ 不显式出现，而是通过 Helmholtz 投影隐含处理。在极限中需用集中紧性方法恢复其作用。

  5. 新逼近格式 $(k,\delta,m)$-scheme 的设计

    • $k$: Galerkin 截断（有限维逼近）；
    • $\delta$: 正则化粘性项与潜热；
    • $m$: 截断非线性函数（如 $Q, \kappa$）使其 Lipschitz。 逐层取极限 $k\to\infty, \delta\to0, m\to\infty$，每步保持能量与熵不等式，最终还原原始系统。

与之前工作的比较

a) 突破与改进

  1. 首次在非等温 Allen-Cahn 模型中建立严格的尖锐界面极限
    相较于 Caginalp 模型（不含动能耗散项），本文模型 (1.1)-(1.4) 包含完整的动能与相场耗散项，更符合物理实际。而此前仅有渐近分析或简单模型的结果，本文首次在弱解框架下严格证明 $\varepsilon \to 0$ 极限。

  2. 推广了弱解的存在性结果
    文献 [18] 要求 $Q, \kappa$ 满足特定增长条件，排除了一些物理情形；[43] 使用 measure-valued 解放宽假设。本文通过引入新型逼近格式，在更一般的 $Q(s) = s^{1+\alpha}/(1+\alpha)$、$\kappa(s) = \kappa_1 + \kappa_2 s^\beta$ 下建立全局弱解，覆盖更多真实流体行为。

  3. 解决了温度严格正性的统一证明
    [44] 仅对线性 $Q$ 使用最大值原理。本文采用 De Giorgi 迭代法，适用于非线性 $Q$，且得到与 $\varepsilon$ 无关的一致正性下界，这对极限过程至关重要。

  4. 放宽对潜热函数的要求并揭示其影响
    多数文献假设 $\ell$ 线性。本文指出若 $\ell$ 无界，则难以控制 $\varphi_\varepsilon$；转而研究有界次线性 $\ell$，虽牺牲一般性，却换来更强的紧性与正则性结果，为后续分析铺平道路。

  5. 采用“熵型弱解”而非经典弱解
    经典弱解可能违背热力学第二定律。本文坚持使用熵不等式替代热方程，确保模型始终热力学一致，这是近年来复杂流体建模的重要趋势。

综上，本文不仅在技术上发展了新型逼近与迭代方法，更在理论上推进了非等温多相流模型的数学基础，为连接相场模型与经典自由边界问题提供了严格桥梁。

了解领域论文（摘要翻译）

1. Isogeometric fluid-structure interaction using a mixed continuous/discontinuous Galerkin scheme

基于混合连续/间断伽辽金方法的等几何流固耦合模拟

作者: Régis Duvigneau

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13363v1

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

摘要翻译

中文标题: 基于混合连续/间断伽辽金方法的等几何流固耦合模拟

摘要翻译: 本文在等几何分析框架下提出了一种混合连续/间断伽辽金方法，用于模拟流固耦合问题。该方法充分利用非均匀有理B样条基函数的特性，实现了结构位移向流体域的精确传递，同时允许在耦合界面两侧采用不同的离散格式和网格细化策略。所提出的方法被应用于弹性翼膜周围可压缩流动的模拟，以及一个经典的流固耦合基准问题——圆柱绕流并带有超弹性悬臂梁的情形。对于两种情况，所得结果均与文献中的数据进行了对比，以评估该方法的计算精度。

2. Quantitative blow-up suppression for the Patlak-Keller-Segel(-Navier-Stokes) system via Couette flow on $\mathbb{R}^2$

通过 $\mathbb{R}^2$ 上的库埃特流对Patlak-Keller-Segel(-Navier-Stokes)系统的定量爆破抑制

作者: Yubo Chen, Wendong Wang, Guoxu Yang

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.12915v1

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

摘要翻译

中文标题: 通过 $\mathbb{R}^2$ 上的库埃特流对Patlak-Keller-Segel(-Navier-Stokes)系统的定量爆破抑制

摘要翻译: 当密度函数的初始质量大于 $8\pi$ 时，二维Patlak-Keller-Segel系统在 $\mathbb{R}^2$ 上的解会在有限时间内发生爆破。本文研究了具有量化振幅的库埃特流（Couette flow）所产生的混合效应，该效应使得细菌难以聚集。对于 $\mathbb{R}^2$ 上接近库埃特流 $(Ay,0)$ 的Patlak-Keller-Segel系统，本文证明了：若振幅 $A$ 足够大，具体形式为 $C_* \left(\| \langle D_x\rangle^{m} \langle {D_x}^{-1}\rangle^εn_{\mathrm{in}} \|_{L^2}^2+1\right)^{{9}/{2}} < \infty$，则解是整体存在（全局）的。特别地，在此情形下，常数 $C_*$ 的上界被精确估计为 $2,058,614$。对于 $\mathbb{R}^2$ 上接近库埃特流的Patlak-Keller-Segel-Navier-Stokes系统，同样证明了：若振幅足够大，其形式为 $C_*\|(n_{\rm in}, |D_x|^{1/3} n_{\rm in},ω_{\rm in})\|_{Y_{m,ε}}^9$，则解也是整体存在的。

3. Modelling Heterogeneous Interfaces using Element-based Finite Volumes

基于单元的有限体积法模拟异质界面

作者: Suhaib Ardah, Francisco J. Profito, Daniele Dini

类别: cs.CE, math.AP, physics.flu-dyn

发布日期: 2025-11-16

arXiv ID: 2511.12562v1

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

摘要翻译

中文标题: 基于单元的有限体积法模拟异质界面

摘要翻译: 准确描述界面系统中多物理场耦合作用需要具备几何适应性与严格守恒保真度相协调能力的计算框架。然而，传统的时空离散方法通常在网格灵活性与流动守恒实施之间难以兼顾，从而限制了其在揭示内在机理方面的有效性。针对上述计算需求，本文提出了一种新型的三维单元基有限体积法（Element-based Finite Volume Method, EbFVM）——这是一种混合型数值策略，融合了有限元方法在几何灵活性方面的优势与有限体积法以守恒为核心的原理。所提出的框架引入了面向非结构化、不规则网格单元的先进离散技术，包括精细的参数化形函数、稳健的通量积分格式以及严格的贴体曲线坐标映射方法。通过一系列由润滑效应驱动的基准问题，我们验证了EbFVM在捕捉几何复杂区域中复杂的输运现象、强场耦合作用及多尺度差异方面的卓越能力。该三维EbFVM方法能够在几何与物理上均具挑战性的界面系统中实现高精度建模，为众多多物理场应用中的输运过程模拟提供了一个通用且灵活的工具。

不相关论文（基本信息）

1. Full range of infinite point blow-up exponents for the critical generalized KdV equation

临界广义KdV方程无穷点爆破指数的完整范围

作者: Nailya Manatova

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13538v1

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

摘要: For the quintic, mass critical generalized Korteweg-de Vries equation, for any $ν\in (\frac{1}{2}, 1)$, we prove the existence of solutions in the energy space that blow up in finite time $T>0$ with the blow-up rate $\|\partial_x u(t)\|_{L^2} \sim (T-t)^{-ν}$ (infinite point blow-up). These solutions are constructed arbitrarily close to the family of solitons and correspond to the concentration of a soliton traveling at $+\infty$ in space as $t\uparrow T$. This complements the previous results obtained in the work of Martel, Merle, Raphaël in 2015 on infinite point exotic blow-up, which were valid under the technical restriction $ν>\frac {11}{13}$. The value $ν=\frac 12$ corresponds to a critical case to be treated elsewhere. At the technical level, we implement a modification of the virial-energy functional, to allow all $ν> \frac 12$ and simplify the proof of energy estimates.

2. Stable Self- Similar Blow- Up In Nonlinear Wave Equations With Quadratic Time-Derivative Nonlinearities

具有二次时间导数非线性的非线性波动方程中的稳定自相似爆破

作者: Faiq Raees, Jie Liu

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13504v1

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

摘要: We study singularity formation in two one-dimensional nonlinear wave models with quadratic time-derivative nonlinearities. The non-null model violates the null condition and typically develops finite-time blow-up; the null-form model is Lorentz-invariant and enjoys small-data global existence, yet still admits blow-up for large data. Building on our earlier work on spatial-derivative nonlinearities, we construct and classify a five-parameter family of generalized self-similar blow-up solutions that captures the observed dynamics. We prove that no smooth exact self-similar profiles exist, while the generalized self-similar solutions -exhibiting logarithmic growth- provide the correct blow-up description inside backward light cones. We further establish asymptotic stability for the relevant branches, including the ODE-type blow-up in both models. These results yield a coherent and unified picture of blow-up mechanisms in time-derivative nonlinear wave equations.

3. Kähler-Ricci flows coming out of metric spaces

从度量空间产生的凯勒-里奇流

作者: Alix Deruelle, Vincent Guedj, Henri Guenancia, Ahmed Zeriahi

类别: math.DG, math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13473v1

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

摘要: Given a compact Kähler manifold $X$ and a closed, positive $(1,1)$-current $T$ on $X$, we find sufficient conditions for $T$ to induce a metric structure $(X,d_T)$ which is the Gromov-Hausdorff limit of compact Kähler manifolds either in a “static” way or at time zero of smooth Kähler-Ricci flows. In dimension $1$ we extend works of T. Richard and M. Simon, showing that any oriented compact Alexandrov surface with bounded integral curvature and without cusp is the initial datum of a Kähler-Ricci flow.

4. Magnetic Double-Wells: Lower Bounds on Tunneling

磁性双势阱：隧穿效应的下界估计

作者: Charles L. Fefferman, Jacob Shapiro, Michael I. Weinstein

类别: math-ph, cond-mat.mes-hall, math.AP, math.CA, math.FA

发布日期: 2025-11-17

arXiv ID: 2511.13470v1

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

摘要: We present lower bounds on tunneling rates in magnetic double well systems for generic values of the coupling constant. This result was recently announced in \cite{FSW24} and complements our recent counter-example construction which exhibits vanishing tunneling for specially-constructed double-well potentials.

5. A sharp commutator estimate for all Riesz modulated energies

关于所有黎兹调制能量的精确交换子估计

作者: Elias Hess-Childs, Matthew Rosenzweig, Sylvia Serfaty

类别: math.AP, math-ph, math.CA, math.PR

发布日期: 2025-11-17

arXiv ID: 2511.13461v1

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

摘要: We prove a functional inequality in any dimension controlling the derivative along a transport of the Riesz modulated energy in terms of the modulated energy itself. This modulated energy was introduced by the third author and collaborators in the study of mean-field limits and statistical mechanics of Coulomb/Riesz gases, where this control is an essential ingredient. Previous work of the last two authors and Q.H. Nguyen arXiv:2107.02592 showed a similar functional inequality but with an additive $N$-dependent error (where $N$ is the number of particles, $\mathsf{d}$ the dimension, and $\mathsf{s}$ the inverse power of the Riesz potential) which was not sharp. In this paper, we obtain the optimal $N^{\frac{\mathsf{s}}{\mathsf{d}}-1}$ error, for all cases, including the sub-Coulomb case. Our method is conceptually simple and, like previous work, relies on the observation that the derivative along a transport of the modulated energy is the quadratic form of a commutator. Through a new potential truncation scheme based on a wavelet-type representation of the Riesz potential to handle its singularity, the proof reduces to averaging over a family of Kato-Ponce type estimates. The commutator estimate has applications to sharp rates of convergence for mean-field limits, quasi-neutral limits, and central limit theorems for the fluctuations of Coulomb/Riesz gases both at and out of thermal equilibrium. In particular, we show here for $\mathsf{s}<\mathsf{d}-2$ the expected $N^{\frac{\mathsf{s}}{\mathsf{d}}-1}$-rate in the modulated energy distance for the mean-field convergence of first-order Hamiltonian and gradient flows. This complements the recent work arXiv:2407.15650 on the optimal rate for the (super-)Coulomb case $\mathsf{d}-2\le \mathsf{s}<\mathsf{d}$ and therefore resolves the entire potential Riesz case.

6. Bounded solutions and interpolative gap bounds for degenerate parabolic double phase problems

退化抛物型双相问题的有界解与插值间隙估计

作者: Bogi Kim, Jehan Oh

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13454v1

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

摘要: We establish gradient higher integrability results for weak solutions to degenerate parabolic equations of double phase type

$$ u_t-\operatorname{div} \left(|Du|^{p-2}Du + a(x,t)|Du|^{q-2}Du\right)=0 $$

in $Ω_T := Ω\times (0,T)$, where $a(\cdot)\in C^{α,\fracα{2}}(Ω_T)$. For bounded solutions, we prove that the result holds under the gap condition

$$ q \leq p + α. $$

Moreover, for solutions with

$$ u\in C(0,T;L^s(Ω)), \quad s \geq 2, $$

we obtain higher integrability under the gap condition

$$ q \leq p + \frac{sα}{n+s}. $$

These results provide an interpolation between the gap bounds in the parabolic double phase setting.

7. On Mañé’s Critical Value for Tonelli Lagrangians on Half Lie-Groups

关于半李群上Tonelli拉格朗日量的Mañé临界值的研究

作者: Levin Maier, Francesco Ruscelli

类别: math.DG, math.AP, math.DS, math.SG

发布日期: 2025-11-17

arXiv ID: 2511.13428v1

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

摘要: In this article, we introduce Tonelli Lagrangians on half-Lie groups equipped with a strong right-invariant Riemannian metric. These are right-invariant Lagrangians defined on the tangent bundle of a half-Lie group with quadratic growth on each fiber. The main examples of half-Lie groups are groups of $H^s$ or $C^k$ diffeomorphisms of compact manifolds. We show that the Euler–Lagrange flow exists globally. We then introduce three thresholds of the energy, called the Ma~ne critical values, and prove that under mild regularity and completeness assumptions on the half-Lie group, any two points can be connected by a global Tonelli minimizer above the lowest of these energy thresholds. Under an additional assumption on the Lagrangian, such a minimizer is a flow line of the Euler–Lagrange flow. This extends the work of Contreras from closed finite-dimensional manifolds to the infinite-dimensional context. Moreover, our results also extend the recent work of Bauer, Harms, and Michor from geodesic flows to Euler–Lagrange flows of Tonelli Lagrangians. As an application, we obtain global well-posedness of all Euler–Poincare’e equations associated with Tonelli Lagrangians on half-Lie groups equipped with strong right-invariant Riemannian metrics.

8. Robustness of Morse decomposition for non-local perturbations of the Chafee-Infante equation

Morse分解在Chafee-Infante方程非局部扰动下的鲁棒性

作者: Rubén Caballero, Alexandre N. Carvalho, Pedro Marín-Rubio, José Valero

类别: math.AP, math.DS

发布日期: 2025-11-17

arXiv ID: 2511.13406v1

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

摘要: In this paper, we prove the robustness of the Morse decomposition for the global attractor of the Chafee-Infante problem with respect to non-local perturbations. Focusing on a non-local perturbation of the diffusion term, we establish that the Morse structure of the local limit problem is preserved as long as the non-local function multiplying the laplacian operator remains close to a positive constant.

9. Regularity theory for degenerate fully nonlinear nonlocal equations with a Hamiltonian term

具有哈密顿项的退化完全非线性非局部方程的正则性理论

作者: Yuzhou Fang, Juha Kinnunen, Chao Zhang

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13403v1

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

摘要: We investigate a class of degenerate fully nonlinear nonlocal elliptic equations with Hamiltonian terms. By precisely characterizing the interaction between the degeneracy law of equations and the growth behavior of the Hamiltonian terms, we establish the Lipschitz regularity of viscosity solutions by the Ishii-Lions method, and further show the gradient Hölder continuity for solutions via utilizing perturbation techniques. Additionally, under minimal assumptions on the degeneracy pattern, the $C^1$-differentiability property of solutions is explored as well.

10. Half-plane Green`s function for anti-plane elastic 1D hexagonal QCs

一维六方准晶反平面弹性半平面格林函数

作者: Tsviatko V. Rangelov, George D. Manolis, Petia S. Dineva

类别: math.AP, cond-mat.mtrl-sci

发布日期: 2025-11-17

arXiv ID: 2511.13354v1

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

摘要: This paper presents an analytical derivation of a frequency-dependent fundamental solution plus a Green’s function for the uni-dimensional, hexagonal quasicrystal sheet subjected to elastic waves under anti-plane strain conditions. Furthermore, closed-form solutions for the free-fields developing in this sheet for propagating shear waves are also obtained. The analysis presented here provides a foundation for understanding quasicrystal dynamic behavior and for advancing relevant computational methods.

11. Inverse problem for the discrete Maxwell equations in a bounded paving

有界铺砌上离散麦克斯韦方程的逆问题

作者: Olivier Poisson

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.13316v1

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

摘要: We consider the discrete anisotropic Maxwell operator DaH0 on a bounded paving $Ω$ $\subset$ Z3 , where H0 denotes discrete isotropic Maxwell operator and Da a diagonal operator of multiplication containing information about the anisotropy of the medium inside $Ω$. Letting a complex number $λ$ __ = 0 such the Dirichlet-to-Neumann operator $Λ$(Da) associated with the system DaH0 u = $λ$u on $Ω$ admits a unique solution, we show that knowing $Λ$(Da) is sufficient to determine Da by a reconstruction procedure for Da.

12. On a calculation method of the thickness via partial differential equations

关于一种通过偏微分方程计算厚度的方法

作者: Atsushi Nakayasu, Takayuki Yamada

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.12973v1

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

摘要: This paper presents a mathematical analysis of an elliptic partial differential equation (PDE) designed to compute the geometric thickness of a given shape. The PDE-based formulation provides a direct and systematic approach to evaluate thickness through the elliptic equation, whose solution yields a vector field from which the thickness is extracted as the divergence. While the convergence of this PDE-based thickness to the geometric thickness had been rigorously justified only for simple geometries such as intervals and straight bands, its validity for more general shapes remained open. In this work, we extend the analysis to annular domains, where curvature effects are nontrivial. We prove that the PDE-based thickness converges to the geometric thickness as the diffusion parameter tends to zero by estimating the difference between two notions of thickness with the square root of the diffusion parameter. Explicit expressions involving modified Bessel functions are obtained for annuli, together with sharp inequalities for their ratios. These results provide a rigorous mathematical foundation for the PDE-based thickness and demonstrate its potential as a reliable tool in shape analysis and topology optimization.

13. Structure theory of parabolic nodal and singular sets

抛物型节点与奇异集的结构理论

作者: Max Hallgren, Robert Koirala, Zilu Ma

类别: math.AP, math.CA, math.DG

发布日期: 2025-11-14

arXiv ID: 2511.11570v2

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

摘要: We establish new estimates for the size and structure of the nodal set $\{u=0\}$ and the singular set $\{u=|\nabla u|=0\}$ of solutions $u$ to parabolic inequalities with parabolic Lipschitz coefficients. In particular, we show that almost all of the nodal and singular sets are covered by regular parabolic Lipschitz graphs with estimates, and that both sets satisfy parabolic Minkoswki estimates depending only on a doubling quantity at a point. Many of our results are new even for the heat equation on $\mathbb{R}^{n}\times \mathbb{R}$.

14. The doubling property of the elliptic measure, for elliptic operators with drifts satisfying an average diverging condition

满足平均发散条件的带漂移项椭圆算子的椭圆测度的加倍性质

作者: Aritro Pathak

类别: math.AP

发布日期: 2025-11-17

arXiv ID: 2511.12942v1

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

摘要: We show doubling of the elliptic measure corresponding to the operator with an elliptic principal term and a drift that diverges, on average on Whitney cubes, like the inverse distance to the boundary, with a small constant. Essentially a small Carleson constant assumption on the drift, this generalizes earlier results with the hypothesis of pointwise smallness of such a drift. This relates to recent perturbative results of rough Dirichlet solvability in domains with drifts or potentials that satisfy a Carleson measure condition, which have also been considered earlier by Hofmann-Lewis and Kenig-Pipher. While we work in 1-sided chord arc domains, these results are new even for the half-space. In the process, we also prove Hardy inequalities in such domains with Alhfors-David regular boundary, using a stopping time argument.

15. Fully nonlinear second-order mean field games with nondifferentiable Hamiltonians

具有不可微哈密顿量的完全非线性二阶均值场博弈

作者: Thomas Sales, Iain Smears

类别: math.AP, math.OC

发布日期: 2025-11-16

arXiv ID: 2511.12780v1

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

摘要: We analyse fully nonlinear second-order mean field games (MFG) with nondifferentiable Hamiltonians, which take the form of a coupled system of a fully nonlinear Hamilton-Jacobi-Bellman equation and a Kolmogorov-Fokker-Planck partial differential inclusion (PDI) featuring the set-valued subdifferential of the Hamiltonian. We show the existence of solutions of some stationary MFG systems with quite general coupling operators and nonnegative distributional source terms, on general bounded convex domains, under the primary assumptions of uniform ellipticity and the Cordes condition on the diffusion coefficient. The existence proof is founded on an original, and equivalent, reformulation of the PDI as a nonstandard variational inequality (VI), that offers significant flexibility in passages to limits. Furthermore, the uniqueness of the solution of the PDI/VI system is proved in the case of strictly monotone couplings. We then show how the MFG PDI/VI system in the fully nonlinear setting can be obtained as the limit of a sequence of PDE systems with differentiable Hamiltonians, and we give further results on the continuous dependence of the solution.

16. BMO solvability with singular drifts on ample sawtooth domains implies $L^p$ solvability

充分锯齿域上具奇异漂移的BMO可解性蕴含$L^p$可解性

作者: Aritro Pathak

类别: math.AP

发布日期: 2025-11-16

arXiv ID: 2511.12747v1

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

摘要: For a linear elliptic operator with a singular drift that satisfies a finite Carleson measure condition, we prove that there exist ample' sawtooth domains of the unit ball $B(0,1)\subset \R^{n+1}$ so that a BMO solvability assumption in these sawtooth subdomains implies that the elliptic measure satisfies the weak $A_\infty$ condition with respect to the surface measure on this ample’ sawtooth domain. This is a quantifiable absolute continuity condition, which is equivalent to saying the $L^p$ Dirichlet problem is solvable for some $1<p<\infty$. Such singular drifts have been considered in the literature in the context of perturbative $L^p$ Dirichlet solvability problems, by Hofmann-Lewis and Kenig-Pipher. By an ample sawtooth domain, we mean a sawtooth domain whose boundary coincides with the boundary of the unit ball, except for an arbitrarily small fraction. The methods can be naturally extended to show the result for more general bounded Lipschitz domains.

17. Pointwise bounds on Dirichlet Green’s functions for a singular drift term

具有奇异漂移项的狄利克雷格林函数的逐点估计

作者: Aritro Pathak

类别: math.AP

发布日期: 2025-11-16

arXiv ID: 2511.12741v1

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

摘要: We introduce a technique to obtain pointwise upper and lower bounds for the Green’s function of elliptic operators whose principal part is the Laplacian and that include a drift term diverging near the boundary like a power of the inverse distance with exponent less than 1, in the unit ball B(0,1) \subset \mathbb{R}^n, n \ge 3. The constants in the upper estimates are uniform in B(0,r) for each r < 1, with explicit dependence on r. The drift here belongs to C^{1,α}_{\mathrm{loc}} and may, more generally, be majorized by a function radially integrable up to the boundary. These appear to be the first such estimates for non-coercive drifts and remain new even for smooth drifts, suggesting extensions to singular potentials and other settings where energy methods fail.

18. A stochastic flow approach to De Giorgi-Nash-Moser estimates for SPDEs with smooth transport noise

一种关于具光滑输运噪声的随机偏微分方程的De Giorgi-Nash-Moser估计的随机流方法

作者: Antonio Agresti, Max Sauerbrey, Mark Veraar

类别: math.PR, math.AP

发布日期: 2025-11-16

arXiv ID: 2511.12692v1

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

摘要: The celebrated De Giorgi-Nash-Moser theory ensures that solutions to uniformly elliptic or parabolic PDEs are bounded and Hölder continuous, even with merely bounded measurable coefficients. For parabolic SPDEs with transport noise, boundedness has recently been established, but Hölder continuity remains a key open problem in the regularity theory of parabolic SPDEs. In this work, we resolve this question under the assumption that the noise coefficients are sufficiently regular in space. Our approach relies on Kunita’s stochastic method of characteristics, which allows us to transform the original SPDE-via a stochastic flow of diffeomorphisms-into a random PDE to which the classical De Giorgi-Nash-Moser estimates apply. This program is accomplished through new a-priori estimates for the inverse of stochastic flows of diffeomorphisms, and a novel version of the Itô-Wentzell formula adapted to rough random fields. To demonstrate the applicability of our results, we establish the existence of global, regular solutions to quasilinear SPDEs with transport noise.

19. Ground states of the defocusing NLSE with a point interaction

具有点相互作用的散焦型非线性薛定谔方程的基态

作者: Gustavo de Paula Ramos

类别: math.AP

发布日期: 2025-11-16

arXiv ID: 2511.12593v1

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

摘要: Suppose that either (i) $N = 2$, $α\in \mathbb{R}$ and $p > 2$ or (ii) $N = 3$, $α< 0$ and $2 < p < 3$. We prove that there exists an explicitly computable $μ_0 = μ_0 (N, α, p) > 0$ such that if $0 < μ< μ_0$, then the following normalized semilinear elliptic problem with a point interaction admits ground states:

$$ \begin{cases} - Δ_αu + ωu + u |u|^{p - 2} = 0 &\text{in} ~ \mathbb{R}^N; \\ \|u\|_{\mathscr{L}^2}^2 = μ, \end{cases} $$

where $- Δ_α$ denotes the Laplacian of point interaction (centered at the origin) with inverse scattering length $- 2 (N - 1) πα$ and we want to solve for $ω\in \mathbb{R}$, $u \colon \mathbb{R}^N \to \mathbb{R}$. We remark that this kind of solutions does not exist in the framework of the defocusing NLSE without a point interaction.

20. On Rellich-type asymptotics for eigenfunctions on rank one symmetric spaces of noncompact type

关于非紧型秩一典型对称空间上特征函数的Rellich型渐近性质

作者: Pritam Ganguly

类别: math.AP, math.CA

发布日期: 2025-11-16

arXiv ID: 2511.12561v1

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

摘要: We study eigenfunctions of the Laplace-Beltrami operator $Δ_X$ in exterior domains $Ω$ of rank-one Riemannian symmetric spaces of noncompact type $X$, a class that includes all hyperbolic spaces. Extending the classical $L^2$-Rellich theorem for the Euclidean Laplacian, we investigate the asymptotic behavior and $L^p$-integrability of solutions to the Helmholtz equation

$$ Δ_X f + (λ^2 + ρ^2) f = 0 \quad \text{in } Ω, $$

where $λ\in \mathbb{C}\setminus i\mathbb{Z}$ and $ρ$ is the half-sum of positive roots. We obtain sharp Rellich-type quantitative $L^p$-growth estimates of~$f$ in geodesic annuli, leading to the nonexistence of $L^p(Ω)$-solutions for the optimal range $1 \leq p \leq 2$ and spectral parameters $λ$ satisfying $|Im(λ)| \leq (2/p - 1)ρ$. As a by-product of our study, we also establish a Rellich-type uniqueness theorem for eigenfunctions in terms of Hardy-type norms. Our results geometrically extend the Euclidean Rellich theorem, revealing how exponential volume growth and the dependence of the $L^p$-spectrum of $Δ_X$ on $p$ give rise to genuinely non-Euclidean spectral phenomena.

21. Optimal uniform regularity and asymptotic behavior of solutions to Lotka-Volterra type systems with strong competition and asymmetric coefficients

具有强竞争和非对称系数的Lotka-Volterra型系统解的最佳一致正则性及渐近行为研究

作者: Zexin Zhang

类别: math.AP

发布日期: 2025-11-16

arXiv ID: 2511.12401v1

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

摘要: In this paper, we investigate the uniform regularity and asymptotic behavior of solutions to the following Lotka-Volterra type system of strong competition with Dirichlet boundary conditions: \begin{align*} \left{ \begin{array}{ll} -Δu_{i,β} = f_{i,β}(x, u_{i,β}) - βu_{i,β}^{p_i} \sum_{\substack{j=1 \ j \neq i}}^k a_{ij} u_{j,β}^{p_j}, \quad u_{i,β} > 0 & \text{in } Ω, u_{i,β} = \varphi_{i,β} & \text{on } \partialΩ, \end{array}\right. \end{align*} where $N \geq 1$, $1 \leq i \leq k$ with $k \geq 3$, $β> 0$, $p_i \geq 1$, $a_{ij} > 0$ for $i \neq j$, and $Ω$ is a $C^{1,\text{Dini}}$ bounded domain in $\mathbb{R}^N$. First, we prove that the uniform boundedness of the solutions implies their uniform interior and global Lipschitz boundedness as $β\to +\infty$. Such uniform results are optimal; partial versions thereof are known in the literature for symmetric coefficients (i.e., $a_{ij} = a_{ji}$ for all $i \neq j$) and homogeneous competition terms (i.e., $p_i = 1$ for all $i$). Here, we establish an Alt-Caffarelli-Friedman type monotonicity formula for the system and then employ blow-up analysis to show that these results also hold in the asymmetric or nonhomogeneous case. Next, as consequences of the uniform optimal regularity, we derive sharp quantitative pointwise estimates for the densities near the interface between different components.

22. Global stabilization and emergence tracking via aquatic control in an age-structured mosquito model

基于年龄结构蚊子模型中水生控制的全局稳定化与群体涌现跟踪

作者: Marius Bargo, Yacouba Simpore

类别: math.AP, math.DS, nlin.AO

发布日期: 2025-11-15

arXiv ID: 2511.12289v1

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

摘要: This paper presents an age-structured, non-autonomous logistic model describing the aquatic and adult stages of the dynamics of malaria-vector mosquitoes. We propose a biological control strategy targeting the aquatic compartment and implement a tracking control for its emergence. A feedback control law guarantees stabilization of the emergent population density, specifically the global asymptotic stability of the logistic model. Additionally, a feedforward controller combined with feedback is introduced to steer the emergent density toward a time-varying reference trajectory. The analytical findings are corroborated and illustrated by numerical simulations.

23. Fokker–Planck equations and n–dimensional Poincaré inequalities for isotropic densities

Fokker–Planck方程与各向同性密度的n维Poincaré不等式

作者: G. Furioli, A. Pulvirenti, E. Terraneo, G. Toscani

类别: math.AP

发布日期: 2025-11-15

arXiv ID: 2511.12197v1

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

摘要: We consider new connections between the problem of trend to equilibrium for the n-dimensional Fokker–Planck equation of statistical physics, and weighted Poincaré inequality. To this aim we consider a class of n-dimensional Fokker–Planck equations with variable isotropic coefficient of diffusion and drift, inspired by the analogous one-dimensional Fokker–Planck equation appearing when studying the evolution of wealth distribution.

24. Boundary regularity and Wiener-type criteria at infinity for nonlinear elliptic equations of $p$-Laplace type

非线性 p-拉普拉斯型椭圆方程在无穷远处的边界正则性与Wiener型判据

作者: Anders Björn, Jana Björn, David Manolis

类别: math.AP

发布日期: 2025-11-15

arXiv ID: 2511.12166v1

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

摘要: We study boundary regularity at the infinity point $\boldsymbol{\infty}$ for nonlinear elliptic equations of $p$-Laplace type in unbounded open sets $Ω\subset \mathbf{R}^n$. We consider the case $p \ge n \ge 2$ and characterize the regularity at $\boldsymbol{\infty}$ by means of Wiener-type integrals. Our approach uses circular inversion, which maps $\boldsymbol{\infty}$ to the origin and the original nonlinear equation to a similar weighted equation. The Wiener criterion at the origin for such equations is then transformed back to provide Wiener-type criteria at $\boldsymbol{\infty}$. When $p>n$, the criteria simplify so that $\boldsymbol{\infty}$ is regular if and only if the boundary $\partialΩ$ is unbounded. For $p=n$ this is not true, as shown by an example. This simplified criterion is also proved for $p$-harmonic functions in unbounded open subsets of Ahlfors $Q$-regular metric measure spaces with $Q<p$, supporting a Poincaré inequality.

25. Concentration in selection-mutation models: error estimates and asymptotic expansions

选择-突变模型中的集中现象：误差估计与渐近展开

作者: Caroline Guinet, Sepideh Mirrahimi, Jean-Michel Roquejoffre

类别: math.AP

发布日期: 2025-11-15

arXiv ID: 2511.12141v1

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

摘要: In this paper, we study an integro-differential equation which describes the evolutionary dynamics of a population structured by a phenotypic trait. This population undergoes asexual reproduction, competition, selection, and mutation. We provide an asymptotic analysis of the model, assuming that the mutations have small effects. A standard approach for the analysis of the qualitative properties of the solutions of such an equation is to apply a logarithmic transformation, which yields a Hamilton-Jacobi equation with constraint. When the reproduction term is a concave function of the trait, it has been established that the solution is classical. We rigorously derive a first-order asymptotic expansion of the solution. This expansion allows us to approximate the moments of the phenotypic density. This result establishes a connection between the approximations of the phenotypic density obtained via the Hamilton-Jacobi approach and relevant biological quantities, which are more suitable from a modeling perspective.

26. The Calderón Problem for Quasilinear Conductivities of Conformally Transversally Anisotropic Media

共形横观各向异性介质中拟线性电导率的Calderón问题

作者: Xi Chen, Ziyun Jin

类别: math.AP

发布日期: 2025-11-15

arXiv ID: 2511.12096v1

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

摘要: This paper investigates Calderón’s problem on a conformally transversally anisotropic manifold $ (M,g) $ of dimension $n \geq 3$, where the conductivity $ a(s,x,p) $ might depend on both the electric potential and the electric field. We establish that for all $(t,x)\in \mathbb{R}\times M$ and $β\in \mathbb{N}^{1+n}$ the derivatives $ \partial_{(s,p)}^βa(s,x,p)|_{(s,p)=(t,0)}$ are uniquely determined by the boundary voltage-current measurements. If $ a(s,x,p) $ is analytic in $ p $, then $ a(s,x,p) $ can be uniquely recovered.

27. Boundary blow-up solutions to real $(N-1)$-Monge-Ampère equations with singular weights

具有奇异权的实$(N-1)$-Monge-Ampère方程的边界爆破解

作者: Kiran Kumar Saha, Sweta Tiwari

类别: math.AP

发布日期: 2025-11-15

arXiv ID: 2511.12091v1

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

摘要: In this paper, we study a boundary blow-up problem for real $(N-1)$-Monge-Ampère equations of the form \begin{equation} \nonumber \left { \begin{aligned} & \operatorname{\det}^{\frac{1}{N-1}}\left(ΔzI-D^{2}z\right)=K(|x|)f(z) && \text{ in } Ω, & z(x) \to \infty \text{ as } \dist(x,\partialΩ) \to 0, \end{aligned} \right. \end{equation} where $Ω$ denotes a ball in $\mathbb{R}^{N} ~ (N \geq 2)$. The weight function $K$ is allowed to be singular, and the nonlinearity $f$ is assumed to satisfy a Keller-Osserman type condition. We establish the existence of infinitely many radial $(N-1)$-convex solutions to the system by employing the method of sub- and super-solutions, in conjunction with a comparison principle.

28. Fokker-Planck equations on discrete infinite graphs

离散无穷图上的福克-普朗克方程

作者: Jose A. Carrillo, Xinyu Wang

类别: math.AP

发布日期: 2025-11-15

arXiv ID: 2511.12076v1

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

摘要: We study the gradient flow structure and long-time behavior of Fokker-Planck equations (FPE) on infinite graphs, along with a Talagrand-type inequality in this setting. We begin by constructing an infinite-dimensional Hilbert manifold structure, extending the approach of [S. N. Chow, W. Huang, Y. Li, H. M. Zhou, Arch. Ration. Mech. Anal., 203, 969-1008 (2012)] through a novel classification method to establish injectivity of the map from quotient space to tangent space and employing functional analysis techniques to prove surjectivity. Using a combination of the relative energy method, approximation techniques, and continuity arguments, we establish the global existence and asymptotic convergence of solutions to the infinite-dimensional ODE system associated with the FPE. Specifically, we demonstrate that the FPE admits a gradient flow structure, with solutions converging exponentially to the unique Gibbs distribution. Furthermore, we prove a local Talagrand-type inequality and compare the Hilbert manifold metric induced by our framework with classical Wasserstein distances.

29. A class of Hartree-Fock systems with null mass via Nehari-Pohozaev with logarithmic interactions

一类通过Nehari-Pohožaev方法结合对数相互作用的零质量Hartree-Fock系统

作者: J. C. de Albuquerque, J. Carvalho, Edcarlos D. Silva

类别: math.AP

发布日期: 2025-11-14

arXiv ID: 2511.11932v1

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

摘要: We establish the existence and qualitative properties of nontrivial solutions for a class of Hartree-Fock type systems defined over the whole space $\mathbb{R}^2$. By introducing a suitable Nehari-Pohozaev manifold, we prove the existence, regularity and we describe the asymptotic behavior of solutions with respect to the interaction parameter $β> 0$. In particular, we show that the system admits either a vector ground state or a semitrivial ground state solution, depending on the magnitude of $β$.

30. Entire Nodal Solutions with Prescribed Symmetry to Caffarelli-Kohn-Nirenberg Equations

具有给定对称性的Caffarelli-Kohn-Nirenberg方程的整体变号解

作者: Edward Chernysh

类别: math.AP

发布日期: 2025-11-14

arXiv ID: 2511.11543v1

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

摘要: We establish the existence of sign-changing entire solutions to weighted critical $p$-Laplace equations of the Caffarelli-Kohn-Nirenberg type. In doing so, we investigate classes of symmetry and show that, for suitable symmetry configurations, there exists a non-trivial solution which changes sign and respects the corresponding prescribed symmetry. In addition, we describe conditions under which these symmetry-types are incompatible. Especially, we demonstrate the existence of entire nodal solutions for an infinite number of distinct symmetry types.