生成时间: 2025年10月30日 03:49:02

重点关注论文数量: 4

了解领域论文数量: 8

不相关论文数量: 24

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

1. On Type I blowup and $\varepsilon$-regularity criteria of suitable weak solutions to the 3D incompressible MHD equations

关于三维不可压磁流体动力学方程适定弱解的I型爆破及$\varepsilon$-正则性准则

作者: Wentao Hu, Zhengce Zhang

类别: math.AP

发布日期: 2025-10-29

arXiv ID: 2510.25448v1

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

详细分析

中文标题: 关于三维不可压磁流体动力学方程适定弱解的I型爆破及$\varepsilon$-正则性准则

1. 研究对象和背景

本文研究的是三维不可压缩磁流体动力学（MHD）方程的适定弱解（suitable weak solutions）在空间时间奇点附近的正则性问题，特别是关于I型爆破（Type I blowup）的刻画以及新的**$\varepsilon$-正则性准则**。所考虑的系统如下：

$$ \begin{cases} \partial_t u + u \cdot \nabla u - \Delta u + \nabla p = b \cdot \nabla b, \\ \partial_t b + u \cdot \nabla b - \Delta b = b \cdot \nabla u, \\ \mathrm{div}\, u = \mathrm{div}\, b = 0, \end{cases} \tag{1.1} $$

其中 $u(x,t)$ 表示速度场，$b(x,t)$ 表示磁场，$p(x,t)$ 是压力函数，定义在 $\mathbb{R}^3$ 上的时间演化过程中。该系统描述了粘性、不可压缩、导电流体在无外力作用下的运动规律，结合了纳维-斯托克斯（Navier–Stokes）方程与麦克斯韦电磁场理论的动力学耦合。

当磁场 $b \equiv 0$ 时，系统退化为经典的三维不可压 Navier–Stokes 方程：

$$ \begin{cases} \partial_t u + u \cdot \nabla u - \Delta u + \nabla p = 0, \\ \mathrm{div}\, u = 0. \end{cases} \tag{1.2} $$

该方程组长期以来是偏微分方程领域中的核心难题之一，尤其是在全局光滑解的存在性方面仍未解决（即著名的千禧年难题之一）。由于非线性项 $u \cdot \nabla u$ 的强耦合特性，即使在局部范围内，解也可能出现奇点。为此，Caffarelli、Kohn 和 Nirenberg 在1982年引入了“适定弱解”（suitable weak solution）的概念，并通过建立一系列尺度不变量下的小量控制条件（即 $\varepsilon$-正则性准则），证明了三维 Navier–Stokes 方程的奇异集的一维 Hausdorff 测度为零。

类似地，对于 MHD 系统 (1.1)，He 和 Xin 等人 [8] 在2005年推广了这一框架，定义了 MHD 情形下的适定弱解：设 $Q_1 = B_1(0) \times (-1, 0)$ 为单位抛物球，则三元组 $(u, b, p)$ 称为 (1.1) 在 $Q_1$ 中的适定弱解，若满足以下三个条件：

  1. $u, b \in L^\infty_t L^2_x(Q_1)$，$\nabla u, \nabla b \in L^2(Q_1)$，$p \in L^{3/2}(Q_1)$；
  2. $(u,b,p)$ 在分布意义下满足方程 (1.1)；
  3. 对几乎所有的 $t \in (-1,0)$，对任意非负光滑测试函数 $\phi$ 在抛物边界附近消失，满足局部能量不等式：
$$ \int_{B_1} \phi(x,t)(|u|^2 + |b|^2)\,dx + 2\int_{-1}^{t} \int_{B_1} \phi(|\nabla u|^2 + |\nabla b|^2)\,dx d\tau $$

$$ \leq \int_{-1}^{t} \int_{B_1} (|u|^2 + |b|^2)(\partial_t \phi + \Delta \phi)\,dx d\tau + \int_{-1}^{t} \int_{B_1} (u \cdot \nabla \phi)(|u|^2 + |b|^2 + 2p)\,dx d\tau $$

$$

  • 2\int_{-1}^{t} \int_{B_1} (b \cdot \nabla \phi)(u \cdot b),dx d\tau. \tag{1.3} $$

这个不等式是分析正则性的关键工具，允许我们从积分估计中提取点态控制。

为了研究奇点结构，文中引入了一组尺度不变量（scaling-invariant quantities），这些量在自然伸缩变换下保持形式不变：

$$ u_\lambda(x,t) = \lambda u(\lambda x, \lambda^2 t), \quad b_\lambda(x,t) = \lambda b(\lambda x, \lambda^2 t), \quad p_\lambda(x,t) = \lambda^2 p(\lambda x, \lambda^2 t). $$

对应的能量类泛函包括：

  • $A(f;r) := \sup_{-r^2 < t < 0} \frac{1}{r} \int_{B_r} |f(x,t)|^2 dx$
  • $E(f;r) := \frac{1}{r} \iint_{Q_r} |\nabla f|^2 dx dt$
  • $C(f;r) := \frac{1}{r^2} \iint_{Q_r} |f|^3 dx dt$
  • $H(f;r) := \frac{1}{r^3} \iint_{Q_r} |f|^2 dx dt$
  • $\widetilde{H}(f;r) := \frac{1}{r^3} \iint_{Q_r} |f - [f]_{B_r}|^2 dx dt$
  • $D(p;r) := \frac{1}{r^2} \iint_{Q_r} |p - [p]_{B_r}|^{3/2} dx dt$

其中 $[f]_{B_r}$ 表示函数 $f$ 在球 $B_r$ 上的平均值。记 $A(u,b;r) = A(u;r) + A(b;r)$，其余类似。

一个时空点 $(x_0,t_0)$ 被称为正则点，如果存在邻域 $Q_r(x_0,t_0)$ 上解有界；否则称为奇异点。进一步地，若所有上述尺度不变量在趋于零半径时一致有界，即存在 $r_0 > 0$ 使得

$$ \sup_{0 < r < r_0} \left[ A(u,b;r) + E(u,b;r) + C(u,b;r) + D(p;r) \right] < \infty, $$

则称该奇点为I型奇点（Type I singularity），否则为 II 型。I 型奇点的增长速率受控，而 II 型可能表现出更快的爆破行为。

以往工作如 Seregin [25] 对 Navier–Stokes 方程证明：只要速度场的某个尺度不变量（如 $A(u;r)$、$E(u;r)$ 或 $C(u;r)$）在小尺度下有界，则奇点最多是 I 型。本文将此结果推广至 MHD 系统，并首次允许对 $u$ 和 $b$ 分别施加独立的假设——这是方法上的重要灵活性提升。

此外，作者关注如何通过较弱的控制条件建立新的 $\varepsilon$-正则性准则。经典结果要求某些能量量趋于零（如 $C(u,b;r) \to 0$），但本文表明：只需速度场满足某种小量条件，同时磁场仅需其某尺度不变量整体有界，即可保证正则性。这再次凸显了速度场在决定正则性中的主导作用，与 He & Xin [8] 及数值模拟 [21] 的观察一致。

因此，本研究的核心问题是：在何种最弱条件下，能排除 MHD 系统中潜在的奇点？尤其是能否将已知的正则性判据大幅放宽，使其适用于更广泛的情形？

2. 主要定理或主要结果

Theorem 1.1（新 $\varepsilon$-正则性准则）

存在一个充分小的正常数 $\varepsilon > 0$，使得若 $(u,b,p)$ 是系统 (1.1) 在 $Q_1$ 中的适定弱解，且满足：

  • 小性条件（对速度场）：

    $$ \min\left\{ \lim_{r \to 0} A(u;r),\ \lim_{r \to 0} E(u;r),\ \lim_{r \to 0} C(u;r) \right\} < \varepsilon; $$

  • 有界性条件（对磁场）：

    $$ \min\left\{ \sup_{0 < r < r_0} A(b;r),\ \sup_{0 < r < r_0} E(b;r),\ \sup_{0 < r < r_0} C(b;r) \right\} < \infty, $$

对某个 $r_0 \leq 1$ 成立，则 $(0,0)$ 是正则点。

注：常数 $\varepsilon$ 依赖于初始能量 $A(u,b;r_0)+E(u,b;r_0)+C(u,b;r_0)+D(p;r_0)$ 以及上述磁场上界的大小。

Theorem 1.4（I型爆破准则）

若 $(u,b,p)$ 是 (1.1) 在 $Q_1$ 中的适定弱解，且存在 $r_1, r_2 \leq 1$，使得

  • 速度场某尺度不变量局部有界：

    $$ \min\left\{ \sup_{0 < r < r_1} A(u;r),\ \sup_{0 < r < r_1} E(u;r),\ \sup_{0 < r < r_1} C(u;r) \right\} < \infty; $$

  • 磁场某尺度不变量局部有界：

    $$ \min\left\{ \sup_{0 < r < r_2} A(b;r),\ \sup_{0 < r < r_2} E(b;r),\ \sup_{0 < r < r_2} C(b;r) \right\} < \infty, $$

则存在 $r_0 < \min\{r_1,r_2\}$，使得

$$ \sup_{0 < r < r_0} \left[ A(u,b;r) + E(u,b;r) + C(u,b;r) + D(p;r) \right] < \infty, $$

即 $(0,0)$ 至多是一个 I型奇点。

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

a) 核心分析学工具

  1. 尺度不变能量估计与迭代技巧
    文章大量使用各类尺度不变泛函之间的相互控制关系。例如利用 Gagliardo–Nirenberg 不等式建立 $C(f;r)$ 与 $A(f;r), H(f;r), E(f;r)$ 的联系：

    $$ C(f;r) \lesssim A^{1/2}(f;r)\left[H^{1/4}(f;r)E^{3/4}(f;r) + H(f;r)\right], $$

    以及在不同尺度间的比较：

    $$ C(f;r) \lesssim \left(\frac{r}{\rho}\right)^3 A^{3/2}(f;\rho) + \left(\frac{\rho}{r}\right)^{3/2} A^{3/4}(f;\rho) E^{3/4}(f;\rho). $$

    这些估计构成了后续迭代的基础。

  2. Calderón–Zygmund 理论与压力分解
    通过对压力方程 $-\Delta p = \mathrm{div div}(u \otimes u - b \otimes b)$ 进行分解 $p = p_1 + p_2 + p_3$，分别处理由速度、磁场产生的非局部项和调和部分。利用 Calderón–Zygmund 不等式得到：

    $$ \|p_1\|_{L^{3/2}} \lesssim \|u \otimes u\|_{L^{3/2}} \lesssim \|u\|_{L^3}^2, $$

    再结合 Poincaré 不等式改进为涉及 $\nabla u$ 和 $u - [u]$ 的形式，从而获得更精细的压力控制：

    $$ D(p;r) \lesssim \left(\frac{r}{\rho}\right)^{5/2} D(p;\rho) + \left(\frac{\rho}{r}\right)^2 \left[A^{1/2}(u;\rho)E(u;\rho) + C(b;\rho)\right]. $$

  3. 调和函数性质与均值估计
    利用调和函数的平均值性质来估计 $\widetilde{H}(f;r)$，即偏差平方的平均。引理 2.3 表明，若 $\sup E(f;r) \leq M$，则

    $$ \widetilde{H}(f;r) \leq c r \widetilde{H}(f;1/2) + \hat{c}(M), $$

    其中 $\hat{c}(M) \to 0$ 当 $M \to 0$。这说明梯度控制足够小时，函数在其平均值附近的震荡也小，这对连接 $H$ 与 $C$ 类泛函至关重要。

  4. 局部能量不等式变形
    使用特定截断函数 $\phi$（在 $Q_r$ 上为1，在 $Q_{2r}$ 外为0，且满足 $|\nabla \phi| \lesssim r^{-1}, |\partial_t \phi| + |\nabla^2 \phi| \lesssim r^{-2}$），将原始局部能量不等式转化为便于估计的形式：

    $$ A(u,b;r) + E(u,b;r) \lesssim H(u,b;2r) + C(u;2r) + \frac{1}{r^2} \iint_{Q_{2r}} |b|^2 |u| + |p - [p]| |u|. $$

b) 技术难点与突破技巧

  1. 分离变量处理策略
    传统方法往往联合控制 $(u,b)$，但本文创新性地允许对 $u$ 和 $b$ 施加独立的假设。例如在 Theorem 1.1 中，仅要求 $u$ 满足极限小性，$b$ 仅需某量有界。为此，作者设计了一套灵活的估计链，使每个环节都能单独处理 $u$ 或 $b$ 的贡献。

  2. 中间步骤构造：先证 Type I 性质
    证明 Theorem 1.1 的关键是先建立 Theorem 1.4 —— 即证明在给定有界性条件下，所有尺度不变量在小尺度下一致有界。这一步本身就是一个深刻的结果，它把原本需要极限趋于零的条件弱化为“局部有界”。

  3. 迭代论证与反证法结合
    在证明 Proposition 3.1（能量衰减估计）时，采用标准迭代思想：假设某个能量量在大尺度上有界，则通过逐层缩放和估计，推出其在小尺度下的衰减行为。结合反证法可推导出矛盾，从而得出正则性。

  4. 磁场的特殊处理：利用其扩散结构
    尽管磁场 $b$ 不直接出现在压力项的主要非线性部分（$u \otimes u$），但它通过 $b \otimes b$ 影响压力。然而作者发现，只要 $b$ 的某个尺度不变量有界，就能控制其对压力的贡献。这种“宽容”处理方式极大拓展了适用范围。

