生成时间: 2025年10月14日 08:41:26

重点关注论文数量: 7

了解领域论文数量: 26

不相关论文数量: 14

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

1. Hydrodynamics of degenerate Fermi gases on spherical Fermi surfaces

球形费米面上简并费米气体的流体动力学

作者: Benjamin Anwasia, Diogo Arsénio

类别: math.AP, cond-mat.mes-hall, cond-mat.quant-gas, math-ph, math.MP

发布日期: 2025-10-13

arXiv ID: 2510.10897v1

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

详细分析

中文标题: 球形费米面上简并费米气体的流体动力学

1. 研究对象和背景

本文研究的是在低温极限下，由玻尔兹曼-费米-狄拉克方程（Boltzmann–Fermi–Dirac equation）描述的自由电子费米气体的宏观流体动力学行为。该系统的核心是描述量子费米子（如金属中的电子）在碰撞与自由运动之间平衡的动力学方程，其数学形式为：

其中 $ f(t,x,v) \geq 0 $ 是时间 $ t \in \mathbb{R}^+ $、空间位置 $ x \in \mathbb{R}^d $ 和速度 $ v \in \mathbb{R}^d $ 处的粒子数密度函数，$ d \geq 2 $ 为空间维数，$ \varepsilon > 0 $ 为小参数，$ \kappa > 0 $ 为缩放指数，用于控制碰撞频率的强度。右侧的碰撞算子 $ Q_{\text{FD}}(f) $ 是非线性积分算子，其具体形式为：

其中 $ f = f(t,x,v) $，$ f_* = f(t,x,v_*) $，$ f' = f(t,x,v') $，$ f_*' = f(t,x,v_*') $，而 $ v', v_*' $ 是碰撞后速度，由弹性碰撞动力学决定：

其中 $ \sigma \in S^{d-1} $ 为碰撞参数，$ b(v - v_*, \sigma) \geq 0 $ 为碰撞核，仅依赖于相对速度的模长和散射角。参数 $ \delta > 0 $ 很小，与普朗克常数的立方成正比，其作用是引入泡利不相容原理的“阻塞因子” $ (1 - \delta f) $，确保碰撞仅发生在未被占据的量子态上，这是费米子与玻色子动力学的根本区别。

本文聚焦于低温极限，即 $ \varepsilon \to 0 $，此时系统接近费米基态。基态由费米-狄拉克分布的极限形式给出：

其中 $ R = v_F $ 是费米速度，对应于费米能 $ E_F = \frac{1}{2} m v_F^2 $。该分布表明：在绝对零度附近，所有能量低于 $ E_F $ 的态被完全占据，而高于 $ E_F $ 的态为空，费米面为速度空间中的球面 $ |v| = R $。

在低温下，系统的动力学主要由费米面上的激发态涨落主导，即电子仅在 $ |v| \approx R $ 附近被激发。因此，研究者引入第一阶涨落：

其中归一化的低温费米-狄拉克近似分布为：

$ \tau > 0 $ 为固定温度尺度。当 $ \varepsilon \to 0 $ 时，$ M_\varepsilon \to F $，即系统趋近于基态。

本文研究的区域是整个欧氏空间 $ \mathbb{R}^d $，无边界条件，但要求初始数据满足一定的熵有界性。函数空间方面，初始数据 $ f_{\text{in}}^\varepsilon $ 属于 $ L^\infty(\mathbb{R}^d \times \mathbb{R}^d) $，满足点界 $ 0 \leq f_{\text{in}}^\varepsilon \leq \delta^{-1} $，且相对熵有界：

其中 $ \gamma > 0 $，$ C_{\text{in}} > 0 $ 为常数。此条件取代了传统动能有界性（如 $ (1 + |x|^2 + |v|^2) f_{\text{in}}^\varepsilon \in L^1 $），因为系统在低温下不再全局可积，而是集中于费米面附近。

该研究的核心物理现象是：在金属中，当电子系统处于低温简并态时，电荷密度的微小扰动并非均匀分布于整个速度空间，而是高度局域在费米球面上，并以流体波动的形式传播，形成等离子体振荡（plasma oscillations）。这一现象在经典物理中常被简化为均匀各向同性激发，而本文通过严格的数学分析证明：激发态的能量和电子分布可以是各向异性的，这与传统直观相悖。

2. 主要定理或主要结果

本文的主要结果在第4节“Main results”中系统呈现，核心定理可归纳为以下三项：

定理 4.1（简并费米气体的宏观动力学）
假设：空间维度 $ d \geq 3 $，碰撞核 $ b \in L^1(\mathbb{R}^d \times S^{d-1}) $，初始数据 $ f_{\text{in}}^\varepsilon $ 满足点界 $ 0 \leq f_{\text{in}}^\varepsilon \leq \delta^{-1} $ 与相对熵控制：

其中 $ \gamma \in (0,2) $，$ \kappa = 1 $，$ \tau > 0 $ 固定。令 $ f_\varepsilon $ 为方程 (2.18) 的唯一弱解（由Dolbeault理论保证）。

则：当 $ \varepsilon \to 0 $ 时，涨落函数 $ g_\varepsilon $ 在分布意义下弱收敛至 $ g $，且其宏观密度 $ \rho_\varepsilon $、速度 $ U_\varepsilon $ 和温度 $ T_\varepsilon $ 的涨落满足：

其中 $ \rho_0 = \int_{|v|<R} \delta^{-1} dv $ 为基态密度。涨落 $ (\rho_1, U_1) $ 满足可压缩欧拉方程组：

其中声速 $ c_s $ 由费米面几何决定：

定理 4.2（简并费米气体的能量谱）
在相同假设下，涨落 $ g_\varepsilon $ 的能量谱在 $ \varepsilon \to 0 $ 时集中在费米球面 $ |v| = R $ 上。更精确地，对任意光滑测试函数 $ \phi(v) $，有：

其中 $ \psi(t,x,\omega) $ 是定义在费米球面 $ S^{d-1} $ 上的函数，满足一个球面输运方程：

该结果表明：涨落不是均匀分布在整个速度空间，而是仅存在于费米球面上，且沿球面方向传播，形成各向异性的能量分布。

定理 4.3（对Knudsen数收敛速率的普适性）
本文的推导不要求Knudsen数 $ \varepsilon^\kappa \to 0 $ 的速率受限于特定多项式衰减（如 $ \kappa = 1 $），而是对任意 $ \kappa > 0 $ 均成立，只要相对熵控制 $ \gamma \in (0,2) $ 与 $ \kappa $ 满足关系 $ \gamma < \kappa + 1 $。这意味着：即使碰撞频率极高（即Knudsen数下降极快），系统仍能收敛到相同的欧拉极限。

这一结果突破了经典声学极限中对 $ \kappa = 1 $ 的依赖，是本文最显著的数学贡献之一。

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

a) 核心分析工具

本文的证明框架建立在碰撞动力学的流体极限理论之上，结合了以下关键分析工具：

1. 相对熵方法（Relative Entropy Method）：这是本文最核心的工具。作者利用相对熵：

作为“距离度量”来控制 $ f_\varepsilon $ 与参考态 $ M_\varepsilon $ 的偏差。该方法的优势在于：它自动处理非线性项和泡利阻塞因子，且能导出熵耗散估计，从而保证弱收敛。

2. 紧性原理与弱收敛：由于 $ f_\varepsilon $ 在 $ L^\infty $ 中有界，根据Banach-Alaoglu定理，存在弱*收敛子列。结合熵耗散控制 $ D(f_\varepsilon) \in L^1_{\text{loc}} $，可证明涨落 $ g_\varepsilon $ 弱收敛到某个极限 $ g $。

3. 碰撞不变量与守恒律：利用 $ Q_{\text{FD}} $ 的对称性（公式 (2.6)-(2.7)），作者证明了质量、动量和能量守恒律在弱意义下成立。特别地，通过将方程乘以碰撞不变量 $ \{1, v, |v|^2\} $ 并积分，推导出宏观守恒方程的极限形式。

4. 能量谱投影技术：为证明涨落集中于费米球面，作者使用了球面平均与径向分解。定义投影算子：

并证明当 $ \varepsilon \to 0 $ 时，$ \mathcal{P}_R g_\varepsilon \to \psi(t,x,\omega) $，而其他径向分量趋于零。

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

1. 泡利阻塞因子的非线性处理：碰撞算子中包含 $ (1 - \delta f) $，使其非线性且在 $ f \to \delta^{-1} $ 时趋于零。作者利用函数 $ h(z,a) $ 的凸性，构造了熵耗散的正定性，从而绕开了直接处理非线性项的困难。

2. 费米面集中性证明：传统方法依赖于速度矩估计，但此处因涨落集中在测度为零的球面上，需使用奇异积分估计和测度收敛。作者引入“膨胀涨落”（dilated fluctuations）：

通过变量替换将费米面拉伸为固定球面，再利用相对熵控制证明 $ \tilde{g}_\varepsilon \rightharpoonup \psi \delta_{|v|=1} $，从而实现集中性。

3. Knudsen数速率的普适性：经典声学极限要求 $ \kappa = 1 $，但本文通过精细分析熵不等式：

发现只要 $ \gamma < \kappa + 1 $，右侧的熵源项仍可被耗散项控制，从而允许 $ \kappa $ 任意取值。

4. 与之前工作的比较

本文在多个方面显著超越了现有文献：

1. 突破经典声学极限的速率限制：经典结果（如 [BGL91], [GSR04]）要求Knudsen数 $ \varepsilon \to 0 $ 且 $ \kappa = 1 $，即碰撞频率与宏观时间尺度同阶。本文首次证明：即使碰撞频率远快于宏观时间尺度（即 $ \kappa > 1 $），系统仍收敛到相同的欧拉极限。这在物理上意味着：即使电子碰撞极其频繁，其宏观行为仍表现为可压缩流体——这一结论此前从未被严格证明。

2. 维度推广与费米面几何的精确刻画：以往研究多集中于 $ d=3 $，且常假设费米面为球面。本文不仅处理任意 $ d \geq 3 $，还精确导出声速 $ c_s $ 依赖于费米面的几何结构（公式 $ c_s^2 = \frac{R^2}{d} \cdot \frac{|\partial B_R|}{|B_R|} $），这是首次从微观动力学中推导出宏观声速与费米面曲率的显式联系。

3. 各向异性激发的首次数学证明：传统物理图像（如Landau费米液体理论）假设激发是各向同性的。本文通过能量谱定理（定理4.2）首次严格证明：激发态的能量和电子分布是各向异性的，由球面输运方程 $ \partial_t \psi + R \omega \cdot \nabla_x \psi = 0 $ 描述，其解依赖于方向 $ \omega $，彻底颠覆了“均匀激发”的直觉。

4. 初始数据正则性要求的极大放宽：传统流体极限要求初始数据满足 $ (1+|x|^2+|v|^2)f_{\text{in}} \in L^1 $，但本文仅需相对熵有界（公式2.24），且允许初始分布非全局可积。这一改进源于相对熵方法对“局部结构”的敏感性，而非全局矩控制，是数学方法论上的重要进步。

5. 与经典Boltzmann方程的类比深化：虽然本文结构类似经典声学极限，但其量子阻塞因子使系统具有更强的非线性结构。本文证明：即使在强量子效应下，经典流体极限仍成立，这为“量子流体动力学”的普适性提供了强有力的支持。

综上，本文不仅在物理上揭示了费米气体中长期被忽视的各向异性激发机制，更在数学上建立了首个适用于任意碰撞速率、任意维度、任意费米面几何的简并费米气体流体极限理论，为理解金属中的等离子体振荡、量子流体动力学乃至压缩欧拉极限的普适性开辟了全新路径。

2. Existence and numerical approximation of a one-dimensional Boussinesq system with variable coefficients on a finite interval

作者: Juan Carlos Muñoz Grajales, Deissy Marcela Pizo

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

发布日期: 2025-10-12

arXiv ID: 2510.10829v1

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

详细分析

**

并辅以初始条件：

以及齐次Dirichlet边界条件：

该系统是经典Boussinesq方程的推广，用于描述有限长度、底部地形不规则（即 $ c(\xi) $ 非恒定）的浅水波传播。与传统Boussinesq模型（假设水深恒定，即 $ c(\xi) \equiv 1 $）不同，本文引入了空间变化的系数 $ c(\xi) \in L^2([0,L]) $，这使得模型更贴近真实海洋或河流中因地形起伏导致的波速变化。此外，系数 $ \alpha $ 和 $ \beta $ 为正实数，分别控制非线性效应与色散效应，其组合决定了波的弥散与非线性平衡。边界条件为齐次Dirichlet型，意味着波在两端被完全反射或吸收，形成封闭系统，这在数值模拟中常用于避免边界反射干扰，也便于构造适定性分析所需的紧嵌入空间。

研究区域为一维有限区间 $ [0,L] $，这与许多理论研究中采用的无限域（如 $ \mathbb{R} $）形成鲜明对比。有限域的引入显著增加了分析难度：无法直接使用傅里叶分析，必须依赖Sobolev空间的嵌入定理与Green函数方法。函数空间的选择也具有关键意义：初始数据 $ (N_0, V_0) \in H^1_0([0,L]) \times H^1_0([0,L]) $，即具有零边界值的H¹函数，这确保了弱解在边界处满足物理约束。同时，系数 $ c(\xi) \in L^2([0,L]) $ 的正则性要求较低，仅为平方可积，而非通常要求的连续或H¹函数，这一设定使模型更具普适性，能处理具有间断或粗糙地形的物理场景。

该系统还具有非线性耦合与高阶色散项的结构：非线性项 $ (1 + \alpha c^2 N)V $ 和 $ c^2 V^2 $ 与色散项 $ N_{\xi\xi t} $、$ V_{\xi\xi t} $ 共存，导致系统既非纯双曲型也非纯抛物型，而是混合型偏微分方程组。这种结构在流体力学中对应于“长波-短波”相互作用，常见于潮汐波、内波与地形相互作用的场景。本文研究的正是这类复杂物理现象在有限域中的数学建模与理论保障，填补了以往文献中对“变系数、有限域、低正则性系数”Boussinesq系统适定性研究的空白。

主要定理或主要结果

本文的核心理论结果是定理3.1，其内容为：

Theorem 3.1. 设 $ L, T > 0 $ 为固定常数，初始数据 $ N_0, V_0 \in H^1_0([0,L]) $，系数 $ c \in L^2([0,L]) $。则存在唯一解 $ (N,V) \in L^2_T(H^1_0([0,L])) \times L^2_T(L^2([0,L])) $ 满足系统 (14)–(16)。此外，该解连续依赖于初始数据，且满足如下估计：

$$ \|(N,V)\|_{L^2_T(H^1_0) \times L^2_T(L^2)} \leq \|(N_0,V_0)\|_{H^1_0 \times H^1_0} \exp\left( \frac{C_1 T}{\left(\frac{\beta}{6}\right)^{1/2}} \right), $$

其中 $ C_1 $ 为依赖于 $ L, \|\alpha\|_{L^\infty}, \|c\|_{L^2} $ 的常数。

该定理的假设条件极为宽松：首先，初始数据仅要求属于 $ H^1_0 $，即具有零边界值的一阶弱可微函数，而无需更高正则性（如 $ H^2 $ 或连续可微）。其次，系数 $ c(\xi) \in L^2([0,L]) $ 仅需平方可积，允许其具有间断、震荡甚至局部奇异，这在工程与地球物理中极为常见（如海底断层、岩层突变）。而传统文献（如 [2,3,9]）通常要求 $ c(\xi) \in C^1 $ 或 $ H^1 $，甚至常数。

定理的结论不仅证明了局部存在唯一性，还给出了显式依赖于时间 $ T $ 的指数型先验估计（式 (30)），这在非线性色散系统中是重要突破。该估计表明：在有限时间区间内，解的范数受初始能量的指数控制，即使系数粗糙，解也不会在有限时间内爆破（blow-up），从而确保了系统在物理时间尺度上的稳定性。

特别值得注意的是，解空间为 $ L^2_T(H^1_0) \times L^2_T(L^2) $，这意味着 $ N $ 在空间上具有一阶弱导数（H¹），而 $ V $ 仅需L²正则性，这与传统Boussinesq系统中要求 $ N,V \in H^1 $ 的对称结构不同。这种不对称性源于系统中 $ N $ 的色散项 $ N_{\xi\xi t} $ 对空间导数的依赖更强，而 $ V $ 的色散项在积分形式中被Green函数“吸收”，从而允许更低的正则性。

此外，该定理是局部存在性结果，但通过估计中的指数依赖，可进一步延拓至任意有限时间 $ T $，只要初始能量有限。这与某些仅证明“短时间存在性”的工作不同，本文通过显式估计给出了延拓的定量依据。

与经典结果相比，本文未假设 $ c(\xi) $ 有界远离零（即 $ \inf c(\xi) > 0 $），也未要求 $ \alpha $ 为常数，而是允许 $ \alpha \in L^\infty $，这使得模型可描述非均匀介质中的非线性响应，如变密度层或含气泡水体。因此，定理3.1是目前对变系数Boussinesq系统最弱正则性假设下的全局适定性结果之一。

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

本文的核心分析工具是Green函数方法与Banach不动点定理的结合，这是处理具有线性主部的非线性偏微分方程系统的经典范式，但在变系数、有限域、低正则性条件下极具挑战性。

