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

1. 湍流如何在一点处生成涡量

How turbulent flows grow vorticity at a point

作者: Timo Schorlepp, Vladimir Rosenhaus, Gregory Falkovich

类别: physics.flu-dyn, cond-mat.stat-mech, math-ph, math.AP, nlin.CD

发布日期: 2026-09-11

arXiv ID: 2609.13056v1

摘要翻译: 我们描述了在大尺度随机力驱动的三维不可压缩湍流中，强涡量涨落如何出现。通过结合解析与数值方法，我们构造了一个涡量瞬子（vorticity instanton）：将流动驱动至给定点和给定时刻的预设大涡量的最概然力历史。我们展示了平滑的大尺度力如何产生一条具有薄粘性尺度核心的长涡丝。我们的主要发现是，通过径向压缩和轴向拉伸放大涡管的标准机制仅在阈值以下有效。要产生超过阈值的涡量，需要一个额外的要素：沿管传播的涡量波。最终的涡量是两个碰撞波的结果。该机制与 OpenAI 最近提出的用于在有限时间内产生无穷涡量的 Navier–Stokes 爆破机制有着惊人的相似性。

Comment: 7 pages, 6 figures, supplementary material in source files

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

1. 研究对象和背景

本文研究三维不可压缩 Navier-Stokes 方程在大尺度随机外力驱动下, 产生极大有限涡量的最优机制. 具体而言, 考虑如下受迫的三维不可压缩 Navier-Stokes 方程:

\partial_t u + (u \cdot \nabla)u = -\nabla P + \Delta u + f,

\nabla \cdot u = 0,

其中 $$f$$ 是空间平滑且时间白噪声的高斯随机力, 其相关函数为

\langle f(x,t)f(0,0) \rangle = \delta(t)\chi(x),

这里 $\chi$ 是一个平滑的空间关联函数. 研究的核心问题是: 在给定终点时刻 $$t=0$$ , 原点处的轴向涡量分量达到一个极大值 $\omega_z(0,0,0) = a$ 的概率如何随 $$a$$ 变化? 这个概率可以表示为

P(\omega_z \approx a) \sim \exp[-S(a)],

其中作用量 $$S(a)$$ 由高斯力测度决定. 最有可能实现这一极端事件的流动历史被称为“瞬时子”(instanton). 瞬时子并非人为构造, 而是实际湍流中自然出现的主导涡量结构.

传统的理解认为, 大涡量可以通过径向压缩和轴向拉伸来增强涡管中的涡量. 然而, 本文发现这种简单的单调增长机制仅在低涡量区域有效. 当涡量超过某个阈值时, Coriolis 力开始发挥作用, 导致涡量最大值分裂并沿旋转轴传播形成波. 这些波的碰撞最终产生了极大的涡量. 这一机制与最近 OpenAI 提出的用于证明 Navier-Stokes 方程有限时间爆破的“空间振荡脉冲”有相似之处.

2. 主要定理或主要结果

本文的主要结果包括以下几个方面:

通过结合解析和数值方法, 作者构造了涡量瞬时子, 即驱动流动到给定点和时间处预定大涡量的最可能力历史. 他们展示了平滑的大尺度力如何产生具有薄粘性尺度核心的长涡丝.
标准机制——通过径向压缩和轴向拉伸放大涡管——仅在一定阈值内有效. 产生高于此阈值的涡量需要额外的成分: 沿管子传播的涡量波. 最终的涡量是两个碰撞波的结果.
对于低涡量值 ( $$a < 73$$ ), 作用量 $$S(a)$$ 与 $$a$$ 呈二次关系, 即 $S \propto a^2$ . 这是因为应变 $\sigma = \partial_z u_z$ 在整个演化过程中保持正值, Coriolis 力不足以阻止径向压缩.
对于较大的 $$a$$ 值, 系统找到了一种更优的策略, 利用而非克服 Coriolis 力. 数据表明, 对于 $$a > 80$$ , $$S(a)$$ 的增长慢于二次方. 具体来说, 当 $a \gtrsim 200$ 时, 作用量遵循新的标度律 $S \propto a^{5/4}$ .
在最后阶段, 涡量增长无需外力, 完全由脉冲碰撞和轴向拉伸之间的相互作用驱动. 此时, 涡丝的半径 $\delta$ 、长度 $\ell$ 和应变 $\sigma$ 满足以下标度关系: $\delta \propto a^{-2/5},$ $\ell \propto a^{-1/5},$ $\sigma \propto a^{4/5}.$
横向速度结构函数在高阶数下按距离平方标度, 这意味着涡丝的余维数 2 是湍流速度场最低渐近异常指数.

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

本文采用了多种方法来研究涡量瞬时子的性质:

变分方法: 通过最小化作用量 $$S(a)$$ 来寻找瞬时子. 作用量定义为 $S(a) = \frac{1}{2} \min_\eta \|\eta\|^2_{L^2} \text{ s.t. } \omega_z = a,$ 其中 $\eta$ 是通过方程 (1) 与 $f = \chi^{1/2} * \eta$ 相关的变量. 使用拉格朗日乘子法引入响应场 $$p$$ 来强制运动方程成立.
路径积分形式: 将随机经典方程描述为路径积分, 其中拉格朗日乘子（物理上为响应场 $$p$$ ）强制执行运动方程. 由于外力是高斯的, 可以将其积分掉, 得到简化后的作用量表达式.
数值优化: 使用迭代数值程序求解极值方程. 计算假设流动具有轴对称性, 并且关于 $$z=0$$ 平面对称. 域是一个圆柱体, $$z$$ 方向采用周期性边界条件.
标度分析: 通过猜测传播波必须守恒涡量体积积分 $M = \int \omega dr$ , 推导出最后的标度关系. 这些标度关系与数值结果一致, 但作者指出它们可能是高度推测性的, 可能会随着更高的 $$a$$ 值而改变.
Coriolis 力的作用: 分析了 Coriolis 力如何影响涡量最大值的分裂和传播. 发现对于较高的 $$a$$ 值, Coriolis 力提供了涡量最大值的分裂, 最优策略是在相反极点生成涡量最大值, 然后让脉冲传播并在测量点碰撞.

4. 与之前工作的比较

本文与先前工作的比较主要体现在以下几个方面:

与 Burgers 模型和其他湍流模型的对比: 之前的研究表明, 在 Burgers 模型 [4-7]、被动标量 [8]、二维直接级联中的涡量 [9] 以及三维不可压缩湍流中的速度 [10] 中, 最优波动（瞬时子）通常表现为单调增长. 本文首次揭示了在三维不可压缩湍流中, 大涡量的产生需要波的参与, 这与先前的单调增长机制不同.
与 OpenAI 的工作对比: 本文发现的机制与 OpenAI 最近提出的用于创建有限时间内无限涡量的“空间振荡脉冲”有显著相似之处. 两者都依赖于非线性运动方程生长涡丝, 外力间接起作用而非直接导致涡量增长. 不同之处在于, OpenAI 的工作关注的是真正的奇异性, 而本文关注的是大但有限的涡量.
与轴对称破缺现象的对比: 近期发现, 当 $$a > 85$$ 时, 出现了一个非轴对称分支的瞬时子解, 其作用量更低 [15]. 本文发现, 波在类似的阈值 $a \gtrsim 70$ 处出现. 这种轴对称破缺对应于螺旋涡结构的出现, 即具有非零方位角波数的 Kelvin 波. 利用螺旋模式可以在较弱的外力下实现波内的涡量增长.
与实验和数值模拟的对比: 本文的结果与湍流实验和数值模拟中经常观察到的细长涡丝结构一致 [13, 14]. 这表明, 即使在没有外力的衰减湍流中, 波在创建大涡量方面的动力学作用也可能是普遍的.

2. 关于磁流体力学方程的空间-时间导数估计

On space-time derivative estimates for the magnetohydrodynamic equations

作者: Yanqing Wang, Wei Wei, Gang Wu, Yulin Ye

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12901v1

摘要翻译: 本文给出了磁流体力学（MHD）方程解的空间-时间导数估计。这是 Duff 在 \cite[Acta Math. 164, 1990]{[Duff]} 中对经典 Navier-Stokes 系统先验界的推广，并对 Zheligovsky 在 \cite[Mathematics. 9, 2021]{[Zheligovsky]} 中提出的问题给出了肯定回答。此外，我们证明了在该系统中，当 $6\leq q\leq\infty$ 时，有 $u, B \in L^{\f{q}{q-3}}(0,T;L^{q} (\mathbb{R}^{3}))$ ；并且当 $k\geq1, 2\leq q\leq\infty$ 时，有 $D ^{k}u, D ^{k}B \in L^{\f{q}{ q(k+1)-3}}(0,T;L^{q} (\mathbb{R}^{3}))$ 。

Comment: 无

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

1. 研究对象和背景

磁流体力学 (MHD) 方程描述了导电流体在磁场作用下的演化规律，是等离子体物理、天体物理及工业应用中液金属和电解质流动的基础模型。该方程组由不可压缩 Navier-Stokes 方程与 Maxwell 方程耦合而成，具体形式为：

\begin{cases} u_t - \Delta u + u \cdot \nabla u - B \cdot \nabla B + \nabla \Pi = 0, & \text{in } \mathbb{R}^3 \times (0, T), \\ B_t - \Delta B + u \cdot \nabla B - B \cdot \nabla u = 0, & \text{in } \mathbb{R}^3 \times (0, T), \\ \operatorname{div} u = \operatorname{div} B = 0, & \text{in } \mathbb{R}^3 \times (0, T). \end{cases}

其中 $$u$$ 为速度场， $$B$$ 为磁场， $\Pi = \pi + \frac{1}{2}|B|^2$ 为磁压。

对于 MHD 方程，Leray-Hopf 型弱解的存在性已由 Sermange 和 Temam 建立。已知弱解满足能量不等式：

\frac{1}{2}\|u(T)\|_{L^2}^2 + \frac{1}{2}\|B(T)\|_{L^2}^2 + \int_0^T \|\nabla u(s)\|_{L^2}^2 ds + \int_0^T \|\nabla B(s)\|_{L^2}^2 ds \le \frac{1}{2}\|u_0\|_{L^2}^2 + \frac{1}{2}\|B_0\|_{L^2}^2.

然而，正如三维 Navier-Stokes 方程一样，MHD 方程弱解的全正则性（即是否光滑）仍是开放问题。因此，研究解的先验估计（a priori estimates）至关重要，特别是高阶时空导数的估计，有助于理解解的正则性和可能的奇点形成机制。

在 Navier-Stokes 方程中，Duff 证明了时空导数的先验界：若 $$u$$ 是光滑解，则 $\partial_t^r \partial_x^s u \in L^{\frac{2}{4r+2s-1}}(0, T; L^2(\mathbb{R}^3))$ 。这一结果在 MHD 系统中尚未被完全推广。Zheligovsky 在周期性边界条件下研究了 MHD 方程时间导数的一阶空间导数估计，并提出了一个关键问题：非线性项与耗散项在能量估计中的联合控制是否能在更高阶 Sobolev 范数下提供更精确的界？他指出，由于非线性项的保守性，直接估计可能过于保守，暗示存在潜在的抵消效应。

本文旨在回答 Zheligovsky 的问题，并将 Duff 对 Navier-Stokes 方程的时空导数估计推广到 MHD 系统。此外，作者还探讨了 $$L^q$$ 范数下的导数估计，扩展了 M'alek, Padula 和 R\u{z}i\u{c}ka 在 Navier-Stokes 方程上的工作。这些结果不仅深化了对 MHD 方程解的结构理解，也为后续研究奇点形成提供了更精细的工具。

2. 主要定理或主要结果

本文的主要结果包括以下几个方面：

时间导数估计：
- 定理 1.1：设 $$(u, B)$$ 是 MHD 方程的光滑解，则对任意非负整数 $$k$$ ，有
  $u_t^{(k)}, B_t^{(k)} \in L^{\frac{2}{4k-1}}(0, T; L^2(\mathbb{R}^3)).$
  这表明时间导数的高阶估计在 $$L^2$$ 框架下成立，且指数随 $$k$$ 增大而趋于零，反映了高阶时间导数的衰减性质。
- 定理 1.2：进一步地，对任意非负整数 $$m$$ 和 $$n$$ ，有
  $D^n u_t^{(m)}, D^n B_t^{(m)} \in L^{\frac{2}{4m+2n-1}}(0, T; L^2(\mathbb{R}^3)).$
  这一结果将 Duff 的时空导数估计推广到了 MHD 系统，其中 $$D^n$$ 表示 $$n$$ 阶空间导数。特别地，当 $$m=0$$ 时，得到纯空间导数的估计；当 $$n=0$$ 时，回到定理 1.1。
$$L^q$$ 范数下的导数估计：
- 推论 1.3：作为定理 1.2 的副产品，作者证明了 $u, B \in L^{\frac{q}{q-3}}(0, T; L^q(\mathbb{R}^3)), \quad 6 \le q \le \infty,$ 以及 $D^k u, D^k B \in L^{\frac{q}{q(k+1)-3}}(0, T; L^q(\mathbb{R}^3)), \quad k \ge 1, \, 2 \le q \le \infty.$ 这一结果扩展了 M'alek, Padula 和 R\u{z}i\u{c}ka 在 Navier-Stokes 方程上的工作，并将其应用到 MHD 系统。特别地，当 $$k=1$$ 时，得到一阶空间导数的 $$L^q$$ 估计，这与能量类解的正则性密切相关。
Riesz 算子的替换：作者指出，由于 $$D$$ 与 $(-\Delta)^{1/2}$ 之间的差异仅为 Riesz 算子，根据 Calderón-Zygmund 定理，可以将上述估计中的 $$D$$ 替换为 $(-\Delta)^{1/2}$ ，从而得到更自然的分数阶导数估计。

