生成时间: 2026年06月01日 07:54:08

运行状态: 完成

计划处理论文数量: 26

已完成论文数量: 26

未完成论文数量: 0

重点关注论文数量: 7

了解领域论文数量: 9

不相关论文数量: 10

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

1. 轴对称无旋Euler方程在 $C^{1,\frac{1}{3}}$ 阈值处的一个条件性Lagrangian时钟障碍

A conditional Lagrangian clock barrier at the $C^{1,\frac{1}{3}}$ threshold for axisymmetric Euler without swirl

作者: Ovidiu-Neculai Avadanei

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31587v1

摘要翻译: 我们考虑三维不可压Euler方程的轴对称无旋解，其初始速度属于 $C^{1,α}\cap L^2$，其中 $α\in\left[\frac{1}{3},1\right)$。受Shkoller关于低于 $C^{1,\frac{1}{3}}$ 阈值时有限时间爆破的Lagrangian时钟-驱动框架启发，我们引入了具有相干性的Lagrangian类初始数据及相应的条件解；在此类解上，同一时钟机制在 $α\geq\frac{1}{3}$ 时产生一个超临界/临界障碍：当 $α>\frac{1}{3}$ 时该障碍被真正削弱，而在临界端点 $α=\frac{1}{3}$ 处则给出一个指数型上界。在一般情形下，我们以变形梯度的最小奇异值为变量构造了一个矩阵型时钟判据，并证明：在尖点尾部、Dini相干性、近场相容性以及横向畸变有界等假设下，该奇异值不会在有限时间内坍缩。在轴上情形下，该判据退化为标量时钟不等式 $\displaystyle \dot{J}(t)\gtrsim -B(t)J(t)-CJ(t)^{3α}$，从而排除了 $α\geq\frac{1}{3}$ 时出现Shkoller型时钟坍缩的可能性。这些结果并未扩大目前已知的Lorentz空间全局正则性类；相反，它们特别刻画了在 $α>\frac{1}{3}$ 情形下与Shkoller亚临界爆破机制对偶的超临界Lagrangian障碍。

Comment: 21 pages

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

1. 研究对象和背景

本文研究三维不可压欧拉方程

$$ \begin{cases} u_t + (u \cdot \nabla) u + \nabla p = 0 & \text{in } [0,T) \times \mathbb{R}^3, \\ \nabla \cdot u = 0 & \text{in } [0,T) \times \mathbb{R}^3, \\ u(0,\cdot) = u_0, \end{cases} $$

在轴对称无旋（axisymmetric without swirl）设定下的解的正则性问题。此时速度场可表为 $u = u_r e_r + u_z e_z$，涡量仅具方位角分量 $\omega = \omega_\theta e_\theta$，且满足比奥–萨伐尔律

$$ u(t,x) = -\frac{1}{4\pi} \int_{\mathbb{R}^3} \frac{x-y}{|x-y|^3} \times \omega(t,y)\, dy. $$

关键未知量是变形梯度 $D\Phi_t(a^*)$ 的最小奇异值 $\nu(t) := \sigma_{\min}(D\Phi_t(a^*))$，其坍缩 $\nu(t) \to 0$ 等价于拉格朗日坐标系下流形的奇点形成——这是通过柯西公式 $\omega(t,\Phi_t(a)) = D\Phi_t(a) \, \omega_0(a)$ 所揭示的：若 $\nu(t) \to 0$，则 $|\omega|$ 可能爆炸。该机制的核心在于拉格朗日时钟量 $J(t)$（即子午面雅可比行列式）与驱动量 $W(t) = \partial_z u_z(0,0,t)$ 的耦合动力学。Shkoller 在2025年构造了 $\alpha \in (0,\frac{1}{3})$ 下的有限时间奇点，其核心是如下“时钟-驱动”系统：

$$ \dot{J}(t) = \frac{1}{2} W(t) J(t), \quad \dot{W}(t) = -\frac{1}{2} W(t)^2 - \Pi_0(t), $$

其中 $\Pi_0(t)$ 是轴上压力Hessian的主值积分项。他证明：当初始涡量具有 $C^{1,\alpha}$ 正则性且满足特定“尖锥尾部”结构时，粒子运动受运动学漂移律约束——驱动 $W(t)$ 的粒子只能来自拉格朗日极角 $\lesssim J(t)^3$ 的扇区；结合目标剖面的Hölder尖锥消失性 $|\omega_0(R,Z)| \lesssim R^\alpha$，该扇区被耗尽因子 $J(t)^{3\alpha}$，从而导出标量时钟不等式

$$ \dot{J}(t) \simeq -\Gamma J(t)^{3\alpha}, $$

其右端在 $3\alpha < 1$ 即 $\alpha < \frac{1}{3}$ 时允许有限时间零点（奇点），而在 $\alpha \ge \frac{1}{3}$ 时则否。因此，$C^{1,\frac{1}{3}}$ 是一个临界阈值。然而，Shkoller 的框架仅在 $\alpha < \frac{1}{3}$ 构造奇点，并未回答：当 $\alpha \ge \frac{1}{3}$ 时，是否所有满足类似几何结构的解都必然全局正则？现有理论对此尚无机制性解释。Danchin（2016）与Saint-Raymond（2018）基于 $L^{3,1}$ Lorentz 空间中 $\xi = \omega_\theta / r$ 的控制给出全局正则性，但其假设与拉格朗日几何无关；Elgindi（2019）与Chen-Hou（2021）的奇点构造均依赖于边界或极小 $\alpha$，无法覆盖 $\alpha \in [\frac{1}{3},1)$ 的完整区间。本文旨在填补这一空白：不是扩大已知的欧拉正则性类（如 $L^{3,1}$），而是逆向运用 Shkoller 的同一套拉格朗日时钟机制，证明在 $\alpha \ge \frac{1}{3}$ 且满足一系列几何相干性假设（cusp-tail、Dini 相干性、近场相容性、横向畸变有界）的条件下，“时钟坍缩”本身被严格禁止——即 $\nu(t)$ 不可能在有限时间内趋于零，从而排除了由该机制引发的奇点。

2. 主要定理或主要结果

定理 1.1（矩阵时钟准则）：设 $\alpha \in [\frac{1}{3},1)$，$u$ 是定义在 $[0,T^*)$ 上的轴对称无旋解，初始速度 $u_0 \in S^{\alpha}_{\text{general},0}$，且 $u \in S^{\alpha}_{\text{general}}([0,T^*))$，其中 $S^{\alpha}_{\text{general},0}$ 与 $S^{\alpha}_{\text{general}}([0,T^*))$ 分别为满足 cusp-tail 尾部估计、平均 Dini 相干性、近场相容性及有界横向畸变 $\kappa(t) = \tau_1(t)/\tau_2(t) \le K_T < \infty$ 的初始数据类与条件相干解类。若 $S^{\alpha}_{\text{general}}([0,T^*))$ 的常数（包括尾部常数 $T_\alpha$、$L^1$ 范数 $\|B(t)\|_{L^1([0,T^*))}$、近场常数 $c_1,c_2,L$）一致有界，则 $T^*$ 不是爆破时刻。更精确地，对任意标签 $a^*$，变形梯度 $F_*(t) = D_a \Phi_t(a^*)$ 的最小奇异值 $\nu(t)$ 满足微分不等式

$$ \frac{d^+}{dt} \nu(t) \ge -B(t) \nu(t) - C_{T^*} \nu(t)^{\frac{3\alpha+1}{2}}, $$

其中 $B \in L^1([0,T^*))$，$C_{T^*} < \infty$ 与 $a^*, e$ 无关。由此可推出 $\nu(t) \ge \nu(0) \exp\left(-\int_0^t B(s)\,ds\right) > 0$ 对所有 $t \in [0,T^*)$ 成立，故 $\nu(t)$ 不坍缩。定理 1.2（轴上标量时钟准则）：设 $u$ 满足 $u_0 \in S^{\alpha}_{\text{vert},0}$，$u \in S^{\alpha}_{\text{vert}}([0,T))$，其中 $S^{\alpha}_{\text{vert},0}$ 要求 $\omega_0$ 在轴上满足 $|\omega_0(a)| \lesssim |\eta_\perp|^\alpha b_\Lambda(a^*)$，且 $\sum_\Lambda \Lambda^\alpha b_\Lambda(a^*) < T_\alpha < \infty$；$S^{\alpha}_{\text{vert}}([0,T))$ 则自动满足 $\tau_1 = \tau_2$（对称性）与近场线性化相容性 $\Phi_t(a) - \Phi_t(a^*) \simeq D_a \Phi_t(a^*)(a-a^*)$。若 $T < \infty$，则对任意轴上标签 $a^* = (0,\Theta,Z)$，约化子午面雅可比 $J^*(t) = \lim_{R\to 0} \det D_{R,Z}(\varphi_r,\varphi_z)$ 满足

$$ \dot{J}^*(t) \gtrsim -B(t) J^*(t) - C J^*(t)^{3\alpha}, $$

且存在仅依赖于 $T$ 的正常数 $c_T > 0$，使得 $J^*(t) \ge c_T$ 对所有 $t \in [0,T)$ 成立。特别地，当 $\alpha = \frac{1}{3}$ 时，该不等式退化为 $\dot{J}^*(t) \gtrsim -B(t) J^*(t) - C J^*(t)$，其解具有指数下界 $J^*(t) \ge J^*(0) \exp\left(-\int_0^t (B(s)+C)\,ds\right)$；当 $\alpha > \frac{1}{3}$ 时，非线性项 $J^*(t)^{3\alpha}$ 增长更慢，进一步强化壁垒。

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

本文的核心障碍在于：Shkoller 的时钟坍缩机制本质上是拉格朗日坐标下变形梯度最小奇异值 $\nu(t)$ 的动力学崩溃，而要证明其不可能发生，必须对驱动量 $D_*(t) = -e \cdot S(x_*(t),t) e$（其中 $S = \frac{1}{2}(\nabla u + \nabla u^T)$ 是应变张量，$e$ 属于 $\nu(t)$ 对应的左奇异子空间 $E_{\nu}(t)$）进行精细控制。难点在于 $D_*(t)$ 由非局部 Biot-Savart 律决定，其表达式含主值积分，且在一般标签 $a^*$ 处 $\omega_0(a^*) \neq 0$，导致标准 Hölder 估计失效。作者的真正创新点在于构建了一套分层、几何自适应的估计框架，将驱动量分解为远场与近场贡献，并针对不同区域采用不同工具。首先，在远场（$|\Phi_t(a)-\Phi_t(a^*)| \gg L$），作者使用局部能量论证，利用 $u \in L^2$ 和轴对称性控制速度梯度的衰减。其次，在近场（$|\Phi_t(a)-\Phi_t(a^*)| \le L$），这是技术核心：作者引入奇异值分解 $D_a \Phi_t(a^*) = U \operatorname{diag}(\tau_1,\tau_2,\nu) V^T$，并据此将空间划分为锥形与非锥形的双尺度区域 $E_{\lambda_1,\lambda_2,\Lambda}(a^*,t)$，其中 $\lambda_i = \tau_i |\eta_i|/(\nu \Lambda)$。在此划分下，作者施加了“平均 Dini 相干性”条件：

$$ \sup_{a^*} \sum_{\lambda_1,\lambda_2,\Lambda} \int_{E_{\lambda_1,\lambda_2,\Lambda}(a^*,t)} \frac{|[F(a,t)-F(a^*,t)] \omega_0(a)|}{|\Phi_t(a)-\Phi_t(a^*)|^3} \, da \le B(t), \quad \int_0^T B(t)\,dt < \infty, $$

这一条件巧妙地绕开了点态主值发散，将 $\omega_0$ 的局部振荡与变形梯度的奇异值结构耦合，使主值积分可控。第三，作者的关键引理（Lemma 3.1）给出了 $\nu(t)$ 的右Dini导数的精确表达式：

$$ \frac{d^+}{dt} \nu(t) = \nu(t) \inf_{e \in E_{\nu}(t), |e|=1} e \cdot S(x_*(t),t) e, $$

这将问题完全转化为对 $S$ 在最小奇异方向上的下界的估计。最后，在轴上情形（Theorem 1.2），对称性 $\omega_\theta|_{r=0}=0$ 消除了主值障碍，且 $\tau_1 = \tau_2$ 导致 $\nu(t) = J^*(t)$，从而将矩阵不等式简化为标量时钟不等式 $\dot{J}^*(t) \gtrsim -B(t) J^*(t) - C J^*(t)^{3\alpha}$，其临界性由幂次 $3\alpha$ 决定：当 $3\alpha \ge 1$，该非线性项不足以驱动有限时间零点。

4. 与之前工作的比较

本文与既有工作的根本区别在于视角与目标：Shkoller（2025）的工作是构造性的，其目标是证明 $\alpha < \frac{1}{3}$ 时存在奇点，为此他精心设计了一个具有尖锥结构的目标剖面，并证明其在一类满足 $C^{1,\alpha}$ 正则性与特定几何约束的扰动下稳定；而本文是反构造性的，目标是证明在 $\alpha \ge \frac{1}{3}$ 时，同一类几何约束（cusp-tail、Dini 相干性等）反而构成一道壁垒，阻止奇点形成。与 Elgindi（2019）相比，后者依赖于 $\alpha \ll 1$ 的扰动理论，其奇点机制源于压力与应变耦合项 $\Pi_0(t)$ 的主导性被压制，而本文则证明当 $\alpha \ge \frac{1}{3}$ 时，即使 $\Pi_0(t)$ 存在，其效应也被 $J(t)^{3\alpha}$ 项所调控，无法触发坍缩。与 Danchin（2016）和 Saint-Raymond（2018）的 $L^{3,1}$ 理论相比，本文的假设完全不同：前者是欧拉ian 的、基于 $\xi = \omega_\theta/r$ 的全局可积性，后者是拉格朗日的、基于初始涡量的局部 Hölder 结构与流形几何。本文明确声明“这些结果并未扩大已知的 Lorentz 空间全局正则性类”，即它不取代 $L^{3,1}$ 理论，而是为其提供了一个平行的、机制性的拉格朗日解释。与 Chen-Hou（2021）在有界区域的计算机辅助奇点相比，本文工作在全空间 $\mathbb{R}^3$ 中进行，且不依赖数值验证，而是给出严格的解析壁垒。本文的代价与局限在于其“条件性”：所有结果均要求解属于 $S^{\alpha}_{\text{general}}$ 或 $S^{\alpha}_{\text{vert}}$ 类，而这些类的传播性（即若初始数据属于该类，解是否在演化中保持）在文中被明确声明“未予证明”。此外，本文的壁垒是“超临界的”（supercritical barrier）：当 $\alpha > \frac{1}{3}$ 时，壁垒 $J(t)^{3\alpha}$ 比临界 $J(t)$ 更弱（因 $3\alpha > 1$），但作者证明其仍足以阻止坍缩；而当 $\alpha = \frac{1}{3}$ 时，壁垒退化为线性，需依赖 $B(t) \in L^1$ 的指数控制。从适用范围看，本文结果仅适用于轴对称无旋流，无法推广至有旋或非轴对称情形；从时间尺度看，它处理的是潜在的有限时间爆破，而非长时间行为。综上，本文并非对已有正则性理论的改进，而是首次为 $C^{1,\alpha}$ 阈值现象提供了对偶的、拉格朗日机制层面的完整图景：$\alpha < \frac{1}{3}$ 是奇点形成的“许可带”，而 $\alpha \ge \frac{1}{3}$ 是同一机制下的“禁止带”。