首先，作者将原系统 (14) 的线性主部 $ \left(I - \frac{\beta}{6} \partial_\xi^2\right) $ 视为一个椭圆型算子，并构造其对应的Green函数 $ G(\xi,s) $（见式 (18)）：

该函数满足 $ \left(I - \frac{\beta}{6} \partial_\xi^2\right) G(\xi,s) = \delta(\xi - s) $，且在边界 $ \xi=0,L $ 上为零，完美匹配Dirichlet条件。由此，原PDE系统可转化为积分方程系统（式 (20)-(23)），进而构造非线性算子 $ A $（式 (35)）：

其中 $ K(\xi,s) = \partial_s G(\xi,s) $ 为Green函数的导数，具有跳跃间断（式 (19)）。

关键技巧在于处理 $ K(\xi,s) $ 的奇异性。尽管 $ K $ 在 $ \xi=s $ 处不连续，但作者通过细致分析（式 (28)）证明其作用于 $ L^2 $ 函数后，仍映射到 $ H^1 $ 空间，即算子 $ \Phi_2(\phi) = \int_0^L K(\xi,s)\phi(s)ds $ 是 $ L^2 \to H^1 $ 的有界线性算子（引理3.1）。这一结论依赖于：

1. 跳跃条件：$ \lim_{s\to\xi^-} K - \lim_{s\to\xi^+} K = \frac{6}{\beta} $，使 $ \Phi_2 $ 可分解为一个连续积分项与一个点态乘法项；
2. Cauchy-Schwarz与嵌入不等式：利用 $ H^1 \hookrightarrow L^\infty $（式 (9)），将非线性项 $ NV $、$ V^2 $ 控制在 $ L^2 $ 范数下；
3. 能量估计的非对称处理：对 $ N $ 项使用 $ H^1 $ 范数，对 $ V $ 项仅用 $ L^2 $ 范数，避免过度估计。

在应用Banach不动点定理时，作者构造闭球 $ B_R \subset L^2_T(H^1_0) \times L^2_T(L^2) $，并通过估计证明 $ A $ 将 $ B_R $ 映入自身（式 (37)），且在足够小的时间 $ T $ 内为压缩映射（式 (38)）。关键突破在于：所有常数（如 $ C_1, C_2 $）仅依赖于 $ L, \beta, \|c\|_{L^2}, \|\alpha\|_{L^\infty} $，而非更高正则性，从而支持低正则性假设。

技术难点在于非线性项 $ c^2 V^2 $ 和 $ \alpha c^2 N V $ 的乘积控制。作者未使用Sobolev嵌入到 $ L^\infty $ 的高阶估计，而是通过 Hölder不等式 + L²-L∞嵌入：

从而将非线性项的控制转化为对 $ c $ 的 $ L^2 $ 范数依赖，而非 $ L^\infty $ 或 $ H^1 $，实现了正则性要求的最小化。

与之前工作的比较

本文在多个维度上显著超越了现有文献。首先，在系数正则性上，传统Boussinesq模型（如 [2,3,9]）要求 $ c(\xi) \in C^1([0,L]) $ 或至少 $ H^1([0,L]) $，以保证非线性项 $ (c^2 N)_\xi $ 的弱导数存在。而本文仅要求 $ c \in L^2([0,L]) $，这是对系数光滑性要求的根本性放宽，使模型可应用于真实地质结构中具有不连续或粗糙地形的场景（如断层带、沉积层交界面）。

其次，在解空间正则性上，以往工作（如 [4]）通常证明解属于 $ C([0,T]; H^2 \times H^2) $ 或至少 $ H^1 \times H^1 $，而本文仅要求 $ N \in L^2_T(H^1_0) $、$ V \in L^2_T(L^2) $，即 $ V $ 无需空间导数。这表明在变系数、低正则性条件下，系统的“隐式色散”（通过 $ V_{\xi\xi t} $）足以维持解的稳定，而无需强正则性假设。这在数值计算中具有重要意义：允许使用更低阶的有限元或有限差分格式。

第三，在方法论上，多数文献依赖能量法或谱方法，要求系数光滑以进行分部积分。而本文首次将Green函数法系统应用于变系数、有限域、低正则性的Boussinesq系统，开创了处理此类问题的新路径。特别是对Green函数导数 $ K(\xi,s) $ 的跳跃分析，为后续研究非光滑系数的色散系统提供了范式。

最后，本文首次将该模型用于反问题（初始条件重构），并建立优化框架，这在Boussinesq系统中尚无先例。虽然反问题部分为“初步实验”，但其理论框架建立在定理3.1的适定性基础上，使得反问题的解存在性与稳定性有了数学保障。

综上，本文的突破在于：首次在最低正则性假设下，对有限域、变系数、非线性色散Boussinesq系统建立了严格适定性理论，并为数值反问题提供了理论支撑。其成果不仅拓展了浅水波理论的适用范围，也为工程中地形复杂区域的波浪模拟提供了坚实的数学基础。

3. Fine dissipative properties of Euler solutions with measure first derivatives

具有测度一阶导数的欧拉解的精细耗散性质

作者: Marco Inversi

类别: math.AP, 35Q31, 35D30, 26A45

发布日期: 2025-10-12

arXiv ID: 2510.10704v1

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

详细分析

中文标题: 具有测度一阶导数的欧拉解的精细耗散性质

研究对象和背景

本文研究的是不可压缩欧拉方程（incompressible Euler equations）的有界弱解在特定正则性条件下的能量守恒性质。该方程组描述了理想流体（无粘性、不可压缩）在外部力场作用下的运动，其数学形式为：

其中，$\mathbf{u}: \Omega \times (0,T) \to \mathbb{R}^d$ 是流体的速度场，$p: \Omega \times (0,T) \to \mathbb{R}$ 是压强，$\mathbf{f}$ 是外力，$\Omega \subset \mathbb{R}^d$ 是空间区域，$T > 0$ 是时间区间。本文关注的是方程在区域内部（interior）的行为，因此不指定空间边界条件和初始数据。

在光滑解的情形下，动能满足精确的能量守恒律。然而，对于弱解，能量可能因小尺度湍流结构而局部耗散，这种耗散由一个称为“缺陷分布”（defect distribution）的分布 $D$ 表征，其形式为：

当 $D \equiv 0$ 时，系统满足局部能量守恒；当 $D \not\equiv 0$ 时，能量在局部区域被耗散，这与湍流中的能量级串（energy cascade）现象密切相关。自 Kolmogorov 和 Onsager 的开创性工作以来，人们关注的是：在何种正则性条件下，弱解仍能保持能量守恒？Onsager 猜想指出，若速度场 $\mathbf{u}$ 在 Hölder 空间 $C^{1/3}$ 中，则能量守恒可能被破坏；若 $\mathbf{u} \in C^\theta$ 且 $\theta > 1/3$，则 $D \equiv 0$。这一猜想已被完全证明：当 $\theta > 1/3$ 时，经典正则化方法可证 $D \equiv 0$；当 $\theta < 1/3$ 时，De Lellis–Székelyhidi 的凸积分方法构造了非守恒解。

本文的突破性在于研究了 临界正则性空间 中的能量守恒问题，特别是当速度场的一阶导数（或其某些组合）为 Radon 测度的情形。这超越了传统的 $L^p$ 或 Besov 空间框架，转而考虑更精细的函数空间：有界变差函数空间 $BV$ 和有界变形空间 $BD$。这些空间允许速度场存在跳跃不连续性（如涡片、激波），但其导数仍为有限测度。特别地，$BV$ 函数的梯度是 Radon 测度，而 $BD$ 函数的对称梯度 $\mathbf{Eu} = \frac{1}{2}(\nabla \mathbf{u} + (\nabla \mathbf{u})^T)$ 是 Radon 测度。本文研究的解空间为 $\mathbf{u} \in L^\infty(\Omega \times (0,T)) \cap L^1_t BV_x$ 或 $\mathbf{u} \in L^\infty(\Omega \times (0,T)) \cap L^1_t BD_x$，且压强与外力属于 $L^1_{x,t}$。这一设定与传统方法不同：以往研究依赖于卷积正则化（如 Duchon–Robert 或 Constantin–E–Titi 方法）并优化卷积核，而本文完全避开此路径，转而利用 $BV$ 和 $BD$ 函数的精细结构理论，结合欧拉非线性项的特殊结构，直接推导能量守恒。

此外，本文还研究了仅假设涡度（vorticity，即梯度的反对称部分 $\boldsymbol{\Lambda} \mathbf{u} = \nabla \mathbf{u} - (\nabla \mathbf{u})^T$）为 Radon 测度的情形，这涵盖了经典涡片（vortex sheet）解，即涡度集中于时间演化的一维曲面（codimension-1 hypersurface）。这类解在流体力学中极为重要，但其能量守恒性质长期未被完全理解。本文的分析区域为 $\Omega \times (0,T)$，且由于聚焦于内部行为，无需边界条件，这使得结果具有内在的局部性。

主要定理或主要结果

本文的核心贡献体现在三个主要定理中，它们系统地建立了在不同弱正则性条件下欧拉方程局部能量守恒的充分条件。

定理 1.1：设 $\mathbf{u} \in L^\infty(\Omega \times (0,T)) \cap L^1_t BV_x$ 是不可压缩欧拉方程的弱解，且压强 $p$ 与外力 $\mathbf{f}$ 属于 $L^1_{x,t}$，则缺陷分布 $D \equiv 0$，即局部能量守恒成立。

该定理表明，即使速度场具有跳跃不连续性（如激波），只要其空间梯度是全变差测度（即 $\mathbf{u} \in BV_x$），且时间上可积，则能量仍被精确守恒。此前的结论（如基于 Besov 空间 $B^{1/3}_{3,\infty}$）在 $BV$ 空间中失效，因为 $BV \cap L^\infty$ 虽嵌入 $B^{1/3}_{p,\infty}$ 对任意 $p>1$，但其嵌入是“尖锐”的，无法直接应用经典正则化方法。本文首次在不依赖卷积核优化的前提下，给出了该结论的直接证明。

定理 1.2：设 $\mathbf{u} \in L^\infty(\Omega \times (0,T)) \cap L^1_t BD_x$ 是不可压缩欧拉方程的弱解，且 $p, \mathbf{f} \in L^1_{x,t}$，则 $D \equiv 0$。

这是对定理 1.1 的重大推广。$BD$ 空间比 $BV$ 更广泛：它只要求对称梯度 $\mathbf{Eu}$ 为 Radon 测度，而不要求全梯度 $\nabla \mathbf{u}$ 为测度。因此，$BD$ 场允许更剧烈的“剪切”不连续性（如流体层滑动），而 $BV$ 场要求梯度整体有界。在 $BD$ 情形下，传统的 $BV$ 链式法则和 Ambrosio 的卷积核优化技术均失效。本文首次在无任何额外假设（如对称梯度的结构限制）下，证明了 $BD$ 解的能量守恒，从而完整解决了文献 [16] 中开启的分析问题。

定理 4.5：设 $\mathbf{u} \in L^\infty(\Omega \times (0,T))$ 是欧拉方程的弱解，且其反对称梯度 $\boldsymbol{\Lambda} \mathbf{u}$ 为 Radon 测度（即涡度为测度）。若存在一个“适当定义的奇异集” $S$，其关于涡度测度是零测的，则 $D \equiv 0$。

该定理是针对涡片类解的全新结果。在经典涡片情形中，速度的法向分量与 Bernoulli 压强在涡片上连续，但切向分量可跳跃。本文通过引入“涡度主导的奇异集”概念，表明只要不连续性被涡度测度“忽略”，能量仍守恒。这一结果不依赖于涡片的几何正则性（如 Lipschitz 或 rectifiable），仅需测度意义下的“可忽略性”。作为推论，定理 4.6 还给出了定理 1.1 的另一证明，表明 $BV$ 解可被纳入此统一框架。

这些定理共同表明：在欧拉方程中，只要一阶导数（或其对称/反对称部分）为测度，且满足不可压缩性，能量守恒即成立——这与线性输运方程中 $BD$ 场的重正化问题仍为开放问题形成鲜明对比。

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

本文的证明策略彻底摒弃了经典的卷积正则化与核优化方法，转而采用函数空间精细结构理论与非线性项代数结构分析相结合的全新路径。

a) 核心分析工具：

1. $BV$ 和 $BD$ 函数的结构定理：本文大量依赖于 $BV$ 和 $BD$ 函数的 Lebesgue 点、跳跃点（jump points）与精确代表元（precise representative）的理论。例如，定理 3.5 和 3.8 揭示了 $BV$ 函数的梯度可分解为绝对连续部分、Cantor 部分与跳跃部分；而 $BD$ 函数的对称梯度在跳跃集上具有明确的张量表达式：

   $$ \mathbf{Eu} \llcorner J_{\mathbf{u}} = \frac{(\mathbf{u}^+ - \mathbf{u}^-) \otimes \boldsymbol{\nu} + \boldsymbol{\nu} \otimes (\mathbf{u}^+ - \mathbf{u}^-)}{2} \mathcal{H}^{d-1} \llcorner J_{\mathbf{u}}. $$

   这些结构是后续代数计算的基础。

2. 链式法则（Chain Rule）：本文的核心技巧是直接应用 $BV$ 函数的链式法则（Proposition 3.7）：

   $$ D\left( \frac{|\mathbf{u}|^2}{2} \right) = \tilde{\mathbf{u}}^T D\mathbf{u}, \quad \text{在测度意义下}. $$

   该式在光滑情形下显然成立，但在 $BV$ 类中需谨慎处理跳跃部分。本文通过将 $\mathrm{div}(\mathbf{u} \otimes \mathbf{u})$ 和 $\mathrm{div}\left( \frac{|\mathbf{u}|^2}{2} \mathbf{u} \right)$ 分解为“弥散部分”与“跳跃部分”，并分别验证其与 $\tilde{\mathbf{u}}$ 的代数关系，最终在测度意义下建立恒等式（如式 (4.1)-(4.3)）。

3. 弱收敛与测度收敛：本文使用弱收敛（weak convergence）而非强 $L^1$ 收敛来处理极限过程。例如，在证明中，通过 Lemma 3.4 证明：若 $\mathbf{u}$ 的奇异集关于 $\lambda$ 是零测的，则 $\mathbf{u}_\ell \lambda_\ell \rightharpoonup \tilde{\mathbf{u}} \lambda$（弱测度收敛）。这使得即使 $\mathbf{u}_\ell$ 不强收敛，其与测度的乘积仍能收敛至“精确代表元”主导的极限。

b) 关键技术与技巧：

1. 利用不可压缩性诱导代数抵消：这是本文最核心的洞察。在 $BV$ 证明中，利用 $\mathrm{div}(\mathbf{u})=0$，将 $\mathrm{div}(\mathbf{u} \otimes \mathbf{u})$ 重写为 $(\tilde{\mathbf{u}} \cdot D)\mathbf{u}$，从而将非线性项转化为“方向导数”形式。在 $BD$ 证明中，利用对称梯度的结构与 $\mathrm{div}(\mathbf{u})=0$ 推出法向分量连续性（式 (3.8)）：$\mathbf{u}^+ \cdot \boldsymbol{\nu} = \mathbf{u}^- \cdot \boldsymbol{\nu}$。这一条件直接导致在跳跃集上，$(\mathbf{u} \otimes \mathbf{u})_\ell - \mathbf{u}_\ell \otimes \mathbf{u}_\ell$ 的极限为零，从而消除能量耗散的来源。

2. 反对称梯度的正交性：在涡度情形（定理 4.5）中，关键技巧是利用 $\boldsymbol{\Lambda} \mathbf{u}$ 与 $\mathbf{u}$ 的正交性：$(\boldsymbol{\Lambda} \mathbf{u}) \mathbf{u} \cdot \mathbf{u} = 0$，因为 $\boldsymbol{\Lambda} \mathbf{u}$ 是斜对称矩阵。结合 $\mathrm{div}(\mathbf{u})=0$，有 $\mathbf{u} \cdot \nabla P = \mathrm{div}(\mathbf{u} P)$，最终得到：

   $$ \partial_t \left( \frac{|\mathbf{u}|^2}{2} \right) + \mathrm{div}(\mathbf{u} P) = -(\boldsymbol{\Lambda} \mathbf{u}) : (\mathbf{u} \otimes \mathbf{u}) + \mathbf{f} \cdot \mathbf{u} = \mathbf{f} \cdot \mathbf{u}, $$

   从而 $D \equiv 0$。此过程完全依赖欧拉非线性的特殊结构，对线性输运方程无效。

3. “吹胀”（blow-up）分析：在 $BD$ 证明中，通过定义吹胀极限 $v(z) = \lim_{\ell \to 0} \mathbf{u}(x_0 + \ell z)$，并利用径向卷积核 $\rho$ 的对称性，精确计算出 $\mathbf{R}_\ell = (\mathbf{u} \otimes \mathbf{u})_\ell - \mathbf{u}_\ell \otimes \mathbf{u}_\ell$ 在跳跃点处的极限为 $\bar{\alpha} (\mathbf{u}^+ - \mathbf{u}^-) \otimes (\mathbf{u}^+ - \mathbf{u}^-)$，再结合法向连续性，证明该极限在 $\mathbf{Eu}$-几乎处处为零。

与之前工作的比较