这些结果不仅回答了 Zheligovsky 提出的问题，还为 MHD 方程的正则性理论提供了新的工具。

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

本文的证明依赖于以下几个关键技术和分析框架：

能量估计与插值不等式：作者首先通过乘以适当的高阶导数（如 $$D^2 u$$ , $$D^2 B$$ , $$u_t$$ , $$B_t$$ 等）来推导能量不等式。例如，在证明定理 1.1 时，作者对 MHD 方程取时间导数，并与 $$u_t$$ 和 $$B_t$$ 内积，得到关于 $\|u_t\|_{L^2}$ 和 $\|B_t\|_{L^2}$ 的能量不等式。关键在于利用 H"older 不等式和 Gagliardo-Nirenberg 插值不等式来控制非线性项。例如，对于项 $\int_{\mathbb{R}^3} u \cdot \nabla u \cdot u_t dx$ ，作者使用插值不等式：
$\|\nabla u\|_{L^3} \le C \|u\|_{\dot{H}^1}^{\frac{1}{2}} \|u\|_{\dot{H}^2}^{\frac{1}{2}},$
并结合 Young 不等式进行吸收，最终得到形如
$\frac{d}{dt} (\|Du\|_{L^2}^2 + \|DB\|_{L^2}^2) + \|u_t\|_{L^2}^2 + \|B_t\|_{L^2}^2 \le C (\|Du\|_{L^2}^2 + \|DB\|_{L^2}^2)^3$
的不等式。这种技巧是处理高阶导数估计的核心。
非线性项的抵消效应： Zheligovsky 指出，在 MHD 方程中，非线性项的某些部分可能在能量估计中相互抵消。作者在证明中明确利用了这一点。例如，在估计 $\int_{\mathbb{R}^3} B \cdot \nabla B_t \cdot u_t dx$ 时，通过分部积分将其转化为 $-\int_{\mathbb{R}^3} B \cdot \nabla u_t \cdot B_t dx$ ，从而与其他项合并，简化了估计过程。这种抵消效应在 Navier-Stokes 方程中不存在，是 MHD 系统的特有性质。
归纳法与高阶导数：为了证明任意阶时间导数和空间导数的估计，作者采用了归纳法。假设对某个 $$k$$ 成立，然后通过对原方程再取一次时间导数或空间导数，结合已知的低阶估计，推导出高阶估计。例如，在证明定理 1.2 时，作者对 MHD 方程取 $$m$$ 次时间导数和 $$n$$ 次空间导数，并利用 Kato-Ponce 交换子估计来处理混合导数项。Kato-Ponce 估计的形式为：
$\|\Lambda^s(fg) - f\Lambda^s g\|_{L^p} \le C \|\nabla f\|_{L^{p_1}} \|\Lambda^{s-1} g\|_{L^{p_2}} + C \|\Lambda^s f\|_{L^{p_3}} \|g\|_{L^{p_4}},$
其中 $\Lambda = (-\Delta)^{1/2}$ 。这一工具在处理分数阶导数和高阶混合导数时至关重要。
$$L^q$$ 范数的推导：对于 $$L^q$$ 范数下的估计，作者借鉴了 M'alek, Padula 和 R\u{z}i\u{c}ka 的方法，但面临更大的挑战，因为 MHD 方程中速度和磁场的耦合使得非线性 $$p$$ -Laplace 算子的应用变得复杂。作者通过将 $$L^2$$ 估计与 Sobolev 嵌入相结合，逐步推导出 $$L^q$$ 估计。例如，从 $$L^2$$ 估计出发，利用插值不等式：
$\|f\|_{L^q} \le C \|f\|_{L^2}^{\theta} \|f\|_{L^\infty}^{1-\theta},$
并结合时间积分，最终得到 $L^{\frac{q}{q(k+1)-3}}(0, T; L^q(\mathbb{R}^3))$ 形式的估计。

4. 与之前工作的比较

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

从 Navier-Stokes 到 MHD 的推广： Duff 在 1990 年证明了 Navier-Stokes 方程的时空导数估计： $\partial_t^r \partial_x^s u \in L^{\frac{2}{4r+2s-1}}(0, T; L^2(\mathbb{R}^3))$ 。然而，这一结果尚未被推广到 MHD 系统。本文首次将 Duff 的估计推广到 MHD 方程，证明了类似的结果： $D^n u_t^{(m)}, D^n B_t^{(m)} \in L^{\frac{2}{4m+2n-1}}(0, T; L^2(\mathbb{R}^3))$ 。这一推广的关键在于处理速度和磁场的耦合项，尤其是非线性项的抵消效应。在 Navier-Stokes 方程中，非线性项 $u \cdot \nabla u$ 具有简单的结构，而在 MHD 方程中，非线性项包括 $u \cdot \nabla u$ , $B \cdot \nabla B$ , $u \cdot \nabla B$ 和 $B \cdot \nabla u$ ，其相互作用更为复杂。作者通过仔细分析这些项的符号和结构，成功实现了推广。
回答 Zheligovsky 的问题： Zheligovsky 在 2021 年的工作中研究了 MHD 方程时间导数的一阶空间导数估计，并提出了一个开放问题：非线性项与耗散项的联合控制是否能在更高阶 Sobolev 范数下提供更精确的界？本文通过证明定理 1.2，给出了肯定的回答。具体来说，作者证明了 $D^n u_t^{(m)}$ 和 $D^n B_t^{(m)}$ 在 $$L^2$$ 框架下的估计，其中指数 $\frac{2}{4m+2n-1}$ 反映了高阶导数的衰减性质。这一结果比 Zheligovsky 的估计更为精细，因为它涵盖了任意阶的时间导数和空间导数。
$$L^q$$ 范数下的估计： M'alek, Padula 和 R\u{z}i\u{c}ka 在 2008 年证明了 Navier-Stokes 方程弱解的 $$L^q$$ 估计： $\nabla u \in L^{\frac{q}{2q-3}}(0, T; L^q(\mathbb{T}^3))$ ，其中 $2 \le q < \infty$ 。本文将该结果推广到 MHD 方程，证明了 $D^k u, D^k B \in L^{\frac{q}{q(k+1)-3}}(0, T; L^q(\mathbb{R}^3))$ ，其中 $k \ge 1$ 和 $2 \le q \le \infty$ 。这一推广的难度在于 MHD 方程中速度和磁场的耦合使得非线性 $$p$$ -Laplace 算子的应用变得复杂。作者通过结合 $$L^2$$ 估计和 Sobolev 嵌入，成功克服了这一困难。此外，作者还将 $q=\infty$ 的情况纳入考虑，得到了 $u, B \in L^1(0, T; L^\infty(\mathbb{R}^3))$ 的估计，这与 Wu 之前的工作一致，但通过新的方法得到了更一般的 $$L^q$$ 估计。
全空间与周期性边界条件：大多数已有的 MHD 方程导数估计工作集中在周期性边界条件下（如 Kim 和 Zheligovsky 的工作），而本文在全空间 $\mathbb{R}^3$ 上进行了研究。全空间的研究更具挑战性，因为缺乏周期性带来的紧性，需要更精细的分析技术。作者通过使用 Fourier 分析和 Bernstein 不等式，成功处理了全空间中的高频行为，得到了与周期性边界条件类似的估计。
代价与局限：尽管本文取得了重要的进展，但仍存在一些局限。首先，所有结果都基于光滑解的假设，对于弱解的正则性提升，仍需进一步研究。其次， $$L^q$$ 估计中的指数 $\frac{q}{q(k+1)-3}$ 在 $q=\infty$ 时退化为 $$1/(k+1)$$ ，这意味着高阶导数的时间可积性较弱，可能不足以直接推出全局正则性。最后，作者在 $$L^q$$ 估计中未能完全利用非线性项的抵消效应，导致估计可能不是最优的。未来的工作可以探索更精细的非线性分析技术，以改进这些估计。

3. 关于分数阶 Navier-Stokes 方程的时空导数估计

On space-time derivative estimates for the fractional Navier-Stokes equations

作者: Yanqing Wang, Wei Wei, Gang Wu, Daoguo Zhou

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12864v1

摘要翻译: 本文关注分数阶 Navier-Stokes 方程解的时空导数估计。我们证明了 $Λ^{nα}u^{(m)}_{t} \in L^{\frac{2(6α-5)}{4mα+2nα+4 α-5}}~~~~~~~(0,T; L^{2}(\mathbb{R}^{3}))$ 和 $Λ^{n }u^{(m)}_{t} \in L^{\frac{2(6α-5)}{4mα+2n +4 α-5}}~~~~~(0,T; L^{2}(\mathbb{R}^{3}))$ 。这推广了 Duff [7, Acta Math. 164, 1990] 针对经典 Navier-Stokes 系统得到的先验界，以及 Boutros 和 Gibbon [1, Nonlinearity 37, 2024] 的空间导数估计。此外，在标准 Navier-Stokes 方程中，我们推导出 $u \in L^{\frac{q}{q-3}}~~(0,T;L^{q} (\mathbb{R}^{3}))$ ，其中 $6\leq q\leq\infty$ ，并且 $Λ^{k}u \in L^{\frac{q}{ q(k+1)-3}}~~~(0,T;L^{q} (\mathbb{R}^{3}))$ ，其中 $k\geq1, 2\leq q\leq\infty$ 。

Comment: 36 pages

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

1. 研究对象和背景

本文研究的对象是三维分数阶 Navier-Stokes 方程:

\begin{cases} u_t + (-\Delta)^{\alpha}u + u \cdot \nabla u + \nabla p = 0, \\ \text{div } u = 0, \\ u(0) = u_0(x). \end{cases}

其中 $$u$$ 表示流体的速度场, $$p$$ 为压力, $(-\Delta)^{\alpha}$ 是分数阶拉普拉斯算子, 其傅里叶变换定义为 $\widehat{(-\Delta)^{\alpha}f}(\xi) = |\xi|^{2\alpha}\hat{f}(\xi)$ , 且 $\Lambda = (-\Delta)^{1/2}$ .

该方程由 Lions 引入, 他证明了当耗散参数 $\alpha \geq 5/4$ 时, 自然能量空间 $L^\infty(0,T; L^2) \cap L^2(0,T; \dot{H}^\alpha)$ 中的弱解是正则的. 然而, 对于 $\alpha < 5/4$ 的情形, 弱解的整体正则性仍然是未解决的难题, 这与经典 Navier-Stokes 方程 ( $\alpha=1$ ) 的情况类似.

在经典 Navier-Stokes 方程的研究中, 除了基本的能量估计外, 高阶导数的先验估计对于理解解的正则性和可能的爆破行为至关重要. Foias, Guillope 和 Temam 获得了新的先验估计, 证明 Leray-Hopf 弱解满足 $\partial_x^s u \in L^{\frac{2}{2s-1}}(0,T; L^2(\mathbb{R}^3))$ . Constantin 构造了合适的弱解, 满足 $\nabla^2 u \in L^q(0,T; L^q(T^3))$ 对 $$q < 4/3$$ , 这一结果超越了经典的 Stokes 估计. 随后, Vasseur 利用爆炸方法和伽利略不变性得到了全空间情形下 $\nabla^2 u \in L^q(0,T; L^q_{loc}(\mathbb{R}^3))$ 对 $$q < 4/3$$ . Choi 和 Vasseur 处理了临界情形, 得到分数阶导数估计 $\nabla^\beta u \in L^{\frac{4}{\beta+1}, \infty}(0,T; L^{\frac{4}{\beta+1}, \infty}(\mathbb{R}^3))$ 对 $\beta > 1$ . 最近, Vasseur 和 Yang 利用涡量方程和 De Giorgi 迭代将二阶导数估计改进为 $\nabla^2 u \in L^{\frac{4}{3}, \ell}(0,T; L^{\frac{4}{3}, \ell}(\mathbb{R}^3))$ 对 $\ell > 4/3$ . Yang 进一步证明了 $\nabla^n u \in L^{p, \infty}(0,T; L^{q, \infty}(T^3))$ 满足 $$1/p + 3/q = n+1$$ , $n \geq 1$ , $0 < p \leq q \leq \infty$ .

在时间导数方面, Duff 证明了 $\partial_t^r \partial_x^s u \in L^{\frac{2}{4r+2s-1}}(0,T; L^2(\mathbb{R}^3))$ 和 $\partial_t^r \partial_x^s u \in L^{\frac{1}{2r+s+1}}(0,T; L^\infty(\mathbb{R}^3))$ . Chae 给出了包含高阶时间导数的函数时间平均的新估计.

对于分数阶 Navier-Stokes 方程, 已有的先验估计非常有限. Kwon 和 Ożanski 研究了局部正则性, 证明了当 $3/4 < \alpha < 1$ 且 $$n=1,2$$ 时, $\nabla^n u \in L^{p, \infty}(\mathbb{R}^3 \times (0, \infty))$ , 其中 $p = \frac{2(3\alpha-1)}{n+2\alpha-1}$ . Boutros 和 Gibbon 证明了 Leray-Hopf 弱解满足:

\|\Lambda^{m\alpha}u\|_{L^2(T^3)} \in L^{\frac{2(6\alpha-5)}{2m\alpha+4\alpha-5}}, \quad \|\Lambda^m u\|_{L^2(T^3)} \in L^{\frac{2(6\alpha-5)}{2m+4\alpha-5}}, \quad 5/6 < \alpha < 5/4.

