生成时间: 2026年06月05日 15:01:31

运行状态: 完成

计划处理论文数量: 19

已完成论文数量: 19

未完成论文数量: 0

重点关注论文数量: 7

了解领域论文数量: 5

不相关论文数量: 7

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

1. 对数Sobolev不等式与Navier-Stokes-Fokker-Planck算子的超收缩性

Logarithmic Sobolev inequality and hypercontractivity for the Navier-Stokes Fokker-Planck operator

作者: Zhi-Wei Wang, Samuel L. Braunstein

类别: math-ph, cond-mat.stat-mech, math.AP, math.PR, physics.class-ph

发布日期: 2026-06-02

arXiv ID: 2606.03182v1

摘要翻译: 在环面 $\TT^3$ 上带涨落-耗散噪声的随机不可压Navier-Stokes方程，其Fokker-Planck生成元可分解为一个自伴的Ornstein-Uhlenbeck（耗散）部分和一个反对称的（对流）部分。我们关于该生成元证明两个结果：第一，对数Sobolev不等式成立，且其最优常数与纯Ornstein-Uhlenbeck算子相同，即 $c_\mathrm{LSI} = νλ_1$（其中 $ν$ 为粘性系数，$λ_1$ 为 $\TT^3$ 上Laplacian的最小非零特征值），该常数与所保留的Fourier模个数无关；第二，整个半群具有超收缩性，且其收缩率与Ornstein-Uhlenbeck半群相同。这两个结果均源于同一结构性质：对流生成元在 $L^2(P_\mathrm{eq})$ 中是反对称的（其中 $P_\mathrm{eq}$ 为Gibbs测度），因此对Dirichlet型及 $L^q$ 范数演化无任何贡献。该反对称性源于不可压Navier-Stokes非线性项的两个性质：能量守恒与相空间体积守恒（即Liouville性质）。这些正是支撑非线性Navier-Stokes方程涨落-耗散定理的相同性质。

Comment: 6 pages

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

1. 研究对象和背景

本文研究三维环面 $\mathbb{T}^3_L$ 上谱截断的随机不可压Navier-Stokes方程所诱导的Fokker-Planck算子的泛函不等式性质。该系统由如下随机常微分方程组刻画：

其中 $\tilde{u}_i(\vec{k}) \in \mathbb{C}^2$ 是满足 $\vec{k} \cdot \tilde{\vec{u}}(\vec{k}) = 0$ 的横模傅里叶系数，$N_{\vec{k},i}$ 是Leray投影后的二次非线性项（即 $N_{\vec{k},i} = -i \sum_{\vec{p}+\vec{q}=\vec{k}} (\vec{p} \cdot \tilde{\vec{u}}(\vec{q})) (P_{\vec{k}})_{ij} \tilde{u}_j(\vec{p})$），$P_{\vec{k}} = \delta_{ij} - k_i k_j / k^2$ 为不可压投影，$W_j(\vec{k})$ 是满足 $W_j(-\vec{k}) = W_j^*(\vec{k})$ 的复标准Wiener过程。相空间为 $\mathbb{R}^{2N}$，其中 $N = 2 \#\{ \vec{k} \in (2\pi/L)\mathbb{Z}^3 : 0 < |\vec{k}| \leq k_{\max}, \, \vec{k} \cdot \hat{\epsilon}_{\vec{k}} = 0 \}$。对应Fokker-Planck方程为

其生成元 $\mathcal{L} = \mathcal{L}_{\mathrm{diss}} + \mathcal{L}_{\mathrm{conv}}$ 显式分解为：

平衡态测度为Gibbs测度

支撑于散度自由子空间。分析自然发生在加权Hilbert空间 $L^2(P_{\mathrm{eq}})$ 中，其内积为 $\langle f, h \rangle = \int f h \, dP_{\mathrm{eq}}$。关键物理前提是：该随机系统严格满足涨落-耗散定理（fluctuation-dissipation theorem），即噪声强度由粘性 $\nu$ 和温度 $T$ 通过 $\sqrt{2k_B T \nu k^2 / (\rho V)}$ 精确确定，从而保证 $P_{\mathrm{eq}}$ 是 $\mathcal{L}$ 的唯一不变测度。本文聚焦的核心问题是：在存在强耦合、非线性、多尺度的对流项 $\mathcal{L}_{\mathrm{conv}}$ 的情况下，该Fokker-Planck算子是否仍继承纯Ornstein-Uhlenbeck（OU）算子的深刻泛函不等式性质？特别是，对数Sobolev不等式（LSI）的最优常数是否保持为 $c_{\mathrm{LSI}} = \nu \lambda_1$（其中 $\lambda_1 = (2\pi/L)^2$ 是 $\mathbb{T}^3_L$ 上Laplace算子的最小非零特征值）？超收缩性（hypercontractivity）速率是否仍为 $\nu \lambda_1$？这些问题至关重要，因为LSI控制相对熵 $D_{\mathrm{KL}}(P(t) \| P_{\mathrm{eq}})$ 的指数衰减速率及Gaussian浓度现象，而超收缩性则提供可观测量（如涡量、能量、耗散率）在演化过程中各阶矩之间的等价性，是建立统计解正则性、大偏差原理和长时间动力学稳定性的基石。已有工作（如Braunstein [1]）已证明谱隙 $\mathrm{gap}(-\mathcal{L}) = \nu \lambda_1$ 不受 $\mathcal{L}_{\mathrm{conv}}$ 影响，但谱隙仅反映最低非零特征值，无法刻画整个半群的非线性结构或高阶矩行为。本文试图填补的关键空白在于：严格证明 $\mathcal{L}_{\mathrm{conv}}$ 对LSI和超收缩性这两个比谱隙更强、更具信息量的泛函不等式亦完全‘不可见’，且这一现象源于Navier-Stokes非线性固有的哈密顿结构，而非任何小参数假设或弱非线性近似。

2. 主要定理或主要结果

定理1.2（对数Sobolev不等式）：对任意 $f \in L^2(P_{\mathrm{eq}})$，全Navier-Stokes Fokker-Planck生成元 $\mathcal{L} = \mathcal{L}_{\mathrm{diss}} + \mathcal{L}_{\mathrm{conv}}$ 满足

其中熵泛函定义为 $\mathrm{Ent}_\mu(g) = \int g \log g \, d\mu - \int g \, d\mu \cdot \log \int g \, d\mu$，Dirichlet型定义为 $\mathcal{E}(f, f) = -\langle f, \mathcal{L} f \rangle_{P_{\mathrm{eq}}}$，且 $\lambda_1 = (2\pi/L)^2$。最优常数 $c_{\mathrm{LSI}} = \nu \lambda_1$ 与截断波数 $k_{\max}$ 无关。定理1.3（超收缩性）：由 $\mathcal{L}$ 生成的半群 $e^{t\mathcal{L}}$ 是超收缩的：对任意 $1 < p \leq q$ 满足 $q^{-1} \leq (p^{-1}) e^{-2\nu \lambda_1 t}$（即 $q = 1 + (p-1) e^{2\nu \lambda_1 t}$），有

超收缩速率 $\nu \lambda_1$ 与纯Ornstein-Uhlenbeck半群相同，且独立于 $k_{\max}$。推论4.1（相对熵指数衰减）：对任意初始概率密度 $P(0)$，有

推论4.3（多项式可观测量的矩等价）：对任意关于傅里叶系数 $\{\tilde{u}_i(\vec{k})\}$ 的 $d$ 次多项式 $f$，有

特别地，取 $p=2$，则对任意 $q > 2$，当 $t = \frac{1}{2\nu \lambda_1} \log(q-1)$ 时，有 $\| e^{t\mathcal{L}} f \|_{L^q} \leq \| f \|_{L^2}$。例如，涡量 $\omega = \nabla \times u$ 的平方（即 $L^2$-enstrophy $E = \sum_{|\vec{k}| \leq k_{\max}} k^2 |\tilde{\vec{u}}(\vec{k})|^2$）是二次多项式，故其所有高阶矩可由其二阶矩 $\|E\|_{L^2(P_{\mathrm{eq}})}$ 控制，且具有指数尾部：对 $t > \frac{1}{2\nu \lambda_1} \log(q-1)$，有 $\mathbb{P}_{P_{\mathrm{eq}}}(|E - \mathbb{E}[E]| > r) \leq C e^{-c r}$。

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

本文证明的核心障碍并非估计非线性项的大小，而是理解为何一个强耦合、高维、二次的对流算子 $\mathcal{L}_{\mathrm{conv}}$ 在泛函不等式中完全消失。作者的真正创新点在于将Navier-Stokes非线性的两个基本物理性质——能量守恒与相空间体积守恒（Liouville性质）——精确地翻译为 $L^2(P_{\mathrm{eq}})$ 中的算子结构性质，并揭示其对Dirichlet型和$L^q$范数演化的决定性影响。具体而言，证明框架由三个递进的技术支柱构成：第一，Dirichlet型的精确消去。由Proposition 1.1，$\mathcal{L}_{\mathrm{conv}}$ 在 $L^2(P_{\mathrm{eq}})$ 中是反对称的：$\langle \mathcal{L}_{\mathrm{conv}} f, h \rangle_{P_{\mathrm{eq}}} = -\langle f, \mathcal{L}_{\mathrm{conv}} h \rangle_{P_{\mathrm{eq}}}$。这直接导致其对Dirichlet型的贡献恒为零：

这一等式（公式(11)）是全文基石，它表明全系统的耗散结构与纯OU系统完全一致，与 $k_{\max}$ 或非线性耦合强度无关。第二，OU算子的张量化LSI常数。Gibbs测度 $P_{\mathrm{eq}}$ 是相空间上 $2N$ 个独立高斯变量的乘积测度（每个横模 $\tilde{u}_i(\vec{k})$ 方差为 $k_B T/(\rho V)$）。$\mathcal{L}_{\mathrm{diss}}$ 是 $2N$ 个独立OU算子的直和，每个对应波矢 $\vec{k}$ 的耗散率为 $\nu k^2$。利用LSI的张量化性质（[3]），其最优常数为各分量常数的最小值：

此处 $\lambda_1$ 由环面几何固定，故常数天然与 $k_{\max}$ 无关。第三，$L^q$范数演化的反对称消去。对 $F = e^{t\mathcal{L}} f > 0$，计算 $\frac{d}{dt} \|F\|_{L^q}^q = q \int F^{q-1} \mathcal{L} F \, dP_{\mathrm{eq}}$。关键步骤（公式(15)-(16)）是利用链式法则 $F^{q-1} \mathcal{L}_{\mathrm{conv}} F = \frac{1}{q} \mathcal{L}_{\mathrm{conv}} (F^q)$，再结合反对称性导出的两个恒等式：$\nabla \cdot N = 0$（Liouville）与 $N \cdot \nabla \log P_{\mathrm{eq}} = 0$（能量守恒），从而得到

因此，$L^q$范数的演化完全由 $\mathcal{L}_{\mathrm{diss}}$ 控制，使得Gross的标准论证（基于LSI推导 $\frac{d}{dt} \log \|F\|_{L^{q(t)}} \leq 0$）可被原样复用，只需将 $q(t)$ 设为 $q(t) = 1 + (p-1) e^{2\nu \lambda_1 t}$ 即可。整个证明框架不依赖于任何关于 $N_{\vec{k},i}$ 的先验估计（如$H^s$范数控制、Littlewood-Paley分解或迭代能量估计），其力量完全来源于对 $\mathcal{L}_{\mathrm{conv}}$ 在 $L^2(P_{\mathrm{eq}})$ 中反对称性的代数刻画及其对二次型和一阶导数演化的全局消去效应。

4. 与之前工作的比较

本文与既有工作的根本性推进体现在三个维度：假设强度、适用范围与理论深度。首先，在假设方面，本文彻底摆脱了所有传统PDE正则性理论所依赖的‘小初值’、‘弱非线性’或‘高正则性初值’等限制。对比经典Navier-Stokes正则性结果（如Leray-Hopf解的存在唯一性需 $L^2$ 初值，Prodi-Serrin准则需 $L^p_t L^q_x$ 条件），本文的结论对任意 $L^2(P_{\mathrm{eq}})$ 可测函数 $f$ 成立，且不涉及任何关于初值光滑性或大小的假设。它所依赖的唯一物理假设是系统严格满足涨落-耗散定理，这在统计物理框架下是完备性的要求，而非数学上的简化。其次，在适用范围上，本文结果具有普适的‘截断无关性’（$k_{\max}$-independence）。此前，Braunstein [1] 仅证明了谱隙 $\mathrm{gap}(-\mathcal{L}) = \nu \lambda_1$ 的不变性，但谱隙是一个线性谱性质，无法控制非线性半群的高阶行为。本文将这一不变性提升至LSI和超收缩性层面，这意味着对任意高阶矩、任意Lipschitz可观测量的集中性、乃至相对熵的衰减速率，其最优常数均与截断尺度无关。这为在 $k_{\max} \to \infty$ 的连续极限下研究统计解提供了坚实的泛函不等式基础，而此前的工作（如[4]中对NS-Fourier系统的分析）并未建立此类sharp不等式。第三，在理论深度上，本文揭示了一个深刻的普适原理：哈密顿型反对称扰动不改变以Dirichlet型为核心的泛函不等式。这超越了[1]中仅针对线性算子谱的分析，也区别于一般马尔可夫扩散算子的LSI研究（如[3]中讨论的Ricci曲率条件）。文中明确指出（Section 5.2），只要一个系统满足三个条件：(i) 平衡测度是独立高斯乘积；(ii) 对流项保持该测度（能量守恒）；(iii) 对流流在相空间中无散度（Liouville），则其LSI和超收缩性就必然与纯耗散部分相同。因此，本文结果不仅适用于谱截断的NS系统，也直接适用于[4]中的NS-Fourier系统及更广义的GENERIC框架下的耗散哈密顿系统。然而，本文亦有明确局限：如Section 5.3所强调，LSI和超收缩性描述的是系统在Gibbs平衡态附近的统计行为，而非单个光滑初值的演化正则性。它们无法直接回答‘若初值 $u_0 \in C^\infty$，解 $u(t)$ 是否保持光滑’这一经典问题，因为Gibbs测度本身在 $k_{\max} \to \infty$ 极限下不赋予任何Sobolev范数有限期望（能量均分导致 $\mathbb{E}[\|u\|_{H^s}^2] \sim \sum_{k} k^{2s} k^{-2} = \infty$ for $s \geq 1$）。因此，本文的结果是构建后续正则性理论的‘功能性地基’，而非最终解答。从提供内容中无法确认本文是否对非平衡初值（如远离Gibbs态的光滑初值）建立了定量的收敛速率估计；作者未显式展开与Montgomery-Smith型随机初值或Kolmogorov湍流谱相关的比较。

