生成时间: 2026年08月19日 03:34:48

运行状态: 完成

计划处理论文数量: 32

已完成论文数量: 32

未完成论文数量: 0

重点关注论文数量: 8

了解领域论文数量: 20

不相关论文数量: 4

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

1. 径向对称Navier-Stokes-Korteweg方程不可渗透壁问题定解解的时间渐近稳定性

Time-Asymptotic Stability of the Stationary Solution to the Impermeable Wall Problem for the radially Symmetric Navier-Stokes-Korteweg Equations

作者: Jeongho Kim

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17617v1

摘要翻译: 我们研究了定义在外区域 $Ω= ext{\{}x\in\mathbb{R}^n~|~|x|> 1\text{\}}$ 上的径向对称Navier–Stokes–Korteweg (NSK) 方程初边值问题的渐近行为。具体而言，我们考虑不可渗透壁问题，其中边界 $ ext{\{}x\in\mathbb{R}^n~|~|x|=1\text{\}}$ 处的速度设为零。我们证明，若初始数据是定态解的小扰动，且边界数据充分小，则存在径向对称NSK方程的全局强解，且该解在时间渐近意义下收敛于定态解。我们的方法基于结合精心设计的能量泛函的基本能量估计。

Comment: 24 pages

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

1. 研究对象和背景

本文研究的是具有毛细效应的可压缩流体动力学模型，即Navier-Stokes-Korteweg (NSK) 方程组。该模型旨在描述两相流及量子粘性流体等复杂物理现象，其核心在于在经典的Navier-Stokes方程基础上引入了由密度梯度引起的毛细力项（Korteweg应力）。在球对称假设下，考虑定义在外部区域 $\Omega = \{x \in \mathbb{R}^n \mid |x| > 1\}$ ($n \ge 3$) 上的初边值问题。研究对象为密度 $\rho(t, r)$ 和径向速度 $u(t, r)$，满足如下径向对称形式的NSK方程组：

$$ \begin{cases} \rho_t + \frac{(r^{n-1}\rho u)_r}{r^{n-1}} = 0, \\ \rho(u_t + u u_r) + P(\rho)_r = \mu \left( \frac{(r^{n-1}u)_r}{r^{n-1}} \right)_r + \kappa \rho \left( \rho_{rr} + \frac{n-1}{r}\rho_r \right)_r, \end{cases} $$

其中 $P(\rho) = \rho^\gamma$ 为多方状态方程，$\mu = 2\nu + \lambda$ 为剪切与体积粘滞系数组合，$\kappa > 0$ 为毛细系数。边界条件设定为“不可渗透壁”情形，即在边界 $r=1$ 处速度为零 $u(t, 1) = 0$，且密度梯度由常数 $\rho_b$ 给定 $\rho_r(t, 1) = \rho_b$；在无穷远处 $(\rho, u) \to (\rho_+, 0)$。

该问题之所以重要，是因为它结合了外部域几何、非线性对流项、高阶毛细项以及非齐次边界条件的多重复杂性。尽管对于无毛细项的Navier-Stokes方程 ($\kappa=0$)，径向对称情形下的大时间行为已有大量研究（如 [23], [33]），但对于包含毛细项的NSK方程，其径向对称形式的时间渐近稳定性尚未被系统研究。此前作者仅在 [27] 中证明了在小边界数据假设下存在唯一的定态解 $(\tilde{\rho}, 0)$ 并分析了其衰减性质。本文试图填补的空白是：证明当初始数据为小扰动时，上述初边值问题的整体强解不仅存在，而且随时间演化收敛至该定态解。这一结论对于理解毛细流体在受限空间内的长期平衡状态具有理论意义，特别是揭示了毛细力如何影响外部域中扰动的耗散机制。

关键未知量是扰动 $(\phi, \psi) = (\rho - \tilde{\rho}, u)$，问题设定要求严格处理 $n \ge 3$ 维球坐标下的加权索伯列夫空间估计，以及毛细项带来的四阶导数耦合效应。

2. 主要定理或主要结果

本文的核心成果体现为定理 1.1，具体陈述如下：

设空间维度 $n \ge 3$，$(\tilde{\rho}, 0)$ 为满足方程 (1.6) 的定态解。存在正常数 $\delta_0$ 和 $\varepsilon_0$，使得若边界参数满足 $|\rho_b| < \delta_0$，且初始扰动 $(\rho_0 - \tilde{\rho}, u_0)$ 属于 $H^3(1, \infty) \times H^2(1, \infty)$ 并满足小性条件：

$$ \|(\rho_0 - \tilde{\rho}, u_0)\|_{H^2(1,\infty) \times H^1(1,\infty)} < \varepsilon_0, $$

同时满足边界条件 $u_0(1)=0$, $\rho_{0r}(1)=\rho_b$ 及相容性条件 (1.5)。则存在唯一的整体时间强解 $(\rho, u)$ 满足正则性：

$$ (\rho - \tilde{\rho}, u) \in C([0, \infty); H^3(1, \infty)) \times C([0, \infty); H^2(1, \infty)). $$

更重要的是，该解具有时间渐近稳定性，即当 $t \to \infty$ 时，解依 $W^{1,\infty}$ 范数收敛于定态解：

$$ \lim_{t \to \infty} \left( \|\rho(t) - \tilde{\rho}\|_{W^{1,\infty}(1,\infty)} + \|u(t)\|_{L^\infty(1,\infty)} \right) = 0. $$

此外，文章建立了先验估计（命题 3.1）：定义能量泛函 $N(t) = \|\phi\|_{H^2}^2 + \|\psi\|_{H^1}^2$ 和耗散量 $D(t)$，在小扰动假设下，存在与时间 $T$ 无关的常数 $C_0$，使得：

$$ \sup_{0 \le t \le T} N^2(t) + \int_0^T D(s) ds \le C_0 N^2(0). $$

该估计表明扰动能量随时间单调递减并最终趋于零，且耗散项包含了速度梯度的 $L^2$ 范数及密度的二阶导数信息。

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

证明的主要技术障碍在于处理径向对称坐标系下的奇异权重 $r^{n-1}$，以及毛细项引入的高阶导数 $\rho_{rrr}$ 与粘性项之间的耦合。传统的能量估计方法难以直接控制这些高阶项，特别是在外部域上缺乏紧性支持的情况下。作者的真正创新点在于构造了一组精心设计的复合能量泛函，通过线性化算子 $L(f)$ 和 $A(f)$ 将复杂的非线性项分解，并利用球对称几何特有的积分恒等式进行精确估计。

具体而言，分析框架分为以下几个关键步骤：

  1. 加权不等式的精细应用：文章利用了引理 2.2 和 2.3，建立了在 $n \ge 3$ 条件下，函数及其导数在加权空间 $L^2_{r^{n-3}}$ 和 $L^\infty$ 中的不等式关系。例如，引理 2.2 指出 $\|f\|_{L^2_{r^{n-3}}} \le \frac{2}{n-2}\|f_r\|$，这是控制径向项的关键。由于 $n \ge 3$，分母 $n-2$ 为正，保证了不等式的有效性。这一工具在处理毛细项 $\kappa \rho A(\rho)_r$ 产生的交叉项时至关重要，能够将对角项转化为可控的耗散项。

  2. 复合能量泛函的构造：作者没有直接使用单一的能量泛函，而是构建了四个引理对应的能量项并进行组合。首先是内能估计（引理 3.1），利用相对内能 $Q(\rho|\tilde{\rho})$ 控制了密度的 $L^2$ 范数和速度的 $L^2$ 范数，并获得了基本的耗散项 $\mu \|G\|^2$（其中 $G = \psi_r + \frac{n-1}{r}\psi$ 为膨胀率）。其次是交叉项估计（引理 3.2），通过构造形如 $\int \rho \psi \phi_{rr} r^{n-1} dr$ 的混合项，提取出关于密度一阶和二阶导数的额外耗散 $\|\phi_r\|^2$ 和 $\|\phi_{rr}\|^2$。这一步骤巧妙地利用了连续性方程和动量方程的对偶结构，将速度场对密度场的驱动作用转化为密度的耗散。

  3. 高阶导数估计与闭包：在高阶估计（引理 3.3）中，通过对动量方程求导并乘以 $\psi_{rr}$，结合之前的低阶估计，控制了 $H^2$ 范数。关键在于处理非线性项 $\rho \psi \psi_r$ 和高阶毛细项，作者通过反复使用分部积分和前述的加权不等式，将所有高阶项吸收进耗散项 $D(t)$ 中，或者利用小扰动假设将其归入误差项。最终，通过构造总能量泛函 $\mathcal{L}$（见公式 3.19），使其等价于 $N^2(t)$，从而完成闭环估计。

  4. 全局适定性论证：基于局部存在性理论和上述先验估计，利用延拓原理（continuation argument）证明了整体解的存在性。由于先验估计不依赖于时间 $T$，解不会在有限时间内爆破，从而保证了整体存在性和渐近收敛性。

4. 与之前工作的比较

本文与既有文献相比，在多个维度上取得了显著推进，同时也存在特定的代价和局限。

首先，在研究对象上，本文首次系统研究了径向对称 Navier-Stokes-Korteweg 方程在外部域上的时间渐近稳定性。既往文献主要集中在以下方面：对于一维 NSK 方程，已有工作 [5, 6, 16, 17, 19, 29-31] 研究了稀薄波、粘性色散激波及其复合波的稳定性；对于无毛细项的径向对称 Navier-Stokes 方程 ($\kappa=0$)，[23] 证明了 $n=3$ 时不可渗透壁问题的稳定性，[33] 进一步推广到大初值和外势场情形。然而，对于 $\kappa > 0$ 的径向对称 NSK 方程，此前仅有作者本人在 [27] 中证明了定态解的存在性及毛细系数趋于零的极限行为，并未涉及动力系统的长时演化稳定性。本文填补了这一空白，将稳定性理论从一维或无毛细情形扩展到了三维（$n \ge 3$）有毛细效应的径向对称系统。

其次，在假设条件上，本文与 [23] 等经典 NS 方程工作相比，增加了毛细项带来的高阶导数约束。为了处理毛细项导致的四阶微分结构，本文必须要求初值具有更高的正则性（$H^3 \times H^2$），而经典 NS 方程通常只需 $H^1$ 或 $H^2$。此外，本文明确限制了空间维度 $n \ge 3$，这是由引理 2.2 和 2.3 中的几何因子 $n-2$ 决定的。在 $n=2$ 时，相关加权不等式失效，导致无法控制 $L^2_{r^{-1}}$ 范数，因此本文的方法不能直接推广到二维情况。相比之下，[23] 针对 $n=3$ 的 NS 方程结果虽然维度相同，但未涉及毛细力的奇异性处理。

在适用范围和代价方面，本文采用了“小扰动”假设，即要求初始数据靠近定态解且边界数据 $\rho_b$ 足够小。这与 [33] 中允许大初值（但在外势场下）的结果不同，后者利用了特殊的势场结构来抵消非线性项。本文的代价是牺牲了初值的任意性以换取对毛细项的精确控制。此外，本文仅处理了不可渗透壁问题 ($u^- = 0$)，而对于流入/流出问题 ($u^- \neq 0$)，虽然 [27] 讨论了定态解的存在性，但本文未涉及其稳定性，因为非零边界速度会引入额外的对流项，破坏现有的能量泛函结构，需要更复杂的技巧。

最后，在方法论上，本文坚持使用“基础能量估计”而非复杂的谱分析或熵不等式，这使得证明过程更加直接且适用于一般读者，但也意味着对几何权重的依赖极强。与 [20] 研究热传导 NSF 方程相比，本文未考虑温度方程的耦合，简化了系统，但同时也限制了对热力学非平衡过程的描述。总体而言，本文在保持数学严谨性的同时，成功地将毛细流体稳定性理论拓展到了新的几何和物理场景，为后续研究高维毛细流体的复杂边界行为奠定了基础。

2. 热算子的初值到终值反问题

The initial-to-final inverse problem for the heat operator

作者: Enric Alberola, Nesrine Aroua, Pedro Caro

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17645v1

摘要翻译: 我们研究介质中热方程的反问题，该介质以与热密度成正比的速率产生内热。目标是从初值到终值映射（该映射将每个初始热密度对应到一个最终热密度）中确定热生成系数 $V$。我们在由 $

Comment: 21 pages

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

1. 研究对象和背景

本文研究的是热传导方程在具有内部热源介质中的系数反演问题。具体而言，考虑定义在 $\mathbb{R}^n$ ($n \geq 2$) 上的热方程：

$$ \begin{cases} \partial_t u - \Delta u = V(t, x)u & \text{在 } (0, T) \times \mathbb{R}^n \text{ 内}, \\ u(0, \cdot) = f & \text{在 } \mathbb{R}^n \text{ 上}. \end{cases} $$

其中 $u(t, x)$ 表示热密度，$V(t, x)$ 是待确定的热生成系数（势函数），它描述了介质内部产生热量的速率与热密度的比例关系。对于给定的 $V \in L^1((0, T); L^\infty(\mathbb{R}^n))$ 和初值 $f \in L^2(\mathbb{R}^n)$，该初值问题存在唯一解 $u \in C([0, T]; L^2(\mathbb{R}^n))$。

基于此解的映射性质，可以定义一个有界线性算子，称为“初始至最终映射”（initial-to-final map）：

$$ U_T: f \in L^2(\mathbb{R}^n) \longmapsto u(T, \cdot) \in L^2(\mathbb{R}^n). $$

该映射将任意初始热分布 $f$ 映射为时刻 $T$ 的最终热分布。本文的核心问题是：能否通过观测到的映射 $U_T$ 唯一地确定未知的系数 $V$？

这一问题最初由 Caro 和 Ruiz [8] 在薛定谔方程 $i\partial_t u = -\Delta u + Vu$ 的背景下提出，旨在为量子力学中的数据驱动预测提供理论框架，即如果已知系统在任意初态下的终态，能否反推支配演化的哈密顿量。随后的研究将该结果推广至无界势、时间无关势及临界奇异势等情形。然而，热方程作为抛物型方程，其物理机制（耗散性）与薛定谔方程（幺正演化）存在本质差异。尽管关于抛物型方程边界测量逆问题（如从 Dirichlet-to-Neumann 映射恢复系数）已有大量文献（如 Bellassoued, Kian, Buisson 等人的工作），但针对全空间非紧区域、利用整体初始至最终映射来恢复零阶系数的研究尚属空白。本文旨在填补这一空白，将初始至最终状态反演问题的框架从椭圆/双曲背景拓展至抛物背景，并证明在超指数衰减假设下，$V$ 可由 $U_T$ 唯一确定。

2. 主要定理或主要结果

本文的主要成果建立在以下定理之上：

定理 1 (唯一性)：设 $V_1, V_2 \in L^1((0, T); L^\infty(\mathbb{R}^n))$，且 $n \geq 2$。令 $U_T^1$ 和 $U_T^2$ 分别为对应于系数 $V_1$ 和 $V_2$ 的初始至最终映射。若 $V_1$ 和 $V_2$ 均满足超指数衰减条件（即对任意 $\rho > 0$，有 $e^{\rho|x|}V_j \in L^\infty(\Sigma)$，其中 $\Sigma = (0, T) \times \mathbb{R}^n$），则：