本文的目标是推广 Boutros 和 Gibbon 的导数估计 (1.3), 特别是引入时间导数项, 从而建立更完整的时空导数估计体系.

2. 主要定理或主要结果

本文的主要结果包括以下定理和推论:

定理 1.1: 假设 $$u$$ 是分数阶 Navier-Stokes 方程 (1.1) 的光滑解. 则对于每个 $$T > 0$$ 和 $m, n \in \mathbb{N}$ , 当 $5/6 < \alpha < 5/4$ 时, 有:

\Lambda^{n\alpha}u_t^{(m)} \in L^{\frac{2(6\alpha-5)}{4m\alpha+2n\alpha+4\alpha-5}}(0,T; L^2(\mathbb{R}^3)),

\Lambda^n u_t^{(m)} \in L^{\frac{2(6\alpha-5)}{4m\alpha+2n+4\alpha-5}}(0,T; L^2(\mathbb{R}^3)).

定理 1.2: 假设 $$u$$ 是分数阶 Navier-Stokes 方程 (1.1) 的光滑解. 则当 $5/6 < \alpha < 5/4$ 时, 对任意非负整数 $$k$$ , 有:

u_t^{(k)} \in L^{\frac{2(6\alpha-5)}{4k\alpha+4\alpha-5}}(0,T; L^2(\mathbb{R}^3)).

推论 1.3: 假设 $$u$$ 是标准 Navier-Stokes 方程 (1.1) ( $\alpha=1$ ) 的光滑解. 则有: (1) $u \in L^{\frac{q}{q-3}}(0,T; L^q(\mathbb{R}^3))$ , 其中 $6 \leq q \leq \infty$ ; (2) $\Lambda^k u \in L^{\frac{q}{q(k+1)-3}}(0,T; L^q(\mathbb{R}^3))$ , 其中 $k \geq 1$ , $2 \leq q \leq \infty$ .

这些结果推广了 Duff 在 [7] 中对经典 Navier-Stokes 系统的先验界以及 Boutros 和 Gibbon 在 [1] 中的空间导数估计. 推论 1.3 扩展了 Mąlek, Padula 和 Růžička 在 [16] 中的导数估计到全空间情形.

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

证明的主要技术障碍在于时间变量上的交换子估计未知, 这使得即使对于 Navier-Stokes 方程的时间导数估计也相当复杂. 作者在引言中提到, 这种情况也出现在磁流体动力学 (MHD) 方程的时间变量导数估计中 (参见 Zheligovsky 在 [24] 中的陈述).

作者的创新点体现在四个方面:

符号统一与简洁: 在推导过程中, 作者统一并简化了 Duff 在 [7] 中使用的符号, 使得两个主要步骤 (时间导数估计和时空导数估计) 的表达更加清晰.
非线性估计的核心工具: 作者观察到几乎所有非线性估计都是以下不等式的应用:
$\left| \int_{\mathbb{R}^3} A \cdot B \cdot D \, dx \right| \leq \|A\|_{L^{\frac{6}{3-2\alpha}}} \|\nabla B\|_{L^{\frac{3}{\alpha}}} \|D\|_{L^2}$
以及插值不等式:
$\|\nabla B\|_{L^{\frac{3}{\alpha}}} \leq C \|\Lambda^\alpha B\|_{L^2}^{\frac{6\alpha-5}{2\alpha}} \|\Lambda^{2\alpha} B\|_{L^2}^{\frac{5-4\alpha}{2\alpha}}.$
这个插值不等式是通过 Bernstein 不等式和 Littlewood-Paley 分解得到的 (引理 2.2).
分情况讨论: 作者将时空导数估计的推导分为四种情况依次进行, 以提高论文的可读性.
方法的普适性: 作者指出, 这里提出的证明方法可以应用于其他流体方程, 例如在后续工作中将建立 MHD 方程的时空导数估计.

具体的技术工具包括:

能量方法与阶梯不等式: 通过乘以适当的测试函数 (如 $\Lambda^{2\alpha}u$ , $$u_t$$ , $\Lambda^{2\alpha}u_t$ 等) 并积分, 得到一系列阶梯不等式 (引理 3.1). 这些不等式涉及不同阶导数的 $$L^2$$ 范数及其时间导数.
Gagliardo-Nirenberg 插值不等式: 用于控制非线性项中的高阶导数.
Young 不等式: 用于吸收高阶项, 特别是在处理包含 $\eta$ 和 $\varepsilon$ 的小参数时.
Kato-Ponce 交换子估计: 用于处理分数阶算子作用在乘积上的情况 (引理 2.3 和 2.4).
Lemma 2.1 (来自 Duff [7]): 这是一个关键的技术引理, 用于从微分不等式 $\frac{d}{dt}F(t) + G(t) \leq C F(t)^{\frac{q}{p}}$ 推出 $G(t) \in L^{1/q}(0,T)$ , 前提是 $$q > p+1$$ 且 $F(t) \in L^{1/p}(0,T)$ .

在证明定理 1.2 (时间导数估计) 时, 作者首先建立了一组阶梯不等式 (引理 3.1), 然后通过应用 Lemma 2.1 逐步提升时间导数的可积性指数. 例如, 从基本能量估计 $\|\Lambda^\alpha u\|_{L^2}^2 \in L^1$ 出发, 结合不等式 (3.1)-(3.4), 依次得到:

$\Lambda^{2\alpha}u, u_t \in L^{\frac{2(6\alpha-5)}{8\alpha-5}}(0,T; L^2)$ ;
$\Lambda^\alpha u_t \in L^{\frac{2(6\alpha-5)}{10\alpha-5}}(0,T; L^2)$ ;
$\Lambda^{2\alpha}u_t, u_{tt} \in L^{\frac{2(6\alpha-5)}{12\alpha-5}}(0,T; L^2)$ .

对于更高阶的时间导数 $u_t^{(k)}$ , 作者采用归纳法, 利用类似的能量估计和插值技巧逐步提升可积性指数, 最终得到定理 1.2 的结论.

在证明定理 1.1 (时空导数估计) 时, 作者在时间导数估计的基础上, 进一步引入空间导数 $\Lambda^{n\alpha}$ 或 $\Lambda^n$ , 并通过类似的能量方法和非线性估计, 得到包含时间和空间混合导数的先验界.

4. 与之前工作的比较

本文与已有工作的比较主要体现在以下几个方面:

与 Boutros 和 Gibbon [1] 的比较:
- Boutros 和 Gibbon 只考虑了纯空间导数估计, 即 $\Lambda^{m\alpha}u$ 和 $\Lambda^m u$ 在 $$L^2$$ 框架下的可积性.
- 本文引入了时间导数 $u_t^{(m)}$ , 建立了时空混合导数 $\Lambda^{n\alpha}u_t^{(m)}$ 和 $\Lambda^n u_t^{(m)}$ 的估计, 从而显著推广了 Boutros 和 Gibbon 的结果.
- 两者的适用范围相同, 均为 $5/6 < \alpha < 5/4$ .
与 Duff [7] 的比较:
- Duff 针对经典 Navier-Stokes 方程 ( $\alpha=1$ ) 建立了时空导数估计 $\partial_t^r \partial_x^s u \in L^{\frac{2}{4r+2s-1}}(0,T; L^2(\mathbb{R}^3))$ .
- 本文将 Duff 的方法推广到分数阶情形, 得到了 $\Lambda^{n\alpha}u_t^{(m)} \in L^{\frac{2(6\alpha-5)}{4m\alpha+2n\alpha+4\alpha-5}}(0,T; L^2(\mathbb{R}^3))$ .
- 当 $\alpha=1$ 时, 本文的估计变为 $\Lambda^{n}u_t^{(m)} \in L^{\frac{2}{4m+2n+1}}(0,T; L^2(\mathbb{R}^3))$ , 这与 Duff 的结果一致 (注意 Duff 使用的是 $\partial_x^s$ , 而本文使用 $\Lambda^n$ , 两者相差一个 Riesz 变换, 可通过 Calderón-Zygmund 理论相互替换).
- 本文的创新在于将 Duff 的两步法 (先时间导数, 后时空导数) 推广到分数阶情形, 并简化了符号和推导过程.
与 Kwon 和 Ożanski [12] 的比较:
- Kwon 和 Ożanski 研究的是局部正则性, 得到的是 $L^{p, \infty}$ 空间的估计, 且适用范围为 $3/4 < \alpha < 1$ .
- 本文得到的是全局 $$L^p$$ 空间的估计, 适用范围为 $5/6 < \alpha < 5/4$ , 覆盖了更大的 $\alpha$ 范围.
- 本文的估计是全局的, 而 Kwon 和 Ożanski 的是局部的.
与 Mąlek, Padula 和 Růžička [16] 的比较:
- Mąlek, Padula 和 Růžička 通过非线性 $$p$$ -Laplace 算子证明了弱解满足 $\nabla u \in L^{\frac{q}{2q-3}}(0,T; L^q(T^3))$ 对 $2 \leq q < \infty$ .
- 本文的推论 1.3 在标准 Navier-Stokes 方程 ( $\alpha=1$ ) 的情况下, 得到了 $\Lambda^k u \in L^{\frac{q}{q(k+1)-3}}(0,T; L^q(\mathbb{R}^3))$ 对 $k \geq 1$ , $2 \leq q \leq \infty$ .
- 当 $$k=1$$ 时, 本文的估计为 $\Lambda u \in L^{\frac{q}{2q-3}}(0,T; L^q(\mathbb{R}^3))$ , 这与 Mąlek 等人的结果一致, 但本文将其扩展到全空间 $\mathbb{R}^3$ 而非环面 $$T^3$$ , 并且涵盖了所有 $k \geq 1$ 的高阶导数.
与其他相关工作的比较:
- 与 Constantin [5], Vasseur [21], Choi 和 Vasseur [3], Vasseur 和 Yang [22], Yang [23] 的工作相比, 这些工作主要关注空间导数估计, 且多使用 $L^{p, \infty}$ 或 $L^{p, \ell}$ 空间, 而本文专注于 $$L^p$$ 空间中的时空导数估计.
- 本文的方法基于能量估计和插值不等式, 不同于 Constantin 的爆破方法或 Vasseur 和 Yang 的 De Giorgi 迭代方法.

总的来说, 本文的主要贡献是将 Duff 的经典时空导数估计方法系统地推广到分数阶 Navier-Stokes 方程, 并在标准情形下得到了覆盖所有 $q \geq 2$ 的高阶导数估计, 填补了分数阶情形下时空导数估计的空白.

4. 分数阶欧拉对齐系统的正则性理论与低马赫数极限

Regularity theory and low Mach number limit for the fractional Euler-alignment system

作者: Young-Pil Choi, Jinwook Jung

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12429v1

摘要翻译: 我们研究具有压力项的可压缩欧拉对齐系统，其压力满足奇异缩放。在此缩放下，超奇异通信权重诱导出一个阶数为 $$2α$$ （其中 $$0<α<1$$ ）的分数阶对齐算子。该缩放对应于长时间、低速度的物理情形，并导致一个低马赫数问题，在该问题中密度被强制保持在常状态附近。我们的主要结果是针对该缩放压力系统的统一正则性理论。我们建立了关于缩放参数的统一估计，并在常状态附近构造了全局强解。分析的一个关键特征在于：在低阶分数阶情形 $0<α\le\frac12$ 下，估计可以在较低的 Sobolev 条件 $s>\frac d2+1-2α$ 下闭合，相较于直接利用分数阶对齐耗散所导致的阈值 $s>\frac d2 + 1 - α$ ，额外获得了 $$α$$ 个导数。这一结果是通过结合奇异对齐算子的精细交换子估计与由压力缩放引起的密度耗散而实现的。作为统一估计的应用，我们论证了向带有分数阶耗散的非压缩 Navier–Stokes 系统的低马赫数极限。对于一般的小初值（可能是未充分准备的），通过对声学分量进行 Helmholtz 分解并结合色散估计，可以得到在时空局部意义下向极限系统的分布解的次列强收敛。对于充分准备的初值，相对能量论证进一步将极限识别为一个给定的足够正则的解，并给出了在分数阶耗散范数下的全局强收敛。

Comment: 无

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

1. 研究对象和背景

本文研究对象为带有压力项的可压缩欧拉对齐系统 (Compressible Euler-alignment system with pressure)。该系统源于对具有速度对齐机制的集体行为模型（如 Cucker-Smale 集群模型）的流体动力学描述。在引入奇异通信权重 (singular communication weight) $\phi(x) = \frac{c_{d,\alpha}}{|x|^{d+2\alpha}}$ ( $0 < \alpha < 1$ ) 后，系统中的对齐力表现为一种分数阶算子，其阶数为 $2\alpha$ 。具体而言，利用柯西主值意义下的积分变换，该奇异对齐力可以被重写为具有交换子结构的形式：

\int_{\mathbb{R}^d} \phi(x-y)(u(y)-u(x))\rho(y)dy = -\Lambda^{2\alpha}(\rho u) + u\Lambda^{2\alpha}\rho,

其中 $\Lambda = (-\Delta)^{1/2}$ 是分数阶拉普拉斯算子的平方根。这一结构揭示了奇异对齐作用本质上是一种依赖于密度的分数阶耗散。