2. 关于半平面中二维 Euler 流的涡量梯度线性增长与支集直径的注记

Remarks on Linear Growth of Vorticity Gradients and Support Diameters for 2D Euler Flow in Half-Plane

作者: Shaoqing Chen, Yongzhong Sun

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31541v1

摘要翻译: 人们猜想二维 Euler 方程的典型光滑解具有涡量梯度的线性增长。我们在奇对称设定下证明了一个初等的任意背景扰动原理。更精确地，对半平面中任一紧支撑非负函数，总可找到一个任意小的光滑非负扰动，使得其对应的解在象限内发生时间线性的细丝化（filamentation）。主要工具包括 Iftimie–Sideris–Gamblin 给出的质心下界估计，以及针对稀疏部分的速度估计，以刻画那些运动缓慢的粒子。

Comment: 无

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

1. 研究对象和背景

本文研究半平面 $\mathbb{R}^2_+ := \{x = (x_1, x_2) \in \mathbb{R}^2 : x_2 > 0\}$ 上二维不可压缩欧拉方程的奇对称解的长时间行为，核心对象是满足奇对称条件 $\omega_0(x_1, x_2) = -\omega_0(x_1, -x_2)$ 的非负初值涡量 $\omega_0 \in L^1 \cap L^\infty(\mathbb{R}^2_+)$。该对称性使问题等价于在 $\mathbb{R}^2_+$ 上带滑移边界条件 $v \cdot n = 0$ 的初边值问题，其速度场由镜像法修正的 Biot–Savart 律给出：

$$ v(t,x) = \int_{\mathbb{R}^2_+} K(x,y) \omega(t,y)\,dy, \quad K(x,y) = \frac{1}{2\pi}\left( \frac{(x-y)^\perp}{|x-y|^2} - \frac{(x-\bar{y})^\perp}{|x-\bar{y}|^2} \right), $$

其中 $\bar{y} = (y_1, -y_2)$。该系统保持若干守恒量：总涡量 $m = \|\omega(t,\cdot)\|_{L^1(\mathbb{R}^2_+)}$、最大涡量 $M = \|\omega(t,\cdot)\|_{L^\infty(\mathbb{R}^2_+)}$、伪能量

$$ E[\omega] = \frac{1}{4\pi} \iint_{\mathbb{R}^2_+ \times \mathbb{R}^2_+} \log\left( 1 + \frac{4 x_2 y_2}{|x-y|^2} \right) \omega(x) \omega(y)\,dx dy, $$

以及第二分量质心 $P_2(t) = \frac{1}{m} \int_{\mathbb{R}^2_+} x_2 \omega(t,x)\,dx$（因奇对称而守恒）。但第一分量质心 $P_1(t) = \frac{1}{m} \int_{\mathbb{R}^2_+} x_1 \omega(t,x)\,dx$ 不守恒；Iftimie–Sideris–Gamblin [12] 建立了关键下界 $P_1'(t) \ge V_P$，其中

$$ V_P = 10^{-3} \frac{E^4}{P_2(0)^3 m^2 M}. $$

该下界蕴含支撑集 $D(t) = \operatorname{supp}(\omega(t,\cdot)) \cap \mathbb{R}^2_+$ 沿 $x_1$ 方向至少以速率 $V_P$ 扩张。然而，已有工作（如 [12, 17, 19]）仅给出全平面情形下支撑直径的上界 $\operatorname{diam}(D(t)) = O(t^{1/4} \log \log \cdots \log t)$，而半平面奇对称情形虽有线性下界，但此前缺乏对任意背景初值的构造性扰动机制——即：能否对任一给定的非负紧支初值 $\omega_0$，通过任意小的光滑扰动，激发出严格线性增长的支撑直径与涡量梯度？这一问题直接关联“通用性”猜想：是否几乎所有光滑解都呈现 $\|\nabla \omega(t)\|_{L^\infty} \gtrsim t$ 的增长？Kiselev–Šverák [15] 在有界域中构造了双指数增长，Zlatoš [23] 在半平面中实现双指数增长，但均依赖精细几何构造与特定对称性；而 Alazard–Said [1] 仅证明 $C^k$ 范数在拓扑意义上“稠密 $G_\delta$”地爆炸，未给出显式构造与定量增长率。本文旨在填补这一空白：建立一种普适的、基于质心漂移与稀疏分量速度分离的扰动原理，将线性增长从特例推广至任意背景初值，并精确量化其增长率、误差项与适用范围。

2. 主要定理或主要结果

本文在奇对称半平面设定下建立了三类严格定量结果。首先，Theorem 1.1 给出支撑直径线性增长的充分判据：设初值 $\omega_0 \ge 0$ 紧支且非零，分解为 $\omega_0 = \omega_{0,d} + \omega_{0,r}$，其中 $\omega_{0,d}, \omega_{0,r} \ge 0$ 紧支于 $\mathbb{R}^2_+$，且稀疏分量 $\omega_{0,d}$ 满足 $m_d := \|\omega_{0,d}\|_{L^1} > 0$ 及稀疏条件 $\|\omega_{0,d}\|_{L^\infty} \le \left( \frac{C_0}{2m} \right)^2 m_d$，其中常数 $0 \le C_0 < V_P$，则解 $\omega(t)$ 的支撑集 $D(t)$ 满足

$$ \operatorname{diam}(D(t)) \ge (V_P - C_0)t - O(1), $$

其中 $O(1)$ 依赖于 $\omega_0$ 的 $L^1$, $L^\infty$, 能量及初始质心 $P_2(0)$。其次，Theorem 1.2 构造性地证明了扰动不稳定性：对任意非零 $\omega_0 \in L^1 \cap L^\infty(\mathbb{R}^2_+)$ 非负紧支及任意 $\varepsilon > 0$，存在光滑紧支扰动 $\tilde{\omega}_0 \in C_c^\infty(\mathbb{R}^2_+)$ 满足 $\|\tilde{\omega}_0 - \omega_0\|_{L^1} < \varepsilon$，使得对应解 $\tilde{\omega}(t)$ 满足

$$ \liminf_{t \to \infty} \frac{\operatorname{diam}(\operatorname{supp}(\tilde{\omega}(t)))}{t} > 0, \quad \liminf_{t \to \infty} \frac{\|\tilde{\omega}(t)\|_{C^\alpha}}{t^\alpha} > 0 \; (0 < \alpha < 1), \quad \liminf_{t \to \infty} \frac{\|\nabla \tilde{\omega}(t)\|_{L^\infty}}{t} > 0. $$

若 $\omega_0$ 连续，还可要求 $\|\tilde{\omega}_0 - \omega_0\|_{L^\infty} < \varepsilon$。最后，Theorem 1.3 将梯度增长提升至 $L^1$ 范数：同一扰动 $\tilde{\omega}_0$ 满足

$$ \|\nabla \tilde{\omega}(t)\|_{L^1} \ge C t - O(1), \quad \forall t \ge 0, $$

其中常数 $C > 0$ 显式依赖于 $V_P$ 和扰动幅值 $a$。此外，Theorem 4.1 将主结果推广至广义表面准地转（gSQG）系统 $0 < \alpha < 1/2$，证明存在 $\tilde{\theta}_0$ 满足 $\|\nabla \tilde{\theta}(t)\|_{L^\infty} \gtrsim t$ 在解的生命期 $[0,T)$ 内成立。

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

本文的核心障碍在于：如何在任意给定背景 $\omega_0$ 上叠加一个微小扰动，使其演化时产生两个运动速度显著分离的粒子群，从而驱动支撑直径线性扩张。作者的真正创新点在于提出并实现了一种“稀疏–致密二分扰动原理”，其技术框架由三个精密耦合的估计构成。第一，质心漂移下界（Lemma 2.1 与 [12] 引理）提供全局驱动力：利用伪能量 $E$ 的守恒性及 $P_2(0)$ 的正性，导出 $P_1'(t) \ge V_P = 10^{-3} E^4 / (P_2(0)^3 m^2 M)$，此下界不依赖于初值的具体形状，仅需 $\omega_0 \ge 0$ 紧支。第二，稀疏分量水平质心速度上界（Theorem 1.1 证明关键步）是突破性技术：对稀疏分量 $\omega_{0,d}$，定义其质心 $P_{1,d}(t) = \frac{1}{m_d} \int x_1 \omega_d(t,x)\,dx$，通过 Biot–Savart 核估计 $|K_1(x,y)| \le \frac{1}{\pi |x-y|}$ 及 Lemma 2.1 的 $L^1$–$L^\infty$ 插值，得到

$$ P_{1,d}'(t) = \frac{1}{m_d} \iint K_1(x,y) \omega(t,y) \omega_d(t,x)\,dy dx \le \frac{2}{\pi m_d} \iint \frac{\omega(t,y) \omega_d(t,x)}{|x-y|}\,dy dx \le 2 \left( \frac{2}{\pi} \right)^{1/2} m \left( \frac{M_d}{m_d} \right)^{1/2}, $$

再代入稀疏条件 $M_d \le (C_0/(2m))^2 m_d$，立即推出 $P_{1,d}'(t) \le C_0$。此估计首次将稀疏性（$L^\infty/L^1$ 比率控制）与速度上界直接定量关联。第三，水平尺度分离的刚性论证（Theorem 1.2 证明）：由 $P_1'(t) \ge V_P$ 得存在快粒子 $x_f(t)$ 满足 $x_{f,1}(t) \ge V_P t - O(1)$；由 $P_{1,d}'(t) \le C_0$ 得存在慢粒子 $x_s(t)$ 满足 $x_{s,1}(t) \le C_0 t + O(1)$；二者差值直接给出 $\operatorname{diam}(D(t)) \ge (V_P - C_0)t - O(1)$。为将此直径增长转化为梯度增长，作者引入几何引理 2.2：对 $C^\alpha$ 函数 $f$，若其超水平集 $E_a = \{f > a\}$ 连通且 $E_b = \{f > b\}$ 有界，则 $[f]_{C^\alpha} \ge (a-b) (2\operatorname{diam}(E_a)/|E_b|)^\alpha$。结合扰动构造中确保 $\{\tilde{\omega}(t) \ge a\}$ 连通且 $|\{\tilde{\omega}(t) > a/2\}|$ 守恒，即得 $\|\nabla \tilde{\omega}(t)\|_{L^\infty} \gtrsim t$。最后，L¹梯度增长（Theorem 1.3）依赖共面积公式与引理 3.1：后者构造了具有所有超水平集单连通的光滑函数 $\psi$，保证 $\operatorname{Per}(E_\lambda(t)) \ge 2 \operatorname{diam}(E_\lambda(t))$，从而

$$ \|\nabla \tilde{\omega}(t)\|_{L^1} = \int_0^a \operatorname{Per}(E_\lambda(t))\,d\lambda \ge 2a \operatorname{diam}(E_a(t)) \gtrsim t. $$

4. 与之前工作的比较

本文与既有工作的本质区别体现在四个维度。第一，适用范围：此前线性增长结果均依赖特殊初值。Choi–Jeong [4] 通过对 Lamb–Chaplygin 偶极子扰动实现线性增长，但要求背景为精确行波解；Zlatoš [23] 的双指数构造需奇–奇对称与精细的环形初值；Guo–Jeong–Zhao [9] 在 3D 轴对称环中证明线性伸展，但其机制依赖环核与尾涡的几何分离。本文则彻底摆脱对背景解结构的依赖，对任意非零非负紧支 $\omega_0$（包括可触及边界的初值，如偶极子本身）均适用，且扰动可任意小（$L^1$ 或 $L^\infty$ 范数），这是首次实现的普适性构造。第二，假设放宽：[12] 的线性下界要求奇–奇对称，本文仅需奇对称（即半平面滑移边界），且不要求初值远离边界（Remark 3.2 明确处理 $\operatorname{supp} \omega_0$ 触及 $\{x_2=0\}$ 的情形）；而 [15, 23] 的双指数增长需初值满足强几何约束（如环形或楔形支撑），本文稀疏条件 $\|\omega_{0,d}\|_{L^\infty} \le (C_0/(2m))^2 \|\omega_{0,d}\|_{L^1}$ 仅控制局部振幅与质量比，远弱于支撑形状限制。第三，时间尺度与定量精度：[12, 17, 19] 的上界为亚线性（$t^{1/4}$ 类），本文下界为严格线性 $\operatorname{diam}(D(t)) \ge (V_P - C_0)t - O(1)$，且增长率 $V_P - C_0$ 显式依赖于守恒量 $E, P_2(0), m, M$，误差项 $O(1)$ 明确由初始支撑直径与速度界 $V_m$ 控制，优于 [4] 中隐含的常数。第四，代价与局限：本文扰动非局部——其支撑必须占据足够大区域（面积 $\gtrsim (m/V_P)^2$），无法实现“测度小”的局部扰动（Remark 3.2 指出：对近点涡初值，所需面积可能极大）；而 [5] 表明此类局部扰动可能导致稳定性。此外，本文结果限于奇对称半平面，未解决全平面或无对称性情形；gSQG 推广（Theorem 4.1）仅覆盖 $0 < \alpha < 1/2$，未包含临界 SQG（$\alpha = 1/2$）或欧拉（$\alpha = 0$）以外的端点，且生命期 $T$ 未被证明为无穷（而欧拉解全局存在）。综上，本文以质心漂移与稀疏速度分离为核心思想，在普适性、定量性与构造性上取得实质性推进，但其扰动非局部性与对称性依赖亦构成明确边界。

3. 法向迹与柯西通量的容许性判据

Admissibility criteria for normal traces and Cauchy fluxes

作者: Christopher Irving, Akram Sharif

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.30937v1

摘要翻译: 我们比较了柯西通量中容许曲面的概念，其形式化表述为：在何种条件下，底层应力场的法向迹可由一个测度表示。若该应力场无界，则容许性问题必然出现，这是因为法向迹未必在每个正则曲面上都具有测度表示，而仅在“几乎所有的”此类曲面上成立。我们通过证明：在较弱的几何条件下，Šilhavý（Arch. Ration. Mech. Anal. 116.3 (1991)）所引入的基于精确主函数（precise majorant）的方法蕴含 Chen、Torres 与第一作者（Arch. Ration. Mech. Anal. 249.6 (2025)）所提出的基于 Minkowski 型条件的方法；从而对这两种方法进行了比较。此外，我们通过一个显式构造表明：后一容许性条件允许法向迹出现任意的测度集中（arbitrary measure concentrations）。

Comment: 22 pages

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

1. 研究对象和背景

本文研究的核心对象是 $\mathbb{R}^n$（$n \geq 2$）中无界散度测度场（divergence-measure fields）$F \in L^1_{\mathrm{loc}}(\mathbb{R}^n; \mathbb{R}^n)$ 的法向迹（normal trace）在非光滑边界上的可定义性问题。该问题源于经典连续介质力学中的柯西应力定理：对光滑曲面 $S$，接触力（通量）$F(S)$ 应能表示为

$$ F(S) = \int_S F \cdot \nu_S \, d\mathcal{H}^{n-1}, $$

其中 $\nu_S$ 是单位外法向量，$\mathcal{H}^{n-1}$ 是 $(n-1)$-维 Hausdorff 测度。当应力场 $F$ 有界时，Gauss-Green 公式在有限周长集（sets of finite perimeter）上成立，从而可严格导出该表示；但当 $F$ 无界（如 Boussinesq 或 Flamant 型集中载荷产生的奇异性场）时，分布意义下的法向迹

