生成时间: 2025年11月20日 03:44:29

重点关注论文数量: 4

了解领域论文数量: 6

不相关论文数量: 26

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

1. On Moffatt’s magnetic relaxation for 2D and 2.5D flows

关于Moffatt针对二维与二维半流动的磁松弛理论

作者: Sepehr Mohammadkhani, Huy Q. Nguyen

类别: math.AP, math-ph

发布日期: 2025-11-19

arXiv ID: 2511.15501v1

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

详细分析

中文标题: 关于Moffatt针对二维与二维半流动的磁松弛理论

研究对象和背景

本文研究的是由H.K. Moffatt提出的磁松弛方程（Magnetic Relaxation Equation, MRE），其目标是通过一个拓扑守恒且耗散的动力学过程，将理想不可压缩磁流体动力学（ideal incompressible MHD）系统的解在长时间极限下引导至不可压缩欧拉方程（incompressible Euler equations）的稳态解。该方法属于拓扑流体力学（topological hydrodynamics）范畴，起源于V.I. Arnold关于流体中涡旋线拓扑结构稳定性的开创性工作。

论文所研究的具体系统为带有Darcy型正则化的Moffatt磁松弛方程，在区域 $ D \subset \mathbb{R}^d $ 上定义如下：

$$ \partial_t B + u \cdot \nabla B = B \cdot \nabla u \quad \text{in } D \times (0,\infty), $$
$$ u = B \cdot \nabla B + \nabla p \quad \text{in } D, $$
$$ \mathrm{div}\, u = \mathrm{div}\, B = 0 \quad \text{in } D, $$
$$ u \cdot n = 0 \quad \text{on } \partial D, $$
$$ B \cdot n = 0 \quad \text{on } \partial D. $$

其中，$ B(x,t) $ 是磁场，$ u(x,t) $ 是速度场，$ p $ 是压力项，$ n $ 是边界 $ \partial D $ 上的单位外法向量。上述系统对应于Moffatt提出的一般框架中正则化参数 $ \sigma = 0 $ 的情形，即所谓的“Darcy型”构成律，区别于 $ \sigma = 1 $ 的Stokes型正则化。

该系统具有两个核心性质：拓扑守恒性和能量耗散性。拓扑守恒性源于磁感应方程 $ \partial_t B + u \cdot \nabla B = B \cdot \nabla u $，它表明磁场线在随速度场 $ u $ 演化的粒子轨迹映射下被完全携带，因此磁场线的拓扑结构（如纽结度）在整个演化过程中保持不变。能量耗散性则体现在以下不等式中：

$$ \frac{1}{2} \frac{d}{dt} \|B\|_{L^2}^2 = - \|u\|_{L^2}^2 \leq 0. $$

这说明 $ L^2 $-范数的磁场能量随时间单调递减，而耗散率正是速度场的能量。如果能够证明解全局存在，并且当 $ t \to \infty $ 时 $ B(t) $ 在强拓扑意义下收敛到某个极限 $ B_\infty $，那么必然有 $ u(t) \to 0 $，从而极限状态满足 $ \nabla p = B_\infty \cdot \nabla B_\infty $ 且 $ \mathrm{div}\, B_\infty = 0 $，这恰好是改变压力符号后的稳态欧拉方程。因此，MRE被视为一种构造复杂欧拉稳态解的潜在机制。

本文的研究重点在于验证这一长期猜想：MRE的解是否真的会弛豫到欧拉方程的稳态？作者特别关注两种情形：二维周期通道中的非恒定剪切流，以及二维半（2.5D）情形下的更一般稳态。

首先，在二维情形下，论文考虑的是周期通道 $ D = \mathbb{T} \times (-1,1) $，其中 $ \mathbb{T} = \mathbb{R}/2\pi\mathbb{Z} $。此区域包含物理边界，因此需要仔细设定边界条件。文中采用的是无穿透条件：$ u \cdot n = 0 $ 和 $ B \cdot n = 0 $，在上下边界 $ x_2 = \pm 1 $ 处分别意味着 $ u_2 = 0 $ 和 $ b_2 = 0 $（对于扰动）。这些边界条件确保了能量估计的有效性，如引理1.1所示。

研究的核心是一类非恒定剪切流 $ B = \gamma(x_2)e_1 $，其中 $ \gamma \in W^{m+1,\infty}((-1,1)) $ 且 $ \inf |\gamma| > 0 $。这类流是MRE的稳态解（此时 $ u=0 $）。为了分析其稳定性，作者引入扰动 $ b = B - \gamma e_1 $，并推导出 $ b $ 满足的演化方程。值得注意的是，由于 $ \gamma $ 非常数，扰动方程中会出现额外的项，如 $ u \gamma' e_2 $ 和 $ b \gamma' e_1 $，这使得分析比恒定剪切流情形更为复杂。

在函数空间方面，作者主要在Sobolev空间 $ H^m $ 中工作，特别是考虑了满足散度自由和边界条件的空间 $ H^m_\sigma(D) := \{ g \in H^m(D;\mathbb{R}^2) : \mathrm{div}\,g = 0, g_2(\cdot,\pm1) = 0 \} $。局部适定性分析依赖于标准的对易子估计（commutator estimates），例如对于高阶导数 $ \partial^\alpha $ 与乘法算子 $ u $ 的对易子，以及Leray投影 $ P $ 与对流算子 $ u\cdot\nabla $ 的对易子。后者尤为重要，因为速度 $ u $ 是通过对 $ B\cdot\nabla B $ 应用Leray投影得到的，这种非局部性带来了技术挑战。

其次，论文还研究了二维半流动（2.5D flows）的弛豫问题。这类流动具有形式：

$$ B(x_H,x_3,t) = (B_H(x_H,t), g(x_H,t)), \quad u = (u_H(x_H,t), B_H \cdot \nabla_H g), $$

其中 $ x_H = (x_1,x_2) \in \Omega \subset \mathbb{R}^2 $，$ (B_H, u_H) $ 满足二维MRE，而标量函数 $ g(x_H,t) $ 满足：

$$ \partial_t g + u_H \cdot \nabla_H g = (B_H \cdot \nabla_H)^2 g. $$

若 $ B_H $ 是二维稳态，则上式退化为以 $ B_H $ 为漂移场的扩散型方程。弛豫的目标是证明 $ g(t) $ 收敛，且 $ B_H \cdot \nabla_H g(t) \to 0 $。作者采用了一种几何方法，特别关注那些生成闭合轨道的向量场 $ B_H $。在这种情况下，沿轨道的解满足带周期边界的热方程，从而可以利用谱分析来建立弛豫结果。

主要定理或主要结果

本文有两个主要定理，分别对应二维和二维半情形。

第一个主要结果是关于二维通道中非恒定剪切流的稳定性与弛豫：

定理 2.3 设 $ k \geq 3 $，$ m \geq k+5 $，$ \gamma \in W^{m+1,\infty}((-1,1)) $，$ c_P $ 为Poincaré常数。存在正常数 $ C_k $ 和 $ C_{m,k} $，使得若 $ \gamma $ 满足

$$ c_0 := \inf_{x_2 \in (-1,1)} |\gamma(x_2)| > 0, \quad \|\gamma'\|_{W^{k-1,\infty}} \leq \frac{c_0}{C_k}, $$

$$ \|\gamma'\|_{W^{m,\infty}} \leq \frac{c_0}{C_{m,k} c_P}, $$

则存在 $ \varepsilon = \varepsilon(m,k,c_0,\|\gamma\|_{W^{k+4,\infty}}) > 0 $，使得若初始扰动 $ b_0 \in H^m_\sigma $ 满足 $ \|b_0\|_{H^m} \leq \varepsilon $ 且 $ P_0 b_{0,2} = 0 $（即第二分量在 $ x_1 $ 方向平均为零），则扰动方程 (2.1) 存在唯一的全局解 $ b $，并满足以下估计：

$$ P_0 b_2(\cdot,t) = 0, $$

$$ \|P_\perp b(\cdot,t)\|_{H^k} \leq 3\varepsilon e^{-\frac{5}{8} \left( \frac{c_0}{c_P} \right)^2 t}, $$

$$ \|P_0 b_1(\cdot,t)\|_{H^{k+2}} \leq 3\varepsilon, $$

$$ \|b(\cdot,t)\|_{H^m} \leq 3\varepsilon e^{\frac{1}{8} \left( \frac{c_0}{c_P} \right)^2 t}. $$

此外，速度场满足

$$ \|u(t)\|_{H^{k+1}} \leq C_{m,k}(1+\|\gamma\|_{W^{k+2,\infty}})\varepsilon e^{-\frac{13}{40} \left( \frac{c_0}{c_P} \right)^2 t}, $$

且磁场 $ B(x,t) = \gamma(x_2)e_1 + b(x,t) $ 在 $ H^k $ 中弛豫到一个稳态 $ B_\infty = (\gamma(x_2) + a(x_2))e_1 $，其中 $ a = \lim_{t\to\infty} P_0 b_1(t) $ 满足 $ \|a\|_{H^{k+2}} \leq 3\varepsilon $。

第二个主要结果涉及二维半情形的几何方法：

对于 $ \Omega \subset \mathbb{R}^2 $ 上生成闭合轨道的稳态向量场 $ B_H $，若其轨道周期有界，则对一类合适的初始数据 $ g_0 $，方程 $ \partial_t g = (B_H \cdot \nabla_H)^2 g $ 的解在某个分数阶Sobolev范数 $ H^s $（$ 0 < s < 1 $）中指数弛豫。即使周期无界，解也在所有 $ L^p $（$ 1 \leq p < \infty $）空间中弛豫，尽管可能没有速率。

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

a) 核心分析学工具

本文的证明综合运用了多种现代偏微分方程分析技术。首要工具是能量估计（energy estimates），这是研究非线性演化方程解的行为的基础。通过在适当的Sobolev空间中对扰动方程进行内积并积分，作者建立了控制解增长的微分不等式。例如，在局部适定性证明中，通过计算 $ \frac{d}{dt} \|b\|_{H^m}^2 $ 并利用对易子估计，得到了形如 $ \frac{d}{dt} \|b\|_{H^m}^2 \leq C (\|b\|_{H^m}^2 + \|b\|_{H^m}) \|u\|_{H^m} $ 的不等式，进而结合Gronwall引理得出先验估计。

另一个关键工具是对易子估计。由于方程中包含复合算子（如 $ \partial^\alpha (u \cdot \nabla b) $），直接估计高阶导数困难。为此，作者使用了标准的对易子不等式：

$$ \|[\partial^\alpha, u] v\|_{L^2} \lesssim \|Du\|_{L^\infty} \|\partial^{m-1} v\|_{L^2} + \|\partial^m u\|_{L^2} \|v\|_{L^\infty} + \|Du\|_{L^\infty} \|v\|_{L^\infty}, $$

这对于处理非线性项至关重要。更进一步，由于速度 $ u $ 通过Leray投影从 $ B\cdot\nabla B $ 得到，作者发展了Leray投影与对流算子的对易子估计：

$$ \|[P, u\cdot\nabla] v\|_{H^m} \lesssim \|Du\|_{H^{m-1}} \|Dv\|_{H^{k-1}} + \|Du\|_{H^{k-1}} \|Dv\|_{H^{m-1}}, $$

当 $ \mathrm{div}\, v = 0 $ 时成立。这个改进的估计避免了对 $ u $ 和 $ v $ 本身低阶范数的依赖，仅依赖于它们的梯度，这对于获得干净的增长估计尤为关键。

Leray投影（也称Helmholtz分解）是处理不可压流体问题的基本工具。它将任意向量场分解为无散部分和梯度部分。文中明确定义了在带边界区域上的Leray投影，并利用其性质 $ \mathrm{div}(Ph)=0 $ 和 $ (Ph)_2|_{\partial D}=0 $ 来保证速度场满足所需的约束条件。