2. 格点图的奇异极限

Singular limit of lattice graphs

作者: Zhentao He, Chao Ji

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03150v1

摘要翻译: 本文在格点图与度量网格之间建立了新的联系，为格点图上的奇异极限问题及Gagliardo–Nirenberg型不等式的研究提供了统一框架。作为应用，我们首先证明：当$d$维格点图的边长趋于零时，非线性薛定谔（NLS）方程在格点图上作用泛函（$2<p<2^*$）与能量泛函（$2<p<2+\frac{4}{d}$）的基态解的延拓在$H^1(\mathbb{R}^d)$中强收敛于$\mathbb{R}^d$上对应的基态解。作为格点图奇异极限问题所发展论证方法的副产品，我们得到了格点图上能量泛函在固定质量约束下的临界点重数结果。此外，我们采用一种类似于格点图奇异极限问题分析的策略，研究了格点图上Gagliardo–Nirenberg型不等式在$2<p<2^*$范围内的最优常数。本文的一个显著特点是：在超越经典次临界框架的基础上，我们还首次建立了格点图上作用泛函（$d \geq 3$且$p>2^*$）与能量泛函（$p>2+\frac{4}{d}$）基态解的奇异极限问题的新结果，并建立了格点图上$d \geq 3$且$p=2^*$时Gagliardo–Nirenberg型不等式的最优常数的新结果，从而极大地拓展了现有文献。特别地，我们通过建立一个新的Gagliardo–Nirenberg型不等式，解决了Dovetta [Adv. Math. 444 (2024), 109633] 提出的一个公开问题。

Comment: 35 pages

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

1. 研究对象和背景

本文研究 $d$ 维格点图 $\mathbb{Z}^d_\varepsilon = (V^d_\varepsilon, E^d_\varepsilon)$ 上非线性薛定谔（NLS）方程的基态在边长 $\varepsilon \to 0$ 时的奇异极限行为，其中顶点集 $V^d_\varepsilon = \varepsilon \mathbb{Z}^d$，边集 $E^d_\varepsilon = \{(x,y) \in V^d_\varepsilon \times V^d_\varepsilon : \sum_{i=1}^d |x_i - y_i| = \varepsilon\}$。格点图上的离散拉普拉斯算子定义为

其对应的 Sobolev 空间 $H^1(V^d_\varepsilon)$ 由范数

完备化得到。研究对象是两类变分问题：(i) 动作基态——最小化动作泛函

在 Nehari 流形

上的极小值；(ii) 能量基态——最小化能量泛函

在质量约束流形 $H^1_\mu(V^d_\varepsilon) := \{ u \in H^1(V^d_\varepsilon) : \|u\|^2_{\ell^2(V^d_\varepsilon)} = \mu \}$ 上的极小值。对应连续模型为 $\mathbb{R}^d$ 上的标准 NLS 方程 $-\Delta u + \omega u = |u|^{p-2}u$，其动作泛函为 $J_{\omega,\mathbb{R}^d}(u) = \frac{1}{2} \|\nabla u\|^2_{L^2(\mathbb{R}^d)} + \frac{\omega}{2} \|u\|^2_{L^2(\mathbb{R}^d)} - \frac{1}{p} \|u\|^p_{L^p(\mathbb{R}^d)}$，能量泛函为 $E_{\mathbb{R}^d}(u) = \frac{1}{2} \|\nabla u\|^2_{L^2(\mathbb{R}^d)} - \frac{1}{p} \|u\|^p_{L^p(\mathbb{R}^d)}$。关键未知量是基态解 $u_\varepsilon \in H^1(V^d_\varepsilon)$ 的延拓 $\widehat{A} u_\varepsilon \in H^1(\mathbb{R}^d)$ 在 $\varepsilon \to 0$ 下的强收敛性、收敛速率、以及是否仍满足连续模型的极小性质。该问题重要性在于：一方面，格点图是量子晶格、光子晶体、网络动力学等物理模型的自然离散化；另一方面，它构成一类具有内蕴维度与尺度耦合的奇异摄动结构——离散微尺度（格点间距 $\varepsilon$）与连续宏观尺度（$\mathbb{R}^d$）共存，其极限行为深刻关联于数值分析的收敛性、连续介质近似的有效性、以及 Sobolev 不等式在离散-连续过渡中的稳定性。已有理论背景包括：Dovetta（2024, Adv. Math.）在度量网格（metric grids）$G^d_\varepsilon$ 上建立了动作与能量基态的 $H^1$ 强收敛性，其核心工具是 $G^d_\varepsilon$ 与 $\mathbb{R}^d$ 之间的限制/延拓估计；Hua–Xu（2021）与 Weinstein（2023）分别证明了格点图上动作与能量基态的存在性。但关键空白在于：格点图 $V^d_\varepsilon$ 缺乏直接与 $\mathbb{R}^d$ 比较的几何结构（无边、无测度兼容性），无法直接套用 Dovetta 的方法；更严峻的是，既有工作完全未触及 Sobolev 超临界情形（$p > 2^*$ 或 $p > 2 + 4/d$）与临界情形（$p = 2^*, d \geq 3$），而这些情形在连续模型中已知导致泛函非良定或失稳，其离散对应物的极限行为属完全未知领域。本文旨在填补这一根本性空白：构建 $V^d_\varepsilon$ 与 $G^d_\varepsilon$ 之间的桥梁，从而将 Dovetta 框架迁移至格点图，并首次系统攻克超临界与临界情形。

2. 主要定理或主要结果

本文在以下假设下证明了系列严格结论：设 $d \geq 1$, $\varepsilon > 0$, $V^d_\varepsilon = \varepsilon \mathbb{Z}^d$, $2^* = \infty$（若 $d=1,2$），$2^* = 2d/(d-2)$（若 $d \geq 3$）。(I) 动作基态极限（Theorem 1.1）：对 $p \in (2, 2^*)$ 及 $\omega > 0$，(i) 若 $d=1,2$ 或 $d \geq 3$ 且 $p \in (2, 2^*/2+1)$，则存在 $C_{d,p,\omega} > 0$ 使得 $\left| \varepsilon^{d-1} \widehat{J}_{V^d_\varepsilon}(\omega) - J_{\mathbb{R}^d}(\omega) \right| \leq C_{d,p,\omega} \varepsilon$；若 $d \geq 3$ 且 $p \in (2^*/2+1, 2^*)$，则 $\left| \varepsilon^{d-1} \widehat{J}_{V^d_\varepsilon}(\omega) - J_{\mathbb{R}^d}(\omega) \right| \leq C_{d,p,\omega} \varepsilon^{\frac{d-2}{2}(2^*-p)}$；(ii) 对任意正动作基态 $u_\varepsilon \in \widehat{\mathcal{N}}_{\omega,V^d_\varepsilon}$，存在平移点 $x_\varepsilon \in \mathbb{R}^d$，使得延拓 $\widehat{A} u_\varepsilon(\cdot - x_\varepsilon) \to \varphi_\omega$ 在 $H^1(\mathbb{R}^d)$ 中强收敛，其中 $\varphi_\omega$ 是 $\mathbb{R}^d$ 上唯一正动作基态且在原点取最大值。(II) 超临界动作基态（Theorem 1.2）：对 $d \geq 3$, $p > 2^*$, $\omega > 0$，有 $\varepsilon^{d-1} \widehat{J}_{V^d_\varepsilon}(\omega) \to 0$ 且 $\widehat{A} u_\varepsilon \to 0$ 在 $H^1(\mathbb{R}^d)$ 中强收敛。(III) 能量基态极限（Theorem 1.3）：对 $p \in (2, 2+4/d)$ 及 $\mu > 0$，(i) 若 $d \in \{1,2,3,4\}$ 或 $d \geq 5$ 且 $p \in (2, 2^*/2+1)$，则 $\left| \varepsilon^{d-1} \widehat{E}_{V^d_\varepsilon}(\mu/\varepsilon^d) - E_{\mathbb{R}^d}(\mu) \right| \leq C_{d,p,\mu} \varepsilon$；若 $d \geq 5$ 且 $p \in (2^*/2+1, 2+4/d)$，则误差阶为 $C_{d,p,\mu} \varepsilon^{\frac{d-2}{2}(2^*-p)}$；(ii) 对任意正能量基态 $u_\varepsilon \in H^1_{\mu/\varepsilon^d}(V^d_\varepsilon)$，存在 $x_\varepsilon \in \mathbb{R}^d$ 使得 $\widehat{A} u_\varepsilon(\cdot - x_\varepsilon) \to \varphi_\mu$ 在 $H^1(\mathbb{R}^d)$ 中强收敛，且 Lagrange 乘子 $L_{V^d_\varepsilon}(u_\varepsilon) \to \omega_\mu$。（IV）超临界能量基态发散（Theorem 1.4）：对 $d \geq 2$, $p > 2+4/d$, $\mu > 0$，有 $\varepsilon^{d-1} \widehat{E}_{V^d_\varepsilon}(\mu/\varepsilon^d) \to -\infty$ 且 $\|\widehat{A} u_\varepsilon\|_{H^1(\mathbb{R}^d)} \to +\infty$。（V）Gagliardo–Nirenberg 最优常数（Theorem 1.7）：对 $d \geq 1$, $q \in (2, 2^*)$ 或 $d \geq 3$, $q = 2^*$，有 $K_{q,V^d_1} \geq K_{q,\mathbb{R}^d}$；进一步，若 $d \geq 1$, $q \in [2+4/d, 2^*)$ 或 $d \geq 3$, $q = 2^*$，则 $K_{q,V^d_1} = K_{q,\mathbb{R}^d}$，且当 $q \in (2+4/d, 2^*)$ 时 $K_{q,V^d_1}$ 不可达。（VI）多重性结果（Theorem 1.6）：对 $d \geq 2$, $p \in (2+4/d, 2^*)$，存在质量序列 $\mu_n \to +\infty$，使得 $\widehat{E}_{V^d_1}$ 在 $H^1_{\mu_n}(V^d_1)$ 上至少有两个不同的正临界点 $u_{n,1}, u_{n,2}$，满足 $\widehat{E}_{V^d_1}(u_{n,2}) > \widehat{E}_{V^d_1}(u_{n,1}) = \widehat{E}_{V^d_1}(\mu_n)$，且 $L_{V^d_1}(u_{n,1}) \to +\infty$, $L_{V^d_1}(u_{n,2}) \to 0$。

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

证明的核心障碍在于：格点图 $V^d_\varepsilon$ 是零维顶点集，缺乏内在测度与边结构，无法像度量网格 $G^d_\varepsilon$ 那样直接定义分段线性延拓或建立与 $\mathbb{R}^d$ 的 Sobolev 嵌入。作者的真正创新点是构造了一条“离散→度量网格→连续”的三阶段桥梁：首先，在 Section 2 中，作者原创性地定义了从 $V^d_\varepsilon$ 到 $G^d_\varepsilon$ 的延拓算子 $\widehat{A}$（见 Figure 2）与从 $G^d_\varepsilon$ 到 $V^d_\varepsilon$ 的限制算子 $\widehat{R}$（见 Figure 3），并严格证明了关键的限制/延拓估计：对任意 $u \in H^1(V^d_\varepsilon)$，有 $\|\widehat{A} u\|_{H^1(G^d_\varepsilon)} \leq C \|u\|_{H^1(V^d_\varepsilon)}$；对任意 $w \in H^1(G^d_\varepsilon)$，有 $\|\widehat{R} w\|_{H^1(V^d_\varepsilon)} \leq C \|w\|_{H^1(G^d_\varepsilon)}$。这一框架将格点图问题完全转化为度量网格问题，从而可嫁接 Dovetta 的技术。其次，在超临界情形（Theorems 1.2 & 1.4）中，核心障碍是连续模型中 $\int_{\mathbb{R}^d} |u|^p$ 对 $p > 2^*$ 不再是 $H^1$ 上的连续泛函。作者的突破性处理是：不试图在 $H^1(\mathbb{R}^d)$ 中定义极限泛函，而是利用缩放论证（Lemma 3.1）证明离散 Nehari 流形上的“伪动作”极小值恒为零，再通过前述桥接估计将离散基态延拓的 $H^1$ 范数控制为 $O(\varepsilon^{\alpha})$，最终推出强收敛到零。第三，在 Gagliardo–Nirenberg 最优常数分析（Theorem 1.7）中，作者的关键引理是新建立的离散 GN 不等式（2.9）：对 $u \in H^1(V^d_1)$，有 $\|u\|_{\ell^q(V^d_1)} \leq K_{q,\mathbb{R}^d} \|u\|_{\ell^2(V^d_1)}^{1-\theta} \|\nabla^d_1 u\|_{\ell^2(V^d_1)}^{\theta}$，其中 $\theta = d(q-2)/(2q)$。此不等式不仅直接导出 $K_{q,V^d_1} \geq K_{q,\mathbb{R}^d}$，更被用于改进 Dovetta 提出的收敛速率问题（Q）：通过（2.9）与插值，作者将原 $o(\varepsilon^{\frac{d-2}{2}(2^*-p)-\gamma})$ 速率提升至 $O(\varepsilon^{\frac{d-2}{2}(2^*-p)})$。第四，在多重性证明（Theorem 1.6）中，作者的创新在于将超临界质量增长与 Lagrange 乘子 $L_{V^d_1}(u)$ 的渐近分离相结合：利用 $p > 2+4/d$ 时 $\widehat{E}_{V^d_1}$ 在大质量下存在两个不同类型的临界点（一个能量主导，一个动作主导），并通过精确估计 $L_{V^d_1}(u_{n,1}) \sim \mu_n^{\frac{p-2}{2}}$ 与 $L_{V^d_1}(u_{n,2}) \sim \mu_n^{-\sigma}$（$\sigma > 0$）来区分二者，这本质上揭示了格点图上动作与能量基态问题的非等价性。