本文在多个维度上显著推进了现有理论，其突破性体现在放宽正则性假设、避免依赖卷积优化、统一处理多类奇异解三个方面。

a) 放宽假设条件：

• 超越 $BV$ 到 $BD$：先前工作（如 [15]）仅处理 $BV$ 解，依赖于 $\nabla \mathbf{u}$ 为测度及 Ambrosio 的卷积核优化。本文定理 1.2 证明即使 $\nabla \mathbf{u}$ 无界（仅 $\mathbf{Eu}$ 为测度），能量仍守恒。这是对 $BD$ 类解的首次全局能量守恒结论，解决了文献 [16] 中悬而未决的问题。

• 无需结构假设：[16] 中的定理要求对称梯度的奇异部分具有特定几何结构（如一维或二维结构），而本文定理 1.2 对任意 $BD$ 解均成立，无需任何附加假设。

• 仅需涡度为测度：在涡片研究中，Shvydkoy [30] 仅处理 Lipschitz 涡片，且依赖于速度与压强的迹连续性。本文定理 4.5 仅要求涡度为 Radon 测度，且奇异集关于该测度为零，这涵盖了更广义的、可能非 rectifiable 的涡片结构。

b) 方法论的革新：

• 摆脱卷积核优化：经典方法（[8,18]）依赖于选择特定 $\rho$ 使 $D_\ell \to 0$，而本文完全避开此路径，通过函数结构的内在代数关系直接证明 $D \equiv 0$，方法更“本质”。

• 统一框架：本文首次将 $BV$、$BD$ 和测度涡度三类解统一纳入一个基于“不可压缩性 + 非线性项正交性”的分析框架。此前工作将这些情形视为独立问题，而本文揭示其共同本质：欧拉非线性项的斜对称性与不可压缩性共同导致能量耗散项自动消失。

c) 结果强度的提升：

• 更强的结论：以往结果仅在 $C^{1/3+\varepsilon}$ 或 $B^{1/3}_{3,\infty}$ 中证 $D \equiv 0$，而本文在包含不连续解的 $BV$ 和 $BD$ 空间中证得相同结论，且这些空间不嵌入任何 $C^\theta$（$\theta > 1/3$），因此结果更“强”。

• 更广的适用性：本文方法不依赖于空间维度，且适用于任意 $d \geq 2$，而传统方法在高维中面临更多技术障碍。

• 首次在 $BD$ 中建立能量守恒：这是本文最显著的突破。在输运方程中，$BD$ 场的重正化仍是开放问题，而本文在欧拉方程中成功解决，凸显了欧拉非线性结构的特殊性。

综上，本文不仅给出了多个关键定理的全新证明，更重要的是，它揭示了不可压缩欧拉方程在低正则性下能量守恒的内在代数机制，为理解湍流中能量耗散的临界条件提供了全新的视角。

4. On the existence of self-similar solutions to the steady Navier-Stokes equations in high dimensions

高维稳态Navier-Stokes方程自相似解的存在性

作者: Jeaheang Bang, Changfeng Gui, Hao Liu, Yun Wang, Chunjing Xie

类别: math.AP

发布日期: 2025-10-12

arXiv ID: 2510.10488v1

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

详细分析

中文标题: 高维稳态Navier-Stokes方程自相似解的存在性

1. 研究对象和背景

本文研究的是高维空间中稳态不可压缩Navier-Stokes方程的自相似解的存在性问题。该方程组描述了粘性不可压缩流体在稳态（时间无关）条件下的运动，其数学形式为：

其中 $\mathbf{u} = (u_1, \dots, u_n): \mathbb{R}^n \setminus \{0\} \to \mathbb{R}^n$ 是速度场，$p: \mathbb{R}^n \setminus \{0\} \to \mathbb{R}$ 是压力场，$\mathbf{f}: \mathbb{R}^n \setminus \{0\} \to \mathbb{R}^n$ 是给定的外力场。方程定义在除去原点的高维空间 $\mathbb{R}^n \setminus \{0\}$ 上，$n \geq 4$，这与经典三维情形形成鲜明对比。特别地，外力 $\mathbf{f}$ 被假设为 $(-3)$-齐次函数，即对任意 $\lambda > 0$，满足 $\mathbf{f}(\lambda \mathbf{x}) = \lambda^{-3} \mathbf{f}(\mathbf{x})$。这一齐次性与Navier-Stokes方程的自然缩放不变性相匹配：若 $(\mathbf{u}, p, \mathbf{f})$ 是方程的解，则缩放后的函数族

也是解。因此，研究目标是寻找满足 $\mathbf{u}(\lambda \mathbf{x}) = \lambda^{-1} \mathbf{u}(\mathbf{x})$ 的 $(-1)$-齐次解，即自相似解（self-similar solution），其在原点处可能具有奇性，但在 $\mathbb{R}^n \setminus \{0\}$ 上光滑。

该问题的物理背景源于对湍流、喷射流或点源驱动流动中尺度不变结构的建模。在高维情形下，这类解具有重要的数学意义，因为它们能揭示非线性项与线性项在不同维度下的竞争关系。特别地，当 $n=4$ 时，能量泛函 $\int_{S^{n-1}} |\nabla \mathbf{u}|^2 \, d\sigma$ 是缩放不变的，这使得能量估计直接可控；然而，当 $n \geq 5$ 时，该能量不再缩放不变，导致经典方法失效。此前研究（如 [20]）仅在 $n=4$ 时成功构造了大外力下的自相似解，而对 $n \geq 5$ 的情形，普遍认为“无法应用相同方法建立先验估计”。

本文研究区域为 $\mathbb{R}^n \setminus \{0\}$，即排除原点以避免奇点主导行为，但要求解在原点邻域内局部可积（对 $n \geq 4$ 成立），从而允许解在分布意义下通过原点。边界条件方面，由于区域无界且无物理边界，问题本质上是全局的。函数空间方面，解被要求属于 $C^{2,\alpha}_{\text{loc}}(\mathbb{R}^n \setminus \{0\})$，外力 $\mathbf{f}$ 属于局部Lipschitz类，且其在单位球面 $S^{n-1}$ 上的范数 $\|\mathbf{f}\|_{\text{Lip}(S^{n-1})}$ 控制解的正则性。这一设定区别于以往研究中对 $\mathbf{f}$ 要求紧支集或快速衰减的假设，使得本工作能处理“大外力”甚至“无界外力”的情形，是理论上的重要突破。

2. 主要定理或主要结果

本文的核心结果由定理 1.1 给出，具体如下：

定理 1.1：设 $n \in \mathbb{N}$，$4 \leq n \leq 16$，令 $\mathbf{f}$ 为 $\mathbb{R}^n \setminus \{0\}$ 上的 $(-3)$-齐次、局部Lipschitz外力场。则：

(i) 存在至少一个自相似解 $\mathbf{u}$，满足 $\mathbf{u} \in C^{2,\alpha}_{\text{loc}}(\mathbb{R}^n \setminus \{0\})$（对任意 $\alpha \in (0,1)$），且其在单位球面 $S^{n-1}$ 上的范数满足先验估计：

其中常数 $C > 0$ 仅依赖于 $\alpha, n$ 和 $\|\mathbf{f}\|_{\text{Lip}(S^{n-1})}$。

(ii) 若 $\mathbf{f}$ 在 $\mathbb{R}^n \setminus \{0\}$ 上光滑，则对应的自相似解 $\mathbf{u}$ 也是光滑的。

(iii) 存在一个仅依赖于 $n$ 的常数 $\epsilon > 0$，使得若 $\|\mathbf{f}\|_{\text{Lip}(S^{n-1})} \leq \epsilon$，则在 $C^2(\mathbb{R}^n \setminus \{0\})$ 类中，自相似解是全局唯一的。

此外，本文在定理 4.1 中进一步证明：若外力 $\mathbf{f}$ 仅具有非负径向分量，即 $\mathbf{f}(\mathbf{x}) = r^{-3} f_r(\mathbf{x}) \frac{\mathbf{x}}{|\mathbf{x}|}$，其中 $f_r \geq 0$，则对任意 $n \geq 4$，均存在 $(-1)$-齐次解，且无维度限制。

这些结果的深刻性在于：

• 存在性：首次在 $n \geq 5$ 且外力任意（非小）的情形下，证明了自相似解的存在性，突破了此前对小外力或 $n=4$ 的依赖。
• 正则性：解在原点外具有 $C^{2,\alpha}$ 正则性，且通过“维度缩减”效应（见下文）获得更强的积分正则性。
• 唯一性：在小外力下获得全局唯一性，而非仅局部唯一性（此前结果如 [14] 仅保证在小范数类中唯一）。
• 维度扩展：将存在性结果从 $n=4$ 推广到 $n \leq 16$，远超以往 $n=5$ 或 $n=6$ 的界限。

特别地，定理 1.1(iii) 中的“全局唯一性”是关键突破：它表明，即使解本身不满足小范数条件，只要外力足够小，所有可能的解都必须“自动”满足小范数条件，从而唯一。这与 [12] 在 $L^{3,\infty}$ 中对初值唯一性的证明精神一致，但应用于稳态高维情形，技术难度更高。

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

a) 核心分析学工具

本文的核心工具是Leray-Schauder度理论，用于在无限维空间中证明非线性算子解的存在性。具体而言，作者构造一个从 $C^{2,\alpha}(S^{n-1})$ 到自身的紧算子 $T$，其不动点对应于原方程的自相似解。为应用该理论，必须建立先验估计（a priori estimates），即证明所有可能的解在适当范数下有界。

为此，作者发展了一套非线性能量估计框架，其基础是将Navier-Stokes方程投影到单位球面 $S^{n-1}$ 上，利用自相似性将 $\mathbb{R}^n \setminus \{0\}$ 上的PDE转化为 $S^{n-1}$ 上的椭圆方程。关键的能量恒等式为：

其中 $H = \frac{1}{2} |\mathbf{u}|^2 + p$ 是总压头（total head pressure），$u_r = \mathbf{u} \cdot \frac{\mathbf{x}}{|\mathbf{x}|}$ 是径向速度分量。此式在 $n=4$ 时直接给出控制，但在 $n \geq 5$ 时，$H u_r$ 项为三阶非线性项，符号不确定，构成主要障碍。

为突破此障碍，作者引入两个关键方程：

1. 径向-压头耦合方程：

其中 $\mathbf{u}_t$ 为切向速度，$\Delta_{S^{n-1}}$ 为球面上的Laplace-Beltrami算子。该式揭示了 $u_r$ 与 $H$ 的强耦合关系，是后续估计的基石。

2. 总压头方程：

此方程为椭圆型，允许应用最大值原理和弱最大值原理，从而获得 $H_+$（$H$ 的正部）的高阶积分估计。

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

本文成功克服了三大技术难点：

1. 非线性项 $H u_r$ 的控制：作者将其拆分为 $H_+ u_r$ 和 $H_- u_r$。利用耦合方程（5），通过积分得：

2. 维度限制突破：传统方法依赖Sobolev嵌入 $H^1(S^{n-1}) \hookrightarrow L^{\frac{2(n-1)}{n-3}}(S^{n-1})$，其限制 $n \leq 10$。作者通过反复使用压头方程（7）和耦合方程（5），建立 $H_+$ 的更高积分性（如 $L^\theta$，$\theta = \frac{(n-2)(n-1)}{2(n-3)}$），并结合 $\mathbf{u}$ 的Leray-Schauder框架，最终将维度上限扩展至 $n \leq 16$。

3. 奇异性处理：原点处的奇异性通过“维度缩减”效应规避：自相似性将高维问题转化为球面上的低维椭圆问题，使得即使 $\mathbf{u}$ 在原点无界，其球面投影仍具有良好正则性。结合 $H_+$ 的最大值原理，可得 $H_+ \in L^p$ 对任意 $p < \infty$，进而通过bootstrap论证提升 $\mathbf{u}$ 到 $C^{2,\alpha}$。

这些技巧的组合，使作者绕过了传统能量方法对维度和外力大小的双重限制。

4. 与之前工作的比较

本文在多个方面实现了对既有工作的根本性突破：

首先，维度范围显著扩展。文献 [20] 在 $n=4$ 时通过关键恒等式 $\int_{S^3} |\nabla \mathbf{u}|^2 = \int_{S^3} \mathbf{f} \cdot \mathbf{u}$ 成功构造了大外力解，但明确指出对 $n \geq 5$，“无法应用相同方法”。此后，Frehse-Růžička [7]、Struwe [22] 和 Li-Yang [17] 虽在 $n \leq 15$ 时证明了稳态Navier-Stokes方程在有界域或环面 $T^n$ 上存在正则解，但其外力 $\mathbf{f}$ 必须是紧支集或快速衰减（如 $L^2$ 或 $L^p$，$p > n/2$），无法处理 $(-3)$-齐次外力。本文首次在整个 $\mathbb{R}^n$ 上，对任意 $(-3)$-齐次外力（包括非衰减、非紧支）证明了自相似解的存在性，维度上限达 $n=16$，远超此前所有结果。

其次，外力假设的弱化。以往结果（如 [14,15,18]）要求外力在尺度不变空间（如 $L^{n,\infty}$、$\dot{B}^{-1+n/p}_{p,q}$）中小，才能用压缩映射构造解。本文完全取消“小外力”假设，仅要求 $\mathbf{f}$ 为 $(-3)$-齐次且局部Lipschitz，即可保证存在性。唯一性部分仅在小外力时成立，但这是“全局唯一性”，而非局部唯一性，这是 [14] 等工作的根本不足。

第三，正则性与唯一性理论的深化。此前工作多证明弱解或 $C^1$ 解，本文首次在高维情形下证明了自相似解的 $C^{2,\alpha}$ 正则性，并通过压头方程的积分估计和最大值原理，建立了 $H_+ \in L^\theta$（$\theta > n/2$）这一关键正则性，这在以往文献中未见。此外，定理 1.1(iii) 中的“全局唯一性”是开创性的：它表明，只要外力小，所有可能的解都必须“自动”小，从而唯一。这与 [12] 在时间依赖情形下对 $L^{3,\infty}$ 初值的唯一性证明异曲同工，但本文将其移植到稳态高维情形，技术难度更高。

最后，本文还证明了：当外力仅为非负径向分量时，解的存在性对任意 $n \geq 4$ 均成立，完全突破了维度限制。这一结果依赖于压头方程中非线性项消失（因 $\nabla \times \mathbf{u} = 0$），使 $H_+$ 可被 $u_r$ 和 $f_r$ 直接控制，是本文方法灵活性的体现。

综上，本文不仅解决了长期悬而未决的高维自相似解存在性问题，更建立了一套全新的能量-压头耦合分析框架，为未来研究高维非线性流体方程提供了范式。

5. Energy equality of the weak solutions to the fractional Navier-Stokes / MHD equations

分数阶Navier-Stokes/MHD方程弱解的能量等式研究

作者: Yi Feng, Weihua Wang

类别: math.AP, 76W05, 76B03, 35Q35, 76D05

发布日期: 2025-10-07

arXiv ID: 2510.06024v2

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

详细分析

中文标题: 分数阶Navier-Stokes/MHD方程弱解的能量等式研究

1. 研究对象和背景

本文研究的是三维不可压分数阶Navier-Stokes方程与磁流体动力学（MHD）方程的弱解的能量等式问题。这类方程是经典流体力学方程组在分数阶微分算子下的推广，广泛应用于湍流建模、等离子体物理与地球物理流体动力学中。分数阶拉普拉斯算子 $ (-\Delta)^\alpha $（其中 $ \alpha \in \mathbb{R} $）通过傅里叶变换定义为符号 $ |\xi|^{2\alpha} $，记为 $ \Lambda^\alpha := (-\Delta)^\alpha $。该算子引入了非局部扩散效应，使方程在低正则性条件下仍能保留物理守恒结构，但同时也显著增加了分析难度。

论文考虑的两个核心方程组如下：

对于分数阶Navier-Stokes方程：

对于分数阶MHD方程：

其中 $ u(x,t) $ 为速度场，$ B(x,t) $ 为磁场，$ p(x,t) $ 为压强，$ u_0, B_0 \in L^2_\sigma(\mathbb{R}^3) $ 为初始数据，满足无散条件（div=0）在分布意义下成立。研究区域为整个三维空间 $ \mathbb{R}^3 $，无边界条件限制，这与经典问题中在有界域中研究的设定形成对比，意味着作者需处理全局非紧性与无穷远处衰减性问题。

弱解的定义遵循Leray-Hopf框架：解 $ u \in L^\infty(0,T; L^2_\sigma(\mathbb{R}^3)) \cap L^2(0,T; H^\alpha(\mathbb{R}^3)) $ 满足方程在分布意义下成立，且满足能量不等式：

类似地，MHD系统的弱解 $ (u,B) $ 满足联合能量不等式：

在经典Navier-Stokes方程（$ \alpha = 1 $）中，Leray与Hopf于1930年代证明了弱解的存在性，但能量等式（即不等式变为等式）是否成立长期悬而未决。这是因为弱解仅由光滑解序列的弱收敛构造而来，缺乏足够的正则性以支持逐点乘积的收敛性，导致非线性项 $ (u \cdot \nabla)u $ 在积分中无法精确控制。这一问题与Onsager猜想密切相关：当速度场满足 $ u \in L^3_t L^3_x $ 时，能量可能不守恒；反之，若 $ u \in L^3_t B^{1/3}_{3,\infty,x} $，则能量守恒。因此，能量等式不仅是物理守恒律的验证，更是解正则性与唯一性的关键判据。

