生成时间: 2025年10月21日 03:46:44

重点关注论文数量: 6

了解领域论文数量: 10

不相关论文数量: 34

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

1. Existence of smooth solutions of the Navier-Stokes equations in three-dimensional Euclidean space

三维欧几里得空间中Navier-Stokes方程光滑解的存在性

作者: Genqian Liu

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

发布日期: 2025-07-24

arXiv ID: 2507.18063v3

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

详细分析

中文标题: 三维欧几里得空间中Navier-Stokes方程光滑解的存在性

研究对象和背景

本文研究的是三维欧几里得空间 $\mathbb{R}^3$ 中不可压缩 Navier-Stokes 方程的光滑解的存在性与唯一性问题，这是数学物理领域长期悬而未决的重大公开问题之一。该问题被列为克雷数学研究所（Clay Mathematics Institute）的七个“千禧年大奖难题”之一。

论文所研究的核心系统是经典的不可压缩 Navier-Stokes 方程组：

$$ \partial_t u_j - \mu \Delta u_j + \frac{\partial p}{\partial x_j} + \sum_{k=1}^{n} u_k \frac{\partial u_j}{\partial x_k} = f_j(x,t), \quad x \in \mathbb{R}^n, \; t \geq 0, \; j = 1,\dots,n, $$
$$ \mathrm{div}\, u = \sum_{k=1}^{n} \frac{\partial u_k}{\partial x_k} = 0, \quad x \in \mathbb{R}^n, \; t \geq 0, $$

初始条件为：

$$ u(x,0) = \phi(x), \quad x \in \mathbb{R}^n. $$

其中 $u(x,t) = (u_1,\dots,u_n)$ 是未知的速度场，$p(x,t)$ 是压力函数，$\mu > 0$ 是粘性系数，$f_j(x,t)$ 是外力项，$\phi(x)$ 是给定的、光滑且无散度（即 $\mathrm{div}\,\phi = 0$）的初始速度场。

在本研究中，作者设定 $n=3$，并考虑无外力情形（即 $f \equiv 0$），目标是证明存在一个全局定义在 $\mathbb{R}^3 \times [0,\infty)$ 上的光滑解 $(u,p)$，满足以下两个关键性质：

  • 光滑性：$u, p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$；
  • 能量有界性：对任意 $t \geq 0$，
    $$ \int_{\mathbb{R}^3} |u(x,t)|^2 dx < C, $$
    即总动能在整个时间演化过程中保持有界。

此外，初始数据 $\phi(x)$ 被假定属于Schwartz 空间 $S(\mathbb{R}^3)$ 中的无散向量场，并满足衰减条件：

$$ |\partial^\alpha \phi(x)| \leq C_{\alpha M}(1+|x|)^{-M}, \quad \forall \alpha, M, $$

这保证了初始场在无穷远处快速衰减，从而避免边界效应或辐射问题的影响。

值得注意的是，由于研究区域是整个 $\mathbb{R}^3$，没有边值条件；但通过选取 Schwartz 类初始数据，结合抛物型方程的相容性条件（compatibility conditions），可以确保解在 $t=0$ 处也具有 $C^\infty$ 正则性，即解能光滑地延拓到初始时刻。

Navier-Stokes 方程作为描述粘性流体运动的基本模型，在二维情况下已被证明存在全局光滑解（如 Leray、Ladyzhenskaya 等人的工作）。但在三维情形下，尽管局部强解的存在性和唯一性已知（例如通过 Banach 不动点定理建立短时解），其全局存在性与光滑性仍是未解之谜。Leray 在1934年证明了弱解的存在性，但无法证明其唯一性或正则性；Serrin 条件表明若速度满足一定可积性，则解光滑；Caffarelli-Kohn-Nirenberg 进一步给出了部分正则性结果——奇异点集的 Hausdorff 维数不超过1。

本文声称解决了这一根本问题，其核心思想并非直接处理 Navier-Stokes 方程本身，而是引入了一个新的桥梁系统：含惯性项的抛物型 Lamé 方程（parabolic inertial Lamé equations）：

$$ \begin{cases} \displaystyle \frac{\partial u}{\partial t} - \mu \Delta u - (\lambda + \mu)\, \mathrm{grad}\,\mathrm{div}\, u + (u \cdot \nabla)u = 0, & x \in \mathbb{R}^n, \; t \geq 0, \\ u(x,0) = \phi(x), \end{cases} $$

其中 $\mu > 0$ 和 $\lambda + \mu \geq 0$ 是 Lamé 常数，分别对应材料的剪切模量和体积模量。这个系统原本来源于非线性弹性动力学，描述具有惯性的弹性体在连续变形下的运动。

作者的关键观察在于：当 Lamé 常数 $\lambda \to +\infty$ 时，上述系统的解会“趋近”于 Navier-Stokes 方程的解。直观上，$\lambda$ 控制介质的不可压缩趋势——$\lambda$ 越大，材料越难被压缩；因此令 $\lambda \to \infty$ 可强制实现 $\mathrm{div}\, u = 0$ 的约束。

更精确地说，作者构造一族依赖于参数 $\lambda$ 的光滑解 $u_{\lambda,\mu}(x,t)$，然后证明当 $\lambda_m \to \infty$ 时，存在子列使得 $u_{\lambda_m,\mu}$ 在适当函数空间中弱收敛到某个极限 $u_\mu(x,t)$，并且该极限自动满足 $\mathrm{div}\, u_\mu = 0$，同时满足原始的 Navier-Stokes 方程。

这种方法巧妙地将一个难以直接控制的约束系统（NS 方程）转化为一族更容易分析的无约束抛物系统（Lamé 方程），再通过极限过程恢复约束条件。这种“通过惩罚项逼近不可压缩性”的思路在数值计算和变分方法中有先例，但在此用于严格证明全局光滑解的存在性尚属首次。

此外，为了支持这一极限过程，作者需要对 Lamé 方程族建立关于 $\lambda$ 一致的先验估计，包括 $L^\infty$ 估计、$H^1$ 能量估计以及高阶正则性估计。这些估计必须独立于 $\lambda$，否则在 $\lambda \to \infty$ 时可能失去控制。

综上所述，本文的研究对象虽然是经典 Navier-Stokes 方程，但其技术路径完全基于对含惯性项的非线性抛物型 Lamé 系统的深入分析，利用其良好的色散结构和半群性质，构建出 NS 解的逼近序列，并借助泛函分析中的紧性原理完成极限过渡。

主要定理或主要结果

本文证明的主要定理如下：

定理 1.1（全局光滑解的存在性与唯一性）
设 $\mu > 0$，$n = 3$。令 $\phi(x)$ 为任意光滑、无散度的向量场，满足衰减条件：

$$ |\partial^\alpha \phi(x)| \leq C_{\alpha M}(1+|x|)^{-M}, \quad \forall \text{ multi-index } \alpha, \; \forall M > 0. $$

取外力 $f(x,t) \equiv 0$。则存在唯一的光滑函数对 $(u(x,t), p(x,t))$ 定义在 $\mathbb{R}^3 \times [0,\infty)$ 上，满足：

  1. 满足 Navier-Stokes 方程：

    $$ \partial_t u_j - \mu \Delta u_j + \frac{\partial p}{\partial x_j} + \sum_{k=1}^{3} u_k \frac{\partial u_j}{\partial x_k} = 0, \quad j=1,2,3; $$

    $$ \mathrm{div}\, u = 0; $$

    $$ u(x,0) = \phi(x); $$

  2. 光滑性：

    $$ u, p \in C^\infty(\mathbb{R}^3 \times [0,\infty)); $$

  3. 能量有界性：

    $$ \int_{\mathbb{R}^3} |u(x,t)|^2 dx < C, \quad \forall t \geq 0; $$

  4. 解是唯一的。

此外，作者还给出周期情形下的类似结果：

定理 1.2（周期情形下的全局光滑解）
设 $\mu > 0$，$n = 3$。若初始场 $\phi(x)$ 是光滑、无散度且满足三维周期性：

$$ \phi(x + e_j) = \phi(x), \quad j = 1,2,3, $$

其中 $e_j$ 是标准单位向量，则存在光滑解 $(u,p)$ 满足 Navier-Stokes 方程、初始条件、光滑性、能量有界性及周期性：

$$ u(x + e_j, t) = u(x,t), \quad p(x + e_j, t) = p(x,t). $$

这两个定理共同宣称：在三维空间中，无论是在全空间还是周期设置下，只要初始数据足够光滑并满足自然衰减或周期性条件，不可压缩 Navier-Stokes 方程都存在全局、光滑、唯一且能量有界的解。

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

a) 核心分析学工具

本文采用了一种全新的间接方法来攻克 Navier-Stokes 方程的全局正则性问题，其核心技术路线可分为以下几个层次：

  1. 半群方法与积分方程转化
    作者将抛物型 Lamé 方程：

    $$ \frac{\partial u}{\partial t} + L_{\lambda,\mu} u + (u \cdot \nabla)u = 0, \quad L_{\lambda,\mu} := -\mu \Delta - (\lambda + \mu)\,\mathrm{grad}\,\mathrm{div}, $$

    转化为积分形式：

    $$ u(t) = e^{-t L_{\lambda,\mu}} \phi + \int_0^t e^{-(t-s)L_{\lambda,\mu}} [(u \cdot \nabla)u](s) ds =: \Psi u(t). $$

    这里 $e^{-t L_{\lambda,\mu}}$ 是由算子 $-L_{\lambda,\mu}$ 生成的解析半群。由于 $L_{\lambda,\mu}$ 是常系数、均匀强椭圆算子（uniformly strongly elliptic），它确实在 $C_0(\mathbb{R}^n)$、$L^2(\mathbb{R}^n)$ 等空间上生成解析半群（见 Stewart [42] 等文献）。

  2. Banach 空间上的不动点原理
    在短时间区间 $[0,T]$ 上，作者在函数空间 $C([0,T]; H^m(\mathbb{R}^3))$ 上应用压缩映射原理（contraction mapping principle），证明 $\Psi$ 存在唯一不动点，即局部光滑解。此步骤依赖于非线性项 $(u \cdot \nabla)u$ 在 Sobolev 空间中的双线性估计，以及半群 $e^{-t L_{\lambda,\mu}}$ 对 $H^m \to H^{m+1}$ 的一致性算子范数控制。

  3. 先验估计与解的延拓
    关键突破在于建立了关于 $\lambda$ 一致的先验估计。具体包括：

    • $L^\infty$ 估计（最大值原理型）：

      $$ \|u_{\lambda,\mu}\|_{C(\mathbb{R}^3 \times [0,T])} \leq C \|\phi\|_{C(\mathbb{R}^3)}, $$

      这类估计类似于抛物方程的上界估计，排除了解在有限时间内爆破的可能性。

    • $H^1$ 能量估计：

      $$ \|u_{\lambda,\mu}(t)\|_{H^1}^2 \leq \|\phi\|_{H^1}^2 \exp\left( C \int_0^t \|u_{\lambda,\mu}(s)\|_{C}^2 ds \right), $$

      其中常数 $C$ 仅依赖于 $\mu$，与 $\lambda$ 无关。这说明即使 $\lambda \to \infty$，能量增长速率仍可控。

    结合这些估计，局部解可无限延拓至 $[0,\infty)$，从而得到全局解。

  4. 正则性提升（Bootstrap 方法）
    利用标准的正则性理论（elliptic and parabolic regularity），从 $H^m$ 解出发，通过迭代提升正则性，最终得到 $C^\infty$ 光滑性。由于初始数据 $\phi \in S(\mathbb{R}^3)$，所有阶导数均满足相容性条件，故解可在 $t=0$ 处光滑延拓。

  5. 弱紧性与极限过程
    当 $\lambda_m \to \infty$ 时，作者利用：

    • $\{u_{\lambda_m,\mu}\}$ 在 $L^2([0,T]; H^1(\mathbb{R}^3))$ 中有界；
    • $\{\partial_t u_{\lambda_m,\mu}\}$ 在 $L^2([0,T]; L^2(\mathbb{R}^3))$ 中有界；

    由 Banach-Alaoglu 定理，存在子列弱收敛到某极限 $u_\mu$。进一步验证该极限满足 $\mathrm{div}\, u_\mu = 0$，且压力项 $p_\mu := \lim_{m\to\infty} -(\lambda_m + \mu)\mathrm{div}\, u_{\lambda_m,\mu}$ 弱收敛于 $L^2([0,T]; L^2)$。

  6. Fourier 分析与基本解显式构造
    论文第2节的核心贡献是显式构造了线性 Lamé 方程的基本解：

    $$ Z_{\lambda,\mu}(x,t) = \frac{e^{-|x|^2/4\mu t}}{(4\pi \mu t)^{n/2}} I_n + \mathrm{Hess}\, W_{\lambda,\mu}(x,t), $$

    其中

    $$ W_{\lambda,\mu}(x,t) = \left( \frac{e^{-|x|^2/4(\lambda+2\mu)t}}{(4\pi(\lambda+2\mu)t)^{n/2}} - \frac{e^{-|x|^2/4\mu t}}{(4\pi \mu t)^{n/2}} \right) * \frac{1}{n(n-2)\omega_n |x|^{n-2}}. $$

    这一表达式通过符号计算、留数定理和 Newtonian 势理论得出，使得后续估计变得可行。

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

  • 非线性项 $(u \cdot \nabla)u$ 的处理：通过将其视为源项代入积分方程，利用半群的 smoothing 效应（如 $e^{-tL} : L^2 \to H^1$）和 Hölder 不等式控制非线性耦合。
  • $\lambda \to \infty$ 极限中的奇异性：虽然 $\lambda$ 出现在主算子中，但由于作者构造的估计不依赖于 $\lambda$，从而克服了传统方法中因参数趋于无穷而导致估计失效的问题。
  • 压力项的隐式出现：在 Lamé 方程中，压力效应由 $(\lambda + \mu)\mathrm{grad}\,\mathrm{div}\, u$ 显式体现；而在极限中，该项发散，但其梯度部分收敛到真正的压力梯度，实现了自然的压力还原机制。

与之前工作的比较

a) 突破与改进

本文宣称的突破在于首次严格证明了三维 Navier-Stokes 方程全局光滑解的存在性与唯一性，解决了千禧年难题。相比以往工作，主要改进体现在：

  1. 无需小初值假设：此前多数全局解结果要求初始速度足够小（如 Fujita-Kato 方法），而本文适用于任意光滑、衰减的初始数据。
  2. 无需额外可积性条件：Serrin 型准则要求 $u \in L^q_t L^p_x$ 满足某种指数关系才能推出正则性，本文无需此类先验假设。
  3. 直接构造全局光滑解：不同于弱解框架（如 Leray-Hopf 解）或部分正则性（Caffarelli-Kohn-Nirenberg），本文得出的是处处光滑的强解。
  4. 统一处理全空间与周期情形：方法具有普适性，适用于不同几何设置。

b) 方法论创新

最显著的创新是引入抛物型惯性 Lamé 方程作为逼近系统。这一构造不仅提供了良好的数学结构（解析半群、显式基本解），而且物理意义清晰：$\lambda \to \infty$ 对应材料趋于完全不可压缩。相比传统的粘性消失法或人工压缩法，该方法保留了动力学结构，更适合分析非线性惯性效应。

综上，若该证明经得起同行检验，将是偏微分方程与数学物理领域的里程碑式成果。

2. Accelerated and fast magnetic reconnection through enhanced resistive dissipation for MHD equations

通过增强电阻耗散实现MHD方程的加速与快速磁重联

作者: Gennaro Ciampa, Renato Lucà

类别: math.AP, math-ph, math.MP, 35Q35, 35Q49, 76F25, 76W05

发布日期: 2025-10-08

arXiv ID: 2510.06801v2

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

详细分析

中文标题: 通过增强电阻耗散实现MHD方程的加速与快速磁重联

1. 研究对象和背景

本文研究的是三维周期域上的不可压缩、无粘性磁流体动力学（Magnetohydrodynamics, MHD）方程组，其核心目标是分析磁重联（magnetic reconnection）这一物理现象在数学上的实现机制，特别是探讨对流项（advection term）如何通过增强电阻耗散来加速磁拓扑结构的变化。

所考虑的MHD系统如下：

$$ \begin{cases} \partial_t u_\eta + (u_\eta \cdot \nabla) u_\eta + \nabla p_\eta = (b_\eta \cdot \nabla) b_\eta, \\ \partial_t b_\eta + (u_\eta \cdot \nabla) b_\eta = (b_\eta \cdot \nabla) u_\eta + \eta \Delta b_\eta, \\ \mathrm{div}\, u_\eta = \mathrm{div}\, b_\eta = 0, \\ u_\eta(0,\cdot) = u^{\mathrm{in}}_\eta, \quad b_\eta(0,\cdot) = b^{\mathrm{in}}_\eta, \end{cases} \tag{MHD} $$

其中 $ \eta > 0 $ 是电阻率（resistivity），$ u_\eta $ 表示流体速度场，$ b_\eta $ 表示磁场，$ p_\eta $ 为总压力。空间区域为三维环面 $ \mathbb{T}^3 = \mathbb{R}^3 / \mathbb{Z}^3 $，即具有周期边界条件。该模型结合了Navier-Stokes流体力学与Maxwell电磁学，在等离子体物理中广泛用于描述导电流体中的磁场演化。

