生成时间: 2026年09月01日 08:04:07

运行状态: 完成

计划处理论文数量: 81

已完成论文数量: 81

未完成论文数量: 0

重点关注论文数量: 11

了解领域论文数量: 24

不相关论文数量: 46

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

1. 具有环面对称性的有限能量时空。爱因斯坦-欧拉与爱因斯坦-纳维-斯托克斯面积流的柯西稳定性

Finite-energy spacetimes with torus symmetry. Cauchy stability of Einstein-Euler and Einstein-Navier-Stokes areal flows

作者: Bruno Le Floch, Philippe G. LeFloch

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.31171v1

摘要翻译: 我们建立了在 $T^3$ 上具有 $T^2$ 对称性的真空和物质时空的有限能量柯西稳定性，所考虑的是一般满足双曲性以及真空和大质能密度下温和渐近条件的本构方程。首先，利用对称轨道的面积作为时间函数，我们引入了爱因斯坦面积流的 JKL 表述}，这是一个一阶演化-约束系统，将几何的波映射结构与超双曲物质守恒律以及关于切向于对称轨道的旋度和动量的加权输运方程耦合起来。其次，我们还定义了两类超双曲爱因斯坦-纳维-斯托克斯模型，它们由（我们称之为）一个纳维-斯托克斯势和一个弛豫率映射构成。所提出的粒子产生模型具有无散度的物质应力和非负的粒子数产生，而所提出的耗散能量模型则保持粒子数守恒并耗散流体质能，同时一个辅助应力恢复了收缩 Bianchi 恒等式所需的总应力-能量守恒。对于正则的有限能量（爱因斯坦、欧拉、纳维-斯托克斯）流，我们建立了极大值和不变域原理、几何和能量单调性公式、类空和类时能量估计，以及全变差估计。第三，这些估计共同导出了未来膨胀区域的有限能量柯西稳定性，以及在收缩区域中直到类空体积坍缩为止的稳定性。它们独立于粘性（或弛豫）机制，涵盖真空、无界质能密度和任意有限快速度。此外，它们还可以推广到满足参考数学熵不等式的弱正则爱因斯坦-欧拉面积流。

Comment: This paper includes some estimates from version 1 of arXiv:2605.31585 for completeness

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

1. 研究对象和背景

本文研究具有 $T^2$ 对称性（即存在两个交换的类空间 Killing 场）且空间拓扑为 $T^3$ 的四维洛伦兹流形 $(M, g)$，其中 $g$ 满足爱因斯坦场方程：

$$ G_{\alpha\beta} = T_{\alpha\beta}, \quad \nabla_\alpha T^{\alpha\beta} = 0, $$

这里 $G_{\alpha\beta}$ 是爱因斯坦张量，$T_{\alpha\beta}$ 是物质应力-能量张量。在广义相对论中，这类对称性简化了引力动力学，使得四维问题可以约化为二维商流形上的偏微分方程组。然而，现有的理论大多局限于真空或简单物质模型（如标量场），对于包含耗散流体（如 Navier-Stokes 型流体）或复杂状态方程的完美流体，其在有限能量正则性下的柯西发展性质尚不明确。

特别地，当物质为完美流体时，其状态由质量能量密度 $\mu \geq 0$ 和压力 $p(\mu)$ 决定，应力张量为：

$$ T^{\alpha\beta} = (\mu + p(\mu))u^\alpha u^\beta + p(\mu)g^{\alpha\beta}, $$

其中 $u^\alpha$ 是未来指向的单位四速度。为了处理可能出现的空化（cavitation，即 $\mu=0$）和激波，作者引入了物质动量一形式 $J := \sqrt{2(\mu+p(\mu))}u_\flat$ 作为基本变量，它在真空处保持良定义（变为零向量或零模态）。几何方面，利用对称轨道的面积 $|t|$ 作为时间函数（面积割线），将几何未知量分解为扭结变量 $K$、描述轨道几何的一阶变量 $L$、拉普斯函数 $\Omega$ 和共形长度密度 $\lambda$。

主要空白在于：1) 缺乏一个统一的第一阶演化-约束系统（JKL 公式），能够同时处理真空、大密度、任意有限快速度以及耗散效应；2) 对于相对论 Navier-Stokes 方程，协变性本身不足以唯一确定物理上合理的耗散模型，且需要满足双曲性和有限传播速度；3) 在有限能量（$L^2$ 正则性）下，证明柯西发展的稳定性并控制几何与物质的耦合非线性项。本文旨在建立这些结构性质，特别是证明从初始面积超曲面出发的有限能量界值的传播，从而确立柯西稳定性。

2. 主要定理或主要结果

论文的主要结果分为两部分：JKL 公式的建立和有限能量柯西稳定性的证明。

定理 1.1 (Einstein 面积流的 JKL 公式): 考虑具有 $T^2$ 对称性和 $T^3$ 空间拓扑的四维时空，假设状态方程 $p=p(\mu)$ 满足双曲性和渐近条件。作者证明了以下等价性：

  1. 完美流体模型: Einstein-Euler 系统等价于关于变量 $\Phi=(J_\perp, J_\parallel, P, Q)$ 和 $\Psi=(\ell, \log \Omega, K)$ 的第一阶演化-约束系统。该系统的演化子系统在非真空区域是强双曲的，非线性项具有二次结构和部分零结构。所有微分算子在包括空化和接近光速流动在内的完整状态空间上有定义。
  2. 粒子产生耗散模型: 引入对称二张量弛豫场 $\zeta$，构造基于 Navier-Stokes 势 $\chi$ 的 Einstein-Navier-Stokes 系统。该系统满足 $G_{\alpha\beta} = T^{\alpha\beta}_\chi$ 和 Bianchi 恒等式，且在状态空间内部是对称双曲的。关联的粒子数流 $N^\chi$ 满足 $\nabla_\alpha N^{\alpha}_\chi = \zeta_{\alpha\beta}B^{\alpha\beta} \geq 0$。
  3. 能量耗散耗散模型: 类似地，通过引入辅助应力张量 $T^{aux}_{\alpha\beta}$ 补偿耗散的质量能量，确保总应力-能量守恒。此模型中粒子数流是无散的，而质量能量满足带源项的平衡律。

定理 1.2 (有限能量 Einstein 面积流的柯西稳定性): 在上述三个模型之一中，假设初始数据 $(\dot{g}, \dot{k}, \dot{J}, \dot{\zeta})$ 满足 Einstein 约束方程，且具有有界的初始体积、能量范数 $E(t_0)$ 和有界变差范数 $\|\dot{\Psi}\|_{BV}$。在以下条件下：

  • 未来收缩区域中，共形长度有正下界 $L_{min}$；
  • 平行于对称轨道的动量每粒子有界，即 $|n_\alpha T^{\alpha\beta}Y_\beta| + |n_\alpha T^{\alpha\beta}Z_\beta| \leq C_\parallel (-n_\alpha N^\alpha_\chi)$。

则存在常数 $C = C(I_0, t_0, t_1, L_{min}^{-1}, C_\parallel)$，使得在整个柯西发展区间 $I=[t_0, t_1]$ 上，以下估计成立：

$$ \sup_{t \in I} \left( \|\Phi\|_{L^2(T^3)} + \|\Psi\|_{BV(T^3)} \right) + \sup_{x \in S^1} \left( \|\Phi\|_{L^2(I \times T^2)} + \|\Psi\|_{BV(I \times T^2)} \right) + \int_{I \times T^3} d^* dvol \leq C. $$

其中最后一项代表非负的生成测度（对于 Euler 系统为零，对于 Navier-Stokes 系统分别为产生的粒子数或耗散的能量密度）。该结论允许真空、任意大的质量能量密度和任意有限的快速度，且常数 $C$ 独立于黏度（弛豫率映射 $B$）。

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

证明的核心技术障碍在于处理几何与物质之间的强耦合非线性，以及在有限能量正则性下维持双曲结构和约束传播。作者的真正创新点在于构建了“JKL 公式”，这是一种精心设计的第一阶演化-约束系统，它将几何变量和物质变量分离为两类不同正则性要求的组：$\Phi$ 组（受 $L^2$ 能量控制）和 $\Psi$ 组（受有界变差控制）。

  1. JKL 变量选择与结构分析: 作者引入复值扭结变量 $K=K_2+iK_3$ 和几何变量 $L=P+iQ$，结合物质动量 $J$。这种选择使得演化方程呈现出 divergence-curl 结构（针对 $P,Q$）和加权输运方程（针对 $K$ 和平行动量）。关键的非线性项被揭示为具有二次结构和部分零结构，这对于控制高次非线性至关重要。通过这种结构，作者能够将 Einstein 方程转化为在二维商流形上的双曲-椭圆耦合系统。

  2. 数学熵不等式与凸流构造: 为了处理弱解和激波，作者利用了 Godunov 和 Friedrichs-Lax 开创的数学熵理论。他们构造了两个参考流（质量能量流和粒子数流），并证明了它们在适当意义下的未来凸性。这导致了两个不同的数学熵不等式：一个对应粒子产生，另一个对应能量耗散。这些不等式不仅用于选择物理可容许的弱解，还直接提供了能量单调性估计的基础。

  3. Navier-Stokes 势与弛豫系统: 对于耗散流体，作者没有直接使用标准的 Navier-Stokes 方程，而是基于“Navier-Stokes 势” $\chi(\beta, \zeta)$ 构造了对称双曲弛豫系统。这里 $\beta$ 是重标度的流体动量，$\zeta$ 是偏离平衡态的变量。通过设计弛豫率映射 $B$，确保了系统在状态空间内部是对称双曲的，并且特征锥包含在洛伦兹锥内，从而保证了有限传播速度。辅助应力张量的引入巧妙地满足了 Bianchi 恒等式对总应力-能量守恒的要求。

  4. 几何单调性与能量估计: 在稳定性证明中，作者利用了面积割线的几何性质。体积和共形长度满足单调性公式，这使得在收缩区域中可以通过控制共形长度的下界来防止奇异性过早出现。加权能量恒等式提供了类空间和类时切片上的积分估计。精确的输运方程则提供了逐点控制。这些工具共同作用，建立了从初始超曲面到未来柯西发展的有限能量界值传播。

4. 与之前工作的比较

本文与既有工作的主要区别和推进体现在以下几个方面：

  1. 对称性与物质模型的广泛性: 此前的工作（如 Speck 及其合作者 [1, 7, 27]）主要关注无对称性限制或特定对称性下的 Euler 方程结构，或者仅处理真空和简单物质模型。本文首次系统地研究了具有 $T^2$ 对称性且包含一般状态方程完美流体以及两类新型 Einstein-Navier-Stokes 耗散流体的情况。特别是，它涵盖了真空、空化、大密度和任意有限快速度，这在之前的文献中很少被同时处理。

  2. 有限能量正则性与弱解框架: 许多经典结果依赖于高阶 Sobolev 正则性（如 $H^s, s>5/2$）以确保经典解的存在和唯一性。本文工作在有限能量正则性水平（$L^2$ 和 $BV$），这意味着它可以处理含有激波的弱解。这与 companion paper [17] 中建立的弱形式相衔接，但进一步确立了从初始数据出发的稳定性传播。相比之下，之前的工作往往需要更光滑的初始数据或局部存在性结果。

  3. Novel Navier-Stokes Models: 在相对论流体力学中，协变性并不唯一确定 Navier-Stokes 方程。之前的协变耗散理论（如 [10, 3, 23]）可能面临双曲性问题或违反因果律。本文提出的两个模型（粒子产生型和能量耗散型）是基于对称双曲弛豫系统构建的，明确保证了有限传播速度和数学熵结构。此外，通过引入辅助应力张量，本文解决了 Bianchi 恒等式对总应力-能量守恒的要求，这是之前一些模型中未充分处理的细节。

  4. 柯西稳定性的范围: 本文的稳定性结果适用于未来扩张区域和未来收缩区域（直到空间体积坍缩）。在收缩区域，通过假设共形长度有正下界，作者证明了直到奇点形成前的稳定性。这一结果比某些仅在特定区域（如纯扩张宇宙）有效的先前结果更为全面。此外，估计中的常数独立于黏度参数，这表明结果的鲁棒性。

  5. 技术工具的整合: 本文整合了现代双曲 PDE 理论（如数学熵、对称双曲系统）与广义相对论的几何分析（如面积割线、扭结变量、约束传播）。这种跨领域的技术融合是本文的一大特色，区别于以往分别处理几何或流体动力学的孤立工作。

2. 二维随机不可压 Euler 方程间歇 Onsager 定理的柔性部分

The flexible part of intermittent Onsager theorem for the two-dimensional stochastic incompressible Euler equations

作者: Zhenxin Liu, Wenhu Zhong

类别: math.AP, math.PR

发布日期: 2026-08-31

arXiv ID: 2608.30582v1

摘要翻译: 本文关注二维随机不可压 Euler 方程的间歇 Onsager 定理中的柔性部分。我们发展了一种随机且间歇的 Newton–Nash 迭代方案的变体，其中引入了新的随机压力、Reynolds 应力和间歇扰动，以形式化随机与间歇波动。对于任意 $γ\in \left[ {0,\frac{1}{3}} \right)$，我们利用该迭代方案构造了二维随机不可压 Euler 方程的 $γ$-Hölder 连续鞅解。这些鞅解表现出耗散行为和间歇性，从而解决了二维随机不可压 Euler 方程间歇 Onsager 定理的柔性部分。

Comment: 无

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

1. 研究对象和背景

本研究聚焦于二维随机不可压缩欧拉方程（Two-dimensional stochastic incompressible Euler equations）的 Onsager 临界正则性与间歇性结构。具体而言，研究对象为定义在二维环面 $\mathbb{T}^2 \triangleq \mathbb{R}^2 / 2\pi \mathbb{Z}^2$ 上的方程组：

$$ \begin{cases} \partial_t u + (u \cdot \nabla) u + \nabla p = \dot{W}, & \text{on } [0, T] \times \mathbb{T}^2, \\ \nabla \cdot u = 0, \end{cases} $$

其中 $u(t, x)$ 是取值于 $\mathbb{R}^2$ 的速度场，满足周期性边界条件且零均值；$p(t, x)$ 为标量压力场；$W(t)$ 是完备概率空间 $(\Omega, \mathcal{F}, \mathbb{P})$ 上的维纳过程，其形式时间导数 $\dot{W}(t)$ 对应于时间白噪声。

Onsager 猜想的核心在于揭示湍流中反常耗散（anomalous dissipation）与解的正则性之间的内在联系。经典确定性情形下，Isett 等人通过凸积分方法证明了当速度场的 Hölder 指数 $\gamma < 1/3$ 时，存在非守恒能量的弱解，从而确立了 Onsager 定理的“柔性部分”（flexible part）。然而，湍流的本质特征之一是间歇性（intermittency），即能量在空间上高度集中，导致 K41 理论预测的普适标度律失效。Cheskidov 和 Shvydkoy 指出，非线性相互作用会引发这种间歇性波动。尽管 Novack 和 Vicol 等人在三维确定性欧拉方程中构建了具有间歇性的 Onsager 临界解，但在随机流体系统中，由于随机强迫与非线性项的耦合，间歇性结构的严格数学构造仍是一个开放问题。

特别是对于二维流动，其能量级联机制（energy cascade mechanism）与三维截然不同（通常表现为逆级联或不同的耗散尺度行为），这使得二维湍流展现出独特的反常耗散与间歇性行为。虽然 Brue 和 Colombo 在二维确定性涡量形式中构造了间歇结构，Giri 和 Radu 也建立了二维确定性欧拉方程的 Onsager 柔性部分，但针对二维随机欧拉方程，目前尚缺乏基于凸积分方法的、同时具备 Onsager 临界正则性和间歇性特征的严格构造。此外，随机效应不仅改变了正则性阈值，还通过非线性-随机强迫的相互作用自发产生非高斯重尾分布，这是间歇性的数学签名。因此，如何在随机框架下构建 $\gamma$-Hölder 连续的鞅解，使其既表现出动能耗散又具备间歇性，是连接凸积分理论、随机分析与湍流现象学的关键空白。本文旨在填补这一空白，建立二维随机欧拉方程间歇性 Onsager 定理的柔性部分。

2. 主要定理或主要结果

本文的主要结果包含两个核心定理，分别解决了解的存在性、正则性及耗散行为，以及间歇性特征。

定理 1.1 (存在性与耗散): 对于任意 $\gamma \in [0, 1/3)$，假设维纳过程 $W(t)$ 的协方差算子 $Q$ 满足迹条件：

$$ \operatorname{Tr}\left(Q + Q^{1/2}(-\Delta)^{\frac{1+\gamma}{2}} + \rho\left(Q^{1/2}\right)^*\right) < \infty, \quad \text{其中 } 0 < \rho \ll 1. $$

则存在一个停时 $t$，使得 $\mathbb{P}(0 < t \leqslant T) = 1$，方程 (1.1) 存在如下形式的鞅解（martingale solutions）：

$$ u(t, x) \in C\left([0, t]; C^\gamma(\mathbb{T}^2; \mathbb{R}^2)\right), $$

且其时间支撑集满足 $\operatorname{suppt} u \subset [0, t]$（几乎处处成立）。该解表现出耗散行为（dissipative behavior）：

$$ E(t) < E(0) + 2 \int_0^t \langle u(s), dW(s) \rangle_{\mathbb{T}^2} + t \cdot \operatorname{Tr} Q, \quad \forall t \in \operatorname{suppt} u, \quad \mathbb{P}\text{-a.s.} $$

这里 $E(t) \triangleq \|u(t)\|_{L^2}^2$ 为动能。值得注意的是，一般的弱解仅满足期望意义上的能量平衡 $\mathbb{E}E(t) = \mathbb{E}E(0) + t \cdot \operatorname{Tr} Q$，而本文构造的解在样本路径层面严格违反了能量守恒，体现了 Onsager 意义上的反常耗散。

定理 1.2 (间歇性): 设 $u(t, x)$ 是由定理 1.1 得到的 Hölder 连续鞅解。若指数 $p_1$ 和 $p_2$ 满足分离条件：

$$ \frac{1}{p_2} - \frac{1}{p_1} > \frac{3}{16}, $$

则存在两个递增函数 $\tilde{h}_1(r)$ 和 $\tilde{h}_2(r)$，使得 $u(t, x)$ 表现出全局间歇性：

$$ \frac{\|u\|_{L^{p_1}}}{\|u\|_{L^{p_2}}} \sim \tilde{h}_1(r) \to \infty, \quad \text{as } r \to \infty, \quad \forall t \in \operatorname{suppt} u, \quad \mathbb{P}\text{-a.s.} $$

以及惯性区间内的间歇性（inertial-range intermittency）：

$$ \frac{\|u(x + ln) - u(x)\|_{L^{p_1}}}{\|u(x + ln) - u(x)\|_{L^{p_2}}} \sim \tilde{h}_2(r) \to \infty, \quad \text{as } r \to \infty, \quad \forall l \in [l_D, l_I], \quad \forall t \in \operatorname{suppt} u, \quad \mathbb{P}\text{-a.s.} $$

其中 $r$ 是与 Dirichlet 核相关的截止波数，$n$ 是二维环面上的单位空间方向向量，$[l_D, l_I]$ 表示由耗散尺度 $l_D$ 和积分尺度 $l_I$ ($l_I > l_D$) 定义的惯性区间。符号 “$a \sim b$” 表示存在正常数 $C_1 \leqslant C_2$ 使得 $C_1 b \leqslant a \leqslant C_2 b$。这些结果表明，随着分辨率 $r$ 的增加，高阶矩相对于低阶矩的增长是无界的，证实了湍流中的间歇性增强效应。

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

为了证明上述定理，作者开发了一种兼容随机性与间歇性的 Newton-Nash 迭代方案（stochastic and intermittent variant of the Newton-Nash iteration scheme）。该方法并非经典凸积分的简单随机化，而是一个统一的分析框架，旨在同时控制随机振荡和间歇性集中。

1. 克服随机振荡积累的技术障碍： 主要挑战在于非线性项在迭代过程中积累的随机振荡会导致经典的 Reynolds 误差无法被控制。作者采用了分解策略 $u(t, x) = v(t, x) + W(t, x)$，将随机部分 $W(t, x)$ 从确定性扰动中分离出来。通过建立 Newton-Euler-Reynolds 系统，作者发现了一种补偿机制：不再将随机振荡视为微扰误差，而是将其直接纳入对流结构中，并构造了一个新的 随机 Nash 压力（stochastic Nash pressure）来补偿累积的振荡缺陷。受 Cheskidov 和 Luo 的振荡论证启发，作者利用具有时间和空间振荡的随机线性化补偿系统来构造 Newtonian 扰动。随后，嵌入到 Nash 迭代中，并将这些丰富的随机振荡片段形式化为 Newton-Nash 元素。最终，通过 随机拉格朗日流（random Lagrangian flows）和反向流来界定所有 Newton-Nash 元素，从而推导出总 Reynolds 误差的估计。

2. 二维间歇性 Beltrami 波的适配与创新： 经典的 Beltrami 波在二维空间中不存在，且与随机 Newton-Nash 迭代不兼容。作者借鉴 Buckmaster 和 Vicol 提出的间歇性 Beltrami 波思想，将其适配到二维设定中（见附录 D）。然而，这种修改引入了额外的应力残差，其散度缺乏相应阶的小量估计。为克服此困难，作者将这些二维 Beltrami 类似物通过 随机反向流（random backward flows）引入迭代程序，并直接推导归纳估计以控制其间歇性强度。由于新的 Beltrami 类似物产生了间歇性扰动，递归的 Reynolds 应力同时携带随机和间歇性振荡。作者通过对 Newton-Nash 元素和非相互作用 Nash 扰动的归纳估计来界定这些振荡，从而闭合了改进的 Newton-Nash 迭代方案的递归环路。

3. 能量间隙与耗散行为的推导： 为了证明耗散行为 (1.2)，作者引入了近似解的 能量间隙（energy gaps）概念，并推导了其归纳估计。这些能量间隙允许作者建立一个专门针对 Hölder 连续鞅解的能量平衡关系，该关系不同于一般弱解的期望能量平衡 (1.5)。通过这一定制化的能量平衡，结合辅助函数 $h(t)$ 的时间支撑性质（即在支撑集内部 $|h(t)| < h(0)$），作者成功推导出了严格的动能耗散不等式。

4. 间歇性指标的量化： 在构造中，间歇性尺度 $\tilde{\mu}$ 和强度参数 $\sigma$ 由归纳参数 $\lambda_q$ 决定，后者与截止波数 $r$ 密切相关。利用 $r$ 和 $\lambda_q$ 之间的归纳关系，作者推导了近似速度 $L^p$ 范数 $\|v_{q+1}\|_{L^p}$ 和 $p$ 阶能量级联 $\|v_{q+1}(x+ln) - v_{q+1}(x)\|_{L^p}$ 的上界和下界。这些估计表明，$(p_1, p_2)$-平坦度数量（flatness quantities）具有可比较的界限，足以确立定理 1.2 中的全局间歇性和惯性区间间歇性。

4. 与之前工作的比较

1. 与确定性 Onsager 定理工作的比较： Isett [41, 42] 首先利用 Nash 迭代方案解决了三维确定性欧拉方程 Onsager 定理的柔性部分，构造了具有紧时间支撑的非平凡 Hölder 连续解。Novack 和 Vicol [50] 进一步利用间歇性 Beltrami 波重新确认了这一点，构造了具有间歇性的解。Rosa 等人 [52] 建立了耗散行为与间歇性之间的紧密联系。然而，这些工作均局限于确定性框架。本文的创新在于将这一理论拓展至随机框架，并特别针对二维情况。与 Giri 和 Radu [39] 关于二维确定性欧拉方程的工作相比，本文处理了更复杂的随机强迫项 $\dot{W}$，这需要全新的随机压力补偿机制和随机流技术，而非简单的确定性推广。

2. 与随机流体方程既有结果的比较： 在随机流体领域，Biferale 等人 [5] 从物理角度阐明了随机效应如何动态放大间歇性振荡，且已有研究表明驱动噪声的正则性会影响解的临界正则性阈值 [34]。Lü, Lü 和 Zhu [48] 考察了三维随机欧拉方程的 Onsager 定理，讨论了非守恒断言在随机版本中被耗散行为所取代的问题。然而，此前没有凸积分构造能够在随机区域内实现兼具 Onsager 临界正则性和间歇性的解。本文首次填补了这一空白，提供了严格的数学构造，而不仅仅是物理洞察或数值证据。

3. 与二维湍流理论的比较： 二维湍流因其独特的能量级联机制（如逆级联）而与三维不同。Brue 和 Colombo [12] 在二维确定性涡量形式中严格构造了间歇结构。本文的贡献在于将这种间歇性结构整合进随机速度场的构造中，并证明了其在 Onsager 临界正则性 $\gamma < 1/3$ 下的存在性。与确定性二维工作相比，本文的难点在于处理随机项带来的额外不确定性，以及如何确保随机扰动不破坏间歇性所需的精细尺度结构。作者通过引入特定的协方差算子迹条件和精心设计的随机 Beltrami 类似物，成功实现了这一目标。

4. 方法论上的推进： 传统的凸积分方法在处理随机方程时，往往难以控制随机项引起的误差积累。本文提出的“随机 Newton-Nash 迭代方案”是一种方法论上的显著推进。它不仅仅是在经典方案中添加随机项，而是重构了迭代的核心组件（如随机压力、随机 Reynolds 应力、间歇性扰动），形成了一个能够同时容纳随机振荡和间歇性集中的统一框架。这种框架使得作者能够精确控制 Hölder 指数低于 $1/3$ 的解的行为，并在严格的概率意义下（几乎处处）证明了耗散和间歇性。相比之下，之前的随机凸积分工作可能仅关注存在性或基本正则性，而未深入探讨 Onsager 临界条件下的间歇性细节。

3. 关于具有物理真空的可压缩欧拉方程的光滑自相似解

On smooth self similar solution to compressible Euler equation with physical vacuum

作者: Jihoi Kim

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30443v1

摘要翻译: 我们考虑维度 $d > 1$ 中在空间无穷远处密度衰减的等压欧拉方程。控制球对称自相似解方程的非线性常微分方程相图已在 Guderley 的开创性工作中引入。在适当参数范围内，通过声速线的光滑衰减解的存在性已在 (F. Merle et al., 2022) 的工作中得到证明。本文在不同的参数范围内工作，证明了类空心球（holosphere）解的存在性；这些解在声速线上是光滑的，但在一个球面上表现出密度的消失。

Comment: 无

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

1. 研究对象和背景

本文研究的是 $d \geq 2$ 维等熵可压缩欧拉方程的径向对称自相似解。该方程组描述无粘、绝热流体动力学，其形式为：