最后，Gronwall不等式被反复使用以从微分不等式推出积分型先验估计，从而保证解在有限时间内不会爆破，为局部适定性提供基础。

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

论文最精巧的技术之一是对扰动 $ b $ 进行正交分解：$ b = P_0 b + P_\perp b $，其中 $ P_0 h(x_2) = \int_{\mathbb{T}} h(y,x_2) dy $ 是在 $ x_1 $ 方向的平均，$ P_\perp = I - P_0 $ 是其正交补。这一技巧源自[7]和[4]，用于克服线性化算子缺乏完整耗散的问题。线性化分析显示，系统在 $ x_1 $ 方向有类似 $ \gamma^2 \partial_{x_1}^2 $ 的扩散效应，但当扰动与 $ x_1 $ 无关时，该耗散消失。通过分离出平均部分 $ a = P_0 b $ 和振荡部分 $ f = P_\perp b $，作者发现 $ f $ 受到强耗散控制而指数衰减，而 $ a $ 的变化较慢。通过一个自举论证（bootstrap argument），他们证明只要初始扰动足够小，$ a $ 就能始终保持小量，从而整体解全局存在并弛豫。

在二维半情形中，作者采用了几何方法。他们观察到，当 $ B_H $ 生成闭合轨道时，函数 $ g $ 沿这些轨道的演化等价于一维热方程。通过将解沿轨道展开为傅里叶级数，并分析相应的特征值问题，他们能够证明能量在高阶模态上的快速耗散，从而得出 $ L^p $ 弛豫甚至指数弛豫的结论。这种方法巧妙地将复杂的偏微分方程问题转化为更易处理的常微分方程或谱问题。

与之前工作的比较

a) 突破与改进

本文相对于先前工作做出了显著的改进。首先，相较于[4]中的定理5.1，本论文将结果从二维环面 $ \mathbb{T}^2 $ 推广到了带有物理边界的二维周期通道 $ \mathbb{T} \times (-1,1) $。这不仅改变了几何设置，还引入了边界条件的处理问题，使得分析更加复杂。作者必须重新建立适用于该区域的对易子估计和Leray投影性质。

其次，也是最重要的突破，是将初始平衡态从恒定剪切流推广到了非恒定剪切流 $ \gamma(x_2)e_1 $。之前的理论仅适用于接近常数 $ \gamma $ 的扰动，而本文允许 $ \gamma'(x_2) $ 在一定条件下很大，只要 $ \inf |\gamma| $ 足够大。这意味着研究对象不再是恒定流的小扰动，而是可以包含具有显著梯度的非均匀剪切流。这极大地扩展了可达到的欧拉稳态的范围。

在技术层面，由于 $ \gamma $ 非常数，线性化和非线性项中出现了新的耦合项（如含 $ \gamma' $ 的项）。作者通过精细的能量估计和对 $ \gamma' $ 的范数施加适当的小性条件（如 $ \|\gamma'\|_{W^{k-1,\infty}} \leq c_0 / C_k $），成功控制了这些额外项的影响。这体现了对非均匀背景流处理能力的提升。

在二维半情形，本文发展了一套基于轨道几何的统一框架，将之前对特定剪切流的分析推广到一类生成闭合轨道的更广泛的二维稳态。这不仅包含了已知结果作为特例，还提供了新的例子和更深刻的几何洞察。

综上所述，本文通过克服边界效应和非均匀背景流带来的挑战，显著推进了Moffatt磁松弛理论的数学基础，为利用该机制构造更丰富的欧拉方程稳态解铺平了道路。

2. Asymptotic stability of planar entropy wave for 3-d Navier-Stokes equations in Eulerian coordinates

欧拉坐标下三维Navier-Stokes方程的平面熵波的渐近稳定性

作者: Ren-Jun Duan, Feimin Huang, Rui Li, Lingda Xu

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15498v1

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

详细分析

中文标题: 欧拉坐标下三维Navier-Stokes方程的平面熵波的渐近稳定性

研究对象和背景

本文研究的是在欧拉坐标系下的三维（3-D）全可压缩Navier-Stokes方程组，其描述了理想多变气体在无界区域 $\Omega = \mathbb{R} \times \mathbb{T}^2$ 上的流动行为。其中 $\mathbb{T} := \mathbb{R}/\mathbb{Z}$ 是单位圆周，表示横向周期性边界条件，这种几何结构被称为“无限长平环面”，旨在模拟具有一个非紧方向（$x_1$）和两个周期方向（$x_2, x_3$）的物理空间。

该系统由质量守恒、动量守恒与能量守恒三个基本方程构成：

$$ \begin{cases} \rho_t + \mathrm{div}(\rho u) = 0, \\ (\rho u)_t + \mathrm{div}(\rho u \otimes u) + \nabla p = \mathrm{div}\, S, \\ (\rho E)_t + \mathrm{div}(\rho E u + p u) = \kappa \Delta \theta + \mathrm{div}(u S), \end{cases} \quad (x,t) \in \mathbb{R}^3 \times \mathbb{R}_+ $$

其中未知函数包括密度 $\rho(x,t)>0$、速度向量 $u=(u_1,u_2,u_3)^t$ 和绝对温度 $\theta(x,t)>0$；压力 $p=R\rho\theta$，总能 $E=e+\frac{1}{2}|u|^2$，内能 $e=\frac{R}{\gamma-1}\theta$，这里 $R>0$ 为气体常数，$\gamma>1$ 为绝热指数。粘性应力张量定义为：

$$ S = 2\mu D(u) + \lambda (\mathrm{div}\, u) I, \quad D(u) = \frac{\nabla u + (\nabla u)^t}{2}, $$

其中 $\mu > 0$, $\lambda + \mu \geq 0$ 为粘性系数，满足物理合理性条件。

作者考虑的是理想多变气体状态方程：$p = A\rho^\gamma \exp(S)$，其中 $S$ 表示熵。不失一般性，设 $R = \gamma - 1$。

当粘性效应消失时，上述系统退化为经典的欧拉系统，即双曲型守恒律系统。这类系统的解即使初始数据光滑也可能产生奇异性，如冲击波、稀疏波和接触间断。特别地，熵波（entropy wave）是接触间断的一种，在线性退化特征场中传播，表现为熵的跳跃而其他变量连续。

本文关注的是平面熵波的稳定性问题。所谓“平面”是指扰动仅沿 $x_1$ 方向变化，但整体定义在三维空间 $\mathbb{R} \times \mathbb{T}^2$ 上。具体而言，所研究的背景解 $(\bar{\rho}, \bar{u}, \bar{\theta})$ 是如下一维欧拉方程的弱解：

$$ \begin{cases} \partial_t \rho + \partial_1 (\rho u_1) = 0, \\ \partial_t (\rho u_1) + \partial_1 (\rho u_1^2 + p) = 0, \\ \partial_t (\rho E) + \partial_1 (\rho E u_1 + p u_1) = 0, \end{cases} \quad x_1 \in \mathbb{R}, t > 0, $$

初始数据为黎曼初值：

$$ (\rho, u_1, \theta)(x_1, 0) = \begin{cases} (\rho_-, 0, \theta_-), & x_1 < 0, \\ (\rho_+, 0, \theta_+), & x_1 > 0, \end{cases} $$

并满足熵波条件：$R\rho_-\theta_- = R\rho_+\theta_+$，即压力相等。

由于真实流体存在粘性和热传导，实际解并非理想的间断波，而是通过粘性扩散将跳跃光滑化的粘性熵波。文章构造了一个自相似粘性熵波剖面 $(\bar{\rho}, \bar{u}_1, \bar{\theta})(x_1/\sqrt{t+1})$，它满足修正的质量守恒与动量/能量平衡，并带有小余项。

研究的核心问题是：当对该粘性熵波施加一个小的初值扰动后，对应的Navier-Stokes方程的整体解是否会在长时间趋于该波？即是否存在渐近稳定性？并且能否得到最优衰减速率？

值得注意的是，该问题在欧拉坐标下极为困难。主要原因有二：

  1. 结构性条件失效：在Liu-Xin [21] 提出的经典框架中，稳定性分析依赖于所谓的“左右结构性条件”——即左特征向量 $l$ 和右特征向量 $r$ 满足 $\nabla l \cdot r = 0$ 和 $\nabla r \cdot r = 0$。然而对于欧拉坐标下的Navier-Stokes系统，计算表明 $\nabla l_2 \cdot r_2 \neq 0$，即左结构性条件不成立。这导致传统的能量估计无法闭合，低阶项衰减太慢。

  2. 扩散波的存在性：若初始扰动的积分非零（即“非零质量”情形），则会激发额外的扩散波（diffusion waves），它们以不同速度传播并与主波耦合，引入难以控制的误差项。

此外，区域 $\mathbb{R} \times \mathbb{T}^2$ 的非紧性使得不能直接使用标准局部化方法，必须借助零模与非零模分解技术处理横向周期变量的影响。

函数空间方面，解被要求属于 $H^3(\Omega)$ 类 Sobolev 空间，且梯度项在时间上平方可积（$L^2(0,\infty; H^k)$）。这些设定保证了解的正则性和衰减性质。

综上所述，本文的研究对象是一个定义在非紧-周期混合区域上的三维可压缩Navier-Stokes系统，目标是证明其对平面粘性熵波的非线性渐近稳定性，克服因左结构性条件缺失和扩散波干扰带来的根本性困难。

主要定理或主要结果

定理 2.1（非零初始质量情形）

设 $\Omega = \mathbb{R} \times \mathbb{T}^2$，$(\rho_\pm, u_\pm, \theta_\pm)$ 为满足熵波条件 $R\rho_-\theta_- = R\rho_+\theta_+$ 的常数状态，$(\bar{\rho}, \bar{u}, \bar{\theta})(x_1, t)$ 为连接这两个状态的平面粘性熵波（由 (2.2)-(2.4) 构造）。则存在正常数 $\varepsilon_0, \delta_0$，使得当波强度 $\delta := |\rho_+ - \rho_-| + |\theta_+ - \theta_-| < \delta_0$，且初值满足：

$$ \|(\Phi_0, \Psi_0, W_0)\|_{H^3(\mathbb{R})}^2 + \|(\phi_0, \varphi_0, \zeta_0)\|_{H^3(\Omega)}^2 + \|(\phi_0, \psi_0, w_0)\|_{L^1(\Omega)}^2 =: \varepsilon^2 \leq \varepsilon_0^2 $$

时，Cauchy问题 (1.1) 存在唯一全局光滑解 $(\rho, u, \theta)$，满足：

  • 正则性：$(\rho - \bar{\rho}, u - \bar{u}, \theta - \bar{\theta}) \in C(0, \infty; H^3(\Omega))$，
  • 耗散性：$\nabla(u - \bar{u}, \theta - \bar{\theta}) \in L^2(0, \infty; H^3(\Omega))$，$\nabla(\rho - \bar{\rho}) \in L^2(0, \infty; H^2(\Omega))$，

并且有以下渐近估计：

$$ \sup_{x \in \Omega} |(\rho, u, \theta)(x,t) - (\bar{\rho}, \bar{u}, \bar{\theta})(x_1, t)| \leq C(\varepsilon_0^{1/2} + \delta^{1/2})(1+t)^{-1/2}. $$

此外，非零模部分具有指数衰减：

$$ \sup_{x \in \Omega} \left| D_{\neq} \left[ (\rho, u, \theta)(x,t) - (\bar{\rho}, \bar{u}, \bar{\theta})(x_1, t) \right] \right| \leq C \varepsilon_0 e^{-ct}, $$