$$ \langle F \cdot \nu, \phi \rangle_{\partial E} := \int_E \nabla \phi \cdot F \, dx + \int_E \phi \, (\mathrm{div}\, F), \quad \forall \phi \in C^1_b(\Omega), $$

未必能被一个 Radon 测度 $\sigma \in \mathcal{M}(\partial E)$ 所表示，即未必存在 $\sigma$ 使得

$$ \langle F \cdot \nu, \phi \rangle_{\partial E} = \int_{\partial E} \phi \, d\sigma. $$

此时，必须限制所允许的“边界” $\partial E$ 的几何类，即引入可容许性判据（admissibility criteria），以确保法向迹具有测度表示。这直接关联到柯西通量（Cauchy fluxes）的公理化理论：给定一个满足加性与平衡律 $F(\partial E) = \mu(E)$ 的集合函数 $F$，其能否由某个 $F$ 场通过法向迹实现？若不能，则该通量无法对应于任何经典或广义应力场。已有两类核心判据：其一是 Šilhavý 在 1991 年提出的基于精确控制函数（precise majorant）$h$ 的 $h$-可容许性，要求

$$ \int_{\partial^* E} h \, d\mathcal{H}^{n-1} < \infty, $$

其中 $\partial^* E$ 是约化边界，$h$ 是由 $F$ 的磨光序列 $F_k = F * \rho_{\delta_k}$ 构造的、满足 $|F_k| \leq h$ 几乎处处且 $F_k \to F$ 在 $\{h < \infty\}$ 上逐点成立的 $L^1$ 函数（见定义 2.1）。其二是 Chen–Torres–Irving 在 2025 年提出的Minkowski 型条件，针对开集 $U$，要求

$$ \liminf_{\varepsilon \downarrow 0} \frac{1}{\varepsilon} \int_{U \cap B_\varepsilon(\partial U)} |F| \, dx < \infty. $$

这一条件本质上是对 $F$ 在边界 $\partial U$ 的 $\varepsilon$-邻域 $B_\varepsilon(\partial U)$ 内的 $L^1$ 平均增长速率施加控制，其几何内涵是 $(n-1)$-维 Minkowski 内容的有限性。本文旨在系统比较这两条路径：它们是否等价？哪一条更弱、更具普适性？在何种几何假设下可建立蕴含关系？更重要的是，当 Minkowski 条件成立时，其对应的法向迹测度 $\sigma$ 能否承载任意奇异结构（如 Dirac 脉冲）？这些问题构成了当前数学连续介质力学与向量场分析理论的前沿空白——既有工作（如 [DMM99]、[Šil91]、[Šil09]、[CIT25]）各自建立了独立框架，但缺乏对判据间逻辑关系的定量刻画与反例构造。

2. 主要定理或主要结果

本文确立了两个严格证明的核心定理。定理 1.1（Minkowski 型估计）：设 $F \in L^1(\mathbb{R}^n; \mathbb{R}^n)$，$h$ 是其精确控制函数（Definition 2.1），$E \subset \mathbb{R}^n$ 是有限周长集，且其边界 $\partial E$ 满足一致下密度条件（uniform lower density condition，Definition 3.1），即存在 $\gamma_0 > 0$ 和 $R_0 > 0$，使得对所有 $x_0 \in \partial E$ 和 $r \in (0, R_0)$，有 $\mathcal{H}^{n-1}(\partial E \cap B_r(x_0)) \geq \gamma_0 r^{n-1}$。则存在常数 $\gamma = \gamma(n, E) > 0$，使得

$$ \liminf_{\varepsilon \downarrow 0} \frac{1}{2\varepsilon} \int_{B_\varepsilon(\partial E)} |F| \, dx \leq \gamma \int_{\partial E} h \, d\mathcal{H}^{n-1}. $$

该不等式表明，在一致下密度条件下，$h$-可容许性蕴含 Minkowski 型可容许性，并给出了显式的常数依赖关系。推论 3.7 进一步指出，若 $\int_{\partial E} h \, d\mathcal{H}^{n-1} < \infty$，则必有 $\liminf_{\varepsilon \downarrow 0} \frac{1}{2\varepsilon} \int_{B_\varepsilon(\partial E)} |F| \, dx < \infty$。定理 1.2（法向迹的任意实现）：设 $\Omega \subset \mathbb{R}^n$ 是有界 Lipschitz 域，$\sigma \in \mathcal{M}(\partial \Omega)$ 是任意 Radon 测度。则存在向量场 $F \in L^p(\mathbb{R}^n; \mathbb{R}^n)$，其中 $p$ 满足 $1 \leq p < \frac{n}{n-1}$，且 $\mathrm{div}\, F \in L^p(\mathbb{R}^n)$，使得

$$ \limsup_{\varepsilon \downarrow 0} \frac{1}{2\varepsilon} \int_{B_\varepsilon(\partial \Omega)} |F| \, dx \leq C |\sigma|(\partial \Omega) < \infty, $$

且其在 $\partial \Omega$ 上的分布意义法向迹恰好为 $\sigma$，即

$$ \langle F \cdot \nu, \cdot \rangle_{\partial \Omega} = \sigma. $$

此外，若 $\int_{\partial \Omega} d\sigma = 0$，则 $F$ 可被构造为在 $\Omega$ 的某个邻域内散度为零。该定理的构造性证明（Lemma 4.3）给出了一个半空间上的显式势函数 $\Phi_j(y) = -\mathrm{sgn}(y_n) \frac{y_j}{|y_n|^n} \rho\left(\frac{y'}{|y_n|}\right)$，并定义 $G = \Phi(\cdot, y_n) * \sigma$，其满足 $G \in L^p(\mathbb{R}^{n-1} \times (-T, T))$，$\mathrm{div}\, G = 0$，且 $\langle G \cdot \nu, \cdot \rangle_{\partial \mathbb{R}^n_+} = \sigma$。此结果直接推出：存在 $F$ 使得 Minkowski 型条件（1.4）成立，但 $h$-可容许性（1.3）不成立，即反向蕴含不成立。

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

本文的核心技术障碍在于：如何在不依赖传统 Sobolev 嵌入或层位势理论的前提下，对任意 Radon 测度 $\sigma$ 构造一个 $L^1$ 向量场 $F$，使其法向迹恰好为 $\sigma$，同时严格控制其在边界邻域内的 $L^1$ 平均值。作者的真正创新点在于将 Gagliardo 的迹延拓思想转化为一个显式的、尺度协变的半空间势函数 $\Phi$（Lemma 4.3），并对其进行精细的 $L^p$ 估计。该势函数的关键特性在于其齐次性：$\Phi(y', y_n)$ 关于 $y_n$ 是 $(-n)$ 阶齐次的，关于 $y'$ 是 $1$ 阶齐次的，这保证了其卷积核在 $y_n$ 方向具有最优的衰减与奇异性平衡。具体而言，证明中分三步突破：（1）尺度分析与 $L^p$ 估计：利用变量替换 $z' = y'/|y_n|$，将 $\|\Phi(\cdot, y_n)\|_{L^p(\mathbb{R}^{n-1})}$ 化为 $|y_n|^{-(n-1)(p-1)/p}$ 的幂律形式（公式 4.8），再与 $\sigma$ 的总变差 $|\sigma|$ 相乘，得到 $\|G\|_{L^p(\mathbb{R}^{n-1} \times (-T,T))} \lesssim T^{n/p + 1 - n} |\sigma|$（公式 4.7）。这一估计精确捕获了 $p$ 的临界值 $\frac{n}{n-1}$，因为当 $p \uparrow \frac{n}{n-1}$ 时，指数 $n/p + 1 - n \to 0$，$T$ 的幂次消失，与 [CCT19] 的最优性结论吻合。（2）散度消去机制：通过直接计算验证 $\mathrm{div}\, \Phi = 0$（Lemma 4.3(ii)），这使得 $G$ 自动成为无源场，从而其法向迹仅由边界行为决定，避免了散度项的干扰。（3）法向迹的精确捕获：利用 $\Phi$ 在 $y_n \to 0^\pm$ 时的奇异性，证明其作为分布作用于测试函数时，极限行为恰好复现 $\sigma$ 的积分（Lemma 4.3(iii)）。这一构造完全规避了传统方法（如 [Irv25] 的 $W^{-1,1}$ 迹空间理论或 [MT00] 的层位势）中难以同时控制 $L^1$ 邻域平均与法向迹的困境。另一关键技术是定理 3.3 的证明中对 Besicovitch 覆盖定理的精巧运用：它将全局的 Minkowski 内容 $\frac{1}{2\varepsilon} \mathcal{L}^n(B_\varepsilon(S))$ 控制在局部球体 $B_{r_k}(x_0)$ 的覆盖和上，并通过一致下密度条件将 $\mathcal{H}^{n-1}$ 测度与 $r_k^{n-1}$ 关联，最终将 $h$ 的积分与 $F$ 的邻域 $L^1$ 平均联系起来（公式 3.10）。此框架揭示了 $h$-可容许性本质上是一种“加权面积”控制，而 Minkowski 条件是一种“加权体积”控制，前者在几何正则性（下密度）下可推出后者。

4. 与之前工作的比较

本文与既有工作的推进主要体现在三个维度。第一，判据蕴含关系的首次建立：此前，$h$-可容许性（[Šil91], [DMM99]）与 Minkowski 型条件（[CIT25], [Šil09]）被视为两条平行发展的、互不相关的路径。本文定理 1.1 首次证明了在一致下密度这一温和几何假设下，前者蕴含后者（公式 1.6），填补了理论间的逻辑鸿沟。值得注意的是，该蕴含是单向的，且其反向不成立（Corollary 4.6），这从根本上否定了二者等价的猜想。第二，适用范围与奇异性承载能力的根本性差异：$h$-可容许性要求 $\int_{\partial^* E} h \, d\mathcal{H}^{n-1} < \infty$，而 $h$ 本身在 $F$ 的奇点附近必然发散（Remark 2.2），因此该条件天然排斥 Dirac 型测度作为法向迹（[Sch07, Proposition 6.5]）。相反，本文定理 1.2 显式构造出满足 Minkowski 条件（1.4）的场，其法向迹 $\sigma$ 可以是任意 Radon 测度，包括 $\sigma = \delta_{x_0}$。这意味着 Minkowski 型条件为柯西通量理论提供了更广阔的舞台，能够容纳物理上更真实的集中载荷模型。第三，几何代价与局限性：定理 1.1 的蕴含关系以“一致下密度”为代价。该条件排除了具有尖锐尖点（cusp）或分形边界的集合，例如 Example 3.4 中的穿孔圆盘 $U = B_1(0) \setminus \{0\}$，其 $\partial U$ 在原点不满足下密度，导致 $h$-可容许性失效而 Minkowski 条件仍成立。同样，Example 3.9 引用的 Krahn 构造表明，即使对于有限周长集，若其边界 Minkowski 内容无限，$h$-可容许性也无法保证 Minkowski 条件成立。因此，本文的推进是以接受更严格的几何正则性为前提，换取了判据间清晰的层级关系；而 Minkowski 条件的普适性，则是以放弃对 $h$ 这一精细控制函数的依赖为代价。作者未显式展开与 [CF03]、[CLT20] 等工作中基于 $W^{-1,p}$ 迹空间的比较，但从 Remark 4.2 可知，本文构造的 $F$ 在 $p < \frac{n}{n-1}$ 范围内达到最优可积性，与 [CCT19] 的结论一致，表明其并未在可积性上做出妥协。

4. 流体–多孔粘弹性耦合问题的强适定性：基于谱分析的方法

Strong well-posedness of a fluid–poro-viscoelastic interaction problem: An approach by Spectral analysis

作者: Tim Binz, Matthias Hieber, Arnab Roy

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31322v1

摘要翻译: 本文研究了一个耦合的粘弹性 Navier–Stokes–Biot 系统，该系统在三维空间中描述不可压粘性流体与多孔粘弹性介质之间的相互作用。流体与多孔介质之间的耦合通过 Beavers–Joseph–Saffman 型界面条件实现。利用谱分析方法，证明了该耦合系统对小初值存在唯一、强、整体解。此外，建立了一个 Serrin 型爆破准则。

Comment: 无

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

1. 研究对象和背景

本文研究三维空间中不可压黏性流体与多孔黏弹性介质之间的强耦合相互作用问题，其数学模型由 Navier–Stokes 方程、动态黏弹性 Biot 系统及 Beavers–Joseph–Saffman (BJS) 型界面条件共同构成。设流体区域为有界光滑域 $\Omega_f \subset \mathbb{R}^3$，多孔黏弹性固体区域为 $\Omega_p \subset \mathbb{R}^3$，二者通过固定光滑界面 $\Gamma = \partial \Omega_f \cap \partial \Omega_p$ 相连，且 $\Gamma$ 不接触内边界 $\Gamma_p = \partial \Omega_i \subset \Omega_p$ 和外边界 $\Gamma_f = \partial \Omega_f \setminus \Gamma$（见图1）。流体速度场 $u_f: (0,T) \times \Omega_f \to \mathbb{R}^3$ 与压力 $\pi_f$ 满足

$$ \begin{cases} \partial_t u_f - \operatorname{div} \sigma_f(u_f, \pi_f) + u_f \cdot \nabla u_f = 0 & \text{in } (0,T) \times \Omega_f, \\ \operatorname{div} u_f = 0 & \text{in } (0,T) \times \Omega_f, \end{cases} $$

其中 Cauchy 应力张量 $\sigma_f(u_f, \pi_f) = 2\varepsilon(u_f) - \pi_f I$，$\varepsilon(u) = \frac{1}{2}(\nabla u + \nabla u^\top)$ 为线性应变张量。多孔介质位移场 $u_p: (0,T) \times \Omega_p \to \mathbb{R}^3$ 与孔隙压力 $p_p$ 满足黏弹性 Biot 系统：

$$ \begin{cases} \partial_{tt} u_p - \operatorname{div} \sigma_p^\delta(u_p, p_p) = 0 & \text{in } (0,T) \times \Omega_p, \\ \partial_t(p_p + \alpha \operatorname{div} u_p) - k \Delta p_p = 0 & \text{in } (0,T) \times \Omega_p, \end{cases} $$

其中总应力张量含 Kelvin–Voigt 黏弹性项：

$$ \sigma_p^\delta(u_p, p_p) = \lambda_p \varepsilon(u_p + \delta \partial_t u_p) + 2\mu_p \varepsilon(u_p + \delta \partial_t u_p) - \alpha p_p I, $$

$\lambda_p, \mu_p > 0$ 为 Lamé 系数，$\alpha > 0$ 为 Biot–Willis 耦合系数，$k > 0$ 为渗透率，$\delta \geq 0$ 为黏弹性参数；当 $\delta = 0$ 时退化为经典动态 poroelastic Biot 系统，而 $\delta > 0$ 引入应变率依赖，使位移方程呈现“阻尼双曲”结构（即二阶时间导数主导但具耗散），压力方程则为纯抛物型。该系统天然具有混合型：Biot 子系统是双曲–抛物耦合，Navier–Stokes 是非线性抛物型，整体构成非线性双曲–抛物–抛物耦合系统。界面 $\Gamma$ 上的耦合由四条传输条件给出（ICC）：

$$ \begin{cases} u_f \cdot n_\Gamma = (\partial_t u_p - k \nabla p_p) \cdot n_\Gamma, \\ \sigma_f n_\Gamma = \sigma_p^\delta n_\Gamma, \\ n_\Gamma \cdot \sigma_f n_\Gamma = -p_p, \\ \sum_{j=1}^{2} t_j^\Gamma \cdot \sigma_f n_\Gamma = -\beta \sum_{j=1}^{2} (u_f - \partial_t u_p) \cdot t_j^\Gamma, \end{cases} $$

其中 $n_\Gamma$ 为 $\Omega_p$ 外法向，$\{t_j^\Gamma\}_{j=1}^2$ 为切向正交基，$\beta > 0$ 为切向阻力系数。前两条分别保证法向流速连续与总法向应力平衡；第三条将流体法向应力与孔隙压力关联；第四条即 BJS 条件，刻画切向滑移——它非局部、非对称，且将流体应力与固相速度跳跃耦合，导致线性化算子具有非对角定义域，无法解耦流–固子问题。边界条件在非界面部分取齐次 Dirichlet 型：$u_f|_{\Gamma_f} = 0$，$u_p|_{\Gamma_p} = 0$，$p_p|_{\Gamma_p} = 0$；初始数据为 $(u_p(0), \partial_t u_p(0), p_p(0), u_f(0)) = (u_0, v_0, p_0, u_f^0)$。该模型在生物力学（如动脉壁–血液相互作用）、地质力学（含水层–地下水耦合）及软材料工程中具有明确物理动机。然而，现有理论严重受限：此前工作 [14, 18, 21, 28, 29, 41] 仅建立弱解存在性，且均未解决唯一性；尤其在 $\delta > 0$ 的黏弹性情形下，因双曲性残留与 BJS 非局部性，弱解唯一性仍是公开问题。更关键的是，尚无任何工作在非线性、三维、黏弹性、BJS 耦合框架下构造强解（即满足方程几乎处处成立、所有导数属于 $L^p$ 空间、界面条件以迹意义满足）。本文旨在填补这一根本性空白：在 $\delta > 0$ 的黏弹性正则化前提下，借助精细谱分析，证明强解的局部存在唯一性与小初值全局存在唯一性，并在临界 Besov 空间中实现尺度不变性。

2. 主要定理或主要结果

定理 4.1（强适定性）：设 $q,r \in (1,\infty)$ 满足 $\frac{2}{3r} + \frac{1}{q} \leq 1$，并记 $\mu_0 := \frac{1}{2} + \frac{1}{2q} + \frac{1}{r}$。 (a) 若 $q < 3$，令 $\mu_c := \frac{3}{2q} - \frac{1}{2} + \frac{1}{r}$，取 $\mu \in [\mu_c, 1] \setminus \{\mu_0\}$，且初值 $(u_0, v_0, p_0, u_f^0) \in H^{1,q}_{\Gamma_p}(\Omega_p) \times B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_p}(\Omega_p) \times B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_p}(\Omega_p) \times B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_f,\sigma}(\Omega_f)$（对 $\mu > \mu_0$），则存在 $T > 0$，使得系统 (Biot)-(NSE)-(ICC) 连同 (2.1)(2.2) 存在唯一强解：