$$ U_T^1 = U_T^2 \implies V_1 = V_2 \quad \text{几乎处处成立}. $$

为了证明该定理，作者建立了关键的正交关系式。若 $U_T^1 = U_T^2$，则对于方程 $(\partial_t - \Delta - V_1)u_1 = 0$ 的解 $u_1$ 和伴随方程 $(\partial_t + \Delta + V_2)v_2 = 0$ 的解 $v_2$，有：

$$ \int_{\Sigma} (V_1 - V_2) u_1 v_2 \, d(t, x) = 0. $$

定理的证明依赖于构造形如 $u_1^\nu = e^{| u|^2 t + \nu \cdot x}(u_1^\sharp + u_1^\flat)$ 和 $v_2^\nu = e^{| u|^2 (T-t) - \nu \cdot x}(v_2^\sharp + v_2^\flat)$ 的指数增长解，其中 $\nu \in \mathbb{R}^n$ 为大参数。主要技术结论包括：

  1. 修正项估计：对于足够大的 $|\nu|$，修正项 $u_1^\flat$ 和 $v_2^\flat$ 在加权 $L^2$ 范数下具有 $O(|\nu|^{-1})$ 的衰减速率。具体地，存在常数 $C$ 使得：
    $$ \|e^{\epsilon \hat{\nu} \cdot x} u_1^\flat\|_{L^2(\Sigma)} + \|e^{-\epsilon \hat{\nu} \cdot x} v_2^\flat\|_{L^2(\Sigma)} \leq \frac{C}{|\nu|}. $$
  2. 正交关系的延拓：证明了上述正交关系不仅适用于 $L^2$ 解，也适用于上述指数增长解：
    $$ \int_{\Sigma} (V_1 - V_2) u_1^\nu v_2^\nu \, d(t, x) = 0 \quad \text{当 } |\nu| < c \text{ 时}. $$
  3. 极限过程：利用 Fourier 变换的性质，结合修正项的衰减，证明了被积函数 $(V_1 - V_2)$ 的 Fourier 变换为零，从而导出 $V_1 = V_2$。

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

本文证明的核心障碍在于如何将适用于 $L^2$ 解的正交关系延拓到指数增长的解，以及如何控制修正项以保证其在极限过程中可忽略。作者的创新点主要体现在以下三个方面：

  1. 高斯随机变量的矩生成函数用于加权估计：这是本文最核心的技术突破。在构造修正项 $u^\flat$ 时，需要求解积分方程 $(Id - S_\nu \circ M_V)u^\flat = S_\nu(V u^\sharp)$。传统的能量估计无法直接给出随大参数 $|\nu|$ 衰减的界限，因为热核的平移不变性导致标准 $L^2$ 范数无法捕捉 $S_\nu$ 算子中 $2(t-s)\nu$ 位移带来的效应。作者引入了加权空间 $X_{\epsilon \hat{\nu}}(\Sigma)$，其范数为 $\|\phi\|_{X} = \|e^{\epsilon \hat{\nu} \cdot x}\phi\|_{L^2}$。在此空间中，作者证明了关键不等式（Proposition 5.1）：

    $$ \|e^{\epsilon \hat{\nu} \cdot x} S_\nu \phi\|_{L^2(\Sigma)} \leq \frac{e^{\epsilon^2 T}}{2\epsilon |\nu|} \|e^{\epsilon \hat{\nu} \cdot x} \phi\|_{L^2(\Sigma)}. $$

    该估计的证明并非依赖传统的 PDE 技巧，而是巧妙地利用了高斯随机变量的矩生成函数（moment generating function）。通过计算高斯测度下的期望值，作者揭示了热核平移后在指数权重下的积分行为，从而获得了 $1/|\nu|$ 的衰减因子。这使得算子 $S_\nu \circ M_V$ 在 $|\nu|$ 足够大时成为压缩映射，从而保证了修正项的存在性及所需的衰减速率。

  2. 指数增长解的构造策略：作者采用了类似于几何光学近似或 CGO (Complex Geometric Optics) 解的构造方法，但针对热方程进行了调整。主项 $u^\sharp$ 被选为沿方向 $\nu$ 常数的热方程解（即在垂直于 $\nu$ 的超平面上的热传播），形式为：

    $$ u^\sharp(t, x) = \frac{1}{(2\pi)^{(n-1)/2}} \int_{H_{\hat{\nu}}} e^{ix \cdot \xi} e^{-t|\xi|^2} \psi(\xi) \, d\sigma_{\hat{\nu}}(\xi). $$

    这种构造使得 $u^\sharp$ 本身不随 $|\nu|$ 增长，而指数因子 $e^{\nu \cdot x}$ 提供了所需的振荡和增长特性。修正项 $u^\flat$ 则通过 Neumann 级数求解，其小参数性质依赖于上述加权估计。

  3. 正则性与正交关系的延拓：由于指数增长解不属于 $L^2$，不能直接代入原始的正交恒等式。作者利用 Proposition 3.2 证明了修正项 $u^\flat$ 实际上属于 $C([0, T]; L^2(\mathbb{R}^n)) \cap L^2((0, T); \dot{H}^1(\mathbb{R}^n))$。这一额外的正则性允许作者利用截断函数或稠密性论证，将正交关系从光滑解延拓到指数增长解。具体来说，证明了当 $|\nu|$ 小于某个由势函数 $V$ 决定的阈值 $c$ 时，乘积 $(V_1-V_2)u_1^\nu v_2^\nu$ 是可积的，从而保证了积分公式的有效性。

4. 与之前工作的比较

本文与既有文献在问题设定、假设条件和适用范围上存在显著区别：

  1. 问题设定的根本差异：现有文献（如 Bellassoued, Kian, Buisson 等）主要集中在抛物型方程的边界测量逆问题，即从部分或全部边界上的 Dirichlet-to-Neumann 映射（DtN）或 Cauchy 数据中恢复系数。这类问题通常要求势函数具有紧支集或快速衰减，以便利用 Carleman 估计处理边界效应。而本文研究的是初始至最终映射（Initial-to-Final Map）逆问题，数据来源于整个空间在 $t=0$ 和 $t=T$ 的状态。这种全局数据设定使得本文能够处理定义在全空间 $\mathbb{R}^n$ 上的非紧扰动，这是传统边界测量方法难以直接处理的。

  2. 方程类型的拓展：Caro 和 Ruiz [8] 最早提出了初始至最终状态反演问题，但其研究对象是薛定谔方程（双曲型/色散型）。虽然数学结构相似，但热方程（抛物型）的半群性质（耗散性）与薛定谔方程的幺正性截然不同。例如，热方程的解在时间上不可逆，且缺乏薛定谔方程中的相位干涉特性。本文克服了这些困难，首次将该反演框架成功移植到抛物背景，证明了即使在没有复数相位的纯实数热算子中，利用指数增长解同样可以实现唯一性恢复。

  3. 假设条件的对比：在假设方面，本文沿用了 [8] 中关于势函数 $V$ 的超指数衰减条件（super-exponential decay），即 $e^{\rho|x|}V \in L^\infty$。这与许多边界逆问题中要求的紧支集或代数衰减不同。这种强衰减假设是为了保证构造的指数增长解与势函数的乘积在全空间上可积，从而使得正交关系中的积分收敛。相比之下，部分边界逆问题可以通过局部化技巧处理较弱的衰减，但在初始至最终映射的全局框架下，超指数衰减似乎是目前保证唯一性的必要条件。

  4. 技术路径的革新：在处理修正项估计这一核心难点时，本文摒弃了传统的 Carleman 估计或复杂的微分不等式技巧，转而利用概率论工具（高斯矩生成函数）建立加权 $L^2$ 估计。这种方法不仅简洁高效，而且直接给出了显式的 $1/|\nu|$ 衰减率，这在之前的 Schrödinger 方程研究中并未出现，体现了抛物型方程分析中的独特视角。此外，本文明确区分了严格证明的结论（如定理 1）与启发式解释，确保了数学推导的严谨性，避免了将物理图像直接等同于数学事实。

3. 小粘性下可压缩 Navier-Stokes 方程的整体解

Global solutions of compressible Navier-Stokes equations with small viscosity

作者: Lv Cai, Ning-An Lai, Zexian Zhang, Yi Zhou

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17661v1

摘要翻译: 本文研究 $ℝ^3$ 中可压缩 Navier-Stokes 系统的 Cauchy 问题。假设粘性系数满足 $0<\max\{\mu, \nu=\lambda+2\mu\}<1$，并设 $\varepsilon=\min\{\mu, \nu=\lambda+2\mu\}$。我们证明了当密度的初值扰动和速度的无旋部分小于 $\varepsilon^{\frac12+}$（允许对数损失），且速度的散度部分小于 $\varepsilon$ 时，经典解整体存在。这一结果改进了 Matsumura-Nishida \cite{MaN80} 的经典整体存在性结果，后者要求所有初值数据均小于 $\varepsilon (<1)$。我们预期该结果代表了物理应用中出现的广义 Shizuta-Kawashima 系统的一般情况。指标从 $1$ 到 $\frac12+$ 的改进依赖于利用密度隐藏的 Kawashima 型耗散，并控制解在尺度 $\sqrt{\varepsilon}$ 上的时空迹范数。这两个要素分别通过加权迹不等式以及针对扰动声速和速度散度的 Morawetz 型不等式获得。

Comment: 33 pages

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

1. 研究对象和背景

本文研究三维空间 $\mathbb{R}^3$ 中可压缩 Navier-Stokes 方程组的初值问题，其数学模型由以下方程组描述：

$$ \begin{cases} \partial_t \rho + \text{div}(\rho u) = 0, \\ \rho (\partial_t u + (u \cdot \nabla)u) + \nabla p(\rho) = \mu \Delta u + (\lambda + \mu) \nabla(\text{div } u), \end{cases} $$

其中 $(\rho, u)$ 分别表示流体的密度和速度向量，压力函数 $p(\rho)$ 通常取为多方气体状态方程 $p(\rho) = \frac{\rho^\gamma}{\gamma}$ ($\gamma > 1$)。粘性系数满足 $\mu > 0$ 且 $\nu = \lambda + 2\mu > 0$。设小参数 $\varepsilon = \min\{\mu, \nu\}$，且假设 $0 < \max\{\mu, \nu\} < 1$。

该问题的核心在于建立当初始扰动足够小时，解在时间上的全局存在性与正则性。经典理论由 Matsumura 和 Nishida [MaN80] 奠定，他们证明了若初始扰动 $(\rho_0 - \bar{\rho}, u_0)$ 的范数小于 $O(\varepsilon)$（即指数为 1），则存在唯一的全局经典解。这一结果依赖于对线性化系统耗散结构的分析以及所谓的 Kawashima-Shizuta 条件，该条件保证了双曲传播与部分耗散的耦合能导致整个系统的耗散。

然而，随着粘度的消失极限（vanishing viscosity limit）或低马赫数极限（low Mach number limit）研究的深入，人们自然关注能否放宽对初始数据大小的要求，即寻找更优的指数 $\theta < 1$，使得当 $\|(\rho_0-\bar{\rho}, u_0)\| \lesssim \varepsilon^\theta$ 时仍能获得全局解。对于不可压缩 Navier-Stokes 方程，由于标度不变性，将指数降至 1 以下意味着解决了千禧年难题中的大数据全局适定性问题，这被证明是不可能的。但在可压缩系统中，由于声波的传播特性，可能存在“波增强耗散”效应，从而允许更大的初始扰动。

本文试图填补的空白正是这一指数的优化问题。Matsumura-Nishida 的结果要求所有模态（包括无旋部分和有散部分）的初始扰动均受限于 $\varepsilon$。本文的目标是揭示并量化密度场与速度无旋部分（curl-free part）所具有的隐藏耗散机制，从而将这部分数据的容忍度提升至 $\varepsilon^{1/2+}$（至多损失一个对数因子），而保持有散部分（divergence part）仍受限于 $\varepsilon$。这一改进不仅是对经典理论的推进，也旨在验证 Shizuta-Kawashima 型系统在物理应用中的一般性规律，特别是针对那些具有不同耗散尺度的混合双曲 - 抛物系统。

2. 主要定理或主要结果

本文的主要结论建立在以下假设之上：初始扰动 $(\rho_0 - 1, u_0)$ 具有紧支集，且属于高阶 Sobolev 空间 $H^N(\mathbb{R}^3)$，其中 $N \ge 10$ 为充分大的整数。作者将速度场分解为无旋部分 $u_{cf} = P_{cf}u = \Delta^{-1}\nabla(\text{div } u)$ 和有散部分 $u_{df} = P_{df}u = -\Delta^{-1}\nabla \times (\nabla \times u)$。初始数据需满足如下规模估计：

$$ \|\Gamma^{\le N}(\rho_0 - 1, u_{0,cf})\|_{L^2_x} \lesssim \delta \varepsilon^{1/2} (\ln \varepsilon^{-1})^{-1}, $$

$$ \|\Gamma^{\le N} u_{0,df}\|_{L^2_x} \lesssim \delta \varepsilon, $$

其中 $\Gamma = \{\partial_x, \tilde{\Omega}\}$ 包含空间导数和旋转向量场，$\delta > 0$ 为与 $\varepsilon$ 无关的小常数。

在此假设下，定理 1.1 断言：存在唯一的整体时间解 $(\rho, u)$，满足以下能量估计：

$$ \|\Gamma^{\le N}(\rho - 1, u)\|_{L^\infty(0,T; L^2_x)} + \varepsilon^{1/2} \|\nabla \Gamma^{\le N} u\|_{L^2(0,T; L^2_x)} + \varepsilon^{1/2} \|\nabla \Gamma^{\le N-1}(\rho - 1)\|_{L^2(0,T; L^2_x)} \lesssim \varepsilon^{1/2} (\ln \varepsilon^{-1})^{-1}. $$

此外，解还满足加权的时空迹估计（Morawetz 型）：

$$ \|\langle r \rangle^{-1/2} \nabla \Gamma^{\le N_{lo}}(\tau, u_{cf})\|_{L^2(0,T; L^2_x)} \lesssim \varepsilon^{1/2} (\ln \varepsilon^{-1})^{-1/2}, $$

其中 $\tau = c(\rho)-1$ 为扰动声速，$N_{lo} = [N/2] + 4$。该结果表明，密度和速度无旋部分的时空 $L^2$ 范数以 $\varepsilon^{1/2}$ 的量级衰减，而非经典的 $\varepsilon$ 量级。特别地，对于速度的有散部分 $u_{df}$，其耗散尺度仍保持在 $\varepsilon$，这与 Remark 1.1 中指出的“声波增强耗散仅作用于密度和无旋速度分量”相一致。

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

证明的核心障碍在于如何从非线性耦合系统中提取出密度场和速度无旋分量的额外耗散，以抵消初始数据放大带来的增长风险。经典能量估计方法在处理可压缩 Navier-Stokes 方程时，往往只能得到关于密度的梯度耗散，而无法直接利用声波传播带来的隐式耗散来降低对初始数据的依赖。