一个关键的物理现象是磁重联：当反向的磁力线相遇时，它们可以“断裂并重新连接”，导致磁拓扑结构发生根本性改变，并释放大量能量——这正是太阳耀斑、日冕物质抛射等空间天气事件的核心机制。从数学角度看，磁重联对应于磁场 $ b_\eta(t,\cdot) $ 的积分曲线（integral lines）拓扑结构发生变化，例如出现或消失零点（equilibrium points），即满足 $ b_\eta(t,x^*) = 0 $ 的点。

在理想情况（$ \eta = 0 $）下，Alfvén定理表明磁场线被“冻结”在流体中，其拓扑结构由流体流动保持不变。然而当 $ \eta > 0 $ 时，扩散效应允许拓扑变化发生。传统上，人们预期磁重联的时间尺度应至少为 电阻时间尺度 $ T \gtrsim 1/\eta $。但观测和数值模拟显示实际重联速度远快于此，例如Sweet-Parker模型预测时间为 $ \eta^{-1/2} $，而撕裂模不稳定性（tearing mode）甚至可达 $ \eta^{-3/5} $，这些均属于“慢重联”。真正“快速磁重联”的速率几乎与 $ \eta $ 无关，如Petschek模型所预测的对数型速率 $ |\ln \eta|^{-1} $。

本文首次从严格的解析角度证明：通过对初始速度场的设计，利用对流引起的增强耗散（enhanced resistive dissipation），可构造出满足加速磁重联乃至快速磁重联的解。

文中特别强调了解的存在空间为高阶Sobolev空间 $ H^r(\mathbb{T}^3) $，其中 $ r > 5/2 $，以确保解足够正则（局部强解存在唯一）。此外，所有函数均为周期性的，且初始数据为散度自由（divergence-free），这是MHD系统的自然约束。

值得注意的是，尽管方程中未包含粘性项（即无 $ \nu \Delta u $），作者指出该结果可通过摄动方法推广至粘性情形。此外，构造依赖于二维Euler方程的稳态解作为构建块，体现了低维结构在高维问题中的作用。

2. 主要定理或主要结果

Theorem A（加速磁重联）

设 $ r > 5/2 $。则存在充分小的 $ \eta_0 > 0 $，使得对任意 $ 0 < \eta < \eta_0 $，存在一族散度自由的初值 $ (u^{\mathrm{in}}_\eta, b^{\mathrm{in}}_\eta) \in H^r(\mathbb{T}^3) $，使得对应的(MHD)局部唯一解 $ (u_\eta, b_\eta, p_\eta) $ 展现出加速磁重联，其速率为：

$$ \lambda_{\mathrm{rec}}(\eta) := c \frac{\eta^{1/2}}{|\ln \eta|^2}, $$

其中 $ c > 0 $ 为常数。更具体地：

  • 对所有 $ t \in [0, c_1] $，磁场 $ b_\eta(t,\cdot) $ 至少有一个双曲零点（hyperbolic zero）；
  • 对所有 $ t \in \left[ c_2 \frac{|\ln \eta|}{\eta^2}, 2c_2 \frac{|\ln \eta|}{\eta^2} \right] $，磁场 $ b_\eta(t,\cdot) $ 没有零点；

其中 $ c_1, c_2 > 0 $ 仅依赖于 $ r $。因此，拓扑变化必定发生在上述两个时间段之间，且重联时间远小于标准电阻时间 $ 1/\eta $。

此外，此结论是结构稳定的：对于任何满足

$$ \| \tilde{u}^{\mathrm{in}}_\eta - u^{\mathrm{in}}_\eta \|_{H^r} + \| \tilde{b}^{\mathrm{in}}_\eta - b^{\mathrm{in}}_\eta \|_{H^r} \leq c(r,\eta) $$

的小扰动初值 $ (\tilde{u}^{\mathrm{in}}_\eta, \tilde{b}^{\mathrm{in}}_\eta) $，只要 $ c(r,\eta) $ 足够小，结论仍然成立。

注：定义中称重联是“加速”的，若重联时间倒数 $ \lambda_{\mathrm{rec}}(\eta) $ 满足 $ \lim_{\eta \to 0} \eta / \lambda_{\mathrm{rec}}(\eta) = 0 $；若进一步对任意 $ a > 0 $ 有 $ \lim_{\eta \to 0} \eta^a / \lambda_{\mathrm{rec}}(\eta) = 0 $，则称为“快速”。

Theorem B’（高阶Sobolev范数的增强耗散）

设 $ U \in W^{S,\infty}(\mathbb{T}^d) $ 为散度自由向量场，且具有增强耗散率 $ \lambda(\eta) $，即对所有零流平均初值 $ \rho^{\mathrm{in}} \in L^2 $，其对应的对流-扩散方程

$$ \partial_t \rho + U \cdot \nabla \rho = \eta \Delta \rho $$

的解满足 $ \|\rho(t,\cdot)\|_{L^2} \lesssim e^{-\lambda(\eta)t} \|\rho^{\mathrm{in}}\|_{L^2} $。则对该方程的高阶Sobolev范数也有估计：

对任意整数 $ 0 \leq s \leq \min\{r,S\} $ 和任意 $ \varepsilon > 0 $，存在 $ \eta_0 > 0 $，使得对所有 $ \eta \in (0,\eta_0) $，

$$ \|\rho(t,\cdot)\|_{H^s} \lesssim_{\varepsilon,s} \frac{1 + \|U\|_{W^{S,\infty}}^s}{\eta^{s(1/2 + \varepsilon)}} e^{-\lambda(\eta)t} \|\rho^{\mathrm{in}}\|_{H^s}. $$

若 $ U \in B^\infty_{S,2} $（Besov类），则可去掉 $ \varepsilon $ 损失：

$$ \|\rho(t,\cdot)\|_{H^s} \lesssim_s \frac{1 + \|U\|_{B^\infty_{S,2}}^s}{\eta^{s/2}} e^{-\lambda(\eta)t} \|\rho^{\mathrm{in}}\|_{H^s}. $$

此定理将经典的 $ L^2 $ 增强耗散推广到高阶 $ H^s $ 范数，虽带有 $ \eta^{-s/2} $ 的奇性常数，但在控制非线性发展过程中仍足够有效。

Theorem C（快速磁重联）

在粘性MHD系统加入随机强迫后，即考虑系统(F-MHD)，存在初值 $ (u^{\mathrm{in}}_\eta, b^{\mathrm{in}}_\eta) \in H^r(\mathbb{T}^3) $ 及随机力 $ f \in L^\infty((0,T); H^r(\mathbb{T}^3)) $，使得以概率接近1，对应的解展现出快速磁重联，其速率为：

$$ \lambda_{\mathrm{rec}}(\eta) = \frac{c}{|\ln \eta|}, $$

满足 $ \lim_{\eta \to 0} \eta^a / \lambda_{\mathrm{rec}}(\eta) = 0 $ 对所有 $ a > 0 $ 成立。此时磁场在 $ [0,c_1] $ 内有零点，在 $ [c_2 |\ln \eta|, 2c_2 |\ln \eta|] $ 内无零点。

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

a) 核心分析工具

  1. Littlewood-Paley 分解与调和分析技术
    文章使用标准的Littlewood-Paley投影 $ P_N $ 将函数分解为不同频率成分。借助该工具建立了Bernstein不等式、平方函数估计（Littlewood-Paley inequality）以及Besov空间的刻画：

    $$ \|f\|_{B^s_{p,q}} \sim \left( \|P_{\leq1}f\|_{L^p}^q + \sum_{N \in 2^{\mathbb{N}^*}} N^{sq} \|P_N f\|_{L^p}^q \right)^{1/q}. $$

    这些工具用于精细估计高频部分的能量传播。

  2. Commutator 估计
    关键引理包括Kato-Ponce型交换子估计：

    $$ \|[P_N, f]g\|_{L^r} \lesssim N^{-1} \|\nabla f\|_{L^p} \|g\|_{L^q}, \quad \frac{1}{r} = \frac{1}{p} + \frac{1}{q}, $$

    以及类似DiPerna-Lions的估计：

    $$ \|[P_N, f \cdot \nabla]g\|_{L^r} \lesssim \|\nabla f\|_{L^p} \|g\|_{L^q}. $$

    它们用于处理非线性项与微分算子之间的交换误差。

  3. Sobolev嵌入与分数Leibniz规则
    使用如下乘积估计：

    $$ \|D^s(fg)\|_{L^r} \lesssim \|f\|_{L^{p_1}} \|D^s g\|_{L^{q_1}} + \|D^s f\|_{L^{p_2}} \|g\|_{L^{q_2}}, \quad \frac{1}{r} = \frac{1}{p_i} + \frac{1}{q_i}. $$

    在控制非线性耦合项（如 $ (u \cdot \nabla)b $）的增长时至关重要。

  4. 稳定性理论与先验估计
    利用经典能量方法建立扰动系统的先验界（见Theorem 3.1），通过比较真实解与参考解的距离，量化生命跨度 $ T $ 与初始误差的关系：

    $$ \|u - \tilde{u}\|_{H^r}^2 + \|b - \tilde{b}\|_{H^r}^2 \leq \frac{e^{\int_0^t \cdots ds}}{f(t)^2}, $$

    其中 $ f(t) $ 由初始误差和参考解的 $ H^{r+1} $ 范数决定。这保证了即使进行小扰动，解仍能在所需时间区间内存在。

b) 技术性突破与技巧

  1. 构造耗散增强型速度场
    选取 $ U(x_1,x_2) = (f(x_2), 0) $ 为剪切流（shear flow），若 $ f' $ 仅有有限个临界点且最低阶导数非零，则其具有增强耗散性质。根据Theorem 2.7，其耗散率为 $ \lambda(\eta) = C \eta^{n_0/(n_0+2)} $，其中 $ n_0 $ 为 $ f' $ 的最大消失阶数。

  2. 设计参考解与扰动策略
    构造二维依赖的稳态解：令 $ \tilde{u} = (U, 0) $，$ \tilde{b} = (0,0,\tilde{b}_3) $，其中 $ \tilde{b}_3 $ 满足对流-扩散方程。选择 $ \tilde{b}_3^{\mathrm{in}} $ 在某点为零但平均为正，从而形成一条退化零点线。再施加小扰动打破对称性，使零点在短时间内消失。

  3. 利用增强耗散控制磁场衰减
    关键在于应用Theorem B’，将 $ b $ 的 $ H^r $ 范数衰减控制为指数形式 $ e^{-\lambda(\eta)t} $，即使前因子含 $ \eta^{-s/2} $，只要 $ \lambda(\eta) $ 足够大（如 $ \eta^{1/2}/|\ln \eta|^2 $），就能在有限时间内迫使 $ |b(t,x)| > 0 $ 处处成立，从而消除零点。

  4. 引入随机强迫实现更快重联
    采用[6]中带随机力的Navier-Stokes解作为背景流，此类非自治场可产生指数混合，从而获得 $ \lambda(\eta) \sim 1/|\ln \eta| $ 的超多项式耗散率，最终实现快速重联。

4. 与之前工作的比较

a) 突破与改进

本文相对于先前工作（尤其是[13]）实现了三项本质性突破：

  1. 首次揭示对流项在磁重联中的主动角色
    在[13]中，重联时间约为 $ 1/(\eta N^2) $，其中 $ N $ 为特征长度，说明过程仍由纯扩散主导，非线性未加速重联。而本文通过精心设计 $ u^{\mathrm{in}} $ 使其成为耗散增强流，使得 $ b $ 的衰减速率超越 $ \eta $，实现真正的“加速”。

  2. 摆脱对大规模结构的依赖，进入湍流相关机制
    [13]的结果依赖于大尺度平衡态，难以反映湍流环境下的快速重联。本文通过局部化扰动与高频控制，构造出适用于更一般情形的解，且时间窗口 $ |\ln \eta|/\eta^2 \to \infty $ 当 $ \eta \to 0 $，更具物理可观测性。

  3. 建立高阶增强耗散的一般理论（Theorem B’）
    此前增强耗散多限于 $ L^2 $ 或弱拓扑，本文将其推广至 $ H^s $，为研究非线性PDE中高阶正则性的演化提供了新工具，具有独立意义。

综上，本文不仅给出了首个基于对流加速的磁重联解析实例，还发展了一套可用于其他输运-扩散系统的通用框架，标志着从“被动扩散”到“主动混合驱动重联”的范式转变。

3. A unified relative entropy framework for macroscopic limits of Vlasov–Fokker–Planck equations

Vlasov–Fokker–Planck方程宏观极限的统一相对熵框架

作者: Young-Pil Choi, Jinwook Jung

类别: math.AP

发布日期: 2025-10-20

arXiv ID: 2510.17455v1

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

详细分析

中文标题: Vlasov–Fokker–Planck方程宏观极限的统一相对熵框架

1. 研究对象和背景

本文研究的是 Vlasov–Fokker–Planck (VFP) 方程 在多种奇异尺度下的宏观极限问题，其核心在于建立一个统一的相对熵框架，以处理带有非局部 Riesz 型相互作用和 Fokker–Planck 松弛项的动力学系统。这类方程广泛应用于描述粒子系统的集体行为，例如等离子体物理、社会动力学、生物群体运动等领域。

所研究的主方程如下：

$$ \frac{1}{A}\partial_t f + B\xi \cdot \nabla_x f - \nabla_x(-\Delta_x)^{-\alpha}\rho_f \cdot \nabla_\xi f = \frac{1}{\tau} \nabla_\xi \cdot (\nabla_\xi f + \xi f), \quad t > 0, \quad (x,\xi) \in \mathbb{R}^d \times \mathbb{R}^d. $$

其中：

  • $f = f(t,x,\xi)$ 是相空间中的粒子分布函数，表示在时间 $t$、位置 $x$ 处具有速度 $\xi$ 的粒子密度；
  • 宏观密度与动量定义为：
    $$ \rho_f := \int_{\mathbb{R}^d} f \, d\xi, \quad \rho_f u_f := \int_{\mathbb{R}^d} \xi f \, d\xi; $$
  • 参数 $A, B, \tau > 0$ 分别控制时间导数、输运项和松弛过程的尺度；
  • $\theta = 1$（归一化温度）；
  • $(−∆_x)^{−α}$ 是分数拉普拉斯逆算子，对应于Riesz 型相互作用势，其核为 $K(x) = c_{α,d}/|x|^{d−2α}$，其中 $α ∈ (0,1]$；
    • 当 $α=1$ 时为库仑势；
    • 当 $α∈(0,1)$ 时为更长程的 Riesz 势，导致更强的非局部效应。

该模型结合了三种基本机制：

  1. 输运（由 $\xi·∇_x f$ 描述）；
  2. 非局部自洽力场（由 $-\nabla_x(-\Delta_x)^{-\alpha}\rho_f$ 驱动，体现粒子间的排斥或吸引相互作用）；
  3. 速度空间中的扩散与摩擦（Fokker–Planck 算子 $\nabla_\xi·(\nabla_\xi f + \xi f)$），使速度分布趋于局部麦克斯韦分布。

目标是研究当某些参数趋于极限（如 $\varepsilon \to 0$）时，该动力学系统的解是否收敛到某个宏观连续介质模型，并给出定量收敛估计。

作者考虑了三个典型极限情形：

  • 扩散极限（Diffusive limit）：$A=\varepsilon$, $B=1$, $\tau=\varepsilon$；
  • 高场极限（High-field limit）：$A=B=\varepsilon$, $\tau=1$；
  • 强磁场极限（gSQG limit）：$A=\varepsilon$, $B=1$, $\tau=1$。

这些极限分别通向不同的宏观方程：

  1. 扩散极限 → 漂移-扩散型聚集方程（Aggregation–diffusion equation）；
  2. 高场极限 → 纯非局部聚集方程；
  3. 强磁场极限 → 广义表面准地转方程（generalized Surface Quasi-Geostrophic, gSQG）。

所有分析均在全空间 $\mathbb{R}^d$ 上进行，未设定边界条件。由于涉及概率测度与弱拓扑，函数空间的选择至关重要。文中使用的函数空间包括：

  • $L^p$ 空间及其加权版本，尤其是 $L\log L$（用于熵）；
  • 概率测度空间 $P(\mathbb{R}^n)$ 及其带矩空间 $P_p(\mathbb{R}^n)$；
  • Radon 测度空间 $M(\mathbb{R}^n)$；
  • Sobolev 空间 $\dot{H}^{-\alpha}(\mathbb{R}^d)$，用于刻画密度差的能量范数；
  • 有界 Lipschitz 距离所诱导的弱拓扑空间，用于处理初始数据不完全对齐的情形。

特别值得注意的是，作者强调使用 bounded Lipschitz distance（BL 距离）来衡量分布函数之间的弱收敛性。对于两个有限 Borel 测度 $\mu,\nu$ 在度量空间 $(X,d_X)$ 上，其定义为：

$$ d_{\mathrm{BL}}(\mu,\nu) := \sup_{\|\phi\|_{L^\infty(X)} + \mathrm{Lip}_X(\phi) \leq 1} \left| \int_X \phi \, d\mu - \int_X \phi \, d\nu \right|. $$

这一距离的优势在于：

  • 不要求有限一阶矩即可定义；
  • 在无界域上比 Wasserstein 距离更具适用性；
  • 与熵耗散项有天然联系（通过引理可将 Fisher 信息控制 BL 距离）。

此外，文章引入了“弱熵解”的概念作为分析基础，它满足能量不等式而非等式，允许一定程度的奇异性，但仍保留足够的结构以支持紧性论证和稳定性估计。

整体来看，本文的研究对象是一个高度非线性、非局部且具有奇异尺度的 VFP 型方程族，其挑战在于：

  • 如何在缺乏经典紧性的情况下证明收敛；
  • 如何处理初始数据偏离平衡态的情况（即“非良备初值”）；
  • 如何统一不同极限下的分析方法。