4. 与之前工作的比较

本文与前人工作的比较可从四个维度展开：(1) 模型结构维度：Dovetta（2024）工作于度量网格 $G^d_\varepsilon$，其具有自然的一维边结构与 Lebesgue 测度，可直接定义分段线性函数与 $H^1(G^d_\varepsilon)$；而本文首次处理纯顶点格点图 $V^d_\varepsilon$，其本质是零维离散集，必须通过引入中间对象 $G^d_\varepsilon$ 构建新桥梁，这是方法论的根本推进。(2) 参数范围维度：Dovetta 仅覆盖亚临界情形 $p \in (2,2^*)$ 与 $p \in (2,2+4/d)$；本文则首次系统攻克超临界（$p > 2^*, p > 2+4/d$）与临界（$p = 2^*, d \geq 3$）情形。例如，Theorem 1.2 表明超临界动作基态延拓趋于零，这与亚临界情形收敛到非平凡解形成鲜明对比，揭示了离散模型在超临界下的“退化解”现象；Theorem 1.4 则显示超临界能量基态延拓范数爆炸，表明离散模型在此参数下无法逼近连续模型，这在 Dovetta 框架中完全不存在。(3) 收敛性与精度维度：Dovetta 的收敛结果（[11, Theorems 2.1]）依赖于子列选取且速率仅为 $o(\varepsilon^{\frac{d-2}{2}(2^*-p)-\gamma})$；本文通过新 GN 不等式（2.9）将速率提升至最优阶 $O(\varepsilon^{\frac{d-2}{2}(2^*-p)})$（Theorems 1.1 & 1.3），并利用连续平移校准（而非离散平移）彻底消除了子列选取需求，保证了极限解精确位于原点，这是对 Dovetta 结果的实质性强化。(4) 应用深度维度：Dovetta 的多重性结果（[11, Proposition 2.4]）仅断言存在多个临界点，未刻画其能量关系；本文 Theorem 1.6 不仅给出存在性，更通过 (1.11) 式 $\widehat{E}_{V^d_1}(u_{n,2}) > \widehat{E}_{V^d_1}(u_{n,1})$ 严格区分了两种基态的能量层级，并证明其 Lagrange 乘子趋向于 $+\infty$ 与 $0$，从而首次在格点图上否定了动作与能量基态的等价性（此前 [15,28] 仅在连续模型中证明等价）。代价在于：本文所有收敛性结论均依赖于延拓算子 $\widehat{A}$，其构造虽巧妙但引入了额外几何信息；而 Dovetta 的结果直接基于 $G^d_\varepsilon$ 的固有结构。此外，本文未解决 $K_{2^*,V^d_1}$ 的可达性问题（Section 6.3），而 Dovetta 在 $G^d_1$ 上亦未解决此问题，表明该难点具有本质性。

3. 硬球压强律下可压缩Navier-Stokes方程的均匀化

Homogenization of compressible Navier-Stokes equations under a hard sphere pressure law

作者: Nilasis Chaudhuri, Florian Oschmann

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03716v1

摘要翻译: 我们考虑二维和三维有界穿孔区域中的可压缩非定常Navier-Stokes方程。在穿孔足够小的条件下，我们证明了当穿孔尺寸趋于零且其数量趋于无穷时，极限方程的形式保持不变。本结果的新颖之处在于压强形式：我们考虑了硬球压强律，该定律给出了密度的 \emph{a priori} 界，但与正压情形相比，压强的正则性更差，从而在均匀化过程中造成了显著困难。据我们所知，文献中尚未研究过此类压强的均匀化问题。

Comment: 无

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

1. 研究对象和背景

本文研究二维和三维有界区域 $ D \subset \mathbb{R}^d $（$ d = 2,3 $）中带小孔洞（perforations）的穿孔区域 $ D_\varepsilon = D \setminus K_\varepsilon $ 上的可压缩非定常Navier-Stokes方程组：

其中密度 $ \varrho_\varepsilon \in [0,\overline{\varrho}) $，上限 $ \overline{\varrho} > 0 $ 为物理硬球约束所固有；速度 $ \mathbf{u}_\varepsilon \in L^2(0,T;W^{1,2}_0(D_\varepsilon;\mathbb{R}^d)) $；应力张量 $ \mathbb{S}(\nabla \mathbf{u}) = \mu(\nabla \mathbf{u} + \nabla^\top \mathbf{u} - \frac{2}{d} \operatorname{div} \mathbf{u} \, \mathbb{I}) + \mu_1 \operatorname{div} \mathbf{u} \, \mathbb{I} $，$ \mu > 0 $，$ \mu_1 \ge 0 $；外力 $ \mathbf{f} \in L^2((0,T)\times D) $。关键建模特征在于压强律 $ p = p(\varrho) $ 满足硬球型奇异性：存在 $ \beta > 1 + \frac{d}{2} $，使得

典型例子为 $ p(\varrho) = \frac{\varrho^\varsigma}{(\overline{\varrho} - \varrho)^\beta} $，$ \varsigma \ge 1 $。该律与经典等熵律 $ p(\varrho) = \varrho^\gamma $ 的本质区别在于：它天然给出一致先验界 $ \|\varrho_\varepsilon\|_{L^\infty((0,T)\times D_\varepsilon)} \le \overline{\varrho} $，但压强本身仅属于 $ L^1 $，而非更高次可积空间——这直接导致能量不等式中压强势能 $ P(\varrho) = \varrho \int_{\varrho/2}^{\varrho} \frac{p(z)}{z^2} \, dz $ 的奇异性弱于 $ p $：若 $ p(\varrho) \sim (\overline{\varrho} - \varrho)^{-\beta} $，则 $ P(\varrho) \sim (\overline{\varrho} - \varrho)^{-(\beta-1)} $，无法从 $ P \in L^1 $ 推出 $ p \in L^q $（$ q>1 $）。这一低正则性在均匀化过程中引发三重根本障碍：（i）在动量方程弱极限中处理非线性项 $ p(\varrho_\varepsilon) $ 需要其在 $ L^1 $ 中的等可积性，而穿孔结构引入额外振荡，标准 Zygmund 空间 $ L \log L $ 估计不足以控制浓度效应；（ii）证明密度强收敛所需的“有效粘性通量恒等式”依赖于 $ p(\varrho_\varepsilon) $ 的高阶可积性以闭合 $ \varrho_\varepsilon \mathbf{u}_\varepsilon \cdot \nabla \phi $ 型耦合项，而 $ L^1 $ 框架下该恒等式失效；（iii）穿孔尺度 $ a_\varepsilon $ 的选取（$ d=2 $ 时为 $ a_\varepsilon = \exp(-\varepsilon^{-\alpha}) $，$ d=3 $ 时为 $ a_\varepsilon = \varepsilon^\alpha $，$ \alpha > d $）虽确保孔洞体积趋于零，但其几何分布（球心间距 $ > 2\varepsilon $，距边界距离 $ > \varepsilon $）使经典的 Bogovskiĭ 算子 $ \mathcal{B}_\varepsilon $ 在 $ L^q $ 上的一致有界性仅对有限 $ q $ 成立，加剧了压强项的极限分析难度。已有文献如 [DFL17, NP22, OP23] 均针对 $ p(\varrho) = \varrho^\gamma $ 完成均匀化，结论为极限方程形式不变（仍为完整区域 $ D $ 上的 Navier-Stokes 方程）；而对硬球压强，此前尚无任何均匀化结果。本文旨在填补这一空白：在保持物理真实性的硬球约束下，证明当 $ \varepsilon \to 0 $ 时，穿孔域上的解 $ (\tilde{\varrho}_\varepsilon, \tilde{\mathbf{u}}_\varepsilon) $（零延拓至 $ D $）弱收敛到完整区域 $ D $ 上同一形式 Navier-Stokes 方程的弱解，从而确立硬球流体在微观多孔介质中的宏观有效性。

2. 主要定理或主要结果

在假设 $ d = 2,3 $，$ \alpha > d $，$ \beta > 1 + \frac{d}{2} $，初始数据满足 $ \tilde{\varrho}_{\varepsilon,0} \to \varrho_0 $ 弱-$ * $ in $ L^\infty(D) $ 且 $ \frac{|\tilde{\mathbf{m}}_{\varepsilon,0}|^2}{\tilde{\varrho}_{\varepsilon,0}} \to \frac{|\mathbf{m}_0|^2}{\varrho_0} $ in $ L^1(D) $ 的前提下，本文证明了以下核心定理：

定理 2.3（主结果）：设 $ \{(\varrho_\varepsilon, \mathbf{u}_\varepsilon)\}_{\varepsilon \in (0,1)} $ 是穿孔域 $ D_\varepsilon $ 上系统 (2) 的一族有限能量弱解（定义 2.1），则存在子列（仍记为 $ \varepsilon $）使得零延拓函数满足

且极限 $ (\varrho, \mathbf{u}) $ 是完整区域 $ D $ 上同一 Navier-Stokes 系统的有限能量弱解，初值为 $ (\varrho_0, \mathbf{m}_0) $。

该结论的成立依赖于一系列关键一致估计：（1）由能量不等式导出的 $ \|P(\varrho_\varepsilon)\|_{L^\infty(0,T;L^1(D_\varepsilon))} + \|\sqrt{\varrho_\varepsilon} \mathbf{u}_\varepsilon\|_{L^\infty(0,T;L^2(D_\varepsilon))} + \|\mathbf{u}_\varepsilon\|_{L^2(0,T;W^{1,2}_0(D_\varepsilon))} \le C $；（2）改进的压强估计（引理 3.3）：对任意 $ \kappa > 0 $，有

特别地，当 $ \kappa = 0 $ 时，$ p(\varrho_\varepsilon) \in L \log L $；当 $ \kappa > 0 $ 时，该更强 Orlicz 范数控制了穿孔引起的振荡，保证了 $ \{p(\tilde{\varrho}_\varepsilon)\} $ 在 $ L^1((0,T)\times D) $ 中的等可积性；（3）密度的强收敛性（第 5 节）：$ \tilde{\varrho}_\varepsilon \to \varrho $ in $ C_{\mathrm{weak}}([0,T]; L^\gamma(D)) $ for all $ \gamma \in [1,\infty) $，其证明依赖于 $ L \log L \times \mathrm{BMO} $ 对偶框架（见附录 A）及 $ p(\tilde{\varrho}_\varepsilon) \log p(\tilde{\varrho}_\varepsilon) $ 的等可积性。所有常数 $ C, C_\kappa $ 均独立于 $ \varepsilon $。

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

本文的核心技术障碍在于：硬球压强 $ p(\varrho) \sim (\overline{\varrho} - \varrho)^{-\beta} $ 导致 $ p(\varrho_\varepsilon) \in L^1 $ 但缺乏更高可积性，而穿孔域 $ D_\varepsilon $ 的几何复杂性进一步削弱了 Bogovskiĭ 算子 $ \mathcal{B}_\varepsilon $ 的 $ L^q $ 一致性。作者的真正创新点是构建并应用了一个增强型 Orlicz 空间估计框架，其关键工具与步骤如下：

1. 改进的 Bogovskiĭ 算子分析（引理 3.2）：针对穿孔尺度 $ a_\varepsilon $ 的指数衰减（$ d=2 $）或幂律衰减（$ d=3 $），作者精确量化了 $ \mathcal{B}_\varepsilon: L^q_0(D_\varepsilon) \to W^{1,q}_0(D_\varepsilon) $ 的算子范数增长：对 $ d=2 $，$ \|\mathcal{B}_\varepsilon\|_{L^q_0 \to W^{1,q}_0} \lesssim 1 + \varepsilon^{-\alpha} a_\varepsilon^{2-q} |\log(\varepsilon^{\alpha/2} a_\varepsilon^{-1})|^{-q} $；对 $ d=3 $，$ \|\mathcal{B}_\varepsilon\|_{L^q_0 \to W^{1,q}_0} \lesssim 1 + \varepsilon^{(3-q)\alpha - 3} $。该量化表明 $ \mathcal{B}_\varepsilon $ 在 $ L^2 $ 上一致有界，但在 $ L^q $（$ q \neq 2 $）上可能发散，因此必须避免依赖 $ L^q $（$ q>1 $）估计。

2. 双尺度测试函数与分步压强估计（引理 3.3）：作者不直接测试 $ p(\varrho_\varepsilon) $，而是采用两步策略：（i）取 $ b(\varrho) = \varrho $，将动量方程与 $ \psi(t) \mathcal{B}_\varepsilon[\varrho_\varepsilon - \fint_{D_\varepsilon} \varrho_\varepsilon] $ 配对，利用 $ \mathcal{B}_\varepsilon $ 的 $ L^2 $ 有界性及 $ \varrho_\varepsilon \in L^\infty $，得到 $ \|\varrho_\varepsilon p(\varrho_\varepsilon)\|_{L^1} \le C $；（ii）取 $ b(\varrho) = -\log(1 - \varrho/\overline{\varrho}) $，此时 $ b'(\varrho) = (\overline{\varrho} - \varrho)^{-1} $，与 $ p $ 的奇异性匹配。关键在于处理最困难的项 $ A_{3,1} = \int_0^T \psi \int_{D_\varepsilon} \varrho_\varepsilon \mathbf{u}_\varepsilon \cdot \mathcal{B}_\varepsilon[(\varrho_\varepsilon b'(\varrho_\varepsilon) - b(\varrho_\varepsilon)) \operatorname{div} \mathbf{u}_\varepsilon] $。利用 $ |b'(\varrho)| \sim (\overline{\varrho} - \varrho)^{-1} $ 和 $ p(\varrho) \sim (\overline{\varrho} - \varrho)^{-\beta} $，可得 $ \varrho_\varepsilon b'(\varrho_\varepsilon) \operatorname{div} \mathbf{u}_\varepsilon \in L^{\frac{2\beta}{2+\beta}}(L^{\frac{2\beta}{2+\beta}}) $，再结合 $ \mathcal{B}_\varepsilon $ 的 Sobolev 嵌入性质及 $ \varrho_\varepsilon \mathbf{u}_\varepsilon \in L^r(L^{\frac{6r}{3r-4}}) $，最终通过插值得到 $ |A_{3,1}| \le C $，从而证明 $ \|p(\varrho_\varepsilon) |\log(1 - \varrho_\varepsilon/\overline{\varrho})|^{1+\kappa}\|_{L^1} \le C_\kappa $。