为了研究大时间和小速度极限下的行为，作者引入了一个奇异标度参数 $\varepsilon$ ，定义缩放后的密度和速度为 $\rho \mapsto \rho(\varepsilon t, x)$ 和 $u \mapsto \varepsilon u(\varepsilon t, x)$ 。在此标度下，原系统转化为如下形式：

\begin{cases} \partial_t \rho + \nabla_x \cdot (\rho u) = 0, \\ \partial_t (\rho u) + \nabla_x \cdot (\rho u \otimes u) + \frac{1}{\varepsilon^2} \nabla_x p(\rho) = \rho(t,x) \int_{\mathbb{R}^d} \phi(x-y)(u(t,y)-u(t,x))\rho(t,y) dy, \end{cases}

其中压力函数取为 $p(\rho) = \rho^\gamma$ ( $\gamma \ge 1$ )。由于压力项前出现了系数 $\varepsilon^{-2}$ ，当 $\varepsilon \to 0$ 时，该项变得奇异，强制密度 $\rho$ 必须保持在常数状态 $\rho=1$ 附近。这构成了一个典型的低马赫数 (low Mach number) 问题。

令 $h = \rho - 1$ ，上述系统可改写为：

\begin{cases} \partial_t h + \nabla \cdot ((1+h)u) = 0, \\ \partial_t u + u \cdot \nabla u + \frac{\gamma}{\varepsilon^2}(1+h)^{\gamma-2}\nabla h = -\Lambda^{2\alpha}u - \Lambda^{2\alpha}(hu) + u\Lambda^{2\alpha}h. \end{cases}

该问题的核心难点在于：一方面，奇异压力项提供了强力的密度耗散，但同时也引入了非线性的耦合；另一方面，对齐力中的交换子结构 $-\Lambda^{2\alpha}(hu) + u\Lambda^{2\alpha}h$ 使得直接的能量估计难以闭合，尤其是在低阶分数阶区域 ( $0 < \alpha \le 1/2$ )。已有的文献中，对于无压情况或高阶分数阶情况 ( $1/2 < \alpha < 1$ ) 已有较多研究，但对于低阶分数阶情况下的全局正则性以及针对奇异标度参数 $\varepsilon$ 的一致估计尚属空白。此外，虽然经典的低马赫数极限理论已相当成熟，但将其推广到包含奇异分数阶对齐力的情形，特别是处理声学振荡 (acoustic oscillations) 与分数阶耗散的相互作用，仍是一个开放的问题。本文旨在建立该缩放系统在常数态附近的统一正则性理论，并以此为基础证明向不可压缩分数阶 Navier-Stokes 系统的低马赫数极限。

2. 主要定理或主要结果

本文的主要结果分为两部分：一是关于缩放系统的全局适定性与一致估计，二是低马赫数极限的存在性与收敛性。

定理 1.1 (全局适定性与一致估计): 设空间维度 $d \ge 2$ ，分数阶指数 $0 < \alpha < 1$ ，绝热指数 $\gamma \ge 1$ ，且标度参数 $0 < \varepsilon \le 1$ 。假设 Sobolev 指数 $$s$$ 满足以下条件：

s > \begin{cases} \frac{d}{2} + 1 - 2\alpha, & 0 < \alpha \le \frac{1}{2}, \\ \frac{d}{2}, & \frac{1}{2} < \alpha < 1. \end{cases}

存在一个与 $\varepsilon$ 无关的小量 $\eta_0 > 0$ ，使得若初始数据 $(\rho_0^\varepsilon, u_0^\varepsilon)$ 满足：

\rho_0^\varepsilon = 1 + h_0^\varepsilon > 0, \quad h_0^\varepsilon \in H^s(\mathbb{R}^d), \quad u_0^\varepsilon \in H^s(\mathbb{R}^d),

且范数足够小：

\frac{\|h_0^\varepsilon\|_{H^s}}{\varepsilon} + \|u_0^\varepsilon\|_{H^s} \le \eta_0,

则缩放系统存在唯一的整体强解 $(\rho^\varepsilon, u^\varepsilon)$ 。此外，该解满足以下与 $\varepsilon$ 和 $$t$$ 无关的一致先验估计：

\frac{\|h^\varepsilon(t)\|^2_{H^s}}{\varepsilon^2} + \|u^\varepsilon(t)\|^2_{H^s} + \int_0^t \left( \frac{\|\nabla h^\varepsilon(\tau)\|^2_{H^{\sigma_\alpha}}}{\varepsilon^2} + \|\Lambda^\alpha u^\varepsilon(\tau)\|^2_{H^s} \right) d\tau \le C \left( \frac{\|h_0^\varepsilon\|^2_{H^s}}{\varepsilon^2} + \|u_0^\varepsilon\|^2_{H^s} \right),

其中 $$C$$ 是与 $$t$$ 和 $\varepsilon$ 无关的正常数，且耗散项中的 Sobolev 指数 $\sigma_\alpha$ 定义为：

\sigma_\alpha = \begin{cases} s + \alpha - 1, & 0 < \alpha \le \frac{1}{2}, \\ s - \alpha, & \frac{1}{2} < \alpha < 1. \end{cases}

特别地，在低阶分数阶区域 ( $0 < \alpha \le 1/2$ )，正则性阈值降低至 $s > \frac{d}{2} + 1 - 2\alpha$ ，比直接使用分数阶对齐耗散得到的阈值 $s > \frac{d}{2} + 1 - \alpha$ 提高了 $\alpha$ 个导数。

定理 1.2 (低马赫数极限): 设 $$T > 0$$ ， $$s$$ 满足上述条件。对于每个 $0 < \varepsilon \le 1$ ，令 $(\rho^\varepsilon, u^\varepsilon)$ 为定理 1.1 给出的整体强解。假设初始数据满足一致小性条件：

\sup_{0<\varepsilon\le 1} \left( \frac{\|\rho_0^\varepsilon - 1\|_{H^s}}{\varepsilon} + \|u_0^\varepsilon\|_{H^s} \right) \le \eta_0.

一般小初值 (Ill-prepared data): 存在子序列，使得存在 $u_0 \in H^s(\mathbb{R}^d)$ 和 $u \in L^\infty(0,T; H^s(\mathbb{R}^d)) \cap L^2(0,T; H^{s+\alpha}(\mathbb{R}^d))$ ，满足：
- $u_0^\varepsilon \rightharpoonup u_0$ 弱收敛于 $H^s(\mathbb{R}^d)$ ；
- $\rho^\varepsilon - 1 \to 0$ 强收敛于 $L^\infty(0,T; H^s(\mathbb{R}^d))$ ；
- 对于任意 $0 < \delta < s$ ，梯度分量 $Q u^\varepsilon \to 0$ 强收敛于 $L^2(0,T; H^{s-\delta}_{loc}(\mathbb{R}^d))$ ；
- $u^\varepsilon \to u$ 强收敛于 $L^2(0,T; H^{s-\delta}_{loc}(\mathbb{R}^d))$ 。极限函数 $$u$$ 是无散度的，并且是分数阶不可压缩 Navier-Stokes 系统： $\partial_t u + u \cdot \nabla u + \nabla \pi + \Lambda^{2\alpha} u = 0, \quad \nabla \cdot u = 0$ 的一个分布解，其初值为 $$P u_0$$ （ $$P$$ 为 Leray 投影）。
良备初值 (Well-prepared data): 进一步假设存在一个足够光滑的分数阶不可压缩 Navier-Stokes 系统解 $$v$$ ，满足：
$\nabla v \in L^1(0,T; L^\infty(\mathbb{R}^d)), \quad v \in L^\infty(0,T; L^2(\mathbb{R}^d)) \cap L^2(0,T; \dot{H}^\alpha(\mathbb{R}^d)),$
且相应的压力 $\pi$ 满足适当的光滑性条件。若初始数据是“良备”的，即相对能量 $H^\varepsilon(0) \to 0$ 当 $\varepsilon \to 0$ ，其中：
$H^\varepsilon(t) := \frac{1}{2} \int_{\mathbb{R}^d} \rho^\varepsilon |u^\varepsilon - v|^2 dx + \frac{1}{\varepsilon^2(\gamma-1)} \int_{\mathbb{R}^d} [(\rho^\varepsilon)^\gamma - 1 - \gamma(\rho^\varepsilon - 1)] dx,$
则 $u^\varepsilon \to v$ 在 $L^2(0,T; \dot{H}^\alpha(\mathbb{R}^d))$ 中强收敛，且 $\sup_{0 \le t \le T} H^\varepsilon(t) \to 0$ 。

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

本文的证明框架主要围绕如何克服奇异压力标度和非线性交换子结构带来的技术障碍展开，核心创新点在于低阶分数阶区域的一致性估计以及低马赫数极限中声学分量的色散分析。

1. 低阶分数阶区域的一致性能量估计 ( $0 < \alpha \le 1/2$ ) 在该区域，对齐耗散算子 $\Lambda^{2\alpha}$ 的阶数低于 1。如果仅依赖对齐力的耗散项 $\|\Lambda^\alpha u\|_{H^s}^2$ ，通常需要的正则性阈值为 $s > \frac{d}{2} + 1 - \alpha$ 。然而，作者通过精细的傅里叶插值估计和交换子分析，将阈值降低至 $s > \frac{d}{2} + 1 - 2\alpha$ 。关键工具包括：

傅里叶插值不等式 (Lemma 2.1): 作者构造了特定的 Lebesgue 指数 $$p$$ 和 $$p'$$ ，建立了 $\|\hat{f}\|_{L^p_\xi}$ 等频率空间范数与 $H^{s+\alpha-1}$ 范数之间的控制关系。这使得在处理非线性项时，可以利用较低阶的导数信息来控制高阶项。
交换子估计: 对于对齐力中的项 $\Lambda^{2\alpha}(hu) - u\Lambda^{2\alpha}h$ ，作者利用了分数阶微分算子的交换子性质。结合压力项提供的密度耗散 $\frac{1}{\varepsilon^2}\|\nabla h\|_{H^{s+\alpha-1}}^2$ ，成功闭合了高维能量估计。具体来说，密度耗散项不仅控制了密度的波动，还通过对流项中的耦合抵消了部分非线性增长，从而允许在更低的 Sobolev 正则性下获得全局解。
零阶与高阶能量估计的结合: 作者首先推导零阶能量估计以控制基本量，然后逐步提升到高阶估计。在高阶估计中，特别关注了压力项与对齐力交换子结构的相互作用，证明了即使在 $\alpha$ 很小时，系统仍能保持足够的耗散性。

2. 高阶分数阶区域的一致性估计 ( $1/2 < \alpha < 1$ ) 虽然该区域的正则性阈值没有显著改进（ $$s > d/2$$ ），但作者仍需处理奇异压力标度 $\varepsilon^{-2}$ 带来的挑战。在此，密度耗散出现在 $\frac{1}{\varepsilon^2}\|\nabla h\|_{H^{s-\alpha}}^2$ 的水平。作者通过调整插值指数和利用更高阶的对齐耗散，确保了估计对 $\varepsilon$ 的一致性。这与低阶区域的不同之处在于，此处主要依靠对齐力本身的强耗散性来主导正则性，而压力项主要用于约束密度接近常数。

3. 低马赫数极限的证明策略 证明低马赫数极限面临两个主要困难：一是如何处理快声学振荡 (fast acoustic oscillations)，二是如何将极限识别为具体的不可压缩解。

声学分量的色散估计: 对于一般的“非良备”初值，速度场 $u^\varepsilon$ 可以分解为无散度部分 $P u^\varepsilon$ 和梯度部分 $Q u^\varepsilon$ 。无散度部分由投影方程控制，具有局部紧性。而梯度部分满足一个快速声学系统。作者利用频率局部的 Strichartz 估计 (frequency-localized Strichartz estimates) 证明，当 $\varepsilon \to 0$ 时，声学分量在时空局部上发生色散，即 $Q u^\varepsilon \to 0$ 在 $L^2_{loc}$ 中强收敛。这一步不需要初值满足特殊的准备条件，仅需一致小性。
相对能量方法 (Relative Energy Method): 对于“良备”初值，作者引入了相对于目标不可压缩解 $$v$$ 的相对能量 $H^\varepsilon(t)$ 。通过推导相对能量的演化方程，并利用前面得到的一致估计，证明了 $H^\varepsilon(t)$ 在 $\varepsilon \to 0$ 时趋于零。这不仅保证了强收敛，还将极限唯一地识别为预先给定的光滑解 $$v$$ 。相对能量法在此处的应用克服了经典方法中可能遇到的弱-强唯一性难题，特别是在存在分数阶耗散的情况下。

4. 全局适定性的构造 基于上述一致先验估计，作者首先建立局部适定性，然后利用估计中的连续性准则 (continuation criterion) 将局部解延拓为整体解。关键在于证明解不会在有限时间内爆破，因为所有关键范数都受到与初始数据和 $\varepsilon$ 无关的一致界控制。

4. 与之前工作的比较

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

1. 低阶分数阶区域的全局正则性 在之前的研究中，例如 [2] 中关于带压力的可压缩欧拉对齐系统在临界 Besov 空间中的全局适定性，主要考虑了对齐算子阶数在 $$(1, 2)$$ 之间的情形，即对应本文记号中的 $1/2 < \alpha < 1$ 。对于阶数不超过 1 的低阶分数阶情形 ( $0 < \alpha \le 1/2$ )，[2] 中将其留作未来工作。本文填补了这一空白，不仅在 Sobolev 空间中建立了全局适定性，而且改善了正则性阈值。具体而言，本文将所需的最小 Sobolev 指数从直接能量估计暗示的 $s > \frac{d}{2} + 1 - \alpha$ 降低到了 $s > \frac{d}{2} + 1 - 2\alpha$ 。这一改进是通过精细的交换子分析和利用压力诱导的密度耗散实现的，表明在低阶对齐情况下，压力项的正则化效应比预期更强。