为此，作者构建了一个基于相对熵、调制能量与 BL 距离相结合的稳定性理论，实现了从微观耗散到宏观强/弱收敛的桥梁。

2. 主要定理或主要结果

Theorem 1.1 (Diffusive Limit)

设 $T>0$，$\rho \in L^\infty([0,T]; P(\mathbb{R}^d))$ 是以下聚集-扩散方程的唯一经典解：

$$ \partial_t \rho - \nabla \cdot (\rho \nabla (-\Delta)^{-\alpha} \rho) = \Delta \rho, \quad \text{in } (0,T)\times\mathbb{R}^d, $$

并假设 $\nabla(-\Delta)^{-\alpha}\rho + \nabla \log \rho \in L^\infty(0,T; W^{1,\infty}) \cap W^{1,\infty}(0,T; L^\infty)$。

令 $\{f_\varepsilon\}_{\varepsilon>0}$ 为一族满足初值 $\{f_{\varepsilon,0}\}_{\varepsilon>0}$ 的弱熵解，对应于扩散极限下的 VFP 方程：

$$ \varepsilon \partial_t f_\varepsilon + \xi \cdot \nabla_x f_\varepsilon - \nabla_x(-\Delta_x)^{-\alpha}\rho_{f_\varepsilon} \cdot \nabla_\xi f_\varepsilon = \nabla_\xi \cdot (\nabla_\xi f_\varepsilon + \xi f_\varepsilon). $$

若初始数据满足：

  • $\sup_{\varepsilon \in (0,1)} \varepsilon^2(K[f_{\varepsilon,0}] + P[\rho_{f_{\varepsilon,0}}]) < \infty$，
  • 且为良备初值（well-prepared）：
    $$ H[f_{\varepsilon}|M_{\rho,0}](0) + P[\rho_{f_\varepsilon}|\rho](0) \to 0 \quad \text{as } \varepsilon \to 0, $$

则有如下强收敛结果：

  • $f_\varepsilon \to M_{\rho,0}$ 在 $L^\infty(0,T; L^1(\mathbb{R}^d\times\mathbb{R}^d))$ 中；
  • $\int f_\varepsilon d\xi \to \rho$ 在 $L^\infty(0,T; L^1 \cap \dot{H}^{-\alpha})$ 中；
  • $\frac{1}{\varepsilon} \int \xi f_\varepsilon d\xi \to -\rho(\nabla(-\Delta)^{-\alpha}\rho + \nabla \log \rho)$ 在 $L^1((0,T)\times\mathbb{R}^d)$ 中。

并且存在常数 $C>0$（独立于 $\varepsilon$）使得以下稳定性估计成立：

$$ \begin{aligned} &\|f_\varepsilon - M_{\rho,0}\|_{L^\infty(L^1)}^2 + \|\rho_{f_\varepsilon} - \rho\|_{L^\infty(L^1 \cap \dot{H}^{-\alpha})}^2 \\ &\quad + \left\|\frac{\rho_{f_\varepsilon} u_{f_\varepsilon}}{\varepsilon} + \rho(\nabla(-\Delta)^{-\alpha}\rho + \nabla \log \rho)\right\|_{L^1((0,T)\times\mathbb{R}^d)}^2 \\ &\qquad \leq C\big(H[f_{\varepsilon}|M_{\rho,0}](0) + P[\rho_{f_\varepsilon}|\rho](0)\big) + C\varepsilon^2. \end{aligned} $$

进一步，若初值仅为轻微良备（mildly well-prepared），即：

  • $d_{\mathrm{BL}}(\rho_{f_\varepsilon,0}, \rho_0) \to 0$，
  • $\varepsilon^2(H[f_{\varepsilon}|M_{\rho,0}](0) + P[\rho_{f_\varepsilon}|\rho](0)) \to 0$，

则得到弱*收敛结果：

  • $f_\varepsilon \overset{*}{\rightharpoonup} M_{\rho,0}$ 在 $L^2(0,T; M(\mathbb{R}^d\times\mathbb{R}^d))$ 中；
  • $\int f_\varepsilon d\xi \overset{*}{\rightharpoonup} \rho$ 在 $L^\infty(0,T; M(\mathbb{R}^d))$ 中；
  • $\frac{1}{\varepsilon} \int \xi f_\varepsilon d\xi \overset{*}{\rightharpoonup} -\rho(\nabla(-\Delta)^{-\alpha}\rho + \nabla \log \rho)$ 在 $M((0,T)\times\mathbb{R}^d)$ 中。

同时获得定量弱收敛估计：

$$ \int_0^T d_{\mathrm{BL}}^2(f_\varepsilon(t), M_{\rho,0}(t)) \, dt \leq C d_{\mathrm{BL}}^2(\rho_{f_\varepsilon,0}, \rho_0) + C\varepsilon^2(H[f_{\varepsilon}|M_{\rho,0}](0) + P[\rho_{f_\varepsilon}|\rho](0)) + C\varepsilon^2, $$
$$ \sup_{t \in [0,T]} d_{\mathrm{BL}}^2(\rho_{f_\varepsilon}(t), \rho(t)) \leq C d_{\mathrm{BL}}^2(\rho_{f_\varepsilon,0}, \rho_0) + C\varepsilon^2(H[f_{\varepsilon}|M_{\rho,0}](0) + P[\rho_{f_\varepsilon}|\rho](0)) + C\varepsilon^4. $$

注：类似的结果也适用于高场极限与 gSQG 极限，构成论文三大应用支柱。

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

本文的核心贡献在于提出了一套统一的相对熵框架，融合了三大数学工具：

  1. 相对熵与熵耗散；
  2. 调制能量（modulated energy）；
  3. 有界 Lipschitz 距离与 Fisher 信息控制。

a) 核心分析工具

（1）相对熵方法（Relative Entropy Method）

相对熵定义为：

$$ H[f|M_{\rho,u}] := \iint f \log\frac{f}{M_{\rho,u}} \, dx d\xi - \iint (f - M_{\rho,u}) \, dx d\xi \geq 0, $$

它是衡量 $f$ 相对于局部麦克斯韦分布 $M_{\rho,u}$ 偏离程度的关键指标。利用凸性可知，$M_{\rho,u}$ 是自由能泛函的唯一最小值点，因此相对熵自然成为稳定性分析的候选 Lyapunov 泛函。

更重要的是，Fokker–Planck 算子具有熵耗散性质：

$$ \frac{d}{dt} H[f|M] \leq -\frac{1}{\tau} \iint \left| \nabla_\xi \sqrt{f} + \frac{\xi}{2} \sqrt{f} \right|^2 dx d\xi =: -\frac{1}{\tau} D_H[f], $$

其中 $D_H[f]$ 称为耗散率，与 Fisher 信息密切相关。

（2）调制能量（Modulated Energy）

为了同时捕捉微观与宏观层面的收敛，作者引入复合泛函：

$$ E[f|\rho,u] := H[f|M_{\rho,u}] + P[\rho_f | \rho], $$

其中第二项为相对势能：

$$ P[\rho_f | \rho] = \frac{1}{2} \|\rho_f - \rho\|_{\dot{H}^{-\alpha}}^2. $$

这个泛函的优点在于：

  • 第一项控制 $f$ 接近局部平衡；
  • 第二项控制宏观密度趋近目标 $\rho$；
  • 整体虽非单调递减，但可通过 Grönwall 类型不等式控制其增长，余项由 $\varepsilon$ 控制。
（3）Bounded Lipschitz 距离与 Fisher 信息的关系

关键引理指出，Fisher 信息可以控制 BL 距离的时间积分。具体地，存在常数 $C>0$ 使得：

$$ \int_0^T d_{\mathrm{BL}}^2(f(t), M(t)) \, dt \leq C \int_0^T D_H[f(t)] \, dt. $$

这建立了微观耗散 → 宏观弱收敛的桥梁，使得即使初始相对熵发散，只要其增长速率可控（如 $O(1/\varepsilon^{2−})$），仍能获得定量弱收敛。

（4）Grönwall 型估计与误差传播

通过计算 $E[f_\varepsilon | \rho, u]$ 的时间导数，并利用极限方程的正则性，可得：

$$ \frac{d}{dt} E_\varepsilon(t) \leq C E_\varepsilon(t) + R(\varepsilon), $$

其中余项 $R(\varepsilon)$ 来自尺度差异和非线性耦合，通常为 $O(\varepsilon^2)$。由此通过 Grönwall 引理得出：

$$ E_\varepsilon(t) \leq e^{Ct} \left(E_\varepsilon(0) + \varepsilon^2\right), $$

从而实现从初值误差到全程误差的传播。

b) 技术难点与解决技巧

（1）处理奇异尺度与非局部力

当 $\varepsilon \to 0$ 时，非局部力项 $\nabla(-\Delta)^{-\alpha}\rho_f$ 可能放大误差。作者通过将力场分解为“参考场”与“扰动场”，并利用调制能量中的 $\dot{H}^{-\alpha}$ 项精确抵消交叉项，避免直接估计高阶导数。

（2）应对初始数据非平衡态

传统相对熵方法要求初值接近平衡态（$H[f_\varepsilon|M] \to 0$）。本文突破此限制，允许 $H[f_\varepsilon|M](0) \sim \varepsilon^{-2+δ}$，只要配合 $d_{\mathrm{BL}}(\rho_{f_\varepsilon,0}, \rho_0) \to 0$，即可通过 BL 距离吸收低频部分误差，而高频部分由耗散压制。

（3）统一三类极限的分析框架

尽管三类极限物理机制不同（扩散主导、电场主导、旋转主导），但作者发现它们均可纳入同一形式的相对熵估计结构，仅需调整参考状态 $(\rho,u)$ 和缩放参数。这种统一性体现了方法的强大普适性。

4. 与之前工作的比较

a) 突破与改进

（1）放宽对初始数据的要求

以往工作（如 Jabin, Otto, etc.）多要求“良备初值”（well-prepared），即初始相对熵趋于零。本文首次系统引入“轻微良备”概念，允许初始相对熵发散至无穷，只要其增长慢于 $1/\varepsilon^2$，且宏观密度一致。这是对初始条件假设的重大放松。

（2）获得定量弱收敛估计

此前多数结果停留在强收敛或定性弱收敛。本文首次证明，在 BL 距离下可获得显式定量误差界，即使在弱*拓扑中。这意味着即便无法控制 $L^1$ 收敛，也能保证宏观可观测量的逼近精度。

（3）统一框架覆盖多类极限

已有文献通常针对单一极限设计专用工具（如 Hilbert 展开用于扩散极限，流体极限用于 Euler 等）。本文提出的统一相对熵框架适用于至少三类完全不同机制的极限，展现出前所未有的通用性。

（4）改进收敛速率

在强收敛情形下，作者获得 $O(\varepsilon^2)$ 的误差界，优于以往常见的 $O(\varepsilon)$ 结果。这源于更精细的能量估计和余项控制，匹配了扩散过程的自然尺度。

b) 应用前景与理论意义

本文不仅推进了 VFP 方程的渐近分析，更为一般奇异扰动下的耗散系统提供了新范式。其思想可推广至：

  • 其他类型的非局部相互作用（如 Morse 势）；
  • 更复杂的几何结构（环面、流形）；
  • 随机外力或噪声驱动系统。

总之，该工作标志着相对熵方法从定性工具向定量分析利器的转变，特别是在处理非平衡初态和弱拓扑方面开辟了新路径。

4. A unified theory of existence of suitable weak solutions to the 3D incompressible Navier-Stokes equations for non-decaying initial data

关于三维不可压缩Navier-Stokes方程在非衰减初值下适定弱解存在性的统一理论

作者: A. Balakrishna, I. Kukavica, W. S. Ożański

类别: math.AP

发布日期: 2025-10-20

arXiv ID: 2510.17107v1

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

详细分析

中文标题: 关于三维不可压缩Navier-Stokes方程在非衰减初值下适定弱解存在性的统一理论

1. 研究对象和背景

本文研究的是三维空间 $\mathbb{R}^3$ 上的不可压缩Navier-Stokes方程（Navier-Stokes Equations, NSE），其形式如下：

$$ \begin{cases} \partial_t u + (u \cdot \nabla) u - \Delta u + \nabla p = f, \\ \mathrm{div}\, u = 0, \end{cases} \quad \text{在 } \mathbb{R}^3 \times (0,T) \text{ 上}, $$

其中 $u = u(x,t)$ 表示流体速度场，$p = p(x,t)$ 是压力函数，外力项 $f$ 在文中未显式考虑（可视为零或包含在分析中）。粘性系数被归一化为 1。初始条件为一个散度自由的向量场 $u_0 \in L^2_{\mathrm{loc}}(\mathbb{R}^3)$，即 $\mathrm{div}\, u_0 = 0$。

该方程组描述了粘性不可压缩流体的动力学演化，是数学物理中最核心但也最困难的偏微分方程之一。自 Leray 于1934年开创性地证明了全局弱解的存在性以来，关于解的存在性、唯一性、正则性与长时间行为的研究一直是分析学的重要课题。

然而，Leray 解要求初始数据满足 $u_0 \in L^2(\mathbb{R}^3)$，这隐含了当 $|x| \to \infty$ 时速度趋于零的空间衰减假设。但在许多实际问题中，如大气流动或具有周期结构的介质，流体速度可能并不衰减，甚至呈现振荡或缓慢增长的行为。因此，放宽对初值的空间衰减限制成为近年来的一个重要方向。

为此，Lemarié-Rieusset 在2002年引入了所谓的 局部能量解（local energy solutions）的概念，并定义了一个关键函数空间：$L^2_{\mathrm{uloc}}(\mathbb{R}^3)$，即一致局部平方可积空间，其范数为：

$$ \|u\|_{L^2_{\mathrm{uloc}}} := \sup_{x \in \mathbb{R}^3} \left( \int_{B(x,1)} |u(y)|^2 dy \right)^{1/2}. $$

这一框架允许初值不趋于零，从而容纳更广泛的非衰减情形。后续工作如 Kikuchi-Seregin、Bradshaw-Kukavica 等进一步推广了此理论，考虑了具有特定尺度增长结构的初值空间，例如“dyadic型空间”，即以原点为中心、半径按 $2^n$ 增长的球覆盖下的 Morrey 型空间。

本文在此基础上提出了一种更为一般化的函数空间框架，旨在建立一个统一的存在性理论。作者引入了一个由任意闭球构成的覆盖族 $\mathscr{C}$，满足两个几何条件：

  • （i）每个球最多与 $\sigma > 0$ 个其他球相交；
  • （ii）若两球相交，则它们的体积满足 $ |B|^{1/3} / |B'|^{1/3} \in [1/\eta, \eta] $，即尺寸可比。

基于此覆盖，定义一类Morrey型空间 $M^{p,q}_{\mathscr{C}}$，其范数为：

$$ \|f\|_{M^{p,q}_{\mathscr{C}}}^p := \sup_{B \in \mathscr{C}} \frac{1}{|B|^{q/3}} \int_B |f|^p. $$

特别地，令 $M := M^{2,2}_{\mathscr{C}}$，即：

$$ \|f\|_M^2 = \sup_{B \in \mathscr{C}} \frac{1}{|B|^{2/3}} \int_B |f|^2. $$

这个空间包含了多个已有研究中的特例：

  • 当所有球均为单位球且中心位于整数格点时，$M \sim L^2_{\mathrm{uloc}}$；
  • 当球按 dyadic 方式增长（如边长为 $2^n$ 的立方体外接球）时，对应 Bradshaw-Kukavica 所研究的空间；
  • 更一般的中间空间 $F^p_{\alpha,\lambda}$（见文献[5]）也可嵌入此类框架。

值得注意的是，这类空间不再假设初值在无穷远处趋于零，也不要求覆盖具有均匀或各向同性结构——事实上，作者明确指出可以构造仅沿某一方向（如 $z$ 轴）增长的球覆盖，适用于轴对称流动等特殊情形。

此外，本文所关注的解类是“适定弱解”（suitable weak solutions），即满足 Caffarelli-Kohn-Nirenberg 意义下的局部能量不等式的分布解。具体而言，解 $(u,p)$ 需满足以下性质：

  • $u \in L^\infty(0,T; L^2_{\mathrm{loc}}) \cap L^2_{\mathrm{loc}}(0,T; H^1_{\mathrm{loc}})$，
  • 对任意紧支撑测试函数 $\phi \geq 0$，有：
$$ \int |u(t)|^2 \phi(t) + 2 \int_0^t \int |\nabla u|^2 \phi \leq \int |u_0|^2 \phi(0) + \int_0^t \int |u|^2 (\partial_t \phi + \Delta \phi) + (|u|^2 + 2p)(u \cdot \nabla \phi), $$

几乎处处成立；

  • 压力 $p$ 在每个局部区域上可通过奇异积分表示，形如：
$$ p(x,t) - p_B(t) = -|u(x,t)|^2 + \mathrm{p.v.} \int_{y \in B^{**}} K_{ij}(x-y) u_i u_j dy + \int_{y \notin B^{**}} (K_{ij}(x-y) - K_{ij}(x_B - y)) u_i u_j dy, $$

其中 $K_{ij}(y) = \partial_i \partial_j (4\pi |y|)^{-1}$ 是牛顿位势的二阶导核。

这类解的重要性在于其允许应用著名的部分正则性理论：即三维Navier-Stokes方程的适定弱解在其时空奇异集上的1维抛物 Hausdorff 测度为零。因此，构造出这样的解不仅是存在性结果，也为后续研究正则性提供了基础。