3. $ L \log L \times \mathrm{BMO} $ 对偶框架（附录 A）：为证密度强收敛，作者放弃标准 $ L^p $ 框架，转而使用 $ L \log L $ 空间与 $ \mathrm{BMO} $ 空间的对偶性。关键引理 A.3 给出：若 $ g_\varepsilon \in L \log L $ 且 $ h_\varepsilon \in \mathrm{BMO} $ 有界，则 $ \int g_\varepsilon h_\varepsilon $ 的弱极限可分离。作者将 $ p(\tilde{\varrho}_\varepsilon) $ 视为 $ L \log L $ 元素，将测试函数的梯度 $ \nabla \phi $ 视为 $ \mathrm{BMO} $ 元素，从而绕过 $ p \in L^q $（$ q>1 $）的缺失，完成动量方程中 $ p(\tilde{\varrho}_\varepsilon) \operatorname{div} \phi $ 项的极限传递。此框架是处理硬球压强下均匀化问题的首创性工具。

4. 与之前工作的比较

本文与既有工作的比较可从四个维度展开：

1. 压强律的物理真实性与数学难度：此前所有可压缩 Navier-Stokes 均匀化工作（如 [DFL17, NP22, OP23]）均基于等熵律 $ p(\varrho) = \varrho^\gamma $，其优势在于 $ p \in L^{\gamma} $ 且 $ P \sim p $，可直接从能量不等式获得 $ p \in L^{\gamma} $ 一致界，并利用 $ \gamma > \frac{3}{2} $（$ d=3 $）保证 $ p \in L^q $（$ q>1 $）以进行弱极限。本文首次处理硬球律 $ p(\varrho) \sim (\overline{\varrho} - \varrho)^{-\beta} $，其 $ \beta > 1 + \frac{d}{2} $ 的临界值（$ d=3 $ 时 $ \beta > \frac{5}{2} $）比 Feireisl-Zhang [FZ10] 的存在性结果（$ \beta \ge 3 $）更优，且明确要求 $ \beta > \frac{5}{2} $ 以支撑 $ \mathcal{B}_\varepsilon $ 作用下的 $ L^{\frac{2\beta}{2+\beta}} $ 估计。这是对物理模型的重大推进，但代价是完全放弃 $ L^q $（$ q>1 $）框架。

2. 均匀化尺度与穿孔几何：[DFL17] 等工作假设穿孔为周期性分布且尺寸 $ a_\varepsilon \sim \varepsilon^d $，而本文允许更一般的穿孔（球心随机分布，仅满足最小间距与边界距离约束），且尺寸 $ a_\varepsilon $ 可呈指数小（$ d=2 $）或幂律小（$ d=3 $）。这拓宽了适用范围，但要求对 $ \mathcal{B}_\varepsilon $ 进行更精细的范数估计（引理 3.2），而此前工作仅需其 $ L^2 $ 有界性。

3. 分析框架的范式转移：以往工作（包括 [FZ10, FLM16] 的存在性研究）依赖 $ p(\varrho_\varepsilon) \in L \log L $ 的等可积性，而本文将此提升至 $ L(\log L)^{1+\kappa} $（$ \kappa > 0 $）。附录 A 明确指出：$ L \log L $ 中的等可积性不足以控制穿孔引起的浓度项，必须进入更强的 Orlicz 空间。这是本文最核心的技术推进，也是其与 [FZ10, FLM16] 的本质区别——后者未考虑均匀化背景下的振荡补偿需求。

4. 极限方程形式与适用范围：本文结论（极限方程形式不变）与 [DFL17] 一致，但其前提更苛刻：要求 $ \beta > 1 + \frac{d}{2} $ 且穿孔足够小（$ \alpha > d $），而 [DFL17] 对 $ \gamma $ 仅需 $ \gamma > \frac{3}{2} $。这表明硬球律的物理优势（密度有界）是以更强的正则性假设和更精细的分析为代价换来的。从提供内容中无法确认本文是否能推广到非齐次穿孔或非球形孔洞，亦未显式讨论 $ \beta = 1 + \frac{d}{2} $ 的临界情形。

4. Leray-Hopf 弱解在 Hall-MHD 系统中的最终正则性与渐近行为

Eventual regularity and asymptotic behavior of Leray-Hopf weak solutions for the Hall-MHD system

作者: Jinwook Jung, Jaeyong Shin

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03542v1

摘要翻译: 本文研究不可压、具粘性与电阻的 Hall-磁流体力学（Hall-MHD）系统。我们首先证明：任意二维 Leray-Hopf 弱解在有限时间后变得光滑。在三维情形下，任意 Leray-Hopf 弱解的最终光滑性尚属未知；对此，我们构造了若干 Leray-Hopf 弱解，使得其磁涡量场 $B+\nabla\times u$ 最终获得额外的正则性。最后，在初始数据满足适当的低频拟测度（pseudomeasure）假设条件下，我们结合广义 Fourier 分裂方法与二维情形下的最终光滑性及三维情形下的强正则性，建立了速度场与磁场的解耦代数衰减率。

Comment: 27 pages

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

1. 研究对象和背景

本文研究不可压、粘性、电阻性Hall-磁流体动力学（Hall-MHD）系统，其控制方程为：

其中 $u : [0,\infty) \times \mathbb{R}^d \to \mathbb{R}^3$ 为速度场，$B : [0,\infty) \times \mathbb{R}^d \to \mathbb{R}^3$ 为磁场，$p$ 为压力，$\nu > 0$、$\eta > 0$ 分别为流体运动粘性系数与磁扩散率。关键非线性项 $\nabla \times \big( (\nabla \times B) \times B \big)$ 称为Hall电流项，它源于电子尺度效应，在等离子体物理中对重联、湍流谱形变、哨声波激发等现象至关重要，但亦导致数学分析的根本困难：该三阶非线性项破坏了经典MHD的能量守恒结构，并使标准能量方法失效。

本文聚焦于Leray-Hopf弱解——即满足定义1.1的全局解：$(u,B) \in L^\infty([0,\infty); L^2_\sigma(\mathbb{R}^d)) \cap L^2_{\mathrm{loc}}([0,\infty); \dot{H}^1(\mathbb{R}^d))$，且满足强能量不等式

对几乎每个 $s \geq 0$（含 $s=0$）及所有 $t \geq s$ 成立。该类解的存在性在 $d=3$ 下由Chae–Lee [9]保证，但唯一性与正则性问题完全开放；尤其在三维情形，Hall项的高阶导数耦合阻碍了Navier-Stokes与经典MHD中已知的“最终正则性”论证（即任意弱解在有限时间后自动光滑）。二维情形虽有局部适定性与小初值全局存在性结果（如[5,13,25]），但Leray-Hopf弱解的唯一性与最终正则性仍未解决。本文旨在填补三处关键空白：(i) 在 $d=2$ 下证明任意Leray-Hopf弱解的最终光滑性（Theorem 1.1），这依赖于二维下能量耗散可控制 $\|\nabla B\|_{L^2}$ 的尺度不变性匹配；(ii) 在 $d=3$ 下构造具有额外正则性的弱解，即 magneto-vorticity 场 $\omega := \nabla \times u$ 与 $B$ 的和 $B+\omega$ 在有限时间后获得 $L^2$ 或更高阶正则性（Theorem 1.2），其动机在于对(1.1a)取旋度并加(1.1b)可消去Hall项，得到

该方程不含Hall项，故其正则性可由能量耗散主导；(iii) 在低频伪测度初值假设下，建立速度与磁场场的解耦代数衰减率（Theorems 1.3 & 1.4），这要求超越能量级的正则性以分离处理两个方程的非线性耦合。这些目标直指Hall-MHD的核心难点：如何在缺乏全局光滑性先验的情况下，利用物理结构（如magneto-vorticity消去Hall项）与分析工具（如广义Fourier分裂法）提取精细渐近信息。

2. 主要定理或主要结果

本文主要结果严格分为三部分：

(1) 二维最终光滑性（Theorem 1.1）：设 $d = 2$，$(u_0, B_0) \in L^2_\sigma(\mathbb{R}^2)$，则任意Leray-Hopf弱解 $(u,B)$ 存在有限时间 $T_0 = T_0(\|u_0\|_{L^2}, \|B_0\|_{L^2}, \nu, \eta) > 0$，使得

该结论不依赖于初值小性，仅由能量不等式(1.2)与二维下 $\|\nabla B\|_{L^2}$ 的耗散控制保证。

(2) 三维magneto-vorticity的最终正则性（Theorem 1.2）：设 $d = 3$，$(u_0, B_0) \in L^2_\sigma(\mathbb{R}^3)$，则存在一个Leray-Hopf弱解 $(u,B)$ 满足： (i) 存在 $T_0 = T_0(E_0, \nu, \eta) > 0$，使得 $B + \omega \in L^\infty([T_0, \infty); L^2(\mathbb{R}^3))$，$\nabla(B + \omega) \in L^2(T_0, \infty; L^2(\mathbb{R}^3))$，且 $\|(B + \omega)(t)\|_{L^2} \to 0$ 当 $t \to \infty$； (ii) 若 $\nu = \eta$，则进一步有 $B + \omega \in L^\infty([T_0, \infty); H^2(\mathbb{R}^3))$，$\nabla(B + \omega) \in L^2(T_0, \infty; H^2(\mathbb{R}^3))$，且对 $k = 1,2$，

该结果基于Proposition 3.1的构造性存在性，其核心是控制量 $C_0 := \left( \|B_0 + \omega_0\|_{L^2}^2 + C E_0 \frac{(\nu - \eta)^2}{\nu \eta} \right) \exp\left( \frac{C}{\nu^4} (E_0 + E_0^2) \right)$ 小于1，其中 $E_0 = \|u_0\|_{L^2}^2 + \|B_0\|_{L^2}^2$。