$$ \begin{aligned} u_p &\in H^{1,r}_\mu(0,T; H^{1,q}(\Omega_p)), \\ u_p + \delta \partial_t u_p &\in L^r_\mu(0,T; H^{2,q}(\Omega_p)) \cap H^{1,r}_\mu(0,T; L^q(\Omega_p)) \cap \mathrm{BUC}([0,T); B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_p}(\Omega_p)), \\ p_p &\in L^r_\mu(0,T; H^{2,q}(\Omega_p)) \cap H^{1,r}_\mu(0,T; L^q(\Omega_p)) \cap \mathrm{BUC}([0,T); B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_p}(\Omega_p)), \\ u_f &\in L^r_\mu(0,T; H^{2,q}(\Omega_f)) \cap H^{1,r}_\mu(0,T; L^q_\sigma(\Omega_f)) \cap \mathrm{BUC}([0,T); B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_f,\sigma}(\Omega_f)). \end{aligned} $$

进一步，存在 $r_0 > 0$，当 $\|u_0\|_{H^{1,q}_{\Gamma_p}} + \|v_0\|_{B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_p}} + \|p_0\|_{B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_p}} + \|u_f^0\|_{B^{\frac{2\mu-2}{r}}_{q,r,\Gamma_f}} < r_0$ 时，该唯一强解全局存在（即 $T = \infty$）。 (b) 若 $q \geq 3$，取 $\mu \in (\frac{1}{r}, 1] \setminus \{\mu_0\}$，初值同上，则存在局部唯一强解，且小初值下亦全局存在。注：(a) 中 $\mu = \mu_c$ 对应 Navier–Stokes 的尺度不变临界空间 $B^{\frac{3}{q}-1}_{q,r}$（因 $\frac{2\mu_c-2}{r} = \frac{3}{q}-1$），且 $q<3$ 保证该指数为正；(b) 中初值属亚临界空间。推论 4.4（Serrin 型爆破准则）：若 $q<3$，且初值属于临界空间 $H^{1,q}_{\Gamma_p} \times B^{\frac{3}{q}-1}_{q,r,\Gamma_p} \times B^{\frac{3}{q}-1}_{q,r,\Gamma_p} \times (B^{\frac{3}{q}-1}_{q,r,\Gamma_f} \cap L^q_\sigma)$，对应最大存在时间 $[0,t_+)$，则有限时间爆破 $t_+ < \infty$ 当且仅当

$$ \limsup_{t \uparrow t_+} \int_0^t \left( \|u_p(s)\|_{H^{1,q}}^r + \|u_p(s) + \delta \partial_s u_p(s)\|_{H^{2\mu_c,q}}^r + \|p_p(s)\|_{H^{2\mu_c,q}}^r + \|u_f(s)\|_{H^{2\mu_c,q}}^r \right) ds = +\infty. $$

此外，Remark 4.2(d) 指出：若 $\frac{4}{p} + \frac{3}{q} < 1$，小初值全局解在 $B^{\frac{2-2}{r}}_{q,r}$ 中以指数速率衰减，衰减速率由线性化算子的谱界 $\omega_0(A) < 0$ 精确决定（见第7节）。

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

证明的核心障碍在于三重结构性困难：(1) 非线性 Navier–Stokes 项 $u_f \cdot \nabla u_f$ 的强耦合；(2) Biot 子系统的混合双曲–抛物本质（$\partial_{tt} u_p$ 主导但受 $\delta \partial_t u_p$ 阻尼，而 $p_p$ 为纯抛物），导致 $u_p$ 的自然正则性被限制在 $H^{1,q}$，无法获得更高阶时间导数控制；(3) BJS 界面条件引入非对角定义域与非局部约束，使线性化算子 $A$ 无法对角化，且其预解式不紧致，谱可能含本质谱（essential spectrum），标准紧性谱论证失效。作者的真正创新点在于：利用 $\delta > 0$ 的黏弹性阻尼，通过精细的相似变换与函数演算，将本质谱定位并证明其严格负性。具体技术路径如下： 第一，引入新变量 $v_p = \partial_t u_p$，将原系统一阶化为 $w = (u_p, v_p, p_p, u_f)^\top$，并构造算子矩阵 $A$（式(5.10)），其定义域 $D(A)$ 由界面条件 (5.2) 隐式定义，呈非对角结构。为处理 $u_p$ 仅属 $H^{1,q}$ 而非 $D(L_m)$ 的问题，作者施加相似变换 $S$（式(6.1)），得到等价算子 $B = SAS^{-1}$，其形式为

$$ B = \begin{pmatrix} -\delta^{-1} & 1 & 0 & 0 \\ -\delta^{-2} & \delta L_m + \delta^{-1} & -\alpha \nabla & 0 \\ \delta^{-1} \alpha \operatorname{div} & -\alpha \operatorname{div} & k \Delta_m & 0 \\ 0 & 0 & 0 & A_m \end{pmatrix}, $$

此时 $v_p$ 被提升至 $D(L_m)$，但界面条件亦随之变换为 (6.2)，仍保持非局部性。 第二，为分离本质谱，作者将 $B$ 分解为“主部” $B_0$（含齐次边界条件的 $L_0, \Delta_0, A_0$）与“边界扰动” $G$。关键观察是：$B$ 的谱性质由一个简化算子 $C = M((-L)^{1/2})$ 决定，其中 $M(\alpha)$ 是 $2 \times 2$ 矩阵

$$ M(\alpha) = \begin{pmatrix} -\delta^{-1} & \alpha \\ -\delta^{-2} \alpha^{-1} & -\delta \alpha^2 + \delta^{-1} \end{pmatrix}, $$

$L$ 为 Lamé 算子。通过函数演算与谱映射原理，$C$ 的谱可由 $M(\alpha)$ 的谱导出，而后者是代数对象，易计算得其特征值实部恒负（因 $\delta > 0$）。由此严格证明 $\omega_0(B) = \sup \{ \operatorname{Re} \lambda : \lambda \in \sigma(B) \} < 0$，即谱界严格负。 第三，基于此谱界，作者在第8节建立“无平移极大正则性”（unshifted maximal regularity）：对线性系统 $\partial_t w = B w + f$，存在常数 $C > 0$ 使得

$$ \|w\|_{E_{1,\mu}(J)} \leq C \|f\|_{E_{0,\mu}(J)}, \quad E_{1,\mu}(J) = H^{1,r}_\mu(J; X_0) \cap L^r_\mu(J; X_1), \quad E_{0,\mu}(J) = L^r_\mu(J; X_0). $$

该估计是强解存在的基石。最后，结合经典的 Navier–Stokes 双线性估计 $\|P(u_f \cdot \nabla u_f)\|_{L^r_\mu(L^q_\sigma)} \leq C \|u_f\|_{L^r_\mu(H^{2,q})} \|u_f\|_{L^r_\mu(L^q_\sigma)}$ 与压缩映射原理，完成定理 4.1 的证明。整个框架避免了传统能量方法对高阶导数的依赖，转而依赖谱分析与极大正则性理论，是处理混合型耦合问题的范式突破。

4. 与之前工作的比较

本文与既有工作存在本质性推进，体现在假设、结论、方法与适用范围四个维度： (1) 与弱解理论比较：文献 [14, 18, 21, 28, 29, 41] 均仅在 $L^2$ 框架下证明弱解存在性，且未涉及唯一性；本文首次在三维、非线性、黏弹性、BJS 耦合下建立强解存在唯一性，且解满足方程几乎处处成立、所有导数属于 $L^r_\mu$ 空间、界面条件以 $L^r_\mu(W^{2-1/q,q}(\Gamma))$ 迹意义精确满足（Remark 4.2(a)），这是弱解理论完全无法企及的正则性层次。 (2) 与线性/半线性模型比较：文献 [19] 研究 Stokes–Kirchhoff 板模型，但结构位于边界且为线性；[28] 考虑二维移动界面，模型不同。本文处理的是三维全包围几何、固定界面、完全非线性 Navier–Stokes 与黏弹性 Biot 的强耦合，难度显著提升。 (3) 与 $\delta = 0$ 的经典 Biot 比较：当 $\delta = 0$ 时，Biot 系统为纯双曲型，其线性化算子谱含虚轴上的连续谱（本质谱），谱界 $\omega_0 = 0$，无法导出指数衰减或全局适定性。本文的关键在于 $\delta > 0$ 的黏弹性阻尼彻底改变了谱结构：它将本质谱从虚轴拉入左半平面，使 $\omega_0 < 0$ 成立（Section 7），从而支撑全局解与指数衰减（Remark 4.2(d)）。这是对经典 Biot 理论的根本性正则化推进。 (4) 与临界空间理论比较：本文在 $q < 3$ 时达到 Navier–Stokes 的尺度不变临界 Besov 空间 $B^{3/q-1}_{q,r}$（Theorem 4.1(a) 中 $\mu = \mu_c$），而此前流体–结构耦合工作（如 [28]）均未在临界空间中建立适定性。代价是：必须要求 $\delta > 0$，且初值需满足更严格的相容性（如 $u_0 \in H^{1,q}_{\Gamma_p}$）；当 $q \geq 3$ 时，临界空间为负阶，本文退至亚临界空间（Theorem 4.1(b)），这是由双曲性残留导致的固有局限。此外，本文的 Serrin 型爆破准则（Corollary 4.4）是首个针对此类耦合系统的临界爆破判据，其积分型条件比传统 $L^\infty$ 准则更易验证。综上，本文并非已有工作的简单推广，而是通过引入黏弹性阻尼、发展新的谱分析工具、构建极大正则性框架，在强解理论、临界正则性、全局行为刻画三个层面实现了系统性突破。从提供内容中无法确认本文数值结果或与实验数据的对比。

5. 间接趋化级联中的结构二分性与质量临界性：四阶椭圆性 vs. Volterra 记忆

Structural dichotomy and mass criticality in indirect chemotaxis cascades: fourth-order ellipticity versus Volterra memory

作者: Jiguang Yu, Louis Shuo Wang

类别: math.AP

发布日期: 2026-05-28

arXiv ID: 2605.30438v1

摘要翻译: 我们研究 Keller–Segel 型趋化模型中间接信号生成机制的结构性与算子论基础。通过分析一个具有物理动机的多阶段信号级联，我们确立了瞬时平衡与暂态动力学记忆之间精确的数学二分性。具体而言，我们证明：完全平衡的抛物–椭圆–椭圆（PES）级联约化为一个静态的四阶椭圆相互作用。在四维情形下，主导 Newton 奇异性发生精确代数相消，从而产生纯对数型核，使质量临界维数由 $N=2$ 平移至 $N=4$。借助 $L^2$-梯度流表述，我们确定了相应的浓度缩放候选临界质量 $M_* = 64π^2τ/χ$。形成鲜明对比的是，我们证明混合椭圆–抛物（MEP）级联保留了真正的 Volterra 记忆效应，无法被约化为静态模型。其相互作用漂移在时间上表现为奇异摄动：在时间对角线附近呈现经典二维 Keller–Segel 主导阶，而在其冻结时间平均中则提供四阶正则化，因而需要一种混合时空阈值理论。这些结果厘清了多尺度生物系统中质量临界维数平移的物理起源，并构建了闭合该类阈值问题所必需的特定适配 Adams/对数型 Hardy–Littlewood–Sobolev（log-HLS）不等式及混合范数判据。

Comment: 无

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

1. 研究对象和背景

本文研究 Keller–Segel 型趋化模型中由多阶段信号生成机制所诱导的间接趋化级联的算子结构与临界质量现象。核心对象是两类物理动机明确的间接信号级联系统：(i) 全平衡型抛物–椭圆–椭圆（PES）级联，其方程组为

$$ \begin{cases} \partial_t u = \Delta u - \chi \nabla \cdot (u \nabla c), \\ 0 = \Delta w - w + u, \\ 0 = \tau \Delta c - c + w; \end{cases} \tag{PES} $$

(ii) 混合型椭圆–抛物（MEP）级联，其方程组为

$$ \begin{cases} \partial_t u = \Delta u - \chi \nabla \cdot (u \nabla c), \\ 0 = \Delta w - w + u, \\ \partial_t c = \Delta c - c + w. \end{cases} \tag{MEP} $$