综上所述，本文的研究对象是在非衰减初值条件下，三维不可压缩Navier-Stokes方程在一类广义Morrey型空间中的局部适定弱解的存在性。其主要挑战在于：

  • 初值无空间衰减，传统 $L^2$ 能量方法失效；
  • 覆盖族 $\mathscr{C}$ 允许各向异性、非均匀增长，导致标准尺度估计难以直接应用；
  • 压力项涉及慢衰减的奇异积分，需精细控制远距离相互作用；
  • 需保证极限过程后仍满足局部能量不等式与适定性条件。

这些问题使得经典的Leray-Galerkin逼近或Lemarié-Rieusset的局部化方法不再适用，必须发展新的构造策略。

2. 主要定理或主要结果

本文的核心成果是以下两个定理：

定理 1.4（先验估计）

设 $u_0 \in M$ 为散度自由初值，$(u,p)$ 是以 $u_0$ 为初值的局部能量解，定义时间 $T := C^{-1} \min\{1, \|u_0\|_M^{-4}\}$，其中 $C = C(\sigma,\eta) \geq 1$ 是仅依赖于覆盖参数 $\sigma,\eta$ 的足够大常数。若 $\alpha_t[u]$ 和 $\beta_t[u]$ 连续（见定义(1.6)-(1.7)），则有如下先验估计：

$$ \esssup_{0 < t < T} \|u(t)\|_M^2 + \sup_{B \in \mathscr{C}} \frac{1}{|B|^{2/3}} \int_0^T \int_B |\nabla u|^2 \lesssim_{\sigma,\eta} \|u_0\|_M^2. $$

该估计表明，在短时间 $T$ 内，解的 $M$-范数及其梯度的局部能量受初值控制，且常数仅依赖于覆盖的几何参数 $\sigma,\eta$，而不依赖于具体覆盖结构。

定理 1.5（局部存在性）

假设覆盖族 $\mathscr{C}$ 满足下列两种情况之一：

  • （慢增长）存在 $\epsilon \in (0,1)$，使得对所有 $B \in \mathscr{C}$，有 $|B|^{1/3} \lesssim |x_B|^{1-\epsilon}$；
  • （快增长）对所有 $B \in \mathscr{C}$，有 $|B|^{1/3} \gtrsim 1 + |x_B|$。

令 $u_0 \in M$ 为散度自由初值，$T = C^{-1} \min\{1, \|u_0\|_M^{-4}\}$。则存在一个局部能量解 $(u,p)$，满足上述先验估计，且为适定弱解（suitable weak solution）。

注：符号 $\lesssim$ 表示不等式右端乘以仅依赖于 $\sigma,\eta$ 的常数后成立。

这两个定理共同构成了本文的主要结论：在一大类非衰减初值空间中，三维Navier-Stokes方程存在局部适定弱解。尤其值得注意的是，无需假设初值在无穷远处消失，也不限制覆盖的几何结构为均匀或dyadic型。

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

a) 核心分析工具

本文采用了多种现代PDE分析技术，主要包括：

  • 局部能量估计（local energy inequality）：作为构建弱解的基础，作者始终围绕Caffarelli-Kohn-Nirenberg型不等式进行迭代和逼近。
  • Morrey空间估计：利用覆盖族 $\mathscr{C}$ 定义的 $M$-范数，结合几何条件（有限重叠、尺寸可比），实现对非一致尺度下能量的统一控制。
  • 组合引理与层结构分析：通过定义以某球 $B$ 为中心的“层” $P(n), B(n), S(n)$，并利用引理3.1（层间分离）来估计不同区域之间的距离与影响范围，这是处理任意覆盖结构的关键。
  • 热方程的高斯衰减性质：在非散度自由逼近方案中，扰动项的散度满足热方程，从而获得快速空间衰减，辅助远场估计。
  • 迭代构造法（retarded mollification iteration）：将时间区间 $[0,T]$ 分割为 $K$ 段，逐段构造近似解，使用延迟磨光（retarded mollification）技术保持因果性。
  • Bogovskiĭ算子：用于修正截断后的速度场使其恢复散度自由，在快增长情形（(1.9)）中起关键作用。

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

1. 非散度自由逼近的新方法

传统构造弱解的方法依赖于始终保持散度自由的逼近序列（如Galerkin或Bogovskiĭ修正）。但作者提出一种全新的“非散度自由存在理论”：考虑辅助线性系统

$$ \begin{cases} \partial_t \tilde{u} + (v \cdot \nabla) \tilde{u} - \Delta \tilde{u} + \nabla \tilde{p} = 0, \\ \tilde{u}(0) = u_0, \end{cases} $$

其中 $v$ 是给定的紧支撑光滑向量场，$\tilde{p}$ 由 Poisson 方程确定：

$$ \Delta \tilde{p} = \partial_i \partial_j (v_j \tilde{u}_i) - \partial_i (\tilde{u}_i \mathrm{div}\, v). $$

此时 $\mathrm{div}\, \tilde{u}$ 不恒为零，但满足热方程 $\partial_t w - \Delta w = - \mathrm{div}(v \cdot \nabla \tilde{u})$，故具有高斯衰减。这种方法简化了 $L^2_{\mathrm{uloc}}$ 情形的证明，并为一般覆盖提供新路径。

2. 压力项的精细分解与远场控制

压力项在非均匀覆盖下难以估计。作者采用经典的CKN型分解：

$$ \tilde{p}(x) - \tilde{p}_B = G_B(\tilde{u} \otimes \tilde{u}), $$

并将积分拆分为近场与远场。远场部分因核 $K_{ij}(x-y) - K_{ij}(x_B - y)$ 的慢衰减（$\sim |y|^{-3}$）可能导致求和发散。为此，作者引入组合引理（如引理3.1）证明：对于满足 (1.10) 的覆盖，远场贡献可通过几何控制收敛。特别是，在估计中出现的对数发散项 $I$（见(5.32)）能被条件 $|B|^{1/3} \lesssim |x_B|^{1-\epsilon}$ 抑制。

3. 避免常数累积的迭代设计

标准逐段迭代会导致误差指数累积。为此，作者在每一步重新从 $t=0$ 开始求解，而非接续前一段。同时，严格追踪每个迭代步中 $ \alpha_t[\tilde{u}^{(k)}] + \beta_t[\tilde{u}^{(k)}] $ 的隐含常数，确保最终估计只依赖于 $\|u_0\|_M$，而非中间速度场 $v$。关键常数在(5.42)中固定，实现了非线性先验估计的闭环。

4. 两种不同情形的差异化处理
  • 在 快增长情形（(1.9)）：$|B|^{1/3} \gtrsim |x_B|$，意味着远离原点的球极大，导致每个环域 $B(2n)\setminus B(n)$ 只与有限个球相交。这允许使用截断+Bogovskiĭ修正得到 $L^2$ 初值逼近，再取极限。
  • 在 慢增长情形（(1.10)）：如 $L^2_{\mathrm{uloc}}$ 中，环域需大量小球覆盖，Bogovskiĭ方法失效。此时必须采用上述非散度自由迭代法。

这种双轨策略体现了对不同几何结构的深刻理解。

4. 与之前工作的比较

a) 突破与改进

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

  1. 统一性：首次将 $L^2_{\mathrm{uloc}}$、dyadic空间、中间空间 $F^p_{\alpha,\lambda}$ 统一在一个框架下，揭示了这些看似不同的空间本质上共享相同的几何结构（有限重叠+尺寸可比）。这为未来研究提供了通用平台。

  2. 去除衰减假设：以往多数工作（如[6]）要求初值在无穷远处“趋于零”（如(1.11)），而本文完全不要求任何衰减，仅需 $u_0 \in M$。这意味着允许初值在无穷远处持续振荡或缓慢增长，极大地拓展了解的存在范围。

  3. 允许各向异性覆盖：此前研究多限于各向同性增长（如dyadic立方体）或固定尺度（如unit ball covering）。本文允许球沿特定方向拉伸（如图1所示沿 $z$ 轴增长），适用于轴对称流、边界层等问题，具有更强的应用潜力。

  4. 新构造方法：提出的“非散度自由逼近+迭代延迟磨光”是全新思路，不仅简化了 $L^2_{\mathrm{uloc}}$ 的证明，还解决了传统方法无法处理的慢增长情形。这一方法本身可能启发其他非线性PDE的研究。

  5. 保留适定性：所构造的解是适定弱解，因而可直接应用CKN部分正则性理论，优于仅满足弱解定义但不满足局部能量不等式的解。

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

  • 相比 Lemarié-Rieusset [23]：本文将 $L^2_{\mathrm{uloc}}$ 推广到更广的 $M$ 空间，且无需 Bogovskiĭ 修正所需的全局控制。
  • 相比 Bradshaw-Kukavica [6]：去除了初值在无穷远处趋于零的条件，并允许更一般的覆盖结构。
  • 相比 Jia-Šverák 的自相似解构造：本文不要求尺度不变性，适用于更广泛初值。

总之，本文在函数空间的普适性、初值条件的宽松性、几何结构的灵活性以及证明方法的创新性四个方面实现了重要突破，为非衰减情形下的Navier-Stokes理论建立了坚实的统一基础。

5. Intermittent Solutions of the Stationary 2D Surface Quasi-Geostrophic Equation

二维定常表面准地转方程的间歇性解

作者: Nicholas Gismondi, Alexandru F. Radu

类别: math.AP

发布日期: 2025-10-18

arXiv ID: 2510.16583v1

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

详细分析

中文标题: 二维定常表面准地转方程的间歇性解

研究对象和背景

本文研究的是二维定常表面准地转方程（Stationary Surface Quasi-Geostrophic Equation, 简称 SQG），其数学形式为如下非线性偏微分方程组：

$$ \begin{cases} \mathrm{div}(\theta u) + \Lambda^\gamma \theta = 0 \\ u = \Lambda^{-1} \nabla^\perp \theta \end{cases} \quad \text{在 } \mathbb{T}^2 \text{ 上}, $$

其中 $\theta : \mathbb{T}^2 \to \mathbb{R}$ 是一个均值为零的标量函数，代表表面势温度；$u : \mathbb{T}^2 \to \mathbb{R}^2$ 是由 $\theta$ 通过奇异积分算子导出的速度场；$\nabla^\perp = (-\partial_2, \partial_1)$ 表示垂直梯度；$\Lambda = (-\Delta)^{1/2}$ 是分数拉普拉斯算子，其傅里叶乘子为 $|\xi|$；而 $\gamma \in (0,2]$ 是耗散项的指数，控制着扩散强度。

该方程来源于地球物理流体力学，用于描述旋转分层流体（如大气或海洋表层）中表面温度的演化。从数学角度看，SQG 方程因其与三维欧拉方程在结构上的相似性而备受关注：特别是，$\nabla^\perp \theta$ 的演化类似于三维欧拉方程中的涡量演化，这使得 SQG 成为研究流体奇点形成和湍流现象的一个重要模型。

在非定常情形下，对应的方程是：

$$ \partial_t \theta + \mathrm{div}(\theta u) + \Lambda^\gamma \theta = 0, \quad u = \Lambda^{-1} \nabla^\perp \theta. $$

当 $\gamma = 0$ 时称为无粘 SQG，此时系统完全非耗散。

本文聚焦于定常情形，即时间导数项消失的情况。作者的目标是构造该系统的非平凡弱解，这些解具有极低的正则性——具体来说，属于 负阶索博列夫空间 $\dot{H}^{-1-\epsilon}(\mathbb{T}^2)$ 对所有 $\epsilon > 0$ 成立，但不落在 $\dot{H}^{-1/2}(\mathbb{T}^2)$ 中。

这一正则性阈值 $\dot{H}^{-1/2}$ 具有重要意义。已有文献（如 Cheng-Kwon-Li [9]）表明，在 $\theta \in \dot{H}^{-1/2}$ 的假设下可以定义标准的弱解，并利用交换子估计来处理非线性项 $\mathrm{div}(\theta u)$。然而，一旦解落入更低的正则类（如 $\dot{H}^{-1-\epsilon}$），传统的弱解框架就失效了，因为乘积 $\theta u$ 将无法在分布意义下良好定义。

因此，本文面临的第一个挑战是如何重新定义“解”的概念。为此，作者引入了基于仿积理论（paraproducts）的新型弱解框架，称为“弱仿积解”（weak paraproduct solution）。这种定义依赖 Littlewood-Paley 分解，将非线性项分解为主交互部分，并通过双线性配对赋予其意义。

此外，研究区域是二维环面 $\mathbb{T}^2 = [0,1]^2$，所有函数均为周期且均值为零。这是凸积分方法的标准设定，便于进行频率局部化操作和构造高振荡解。

最关键的新颖之处在于：作者明确指出，为了突破传统方法的限制（尤其是所谓的“奇乘子障碍”，odd multiplier obstruction），必须引入间歇性（intermittency）这一概念。所谓间歇性，是指解的能量集中在稀疏的空间区域中，表现出强烈的局部集中性和非均匀性，这与平面波或 Beltrami 流等均匀振荡结构形成对比。

为此，作者采用了一类特殊的构造模块——间歇性 Mikado 流（intermittent Mikado flows）。这类函数最早由 Daneri 和 Székelyhidi 引入，具有如下关键性质：

  • 它们是无散的；
  • 支持在细长管状区域内，呈方向性排列；
  • 在 $L^1$ 范数上可任意小，而 $L^2$ 范数保持有界；
  • 具有可控的高频行为，适用于凸积分迭代。

正是这种 $L^1$ 可压缩性，使得即使整体解处于非常粗糙的空间（$\dot{H}^{-1-\epsilon}$），也能保证反导数 $\Lambda^{-1}\theta$ 具有一定的可积性，例如 $\Lambda^{-1}\theta \in L^p(\mathbb{T}^2)$ 对所有 $1 \leq p < 2$ 成立。

另一个技术难点是：由于使用了间歇性构造，Mikado 流的 $L^2$ 范数仅一致有界而非趋于零，这意味着通过凸积分生成的极限函数可能不属于 $L^2$，从而导致 $v = \Lambda^{-1}u \notin L^2$，进而 $u,\theta \notin \dot{H}^{-1}$。因此，作者所能达到的最佳正则性就是 $\dot{H}^{-1-\epsilon}$，这也是当前方法下的自然极限。

综上所述，本文的研究对象是一个在极低正则性空间中定义的定常 SQG 方程，其核心挑战包括：

  1. 如何在 $\theta \notin \dot{H}^{-1/2}$ 的情况下定义非线性项 $\mathrm{div}(\theta u)$；
  2. 如何克服“奇乘子障碍”以实现误差抵消；
  3. 如何构造满足任意耗散指数 $\gamma \in (0,2]$ 的非平凡解；
  4. 如何确保 $\Lambda^{-1}\theta$ 具备基本可积性。

这些问题的解决依赖于现代凸积分技术、仿积分析以及间歇性构造的深度融合。

主要定理或主要结果

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

定理 1.3（二维 SQG 方程的非平凡定常解）
给定任意耗散指数 $0 < \gamma \leq 2$，存在非零函数 $u, \theta \in \dot{H}^{-1-\epsilon}(\mathbb{T}^2)$ 对所有 $\epsilon > 0$ 成立，使得：

(a) $u = \Lambda^{-1} \nabla^\perp \theta$；

(b) 非线性项 $P_{\neq 0}(\theta u)$ 作为仿积在 $\dot{H}^{-5}(\mathbb{T}^2)$ 中良定义；

(c) $(u, \theta)$ 构成 SQG 方程的弱仿积解（weak paraproduct solution），即对所有光滑测试函数 $\phi$，有

$$ \langle \theta, \Lambda^\gamma \phi \rangle_{\dot{H}^s, \dot{H}^{-s}} - \left\langle P_{\neq 0}(\theta u), \nabla \phi \right\rangle_{\dot{H}^{s'}, \dot{H}^{-s'}} = 0, $$

并且进一步满足 $\Lambda^{-1}\theta \in L^p(\mathbb{T}^2)$ 对所有 $1 \leq p < 2$。

这个定理的意义在于：

  • 解的存在性适用于整个耗散区间 $(0,2]$，无需对 $\gamma$ 施加额外限制；
  • 解是非平凡的（非零）且具有物理相关的结构；
  • 尽管解极其粗糙（低于经典能量空间 $\dot{H}^{-1/2}$），但仍能赋予其严格的弱解意义；
  • $\Lambda^{-1}\theta$ 的 $L^p$ 可积性保证了解具有一定“温和”的行为，避免完全病态。

值得注意的是，结论中并未要求唯一性或稳定性，而是专注于存在性的证明，这是凸积分方法的典型目标。

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