本文研究的分数阶情形 $ \alpha < 1 $ 更具挑战性：当 $ \alpha < \frac{5}{4} $ 时，全局光滑解的存在性仍是公开难题（类比经典NS方程），因此弱解是唯一可研究的解类。本文的目标正是在尽可能弱的正则性条件下，建立能量等式成立的充分条件，从而为分数阶系统解的唯一性提供理论支撑。

2. 主要定理或主要结果

本文的核心成果体现在多个定理中，其共同目标是为分数阶Navier-Stokes和MHD方程的弱解建立能量等式。这些定理均基于“乘子空间”（multiplier spaces）与“对称化技术”构建，显著推广了经典文献中的结果。

定理1.3（分数阶MHD方程能量等式）：
设 $ (u,B) $ 是分数阶MHD方程（1.2）在时间区间 $ [0,T] $ 上的Leray-Hopf弱解，初始数据 $ u_0, B_0 \in L^2_\sigma(\mathbb{R}^3) $，且 $ 0 < T \le \infty $。若速度场 $ u $ 和磁场 $ B $ 满足：

其中 $ \alpha \ge 1 $，$ \beta, \theta \ge 0 $，且 $ \frac{1}{2} \le \beta + \theta \le 1 $，则能量等式成立：

推论1.5（分数阶Navier-Stokes方程能量等式）：
设 $ u $ 是分数阶Navier-Stokes方程（1.1）的弱解，初始数据 $ u_0 \in L^2_\sigma(\mathbb{R}^3) $。若

其中参数同上，则能量等式成立：

定理1.6（更精细的正则性条件）：
在相同设定下，若 $ u $ 和 $ B $ 满足：

且

其中 $ \alpha \ge 1, \beta \ge 0, 0 \le \theta < 1 $，则能量等式（1.3）成立。

定理1.9（基于梯度与Lq空间的条件）：
若 $ \nabla u, \nabla B \in L^p M^3(\dot{W}^{1+\beta+\theta}_{\frac{3}{6-\theta}} \to L^{\frac{1}{92} - \frac{5}{6}\theta}) $，且 $ u, B \in L^q(L^{\frac{12}{3} - \frac{6}{\theta}}) $，满足 $ \frac{1}{p} + \frac{1}{q} = \frac{1}{2} $，$ 2 \le p < \infty $，$ -1 \le \theta < 0 $，则能量等式成立。

这些定理的突破性在于：

• 首次在分数阶MHD系统中建立能量等式，而此前研究多集中于经典情形（$ \alpha = 1 $）或仅对Navier-Stokes方程；
• 条件通过乘子空间 $ M^3(\dot{H}^s \to L^r) $ 表达，这是对经典Serrin型条件 $ u \in L^q_t L^p_x $ 的深刻推广；
• 参数 $ \theta $ 引入灵活的插值结构，允许在不同正则性尺度间自由切换；
• 定理1.9中 $ \theta < 0 $ 的情形允许对梯度的“负指数”控制，这是对传统“正则性要求”的反转，具有新意。

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

本文的证明方法高度依赖现代偏微分方程分析中的三大核心工具：对称化技术、乘子空间理论与插值估计。

a) 核心分析工具

1. 对称化技术（Symmetrization）：
   作者定义新变量 $ W = u + B $, $ Z = u - B $，将MHD方程组（1.2）转化为对称形式：

   $$ W_t + \widetilde{\Lambda}^\alpha W + \widetilde{\nabla} \cdot (W \otimes W) + \widetilde{\nabla} p = 0, $$

   其中 $ \widetilde{\Lambda}^\alpha = \mathrm{diag}((-\Delta)^\alpha, (-\Delta)^\alpha) $，$ \widetilde{\nabla} = \begin{pmatrix} 0 & \nabla \\ \nabla & 0 \end{pmatrix} $。此变换将原本不对称的非线性项 $ (u \cdot \nabla)B - (B \cdot \nabla)u $ 转化为 $ W \cdot \widetilde{\nabla} W $，从而将MHD系统“降维”为一个类似于分数阶Navier-Stokes的单变量系统。这使得后续分析可统一处理 $ u $ 与 $ B $，极大简化了非线性项的处理。

2. 乘子空间（Multiplier Spaces）：
   作者定义乘子空间 $ M^3(\dot{H}^s \to L^r) $ 为所有函数 $ \varphi $，使得 $ \varphi u \in L^r $ 对所有 $ u \in \dot{H}^s $ 成立，其范数为：

   $$ \|\varphi\|_{M^3(\dot{H}^s \to L^r)} = \sup_{u \in \dot{H}^s \setminus \{0\}} \frac{\|\varphi u\|_{L^r}}{\|u\|_{\dot{H}^s}}. $$

   此空间比经典Lebesgue空间更精细，能捕捉非线性项在Sobolev空间中的“乘法闭包”性质。例如，利用Sobolev嵌入 $ \dot{H}^{\beta+\theta}_\theta \hookrightarrow L^{\frac{6(\beta+\theta)}{3\beta + \theta}} $，可推导：

   $$ L^{\frac{6(\beta+\theta)}{3\beta + \theta}} \hookrightarrow M^3(\dot{H}^{\beta+\theta}_\theta \to L^{2(\beta+\theta)}), $$

   从而将经典 $ L^p $ 条件转化为更弱的乘子条件。

3. Gagliardo-Nirenberg插值不等式：
   作者在关键估计中使用了引理2.5：

   $$ \|\Lambda^j u\|_{L^p} \le C \|\Lambda^m u\|_{L^r}^\vartheta \|\Lambda^k u\|_{L^q}^{1-\vartheta}, $$

   其中 $ \frac{3}{p} = \frac{3}{r} \left( \frac{j-m}{k-m} \right) + \frac{3}{q} \left( \frac{k-j}{k-m} \right) $。特别地，当 $ j = \theta $, $ m = \alpha $, $ k = 0 $, $ \vartheta = \frac{\theta}{\alpha(\beta+\theta)} $，可得：

   $$ \||u|^{\beta+2\theta}\|_{L^2} \le \||u|^{\beta+2\theta-2}u\|_{M^3(\dot{H}^{\beta+\theta}_\theta \to L^{2(\beta+\theta)})} \cdot \|u\|_{L^2}^{\beta+\theta} \cdot \|\Lambda^\alpha u\|_{L^2}^{\alpha\theta}. $$

   此不等式是连接乘子空间与能量估计的桥梁。

b) 关键技术突破

• 处理非线性项的奇异性：
  在能量等式证明中，需控制 $ \int_0^t \int_{\mathbb{R}^3} (u \cdot \nabla)u \cdot u \, dx dt $。由于弱解无 $ L^\infty $ 正则性，该积分无法直接交换极限。作者采用正则化技术：对解 $ u $ 进行光滑化 $ u_\varepsilon = J_\varepsilon u $，代入方程，利用测试函数 $ u_\varepsilon $，得到近似能量等式，再通过 $ \varepsilon \to 0 $ 取极限。关键在于证明非线性项 $ \int (u_\varepsilon \cdot \nabla)u_\varepsilon \cdot u_\varepsilon \to \int (u \cdot \nabla)u \cdot u $。乘子空间条件确保了 $ |u|^{\beta+2\theta-2}u $ 在 $ \dot{H}^{\beta+\theta}_\theta $ 中的有界性，结合插值不等式，使得该非线性项在弱收敛下保持连续性。

• 处理分数阶算子的非局部性：
  传统方法依赖局部微分算子（如 $ \nabla $）的分部积分，但 $ \Lambda^\alpha $ 为非局部算子。作者通过傅里叶分析与乘子空间理论绕过这一障碍，将 $ \Lambda^\alpha $ 的作用转化为符号乘法，从而在频域中控制能量耗散项。

4. 与之前工作的比较

本文在多个维度上显著推进了已有结果：

1. 推广至分数阶情形：
   早期工作如Serrin [18]、Shinbrot [19]、Berselli-Chiodaroli [2] 均针对 $ \alpha = 1 $ 的经典方程。本文首次将这些结果推广至任意 $ \alpha \ge 1 $，且对 $ \alpha > 1 $ 时仍保持有效性，填补了分数阶系统能量守恒理论的空白。

2. 放宽正则性条件：
   Zeng [26] 在 $ \alpha = 1 $ 时要求 $ u \in L^q L^p $ 且 $ \frac{2}{q} + \frac{2}{p} \le 1, p \ge 4 $。本文定理1.3中，当 $ \theta = 0 $ 时，条件退化为 $ u \in L^{\frac{2\alpha}{\alpha\beta}} M^3(\dot{H}^\beta \to L^{2\beta}) $，而由嵌入关系，$ L^{\frac{6\beta}{3\beta}} = L^2 \hookrightarrow M^3(\dot{H}^\beta \to L^{2\beta}) $，故只需 $ u \in L^{\frac{2\alpha}{\alpha\beta}} L^2 $，这比 $ L^4 L^4 $ 更弱（因 $ \alpha \ge 1 $，指数可小于4）。特别地，当 $ \beta = 1, \theta = 0 $，则 $ u \in L^2 L^2 $ 即可，远弱于经典要求。

3. 引入乘子空间作为新判据：
   Chen-Zhang [3] 在经典情形中首次提出乘子空间条件，但未涉及MHD或分数阶。本文将此框架系统移植到分数阶MHD系统，且进一步扩展至梯度项的乘子控制（定理1.6、1.9），使条件覆盖更广的函数空间。

4. 拓展时间积分指数范围：
   Corollary 1.10 中 $ q \in [2, \infty) $，而[3]中对应条件为 $ q \in [3,4) $，这意味着本文允许更弱的时间可积性，从而能处理更“粗糙”的时间演化。

5. 统一处理Navier-Stokes与MHD：
   以往研究多分开处理，本文通过对称化技术实现统一框架，使MHD系统的能量等式条件与Navier-Stokes系统结构一致，揭示了二者在能量守恒机制上的深层联系。

综上，本文不仅在数学技术上实现突破，更在物理意义上为分数阶流体系统的能量守恒提供了首个系统性判据，为后续研究解的唯一性、正则性与数值模拟奠定了理论基础。

6. Weighted estimates for the Stokes semigroup in the half-space

半空间中Stokes半群的加权估计

作者: Angelica Pia Di Feola, Vittorio Pane

类别: math.AP, math-ph, math.MP, 35Q30, 35B65, 76D05

发布日期: 2025-08-08

arXiv ID: 2508.06119v2

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

详细分析

严格按照以下格式输出，避免任何额外的格式错误，确保所有数学公式正确渲染：

中文标题: 半空间中Stokes半群的加权估计

1. 研究对象和背景

本文研究的是半空间 $\mathbb{R}^n_+ = \{ x \in \mathbb{R}^n : x_n > 0 \}$ 上的Stokes方程组的初边值问题，其数学形式为：

该系统描述了不可压缩粘性流体在半空间中的无滑移边界条件下的运动，其中 $v(t,x)$ 是速度场，$\pi(t,x)$ 是压力场。与传统的Stokes方程研究不同，本文不再局限于标准的Lebesgue空间 $L^p(\mathbb{R}^n_+)$，而是引入了一类加权Lebesgue空间 $L^p_w(\mathbb{R}^n_+)$，其权函数定义为：

且 $\bar{x}_j \in \mathbb{R}^n_+$ 是固定的（不一定互异）点。该权函数是尺度不变的，即满足 $w(\lambda x) = \lambda^\alpha w(x)$，这与经典径向权 $|x|^\alpha$ 具有相同的缩放性质，但其结构更为灵活，允许在多个空间点处引入局部奇异性。这种设计使得权函数能够刻画流体在多个“源点”或“边界邻域”附近的行为，例如靠近多个障碍物、尖角或边界突变区域的流动。

本文研究的函数空间具有显著的非标准性。首先，空间 $L^p_w(\mathbb{R}^n_+)$ 定义为满足 $w(x)u \in L^p(\mathbb{R}^n_+)$ 的函数类，其范数为 $\|u\|_{L^p_w} = \|uw\|_{L^p}$。该空间在 $p > n \geq 3$ 时被考虑，这一条件确保了权函数的积分奇异性可控，且与Stokes方程的尺度不变性相容。此外，文中还定义了相应的对偶空间 $L^{p'}_{w'}(\mathbb{R}^n_+)$，其中 $w'(x) = \prod_{j=1}^m |x - \bar{x}_j|^{\alpha_j'}$，$\alpha_j' = -\alpha_j$，用于处理对偶性与Helmholtz分解。

特别值得注意的是，边界条件 $v|_{x_n=0} = 0$ 是Dirichlet型的无滑移条件，这使得问题具有强边界效应。在加权空间中，边界附近的速度衰减行为不再由全局光滑性控制，而是由权函数在边界附近的局部行为决定。例如，若某点 $\bar{x}_j$ 靠近边界 $x_n=0$，则 $w(x)$ 在该区域会增强，从而要求速度在该边界邻域内更快地衰减，以满足加权可积性。这为研究流体在复杂边界几何（如多孔介质、多障碍物排列）中的行为提供了理论工具。

本文的动机源于对Navier-Stokes方程在加权空间中渐近行为的长期研究目标。作者明确指出，其工作是“迈向加权空间中Navier-Stokes系统分析的第一步”。此前的研究（如Galdi与Maremonti、Maremonti与Pane）仅处理径向权 $|x|^\alpha$，而本文首次允许多个局部奇异性点，从而极大地扩展了加权空间的适用范围。这一推广不仅在数学上具有挑战性（因权函数不再是径向对称，导致Laplace算子与卷积核的分析复杂化），而且在物理上也更具现实意义：例如，在模拟河流中多个桥墩周围的涡旋衰减、或工业管道中多个突起引起的流动扰动时，单一径向权显然无法刻画多点干扰的叠加效应。

因此，本文研究的核心对象是：在具有多点局部奇异性加权的Lebesgue空间中，Stokes半群的适定性、正则性与时间衰减估计。其背景是为后续研究Navier-Stokes方程在复杂几何区域（如半空间、外部区域）中的解的长时间行为、稳定性与渐近展开奠定坚实的线性理论基础。

2. 主要定理或主要结果

本文的核心成果是证明了在上述加权空间框架下，Stokes初边值问题（4）存在唯一的强解，并获得了精细的加权估计。具体而言，作者证明了如下主要定理：

定理 1：设 $p > n \geq 3$，权函数 $w(x)$ 如（1）式定义，且 $v_0 \in J_p(\mathbb{R}^n_+)$（即 $v_0$ 是加权空间中满足散度为零的光滑函数在 $L^p_w$ 范数下的闭包），则存在唯一的光滑解 $(v, \pi)$ 满足Stokes系统（4）。此外，存在常数 $c > 0$（独立于 $v_0$ 和 $s \geq 0$），使得以下估计对所有 $t > s \geq 0$ 成立：

1. 半群有界性：

   $$ \|v(t)\|_{L^p_w(\mathbb{R}^n_+)} \leq c \|v(s)\|_{L^p_w(\mathbb{R}^n_+)}, $$

   表明解在加权 $L^p$ 范数下随时间非增，即Stokes半群是 $L^p_w$ 上的非扩张半群。

2. 高阶正则性与时间衰减：对任意 $l,k \in \mathbb{N}$，$q > n$，有

   $$ \|\partial_t^l \nabla^k v(t)\|_{L^q(\mathbb{R}^n_+)} \leq c (t-s)^{-\frac{n}{2}\left(\frac{1}{p}-\frac{1}{q}\right) - \frac{k}{2} - l} \|v(s)\|_{L^p_w(\mathbb{R}^n_+)}, $$

   此式表明，即使初始数据仅属于加权空间 $L^p_w$（而非经典 $L^q$），解在任意正时间后立即获得任意高阶空间与时间导数的 $L^q$ 正则性，且衰减速率与经典热核估计一致，但其依赖于初始数据的加权范数。

3. 压力估计：

   $$ \|\nabla \pi_v(t)\|_{L^q(\mathbb{R}^n_+)} \leq c (t-s)^{-\frac{n}{2}\left(1-\frac{1}{q}\right)-1} \|v(s)\|_{L^p_w(\mathbb{R}^n_+)}, $$

   压力梯度的衰减速度比速度场慢一阶，符合Stokes系统中压力由速度梯度通过椭圆方程决定的物理本质。

4. 初始连续性：

   $$ \lim_{t \to 0^+} \|v(t) - v_0\|_{L^p_w(\mathbb{R}^n_+)} = 0, $$

   确保解在加权空间中连续依赖于初值。

5. 正则性嵌入：对任意 $q > n$，$\varepsilon > 0$，$T > 0$，有

   $$ v \in C([0,T); J_p(\mathbb{R}^n_+)) \cap C((\varepsilon,T); L^q(\mathbb{R}^n_+)), $$

   说明解在 $t=0$ 处连续取初值，而在任意 $t>0$ 后立即进入经典 $L^q$ 空间，体现出“瞬时正则化”效应。

特别地，当所有 $\bar{x}_j = 0$ 时，权函数退化为径向权 $|x|^\alpha$，此时定理与文献 [11] 的结果一致，验证了本文框架的兼容性。然而，当 $\bar{x}_j$ 不全为零时，定理首次在非径向、多点奇异性的加权空间中建立了完整的Stokes半群理论。