其中 $u(x,t) \ge 0$ 表示细胞密度，$w$ 是中间代谢物质，$c$ 是最终被细胞感知的趋化信号；$\chi > 0$ 为趋化敏感度，$\tau > 0$ 为尺度参数；所有算子均定义在 $\mathbb{R}^N$、环面 $\mathbb{T}^N$ 或具齐次 Neumann 边界条件的 $C^2$ 有界区域 $\Omega \subset \mathbb{R}^N$ 上；记 $A := I - \Delta$, $A_\tau := I - \tau \Delta$。问题的重要性在于：经典 Keller–Segel 系统 $\partial_t u = \Delta u - \chi \nabla \cdot (u \nabla v),\ -\Delta v = u$ 的质量临界维数为 $N = 2$，其根源在于 $v = (-\Delta)^{-1} u$ 的 Newtonian 核 $|x|^{-(N-2)}$ 在 $N=2$ 时退化为对数奇性 $\log(1/|x|)$，并由此触发 $L^1$-尺度不变性及 $\log$-HLS 不等式支撑的尖锐临界质量 $M_c = 8\pi / \chi$。然而，真实生化网络中信号生成必经中间步骤，不能假设瞬时、直接分泌。PES 与 MEP 正是对这一物理现实的两种基本建模范式：PES 假设中间物质 $w$ 与最终信号 $c$ 均无限快达到平衡（即两个椭圆方程），从而可逐点消去得到静态映射 $c = K_\tau u$，其中

$$ K_\tau := A_\tau^{-1} A^{-1}, \quad \widehat{K_\tau f}(\xi) = \frac{\widehat{f}(\xi)}{(1 + |\xi|^2)(1 + \tau |\xi|^2)}. $$

该算子在高频渐近下满足 $\widehat{K_\tau}(\xi) \sim (\tau |\xi|^4)^{-1}$，故为主阶 $-4$ 的四阶椭圆算子，其主齐次部分为 $\tau^{-1}(-\Delta)^{-2}$。而 MEP 仅假设 $w$ 快速平衡（$w = A^{-1} u$），但 $c$ 遵循抛物演化 $\partial_t c + A c = A^{-1} u$，其解由 Duhamel 公式给出

$$ c(t) = e^{-tA} c_0 + \int_0^t e^{-(t-s)A} A^{-1} u(s)\, ds, $$

导致趋化漂移项 $\nabla c$ 成为一个非退化的 Volterra 型记忆算子

$$ V u(t) := \int_0^t \nabla e^{-(t-s)A} A^{-1} u(s)\, ds, $$

其 Fourier 乘子为 $m(\xi, \theta) = i\xi e^{-\theta(1+|\xi|^2)} / (1 + |\xi|^2)$，$\theta = t - s > 0$。此结构导致其在时对角线附近 $\theta \to 0^+$ 逼近经典 $-1$ 阶 Keller–Segel 漂移 $i\xi/(1+|\xi|^2)$，而在时间平均意义下却呈现 $-3$ 阶平滑性 $\nabla A^{-2}(I - e^{-tA})$。本文试图填补的关键空白在于：严格建立 PES 与 MEP 在算子理论层面的根本二分性——前者可约化为静态四阶椭圆系统，后者本质上是时空耦合的 Volterra 记忆系统，其临界性无法通过任何静态椭圆缩放论证获得；进而精确刻画 PES 在 $N=4$ 时因代数相消导致的核奇性软化机制，并首次导出其浓度缩放候选临界质量 $M_* = 64\pi^2 \tau / \chi$；同时明确指出 MEP 所需的混合时空阈值理论框架及其所需的新颖不等式（如适配的 Adams/log-HLS 型不等式与混合范数准则），而这些在既有文献中均未系统构建。

2. 主要定理或主要结果

本文在如下严格假设下证明了以下核心结论：设 $N \ge 1$，$\tau > 0$，$\chi > 0$，$A = I - \Delta$，$A_\tau = I - \tau \Delta$ 定义在 $\mathbb{R}^N$、$\mathbb{T}^N$ 或具齐次 Neumann 边界条件的 $C^2$ 有界区域 $\Omega \subset \mathbb{R}^N$ 上。（i）【PES 结构定理，Theorem 1.2(i)】PES 级联可完全消元为 $c = K_\tau u$，其中 $K_\tau = A_\tau^{-1} A^{-1}$ 是 $L^2$ 上正定自伴算子，且是主阶 $-4$ 的光滑化算子，其主齐次部分为 $\tau^{-1}(-\Delta)^{-2}$；进一步，对任意 $s \in \mathbb{R}$，有 Sobolev 估计 $\|K_\tau f\|_{H^{s+4}_A} \le \max\{1, \tau^{-1}\} \|f\|_{H^s_A}$（Lemma 2.1）。（ii）【PES 缩放临界性，Theorem 1.2(ii) & Proposition 2.3】PES 的主频抛物缩放为 $u_\lambda(x,t) = \lambda^4 u(\lambda x, \lambda^2 t)$，由此导出缩放临界 Lebesgue 指标 $q_c = N/4$，质量临界维数为 $N = 4$；特别地，在 $N=4$ 时，$L^1$ 范数在此缩放下不变。（iii）【PES 对数核，Theorem 1.2(iii) & Proposition 2.6】在 $\mathbb{R}^4$ 上，$K_\tau$ 的积分核 $G_\tau$ 具有局部展开

$$ G_\tau(x) = \frac{1}{8\pi^2 \tau} \log \frac{1}{|x|} + R_\tau(x), $$

其中余项 $R_\tau \in C^0(\mathbb{R}^4)$ 在原点邻域有界；该展开在 $\mathbb{T}^4$ 及 $C^\infty$ Neumann 区域 $\Omega \subset \mathbb{R}^4$ 的任意紧子集上亦成立（含余项 $R_\tau \in L^\infty(K \times K)$）。（iv）【MEP Volterra 结构，Theorem 1.2(iv)】MEP 级联消元后给出 Volterra 表示 $c(t) = e^{-tA} c_0 + \int_0^t e^{-(t-s)A} A^{-1} u(s)\, ds$；其记忆漂移乘子 $m(\xi, \theta)$ 满足时对角线极限 $\lim_{\theta \to 0^+} m(\xi, \theta) = i\xi / (1 + |\xi|^2)$，该极限具有主阶 $-1$；而其时间平均 $\int_0^t \nabla e^{-\theta A} A^{-1} u\, d\theta = \nabla A^{-2}(I - e^{-tA}) u$ 具有主阶 $-3$。（v）【自由能与临界质量候选，Proposition 3.1 & 3.4】PES 具有 $L^2$-梯度流自由能

$$ F_{\text{PES}}[u] := \int_\Omega u \log u \, dx - \frac{\chi}{2} \int_\Omega u K_\tau u \, dx, $$

并满足熵耗散恒等式 $\frac{d}{dt} F_{\text{PES}}[u(t)] = -\int_\Omega u |\nabla(\log u - \chi K_\tau u)|^2 dx \le 0$；对集中序列 $u_\varepsilon(x) = \varepsilon^{-4} U((x-x_0)/\varepsilon)$，$U \in C_c^\infty(B_1)$，$\int_{\mathbb{R}^4} U = M$，有

$$ F_{\text{PES}}[u_\varepsilon] = \left(4M - \frac{\chi M^2}{16\pi^2 \tau}\right) \log \frac{1}{\varepsilon} + O(1), $$

其首项系数在 $M = M_* := 64\pi^2 \tau / \chi$ 处消失，故 $M_*$ 被识别为 $\mathbb{R}^4$ 中 PES 的浓度缩放候选临界质量。

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

本文的核心技术障碍在于：如何从同一物理起源（间接信号级联）中，严格分离出两种本质不同的算子结构——一种是可完全静态化的四阶椭圆结构（PES），另一种是内在携带时滞的 Volterra 记忆结构（MEP），并分别刻画其临界性。作者的真正创新点并非泛泛使用能量估计或傅里叶分析，而是围绕三个相互支撑的精密工具展开：（1）【Bessel 算子的精细谱分解与部分分式技巧】：为导出 $N=4$ 时 $K_\tau$ 的对数核，作者未采用一般伪微分算子符号演算，而是利用 $\mathbb{R}^4$ 上二阶 Bessel 势 $G_2(x) = \mathcal{F}^{-1}[(1+|\xi|^2)^{-1}](x)$ 的已知渐近展开 $G_2(x) = (4\pi^2|x|^2)^{-1} - (8\pi^2)^{-1} \log(1/|x|) + \rho_2(x)$（Lemma 2.5），再结合关键的部分分式恒等式（当 $\tau \neq 1$）

$$ \frac{1}{(1+|\xi|^2)(1+\tau|\xi|^2)} = \frac{1}{1-\tau} \left( \frac{1}{1+|\xi|^2} - \frac{\tau}{1+\tau|\xi|^2} \right), $$

并利用缩放关系 $\mathcal{F}^{-1}[(1+\tau|\xi|^2)^{-1}](x) = \tau^{-2} G_2(x/\sqrt{\tau})$，最终将 $G_\tau$ 表达为两个 $G_2$ 的线性组合（式 (37)）。此构造使得 $|x|^{-2}$ 奇性项在 $\tau$-依赖的线性组合中精确相消，仅留下对数项，从而从代数层面揭示了质量临界维数上移至 $N=4$ 的几何机制。（2）【主阶一致缩放与 Sobolev 空间嵌入的严格对应】：为确立 $N=4$ 的质量临界性，作者并未停留在形式缩放 $u_\lambda(x,t) = \lambda^4 u(\lambda x, \lambda^2 t)$，而是严格证明该缩放作用于 $K_\tau$ 的主齐次部分 $\tau^{-1}(-\Delta)^{-2}$ 时，满足 $(\tau^{-1}(-\Delta)^{-2} u_\lambda)(x,t) = \lambda^{-4} (\tau^{-1}(-\Delta)^{-2} u)(\lambda x, \lambda^2 t)$（式 (26)），并据此推导出非线性项 $\nabla \cdot (u_\lambda \nabla K_\tau u_\lambda)$ 的缩放律为 $\lambda^{2\alpha - 2}$，与线性项 $\partial_t u_\lambda$ 和 $\Delta u_\lambda$ 的 $\lambda^{\alpha + 2}$ 缩放律平衡得 $\alpha = 4$（Proposition 2.3）。此论证确保了 $L^1$ 不变量性在 $N=4$ 的严格成立，而非仅启发式猜测。（3）【Volterra 记忆算子的双重渐近分析框架】：针对 MEP，作者构建了一个双尺度渐近分析：一方面，在时对角线 $\theta = t-s \to 0^+$ 附近，利用 $e^{-\theta(1+|\xi|^2)} \to 1$ 得到乘子极限 $i\xi/(1+|\xi|^2)$，恢复经典 Keller–Segel 的 $-1$ 阶奇性；另一方面，对固定 $t>0$，计算时间平均 $\int_0^t \nabla e^{-\theta A} A^{-1} u \, d\theta = \nabla A^{-2}(I - e^{-tA}) u$，其乘子为 $i\xi (1 - e^{-t(1+|\xi|^2)}) / (1+|\xi|^2)^2$，在 $|\xi| \to \infty$ 时渐近为 $i\xi / |\xi|^4$，即 $-3$ 阶。这种“局部 $-1$ 阶 + 全局 $-3$ 阶”的张力，迫使作者提出必须发展混合时空阈值理论（mixed space–time threshold theory），其核心是建立新的适配不等式，例如要求形如 $\|\int_0^t \nabla e^{-(t-s)A} A^{-1} u(s) ds\|_{L^p_t L^q_x}$ 的范数控制，这超出了任何单一空间或时间范数的范畴。

4. 与之前工作的比较

本文与既有工作的关键推进体现在四个维度：（1）【临界维数机制的结构性归因】：经典工作 [5] 基于 $N=2$ 的 $\log$-HLS 不等式确立了 $M_c = 8\pi/\chi$；Tao–Winkler [12] 在二维中研究了含中间松弛的间接模型，并发现其临界质量现象表现为无穷时间聚集而非有限时间爆破，但其模型结构（$\tau w_t + \delta w = u$）与本文 MEP（$\partial_t c = \Delta c - c + w$）不同，且未触及维数上移问题。本文首次明确指出：质量临界维数从 $N=2$ 到 $N=4$ 的跃迁，其物理根源并非任意间接性，而是特定于“全平衡双椭圆级联”（PES）所诱导的四阶椭圆算子 $K_\tau$；且该跃迁的数学根源是 $\mathbb{R}^4$ 中 $K_\tau$ 核的精确代数相消，产生 $\log(1/|x|)$ 奇性，而非更高阶的幂律奇性。此结构性归因在 [12, 11, 57–59] 中均未给出。（2）【临界质量候选值的显式导出】：已有文献 [11] 在四维两化学系统中使用 Adams 不等式，但未导出具体临界质量值；本文则通过 $L^2$-梯度流框架与集中序列的显式计算，首次获得 $M_* = 64\pi^2 \tau / \chi$ 这一具 $\tau$-依赖的精确表达式（式 (16)），其系数 $1/(8\pi^2 \tau)$ 直接源于核展开（式 (34)），并在 Fourier 变换约定（Remark 1.1）下严格验证。（3）【MEP 的 Volterra 本质与理论框架升级】：以往对含记忆趋化模型的研究 [22–29] 多依赖半群与极大正则性方法，但未系统区分其与静态椭圆模型的本质差异。本文首次证明 MEP 的 Volterra 记忆算子 $V$ 无法被任何静态缩放所捕获（Theorem 1.2(v)），其临界性必须置于混合时空框架下；这与 PES 可用纯空间 $H^2$ 或 $W^{1,4}$ 框架处理形成鲜明对比。此结论意味着，对 MEP 的全局存在性或爆破分析，必须发展新的混合范数准则（如 $L^p_t L^q_x$ 型），而这是 [34–39] 的标准抛物正则性理论所不能直接提供的。（4）【代价与局限】：本文的代价在于，所有尖锐临界阈值定理（如 $M_*$ 是否为真正的爆破/存在分界）均未被证明，而仅作为开放问题提出（Problem 5.1）；作者明确指出，PES 的 $M_*$ 仅为“浓度缩放候选”，其提升为尖锐阈值需依赖尚未建立的 $K_\tau$-适配 log-HLS 不等式；同样，MEP 的混合时空阈值问题亦无现成工具可用。此外，本文未处理 $N \neq 4$ 时 PES 的临界行为（此时核为 $|x|^{-(N-4)}$，对应 $N>4$ 的亚临界或 $N<4$ 的超临界），也未讨论 MEP 在 $N=2$ 或 $N=4$ 的具体动力学行为，这些均留待后续工作。

6. Boussinesq 方程在 Lei-Lin-Gevrey 空间中的局部解存在性与爆破准则

Local existence of solutions and blow-up criteria for the Boussinesq equations in Lei-Lin-Gevrey Spaces

作者: Patrícia L. Guidolin, Wilberclay G. Melo, Thyago S. R. Santos

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31461v1

摘要翻译: 本文研究三维分数阶 Boussinesq 方程在 Lei-Lin 与 Lei-Lin-Gevrey 空间 $\mathcal{X}_{a,σ}^s(\mathbb{R}^3)$ 中适定温和解的局部适定性及其在潜在有限爆破时刻的行为。通过将不动点方法与适配于这些空间的 Fourier 估计相结合，我们在 $\mathcal{X}_{a,σ}^s(\mathbb{R}^3)$ 中得到了初值数据对应的局部存在性与唯一性结果，其中包含通常的 Lei-Lin 情形 $a=0$。我们还为极大温和解建立了若干爆破准则，并导出了当趋近极大存在时间时相应范数增长的下界估计。在严格的 Lei-Lin-Gevrey 情形下，且当耗散指数相等时，这些估计给出了一种指数型爆破准则。

Comment: 25 pages. Comments are welcome !

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

1. 研究对象和背景

本文研究三维分数阶Boussinesq方程组在Lei-Lin-Gevrey空间 $\mathcal{X}_{a,\sigma}^s(\mathbb{R}^3)$ 中的适定性与有限时间爆破行为，其具体形式为