(3) 解耦衰减率（Theorems 1.3 & 1.4）：引入低频伪测度空间 $Y^\sigma_l(\mathbb{R}^d) := \{ f \in \mathcal{S}'(\mathbb{R}^d) : \sup_{|\xi| \leq 1} |\xi|^\sigma |\widehat{f}(\xi)| < \infty \}$。

• 二维情形（Theorem 1.3）：设 $(u,B)$ 为 $d=2$ 的Leray-Hopf弱解，$(u_0, B_0) \in L^2_\sigma(\mathbb{R}^2)$，则： (i) 若 $B_0 \in Y^{\sigma_2}_l(\mathbb{R}^2)$，$\sigma_2 \in (-1,1)$，则 $\|B(t)\|_{L^2}^2 \leq C (1+t)^{-1+\sigma_2}$； (ii) 若 $(u_0, B_0) \in Y^{\sigma_1}_l(\mathbb{R}^2) \times Y^{\sigma_2}_l(\mathbb{R}^2)$，$(\sigma_1, \sigma_2) \in [-1,1) \times [-1,1) \setminus \{(-1,0)\}$，则
  $$ \|u(t)\|_{L^2}^2 \leq C (1+t)^{-1+\max\{\sigma_1, -1+2\sigma_2\}}, \quad \|B(t)\|_{L^2}^2 \leq C (1+t)^{-1+\sigma_2}; $$
  若 $(u_0, B_0) \in Y^{-1}_l(\mathbb{R}^2) \times Y^0_l(\mathbb{R}^2)$，则 $\|u(t)\|_{L^2}^2 \leq C (1+t)^{-2} (\log(e+t))^2$，$\|B(t)\|_{L^2}^2 \leq C (1+t)^{-1}$。
• 三维情形（Theorem 1.4）：设 $(u,B)$ 为 $d=3$ 的全局强解（即初值足够小），$(u_0, B_0) \in L^2_\sigma(\mathbb{R}^3)$，则： (i) 若 $B_0 \in Y^{\sigma_2}_l(\mathbb{R}^3)$，$\sigma_2 \in [-1, 3/2)$，则 $\|B(t)\|_{L^2}^2 \leq C (1+t)^{-3/2+\sigma_2}$； (ii) 若 $u_0 \in Y^{\sigma_1}_l(\mathbb{R}^3)$，$\sigma_1 \in [1, 3/2)$，则 $\|u(t)\|_{L^2}^2 \leq C (1+t)^{-3/2+\sigma_1}$； (iii) 若 $(u_0, B_0) \in Y^{\sigma_1}_l(\mathbb{R}^3) \times Y^{\sigma_2}_l(\mathbb{R}^3)$，$\sigma_1 \in [-1,1]$, $\sigma_2 \in [-1, 3/2) \setminus \{(-1,1/2)\}$，则 $\|u(t)\|_{L^2}^2 \leq C (1+t)^{-3/2+\max\{\sigma_1, -2+2\sigma_2\}}$；若 $(u_0, B_0) \in Y^{-1}_l(\mathbb{R}^3) \times Y^{1/2}_l(\mathbb{R}^3)$，则 $\|u(t)\|_{L^2}^2 \leq C (1+t)^{-2} (\log(e+t))^2$。

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

本文证明的核心障碍在于Hall-MHD系统固有的高阶非线性与缺乏尺度不变性所导致的正则性瓶颈。作者的真正创新点并非泛泛使用能量估计或紧性方法，而是通过三重精巧的结构化分析框架实现突破：

第一，二维最终光滑性的弱-强唯一性框架：证明Theorem 1.1的关键障碍是Leray-Hopf弱解无法直接进行高阶能量估计。作者未采用标准的迭代逼近，而是构建了一个两步策略：首先，利用[5]中关于 $B+\omega$ 的一致界（公式(2.1)）与Sobolev插值，证明当 $\|\nabla B(t_0)\|_{L^2}$ 足够小时，初值 $(u(t_0), B(t_0))$ 可启动一个小数据全局强解（Proposition 2.1）；其次，建立针对二维Hall-MHD的弱-强唯一性（Proposition 2.2），其证明采用相对能量法（relative energy method），将差 $\tilde{u} = u_1 - u_2$, $\tilde{B} = B_1 - B_2$ 的演化控制为

其中关键技巧是将Hall项的差 $II_5$ 通过分部积分转化为 $-\int (\nabla \times B_2) \cdot ((\nabla \times \tilde{B}) \times \tilde{B})$，再估计为 $C \|\Delta B_2\|_{L^2} \|\tilde{B}\|_{L^4}^2$，最终由Gronwall引理完成。此框架将最终光滑性归结为能量耗散对 $\|\nabla B\|_{L^2}$ 的长期控制，而二维下 $\|\nabla B\|_{L^2}$ 的耗散率恰好匹配 $\dot{H}^1$ 尺度不变范数。

第二，三维magneto-vorticity正则性的构造性消去法：针对三维最终正则性未知的困境，作者放弃对任意弱解的证明，转而构造一类特殊解。核心工具是方程(1.6)：对(1.1a)取旋度并与(1.1b)相加，Hall项 $\nabla \times ((\nabla \times B) \times B)$ 完全抵消，得到仅含二阶耗散项的输运-扩散方程。作者据此设计Proposition 3.1，通过精细的a priori估计

导出 $B+\omega$ 的一致 $L^2$ 界 $C_0 < 1$。其创新在于不依赖 $|\nu - \eta| \ll 1$ 的传统假设，而是通过指数型Gronwall控制将初值条件显式量化。随后，利用磨光子（mollifier）正则化系统（第10页）构造近似解序列，并结合标准紧性论证（Aubin-Lions引理）提取极限，确保构造解满足所需正则性。

第三，解耦衰减的广义Fourier分裂法：标准Fourier分裂法要求初值在 $L^1$，但作者采用其推广形式[3]，仅需低频伪测度条件 $Y^\sigma_l$。其核心是将Fourier空间划分为低频区 $|\xi| \leq g(t)$ 与高频区 $|\xi| > g(t)$，其中 $g(t)$ 是精心选择的衰减函数（如 $g(t) = (1+t)^{-1/2}$）。对二维情形，Theorem 1.1提供的最终光滑性允许将Fourier分裂分别应用于 $u$ 和 $B$ 的方程，从而分离处理Lorentz力 $(\nabla \times B) \times B$ 对 $u$ 的影响与 $u$ 对 $B$ 的线性耦合。对三维情形，因缺乏最终光滑性，作者退而求其次，仅对已知存在全局强解的小初值情形应用该方法，此时 $\|\nabla u\|_{L^2}, \|\nabla B\|_{L^2}$ 的衰减可被精确控制，从而导出解耦速率。

4. 与之前工作的比较

本文与既有工作的实质性推进体现在三个维度，均基于对Hall-MHD特有结构的深度挖掘：

1. 与经典MHD及Navier-Stokes的比较：经典MHD系统（即(1.1)中删去Hall项）在 $d=2,3$ 下均已知任意Leray-Hopf弱解具有最终光滑性（见Remark 1.1(2)），其证明依赖于 $B$ 与 $\omega$ 的独立能量估计。而本文Theorem 1.1首次确立了二维Hall-MHD的最终光滑性，其代价是必须接受弱-强唯一性框架而非直接估计，且证明中关键利用了二维下 $\|\nabla B\|_{L^2}$ 耗散与 $\dot{H}^1$ 尺度的匹配，这一匹配在三维不成立（因 $\dot{H}^{3/2}$ 强于 $\dot{H}^1$）。对于三维，经典MHD的最终光滑性可直接由 $\|\nabla u\|_{L^2}, \|\nabla B\|_{L^2}$ 的耗散推出，而Hall-MHD的Theorem 1.2则必须转向 $B+\omega$ 这一复合量，其正则性提升（至 $H^2$）的前提是 $\nu = \eta$，这反映了Hall项消失后粘性与电阻性平衡的物理意义，是经典MHD中不存在的新现象。

2. 与Hall-MHD前期工作的比较：Chae–Lee [9]建立了三维Hall-MHD弱解的存在性，但未触及正则性；Chae–Wan–Wu [5]证明了当 $|\nu - \eta|$ 充分小时，$B+\omega$ 具有 $L^2$ 正则性，但其结果依赖于苛刻的参数条件。本文Theorem 1.2的重大突破在于完全取消了 $|\nu - \eta| \ll 1$ 的假设，通过更精细的a priori估计（公式(3.1)中的指数型控制）实现了参数无关性。此外，[5]中关于 $B+\omega$ 的Serrin型条件（如 $u \in L^2_t \mathrm{BMO}_x$）是事后验证的正则性准则，而本文Proposition 3.1是事前构造性存在定理，为后续渐近分析提供坚实基础。

3. 与衰减率文献的比较：Schonbek [22]及后续工作（如[3]）建立了Navier-Stokes与经典MHD的耦合衰减估计 $\|u(t)\|_{L^2}^2 + \|B(t)\|_{L^2}^2 \leq C (1+t)^{-d/2 + \sigma}$，但无法区分 $u$ 与 $B$ 的各自衰减速率。本文Theorems 1.3与1.4是首个针对Hall-MHD（乃至经典MHD）的解耦衰减结果。其适用范围受限于正则性：二维依赖Theorem 1.1的最终光滑性，三维则仅适用于小初值强解（因大初值弱解的最终正则性未知）。代价是衰减指数出现非平凡耦合，如Theorem 1.3(2)中 $u$ 的指数为 $\max\{\sigma_1, -1 + 2\sigma_2\}$，这精确刻画了Lorentz力 $(\nabla \times B) \times B$ 的主导作用——当 $B$ 衰减较快（$\sigma_2$ 较大）时，$u$ 的衰减由 $B$ 决定；反之则由自身初值决定。这种不对称性在经典MHD中未被揭示，是Hall-MHD低频动力学的新特征。

5. 复空间中的 Navier-Stokes 方程

Navier-Stokes Equations in Complex Space

作者: Nikolai Nadirashvili

类别: math.AP, math-ph

发布日期: 2026-06-01

arXiv ID: 2606.02811v1

摘要翻译: 我们证明了定义在复空间中的 Navier-Stokes 方程的解具有关于时间的整体正则性。

Comment: 43 pages

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

1. 研究对象和背景

本文研究三维环面 $ M = \mathbb{R}^3 / a\mathbb{Z}^3 $ 上周期解的不可压缩纳维-斯托克斯方程初值问题：

其中 $ w : M \times [0, T) \to \mathbb{R}^3 $ 为速度场，$ p : M \times [0, T) \to \mathbb{R} $ 为压力，$ f $ 为给定的无散度外力，$ \nu > 0 $ 为运动粘性系数。初始数据 $ w_0 \in L^2(M) $ 满足 $ \mathrm{div}\, w_0 = 0 $（分布意义下）。Leray-Hopf 弱解 $ w \in L^\infty(0,T;L^2(M)) \cap L^2(0,T;H^1(M)) $ 的全局存在性早已确立（Theorem 1.1），但其正则性——特别是无条件实解析性——仍是核心未解问题。已知结果均依赖于额外假设：例如，若 $ w_0 \in H^1(M) $，则解在短时间 $ (0,T_0) $ 内实解析（由 Leray 的“结构定理”及 [G], [LR] 推广）；若 $ w_0 \in L^p(M), p > 3 $，Gruji'c–Kukavica [GK] 证明了在 $ f $ 实解析且具一致解析半径的前提下，弱解在 $ t > 0 $ 时实解析。然而，这些结果均未解决对任意 $ L^2 $ 初值、仅要求 $ f $ 一致实解析时，弱解是否在任意 $ t > 0 $ 处自动获得实解析性这一根本问题。本文旨在填补此空白：不预设解的光滑性，不依赖小初值或短时间，而试图证明——只要外力 $ f $ 是定义在 $ M \times (0,\infty) $ 上的无散度、一致实解析向量场（即 $ \forall T > 0 $，存在 $ c(T) > 0 $，使得 $ f $ 在复区域 $ \{ z = x + iy \in \mathbb{C}^3 : x \in M, |y| < c(T) \} $ 内有有界全纯延拓），则任意 Leray-Hopf 弱解 $ w $ 在每个 $ t > 0 $ 处必为 $ M $ 上的实解析函数。该结论若成立，将首次实现从最弱的 $ L^2 $-能量解出发，不经过任何中间光滑性步骤（如 $ H^1 $、$ C^\infty $），直接跃迁至实解析性的严格证明，从而在正则性理论中建立一条全新的、基于复分析的路径。

2. 主要定理或主要结果

本文的核心结论是 Theorem 1.2：设 $ f(x,t) $ 是定义在 $ M \times (0,\infty) $ 上的无散度、一致实解析向量场（即对任意 $ T > 0 $，存在 $ c(T) > 0 $，使得 $ f $ 在 $ \Omega_{c(T)} = \{ z = x + iy \in \mathbb{C}^3 : x \in M, |y| < c(T) \} $ 内有全纯延拓 $ F(z,t) = f(x,t) + i g(x,y,t) $，且 $ \|F\|_{L^\infty(\Omega_{c(T)} \times (0,T))} < \infty $）；设 $ w_0 \in L^2(M), \mathrm{div}\, w_0 = 0 $（分布意义）；并设 $ w(x,t) $ 是问题 (1.1)–(1.3) 在 $ M \times [0,\infty) $ 上的一个 Leray-Hopf 弱解。则对任意 $ t > 0 $，$ w(\cdot, t) $ 是 $ M $ 上的实解析函数。进一步，若 $ w_0 \in L^p(M), p > 3 $，则该弱解唯一，且映射 $ t \mapsto w(\cdot, t) $ 是从 $ [0,\infty) $ 到 $ L^p(M) $ 的连续映射。该定理的证明依赖于两个关键复能量恒等式：Theorem 2.1 给出对任意 $ r > 0 $ 及 $ t \in (0,1) $，若 $ w $ 在 $ \Omega_r \times (0,t) $ 内有全纯延拓，则

其中 $ u = \Re w, v = \Im w, e_v = (\Im z, v) $；Theorem 2.2 给出

这些恒等式被应用于 Faedo-Galerkin 逼近 $ w_m $，其构造保证了 $ w_m $ 在 $ \mathbb{C}^3 $ 上是整函数（entire function），从而天然满足 Cauchy-Riemann 方程 $ \partial_{\bar{z}_i} w_{m,j} = 0 $ 和复散度为零 $ \sum_j \partial_{z_j} w_{m,j} = 0 $。最终，通过控制 $ v_m $ 在边界 $ \partial \Omega_r $ 上的通量项 $ \int_{\partial \Omega_r} e_{v_m} |v_m|^2 \, d\sigma $，并结合 $ w_m $ 的一致 $ H^1 $ 估计（Proposition 2.3），作者论证了 $ w_m $ 的全纯延拓在某个固定宽度 $ r_0 > 0 $ 的复邻域内一致有界，从而由 Montel 定理，其极限 $ w $ 也在此邻域内全纯，故在实轴上实解析。

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

本文最根本的技术障碍在于：Leray-Hopf 弱解 $ w $ 仅属于 $ L^\infty_t L^2_x \cap L^2_t H^1_x $，其本身甚至不保证点态定义，遑论全纯延拓。标准的能量方法无法直接控制复方向上的增长。作者的真正创新点在于提出并系统实施了一种“复空间提升—全纯逼近—复能量流控制”的三阶段框架。第一阶段是概念性提升：将经典实变量方程视为其复化系统的限制。作者明确定义了复纳维-斯托克斯系统（2.1）–（2.3），它不仅包含原方程（2.3），还强制要求解满足 Cauchy-Riemann 条件（2.1）和复散度为零（2.2）。这使问题从一个欠定的实 PDE 系统，转变为一个具有强刚性约束的复 PDE 系统。第二阶段是构造性逼近：作者精心设计 Faedo-Galerkin 逼近 $ w_m $，其基函数 $ v_i $ 选取为环面 $ M $ 上拉普拉斯算子 $ -\Delta $ 的无散度特征函数（即 $ -\Delta v_i = \lambda_i v_i $）。关键洞察在于，这些 $ v_i $ 是三角多项式，因此它们的全纯延拓 $ v_i(z) $ 在整个 $ \mathbb{C}^3 $ 上是整函数，并且满足复拉普拉斯方程 $ -\sum_j \partial_{z_j}^2 v_i = \lambda_i v_i $（公式 (2.4)）。这确保了 $ w_m $ 的全纯延拓自动满足（2.1）和（2.2），从而可以无条件地应用复分析工具。第三阶段是核心分析技术：推导并利用两个新的“复通量能量恒等式”（Theorems 2.1 & 2.2）。这些恒等式并非简单地将实能量恒等式复化，而是通过在复区域 $ \Omega_r $ 上对复方程（2.3）分别乘以 $ \bar{w} $ 和 $ w $ 并积分，再反复运用 Cauchy-Riemann 方程、Stokes 公式以及坐标旋转 $ H_y \in O(3) $ 来化简，最终将复杂的非线性项（如 $ \Re(\bar{w}_i w_j \partial_{\xi_j^y} w_i) $）转化为可控的梯度项 $ \nu \int |\nabla_X w|^2 $ 和一个边界通量项 $ -\frac{4}{r} \int_{\partial \Omega_r} e_v |v|^2 \, d\sigma $。这个边界项是控制复解析半径的关键：作者论证，若 $ v $ 在 $ \partial \Omega_r $ 上过大，则该负项会主导能量耗散，与能量不等式矛盾，从而迫使 $ v $ 在某个固定宽度 $ r_0 $ 内保持有界。这一论证本质上是将复解析性问题转化为一个关于虚部 $ v $ 的先验估计问题，其核心工具是复几何中的单位ary群 $ U(3) $ 及其子群 $ O(3) $ 的对称性，以及由特征函数基所赋予的全纯逼近的刚性结构。

4. 与之前工作的比较

本文与既有工作存在本质性区别，主要体现在四个维度。第一，证明范式：此前所有关于 Navier-Stokes 解实解析性的结果（如 Masuda [Ma], Gruji'c–Kukavica [GK], Lemari'e-Rieusset [LR]）均采用“实分析递进式”策略，即先证明解属于某个 Sobolev 空间 $ H^k $，再利用嵌入定理和迭代估计（如 Gevrey 类估计）来获得解析性。本文则开创性地采用“复分析跃迁式”策略，完全绕过所有中间的实光滑性步骤，直接在复空间中构建解的全纯性。第二，初始数据假设：[GK] 要求 $ w_0 \in L^p(M), p > 3 $，这是一个比 $ L^2 $ 更强的可积性条件；而本文的 Theorem 1.2 仅需 $ w_0 \in L^2(M) $，这是 Leray-Hopf 理论中最自然、最弱的初值空间，实现了初始数据假设的显著放宽。第三，时间尺度与适用范围：[G] 和 [LR] 中的经典结果仅保证在短时间 $ (0, T_0) $ 内解析，其中 $ T_0 $ 依赖于 $ \|w_0\|_{H^1} $ 和 $ \nu $；本文则证明了解析性对所有 $ t > 0 $ 成立，即实现了真正的全局时间解析性。第四，技术代价与局限：本文方法的代价是高度依赖于周期边界条件和特定的基函数构造。其核心论证（如复通量恒等式和 $ O(3) $ 对称性）紧密绑定于环面 $ M $ 的平坦几何和拉普拉斯特征函数的完美全纯性。因此，该方法目前无法直接推广到有界区域（带边界的 Dirichlet/Neumann 条件）或全空间 $ \mathbb{R}^3 $，因为在这两类情形下，特征函数不再具有全局全纯延拓的性质，且 $ O(3) $ 对称性也不再成立。此外，作者未显式展开比较，但从提供内容中无法确认该方法是否能处理非周期、非均匀外力或更一般的非线性项。综上，本文是一次深刻的范式转换，它在周期设置下以更强的几何和复分析工具，换取了对初值和时间尺度的最优假设，但其适用范围也相应地被几何结构所限定。

6. 具有次临界耗散的二维分数阶Boussinesq方程的整体正则性

Global regularity of the 2D fractional Boussinesq equations with subcritical dissipation

作者: Atanas Stefanov, Jiahong Wu, Xiaojing Xu, Zhuan Ye

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03680v1

摘要翻译: 本文研究带有由 $(-Δ)^{\frac\alpha2}u$ 和 $(-Δ)^{\frac\beta2} θ$ 给出的分数阶耗散的二维不可压Boussinesq方程的整体正则性问题。本文聚焦于满足 $α+ β>1$ 的次临界区域。作者在近期的合作文献 [Math. Ann., \textbf{391} (2025), 5965-6012] 中已解决 $α>\frac23$ 的情形，并在该条件下证明了整体正则性。本文处理剩余情形 $α\leq \frac23$。通过最小化对 $α$ 与 $β$ 的假设，我们得到了最尖锐的正则性结果。我们推导了分数阶拉普拉斯算子的非线性下界，并实施了一种迭代过程。

Comment: 43 pages

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

1. 研究对象和背景

本文研究二维不可压Boussinesq方程的分数阶耗散版本，其数学模型为：

其中 $u = (u_1,u_2)$ 为速度场，$\theta$ 为标量温度（或密度），$e_2 = (0,1)$，$\Lambda^\gamma \coloneqq (-\Delta)^{\gamma/2}$ 为分数阶拉普拉斯算子，其傅里叶乘子定义为 $\widehat{\Lambda^\gamma f}(\xi) = |\xi|^\gamma \hat{f}(\xi)$；参数 $\alpha, \beta \in [0,1)$ 表征耗散强度。该系统是Navier-Stokes-热力学耦合系统的零阶近似，在大气锋面、海洋环流及Rayleigh-Bénard对流建模中具有根本重要性；同时，作为捕捉三维Navier-Stokes/Euler中涡量拉伸机制的二维简化模型，其正则性问题在PDE理论中具有深刻类比意义——特别是当 $\alpha=\beta=0$ 时，无粘Boussinesq系统与轴对称带旋涡的三维Euler系统存在形式类比。

全局正则性问题的核心在于：给定光滑初值 $(u_0,\theta_0) \in H^s(\mathbb{R}^2) \times H^s(\mathbb{R}^2)$（$s>2$），解是否在任意有限时间 $T<\infty$ 内保持光滑？标准能量方法仅在 $\alpha=\beta=2$（即完整拉普拉斯耗散）时可直接保证整体存在性；而当耗散减弱时，非线性对流项 $(u\cdot\nabla)u$ 与 $(u\cdot\nabla)\theta$ 的级联放大效应可能诱发奇点形成。因此，关键科学问题是：最小需要多少耗散才能压制奇点生成？ 这一问题被归结为参数对 $(\alpha,\beta)$ 的相空间分析。Jiu-Miao-Wu-Zhang [20] 首次指出，临界阈值由和 $\alpha+\beta$ 决定：当 $\alpha+\beta > 1$ 时为次临界（subcritical） regime，$\alpha+\beta = 1$ 为临界（critical） regime，$\alpha+\beta < 1$ 为超临界（supercritical） regime。次临界情形理论上应可证整体正则性，但技术障碍在于：当 $\alpha,\beta < 1$ 时，标准能量估计无法闭合，因耗散项 $\|\Lambda^{\alpha/2} u\|_{L^2}^2$、$\|\Lambda^{\beta/2} \theta\|_{L^2}^2$ 的导数损失过大，不足以控制非线性对流项的 $L^2$ 增长。特别地，当 $\alpha \le 2/3$ 时，速度耗散极弱，传统“组合量”（combined quantity）方法（如 $G = \omega + R^\beta \theta$，其中 $R^\beta = \partial_{x_1} \Lambda^{-\beta}$）失效：一方面，$G$ 方程右侧出现强奇异性项 $[R^\beta, u\cdot\nabla]\theta$，其控制依赖于苛刻的 $\beta > \frac{4-\alpha^2}{4+3\alpha}$（见[30]）；另一方面，当 $\alpha$ 很小时，$\Lambda^\alpha G$ 耗散过弱，无法补偿对流项的导数损失。此前工作已解决 $\alpha > 2/3$ 的次临界情形（[25]），但 $\alpha \le 2/3$ 区域仍留有空白。本文旨在填补这一空白，目标是在 $\alpha+\beta > 1$ 下，以最小化 $\alpha,\beta$ 假设为准则，获得最尖锐的正则性结果。这要求突破既有框架，发展不依赖组合量的新技术，并精细刻画 $\alpha$ 与 $\beta$ 之间的非线性尺度关系。

2. 主要定理或主要结果

本文核心成果为定理1.1：设初值 $(u_0, \theta_0) \in H^s(\mathbb{R}^2) \times \big(H^s(\mathbb{R}^2) \cap L^{\frac{4}{2+\alpha}}(\mathbb{R}^2)\big)$，其中 $s > 2$；若 $\alpha \in (0,1), \beta \in (0,1)$ 满足

则系统(1.1)存在唯一整体解，且对任意 $T > 0$，满足

该结果显著改进了[25, Theorem 1.3]中对 $0 < \alpha \le 2/3$ 所需的条件 $\beta > \max\{ \alpha, \frac{4-\alpha^2}{4+3\alpha} \}$。具体而言：(i) 当 $0 < \alpha \le \sqrt{13}-3$，新条件 $\beta \ge \frac{4-2\alpha}{4+\alpha}$ 严格弱于 $\frac{4-\alpha^2}{4+3\alpha}$，例如在 $\alpha=0.5$ 时，前者为 $\beta \ge 0.75$，后者为 $\beta > 0.833$；(ii) 当 $\sqrt{13}-3 < \alpha \le 2/3$，新条件中的最大值函数给出更优下界，例如在 $\alpha=2/3$ 时，$\max\{ \frac{4-6\alpha}{\alpha}, \frac{2-\alpha-2\alpha^2}{2\alpha} \} = \max\{0, 0.25\} = 0.25$，远小于 $\frac{4-\alpha^2}{4+3\alpha} \approx 0.727$。推论1.1进一步指出：当 $\alpha = \beta \ge \sqrt{13}-3$ 时，系统存在唯一整体解，且 $u,\theta \in C([0,T]; H^s) \cap L^2([0,T]; H^{s+\alpha/2})$。值得注意的是，当 $\sqrt{13}-3 < \alpha \le 2/3$ 时，额外要求 $\theta_0 \in L^{\frac{4}{2+\alpha}}$（见(2.77)），这是迭代过程中为控制非线性项所必需的初值可积性条件。

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

本文的技术创新在于彻底摒弃传统组合量 $G$ 方法，转而直接处理涡量方程 $\partial_t \omega + (u \cdot \nabla)\omega + \Lambda^\alpha \omega = \partial_{x_1} \theta$（其中 $\omega = \nabla^\perp \cdot u$），并构建一个精巧的迭代框架来逐级提升 $\omega$ 的 $L^p$ 可积性。核心障碍有二：一是 $\partial_{x_1}\theta$ 项导致 $\omega$ 的 $L^2$ 估计中出现 $\|\Lambda^{1-\alpha/2} \theta\|_{L^2}$，而此范数无法由 $\theta$ 的耗散项 $\|\Lambda^{\beta/2} \theta\|_{L^2}$ 直接控制，必须通过插值引入 $\theta$ 的 $L^\infty$ 范数与更高阶耗散；二是 $\theta$ 的 $L^\infty$ 范数本身需由 $\omega$ 的 $L^p$ 范数（$p$ 大）通过Sobolev嵌入控制，形成循环依赖。作者的真正创新点在于：(1) 引入一个自适应的分数阶指标 $\delta_k = \frac{\beta}{2}\big(\frac{2+\alpha}{2}p_k - 1\big)$，将 $\theta$ 的耗散正则性与当前 $\omega$ 的 $L^{p_k}$ 范数耦合，在引理2.3中建立迭代关系 $p_{k+1} = \frac{8\beta p_k}{(2-\alpha)(\beta p_k + 2)}$；(2) 在每次迭代步中，利用常数Vicol的非线性极大值原理（nonlinear maximum principle for fractional Laplacians）[9] 提供的关键不等式 $\int \partial_{x_1} \theta |\omega|^{p_{k+1}-2} \omega \,dx \le C \|\theta\|_{L^\infty}^{\frac{2-r}{r}} \|\Lambda^{\delta_k + \beta/2} \theta\|_{L^2}^{\frac{2(r-1)}{r}} \|\Lambda^{\alpha/2} \omega\|_{L^2} \|\omega\|_{L^{p_{k+1}}}^{(p_{k+1}-2)(1-\lambda)} \|\omega\|_{L^{\frac{2p_{k+1}}{2-\alpha}}}^{(p_{k+1}-2)\lambda}$，其中 $r = \frac{(2+\alpha)\beta p_k}{(2+\alpha)\beta p_k + \alpha - 2} \in (1,2)$，$\lambda \in (0,1)$ 由(2.29)定义；(3) 通过精细的插值不等式（如(2.18)、(2.20)）将 $\|\nabla u\|_{L^{\frac{4+\alpha}{2}}}$ 和 $\|\Lambda^{\delta_k} \theta\|_{L^{\frac{2(4+\alpha)}{2+\alpha}}}}$ 分别用 $\|\omega\|_{L^{p_k}}$、$\|\omega\|_{L^{\frac{2p_k}{2-\alpha}}}$ 及 $\|\Lambda^{\delta_k + \beta/2} \theta\|_{L^2}$ 控制，从而将非线性项完全吸收进耗散项 $\|\Lambda^{\alpha/2} \omega\|_{L^2}^2$ 与 $\|\Lambda^{\delta_k + \beta/2} \theta\|_{L^2}^2$ 中。整个证明框架是一个高度非平凡的“$\omega$-$\theta$ 正则性传递链”：从 $L^2$-bound（引理2.2）出发，通过迭代引理2.3将 $p_k$ 逐步增大，最终达到 $p_k \to \infty$，从而获得 $\|\omega\|_{L^\infty}$ 控制，再结合Biot-Savart律 $u = \nabla^\perp \Delta^{-1} \omega$ 和Sobolev嵌入，完成整体正则性证明。