4. 与之前工作的比较

a) 突破与改进之处

  1. 推广 Seregin 的 I 型准则到 MHD 系统
    Seregin [25] 针对 Navier–Stokes 方程证明：若 $\sup_{r} \min\{A(u;r), E(u;r), C(u;r)\} < \infty$，则奇点至多为 I 型。本文将其成功推广至 MHD 情形，并额外加入磁场的影响，建立了完整对应的结果（Theorem 1.4），填补了该方向的空白。

  2. 显著放宽正则性条件
    相比 He & Xin [8] 的 Theorems A–C，本文的 Theorem 1.1 所需条件更为宽松。例如：

    • [8] 要求 $\lim_{r \to 0} C(u,b;r) < \varepsilon$ 或 $\lim E(u,b;r) < \varepsilon$，即必须对 $u$ 和 $b$ 同时施加小性；
    • 而本文仅需 $u$ 满足小性，$b$ 只要有界即可。

    这意味着即使磁场在奇点附近剧烈震荡（只要不超出发散阈值），也不破坏整体正则性，体现了更强的鲁棒性。

  3. 高度灵活的假设结构
    定理允许选择 $u$ 和 $b$ 的任意一个尺度不变量进行控制，且二者可独立选取。例如可以假设 $\lim A(u;r) < \varepsilon$ 且 $\sup E(b;r) < \infty$，无需统一类型。这种“模块化”设定极大增强了结果的应用广度。

  4. 为未来研究 Type II 奇点提供起点
    如 Seregin 最近工作 [30] 所指出，理解 Type II blowup 是当前前沿课题。本文通过明确界定何时仅为 Type I，为探索是否存在真正的 Type II 解提供了清晰的切入点。

综上所述，本文不仅在技术上推进了 MHD 方程的正则性理论，而且在思想层面提出了更具普适性的分析范式，有望成为后续研究的重要参考。

2. Solutions to the two-dimensional steady incompressible Euler equations in an annulus

环形区域中二维定常不可压缩欧拉方程的解

作者: Wengang Yang

类别: math.AP

发布日期: 2025-10-29

arXiv ID: 2510.25382v1

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

详细分析

中文标题: 环形区域中二维定常不可压缩欧拉方程的解

1. 研究对象和背景

本文研究的是环形区域（annulus）上二维定常不可压缩欧拉方程（steady incompressible Euler equations）的边值问题。这类方程描述了无粘、不可压缩流体在稳态下的运动，是流体力学中的基本模型之一。

考虑的物理域为：

$$ \Omega := \left\{ (x_1,x_2) \in \mathbb{R}^2 : r_0 < \sqrt{x_1^2 + x_2^2} < r_1 \right\}, $$

其中 $0 < r_0 < r_1$，即一个以原点为中心、内外半径分别为 $r_0$ 和 $r_1$ 的环形区域。由于该区域具有明显的旋转对称性，作者采用极坐标系 $(r,\theta)$ 来表述问题，使得分析更自然。

在极坐标下，速度场表示为：

$$ \mathbf{u}(r,\theta) = u_r(r,\theta)\mathbf{e}_r + u_\theta(r,\theta)\mathbf{e}_\theta, $$

其中 $\mathbf{e}_r = (\cos\theta, \sin\theta)^t$, $\mathbf{e}_\theta = (-\sin\theta, \cos\theta)^t$ 是极坐标的单位基向量。

二维定常不可压缩欧拉方程组写成如下形式：

$$ (u_r \partial_r + \frac{u_\theta}{r} \partial_\theta)u_r - \frac{u_\theta^2}{r} + \partial_r p = 0, $$
$$ (u_r \partial_r + \frac{u_\theta}{r} \partial_\theta)u_\theta + \frac{u_r u_\theta}{r} + \frac{1}{r} \partial_\theta p = 0, $$
$$ \frac{1}{r}\partial_r(r u_r) + \frac{1}{r}\partial_\theta u_\theta = 0. $$

这是论文第一页给出的核心控制方程（对应原文(1.2)）。第三个方程表示质量守恒（即不可压条件），前两个是动量方程。

引入标量涡度（vorticity）：

$$ \omega := \frac{1}{r}(\partial_\theta(r u_\theta) - \partial_r(r u_r)), $$

并定义伯努利函数（Bernoulli function）：

$$ H := \frac{1}{2}|\mathbf{u}|^2 + p, $$

则可将欧拉系统重写为：

$$ \mathbf{u} \times \omega = \nabla H, \quad \nabla \cdot \mathbf{u} = 0, \quad \nabla \times \mathbf{u} = \omega. $$

这一结构与磁流体静力学方程（Magnetohydrostatics, MHS）在数学上等价——这也是本文的重要观察点之一。通过这种类比，许多MHS中的方法可以迁移到欧拉流的研究中。

本文关注的重点是非零涡度的旋转流动（rotational flows），区别于势流（irrotational flow, $\omega=0$）。这类解更具挑战性，因为其非线性更强，且拓扑结构复杂，在天体物理、等离子体约束等领域有重要应用。

研究的关键在于五类不同的边界条件，列于文中的 Table 1：

内圆 $r=r_0$外圆 $r=r_1$记号
$u \cdot n = f_0(\theta)$$u \cdot n = f_1(\theta)$(BC1)
$u \cdot n = f_0(\theta),\; H = b_0(\theta)$$H = b_1(\theta)$(BC2)
$u \cdot n = f_0(\theta),\; H = b_0(\theta)$$p = p_1(\theta)$(BC3)
$u \cdot n = f_0(\theta)$$u \cdot n = f_1(\theta)$(BC4)
$u \cdot n = f_0(\theta),\; p = p_0(\theta)$$p = p_1(\theta)$(BC5)

这些边界条件涵盖了常见的物理设定：法向速度给定、压力或伯努利函数指定等。特别地，(BC2) 要求伯努利函数在内外边界都已知，但必须满足相容性条件 $b_1 = b_0 \circ T$，其中 $T$ 是一个保持定向的 $C^{2,\alpha}$ 微分同胚，否则会导致不协调。

所有边界数据均假设属于Hölder空间 $C^{1,\alpha}(\mathbb{T}_{2\pi})$，即周期为 $2\pi$ 的连续可微函数，其导数满足 Hölder 连续条件。此外，文中还要求某些条件下数据足够小（如 Theorem 2.3 中的扰动框架），或满足积分相容性条件（如 $\int_0^{2\pi} f_i(s)ds = J_0$）。

函数空间方面，主要工作空间包括：

  • $C_b(\Omega)$：$\Omega$ 上的有界连续函数；
  • $C^{k,\alpha}(\Omega)$：标准的 Hölder 空间，配备范数 $\|f\|_{C^{k,\alpha}} = \|f\|_{C^k} + \sup_{x\ne y} \frac{|\nabla^k f(x)-\nabla^k f(y)|}{|x-y|^\alpha}$；
  • $C^{0,1}$：Lipschitz 函数空间；
  • $H^1_{\text{per}}(\Omega)$：Sobolev 空间中具有角度周期性的函数。

值得注意的是，尽管存在多个边界条件组合，但并非所有组合都是良定的。例如 Remark 1.1 指出，若同时在内外边界分别指定法向速度、压力和伯努利函数，则可能无法保证解的存在性，原因在于缺乏足够的结构来确定涡度演化。

综上所述，本工作的研究对象是一个定义在二维环形区域上的非线性偏微分方程组，目标是在多种物理上有意义的混合型边界条件下建立解的存在性与唯一性，并探讨其正则性（尤其是 $C^{1,\alpha}$ 和 $C^{2,\alpha}$ 解）。由于涡度输运机制的存在，问题本质上是非局部且高度非线性的，因此需要发展精细的分析工具。

2. 主要定理或主要结果

本文建立了三类基于 Grad-Shafranov 方法 的结果（Theorems 2.1–2.3）和两类基于 vorticity transport 方法 的结果（将在 Section 3 展开），并在最后统一证明了五类边值问题均可解。

Theorem 2.1 （针对边界条件 (BC1)）

设 $f_0(\theta), f_1(\theta), b_0(\theta) \in C^{1,\alpha}(\mathbb{T}_{2\pi})$，且 $f_0(\theta) \geq \delta > 0$ 对所有 $\theta$ 成立。则定常不可压缩欧拉方程 (1.2) 存在一个解 $(\mathbf{u}, p) \in (C^{1,\alpha}(\Omega))^3$ 满足边界条件 (BC1)。进一步，当 $b_0 \in C^{1,1}(\mathbb{T}_{2\pi})$ 且 $b_0'$ 的 $C^{0,1}$ 范数足够小时，解是唯一的。

注：此处虽未显式列出 $j_0$，但它出现在 (BC1) 的环流量条件中：$\int_{r_0}^{r_1} u_\theta(r,0) dr = j_0$。

Theorem 2.2 （针对边界条件 (BC2)）

设 $f_0(\theta), b_0(\theta) \in C^{1,\alpha}(\mathbb{T}_{2\pi})$，$f_0(\theta) \geq \delta > 0$，并假设外边界上的伯努利函数满足 $b_1 = b_0 \circ T$，其中 $T: \mathbb{T}_{2\pi} \to \mathbb{T}_{2\pi}$ 是一个保向的 $C^{2,\alpha}$ 微分同胚。则存在解 $(\mathbf{u}, p) \in (C^{1,\alpha}(\Omega))^3$ 满足 (BC2)。若 $b_0 \in C^{1,1}$ 且 $b_0'$ 的 $C^{0,1}$ 范数足够小，则解唯一。

Theorem 2.3 （针对边界条件 (BC3)，扰动情形）

给定 $f_0, b_0, p_1 \in C^{1,\alpha}(\mathbb{T}_{2\pi})$ 和常数 $j_0 \in \mathbb{R}$。存在 $\varepsilon_0 > 0$，使得当

$$ \|f_0\|_{C^{1,\alpha}} + \|b_0\|_{C^{1,\alpha}} + \|p_1'\|_{C^{\alpha}} + |j_0| \leq \varepsilon < \varepsilon_0 $$

时，定常欧拉方程在边界条件 (BC3) 下存在唯一解 $(\mathbf{u}, p) \in (C^{1,\alpha}(\Omega))^3$。

此处使用了扰动方法，围绕平衡态 $(\bar{\mathbf{u}}, \bar{p}) = (e_r / r, -1/(2r^2))$ 展开。

上述三个定理均由相应的命题支撑：

  • Proposition 2.1：利用变分方法构造了满足 (BC1)/(BC2) 的 $C^{2,\alpha}$ 流函数 $\phi$，从而得到速度与压力。
  • Proposition 2.2：对非线性边界问题 (BC3) 使用迭代法，在小数据假设下证明了解的唯一存在性。

此外，文章指出所有五个边值问题都可以通过涡度输运方法求解，并进一步在扰动框架下获得 $C^{2,\alpha}$ 解的适定性。

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

a) 核心分析学工具

(i) Grad-Shafranov 方法

该方法的核心思想是引入流函数 $\psi$，使得 $\mathbf{u} = \nabla^\perp \psi$。由不可压条件自动满足 $\nabla \cdot \mathbf{u} = 0$。再利用 $\mathbf{u} \cdot \nabla H = 0$ 推出 $H = F(\psi)$，即伯努利函数仅为流函数的函数。由此可得：

$$ \Delta \psi = -F'(\psi), $$

这是一个典型的非线性椭圆方程，称为 Grad-Shafranov 方程。

在极坐标下，经过变量变换 $z_1 = r, z_2 = \theta$，方程变为：

$$ -\mathrm{div}_z(K(z_1)\nabla_z \phi) = z_1 B'(\phi), $$

其中 $K(z_1)$ 是系数矩阵，包含几何因子（见原文(2.5)）。这一步将原始的双曲-椭圆耦合系统转化为单一的非线性椭圆边值问题，从而可以使用经典的椭圆理论处理。

(ii) 变分方法（Variational Techniques）

对于 (BC1) 和 (BC2)，作者构建了一个能量泛函：

$$ I[\psi] = \int_\Omega \left[ \frac{1}{2}(K\nabla\psi)\cdot\nabla\psi - z_1 B(\psi + \bar{J}_0 z_2) \right] dz, $$