$$ \begin{cases} u_t + (-\Delta)^\alpha u + u \cdot \nabla u + \nabla p = \theta e_3, \\ \theta_t + (-\Delta)^\beta \theta + u \cdot \nabla \theta = 0, \\ \nabla \cdot u = 0, \\ u(x,0) = u_0(x),\quad \theta(x,0) = \theta_0(x), \end{cases} \quad x \in \mathbb{R}^3,\; t > 0, $$


其中 $u:\mathbb{R}^3\times[0,T)\to\mathbb{R}^3$ 为不可压速度场，$\theta:\mathbb{R}^3\times[0,T)\to\mathbb{R}$ 为温度（或密度扰动）变量，$e_3 = (0,0,1)$，且 $\alpha,\beta \in [\frac{1}{2},\infty)$。分数拉普拉斯定义为 $\mathcal{F}[(-\Delta)^\gamma f](\xi) = |\xi|^{2\gamma}\widehat{f}(\xi)$。关键未知量为 $(u,\theta)$，核心问题在于：在低正则初值（特别是 $s \in [-1,0]$）下建立局部适定性，并刻画最大存在时间 $T^* < \infty$ 时各范数的退化速率。该模型介于经典Navier–Stokes系统（$\theta \equiv 0$）与MHD系统之间，其难点在于非对称耦合结构——$\theta$ 以线性外力形式驱动 $u$ 方程，而 $u$ 又以输运项形式作用于 $\theta$ 方程，导致固定点映射含非平凡线性项 $L(u,\theta)(t) = \int_0^t e^{-(t-\tau)(-\Delta)^\alpha}\mathbb{P}(\theta e_3)\,d\tau$，无法直接套用Navier–Stokes型收缩论证。本文试图填补的关键空白是：在Lei-Lin-Gevrey框架下，对一般 $\alpha,\beta \ge \frac{1}{2}$（含临界耗散情形）建立统一的局部存在理论与定量爆破准则，尤其当 $a>0,\sigma>1$ 时揭示Gevrey权重如何诱导指数型爆破下界。

2. 主要定理或主要结果

主要结果由两个存在性定理与四个爆破准则构成。定理1.2给出带参数依赖的初值正则性阈值：设 $a \ge 0$, $\sigma \ge 1$, $\alpha,\beta \ge \frac{1}{2}$，记 $q_{\alpha,\beta} := \max\{1-2\alpha,\, \alpha(1-2\beta)/\beta,\, \beta(1-2\alpha)/\alpha\}$，若 $s \in [\max\{-1,q_{\alpha,\beta}\},0]$ 且 $(u_0,\theta_0) \in \mathcal{X}_{a,\sigma}^s(\mathbb{R}^3)$，则存在 $T>0$ 及唯一解

$$ (u,\theta) \in \big[ C_T(\mathcal{X}_{a,\sigma}^s) \cap L_T^1(\mathcal{X}_{a,\sigma}^{s+2\alpha}) \big] \times \big[ C_T(\mathcal{X}_{a,\sigma}^s) \cap L_T^1(\mathcal{X}_{a,\sigma}^{s+2\beta}) \big], $$


满足 $\|u\|_{L_T^\infty(\mathcal{X}_{a,\sigma}^s)} + \|u\|_{L_T^1(\mathcal{X}_{a,\sigma}^{s+2\alpha})} + \|\theta\|_{L_T^\infty(\mathcal{X}_{a,\sigma}^s)} + \|\theta\|_{L_T^1(\mathcal{X}_{a,\sigma}^{s+2\beta})} \le C_2 \|(u_0,\theta_0)\|_{\mathcal{X}_{a,\sigma}^s}$；当 $s = q_{\alpha,\beta}$ 时需初值足够小。定理1.3则给出更简洁的参数范围：若 $(a,s,\sigma) \in \big((0,\infty)\times[-1,0)\times(1,\infty)\big) \cup \big([0,\infty)\times\{0\}\times[1,\infty)\big)$，则同样存在局部解，且当 $\alpha=\beta=1/2$ 时亦需小初值。爆破准则方面，定理1.5（对应定理1.2解）表明：若最大存在时间 $T^* < \infty$，则必有 $\limsup_{t \nearrow T^*} \|(u,\theta)(t)\|_{\mathcal{X}_{a,\sigma}^s} = \infty$，且积分型判据成立：

$$ \int_t^{T^*} \Big[ \|u(\tau)\|_{\mathcal{X}_{a,\sigma}^s}^{\frac{2\alpha}{2\alpha+s-1}} + \|u(\tau)\|_{\mathcal{X}_{a,\sigma}^s}^{\frac{\beta(s+2\alpha)}{\beta(s+2\alpha)-\alpha}} \|\theta(\tau)\|_{\mathcal{X}_{a,\sigma}^s}^{\frac{-s\beta}{\beta(s+2\alpha)-\alpha}} + \|u(\tau)\|_{\mathcal{X}_{a,\sigma}^s}^{\frac{-s\alpha}{\alpha(s+2\beta)-\beta}} \|\theta(\tau)\|_{\mathcal{X}_{a,\sigma}^s}^{\frac{\alpha(s+2\beta)}{\alpha(s+2\beta)-\beta}} \Big]\,d\tau = \infty. $$


更关键的是其指数下界：$\|(u,\theta)(t)\|_{\mathcal{X}_{a,\sigma}^s}^{\frac{2\alpha}{2\alpha+s-1}} + \|(u,\theta)(t)\|_{\mathcal{X}_{a,\sigma}^s}^{\frac{2\alpha\beta}{2\alpha\beta+s\beta-\alpha}} + \|(u,\theta)(t)\|_{\mathcal{X}_{a,\sigma}^s}^{\frac{2\alpha\beta}{2\alpha\beta+s\alpha-\beta}} \ge [e^{C(T^*-t)} - 1]^{-1}$。在严格Lei-Lin-Gevrey区域（$a>0,\sigma>1$）且 $\alpha=\beta>1/2$ 时，推论1.8给出精细的指数爆破下界：

$$ \|(u,\theta)(t)\|_{\mathcal{X}_{a,\sigma}^s} \gtrsim a^{n_0} \big[e^{C_1(T^*-t)} - 1\big]^{-\frac{2\alpha-1}{2\alpha}\big( \frac{2s}{3} + \frac{2n_0}{\sigma} +1 \big)} \|(u_0,\theta_0)\|_{L^2}^{-\frac{2}{3}(s + n_0/\sigma)} \exp\left\{ a C_2 \big[e^{C_3(T^*-t)} - 1\big]^{-\frac{2\alpha-1}{3\alpha\sigma}} \|(u_0,\theta_0)\|_{L^2}^{-\frac{2}{3\sigma}} \right\}, $$


其中 $n_0 > \lfloor -s\sigma \rfloor$ 为任意自然数，$C_i > 0$。

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

证明框架基于带线性项的抽象不动点引理（Lemma 2.1），将解表示为 $(u,\theta) = (e^{-t(-\Delta)^\alpha}u_0, e^{-t(-\Delta)^\beta}\theta_0) + B((u,\theta),(u,\theta)) + L(u,\theta)$，其中双线性项 $B$ 对应 $u\cdot\nabla u$ 与 $u\cdot\nabla\theta$，线性项 $L$ 对应 $\theta e_3$ 的Leray投影。核心技术障碍在于：在Lei-Lin-Gevrey范数 $\|f\|_{\mathcal{X}_{a,\sigma}^s} = \int_{\mathbb{R}^3} |\xi|^s e^{a|\xi|^{1/\sigma}} |\widehat{f}(\xi)|\,d\xi$ 下同时控制 $B$ 与 $L$ 的连续性。关键创新在于充分利用Gevrey权重的次可加性 $e^{a|\xi|^{1/\sigma}} \le e^{a|\xi-\eta|^{1/\sigma}} e^{a|\eta|^{1/\sigma}}$（$\sigma \ge 1$）及多项式权重的Young型卷积不等式（Lemma 2.3），从而对乘积项如 $u\cdot\nabla\theta$ 实现 $\|u\cdot\nabla\theta\|_{L_T^1(\mathcal{X}_{a,\sigma}^s)} \lesssim T^{\delta} \|u\|_X \|\theta\|_Y$，其中 $\delta$ 由 $\alpha,\beta,s$ 决定。为处理临界耗散 $\alpha=\beta=1/2$，作者引入插值不等式（Lemma 2.4）：$\|f\|_{\mathcal{X}_{a,\sigma}^{s+1}} \le \|f\|_{\mathcal{X}_{a,\sigma}^s}^{1-\frac{1}{2\gamma}} \|f\|_{\mathcal{X}_{a,\sigma}^{s+2\gamma}}^{\frac{1}{2\gamma}}$，将导数损失转化为耗散范数增益。爆破分析采用延续性论证：假设 $T^*<\infty$ 但 $\|(u,\theta)\|_{L^\infty([0,T^*);\mathcal{X}_{a,\sigma}^s)} < \infty$，则利用Gevrey嵌入（Lemma 2.6）迭代提升正则性，最终导出矛盾；推论1.7的归纳过程 $\mathcal{X}_{a,\sigma}^s \hookrightarrow \mathcal{X}_{a/\sigma^{n-1},\sigma}^0$ 是获得指数下界的核心技术，它使范数衰减率随迭代次数 $n$ 指数放大，从而在极限中提取出 $e^{C(T^*-t)}$ 因子。

4. 与之前工作的比较

本文显著推进了Lei-Lin框架下的流体方程理论。相较于Lei–Lin原始工作（$a=0,\sigma=1,s=-1$）及后续对Navier–Stokes的推广（如[16,18–20]），本文首次将Lei-Lin-Gevrey空间 $\mathcal{X}_{a,\sigma}^s$（$a>0$）系统应用于Boussinesq系统，并处理了非对称耗散 $\alpha \ne \beta$ 的一般情形。定理1.2的 $s$ 范围 $\max\{-1,q_{\alpha,\beta}\}$ 比Navier–Stokes对应结果（如[19]中定理1.1）更优，尤其当 $\alpha,\beta > 1/2$ 时允许 $s < 0$ 而无需小初值；而定理1.3的参数范围 $(a,s,\sigma) \in ((0,\infty)\times[-1,0)\times(1,\infty)) \cup ([0,\infty)\times\{0\}\times[1,\infty))$ 统一覆盖了经典Lei-Lin空间（$a=0$）与解析/超解析Gevrey类（$a>0,\sigma=1$ 或 $\sigma>1$）。爆破准则方面，定理1.5的积分型判据比[18–20]中仅针对 $L^\infty_T(\mathcal{X}^s)$ 的判据更精细，其幂次 $\frac{2\alpha}{2\alpha+s-1}$ 显式依赖于耗散强度；推论1.7的归纳爆破链（含 $n$ 次迭代）是全新技术，此前文献（包括Navier–Stokes与MHD）未见；推论1.8的指数下界 $\exp\{a C_2 [e^{C_3(T^*-t)} - 1]^{-\kappa}\}$ 严格强于已有代数爆破率（如 $\gtrsim (T^*-t)^{-\gamma}$），且其证明依赖于Gevrey嵌入与$L^2$能量估计（Lemma 2.7）的耦合，这是对[19]中MHD情形的实质性推广。局限在于：所有结果均要求 $\alpha,\beta \ge 1/2$，未覆盖超临界耗散（$\alpha<1/2$）；且指数爆破下界（推论1.8）需额外假设 $(u_0,\theta_0) \in L^2(\mathbb{R}^3)$，此条件在纯Lei-Lin-Gevrey框架中并非自动满足。

7. 具有不匹配粘性系数与奇异势的守恒型Navier–Stokes–Allen–Cahn方程的整体适定性与长时间行为

Well-posedness and longtime behavior of the conserved Navier–Stokes–Allen–Cahn equation with unmatched viscosities and singular potential

作者: Maurizio Grasselli, Christoph Hurm, Andrea Poiatti

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.30921v1

摘要翻译: 我们考虑一个不可压Navier–Stokes系统，其非线性地耦合于一个带奇异势（例如Flory–Huggins型）的守恒型Allen–Cahn方程。这是一个描述两相流的质量守恒模型。在密度为常数、粘性系数非常数的假设下，我们首先在三维情形中证明了如下初边值问题存在唯一的局部（关于时间）强解：速度满足无滑移边界条件，相场满足齐次边界条件。接着，我们利用相对能量方法，在三维情形中证明了条件弱-强唯一性，并在二维情形中证明了弱解的无条件唯一性。最后，基于第一作者与第三作者近期若干奠基性结果，我们首次证明：在任意维数（二维与三维）且对一般奇异势的情形下，任一整体时间弱解均渐近地远离纯相态，并收敛至唯一平衡态。该结果仅依赖于粘性系数的极弱假设。此外，若粘性系数具有更高正则性，则可借助渐近严格分离性质与条件弱-强唯一性原理，证明每个弱解均渐近正则化；由此导出其在高阶范数意义下收敛至平衡态。

Comment: 无

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

1. 研究对象和背景

本文研究三维及二维有界区域 $\Omega \subset \mathbb{R}^d$, $d=2,3$ 上的守恒型 Navier–Stokes–Allen–Cahn (NSAC) 耦合系统，其具体形式为：

$$ \begin{cases} \partial_t v + (v \cdot \nabla)v - \operatorname{div}(\nu(\varphi) Dv) + \nabla \pi = \mu \nabla \varphi & \text{in } \Omega \times (0,T), \\ \nabla \cdot v = 0 & \text{in } \Omega \times (0,T), \\ \partial_t \varphi + v \cdot \nabla \varphi + \mu - \overline{\mu} = 0 & \text{in } \Omega \times (0,T), \\ \mu = -\Delta \varphi + f'(\varphi) & \text{in } \Omega \times (0,T), \\ v = 0,\quad \partial_n \varphi = 0 & \text{on } \partial\Omega \times (0,T), \\ v(0) = v_0,\quad \varphi(0) = \varphi_0 & \text{in } \Omega, \end{cases} $$


其中 $v$ 是不可压流体速度场，$\varphi \in (-1,1)$ 是相场变量（代表某组分的相对浓度），$\mu$ 是化学势，$\overline{\mu} = \frac{1}{|\Omega|}\int_\Omega \mu \,dx$，$\nu \in C^0([-1,1])$ 是依赖于相场的粘性系数（满足 $0 < \nu_* \le \nu(s) \le \nu^*$），$f$ 是奇异双阱势，典型例子为 Flory–Huggins 势：

$$ f(s) = \frac{\theta}{2}\big((1+s)\ln(1+s) + (1-s)\ln(1-s)\big) - \frac{\theta_0}{2}s^2,\quad s \in (-1,1), $$


且满足假设 (A3)：$f = F - \frac{\theta_0}{2}s^2$，其中 $F \in C([-1,1]) \cap C^2(-1,1)$ 满足 $\lim_{s \to \pm1} F'(s) = \pm\infty$、$F''(s) \ge \theta > 0$、$F'(0)=0$。该模型描述密度匹配、质量守恒的两相不可压流动，关键数学难点在于：(i) 奇异势 $f$ 导致 $\varphi$ 必须严格保持在开区间 $(-1,1)$ 内；(ii) 非恒定粘性 $\nu(\varphi)$ 引入强耦合与非线性变系数耗散项 $\operatorname{div}(\nu(\varphi) Dv)$；(iii) 守恒 Allen–Cahn 动力学（即 $L^2$-梯度流）导致 $\mu$ 不具显式椭圆正则性，仅能通过平均值约束 $\mu - \overline{\mu}$ 进行控制；(iv) 三维情形下缺乏先验 $L^\infty$ 控制，使得弱解唯一性与长时间行为分析远比 Cahn–Hilliard 型耦合困难。本文旨在填补以下核心空白：三维局部强解存在唯一性（此前仅知二维强解与三维弱解）；三维弱解的条件弱强唯一性（此前仅适用于常粘性或光滑势）；任意维数下，对一般奇异势与最弱粘性正则性（仅连续）的全局弱解，首次建立无正则化假设的渐近相分离与单平衡点收敛性。