$$ \begin{cases} \partial_t \rho + \nabla \cdot (\rho u) = 0, \\ \rho \partial_t u + \rho u \cdot \nabla u + \nabla p = 0, \\ p = \frac{\gamma-1}{\gamma} \rho^\gamma, \\ \rho(t, y) > 0. \end{cases} $$

其中 $\rho$ 是密度，$u$ 是速度场，$p$ 是压强，$\gamma > 1$ 是绝热指数。我们关注的是在空间无穷远处衰减的解，即满足条件

$$ \lim_{|y| \to +\infty} (\rho(t, y), u(t, y)) = 0. $$

这类解的存在性是理解流体中奇点形成（如密度集中或真空形成）的经典问题。

为了研究自相似解，作者引入了自相似重标度变换：

$$ \rho(t, y) = \left( \frac{\lambda}{\nu} \right)^\ell \hat{\rho}(\tau, Z), \quad u(t, y) = \frac{\lambda}{\nu} \hat{u}(\tau, Z), \quad Z = \frac{y}{\lambda}, \quad d\tau = \frac{dt}{\nu - \lambda \tau}, $$

其中 $\lambda = 1$, $\nu = r$，且 $\ell = \frac{2}{\gamma - 1}$。这一变换将原方程映射到一个全局时间 $\tau$ 下的重整化流：

$$ \begin{cases} \partial_\tau \hat{\rho} + \ell(r - 1)\hat{\rho} + \Lambda \hat{\rho} + \nabla \cdot (\hat{\rho}\hat{u}) = 0, \\ \partial_\tau \hat{u} + (r - 1)\hat{u} + \Lambda \hat{u} + \hat{u} \cdot \nabla \hat{u} + \nabla (\hat{\rho}^{\gamma - 1}) = 0, \end{cases} $$

其中 $\Lambda = Z \cdot \nabla$。自相似剖面对应于该重整化流的稳态解：

$$ \begin{cases} \ell(r - 1)\hat{\rho} + \Lambda \hat{\rho} + \nabla \cdot (\hat{\rho}\hat{u}) = 0, \\ (r - 1)\hat{u} + \Lambda \hat{u} + \hat{u} \cdot \nabla \hat{u} + \nabla (\hat{\rho}^{\gamma - 1}) = 0. \end{cases} $$

这些稳态解对应于原方程的爆破解，其浓度率为 $\lambda(t) = \lambda_0 (T - t)^{1/r}$。

对于球对称解，通过 Emden 变换 $(\hat{\rho}(Z))^{\frac{\gamma-1}{2}} = \sqrt{\frac{\ell}{2Z}} \sigma(x)$，$\hat{u}(Z) = -Z w(x)$，$Z = e^x$，上述偏微分方程被约化为一个非线性常微分方程系统：

$$ \begin{cases} \Delta w' = -\Delta_1, \\ \Delta \sigma' = -\Delta_2, \end{cases} $$

其中 $\Delta = (w - 1)^2 - \sigma^2$，而 $\Delta_1$ 和 $\Delta_2$ 是关于 $w$ 和 $\sigma$ 的多项式函数。这个系统的相图由 Guderley 在其开创性工作中引入，并在此后得到了广泛的研究。

相图中的关键特征包括声线 $w - 1 = \pm \sigma$（即 $\Delta = 0$），以及若干临界点 $P_1, P_2, P_3, P_4, P_5, P_6$。这些点的位置取决于参数 $r$ 和 $\ell$ 的关系。特别地，两个临界值 $r_*(d, \ell)$ 和 $r_+(d, \ell)$ 决定了这些点的相对位置：

$$ r_*(d, \ell) = \frac{d + \ell}{\ell + \sqrt{d}}, \quad r_+(d, \ell) = 1 + \frac{d - 1}{(1 + \sqrt{\ell})^2}. $$

在先前研究中，当 $r$ 处于特定范围时，存在从 $P_6$ 到 $P_4$ 的光滑连接轨迹，这些轨迹对应于在无穷远处衰减的解。然而，在这篇论文中，作者考虑了新的参数范围：

$$ d \geq 2, \quad d - 1 < \ell < d, \quad r_*(d, \ell) < r < r_+(d, \ell). $$

在这个范围内，$P_5$ 位于 $P_2$ 的右侧，导致从原点出发的光滑解终止于 $P_5$，这意味着空间中的增长，从而无法构造传统的爆破解。因此，作者转而研究另一条轨迹，即从 $P_1$ 出发，经过 $P_3$，最终到达 $P_4$ 的连接。这种轨迹被称为“全球”（holosphere）轨迹，其特征是在有限半径处密度消失（即出现真空），而在无穷远处自相似地衰减。

2. 主要定理或主要结果

本文的主要结果是证明了在全球轨迹上存在 $C^\infty$ 光滑的自相似剖面。具体而言，定理 1.1 陈述如下：

定理 1.1 （渐近消失的自相似剖面的 $C^\infty$ 存在性）设 $d \geq 2$，令 $r_+(d, \ell)$ 由公式 (1.9) 给出。则对于所有 $d \geq 2$，存在一个函数

$$ S_\infty(d, \ell): \mathbb{N}^* \setminus \{1\} \times O_d \to \mathbb{R}, $$

使得对于任何满足条件

$$ S_\infty(d, \ell) \neq 0 $$

的 $\ell \in O_d$，存在一个离散序列

$$ r_*(d, \ell) < r_n < r_+(d, \ell), \quad |r_n - r_+(d, \ell)| \ll 1, \quad \lim_{n \to +\infty} r_n = r_+(d, \ell), $$

使得从 $P_1$ 出发的唯一全球轨迹终止于 $P_4$，并以 $C^\infty$ 方式通过 $P_3$。

函数 $S_\infty(d, \ell)$ 出现在 $P_3$ 附近流的渐近分析中，它可以表示为一个正常收敛级数：

$$ S_\infty(d, \ell) = \sum_{n=0}^{+\infty} u_n(d, \ell), $$

其中 $|u_n(d, \ell)| \leq \frac{c_{d,\ell}}{1 + n^2}$，且级数 $u_n(d, \ell)$ 满足一个显式的非线性递推关系。该级数的收敛性证明了映射 $\ell \mapsto S_\infty(d, \ell)$ 在复平面上的某个开集内是全纯的。

此外，引理 1.2 指出，函数 $\ell \mapsto S_\infty(d, \ell)$ 可以全纯延拓到复平面上 $(0, d)$ 的一个邻域 $\Omega_d$。虽然无法解析地计算 $S_\infty(d, \ell)$ 的零点，但对于 $d = 2$ 和 $d = 3$，数值计算表明：

$$ S_\infty(2, \ell) > 0 \text{ for } \ell = 0.1, \quad S_\infty(3, \ell) > 0 \text{ for } \ell = 0.1. $$

这表明在这些维度下，非零条件是成立的。

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

证明的核心在于对相图中 $P_3$ 附近的局部行为进行精细的渐近分析，并结合全局相图的几何性质来确保连接轨迹的存在性和光滑性。

首先，作者详细分析了非线性常微分方程系统 (1.7) 的根结构。通过代数方法，确定了 $\Delta_1$ 和 $\Delta_2$ 的根的分布及其随参数的变化规律。特别是，引理 2.1 至 2.4 给出了 $\Delta_1$ 和 $\Delta_2$ 的根的显式表达式及其单调性，这对于理解相图的拓扑结构至关重要。

其次，作者在 $P_3$ 点附近进行了线性稳定性分析。定义了一阶导数 $c_1, c_2, c_3, c_4$，并计算了特征矩阵 $A(P_3)$ 的特征值 $\lambda_+$ 和 $\lambda_-$。通过分析这些特征值的符号和大小，作者证明了在 $P_3$ 点附近只有两条可能的积分曲线方向，分别对应于斜率 $c_-$ 和 $c_+$。进一步地，引理 2.7 提供了这些斜率的精确估计，确保了从 $P_1$ 出发的轨迹能够以正确的方式进入 $P_3$。

最后，作者利用固定点论证法证明了从 $P_1$ 出发的解的存在性和唯一性。通过将微分方程转化为积分方程，并应用 Banach 不动点定理，作者证明了在 $P_1$ 附近存在唯一的光滑解，并给出了其渐近展开式。结合全局相图的几何性质，作者证明了这条解能够连续延伸到 $P_3$，并最终到达 $P_4$。

4. 与之前工作的比较

与先前工作相比，本文的主要推进体现在以下几个方面：

  1. 参数范围的扩展：先前研究主要关注 $r$ 在特定范围内的情况，例如 $1 < r < r_*(d, \ell)$ 或 $r_*(d, \ell) < r < r_+(d, \ell)$ 但要求 $\ell < d$。本文则考虑了更广泛的参数范围 $d - 1 < \ell < d$ 和 $r_*(d, \ell) < r < r_+(d, \ell)$，这导致相图中关键点 $P_5$ 的位置发生变化，从而使得传统的光滑连接不再可能。

  2. 新类型解的发现：由于传统连接路径被阻断，作者转而研究了另一种类型的解，即全球轨迹。这种解在有限半径处出现真空，但在无穷远处仍然保持自相似衰减。这是先前文献中未曾充分探讨的新现象。

  3. 正则性分析的深化：尽管全球轨迹在 $P_3$ 点处通过声线，但作者证明了可以通过选择适当的参数 $r_n$ 使得该连接是 $C^\infty$ 光滑的。这一结果依赖于对 $P_3$ 附近流的精细渐近分析，以及一个显式定义的函数 $S_\infty(d, \ell)$ 的非零性验证。

  4. 数值验证的支持：除了理论证明外，作者还通过数值计算验证了 $S_\infty(d, \ell)$ 在低维情况下（$d = 2, 3$）的非零性，为理论结果提供了额外的支持。

4. 端点能量原子迫使三维 Navier-Stokes 流中的局部压强集中

Endpoint Energy Atoms Force Local Pressure Concentration in Three-Dimensional Navier-Stokes Flow

作者: Hao Huang

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30715v1

摘要翻译: 我们证明，在平坦环面上的三维不可压 Navier-Stokes 流的端点动能测度中，一个点原子会迫使实际压强产生定量集中。在每个重启时间 $\tau$，一个同态约束-响应比较通过由 $u$ 驱动的无压强分量平流-扩散方程演化 $u(\tau)$，并减去由此得到的被动场 $z_\tau$。令 $r_\tau = u - z_\tau$ 且 $g_\tau = Q z_\tau$，我们得到一个精确的相对压强功恒等式。若该原子的质量为 $m$，Nash 光滑化使得 $z_\tau$ 最终是非原子的，而 $r_\tau$ 保留了至少为 $m$ 的最终原子质量；因此，在每次固定的重启之后，累积压强功的最终上极限至少为 $m/2$。介观定位给出了关于规范不变的 $L^2$ 压强振荡以及收缩终端柱体中压强梯度的局部 $L^2$ 质量的尺度显式下界。因此，在原子点的每个终端邻域内，模去时间函数的压强及其梯度均不是平方可积的。相对压强功原理推广到受约束的旋度自由 Oseen 演化：当 $\tau$ 趋近于 $T^*$ 时，零初值响应在弱尾拓扑中消失，尽管每次固定的重启都保留了相同的下界。这确定了一种由不可压约束产生的、将端点原子与局部压强集中联系起来的必要压强功机制，而不需要完整的正则性假设。

Comment: 17 pages. Submitted for publication

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

1. 研究对象和背景

本文研究三维不可压缩纳维-斯托克斯方程在平坦环面 $\mathbb{T}^3$ 上的解, 特别是当其在有限终端时间 $T^*$ 之前保持光滑, 但动能密度在 $t \uparrow T^*$ 时失去强紧致性时, 压强所扮演的局部机制. 考虑如下方程:

$$ \partial_t u + (u \cdot \nabla)u + \nabla p = \nu \Delta u, \quad \nabla \cdot u = 0, $$

其中 $u$ 是勒雷-霍普夫 (Leray-Hopf) 弱解, 且在 $[t_b, T^*)$ 的每个紧子区间上光滑. 尽管 $u$ 在 $t < T^*$ 时是光滑的, 其动能测度 $|u(t)|^2 dx$ 可能在 $t \to T^*$ 时发生质量集中. 这种集中现象通过弱-* 极限来刻画: 若存在序列 $t_k \uparrow T^*$ 使得

$$ |u(t_k, x)|^2 dx \stackrel{*}{\rightharpoonup} \mu_*, $$

且 $\mu_*$ 在某一点 $a \in \mathbb{T}^3$ 处具有正质量 $m > 0$, 即 $\mu_*(\{a\}) = m$, 则称该点为一个“端点能量原子” (endpoint energy atom). 这种原子代表了与能量界相容的最强空间紧致性丧失, 意味着有正量的动能在任意小尺度上持续存在.

在不可压缩流体中, 压强 $p$ 是一个约束力, 它确保速度场是无散度的. 然而, 在全局动能平衡中, 压强项 $\langle \nabla p, u \rangle$ 由于 $\nabla \cdot u = 0$ 而消失, 因此压强通常被视为“不可见”. 现有的正则性理论, 如部分正则性、端点正则性判据以及临界范数的定量集中分析, 主要关注速度场或其范数的行为, 或者在额外的假设下控制压强. 然而, 这些结果并未明确指出, 如果端点动能测度中存在一个点原子, 实际的纳维-斯托克斯压强必须如何响应. 换言之, 缺乏一种从假定的端点原子出发, 推导强制性局部压强集中机制的理论工具.

本文旨在填补这一空白. 作者提出了一种“同态约束-响应比较”方法, 以隔离由不可压缩约束产生的动力学贡献. 具体而言, 在每个重启时间 $\tau$, 构造一个被动标量场 $z_\tau$, 它由相同的漂移 $u$ 驱动, 但不受压强约束:

$$ \partial_t z_\tau + (u \cdot \nabla)z_\tau = \nu \Delta z_\tau, \quad z_\tau(\tau) = u(\tau). $$

通过定义相对响应场 $r_\tau = u - z_\tau$ 和势分量 $g_\tau = Q z_\tau$ (其中 $Q$ 是势 Hodge 投影), 作者建立了一个精确的相对压力功恒等式. 这一框架允许在不假设完整正则性的情况下, 将端点原子的存在与压强的局部非平方可积性联系起来.

2. 主要定理或主要结果

本文的主要结果包括两个核心定理: Theorem A (纳维-斯托克斯特化) 和 Theorem B (一般共同漂移下的相对压力功原理).

Theorem A: 纳维-斯托克斯端点原子强制局部压强集中. 设 $u$ 是方程 (1.1) 的勒雷-霍普夫解, 在 $[t_b, T^*)$ 的每个紧子区间上光滑. 假设存在序列 $t_k \uparrow T^*$ 使得 $|u(t_k, x)|^2 dx \stackrel{*}{\rightharpoonup} \mu_*$, 且 $\mu_*(\{a\}) = m > 0$. 对于固定的重启时间 $\tau \in (t_b, T^*)$, 定义 $z_\tau = S(t, \tau)u(\tau)$, $g_\tau = Q z_\tau$, $r_\tau = u - z_\tau$. 则:

  1. 全局压力功恒等式: 对任意 $t \in (\tau, T^*)$, 有
    $$ \frac{1}{2} \|r_\tau(t)\|_2^2 + \nu \int_\tau^t \|\nabla r_\tau(\rho)\|_2^2 d\rho = \int_\tau^t \langle \nabla p(\rho), g_\tau(\rho) \rangle d\rho. $$
  2. 压力功下界: 终端累积压力功的极限上界满足
    $$ \limsup_{t \uparrow T^*} \int_\tau^t \langle \nabla p, g_\tau \rangle d\rho \geq \frac{m}{2}. $$
  3. 微观尺度局部集中: 给定任意 $R_n \downarrow 0$, 存在重启时间 $\tau_n \uparrow T^*$ 满足 $\frac{A(\tau_n)}{R_n} + \frac{\sqrt{\nu(T^*-\tau_n)}}{R_n} \to 0$, 使得:
    • 规范不变压强振荡下界:
      $$ \liminf_{n \to \infty} \text{Osc}_2(p; (\tau_n, T^*) \times B_{2R_n}(a)) \geq c_\Omega \frac{m}{\sqrt{\nu} \|u(s)\|_2}. $$
    • 局部压强梯度 $L^2$ 质量下界:
      $$ \liminf_{n \to \infty} R_n^2 \int_{T^*}^{\tau_n} \int_{B_{2R_n}(a)} |\nabla p|^2 dx dt \geq c_\Omega \frac{m^2 \nu}{\|u(s)\|_2^2}. $$
  4. 非平方可积性推论: 对于任意 $t_0 \in (t_b, T^*)$ 和充分小的 $r > 0$, 有
    $$ \text{Osc}_2(p; (t_0, T^*) \times B_r(a)) = +\infty, \quad \int_{T^*}^{t_0} \int_{B_r(a)} |\nabla p|^2 dx dt = +\infty. $$
    这意味着, 如果在某个终端邻域内压强模去时间函数或压强梯度是平方可积的, 则排除了端点点原子的存在.

Theorem B: 相对压力功原理. 该定理将上述结果推广到一般的无散漂移 $u$ 和有约束的 Oseen 演化 $w$. 假设 $w$ 满足终端原子条件 $A_a[w] \geq m > 0$. 则:

  1. 原子继承: 被动场 $z_\tau$ 及其 Hodge 分量 $v_\tau, g_\tau$ 在终端是非原子的, 而相对场 $r_\tau$ 和约束分量 $c_\tau$ 保留至少 $m$ 的终端原子质量.
  2. 弱尾拓扑中的消失: 当 $\tau \uparrow T^*$ 时, 所有响应场 $r_\tau, g_\tau, c_\tau$ 在负阶 Sobolev 范数 $\dot{H}^{-1}$ 和时间积分能量范数 $L^4_t L^2_x$ 中趋于零.
  3. Hardy-BMO 表示: 压力功配对可以表示为周期性实 Hardy 空间 $H^1$ 与 BMO 空间的配对, 揭示了其对空间常数平移的不变性.

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

证明的核心在于构建一个能够精确隔离不可压缩约束效应的比较框架, 并克服局部化过程中的技术障碍.

  1. 同态约束-响应比较框架: 传统的全局能量平衡无法区分“继承的能量” (在重启前已存在的集中) 和“响应能量” (重启后由约束生成的新效应). 作者引入被动传播算子 $S(t, \tau)$, 求解无压强的对流扩散方程. 通过定义差值 $r_\tau = u - z_\tau$, 利用 Hodge 分解 $r_\tau = c_\tau - g_\tau$ (其中 $c_\tau = P r_\tau$, $g_\tau = Q z_\tau$), 作者证明了 $r_\tau$ 满足一个修正的 Oseen 方程, 其源项仅包含压强梯度. 这使得相对能量耗散可以直接关联到压强做功.

  2. Nash 平滑与终端非原子性: 关键的一步是证明被动场 $z_\tau$ 在终端是“非原子”的. 作者使用了不依赖于漂移大小的 Nash 不等式, 证明了 $L^1 \to L^\infty$ 的平滑估计:

    $$ \|S(t, \tau)h\|_\infty \leq C_\Omega (1 + [\nu(t-\tau)]^{-3/4}) \|h\|_2. $$

    由于 $z_\tau$ 在 $t=\tau$ 时是有界的, 且随着 $t \to T^*$ 变得均匀连续 (在远离 $\tau$ 的区间), 其在任意小球上的 $L^2$ 质量随半径趋于零. 相比之下, $u$ 保留了原子质量 $m$, 因此差值 $r_\tau$ 必然继承这一原子质量. 这是将全局原子信息转化为相对场属性的关键.

  3. 微观尺度局部化与截断误差控制: 将全局恒等式局部化并非平凡, 因为 Hodge 投影是全局算子, 与截断函数不对易. 作者直接从相对方程出发, 使用测试函数 $\psi r_\tau$ 推导局部相对能量恒等式 (Lemma 7.1). 该恒等式包含了边界通量项 $B_{tr}, B_\nu, B_p$. 为了控制这些项, 作者采用了严格的极限顺序: 先固定半径 $R_n$, 再选择足够晚的重启时间 $\tau_n$ 使得漂移和扩散长度相对于 $R_n$ 可忽略 ($A(\tau_n)/R_n + \sqrt{\nu(T^*-\tau_n)}/R_n \to 0$), 最后取终端极限. 这种顺序避免了交换极限带来的误差放大.

  4. Cauchy-Schwarz 对偶与 Poincaré 不等式: 从局部压力功下界推导压强振荡下界时, 作者利用了 Cauchy-Schwarz 不等式的对偶形式. 具体地, 将 $\int \chi \nabla p \cdot g$ 视为 $\nabla p$ 与 $\nabla \cdot (\chi g)$ 的配对, 结合 $g$ 的 $L^2$ 界和 $\nabla \cdot (\chi g)$ 的结构, 得到规范不变的振荡估计. 随后, 利用球体 Poincaré 不等式将振荡下界转化为压强梯度的局部 $L^2$ 质量下界.

  5. 弱尾拓扑分离: 作者还分析了当 $\tau \uparrow T^*$ 时响应场的行为. 通过 Duhamel 公式和热半群在负阶 Sobolev 空间中的有界性, 证明了 $\|q_\tau\|_{\dot{H}^{-1}} \leq C F_\tau A(\tau)$. 由于 $A(\tau) \to 0$, 响应场在弱拓扑中消失. 这解释了为什么虽然每个固定重启都有非零的压力功下界, 但在终端极限下，这些响应在某种平均意义下是可忽略的, 从而不与原子存在相矛盾.

4. 与之前工作的比较

本文与既有文献相比, 在以下几个方面做出了显著推进:

  1. 从正则性判据到必要机制识别: 以往的端点正则性理论 (如 Serrin 型条件) 通常是充分条件: 如果某些范数有限, 则解正则. 例如, Chae 和 Wolf 在 Type-I 条件下排除了 Euler 方程的原子集中. 本文不同, 它提供了一个必要条件: 如果存在原子, 则压强必须具备特定的非平方可积行为. 这不仅是排除准则, 更是识别了产生奇异性（如果存在）的局部物理机制——即不可压缩约束导致的压强工作.

  2. 压强的角色重估: 在传统的能量类分析中, 压强往往被处理为速度的函数 (通过 Poisson 方程), 其正则性依赖于速度的正则性. 本文首次建立了直接联系端点动能原子与实际压强局部行为的定量桥梁. 它表明, 即使在全局能量有限的情况下, 局部的压强梯度 $\nabla p$ 和压强振荡 $p - \beta(t)$ 也可能在原子点附近发散. 这与以往仅在额外假设下控制压强 (如 [26, 8, 14]) 的工作形成对比, 后者未能从原子假设本身推导出强制性的压强响应.

  3. 方法论创新: 同态比较 vs. 直接估计: 之前的工作多依赖于直接的局部能量估计或微局部分析. 本文引入的“同态约束-响应比较”是一种新的分析框架. 通过构造被动场 $z_\tau$ 作为基准, 作者成功地将复杂的非线性相互作用分解为“公共漂移效应”和“约束特有效应”. 这种方法不仅适用于纳维-斯托克斯方程, 还推广到更一般的 Oseen 演化 (Theorem B), 展示了其普适性.

  4. 尺度关系的明确性: 本文给出了明确的尺度依赖关系. 例如, 压强振荡下界与 $\frac{m}{\sqrt{\nu} \|u(s)\|_2}$ 成正比, 而压强梯度质量下界与 $R_n^2$ 的倒数相关. 这些定量估计提供了比定性结论更强的信息, 有助于理解奇异性形成的速率和强度. 此外, 文章明确了极限操作的顺序 ($R_n \to \tau_n \to t_n$), 这在处理涉及多重尺度和时间的极限问题时至关重要, 避免了以往工作中可能出现的模糊性.

  5. 与 Hardy-BMO 理论的结合: 作者将压力功配对解释为 $H^1$ 和 BMO 函数的配对, 这不仅提供了新的数学视角, 还可能为未来研究湍流中的间歇性和结构提供工具. 这种表示强调了压力功的符号性质和不变性, 是纯能量估计所不具备的.

局限性与代价: 本文的结果是条件性的: 它假设了原子的存在. 它并没有证明原子一定存在, 也没有解决完整的纳维-斯托克斯正则性问题. 此外, 局部化结果依赖于特定的极限顺序, 不能简单地交换极限. 尽管如此, 它为理解高雷诺数流动中的局部奇异行为提供了强有力的理论依据.

5. 点涡附近非恒定涡度下涡波系统的唯一性定理

A Uniqueness theorem for the Vortex-Wave system with non-constant vorticity near the point vortex

作者: David Meyer

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29721v1

摘要翻译: 我们研究涡波系统（即二维不可压缩欧拉方程，其涡度由一个点涡与有界部分构成）的唯一性问题。我们证明，若初始涡度与点涡位置 $(w_0,X_0)$ 满足形如 $|w_0(x)-w_0(X_0)|=O(|x-X_0|^α)$ 的约束，其中 $α> 2$，且涡度属于 $L^\infty$，则解在时间上全局唯一，尽管速度场并非对数-Lipschitz 连续的。

Comment: 无

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

1. 研究对象和背景

二维不可压缩欧拉方程是流体力学中最基本的模型之一. 在涡度形式下, 该方程组可写为:

$$ \partial_t \omega + (u \cdot \nabla)\omega = 0, $$

其中 $\omega: \mathbb{R}^2 \to \mathbb{R}$ 是涡度, $u: \mathbb{R}^2 \to \mathbb{R}^2$ 是速度场, 且满足 Biot-Savart 定律:

$$ u = \nabla^\perp \Delta^{-1}\omega. $$

本文关注的是所谓“涡波系统” (vortex-wave system) 的解, 即总涡度由一个正则部分和一个点涡组成的情形:

$$ \omega = w + \delta_{X(t)}, $$

其中 $w$ 是有界且紧支集的正则涡度, $\delta_{X(t)}$ 是位于 $X(t)$ 的点涡. 这种结构描述了强集中涡与周围流体之间的相互作用, 也是具有非零环量的刚体-流体系统在消失固体极限下的自然推广.

对于此类数据, 速度场可以显式地表示为:

$$ u(x) = (\nabla^\perp \Delta^{-1}w)(x) + \frac{(x - X(t))^\perp}{2\pi |x - X(t)|^2}, $$

其中 $y^\perp = (-y_2, y_1)$. 由于点涡速度场在 $x = X(t)$ 处存在奇异性, 直接对 Dirac 测度应用输运方程是不合适的. 然而, 由于点涡自身的旋转对称性不会导致其位置变化, 因此涡波系统的演化方程被重新解释为:

$$ \begin{cases} \partial_t w + (u \cdot \nabla)w = 0, \\ u = \nabla^\perp \Delta^{-1}w + \frac{(x - X(t))^\perp}{2\pi |x - X(t)|^2}, \\ \frac{d}{dt}X(t) = (\nabla^\perp \Delta^{-1}w)(X(t)). \end{cases} $$

