生成时间: 2026年06月09日 06:52:38

运行状态: 完成

计划处理论文数量: 47

已完成论文数量: 47

未完成论文数量: 0

重点关注论文数量: 16

了解领域论文数量: 13

不相关论文数量: 18

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

1. Lamb-Chaplygin 偶极子的线性稳定性

Linear Stability of the Lamb-Chaplygin Dipole

作者: Francesco Pio Numero, Paolo Ventura

类别: math.AP, math.SP

发布日期: 2026-06-08

arXiv ID: 2606.09775v1

摘要翻译: 我们刻画了 Lamb-Chaplygin 偶极子附近的线性化动力学行为，该偶极子是二维 Euler 方程的一个经典行波解。利用系统的 Hamilton 结构及其对称性，我们识别出所有可能的线性不稳定源。对于 $L^1\cap L^p$（其中 $p>2$）中的一般扰动，增长仅可能通过以下两种显式机制发生：{\rm (i)} 偶极子核上存在非零环量；{\rm (ii)} 扰动在对应于特征值 $0$ 的广义特征向量方向上具有非平凡分量。特别地，我们完全分类了与线性动力学相关的算子的谱及其 Jordan 链。这两种机制均暗示了一种非线性动力学行为：解可能沿由对称性生成的行波偶极子族发生漂移，而并不脱离该族。

Comment: 16 pages, 1 figure

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

1. 研究对象和背景

本文研究二维不可压无粘欧拉方程在涡量形式下的线性稳定性问题，核心对象是Lamb-Chaplygin偶极子——一个经典的行波解。该解满足方程

其中速度场由Biot-Savart律给出：

在平移行波坐标系 $(x' = x + ct,\, t' = t)$ 下，方程化为稳态形式

Lamb-Chaplygin偶极子 $\omega_{\mathrm{eq}}$ 是该方程的一个紧支集稳态解，定义为

其中 $D = \{x \in \mathbb{R}^2 : |x| \le 1\}$ 为单位圆盘，$A = 2k / J_0(k)$，$k = 3.8317\ldots$ 是第一类Bessel函数 $J_1$ 的首个非零正根。其内部满足特征关系 $\omega_{\mathrm{eq}} = -k^2 \psi_{\mathrm{eq}}$，其中流函数 $\psi_{\mathrm{eq}}$ 满足 $\nabla^\perp \psi_{\mathrm{eq}} = u_{\mathrm{eq}} = u[\omega_{\mathrm{eq}}] + c_{\mathrm{eq}}$，并具有分段表达式

该解属于一个五参数连续对称族 $\{\tau_\alpha \omega_{\mathrm{eq}},\, \gamma_\alpha c_{\mathrm{eq}}\}_{\alpha \in G}$，由水平/竖直平移、旋转、放大（amplification）和缩放（dilation）生成，对应变换群 $G$ 的作用：

线性化算子为

其定义域取为 $L^1(\mathbb{R}^2) \cap L^p(\mathbb{R}^2)$，$p > 2$，这是Yudovich理论保证全局适定性的自然空间。由于 $\omega_{\mathrm{eq}}$ 紧支于 $D$，线性演化可严格分解为外部传输部分 $w_{\mathrm{ext}}$ 和内部动力学 $w_{\mathrm{int}}$，后者满足

进一步将 $w_{\mathrm{int}} = \tilde{w} + \mu \mathbf{1}_D$（其中 $\mu = |D|^{-1} \int_D w_0$ 为初始环量平均），得到齐次部分 $\tilde{w}$ 满足

其中 $f^{\mathrm{ev}}_1 = \frac{2k}{J_0(k)} J_1(k r) \cos\theta \, \mathbf{1}_D$，而内部算子 $L$ 定义在零均值空间 $L^2_0(D)$ 上：

其中 $\Delta^{-1}_{DN}$ 是带Robin边界条件 $\partial_n \psi = -|D_\theta| \psi$ 的Poisson反演算子（$|D_\theta|$ 为Fourier乘子 $|m|$）。该算子具有Hamiltonian结构 $L = J H$，其中 $J = -u_{\mathrm{eq}} \cdot \nabla$ 是斜自伴算子，$H = \mathrm{Id} + k^2 \Delta^{-1}_{DN}$ 是自伴算子。研究目标是刻画 $L_{\mathrm{eq}}$ 的谱与Jordan结构，并回答：在无对称性假设下，一般 $L^1 \cap L^p$ 初始扰动是否导致线性增长？若增长，其机制、速率与初值依赖关系为何？已有工作如Abe–Choi [1] 在奇对称、符号与矩条件下证明了轨道稳定性；Lin–Zeng指标理论 [18] 在加权 $L^2$ 空间中证得谱稳定性；Wang [25] 在固定圆盘截断模型中用变分法得稳定性。但所有这些均未完全揭示无约束扰动下的线性不稳定性源及其定量结构。本文旨在填补这一空白：精确分类所有可能的线性增长机制，明确区分由对称性诱导的中性模（Jordan链）与由环量引起的非平衡驱动，并建立与非线性漂移现象的严格联系。

2. 主要定理或主要结果

本文两个核心定理完整刻画了Lamb-Chaplygin偶极子的线性动力学。定理1针对一般初值 $w_0 \in L^1(\mathbb{R}^2) \cap L^p(\mathbb{R}^2)$，$p > 2$，设 $\mu = |D|^{-1} \int_D w_0$ 为其在单位圆盘上的平均环量，则线性演化 $w(t) = e^{t L_{\mathrm{eq}}} w_0$ 满足精确的二次时间增长估计：存在与 $w_0$ 无关的常数 $C > c > 0$，使得对所有 $t > 0$，

更重要的是，该估计是sharp的：存在初值 $w_0$ 满足 $\mu = 0$，使得 $\|w(t)\|_{L^2} \sim t$ 线性增长；且当 $\mu = 0$ 且 $w_0$ 正交于两个广义零空间方向时，解保持有界。定理2则完全解析了内部算子 $L$ 的谱结构：(1) $L$ 是谱稳定的，即其在 $L^2_0(D)$ 上的谱 $\sigma(L) \subseteq i\mathbb{R}$，且所有非零特征值均为半单（semisimple）；(2) $L$ 是线性不稳定的，它在特征值 $0$ 处恰好存在两条长度为2的Jordan链 $\{f^{\mathrm{odd}}_1, f^{\mathrm{odd}}_0\}$ 与 $\{f^{\mathrm{ev}}_1, f^{\mathrm{ev}}_0\}$，其中

并满足 $L f^{\mathrm{odd}}_1 = f^{\mathrm{odd}}_0$, $L f^{\mathrm{ev}}_1 = -f^{\mathrm{ev}}_0$, $L f^{\mathrm{odd}}_0 = L f^{\mathrm{ev}}_0 = 0$。由此，任意初值 $w_0$ 的线性增长仅由两项贡献：(i) 环量平均 $\mu \neq 0$，引发 $\sim t^2$ 增长；(ii) 在上述两条Jordan链上的投影非零，引发 $\sim t$ 增长。此外，引理5表明，对任意 $f \in X_p$，存在群元 $\alpha_0 \in G$（旋转与放大组合）及 $g \in X_p \cap \mathrm{span}\{\tau_{\alpha_0} f^{\mathrm{odd}}_1, \tau_{\alpha_0} f^{\mathrm{ev}}_1\}^\perp$，使得 $\omega_{\mathrm{eq}} + f = \tau_{\alpha_0} \omega_{\mathrm{eq}} + g$，即任意扰动均可通过群作用模掉不稳定性方向，余下部分稳定。

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

证明的核心障碍在于：$L_{\mathrm{eq}}$ 在自然 $L^2(\mathbb{R}^2)$ 空间上非闭，且其谱信息不足以直接控制半群增长（Renardy反例警示）。作者摒弃了直接分析 $L_{\mathrm{eq}}$ 的谱的传统路径（如[16]在加权空间中使用Lin-Zeng指标理论），转而采用动态约化策略。第一步是严格的区域分解：利用 $\omega_{\mathrm{eq}}$ 紧支于单位圆盘 $D$ 的特性，将解分裂为 $w = w_{\mathrm{ext}} + w_{\mathrm{int}}$，其中 $w_{\mathrm{ext}}$ 满足纯输运方程 $\partial_t w_{\mathrm{ext}} = -u_{\mathrm{eq}} \cdot \nabla w_{\mathrm{ext}}$ 且始终支撑在 $\mathbb{R}^2 \setminus D$；而 $w_{\mathrm{int}}$ 被证明严格支撑于 $D$，从而将全局问题约化为内部问题。第二步是环量分离：令 $w_{\mathrm{int}} = \tilde{w} + \mu \mathbf{1}_D$，其中 $\mu$ 为常数环量，则 $\tilde{w}$ 满足零均值齐次方程 $\partial_t \tilde{w} = L \tilde{w} - \frac{\mu}{2} f^{\mathrm{ev}}_1$，其非齐次项源于环量对流函数的贡献 $u[\mu \mathbf{1}_D] = \frac{\mu}{2} x^\perp$ 及极坐标下 $x^\perp \cdot \nabla = \partial_\theta$。第三步是Hamiltonian结构的深度挖掘：将内部算子 $L$ 表示为 $L = J H$，其中 $J = -u_{\mathrm{eq}} \cdot \nabla$ 斜自伴，$H = \mathrm{Id} + k^2 \Delta^{-1}_{DN}$ 自伴且在基 $\mathcal{B} = \{J_0(j_{1,n} r)\}_{n\ge1} \cup \{J_m(j_{m-1,n} r) e^{i m \theta}\}_{m\ge1,n\ge1}$ 下对角化，其负特征空间与核空间被精确计算为 $\mathcal{N} = \mathrm{span}\{J_1(j_{0,1} r) \cos\theta, J_1(j_{0,1} r) \sin\theta\}$，$\mathcal{K} = \mathrm{span}\{J_0(k r), J_2(k r) \cos(2\theta), J_2(k r) \sin(2\theta)\}$。关键创新点在于：利用Hamiltonian算子的一般性质（[7, Lemma 2.1]），证明不稳定广义特征向量必满足 $\langle H f_0, f_0 \rangle = 0$，从而将不稳定性源限定在 $\mathcal{K}$ 中；再通过显式计算（引理6与11）验证 $\mathcal{K}$ 中的 $f^{\mathrm{odd}}_0, f^{\mathrm{ev}}_0$ 确实能提升为Jordan链，且不存在其他非零虚轴特征值的Jordan链。第四步是克服能量方法失效：标准Hamiltonian稳定性论证要求 $H$ 在某个 $L$-不变子空间 $Y$ 上强制（coercive），但此处 $L$ 与 $L^* = -H J$ 的Jordan结构不对称（$L$ 有两条长度2链，$L^*$ 仅一条），导致 $H$ 在正交补空间上不强制。作者转而证明 $H$ 在非闭子空间 $\mathrm{Ran}(L^2)$ 上正定，结合 $\mathrm{Ran}(L) \subset \mathrm{Ran}(L^2)$，得出 $\mathrm{Ran}(L)$ 上初值的演化有界，从而完成定理1的证明。整个框架将对称性分析（第2节）、区域约化（第3.1节）、Hamiltonian谱理论（第3.3节）与动态估计（第3.4节）无缝整合，避免了加权空间与抽象指标理论的复杂性。

4. 与之前工作的比较

本文与既有工作存在本质差异，体现在假设、技术路径、结论精度与物理诠释四个维度。首先，在假设层面，Abe–Choi [1,2] 及后续[16]均依赖强对称性（奇对称）、符号条件（$\omega_0$ 同号）或矩控制（如 $\int x_i \omega_0 = 0$），而本文完全取消这些限制，工作在最自然的Yudovich类 $L^1 \cap L^p$ ($p>2$) 上，首次给出无约束扰动下的完整线性不稳定性分类。其次，在技术路径上，[16] 使用Lin–Zeng Hamiltonian PDE指标理论，在加权 $L^2$ 空间（如 $L^2(e^{a|x|} dx)$）中处理Biot-Savart算子的非局部性，虽得谱稳定性，却无法刻画Jordan结构与增长速率；本文则通过紧支性实施几何约化，将问题降维至 $L^2_0(D)$，并直接计算 $\Delta^{-1}_{DN}$ 的谱，从而获得显式Jordan向量与定量增长估计。第三，在结论精度上，[16] 仅断言无正实部谱点，而本文不仅证实此点，更证明所有非零谱点均为纯虚且半单，并精确给出 $\lambda=0$ 处的Jordan链长度与个数（两条长度2链），进而导出sharp的 $t^2$ 与 $t$ 增长阶；Renardy反例已表明，仅知谱在虚轴上远不足以推出多项式增长，本文的估计因此具有根本性突破。第四，在物理诠释上，[1,2] 的轨道稳定性本质上是模掉水平平移后的稳定性，而本文揭示其背后机制：奇对称性恰好消除了 $\mu$（因 $\int_D \omega_0 = 0$）与 $f^{\mathrm{ev}}_1$ 方向（因 $\cos\theta$ 为偶函数），故剩余唯一不稳定性源被压制；Wang [25] 在固定圆盘中截断模型，人为冻结了振幅与尺度参数，从而消除了由放大与缩放对称性产生的Jordan链，其稳定性结论因此不适用于真实自由空间中的Lamb-Chaplygin偶极子。本文明确指出，线性增长并非真实失稳，而是解沿对称族 $\{\tau_\alpha \omega_{\mathrm{eq}}\}$ 的漂移：$t$-增长对应于无穷小旋转/平移，$t^2$-增长对应于环量诱导的rototranslation（如引理末尾所给精确非线性解 $\omega(t) = \tau_{\alpha(t)}(\omega_{\mathrm{eq}} + \mu \mathbf{1}_D)$），这为未来非线性稳定性研究（如中心流形约化）提供了严格基础。从提供内容中无法确认本文结果是否可推广至三维或含粘性情形。

2. 水弹性 Stokes 波的 Benjamin-Feir 谱

Benjamin-Feir spectrum of hydroelastic Stokes waves

作者: Ting-Yang Hsiao, Zirui Li, Ye Zhang, Chengbin Zhu

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09657v1

摘要翻译: 我们确定了二维有限深度无旋 Euler 方程（带表面张力与弹性弯曲效应）的小振幅水弹性 Stokes 波在原点附近的完整 Benjamin-Feir 谱。对于非共振 Stokes 分支，且在远离内禀特征碰撞曲面 $\mathfrak D$ 的区域，我们在长波 Floquet 区域中完全解析了从原点分岔出的全部四个 Bloch 特征值。利用该问题的 Hamiltonian 结构与可逆结构，我们将线性化 Bloch 算子约化至从原点广义核分岔出的四维谱子空间，并将所得矩阵共轭为一个 Benjamin-Feir 块与一个长波块的直和。长波对特征值保持纯虚数，而 Benjamin-Feir 对则由一个显式闭式不稳定性指标 $\operatorname{Ind}(\mathtt{h},κ,b)$ 所支配：该指标为正时，产生具有非零实部的局部八字形谱曲线；该指标为负时，则全部四个小特征值均保持纯虚数。结合 Wilton 型共振轨迹与特征碰撞曲面 $\mathfrak D$，该指标导出了以深度 $\mathtt{h}$、表面张力 $κ$ 与弯曲刚度 $b$ 为参数的三维谱稳定性图。该图恢复了经典纯重力情形下的临界深度极限，并在零弯曲边界 $b=0$ 上复现了重力–毛细稳定性图。它还揭示了一种真正的水弹性现象：只要 $b\geq 1/14$ 或 $κ\geq 1/2$，所有 Wilton 型共振即完全消失。这为水弹性自由边界问题首次提供了局部 Benjamin-Feir 谱的完整严格刻画。

Comment: 55 pages, 5 figures

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

1. 研究对象和背景

本文研究二维有限深度不可压无旋欧拉方程在表面张力与弹性弯曲耦合作用下的水弹性斯托克斯波（hydroelastic Stokes waves）的调制稳定性问题，核心是刻画其线性化谱在原点附近的完整本杰明–费尔（Benjamin–Feir）结构。物理模型描述密度为1的理想流体占据区域

其中 $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$，底部为刚性平面 $y = -h$，上界面 $y = \eta(t,x)$ 是一质量可忽略、兼具表面张力与弹性弯曲特性的薄覆盖层。流体运动由欧拉方程控制：

其中 $g > 0$ 为重力加速度（后归一化为 $g = 1$）。引入速度势 $\Psi$ 满足 $\mathbf{v} = \nabla_{x,y} \Psi$，并定义狄利克雷–诺伊曼算子 $G(\eta; h)$ 为

则系统等价于 Zakharov 型哈密顿系统：

其中哈密顿量为

而界面能量 $E(\eta)$ 包含表面张力项与四阶弹性弯曲项：

其中 $\kappa \geq 0$ 为表面张力系数，$b > 0$ 为弯曲刚度，曲率算子 $\sigma(\eta) = \partial_x \left( \frac{\eta_x}{\sqrt{1 + \eta_x^2}} \right)$，弧长导数 $\partial_s = (1 + \eta_x^2)^{-1/2} \partial_x$。动态边界条件给出压力在界面的跃变：

该四阶非线性几何项是关键难点：它使线性化后的自由边界算子成为变系数四阶微分–积分混合算子，远超经典毛细–重力情形的二阶结构。研究对象是小振幅周期行波解 $\eta_\varepsilon(x - c_\varepsilon t), \psi_\varepsilon(x - c_\varepsilon t)$，即水弹性斯托克斯波，其存在性要求参数 $(h,\kappa,b)$ 不属于 Wilton 型共振集

其中 $\rho_n(h) = n \tanh(h)/\tanh(n h)$。该集对应基本模与高次谐波共振，导致线性化算子零空间退化，破坏标准局部分岔构造。此外，还须排除特征碰撞面

其中 $e_{12} = e_{12}(h,\kappa,b)$ 是显式函数（见(4.25)），其零点等价于 Benjamin–Feir 输运速度 $c_0 - \frac{1}{2} e_{12}$ 与长波特征速度 $c_0 \mp \sqrt{h}$ 相遇，致使块对角化解耦所依赖的 Sylvester 方程失逆。因此，研究区域为 $\mathcal{P} = (\mathbb{R}_{>0} \times \mathbb{R}_{\geq 0} \times \mathbb{R}_{>0}) \setminus (\mathcal{R} \cup \mathfrak{D})$。问题的重要性在于：本杰明–费尔不稳定性是色散波调制失稳的核心机制，而水弹性系统因四阶弯曲项彻底重构了色散关系 $c_n^2 = (1 + \kappa n^2 + b n^4) \tanh(n h)/n$，从而可能催生全新失稳阈值、共振消除现象及多参数相变结构。既有工作或限于数值/渐近分析（如 Trichtchenko et al.），或仅处理纯弯曲/深水情形（如 Wan–Yang），或未同时纳入表面张力与有限深度效应；本文旨在填补严格刻画小振幅水弹性斯托克斯波局部谱四重分支的理论空白。

2. 主要定理或主要结果

在参数区域 $\mathcal{P} = (\mathbb{R}_{>0} \times \mathbb{R}_{\geq 0} \times \mathbb{R}_{>0}) \setminus (\mathcal{R} \cup \mathfrak{D})$ 内，对任意充分小的振幅参数 $\varepsilon > 0$，存在实解析族 $\varepsilon \mapsto (\eta_\varepsilon, \psi_\varepsilon, c_\varepsilon)$ 描述水弹性斯托克斯波。对其线性化并进行 Floquet 分解后，在长波 Floquet 参数 $\mu = \varepsilon \nu$（$\nu$ 有界）下，原点附近四个 bifurcating 特征值被完全解析为两对：Benjamin–Feir 对 $\lambda_1^\pm(\mu, \varepsilon)$ 与长波对 $\lambda_0^\pm(\mu, \varepsilon)$。定理 2.6 给出精确渐近展开：

其中 $c_0 = \sqrt{(1 + \kappa + b) \tanh(h)}$ 为相速度，$e_{12}, e_{22}, e_{\mathrm{WB}}$ 是关于 $(h,\kappa,b)$ 的显式闭式函数（见(4.25)与(5.14)）。由此定义 Benjamin–Feir 不稳定性指数

主要结论为：若 $\operatorname{Ind}(h,\kappa,b) > 0$，则存在非平凡侧带不稳定区间 $0 < |\nu| < \nu^*(h,\kappa,b; \varepsilon)$，其首阶宽度为

在此区间内，$\lambda_1^\pm$ 具有相反的非零实部，随 $\nu$ 变化形成原点附近的“八字形”谱曲线（figure-eight），且 $\operatorname{Re} \lambda_1^\pm = \pm \frac{\varepsilon^2 |\nu|}{8} \sqrt{8 e_{22} e_{\mathrm{WB}} - e_{22}^2 \nu^2} + O(\varepsilon^3)$；若 $\operatorname{Ind}(h,\kappa,b) < 0$，则全部四个特征值在小振幅调制区域内保持纯虚数；若 $\operatorname{Ind}(h,\kappa,b) = 0$，则需更高阶信息判定。进而定义 Benjamin–Feir 不稳定集 $\mathcal{U}_{\mathrm{BF}} = \{ (h,\kappa,b) \in \mathcal{P} : \operatorname{Ind}(h,\kappa,b) > 0 \}$，其边界 $\Sigma_{\mathrm{BF}} = \partial \mathcal{U}_{\mathrm{BF}} \cup \mathcal{R} \cup \mathfrak{D} \cup \mathcal{R}_2$ 构成三维 $(h,\kappa,b)$-空间中的过渡曲面，该曲面可显式绘图（见图3–4），并恢复经典纯重力临界深度极限 $(h_{\mathrm{WB}}, 0, 0) = (1.3627827\ldots, 0, 0)$ 及零弯曲边界上的重力–毛细稳定性图；特别地，当 $b \geq 1/14$ 或 $\kappa \geq 1/2$ 时，所有 Wilton 型共振集 $\mathcal{R}$ 消失，此为纯粹水弹性现象。

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

证明的核心障碍在于：（1）有限深度下原点处线性化算子具有缺陷特征值（defective eigenvalue），导致四个 Floquet 特征值以相同阶 $O(\mu)$ bifurcate，无法通过常规扰动分离；（2）弹性弯曲项引入的四阶非线性几何算子 $b(\partial_s^2 \sigma(\eta) + \frac{1}{2}\sigma(\eta)^3)$ 在线性化并共形平坦化自由边界后，变为变系数四阶微分–积分算子，其结构远比毛细–重力情形的二阶算子复杂，破坏了直接套用已有公式的技术路径；（3）哈密顿与可逆结构虽得以保留，但其在四维约化子空间上的矩阵表示 $K_{\mu,\varepsilon}$ 含有强耦合项，其 off-diagonal 阶为 $O(\mu \varepsilon)$，必须通过结构保持的变换精确消去。作者的真正创新点在于构建了一套分阶段、结构保持的块对角化解耦框架：第一，利用哈密顿与可逆性，将线性化 Bloch 算子 $L_{\mu,\varepsilon}$ 约化至原点广义核 bifurcating 出的四维谱子空间 $V_{\mu,\varepsilon}$，并获得其矩阵表示 $K_{\mu,\varepsilon}$（引理4.1–4.3，附录E）；第二，施行辛 Kato 变换（附录D），再经奇异辛重标度 $\mu = \varepsilon \nu$，使 $K_{\varepsilon \nu, \varepsilon}$ 解析延拓至 $\nu = 0$；第三，设计首个辛且可逆性保持的 Lie 变换 $\exp(\mathrm{ad}_{X_1})$，其中生成元 $X_1$ 由 Sylvester 方程 $\mathrm{ad}_{A_0}(X_1) = B_0$ 精确求解（$A_0$ 为块对角主部，$B_0$ 为初始耦合项），该变换将 off-diagonal 耦合从 $O(\mu \varepsilon)$ 降至 $O(\mu \varepsilon^3)$（命题F.1，附录F）；第四，执行第二个解析、结构保持的共轭变换，完全消除剩余耦合，最终将 $K_{\varepsilon \nu, \varepsilon}$ 共轭为 Benjamin–Feir 块与长波块的直和（定理5.1）。此过程中，Sylvester 方程的可解性直接依赖于 $D_{h,\kappa,b} \neq 0$，即排除 $\mathfrak{D}$ 的必要性在此被本质揭示；而 $e_{22}$ 的零点（即绿色曲面 $\{e_{22}=0\}$）与 $e_{\mathrm{WB}}$ 的零点（灰色曲面 $\{e_{\mathrm{WB}}=0\}$）共同决定 $\operatorname{Ind}$ 的符号，构成稳定性边界的几何骨架。整个框架不仅输出了显式指数，更将水弹性四阶效应系统性地编码进 $e_{12}, e_{22}, e_{\mathrm{WB}}$ 这三个闭式函数中，使其成为可计算、可可视化的物理量。

4. 与之前工作的比较

本文与既有工作的根本推进体现在三重维度：（1）问题设定的完整性：此前关于水弹性波的 Rigorous 谱分析极度匮乏。Berti–Maspero–Ventura [10,12] 完全刻画了经典有限深度与深水重力波的 Benjamin–Feir 谱，Hur–Yang [33,34] 推广至重力–毛细情形，Hsiao–Maspero [36] 给出重力–毛细稳定性图；但所有这些工作均未包含弹性弯曲项。Toland [63]、Baldi–Toland [5]、Plotnikov–Toland [53,54] 等建立了水弹性模型的存在性理论，但未触及调制谱；Trichtchenko et al. [64] 采用渐近+数值方法研究 flexural–gravity 波稳定性，缺乏严格谱分解；Wan–Yang [65] 在深水纯水弹性情形下证明了非线性调制不稳定性（通过聚焦型三次 NLS 近似），但其结论是弱非线性、非谱精确的，且未处理有限深度与表面张力共存情形。本文首次在统一框架下同时纳入有限深度 $h$、表面张力 $\kappa$ 与弯曲刚度 $b$ 三个物理参数，并给出原点附近四个特征值的完整、严格、闭式渐近。（2）技术深度与适用范围：经典工作（如 Bridges–Mielke [16]）依赖中心流形约化，而本文采用基于哈密顿–可逆结构的有限维谱子空间约化与块对角化，其优势在于能显式追踪所有系数的参数依赖性。尤其，弯曲项带来的四阶效应迫使作者发展出两步 Lie 变换策略（附录F），其精细度远超 Bridges–Mielke 的一般性中心流形估计。该方法将稳定性判据压缩为单个可计算指数 $\operatorname{Ind}(h,\kappa,b)$，其零点曲面 $\Sigma_{\mathrm{BF}}$ 在三维参数空间中具有明确几何意义，而此前任何工作均未提供此类全局参数图。（3）物理现象的新发现：本文揭示了纯粹水弹性现象——Wilton 型共振的完全消失：当 $b \geq 1/14$ 或 $\kappa \geq 1/2$ 时，整个共振集 $\mathcal{R}$ 为空（图5上右、中右面板），这在纯重力或重力–毛细系统中绝不可能发生，因为其共振条件（如 $\kappa + n^4 b = \cdots$）总对某些 $n$ 成立。此现象源于弯曲项对色散关系的四阶修正彻底压制了谐波共振的可能性。此外，特征碰撞面 $\mathfrak{D}$ 是水弹性系统独有的退化结构，其在经典系统中不存在（因无四阶项，$e_{12}$ 不含 $b$ 依赖，故 $D_{h,\kappa,b} = 0$ 无解）。代价在于：必须排除 $\mathcal{R} \cup \mathfrak{D}$，这比经典工作（仅需排除孤立共振点）的参数限制更强；且 $\operatorname{Ind}$ 的显式表达式虽已获得，但其零点曲面 $\Sigma_{\mathrm{BF}}$ 的全局凸性、连通性等深层性质尚待进一步分析。从提供内容中无法确认本文结果是否可推广至三维或带涡流情形。

3. 电阻型固态粒子探测器中拟静态麦克斯韦方程组的分析

Analysis of the Quasi-Static Maxwell Equations in Resistive Solid-State Particle Detectors

作者: Alessandro Rosa

类别: math.AP, math.FA

发布日期: 2026-06-08

arXiv ID: 2606.09269v1

摘要翻译: 我们求解由麦克斯韦方程组在拟静态近似下导出的一类边值问题，该问题支配着电阻型固态粒子探测器中所谓加权势 $V_{\mathrm{w}}(t,x)$ 的时间演化。该模型约化为如下三阶时变偏微分方程

并配备混合型 Neumann–Dirichlet 边界条件（可能退化）。我们的分析基于将加权势分解为静态部分与动态部分。静态部分满足一个一致椭圆的混合边值问题，而动态部分则满足一个退化抛物型 Cauchy 问题。我们还建立了内部正则性结果。

Comment: 26 pages, 1 figure

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

1. 研究对象和背景

本文研究电阻型固态粒子探测器中加权电势 $V_{\mathrm{w}}(t,x)$ 所满足的准静态麦克斯韦方程组边界值问题。该物理模型源于高能物理实验中的电荷感应机制，其核心是 Ramo–Shockley 定理在导电介质中的时变推广：探测器电极上感应电流 $i(t)$ 由运动电荷 $q$ 沿轨迹 $(x(t), \dot x(t))$ 在加权电场 $\vec E_{\mathrm{w}}(t,x) = -\nabla V_{\mathrm{w}}(t,x)$ 中所受作用决定，具体表达为

其中 $\Theta$ 为 Heaviside 函数，$V_0 > 0$ 为所考察电极所加偏压。加权电势 $V_{\mathrm{w}}$ 并非任意函数，而是由准静态极限下麦克斯韦方程导出的耦合系统：

其中 $\rho(t,x)$ 为载流子电荷密度，$\varepsilon = \varepsilon_0 \varepsilon_r > 0$ 为材料介电常数（金刚石与石墨相同），$\sigma(x) \in L^\infty(\Omega)$ 为非负、有界、通常不连续的空间依赖电导率，由金刚石-石墨复合结构（如激光石墨化三维电极）决定。消去 $\rho$ 后得到本文核心的三阶时间依赖偏微分方程：