其中 $D_{\neq}$ 表示横向平均为零的部分（见(2.15)），$C,c>0$ 为与 $\varepsilon_0, \delta$ 无关的常数。

注：此定理首次实现了在欧拉坐标、物理粘性、无左结构性条件下，对多维熵波的最优衰减率 $(1+t)^{-1/2}$ 的证明。

定理 2.4（零初始质量情形）

在相同假设下，若进一步假设初始质量为零：

$$ \int_\Omega [(\rho_0, m_0, E_0)(x) - (\bar{\rho}, \bar{m}, \bar{E})(x_1, 0)] dx = 0, $$

则解满足更强的衰减估计：

$$ \sup_{x \in \Omega} |(\rho, u, \theta)(x,t) - (\bar{\rho}, \bar{u}, \bar{\theta})(x_1, t)| \leq C(\varepsilon_0 + \delta^{1/2})(1+t)^{-3/4} \ln^{1/2}(2+t). $$

非零模仍保持指数衰减。

注：尽管形式稍弱，但 $(1+t)^{-3/4}$ 已接近点态估计所能达到的极限，且对数因子是必要的。这一速率被认为是零质量情形下的最优结果。

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

a) 核心分析学工具

  1. 加权能量方法（Weighted Energy Estimates）
    作者设计了一类新的加权范数，利用权重函数 $\omega_{-1}(x_1,t) = (1+t)^{-1} e^{-c_0 x_1^2/(1+t)}$ 和改进的 $\tilde{\omega}_{-1}(x_1,t) = (1+t)^{-1/2} e^{-\tilde{c}_0 x_1^2/(1+t)}$ 来匹配粘性熵波自身的时空结构。这些权重能够有效捕捉剖面导数的高斯型衰减特性，从而控制低阶项的增长。

  2. 零模-非零模分解（Zero/Non-zero Mode Decomposition）
    对任意函数 $f(x_1,x_2,x_3,t)$，定义其零模为横向平均：

    $$ f^\circ(x_1,t) = \int_{\mathbb{T}^2} f(x,t)\, dx_2 dx_3, $$

    非零模为 $f_{\neq} = f - f^\circ$。由于 $\mathbb{T}^2$ 上Poincaré不等式成立，非零模具有指数衰减特性，这是实现整体稳定性的关键。

  3. 反导数法（Anti-derivative Method）
    引入反导数量 $(\Phi, \Psi, W)$，即对守恒量扰动做积分：

    $$ \Phi(x_1,t) = \int_{-\infty}^{x_1} (\rho - \tilde{\rho})(y_1, x_2, x_3, t)\, dy_1 dx_2 dx_3, $$

    可避免直接处理密度扰动的导数，有助于处理强非线性。

  4. 新变换技术（New Transformation）
    关键创新在于对反导数系统进行如下变换：

    $$ \tilde{\Phi} = \tilde{\theta} \Phi, \quad \tilde{\Psi} = \Psi - \tilde{u} \Phi, \quad \tilde{W} = W - \tilde{u} \cdot \tilde{\Psi} - \left( \tilde{\theta} + \frac{|\tilde{u}|^2}{2} \right) \Phi. $$

    此变换使新变量满足类似于Lagrangian坐标下的左右结构性条件，从而恢复经典能量估计的有效性。

  5. 对角化系统与耗散结构分析
    将扰动系统对角化后，识别出真正的耗散机制。例如文中获得的关键耗散项：

    $$ G_k := C \delta^{-1/2} \int_{\mathbb{R}} \partial_1 \bar{\rho} \left( |\partial_1^k b_1|^2 + |\partial_1^k b_3|^2 \right) dx_1, $$

    其中 $b_i$ 为对角化后的波动模式。该项提供了沿主波方向的正则性增益。

  6. 先验估计与连续性延拓
    基于局部存在性定理，建立一致的先验估计（Proposition 3.2），并通过标准连续性论证闭合估计，最终得到全局解。

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

  • 结构性条件缺失的克服：通过上述新变换，人为构造出满足结构性条件的新变量系统，使得即使原始系统不满足 $\nabla l \cdot r = 0$，也能在变换后空间中应用类似Liu-Xin的方法。

  • 扩散波误差的处理：在非零质量情形下，作者构造了携带额外质量的扩散波 $\Theta_1, \Theta_3$，并将它们纳入新的试探解 $(\tilde{\rho}, \tilde{m}, \tilde{E})$ 中。这样，扩散效应被吸收到背景剖面中，剩余扰动的积分变为零，避免了长期累积误差。

  • 慢衰减项的控制：由于缺乏左结构性条件，传统方法只能得到 $(1+t)^{-1/2}$ 衰减，不足以闭合高阶估计。为此，作者结合剖面导数符号不变性（$\partial_1 \bar{\rho}$ 符号固定），发展了基于已知耗散项 $G_k$ 的迭代加权估计，如：

    $$ \int \tilde{\omega}_{-1} |f|^2 dx, $$

    成功提升了估计精度。

  • 零质量情形的关键抵消：在零质量情况下，作者发现第2特征场中某些慢衰减项会发生自然抵消（见(4.4)），无需额外控制。同时引入一个新型Poincaré型不等式（Theorem 4.5），用于处理临界交叉项。

  • 横向周期性的利用：通过对非零模使用Poincaré不等式 $\|f_{\neq}\|_{L^2(\mathbb{T}^2)} \leq C \|\nabla_{x_2,x_3} f_{\neq}\|_{L^2(\mathbb{T}^2)}$，实现了横向导数对函数本身的控制，从而获得指数衰减。

与之前工作的比较

a) 突破与改进

本文做出了多项实质性突破：

  1. 首次实现欧拉坐标下熵波的稳定性
    此前关于粘性接触波的研究几乎全部集中在Lagrangian坐标下（如Huang-Matsumura-Xin [7], Huang-Xin-Yang [9]），因为在该坐标系中结构性条件自然成立。而在欧拉坐标下，由于 $\nabla l \cdot r \neq 0$，已有方法完全失效。本文是首个在欧拉坐标中证明熵波稳定性的工作，填补了重要空白。

  2. 无需左结构性条件即可获得最优衰减率
    Liu-Xin [21] 和 Xin-Zeng [30] 的工作均依赖结构性条件来获得 $(1+t)^{-1/2}$ 衰减。本文在明确违反左结构性条件的前提下，仍通过新变换和加权估计实现了同样的最优速率，说明结构性条件并非不可替代。

  3. 推广至多维情形 $\mathbb{R} \times \mathbb{T}^2$
    多数已有结果限于一维情形。本文将稳定性理论拓展到三维空间中的平面波，面临横向扰动传播、非局部耦合等新挑战。通过零-非零模分解，成功分离出可指数衰减的横向波动。

  4. 处理非零初始质量情形
    经典反导数法通常要求扰动积分（质量）为零。本文通过引入扩散波作为试探解的一部分，巧妙地将非零质量情形转化为零质量扰动问题，从而无需限制初值的总质量。

  5. 最优衰减率的确认
    Huang等人曾猜想最优速率为 $(1+t)^{-1/2}$，但长期未被证实。本文不仅验证了该猜想在欧拉坐标下的有效性，还指出零质量情形下可达 $(1+t)^{-3/4}$，逼近理论极限。

  6. 方法论的普适性潜力
    所提出的“变换+加权+模分解”框架不依赖特定坐标的几何优势，有望推广至MHD、Navier-Stokes-Poisson等更复杂系统，尤其适用于存在线性退化波的模型。

综上，本文不仅解决了长期悬而未决的多维欧拉坐标熵波稳定性问题，而且发展了一套全新的分析范式，显著放宽了对结构性条件的依赖，推动了非线性波稳定性理论的发展。

3. Singularity formation for the supersonic inward wave of compressible Euler equations with radial symmetry

具有径向对称性的可压缩欧拉方程超声速内向波的奇点形成

作者: Geng Chen, Faris A. El-Katri, Yanbo Hu, Yannan Shen

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15180v1

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

详细分析

中文标题: 具有径向对称性的可压缩欧拉方程超声速内向波的奇点形成

研究对象和背景

本文研究的是具有径向对称性的可压缩等熵欧拉方程组，其数学模型描述了在柱坐标或球坐标下流体的运动。这类系统广泛应用于天体物理、爆炸动力学、内爆过程等涉及对称压缩流动的物理场景中。

论文所考虑的具体方程为如下形式的径向对称等熵欧拉方程组：

$$ \begin{cases} (r^m \rho)_t + (r^m \rho u)_r = 0, \\ (r^m \rho u)_t + (r^m \rho u^2)_r + r^m p_r = 0, \end{cases} $$

其中 $ t \geq 0 $ 表示时间变量，$ r > 0 $ 表示空间径向坐标，整数 $ m \geq 1 $ 对应于不同的几何结构：当 $ m=1 $ 时对应柱对称流，$ m=2 $ 时对应球对称流。未知函数包括密度 $ \rho(r,t) $、粒子速度 $ u(r,t) $ 和压力 $ p(r,t) $，且满足 γ-律状态方程：

$$ p = K\rho^\gamma, \quad \gamma > 1, $$

其中 $ K > 0 $ 是常数，$ \gamma $ 为绝热指数。特别地，文中关注的情形是多变理想气体（polytropic ideal gas）且 $ \gamma \geq 3 $。

引入声速变量 $ h = \sqrt{p'(\rho)} = \sqrt{K\gamma} \rho^{(\gamma-1)/2} $ 后，原系统可重写为关于 $ (h,u) $ 的一阶拟线性双曲型方程组：

$$ \begin{aligned} & h_t + u h_r + \frac{\gamma - 1}{2} h u_r = -\frac{m u h}{r}, \\ & u_t + u u_r + h h_r = 0. \end{aligned} $$

该系统的两个特征速度分别为：

$$ c_1 = u - h, \quad c_2 = u + h, $$

对应的特征方向上的微分算子为：

$$ \partial_1 = \frac{\partial}{\partial t} + c_1 \frac{\partial}{\partial r}, \quad \partial_2 = \frac{\partial}{\partial t} + c_2 \frac{\partial}{\partial r}. $$

定义 Riemann 不变量：

$$ w = u + \frac{2}{\gamma - 1} h, \quad z = u - \frac{2}{\gamma - 1} h, $$

则它们沿各自特征线的变化由非齐次项驱动：

$$ \partial_2 w = \frac{m u h}{r}, \quad \partial_1 z = \frac{m u h}{r}. $$

与一维情形不同，由于存在几何源项 $ \frac{muh}{r} $，这些方程不再是齐次的，这导致传统的 Lax 方法难以直接应用来分析奇点形成问题。

本文聚焦于一类特殊的解——超声速内向波（supersonic inward wave），即满足 $ u < -h < 0 $ 的光滑解。这种流动表现为流体高速向中心汇聚，常见于内爆过程（implosion），如惯性约束核聚变中的燃料压缩阶段。物理上，此类流动极易产生激波或密度集中，从而引发奇点。

作者的目标是证明：对于初始时刻包含足够强“压缩”结构的超声速内向波，在 $ \gamma \geq 3 $ 的条件下，即使初始数据光滑，其经典解也会在有限时间内发生梯度破裂（gradient blowup），即某些物理量的一阶导数趋于无穷，标志着经典解的失效和奇点的形成。

值得注意的是，研究区域并非全空间，而是选取了一个紧致区间 $ [r_1, r_2] \subset (0,\infty) $ 上的局部解行为，并通过构造一个由两条特征线围成的区域 $ \Omega_T $ 来进行先验估计。边界条件未明确给出，但隐含在特征追踪方法中；函数空间方面，仅假设解在一定时间内保持光滑（$ C^1 $ 或更高正则性），目标正是打破这一假设以证明奇点必然出现。

此外，文章强调了一个关键难点：对于外向膨胀波（expanding wave, $ u > h > 0 $），已有工作利用 Riemann 变量的单调性建立不变区域并分析奇点；但对于内向波，其中一个 Riemann 变量 $ z $ 沿 $ c_1 $ 特征严格递增，破坏了类似不变性的构建，使得传统方法失效。因此必须发展新的变量与技术框架。

主要定理或主要结果

尽管原文前10页尚未完整呈现 Theorem 1 的正式陈述，但从引言和第3节的推导可以归纳出本文的主要结论如下：

定理（奇点形成） 设 $ \gamma \geq 3 $，考虑径向对称可压缩欧拉方程组（1.1）的光滑解 $ (\rho, u) $。若初始数据为超声速内向波，即存在区间 $ [r_1, r_2] $ 上满足：

  • 密度和速度有界远离零与真空：$ 0 < h_0 < h(r,0) < h < -u $，
  • 速度满足：$ u < u(r,0) < u < 0 $，且 $ u + h < 0 $，
  • 初始加权压缩特征变量 $ \tilde{\beta}_0(r) $ 在某点足够大，

并且初始梯度变量 $ \tilde{\alpha}(r,0), \tilde{\beta}(r,0) $ 满足适当的控制条件（见(3.3)-(3.4)），则存在有限时间 $ T > 0 $，使得该光滑解无法延拓至整个 $ [0,T] $，即在 $ \Omega_T $ 内发生梯度奇点，具体表现为 $ \tilde{\beta}(r,t) \to -\infty $ 或相应导数发散。

更精确地说，文中构造了一个包含 $ (h, u, \tilde{\alpha}, \tilde{\beta}, c_2) $ 的不变区域，并通过反证法证明只要初始 $ \tilde{\beta} $ 足够负（表示强压缩），就会导致 $ \partial_1 \tilde{\beta} $ 出现负二次增长，最终在有限时间内趋向 $ -\infty $，从而破坏解的光滑性。

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

a) 核心分析学工具