尽管进行了上述修正, 这类数据仍然过于奇异, 无法纳入二维欧拉方程通常的良好适定性框架中. 虽然 Marchioro 和 Pulvirenti 已经证明了当初始数据 $w_0 \in L^1 \cap L^\infty$ 时弱解的存在性, 但唯一性问题却是一个极其困难且很大程度上尚未解决的问题. 事实上, 几乎所有现有的二维欧拉方程唯一性证明都要求速度场满足对数-Lipschitz 条件, 而在此问题中, 由于点涡的存在, 速度场并不满足这一条件.

已有结果表明, 如果初始涡度 $w_0$ 在点涡附近的邻域内是常数, 那么这一性质在全时间尺度上得以保持, 并且可以保证解的唯一性. 这是因为在这种特殊情况下, 速度场在涡度非恒定区域的邻域内是对数-Lipschitz 的. 本文的目标是改进这一结果, 证明即使涡度在点涡附近不是常数, 只要它收敛到常数的速度足够快, 唯一性依然成立. 具体来说, 假设初始涡度满足如下条件: 存在某个 $\alpha > 2$, 使得

$$ \limsup_{x \to X(0)} \frac{|w_0(x) - w_0(X(0))|}{|x - X(0)|^\alpha} < \infty. $$

这一条件包含了 $w_0$ 在 $X(0)$ 附近为常数的特殊情况.

2. 主要定理或主要结果

本文的主要结果是 Theorem 1.1. 假设给定点涡初始位置 $X(0) \in \mathbb{R}^2$, 以及具有紧支集的初始涡度 $w_0 \in L^\infty(\mathbb{R}^2)$, 且满足假设 (1.3), 即存在 $\alpha > 2$ 使得

$$ \limsup_{x \to X(0)} \frac{|w_0(x) - w_0(X(0))|}{|x - X(0)|^\alpha} < \infty. $$

则对应于该初始数据的涡波系统解 $w \in L^\infty([0, \infty), L^1(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2))$ 是唯一的全时间解.

这里, 紧支集的假设只是为了简化证明, 作者指出对于 $w_0 \in L^1 \cap L^\infty$ 也可以证明相同的结果, 只需进行一些额外的计算. 此外, 作者在原则上认为, 该方法也可以推广到多个点涡或具有足够正则边界的情况, 前提是点涡之间或点涡与边界之间没有碰撞.

为了建立唯一性, 作者首先证明了关键假设 (1.3) 在演化过程中得以保持. Lemma 2.2 表明, 如果初始数据 $\varpi_0$ 满足 (1.3), 那么存在仅依赖于 $\|| \cdot |^{-\alpha}(\varpi_0(\cdot) - \varpi_0(0))\|_{L^\infty}$ 和 $\|\varpi_0\|_{L^1 \cap L^\infty}$ 的常数 $C$, 使得每个解 $\varpi$ 都满足:

$$ \|| \cdot |^{-\alpha}(\varpi_t(\cdot) - \varpi_t(0))\|_{L^\infty(\mathbb{R}^2)} \le C e^{C e^{Ct}}, $$

以及

$$ \|| \cdot |^{-1}(v_t(\cdot) - v_t(0))\|_{L^\infty(\mathbb{R}^2)} \le C e^{Ct}, $$

其中 $v_t = \nabla^\perp \Delta^{-1}\varpi_t$. 这些估计确保了在演化过程中, 涡度在点涡附近的局部行为始终受控, 从而允许将短时间内的唯一性结果迭代以得到全局唯一性.

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

证明的核心障碍在于, 传统的唯一性证明依赖于速度场的 Lipschitz 或对数-Lipschitz 连续性来控制两个不同解的流动映射之间的距离. 然而, 在涡波系统中, 由于点涡引起的速度奇异性, 速度场既不满足 Lipschitz 也不满足对数-Lipschitz 条件. 为了克服这一困难, 作者采用了一种更严格的度量, 在该度量下点涡的速度几乎表现为 Lipschitz.

具体而言, 作者通过坐标变换 $x \to x - X(t)$ 将方程重写为以点涡为中心的参考系中的形式:

$$ \begin{cases} \partial_t \varpi_t + (\bar{u}_t \cdot \nabla)\varpi_t = 0, \\ \bar{u}_t(x) = v_t(x) - v_t(0) + \frac{x^\perp}{2\pi|x|^2}, \\ v_t = \nabla^\perp \Delta^{-1}\varpi_t. \end{cases} $$

然后定义了一个新的度量 $m(x, y)$:

$$ m(x, y) := \max(|x|, |y|)|x^\theta - y^\theta| + \max(|x|, |y|)^{-2}\big||x| - |y|\big|, $$

其中 $x^\theta$ 和 $y^\theta$ 是极角. 在这个度量下, 点涡速度的对称梯度是有界的, 这足以控制轨迹的发散.

然而, 剩余的速度部分 $v_t - v_t(0)$ 在这个度量下并不是 Lipschitz 或对数-Lipschitz 的. 为了解决这个问题, 作者引入了一个依赖于 $\varpi_t$ 的调制距离 $d(t, x)$, 它与 $m(x, y)$ 等价, 但在流动下的相关时间导数要小得多. 具体地, $d(t, x)$ 定义为:

$$ d(t, x) := \exp(2\pi \Psi(t, x)), $$

其中 $\Psi(t, x)$ 是 $\bar{u}_t$ 的流函数. 这个构造的关键性质是 $\bar{u}_t(x) \perp \nabla_x d(t, x)$, 这意味着沿着流动方向, $d(t, x)$ 的变化主要由其自身的时间导数决定, 而不是由空间导数决定.

作者进一步证明了 $d(t, x)$ 与 $|x|$ 之间的关系, 特别是:

$$ \left|\frac{d}{dt}d(t, x)\right| \lesssim |x|^3, $$

这在假设 (1.3) 成立时是关键的技术引理. 这使得即使在 $\frac{d}{dt}m(X_t(x), X_t(y))$ 无界的情况下, 仍然有 $m(X_t(x), X_t(y)) \lesssim |x-y|e^{-Ct}$, 从而流动表现得好像其速度相对于度量 $m$ 是对数-Lipschitz 的.

最后, 作者定义了一个能量泛函 $E_t$, 它是加权 $L^2$ 范数, 并证明了 Gronwall 不等式:

$$ \frac{d}{dt}E_t \lesssim E_t \log\left(2 + \frac{1}{E_t}\right). $$

结合 Gronwall 引理, 这导致了 $E_t = 0$, 从而证明了唯一性.

4. 与之前工作的比较

本文与以往工作的主要区别在于, 它放宽了对初始涡度在点涡附近必须为常数的限制. 之前的工作 [23, 36] 证明了如果初始涡度 $w_0$ 在点涡附近的邻域内是常数, 那么解是唯一的全时间解. 这是因为在这种情况下, 速度场在涡度非恒定区域的邻域内是对数-Lipschitz 的, 从而可以直接应用经典的唯一性证明技术.

相比之下, 本文允许涡度在点涡附近是非恒定的, 只要它收敛到常数的速度足够快, 即满足 $\alpha > 2$ 的条件. 这是一个显著的理论推进, 因为它涵盖了更广泛的物理场景, 其中涡度在点涡附近可能平滑变化而非严格恒定.

然而, 这种推进是有代价的. 作者需要开发新的分析工具来处理速度场在对数-Lipschitz 意义下的失效. 特别是, 引入调制距离 $d(t, x)$ 和相应的能量泛函 $E_t$ 是本文的技术核心. 这些工具的复杂性远高于经典方法, 并且依赖于对涡度局部行为的精细估计.

此外, 作者指出, 当前的分析限制了 $\alpha > 2$, 而理想的情况是能够将其放宽到 $\alpha \ge 1$, 这将适用于任何 Lipschitz 连续的初始涡度. 作者相信这是可能的, 但需要利用更复杂的抵消效应, 特别是在处理点涡附近高速旋转粒子对调制距离时间导数的贡献时. 这表明当前结果虽然重要, 但仍有进一步改进的空间.

6. 旋转磁流体力学方程全局解的改进衰减估计

Refined decay estimates for global solutions to the rotating MHD equations

作者: Mikihiro Fujii, Yang Li

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29794v1

摘要翻译: 在本文中，我们研究三维全空间中带有科里奥利力的不可压缩磁流体力学方程的柯西问题。对于大初值，已知当旋转速度足够快时，该柯西问题在临界 Sobolev 空间 $\dot{H}^{1/2}(\mathbb{R}^3)$ 中存在唯一的全局解。通过运用精细的色散估计，我们给出了速度场和磁场改进的衰减估计。这些衰减率显著优于 Kim [\emph{J. Differential Equations.}, 2022] 在亚临界 Sobolev 框架 $H^s(\mathbb{R}^3)$（其中 $1/2<s<3/2$）中得到的结果。

Comment: 无

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

1. 研究对象和背景

本文研究三维全空间 $\mathbb{R}^3$ 中带有科里奥利力（Coriolis force）的不可压缩磁流体力学（MHD）方程的柯西问题。该方程组描述了流体速度场 $u(t, x)$ 和磁场 $B(t, x)$ 在快速旋转背景下的演化，其数学形式如下：

$$ \begin{cases} \partial_t u - \Delta u + \Omega e_3 \times u + (u \cdot \nabla)u - (B \cdot \nabla)B + \nabla P = 0, \\ \partial_t B - \Delta B + (u \cdot \nabla)B - (B \cdot \nabla)u = 0, \\ \text{div } u = \text{div } B = 0, \end{cases} $$

其中 $e_3 = (0, 0, 1)$ 是旋转轴方向，$\Omega \in \mathbb{R}$ 表示旋转速度。由于科里奥利项 $\Omega e_3 \times u$ 的存在，该系统表现出强烈的色散效应。当 $|\Omega|$ 足够大时，这种色散效应能够显著增强解的衰减性质。

关于该系统的适定性已有诸多研究。对于小初值，Abidin 和 Chen [1] 在 Fourier-Besov 空间中证明了全局适定性；Ahn 等人 [2] 则在大初值且 $|\Omega|$ 足够大的情况下，在亚临界 Sobolev 空间 $H^s(\mathbb{R}^3)$ ($1/2 < s < 3/4$) 中证明了全局适定性。Kim [18] 进一步将适用范围扩展至 $1/2 < s < 3/2$，并在假设初值属于 $L^1$ 的情况下，得到了速度场和磁场在 $L^q$ 范数中的衰减估计。具体而言，Kim 证明了当 $2 \le q < 3$ 时，速度场满足 $ \|u(t)\|_{L^q} \le C t^{-\frac{3}{2}(1-\frac{1}{q})} (|\Omega|t)^{-(1-\frac{2}{q})}$，而磁场满足 $ \|B(t)\|_{L^q} \le C t^{-\frac{3}{2}(1-\frac{1}{q})}$。近期，Takada 和 Yoneda [25] 在临界 Sobolev 空间 $\dot{H}^{1/2}(\mathbb{R}^3)$ 中证明了大初值问题的全局适定性。

然而，现有的衰减估计存在两个主要局限：第一，Kim 的结果仅适用于有限的指数范围 $2 \le q < 3$；第二，速度场的衰减率 $(|\Omega|t)^{-(1-\frac{2}{q})}$ 可能并非最优，特别是在 $p=4$ 附近可能存在对数修正或更优的代数衰减。此外，磁场的衰减是否能在 $L^1$ 假设下比热扩散主导的速率 $t^{-\frac{3}{2}(1-\frac{1}{q})}$ 更快（即具有额外的 $o(1)$ 因子），也是一个值得探究的问题。本文旨在利用精细的色散估计，改进 Kim 得到的衰减率，并将结果推广到所有 $2 \le p \le \infty$ 的范围，同时探讨在更强初值可积性假设下的增强衰减。

2. 主要定理或主要结果

本文的主要结果集中在两个定理上，分别给出了全局解在不同初值假设下的 $L^p$ 衰减估计。

定理 1.1 处理临界 Sobolev 正则性下的基本衰减。设 $2 \le p \le \infty$ 且 $\ell \in \mathbb{N} \cup \{0\}$。若初值 $u_0, B_0 \in \dot{H}^{1/2}(\mathbb{R}^3) \cap L^1(\mathbb{R}^3)$ 满足无散度条件，则存在常数 $\Omega_0 > 0$，使得当 $|\Omega| \ge \Omega_0$ 时，方程组存在唯一全局解。该解满足以下衰减估计： 对于速度场 $u(t)$：

$$ \|\nabla^\ell u(t)\|_{L^p} = \begin{cases} o\left(t^{-\frac{3}{2}(1-\frac{1}{p}) - \frac{\ell}{2}} (1+|\Omega|t)^{-\frac{3}{2}(1-\frac{2}{p})}\right), & 2 \le p < 4, \\ o\left(t^{-\frac{3}{2}(1-\frac{1}{4}) - \frac{\ell}{2}} (1+|\Omega|t)^{-\frac{3}{4}} (\log(e+|\Omega|t))^{\frac{1}{4}}\right), & p = 4, \\ o\left(t^{-\frac{3}{2}(1-\frac{1}{p}) - \frac{\ell}{2}} (1+|\Omega|t)^{-(1-\frac{1}{p})}\right), & 4 < p \le \infty. \end{cases} $$

对于磁场 $B(t)$：

$$ \|\nabla^\ell B(t)\|_{L^p} = o\left(t^{-\frac{3}{2}(1-\frac{1}{p}) - \frac{\ell}{2}}\right) \quad \text{as } t \to \infty. $$

这里的关键改进在于：(1) 速度场的衰减率在 $p=4$ 处出现了显式的对数修正项 $(\log(e+|\Omega|t))^{1/4}$，而在其他区间保持了与 $D_p(|\Omega|t)$ 相关的代数衰减；(2) 磁场的衰减虽然形式上与纯热扩散相同，但带有 $o(1)$ 因子，表明其衰减严格快于 $t^{-\frac{3}{2}(1-\frac{1}{p}) - \frac{\ell}{2}}$。

定理 1.3 考虑了更强的初值可积性假设。若额外假设 $|x|u_0(x), |x|B_0(x) \in L^1(\mathbb{R}^3)$，则解满足“半阶增强”衰减估计。具体地，对于 $2 \le p \le \infty$：

$$ \|\nabla^\ell u(t)\|_{L^p} \le \begin{cases} C t^{-\frac{3}{2}(1-\frac{1}{p}) - \ell + \frac{1}{2}} (1+|\Omega|t)^{-\frac{3}{2}(1-\frac{2}{p})}, & 2 \le p < 4, \\ C t^{-\frac{3}{2}(1-\frac{1}{4}) - \ell + \frac{1}{2}} (1+|\Omega|t)^{-\frac{3}{4}} (\log(e+|\Omega|t))^{\frac{1}{4}}, & p = 4, \\ C t^{-\frac{3}{2}(1-\frac{1}{p}) - \ell + \frac{1}{2}} (1+|\Omega|t)^{-(1-\frac{1}{p})}, & 4 < p \le \infty. \end{cases} $$

$$ \|\nabla^\ell B(t)\|_{L^p} \le C t^{-\frac{3}{2}(1-\frac{1}{p}) - \ell + \frac{1}{2}}. $$

值得注意的是，在弱 Lebesgue 空间 $L^{4,\infty}$ 框架下，$p=4$ 时的对数修正可以被消除，得到更干净的代数衰减：

$$ \|\nabla^\ell u(t)\|_{L^{4,\infty}} \le C t^{-\frac{3}{2}(1-\frac{1}{4}) - \ell + \frac{1}{2}} (1+|\Omega|t)^{-\frac{3}{4}}. $$

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

证明的核心技术障碍在于如何处理非线性项 $N_{vel}^\Omega[B]$ 和 $N_{mag}[u,B]$ 在高阶导数和极端 $L^p$ 范数下的贡献，特别是当 $p$ 接近 4 或无穷大时，标准的能量方法无法捕捉到由科里奥利力引起的精细色散结构。

  1. 线性色散估计的精细化：作者首先回顾了线性化方程的解算子 $T_\Omega(t)$。关键工具是定义了一个依赖于频率参数 $\tau = |\Omega|t$ 的衰减函数 $D_p(\tau)$：

    $$ D_p(\tau) := \begin{cases} (1+|\tau|)^{-\frac{3}{2}(1-\frac{2}{p})}, & 2 \le p < 4, \\ (1+|\tau|)^{-\frac{3}{4}} (\log(e+|\tau|))^{\frac{1}{4}}, & p = 4, \\ (1+|\tau|)^{-(1-\frac{1}{p})}, & 4 < p \le \infty. \end{cases} $$

    这一分类反映了色散效应在不同 $L^p$ 尺度上的不同表现。引理 3.1 引用了 Fujii 等人 [14] 的最新工作，提供了 $T_\Omega(t)$ 在 $L^p$ 和 $L^{4,\infty}$ 中的精细衰减估计。特别是，在 $p=4$ 处的对数修正项来源于振荡积分的渐近分析，这是获得优于 Kim 结果的关键。

  2. 非线性项的时间分割与 Besov 插值：在估计非线性项 $N_{vel}^\Omega[B](t) = \int_0^t T_\Omega(t-\tau) P \text{div}(B \otimes B)(\tau) d\tau$ 时，作者将其分为两部分：$[0, t/2]$ 和 $[t/2, t]$。对于第一部分，直接利用线性核的衰减性和 $B$ 的 $L^2$ 可积性即可得到所需估计。难点在于第二部分，此时 $t-\tau$ 较小，色散效应较弱，需要更细致的分析。作者利用了 Besov 空间的乘积估计（引理 2.2）和实插值不等式（引理 2.1），将 $B \otimes B$ 在低阶 Besov 空间中的范数控制起来。具体地，通过结合 $B$ 的 $L^2$ 衰减率和更高阶导数的 $L^2$ 衰减率，作者成功地将积分收敛性与 $D_p(|\Omega|t)$ 联系起来。对于 $p=\infty$ 的情况，还需要处理对数发散项，这通过引理 2.5 中关于 $\int_0^t D_p(|\Omega|s) ds$ 的估计得以解决。

  3. Bootstrap 论证与一致性：为了闭合估计，作者引入了一个加权范数 $\|u\|_{X_{\ell, p}^\Omega(t)}$，并验证了解在该范数下的有界性。这种 Bootstrap 方法确保了非线性项不会破坏由线性部分主导的衰减率。特别地，在处理 $L^\infty$ 估计时，作者利用了 $p=4$ 时的中间结果来控制高阶非线性项，从而实现了从 $L^p$ ($p<\infty$) 到 $L^\infty$ 的自然过渡。

  4. 磁场衰减的推导：磁场的衰减估计依赖于速度场的衰减。通过将 $N_{mag}[u,B]$ 分解并利用速度场在 $L^p$ 中的精细衰减（特别是 $p=4$ 附近的对数项），作者证明了磁场同样具有 $o(1)$ 型的改进衰减。在增强衰减定理中，利用 $|x|u_0, |x|B_0 \in L^1$ 的条件，线性部分的衰减率提升了 $1/2$ 阶，进而带动非线性项的提升，最终得到整体解的 $1/2$ 阶增强衰减。

4. 与之前工作的比较

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

  1. 衰减率的改进：Kim [18] 在亚临界 Sobolev 框架下证明了速度场在 $L^q$ ($2 \le q < 3$) 中的衰减率为 $O(t^{-\frac{3}{2}(1-\frac{1}{q})} (|\Omega|t)^{-(1-\frac{2}{q})})$。本文不仅将该结果推广到了所有 $2 \le p \le \infty$，更重要的是，通过引入 $D_p(|\Omega|t)$ 函数，揭示了 $p=4$ 处的对数修正行为。Kim 的结果在 $p=4$ 处并未区分对数因子，而本文明确指出在 $L^4$ 中存在 $(\log(e+|\Omega|t))^{1/4}$ 的修正，这在 $L^{4,\infty}$ 空间中甚至可以被消除。这种精细的结构分析是 Kim 的工作所不具备的。

  2. 磁场的衰减性质：Kim [18] 给出的磁场衰减为 $O(t^{-\frac{3}{2}(1-\frac{1}{q})})$。本文在 $L^1$ 初值假设下，证明了磁场衰减实际上带有 $o(1)$ 因子，即 $ \|B(t)\|_{L^p} = o(t^{-\frac{3}{2}(1-\frac{1}{p}) - \frac{\ell}{2}})$。这表明尽管磁场方程本身不包含科里奥利项，但通过与速度场的耦合，磁场的长期行为仍受到旋转效应的间接影响，导致其衰减略快于纯热扩散预测。这是一个微妙但重要的物理洞察。

  3. 函数空间范围的扩展：Kim 的结果局限于 $1/2 < s < 3/2$ 的亚临界 Sobolev 空间，且 $q$ 的范围受限。本文基于 Takada 和 Yoneda [25] 在临界空间 $\dot{H}^{1/2}$ 中的适定性结果，将衰减估计建立在更自然的临界正则性框架上。此外，本文涵盖了 $p=\infty$ 的情形，这对于理解解的点态行为至关重要，而 Kim 的工作主要关注有限 $q$。

  4. 增强衰减的发现：类似于旋转 Navier-Stokes 方程的研究 [14]，本文证明了在 $|x|u_0, |x|B_0 \in L^1$ 的额外假设下，解具有 $1/2$ 阶的增强衰减。这一结果在 MHD 方程的背景下是新的，并且展示了旋转 MHD 系统与经典 MHD 系统在长期衰减行为上的本质差异。经典 MHD 方程通常只给出标准的热扩散衰减，而旋转 MHD 方程由于色散效应，能够支持更快的衰减。

总体而言，本文通过精细的色散分析和非线性估计技巧，填补了旋转 MHD 方程大初值全局解长期衰减理论中的空白，提供了比先前工作更精确、更全面的衰减描述。

7. Boussinesq方程与行星地转近似的全局解

Global solutions to the Boussinesq equations and the planetary geostrophic approximation

作者: Ryan Budahazy, Xin Liu

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29417v1

摘要翻译: 我们研究行星地转尺度下的三维 Boussinesq 方程，其中由浮力/重力驱动的大水平空间尺度流动接近地转平衡。通过建立关于特征数的均匀估计，我们能够获得 Boussinesq 方程的全局弱解和唯一全局强解，且对初始数据没有施加限制。此外，令特征数趋于零并利用已建立的紧致性，严格证明了 Boussinesq 方程的行星地转近似的合理性。我们采用新颖的无浮力流动分解来克服由浮力/重力引起的奇异性。

Comment: 20 pages, to be submitted to SIAM Journal on Mathematical Analysis, accepted in SIAM TXLA 2026

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

1. 研究对象和背景

本文研究三维 Boussinesq 方程在行星地转尺度下的渐近动力学行为。Boussinesq 方程是描述大气和海洋中浮力驱动流动的经典模型，其非维数化形式如下：

$$ \begin{cases} \partial_t v + v \cdot \nabla_h v + w \partial_z v + \frac{1}{\varepsilon^\alpha}(\nabla_h p + f v^\perp - \Delta v) = 0, \\ \partial_t w + v \cdot \nabla_h w + w \partial_z w + \frac{1}{\varepsilon^{\alpha+2}}(\partial_z p + T) - \frac{1}{\varepsilon^\alpha} \Delta w = 0, \\ \nabla_h \cdot v + \partial_z w = 0, \\ \partial_t T + v \cdot \nabla_h T + w \partial_z T - \Delta T = Q. \end{cases} $$

其中 $\varepsilon$ 是一个小参数，代表特征尺度比，$\alpha$ 是缩放指数。当 $\varepsilon \to 0$ 时，系统趋向于行星地转方程（Planetary Geostrophic Equations, PGE），其形式为：

$$ \begin{cases} \nabla_h p_p + f v_p^\perp - \Delta v_p = 0, \\ \partial_z p_p + T_p = 0, \\ \nabla_h \cdot v_p + \partial_z w_p = 0, \\ \partial_t T_p + v_p \cdot \nabla_h T_p + w_p \partial_z T_p - \Delta T_p = Q. \end{cases} $$

该问题的重要性在于，PGE 结合了静水近似和地转平衡，是理解大尺度大气和海洋流动的关键简化模型。然而，从 Boussinesq 方程到 PGE 的极限过程涉及奇异极限，因为浮力/重力项 $T$ 在 $\varepsilon \to 0$ 时表现出奇异性，而粘性项提供强稳定性。主要挑战在于找到这两种效应之间的平衡。

已有理论背景包括：对于原始方程（Primitive Equations, PE）和准地转方程（Quasi-Geostrophic Equations, QGE），已建立全局弱解和强解的存在唯一性理论。例如，Cao 和 Titi [11] 证明了 PGE 的全局弱解唯一性和全局强解的存在唯一性。然而，对于完整的 Boussinesq 方程，由于非线性平流项的存在，弱解的唯一性尚未解决，且局部强解的存在时间依赖于 $\varepsilon$。因此，如何在无初始数据限制的情况下获得关于 $\varepsilon$ 一致的全局估计，并严格证明 $\varepsilon \to 0$ 的极限过程，是本领域的一个重要空白。

2. 主要定理或主要结果

本文的主要结果包括以下三个定理：

定理 1.1 (全局一致稳定性)：假设初始数据 $(v_0, w_0, T_0) \in L^2(T^3)$，$T_0 \in L^\infty(T^3)$，热源 $Q \in L^1(0, \infty; L^\infty(T^3)) \cap L^2(0, \infty; L^2(T^3))$。则存在 $0 < \varepsilon_0 < 1$，使得对所有 $\varepsilon < \varepsilon_0$，Boussinesq 方程存在全局弱解，满足：

$$ \sup_{0 \le t < \infty} \left( \|v(t), \varepsilon w(t), T(t)\|_2^2 + \|T(t)\|_\infty^2 \right) + \int_0^\infty \left( \|v(t), \varepsilon w(t), T(t)\|_{H^1}^2 + \|w(t)\|_2^2 \right) dt < \infty, $$

且该估计关于 $\varepsilon$ 一致成立。

定理 1.2 (行星地转近似)：固定 $T \in (0, \infty)$，在定理 1.1 的条件下，选取子列 $\varepsilon \to 0$，有 $(v, w, T) \to (v_p, w_p, T_p)$，其中 $(v_p, w_p, T_p)$ 是 PGE 的全局弱解，且满足：

$$ v_p \in L^\infty(0, T; L^2(T^3)) \cap L^2(0, T; H^2(T^3)), \\ w_p, T_p \in L^\infty(0, T; L^2(T^3)) \cap L^2(0, T; H^1(T^3)). $$

定理 1.3 (全局强解)：若初始数据 $(v_0, w_0, T_0) \in H^1(T^3)$，则存在 $0 < \varepsilon_1 < \varepsilon_0$，使得对所有 $\varepsilon < \varepsilon_1$，Boussinesq 方程存在唯一的全局强解，满足：