该定理的突破性在于：它不要求初始速度 $v_0$ 属于经典空间（如 $L^p$ 或 $W^{1,p}$），仅需其加权版本 $w v_0 \in L^p$，而权函数允许在多个点处有奇异性。这使得初始数据可以包含局部发散行为（如在 $\bar{x}_j$ 处 $|v_0(x)| \sim |x - \bar{x}_j|^{-\alpha_j}$），只要总权重满足 $\sum \alpha_j = 1 - n/p$，解仍存在且光滑。这一结果在物理上意味着：即使初始速度在多个位置有“弱奇点”（如局部涡核），只要其加权积分有限，系统仍能“自我修复”并产生全局光滑解。

此外，定理中对压力的估计（7）和高阶导数估计（6）均依赖于加权初值范数，而非经典范数，这为后续研究Navier-Stokes非线性项 $\nabla \cdot (v \otimes v)$ 的估计提供了关键工具。

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

本文的证明建立在经典Stokes理论与现代加权分析的深度融合之上，其技术路线包含以下几个核心工具与技巧：

a) 核心分析学工具：

1. Helmholtz分解：作者在加权空间中建立了如定理2所示的分解：

   $$ L^q_w(\mathbb{R}^n_+) = J_q(\mathbb{R}^n_+) \oplus G_q(\mathbb{R}^n_+), $$

   其中 $J_q$ 是散度为零的向量场空间，$G_q$ 是梯度场空间。这一分解是构造Stokes投影与压力估计的基础，其证明依赖于加权Sobolev空间理论与对偶性论证。

2. 加权Sobolev不等式与插值理论：作者利用了Lorentz空间理论（定义10）与插值不等式（引理2、3）。特别是引理3：

   $$ \|g\|_{L^q} \leq c \|g\|_{L^q_w}^{\frac{n}{q}} \|g\|_{L^\infty}^{1 - \frac{n}{q}}, \quad \forall q > n, $$

   该不等式将加权 $L^p$ 范数与经典 $L^q$ 范数联系起来，是证明高阶正则性的关键。它允许作者在加权初值控制下，通过插值获得经典空间中的估计。

3. 热核估计与卷积方法：作者采用热核 $H(t,x)$ 的经典估计（引理4）：

   $$ \|\partial_t^l \nabla^k H(t,\cdot) * g\|_{L^r} \leq c (t-s)^{-\frac{n}{2}(\frac{1}{p}-\frac{1}{r}) - \frac{k}{2} - l} \|g\|_{L^p}, $$

   并将其推广至加权情形。关键一步是证明卷积 $H(t,\cdot) * v_0$ 在加权空间中的有界性，这依赖于对 $w^{-1} \in L^{\alpha n, \infty}(\mathbb{R}^n)$ 的分析（引理5）。

4. Muckenhoupt $A_p$ 权理论：作者证明了其权函数 $w(x)$ 属于 $A_p$ 类（定义1），从而保证了Riesz变换、Hilbert变换等奇异积分算子在 $L^p_w$ 上有界（定理3）。这是建立Helmholtz分解与压力估计的基石。

b) 关键技术与奇异性处理技巧：

1. 权函数的拉普拉斯估计：本文最核心的技术挑战在于处理非径向权函数 $w(x)$ 的二阶导数。作者通过数学归纳法证明了引理1：

   $$ \Delta (w'^{p'})(x) \leq (\alpha' p' + n - 2) \sum_{h=1}^m (\alpha_h' p') \prod_{i=1}^m |x - \bar{x}_i|^{\alpha_i' p' - 2} \delta_{hi} < 0, $$

   该不等式表明，尽管 $w(x)$ 在多个点处有奇异性，其对偶权 $w'^{p'}$ 的拉普拉斯仍为负，这在能量估计中用于抵消非线性项的正贡献。这一结果的证明涉及复杂的乘积函数求导与向量点积估计，是本文最具创新性的数学推导。

2. 截断函数与能量方法：在证明解的有界性（引理6）时，作者引入光滑截断函数 $h_R(x)$，将全局估计局部化，并乘以 $h_R \phi (\sigma^2 + |\phi|^2)^{p'/2 - 1} w^{\alpha' p'}$ 进行积分。通过分部积分，得到能量不等式（29），其中 $\Delta w^{\alpha' p'}$ 项因负号被吸收，从而控制了边界项与奇异性项。

3. Beppo Levi定理与极限传递：在证明插值不等式（19）时，作者先在有界球 $B_R$ 上建立估计，再令 $R \to \infty$，利用单调收敛定理（Beppo Levi）将局部估计传递至全空间，避免了对无穷远处行为的直接控制。

4. 对偶空间与对偶估计：通过构造对偶权 $w'$，作者将 $L^p_w$ 上的估计转化为 $L^{p'}_{w'}$ 上的估计，利用对偶性完成对压力项的控制，这在非径向情形下是经典方法的必要推广。

4. 与之前工作的比较

本文的突破性主要体现在权函数结构的泛化与解的正则性理论的扩展两个方面。

首先，文献 [9] 与 [11] 仅考虑径向权 $w(x) = |x|^\alpha$，其中 $\alpha = 1 - n/p$。该权函数在原点处有单一奇异性，且具有球对称性，使得许多分析（如Fourier变换、径向对称估计）可简化。然而，这种对称性限制了其在非对称几何中的应用。本文首次引入多点乘积权 $w(x) = \prod_{j=1}^m |x - \bar{x}_j|^{\alpha_j}$，允许在 $\mathbb{R}^n_+$ 中任意 $m$ 个位置（包括边界附近）引入局部奇异性，从而彻底打破了径向对称假设。这是对加权空间理论的根本性推广。

其次，在解的正则性方面，以往结果通常要求初始数据 $v_0 \in L^p$ 或 $L^p \cap L^q$，而本文仅要求 $v_0 \in J_p(\mathbb{R}^n_+)$，即 $w v_0 \in L^p$。这意味着 $v_0$ 可以在 $\bar{x}_j$ 处具有 $|x - \bar{x}_j|^{-\alpha_j}$ 的奇性（$\alpha_j < n/p$），而此前的理论无法处理此类非均匀奇点。例如，若 $\bar{x}_1$ 在边界上，$\bar{x}_2$ 在内部，则解在边界附近和内部区域可具有不同衰减速率，而本文的估计仍统一成立。

此外，本文首次在非径向加权空间中建立了完整的半群估计：不仅证明了解的存在唯一性，还给出了任意阶导数的时间衰减率（6）与压力估计（7），这些估计的衰减指数与经典热核一致，但其“驱动源”是加权初值范数，而非经典范数。这意味着，即使初始数据在多个点处“不够光滑”，系统仍能产生“全局光滑”的解，且其衰减行为由加权总能量控制。

在方法上，本文克服了以往研究中依赖径向对称性与球坐标变换的局限，转而使用局部分析、乘积函数微分、Muckenhoupt权理论与插值不等式等现代工具，构建了一套适用于非对称、多奇点加权空间的全新分析框架。

综上，本文不仅将Galdi-Maremonti等人的工作从“径向权”推广至“多点乘积权”，更首次在这一新框架下建立了Stokes半群的完整正则性理论，为研究Navier-Stokes方程在真实复杂边界（如多障碍物、多孔介质）中的行为提供了前所未有的数学工具。这一工作标志着加权空间中偏微分方程理论从“对称理想”迈向“真实几何”的重要一步。

7. Local Rigidity of Quasi–Lie Brackets on Quaternionic Banach Modules and Applications to Nonlinear PDEs

四元数巴拿赫模上拟李括号的局部刚性及其在非线性偏微分方程中的应用

作者: Nassim Athmouni

类别: math.RA, math.AP, math.FA, 17B66, 46G20, 47A10, 35Q35, I.1.2; G.1.10; I.1.1

发布日期: 2025-10-11

arXiv ID: 2510.10124v1

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

详细分析

中文标题: 四元数巴拿赫模上拟李括号的局部刚性及其在非线性偏微分方程中的应用

1. 研究对象和背景

本文研究的对象是定义在四元数巴拿赫右模（quaternionic Banach right module）上的拟李括号（quasi–Lie bracket），并致力于在局部区域内将其修正为精确的李括号（Lie bracket）。拟李括号是一种近似满足李代数公理的双线性映射，其与标准李括号的主要区别在于它可能不满足反对称性（antisymmetry）和雅可比恒等式（Jacobi identity）。具体而言，设 $ X $ 是一个右四元数巴拿赫模，即一个在四元数代数 $ \mathbb{H} $ 上定义的右模，并配备范数 $ \|\cdot\| $，使得右乘操作 $ x \mapsto xq $（$ q \in \mathbb{H} $）是连续的。论文考虑一个双线性映射 $ [\cdot,\cdot]: X \times X \to X $，该映射在某个球 $ B(0, \varepsilon_0) \subset X $ 上满足以下两个“缺陷”条件：

• 反对称缺陷：$ [x, y] + [y, x] = \varphi(x, y) $，其中 $ \varphi: X \times X \to X $ 是一个可控的误差项；
• 雅可比缺陷：$ [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = \psi(x, y, z) $，其中 $ \psi: X \times X \times X \to X $ 是另一个可控误差项。

这些缺陷在非线性偏微分方程（PDEs）的背景下自然出现。例如，在研究四元数值的拟线性输运型方程时：

其中 $ u: \mathbb{R} \times \mathbb{R}^n \to \mathbb{H} $ 是未知函数，$ \nabla u $ 表示空间梯度，而 $ \{ \cdot, \cdot \} $ 是一个待构造的李括号结构。该方程的非线性项来源于某种“括号运算”，其原始形式（如交换子或拟交换子）通常仅近似满足李代数性质。若直接使用未修正的括号，会导致方程缺乏良好的适定性（well-posedness）和解的长期行为控制。

论文所研究的函数空间是 $ L^2(\mathbb{R}^n, \mathbb{H}) $ 或其高阶 Sobolev 空间 $ H^s(\mathbb{R}^n, \mathbb{H}) $，其中 $ s > n/2 + 1 $，这是标准的 Sobolev 嵌入条件，确保函数空间中的乘积运算连续。特别地，该空间具有右 $ \mathbb{H} $-线性结构，即对任意 $ q \in \mathbb{H} $，有 $ [u, vq] = [u, v]q $，这一性质在四元数分析中至关重要，因为四元数代数是非交换的，传统复分析工具（如复线性泛函分析）无法直接适用。

研究的核心现象是：当拟李括号的缺陷在局部球 $ B(0, \varepsilon_0) $ 上足够小时，是否可以通过一个显式构造的双线性修正项，将其“刚性化”为一个精确满足雅可比恒等式的李括号，同时保持右 $ \mathbb{H} $-线性？ 这一现象在经典李代数变形理论中已有研究（如 Gerstenhaber 和 Nijenhuis–Richardson 的工作），但这些工作主要在有限维代数或形式幂级数框架下进行，缺乏对函数空间中定量误差控制和非交换结构兼容性的处理。本文首次在四元数巴拿赫模这一无限维、非交换、非线性分析的框架下，建立了该现象的构造性、定量性、局部刚性结果。

该研究的背景源于四元数谱理论的近期发展（如 slice-hyperholomorphic 函数演算、S-谱理论），但这些工作主要处理线性算子和线性方程。本文则转向非线性结构的代数刚性，填补了四元数分析中“代数变形理论”与“非线性PDE适定性”之间的空白。其动机是为四元数非线性PDE提供一个可计算、可估计的非线性结构基础，使得如 Beale–Kato–Majda 型持续准则等经典工具能够被推广应用。

2. 主要定理或主要结果

本文的核心结果是局部刚性定理（Local Rigidity Theorem），其正式表述如下：

定理 4.11（局部刚性定理）：设 $ X $ 是一个右四元数巴拿赫模，$ [\cdot,\cdot]: X \times X \to X $ 是一个双线性映射，满足以下条件：

1. 有界性：存在常数 $ A > 0 $，使得对所有 $ x, y \in B(0, \varepsilon_0) $，有 $ \| [x, y] \| \leq A \|x\| \|y\| $；
2. 反对称缺陷控制：存在常数 $ C_1 \geq 0 $，使得 $ \| \varphi(x, y) \| \leq 2C_1 \|x\| \|y\| (\|x\| + \|y\|) $；
3. 雅可比缺陷控制：存在常数 $ C_2 \geq 0 $，使得 $ \| \psi(x, y, z) \| \leq 6C_2 \|x\| \|y\| \|z\| $。

则存在一个半径 $ \varepsilon^* > 0 $，使得对任意 $ 0 < \varepsilon \leq \varepsilon^* $，在球 $ B(0, \varepsilon) \subset X $ 上，存在一个显式构造的双线性修正项 $ \Phi: X \times X \to X $，满足：

• 右 $ \mathbb{H} $-线性保持性：若原括号 $ [\cdot,\cdot] $ 是右 $ \mathbb{H} $-线性的，则 $ \Phi $ 也是；
• 修正后括号为精确李括号：定义修正后的括号为
  $$ \{x, y\} := [x, y] - \Phi(x, y), $$
  则 $ \{ \cdot, \cdot \} $ 满足：
  $$ \{x, y\} + \{y, x\} = 0, \quad \{x, \{y, z\}\} + \{y, \{z, x\}\} + \{z, \{x, y\}\} = 0, $$
  即为精确的李括号；
• 修正项的显式估计：存在常数 $ K = \frac{15}{2} C_2 $，使得
  $$ \| \Phi(x, y) \| \leq 2C_2 \|x\| \|y\| (\|x\| + \|y\|), $$
  且
  $$ \| \Phi \|_\varepsilon \leq 4C_2 \varepsilon, $$
  其中 $ \| \cdot \|_\varepsilon $ 是在 $ B(0, \varepsilon) $ 上定义的局部算子范数；
• 可接受半径：$ \varepsilon^* = \min \left\{ \frac{24}{5A}, \frac{48}{5C_1}, \varepsilon_0 \right\} $。

此外，该构造是函数分析意义上的显式，而非形式幂级数，所有估计均在固定球 $ B(0, \varepsilon) $ 上一致成立，且不依赖于全局结构。

该定理的证明依赖于一个关键的同伦公式（homotopy identity）：

其中：

• $ d $ 是 Chevalley–Eilenberg 微分，作用于 $ \varepsilon $-局部上链空间 $ C^k(B(0,\varepsilon)) $；
• $ T $ 是径向同伦算子，将三线性上链映射到双线性上链；
• $ \Pi $ 是有限秩投影，代表上同调障碍；
• $ M $ 是由缺陷 $ \varphi $ 和 $ \psi $ 控制的小误差算子，满足 $ \|M\| \leq C \varepsilon $。

修正项 $ \Phi $ 被构造为：

并通过添加一个有限维辅助项 $ \Phi_0 $ 来消除 $ \Pi(\psi) $ 的障碍，从而确保雅可比恒等式被精确满足。

此定理的强项在于：它不仅证明了刚性存在，还显式构造了修正项，给出了定量误差界，并保持了四元数结构的右线性性，这在以往的代数变形理论中是前所未有的。

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

本文的核心分析工具是上同调理论与算子分析的结合，特别是Chevalley–Eilenberg 上同调与径向同伦算子的显式构造。

a) 核心分析学工具

1. Chevalley–Eilenberg 微分 $ d $：这是李代数上同调的标准工具，用于衡量一个双线性映射偏离李括号的程度。在本文中，$ d $ 作用于局部上链空间 $ C^k(B(0,\varepsilon)) $，其定义为：

   $$ (d\omega)(x_0, \dots, x_k) = \sum_{i=0}^k (-1)^i [x_i, \omega(x_0, \dots, \hat{x_i}, \dots, x_k)] + \sum_{0 \leq i < j \leq k} (-1)^{i+j} \omega([x_i, x_j], \dots, \hat{x_i}, \dots, \hat{x_j}, \dots). $$

   论文证明了 $ d $ 在局部范数下具有显式算子范数界：

   $$ \|d\|_{k \to k+1} \leq (k+1)A + \frac{k+1}{2}(A + 2C_1), $$

   这是将非线性缺陷纳入线性算子框架的关键。

2. 径向同伦算子 $ T $：这是本文最核心的技术工具。对三线性上链 $ \Theta \in C^3 $，定义：

   $$ (T\Theta)(x, y) = \int_0^1 t^2 \Theta(tx, ty, t(x+y)) \, dt. $$

   该算子将三线性映射“压缩”为双线性映射，并满足同伦公式：

   $$ Td + dT = \mathrm{Id} - \Pi + M. $$

   论文证明了其范数估计：

   $$ \|T\|_{3 \to 2} \leq \frac{\varepsilon}{3}, $$

   该估计依赖于积分中 $ t^5 $ 的积分值 $ \int_0^1 t^5 dt = \frac{1}{6} $，以及 $ \|x+y\| \leq 2\varepsilon $ 的几何估计。

3. Neumann 级数反演：由于 $ M $ 是小算子（$ \|M\| < 1/2 $），$ \mathrm{Id} + M $ 可逆，且

   $$ (\mathrm{Id} + M)^{-1} = \sum_{n=0}^\infty (-1)^n M^n, \quad \|(\mathrm{Id} + M)^{-1}\| \leq 2. $$

   这使得修正项 $ \Phi = T(\mathrm{Id} + M)^{-1} \psi $ 被显式表达为一个收敛级数，从而保证了构造的可行性。

4. 有限秩投影 $ \Pi $：为消除上同调障碍 $ \Pi(\psi) \in \mathrm{Im}(d) \cap \ker(d)^\perp $，论文引入了一个有限维子空间 $ E = \mathrm{Im}(\Pi) $，并在其上构造一个右 $ \mathbb{H} $-线性提升 $ \Phi_0 $，使得 $ d\Phi_0 = \Pi(\psi) $。这依赖于 $ E $ 的有限维性（由紧嵌入或抽象投影保证）。

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

• 非交换性处理：四元数非交换性使得传统复线性工具失效。论文通过右 $ \mathbb{H} $-线性假设，确保所有算子（$ d, T, \Pi, M $）与右乘 $ q \in \mathbb{H} $ 可交换，从而保持结构一致性。
• 缺陷的定量控制：不同于形式变形理论，本文将缺陷 $ \varphi, \psi $ 的范数以 $ \varepsilon $ 为参数进行量化（如 $ \|\psi\|_\varepsilon \leq 6C_2 $），并最终得到 $ \varepsilon^* $ 的显式阈值，使得所有估计在 $ B(0, \varepsilon) $ 上一致成立。
• 二次余项的精细估计：在验证修正后括号满足雅可比恒等式时，余项 $ Q(\Phi) $ 包含形如 $ \Phi(\Phi(x,y), z) $ 的项。论文通过分项估计（纯二次项、混合项）得到：
  $$ \|Q(\Phi)\|_\varepsilon \leq 6(1+A)\|\Phi\|_\varepsilon^2, $$
  并结合 $ \|\Phi\|_\varepsilon \leq 4C_2 \varepsilon $，确保 $ Q(\Phi) $ 在小球内可忽略，从而保证雅可比恒等式被精确满足。

4. 与之前工作的比较

本文在多个维度上实现了对经典工作的突破：

a) 对先前工作的改进