作者的创新点主要体现在两个关键分析工具的构建与应用上：

  1. 隐藏的 Kawashima 型耗散挖掘：作者通过对方程组进行旋转对称性处理，引入了旋转向量场 $\tilde{\Omega}_{ij}$，并利用其与微分算子的交换性质，构建了高阶导数方程。关键在于，通过对扰动声速 $\tau$ 和速度散度 $\text{div } u$ 的耦合方程进行分析（见公式 2.24），作者发现尽管单独的声速方程缺乏耗散项，但通过与速度散度的耦合，系统展现出类似 Kawashima 条件的结构。具体而言，公式 (2.17) 和 (2.24) 揭示了 $\tau$ 的时间导数与 $\text{div } u$ 的空间导数之间的强耦合，这种耦合在能量估计中转化为一种“波增强耗散”（wave enhanced dissipation）。这种耗散机制允许作者控制 $\tau$ 的高阶项，使其衰减速率优于单纯的扩散项，从而将初始数据的阈值从 $\varepsilon$ 放宽至 $\varepsilon^{1/2}$。

  2. 加权迹不等式与 Morawetz 型不等式的结合：为了控制解在时空上的迹（trace norm），作者引入了一套精细的估计框架。首先，利用加权迹不等式（Weighted Trace Inequality，Lemma 2.5），该引理将函数在球面上的 $L^2$ 范数与径向梯度的加权 $L^2$ 范数联系起来，形式如：

    $$ \|f\|_{L^2_\omega(r)} \lesssim (\ln \varepsilon^{-1})^{1/2} \|\langle r \rangle^{-1/2} \nabla \nabla^{\le 1} f\|_{L^2_x(r \le \varepsilon^{-1})} + \varepsilon^{1/2} \|\nabla f\|_{L^2_x}. $$

    这一不等式捕捉到了在长距离（$r \sim \varepsilon^{-1}$）处，解的振荡行为与粘性尺度 $\sqrt{\varepsilon}$ 之间的关系。其次，结合 Morawetz 型不等式，作者构造了关于扰动声速和速度散度的时空积分估计（见 Bootstrap 假设 BA3）。这种不等式本质上利用了双曲部分的波动特性，通过乘以适当的权重函数（如 $\langle r \rangle^{-1/2}$），将动能转化为耗散项的积分控制。

这两个工具的结合构成了证明的骨架：加权迹不等式提供了局部化的时空控制，而 Morawetz 不等式则利用波的传播特性将这种控制扩展到全局时空域。通过自举论证（Bootstrap Argument），作者设定了三个先验估计（BA1, BA2, BA3），分别对应高阶能量、低阶有散部分耗散和加权时空控制。证明的关键步骤在于利用上述隐藏耗散机制，将 BA1 和 BA3 中的非线性项吸收进左侧的耗散项中，并将常数 $M$ 缩减为 $M/2$，从而闭合自举循环。值得注意的是，对于速度的无散部分（curl-free part），由于缺乏这种波增强效应，其控制仍需依赖经典的 $\varepsilon$ 量级估计（BA2），这解释了为何只有部分初始数据能获得指数提升。

4. 与之前工作的比较

本文与既有文献相比，在多个维度上实现了显著推进：

  1. 初始数据阈值的突破：最核心的进步在于将初始数据的依赖指数从经典的 $\theta=1$ 降低到了 $\theta=1/2+$。Matsumura-Nishida [24] 的经典结果要求 $\|(\rho_0-\bar{\rho}, u_0)\| \lesssim \varepsilon$，这意味着当粘度趋于零时，初始扰动必须同阶趋于零。本文证明了只要密度的无旋部分和速度的无旋部分满足 $\varepsilon^{1/2+}$ 的尺度，即可保证全局存在。这一改进直接关联到粘性消失极限的物理意义，表明在特定的物理模式下，流体可以容忍比经典理论预测更大的初始湍流或扰动。

  2. 对耗散结构的精细化区分：以往的研究通常将速度场视为整体进行处理，或者仅关注整体的耗散平衡。本文明确区分了速度的无旋部分（$u_{cf}$）和有散部分（$u_{df}$）。结果显示，$u_{df}$ 仍然受制于 $\varepsilon$ 的尺度，而 $u_{cf}$ 和密度 $\rho$ 则受益于波传播带来的额外耗散，达到了 $\varepsilon^{1/2}$ 的尺度。这种区分揭示了可压缩系统中不同物理模态（声波 vs 涡旋）在耗散机制上的本质差异，这是前人工作中未明确量化的细节。

  3. 技术方法的创新与局限：与 Danchin [6, 7] 在临界 Besov 空间中的工作相比，本文采用了基于旋转向量场的能量方法，这种方法在处理大尺度时空衰减时更为有效，但也带来了更高的技术要求（如需要处理复杂的 commutator 和加权不等式）。与 Bedrossian-Germain-Masmoudi [2] 在 Couette 流稳定性研究中利用混洗效应（mixing effect）降低阈值的工作不同，本文的机制源于声波与粘性项的耦合（Kawashima-type dissipation），而非纯粹的流体动力学不稳定性抑制。这表明在不同类型的耗散系统中，降低初始数据阈值的物理机制可能截然不同。

  4. 代价与适用范围：虽然指数得到了优化，但本文付出了代价：一是引入了对数因子的损失 $(\ln \varepsilon^{-1})^{-1}$，这表明 $\theta=1/2$ 可能是精确界限，目前的证明尚未完全达到最优；二是要求初始数据具有紧支集且属于高阶 Sobolev 空间（$N \ge 10$），这在一定程度上限制了其在低正则性或无限能量空间中的应用。此外，作者明确指出该结果适用于 Shizuta-Kawashima 型系统，但对于纯双曲系统或没有足够耗散耦合的系统（如不可压缩 NS），这种优化可能失效，正如文中提到的 3D 不可压缩 NS 方程无法实现 $\theta < 1$ 的原因。

总体而言，本文不仅改进了具体的数值指标，更重要的是通过剖析波增强耗散机制，为理解复杂耗散系统中的小参数渐近行为提供了新的视角和工具，特别是在处理具有不同特征速度的混合双曲 - 抛物系统方面。

4. 拟线性热扩散与损耗的统一曲率积分方法

A Unified Quermassintegral Approach to Quasilinear Heat Dispersion and Loss

作者: Xiaoshang Jin, Jie Xiao

类别: math.AP, math.DG

发布日期: 2026-08-18

arXiv ID: 2608.17693v1

摘要翻译: 本文通过研究拟线性拉普拉斯算子与曲率积分（quermassintegrals）之间的相互作用，建立了拟线性位势理论与凸几何分析之间的基本联系。我们提出了一种适用于凸导体的拟线性热扩散律，并证明在所有具有固定平均宽度的凸导体中，闭球是该扩散量的唯一极大值点。通过将凸导体的拟线性热损耗显式地用其曲率积分表征，我们不仅展示了在数学物理背景下等容势不等式与等周不等式之间的形式等价性，而且证明了在所有具有固定平均宽度的凸导体中，闭球是该热损耗的唯一极大值点。这些结果在凸导体的度量性质与拟线性椭圆算子的变分分析之间架起了一座新桥梁，为尖锐几何不等式及其极值情形提供了统一的视角。

Comment: 24 pages

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

1. 研究对象和背景

本文研究的核心对象是欧几里得空间 $\mathbb{R}^n$ ($n \ge 2$) 中凸导体 $(K, \Omega)$ 上的拟线性热力学过程，具体涉及由 $p$-拉普拉斯算子驱动的拟线性热弥散（heat dispersion）与热耗散（heat loss）。研究对象设定为：$K$ 是 $\mathbb{R}^n$ 中的紧连通子集（作为单位温度源），$\Omega$ 是包含 $K$ 的开集，且 $\partial K$ 与 $\partial \Omega$ 构成 Lipschitz 边界对。其中，$\Omega \setminus K$ 层被建模为热绝缘层。

关键的未知量是描述热量从集中源向周围区域扩散的泛函 $H_{d,p,\lambda}(K, \Omega)$，其定义为变分问题：

$$ H_{d,p,\lambda}(K, \Omega) = \inf_{f \in W^{1,p}(\Omega), f|_K=1} \left( \int_{\Omega} |\nabla f|^p dL^n + \lambda \int_{\partial \Omega} |f|^p dH^{n-1} \right) $$

其中 $p \in [1, \infty)$ 为非线性指数，$\lambda > 0$ 为边界衰减参数。当 $\lambda \to \infty$ 时，该量退化为经典的 $p$-电容（即热耗散 $H_{l,p}$）：

$$ H_{l,p}(K) = \inf_{f \in W^{1,p}_0(\mathbb{R}^n), f|_K=1} \int_{\mathbb{R}^n} |\nabla f|^p dL^n $$

问题的核心在于建立上述物理量的几何不等式性质。已有理论背景主要集中在两个方面：一是拟线性椭圆方程的正则性与极值问题，特别是 $p$-拉普拉斯算子 $\Delta_p f = \nabla \cdot (|\nabla f|^{p-2}\nabla f)$ 的性质；二是凸几何分析中的闵可夫斯基混合体积与曲率积分（Quermassintegrals）理论。已知结果如等周不等式（Isoperimetric Inequality）和等容不等式（Isocapacitary Inequality）分别控制了表面积与体积、电容与体积之间的关系。然而，现有文献尚未在“固定平均宽度”这一特定几何约束下，系统性地建立拟线性热弥散/耗散与曲率积分之间的精确联系，也未明确证明在拟线性框架下球体是否为唯一的极值体。

本文试图填补的空白在于：第一，引入并严格定义拟线性热弥散律，将其与曲率积分显式关联；第二，证明在固定平均宽度 $W_{n-1}(K)$ 的条件下，闭球是热弥散的唯一极大化器；第三，揭示拟线性等容不等式与等周不等式的形式等价性，从而在数学物理背景下统一这两类经典几何不等式。

2. 主要定理或主要结果

本文主要建立了两个核心定理，将拟线性势论与凸几何分析紧密结合。

定理 1.1（拟线性热弥散律）： 设 $(K, \Omega)$ 为 $\mathbb{R}^n$ 中的导体，$(p-1, \lambda) \in (1, \infty)^2$。定义基于 $p$-拉普拉斯算子的拟线性热弥散量为：

$$ H_{d,\Delta_p,\lambda}(K, \Omega) = \inf_{\substack{f \in C^2(\Omega), f|_K=1 \\ \frac{\partial f}{\partial \nu}|\nabla f|^{p-2} + \lambda f|f|^{p-2}=0 \text{ on } \partial \Omega}} \frac{1}{2} \left( \int_{\Omega} |\Delta_p f| dL^n + \lambda \int_{\partial \Omega} |f|^{p-1} dH^{n-1} \right) $$

(i) 恒等性：证明了上述定义与变分定义完全等价：

$$ H_{d,\Delta_p,\lambda}(K, \Omega) = H_{d,p,\lambda}(K, \Omega) $$

(ii) 极大化原理：若 $K^*$ 是与 $K$ 具有相同平均宽度的闭球，即满足条件 $W_{n-1}(K) = W_{n-1}(K^*)$，则对于任意 $t \in (0, \infty)$，有：

$$ H_{d,\Delta_p,\lambda}(K, K+tB_n) \le H_{d,\Delta_p,\lambda}(K^*, K^*+tB_n) $$

等号成立当且仅当 $K$ 本身为闭球。此处 $K+tB_n$ 表示 $K$ 的平行体（Minkowski sum）。

定理 1.2（拟线性热耗散与曲率积分）： 设 $1 < p < n$，$K \in \mathcal{K}^n$（凸体集合）。 (i) 不等式等价性：证明了拟线性等容不等式（IC）与等周不等式（IP）在凸几何设定下的形式等价性：

$$ \text{(IC)}: \quad \left( \frac{H_{l,p}(K)}{H_{l,p}(B_n)} \right)^{\frac{1}{n-p}} \left( \frac{W_0(K)}{v_n} \right)^{-\frac{1}{n}} \ge 1 \iff \text{(IP)}: \quad \left( \frac{W_1(K)}{v_n} \right)^{\frac{1}{n-1}} \left( \frac{W_0(K)}{v_n} \right)^{-\frac{1}{n}} \ge 1 $$

其中 $W_0(K)$ 为体积，$W_1(K)$ 为表面积相关项，$v_n$ 为单位球体积。等号成立当且仅当 $K$ 为闭球。 (ii) 显式上界估计：对于 $n \ge 3$ 且具有 Lipschitz 边界的凸体 $K$，给出了热耗散 $H_{l,p}(K)$ 的显式上界：

$$ H_{l,p}(K) \le n \left( \frac{n-p}{p-1} \right)^{p-1} \frac{W_1(K)^{\frac{p-1}{n-1}}}{W_2(K)^{\frac{p-1}{n-1}}} \quad \text{或} \quad \sigma_{n-1} \left( \frac{n-p}{p-1} \right)^{p-1} \left( v_n^{-1} W_{n-1}(K) \right)^{n-p} $$

特别地，若 $K^*$ 为满足平均宽度条件 $W_{n-1}(K)=W_{n-1}(K^*)$ 的闭球，则：

$$ H_{l,p}(K) \le H_{l,p}(K^*) $$

等号成立当且仅当 $K$ 为闭球。该结果推广了经典情形（如 $p=2$ 时的静电容量极值问题）。

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

证明过程中的核心障碍在于处理拟线性算子 $\Delta_p$ 的非线性结构以及凸体几何度量（曲率积分）与变分能量之间的非线性耦合。作者的创新点并非单纯应用现有的几何不等式，而是构建了一个将“热弥散”转化为“曲率积分控制”的分析框架。

关键技术一：变分定义的等价性重构。为了证明 $H_{d,\Delta_p,\lambda} = H_{d,p,\lambda}$，作者并未直接利用标准的 Euler-Lagrange 方程，而是通过精细的测试函数构造。在证明 $H_{d,\Delta_p,\lambda} \le H_{d,p,\lambda}$ 时，作者引入了一个特定的光滑截断函数族 $h(t)$，利用极小化元 $u^\dagger$ 的性质，构造复合函数 $w = h(u^\dagger)$。通过计算 $\Delta_p w$ 并利用 co-area formula（面积公式）在水平集上的积分估计，作者展示了当截断参数 $\delta \to 0$ 时，$\Delta_p$ 型能量泛函收敛于梯度型能量泛函。这一过程涉及对 $\int |\Delta_p f|$ 与 $\int |\nabla f|^p$ 之间非平凡关系的精确控制，克服了拟线性算子在弱解正则性上的技术困难。

关键技术二：对称重排与平行体几何比较。在证明极值性（定理 1.1 (ii) 和定理 1.2 (ii)）时，作者采用了基于 Minkowski 和的几何重排策略。不同于传统的 Steiner 对称化，作者利用了凸体的平行体 $K_t = K + tB_n$ 的性质。关键步骤在于利用 Steiner 公式展开的曲率积分表达式：

$$ H^{n-1}(\partial(K+tB_n)) = \sum_{j=0}^{n-1} \binom{n-1}{j} W_{j+1}(K) t^j $$