本文采用的核心方法是特征线法（method of characteristics）结合不变区域原理（invariant domain argument），这是处理非线性双曲守恒律奇点形成的经典手段。

首先，作者并未直接分析原始物理变量的导数，而是引入了一组精心设计的梯度变量 $ (\alpha, \beta) $，其定义如下：

$$ \alpha = \frac{\partial_1 (r^m \rho u)}{r^m \rho c_2}, \quad \beta = \frac{\partial_2 (r^m \rho u)}{r^m \rho c_1}, $$

经过计算可得它们满足齐次 Riccati 型方程组：

$$ \begin{aligned} \partial_1 \beta &= -\frac{\gamma+1}{4} \beta^2 + \frac{\gamma-3}{4} \alpha \beta + A_1 \alpha - B_1 \beta, \\ \partial_2 \alpha &= -\frac{\gamma+1}{4} \alpha^2 + \frac{\gamma-3}{4} \alpha \beta + A_2 \beta - B_2 \alpha. \end{aligned} $$

一个重要观察是，当 $ \gamma \geq 3 $ 时，交叉项系数 $ \frac{\gamma-3}{4} \geq 0 $，这对后续构造不变集至关重要。进一步简化后得到：

$$ \begin{aligned} \partial_1 \beta &= -\frac{\gamma+1}{4} \beta^2 + \frac{\gamma-3}{4} \alpha \beta + A_1 (\alpha - \beta) + \frac{(\gamma-3)m u^2 h^2}{r c_1 c_2} \beta, \\ \partial_2 \alpha &= -\frac{\gamma+1}{4} \alpha^2 + \frac{\gamma-3}{4} \alpha \beta + A_2 (\beta - \alpha) + \frac{(\gamma-3)m u^2 h^2}{r c_1 c_2} \alpha. \end{aligned} $$

为了克服几何退化（$ r \to 0 $）带来的影响，作者引入加权梯度变量：

$$ \tilde{\alpha} = h^{-2(\gamma-3)/(\gamma-1)} \alpha, \quad \tilde{\beta} = h^{-2(\gamma-3)/(\gamma-1)} \beta. $$

这一变换的关键在于消除了 $ h $ 变化对梯度变量增长的影响，使主导项更加清晰。变换后的方程变为：

$$ \begin{aligned} \partial_1 \tilde{\beta} &= -\frac{\gamma+1}{4} h^{-2(\gamma-3)/(\gamma-1)} \tilde{\beta}^2 + \frac{2m}{r c_1 c_2} (u^2 - h^2) \tilde{\alpha} - \frac{m[(\gamma-3)u^2 + (u+h)^2]}{2r c_1} \tilde{\beta}, \\ \partial_2 \tilde{\alpha} &= -\frac{\gamma+1}{4} h^{-2(\gamma-3)/(\gamma-1)} \tilde{\alpha}^2 + \frac{2m}{r c_1 c_2} (u^2 - h^2) \tilde{\beta} - \frac{m[(\gamma-3)u^2 + (u-h)^2]}{2r c_2} \tilde{\alpha}. \end{aligned} $$

注意到当 $ \gamma \geq 3 $ 时，主部为负定二次项，有利于控制爆炸行为。

接着，作者使用反证法与连续性论证构造不变区域：假设解在整个 $ \Omega_T $ 内保持在某个闭集中，然后通过估计各变量沿特征线的行为，证明一旦进入该集合就不会逸出，从而保证估计一致性。

特别是对 $ u + h = c_2 $ 的符号控制，作者没有使用 $ z $ 的演化方程，而是直接估计 $ \partial_1 c_2 $，发现其可被 $ \tilde{\alpha} $ 控制，而后者又被下界保护为正，从而确保 $ c_2 < 0 $ 始终成立，维持“内向”性质。

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

  1. 克服非齐次项干扰：传统方法中 Riemann 变量因源项而不封闭，本文转而使用基于动量通量的梯度变量 $ (\alpha,\beta) $，其演化方程恰好为齐次 Riccati 结构，源于稳态解既非稀疏也非压缩的本质特性。

  2. 处理内向波的不稳定性：不同于外向波可用 $ w,z $ 构造不变区域，内向波中 $ z $ 单调增加会破坏控制。为此，作者完全放弃依赖 Riemann 变量的不变性，改用物理量 $ u,h $ 和加权梯度变量联合构造五元组不变域。

  3. 权重选择的艺术：加权因子 $ h^{-2(\gamma-3)/(\gamma-1)} $ 的选取极为关键。当 $ \gamma = 3 $ 时权重为 1，方程最简单；当 $ \gamma > 3 $ 时权重随 $ h $ 减小而增大，放大压缩效应，有助于捕捉奇点机制。

  4. 精细的能量类估计：通过对 $ \partial_1 u, \partial_1 h, \partial_1 c_2 $ 的逐项估计，结合积分不等式与指数衰减技巧（如 $ h \geq e^{-1} h_0 $），实现了对所有变量的上下界控制，避免了解崩溃前的其他奇异行为干扰。

  5. 特征追踪与区域截断：通过从 $ r_1,r_2 $ 出发的两条特征线 $ \bar{r}_1(t), \bar{r}_2(t) $ 定义有限区域 $ \Omega_T $，有效隔离外部影响，使得局部奇点分析成为可能。

与之前工作的比较

a) 突破与改进

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

  1. 首次系统研究超声速内向波的奇点形成：此前多数工作集中于外向膨胀波（如 Cai-Chen-Wang [5], Chen-Hu-Shen [9]），利用 $ w,z $ 的正值性和特征速度同号的特点建立不变区域。而本文面对的是更为复杂且物理意义更强的内向压缩流，其特征速度异号、Riemann 变量单调性相反，传统方法彻底失效。作者通过重构变量体系成功突破此瓶颈。

  2. 摆脱对 Riemann 变量不变性的依赖：早期方法严重依赖 $ w,z $ 的有界性或单调性。但在内向流中，$ z $ 沿 $ c_1 $ 特征持续上升，无法限制。本文创造性地转向基于动量梯度的变量 $ (\alpha,\beta) $，其演化独立于 Riemann 结构，更具鲁棒性。

  3. 推广了梯度变量法的应用范围：作者将先前用于外向波的“稀疏/压缩特征”变量 $ (\alpha,\beta) $ 成功迁移到内向波场景，并通过加权修正使其适应 $ \gamma \geq 3 $ 的高维情形，展示了该框架的强大泛化能力。

  4. 放宽了对初始数据的要求：相比 Sideris 的全局存在性理论要求小初值或多维衰减，本文允许较大的压缩初值，只需求在局部区间内满足 $ \tilde{\beta}_0 < -\beta $（大负值），即可触发奇点，揭示了压缩强度本身足以导致崩溃，无需整体大扰动。

  5. 强化了奇点判据的明确性：不同于仅证明“不能全局存在”，本文通过构造显式的不变区域和爆破机制，指出奇点来源于 $ \tilde{\beta} \to -\infty $，即沿 $ c_1 $ 方向的速度梯度剧烈压缩，提供了更清晰的动力图像。

  6. 适用于更广的 $ \gamma \geq 3 $ 范围：许多早期结果限于 $ \gamma = 3 $ 或特定值，本文处理了整个 $ \gamma \geq 3 $ 区间，涵盖单原子气体（$ \gamma=5/3 $）以外的更硬状态方程，拓展了适用范围。

综上所述，本文不仅填补了径向对称欧拉方程中内向波奇点理论的空白，还发展出一套可推广至其他对称流或相对论流体的新方法，代表了近年来在非线性双曲系统奇点形成领域的重要进展。

4. Global Gevrey solution of 3D anisotropic Navier-Stokes system in a strip domain

条形区域中三维各向异性Navier-Stokes系统的整体Gevrey解

作者: Wei-Xi Li, Zhan Xu, Ping Zhang

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15050v1

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

详细分析

中文标题: 条形区域中三维各向异性Navier-Stokes系统的整体Gevrey解

研究对象和背景

本文研究的是定义在条形区域上的三维不可压缩各向异性Navier-Stokes系统，其数学形式如下：

$$ \begin{cases} \partial_t u + (u \cdot \nabla) u - \Delta_h u = -\nabla p, & (t,x) \in \mathbb{R}_+ \times [0,1] \times \mathbb{R}^2, \\ \mathrm{div}\, u = 0, \quad u|_{x_1=0,1} = 0, \quad u|_{t=0} = u_0, \end{cases} \tag{1.1} $$

其中 $ \Delta_h = \partial_{x_1}^2 + \partial_{x_2}^2 $ 是仅作用于前两个变量（即水平方向）的拉普拉斯算子，而垂直方向 $ x_3 $ 上没有耗散项。未知函数 $ u = (u_1,u_2,u_3) $ 表示流体速度场，$ p $ 为标量压力。

该模型来源于对具有各向异性扩散特性的地球物理流体的研究，例如大气或海洋中的流动，其中由于科里奥利力和层结效应的存在，水平方向的粘性远强于垂直方向。因此，在建模时忽略垂直方向的粘性是合理的近似。然而，这种结构破坏了经典Navier-Stokes方程的各向同性对称性和全局耗散机制，给解的正则性分析带来了巨大挑战。

与经典的全空间Navier-Stokes系统相比：

$$ \begin{cases} \partial_t u + (u \cdot \nabla) u - \Delta u = -\nabla p, & (t,x) \in \mathbb{R}_+ \times \mathbb{R}^3, \\ \mathrm{div}\, u = 0, \quad u|_{t=0} = u_0, \end{cases} \tag{1.2} $$