1. 从形式到构造：Gerstenhaber（1964）与 Nijenhuis–Richardson（1967）的李代数变形理论依赖于形式幂级数和上同调障碍的“存在性”论证，但未给出显式修正公式或定量误差界。本文首次在无限维函数空间中，构造了显式修正项 $ \Phi $，并给出了其范数的显式上界（如 $ \|\Phi\|_\varepsilon \leq 4C_2 \varepsilon $）。

2. 从复数到四元数：现有非线性PDE的刚性理论（如 Kato–Ponce 估计、Bony 乘积估计）主要基于复数或实数函数空间。本文首次将刚性理论拓展至四元数巴拿赫模，解决了非交换性与右线性性带来的根本性障碍。文献中 Alpay 等人的 S-谱理论虽研究四元数算子，但仅限于线性框架，从未涉及李括号变形。

3. 从抽象到可计算：Kontsevich–Soibelman 的 $ L_\infty $-代数方法依赖于形式幂级数和形变量子化，缺乏收敛性保证和函数空间中的实际应用。本文用Neumann级数+径向同伦替代形式级数，使修正项在 $ L^2 $ 或 $ H^s $ 空间中收敛且可估计，从而可直接用于PDE适定性分析。

4. 维度与正则性要求的放宽：在经典PDE中，类似刚性结果（如对交换子的正则化）往往要求初始数据在 $ H^s $ 中 $ s > n/2 + 2 $。本文通过将缺陷控制在 $ H^s $ 下 $ s > n/2 + 1 $，并利用同伦算子的“积分平均”性质，降低了正则性要求，使得结果适用于更广泛的物理模型（如四元数流体方程）。

b) 结果的强度提升

• 存在性与唯一性：传统方法依赖于抽象不动点定理（如 Banach 不动点），但无法给出解的显式依赖于缺陷参数的阈值。本文通过显式构造 $ \Phi $，使得修正后的方程 $ \partial_t u + \{u, \nabla u\} = 0 $ 的非线性项为局部 Lipschitz，从而直接应用标准 Sobolev 估计，获得局部适定性与Beale–Kato–Majda 型持续准则，且所有常数显式依赖于 $ C_1, C_2, A $。
• 结构保持性：其他工作可能通过正则化或平均化消除缺陷，但破坏了原始系统的代数结构（如守恒律）。本文的修正完全保持右 $ \mathbb{H} $-线性性，这对四元数物理系统（如量子力学中的自旋动力学）至关重要。
• 统一框架：本文首次将代数刚性、函数分析与非线性PDE三者统一在一个定量框架中，为四元数非线性分析开辟了新范式。

综上，本文不仅在方法论上创新，更在应用深度上实现了从“理论存在”到“可计算应用”的跨越。

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

1. Fujita-type results for parabolic equations with Hartree-type nonlinearities

带Hartree型非线性项的抛物方程的Fujita型结果

作者: Ahmad Z. Fino, Berikbol T. Torebek

类别: math.AP

发布日期: 2025-10-13

arXiv ID: 2510.11648v1

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

摘要翻译

中文标题: 带Hartree型非线性项的抛物方程的Fujita型结果

摘要翻译: 本文研究了一类具有Hartree型非线性项的抛物方程整体解的临界行为，方程形式如下：

其中 $\beta \in (0,2]$，$n \geq 1$，$p > 1$，$q \geq 1$，$(-\Delta)^{\frac{\beta}{2}}$（$\beta \in (0,2)$）表示分数阶拉普拉斯算子，符号 $\ast$ 表示 $\mathbb{R}^n$ 上的卷积运算，$\mathcal{K} : (0,\infty) \to (0,\infty)$ 为连续函数，满足 $\mathcal{K}(|\cdot|) \in L^1_{\mathrm{loc}}(\mathbb{R}^n)$，且在无穷远处邻域内单调递减。我们建立了该问题整体解非存在性的充分条件，部分改进了Filippucci与Ghergu在[Discrete Contin. Dyn. Syst. A, 42 (2022) 1817–1833]与[Nonlinear Anal., 221 (2022) 112881]中的相关结果。此外，当卷积项对应于Riesz位势时，我们进一步获得了局部与整体解的存在性结果。本文的方法基于非线性容量方法与不动点原理，并结合Hardy-Littlewood-Sobolev不等式。

2. Long-time behaviour and bifurcation analysis of a two-species aggregation-diffusion system on the torus

环面上两类聚集-扩散系统的长时间行为与分岔分析

作者: José A. Carrillo, Yurij Salmaniw

类别: math.AP, 35B32, 35Q92, 35R09, 35R05, 35P05

发布日期: 2025-07-04

arXiv ID: 2507.03431v2

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

摘要翻译

中文标题: 环面上两类聚集-扩散系统的长时间行为与分岔分析

摘要翻译: 本文研究了一类具有线性扩散与对称非局部相互作用的非局部聚集-扩散方程的稳态解，包括其存在性与稳定性。对于标量情形，我们在仅假设变差有界的条件下，推广了先前的结果，表明模型的关键特征——如解的存在性、正则性、分岔结构以及稳定性交换——依然成立。对于相应的两类系统，我们基于Crandall-Rabinowitz分岔理论，进行了严格完整的分岔分析。该框架使我们能够系统分类所有由均匀态分支出的解路径，特别关注由自相互作用强度与交叉相互作用强度所引发的分支，并进一步分析了临界稳定性点处分支的稳定性。本分析依赖于将解的分类转化为非线性映射的不动点问题，并细致推导了至三阶的Fréchet导数。一个引人注目的应用是细胞-细胞黏附建模：我们的分析揭示，在所有相互作用均为纯吸引性的建模框架下，系统在细胞分选的初始阶段即可产生稳定的 segregation（分隔）模式。

3. Gaussian beam interactions and inverse source problems for nonlinear wave equations

非线性波动方程的高斯束相互作用与逆源问题

作者: Matti Lassas, Tony Liimatainen, Valter Pohjola, Teemu Tyni

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

发布日期: 2025-10-13

arXiv ID: 2510.11494v1

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

摘要翻译

中文标题: 非线性波动方程的高斯束相互作用与逆源问题

摘要翻译: 我们研究了全局双曲洛伦兹流形上半线性波动方程

的逆源问题。我们证明，在问题所固有的自然规范对称性下，系数 $q_1$ 和 $q_2$ 以及源项 $F$ 均可由局部测量数据唯一恢复。进一步地，若 $q_1$ 已知，则可唯一确定源项 $F$，这一结果与线性方程的逆源问题形成鲜明对比——在后者的框架下，唯一恢复通常不可能实现。我们的结果还推广了先前的研究，通过摒弃“$u=0$ 为解”的假设，并允许二次非线性项的存在。核心贡献在于构建了一套用于高斯束非线性相互作用的演算体系。该框架提供了显式表达式，用于表征由两个或多个高斯束乘积所生成的波场。我们预期这一演算体系将成为相关研究中的通用工具，为傅里叶积分算子方法提供一种切实可行的替代途径。

4. Introduction to quantitative De Giorgi methods

量化De Giorgi方法导论

作者: Giovanni Brigati, Clément Mouhot

类别: math.AP

发布日期: 2025-10-13

arXiv ID: 2510.11481v1

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

摘要翻译

中文标题: 量化De Giorgi方法导论

摘要翻译: De Giorgi（1958）与Nash（1959）的理论解决了希尔伯特第十九问题，构成了二十世纪偏微分方程分析领域的一项重大突破。该理论聚焦于具有非正则系数的椭圆型与抛物型方程解的Hölder正则性，并由Moser（1960）进一步扩展，纳入了Harnack不等式。本课程系统回顾了椭圆型与抛物型情形下的经典De Giorgi方法，并引入其近期在动力学理论中自然出现的次椭圆型方程中的推广。最简单的例子是动能变量上具有粗糙扩散系数矩阵的Kolmogorov方程。我们呈现紧性论证，但特别强调最近发展起来的基于轨迹构造的量化方法。本讲义自成体系，可作为该主题的通用入门材料。

5. Uniform boundedness of conformal energy for the 3D nonlinear wave equation

三维非线性波动方程共形能量的均匀有界性

作者: Jingya Zhao

类别: math.AP

发布日期: 2025-01-21

arXiv ID: 2501.12103v2

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

摘要翻译

中文标题: 三维非线性波动方程共形能量的均匀有界性

摘要翻译: 本文研究满足零条件的三维非线性波动方程，该方程是非线性波动型方程理论中的基本模型，最初由Christodoulou \cite{Christodoulou86} 和Klainerman \cite{Klainerman86} 提出。针对一类大初值数据，我们通过结合精细的能量估计与bootstrap论证，建立了全局存在性与线性散射性。此外，我们证明了低阶共形能量在整个时间演化过程中保持一致有界。

6. On the boundedness of dilation operators in the context of Triebel-Lizorkin-Morrey spaces

三角-利兹orkin-莫雷空间中伸缩算子的有界性研究

作者: Marc Hovemann, Markus Weimar

类别: math.FA, cs.NA, math.AP, math.NA, 46E35, 46E30

发布日期: 2025-10-13

arXiv ID: 2510.11439v1

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

摘要翻译

中文标题: 三角-利兹orkin-莫雷空间中伸缩算子的有界性研究

摘要翻译: 本文研究了在三角-利兹orkin-莫雷空间 $\mathcal{E}^{s}_{u,p,q}(\mathbb{R}^d)$ 框架下，伸缩算子 $ D_\lambda \colon f \mapsto f(\lambda\,\cdot) $（其中 $\lambda > 1$）的行为。为此，我们推导了算子（准）范数 $\| D_\lambda \,|\, \mathcal{L}\big(\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)\big) \|$ 的上界与下界。我们证明：当 $s > \sigma_p$ 时，该算子（准）范数在常数意义下渐近于 $\lambda^{s - \frac{d}{u}}$；在临界情形 $s = \sigma_p$ 下，其行为表现为 $\lambda^{\sigma_p - \frac{d}{u}}$ 乘以依赖于精细指标 $q$ 的对数项；当 $s < \sigma_p$ 且 $p \geq 1$ 时，有 $\| D_\lambda \,|\, \mathcal{L}\big(\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)\big) \| \sim \lambda^{- \frac{d}{u}}$。我们亦探讨了 $s < \sigma_p$ 且 $p < 1$ 的情形。我们的证明主要基于三角-利兹orkin-莫雷空间的傅里叶分析方法。作为副产品，我们建立了莫雷空间框架下带限函数的先进傅里叶乘子定理，并导出了 $\mathcal{E}^{s}_{u,p,q}(\mathbb{R}^d)$ 的若干新等价（准）范数及其特征刻画。

关键词: 伸缩算子，莫雷空间，三角-利兹orkin-莫雷空间，傅里叶乘子

7. Mean-field approximation, Gibbs relaxation, and cross estimates

均场近似、Gibbs弛豫与交叉估计

作者: Armand Bernou, Mitia Duerinckx

类别: math.AP, math-ph, math.MP, math.PR, 60K35, 35Q70, 82C22, 82C31, 35Q84, 91D30

发布日期: 2025-07-30

arXiv ID: 2507.23123v2

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

摘要翻译

中文标题: 均场近似、Gibbs弛豫与交叉估计

摘要翻译: 我们研究了一类具有弱均场相互作用的$N$个经典布朗粒子系统的混沌传播与趋向Gibbs平衡的弛豫行为。众所周知，混沌传播在时间上一致成立，其速率均为$O(N^{-1})$；而Gibbs弛豫在$N$上一致成立，具有指数速率$O(e^{-ct})$。本文更进一步，建立了同时刻画这两种效应的交叉估计：混沌传播与Gibbs弛豫的联合偏差阶为$O(N^{-1}e^{-ct})$。特别地，对于平移不变系统，该结果导致混沌传播的加速现象——单粒子密度的均场近似误差从$O(N^{-1})$提升至$O(N^{-1}e^{-ct})$。我们的方法基于对关联函数BBGKY层次结构的精细分析，适用于仅具有一致有界相互作用力的欠阻尼与过阻尼Langevin动力学。此外，我们还获得了关于Gibbs弛豫的新定量结果，并在弱相互作用区域之外实现了部分推广。

8. Global-in-time Discontinuous Solutions for the Two-Phase Model of Compressible Fluids with Density-Dependent Viscosity

具密度依赖黏性的可压缩流体两相模型的全局时间不连续解

作者: Marcel Zodji

类别: math.AP, 76T10, 76N10, 35Q30, 35Q35

发布日期: 2025-10-13

arXiv ID: 2510.11383v1

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

摘要翻译

中文标题: 具密度依赖黏性的可压缩流体两相模型的全局时间不连续解

摘要翻译: 本文研究一个描述整个 $\mathbb{R}^3$ 空间内两种可压缩、互不相溶流体运动的模型，其黏性系数依赖于密度。两相的流动可具有不同的压力与黏性规律，并由一个尖锐界面分隔，该界面两侧的（总）密度呈现不连续性。我们的目标是探讨这一尖锐界面在时间演化过程中正则性的保持问题。更精确地，流动的动力学由三个耦合方程 governing：两个双曲型方程（分别描述某一相的体积分数与密度）和一个抛物型方程（描述速度场）。我们假设在初始时刻，密度在某个 $\mathscr{C}^{1+\alpha}$ 正则曲面的两侧均满足 $\alpha$-Hölder 连续性，而该曲面处密度允许不连续。我们证明了存在唯一的全局时间弱解，该解属于一个中间正则性类，能够确保密度的分片Hölder正则性以及尖锐界面的 $\mathscr{C}^{1+\alpha}$ 正则性在整个时间演化过程中得以保持。

9. $L^2$ normal velocity implies strong solution for graphical Brakke flows

$L^2$ 法向速度蕴含图象型 Brakke 流的强解

作者: Kotaro Motegi

类别: math.AP, math.DG, 53E10 (Primary) 35B65 (Secondary)

发布日期: 2025-10-13

arXiv ID: 2510.11377v1

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

摘要翻译

中文标题: $L^2$ 法向速度蕴含图象型 Brakke 流的强解

摘要翻译: 我们证明，若一族参数化的变分流在 Brakke 意义下具有 $L^2$ 法向速度 $v$，且该族可表示为一个连续函数 $f$ 的图象，其空间梯度 $\nabla f$ 亦连续，则 $f$ 具有弱导数 $\partial_t f$ 与 $\nabla^2 f$，且二者均属于 $L^2$ 空间，同时 $v$ 与图象的常规法向速度一致。进一步地，结合抛物型正则性理论，我们表明：当外力项属于 $L^{p,q}$ 时，图象型 Brakke 流是强制平均曲率流方程的强解；当外力项属于 $C^{0,\alpha}$ 时，其为经典解。

10. Decay of solutions of nonlinear Dirac equations

非线性狄拉克方程解的衰变

作者: Sebastian Herr, Christopher Maulén, Claudio Muñoz

类别: math.AP

发布日期: 2025-03-07

arXiv ID: 2503.05410v4

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

摘要翻译

中文标题: 非线性狄拉克方程解的衰变