2. 主要定理或主要结果

本文核心结果包括三类：
(i) 局部适定性（Theorem 3.6）：设 $\Omega \subset \mathbb{R}^3$ 具 $C^2$ 边界，$\nu \in W^{1,\infty}(\mathbb{R})$，$f$ 满足 (A3)，初值 $(v_0,\varphi_0) \in H^1_\sigma(\Omega) \times H^2_N(\Omega)$ 且 $F'(\varphi_0) \in L^2(\Omega)$、$|\varphi_0| < 1$ a.e.，则存在右极大时间 $T^* > 0$，使得系统存在唯一强解 $(v,\varphi,\mu)$ 满足

$$ v \in L^\infty(0,T^*; H^1_\sigma(\Omega)) \cap L^2(0,T^*; H^2(\Omega)) \cap H^1(0,T^*; L^2_\sigma(\Omega)),\\ \varphi \in L^\infty(0,T^*; H^2_N(\Omega)) \cap H^1(0,T^*; H^1(\Omega)),\quad |\varphi(x,t)| < 1\ \text{a.e.},\\ \mu \in L^\infty(0,T^*; L^2(\Omega)) \cap L^2(0,T^*; H^1(\Omega)), $$


且满足瞬时严格相分离：对任意 $\tau > 0$，存在 $\delta(\tau) > 0$ 使得 $\sup_{t \in (\tau,T^*)} \|\varphi(t)\|_{L^\infty(\Omega)} \le 1-\delta$；若初值本身严格分离，则 $\delta$ 可取与时间无关。
(ii) 弱强唯一性与二维唯一性（Theorems 3.10 & 3.12）：在三维中，若弱解 $(v_1,\varphi_1)$ 满足 $F'(\varphi_1) \in L^4(0,T^*; L^4(\Omega))$，强解 $(v_2,\varphi_2)$ 如上，则存在 $\Lambda \in L^1(0,T^*)$（显式含 $\|v_2\|_{H^2}, \|\mu_2\|_{H^1}, \|\varphi_1\|_{H^2}, \|f'(\varphi_i)\|_{L^4}^4$）使得

$$ \|v_1(t)-v_2(t)\|_{L^2_\sigma}^2 + \|\nabla(\varphi_1(t)-\varphi_2(t))\|_{L^2}^2 \le C e^{\int_0^{T^*} \Lambda} \big( \|v_{0,1}-v_{0,2}\|_{L^2_\sigma}^2 + \|\nabla(\varphi_{0,1}-\varphi_{0,2})\|_{L^2}^2 \big). $$