通过比较任意凸体 $K$ 与同平均宽度的球体 $K^*$ 的平行体表面积，作者证明了对于任意高度水平集 $s$，$K$ 的水平集测度不大于 $K^*$ 对应水平集的测度。结合 $p$-拉普拉斯算子的径向对称极小化元 $u^\dagger_*$ 的性质，作者构造了一个径向递减的比较函数 $w(x) = G(r^* + d(x))$，其中 $d(x)$ 为到 $K$ 的距离。利用 co-area formula 将体积分转化为沿水平集的面积分，并结合曲率积分的不等式关系 $W_j(K) \le W_j(K^*)$，最终导出能量积分的单调性。

分析框架推进：作者将原本分散在偏微分方程（$p$-电容）和凸几何（曲率积分）中的两个领域打通。通过引入参数 $\lambda$ 和距离函数 $d(x)$，将热弥散问题转化为一个关于凸体平行体族的变分问题，使得几何量（$W_j$）能够直接控制解析量（$H_{d,p,\lambda}$）。这种“几何量化分析”的方法避免了传统方法中对强正则性假设的依赖，使得结论适用于更广泛的 Lipschitz 边界凸体。

4. 与之前工作的比较

本文与既有 PDE 与分析理论文献相比，在多个维度上实现了显著的推进与拓展。

1. 假设条件的放宽与深化： 既有工作（如文献 [17], [4]）通常关注固定体积或固定表面积条件下的 $p$-电容极值问题，或者在 $p=2$ 的经典线性情形下讨论热传导。本文首次将约束条件推广至“固定平均宽度”（fixed mean width），这是一个比固定体积或固定表面积更弱的几何约束（因为平均宽度决定了物体的整体尺度特征，但不唯一确定形状）。在此条件下，作者证明了球体依然是唯一的极值体，这极大地丰富了极值几何的适用范围。此外，文中处理的算子是广义的 $p$-拉普拉斯算子，涵盖了 $p \neq 2$ 的非线性扩散情形，而许多早期文献仅限于 $p=2$ 的热方程。

2. 理论视角的统一： 以往文献中，等周不等式（Isoperimetric Inequality）与等容不等式（Isocapacitary Inequality）往往被视为独立的几何事实。本文通过定理 1.2 (i) 明确揭示了二者在拟线性势论背景下的形式等价性。这种等价性并非简单的代数推导，而是基于物理图像（热耗散）的深刻联系。作者指出，在数学物理设定下，控制热耗散的等容不等式与控制表面积与体积关系的等周不等式本质上是同一枚硬币的两面。这一发现为理解几何不等式的内在结构提供了新的统一视角。

3. 时间尺度与适用范围的扩展： 本文引入了参数 $\lambda$ 来刻画“热弥散”而非单纯的“热耗散”。当 $\lambda \to \infty$ 时，模型退化为经典的 Dirichlet 边界条件问题（即纯耗散）。本文的结果不仅包含了 $\lambda \to \infty$ 的极限情形，还完整描述了有限 $\lambda$ 下的行为。这意味着本文的理论框架可以应用于具有辐射边界条件（Robin boundary condition）的物理场景，这是经典文献中较少系统探讨的中间状态。同时，文中提到的“拟线性热弥散律”为研究非稳态热传导提供了一种新的变分刻画工具。

4. 代价与局限： 尽管本文取得了显著进展，但其适用范围仍受限于“凸体”这一几何假设。对于非凸导体，曲率积分 $W_j(K)$ 的定义及不等式性质可能不再适用，导致极值性结论失效。此外，证明过程中大量依赖 Steiner 公式和平行体的凸几何性质，这使得该方法在处理光滑但非凸流形或高维流形上的类似问题时面临挑战。最后，虽然文中提到了 $p=n$ 或 $p>n$ 的情形，但主要定理集中在 $1 < p < n$ 的范围内，对于临界情形或超临界情形的讨论在提供的文本中未完全展开。

5. 非退化噪声下二维Navier–Stokes方程投影过程的唯一遍历性

Unique Ergodicity for the Projective Process of the 2D Navier–Stokes Equation with Nondegenerate Noise

作者: Zeng Lian, Rongchang Liu, Kening Lu

类别: math.PR, math.AP

发布日期: 2026-08-18

arXiv ID: 2608.18075v1

摘要翻译: 我们证明了与具有加性对角噪声的二维涡度形式Navier–Stokes方程相关联的投影过程的唯一遍历性，该噪声作用于每一个非零实傅里叶相位并满足双边幂律界限。因此，关于拓扑Lyapunov指数的精确Furstenberg–Khasminskii公式成立。主要的新要素是在缺乏针对投影动力学的Foiaş–Prodi型高低模分解的情况下，用于渐近广义耦合的紧稠密机制。利用Malliavin导数的稠密值域和状态导数的紧性，我们构造了Wiener路径的有限秩扰动，以在一阶层面上补偿初始条件的扰动，留下一个残差，其对数增长具有负的平稳均值，从而以受控于块状Ramer变换三角方案的代价，在局部以指数速率收缩。

Comment: 83 pages

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

1. 研究对象和背景

在湍流的数学理论中，确定描述长时间尺度观测的概率测度是一个核心问题。Ruelle 提出耗散系统（特别是湍流流体）的统计性质应由动力学选定的不变测度描述。对于一致双曲吸引子，SRB 测度提供了此类物理测度的典范模型。在这一纲领下，拓扑李雅普诺夫指数（top Lyapunov exponent）的正性是动力学不稳定性与混沌的基本标志。随机 forcing 为研究这一问题提供了尤为可处理的框架。对于许多随机流体方程，其关联的马尔可夫动力学拥有唯一的不变测度，从而提供了研究李雅普诺夫指数的典范平稳律。对于随机流体方程的 Galerkin 逼近，通过详细研究相关的投影动力学及 Furstenberg–Khasminskii 公式，已建立了拓扑李雅普诺夫指数的正性。

然而，对于完整的随机纳维–斯托克斯（Navier–Stokes, NS）方程，其无限维投影动力学要微妙得多，相应的理论在很大程度上仍未解决。本文考虑定义在环面 $\mathbb{T}^2$ 上的二维随机纳维–斯托克斯方程的涡度形式：

$$ dw_t = \left(\nu\Delta w_t - B(w_t, w_t)\right) dt + Q dW_t, \quad \nu > 0, $$

其中非线性项 $B(w, w) = (Kw) \cdot \nabla w$，且 $K = \nabla^\perp (-\Delta)^{-1}$。噪声项 $Q dW_t$ 在实傅里叶基下是对角的，作用于每一个非零实傅里叶相位，并满足双侧幂律界：

$$ c_Q |k|^{-a/2} \le |q_k^\iota| \le C_Q |k|^{-a/2}, \quad k \in \mathbb{Z}_+^2, \quad \iota \in \{\cos, \sin\}, $$

其中 $a > 14$。与径向协方差不同，振幅可以依赖于频率方向和实傅里叶相位。该方程的导数丛诱导了 $H_b \times \mathcal{P}(H)$ 上的马尔可夫过程 $(w_t, [\rho_t])$，其中 $H_b$ 是 Sobolev 空间，$\mathcal{P}(H)$ 是 Hilbert 空间 $H$ 的射影空间，$[\rho]$ 表示由非零向量 $\rho$ 生成的直线。

主要困难在于，通常用于基底纳维–斯托克斯方程渐近耦合的高低模机制在投影化后不再适用。例如，对于热方程，若 $|n| > |m|$，则在以 $[e_n]$ 为中心的仿射图中，线性化映射对低频扰动的放大因子为 $e^{\nu(|n|^2-|m|^2)T}$，这意味着即使原始热流是强耗散的，高频射影方向上的低频扰动仍可能被指数放大。因此，不存在一个固定的高频补空间使得归一化动力学在其上一致收缩。此外，联合 Malliavin 端点导数具有稠密值域但不一定是满射，因此不存在有界的逆 Malliavin 协方差算子。本文旨在填补这一空白，证明该投影过程存在唯一的遍历概率测度，从而确立精确的 Furstenberg–Khasminskii 公式。

2. 主要定理或主要结果

本文的主要成果建立在严格的假设之上，证明了二维随机纳维–斯托克斯方程在特定噪声条件下的投影过程的唯一遍历性。

定理 2.1 (唯一遍历性): 在噪声系数满足双侧幂律界 (2.2) 且参数 $b = a - 3/2 > 11/2$ 的条件下，$H_b \times \mathcal{P}(H)$ 上的马尔可夫过程 $(w_t, [\rho_t])$ 恰好拥有一个不变概率测度 $\tilde{\mu}$。该测度的第一个边缘分布是基底方程 (2.1) 的唯一不变概率测度 $\mu$。

推论 2.2 (Furstenberg–Khasminskii 公式): 设 $\lambda_1$ 为导数丛 $U(t, s)$ 在平稳基底律 $\mu$ 上的拓扑李雅普诺夫指数。则 $\lambda_1 > -\infty$ 且成立精确公式：

$$ \lambda_1 = \int_{H_b \times \mathcal{P}(H)} \left( -\nu \|\nabla p\|_2^2 + \langle w, B(p, p) \rangle_2 \right) \tilde{\mu}(dw, d[p]), $$

其中 $p$ 是 $[p]$ 的任一满足 $\|p\|_2=1$ 的代表元。此外，对于 $\tilde{\mu} \otimes \mathbb{P}$ 几乎每个平稳初始状态 $(w, [p])$ 和驱动 Wiener 路径，有：

$$ \lim_{t \to \infty} \frac{1}{t} \log \|U(t, 0)p\|_2 = \lambda_1. $$

这些结论严格证明了在无限维设置下，投影动力学的统计稳定性以及李雅普诺夫指数与平稳测度积分之间的精确关系，此前仅在有限维逼近或特定对称噪声条件下部分建立。

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

证明的核心障碍在于缺乏 Foiaş–Prodi 型高低模分解结构，导致无法利用确定性的高频补偿机制来保证投影动力学的局部收缩。传统的渐近耦合方法依赖于高频模态的强耗散性，但在投影空间中，由于归一化操作，低频扰动相对于高频方向的相对误差可能被指数放大。作者提出的创新机制是一种“紧致稠密机制”（compact dense mechanism），用于在缺乏显式模态分解的情况下实现渐近广义耦合。

首先，作者利用了 Malliavin 导数的稠密值域性质。通过构造联合 Malliavin 导数 $\hat{A}_T$ 及其转置 $\hat{A}'_T$，将值域稠密性问题转化为垂直 annihilator 的消除问题。具体而言，若存在 $(f, g) \in H^{-b} \oplus p_T^\perp$ 使得 $\hat{A}'_T(f, g) = 0$，则需证明 $g=0$。作者通过路径wise 的傅里叶–Lie 括号论证消除了这种 annihilator。关键步骤包括：

  1. 离散傅里叶符号类封闭性: 定义了包含仿射函数和负阶符号的类 $\mathcal{A} = P_1 + S_{\Delta}^{-1}$，并证明了在该类下，傅里叶生成元 $H_m$ 的李括号运算保持封闭（引理 3.2）。这使得可以通过迭代 Lie 括号生成任意有限秩的傅里叶矩阵算子。
  2. 拟二次变差恒等式: 为了处理非适应的测试路径，作者建立了一个通用的路径wise 拟二次变差恒等式（引理 3.4）。该恒等式在一个不依赖于终端时间和初始状态的通用全测度集上成立，允许对预见的有界变差路径进行二次变差计算，从而在无需适应性假设的情况下验证 Malliavin 导数的稠密性。

其次，作者结合了状态导数的紧性与 Malliavin 导数的稠密性。由于抛物正则化效应，状态导数 $U_w(t, s)$ 是紧算子。利用这一性质，作者可以将状态导数近似为 Malliavin 导数与有限秩 Cameron–Martin 控制的复合。通过构造有限秩的 Wiener 路径扰动，作者补偿了初始条件的扰动的一阶项，留下的残差的对数增长具有负的平稳均值，从而在局部产生指数收缩。

最后，为了处理有限秩选择器依赖于整个新鲜噪声块导致的预见性问题（即无法使用标准的 Girsanov 变换），作者引入了 Ramer 定理。通过分块三角方案（triangular scheme of blockwise Ramer transformations），控制了相对熵成本（quadratic in current distance）。这种构造生成了一个绝对连续的广义耦合，同时保留了补偿移位永不停止的正概率。结合可达性分析（accessibility）和准备的桥接（prepared bridge），最终闭合了渐近广义耦合准则，证明了唯一遍历性。

4. 与之前工作的比较

本文与既有文献相比，在多个维度上取得了显著推进，同时也面临特定的代价与局限。

1. 从有限维逼近到无限维投影: 先前工作（如 [5, 7]）主要针对随机流体方程的 Galerkin 逼近，在这些有限维系统中，投影动力学相对简单，已能证明拓扑李雅普诺夫指数的正性及 Furstenberg–Khasminskii 公式。而针对完整的无限维随机纳维–斯托克斯方程，尽管已有结果（如 [18]）建立了投影过程的正时正则化和李雅普诺夫指数的下界，但关于投影过程平稳律的唯一性（unique ergodicity）以及精确公式的成立，长期以来一直是开放问题。本文首次完整解决了这一无限维情形下的唯一遍历性问题。

2. 噪声结构的推广: 前作 [18] 假设了径向协方差（radial covariance），即噪声振幅仅依赖于频率模长。本文放宽了这一限制，允许噪声振幅依赖于频率方向和实傅里叶相位，只要满足双侧幂律界（(2.2) 式）。这种非退化的对角噪声结构更符合物理实际，但也打破了原有的对称性，使得基于谱中值机制（spectral median mechanism）的分析难以直接应用。作者通过更精细的傅里叶代数分析和 Malliavin 技术克服了这一困难。

3. 机制的根本差异: 在处理渐近耦合时，传统方法依赖于 Foiaş–Prodi 型的高低模分解，即利用高频模态的强耗散性来控制低频扰动。然而，本文明确指出，在投影动力学中，这种机制失效，因为低频扰动在归一化后可能被指数放大。因此，本文不能沿用 [18] 中的确定性收缩机制，而是必须引入全新的“紧致稠密机制”。这一机制不依赖模态分解，而是利用 Malliavin 导数的稠密性和状态导数的紧性，通过随机控制（finite rank perturbations）来模拟收缩行为。这是一种从确定性几何结构向随机分析结构的范式转变。

4. 技术代价与局限性: 为了处理非适应的随机控制和避免 Girsanov 变换的失效，作者不得不采用复杂的 Ramer 变换方案和分块三角熵停止规则。这导致了证明的高度复杂性，需要建立一系列新的估计（如引理 3.4 的路径wise 二次变差恒等式、引理 3.6 的算子逼近等）。此外，虽然证明了唯一遍历性，但文中并未给出谱隙（spectral gap）的明确速率，仅提到局部小性（local d-smallness）可能是未来研究谱隙的一个要素。这表明在收敛速度方面，本文尚未达到最优或最具体的量化水平，主要贡献在于存在性与唯一性的定性突破。与前人工作相比，本文牺牲了计算的简洁性，换取了在更一般噪声和无限维投影空间下的理论完备性。

6. 整个平面上静止Navier–Stokes方程的$L^2$非唯一解