摘要翻译: 我们研究了一大类非线性狄拉克型方程的小解与大解的长时间行为。我们的结果按维度与质量情形分类，涵盖一维无质量与有质量情形、三维一般情形以及n维一般情形。在一维无质量情形下，我们证明：任何全局定义的解在时间趋于无穷时，均在空间区域 $ t \log^{-2} t $ 扩张的范围内收敛于零。该结论无需对初始数据的小性或非线性项的具体幂次作任何假设，从而排除了在此情形下存在驻波类或孤子结构的可能性。在一维有质量情形下，已知孤波解存在；通过引入适配于狄拉克代数特性的新型维尔积分恒等式，我们证明：在一类“全纯”奇非线性项作用下，全局定义的小奇解在任意紧致空间子集上随时间趋于无穷而衰减至零。该结果进一步推广至三维情形，在仅假设 $ H^1 $ 范数有界而无需初始数据满足奇对称性的条件下，建立了非线性狄拉克模型中一类重要情形的衰减性证明，并为未来利用维尔积分恒等式证明精心选取的狄拉克孤波解的渐近稳定性开辟了道路。最后，在更高维情形 $ n \geq 1 $ 下，我们证明了非线性狄拉克方程的全局解在“外部光锥”区域内满足 $ L^2 $ 衰减。该结果确认了不存在超光速传播的呼吸子或其他解。我们的证明依赖于精心构造的加权维尔积分恒等式。

11. Local behaviour of the second order derivatives of solutions to $p$-Laplace equations

$p$-拉普拉斯方程解的二阶导数的局部行为

作者: Felice Iandoli, Domenico Vuono

类别: math.AP, 35J60, 35B65

发布日期: 2025-02-10

arXiv ID: 2502.06273v2

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

摘要翻译

中文标题: $p$-拉普拉斯方程解的二阶导数的局部行为

摘要翻译: 我们研究方程 $- \Delta_{p} u = f(x)$ 在区域 $\Omega$ 上的解，其中 $\Delta_{p}$ 为 $p$-拉普拉斯算子。当 $p$ 趋近于 2 时，我们建立了关于解的二阶导数的 $L^{\infty}$ 型估计。

12. Existence of martingale solutions for a stochastic weighted mean curvature flow of graphs

图形的随机加权平均曲率流的鞅解存在性

作者: Qi Yan, Xiang-Dong Li

类别: math.AP, math.PR, 60H15, 60H30, 53E10

发布日期: 2025-10-10

arXiv ID: 2510.09383v2

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

摘要翻译

中文标题: 图形的随机加权平均曲率流的鞅解存在性

摘要翻译: 本文研究定义在任意维周期域上、带有额外外力的图形随机平均曲率流。基于变分型随机偏微分方程的紧嵌入方法，我们证明了鞅解的存在性。此外，我们进一步推导了该随机加权平均曲率流的小扰动极限。

13. Dynamics of 3D focusing, energy-critical wave equation with radial data

三维径向数据下能量临界聚焦波方程的动力学

作者: Ruipeng Shen

类别: math.AP, 35L05, 35L71

发布日期: 2025-07-01

arXiv ID: 2507.00391v2

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

摘要翻译

中文标题: 三维径向数据下能量临界聚焦波方程的动力学

摘要翻译: 本文研究三维空间中能量临界波方程径向解的长时间动力学行为。对于任意全局定义于 $t \geq 0$ 的解，我们证明在除少数相对短暂的时间区间外的所有时刻 $t > 0$，均发生孤子分解现象。主要工具为波方程的辐射理论，本工作的核心观察在于能量辐射与解的孤子分解/碰撞行为之间存在对应关系。此外，我们还将这一核心观察应用于II型爆破解及接近纯多孤子解附近的“单次通过”理论，给出了若干相关推论。

14. Nonlinear bound states with prescribed angular momentum in the mass supercritical regime

质量超临界情形下具有给定角动量的非线性束缚态

作者: Tianxiang Gou, Xiaoan Shen

类别: math.AP, 35A15, 35Q41, 35R35

发布日期: 2025-02-26

arXiv ID: 2502.19134v6

链接: http://arxiv.org/abs/2502.19134v6

摘要翻译

中文标题: 质量超临界情形下具有给定角动量的非线性束缚态

摘要翻译: 本文研究了在二维与三维空间中，针对质量超临界情形下具有超二次约束的非线性薛定谔方程的束缚态解的存在性、轨道稳定性/不稳定性及其正则性。此类解由非径向对称的空间剖面随时间旋转构成，对应于在质量与角动量双重约束下所限制的能泛函的临界点。该研究在Gross-Pitaevskii理论框架下揭示了旋转玻色-爱因斯坦凝聚体的新图像。我们证明了存在两个非径向对称解：其中一个为能泛函在约束集上的局部极小点，另一个为山路型临界点。此外，我们推导出确保局部极小点具有正则性的条件，并证明此类解构成轨道稳定的集合，而山路型解则具有强不稳定性。这些结果推广并补充了近期在质量次临界情形下开展的研究工作 \cite{NSS}。

15. Stochastic and deterministic reaction-diffusion equations

随机与确定性反应扩散方程

作者: Davide A. Bignamini, Paolo De Fazio

类别: math.PR, math.AP

发布日期: 2025-10-12

arXiv ID: 2510.10842v1

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

摘要翻译

中文标题: 随机与确定性反应扩散方程

摘要翻译: 本文证明了非自治确定性及随机反应扩散方程的适定性。针对随机问题，我们进一步建立了非自治随机卷积在时空上的正则性结果。

16. Einstein-Maxwell Equations on Mass-Centered GCM Hypersurfaces

质心GCM超曲面上的爱因斯坦-麦克斯韦方程

作者: Allen Juntao Fang, Elena Giorgi, Jingbo Wan

类别: gr-qc, math.AP

发布日期: 2025-10-12

arXiv ID: 2510.10814v1

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

摘要翻译

中文标题: 质心GCM超曲面上的爱因斯坦-麦克斯韦方程

摘要翻译: 黑洞作为爱因斯坦方程解的非线性稳定性问题的解决，关键在于施加恰当的几何规范条件。在真空情形下，广义协变调制（GCM）球面与超曲面的使用已在证明慢速旋转克尔时空稳定性中取得了成功。针对带电情形，我们的配套论文提出了一种适配爱因斯坦-麦克斯韦系统额外困难的质心GCM框架。本文中，我们在这种质心类空GCM超曲面上求解爱因斯坦-麦克斯韦方程，这等价于在该超曲面上求解约束方程。我们通过一组初始数据对解的所有几何量进行控制，这些初始数据对应于由第二作者首次识别的规范不变场，它们描述了雷issner-Nordstr"om或Kerr-Newman背景扰动中耦合的引力-电磁辐射，并预期服从有利的双曲型方程。这一工作为控制雷issner-Nordstr"om与Kerr-Newman族非线性稳定性分析中依赖于规范的量奠定了首个基础。

17. Fabes-Stroock approach to higher integrability of Green’s functions and ABP estimates with $L_d$ drift

基于Fabes-Stroock方法的Green函数高可积性与含$L_d$漂移项的ABP估计

作者: Pilgyu Jung, Kwan Woo

类别: math.AP, 35B50, 35B45, 35J15

发布日期: 2024-08-29

arXiv ID: 2408.16522v2

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

摘要翻译

中文标题: 基于Fabes-Stroock方法的Green函数高可积性与含$L_d$漂移项的ABP估计

摘要翻译: 本文研究了定义在有界域$\Omega \subset \mathbb{R}^d$上的二阶椭圆方程$a^{ij}D_{ij}u + b^i D_iu = f$所关联的Green函数的高可积性，并建立了Aleksandrov极大值原理的一个增强形式。特别地，我们考虑漂移项$b = (b^1, \ldots, b^d)$属于$L_d$空间，源项$f \in L_p$，其中$p < d$。这一结果为N. V. Krylov（《Ann. Probab.》，2021）关于$L_d$漂移项的结论提供了另一种解析证明。核心步骤在于借助Fabes-Stroock方法（《Duke Math. J.》，1984）推导出Green函数的Gehring型不等式。

18. Optimal gradient estimates for conductivity problems with imperfect low-conductivity interfaces

不完美低电导界面的电导问题中的最优梯度估计

作者: Hongjie Dong, Haigang Li, Yan Zhao

类别: math.AP

发布日期: 2025-10-12

arXiv ID: 2510.10615v1

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

摘要翻译

中文标题: 不完美低电导界面的电导问题中的最优梯度估计