作用于满足边界条件和周期性的函数空间 $A \subset H^1_{\text{per}}(\Omega)$。由于被积函数关于 $\nabla\psi$ 是凸且强制的，故存在极小元 $\psi$，它正是弱解。结合椭圆正则性理论（如 Gilbarg-Trudinger），从 $B'(\psi) \in C^\alpha$ 可推出 $\psi \in C^{2,\alpha}$，进而恢复 $\mathbf{u}, p \in C^{1,\alpha}$。

(iii) 迭代法与线性化分析

对于带有非线性边界条件的 (BC3)，作者采用逐次逼近法。首先通过 Lemma 2.1 建立线性椭圆问题的适定性：

$$ \begin{cases} -\mathrm{div}_z(K\nabla\phi) = F(z), \\ \phi(r_0,z_2) = \int_0^{z_2} f_0(s)ds, \quad \phi(r_1,z_2) = -j_0 + \int_0^{z_2} f_1(s)ds, \\ \phi(z_1,z_2+2\pi) = \phi(z_1,z_2)+J_0, \end{cases} $$

其解满足估计 $\|\phi\|_{C^{2,\alpha}} \leq C(|j_0| + \|F\|_{C^\alpha} + \|f_0\|_{C^{1,\alpha}} + \|f_1\|_{C^{1,\alpha}})$。在此基础上设计迭代序列，利用小数据条件控制非线性项的增长，最终收敛到唯一解。

(iv) 涡度输运方法（Vorticity Transport Method）

这是另一条主线。关键方程是涡度沿流线守恒：

$$ (\mathbf{u} \cdot \nabla)\omega = 0. $$

这意味着 $\omega$ 在每条流线上为常数。因此，给定初始速度场 $\hat{\mathbf{u}}$，可先求解输运方程 $(\hat{\mathbf{u}} \cdot \nabla)\omega = 0$，初值由内边界决定；然后解散度-旋度系统：

$$ \nabla \cdot \mathbf{u} = 0, \quad \nabla \times \mathbf{u} = \omega, \quad \mathbf{u} \cdot \mathbf{n}|_{r=r_i} = f_i(\theta), $$

这个系统在适当函数空间中有唯一解。关键是验证边界条件能否确定初始涡度 $\omega_0(\theta)$ 和外法向速度 $f_1(\theta)$。

例如，(BC5) 中给出了内边界的压力 $p_0(\theta)$ 和法向速度，结合伯努利函数表达式可反演出 $\omega_0(\theta)$；而外边界压力 $p_1(\theta)$ 结合动量方程可用于确定 $f_1(\theta)$。

b) 技术难点与解决技巧

  • 非局部性与非线性耦合：涡度依赖于速度，速度又由涡度通过 div-curl 系统决定。作者通过迭代映射 $\hat{\mathbf{u}} \mapsto \omega \mapsto \mathbf{u}$ 实现解的构造。

  • 边界数据的相容性：如 (BC2) 中若 $b_0$ 与 $b_1$ 不通过微分同胚关联，则无解。作者明确要求 $b_1 = b_0 \circ T$，确保流线结构一致。

  • 唯一性证明中的 Lipschitz 控制：在 Proposition 2.1 的唯一性部分，作者估计 $|z_1 B'(\phi_1) - z_1 B'(\phi_2)|$ 时，利用 $Z(\tau) = \phi_0^{-1}(\tau)$ 的导数性质（$Z' = 1/f_0$, $Z'' = -f_0'/f_0^3$），将 $B'$ 的差异控制在 $\|\phi_1 - \phi_2\|$ 上，最终得出只要 $\|b_0'\|_{C^{0,1}}$ 足够小，就有 $\tilde{\psi} = 0$。

  • 周期性与全局定义：由于角度变量 $\theta$ 是周期的，所有函数需满足 $f(\theta+2\pi)=f(\theta)$。作者通过构造流函数满足 $\phi(z_1,z_2+2\pi) = \phi(z_1,z_2) + J_0$，保留了环流量信息，避免多值性问题。

4. 与之前工作的比较

a) 突破与改进

本文的主要贡献体现在以下几个方面：

  1. 系统分类与统一处理五类边界条件
    相较于以往文献通常只研究特定一类边界条件（如仅法向速度或仅压力），本文首次系统地分析了五种常见组合，并证明它们在适当条件下都是适定的。尤其对于 (BC3) 和 (BC5) 这类涉及压力而非伯努利函数的情形，此前结果较少。

  2. 推广 Grad-Shafranov 方法的应用范围
    经典 Grad-Shafranov 方法主要用于磁流体或轴对称问题。本文将其成功应用于二维环形区域的欧拉流，并处理了非均匀边界条件（如不同函数在内外边界），扩展了该方法的适用场景。

  3. 引入并完善涡度输运框架用于二维定常问题
    虽然 Albert [2] 将此方法用于三维定常欧拉方程的小扰动解，但本文首次将其系统应用于二维情形，并展示了其对多种边界条件的强大适应能力。这种方法绕开了流函数的存在性前提，适用于更一般的拓扑结构。

  4. 降低唯一性所需的正则性假设
    在 Theorems 2.1–2.3 中，存在性只需 $C^{1,\alpha}$ 边界数据，而唯一性仅要求 $b_0 \in C^{1,1}$ 且其导数的 $C^{0,1}$ 范数小——不要求整体小数据，允许 $b_0$ 本身很大，这是比传统小扰动理论更强的结果。

  5. 获得更高阶正则性
    通过变分法和椭圆正则性，直接得到了 $C^{2,\alpha}$ 流函数和 $C^{1,\alpha}$ 速度/压力，优于仅 Sobolev 正则性的早期结果。

  6. 揭示 MHS 与欧拉系统的深层对应关系
    文章强调两者数学结构的等价性（见 Remark 1.4），暗示可用于欧拉流的方法也可迁移至 MHS，反之亦然，为跨领域研究提供了桥梁。

b) 放宽的假设与增强的结果

  • 无需全局小初值：Theorems 2.1 和 2.2 的存在性不依赖任何小性假设，仅需 $f_0 \geq \delta > 0$ 保证可逆性。
  • 允许大振幅解：即使 $b_0$ 很大，只要其导数变化不大（Lipschitz 小），仍能保证唯一性。
  • 处理非线性边界条件：(BC3) 中的压力导数边界条件是非线性的，作者通过迭代法处理，突破了线性椭圆理论的局限。
  • 覆盖更多物理情景：五类边界条件对应不同的实验或数值模拟设置，增强了理论的实用性。

总之，本文不仅推进了二维定常欧拉方程的适定性理论，也为后续研究复杂边界下的流体稳定性、多连通区域解的结构等问题奠定了基础。

3. Steady super-Alfvénic MHD shocks with aligned fields in two-dimensional almost flat nozzles

二维近似平坦喷管中磁场平行的稳态超阿尔文磁流体激波

作者: Shangkun Weng, Wengang Yang

类别: math.AP, 35L65, 35L67, 76N10, 76N15, 76W05

发布日期: 2025-10-29

arXiv ID: 2510.25374v1

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

详细分析

中文标题: 二维近似平坦喷管中磁场平行的稳态超阿尔文磁流体激波

研究对象和背景

本文研究的是二维稳态可压缩磁流体动力学（MHD）方程中的超阿尔文数（super-Alfvénic）跨音速激波解的存在性与稳定性问题，特别聚焦于在几乎平坦的二维喷管中、当速度场与磁场对齐时的情形。该模型描述了电导率极高（理想导体）、无粘性、可压缩导电流体（如等离子体）在恒定磁场作用下的运动。

所考虑的基本控制方程为二维稳态理想MHD系统：

$$ \begin{cases} \partial_{x_1}(\rho u_1) + \partial_{x_2}(\rho u_2) = 0, \\ \partial_{x_1}(\rho u_1^2 + p) + \partial_{x_2}(\rho u_1 u_2) = h_2(\partial_{x_1}h_1 - \partial_{x_2}h_2), \\ \partial_{x_1}(\rho u_1 u_2) + \partial_{x_2}(\rho u_2^2 + p) = h_1(\partial_{x_2}h_1 - \partial_{x_1}h_2), \\ \partial_{x_1}(h_1 u_1 + h_2 u_2) = 0, \\ \nabla \cdot h = 0, \end{cases} $$

其中 $\rho$ 是密度，$u = (u_1, u_2)$ 是速度向量，$p$ 是压力，$h = (h_1, h_2)$ 是磁场向量。系统的总能量守恒由一个额外的守恒量体现：比总能量

$$ B = \frac{1}{2}|u|^2 + e + \frac{p}{\rho}, $$

其中 $e$ 是单位质量内能。对于多变气体，状态方程为：

$$ p = S \rho^\gamma, \quad e = \frac{p}{(\gamma - 1)\rho}, \quad \gamma > 1, $$

这里 $S$ 表示熵，$\gamma$ 是绝热指数。

与纯气体动力学（Euler 方程）相比，MHD 系统的关键区别在于存在洛伦兹力项，它导致扰动传播具有各向异性，从而使得系统的类型不仅依赖于马赫数 $M^2 = |u|^2 / c^2(\rho, s)$（声速 $c = \sqrt{\partial_\rho p}$），还依赖于另一个无量纲参数——阿尔文数：

$$ A^2 = \frac{|u|^2}{c_a^2}, \quad c_a = \frac{|h|}{\sqrt{\rho}} $$

即以阿尔文波速 $c_a$ 为参考的速度比值。因此，在稳态情形下，MHD 方程组的类型可能是椭圆-双曲混合型或全双曲型，具体取决于 $M$ 和 $A$ 的相对大小。

特别地，当流动是超阿尔文数（$A > 1$）时，意味着流速大于阿尔文波速，此时系统在整个区域保持双曲性或具有一致的类型结构，这为建立局部适定性和稳定性分析提供了可能路径。

本文进一步假设一个重要物理简化：速度场与磁场对齐，即存在标量函数 $\kappa(x_1,x_2)$ 使得

$$ h(x_1, x_2) = \kappa(x_1, x_2)(\rho u)(x_1, x_2). $$

这一“对齐场”假设在许多天体物理场景中合理，例如太阳风或喷流沿开放磁力线传播的情况。在此条件下，原MHD系统可约化为关于未知量 $U = (u_1, u_2, p, S, \kappa)$ 的闭合系统，并引入总压强（kinetic plus magnetic pressure）：

$$ P = p + \frac{1}{2}|h|^2 = p + \frac{1}{2}\kappa^2 \rho^2 |u|^2. $$

此总压强在后续分析中扮演关键角色，尤其是在出口边界条件的设定中。

几何区域为一个二维几乎平坦的喷管：

$$ \mathcal{N} := \{(x_1, x_2): L_0 < x_1 < L_1,\ w_0(x_1) < x_2 < w_1(x_1)\}, $$

其上下壁面定义为：

$$ W_i := \{(x_1, x_2): x_2 = w_i(x_1),\ L_0 \leq x_1 \leq L_1\}, \quad i=0,1, $$

并设 $w_0(x_1) \equiv 0$，而上壁面为小扰动形式：

$$ w_1(x_1) = 1 + \sigma f(x_1), \quad f \in C^{3,\alpha}([L_0,L_1]),\ f^{(j)}(L_0) = 0,\ j=0,1,2,3, $$

其中 $\sigma > 0$ 是一个小参数，表示喷管偏离矩形的程度。这种“几乎平坦”的结构允许使用摄动方法来研究非均匀几何对激波位置的影响。

入口 $\Gamma_0$ 和出口 $\Gamma_1$ 分别位于 $x_1 = L_0$ 和 $x_1 = L_1$ 处。边界条件如下：

  • 入口给定常数状态 $U_- = \bar{U}_-$；
  • 出口给定总压强：$P(L_1, x_2) = \bar{P}_+ + \sigma P_{ex}(x_2)$，其中 $P_{ex} \in C^{2,\alpha}(\Gamma_1)$；
  • 壁面上满足滑移条件：$-u_1 w'_i + u_2 = 0$，即流线贴合边界。

激波前沿设为曲线 $x_1 = \xi(x_2)$，满足Rankine-Hugoniot跳跃条件（RH条件），包括质量、动量、总能量及磁场连续性的跃变关系。背景激波解 $(\bar{U}_-, \bar{U}_+)$ 是两个常数状态，满足RH条件且 $[p] = \bar{p}_+ - \bar{p}_- > 0$，表明激波压缩流体。

关键假设是背景状态满足 超阿尔文条件：

$$ \bar{A}_\pm > 1 \quad \Longleftrightarrow \quad \kappa_\pm^2 < \frac{1}{\rho_\pm}. $$

此条件确保在激波前后区域，MHD系统的主部算子保持适当的双曲结构，避免出现复杂的椭圆-双曲过渡区域，从而简化数学分析。

最终目标是证明：在上述小扰动（喷管形状与出口压力）下，存在唯一的结构稳定的跨音速激波解 $(U_\pm; \xi(x_2))$，其激波位置 $\xi(x_2)$ 接近背景位置（通常取为中间平面），且解具有足够正则性（如 $C^{2,\alpha}$）。