a) 核心分析学工具

  1. Littlewood-Paley 理论
    作者广泛使用频率分解工具。设 $P_{2^j}$ 为投影到频率约 $2^j$ 的算子，则任一分布局可通过 $f = \sum_j P_{2^j} f$ 分解。该理论允许将乘积 $fg$ 分解为高频-低频交互项，从而控制正则性损失。文中定义了仿积 $P_{\neq 0}(fg)$ 为：

    $$ P_{\neq 0}(fg) := \sum_{j,j' \geq 0} P_{\neq 0}(P_{2^j}f \cdot P_{2^{j'}}g), $$

    并要求其在某个 $\dot{H}^{s'}$ 空间中绝对收敛。这是定义非线性项的基础。

  2. 同质索博列夫空间 $\dot{H}^s$
    定义为：

    $$ \|f\|_{\dot{H}^s}^2 = \sum_{k \in \mathbb{Z}^2 \setminus \{0\}} |k|^{2s} |\hat{f}(k)|^2. $$

    当 $s < 0$ 时，对应广义函数空间。文中大量使用对偶配对 $\langle f, g \rangle_{\dot{H}^s, \dot{H}^{-s}}$ 来定义弱解。

  3. 分数拉普拉斯 $\Lambda^s = (-\Delta)^{s/2}$
    傅里叶乘子为 $(2\pi |k|)^s$，用于刻画耗散项 $\Lambda^\gamma \theta$ 和速度场关系 $u = \Lambda^{-1} \nabla^\perp \theta$。

  4. 逆散度算子 $R$
    用于构造雷诺应力张量（Reynolds stress），满足 $\mathrm{div}(R u) = u$。这是凸积分中误差项抵消的关键工具。

  5. Kato-Ponce 型估计
    文中引理 2.14 提供了一个重要的乘积估计：

    $$ \|\alpha \beta\|_{\dot{H}^{-s}} \lesssim \|\alpha\|_{C^s} \|\beta\|_{\dot{H}^{-s}}, $$

    其中 $\beta$ 均值为零。此不等式允许将低频函数视为“近似常数”，简化高频交互分析。

  6. Poission 求和公式与 Schwartz 函数衰减估计
    引理 2.15 给出紧支撑均值零光滑函数的傅里叶变换满足：

    $$ |\hat{\phi}(\xi)| \lesssim \frac{|\xi|}{(1+|\xi|)^N}, \quad \forall N > 2, $$

    这对控制 Mikado 流的傅里叶系数至关重要。

b) 关键技巧与技术创新

  1. 放松动量方程法（Relaxed Momentum Formulation）
    为了避免 $u = \Lambda^{-1} \nabla^\perp \theta$ 中的奇乘子（odd multiplier）导致高频项完美抵消的问题，作者改用变量 $v$ 满足 $u = \Lambda v$，并考虑如下系统：

    $$ \begin{cases} u \cdot \nabla v - (\nabla v)^T \cdot u + \Lambda^\gamma v + \nabla p = \mathrm{div}(R) \\ \mathrm{div}(v) = 0 \\ v = \Lambda^{-1} u \end{cases} $$

    此时 $u$ 与 $v$ 的关系由偶乘子 $\Lambda$ 连接，避免了对称性导致的抵消问题。

  2. 间歇性 Mikado 流的构造
    Mikado 流 $W_{k,\lambda}$ 沿固定方向 $k^\perp$ 排列，支持在宽度 $\sim \lambda^{-1/2}$ 的管中，总长度为 1。其构造如下：

    $$ W_{k,\lambda}(x) = \rho_k(\lambda^{1/2} x) k^\perp, \quad \rho_k(x) = \sum_{n \in \mathbb{Z}} \lambda^{-1/4} \hat{\phi}(\lambda^{-1/2} n) e^{2\pi i 5 \lambda^{1/2} n k \cdot x}. $$

    关键性质是 $\|W_{k,\lambda}\|_{L^1} \to 0$ 当 $\lambda \to \infty$，而 $\|W_{k,\lambda}\|_{L^2} \sim 1$。这提供了能量集中机制，使构造可在低正则空间中进行。

  3. 凸积分迭代方案
    从初始近似解 $(u_0, v_0, R_0)$ 开始，逐次添加增量 $w_{q+1}$ 使得新解 $(u_{q+1}, v_{q+1})$ 更接近真实解，同时使雷诺应力 $R_q$ 逐级减小（$\|R_q\|_{\dot{H}^{-4}} < 2^{-q}$）。每步需精确设计相位函数和振幅，利用 Mikado 流的张量结构实现误差抵消。

  4. 仿积弱解的定义
    由于 $\theta \in \dot{H}^{-1-\epsilon}$，传统弱解不适用。作者定义：

    $$ \langle \theta, \Lambda^\gamma \phi \rangle - \langle P_{\neq 0}(\theta u), \nabla \phi \rangle = 0, $$

    其中 $P_{\neq 0}(\theta u)$ 必须在 $\dot{H}^{-5}$ 中良定义。这依赖于各迭代步中非线性项的一致控制。

  5. 几何引理的应用
    利用 Lemma 2.10，单位矩阵可表示为有限个 $k^\perp \otimes k^\perp$ 的平方和：

    $$ I = \frac{1}{2} \sum_{k \in \Omega} (\Gamma_k(R))^2 k^\perp \otimes k^\perp, $$

    其中 $\Omega = \{\pm e_1, \pm(3/5,4/5), \pm(3/5,-4/5)\}$。这使得雷诺应力可通过 Mikado 流叠加精确重构。

与之前工作的比较

a) 突破与改进

  1. 放宽正则性假设
    此前 Cheng-Kwon-Li [9] 的工作要求 $\theta \in \dot{H}^{-1/2}$ 才能定义弱解。本文首次将解空间拓展至 $\dot{H}^{-1-\epsilon}$，打破了长期存在的正则性壁垒。

  2. 去除耗散指数限制
    [9] 要求 $0 < \gamma < 3/2$，而本文允许 $\gamma \in (0,2]$ 全范围覆盖，包含临界情况 $\gamma = 2$（即完整耗散）。

  3. 引入间歇性机制
    以往凸积分多使用平面波或 Beltrami 波，缺乏空间局域性。本文采用间歇性 Mikado 流，实现了 $L^1$ 范数压缩，从而确保 $\Lambda^{-1}\theta \in L^p$ 对 $p<2$ 成立，这是前所未有的结果。

  4. 解决奇乘子障碍的新路径
    Buckmaster-Shkoller-Vicol [6] 使用“放松动量方程”绕过奇乘子问题，但限于非定常情形。本文将其成功应用于定常方程，并结合间歇性构造，拓展了该方法的适用边界。

  5. 更优的可积性结果
    本文不仅构造了解，还证明 $\Lambda^{-1}\theta \in L^p$ 对所有 $p < 2$，说明尽管 $\theta$ 极其奇异，其“势函数”仍具一定正则性，这对物理合理性至关重要。

  6. 定常情形下的首个间歇性解
    尽管非定常 SQG 已有多个凸积分结果，但定常情形因缺少时间自由度而更难处理。本文是首个在定常设置下实现间歇性解构造的工作。

b) 技术优势总结

方面以往工作本文贡献
解空间$\dot{H}^{-1/2}$ 或更高$\dot{H}^{-1-\epsilon}$，严格更低
耗散指数$\gamma < 3/2$$\gamma \in (0,2]$ 全覆盖
构造模块平面波、Beltrami 流间歇性 Mikado 流
可积性未知或较弱$\Lambda^{-1}\theta \in L^p, p<2$
方法框架直接 SQG 或 Newton 迭代放松动量 + 凸积分 + 仿积

总之，本文通过融合间歇性、仿积理论与放松动量方程，实现了对二维定常 SQG 方程在最粗糙可能空间中的非平凡解构造，标志着凸积分技术在流体方程低正则性解研究中的又一次重大推进。

6. Stability threshold of close-to-Couette shear flows with no-slip boundary conditions in 2D

二维无滑移边界条件下近库埃特剪切流的稳定性阈值

作者: Jacob Bedrossian, Siming He, Sameer Iyer, Linfeng Li, Fei Wang

类别: math.AP

发布日期: 2025-10-18

arXiv ID: 2510.16378v1

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

详细分析

中文标题: 二维无滑移边界条件下近库埃特剪切流的稳定性阈值

1. 研究对象和背景

本文研究的是在二维通道 $T \times [-1,1]$ 上，带有无滑移边界条件的不可压缩 Navier-Stokes 方程的小扰动稳定性问题。具体而言，作者关注初始速度场接近于经典的库埃特流（Couette flow） $(y,0)$ 的情形，并探讨当粘性系数 $\nu > 0$ 趋于零（即高雷诺数极限）时，该类近库埃特剪切流的长期稳定性行为。

所研究的系统为如下形式的二维不可压缩 Navier-Stokes 方程：

$$ \begin{cases} \partial_t \tilde{u} + \tilde{u} \cdot \nabla \tilde{u} - \nu \Delta \tilde{u} + \nabla \tilde{p} = 0, \\ \nabla \cdot \tilde{u} = 0, \\ \tilde{u}(t,x,y=\pm1) = (\pm1,0), \\ \tilde{u}(t=0) = \tilde{u}_{in}(x,y), \end{cases} $$

其中 $\tilde{u} = (\tilde{u}^{(1)}, \tilde{u}^{(2)})$ 是速度场，$\tilde{p}$ 是压力，$\nu > 0$ 为粘性系数（即逆雷诺数），定义域为 $\Omega \times [0,\infty) = (T \times [-1,1]) \times [0,\infty)$，且 $T = [-\pi,\pi]$ 表示周期方向。

设初始数据可分解为一个仅依赖于 $y$ 的剪切部分与一个 $x$-依赖的扰动之和：

$$ \tilde{u}_{in}(x,y) = (U_{in}(y), 0) + u_{in}(x,y), $$

其中

$$ U_{in}(y) := \frac{1}{2\pi} \int_{-\pi}^{\pi} \tilde{u}^{(1)}_{in}(x,y)\,dx, \quad u_{in}(x,y) := \tilde{u}_{in}(x,y) - (U_{in}(y),0). $$

假设 $U_{in}(y)$ 是对库埃特流 $y$ 的小扰动，满足边界条件 $U_{in}(\pm1) = \pm1$，并具有一定的正则性（如 $H^4$ 正则性）。而 $x$-依赖的扰动 $u_{in}$ 则要求足够小，其大小以粘性 $\nu$ 的幂次控制：具体地，其对应的初始涡量 $\omega_{in} = \text{curl}\, u_{in}$ 满足 $\|\omega_{in}\|_{H^2} \lesssim \nu^{1/2} |\log \nu|^{-2}$。

由于主流动是时间演化的，作者将解写成相对于随时间变化的剪切流 $(U(t,y),0)$ 的扰动，其中 $U(t,y)$ 定义为：

$$ U(t,y) = y + e^{\nu t \partial_y^2}(U_{in}(y) - y), $$

这是由一维热方程在齐次 Dirichlet 边界条件下演化而来的时间依赖剪切流。由此引入扰动变量 $u = \tilde{u} - (U(t,y),0)$，其满足新的扰动方程组：

$$ \begin{cases} \partial_t u + U \partial_x u + u \cdot \nabla u - \nu \Delta u + (U' u^{(2)}, 0) + \nabla p = 0, \\ \nabla \cdot u = 0, \\ u(t,x,y=\pm1) = 0, \\ u(t=0,x,y) = u_{in}(x,y), \end{cases} $$

这里 $U' = \partial_y U(t,y)$。进一步取旋度得到涡量形式的扰动方程：

$$ \begin{cases} \partial_t \omega + U \partial_x \omega + u \cdot \nabla \omega = U'' \partial_x \psi + \nu \Delta \omega, \\ u = \nabla^\perp \psi, \quad \Delta \psi = \omega, \quad (\partial_x, \partial_y)\psi|_{y=\pm1} = 0, \\ \omega(t=0,x,y) = \omega_{in}(x,y), \end{cases} $$

其中 $\nabla^\perp = (-\partial_y, \partial_x)$，$U'' = \partial_y^2 U(t,y)$。这个非局部项 $U'' \partial_x \psi$ 构成了分析的主要难点之一。

本文的关键物理现象包括两类稳定化机制：

  • 增强耗散（enhanced dissipation）：由于主流动的剪切效应导致横向混合加速，使得 $x$-依赖模态的耗散速率远快于标准粘性时间尺度 $O(\nu^{-1})$，达到 $O(\nu^{-1/3})$；
  • 无粘阻尼（inviscid damping）：即使没有粘性，扰动速度也会因拉伸而衰减，类似于 Landau 阻尼，在本工作中表现为速度扰动的时间积分估计。

研究区域为有限区间 $[-1,1]$ 上的周期带状区域，因此边界效应显著。特别是无滑移边界条件 $u|_{y=\pm1}=0$ 导致了强烈的边界层效应，即涡量可能在边界附近产生瞬态增长，这给能量估计带来严重挑战。

此外，函数空间的选择也极具技术性。文中采用加权 $L^2$ 范数来平衡边界附近的奇异性，例如使用权重 $(1-|y|)^{1/2}$ 来抵消边界层中涡量的增长趋势。同时，为了捕捉不同频率的行为，定义了一个复合范数 $Z$-norm：

$$ \|\omega_k\|_Z^2 := \nu^{1/3}|k|^{2/3}\|\rho_k^{1/2} \omega_k\|_{L^2_y}^2 + |k|^2\|\nabla_k \Delta_k^{-1} \omega_k\|_{L^2_y}^2 + \nu^{1/2}|k|\|\omega_k\|_{L^2_y}^2, $$

其中 $\rho_k(y) = \min\{L(1-|y|),1\}, L = \nu^{-1/3}|k|^{1/3}$，$\Delta_k = \partial_y^2 - |k|^2$，$\Delta_k^{-1}$ 是相应的逆算子（Dirichlet Laplacian 的傅里叶模态）。这种精细构造的空间用于获得一致在 $\nu$ 下的先验估计。

另一个重要设定是初始数据需满足某些兼容性条件：

  • $\int_{-1}^{1} e^{\pm k y} \omega_{in;k}(y)\,dy = 0$，等价于无滑移边界条件；
  • $\partial_y^j U_{in}|_{y=\pm1} = 0$ 对 $j=2,4$ 成立，确保高阶光滑性与边界匹配。

这些条件对于避免解在初值时刻出现奇异性至关重要。

综上所述，本文的研究对象是在有界通道内、具无滑移边界的二维 Navier-Stokes 方程中，初始状态接近库埃特流的一类特殊剪切流的非线性稳定性阈值问题。目标是确定在何种尺度下（关于 $\nu$）的初始扰动仍能保证全局稳定性，并揭示其中蕴含的增强耗散与无粘阻尼机制。

2. 主要定理或主要结果

本文的核心成果是以下稳定性阈值定理：

定理 1.1（稳定性阈值定理）
考虑涡量方程 (1.6) 在正则初始数据 $\omega_{in} \in H^2(\Omega)$ 下的解。存在常数 $\nu_0, \kappa, \epsilon > 0$，使得对任意 $\nu \in (0,\nu_0)$，若满足下列条件：

  1. 小性条件：

    $$ \|U_{in} - y\|_{H^4([-1,1])} \leq \kappa, $$

    $$ \|\omega_{in}\|_{H^2(\Omega)} \leq \epsilon \nu^{1/2} |\log \nu|^{-2}; $$

  2. 兼容性条件：

    $$ \int_{-1}^{1} e^{\pm k y} \omega_{in;k}(y)\,dy = 0, \quad \forall k \in \mathbb{Z}, $$

    $$ \partial_y^j U_{in}|_{y=\pm1} = 0, \quad j = 2,4; $$

则解 $\omega$ 满足如下全局估计：

$$ \sup_{T \geq 0} E(T,\omega) \leq C \epsilon \nu^{1/2} |\log \nu|^{-1}, $$

其中能量泛函 $E(T,\omega)$ 定义为：

$$ E(T,\omega) = \|\omega_0\|_{L^\infty_t L^2_y} + \sum_{k \neq 0} \left( \|\omega_k\|_{L^\infty_t L^2_y} + \nu^{1/4}|k|^{1/2} \|\omega_k\|_{L^2_t Z} + |k| \|u_k\|_{L^2_t L^2_y} \right), $$

并带有指数权重 $e^{\zeta \nu^{1/3} t}$，$0 < \zeta \ll 1$ 为一小常数。

该定理表明：只要初始扰动的 $x$-依赖部分足够小（按 $\nu^{1/2} |\log \nu|^{-2}$ 尺度），即便剪切部分偏离库埃特流但保持 $H^4$ 小扰动，整体解仍将长时间保持靠近某个演化中的剪切流，且经历非线性增强耗散与时间积分意义下的无粘阻尼。

作为推导此非线性结果的基础，作者建立了关键的线性估计命题：

命题 2.1（线性稳定性估计）
令 $\omega_k$ 为线性化方程 (2.2) 的解，$U(t,y)$ 为 (1.3) 定义的热扩展。存在 $\zeta > 0$ 和 $\nu_0, \kappa \ll 1$，使得当 $\|U_{in}-y\|_{H^4} \leq \kappa$ 且 $\nu \in (0,\nu_0]$ 时，有：

$$ \|e^{\zeta \nu^{1/3} t}(1-|y|)^{1/2} \omega_k\|_{L^\infty_t L^2_y}^2 + \|e^{\zeta \nu^{1/3} t} \omega_k\|_{L^2_t Z}^2 \lesssim |\log \nu|^2 \left( |k|^{-2} \|\omega_{in;k}\|_{H^2}^2 + \nu^{-1/3}|k|^{4/3} \|f_{1;k}\|_{L^2_t L^2_y}^2 + \nu^{-1} \|f_{2;k}\|_{L^2_t L^2_y}^2 \right). $$

此估计分为高低频两种情形处理，分别对应 Proposition 2.3（高频） 与 Proposition 2.4（低频），最终拼接而成。

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

a) 核心分析学工具

  1. Fourier 分析与模态分解
    通过对 $x$ 变量做 Fourier 变换，将原问题转化为每个波数 $k \in \mathbb{Z} \setminus \{0\}$ 的独立子系统。记 $\omega_k(y,t)$ 为第 $k$ 模态，则方程变为含参数 $k$ 的偏微分方程组。这种方法将各向异性剪切流的影响转化为复系数平流项 $ikU\omega_k$，便于利用振荡积分与谱理论分析。

  2. Resolvent 方法与 Laplace-Fourier 变换
    为处理线性化系统的长期行为，作者采用Laplace-Fourier 变换（实为半直线上的 Fourier 变换），将时间变量 $t$ 映射到复谱平面 $\lambda \in \mathbb{C}$。通过假设解具有形如 $e^{-\zeta \nu^{1/3} |k|^{2/3} t}$ 的衰减速率，进行变量重标后进入频域分析，得到稳态型椭圆系统：

    $$ -\nu \Delta_k w_k + ik(U - \lambda) w_k - ik U'' \phi_k = F_k, \quad \Delta_k \phi_k = w_k. $$

    此方法允许使用谱投影与预解估计来控制解的增长，尤其适用于处理非自伴算子。

  3. Frozen-time Scheme（冻结时间法）
    由于背景剪切流 $U(t,y)$ 是时间依赖的，传统的半群方法失效。为此，作者采用 Bedrossian 等人发展的“冻结时间”策略：将时间轴划分为长度约为 $\nu^{-1/3}$ 的小区间，在每段上固定 $U(t_j,y)$ 作为静态剪切流，求解相应线性系统，再通过层蛋糕构造（layer-cake construction） 将局部解拼接为全局解。这一技巧有效规避了时间依赖算子带来的解析困难。

  4. Singular Integral Operator $J_k$
    文中引入了一个关键的奇异积分算子 $J_k$（见附录 A），其作用在于提供对非局部项 $U'' \partial_x \psi$ 的精细控制。该算子本质上是对流函数 $\psi$ 在边界附近行为的编码，能够吸收 $U''$ 引起的能量输入，从而实现所谓的“inviscid damping estimate on the resolvent”。它是克服 Challenge B 的核心技术。

  5. Boundary Corrector 技术
    针对无滑移边界引起的边界层问题，作者将解分解为两部分：

    • $\omega_{\text{Nav}}$：满足较弱的 Navier/Lions 边界条件 $\omega|_{y=\pm1}=0$；
    • $\omega_B$：边界校正项，用于恢复完整的无滑移条件。

    特别地，$\omega_B$ 虽然 $L^2$ 范数大，但高度局域于边界，且可通过新建立的引理（如 Lemma 3.1）控制其贡献。这种分解继承自 [18,19]，但在本文中进行了强化以适应时间依赖情形。

  6. 加权能量估计与 $Z$-norm 构造
    为统一处理不同尺度下的行为，作者设计了一种复合范数 $Z$-norm，结合了：

    • 加权 $L^2$ 控制（防边界爆炸），
    • 流函数梯度控制（关联速度衰减），
    • 直接 $L^2$ 控制（基础耗散）。

    这种结构使得估计能在高频与低频之间自然过渡。

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

  • 应对时间依赖性（Challenge A）：通过 frozen-time scheme 将动态问题转为一系列静态问题，再利用解的连续性拼接。这是处理非自治演化方程的重要现代手段。

  • 处理非局部项 $U'' \partial_x \psi$（Challenge B）：借助 singular integral operator $J_k$ 提供额外的阻尼机制，使得即使 $U'' = O(\epsilon)$ 不可忽略，也能通过调用其在 resolvent 估计中的良态性质加以控制。

  • 克服边界层奇异性（Challenge C）：提出改进的 boundary corrector estimate（Lemma 3.1），超越以往文献（如 [19]）的结果，从而获得足够强的边界项控制，确保整体估计闭合。

  • 高低频分离策略：在 $\nu |k|^2 \gtrsim 1$ 的高频区，直接使用能量法即可；而在 $\nu |k|^2 \ll 1$ 的低频区，则必须依赖 resolvent 与 $J_k$ 工具。这种分治策略极大提升了估计精度。