该方程在数学上极具挑战性：其主部含时间导数与拉普拉斯算子的复合 $\partial_t \Delta$，且扩散系数 $\sigma(x)$ 可在正测度子集上退化为零（例如绝缘金刚石区域），导致方程整体呈退化抛物型；边界条件为混合型——在电极接触面 $B_D \subset \partial \Omega$ 上施加 Dirichlet 条件 $V_{\mathrm{w}} = g$（由 Ramo–Shockley 定理确定），在其余边界 $B_N = \partial \Omega \setminus B_D$ 上施加齐次 Neumann 条件 $\partial_\nu V_{\mathrm{w}} = 0$，且 $B_D$ 与 $B_N$ 均为非空、互斥、正则开子集；初始数据 $\tilde g \in H^2(\Omega)$ 需满足相容性条件 $\partial_\nu \tilde g|_{B_N} = 0$，以保证迹算子 $\gamma_1 : H^2(\Omega) \to H^{1/2}(\partial \Omega)$ 有定义。问题的重要性在于：$V_{\mathrm{w}}$ 是计算探测器信号响应的核心物理量，其存在性、唯一性与正则性直接决定了信号模拟的数学可靠性与数值算法的收敛性。然而，现有文献（如 [13, 15]）仅提供形式推导或数值验证，缺乏对这一特定退化、混合、三阶结构的严格 PDE 理论分析。本文旨在填补这一空白：在无小参数假设、无光滑性假设（$\sigma$ 仅为 $L^\infty$）、无均匀椭圆性假设（允许 $\sigma \equiv 0$）的前提下，建立解的全局适定性理论，并刻画其在不同电导率区域（$\sigma \equiv 0$ 的绝缘区与 $\sigma \equiv \sigma_1 > 0$ 的导电区）内的精细正则性传播行为。

2. 主要定理或主要结果

在假设 3.1 下（即 $\Omega \subset \mathbb{R}^n$ 为满足一致 $C^d$-正则性（$d \geq 2$）的连通有界开集，$\tilde g \in H^2(\Omega)$，$g \in H^{3/2}(\partial \Omega)$，$\partial_\nu \tilde g|_{B_N} = 0$，$\sigma \in L^\infty(\Omega)$ 非负，$\varepsilon > 0$ 常数），本文证明了以下主要结果：（1）存在唯一弱解 $V \in C^1([0,T]; H^1(\Omega))$ 满足问题 (7)，其分解为 $V(t,x) = \omega(x) + u(t,x)$，其中静态部分 $\omega \in H^1(\Omega)$ 是椭圆问题 (9) 的唯一弱解，动态部分 $u \in C^1([0,T]; H^1(\Omega))$ 是退化抛物问题 (10) 的唯一弱解；（2）该解满足连续性估计

其中 $c_\Omega > 0$ 为 $X = \{ u \in H^1(\Omega) \mid R_{B_D} u = 0 \}$ 上 $\|\nabla \cdot\|_{L^2}$ 与 $H^1$-范数的等价常数；（3）静态部分 $\omega$ 在 $\Omega$ 内局部 Hölder 连续（$\omega \in C^{0,\alpha}_{\mathrm{loc}}(\Omega)$，$\alpha \in (0,1)$），且在 $\sigma$ 为常数的任意子域 $\Omega' \Subset \Omega$ 内无限可微（$\omega \in C^\infty(\Omega')$）；（4）动态部分 $u$ 的正则性具有区域依赖性：若 $\sigma \equiv 0$ 在开集 $\Omega_0 \subset \Omega$ 上成立，则 $u' \in C^0([0,T]; C^\infty(\Omega_0))$，且 $u$ 继承初始数据 $\tilde g - \omega$ 的局部 Sobolev 与 Hölder 正则性；若 $\sigma \equiv \sigma_1 > 0$ 在开集 $\Omega_1 \subset \Omega$ 上成立，则对任意 $k \in \mathbb{N}$，存在常数 $C_k = C_k(\sigma_1/\varepsilon, \Omega_1, k)$ 使得

类似地对 Hölder 范数成立；（5）动态部分 $u$ 的重构公式为 $u(t,\cdot) = (-\Delta_{ND})^{-1} w(t,\cdot)$，其中 $w \in C^1([0,T]; X^*)$ 是抽象 Cauchy 问题

的唯一解，初值为 $w(0,\cdot) = \Delta(\omega - \tilde g)$。

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

本文的核心技术障碍在于方程 (2) 的三重退化性：其一，主部 $\varepsilon \partial_t \Delta$ 不是标准的二阶抛物算子，无法直接套用经典理论；其二，系数 $\sigma(x)$ 的退化（可在正测度集上为零）破坏了方程的整体抛物性，使能量估计失效；其三，混合 Neumann-Dirichlet 边界条件要求对拉普拉斯算子 $-\Delta$ 的逆进行严格定义，而该逆在非齐次边界下并非紧算子。作者的真正创新点在于构造了一个精巧的解耦-重构框架，将问题转化为一个可被抽象发展方程理论驾驭的形式。第一，解耦策略：将 $V = \omega + u$ 分离为静态与动态两部分。静态部分 $\omega$ 通过引入修正系数 $A(x) = \sigma(x)/\varepsilon + 1$，将原问题转化为一个标准的、具有一致椭圆性的混合边值问题 (9)，从而可直接应用附录 A 中基于 Lax-Milgram 引理的椭圆理论，获得 $\omega \in H^1(\Omega)$ 的存在唯一性及先验估计。第二，动态部分的抽象化：这是全文最关键的一步。作者并未尝试直接处理 $u$ 的方程 (10)，而是定义新变量 $w(t,\cdot) := -\Delta u(t,\cdot) \in X^*$，其中 $X = \{ u \in H^1(\Omega) \mid u|_{B_D} = 0 \}$ 是带零 Dirichlet 边界的 Sobolev 空间。此变换的妙处在于：利用混合边值拉普拉斯算子 $-\Delta_{ND}$ 的可逆性（见附录 A），将 $u$ 的齐次混合边界条件自动编码进 $w$ 的定义域 $X^*$ 中，从而将 (10) 重写为关于 $w$ 的抽象 Cauchy 问题。第三，Hille-Yosida 框架的应用：作者证明了算子 $B : D(B) \subset X^* \to X^*$，定义为 $\langle B w, \phi \rangle_{X^*,X} = -\int_\Omega (\sigma/\varepsilon) \langle \nabla (-\Delta_{ND})^{-1} w, \nabla \phi \rangle \, dx$，是一个 Hille-Yosida 算子。其关键在于验证 $B$ 的单调性与预解式估计：由 $\sigma \geq 0$，有 $\langle B w, w \rangle_{X^*,X} \geq 0$；再结合 $(-\Delta_{ND})^{-1}$ 的有界性与 $\sigma \in L^\infty$，可导出 $\| (\lambda - B)^{-m} \| \leq M \lambda^{-m}$。由此，定理 2.12 保证了 $w$ 的存在唯一性。最后，通过 $u = (-\Delta_{ND})^{-1} w$ 将抽象解 $w$ 重构回原始变量 $u$，并利用 $(-\Delta_{ND})^{-1}$ 的正则性提升性质（[16]）获得 $u \in C^1([0,T]; H^1(\Omega))$。正则性分析则采用区域分割法：在 $\sigma \equiv 0$ 的区域，方程退化为 $\partial_t \Delta u = 0$，故 $u$ 仅随时间作刚性平移，其无穷可微性由初始数据继承；在 $\sigma \equiv \sigma_1 > 0$ 的区域，方程恢复为标准抛物型 $\varepsilon \partial_t \Delta u + \sigma_1 \Delta u = 0$，作者将局部椭圆估计与抽象发展方程的正则性理论相结合，导出显含 $\sigma_1/\varepsilon$ 的定量控制。

4. 与之前工作的比较

本文与既有工作相比，在多个维度实现了实质性推进。首先，与物理文献 [13, 15] 相比，后者仅将 (2) 视为经验模型并用于数值模拟，未提供任何存在性或正则性证明；本文则首次为其建立了严格的数学基础。其次，与标准退化抛物方程理论（如 [7] 中的单调算子方法）相比，本文的退化性更深刻：传统理论通常要求主部为 $\partial_t u - \mathrm{div}(a(x)\nabla u)$ 形式，其退化仅影响二阶项，而本文的 $\partial_t \Delta u$ 结构导致时间导数作用于二阶空间导数，这迫使作者必须引入 $w = -\Delta u$ 这一非平凡的变量替换，而非直接对 $u$ 应用单调算子理论。第三，与混合边界条件的椭圆理论（如附录 A 引用的 [3]）相比，本文将该理论从静态问题成功拓展至动态问题，其关键在于将混合边界的约束“吸收”进 Hilbert 空间 $X$ 的定义中，并利用 $(-\Delta_{ND})^{-1}$ 的谱性质来控制抽象算子 $B$。第四，在正则性方面，本文超越了经典内蕴正则性理论（如 De Giorgi-Nash-Moser）的适用范围：后者要求方程在整个区域上具有一致椭圆性，而本文明确刻画了在 $\sigma \equiv 0$ 和 $\sigma \equiv \sigma_1 > 0$ 这两类不同区域内的正则性传播机制，并给出了显式的、依赖于 $\sigma_1/\varepsilon$ 的常数估计，这是以往工作所不具备的。代价在于，本文的解空间被限制在 $C^1([0,T]; H^1(\Omega))$，未能达到更高阶的时间正则性（如 $C^2$），这源于 $w$ 的初值 $\Delta(\omega - \tilde g)$ 仅属于 $X^*$，而要获得 $u''$ 需 $w'$ 的更高正则性，这需要更强的初始相容性条件（如 $\tilde g \in H^4$）。此外，本文未处理 $\sigma$ 的间断界面（如金刚石/石墨交界）上的奇性行为，该问题需借助界面追踪或分片光滑分析，作者未显式展开比较。

4. 具有消失粘性的旋转MHD系统的收敛速率

Convergence rates for a rotating MHD system with evanescent viscosity

作者: Frédéric Charve, Zhuoya Yao

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09354v1

摘要翻译: 本文研究一个考虑科里奥利力的MHD模型。此时，旋转强度由罗斯比数 $ε$（正数）刻画。在旋转很强（即当 $ε \to 0$）且运动学粘性以 $ε^α$（$α > 0$）速率趋于零的假设下，我们首先建立弱解的整体收敛性，进而证明强解的整体存在性与收敛性。特别地，为获得显式收敛速率所使用的Strichartz估计依赖于上述参数 $α$，并由此导出 $α$ 的一个容许区间。

Comment: 无

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

1. 研究对象和背景

本文研究如下带强旋转与消失粘性的三维不可压磁流体动力学（MHD）系统：

其中 $\varepsilon > 0$ 是Rossby数，表征地球自转强度；$e_3 = (0,0,1)$ 是垂直单位向量；$\alpha \in [0,1)$ 控制运动粘性系数 $\nu = \varepsilon^\alpha$ 的衰减速率；磁场 $b^\varepsilon$ 与速度 $u^\varepsilon$ 均为 $\mathbb{R}^3$ 上的向量场。该模型源于地核MHD动力学建模，是经典MHD系统在强旋转极限下的渐近约化形式——它保留了Coriolis力 $\varepsilon^{-1} e_3 \wedge u^\varepsilon$ 的奇异性，同时令粘性项 $\varepsilon^\alpha \Delta u^\varepsilon$ 随 $\varepsilon \to 0$ 消失，从而进入“准地转-低耗散”物理 regime。值得注意的是，与标准Navier–Stokes或MHD不同，(1.9) 中的磁场方程不含小参数乘子（其拉普拉斯项为 $-\Delta b^\varepsilon$，而非 $-\varepsilon^\beta \Delta b^\varepsilon$），故 $b^\varepsilon$ 不具备由尺度分离诱导的显式色散结构；而速度方程中 $\varepsilon^{-1}$ 项与 $\varepsilon^\alpha$ 项存在尖锐尺度竞争：前者驱动高频Rossby波振荡，后者削弱耗散阻尼，二者共同导致线性算子 $\partial_t - \varepsilon^\alpha \Delta - \mathcal{P}(\varepsilon^{-1} e_3 \wedge \cdot)$ 的谱结构严重依赖于 $\alpha$。该问题的核心数学挑战在于：当 $\varepsilon \to 0$ 时，如何在缺乏统一能量控制（因 $\varepsilon^\alpha \to 0$）、且磁场无固有色散的双重限制下，建立一致先验估计并量化收敛速率。已有工作如Desjardins–Dormy–Grenier [18]、Ngo [24]、Ahn–Kim–Lee [2] 等集中于 $b^\varepsilon$ 为 $e_3$ 小扰动的情形，并依赖 $\theta = \varepsilon^{-1/2}$ 等特定参数选择以激活Strichartz估计；而 [14] 考察了二维分量初值情形，但要求粘性恒定（即 $\alpha = 0$）且未给出全局收敛速率；[5] 和 [25] 分别处理了弱解渐近与局部时间收敛率，但 [25] 仅对常数初值获得长时存在性，且其收敛率非全局。本文旨在填补以下关键空白：（i）在 $\alpha > 0$ 下建立全局弱解的 $L^2_t L^r$ 收敛率，明确刻画 $\alpha$ 对可容许 $r$ 区间的制约；（ii）对磁场部分 $b^\varepsilon - e^{t\Delta} b_0$ 给出强 $L^p$ 收敛率，突破以往仅能控制 $b^\varepsilon$ 本身弱极限的局限；（iii）对强解，允许初值大小达 $\|u_{0,\varepsilon}\|_{\dot{H}^{1/2 \pm \delta}} \sim \varepsilon^{-\gamma}$（$\gamma > 0$）与 $\|b_{0,\varepsilon}\|_{H^{1/2+\delta}} \sim |\ln \varepsilon|^{1/2}$，远超传统 $O(\varepsilon)$ 小初值假设，且实现全局存在与显式速率同步成立。

2. 主要定理或主要结果

本文核心结果分为弱解与强解两部分，均严格依赖参数 $\alpha$ 的取值范围。

弱解结果（Theorem 1.1）：设 $\alpha \in [0, \frac{1}{14})$，定义

则对任意 $r \in (2, r_1(\alpha)) \cup (r_2(\alpha), 3)$，存在常数 $C, A_r, B_r$ 使得任意Leray弱解 $(u^\varepsilon, b^\varepsilon)$ 满足

进一步，对任意 $p \in (1, p(\alpha))$，存在区间 $I_p \subset (2, r_1(\alpha))$，使得对任意 $r \in I_p$，有

强解结果（Theorem 1.3，简化版）：设 $\delta \in (0, \frac{1}{3})$, $\gamma \in [0, \frac{\delta}{2})$, $\alpha \in [0, \frac{1}{8})$ 满足 $\alpha(\frac{3}{2} - \frac{\delta}{2}) + \gamma < \frac{\delta}{2}$，对任意 $C_0 > 0$ 与 $k \in (0,1)$，存在 $\varepsilon_0, m_0 > 0$（依赖于 $\delta, \gamma, \alpha, C_0, k$），使得当 $\varepsilon \leq \varepsilon_0$ 且初值满足

则系统 (1.9) 存在唯一全局强解 $(u^\varepsilon, b^\varepsilon)$，且满足

该估计表明：速度经 $\varepsilon^{\alpha/2}$ 缩放后与磁场对热流的偏差共同属于 $L^2_t L^\infty_x$，其收敛阶由 $\alpha$、正则性提升 $\delta$ 及初值增长指数 $\gamma$ 共同决定。

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

证明的核心障碍源于三重非平衡：（1）线性算子 $\mathcal{L}_\varepsilon = \partial_t - \varepsilon^\alpha \Delta - \mathcal{P}(\varepsilon^{-1} e_3 \wedge \cdot)$ 同时含大参数 $\varepsilon^{-1}$ 与小参数 $\varepsilon^\alpha$，其频域符号为 $i\tau + \varepsilon^\alpha |\xi|^2 + i \varepsilon^{-1} \xi \times e_3$，导致色散关系 $\tau \sim \varepsilon^{-1} |\xi_\perp|$（$\xi_\perp = (\xi_1, \xi_2)$）与耗散尺度 $\varepsilon^\alpha |\xi|^2$ 无法分离；（2）磁场方程 $\partial_t b^\varepsilon - \Delta b^\varepsilon + \cdots = 0$ 无 $\varepsilon$-小因子，故 $b^\varepsilon$ 本身不具 $\varepsilon$-尺度色散，无法直接应用Strichartz；（3）非线性项 $u^\varepsilon \cdot \nabla b^\varepsilon$ 等涉及速度与磁场的耦合，而二者正则性不匹配（速度需用 $\dot{B}^0_{r,2}$ 控制，磁场需 $L^p$）。作者的真正创新点在于构建一套分层适配的分析框架：

第一，针对速度的双尺度Strichartz分解：将 $u^\varepsilon = u^\varepsilon_1 + u^\varepsilon_2$ 拆分为齐次解 $u^\varepsilon_1$ 与非齐次解 $u^\varepsilon_2$，分别对应线性演化与非线性源项 $F = -\mathcal{P}(u^\varepsilon \cdot \nabla u^\varepsilon) + \mathcal{P}(b^\varepsilon \cdot \nabla b^\varepsilon)$。关键工具是引理2.12——一个为 $\nu = \varepsilon^\alpha$ 定制的Strichartz估计：对解 $v^\varepsilon_F$ 满足 $\partial_t v^\varepsilon_F - \varepsilon^\alpha \Delta v^\varepsilon_F + \mathcal{P}(\varepsilon^{-1} e_3 \wedge v^\varepsilon_F) = F_{\text{ext}}$，有

其中 $\sigma_1 = d + \frac{3}{2} - \frac{3}{r} - \frac{2}{p} + \theta(1 - \frac{2}{r})$。该估计的指数 $\varepsilon$ 幂次精确捕捉了 $\varepsilon^{-1}$ 色散与 $\varepsilon^\alpha$ 耗散的竞争：当 $\theta$ 增大（增强色散利用），$\varepsilon$ 幂次升高，但 $\theta$ 受制于 $r$ 的容许范围（如命题3.1中 $\theta_{r_1} = \min\{1, \frac{r_1 + 6}{2(r_1 - 2)}\}$），从而导出 $r$ 与 $\alpha$ 的联合约束 $\alpha < \frac{1}{14}$。

第二，磁场收敛的“热流校正法”：为克服 $b^\varepsilon$ 无色散，作者不直接估计 $b^\varepsilon$，而是考察误差 $\tilde{b}^\varepsilon = b^\varepsilon - e^{t\Delta} b_0$，其满足

右侧源项中，$e^{t\Delta} b_0$ 的高斯衰减性质（$\|e^{t\Delta} b_0\|_{L^p} \lesssim t^{-\frac{3}{2}(\frac{1}{2} - \frac{1}{p})} \|b_0\|_{L^2}$）被精细利用；而 $u^\varepsilon \cdot \nabla b^\varepsilon$ 等项通过前述 $u^\varepsilon$ 的 $L^2_t L^r$ 估计与 $b^\varepsilon$ 的 $L^\infty_t L^2_x$ 能量控制，结合插值（Proposition 2.8）和乘积估计（Proposition 2.9）完成闭环。

第三，强解的非局部算子技术：为处理 $\varepsilon^\alpha \to 0$ 下传统能量法失效的问题，作者在第4节引入非局部算子（如 $|D|^{\pm \delta}$），将初值正则性 $\dot{H}^{1/2 \pm \delta}$ 转化为对 $\varepsilon$-尺度的鲁棒控制。关键引理是Proposition 2.8的插值不等式：$\|u\|_{\dot{B}^s_{2,1}} \leq C \|u\|_{\dot{H}^{s-\alpha}}^{\frac{\beta}{\alpha+\beta}} \|u\|_{\dot{H}^{s+\beta}}^{\frac{\alpha}{\alpha+\beta}}$，它允许将 $\varepsilon^{-\gamma}$ 增长的初值“摊薄”到高低频两端，再通过 $\varepsilon$-加权的Gronwall型不等式吸收非线性累积效应。

4. 与之前工作的比较

本文相较既有工作实现了多维度实质性推进，代价与局限亦清晰可辨。

与 [14]（二维分量初值）比较：[14] 假设初值为 $u_0 = u_0^{(2D)} + u_0^{(3D)}$（其中 $u_0^{(2D)}$ 仅依赖 $x_1,x_2$），并证明极限系统为六分量2D-MHD，但其分析依赖粘性恒定（$\alpha = 0$）且未给出任何收敛速率。本文完全放弃二维结构假设，允许全三维任意初值，并首次在 $\alpha > 0$ 下建立全局收敛率（Theorem 1.1），且磁场收敛对象从 $b^\varepsilon$ 本身升级为 $b^\varepsilon - e^{t\Delta} b_0$（Remark 1.2），这本质上是将磁场极限识别为热流演化，物理意义更深刻。代价是需更强的 $\alpha < \frac{1}{14}$ 约束，且 $r$ 的容许区间 $r \in (2, r_1(\alpha)) \cup (r_2(\alpha), 3)$ 随 $\alpha$ 增大而收缩（例如 $\alpha = 0$ 时 $r_1(0) = 2$, $r_2(0) = 3$，区间退化为空集；$\alpha = \frac{1}{14}$ 时 $r_1 \approx 2.07$, $r_2 \approx 2.93$），反映了色散-耗散平衡的脆弱性。

与 [24, 2]（小扰动+Strichartz）比较：[24] 和 [2] 均设 $b^\varepsilon = e_3 + \theta b$ 且 $\theta \to 0$（如 $\theta = \varepsilon^{-1/2}$），通过放大磁场扰动来激活 $\varepsilon$-尺度色散。本文则坚持 $\theta = 1$（即 (1.9) 中 $b^\varepsilon$ 为原尺度磁场），彻底摆脱对磁场小扰动的依赖，适用范围更广（如适用于地核中强磁场背景）。但为此付出的代价是：必须引入更精细的 $\varepsilon$-加权Strichartz（引理2.12）并严格限定 $\alpha$ 范围，而 [24] 在 $\theta = \varepsilon^{-1/2}$ 下可处理更大的 $\alpha$。

与 [5, 25]（弱解渐近与局部速率）比较：[5] 证明了 $\varepsilon \to 0$ 时弱解收敛到2D-MHD，但未给出速率；[25] 对常数初值获得长时存在性及局部时间收敛率 $\|u^\varepsilon - u^{\text{lim}}\|_{L^2_t L^2_x} \lesssim \varepsilon^{1/2}$，但其方法无法推广至一般初值或全局时间。本文不仅将收敛率推广至全局时间（Theorem 1.1），且对速度与磁场分别给出 $L^2_t L^r$ 与 $L^p_t L^p_x$ 的显式速率，其指数 $B_r, N_r$ 显式依赖 $\alpha$ 与 $r$，揭示了参数敏感性。局限在于：这些速率在 $r \to 2^+$ 或 $r \to 3^-$ 时退化（因 $B_r \to 0$），且未达到 $L^\infty_t L^2_x$ 一致有界性（能量不守恒），这是 $\varepsilon^\alpha \to 0$ 的必然代价。

与经典旋转流体 [11] 比较：在 $b^\varepsilon \equiv 0$ 的极限下，(1.9) 退化为旋转Navier–Stokes。[11] 基于 $\nu = \varepsilon^\alpha$ 建立了 $\|u^\varepsilon\|_{\widetilde{L}^p_t \dot{B}^0_{r,2}} \lesssim \varepsilon^{\frac{\theta}{2}(1-2/r) - \alpha(1/p - \theta/2(1-2/r))}$，本文引理2.12正是对此的MHD适配，但新增的磁场耦合项迫使作者发展出 $u^\varepsilon_2$ 的独立估计（Proposition 3.2）及 $b^\varepsilon$ 的热流校正策略，这是纯流体工作中不存在的技术层次。

5. 基于线性二次型理论的抛物方程定量快速稳定化

Quantitative rapid stabilization for parabolic equations via the linear quadratic theory

作者: Shengquan Xiang, Yu Xiao, Can Zhang

类别: math.OC, math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09063v1

摘要翻译: 本文利用线性二次型（LQ）理论研究定量快速稳定化问题。具体而言，针对非自伴抛物方程，借助LQ理论，我们通过选取一类特殊代价泛函并结合定量可观测性不等式，导出了其定量快速稳定化结果。进一步地，该方法揭示了线性系统中定量快速稳定化与定量可观测性不等式之间的等价性。此外，我们将该框架应用于Navier–Stokes方程，并在非平凡稳态解附近建立了定量快速稳定化结果。最后，我们将该方法推广至自伴情形下的有限维反馈律。

Comment: 无

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

1. 研究对象和背景

本文研究的核心对象是定义在有界光滑区域 $\Omega \subset \mathbb{R}^d$ 上的非自伴抛物型控制方程

其中 $a \in L^\infty(\Omega)$，$b \in L^\infty(\Omega)^d$ 满足 $\operatorname{div} b \in L^\infty(\Omega)$，控制作用于非空开子集 $\omega \Subset \Omega$，$\chi_\omega$ 为其特征函数，控制输入 $u \in L^2(0, +\infty; L^2(\Omega))$。该方程生成一个 $C_0$-半群，解满足 $y \in C([0, +\infty); L^2(\Omega)) \cap L^2_{\mathrm{loc}}(0, +\infty; H^1_0(\Omega))$。

研究问题的本质是：给定任意大的衰减率 $\lambda > 0$，能否构造一个静态反馈律 $u = K_\lambda y$，使得闭环系统解满足

且对 $M_\lambda$ 给出显式、可计算的增长阶估计（即“定量”要求）。这区别于经典快速稳定化——后者仅断言对任意 $\lambda$ 存在某个 $M_\lambda < \infty$，但不提供其关于 $\lambda$ 的依赖性。本文特别关注非自伴情形（即 $b \neq 0$ 或 $a$ 非实常数），此时算子 $-\Delta + a + b\cdot\nabla$ 缺乏谱正交性与实谱结构，导致标准频域方法（如频率-Lyapunov法、模态分解）失效。已有工作 [2, 6] 已建立该模型的定性快速稳定化，但未给出 $M_\lambda$ 的定量刻画；而一维情形的定量结果（如Backstepping [10, 16]）无法推广至高维非自伴情形。因此，本文试图填补的关键空白是：在多维、非自伴、无谱结构假设下，建立首个具有显式 $M_\lambda = e^{C\sqrt{\lambda}}$ 增长阶的快速稳定化结果，并揭示其与可观测性不等式的深层等价性。

该问题的重要性体现在三方面：（1）应用层面：定量估计直接决定闭环系统的鲁棒性。例如，在扰动 $\varepsilon$ 下，稳定性要求 $\varepsilon M_\lambda < \lambda$，故若 $M_\lambda$ 增长过快（如 $e^{C\lambda}$），则允许扰动尺度急剧收缩；（2）理论层面：它连接了最优控制（LQ理论）、反问题（可观测性）与非线性控制（Navier–Stokes）；（3）技术层面：它迫使发展超越谱方法的新工具——本文选择将LQ框架与全局可观测性不等式深度耦合，而非依赖局部构造（如核函数或谱不等式），从而绕过非自伴算子的谱分析障碍。

2. 主要定理或主要结果

本文主要结果包含三个严格证明的定理：

定理 1.1（非自伴抛物方程的定量快速稳定化）：存在常数 $\tilde{C} = \tilde{C}(\Omega, d, \omega, a, b) > 0$，使得对任意 $\lambda > 1$，存在静态反馈算子 $K_\lambda \in \mathcal{L}(L^2(\Omega))$，使得闭环系统 (1.1)（取 $u = K_\lambda y$）的唯一解 $y$ 满足

且该反馈可显式表示为 $u = -\chi_\omega P_\lambda y$，其中 $P_\lambda \in \mathcal{L}(L^2(\Omega))$ 是算子Riccati方程的解：

定理 1.5（抽象等价性）：设抽象线性系统 $\partial_t y + A y + A_0 y = B u$ 满足文中假设（$A$ 自伴正定，$A_0$ 为低阶扰动，$B$ 为控制算子）。则该系统是 $e^{O(\lambda^{p/(1+p)})}$-快速稳定化的（即存在 $C>0$ 使 $M_\lambda \leq e^{C \lambda^{p/(1+p)}}$）当且仅当它是 $e^{O(1/T^p)}$-可观测的，即对任意 $T \in (0,1)$，其伴随系统解 $\phi$ 满足

定理 1.7（Navier–Stokes方程在非平凡稳态附近的定量快速稳定化）：设 $y_e$ 为二维Navier–Stokes稳态解。存在常数 $C = C(\Omega, \omega, y_e) > 0$，使得对任意 $\lambda > 1$，存在反馈 $K_\lambda \in \mathcal{L}(H, L^2(\Omega)^2)$，且对任意初值 $y_0$ 满足 $\|y_0 - y_e\|_H \leq e^{-C\sqrt{\lambda}}$，闭环系统 (1.11)（取 $u = K_\lambda(y - y_e)$）存在唯一强解 $(y,p)$，并满足

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

证明的核心障碍在于：非自伴算子 $-\Delta + a + b\cdot\nabla$ 缺乏谱分解与正交基，导致所有依赖特征函数展开或谱不等式（如Lebeau–Robbiano型）的定量方法失效。作者的真正创新点是构建了一个基于加权LQ最优控制与全局可观测性不等式的间接论证框架，完全规避了谱分析。具体而言，该框架由三个关键技术环节构成：

1. 加权LQ问题的重构与尺度匹配：为捕获 $e^{-\lambda t}$ 衰减，作者引入时间加权空间 $W_\lambda$ 和 $L^2_\lambda$，并将原问题转化为等价的无加权问题 (2.3)–(2.4)。关键在于选择成本泛函中状态项为 $\|\nabla z(t)\|^2_{L^2(\Omega)}$（对应 $\alpha = 1/2$），而非经典低增益泛函（$\alpha = 0$）。这一选择至关重要：它使得能量估计能直接导出下界 $\Phi_2(y_0) \geq \tilde{C}_2 \|y_0\|^2_{L^2(\Omega)}$（引理 2.4），而低增益泛函无法获得此下界（见 Remark 2.5）。

2. 可观测性不等式驱动的上界构造：上界估计（引理 2.2）不依赖任何显式构造，而是通过将定量可观测性不等式 (1.2) $\|\phi(0)\|_{L^2} \leq e^{C/T} \|\phi\|_{L^2((0,T)\times\omega)}$ 与对偶原理结合，得到小时间零控 $\|u\|_{L^2((0,T)\times\Omega)} \leq e^{C/\sqrt{\lambda}} \|y_0\|_{L^2}$（取 $T = 1/\sqrt{\lambda}$，引理 2.1）。将此控制零延拓至 $[0,\infty)$，并代入加权成本泛函，即得 $\Phi_1(y_0) \leq e^{\tilde{C}_1 \sqrt{\lambda}} \|y_0\|^2_{L^2}$。此处的尺度关系 $T = \lambda^{-1/2}$ 是最优的：它平衡了可观测性指数 $e^{C/T}$ 与加权泛函中 $e^{2\lambda T}$ 的增长，确保上界为 $e^{C\sqrt{\lambda}}$。