主要定理或主要结果

论文的核心成果体现在以下定理中（虽未完整写出编号，但从引言和结构可推断为主定理）：

定理（主要存在性与稳定性结果）
设背景激波状态 $(\bar{U}_-, \bar{U}_+)$ 满足超阿尔文条件 $\bar{A}_\pm > 1$，喷管壁面 $w_1(x_1) = 1 + \sigma f(x_1)$ 满足兼容性条件 $f^{(j)}(L_0) = 0$ ($j=0,1,2,3$)，出口总压为 $P(L_1, x_2) = \bar{P}_+ + \sigma P_{ex}(x_2)$，其中 $P_{ex} \in C^{2,\alpha}(\Gamma_1)$。则存在常数 $\sigma_0 > 0$，当 $0 < \sigma < \sigma_0$ 时，存在唯一解 $(U_-(x), U_+(x); \xi(x_2))$ 满足：

  1. 在激波前区域 $\mathcal{N}_-$ 中，$U_-$ 满足 MHD 方程组（1.14），并在入口 $\Gamma_0$ 取值 $\bar{U}_-$，在壁面 $W_i$ 上满足滑移条件；
  2. 在激波后区域 $\mathcal{N}_+$ 中，$U_+$ 满足相同方程，在壁面满足滑移条件，在出口 $\Gamma_1$ 满足总压条件；
  3. 激波 $x_1 = \xi(x_2)$ 将两区域分开，且 $U_\pm$ 在激波上满足 Rankine-Hugoniot 条件；
  4. 解 $(U_\pm, \xi)$ 属于适当 Hölder 空间（如 $C^{2,\alpha}$），并满足估计：
    $$ \|U_\pm - \bar{U}_\pm\|_{C^{2,\alpha}} + \|\xi - \bar{\xi}\|_{C^{2,\alpha}} \leq C \sigma, $$
    其中 $\bar{\xi}$ 为背景激波位置（常数），$C$ 为与 $\sigma$ 无关的常数。

此外，作者提出了一个新的可容许条件（admissible condition）用于确定初始激波位置的近似。该条件将激波位移与喷管壁面形貌和出口总压扰动联系起来，形式大致为：

$$ \int_0^1 [\partial_{y_1} P_0(y_1, y_2)]_{y_1 = \eta(y_2)} dy_2 = \text{某种关于 } f \text{ 和 } P_{ex} \text{ 的积分表达式}, $$

其中 $\eta(y_2)$ 是拉格朗日坐标下的激波曲线。这个条件是通过求解线性化自由边界问题得到的，作为非线性迭代的初值。

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

a) 核心分析学工具

  1. 变形-旋度分解（Deformation-Curl Decomposition）
    这是本文最核心的数学工具，最初由 Weng-Xin [29] 提出于 Euler 方程研究中，本文将其成功推广至 MHD 情形。该方法将速度场的梯度 $\nabla u$ 分解为变形张量（deformation tensor）和旋度（curl）部分，从而将动量方程重写为关于这些新变量的耦合系统。具体而言，在拉格朗日坐标下，作者发现：

    • 连续性方程转化为对变形张量的约束；
    • 动量方程可提取出关于速度旋度（vorticity）的演化方程；
    • 结合熵 $S$ 和伯努利函数 $B$ 的输运性质，整个系统被重构为一组更易于处理的一阶偏微分方程组。

    此分解的优势在于：它自然分离了流场的“可积分”部分（如熵、涡量）与“几何”部分（变形），便于进行线性化和迭代构造。

  2. 拉格朗日坐标变换（Lagrangian Transformation）
    作者引入坐标映射 $(x_1, x_2) \mapsto (y_1, y_2)$，其中 $y_1 = x_1$，$y_2$ 由流函数定义（满足 $\partial_{x_1} Y_2 = -\rho u_2$, $\partial_{x_2} Y_2 = \rho u_1$）。此变换将弯曲的流线“拉直”，使原始不规则区域 $\mathcal{N}$ 映射为矩形域 $N_y = (L_0, L_1) \times (0,1)$，同时将质量守恒方程简化为 $\partial_{y_1}(\tilde{\rho} \tilde{u}_1) + \partial_{y_2}(\tilde{\rho} \tilde{u}_2) = 0$ 的标准形式。更重要的是，它使得激波变为水平直线或小扰动曲线 $y_1 = \eta(y_2)$，极大简化了自由边界的处理。

  3. 不动点原理（Fixed Point Argument）
    整体证明框架基于经典的压缩映射原理。作者设计了一个非线性迭代方案：

    • 第一步：从背景解出发，求解一个线性化的自由边界问题，获得激波位置的首次逼近 $\eta_0(y_2)$；
    • 第二步：固定当前激波位置 $\eta_k$，求解区域内非线性方程的边值问题；
    • 第三步：利用RH条件更新激波位置 $\eta_{k+1}$；
    • 重复直至收敛。

    为了保证迭代收敛，必须在适当的函数空间（如 $C^{1,\alpha}$ 或 Sobolev 空间）中建立解的一致先验估计，并证明映射是压缩的。

  4. 椭圆-双曲耦合系统的先验估计
    在激波前后区域，系统分别为超音速（双曲）和亚音速（可能椭圆）区域。作者利用变形-旋度分解后得到的方程组（2.17）具有如下结构：

    $$ A_1(U)\partial_{y_1} u + A_2(U)\partial_{y_2} u = f(U), $$

    其特征根由公式

    $$ \lambda_\pm(U) = -\frac{u_2}{\rho |u|^2} \left( (1 - \rho \kappa^2)(M^2 - 1) \right)^{1/2} $$

    给出。通过对系数矩阵 $A_1, A_2$ 的精细分析，结合 Schauder 型估计或能量方法，建立解在 Hölder 空间中的有界性和紧性，支撑不动点论证。

  5. 隐函数定理与自由边界处理
    激波位置 $\xi(x_2)$ 是未知的自由边界。通过将 RH 条件视为关于 $\eta'(y_2)$ 的代数方程（如 $G_0(U_+, U_-; \eta') = 0$），并验证其关于 $\eta'$ 的导数非零，可用隐函数定理局部求解 $\eta'$，进而积分得 $\eta$。这构成了迭代步骤的基础。

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

  1. 非线性跳跃条件的处理
    RH 条件本身是非线性的且涉及两侧解的匹配。作者通过将跳跃项展开为背景值加扰动的形式，将其线性化。例如，将 $[\tilde{P}]$ 写成 $\Delta P + \mathcal{O}(\sigma^2)$，然后通过泰勒展开精确捕捉一阶项，从而导出线性自由边界问题。

  2. 避免人工奇异性
    若采用极坐标或球坐标处理对称解，常出现坐标奇点。本文采用笛卡尔坐标结合变形-旋度分解，完全规避了此类问题，也为未来三维推广奠定基础。

  3. 总压而非静压作为出口条件
    在MHD中，仅控制静压不足以确定解，因为磁场也会贡献压力。作者正确选择总压 $P = p + |h|^2/2$ 作为出口边界条件，符合物理实际，并在数学上保证了解的适定性。

  4. 兼容性条件的设计
    对壁面函数 $f(x_1)$ 施加高达三阶导数在入口处为零的条件（$f^{(j)}(L_0)=0, j=0,1,2,3$），是为了保证背景解与扰动解在入口附近光滑连接，防止边界层或奇性积累，这对高阶正则性估计至关重要。

与之前工作的比较

a) 突破与改进

本文相对于先前工作（尤其是 Fang-Hua Lin 与 Xin 在 [12] 中对 Euler 方程的研究）做出了若干重要推进：

  1. 从Euler到MHD的实质性拓展
    文献 [12] 研究的是无磁场的稳态Euler方程中的跨音速激波问题。本文首次将类似方法应用于含磁场的MHD系统，由于洛伦兹力引入的各向异性与额外自由度（磁场分量），数学结构更为复杂。作者成功克服了磁场与流速耦合带来的非线性挑战，特别是通过引入对齐场假设和总压概念，实现了系统的封闭与简化。

  2. 提出新的“可容许条件”
    Fang-Xin [12] 使用基于流角与压力分解的方法导出激波位置条件。本文改用变形-旋度分解，得出的可容许条件形式不同，但更具普适性。更重要的是，这种分解天然适用于三维情形，因此作者指出其条件“至少在初始逼近层面可直接推广到三维”，这是原有方法难以做到的。

  3. 物理量选择更准确：总压代替静压
    在MHD中，出口应控制的是总压强（kinetic + magnetic），而非单纯的静压。本文明确使用 $P = p + |h|^2/2$ 作为边界条件，这不仅物理上更合理，也使得数学模型忠实反映真实等离子体现象，如太阳风终端激波。

  4. 方法论上的统一与推广潜力
    本文发展的变形-旋度分解技术已在作者前期工作中用于三维轴对称Euler方程（见[27,30,31]），现又成功应用于二维MHD，显示出强大的适应性和可扩展性。相比之下，Fang-Xin 所依赖的“压力-流角分解”在三维中缺乏自然推广。

  5. 放宽对称性假设
    早期关于跨音速激波的工作多依赖于径向或球对称假设（如[16,18,20]），限制了几何灵活性。本文处理的是任意小扰动的非对称喷管，无需任何对称性，属于真正意义上的多维非对称解的存在性证明。

  6. 更清晰的类型判据与稳定性机制
    通过强调阿尔文数 $A > 1$ 的作用，本文明确了在何种参数范围内系统保持良好双曲性，从而保障稳定性。这一点在纯气体动力学中不存在，是MHD特有的结构特征。这也为未来研究 $A < 1$ 的混合型情况提供了对比基准。

综上所述，本文不仅是对已有Euler理论的简单模仿，而是结合MHD物理特性，发展出一套新颖、深刻且具广泛前景的数学工具链，显著推动了多维稳态激波理论的发展。

4. Global nonlinear stability of vortex sheets for the Navier-Stokes equations with large data

具有大初值的Navier-Stokes方程涡旋片的全局非线性稳定性

作者: Qian Yuan, Wenbin Zhao

类别: math.AP

发布日期: 2025-07-12

arXiv ID: 2507.09359v2

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

详细分析

中文标题: 具有大初值的Navier-Stokes方程涡旋片的全局非线性稳定性

1. 研究对象和背景

本文研究的是三维可压缩等熵Navier-Stokes方程在无限长喷管区域中的涡旋层（vortex layer）的全局非线性稳定性问题，特别关注当初始扰动和背景流具有大振幅时的稳定性。这一问题与流体力学中经典的涡旋片（vortex sheet）不稳定性现象密切相关。

所研究的控制方程为：

$$ \begin{cases} \partial_t \rho + \mathrm{div}\, m = 0, \\ \partial_t m + \mathrm{div}(\rho u \otimes u) + \nabla p = \mu \Delta u + (\mu + \lambda) \nabla \mathrm{div}\, u, \end{cases} \quad x \in \mathbb{R}^3,\ t > 0, $$

其中 $\rho$ 是密度，$u$ 是速度向量场，$m = \rho u$ 是动量，压力 $p = p(\rho) = \rho^\gamma$ 满足 $\gamma > 1$，粘性系数满足物理条件：$\mu > 0$ 且 $\lambda + \mu \geq 0$。该系统描述了粘性、可压缩、等熵流体的运动。

为了研究低马赫数极限（即不可压缩极限），作者将方程无量纲化，引入马赫数 $\varepsilon > 0$，得到如下形式的系统：

$$ \begin{cases} \partial_t \rho_\varepsilon + \mathrm{div}\, m_\varepsilon = 0, \\ \partial_t m_\varepsilon + \mathrm{div}(\rho_\varepsilon u_\varepsilon \otimes u_\varepsilon) + \dfrac{1}{\varepsilon^2} \nabla p(\rho_\varepsilon) = \mu \Delta u_\varepsilon + (\mu + \lambda) \nabla \mathrm{div}\, u_\varepsilon. \end{cases} $$

此变换由尺度变换 $t \to \varepsilon^2 t$, $x \to \varepsilon x$, $u \to \varepsilon u$ 导出。

研究区域为无限长喷管型区域：

$$ \Omega := \left\{ x = (x_1, x_2, x_3) : (x_1, x_2) \in \mathbb{T}^2,\ x_3 \in \mathbb{R} \right\}, $$

即横向是二维环面 $\mathbb{T}^2$，法向为全直线 $\mathbb{R}$。这种几何结构允许存在沿 $x_3$ 方向变化但横向周期性的解，适合分析剪切流结构。

在此区域内，考虑一个粘性涡旋层作为背景解。经典平面无粘涡旋片（vortex sheet）形如：

$$ (\rho_{\text{vs}}, u_{\text{vs}})(x_3, t) = \begin{cases} (\bar{\rho}, -\bar{u}), & x_3 < 0, \\ (\bar{\rho}, \bar{u}), & x_3 > 0, \end{cases} $$