Non-unique $L^2$ solutions to the stationary Navier–Stokes equations on the whole plane

作者: Mikihiro Fujii

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17456v1

摘要翻译: 我们证明，对于$\dot H^{-2}(\\mathbb R^2)$中适当的微小外力，$\\mathbb R^2$上的静止Navier–Stokes方程在$L^2(\\mathbb R^2)$中存在多个解。

Comment: 无

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

1. 研究对象和背景

本文研究二维全平面 $\mathbb{R}^2$ 上不可压缩静止纳维 - 斯托克斯（Navier-Stokes, NS）方程的解的唯一性问题。具体而言，考察如下边值问题：

$$ -\Delta u + P(u \cdot \nabla)u = f, \quad \text{div } u = 0, \quad x \in \mathbb{R}^2, $$

其中 $u: \mathbb{R}^2 \to \mathbb{R}^2$ 是未知的速度场，$f: \mathbb{R}^2 \to \mathbb{R}^2$ 是给定的外力场且满足无散条件 $\text{div } f = 0$。算子 $P$ 表示亥姆霍兹投影（Helmholtz projection），定义为 $P = \mathcal{F}^{-1}\hat{P}(\xi)\mathcal{F}$，其中 $\hat{P}(\xi) = I_d - \frac{\xi \otimes \xi}{|\xi|^2}$。

该问题的核心在于确定在临界空间中的小解是否唯一。对于高维情形 $n \ge 3$，Chen [4] 证明了在缩放临界空间 $L^n(\mathbb{R}^n)$ 中，当外力 $f \in \dot{W}^{-2,n}(\mathbb{R}^n)$ 足够小时，存在唯一的小解。然而，在二维情形 $n=2$ 下，由于斯托克斯悖论（Stokes paradox）的存在——即二维斯托克斯系统的基本解在对数尺度上增长，导致非零总力的稳态斯托克斯问题通常不存在在无穷远处衰减的解——使得在无界平面区域构造稳态 NS 流变得异常困难。尽管 Yamazaki [17] 在外力具有特定反对称性假设下证明了接近 $L^{2,\infty}$ 空间中解的存在唯一性，Guillod–Korobkov–Ren [10] 针对紧支集外力证明了存在性，但在 $L^2(\mathbb{R}^2)$ 框架下建立可解性（即二维版本的 Chen 结果）一直是一个难题。

关于唯一性，已知在小解属于稍窄于 $L^2$ 的齐次 Besov 空间 $\dot{B}^0_{2,1}(\mathbb{R}^2)$ 时，唯一性成立。这是因为在该空间中，双线性估计 $\|fg\|_{\dot{B}^{-1}_{2,\infty}} \le C\|f\|_{\dot{B}^0_{2,1}}\|g\|_{\dot{B}^0_{2,\infty}}$ 有效，从而通过抛物型对乘积估计可得若 $u,v$ 为同外力下的两个小解，则 $u \equiv v$。然而，当 $q > 1$ 时，该估计失效，这暗示了 $L^2(\mathbb{R}^2) = \dot{B}^0_{2,2}(\mathbb{R}^2)$ 处可能存在非唯一性。此前 Lemarié-Rieusset [13]、Cheskidov–Hou [5] 等在环面 $\mathbb{T}^2$ 上利用凸集成（convex integration）技术构造了非零解，但这些方法依赖于解的强奇异性（如 $H^{-1}$ 或更低的正则性），无法解决 $L^2$ 解的唯一性问题。本文旨在填补这一空白，证明在全平面 $\mathbb{R}^2$ 上，对于适当的微小外力，$L^2$ 解（以及更一般的 $\dot{B}^0_{2,q}$ 解，$q>1$）是不唯一的。

2. 主要定理或主要结果

本文的主要结论由定理 1.1 给出。设 $n=2$，$q > 1$，$\varepsilon > 0$。则存在一个无散外力 $f \in \dot{B}^{-2}_{2,q}(\mathbb{R}^2)$，使得方程 (1.1) 在全平面 $\mathbb{R}^2$ 上存在两个不同的解 $u_+, u_- \in \dot{B}^0_{2,q}(\mathbb{R}^2)$，且满足以下范数估计：

$$ \|u_+\|_{\dot{B}^0_{2,q}} + \|u_-\|_{\dot{B}^0_{2,q}} + \|f\|_{\dot{B}^{-2}_{2,q}} < \varepsilon. $$

特别地，由于 $L^2(\mathbb{R}^2) = \dot{B}^0_{2,2}(\mathbb{R}^2)$，该结果直接确立了在 $L^2$ 空间中解的非唯一性。此外，结果还表明这种非唯一性不仅存在于 $L^2$，也存在于所有 $q > 1$ 的锐度 Besov 空间 $\dot{B}^0_{2,q}(\mathbb{R}^2)$ 中，这与 $q=1$ 时的唯一性结果形成了鲜明的对比，揭示了 $\dot{B}^0_{2,q}$ 空间中指标 $q$ 在唯一性性质上的阈值作用。

从构造的角度看，作者证明了存在形式为 $u_\pm = v \pm \varepsilon w$ 的两个解，其中 $v$ 是背景流，$w$ 是非零的 Oseen 方程解。具体地，对于任意给定的 $N$（足够大），存在背景流 $v_N$ 和外力 $f_N$，使得对应的解满足尺度关系：

$$ \|v_N\|_{\dot{B}^0_{2,q}} \lesssim N^{\frac{1}{q}-1}, \quad \|w_N\|_{\dot{B}^0_{2,q}} \lesssim N^{\frac{1}{q}-1}, \quad \|\psi_N\|_{X_q} \sim N^{\frac{1}{q}}, $$

其中 $\psi_N$ 是 $w_N$ 对应的傅里叶标量势。通过选择 $N$ 使得 $N^{\frac{1}{q}-1}$ 足够小，即可得到任意小的解和对应的外力。

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

本文的核心技术障碍在于二维无界域中双线性项的估计失效，特别是抛物型对乘积估计在 $q > 1$ 时不再适用，导致传统的扰动论证无法直接推广到 $L^2$ 空间。作者没有采用凸集成方法（该方法要求解具有奇异性），而是创新性地 adapted Golovkin 方法 [9]，该方法原本用于证明具有二次非线性项的椭圆方程解的非唯一性。

证明框架的关键步骤如下：

  1. 解的结构化分解：作者将寻找的两个解设为对称形式 $u_\pm = v \pm \varepsilon w$，其中 $v$ 是小背景流，$w$ 是非零修正项。代入原方程后，问题转化为求解线性 Oseen 方程：

    $$ -\Delta w + P((v \cdot \nabla)w + (w \cdot \nabla)v) = 0, $$

    并定义外力 $f = -\Delta v + P(v \cdot \nabla v + \varepsilon^2 w \cdot \nabla w)$。若能找到非零解 $w$ 且 $f$ 足够小，则非唯一性得证。

  2. 傅里叶空间的标量化与算子分析：利用无散场的傅里叶变换平行于 $\xi^\perp$ 的性质，将向量场 $v, w$ 转化为标量函数 $\phi, \psi$。Oseen 方程在傅里叶空间中被重写为：

    $$ \psi + O[\phi, \psi] = 0, $$

    其中 $O$ 是一个双线性傅里叶乘子算子，其核函数 $\Gamma(\xi, \eta)$ 主要贡献来自“高×高→低”的相互作用（$|\xi| \ll |\eta|$）。作者展开乘子发现其主要部分具有角度依赖性：

    $$ O_1[\phi, \psi](\xi) = \frac{\cos(2\theta_\xi)}{2\pi|\xi|} \int_{\mathbb{R}^2} \sin(2\theta_\eta)\phi(-\eta)\psi(\eta) d\eta - \dots $$

    这种结构允许通过精心设计的角向模式来抵消主项。

  3. 构建块（Building Blocks）与序列模型：作者定义了特定的频域构建块 $V_j$ 和 $W_j$，分别包含 $\sin(4\theta_\xi)/|\xi|$ 和 $\cos(2\theta_\xi)/|\xi|$ 的角向依赖，并通过 Littlewood-Paley 分解将其限制在径向频率壳层上。通过选择系数序列 $\nu = \{\nu_j\}$ 和 $\omega = \{\omega_j\}$ 满足离散方程：

    $$ \omega_k - \sum_{j>k} \nu_j \omega_j = 0, $$

    使得级数和能够近似满足连续方程。这里利用了 Hardy-Copson 不等式来保证序列算子的有界性。

  4. 特殊函数空间 $X_q$ 的引入：为了控制高阶相互作用并处理 $q > 1$ 时的发散问题，作者引入了一个新的函数空间 $X_q$，它结合了 $L^2$ 范数和傅里叶变量在半阶 $L^2$ Hölder 正则性。该空间保证了：

    • 对称性条件使得 $P \text{div}(w \otimes w)$ 在低频处的奇异部分消失；
    • $L^2$ Hölder 正则性提供了高频相互作用的可求和增益，从而克服了双线性估计在 $\dot{B}^0_{2,q}$ 中的失败。

  5. 摄动论证：首先构造主部 $\psi^{(p)}$ 满足方程至低阶误差项，然后利用 $X_q$ 空间的完备性和压缩映射原理，证明存在一个小扰动 $\tilde{\psi}$ 使得 $\psi = \psi^{(p)} + \tilde{\psi}$ 成为精确解。最后验证由此生成的外力 $f$ 在 $\dot{B}^{-2}_{2,q}$ 中确实足够小。

4. 与之前工作的比较

本文与既有文献相比，在以下几个方面取得了显著推进：

  1. 解空间的突破：之前的非唯一性结果主要集中在环面 $\mathbb{T}^2$ 上，且解的正则性较低（如 Lemarié-Rieusset [13] 的 $H^{-1}$，Cheskidov–Hou [5] 的 $s<0$ Besov 空间）。这些结果依赖于凸集成技术产生的强奇异性解。本文首次在全平面 $\mathbb{R}^2$ 上，针对 $L^2$ 解（即 $\dot{B}^0_{2,2}$）建立了非唯一性，且解具有 $L^2$ 正则性，远优于以往工作的奇异性要求。同时，结果推广到了 $\dot{B}^0_{2,q}$ ($q>1$)，填补了 $q=1$ 唯一性与 $q>1$ 非唯一性之间的理论空白。

  2. 方法论的差异：既往工作多依赖凸集成（convex integration），这是一种基于迭代修正的构造方法，通常需要牺牲解的光滑性以换取自由度。本文完全摒弃了凸集成，转而采用 Golovkin 方法的变体，即通过构造特定的线性算子特征解（Oseen 方程解）并利用对称性消除非线性项的奇异部分。这种方法不产生奇异性解，而是利用了 $q>1$ 时双线性估计失效的精细结构，体现了完全不同的分析思路。

  3. 几何与拓扑背景的拓展：在环面上，斯托克斯算子的谱性质与全平面截然不同。全平面情形面临斯托克斯悖论带来的根本性障碍，即基本解的对数增长。Yamazaki [17] 等人在此背景下仅能在施加严格对称性假设或改变空间（如 $L^{2,\infty}$）的情况下获得存在唯一性。本文展示了即使在没有额外对称性假设的情况下，只要外力适当选取，仍可在 $L^2$ 框架下构造非唯一解，这表明斯托克斯悖论并不阻碍 $L^2$ 解的非唯一性，反而在特定构造下可以被利用。

  4. 代价与局限：本文的结果虽然突破了 $L^2$ 空间的限制，但其代价是对外力 $f$ 的空间有特定要求（需属于 $\dot{B}^{-2}_{2,q}$ 且具备特定的角向结构），且构造过程高度依赖于频率尺度的精细调控（高×高→低相互作用）。此外，该方法目前主要针对 $q>1$ 的情形，对于 $q=1$ 的唯一性边界并未被打破，这与 $\dot{B}^0_{2,1}$ 中的唯一性定理是一致的。与高维 $n \ge 3$ 的 Chen 结果相比，二维情形的非唯一性揭示了维度降低导致的解析性质的质变，即 $L^n$ 作为唯一性/非唯一性阈值的概念在二维 $L^2$ 处发生了偏移或失效。

7. 关于扭转函数临界点的Magnanini猜想的反例

Counterexamples to Magnanini’s conjecture concerning critical points of the torsion function

作者: Parker Edwards, Erik Lundberg, Koushik Ramachandran

类别: math.AP, math.CV

发布日期: 2026-08-17

arXiv ID: 2608.17081v1

摘要翻译: 我们构造了平面的单连通区域，其扭转函数具有任意指定的局部极大值个数，而到边界的距离函数在该区域内仅有一个局部极大值。这一结果反驳了Magnanini的一个猜想，该猜想断言扭转函数的局部极大值个数被到边界的距离函数的局部极大值个数所控制。此外，我们还回答了Steinerberger提出的一个关于在单连通区域内扭转函数达到最大值点附近等值线偏心率的问题。

Comment: 14 pages, 2 figures

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

1. 研究对象和背景

本文研究平面有界单连通区域 $\Omega \subset \mathbb{C}$ 上的扭转函数（torsion function）$v$ 的临界点几何性质。该函数定义为泊松方程狄利克雷边值问题的解：

$$ \begin{cases} \Delta v(z) = -2, & z \in \Omega, \\ v(z) = 0, & z \in \partial \Omega. \end{cases} $$

在弹性力学中，$v$ 描述均匀横截面 $\Omega$ 的圆柱杆在扭转载荷下的剪应力分布；在热传导模型中，它对应于均匀热源作用下边界保持恒温时的稳态温度分布。由于 $v$ 是超调和函数，其在 $\Omega$ 内部不存在极小值，仅存在极大值点和鞍点。根据庞加莱-霍夫（Poincaré-Hopf）指数定理及Hopf引理，在单连通区域内，若 $m$ 为距离函数 $d_{\partial \Omega}(z) = \text{dist}(z, \partial \Omega)$ 的极大值点个数（文中称为“远点”，far spots），则扭转函数的极大值点个数 $M$（文中称为“热点”，hot spots）与鞍点个数之间存在拓扑约束。

核心问题在于：扭转函数临界点的数量是否受限于区域的纯几何特征？具体而言，Magnanini 猜想提出：对于任意有界单连通区域，扭转函数极大值点数 $M$ 不超过距离函数极大值点数 $m$，即 $M \le m$（或等价地 $N \le 2m-1$，其中 $N$ 为所有临界点总数）。这一猜想基于凸域情形（此时 $m=1, M=1$）及某些特殊代数域的数值观察。然而，对于非凸区域，尤其是具有复杂拓扑结构或弯曲形态的区域，该界限是否依然成立尚属未知。现有理论对一般非凸域缺乏有效的上界估计，仅在代数域等特定类别中有基于定义多项式次数的界限。本文旨在填补这一空白，通过构造特定的平面单连通区域，展示扭转函数可以拥有任意多个局部极大值，而距离函数仅有一个局部极大值，从而彻底否定Magnanini猜想，并回答Steinerberger关于非凸域水平集偏心率的问题。

2. 主要定理或主要结果

本文主要包含两个严格证明的结论：