2. 奇异标度参数 $\varepsilon$ 的一致估计 大多数关于欧拉对齐系统的现有结果（如 [3], [7] 等）主要关注固定物理参数下的解的行为，或者是在无压情况下。本文的核心贡献之一是建立了针对奇异压力标度 $\varepsilon^{-2}$ 的一致估计。这意味着所得到的先验界不依赖于 $\varepsilon$ ，这对于研究 $\varepsilon \to 0$ 的极限至关重要。这种一致性估计本身就是一个独立的正则性问题，因为它要求在处理非线性交换子项时，不能依赖 $\varepsilon$ 提供额外的衰减或平滑，而必须完全依靠系统内在的结构（如对齐耗散和压力耦合）来控制非线性增长。

3. 低马赫数极限的新机制 经典的低马赫数极限理论（如 [16, 17, 33] 等）主要针对标准的粘性可压缩 Navier-Stokes 方程。本文将该理论推广到包含奇异分数阶对齐力的欧拉对齐系统。主要区别在于：

声学振荡的处理: 在标准可压缩流体中，声学振荡的色散通常通过线性声学波的群速度来实现。而在本系统中，由于对齐力的存在，速度场的演化更加复杂。作者明确指出，梯度分量（声学部分）的色散是通过频率局部的 Strichartz 估计来处理的，这在含有非局部分数阶算子的系统中是一个技术性较强的步骤。
相对能量法的适用性: 作者指出，对于带有超奇异分数阶对齐力的可压缩欧拉对齐系统，此前尚未建立低马赫数极限。本文通过结合 Helmholtz 分解、声学色散和相对能量方法，首次严格证明了这一极限。特别是，对于良备初值，作者不仅证明了收敛，还证明了收敛到特定的光滑解，这比仅仅证明存在某个分布解要更强。

4. 与临界空间理论的对比 虽然 [2] 中在临界 Besov 空间中获得了全局解，但本文工作在 Sobolev 空间中。值得注意的是，本文在低阶区域 ( $0 < \alpha \le 1/2$ ) 得到的 Sobolev 阈值 $s > \frac{d}{2} + 1 - 2\alpha$ 与 [2] 中在临界 Besov 设定下速度的正则性指标相吻合（当将对齐阶数识别为 $2\alpha$ 时）。这表明本文的结果在正则性尺度上是“临界”的，即在 Sobolev 框架下达到了最优的正则性要求。相比之下，对于高阶区域 ( $1/2 < \alpha < 1$ )，本文的阈值 $$s > d/2$$ 略高于某些亚临界结果，但这主要是为了保证 $\varepsilon$ -一致性所必需的代价。

5. 局限性与代价 尽管本文取得了重要进展，但也存在一些限制。首先，结果仅限于小初值扰动，即初始数据必须在 $$H^s$$ 范数下足够小（且密度扰动需除以 $\varepsilon$ 后仍小）。其次，对于良备初值的强收敛结果，要求目标不可压缩解 $$v$$ 具有相当高的正则性（如 $\nabla v \in L^1(L^\infty)$ ）。最后，虽然证明了整体强解的存在性，但对于大初值或长时间渐近行为（如 flocking 现象）并未深入探讨，这是未来可能的研究方向。

5. 关于三维各向异性 Navier-Stokes 方程的能量等式

On energy equality of the 3D anisotropic Navier-Stokes equations

作者: Yulin Ye, Wei Wei, Yanqing Wang

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12383v1

摘要翻译: 在 Demmel 和 Wiedemann 近期工作 \cite{[DW]} 的精神下，我们考察了仅具有水平耗散的三维 Navier-Stokes 方程弱解的能量平衡律的有效性。我们证明了著名的 Lions-Shinbrot 型能量守恒判据——最初是为经典各向同性 Navier-Stokes 方程建立的——在该各向异性情形中依然成立。此外，我们提出了两种不同的方法，分别处理环面情形和全空间情形。

Comment: 无

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

1. 研究对象和背景

在地球物理流体中, Navier-Stokes 方程通常具有各向异性粘性项, 形式为 $-\nu \Delta_h - \epsilon \partial_{33}$ (参见 [34]). 这里, $\epsilon$ 通常远小于 $\nu$ , 当 $\epsilon \to 0$ 时会出现 Ekman 边界层现象. 本文关注仅受水平耗散作用的以下三维 Navier-Stokes 方程:

\begin{cases} u_t + u \cdot \nabla u - \Delta_h u + \nabla \Pi = 0, \\ \operatorname{div} u = 0, \\ u|_{t=0} = u_0(x), \end{cases}

其中 $$u$$ 表示速度场, $\Pi$ 代表压力, 且 $\Delta_h u = \partial_{x_1 x_1} u + \partial_{x_2 x_2} u$ . 初始速度 $$u_0$$ 满足 $\operatorname{div} u_0 = 0$ .

弱解的能量守恒问题不仅在弱-强唯一性的研究中起着至关重要的作用, 而且与 Onsager 猜想密切相关. Onsager [33] 断言, 对于理想流体弱解的动能守恒, Hölder 空间中的正则性阈值为 $$1/3$$ . 自那以后, 大量工作致力于确定保证粘性及无粘流动弱解能量等式成立的最小正则性假设. 关于 Onsager 猜想的否定部分, 可参见 [19, 20, 25, 27, 28]. 在此, 我们仅限于讨论能量等式, 并回顾该方向的一些已知结果: 对于三维各向同性 Navier-Stokes 方程的 Leray-Hopf 弱解 $$u$$ , 若满足以下条件之一, 则能量等式

\frac{1}{2}\|u(T)\|^2_{L^2(\mathbb{R}^3)} + \int_0^T \|\nabla u\|^2_{L^2(\mathbb{R}^3)} ds = \frac{1}{2}\|u_0\|^2_{L^2(\mathbb{R}^3)}

成立:

Lions [31]: $u \in L^4(0, T; L^4(\mathbb{R}^3))$ ;
Shinbrot [35]: $u \in L^p(0, T; L^q(\mathbb{R}^3))$ , 其中 $\frac{2}{p} + \frac{2}{q} = 1$ 且 $q \geq 4$ ;
Taniuchi [36], Beirao da Veiga-Yang [2]: $u \in L^p(0, T; L^q(\mathbb{R}^3))$ , 其中 $\frac{1}{p} + \frac{3}{q} = 1$ 且 $$3 < q < 4$$ ;
Cheskidov-Constantin-Friedlander-Shvydkoy [15]: $u \in L^3(0, T; B^{1/3}_{3,\infty}(\mathbb{R}^3))$ ;
Cheskidov-Luo [16]: $u \in L^{\beta,\infty}(0, T; B^{\frac{2}{\beta}+\frac{2}{p}-\frac{1}{p}}_{\infty}(\mathbb{R}^3))$ , 其中 $\frac{2}{p}+\frac{1}{\beta} < 1$ 且 $1 \leq \beta < p \leq \infty$ ;
Berselli-Chiodaroli [5], Beirao da Veiga-Yang [3], Zhang [44]: $\nabla u \in L^p(0, T; L^q(\mathbb{R}^3))$ , 其中 $\frac{1}{p} + \frac{3}{q} = 2$ 且 $\frac{3}{2} < q < \frac{9}{5}$ , 或 $\frac{1}{p} + \frac{6}{5q} = 1$ 且 $q \geq \frac{9}{5}$ .

受 Demmel 和 Wiedemann [18] 工作的启发, 一个自然的问题是: 各向同性 Navier-Stokes 方程的著名性质是否在该各向异性设定下依然成立? 与各向同性情形相比, 额外的困难来源于各向异性 Navier-Stokes 方程 (1.1) 中 $\partial_3 u_h$ 的正则性缺失, 这进一步复杂化了各向异性 Navier-Stokes 方程的分析. 关于各向异性 Navier-Stokes 系统的数学结果, 可参见 [9–13, 23, 28, 39, 40, 45, 47] 及其参考文献. 在本文中, 我们集中于能量等式问题, 旨在解决经典的 Lions-Shinbrot 型动能守恒判据是否仍然适用于三维各向异性 Navier-Stokes 方程 (1.1).

接下来, 我们陈述针对周期域 $\mathbb{T}^3$ 上具有部分耗散的各向异性 Navier-Stokes 方程 (1.1) 的 Leray-Hopf 弱解动能守恒判据.

定理 1.1. 若满足以下三个条件之一, 则三维各向异性 Navier-Stokes 方程 (1.1) 的 Leray-Hopf 弱解 $$u$$ 的能量等式成立: (1) $u \in L^4(0, T; L^4(\mathbb{T}^3))$ ; (2) $u \in L^p(0, T; L^q(\mathbb{T}^3))$ , 其中 $\frac{2}{p} + \frac{2}{q} = 1$ 且 $q \geq 4$ ; (3) $\nabla u \in L^p(0, T; L^q(\mathbb{T}^3))$ , 其中 $\frac{1}{p} + \frac{6}{5q} = 1$ 且 $q \geq \frac{9}{5}$ .

现在给出一些评论. 三维各向异性 Navier-Stokes 方程 (1.1) 缺乏垂直耗散 $\partial_{x_3 x_3} u$ , 然而, 源自标准 Navier-Stokes 方程的著名 Lions-Shinbrot 能量守恒类对该系统依然有效. 此外, 在 [3, 5, 44] 中获得的基于速度梯度的能量守恒判据也适用于三维各向异性 Navier-Stokes 方程 (1.1). 需要指出的是, 定理 1.1 的证明受到 Demmel 和 Wiedemann 近期工作 [18] 的启发. 与他们的推导不同, 本定理的推导依赖于 Constantin-E-Titi 型交换子在 [32, 38] 中展示的极限情形, 用于处理周期域情形. 定理 1.1 的起点不同于 [18], 因此, 我们在一步内得到速度全分量属于 $L^4(0, T; L^4(\mathbb{T}^3))$ 时的能量恒等式, 而 [18] 则需要两步. 粗略地说, Demmel 和 Wiedemann 在 [18] 中证明了弱解从 $u_2 \in L^4(0, T; L^4(\mathbb{R}^2))$ 和 $u_2 u_1 \in L^2(0, T; L^2(\mathbb{R}^2))$ 满足能量等式, 这需要精细的压力分解和逐方向的能量分割. 此外, Demmel 和 Wiedemann 在 [18] 中建立的各向异性交换子估计使我们能够在全空间 $\mathbb{R}^3$ 中得到相同的结果. 然后, 我们陈述第二个结果如下:

定理 1.2. 若满足以下三个条件之一, 则三维各向异性 Navier-Stokes 方程 (1.1) 的 Leray-Hopf 弱解 $$u$$ 的能量等式成立: (1) $u \in L^4(0, T; L^4(\mathbb{R}^3))$ ; (2) $u \in L^p(0, T; L^q(\mathbb{R}^3))$ , 其中 $\frac{2}{p} + \frac{2}{q} = 1$ 且 $q \geq 4$ ; (3) $\nabla u \in L^p(0, T; L^q(\mathbb{R}^3))$ , 其中 $\frac{1}{p} + \frac{6}{5q} = 1$ 且 $q \geq \frac{9}{5}$ .

2. 主要定理或主要结果

本文的主要结果是证明了三维各向异性 Navier-Stokes 方程弱解的能量等式在特定的函数空间条件下成立. 具体而言, 作者提出了两个主要定理, 分别针对周期域 $\mathbb{T}^3$ 和全空间 $\mathbb{R}^3$ 的情形.

定理 1.1 (周期域 $\mathbb{T}^3$ ): 若三维各向异性 Navier-Stokes 方程 (1.1) 的 Leray-Hopf 弱解 $$u$$ 满足以下三个条件之一, 则其能量等式成立:

$u \in L^4(0, T; L^4(\mathbb{T}^3))$ ;
$u \in L^p(0, T; L^q(\mathbb{T}^3))$ , 其中 $\frac{2}{p} + \frac{2}{q} = 1$ 且 $q \geq 4$ ;
$\nabla u \in L^p(0, T; L^q(\mathbb{T}^3))$ , 其中 $\frac{1}{p} + \frac{6}{5q} = 1$ 且 $q \geq \frac{9}{5}$ .

定理 1.2 (全空间 $\mathbb{R}^3$ ): 若三维各向异性 Navier-Stokes 方程 (1.1) 的 Leray-Hopf 弱解 $$u$$ 满足以下三个条件之一, 则其能量等式成立:

$u \in L^4(0, T; L^4(\mathbb{R}^3))$ ;
$u \in L^p(0, T; L^q(\mathbb{R}^3))$ , 其中 $\frac{2}{p} + \frac{2}{q} = 1$ 且 $q \geq 4$ ;
$\nabla u \in L^p(0, T; L^q(\mathbb{R}^3))$ , 其中 $\frac{1}{p} + \frac{6}{5q} = 1$ 且 $q \geq \frac{9}{5}$ .

这些结果表明, 尽管各向异性 Navier-Stokes 方程缺乏垂直耗散, 但经典的 Lions-Shinbrot 型能量守恒判据在该各向异性设定下依然有效. 特别是, 基于速度梯度的能量守恒判据也被证明适用于该系统. 此外, 作者还提到, Lions 的能量守恒类 $u \in L^4(0, T; L^4(\mathbb{R}^2))$ 在二维各向异性 Navier-Stokes 方程中通过轻微修改依然有效. 值得注意的是, Demmel 和 Wiedemann 在 [18] 中获得了二维各向异性 Navier-Stokes 方程弱解的能量守恒, 无需任何额外的可积性假设.

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