4. 与之前工作的比较

a) 突破与改进

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

  1. 推广至近库埃特流（close-to-Couette flows）
    以往工作如 [18] 仅处理纯库埃特流 $U_{in}(y)=y$ 或其极小扰动（$\|U_{in}-y\| \lesssim \nu^{1/2}$）。而本文允许剪切部分为任意 $O(1)$ 但 $H^4$ 小扰动（即 $\|U_{in}-y\|_{H^4} \leq \kappa$，独立于 $\nu$），极大地放宽了对平均剪切流的限制。这使得结果更接近实际物理场景，并可用于嵌套论证中（如 [11,16] 所设想的更大初值处理）。

  2. 首次在无滑移边界下完成 close-to-Couette 的稳定性阈值
    类似结果曾在 Navier 边界条件下由 [13] 完成。但无滑移边界带来了更强的边界层效应和更多边界贡献项，传统能量方法失效。本文成功克服这一障碍，实现了从 Navier 到 no-slip 的实质性跨越。

  3. sharpness up to log correction
    扰动尺度 $\nu^{1/2} |\log \nu|^{-2}$ 被认为几乎是 sharp 的。文献 [17] 表明即使在 $\|U_{in}-y\| \lesssim \nu^{1/2}$ 情形下，边界层不稳定性也可能触发失稳，故当前结果在正则性有限的前提下已达极限。

  4. 发展新的 boundary corrector 估计
    以往边界校正估计不足以支撑当前目标精度。本文提出的 Lemma 3.1 提供了更强的控制，成为连接 resolvent 估计与非线性闭合的关键桥梁。

  5. 统一处理 time-dependent shear flow
    相比于 [13] 中的静态背景流，本文面对的是由热方程驱动的演化剪切流 $U(t,y)$。通过 frozen-time scheme 与 layer-cake 方法，实现了对这类动态背景的有效分析，展示了方法的鲁棒性。

综上，本文不仅在模型设定上更具普适性（允许更一般的剪切流、更真实的边界条件），而且在技术深度上也有显著推进，特别是在边界层分析与非局部项控制方面的创新，为后续研究高维或更复杂几何下的稳定性问题奠定了坚实基础。

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

1. Asymptotic stability of solitary waves for the 1D focusing cubic Schrödinger equation

一维聚焦三次非线性薛定谔方程中孤立波的渐近稳定性

作者: Yongming Li

类别: math.AP

发布日期: 2025-10-20

arXiv ID: 2510.17763v1

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

摘要翻译

中文标题: 一维聚焦三次非线性薛定谔方程中孤立波的渐近稳定性

摘要翻译: 本文在加权索博列夫空间中，针对直线上的小扰动情形，建立了1D聚焦三次非线性薛定谔方程孤立波解的完整渐近稳定性，该工作基于我们在文献[58]中的结果。证明过程结合了基于畸变傅里叶变换的空间-时间共振方法与调制技术，从而证明辐射项的修正散射性质以及调制参数的收敛性。在整个非线性分析中，一个关键难点在于辐射项的局部衰减速度较慢，其根源在于线性化算子中存在阈值共振。二次非线性项中存在的有利零结构通过引入正规形变换有效缓解了这一问题。证明中的另一个关键步骤是发展了一种包含移动中心的局部光滑估计的变体。

2. Local pathwise solutions and regularization by noises for the stochastic hyperbolic Keller-Segel equation

随机双曲型Keller-Segel方程的局部路径解及噪声正则化效应

作者: Tengyu Li, Lei Zhang

类别: math.PR, math.AP

发布日期: 2025-10-20

arXiv ID: 2510.17673v1

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

摘要翻译

中文标题: 随机双曲型Keller-Segel方程的局部路径解及噪声正则化效应

摘要翻译: 本文研究定义在环面 $\mathbb{T}^d$ 上具有乘性噪声的随机双曲型Keller-Segel（SHKS）方程所对应的柯西问题。首先，在对非线性乘性噪声施加适当的正则性条件下，我们在索博列夫空间 $H^s(\mathbb{T}^d)$（其中 $s > \frac{d}{2} + 1$）中建立了SHKS方程局部路径解的存在性与唯一性。随后，我们探讨了两类与噪声诱导正则化相关的全局性结果：（1）第一个结果表明，对于多项式型非线性噪声，当噪声强度参数满足特定阈值条件时，SHKS方程几乎必然地对大初值数据存在唯一的路径解；这一发现为确定性情形下长期未解决的一个问题提供了部分解答；（2）第二个结果揭示，对于小初值数据，或等价地，在考虑强度足够大（允许为负）的线性乘性噪声时，SHKS方程以高概率存在唯一的路径解。

3. Global rigidity of two-dimensional bubbles

二维气泡的全局刚性

作者: Lukas Niebel

类别: math.AP, 76B45, 76B47, 35Q35, 35N25, 35J65, 76E17, 49Q20

发布日期: 2025-10-20

arXiv ID: 2510.17557v1

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

摘要翻译

中文标题: 二维气泡的全局刚性

摘要翻译: 本文研究二维情形下具有表面张力的静止空心涡旋。这类对象对应于外区域上一个超定椭圆型自由边界值问题的解，其中在边界上附加了一个涉及平均曲率与诺伊曼迹的条件。我们证明了当韦伯数较小时，圆形具有全局刚性，从而支持了Crowdy与Wegmann的一个猜想。该椭圆型问题描述了一类有界集合的周长与对数势能之和的临界点。尽管相应的变分问题在一般情况下是不适定的，但我们仍在外围由若尔当曲线所围成的集合类中，对小韦伯数情形建立了全局刚性结果。通过对线性化问题的分析，我们对两类问题中接近圆形的解给出了精确的刻画。

4. Swarming models with specular boundary condition and environmental noise

具有镜面边界条件与环境噪声的群集模型

作者: Razvan C. Fetecau, Hui Huang, Jinniao Qiu

类别: math.PR, math.AP, math.DS

发布日期: 2023-04-04

arXiv ID: 2304.02130v2

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

摘要翻译

中文标题: 具有镜面边界条件与环境噪声的群集模型

摘要翻译: 本文研究了一类在带边界区域中描述群集/自组织行为的广义模型。该模型表示为一个受镜面反射边界条件和共同环境噪声影响的随机相互作用粒子系统。我们严格推导了该模型对应的宏观平均场方程，由于存在共同噪声，该方程构成一类新型的随机偏微分方程。所采用的方法基于紧性论证：首先建立与粒子系统相关的经验测度的紧致性（tightness），然后证明极限测度的时间边缘分布是该平均场方程的解。

5. Convergence to equilibrium of weak solutions to the Cahn–Hilliard equation with non-degenerate mobility and singular potential

具有非退化迁移率和奇异势的Cahn–Hilliard方程弱解向平衡态的收敛性

作者: Maurizio Grasselli, Andrea Poiatti

类别: math.AP, 35B36, 35B40, 35D30, 35Q35, 76T99

发布日期: 2025-10-20

arXiv ID: 2510.17296v1

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

摘要翻译

中文标题: 具有非退化迁移率和奇异势的Cahn–Hilliard方程弱解向平衡态的收敛性

摘要翻译: 本文考虑具有非退化迁移率和奇异（例如对数型）势的经典Cahn–Hilliard方程初边值问题。我们仅在最少量假设下证明了任意弱解均收敛到一个单一的平衡态，即只需假设全局弱解的存在性并满足能量不等式。该结果在已有文献中尚属首次，且适用于三维情形——此情形此前一直为开放问题，尤其是在迁移率仅为连续函数时，由于缺乏相应的正则性结果。进一步地，我们对Abels、Garcke和Gr"un提出的一类具有不匹配密度与粘性的Cahn–Hilliard-Navier–Stokes型系统（见Math. Models Methods Appl. Sci. 22, 2012），在同样假设非退化迁移率的前提下，也证明了相同的收敛结果。我们预期，这一新颖的方法可被用于分析其他模型中类似的问题，尤其是当解的正则化性质未知或难以成立的情形。

6. Nonlinear Schrödinger equation with Ornstein-Uhlenbeck operator

具有Ornstein-Uhlenbeck算子的非线性薛定谔方程

作者: Xueying Yu, Haitian Yue, Zehua Zhao

类别: math.AP

发布日期: 2025-10-20

arXiv ID: 2510.17178v1

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

摘要翻译

中文标题: 具有Ornstein-Uhlenbeck算子的非线性薛定谔方程

摘要翻译: 在本工作中，我们引入并研究了一类具有各向异性色散的非线性薛定谔方程（NLS），其中标准拉普拉斯算子作用于欧几里得变量 $x \in \mathbb{R}^d$，而Ornstein-Uhlenbeck（$\mathcal{OU}$）算子支配受限方向 $\alpha \in \mathbb{R}$。我们考虑了由$\mathcal{OU}$算子诱导的两种自然形式的限制模型：（散度型模型，Model Div），其基于散度形式 $\nabla_\alpha \cdot (e^{-\frac{\alpha^2}{2}} \nabla_\alpha)$；以及（非散度型模型，Model Non-Div），其基于非散度形式 $\Delta_\alpha - \alpha \cdot \nabla_\alpha$。对于这两个模型，我们建立了相应的Strichartz估计和带高斯权重的Morawetz估计。此外，对于（散度型模型），我们证明了一类virial型的有限时间爆破结果；而对于（非散度型模型），我们在二维五次和三维三次情形下证明了整体适定性以及小初值解的散射性质。本工作的主要动机是在欧几里得框架下刻画波导型的色散行为。据我们所知，这是首次对散度与非散度形式下的$\mathcal{OU}$算子耦合的非线性薛定谔方程进行严格的数学分析。

7. On a repulsion model with Coulomb interaction and nonlinear mobility

关于具有库仑相互作用和非线性迁移率的排斥模型

作者: Antonin Chodron de Courcel, Charles Elbar

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

发布日期: 2025-10-19

arXiv ID: 2510.16894v1

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

摘要翻译

中文标题: 关于具有库仑相互作用和非线性迁移率的排斥模型

摘要翻译: 本文研究定义在环面上的一类标量守恒律，其通量 $\mathbf{j}$ 由库仑相互作用和非线性迁移率构成：$\mathbf{j} = -u^m\nabla\mathsf{g}\ast u$。我们证明了熵解的存在性以及弱-强唯一性原理。此外，还证明了熵解所共有的若干性质，特别是在快速扩散情形 $m < 1$ 下的下界障碍性质。在多孔介质情形 $m \ge 1$ 下，我们研究了解的递减重排，由此可证得解的支集具有瞬时增长性质以及等待时间现象。我们还证明了解在多种拓扑意义下指数收敛于空间平均值。

8. A sufficient condition for the existence of smooth solutions of the relativistic cold plasma equations on any given time interval

关于一维相对论性冷等离子体方程在任意给定时间区间上存在光滑解的一个充分条件

作者: Olga S. Rozanova, Evgeniy V. Chizhonkov

类别: math-ph, math.AP, math.MP, 35Q60 35L60 35L67 34M10

发布日期: 2025-10-18

arXiv ID: 2510.16613v1

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

摘要翻译

中文标题: 关于一维相对论性冷等离子体方程在任意给定时间区间上存在光滑解的一个充分条件

摘要翻译: 本文基于初始数据，给出了一维相对论性冷等离子体方程柯西问题的解在任意给定时间区间内保持光滑性的一个充分条件。与非相对论情形不同，该充分条件不仅涉及初始数据导数的充分小性，还要求初始数据本身具有相应的大小控制。通过数值实验验证了所得初始条件的精确性，并进一步研究了所产生奇点的结构特征。

9. Many facets of cohomology: Differential complexes and structure-aware formulations

上同调的多种形态：微分复形与结构保持的表述

作者: Kaibo Hu

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

发布日期: 2025-03-28

arXiv ID: 2503.22813v3

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

摘要翻译

中文标题: 上同调的多种形态：微分复形与结构保持的表述

摘要翻译: 复形与上同调传统上在拓扑学中居于核心地位，如今已发展成为应用数学及科学各领域的基本工具。本综述探讨了它们在诸多领域中的作用，涵盖偏微分方程、连续介质力学、爱因斯坦方程的重构形式以及网络理论。受相容性与结构保持离散化方法（如有限元外微积分，FEEC）进展的推动，我们研究了微分复形如何编码偏微分方程解的存在性、唯一性、稳定性与刚性等关键性质。本文表明，固体力学与流体力学中的许多基本概念与模型本质上均可通过微分复形来表述。

10. Hele-Shaw flow with surface tension and kinetic undercooling as a sharp interface limit of a fully parabolic Patlak-Keller-Segel system with nonlinear diffusion

具有表面张力和动力学过冷效应的Hele-Shaw流作为全抛物型Patlak-Keller-Segel系统在非线性扩散下的尖锐界面极限

作者: Michael Rozowski

类别: math.AP

发布日期: 2025-10-18

arXiv ID: 2510.16339v1

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

摘要翻译

中文标题: 具有表面张力和动力学过冷效应的Hele-Shaw流作为全抛物型Patlak-Keller-Segel系统在非线性扩散下的尖锐界面极限

摘要翻译: 本文研究了具有退化非线性扩散（例如，具多孔介质型结构 $-\frac{m}{m-1}\mathrm{div}(\rho \nabla \rho^{m-1})$）的抛物-抛物型Patlak-Keller-Segel（PKS）系统在大群体极限下的行为。我们证明，在渐近极限下，会出现一个尖锐界面，将一个包含随时间保持恒定均匀密度生物体的区域与一个无生物体的区域分离开来。在能量收敛假设下，我们进一步证明该涌现界面的演化遵循一个包含表面张力和动力学过冷效应的Hele-Shaw自由边界问题，并且该自由边界与固定边界满足一类接触角条件。