定理 1.2（Magnanini猜想的反例）：固定整数 $M > 1$，存在一个平面有界单连通区域 $\Omega$（具体形式见公式(3)），其扭转函数 $v$ 至少具有 $M$ 个局部极大值，而距离函数 $d_{\partial \Omega}$ 在区域内部仅有一个局部极大值。该结果证明了“远点”数量的限制无法控制“热点”的数量，即 $M$ 可以任意大，即使 $m=1$。

定理 1.5（Steinerberger问题的否定回答）：考虑Neumann椭圆（又称Booth Hippopede）区域 $\Omega_a$，定义为：

$$ \Omega_a = \left\{ (x, y) : (x^2 + y^2)^2 \le a^2(x^2 + y^2) + 4x^2 \right\}. $$

当参数 $a = \sqrt{\frac{2}{1+\sqrt{2}}}$ 时，该区域的扭转函数 $v$ 在唯一最大值点 $z=0$ 处的Hessian矩阵 $H = D^2v(0)$ 是退化的，秩为1，具体形式为：

$$ H = \begin{pmatrix} 0 & 0 \\ 0 & -2 \end{pmatrix}. $$

此结果表明，即使对于星形且单连通的区域，Steinerberger关于凸域Hessian最大特征值负定下界的结论（定理 1.3）不再成立，即非凸性会导致水平集在最大值点附近出现完全退化的椭圆形状（一条线段而非椭圆）。

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