本文的核心技术障碍在于处理各向异性 Navier-Stokes 方程中由于缺乏垂直耗散导致的正则性缺失问题. 具体来说, 各向异性 Navier-Stokes 方程 (1.1) 中 $\partial_3 u_h$ 的正则性缺失使得分析更加复杂. 作者的真正创新点在于将 Demmel 和 Wiedemann [18] 的工作推广到三维各向异性情形, 并提供了两种不同的方法分别处理周期域 $\mathbb{T}^3$ 和全空间 $\mathbb{R}^3$ 的情形.

关键引理与分析框架:

平滑核与基本材料:
- 使用标准平滑核 $\eta_\varepsilon: \mathbb{R}^n \to \mathbb{R}$ , 定义为 $\eta(x) = C_0 e^{-\frac{1}{1-|x|^2}}$ 当 $$|x| < 1$$ , 否则为 0, 其中 $$C_0$$ 是常数使得 $\int_{\mathbb{R}^n} \eta(x) dx = 1$ . 对于 $\varepsilon > 0$ , 定义缩放平滑核 $\eta_\varepsilon(x) = \frac{1}{\varepsilon^n} \eta(\frac{x}{\varepsilon})$ , 对于任意函数 $f \in L^1_{loc}(\mathbb{R}^n)$ , 其平滑版本定义为: $f_\varepsilon(x) = (f * \eta_\varepsilon)(x) = \int_{\mathbb{R}^n} f(x-y) \eta_\varepsilon(y) dy, \quad x \in \mathbb{R}^n.$
关键引理:
- 引理 2.1 ([42]): 设 $p, q, p_2, q_2 \in [1, +\infty)$ 和 $p_1, q_1 \in [1, +\infty]$ 满足 $\frac{1}{p} = \frac{1}{p_1} + \frac{1}{p_2}$ , $\frac{1}{q} = \frac{1}{q_1} + \frac{1}{q_2}$ . 假设 $f \in L^{p_1}(0, T; L^{q_1}(\Omega))$ 和 $g \in L^{p_2}(0, T; L^{q_2}(\Omega))$ , 则有: $\lim_{\varepsilon \to 0} \|(fg)_\varepsilon - f_\varepsilon g_\varepsilon\|_{L^p(0,T;L^q(\Omega))} = 0.$
- 引理 2.2 ([32]): 假设 $f \in L^p(0, T; L^q(\mathbb{T}^n))$ . 则对于任意 $\varepsilon > 0$ , 有: $\|\nabla f_\varepsilon\|_{L^p(0,T;L^q(\mathbb{T}^n))} \leq C \varepsilon^{-1} \|f\|_{L^p(0,T;L^q(\mathbb{T}^n))},$ 并且如果 $p, q < \infty$ , 则: $\limsup_{\varepsilon \to 0} \varepsilon \|\nabla f_\varepsilon\|_{L^p(0,T;L^q(\mathbb{T}^n))} = 0.$
- 引理 2.3 ([32, 38]): 设 $1 \leq p, q, p_1, p_2, q_1, q_2 \leq \infty$ 满足 $\frac{1}{p} = \frac{1}{p_1} + \frac{1}{p_2}$ 和 $\frac{1}{q} = \frac{1}{q_1} + \frac{1}{q_2}$ . 假设 $f \in L^{p_1}(0, T; W^{1,q_1}(\mathbb{T}^n))$ 和 $g \in L^{p_2}(0, T; L^{q_2}(\mathbb{T}^n))$ . 则对于任意 $\varepsilon > 0$ , 有: $\|(fg)_\varepsilon - f_\varepsilon g_\varepsilon\|_{L^p(0,T;L^q(\mathbb{T}^n))} \leq C \varepsilon \|f\|_{L^{p_1}(0,T;W^{1,q_1}(\mathbb{T}^n))} \|g\|_{L^{p_2}(0,T;L^{q_2}(\mathbb{T}^n))}.$ 此外, 如果 $p_2, q_2 < \infty$ , 则: $\limsup_{\varepsilon \to 0} \varepsilon^{-1} \|(fg)_\varepsilon - f_\varepsilon g_\varepsilon\|_{L^p(0,T;L^q(\mathbb{T}^n))} = 0.$
- 引理 2.4: 假设指数满足 $1 \leq p_1, q_1 \leq \infty$ , $1 \leq p, q, p_k, q_k < \infty$ , $$k = 2, 3, 4$$ , 以及尺度关系: $\frac{1}{p} = \frac{1}{p_1} + \frac{1}{p_2} = \frac{1}{p_3} + \frac{1}{p_4}, \quad \frac{1}{q} = \frac{1}{q_1} + \frac{1}{q_2} = \frac{1}{q_3} + \frac{1}{q_4}.$ 假设: $\partial_i f \in L^{p_2}(0, T; L^{q_2}(\mathbb{R}^3)), \quad f \in L^{p_4}(0, T; L^{q_4}(\mathbb{R}^3)),$ 以及无散度向量场 $$u$$ 满足: $u \in L^{p_1}(0, T; L^{q_1}(\mathbb{R}^3)), \quad \partial_i u \in L^{p_3}(0, T; L^{q_3}(\mathbb{R}^3)), \quad \forall i = 1, 2, \dots, n-1.$ 则: $\operatorname{div}[(uf)_\varepsilon - uf_\varepsilon] \to 0 \quad \text{strongly in } L^p(0, T; L^q(\mathbb{R}^3)), \quad \text{as } \varepsilon \to 0.$

证明框架:

周期域 $\mathbb{T}^3$ 情形 (定理 1.1 的证明):
- 对方程 (1.1) 在空间方向进行平滑, 得到: $\partial_t u_\varepsilon - \Delta_h u_\varepsilon + (u \cdot \nabla u)_\varepsilon + \nabla \Pi_\varepsilon = 0.$
- 乘以 $u_\varepsilon$ 并对 $$x$$ 和 $$t$$ 积分, 利用无散度条件和分部积分, 得到: $\frac{1}{2} \|u_\varepsilon(T)\|^2_{L^2(\mathbb{T}^3)} - \frac{1}{2} \|u_\varepsilon(0)\|^2_{L^2(\mathbb{T}^3)} + \int_0^T \|\nabla_h u_\varepsilon(s)\|^2_{L^2(\mathbb{T}^3)} dt = I + II,$ 其中: $I = -\int_0^T \int_{\mathbb{T}^3} (u \cdot \nabla u_h)_\varepsilon \cdot u_\varepsilon h dx dt, \quad II = -\int_0^T \int_{\mathbb{T}^3} (u \cdot \nabla u_3)_\varepsilon u_\varepsilon 3 dx dt.$
- 利用无散度条件, 重新表达 $$I$$ 和 $$II$$ 中的各项, 并通过 H"older 不等式和关键引理逐步证明这些项在 $\varepsilon \to 0$ 时趋于零.
- 特别地, 对于项 $I_{23}$ , 利用 $u_3 \in L^p(0, T; W^{1,q}(\mathbb{T}^3))$ 和引理 2.3, 得到: $\left| \int_0^T \int_{\mathbb{T}^3} [(u_3 u_h)_\varepsilon - (u_\varepsilon 3 u_\varepsilon h)] \partial_3 u_\varepsilon h dx dt \right| \leq C \varepsilon \|\nabla u_\varepsilon h\|_{L^p(0,T;L^q(\mathbb{T}^3))},$ 结合引理 2.2, 得到 $\lim_{\varepsilon \to 0} I_{23} = 0$ .
- 最终, 通过取极限 $\varepsilon \to 0$ , 验证了能量等式 (1.2) 的成立.
全空间 $\mathbb{R}^3$ 情形 (定理 1.2 的证明):
- 类似于周期域情形, 但需要额外处理全空间中的边界效应.
- 利用 Demmel 和 Wiedemann 在 [18] 中建立的各向异性交换子估计, 证明了在全空间 $\mathbb{R}^3$ 中相同的能量等式成立.

通过这些关键技术工具和分析框架, 作者成功地将经典的 Lions-Shinbrot 型能量守恒判据推广到了三维各向异性 Navier-Stokes 方程的情形.

4. 与之前工作的比较

本文与已有工作的比较主要体现在以下几个方面:

与各向同性 Navier-Stokes 方程的比较:
- 经典各向同性 Navier-Stokes 方程的能量守恒判据由 Lions [31] 和 Shinbrot [35] 等人建立. 本文证明了这些判据在三维各向异性 Navier-Stokes 方程中依然有效, 这是一个重要的推进. 特别是, 基于速度梯度的能量守恒判据 (如 Berselli-Chiodaroli [5], Beirao da Veiga-Yang [3], Zhang [44]) 也被证明适用于各向异性情形.
- 与各向同性情形相比, 各向异性 Navier-Stokes 方程缺乏垂直耗散, 导致 $\partial_3 u_h$ 的正则性缺失. 本文通过引入新的分析技巧, 克服了这一困难, 证明了能量等式的成立.
与 Demmel 和 Wiedemann [18] 工作的比较:
- Demmel 和 Wiedemann 在 [18] 中证明了二维各向异性 Navier-Stokes 方程弱解的能量等式, 其中弱解缺乏 $\partial_2 u_1$ 的正则性. 他们通过将能量等式分解为垂直分量和水平分量, 并利用无散度条件和 DiPerna-Lions 理论中的各向异性交换子估计, 实现了这一目标.
- 本文将 Demmel 和 Wiedemann 的方法推广到三维各向异性情形, 并提供了两种不同的方法分别处理周期域 $\mathbb{T}^3$ 和全空间 $\mathbb{R}^3$ 的情形. 与 [18] 不同, 本文在一步内得到速度全分量属于 $L^4(0, T; L^4(\mathbb{T}^3))$ 时的能量恒等式, 而 [18] 则需要两步. 此外, 本文利用了 Constantin-E-Titi 型交换子的极限情形来处理周期域情形, 而 [18] 则依赖于精细的压力分解和逐方向的能量分割.
与 Onsager 猜想相关工作的比较:
- Onsager 猜想涉及理想流体弱解的动能守恒, 其正则性阈值为 $$1/3$$ . 本文虽然主要针对粘性流动, 但其结果与 Onsager 猜想密切相关. 通过证明各向异性 Navier-Stokes 方程弱解的能量等式在特定函数空间条件下成立, 本文为理解粘性流动的动能守恒提供了新的视角.
- 与 Onsager 猜想的否定部分 (如 [19, 20, 25, 27, 28]) 相比, 本文侧重于肯定部分, 即确定保证能量等式成立的最小正则性假设. 这一方向的研究有助于深化对流体动力学中能量守恒问题的理解.
与其他各向异性 Navier-Stokes 方程研究的比较:
- 关于各向异性 Navier-Stokes 系统的数学结果, 可参见 [9–13, 23, 28, 39, 40, 45, 47] 及其参考文献. 本文专注于能量等式问题, 旨在解决经典的 Lions-Shinbrot 型动能守恒判据是否仍然适用于三维各向异性 Navier-Stokes 方程. 与这些工作相比, 本文提供了更具体的能量守恒判据, 并明确了这些判据在不同函数空间中的适用性.

中文标题: 一维非线性薛定谔方程长程阈值处的散射

摘要翻译: 我们研究了一维非线性薛定谔方程族

\mathrm{i}\partial_t u_δ=-\partial_x^2u_δ+κ|u_δ|^{2+δ}u_δ, \qquad 0\leqδ\leqδ_0,

的小解，当 $δ\to0^+$ 且 $t\to\infty$ 时的一致行为，跨越了三次修正散射与邻近幂次普通散射之间的阈值。对于在 $H^{0,1}(\mathbb{R})$ 中取小初值（仅含一个空间权重且不假设物理导数），我们证明了由显式非线性时钟支配的联合极限渐近公式。变量 $δ\log t$ 根据其趋向于零、正有限极限或无穷大，给出了三种情形。在 $δ\log t\to0$ 的情形内，时钟的连续泰勒项在时间尺度的无限层级上依次显现，每一级都需要更精细的绝对相位精度。这些尺度在过渡尺度处累积，在该处精确时钟将其共同描述。在过渡与饱和情形中，时钟的量级为 $δ^{-1}$ ，因此其系数的一阶变化贡献了一个有限的相位修正。

16. Schrödinger方程在奇异势下的倍增不等式与微小性传播

Doubling inequalities and propagation of smallness for Schrödinger equations with singular potentials

作者: Eugenia Malinnikova, Jiuyi Zhu

类别: math.AP

发布日期: 2026-09-10

arXiv ID: 2609.12192v1

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

摘要翻译

arXiv ID: 2609.13103v1

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

摘要: In this short note we prove that, given a $\mathbb{C}$ -elliptic operator $\mathcal{A}$ and a map $u\in \mathrm{BV}^{\mathcal{A}}(Ω;V)$ satisfying $\nabla_{\mathrm{ap}}u\in L^1(Ω;V\otimes\mathbb{R}^d),$ then $u\in \mathrm{BV}(Ω;V)$ . The result is quantitative and follows from the Korn-type estimate

|Du|(Ω) \leq C_{d,\mathcal{A}}\left( \|\nabla_{\mathrm{ap}}u\|_{\mathrm{L}^1(Ω)} + |\mathcal{A}u|(Ω) \right),