3. Riccati算子范数的定量控制：由LQ理论（引理 2.6），最优成本满足 $\Phi_2(y_0) = \frac{1}{2} \langle P_\lambda y_0, y_0 \rangle$，故 $\|P_\lambda\|_{\mathcal{L}(L^2)} = \sup_{\|y\|_{L^2}\leq 1} |\langle P_\lambda y, y \rangle| \leq 2 e^{\tilde{C}_1 \sqrt{\lambda}}$。结合下界 $\tilde{C}_2 \|z^*(t)\|^2_{L^2} \leq \Phi_2(z^*(t)) \leq \Phi_2(y_0)$，即可推出 $\|z^*(t)\|_{L^2} \leq \tilde{C}_2^{-1} e^{\tilde{C}_1 \sqrt{\lambda}} \|y_0\|_{L^2}$。再经逆变换 $y(t) = e^{-\lambda t} z^*(t)$，最终获得目标估计 (1.5)。整个框架的枢纽是：可观测性不等式提供了上界，能量估计提供了下界，二者共同夹逼出Riccati算子的精确增长阶 $e^{C\sqrt{\lambda}}$。

4. 与之前工作的比较

本文与既有工作的差异体现在四个根本维度：

1. 与Backstepping类方法比较：[10, 16] 对一维方程建立了定量快速稳定化，其核心是构造Volterra/Fredholm核并估计其 $L^\infty$ 范数，得到 $M_\lambda = e^{C\lambda}$。但此类构造严重依赖一维空间结构和ODE技巧，无法推广至多维或非自伴情形。本文则完全放弃显式构造，转而利用全局可观测性（适用于任意维、任意非自伴系数），获得更优的 $M_\lambda = e^{C\sqrt{\lambda}}$，代价是失去核函数的解析表达。

2. 与频率-Lyapunov法比较：[42, 43] 在自伴热方程中，通过低频谱不等式 $\|\phi\|_{L^2} \leq e^{C/T} \|\phi\|_{L^2((0,T)\times\omega)}$ 结合高频Lyapunov函数，得到 $M_\lambda = e^{C\sqrt{\lambda}}$。但该方法本质依赖自伴算子的谱正交性与Weyl渐近律，对非自伴情形失效。本文将同一增长率推广至非自伴情形，但不再需要谱信息，而是用Carleman估计导出的可观测性不等式（文献 [14, 15]）作为替代，适用范围更广，代价是无法处理边界控制（当前仅适用于内部控制）。

3. 与经典LQ理论比较：Lasiecka–Triggiani [22] 及Barbu–Wang [4, 6] 的LQ框架仅给出定性稳定化（$M_\lambda < \infty$），未量化其增长。本文的关键推进在于：将LQ理论与可观测性不等式的定量形式深度绑定，首次从LQ框架中导出显式 $M_\lambda$。这揭示了LQ理论的定量潜力，而此前该潜力仅在有限维或特殊无限维系统中被发掘。

4. 与弱可观测性方法比较：[29, 38] 建立了弱可观测性不等式与（定性）快速稳定化的等价性，但未明确参数依赖。本文的定理 1.5 将此等价性升级为定量版本：$e^{O(\lambda^{p/(1+p)})}$-稳定化 $\iff$ $e^{O(1/T^p)}$-可观测性。这不仅澄清了 [29] 中未明确的参数关系，还为未来通过序列弱不等式推导定量结果提供了新路径（见 Remark 1.6）。然而，本文的等价性目前仅针对特定加权LQ框架，尚未覆盖所有稳定化机制，这是其局限性。

6. 临界 Fourier-Herz-Lorentz 空间中分数阶 Navier-Stokes-Boussinesq 方程组的整体温和解

Global Mild solutions for the fractional Navier-Stokes-Boussinesq equations in critical Fourier-Herz-Lorentz spaces

作者: Diego Chamorro, Maxence Mansais

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09185v1

摘要翻译: 本文在某些临界 Fourier-Herz 空间中构造了受迫分数阶 Navier-Stokes-Boussinesq 系统的整体（in time）温和解，这些空间将基于时间变量与频率变量上的 Lorentz 范数。对初始数据与外力项，我们将考虑同样基于 Lorentz 空间的 Fourier-Besov 空间。此外，通过分别研究速度场与温度场，我们将证明：在 Fourier-Besov-Lorentz 框架下，初始速度场所能取的函数空间可以达到其中最大的一个。

Comment: 无

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

1. 研究对象和背景

本文研究如下 $ d \geq 2 $ 维分数阶不可压Navier-Stokes-Boussinesq系统：

其中 $ 1 < \alpha < 2 $，$ \vec{u}: [0,+\infty) \times \mathbb{R}^d \to \mathbb{R}^d $ 为速度场，$ \theta: [0,+\infty) \times \mathbb{R}^d \to \mathbb{R} $ 为温度场，$ p $ 为压力，$ \vec{f} $ 为外力，$ \vec{e}_d = (0,\dots,0,1) \in \mathbb{R}^d $。分数拉普拉斯算子定义为傅里叶乘子：$ \mathcal{F}\big[ (-\Delta)^{\alpha/2} \phi \big](\xi) = |\xi|^\alpha \widehat{\phi}(\xi) $。该系统建模地球物理流体（如大气与海洋）中由浮力驱动的对流现象，其数学结构兼具非线性输运、分数耗散与耦合机制三重挑战。

关键未知量为 $ (\vec{u}, \theta) $；压力 $ p $ 可通过 Leray 投影 $ \mathbb{P} = \mathrm{Id} + \nabla (-\Delta)^{-1} \mathrm{div} $ 消去，得到等价积分形式：

该系统具有自然尺度不变性：若 $ (\vec{u}, \theta) $ 是解，则对任意 $ \lambda > 0 $，缩放函数

亦为解，对应初始数据 $ \vec{u}_{0,\lambda}(x) = \lambda^{\alpha-1} \vec{u}_0(\lambda x) $、$ \theta_{0,\lambda}(x) = \lambda^{2\alpha-1} \theta_0(\lambda x) $、外力 $ \vec{f}_\lambda(t,x) = \lambda^{2\alpha-1} \vec{f}(\lambda^\alpha t, \lambda x) $。由此导出临界齐次指标：速度初值应属于齐次空间 $ \dot{B}^{-(\alpha-1)}_{p,q} $ 型，温度初值属 $ \dot{B}^{-(2\alpha-1)}_{p,q} $ 型，外力属 $ L^p_t \dot{F}^s_{L^q_\xi} $ 型。经典临界理论（如 $ L^d $、$ \dot{H}^{d/2-1} $、$ \dot{B}^{d/p-1}_{p,q} $）在处理分数耗散 $ \alpha \neq 2 $ 时面临正则性损失与非局部效应的双重障碍；而现有文献（如 [6] 使用抛物型 Morrey 空间）尚未在傅里叶侧建立适用于强耦合系统的临界洛伦茨框架。本文旨在填补这一空白：构建基于傅里叶变量的临界洛伦茨型空间体系，使初值、外力与解均满足精确尺度不变性，并允许初值处于目前已知最大的傅里叶-贝索夫型空间之一——特别是针对速度初值，突破传统 $ L^1_\xi $ 或 $ L^q_\xi $ 框架，进入更广义的 $ \dot{B}^{-(\alpha-1),\infty}_{L^1_\xi} $ 空间。

2. 主要定理或主要结果

定理 1：设 $ 1 < \alpha < 2 $，$ d \geq 2 $，参数 $ 1 < p, q < +\infty $，$ 1 < \tilde{p}, \tilde{q} < +\infty $，$ s \in \mathbb{R} $ 满足

其中 $ 2 < p < +\infty $，$ 1 < q < 2 $，$ 1 < \tilde{p}' < \tilde{p} < \tilde{p} $，$ \tilde{q} \leq \tilde{q} < \tilde{q}' $，$ 1 < \tilde{p} < \tilde{p} $，$ \tilde{q} \leq \tilde{q} < +\infty $。若 $ \vec{u}_0 \in \dot{B}^{-\alpha/p,\infty}_{L^{q,\infty}_\xi}(\mathbb{R}^d) $ 且 $ \mathrm{div}\, \vec{u}_0 = 0 $，$ \theta_0 \in \dot{B}^{-\alpha/\tilde{p},\infty}_{L^{\tilde{q},\infty}_\xi}(\mathbb{R}^d) $，$ \vec{f} \in L^{\tilde{p},\infty}_t([0,+\infty), F^s_{L^{\tilde{q},\infty}_\xi}(\mathbb{R}^d)) $，且小量条件

成立（$ \varepsilon_0 > 0 $ 充分小），则存在唯一整体 mild 解 $ (\vec{u}, \theta) $ 满足