其中 $\bar{\rho} > 0$，$\bar{u} = (\bar{u}_1, \bar{u}_2, 0)$ 为常向量。然而，在粘性作用下，速度间断被光滑化，形成所谓的涡旋层（vortex layer），其显式解为：

$$ (\bar{\rho}, u_{\text{vs}})(x_3, t) = \left( \bar{\rho},\ \Theta\left( \frac{x_3}{\sqrt{t + t_0}} \right) \bar{u} \right), \quad t \geq 0, $$

其中函数 $\Theta(\xi)$ 定义为：

$$ \Theta(\xi) := \frac{2}{\sqrt{\pi}} \int_0^\xi e^{-\eta^2} d\eta. $$

该解满足Navier-Stokes方程，并在 $t \to 0^+$ 时趋近于原始涡旋片，而在 $t \to \infty$ 时趋于均匀状态。其涡度呈高斯分布：

$$ \nabla \times u_{\text{vs}} = (\bar{\rho}/\pi)^{1/2} (\mu t)^{-1/2} e^{-4\mu \bar{\rho} t |x_3|^2} e_3 \times \bar{u}, \quad e_3 = (0,0,1). $$

本文的研究目标是：对于以该涡旋层为背景的大初值扰动，证明对应Cauchy问题存在唯一的全局强解，并建立关于马赫数 $\varepsilon$ 一致的先验估计。具体地，初始数据设为：

$$ (\rho_\varepsilon, u_\varepsilon)|_{t=0} = (\bar{\rho}, u_{\text{vs}})(x_3, 0) + (\varepsilon b_0, v_0)(x),\quad x \in \Omega, $$

其中 $(b_0, v_0) \in H^3(\Omega)$，允许其切向速度分量的零模（zero mode）任意大小，从而实现“大初值”设定。

文中一个重要技术设定是引入频率分解，对任意函数 $f(x)$，定义其零模与非零模分别为：

$$ f^\flat(x_3) := \int_{\mathbb{T}^2} f(x)\, dx_K, \quad f^\sharp(x) := f(x) - f^\flat(x_3), $$

其中 $x_K = (x_1, x_2)$。这种分解将扰动分为横向平均部分（零模）和震荡部分（非零模）。文章的关键观察之一是：大扰动主要集中在切向速度的零模部分。

此外，为处理能量估计中出现的低阶项增长问题，作者引入了一个新的函数空间 $H^s_\alpha(\Omega)$，其范数定义为：

$$ \|f\|_{H^s_\alpha(\Omega)} := \|f^\flat\|_{L^2(\mathbb{R})} + \|f\|_{H^s(\Omega)}, \quad \text{其中 } \|f^\flat\|_{L^2(\mathbb{R})} := \|\langle x_3 \rangle^\alpha f^\flat\|_{L^2(\mathbb{R})}, $$

这里 $\langle x_3 \rangle := (1 + x_3^2)^{1/2}$。这表明作者不仅关注标准Sobolev正则性，还强调了解在法向无穷远处的衰减性质。

综上所述，本研究聚焦于带有大初值、大背景流的可压缩Navier-Stokes方程在特殊区域上的长期行为，旨在突破以往对小初值或弱不稳定性的限制，揭示粘性对涡旋结构的强稳定效应。

2. 主要定理或主要结果

论文的核心结果是以下全局非线性稳定性定理：

Theorem 1.1（全局存在性与一致性估计）
给定任意常数 $\bar{\rho} > 0$，$\bar{u} = (\bar{u}_1, \bar{u}_2, 0) \in \mathbb{R}^3$，以及 $t_0 > 0$，设初始扰动 $(b_0, v_0) \in H^3(\Omega)$，并记：

$$ M_0 := \|(b_0, v_0)\|_{H^3_{3/2}(\Omega)}, \quad \chi := \|(b_0, v_{03})^\flat\|_{H^1(\mathbb{R})} + \|(b_0, v_0)^\sharp\|_{H^1(\Omega)}. $$

则存在仅依赖于 $\mu, \lambda, \bar{\rho}, |\bar{u}|, t_0$ 的常数 $\varepsilon_0 > 0$、$\chi_0 > 0$，以及仅依赖于空间维数的通用常数 $k_0 > 0$，使得对任意 $M_0 > 0$，只要满足：

$$ 0 < \varepsilon \leq \varepsilon_0, \quad \chi \leq \chi_0, \quad (\varepsilon + \chi) M_0^{k_0} \leq 1, $$

则Cauchy问题 (1.8)-(1.10) 存在唯一全局强解 $(\rho_\varepsilon, u_\varepsilon)$。进一步，定义扰动变量：

$$ b_\varepsilon := \varepsilon^{-1}(\rho_\varepsilon - \bar{\rho}), \quad v_\varepsilon := u_\varepsilon - u_{\text{vs}}, $$

它们满足关于 $\varepsilon$ 一致的估计：

$$ \sup_{t \geq 0} \|(b_\varepsilon, v_\varepsilon)\|_{H^3(\Omega)}^2 + \int_0^\infty \left( \|\nabla b_\varepsilon\|_{H^2(\Omega)}^2 + \|\nabla v_\varepsilon\|_{H^3(\Omega)}^2 \right) dt \leq C, $$

以及衰减估计：

$$ \|(b_\varepsilon, v_\varepsilon)\|_{L^\infty(\Omega)} \leq C (t + 1)^{-1/2}, \quad \forall t \geq 0, $$

其中常数 $C > 0$ 独立于 $\varepsilon$ 和 $t$。

Remark:

  • 背景流 $u_{\text{vs}}$ 的振幅 $|\bar{u}|$ 和初始涡度均可任意大，这是对先前工作的重要推广。
  • 初始扰动的切向速度零模 $v_{0K}^\flat$ 可任意大（因未出现在 $\chi$ 中），仅要求其余部分小。
  • 所有估计关于马赫数 $\varepsilon$ 一致，因此可直接推出不可压缩极限的存在性和收敛性。

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

a) 核心分析工具

  1. 反导数技巧（Anti-derivative technique）
    这是处理线性化系统中零模低频项增长的核心工具。由于背景流梯度 $|\partial_3 u_{\text{vs}}| \sim (t + t_0)^{-1/2}$ 缓慢衰减，直接能量估计会导致 $L^2$ 范数发散。为此，作者构造辅助变量 $V$ 使得 $v^\flat \sim \partial_3 V$，从而将原系统的零阶项转化为耗散项。例如，对 $v_K^\flat$ 构造反导数 $V_K$ 满足：

    $$ \partial_t V_K = \frac{\mu}{\bar{\rho}} \partial_3^2 V_K + \text{small source}, $$

    由此可得 $\|\partial_3 V_K\|_{L^2}^2$ 的良好控制，进而获得 $v_K^\flat$ 的快速衰减。

  2. 频率分解与零模/非零模分离估计
    将扰动分解为 $U = U^\flat + U^\sharp$，分别进行估计。非零模因满足Poincaré不等式 $\|v^\sharp\|_{L^2} \lesssim \|\nabla v^\sharp\|_{L^2}$，其耗散更强；而零模需借助反导数法克服慢衰减问题。这种分解使作者能精准定位“大扰动”的来源——即切向速度的零模。

  3. 辅助流（Auxiliary flow）构造
    引入新背景流：

    $$ u_{\text{r}}(x_3, t) := u_{\text{vs}}(x_3, t + \Lambda), \quad \Lambda \gg 1, $$

    使得新背景的涡度更小（因时间延迟）。令 $v_r := u - u_r$，则线性项 $v_r \cdot \nabla u_r$ 的系数变小，便于控制。尽管这引入额外大扰动 $u_{\text{vs}} - u_r$，但它仅影响零模，可通过后续取消机制处理。

  4. 定制能量泛函 $E_*(t)$
    定义：

    $$ E_*(t) := \|(b, \tilde{v}_3)^\flat\|_{H^1(\mathbb{R})}^2 + \|(b, v_r)^\sharp\|_{H^1(\Omega)}^2, $$

    故意排除大扰动对应的 $v_{rK}^\flat$。通过假设 $\chi$ 小，可保证 $E_*(0)$ 小，并利用结构特性证明 $E_*(t)$ 全局小。

  5. Green函数分析与精细衰减估计
    利用热方程的Green函数，证明大零模 $\partial_3 v_{rK}^\flat$ 在 $L^\infty$ 中具有超快衰减速率：

    $$ \|\partial_3 v_{rK}^\flat\|_{L^\infty(\mathbb{R})} \lesssim (t + 1)^{-5/4}, $$

    远快于通常的 $(t+1)^{-3/4}$。这一改进对控制非线性耦合项至关重要。

  6. 小马赫数 $\varepsilon$ 的利用
    在估计高阶项时，$\varepsilon$ 的小性能压制坏的二阶项。例如，密度Hessian项满足：

    $$ \frac{d}{dt}(\varepsilon^2 \|\nabla^2 b\|^2) + \|\nabla^2 b\|^2 \lesssim N_*(t) + O(\varepsilon), $$

    将其代入主能量不等式后，$\varepsilon$ 小可吸收右边的大能量项，确保 $E_*(t)$ 全局有界。

b) 技术难点与解决技巧

  • 线性层面：背景流慢衰减导致 $L^2$ 增长。解法：反导数法将问题转为抛物型系统，利用耗散控制。
  • 非线性层面：大零模可能引发强非线性自相互作用。解法：发现本质取消性质——由于涡旋片的剪切结构，零模扰动之间无非线性耦合，即 $(N_i(U, \nabla U))^\flat$ 不包含 $v_{rK}^\flat$ 的自作用项。
  • 跨模耦合：非零模方程中出现 $\partial_3 v_{rK}^\flat \cdot v^\sharp$ 类项，其系数无小性。解法：结合取消性与反导数法，得出 $\partial_3 v_{rK}^\flat$ 的 $L^\infty$ 快速衰减 $(t+1)^{-5/4}$，足以控制该项。
  • 高阶非线性项：压力非线性产生坏的二阶项 $\|b^\sharp \nabla b^\sharp\|_{L^2} \lesssim E_* \|\nabla^2 b^\sharp\|$。解法：利用小 $\varepsilon$ 控制 $\|\nabla^2 b\|$ 的增长，从而封闭能量估计。

4. 与之前工作的比较

a) 突破与改进

本文相对于已有工作的显著进步体现在以下几个方面：

  1. 彻底摆脱小初值假设
    此前关于涡旋层稳定性的结果（如 [14]）虽允许大振幅背景流，但仍要求初始扰动整体小。本文首次允许切向速度的零模部分任意大小，即初始扰动可在横向平均意义下非常大，仅要求非零模和法向分量小。这是对“大初值”问题的本质性推进。

  2. 无需大时间延迟假设
    [14] 要求背景流的时间偏移 $t_0 \gg 1$ 以保证初始涡度小，这对小粘性极限研究构成障碍。本文通过引入辅助流 $u_r = u_{\text{vs}}(\cdot, t + \Lambda)$，将“大 $t_0$”的需求转移到辅助参数 $\Lambda$ 上，从而适用于任意 $t_0 > 0$，更具普适性。

  3. 建立关于马赫数的一致估计
    本文所有先验估计均独立于 $\varepsilon$，这不仅是技术上的强化，更直接蕴含了不可压缩极限的成立。此前工作多集中于固定 $\varepsilon$ 的稳定性，而本文将压缩与不可压缩情形统一处理。

  4. 揭示新的取消机制
    发现涡旋片结构中大零模之间无非线性自相互作用，这是一个深刻的结构性发现。它说明尽管扰动大，但由于剪切流的特殊几何，非线性不会放大自身，从而避免了爆破可能。这一机制此前未被充分认识。

  5. 发展多维反导数法的新应用
    反导数法传统用于一维激波或接触间断。本文将其成功推广至多维涡旋层，并结合频率分解，展示了该方法在高维问题中的强大潜力。

b) 结果强度对比

相比Euler方程下的涡旋片研究（如 [5,6,11]），这些模型普遍存在Kelvin-Helmholtz不稳定性，尤其在三维下剧烈失稳。Navier-Stokes粘性提供了正则化效应，但此前仅知对小扰动稳定。本文证明：即使初值大，粘性仍能完全抑制不稳定性，实现全局稳定。这凸显了粘性在控制剪切流失稳中的“强稳定作用”。

此外，与边界层或混合层研究相比，本文处理的是内层涡旋结构，其数学挑战在于缺乏边界导向的耗散增强机制，必须依赖内在结构（如剪切、频率分离）来获得控制。

综上，本文不仅在技术上实现了多项突破，更深化了人们对粘性流体中涡旋动力学的理解，为未来研究小粘性极限和湍流混合等问题奠定了基础。

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

1. Dissipative structure and decay rate for an inviscid non-equilibrium radiation hydrodynamics system

一个无黏性非平衡辐射流体力学系统的耗散结构与衰减速率