valid for every such $u\in \mathrm{BV}^{\mathcal{A}}(Ω;V)$ . As a consequence, we obtain the characterization

\mathrm{BV}^{\mathcal{A}}(Ω;V)\setminus \mathrm{BV}(Ω;V) = \left\{ u\in \mathrm{BV}^{\mathcal{A}}(Ω;V): \nabla_{\mathrm{ap}}u\notin L^1(Ω;V\otimes\mathbb{R}^d) \right\}.

Generative AI has been exploited. The usage is detailed in a specific Section.

4. TBG 的迹公式

Trace formulas for TBG

作者: Henry Zeng

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

发布日期: 2026-09-11

arXiv ID: 2609.13080v1

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

摘要: Becker et al. produced a striking trace formula for the sum of fourth powers of generalized magic angles, $$ θ$$ , for the chiral model of twisted bilayer graphene (TBG) with the exact Bistritzer–MacDonald potential: $\sum θ^{4} = 8 π/ \sqrt 3$ . The purpose of this note is to generalize this formula to a larger class of potentials satisfying the symmetries of the model.

5. 王猜想的反例

Counterexamples to Wang’s Conjecture

作者: Ruiqi Jiang, Linlin Sun

类别: math.AP, math.DG

发布日期: 2026-09-11

arXiv ID: 2609.13079v1

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

摘要: In this paper, we give a negative answer to Wang’s conjecture. For every $n\geq 3$ , there exist $\varepsilon>0$ and $δ\in (0,1)$ such that, for all $$q$$ and $$λ$$ satisfying

\frac{n}{n-2}-\varepsilon<q\le \frac{n}{n-2}, \qquad \frac{1}{q-1}\cdot δ<λ\le \frac{1}{q-1},

there exists a bounded Euclidean domain $Ω\subset\mathbb{R}^n$ with principal curvatures bigger than $$1$$ for which the following nonlinear Robin problem admits a nonconstant positive solution: \begin{align*} \begin{cases} Δu=0, & \text{in}\ Ω,\[2mm] \dfrac{\partial u}{\partialν}+λu=u^q, & \text{on}\ \partialΩ. \end{cases} \end{align*}

6. 散度形式椭圆偏微分方程的微分 Harnack 不等式与 Morel-Oswald 型最大值原理

Differential Harnack inequalities and maximum principles of Morel-Oswald type for elliptic PDE in divergence form

作者: Boyan Sirakov, Philippe Souplet

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12967v2

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

摘要: This paper presents two types of novel, qualitative and quantitative, estimates for positive solutions of general uniformly elliptic PDEs in divergence form. First, we prove a Morel-Oswald type of extension of the Hopf-Oleinik lemma, in which in addition we specify the sharp dependence of the constant in the data of the operator and the size of the domain. Second, we establish a new differential Harnack (logarithmic gradient) estimate for non-homogeneous equations, as well as an optimal global differential Harnack estimate for homogeneous equations.

7. $$Q$$ -值拟线性椭圆系统的扰动 Schauder 估计与稳态图分支集的尖锐维数界

Perturbative Schauder Estimates for $$Q$$ -Valued Quasilinear Elliptic Systems and a Sharp Dimension Bound for Branch Sets of Stationary Graphs

作者: Mattia Luchese

类别: math.AP, math.DG

发布日期: 2026-09-11

arXiv ID: 2609.12950v1

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

摘要: We establish a priori interior $C^{1,α}$ and $C^{2,α}$ Schauder estimates for a class of $$Q$$ -valued quasilinear elliptic systems which are perturbations of the Laplace system, for arbitrary multiplicity $$Q$$ , domain dimension $n\geq2$ , and target dimension $$k$$ . The $C^{1,α}$ estimate generalises the work of Simon and Wickramasekera in \cite{SW16} on $$2$$ -valued solutions of linear systems and concerns weak solutions of divergence-form systems, while the $C^{2,α}$ estimate concerns strong solutions. In dimension $$n=2$$ , both estimates hold for every $$0<α<1/Q$$ . In dimensions $n\geq3$ , there exists $$δ=δ(n,k,Q)>0$$ such that both estimates hold for every $$0<α<δ$$ . As applications, we obtain a small-slope Schauder estimate and a small-slope Bernstein theorem for $$Q$$ -valued maps whose graph varifolds are stationary. Combining the Schauder estimate with the recent branch-set stratification theory of Krummel–Minter–Wickramasekera in \cite{KMW26}, we further prove that, for every $$γ>0$$ , the branch set $\mathcal B_u$ of any $C^{1,γ}$ $$Q$$ -valued map $$u$$ whose graph varifold is stationary satisfies $\dim_{\mathcal H}\mathcal B_u\leq n-2$ . This bound is sharp already in codimension one.

8. 锥中拉普拉斯算子第一特征值的非径向极小元及相关过定问题

Non-radial minimizers for the first eigenvalue of the Laplacian in cones and a related overdetermined problem

作者: Danilo Gregorin Afonso

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12879v1

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

摘要: In this work, we consider relative overdetermined problems for the first eigenfunction of the Laplacian for domains in cones, and the related question of minimizing the first eigenvalue among sets of a given fixed measure. By means of a shape derivative analysis, we show that the spherical sector is a critical shape and obtain a geometric condition on the cone for its stability/instability. By a concentration-compactness argument, we prove the existence of a minimizer, which moreover is bounded, open, connected, and whose relative boundary is regular almost everywhere. By another domain variation argument, we conclude that the minimizers admit a solution for the overdetermined problem.

9. 单位圆盘上具有非线性 Robin 边界条件的 Liouville 方程解的分类

Classification of solutions to the Liouville equation with a nonlinear Robin boundary condition on the unit disk

作者: Jingbo Dou, Yunyun Hu, Keqing Peng

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12847v1

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

摘要: In this paper, we study the nonlinear boundary value problem \begin{equation*} \begin{cases} -Δu=e^{2u},& \mbox{in } {\mathbb{D}},\ \frac{\partial u}{\partialν}+λ=e^u ,& \mbox{on } {\mathbb{S}^{1}}, \end{cases} \end{equation*} where $\mathbb D$ is the unit disk, $$λ$$ is a constant and $$ν$$ denotes the outer unit normal on $\mathbb S^1$ . For $0<λ\le2$ , we establish a complete classification of smooth solutions. For $2<λ\leq3$ , we prove a dichotomy between radial solutions and nonradial solutions. We develop a Hardy-Wronskian boundary rigidity method that transforms the nonlinear boundary value problem into a spectral rigidity problem for normalized holomorphic frames. This method exploits the complex-analytic structure of the Liouville equation with a Robin boundary condition and provides a new rigidity framework for related two-dimensional elliptic boundary value problems.

10. 弱相互作用热玻色气体的随机场近似与局部计数统计

Random field approximation and local counting statistics for the weakly interacting thermal Bose gas

作者: Andreas Deuchert, Marcin Napiórkowski, Błażej Ruba

类别: math-ph, cond-mat.quant-gas, math.AP, math.PR, quant-ph

发布日期: 2026-09-11

arXiv ID: 2609.12804v1

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

摘要: We study weakly interacting bosons on the three-dimensional torus at temperatures proportional to the critical temperature for Bose–Einstein condensation. We show that, as the expected particle number tends to infinity, the grand canonical Gibbs state is asymptotically described by the coherent state quantization of a random field that converges to a novel Bogoliubov random field. Moreover, the point process associated with the Gibbs state can be approximated by a Cox process. These results are based on and extend the approximation of the Gibbs state recently obtained by the first two authors and Nam. Using these approximations, we compute limiting distributions of the number of particles outside the condensate, the joint occupation statistics of finitely many momentum modes, and particle-number fluctuations in macroscopic subsets of the torus, all governed by the Bogoliubov field. We further prove convergence of the empirical measure of the associated point process to the uniform measure and convergence of the microscopic particle-number statistics to the boson point process. The latter result establishes the universality of particle-number statistics on microscopic length scales.

11. 有限角平面域上的切锥消去与 Maz’ya $$Φ$$ -不等式

Tangent-cone cancellation and Maz’ya’s $$Φ$$ -inequalities on finitely cornered planar domains

作者: Zhouyu Long, Wenming Zou

类别: math.AP, math.CA

发布日期: 2026-09-11

arXiv ID: 2609.12755v1

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

摘要: Let $$0<α<2$$ , $$p=2/(2-α)$$ , and let $K:\mathbb{R}^2\setminus\{0\}\to\mathbb{R}^m$ and $Φ:\mathbb{R}^m\to\mathbb{R}$ be positively homogeneous of degrees $$α-2$$ and $$p$$ , with Lipschitz angular parts. For bounded finitely cornered piecewise- $C^{1,β}$ planar domains $$Ω$$ , we characterize the critical estimate $|\int_ΩΦ(K*f)\,dx|\leq C_{Ω,K,Φ}\|f\|_{L^1(\mathbb{R}^2)}^p$ . It holds if and only if signed angular cancellation holds on the plane, the tangent half-planes, and the complete vertex cones. We obtain the analogous criterion on infinite sectors for compactly supported mean-zero densities. For domains with a finite exact ambient conformal-sector atlas, we construct a constant-preserving linear extension $$E_Ω$$ whose Laplacian is a finite signed Radon measure controlled by $\|Δu\|_{L^1(Ω)}+\|\partial_n u\|_{L^1(\partialΩ)}$ . For the Newton kernel this yields a necessary-and-sufficient tangent-model criterion for the corresponding Maz’ya $$Φ$$ -inequality. We also classify the quadratic cancellation locus in polygon moduli. At a genuine corner, the full vertex cone therefore carries an additional cancellation obstruction not detected by its incident tangent half-planes.

12. 均值场博弈中测度变量正则性下主场的Lipschitz稳定性估计

Lipschitz Stability Estimates for Master Fields with Measure-Variable Regularity in Mean Field Games

作者: Chen Geng, Hongyu Liu, Minghui Song

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12692v1

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

摘要: In this paper, we investigate the Lipschitz stability of the master field and its functional derivative with respect to the measure variable for the master equation in mean field games. A key novelty of this work is the derivation of a nonlocal parabolic partial differential equation governing the functional measure derivative along a characteristic measure flow. Based on this equation, we establish a Carleman estimate for the difference of the measure derivatives associated with two sufficiently regular classical solutions. We also establish a Carleman estimate for the difference of the corresponding master fields, yielding a terminal-to-interior Lipschitz stability estimate along a characteristic measure flow. Together with stability of the associated measure flows, these estimates are used to control the resulting source terms. We then obtain a terminal-to-interior Lipschitz stability estimate for both the master field and its functional measure derivative in terms of the discrepancies of the terminal data. The result provides quantitative control of the master field with measure-variable regularity, and develops a Carleman-based framework for the stability analysis of master fields and their measure derivatives in mean field game master equations.

13. 随机卷积的连续性没有免费午餐

No free lunch for continuity of stochastic convolutions

作者: Mark Veraar, Joris van Winden

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

发布日期: 2026-09-11

arXiv ID: 2609.12688v1

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

摘要: We construct compact, exponentially stable $$C_0$$ -semigroups $$S$$ on Hilbert spaces $$X$$ such that, for every $$T>0$$ , the stochastic convolution $U_g(t)=\int_0^t S(t-s)g(s)\,\mathrm{d}β_s$ is unbounded on $$[0,T]$$ with positive probability for some predictable $g\in L^\infty(Ω;L^2(0,T;X))$ , where $$β$$ is a real Brownian motion. One example is even an analytic semigroup. For the other, the negative generator $$A$$ has sectorial angle $$π/2$$ and a bounded $H^\infty$ -calculus. Our main tool is a necessary condition: for exponentially stable semigroups, an $$L^2$$ -maximal estimate on $\mathbb R_+$ forces a lower square-function estimate for the negative generator. We deduce this implication from a new identity involving the stochastic convolution, the subordinated Poisson semigroup, and a stopped Brownian motion. Combining this condition with Schauder multipliers on a conditional trigonometric basis yields counterexamples to the maximal estimate. An extrapolation argument then produces the integrands with unbounded stochastic convolutions. Finally, an energy-adapted chaining argument gives continuity and maximal estimates for arbitrary $$C_0$$ -semigroups under the stronger condition $g\in L^2([0,T]; L^\infty(Ω;X))$ .

14. 带自由边界的 $$3$$ 维各向异性极小图形的 Bernstein 定理

Bernstein theorem for $$3$$ -dimensional anisotropic minimal graphs with free boundary

作者: Guofang Wang, Wei Wei, Chao Xia, Xuwen Zhang

类别: math.DG, math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12630v1

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

摘要: In this paper, we continue our recent study on anisotropic minimal surface equation with free boundary condition in Wang-Wei-Xia-Zhang (Arch Ration Mech Anal 250:42, 2026). The first main result solves the corresponding mixed boundary value problem. As an application, we prove the following Bernstein-type theorem: any anisotropic minimal graph over $\mathbb{R}^3_+$ with free boundary must be flat. These extend the classical results of Simon (Indiana Univ Math J 25:821–855, 1976; Math Z 154:265–273, 1977) to an appropriate free boundary setting.

15. 与广义全变差能量相关的拟抛物型方程的大时间行为

Large-Time Behavior of Pseudo-Parabolic Equations Associated with Generalized Total Variation Energies

作者: Daisuke Kubota, Daiki Mizuno, Ken Shirakawa, Naotaka Ukai

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12583v1

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