定理 2（改进型）：设 $ d \geq 2 $，$ 1 < \alpha < 2 $。若 $ \vec{u}_0 \in \dot{B}^{-(\alpha-1),\infty}_{L^1_\xi}(\mathbb{R}^d) $ 且 $ \mathrm{div}\, \vec{u}_0 = 0 $，$ \theta_0 \in \dot{B}^{-\alpha/\tilde{p},\infty}_{L^{\tilde{q},\infty}_\xi}(\mathbb{R}^d) $ 满足 $ \frac{\alpha}{\tilde{p}} + \frac{d}{\tilde{q}'} = 2\alpha - 1 $ 且 $ 1 < \alpha < \tilde{p} < \frac{\alpha}{\alpha-1} $，$ \vec{f} \in L^{\tilde{p},\infty}_t([0,+\infty), F^s_{L^{\tilde{q},\infty}_\xi}(\mathbb{R}^d)) $ 满足 $ \frac{\alpha}{\tilde{p}} + \frac{d}{\tilde{q}'} - s = 2\alpha - 1 $，$ 1 < \tilde{p} < \frac{\alpha}{\alpha-1} $，$ 1 < \tilde{q} < +\infty $，$ 0 \leq s < \frac{d}{\tilde{q}'} $，且小量条件

成立（$ \varepsilon_1 > 0 $ 充分小），则存在唯一整体 mild 解 $ (\vec{u}, \theta) $ 满足

特别地，由命题 1.1，有嵌入 $ \dot{B}^{-\alpha/p,\infty}_{L^{q,\infty}_\xi} \subset \dot{B}^{-(\alpha-1),\infty}_{L^1_\xi} $，故定理 2 的初值空间严格大于定理 1 中对应的速度初值空间。

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

核心障碍在于：（1）分数耗散核 $ e^{-t|\xi|^\alpha} $ 在低频无衰减、高频快速衰减，导致标准 $ L^p $ 估计失效；（2）洛伦茨空间 $ L^{q,\infty} $ 上卷积不满足 Young 不等式 $ \|f * g\|_{L^{p,\infty}} \lesssim \|f\|_{L^{1,\infty}} \|g\|_{L^{p,\infty}} $（反例见 Remark 2.1），迫使作者放弃 $ L^{1,\infty}_\xi $ 而采用更小但具有良好卷积性质的 $ L^1_\xi $；（3）速度与温度方程具有不同临界指标（$ \alpha-1 $ vs $ 2\alpha-1 $），无法共用同一空间，需分离处理以最大化初值容许性。

真正创新点在于构造并系统运用傅里叶-赫兹-洛伦茨空间族：定义 $ \dot{B}^{s,p}_{L^{q,\infty}_\xi} $ 为

及时间-空间混合空间 $ L^{p,\infty}_t(F^s_{L^{q,\infty}_\xi}) $ 满足

该框架的关键技术是频率块分解与洛伦茨范数逐块控制：对初值估计 $ \|e^{-t|\xi|^\alpha} \widehat{\vec{u}_0}\|_{L^{q,\infty}_\xi} $，利用 $ \{2^j \leq |\xi| < 2^{j+1}\} $ 的互斥覆盖，将分布函数拆解为

再结合 $ \dot{B}^{-\alpha/p,\infty}_{L^{q,\infty}_\xi} $ 定义中的逐块控制 $ \| \mathbf{1}_{\{2^j \leq |\xi| < 2^{j+1}\}} \widehat{\vec{u}_0} \|_{L^{q,\infty}} \leq \|\vec{u}_0\|_{\dot{B}^{-\alpha/p,\infty}_{L^{q,\infty}_\xi}} 2^{j\alpha/p} $，最终导出关键衰减估计

该估计在 $ L^{p,\infty}_t $ 范数下恰得常数界，是固定点论证的基础。另一核心技术是分离变量分析框架：利用命题 1.1 的嵌入 $ \dot{B}^{-\alpha/p,\infty}_{L^{q,\infty}_\xi} \subset \dot{B}^{-(\alpha-1),\infty}_{L^1_\xi} $，将速度初值提升至 $ L^1_\xi $ 基础上的最大临界空间，从而启用更强的卷积不等式（2.7）$ \|f * g\|_{L^{p,\infty}} \lesssim \|f\|_{L^1} \|g\|_{L^{p,\infty}} $，绕过 $ L^{1,\infty} $ 的病态性；而温度仍保留在 $ L^{\tilde{q},\infty}_\xi $ 以匹配其更高临界指标。整个证明依赖于引理 3.1 的抽象 Banach 压缩映射框架，其成功关键在于上述所有估计的常数独立于时间，且满足 $ C_L < 1/3 $、$ \delta < 1/(9C_B) $ 的严格阈值。

4. 与之前工作的比较

与既有工作相比，本文在三个维度实现推进：

（1）空间框架维度：此前 [6] 在抛物型 Morrey 空间 $ \mathcal{M}^{p,q} $ 中构造整体解，其优势在于可处理非临界初值，但缺乏傅里叶侧的精细频率分辨能力；而本文首次在傅里叶-赫兹-洛伦茨空间中建立临界理论，直接操控 $ \widehat{\vec{u}} $ 和 $ \widehat{\theta} $ 的衰减与奇异性，使尺度不变性在傅里叶侧显式实现。附录 B 明确指出，$ L^{\alpha/(\alpha-1),\infty}_t(L^1_\xi) $ 与 [6] 的 Morrey 空间无包含关系，二者属互补而非嵌套框架。

（2）初值容许性维度：经典结果（如 [2],[18]）通常要求 $ \vec{u}_0 \in \dot{B}^{d/p-1}_{p,q} $（$ p < d $）或 $ \dot{H}^{d/2-1} $，隐含 $ \widehat{\vec{u}_0} \in L^1_\xi $ 局部可积性；本文定理 2 将初值空间放宽至 $ \dot{B}^{-(\alpha-1),\infty}_{L^1_\xi} $，其典型元满足 $ |\widehat{\vec{u}_0}(\xi)| \sim |\xi|^{-(\alpha-1)} $（当 $ |\xi| \to 0 $），比 $ L^1_\xi $ 更奇异（因 $ \int_{|\xi|<1} |\xi|^{-(\alpha-1)} d\xi = +\infty $ 当 $ \alpha > 1 $），故为目前已知最大的傅里叶侧速度初值空间。该推进以牺牲外力参数范围为代价：定理 2 要求 $ \tilde{p} < \alpha/(\alpha-1) $（如 $ \alpha = 3/2 $ 时 $ \tilde{p} < 3 $），而定理 1 允许 $ \tilde{p} > 2 $，二者适用外力类型互斥。

（3）模型完备性维度：现有文献（如 [2],[7],[10]-[12],[16]-[18],[20]）研究的 Navier-Stokes-Boussinesq 系统均未考虑外力项 $ \vec{f} $；本文首次在临界框架下纳入非零外力，并为其指定精确的 $ L^{\tilde{p},\infty}_t(F^s_{L^{\tilde{q},\infty}_\xi}) $ 正则性要求，其中参数 $ s $ 由尺度不变性唯一确定为 $ s = \alpha/\tilde{p} + d/\tilde{q}' - (2\alpha - 1) $。此推广对地球物理应用至关重要，因真实大气海洋系统受持续风应力、辐射强迫等外源驱动。

局限性在于：（i）仍未解决 $ \dot{B}^{-(\alpha-1),\infty}_{L^{1,\infty}_\xi} $ 的可行性问题（作者明确指出其不适用于固定点论证）；（ii）未涉及解的唯一性在更大空间中的延拓（即弱-强唯一性）；（iii）对 $ \alpha = 2 $ 的经典情形未做退化验证，从提供内容中无法确认其是否自然涵盖。

7. 二维不可压欧拉方程在临界 Besov 空间中的强不适定性

Strong Ill-posedness of the 2d Incompressible Euler Equation in Critical Besov Spaces

作者: Karim R. Shikh Khalil

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.08924v1

摘要翻译: 我们证明了二维不可压欧拉方程在速度场属于临界 Besov 空间 $B^{1}_{

Comment: 无

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

1. 研究对象和背景

本文研究二维不可压欧拉方程初值问题在临界Besov空间 $B^{1}_{\infty,q}(\mathbb{R}^2)$（$1 < q < \infty$）中的适定性。该方程的标准形式为

其中 $u : [0,T) \times \mathbb{R}^2 \to \mathbb{R}^2$ 为速度场，$p$ 为压力项，由不可压条件隐式确定。等价地，在二维情形下可引入涡量 $\omega = \nabla^\perp \cdot u = \partial_1 u_2 - \partial_2 u_1$，则方程化为输运形式：

此处 $\nabla^\perp = (-\partial_2, \partial_1)$，且 $\Delta^{-1}$ 通过牛顿势定义：$\psi = \Delta^{-1} \omega$ 满足 $\Delta \psi = \omega$，进而 $u = \nabla^\perp \psi$。关键未知量是速度场 $u$ 在临界正则性尺度下的行为，特别是其 $B^{1}_{\infty,q}$ 范数的长时间演化性质。

该问题的重要性源于三重背景：其一，$B^{1}_{\infty,q}$ 是欧拉方程适定性理论中的一个“临界阈值”。经典结果表明：当 $u_0 \in C^{1,\alpha}$ 或 $B^{1}_{\infty,1}$ 时，解全局存在唯一（Vishik [38], Pak–Park [36]）；而当 $u_0 \in C^1$ 或 $B^{1}_{\infty,\infty} \cong \mathrm{Lip}$ 时，已知存在强不适定性（Bourgain–Li [4], Elgindi–Masmoudi [18]）。但 $B^{1}_{\infty,q}$（$1<q<\infty$）恰好位于这两者之间——它比 $B^{1}_{\infty,1}$ 更弱（因 $\ell^1 \subsetneq \ell^q \subsetneq \ell^\infty$），又比 $B^{1}_{\infty,\infty}$ 更强；其嵌入关系 $B^{1}_{\infty,q} \subset \mathrm{LL}_{1-1/q}$（Log-Lipschitz型空间）进一步表明，此空间仍保证涡量 $\omega$ 的有界性不必然成立，但 Vishik [39] 已证在此空间中解仍唯一。因此，该空间构成一个精细的“正则性缺口”，其适定性状态直接决定欧拉方程在最弱可能意义下是否仍具确定性动力学。

其二，从函数空间理论看，$B^{1}_{\infty,q}$ 是 Sobolev 嵌入链 $W^{1,p} \hookrightarrow B^{1}_{p,q} \hookrightarrow B^{1}_{\infty,q}$ 的终点（$p \to \infty$ 极限），也是 Littlewood–Paley 分解中频率截断 $\|\Delta_j \nabla u\|_{L^\infty} \sim 2^j \|\Delta_j u\|_{L^\infty}$ 的自然承载空间。其范数由有限差分定义：对 $s=1$, $p=\infty$, $1\le q<\infty$，

这一定义凸显了空间对梯度振荡与大小的双重敏感性——不同于 $B^{1}_{\infty,1}$（对高频振荡抑制强），也不同于 $B^{1}_{\infty,\infty}$（仅控制最大梯度），$B^{1}_{\infty,q}$ 的 $\ell^q$ 求和特性使其能区分不同类型的奇异性结构。

其三，已有工作虽已覆盖大量空间，但对此临界 Besov 端点 $p=\infty$ 的处理仍属空白。Bourgain–Li [4] 的强不适定性结果适用于 $B^{d/p+1}_{p,q}$（$1<p<\infty$），但明确将 $p=\infty$ 留为开放问题（见 Khesin–Misiołek–Shnirelman [28] 中问题7）；而 Vishik [38] 的适定性结果止步于 $B^{2/p+1}_{p,1}$（$1<p<\infty$），亦未延拓至 $p=\infty$。因此，本文旨在填补这一关键空白：严格证明当 $u_0 \in B^{1}_{\infty,q}$（$1<q<\infty$）时，解映射在任意小时间尺度内发生范数爆炸，从而确立该空间中的强不适定性。

2. 主要定理或主要结果

本文核心结论为如下定理：

定理（$B^{1}_{\infty,q}$ 中的强不适定性）：对任意 $\delta > 0$、$1 < q < \infty$ 及 $0 < \alpha < 1$，存在初始速度 $u_{0}^{\delta,\alpha,q} \in C^{1,\alpha}(\mathbb{R}^2)$，满足

但其对应的二维欧拉方程解 $u(t)$ 在时间尺度 $T(\alpha) = c \alpha^{1-1/q} \log(c|\log \alpha|)$ 内（其中常数 $c>0$ 独立于 $\alpha$）满足

特别地，取 $\alpha \to 0^+$，则 $T(\alpha) \to 0$ 且右端趋于无穷，这严格实现了“强不适定性”定义：即存在任意小初值（在 $B^{1}_{\infty,q}$ 范数意义下），其解在任意短时间后范数无界增长。推论进一步指出，该初值可取为光滑函数 $u_0 \in C^\infty(\mathbb{R}^2)$，保持相同结论。

该结果的关键技术细节包括：（1）时间尺度 $T(\alpha)$ 显式依赖于 $q$，其衰减速率 $\alpha^{1-1/q}$ 精确刻画了 $q$ 对动态刚性的调制作用；（2）范数增长阶为双对数型 $\log|\log \alpha|$，远超线性或多项式增长，反映非线性共振的极端敏感性；（3）初值构造基于两类具有相同 $B^{1}_{\infty,q}$ 范数但梯度结构迥异的函数：一类为 $f(r) = \alpha^{-1/k} r(1-r^\alpha)$（大梯度、低振荡），另一类为 $g(r) = r^{1+\alpha} \sin(\alpha^{1-1/k} \log r)$（有界梯度、高振荡），二者均满足 $\|f\|_{B^{1}_{\infty,q}}, \|g\|_{B^{1}_{\infty,q}} \sim \alpha^{1-1/q-1/k}$；（4）最终初值取为涡量叠加 $\omega_0 = \omega_A + \omega_D$，其中 $\omega_A(r,\theta) = \alpha^{1/q} r^\alpha \sin(2\theta)$ 生成双曲流，$\omega_D(r,\theta) = r^\alpha \sin(\alpha^{1/q} \log r) \sin(2\theta)$ 提供径向振荡结构，其相互作用导致 $\|u(t)\|_{B^{1}_{\infty,q}}$ 在 $t \sim T(\alpha)$ 时刻被放大 $\alpha^{-(1-1/q)}$ 倍。

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

证明的核心障碍在于：在 $B^{1}_{\infty,q}$ 中，标准能量估计与紧性方法完全失效——该空间既非自反、亦不嵌入任何 $L^p$（$p<\infty$），且其对数型振荡结构无法被 Sobolev 或 Hölder 方法捕捉。作者的真正创新点在于构建了一套“物理空间—频域混合”的分析框架，包含三个递进层次的技术突破。

第一，Besov 范数量化近似方案：摒弃传统 Littlewood–Paley 分解，转而采用基于有限差分的物理空间定义，并设计两类 Hölder 型试探函数族：$f_\alpha(r) = \alpha^{-1/k} r(1-r^\alpha)$ 与 $g_\alpha(r) = r^{1+\alpha} \sin(\alpha^{1-1/k} \log r)$。通过精细计算其二阶差分 $\Delta_h^2 f_\alpha$ 与 $\Delta_h^2 g_\alpha$，作者严格证明（引理4.1–4.2）：对任意 $1\le q<\infty$，

此估计的关键在于：当 $k=2$ 时，$\|f_\alpha\|_{B^{1}_{\infty,2}} \sim 1$（与 $\alpha$ 无关），而 $\|f_\alpha\|_{B^{1}_{\infty,q}} \to 0$（$q>2$）或 $\to \infty$（$q<2$），从而将 $q$ 的影响精确编码为幂律因子。这一方案首次将 Besov 范数的 $\ell^q$ 结构与函数的振荡频率 $\alpha^{1-1/k}$ 直接关联，为后续构造提供定量基础。

第二，Biot–Savart 分解主导项提取：针对欧拉方程的非局部性，作者采用 Elgindi [13] 的极坐标 Biot–Savart 分解（命题2.1）：对紧支涡量 $\omega$，其流函数可写为 $\psi(r,\theta) = r^2 \Psi(r,\theta)$，其中

且余项 $\Psi_r$ 满足 $\|\Psi_r\|_{C^\alpha} \le c \|\omega\|_{C^\alpha \cap \dot{C}^{1,\alpha}}$。作者敏锐指出：在临界正则性下，$L_{12}^s$ 与 $L_{12}^c$ 承载了主导动力学，而 $\Psi_r$ 仅贡献 Hölder 连续的低阶修正。由此导出主阶模型（3.5）：

其本质是保留双曲剪切流 $\dot{r} = -2r L_{12}^s \cos(2\theta), \dot{\theta} = 2 L_{12}^s \sin(2\theta)$ 的精确特征线结构。此模型剥离了全方程中所有高阶耦合项，使非线性共振机制得以孤立分析。

第三，双尺度引导的 Bootstrap 控制：对主阶模型，作者建立两项关键估计：（i）上界引理5.1：假设 $|L_{12}^s(\Omega)(t)|_{L^\infty} \le 10c \alpha^{-(1-1/q)}$，则通过特征线分析与积分估计，可推出更优上界 $|L_{12}^s(\Omega)(t)|_{L^\infty} \le c \alpha^{-(1-1/q)}$，从而在时间 $T(\alpha) = c \alpha^{1-1/q} \log(c|\log \alpha|)$ 内完成 Bootstrap；（ii）下界命题5.15：利用 $\omega_0$ 的叠加结构，证明在特征线上，$\Omega$ 的角向振荡项 $\sin(2\theta)$ 与径向振荡项 $\sin(\alpha^{1/q} \log r)$ 发生相位锁定，导致 $L_{12}^s(\Omega)$ 的积分核被放大 $\alpha^{-(1-1/q)}$ 倍。最终，通过扰动论证（第7–8节），将主阶模型的范数爆炸传递至全欧拉方程，其误差项被证明在 $B^{1}_{\infty,q}$ 中可控，代价是损失一个对数因子。

4. 与之前工作的比较

本文与既有工作存在四个维度的本质差异：

1. 空间尺度的端点突破：Bourgain–Li [4] 的强不适定性适用于 $B^{d/p+1}_{p,q}$（$1<p<\infty$），但其证明严重依赖 $p<\infty$ 下的 Littlewood–Paley 投影有界性及 $L^p$ 插值，无法延拓至 $p=\infty$。本文首次攻克 $p=\infty$ 端点，其技术核心（物理空间有限差分近似）完全绕开频域工具，转而利用 $B^{1}_{\infty,q}$ 的内在几何结构（振荡频率与尺度耦合）。这直接回答了 [28] 中问题7，且表明 $q$ 的取值（而非仅 $p$）是决定临界行为的独立参数。

2. 时间尺度的精化刻画：此前所有强不适定性结果（如 [4, 18, 15]）仅给出存在性时间 $T>0$，未量化其对正则性参数的依赖。本文首次获得显式时间尺度 $T(\alpha) = c \alpha^{1-1/q} \log(c|\log \alpha|)$，揭示 $q$ 的物理意义：当 $q \to 1^+$，$T(\alpha) \sim \alpha^{0} \log|\log \alpha| = \log|\log \alpha|$（与 Remark 1.2 一致，此时 $B^{1}_{\infty,1}$ 适定，故时间不趋于零）；当 $q \to \infty$，$T(\alpha) \sim \alpha^{1} \log|\log \alpha|$，趋近于 $C^1$ 不适定性的尺度。这表明 $q$ 实质上调控着“正则性耗散速率”。

3. 不适定性机制的深化：早期工作（如 [4]）依赖高维剪切流或整数阶空间的构造，其机制为“梯度爆炸”。本文则揭示一种新型机制：振荡-拉伸共振。初值涡量 $\omega_0 = \omega_A + \omega_D$ 中，$\omega_A$ 生成双曲流（$\dot{r}/r \sim -\dot{\theta} \cot(2\theta)$），而 $\omega_D$ 的径向振荡 $\sin(\alpha^{1/q} \log r)$ 在拉伸下转化为角向振荡 $\sin(2\theta)$，二者耦合产生 $\sin(\alpha^{1/q} \log r) \cos(2\theta)$ 型项，最终导致速度梯度的 Besov 范数被 $\alpha^{-(1-1/q)}$ 放大。此机制在 $B^{1}_{\infty,1}$ 中被 $\ell^1$ 求和抑制，但在 $\ell^q$（$q>1$）中得以累积。

4. 代价与局限：本文的代价是初值需具备特定对称性（$\sin(2\theta)$ 模式）及紧支性，尚未推广至一般 $B^{1}_{\infty,q}$ 初值；此外，证明依赖于二维极坐标下的 Biot–Savart 分解，其三维推广尚不明确。作者未显式展开与 [39]（$B^{1}_{\infty,q}$ 中唯一性）的兼容性讨论，但从结果可知：唯一解存在，但解映射在 $B^{1}_{\infty,q}$ 中不连续（Hadamard 意义下的不适定），这与 Cheskidov–Shvydkoy [8] 在 Besov 空间的连续性失效结果形成互补。

8. 关于 Besov-Morrey 空间中的乘积估计及 Hall-MHD 与 Navier-Stokes 系统的定常解

On product estimates in Besov-Morrey spaces and stationary solutions for the Hall-MHD and Navier-Stokes systems

作者: Lucas C. F. Ferreira, Rafael P. da Silva

类别: math.AP

发布日期: 2026-06-07

arXiv ID: 2606.08877v1

摘要翻译: 本文在尺度不变的 Besov-Morrey 空间框架下，研究三维定常不可压电阻-粘性 Hall 磁流体力学（Hall-MHD）系统的适定性。我们分析的一个关键环节是推导此类空间中的乘积估计，该估计对处理系统中的非线性项至关重要。作为应用，我们还在该框架下建立了定常 Navier-Stokes 方程的适定性结果，从而拓宽了外力项与解所允许的函数类。

Comment: 26 pages

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

1. 研究对象和背景

本文研究三维定常不可压电阻-粘性Hall磁流体动力学（Hall-MHD）系统

其中未知量 $ u = u(x) \in \mathbb{R}^3 $、$ B = B(x) \in \mathbb{R}^3 $ 分别为速度场与磁场，$ \phi = \phi(x) \in \mathbb{R} $ 为标量压力，$ f_1, f_2 $ 为给定外力，$ \mu > 0 $、$ \nu > 0 $ 为动力粘性系数与磁阻率，$ h > 0 $ 为无量纲Hall参数。该系统建模电导流体（如等离子体、地核流体、中子星内部），其物理核心在于Hall电流项 $ h J \times B $（其中 $ J = \nabla \times B $），导致非线性项 $ -h \nabla \times ((\nabla \times B) \times B) $ 出现在动量方程第二式中。与经典MHD（$ h = 0 $）相比，该系统丧失整体尺度不变性：因Lorentz力 $ -(\nabla \times B) \times B $ 在第一式中具有齐次度 $ -3 $，而Hall项在第二式中仅具齐次度 $ -2 $，二者无法通过单一缩放 $ x \mapsto \lambda x $ 同时保持形式不变。为此，作者采用Danchin–Tan [18] 提出的扩展系统策略：引入电流密度 $ J = \nabla \times B $，并利用 $ \mathrm{div}\, B = 0 $ 得 $ B = \mathrm{curl}^{-1} J := (-\Delta)^{-1} \nabla \times J $，从而将(1.1)重写为尺度不变的扩展系统

其尺度变换律为 $ (u,B,J)(x) \mapsto \lambda (u,B,J)(\lambda x) $，$ \phi(x) \mapsto \lambda^2 \phi(\lambda x) $，$ (f_1,f_2,\nabla \times f_2)(x) \mapsto \lambda^3 (f_1,f_2,\nabla \times f_2)(\lambda x) $，与定常Navier-Stokes方程 $ -\mu \Delta u + (u \cdot \nabla)u + \nabla \phi = f $，$ \mathrm{div}\, u = 0 $ 的临界尺度完全一致。研究对象的核心困难在于：(i) Hall项 $ \nabla \times ((\nabla \times B) \times B) $ 包含三重微分与双线性耦合，无法用标准Besov空间乘积估计控制；(ii) 定常问题缺乏时间衰减机制，必须依赖精细的函数空间嵌入与临界正则性刻画；(iii) 现有文献中针对Hall-MHD的定常解存在性结果极为稀少，仅有Tan等[48]在齐次Besov空间 $ \dot{B}^{3/p-3}_{p,1} \times \dot{B}^{3/p-3}_{p,r} $ 中建立小数据适定性，但未处理Morrey型奇异性（如点源、分形支撑外力）。本文旨在填补这一空白：在更广义的尺度不变Besov-Morrey空间 $ N^s_{p,q,r} $ 框架下，建立(1.1)的适定性理论。该空间由Kozono–Yamazaki [31] 引入，定义为 $ N^s_{p,q,r}(\mathbb{R}^n) = \left\{ u \in \mathcal{S}'_h : \|u\|_{N^s_{p,q,r}} := \left\| \left\{ 2^{sj} \|\Delta_j u\|_{M^p_q} \right\}_{j \in \mathbb{Z}} \right\|_{\ell^r(\mathbb{Z})} < \infty \right\} $，其中 $ M^p_q $ 为Morrey空间 $ \|u\|_{M^p_q} = \sup_{x_0 \in \mathbb{R}^n, R > 0} R^{n/p - n/q} \left( \int_{B_R(x_0)} |u|^q \, dx \right)^{1/q} $。关键优势在于：当 $ q < p $ 时，$ N^s_{p,q,r} \supsetneq \dot{B}^s_{p,r} $，从而允许外力 $ f_1, f_2 $ 具有更强的局部奇异性（例如 $ |x|^{-3} $ 型奇点或分形测度支撑），而经典Besov空间无法容纳。因此，本文试图推进的空白是：构建适用于Hall-MHD定常解的、能同时处理尺度不变性、强非线性耦合与奇异外力的统一分析框架，其技术瓶颈集中于Besov-Morrey空间中针对 $ uv $、$ \nabla \times (u \times v) $ 等结构的乘积估计。

2. 主要定理或主要结果

本文在临界Besov-Morrey空间中建立了两个核心适定性定理。定理1.5：设 $ 1 \leq q \leq p < \infty $，$ 1 \leq r \leq 2 $，若满足 $ p < 3/2 $ 或 $ 3/2 \leq p < 3 $ 且 $ q \geq (p+1)/2 $，则定常Hall-MHD系统(1.1)在映射 $ Y \to X $ 下适定，其中解空间 $ X = \left\{ (u,B) \in N^{3/p-1}_{p,q,1} \times N^{3/p-1}_{p,q,r} : \nabla \times B \in N^{3/p-1}_{p,q,1}, \, \mathrm{div}\, u = \mathrm{div}\, B = 0 \right\} $，数据空间 $ Y = \left\{ (f_1,f_2) \in N^{3/p-3}_{p,q,1} \times N^{3/p-3}_{p,q,r} : \nabla \times f_2 \in N^{3/p-3}_{p,q,1}, \, \mathrm{div}\, f_2 = 0 \right\} $，范数分别为 $ \|(u,B)\|_X = \|u\|_{N^{3/p-1}_{p,q,1}} + \|B\|_{N^{3/p-1}_{p,q,r}} + \|\nabla \times B\|_{N^{3/p-1}_{p,q,1}} $ 与 $ \|(f_1,f_2)\|_Y = \|f_1\|_{N^{3/p-3}_{p,q,1}} + \|f_2\|_{N^{3/p-3}_{p,q,r}} + \|\nabla \times f_2\|_{N^{3/p-3}_{p,q,1}} $。适定性含义依定义2.13：存在 $ \epsilon, C_0 > 0 $，使得对任意 $ \|(f_1,f_2)\|_Y < \epsilon $，存在唯一解 $ \|(u,B)\|_X < C_0 \epsilon $，且解映射Lipschitz连续。定理1.6（推广至 $ n $ 维）：设 $ n \geq 3 $，$ 1 \leq q \leq p < \infty $，$ 1 \leq r \leq \infty $，若满足 $ p < n/2 $ 或 $ n/2 \leq p < n $ 且 $ q \geq (3p+n)/(2n) $，则定常Navier-Stokes方程 $ -\mu \Delta u + (u \cdot \nabla)u + \nabla \phi = f $，$ \mathrm{div}\, u = 0 $ 在映射 $ N^{n/p-3}_{p,q,r} \to N^{n/p-1}_{p,q,r} $ 下适定。两个定理均依赖于两个关键乘积估计：命题1.1指出，对 $ n \geq 2 $，$ 1 \leq q \leq p < n $，$ s \in \mathbb{R} $，有 $ \|uv\|_{N^{n/p-1}_{p,q,r}} \leq C \|u\|_{N^{n/p-1}_{p,q,r}} \|v\|_{N^{n/p}_{p,q,\infty} \cap L^\infty} $，特别地，当 $ v \in N^{n/p}_{p,q,1} $ 时，$ \|uv\|_{N^{n/p-1}_{p,q,r}} \leq \tilde{C} \|u\|_{N^{n/p-1}_{p,q,r}} \|v\|_{N^{n/p}_{p,q,1}} $；命题1.2指出，对 $ n \geq 3 $，$ 1 \leq q \leq p < \infty $，$ 1 \leq r,r_1,r_2 \leq \infty $ 满足 $ 1/r = 1/r_1 + 1/r_2 $，且在 $ p < n/2 $ 或 $ n/2 \leq p < n $ 且 $ q \geq (3p+n)/(2n) $ 下，有 $ \|uv\|_{N^{n/p-2}_{p,q,r}} \leq C \|u\|_{N^{n/p-1}_{p,q,r_1}} \|v\|_{N^{n/p-1}_{p,q,r_2}} $。这些估计的参数范围（特别是 $ q $ 的下界条件）是证明中确保Littlewood-Paley块间相互作用收敛所必需的精确阈值。

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

证明的核心障碍在于：Hall-MHD系统中非线性项 $ J \times B $ 与 $ \nabla \times ((u - hJ) \times B) $ 在Besov-Morrey空间中无法直接应用标准乘积估计，因其涉及不同正则性指标的耦合（如 $ J \in N^{3/p-1}_{p,q,1} $，$ B \in N^{3/p-1}_{p,q,r} $，$ r \neq 1 $）以及高阶微分算子作用。作者的真正创新点在于构建了一套适配Besov-Morrey空间结构的Bony分解精细化估计体系，并首次确立了命题1.1与1.2中所需的、覆盖完整参数范围的乘积不等式。具体而言，方法分为三层：第一层是Morrey空间基础工具的强化。引理2.3(ii)给出Morrey空间的Hölder型乘积不等式 $ \|u_1 u_2\|_{M^p_q} \leq \|u_1\|_{M^{p_1}_{q_1}} \|u_2\|_{M^{p_2}_{q_2}} $，要求 $ 1/p = 1/p_1 + 1/p_2 $ 且 $ 1/q \geq 1/q_1 + 1/q_2 $；引理2.4给出Young卷积不等式 $ \|u_0 * u\|_{M^p_q} \leq \|u_0\|_{L^1} \|u\|_{M^p_q} $。这些是后续所有估计的基石。第二层是Besov-Morrey空间上Bony分解的逐块控制。作者将乘积 $ uv $ 分解为 $ T_u v + T_v u + R(u,v) $，并分别估计各部分在 $ N^s_{p,q,r} $ 范数下的行为。关键突破在于引理3.1：对 $ \|T_u v\|_{N^s_{p,q,r}} $，作者利用 $ \|S_{j-2} u\|_{L^\infty} \leq C \|u\|_{L^\infty} $（引理2.7）与 $ \|\Delta_j v\|_{M^p_q} $ 的 $ \ell^r $ 范数，得到 $ \|T_u v\|_{N^s_{p,q,r}} \leq C \|u\|_{L^\infty} \|v\|_{N^s_{p,q,r}} $；而对 $ \|R(u,v)\|_{N^s_{p,q,r}} $，作者需结合引理2.3(ii)与Littlewood-Paley块的频域支撑特性，推导出 $ \|R(u,v)\|_{N^{n/p-2}_{p,q,r}} \leq C \|u\|_{N^{n/p-1}_{p,q,r_1}} \|v\|_{N^{n/p-1}_{p,q,r_2}} $，此步严格依赖于参数条件 $ q \geq (3p+n)/(2n) $ 以保证 $ 1/q \geq 2/q_1 $ 的可行性。第三层是算子理论的精巧嫁接。为处理 $ \nabla \times (u \times v) $，作者将之视为傅里叶乘子算子 $ P $，其符号 $ m(\xi) = i \xi \times $ 满足Mikhlin-Hörmander条件（引理2.12），从而 $ \|P w\|_{N^s_{p,q,r}} \leq C \|w\|_{N^{s-1}_{p,q,r}} $。最终，将非线性项 $ J \times B $ 和 $ \nabla \times ((u - hJ) \times B) $ 分解为Bony项后，利用命题1.1与1.2，结合线性算子 $ (-\Delta)^{-1} \nabla \times $ 和 $ (-\Delta)^{-1} \nabla $ 在 $ N^s_{p,q,r} $ 上的有界性（由引理2.12保证），将整个系统转化为抽象不动点方程 $ (u,B,J) = \mathcal{L}(f_1,f_2,\nabla \times f_2) + \mathcal{B}((u,B,J),(u,B,J)) $，再应用引理2.14（压缩映射推论）完成证明。整个框架的独创性在于：将Morrey空间的局部奇异性控制、Besov空间的频率分解能力、以及Hall项特有的代数结构三者深度融合，而非简单移植已有技术。

4. 与之前工作的比较

本文与既有工作的比较可从四个维度展开。第一，与经典Besov空间工作[29,48]相比，本文显著放宽了外力的正则性要求。Tan等[48]在 $ \dot{B}^{3/p-3}_{p,1} \times \dot{B}^{3/p-3}_{p,r} $ 中建立适定性，而本文定理1.5在更大的 $ N^{3/p-3}_{p,q,1} \times N^{3/p-3}_{p,q,r} $ 中实现，且由[31]知 $ \dot{B}^s_{p,r} \hookrightarrow N^s_{p,q,r} $ 为严格嵌入（当 $ q < p $），这意味着本文允许外力具有Morrey型奇异性，例如 $ f_1(x) = |x|^{-3} \chi_{B_1(0)}(x) \in N^{0}_{3,1,1} \setminus \dot{B}^{0}_{3,1} $，此类函数在经典Besov空间中不可积。第二，与Morrey空间工作[32]相比，本文提升了正则性刻画的精度。Kozono–Yamazaki[32]在Morrey空间 $ M^3_q $ 中研究定常NS，但未涉及临界尺度或Hall-MHD；本文则将Morrey结构嵌入Besov框架，获得 $ N^{3/p-1}_{p,q,r} $ 这一兼具频率局部化与局部可积性双重特性的空间，能更精细地区分不同奇异性强度。第三，与Besov-Lorentz-Morrey工作[22]相比，本文拓展了适用范围。[22]在 $ N^{n/p-1}_{p,q,r} $ 中处理定常Boussinesq方程，但其参数限制为 $ n/2 < p < n $，而本文定理1.6将范围扩大至 $ p < n/2 $ 或 $ n/2 \leq p < n $ 且 $ q \geq (3p+n)/(2n) $，覆盖了更多物理相关情形（如 $ p=2 $ 对应能量临界）。第四，与非定常Hall-MHD工作[17,18,24]相比，本文克服了定常问题特有的技术代价。非定常情形可利用时间衰减（如 $ e^{-t\Delta} $ 的平滑效应）缓解非线性，而本文必须完全依赖空间正则性；为此，作者付出了参数约束的代价：命题1.2中 $ q \geq (3p+n)/(2n) $ 是为控制Bony余项 $ R(u,v) $ 所必需，若 $ q $ 过小，则Morrey嵌入 $ M^p_q \hookrightarrow L^{p^*} $ 失效，导致 $ \ell^r $ 范数无法闭合。此外，本文未处理大初值或全局Liouville型问题[11,13]，亦未涉及数值计算或物理模拟，其贡献纯粹在于函数空间层面的理论推进。综上，本文并非对前人结果的简单推广，而是通过构造新的乘积估计与空间框架，在Hall-MHD定常解理论中开辟了一条能同时容纳强奇异性、强非线性与尺度不变性的新路径。

9. 关于Brezis公开问题3.1

On Brezis Open Problem 3.1

作者: Qi Guo, Xueping Huang, Yi C. Huang, Fanghua Lin, Juncheng Wei

类别: math.AP, math.DG

发布日期: 2026-06-07

arXiv ID: 2606.08648v1

摘要翻译: 设 $B_1$ 为 ${\mathbb R}^2$ 中的单位圆盘。我们考虑调和映射方程

并施加Dirichlet边界条件 $ u(e^{iθ})=(R\cosθ,R\sinθ,\sqrt{1-R^2}):=g_R$，其中 $0<R<1$，且 $u: B_1\to {\mathbb S}^2$ 在弱调和映射意义下理解。1983年，Brezis与Coron证明了该非线性Dirichlet问题存在两个显式解，并指出它们分别是各自相对同伦类中的唯一极小元。

Comment: 20 pages; We give a confirmative answer to Brezis’ Open Problem 3.1; any comment is welcome

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

1. 研究对象和背景

本文研究二维单位圆盘 $B_1 = \{z = x + iy \in \mathbb{R}^2 : |z| < 1\}$ 上取值于单位球面 $\mathbb{S}^2 \subset \mathbb{R}^3$ 的弱调和映射 $u: B_1 \to \mathbb{S}^2$，其满足如下外在形式的调和映射方程与 Dirichlet 边界条件：

其中 $0 < R < 1$。该边界数据 $g_R$ 是 $\mathbb{S}^2$ 上一条纬度圆（latitude circle），以恒定速率 $|\partial_\theta g_R| = R$ 沿逆时针方向绕行一周，其投影到赤道平面 $x_3 = 0$ 上为半径为 $R$ 的圆周。由于 $u$ 取值于球面，约束 $|u| = 1$ 导致欧拉–拉格朗日方程出现非线性源项 $|\nabla u|^2 u$，即张力场 $\tau(u) = \Delta u + |\nabla u|^2 u$ 的零化。

该问题具有深刻的几何与变分背景。1983年，Brezis 与 Coron 在经典论文 [2] 中构造了两个显式解 $u_+$ 与 $u_-$（见下文），并证明它们分别是相对同伦类 $[u]_{\text{rel}} \in \pi_2(\mathbb{S}^2, g_R(\partial B_1)) \cong \mathbb{Z}$ 中度数为 $+1$ 与 $-1$ 的能量极小元；更精确地，它们是 Dirichlet 能量泛函

在对应相对同伦类中的唯一极小元。然而，该变分分类仅控制能量极小元，而无法排除存在其他临界点（即非极小的调和映射）的可能性——因为二维中弱 $H^1$ 收敛下可能发生气泡现象（bubbling），导致相对度数在极限过程中丢失，故极小性不蕴含全局唯一性。这一根本性空白被 Brezis 在其《最喜爱的公开问题列表》[1] 中列为 Open Problem 3.1：是否对任意 $R \in (0,1)$，边界迹为 $g_R$ 的弱调和映射仅有 $u_+$ 与 $u_-$？换言之，是否存在非极小的、非平凡的临界点？

该问题的重要性在于它触及调和映射理论的核心张力：变分方法（极小化）与分析方法（临界点分类）之间的鸿沟。若存在额外临界点，则意味着即使在最简单的拓扑非平凡边界条件下，调和映射的能量景观仍具复杂性；反之，若唯一性成立，则揭示了纬度圆边界所诱导的某种深层刚性结构，超越传统同伦/度数分类。值得注意的是，这种唯一性在更高绕数（如 $g_{k,R}(\theta) = (R\cos k\theta, R\sin k\theta, \sqrt{1-R^2})$, $|k| \ge 2$）或非凸边界数据下不成立：Brezis–Coron、Soyeur、Qing、Kuwert、Pierre 等人已构造出多重解 [2, 27, 21, 20, 16, 19]，表明 $k=\pm 1$ 的“一次绕行”是唯一性可能成立的关键阈值。因此，本文旨在填补这一长达四十余年的空白，确立 $k=1$ 纬度圆边界的刚性唯一性，并揭示其背后的几何分析机制。

2. 主要定理或主要结果

定理 1.1（主唯一性定理）：设 $0 < R < 1$，若 $u \in H^1(B_1; \mathbb{S}^2)$ 是满足边界迹 $u|_{\partial B_1} = g_R$ 的弱调和映射，则必有 $u \equiv u_+$ 或 $u \equiv u_-$，其中两个显式解在极坐标 $(r,\theta)$ 下为

且参数 $\rho = R / (1 + \sqrt{1 - R^2}) \in (0,1)$。在南极为极点的球极投影 $\pi_S: \mathbb{S}^2 \setminus \{S\} \to \mathbb{C}$ 下，二者分别对应 $w_+(z) = \rho z$ 与 $w_-(z) = \rho / \bar{z}$。

推论 1.2（H-系统唯一性）：设 $Y \in C^2(B_1; \mathbb{R}^3) \cap C^1(\overline{B_1}; \mathbb{R}^3)$ 是共形浸入，满足 $-\Delta Y = Y_x \wedge Y_y$ 且其单位法向量在边界上满足 $\nu_Y(1,\theta) = g_R^\sigma(\theta + \phi)$，其中 $g_R^\sigma(\theta) = (R\cos\theta, R\sin\theta, \sigma \sqrt{1-R^2})$，$\sigma = \pm 1$，$\phi \in \mathbb{R}$，则存在平移 $a \in \mathbb{R}^3$ 使得 $Y = a + Z^\sigma \circ R_\phi$，其中 $Z^+$ 与 $Z^-$ 是由 $u_+, u_-$ 构造的标准化模型盘。

关键中间结论（边界刚性）：对任意光滑解 $u$，其径向导数与切向导数在边界上满足

由此可得 Hopf 标量 $q(z) = u_z \cdot u_z$ 在单位圆周上恒为零：$q(e^{i\theta}) \equiv 0$。结合 $q$ 的全纯性（引理 2.2），即得 $q \equiv 0$ 在整个 $B_1$ 上成立，从而 $u$ 是弱共形的（即 $|u_x| = |u_y|$ 且 $u_x \cdot u_y = 0$ 几乎处处成立）。此刚性结论不依赖于 $u$ 是否为极小元，而是由边界数据 $g_R$ 的特定几何（一次绕行纬度圆）所强制。

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

证明的核心障碍在于：如何从仅知边界迹 $g_R$ 和调和映射方程出发，排除所有非共形的临界点可能性。传统能量估计、极大值原理或拓扑度方法在此失效，因前者无法控制非极小临界点，后者在弱收敛下不连续。作者的根本创新在于构建一个精密的“边界刚性论证链”，将代数几何量（投影面积）、分析恒等式（Pohozaev）与几何不等式（等周）三者精确耦合，迫使 Hopf 微分在边界上严格消失。

第一，引入辅助势 $X: B_1 \to \mathbb{R}^3$，定义为 $X_x = -u \times u_y$, $X_y = u \times u_x$。此 $X$ 是由调和映射方程 $\Delta u = -|\nabla u|^2 u$ 所保证的闭 1-形式 $\omega = (-u \times u_y)dx + (u \times u_x)dy$ 的原函数（引理 3.1 前）。关键洞察在于：$X$ 的边界曲线 $\Gamma(\theta) = X(e^{i\theta})$ 的水平投影 $\gamma(\theta) = (X_1, X_2)(e^{i\theta})$ 具有精确的代数面积 $\operatorname{Area}_{\text{alg}}(\gamma) = \pi R^2$（引理 3.2）。此面积由边界数据 $g_R$ 的绕数直接决定，与 $u$ 的内部行为无关。

第二，建立投影长度与径向导数的联系。引理 3.1 给出 $|\Gamma_\theta| = |u_r|$ 与 $|\gamma_\theta|^2 = |u_r|^2 - (u_r \cdot u_\theta)^2$，将问题转化为对 $|u_r|$ 和 $u_r \cdot u_\theta$ 的边界点态控制。

第三，运用 Pohozaev 恒等式（引理 2.3）：对任意光滑解，有 $\int_0^{2\pi} |u_r(1,\theta)|^2 \, d\theta = 2\pi R^2$。此恒等式源于 Hopf 微分 $q(z)$ 的全纯性及其在单位圆上的积分性质。

第四，应用平面等周不等式（引理 3.3）：对任意闭 $C^1$ 曲线 $\sigma$，有 $\operatorname{Length}(\sigma)^2 \ge 4\pi |\operatorname{Area}_{\text{alg}}(\sigma)|$，且等号成立当且仅当 $\sigma$ 是匀速圆周。将此应用于 $\gamma$，得 $L_h^2 \ge 4\pi^2 R^2$。

第五，刚性链的闭合：记 $L = \operatorname{Length}(\Gamma)$, $L_h = \operatorname{Length}(\gamma)$。由投影 1-Lipschitz 性，$L_h \le L$；由 Cauchy–Schwarz 与 Pohozaev，$L^2 \le 2\pi \int |u_r|^2 = 4\pi^2 R^2$。联立得 $4\pi^2 R^2 \le L_h^2 \le L^2 \le 4\pi^2 R^2$，故所有不等式取等。等号强制：(i) Cauchy–Schwarz 等号 $\Rightarrow |u_r|$ 为常数，结合 Pohozaev 得 $|u_r| \equiv R$；(ii) 投影长度等号 $\Rightarrow |\gamma_\theta| = |\Gamma_\theta|$ 点态成立 $\Rightarrow u_r \cdot u_\theta \equiv 0$。由此，Hopf 标量在边界上 $q(e^{i\theta}) = \frac{1}{4}(|u_r|^2 - R^2 - 2i u_r \cdot u_\theta) \equiv 0$。全纯性推出 $q \equiv 0$ 全局成立。

最后，共形分类：$q \equiv 0$ 意味着 $u$ 弱共形。利用南极为极点的球极投影 $w = \pi_S \circ u$，在边界邻域（因 $g_R$ 避开南极，故 $w$ 光滑）上，$w$ 满足 $\det Dw = J_w$ 符号恒定（由 $u_r \cdot u_\theta \equiv 0$ 与 $|u_r| \equiv R > 0$ 保证），故 $w$ 局部为全纯或反全纯。结合边界条件 $w(e^{i\theta}) = \rho e^{i\theta}$，得 $w = \rho z$ 或 $w = \rho / \bar{z}$，再由解析延拓至全盘。

4. 与之前工作的比较

本文与既有工作存在本质性推进，主要体现在四个维度：

（1）问题范畴的根本性扩展：Brezis–Coron [2] 的工作仅证明 $u_\pm$ 是各自相对同伦类中的能量极小元，其证明依赖于变分方法与相对度数的稳定性。本文则解决了其遗留的开放问题：证明 $u_\pm$ 是所有弱调和映射（即所有临界点）的完全分类。这超越了变分框架，进入纯粹的临界点分析领域。正如原文 Remark (2) 明确指出：“这不是相对度数理论的形式推论……在二维中，相对度数可能在弱 $H^1$ 收敛下通过气泡现象丢失”，故本文的刚性论证是必要且全新的。

（2）技术假设的显著放宽：此前关于调和映射唯一性的结果多要求边界数据为测地圆（geodesic circle）或具有高对称性（如 $R=1$ 对应赤道），或需额外的小能量假设。本文对任意 $R \in (0,1)$ 的纬度圆均成立，且未施加任何小参数或能量控制条件。特别地，原文 Remark (5) 指出，端点 $R=1$ 亦适用（此时 $g_1$ 为赤道，$w_\theta = i e^{i\theta}$，Hopf 刚性依然成立），而 $R=0$（退化为单点）则失效，凸显了“一次绕行非退化”的关键性。

（3）适用范围与局限的明确界定：本文结论不适用于更高绕数（$|k| \ge 2$）。原文 Remark (4) 明确对比：Brezis–Coron、Soyeur 等人的工作 [2, 27, 21] 已证明，对 $g_{k,R}$，当 $|k|$ 足够大时，存在多重解，甚至无穷多解。因此，本文的唯一性是 $k=\pm 1$ 这一特定拓扑情形的精细刻画，其代价是结论不具备一般性；其价值恰恰在于精确定位了唯一性成立的临界阈值。

（4）方法论的范式转换：以往工作（如 [2, 20, 21]）主要依赖变分法、比较原理或对称性破缺分析。本文则开创性地融合了微分几何（辅助势 $X$ 的构造与 Ruh–Vilms 定理背景）、复分析（Hopf 微分全纯性）、等周几何（代数面积不等式）与实分析（Pohozaev 恒等式），形成一个自洽的刚性论证闭环。特别是，将边界数据的代数绕数（$\pi R^2$）与 Pohozaev 恒等式的右端（$2\pi R^2$）通过等周不等式桥接，是此前文献中未见的技巧。这种“几何量精确匹配导致点态刚性”的思路，为处理其他具有特定对称性边界的临界点问题提供了新范式。从提供内容中无法确认该方法是否可直接推广至高维球面或其它目标流形，但其核心思想——利用边界数据的精确几何不变量驱动全局刚性——具有启发性。

10. 可压静力大气中含相变的湿度动力学

Moisture Dynamics with Phase Changes in a Compressible Hydrostatic Atmosphere

作者: Lin Ma, Tarek Zöchling

类别: math.AP

发布日期: 2026-06-07

arXiv ID: 2606.08518v1

摘要翻译: 本文建立了含相变的可压湿大气原始方程组的严格适定性结果。该模型将可压原始方程与一个描述水汽、云水和雨水的总体微物理模型耦合，包含了蒸发、凝结、自转化、碰并和沉降效应。对充分接近常数平衡态的初始数据，证明了全局强适定性。

Comment: 无

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

1. 研究对象和背景

本文研究的是一个耦合了可压缩非等温原始方程与三组分云微物理模型的大气系统，其核心对象是定义在柱状域 $\Omega = \mathbb{T}^2 \times (0,1)$ 上的未知函数五元组 $(\rho_d, v, T, q_v, q_c, q_r)$，其中 $\rho_d > 0$ 是干空气密度，$v = (v_1,v_2) \in \mathbb{R}^2$ 是水平速度，$T > 0$ 是绝对温度，$q_v, q_c, q_r \ge 0$ 分别是水汽、云水和雨水的混合比（即 $q_j = \rho_j / \rho_d$）。该系统由以下闭合方程组描述（在归一化参数下，见(2.2)）：

其中 $u = (v,w)$，$Q_m := 1 + q_v + q_c + q_r$，$q_{vs} = q_{vs}(p,T)$ 是饱和混合比（满足 $q_{vs}(p,T) = 0$ 当 $T \le T_A$ 或 $T \ge T_B$；且 Lipschitz 连续、非负有界），$(\cdot)_+$ 表示正部函数，$V_r > 0$ 是给定的雨水终端沉降速度，$\mathcal{L}_H v = \mu \Delta v + (\mu + \lambda) \nabla_H \mathrm{div}_H v$ 是水平 Lamé 算子。边界条件为 $\partial_z v|_{z=0,1} = w|_{z=0,1} = 0$（无滑移垂直边界），以及 $\partial_z T|_{z=0,1} = \partial_z q_j|_{z=0,1} = 0$（Neumann 型热/湿度边界）。

该模型的关键物理结构在于：(i) 水平方向保留原始方程形式，但垂直方向采用准静力平衡 $\partial_z p = -g \rho_d Q_m$，而非动量方程；(ii) 压力通过含水汽的湿理想气体定律 $p = \rho_d (1 + q_v) T$ 封闭；(iii) 总密度 $\rho = \rho_d Q_m$ 包含所有水相，但仅水汽贡献压力；(iv) 相变源项 $S_{ev}, S_{cd}, S_{ac}, S_{cr}$ 具有非光滑“开关”结构（如 $(q_v - q_{vs})_+$），导致系统在相变临界面处丧失经典可微性；(v) 垂直速度 $w$ 不满足演化方程，而是由连续性方程与准静力约束联合诊断得出，即 $w$ 是 $\rho_d, T, q_j, v$ 的非线性非局部泛函（见(2.13)）。

这一设定在数学上极具挑战性：首先，准静力约束与可压缩性耦合导致压力 $p$ 和干空气密度 $\rho_d$ 都依赖于所有变量 $T, q_j$，且具有非局部积分表示（见(2.6)–(2.8)）；其次，“开关项”的存在使得源项仅具 $W^{1,\infty}$ 正则性，无法承载 $H^2$ 空间中的二阶导数估计；第三，在三维空间中 $H^1$ 不构成乘法代数，致使非线性项 $q_j \partial_z v$、$(q_v - q_{vs})_+ q_c$ 等难以控制；第四，传统压力坐标变换虽能简化垂直结构，但会丢失物理表面压力 $p_s(t,x,y)$ 的演化，而本文坚持在物理高度坐标中处理，必须显式追踪 $p_s$ 并处理其与 $\rho_d$ 的强耦合。因此，已有理论结果大多局限于：(a) 速度场预先给定（如 [23,25]）；(b) 在压力坐标下建模（如 [4,9,10,11,24]）；(c) 不含相变或仅单组分水汽（如 [11,29]）；(d) 可压缩但非准静力（如 [6,7,15]）；(e) 准静力但不可压缩或等温（如 [8,46]）。本文旨在填补这一关键空白：在物理高度坐标下，对含完整三组分相变微物理的可压缩准静力原始方程系统，建立小初值全局强适定性理论。

2. 主要定理或主要结果

定理3.2（全局强适定性）：设 $\tau > 0$，常数平衡态 $\rho_d^* > 0$、$T^* > 0$ 满足 $q_{vs}(p^*, T^*) = 0$（即处于未饱和区）。若初始数据 $(\rho_{d,0}, v_0, T_0, q_{v,0}, q_{c,0}, q_{r,0})$ 满足假设3.1（即属于 $H^2$ 类并满足一阶相容性条件），且其相对于平衡态的扰动范数满足 $$ |\rho_{d,0} - \rho_d^|{H^2(\mathbb{T}^2)} + |v_0|{H^2(\Omega)} + |T_0 - T^|{H^2(\Omega)} + \sum{j\in{v,c,r}} |q_{j,0}|_{H^2(\Omega)} \

• |\partial_t \rho_d|{t=0}|{H^1(\mathbb{T}^2)} + |\partial_t v|{t=0}|{H^1(\Omega)} + |\partial_t T|{t=0}|{H^1(\Omega)} + \sum_{j\in{v,c,r}} |\partial_t q_j|{t=0}|{H^1(\Omega)} \le \varepsilon^2,
  $$ 则存在 $\varepsilon_0 = \varepsilon_0(\tau, \rho_d^*, T^*, \Omega) > 0$，使得对任意 $\varepsilon \in (0, \varepsilon_0)$，系统(2.14)（即以 $\rho_d, v, T, q_j$ 为预报变量的重写形式）在 $[0,\tau] \times \Omega$ 上存在唯一强解，且满足如下正则性： $$
  \rho_d \in H^1(0,\tau; H^2(\mathbb{T}^2)) \cap H^2(0,\tau; L^2(\mathbb{T}^2)), \ v \in H^1(0,\tau; H^2(\Omega; \mathbb{R}^2)) \cap L^2(0,\tau; H^3(\Omega; \mathbb{R}^2)) \cap H^2(0,\tau; L^2(\Omega; \mathbb{R}^2)), \ T \in H^1(0,\tau; H^2(\Omega)) \cap L^2(0,\tau; H^3(\Omega)) \cap H^2(0,\tau; L^2(\Omega)), \ q_j \in H^1(0,\tau; H^2(\Omega)) \cap L^2(0,\tau; H^3(\Omega)) \cap H^2(0,\tau; L^2(\Omega)), \quad j \in {v,c,r}.
  $$ 进一步，由诊断公式 $\rho_d = \rho_d \hat{B}(T,q_v,q_c,q_r)$、$p = \rho_d(1+q_v)T$ 及(2.13)定义的 $w$，则 $(\rho_d, u=(v,w), p, T, q_v, q_c, q_r)$ 构成原始系统(2.2)的唯一强解。此外，解保持正性与有界性： $$
  \frac{\rho_d^* \hat{B}(T^)(z)}{2} \le \rho_d(t,x,y,z) \le \frac{3 \rho_d^ \hat{B}(T^)(z)}{2}, \quad \frac{T^}{2} \le T(t,x,y,z) \le \frac{3 T^*}{2}, $$ 其中 $\hat{B}(T^*)(z) = \exp(-z/T^*) / \left(T^* (1 - \exp(-1/T^*))\right)$ 是平衡态下的垂直分布函数。该结果本质上是小初值情形下的全局存在唯一性，时间尺度为任意 $\tau < \infty$，且解在 $H^2$-类空间中一致有界，不发生有限时间爆破。

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

证明的核心障碍源于三重耦合：(1) 准静力约束导致 $w$ 无独立演化方程，仅为诊断量，其表达式(2.13)涉及 $\hat{B}$ 的垂直积分与时间导数，造成高阶导数传递困难；(2) 开关项 $(\cdot)_+$ 仅 Lipschitz 连续，其弱导数为特征函数乘以原函数梯度（即 $\nabla (f_+) = \mathbf{1}_{\{f>0\}} \nabla f$），导致源项 $S_j$ 无法属于 $H^2(\Omega)$，迫使所有非线性估计必须在 $H^1$ 空间进行；(3) 在三维柱形域中，$H^1$ 不是乘法代数，故 $H^1$ 范数无法直接控制 $q_j \partial_z v$ 等乘积项。

作者的真正创新点在于构建了一个水分依赖的拉格朗日坐标变换（第4节），并发展了一套与之匹配的非线性最大正则性框架。具体而言：

第一，利用准静力结构推导出干空气密度的垂直分解公式 $\rho_d(t,x,y,z) = \rho_d(t,x,y) \hat{B}(T,q_v,q_c,q_r)(t,x,y,z)$（见(2.11)），其中 $\hat{B}$ 是一个由 $T,q_j$ 决定的非线性非局部泛函（见(2.10)）。这一步将原本耦合的 $\rho_d$ 分离为水平平均量 $\rho_d$（满足水平连续性方程(2.12)）与垂直分布 $\hat{B}$（由热力学状态决定）。该分解是全文基石，它使得 $w$ 的诊断公式(2.13)得以显式写出，并将问题维度从三维降低至二维主导。

第二，针对水平连续性方程 $\partial_t \rho_d + \mathrm{div}_H (\rho_d b) = 0$（其中 $b = \int_0^1 \hat{B} v \, d\eta$），作者引入以 $b$ 为速度场的二维拉格朗日流 $X(t,x,y)$（见(4.1)）。关键突破在于：该流不仅依赖于 $v$，还通过 $\hat{B}$ 显式依赖于 $T,q_j$，从而将水分变量动态嵌入坐标变换中。作者严格证明了当 $\varepsilon$ 足够小时，$X(t,\cdot)$ 是 $\mathbb{T}^2$ 上的 $C^1$-微分同胚（见(4.5)），其 Jacobian 行列式 $J = \det \nabla_H X$ 满足 $J \ge C > 0$，且逆映射 $Y = X^{-1}$ 的正则性可被 $\varepsilon$ 控制（见(4.6)–(4.7)）。这一变换将水平输运效应“吸收”进坐标系，极大缓解了双曲型连续性方程带来的技术困难。

第三，在拉格朗日坐标下，作者建立了线性化系统的最大正则性估计（第6节）与非线性项的精细乘积估计（第7节）。针对开关项，作者发展了专门的“开关估计引理”（Lemma 7.1），其核心是利用 $H^1$ 空间中 $\|fg\|_{H^1} \le C(\|f\|_{H^1} \|g\|_{L^\infty} + \|f\|_{L^\infty} \|g\|_{H^1})$ 及 Sobolev 嵌入 $E_h^1(0,\tau) \hookrightarrow L^\infty(0,\tau; L^\infty(\Omega))$，将所有 $H^1$-范数的非线性项控制在 $\varepsilon$ 阶小量内。例如，对源项 $S_{ev} = T \frac{1+q_v}{Q_m} (q_{vs}-q_v)_+ q_r$，作者证明 $\|S_{ev}\|_{L^2(0,\tau; H^1(\Omega))} \le C \varepsilon^2$，从而保证其作为右端项时不会破坏线性主部的最大正则性结构。

最后，作者将上述所有估计整合进一个收缩映射论证（第8节）：在由 $\rho_d, v, T, q_j$ 构成的 Banach 空间 $\mathcal{X}_\tau$ 中定义解算子 $\Phi$，利用线性最大正则性得到先验界，再结合非线性估计证明 $\Phi$ 是 $\mathcal{X}_\tau$ 上的压缩映射，从而获得唯一不动点——即所求强解。

4. 与之前工作的比较

本文相较于既有工作实现了多维度实质性推进：

第一，坐标系与建模自由度：此前所有关于含相变可压缩大气的严格结果均需借助压力坐标（如 [4,9,10,11,24]），其代价是将物理下边界（地表）替换为固定压力层 $p = p_0$，从而无法刻画地表压力 $p_s(t,x,y)$ 的时空演化。本文坚持在物理高度坐标下工作，通过引入 $\hat{B}$ 泛函与拉格朗日变换，首次在不牺牲物理边界的前提下处理了准静力可压缩性，这是对建模真实性的重大提升。

第二，速度场的处理方式：文献 [23,25] 在相同微物理模型下仅证明了当 $v$ 给定时的全局适定性；[24] 则将水分模型耦合到不可压缩原始方程。本文首次将三组分相变模型与可压缩原始方程完全耦合，且 $v$ 是预报变量而非给定场，这要求同时处理可压缩性引起的声波效应与准静力近似之间的固有张力。

第三，相变模型的复杂性：相比单组分饱和模型（如 [11,29]）或无相变模型（如 [46]），本文包含完整的蒸发/凝结、自转化/碰并、沉降等六种物理过程，其源项含多重 $(\cdot)_+$ 结构（如 $(q_v - q_{vs})_+$、$(q_c - 1)_+$），导致非线性耦合强度远超前人。作者为此专门设计了“开关估计”，而此前工作或回避此问题（如假设 $q_{vs}$ 光滑），或仅处理单一开关（如 [10]）。

第四，正则性框架与代价：本文解空间为 $H^2$ 类（即二阶空间导数平方可积），高于 [6,7] 在 $L^p$-$L^q$ 框架下的 $W^{2,p}$ 解（$p>3$），也高于 [23] 的 $H^1$ 解。但代价是：(i) 必须要求初值满足一阶时间相容性条件（见Assumption 3.1），这是由诊断型 $w$ 导致的固有技术限制；(ii) 解的存在性仅对小初值成立，尚未推广至大初值或弱解；(iii) 未处理更复杂的冰相过程（如雪、霰），亦未考虑湍流闭合项。这些局限反映了当前分析工具在处理强非线性、非光滑、多尺度耦合系统时的边界。

11. 度量图上半线性抛物型与双曲型方程的非存在性结果

Nonexistence Results for Semilinear Parabolic and Hyperbolic Equations on Metric Graphs

作者: Yang Liu, Yong Lin, Haohang Zhang

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

发布日期: 2026-06-07

arXiv ID: 2606.08490v1

摘要翻译: 本文研究度量图上带正位势的半线性抛物型与双曲型不等式的解的非存在性，涵盖非负解与变号解。所考虑的拉普拉斯算子属于非标准类型，其定义同时包含度量图的顶点与边的贡献。我们构造了一种新的伪度量，并引入了耦合型或分离型的合适时空检验函数。在位势满足适当的加权时空体积增长条件下，我们建立了非常弱解的非存在性结果。更精确地，我们证明该不等式的所有此类解必恒等于零。

Comment: 无

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

1. 研究对象和背景

本文研究度量图 $ G = (V, E) $ 上两类半线性发展不等式的全局非常弱解（very weak solutions）的不存在性问题：抛物型不等式

与双曲型不等式

其中 $ \sigma > 1 $，$ h: G \times [0,\infty) \to \mathbb{R} $ 是正势能函数，$ u_0, u_1: G \to \mathbb{R} $ 为给定初值。核心算子 $ \Delta_G $ 是定义在度量图上的非标准拉普拉斯算子（见附录 D），其作用既包含边上的二阶导数（即 $ -\partial_{xx} $ 在每条边 $ e \cong [0,l_e] $ 上），也包含顶点处的 Kirchhoff 型顶点贡献：对任意 $ x \in V $，

其中 $ \partial_{\nu_e} u|_e(x) $ 表示沿边 $ e $ 在顶点 $ x $ 处的外法向导数（即若 $ x = i(e) $ 则为 $ \partial_x u|_e(0) $，若 $ x = j(e) $ 则为 $ -\partial_x u|_e(l_e) $），$ \omega(x,y) $ 为顶点间权重，$ \mu_V $ 和 $ \mu_E $ 分别为顶点离散测度与边一维 Lebesgue 测度（见附录 B）。该算子统一刻画了图结构的离散性（顶点）与连续性（边），是量子图、网络动力学建模中的自然对象。研究背景的关键困难在于：标准距离函数 $ d(\cdot,x_0) $ 在度量图上不可微——尤其在存在“最短路径分叉点” $ q_e \in e $ 处（即满足 $ d(i(e),x_0)+q_e = d(j(e),x_0)+l_e-q_e $ 的内部点），其左右导数分别为 $ +1 $ 与 $ -1 $，导致经典测试函数法中积分分部公式产生难以控制的顶点边界项；同时，边积分与顶点求和无法自然耦合，致使以往针对组合图（combinatorial graphs）或流形的 Liouville 型非存在性理论（如 Fujita 指数、Monticelli–Punzo–Somaglia 工作）无法直接迁移。已有工作多限于纯顶点模型（如 [46,47]）或依赖热核估计/半群理论（如 [31]），而对兼具边连续演化与顶点传输条件的真实度量图框架，尤其是允许变号解（sign-changing solutions）的情形，尚无系统性非存在性结果。本文旨在填补这一空白：建立适用于 $ \Delta_G $ 的统一分析框架，克服距离奇异性与顶点-边耦合障碍，在加权时空体积增长条件下，证明非负解与变号解的全局非常弱解必恒为零。

2. 主要定理或主要结果

本文在度量图 $ G $ 满足假设 (2.1)（无限连通局部有限、边长一致有界 $ r \leq l_e \leq j < \infty $、球 $ B_R(x_0) $ 有限、顶点度加权有界）下，证明以下四类主定理：

定理 2.2（非负抛物解）：设 $ \sigma > 1 $，$ \theta_1 \geq 2 $，$ \theta_2 \geq 1 $，$ \theta_1 \geq \theta_2 $，且势能 $ h > 0 $ 满足加权时空体积条件：存在常数 $ C > 0 $，使得对所有 $ R \geq R_0 := \max\{2j,1\} $，有

其中 $ E_R := \{ (x,t) \in G \times [0,\infty) : R^{\theta_1} \leq d(x,x_0)^{\theta_1} + t^{\theta_2} \leq 2R^{\theta_1} \} $。则 (1.1) 的任意非负非常弱解 $ u $ 恒为零：$ u \equiv 0 $。

定理 2.6（变号抛物解）：设 $ \sigma > 1 $，$ \alpha = \delta / R $，加权空间 $ X_\alpha := L^1_{e^{-\alpha d(\cdot,x_0)}}(G) $。若 $ h > 0 $ 满足：存在 $ C > 0 $，使得对所有 $ R \geq R_0 $，有

以及外部区域估计

若 $ u $ 是 (1.1) 的非常弱解，满足 $ u \in L^1_{\mathrm{loc}}([0,\infty); X_\alpha) $，初值 $ u_0 \in X_\alpha $ 且 $ \int_G u_0 \, d\mu_G \geq 0 $，则 $ u \equiv 0 $。

定理 2.10（非负双曲解）：设 $ \theta_1 \geq 2 $，$ \theta_2 \geq 2 $，$ \theta_1 \geq \theta_2/2 $，且 $ h > 0 $ 满足与定理 2.2 相同的 $ E_R $-加权条件。若 $ u $ 是 (1.2) 的非负非常弱解，且初速度满足

则 $ u \equiv 0 $。

定理 2.14（变号双曲解）：设 $ \sigma > 1 $，$ \alpha = \delta / R $。若 $ h > 0 $ 满足：对所有 $ R \geq R_0 $，有

以及对应外部区域估计（形式同定理 2.6）。若 $ u $ 是 (1.2) 的非常弱解，满足 $ u_0, u_1 \in X_\alpha $，$ u \in L^1_{\mathrm{loc}}([0,\infty); X_\alpha) $，且 $ \int_G u_1 \, d\mu_G \geq 0 $，则 $ u \equiv 0 $。

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

证明的核心障碍在于：标准距离函数 $ d(\cdot,x_0) $ 在度量图内部边上的不可微性（尤其在最短路径分叉点 $ q_e $ 处），导致常规测试函数法中分部积分产生无法抵消的顶点边界项；同时，$ \Delta_G $ 的顶点部分（离散差分）与边部分（连续二阶导）在分析中需统一处理，而传统方法（如热核估计、半群理论）在此混合结构下失效。作者的真正创新点是构造了一个全新的、全局光滑的“修正距离函数” $ \tilde{d}(\cdot,x_0): G \to [0,\infty) $，其定义分三类边情形（见第 8–9 页）：对满足单调性的边（Case (a)/(b)），用 $ C^2 $ 过渡函数 $ \eta \in C^2([0,1]) $（满足 $ \eta(0)=0, \eta(1)=1, \eta'_+(0)=\eta'_-(1)=0 $）平滑端点；对存在分叉点的边（Case (c)），将原折线距离替换为线性插值 $ \tilde{d}_e(x,x_0) = d(i(e),x_0) + (d(j(e),x_0)-d(i(e),x_0))\eta(x/l_e) $。此构造保证：(i) $ \tilde{d} $ 在所有顶点处与原距离一致；(ii) 在每条边端点处，其单侧导数严格为零（而非 $ \pm 1 $）；(iii) 全图上满足一致梯度与 Hessian 界：$ |\tilde{d}'_e| \leq C $，$ |\tilde{d}''_e| \leq C $（命题 3.1）。这一性质直接导出关键分析工具——无顶点边界项的分部积分公式：对任意光滑紧支函数 $ \phi $，有

其中顶点处的 $ \partial_{\nu_e} $ 项因 $ \tilde{d}' $ 在端点消失而自然消去，从而将顶点与边的贡献完全统一到一个能量内积框架下。基于此，作者设计两类测试函数：(1) 对非负解（定理 2.2/2.10），采用时空耦合型 $ \tau(x,t) = \phi\big( (\tilde{d}(x,x_0)^{\theta_1} + t^{\theta_2})/R^{\theta_1} \big) $，其支撑集 $ \tilde{E}_R $ 被精确控制在 $ M_R $ 内（引理 3.2），结合修正距离的导数估计，导出关键先验不等式

再由 Hölder 不等式与体积条件闭合；(2) 对变号解（定理 2.6/2.14），采用时空分离型 $ \psi(x,t) = \zeta_R(t) \cdot \xi_\alpha(x) $，其中 $ \zeta_R \in C_c^\infty([0,2R]) $，$ \xi_\alpha(x) = e^{-\alpha \tilde{d}(x,x_0)} $，其指数衰减性补偿了非紧支带来的发散风险，并使 $ \int_G |\nabla_G \xi_\alpha|^2 \xi_\alpha^{-1} \, d\mu_G $ 可控，最终通过加权 Hölder 与体积条件完成估计。整个框架不依赖任何谱理论或热核信息，纯粹基于几何分析与测试函数的精细构造。

4. 与之前工作的比较

本文与既有工作存在本质差异，主要体现在四个维度：

1. 几何框架的实质性拓展：此前关于 Liouville 型非存在性的成果几乎全部集中于纯离散组合图（如 [46,47]）或连续流形（如 [2,17,44]）。例如，Monticelli–Punzo–Somaglia [47] 在组合图上要求 $ \Delta d(x,x_0) \leq C d^{-\alpha}(x,x_0) $（式 (1.3)），其证明依赖于顶点集上的伪度量与离散 Laplacian 的逐点比较；而本文首次将此类结果系统推广至兼具连续边与离散顶点的度量图 $ G $，并显式构造了覆盖全图（顶点+边）的修正距离 $ \tilde{d} $，其导数在端点消失的特性彻底消除了顶点边界项，这是组合图框架所不具备的结构性优势。

2. 解的类别与假设的显著放宽：以往工作（如 [31]）通常仅处理非负解，且依赖初值小性或热核上界；本文定理 2.6 与 2.14 首次对变号解建立了非存在性，其关键突破在于引入加权空间 $ X_\alpha = L^1_{e^{-\alpha d}}(G) $ 与指数测试函数 $ e^{-\alpha \tilde{d}} $，将问题转化为对加权体积 $ \sum_{x \in V} \mu_V(x) h^{-1/(\sigma-1)} e^{-\alpha d} $ 的控制，而非传统 $ L^p $ 或小初值假设。这使得结论可应用于更广泛的势能类（如 $ h \equiv 1 $ 时，只需图的加权体积增长满足 $ \mu_V(B_R) \lesssim R^{1/(\sigma-1)} $，见推论 2.4）。

3. 时间尺度与参数范围的精确刻画：在抛物情形，本文要求 $ \theta_1 \geq 2 $、$ \theta_2 \geq 1 $、$ \theta_1 \geq \theta_2 $（定理 2.2），而在双曲情形则升级为 $ \theta_2 \geq 2 $、$ \theta_1 \geq \theta_2/2 $（定理 2.10），这直接反映了 $ u_{tt} $ 项对时间导数更高阶的敏感性——测试函数的时间截断区间从 $ [R,2R] $（抛物）收缩为 $ [\tfrac{1}{2}R^{1/2}, 2R^{1/2}] $（双曲，见定理 2.14），体现了双曲方程中时空耦合更强的物理本质。相较 Euclidean 空间 Fujita 指数 $ \sigma_* = 1+2/N $，本文未出现显式临界指数，而是将临界性编码于加权体积条件的幂次 $ \sigma/(\sigma-1) $ 中，更具普适性。

4. 方法论的根本性变革：[30,31,56] 等文依赖热核估计或半群理论，其适用性受限于图的谱性质（如高斯热核上界）；而本文完全摒弃此类工具，构建了纯粹基于几何分析的框架：修正距离 $ \tilde{d} $ 的构造（第 8–9 页）是原创性核心，它不仅解决了可微性障碍，更诱导出一个自然伪度量 $ \rho_{x_0}(x,y) = \inf_{\gamma:x\to y} \int_\gamma |\tilde{d}'(\gamma(s),x_0)| ds $，使分析可统一进行。这种“几何正则化”策略，相较 [34] 中仅对椭圆情形的 mollification，首次成功延拓至抛物与双曲发展方程，是方法论上的重大推进。代价在于：体积条件需分别控制顶点与边的加权和（如式 (2.4)），比纯流形情形更细致，但也更贴合度量图的双重结构本质。

12. 基于调和压力的三维Navier-Stokes方程有限尺度单分量正则性

Finite-Scale One-Component Regularity via Harmonic Pressure for the 3D Navier-Stokes Equations

作者: Runlong Yu

类别: math.AP, math-ph

发布日期: 2026-06-06

arXiv ID: 2606.08352v1

摘要翻译: 我们研究三维不可压Navier–Stokes方程适定弱解的一种有限尺度单分量正则性机制。结果分为三层。第一层是无条件的：在固定尺度不变局部界 $\Phi(1)=A(1)+E(1)+C(1)+D(1) \le M$ 下，临界竖直分量量 $C_3(1)=\int_{Q_1} |u_3|^3 \,dx\,dt$ 的小性可推出原点处局部正则性半径的一个仅依赖于 $M$ 的正下界。证明将单分量小性转化为对二维半维极限类的逼近，再转化为更小尺度下的Caffarelli–Kohn–Nirenberg小性；压力逼近是在模去空间调和函数的商空间中度量的。该压力拓扑反映了真实阻碍：含时调和压力可能具有有界的尺度不变 $L^{3/2}$-振荡，但其逐点梯度却超出所有可用尺度不变量所能控制的范围。第二层是一种条件对数型改进：一个预处理的双影比较框架将抽象紧致模替换为对数模，并给出对数型有限尺度衰减。第三层是一种条件松弛影子化改进：比较类被扩大至光滑无拉伸水平流 $V=(v_h,0)$，且允许比较压力满足 $\partial_3 \pi \ne 0$；由此产生的竖直残差在相对能量恒等式中与小分量 $u_3$ 配对。在下方所述的缓冲强流条件与局域化松弛稳定性输入下，这给出幂型松弛调和逼近与幂型有限尺度衰减。无条件定理与对数型及幂型假设彼此分离；后两层则刻画了将紧致模升级所需的定量稳定性机制。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压Navier-Stokes方程

在单位抛物柱 $Q_1 = B_1(0) \times (-1, 0) \subset \mathbb{R}^3 \times \mathbb{R}$ 上适合弱解 $(u,p)$ 的局部正则性机制。核心对象是垂直速度分量 $u_3$ 的临界范数小性：

研究动机源于部分正则性理论中长期存在的‘单分量控制’问题：若仅一个速度分量（如 $u_3$）在某尺度上充分小，能否保证解在原点附近正则？该问题既具物理意义（如大气/海洋流动中垂直运动受抑制），也具深刻分析挑战——因为 $u_3$ 小性本身不直接控制水平速度 $u_h = (u_1,u_2)$ 的大小或其非线性项 $(u_h \cdot \nabla_h) u_h$，而Caffarelli–Kohn–Nirenberg (CKN) 定理要求的是联合量 $\Psi(r) = C(r) + D(r)$ 的小性，其中

且 $(p)_{B_r(t)}$ 是压力在球 $B_r$ 上的空间平均。因此，关键科学空白在于：如何从 $u_3$ 的小性出发，在更小尺度上导出 $\Psi(r)$ 的小性？这涉及两个根本障碍。第一是动力学退化：当 $u_3 \to 0$ 时，形式极限系统为两维半系统

其中 $v = (v_h, 0)$，但 $v_h$ 仍可依赖于 $x_3$，且拉普拉斯算子为全空间 $\Delta = \Delta_h + \partial_3^2$。此系统保留了三维扩散，但丢失了垂直输运项 $u_3 \partial_3 u_h$ 和 $u_3 \partial_3 u_3$。第二是压力障碍：文献中已知（见Proposition 4.1）存在一族光滑解 $(v_H, q_H)$ 满足 $\Phi_v(1/2) \leq M^*$（即所有尺度不变量有统一上界），但 $\|\nabla q_H\|_{L^\infty(Q_{1/4})} \to \infty$。具体构造为 $v_H = (a_H(t), 0, 0)$，$q_H = -a_H'(t) x_1$，其中 $a_H(t) = H^{-1/2} \phi((t-t_0)H^{3/2})$。此时 $\Delta q_H = 0$（空间调和），其尺度不变振荡 $D_q(1/2)$ 一致有界，但梯度爆炸源于时间集中。这表明：任何试图用 $\Phi$ 控制 $\|\nabla p\|_{L^\infty}$ 的尝试均失败；压力逼近必须在商空间 $p \sim q + h$（$\Delta h(\cdot, t) = 0$）中进行。因此，本文旨在填补以下三重空白：(i) 建立首个不依赖额外稳定性假设的、从 $C_3(1)$ 小性到有限尺度正则半径 $r_{\text{reg}}(0,0)$ 下界的无条件结论；(ii) 明确刻画压力调和部分对正则性的本质阻碍，并将逼近拓扑精确设定为 $L^{3/2}$-振荡模去空间调和函数；(iii) 将单分量小性转化为CKN小性的技术路径结构化为三层：无条件紧性层、条件对数层、条件幂律层，从而将正则性升级问题还原为可检验的定量稳定性输入。

2. 主要定理或主要结果

定理2.1（无条件有限尺度单分量正则性）：对任意 $M \geq 1$，存在仅依赖于 $M$ 的常数 $\varepsilon^*(M) > 0$ 与 $\rho^*(M) > 0$，使得对任意在 $Q_1$ 上的适合弱解 $(u,p)$，若

则 $u$ 在 $Q_{\rho^*(M)}$ 内正则，特别地 $r_{\text{reg}}(0,0) \geq \rho^*(M)$。定理2.2（带紧性模的有限尺度衰减）：对任意 $M \geq 1$ 与 $0 < \theta < 1/2$，存在非减模 $\omega_{M,\theta}: [0,\infty) \to [0,\infty)$ 满足 $\lim_{s \downarrow 0} \omega_{M,\theta}(s) = 0$，以及常数 $K(M,\theta) \geq 1$、$r_0(M,\theta) \in (0,\theta)$，使得对任意满足 $\Phi(1) \leq M$ 且 $C_3(1) = \delta$ 的适合弱解，有

定理2.4（条件对数调和压力逼近）：在Assumption 7.3（预置双影比较估计）成立下，存在 $C_{M,\theta} \geq 1$、$\sigma > 0$、$\delta_{M,\theta} \in (0,1)$，使得对任意满足 $\Phi(1) \leq M$ 且 $\delta = C_3(1) \leq \delta_{M,\theta}$ 的适合弱解，有

进而

且正则半径满足

定理2.5（条件松弛影射幂律衰减）：在Assumptions 8.3（缓冲强流界）与8.5（局部松弛弱-强稳定性）成立下，对任意 $M \geq 1$ 与 $0 < \theta < 1/16$，存在 $C_H(M,\theta) \geq 1$、$\alpha > 0$、$\Gamma > 0$、$r_H(M,\theta) > 0$，使得对任意满足 $\Phi(1) \leq M$ 且 $C_3(1) = \delta \leq 1$ 的适合弱解，有

由此导出正则半径下界

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

证明的核心障碍有三：(1) 从 $u_3$ 小性到整体 $\Psi$ 小性的跨尺度传递；(2) 调和压力 $h$ 的时间振荡导致 $\|\nabla h\|_{L^\infty}$ 不可控，但 $D_h(r)$ 却服从代数衰减；(3) 紧性论证给出的模 $\omega_{M,\theta}(\delta)$ 缺乏显式速率。作者的创新点在于构建了三层递进的分析框架，每一层对应不同的稳定性输入。第一层（无条件层）的关键工具是压力的Calderón-Zygmund分解与调和部分的精细衰减引理（Lemma 3.5）：对空间调和函数 $h$，有 $D_h(r) \leq C (r/R)^{5/2} D_h(R)$，此 $5/2$ 阶衰减远快于尺度变换的自然阶 $r^2$，为补偿 $u_3$ 小性损失提供了关键余量。证明将 $u$ 逼近两维半极限 $v$，再利用Lemma 4.3（Kang–Nguyen单尺度引理）将 $v$ 的 $C_3=0$ 性质转化为其 $\Psi_v(r)$ 的线性衰减 $\Psi_v(r) \leq K_A(M) r$（Proposition 4.4），最后通过相对能量恒等式与调和压力重建，将 $\Psi_u(r)$ 控制为 $\Psi_v(r/2)$ 加上调和压力误差，从而获得(2.1)。第二层（对数层）的真正创新是‘预置双影比较包’（prepared two-shadow comparison package）。它引入两个比较对象：一个粗糙影 $\tilde{v}$ 用于传播平滑误差，一个光滑影 $v^{(\ell)}$（经长度尺度 $\ell$ 的磨光）作为主比较流。关键设计在于将大Grönwall因子（源于 $v^{(\ell)}$ 的强解性质）与平滑误差 $\|v - \tilde{v}\|$ 分离，避免误差被指数放大。优化 $\ell$ 后，误差项形如 $\ell^a + \ell^{-N} \delta^b + \exp(C \ell^{-N}) \delta^b$，取 $\ell \sim |\log \delta|^{-1/N}$ 即得对数速率。第三层（幂律层）的突破在于扩大比较类至无拉伸水平流 $V = (v_h, 0)$，允许其压力 $\pi$ 满足 $\partial_3 \pi \neq 0$。此时残差为 $(0,0,\partial_3 \pi)$，在相对能量恒等式中与 $u_3$ 配对：$\int u_3 \partial_3 \pi$。结合Assumption 8.5 的局部松弛弱-强稳定性（控制 $\|u_h - v_h\|_{L^2_t H^1_x}$）与调和压力重构，该配对项被控为 $\|u_3\|_{L^3} \|\partial_3 \pi\|_{L^{3/2}}$，再利用 $\|\partial_3 \pi\|_{L^{3/2}} \lesssim \|v_h\|_{H^2}$ 及Assumption 8.3 的缓冲强界，最终导出幂律衰减(2.5)。整个框架将正则性问题解耦为：极限系统分析（Section 4）、调和压力障碍刻画（Proposition 4.1）、紧性逼近（Section 5）、无条件衰减（Section 6）、对数速率构造（Section 7）、幂律速率构造（Section 8）。

4. 与之前工作的比较

本文与既有工作的差异体现在三个维度。首先，相较于经典CKN理论[7]，本文不假设 $\Psi(1)$ 小，而是仅假设 $\Phi(1) \leq M$（含能量与压力振荡）并利用 $C_3(1)$ 小作为触发条件，将正则性判据从联合量降维至单分量，且结论为有限尺度正则半径 $r_{\text{reg}}$ 的显式下界，而非仅存在性。其次，相较于单分量准则文献如[16,17,34]，本文首次系统处理了压力调和部分的障碍：[34] 使用 $L^p_t L^q_x$ 范数控制 $u_3$ 并导出 $u$ 的 $L^\infty$ 正则，但未分离压力；而本文明确指出 $\|\nabla p\|_{L^\infty}$ 不可由 $\Phi$ 控制（Proposition 4.1），并强制在商空间 $p \sim q + h$ 中工作，这是概念上的根本推进。第三，在定量速率上，本文超越了纯紧性结果（如[26]中隐含的模）：定理2.4的对数速率 $|\log \delta|^{-\sigma}$ 改进了此前仅知的抽象模 $\omega(\delta)$，其代价是需Assumption 7.3（双影比较），该假设比标准弱-强稳定性更弱，因它允许粗糙影 $\tilde{v}$ 仅满足弱解性质；定理2.5的幂律速率 $\delta^\Gamma$ 则进一步推进，但代价是需两个更强输入：Assumption 8.3（缓冲强界 $\|v_h\|_{L^\infty_t H^2_x} \leq K$）与Assumption 8.5（局部松弛弱-强稳定性 $\|u_h - v_h\|_{L^2_t H^1_x} \leq C \|u_3\|_{L^3}$），后者比经典弱-强唯一性中的 $L^2_t L^2_x$ 误差控制更精细。适用范围上，本文结果适用于所有满足 $\Phi(1) \leq M$ 的适合弱解，不依赖于初始数据的特殊对称性（如轴对称[27]或二维初值[18]），但亦未处理端点情形（如 $C_3(1) = 0$ 的全局正则性，此为开放问题）。从提供内容中无法确认本文结果与Morrey空间准则[20]或endpoint准则[22]的具体数值比较，作者未显式展开此类比较。

13. 关于链式法则与重正化

On chain rule and renormalization

作者: Roman V. Dribas, Nikolay A. Gusev

类别: math.AP, math.CA

发布日期: 2026-06-06

arXiv ID: 2606.08330v1

摘要翻译: 我们讨论散度算子的链式法则与连续性方程弱解的重正化性质之间的关系。我们构造了一个平面上的有界无散度向量场的例子，表明一般情况下前者并不能保证后者。

Comment: 12 pages, 4 figures

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

1. 研究对象和背景

本文研究二维平面上有界、紧支、散度为零的向量场 $ v : \mathbb{R}^2 \to \mathbb{R}^2 $ 所诱导的连续性方程（transport equation）弱解的重正化性质（renormalization property），及其与散度算子链式法则（chain rule for divergence）之间的逻辑关系。核心对象是如下初值问题：

在分布意义下理解，即对任意 $ \varphi \in C_c^1([0,T) \times \mathbb{R}^2) $ 满足

当 $ g \equiv 0 $ 时称其为齐次连续性方程。向量场 $ v $ 具有齐次重正化性质，若对任意 $ \rho_0 \in L^\infty $ 和任意解 $ \rho $，对所有容许函数 $ \beta \in C^1(\mathbb{R}) $（即满足 $ \beta(0)=0 $ 且 $ \beta' \in L^\infty $），函数 $ \beta(\rho) $ 仍是该方程的解：

该性质等价于解的唯一性（见 [ABC14, Theorem 1.5]），是 DiPerna–Lions 理论中处理非光滑流场下输运问题的核心工具。在 $ d=2 $ 下，由 $ \operatorname{div} v = 0 $ 可设 $ v = \nabla^\perp f $，其中 $ f \in \operatorname{Lip}(\mathbb{R}^2) $ 是流函数（stream function）。[ABC14, Theorem 4.7] 给出关键刻画：$ v $ 具有齐次重正化性质当且仅当 $ f $ 具有弱Sard性质（weak Sard property），即其临界集 $ S = \{\nabla f = 0\} $ 在 $ f $ 下的推前测度 $ f_\#(\mathbf{1}_{S \cap E^*} \mathcal{L}^2) $ 与一维Lebesgue测度 $ \mathcal{L}^1 $ 互异（mutually singular），其中 $ E^* = \bigcup_{y \in \mathbb{R}} E_y^* $，而 $ E_y^* $ 是所有满足 $ \mathcal{H}^1(\{f = y\}) > 0 $ 的连通分支之并。该条件本质上要求 $ f $ 在临界集上的“水平集结构”不产生非平凡的绝对连续分量。

另一方面，“链式法则性质”是重正化性质的静态（steady-state）对应物，它仅涉及空间变量，不涉及时变结构。定义 $ v $ 具有非齐次链式法则性质，若对任意 $ \rho \in L^\infty $、$ g \in L^\infty $，只要 $ \operatorname{div}(\rho v) = g $（分布意义），则存在一个在 $ \{v \neq 0\} $ 上几乎处处等于 $ \rho $ 的可测函数 $ b_\rho $，使得对所有容许 $ \beta $，有

注意此处必须用 $ b_\rho $ 而非 $ \rho $，因 $ \operatorname{div}(\rho v) $ 不依赖于 $ \rho $ 在 $ \{v = 0\} $ 上的取值，但 $ \beta'(\rho) g $ 一般依赖；此非局部性源于散度算子的积分本质（见 [ABC13]）。在光滑情形，恒有 $ \operatorname{div}(\beta(\rho) v) = \beta'(\rho) \operatorname{div}(\rho v) + (\beta(\rho) - \rho \beta'(\rho)) \operatorname{div} v $；当 $ \operatorname{div} v = 0 $ 时退化为 $ \operatorname{div}(\beta(\rho) v) = \beta'(\rho) \operatorname{div}(\rho v) $。但在非光滑情形，该恒等式失效（见 [CGSW17, BM23]），需借助更精细的结构刻画——如 [BG16, Theorem 7.1] 在二维给出：若 $ \operatorname{div}(\rho v) = \mu $（$ \mu $ 为有界Borel测度），则存在 $ \rho^\pm $ 在 $ \{v \neq 0\} $ 上a.e.等于 $ \rho $，使得

其中第二项为“跳跃项”，体现水平集处的不连续性。本文旨在厘清：若 $ v $ 满足非齐次链式法则性质（即上述 $ f_1 = \beta'(b_\rho) $，无跳跃项），是否足以推出其具有齐次重正化性质？已有工作表明，齐次链式法则性质恒成立（[BG16]），但弱Sard性质不恒成立（[ABC13, Section 4] 构造反例），故齐次链式法则弱于重正化性质。本文填补的关键空白在于：即使加强至非齐次链式法则性质，仍不足以保证重正化性质——即该蕴含关系在一般情形下不成立，从而否定了一种可能的简化路径：试图绕过流函数的几何分析（如弱Sard条件），仅凭散度算子的代数恒等式推导重正化。

2. 主要定理或主要结果

定理 1.7（主结果）：存在一个二维紧支、有界、散度为零的向量场 $ v : \mathbb{R}^2 \to \mathbb{R}^2 $，使得 $ v $ 具有非齐次链式法则性质，但不具有齐次重正化性质。

具体构造：令 $ f : \mathbb{R}^2 \to \mathbb{R} $ 为紧支Lipschitz流函数，$ v = \nabla^\perp f $。构造参数满足 $ a_n \sim b_n \sim n^{-2} 4^{-n} $，定义递归矩形族 $ C_n $，其中 $ C_0 $ 为宽 $ c_0 = \delta + \sum_{m=0}^\infty 2^{2m+3} a_m $、高 $ d_0 = \delta + \sum_{m=0}^\infty 2^{2m+2} b_m $ 的闭矩形；$ C_{n+1} $ 由 $ C_n $ 中每个矩形挖去中心区域后分裂为 $ 16^{n+1} $ 个更小矩形构成，尺寸满足 $ c_{n+1} = \frac{1}{4} c_n - 2 a_n $，$ d_{n+1} = \frac{1}{4} d_n - b_n $。令 $ C = \bigcap_{n=1}^\infty C_n $，则 $ \mathcal{L}^2(C) = \delta^2 > 0 $。流函数 $ f $ 由逐层逼近 $ f_n $ 构造，满足 $ \|h_n\|_{L^\infty} = O(n 4^{8-n}) $，$ \|\nabla h_n\|_{L^\infty} = O(n 4^{2-n}) $，故 $ f \in \operatorname{Lip}(\mathbb{R}^2) $。关键性质（定理 3.2）：(i) $ C $（模 $ \mathcal{L}^2 $-零集）即为 $ f $ 在 $ [0,l]^2 $ 内的临界集 $ \{\nabla f = 0\} $；(ii) $ \mathcal{L}^1(f(C)) = d_0 $；(iii) $ f_\#(\mathbf{1}_C \mathcal{L}^2) = \frac{\delta^2}{d_0} \mathbf{1}_{f(C)} \mathcal{L}^1 $，故 $ f_\#(\mathbf{1}_{S \cap E^*} \mathcal{L}^2) \ll \mathcal{L}^1 $，违反弱Sard性质（因互异要求推前测度无绝对连续部分）。由定理 1.5，$ v $ 不具齐次重正化性质。进一步，令 $ \mu = \mathbf{1}_C \mathcal{L}^2 $，其关于 $ f $ 的disintegration $ \{\mu_y\}_{y \in \mathbb{R}} $（相对于 $ \mathcal{L}^1 $）满足：对几乎每个 $ y \in [0,d_0] $，$ \mu_y $ 无原子（Proposition 4.1）。结合引理 2.5 与命题 2.4，此保证 $ v $ 具有非齐次链式法则性质：对任意 $ \rho \in L^\infty $、$ g \in L^\infty $，若 $ \operatorname{div}(\rho v) = g $，则存在 $ b_\rho = \rho $ a.e. on $ \{v \neq 0\} $，使得 $ \operatorname{div}(\beta(\rho) v) = \beta'(b_\rho) g $ 对所有容许 $ \beta $ 成立。

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

本文的核心技术障碍在于：如何构造一个流函数 $ f $，使其临界集 $ C $ 的推前测度 $ f_\#(\mathbf{1}_C \mathcal{L}^2) $ 绝对连续于 $ \mathcal{L}^1 $（以满足链式法则所需的disintegration条件），但同时破坏弱Sard性质（即该推前测度不能互异于 $ \mathcal{L}^1 $）。这要求 $ f $ 在 $ C $ 上既不能是常数（否则推前为点质量），也不能使 $ f(C) $ 为零测集；而经典反例（如[ABC13]）往往导致推前测度奇异，无法支持链式法则。作者的真正创新点在于设计一种“分形矩形嵌套”构造，精确控制 $ f $ 在 $ C $ 上的水平集分布与测度分配。

第一，构造中 $ C $ 被定义为递归交集 $ \bigcap_n C_n $，每步 $ C_n $ 由 $ 16^n $ 个尺寸 $ c_n \sim d_n \sim \delta 4^{-n} $ 的矩形组成，总测度 $ \mathcal{L}^2(C_n) = 16^n c_n d_n \to \delta^2 $。关键参数 $ a_n, b_n $ 的衰减速率 $ \sim n^{-2} 4^{-n} $ 精确平衡了矩形收缩与挖空尺度，确保 $ C $ 具有正二维测度且结构足够“规则”以支持disintegration分析。

第二，流函数 $ f $ 的逐层定义（$ f_n $）采用分段线性水平集，在每个 $ C_n $ 的组件内将 $ f_n $ 设为沿特定方向的线性函数（如图2b、3b所示），使得 $ f $ 在 $ C $ 上的值域 $ f(C) = [0, d_0] $ 为长度 $ d_0 $ 的区间，且 $ f_\#(\mathbf{1}_C \mathcal{L}^2) $ 被证明为 $ \frac{\delta^2}{d_0} \mathcal{L}^1\lfloor_{[0,d_0]} $。此结论依赖于对disintegration的精细估计：对任意 $ A \in \mathcal{R}_m $（$ C_m $ 的某组件），利用 $ f $ 在 $ A $ 上的层级结构，证明 $ \mu(A \cap f^{-1}(I_n)) = 2^n 16^{-n} \mu(A) $（式(11)），其中 $ I_n $ 是 $ f(A) $ 的 $ 8^n $ 等分子区间。由此导出 $ \mu_y(A) $ 在Lebesgue点 $ y_0 $ 处的极限行为，最终证得 $ \mu_y $ 对a.e. $ y $ 无原子。

第三，证明链式法则性质的关键引理是 2.5，它将问题转化为一维BV函数的链式法则。由命题 2.4，$ \operatorname{div}(\rho v) = g $ 等价于在每条水平曲线 $ \{f = y\} $ 的一致参数化 $ \gamma $ 下，$ \tilde{\rho} = \rho \circ \gamma $ 满足 $ D\tilde{\rho} = \tilde{g} \cdot (\mathcal{L}^1 + \tilde{\mu}_y) $，其中 $ \tilde{\mu}_y $ 是 $ \mu_y $ 的拉回。由于 $ \mu_y $ 无原子，$ D\tilde{\rho} $ 亦无原子，故 $ \tilde{\rho} $ 有连续代表元，从而可应用定理 2.3（Vol’pert链式法则）得到 $ D\beta(\tilde{\rho}) = \beta'(\tilde{\rho}) D\tilde{\rho} $，再通过反向disintegration还原为 $ \operatorname{div}(\beta(\rho) v) = \beta'(b_\rho) g $。整个框架的枢纽在于：通过分形构造强制 $ \mu_y $ 原子性消失，从而激活一维BV链式法则，绕过对 $ f $ 全局正则性的任何要求。

4. 与之前工作的比较

本文与既有工作的根本区别在于问题维度与目标指向。[DL89] 建立了当 $ v \in W^{1,p}_{\mathrm{loc}} $ 时重正化性质成立，其证明依赖于 $ v $ 的Sobolev可微性及磨光逼近；[ABC14] 则在二维完全脱离Sobolev假设，转而用流函数 $ f $ 的几何性质（弱Sard）刻画重正化，将问题降维至水平集结构分析。本文并非改进这些充分条件，而是针对一个深层逻辑问题：是否存在一种“代数替代路径”，即仅凭散度算子的链式法则恒等式（而非流函数的几何条件）即可推出重正化？此前，[BG16] 已证明齐次链式法则恒成立，但未触及非齐次情形与重正化的关联；[ABC14] 的原始反例虽破坏弱Sard，但其 $ f_\#(\mathbf{1}_C \mathcal{L}^2) $ 是奇异测度，故不满足链式法则所需的disintegration绝对连续性前提，因而无法用于回答该问题。本文的构造正是为了弥合这一缺口：它在保持 $ f_\#(\mathbf{1}_C \mathcal{L}^2) \ll \mathcal{L}^1 $（从而启用链式法则）的同时，刻意让该推前测度具有密度 $ \frac{\delta^2}{d_0} $，直接违反弱Sard的互异性要求。因此，本文推进的不是技术强度（未降低正则性门槛），而是概念清晰度——它严格证伪了“链式法则蕴含重正化”这一可能的简化猜想，确立了二者在逻辑上的独立性。代价在于：该反例向量场 $ v $ 仅存在于二维，且构造高度特化（依赖分形矩形与精确参数匹配），目前尚不清楚其能否推广至高维或更一般框架；此外，它未提供重正化性质的新充分条件，仅划定了现有代数路径的边界。文中未显式展开与[CLR03, Pan08]等非重正化方法的比较，亦未讨论时间尺度（因聚焦稳态性质），故这些维度的比较从提供内容中无法确认。

14. 具有旋涡的轴对称Navier–Stokes方程解的整体正则性

Global Regularity for Axisymmetric Navier–Stokes Flows with Swirl

作者: Rishad Shahmurov

类别: math.AP

发布日期: 2026-06-05

arXiv ID: 2606.07869v1

摘要翻译: 我们证明了三维不可压Navier–Stokes方程具有任意旋涡的光滑有限能量轴对称解的整体光滑性。证明围绕环量 $Γ=ru^θ$、提升的方位角涡度比 $G=ω^θ/r$ 以及轴兼容的环量梯度对

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压Navier–Stokes方程在轴对称、含任意涡旋（swirl）情形下的整体光滑性问题。设 $ u = u^r(r,z,t)\, e_r + u^\theta(r,z,t)\, e_\theta + u^z(r,z,t)\, e_z $ 为光滑、有限能量、轴对称的速度场，满足

其中粘性系数 $ \nu > 0 $ 固定。轴对称性意味着所有分量仅依赖于 $ (r,z,t) $，且无 $ \theta $-导数；不可压条件化为

关键未知量是涡旋分量 $ u^\theta $（即“涡旋”），它通过非线性源项驱动 meridional vorticity 的演化。定义环量 $ \Gamma = r u^\theta $，其物理意义为绕 $ z $-轴的角动量密度；再定义提升后的方位角涡度比 $ G = \omega^\theta / r $，其中 $ \omega^\theta = \partial_z u^r - \partial_r u^z $ 是方位角方向的涡度分量。由标准计算可得 $ G $ 满足提升方程

其中 $ b = (u^r, u^z) $ 为子午面速度，$ d\mu_5 = r^3 \, dr \, dz $ 是五维提升测度。源项 $ \partial_z(F^2) = \partial_z((u^\theta)^2 / r^2) $ 是全局正则性障碍的核心：它在 $ r \to 0 $ 附近呈现强奇异性（形式上为 $ r^{-4} $ 级别），且无法被经典能量估计控制。已有理论中，无涡旋情形（$ u^\theta \equiv 0 $）下该源项恒为零，Ladyzhenskaya–Ukhovskii–Yudovich 定理保证整体正则性；但任意涡旋情形下，该源项引入了本质非线性耦合与近轴奇异性。经典条件正则性准则（如 Prodi–Serrin–Ladyzhenskaya 型）要求 $ u^\theta \in L^p_t L^q_x $ 满足尺度临界条件 $ 2/p + 3/q = 1 $，而现有工作（如 Chen–Strain–Tsai–Yau, Lei–Zhang, Pan）仅能在附加小性假设（如 $ \| u^\theta / r \|_{L^\infty} $ 小）、或特定衰减结构（如 $ |u^\theta| \lesssim r^\alpha $）、或受限初值类（如 $ \Gamma \in L^2(d\mu_3) \cap L^\infty $）下获得结果。本文试图填补的根本空白在于：不加任何小性、衰减或初值限制，仅假设初始数据 $ u_0 \in C_c^\infty(\mathbb{R}^3) $ 轴对称、无散，证明对应光滑解在 $ [0,T^*) $ 上可延拓至无穷时间——即排除任何形式的第一类爆破（type-I blowup）与临界尺度坍缩。 这一问题自1960年代以来悬而未决，其困难本质在于：$ G $-方程的源项 $ \partial_z(F^2) $ 在 $ r=0 $ 处不可积，传统 Hardy 不等式、加权 Sobolev 嵌入或 Calderón–Zygmund 理论均无法直接控制该双变量奇异性；同时，$ \Gamma $ 在轴上满足 $ \Gamma(0,z,t)=0 $，但其梯度 $ \Gamma_r, \Gamma_z $ 可能剧烈振荡，导致标准环量方法失效。因此，亟需一种能同时解析近轴动力学、源项代数结构与全局能量流的新框架。

2. 主要定理或主要结果

本文在无额外小性、衰减或初值限制下，证明了如下主定理：定理1.1（轴对称涡旋类的整体正则性）：设 $ u_0 \in C_c^\infty(\mathbb{R}^3) $ 为无散、轴对称初值，$ u $ 为其对应光滑轴对称Navier–Stokes解，定义在最大存在区间 $ [0,T^*) $ 上，则 $ T^* = \infty $。证明采用反证法：若 $ T^* < \infty $，则存在第一阈值选择机制生成无限多个终端包（terminal packets）。作者证明每个终端包必属于以下四类互斥情形之一，并逐一排除：(A) 封闭子阈值包（closed subthreshold packet）：满足 $ \|G\|_{L^\infty_t L^2(d\mu_5)} + \|\nabla_5 G\|_{L^2_t L^2(d\mu_5)} \le \varepsilon_0 $，其中 $ \varepsilon_0 > 0 $ 为绝对常数；对此类包，建立封闭的子阈值Caccioppoli不等式

并结合轴Hardy不等式 $ \int |\Gamma|^2 r^{-2} \, d\mu_3 \le C \int |A|^2 \, d\mu_3 $ 与一维Sobolev估计 $ \|W(\cdot,z)\|_{L^2_r} \lesssim \|\partial_z W\|_{L^2_{r,z}}^{1/2} \|W\|_{L^2_{r,z}}^{1/2} $，导出 $ G $ 的Hölder连续性与衰减，从而实现局部延拓。(B) 正typed-ledger包（positive typed-ledger packet）：存在某通道 $ RRZ, D_\Xi, B_J^{\text{dual}}, \ldots $ 非零且超过阈值，此时由有限预算ledger或路由/型谱ledger给出有限测度打包控制。(C) typed零输出包且非零 $ G $-桥传递（nonzero $ G $-bridge transfer）：满足 $ L(Q)=0 $（即所有九个通道分量均为零），但 $ G $-桥传递非零；此情形被严格桥定理（strict bridge theorem, Theorem D.8）排除：该定理断言，若 $ G $-桥传递非零，则存在全Dirichlet可见性，从而触发严格全Dirichlet桥，导出矛盾。(D) typed零输出包且零 $ G $-桥传递（zero $ G $-bridge transfer）：此时应用typed零输出亚临界坍缩定理（Theorem 34）：在 $ d\mu_5 dt $ 测度下，由五维抛物Sobolev嵌入 $ L^\infty_t L^2(d\mu_5) \cap L^2_t \dot{H}^1(d\mu_5) \hookrightarrow L^{14/5}(d\mu_5 dt) $，得到 $ G \in L^{14/5}(d\mu_5 dt) $；进一步利用该亚临界增益，结合归一化膨胀（normalized dilation）下的Ekeland变分原理，证明终端对象必为紧致，进而推出全耦合分数（full coupled score）衰减与零源/被动涡旋端点正则性，最终导出矛盾。所有论证均基于绝对常数阈值选择（见Section 15），不依赖于解的先验大小。

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

证明的核心障碍有三重：(1) 近轴源项 $ \partial_z(F^2) $ 的强奇异性与非局部耦合性；(2) $ G $-梯度 $ \nabla_5 G $ 缺乏全局可积性，传统能量框架失效；(3) 终端包可能以非紧致、非自相似、非尺度临界的方式坍缩，规避既有Liouville型排除机制。作者的真正创新点在于构建了一个分层、路由、闭环的“typed-ledger”分析框架，其技术支柱包括：第一，源项代数重构与轴Hardy配对：关键突破是引理3.3的精确恒等式 $ \partial_z(F^2) = 2\Gamma W / r^3 $，将源项配对 $ \int G \partial_z(F^2) \, d\mu_5 = 2 \int G \Gamma W \, dr dz $。此式将危险的 $ z $-导数源转化为乘积型耦合项，从而可被三重工具控制：(i) 轴Hardy公式 $ \int_0^\infty \frac{|\Gamma(r,z)|^2}{r^2} \, r dr \le C \int_0^\infty |A(r,z)|^2 \, r dr $，将 $ \Gamma $ 控制于 $ A = \Gamma_r / r $；(ii) $ z $-方向一维Sobolev嵌入 $ \|W(\cdot,z)\|_{L^2_r} \lesssim \|\partial_z W\|_{L^2_{r,z}}^{1/2} \|W\|_{L^2_{r,z}}^{1/2} $，处理 $ W $ 的轴向振荡；(iii) $ \Xi $-耗散中的正Hardy项 $ \int (W/r)^2 \, d\mu_3 $，提供关键阻尼。第二，零输出端点的归一化膨胀机制：摒弃将typed零输出视为抽象“桥型轮廓问题”的旧范式，转而采用归一化膨胀 $ \tilde{u}(r,z,t) = \lambda u(\lambda r, \lambda z, \lambda^2 t) $（其中 $ \lambda $ 由能量种子引理确定），并严格验证其在可见性类中封闭（Remark 1.3(4)）。该机制避免了原始振幅变化的无效性，使Ekeland变分原理可应用于端点度量空间（Section 28–29），导出端点驻留性与松弛完备性，从而排除所有非平凡零输出配置。第三，闭环的子阈值Caccioppoli迭代：针对剩余小包，建立“封闭子阈值Caccioppoli不等式”（Section 14），其右端不含外源项，仅含尺度自适应的内部能量项；通过洞填充（hole-filling）与迭代，获得几何衰减 $ \int_{Q_{2^{-k}}} |\nabla_5 G|^2 \, d\mu_5 dt \le C \theta^k $（$ \theta \in (0,1) $），确保局部正则性。整个框架以“typed-ledger输出字典”（Section 4）为逻辑骨架，将所有潜在缺陷模式（源、领圈、宏观、运动、投影、级联、后溯祖先）编码为非负通道，强制每一步推理均经ledger路由，彻底杜绝循环论证（Section 37.2）。

4. 与之前工作的比较

本文与既有工作的根本推进体现在四个维度：(1) 假设放宽：此前所有整体正则性结果均需额外条件。Chen–Strain–Tsai–Yau (2010) 要求 $ \| u^\theta / r \|_{L^\infty_{t,x}} $ 小；Lei–Zhang (2013) 假设 $ \Gamma \in L^\infty_t L^2(d\mu_3) $ 且 $ \|\nabla \Gamma\|_{L^2_{t,x}} < \infty $；Pan (2016) 依赖 $ u^\theta $ 的特定符号或单调性；而本文仅需 $ u_0 \in C_c^\infty $ 轴对称无散，无任何小性、衰减、符号或初值正则性限制。(2) 时间尺度与适用范围：经典条件准则（如Serrin）仅给出正则性延续判据，无法排除临界坍缩；Caffarelli–Kohn–Nirenberg理论仅说明奇异集1维Hausdorff测度为零，不保证光滑性；Escauriaza–Seregin–Sverak (2003) 的终点正则性要求 $ u \in L^\infty_t L^3_x $，此条件在涡旋情形下极难验证。本文则直接证明任意光滑有限能量轴对称解的整体存在性，将适用范围从“特殊初值”推进至“全光滑紧支初值类”。(3) 技术代价与局限：本文的代价在于高度复杂的ledger路由机制与归一化膨胀框架，其证明长度逾90页，远超传统能量方法；且结论局限于轴对称情形，未推广至一般三维解。然而，这一代价换来了对近轴动力学的彻底解析：例如，文中明确区分了“严格桥”（用于bridge-visible profiles）与“typed零输出亚临界坍缩”（用于endpoint profiles），而此前工作（如Tao 2016的超临界障碍分析）未能对这两类缺陷进行如此精细的分类与排除。此外，本文的五维提升测度 $ d\mu_5 $ 与 $ \Delta_5 $ 算子，比Ukhovskii–Yudovich使用的 $ d\mu_3 $ 更精准捕获涡旋源的奇异性权重，这是突破的关键几何洞察。(4) 与近期进展的对比：2024年Bourgeois–Burczak–Silvestre的工作尝试用分数Laplacian方法处理涡旋，但仍需 $ u^\theta \in L^\infty_t \dot{H}^{1/2}_x $；而本文完全摆脱对 $ u^\theta $ 或 $ \Gamma $ 的高阶导数假设，仅依赖 $ \Gamma $ 的轴兼容性（$ \Gamma(0,z,t)=0 $）与 $ \Xi $-耗散结构。文中明确指出（Section 3.3），此前方法失败的原因在于“试图直接证明所有危险量全局可积”，而本文策略是“证明每个危险局域包必支付有限货币、触发严格桥、或生成不可能的端点”，这是一种范式转换。从提供内容中无法确认本文结果是否可推广至有界区域或外问题，亦未显式展开与Koch–Tataru (2001) 在 $ BMO^{-1} $ 空间中临界适定性工作的比较。

15. Clay研究所设定下的三维Navier-Stokes方程假想奇点约化为带旋涡旋对称类

Hypothetical Singularity of 3D Navier-Stokes in Clay Institute set up Reduces to Axisymmetric with Swirl class

作者: Rishad Shahmurov

类别: math.AP

发布日期: 2026-06-05

arXiv ID: 2606.07875v1

摘要翻译: 我们在光滑有限能量类中，证明了三维不可压Navier–Stokes方程大初值正则性问题的奇点端点约化定理。该结果是一个约化定理：任意一个一般三维解的假想首个奇点，在尺度归一化、阈值选取与端点提取之后，生成一个属于带旋涡旋对称类（axisymmetric-with-swirl class）的终端奇异端点。因此，若能证明相应的带旋涡旋对称类端点定理，则可闭合对应的全三维有限能量正则性陈述。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压缩Navier-Stokes方程在光滑有限能量初值下的大初值正则性问题，即Clay数学研究所提出的千禧年难题：是否存在光滑有限能量解在有限时间内发生第一类奇点？设速度场 $u = u(x,t) \in C^\infty(\mathbb{R}^3 \times [0,T))$ 满足

其中 $\nu > 0$ 为运动粘性系数，压力 $p$ 由 $-\Delta p = \partial_i \partial_j (u_i u_j)$ 确定。记涡量 $\omega = \nabla \times u$，其满足涡量方程

关键未知量是涡量幅值 $A = |\omega|$ 及其单位方向场 $\xi = \omega / |\omega|$（在 $\omega = 0$ 处需正则化）。本文聚焦于“第一奇点”（first singularity）的结构刻画：若存在最大存在时间 $T < \infty$ 使得 $\|\nabla u(\cdot,t)\|_{L^\infty} \to \infty$ 当 $t \to T^-$，则必存在一列尺度收缩的临界包（critical packet）$Q_R = B_R(x_k) \times (t_k - R^2, t_k)$，满足尺度不变的涡量分数 $Q(Q_R) := \sup_{t \in I_R} R \int_{B_R} \phi_R^2 |\omega|^2 \,dx + R^{-1} \iint_{Q_R} \phi_R^2 |\omega|^2 \,dxdt \ge \varepsilon_{\rm reg} > 0$，其中 $\varepsilon_{\rm reg}$ 是Gustafson–Kang–Tsai内正则性准则所给出的普适小常数。已有理论（如Caffarelli–Kohn–Nirenberg、Lin、Vasseur等）表明：若局部涡量 $L^2_{x,t}$ 范数充分小，则该点正则；但对大初值，尚无全局控制机制。经典奇点排除策略包括Beale–Kato–Majda准则（依赖 $\int_0^T \|\omega(\cdot,t)\|_{L^\infty} dt$）、Constantin–Fefferman方向准则（要求 $\xi$ 光滑且 $\nabla \xi$ 有界），以及轴对称无旋（swirl-free）情形下Ukhovskii–Yudovich与Leonardi–Málek–Nečas等人的突破性结果。然而，带旋涡轴对称（axisymmetric with swirl）情形仍是未解核心障碍：已知解可爆破当且仅当其在该子类中爆破（Chae–Lee, 2002），但至今无人能证其全局正则。本文不直接攻击该子类，而是提出一个结构性还原框架：任何三维第一奇点必然通过尺度归一化、阈值选取与端点提取，生成一个属于轴对称带旋涡类的奇异端点（singular endpoint）。这一还原的关键在于揭示：所有真正三维的几何/动力学结构——如一般涡面弯曲、多向拉伸、非共面涡线缠绕、高维频谱耦合——均无法在奇点形成过程中稳定维持；它们或被耗散压制，或退化为低维结构，最终唯一可能存活的端点必具轴对称性。因此，填补该空白的本质是建立一种端点分类学（endpoint taxonomy），将无限维PDE奇点可能性压缩至一个可处理的有限维对称子流形上。

2. 主要定理或主要结果

定理2.2（奇异端点还原定理）：设 $u$ 是方程 $\partial_t u + u \cdot \nabla u + \nabla p = \nu \Delta u$, $\operatorname{div} u = 0$ 的光滑有限能量解，其最大存在时间为 $T < \infty$。则存在一列奇点驱动包 $Q_{R_k}(x_k, t_k)$ 满足 $R_k \to 0$, $(x_k, t_k) \to (x^*, T)$ 且 $Q(Q_{R_k}) \ge \varepsilon_{\rm reg}$；经抛物缩放 $\tilde{u}_k(y,s) = R_k u(x_k + R_k y, t_k + R_k^2 s)$ 后，存在子列弱收敛于一个古代解（ancient solution）$U$，其涡量幅值 $A = |\omega_U|$ 满足如下端点分类：

（i）零生产分支：若正生产量 $P_+(Q_R) := R \iint_{Q_R} \eta_R \phi_R^2 A^2 \left( \xi \cdot S \xi - \nu |\nabla \xi|^2 \right)_+ dxdt \to 0$ 对所有紧致古代柱体成立，且振幅尾部输出 $M_A(L) = \sup_{\tau \le 0} \int_{|y|>L} A(y,\tau) dy \to 0$，则 $A$ 是一个有界、质量有限 $M = \sup_{\tau \le 0} \int_{\mathbb{R}^3} A(y,\tau) dy < \infty$、且满足 $\partial_\tau A + U \cdot \nabla A - \nu \Delta A \le 0$ 的古 transported heat subsolution；进而由定理5.4（Nash–Liouville定理）得 $A \equiv 0$，矛盾。

（ii）正生产分支：若 $P_+(Q_R) \not\to 0$，则存在一个通量封闭活性壳（flux-closed active hull）$H$，由有限带宽、空间局域、无散度分量构成，满足 $\frac{B_H(I_R)}{D_H(I_R)} \to 0$，其中 $B_H(I_R) = \int_{I_R} |\langle P_H[(u \cdot \nabla)u] - P_H[(U_H \cdot \nabla)U_H], U_H \rangle| dt$ 为非线性动能通量，$D_H(I_R) = \int_{I_R} \|\nabla U_H\|_2^2 dt + R^{-2} \int_{I_R} \|U_H\|_2^2 dt$ 为耗散尺度。此时，由动能恒等式 $\frac{d}{dt} \|U_H(t)\|_2^2 + 2\nu \|\nabla U_H(t)\|_2^2 = o(1)$ 与有限带宽强制性（finite-band coercivity）$\|\nabla U_H\|_2^2 \gtrsim R^{-2} \|U_H\|_2^2$，导出 $U_H \equiv 0$，矛盾。

（iii）终端端点分类：排除（i）（ii）后，剩余端点必为轴对称带旋涡类。更精确地，定理11.1断言：任意零输出、无严格后代的古代端点，若非二维平坦（flat two-dimensional，即 $\partial_3 u \equiv 0$ 且 $u_3 \equiv 0$），则必满足 $\partial_\theta u = 0$（在柱坐标 $(r,\theta,z)$ 下），即 $u = u^r(r,z) e_r + u^\theta(r,z) e_\theta + u^z(r,z) e_z$，且 $u^\theta \not\equiv 0$。推论2.3指出：若轴对称带旋涡类全局正则（即命题(AS)成立），则三维大初值正则性（命题(G)）成立；反之，(AS)的反例自动是(G)的反例。

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

本文的核心障碍在于：如何在缺乏先验对称性假设下，从完全一般的三维奇点序列中，系统性地剥离并排除所有非轴对称结构。作者的真正创新点并非引入新函数空间，而在于构建一套全新的分析框架——“活性壳-输出路由”（active hull–selected-output routing）体系，其包含四个相互支撑的支柱：

第一，标量涡量幅值恒等式（scalar vorticity-amplitude identity）的符号化重构。标准涡量方程 $\partial_t \omega + u \cdot \nabla \omega = S \omega + \nu \Delta \omega$ 导出 $\partial_t A = \xi \cdot S \omega - \nu \nabla \cdot (A \nabla \xi)$，但此式含奇异项 $\nabla \xi$。作者采用正则化 $A_\varepsilon = (|\omega|^2 + \varepsilon^2)^{1/2}$，得到关键恒等式（引理4.1）

令 $\varepsilon \to 0$ 得分布意义下的 $\partial_t A + u \cdot \nabla A - \nu \Delta A = A (\xi \cdot S \xi - \nu |\nabla \xi|^2)$。此式将奇点驱动源 $A^2 (\xi \cdot S \xi - \nu |\nabla \xi|^2)$ 严格分解为正负两部分，使后续分支论证成为可能。

第二，Carleson型正号捐赠者选择（Carleson-based signed donor selection）。在正生产分支，作者不采用绝对值 $|\omega \cdot S \omega|$ 的Littlewood–Paley分解，而是对 $(\omega \cdot S \omega)_+$ 进行符号化分解（附录D）。利用Carleson测度条件 $\sup_Q \frac{1}{|Q|} \sum_{N \le N_Q} \int_Q |P_N ((\omega \cdot S \omega)_+)|^2 dxdt < \infty$，从高频块中筛选出“正号捐赠质量”（positive-signed donor mass），其本质是保证所选频段对涡量拉伸有净正贡献。这避免了传统方法中因正负抵消导致的估计失效。

第三，精确正交无散活性壳构造（exact orthogonal solenoidal hull）。选定捐赠者后，作者构造一个有限带宽 $\Lambda_R = \{ N : c_0 R^{-1} \le N \le C_0 R^{-1} \}$ 上的无散度向量场 $U_H$，使其满足 $\operatorname{div} U_H = 0$ 且在 $L^2$ 意义下与捐赠者正交。关键工具是自伴壳算子（self-adjoint hull operator，见附录K.1）与边界通量展开（K.2），其确保 $U_H$ 的动能通量 $B_H$ 可被精确控制。任何构造误差——如投影缺陷、谱泄漏（spectral leakage）、无重计失败（no-overcount failure）——均不被忽略，而是作为明确定义的“输出”（outputs）列入清单（定义3.7），进入下一阶段路由。

第四，良基输出路由与秩箭验证（well-founded selected-output routing & rank-arrow verification）。所有输出按类型（O1–O9）分类，并由“选择输出打包/轮廓定理”（定理10.5）与“选择输出终止定理”（定理10.6）管理：无穷多个输出序列必满足三者之一：(a) 消耗有限全局货币（scale-invariant spacetime $L^4$ 量）；(b) 生成严格后代（strict descendant）；(c) 提取一个古代选择输出轮廓（ancient selected-output profile）。后者再经“秩箭”（rank-arrow）验证表（定理12.1）检验：其秩（rank）定义为非轴对称自由度的数量，每一步路由必导致秩严格下降或结构退化（如变为二维平坦）。最终，仅剩秩为1（单轴对称）的端点无法被进一步排除，即轴对称带旋涡类。

4. 与之前工作的比较

本文与既有工作存在根本性差异，主要体现在目标、假设、技术路径与适用范围四个维度：

（1）目标维度：Caffarelli–Kohn–Nirenberg（CKN）理论旨在刻画奇点集的Hausdorff维数（$\dim_{\mathcal{H}} \mathcal{S} \le 1$），其结论是集合论意义上的；而本文目标是结构论意义上的端点分类，即证明任何第一奇点必退化为特定对称类，而非仅仅限制其大小。Vasseur的$\mathcal{V}$-solutions方法引入广义解空间以处理弱极限，但未提供端点的具体几何刻画；本文则坚持在经典光滑解框架内，通过端点提取获得精确对称性。

（2）假设维度：CKN、Lin及Gustafson–Kang–Tsai的准则均依赖局部涡量 $L^{p,q}_{x,t}$ 小性；本文仅需奇点存在性这一最弱假设，不预设任何小性、衰减或方向正则性条件。Constantin–Fefferman准则要求 $\nabla \xi \in L^\infty_{x,t}$，本文则证明：若该条件不成立，则必触发正生产分支并导向轴对称；换言之，方向奇异性本身即为轴对称化的驱动力。

（3）技术路径维度：Beale–Kato–Majda与Koch–Tataru理论聚焦于临界空间（如 $BMO^{-1}$）中的适定性，其工具为调和分析与仿积；本文虽使用Littlewood–Paley，但核心是将频谱分析嵌入一个动态的、由物理通量驱动的停止时间构造（stopping-time construction）中。例如，CKN的覆盖引理是静态的，而本文的“通量封闭活性壳”构造是动态路由过程：每个捐赠者是否加入壳，取决于其边界通量 $\int_{\partial B_R} |U_H \cdot n| |U_H| d\sigma$ 是否超过阈值，这直接关联到Navier-Stokes非线性的动能转移物理。

（4）适用范围与代价维度：本文结论是“还原”（reduction）而非“解决”，其代价是将全局正则性问题移交至轴对称带旋涡子问题。然而，这一移交极具价值：首先，它将无限维问题压缩至二维参数空间（$(r,z)$）；其次，它排除了所有已知的三维复杂机制（如Beltrami流、螺旋波、混沌涡线缠绕），使未来研究可集中于该子类的精细结构；最后，它与Chae–Lee（2002）的等价性定理形成闭环：$\text{(G) holds} \iff \text{(AS) holds}$。值得注意的是，本文未处理轴对称子问题本身，亦未声称解决了它；从提供内容中无法确认该子问题的最新进展。此外，作者明确指出其方法不适用于二维情形（因二维涡量方程无拉伸项 $S\omega$），故其框架本质上是三维特异的。

16. 可压缩Navier–Stokes方程在临界Besov空间中的高马赫数极限

High Mach number limit of the compressible Navier–Stokes equations in critical Besov spaces

作者: Jinkai Ni, Zhipeng Zhang

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09808v1

摘要翻译: 我们在临界Besov框架下研究尺度化可压缩Navier–Stokes系统的高马赫数极限。在尺度化动量方程中，压力项由 $\varepsilon^2\nabla a^\varepsilon$ 表示，其中 $\varepsilon$ 为马赫数的倒数；当 $\varepsilon\to0$ 时，形式极限系统为可压缩无压Navier–Stokes系统。该分析因极限模型中缺乏密度耗散项、以及粘性项所导致的最高阶耦合而变得复杂。对 $d\geq2$，我们证明了尺度化系统对小初值数据的整体适定性，并获得关于 $\varepsilon$ 一致的先验估计。一个关键工具是依赖参数的低阶估计：对 $\varepsilon a^\varepsilon$ 的估计，它补偿了密度方程纯输运的本质，从而使得一致先验界得以闭合。基于这些估计，我们严格验证了高马赫数极限，并恢复出无压Navier–Stokes系统的一个整体强解。对 $d\geq3$，我们进一步导出了尺度化解与无压极限解之间的定量误差估计。更精确地，在每个固定的有限时间区间上，若初始误差为 $\mathcal{O}(\varepsilon)$ 阶，则相应低阶临界Besov误差亦满足同一阶率，从而给出无压极限的定量验证。

Comment: 30 pages

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

1. 研究对象和背景

本文研究的是等熵可压缩Navier-Stokes方程在高马赫数极限（即马赫数 $\mathrm{Ma} \to \infty$，等价于无量纲参数 $\varepsilon = \mathrm{Ma}^{-1} \to 0$）下的渐近行为，其原始系统为

其中 $\rho^\varepsilon(t,x) > 0$ 为密度，$u^\varepsilon(t,x) \in \mathbb{R}^d$ 为速度，压力取为 $P(\rho^\varepsilon) = K (\rho^\varepsilon)^2$（即绝热指数 $\gamma = 2$），粘性系数 $\mu > 0$, $2\mu + d\lambda \ge 0$ 满足物理约束。系统定义在全空间 $\mathbb{R}^d$ 上，$d \ge 2$。为适配临界正则性框架，作者引入扰动变量 $a^\varepsilon = \rho^\varepsilon - 1$，从而将系统重写为

其中 $f(a^\varepsilon) = a^\varepsilon / (1 + a^\varepsilon)$。形式极限 $\varepsilon \to 0$ 给出无压Navier-Stokes系统（pressureless NS）：

在扰动变量下，极限系统对应于 $a = \rho - 1$ 满足的方程组，其关键特征是：密度方程完全丧失耗散项（即无 $\Delta a$ 或 $\varepsilon^2 \Delta a$），仅保留纯输运结构 $\partial_t a + \mathrm{div}\, u = -\mathrm{div}(a u)$；而速度方程中粘性项与密度耦合最高阶（$\sim f(a) \Delta u$），导致传统能量方法无法直接获得关于 $a$ 的一致先验估计。这一双重障碍——密度无耗散、高阶非线性耦合——使得高马赫极限的严格数学分析远比低马赫极限（即不可压极限，对应 $\varepsilon \to 0$ 但压力项为 $\varepsilon^{-2} \nabla P$）困难得多。已有工作如Danchin [11]、Guo et al. [17]、Wang et al. [31] 和 Li–Ni–Zhang [26] 已在临界Besov空间 $\dot{B}^{d/2}_{2,1} \times \dot{B}^{d/2-1}_{2,1}$ 中建立了无压系统的全局适定性与最优衰减率（如 $\|u(t)\|_{L^2} \lesssim (1+t)^{-3/4}$），但尚未有任何工作对 $\varepsilon \to 0$ 的极限过程给出严格证明，更未建立定量误差估计。本文旨在填补这一根本性空白：在临界 $L^2$-型Besov框架下，首次实现高马赫极限的严格、一致、定量的数学刻画。

2. 主要定理或主要结果

本文共含四个核心定理。定理1.1（局部适定性）指出：对任意 $d \ge 2$ 与 $0 < \varepsilon < 1$，若初始数据满足 $\varepsilon a^\varepsilon_0 \in \dot{B}^{d/2-1}_{2,1}$、$u^\varepsilon_0 \in \dot{B}^{d/2-1}_{2,1}$、$a^\varepsilon_0 \in \dot{B}^{d/2}_{2,1}$ 且 $\|a^\varepsilon_0\|_{\dot{B}^{d/2}_{2,1}} \le \kappa_0$（$\kappa_0$ 充分小），则存在 $T^\varepsilon > 0$，使得系统(1.5)存在唯一强解 $(a^\varepsilon, u^\varepsilon)$，且满足 $a^\varepsilon \in C([0,T^\varepsilon]; \dot{B}^{d/2}_{2,1})$、$u^\varepsilon \in C([0,T^\varepsilon]; \dot{B}^{d/2-1}_{2,1}) \cap L^1(0,T^\varepsilon; \dot{B}^{d/2+1}_{2,1})$、$\varepsilon a^\varepsilon \in C([0,T^\varepsilon]; \dot{B}^{d/2-1}_{2,1}) \cap L^1(0,T^\varepsilon; \dot{B}^{d/2+1}_{2,1} + \dot{B}^{d/2}_{2,1})$。定理1.2（一致全局估计）是全文基石：设 $d \ge 2$，定义混合范数初值大小 $X^{\varepsilon}_0 := \varepsilon \|a^\varepsilon_0\|^{\ell}_{\dot{B}^{d/2-1}_{2,1}} + \|u^\varepsilon_0\|_{\dot{B}^{d/2-1}_{2,1}} + \|a^\varepsilon_0\|^{m+h}_{\dot{B}^{d/2}_{2,1}}$，若 $X^{\varepsilon}_0 \le \delta_0$（$\delta_0 > 0$ 独立于 $\varepsilon$），则系统(1.5)存在唯一全局强解，且其混合能量泛函 $X^\varepsilon(t)$ 满足一致上界 $X^\varepsilon(t) \le C X^{\varepsilon}_0$，其中 $$ X^\varepsilon(t) := \varepsilon |a^\varepsilon|^{\ell}{\widetilde{L}^\infty_t(\dot{B}^{d/2-1}{2,1})} + |u^\varepsilon|^{\ell}{\widetilde{L}^\infty_t(\dot{B}^{d/2-1}{2,1})} + \varepsilon |a^\varepsilon|^{\ell}{L^1_t(\dot{B}^{d/2+1}{2,1})} + |u^\varepsilon|^{\ell}{L^1_t(\dot{B}^{d/2+1}{2,1})} \

• |a^\varepsilon|^{m+h}{\widetilde{L}^\infty_t(\dot{B}^{d/2}{2,1})} + |u^\varepsilon|^{m+h}{\widetilde{L}^\infty_t(\dot{B}^{d/2-1}{2,1})} + \varepsilon^2 |a^\varepsilon|^{m+h}{L^1_t(\dot{B}^{d/2}{2,1})} + |u^\varepsilon|^{m+h}{L^1_t(\dot{B}^{d/2+1}{2,1})}.
  $$ 此处 $\ell, m, h$ 分别表示低频 $|\xi| \le \varepsilon$、中频 $\varepsilon < |\xi| \le \varepsilon^{1-\delta_c}$、高频 $|\xi| > \varepsilon^{1-\delta_c}$（$0 < \delta_c < 1$）三部分，范数定义见(1.13)-(1.14)。定理1.3（高马赫极限）表明：当 $d \ge 2$ 且极限初值 $(a_0, u_0)$ 满足 $X_0 := \|a_0\|_{\dot{B}^{d/2-1}_{2,1}} + \|a_0\|_{\dot{B}^{d/2}_{2,1}} + \|u_0\|_{\dot{B}^{d/2-1}_{2,1}} \le \delta_1$ 时，存在一族逼近初值 $(a^\varepsilon_0, u^\varepsilon_0) \to (a_0, u_0)$，其对应的解 $(a^\varepsilon, u^\varepsilon)$ 在 $\varepsilon \to 0$ 下弱-*收敛于 $(a,u)$，且 $(a,u)$ 是无压系统(1.2)的唯一全局强解，满足 $a \in C(\mathbb{R}_+; \dot{B}^{d/2}_{2,1})$、$u \in C(\mathbb{R}_+; \dot{B}^{d/2-1}_{2,1}) \cap L^1(\mathbb{R}_+; \dot{B}^{d/2+1}_{2,1})$ 及一致估计(1.22)。定理1.4（有限时间误差估计）针对 $d \ge 3$，若初值误差满足 $\|a^\varepsilon_0 - a_0\|_{\dot{B}^{d/2-1}_{2,1}} + \|u^\varepsilon_0 - u_0\|_{\dot{B}^{d/2-2}_{2,1}} \le \varepsilon$，则对任意固定 $T > 0$，有 $$
  |a^\varepsilon - a|{\widetilde{L}^\infty_T(\dot{B}^{d/2-1}{2,1})} + |u^\varepsilon - u|{\widetilde{L}^\infty_T(\dot{B}^{d/2-2}{2,1})} + |u^\varepsilon - u|{L^1_T(\dot{B}^{d/2}{2,1})} + |\partial_t(u^\varepsilon - u)|{L^1_T(\dot{B}^{d/2-2}{2,1})} \le C_T \varepsilon, $$ 其中常数 $C_T$ 依赖于 $T$ 但独立于 $\varepsilon$。

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

证明的核心障碍在于：密度方程 $\partial_t a^\varepsilon + \mathrm{div}\, u^\varepsilon = -\mathrm{div}(a^\varepsilon u^\varepsilon)$ 缺乏任何耗散机制，其本质是纯输运型，故无法通过标准能量法获得 $a^\varepsilon$ 的一致 $L^1_t(\dot{B}^{s}_{2,1})$ 控制；同时，压力项 $\varepsilon^2 \nabla a^\varepsilon$ 在高频区表现为强振荡源项，其尺度与 $\varepsilon^2$ 相关，传统频率分解难以处理。作者的根本创新在于提出一种三频段自适应分解框架，并辅以参数依赖的低阶加权估计。具体而言：(1) 频谱分析揭示线性化算子的特征值在 $|\xi| \sim \varepsilon$ 处发生模态分离，因此作者将频率空间划分为三个区域：低频 $|\xi| \le \varepsilon$、中频 $\varepsilon < |\xi| \le \varepsilon^{1-\delta_c}$、高频 $|\xi| > \varepsilon^{1-\delta_c}$，其中 $\delta_c \in (0,1)$ 是待选小参数。(2) 在低频区，利用 $\|a^\varepsilon\|^{\ell}_{\dot{B}^{d/2}_{2,1}} \lesssim \varepsilon \|a^\varepsilon\|^{\ell}_{\dot{B}^{d/2-1}_{2,1}}$（由Bernstein不等式导出）将高阶密度估计降为对 $\varepsilon a^\varepsilon$ 的控制，从而规避了密度无耗散问题。(3) 在中频区，作者发现标准有效速度方法失效，转而采用精细的 $L^2$ 型能量估计，并结合引理2.5（最优正则性估计）恢复 $\|u^\varepsilon\|^{m}_{L^1_t(\dot{B}^{d/2+1}_{2,1})}$ 而非带 $\varepsilon^2$ 因子的退化估计。(4) 在高频区，作者构造了一个全新的有效速度变量 $\omega^\varepsilon := \nabla(-\Delta)^{-1}(\frac{\varepsilon^2 a^\varepsilon}{2\mu + \lambda} - \mathrm{div}\, u^\varepsilon)$，该构造的关键在于其能将压力项 $\varepsilon^2 \nabla a^\varepsilon$ 的贡献转化为 $\varepsilon^{2\delta_c} \|\omega^\varepsilon\|^{h}_{L^1_t(\dot{B}^{d/2+1}_{2,1})}$ 和 $\varepsilon^{2+2\delta_c} \|a^\varepsilon\|^{h}_{L^1_t(\dot{B}^{d/2}_{2,1})}$，其中 $\varepsilon^{2\delta_c}$ 提供了所需的微小性，使这些项可被耗散项吸收。(5) 最终的一致性闭合依赖于一个关键引理（文中隐含于定理1.2证明中）：对 $\varepsilon a^\varepsilon$ 的低阶估计 $\varepsilon \|a^\varepsilon\|^{\ell}_{\widetilde{L}^\infty_t(\dot{B}^{d/2-1}_{2,1})} \lesssim X^\varepsilon_0$，该估计本身需在完成主估计后反向推导，是整个论证链的枢纽。

4. 与之前工作的比较

本文与既有工作存在本质性推进。首先，与低马赫极限研究（如Danchin [8], Danchin-He [12], Fujii [15]）相比，后者处理的是 $\varepsilon^{-2} \nabla P$ 型压力项，其主导效应是快速振荡，可通过声波-涡旋分解或Schochet方法消除；而本文的 $\varepsilon^2 \nabla a^\varepsilon$ 项在极限中消失，但其“残余影响”导致密度方程完全退化，这是低马赫极限所不具有的新障碍。其次，与无压系统自身的研究（如Danchin [11], Guo et al. [17], Li-Ni-Zhang [26]）相比，本文不仅建立了极限系统的适定性，更首次实现了从可压到无压的严格、一致、可量化的过渡。例如，[26] 在 $\dot{B}^{d/2}_{2,1} \times \dot{B}^{d/2-1}_{2,1}$ 中得到 $\|u(t)\|_{L^2} \lesssim (1+t)^{-3/4}$，但其解不依赖于 $\varepsilon$；而本文的解 $(a^\varepsilon, u^\varepsilon)$ 必须在所有 $\varepsilon$ 下保持一致有界，这要求对 $a^\varepsilon$ 的控制必须是 $\varepsilon$-加权的（如 $\varepsilon a^\varepsilon$）。第三，在技术层面，与Danchin的经典工作 [10] 相比，后者使用单一有效速度 $\omega = \nabla(-\Delta)^{-1}(\frac{1}{2\mu+\lambda} a - \mathrm{div}\, u)$ 处理可压NS，但其无法处理 $\varepsilon \to 0$ 下的尺度失配；本文的 $\omega^\varepsilon$ 显式包含 $\varepsilon^2$ 因子，是专为高马赫极限设计的。第四，误差估计的维度亦有显著差异：定理1.4的 $O(\varepsilon)$ 速率仅在 $d \ge 3$ 的有限时间区间成立，这源于压力余项 $\varepsilon^2 \nabla a^\varepsilon$ 的 $L^1_T$ 控制产生 $\varepsilon T$ 因子（见Remark 1.5），而 $d = 2$ 时因 $\dot{B}^0_{2,1}$ 是临界嵌入的端点，标准 $\ell^1$-稳定性估计失效，故无法获得Lipschitz型误差界。最后，本文的代价是：必须放弃对高频密度 $a^\varepsilon$ 的临界正则性控制（见Remark 1.4），仅能在 $\dot{B}^{d/2}_{2,1}$ 范数下控制其 $m+h$ 部分，而无法获得 $\|a^\varepsilon\|^h_{\widetilde{L}^\infty_t(\dot{B}^{d/2}_{2,1})}$ 的一致界，这反映了高马赫极限下密度正则性的固有损失。

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

1. 满足小Carleson条件系数的抛物型算子的 $L^p$ Neumann 问题

The $L^p$ Neumann problem for parabolic operators with coefficients satisfying small Carleson condition

作者: Martin Dindoš, Linhan Li, Jill Pipher

类别: math.AP, math.CA

发布日期: 2026-06-08

arXiv ID: 2606.09614v1

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

摘要翻译

中文标题: 满足小Carleson条件系数的抛物型算子的 $L^p$ Neumann 问题

摘要翻译: 本文解决了如下问题：在 Lipschitz 圆柱域 $\mathcal O\times\mathbb R$ 上，抛物型偏微分方程 $-\partial_tu + \mathrm{div}(A\nabla u)=0$ 的 Neumann 问题是否对某个 $p\in (1,\infty)$ 可解，其中矩阵 $A$ 是椭圆的、具有有界可测系数，且满足一个自然的 Carleson 条件（即所谓 DKP 条件的抛物型类比）。 我们证明：对任意 $1<p<\infty$，只要系数的 Carleson 范数与区域的 Lipschitz 常数均充分小（其小性依赖于 $p$），则该 Neumann 问题即可解。而在“大 Carleson 范数/大 Lipschitz 常数”情形下的可解性问题仍未解决；甚至对于椭圆型 PDE，该问题也仅在二维情形下得到解决。 本文补充了我们近期手稿（同一作者）的结果，其中抛物型正则性问题已在小 Carleson 范数与大 Carleson 范数两种情形下被完全解决。此前，在相同条件下，Dirichlet 问题已被多位作者解决。

2. 一类 Zakharov 型系统在区域上的整体存在性

Global existence for a Zakharov type system in a domain

作者: Nobutatsu Kobayashi, Masahito Ohta

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09519v1

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

摘要翻译

中文标题: 一类 Zakharov 型系统在区域上的整体存在性

摘要翻译: 我们在一般区域上研究三维空间中一类 Zakharov 型系统的初边值问题。在初始数据足够小的假设下，我们构造了唯一的全局强解。该解通过基于高阶能量估计的直接方法获得，并在适当的 Banach 空间中构造 Cauchy 序列，未使用紧性方法。此外，我们得到了解的高阶 Sobolev 范数的增长估计。

3. 混合符号二次 Dirac 方程在 $N$-星度量图上的低正则性适定性

Low-regularity well-posedness for a mixed-sign quadratic Dirac equation on $N$-star metric graphs

作者: Huichao Xing, Zhipeng Yang

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09429v1

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

摘要翻译

中文标题: 混合符号二次 Dirac 方程在 $N$-星度量图上的低正则性适定性

摘要翻译: 我们研究非紧 $N$-星度量图 $G$ 上混合符号二次 Dirac 方程的柯西问题，

其中 $ψ=(ψ_1,ψ_2)^{\mathsf T}:\mathbb{R}\times G\to\mathbb{C}^2$，且 $D$ 表示 $G$ 上的自伴 Dirac-Kirchhoff 算子。非线性项逐边作用，由正负谱部分之间的双线性相互作用给出，

其中 $Π_\pm$ 是 $D$ 的谱投影，$\mathcal B$ 是定义在 $\mathbb{C}^2$ 上的一个固定双线性映射，并在每条边上分量式地应用。该模型是为适配混合符号 Bourgain 空间机制而定制的二次相互作用，而非图上一般非线性 Dirac 方程。利用与 $D$ 的谱分解相关联的 Bourgain 型空间，以及 $N$-星图上的混合符号双线性估计，我们证明了算子 Sobolev 空间 $H_D^s(G)$ 中 $s> -\frac{1}{8}$ 时的局部适定性。此外，我们在 $H_D^s(G)$ 中建立了关于最大前向生命期的爆破替代准则。

4. 不同边界条件下 Rayleigh-Lamb 色散关系的渐近分析

Asymptotic analysis of Rayleigh-Lamb dispersion relations under various boundary conditions

作者: Angele Niclas, Titouan Rocabois

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09374v1

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

摘要翻译

中文标题: 不同边界条件下 Rayleigh-Lamb 色散关系的渐近分析

摘要翻译: 我们研究弹性波导中出现的 Rayleigh-Lamb 色散关系的复根的渐近行为。我们考虑 Neumann 边界条件、Dirichlet 边界条件以及流体边界条件，并推导出相应波数 $k$ 在 $|k| \to \infty$ 时的显式渐近展开式。在 Neumann 情形下，我们为长期以来在文献中被广泛使用但缺乏严格证明的渐近公式提供了严格的数学依据，并补充了高阶项及显式常数。对 Dirichlet 和流体边界条件也获得了类似结果。该分析依赖于将色散关系重述为全纯函数的零点，并利用 Lambert 函数的渐近性质。我们还展示了这些渐近展开式如何用于建立弹性波导问题的模态分解与适定性（well-posedness）结果。数值实验验证了所提出公式的精度。

5. 具有通用势的薛定谔算子达到最大共振密度

Schrdinger operators with generic potentials achieve maximal resonance density

作者: Travis Cunningham

类别: math.SP, math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09358v1

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

摘要翻译

中文标题: 具有通用势的薛定谔算子达到最大共振密度

摘要翻译: 我们证明：对一个通用的实值或复值紧支集势，相应的薛定谔算子达到最大共振密度，即其积分共振计数函数达到最优渐近上界。在奇数维情形下，该结论可由 Dinh–Vu 的结果推出，只需将 Christiansen–Hislop 的论证加以适配。偶数维情形的证明构成本文主体，我们证明了若干关于共振的新结果，这些结果在奇数维情形下均有对应版本。这包括：对任意紧支集势，其积分共振计数函数的一个尖锐上界；球的特征函数所对应的共振计数函数达到该最优上界；以及 Dinh–Vu 关于解析势族中全纯极子集补集上共振计数函数渐近行为结果的一个偶数维类比。我们利用共振作为与散射矩阵相关的某类 Fredholm 行列式函数之零点这一刻画，从而得以应用单复变与多复变理论中的技巧与结果。我们对球的特征函数之计数函数达到最优上界的证明，依赖于 Bessel 函数的一致渐近展开，并沿用了 Zworski、Christiansen–Hislop 与 Dinh–Vu 的思想。

6. 几何聚焦对Schrödinger方程与波动方程色散估计的影响

The effect of geometric focusing on dispersive estimates for Schrödinger and wave equations

作者: Qiuye Jia, Junyong Zhang

类别: math.AP, math.DG

发布日期: 2026-06-08

arXiv ID: 2606.09280v1

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

摘要翻译

中文标题: 几何聚焦对Schrödinger方程与波动方程色散估计的影响

摘要翻译: 我们在非捕获渐近锥形流形及精确度量锥上，依据几何聚焦强度对Schrödinger方程与波动方程色散估计的长时间衰减率进行分类。设 $X_0$ 为一度量锥，我们的一项主要结果表明：边界 $Y=\partial X_0$ 上距离不超过 $\pi$ 的每一对共轭点重数，均导致Schrödinger方程色散估计的长时间衰减阶损失 $|t|^{1/2}$，并引起正则性指标下降半阶。出乎意料的是，当承载波传播的Legendre子流形满足我们所提出的自然容许条件时，$Y$ 上距离恰为 $\pi$ 的共轭点对并不引发损失。总之，我们给出了一个用于证明色散估计的鲁棒框架，该框架在几何扰动下稳定，且亦可容纳位势扰动。

7. 有界域中非对称椭圆算子的泊松核

A Poisson Kernel for a Non-Symmetric Elliptic Operator in a Bounded Domain

作者: Seick Kim

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09256v1

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

摘要翻译

中文标题: 有界域中非对称椭圆算子的泊松核

摘要翻译: 我们研究单位圆盘中一致椭圆散度型方程 $Lu=\mathrm{div}(\mathbf{A}\nabla u)=0$ 的狄利克雷问题，其中系数矩阵 $\mathbf{A}$ 是非对称的，且在一条直径上具有跳跃间断。通过将二阶方程约化为一阶狄拉克系统，我们导出了以经典泊松积分加上一个奇异积分换位子（该换位子未必是小量）所构成的解的显式表示。该表示揭示了解算子的一些有趣性质。特别地，我们阐明了Axelsson在半空间模型中所构造的变号泊松核的产生机制。

8. Caffarelli-Kohn-Nirenberg 不等式与加权高斯 Poincaré 不等式：$L^2$ 稳定性的完全刻画及 $L^p$ 推广

Caffarelli-Kohn-Nirenberg and Weighted Gaussian Poincaré Inequalities: a complete characterization of sharp $L^2$ stability and $L^p$ extensions

作者: Anh Xuan Do, Nguyen Lam, Guozhen Lu, Van Hoang Nguyen

类别: math.AP, math.FA

发布日期: 2026-06-08

arXiv ID: 2606.08939v1

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

摘要翻译

中文标题: Caffarelli-Kohn-Nirenberg 不等式与加权高斯 Poincaré 不等式：$L^2$ 稳定性的完全刻画及 $L^p$ 推广

摘要翻译: 我们引入了一类新的带权高斯 $L^2$-Poincaré 型不等式，其具有显式的最优常数、极值函数以及相应的最优 $L^2$-梯度稳定性估计。该族不等式极大地推广了经典高斯 Poincaré 不等式。由于所涉权函数的奇异性，经典高斯 Poincaré 不等式的标准方法不再适用。为克服这一困难，我们发展了一种新方法，该方法基于广义 Laguerre 多项式展开、球谐函数分解以及一类 Kelvin 型变换。

作为应用，我们完全刻画了 $L^2$-Caffarelli–Kohn–Nirenberg (CKN) 不等式的稳定性：在全部参数范围内建立了最优稳定性估计，并进一步确立了该稳定性不等式结果本身的稳定性。此前的结果仅在少数特殊情形下成立。我们进一步对所有 $p>1$ 建立了加权 $L^p$-Poincaré 不等式，并在已知最优常数与极值函数的全部参数区域内，对 $p\geq 2$ 建立了 $L^p$-CKN 不等式的稳定性估计。相比之下，早期的 $L^p$ 结果仅限于极为受限的参数范围。

9. 一类拟线性反应-扩散方程的有界性与演化速率

Boundedness and evolution rates for a quasilinear reaction-diffusion equation

作者: Razvan Gabriel Iagar, Marta Latorre, Ariel Sánchez

类别: math.AP

发布日期: 2026-06-07

arXiv ID: 2606.08861v1

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

摘要翻译

中文标题: 一类拟线性反应-扩散方程的有界性与演化速率

摘要翻译: 我们考虑如下拟线性反应-扩散方程

其中空间维数 $N\geq3$，指数满足 $1<p<m$ 且 $-\infty<\sigma<-2$。我们证明：对初值 $u_0$ 满足

相应柯西问题的解 $u$ 在全时间区间上一致上下有界：

其中 $C_1,C_2>0$ 为常数。在关于 $p$ 的适当条件下，我们还建立了紧支集初值对应的正性集合上界 $R(t)$ 的扩张速率：

并建立了外区域上的\emph{不同时间尺度}：

此有界性与作者先前关于 $\sigma>-2$ 时解随 $t\to\infty$ 发生 grow-up 的结论形成鲜明对比，凸显了指数阈值 $\sigma=-2$ 的本质特征。

10. 环面本征函数的限制估计与球形区域中的格点

Restriction estimates for toral eigenfunctions and lattice points in spherical regions

作者: Cheng Zhang, Zhifei Zhu

类别: math.AP, math.CA, math.NT, math.SP

发布日期: 2026-06-07

arXiv ID: 2606.08650v1

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

摘要翻译

中文标题: 环面本征函数的限制估计与球形区域中的格点

摘要翻译: 我们建立了环面本征函数的新 $L^2$ 限制估计。这些估计在某些情形下是 sharp 的，从而证明了 Huang-Zhang 关于高余维光滑子流形的猜想。特别地，它们为 Bourgain-Rudnick 猜想提供了新的进展。证明结合了切片与填充方法，以及 Magyar-Stein-Wainger 和 Magyar 对离散球面乘子的逼近。

11. 分数阶 $p$-拉普拉斯算子的强比较原理与对称性结果

Strong comparison principle and symmetry results for the fractional $p$-Laplacian

作者: Anup Biswas, Subhajit Roy, Aniket Sen

类别: math.AP

发布日期: 2026-06-07

arXiv ID: 2606.08559v1

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

摘要翻译

中文标题: 分数阶 $p$-拉普拉斯算子的强比较原理与对称性结果

摘要翻译: 本文研究有界区域 $Ω\subset \mathbb{R}^n$（其中 $n\geq 2$, $p>2$）中方程

的性质，其中 $f$ 是局部 Lipschitz 连续函数。我们在相当一般的设定下建立了强比较原理，并利用该原理推导出满足 Dirichlet 边界条件的正 $C^1$ 解的对称性结果。我们还证明：当 $p\in \left[2,\frac{2}{1-s}\right)$ 时，$C^1$ 正则性假设确实成立。

12. 混合局部与非局部椭圆方程的逐点任意高阶内估计

Pointwise arbitrarily high-order interior estimates for mixed local and nonlocal elliptic equations

作者: Pengyan Wang, Leyun Wu, Chilin Zhang

类别: math.AP

发布日期: 2026-06-07

arXiv ID: 2606.08389v1

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

摘要翻译

中文标题: 混合局部与非局部椭圆方程的逐点任意高阶内估计

摘要翻译: 本文主要研究混合局部-非局部椭圆方程 \begin{equation*} (-Δ)^{s}u(x)-Δu(x)=f(x),\quad x\in B_r(0) \end{equation*} 在 $0<s<1$ 下的逐点、任意高阶内估计。该设定下的主要困难在于缺乏显式 Green 函数，且标准的 bootstrap 论证失效。 我们的方法采用 Campanato 迭代法，通过归纳方式构造逼近解的多项式。利用所有函数在局部上至多相差一个微小误差即为 $s$-调和函数这一事实，可显著降低在这些多项式上分析分数阶拉普拉斯算子正则性时的计算复杂度。最终，正则性估计由对一个可控的递归不等式系统进行分析而获得。

13. 具有椭圆背景和完整孤子气的聚焦非线性薛定谔方程的逆散射

Inverse scattering for the focusing nonlinear Schrödinger equation with elliptic background and full soliton gas

作者: Tamara Grava, Robert Jenkins, Xiaofan Zhang, Zechuan Zhang

类别: math.AP, math-ph, nlin.SI

发布日期: 2026-06-06

arXiv ID: 2606.08321v1

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

摘要翻译

中文标题: 具有椭圆背景和完整孤子气的聚焦非线性薛定谔方程的逆散射

摘要翻译: 在本文中，我们建立了三次聚焦非线性薛定谔方程 $i u_t + u_{xx} + 2|u|^2 u = 0$ 的正向与逆散射问题，其初始数据在 $\pm \infty$ 处渐近于具有不同相位的椭圆行波。我们考虑谱带与实轴相交的情形。随后我们证明：该类初始数据与完整孤子气（full soliton gas）初始数据的交集非空。

不相关论文（基本信息）

1. 仿射 $p$-Sobolev 不等式的尖锐定量稳定性，第一部分：情形 $2\le p<n$

Sharp Quantitative Stability for the Affine $p$-Sobolev Inequality, Part I: The Case $2\le p<n$

作者: Song Fan, Gui-Dong Li, Jianjun Zhang

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09555v1

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

摘要: We prove a sharp quantitative stability result for the affine $L^p$-Sobolev inequality, for $p\ge2$, introduced by Lutwak–Yang–Zhang (\emph{J. Differential Geom.}, \textbf{62} (2002), 17–38). Moreover, the stability exponent is shown to be optimal, and equal to $p$.

2. 非齐次Monge-Ampère Dirichlet问题的Jensen亏量

Jensen Deficits for Inhomogeneous Monge-Ampère Dirichlet Problems

作者: Frank Wikström

类别: math.CV, math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09492v1

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

摘要: We develop an inhomogeneous form of Edwards’ Jensen-measure duality for Perron envelopes constrained by Monge–Ampère lower bounds. The admissible subsolution families are convex but not cones; nevertheless, the dual measures remain the homogeneous Jensen measures, and the right-hand side enters through a scalar Jensen deficit $ B_{\mathcal{A}}(x,μ) = \inf_{u\in\mathcal{A}} \left(\int_{\partialΩ}u\,dμ-u(x)\right). $ Under natural structural hypotheses we prove a boundary dual formula [ \sup{u(x):u\in\mathcal{A},\ u\leq\varphi\text{ on }E}

\inf_{μ\in J_x^\partial} \left( \int_{\partialΩ}\varphi,dμ

B_{\mathcal{A}}(x,μ) \right). ] We apply the theorem to real Alexandrov subsolutions and to complex Bedford–Taylor plurisubharmonic subsolutions with continuous density. In one real dimension the deficit is the Green-potential correction; in higher dimensions it has intrinsic stress and current interpretations. On B-regular domains, a bounded Bedford–Taylor approximation theorem identifies bounded and continuous competitors and yields a duality proof of continuity for the corresponding Dirichlet solution. Finally, for smooth strictly elliptic solutions, optimal Jensen measures are the harmonic measures of the linearized Monge–Ampère operators, equivalently the boundary derivatives of the nonlinear solution map.

3. 含多个孔洞的二阶类泰勒拓扑展开

Second order Taylor-like topological expansion with multiple holes

作者: Kevin Sturm

类别: math.OC, math.AP

发布日期: 2026-06-08

arXiv ID: 2606.09363v1

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

摘要: In this paper we derive a framework for topological expansions of shape functionals with respect to multiple holes based on the expansion of one hole. Our strategy is similar to deriving a Taylor expansion of order two of functions in $\mathbf R^d$ by applying $d$-times a Taylor expansion in $\mathbf R$. For shape functionals defined on subsets of $\mathbf R^2$ we relate the topological expansion with multiple holes to a Taylor expansion with respect to the ball volumes where usual derivatives are replaced by topological state derivatives. The first topological state derivative was introduced in a previous paper and relates the first topological derivative of cost functionals. The second topological state derivative at two distinct points is introduced, similar to a second directional derivatives of functions defined on Banach spaces, as the topological state derivative of the topological state derivative. The second topological state derivative at the same point is defined as the “far-away” component of the compound layer expansion of the state variable. In dimension three the obtained topological expansion still involves first and second topological state derivatives, but it does not follow the same pattern of a Taylor expansion in the ball volumes. As we will show this dimension dependent behaviour is rather of geometrical nature and already appears in cost functionals without PDE constraints.

4. Kahler-Ricci 流的渐近剖面与非平凡呼吸子

Asymptotic Profiles and Non-Trivial Breathers in Kahler-Ricci Flow

作者: Longteng Chen

类别: math.DG, math.AP

发布日期: 2026-06-07

arXiv ID: 2606.08837v1

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

摘要: In this paper, we investigate the relationship between the long time behaviour of solutions to the Kahler-Ricci flow on an asymptotically conical gradient Kahler-Ricci expander and the asymptotic behaviour of their initial data at spatial infinity.

5. 具有临界衰减的真空初始数据的正向构造

Forward Construction of Vacuum Initial Data with Borderline Decay

作者: Xuantao Chen, Sergiu Klainerman

类别: gr-qc, math.AP, math.DG

发布日期: 2026-06-07

arXiv ID: 2606.08716v1

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

摘要: We make use of the free data formalism developed in \cite{CK25} to construct solutions of the Einstein vacuum constraint equations by integrating in the forward direction. This, together with a new gauge condition based on effective uniformization, allows us to construct general solutions with limited decay at spacelike infinity. In particular, we construct solutions with minimal and even borderline decay, as considered in \cite{Shen23}, \cite{Shen24} in connection with the stability of the Minkowski space. In a forthcoming paper, we make use of the techniques we develop here to identify and construct a general class of short-pulse Cauchy data that lead to the formation of trapped surfaces, extending the well-known result of \cite{LiYu}.

6. 从内部测量 simultaneously recovery 多个参数于非局部扩散方程中

Simultaneous recovery of multiple parameters in nonlocal diffusion equations from internal measurements

作者: Kai Yu, Zhiyuan Li, Yikan Liu

类别: math.NA, math.AP

发布日期: 2026-06-07

arXiv ID: 2606.08699v1

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

摘要: This paper is devoted to simultaneously recovering multiple parameters from internal measurements for nonlocal diffusion equations. The uniqueness of the inverse problem is established by employing the asymptotic behavior of solutions, analytic continuation, the Laplace transform, and properties of analytic functions. For numerical reconstruction, we apply the Levenberg-Marquardt method to obtain a stable approximate solution of the inverse problem. Numerical examples are provided to demonstrate the efficiency of the proposed algorithm and to validate our theoretical findings.

7. 面向二维不可压 Navier-Stokes 方程的算子学习：数据稀缺情形下的共形预测方法

Operator learning for the 2D incompressible Navier-Stokes equations: a conformal prediction approach in the data-scarce regime

作者: Weinan Wang, Bowen Gang, Hao Deng

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

发布日期: 2026-06-07

arXiv ID: 2606.08654v1

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

摘要: In this paper, we propose a perturbation-based conformal prediction framework for uncertainty quantification in operator learning, with a focus on the 2D Navier–Stokes equations. While neural operators provide fast surrogates for expensive PDE solvers, they do not by themselves provide calibrated uncertainty for spatiotemporal field predictions. Our approach wraps a trained Fourier Neural Operator (FNO) with split conformal prediction and constructs the local uncertainty scale by comparing the predictions of two operators trained on nearly identical datasets: one on the original labels and one on labels perturbed by small Gaussian noise. We consider this procedure in the data-scarce regime, where the total label budget is fixed and methods that require a separate uncertainty network must divide training data between multiple models. On the 2D Navier–Stokes benchmark, the perturbation-based method produces substantially narrower conformal bands than existing methods under matched total data budgets while maintaining the target simultaneous coverage. These results suggest that perturbation sensitivity is a practical and sample-efficient uncertainty proxy for conformalized neural operators.

8. Nirenberg 问题的双峰轴对称解

Two-bump axisymmetric solutions of the Nirenberg problem

作者: Yanyan Li, Luc Nguyen, Bo Wang

类别: math.AP

发布日期: 2026-06-07

arXiv ID: 2606.08537v1

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

摘要: In this paper, we revisit the axisymmetric Nirenberg problem for certain prescribed scalar curvature functions whose critical points include the north and south poles and whose order of flatness at both points is $n-2$. It has been known for some time that the solution set is compact when the parameter points $(K_1,K_2,a_1,a_2)\in\mathbb{R}^4$, determined by the first two leading expansions of the prescribed scalar curvature functions at the poles, stay away from a critical three-dimensional hypersurface $Σ^0$, and that loss of compactness occurs near $Σ^0$. We construct, in dimensions $n \geq 4$, two-bump axisymmetric solutions for parameter points sufficiently close to $Σ^0$ from one side, where the relevant side is determined by the next-order flatness terms. This gives a one-sided refinement of the previously known blow-up phenomenon near the critical hypersurface $Σ^0$: two-bump blow-up occurs from this side, whereas the solution set remains compact on the opposite side.

9. 关于 Monge-Ampère 特征值的 Brunn-Minkowski 不等式取等情形

On the equality case in the Brunn-Minkowski inequality for the Monge-Ampère eigenvalue

作者: Nam Q. Le

类别: math.AP, math.SP

发布日期: 2026-06-07

arXiv ID: 2606.08422v1

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

摘要: We characterize the equality case in the Brunn-Minkowski inequality for the Monge-Ampère eigenvalue of general bounded convex domains. This together with the author’s previous work completely resolves a question raised by Salani (A Brunn-Minkowski inequality for the Monge-Ampère eigenvalue. Adv. Math. 194 (2005)).

10. Ashbaugh–Benguria 猜想在 Neumann 特征值倒数和情形下的证明

A proof of the Ashbaugh–Benguria conjecture for reciprocal sums of Neumann eigenvalues

作者: Yixin He, Yanyang Li, Quanyu Tang

类别: math.SP, math.AP

发布日期: 2026-06-06

arXiv ID: 2606.08271v1

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

摘要: We prove the Ashbaugh–Benguria conjecture for bounded domains with smooth boundary in $\mathbb R^m$. More precisely, among all smooth bounded domains of fixed volume, the ball minimizes the sum of the reciprocals of the first $m$ nonzero Neumann eigenvalues. Equality is attained precisely by balls.

11. 关于 Neumann $p$-Laplacian Lane-Emden 方程及其与相对等周问题的渐近关系

On Neumann $p$-Laplacian Lane-Emden equations and their asymptotic relationship with relative isoperimetric problems

作者: Sean McCurdy, Alberto Saldaña, Delia Schiera

类别: math.AP

发布日期: 2026-06-06

arXiv ID: 2606.08222v1

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

摘要: We consider a family of pure Neumann $p$-Laplacian problems, including eigenvalue problems, Lane-Emden type equations, and extremal cases such as sign nonlinearities and the $1$-Laplacian. Using variational methods, we develop a unified framework that establishes existence of solutions and characterizes their asymptotic behavior as the parameters vary. This approach reveals a natural asymptotic connection between pure Neumann $p$-Laplacian equations and a relative isoperimetric problem known as the Neumann-Cheeger problem. We describe the shape of minimizers in domains with different geometries and obtain results on regularity, uniqueness, multiplicity, symmetry, and symmetry breaking phenomena.

12. 平面上的无穷调和函数：由单射性导出的正则性

Infinity-harmonic functions in the plane: Regularity by injectivity

作者: Karl K. Brustad

类别: math.AP

发布日期: 2026-06-06

arXiv ID: 2606.08257v1

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

摘要: It has been a long standing conjecture that the $ \infty $-harmonic functions in the plane have a 1/3-Hölder continuous gradient. It \emph{is} known that solutions are $ C^1 $ and that the gradient is locally $ α$-Hölder, but $ α$ comes without any positive lower bound. Aronsson’s solution $ x^{4/3} - y^{4/3} $ shows that no better general regularity is possible. In the plane there is also a connection between the $ \infty $-Laplace equation and the one-dimensional heat equation, observed already by Aronsson himself. I shall show that this link can be accessed under a certain injectivity condition on the gradient, and that the caloric structure then is enough to prove the 1/3-Hölder continuity. Of course, an injective gradient is by no means a \emph{necessary} condition, as seen by smooth solutions such as the planes and cones.

13. tame 集上的有效拟解析 Remez 不等式

Effective quasianalytic Remez inequalities on tame sets

作者: Armin Rainer

类别: math.FA, math.AG, math.AP, math.CA, math.LO

发布日期: 2026-06-06

arXiv ID: 2606.08183v1

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

摘要: We establish a Remez inequality for functions in quasianalytic Denjoy-Carleman classes $\mathcal C_M$ on a large family of fat compact sets $K \subseteq \mathbb R^n$ with tame geometry, including all fat compact sets definable in the o-minimal expansion of $\mathbb R$ by restricted $\mathcal C_M$ functions. The inequality generalizes the classical Remez inequality for polynomials and its quasianalytic versions on convex bodies, replacing the polynomial degree by the Bang degree, an integer associated with the weight $M$ and the size of the function. The constants depend explicitly on the Bang degree and the geometry of $K$. We derive a range of quantitative consequences: estimates for the volume of sublevel sets, comparison of $L^p$-norms, effective inequalities of Lojasiewicz, Harnack, and Markov type with explicit constants, and decay estimates for oscillatory integrals.

14. 一种改进的狄利克雷特征值极小化子的新水平集公式

A New Level Set Formulation for Improved Dirichlet Eigenvalue Minimizers

作者: Atharv Thakur

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

发布日期: 2026-06-06

arXiv ID: 2606.07979v1

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

摘要: This paper makes several improvements to existing level set based approaches to computing shape optimizers for the Dirichlet eigenvalues subject to a volume constraint. The most notable changes in formulation include an overhaul of the classical level set construction and root-finding procedures as well the use of a regularized approximation to the standard objective function. Our resulting computational minimizers are either comparable to or improvements on the best known minimizers from the literature. We conclude with a survey of subproblems within the field that may benefit from numerical experiments; these include the existence of cusps on the boundary, the end-behavior of eigenfunction weights in the p-parameterized problem, and the nature of Weyl asymptotics as they relate to the Pólya conjecture.

15. 临界尺度下分数阶相变的均匀化

Homogenization in fractional phase transitions at the critical scale

作者: Andrea Braides, Abdilaziz Zoir Ugli Komilov

类别: math.AP

发布日期: 2026-06-06

arXiv ID: 2606.08134v1

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

摘要: We analyze fractional phase-transition energies with periodic hetero-genei-ties at the critical $H^{1/2}$ scaling. We prove that the $Γ$-limit is a sharp-interface functional whose surface energy density combines homogenization and averaging effects. The resulting coefficient is a weighted combination of the minimum and the mean of the oscillatory parameter, reflecting the coexistence of multiple interaction scales. This behavior is specific to the critical regime and differs from the case $s>1/2$.

16. 一类具有一般增长性的非线性椭圆系统局部极小元的局部有界性

Local Boundedness of Local Minimizers for a Class of Nonlinear Elliptic Systems with General Growth

作者: Elvira Mascolo, Antonella Nastasi, Cintia Pacchiano Camacho

类别: math.AP

发布日期: 2026-06-06

arXiv ID: 2606.07977v1

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

摘要: In this paper, we prove the local boundedness of solutions to systems of partial differential equations in divergence form. More specifically, we consider systems that include the first variations of functionals depending on the spatial variable and exhibiting nonstandard growth with respect to the gradient, such as

where the convex function $h=h(t)$ does not satisfy the so-called $Δ_2$ property and does not exhibit the conventional polynomial growth behavior.

17. 弹性-电磁传输特征值问题的谱结构

Spectral structures of elastic-electromagnetic transmission eigenvalue problems

作者: Huaian Diao, Xinyu Ding, Yueran Geng, Hongyu Liu

类别: math.AP

发布日期: 2026-06-05

arXiv ID: 2606.07786v1

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

摘要: The time-harmonic elastic-electromagnetic interior transmission eigenvalue problem (EEITEP) arises when an elastic body becomes invisible to an incident electromagnetic wave. This spectral problem is typically non-elliptic and non-self-adjoint, making its analysis delicate. In this paper, we study the discreteness of transmission eigenvalues and the boundary localization of the associated eigenfunctions. For a general bounded Lipschitz domain, we prove that the set of positive transmission eigenvalues, if non-empty, is discrete with $\infty$ as its only possible accumulation point. For a radially symmetric domain, we demonstrate the existence of a sequence of transmission eigenvalues and derive their asymptotic behavior. We rigorously show that the corresponding transmission eigenfunctions exhibit boundary localization in their electromagnetic components, whereas the elastic displacement field remains globally distributed throughout the domain. Finally, we derive lower bounds for the $L^{\infty}$-norms of the electromagnetic gradients normalized by their $L^2$-norms, quantifying their blow-up behavior near the boundary along this sequence. These findings reveal a potential spectral mechanism for developing super-resolution imaging methods in elastic-electromagnetic scattering.

18. 向量值高阶绝对极小元的能量最大值原理

Energy maximum principle for vectorial higher order absolute minimisers

作者: Simone Carano, Nikos Katzourakis, Roger Moser

类别: math.AP

发布日期: 2026-06-05

arXiv ID: 2606.07767v1

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

摘要: We show that vectorial absolute minimisers of higher order $L^\infty$ variational problems satisfy an energy maximum principle. This property is only necessary for absolute minimisers, while it characterises a suitable weaker notion of absolute minimality involving compactly supported variations. Further, with different methods, we prove a gradient maximum principle for $p$-harmonic maps.