4. 与之前工作的比较

本文与既有工作的本质区别体现在三个维度：(1) 方法论范式转移：此前所有针对 $\alpha \le 2/3$ 的工作（[30, 25, 27, 17, 22]）均依赖组合量 $G = \omega \pm R^\beta \theta$，其动机是消除 $\partial_{x_1} \theta$ 项，但代价是引入强奇异性交换子 $[R^\beta, u\cdot\nabla]\theta$。本文完全放弃此路径，直接在涡量方程上操作，规避了交换子估计，从而绕开了 $\beta > \frac{4-\alpha^2}{4+3\alpha}$ 这一瓶颈。正如原文第6页明确指出：“It seems impossible to apply the argument adopted in [30] to weaken the above requirement”，而本文通过新迭代法实现了这一点。(2) 参数范围实质性推进：在 $\alpha \le \sqrt{13}-3$ 区域，本文将 $\beta$ 的下界从 $\frac{4-\alpha^2}{4+3\alpha}$（[25,30]）降至 $\frac{4-2\alpha}{4+\alpha}$，这是迄今最弱的显式条件；在 $\sqrt{13}-3 < \alpha \le 2/3$ 区域，本文首次引入分段最大值函数，其下界在 $\alpha=2/3$ 时仅为 $0.25$，而[25]要求 $\beta > 0.727$，进步幅度达三倍。这一推进并非渐进式改良，而是源于对 $\omega$-$\theta$ 耦合结构的更深刻解析。(3) 技术代价与适用性权衡：本文方法的代价是引入额外初值条件 $\theta_0 \in L^{\frac{4}{2+\alpha}}$（仅在第二子区域需要），且迭代过程极度精细，依赖于特定插值指数（如 $r, \lambda$）的构造，其通用性不如组合量方法广泛。然而，该代价换来的是对 $\alpha$ 接近 $0$ 时（即速度几乎无耗散）情形的处理能力，这是组合量方法完全失效的区域。此外，本文结果与临界情形 $\alpha+\beta=1$ 的最新进展（[25]中 $\alpha > 2/3$）形成互补：当 $\alpha+\beta$ 从 $1^+$ 增大时，本文覆盖了 $\alpha$ 较小的次临界区域，而[25]覆盖了 $\alpha$ 较大的区域，二者共同勾勒出次临界相空间的完整图景。从提供内容中无法确认本文结果是否可推广至三维或带边界情形，亦未显式展开与超临界情形（$\alpha+\beta<1$）工作的比较。