系统(1.1)缺乏 $ x_3 $ 方向的耗散，并且定义在带有边界的条形区域 $ \Omega = [0,1] \times \mathbb{R}^2 $ 上。边界条件为 $ u|_{x_1=0,1} = 0 $，即在 $ x_1 $ 方向满足无滑移边界条件。这导致在进行高阶导数估计时出现非零的边界项，从而引发严重的导数损失问题。

此外，由于缺少垂直方向的耗散，无法通过标准能量方法获得关于 $ x_3 $ 的高阶正则性控制。为此，作者引入了一个关键假设：初始数据 $ u_0 $ 在垂直方向 $ x_3 $ 上属于某个Gevrey类函数空间。Gevrey类是一类比解析函数稍弱但仍具有指数级衰减Fourier系数的函数空间，常用于刻画解的瞬时光滑化效应（instantaneous smoothing effect）。

具体地，论文中定义了部分Gevrey空间 $ G_{\rho,\sigma,N} $：一个向量值函数 $ A(t,x) $ 属于该空间当且仅当它在 $ x_3 $ 变量上是Gevrey类 $ \sigma $ 的，并满足范数有限：

$$ \|A\|_{G_{\rho,\sigma,N}}^2 := \sum_{m=0}^\infty L_{\rho,m} \|\partial_3^m A\|_{H^N}^2 < \infty, $$

其中权重因子

$$ L_{\rho,m} = \frac{\rho^{m+1}}{( (m!)^\sigma )^{6+2\sigma}}, $$

依赖于时间相关的半径 $ \rho(t) $ 和Gevrey指标 $ \sigma \geq 1 $。特别地，当 $ \sigma = 1 $ 时，该空间对应于解析函数；当 $ \sigma > 1 $ 时，则对应更广义的Gevrey类函数。

这一设定使得作者能够在保持物理合理性的同时，克服因缺失垂直耗散带来的技术障碍。值得注意的是，尽管 $ x_1 $ 方向上存在边界，但耗散仍存在于 $ x_1 $ 和 $ x_2 $（统称为“水平变量”），因此在这些方向有望实现更强的正则性提升。

综上所述，本文的研究对象是一个兼具几何边界效应、各向异性耗散结构以及非均匀正则性要求的复杂偏微分方程系统。其核心科学问题是：在仅有水平耗散且存在边界的情况下，能否建立整体解的存在性并证明其在时间和空间变量上的Gevrey类正则性？特别是，是否能在边界附近也获得一致的正则性估计？

这个问题不仅具有理论深度——涉及非线性PDE中正则性传播的本质机制，也具有实际意义——为地球物理流体力学中长期行为预测提供数学基础。尤其值得关注的是，作者试图揭示解在不同方向上的增强正则性（enhanced Gevrey regularity），尤其是在强扩散方向（如 $ x_2 $）上的超常光滑性，这是对传统各向同性正则性理论的重要拓展。

主要定理或主要结果

本文建立了三个核心定理，分别涉及整体适定性、正则化效应和Gevrey半径的精细估计。

定理 1.2（整体适定性）

设 $ \sigma \geq 1 $，初始数据 $ u_0 \in G_{\rho_0,\sigma,6} $ 满足 $ \mathrm{div}\, u_0 = 0 $ 且与边界条件兼容。则存在常数 $ \varepsilon_0 > 0 $，使得若

$$ \|u_0\|_{G_{\rho_0,\sigma,6}} \leq \varepsilon_0, $$

则系统(1.1)存在唯一整体解 $ u \in L^\infty([0,+\infty); G_{\rho,\sigma,3}) $，其中 $ \rho(t) = \frac{\rho_0}{2}(1 + e^{-t/4}) $ 满足 $ \frac{\rho_0}{2} \leq \rho(t) \leq \rho_0 $，且有指数衰减估计：

$$ \forall t \geq 0, \quad \|u(t)\|_{G_{\rho,\sigma,3}} \leq C_0 \varepsilon_0 e^{-t/4}. $$

此定理表明：对于足够小的初值（在Gevrey类意义下），系统存在全局解，并且解保持Gevrey类正则性，同时能量随时间指数衰减。

定理 1.3（正则化效应）

在定理1.2的假设下，令 $ u $ 为系统(1.1)的解。则 $ u $ 在正时间后具有各向异性的Gevrey类正则性，直至边界。进一步，存在常数 $ C_1, C_2 \geq 1 $，使得对任意 $ T \geq 1 $、$ j \in \mathbb{Z}_+ $、多指标 $ \alpha = (\alpha_1,\alpha_2,\alpha_3) \in \mathbb{Z}_+^3 $，有：

$$ \sup_{0 < t \leq T} e^{t/4} t^{j + \alpha_1 + \alpha_2/2} \|\partial_t^j \partial^\alpha u\|_{H^2} \leq \varepsilon_0 C_1^{j + \alpha_2 + \alpha_3 + 1} (T^{1/2} C_2)^{\alpha_1} [(j + \alpha_1 + \alpha_3)!]^\sigma (\alpha_2!)^\delta, \tag{1.7} $$

其中 $ \delta = \delta(\sigma) $ 定义为：

$$ \delta = \begin{cases} 1, & \text{if } \frac{1}{2} < \sigma \leq 1, \\ \sigma + 1, & \text{if } 1 < \sigma \leq \frac{7}{4}, \\ 2\sigma - 1, & \text{if } \sigma > \frac{7}{4}. \end{cases} $$

这个估计揭示了解在时间 $ t $ 和空间变量 $ (x_1,x_2) $ 上的Gevrey类正则性：Gevrey半径在时间方向至少以 $ ct $ 增长，在 $ (x_1,x_2) $ 平面内至少以 $ c\sqrt{t} $ 增长。

定理 1.4（Gevrey半径的精细估计）

在定理1.2的假设基础上，若初始数据还满足

$$ \partial_{x_1}^2 u_0|_{x_1=0,1} = \partial_{x_1}^4 u_0|_{x_1=0,1} = 0, $$

则存在小时间 $ T_0 > 0 $ 和常数 $ C > 0 $，使得在 $ x_2 $ 方向的Gevrey半径 $ R_{x_2}^\delta(t) $ 满足：

$$ \forall\, 0 < t \leq T_0, \quad R_{x_2}^\delta(t) \geq C \sqrt{t |\ln t|}, \tag{1.10} $$

其中 $ R_{x_2}^\delta(t) $ 定义为：

$$ R_{x_2}^\delta(t) := \sup\left\{ c > 0 : \sum_{k \geq 0} \frac{(c k)^k}{(k!)^\delta} \|\partial_{x_2}^k u(t)\|_{L^2} < \infty \right\}. $$

该结果说明，在强扩散方向 $ x_2 $ 上，解的Gevrey正则性显著增强，其半径增长速率超过 $ \sqrt{t} $，达到 $ \sqrt{t |\ln t|} $，体现了增强正则性（enhanced Gevrey regularity）现象。

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

a) 核心分析工具

本文采用的主要技术路线是基于先验估计的能量方法结合Gevrey类范数构造，而非传统的Fourier分析法。由于问题定义在带边区域 $ [0,1] \times \mathbb{R}^2 $，Fourier变换不再适用，因此必须使用实变方法处理边界项。

核心工具之一是加权无穷阶导数能量估计，即通过对所有阶导数 $ \partial_t^j \partial^\alpha u $ 赋予适当的组合权重（由 $ L_{\rho,m} $ 和参数 $ r^{\alpha_1} $ 控制），构建复合范数 $ | \cdot |_{X_\rho} $ 和 $ | \cdot |_{Y_\rho} $，从而统一控制无限多个导数项。这种思想源于Foias-Temam关于Navier-Stokes解析正则性的开创性工作，但在本论文中被推广至非齐次边界和各向异性情形。

另一个关键技术是时间相关解析半径函数 $ \rho(t) $ 的设计：

$$ \rho(t) = \frac{\rho_0}{2}(1 + e^{-t/4}), $$

其随时间单调递增至稳定值 $ \rho_0 $。这一设计允许初始时刻的正则性稍弱，随后通过耗散机制逐步恢复，体现了瞬时正则化效应的动态过程。

此外，作者引入了辅助范数：

$$ |g|_{X_\rho}^2 = \sum_{j + |\alpha| \leq 3} \sum_{m=0}^\infty r^{\alpha_1} L_{\rho,m} \|\partial_3^m \partial_t^j \partial^\alpha g\|_{L^2}^2, $$

$$ |g|_{Y_\rho}^2 = \sum_{j + |\alpha| \leq 3} \sum_{m=0}^\infty r^{\alpha_1} (m+1) L_{\rho,m} \|\partial_3^m \partial_t^j \partial^\alpha g\|_{L^2}^2, $$

其中小参数 $ 0 < r < 1 $ 的引入是为了吸收边界项引起的最高阶导数增长（见引理2.11–2.12）。这种“小参数吸收法”是处理边界导数损失的标准技巧。

b) 技术难点与应对策略

最大技术挑战来自边界项导致的导数损失。例如，在估计 $ \|\partial_3^m \partial^\alpha u\|_{L^2} $ 的时间导数时，会出现形如 $ \partial_{x_1}^{k} u|_{x_1=0,1} $ 的边界积分项，而这些项不能直接由内部能量控制。

作者通过利用方程本身将高阶空间导数转化为时间导数来解决此问题。例如，利用主方程可得：

$$ \partial_{x_1}^3 u|_{x_1=0,1} = \partial_{x_1}^2 (\partial_t u + (u \cdot \nabla)u - \partial_{x_2}^2 u + \nabla p)|_{x_1=0,1}, $$

从而将三阶空间导数表示为低阶项和时间导数的组合。最终，最高阶边界项可归约为 $ \partial_t^3 u $，而后者在边界上为零（由方程推导得出）。这种方法本质上是一种边界正则性传递机制。

对于非线性项 $ (u \cdot \nabla)u $ 的估计，作者利用了Sobolev嵌入下的代数性质（algebra property）：空间 $ H^3 $ 在点乘下封闭，即

$$ \|fg\|_{H^3} \lesssim \|f\|_{H^3} \|g\|_{H^3}. $$

结合Leibniz公式展开非线性项的高阶导数，并配合离散Young不等式：

$$ \left( \sum_{m=0}^\infty \left( \sum_{j=0}^m p_j q_{m-j} \right)^2 \right)^{1/2} \lesssim \left( \sum_{j=0}^\infty q_j^2 \right)^{1/2} \sum_{j=0}^\infty p_j, $$

实现了卷积型非线性项的有效控制。

最后，为了获得增强的 $ x_2 $ 方向正则性，作者利用了强水平耗散带来的额外平滑效应。由于 $ \Delta_h $ 包含 $ \partial_{x_2}^2 $，在该方向上有更强的扩散能力，因此可通过精细的谱分析或迭代估计提取出优于 $ \sqrt{t} $ 的正则性增长速率 $ \sqrt{t |\ln t|} $。

与之前工作的比较

a) 突破与改进

相较于先前工作，尤其是Liu-Zhang [29] 在全空间的结果，本文做出了多项实质性推进：

  1. 从全空间到带边区域的推广：[29] 研究的是 $ \mathbb{R}^3 $ 上的Cauchy问题，可使用Fourier方法；而本文考虑的是条形区域上的初边值问题，必须发展全新的实变方法处理边界影响。

  2. 降低初始数据正则性要求：[29] 要求初始数据在 $ x_3 $ 方向完全解析（即 $ \sigma = 1 $）；而本文只需 $ u_0 $ 属于Gevrey类 $ \sigma \in [1,7/4] $ 或更高，显著放宽了正则性假设。

  3. 获得全局时间范围内的正则性：本文定理1.3给出的Gevrey估计在整个 $ t > 0 $ 成立，且包含时间衰减因子 $ e^{t/4} $，体现了解的长期稳定性；而许多前期工作仅限于局部时间或渐近行为。

  4. 揭示增强正则性现象：定理1.4首次证明在强扩散方向 $ x_2 $ 上，Gevrey半径的增长速率为 $ \sqrt{t |\ln t|} $，严格优于标准 $ \sqrt{t} $，这是对各向异性系统特有机制的深刻揭示。

  5. 边界附近的正则性控制：通过巧妙处理边界项，作者证明了解的Gevrey类正则性“直达边界”，突破了以往多数结果仅适用于内部区域的局限。