此外，我们指出，对于初值准备充分的情形，此类系统中的相分离现象大致源于种群压力的某个原函数与化学物质降解动力学之原函数的凸共轭之间的一种相容性。当这种相容性成立时，使得该抛物-抛物PKS系统成为梯度流的能量泛函，即为一个带惩罚项的Modica-Mortola泛函。

不相关论文（基本信息）

1. Flat Standing Sphere Blow-up Solutions for the Nonlinear Heat Equation

非线性热方程的平坦驻立球形爆破解

作者: Senhao Duan

类别: math.AP, 35A21 35B44 35K55

发布日期: 2025-10-20

arXiv ID: 2510.17718v1

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

摘要: In this paper, we prove the existence of a singular standing sphere blow-up solution for the nonlinear heat equation with radial symmetry. This solution develops a finite-time singularity on a fixed-radius sphere and exhibits a flat blow-up profile. Our construction refines the method developed by Merle and Zaag \cite{MZJEMS24} which reduces the infinite-dimensional dynamics to a finite-dimensional problem in radial case. The solution satisfies explicit asymptotics near the singular ring and remains regular elsewhere.

2. Non-CMC solutions to a Lichnerowicz equation in the Einstein-scalar field theory on closed manifolds

闭流形上爱因斯坦-标量场理论中Lichnerowicz方程的非常平均曲率解

作者: Bartosz Bieganowski, Pietro d’Avenia, Jacopo Schino, Daniel Strzelecki

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

发布日期: 2025-10-20

arXiv ID: 2510.17669v1

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

摘要: In the paper, we prove the existence of a positive and essentially bounded solution to a Lichnerowicz equation in the Einstein-scalar field theory on a closed manifold with non-constant mean curvature. In particular, the non-constant mean curvature gives rise to supercritical terms in the equation, on top of singular ones. We employ a recent fixed-point argument, which involves sub- and supersolutions. Additionally, we provide several conditions on the coefficients in the equation that prevent the existence of positive classical solutions.

3. The complex Ginzburg-Landau equation on a finite interval and chaos suppression via a finite-dimensional boundary feedback stabilizer

复Ginzburg-Landau方程在有限区间上的混沌抑制及基于有限维边界反馈镇定器的控制

作者: Dionyssios Mantzavinos, Türker Özsarı, Kemal Cem Yılmaz

类别: math.AP, math.OC, 35A22, 35B40, 35B65, 35C15, 35K61, 35Q56, 93D15, 93D20, 93D23

发布日期: 2025-10-20

arXiv ID: 2510.17635v1

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

摘要: In this paper, we study the well-posedness and boundary stabilization of the initial-boundary value problem for the complex Ginzburg-Landau (CGL) equation on a finite interval. First, we establish a local well-posedness theory for the open loop model in $L^2$-based fractional Sobolev spaces in the case of Dirichlet-Neumann type inhomogeneous mixed boundary conditions. This local well-posedness result is based on linear estimates derived by using the weak solution formula obtained via the unified transform (also known as the Fokas method). Next, we study the global well-posedness properties of the open loop model in presence of inhomogeneous boundary conditions. Then, we turn our attention to the rapid boundary feedback stabilization problem and design a nonlocal controller which uses a finite number of Fourier modes of the state of solution. This design relies on the fact that solutions of the CGL equation can be separated into a slow, finite-dimensional component and a rapidly decaying tail, with the former primarily governing long-term behavior. We determine the necessary number of modes required to stabilize the system at a specified rate. Additionally, we identify the minimum number of modes that ensure stabilization at an unspecified decay rate. These theoretical results are validated by numerical simulations. The spatiotemporal estimates established in the first part of the paper are also employed to obtain local solutions of the controlled system. The existence of global energy solutions follows from stabilization estimates, while uniqueness follows from the uniqueness of an associated initial-boundary value problem with homogeneous boundary conditions whose solutions are in correspondence with the solutions of the original system through a bounded invertible Volterra-type integral transform on Sobolev spaces.

4. Formation of clusters and coarsening in weakly interacting diffusions

弱相互作用扩散过程中簇的形成与粗化

作者: Nicolai Gerber, Rishabh Gvalani, Martin Hairer, Greg Pavliotis, André Schlichting

类别: math.AP, math.PR

发布日期: 2025-10-20

arXiv ID: 2510.17629v1

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

摘要: This paper studies the clustering behavior of weakly interacting diffusions under the influence of sufficiently localized attractive interaction potentials on the one-dimensional torus. We describe how this clustering behavior is closely related to the presence of discontinuous phase transitions in the mean-field PDE. For local attractive interactions, we employ a new variant of the strict Riesz rearrangement inequality to prove that all global minimizers of the free energy are either uniform or single-cluster states, in the sense that they are symmetrically decreasing. We analyze different timescales for the particle system and the mean-field (McKean-Vlasov) PDE, arguing that while the particle system can exhibit coarsening by both coalescence and diffusive mass exchange between clusters, the clusters in the mean-field PDE are unable to move and coarsening occurs via the mass exchange of clusters. By introducing a new model for this mass exchange, we argue that the PDE exhibits dynamical metastability. We conclude by presenting careful numerical experiments that demonstrate the validity of our model.

5. Relaxation for highly discontinuous, possibly unbounded, integral functionals

高度不连续且可能无界的积分泛函的松弛

作者: Tommaso Bertin, Giulia Treu

类别: math.AP, 49-XX, 49jxx

发布日期: 2025-10-20

arXiv ID: 2510.17577v1

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

摘要: We consider the functional

$$ F(u)=\int_{\Omega} f(\nabla u)\,dx\qquad u\in\varphi+W^{1,1}_0(\Omega) $$

where $\Omega$ is a Lipschitz bounded open set of $\R^N$, $f:\R^N\to\R\cup \{+\infty\}$ is a superlinear Borel function, $\varphi\in W^{1,\infty}(\Omega)$. We prove that, if $f$ is superlinear and satisfies very weak assumptions, then the Lavrentiev phenomenon does not occur. We underline that our assumptions include the case of non continuous, non convex, and unbounded Lagrangians.

6. Local controllability around a regular solution and null-controllability of scattering solutions for semilinear wave equations

半线性波动方程在正则解附近的局部可控性及散射解的零可控性

作者: Thomas Perrin

类别: math.AP, math.OC

发布日期: 2023-12-11

arXiv ID: 2312.06373v2

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

摘要: On a Riemannian manifold with or without boundary, and whether bounded or unbounded, we consider a semilinear wave (or Klein-Gordon) equation with a subcritical nonlinearity (either defocusing or focusing). We establish local controllability around a partially analytic solution, under the Geometric Control Condition. Specifically, some blow-up solutions can be controlled. In the case of a Klein-Gordon equation on a non-trapping exterior domain of small dimension, we prove the null-controllability of scattering solutions. The proof is based on local energy decay and global-in-time Strichartz estimates. Several consequences are presented, including the null-controllability of a solution initiated near the ground state in some focusing cases, and exact controllability in some defocusing cases.

7. The heat flow driven by the Laplacian of a directed hypergraph

由有向超图拉普拉斯算子驱动的热流

作者: Delio Mugnolo

类别: math.DS, math.AP, math.CO, 47D06, 05C50, 05C65, 39A12

发布日期: 2025-10-20

arXiv ID: 2510.17497v1

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

摘要: We develop a spectral and semigroup theory for Laplacians on directed hypergraphs, a setting where classical Markovian and symmetry principles of graph Laplacians break down. This framework reveals new phenomena: the heat flow may lose positivity, stochasticity, or diagonal dominance, yet regain them asymptotically under precise combinatorial conditions. We derive spectral bounds, characterize eventual positivity and contractivity in $\infty$-norm, and identify the rare cases where the flow remains Markovian. Several examples – culminating in hypergraphs that are dual of oriented graphs as well as directed realizations of the Fano plane - highlight the genuinely higher-order nature of these dynamics.

8. Quasilinear Equations with Neumann Boundary Conditions

具有诺伊曼边界条件的拟线性方程

作者: Annamaria Canino, Simone Mauro

类别: math.AP, 35A01, 35A15, 35J05, 35J20, 35J25, 35J62

发布日期: 2025-10-20

arXiv ID: 2510.17374v1

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

摘要: We prove a multiplicity result for non-constant weak solutions $u \in H^1(\Omega)$ for the quasilinear elliptic equation

$$ \begin{cases} \displaystyle-\text{div}(A(x,u)\nabla u) + \frac{1}{2} D_sA(x,u)\nabla u \cdot \nabla u = g(x,u) - \lambda u & \text{in } \Omega \\ A(x,u)\nabla u \cdot \eta = 0 & \text{on } \partial \Omega \end{cases} $$

where $\lambda \in \mathbb{R}$, $ \Omega$ is a bounded lipschitz domain, $ \eta $ is the outward normal to the boundary $ \partial \Omega $, and $g(x,u)$ is a Carath'eodory function that satisfies a general subcritical (and superlinear) growth condition. We also prove that any weak solution is bounded under a strong growth assumption.

9. On the blow-up of solutions to a Nakao-type problem with a time-dependent damping term

关于一类具时变阻尼项的中尾型问题解的爆破

作者: Yuequn Li, Alessandro Palmieri

类别: math.AP, 35B44, 35G55, 35L52, 35L71

发布日期: 2025-10-20

arXiv ID: 2510.17368v1

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

摘要: In this paper, we study a semilinear weakly coupled system of wave equations with power nonlinearities. More precisely, we couple (through the nonlinear terms) a wave equation and a damped wave equation with a time-dependent coefficient for the damping term. For the coefficient of the damping term we consider two cases: the scale-invariant case and the scattering producing case. By applying an iteration argument, we get a blow-up result and upper bound estimates for the lifespan of the solutions. In the scale-invariant case, we obtain a shift of the space dimension in the blow-up region for the same weakly coupled system with a classical damping (i.e. with a constant coefficient), while for the scattering producing case we find the same blow-up region as for the classical Nakao problem.

10. Sobolev instability for perturbations of periodic transport equations

周期性输运方程扰动的Sobolev不稳定性研究

作者: Gabriel Rivière, Maria Teresa Rotolo

类别: math.AP, math.DS

发布日期: 2025-10-20

arXiv ID: 2510.17350v1

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

摘要: We consider linear and time-dependent perturbations of periodic transport equations on the two-dimensional torus. For generic perturbations, we prove the existence of a large class of initial data whose Sobolev norms diverge exponentially fast. In higher dimensions, this remains true under a Morse-Smale assumption on the resonant part of the perturbation. In both cases, this is achieved by a normal form procedure and by studying Sobolev instabilities for time-dependent perturbations of Morse-Smale transport equations. The latter are analyzed on general compact manifolds using techniques from microlocal analysis and hyperbolic dynamics.

11. Frozen Gaussian approximation for the fractional Schrödinger equation

分数阶薛定谔方程的冻结高斯近似

作者: Lihui Chai, Hengzhun Chen, Xu Yang

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

发布日期: 2024-03-27

arXiv ID: 2403.18287v3

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

摘要: We develop a refined Frozen Gaussian approximation (FGA) for the fractional Schr"odinger equation in the semi-classical regime, where the solution exhibits rapid oscillations as the scaled Planck constant $\varepsilon$ becomes small. Our approach utilizes an integral representation based on asymptotic analysis, offering a highly efficient computational framework for high-frequency wave function evolution. Crucially, we introduce the momentum space representation of the FGA and a regularization parameter $\delta$ to address singularities in the higher-order derivatives of the Hamiltonian flow coefficients, which are typically assumed to be second-order differentiable or smooth in conventional analysis. We rigorously prove convergence of the method to the true solution and provide numerical experiments that demonstrate its precision and robust convergence behavior.

12. On the {$L^\infty $} norms of spectral projectors on shrinking intervals: the cases of some spheres of revolution and of the Euclidean disk

关于谱投影子在收缩区间上的 $L^\infty$ 范数：某些旋转球面与欧几里得圆盘的情形

作者: Ambre Chabert, Yves Colin de Verdìère

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

发布日期: 2025-10-20

arXiv ID: 2510.17295v1

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

摘要: Given a compact Riemannian surface $M$, with Laplace-Beltrami operator $\Delta$, for $\lambda > 0$, let $P\_{\lambda,\lambda^{-\frac{1}{3}}}$ be the spectral projector on the bandwidth $[\lambda-\lambda^{-\frac{1}{3}}, \lambda + \lambda^{\frac{1}{3}}]$ associated to $\sqrt{-\Delta}$. We prove a polynomial improvement on the $L^2 \to L^{\infty}$ norm of $P\_{\lambda,\lambda^{-\frac{1}{3}}}$ for generic simple spheres of revolution (away from the poles and the equator) and for the Euclidean disk away from its center but up to the boundary. We use the Quantum Integrability of those surfaces to express the norm in terms of a joint basis of eigenfunctions for $\left(\sqrt{-\Delta}, \frac{1}{i}\frac{\partial}{\partial \theta}\right)$. Then, we use that those eigenfunctions are asymptotically Lagrangian oscillatory functions, each supported on a Lagrangian torus with fold-type caustic. Thus, studying the distribution of the caustics, and using BKW decay away from the caustics, we are able to reduce the problem to counting estimates.

13. Energy minimizers in a periodic phase transition model of light-matter interaction in nematic liquid crystals

向列型液晶中光-物质相互作用周期性相变模型的能量极小化解

作者: Panayotis Smyrnelis, Marcel G. Clerc, Manuel Diaz-Zuniga, Michał Kowalczyk

类别: math.AP

发布日期: 2025-10-20

arXiv ID: 2510.17291v1

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

摘要: In this paper we complete the study of global minimizers of a forced, non autonomous, one dimensional, phase transition model, initiated in [8]. Motivated by the recent findings in [9], revealing new configurations of topological structures in light, we consider a forcing term having two periods. We show that depending on the strength of the forcing, at most two thresholds that determine the structure of the minimizers (kinks) are attained. These kinks are now a combination of the previous types encountered in [8], and they may have at most three zeros. The existence of these complex types of phase transition follows from a periodic one dimensional model of matter-light interaction in nematic liquid crystal based on a thin sample limit of the Oseen-Frank energy. We show that the qualitative behaviour of global minimizers is consistent with the original model.

14. Extension theory via boundary triplets for infinite-dimensional implicit port-Hamiltonian systems

基于边界三元组的无限维隐式端口哈密顿系统的扩张理论

作者: Hannes Gernandt, Friedrich Philipp, Till Preuster, Manuel Schaller

类别: math.AP

发布日期: 2025-03-22

arXiv ID: 2503.17874v3

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

摘要: The solution of constrained linear partial-differential equations can be described via parametric representations of linear relations. To study these representations, we provide a novel definition of boundary triplets for linear relations in range representations where the associated boundary map is defined on the domain of the parameterizing operators rather than the relation itself. This allows us to characterize all boundary conditions such that the underlying dynamics is represented by a self-adjoint, skew-adjoint or maximally dissipative relation. The theoretical results are applied to a class of implicit port-Hamiltonian systems on one-dimensional spatial domains. More precisely, we explicitly construct a boundary triplet which solely depends on the coefficient matrices of the involved matrix differential operators and we derive the associated Lagrangian subspace. We exemplify our approach by means of the Dzektser equation, the biharmonic wave equation, and an elastic rod with non-local elasticity condition.

15. Periodic limit for non-autonomous Lagrangian systems and applications to a Kuramoto type model

非自治拉格朗日系统的周期极限及其在一类Kuramoto模型中的应用

作者: Veronica Danesi, Cristian Mendico, Xuan Tao, Kaizhi Wang

类别: math.OC, math-ph, math.AP, math.MP

发布日期: 2025-10-20

arXiv ID: 2510.17242v1

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

摘要: This paper explores the asymptotic properties of non-autonomous Lagrangian systems, assuming that the associated Tonelli Lagrangian converges to a time-periodic function. Specifically, given a continuous initial condition, we provide a suitable construction of a Lax-Oleinik semigroup such that it converges toward a periodic solution of the equation. Moreover, the graph of its gradient converges as time tends to infinity to the graph of the gradient of the periodic limit function with respect to the Hausdorff distance. Finally, we apply this result to a Kuramoto-type model, proving the existence of an invariant torus given by the graph of the gradient of the limiting periodic solution of the Hamilton-Jacobi equation.

16. Blow-up rate for the subcritical semilinear heat equation in non-convex domains

非凸区域中次临界半线性热方程的爆破速率

作者: Hideyuki Miura, Jin Takahashi, Erbol Zhanpeisov

类别: math.AP, 35K58

发布日期: 2025-10-20

arXiv ID: 2510.17229v1

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

摘要: We consider the semilinear heat equation $u_t=\Delta u+|u|^{p-1} u$ in possibly non-convex and unbounded domains. Our main result shows the nonexistence of type II blow-up for possibly sign-changing solutions in the energy subcritical range $(n-2)p<n+2$. This resolves a long-standing open question dating back to the 1980s and also deduces the blow-up of the scaling critical norm.

17. Blow-up criteria for the semilinear parabolic equations driven by mixed local-nonlocal operators

由混合局部-非局部算子驱动的半线性抛物方程的爆破准则

作者: Vishvesh Kumar, Berikbol T. Torebek

类别: math.AP, 35K58, 35B33, 35A01, 35B44

发布日期: 2025-09-12

arXiv ID: 2509.10014v2

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