$$ \sup_{0 \le t < \infty} \left( \|v(t), \varepsilon w(t), T(t)\|_{H^1}^2 + \|w(t)\|_2^2 \right) + \int_0^\infty \left( \|v(t), \varepsilon w(t), T(t)\|_{H^2}^2 + \|w(t)\|_{H^1}^2 \right) dt < \infty, $$

且该估计关于 $\varepsilon$ 一致成立。

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

本文的核心创新点在于引入了“浮力流-自由流分解”（Buoyancy Flow-Free Flow Decomposition）来克服由浮力/重力引起的奇异性。具体步骤如下：

  1. 浮力流-自由流分解：将速度场 $(v, w, p)$ 分解为浮力流 $(v_T, w_T, p_T)$ 和自由流 $(v_F, w_F, p_F)$：

    $$ (v, w, p) = (v_T, w_T, p_T) + (v_F, w_F, p_F). $$

    浮力流满足线性椭圆系统：

    $$ \begin{cases} \nabla_h p_T + v_T^\perp - \Delta v_T = 0, \\ \partial_z p_T + T = 0, \\ \nabla_h \cdot v_T + \partial_z w_T = 0. \end{cases} $$

    自由流满足修正后的 Boussinesq 方程，其中浮力项被移至右端作为源项。

  2. 浮力映射估计：通过线性椭圆估计，证明了浮力映射 $T \mapsto (v_T, w_T, p_T)$ 的正则性。例如，对于 $s \ge -1$，有：

    $$ \|w_T\|_{H^s} \lesssim \|v_T\|_{H^{s+1}} \lesssim \|T\|_{H^s}, $$

    以及时间导数的类似估计。这些估计确保了浮力流的正则性与温度场一致。

  3. 自由流能量估计：对自由流进行能量估计，利用浮力流的正则性控制右端的源项。关键步骤包括：

    • 使用 Hölder 不等式和 Poincaré 不等式控制非线性项。
    • 利用 Gagliardo-Nirenberg 不等式处理高阶导数项。
    • 通过 Young 不等式吸收耗散项，确保估计的一致性。

  4. 紧性与极限过程：利用一致估计和紧性引理，证明当 $\varepsilon \to 0$ 时，Boussinesq 方程的解收敛到 PGE 的解。这一步骤严格验证了行星地转近似的合理性。

4. 与之前工作的比较

与已有工作相比，本文的主要推进体现在以下几个方面：

  1. 无初始数据限制：不同于之前要求初始数据“良好准备”（well-prepared）的工作（如 Bourgeois 和 Beale [5]），本文允许任意初始数据，只要满足基本的正则性条件。这使得结果更具普适性。

  2. 全局一致估计：本文建立了关于 $\varepsilon$ 一致的全局估计，而之前的工作通常只能得到局部估计或依赖于 $\varepsilon$ 的估计。这一进展使得 $\varepsilon \to 0$ 的极限过程得以严格证明。

  3. 强解的唯一性：尽管三维 Boussinesq 方程的弱解唯一性仍未解决，本文利用极限动力学，证明了当 $\varepsilon$ 足够小时，Boussinesq 方程存在唯一的全局强解。这构造了一个大的唯一解类，填补了该领域的空白。

  4. 方法创新：引入的“浮力流-自由流分解”是一种新颖的技术工具，有效分离了奇异性和稳定性效应。这种方法可能为其他奇异极限问题提供借鉴。

局限性方面，本文的结果依赖于周期性边界条件和常 Coriolis 力假设。对于更一般的边界条件或非均匀 Coriolis 力，仍需进一步研究。

8. 五维定常 Navier-Stokes 流的临界 Morrey 刚性定理与可去奇点

Critical Morrey Rigidity and Removable Singularities for Five-Dimensional Stationary Navier-Stokes Flows

作者: Yubo Chen, Wendong Wang, Xiao Wang, Guoxu Yang, Jianbo Yu

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29664v1

摘要翻译: 我们证明了五维定常 Navier–Stokes 方程的一个临界 Morrey 刚性定理。更具体地，$ig(\mathbb R^5\setminus\{0\}\big)$ 上的每个光滑解若满足

Comment: 无

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

1. 研究对象和背景

本文研究五维空间中的稳态不可压 Navier-Stokes 方程组：

$$ \begin{cases} -\Delta \mathbf{u} + (\mathbf{u} \cdot \nabla) \mathbf{u} + \nabla p = 0, \\ \operatorname{div} \mathbf{u} = 0 \end{cases} \quad \text{in } G \subset \mathbb{R}^5. $$

其中 $\mathbf{u}: G \to \mathbb{R}^5$ 是速度场，$p: G \to \mathbb{R}$ 是压力。该方程组的能量尺度在变换 $\mathbf{u}_r(x) = r\mathbf{u}(rx)$ 和 $p_r(x) = r^2 p(rx)$ 下保持不变。具体而言，尺度不变的能量量定义为：

$$ E_5(x_0, r) := r^{-1} \int_{B_r(x_0)} |\nabla \mathbf{u}|^2 dx. $$

类似地，定义速度的三次 Morrey 范数和压力的 $3/2$ 次 Morrey 范数为：

$$ C_5(r) := r^{-2} \int_{B_r} |\mathbf{u}|^3 dx, \quad D_5(r) := r^{-2} \int_{B_r} |p|^{3/2} dx. $$

在偏微分方程的正则性理论中，Scheffer 和 Caffarelli-Kohn-Nirenberg (CKN) 建立了三维非稳态问题的部分正则性理论，证明了奇异集的抛物 Hausdorff 测度为一维零。对于高维稳态问题，Struwe 在五维情况下证明了若极限上确界 $\limsup_{r \downarrow 0} E_5(x_0, r) < \varepsilon_0$（即小性条件），则在 $x_0$ 处正则。然而，现有的大多数正则性判据（包括 Cui 的五维单尺度判据）都依赖于某种形式的小性假设（smallness assumption）。本文旨在突破这一限制，在孤立奇点类中，将小性假设放宽为有界性假设（boundedness criterion）。

特别地，关于尺度不变解的刚性定理（Liouville 型定理），Bang-Gui-Liu-Wang-Xie 之前证明了：若 $n \ge 4$，且光滑解满足逐点 Type-I 控制 $|U(x)| \le C|x|^{-1}$，则解恒为零。但是，逐点控制排除了解在薄环面上的集中现象。本文引入仅依赖速度的积分型 Morrey 条件：

$$ M_3(U) := \sup_{R>0} R^{3-n} \int_{B_R} |U|^3 dx < \infty. $$

这一条件允许空间上的集中，因此无法直接应用基于逐点导数估计的经典方法。此外，在仅有 Morrey 范数控制的情况下，压力 $p$ 的逐点迹（normal trace）可能不存在，这使得传统利用边界通量进行能量估计的方法失效。本文试图填补的空白是：如何在缺乏逐点控制和经典边界迹的情况下，证明五维稳态 Navier-Stokes 方程的刚性定理，并由此推导孤立奇点的可去性。

2. 主要定理或主要结果

本文的主要结果包括以下三个核心定理：

定理 1.1 (五维孤立奇点的可去性): 设 $(\mathbf{u}, p)$ 是 $B_1 \subset \mathbb{R}^5$ 中稳态 Navier-Stokes 方程的合适弱解（suitable weak solution），且在 $B_1 \setminus \{0\}$ 上光滑。假设存在 $r_0 \in (0, 1)$ 使得以下至少一个条件成立：

  1. $\sup_{0<r<r_0} E_5(r) < \infty$；
  2. $\sup_{0<r<r_0} C_5(r) < \infty$。 则原点是正则点，从而 $(\mathbf{u}, p)$ 在 $B_1$ 上光滑。

定理 1.4 (五维速度-only 临界 Morrey 刚性定理): 设 $(U, P_0) \in C^\infty(\mathbb{R}^5 \setminus \{0\}; \mathbb{R}^5 \times \mathbb{R})$ 是方程组的光滑解，且仅假设速度满足 $M_3(U) < \infty$。则 $U \equiv 0$，且 $P_0 \equiv c$ 为常数。更精确地，存在唯一常数 $c$ 使得规范压力 $P^\sharp := P_0 - c$ 满足：

$$ \sup_{R>0} R^{-2} \int_{B_R} |P^\sharp|^{3/2} dx \le C M_3(U), $$

且在此规范下 $U = P^\sharp = 0$。

定理 1.11 (四维速度-only 临界 Morrey 刚性定理): 设 $(U, P_0) \in C^\infty(\mathbb{R}^4 \setminus \{0\}; \mathbb{R}^4 \times \mathbb{R})$ 是四维稳态 Navier-Stokes 方程的光滑解，且仅假设速度满足：

$$ M_{3,4}(U) = \sup_{R>0} R^{-1} \int_{B_R} |U|^3 dx < \infty. $$

则 $U = 0$ 且 $P_0 = c$ 为常数。其规范压力 $P^\sharp$ 满足相应的 Morrey 有界性且恒为零。

此外，文章还证明了两个关键命题作为刚性定理的基础： 命题 1.9: 若全局合适弱解满足 $M(U, P) < \infty$ 且具有重归一化头压力性质（RHP），则头压力 $H = \frac{1}{2}|U|^2 + P \le 0$ 几乎处处成立。 命题 1.10: 若全局合适弱解满足 $M(U, P) < \infty$ 且 $H \le 0$ 几乎处处成立，则 $U = P = 0$。

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

证明的核心障碍在于：在仅有速度三次 Morrey 范数有界的条件下，无法获得压力的逐点估计或球面法向导数的经典迹。传统的刚性证明（如 Bang et al. [1]）依赖于头压力 $H$ 的逐点衰减 $|H(x)| \lesssim |x|^{-2}$ 及其梯度估计，进而控制边界通量。但在 Morrey 框架下，这些逐点工具失效。

作者的创新点主要体现为一种“弱头压力机制”（weak head-pressure mechanism），具体包含以下四个关键技术步骤：

  1. 重归一化头压力不等式 (Renormalized Head-Pressure Property, RHP): 定义 $W = H_+^{3/4}$，其中 $H_+ = \max(H, 0)$。对于光滑解，通过凸正部近似推导出分布意义下的不等式：

    $$ \operatorname{div}\left(\frac{4}{3}W\nabla W - \frac{2}{3}\mathbf{U}W^2\right) \ge \frac{8}{9}|\nabla W|^2. $$

    这一结构允许在不使用逐点估计的情况下处理非线性项。

  2. 单调径向通量 $\Xi_1$ 与环带 Caccioppoli 估计: 定义分布意义下的通量 $\Xi_1(R) = \int_{\partial B_R} \left(\frac{4}{3}W\nabla W - \frac{2}{3}\mathbf{U}W^2\right) \cdot e_r dS$。由于缺乏经典法向迹，作者利用环带（annulus）上的测试函数结合 Hölder 不等式和五维环带 Gagliardo-Nirenberg 不等式，对临界项进行吸收。通过“填洞迭代”（hole-filling iteration），获得了 $\nabla W$ 的一致环带 $L^2$ 界以及 $\Xi_1$ 的平均界。单调性随后给出全局能量界，并通过 Sobolev 嵌入得到 $W \in L^{10/3}$，最终迫使端点通量消失，从而证明 $H \le 0$。

  3. 单调径向缺陷通量 $\Xi_2$ 与切线流分类: 在 $H \le 0$ 的基础上，考虑精确恒等式：

    $$ \Xi_2(R_1) - \Xi_2(R_2) = \int_{B_{R_2} \setminus B_{R_1}} \frac{3U_r^2 - 2H}{|x|^3} dx, $$

    其中 $\Xi_2(R) = R^{-2} \int_{\partial B_R} (U_r^2 + P) dS$。由于被积函数非负，$\Xi_2$ 是单调的。Morrey 界仅提供二进平均估计，不能直接推出端点值为零。作者利用单调性得到有限端点极限，并通过原点处的 blow-up 和无穷远处的 blow-down 分析来识别这些极限。关键引理指出，任何零缺陷切线流必须是无旋、无散且切于球面的，因此在 $ \mathbb{R}^5$ 中只能是平凡解。弱压力收敛迫使端点通量消失，从而 $U=P=0$。

  4. 基于速度的压力重构 (Velocity-based Pressure Reconstruction): 附录 A 中，作者构造了唯一的规范压力 $P^\sharp$，它由 $U \otimes U$ 决定。局部部分由 Riesz 变换的 $L^{3/2}$ 有界性控制，远场部分利用速度 Morrey 界在二进环带上求和。这解决了压力加法常数的不确定性问题，使得刚性定理可以表述为“仅速度”（velocity-only）的形式。

4. 与之前工作的比较

本文与既有文献的主要区别体现在以下几个方面：

  1. 假设条件的弱化：从逐点 Type-I 到积分 Morrey 界。 Bang-Gui-Liu-Wang-Xie [1] 证明了 $n \ge 4$ 时，若光滑解满足逐点估计 $|U(x)| \le C|x|^{-1}$，则解恒为零。这种逐点控制排除了解在几何结构复杂区域（如薄环面）上的集中。相比之下，本文的 Theorem 1.4 仅要求 $M_3(U) < \infty$，这是一个尺度不变的积分条件，允许 $|U|$ 在某些尺度上出现尖峰，只要其体积平均受控。这使得结论适用于更广泛的解类，特别是那些可能具有奇异行为但整体能量有限的解。

  2. 技术路径的差异：从逐点边界估计到分布通量与环带平均。 前人工作 [1] 的核心工具是头压力 $H$ 的逐点梯度估计 $|\nabla^k H(x)| \le C_k |x|^{-k-2}$，这允许直接在球面 $\partial B_R$ 上计算通量。然而，在 Morrey 界下，$H$ 仅在 $L^{3/2}_{loc}$ 中，其法向导数甚至没有经典的球面迹。本文的创新在于引入了“弱头压力机制”，不再依赖固定球面上的迹，而是通过环带上的分布意义通量和平均估计来推导刚性。特别是，作者使用了环带 Caccioppoli 估计和单调通量的端点分析（blow-up/blow-down），这是一种全新的分析框架，用于处理缺乏逐点正则性的情况。

  3. 正则性判据的推进：从小性到有界性。 Struwe [26] 和 Cui [6] 等人的结果通常要求临界量（如 $E_5$ 或 $C_5$）在趋近奇点时趋于零或小于某个小常数 $\varepsilon$。本文的 Theorem 1.1 将这些条件放宽为仅需有界（boundedness）。即在孤立奇点类中，只要尺度不变量不爆炸，奇点即可去除。这在逻辑上是一个质的飞跃，因为它利用了全局刚性定理作为局部正则性的输入，而不仅仅是局部的迭代论证。

  4. 维度的适用范围与局限。 本文成功证明了 $n=5$ 和 $n=4$ 的情形。对于 $n \ge 6$，作者在 Remark 1.12 中指出，当前的立方 Morrey 方法无法推广，因为所需的 Sobolev 嵌入 $H^1(\mathbb{R}^n) \hookrightarrow L^{2n/(n-2)}(\mathbb{R}^n)$ 在 $n > 6$ 时无法达到 $L^3$ 的可积性要求，导致关键项无法吸收。因此，$n \ge 6$ 的情况仍然开放。这与 [1] 中 $n \ge 4$ 均成立的逐点方法形成了对比，显示了积分方法在高维面临的额外困难。

  5. 压力处理的本质不同。 在 [1] 中，逐点 Type-I 假设直接给出了压力的逐点衰减 $|P(x)| \lesssim |x|^{-2}$。而在本文中，由于缺乏逐点信息，必须通过附录 A 中的重构过程，从速度场显式地构造出一个满足特定 Morrey 界的规范压力 $P^\sharp$。这一步骤不仅是技术上的必要，也是概念上的创新，它将压力视为由速度决定的泛函，而非独立的未知量，从而实现了“仅速度”的刚性陈述。

9. 平板域中稳态Navier-Stokes方程解的唯一性与渐近行为

uniqueness and asymptotic behavior of the stationary Navier-Stokes equations in a slab

作者: Han Li, Jingwen Han

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29138v1

摘要翻译: 本文研究了带有无滑移边界条件的平板域中稳态Navier-Stokes方程解的唯一性与渐近行为。具体而言，在给定的外力及小Poiseuille流假设下，我们证明了存在一个 $H^1$ 解，并获得了远场处围绕Poiseuille流的逐点衰减估计。此外，若外力足够小，则证明该解是唯一的。证明的关键在于截断区域上解的Dirichlet积分估计以及Stokes正则性估计。

Comment: 无

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

1. 研究对象和背景

在流体力学中, 描述粘性不可压缩流体稳态运动的定常Navier-Stokes方程具有基础重要性. 本文研究三维平板域 $\Omega = \mathbb{R}^2 \times (0, 1)$ 中非齐次定常Navier-Stokes方程的弱解唯一性及其远场点态渐近行为. 具体地, 考虑如下方程组:

$$ -\Delta u + (u \cdot \nabla)u + \nabla P = f, \quad \nabla \cdot u = 0, \quad \text{in } \Omega, $$

并附加无滑移边界条件

$$ u = 0, \quad \text{at } x_3 = 0, 1. $$

其中 $u = (u_1, u_2, u_3)$ 为速度场, $P$ 为压力, $f = (f_1, f_2, f_3)$ 为外部力. 该问题设定源于对具有非紧边界(如圆柱形、准圆柱形及层状出口)的Stokes与Navier-Stokes方程可解性及渐近性质的广泛数学研究. 已有文献(Heywood, Ladyzhenskaya, Solonnikov, Pileckas, Nazarov等)建立了此类广义无界域上弱解的基本理论. 对于齐次情形($f=0$), 近期由Bang等人[1]和Carrillo等人[3]建立的Liouville型刚性定理指出, 任何具有有限Dirichlet积分 $\int_\Omega |\nabla u|^2 dx < \infty$ 的D-解必须恒为零. 这意味着物理上有意义的非平凡流动(如Poiseuille流)必然具有无穷大的Dirichlet积分.

为了处理大外力下的问题, 本文引入了“线通量”(line-flux)的概念. 给定一个水平方向 $e(\alpha) = (\cos \alpha, \sin \alpha, 0)$, 定义垂直于该方向的矩形截面 $Q_l^{(\alpha)}$, 其横向宽度为 $l$. 平均线通量 $F$ 定义为:

$$ F = \lim_{l \to \infty} \frac{1}{l} \int_{Q_l^{(\alpha)}} u(x) \cdot e(\alpha) d\eta_2 dx_3. $$

根据质量守恒, 给定的远场线通量 $F \in \mathbb{R}$ 唯一确定了一个沿 $e(\alpha)$ 方向的经典层流Poiseuille背景流 $W(x_3)$:

$$ W(x_3) = 6Fx_3(1-x_3)e(\alpha), $$

且满足 $\int_0^1 W(x_3) \cdot e(\alpha) dx_3 = F$. 本文旨在研究受大局部外力扰动后, 收敛于该Poiseuille流的稳态运动. 此前Nazarov和Pileckas [13] 研究了外力及远场通量足够小时的存在性与唯一性, 而本文试图推进到大外力的情形, 并在保持泊松流背景的前提下，证明解的存在性、唯一性（当外力较小时）以及围绕Poiseuille流的点态衰减性质.

2. 主要定理或主要结果

本文的主要结果陈述于定理1.1中. 设平板域 $\Omega = \mathbb{R}^2 \times (0, 1)$, $V'$ 为空间 $V = D^{1,2}_{0,\sigma}(\Omega)$ 的对偶空间. 假设外部力 $f \in V'$, 给定远场常数线通量 $F \in \mathbb{R}$, 对应的Poiseuille流为 $W(x_3)$.

存在性: 存在一个小常数 $\epsilon_0 > 0$, 若预设的远场通量满足 $|F| \le \epsilon_0$, 则存在定常Navier-Stokes方程的一个弱解 $u = W + v$, 满足无滑移边界条件, 且扰动场 $v \in H^1(\Omega)$.

渐近行为与唯一性: 若外部力 $f$ 具有紧支集, 则上述解满足以下性质: (i) 点态衰减与通量收敛: 存在常数 $\alpha > 0$, 使得对于任意足够大的 $R_1$, 在远场有如下点态衰减估计:

$$ |u(x) - W(x_3)| \le C R^{-\alpha}, \quad \forall x = (x_1, x_2, x_3) \in \Omega \text{ with } |x'| \ge R_1, $$

其中 $x' = (x_1, x_2)$, $R = |x'|$, 常数 $C > 0$ 和 $\alpha$ 仅依赖于 $\Omega$ 和 $F$. 由此推导出线通量的渐近收敛:

$$ \lim_{|x'| \to \infty} \int_0^1 u(x', x_3) \cdot e(\alpha) dx_3 = F. $$