作者: Corrado Lattanzio, Ramón G. Plaza, José Manuel Valdovinos

类别: math.AP, math-ph, math.MP, 76W05, 76N10, 76N06, 35B40, 35A01

发布日期: 2025-10-29

arXiv ID: 2510.25663v1

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

摘要翻译

中文标题: 一个无黏性非平衡辐射流体力学系统的耗散结构与衰减速率

摘要翻译: 本文研究了Buet与Despr'es（J. Quant. Spectrosc. Radiat. Transf. 85 (2004), no. 3-4, 385–418）导出的辐射流体力学的扩散近似非平衡模型。该模型描述了在非平衡假设下——即流体温度与辐射温度不相等时——受辐射场作用的非相对论性无黏流体。本文证明了一般系统在多个空间维度下存在局部解，并进一步证明仅有一维模型在Kawashima与Shizuta（Hokkaido Math. J. 14 (1985), no. 2, 249–275）的意义下是真正耦合的。此外，本文还引入了非守恒抛物型平衡律的熵函数概念。我们证明，Buet与Despr'es所确定的熵是该系统在此意义下的一个熵函数。利用这一熵函数，可将一维系统用一组新的扰动变量重新表述，并实现其对称化。借助真正的耦合性质和对称化结构，本文获得了一维问题的线性衰减估计。结合局部存在性结果，这些估计进一步导出在一维情形下，常数平衡态的扰动具有整体存在性且随时间衰减。

2. Regularization for the Schrödinger equation with rough potential: high-dimensional case

具有粗糙势的薛定谔方程的正则化问题：高维情形

作者: Ruobing Bai, Yajie Lian, Yifei Wu

类别: math.AP

发布日期: 2025-10-29

arXiv ID: 2510.25555v1

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

摘要翻译

中文标题: 具有粗糙势的薛定谔方程的正则化问题：高维情形

摘要翻译: 本文研究了带有空间势的薛定谔方程的正则化机制：

$$ i\partial_t u+\Delta u+\eta u =0, $$

其中 $\eta$ 表示给定的空间势函数。解的正则性是色散型方程理论中的核心问题之一。近期的工作 \cite{Bai-Lian-Wu-2024, M-Wu-Z24} 已在全空间 $\mathbb{R}$ 和环面 $\mathbb{T}$ 上，针对粗糙势 $\eta$ 建立了该模型最优的正则化结果。本文将这一研究推广至高维情形，考虑粗糙势 $\eta \in L_x^r + L_x^{\infty}$。具体而言，我们首先证明当 $1 \leq r < \frac{d}{2}$ 时，存在某个 $\eta \in L_x^r + L_x^{\infty}$，使得该方程在任意 Sobolev 空间 $H_x^{\gamma}$（$\gamma \in \mathbb{R}$）中均不适定；反之，当 $\frac{d}{2} \leq r \leq \infty$ 时，预期的最优正则性指标为

$$ H_x^{\gamma_*}, \quad \gamma_* = \min\left\{2 + \frac{d}{2} - \frac{d}{r},\, 2\right\}. $$

我们对该模型的正则性给出了完整的刻画，仅二维端点情形 $d=2,\, r=1$ 除外。本文提出的全新理论框架融合了若干关键要素：反例的构造、分裂范式方法（splitting normal form method）的提出，以及迭代 Duhamel 构造技术。此外，我们还简要讨论了粗糙势与非线性项之间的相互作用对解的正则性所产生的影响。

3. Regularization for the Schrödinger equation with rough potential: one-dimensional case

具有粗糙势的薛定谔方程的正则化机制：一维情形

作者: Ruobing Bai, Yajie Lian, Yifei Wu

类别: math.AP

发布日期: 2025-10-29

arXiv ID: 2510.25540v1

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

摘要翻译

中文标题: 具有粗糙势的薛定谔方程的正则化机制：一维情形

摘要翻译:
在本研究中，我们考察如下带有空间势的薛定谔方程： \begin{align*} i\partial_t u+\partial_x^2 u+\eta u=0, \end{align*} 其中 $\eta$ 是给定的空间势函数（包括狄拉克$\delta$势和 $|x|^{-\gamma}$ 型势）。我们的目标是当势函数 $\eta\in L_x^r+L_x^\infty$ 具有粗糙性时，揭示该模型的正则化机制。本文主要聚焦于一维情形，并建立了以下结果：

  1. 当势函数 $\eta \in L_x^1+L_x^\infty(\mathbb{R})$ 时，解属于 $H_x^{\frac{3}{2}-}(\mathbb{R})$；然而，存在某些 $\eta \in L_x^1+L_x^\infty(\mathbb{R})$，使得解不属于 $H_x^{\frac{3}{2}}(\mathbb{R})$；

  2. 当势函数 $\eta \in L_x^r+L_x^\infty(\mathbb{R})$ 且 $1 < r \leq 2$ 时，解属于 $H_x^{\frac{5}{2}-\frac{1}{r}}(\mathbb{R})$；然而，存在某些 $\eta \in L_x^r+L_x^\infty(\mathbb{R})$，使得解不属于 $H_x^{\frac{5}{2}-\frac{1}{r}+}(\mathbb{R})$；

  3. 当势函数 $\eta \in L_x^r+L_x^\infty(\mathbb{R})$ 且 $r > 2$ 时，解属于 $H_x^{2}(\mathbb{R})$；然而，存在某些 $\eta \in L_x^r+L_x^\infty(\mathbb{R})$，使得解不属于 $H_x^{2+}(\mathbb{R})$。

因此，我们对该模型的正则性机制给出了完整的分类。证明的主要工具包括交换子估计、局部光滑效应以及法形式方法。此外，我们还简要讨论了（不附证明）非线性项的存在对解的正则性的影响。

4. Stochastic perturbation and zero noise limit for scalar conservation laws

标量守恒律的随机扰动与零噪声极限

作者: Ulrik S. Fjordholm, Magnus C. Ørke

类别: math.AP, 60H50, 35L65, 60H15

发布日期: 2025-10-28

arXiv ID: 2510.24475v2

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

摘要翻译

中文标题: 标量守恒律的随机扰动与零噪声极限

摘要翻译: 标量守恒律处于既足够简单以便进行解析研究，又足够复杂以呈现多种非线性现象的交叉点。本文受平均场博弈的启发，引入了一种新的标量守恒律的随机扰动形式。我们证明了该随机扰动方程的适定性；证明了当噪声参数趋于零时解的收敛性；并进一步证明其极限恰为守恒律的唯一熵解。因此，噪声在确定性守恒律中起到了解的选取准则的作用。这是针对非线性双曲型守恒律所获得的首个此类结果。

5. A linear, unconditionally stable, second order decoupled method for the Ericksen-Leslie model with SAV approach

基于SAV方法的Ericksen-Leslie模型的一种线性、无条件稳定、二阶解耦格式

作者: Ruonan Cao, Nianyu Yi

类别: math.AP, cs.NA, math.NA

发布日期: 2025-03-25

arXiv ID: 2503.19424v2

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

摘要翻译

中文标题: 基于SAV方法的Ericksen-Leslie模型的一种线性、无条件稳定、二阶解耦格式

摘要翻译: 本文提出了一种求解Ericksen-Leslie模型的二阶精度、线性、完全解耦且无条件能量稳定的数值格式。该方法结合了压力校正法与标量辅助变量（SAV）技术。我们严格证明了所提格式的无条件能量稳定性。此外，通过若干数值实验验证了该方法的收敛阶数、稳定性以及计算效率。

6. Nonlinear distortion of symmetry in solutions to the convection-diffusion equation of Burgers type

求解一类Burgers型对流-扩散方程解中对称性的非线性畸变

作者: Masakazu Yamamoto

类别: math.AP, 35B05, 35B06, 35C20, 35Q35, 35Q79

发布日期: 2025-09-26

arXiv ID: 2509.21909v2

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

摘要翻译

中文标题: 求解一类Burgers型对流-扩散方程解中对称性的非线性畸变

摘要翻译: 本文研究了一类Burgers型对流-扩散方程的初值问题。在解的渐近轮廓中，反映了该方程的非线性特性。关于此类模型的解，20世纪90年代西班牙学派基于线性扩散进行了渐近展开，所得轮廓呈现出具有线性现象特征的对称性。本文明确描述了由非线性效应引起的对称性畸变，并进一步证明这种畸变的程度在空间维数的奇偶性不同时存在显著差异。这一结果与传统观点相悖，后者认为非线性的表现主要依赖于方程的尺度。通过与类似的Navier–Stokes方程进行比较，支持了上述解释。该Burgers型方程可作为研究若干双线性问题的指标性模型。

7. On a wave kinetic equation with resonance broadening in oceanography and atmospheric sciences

关于海洋学与大气科学中具有共振展宽的波动力学方程的研究

作者: Young Ho Kim, Yuri V. Lvov, Leslie M. Smith, Minh-Binh Tran

类别: math-ph, math.AP, math.MP, physics.ao-ph

发布日期: 2025-10-28

arXiv ID: 2510.25031v1

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

摘要翻译

中文标题: 关于海洋学与大气科学中具有共振展宽的波动力学方程的研究

摘要翻译: 在本研究中，我们探讨了一类源于层化海洋流动理论的三波动力学方程，该方程包含共振展宽效应。与Gamba-Smith-Tran（《论海洋层化流动中的波湍流理论》，Math. Models Methods Appl. Sci. 30 (2020), no.1, 105–137）所采用的形式不同，我们使用了一种不同的共振展宽表述方式，使得当前模型更适用于海洋学的实际应用。我们证明了该新型共振展宽波动力学方程强解的整体存在性与唯一性。

8. Dynamics of solutions in the 1d bi-harmonic nonlinear Schrödinger equation

一维双调和非线性薛定谔方程中解的动力学行为

作者: Christian Klein, Iryna Petrenko, Svetlana Roudenko, Nikola Stoilov

类别: math.AP

发布日期: 2025-10-28

arXiv ID: 2510.24961v1

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

摘要翻译

中文标题: 一维双调和非线性薛定谔方程中解的动力学行为

摘要翻译: 本文研究了一维四阶（即双调和）非线性薛定谔（NLS）方程，其形式为 $i u_t - \Delta^2 u - 2a \Delta u + |u|^{\alpha} u = 0$，其中 $x, a \in \mathbb{R}$，$\alpha > 0$，并探讨了在不同 $\alpha$ 指数下解的动力学行为，包括基态解及其扰动下的演化，当 $a \leq 0$ 时呈现出散射与爆破的二分性，而当 $a > 0$ 时则呈现三分性。文中通过数值方法构造了基态解，并研究了其稳定性，发现基态解可能形成稳定与不稳定两个分支，从而决定了系统解的长时间行为。位于不稳定分支上的基态扰动可能导致解的弥散，或跃迁至一个稳定的基态。在临界与超临界情形下，还研究了有限时间内的爆破现象，并推测无论低阶色散项参数 $a$ 取何值，爆破均以尺度不变的轮廓发生（当 $a=0$ 时）。同时，本文也探讨了爆破速率的性质。

不相关论文（基本信息）

1. An almost-almost-Schur lemma on the 3-sphere

三维球面上的一个近乎-近乎-舒尔引理

作者: Tobias König, Jonas W. Peteranderl

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

发布日期: 2025-10-29

arXiv ID: 2510.25723v1

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