综上，本文不仅将已有理论推广至更贴近物理现实的几何与边界设置，还在正则性强度、适用范围和机制理解上实现了全面超越。

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

1. Singular limit for a class of nonlocal conservation laws via compensated compactness

基于补偿紧致性的某类非局部守恒律的奇异极限

作者: Giuseppe Maria Coclite, Nicola De Nitti, Kuang Huang

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15631v1

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

摘要翻译

中文标题: 基于补偿紧致性的某类非局部守恒律的奇异极限

摘要翻译: 我们考虑一类用于模拟交通流的非局部守恒律，其形式为 $ \partial_t u_\varepsilon + \partial_x(V(u_\varepsilon \ast γ_\varepsilon) u_\varepsilon) = 0 $，其中卷积核被重新缩放为 $γ_\varepsilon(\cdot) := \varepsilon^{-1}γ(\cdot/\varepsilon)$。我们证明当参数 $\varepsilon \searrow 0$ 时，若核 $γ_\varepsilon$ 趋于狄拉克δ分布，则弱解 $u_\varepsilon$ 在 $\mathrm{L}^1_{\mathrm{loc}}$ 意义下强收敛于相应局部守恒律的熵相容解。与以往研究不同，我们在不依赖总变差有界性或 Oleĭnik 型估计的前提下，获得了函数族 $\{u_\varepsilon \ast γ_\varepsilon\}_{\varepsilon>0}$ 的紧性。具体而言，我们建立该序列的 $\mathrm{L}^2$ 型熵产生量估计，并结合补偿紧致性理论，在初始数据仅为 $\mathrm{L}^1 \cap \mathrm{L}^\infty$ 函数的假设下实现了收敛性分析。我们的结果包含两部分：首先，针对分段常值核 $γ(\cdot) := {1}_{[-1,0]}(\cdot)$ 与 Greenshields 交通模型中的仿射速度函数，我们建立了非局部到局部的极限；其次，对于严格单调的核与递减的速度函数，我们也证明了相应的极限存在性。这些结果解决了长期悬而未决的关于非凸核情形下非局部向局部收敛的公开问题。

2. A Wave Front Tracking Scheme for Flux Reconstruction in $2\times 2$ Hyperbolic Conservation Laws

一种用于 $2\times 2$ 双曲守恒律中通量重构的波前追踪方法

作者: Chaohua Duan, Yan Jiang, Hongyu Liu, Wenjian Peng

类别: math.AP, math.NA

发布日期: 2025-11-19

arXiv ID: 2511.15261v1

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

摘要翻译

中文标题: 一种用于 $2\times 2$ 双曲守恒律中通量重构的波前追踪方法

摘要翻译: 本文提出了一种新颖的波前追踪框架，用于重构 $2\times 2$ 双曲守恒律中的未知通量函数，拓展了已有研究中较为成熟的标量情形。通过分析固定观测时刻的黎曼解，我们建立了统一的等效激波概念，从而导出显式的重构公式，可处理任意组合的激波与稀疏波。该方法构造了分段二次的 $C^1$ 类通量近似函数，并具有严格的收敛性保证：在 $C^{1,1}$ 正则性条件下，函数值的逼近误差关于离散化参数以二次速率衰减，导数误差以线性速率衰减；当通量函数具有 $C^3$ 正则性时，收敛速率分别提升至三次和二次。该方法应用于等熵欧拉方程以及可压缩流体动力学中数学上等价的 p-系统，展示了从有限动态测量数据中识别完整物态方程的能力，为连续介质力学中一个基本的反问题提供了系统性的求解途径。

3. On the Long Time Existence of a Fractional KdV-BBM Type Equation

关于一类分数阶KdV-BBM型方程的长时间存在性研究

作者: Goksu Oruc

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15233v1

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

摘要翻译

中文标题: 关于一类分数阶KdV-BBM型方程的长时间存在性研究

摘要翻译: 本文考虑了一类包含分数阶KdV方程与分数阶BBM方程色散项的分数阶Korteweg-de Vries-Benjamin-Bona-Mahony（KdV-BBM）型方程。我们的目标是将初始数据满足 $|| u_0||_{H^{N+α/2}}= ε$ 且较小情形下解的存在时间从 $\frac{1}{ε}$ 提升至 $\frac{1}{ε^2}$。证明主要依赖于修正能量方法与傅里叶分析技术的结合。此外，我们还通过数值方法对长时间存在性问题进行了研究。数值结果表明，解的生命跨度超出了双曲时间尺度，提供了支持解长期存在的证据。本研究从理论分析与数值模拟两个角度，对光滑解的存在性进行了详尽探讨。

4. Well-posedness and time-asymptotic of Boltzmann equations for monatomic and polyatomic mixtures

单原子与多原子混合气体Boltzmann方程的适定性与时间渐近行为

作者: Ricardo Alonso, Zongguang Li

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15185v1

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

摘要翻译

中文标题: 单原子与多原子混合气体Boltzmann方程的适定性与时间渐近行为

摘要翻译: 本文在整体修正Maxwell分布（考虑混合气体内部能量）的$L^{2}-L^{\infty}$扰动框架下，研究了一类描述单原子与多原子气体混合系统的Boltzmann方程组，该模型适用于全空间与环面情形。我们分析了线性化Boltzmann算子在四类碰撞机制下关于速度与内部能量的逐点衰减性质。针对新增的内部能量变量$I\in \mathbb{R}_+$以及因混合组分质量不同所导致的对称性缺失问题，本文发展了一种新颖的处理方法。随后，采用经典的$L^2-L^\infty$方法，建立了该系统解的适定性理论。基于对线性化系统进行空间Fourier分析，进一步得到了全空间上最优的多项式时间衰减率。分析结果揭示了解的宏观量——密度、整体速度和温度——在稳态附近的结构呈现出一类受扰动的Euler型模型特征，这为研究流体极限问题提供了潜在的应用基础。此外，本文还证明了环面情形下的指数时间衰减性，并填补了经典多组分Boltzmann方程在全空间情形下相关理论的空白。

5. Finite time blow-up analysis for the generalized Proudman-Johnson model

广义Proudman-Johnson模型的有限时间爆破分析

作者: Jie Guo, Quansen Jiu

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15166v1

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

摘要翻译

中文标题: 广义Proudman-Johnson模型的有限时间爆破分析

摘要翻译: 本文研究了定义在环面上的广义Proudman-Johnson方程。在临界情形下，当参数 $a$ 接近且略大于1时，我们证明了无粘情形光滑解的有限时间爆破。此外，我们指出对于一类光滑初始数据，该爆破具有渐近自相似性。相反地，当参数 $a$ 略小于1时，我们证明了相同初始数据对应的解具有全局存在性。进一步，我们还表明，对于具有Hölder连续初值的无粘Proudman-Johnson方程，同样会出现自相似爆破现象。最后，对于粘性情形且 $a>1$ 的情况，我们证明了即使初始数据光滑，仍可能导致有限时间爆破。

6. Sharp $L^4$ Strichartz estimate for Hyperbolic Schrödinger equation on $\mathbb{R}\times \mathbb{T}$

$\mathbb{R}\times \mathbb{T}$ 上双曲薛定谔方程的精确 $L^4$ Strichartz 估计

作者: Yangkendi Deng, Chenjie Fan, Zehua Zhao

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15157v1

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

摘要翻译

中文标题: $\mathbb{R}\times \mathbb{T}$ 上双曲薛定谔方程的精确 $L^4$ Strichartz 估计

摘要翻译: 我们证明了在 $\mathbb{R}\times\mathbb{T}$ 上双曲薛定谔方程的不带导数损失的精确 $L^4$ Strichartz 估计，即
\begin{equation}
|e^{it (\partial_{x_{1}}^2-\partial_{x_{2}}^2)} φ|{L^4{t,x_{1},x_{2}}([0,1]\times \mathbb{R} \times \mathbb{T})}\lesssim |φ|{L{x_{1},x_{2}}^2(\mathbb{R} \times \mathbb{T})},
\end{equation}
该结果是 Takaoka-Tzvetkov \cite{takaoka20012d} 经典结论在双曲情形下的类比。证明基于一种稳健的核分解方法，并结合对半代数集的精确测度估计。作为直接应用，我们建立了在 $L^2$-临界空间中具有充分小初值的 $\mathbb{R}\times\mathbb{T}$ 上三次双曲薛定谔方程的整体适定性。

不相关论文（基本信息）

1. Spatial scale separation and emergent patterns in coupled diffusive-nondiffusive systems

耦合的扩散-非扩散系统中的空间尺度分离与涌现模式

作者: Théo André, Szymon Cygan, Anna Marciniak-Czochra, Finn Münnich

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15648v1

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

摘要: This paper investigates pattern formation in reaction-diffusion systems with both diffusive and nondiffusive components, establishing the existence of far-from-equilibrium patterns and providing necessary and sufficient conditions for diffusion-driven instability (DDI). In particular, we prove the existence of far-from-equilibrium patterns exhibiting branch-switching and discontinuities in the nondiffusive components, which cannot occur in classical reaction-diffusion equations. While previous work has linked DDI to instability in the purely nondiffusive subsystem – thereby destabilizing all regular Turing patterns – we show that DDI can also arise from subsystems involving nondiffusive and slow-diffusive components. This leads to simple sufficient conditions for DDI in systems with arbitrary numbers of components. Further, we fully classify all possible sources of DDI in the case of two diffusive and one nondiffusive component, illustrating our results with a receptor-based model supported by numerical bifurcation analysis and simulations. These findings extend the theoretical foundations of pattern formation, demonstrating how coupling between diffusive and nondiffusive dynamics can generate patterns beyond the reach of the classical reaction-diffusion framework.

2. A Green’s function approach to linearized Monge-Ampère equations in divergence form and application to singular Abreu type equations

一类散度形式线性化Monge-Ampère方程的格林函数方法及其在奇异Abreu型方程中的应用

作者: Chong Gu, Nam Q. Le

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15621v1

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

摘要: In this paper, we establish local and global regularity estimates for linearized Monge-Ampère equations in divergence form via critical Lorentz space estimates for the Green’s function of the linearized Monge-Ampère operator and its gradient. These estimates hold under suitable conditions on the data and the convex Monge-Ampère potential is assumed to have Hessian determinant bounded between two positive constants. As an application, we obtain the solvability in all dimensions of the second boundary value problem for a class of singular fourth-order Abreu type equations that arise from the approximation analysis of variational problems subject to convexity constraints.

3. Kinetic and mean-field modeling of muscular dystrophies

肌肉营养不良症的动力学与平均场建模研究

作者: Tommaso Lorenzi, Horacio Tettamanti, Mattia Zanella

类别: math.AP, cond-mat.stat-mech, q-bio.PE, q-bio.SC

发布日期: 2025-11-19

arXiv ID: 2511.15599v1

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