(ii) 唯一性: 此外, 若存在小常数 $\epsilon_1 > 0$ 使得外部力满足 $\|f\|_{V'(\Omega)} \le \epsilon_1$, 则在类 $u - W \in H^1(\Omega)$ 中, 上述解是唯一的.

注: 紧支集假设可放宽为 $f$ 在无穷远处具有衰减性质; 结果可直接推广至在紧致集外与平板重合的层状域.

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

证明的核心在于建立截断域上解的Dirichlet积分估计以及利用Stokes正则性估计推导点态衰减.

1. 能量恒等式与先验界: 首先通过标准扩张域方法(Galerkin逼近)构造解. 将动量方程乘以 $v$ 并在 $\Omega$ 上积分, 利用无散度约束和无滑移边界条件, 非线性对流项 $(v \cdot \nabla)v \cdot v$ 和 $(W \cdot \nabla)v \cdot v$ 积分为零. 得到全局能量恒等式:

$$ \int_\Omega |\nabla v|^2 dx + \int_\Omega (v \cdot \nabla)W \cdot v dx = \int_\Omega f \cdot v dx. $$

利用Hölder不等式和Poincaré不等式 $\|v\|_{L^2} \le C \|\nabla v\|_{L^2}$, 结合小通量假设 $|F| \le \epsilon_0$ 使得 $\|\nabla W\|_{L^\infty} \le 1/2$, 得到先验界 $\|\nabla v\|_{L^2(\Omega)} \le 2\|f\|_{V'}$. 这保证了 $v \in H^1(\Omega)$ 解的存在性.

2. Saint-Venant型估计 (Dirichlet积分衰减): 这是证明的关键创新点之一. 引入截断函数 $\phi_R(r)$, 其在 $r < R-1$ 时为0, $r > R$ 时为1. 将扰动方程乘以 $\phi_R v$ 并积分. 由于 $f$ 的紧支集远离截断区域, 外力项消失. 核心难点在于处理压力项 $\int p v \cdot \nabla \phi_R dx$ 和非线性项. 作者利用柱坐标下的无散度条件 $\partial_r v_r + v_r/r + \partial_\theta v_\theta/r + \partial_z v_z = 0$ 和无滑移边界条件, 证明了径向速度 $v_r$ 的某种加权积分性质:

$$ \int_0^1 \int_0^{2\pi} r v_r d\theta dz = 0. $$

进而应用Bogovskii映射引理(Lemma 2.1), 构造向量场 $\Psi_R$ 使得 $\nabla \cdot \Psi_R = r v_r$ 且 $\|\nabla \Psi_R\|_{L^2} \le C \|r v_r\|_{L^2}$. 这使得压力项可以通过分部积分转化为关于 $\Psi_R$ 的梯度估计, 从而被控制. 结合Gagliardo-Nirenberg插值不等式, 最终得到远场能量衰减估计:

$$ \|u - W\|_{H^1(\Omega_{>R})} \le C R^{-\alpha}. $$

3. Stokes正则性与点态衰减: 在获得 $H^1$ 范数的代数衰减后, 作者利用Stokes方程的内部正则性估计(Lemma 2.3)和半空间上的正则性估计(Lemma 2.4). 通过在局部区域内迭代应用这些正则性结果, 并结合之前得到的能量衰减, 最终推导出速度场 $u$ 相对于背景流 $W$ 的点态代数衰减 $|u(x) - W(x_3)| \le C R^{-\alpha}$. 这一过程将全局的能量信息局部化并提升为点态估计.

4. 与之前工作的比较

本文相较于既有文献的主要推进体现在以下几个方面:

1. 外力大小的限制: Nazarov和Pileckas [13] 在研究层状域中的Navier-Stokes方程时, 利用Banach不动点原理构造了非平凡解, 但要求给定的外部力和远场质量通量均足够小. 本文的主要改进之一是去除了对外部力 $f$ 的小性限制以证明解的存在性. 虽然存在性证明仍需远场通量 $|F|$ 足够小以保证能量估计闭合, 但外力 $f$ 本身可以是任意的 $V'$ 范数(只要满足紧支集或衰减条件). 这扩大了问题的适用范围, 允许研究受强局部外力扰动的流动.

2. 渐近行为的精细程度: 此前的工作(如 [13], [20], [21]) 主要关注解在全局能量空间或加权空间中的渐近结构, 或者证明解在无穷远处类似于线性Stokes问题的解. 例如, Pileckas [20] 证明了在非零通量下, 弱解在无穷远处的行为类似于线性Stokes系统的解, 前提是满足某些加权积分假设. Pileckas和Specovius-Neugebauer [21] 进一步细化了前三个渐近项的结构. 相比之下, 本文直接建立了点态代数衰减率 $|u(x) - W(x_3)| \le C|x'|^{-\alpha}$. 这种点态估计比单纯的能量衰减或渐近展开更为具体和强力，直接刻画了速度场偏离背景Poiseuille流的速率.

3. 唯一性的条件: 在 [13] 中, 唯一性是在外力和小通量假设下获得的. 本文在相同的小通量假设下，证明了当外力 $f$ 的范数 $\|f\|_{V'}$ 足够小时，解在 $u-W \in H^1(\Omega)$ 类中是唯一的. 这与 [13] 的结果一致，但本文的证明框架更侧重于通过Saint-Venant型估计来支撑这一结论，而非单纯依赖收缩映射原理的局部性.

4. 技术方法的差异: 既有文献多采用变分方法或不动点原理处理存在性，而对于渐近行为，往往依赖于特定的加权空间理论或谱分析. 本文的创新在于系统地结合了Bogovskii映射来处理压力项的耦合，并利用Saint-Venant原理的思想（最初用于弹性力学，后被Ladyzhenskaya和Solonnikov推广到管道中的Navier-Stokes方程）来建立截断域上的Dirichlet积分衰减. 这种方法特别适用于处理具有非紧边界的几何结构，并通过精确的切线估计克服了非线性项和压力项带来的困难.

10. 具有局部化噪声的随机 Navier–Stokes 方程的指数混合

Exponential mixing for the stochastic Navier–Stokes equation with localized noise

作者: Ziyu Liu, Shengquan Xiang, Zhifei Zhang

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

发布日期: 2026-08-29

arXiv ID: 2608.28964v1

摘要翻译: 本文研究有界区域上带有 Navier-slip 边界条件的二维 Navier–Stokes 方程，该方程由一个空间局域化的平稳强迫项驱动，该强迫项由一个随机热方程生成。我们证明了相应的 Navier–Stokes–热系统的指数混合性，从而在平稳强迫下速度律的指数收敛性。主要困难在于白噪声被限制在一个子区域内，并通过热分量间接影响速度。为了处理退化性，证明结合了 Malliavin 微积分与 PDE 控制理论。关键要素是一种稳定化方案，它将局域化的 Navier–Stokes 控制转化为与热动力学兼容的时间正则控制。

Comment: 无

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

1. 研究对象和背景

本文研究二维有界光滑单连通区域 $D \subset \mathbb{R}^2$ 上具有 Navier-slip 边界条件的随机 Navier-Stokes (NS) 方程。该方程由一个在物理空间上局域化的平稳随机力驱动，该随机力本身是由定义在子区域 $\omega \Subset D$ 上的随机热方程生成的。具体而言，速度场 $u$ 满足如下系统：

$$ \begin{cases} \partial_t u - \nu \Delta u + (u \cdot \nabla)u + \nabla \pi = \xi(t, x), & x \in D, t > 0, \\ \text{div } u = 0, \\ u \cdot n = 0, \quad \text{curl } u = 0, & x \in \partial D, \end{cases} $$

其中 $\xi(t, x)$ 是定义在 $\omega$ 上的随机过程 $\eta(t, x)$ 在 $D$ 上的零延拓。随机力 $\eta$ 由以下随机热方程给出：

$$ d\eta - \Delta_\omega \eta dt = \sum_{j \in \mathbb{N}^+} b_j \psi_j(x) d\beta_j(t), \quad x \in \omega, t > 0. $$

这里 $\{\psi_j\}$ 是 $L^2(\omega; \mathbb{R}^2)$ 中 Dirichlet Laplacian 的特征函数，$\{\beta_j\}$ 是独立的标准布朗运动序列，且系数 $b_j$ 满足 $\sum b_j^2 < \infty$。

由于 $\eta$ 具有时间相关性（即有色噪声），仅考虑速度分量 $u$ 并不构成马尔可夫过程。因此，作者将状态空间扩展为 $X := H^1 \times L^2(\omega; \mathbb{R}^2)$，考察联合系统 $(u, \eta)$ 的马尔可夫半群。这一设定在物理上对应于湍流统计描述中常用的平稳随机强迫模型，但在数学上引入了显著的挑战：白噪声仅在子区域 $\omega$ 内直接作用于热分量，而通过耦合间接影响速度场。

在偏微分方程与随机分析理论中，随机偏微分方程（SPDE）的遍历性和混合性质是理解物理系统长期统计行为的核心问题。当所有决定模态都被直接强迫时，这些性质已被广泛研究并基本解决。然而，当噪声以高度简并的方式（如仅在物理空间的子集或傅里叶空间的少数模态）注入时，证明混合性质变得极其困难。特别是对于空间局域化白噪声驱动的 NS 方程，由于噪声的低时间正则性（白噪声在时间上是奇异分布）以及其仅通过耗散的热方程间接传递到非线性流体动力学的特性，现有的基于 Girsanov 定理或直接 Malliavin 积分的方法难以直接应用。本文旨在填补这一空白，首次建立了此类高度简并、空间局域化噪声驱动的二维 NS 系统的指数混合结果。

2. 主要定理或主要结果

本文的主要结果包括两个核心定理，分别针对速度场的边缘分布和完整的马尔可夫提升系统。

定理 A (速度场的指数收敛): 对于由式 (1.3) 定义的平稳局域噪声 $\xi = \eta_s$，给定任意 $B_0 > 0$，存在整数 $N = N(B_0)$，使得若噪声系数 $\{b_j\}$ 满足 $\sum b_j^2 \le B_0$ 且前 $N$ 个模式非零 ($b_j \neq 0, 1 \le j \le N$)，则存在 $H^1$ 上的概率测度 $\mu$ 及常数 $C, \alpha, \gamma > 0$，使得对于任意测试函数 $\phi \in O_{H^1, \gamma}$ 和初值 $u_0 \in H^1$，有：

$$ \left| \mathbb{E}\phi(u(t, u_0)) - \int_{H^1} \phi d\mu \right| \le C e^{-\alpha t} \exp(C \gamma \|u_0\|^2_{H^1}) \|\phi\|_{H^1, \gamma}. $$

此外，存在平稳解 $u_s$ 使得 $(u_s, \eta_s)$ 联合平稳，且 $u_s(t)$ 的律为 $\mu$。

定理 B (联合系统的指数混合): 这是更强的结果，针对马尔可夫提升 $U = (u, \eta)$ 在相空间 $X$ 上的演化。在上述相同的噪声系数假设下，联合系统存在唯一的不变测度 $\mu^*$ 在 $X$ 上，且存在常数 $C, \alpha, \gamma > 0$ 使得：

$$ \left| \mathbb{E}\phi(U(t, U_0)) - \int_X \phi d\mu^* \right| \le C e^{-\alpha t} \exp(C \gamma \|U_0\|^2_X) \|\phi\|_{X, \gamma}. $$

其中范数定义为 $\|\phi\|_{X, \gamma} = \sup_{U_0 \in X} \left( e^{-\gamma \|U_0\|^2_X} (|\phi(U_0)| + \|\nabla \phi(U_0)\|_X) \right)$。

这两个结果表明，尽管噪声仅在有限个低阶模式中非零且局限于物理子区域，系统仍表现出指数衰减的混合率。误差项中的 $\exp(C \gamma \|U_0\|^2)$ 因子反映了 Lyapunov 函数的增长特性，这是处理非线性 NS 方程大初值行为的典型特征。

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

证明的核心在于结合 Malliavin 微积分与 PDE 控制论，主要技术障碍在于建立渐近强 Feller 性质（Asymptotic Strong Feller Property）。由于噪声的局域性和间接性，标准的强 Feller 估计无法直接获得。作者的策略是将渐近正则化问题转化为耦合线性化系统的定量稳定化问题。

  1. Malliavin 微积分框架与弱观测不等式: 作者利用 Hairer-Mattingly 的混合判据，重点攻克渐近强 Feller 性质。这需要证明梯度估计 $\|\nabla P_t \phi\|$ 的小时间行为。通过 Malliavin 矩阵 $M_{s,t,N}$ 的分析，这被归结为证明一个弱观测不等式（Weak Observability Inequality）。对于伴随线性化系统的解 $Z = (w, q)$，需要证明：

    $$ \|Z(0)\|_X \le C_N \|P_N q\|_{L^2(0,1; L^2(\omega))} + \varepsilon_N \|Z(1)\|_X, \quad \varepsilon_N \to 0. $$

    这里的难点在于观测仅来自热分量 $q$ 在 $\omega$ 上的有限维投影 $P_N q$，而速度分量 $w$ 未被直接观测。标准 Carleman 估计通常提供全局或全域观测，无法直接处理这种部分观测且需吸收高频模态的情况。

  2. 基于 Carleman 估计与对偶性的稳定化构造: 为了建立上述弱观测不等式，作者采用了两步走策略：

    • 低频热控制与提升: 首先利用 Navier-Stokes 方程在 Navier-slip 边界条件下的线性化精确可控性（基于 Carleman 估计 [27]），构造一个具有足够时空正则性的局域控制。然后，将该控制截断至被强迫的模式，并通过热方程的提升（lifting）机制，将其转化为耦合系统中的有效控制。这一步利用了热方程的耗散性来平滑控制输入的时间奇异性。
    • Fenchel-Rockafellar 对偶性与 Gramian 正则化: 利用可控性与可观测性的对偶关系，将渐近零可控性转化为弱观测不等式。随后，引入正则化的可控性 Gramian 逆算子来构造显式的正则控制：
      $$ h = -A^*_{N,g} (G_{N,g} + \beta)^{-1} J_g V_0. $$
      这种变分构造不仅提供了定量稳定化估计，还保证了控制及其 Malliavin 导数的精细结构，从而满足 Malliavin 分析中对正则性的严格要求。

  3. Navier-Slip 边界条件的作用: 选择 Navier-slip 边界条件而非无滑移（No-slip）条件是关键的技术选择。Navier-slip 条件避免了粘性边界层带来的额外复杂性，使得 Carleman 估计和可控性分析在有界域上更为可行，同时保留了物理边界的几何特征。

4. 与之前工作的比较

本文的工作在多个维度上推进了随机 Navier-Stokes 方程混合性质的研究：

  1. 噪声类型的突破: 既往工作主要关注两类情形：一是傅里叶空间中高度简并但直接作用于决定模态的白噪声（如 Hairer-Mattingly [28-30]，仅强迫4个模式）；二是物理空间中局域化但有界（bounded in time）的随机力（如 Shirikyan [49,50]）。本文首次处理了空间局域化的白噪声（white-in-time）驱动的情形。白噪声的低时间正则性是主要障碍，作者通过引入辅助热方程作为“滤波器”来解决这一问题，这与之前直接处理白噪声或仅处理有色噪声的工作有本质区别。

  2. 间接强迫机制: 在 Hairer-Mattingly 的工作中，噪声直接作用于 NS 方程的非线性项或线性项。而在本文中，噪声仅直接作用于热分量，通过耦合间接影响速度场。这种“间接强迫”结构更接近某些物理湍流模型，但也增加了数学分析的复杂度，因为必须证明信息能从热分量有效传递到速度场并实现混合。

  3. 方法论的创新: 与以往主要依赖 Girsanov 变换或直接的 Malliavin 积分不同，本文将 PDE 控制论中的定量稳定化和Carleman 估计深度融入随机分析框架。特别是，作者发展了一种新的“正则化稳定化方案”，将局域 NS 控制转换为与热动力学兼容的时间正则控制。这种方法论的结合为处理其他具有类似间接强迫结构的 SPDE 提供了新的范式。

  4. 边界条件的选择: 大多数关于 NS 方程可控性和混合的研究集中在周期域（Torus）或无滑移边界条件上。本文在有界域上使用 Navier-slip 边界条件，这不仅是一个技术简化，也拓展了结果的适用范围至具有物理边界的流动问题。虽然无滑移条件下的边界层效应会使问题更复杂，但本文的结果为未来处理更一般的边界条件奠定了基础。

  5. 局限性: 目前结果依赖于噪声系数 $b_j$ 在前 $N$ 个模式中非零的条件，这意味着强迫必须覆盖足够的低频模式。此外，结果是在二维情况下获得的，三维情况由于缺乏全局适定性（well-posedness）的理论基础，尚无法直接推广。

11. 外域中边界周期性运动的 Navier-Stokes 方程的时间周期问题

Time periodic problem of the Navier-Stokes equations in an exterior domain with periodically moving boundary

作者: Reinhard Farwig, Kazuyuki Tsuda

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.28999v1

摘要翻译: 在本文中，我们考虑 $

Comment: 无

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

1. 研究对象和背景

本文研究三维及以上 ($n \geq 3$) 欧几里得空间 $\mathbb{R}^n$ 中的外域 (exterior domain) 内不可压缩粘性流体运动。具体而言，考虑一个随时间周期性变化的非柱形时空区域 $Q = \bigcup_{t \in \mathbb{R}} \Omega(t) \times \{t\}$，其中 $\Omega(t)$ 是参考外域 $\Omega_0$ 的扰动，且满足周期性条件 $\Omega(t+T) = \Omega(t)$。边界 $\partial \Omega(t)$ 是 $C^3$ 类曲面，并且流体在边界上满足无滑移条件。Navier-Stokes 方程组在该时变域上表示为：

$$ \begin{aligned} v_t - \nu \Delta v + v \cdot \nabla v + \nabla p &= f && \text{in } Q, \\ \text{div } v &= 0 && \text{in } Q, \\ v &= 0 && \text{on } \bigcup_{t \in \mathbb{R}} \partial \Omega(t) \times \{t\}. \end{aligned} $$

其中 $v$ 和 $p$ 分别是速度和压力，$f(x,t)$ 是给定的外力，同样具有时间周期 $T$。为了简化分析，文中假设粘度系数 $\nu=1$。

在流体力学中，时间周期解是描述受迫振荡流动（如心脏瓣膜血流、机械搅拌等）的基本现象。对于固定有界域，Serrin [49] 最早研究了该问题；对于固定无界域（包括外域），Kozono 和 Nakao [37] 以及 Yamazaki [55] 在半群方法框架下建立了小外力条件下的周期解存在性理论。然而，当边界随时间移动时，问题的复杂性显著增加。已有的工作主要集中在两种情况：一是通过局部化坐标变换（例如部分拉格朗日坐标或截断函数将坐标变换限制在有限区域内）来处理边界运动，从而获得全局时间解或周期解，如 Eiter, Kyed 和 Shibata [13] 以及 Eiter 和 Shibata [12] 的工作；二是针对半空间或全空间的情形，利用 Besov 空间方法避免局部化限制，如 Ogawa 和 Shimizu [44] 的研究。但是，对于一般的外域情形，如果允许坐标变换在整个无界域上起作用（即非局部化影响），现有的基于演化算子或标准 $L^p-L^q$ 衰减估计的方法往往受到严重限制。特别是，在外域中处理二阶微分算子的范数控制时，通常需要施加较强的指数限制（如 $p < n/2$），这使得直接应用经典的 Kozono-Nakao 或 Yamazaki 型估计变得困难。此外，移动边界引入的拟线性项（来自坐标变换的二阶导数项）在全局时间尺度上的控制是一个核心难点。本文旨在填补这一空白：在不依赖坐标变换局部化的前提下，利用加权函数空间理论，建立外域中周期性移动边界 Navier-Stokes 方程的时间周期温和解的存在性与唯一性理论。

2. 主要定理或主要结果

本文的主要结果陈述于定理 1.2 中。设 $n < q < \infty$，$\Omega_0 \subset \mathbb{R}^n$ 为 $C^3$ 类外域，$\phi$ 为满足假设 1.1 的 $T$-周期坐标变换。设外力 $f$ 分解为 $f = f_s + f_\perp$，其中稳态部分 $f_s$ 和振荡部分 $f_\perp$ 分别满足：

$$ f_s \in L^q_n(\Omega_0), \quad f_\perp \in L^\infty_{\text{per}}(\mathbb{R}; L^{q}_{n-1+\delta}(\Omega_0)), $$

其中权重指数由径向对称 Muckenhoupt 权 $\langle x \rangle^{s q}$ 定义，且 $0 < \delta < 1 - \frac{n}{q}$。若外力满足小性条件：

$$ \|f_s\|_{L^q_n(\Omega_0)} + \|f_\perp\|_{L^\infty_{\text{per}}(\mathbb{R}; L^{q}_{n-1+\delta}(\Omega_0))} \leq \epsilon_f, $$

则修改后的 Navier-Stokes 系统 (1.4) 存在唯一的 $T$-周期解 $(u, p)$，该解属于闭球 $B \subset X_s \times X_\perp$。

解的结构被明确分解为两部分：

  1. 稳态部分 $(u_s, p_s)$：定义为时间平均 $u_s = \frac{1}{T}\int_0^T u \, d\tau$，其函数空间为：
    $$ X_s = \left\{(u, p) \in L^\infty_{n-2}(\Omega_0) \cap \dot{H}^{1,\infty}_{n-1}(\Omega_0) \cap H^{1,q}(\Omega_0) \cap \dot{H}^{2;q,\infty}(\Omega_0) \times \dot{H}^{1;q,\infty}(\Omega_0) : \text{div } u = 0, u|_{\partial \Omega_0} = 0 \right\}. $$
    这里使用了势论估计所要求的加权 $L^\infty$ 和弱 $L^q$ 范数。
  2. 纯振荡部分 $(u_\perp, p_\perp)$：定义为 $u_\perp = u - u_s$，其函数空间为：
    $$ X_\perp = \left\{(u, p) \in L^\infty_{\text{per}}(\mathbb{R}; H^{1,q}_{n-1}(\Omega_0)) \times L^\infty_{\text{per}}(\mathbb{R}; \dot{H}^{1;q,\infty}(\Omega_0)) : \nabla^2 u \in L^\infty_{\text{per}}(\mathbb{R}; L^{q,\infty}_{n-1}(\Omega_0)), \text{div } u = 0, u = 0 \text{ on } \partial \Omega_0 \right\}. $$

关键的技术细节在于对扰动项的控制。由于坐标变换引入了二阶扰动项（如 $a_\alpha \partial^\alpha u$），作者利用了加权 Lorentz 空间中的最大 $L^1$ 型正则性估计。具体地，对于 Stokes 算子 $A$，在 $p < q$ 的条件下，证明了如下形式的估计：

$$ \int_0^\infty \tau^{\frac{n}{2}(\frac{1}{p} - \frac{1}{q})} \|A e^{-\tau A} u\|_{L^{q,1}_{-(n-1)}} \, d\tau \leq C \|u\|_{L^{p,1}_{-(n-1)}}. $$

此估计允许使用负权重指数，这对于处理对偶论证中的奇异性至关重要。此外，通过对 Stokes 算子的 $\mathcal{H}^\infty$-演算及其有界虚幂 (BIP) 性质的应用，作者成功控制了非线性对流项，避免了因正则性损失导致的估计失败。

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

本文的核心创新在于构建了一套适用于外域移动边界问题的加权函数空间分析框架，主要技术障碍及解决手段如下：

  1. 加权 Muckenhoupt 空间与径向对称权重的引入： 传统的外域 Navier-Stokes 方程分析通常依赖于局部衰减估计或特定的 $L^p-L^q$ 插值不等式，这些方法在处理非局部化的坐标变换时往往失效。本文采用径向对称 Muckenhoupt 权重 $w(x) = \langle x \rangle^{\ell q} = (1+|x|^2)^{\ell q/2}$，其中 $\ell$ 为实数。这种选择使得 Stokes 半群的估计能够自然地结合势论估计（用于稳态部分）和半群衰减估计（用于振荡部分）。权重指数的选取范围 $-\frac{n}{q} < \ell < \frac{n}{q'}$ 保证了 Helmholtz 投影在有界性。通过这种加权结构，作者能够统一处理不同奇异性和衰减行为的空间。

  2. Stokes 算子的 $\mathcal{H}^\infty$-演算与 BIP 性质： 在处理包含二阶导数的拟线性项（如 $g \Delta u$，其中 $g$ 来自坐标变换）时，标准的 $L^p-L^q$ 衰减估计存在正则性损失（regularity loss），表现为积分核中额外的幂次因子 $\tau^{\frac{n}{2}(\frac{1}{p} - \frac{1}{q})}$。为了克服这一损失，作者利用了作者在先前工作 [25] 中建立的 Stokes 算子在加权空间中的 $\mathcal{H}^\infty$-演算理论。该理论提供了分数幂空间的特征刻画，并确立了 Stokes 算子具有有界虚幂 (Bounded Imaginary Powers, BIP) 的性质。BIP 性质允许将对偶论证中的二阶导数 $\nabla^2$ 等价地视为 Stokes 算子 $A$，并通过拆分 $A = A^{1-\theta} A^\theta$ （其中 $\theta$ 为小正数）来吸收奇异性。这种方法使得即使在没有局部化条件的情况下，也能对高维导数项进行有效的范数控制。

  3. 加权 Lorentz 空间中的最大正则性估计： 为了精确控制来自边界条件和坐标变换的二阶扰动项，作者在加权 Lorentz 空间 $L^{p,q}_\ell$ 中建立了最大 $L^1$ 型正则性估计。特别地，文中推导了涉及负权重指数 $-(n-1)$ 的估计 (1.7)。负权重指数的处理是困难的，因为常规的局部衰减估计通常要求正权重。然而，借助 $\mathcal{H}^\infty$-演算提供的 BIP 性质和对偶原理（Muckenhoupt 类中对偶权重指数的符号反转），作者成功地在对偶论证中应用了这一估计，从而闭合了非线性项的估计。

  4. 解的分解策略： 借鉴 Kozono 和 Nakao [37] 以及 Eiter 等人 [13] 的思想，但进行了适应性改进。解被分解为稳态部分 $u_s$ 和纯振荡部分 $u_\perp$。对于稳态部分，作者开发了新的势论估计，这些估计能够处理非局部项且不依赖散度结构，从而可以在加权 $L^\infty$ 和弱 $L^q$ 空间中估计非线性项。对于振荡部分，则完全依赖加权 Stokes 半群的 $L^q-L^p$ 衰减估计。这种分解允许针对不同部分选择最优的函数空间：稳态部分使用反映无穷远处行为的加权 $L^\infty$ 范数，而振荡部分使用适合半群分析的加权 $L^q$ 范数。

  5. 坐标变换的处理： 不同于以往使用部分拉格朗日坐标或截断函数来局部化边界运动的影响，本文允许坐标变换 $\phi(\xi, t)$ 在整个参考域 $\Omega_0$ 上变化。这导致修改后的 Navier-Stokes 方程中出现一系列由 $\phi$ 及其导数决定的扰动系数 $a_\alpha, b_\beta$。这些系数的正则性由假设 1.1 中的 Hölder 连续性条件保证。作者通过分析这些系数的结构，特别是利用其在时间上的 Hölder 连续性来补偿最大正则性估计中的正则性损失，从而实现了对所有非线性项的有效控制。

4. 与之前工作的比较

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

  1. 去除了坐标变换的局部化假设： 在先前的外域移动边界问题研究中，如 Farwig, Kozono 和 Wegmann [15] 以及 Eiter 和 Shibata [12]，为了获得全局时间解或周期解，通常假设坐标变换仅在某个紧集上非平凡，或者使用部分拉格朗日坐标（即通过截断函数将坐标变换限制在有限球内）。这种局部化假设简化了扰动项的分析，因为远离原点的扰动项消失。然而，这在物理上可能是不合理的，且限制了理论的适用范围。本文首次在不假设坐标变换局部化的情况下，解决了外域中的时间周期问题。这意味着 $\phi(\xi, t) \neq \xi$ 可以在整个无界域 $\Omega_0$ 上成立，从而更真实地反映了大范围边界运动的影响。这一进展的关键在于加权函数空间理论和 $\mathcal{H}^\infty$-演算的应用，它们提供了一致的全局估计工具，无需依赖局部化带来的衰减优势。

  2. 克服了外域中演化算子方法的局限性： 对于半空间或全空间的移动边界问题，Farwig 和 Tsuda [21, 22] 采用了构造修正 Stokes 算子演化算子并证明其全局时间估计的方法。然而，在外域情形下，这种方法面临严峻挑战。具体来说，为了构造演化算子，需要统一的预解式估计，这通常要求 $\|\nabla^2 u\|_{L^p} \leq C \|Au\|_{L^p}$。在外域中，这一估计的有效性往往受到 $p < n/2$ 的限制。这一强限制导致后续估计（如控制 $L^\infty$ 范数所需的 $q > n$）变得极其困难，且演化算子的时间衰减率较慢，使得无法直接应用基于快速衰减的 Kozono-Nakao [37] 或 Yamazaki [55] 方法。本文放弃了演化算子路径，转而采用经典的 Stokes 半群方法，但在加权空间中进行。通过利用加权 Stokes 半群的 $L^q-L^p$ 衰减估计和最大正则性估计，作者绕开了 $p < n/2$ 的限制，成功建立了所需的全局估计。这表明加权半群方法在外域移动边界问题上比演化算子方法更具灵活性和有效性。

  3. 整合了势论与半群理论： 以往的周期解存在性理论要么侧重于半群方法（如 Kozono-Nakao），要么侧重于极大正则性/传递定理（如 Eiter-Kyed-Shibata）。本文提出了一种混合策略：稳态部分利用势论估计（在加权 $L^\infty$ 和弱 $L^q$ 空间中），振荡部分利用半群估计（在加权 $L^q$ 空间中）。这种分离处理的优势在于，它允许为每个部分选择最合适的范数和估计技术。特别是，势论估计能够自然地处理外域中无穷远处的行为，而半群估计则擅长处理时间依赖性。这种结合在之前的文献中并未得到充分开发，尤其是在涉及移动边界和非局部坐标变换的情况下。

  4. 处理二阶扰动项的新机制： 在移动边界问题中，最难处理的项通常是来自边界条件或坐标变换的二阶项（如 $g \Delta u$）。Shibata [50] 在自由边界问题中使用部分拉格朗日坐标来控制此类项。Oishi 和 Shibata [45] 在高维情况下尝试去除局部化条件，但仍面临困难。Saal [47, 48] 仅证明了局部时间解。本文通过引入加权 Lorentz 空间中的最大 $L^1$ 型估计，并结合 $\mathcal{H}^\infty$-演算的 BIP 性质，提供了一种全新的机制来控制这些二阶项。具体而言，通过对偶论证将二阶导数转化为 Stokes 算子，并利用 BIP 性质处理负权重指数下的奇异性，作者实现了对这类项的全局控制。这一技术突破使得非局部化坐标变换下的周期解存在性成为可能。

  5. 适用范围与代价： 虽然本文在理论上取得了重要进展，但也存在一定的代价和局限。首先，结果是在小外力和小边界运动条件下获得的（小性条件 (1.6)）。其次，解的正则性依赖于加权 Sobolev 和 Lorentz 空间，这可能比某些经典空间（如 $L^2$ 基）更为复杂。此外，权重指数的选择需要满足特定的相容性条件（如 $0 < \delta < 1 - n/q$），这对外力的可积性提出了要求。尽管如此，与之前需要局部化假设或仅限低维/特殊几何的结果相比，本文的理论框架更加通用，有望推广到其他无界域（如非紧致边界的半空间）以及其他扰动 Navier-Stokes 系统（如稳定性问题 [24]）。

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

1. 高阶近似对称

Higher-order Approximate Symmetries

作者: Alexey Shevyakov

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

发布日期: 2026-08-31

arXiv ID: 2608.31098v1

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

摘要翻译

中文标题: 高阶近似对称

摘要翻译: Fushchych 和 Shtelen 通过将扰动微分方程的解按小参数展开，并用一个三角系统替换原方程来定义近似对称。我们将此构造推广到任意阶。系数映射表述导出了 $p$ 阶 Fushchych–Shtelen (FS) 系统，并在显式假设下建立了其与 Baikov–Gazizov–Ibragimov (BGI) 方法之间的对应关系。

对扰动的三次波动方程比较了这两种框架。在等价意义下，我们分类了允许 FS 缩放到二阶的非线性项。该分类由一个通用幂函数族以及在特殊指数处的对数分支组成。对于一阶非平凡的扰动，垂直 BGI 延拓选择了一个 FS 分支的真子族；当扰动首次出现在二阶时，出现第二个公共分支；两种方法相关但不可互换。通过洛伦兹代数和继承的 FS 缩放进行联合约化可积分所有由此产生的 FS 正规型；1989 年 Fushchych–Shtelen 信中的显式解作为此约化的一阶成员被恢复。在两个框架共同的部分中，对数修正源于具有依赖于扰动的指数的幂律的展开。

最后，利用周期行波检验 FS 展开的长尺度有效性。第一修正通过求积获得，分离出二阶长期结构，相重归一化产生有界的阶一致近似。对于通用族的整数幂成员，修正波数的振幅依赖性与从对称分类获得的缩放权重一致。

2. 非均匀 Landau-Fermi-Dirac 方程的整体光滑解

Global smooth solutions to the inhomogeneous Landau-Fermi-Dirac equation

作者: William Golding, Christopher Henderson

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.31071v1

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

摘要翻译

中文标题: 非均匀 Landau-Fermi-Dirac 方程的整体光滑解

摘要翻译: 我们考虑带有 Coulomb 势的空间非均匀 Landau-Fermi-Dirac 方程，它是经典费米子 Landau 方程的量子修正。在数学上，Pauli 不相容原理体现为对解的一个额外的先验 $L^\infty$-界。利用该界，我们在速度方向上传播多项式衰减，从而得到局部质量密度和能量密度的无条件上界，由此排除了流体动力学量发生内爆的可能性。将此估计与一种产生去饱和（desaturation）的改进质量扩散方法相结合，我们证明了对于速度方向具有多项式衰减的粗糙初值，存在整体时间的经典解。这一结果与经典 Landau 方程和 Boltzmann 方程的理论形成鲜明对比：尽管已有大量持续的努力，但对于后两者尚无可比的非微扰全局存在性结果。

我们的处理几乎完全自包含，仅使用线性动力学方程中稳健且通用的估计。特别地，与之前的工作不同，我们的局部存在性证明更贴近抛物型方程的理论，采用弱解和更简单的函数空间。这或许可以为组织、调整和运用各种线性和非线性估计以获得动力学方程适定性提供一个简明的路线图。

3. 当 $0<s<\min\{n,2\}$ 时 Riesz 势弱估计的精确常数

Sharp constants for weak estimates of Riesz Potentials when $0<s<\min\{n,2\}$

作者: Hanli Tang

类别: math.CA, math.AP

发布日期: 2026-08-31

arXiv ID: 2608.31043v1

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

摘要翻译

中文标题: 当 $0<s<\min\{n,2\}$ 时 Riesz 势弱估计的精确常数

摘要翻译: 本文证明了对于 $0<s<\min\{n,2\}$，Riesz 势的精确弱估计

$$ \|I_{s}(f)\|_{L^{\frac{n}{n-s},\infty}}\leq \gamma_{n,s} v_n^{\frac{n-s}{n}}\frac{\Gamma(s/2)\Gamma((n+2-s)/2)}{\Gamma(n/2)}\|f\|_{L^1}. $$

其中 $\gamma_{n,s}=2^{-s}\pi^{-\frac{n}{2}}\frac{\Gamma(\frac{n-s}{2})}{\Gamma(\frac{s}{2})}$。Riesz 容量的等周不等式在我们的方法中发挥了关键作用。

4. 具有不连续通量的守恒律：在交通流中的一个初步应用

Conservation Laws with Discontinuous Flux: A First Application to Traffic Flow

作者: Roberta Bianchini, Maya Briani, Benedetto Piccoli

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30859v1

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

摘要翻译

中文标题: 具有不连续通量的守恒律：在交通流中的一个初步应用

摘要翻译: 本文提供了对 \ cite{ABS2025} 中最近引入的模型的交通流解释。我们将具有依赖于梯度的不连续通量的守恒律推广到宏观交通场景，假设定义在密度域 $[0,u_{ax}]$ 上的凹通量函数 $f(u)$ 和 $g(u)$。为防止违反最大密度约束，我们引入了针对该场景修改的黎曼求解器，并推广了 \ cite{ABS2025} 中建立的弱解存在性理论。最后，我们为包含自由流状态的双相模型构建了更广泛的黎曼求解器，其中 $f(u)=g(u)$ 在 $[0,u_{ax}]$ 的一个子集上成立，并在这一更一般的框架下建立了弱解的存在性。

5. 由压力反馈诱发的肿瘤边界不稳定性

Tumor boundary instability induced by pressure feedback

作者: Yu Feng, Yeyu Zhang, Kewei Zhou

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30796v1

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

摘要翻译

中文标题: 由压力反馈诱发的肿瘤边界不稳定性

摘要翻译: 我们研究了一个从多孔介质方程的不可压缩极限得到的 Hele-Shaw 型肿瘤生长模型。该极限模型保留了肿瘤密度的斑块结构，因此允许单一的自由边界表述。我们考察与稳态压力相关的压力反馈参数如何影响边界稳定性。利用渐近分析，我们研究了有限半径肿瘤的边界扰动和平面行波前，并推导了相应的稳定性判据。对于平面行波前，进一步表明稳定性阈值是分岔点，由此产生非对称行波。我们的结果表明，在不含压力反馈时模型保持稳定的参数区间内，压力反馈可以诱发边界不稳定性。

6. 关于分层李群中加权粗糙奇异积分算子的逐点估计及其应用

On a pointwise estimate for a weighted rough singular integral operator in stratified Lie groups and applications

作者: Diego Chamorro, Oscar Jarrín

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30970v1

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

摘要翻译

中文标题: 关于分层李群中加权粗糙奇异积分算子的逐点估计及其应用

摘要翻译: 本文在分层李群的背景下，给出了加权粗糙奇异积分算子的一个新逐点估计。该算子 $T_{Ω, \varpi}$ 基于核函数 $Ω$ 和权函数 $\varpi$，其中核函数满足一个自然的大小条件以及相对于权函数 $\varpi$ 的抵消性质。此外，我们并未对这些对象施加任何正则性假设。将该加权粗糙奇异积分算子作用于函数 $f$ 时，其估计由涉及 $f$ 的梯度的加权极大函数与加权 Morrey 空间信息的组合给出。我们还从这一逐点估计推导出一些新的加权泛函不等式，并作为应用，获得了 Heisenberg 群上非稳态 Navier-Stokes 方程粗糙版本的唯一性结果。

7. Fourier-Lebesgue空间与调制空间中的非齐次非线性Schrödinger方程

Inhomogeneous nonlinear Schrödinger equation in Fourier-Lebesgue and modulation spaces

作者: Divyang G. Bhimani, Diksha Dhingra, Vijay Kumar Sohani

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30777v1

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

摘要翻译

中文标题: Fourier-Lebesgue空间与调制空间中的非齐次非线性Schrödinger方程

摘要翻译: 本文旨在为分析非齐次非线性Schrödinger方程（INLS）

$$ iu_t + u_{xx} \pm |x|^{-b}|u|^{α-1}u=0, \quad 1<α< 5-2b\; \text{and}\; 0< b\leq 1/4. $$

提供一个更广泛的框架。具体而言，我们在Fourier-Lebesgue $\widehat{L}^{p}$空间中建立了低正则性适定性，其中$4/3<p<8$。对于$p<2$和$p>2$的情形，分析方法有所不同。主要地，在这两种情形下，我们利用为Fourier-Lebesgue空间调整的数据分解方法，证明了任意大初值下的整体适定性。此外，我们还得到了INLS在调制空间$M^{p,p'}$中类似的结果，其中$4/3<p<2$。

8. 非自治双曲问题时间周期解的高阶正则性：远离共振

Higher Regularity of Time-Periodic Solutions to Nonautonomous Hyperbolic Problems: Away from Resonances

作者: Irina Kmit, Lutz Recke

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30658v1

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

摘要翻译

中文标题: 非自治双曲问题时间周期解的高阶正则性：远离共振

摘要翻译: 我们研究一维线性与非线性非自治一阶积分-微分严格双曲系统的边值问题的时间周期解的高阶正则性及其与非共振行为的关系。边界条件包含积分算子以及多种类型的边界反射。我们证明，若系数足够光滑且满足适当数量的非共振条件，则连续解与经典解具有 $C^k$-正则性。在线性情形中，这些条件涉及主系数、对角低阶系数以及边界反射系数。在非线性情形中，它们还依赖于非线性项及解本身。对于非自治双曲系统，高阶正则性通常需要额外的非共振条件，其数量取决于所需的可微阶数。这些条件不仅是充分的，而且在一般情况下也是必要的，揭示了非自治双曲偏微分方程的一个独特特征。相比之下，在自治情形中，单一的非共振条件（如果需要的话）就足以获得任意高的正则性。我们还确定了一类不需要任何非共振条件的非自治双曲问题。在这种情况下，解的高阶正则性仅由数据的正则性决定。证明背后的主要技术工具是在向量空间框架下建立的一个抽象正则性原理。

9. 二维 Schrödinger 算子波算子的端点映射性质

Endpoint Mapping Properties of Wave Operators for Two-Dimensional Schrödinger Operators

作者: Han Cheng, Changxing Miao, Xiaohua Yao

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

发布日期: 2026-08-31

arXiv ID: 2608.30602v1

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

摘要翻译

中文标题: 二维 Schrödinger 算子波算子的端点映射性质

摘要翻译: 我们建立了具有实值衰减势 $V$ 的二维 Schrödinger 算子 $H=-Δ+V$ 的波算子 $W_±(H,-Δ)$ 的锐利端点映射性质。与已知的非端点 $L^p$ 理论相结合，我们的结果给出了二维波算子 $L^p$ 映射性质的完整分类，并揭示了在端点 $p=1$ 和 $p=∞$ 处通常阈值范式的意外反转。 当零是 $H$ 的常规点时，波算子在 $L^1(ℝ^2)$ 和 $L^∞(ℝ^2)$ 上无界，但它们满足 Calderón–Zygmund 类型的自然替代估计：

$$ L^1(ℝ^2)→ L^{1,∞}(ℝ^2),\  \ 𝐐^1(ℝ^2)→ L^1(ℝ^2),    L^∞(ℝ^2)→ text{BMO}(ℝ^2). $$

而当零是第一种阈值奇点——即不存在其他阈值障碍的 s 波共振——时，波算子在两个端点空间 $L^1(ℝ^2)$ 和 $L^∞(ℝ^2)$ 上均有界。因此，在二维情形中，s 波共振改善了波算子的端点行为，这与 $n≥3$ 维的情形形成鲜明对比，在后者的唯一常规情形即为有利情形。 我们还确定了 $H$ 其余零能谱构型下的端点行为。p 波共振同时阻碍了波算子在 $L^1$ 和 $L^∞$ 上的有界性，而在零特征值情形下，我们得到了端点有界性的充要条件，这些条件以 s 波和 p 波共振的存在性以及零能特征函数所满足的显式二阶调和矩消去来表述。

10. 具有非线性守恒型噪声的随机多孔介质方程的传播有限速度与等待时间现象

Finite speed of propagation and waiting time phenomena for stochastic porous media equations with nonlinear conservative noise

作者: Günther Grün, Max Sauerbrey, Joshua Utley

类别: math.AP, math.PR

发布日期: 2026-08-31

arXiv ID: 2608.30548v1

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

摘要翻译

中文标题: 具有非线性守恒型噪声的随机多孔介质方程的传播有限速度与等待时间现象

摘要翻译: 从局部能量估计出发，我们证明了具有非线性守恒型噪声的随机多孔介质方程的随机解具有传播有限速度。该方程解的存在唯一性最近已被建立。特别地，我们提出了一种新颖的迭代技术，使得我们能够获得一个涉及单一积分量的 Stampacchia 型不等式，尽管多孔介质项与噪声项可能具有不同的缩放行为。这使我们能够应用为线性源型噪声情形所发展的随机滤波论证。利用相关的思想，我们确定了初始数据的平坦性条件，这些条件在局部上保证了等待时间现象的出现，即解支撑集向前传播的启动在局部上被延迟。对于噪声中的临界非线性情形，后者的条件与确定性多孔介质方程的条件一致，但仅在噪声趋于线性守恒型噪声时，需要初始数据具有越来越多的平坦性。这与预期行为相符：在线性守恒型噪声的情形下，由于随机输运效应的影响，无论初始剖面多么平坦，瞬时向前运动都是可能的。

11. Neumann柱面波动模型的精确色散与Strichartz估计

Sharp Dispersive and Strichartz Estimates for the Neumann Cylindrical Wave Model

作者: Len Meas

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30208v1

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

摘要翻译

中文标题: Neumann柱面波动模型的精确色散与Strichartz估计

摘要翻译: 我们建立了圆柱形凸域 $Ω\subset \mathbb{R}^3$ 内带有非空光滑边界 $\partialΩ$ 的线性波动方程在局部时间上的色散估计及精确 Strichartz 估计。该柱面几何结构决定了其非负曲率半径沿轴向方向消失。通过利用基于 Airy 函数导数零点的显式谱分析，并结合一种定制的 Airy–Poisson 求和公式，我们捕捉到了多次反射波和焦散线的微局部行为。最后，我们将这些不损失导数的精确 Strichartz 估计应用于证明具有 Neumann 边界条件的能量临界五次非线性波动方程 (NLW) 的局部适定性与小数据全局适定性。

12. $A_p$-加权拟线性椭圆方程极弱解在自然指数附近的梯度估计

Gradient Estimates Near the Natural Exponent for Very Weak Solutions to $A_p$-Weighted Quasilinear Elliptic Equations

作者: Sun-Sig Byun, Minkyu Lim

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30155v1

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

摘要翻译

中文标题: $A_p$-加权拟线性椭圆方程极弱解在自然指数附近的梯度估计

摘要翻译: 我们建立了矩阵加权拟线性方程极弱解在自然指数附近的局部 Calderón–Zygmund 估计 [

  • \mathrm{div,} A_{\mathbb{M}}(x,Du) =
  • \mathrm{div,} A_{\mathbb{M}}(x,\mathbf{f}), \qquad A_{\mathbb{M}}(x,ξ)=\mathbb{M}(x)A(x,\mathbb{M}(x)ξ), ] 其中 $A$ 具有 $p$-增长性和强单调性，且 $\mathbb{M}$ 为可测正定矩阵场。我们假设 $\mathbb{M}$ 的条件数有界，并且 $ω:=|\mathbb{M}|^p\in A_p$，而不要求对 $\mathbb{M}$ 施加一致的上界或下界。 这扩展了 Adimurthi–Phuc \cite{AP15} 所发展的近自然 Calderón–Zygmund 理论至矩阵退化情形：存在 $δ_0>0$，使得每个极弱解 $u \in W^{p-δ_{0}}_{ω, \mathrm{loc}}$ 满足
    $$ \mathbf{f}\in L^γ_{ω,\mathrm{loc}} \Longrightarrow Du\in L^γ_{ω,\mathrm{loc}} $$
    对于 $p-δ_0\leγ\le p+δ_0$。证明需要处理自然指数以下能量估计的缺失以及在加权情形中使用 Lipschitz 截断的问题。我们通过比较估计、更高可积性以及加权分析技术实现了这一目标。

13. 奇异记忆黏弹性波动方程的高频波传播

High frequency wave propagation for the viscoelastic wave equation with singular memory

作者: Haim Grebnev, Plamen Stefanov

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30138v1

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

摘要翻译

中文标题: 奇异记忆黏弹性波动方程的高频波传播

摘要翻译: 我们研究具有空间依赖型相对历史形式遗传记忆的黏弹性波动方程的高频传播。核函数可具有可积奇异性 $\mathfrak m(s,x)=s^{p-1}m(s,x)$, $0<p<1$；正则情形 $p=1$ 包含在内。以半幅值传播距离及相应的旅行时间为单位，波长 $h\ll1$ 给出记忆因子 $\varepsilon=h^{1-p}$。我们构造了具有完整二尺度几何光学展开的精确解，其幂次为 $h^{k+(1-p)\ell}$。记忆通过瞬时模量 $σ+\varepsilon\int_0^\infty\mathfrak m(s,\cdot)\,d s$ 修正传播几何，而核函数的奇异性向主导输运方程贡献 $C_p=Γ(p)e^{iπp/2}$。对于 $0<p<1$，这导致分数阶标度、频率相关的衰减以及色散相移修正；对于 $p=1$，分数阶层级消失，衰减与频率无关，且输运相移修正为零。 我们还推导了一个局部阻尼波动方程，其入射高频解在半经典 $C^k$ 范数下以 $O(h)$ 误差近似遗传解。对所有入射方向及 $0<h\ll1$ 的外部观测可唯一恢复 $σ_{\mathfrak m}$ 和 $m$ 在 $s=0$ 处的完整时间 jet，从而确定该展开式（模 $O(h^\infty)$）。 最后，通过压缩半群论证，针对空间依赖型弱奇异核函数和给定的完整前史，我们证明了适定性和任意有限阶 Sobolev 正则性，并给出了显式的相容条件以及在 $\varepsilon$ 下一致的估计。这些估计为几何光学构造提供了依据。

14. 关于粗糙系数抛物型方程的 Cauchy 问题

On Cauchy Problems for Parabolic Equations with Rough Coefficients

作者: Cheng Yuan

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29984v1

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

摘要翻译

中文标题: 关于粗糙系数抛物型方程的 Cauchy 问题

摘要翻译: 本文研究了具有粗糙扩散系数的非散度型和散度型抛物型方程的 Cauchy 问题，这类方程常见于复合材料、金融定价和粘性流体中。在临界正则性设定下，我们在最优分数阶 Sobolev 空间中建立了唯一可解性。第一个关键技术步骤是构造一个有效的逼近方案，其中扩散系数 $a^ε(t,x)$ 被截断并平滑化，我们严格证明了高频小性的均匀保持。通过将这一逼近方案与仿乘子分解、Fefferman-Stein 极大不等式、Coifman-Meyer 双线性估计以及改进的 Sobolev 嵌入相结合，我们完成了均匀的 a priori 估计，然后取极限。此外，我们通过构造显式反例证明了阈值 $s < \frac{1}{2}$ 是最佳的。这些理论结果为研究具有粗糙系数的抛物型方程的 Cauchy 问题提供了一个严格的数学框架。

15. 半线性阻尼波动算子的部分数据系数辨识逆问题

A partial data coefficient identification inverse problem for a semilinear damped wave operator

作者: Mandeep Kumar, Parveen Kumar, Manmohan Vashisth

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29918v1

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

摘要翻译

中文标题: 半线性阻尼波动算子的部分数据系数辨识逆问题

摘要翻译: 本文处理在有界区域 $\mathbb{R}^{1+d}\ (d\geq 2)$ 中关于半线性阻尼波动算子的一个系数辨识逆问题。我们建立了从部分 Dirichlet-to-Neumann 映射唯一恢复阻尼系数、零阶线性项以及幂型非线性项系数的结果。在假设这些系数在边界的一个邻域内已知，且 Neumann 边界数据仅在边界上一个任意小的开子集上给定的条件下，我们研究了相应的唯一性问题。该分析主要基于唯一延拓原理、Fourier 分析和高阶线性化技术。

16. 整条实线上随机粘性守恒律方程的多项式混合

Polynomial mixing for stochastic viscous conservation law equation on the whole line

作者: Peng Gao, Liying Li

类别: math.AP, math.PR

发布日期: 2026-08-30

arXiv ID: 2608.29824v1

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

摘要翻译

中文标题: 整条实线上随机粘性守恒律方程的多项式混合

摘要翻译: 本文研究整条实线上粘性守恒律方程的长时间行为，该方程受到白噪声驱动，且阻尼与粘性常数可任意小。我们在两种情形下建立了多项式混合速率：(a) 一般超二次通量配合超粘性耗散，其中非线性增长由超粘性阶数控制，且力在一般的 $L^2$-基上充分非退化；以及 (b) 一般二次通量配合标准二阶耗散，且力在某些无条件基上非退化。两种情形均包含经典的 Burgers 型非线性。证明基于 arXiv:2408.00592 中发展的一般多项式耦合判据以及 Foiaş–Prodi 估计。

17. 奇异分数阶随机Burgers方程的先验估计

A Priori Estimates for Singular Fractional Stochastic Burgers Equations

作者: Xiaohao Ji

类别: math.PR, math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29726v1

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

摘要翻译

中文标题: 奇异分数阶随机Burgers方程的先验估计

摘要翻译: 我们研究周期分数阶随机Burgers方程 $(\partial_t+Λ^γ)u=\partial_x(u^2)+|\partial_x|^{1-α}ξ$，其中 $1<γ\leq 2$ 且 $ξ$ 为时空白噪声。在条件 $α>\max{(7-4γ)/2,(15-8γ)/6}$ 下，我们对变换后的余项建立了路径依赖的 $L^1$、能量以及Besov估计。论证过程结合了响应分解与保守型Zvonkin变换。对于 $1<γ<2$，该过程生成了一个补偿非局部扩散算子，其强制性（coercivity）与一个改编自修正Karman–Howarth–Monin论证的三次增量估计相耦合。

18. Landau方程Kac粒子近似的时间一致相对熵估计

Uniform-in-time relative entropy estimates for Kac’s approximation of the Landau equation

作者: Xuanrui Feng, Chenguang Liu, Zhenfu Wang

类别: math.AP, math.PR

发布日期: 2026-08-30

arXiv ID: 2608.29815v1

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

摘要翻译

中文标题: Landau方程Kac粒子近似的时间一致相对熵估计

摘要翻译: 我们证明了三维空间均匀Landau方程（Maxwell分子）的Kac粒子近似的时间一致定量相对熵估计。利用相对熵方法和对数导数估计，我们得到了有限时间内归一化熵界，其阶为 $N^{-1/2}$。证明依赖于显式的协方差恒等式以及一种新的双重方法，用于粒子系统的新大数定律估计。时间一致的混沌传播由与向平衡态代数弛豫估计的插值推导得出。

19. 具有一般外力的稳态粘性Burgers方程周期解的存在性

Existence of Periodic Solutions to Steady Viscous Burgers Equation with a General Force

作者: Yuhan Cao, Quansen Jiu

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29704v1

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

摘要翻译

中文标题: 具有一般外力的稳态粘性Burgers方程周期解的存在性

摘要翻译: 本文基于如下形式展开式 $u^\varepsilon(x)=u_0(x)+\varepsilon u_1(x)+\cdots+\varepsilon^n u_n(x)+\cdots$，构造带有外力 $f(x)$ 的粘性稳态Burgers方程的周期解，其中 $\varepsilon \ge 0$ 表示粘度，而 $u_0(x)$ 是带有外力 $f(x)$ 的非粘性稳态Burgers方程的解。我们将重点关注关于粘度一致有界的解。在我们之前的工作中，从 $u_0=-(2+\cos x)$ 出发，作者构造了带有外力 $f=u_0(x)u_{0x}=-2\sin x-\sin x\cos x$ 的粘性稳态Burgers方程的周期解。在本文中，我们将推广之前工作中获得的主要结果，并构造从一般的满足非粘性稳态Burgers方程 $u_0(x)u_{0x}=f$ 的 $u_0$ 和 $f$ 出发的解。我们将证明存在一个依赖于 $n$ 的 $\varepsilon_0>0$，使得对于任意 $0<\varepsilon<\varepsilon_0$，带有外力 $f$ 的粘性稳态Burgers方程存在一个周期解 $u^\varepsilon(x) \in C^2([0,2π])$，满足 $|u^\varepsilon(x)-u_0(x)-\varepsilon u_1(x)-\cdots-\varepsilon^n u_n(x)| \leq C\varepsilon^{n+1}$，其中 $C>0$ 是一个依赖于 $n$ 但与 $\varepsilon$ 无关的常数。与Jauslin-Kreiss-Moser的结果相比，我们提出了一种新的方法来构造带有一般外力的粘性稳态Burgers方程的周期解。当粘度趋于零时，所构造的解将以更优的收敛速率（达到更高阶）趋近于非粘性Burgers方程的解。

20. 三维空间下满足零条件的非线性波动方程不随时间衰减的整体经典解

Non-time-decaying global classical solutions to nonlinear wave equations in 3D under the null condition

作者: Zexian Zhang, Yi Zhou

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29500v1

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

摘要翻译

中文标题: 三维空间下满足零条件的非线性波动方程不随时间衰减的整体经典解

摘要翻译: 在角导数足够小的假设下，我们给出了三维空间中满足零条件的非线性波动方程整体适定性的另一种证明，其正则性范围与经典局部存在理论一致。与依赖时间衰减的以往方法不同，我们的方法完全基于空间衰减。这为该问题提供了新的视角，并可能应用于爱因斯坦方程的研究，我们计划在未来工作中进一步探讨。

21. 三维半线性 Euler-Poisson-Darboux 方程全局小数据径向对称解

Global small data radial symmetric solutions of 3D semilinear Euler-Poisson-Darboux equations

作者: Qianqian Li, Qiao Xin, Huicheng Yin

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29258v1

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

摘要翻译

中文标题: 三维半线性 Euler-Poisson-Darboux 方程全局小数据径向对称解

摘要翻译: 对于三维半线性 Euler-Poisson-Darboux 方程 $\square u+\fracμ{t}\partial_tu=|u|^p$，其中 $t\geq1$、$μ>0$ 且 $p>1$，人们猜想存在一个临界指数 $p_{crit}(3,μ)=\max\{p_s(3+μ), p_f(3)\}$，其中 Strauss 指数为 $p_s(3+μ)=\frac{μ+4+\sqrt{μ^2+16μ+32}}{2(μ+2)}$，Fujita 指数为 $p_f(3)=\frac{5}{3}$，使得当 $p>p_{crit}(3,μ)$ 时，小数据解 $u$ 全局存在；否则，当 $1<p\le p_{crit}(3,μ)$ 时，解 $u$ 可能在有限时间内爆破。已指出，对于 $1<p\le p_{crit}(3,μ)$，解 $u$ 的爆破已被证明。然而，当 $p>p_{crit}(3,μ)$ 时，小解 $u$ 的全局存在性仍然是一个开放问题。注意，当 $0<μ<\frac{14}{5}$ 时，$p_{crit}(3,μ)=p_s(3+μ)$；而当 $μ\geq\frac{14}{5}$ 时，$p_{crit}(3,μ)=p_f(3)$。在近期论文 [16] 中，作者已经证明了对于 $p>\max\{\frac{5}{3},1+\frac{2}μ\}$ 和 $μ\geq\frac{14}{5}$，小数据解 $u$ 全局存在。在本文中，通过利用超几何 Riemann 表示并建立一些精细的时空加权逐点估计，我们证明了在剩余范围 $\frac{5}{3}<p\leq1+\frac{2}μ$ 和 $\frac{14}{5}\leqμ<3$ 内，小数据径向解 $u$ 的全局存在性。因此，对于径向对称情形且 $μ\geq\frac{14}{5}$，当 $p>p_{crit}(3,μ)=\frac{5}{3}$ 时，小数据解 $u$ 的全局存在问题得到了解决。

22. 三维低正则初值非线性 Klein-Gordon 方程经典解的全局存在性

Global Existence of classical solutions to 3D nonlinear Klein-Gordon equations with low-regularity initial data

作者: Wei Xu, Yi Zhou

类别: math.AP, math-ph

发布日期: 2026-08-29

arXiv ID: 2608.29250v1

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

摘要翻译

中文标题: 三维低正则初值非线性 Klein-Gordon 方程经典解的全局存在性

摘要翻译: 本文研究三维空间中非线性 Klein-Gordon 方程柯西问题的全局存在性，严格局限于经典局部存在的正则性范围内。我们通过高阶和低阶能量估计来证明这一结果。该证明依赖于两个关键要素。第一个要素源于 Georgiev 和 Popivanov 的工作，他们将二次非线性项转化为三次项加上可由幽灵能量控制的项，从而确保了低阶估计。第二个要素是本文建立的一个不含缩放算子的 sharp Klainerman-Sobolev 型不等式，该不等式为二阶导数提供了足够的时间衰减；随后通过分部积分控制了高阶估计中的导数损失项。

23. Novikov方程中稳定的 $C^{7/9}$ 尖点形成

Stable $C^{7/9}$ cusp formation for the Novikov equation

作者: Yunjoo Kim, Dowan Koo, Bongsuk Kwon, Wanyong Shim

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29236v1

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

摘要翻译

中文标题: Novikov方程中稳定的 $C^{7/9}$ 尖点形成

摘要翻译: 我们建立了 Novikov 方程的尖点形成的稳定性，该方程是一种三次非线性的 Camassa–Holm 型方程。我们确定了一个光滑初值的开集，使得首次梯度爆破产生具有精确 Hölder 正则性 $C^{7/9}$ 的尖点。这一结果表明，在非局域波破碎问题中，尖点的精确正则性并非仅由非局域或非线结构决定。虽然守恒的 $H^1$ 型量排除了与 Burgers 型梯度爆破相关的 $C^{1/3}$ 尖点，但精确的 Hölder 指数是由非局域项与非线性代数结构之间的耦合所决定的。在 Novikov 方程中，这种耦合产生了指数 $7/9$，而不是 Camassa–Holm 和 Hunter–Saxton 方程中已知的 $3/5$ 指数。主要难点在于朴素的高频极限保留了方程的三次特征，因此并未展现出自相似主导流。我们通过引入围绕非零背景的 Galilean 型变量变换克服了这一困难，从而揭示出二次 Hunter–Saxton 型主导方程。其自相似轮廓决定了 $C^{7/9}$ 尖点，而非局域项和三次余项则在调制自相似变量中以微扰方式加以控制。

24. 齐次加权函数空间上外部域上的Stokes算子：从弱理论到 $\mathscr H^\infty$-演算再到分数阶定义域

The Stokes Operator on Exterior Domains in Homogeneous Weighted Function Spaces:From Weak Theory to $\mathscr H^\infty$-calculus to Fractional Domains

作者: Reinhard Farwig, Kazuyuki Tsuda

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29002v1

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

摘要翻译

中文标题: 齐次加权函数空间上外部域上的Stokes算子：从弱理论到 $\mathscr H^\infty$-演算再到分数阶定义域

摘要翻译: 我们考虑在 $\mathbb{R}^n$ 的光滑外部域 $Ω$ 上，带有径向对称 Muckenhoupt 权 $w\in \mathscr A_q$ 的齐次 Sobolev 空间 $\widehat H^{κ,q}_w(Ω)$ 中的 Stokes 算子 $A$。一个基本性质是，在加权非齐次和齐次 $L^q$ Sobolev 空间中，Stokes 算子存在有界的 $\mathscr H^\infty$-演算。该性质蕴含了纯虚数幂 $A^{it}$（其中 $t\in\mathbb{R}$）的一致有界性，并且将配备非齐次范数（$\| u\|_{L^q_w} + \|A^θu\|_{L^q_w}$）以及齐次范数（$\|A^θu\|_{L^q_w}$）的分数阶幂的定义域 $A^θ$ 刻画为复插值空间。最终目标是将其与齐次空间 $\widehat{\mathcal D}((-Δ_{q,w})^θ) = [L^q_{w},\widehat{\mathcal D}(-Δ_{q,w})]_θ$ 相交于无散度向量场空间进行识别。此外，我们获得了 Stokes 方程弱解的加权变分不等式、Stokes 半群的加权 $L^q$-$L^r$ 衰减估计以及在 $L^q_{σ,w}(Ω)$ 上的 $L^p$-极大正则性。

不相关论文（基本信息）

1. J-方程最优失稳子簇的有限性与刚性

Finiteness and rigidity of optimal destabilizing subvarieties for the J-equation

作者: P. Sivaram, Zakarias Sjöström Dyrefelt

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

发布日期: 2026-08-31

arXiv ID: 2608.31122v1

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

摘要: We prove that when the J-equation does not admit a smooth solution, there is always only a finite number of obstructing optimally destabilizing curves and divisors on compact Kähler manifolds of any dimension. For threefolds, this establishes the unconditional finiteness of all optimally destabilizing subvarieties. We moreover characterize the union of these optimal subvarieties, proving that they are contained in the locus where a natural continuity path loses local smooth compactness. Finally, to address subvarieties that are neither curves nor divisors, we prove a rigidity criterion which prevents optimal cycles from moving in compact one-parameter families, with further consequences for their deformation and symmetry properties.

2. 一维空间中的稳态动力学 Krylov-Safonov 估计

Stationary kinetic Krylov-Safonov estimates in space dimension one

作者: Yuzhe Zhu

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.31158v1

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

摘要: We prove interior Hölder regularity for solutions of the stationary kinetic Fokker-Planck equation in non-divergence form in space dimension one. The estimate is independent of any small-oscillation condition on the diffusion coefficient.

3. 重审皮卡对皮卡–韦伯–韦克选择定理的证明

Revisiting Picard’s proof of the Picard–Weber–Weck selection theorem

作者: Yi-Sheng Lim, Timo Sprekeler, Marcus Waurick

类别: math.AP, math.FA

发布日期: 2026-08-31

arXiv ID: 2608.31054v1

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

摘要: Revisiting the rationale provided by Picard in the seminal paper [13], we provide an independent, self-contained proof of the Maxwell compactness property for weak Lipschitz domains in the Euclidean setting, detouring technical complications like the differential forms setting, Gaffney’s inequality for smooth domains, Calderon’s extension theorem or regularity theory for PDEs, or systems thereof, on smooth domains that are used in this context. As a by-product we provide an independent proof of the classical Gaffney estimate for cubes using only $L^2$-completeness of the Fourier bases.

4. 自相似链上 Neumann-Poincaré 算子谱的块 Toeplitz 方法

A block-Toeplitz approach to the spectrum of the Neumann-Poincaré operator on self-similar chains

作者: Matias Ruiz

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30991v1

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

摘要: We characterise the spectrum of the Neumann-Poincaré operator acting on a mean-zero subspace of the Sobolev-Slobodeckij space $W^{s,p}(Γ)$, where $Γ$ is a non-Lipschitz domain, consisting of an infinite self-similar chain of disjoint smooth domains accumulating at a limit point. We exploit the discrete geometric scaling of the chain to obtain an exact block-Toeplitz representation of the Neumann-Poincaré operator, as well as the single- and double-layer operators. The corresponding operator-valued symbol depends entirely on the single scaling parameter $α=(d-1)/p-s$ and belongs to the Wiener algebra whenever $0<α<d$. This allows us to exploit block-Toeplitz operator theory to characterise the essential spectrum and Fredholm regions within this regime. In the energy space $H^{-1/2}_0(Γ)$, corresponding to $α= d/2$, we prove the spectrum is real and characterise any isolated eigenvalues outside the essential spectrum through an operator-valued Wiener-Hopf factorisation. Furthermore, we apply an operator-valued Szegő limit theorem to derive the asymptotic spectral distribution for large finite truncations and establish an eigenvalue counting formula based on the operator symbol. We illustrate these results through explicit analytical computations for a chain of concentric annuli and numerical approximations for a chain of disks.

5. 五维各向异性 Allen-Cahn 方程的整体单调解

Entire monotone solutions of the anisotropic Allen-Cahn equation in dimension 5

作者: Haowen Lu, Song Wang, Juncheng Wei, Yuanze Wu

类别: math.AP, math.DG

发布日期: 2026-08-31

arXiv ID: 2608.30904v1

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

摘要: In this paper, we consider the anisotropic Allen-Cahn equation $-\operatorname{div} a(Du)+W'(u)=0$ in $\mathbb{R}^N$, where $a(p):=DH(p)$ with $H(p)=\frac{1}{2}F(p)^2$ and $F$ a uniformly elliptic integrand, and $W(u)=\frac{1}{4}(1-u^2)^2$. Based on the Mooney-Yang anisotropic minimal graph, we prove that the anisotropic Allen-Cahn equation admits a stable solution for $N\geq4$ in the weak sense, whose level sets are not hyperplanes. As a byproduct, we also construct a smooth solution of the above anisotropic Allen-Cahn equation for $N\geq5$ that is monotone in one direction but is not one-dimensional.

6. 非一致椭圆性中 Ladyzhenskaya & Ural’tseva 充分条件的必要性

Necessity of Ladyzhenskaya & Ural’tseva’s sufficient conditions in nonuniform ellipticity

作者: Cristiana De Filippis

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30898v1

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

摘要: The sufficient conditions of Ladyzhenskaya & Ural’tseva \cite{lu70} for interior gradient estimates in nonuniformly elliptic problems are found to be also necessary. Specifically, nonparametric minimal surfaces exhibit the maximal nonuniformity rate compatible with the local Lipschitz regularity of solutions, and the classical theory of Finn \cite{fin54} and Bombieri & De Giorgi & Miranda \cite{bdm69} doesn’t extend beyond Bernstein genre $2$.

7. 平面 $p$-调和函数的 Almgren 型公式

An Almgren-type formula for planar $p$-harmonic functions

作者: Yi Ru-Ya Zhang

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30847v1

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

摘要: For a nonconstant planar $p$-harmonic function $u$, with $1 < p < \infty$, and according to previous results, most notably Aronsson’s fundamental analysis of the hodograph representation in a neighborhood of an isolated critical point, we introduce the flux-normalized frequency

$$ N_*(x_0,r) = \frac{r\displaystyle\int_{B_r(x_0)} |D u|^p\,dx} {\displaystyle\int_{\partial B_r(x_0)} |D u|^{p-2}(u-u(x_0))^2\,dS}. $$

This ratio constitutes the natural counterpart of Almgren’s frequency function in the nonlinear setting, as it recovers precisely the degree of homogeneity for every homogeneous $p$-harmonic profile. We further establish the corresponding gauge-corrected version of Almgren-type monotonicity and reinterpret, in terms of the frequency function, the classical planar unique continuation property. In addition, we derive a quantitative pinching estimate for the flux-normalized frequency and identify the specific obstruction that prevents a straightforward extension of the method to higher dimensions.

8. 具有快速或慢速收敛的古圆柱流

Ancient cylindrical flows with fast or slow convergence

作者: Kyeongsu Choi, Robert Haslhofer

类别: math.DG, math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30787v1

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

摘要: In a recent breakthrough, Bamler-Lai proved the mean-convex neighborhood conjecture in all dimensions by showing that any nontrivial ancient asymptotically cylindrical mean curvature flow is – up to splitting Euclidean factors – either a translating bowl, or an ancient oval, or a translating oval-bowl. In this paper, we provide a short alternative argument for two of the three scenarios. Specifically, using more elementary/traditional methods, we show that if the convergence to the round cylinder is fast then the solution is a bowl times a Euclidean factor, and if the convergence is slow then the solution is an ancient oval. Moreover, the present paper also yields a new proof of the mean-convex neighborhood conjecture for neck-singularities that substantially simplifies and streamlines the approach from our prior work joint with Hershkovits (Acta ‘22) and Hershkovits-White (Inventiones ‘22).

9. 具有非局部 Robin 边界条件的热半群超压缩性：基于正特征函数的双侧估计

Ultracontractivity of heat semigroups with non-local Robin boundary conditions via two-sided bounds for a positive eigenfunction

作者: Christoph Schwerdt

类别: math.AP, math.FA

发布日期: 2026-08-31

arXiv ID: 2608.30763v1

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

摘要: We study heat semigroups on bounded Lipschitz domains $Ω\subset \mathbb{R}^{d}$ with dimension $d>2$ under non-local Robin boundary conditions. The boundary operator $B \in \mathcal{L}( \mathrm{L}^{2}(\partialΩ))$ is allowed to destroy the positivity of the semigroup. We assume that there exists a positive operator $C \in \mathcal{L}(\mathrm{L}^{2}(\partialΩ))$ such that

$$ |Bu| \leq C|u| \quad\text{for every }u\in \mathrm{L}^{2}(\partialΩ), \qquad C{\bf 1}\in \mathrm{L}^{\infty}(\partialΩ). $$

Under this assumption, we prove that the semigroup generated by the corresponding uniformly elliptic operator is ultracontractive. More precisely, its norm from $\mathrm{L}^{2}(Ω)$ to $\mathrm{L}^{\infty}(Ω)$ has short-time order $t^{-d/4}$. The main step is the construction of a positive eigenfunction $φ$ of a dominating elliptic operator such that

$$ 0 \ < \ δ\ \leq \ φ\ \leq \ M $$

almost everywhere in $Ω$. The upper bound is obtained by power truncations and an iteration of Sobolev exponents. The lower bound follows by comparison with the Neumann semigroup. The two-sided estimate gives an $\mathrm{L}^{\infty}$-bound for the comparison semigroup. Nash’s inequality and duality then yield ultracontractivity.

10. 关于支撑在无界曲线上的洛伦兹标量 $δ$-壳层相互作用狄拉克算子的离散谱

On the discrete spectrum of Dirac operators with Lorentz-scalar $δ$-shell interactions supported on unbounded curves

作者: Markus Holzmann, Vladimir Lotoreichik, Marco Vogel

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

发布日期: 2026-08-31

arXiv ID: 2608.30651v1

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

摘要: We consider the massive Dirac operator (with positive mass) in the plane with an attractive Lorentz-scalar $δ$-shell interaction of strength $τ\in(-\infty,0)\setminus\{-2\}$ supported on a $C^\infty$-smooth curve $Σ\subset\mathbb{R}^2$ being a local deformation of the broken line. This singular interaction is defined by imposing a suitable transmission condition on the curve $Σ$ in the operator domain. Such a Dirac operator is self-adjoint and has a gap in the essential spectrum, whose size is explicit and depends on the mass and the interaction strength. We show that the number of discrete eigenvalues in the gap is finite. Under the assumption that one of the domains bounded by $Σ$ is convex, we prove that the corresponding Dirac operator has a non-empty discrete spectrum, provided that $τ$ is either sufficiently small or sufficiently large in absolute value. The result holds for any perturbation of a broken line of any opening angle as described above, and this discrete spectrum is induced by the geometry, since for the same type of a singular interaction supported on the straight line the discrete spectrum is empty.

11. 通过 Bernstein 技术重新审视四阶 Hénon 方程的 Fazly-Wei-Xu 逐点估计

Revisiting Fazly-Wei-Xu pointwise estimates for the fourth-order Hénon equation via Bernstein’s technique

作者: Quôc Anh Ngô, Trung Nguyen

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

发布日期: 2026-08-31

arXiv ID: 2608.30625v1

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

摘要: In a remarkable work published in Analysis and PDE 8 (2015) 1541-1563, M. Fazly, J. Wei, and X. Xu establish the following pointwise estimate

$$ -Δu \geq \frac 2{n-4} \frac{|\nabla u|^2}u + \sqrt{\frac 2{p+1- \frac 8{n(n-4)}}} |x|^{\frac σ2} u^\frac{p+1}2 \quad \text{in } \mathbf R^n $$

for any bounded, positive, $C^4$-solution $u$ to the the fourth-order Hénon equation

$$ Δ^2 u = |x|^σu^p \quad \text{in } \mathbf R^n $$

with $n \geq 5$, $σ\geq 0 $ but implicitly near $0$, and $p>(n+4+2σ)/(n-4)$. Their argument relies on a sophisticated iteration argument in the fashion of the standard Moser proof. In this paper, we provide an alternative approach which relies on the Bernstein technique via the maximum principle. The heart of our argument is a suitable choice of an auxiliary function allowing us not only achieving the same pointwise estimate, which still holds even for $p = (n+4+2σ)/(n-4)$, but also relaxing the boundedness of solutions. In addition, the pointwise inequality actually holds for any $σ\geq 0$. This estimate leads to an interesting consequence of the existence of conformal metric of $\mathbf R^n$ having positive scalar and $Q$ curvatures. We also show that the coefficient $2/(n-4)$ is sharp, hence providing the first answer to the question in the op. cit. paper. Our proof appears to be simpler and constructive.

12. Nehari 临界值附近的紧支撑解

Compactly Supported Solutions near a Nehari Critical Value

作者: J. I. Dıaz, J. Hernandez, Y. Ilyasov

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30578v1

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

摘要: We study non-negative solutions of the indefinite sublinear Dirichlet problem

$$ \left \{\ \begin{array}{ll} -Δu=λu+m(x)|u|^{α-1}u&\quad\hbox{ in $Ω$},\\ u=0&\quad \hbox{ on $\partial Ω$}, \end{array} \right . $$

where $Ω\subset \mathbb{R}^{N}$ is a smooth bounded domain, $0<α<1$, $m\in L^{\infty }(Ω)$ is a sign-changing or non-positive weight, and $λ\in \mathbb{R}$.

13. 临界维度下非齐次半线性热方程的增长速率

Grow-up rates of inhomogeneous semilinear heat equations in the critical dimension

作者: Kenta Kumagai

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30518v1

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

摘要: This paper concerns the grow-up rate of solutions to a semilinear heat equation in the unit ball with the exponential nonlinearity and an inhomogeneous term $f$. When $f=0$, it is known that the large-time behavior of a solution changes at the critical dimension $N=10$, and the grow-up phenomenon occurs for the case $N\ge 10$. For the inhomogeneous case with $N\ge 10$, the present author and a coauthor showed in [12] that the grow-up phenomenon disappears once $f$ exceeds a threshold. In this paper, we provide a quantitative characterization of the disappearance of the grow-up phenomenon by obtaining the grow-up rate in the critical dimension. Our result shows that a qualitatively different type of grow-up behavior occurs in the critical dimension compared with the case $N\ge 11$ studied in [12]. The difference is caused by a change in the outer behavior of the solution. Even in the case $f=0$, our result is new in that it provides a rigorous justification of the formal computation by Galaktionov and King [10].

14. 磁弹性框架下线弹性椭圆膜壳理论的推导

Derivation of a linearly elastic elliptic membrane shell theory in the framework of magnetoelasticity

作者: Trung Hieu Giang

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30445v1

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

摘要: Starting from a three-dimensional model of linearized magnetoelasticity, we investigate the asymptotic behavior of a thin shell as its thickness approaches zero. Our analysis focuses on a family of linearly elastic elliptic membrane shells. Using $Γ$-convergence, we rigorously derive a two-dimensional linear magnetoelastic shell model and establish its relationship to the original three-dimensional model in terms of the convergence of minimizers.

15. 扭曲 Kähler–Ricci 流下局部 Arnold 重数的局部衰减公式的失效

Failure of the Proposed Local Decay Formula for Local Arnold Multiplicities under Twisted Kähler–Ricci Flow

作者: Xiangsen Qin

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

发布日期: 2026-08-31

arXiv ID: 2608.30302v1

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

摘要: Let $λ(u,x)$ be the local Arnold multiplicity of a quasi-plurisubharmonic function $u$. Di Nezza–Guedj–Lu asked whether every maximal weak solution $\varphi_t$ of the twisted Kähler–Ricci flow satisfies $λ(\varphi_t,x)=\max\{λ(\varphi_0,x)-t,0\}$. We give counterexamples on the Hirzebruch surface $\mathbb F_e=\mathbb P_{\mathbb P^1} (\mathcal O_{\mathbb P^1}\oplus\mathcal O_{\mathbb P^1}(-e))$, $e\ge2$. Let $S$ be its negative section and $F_1,\ldots,F_k$ be distinct fibres. If $a,b_i>0$, $\sum_i b_i>ea$, and the initial current is $a[S]+\sum_i b_i[F_i]$, then $λ(\varphi_t,x)=a-\min\{k/e,1\}t$ for $x\in S\setminus\bigcup_iF_i$ and $0<t<\min\{a,b_1,\ldots,b_k\}$. Thus the formula fails for $k<e$; the slower decay is forced by the Zariski negative part of the residual class. Under explicit SNC and positivity hypotheses, we also prove an exact surface formula for pure divisorial data. Consequences include nonlocality with fixed background data and explicit multiplier ideals. Products with smooth factors give counterexamples in every complex dimension $n\ge2$.

16. 大尺度扩张上的参数一致 Robin 唯一性

Parameter-uniform Robin uniqueness on large dilations

作者: Sophie Sun

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30211v1

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

摘要: Berestycki and Graham proved large-dilation uniqueness for bounded positive solutions of $-Δu=f(u)$ in $κΩ$, with $u+α\partial_νu=0$ on $\partial(κΩ)$, when $α$ is fixed, and remarked that the dilation threshold should not depend on $α$. We show that it does not, including at the Dirichlet and Neumann endpoints, for possibly unbounded uniformly $C^{2,γ}$ domains. The half-space linearizations retain a common positive spectral gap across the compactified boundary parameter. The remaining endpoint difficulty is nonlinear compactness at the Dirichlet end, where the Robin coefficient diverges. Rescaling at its reciprocal scale makes the limiting equation harmonic. Any trace that persisted in this limit would give a bounded harmonic half-space solution of $\partial_νv+v=0$, which a Liouville lemma rules out. Combining this endpoint compactness with the half-space gap and localization gives uniform large-dilation uniqueness. When $\partialΩ\neq\varnothing$, we further obtain convergence of the spectral bottom to its half-space value with error $O(κ^{-1/2})$. For bounded $C^{4,γ}$ domains the boundary layer also has a first mean-curvature correction, with remainder $O(κ^{-1-γ}+κ^{-2})$ on each fixed boundary strip.

17. 分数阶 Schrödinger 算子的强唯一延拓性

Strong Unique Continuation for Fractional Schrödinger Operators

作者: Harsh Prasad

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30232v1

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

摘要: We prove the strong unique continuation property for the fractional Schrödinger equation

$$ (-Δ)^s u=Vu $$

with scaling-critical potentials $ V\in L^{\frac{n}{2s}}_{\mathrm{loc}}$ for all $0<s<1$. Our result constitutes the nonlocal counterpart to the classical Jerison–Kenig result for Schrödinger operators.

18. 周期Schrödinger算子的能带边缘通常是孤立且非简并的

Band edges of periodic Schrödinger operators are generically isolated and nondegenerate

作者: Zhongkai Tao, Mengxuan Yang

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

发布日期: 2026-08-31

arXiv ID: 2608.30189v1

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

摘要: For periodic Schrödinger operators $H_V=-Δ+V$ with bounded real-valued potentials on $\mathbb R^d$ with $d\ge2$, we show that for generic potentials, each endpoint of every spectral gap is attained by a single Bloch band at only finitely many quasimomenta, and has a nondegenerate Hessian at every attaining point. This proves the Spectral Edge Conjecture for periodic Schrödinger operators.

19. 矩形环面上具有一个锥奇点的球面度量精确计数

Exact counting of spherical metrics with one conical singularity on rectangular tori

作者: Zhijie Chen, Shihong Zhang

类别: math.AP, math.DG

发布日期: 2026-08-31

arXiv ID: 2608.30174v1

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

摘要: We prove that for every integer $n\geq 2$ and $8π(n-1)<ρ<8πn$, the singular Liouville equation $Δu+\e^u=ρδ_0$ on a rectangular torus $E_{\mathrm{i}b}=\mathbb{C}/(\mathbb Z+\mathrm{i} b\mathbb Z)$ has exactly $n$ solutions, which are all axisymmetric. Together with previous results by Chen-Lin and Lin-Wang, this yields that \begin{itemize} \item $E_{\mathrm{i} b}$ admits no spherical metrics with a conical singularity of angle $2π\vartheta$ as long as $\vartheta$ is a positive odd integer. \item For every integer $n\geq 1$, $E_{\mathrm{i} b}$ admits exactly $n$ spherical metrics with a conical singularity of angle $2π\vartheta$ for each $\vartheta\in (2n-1, 2n+1)$. \end{itemize} The basic idea is to prove that the linearized equation has only trivial solutions in the space of axisymmetric functions. The previous method of analysing nodal domains via Bol’s isoperimetric inequality only works for $ρ\leq 8π$. We develop a unified approach for all $ρ\in (0,+\infty)\setminus 8π\mathbb{N}_{\geq 1}$ by exploring the deep connection with the monodromy of the classical Lamé equation.

20. 有界域上Yamabe泛函在冒泡构型附近的Łojasiewicz–Simon不等式

Łojasiewicz–Simon inequalities near bubbling configurations for the Yamabe functional on bounded domains

作者: Tianling Jin, Jingang Xiong, Ning Zhou

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2608.30173v1

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

摘要: We establish Łojasiewicz–Simon type gradient inequalities for the Yamabe functional on bounded smooth domains near configurations consisting of finitely many concentrating bubbles, with or without a regular component. A weighted decomposition separates the finite-dimensional spectral and bubble parameters from an infinite-dimensional coercive remainder. We obtain quantitative estimates for the parameters, the remainder, and the corresponding energy gaps, in both the regular-plus-bubbling and the pure-bubbling regimes. These inequalities quantify the deviation from such surfaces and are essential for studying the dynamics of related parabolic flows.

21. 对称极大曲面方程

The symmetric maximal surface equation

作者: Rongli Huang, Peihe Wang, Hengyu Zhou

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

发布日期: 2026-08-31

arXiv ID: 2608.30167v1

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

摘要: We establish the existence of smooth solutions to the symmetric maximal surface equation with degenerate boundary conditions. Moreover, we prove that these solutions maximize the associated area functionals. This result serves as the Lorentzian analogue of minimal graphs in hyperbolic spaces together with their associated area minimizing problem.

22. 平面 Khavinson-Shapiro 猜想的证明

Proof of the planar Khavinson-Shapiro conjecture

作者: Feng Shao, Weicheng Zhan

类别: math.AP, math.AG

发布日期: 2026-08-30

arXiv ID: 2608.29909v1

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

摘要: Let $Ω\subset\mathbb{R}^2$ be a bounded domain whose boundary is a finite union of pairwise disjoint Jordan curves. We prove the planar Khavinson–Shapiro conjecture in this setting: if every polynomial on $\mathbb{R}^2$ agrees on $\partialΩ$ with a harmonic polynomial, then $\partialΩ$ is an ellipse and $Ω$ is its bounded interior.

23. 高斯扭转刚度的 BM 型不等式失效

Failure of a BM-type inequality for the Gaussian torsional rigidity

作者: Xuan Hien Nguyen, Alina Stancu

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29941v1

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

摘要: Let $u$ be the torsion function for the Ornstein–Uhlenbeck operator on a bounded domain $Ω\subset \R^n$, i.e., the solution of $Δu - x \cdot \nabla u=-1$ in $Ω$ with $u=0$ on $\partialΩ$. Let $\Tg(Ω)=\int_Ωu\,dγ$ be the Gaussian torsional rigidity. We prove that the Brunn–Minkowski-type inequality $\Tg((1-t)Ω_0+tΩ_1)^α\le (1-t)\Tg(Ω_0)^α+t\Tg(Ω_1)^α$ fails for every exponent $α>0$ and in every dimension $n\ge2$, for a pair of convex bodies centrally symmetric with respect to the origin, which may be taken smooth with positive curvature. This answers Conjecture1.4 and Question(Q) of Marín Sola and Salerno in the negative. The mechanism is a first-order lower bound for $\Tg$ at a ball $Ω_0$ under Minkowski perturbations. When the perturbing body $Ω_1$ has small torsion and large mean width, $\Tg((1-t) Ω_0 + t Ω_1)$ increases to first order. Since the Minkowski combination has larger torsion than both endpoints, no exponent can repair the inequality.

24. Engelbert–Schmidt 条件下的一维 Feynman–Kac 正则性

One-dimensional Feynman–Kac regularity under the Engelbert–Schmidt conditions

作者: Johannes Ruf

类别: math.PR, math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29854v1

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

摘要: Let $X$ be a time-homogeneous one-dimensional diffusion whose coefficients satisfy the Engelbert–Schmidt conditions, and let $q$ be a bounded potential. We show that the associated Feynman–Kac semigroup is smooth in time and $C^1$ in space, with a locally absolutely continuous first spatial derivative; the Kolmogorov equation holds almost everywhere. If the drift, second-order coefficient, and potential are continuous, the Feynman–Kac value is $C^{1,2}$ in the interior. Thus, in the time-homogeneous one-dimensional setting, continuity suffices for interior $C^{1,2}$ regularity. We identify the corresponding semigroups with the killed and reflected Feynman–Kac functionals, treat nonzero, time-independent Dirichlet data, and give examples showing the sharpness of the continuity assumptions and the failure of the corresponding statement in two dimensions.

25. 渐近柱状 Lipschitz 域中 Kolmogorov 方程的边界 Harnack 不等式

Boundary Harnack inequalities for Kolmogorov equations in asymptotically cylindrical Lipschitz domains

作者: Kaj Nyström

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29813v1

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

摘要: We establish boundary Harnack inequalities for non-negative solutions of the Kolmogorov equation

$$ \mathcal Ku=Δ_xu+x\cdot\nabla_yu-\partial_tu=0 $$

in non-characteristic intrinsic Lipschitz graph domains whose defining functions may depend on the higher-order variable $y_m$. Earlier theory required independence of $y_m$. We replace this symmetry by quantitative asymptotic cylindricality, measured by a scale-invariant $C^{0,1/3}_{y_m}$ defect. The perturbative comparison theorem applies whenever this defect is sufficiently small, and hence at all sufficiently small scales for $C^{0,α}_{y_m}$ graphs with $α>1/3$, as well as under a vanishing critical cylindrical modulus. We obtain local comparability and intrinsic Hölder continuity of quotients of positive solutions, together with a Hölder estimate for their logarithmic quotient. The proof combines local boundary estimates, valid without $y_m$-independence, with a global rigidity argument for cylindrical blow-up limits. The central issue is uniform balance of forward and backward reference values. If this balance fails at collapsing scales, maximal-scale selection and a second rescaling produce a non-negative polynomial-growth Dirichlet solution in an unbounded cylindrical domain that vanishes at the backward reference point but not at the forward one. We exclude this configuration using boundary-energy and mean-value estimates, finite-dimensionality of spaces of polynomial-growth solutions, and translation invariance in $y_m$. The resulting finite-dimensional translation representation yields real-analytic dependence on $y_m$. Propagation of zeros, analytic continuation along invariant fibres, and a Tikhonov uniqueness argument then force the limiting solution to vanish identically. The exponent $1/3$ is critical because $y_m$ has homogeneous degree three.

26. 具有正标量曲率的闭合三维流形的尖锐单调性

Sharp monotonicity for closed three-manifolds with positive scalar curvature

作者: Cosmin Manea

类别: math.DG, math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29853v1

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

摘要: We prove two sharp monotonicity formulae for the natural Green’s function of a closed three-manifold with positive scalar curvature, analogous to the Munteanu-Wang theorem for non-negative scalar curvature. We also show that both results may be interpreted as the monotonicity of a suitably defined “enclosed mass” of the sublevel sets of Green’s function in the corresponding “conformal” blow-up of the manifold.

27. 聚集与排序：平面极性斑点的质量守恒反应-扩散模型

Clustering versus sorting: a mass-conserving reaction-diffusion model of planar polarity puncta

作者: Sk Raj Hossein, Eman Alwani, Andreas Buttenschön, Alexander G. Fletcher

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

发布日期: 2026-08-30

arXiv ID: 2608.29679v1

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

摘要: Planar cell polarity is preceded by the clustering of polarity proteins into discrete, low-turnover membrane subdomains (puncta), yet the minimal interactions that nucleate puncta, set their number, and segregate opposite orientations remain unclear. We address these questions with a mass-conserving reaction-diffusion model in which two diffusible monomers bind reversibly across a cell-cell junction into trans-complexes of two orientations, with feedback entering only through concentration-dependent rates. Above a critical density, the uniform state undergoes a long-wavelength mass-redistribution instability rather than a finite-wavelength Turing bifurcation. The form of the feedback then selects between two morphologies: broad mesas fixed by a Maxwell construction under saturating feedback, and narrow mass-limited spikes under unbounded feedback. For spikes we obtain closed-form expressions exhibiting a clean separation of amplitude (mass and feedback), width (the complex diffusion length), and spacing (the monomer screening length). Within a fast-monomer reduction we prove, for any number and arrangement of puncta, that like-oriented arrays coarsen, so multiplicity is metastable and kinetically determined. The second monomer reservoir introduces a second screening length that rate-limits competition by the harmonic mean of the monomer diffusivities, and the spectrum of a punctum remains free of oscillatory (“blinking”) instabilities throughout. Finally, sign-definite cross-modulation of turnover converts clustering into orientation sorting - the mutual exclusion of orientations along a single contact: mass redistribution sets puncta number, and the sign of the cross-coupling determines whether orientations segregate. Puncta number and orientation sorting are thus governed by mathematically separable ingredients.

28. 超临界维数中齐次空间内禀稳态双调和映射的能量恒等式

Energy identity for Intrinsic Stationary Biharmonic Mappings into Homogeneous Spaces in Supercritical Dimensions

作者: Chang-Yu Guo, Yu-Ting Kang, Ming-Lun Liu, Wen-Juan Qi

类别: math.AP, math.DG

发布日期: 2026-08-30

arXiv ID: 2608.29673v1

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

摘要: In this paper, we consider energy identity for intrinsic stationary biharmonic maps into homogeneous spaces in supercritical dimensions, extending the corresponding result of Hornung-Moser [Anal. PDE. 2012] in critical dimension. The proof follows a similar strategy as that of Lin-Rivière [Duke Math. J. 2002]. A key ingredient is a conservation law for intrinsic biharmonic maps into homogeneous spaces, which allow us to derive higher regularity of the map.

29. 线性化库仑–哈特里–福克方程的等离子体极

Plasmon poles for the linearized Coulomb–Hartree–Fock equation

作者: Yuya Dan

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29671v1

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

摘要: We study the time-dependent Hartree–Fock equation in $\R^3$ with physical Coulomb interactions in both direct and exchange channels, with exchange coupling $η$, linearized about homogeneous equilibria $γ_f=g(-i\nabla)$ having compact momentum support. Nguyen and You showed that, without exchange, two purely imaginary plasmon poles $\pm iτ_0(|k|)$ exist below a survival threshold $κ_0>0$. Existing nonlinear Hartree–Fock theory requires a short-range direct interaction and a smooth small exchange kernel, excluding the present Coulomb setting. On every compact band $0<k_-\le|k|\le k_+<κ_0$, we prove unconditionally for Coulomb exchange that, for small $|η|$, the poles persist, remain simple and purely imaginary, and depend real-analytically on $η$. Their first-order shift $τ_X$ splits into explicit static self-energy and dynamic vertex corrections. Each pole yields an exact undamped mode with a closed-form unit-density eigenfunction, embedded in the fiber generator’s essential spectrum. The causal density Green function splits into an explicit undamped sine wave and a remainder whose Laplace transform is holomorphic near the poles, while the plasmon channel satisfies uniform $t^{-3/2}$ dispersive decay and endpoint Strichartz estimates. A first-order Ward-type cancellation gives $|τ_X(r)|\le Cr^2$ down to $r=0$; hence exchange leaves the plasma gap unchanged to first order, and we obtain a closed formula for the stiffness correction. Numerics for a $C^9$ smoothed Fermi ball support the analysis: self-energy and vertex terms cancel within $1.2\%$ on the computed range, and exchange softens the dispersion most strongly near $0.7\,κ_0$.

30. 非均匀介质中的时间调制重聚焦

Time-modulated refocusing in inhomogeneous medium

作者: Hongyu Liu, Wei Wu

类别: math.AP, math-ph

发布日期: 2026-08-30

arXiv ID: 2608.29542v1

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

摘要: In an inhomogeneous dissipative medium, different rays experience different round-trip attenuation, so an instantaneous time mirror may retrace rays without producing a balanced point focus. We solve this problem for a microlocally selected back-propagating transverse-magnetic component generated by a short pulsating modulation of a thin shell surrounding an inhomogeneous Debye medium with Ohmic conductivity. An exact decomposition of the Maxwell–Debye field isolates the pulse-generated return, and a semiclassical mode reduction yields a scalar returned operator whose principal symbol separates the temporal pulse response, shell modulation, and accumulated material loss. Our analysis shows that geometric distortion and amplitude attenuation are both involved in wave propagation, but the geometric distortion cancels between the outgoing and returning branches, whereas physical attenuation remains. A normalized directional energy, computed from pre-modulation measurements using the known lossless backward propagator, contains the same leading attenuation factor as the returned symbol. Its reciprocal defines a smooth, nonnegative, physically admissible modulation that equalizes the selected source-side gain up to a relative $O(h)$ error without requiring a complete attenuation model. With such a modulation, the field generated by a point source has a focal-scale leading profile independent of directional attenuation, with a unique maximum at the source and coherent return time. In every fixed focal window, the maximum is displaced by at most $O(h^2)$ in space and time, and the spatial half-amplitude area is $O(h^2)$.

31. 关于由时空白噪声散度驱动的二维 Cahn-Hilliard 方程的注记

Remarks on the two-dimensional Cahn-Hilliard equation forced by divergence of space-time white noise

作者: Kazuo Yamazaki

类别: math.AP, math.PR

发布日期: 2026-08-30

arXiv ID: 2608.29534v1

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

摘要: We consider the two-dimensional Cahn-Hilliard equation forced by divergence of space-time white noise that represents Kawasaki dynamics in conservative form. The standard heuristic argument shows that the solution is a distribution and thus the product within the nonlinear term is ill-defined. We prove the global-in-time unique solution theory. Besides a minimum amount of the standard renormalization procedure to deal with ill-defined products, our proof consists of applications of deterministic analysis tools and taking advantage of the unique structure of the equation, which is crucial.

32. 高维经典 Keller-Segel 趋化模型解的无穷时间爆破

Infinite time blow-up of solutions to the classical Keller-Segel model of chemotaxis in higher dimensions

作者: Yūki Naito, Takasi Senba

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29522v1

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

摘要: We study the simplest parabolic-elliptic model of chemotaxis in ${\bf R^N}$, and show the optimal criteria for the existence of infinite time blow-up of solutions with the initial data below the Chandrasekhar singular solution when $N \geq 10$. In particular, we exhibit the differences of the criteria between the cases $N \geq 11$ and $N = 10$. Our argument is based on the study of the Cauchy problem for the transformed equation involving the averaged mass of the solution and the asymptotic expansions of solutions to the Liouville equation.

33. 二次 Hessian 方程的内部 $C^{2,α}$ 正则性

Interior $C^{2,α}$ Regularity for the Quadratic Hessian Equation

作者: Ruosi Chen, Xingchen Zhou, Ruixuan Zhu

类别: math.AP

发布日期: 2026-08-30

arXiv ID: 2608.29484v1

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

摘要: We establish interior $C^{2,α}$ regularity for admissible solutions of the quadratic Hessian equation with positive $C^α$ right-hand side on the full positive branch. The main ingredients are a quantitative large-trace propagation argument and an adaptive Dirichlet comparison method.

34. 一个求积曲面自由边界问题的黎曼扩展：稳定性与最优性

A Riemannian Extension of a Quadrature Surface Free Boundary Problem: Stability and Optimality

作者: Ababacar Sadikhe Djite, Diaraf Seck

类别: math.AP, math.DG

发布日期: 2026-08-29

arXiv ID: 2608.29462v1

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

摘要: We study a quadrature surface free boundary problem on a smooth compact finite-dimensional Riemannian manifold $(M,g)$. The problem is formulated as a shape optimization problem involving a Dirichlet problem for the Laplace–Beltrami operator, with a geometric condition on the free boundary. Under suitable uniform geometric assumptions on the admissible class, we establish its compactness and prove the stability of the corresponding Dirichlet problems, including strong convergence of the associated states in $H_0^1(M)$. We derive the first-order optimality condition for the associated shape functional. Finally, we establish a Riemannian comparison principle for the second fundamental forms and the mean curvatures of tangent boundaries at a contact point. These results provide a rigorous extension of the quadrature surface free boundary framework from the Euclidean setting to compact Riemannian manifolds.

35. $k$-Hessian方程整体解的Liouville型刚性结果

A Liouville type rigidity result for entire solutions of the $k$-Hessian equation

作者: Bin Wang

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29392v1

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

摘要: In this note, we prove a Liouville type rigidity result for smooth entire solutions of the $k$-Hessian equation. The proof makes use of a concavity inequality for the $k$-Hessian operator.

36. 从双曲型 Dirichlet-to-Neumann 映射全局恢复 Lorentzian 主几何

Global recovery of Lorentzian principal geometry from the hyperbolic Dirichlet-to-Neumann map

作者: Lu Chen, Yan Jiang, Hongyu Liu, Longyue Tao

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29332v1

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

摘要: We prove that the full Dirichlet-to-Neumann map on a finite time interval globally determines the Lorentzian metric $\mathbf G_{g,c}=-c(x,t)^2\mathrm{d}t^2+g(x)$ encoded by the principal symbol of the wave operator. The result holds in spatial dimensions $n\geq3$ for multiplicatively separable wave speeds $c(x,t)=a(x)b(t)$, provided the accumulated effective time during the experiment exceeds the maximal travel time from the boundary to the interior and back. The data determine both the unknown Riemannian metric $g(x)$ and the wave speed $c(x,t)$ throughout the observation cylinder, up to a spatial change of coordinates that fixes the boundary and leaves the measured time unchanged. In particular, the temporal factor $b$ is not prescribed but is recovered from the same measurements. We also construct several examples demonstrating that the dimensional and visibility conditions for uniqueness are sharp.

37. p-Laplacian 第一 Dirichlet 特征函数的对数 p-通量的两点模

Two-point modulus for the logarithmic p-flux of the first Dirichlet eigenfunction of the p-Laplacian

作者: Rui Chen

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29195v1

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

摘要: We study two-point estimates for the logarithmic $p$-flux

$$ X_Ω:= |\nabla\log u|^{p-2}\nabla\log u, $$

where $u$ is the positive first Dirichlet eigenfunction of the $p$-Laplacian on a bounded convex domain $Ω$. When $p=2$, this reduces to $\nabla\log u$, whose sharp modulus of concavity is a key ingredient in the proof of the fundamental gap conjecture by Andrews and Clutterbuck. We investigate whether an analogous one-dimensional modulus persists for $p\neq2$. We first prove sharp two-point estimates on intervals and balls for every $p>1$. On balls, the sharp radial modulus is strictly larger than the corresponding one-dimensional modulus. In contrast, in dimensions $N\ge2$, the one-dimensional modulus fails in general on convex domains for every $p\neq2$. For $1<p<2$, the counterexample is obtained from the boundary behavior near a flat portion of the boundary and is preserved under smooth convex approximation. For $p>2$, we use thin rectangles and derive the limiting behavior $u_\varepsilon(x,0)\rightarrow(\cosπx)^{2/p}$, together with a second-order expansion of the rescaled first eigenvalue. Finally, we decompose the symmetric derivative of the nonlinear logarithmic flux relative to the level sets of $-\log u$. The decomposition shows how the tangential variation of $|\nabla\log u|$ separates log-concavity from monotonicity of the nonlinear flux, and explains the special roles of $p=2$, one dimension, and radial symmetry.

38. 半空间中某些拟线性问题的先验估计与不存在性结果

Apriori Estimates and Nonexistence Results for Some Quasilinear Problems in a Half-Space

作者: Evgeny Galakhov, Olga Salieva

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29155v1

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

摘要: We obtain apriori estimates for positive solutions of some quasilinear elliptic problems in a half-space. Using these estimates and other techniques, we derive new nonexistence results for the respective Dirichlet problems.

39. 一种用于局部周期椭圆问题高阶均匀化的张量神经网络方法

A Tensor Neural Network Method for High-Order Homogenization of Locally Periodic Elliptic Problems

作者: Huaijia Zhang, Haochen Liu, Xia Ji, Hehu Xie

类别: math.NA, math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29176v1

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

摘要: We develop a high-order tensor neural network (TNN) method for locally periodic elliptic multiscale problems of the form $-\nabla\cdot(A(x,x/\varepsilon)\nabla u_\varepsilon)=f$. Because the coefficient depends on both the slow variable $x$ and the fast periodic variable $y=x/\varepsilon$, the high-order cell problems and macroscopic corrector equations are more involved than in the classical case $A=A(y)$, and the correctors depend parametrically on $x$. We derive a computable high-order two-scale expansion and prove an $H^1$ convergence estimate for the partial expansion in boundary-layer-free settings, including periodic domains and ideal boundary-matching configurations. The proof uses the recursive compatibility structure of the corrector hierarchy and a zero-mean oscillation estimate in $H^{-1}$. We then construct a TNN framework for the high-dimensional corrector problems. Its tensor-product structure permits deterministic one-dimensional quadrature for the cell problems, homogenized coefficients, macroscopic source terms, and loss functions, avoiding Monte Carlo integration error. The numerical realization assumes that the coefficient entries and assembled data admit finite or controlled tensor-product representations; this computational assumption is separate from the general matrix-valued coefficient class used in the analysis. Experiments with scalar locally periodic coefficients show accurate high-order correctors. The $H^1$ semi-norm errors are consistent with the proved estimate, while point-normalized $L^2$ errors display the nominal high-order behavior predicted by the formal expansion.

40. 直接检测转折分岔的精确 Rayleigh 约化

Exact Rayleigh Reduction for Direct Detection of Turning Bifurcations

作者: Yavdat Il’yasov

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29150v1

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

摘要: We introduce an exact Rayleigh reduction for the direct construction and detection of turning bifurcations in nonlinear parameter-dependent equations. A generalized Rayleigh functional ordinarily provides only a scalar necessary constraint on solutions. We show that, along a suitable one-parameter transformation orbit $u=\mathcal G_sφ$, it can instead become the exact parameter law $λ=\mathcal R(\mathcal G_sφ)$ of a genuine solution branch. Turning points are then found from nondegenerate critical points of this one-dimensional Rayleigh profile. The branch tangent automatically yields a kernel direction of the state linearization, and under the usual Fredholm, kernel-simplicity, and parameter-transversality assumptions the detected point is a simple fold. For Kirchhoff equations, amplitude scaling on bounded domains and spatial dilation on $\mathbb R^N$ yield explicit exact branches, global parameter thresholds, and countable hierarchies of turning values. For the generalized Kirchhoff law $M_b(A)=a+bA^θ$, the branch geometry is governed by the dimension–homogeneity index $θ(N-2)-2$: an interior turning bifurcation occurs exactly when $θ(N-2)>2$. This gives a universal bifurcation trichotomy that is independent of the particular Berestycki–Lions nonlinearity.

41. 各向异性整型极小图的一个 $C^2$-微扰 Bernstein 定理

A $C^2$-Perturbative Bernstein Theorem for Anisotropic Entire Minimal Graphs

作者: Lu Chen, Jiali Lan

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29117v1

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

摘要: We prove a Bernstein theorem for $Φ$-anisotropic minimal hypersurfaces in dimensions $1\leq n\leq 7$ that the only entire smooth solutions $u$ of $Φ$-anisotropic minimal hypersurfaces equation are affine functions provided the anisotropic area functional integrand $Φ$ is sufficiently $C^{2}$–close to the Euclidean area integrand. This settles the $C^2$ entire–graph version of anisotropic Bernstein problem posed by Mooney and Yang \cite{MooneyYang2024}, and the proof uses a compactness–rigidity argument combined with Figalli’s regularity theorem established in \cite{Figalli2017}.

42. 一类一般抛物双相问题中 Lavrentiev 现象的缺失

Absence of the Lavrentiev phenomenon for a general class of parabolic double phase problems

作者: Youngchae Kim, Jehan Oh

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.29085v1

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

摘要: In this paper, we prove the absence of the Lavrentiev phenomenon for a general class of parabolic double phase functionals with Orlicz growth. The energy density is given by

$$ G(|Dw|)+a(x,t)H(|Dw|), $$

where $G$ and $H$ are Young functions satisfying the $Δ_2$ and $\nabla_2$ conditions with $G\prec H$, and $a(\cdot)$ is a continuous nonnegative coefficient. Under suitable balance conditions between the growth gap of $G$ and $H$ and the modulus of continuity of $a(\cdot)$, we show that every finite-energy map can be approximated locally by smooth functions without loss of energy. The result extends the known parabolic double phase theory from power type growth to a broad Young function framework and identifies the natural space-time Orlicz energy class for the problem.

43. 有界域中极快扩散方程的最优正则性与精细渐近行为

Optimal regularity and fine asymptotics for very fast diffusion equations in bounded domains

作者: Tianling Jin, Xushan Tu, Jingang Xiong, Zhen Zheng

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.28984v1

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

摘要: We prove the optimal global regularity of admissible solutions to a transformed very fast diffusion equation in the range $-1<p<0$, posed on smooth bounded domains with zero Dirichlet boundary data and initial data comparable to the distance function. More precisely, we establish existence and uniqueness and show that solutions belong to $C^{1,p+1}(\overlineΩ)$ in space for every positive time and are $C^\infty$ in time uniformly up to the boundary. Moreover, all their time derivatives belong to $C^{1,p+1}(\overlineΩ)$, and the exponent $p+1$ is optimal. These regularity estimates further yield fine long-time asymptotics toward the friendly giant solution, including a first-order expansion in the $C^{1,p+1}(\overlineΩ)$ topology and an improved convergence rate for the relative error in $C^{p+1}(\overlineΩ)$.

44. 有界域上线性化极快扩散方程的 Schauder 估计

Schauder estimates for the linearized very fast diffusion equations in bounded domains

作者: Tianling Jin, Xushan Tu, Jingang Xiong, Zhen Zheng

类别: math.AP

发布日期: 2026-08-29

arXiv ID: 2608.28983v1

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

摘要: We establish Schauder estimates for linearized very fast diffusion equations with Dirichlet boundary conditions in bounded smooth domains. These estimates provide an important ingredient for deriving optimal boundary regularity and long-time dynamics of solutions to very fast diffusion equations.

45. 多晶材料中晶界演化新连续介质模型的解析验证

Analysis validation of a new continuum model for the evolution of grain boundaries in polycrystalline materials

作者: Peicheng Zhu, Xiaoxue Qin, Yang Xiang

类别: math.AP

发布日期: 2026-08-28

arXiv ID: 2608.28954v1

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

摘要: To describe the evolution of grain boundaries based on the underlying microscopic mechanisms of line defects (disconnections) and the integrated effects of a diverse range of thermodynamic driving forces, Zhang, et al. in 2017 formulated a continuum equation. We prove the global-in-time existence, uniqueness, and regularity of the weak solution to an initial-boundary value problem for this model. The existence, uniqueness of the stationary solution are also established. Finally, we investigate the large-time behavior of the weak solution of the evolution problem, and show that the solution converges to the stationary solution in a suitable sense. Numerical simulations are carried out to validate the analysis results. The main difficulties in the proof of main theorems are due to a non-local term with singularity, a non-smooth coefficient of the highest derivative associated with the gradient of the unknown, and the special form of free energy which is not uniformly bounded from below. The key ingredients in the proof are the energy method, an estimate for a singular integral of the Hilbert type, Fourier transform of Hilbert transformations, and an estimate with a weight, for time-derivative of the unknown.

46. 一个非线性 Li-Yau 不等式及其推论

A nonlinear Li-Yau inequality and its consequences

作者: Agnid Banerjee, Nicola Garofalo, Hamidreza Mahmoudian

类别: math.AP, math.DG

发布日期: 2026-08-28

arXiv ID: 2608.28881v1

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

摘要: We prove a sharp nonlinear version of the celebrated Li-Yau inequality for positive solutions of the normalized parabolic $p$-Laplacian equation $u_t = Δu + (p-2)|\nabla u|^{-2}\nabla^2u(\nabla u,\nabla u)$, $1<p<\infty$, on a closed Riemannian manifold with nonnegative Ricci curvature, the equation being interpreted in the viscosity sense on the critical set of the solution. The constant is best possible, even within the class of closed manifolds: it is attained identically by an explicit self-similar solution in flat $\Rn$, and its sharpness transfers to the compact setting through a large-torus limit along the flat tori $\mathbb R^n/(L\mathbb Z)^n$, $L \to \infty$. The proof rests on an exact Bochner-type identity for a family of uniformly parabolic approximating flows in which the second-order regularization and the first-order eikonal term are decoupled: for this family the maximum principle applies with the sharp constant, uniformly in the regularization parameter, and with no assumption on the critical set of the solution. The identity is moreover form-invariant under the classical $α$-relaxation of the Li-Yau functional; as a consequence we also obtain the corresponding inequality on closed manifolds with $\operatorname{Ric} \ge -κ$ (again with no assumption beyond the Ricci lower bound), and, on complete noncompact manifolds with $\operatorname{Ric} \ge 0$, the sharp inequality for the approximating flows – again with no assumption on the critical set – under a cutoff hypothesis on the distance function (automatic in $\Rn$, and, for $p \ge 2$, under nonnegative sectional curvature) and a qualitative polynomial growth condition on the Li-Yau quantity, satisfied, with exponent zero, by the extremal profile. A sharp global Harnack inequality follows.