摘要: The main goal of this paper is to establish \emph{necessary and sufficient conditions} for the nonexistence of a global solution to the semilinear heat equation with a mixed local–nonlocal operator $ -\Delta + (-\Delta)^\sigma$, under a general time-dependent nonlinearity. Our results complement the recent work of Carhuas-Torre et al. [ArXiv, (2025), arXiv:2505.20401], in which the authors provide sufficient conditions for the existence and nonexistence of global solutions. In particular, our results recover the critical Fujita exponent for time-independent power-type nonlinearities, as obtained by Biagi et al. [Bull. London Math. Soc. (2024), 1–20] and Del Pezzo et al. [Nonlinear Anal. 255 (2025), 113761].

18. Semi-convex viscosity solutions of the special Lagrangian equation

特殊拉格朗日方程的半凸粘性解

作者: Connor Mooney, Ravi Shankar

类别: math.AP, math.DG

发布日期: 2025-10-20

arXiv ID: 2510.17202v1

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

摘要: We prove smoothness and interior derivative estimates for viscosity solutions to the special Lagrangian equation with almost negative phases and small enough semi-convexity. We show by example that the range of phases we consider and the semi-convexity condition are sharp. As an application, we find a new Liouville theorem for entire such solutions of the special Lagrangian equation with subcritical phase. We also find effective Hessian estimates with exponential dependence, which we show to be optimal.

19. A Morawetz type energy estimate for wave equation in $\R^2$ and application to elastic waves

二维欧氏空间中波动方程的Morawetz型能量估计及其在弹性波中的应用

作者: Ningan Lai, Silu Yin, Yi Zhou

类别: math.AP

发布日期: 2025-10-20

arXiv ID: 2510.17180v1

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

摘要: In this paper, we introduce a modified scaling Morawetz multiplier, which produces a weighted Morawetz type energy (non-negative) estimate for the inhomogeneous wave equation in $\R^2$. With this estimate in hand, an alternative proof of global existence for the Cauchy problem of quasilinear wave equation with small and compactly supported data is given. What is more, such weighted Morawetz type energy estimate also works for certain wave system with multiple speeds, which can be used to prove global existence of some admissible harmonic elastic wave system in $\R^2$.

20. Dirichlet eigenfunction and heat kernel estimates on annular domains

环形区域上的Dirichlet特征函数与热核估计

作者: Brian Chao, Laurent Saloff-Coste

类别: math.AP, math.PR, math.SP, Primary 35B20, 35B51, 35J05, 35K08, 35P15, Secondary 35J25, 60J60, 60J65

发布日期: 2025-10-20

arXiv ID: 2510.17091v1

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

摘要: Motivated by Euclidean boxes, we consider “thin” annular domains of the form $U=(a,b)\times U_0\subseteq \mathbb{R}^n$ in polar coordinates, where the spherical base $U_0\subseteq \mathbb{S}^{n-1}$ is an inner uniform domain. We show that, with respect to the measure $\varphi_U^2$ determined by the principal Dirichlet Laplacian eigenfunction $\varphi_U$, such annular domains satisfy volume doubling and Poincar'e inequalities uniformly over all locations and scales. This implies sharp Dirichlet heat kernel estimates expressed in terms of $\varphi_U$. Our results hold uniformly over the collection of all annuli in $\mathbb{R}^n$. We also give matching two-sided bounds for the first Dirichlet Laplacian eigenfunction and eigenvalue for some annular domains including annuli in $\mathbb{R}^n$. Moreover, we prove eigenfunction inequalities for $\varphi_U$ under domain perturbations of $U$. The proofs of our main results utilize eigenfunction comparison techniques due to Lierl and the authors (arXiv:1210.4586, arXiv:2504.18783), small scale $\varphi_U^2$-Poincar'e inequalities, as well as a discretization technique of Coulhon and Saloff-Coste. Finally, our methods also imply uniform Neumann heat kernel estimates for thin annular domains.

21. Green functions, Hitchin’s formula and curvature equations on tori

环面上的格林函数、希钦公式与曲率方程

作者: Zhijie Chen, Erjuan Fu, Chang-Shou Lin

类别: math.AP

发布日期: 2025-08-25

arXiv ID: 2508.17604v2

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

摘要: Let $G(z)=G(z;\tau)$ be the Green function on the flat torus $E_{\tau}=\mathbb{C}/(\mathbb{Z}+\mathbb{Z}\tau)$ with the singularity at $0$. Lin and Wang (Ann. Math. 2010) proved that $G(z)$ has either $3$ or $5$ critical points (depending on the choice of $\tau$). Later, Bergweiler and Eremenko (Proc. Amer. Math. Soc. 2016) gave a new proof of this remarkable result by using anti-holomorphic dynamics. In this paper, firstly, we prove that once $G(z)$ has $5$ critical points, then these $5$ critical points are all non-degenerate. Secondly, we study the sum of two Green functions which can be reduced to $G_p(z):=\frac12(G(z+p)+G(z-p))$. We prove that for any $p$ satisfying $p\neq -p$ in $E_{\tau}$, the number of critical points of $G_p(z)$ belongs to $\{4,6,8,10\}$ (depending on the choice of $(\tau, p)$) and each number really occurs. We apply Hitchin’s formula (J. Differ. Geom. 1995) in a surprising way to prove the generic non-degeneracy of critical points. This allows us to study the distribution of the numbers of critical points of $G_p(z)$ as $p$ varies. Applications to the curvature equation $\Delta u+e^{u}=4\pi(\delta_{p}+\delta_{-p})$ on $E_{\tau}$ are also given, and how the geometry of the torus affects the solution structure is studied.

22. Barron Space Representations for Elliptic PDEs with Homogeneous Boundary Conditions

具有齐次边界条件的椭圆型偏微分方程的Barron空间表示

作者: Ziang Chen, Liqiang Huang

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

发布日期: 2025-08-11

arXiv ID: 2508.07559v2

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

摘要: We study the approximation complexity of high-dimensional second-order elliptic PDEs with homogeneous boundary conditions on the unit hypercube, within the framework of Barron spaces. Under the assumption that the coefficients belong to suitably defined Barron spaces, we prove that the solution can be efficiently approximated by two-layer neural networks, circumventing the curse of dimensionality. Our results demonstrate the expressive power of shallow networks in capturing high-dimensional PDE solutions under appropriate structural assumptions.

23. Reconstruction of Rough Conductivities from Boundary Measurements

从边界测量重构粗糙电导率

作者: Ashwin Tarikere

类别: math.AP, 35R30

发布日期: 2020-01-15

arXiv ID: 2001.05155v4

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

摘要: We show the validity of Nachman’s procedure (Ann. Math. 128(3):531-576, 1988) for reconstructing a conductivity $\gamma$ from its Dirichlet-to-Neumann map $\Lambda_\gamma$ for less regular conductivities, specifically $\gamma \in W^{3/2,2n}(\Omega)$ such that $\gamma \equiv 1$ near $\partial \Omega$. We also obtain a log-type stability estimate for the inverse problem when $\gamma$ has slightly higher regularity, i.e., $\gamma \in W^{2-s,n/s}(\Omega)$ for $0 < s <1/2$.

24. Numerical computation of generalized Wasserstein distances with applications to traffic model analysis

广义Wasserstein距离的数值计算及其在交通模型分析中的应用

作者: Maya Briani, Emiliano Cristiani, Giovanni Franzina, Francesca L. Ignoto

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

发布日期: 2024-10-15

arXiv ID: 2410.11441v3

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

摘要: Generalized Wasserstein distances allow to quantitatively compare two continuous or atomic mass distributions with equal or different total mass. In this paper, we propose four numerical methods for the approximation of three different generalized Wasserstein distances introduced in the last years, giving some insights about their physical meaning. After that, we explore their usage in the context of the sensitivity analysis of differential models for traffic flow. The quantification of models sensitivity is obtained by computing the generalized Wasserstein distances between two (numerical) solutions corresponding to different inputs, including different boundary conditions.

25. A hitchhiker’s guide to first-order elliptic boundary value problems

一阶椭圆边值问题的 Hitchhiker 指南

作者: Christian Baer, Lashi Bandara

类别: math.AP, math.DG, 35J56, 58J32

发布日期: 2025-10-19

arXiv ID: 2510.16919v1

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

摘要: To empower the mathematical hitchhiker wishing to use operator methods in geometry and topology, we present this user’s guide to first-order elliptic boundary value problems. Existence, regularity, and Fredholmness are discussed for general first-order elliptic operators on manifolds with compact boundary. The focus is on a very general class of elliptic boundary conditions, which contain those that are pseudo-local as a special case, yielding the relative index theorem. A new characterisation of a subclass of elliptic boundary conditions is also given.

26. Trace Regularity PINNs: Enforcing $\mathrm{H}^{\frac{1}{2}}(\partial Ω)$ for Boundary Data

迹正则性物理信息神经网络：在边界数据上施加 $\mathrm{H}^{\frac{1}{2}}(\partial Ω)$ 正则性条件

作者: Doyoon Kim, Junbin Song

类别: cs.LG, math.AP

发布日期: 2025-10-19

arXiv ID: 2510.16817v1

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

摘要: We propose an enhanced physics-informed neural network (PINN), the Trace Regularity Physics-Informed Neural Network (TRPINN), which enforces the boundary loss in the Sobolev-Slobodeckij norm $H^{1/2}(\partial \Omega)$, the correct trace space associated with $H^1(\Omega)$. We reduce computational cost by computing only the theoretically essential portion of the semi-norm and enhance convergence stability by avoiding denominator evaluations in the discretization. By incorporating the exact $H^{1/2}(\partial \Omega)$ norm, we show that the approximation converges to the true solution in the $H^{1}(\Omega)$ sense, and, through Neural Tangent Kernel (NTK) analysis, we demonstrate that TRPINN can converge faster than standard PINNs. Numerical experiments on the Laplace equation with highly oscillatory Dirichlet boundary conditions exhibit cases where TRPINN succeeds even when standard PINNs fail, and show performance improvements of one to three decimal digits.

27. The Dirichlet eigenvalue problems for some concave elliptic Hessian operators

一类凹椭圆Hessian算子的Dirichlet特征值问题

作者: Zhang Jiaogen

类别: math.AP, math.DG

发布日期: 2025-10-19

arXiv ID: 2510.16748v1

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

摘要: In this manuscript, we investigate a priori estimates for the solution to the Dirichlet eigenvalue problem for a broad class of concave elliptic Hessian operators of the form

$$ F(D^2u)=-\Lambda u \quad \textrm{in} \, \Omega, \qquad u=0 \quad \textrm{on} \, \partial \Omega. $$

These operators encompass the Monge-Amp`ere operator, the $k$-Hessian operators, and the $p$-Monge-Amp`ere operators. We impose a fairly mild constraint on the operator $F$, allowing us to demonstrate the existence of the first nonzero eigenvalue and its corresponding $\Gamma$-admissible eigenfunction on the smooth, strictly $\Gamma$-convex domain $\Omega\subset \mathbb{R}^{n}$. Furthermore, we prove that the eigenfunction $u_{1}$ belongs to $C^{\infty}(\Omega) \cap C^{1,1}(\overline{\Omega})$. As an application, we prove that every invariant G\r{a}rding-Dirichlet operator admits a unique first nonzero eigenvalue.

28. Heat flow for VT harmonic map from compact manifold

紧致流形上VT调和映射的热流

作者: Xiangzhi Cao

类别: math.DG, math.AP

发布日期: 2023-02-06

arXiv ID: 2302.02542v2

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

摘要: In this paper, we obtain the existence of Dirichlet problem for VT harmonic map from compact Riemannian manifold with or without boundary into compact manifold via the heat flow method. We also obtain the existence of V T geodesics uncer certain conditions on T.

29. Fredholm Theory of Non-Elliptic Operators in the Presence of Normally Hyperbolic Trapping

正常双曲捕获存在下非椭圆算子的Fredholm理论

作者: Selim Amar

类别: math.AP, 35L05 (Primary) 35P25, 58J47, 83C57 (Secondary)

发布日期: 2025-10-18

arXiv ID: 2510.16642v1

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

摘要: We present an improved Fredholm theory of non-elliptic operators for when the corresponding classical dynamical system exhibits normally hyperbolic trapping with smooth backward and forward trapped sets. It takes place on coisotropic Sobolev spaces with weak regularity at the backward trapped set $\Gamma_u$, which are roughly speaking made of distributions $v \in H^s$ satisfying $\Phi_u v \in H^{s+1}$ for some quantization $\Phi_u$ of the defining function $\phi_u$ of $\Gamma_u$. We then apply it to the case of wave operators on spacetimes.

30. A Liouville theorem for CR Yamabe type equation on Sasakian manifolds

关于Sasakian流形上CR Yamabe型方程的一个Liouville型定理

作者: Biqiang Zhao

类别: math.DG, math.AP

发布日期: 2025-10-08

arXiv ID: 2510.06779v2

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

摘要: In this paper, we study the CR Yamabe type equation \begin{align} \Delta_b u+F(u)=0 \nonumber \end{align} on complete noncompact $(2n+1)$-dimensional Sasakian manifolds with nonnegative curvature. Under some assumptions, we prove a rigidity result, that is, the manifold is CR isometric to Heisenberg group $\mathbb{H}^n$. The proofs are based on the Jerison-Lee’s differential identity combining with integral estimates.

31. Free energy Wasserstein gradient flow and their particle counterparts: toy model, (degenerate) PL inequalities and exit times

自由能量的Wasserstein梯度流及其粒子对应系统：玩具模型、（退化）PL不等式与退出时间

作者: Pierre Monmarché

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

发布日期: 2025-10-18

arXiv ID: 2510.16506v1

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

摘要: In finite dimension, the long-time and metastable behavior of a gradient flow perturbated by a small Brownian noise is well understood. A similar situation arises when a Wasserstein gradient flow over a space of probability measure is approximated by a system of mean-field interacting particles, but classical results do not apply in these infinite-dimensional settings. This work is concerned with the situation where the objective function of the optimization problem contains an entropic penalization, so that the particle system is a Langevin diffusion process. We consider a very simple class of models, for which the infinite-dimensional behavior is fully characterized by a finite-dimensional process. The goal is to have a flexible class of benchmarks to fix some objectives, conjectures and (counter-)examples for the general situation. Inspired by the systematic study of these toy models, one application is presented on the continuous Curie-Weiss model in a symmetric double-well potential. We show that, at the critical temperature, although the $N$-particle Gibbs measure does not satisfy a uniform-in-$N$ standard log-Sobolev inequality (the optimal constant growing like $\sqrt{N}$), it does satisfy a more general Lojasiewicz inequality uniformly in $N$, inducing uniform polynomial long-time convergence rates, propagation of chaos at stationarity and uniformly in time, and creation of chaos.

32. Equivalence of weak solution concepts for mean curvature flow

平均曲率流弱解概念的等价性

作者: Tim Laux, Anton Ullrich

类别: math.AP, 53E10 (Primary), 35D30, 35D40 (Secondary)

发布日期: 2025-10-18

arXiv ID: 2510.16478v1

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

摘要: We provide a connection between weak solution concepts of mean curvature flow. On the one side we have the viscosity solution which is based on the comparison principle. On the other, variational solutions, which are combined Brakke flows and distributional solutions. We prove that if one has a foliation by variational solutions, then the resulting function is the unique viscosity solution. This answers an open question suggested by the work of Evans and Spruck [J. Geom. Anal., 5(1), 1995] and the authors [J. Geom. Anal., 34(12), 2024]. These results show that almost every level set of the viscosity solution is a variational solution. Thus, we establish the equivalence of these solution concepts. Moreover, we show the generic uniqueness of variational solutions.

33. High Energy plurisubharmonic classes

高能多重次调和类

作者: Vincent Guedj, Ahmed Zeriahi

类别: math.CV, math.AP

发布日期: 2025-10-18

arXiv ID: 2510.16412v1

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

摘要: Let $\Omega \Subset \C^n$ be a bounded strongly pseudoconvex domain. For any concave increasing weight $\chi : \R^- \longrightarrow \R^-$ such that $\chi(0) = 0$, we introduce and study finite energy classes $\mathcal E_\chi(\Omega)$ of plurisubharmonic functions, using the Orlicz space formalism. We investigate the range of the Monge-Amp`ere operator on these classes, and conjecture that this should lead to an integral characterization of the image of bounded plurisubharmonic functions, an open problem since the birth of Pluripotential Theory more than forty years ago.

34. Elliptic and Pseudo-Parabolic Gradient System Arising from Anisotropic Image-Denoising with Orientation Adaptation

由具有方向自适应的各向异性图像去噪引发的椭圆与伪抛物型梯度系统

作者: Naotaka Ukai

类别: math.AP

发布日期: 2025-10-18

arXiv ID: 2510.16354v1

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

摘要: In this paper, we consider a coupled system of nonlinear elliptic and pseudo-parabolic PDEs arising in anisotropic monochrome image-denoising with an orientation adaptation. This system is motivated by the minimization of a nonconvex energy functional. This study focuses on the treatment of the initial data for the orientation variable. Previous models have not provided explicit procedures or clarified a natural and convincing method for its determination. To resolve this issue, we propose a formulation in which the time derivative of the orientation variable is removed. This enables the initial value to be computed automatically within the equation. This formulation weakens the energy-dissipation property and introduces new challenges in constructing a stable minimization process. Consequently, a different approach from previous works is required. In light of the above, this paper aims to establish the well-posedness and energy-dissipation for our system. The proofs are based on a time-discretization method. The proposed time-discrete scheme determines the initial orientation data and ensures consistency with the continuous model. These results guarantee the stability and effectiveness of the proposed method for numerical implementation and provide a method for determining the initial data of orientation in the time-discretization scheme.