摘要: In a recent preprint, Frank and the second author proved that if a metric on the sphere of dimension $d>4$ almost minimizes the total $\sigma_2$-curvature in the conformal class of the standard metric, then it is almost the standard metric (up to M"obius transformations). This is achieved quantitatively in terms of a two-term distance to the set of minimizing conformal factors. We extend this result to the case $d=3$. While the standard metric still minimizes the total scalar curvature for $d=3$, it maximizes the total $\sigma_2$-curvature, which turns the related functional inequality into a reverse Sobolev-type inequality. As a corollary of our result, we obtain quantitative versions for a family of interpolation inequalities including the Andrews–De Lellis–Topping inequality on the $3$-sphere. The latter is itself a stability result for the well-known Schur lemma and is therefore called almost-Schur lemma. This makes our stability result an almost-almost-Schur lemma.

2. Sharp Quantitative Stability of the Dirichlet spectrum near the ball

球附近狄利克雷谱的精确定量稳定性

作者: Dorin Bucur, Jimmy Lamboley, Mickaël Nahon, Raphaël Prunier

类别: math.AP, math.OC, 35P15, 35R35, 58J50

发布日期: 2023-04-21

arXiv ID: 2304.10916v2

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

摘要: Let $\Omega\subset\mathbb{R}^n$ be an open set with the same volume as the unit ball $B$ and let $\lambda_k(\Omega)$ be the $k$-th eigenvalue of the Laplace operator of $\Omega$ with Dirichlet boundary conditions on $\partial\Omega$. In this work, we answer the following question: if $\lambda_1(\Omega)-\lambda_1(B)$ is small, how large can $|\lambda_k(\Omega)-\lambda_k(B)|$ be ? We establish quantitative bounds of the form $|\lambda_k(\Omega)-\lambda_k(B)|\le C (\lambda_1(\Omega)-\lambda_1(B))^\alpha$ with sharp exponents $\alpha$ depending on the multiplicity of $\lambda_k(B)$. We first show that such an inequality is valid with $\alpha=1/2$ for any $k$, improving previous known results and providing the sharpest possible exponent. Then, through the study of a vectorial free boundary problem, we show that one can achieve the better exponent $\alpha=1$ if $\lambda_{k}(B)$ is simple. We also obtain a similar result for the whole cluster of eigenvalues when $\lambda_{k}(B)$ is multiple, thus providing a complete answer to the question above. As a consequence of these results, we obtain the persistence of the ball as the minimizer for a large class of spectral functionals which are small perturbations of the fundamental eigenvalue on the one hand, and a full reverse Kohler-Jobin inequality on the other hand, solving an open problem formulated by M. Van Den Berg, G. Buttazzo and A. Pratelli.

3. A mild rough Gronwall Lemma with applications to non-autonomous evolution equations

一个温和的粗糙Gronwall引理及其在非自治发展方程中的应用

作者: Alexandra Blessing, Mazyar Ghani Varzaneh, Tim Seitz

类别: math.PR, math.AP, math.DS, 60G22, 60L20, 60L50, 37H05, 37L55

发布日期: 2025-03-05

arXiv ID: 2503.03628v2

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

摘要: We derive a Gronwall type inequality for mild solutions of non-autonomous parabolic rough partial differential equations (RPDEs). This inequality together with an analysis of the Cameron-Martin space associated to the noise, allows us to obtain the existence of moments of all order for the solution of the corresponding RPDE and its Jacobian when the random input is given by a Gaussian Volterra process. Applying further the multiplicative ergodic theorem, these integrable bounds entail the existence of Lyapunov exponents for RPDEs. We illustrate these results for stochastic partial differential equations with multiplicative boundary noise.

4. Three solutions with precise sign properties for Gierer-Meinhardt type system

具有精确符号性质的Gierer-Meinhardt型系统的三个解

作者: Abdelkrim Moussaoui

类别: math.AP

发布日期: 2025-10-29

arXiv ID: 2510.25568v1

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

摘要: We establish the existence of three solutions for sign-coupled Gierer-Meinhardt type system with Neumann boundary conditions. Two solutions are of opposite constant-sign while the third solution is nodal with synchronous sign components. The approach combines sub-supersolutions method and Leray-Schauder topological degree involving perturbation argument.

5. A Hyperbolic Inverse Problem for lower order terms on a closed manifold with disjoint data

闭流形上关于低阶项的双曲型反问题（具不相交数据）

作者: Matti Lassas, Boya Liu, Teemu Saksala, Andrew Shedlock, Ziyao Zhao

类别: math.AP, 35R30, 35L05, 58J45, 86A22

发布日期: 2025-09-23

arXiv ID: 2509.19008v2

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

摘要: We study the unique recovery of time-independent lower order terms appearing in the symmetric first order perturbation of the Riemannian wave equation by sending and measuring waves in disjoint open sets of \textit{a priori} known closed Riemannian manifold. In particular, we show that if the set where we capture the waves satisfies a geometric control condition as well as a certain local symmetry condition for the distance functions, then the aforementioned measurement is sufficient to recover the lower order terms up to the natural gauge. For instance, our result holds if the complement of the receiver set is contained in a simple Riemannian manifold.

6. Stochastic Homogenization of HJ Equations: a Differential Game Approach

HJ方程的随机均匀化：一种微分博弈方法

作者: Andrea Davini, Raimundo Saona, Bruno Ziliotto

类别: math.AP, 35B27, 35F21, 91A23, 60K37

发布日期: 2024-06-26

arXiv ID: 2406.18404v2

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

摘要: We prove stochastic homogenization for a class of non-convex and non-coercive first-order Hamilton-Jacobi equations in a finite-range-dependence environment for Hamiltonians that can be expressed by a max-min formula. Exploiting the representation of solutions as value functions of differential games, we develop a game-theoretic approach to homogenization. We furthermore extend this result to a class of Lipschitz Hamiltonians that need not admit a global max-min representation. Our methods allow us to get a quantitative convergence rate for solutions with linear initial data toward the corresponding ones of the effective limit problem.

7. Exponential Stability of a Degenerate Euler-Bernoulli Beam with Axial Force and Delayed Boundary Control

具有轴向力和延迟边界控制的退化Euler-Bernoulli梁的指数稳定性研究

作者: Ben Bakary Junior Siriki, Adama Coulibaly

类别: math.AP

发布日期: 2025-10-29

arXiv ID: 2510.25484v1

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

摘要: We investigate the global exponential stabilization of a degenerate Euler-Bernoulli beam system subject to axial loading and time-delay boundary input. The core challenge lies in the simultaneous presence of degeneracy of flexural rigidity and input delay. We address the well-posedness of the problem by constructing a non-standard energy space and proving the existence of a $C_0$-semigroup of contractions using L"umer-Phillips theorem. For stabilization, we construct a novel Lyapunov functional incorporating integral terms specially designed for the delay and weighting functions adapted to the degenerate dynamics, with which we demonstrate the uniform exponential decay for the closed-loop system and derive a precise decay rate estimate independent of the time delay. This work provides a significant extension to the stability theory for complex distributed parameter systems.

8. Quantitative Hypocoercivity and Lifting of Classical and Quantum Dynamics

定量次紧性与经典及量子动力学的提升

作者: Jianfeng Lu

类别: math.AP, cs.NA, math.NA

发布日期: 2025-10-25

arXiv ID: 2510.22305v2

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

摘要: We consider quantitative convergence analysis for hypocoercive dynamics such as Langevin and Lindblad equations describing classical and quantum open systems. Our goal is to provide an overview of recent results of hypocoercivity estimates based on space-time Poincare inequality, providing a unified treatment for classical and quantum dynamics. Furthermore, we also present a unified lifting framework for accelerating both classical and quantum Markov semigroups, which leads to upper and lower bounds of convergence rates.

9. An ansatz for constructing explicit solutions of Hessian equations

构造Hessian方程显式解的一个试探函数方法

作者: Chung-Jun Tsai, Mao-Pei Tsui, Mu-Tao Wang

类别: math.DG, math.AP, 58E15, 32W50, 53D12, 35J60

发布日期: 2025-06-21

arXiv ID: 2506.17701v3

链接: http://arxiv.org/abs/2506.17701v3

摘要: We introduce a (variation of quadrics) ansatz for constructing explicit, real-valued solutions to broad classes of complex Hessian equations on domains in $\mathbb{C}^{n+1}$ and real Hessian equations on domains in $\mathbb{R}^{n+1}$. In the complex setting, our method simultaneously addresses the deformed Hermitian–Yang–Mills/Leung–Yau–Zaslow (dHYM/LYZ) equation, the Monge–Amp`{e}re equation, and the $J$-equation. Under this ansatz each PDE reduces to a second-order system of ordinary differential equations admitting explicit first integrals. These ODE systems integrate in closed form via abelian integrals, producing wide families of explicit solutions together with a detailed description. In particular, on $\mathbb{C}^{n+1}$, we construct entire dHYM/LYZ solutions of arbitrary subcritical phase, and on $\mathbb{R}^{n+1}$ we produce entire special Lagrangian solutions of arbitrary subcritical phase. Some of these solutions develop singularities on compact regions. In the special Lagrangian case we show that, after a natural extension across the singular locus, these blow-up solutions coincide with previously known complete special Lagrangian submanifolds obtained via a different ansatz.

10. Action-minimizing periodic orbits of the Lorentz force equation with dominant vector potential

具有主导矢势的洛伦兹力方程的极小作用周期轨道

作者: Manuel Garzón, Salvador López-Martínez

类别: math.DS, math-ph, math.AP, math.MP, 34C25, 37J51, 78M30

发布日期: 2025-10-29

arXiv ID: 2510.25462v1

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

摘要: We establish the existence of non-constant periodic solutions to the Lorentz force equation, where no scalar potential is needed to induce the electromagnetic field. Our results extend to cases where a possibly singular scalar potential is present, although the vector potential assumes a leading role. The approach is based on minimizing the action functional associated with the relativistic Lagrangian. The compactness of the minimizing sequences requires the existence of negative values for the functional, which is proven using novel ideas that exploit the sign-indefinite nature of the term involving the vector potential.

11. Propagation of singularities for equations with $C^{r}$ coefficients for $r>1$

具有 $C^{r}$ 系数且 $r>1$ 的方程的奇性传播

作者: Jan Rozendaal

类别: math.AP, Primary 58J47. Secondary 35A18, 35S50, 58J45

发布日期: 2025-10-17

arXiv ID: 2510.16182v2

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

摘要: We observe that, for $r>1$, $s$ in an $r$-dependent interval, $p$ a homogeneous pseudodifferential symbol of order $m$ having $C^{r}$ regularity in space, and $u\in H^{s+m-r}(\mathbb{R}^{n})$ such that $p(x,D)u\in H^{s}(\mathbb{R}^{n})$, each point in the $H^{s+m-1}$ wavefront set of $u$ lies on a maximally extended null bicharacteristic of $p$ which is contained in the $H^{s+m-1}$ wavefront set of $u$. In fact, for $r=2$ slightly less than $C^{1,1}$ regularity suffices, and here the results apply to manifolds with bounded Ricci curvature.

12. The $p$-th dual Minkowski problem for the $k$-torsional rigidity corresponding to a $k$-Hessian equation

对应于 $k$-Hessian 方程的关于 $k$-扭率的 $p$-阶对偶 Minkowski 问题

作者: Xia Zhao, Peibiao Zhao

类别: math.DG, math.AP, 52A20 \ \ 35K96\ \ 58J35

发布日期: 2025-10-29

arXiv ID: 2510.25435v1

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

摘要: The study of the dual curvature measures [Y. Huang, E. Lutwak, D. Yang & G. Y. Zhang, Acta. Math. 216 (2016): 325-388], which connects the cone-volume measure and Aleksandrov’s integral curvature, and has created a precedent for the theoretical research of the dual Brunn-Minkowski theory. Motivated by the foregoing groundbreaking works, the present paper introduces the $p$-th dual $k$-torsional rigidity associated with a $k$-Hessian equation and establishes its Hadamard variational formula with $1\leq k\leq n-1$, which induces the $p$-th dual $k$-torsional measure. Further, based on the $p$-th dual $k$-torsional measure, this article, for the first time, proposes the $p$-th dual Minkowski problem of the $k$-torsional rigidity which can be equivalently converted to a nonlinear partial differential equation in smooth case: \begin{align}\label{eq01} f(x)=\tau(|\nabla h|^2+h^2)^{\frac{p-n}{2}}h_{\Omega}(x)|Du(\nu^{-1}\Omega(x))|^{k+1}\sigma{n-k}(h_{ij}(x)+h_\Omega(x)\delta_{ij}), \end{align} where $\tau>0$ is a constant, $f$ is a positive smooth function defined on $S^{n-1}$ and $\sigma_{n-k}$ is the $(n-k)$-th elementary symmetric function of the principal curvature radii. We confirm the existence of smooth non-even solution to the $p$-th dual Minkowski problem of the $k$-torsional rigidity for $p<n-2$ by the method of a curvature flow which converges smoothly to the solution of equation (\ref{eq01}). Specially, a novel approach for the uniform lower bound estimation in the $C^0$ estimation for the solution to the curvature flow is presented with the help of invariant functional $\Phi(\Omega_t)$.

13. Classification of positive solutions of critical anisotropic Sobolev equation without the finite volume constraint

无有限体积约束下临界各向异性Sobolev方程正解的分类

作者: Lu Chen, Tian Wu, Jin Yan, Yabo Yang

类别: math.AP

发布日期: 2024-04-15

arXiv ID: 2404.11628v4

链接: http://arxiv.org/abs/2404.11628v4

摘要: In this paper, we classify all positive solutions of the critical anisotropic Sobolev equation \begin{equation*} -\Delta^{H}_{p}u = u^{p^{}-1}, \ \ x\in \mathbb{R}^n \end{equation} without the finite volume constraint for $n \geq 2$ and $\frac{(n+1)}{3} \leq p < n$, where $p^{*} = \frac{np}{n-p}$ denotes the critical Sobolev exponent and $-\Delta^{H}_{p}=-div(H^{p-1}(\cdot)\nabla H(\cdot))$ denotes the anisotropic $p$-Laplace operator. This result removes the finite volume assumption on the classification of critical anisotropic $p$-Laplace equation which was obtained by Ciraolo-Figalli-Roncoroni in the literature \cite{CFR}. The method is based on constructing suitable vector fields integral inequality and using Newton’s type inequality.

14. Quantitative and exact concavity principles for parabolic and elliptic equations

抛物型与椭圆型方程的定量性与精确凹性原理

作者: Marco Gallo, Riccardo Moraschi, Marco Squassina

类别: math.AP, 26B25, 35B09, 26B25, 35B99, 35E10, 35J60, 35K20, 35K91

发布日期: 2025-04-13

arXiv ID: 2504.09494v2

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

摘要: Goal of this paper is to study classes of Cauchy-Dirichlet problems which include parabolic equations of the type

$$ u_t -\Delta u= a(x,t)f(u)\quad\hbox{in $\Omega\times(0,T)$} $$

with $\Omega\subset\mathbb{R}^N$ bounded, convex domain and $T\in(0,+\infty]$. Under suitable assumptions on $a$ and $f$, we show logarithmic or power concavity (in space, or in space-time) of the solution $u$; under some relaxed assumptions on $a$, we show moreover that $u$ enjoys concavity properties up to a controlled error. The results include relevant examples like the torsion $f(u)=1$, the Lane-Emden equation $f(u)=u^q$, $q\in(0,1)$, the eigenfunction $f(u)=u$, the logarithmic equation $f(u)=u\log(u^2)$, and the saturable nonlinearity $f(u)=\frac{u^2}{1+u}$. The logistic equation $f(x,u)=a(x)u-u^2$ can be treated as well. Some exact results give a different approach, as well as generalizations, to [Ishige-Salani2013, Ishige-Salani2016]. Moreover, some quantitative results are valid also in the elliptic framework $-\Delta u=a(x)f(u)$ and refine [Bucur-Squassina2019, Gallo-Squassina2024].

15. Self-similar blowup from arbitrary data for supercritical wave maps with additive noise

具有加性噪声的超临界波映照中基于任意初值的自相似爆破

作者: Irfan Glogić, Martina Hofmanová, Eliseo Luongo

类别: math.AP, math-ph, math.DG, math.MP, math.PR

发布日期: 2025-10-29

arXiv ID: 2510.25326v1

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

摘要: We consider stochastically perturbed wave maps from $\mathbb{R}^{1+d}$ into $\mathbb{S}^d$, in all energy-supercritical dimensions $d \geq 3$. We show that corotational non-degenerate Gaussian additive noise leads to self-similar blowup with positive probability for any corotational initial data. The same result without noise is conjectured, but unknown, for large data.

16. Normalized ground states for NLS equations with mass critical nonlinearities

具有质量临界非线性的NLS方程的归一化基态

作者: Silvia Cingolani, Marco Gallo, Norihisa Ikoma, Kazunaga Tanaka

类别: math.AP, 35A01, 35B20, 35B33, 35B35, 35B38, 35J20, 35J91, 35Q40, 35Q55, 47F10, 47J30, 49J35

发布日期: 2025-07-01

arXiv ID: 2507.00639v2

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

摘要: We study normalized solutions $(\mu,u)\in \mathbb{R} \times H^1(\mathbb{R}^N)$ to nonlinear Schr"odinger equations

$$ -\Delta u + \mu u = g(u)\quad \hbox{in}\ \mathbb{R}^N, \qquad \frac{1}{2}\int_{\mathbb{R}^N} u^2 dx = m, $$

where $N\geq 2$ and the mass $m>0$ is given. Here $g$ has an $L^2$-critical growth, both at the origin and at infinity, that is $g(s)\sim |s|^{p-1}s$ as $s\sim 0$ and $s\sim\infty$, where $p=1+\frac{4}{N}$. We continue the analysis started in [Cingolani-Gallo-Ikoma-Tanaka, 2024], where we found two (possibly distinct) minimax values $\underline{b} \leq 0 \leq \overline{b}$ of the Lagrangian functional. In this paper we furnish explicit examples of $g$ satisfying $\underline{b}<0<\overline{b}$, $\underline{b}=0<\overline{b}$ and $\underline{b}<0=\overline{b}$; notice that $\underline{b}=0=\overline{b}$ in the power case $g(t)=|t|^{p-1}t$. Moreover, we deal with the existence and non-existence of a solution with minimal energy. Finally, we discuss the assumptions required on $g$ to obtain the existence of a positive solution for perturbations of $g$.

17. Can quantum dynamics emerge from classical chaos?

量子动力学能否从经典混沌中涌现？

作者: Frédéric Faure

类别: nlin.CD, math-ph, math.AP, math.DS, math.MP

发布日期: 2025-10-29

arXiv ID: 2510.25307v1

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

摘要: Anosov geodesic flows are among the simplest mathematical models of deterministic chaos. In this survey we explain how, quite unexpectedly, quantum dynamics emerges from purely classical correlation functions. The underlying mechanism is the discrete Pollicott Ruelle spectrum of the geodesic flow, revealed through microlocal analysis. This spectrum naturally arranges into vertical bands; when the rightmost band is separated from the rest by a gap, it governs an effective dynamics that mirrors quantum evolution.

18. On positive solutions of Lane-Emden equations on the integer lattice graphs

关于整数格点图上Lane-Emden方程的正解研究

作者: Huyuan Chen, Bobo Hua, Feng Zhou

类别: math.AP

发布日期: 2025-10-10

arXiv ID: 2510.08947v2

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

摘要: In this paper, we investigate the existence and nonexistence of positive solutions to the Lane-Emden equations

$$ -\Delta u = Q |u|^{p-2}u $$

on the $d$-dimensional integer lattice graph $\mathbb{Z}^d$, as well as in the half-space and quadrant domains, under the zero Dirichlet boundary condition in the latter two cases. Here, $d \geq 2$, $p > 0$, and $Q$ denotes a Hardy-type positive potential satisfying $Q(x) \sim (1+|x|)^{-\alpha}$ with $\alpha \in [0, +\infty]$. \smallskip We identify the Sobolev super-critical regions of the parameter pair $(\alpha, p)$ for which the existence of positive solutions is established via variational methods. In contrast, within the Serrin sub-critical regions of $(\alpha, p)$, we demonstrate nonexistence by iteratively analyzing the decay behavior at infinity, ultimately leading to a contradiction. Notably, in the full-space and half-space domains, there exists an intermediate regions between the Sobolev critical line and the Serrin critical line where the existence of positive solutions remains an open question. Such an intermediate region does not exist in the quadrant domain.

19. Boundary determination of electromagnetic parameters from local data

基于局部数据的电磁参数边界确定

作者: Chengyu Wu, Jiaqing Yang

类别: math.AP

发布日期: 2025-10-29

arXiv ID: 2510.25061v1

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

摘要: In this paper, we extend and simplify the methods in [13] to improve the results on uniqueness of the boundary determination for the Maxwell equation. In particular, we show that the electromagnetic parameters are uniquely determined to infinite order at the boundary from the local admittance map, disregarding the presence of an unknown obstacle, where actually only the local Cauchy data of the fundamental solution are used. The proof mainly relies on an elaborate singularity analysis on certain singular solutions to the Maxwell equation.

20. Cluster Formation in Diffusive Systems

扩散系统中的团簇形成

作者: Benedict Leimkuhler, René Lohmann, Grigorios A. Pavliotis, Peter A. Whalley

类别: math.NA, cs.NA, math-ph, math.AP, math.MP, math.PR

发布日期: 2025-10-28

arXiv ID: 2510.25034v1

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

摘要: In this paper, we study the formation of clusters for stochastic interacting particle systems (SIPS) that interact through short-range attractive potentials in a periodic domain. We consider kinetic (underdamped) Langevin dynamics and focus on the low-friction regime. Employing a linear stability analysis for the kinetic McKean-Vlasov equation, we show that, at sufficiently low temperatures, and for sufficiently short-ranged interactions, the particles form clusters that correspond to metastable states of the mean-field dynamics. We derive the friction and particle-count dependent cluster-formation time and numerically measure the friction-dependent times to reach a stationary state (given by a state in which all particles are bound in a single cluster). By providing both theory and numerical methods in the inertial stochastic setting, this work acts as a bridge between cluster formation studies in overdamped Langevin dynamics and the Hamiltonian (microcanonical) limit.

21. Constructing entire minimal graphs by evolving planes

通过演化平面构造整体极小图

作者: Chung-Jun Tsai, Mao-Pei Tsui, Jingbo Wan, Mu-Tao Wang

类别: math.DG, math.AP, 58E12, 58E15 (Primary), 35J47, 35J60(Secondary)

发布日期: 2025-10-28

arXiv ID: 2510.24978v1

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

摘要: We introduce an evolving-plane ansatz for the explicit construction of entire minimal graphs of dimension $n$ ($n\geq 3$) and codimension $m$ ($m\geq 2$), for any odd integer $n$. Under this ansatz, the minimal surface system reduces to the geodesic equation on the Grassmannian in affine coordinates. Geometrically, this equation dictates how the slope of an $(n-1)$ plane evolves as it sweeps out a minimal graph. This framework yields a rich family of explicit entire minimal graphs of odd dimension $n$ and arbitrary codimension $m$.

22. Large-Time Analysis of the Langevin Dynamics for Energies Fulfilling Polyak-Łojasiewicz Conditions

满足Polyak-Łojasiewicz条件的能量函数对应的朗之万动力学的大时间分析

作者: Massimo Fornasier, Lukang Sun, Rachel Ward

类别: math.AP, math.PR

发布日期: 2025-10-28

arXiv ID: 2510.24925v1

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

摘要: In this work, we take a step towards understanding overdamped Langevin dynamics for the minimization of a general class of objective functions $\mathcal{L}$. We establish well-posedness and regularity of the law $\rho_t$ of the process through novel a priori estimates, and, very importantly, we characterize the large-time behavior of $\rho_t$ under truly minimal assumptions on $\mathcal{L}$. In the case of integrable Gibbs density, the law converges to the normalized Gibbs measure. In the non-integrable case, we prove that the law diffuses. The rate of convergence is $\mathcal{O}(1/t)$. Under a Polyak-Lojasiewicz (PL) condition on $\mathcal{L}$, we also derive sharp exponential contractivity results toward the set of global minimizers. Combining these results we provide the first systematic convergence analysis of Langevin dynamics under PL conditions in non-integrable Gibbs settings: a first phase of exponential in time contraction toward the set of minimizers and then a large-time exploration over it with rate $\mathcal{O}(1/t)$.

23. Convergence analysis for an implementable scheme to solve the linear-quadratic stochastic optimal control problem with stochastic wave equation

求解带有随机波动方程的线性二次型随机最优控制问题的一个可实现格式的收敛性分析

作者: Abhishek Chaudhary

类别: math.OC, cs.NA, math.AP, math.NA, math.PR

发布日期: 2025-10-28

arXiv ID: 2510.24876v1

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

摘要: We study an optimal control problem for the stochastic wave equation driven by affine multiplicative noise, formulated as a stochastic linear-quadratic (SLQ) problem. By applying a stochastic Pontryagin’s maximum principle, we characterize the optimal state-control pair via a coupled forward-backward SPDE system. We propose an implementable discretization using conforming finite elements in space and an implicit midpoint rule in time. By a new technical approach we obtain strong convergence rates for the discrete state-control pair without relying on Malliavin calculus. For the practical computation we develop a gradient-descent algorithm based on artificial iterates that employs an exact computation for the arising conditional expectations, thereby eliminating costly Monte Carlo sampling. Consequently, each iteration has a computational cost that is proportional to the number of spatial degrees of freedom, producing a scalable method that preserves the established strong convergence rates. Numerical results validate its efficiency.

24. Blowing-up solutions to competitive critical systems in dimension 3

三维情形下竞争性临界系统的爆破解

作者: Antonio J. Fernández, María Medina, Angela Pistoia

类别: math.AP, 35J47, 35B33

发布日期: 2024-11-12

arXiv ID: 2411.07951v2

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

摘要: We study the critical system of $m\geq 2$ equations \begin{equation*} -\Delta u_i = u_i^5 + \sum_{j = 1,,j\neq i}^m \beta_{ij} u_i^2 u_j^3,, \quad u_i \gneqq 0 \quad \mbox{in } \mathbb{R}^3,, \quad i \in {1, \ldots, m},, \end{equation*} where $\beta_{\kappa\ell} =\alpha\in\mathbb{R}$ if $\kappa\neq\ell$, and $\beta_{\ell m}=\beta_{m \kappa} =\beta<0$, for $ \kappa, \ell \in \{1,\ldots, m-1\}$. We construct solutions to this system in the case where $\beta\to-\infty$ by means of a Ljapunov-Schmidt reduction argument. This allows us to identify the explicit form of the solution at main order: $u_1$ will look like a perturbation of the standard radial positive solution to the Yamabe equation, while $u_2$ will blow-up at the $k$ vertices of a regular planar polygon. The solutions to the other equations will replicate the blowing-up structure under an appropriate rotation that ensures $u_i\neq u_j$ for $i\neq j$. The result provides the first almost-explicit example of non-synchronized solutions to competitive critical systems in dimension 3.