7. 非局部随机微分方程、临界漂移项与局部爆破

Non-local SDEs, critical drifts and local blow-ups

作者: Damir Kinzebulatov, Chengjun Yue

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

发布日期: 2026-06-01

arXiv ID: 2606.02786v1

摘要翻译: 本文研究具有奇异时间非齐次一般漂移项的 $\alpha$-稳定随机微分方程（SDEs）。我们的漂移项满足一个接近最小可能尺度不变性的条件，并可导致在某些具有强吸引相互作用的粒子系统中出现的局部爆破类型。

Comment: 无

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

1. 研究对象和背景

本文研究如下非局部随机微分方程（SDE）的弱解理论：

其中 $Z_t$ 是 $\mathbb{R}^d$（$d \geq 2$）上的各向同性 $\alpha$-稳定过程（$1 < \alpha < 2$），由分数阶拉普拉斯算子 $(-\Delta)^{\alpha/2}$ 生成；当 $\alpha = 2$ 时，$Z_t$ 退化为标准布朗运动。漂移项 $b : \mathbb{R}^{1+d} \to \mathbb{R}^d$ 是 Borel 可测向量场，其奇异性处于所谓“临界尺度”——即满足近乎最小可能的扩散标度不变性条件，从而可诱发物理上重要的局部爆破现象。此类爆破源于强吸引相互作用，例如粒子系统中粒子在有限时间内几乎必然碰撞（collision in finite time a.s.），导致全局弱解失效。

该模型具有多重物理动机：(i) 二维 $\delta$-Bose 气体的非经典 Feynman–Kac 公式所对应的 SDE；(ii) Keller–Segel 化学趋向模型的非线性 SDE（$\alpha = 2$ 时见 [FJ]，$\alpha < 2$ 时见 [E]）；(iii) 流体力学中被动示踪粒子模型，其漂移由三维 Navier–Stokes 方程解出的速度场给出 [ZZ]。值得注意的是，这些应用中漂移往往不具备梯度结构（如 $b = \nabla V$）、散度符号控制或分布依赖性（如 McKean–Vlasov 型卷积形式），而是真正“一般”的（general）奇异漂移——这正是本文核心设定。

从分析角度看，算子 $\Lambda = (-\Delta)^{\alpha/2} + b \cdot \nabla$ 的非局部性带来双重挑战：一方面，分数热核 $e^{-t(-\Delta)^{\alpha/2}}(x,y) \asymp t^{-d/\alpha} \wedge t |x-y|^{-d-\alpha}$ 仅以多项式速率衰减于无穷远，为某些标度论证提供了便利（cf. [JW]）；另一方面，它破坏了经典椭圆/抛物型理论的诸多基石：标准双侧热核估计 $e^{-t\Lambda}(x,y) \asymp e^{-t(-\Delta)^{\alpha/2}}(x-y)$ 不再成立（见 (1.14)），Sobolev 嵌入失效，且无法直接使用 De Giorgi–Nash 方法（需重大修正，见 [CaV, KSS, MM, S]）。更关键的是，当 $b(x) = \kappa x |x|^{-\alpha}$ 时，存在一个临界阈值 $\kappa_\star = c_{d,\alpha,\beta}/\beta$（其中 $c_{d,\alpha,\beta} = -2^\alpha \Gamma((\alpha-\beta)/2)\Gamma((d+\beta)/2)/(\Gamma(-\beta/2)\Gamma((d+\beta-\alpha)/2)) > 0$，由 $-( -\Delta)^{\alpha/2}|x|^\beta = c_{d,\alpha,\beta}|x|^{\beta-\alpha}$ 确定），使得若 $\kappa > \kappa_\star$，则 (1.1) 在初值 $x=0$ 处甚至不存在弱解（见 Appendix C 的反例）。因此，本文试图填补的关键空白是：在允许漂移达到该临界奇异性（即能引发局部爆破）的前提下，建立严格、统一、适用于时间非齐次情形的弱解存在唯一性理论，并同步发展其 Kolmogorov 向后/向前方程的 Sobolev 正则性理论。已有工作或局限于有界漂移（[Ko]），或要求 $L^q$ 可积性 $q > d/(\alpha-1)$（[P, PP, J]），或依赖 Kato 类（不引发爆破，且热核仍满足 (1.11)），或仅处理时间齐次弱形式有界漂移（[KM]，但其 Stroock–Varopoulos 方法无法延拓至时间非齐次情形）。本文首次将临界 Morrey 类漂移 $\| |b|^{1/(\alpha-1)} \|_{E_{1+\epsilon}} < \infty$（定义见 (1.3)）与时间非齐次性、局部爆破可能性三者同时纳入一个自洽框架。

2. 主要定理或主要结果

本文主要结果由 Theorems 1–3 给出，核心结论如下：

Theorem 1（弱解存在唯一性与 Feller 性）：设 $p > d + 1$，漂移 $b$ 满足临界 Morrey 条件 (1.3)，即 $\| |b|^{1/(\alpha-1)} \|_{E_{1+\epsilon}}$ 充分小（$\epsilon > 0$）。则对任意 $x \in \mathbb{R}^d$，SDE (1.1) 存在条件唯一弱解 $\{X_t\}_{t\geq 0}$；这些弱解构成强 Markov 族，并确定一个强连续 Feller 传播子 $U_t: C_\infty(\mathbb{R}^d) \to C_\infty(\mathbb{R}^d)$，满足 $\|U_t f\|_\infty \leq \|f\|_\infty$ 且 $\lim_{t \downarrow 0} \|U_t f - f\|_\infty = 0$。

Theorem 2（Kolmogorov 向前方程正则性）：在相同假设下，对任意初始概率密度 $\mu_0 \in L^1(\mathbb{R}^d)$，Kolmogorov 向前方程（Fokker–Planck 方程）

存在唯一弱解 $\mu \in L^p_{\mathrm{loc}}(\mathbb{R}_+; L^1(\mathbb{R}^d))$，且满足以下 Bessel 势空间正则性：存在 $\gamma > 0$ 使得 $\mu \in W^{\gamma,p}_\alpha(\mathbb{R}_+ \times \mathbb{R}^d)$，其中 $W^{\gamma,p}_\alpha$ 定义为 $\mu = (\lambda + \partial_t + (-\Delta)^{\alpha/2})^{-\gamma/2} f$，$f \in L^p$，范数为 $\|\mu\|_{W^{\gamma,p}_\alpha} := \|(\lambda + \partial_t + (-\Delta)^{\alpha/2})^{\gamma/2} \mu\|_p$。特别地，由抛物型 Sobolev 嵌入 (1.25)，当 $\gamma/2 > (1 + d/\alpha)(1/p - 1/q)$ 时，有 $W^{\gamma,p}_\alpha \subset L^q$，从而 $\mu$ 具有 Hölder 连续性。

Theorem 3（多粒子系统的应用）：对 $N$ 粒子系统 $X^i_t = X^i_0 - \frac{1}{N} \sum_{j \neq i} \int_0^t \frac{X^i_s - X^j_s}{|X^i_s - X^j_s|^\alpha}\,ds + Z^i_t$，其集体漂移 $b: \mathbb{R}^{dN} \to \mathbb{R}^{dN}$，$b_i(x) = \frac{1}{N} \sum_{j \neq i} \frac{x_i - x_j}{|x_i - x_j|^\alpha}$，虽不满足 $L^{dN/(\alpha-1)}$ 可积性，但满足 (1.3)，故该系统在 $\mathbb{R}^{dN}$ 上存在弱解，且解在碰撞超平面 $x_i = x_j$ 处表现出临界奇异性。

Proposition 3（局部化）：对任意紧集 $K \subset \mathbb{R}^{1+d}$，存在局部解，其正则性由局部 Morrey 范数 $\sup_{(t,x) \in K, \rho > 0} \rho \left( \frac{1}{\rho^{d+\alpha}} \int_{C^\alpha_\rho(t,x)} |b|^{1+\epsilon} ds dy \right)^{1/(1+\epsilon)}$ 控制。

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

证明的核心障碍在于：当漂移 $b$ 达到临界奇异性（如 $|b(x)| \sim |x|^{-\alpha}$）时，标准能量估计与热核方法完全失效。具体而言，(i) 算子 $\Lambda = (-\Delta)^{\alpha/2} + b \cdot \nabla$ 不再生成一致有界的解析半群；(ii) 经典 $L^2$ 框架（如 [KM] 的弱形式有界性）无法处理时间非齐次性，因其严重依赖 Stroock–Varopoulos 不等式与对称性；(iii) Kato 类方法（[KSo, CW]）所依赖的双侧热核估计 (1.11) 在临界情形下被破坏，取而代之的是带奇点的估计 (1.14)，无法用于构造 Duhamel 级数。

作者的真正创新点是引入并系统发展了一套基于 Rellich 型算子范数估计 的新框架，其枢纽是以下关键算子不等式（即 (1.16)）：

此式并非直接估计 $b \cdot \nabla$，而是将其“夹在”两个分数阶 Riesz 位势之间，本质是将 $b$ 的奇异性通过 Morrey 范数进行“软化”。其技术实现分为三步：

第一，建立 Morrey–Riesz 对偶分解。利用抛物型 Riesz 变换在 $L^p$ 上的有界性，将 (1.16) 拆解为两个“半估计”（(1.17)–(1.18)）：

关键突破在于，对 Morrey 类漂移，这两个估计可取 $\varepsilon_0 = 0$（见 (1.19)–(1.20)），而对弱形式有界漂移则必须 $\varepsilon_0 > 0$，这使得本文方法在技术上更锐利。

第二，构造 Duhamel 级数与抛物型 Sobolev 嵌入。将向后 Kolmogorov 方程 $(\lambda + \partial_t + (-\Delta)^{\alpha/2} + b \cdot \nabla) u = f$ 形式求解为 $u = \sum_{n=0}^\infty (-1)^n R_\lambda (b \cdot \nabla R_\lambda)^n f$，其中 $R_\lambda = (\lambda + \partial_t + (-\Delta)^{\alpha/2})^{-1}$。由 (1.16)，该级数在 $L^p$ 中收敛。再结合抛物型 Sobolev 嵌入定理 (1.25)–(1.26)，当 $p > d + 1$ 时，$W^{\gamma,p}_\alpha \subset C_b$，从而保证解 $u$ 连续有界，进而导出 Feller 传播子。

第三，概率测度的唯一性验证。在已获 PDE 解 $u$ 的基础上，定义一族概率测度 $\{P_x\}_{x \in \mathbb{R}^d}$ 于路径空间 $D([0,T], \mathbb{R}^d)$ 上，其特征泛函为 $\mathbb{E}_{P_x}[e^{i \xi \cdot (\omega_t - x + \int_0^t b(s,\omega_s) ds)}] = e^{-t |\xi|^\alpha}$。作者运用 Chen–Wang [CW] 的收缩映射技巧，结合 Banach 不动点定理，在加权空间 $L^p_\rho$（权重 $\rho(x) = (1 + \kappa |x|^2)^{-\theta/2}$，$\theta > d$）中证明该泛函方程有唯一解，从而确立弱解的条件唯一性。此步骤规避了传统 Martingale 问题中对 $\sigma$-代数精细结构的依赖，是处理临界漂移的关键简化。

4. 与之前工作的比较

本文与既有工作的比较可从四个维度展开：

1. 与 Kato 类及弱形式有界类的比较：[KSo, CW] 的 Kato 类要求 $\lim_{r \to 0} \sup_x \int_{B_r(x)} |b(y)| |x-y|^{\alpha-d-1} dy = 0$，等价于 $\| (\lambda + (-\Delta)^{\alpha/2})^{-(\alpha-1)/\alpha} |b| \|_\infty \leq \delta$（(1.10)）。此类漂移不引发爆破，且热核保持双侧估计 (1.11)。而本文 Morrey 类 (1.3) 显著更广：例如 $b(x) = \kappa x |x|^{-\alpha}$ 属于 (1.3) 但不属于 Kato 类（因 $|b|^{1/(\alpha-1)} \in L^{d,\infty}$，其 Morrey 范数有限，但 Kato 范数发散）。更重要的是，[KM] 的弱形式有界类 $\| |b|^{1/2} (\lambda + (-\Delta)^{\alpha/2})^{-1/2} \|_{2 \to 2} \leq \sqrt{\delta}$ 虽也包含爆破漂移，但仅限时间齐次情形；本文通过抛物型 Rellich 估计 (1.16) 将其推广至时间非齐次，且无需对称性假设，代价是牺牲了部分空间奇异性（如不能处理 $L^{d/(\alpha-1),\infty}$ 边界情形，而 [KM] 可以）。

2. 与 Lebesgue 可积性条件的比较：Portenko [P] 的条件 $|b| \in L^q + L^\infty$，$q > d/(\alpha-1)$（(1.9)）是 Lebesgue 尺度上的最优，但对 $b(x) = \kappa x |x|^{-\alpha}$，其 $L^q$ 范数在 $q = d/(\alpha-1)$ 处发散，故不适用。本文 Morrey 类 (1.3) 在 $q = d/(\alpha-1)$ 处恰为临界，且允许 $|b|$ 在稠密集上奇异性（如 (1.4)），这是 Lebesgue 类无法容纳的。

3. 与 Brownian 情形 $\alpha = 2$ 的比较：Semënov–Kinzebulatov [K1, KS] 和 Röckner–Zhao [RZ] 对 $\alpha = 2$ 建立了类似理论，但其证明依赖于椭圆情形下的 Hille–Yosida 理论与伪预解式，技术迥异。本文在抛物框架下直接处理 $\partial_t + (-\Delta)^{\alpha/2}$，不仅统一了 $\alpha < 2$ 与 $\alpha = 2$，还获得了新结果：Theorem 2 的不对称 Bessel 势空间三元组（而非标准 Hilbert 三元组 $W^{1,2} \to L^2 \to W^{-1,2}$）允许更粗糙的右端项，从而处理更不规则的初始数据，这是 $\alpha = 2$ 文献中未见的。