摘要: We present a new class of models for assessing the cell dynamics characterising muscular dystrophies. The proposed approach comprises a system of integro-differential equations for the statistical distributions, over a large patient cohort, of the densities of muscle fibers and immune cells implicated in muscle inflammation, degeneration, and regeneration, which underpin disease development. Considering an appropriately scaled version of this model, we formally derive, as the corresponding mean-field limit, a system of Fokker-Planck equations, from which we subsequently derive, as a macroscopic model counterpart, a system of differential equations for the mean densities of muscle and immune cells in the cohort of patients and the related variances. Then, we study long-time asymptotics for the mean-field model by determining the quasi-equilibrium cell distribution functions, which are in the form of probability density functions of inverse Gamma distributions, and proving the long-time convergence to such quasi-equilibrium distributions. The analytical results obtained are illustrated by means of a sample of results of numerical simulations. The modeling approach presented here has the potential to offer new insights into the balance between degeneration and regeneration mechanisms in the progression of muscular dystrophies, and provides a basis for future extensions, including the modeling of therapeutic interventions.

4. On the optimal local well-posedness of the wave kinetic equation in $L^r$

关于波动能方程在 $L^r$ 空间中的局部适定性的最优性研究

作者: Ioakeim Ampatzoglou, Tristan Léger

类别: math.AP, math-ph

发布日期: 2025-11-19

arXiv ID: 2511.15587v1

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

摘要: In this paper, we give a unified treatment of the local well-posedness for the wave kinetic equation in almost critical weighted $L^r$ spaces with $2 \leq r \leq \infty.$ The proof builds on ideas from our earlier works \cite{AmLe24, AmLemain25}. Our approach is based solely on kinetic tools, with no appeal to Fourier theory.

5. A Critical Drift-Diffusion Equation: Intermittent Behavior via Geometric Brownian Motion on $ \textbf{SL}(n)$

一个临界漂移-扩散方程：通过 $ \textbf{SL}(n) $ 上的几何布朗运动导致的间歇行为

作者: Peter S. Morfe, Felix Otto, Christian Wagner

类别: math.PR, math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15473v1

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

摘要: This paper concerns the so-called diffusion in the curl of the 2d Gaussian free field, and its generalization to higher dimensions $n \geq 2$, building on the scale-by-scale homogenization approach developed recently by Chatzigeorgiou, Morfe, Otto, and Wang [13]. It begins by reformulating the approximation scheme of that work in terms of SDEs in the length scale $L$. This exposes an unexpected connection with a certain geometric Brownian motion on the special linear group $\textbf{SL}(n)$. The analysis of this process sheds light on the original problem, particularly as it pertains to intermittent behavior exhibited by the (averaged) Lagrangian coordinate.

6. Generalized differentiation in Wasserstein space and application to multiagent control problem

Wasserstein空间中的广义微分及其在多智能体控制问题中的应用

作者: Rossana Capuani, Antonio Marigonda, Marc Quincampoix

类别: math.OC, math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15455v1

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

摘要: Several concepts of generalized differentiation in Wasserstein space have been proposed in order to deal with the intrinsic nonsmoothness arising in the context of optimization problems in Wasserstein spaces. In this paper we introduce a concept of admissible variation encompassing some of the most popular definitions as special cases, and using it to derive a comparison principle for viscosity solutions of an Hamilton Jacobi Bellman equation following from an optimal control of a multiagent systems.

7. Optimizing Resource Distribution in a One-Dimensional Logistic Diffusion Model

一维物流扩散模型中资源分配的优化

作者: Junyoung Heo, Yubin Lee

类别: math.AP, math.OC

发布日期: 2025-11-19

arXiv ID: 2511.15428v1

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

摘要: In this article, we study the optimization of resource distributions in a one-dimensional logistic diffusive model. The goal is to determine a distribution on a bounded one-dimensional domain that maximizes the total population at equilibrium. Previous works have shown that optimal resources are bang-bang, and in one dimension, a sufficiently large dispersal rate forces the optimal resource to be concentrated. For general dispersal rates, however, the analysis becomes more difficult because the equilibrium population may behave irregularly, and the optimal resource may be fragmented. To address this, we introduce a block decomposition that reduces fragmented resources to a collection of concentrated blocks. We then define an advantage function, which measures the gain in the equilibrium population obtained by allocating resources on a fixed interval and is used to analyze the contribution of each block to the total population. This function also allows us to reformulate the optimization problem as a convexity analysis of the advantage function. We prove the superlinearity of this function when the total resource is small enough, and this property leads to an explicit characterization of the optimal control with sufficiently small total resource.

8. Optimal Neumann boundary and distributed control of the Westervelt equation with time-fractional attenuation

具有时分数阶衰减的Westervelt方程的最优Neumann边界控制与分布控制

作者: Vanja Nikolić, Belkacem Said-Houari

类别: math.OC, math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15382v1

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

摘要: Optimal control of nonlinear acoustic waves is relevant in many medical ultrasound technologies, ranging from cancer therapy to targeted drug delivery, where it can help guide the precise deposition of acoustic energy. In this work, we study Neumann boundary and distributed control problems for tracking a prescribed pressure field governed by the Westervelt equation with time-fractional dissipation. This model captures nonlinear ultrasonic wave propagation in biological media and accounts for the experimentally observed power-law attenuation. We begin by extending the existing well-posedness theory for time-fractional equations to include inhomogeneous Neumann boundary data used as control inputs, which requires constructing an appropriate data extension and regularization. Using these analytical results for the forward problem, we prove the existence of globally optimal controls and analyze the stability of the optimization problem with respect to perturbations in the target pressure field and to vanishing regularization parameters. Finally, we investigate the associated adjoint equation, which has state-dependent coefficients, and use it to derive first-order necessary optimality conditions.

9. An Information-Theoretic Route to Isoperimetric Inequalities via Heat Flow and Entropy Dissipation

通过热流与熵耗散研究等周不等式的熵信息论路径

作者: Amandip Sangha

类别: math.DG, cs.IT, math.AP, math.MG, math.PR

发布日期: 2025-11-19

arXiv ID: 2511.15356v1

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

摘要: We develop an information-theoretic approach to isoperimetric inequalities based on entropy dissipation under heat flow. By viewing diffusion as a noisy information channel, we measure how mutual information about set membership decays over time. This decay rate is shown to be determined by the boundary measure of the set, leading to a new proof of the Euclidean isoperimetric inequality with its sharp constant. The method extends to Riemannian manifolds satisfying curvature-dimension conditions, yielding Levy-Gromov and Gaussian isoperimetric results within a single analytic principle. Quantitative and stability bounds follow from refined entropy inequalities linking information loss to geometric rigidity. The approach connects geometric analysis and information theory, revealing how entropy dissipation encodes the geometry of diffusion and boundary.

10. Decay order bound for mean curvature flow near compact singularities

关于平均曲率流在紧致奇点附近的衰减速率估计

作者: Sourav Ghosh

类别: math.DG, math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15297v1

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

摘要: We consider the rescaled flow associated with a mean curvature flow that develops a compact singularity of multiplicity one. We prove that the ``decay order’’ of such a rescaled flow is uniformly bounded. As a consequence, we prove a unique continuation result.

11. The Rabinowitz continuum of subcritical Gelfand problems and free boundary-type equations arising in plasma physics

亚临界Gelfand问题的Rabinowitz连续统与等离子体物理中出现的自由边界型方程

作者: Daniele Bartolucci, Aleks Jevnikar, Juncheng Wei, Ruijun Wu

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15289v1

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

摘要: The qualitative behavior of the Rabinowitz unbounded continuum of subcritical Gelfand problems is well known on balls in any dimension. We don’t know of any such sharp and detailed description otherwise, which is our motivation to look for a new approach to the problem. The underlying idea is to describe solutions of Gelfand problems via suitably defined constrained problems of free boundary-type arising in plasma physics and to replace the usual $L^\infty$ norm of the solution with the energy of the plasma. Toward this goal, we first solve a long standing open problem of independent interest about the uniqueness of solutions of Grad-Shafranov type equations. Thus, we exploit these unique solutions to detect a curve containing both minimal and non minimal solutions of the associated Gelfand problem. In other words we come up with a new global parametrization of the Rabinowitz continuum, the monotonicity of the energy along the branch providing a meaningful generalization of the classical pointwise monotonicity property of minimal solutions, suitable to describe non minimal solutions as well. On a ball in any dimension, we come up as expected with a bell-shaped profile of the full branch of solutions of the Gelfand problem.

12. Numerical analysis of the high-frequency Helmholtz equation using semiclassical analysis

基于半经典分析的高频Helmholtz方程数值分析

作者: Jeffrey Galkowski, Euan A. Spence

类别: math.NA, math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15287v1

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

摘要: We consider the numerical solution of high-frequency scattering problems modeled by the Helmholtz equation with a bounded obstacle. Although the analysis of this problem dates back at least 50 years, over the past decade or so, tools and techniques from $\textit{semiclassical analysis}$ have provided a new perspective and been used to settle several long-standing open problems in this area. Semiclassical analysis works in phase space (i.e., position and frequency) and describes rigorously the extent to which solutions of high-frequency PDEs are dictated by the properties of the corresponding geometric-optic rays. The goals of the article are to (i) give a introduction to semiclassical analysis aimed at non-experts and (ii) showcase some of the numerical-analysis results about finite-element methods, boundary-element methods, and domain-decomposition methods obtained using semiclassical techniques.

13. Normalized Solutions for the $(2,q)$-Laplacian Operator Between Mass-Critical Exponents

质量临界指数之间的$(2,q)$-Laplace算子的归一化解

作者: Laura Baldelli, Norihisa Ikoma

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15285v1

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

摘要: This paper concerns the existence of normalized solutions to a class of $(2,q)$-Laplacian equations with a power type nonlinearity in the intermediate regime between the two mass critical exponents $2(1+2/N)$, $q(1+2/N)$. More precisely, we prove the existence of solutions with negative energy obtained through a global minimization procedure, and of solutions with positive energy established via a local minimization technique and a mountain-pass argument. Furthermore, we derive both existence and nonexistence results for the zero-mass case $λ= 0$, highlighting the role of the mixed diffusion in determining the qualitative behavior of solutions. Specifically, this paper’s novelty lies in providing a comprehensive understanding of the intermediate cases that arise when the non-homogeneous $(2,q)$-Laplacian operator appears. Our analysis combines variational methods, compactness arguments, and delicate energy estimates adapted to the nonhomogeneous nature of the $(2,q)$-Laplacian operator.

14. Fluctuating Hydrodynamics of the Ising-Kac-Kawasaki Model and Nonlinear Fluctuations Near Criticality

伊辛-卡茨-川上模型的涨落水动力学及临界点附近的非线性涨落

作者: Zhengyan Wu

类别: math.PR, math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15263v1

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

摘要: We study the scaling limit behavior of a family of conservative SPDEs as the fluctuating Ising-Kac-Kawasaki dynamics. Precisely, we show that there exists a sequence of the one-dimensional rescaled fluctuating Ising-Kac-Kawasaki equation converges to the solution of the stochastic Cahn-Hilliard equation. This solves a simple version of the conjecture concerning the nonlinear fluctuation phenomenon, proposed by [Giacomin, Lebowitz, Presutti; Math. Surveys Monogr., 1999]. Furthermore, we prove a multi-scale dynamical large deviations in a small noise regime. Finally, we show the $Γ$-convergence of the rate function for the rescaled fluctuating Ising-Kac-Kawasaki equation to the rate function of the Cahn-Hilliard equation.

15. Global Existence for Coupled 3-D Nonlinear Wave and Klein-Gordon Equations with Large Derivatives of Initial Data

具有大初值导数的三维耦合非线性波动方程与Klein-Gordon方程的整体存在性

作者: Guocong Shang

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15234v1

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

摘要: We consider the Cauchy problem of coupled 3-D wave and Klein-Gordon equations with a quadratic form of nonlinearity. We show global existence under several conditions, including large derivative data for wave equations and the null conditions.