证明的核心障碍在于构造一个既能在弯曲处产生足够高的扭转函数峰值，又能保持距离函数单峰性的几何形状。作者采用了精细的渐近分析与微扰技术相结合的策略。

  1. 薄管状域的渐近展开：构造的基础是一条蛇形曲线 $\Gamma$，由 $M$ 个交替的直线段和半圆弧组成。将区域定义为变半径的管状邻域 $\Omega_{\epsilon, \delta} = \bigcup_s B_{r(s)}(z(s))$，其中半径 $r(s) = \epsilon - \delta s$。在 $\epsilon \ll 1$ 的极限下，利用薄域近似（thin-domain asymptotics）分析扭转函数。在直线段部分，使用无限长条带模型 $v_s(z) = \epsilon^2 - y^2$ 进行逼近；在半圆弧部分，使用圆环模型 $v_a(z)$ 进行逼近。关键引理 2.1 和 2.2 分别给出了矩形和扇形区域上调和函数的指数衰减估计，证明了在直线段中心线上的扭转函数值被压制在 $O(\epsilon^2)$ 量级，而在弯曲部分的峰值高度则为 $\epsilon^2 + \frac{\epsilon^4}{9} + O(\epsilon^6)$。这种曲率诱导的增量（curvature-induced increase）使得每个弯曲处形成一个独立的局部极大值（热点）。

  2. 距离函数的单峰性控制：初始构造 $\Omega_{\epsilon, 0}$（恒定半径）虽然拥有 $M$ 个热点，但其距离函数沿中轴线 $\Gamma$ 有无穷多个极大值。为了修复这一点，引入线性 tapering（锥化）扰动 $r(s) = \epsilon - \delta s$。引理 2.5 通过严格的向量微积分和点集拓扑论证，证明了当 $\delta > 0$ 足够小时，管状区域的 medial axis（中轴）仍包含 $\Gamma$，但距离函数在 $s=0$ 处取得唯一全局最大值。这里的关键在于控制曲线的三阶导数 $|z'''|$ 以保证边界不自交，并利用泰勒展开分析距离函数的二阶变分，确保除起点外无其他局部极大值。

  3. 连续性论证：为了证明在引入微小锥化后原有的 $M$ 个热点依然存在，作者利用了Harnack收敛定理（Lemma 2.4）。通过构建单调递增的区域序列 $\Omega_j$ 收敛到目标区域，证明了扭转函数的一致收敛性，从而保证了临界点结构在扰动下的稳定性。

  4. 显式计算与退化Hessian：针对定理 1.5，作者直接利用Neumann椭圆的解析表达式计算扭转函数及其Hessian矩阵。通过精确的参数选择，展示了Hessian矩阵如何从满秩退化为秩1，揭示了非凸几何对二阶导数性质的破坏机制。

4. 与之前工作的比较

本文工作显著推进了关于扭转函数临界点分布的理论认知，主要体现在以下方面：

  1. 对Magnanini猜想的彻底证伪：Magnanini [11] 提出的猜想认为扭转函数极大值点数受限于距离函数极大值点数。此前，Gladiali 和 Grossi [8] 曾构造过具有任意多热点但边界曲率变号点较少的例子，但未触及距离函数极大值的约束。本文不仅打破了这一界限，还证明了即使在距离函数极其简单（仅一个极大值）的情况下，扭转函数仍可拥有任意复杂的临界点结构。这比之前的反例更为极端，表明纯几何特征（如距离函数的极值点）不足以控制扭转函数的拓扑复杂性。

  2. 与凸域理论的对比：已知对于凸域，扭转函数具有唯一的临界点（Gallagher, Pólya等经典结果）。Steinerberger [13] 进一步建立了凸域最大值点处Hessian矩阵的特征值上界，暗示了水平集的椭圆形状。本文通过Neumann椭圆（单连通、星形但非凸）的反例，明确指出了凸性假设在定理 1.3 中的必要性。与之前文献 [4] 中给出的多重连通区域（multiply-connected）使Hessian接近退化的结果不同，本文构造的是单连通且星形的区域，使得Hessian完全退化（rank 1），从而更强烈地否定了Steinerberger问题中关于“仅需单连通”的猜想。

  3. 技术方法的差异：以往研究多依赖能量估计、紧性方法或代数几何工具（如 [10] 中对代数域的讨论）。本文创新性地结合了薄域渐近分析（thin-tube asymptotics）与具体的几何微扰构造。特别是利用曲率效应（curvature effect）在局部放大函数值的技术，为构造具有指定临界点数量的算子解提供了新的范式。此外，通过显式计算Neumann椭圆上的扭转函数，避免了纯存在性证明的模糊性，提供了精确的退化参数。

  4. 局限性与代价：本文构造的区域依赖于参数 $\epsilon$ 和 $\delta$ 的小量假设，虽然在数值模拟中显示现象在较大 $\epsilon$ 下仍可能存在，但严格证明依赖于渐近展开的有效性。此外，构造出的区域具有特殊的蛇形几何，尚未能推广到更一般的非凸类。尽管如此，这些结果清晰地划定了现有理论（凸性、代数性）的边界，指出在非凸单连通领域内，临界点数量与几何特征之间不存在简单的普适不等式关系。

8. Sobolev适定态下广义SQG方程的有限时间爆破

Blow-up at finite time for the generalized SQG equations in the Sobolev well-posedness regime

作者: Diego Córdoba, Óscar Domínguez, José Lucas-Manchón, Luis Martínez-Zoroa

类别: math.AP

发布日期: 2026-08-17

arXiv ID: 2608.17192v1

摘要翻译: 我们证明了在奇异速度态$γ ext{∈}(0,1)$（其中$γ=0$对应于SQG）下，受迫广义准地转表面涡度方程存在有限时间奇点形成。对于每一个这样的$γ$，我们构造了一个光滑紧支集初值和一个时变力$F$，使得对应的解$θ$在$[0,1)$上是经典的且对所有时刻具有有限能量，但在$t=1$处失去Sobolev正则性。更确切地说，存在 extbackslash[ κ_0>2+γ+ rac{ extbackslashgamma^2(1- extbackslashgamma)}{25(4+ extbackslashgamma)}, extbackslash]使得力满足$F extbackslashin L^1([0,1];H^ extbackslashkappa( extbackslashmathbb extbackslash{R}^2))$对于每个$ extbackslashkappa extbackslashin[2+ extbackslashgamma, extbackslashkappa_0]$，而 extbackslash[ extbackslashlim_{T

Comment: 无

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

1. 研究对象和背景

本文研究的是二维平面上受迫广义表面拟地转（generalized Surface Quasi-Geostrophic, gSQG）方程的经典解在有限时间内形成奇点的机制。该方程组由以下系统描述：

$$ \begin{cases} \partial_t \theta + v_\gamma(\theta) \cdot \nabla \theta = F, & (x, t) \in \mathbb{R}^2 \times [0, \infty), \\ v_\gamma(\theta) = \nabla^\perp \psi_\gamma, \\ \psi_\gamma = -\Lambda^{-1+\gamma}\theta, \\ \theta(\cdot, 0) = \theta_0, \end{cases} $$

其中 $\Lambda = (-\Delta)^{1/2}$ 为半拉普拉斯算子，$\gamma \in (-1, 1)$ 为参数。速度场可显式写为奇异积分形式：

$$ v_\gamma(\theta)(x, t) = c_\gamma \, \text{p.v.} \int_{\mathbb{R}^2} \frac{(x-y)^\perp}{|x-y|^{3+\gamma}} \theta(y, t) \, dy. $$

该模型是活跃标量输运方程的典型代表，涵盖了从二维欧拉涡度方程（$\gamma = -1$）到无粘SQG方程（$\gamma = 0$）的连续谱。对于 $\gamma > 0$ 的情形（即本文关注区间），速度算子比被输运标量 $\theta$ 高出 $\gamma$ 阶正则性，导致方程呈现强非局部性和奇异性增强。

尽管关于gSQG方程解的正则性问题已有大量研究，但一个核心难题长期悬而未决：在索博列夫适定区域（Sobolev well-posedness regime）内，是否存在光滑、有限能量的初值与外力，使得经典解在有限时刻发生爆破？已知局部适定性要求初值 $\theta_0 \in H^\kappa(\mathbb{R}^2)$ 且外力 $F \in L^1_{\text{loc}}([0, \infty); H^\kappa(\mathbb{R}^2))$，其中指数需满足 $\kappa > 2 + \gamma$。低于此阈值时，已观察到范数瞬时膨胀或正则性丢失现象；然而，在高于该阈值的适定区域内构造有限时间奇点一直未被证实。

此前相关文献中，部分工作构建了具有无限能量的奇异解（如Castro & Córdoba [3]）、非径向自相似螺旋结构（García & Gómez-Serrano [17]）或在半平面边界条件下产生的奇点（Zlatoš [29], Jeon & Zlatoš [23]）。但这些构造均不满足“全平面、有限能量、初值与外力均在适定正则性范围内”这一严格条件。本文旨在填补这一空白，首次证明在 $\gamma \in (0, 1)$ 的奇异速度体制下，存在光滑紧支集初值与时间依赖外力，使得对应解在 $[0, 1)$ 上为经典解且具有有限能量，但在 $t=1$ 处失去索博列夫正则性，从而在该适定框架内实现有限时间爆破。

2. 主要定理或主要结果

本文的核心成果体现在定理1中，其具体结论如下：

设 $\gamma \in (0, 1)$。存在常数 $\kappa_0$ 满足：

$$ \kappa_0 > 2 + \gamma + \frac{\gamma^2(1-\gamma)}{25(4+\gamma)}, $$

以及函数对 $(\theta, F)$，其中 $\theta: \mathbb{R}^2 \times [0, 1) \to \mathbb{R}$ 为标量场，$F: \mathbb{R}^2 \times [0, 1) \to \mathbb{R}$ 为外力，满足以下性质：

  1. 经典解存在性与正则性：对任意 $T \in (0, 1)$，有 $\theta, F \in C^\infty([0, T]; C_c^\infty(\mathbb{R}^2))$，且 $\theta$ 是方程 (1.1) 在 $[0, 1)$ 上的经典解，即对所有 $(x,t) \in \mathbb{R}^2 \times [0, 1)$ 成立：

    $$ \partial_t \theta(x, t) + v_\gamma(\theta)(x, t) \cdot \nabla \theta(x, t) = F(x, t). $$

  2. 外力的正则性保持：外力在爆破时刻前始终位于索博列夫适定空间内，即对任意 $\kappa \in [2+\gamma, \kappa_0]$，有：

    $$ F \in L^1([0, 1]; H^\kappa(\mathbb{R}^2)). $$

  3. 索博列夫范数的有限时间爆破：对上述相同的 $\kappa$ 区间，解的 $H^\kappa$ 范数在 $t \nearrow 1$ 时不可积，即：

    $$ \lim_{T \nearrow 1} \int_0^T \|\theta(\cdot, t)\|_{H^\kappa} \, dt = \infty. $$

    这表明解无法延拓至 $t=1$ 之后的任何 $H^\kappa$ 空间中。

  4. 低阶正则性的有界性：对于任意 $\kappa_1 \in \left[0, 2 + \gamma - \frac{\gamma(1-\gamma)}{2(4+\gamma)}\right]$，解在整个生命周期内保持 $H^{\kappa_1}$ 范数一致有界：

    $$ \sup_{0 \le t < 1} \|\theta(\cdot, t)\|_{H^{\kappa_1}} < \infty. $$

  5. 有限能量保持：由于速度场散度为零，标准 $L^2$ 估计给出：

    $$ \sup_{0 \le t < 1} \|\theta(t)\|_{L^2} \le \|\theta_0\|_{L^2} + \|F\|_{L^1([0,1]; L^2)} < \infty, $$

    故解始终具有有限能量，奇点并非由能量发散引起。

上述结果表明，爆破发生在索博列夫适定区域内部，且不能归因于外力或初值正则性不足。这是首个在全平面、有限能量、初值与外力均处于适定正则性范围内的gSQG方程经典解有限时间爆破构造。

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

本文证明的核心技术障碍在于：在 $\gamma > 0$ 时，速度算子比标量更奇异，导致传统的线性增长机制失效；同时，由于仅在索博列夫空间 $H^s$ 中建立适定性，无法利用 $C^{k,\alpha}$ 等基于 $L^\infty$ 的空间来构造快速增长的扰动。此外，速度场的奇异性随 $\gamma$ 增大而增强，使得所需的修正项数量增加，分析复杂度显著上升。

作者的创新点在于构建了一个多尺度分层结构（layered structure），通过迭代激活一系列空间尺度越来越小、时间间隔越来越短的“层”（layers），每一层在前一层产生的剪切流作用下发生各向异性变形，从而累积高阶索博列夫范数。具体技术路径如下：

  1. 分层构造与稳定性类：定义一类特殊的“构建块”函数，形式为：

    $$ C_\phi(r^n(\alpha) \cdot x) \phi(s^n(\beta) \cdot x), $$

    其中 $r, s$ 为频率，$\alpha, \beta$ 为主方向，$\phi$ 为光滑紧支集 bump 函数。该类函数在两种操作下保持稳定：一是计算其自相互作用 $v_\gamma(f) \cdot \nabla f$（引理1），二是求解沿前一层次序速度场生成的线性输运方程（引理2）。这种稳定性确保了迭代的可行性。

  2. 速度场的泰勒展开与线性近似：对每个新激活的层，计算其产生的速度场在原点附近的泰勒展开（引理3），提取线性部分系数 $a_{ij}$ 和三次余项。关键发现是，尽管速度算子奇异，但在线性近似下仍可产生双曲型或剪切型流场，足以驱动下一层的变形。

  3. 各向异性放大机制：通过控制频率演化方程（引理4、5），证明每一层在前一层的剪切流作用下，其长频方向会线性增长，而主方向会逐渐旋转至与前一层对齐。这种机制导致高阶导数迅速放大，进而提升 $H^\kappa$ 范数。具体而言，若第 $n$ 层频率为 $N_n$，则第 $n+1$ 层的频率按 $N_{n+1} \approx N_n^{(1+\gamma+\delta)/\epsilon}$ 增长，确保在有限时间内累积足够多的增长。

  4. 修正项的层级抵消：由于自相互作用会产生误差项，作者在每一层引入有限个修正项（correction terms），逐阶抵消主导误差，使得剩余力项在所需索博列夫空间中可求和。这一过程需要精细控制修正项的数量与大小，尤其当 $\gamma \to 1$ 时，修正项数量增加，分析难度加大。

  5. 范数估计与求和收敛性：在第四、五节中，作者对四类误差项进行精确的 $H^\kappa$ 范数估计（引理6及后续推导），并验证其级数收敛性。同时证明主层部分导致的 $H^\kappa$ 范数积分发散，从而完成爆破构造。

整个证明框架依赖于对非线性输运方程中高频振荡与各向异性变形的精确控制，避免了传统能量方法无法捕捉到的细节行为，成功突破了适定区域内的奇点构造瓶颈。

4. 与之前工作的比较

本文与既有文献相比，在多个维度实现了显著推进：

  1. 适定区域的突破：以往关于gSQG方程的有限时间奇点构造主要集中在非适定区域或特殊几何设定。例如，Castro & Córdoba [3] 和 García & Gómez-Serrano [17] 构造了无限能量或非径向自相似的奇异解，这些解不满足有限能量条件；Zlatoš [29] 和 Jeon & Zlatoš [23] 在半平面或接触补丁情形下证明了奇点形成，但边界效应是其机制的关键组成部分。本文首次在全平面、有限能量、初值与外力均处于索博列夫适定区域（$\kappa > 2+\gamma$）内构造了经典解的有限时间爆破，填补了这一理论空白。

  2. 外力正则性的保持：许多先前构造依赖奇异外力或低正则性输入来诱导奇点。本文明确指出，外力 $F$ 属于 $L^1([0,1]; H^\kappa)$ 对于 $\kappa \in [2+\gamma, \kappa_0]$，其中 $\kappa_0 > 2+\gamma$，即外力本身在适定区域内足够光滑，奇点完全由非线性动力学机制引发，而非外力缺陷所致。这排除了“外力不足导致爆破”的可能性，突显了内在非线性结构的破坏力。

  3. 适用范围与代价：本文结果适用于整个 $\gamma \in (0, 1)$ 区间，但随着 $\gamma \to 1$，速度算子奇异性增强，所需修正项数量增加，分析复杂度呈指数上升。相比之下，Boussinesq 或不可压Euler方程的相关构造（如Kiselev–Nazarov [25], He–Kiselev [18]）通常能在更宽松的空间（如 $C^{k,\alpha}$）中工作，而本文受限于仅能在 $H^s$ 中建立适定性，必须处理支撑集、频率缩放与范数之间的微妙平衡，技术代价更高。

  4. 机制差异：与IPM、Boussinesq 等模型中存在的明确指数增长机制（如线性密度扰动导致指数放大）不同，gSQG缺乏此类稳健机制。本文通过多层剪切变形与频率累积实现缓慢但持续的范数增长，最终在有限时间内积累至发散。这种机制更为隐蔽且难以捕捉，反映了gSQG方程独特的非线性特性。

  5. 与数值实验的关系：尽管数值模拟曾暗示gSQG可能存在奇点形成，但本文提供了严格的数学构造，首次在适定区域内确认了有限时间爆破的存在性，为后续数值验证提供了理论基准。

综上，本文不仅拓展了gSQB方程奇点理论的适用范围，还揭示了在高度受限的适定框架下，非线性输运机制如何独立诱发奇点，为理解活跃标量方程的崩溃行为提供了新的视角。

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

1. 非凸哈密顿–雅可比方程周期同调中的最优收敛速率

Optimal convergence rates in periodic homogenization of nonconvex Hamilton–Jacobi equations

作者: Jiwoong Jang, Qi Sun, Hung V. Tran, Yifeng Yu

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.18032v1

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

摘要翻译

中文标题: 非凸哈密顿–雅可比方程周期同调中的最优收敛速率

摘要翻译: 我们研究了一类一般的非凸、强制性哈密顿–雅可比方程在周期同调中的收敛速率。我们证明了在一维情形下，最优收敛速率为 $O(\ε^{1/2})$；在二维情形下（至多相差一个对数因子），最优收敛速率为 $O(\ε^{1/3})$；在三维或更高维情形下，最优收敛速率为 $O(\ε^{1/3})$。

2. ℝⁿ上向量Riesz变换的无维弱型(1,1)界

A dimension-free weak-type $(1,1)$ bound for the vector Riesz transform on $\mathbb{R}^n$

作者: Yuyuan Ouyang, Daniel Spector, Cody B. Stockdale

类别: math.CA, math.AP

发布日期: 2026-08-18

arXiv ID: 2608.18068v1

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

摘要翻译

中文标题: ℝⁿ上向量Riesz变换的无维弱型(1,1)界

摘要翻译: 我们证明了在ℝⁿ上，向量Riesz变换的弱型(1,1)界中的最佳常数至多为2，且该界与维度n无关。证明依赖于一种新的输入数据分解方法，该方法涉及分数拉普拉斯算子的障碍问题以及无界域上相关的Lewy-Stampacchia型估计。这一结果解决了E. M. Stein在1986年国际数学家大会上提出的一个问题。

3. 从部分边界数据确定抛物方程中非线性项的稳定性与重构

Stability and Reconstruction of a Nonlinearity in a Parabolic Equation from Partial Boundary Data

作者: Jason Choy, Maolin Deng, Bangti Jin, Yavar Kian

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17888v1

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

摘要翻译

中文标题: 从部分边界数据确定抛物方程中非线性项的稳定性与重构

摘要翻译: 在本文中，我们研究了一个反问题：从任意边界子集上的单次边界通量测量中确定非线性抛物方程中的半线性项。更确切地说，我们解决了该反问题的唯一性和稳定性问题，并建立了新的霍尔德型（Hölder-type）稳定性估计。霍尔德指数显式地依赖于测量构型以及半线性项的正则性性质。分析基于一种新方法，该方法通过推导涉及相关伴随方程解的适当积分恒等式来实现。这使得能够将反问题重构为具有变号源项的反源问题。主要结果是通过结合抛物方程的基本性质获得的，包括极大值原理和适当的能量估计。最后，我们补充了理论分析，提出了一种受反源问题启发的迭代重构算法，并通过多个数值实验展示了其精度。

4. 基于 Brézis-Ekeland-Nayroles 原理的次梯度流的对偶型 $ extit{A Posteriori}$ 误差恒等式

Duality-Based $\textit{A Posteriori}$ Error Identities for Subgradient Flows Based on the Brézis-Ekeland-Nayroles Principle

作者: Harbir Antil, Alex Kaltenbach, Keegan L. A. Kirk

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

发布日期: 2026-08-18

arXiv ID: 2608.17845v1

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

摘要翻译

中文标题: 基于 Brézis-Ekeland-Nayroles 原理的次梯度流的对偶型 $ extit{A Posteriori}$ 误差恒等式

摘要翻译: 我们针对由时变凸积分泛函诱导的一类广泛的次梯度流，推导了基于对偶型的 $ extit{a posteriori}$ 误差恒等式。从 Brézis-Ekeland-Nayroles 原理出发，我们识别出一个非定常的原问题能量泛函，并导出了其 Fenchel 对偶形式，包括在一般正常可积假设下的强对偶性及相应的最优性系统。该 Fenchel 对偶框架被用于推导次梯度流的 $ extit{a posteriori}$ 误差恒等式。在此过程中，我们偏离了非定常情形下通常的基于对偶型的 $ extit{a posteriori}$ 误差控制框架，因为 Brézis-Ekeland-Nayroles formulation 揭示了以下非定常特征：最小原问题值和最大对偶值均由初值确定。这使我们能够从组合的原-对偶间隙恒等式过渡到分离的原问题间隙和对偶间隙恒等式。这些恒等式独立地量化了原问题和对偶问题的误差，并允许用广义 Bregman 散度表示；且在空间共轭公式下，表现为适用于局部化的非负时空积分量。该抽象框架被应用于多个具有物理意义的变分问题，包括非定常热方程、非定常 Stokes 方程、非定常 Navier-Lamé 方程、非定常管道中的 Bingham 流动、非定常障碍问题以及非定常弹塑性扭转问题。

5. 消失余维一密度点处调和测度密度比几乎单调性的失效

Failure of almost monotonicity of harmonic measure density ratios at points of vanishing codimension-one density

作者: Luis Lloret, Xavier Tolsa

类别: math.AP, math.CA

发布日期: 2026-08-18

arXiv ID: 2608.17838v1

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

摘要翻译

中文标题: 消失余维一密度点处调和测度密度比几乎单调性的失效

摘要翻译: 在本文中，我们研究具有消失密度的点上调和测度密度比的行为。给定任意开集 $Ω\subset\mathbb R^{n+1}$ 及其调和测度 $ω$，我们证明：对于满足 $\liminf_{r\to0}\frac{ω(B(x,r))}{r^n}=0$ 的 $ω$-几乎处处点 $x\in\partialΩ$，密度比 $\frac{ω(B(x,r))}{r^n}$ 关于半径 $r$ 不是几乎单调的，因此在微小尺度上表现出任意大的振荡。

6. 具有非强制非线性非线性狄拉克方程的驻定周期解 II：分裂

Stationary periodic solutions for nonlinear Dirac equations with non-coercive nonlinearity II: splitting

作者: Ruijun Wu, Fuping Zhang

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17768v1

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

摘要翻译

中文标题: 具有非强制非线性非线性狄拉克方程的驻定周期解 II：分裂

摘要翻译: 我们研究具有Soler型非线性的非线性狄拉克方程的驻定周期解。通过分离出圆因子，该问题被约化为二维情形。非线性沿洛伦兹零锥退化，给变分分析带来困难。利用强制性扰动，我们首先获得了极小极大扰动解。关键的新要素是定量分离约化狄拉克算子的最低正本征空间与零锥；结合一致预解式估计，它产生了一致界，使我们能够移除扰动。这产生了在对应正谱阈值附近的时序频率下的非平凡周期解，包括高于质量（mass）的频率。

7. 具有大仿射边界数据的无穷拉普拉斯算子的 Calderón 问题

The Calderón problem for the infinity Laplacian with large affine boundary data

作者: Yi-Hsuan Lin

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17797v1

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

摘要翻译

中文标题: 具有大仿射边界数据的无穷拉普拉斯算子的 Calderón 问题

摘要翻译: 我们研究有界凸域中 $C^2$ 边界上的方程 $-Δ_\α_\infty u+q(x)u=0$ 的 Calderón 问题。我们证明，对于正势函数 $q$，可以通过测量值 $Λ_q\bigl(t(e\cdot x+b)|_{\partialΩ}\bigr)$ 唯一确定并显式重构，其中 $e\in\mathbb S^{n-1}$，偏移量 $b>\sup_{\overlineΩ}|x|$ 固定，且 $t\to\infty$。在大振幅渐近展开中，第一个依赖于势函数的项决定了 $q$ 沿平行于 $e$ 的弦的加权积分。结合方向 $e$ 和 $-e$ 的测量值可获得 $q$ 零延拓的 X 射线变换，而傅里叶切片恒等式则给出重构与唯一性结果。

8. 形状设计方法在具有退化边界的一致退化双曲方程的隐藏正则性中的应用

Application of the Shape Design Method to Hidden Regularity of Degenerate Hyperbolic Equations with Degenerate Boundary

作者: Dong-Hui Yang, Hongli Sun

类别: math.AP, math.OC

发布日期: 2026-08-18

arXiv ID: 2608.17767v1

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

摘要翻译

中文标题: 形状设计方法在具有退化边界的一致退化双曲方程的隐藏正则性中的应用

摘要翻译: 本文研究二维情形下边界退化双曲方程的适定性与隐藏正则性。采用形状设计方法，通过在截断子域上利用一族一致椭圆问题逼近原退化问题，并通过一致估计取极限。在此框架下，我们在合适的加权Sobolev空间中建立了弱解的存在性与唯一性。获得了关于边界非退化部分法向导数的隐藏正则性估计，该估计以初始数据和源项的自然加权能量范数给出了统一界。此估计提供了退化双曲系统可观测性与可控性所必需的边界迹信息。

9. 具有极小孔洞区域中松弛可压缩粘性两相流体模型的均匀化

Homogenization of a relaxed compressible viscous two-phase fluid model in a domain with very tiny holes

作者: Florian Oschmann, Florian Wendt

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17560v1

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

摘要翻译

中文标题: 具有极小孔洞区域中松弛可压缩粘性两相流体模型的均匀化

摘要翻译: 我们研究有界区域内由小障碍物周期性穿孔的可压缩Navier-Stokes-Korteweg方程的近似系统。当障碍物的尺寸以远快于其相互距离的速度趋于零时，我们在空间维数二和三中证明极限系统保持不变。我们的结果适用于一大类单调和非单调压力函数。特别是，在物理相关情形下成立，此时近似系统用于描述可压缩粘性两相流体的动力学，从而推广了单相设置下已知的可压缩Navier-Stokes方程的均匀化结果。

10. KPP-双稳态周期斑块环境中的传播现象

Propagation phenomena in KPP-bistable periodic patchy environments

作者: Quentin Griette, François Hamel, Mingmin Zhang, Min Zhao

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17474v1

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

摘要翻译

中文标题: KPP-双稳态周期斑块环境中的传播现象

摘要翻译: 本文首先研究了一维反应扩散方程在由两种不同斑块类型组成的空间周期环境中的柯西问题解的传播动力学。本工作的新颖之处在于对KPP-双稳态非均匀框架的系统分析。在此设定下，各斑块的长度、零解和正周期稳态的线性稳定性以及初始数据的幅度在长时间动力学中起着关键作用。我们首先建立了物种的持久性性质，表明当相关的周期斑块模型的零稳态不稳定时，一致持久性成立，而在附加适当条件下可获得局部持久性。利用动力系统方法，我们进一步建立了传播性质，并证明了在两种不同情况下脉冲行波的存在性，这取决于平凡解是不稳定还是稳定。最后，我们提出了两组刻画物种灭绝的充分条件。

11. Hessian 商方程的一个凹性不等式与内部 $C^2$ 估计

A concavity inequality and interior $C^2$ estimate for Hessian quotient equations

作者: Zhisu Li, Ke Wu

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17405v1

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

摘要翻译

中文标题: Hessian 商方程的一个凹性不等式与内部 $C^2$ 估计

摘要翻译: 我们针对情形 $k-l\{1,2\}$，建立了 Hessian 商算子 $\frac{σ_k}{σ_l}$ 的凹性不等式，进而导出相应的 Jacobi 不等式。结合 Lu 和 Tsai 发展的框架，我们获得了方程 $\frac{σ_k(D^2u)}{σ_l(D^2u)}=f$ 的凸解的内部 Hessian 估计。作为应用，我们证明了 $\mathbb R^n$ 中任何具有二次增长的整体凸解必为二次多项式。

12. 具有局部化非线性的1$d$非线性波动方程的散射与非线性恢复

Scattering and nonlinear recovery for the 1$d$ NLW with localized nonlinearity

作者: Luccas Campos, Jason Murphy, Renzo Scarpelli

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17339v1

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

摘要翻译

中文标题: 具有局部化非线性的1$d$非线性波动方程的散射与非线性恢复

摘要翻译: 我们考虑带有空间局部化三次非线性的1$d$波动方程。我们在加权空间中建立了散射性质，并证明了散射映射的单射性，同时给出了关于非线性恢复的相应稳定性估计。

13. 三维Navier-Stokes方程具有紧支集有限能量定态解

Compactly Supported Finite-Energy Stationary Solutions of the Three-Dimensional Navier-Stokes Equations

作者: Xuanxuan Zhao

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17383v1

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

摘要翻译

中文标题: 三维Navier-Stokes方程具有紧支集有限能量定态解

摘要翻译: 我们构造了无外力不可压缩Navier–Stokes方程的非零紧支集分布定态解 $u\in L^2(\R^3;\R^3)$，其$L^2$范数任意小。该构造针对的是三维有限能量端点情形，在此处通常的单尺度间歇Mikado机制相对于Laplacian失去了代数增益。主要的新成分是构建了一个对数Mikado剖分，它由截断的二维调和偶极子构成，并在对数多个横向尺度上展开。这产生了闭合定态凸集成方案所需的端点小性。

14. 一维三次非聚焦色散方程的全局解，第五部分：低正则性 NLS

Global solutions for 1D cubic defocusing dispersive equations, Part V: low regularity NLS

作者: Mihaela Ifrim, Ryan Martinez, Daniel Tataru

类别: math.AP

发布日期: 2026-08-17

arXiv ID: 2608.17156v1

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

摘要翻译

中文标题: 一维三次非聚焦色散方程的全局解，第五部分：低正则性 NLS

摘要翻译: 本文受第一作者与最后一位作者在早期工作中提出的广泛猜想所启发，该猜想断言具有小初值的一维三次非聚焦色散流存在全局、色散的解。该猜想最初在一类半线性薛定谔型模型（其中包括经典的三次 NLS）的 $L^2$ 正则性上得到确立。在另一个互补方向上，Harrop-Griffiths、Killip 和 Vişan 最近利用完全可积结构证明了三次 NLS 在 $H^s$ 中对每个 $- frac12 < s < 0$ 都是整体适定的。我们在此的目标是将一维三次 NLS 问题的整体适定性猜想的适用范围扩展到负索博列夫空间中小的数据，并证明全局色散界在那里依然成立。我们对一大类非线性项进行了这一工作，该类非线性项包含三次 NLS，但通常生成的流并非完全可积。我们的方法因此具有鲁棒性，基于密度 - 通量恒等式、相互作用 Morawetz 估计以及隐式正规形变换，而非依赖于可积性，并且其适用范围一直延伸至缩放临界阈值，即 $s > - frac12$。如同早期工作一样，我们获得的全局界包括 $L^6_{t,x}$ Strichartz 估计和双线性 $L^2_{t,x}$ 估计；即使对于负索博列夫正则性下的经典非聚焦三次 NLS，这些结果也是新的。在那里，通过缩放，我们的色散界也推广到了大数据情形。

15. Lieb–Oxford 不等式的固定粒子数优化器

Fixed-particle-number optimizers for the Lieb–Oxford inequality

作者: Matthew Rosenzweig

类别: math.AP, cond-mat.stat-mech, math-ph, math.OC

发布日期: 2026-08-17

arXiv ID: 2608.17155v1

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

摘要翻译

中文标题: Lieb–Oxford 不等式的固定粒子数优化器

摘要翻译: 设 $d\geq1$，$0<s<d$，且 $N\geq1$。我们证明了 Riesz Lieb–Oxford 不等式中的最优固定粒子数常数 $\Lambda_N(s,d)$ 可达，且这些常数关于 $N$ 严格递增。证明结合了大正则系综的集中紧性方法与严格的单粒子扩展。经过重新中心化后，由最大化序列产生的极限计划可能为多个粒子数分配正概率，从而成为大正则系综。严格的 $N$ 粒子完备化排除了这种情况，而不等式 $\Lambda_N>\Lambda_k$（其中 $k<N$）则排除了具有固定较低粒子数的极限情形。一旦确认在粒子数 $N$ 处达到极值，Di Marino 和 Lelotte 关于紧支集的定理（arXiv:2607.11440，适用于所有 $0<s<d$）允许进行非乘积形式的单粒子扩展，并得出 $\Lambda_{N+1}(s,d)>\Lambda_N(s,d)$。这些推论共同闭合了始于 $N=1$ 的归纳过程。

16. 位错环相互作用能的均质化

Homogenization of Interaction Energy of Dislocation Loops

作者: Pascal Steinke

类别: math.AP

发布日期: 2026-08-17

arXiv ID: 2608.17141v1

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

摘要翻译

中文标题: 位错环相互作用能的均质化

摘要翻译: 我们考虑当晶格间距和位错环直径趋于零时，放置在均质化晶格上的位错环阵列的相互作用能之和。在适当的弱分离和 $L^2$-有界性假设下，导出了总相互作用能极限的公式，该公式用相关伯格斯矢量和定向面面积的弱极限、生成的 H-测度和生成的 Wigner 测度表示。

17. 二维周期五次非线性薛定谔方程的几乎处处逐点收敛

Almost sure pointwise convergence for the 2D periodic quintic NLS

作者: Daniel Eceizabarrena, Pablo Merino

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

发布日期: 2026-08-17

arXiv ID: 2608.17100v1

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

摘要翻译

中文标题: 二维周期五次非线性薛定谔方程的几乎处处逐点收敛

摘要翻译: 我们证明了对于初值属于$H^s( ext{\mathbb T}^2)$且$s > 0$的二维周期五次非线性薛定谔方程（NLS），其解关于初始数据具有概率意义上的逐点收敛性。这与确定性框架下的结果相比有所改进，在确定性情形下，已知当$s < 1/3$时收敛性会失效。证明基于用于收敛的非线性极大特征刻画、Bourgain的线性-非线性分解，以及相应的非线性平滑化；为此我们采用了随机张量估计。

18. 带表面张力的两相Brinkman问题的临界全局适定性

Critical global well-posedness for the two-phase Brinkman problem with surface tension

作者: Jae Ho Choi

类别: math.AP

发布日期: 2026-08-17

arXiv ID: 2608.17074v1

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

摘要翻译

中文标题: 带表面张力的两相Brinkman问题的临界全局适定性

摘要翻译: 我们研究一个系统，其中占据 $ℝ^{2}$ 中有界单连通区域的流体被另一种具有锐利边界的流体所包围。它们是相同的粘度、饱和具有恒定渗透率多孔介质的不可压缩Brinkman流。它们通过界面处的表面张力相互作用。我们假设速度在界面处无跳跃且在无穷远处衰减。我们建立了圆形界面的渐近稳定性，该圆形界面是系统的稳态解。渐近稳定性所需的初始扰动大小的技术阈值可以显式计算。我们进一步表明初始扰动呈指数衰减。通过将扰动变量限制在带有时间激活指数权重的Wiener型代数中，我们证明了高度正则解的存在性、唯一性以及对初始数据的连续依赖性，这使得具有更粗糙初始数据的解析解成为可能。该解包含在我们问题的临界缩放指数的Wiener型代数中。

19. 具有镜面反射的欠阻尼Langevin动力学的尖峰次耗散收敛估计

Sharp hypocoercive convergence estimates for underdamped Langevin dynamics with specular reflection

作者: Hengrong Du, Qi Feng, Lingjiong Zhu

类别: math.PR, math.AP

发布日期: 2026-08-17

arXiv ID: 2608.17022v1

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

摘要翻译

中文标题: 具有镜面反射的欠阻尼Langevin动力学的尖峰次耗散收敛估计

摘要翻译: 我们研究了在由边界处速度镜面反射所限制的有界凸域 $Ω ext{⊂} ext{ℝ}^d$ 中的欠阻尼（动力学）Langevin动力学。该过程是通常反射过阻尼Langevin扩散的自然基于动量的类比，并在实践中用于约束采样；然而，文献中尚无可用的显式定量收敛速率。我们提供了首个此类速率。仅假设位置边缘分布 $μ_x ext{∝}e^{-U}$ 在 $Ω$ 上满足常数为 $m>0$ 的Poincaré不等式，且 $ abla^2U ext{≽}-K ext{Id}$，我们证明了其规律以指数速度收敛于Gibbs测度，收敛速率为 $L^2$，且该显式速率缩放为 $ ext{√}m$，当 $U$ 为凸函数时这是最优的。由于通常反射的过阻尼动力学恰好以速率 $m$ 收敛，这确立了在小间隙情形下当 $m$ 较小时约束采样的平方根加速，与无约束情形中已知的加速相匹配。证明采用了Dolbeault–Mouhot–Schmeiser的修正 $L^2$ 次耗散方法以及Fan–Li–Lu的间隙移动校正项。镜面对称性使得输运算子成为反对称的，且该校正项自动选择过阻尼生成元的Neumann实现，这正是将每个辅助函数保持在镜面类中的边界条件。全空间论证中使用的Bochner恒等式被加权Reilly公式所取代，其边界贡献涉及 $∂Ω$ 的第二基本形式，对于凸域 $Ω$ 是非负的。

20. 表面张力驱动对流模型初边值问题的全局解

Global solutions to an initial-boundary value problem for a model of convection driven by surface tension

作者: Wending Wu, Xiaojing Xu

类别: math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17385v1

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

摘要翻译

中文标题: 表面张力驱动对流模型初边值问题的全局解

摘要翻译: 本文建立了描述薄液膜中由表面张力驱动的对流的二维四阶非线性退化抛物方程的非负弱解的全局存在性。首先，我们构造了一个正则化近似问题，并通过 Galerkin 方法证明了其可解性。利用能量和熵泛函以及奇异熵条件 $1/h_0 otin L^1(Ω)$（注：原文为$1/h_0 otin L^1(Ω)$的笔误修正，但根据指令需原样保留原文符号，故此处严格保留原文符号），我们获得了高阶空间导数和时间导数的统一先验估计。这些界限使得 Aubin-Lions 引理和 Gagliardo-Nirenberg 不等式得以应用，从而实现强紧性和关键的 $L^6$-可积性。此外，我们采用 Alber-Zhu 框架严格定义高阶局部弱导数并取极限。最后，我们证明该极限函数是非负的，确认其为原问题的全局弱解。

不相关论文（基本信息）

1. 关于球面极小子流形陈氏猜想

On Chern’s conjecture for minimal submanifolds of the sphere

作者: Benjy Firester, Raphael Tsiamis

类别: math.DG, math.AP

发布日期: 2026-08-18

arXiv ID: 2608.18074v1

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

摘要: A well-known conjecture of Chern, do Carmo, and Kobayashi asserts that, for $n,m \geq 1$, the scalar curvature of a closed, minimally immersed $n$-submanifold of $\mathbb{S}^{n+m}$ with second fundamental form of constant length takes values in a discrete set. This property holds in every codimension when $n \in \{1,2\}$. We disprove this conjecture for all $n \geq 3$ with $m \geq 4$, and for even $n \geq 4$ with $m \geq 3$.

2. $σ_2$-Yamabe问题的格林函数渐近行为

Green function asymptotics for the $σ_2$-Yamabe problem

作者: Bin Deng, Han Lu

类别: math.DG, math.AP

发布日期: 2026-08-18

arXiv ID: 2608.17403v1

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

摘要: We establish, at every pole, the asymptotic expansion of the normalized $Γ_2$-Green function with a finite pole set in every dimension $n\ge5$. In dimensions $5\le n\le7$ the first correction is a unique nonnegative constant, whereas dimension $8$ exhibits a Weyl-driven $\sqrt{\log}$ term. For $n>8$ we construct the finite local curvature parametrix through the first positive indicial resonance and identify the first genuinely global coefficient by a relative Newton flux.

3. 非钝角多面体区域中的Neumann特征值估计与$C^2$椭圆正则性

Sharp Neumann eigenvalue estimates and $C^2$ elliptic regularity in non-obtuse polyhedral domains

作者: Nick Edelen, Chao Li

类别: math.DG, math.AP

发布日期: 2026-08-17

arXiv ID: 2608.17194v1

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

摘要: For integers $n\ge 1$, consider assertions: $\mathbf{(P_n)}$: Let $Ω\subset S^n$ be a spherical domain enclosed by totally geodesic $S^{n-1}$’s with non-obtuse dihedral angles. Then in $[0,2(n+1)]$, its Neumann spectrum can only take values among $\{0,n,2(n+1)\}$. Moreover, $n$ is a Neumann eigenvalue if and only if the corresponding eigenfunction is the restriction of a linear function in $\mathbb{R}^{n+1}$, while $2(n+2)$ is a Neumann eigenvalue if and only if the corresponding eigenfunction is restriction of a quadratic polynomial in $\mathbb{R}^{n+1}$. $\mathbf{(Q_n)}$: A weak solution $u$ to $Δu = f$ with the Neumann boundary condition, with $f$ Hölder continuous, in a conical polyhedral domain $Ω$ in $\mathbb{R}^n$ with non-obtuse dihedral angles, is in $C^{2,α}_{loc}(\overlineΩ)$. We prove the implications

$$ \mathbf{(Q_n)} \Rightarrow \mathbf{(P_n)},\qquad \mathbf{(P_n)}\Rightarrow \mathbf{(Q_{n+1})}. $$

Consequently, both assertions hold in all dimensions. These give the optimal Neumann eigenvalue lower bound and $C^2$ elliptic regularity in non-obtuse Riemannian polyhedral domains.

4. 边界爆破解：梯度渐近性与唯一性

Boundary blow-up solutions: gradient asymptotics and uniqueness

作者: Seick Kim

类别: math.AP

发布日期: 2026-08-17

arXiv ID: 2608.17186v1

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

摘要: Let $Ω\subset\mathbb R^n$ be a bounded domain, and let $f$ be a nonnegative, nondecreasing function satisfying the Keller-Osserman condition. We study boundary blow-up solutions of $Δu=f(u)$ in $Ω$. Although existence is classical, uniqueness under these assumptions is known in balls but remains open even for smooth convex domains. We identify the normalized gradient $Q_u=|\nabla u|^2/(2F(u))$, $F'=f$, as a quantity governing uniqueness. Under a structural condition on $f$, a boundary blow-up solution $u$ is unique if $\limsup_{x\to\partialΩ}Q_u(x)\le 1$, without any regularity assumption on $\partial Ω$. For $C^{1,1}$ domains, assuming a growth condition on $f$, we prove $Q_u(x)\to 1$ for every boundary blow-up solution and hence obtain uniqueness under the structural condition. For convex domains, we prove $Q_u\le 1$ for the minimal boundary blow-up solution and obtain uniqueness when $\sqrt F$ is eventually convex, without imposing any additional boundary regularity.