摘要: In this paper, we study the well-posedness and large-time behavior of a pseudo-parabolic problem associated with a generalized total variation energy in the $$BV$$ -framework. A main mathematical issue arises from the mismatch between the Sobolev regularity of solutions at finite times and the $$BV$$ -structure of the corresponding steady-state problem. We prove the existence and uniqueness of solutions and investigate the relationship between their large-time behavior and solutions to the steady-state problem. Moreover, our results include the convergence of the solution trajectory to the unique steady-state solution under a typical setting arising in image processing.

16. 单相 Bernoulli 自由边界问题在大 $$Λ$$ 渐近下的研究

On the Large $$Λ$$ Asymptotics of the One Phase Bernoulli Free Boundary Problem

作者: Giovanni Siclari

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12553v1

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

摘要: In this paper, we investigate the asymptotic behavior of minimizers $$u_Λ$$ of the Bernoulli functional $\int_D |\nabla v|^2 \, dx +Λ|Ω_v|$ for large $$Λ$$ with a boundary datum $g \ge 0$ . In particular, in the case $$g>0$$ , we show graphicality of the free boundary over $\partial D$ and obtain a second order asymptotic expansion in $$Λ$$ of the graph.

17. 局部有限图上渐近三次 Kirchhoff 方程的最小能量变号解

Least energy sign-changing solutions for asymptotically cubic Kirchhoff equations on locally finite graphs

作者: Shuai An, Junping Xie, Xingyong Zhang

类别: math.AP

发布日期: 2026-09-11

arXiv ID: 2609.12526v1

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

摘要: We obtain the existence results of least energy sign-changing solutions and ground state solutions for a class of asymptotically cubic Kirchhoff equations with Dirichlet boundary value on a locally finite graph $$G=(V,E)$$ , and obtain the least energy of sign-changing solutions is strictly larger than twice of the ground state energy.

18. 基于频率平均测量的多光谱 QPAT

Multi-Spectral QPAT with Frequency Averaged Measurements

作者: Yunhao Sun, Yang Yang, Yunan Yang

类别: math.AP

发布日期: 2026-09-10

arXiv ID: 2609.12232v1

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

摘要: We study some inverse problems in a frequency-averaged model for quantitative photoacoustic tomography, in which the optical parameters are modeled by a finite number of spectral functions and spatial coefficients, and the measurements are given by internal observables averaged over a spectral bandwidth. Using multiple measurements generated by suitable complex geometrical optics solutions, we establish uniqueness and Lipschitz-type stability for the associated linearized inverse problem for diffusion and absorption recovery. This linearized stability further yields local Hölder-type stability for the nonlinear inverse problem via an abstract linear-to-nonlinear argument.

19. 环面上向量场的混合尺度与各向同性尺度中的 Sobolev 正则性

Sobolev Regularity in Mixed and Isotropic Scales for Vector Fields on the Torus

作者: Fernando de Ávila Silva, Alexandre Kirilov, André Pedroso Kowacs

类别: math.AP

发布日期: 2026-09-10

arXiv ID: 2609.12207v1

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

摘要: We study regularity, existence, and uniqueness of solutions to vector fields on the two-dimensional torus in Sobolev spaces of dominating mixed smoothness, which measure regularity separately in the two variables. For constant-coefficient vector fields, we obtain families of mixed smoothness estimates describing how the gain or loss of regularity can be distributed between the two variables. In the nonreal case, a gain of one derivative can be distributed between the two directions, whereas for real irrational coefficients the loss is governed by the irrationality measure of the coefficient. We also establish sharpness below the corresponding arithmetic threshold and describe the rational and Liouville obstructions. For real-valued variable coefficients, direct estimates for the periodic Fourier-mode equations yield mixed smoothness regularity results and their isotropic and classical consequences. We then use a periodic conjugation to the averaged constant-coefficient normal form. Although this conjugation introduces an additional loss in the mixed smoothness scale, it preserves isotropic Sobolev orders and therefore transfers the sharp constant-coefficient isotropic theory to the variable-coefficient setting. In the nonresonant regimes, we also obtain existence and uniqueness under the natural zero-mean compatibility condition.

20. 向量型、高阶及非极小化 Bernoulli 问题的最优正则性

Optimal regularity for vectorial, higher order and non-minimizing Bernoulli problems

作者: Guido De Philippis, Jonas Hirsch, Mickaël Nahon

类别: math.AP

发布日期: 2026-09-10

arXiv ID: 2609.12180v1

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

摘要: We prove the Lipschitz regularity of solutions for a wide class of generalized Bernoulli free boundary problems, in vectorial, higher order, and non-minimizing settings. Our method does not rely on notions of viscosity solutions or comparison methods, which allows us to reach the optimal regularity for Bernoulli-type problems associated to elliptic operators which do not satisfy any maximum principle, namely the elasticity, biharmonic and Stokes equation. With a similar method we obtain the optimal Lipschitz regularity for stationary, non-minimizing solutions of the standard Bernoulli problem in two dimensions.

21. 关于 p-调和测度

A note on p-harmonic measure

作者: José González Llorente

类别: math.AP

发布日期: 2026-09-10

arXiv ID: 2609.12176v1

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

摘要: For 1 < p < 2 we obtain the asymptotic optimal decay of the p-harmonic measure of an arc of the unit circle, complementing previous results by Lundström and Vasilis.

22. 通过控制 Radon-Nikodym 导数实现基于得分的异常值生成

Score-based Outlier Generation via Controlling the Radon-Nikodym Derivative

作者: Amartya Mukherjee, Tristan Milne, Kry Yik-Chau Lui, Stephanie Hazlewood, Jun Liu

类别: cs.LG, math.AP, math.OC, math.PR, stat.ML

发布日期: 2026-09-10

arXiv ID: 2609.12113v1

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

摘要: Outliers are important for stress-testing algorithms and understanding system behaviour under rare conditions. Despite being commonly described as low-likelihood events, existing generative approaches rarely control likelihood explicitly. In this work, we introduce a measure-theoretic notion of outliers based on the distribution of log-likelihood values, which is guaranteed to assign higher probability mass to low-likelihood events with a specifiable magnitude. Building on this formulation, we derive how likelihood reweighting modifies the diffusion score and use this relation to motivate a controlled modification of the reverse-time dynamics. In particular, likelihood reweighting implies a scaling of the score function with a control term derived from the Radon-Nikodym derivative of the likelihood distributions. Correspondingly, the updated score function can be obtained with no retraining of the diffusion model. We exploit the Ornstein-Uhlenbeck semigroup underlying diffusion models to motivate an exponentially interpolated controller which approximates the true control. Experiments demonstrate controlled generation of low-likelihood samples while remaining consistent with the data geometry.

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

1. 湍流如何在一点处生成涡量#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

2. 关于磁流体力学方程的空间-时间导数估计#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

3. 关于分数阶 Navier-Stokes 方程的时空导数估计#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

4. 分数阶欧拉对齐系统的正则性理论与低马赫数极限#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

5. 关于三维各向异性 Navier-Stokes 方程的能量等式#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

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

1. Sadovskii 涡的非退化性#

摘要翻译#

2. Manton 的 Chern-Simons-Schrödinger 方程的 Cauchy 问题#

摘要翻译#

3. 关于 Gross-Pitaevskii 方程涡丝猜想的注记#

摘要翻译#

4. 双曲面上 Landau 哈密顿量的色散估计#

摘要翻译#

5. 连续 Calogero–Moser 模型的色散衰减与散射#

摘要翻译#

6. 非线性三阶声学方程中系数的稳定确定#

摘要翻译#

7. 非负 Ricci 曲率流形上的分数阶多孔介质方程：借助势方法证明解的存在性与平滑效应#

摘要翻译#

8. 两类拟线性波动型方程中结构稳定尖点奇性的正则性#

摘要翻译#

9. 具有退化系数的未正则化 Hibler 动量方程的弱解#

摘要翻译#

10. Lebesgue空间中的分数阶超快扩散方程：唯一性与平滑效应#

摘要翻译#

11. Vlasov方程的多相表述及其应用#

摘要翻译#

12. 全空间可压 Euler–Vlasov–Fokker–Planck 系统的低马赫数极限#

摘要翻译#

13. 一维散焦非线性薛定谔方程在亚临界长程非线性情形下的大数据修正波算子#

摘要翻译#

14. 控制数量减少的一阶拟线性双曲系统的内部可控性#

摘要翻译#

15. 一维非线性薛定谔方程长程阈值处的散射#

摘要翻译#

16. Schrödinger方程在奇异势下的倍增不等式与微小性传播#

摘要翻译#

不相关论文（基本信息）#

1. 局部共形平坦流形上定量形式的 sharp $σ_k$-曲率不等式#

2. 具有类时边界的时空中的哈达玛态#

3. 从 $\mathrm{BV}^\mathcal A$ 到 $\mathrm{BV}$：一个端点 Korn 估计#

4. TBG 的迹公式#

5. 王猜想的反例#

6. 散度形式椭圆偏微分方程的微分 Harnack 不等式与 Morel-Oswald 型最大值原理#

7. $Q$-值拟线性椭圆系统的扰动 Schauder 估计与稳态图分支集的尖锐维数界#

8. 锥中拉普拉斯算子第一特征值的非径向极小元及相关过定问题#

9. 单位圆盘上具有非线性 Robin 边界条件的 Liouville 方程解的分类#

10. 弱相互作用热玻色气体的随机场近似与局部计数统计#

11. 有限角平面域上的切锥消去与 Maz’ya $Φ$-不等式#

12. 均值场博弈中测度变量正则性下主场的Lipschitz稳定性估计#

13. 随机卷积的连续性没有免费午餐#

14. 带自由边界的 $3$ 维各向异性极小图形的 Bernstein 定理#

15. 与广义全变差能量相关的拟抛物型方程的大时间行为#

16. 单相 Bernoulli 自由边界问题在大 $Λ$ 渐近下的研究#

17. 局部有限图上渐近三次 Kirchhoff 方程的最小能量变号解#

18. 基于频率平均测量的多光谱 QPAT#

19. 环面上向量场的混合尺度与各向同性尺度中的 Sobolev 正则性#

20. 向量型、高阶及非极小化 Bernoulli 问题的最优正则性#

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

1. 湍流如何在一点处生成涡量

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 关于磁流体力学方程的空间-时间导数估计

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 关于分数阶 Navier-Stokes 方程的时空导数估计

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 分数阶欧拉对齐系统的正则性理论与低马赫数极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 关于三维各向异性 Navier-Stokes 方程的能量等式

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. Sadovskii 涡的非退化性

摘要翻译

2. Manton 的 Chern-Simons-Schrödinger 方程的 Cauchy 问题

摘要翻译

3. 关于 Gross-Pitaevskii 方程涡丝猜想的注记

摘要翻译

4. 双曲面上 Landau 哈密顿量的色散估计

摘要翻译

5. 连续 Calogero–Moser 模型的色散衰减与散射

摘要翻译

6. 非线性三阶声学方程中系数的稳定确定

摘要翻译

7. 非负 Ricci 曲率流形上的分数阶多孔介质方程：借助势方法证明解的存在性与平滑效应

摘要翻译

8. 两类拟线性波动型方程中结构稳定尖点奇性的正则性

摘要翻译

9. 具有退化系数的未正则化 Hibler 动量方程的弱解

摘要翻译

10. Lebesgue空间中的分数阶超快扩散方程：唯一性与平滑效应

摘要翻译

11. Vlasov方程的多相表述及其应用

摘要翻译

12. 全空间可压 Euler–Vlasov–Fokker–Planck 系统的低马赫数极限

摘要翻译

13. 一维散焦非线性薛定谔方程在亚临界长程非线性情形下的大数据修正波算子

摘要翻译

14. 控制数量减少的一阶拟线性双曲系统的内部可控性

摘要翻译

15. 一维非线性薛定谔方程长程阈值处的散射

摘要翻译

16. Schrödinger方程在奇异势下的倍增不等式与微小性传播

摘要翻译

不相关论文（基本信息）

1. 局部共形平坦流形上定量形式的 sharp $$σ_k$$ -曲率不等式

2. 具有类时边界的时空中的哈达玛态

3. 从 $\mathrm{BV}^\mathcal A$ 到 $\mathrm{BV}$ ：一个端点 Korn 估计

4. TBG 的迹公式

5. 王猜想的反例

6. 散度形式椭圆偏微分方程的微分 Harnack 不等式与 Morel-Oswald 型最大值原理

7. $$Q$$ -值拟线性椭圆系统的扰动 Schauder 估计与稳态图分支集的尖锐维数界

8. 锥中拉普拉斯算子第一特征值的非径向极小元及相关过定问题

9. 单位圆盘上具有非线性 Robin 边界条件的 Liouville 方程解的分类

10. 弱相互作用热玻色气体的随机场近似与局部计数统计

11. 有限角平面域上的切锥消去与 Maz’ya $$Φ$$ -不等式

12. 均值场博弈中测度变量正则性下主场的Lipschitz稳定性估计

13. 随机卷积的连续性没有免费午餐

14. 带自由边界的 $$3$$ 维各向异性极小图形的 Bernstein 定理

15. 与广义全变差能量相关的拟抛物型方程的大时间行为

16. 单相 Bernoulli 自由边界问题在大 $$Λ$$ 渐近下的研究

17. 局部有限图上渐近三次 Kirchhoff 方程的最小能量变号解

18. 基于频率平均测量的多光谱 QPAT

19. 环面上向量场的混合尺度与各向同性尺度中的 Sobolev 正则性

20. 向量型、高阶及非极小化 Bernoulli 问题的最优正则性