4. 与分布值漂移的比较：Athreya–Butkovsky–Mytnik [ABM] 等人研究 Besov/Bessel 分布漂移，其入口是 Hardy 不等式 (1.15)，但要求漂移的分布导数足够正则。本文则仅对漂移本身施加条件（如 Morrey 范数），从而自由修改相互作用核，代价是无法处理 Besov 尺度中更精细的振荡结构。作者明确指出：“从提供内容中无法确认是否存在 Besov 漂移的爆破理论”，因为现有 Besov 工具尚未与临界吸引奇异性对接。

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

1. 临界情形下具有不同阻尼类型的半线性带阻尼$σ$-演化方程组

On a system of semilinear damped $σ$-evolution equations with different damping types in the critical case

作者: Trung Loc Tang, Tuan Anh Dao, The Anh Cung

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03840v1

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

摘要翻译

中文标题: 临界情形下具有不同阻尼类型的半线性带阻尼$σ$-演化方程组

摘要翻译: 本文利用非线性项的连续性模，研究了具有不同阻尼类型的半线性带阻尼$σ$-演化方程组，其中非线性项的两个幂指数位于临界曲线上。我们旨在确定关于这些连续性模的尖锐条件，以保证Sobolev解的全局（时间）存在性，或反之导致有限时间爆破。此外，借助爆破结果证明中所发展的分析方法，我们对文献中关于对称模型提出的一个公开问题给出了肯定回答。

2. 关于一阶折扣平均场博弈选择问题的若干注记

Remarks on selection problems for first-order discounted mean field games

作者: Kengo Terai

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03580v1

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

摘要翻译

中文标题: 关于一阶折扣平均场博弈选择问题的若干注记

摘要翻译: 我们研究了具有局部耦合的一阶定态平均场博弈在折扣趋于零时的极限选择问题。对于相同的密度与遍历常数，相应的遍历问题可能容许多个值函数。我们将状态空间分解为正密度区域、本质零密度内部以及一个剩余集，并证明所选值函数可能的不唯一性仅能出现在剩余集的间隙部分。若所选值函数的梯度在该间隙剩余集上重合，则所选值函数在加性常数意义下唯一；在紧性与稳定性假设下，由此可推出整个归一化折扣族的收敛性。我们证明，对于一维问题以及多维情形下的特定哈密顿量，该间隙剩余集为零测集，从而在这些情形下获得了收敛性结果。

3. 分数阶 Dunkl 热半群的加权变分不等式

Weighted variational inequalities for the fractional Dunkl heat semigroup

作者: Suman Mukherjee

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

发布日期: 2026-06-02

arXiv ID: 2606.03162v1

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

摘要翻译

中文标题: 分数阶 Dunkl 热半群的加权变分不等式

摘要翻译: 我们研究以下算子族的收敛性质

其中 $\{e^{-t(-Δ_k)^s}\}_{t>0}$ 表示由 Dunkl 拉普拉斯算子 $Δ_k$ 生成的分数阶热半群。此处 ${\bf N}=(N_1,N_2)\in\mathbb{Z}^2$，$N_1<N_2$，系数 $\{v_j\}_{j\in\mathbb{Z}}$ 构成有界实数列，且 $\{a_j\}_{j\in\mathbb{Z}}$ 为单调递增的实数列。本文的主要目标是在加权 $L^p(\mathbb{R}^d,dμ_k)$ 空间以及 Dunkl $\mathrm{BMO}(\mathbb{R}^d)$ 空间上为这些微分变换算子建立有界性结果。我们还在相应的极大算子

上建立了类似的有界性，并研究了相应级数的逐点收敛性。此外，我们证明了对于具有紧支集的函数，极大微分变换算子 $\mathcal{T}^*$ 展现出与经典奇异积分算子相当的局部行为。

4. 非齐次边界条件下非线性薛定谔方程的局部与整体适定性

Local and global well-posedness for the nonlinear Schrödinger equation with nonhomogeneous boundary conditions

作者: Engui Fan, Yuan Li, Xinhan Liu

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03064v1

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

摘要翻译

中文标题: 非齐次边界条件下非线性薛定谔方程的局部与整体适定性

摘要翻译: 本文研究上半空间 $\mathbb{R}^{n}_{+}$ 中非线性薛定谔方程的初边值问题 \begin{equation*} i\partial_{t}u+\Delta u+\lambda|u|^pu=0, \qquad (x, t) \in \mathbb{R}{+}^{n} \times \mathbb{R}{+},\ \ p\in\mathbb{R}_{+} \end{equation*}，其中边界条件为非齐次 Dirichlet 边界条件。针对相应的线性问题，我们导出了端点 Strichartz 估计。对于非线性问题，我们在 $H^{s}(\mathbb{R}^{n}_{+})$ 空间中证明了局部适定性，其中 $s\in[0,\frac{5}{2})$ 且 $p<\frac{4}{n-2s}$；并且在同一正则性范围内建立了整体适定性。当 $s\in[1,\frac{5}{2})$ 时，我们将文献 \cite{figment} 中关于一维空间 $H^{s}(\mathbb{R}_{+})$ 的整体理论推广至高维 $H^{s}(\mathbb{R}^{n}_{+})$。此外，我们首次在更低正则性情形 $s\in[0,1)$ 下获得了整体解。值得注意的是，当 $s=0$ 时，我们克服了因非零边界数据导致的质量守恒缺失问题，并推导出关键的 $L^{2}(\mathbb{R}^{n}_{+})$ 先验估计。

5. Benjamin-Ono 方程在长时间极限下的线性化自相似普适性

The Benjamin-Ono Equation in the Long-Time Limit: Linearized Self-Similar Universality

作者: Louise Gassot, Patrick Gérard, Peter D. Miller

类别: math.AP, nlin.SI

发布日期: 2026-06-02

arXiv ID: 2606.02989v1

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

摘要翻译

中文标题: Benjamin-Ono 方程在长时间极限下的线性化自相似普适性

摘要翻译: 我们得到了 Benjamin-Ono 方程初值问题解在 $t\to+\infty$ 且 $x=O(t^{1/2})$ 极限下的主导项。我们证明了该解的衰减速率超越自相似解的衰减速率，并给出了一个显式的普适剖面，将其与自相似解剖面方程的线性化相联系。证明假设初值 $u_0$ 属于 $L^2(\mathbb{R})\cap L^1(\mathbb{R})$ 中的一类有理函数，且其反射系数在原点处呈现典型行为。

不相关论文（基本信息）

1. 卡伦-弗兰克-利布稳定性定理的密度-距离版本

A Density-Distance Version of the Carlen–Frank–Lieb Stability Theorem

作者: Gangsong Leng

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

发布日期: 2026-06-02

arXiv ID: 2606.03749v1

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

摘要: Carlen, Frank and Lieb studied stability estimates for the lowest eigenvalue of a Schrödinger operator by decomposing the problem into a stability estimate for Hölder’s inequality and a stability estimate for a Gagliardo–Nirenberg–Sobolev inequality. In this note we point out that, if the Hölder step is replaced by the optimal $L^1$-stability theorem of Leng and Lu in probabilistic form, then one obtains a density-distance version of the Carlen–Frank–Lieb stability theorem. The new formulation measures the $L^1$ distance between the normalized density $V_-^s/\int V_-^s$ induced by the negative part of the potential and the corresponding density induced by an optimal potential, where $s=γ+d/2$. As a geometric application of the same idea, we also derive a density-stability version of the $L_p$ mixed volume inequality. In the case where one of the two convex bodies is centrally symmetric and both bodies are trapped between two concentric Euclidean balls, this gives an averaged stability estimate for the non-evenness of the support function.

2. 迈向 $1/2$-对数凹性及其推广：Dirichlet 特征函数的几何性质

To $1/2$-logconcavity and beyond: Geometric properties of Dirichlet eigenfunctions

作者: Lei Qin, Jin Sun, Kui Wang

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03684v1

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

摘要: We prove that, on a bounded open convex domain $Ω\subset\mathbb{R}^n$, the first Dirichlet eigenfunction of the Laplacian or the Ornstein–Uhlenbeck operator is $α$-logconcave for every $α\in(0,1/2]$. This extends the recent $1/2$-logconcavity theorem of Crasta–Fragalà for the Laplacian to the weighted Gaussian setting and, simultaneously, to a broader range of exponents. More precisely, if $u$ denotes the first eigenfunction normalized by $\|u\|_\infty=1$, then for every $α\in(0,1/2]$, the function $-\bigl(-\log(κu(x))\bigr)^α$ is concave in $Ω$ provided the scaling parameter $κ$ lies below an explicit threshold $κ_α(Ω)\in(0,1)$, which depends on the first Dirichlet eigenvalue and on the diameter of~$Ω$. For the Ornstein–Uhlenbeck operator, $κ_α(Ω)$ also depends on the distance between $Ω$ and the origin. Moreover, we establish a local counterpart: for every $κ\in(0,1)$, the function $\bigl(-\log(κu)\bigr)^α$ is convex on a convex neighborhood $Ω_κ$ of the unique maximum point of~$u$. We also provide counterexamples showing that unscaled $1/2$-logconcavity may fail for the first Dirichlet eigenfunction of a Schrödinger operator with a smooth convex potential, and for the first Dirichlet eigenfunction of a weighted Laplacian associated with an affine log-concave weight.

3. Bartnik宇宙学分裂猜想的肯定性解决

Positive resolution of Bartnik’s cosmological splitting conjecture

作者: Robert J. McCann, Argam Ohanyan

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

发布日期: 2026-06-02

arXiv ID: 2606.03873v1

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

摘要: We give a proof of the cosmological splitting conjecture of Robert Bartnik from 1988, which expresses the rigidity of the cosmological Hawking–Penrose singularity theorem. It states that a timelike geodesically complete, globally hyperbolic spacetime which has compact Cauchy surfaces and satisfies the strong energy condition must split isometrically as a Lorentzian product. Our methods combine the construction of global viscosity solutions to the Lorentzian eikonal equation by Zhu–Wu–Cui with our recently developed elliptic approach to the proof of Lorentzian splitting theorems in joint work with Braun, Gigli and Sämann, where we make use of the $p$-d’Alembertian operator for $p < 1$.

4. 黎曼流形中指标为一的闭极小曲面

Closed minimal surfaces of index one in Riemannian manifolds

作者: Fernando C. Marques, André Neves

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

发布日期: 2026-06-02

arXiv ID: 2606.03583v1

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

摘要: In this paper we prove that an $(n+1)$-manifold, compactly $n$-enlargeable, where $3\leq (n+1)\leq 7$, has connected, immersed Morse index one, closed minimal hypersurfaces with unbounded volumes for bumpy metrics. We prove that in the three-dimensional case the hypersurfaces are geometrically distinct using cyclic coverings of manifolds with boundary. The proof extends to $(n+1)$-fiberings. We prove a scalar curvature rigidity theorem for area-nonincreasing maps of three-dimensional manifolds. The case of stable surfaces is also discussed by using cohomology classes and incompressible surfaces.

5. 非交换环面上的分数Sobolev嵌入

Fractional Sobolev embeddings on noncommutative torus

作者: F. Sukochev, R. Tastankul, K. Tulenov, D. Zanin

类别: math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03185v1

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

摘要: In this paper, we study the noncommutative fractional symmetric Sobolev spaces on noncommutative torus. We prove noncommutative distributional fractional Sobolev inequality and as its application, we obtain Sobolev embeddings. In order to obtain these results, we first prove a noncommutative version of the famous O’Neil inequality for the convolution. As a first application of our main results, we obtain a Cwikel-Solomyak-type estimate. As an another application, we show a $L_2$-time decay for the mild solution of the Cauchy problem for the diffusion equation in this noncommutative setting. When $θ=0,$ our results recover many known results on Sobolev embedding on the torus.

6. Legendrian圈与$F_nW^{2,n}$-集的Reilly型变分公式

Legendrian cycles and Reilly-type variational formulae for $F_nW^{2,n}$-sets

作者: Paolo Valentini

类别: math.DG, math.AP

发布日期: 2026-06-02

arXiv ID: 2606.03373v2

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

摘要: We construct a natural Legendrian cycle $\mathcal{N}_\mathcal{S}$ associated with any $F_nW^{2,n}$-set $\mathcal{S}$, that is, a closed set locally described as a finite union of graphs of $(C^0\cap W^{2,n})$-regular functions with integer multiplicity. The construction relies on the fact that $\mathcal{S}$ is countably $\mathcal{H}^n$-rectifiable of class $C^2$ and, at $\mathcal{H}^n$-almost every point $p\in\mathcal{S}$, the proximal unit normal bundle at $p$, denoted by $\operatorname{nor}(\mathcal{S},p)$, consists of exactly two antipodal vectors $\{u,-u\}$, even in the presence of overlapping $W^{2,n}$-graphs. As a consequence, we prove Reilly-type variational formulae for the higher-order mean curvature integrals of $\mathcal{S}$, extending the classical results of Reilly to this non-smooth setting.

7. 一种耦合预测-校正的Hughes模型用于拥挤人群运动

A coupled prediction-correction Hughes’ model for congested crowd motion

作者: Hamza Ennaji, Noureddine Igbida, Ghadir Jradi, José Miguel Urbano

类别: math.AP

发布日期: 2026-06-01

arXiv ID: 2606.02899v1

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

摘要: In this work, we introduce a new macroscopic model for crowd motion inspired by the celebrated Hughes’ model \cite{Hughes2002, Hughes2003}, which couples a nonlinear conservation law for the pedestrian density with an Eikonal equation describing the shortest path to the target. Our approach can be viewed both as a modification of Hughes’ original formulation and as a refinement of the prediction-correction framework proposed in the recent work \cite{ennaji2023prediction}. The resulting model incorporates anticipatory behavior and dynamic route adjustment, offering a more realistic representation of crowd dynamics in complex environments. We present the mathematical formulation of the model, discuss its well-posedness properties, and illustrate its qualitative behavior through numerical simulations. Ultimately, we show, at least from a numerical perspective, that this variant provides a promising avenue towards establishing the well-posedness of the classical Hughes’ model, which has remained a challenging open problem for a long time.