摘要翻译: 本文研究了由不完美低电导界面分隔的两个近乎接触导体之间的场集中现象，该界面通过Robin边界条件建模。已知对于任意足够小的界面结合参数 $\gamma > 0$，梯度关于分离距离 $\varepsilon$ 保持一致有界；而与之形成对比的是，在完美结合情形下（$\gamma = 0$，对应于完美电导问题），当 $\varepsilon \to 0$ 时，梯度可能以依赖于维数的速率发生爆破。本文在 $\gamma$ 与 $\varepsilon$ 均为小参数的区域中，建立了显式依赖于 $\gamma$ 与 $\varepsilon$ 的最优逐点梯度估计。这些估计构建了一个统一的框架，涵盖了此前已知的有界情形（$\gamma > 0$）与奇异爆破情形（$\gamma = 0$），从而完整且连续地刻画了梯度随 $\gamma$ 变化过程中的行为演化。核心技术突破在于：在 $\gamma \to 0$ 极限下，推导出椭圆型方程的新正则性结果，并基于 $\gamma$ 与距离函数 $\delta(x')$ 的相对大小建立情形分类。本文结果适用于所有维度 $n \geq 2$ 中的严格相对凸导体。

19. Determining nonlinear balance laws in product-type domains by a single local passive boundary observation

通过单个局部被动边界观测确定乘积型区域上的非线性平衡律

作者: Chaohua Duan, Hongyu Liu, Qingle Meng, Li Wang

类别: math.AP, math-ph, math.MP, 35R30, 35R35, 47H30

发布日期: 2025-10-12

arXiv ID: 2510.10571v1

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

摘要翻译

中文标题: 通过单个局部被动边界观测确定乘积型区域上的非线性平衡律

摘要翻译: 本文提出一种算子理论框架，用于求解非线性平衡律中的反问题，其核心在于将研究焦点从识别具体的函数形式，转向重构与通量算子和源算子相关的输入-输出作用。我们证明，对于定义在乘积型区域上的系统，仅需一个局部被动边界观测即可唯一确定这些算子的具体实现。该框架涵盖多种动力学情形，揭示了一种类似全息原理的机制：宏观边界数据蕴含了微观动力学信息，这一发现对流体动力学与反应扩散系统的研究具有广泛而深远的意义。

20. Regularity Theory for the Space Homogeneous Polyatomic Boltzmann Flow

空间齐次多原子玻尔兹曼流的正则性理论

作者: Ricardo Alonso, Milana Čolić

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

发布日期: 2025-10-12

arXiv ID: 2510.10523v1

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

摘要翻译

中文标题: 空间齐次多原子玻尔兹曼流的正则性理论

摘要翻译: 本文研究基于连续内能的多原子玻尔兹曼方程，重点关注具有可积角部分的硬势型物理相关碰撞核。我们建立了三个主要结果：增益碰撞算子的正则化效应、解的速度与内能一阶导数的传播性质，以及初始数据奇异性指数衰减估计。这些结果最终导出一个分解定理：任意解均可分解为一个光滑部分与一个快速衰减的粗糙成分。

21. Gradient estimates for an orthotropic nonlinear diffusion equation in the Heisenberg group

海森堡群中各向异性非线性扩散方程的梯度估计

作者: Michele Circelli

类别: math.AP

发布日期: 2025-05-02

arXiv ID: 2505.01354v2

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

摘要翻译

中文标题: 海森堡群中各向异性非线性扩散方程的梯度估计

摘要翻译: 我们证明了在海森堡群 $\Hn$ 上，对于参数范围 $2\leq p\leq 4$，一类抛物型各向异性 $p$-拉普拉斯型方程的弱解具有局部李普希茨正则性。

22. Monotonicity and local uniqueness for an isotropic nonlocal elliptic equation

各向同性非局部椭圆方程的单调性与局部唯一性

作者: Yi-Hsuan Lin

类别: math.AP

发布日期: 2025-10-12

arXiv ID: 2510.10408v1

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

摘要翻译

中文标题: 各向同性非局部椭圆方程的单调性与局部唯一性

摘要翻译: 我们将基于单调性的反演方法推广至各向同性非局部椭圆方程的逆系数问题：

其中 $0 < s < 1$，$n \geq 3$，且 $\Omega$ 为有界开集。我们建立了主导系数 $\sigma$ 与（部分）外部Dirichlet-to-Neumann（DN）映射之间的单调性关系。我们的主要结果表明，系数的单调性序关系蕴含相应DN映射的单调性序关系。此外，我们为该非局部方程构造了局部化势函数，从而得到了分数阶逆问题的局部唯一性结果。

23. Abstract second-order boundary control systems

抽象二阶边界控制系统

作者: Till Preuster, Timo Reis, Manuel Schaller

类别: math.AP

发布日期: 2025-10-11

arXiv ID: 2510.10363v1

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

摘要翻译

中文标题: 抽象二阶边界控制系统

摘要翻译: 我们研究形式为 $\ddot{x}(t) + D\dot{x}(t) + Sx(t)=0$ 的抽象二阶系统，此类系统通常通过算子矩阵 $\mathcal{A}=\left[\begin{smallmatrix} 0 & I \\ -S & -D \end{smallmatrix}\right]$ 来分析其对应一阶时间形式的自由动力学。以往研究（如关于 $\mathcal{A}$ 的谱性质）主要聚焦于自伴且一致正定的算子 $S$，而本文考虑更为一般的情形，即允许 $S^*$ 为对称算子，亦即 $S^*\subset S$。我们将证明，这一松弛条件为边界条件的选取提供了极大的自由度。本文的主要贡献在于构造了算子 $\mathcal{A}$ 的边界三元组，并据此定义了相应的边界控制系统。我们完全刻画了该边界控制系统在阻抗被动性与散射被动性情形下，其对应的迹算子所满足的条件。此外，基于对算子 $S$ 的一种非标准分解，我们引入了 $\mathcal{A}$ 的一个等价变换，该变换将抽象二阶系统（例如，波动方程在位置-动量形式下的 $\mathcal{A} = \left[\begin{smallmatrix} 0 & I \\ \Delta & -D \end{smallmatrix}\right]$）映射为广泛采用的另一种表达形式——该形式在喷射空间中仅包含低阶空间导数（即，对应于应变-动量形式的波动方程 $\left[\begin{smallmatrix} 0 & \nabla \\ \operatorname{div} & -D \end{smallmatrix}\right]$）。我们通过 $n$ 维波动方程与麦克斯韦方程的例子，展示了所提方法的有效性。

24. Higher Hölder regularity for degenerate elliptic PDEs with data in Morrey spaces

基于Morrey空间数据的退化椭圆型PDE的高阶Hölder正则性

作者: Giuseppe Di Fazio, Rafayel Teymurazyan, José Miguel Urbano

类别: math.AP, 35B65, 35J70, 35J92

发布日期: 2025-10-11

arXiv ID: 2510.10359v1

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

摘要翻译

中文标题: 基于Morrey空间数据的退化椭圆型PDE的高阶Hölder正则性

摘要翻译: 我们建立了具有Morrey空间数据的$p$-Laplacian型退化椭圆方程弱解的最优局部$C^{1,\alpha}$正则性。该证明依赖于Fefferman-Phong不等式以及非线性偏微分方程正则性理论中的标准工具。

25. Curvilinear High-Order Mimetic Differences that Satisfy Conservation Laws

满足守恒定律的曲线坐标高阶拟保算子

作者: Angel Boada, Johnny Corbino, Miguel Dumett, Jose Castillo

类别: math.AP, cs.NA, math.NA, 65M06, G.1.8

发布日期: 2024-07-01

arXiv ID: 2407.01443v3

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

摘要翻译

中文标题: 满足守恒定律的曲线坐标高阶拟保算子

摘要翻译: 本文研究了在曲线交错网格中拟保算子的构建与应用。具体而言，我们对Corbino-Castillo算子进行了扩展，使其能够应用于非平凡几何域中的问题求解。我们证明了所得到的曲线坐标拟保算子满足扩展高斯-散度定理的离散形式。此外，我们在曲线坐标下针对声波方程展示了能量与质量守恒性质。这些结论在二维与三维椭圆型/双曲型方程中得到了验证，并可推广至其他偏微分方程。

26. Global existence of the irrotational Euler-Nordström equations with a positive cosmological constant: The gravitational field equation

具正宇宙学常数的无旋欧拉-诺德斯特罗姆方程的整体存在性：引力场方程

作者: Uwe Brauer, Lavi Karp

类别: math.AP, 35Q31

发布日期: 2025-09-02

arXiv ID: 2509.02023v3

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

摘要翻译

中文标题: 具正宇宙学常数的无旋欧拉-诺德斯特罗姆方程的整体存在性：引力场方程

摘要翻译: 本文旨在证明包含线性状态方程和宇宙学常数的非线性无旋欧拉-诺德斯特罗姆系统的经典解的整体存在性。在此框架下，引力场由一个满足特定半线性波动方程的单标量函数表征。我们关注相对于背景度规的空间周期性偏离，因此在三维环面 $\mathbb{T}^3$ 上、在索伯列夫空间 $H^m(\mathbb{T}^3)$ 中研究该半线性波动方程。本文分为两部分：第一部分研究由满足线性状态方程的无旋流体所生成源项的诺德斯特罗姆方程；第二部分则分析完整的耦合系统。如此划分的原因在于，具有线性状态方程的无旋流体会在诺德斯特罗姆方程中引入一个包含分数阶非线性项的源项。这一非线性结构使得我们此前工作中所依赖的对称双曲系统、能量估计及齐次索伯列夫空间等方法无法直接适用。为此，我们构造了一个适配于该波动方程的新型能量泛函，并建立了相应的能量估计。

不相关论文（基本信息）

1. Stochastic Homogenization of the Hamilton-Jacobi Equation on Manifolds

流形上哈密顿-雅可比方程的随机齐次化

作者: Marco Pozza, Alfonso Sorrentino

类别: math.AP

发布日期: 2025-10-13

arXiv ID: 2510.11714v1

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

摘要: This article establishes a stochastic homogenization result for the first order Hamilton-Jacobi equation on a Riemannian manifold $M$, in the context of a stationary ergodic random environment. The setting involves a finitely generated abelian group $ \mathtt{G}$ of rank $b$ acting on $M$ by isometries in a free, totally discontinuous, and co-compact manner, and a family of Hamiltonians $H: T^*M \times \Omega \to \mathbb{R}$, parametrized over a probability space $(\Omega, \mathbb{P})$, which are stationary with respect to a $\mathbb{P}$-ergodic action of $\mathtt{G}$ on $\Omega$. Under standard assumptions, including strict convexity and coercivity in the momentum variable, we prove that as the scaling parameter $\varepsilon$ goes to $0$, the viscosity solutions to the rescaled equation converge almost surely and locally uniformly to the solution to a deterministic homogenized Hamilton-Jacobi equation posed on $\mathbb{R}^b$, which corresponds to the asymptotic cone of $\mathtt{G}$. In particular, this approach sheds light on the relation between the limit problem, the limit space, and the complexity of the acting group. The classical periodic case corresponds to a randomness set $\Omega$ that reduces to a singleton; other interesting examples of this setting are also described. We remark that the effective Hamiltonian $\overline{H}$ is obtained as the convex conjugate of an effective Lagrangian $\overline{L}$, which generalizes Mather’s $\beta$-function to the stochastic setting; this represents a first step towards the development of a stationary-ergodic version of Aubry-Mather theory. As a geometric application, we introduce a notion of stable-like norm for stationary ergodic families of Riemannian metrics on $M$, which generalizes the classical Federer-Gromov’s stable norm for closed manifolds.

2. A family of interaction energy minimizers supported on two intervals

一类支持在两个区间上的相互作用能量极小化器族

作者: Steven B. Damelin, Ruiwen Shu

类别: math.AP, math.CA, 31C15, 49K20

发布日期: 2025-10-13

arXiv ID: 2510.11662v1

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

摘要: In this paper, we consider the one-dimensional interaction energy $\frac{1}{2}\int_{\mathbb{R}}(W*\rho)(x)d\rho(x) + \int_{\mathbb{R}}U(x)d\rho(x)$ where the interaction potential $W(x)= -\frac{|x|^b}{b},\,1\le b \le 2$ and the external potential $U(x)=\frac{|x|^4}{4}$, and $\rho$ is a compactly supported probability measure on the real line. Our main result shows that the minimizer is supported on two intervals when $1<b<2$, showing in particular how the support of the minimizer transits from an interval (when $b=1$) to two points (when $b=2$) as $b$ increases. As a crucial part of the proof, we develop a new version of the iterated balayage algorithm, the original version of which was designed by Benko, Damelin, Dragnev and Kuijlaars for logarithmic potentials in one dimension. We expect the methodology in this paper can be generalized to study minimizers of interaction energies in $\mathbb{R}^d$ whose support is possibly an annulus.

3. An inverse problem for the Monge-Ampère equation

蒙格-安培方程的反问题

作者: Tony Liimatainen, Yi-Hsuan Lin

类别: math.AP, math.DG

发布日期: 2025-10-13

arXiv ID: 2510.11572v1

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

摘要: We extend the study of inverse boundary value problems to the setting of fully nonlinear PDEs by considering an inverse source problem for the Monge-Amp`ere equation

We prove that, on a convex Euclidean domain in the plane, the associated Dirichlet-to-Neumann (DN) map uniquely determines a positive source function $F$. The proof relies on recovering the Hessian of a solution to the equation, which is interpreted as a Riemannian metric $g$. Interestingly, although the equation is posed on a Euclidean domain, the inverse problem becomes anisotropic since the metric $g$ appears as a coefficient matrix in the linearized equation. As an intermediate step, we prove that the DN map of the non-divergence form equation

uniquely determines the conformal class of the metric $g$ on a simply connected planar domain, without the usual diffeomorphism invariance. To address the challenges of full nonlinearity, we develop asymptotic expansions for complex geometric optics solutions in the planar setting and solve a resulting nonlocal $\overline{\partial}$-equation by proving a unique continuation principle for it. These techniques are expected to be applicable to a wide range of inverse problems for nonlinear equations.

4. Jost solutions and direct scattering for the continuum Calogero-Moser equation

连续Calogero-Moser方程的Jost解与直接散射

作者: Rupert L. Frank, Larry Read

类别: math.AP, math.SP, nlin.SI, Primary: 35P25, Secondary: 37K15, 35A22

发布日期: 2025-10-13

arXiv ID: 2510.11403v1

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

摘要: We propose an inverse scattering transform for the continuum Calogero-Moser equation. We give a rigorous treatment of the direct scattering problem by constructing the associated Jost solutions and introducing a distorted Fourier transform, as well as deriving trace formulas for the eigenvalues of the Lax operator.

5. A quantitative Borg-Levinson theorem for a large class of unbounded potentials

一类无界势的定量Borg-Levinson定理

作者: Mourad Choulli

类别: math.AP, 35R30

发布日期: 2024-10-02

arXiv ID: 2410.01346v3

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

摘要: We prove a quantitative Borg-Levinson theorem for a large class of unbounded potentials. We give a detailed proof when the dimension of the space is greater than or equal to five. We also indicate the modifications necessary to cover lower dimensions. In the last section, we briefly show how to extend our result to the anisotropic case.

6. On approximation of convex functionals with a convexity constraint and general Lagrangians

关于具有凸性约束与一般拉格朗日量的凸泛函逼近

作者: Young Ho Kim

类别: math.AP

发布日期: 2025-04-10

arXiv ID: 2504.07783v2

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

摘要: In this note, we prove that minimizers of convex functionals with a convexity constraint and a general class of Lagrangians can be approximated by solutions to fourth-order equations of Abreu type. Our result generalizes that of Le (Twisted Harnack inequality and approximation of variational problems with a convexity constraint by singular Abreu equations. Adv. Math. 434 (2023)) where the case of quadratically growing Lagrangians was treated.

7. An efficient iteration method to reconstruct the drift term from the final measurement

从最终测量数据重构漂移项的一种高效迭代方法

作者: Dakang Cen, Wenlong Zhang, Zhidong Zhang

类别: math.NA, cs.NA, math.AP, 35K10, 35R30, 65M32

发布日期: 2025-10-13

arXiv ID: 2510.10940v1

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

摘要: This work investigates the inverse drift problem in the one-dimensional parabolic equation with the final time data. The authors construct an operator first, whose fixed points are the unknown drift, and then apply it to prove the uniqueness. The proof of uniqueness contains an iteration converging to the drift, which inspires the numerical algorithm. To handle the ill-posedness of the inverse problem, the authors add the mollification on the data first in the iterative algorithm, and then provide some numerical results.

8. Non-degeneracy and uniqueness of ground states to nonlinear elliptic equations with mixed local and nonlocal operators

混合局部与非局部算子的非线性椭圆方程基态的非退化性与唯一性

作者: Tianxiang Gou

类别: math.AP, 35A01, 35B65, 35R11

发布日期: 2025-09-30

arXiv ID: 2509.25677v2

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

摘要: This paper concerns the non-degeneracy and uniqueness of ground states to the following nonlinear elliptic equation with mixed local and nonlocal operators,

where $N \geq 2$, $0<s<1$, $2<p<2^*:=\frac{2N}{(N-2)^+}$, $\lambda > -\lambda_1$, $(-\Delta)^s$ denotes the fractional Laplacian, $\lambda_1>0$ denotes the first Dirichlet eigenvalue of the operator $-\Delta +(-\Delta)^s$ in $B$ and $B$ denotes the unit ball in $\R^N$. We prove that the second eigenvalue to the linearized operator $-\Delta +(-\Delta)^s -(p-1)u^{p-2}$ in the space of radially symmetric functions is simple, the corresponding eigenfunction changes sign precisely once in the radial direction, where $u$ is a ground state. By deriving a new Hopf type lemma, we then get that $-\lambda$ cannot be an eigenvalue of the linearized operator, which in turns leads to the non-degeneracy of ground states. Moreover, by establishing a Picone type identity with respect to antisymmetric functions, we then derive the non-degeneracy of ground states in the space of non-radially symmetric functions. Relying on the non-degeneracy of ground states and adapting a blow-up argument together with a continuation argument, we then obtain the uniqueness of ground states.

9. Weyl Law and convergence in the classical limit for min-max nonlocal minimal surfaces

极小-极大非局部极小曲面在经典极限下的Weyl定律与收敛性

作者: Enric Florit-Simon

类别: math.DG, math.AP

发布日期: 2024-06-18

arXiv ID: 2406.12162v4

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

摘要: We study nonlocal minimal surfaces as a new approximation theory for the area functional, and more specifically in the context of Yau’s conjecture on the existence of minimal surfaces in closed three-dimensional manifolds. This programme offers an alternative to the Almgren–Pitts and Allen–Cahn approaches, with advantageous features both from the existence and regularity viewpoints. We build on recent work in which the author and collaborators constructed infinitely many nonlocal $s$-minimal hypersurfaces (via min-max methods) on any closed $n$-dimensional Riemannian manifold $M$, establishing a full analogue of Yau’s conjecture for $s\in(0,1)$. The present article first proves a Weyl-type Law for the fractional perimeters of these hypersurfaces. The rest – and main part – of the article is devoted to obtaining uniform estimates (in the classical limit $s\to 1$) for min-max $s$-minimal surfaces in closed three-manifolds, eventually establishing their convergence to smooth, classical minimal surfaces. We recover in particular recent results on existence, generic density and equidistribution of minimal surfaces, which are a strong form of Yau’s conjecture in this setting.

10. Mass-Centered GCM Framework in Perturbations of Kerr(-Newman)

克尔(-纽曼)黑洞摄动中的质量中心化GCM框架

作者: Allen Juntao Fang, Elena Giorgi, Jingbo Wan

类别: gr-qc, math.AP

发布日期: 2025-10-12

arXiv ID: 2510.10811v1

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

摘要: The nonlinear stability problem for black hole solutions of the Einstein equations critically depends on choosing an appropriate geometric gauge. In the vacuum setting, the use of Generally Covariant Modulated (GCM) spheres and hypersurfaces has played a central role in the proof of stability for slowly rotating Kerr spacetime. In this work, we develop an alternative GCM framework, that we call mass-centered, designed to overcome the breakdown of the standard GCM construction in the charged case, where electromagnetic-gravitational coupling destroys the exceptional behavior of the $\ell=1$ mode of the center-of-mass quantity used in the vacuum analysis. This construction is aimed at the nonlinear stability of Reissner-Nordstr"om and Kerr-Newman spacetimes. Our approach replaces transport-based control of the center-of-mass quantity with a sphere-wise vanishing condition on a renormalized $\ell=1$ mode, yielding mass-centered GCM hypersurfaces with modified gauge constraints. The resulting elliptic-transport system remains determined once an $\ell=1$ basis is fixed via effective uniformization and provides an alternative construction in vacuum in the uncharged limit.

11. Spectral and Dynamical Analysis of Fractional Discrete Laplacians on the Half-Lattice

半格上分数阶离散拉普拉斯算子的谱与动力学分析

作者: Nassim Athmouni

类别: math.SP, math-ph, math.AP, math.FA, math.MP, 47A10, 47A40, 47B25, 35P25, 81Q10, 39A70, G.2.2; F.1.1

发布日期: 2025-10-12

arXiv ID: 2510.10680v1

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

摘要: We investigate discrete fractional Laplacians defined on the half-lattice in several dimensions, allowing possibly different fractional orders along each coordinate direction. By expressing the half-lattice operator as a boundary restriction of the full-lattice one plus a bounded correction that is relatively compact with respect to it, we show that both operators share the same essential spectrum and the same interior threshold structure. For perturbations by a decaying potential, the conjugate-operator method provides a strict Mourre estimate on any compact energy window inside the continuous spectrum, excluding threshold points. As a consequence, a localized Limiting Absorption Principle holds, ensuring the absence of singular continuous spectrum, the finiteness of eigenvalues, and weighted propagation (transport) bounds. The form-theoretic construction also extends naturally to negative fractional orders. Overall, the relative compactness of the boundary correction guarantees that the interior-energy spectral and dynamical results obtained on the full lattice remain valid on the half-lattice without modification.

12. Construction of harmonic coordinates for weak immersions

弱浸入的调和坐标构造

作者: Dorian Martino, Tristan Rivière

类别: math.DG, math.AP

发布日期: 2025-10-12

arXiv ID: 2510.10601v1

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

摘要: We prove that any weak immersion in the critical Sobolev space $W^{\frac{n}{2}+1,2}(\mathbb{R}^n;\mathbb{R}^d)$ in even dimension $n\geq 4$, has global harmonic coordinates if its second fundamental form is small in the Sobolev space $W^{\frac{n}{2}-1,2}(\mathbb{R}^n;\mathbb{R}^d)$. This is a generalization to arbitrary even dimension $n\ge 4$ of a famous result of M"uller–Sverak \cite{muller1995} for $n=2$. The existence of such coordinates is a key tool used by the authors in \cite{MarRiv20252} for the analysis of scale-invariant Lagrangians of immersions, such as the Graham–Reichert functional. From a purely intrinsic perspective, the proof of the main result leads to a general local existence theorem of harmonic coordinates for general metrics with Riemann tensor in $L^p$ for any $p>n/2$ in any dimension $n\geq 3$.

13. A continued fraction approximation for the effective elasticity tensor of two-dimensional polycrystals as a function of the crystal elasticity tensor

作为晶体弹性张量函数的二维多晶有效弹性张量的连分数近似

作者: Graeme W. Milton

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

发布日期: 2025-10-11

arXiv ID: 2510.10297v1

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

摘要: For two-dimensional polycrystals the effective elasticity tensor $C_*$ as a function $C_*(C_0)$ of the elasticity tensor $C_0$ of the constituent crystal is considered. It is shown that this function can be approximated by one with a continued fraction expansion resembling that associated with a class of microstructure known as sequential laminates. These are hierarchical microstructures defined inductively. Rank 0 sequential laminates are simply rotations of the pure crystal. Rank $j$ sequential laminates are obtained by laminating together, on a length scale much larger that the existing microstructure and with interfaces perpendicular to some direction $n_j$, rank $j-1$ sequential laminates with a rotation of the pure crystal. The continued fraction approximation for arbitrary polycrystal microstructures typically takes a more general form than that of sequential laminates, but has some free parameters. It is an open question as to whether these free parameters can always be adjusted so the continued fraction approximation matches exactly that of a sequential laminate. If so, one would have established that the elastic response of two-dimensional polycrystals can always be mimicked by that of sequential laminates. Our analysis carries over to the more general case where the strain is replaced by a field $E(x)$ that is the gradient of a vector potential $u(x)$, i.e. $E=\nabla u$ and the stress is replaced by a matrix valued field $J(x)$ that need not be symmetric but has zero divergence $\nabla\cdot J=0$. The tensor $L(x)$ entering the constitutive relation $J=L E$ is locally a rotation of the tensor $L_0$ of the pure crystal that need not have any special symmetries and has 16 independent tensor elements.

14. Multiple sign-changing solutions for semilinear subelliptic Dirichlet problem

半线性次椭圆Dirichlet问题的多重变号解

作者: Hua Chen, Hong-Ge Chen, Jin-Ning Li, Xin Liao

类别: math.AP, 35A15, 35H20, 35J70

发布日期: 2025-10-11

arXiv ID: 2510.10120v1

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

摘要: We study the following perturbation from symmetry problem for the semilinear subelliptic equation

where $\triangle_{X}=-\sum_{i=1}^{m}X_{i}^{*}X_{i}$ is the self-adjoint sub-elliptic operator associated with H"{o}rmander vector fields $X=(X_{1},X_{2},\ldots,X_{m})$, $\Omega$ is an open bounded subset in $\mathbb{R}^n$, and $H_{X,0}^{1}(\Omega)$ denotes the weighted Sobolev space. We establish multiplicity results for sign-changing solutions using a perturbation method alongside refined techniques for invariant sets. The pivotal aspect lies in the estimation of the lower bounds of min-max values associated with sign-changing critical points. In this paper, we construct two distinct lower bounds of these min-max values. The first one is derived from the lower bound of Dirichlet eigenvalues of $-\triangle_{X}$, while the second one is based on the Morse-type estimates and Cwikel-Lieb-Rozenblum type inequality in degenerate cases. These lower bounds provide different sufficient conditions for multiplicity results, each with unique advantages and are not mutually inclusive, particularly in the general non-equiregular case. This novel observation suggests that in some sense, the situation for sub-elliptic equations would have essential difference from the classical elliptic framework.