在二维中，该估计无附加条件成立，即弱解无条件唯一。
(iii) 长时间行为（Theorems 3.17 & 3.20）：对任意全局弱解 $(v,\varphi)$（由 Theorem 3.1 给出，仅需 $\nu \in C^0([-1,1])$），若 $F$ 在 $(-1,1)$ 上实解析，则存在唯一平衡态 $(0,\varphi_\infty) \in \mathcal{S} = \{(0,\psi) \in L^2_\sigma \times H_m \cap H^2_N : -\Delta \psi + f'(\psi) = \mu_\infty \in \mathbb{R}\}$，使得

$$ \lim_{t \to \infty} \|v(t)\|_{H^s(\Omega)} = 0,\quad \lim_{t \to \infty} \|\varphi(t)-\varphi_\infty\|_{H^r(\Omega)} = 0,\quad \forall s \in [-1,0),\ r \in (0,1). $$


进一步，若 $\nu \in W^{1,\infty}(\mathbb{R})$，则存在 $T_R > 0$（仅依赖初值能量 $E(v_0,\varphi_0)$），使得解在 $[T_R,\infty)$ 上渐近正则化：$(v,\varphi)$ 落入更高正则空间（见 (3.24)），且收敛提升至

$$ \lim_{t \to \infty} \|v(t)\|_{H^s(\Omega)} = 0,\quad \lim_{t \to \infty} \|\varphi(t)-\varphi_\infty\|_{H^r(\Omega)} = 0,\quad \forall s \in (0,1),\ r \in [1,2). $$

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

本文技术框架包含三层次创新：
(i) 局部强解构造：采用全 Galerkin 方法（区别于文献 [15] 的半 Galerkin），对奇异势 $f$ 施加 Yosida 正则化 $f_\lambda$，利用其 $C^{1,1}$ 性质获得一致先验估计；关键障碍在于处理非线性粘性项 $\operatorname{div}(\nu(\varphi) Dv)$ 的高阶导数耦合，通过 $H^2$-椭圆正则性与 $L^p$-乘子估计（如 $\|\nu'(\varphi)\nabla \varphi \cdot Dv\|_{L^2} \lesssim \|\nabla \varphi\|_{L^\infty} \|Dv\|_{L^2}$）结合 Gronwall 引理实现闭合；严格相分离由 De Giorgi 迭代应用于 $\varphi$ 的抛物方程获得，依赖 $f'$ 的奇异性与 $L^\infty$ 初值控制。
(ii) 弱强唯一性：基于相对能量方法（relative energy approach），定义相对能量 $\mathcal{E}_{\mathrm{rel}}(v,\varphi | \tilde{v},\tilde{\varphi}) = \frac{1}{2}\|v-\tilde{v}\|_{L^2}^2 + \frac{1}{2}\|\nabla(\varphi-\tilde{\varphi})\|_{L^2}^2 + \int_\Omega \big(f(\varphi) - f(\tilde{\varphi}) - f'(\tilde{\varphi})(\varphi-\tilde{\varphi})\big)$，其时间导数产生可控余项，核心是将 $f'(\varphi)-f'(\tilde{\varphi})$ 的非线性误差通过 $L^4$-integrability of $F'(\varphi)$ 控制，避免传统要求 $\varphi,\tilde{\varphi}$ 一致严格分离的强假设。
(iii) 长时间行为：突破性在于不依赖解的渐近正则性，直接对弱解证明收敛。关键技术为：(a) 渐近严格相分离引理（Lemma 3.15）：利用 De Giorgi 迭代对弱解 $\varphi$ 的抛物方程进行时间一致估计，得到存在 $T_S > 0$ 使得 $\sup_{t \ge T_S} \|\varphi(t)\|_{L^\infty} \le 1-\delta$，这是首个对守恒 AC 型耦合系统的此类结果；(b) “好时刻”集 $A_M(T)$ 与“好平衡点”集 $\omega_g$ 的构造（(3.21)-(3.22)）：借助能量耗散率 $\nu_*\|Dv\|_{L^2}^2 + \|\mu-\overline{\mu}\|_{L^2}^2$ 的 $L^1_{\mathrm{uloc}}$ 性质，选取测度有限的“好时刻”，在此集合上应用紧性与 Lojasiewicz–Simon 不等式（Proposition 10.1，依赖 $F$ 解析性）；(c) 渐近正则化论证（Theorem 3.20）：结合 (a) 的相分离与 (ii) 的弱强唯一性，在 $[T_R,\infty)$ 上将弱解与附近强解比较，从而继承强解正则性。

4. 与之前工作的比较

本文相较前期工作有实质性推进：(i) 相比 [15]（处理非恒定密度情形），本文在恒定密度下首次建立三维局部强解存在唯一性，并给出其瞬时严格相分离性质；[15] 仅得三维弱解与二维强解。(ii) 相比 [20]（常粘性、光滑势、非守恒 AC），本文将条件弱强唯一性推广至奇异势与守恒动力学，且条件 $F'(\varphi) \in L^4(L^4)$ 显著弱于文献中常见的 $\|\varphi\|_{L^\infty} \le 1-\delta$ 一致假设。(iii) 相比 [18,19]（NS–Cahn–Hilliard 或单方程），本文首次将渐近严格相分离与单平衡点收敛性延拓至 NS–conserved-AC 系统，并大幅降低对粘性正则性的要求：[19] 需 $\nu$ Lipschitz，而本文 Theorem 3.17 仅需 $\nu \in C^0([-1,1])$（Remark 3.18）；(iv) 相比 [12,22]（常粘性），本文处理不匹配粘性（unmatched viscosities），即 $\nu(\varphi)$ 非恒定，这导致能量耗散项 $\int \nu(\varphi)|Dv|^2$ 缺乏下界控制，需发展新的估计技巧；(v) 本文未解决的问题包括：三维弱解的无条件唯一性（仍开放），以及非解析势 $F$ 下的收敛性（此时 Lojasiewicz–Simon 不等式失效，无法排除多平衡点震荡）。

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

1. 具有平方可积联络的环面对称爱因斯坦时空的稳定性与不稳定性

Stability and instability of torus-symmetric Einstein spacetimes with square-integrable connection

作者: Bruno Le Floch, Philippe G. LeFloch

类别: gr-qc, math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31585v1

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

摘要翻译

中文标题: 具有平方可积联络的环面对称爱因斯坦时空的稳定性与不稳定性

摘要翻译: 我们在 $T^3$ 上研究具有 $T^2$ 对称性的爱因斯坦方程的整体演化问题，允许真空、标量场及可压流体物质模型，其由包含等温流体与多方流体的一般状态方程所支配。在此对称性下，我们得到了首个非微扰的整体存在性与稳定性理论，其中联络系数仅为平方可积的，从而同时容许冲击引力波与激波。在等面积规范（areal gauge）下，我们引入新的流体与几何变量，并将爱因斯坦-欧拉系统重写为一个具约束条件与熵结构的一阶非线性平衡律系统。所得公式展现出双曲性、零形式（null forms）、熵流、div-curl 结构、极值原理以及时空估计。由此导出“良态爱因斯坦-欧拉流（tame Einstein-Euler flow）”的概念：其本质几何与流体变量为平方可积的（有限能量），而次级变量绝对连续（或更一般地，具有有界变差）。在此非微扰且低正则性设定下，即使外尔曲率沿类时超曲面集中为狄拉克质量、里奇曲率仅属 $L^1$，方程依然保持意义。我们的主要结果包括：针对等面积叶状结构的整体存在性定理、针对初值数据良好准备（well-prepared）的非线性稳定性定理，以及针对几何振荡型初值数据的非线性不稳定性定理——后者在应力-能量张量中产生测度修正项。在未来收缩（future-contracting）情形下，等面积叶状结构抵达几何奇点，此时 $T^3$ 空间截面的体积退化为零；在非真空 Gowdy 对称情形与真空环面对称情形中，等面积函数通常于奇点处达到零。在未来膨胀（future-expanding）情形下，等面积叶状结构是完备的。

2. 加权Orlicz空间中的完全非线性椭圆Grad–Mercier型方程

Fully Nonlinear Elliptic Grad–Mercier Equations in Weighted Orlicz Spaces

作者: Junior da Silva Bessa, Reshmi Biswas, Mayra Soares

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31364v1

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

摘要翻译

中文标题: 加权Orlicz空间中的完全非线性椭圆Grad–Mercier型方程

摘要翻译: 本文研究加权Orlicz空间中具斜向边界条件的完全非线性椭圆Grad–Mercier型方程的解的存在性与全局正则性结果。我们的方法采用渐近分析，借助拓扑与稳定性方法，将全局正则性从极限型（即与控制算子相关联的退化算子）传递至原问题。除主正则性结果外，我们还导出了Hessian的全局加权Orlicz估计，并建立了该问题的全局Morrey型估计。本文推广了Caffarelli–Tomasetti（Comm. Pure Appl. Math. 76 (3): 604–615, 2023）、Zhang et al.（Nonlinearity 39 (2): 025011, 2026）以及Bessa（J. Funct. Anal. 286 (4): 110295, 2024）所建立的结果。

3. 关于高斯测度几乎必然性质传播的一个病态集合

A pathological set regarding the propagation of almost sure properties of Gaussian measures

作者: Pablo Merino

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31359v1

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

摘要翻译

中文标题: 关于高斯测度几乎必然性质传播的一个病态集合

摘要翻译: 我们为 Gunaratnam-Oh-Tzvetkov-Weber (2022) 关于三维周期无聚焦非线性波动方程在高正则性 Sobolev 空间上支撑的高斯测度的拟不变性给出了一个互补结果。具体而言，给定足够大的 $p$ 和 $σ$，我们证明了存在 $W^{σ,p}(\mathbb{T}^3)$ 中的稠密集，使得在上述动力学演化下，这些集合中的初始数据不保持正则性 $σ$。这与几乎必然性质在流作用下的传播形成了鲜明对比。

4. 非线性锥退化拉普拉斯方程的存在性结果

Existence results for nonlinear cone degenerate Laplace equations

作者: Hua Chen, Xiaochun Liu, Yawei Wei, Mengnan Zhang

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31018v1

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

摘要翻译

中文标题: 非线性锥退化拉普拉斯方程的存在性结果

摘要翻译: 本文研究一类由锥退化拉普拉斯算子 $\Delta_{\mathrm{cone}}$ 驱动的非散度型非线性椭圆方程，该模型源于锥微积分（cone calculus）。我们通过证明 Alexandrov–Bakelman–Pucci 估计与 Hölder 估计，建立了粘性解（viscosity solutions）的存在性。进一步地，我们通过证明弱解与粘性解之间的等价性，获得了弱解的存在性。

5. 关于 $\mathcal{P}_2(M)$ 上有界经验调和函数的一个 Liouville 型定理

A Liouville theorem for bounded empirical-harmonic functions on $\mathcal{P}_2(M)$

作者: Hongwei Yuan

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.30756v1

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

摘要翻译

中文标题: 关于 $\mathcal{P}_2(M)$ 上有界经验调和函数的一个 Liouville 型定理

摘要翻译: 经典 Liouville 定理断言：欧氏空间上每个有界调和函数均为常数。在完备黎曼流形上，若附加几何条件（例如 Ricci 曲率非负），则存在相应的类似结论。二次 Wasserstein 空间 $\mathcal{P}_2(M)$ 常被（依 Otto 的观点）视为一个无穷维黎曼流形；然而，它并无典范的无穷维黎曼体积测度，因而也无典范的 Laplace–Beltrami 算子。本文引入一种典范的有限维迹意义下的调和性：称连续函数 $u:\mathcal{P}_2(M)\to\mathbb{R}$ 为经验调和的，若对每个 $N\geq 1$，其在 $N$ 粒子经验层上的拉回 \begin{equation*} (x_1,\ldots,x_N)\longmapsto u\left(\frac1N\sum_{i=1}^N\delta_{x_i}\right), \end{equation*} 在 $M^N$ 上弱调和。我们证明：若 $M$ 具有有限积 Liouville 性质，则 $\mathcal{P}_2(M)$ 上每个有界经验调和函数均为常数。特别地，该结论适用于 $M=\mathbb{R}^d$，更一般地，亦适用于每个具有非负 Ricci 曲率的完备连通黎曼流形。我们还证明该结果的尖锐性：若 $M$ 存在非常数有界调和函数，则 $\mathcal{P}_2(M)$ 亦存在非常数有界经验调和函数。

6. 关于具有对数超临界源项的结构声学模型

On a structural acoustic model with logarithmic supercritical source terms

作者: Baowei Feng, Yanqiu Guo, Mohammad A. Rammaha

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.30681v1

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

摘要翻译

中文标题: 关于具有对数超临界源项的结构声学模型

摘要翻译: 本文研究一个结构声学模型，该模型由定义在三维有界区域上的半线性波动方程与作用于边界某平直部分的 Kirchhoff-Love 板方程耦合而成。主要出于数学兴趣，我们在系统中引入了非线性阻尼项以及对数型超临界源项。我们研究了系统的局部与整体适定性、势井解的能量衰减率，以及在不同参数与初始数据条件下解的爆破行为。主要创新点包括：分析非线性阻尼与对数型能量放大源项之间的相互作用；发展适用于势井理论框架下处理对数源项的技术。由于对数非线性项在缩放变换下不具备齐次性，这给势井解的研究带来了困难。此外，通过声压实现的波-板耦合也在分析中造成了技术困难，尤其体现在弱解爆破性的证明中。

7. 周期性中间非线性薛定谔方程的适定性

Well-posedness for the periodic Intermediate nonlinear Schrödinger equation

作者: Andreia Chapouto, Justin Forlano, Thierry Laurens

类别: math.AP

发布日期: 2026-05-28

arXiv ID: 2605.30657v1

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

摘要翻译

中文标题: 周期性中间非线性薛定谔方程的适定性

摘要翻译: 我们研究具有周期边界条件的中间非线性薛定谔方程（INLS）的适定性。利用规范变换，我们在 $H^{s}(\mathbb{T})$ 中对任意 $s\geq \frac 12$ 建立了大初值局部适定性。通过挖掘连续Calogero-Moser方程（CCM）的完全可积性，我们在 $L^2$ 范数小约束下将该结果延拓至整体适定性。我们还建立了若干附加结果，例如能量空间中的无条件适定性，以及在无限深度极限下 INLS 的解向 CCM 的解的收敛性。

8. $L^4$ 范数在 $S^1$-对称曲面上多项式小频率区间上的谱投影子

$L^4$ norm of spectral projectors on polynomially small frequency intervals for $S^1$-symmetric surfaces

作者: Ambre Chabert

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.30679v1

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

摘要翻译

中文标题: $L^4$ 范数在 $S^1$-对称曲面上多项式小频率区间上的谱投影子

摘要翻译: 设 $(M,g)$ 为一紧致黎曼曲面，其拉普拉斯–贝尔特拉米算子为 $\Delta$；对 $\lambda,\delta\geq 0$，记 $P_{\lambda,\delta}$ 为与 $\sqrt{-\Delta}$ 相关联、定义在频率区间 $[\lambda-\delta,\lambda+\delta]$ 上的谱投影子。对于欧氏圆盘，在远离其边界的区域上，我们在带宽 $\delta$ 相对于目标频率 $\lambda$ 为多项式小量的参数区域内，改进了 $P_{\lambda,\delta}$ 的 $L^2\to L^4$ 算子范数的上界估计。通过将函数按 $\left(\sqrt{-\Delta}, \frac{1}{i}\frac{\partial}{\partial \theta}\right)$ 的显式联合特征基（以贝塞尔特征函数表示）展开，并利用这些贝塞尔函数在其焦散集之外可被振荡函数良好逼近的性质，我们将分析归约为若干关于非平稳相位振荡积分的精确定量估计。我们在这些估计中以及随后对所有特征函数贡献进行求和的过程中，均强烈依赖凸性现象；其中求和部分借助一个新提出的算术估计实现。该方法可推广至其他满足类似完全可积结构条件的 $S^1$-对称曲面。

9. 一个尖锐的三粒子分数阶Hardy不等式与一个角向Selberg型恒等式

A sharp three-particle fractional Hardy inequality and an angular Selberg-type identity

作者: Rajesh Mahadevan, Franco Olivares, Andres Zuniga

类别: math-ph, math.AP

发布日期: 2026-05-28

arXiv ID: 2605.30586v1

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

摘要翻译

中文标题: 一个尖锐的三粒子分数阶Hardy不等式与一个角向Selberg型恒等式

摘要翻译: 我们建立了关于阶数为 $s\in(0,1)$ 的Laplacian算子在维数 $d\geq 4-2s$ 下的尖锐三粒子分数阶Hardy不等式（定理1.1），其中涉及一个显式的、本质上的三体相互作用势 $V_{s,3}$。该不等式以最优的二粒子分数阶Hardy常数 $C_{fH}(d,s)$ 成立，且该常数被证明相对于固定势 $V_{s,3}$ 是尖锐的。势 $V_{s,3}$ 严格支配标准的成对Coulomb型相互作用，并刻画了真正的三体效应。作为推论，我们导出了一个非平凡的 $N\geq 3$ 粒子分数阶Hardy不等式；并且在区域 $N>d+1$ 内，得到了一个具有严格更大常数的改进型Coulomb不等式，其精神与Hoffmann-Ostenhof等人 [M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, A. Laptev, and J. Tidblom, “Many-particle Hardy inequalities”, J. Lond. Math. Soc. 77 (2008), no. 2, 99-115] 以及Lundholm [D. Lundholm, “Geometric extensions of many-particle Hardy inequalities”, J. Phys. A: Math. Theor. 48 (2015), no. 17, 175203] 的结果一致。证明依赖于一种适配三粒子相互作用的分数阶基态表示法，并结合对所得非局部相互作用项的显式计算。该计算通过一个新型的Selberg型奇异积分恒等式（定理1.2）实现，该恒等式将Grafakos-Morpurgo [L. Grafakos and C. Morpurgo, “A Selberg integral formula and applications”, Pacific J. Math. 191 (1999), no. 1, 85-94] 的三重公式推广至非径向情形。该恒等式提供了三体势涌现背后的解析机制，在调和分析中可能具有独立兴趣。

不相关论文（基本信息）

1. 有界势扰动下自伴算子的通用简单性

Generic simplicity for self-adjoint operators under bounded potential perturbations

作者: Marianna Chatzakou, Bernard Helffer

类别: math.SP, math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31368v1

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

摘要: We are interested in the generic simplicity of the spectrum of self-adjoint operators under bounded potential perturbations. More precisely, given a semibounded self-adjoint operator with compact resolvent and a suitable space of real-valued bounded perturbations, we study whether all eigenvalues of the perturbed operator are simple for a generic choice of the potential. In the first part of this paper we prove an abstract criterion which ensures that the set of perturbations giving only simple eigenvalues is residual. In the second part, we apply this criterion to several geometric and analytic settings, including sub-Laplacians and maximally hypoelliptic operators on compact manifolds, Laplacians on bounded domains with different boundary conditions, and Schrödinger-type operators on non-compact spaces.

2. 具记忆性的时空流行病学模型的推导、分析与模拟

Derivation, Analysis and Simulation of a Spatio-Temporal Epidemiology Model with Memory

作者: Hassan El Bouz, Karim Faraj, Anthony Khairallah, Fatima Mroue

类别: math.AP, q-bio.PE

发布日期: 2026-05-29

arXiv ID: 2605.31274v1

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

摘要: In this paper, we propose an integro-differential model for the spatio-temporal evolution of infectious diseases with asymptomatic transmission. The model consists of a reaction-diffusion system with an integral memory term accounting for the distribution of the incubation period. We first analyze the asymptotic behavior and the properties of the integro-differential model. Then, we prove the local existence of a weak solution of the system by means of the Faedo-Galerkin method and a compactness argument. The model is applied to simulate the geographical evolution of a disease in Lebanon.

3. 流形带边界的Dynkin条件

A Dynkin condition for manifolds with boundary

作者: Marie Bormann, David Tewodrose

类别: math.DG, math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31223v1

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

摘要: We propose a Dynkin-type condition for smooth Riemannian manifolds with boundary. We show that this condition implies bi-Lipschitz equivalence with a Bakry-Émery weighted Riemannian manifold obtained via a time change. As a consequence, we obtain various results, including a local doubling property as well as lower bounds on the Neumann spectral gap and logarithmic Sobolev constant. The local doubling property also yields a new precompactness theorem for manifolds with boundary.

4. 渐近平坦半空间中的质量-$p$-容度不等式

Mass-$p$-Capacity Inequalities in Asymptotically Flat Half-Spaces

作者: Chao Xia, Jiabin Yin, Xingjian Zhou

类别: math.DG, math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31202v1

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

摘要: In this paper, we establish general monotone quantities and sharp mass-capacity inequalities related to $p$-capacitary functions in $3$-dimensional asymptotically flat half-spaces of simple topology with nonnegative scalar curvature and nonnegative boundary mean curvature. These inequalities attain equality on a Schwarzschild half-space outside a rotationally symmetric half sphere.

5. 拟线性椭圆方程与系统之变分与几何分析

Variational and Geometric Analysis for Quasilinear Elliptic Equations and Systems

作者: Natalino Borgia

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.31165v1

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

摘要: In this thesis we focus on quasilinear elliptic systems driven by various nonlinear operators, such as the p-Laplacian, and nonlinear sources that are allowed to exhibit both subcritical and critical growth. We aim to establish the existence of solutions for perturbation of specific eigenvalue problems, by employing variational and topological methods. To establish existence results for autonomous systems of quasilinear PDEs in the spirit of the paper by Amann and Zehnder, we develop a local Morse theory for functional associated to quasilinear elliptic systems. By refining topological arguments introduced by Cingolani and Degiovanni in Banach product spaces, we establish the finiteness of the critical groups and we derive a Poincaré-Hopf formula in a Banach product space, in presence of both subcritical and critical nonlinear coupling. We also establish uniform boundedness results for anisotropic quasilinear systems, that are of interest within regularity theory. To show existence results for non-autonomous systems of quasilinear PDEs in the spirit of the paper of Landesman and Lazer, we consider the eigenvalue problem for quasilinear elliptic systems introduced by de Thélin. We prove the simplicity and isolation of the first eigenvalue lambda1. Furthermore, we show the existence of a sequence of eigenvalues by employing a suitable deformation lemma proved by Bonnet. Subsequently, we analyze new sufficient Landesman-Lazer type conditions within the framework of quasilinear elliptic systems. We also investigate the N-dimensional Euclidean Onofri inequality, established by Del Pino and Dolbeault for smooth functions with compact support. After extending this inequality to a suitable weighted Sobolev space, we exploit its connection with the Liouville equation on R^N to prove an equivalence with the sharp logarithmic Moser-Trudinger inequality on the unit ball of R^N.

6. 临界维数 $N=10$ 下超临界椭圆问题分支曲线的单调性

Monotonicity of the bifurcation curve for supercritical elliptic problems in the borderline dimension $N=10$

作者: Kenta Kumagai, Yasuhito Miyamoto

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.30946v1

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

摘要: We study the global structure of bifurcation diagrams for semilinear elliptic Dirichlet problems with supercritical nonlinearities in the unit ball. In particular, we focus on the borderline dimension $N = 10$, where the qualitative behavior of the bifurcation diagram is not determined solely by the growth rate of the nonlinearity. We show that the bifurcation curve is monotone, yielding uniqueness of classical solutions, for a class of nonlinearities including $f(u) = \exp((u+1)^p)$ with $p > 1$ and iterated exponential functions. Our approach is based on the construction of suitable singular subsolutions that satisfy a Hardy-type stability condition, avoiding the need for explicit representations of singular solutions. As a consequence, we show that, in dimension $N = 10$, these nonlinearities exhibit the same qualitative bifurcation diagram as the classical Gel’fand problem. We also characterize the monotonicity of the bifurcation curve in terms of the existence of global-in-time unbounded solutions to the associated parabolic problem.

7. σ_2 方程的凸粘性解的正则性

Regularity for convex viscosity solutions of $σ_2$ Equation

作者: Chen Ruosi, Jian Huaiyu, Tu Xushan, Zhou Xingchen

类别: math.AP

发布日期: 2026-05-29

arXiv ID: 2605.30823v1

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

摘要: We prove interior $C^{2}$ regularity result for convex viscosity solutions of the quadratic Hessian equation $σ_2(D^2u) = f(x)$, under the assumption that $f\in C^{0,1}$ with $\inf f>0$. The result is almost sharp: if $f$ are merely continuous, there exist convex viscosity solutions that fail to be $C^{1,1}$. When $f\in C^α$ for some $α\in (0,1)$, the corresponding interior regularity remains open.

8. 高通量渐近性与磁拉普拉斯算子的临界现象

High Flux Asymptotics and Critical Phenomena for the Magnetic Laplacian

作者: Emanuela L. Giacomelli, Ayman Kachmar, Mikael Sundqvist

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

发布日期: 2026-05-29

arXiv ID: 2605.30793v1

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

摘要: We study the lowest eigenvalue of the Neumann magnetic Laplacian in a planar domain divided into two regions, with piecewise constant magnetic fields that may scale differently in the inner and outer parts. Our aim is to describe the high-flux limit and determine when the ground-state energy is eventually monotone and when it continues to oscillate. We identify several asymptotic regimes according to the relative strength of the outer field. When the outer field is fixed, the lowest eigenvalue exhibits persistent oscillations and the low-energy states localize in the outer region. When the outer field grows more slowly, the behavior depends strongly on the geometry: it is eventually monotone for non-circular domains, while oscillations may persist for disks. In the critical regime, where the two fields are comparable, geometry and flux distribution both play a decisive role. When the outer field dominates, the problem reduces asymptotically to an effective operator on the inner region. These results show how uneven magnetic scaling, topology, and geometry shape the high-flux spectral behavior.

9. 关于黎曼假设的随想

Musings on the Riemann Hypothesis

作者: Ali Nadim

类别: math.AP, math.CV

发布日期: 2026-05-29

arXiv ID: 2605.30767v1

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

摘要: We present a few ideas on the Riemann Hypothesis based on properties of analytic functions in the complex plane. In particular, we focus on the real and imaginary parts of the Riemann xi ($ξ$) function whose zeros coincide with those of the zeta ($ζ$) function within the critical strip. We discuss the forms of the zero contour lines of the two conjugate harmonic functions (the real and imaginary parts of xi) and consider where their intersections could conceivably occur. Those intersections would be the roots of both $ξ$ and $ζ$ functions. The question of whether a zero could occur away from the critical line becomes equivalent to whether the solutions of a pair of Laplace’s equations with well-defined boundary conditions in some semi-infinite strip can possess zero contour lines that intersect within that strip.

10. 原子晶格上位错动力学的模拟：碰撞规则的影响

Simulations of dislocation dynamics on an atomic lattice: the effect of collision rules

作者: Tom Hudson, Akaraphon Jantaraphum, Patrick van Meurs

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

发布日期: 2026-05-29

arXiv ID: 2605.30682v1

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

摘要: The stochastic dynamics of dislocations on a one-dimensional periodic lattice domain are considered. Two models are studied: one without a collision rule, and one which annihilates colliding dislocations if they have opposite orientation. The behaviour of both models is investigated by means of a series of numerical simulations exploring the asymptotic behaviour of these models as the number of dislocations increases. From these simulations, evidence is obtained that the discrete model with annihilation tends to a PDE for the dislocation density that accounts for annihilation. However, the discrete model without a collision rule does not appear to exhibit consistent convergence behaviour; instead, it appears that the expected PDE with conserved dislocation density appears in the limit for some parameters, but that for other parameters the density appears to follow to the evolution of the PDE with annihilation. These findings provide evidence that a careful treatment of dislocation collisions is important in discrete dislocation dynamics models.