16. Solving Newell-Whitehead-Segel and Allen-Cahn Equations Employing Physics-Informed Neural Networks: A Comparative Analysis with Spline Methods

采用物理信息神经网络求解Newell-Whitehead-Segel方程与Allen-Cahn方程：与样条方法的比较分析

作者: Ali Haider Shah, Naveed R. Butt, Asif Ahmad, Muhammad Omer Bin Saeed

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15231v1

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

摘要: This study focuses on the solution of partial differential equations (PDEs) by using physics-informed neural networks (PINNs). The Newell-Whitehead-Segel (NWS) equation and the Allen-Cahn equation belong to fundamental PDEs used mostly in various scientific disciplines. Different methods, including analytical and numerical approaches, have been proposed for solving these equations alongside the recently introduced PINN method. This study provides a detailed and comprehensive comparison between the developed PINN method and the state-of-the-art spline numerical solution for the NWS and Allen-Cahn equation. Furthermore, the computational time of the trained PINN models is evaluated to determine their computational efficiency. The findings show that PINN is significantly better than spline methods in solving both problems.

17. On approximation theorems for solutions to strongly parabolic systems in anisotropic Sobolev spaces

关于各向异性Sobolev空间中强抛物型系统解的逼近定理的研究

作者: Alexander Shlapunov, Pavel Vilkov

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15216v1

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

摘要: We investigate the problem on Runge pairs for Sobolev solutions of strongly uniformly parabolic systems in non-cylindrical domains of a special kind. We prove that if the coefficients of a parabolic operator are constant, then two domains with sufficiently smooth boundaries, no parts of which are parallel to the plane $t=0$, form a Runge pair if and only if the complements of any section of the larger domain to the section of the smaller domain by planes $t = const$, have no compact components in the larger section.

18. Pseudo-magnetic Fields and Effective Dynamics in Strained Honeycomb Structures

应变蜂窝结构中的赝磁场与有效动力学

作者: Chengyu Zhang, Borui Miao, Yi Zhu

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15152v1

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

摘要: Strain offers a straightforward and effective method for generating pseudo-magnetic fields in optical and acoustic materials, thereby enabling precise manipulation of wave propagation. In this article, we investigate and justify wave packet dynamics localized near Dirac points in strained honeycomb-structured media. We develop a novel approach based on spectral analysis to control the error from second-order differential residue terms caused by the strain. The analysis yields a two-dimensional Dirac equation with nontrivial gauge fields governing the envelope dynamics, which is proved to well approximate the true solution in a long but finite time. These results contribute to the mathematical understanding of pseudo-magnetic effects in strained honeycomb structures and pave the way to systems with general higher-order perturbation terms.

19. Normalized solutions to subcritical Choquard systems with double couplings

具有双重耦合的次临界Choquard系统的归一化解

作者: Wenliang Pei, Chonghao Deng

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15103v1

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

摘要: We consider the Choquard system with both linear and nonlinear couplings $-Δu + μ_1 u =λ_1 ( I_α* |u|^{r_1} ) |u|^{r_1-2} u + βp( I_α* |v|^q)|u|^{p-2} u + κv,$ $-Δv + μ_2 v =λ_2 ( I_α* |v|^{r_2} ) |v|^{r_2-2} v + βq( I_α* |u|^p)|v|^{q-2} v + κu , $ $\int_{\mathbb{R}^N} u^2 = ρ_1^2\, , \int_{\mathbb{R}^N} v^2 = ρ_2^2,$ where $N \in \{3,4\}$, $λ_1, λ_2, β, κ, ρ_1,ρ_2 > 0$, $2_{α,*} :=\frac{N+α}{N} <p,q , r_1, r_2 <2_α^*:=\frac{N+α}{N-2}$ and $p+q\leq 2r_1 \leq 2r_2$ . We investigate a classification result as the parameters $p+q$, $2r_1$ and $2r_2$ vary across the ranges $(\frac{2N+2α}{N},\frac{2N+2α+4}{N})$, $\{\frac{2N+2α+4}{N}\}$, and $(\frac{2N+2α+4}{N},\frac{2N+2α}{N-2})$. Employing variational methods, we demonstrate the existence of a normalized ground state for the system in the mass subcritical, critical, and supercritical cases.

20. The existence and instability of blowing-up steady states for the Shigesada-Kawasaki-Teramoto competition model with cross-diffusion

具有交叉扩散的Shigesada-Kawasaki-Teramoto竞争模型中爆破稳态解的存在性与不稳定性研究

作者: Kousuke Kuto, Yaping Wu

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15039v1

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

摘要: We investigate the existence and instability of a class of blowing-up positive steady states arising in a shadow system of the Shigesada-Kawasaki-Teramoto (SKT) two-species competition model, as well as in the corresponding perturbed SKT model with a sufficiently large cross-diffusion coefficient and bounded random diffusion parameters. In their classical work (Lou-Ni, 1999), it was shown that, under the limit where one cross-diffusion parameter tends to infinity, coexistence steady states of the SKT model are characterized by three types of shadow systems. In a previous study (Kuto, 2015), the first author analyzed one of these shadow systems in one space dimension (the second shadow system) and proved that a component of a bifurcating branch blows up as the bifurcation parameter approaches the first positive Neumann eigenvalue of $-Δ$. In the present paper, using a new approach based on suitable transformations and the Lyapunov-Schmidt reduction method, we derive the existence and detailed asymptotic structure of several branches of positive steady states near blow-up points for shadow systems with one or two cross-diffusion terms, in both one- and multi-dimensional domains. We further show that all such large-amplitude steady state branches are spectrally unstable. Moreover, by means of perturbation arguments, we establish the existence and instability of corresponding branches of perturbed positive steady states for the original SKT model when one cross-diffusion coefficient is sufficiently large.

21. An inverse problem in optimal transport on closed Riemannian manifolds

闭黎曼流形上最优传输中的一个反问题

作者: Jian Zhai, Kelvin Shuangjian Zhang

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15037v1

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

摘要: We consider the problem of recovering the Riemannian metric on a compact closed manifold from the optimal transport maps when the underlying cost function is the squared Riemann distance. We show that the metric can be uniquely determined up to a multiplicative constant.

22. A Liouville theorem for convex functions with periodic Monge-Ampère measure

关于具有周期性Monge-Ampère测度的凸函数的Liouville定理

作者: Tianling Jin, YanYan Li, Hung V. Tran, Xushan Tu

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15021v1

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

摘要: Let $μ\not\equiv 0$ be a nonnegative locally finite periodic Borel measure on $\mathbb{R}^n$. We show that any convex solution to the Monge-Ampère equation

$$ \det D^2 u = μ\quad \text{in } \mathbb{R}^n $$

admits a unique decomposition (up to addition of constants) as the sum of a quadratic polynomial and a periodic function. This result extends, in full generality, the earlier works for the case $μ=f(x)\,\mathrm{d} x$: when $\log f \in C^α$, it was established by Caffarelli and Li; and when $\log f$ is merely bounded, it was proved by Li and Lu. Our result thus answers a question raised by Li and Lu. A key ingredient in the proof is a new dichotomous Harnack-type inequality for linearized Monge-Ampère equations with nonnegative periodic measures.

23. A strong quantitative form of the fractional isoperimetric inequality

分数阶等周不等式的一个强定量形式

作者: Eleonora Cinti, Enzo Maria Merlino, Berardo Ruffini

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

发布日期: 2025-11-18

arXiv ID: 2511.14885v1

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

摘要: We show a strong version of the fractional quantitative isoperimetric inequality, in which the isoperimetric deficit controls not only the Fraenkel asymmetry but also a sort of oscillation of the boundary. This generalizes the local result by Fusco and Julin in \cite{FJ}. The proof follows a regularization process as in \cite{FJ} but it is quite different in its spirit. Then, as a consequence of the quantitative inequality, we prove some stability estimates for a fractional Cheeger inequality.

24. Evolutionary equations with state-dependent delay

具有状态依赖时滞的演化方程

作者: Bernhard Aigner, Marcus Waurick

类别: math.AP

发布日期: 2025-11-18

arXiv ID: 2511.14883v1

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

摘要: We extend a contraction mapping argument for ordinary state-dependent delay differential equations to evolutionary partial differential equations in the sense of R. Picard, that is, to equations of the form $\bigl(\partial_{t} M(\partial_{t}) + A\bigr) u(t) = F\bigl(t,u_{(t)}\bigr)$, where $A$ is an $\mathrm{m}$-accretive (unbounded) linear operator and $M$ is a material law. We establish local well-posedness (in the sense of weak solutions) of generalized initial value problems that stem from a distributional formulation. We require prehistories in $H^{1}$ with bounded derivative, a regularity increasing right-hand side and a consistency condition. We showcase the viability of our results by applying them to classical examples (heat, wave and Maxwell’s equations), examples from semigroup theory, port-Hamiltonian systems, as well as equations featuring fractional derivatives and convolutions (in time) with bounded operators.

25. Yang-Mills instanton on a four dimensional wormhole: asymptotic stability in the energy space

四维虫洞上的杨-米尔斯瞬子：能量空间中的渐近稳定性

作者: Michał Kowalczyk, Javier Monreal

类别: math.AP

发布日期: 2025-11-18

arXiv ID: 2511.14880v1

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

摘要: In this paper we consider an $SU(2)$ Yang-Mills field propagating in the $4+1$ dimensional wormhole spacetime. Assuming the spherically symmetric magnetic ansatz the problem reduces to a one dimensional non linear wave equation. This equation posses a degree one solution (instanton) which is odd in space. We consider small, odd perturbations of the instanton and show that it is conditionally asymptotically stable in the odd energy space.

26. Implicit Bias of the JKO Scheme

JKO格式的隐式偏差研究

作者: Peter Halmos, Boris Hanin

类别: stat.ML, cs.AI, cs.LG, math.AP

发布日期: 2025-11-18

arXiv ID: 2511.14827v1

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

摘要: Wasserstein gradient flow provides a general framework for minimizing an energy functional $J$ over the space of probability measures on a Riemannian manifold $(M,g)$. Its canonical time-discretization, the Jordan-Kinderlehrer-Otto (JKO) scheme, produces for any step size $η>0$ a sequence of probability distributions $ρ_k^η$ that approximate to first order in $η$ Wasserstein gradient flow on $J$. But the JKO scheme also has many other remarkable properties not shared by other first order integrators, e.g. it preserves energy dissipation and exhibits unconditional stability for $λ$-geodesically convex functionals $J$. To better understand the JKO scheme we characterize its implicit bias at second order in $η$. We show that $ρ_k^η$ are approximated to order $η^2$ by Wasserstein gradient flow on a \emph{modified} energy

$$ J^η(ρ) = J(ρ) - \fracη{4}\int_M \Big\lVert \nabla_g \frac{δJ}{δρ} (ρ) \Big\rVert_{2}^{2} \,ρ(dx), $$

obtained by subtracting from $J$ the squared metric curvature of $J$ times $η/4$. The JKO scheme therefore adds at second order in $η$ a \textit{deceleration} in directions where the metric curvature of $J$ is rapidly changing. This corresponds to canonical implicit biases for common functionals: for entropy the implicit bias is the Fisher information, for KL-divergence it is the Fisher-Hyv{ä}rinen divergence, and for Riemannian gradient descent it is the kinetic energy in the metric $g$. To understand the differences between minimizing $J$ and $J^η$ we study \emph{JKO-Flow}, Wasserstein gradient flow on $J^η$, in several simple numerical examples. These include exactly solvable Langevin dynamics on the Bures-Wasserstein space and Langevin sampling from a quartic potential in 1D.