Home » 论文总结

2026年10月09日论文分析

共有 11 篇重点关注论文, 15 篇论文可以了解, 34 篇不相关论文

October 9, 2026 · 59 min · 12401 words · P0lyno3ial

Table of Contents

重点关注论文（完整分析）
了解领域论文（摘要翻译）
不相关论文（基本信息）

生成时间: 2026年10月09日 09:41:01

运行状态: 完成

计划处理论文数量: 60

已完成论文数量: 60

未完成论文数量: 0

重点关注论文数量: 11

了解领域论文数量: 15

不相关论文数量: 34

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

1. 端点紧性与二维等温可压缩 Navier-Stokes 方程的有限能量弱解

Endpoint Compactness and Finite-Energy Weak Solutions for the 2D Isothermal Compressible Navier-Stokes

作者: Cheng Yu

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.12387v1

摘要翻译: 我们证明了有界 $$C^2$$ 区域中满足无滑移边界条件的二维等温可压缩 Navier–Stokes 方程的有限能量重整化弱解的整体存在性。初始数据可以是自然能量类中的任意数据，允许真空和无界密度。这解决了经典二维幂律压力有限能量重整化存在理论中的等温端点 $$γ=1$$ 。我们发展了一种新的端点紧性论证，其依据是一个与截断无关的、关于中心化密度振荡的可积界。该论证在自然能量层次上导出了近似密度的强 $$L^1$$ 紧性。

Comment: 无

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

1. 研究对象和背景

本文研究二维有界区域内等温可压缩 Navier–Stokes 方程的全局弱解存在性及逼近解的密度紧性。设 $\Omega\subset\mathbb{R}^2$ 为有界 $$C^2$$ 区域, $\rho$ 为密度, $$u$$ 为速度, $m=\rho u$ 为动量。方程为

\partial_t\rho+\operatorname{div}(\rho u)=0,

\partial_t(\rho u)+\operatorname{div}(\rho u\otimes u)+\nabla\rho =\operatorname{div}S(u),\qquad S(u)=\mu(\nabla u+\nabla u^{\mathsf T})+\lambda\operatorname{div}u\,I.

边界条件为无滑移条件 $u|_{\partial\Omega}=0$ , 黏性系数满足 $\mu>0$ 和 $\mu+\lambda\geq0$ 。压力已归一化为等温线性压力 $p(\rho)=\rho$ , 对应的非负内能为

H(\rho)=\rho\log\rho-\rho+1\quad(\rho>0),\qquad H(0)=1.

初值为 $\rho(0)=\rho_0$ 和 $\rho u(0)=m_0$ , 只要求自然有限能量条件

\rho_0\geq0,\qquad H(\rho_0)\in L^1(\Omega),\qquad m_0=0\ \text{a.e. on }\{\rho_0=0\},\qquad \frac{|m_0|^2}{\rho_0}\in L^1(\Omega).

因此初始密度允许真空, 也允许无界; 初始速度不必有独立的高阶正则性。总初始能量为

E_0=\int_\Omega\left(\frac{|m_0|^2}{2\rho_0}+H(\rho_0)\right)\,dx.

有限能量估计给出 $\rho\log(1+\rho)$ 的可积控制, 即密度的均匀可积性, 但不提供任何 $L^\infty_tL^{1+\varepsilon}_x$ 控制。这个差别在密度紧性证明中至关重要: 线性压力本身在弱收敛下较容易识别, 但惯性项 $\rho u\otimes u$ , 非线性密度函数以及极限方程的 renormalized continuity identity 仍需要额外紧性来确认。

对幂律压力 $p(\rho)=\rho^\gamma$ , Lions、Feireisl 及 Feireisl–Novotný–Petzeltová 的经典有限能量理论在二维覆盖 $\gamma>1$ 。等温情形对应端点 $\gamma=1$ , 此时通常用于去除截断连续性方程源项的插值论证失效: 相关小尾部因子的幂次 $(\gamma-1)/\gamma$ 在端点变为零。故问题并非仅是建立能量有界逼近解, 而是要在只有对数型密度控制时, 证明极限密度强收敛并恢复 renormalized continuity。

本文以人工压力 $p_\delta(r)=r+\delta r^\beta$ 构造逼近, 其中固定 $\beta\geq6$ 并令 $\delta\downarrow0$ 。人工压力提供近似层面的高密度控制, 但其高次项不能在极限中留下。证明需要先在尚未获得强密度收敛时识别动量与对流项, 再对固定密度截断建立有效黏性通量关系, 并处理截断连续性方程中的源项。作者试图填补的核心空白, 是在二维、常黏性、仅有自然有限能量初值且容许真空和无界密度的设定下, 建立端点 $\gamma=1$ 的全局有限能量 renormalized weak solution 理论, 同时证明逼近密度在自然能量层次上的强 $$L^1$$ 紧性。

2. 主要定理或主要结果

主要结论分为端点稳定性定理 A 与全局存在定理 B。

定理 A 考虑固定 $\beta\geq6$ 、 $\delta_n\downarrow0$ 的人工压力解 $(\rho_n,u_n)$ , 压力为 $\rho_n+\delta_n\rho_n^\beta$ , 并令 $m_n=\rho_nu_n$ 。除每个固定参数解所需的正则性及 renormalization 条件外, 初始密度和动量须在 $$L^1$$ 中收敛到满足自然能量条件 (1.7) 的 $(\rho_0,m_0)$ , 初始自然能量收敛到 $$E_0$$ , 且 $\delta_n\int_\Omega\rho_{0,n}^\beta\,dx\to0$ 。假设在每个有限时间区间上有一致能量耗散界

\operatorname*{ess\,sup}_{0<t<T}\int_\Omega \left(\rho_n|u_n|^2+\rho_n\log(1+\rho_n)+\delta_n\rho_n^\beta\right)dx +\int_{Q_T}|\nabla u_n|^2\,dx\,dt\leq C,

并对每个 $0\leq\zeta\in C_c^\infty(\Omega)$ 有局部密度增益估计

\int_{Q_T}\zeta^2(\rho_n+\delta_n\rho_n^\beta)\rho_n^{1/8}\,dx\,dt\leq C_{\zeta,T}.

则每个有限 $$T$$ 上存在子列, 使得

\rho_n\to\rho\quad\text{强收敛于 }L^1(Q_T),\qquad u_n\rightharpoonup u\quad\text{弱收敛于 }L^2(0,T;W_0^{1,2}(\Omega)),

m_n\rightharpoonup\rho u\quad\text{弱收敛于 }L^1(Q_T),\qquad \chi m_n\to\chi\rho u\quad\text{强收敛于 }L^2_tW^{-1,192/95}_x

对每个 $\chi\in C_c^\infty(\Omega)$ 成立, 且

\rho_nu_n\otimes u_n\rightharpoonup\rho u\otimes u \quad\text{局部弱收敛于 }L^{6/5}_tL^{192/191}_x.

极限是定义 1.1 意义下的有限能量 renormalized weak solution, 人工压力还满足 $\delta_n\rho_n^\beta\to0$ 于每个 $$Q_D$$ , $D\Subset\Omega$ , 的 $$L^1$$ 收敛。解的定义包含 $\rho\in L^\infty_tL\log L_x\cap C_{\rm weak}([0,T];L^1)$ 、 $u\in L^2_tW^{1,2}_0$ 、 $\sqrt\rho u\in L^\infty_tL^2$ 、质量与动量的弱连续初值迹、renormalized continuity identity, 以及对几乎处处 $$t$$ 成立的能量不等式

\int_\Omega\left(\frac12\rho|u|^2+H(\rho)\right)(t)dx +\int_0^t\!\int_\Omega S(u):\nabla u\,dx\,ds\leq E_0.

定理 B 在 $\mu>0$ , $\mu+\lambda\geq0$ 及初值条件 (1.7) 下, 断言存在全局有限能量 renormalized weak solution。该解由人工压力逼近得到, 且对每个有限 $$T$$ , 逼近密度强收敛于 $$L^1(Q_T)$$ 。结论不要求初始密度有正下界或有界, 也不要求初值具有对称性。

证明中的代表性端点估计如下。令 $\eta_{t,x}$ 为逼近密度生成的 Young measure, $$X$$ 为其变量, 并记 $\mathbb E f(X)=\int f(r)\,d\eta_{t,x}(r)$ 、 $\rho=\mathbb E X$ 。对单调凹的密度帽截断 $$T_k$$ , 定义

t_k=\mathbb E T_k(X),\qquad C_k=\operatorname{Cov}(X,T_k(X)),\qquad V_k=\operatorname{Var}(T_k(X)),\qquad V=\mathbb E|X-\rho|^2.

固定截断的有效通量关系为

C_k=\nu(h_k-t_k\operatorname{div}u),\qquad \nu=2\mu+\lambda>0,

其中 $$h_k$$ 是 $T_k(\rho_n)\operatorname{div}u_n$ 的弱极限。由此获得 $0\leq V_k\leq C_k$ , $C_k\uparrow V$ 以及

\int_{Q_T}V\,dx\,dt\leq\nu^2D_*,\qquad D_*:=\sup_n\int_{Q_T}|\operatorname{div}u_n|^2\,dx\,dt.

尤其对截断源项 $$a_k(r)=rT_k'(r)-T_k(r)$$ , 任给有限 $$M$$ 且 $$k>2M$$ , 有与 $$k$$ 无关的可积控制

\mathbf 1_{\{t_k\leq M\}}\,\mathbb E|a_k(X)|^2\leq4V.

这使得支配收敛可用于去除端点处无法按经典插值法处理的截断源项, 最终先恢复 renormalized continuity, 再通过截断熵比较证明密度强 $$L^1$$ 收敛。

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

证明的首要障碍是端点密度可积性不足。自然能量只控制 $\rho\log(1+\rho)$ , 而非 $L^{1+\varepsilon}$ ; 因而经典幂律压力论证中用于消去截断源项的插值小量在 $\gamma=1$ 消失。具体而言, 令 $$T_k$$ 为密度帽截断, $$a_k(r)=rT'_k(r)-T_k(r)$$ 。截断后的连续性方程带有 $a_k(\rho_n)\operatorname{div}u_n$ 源项。经典论证将 $$a_k$$ 的小尾部 $$L^1$$ 控制与密度振荡控制插值, 平方估计中小尾部因子的指数为 $(\gamma-1)/\gamma$ ; 等温端点该指数为零, 因而不能推出源项所需的小性。文章的关键不是直接加强密度的普通 Lebesgue 空间界, 而是构造能在端点仍可积、且不依赖截断水平的中心化振荡控制。

第一步, 作者用 $p_\delta(r)=r+\delta r^\beta$ 构造能量相容的逼近。对任意自然能量初值, 先选取光滑且严格正的 $\rho_{0,n}$ 与紧支撑光滑速度 $u_{0,n}$ , 使密度、内能、动量及加权动能按文中 (2.1)–(2.2) 收敛。再以依赖初始高次密度积分的方式选取 $\delta_n$ , 保证人工压力初始能量消失。固定 $\delta$ 的高压方程提供逼近层面的解与能量不等式; 黏性耗散满足

\int_\Omega S(w):\nabla w\,dx =\mu\|\nabla w\|_2^2+(\mu+\lambda)\|\operatorname{div}w\|_2^2 \geq\mu\|\nabla w\|_2^2.

因此其常数黏性假设包括退化边界情形 $\mu+\lambda=0$ 。这里高压项只用于逼近, 需在极限中局部消失。

第二步, 在强密度收敛尚未知时识别惯性项。作者采用 Plotnikov–Weigant 的二维 Radon 变换估计及局部密度增益, 并核查这些估计常数只依赖自然能量量、质量、耗散、总压力等, 不依赖逼近初值的 $L^\infty$ 上界、正下界倒数或速度 $W^{1,2}$ 范数。对任意 $D\Subset\Omega$ , 得到 $\rho_n$ 的局部时空高可积性, 进而由动能和二维 $W^{1,2}_0\hookrightarrow L^q$ 对任意有限 $$q$$ 的嵌入, 获得动量、对流张量的有限混合范数界。例如文中取 $\alpha=1/8$ , 推出 $\rho_n$ 有局部 $L^{9/8}$ 界, 并进一步得到

\rho_n\in L^4_tL^{32/31}_x(D),\quad m_n\in L^3_tL^{96/95}_x(D),\quad \rho_nu_n\otimes u_n\in L^{6/5}_tL^{192/191}_x(D).

这些界配合负 Sobolev 紧性用于识别极限动量和对流项, 先建立分布意义下的极限方程。它们本身并不提供密度强收敛或 renormalization。

第三步, 对每个固定帽截断建立有效黏性通量恒等式, 同时保留截断连续性方程的源项, 而不预先假设该源项已消失。通过分布极限方程与二维紧性估计, 识别 Young measure 下的压力—截断协方差, 得到

C_k=\operatorname{Cov}(X,T_k(X)) =\nu(h_k-t_k\operatorname{div}u).

该恒等式把密度的非线性振荡与速度散度联系起来。利用压力乘积单调性和已有的截断振荡估计, 得到 $V_k\leq C_k$ , 并令截断上升, 将振荡控制表达为中心化 Young-measure 方差 $V=\mathbb E|X-\rho|^2$ 。有效通量进而给出 $V\in L^1(Q_T)$ , 其积分由散度耗散控制。中心化很重要: 若 Young measure 是 Dirac 质量, 即使其中心密度没有 $$L^2$$ 可积性, 方差仍为零; 所以该估计控制的是振荡而不是均值密度的平方。

第四步是端点源项消去, 也是论文的主要技术创新。帽截断满足: $$T_k$$ 在 $$[0,k]$$ 上等于恒等映射, 在高密度处有界, 且是单调、凹、单 Lipschitz。对固定 $$M$$ 和 $$k>2M$$ , 在截断均值集合 $\{t_k\leq M\}$ 上, $$a_k(X)$$ 仅可能在高密度尾部非零, 且可由中心化截断振荡估计为

\mathbf 1_{\{t_k\leq M\}}\mathbb E|a_k(X)|^2\leq4V.

右端是单一的 $$L^1(Q_T)$$ 支配函数, 与 $$k$$ 无关。又因每个时空点的 Young measure 具有有限均值与有限方差, 可得 $\mathbb E|a_k(X)|^2\to0$ 几乎处处; 支配收敛遂给出该截断均值集合上源项系数的 $$L^2$$ 小性。作者随后先对有界截断均值方程 $\partial_t t_k+\operatorname{div}(t_ku)=-S_k$ 使用输运交换子, 再对导数紧支撑的重整化函数 $$b$$ 处理 $$b'(t_k)S_k$$ 。其支撑落在有界截断均值集合上, 因而上述小性可消去源项。这样是在密度强收敛之前恢复极限密度的 renormalized continuity, 并非先假设 renormalization 再用于紧性证明。

最后, 有了极限 renormalized continuity 后, 作者进行截断熵比较以消除剩余密度振荡, 得到强 $$L^1(Q_T)$$ 收敛。该论证还需要初始时刻的熵迹与时间紧性; 文中将密度、动量、帽截断及截断熵的迹在证明所需阶段分别建立。随后完成能量不等式、边界及人工压力极限的传递。整体逻辑次序是: 先识别分布极限中的惯性项, 再建立固定截断有效通量, 利用中心化方差消除重整化源项, 恢复 renormalized continuity, 最后由截断熵压缩缺陷并获得强密度紧性。

4. 与之前工作的比较

就幂律压力的经典有限能量理论而言, Lions、Feireisl 以及 Feireisl–Novotný–Petzeltová 的工作建立了二维 $p(\rho)=\rho^\gamma$ , $\gamma>1$ 的全局弱解存在理论及相应紧性框架。本文针对其等温端点 $\gamma=1$ , 在常黏性、一般自然有限能量初值下补上这一端点。作者明确指出, 经典去源项步骤使用的小尾部插值指数为 $(\gamma-1)/\gamma$ ; 本文并非将该插值论证形式上延拓到 $\gamma=1$ , 而是以有效通量产生的中心化方差作为截断无关的可积主控, 取代端点失效的插值小量。故其推进针对的是紧性论证中一个具体的端点障碍, 不是仅将压力指数记号取极限。

与 Plotnikov–Weigant 的二维等温工作相比, 本文沿用其 Radon 变换估计和局部密度增益来处理惯性项, 但显著扩展了可处理的初值范围并加强了极限结论。文中描述的 [26] 存在结果要求 $\rho_0\in L^\infty$ , $\rho_0\geq c>0$ , 且 $u_0\in W^{1,2}_0\cap L^\infty$ ; 其解概念为分布解, 极限论证没有证明 renormalized continuity 或密度强收敛。本文则允许真空和无界初始密度, 仅要求 (1.7) 中的自然能量, 并证明极限是 renormalized weak solution, 以及逼近密度强收敛于 $L^1((0,T)\times\Omega)$ 。但作者并未舍弃 [26] 的惯性识别工具: 仍依赖其 Radon 与局部密度估计, 主要新增部分是从分布极限走向 renormalization 与强密度紧性的端点论证。

Weigant–Plotnikov [31] 将密度和动能估计推进到边界, 并明确指出建立 renormalized solution 仍是开放问题。手册中的相关定理也保留类似的初值限制, 给出 $0<\alpha<1/8$ 的局部密度增益, 但并未将极限 renormalized continuity 和强密度收敛列为结论。本文在有界 $$C^2$$ 区域和无滑移边界条件下, 将存在性结论推进到自然能量初值, 并补上上述两项关键极限性质。文中没有显示本文获得了比这些工作更强的局部密度幂次; 其核心推进是初值范围与极限识别结论, 而非局部密度增益指数本身。

与 Bresch–Desjardins 熵结构相关的工作, 包括 Mellet–Vasseur、Vasseur–Yu、Li–Xin 以及 Bresch–Vasseur–Yu 等, 利用特定的密度依赖黏性和 BD 关系获得额外密度空间控制, 部分结果还结合额外动能可积性处理含真空的大数据问题。本文的问题设定不同: 黏性系数为常数, 不具备上述密度依赖黏性所带来的 BD 熵控制, 证明只使用自然有限能量初值。由此本文并非在既有 BD 熵框架内简单推广, 而是在没有该额外密度熵的条件下处理等温端点。相应代价是论证高度依赖二维特有的 Radon 估计、局部密度增益以及有效通量—Young measure 方差机制; 文中结论不能据此直接推断三维或一般黏性律下的同类端点存在性。

从构造方式看, 本文仍处于经典人工高压逼近与能量耗散框架中, 取 $p_\delta(r)=r+\delta r^\beta$ , $\beta\geq6$ , 并在极限中令人工压力消失。因此它并未消除逼近参数, 也未声称得到解的唯一性或更高正则性; 结果是全局有限能量 renormalized weak solution 的存在与所构造逼近序列的强密度紧性。定理 A 对稳定性另有能量、局部密度增益及初值能量收敛假设, 不能不加条件地理解为所有分布弱解序列的稳定性定理。关于适用到无界区域、不同边界条件、其他压力律或更高维的可能性, 从提供内容中无法确认。作者明确的比较重点是二维等温端点相对于 $\gamma>1$ 经典理论以及既有二维等温分布解结果的推进; 其他维度上的更广泛优劣比较, 作者未显式展开。

2. 二维 Boussinesq 温度斑块在 $W^{k,\infty}$ 和 $C^{k,γ}$ 中的整体正则性与无限 Prandtl 数极限：低阶情形

Global regularity and infinite Prandtl-number limit for 2D Boussinesq temperature patches in $W^{k,\infty}$ and $C^{k,γ}$ : lower-order case

作者: Omar Lazar, Liutang Xue, Jiakun Yang

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.12253v1

摘要翻译: 我们研究定义在 $\mathbb R^2$ 上、速度耗散为 $Λ^{2α}$ 且满足 $\frac12<α\leq1$ 的二维无扩散 Boussinesq 系统的温度斑块的整体正则性与无限 Prandtl 数极限。我们建立了当 $θ_0\in L^1\cap L^\infty$ 且无散速度初值 $u_0\in W^{1,p}$ 、 $2\leq p<\infty$ 时的整体适定性。在适当的剖面与条纹正则性假设下，我们证明，对每个 $0<γ\leq1$ ， $C^{1,γ}$ 和 $C^{2,γ}$ 斑块边界均整体保持正则性；此结果允许非恒定剖面，并涵盖 Lipschitz 端点 $W^{2,\infty}$ 和 $W^{3,\infty}$ 。在每个有限时间区间上，速度梯度与边界正则性的估计关于 $\mathrm{Pr}\in[1,\infty)$ 一致。当 $$α<1$$ 时，对于适当的有限 $$r$$ ，速度满足一致的整体 $$L^r$$ 界；当 $$α=1$$ 时，若初始温度均值为零且其一阶绝对矩有限，也有此类界。对于紧支撑的非零均值数据，当 $$α=1$$ 时此类界不成立。对于温度斑块，当 $$α<1$$ 或初始温度均值为零时，我们在原坐标系中证明无限 Prandtl 数极限；其他情形则在移动坐标系中证明该极限。该极限是（分数阶）Stokes-输运系统唯一的规范化整体弱解；重要的是，它保持斑块结构与边界正则性。

Comment: 70 pages

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

1. 研究对象和背景

本文研究整个平面 $\mathbb R^2$ 上无热扩散、速度具有分数耗散的二维 Boussinesq 系统。取运动黏性系数 $\nu=1$ ，并令 $\varepsilon=\mathrm{Pr}^{-1}\in(0,1]$ ，其中 $\mathrm{Pr}$ 是 Prandtl 数。问题写为

\begin{cases} \partial_t\theta+u\cdot\nabla\theta=0,\\ \varepsilon(\partial_tu+u\cdot\nabla u)+\Lambda^{2\alpha}u=-\nabla p+\theta e_2,\\ \nabla\cdot u=0,\\ (u,\theta)|_{t=0}=(u_0,\theta_0), \end{cases} \qquad \frac12<\alpha\le 1.

这里 $$u=(u_1,u_2)$$ 是速度， $$p$$ 是压力， $\theta$ 是温度， $$e_2=(0,1)$$ ，而 $\Lambda^{2\alpha}=(-\Delta)^\alpha$ 。温度方程没有扩散项，因此 $\theta$ 由不可压缩流输运；温度又通过浮力项 $\theta e_2$ 驱动速度。该模型描述自然对流等流体问题。 $\alpha=1$ 对应经典 Laplace 耗散， $1/2<\alpha<1$ 则是较弱的分数阶速度正则化。本文工作处于次临界耗散区间；端点 $\alpha=1/2$ 不在结论范围内。

核心几何对象是温度斑块及温度前沿。初值取为

\theta_0(x)=\bar\theta_0(x)\mathbf 1_{D_0}(x),

其中 $D_0\subset\mathbb R^2$ 是有界单连通区域， $\bar\theta_0$ 是区域内的剖面函数，允许非恒定。若速度足够正则，流映射 $$X_t$$ 满足

\frac{d}{dt}X_t(y)=u(t,X_t(y)),\qquad X_0(y)=y,

并且输运结构给出

D(t)=X_t(D_0),\qquad \theta(t,x)=\bar\theta_0(X_t^{-1}(x))\mathbf 1_{D(t)}(x).

因此，问题不只是证明温度解存在，而是要控制移动界面 $\partial D(t)$ 的几何正则性。文章重点考察 $C^{1,\gamma}$ 与 $C^{2,\gamma}$ 边界，其中 $0<\gamma\le1$ ； $\gamma=1$ 对应参数化曲线的 $W^{2,\infty}$ 与 $W^{3,\infty}$ 正则性端点。由于温度剖面可以非恒定，证明还须兼顾界面几何、剖面正则性以及初始速度沿界面切向的正则性。

另一目标是研究 $\mathrm{Pr}\to\infty$ ，即 $\varepsilon\to0$ 的无穷 Prandtl 数极限。形式上惯性项消失，极限系统为分数阶 Stokes-输运方程

\begin{cases} \partial_t\theta+u\cdot\nabla\theta=0,\\ \Lambda^{2\alpha}u=-\nabla p+\theta e_2,\\ \nabla\cdot u=0,\\ \theta|_{t=0}=\theta_0. \end{cases}

在整个平面上，梯度有界并不足以固定速度的低频部分或空间常数；尤其 $\alpha=1$ 时，二维 Stokes 核具有对数远场。总温度非零会导致极限速度的远场与零均值情形不同，因而原坐标系中的全局速度范数不一定能对 $\varepsilon$ 一致控制。本文既要证明有限 Prandtl 数解收敛到适当归一化的 Stokes-输运解，也要证明极限温度仍保留斑块结构和界面正则性。

相关理论已有若干基础。经典二维 Boussinesq 系统的全局适定性已在 $\alpha=1$ 等情形建立；分数耗散温度斑块的既有结果则在界面 Hölder 指数上受到 $\gamma\le 2\alpha-1$ 的限制。周期区域上的先前工作已研究无穷 Prandtl 数极限，但整个平面缺少相应低频控制。本文试图填补的空白包括：在 $\mathbb R^2$ 上取得对 Prandtl 数一致的全局速度梯度和界面估计；将 $C^{1,\gamma}$ 、 $C^{2,\gamma}$ 持续性推进到所有 $0<\gamma\le1$ ，包含 Lipschitz 端点；并在整个平面上证明无穷 Prandtl 数极限，同时保留斑块几何。文章还特别区分 $\alpha<1$ 、 $\alpha=1$ 零均值和 $\alpha=1$ 非零均值三种低频情形，最后一种需改用随时间平移的参考系。

2. 主要定理或主要结果

以下结论均针对 $\varepsilon=\mathrm{Pr}^{-1}\in(0,1]$ 、 $1/2<\alpha\le1$ ，且文中所说的一致性是在每个固定有限时间区间 $$[0,T]$$ 上成立，常数可依赖于 $$T$$ 、 $\alpha$ 及初值界。

全局适定性与速度估计 (定理 1.1). 若

\theta_0\in L^1(\mathbb R^2)\cap L^\infty(\mathbb R^2),\qquad u_0\in W^{1,p}(\mathbb R^2),\quad 2\le p<\infty,\quad \nabla\cdot u_0=0,

则系统存在唯一全局弱解，且对任意 $$T>0$$ ，

\theta\in L^\infty([0,T];L^1\cap L^\infty),\qquad u\in L^\infty(0,T;W^{1,p})\cap \widetilde L^1(0,T;B^{2\alpha}_{\infty,\infty}).

其中速度梯度的空间依赖于 $\alpha,p$ ：当 $1/2<\alpha<1$ 且 $$p=2$$ 时， $\nabla u\in L^\infty([0,T];L^2)\cap\widetilde L^1([0,T];B^{2\alpha-1}_{\infty,\infty})$ ；当 $\alpha=1,p=2$ 时， $\nabla u\in\widetilde L^1([0,T];B^1_{\infty,\infty})$ ；当 $1/2<\alpha\le1,2<p<\infty$ 时， $\nabla u\in L^\infty([0,T];L^p)\cap L^1([0,T];B^{2\alpha-1}_{\infty,\infty})$ 。上述范数界对 $\varepsilon$ 一致。特别地，对有统一初值界的解族，任意固定 $$T$$ 有

\sup_{0<\varepsilon\le1}\int_0^T\|\nabla u^\varepsilon(t)\|_{L^\infty}\,dt<\infty,

从而流映射及其逆映射在有限时间内有一致的 Lipschitz 控制。

另有全局速度 $$L^Q$$ 界：若 $1/2<\alpha<1$ ，则对 $\max\{p,(1-\alpha)^{-1}\}<Q<\infty$ 有 $u\in L^\infty([0,T];L^Q)$ ，且界对 $\varepsilon$ 一致。若 $\alpha=1$ ，在

\int_{\mathbb R^2}\theta_0(x)\,dx=0, \qquad \int_{\mathbb R^2}|x|\,|\theta_0(x)|\,dx<\infty

时，对任意有限 $$Q>p$$ 也有同类一致界。非零均值的紧支撑温度在 $\alpha=1$ 时则不具备这种一致全局速度界；文中给出其下界量级 $\|u^\varepsilon\|_{L^\infty([0,T];L^r)}\ge c\varepsilon^{-1/r}$ ，适用于所述紧支撑初值和 $1<r<\infty$ ，并指出对有限 $r\ge p$ 此增长率是最优的。

$C^{1,\gamma}$ 界面持续性 (定理 1.2). 设 $\theta_0=\bar\theta_0\mathbf 1_{D_0}$ ， $$D_0$$ 有界单连通且 $\partial D_0\in C^{1,\gamma}$ ， $0<\gamma\le1$ 。初始速度的条件为：若 $0<\gamma<2\alpha-1$ ，取 $u_0\in W^{1,p}$ ， $2\le p<\infty$ ；若 $2\alpha-1\le\gamma\le1$ ，取 $u_0\in W^{1,p}$ ，其中 $2/(2\alpha-\gamma)<p<\infty$ 。剖面假设按参数分段：当 $1/2<\alpha<1$ ， $\gamma\le2\alpha-1$ 时只要求 $\bar\theta_0\in L^\infty(D_0)$ ； $2\alpha-1<\gamma<1$ 时要求 $\bar\theta_0\in C^{\gamma+1-2\alpha}(D_0)$ ； $\gamma=1$ 时要求某个 $\mu\in(2-2\alpha,1)$ 下 $\bar\theta_0\in C^\mu(D_0)$ 。当 $\alpha=1$ ， $\gamma<1$ 时要求 $\bar\theta_0\in L^\infty$ ， $\gamma=1$ 时要求某个 $\mu\in(0,1)$ 下 $\bar\theta_0\in C^\mu$ 。在这些条件下，温度沿流保持斑块形式，且对任意有限 $$T$$ ， $\partial D(t)\in L^\infty(0,T;C^{1,\gamma})$ ，界对 $\varepsilon$ 一致。

$C^{2,\gamma}$ 界面持续性 (定理 1.3). 设 $\partial D_0\in C^{2,\gamma}$ 。初始速度须满足

u_0\in W^{1,q}(\mathbb R^2),\quad q>\frac{2}{2\alpha-1},\qquad \partial_{W_0}u_0\in\dot W^{1,p}(\mathbb R^2),\quad p>\frac{2}{2\alpha-\gamma},

其中 $W_0=\nabla^\perp\phi_0$ 是初始界面的切向场， $\partial_{W_0}=W_0\cdot\nabla$ 。当 $1/2<\alpha<1$ ，若 $\gamma\in(0,2\alpha-1)\cup(2\alpha-1,1)$ ，要求 $\bar\theta_0\in C^{2+\gamma-2\alpha}(D_0)$ ；若 $\gamma=2\alpha-1$ ，要求某个 $\widetilde\mu\in(0,1)$ 下 $\bar\theta_0\in C^{1+\widetilde\mu}$ ；若 $\gamma=1$ ，要求某个 $\mu\in(2-2\alpha,1)$ 下 $\bar\theta_0\in C^{1+\mu}$ 。当 $\alpha=1$ ， $\gamma<1$ 时要求 $\bar\theta_0\in C^\gamma$ ， $\gamma=1$ 时要求某个 $\mu\in(0,1)$ 下 $\bar\theta_0\in C^{1+\mu}$ 。结论是对任意有限 $$T$$ ， $\partial D(t)\in L^\infty(0,T;C^{2,\gamma})$ ，且界对 $\varepsilon$ 一致。 $\gamma=1$ 对应的 $W^{2,\infty}$ 与 $W^{3,\infty}$ 界面端点均包含在内。

无穷 Prandtl 数极限 (定理 1.4). 对 $$k=1$$ 或 $$2$$ ，取满足相应界面定理假设的初始温度。若 $$k=1$$ ，要求初始速度族一致有界于某个 $W^{1,p}$ ，其中 $p>\max\{2,2/(2\alpha-\gamma)\}$ ；若 $$k=2$$ ，要求某些 $p>2/(2\alpha-\gamma)$ 、 $q>2/(2\alpha-1)$ 下， $u_0^\varepsilon$ 在 $W^{1,q}$ 及 $\partial_{W_0}u_0^\varepsilon$ 在 $\dot W^{1,p}$ 中一致有界。若 $\alpha<1$ ，或 $\alpha=1$ 且 $\int\theta_0=0$ ，解在原坐标系收敛。若 $\alpha=1$ 且总温度非零，则存在绝对连续路径 $a^\varepsilon(t)$ 、 $a^\varepsilon(0)=0$ ，在变换

\Theta^\varepsilon(t,x)=\theta^\varepsilon(t,x+a^\varepsilon(t)),\qquad U^\varepsilon(t,x)=u^\varepsilon(t,x+a^\varepsilon(t))-\dot a^\varepsilon(t)

后收敛。极限是具有核归一化 $u=G_\alpha*\theta$ 的唯一全局弱解；对每个有限 $r\ge1$ ，温度强收敛于 $C([0,T];L^r(\mathbb R^2))$ ，速度在任意球 $$B_R$$ 上弱星收敛于相应的 $L^\infty_tW^{1,p}_x$ 或 $L^\infty_tW^{1,q}_x$ 空间。极限温度满足 $\theta(t,x)=\theta_0(X_t^{-1}(x))$ ，并保留斑块结构及 $\partial D(t)\in L^\infty(0,T;C^{k,\gamma})$ ，包括 $\gamma=1$ 。对于 $\alpha=1$ ，这也将 Grayer II 的 $C^{2,\gamma}$ 界面结论延伸至 $W^{3,\infty}$ 端点。

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

证明的主线是把温度对涡量方程的直接强迫改写为一个具有耗散结构的好未知量，再以该未知量控制速度梯度，最后将控制传递到沿界面切向的导数。困难有两层：一是 $\mathbb R^2$ 上低频速度不能仅由梯度估计控制，且估计须对 $\varepsilon$ 一致；二是界面达到 $\gamma=1$ 时，普通 Hölder 插值或只控制非端点范数不足以推出 Lipschitz 型高阶正则性。

好未知量与一致梯度估计。 令 $\omega=\partial_1u_2-\partial_2u_1$ ，并定义

R_{1-2\alpha}=\partial_1\Lambda^{-2\alpha},\qquad \Gamma=\omega-R_{1-2\alpha}\theta.

文中推导出

\varepsilon(\partial_t\Gamma+u\cdot\nabla\Gamma)+\Lambda^{2\alpha}\Gamma =\varepsilon[R_{1-2\alpha},u\cdot\nabla]\theta.

原涡量方程中的浮力强迫 $\partial_1\theta$ 因此被换成对流算子与奇异积分算子的交换子。这个改写的作用不是单纯形式简化：耗散算子直接作用于 $\Gamma$ ，而交换子估计可以避免依赖低频的速度本身，仅使用 $\nabla u$ 和 $\theta$ 的范数。作者特别指出，早先在 $\alpha=1$ 、整个平面上的处理会在交换子估计中引入对 $\varepsilon$ 依赖的零阶速度范数；本文使用相应交换子估计消除这一依赖，使有限时间速度梯度估计可对 $\varepsilon$ 一致。

初值空间 $$p=2$$ 时，不能直接把 $\Gamma_0$ 当作 $$L^2$$ 函数，因为 $\omega_0\in L^2$ 并不保证 $R_{-1}\theta_0\in L^2$ 。作者因而将 $\Gamma$ 分解为两部分，初值分别为 $\omega_0$ 与 $-R_{-1}\theta_0$ ，并分别在 $$L^2$$ 和某个 $$q>2$$ 的空间中估计。 $$p>2$$ 时则直接对 $\Gamma$ 作 $$L^p$$ 估计，这也使定理不必额外假设 $u_0\in H^1$ 。频率分解和耗散平滑与上述分量估计结合，建立全局适定性所需的先验界。唯一性使用线性化速度方程的平滑估计、Besov 空间估计及 Osgood 引理。摘要和引言没有展开各频率区间的完整估计式，具体参数插值细节从提供内容中无法确认。

切向场与界面正则性。 取初始水平集函数 $\phi_0$ ，沿流输运得到 $\phi=\phi_0\circ X_t^{-1}$ ，并设 $W=\nabla^\perp\phi$ 、 $\partial_W=W\cdot\nabla$ 。切向场满足

\partial_tW+u\cdot\nabla W=\partial_Wu.

该输运方程将几何信息编码为随流演化的切向向量场；沿 $$W$$ 的导数可用于度量界面方向上的正则性。 $C^{1,\gamma}$ 估计中控制流映射的 Lipschitz 性及切向场； $C^{2,\gamma}$ 估计还要求初始 $\partial_{W_0}u_0\in\dot W^{1,p}$ ，并对剖面施加更高的 Hölder 正则性。这些并非可互换的普通全空间导数条件，而是针对界面切向方向、用于闭合高阶边界估计的结构性假设。

证明端点时，关键机制是耗散带来的 $2\alpha-1>0$ 阶导数增益，以及切向交换子估计。作者指出，端点论证把 $\Gamma$ 的耗散估计与切向交换子界结合，在 $1/2<\alpha\le1$ 的整个范围内闭合界面估计。正增益在 $\alpha=1/2$ 消失，因此本文方法不覆盖临界端点。关于速度结构，文中还指出

\nabla u=\nabla\nabla^\perp\Lambda^{-2}\Gamma +\nabla\nabla^\perp\partial_1\Lambda^{-2-2\alpha}\theta.

相较于 Euler 涡量斑块直接以零阶算子作用于斑块涡量，温度项对速度梯度的贡献是 $1-2\alpha<0$ 阶；另一部分则作用于具有耗散演化的 $\Gamma$ 。这种算子阶数差别及耗散结构有助于解释为何本文可以得到 Euler 端点处不成立的边界结论。 $\alpha=1$ 已有的几何奇异积分抵消也与这一论证背景相关，但提供内容没有完整列出本文各端点引理的逐步证明。

无穷 Prandtl 数极限与归一化。 令 $\varepsilon\to0$ 时，惯性项消失，形式极限为分数 Stokes-输运系统。作者首先利用定理 1.1 的一致有限时间梯度界和界面切向估计，建立解族紧性所需的控制；温度的强收敛在 $$C([0,T];L^r)$$ 中陈述，速度则在局部球上以弱星方式收敛。随后用极限方程及归一化识别极限速度，并证明该解类中的唯一性。文中给出的归一化为 $u=G_\alpha*\theta$ ，其中 $1/2<\alpha<1$ 时采用衰减的分数 Stokes 核， $\alpha=1$ 时采用固定加法常数的对数 Stokes 核。引言提及第 6.1 节有一般收敛结果和第 6.3 引理式的唯一性论证，但所提供摘录没有给出完整紧性、强收敛和极限唯一性证明的技术细节，故更细的误差率或收敛速度从提供内容中无法确认；定理陈述本身也没有给出关于 $\varepsilon$ 的定量收敛速率。

低频障碍及移动参考系。 当 $\alpha<1$ 时，可取得适当有限指数 $$Q$$ 下对 $\varepsilon$ 一致的全局 $$L^Q$$ 速度界；当 $\alpha=1$ 且温度总量为零并有有限一阶绝对矩时也如此。这些全局可积性界既协助紧性，也排除极限速度相差非零空间常数的可能。 $\alpha=1$ 且总温度非零时，二维 Stokes 核的对数远场使统一全局 $$L^r$$ 速度界失败。作者不把这一障碍误当成梯度正则性失效，而是选择绝对连续平移 $a^\varepsilon(t)$ ，在移动坐标中定义 $U^\varepsilon$ 并减去平移速度 $\dot a^\varepsilon$ ，从而取得局部速度控制并固定极限归一化。具体移动路径的构造及其平均归一化估计在摘录中没有完整呈现；可以确认的是，定理保证其存在并得到上述收敛结论。

4. 与之前工作的比较

全局适定性方面。 在经典耗散 $\alpha=1$ 、 $\mathrm{Pr}=1$ 的情形，Chae 以及 Hou、Li 已对光滑初值建立全局适定性；Abidi、Hmidi 等随后降低了初值正则性。临界分数耗散 $\alpha=1/2$ 、 $\mathrm{Pr}=1$ 的结果也已有 Hmidi、Keraani、Rousset 的工作。对于 $1/2<\alpha<1$ ，Khor、Xu 已在 $\mathrm{Pr}=1$ 下证明全局适定性，初值条件包括 $\theta_0\in L^1\cap L^\infty$ 及 $u_0\in H^1\cap W^{1,p}$ （某个 $$p>2$$ ）。本文定理 1.1 在完整次临界范围 $1/2<\alpha\le1$ 中处理任意 $2\le p<\infty$ 的 $u_0\in W^{1,p}$ ，包括 $$p=2$$ ，且 $$p>2$$ 时不再另加 $$H^1$$ 条件；同时给出对 $\varepsilon\in(0,1]$ 一致的速度梯度估计。推进不只是从 $\mathrm{Pr}=1$ 推广到有限 Prandtl 数，而是解决整个平面上需要控制的低频问题。适用范围仍要求温度属于 $L^1\cap L^\infty$ ，耗散指数严格大于 $$1/2$$ ，不声称涵盖临界端点。

温度斑块边界方面。 对二维 Euler 涡量斑块，Chemin 及 Bertozzi、Constantin 等建立了 $C^{k,\gamma}$ 边界持续性；但 Kiselev、Luo 构造了初始为 $$C^2$$ 、曲率立即失去有界性的 Euler 斑块，说明端点 $W^{2,\infty}$ 与非端点 Hölder 正则性的行为可能不同。本文的 Boussinesq 温度斑块在所列假设下保持 $W^{2,\infty}$ 及 $W^{3,\infty}$ ，这不能简单类比成 Euler 斑块结论的直接推广；速度梯度的算子结构不同，温度贡献的阶数为 $1-2\alpha<0$ ，并有耗散好未知量 $\Gamma$ 。

在 Boussinesq 既有工作中， $\alpha=1$ 、 $\mathrm{Pr}=1$ 时，Danchin、Zhang 证明 $0<\gamma<1$ 的 $C^{1,\gamma}$ 持续性；Gancedo、García-Juárez 处理了 $C^{1,\gamma}$ 、 $W^{2,\infty}$ 和 $C^{2,\gamma}$ ；Chae、Miao、Xue 对非恒定温度前沿建立更高阶结果，并处理 $W^{2,\infty}$ 。作者此前在环面 $\mathbb T^2$ 上证明了对 Prandtl 数一致的高阶持续性。分数耗散方面，Khor、Xu 的结果限于 $C^{1,\gamma}$ 且 $0<\gamma\le2\alpha-1$ ；作者先前工作 [48] 将此范围拓展到一般整数阶 $$k$$ ，但分数情形仍限于 $\gamma\le2\alpha-1$ ，经典情形限于 $\gamma<1$ 。本文在 $\mathbb R^2$ 上针对低阶 $$k=1,2$$ 将范围推进到所有 $0<\gamma\le1$ ，包括分数情形中超出 $2\alpha-1$ 的指数及两个 Lipschitz 端点，并在有限时间区间对 $\mathrm{Pr}$ 一致。对于 $1/2<\alpha<1$ ， $W^{2,\infty}$ 结论回答了 Khor、Xu 关于曲率控制的问题，且不要求初始界面比 $W^{2,\infty}$ 更光滑。

这种提升有明确代价：界面正则性与温度剖面正则性按 $\alpha,\gamma$ 分段匹配； $C^{2,\gamma}$ 还要求初始速度在切向方向满足 $\partial_{W_0}u_0\in\dot W^{1,p}$ ，以及额外的 $W^{1,q}$ 控制。故结果不是对任意有界剖面、任意弱速度数据都成立。本文标题中的 lower-order case 也对应范围限制：只处理 $$k=1,2$$ ，作者说明一般 $k\ge3$ 留待后续工作。边界估计是每个有限时间区间上的控制，并不意味着当 $t\to\infty$ 时边界范数有界；文中明确指出长期增长与全局持续性并不矛盾。

空间区域与无穷 Prandtl 数极限方面。 作者此前的工作 [48] 已在 $\mathbb T^2$ 建立无穷 Prandtl 数极限并传递斑块正则性，且对一般整数 $k\ge1$ 有结果；分数情形的指数为 $0<\gamma\le2\alpha-1$ ，经典情形为 $0<\gamma<1$ 。本文改在整个平面 $\mathbb R^2$ 上证明，并处理 $$k=1,2$$ 、 $0<\gamma\le1$ 。相较环面，整个平面没有 Poincaré 不等式来由速度梯度控制速度；因此需要额外处理低频和极限速度的归一化。这是本工作的主要新困难之一，不是仅把周期性结论逐字搬到全空间。

当 $1/2<\alpha<1$ 时，或当 $\alpha=1$ 且总温度为零时，本文在原坐标系得到收敛； $\alpha=1$ 、非零总温度时则只在随时间移动的参考系中给出相应收敛结论。后者不是结论变弱到无法控制界面，而是二维 Stokes 对数核使紧支撑非零均值温度产生无法统一控制的全局速度远场。定理指出这种情形下 $\|u^\varepsilon\|_{L^\infty_tL^r_x}$ 至少按 $\varepsilon^{-1/r}$ 增长，因此原坐标系的统一全局速度界确实不可得；移动框架用于消除相应整体漂移，同时保持极限问题的核归一化。零均值条件加有限一阶绝对矩是经典耗散下恢复原坐标系全局速度控制的充分条件；摘录并未证明它是所有可能假设中的必要条件。

极限方程的既有结果包括 Cobb 对分数 Stokes-输运系统在临界函数空间中的适定性，以及 Grayer II 对 $\alpha=1$ 的全局适定性和常剖面斑块界面正则性结果。本文在归一化 $u=G_\alpha*\theta$ 下证明解的唯一性，并把斑块极限、非恒定剖面以及 $C^{1,\gamma}$ 、 $C^{2,\gamma}$ 的完整范围一并纳入；在 $\alpha=1$ 时将 Grayer II 已有的 $C^{2,\gamma}$ 结果延伸到 $W^{3,\infty}$ 端点。另一方面，本文给出的是有限时间上的收敛与界面界，没有提供随 $\varepsilon$ 的定量误差阶，也没有在摘录中宣称无限时间一致收敛。比较结论应限于文中明确列出的初值、剖面、切向正则性与归一化条件；未列出的更弱假设能否成立，从提供内容中无法确认。

3. 表面准地转方程中 Sobolev 正则性的瞬时固定间隙丧失

Instantaneous gap loss of Sobolev regularity for the surface quasi-geostrophic equation

作者: Qionglei Chen, Changxing Miao, Yaowei Xie

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.12011v1

摘要翻译: 我们证明, 对于 $\mathbb R^2$ 上的无粘性表面准地转方程, Sobolev 正则性会跨越一个固定间隙而瞬时丧失. 更确切地说, 对每个 $$1<s<2$$ , $$T>0$$ 和 $\varepsilon>0$ , 我们构造初值 $\theta_0\in H^s(\mathbb R^2)$ , 满足 $\|\theta_0\|_{H^s}\leq\varepsilon$ , 并生成区间 $$[0,T]$$ 上的解 $\theta$ , 使得

\theta\in L^\infty([0,T];H^{1+\gamma}(\mathbb R^2)), \qquad \theta(t)\notin H^\sigma(\mathbb R^2) \quad\text{对每个 }t\in(0,T],\ \sigma>\sigma_*(s).

其中 $\gamma>0$ 和 $\sigma_*(s)$ 满足

1+\gamma<\sigma_*(s):=\frac{s(3-s)}{1+2s-s^2}<s.

该解在具有同一初值 $\theta_0$ 的指定经典解类别中唯一.

Comment: 48 pages

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

1. 研究对象和背景

本文研究定义在全平面 $\mathbb{R}^2$ 上的无粘性表面准地转方程 (SQG). 未知量 $\theta(x,t)$ 是主动标量, 速度 $$u$$ 由 $\theta$ 非局部决定, 并将其输运:

\begin{cases} \partial_t\theta+u[\theta]\cdot\nabla\theta=0,\\ u[\theta]=\nabla^\perp\Lambda^{-1}\theta=R^\perp\theta,\\ \nabla\cdot u[\theta]=0,\\ \theta(\cdot,0)=\theta_0. \end{cases}

这里 $\Lambda=(-\Delta)^{1/2}$ , $$R=(R_1,R_2)$$ 是 Riesz 变换向量, $\nabla^\perp=(-\partial_2,\partial_1)$ ; 等价地, 速度可写为奇异积分

u[\theta](x)=c\,\mathrm{p.v.}\int_{\mathbb{R}^2}\frac{(x-y)^\perp}{|x-y|^3}\theta(y)\,dy.

因此这是一个不可压缩输运方程, 但输运场不是外加的: 它由标量本身经零阶齐次算子生成. 标准的高阶 Sobolev 能量估计会涉及速度的 Lipschitz 控制, 而在二维 $$H^r$$ 尺度中, $$r>2$$ 是次临界区, $$r=2$$ 是临界区, $$r<2$$ 是超临界区. 对 $$r>2$$ 的局部适定性已有经典理论; 临界及超临界范围则存在多种病态现象. 本文关注 $$1<s<2$$ 的超临界数据, 研究解在正时间是否能立即离开比初值低一个固定量的 Sobolev 正则性范围, 同时仍在一个较低的 $H^{1+\gamma}$ 空间中保持经典性。

研究的问题比通常的范数膨胀更细. 范数膨胀说明小初值可以在短时间内产生很大的指定范数, 但并不必然给出同一解在每个正时间都不属于某些 Sobolev 空间. 连续正则性丧失则允许损失阈值随时间变化, 未必在 $t\downarrow0$ 时存在固定的正间隙. 本文要构造的是任意小的 $$H^s$$ 初值, 使得对所有 $$t>0$$ , 解同时满足低阶正则性和高阶空间排除结论, 且排除阈值 $\sigma_*(s)$ 不依赖时间:

\theta(t)\in H^{1+\gamma},\qquad \theta(t)\notin H^\sigma\quad(\sigma>\sigma_*(s)),\qquad t\in(0,T].

这里所谓固定 Sobolev 间隙是 $s-\sigma_*(s)>0$ , 而不是断言 $\theta(t)\notin H^{\sigma_*(s)}$ .

构造的动力学基础是剪切诱导高频增长. 初值由一个径向外壳和一个内侧角向高频振荡组成. 对 Euler 涡量方程, 径向涡量壳在其内部不产生速度; SQG 的速度算子不同, 径向分布可在支集之外产生角向速度. 因而作者可让外层径向分量在与其分离的内侧振荡环带上产生非退化角向剪切, 再利用剪切使相位径向变化、角频率增长, 从而放大高阶 Sobolev 范数. 困难在于这一线性剪切近似必须对真实的非线性 SQG 解成立, 并且解须至少存在到任意事先给定的有限时间 $$T$$ . 对一般光滑初值而言, SQG 的全局光滑正则性仍是开放问题, 直接控制振荡分量的 $C^{1,\alpha}$ 范数只能覆盖趋于零的时间尺度。因此本文还需要在精确背景剪切坐标中控制非线性误差, 并将一列具有不同起始放大时间的解块分离拼接, 以得到每个正时间均发生正则性丧失的单个解。

2. 主要定理或主要结果

令 $$1<s<2$$ , 并定义

\sigma_*(s)=\frac{s(3-s)}{1+2s-s^2}.

则 $1<\sigma_*(s)<s$ , 且

s-\sigma_*(s)=\frac{s(2-s)(s-1)}{1+2s-s^2}>0,\qquad \sigma_*(s)-1=\frac{s-1}{1+2s-s^2}>0.

定理 1.1 (范数膨胀). 对任意 $$T>0$$ , $\tau\in(0,T)$ , $\varepsilon>0$ , $$M>0$$ 及 $\sigma>\sigma_*(s)$ , 存在 $\theta_0\in C_c^\infty(\mathbb{R}^2)$ , 使得 $\|\theta_0\|_{H^s}\leq\varepsilon$ , 且相应光滑解存在于整个 $$[0,T]$$ , 并满足

\|\theta(t)\|_{H^\sigma}\geq M,\qquad t\in[\tau,T].

结论不仅是在某个时刻使高阶范数变大, 而是在给定的闭区间 $[\tau,T]$ 上一致地达到任意大的下界; 但 $\tau$ 必须为正, 定理本身不要求该范数在 $$t=0$$ 已大。

定理 1.3 (瞬时固定间隙丧失). 对任意 $$T>0$$ 和 $\varepsilon>0$ , 存在 $\theta_0\in H^s(\mathbb{R}^2)$ , $\|\theta_0\|_{H^s}\leq\varepsilon$ , 使方程存在一个以 $\theta_0$ 为初值、定义在 $$[0,T]$$ 上的经典解 $\theta$ . 这里本文的经典解类别要求 $\theta$ 连续, 时空一阶导数逐点存在, 方程逐点成立, 且对某个 $\gamma>0$ 有 $\theta\in L^\infty([0,T];H^{1+\gamma})$ . 对这一解, 存在满足 $1+\gamma<\sigma_*(s)$ 的 $\gamma>0$ , 并且

\theta\in L^\infty([0,T];H^{1+\gamma}),\qquad \theta(t)\notin H^\sigma(\mathbb{R}^2) \quad\text{对每个 }t\in(0,T],\ \sigma>\sigma_*(s).

该解在 Definition 1.2 所规定的经典解类别中, 对同一初值唯一. 这是一个有类别限定的唯一性结论, 并非对所有可能的弱解或其他正则性类别声称唯一。

证明的单块初值具有明确的尺度结构. 取 $f\in C_c^\infty((4,5))$ , $g\in C_c^\infty((1,2))$ , $f\geq0$ , 且二者非零; 令 $$c_0$$ 较小, $\lambda,N$ 较大, 设

\theta_0(r,\phi)=c_0\lambda^{1-s}f(\lambda r) +c_0\lambda^{1-s}N^{-s}g(\lambda r)\cos(N\phi).

径向壳与振荡环带在缩放后的径向变量 $R=\lambda r$ 上分别位于 $$(4,5)$$ 与 $$(1,2)$$ , 中间留有空隙. 记 $K=c_0\lambda^{2-s}$ , 径向背景产生的角速度为 $K\Omega(R)$ . 近似输运解中的振荡项具有相位 $N\phi-NKt\Omega(\lambda r)$ , 因而剪切使径向相位导数达到 $$NKt$$ 的量级. 对任意 $0\leq\rho\leq2$ , 径向部分满足 $\|\theta_{\rm rad}\|_{H^\rho}\simeq c_0\lambda^{\rho-s}$ ; 对固定 $0<\tau<T$ 、充分大的 $\lambda$ 及相应的振荡参数, 近似解的增长量满足文中公式 (1.8) 的尺度关系

\|\theta(t)\|_{H^\rho}\simeq_{f,g,\rho} c_0\lambda^{\rho-s} +c_0^{1+\rho}t^\rho\lambda^{\rho(3-s)-s}N^{\rho-s}, \qquad t\in[\tau,T].

若 $N\sim\lambda^a$ , 要使第二项随 $\lambda$ 增长, 需 $a<A_s(\rho)$ , 其中

A_s(\rho)=\frac{\rho(3-s)-s}{s-\rho},\qquad A_s(\sigma_*(s))=\frac{2(2-s)}{s-1}.

取任意小的 $\delta>0$ , 令 $a_\delta=[2(2-s)+\delta]/(s-1)$ 、 $N=\lfloor\lambda^{a_\delta}\rfloor$ , 可对每个 $\rho>\sigma_*(s)$ 实现任意大的 $H^\rho$ 下界。严格定理对任意 $\sigma>\sigma_*(s)$ 成立, 不包含端点 $\sigma=\sigma_*(s)$ 的归属判断。

定理 1.3 再将一列单块解拼接. 取 $\sigma_j=\sigma_*(s)+(s-\sigma_*(s))/(j+1)$ 、 $\tau_j=T/(j+1)$ , 并使第 $$j$$ 块在 $[\tau_j,T]$ 上的 $H^{\sigma_j}$ 范数至少为 $2^{2j}$ . 将各块中心放得充分远, 利用 SQG 速度核的远场衰减控制块间相互作用, 取极限得到一个经典解. 任取 $$t>0$$ 和 $\sigma>\sigma_*(s)$ , 充分大的 $$j$$ 满足 $\tau_j\leq t$ 且 $\sigma_j<\sigma$ ; 各块的下界随 $$j$$ 发散, 从而得到 $\theta(t)\notin H^\sigma$ .

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

证明的首要障碍是强背景输运与非线性误差同时存在. 振荡角频率 $$N$$ 在剪切下迅速产生径向高频, 这正是高阶 Sobolev 增长的来源; 但若直接对真实方程作 $C^{1,\alpha}$ 估计, 估计中含有类似 Riccati 的项. 文中 (1.12) 的直接估计只能保证到 $T_{\rm dir}\simeq (\log N)/K\simeq\lambda^{s-2}\log\lambda=o(1)$ , 远短于所需的固定时间 $$T$$ . 因此关键不是简单地重复能量估计, 而是先精确消去可解的强剪切输运, 再对共轭后的非线性速度算子建立随剪切强度仅多项式增长的控制。

第一项构造性技术是利用 SQG 径向壳的非局部角向作用. 初值的径向部分支集在缩放半径 $$4<R<5$$ , 角向振荡部分在 $$1<R<2$$ . 对径向 $$f$$ , $$u[f]$$ 是纯角向场, 可写成 $u[f]=r\Omega(r)e_\phi$ . 与二维 Euler 中径向涡量壳在内部产生零速度不同, SQG 的 $\Lambda^{-1}$ 速度结构使该外壳能在内环带诱导角剪切. 文中验证了在相关区域有 $\inf\Omega'(R)>0$ ; 附录还给出径向壳公式. 空间分离使振荡成分初始时不与径向成分重合, 而角剪切仍通过非局部算子作用于它, 这为高频相位的可控弯曲提供了背景流。

第二项技术是近似解的 WKB 型高频估计与参数平衡. 将径向背景冻结, 解显式写为

\theta_{\rm app}(r,\phi,t)=c_0\lambda^{1-s}f(\lambda r) +c_0\lambda^{1-s}N^{-s}g(\lambda r) \cos\bigl(N\phi-NKt\Omega(\lambda r)\bigr).

时间正时, 相位的径向导数含有 $NKt\Omega'(\lambda r)$ ; 对 $H^\rho$ 求范数时, 这一高频振荡给出公式 (1.8) 中的放大因子. 振荡初值的 $N^{-s}$ 振幅用于把初始数据控制在 $$H^s$$ 小量, 而剪切产生的径向频率又必须足以使 $H^\rho$ 增长. 两者的竞争归结为 $a<A_s(\rho)$ , 其在临界阈值处的值 $A_s(\sigma_*)=2(2-s)/(s-1)$ 导出上述 $$N$$ 的选取。这一步解释了阈值 $\sigma_*(s)$ 如何从振幅、空间尺度和角频率的平衡中出现, 而不是任意指定。

第三项、也是将近似增长传递到真实解并延拓到 $$T$$ 的核心创新, 是采用精确背景剪切流的坐标. 在缩放变量中, $$Ku[f]$$ 生成的流为

S_t(R,\phi)=(R,\phi+Kt\Omega(R)),\qquad S_t^{-1}(R,\phi)=(R,\phi-Kt\Omega(R)).

它保持面积, 且恰好消去振荡方程中的大线性输运项. 对变换后的未知量, 速度算子不再是原来的简单形式, 而是共轭算子 $$B_t$$ . 作者将其置于固定环带 $$I$$ 上分析, 使用带权径向导数 $\Omega'^{-1}\partial_R$ 对共轭后的速度作用求导, 得到包含关键交换子的恒等式 (1.14):

\Omega'^{-1}\partial_R\bigl(u_\nu[H\circ S_t^{-1}]\circ S_t\bigr) =\Bigl(u_\nu[(\Omega'^{-1}\partial_R H)\circ S_t^{-1}] +[\Omega'^{-1}\partial_R,u_\nu](H\circ S_t^{-1})\Bigr)\circ S_t.

利用极坐标速度算子及该交换子在 $C^\alpha(I)$ 上的有界性, 导出文中关键估计

\|B_t[H]\|_{C^{1,\alpha}(I)} \leq C_{f,\alpha}\lambda(1+Kt)^{1+2\alpha}\|H\|_{C^{1,\alpha}(I)}.

重要之处在于剪切强度 $$Kt$$ 只以多项式出现, 而不是在直接坐标中形成无法吸收的指数型损失. 结合初始振荡范数 $\|\Theta_{\rm osc}(0)\|_{C^{1,\alpha}}\lesssim (K/\lambda)N^{1+\alpha-s}$ , 对变换后输运方程作 bootstrap, 并积分 $$B_t$$ 的控制. 选择

0<\alpha<\frac{\delta(s-1)}{1+2s-s^2+\delta},

可使文中 (1.16) 的非线性贡献趋于零:

\int_0^t\|B_\zeta[\widetilde\Theta_{\rm osc}(\zeta)]\|_{C^{1,\alpha}(I)}\,d\zeta \lesssim TK(1+KT)^{1+2\alpha}N^{1+\alpha-s}\longrightarrow0.

径向误差在内环带的贡献则由分离支集后的远场衰减控制. 反变换回原坐标后获得对 $C^{1,\alpha}$ 的一致控制, 由相应延拓准则推出真实解存在至 $$T$$ . 再利用真实解与近似解的 $$L^2$$ 差为 $o(\|\theta_{\rm osc,0}\|_2)$ , 配合 Sobolev 插值, 将近似解在 $H^\rho$ 的大下界转移到真实解。这一步把“具有预测性高频增长的近似输运解”转化为任意给定有限时间上的真实 SQG 结论。

最后, 单块结果只保证在指定的 $[\tau,T]$ 上增长, 不会单独给出每个 $$t>0$$ 的丧失. 作者用外向分离拼接解决这一逻辑缺口: 令 $\tau_j\downarrow0$ , $\sigma_j\downarrow\sigma_*(s)$ , 同时令第 $$j$$ 块的高阶范数下界快速增长; 把各块平移到相距足够远的位置. 核估计 (2.5)–(2.6) 控制远离支集时的速度及其导数, 因而可令其他块在某一块附近的速度影响足够小. 先对有限块构造解, 再取极限得到无限拼接解. 对任意固定正时间, 足够靠后的块已经进入其增长区间; 其增长下界发散, 排除该时刻属于任意 $H^\sigma$ , $\sigma>\sigma_*$ . 这也说明结论依赖有计划的无限块拼接, 并非一个单一剪切块自动具有“所有正时间”的统一性质。

4. 与之前工作的比较

与 SQG 的次临界适定性理论相比, 本文进入 $$1<s<2$$ 的超临界 Sobolev 区间. 文中回顾了 Constantin、Majda 与 Tabak 在 $$H^r$$ , $$r>2$$ 的局部适定性结果, 以及临界 $$H^2$$ 和超临界区已有的病态现象. Elgindi 与 Masmoudi 曾在 $W^{1,\infty}$ 中证明近平衡解附近的温和病态性; Córdoba 与 Martínez-Zoroa 在 $$H^2$$ 得到范数膨胀, Jeong 与 Kim 后来在 $\mathbb{T}^2$ 的 $$H^2$$ 中证明范数膨胀和非存在性. 在超临界范围, Córdoba 与 Martínez-Zoroa 对 $$3/2<s<2$$ 给出范数膨胀及非存在性; Córdoba、Martínez-Zoroa 与 Ożański 又在该范围建立范数膨胀和连续 Sobolev 正则性丧失. 本文将构造的初值范围扩展到全部 $$1<s<2$$ , 并同时给出固定间隙的瞬时丧失及指定经典解类别中的唯一性。就本文引言的文献回顾而言, 对 $1<s\leq3/2$ 此前没有已知的范数膨胀或 Sobolev 正则性丧失结果; 这一区间是本文明确填补的空白。

与最接近的 SQG 工作 [8] 相比, 推进不只是把结论中的正则性指标略作改动. [8] 对 $$3/2<s<2$$ 构造紧支撑小 $$H^s$$ 初值, 得到在某个局部时间区间内的连续正则性丧失, 其阈值为 $s/(1+\bar c t)$ , 因而相应间隙为

s-\frac{s}{1+\bar c t}=\frac{s\bar c t}{1+\bar c t},

该间隙在 $t\downarrow0$ 时趋于零. 本文给出的阈值 $\sigma_*(s)$ 与时间无关, 固定间隙为

s-\sigma_*(s)=\frac{s(2-s)(s-1)}{1+2s-s^2}>0.

作者指出两种间隙在 $t_{\rm cross}=\bar c^{-1}(s/\sigma_*(s)-1)$ 相交, 而 $0<t<t_{\rm cross}$ 时本文的固定间隙更大. 此外, 本文对任意预先给定的有限 $$T>0$$ 构造存在于 $$[0,T]$$ 上的解, 而不是仅给出一个随构造而来的局部时间区间; 参数 $$T$$ 可任意指定, 但这并不等于证明 SQG 的全局光滑正则性, 更不表示对所有初值存在至任意长时间。

与二维 Euler 的固定间隙工作 [7] 相比, 该工作的剪切机制利用径向涡量壳在内部不产生速度的结构. 这种机制不能直接搬到 SQG, 因为 SQG 的径向壳会在其支集两侧产生角向速度. 本文针对这一差别重新设计几何构造: 不是依赖内部速度为零, 而是利用外径向壳跨越空隙在内侧振荡环带产生非退化剪切. 第二个差别是长时间控制. 作者指出 [7] 的策略不能直接延伸到 SQG; 本文以背景剪切流为坐标变换, 通过交换子控制共轭速度算子, 得到剪切强度的多项式依赖, 从而把解的延拓推进到任意给定的 $$T$$ 。相较之下, 这一方法对径向结构、环带分离以及 $\Omega'$ 在振荡支集上的正下界有明确依赖, 不是可不加修改地套用到任意主动标量系统的抽象结论。

本文还与仅有范数膨胀的结果有所区别. 定理 1.1 先证明对任意 $\sigma>\sigma_*(s)$ 、任意 $$M$$ 和任意 $0<\tau<T$ , 可取光滑小初值, 使 $H^\sigma$ 范数在整段 $[\tau,T]$ 上至少为 $$M$$ . 定理 1.3 再通过 $\tau_j\downarrow0$ 、 $\sigma_j\downarrow\sigma_*$ 和空间分离的无限拼接, 得到单个初值对应的单个解, 对每个正时间同时丧失所有 $\sigma>\sigma_*$ 的 Sobolev 正则性. 因此前者提供可量化的统一范数下界, 后者则把逐个时间区间的构造升级为点态的全正时间结论。代价是最终初值由无穷多个远距离解块拼成, 不应将其与单块的紧支撑初值混为一谈; 文中摘录明确说明 [8] 的单块初值紧支撑, 但不能据此推断本文最终拼接初值具有紧支撑。

结果的边界也应准确理解. 阈值只给出 $\theta(t)\notin H^\sigma$ 对所有 $\sigma>\sigma_*(s)$ , 没有判定端点 $H^{\sigma_*}$ 是否属于解的空间, 也没有声称在 $\sigma\leq\sigma_*$ 的所有空间中都保持某种精确正则性; 仅另行保证存在某个 $\gamma>0$ 使 $H^{1+\gamma}$ 有界. 唯一性限于文中 Definition 1.2 的经典解类, 不能替代一般弱解适定性理论. 此外, 本文处理的是任意小初值的病态构造, 并未解决光滑 SQG 解能否有限时间奇异化这一开放问题。从所提供的 PDF 摘录无法确认正文完整的唯一性证明细节及定理所需全部技术引理; 上述比较限于摘录中明确列出的定理、证明纲要和文献评述, 不对未展示部分作额外推断。

4. 无压流的唯一性

Uniqueness of pressureless flow

作者: Ryan Hynd, Hwa Kil Kim

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11927v1

摘要翻译: 我们考虑一维空间中的无压 Euler 方程。这些方程刻画了直线上仅通过完全非弹性碰撞相互作用的粒子动力学。在熵条件和能量的强初始连续性条件成立的假设下，Huang 和 Wang 首先证明了给定初始条件时流的唯一性。本文利用拉格朗日解释证明了一个类似的唯一性定理。关键在于证明每个满足熵条件且具有初始动能界的解都具有这种特定类型的拉格朗日解释，并证明一个涉及条件期望的单调性不等式。

Comment: 无

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

1. 研究对象和背景

本文研究一维无压 Euler 方程的初值问题. 未知量是随时间演化的质量分布 $\rho_t$ 和速度场 $$v(x,t)$$ , 方程写为

\begin{cases} \partial_t\rho+\partial_x(\rho v)=0,\\ \partial_t(\rho v)+\partial_x(\rho v^2)=0, \end{cases} \qquad (x,t)\in\mathbb R\times(0,\infty).

其中 $\rho_t$ 可为有限 Borel 测度, 方程按分布意义理解. 初始数据为 $\rho_{t=0}=\rho_0$ 和速度 $$v_0$$ , 通常取 $\rho_0\in\mathcal P(\mathbb R)$ 、 $v_0\in L^2(\rho_0)$ . 相应的初始动能是 $\int |v_0|^2\,d\rho_0$ . 弱解还要求 $t\mapsto\rho_t$ 窄连续, 并满足质量和动量方程的弱形式; 例如对紧支集光滑测试函数 $\varphi$ ,

\int_0^\infty\!\int_{\mathbb R}(\partial_t\varphi+v\partial_x\varphi)\,d\rho_tdt+\int_{\mathbb R}\varphi(x,0)\,d\rho_0=0,

\int_0^\infty\!\int_{\mathbb R}(v\partial_t\varphi+v^2\partial_x\varphi)\,d\rho_tdt+\int_{\mathbb R}\varphi(x,0)v_0(x)\,d\rho_0=0.

该系统描述只受完全非弹性碰撞影响的粒子运动: 粒子自由运动时保持速度, 碰撞后合并, 合并体的速度为碰撞前动量的质量平均. 因此, 经典特征线在交叉前可以给出解, 但发生碰撞后如何延拓, 以及弱解是否由初值唯一决定, 是核心问题. 一维情形可利用空间次序和碰撞后的黏着结构; 高维情形中, 文中指出一般初值下如何在碰撞后延拓仍缺少相应理论. 方程也与二次 Wasserstein 距离上的测地线有关, 但该类测地线通常指定初末质量分布, 并对应粒子不发生碰撞的情形, 与给定初始位置分布和速度的初值问题并不相同。

本文关注满足熵条件的弱解. 其条件为

(v(x,t)-v(y,t))(x-y)\leq \frac{1}{t}(x-y)^2, \qquad \rho_t\text{-几乎处处的 }x,y,\text{ 且几乎处处 }t>0.

它表达了碰撞后粒子轨道的单边空间斜率约束, 与允许粒子黏着而不发生非物理分离的选择机制相关. 作者还要求初始动能控制

\int_{\mathbb R}|v(x,t)|^2\,d\rho_t(x) \leq \int_{\mathbb R}|v_0(x)|^2\,d\rho_0(x), \qquad\text{几乎处处 }t\geq0.

此前 Huang 和 Wang 已在熵条件及强初始能量连续性条件下证明唯一性. 本文试图推进的是: 不直接把强初始能量连续性作为假设, 而从初始动能上界推出相应的本质初始连续性, 并以拉格朗日描述把一般弱解转化为粒子轨道的概率测度, 再建立唯一性. 为主要定理, 作者另加有限二阶矩假设 $\int x^2\,d\rho_0(x)<\infty$ ; 与此同时, 初速度仅需属于 $L^2(\rho_0)$ , 不要求有界。

2. 主要定理或主要结果

主要结论是文中的唯一性定理. 若 $\rho_0\in\mathcal P(\mathbb R)$ 满足

\int_{\mathbb R}x^2\,d\rho_0(x)<\infty,

且 $v_0\in L^2(\rho_0)$ , 则至多存在一个以 $(\rho_0,v_0)$ 为初值的弱解对 $(\rho,v)$ , 只要它满足上述熵条件和初始动能上界。这里唯一性按 $\rho_t$ 对每个 $t\geq0$ 相同, 且速度在 $\rho_t$ 关于时空积分的几乎处处意义下相同来理解; 不是要求在质量测度看不见的空间点上速度也相同。

证明所用的解类具有如下弱解条件: $t\mapsto\rho_t$ 窄连续取值于概率测度, $$v$$ 为 Borel 函数, 且对每个 $$T>0$$ 有 $\int_0^T\int |v|^2\,d\rho_tdt<\infty$ . 熵条件只要求对 $\rho_t$ -几乎处处的空间点成立, 比要求所有 $x,y\in\mathbb R$ 成立的 everywhere 熵条件弱。初始动能上界也只要求几乎处处时间成立。

一个辅助结论是引理 2.2: 在弱解和初始动能上界下, 对每个 $g\in C_b(\mathbb R)$ ,

\operatorname*{ess\,lim}_{t\to0^+}\int_{\mathbb R}g(x)v(x,t)^2\,d\rho_t(x) =\int_{\mathbb R}g(x)v_0(x)^2\,d\rho_0(x).

因此, 尽管定理假设的是整体动能不增, 仍可恢复加权动能在初始时刻的本质连续性. 文中进一步指出, 这解释了初始动能条件与 Huang-Wang 唯一性框架中强初始能量连续性条件之间的联系。

拉格朗日表述的核心方程是以 $\rho_0$ 为底测度、取值于 $L^2(\rho_0)$ 的演化方程

\dot X(t)=\mathbb E_{\rho_0}[v_0\mid X(t)]\quad\text{a.e. }t\geq0, \qquad X(0)=\operatorname{id}_{\mathbb R}.

这里条件期望是对 $$X(t)$$ 可测函数子空间的 $L^2(\rho_0)$ 正交投影. 若该方程的解 $$X$$ 给定, 则相应的欧拉变量可写为

\rho_t=X(t)\#\rho_0, \qquad v(X(t),t)=\mathbb E_{\rho_0}[v_0\mid X(t)].

作者在引言中说明, 任一满足定理假设的弱解都能导出这种拉格朗日坐标, 并在这一框架中证明相应演化的唯一性, 从而得到欧拉弱解唯一性。用于比较两个候选演化的关键单调性关系是: 对 $\rho\in\mathcal P(\mathbb R)$ 及非减的 $X,Y,Z\in L^2(\rho)$ ,

\int_{\mathbb R} \big(\mathbb E_\rho[Z\mid X]-\mathbb E_\rho[Z\mid Y]\big)(X-Y)\,d\rho\geq0.

提供的文本展示了定理陈述、该单调性不等式及证明路线, 但没有包含后续完整证明, 因而无法从所给摘录进一步确认唯一性估计中各中间步骤的精确形式或定量收敛速率。本文的主要结论是定性唯一性, 摘录未给出额外的误差阶或长时间渐近率。

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

证明的难点在于, 欧拉变量 $(\rho_t,v)$ 是弱意义下定义的, 粒子在碰撞后会合并, 因而不能简单地把每个初始点对应到一条保持可逆性的特征线. 尤其当 $$X(t)$$ 在一段初始位置上取同一值时, 这些粒子已聚合为一个质量团; 当前速度必须是该纤维上的质量平均, 而不能继续记录每个粒子的原始速度。本文的拉格朗日变量因此不是普通的经典流映射, 而是允许多对一并通过条件期望编码动量平均的映射。

第一步是从弱解恢复初始能量信息. 由动量弱方程可得到对适当测试函数的动量恒等式, 再结合初始动能上界与窄收敛的下半连续性, 作者证明总动能在 $t\to0^+$ 时具有本质极限, 且等于初始动能. 随后将相空间测度 $(\operatorname{id},v(\cdot,t))\#\rho_t$ 的窄收敛与动能收敛结合, 得到 $$g(x)y^2$$ 的一致可积性, 从而推出对任意有界连续权 $$g$$ 的加权能量连续性。这个步骤很关键: 它把原本仅有的整体能量上界转化成能控制初始速度分布的局部信息, 而证明并不需要把强初始连续性另列为假设。

第二步是利用单调映射的纤维结构解释条件期望. 对非减映射 $$X$$ 而言, 非单点纤维 $C_i=X^{-1}(\{c_i\})$ 是互不相交的区间, 且至多可数. 引理 2.3 说明, 在正质量纤维上,

\mathbb E_\rho[Y\mid X] =\frac{1}{\rho(C_i)}\int_{C_i}Y\,d\rho \quad\rho\text{-几乎处处于 }C_i,

而在其余区域条件期望等于 $$Y$$ . 这给出精确的碰撞解释: $$X$$ 把一段粒子位置压成一个位置时, 条件期望恰好把该段原始速度替换成质量平均速度. 作者通过广义逆和纤维分解验证该表达式确为条件期望, 并非仅仅依据物理直觉作定义。

第三步是建立条件期望的单调性不等式. 对非减的 $$X,Y,Z$$ , 利用条件期望的投影性质可将目标积分改写为

\int_{\mathbb R} \big(Z-\mathbb E_\rho[Z\mid X]\big)Y\,d\rho + \int_{\mathbb R} \big(Z-\mathbb E_\rho[Z\mid Y]\big)X\,d\rho.

这一改写把比较两个聚合状态的问题转化为条件投影误差与另一个单调函数之间的配对. 摘录给出了不等式的陈述及证明开头, 但未提供完整论证, 因而其后如何具体利用单调性控制各项, 从提供内容中无法确认。该不等式在整体论证中的作用则由作者明确指出: 它是证明拉格朗日演化唯一性的关键工具, 用来比较不同候选位置映射及其条件平均速度。

第四步是从欧拉弱解构造路径空间上的概率测度. 作者说明, 第 3 节为每个满足条件的弱解构造连续路径空间上的 Borel 概率测度 $\eta$ , 第 4 节证明该测度由一个满足上述条件期望常微分方程的 $$X$$ 所确定, 最后据此完成唯一性论证. 这一路线的实质是先把仅有弱正则性的欧拉解提升为轨道层面的对象, 再将碰撞所需的平均速度编码进 $$L^2$$ 投影结构, 由单调性控制轨道演化。需要说明的是, 所给 PDF 摘录在第 10 页结束, 未包含路径测度的构造细节、紧性或可测性论证、从熵条件导出拉格朗日结构的具体估计, 也未展示常微分方程唯一性及其与路径测度识别之间的完整推导; 对这些细节不宜作超出文本的断言。

4. 与之前工作的比较

最直接的比较对象是 Huang 和 Wang [11]. 按本文引言的概述, 他们在熵条件和强初始能量连续性条件下证明了一维无压 Euler 弱解的唯一性. 本文的贡献是给出一条独立的拉格朗日证明路线, 并采用不同的假设组合: 当前熵条件只要求对 $\rho_t$ -几乎处处的 $$x,y$$ 成立, 而不是对所有空间点成立; 能量方面则假设几乎处处时间的初始动能上界。作者证明这一上界推出加权动能的本质初始连续性, 因此无需直接将强初始能量连续性作为假设。

初值空间的取舍并非单向放宽. 本文明确指出, Huang-Wang 定理允许更一般的初始质量测度, 但要求初速度有界; 本文则要求初始质量具有有限二阶矩,

\int_{\mathbb R}x^2\,d\rho_0(x)<\infty,

而只要求 $v_0\in L^2(\rho_0)$ . 因而对速度数据而言, 本文覆盖无界但平方可积的初速度; 对空间分布而言, 则加入了有限二阶矩这一额外限制. 摘录没有给出两类初值假设之间可相互包含的更细刻画, 不能把本文结论概括为对 Huang-Wang 定理在所有方面的严格加强。

本文与以往构造解的工作也有所区别. 引言列举了 E、Rykov 和 Sinai [8], Brenier 和 Grenier [3] 以及后续存在性研究 [5,6,12,13,17,18,19]. 有限个原子质量的黏着粒子模型可以通过分段线性轨道直接描述; 当一般初始速度连续且非减时, 则有不发生碰撞的显式推前公式。本文不局限于这些易构造情形, 而是试图从满足熵及能量条件的任意弱解出发, 证明它必然具有特定的拉格朗日解释。不过, 所给摘录没有逐篇比较上述存在性文献的函数空间、构造条件或最优适用范围, 因而无法进一步判断本文的唯一性框架对每一类已知存在解的覆盖情况。

与相关标量守恒律及梯度流研究的关系方面, 作者提到 Suder 和 Tudorascu [21] 使用 Huang-Wang 唯一性判据, 将其研究的黏着粒子流与有界、右连续初速度下的标量守恒律解联系起来; Carrillo 和 Galtung [4] 则建立压力less Euler 系统及含相互作用力系统的梯度流解与相应标量守恒律熵解之间的等价性。本文没有在这些等价性结果上直接扩展新的守恒律结论, 而是提供一个基于拉格朗日条件期望方程的弱解唯一性论证。作者表示该方法可能有助于带相互作用势的无压 Euler 系统, 这属于未来适用性的预期, 并非本文已证明的结论。

就尺度和定量结论而言, 本文研究的是 $t\geq0$ 的全时间唯一性问题, 定理并非仅限于特征线尚未相交的短时间区间; 但提供内容只陈述唯一性, 没有给出解的定量稳定性、误差估计或长时间增长率. 其代价是需要有限二阶空间矩、有限初始动能及特定熵和能量条件. 与高维背景相比, 本文结论局限于一维; 引言明确指出, 高维一般初值下碰撞后如何延拓仍未知。总体而言, 本文的推进主要是证明机制和假设组合的改变, 不是对高维问题或带力模型的解决。

5. 二维点涡系统的边界控制

Boundary Control of Two-dimensional Point-Vortex Systems

作者: Kaïs Ammari, Taoufik Hmidi, Haocheng Yang

类别: math.AP, math.OC

发布日期: 2026-10-08

arXiv ID: 2610.11564v1

摘要翻译: 本文研究有界多重连通平面 Lipschitz 区域中有限点涡系统的边界可控性。控制局部施加于边界上任意非空相对开子集，并假设边界流入部分的入流涡量为零。对于时变控制，我们证明，沿任意预先给定且无碰撞、始终远离边界的涡旋路径，可以实现精确轨迹可控性。对于定常控制，我们证明，与两两不相交的实解析弧相关联的精确端点可控性。证明依赖于调和插值、局部化 Runge 逼近以及隐函数论证。我们还研究了使轨迹长度最小的最优控制。我们证明，在具有弱光滑性的控制类中，极小化子不存在；当对控制时间和控制大小施加惩罚时，则证明极小化子的存在性。

Comment: 无

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

1. 研究对象和背景

本文研究二维有界多连通区域内有限个点涡的边界可控性。点涡模型把涡量集中在有限个移动点上：

\omega(t,X)=\sum_{j=1}^{N}\kappa_j\delta_{X_j(t)},\qquad \kappa_j\ne 0.

涡量由二维不可压 Euler 流的速度输运，速度可分解为由 Green 函数确定的涡量诱导部分、反映区域拓扑与固定环量的调和向量场，以及边界控制生成的调和背景流。令 $\Omega\subset\mathbb R^2$ 为有界连通 Lipschitz 区域，边界有有限个连通分支；控制仅施加在边界上任意给定的非空相对开集 $\Sigma\subset\partial\Omega$ 。Dirichlet 控制或兼容的 Neumann 控制分别通过调和势 $\Phi$ 产生速度 $\nabla\Phi$ ：

\Delta\Phi=0\quad\text{in }\Omega,\qquad \Phi|_{\partial\Omega}=f,

或

\Delta\Phi=0\quad\text{in }\Omega,\qquad n\cdot\nabla\Phi|_{\partial\Omega}=g,\qquad \int_{\partial\Omega}g\,d\sigma=0.

固定各内边界分支上的环量 $C_\ell$ 后，点涡位置 $X=(X_1,\ldots,X_N)$ 满足 Kirchhoff-Routh 常微分方程

\dot X_j=\sum_{k\ne j}\kappa_k\nabla_{X_j}^{\perp}G_\Omega(X_j,X_k) +\frac{\kappa_j}{2}\nabla^{\perp}R_\Omega(X_j) +\sum_{r=1}^{m}c_r(X)\nabla^{\perp}W_r(X_j) +\nabla\Phi(t,X_j),\qquad j=1,\ldots,N.

其中 $G_\Omega$ 是 Laplace 算子的 Dirichlet Green 函数， $R_\Omega$ 是其正则部分在对角线上的限制， $$W_r$$ 为调和测度， $$c_r(X)$$ 由固定环量及涡量位置确定。状态空间是避开碰撞的构型空间

C_N(\Omega)=\{(X_1,\ldots,X_N)\in\Omega^N:X_i\ne X_j\text{ 若 }i\ne j\}.

控制问题的核心是：仅由局部边界数据产生的调和场，能否操纵内部点涡的运动，而不直接施加点力，也不引入额外点涡。研究这一问题既揭示调和传播对有限维 Hamilton 系统的作用，也提供了不同于控制完整 Euler 速度场的几何化模型。多连通区域还需处理环量自由度；本文固定环量，并在点涡模型中施加零入流涡量条件 $\omega_{\mathrm{in}}=0$ ，以保持所讨论的常微分系统自洽。已有 Euler 边界控制研究关注 Eulerian 流场状态或流体粒子的 Lagrangian 控制，点涡则是相互作用的奇异涡量，其速度包含涡间作用及边界诱导自作用，不能视为被动粒子。本文试图填补的空白，是在局部边界调和控制机制下建立点涡系统的非线性精确轨迹或端点可控性，并进一步考察受控轨迹长度及最优控制的存在与不取到现象。

2. 主要定理或主要结果

时间依赖控制下的精确轨迹可控性（定理 2.1）。设 $$T>0$$ ，初末构型属于 $C_N(\Omega)$ ，且给定光滑路径 $\Gamma=(\Gamma_1,\ldots,\Gamma_N)\in C^\infty([0,T];\Omega^N)$ ，满足 $\Gamma(0)=X^{\mathrm{in}}$ 、 $\Gamma(T)=X^{\mathrm{en}}$ ，并且

\inf_{t\in[0,T],\ j<k}|\Gamma_j(t)-\Gamma_k(t)|>0,\qquad \inf_{t\in[0,T],\ j}\operatorname{dist}(\Gamma_j(t),\partial\Omega)>0.

对任意非空相对开边界片 $\Sigma$ ，存在随时间光滑的 Dirichlet 控制 $$f$$ ，其边界支集包含于 $\Sigma$ ，使 $X(t)=\Gamma(t)$ 成为受控系统的精确解。Neumann 情形同样成立，且 $g(t,\cdot)\in C_c^\infty(\Sigma)$ 并满足 $\int_{\partial\Omega}g(t,\cdot)\,d\sigma=0$ 。因此控制可以实现任意满足分离条件的预设光滑轨迹，而不只是将构型从一端送到另一端。

时间无关控制下的精确端点可控性（定理 4.1 的概述）。若各涡初末位置不同，并给定连接 $X_j^{\mathrm{in}}$ 与 $X_j^{\mathrm{en}}$ 的两两不交实解析弧 $\Gamma_j$ ，则存在支集局限于任意给定 $\Sigma$ 的定常 Dirichlet 控制，使轨迹精确到达指定末构型；相应定常 Neumann 控制也存在，并满足零均值兼容条件。受控轨迹在重新参数化后可在每个 $$C^k$$ 范数下任意逼近所给解析弧。正文引言还指出控制时间可以任意小，所构造的背景势具有单值调和共轭。这里的精确性是端点精确，轨迹本身仅逼近指定弧；两两不交的假设也排除了部分可能的涡点置换情形。摘要及所给引言未提供定理 4.1 的完整量词与定量误差界，故无法据此给出逼近误差关于控制参数的显式阶数。
正则化最优控制的存在性（定理 5.1 的概述）。对可达初末构型，考虑

J_{\mu,\beta}(f,T)=\sum_{j=1}^{N}\int_0^T|\dot X_j(t)|\,dt+\beta T+\mu\|f\|_{H^s(\partial\Omega)}^2, \qquad s,\beta,\mu>0.

文中证明该问题存在最优控制 $$(f^*,T^*)$$ 。Neumann 控制的对应结论以 $\mu\|g\|_{H^{s-1}(\partial\Omega)}^2$ 惩罚控制量。提供内容未列出定理所需的完整控制类、解的紧致性假设及其对 $$s$$ 的其他限制，不能进一步补充。

单涡受控长度与不取到。只惩罚轨迹长度、令 $\beta=\mu=0$ 时，单点涡在定常局部边界控制下的可达轨迹长度下确界等于区域内在距离。若 $\Omega$ 是边界实解析的凸区域，直线段是两点间的最短路径，但任何文中所讨论的正则定常 Dirichlet 或 Neumann 控制都不能实现该最短轨迹；引言特别指出相应最优长度只能由低于 $H^{1/2}(\partial\Omega)$ 正则度的控制达到或逼近这一障碍，单位圆盘亦有示例。此处需区分：内在距离是长度下确界，正则控制下不一定存在实现下确界的控制。所给摘录没有列出定理 5.6、5.8 的完整函数空间表述。

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

时间依赖控制的关键化简，是沿预先给定的无碰撞路径计算涡间相互作用、边界自作用和环量项，再把所需速度差写成每个涡点处的目标梯度值。于是动力学可控性归结为椭圆插值问题：给定互异内点 $$X_j$$ 及向量 $$v_j$$ ，构造边界数据使调和延拓满足 $\nabla\Phi(X_j)=v_j$ 。全边界情形可用复分析中的多项式插值理解；局部边界情形则不能简单截断该构造，因为局部支集约束会改变可实现空间。作者通过对偶论证证明梯度插值映射满射：若某个线性泛函湮灭所有局部边界数据所产生的梯度值，则相应伴随椭圆对象在控制边界片上的迹满足消失条件；边界唯一延拓迫使其在区域内消失，从而该泛函只能为零。Dirichlet 与 Neumann 数据分别处理，后者还须保持边界通量零均值。对随时间移动的点，先在参数邻域选取插值控制，再用有限覆盖及分割统一构造光滑依赖于时间、且支集落在同一紧子集内的控制。这一步解决的不只是逐时可解，还包括控制随轨迹参数平滑变化的问题。

定常控制的困难在于同一个调和场必须同时产生整个运动过程的速度，不能逐时指定每个涡点的速度。作者先在给定实解析弧附近局部实现目标运动：利用解析弧上的局部调和构造，使足够强的背景梯度主导系统，其他涡间及边界诱导项相对较小。局部构造尚不是定义于整个 $\Omega$ 的可用控制，因此再用局部化 Runge 逼近，把弧附近的局部调和函数在所需区域上用全域调和函数逼近，并要求后者由控制片 $\Sigma$ 上的边界数据生成。Runge 误差与被忽略的动力学漂移共同造成端点误差，故近似构造本身不足以给出端点精确控制。

为消除端点误差，作者加入有限维的小幅调节参数，并证明端点映射对这些参数具有可逆的一阶变化；随后应用隐函数定理修正端点，使各涡恰好到达指定位置。修正幅度足够小，因而轨迹仍可任意逼近原解析弧。也就是说，证明链条分别承担不同任务：局部解析构造给出目标几何运动，局部 Runge 定理把局部势转为边界可生成的全域势，隐函数论证把近似端点变成精确端点。时间重参数化用于协调所构造速度场与轨迹参数，并不意味着定常控制能够任意指定时间参数化后的速度历史。

最优控制部分的正则化问题采用直接法的思路：控制范数惩罚给出控制序列的弱紧性，时间惩罚控制时间区间长度，而调和延拓在区域内部的收敛性帮助传递点涡轨迹及其长度。仅惩罚长度时，控制幅度与时间均缺少紧性，最短长度可能只由一列越来越奇异的控制逼近。对单涡定常系统，Hamiltonian 结构提供不取到机制：若轨迹在凸域中恰为端点连线，则它必须同时符合定常控制下的 Hamiltonian 约束；作者利用 Kirchhoff-Routh Hamiltonian 中 Robin 函数的边界行为排除正则控制生成的等值线包含非平凡直线段。因此，长度下确界可由近似轨迹逼近，却不能由所述正则控制实现。所给 PDF 摘录没有展示这些技术引理的完整陈述、常数依赖或逐步证明，不能据此补写定量误差估计。

4. 与之前工作的比较

与经典 Euler 边界控制相比，本文控制对象不是完整的 Eulerian 速度场或涡量分布，而是有限个奇异涡量中心的构型。Coron 的二维不可压理想流体边界控制工作，以及 Glass 在平面多连通区域中的推进，涉及完整流场状态；多连通拓扑下还会出现 Kelvin 环量不变量带来的可达性约束。本文固定环量，将相应调和向量场作为点涡方程中的已知漂移，并证明对点涡位置的控制只需作用在任意非空相对开边界片上，且控制片不必与每个边界连通分支相交。这并不等同于消除了完整 Euler 方程的拓扑约束，也不能直接推出 Euler 流场的精确可控性。

与 Glass 和 Horsin 关于二维 Euler 方程 Lagrangian 近似可控及涡片形状控制的工作相比，本文同样突出几何轨迹，但点涡不是被动流体粒子：每个点的速度受其他点涡及自身边界正则项影响。因此这里需要控制一个非线性相互作用的有限维系统。时间依赖控制下，作者获得的是精确轨迹可控，而不仅是近似轨迹；这一强结论依赖边界调和场能够在任意有限个互异内点同时实现指定梯度。

与 Dorsz 和 Glass 通过指定一个额外点涡的运动来控制其余涡的方案不同，本文不引入额外点涡，也不直接操纵内部涡点，而是使用由局部边界 Dirichlet 或 Neumann 数据生成的调和背景流。与 Nelson、Protas 和 Sakajo 针对点涡平衡附近线性化系统、结合局部吹吸构造反馈控制的研究相比，本文处理的是非线性点涡方程，并给出精确轨迹或精确端点结论，而不是仅讨论平衡附近的线性化可控性与可观性。控制代价是需要构造特定的边界数据；摘要与所给部分没有给出其范数随目标轨迹变化的定量上界。

时间依赖与定常控制之间存在实质差异。前者只需逐时解有限点梯度插值问题，因此可跟随任意光滑、避碰且远离边界的预设路径。后者必须由一个固定势驱动整个运动，不能照搬逐时插值；论文因此只对端点精确，并要求预设弧为两两不交的实解析弧，轨迹在重新参数化后任意逼近这些弧。作者指出置换型运动能否由定常控制实现仍未知。解析性和互不相交条件是现有论证的适用范围，不应误读为所有路径或所有涡点排列都已解决。

相较于只证明可达性的工作，本文还区分了几何长度的下确界与最优控制的实际存在：单涡定常控制下，长度下确界等于区域内在距离；但在实解析凸域中，最短直线段不能由正则定常控制实现。增加控制时间与控制范数惩罚后，才得到最优控制存在性。这揭示了无正则化问题中的紧致性损失及控制可能趋于奇异的代价。以上比较依据论文引言明确提到的工作及所给摘录；各前人结果的更精确假设、定量范围，以及本文定理相对于其原始版本的逐项比较，从提供内容中无法确认。

6. 理想 MHD 中阿尔芬波散射场的定量有限时近似

Quantitative finite-time approximation of scattering fields for Alfvén waves in ideal MHD

作者: Junming Duan, Mengni Li

类别: math.NA, math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11595v1

摘要翻译: 本文建立了强恒定背景磁场附近三维理想不可压磁流体力学中非线性阿尔芬波散射场的定量有限时近似。利用全局加权估计，我们证明，在时间 $$T$$ 截断散射剖面会在 $L^\infty$ 范数和 $H^{N_*+1}$ 范数中均引入

O\bigl(\varepsilon^2(R+T)^{-δ}\bigr),

阶的误差，其中 $\varepsilon\in (0,1)$ 表示初始扰动的大小， $R\ge100$ 是加权能量中的尺度参数， $δ\in(0,2/3)$ 是与权重相关的指数，而 $$N_*+1$$ 是初始数据所假设的 Sobolev 正则性阶数。逐点估计源于非局部压力沿非线性特征线的衰减，而 Sobolev 估计则结合了高阶加权压力界与特征流导数的估计。数值实验测量逐点和 Sobolev 意义下的压力积分尾项，以验证其对初始扰动振幅的二次依赖关系。

Comment: 12 pages, 3 figures

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

1. 研究对象和背景

本文研究三维全空间 $\mathbb{R}^{3}$ 上、强常值背景磁场附近的小振幅非线性阿尔芬波，以及由其特征线渐近行为定义的散射场。理想不可压缩磁流体模型忽略黏性与磁扩散，速度场和磁场均满足散度自由约束。以 $$v(t,x)$$ 表示速度、 $$b(t,x)$$ 表示磁场、 $$p(t,x)$$ 表示包含流体压强与磁压的总压强，控制方程为

\begin{cases} \partial_t v+v\cdot\nabla v=-\nabla p+b\cdot\nabla b,\\ \partial_t b+v\cdot\nabla b=b\cdot\nabla v,\\ \operatorname{div}v=\operatorname{div}b=0. \end{cases}

取背景磁场 $$B_0=e_3=(0,0,1)$$ ，背景速度为零，并引入 Elsässer 变量 $Z^{\pm}=v\pm b$ 。论文采用扰动变量 $$z^+=Z^+-B_0$$ 、 $$z^-=Z^-+B_0$$ ，于是系统写成

\begin{cases} L_-z^+=-\nabla p,\\ L_+z^-=-\nabla p,\\ \operatorname{div}z^+=\operatorname{div}z^-=0, \end{cases} \qquad L_{\pm}=\partial_t+Z^{\pm}\cdot\nabla.

这里的关键未知量不仅是扰动场 $z^{\pm}$ 和非局部压强 $$p$$ ，还包括两族非线性特征线及其在特征无穷远处形成的散射剖面。线性化后， $$z^+$$ 、 $$z^-$$ 分别满足 $(\partial_t-\partial_3)z^+=0$ 、 $(\partial_t+\partial_3)z^-=0$ ，沿背景磁场方向反向传播。线性波本身没有色散衰减，因此非线性问题中的时间衰减并非来自单支波的自由传播，而来自两支反向波逐渐分离后相互作用减弱。

散射场的构造依赖压强梯度沿非线性特征线的可积性。由不可压缩条件，压强满足椭圆型 Poisson 方程

-\Delta p=\partial_i z_-^j\,\partial_j z_+^i =\partial_i\partial_j(z_-^jz_+^i).

其源项始终包含来自相反传播族的因子，这种双线性结构是本文所用的 MHD null 结构。论文在特征坐标中考察压强梯度的线积分，并以其无穷时间积分定义未来散射场；例如，沿相应的 $$L_-$$ 特征线，

z_+^{\infty}(\xi^-)=z_+(0,\xi^-)-\int_0^{\infty} \frac{\nabla p(\tau,\xi^-)}{\sqrt{1+|z_-(\tau,\xi^-)-B_0|^2}}\,d\tau,

另一族的定义对称。有限时间剖面 $z_{\pm,T}$ 则把积分上限改为 $$T$$ 。因此，本文关注的核心问题是：只观察或积分到有限时刻 $$T$$ 时，所得特征剖面与真正散射场之间的尾项能否定量控制，并且能否在点态和高阶 Sobolev 范数中给出显式误差率。

已有小数据理论已建立强背景磁场附近的全局解与散射机制。Bardos、Sulem 和 Sulem [2] 研究了空间局部化扰动的全局存在及长时间行为；He、Xu 和 Yu [3] 使用加权能量方法发展了强常值磁场附近阿尔芬波的全局非线性稳定性；文中重点依托的工作 [8] 已给出相应散射场、加权正则性及逆散射理论。其加权几何由两组随波传播的特征函数 $u^{\pm}$ 描述，初值为 $u^{\pm}(0,x)=x_3$ ，并使用

\langle u^{\pm}\rangle=(R^2+|u^{\pm}|^2)^{1/2},\qquad R\ge100,

以及分别附着于两族扰动的权重 $\langle u^{\mp}\rangle^{1+\delta}$ ，其中 $0<\delta<2/3$ 。已有理论通过权重、反向传播族的分离和压强的非局部结构证明积分收敛，但仅陈述渐近存在或正则性，不能直接回答给定有限观测时刻的截断误差有多大。本文的推进点正是把已建立的全局加权估计转化为明确的 $(R+T)^{-\delta}$ 尾项率，并证明这一误差在无权 $H^{N_*+1}$ 范数中仍成立。研究动机既涉及散射场的有限时间可观测近似，也关系到用有限时刻数据实施散射或逆散射时需要控制的截断误差；不过作者明确指出，若要进一步估计由逆散射重建初值的误差，还需相应的加权 Sobolev 截断估计，本文并未证明这一点。

2. 主要定理或主要结果

令 $R\ge100$ 、 $0<\delta<2/3$ 、整数 $N_*\ge5$ 。定理 A 假设初值散度自由，且满足

E_{N_*}(0):=\sum_{\pm}\sum_{k=0}^{N_*+1} \left\|(R^2+|x_3|^2)^{(1+\delta)/2}\nabla^kz^{\pm}(0)\right\|_{L^2(\mathbb{R}^3)}^2\le\varepsilon^2, \qquad 0<\varepsilon\le\varepsilon_0.

则系统存在唯一全局解，且相应加权能量和特征通量受 $CE_{N_*}(0)$ 控制；特别地， $\sup_{t\ge0}E_{N_*}(t)\le CE_{N_*}(0)$ 。以下有限时间结论均在这一小数据全局解假设下成立，常数可依赖固定参数 $R,\delta,N_*$ ，但不依赖 $$T$$ ，并可在缩小 $\varepsilon_0$ 后取用。

首先，定理 4.1 给出点态截断误差。以非线性特征初始标签识别特征无穷远 $F_{\pm}$ ，令 $z_{\pm,T}$ 为散射积分截断至 $$T$$ 的剖面，则对所有 $T\ge0$ ，

\|z_+^{\infty}-z_{+,T}\|_{L^{\infty}(F_+)} +\|z_-^{\infty}-z_{-,T}\|_{L^{\infty}(F_-)} \le C_{\delta}\varepsilon^2(R+T)^{-\delta}.

这里 $z_{\pm}^{\infty}-z_{\pm,T}$ 正是从 $$T$$ 到无穷远的压强积分尾项。误差对初始扰动振幅是二次的；时间衰减指数为权重参数 $\delta$ 。

其次，定理 4.2 将估计提升至与初始数据相同阶数的无权 Sobolev 空间。范数以特征流初始位置 $\xi^{\mp}$ 为坐标，即对 $F_{\pm}$ 上的函数按 $\xi^{\mp}$ 求导并积分。结论为

\|z_+^{\infty}-z_{+,T}\|_{H^{N_*+1}(F_+)} +\|z_-^{\infty}-z_{-,T}\|_{H^{N_*+1}(F_-)} \le C_{\delta}\varepsilon^2(R+T)^{-\delta},\qquad T\ge0.

重要的是，该 Sobolev 范数是无权范数，且特征坐标导数控制到 $$N_*+1$$ 阶；作者声称此估计不要求比定理 A 更多的初值正则性。中间压力估计包括

\|\nabla p(t)\|_{L^{\infty}(\mathbb{R}^3)} \le C\varepsilon^2(R+t)^{-1-\delta},

以及由已有加权压力估计推出的

\int_0^{\infty}(R+t)^{2(1+\delta)} \|\nabla p(t)\|_{H^{N_*+1}(\mathbb{R}^3)}^2\,dt \le C\varepsilon^4.

前一估计沿特征线积分后产生 $\delta^{-1}(R+T)^{-\delta}$ 型尾项；后一估计用于高阶结论。Sobolev 证明中，特征流复合估计带来暂时的 $1+\varepsilon\sqrt{t}$ 因子，结合加权压力时空积分后，尾项由 $(R+T)^{-1/2-\delta}+\varepsilon(R+T)^{-\delta}$ 控制，进而在 $\varepsilon<1$ 下归结为定理所述的 $\varepsilon^2(R+T)^{-\delta}$ 量级。

论文还报告数值检验，但这不是上述解析定理的替代。数值计算取 $$R=100$$ 、 $\delta=0.5$ 、 $$N_*=5$$ ，在有限周期盒中以离散压力积分尾项近似连续尾项，并测量采样点态最大值和无权 $$H^6$$ 范数。振幅取 $\varepsilon\in\{0.4,0.2,0.1,0.05,0.025\}$ ，观察时刻为 $T=0,1,\ldots,6$ ，主要参考时刻为 $T_{\mathrm{ref}}=10$ ，另以 $$12$$ 作敏感性比较。作者报告两种测量量均表现出近似 $\varepsilon^2$ 标度，并称时间步长、网格、计算域及参考时刻变化下的相对变化和端点振幅阶数变化均低于 $10^{-3}$ 。这些是给定离散设置下对振幅标度与数值稳定性的检验，不构成连续问题误差率的数值证明。

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

证明的核心困难在于两种不同性质的障碍。其一， $$p$$ 是由全空间椭圆方程确定的非局部量，不能仅凭局部特征线上的扰动衰减直接估计；其二，点态压强尾项沿特征线积分相对直接，但把它提升到 $H^{N_*+1}$ 时，导数会作用在特征流映射上，必须处理高阶流导数随时间的增长。文章的技术路线是把已有全局加权能量理论中的双波分离、压强估计和特征几何组织成一条定量尾项估计链，而不是重新建立小数据全局适定性或新的散射理论。

首先，权重几何把反向传播转化为时间分离。令 $$L_+u^+=0$$ 、 $$L_-u^-=0$$ 且 $u^{\pm}(0,x)=x_3$ 。由解的小性和特征方程， $$u^+$$ 接近 $$x_3-t$$ 、 $$u^-$$ 接近 $$x_3+t$$ ，因而 $|u^--u^+|\gtrsim t$ 。再结合每个权重至少为 $$R$$ ，得到

\langle u^+\rangle\langle u^-\rangle\ge c(R+t).

另一方面，加权能量及 Sobolev 嵌入给出 $0\le j\le N_*-1$ 时

\|\langle u^{\mp}\rangle^{1+\delta}\nabla^jz^{\pm}\|_{L^{\infty}} \le C\varepsilon.

两式相乘即可对相反波族的任意允许阶导数得到

|\nabla^az^+(t,x)|\,|\nabla^bz^-(t,x)| \le C\varepsilon^2(R+t)^{-1-\delta}, \qquad 0\le a,b\le N_*-1.

这一步揭示衰减的真正来源是两族波相互作用区随时间缩小，而不是各自线性波的色散。

其次，作者将双线性相互作用估计转化为非局部压强梯度估计。由

-\Delta p=\partial_i\partial_j(z_-^jz_+^i),

使用 Newton 势表示 $\nabla p$ ，并以空间截断将积分分成近场和远场。近场对源项导数保留积分，核的奇性为 $|x-x'|^{-2}$ ，只在 $|x-x'|\le2$ 有贡献；远场对核分部积分两次，得到衰减为 $|x-x'|^{-4}$ 且避开原点的核。这样可分别利用上面的相反族乘积衰减控制两部分。三维中近场的 $|x-x'|^{-2}$ 和远场的 $|x-x'|^{-4}$ 在相应区域均可积，遂得到一致点态界 $|\nabla p(t,x)|\le C\varepsilon^2(R+t)^{-1-\delta}$ 。这里的关键并非笼统使用椭圆正则性，而是通过远场分部积分把非局部核变为可积核，同时保留压强源的双波结构。

对点态有限时间估计，作者直接相减散射积分和截断积分，得到从 $$T$$ 到无穷远的尾积分。分母 $\sqrt{1+|Z^{\mp}|^2}$ 在小解下有一致上下界，故只需积分压强梯度衰减：

\int_T^{\infty}(R+t)^{-1-\delta}\,dt =\delta^{-1}(R+T)^{-\delta}.

这也说明指数 $\delta$ 直接来自权重产生的可积衰减指数。作者并未在此另行优化指数，而是准确保留全局加权理论给出的衰减率。

高阶 Sobolev 估计的主要技术在于初始标签变量与物理空间变量的转换。沿 $$X^-$$ 特征流，利用 $\nabla u^+=e_3+O(\varepsilon)$ 得到

\frac{d}{dt}u^+(t,X^-(t,\xi))=-2+O(\varepsilon),

从而特征线横穿特征层，并有一致的加权积分控制

\sup_{t,\xi}\int_0^t \langle u^+(s,X^-(s,\xi))\rangle^{-1-\delta}\,ds\le C_{\delta}.

对流映射方程关于 $\xi$ 求导，再以此加权可积性和 Gronwall 估计控制低阶流导数的 $L^{\infty}$ 范数。最高的 $$N_*$$ 阶和 $$N_*+1$$ 阶导数则先得到 $$L^2$$ 估计

\|D_\xi^{N_*}X^-(t)\|_{L^2} +\|D_\xi^{N_*+1}X^-(t)\|_{L^2} \le C\varepsilon\sqrt{t}.

这里使用了 $\operatorname{div}Z^-=0$ 导致流映射保体积，以及加权能量对高阶 $$z^-$$ 的控制。链式法则中，涉及最高阶流导数的项只需乘上复合函数至多二阶的空间导数，因而以 $H^{N_*+1}(\mathbb{R}^3)\hookrightarrow W^{2,\infty}(\mathbb{R}^3)$ 控制，得到

\|f\circ X^-(t,\cdot)\|_{H^{N_*+1}_\xi} \le C(1+\varepsilon\sqrt{t})\|f\|_{H^{N_*+1}_x}.

再结合分母因子的 Sobolev 乘积估计，把特征线上的压强积分范数化为物理空间的 $\|\nabla p(t)\|_{H^{N_*+1}}$ ，并使用已有高阶加权压力时空估计

\int_0^{\infty}(R+t)^{2(1+\delta)} \|\nabla p(t)\|_{H^{N_*+1}}^2\,dt\le C\varepsilon^4.

最后对时间尾项用 Minkowski 与 Cauchy-Schwarz 不等式，分别处理 $$1$$ 和 $\varepsilon\sqrt{t}$ 两项。由此产生 $(R+T)^{-1/2-\delta}$ 与 $\varepsilon(R+T)^{-\delta}$ 两种衰减，前者更快，后者决定最终率。

因此，本文的实质性分析贡献是对已有加权框架作针对有限时间截断的细致组合：点态部分以 Newton 核的近远场拆分兑现双波衰减；Sobolev 部分则把高阶压力加权估计与特征流导数控制衔接起来，并证明无需提高初值正则性即可达到同阶无权范数。压力高阶估计本身由 [8] 的加权时空压力引理提供，并非本文新建。数值方面，作者使用 Fourier 伪谱离散、严格 $$2/3$$ 去混叠、Helmholtz-Leray 投影及四阶 Runge-Kutta 方法，同时推进场、特征位移和压力积分；这部分用于核验振幅二次标度，不能替代解析估计。

4. 与之前工作的比较

本文与既有工作的关系首先是建立在同一小数据散射框架上，而不是另行证明一套全局理论。Bardos、Sulem 和 Sulem [2] 早期研究强常值背景磁场下空间局部化解的全局存在和长时间行为；He、Xu 和 Yu [3] 发展了加权能量方法以处理阿尔芬波附近的全局非线性稳定性。文中定理 A 的全局解及加权能量控制被作为输入。尤其是散射场的存在、其自然加权 Sobolev 正则性、压强点态衰减和高阶加权压强时空估计，作者在第 4.3 节明确归于既有散射理论 [8]。因此，本文不能被解读为首次建立散射场或首次证明全局小数据解。

相对于 [8] 及相关既有散射结果，本文新增的层面是把 $T\to\infty$ 的收敛明确量化。过去的积分收敛结论保证散射场存在，却不单独给出有限 $$T$$ 的统一误差率；本文定理 4.1 和 4.2 进一步给出

\text{误差}\le C_{\delta}\varepsilon^2(R+T)^{-\delta},

并同时处理 $L^{\infty}$ 与无权 $H^{N_*+1}$ 。其中 $$R$$ 是加权尺度参数，时间尺度以 $$R+T$$ 而非仅 $$T$$ 表达；当 $$T$$ 大时，误差按 $T^{-\delta}$ 衰减，当 $$T$$ 较小时， $$R$$ 体现权重的初始尺度。本文没有声称比全局小数据理论更大的数据范围，也未放宽定理 A 的空间局部化加权假设；改进在定量结论、范数类型及可用的有限时间误差信息，而非解的存在范围。

点态误差率直接继承加权能量所给的压强梯度衰减。相反传播族的分离和权重指数 $1+\delta$ 导致 $\nabla p$ 具有 $(R+t)^{-1-\delta}$ 衰减，时间积分恰给 $(R+T)^{-\delta}$ 。所以 $\delta\in(0,2/3)$ 是理论设定中的权重指数，也决定有限时间逼近的代数速率。作者在备注 4.4 中明确指出，若能改善可积压强衰减，点态截断率可相应改善；但本文没有证明更优的权重或更快速率。这里的定量率不是额外的时间衰减机制，而是既有加权衰减经过尾积分后的结果。

高阶结论相较单纯点态收敛有更实质的技术增量：它在特征无穷远的初始标签坐标中控制到 $$N_*+1$$ 阶，并且采用无权 Sobolev 范数。作者说明这达到初始数据所假设的导数阶数，未额外要求更高初值正则性。不过证明付出的代价是更细致的特征流分析：最高阶流导数的 $$L^2$$ 界含有 $\varepsilon\sqrt{t}$ 增长，最终必须与高阶加权压强时空积分配对，才可保持 $(R+T)^{-\delta}$ 尾率。该结论并不自动给出逆散射重建初值所需的加权 Sobolev 截断误差；作者在第 2 页明确指出，若要利用逆散射定理估计重建初值误差，还需控制相应的加权 Sobolev 范数。因而适用范围是散射场本身的无权有限时间近似，而不是完整的逆问题稳定性估计。

与逆散射文献的关系也应区分。文中回顾 [8] 的散射映射在零解处的线性化等于线性传播映射，并提及局部散射同构及由成对散射场局部唯一恢复初值；这些是本文使用的背景，并非本论文的主要新定理。本文的有限时间逼近可以为有限时观测的散射数据提供误差尺度，但从提供内容中无法确认作者由此证明了任何新的逆散射稳定性或有限时唯一性结论。

数值比较方面，作者将实验与 Maron、Goldreich [10] 的不可压缩 MHD 湍流伪谱计算、Nielson、Howes、Dorland [11] 的回旋动理学模拟，以及 Verniero、Howes、Klein [14] 和 Shestov、Voitenko、Zhukov [13] 对反向传播阿尔芬波相互作用的数值研究区分开来。那些工作主要关注波碰撞、相互作用和能量传递；本文计算的对象则是定义有限时间散射误差的压强积分尾项，并通过两种范数检验其振幅二次标度。作者采用的周期盒和有限参考时刻只能支持所测试参数范围内的数值现象；它们既不验证整个全空间连续模型的严格误差界，也不能检验任意大 $$T$$ 的渐近率。论文报告对网格、时间步长、计算域和参考时刻的敏感性较小，但从提供内容中无法确认完整论文后续是否给出更多数值误差分析或更广泛的参数研究。

总体而言，本文的优势是明确给出有限时间散射剖面在点态及同阶无权 Sobolev 范数中的可用误差界，且保留二次小量 $\varepsilon^2$ 和权重尺度 $$R$$ ；其限制是小数据、强常值背景、三维理想不可压缩 MHD 及既有加权正则性框架下的结论，时间率受 $\delta$ 限制，并未扩展到带黏性或磁扩散的模型、较弱空间衰减假设、逆散射重建误差或更优渐近速率。作者未显式比较所有相关工作的定理假设与最优性，因此对这些方面的优劣不能作进一步断言。

7. 二维黏性原始方程 Leray-Hopf 弱解的唯一性

Uniqueness of Leray-Hopf weak solutions to the two-dimensional viscous Primitive Equations

作者: Jinkai Li, Lintao Liu, Edriss S. Titi, Dong Wang

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11339v1

摘要翻译: Lions–Temam–Wang \cite{Lions1,Lions2,Lions3,Lions4} 于 20 世纪 90 年代证明了二维或三维黏性原始方程 Leray-Hopf（型）弱解的整体存在性；然而，无论在二维还是三维，相应的唯一性问题自此一直是一个长期悬而未决的问题。本文解决了二维情形下的这一公开问题。具体而言，我们证明，在周期性通道中，对于固壁上满足不可渗透和应力自由边界条件的黏性原始方程，任意具有 $$L^2$$ 初值的 Leray-Hopf 弱解都是唯一的。

Comment: 无

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

1. 研究对象和背景

本文研究二维黏性原始方程组的弱解唯一性。原始方程组是大尺度海洋与大气动力学模型的基本方程之一；它利用水平尺度远大于垂直尺度的特征，从 Navier-Stokes 方程经小长宽比极限导出。本文考虑周期通道

\Omega=\mathbb{T}\times(-h,0),\qquad h>0,

其中 $$x$$ 为周期水平方向坐标， $$z$$ 为垂直坐标。水平速度 $$v=v(x,z,t)$$ 、垂直速度 $$w=w(x,z,t)$$ 和压力 $$p=p(x,t)$$ 满足

\begin{cases} \partial_t v+v\partial_xv+w\partial_zv-\Delta v+\partial_xp=0,\\ \partial_zp=0,\\ \partial_xv+\partial_zw=0. \end{cases}

这里 $\Delta=\partial_x^2+\partial_z^2$ ，即水平和垂直方向均有黏性。边界条件为

v,w\text{ 关于 }x\text{ 周期},\qquad \partial_zv|_{z=-h,0}=0,\qquad w|_{z=-h,0}=0,

初值仅假设

v|_{t=0}=v_0,\qquad v_0\in L^2(\Omega).

利用不可压缩约束和底部无穿透条件，垂直速度由水平速度确定：

w(x,z,t)=-\int_{-h}^{z}\partial_xv(x,\xi,t)\,d\xi.

同时，垂直方向积分后的水平质量约束为

\partial_x\int_{-h}^{0}v(x,z,t)\,dz=0.

压力与该约束相容；文中将方程等价写成 $\partial_zp=\int_{-h}^{0}\partial_xv\,dz=0$ 。因此，尽管未知量中保留 $$w$$ 和 $$p$$ ，主要演化未知量是 $$v$$ ，而 $$w$$ 由 $$v$$ 的水平导数非局部地恢复。

所讨论的 Leray-Hopf 弱解具有能量级正则性：

v\in C([0,\infty);L^2_w(\Omega))\cap L^2_{\mathrm{loc}}([0,\infty);H),

其中 $$L^2_w$$ 表示弱拓扑下的 $$L^2$$ 连续性， $$H$$ 是满足周期性及垂直平均约束的 $$H^1$$ 空间。解满足方程的弱形式以及能量不等式

\frac12\|v(t)\|_{L^2}^2+\int_0^t\|\nabla v(s)\|_{L^2}^2\,ds \leq \frac12\|v_0\|_{L^2}^2

对几乎处处的 $$t>0$$ 成立。关键困难在于，此正则性只控制 $$v$$ 的时空能量量级，而 $$w$$ 的表达式包含 $\partial_xv$ ，非线性项 $w\partial_zv$ 因而具有原始方程组特有的各向异性和非局部耦合；仅凭通常的二维 Navier-Stokes 能量论证，并不能直接把差解估计闭合。

已有理论在存在性方面已有长期基础：Lions、Temam 和 Wang 在 1990 年代建立了二维、三维原始方程组 Leray-Hopf 型弱解的全局存在性。但一般 $$L^2$$ 初值下的弱解唯一性，此前在二维和三维均长期未解。与此不同，二维不可压 Navier-Stokes 方程的能量弱解唯一性早已成立。原始方程组的强解适定性也有重要进展，包括 Cao-Titi 对三维原始方程组强解全局适定性的工作，以及仅有水平黏性时的若干强解结果；然而强解结论并不覆盖只有 $$L^2$$ 初值的弱解类。此前已知的若干弱解唯一性结果要求额外初值正则性，例如 Bresch 等人研究的 $$z$$ -weak 解要求 $v_0,\partial_zv_0\in L^2$ ，另有工作要求初值属于连续函数空间，或是在 $$z$$ -weak 解附近作小的 $L^\infty$ 扰动。本文的目标正是去掉这类高于 $$L^2$$ 的初值正则性要求，在二维周期通道、不可穿透和无应力边界条件下证明一般能量弱解唯一。提供的 PDF 摘录未包含模型外的强迫项、变系数或其他边界几何，因而结论不应外推到这些情形。

2. 主要定理或主要结果

主要结论是定理 1.1：对任意 $v_0\in L^2(\Omega)$ ，在周期通道 $\Omega=\mathbb{T}\times(-h,0)$ 上，满足周期边界条件、 $\partial_zv|_{z=-h,0}=0$ 、由 $w=-\int_{-h}^{z}\partial_xv\,d\xi$ 给定的无穿透条件、垂直平均约束以及 Leray-Hopf 弱解定义的解唯一。这里不要求 $$v_0$$ 有高于 $$L^2$$ 的正则性。具体地，若 $v^{(1)}$ 与 $v^{(2)}$ 是具有相同初值 $$v_0$$ 的两组全局弱解，则定理断言

v^{(1)}(x,z,t)=v^{(2)}(x,z,t)

在相应的弱解意义下成立。该定理是唯一性结论；PDF 摘录引用既有结果作为弱解存在性背景，但本文在摘录所示的主定理中并未重新陈述或证明存在性。

论文将弱解类具体限定为 $v\in C([0,\infty);L^2_w(\Omega))\cap L^2_{\mathrm{loc}}([0,\infty);H)$ ，满足对测试函数 $\phi$ 的弱形式

\int_0^\infty\!\int_\Omega\left[-v\partial_t\phi+v\partial_xv\,\phi+w\partial_zv\,\phi+\nabla v:\nabla\phi\right]dx\,dz\,dt =\int_\Omega v_0(x,z)\phi(x,z,0)\,dx\,dz,

以及能量不等式

\frac12\|v(t)\|_2^2+\int_0^t\|\nabla v(s)\|_2^2\,ds\leq\frac12\|v_0\|_2^2.

因此，结论覆盖的是不预设强解正则性、仅有能量控制的 Leray-Hopf 弱解，而不是仅对光滑解或已知有额外垂直导数控制的解成立。

摘录中还明确给出两个用于证明的技术结果。引理 2.1 对序列 $\alpha,\beta,\gamma$ 及任意整数 $M\geq1$ ，控制由垂直 Fourier 模态相互作用形成的双重和：

\begin{aligned} &\left|\sum_{\ell,m\geq1}\sqrt{\frac{\max\{\ell,m\}}{\min\{\ell,m\}}} \left(\mathbf{1}_{\ell\ne m}\gamma_{|\ell-m|}+\gamma_{\ell+m}\right)\alpha_m\beta_\ell\right|\\ &\quad\leq C\|\{\sqrt{k}\gamma_k\}_{k\geq1}\|_{\ell^2}\left[ \sqrt{\log(e+M)}\|\alpha\|_{\ell^2}\|\beta\|_{\ell^2} +\|\{\sqrt{k}\alpha_k\}\|_{\ell^2}\|\beta\|_{\ell^2} +\|\alpha\|_{\ell^2}\|\{\sqrt{k}\beta_k\}\|_{\ell^2}\over\sqrt M} \right]. \end{aligned}

在摘录的引理原式中，最后两项分别是 $\|\{\sqrt{k}\alpha_k\}\|_{\ell^2}\|\beta\|_{\ell^2}$ 与 $\|\alpha\|_{\ell^2}\|\{\sqrt{k}\beta_k\}\|_{\ell^2}$ ，它们同样带有 $M^{-1/2}$ 因子；上式按此结构书写。由于估计对每个 $$M$$ 都成立，推论 2.1 可对右端关于 $M\in\mathbb{N}$ 取最小值。

命题 2.1 将该序列估计转成函数估计。对垂直平均为零的 $$a$$ 及满足 $\partial_x\int_{-h}^0b\,dz=0$ 的 $$b$$ ，定义 $w_a=-\int_{-h}^{z}\partial_xa\,dz'$ 、 $w_b=-\int_{-h}^{z}\partial_xb\,dz'$ ，并以 Neumann 余弦模态定义垂直算子 $\Lambda_z^s$ 。则摘录给出的估计为

\begin{aligned} &\int_\Omega(ab_x+w_a\partial_zb+ba_x+w_b\partial_za)\Lambda_z^{-1}a\,dx\,dz\\ &\quad\leq C\left(\sum_{k\geq1}k\|b_k\|_{L_x^\infty}^2\right)^{1/2} \left[\sqrt{\log(e+M)}\|\Lambda_z^{-1/2}a\|_2\|\Lambda_z^{-1/2}a_x\|_2 +M^{-1/2}\|a\|_2\|\Lambda_z^{-1/2}a_x\|_2 +M^{-1/2}\|\Lambda_z^{-1/2}a\|_2\|a_x\|_2\right], \end{aligned}

其中 $$b_k(x)$$ 是 $$b$$ 的垂直余弦 Fourier 系数，常数依赖于 $$h$$ 。该估计是摘录可确认的关键中间结论，而不是独立于定理 1.1 的额外适定性定理。提供的 PDF 在命题证明尚未结束处截断，未给出定理 1.1 后续证明的完整论证、参数选择及最终差解估计的具体形式。因此，无法据此补充一个摘录未显示的 Gronwall 不等式、时间增长率或额外误差阶；这些内容从提供内容中无法确认。

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

从已提供的证明页可以确认，作者针对原始方程组非线性项的困难，构造了按垂直 Fourier 模态组织的估计，而非直接把问题化为标准二维 Navier-Stokes 差解估计。弱解能量界只给出 $\nabla v\in L^2_{t,x,z}$ ，且垂直速度是水平导数的垂直积分；比较两组解时，非线性差项会同时涉及水平输运、垂直输运和速度恢复算子。摘录中的处理重点是利用垂直谱结构和适配平均约束的负阶垂直算子，量化这些相互作用。

第一项关键工具是垂直 Neumann 余弦展开。对满足无应力边界条件的函数，作者写成

f(x,z)=f_0(x)+\sum_{k\geq1}f_k(x)\cos\frac{k\pi z}{h},

并定义 $\Lambda_z^s$ 通过在第 $$k$$ 个非零模态上乘以 $$k^s$$ 。当 $$a$$ 的垂直平均为零时， $\Lambda_z^{-1}a$ 可定义为

\Lambda_z^{-1}a=\sum_{k\geq1}\frac{a_k(x)}{k}\cos\frac{k\pi z}{h}.

这个负阶权重降低了垂直频率，并使测试量与垂直导数及由水平导数生成的垂直速度之间出现可追踪的模态权重。平均模态必须单独处理：命题要求 $\int_{-h}^0a\,dz=0$ ，并要求 $\partial_x\int_{-h}^0b\,dz=0$ 。后一个条件使 $$b$$ 的平均模态不产生水平导数贡献，避免把不可逆的零模态错误地纳入 $\Lambda_z^{-1}$ 。

第二项关键工具是精确利用三角函数乘积的选频规则。作者计算余弦三重积及正弦-正弦-余弦积分，得到只在模态指标满足 $\ell=m+n$ 、 $m=\ell+n$ 或 $n=m+\ell$ 时非零的结构。例如

\int_{-h}^0\cos\frac{\ell\pi z}{h}\cos\frac{m\pi z}{h}\cos\frac{n\pi z}{h}\,dz =\frac h4\left(\mathbf{1}_{\ell=m+n}+\mathbf{1}_{n=m+\ell}+\mathbf{1}_{m=\ell+n}\right).

垂直速度的模态系数则带有 $$1/k$$ 权重，因为对余弦模态积分会产生正弦模态并除以频率。把这些公式用于命题中的四个非线性项后，积分化为模态指标受上述三角关系约束的级数；分部积分和交换模态指标可进一步组合项。由此，问题归结为控制带有 $\sqrt{\max\{\ell,m\}/\min\{\ell,m\}}$ 权重以及 $\gamma_{|\ell-m|}$ 、 $\gamma_{\ell+m}$ 系数的双重序列和。

第三项关键工具是引理 2.1 的频率分区与可调截断估计。证明把指标区域分成 $\ell\geq2m$ 、 $m\geq2\ell$ 和 $m/2<\ell<2m$ 。前两区中频率比可由频率差控制，进而用 Cauchy-Schwarz 将相互作用估计为加权 $\ell^2$ 范数的乘积；中间区频率比有界，但差频可能很小，作者另将差频 $$n$$ 分为 $n\leq M$ 和 $$n>M$$ 。低差频部分使用调和和

\sum_{n=1}^{M}\frac1n\lesssim\log(e+M),

产生 $\sqrt{\log(e+M)}$ 损失；高差频部分则利用平方可和尾部

\sum_{n>M}\frac1{n^2}\lesssim M^{-1},

得到 $M^{-1/2}$ 型衰减。参数 $$M$$ 因而在低频的对数损失和高频的加权正则性代价之间调节。推论 2.1 保留了对所有 $$M$$ 的估计并取最小值，避免在尚未指定应用中各范数大小时固定截断尺度。

命题 2.1 的实质作用是把上述离散模态估计重新组合为物理空间中的非线性估计，且系数以

\left(\sum_{k\geq1}k\|b_k\|_{L_x^\infty}^2\right)^{1/2}

出现，测试函数与水平导数以 $\Lambda_z^{-1/2}$ 加权的 $$L^2$$ 范数出现。它针对的是带有 $$w_a,w_b$$ 的耦合组合，而不是孤立估计某一个输运项；这种组合及其模态代数正是抵消或控制非局部垂直速度效应的结构所在。就摘录而言，作者的可辨认创新点是这一针对两类三频共振区域的加权序列不等式，以及将其用于负阶垂直测试量的非线性估计。

需要区分可直接确认的技术内容与完整证明中可能还使用的步骤。PDF 在命题 2.1 的推导过程中截断，定理 1.1 的证明后半部分没有提供。因此，虽然这些估计显然服务于唯一性证明，但摘录不足以确认作者随后如何对两解作差、最终选择何种时间依赖截断 $$M$$ 、如何处理所有项、是否使用某个特定的对数 Gronwall 引理，以及怎样从弱解能量不等式完成极限论证。对此不能把常见的证明套路当作本文已明确展示的内容。

4. 与之前工作的比较

本文相对于既有工作的首要推进是弱解唯一性的初值门槛。摘要和引言指出，Lions-Temam-Wang 在 1990 年代建立了二维、三维黏性原始方程组 Leray-Hopf 型弱解的全局存在性，但一般弱解唯一性长期未解决。本文定理 1.1 在二维中将唯一性推进到任意 $$L^2$$ 初值，且弱解只具有能量级控制；与只对更规则解成立的唯一性结论相比，这是实质性的类扩大。作者并未在所给内容中宣称解决三维唯一性，摘要明确把新结果限定为二维，因此三维一般弱解唯一性仍不在本文定理范围内。

就初值假设比较，Bresch 等人 [2] 的二维 $$z$$ -weak 解唯一性要求初值满足

v_0,\partial_zv_0\in L^2,

这提供了额外垂直正则性。Tachim-Medjo [39] 将相应的 $$z$$ -weak 解唯一性拓展到三维。Kukavica-Pei-Ziane [22] 处理了初值属于连续函数空间的一类唯一性问题；Li-Titi [26] 则研究了对 $$z$$ -weak 解作小 $L^\infty$ 扰动后的唯一性。本文强调，这些结果都要求高于一般 $$L^2$$ 可积性的初值条件，而本文不要求 $\partial_zv_0\in L^2$ 、连续性或小扰动结构。需要注意，摘录没有给出上述文献定理的完整函数空间定义和技术假设，故不能据此作比作者引言更细的定量比较。

与二维不可压 Navier-Stokes 方程的弱解唯一性相比，本文解决的是相近能量尺度下一个结构不同的问题。引言指出二维 Navier-Stokes 弱解唯一性已有经典结果，但原始方程组还含有由 $\partial_xv$ 经垂直积分得到的 $$w$$ ，并需满足垂直平均约束及与之耦合的压力条件。本文不能简单视为将二维 Navier-Stokes 唯一性结论套用到新的变量记号上；所给证明片段显示，作者需利用原始方程组的垂直谱耦合、余弦模态选频和 $\Lambda_z^{-1}$ 加权来控制相关非线性项。至于这些机制在完整差解论证中具体替代了哪一条 Navier-Stokes 估计，因证明后半部分缺失，无法从提供内容中确认。

与强解理论相比，Cao-Titi [9] 建立了三维原始方程组强解的全局适定性，Kobelkov [21]、Kukavica-Ziane [23] 等工作以及引言列举的后续研究也属于强解方向；此外，作者特别提及仅有水平黏性时的强解全局适定性结果。强解理论利用比能量弱解更高的正则性，其适用结论不能自动推出任意 $$L^2$$ 初值下的 Leray-Hopf 弱解唯一性。本文的二维结论在解的正则性要求上更弱，但并未据所给内容扩展到三维，也未覆盖仅水平黏性的方程、非周期水平域或不同边界条件。其结论仍依赖本文指定的二维周期通道、全黏性算子和无应力、无穿透边界设定。

从适用范围与代价看，本文扩大的是二维弱解唯一性定理所覆盖的初值类，而不是改变方程模型或建立新的高阶正则性结论。证明所展示的代价是细致利用垂直 Fourier 结构：离散估计包含 $\sqrt{\log(e+M)}$ 以及 $M^{-1/2}$ 项，并且命题中的系数控制依赖 $\sum_k k\|b_k\|_{L_x^\infty}^2$ 。这说明论证并非仅由粗略能量界直接得到，而需要将模态结构与可调频率截断结合。另一方面，所提供内容没有展示这些中间范数在完整唯一性证明中的最终吸收方式，故不能判断是否对近似解、时间区间或某些额外量有未披露的限制，也不能给出比定理 1.1 更细的时间尺度结论。作者摘要没有给出局部唯一、弱-强唯一之外的其他分层结论；本文最明确的比较性贡献就是二维、任意 $$L^2$$ 初值的 Leray-Hopf 弱解唯一性。

8. 任意维数下定常 Navier–Stokes 方程的齐次解

Homogeneous solutions of the stationary Navier-Stokes equations in arbitrary dimension

作者: Qi Ma

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11301v1

摘要翻译: 对于每个整数 $n\ge4$ ，我们证明，在 $\mathbb{R}^n\setminus\{0\}$ 上，对于任意局部 Lipschitz 的 $$(-3)$$ -齐次力，定常不可压 Navier–Stokes 方程存在一个 $$(-1)$$ -齐次解。压力是 $$(-2)$$ -齐次的，且该解在原点之外正则。这将 Bang、Gui、Liu、Wang 和 Xie 的齐次解存在性定理推广到了十六维以上。核心估计结合了一个次临界局部化压力恒等式，以及对适当有限 Lebesgue 空间中一个辅助切向量场的初等二进估计。随后，在齐次抵消指数处对 Bernoulli 方程进行检验，便可控制其正部在 $L^{\frac{(n-2)(n-1)}{2(n-3)}}(S^{n-1})$ 中的范数。由此得到的估计在每个固定维数下都能与能量不等式闭合。对于充分小的力，我们还在整个经典齐次解类中建立了唯一性。运用相同思路，我们还给出了 $\mathbb{R}^n$ （ $n\ge5$ ）上有界紧支撑力情形下已知存在性定理的一个简化证明。对具有无散漂移的标量方程的一般有限指数估计，结合二进核估计的欧氏版本，无需 BMO 估计，也无需通过迭代获得其上确界范数，即可控制 Bernoulli 函数的正部。

Comment: 无

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

1. 研究对象和背景

本文研究定常不可压 Navier-Stokes 方程在去心空间中的齐次解. 对 $$n$$ 维速度场 $$u$$ 、压力 $$p$$ 和外力 $$f$$ , 方程为

-\Delta u+(u\cdot\nabla)u+\nabla p=f,\qquad \operatorname{div}u=0\quad\text{in }\mathbb R^n\setminus\{0\}.

该系统具有缩放变换 $u(x)\mapsto\lambda u(\lambda x)$ 、 $p(x)\mapsto\lambda^2p(\lambda x)$ 、 $f(x)\mapsto\lambda^3f(\lambda x)$ . 因而，与方程缩放相容的齐次类别是 $$u$$ 为 $$-1$$ 次齐次、 $$p$$ 为 $$-2$$ 次齐次、 $$f$$ 为 $$-3$$ 次齐次. 论文的核心存在性问题是: 给定任意局部 Lipschitz 的 $$-3$$ 次齐次外力, 是否存在与之相应的经典 $$-1$$ 次齐次速度场. 由于齐次性, 这相当于在单位球面 $S^{n-1}$ 上求解一个耦合的椭圆系统; 原点处允许有齐次奇性, 但要求解在 $\mathbb R^n\setminus\{0\}$ 上正则.

这一问题处在定常 Navier-Stokes 高维正则性与构造理论的交界处. 相较三维, 高维中的能量控制与局部正则性之间存在更明显的指数障碍. 对非齐次全空间问题, Frehse 和 Růžička 建立了高维周期及有界区域中的若干正则性结果; Li 和 Yang 对 $5\le n\le15$ 的有界紧支撑外力给出全空间正则解. 对齐次问题, Šverák 在三维无外力情形研究了齐次解的刚性, 而 Shi 在 $$n=4$$ 对任意属于 $L^{4/3,\infty}$ 的齐次外力证明了弱解存在. Bang、Gui、Liu、Wang 和 Xie 于 2025 年证明, 对 $4\le n\le16$ , 任意局部 Lipschitz 的 $$-3$$ 次齐次外力均有正则的 $$-1$$ 次齐次解, 并对小外力建立经典齐次类中的唯一性. 他们的论证利用径向速度与 Bernoulli 函数的关系以及球面上的幂次测试, 但其存在性结论有维数上限.

本文试图补足的是把上述任意外力的齐次存在性推进到所有有限维数, 同时保留球面上的经典正则性和小外力唯一性. 记

H=p+\frac12|u|^2,

为 Bernoulli 函数, 并写 $$u=u_t+u_re_r$$ , 其中 $$u_t$$ 为球面切向分量. 齐次约化后, 主要困难并非形式上写出球面方程, 而是获得足以启动局部正则性判据和 Leray-Schauder 度构造的先验界. 能量恒等式中出现有符号项 $(n-4)\int_{S^{n-1}}Hu_r$ , 因此仅有速度的基本能量控制并不足够; 作者需要控制 $$H_+$$ 的合适积分范数, 并将局部压力估计所给出的速度集中度信息转化为辅助切向场的有限 Lebesgue 范数. 论文另将相同思路用于全空间有界紧支撑外力问题, 给出已知存在性定理的一种较简洁证明. 这里的齐次问题与全空间紧支撑问题是两类不同设定, 后者的外力不要求齐次, 但其结论要求 $n\ge5$ .

2. 主要定理或主要结果

主结果是定理 1.1. 对每个整数 $n\ge4$ , 若 $f:\mathbb R^n\setminus\{0\}\to\mathbb R^n$ 局部 Lipschitz 且满足 $f(\lambda x)=\lambda^{-3}f(x)$ , 则存在经典解 $$(u,p)$$ 满足

-\Delta u+(u\cdot\nabla)u+\nabla p=f,\qquad \operatorname{div}u=0,

以及

u(\lambda x)=\lambda^{-1}u(x),\qquad p(\lambda x)=\lambda^{-2}p(x).

对每个 $0<\alpha<1$ , 球面限制满足

\|u\|_{C^{2,\alpha}(S^{n-1})}+\|p\|_{C^{1,\alpha}(S^{n-1})} \le C\bigl(n,\alpha,\|f\|_{\mathrm{Lip}(S^{n-1})}\bigr).

因此解在去心空间上经典; 若 $$f$$ 在去心空间光滑, 则 $$u,p$$ 也光滑. 压力可规范化为 $$-2$$ 次齐次代表, 且在该齐次规范下由速度和外力唯一确定. 另外, 存在只依赖于维数的 $\varepsilon_n>0$ , 使得当 $\|f\|_{\mathrm{Lip}(S^{n-1})}\le\varepsilon_n$ 时, 速度在所有 $$C^2$$ 的 $$-1$$ 次齐次经典解中唯一, 相应的 $$-2$$ 次齐次压力亦唯一.

证明中的关键先验估计先对 $n\ge7$ 的任意经典齐次解建立. 令

\theta=\frac{(n-2)(n-1)}{2(n-3)}=\frac n2+\frac1{n-3}>\frac n2.

命题 2.8 给出

\|H_+\|_{L^\theta(S^{n-1})} \le C_n\bigl(\|f\|_{L^\infty(S^{n-1})}+\|f\|_{L^\infty(S^{n-1})}^4\bigr),

以及

\int_{S^{n-1}}\bigl(|\nabla_{S^{n-1}}u|^2+(n-3)|u|^2\bigr)\,d\sigma \le C_n\bigl(\|f\|_{L^\infty(S^{n-1})}^2+\|f\|_{L^\infty(S^{n-1})}^8\bigr).

常数可依赖固定维数, 与具体解无关. 其中 $H_+=\max(H,0)$ . 这些界使作者能够应用 Li 和 Yang 的局部正则性判据, 因为 $\theta>n/2$ . 对 $n\ge17$ , 作者据此构造解; $4\le n\le16$ 的存在性由 Bang 等人的定理补足, 从而得到定理 1.1 的全维数结论. 小外力唯一性由相应能量界、紧性以及 Stokes 映射中的二次非线性结构推出.

此外, 定理 1.2 处理全空间紧支撑外力. 若 $n\ge5$ , $$R_0>0$$ , 且 $f\in L^\infty(\mathbb R^n;\mathbb R^n)$ 满足 $\operatorname{supp}f\subset B_{R_0}(0)$ , 则存在正则解, 对每个 $1<b<\infty$ 有 $u\in W^{2,b}_{\mathrm{loc}}(\mathbb R^n)$ 、 $p\in W^{1,b}_{\mathrm{loc}}(\mathbb R^n)$ , 并且

|u(x)|\le\frac{C}{(1+|x|)^{n-2}},\qquad |\nabla u(x)|+|p(x)|\le\frac{C}{(1+|x|)^{n-1}}.

常数仅依赖 $n,R_0,\|f\|_{L^\infty}$ ; 若 $$f$$ 光滑, 解也光滑. 对这一全空间问题, 作者使用有限指数估计, 取 $\theta=n$ 得到 $\|H_+\|_{L^n}\le C\|F\|_{L^{n/2}}$ , 再由辅助场估计闭合 Bernoulli 界. 摘录未给出该定理更细的唯一性结论, 也未声称此处得到唯一性.

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

核心技术障碍是齐次球面能量恒等式并不直接给出闭合的速度估计. 由球面方程可得

\int_{S^{n-1}}\bigl(|\nabla_{S^{n-1}}u|^2+(n-3)|u|^2\bigr)\,d\sigma +(n-4)\int_{S^{n-1}}Hu_r\,d\sigma =\int_{S^{n-1}}f\cdot u\,d\sigma.

第二项符号不定, 其控制需要 $$H_+$$ 的积分界. 作者沿用并整理 Bang 等人的径向均值恒等式与能量论证, 得到 $\|u_r\|_{L^2}$ 可由 $\|H_+\|_{L^\theta}$ 和 $\|f\|_\infty$ 控制, 并据此推出能量不等式

E(u)\le C_n\left[\|f\|_\infty^2+\bigl(\|H_+\|_{L^\theta}+\|f\|_\infty\bigr)^{3/2}\right],

其中 $E(u)=\int_{S^{n-1}}(|\nabla_{S^{n-1}}u|^2+(n-3)|u|^2)$ . 难点转化为如何以不依赖未知高阶范数的方式估计 $$H_+$$ .

第一步是次临界局部压力恒等式. 作者从分布意义下的压力方程

-\Delta p=\partial_i\partial_j(u_i u_j)-\operatorname{div}f

出发, 以局部截断函数乘奇异核 $|x-\omega|^{-s}$ 作测试, 并使用 $$p=H-|u|^2/2$$ . 通过先将奇异核正则化, 再在 $W^{2,1}$ 中取极限, 得到局部加权 $$|u|^2$$ 控制. 其积分可由 $\|H_+\|_{L^\theta}$ 、 $\|u\|_{L^2}^2$ 和 $\|f\|_\infty$ 控制. 这里选取 $$s<n-4$$ , 使奇异核二阶导数可积且速度项前的系数 $$s(n-4-s)/2$$ 为正. 齐次性再把欧氏球中的估计转成球面测地球上的局部质量界. 引言中采用的代表性形式为

\sup_{\omega\in S^{n-1},\ 0<\rho\le\rho_0} \rho^{3+1/n-n}\int_{B_\rho^{S^{n-1}}(\omega)}|u|^2\,d\sigma \le C_n\bigl(\|H_+\|_{L^\theta}+\|u\|_{L^2}^2+\|f\|_\infty\bigr).

第二步是估计由源项生成的辅助切向场. 作者令 $$g=|f||u|+(n-4)|f_r|$$ , 取其球面均值 $$b$$ , 并定义

F=-\nabla_{S^{n-1}}(-\Delta_{S^{n-1}})^{-1}(g-b)-f_t, \qquad b+\operatorname{div}_{S^{n-1}}F=g-\operatorname{div}_{S^{n-1}}f_t.

逆 Laplace 算子取零均值规范. 将 Bernoulli 方程中非正的涡量项舍去后, 得到带漂移的标量不等式

-\Delta_{S^{n-1}}H+u_t\cdot\nabla_{S^{n-1}}H +\bigl(2(n-4)-2u_r\bigr)H\le b+\operatorname{div}_{S^{n-1}}F.

局部加权质量界给出 $$g$$ 的球面小球质量控制. 引理 2.7 对球面 Green 核梯度作二进分解, 在每个尺度上将核贡献在 $$L^1$$ 与 $L^\infty$ 间插值, 从而在有限指数 $$q$$ 下控制 $\nabla(-\Delta)^{-1}(g-\bar g)$ . 这一步避免要求 $$F$$ 有 $L^\infty$ 界或 BMO 控制. 论文取

q=\frac{(n-2)(n-1)}{3n-8},\qquad \frac{2}{q}+\frac{n-6}{2\theta}=1,

并选取满足 $$n-4-2/(q-1)<s<n-4$$ 的 $$s$$ , 使局部集中度与核估计的指数相容.

第三步是在 Bernoulli 方程中使用与齐次结构匹配的幂次测试. 以 $H_+^{(n-4)/2}$ 测试, 切向输运项与径向反应项发生抵消; 其目的不是逐步迭代获得 $\|H_+\|_\infty$ , 而是直接估计所需的有限指数范数 $L^\theta$ . 配合 $$F$$ 的 $$L^q$$ 控制, 得到命题 2.6 的 Bernoulli 估计, 其中局部速度质量项以平方根出现. 再用次临界局部压力估计和能量不等式替换该质量项, 最终只出现 $\|H_+\|_{L^\theta}$ 的低次幂, 通过 Young 不等式吸收, 得到上述全局先验界. 因此证明的关键并非单独使用能量估计, 而是把压力恒等式产生的局部集中度、Green 核的有限指数界和特定幂次测试串联成闭合链条.

全空间版本中, 标量不等式写作 $-\Delta H+u\cdot\nabla H\le\operatorname{div}F$ . 引理 4.1 给出有限指数估计: 当 $2n/(n-2)\le\theta<\infty$ 且 $1/q=1/\theta+1/n$ 时, 在相应可积性与衰减假设下, $\|H_+\|_{L^\theta}\le C_{n,\theta}\|F\|_{L^q}$ . 欧氏空间中的二进核估计控制 $$F$$ ; 取 $\theta=n$ 后以 $\|H_+\|_{L^n}\le C\|F\|_{L^{n/2}}$ 和含 $\|H_+\|_{L^n}^{1/2}$ 的右端闭合. 该做法避免先证 BMO 界, 再迭代得到 Bernoulli 函数上确界的路线. 最后的正则性与解的构造仍使用局部正则性判据、外部衰减估计和 Leray-Schauder 度理论.

4. 与之前工作的比较

相对于 Bang、Gui、Liu、Wang 和 Xie [2], 本文最直接的推进是将任意局部 Lipschitz $$-3$$ 次齐次外力下的齐次解存在性从 $4\le n\le16$ 扩展到每个 $n\ge4$ . 小外力时在经典齐次类中的唯一性也由该文建立; 本文明确称相应结论与 Gui、Liu、Wang 和 Xie 的预印本 [14] 独立得到, 且 [14] 也证明了任意高维的同类扩展和小力唯一性. 因而应将本文视为独立完成的证明, 不能仅凭摘录断言它在结论上严格强于 [14]. 摘录没有提供 [14] 的详细假设、证明或发表状态比较, 这些差异从提供内容中无法确认.

与 [2] 的主要差别在证明闭合机制. [2] 的齐次存在性证明受维数上限 $$16$$ 限制, 其 Bernoulli 控制依赖径向速度与 Bernoulli 函数关系及球面幂次测试. 本文保留能量和 Bernoulli 框架, 但加入次临界局部压力恒等式与辅助切向场的有限指数估计, 将局部速度质量转为 $$F$$ 的适用 Lebesgue 范数, 再直接得到 $\|H_+\|_{L^\theta}$ 界. 这使其无需建立 $$H_+$$ 的 BMO 控制, 也无需先通过迭代获得其上确界. 所需范数是有限指数 $\theta=(n-2)(n-1)/(2(n-3))$ , 且严格大于 $$n/2$$ , 正好足以使用 Li 和 Yang 的局部正则性判据. 代价是证明依赖固定维数下的指数选择与局部核估计; 常数可依赖 $$n$$ , 文中结论并非关于 $n\to\infty$ 的一致估计.

背景上的相关结果各有不同问题设定. Shi [20] 在 $$n=4$$ 对任意 $L^{4/3,\infty}$ 的 $$-3$$ 次齐次外力证明弱齐次解存在, 但其结论的解概念与本文的去心空间经典解不同. 本文对 $$n=4$$ 的存在性依赖 [2] 已有结论, 而本文所展示的新先验估计主要在 $n\ge7$ 建立; 对 $$n=5,6$$ 不能把本文第 2 节的该套估计误说成直接适用. 在三维, Šverák [22] 对无外力的非零光滑 $$-1$$ 次齐次解给出 Landau 解刚性, Li、Li、Yan 等研究轴对称齐次解及孤立奇点; 这些三维分类或特定对称性结果与本文任意维数、任意齐次外力的存在性不是同一类型的结论.

本文还给出定理 1.2, 但作者明确称这是 Li 和 Yang [18] 在 $5\le n\le15$ 以及 Wang 和 Yang [23] 在 $n\ge16$ 已知存在性定理的简化证明, 而非首次扩展其维数范围. 该结果处理的是 $\mathbb R^n$ 上有界紧支撑外力, 解具有 $|u(x)|\lesssim(1+|x|)^{2-n}$ 与 $|\nabla u(x)|+|p(x)|\lesssim(1+|x|)^{1-n}$ 的衰减, 并要求 $n\ge5$ ; 与去心空间齐次外力问题的尺度结构、奇点设定均不同. 相较 Wang 和 Yang [23] 的 Bernoulli 估计路线, 本文的简化在于通过有限指数的漂移标量方程估计直接控制 $$H_+$$ , 不经 BMO 与上确界迭代, 也避免其后对 $(-\Delta)^{-1}H_+$ 的估计. 但全空间部分仍沿用 Li 和 Yang 的局部正则性、外部衰减和 Leray-Schauder 构造框架, 并未改变定理 1.2 的适用维数或衰减结论. 关于其他未在摘录中展开的定量比较, 例如常数相对于外力大小的最优性, 作者未显式展开, 从提供内容中无法确认.

9. 从麦克斯韦–薛定谔方程到半经典极限下的欧拉–麦克斯韦方程

From the Maxwell-Schrödinger equation to the Euler-Maxwell equation in the semiclassical limit

作者: Immanuel Ben Porat

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11199v1

摘要翻译: 我们从麦克斯韦–薛定谔方程推导出无压欧拉–麦克斯韦系统，作为其半经典极限。该方法依赖于对量子调制能量的研究，并将自洽磁效应纳入考量。关键在于，我们在量子调制能量中加入了一项修正，从而在对初始数据施加小性假设的条件下，能够闭合 Grönwall 估计。这是关于麦克斯韦–薛定谔方程半经典极限的首个结果，无需任何正则化，也无需关于波函数的、带条件的 $\hbar$ 一致界。

Comment: 29 pages

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

1. 研究对象和背景

本文研究三维空间中自洽电磁场与量子波函数耦合的 Maxwell-Schrödinger 系统，在 Planck 常数趋于零时能否严格导出经典流体模型。未知量包括复值波函数 $\psi^\hbar(t,x)$ 、磁矢势 $A^\hbar(t,x)$ 和电势 $\phi^\hbar(t,x)$ 。采用库仑规范 $\operatorname{div} A^\hbar=0$ 时，论文考虑的系统为

\begin{cases} i\hbar\partial_t\psi^\hbar=\dfrac12(i\hbar\nabla+A^\hbar)^2\psi^\hbar+\phi^\hbar\psi^\hbar,\\ -\Delta\phi^\hbar=\rho^\hbar,\\ (\partial_{tt}-\Delta)A^\hbar=\mathbb P J^\hbar,\\ \operatorname{div}A^\hbar=0, \end{cases} \qquad \rho^\hbar=|\psi^\hbar|^2, \quad J^\hbar=-\operatorname{Re}\bigl(\psi^\hbar(i\hbar\nabla+A^\hbar)\psi^\hbar\bigr).

这里 $\mathbb P=I-\nabla\Delta^{-1}\operatorname{div}$ 是 Helmholtz-Leray 投影， $A^\hbar$ 的波动方程体现电磁场的动态传播。与仅有静电自洽势的 Hartree 方程不同，电场和磁场在此处彼此耦合并满足双曲型 Maxwell 动力学。相应场定义为 $E^\hbar=-\partial_tA^\hbar-\nabla\phi^\hbar$ 、 $B^\hbar=\operatorname{curl}A^\hbar$ 。这一耦合结构使半经典极限中的主要困难不仅是控制量子动能，还包括处理随时间演化的电磁场及其与量子流的反馈。

若量子态在经典极限中保持单流、单速度的单动理学结构，则相应的经典流体变量是密度 $\rho$ 、速度 $$u$$ 、电场 $$E$$ 和磁场 $$B$$ 。论文所导出的无压 Euler-Maxwell 方程为

\begin{cases} \partial_t\rho+\operatorname{div}(\rho u)=0,\\ \partial_tu+u\cdot\nabla u=E+u\times B,\\ \partial_tE-\operatorname{curl}B=-\rho u,\\ \partial_tB+\operatorname{curl}E=0,\\ \operatorname{div}E=\rho,\qquad \operatorname{div}B=0. \end{cases}

其中 $\rho$ 是粒子密度， $$u$$ 是流速， $$E$$ 、 $$B$$ 分别是电场和磁场。方程没有压力项，正对应于动理学分布的单动理学形式 $f(t,x,\xi)=\rho(t,x)\delta(\xi-u(t,x))$ 。事实上，这种代入把非相对论 Vlasov-Maxwell 方程的输运动力学约化为上述流体系统。因此，本文处理的是从量子波函数描述到单流经典流体描述的极限，而不是一般具有多速度或非零压力的动理学极限。

该问题位于半经典极限研究的一个重要缺口。对于 Hartree 方程，Lions-Paul、Markowich-Mauser 等工作建立了从量子动力学到 Vlasov 动力学的基本理论；但加入自洽 Maxwell 场后，场方程具有双曲传播性质，电磁场作用带来额外导数损失与场—流耦合项。一般 Maxwell-Schrödinger 到 Vlasov-Maxwell 的严格半经典极限仍被论文描述为开放问题。本文采取单动理学这一更受限的目标：证明 Maxwell-Schrödinger 解在适当初始相对能量趋零时逼近 Euler-Maxwell 解。

此前相关结果并未同时解决本文关注的困难。论文指出，[17] 对正则化 Maxwell-Schrödinger 与 Vlasov-Maxwell 系统证明了半经典极限，正则化可补偿 Maxwell 场演化造成的导数损失，但改变了原模型；[11] 研究带压力的 Euler-Maxwell 半经典极限，所用论证要求量子波函数满足关于 $\hbar$ 一致的 $L^\infty$ 界，而此类界通常无法获得。论文的目标正是对未正则化 Maxwell-Schrödinger 方程建立无此类条件性波函数界的单动理学半经典极限。为达成这一目标，作者构造了同时修正流体和量子相对能量的泛函，并要求参考流速度在所考察时间区间满足 $\|u\|_{L^\infty}<1$ 。这一阈值既用于修正能量的正定性，也与 Euler-Maxwell 局部适定性证明中的对称化条件相联系。

问题的重要性还在于，结果给出了从色散型量子方程到压力消失的经典流体方程的无正则化论证，并避免依赖可能随 $\hbar$ 退化的量子密度上界。不过，论文证明的对象是单动理学流体而非完整 Vlasov-Maxwell 动力学；时间区间也依赖于经典 Euler-Maxwell 解的存在区间。所给文本没有提出非单动理学初态、全局经典流体解或一般初值下无条件 Maxwell-Schrödinger 到 Vlasov-Maxwell 极限的结论。

2. 主要定理或主要结果

主要结论是定理 1.2。设经典初值满足 Euler-Maxwell 约束

\rho_{\mathrm{in}}\in H^3(\mathbb R^3),\qquad (u_{\mathrm{in}},E_{\mathrm{in}},B_{\mathrm{in}})\in H^4(\mathbb R^3), \quad \operatorname{div}E_{\mathrm{in}}=\rho_{\mathrm{in}},\quad \operatorname{div}B_{\mathrm{in}}=0,

并有 $\|u_{\mathrm{in}}\|_\infty<1$ 。取 Euler-Maxwell 在 $$[0,T]$$ 上的经典解，且 $\|u\|_{L^\infty([0,T];L^\infty)}<1$ 。量子初值满足

(\psi^\hbar_{\mathrm{in}},A^\hbar_{0,\mathrm{in}},A^\hbar_{1,\mathrm{in}}) \in H^4\times H^4\times H^3, \quad \|\psi^\hbar_{\mathrm{in}}\|_2=1,

以及 Maxwell-Schrödinger 初值中的散度约束。令 $(\psi^\hbar,A^\hbar)$ 为相应解，并记 $e^\hbar=E^\hbar-E$ 、 $b^\hbar=B^\hbar-B$ 。定义量子调制能量

H^\hbar(t)=\frac12\int_{\mathbb R^3} \left|(i\hbar\nabla+A^\hbar+u)\psi^\hbar\right|^2\,dx +\frac12\|b^\hbar(t)\|_2^2 +\frac12\|e^\hbar(t)\|_2^2,

及其修正形式

G^\hbar(t)=H^\hbar(t)-\int_{\mathbb R^3} u\cdot(e^\hbar\times b^\hbar)\,dx, \qquad \nu=u.

这里公式中的 $$u$$ 是经典参考速度；亦即修正项为 $-\int u\cdot(e^\hbar\times b^\hbar)\,dx$ 。定理给出精确演化恒等式

\begin{aligned} \frac{d}{dt}G^\hbar(t) ={}&-\frac14\sum_{j,k=1}^3 \operatorname{tr}\!\left[ (i\hbar\partial_{x_j}+A^\hbar_j+u_j) \vee \left((i\hbar\partial_{x_k}+A^\hbar_k+u_k)\vee \partial_{x_k}u_j\right)R^\hbar \right]\\ &+\int_{\mathbb R^3}D_xu: \left((e^\hbar)^{\otimes2}-\frac12|e^\hbar|^2I +(b^\hbar)^{\otimes2}-\frac12|b^\hbar|^2I\right)dx\\ &-\int_{\mathbb R^3}\partial_tu\cdot(e^\hbar\times b^\hbar)\,dx. \end{aligned}

其中 $R^\hbar=|\psi^\hbar\rangle\langle\psi^\hbar|$ ， $S\vee T=ST+TS$ 为反对易子。原文中公式 (1.9) 的第一项即以此迹表达；它是量子动能相对误差与参考速度导数耦合产生的项。若初始调制能量满足 $H^\hbar(0)\to0$ ，则

\sup_{t\in[0,T]}H^\hbar(t)\longrightarrow0\qquad(\hbar\to0).

因此，电场和磁场分别强收敛于经典场，具体为

\sup_{t\in[0,T]}\|E^\hbar(t)-E(t)\|_2\to0, \qquad \sup_{t\in[0,T]}\|B^\hbar(t)-B(t)\|_2\to0.

量子密度与流也收敛，论文给出的拓扑为

\sup_{t\in[0,T]}\|\rho^\hbar(t)-\rho(t)\|_{H^{-1}}\to0, \qquad \sup_{t\in[0,T]}\|J^\hbar(t)-\rho(t)u(t)\|_{BL}\to0.

这里 $$BL$$ 表示有界 Lipschitz 测试函数所对应的对偶范数。上述结论是定性收敛；提供的定理没有给出关于 $\hbar$ 的显式收敛速率，也没有要求或推出 $\psi^\hbar$ 的关于 $\hbar$ 一致 $L^\infty$ 界。

文中同时给出 Euler-Maxwell 的局部适定性结论定理 2.2：若 $$s>5/2$$ ， $\rho_{\mathrm{in}}\in H^{s-1}$ 、 $(u_{\mathrm{in}},E_{\mathrm{in}},B_{\mathrm{in}})\in H^s$ 满足场约束且 $\|u_{\mathrm{in}}\|_\infty<1$ ，则存在 $$T>0$$ ，使解满足 $\rho\in C([0,T];H^{s-1})$ 、 $(u,E,B)\in C([0,T];H^s)$ ，并且 $\|u\|_{L^\infty([0,T];L^\infty)}<1$ 。定理 1.3 引用 [23] 的 Maxwell-Schrödinger 全局适定性：给定满足规范及归一化条件的 $H^4\times H^4\times H^3$ 初值，存在唯一的全局解 $(\psi^\hbar,A^\hbar)\in C(\mathbb R;H^4)\times C(\mathbb R;H^4)$ ，且 $\partial_tA^\hbar\in C(\mathbb R;H^3)$ 。半经典结论仍只在经典解所在的固定区间 $$[0,T]$$ 上陈述。

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

关键障碍不是单纯控制两解的能量差，而是 Maxwell 力中的磁项会把误差估计带到量子密度上。作者先研究经典 Euler-Maxwell 的弱-强稳定性。对两组解 $(\rho_1,u_1,E_1,B_1)$ 与 $(\rho_2,u_2,E_2,B_2)$ ，未修正的相对能量取为

H(t)=\frac12\int\rho_1|u_1-u_2|^2dx +\frac12\|E_1-E_2\|_2^2 +\frac12\|B_1-B_2\|_2^2.

直接对时间求导得到定理 2.4 的恒等式，其中除可由速度差能量控制的应力项外，还出现

\int \rho_1(u_1-u_2)\cdot\bigl(u_2\times(B_1-B_2)\bigr)\,dx.

若试图直接估计该项，通常需要对 $\rho_1$ 使用 $L^\infty$ 控制。半经典应用中 $\rho_1$ 将对应 $|\psi^\hbar|^2$ ，而恰恰无法预先假定这种范数关于 $\hbar$ 一致有界。因而直接沿用 Euler-Poisson 的相对能量闭合方式会引入不适用的量子密度假设。

作者的核心处理是在经典和量子相对能量中加入同一种电磁交叉修正。经典修正能量为

G(t)=H(t)-\int u_2\cdot\bigl((E_1-E_2)\times(B_1-B_2)\bigr)\,dx.

在 $\|u_2\|_\infty\leq\Lambda<1$ 时，交叉项可由电、磁场误差能量控制，得到

(1-\Lambda)H(t)\leq G(t)\leq(1+\Lambda)H(t).

因此修正并未牺牲能量的正定控制。对 $$G$$ 求导后，原先难以用相对能量控制、且含有 $\rho_1$ 的磁力项与场方程中的相应贡献抵消，最终得到定理 2.3 的形式：

\begin{aligned} \frac{d}{dt}G(t) ={}&-\int\rho_1(u_1-u_2)^{\otimes2}:D_xu_2\,dx\\ &+\int D_xu_2:\left(e^{\otimes2}-\frac12|e|^2I +b^{\otimes2}-\frac12|b|^2I\right)dx -\int\partial_tu_2\cdot(e\times b)\,dx, \end{aligned}

其中 $$e=E_1-E_2$$ 、 $$b=B_1-B_2$$ 。右侧现在由相对能量乘以参考解的导数范数控制，可应用 Grönwall 不等式。定理 2.3 的稳定性结论为 $H(t)\leq C e^{Ct}H(0)$ ，其中常数依赖 $\|\rho_2\|_\infty$ 与 $\|u_2\|_{W^{1,\infty}_{t,x}}$ ，而不依赖第一组解的密度上界。对于半经典论证，第一组解将是量子对象；这一区分是避免对量子密度作条件性假设的要点。

量子化这套相对能量论证时，作者使用密度算子

R^\hbar=|\psi^\hbar\rangle\langle\psi^\hbar|, \qquad i\hbar\partial_tR^\hbar= \left[\frac12(i\hbar\nabla+A^\hbar)^2+\phi^\hbar,R^\hbar\right],

以便把波函数动能和量子流写成迹的形式。量子调制能量的动能部分是

\frac12\int\left|(i\hbar\nabla+A^\hbar+u)\psi^\hbar\right|^2dx,

之后的闭合依赖两项结构。第一， $\|u\|_\infty<1$ 保证修正能量与未修正能量等价；第二，误差导数恒等式中的量子项可由量子调制动能与经典速度导数估计，电磁项则由 $$L^2$$ 场误差和经典速度的时空导数估计。于是得到能量的 Grönwall 型控制，初始调制能量趋零即推出整个固定时间区间上的调制能量趋零。密度与电流的弱收敛由量子动能控制及相应的对偶测试估计导出，最终得到 $H^{-1}$ 密度收敛和 $$BL$$ 电流收敛。提供的节选没有完整呈现这些末端估计的逐步推导及常数依赖细节，因而不能据此补写更精细的误差率。

Euler-Maxwell 局部适定性也服务于主定理的背景解构造。作者将约束系统改写成关于 $$(u,E,B)$$ 的一阶准线性系统，再构造依赖于 $$u$$ 的对称化矩阵 $$S$$ 。其正定性由

|v|^2+|E|^2+|B|^2-2u\cdot(E\times B) \geq |v|^2+(1-|u|)(|E|^2+|B|^2)>0

保证，因此需要 $$|u|<1$$ 。应用对称双曲系统的局部适定性定理后，令 $\rho=\operatorname{div}E$ ，并利用散度约束的传播恢复完整 Euler-Maxwell 方程。这里的阈值不仅用于技术性正则性论证，也与修正能量的电磁交叉项可控性一致。

4. 与之前工作的比较

与 Hartree 到 Vlasov 的半经典理论相比，本文的模型包含动态自洽电磁场，而不是只有由密度决定的静电卷积势。Lions-Paul、Markowich-Mauser 及后续工作构成 Hartree/Vlasov 半经典问题的基础背景，但本文所给节选没有逐条比较这些工作的假设或收敛拓扑，因此不能进一步断言本文在这些具体技术指标上超过了某篇工作。可以确定的区别是 Maxwell 场的双曲演化及磁效应要求新的场误差控制，而论文的结论针对 Euler-Maxwell 单动理学流体，不是一般 Vlasov-Maxwell 极限。

与 [17] 的正则化 Maxwell-Schrödinger 到 Vlasov-Maxwell 极限相比，本文的突出差别是处理未正则化的 Maxwell-Schrödinger 方程。正则化通过平滑作用缓解场方程带来的导数损失，代价是研究对象被替换为正则化模型；本文不采用该正则化，但把目标限制为由单动理学态对应的压力无关 Euler-Maxwell 系统，并要求初始相对调制能量趋零及背景速度满足 $\|u\|_\infty<1$ 。论文称这是首个不依赖正则化、也不依赖波函数关于 $\hbar$ 一致 $L^\infty$ 界的非相对论 Maxwell-Schrödinger 半经典结果。这里的“无条件”应按其论证语境理解：它去掉了文中指出的条件性波函数一致界，并非对任意初值、任意经典背景或任意长时间都成立。

与 [11] 的 Euler-Maxwell 半经典结果相比，本文明确处理了其条件性来源。文中说明 [11] 假设

\sup_{0<\hbar\leq1}\sup_{t\in[0,T]} \|\psi^\hbar(t)\|_\infty<\infty,

而这种一致界一般未知；即便在更简单的三维静电 Hartree 情形，论文所述已知结果也仅覆盖具有屏蔽库仑相互作用并满足小性条件的特定场景。本文通过修正调制能量消去对量子密度 $\rho^\hbar$ 的 $L^\infty$ 需求，故在这项假设上有实质推进。另一方面，[11] 研究带压力的 Euler-Maxwell 模型，而本文的极限模型是压力无关的无压 Euler-Maxwell；两者的经典方程、局部或全局理论及适用初值不能视作完全相同。节选没有提供 [11] 的完整定理假设、定量率或时间尺度，故无法更细致地比较这些方面。

相较于 Euler-Poisson 的弱-强稳定性论证，例如文中提及的 [25] 附录 A，本文的困难在于 Maxwell 磁力项和电磁场的动态交换。未经修正的相对能量导数包含带第一解密度的磁误差项，直接估计会要求 $\rho_1\in L^\infty$ ；这种要求不能用于可能随 $\hbar$ 变化而失去一致界的量子密度。新修正项 $-\int u_2\cdot(e\times b)$ 把困难项转化为电磁应力形式，并在 $\|u_2\|_\infty<1$ 时保持能量等价。其代价是速度阈值严格小于 $$1$$ ，而且稳定性常数仍依赖强解密度与速度导数的正则性。论文强调 Euler-Poisson 可有不同的局部适定性性质；Euler-Maxwell 的局部理论本身也在这里采用小速度条件，不能将本结果理解为无速度限制的稳定性结论。

与 [24] 的相对论 Klein-Gordon-Maxwell 到相对论 Euler-Maxwell 结果相比，作者明确指出本文在概念上借鉴了适配调制能量的思路，并将其引入非相对论 Maxwell-Schrödinger 系统。两者都利用电磁场修正相对能量这一思路，但系统及极限模型不同。所给材料未展开 [24] 的定量假设、极限尺度或两种修正能量的逐项比较，因此不能进一步断言本文对其所有结论作了严格包含或推广。

时间尺度和误差方面，本文在某个经典 Euler-Maxwell 解存在的固定区间 $$[0,T]$$ 上证明一致时间收敛； $$T$$ 来自经典背景的局部适定性，不是独立于初值的全局时间。量子 Maxwell-Schrödinger 解依据 [23] 可全局存在，但这不自动延长半经典收敛区间，因为参考流体解可能先失去正则性或速度条件。结论给出 $$L^2$$ 电磁场误差、 $H^{-1}$ 密度误差和 $$BL$$ 电流误差在时间区间上的趋零，却没有提供显式的 $\hbar$ 收敛速率。初始误差必须通过 $H^\hbar(0)\to0$ 体现；节选没有给出足以把这一条件改写为具体 WKB 初值展开或相空间测度条件的定理。

总体而言，本文推进的是“未正则化、无波函数一致 $L^\infty$ 条件、单动理学经典极限”这一组合，而不是解决完整 Maxwell-Schrödinger 到 Vlasov-Maxwell 的开放问题。它沿用了相对能量/调制能量框架，但创新集中在针对自洽磁效应的交叉修正及其量子算子版本。适用范围仍受限于光滑经典参考解、固定存在时间、小于 $$1$$ 的速度条件和趋零的初始调制能量；不包含一般多流分布、压力效应、一般初值的 Vlasov-Maxwell 极限或显式误差率。

10. $$d$$ -球面上 Navier-Stokes 流的周期性与惯性流形

Periodicity and Inertial Manifolds for Navier-Stokes Flows on $$d$$ -Spheres

作者: Thi Ngoc Ha Vu, Thieu Huy Nguyen

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11084v1

摘要翻译: 考虑一个 $$d$$ -球面 $\mathbb{S}^d$ ，并以 $Γ(T\mathbb{S}^d)$ 表示 $\mathbb{S}^d$ 上所有向量场的集合。我们研究 Navier-Stokes 方程（NSE）：

\partial_t u + \nabla_u u + grad π= \mathbfΔ u + \operatorname{div} f(\cdot, t);\, \operatorname{div} u=0,

其中向量场 $u(\cdot, t)\in Γ(T\mathbb{S}^d)$ ， $\mathbfΔ$ 表示 Ebin-Marsden 拉普拉斯算子，其定义为 $\mathbfΔ u= \operatorname{div} (\nabla u + \nabla u^t)^{\sharp}$ ，而 $\operatorname{div} f(\cdot, t)$ 是周期外力。我们在 $\mathbb{S}^d$ 上向量场的 $$L^p$$ 空间框架下研究 Navier-Stokes 方程，并证明这类方程周期解的存在性与唯一性。此外，利用 Ebin-Marsden 拉普拉斯算子的特征值分布，我们证明了该解附近解的惯性流形的存在性。

Comment: 无

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

1. 研究对象和背景

本文研究紧致黎曼流形 $\mathbb{S}^d$ 上不可压缩速度场的 Navier-Stokes 方程, 重点是周期外力驱动下周期解的存在性, 以及该周期解附近有限维惯性流形的构造。未知量是切丛截面 $u(\cdot,t)\in\Gamma(T\mathbb{S}^d)$ 和压力 $\pi$ , 速度满足散度为零的约束。论文所用模型为

\partial_t u+\nabla_u u+\operatorname{grad}\pi =\mathbf{\Delta}u+\operatorname{div} f(\cdot,t), \qquad \operatorname{div}u=0.

这里 $\nabla$ 是球面度量的 Levi-Civita 联络, $$f$$ 是二阶张量场, 其散度构成外力; 黏性算子不是简单地逐分量取标量 Laplace 算子, 而是 Ebin-Marsden 应力 Laplace 算子

\mathbf{\Delta}u=\operatorname{div}(\nabla u+\nabla u^t)^{\sharp}.

在 $\operatorname{div}u=0$ 时, 它可写为 $\mathbf{\Delta}u=(-\Delta_Hu^\flat)^\sharp+2(d-1)u$ , 其中 $\Delta_H$ 是 Hodge Laplace 算子; 球面的 Ricci 曲率为 $\operatorname{Ric}=(d-1)g$ 。因此几何曲率直接进入线性耗散算子的谱, 也影响后续的谱隙判据。

压力的作用是维持散度自由约束。利用 Helmholtz-Hodge 投影 $$P$$ 消去压力, 并用 $\operatorname{div}u=0$ 下的恒等式 $\nabla_u u=\operatorname{div}(u\otimes u)$ , 方程改写为

\partial_tu+P\operatorname{div}(u\otimes u) =\mathbf{\Delta}u+P\operatorname{div}f, \qquad u\in L^p_\sigma(\Gamma(T\mathbb{S}^d)).

外力关于时间具有周期 $$T$$ , 即 $$f(t+T)=f(t)$$ 。周期解问题是在整个时间轴上寻找有界的 mild solution, 其积分形式由半群 $e^{t\mathbf{\Delta}}$ 给出。有限维约化问题则以某个周期解 $\widehat u(t)$ 为基态, 研究扰动 $w=u-\widehat u$ 的长期演化。

这一问题有两层分析动机。首先, 周期外力下的周期响应是非自治耗散系统长期行为的自然对象; 在一般动力系统中, 其存在、唯一性并不能仅由外力周期性自动推出, 还需要线性耗散与非线性小性相配合。其次, 惯性流形若存在, 可将无限维演化约化为有限维不变图, 并通过指数跟踪描述渐近动力学。不过, Navier-Stokes 非线性含有一阶散度作用, 惯性流形所需的谱隙条件通常比仅证明耗散性或吸引子存在更强, 这也是经典 Navier-Stokes 惯性流形问题长期困难的来源之一。

本文的具体空白是: 在球面几何和 Ebin-Marsden 黏性算子下, 先在 $$L^p$$ 向量场框架中建立小周期外力对应的周期 mild solution, 再利用该算子的显式特征值分布, 对周期解附近的截断扰动方程应用惯性流形理论。作者并未声称对任意大小外力、所有维数或未截断的完整 Navier-Stokes 流都构造出全局惯性流形; 主要结论依赖小外力、正则性和特定谱隙条件, 并首先针对截断方程成立。

2. 主要定理或主要结果

周期解定理 (定理 2.1)。设 $f\in C_b(\mathbb{R},L^{p/2}(\Gamma(T\mathbb{S}^d\otimes T\mathbb{S}^d)))$ 关于时间为 $$T$$ -周期。若其范数充分小, 则投影后的 Navier-Stokes 方程存在一个 $$T$$ -周期 mild solution $\widehat u\in C_b(\mathbb{R},L^p_\sigma(\Gamma(T\mathbb{S}^d)))$ , 且在某个 $$C_b$$ 小球内唯一。定理陈述未在摘录中明确写出 $$p$$ 的范围; 证明引入 $\theta=\frac d2(\frac1p+\frac1d)$ 并要求 $\theta<1$ , 即 $$p>d$$ , 因而该限制是证明实际使用的条件。

证明中线性周期解满足估计

\|\widehat u\|_{C_b(\mathbb{R},L^p_\sigma)} \leq \widetilde M\|f\|_{C_b(\mathbb{R},L^{p/2})}, \qquad \widetilde M=\widetilde C\,\beta^{\frac{d-p}{2p}}\Gamma(1-\theta)+\frac1\beta, \quad \theta=\frac d2\left(\frac1p+\frac1d\right)<1.

这里常数还依赖半群估计中的参数和维数。非线性固定点映射在半径 $\rho$ 的周期函数球内满足映射估计 $\|\mathcal T(v)\|_{C_b}\leq\widetilde M(\rho^2+\|f\|_{C_b})$ , 以及 Lipschitz 估计 $\|\mathcal T(v_1)-\mathcal T(v_2)\|_{C_b}\leq2\widetilde M\rho\|v_1-v_2\|_{C_b}$ ; 选择 $\rho$ 与外力足够小即可得到局部唯一性。这里的唯一性是所述小球内唯一, 不是文中证明的所有可能周期解之间的全局唯一性。

周期解附近的惯性流形 (定理 2.3)。设 $$d>2$$ , $f\in C_b(\mathbb{R},H^{1,1}(\Gamma(T\mathbb{S}^d\otimes T\mathbb{S}^d)))$ 为 $$T$$ -周期外力, 且其范数充分小, 使定理 2.1 所得周期解满足 $\widehat u\in C_b(\mathbb{R},H^1)$ . 对扰动 $w=u-\widehat u$ , 令 $A=-\mathbf{\Delta}$ , 则

\partial_tw+Aw=F(w),\qquad F(w)=-P\operatorname{div}\big[w\otimes w+w\otimes\widehat u+\widehat u\otimes w\big].

以 $$H^1$$ 范数作截断 $F_R(w)=\chi_R(\|w\|_{H^1})F(w)$ , 其中 $\chi_R=1$ 于 $\|w\|_{H^1}\leq R$ , 且 $\chi_R=0$ 于 $\|w\|_{H^1}\geq2R$ . 若某个谱隙满足

\sqrt{\lambda_{N+1}}-\sqrt{\lambda_N}>L_R,

其中 $$L_R$$ 是 $F_R:H^1\to H^{-1}$ 的全局 Lipschitz 常数, 则截断扰动方程存在 $$N$$ 维惯性流形。它可表示为

\mathcal M_R=\{w_++\Phi_R(w_+):w_+\in P_NH\}, \qquad H=L^2_\sigma(\Gamma(T\mathbb{S}^d)),

其中 $$P_N$$ 投影到前 $$N$$ 个谱模态, $\Phi_R:P_NH\to(I-P_N)H$ 为 Lipschitz 映射; 对截断方程具有正向不变性和指数跟踪性质。

球面上 $$A$$ 的特征值由

\lambda_k=k^2+(k-1)(d-1),\qquad k=1,2,\ldots

给出。论文据此写出谱隙表达式

$$ \sqrt{\lambda_{N+1}}-\sqrt{\lambda_N}

\frac{2N+d}{ \sqrt{(N+1)^2+N(d-1)}+ \sqrt{N^2+(N-1)(d-1)}}. $$

因此是否存在可用的 $$N$$ 取决于该显式谱隙能否超过由截断半径、周期解 $$H^1$$ 范数及估计常数共同决定的 $$L_R$$ ; 定理是条件式结论, 并非对任意参数自动成立。

与原方程的关系。截断与原扰动方程仅在 $\|w\|_{H^1}\leq R$ 区域内一致。因此, 截断惯性流形中留在该区域的轨道同时是原方程的轨道; 若另有包含 $$w=0$$ 的正向不变邻域 $U\subset B_R$ , 则 $\mathcal M_R\cap U$ 可给出原方程在该邻域内的有限维约化。摘录未证明这样的 $$U$$ 对定理所涉及的所有轨道均存在, 故不能把截断方程的全局指数跟踪直接表述成未截断 Navier-Stokes 方程的全局惯性流形。

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

证明首先把压力约束转化为投影后的半线性演化方程。这个步骤并非只为改写记号: 它把速度限制在散度自由空间 $L^p_\sigma$ 或 $L^2_\sigma$ 中, 使线性生成元与非线性项都能在同一相空间框架下估计, 并利用 $P\mathbf{\Delta}=\mathbf{\Delta}$ 的性质处理黏性项。球面紧致性及 Ebin-Marsden 算子的正谱则提供线性半群的指数衰减。

周期解构造的关键是处理外力项中的张量散度。作者使用半群平滑估计, 其形式为

\|e^{t\mathbf{\Delta}}\operatorname{div}f\|_{L^q} \lesssim [h_d(t)]^{\frac1p-\frac1q+\frac1d}e^{-\beta t}\|f\|_{L^p}, \qquad h_d(t)=C\max(t^{-d/2},1).

对 $$q=p$$ 且张量外力取 $L^{p/2}$ 时, Duhamel 积分在 $$t=0$$ 附近出现可积性要求。证明中该要求化为 $\theta=\frac d2(\frac1p+\frac1d)<1$ , 即 $$p>d$$ 。这解释了为何周期解部分选择较高的 $$L^p$$ 指数: 非线性乘积 $u\otimes u$ 属于 $L^{p/2}$ , 而散度经热半群平滑后必须能在时间上积分。

对于线性周期问题, 作者采用 Serrin 型构造。先从任意初值出发写出受迫线性 mild solution, 利用时间周期性比较相隔 $$nT$$ 的解, 再借助指数衰减证明离散序列在相空间中为 Cauchy 列, 从而得到周期轨道所需的初值。之后由半群衰减证明周期解唯一。其核心不是单纯把周期外力代入 Duhamel 公式, 而是用稳定半群消除初值差异, 将长时间演化的极限转化为周期初值。

非线性周期解部分把线性周期解算子作用于 $-v\otimes v+f$ , 在周期函数空间的闭球上构造映射。乘积估计给出二次大小 $O(\rho^2)$ , 差分恒等式

v_1\otimes v_1-v_2\otimes v_2 =(v_1-v_2)\otimes v_1+v_2\otimes(v_1-v_2)

则给出 Lipschitz 常数 $O(\rho)$ . 小半径使映射压回原球, 小外力使球内映射成为压缩。这一论证得到的是小数据球中的周期 mild solution, 其适用范围与全局弱解或强解理论不同。

惯性流形部分的主要障碍是原非线性并非全局 Lipschitz: 在 $$H^1$$ 范数下, 对流项的 Lipschitz 界随 $$w$$ 增长。作者先用 $$d>2$$ 时的 Sobolev 嵌入 $H^1\hookrightarrow L^{2d/(d-2)}$ 得到

\|P\operatorname{div}(v\otimes z)\|_{H^{-1}} \leq C\|v\|_{H^1}\|z\|_{H^1},

进而导出局部估计

\|F(w_1)-F(w_2)\|_{H^{-1}} \leq C\big(\|w_1\|_{H^1}+\|w_2\|_{H^1}+\|\widehat u\|_{H^1}\big) \|w_1-w_2\|_{H^1}.

再以径向截断函数把局部 Lipschitz 非线性改造成 $H^1\to H^{-1}$ 的全局 Lipschitz 映射。常数 $$L_R$$ 显式依赖 $$R$$ 和 $K=\|\widehat u\|_{C_b(H^1)}$ , 论文给出的估计具有

L_R=C(4R+K)+\frac{C_\chi}{R}C(2R+K)^2

的形式。截断不是无代价的技术装饰: 它使抽象惯性流形定理可用, 但结论首先属于截断系统, 回到原系统时必须额外限制在二者相同的 $$H^1$$ 区域。

最后, 作者将问题置于 Zelik 的惯性流形定理框架。相空间取 $H=L^2_\sigma$ , 线性算子 $A=-\mathbf{\Delta}$ 为正、自伴且具有紧逆, 非线性属于 $H^1=D(A^{1/2})$ 到 $H^{-1}=D(A^{-1/2})$ 的全局 Lipschitz 映射, 即该抽象框架中相应的负阶正则情形。该情形要求相邻特征值平方根之间的间隔大于 Lipschitz 常数, 而不是仅要求普通特征值差足够大。利用球面上已知的显式特征值, 便将抽象谱隙条件化为定理 2.3 的公式。真正的几何输入是 Ebin-Marsden 算子的谱分布; 真正的非线性处理是 $H^1\to H^{-1}$ 局部估计及截断; 真正的有限维约化则来自谱隙定理。文中还通过能量恒等式说明方程耗散, 但惯性流形结论的直接依据仍是截断后 Lipschitz 性与谱隙, 不能把耗散性本身误认为谱隙条件的替代。

4. 与之前工作的比较

本文把两条既有理论线索结合到球面上的不可压缩 Navier-Stokes 模型中。惯性流形的经典谱隙思想可追溯到 Foias、Sell、Temam 等人的工作 [9]; Nguyen [16,17] 将惯性流形结论推广到更一般的函数空间或演化方程框架; Zelik [28, Theorem 2.15] 提供了本文直接使用的抽象定理。本文的推进不在于建立新的抽象惯性流形定理, 而在于为球面 Ebin-Marsden 算子计算谱隙, 并将周期基态附近的 Navier-Stokes 对流项放入 $H^1\to H^{-1}$ 的截断 Lipschitz 框架。

与作者此前关于球面扩散方程的工作 [18] 相比, 本文的非线性结构更复杂。扩散方程的线性部分是 Hodge-Laplacian, 而这里的黏性算子是由应力张量定义的 Ebin-Marsden Laplacian, 并出现 $P\operatorname{div}(u\otimes u)$ 对流项。因此除了利用球面谱, 还需先建立 Navier-Stokes 周期解, 再围绕周期解展开并控制二次非线性。周期解存在性的方法沿用 Serrin [22] 的周期解思路, 但被组织为 $$L^p$$ 半群估计与周期函数空间中的压缩映射。线性半群估计引用 Pierfelice [19], 并非本文新建的一般流形热核理论。

与一般耗散 PDE 的惯性流形结论相比, 本文的谱条件具有模型专属性。球面谱为 $\lambda_k=k^2+(k-1)(d-1)$ , 故可将抽象条件写成显式的相邻平方根谱隙。这个表达式使读者能直接检验给定维数、模态编号和非线性 Lipschitz 常数下条件是否成立。它并不意味着谱隙对任意 $$N,d$$ 都足够大: 当 $$N$$ 增大时, $\sqrt{\lambda_{N+1}}-\sqrt{\lambda_N}$ 趋于 $$1$$ , 因而若 $$L_R$$ 不小于可用谱隙, 该定理不能给出结论。并且 $$L_R$$ 依赖截断尺度及周期解的 $$H^1$$ 范数, 所以“显式谱”并未自动解决参数匹配问题。

论文引言把 Navier-Stokes 惯性流形问题称为重要开放问题, 并提及 Kwak [12] 关于二维 Navier-Stokes 惯性形式的工作。本文应与此类一般问题作谨慎区分: 它证明的是满足谱隙条件的截断扰动方程存在惯性流形, 并说明在与原方程一致的局部区域内可得到有限维约化; 它没有证明任意二维或高维 Navier-Stokes 方程均存在全局惯性流形, 也没有消除一般谱隙问题。与一般全局结论相比, 这里的代价是小外力以保证所需周期基态、 $$d>2$$ 及 $$H^1$$ 正则性假设、对非线性的 $$H^1$$ 截断, 以及显式谱隙大于 $$L_R$$ 的条件。

假设与结论的边界还需注意。定理 2.1 的文字陈述没有明确列出 $$p>d$$ , 但证明中的时间奇点可积性明确要求该条件; 因此它是从证明可确认的实际限制, 摘录未说明是否存在其他方法能放宽。定理 2.3 对外力采用 $H^{1,1}$ 类并要求充分小, 同时只对截断方程作全局惯性流形结论。作者指出若有 $U\subset B_R$ 的正向不变邻域, 截断流形在 $$U$$ 中对应原方程的局部有限维约化; 但从提供内容中无法确认作者是否证明了这样一个邻域对所讨论系统普遍存在。因此不应把结果表述成原 Navier-Stokes 方程所有有界轨道均被一个全局惯性流形指数吸引。

就周期性而言, 本文与 Serrin [22] 的联系在于周期受迫方程和稳定性驱动的周期初值构造; 本文进一步将此思路置于球面切向量场、Helmholtz 投影及 $$L^p$$ 半群平滑框架中, 并以小外力压缩论证处理二次对流项。就流形几何而言, Ebin-Marsden [8] 提供了应力算子的背景, 但本文的分析结论依赖其在球面上的明确谱。作者未在摘录中给出与既有工作逐项比较的最优维数范围、最佳小性阈值或可实现的具体 $$N$$ ; 这些量不能仅凭现有内容进一步量化。整体上, 本文的推进是一个受条件约束的几何模型结果, 而不是对 Navier-Stokes 惯性流形普遍存在性问题的彻底解决。

11. 具有真空的三维可压缩 Navier-Stokes/Cahn-Hilliard 系统的局部存在性与唯一性

Local Existence and Uniqueness for the 3D Compressible Navier-Stokes/Cahn-Hilliard System with Vacuum

作者: Yinghua Li, Jingxue Yin, Haoran Zheng

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11193v1

摘要翻译: 我们证明了在 $\mathbb{R}^3$ 中有界光滑区域内，可压缩 Navier-Stokes/Cahn-Hilliard 系统强解的局部存在性与唯一性，并允许初始密度取零。初始数据满足动量方程和相位方程所需的适当正则性与相容性条件。主要困难源于动量方程与密度加权相位方程同时退化，这使得构造相容的正密度逼近以及一致的初始估计变得复杂。我们通过在化学关系中引入一个与时间无关的余项克服了这一困难。该余项精确保持相位相容性，使初始相位场保持不变，并且当逼近参数趋于零时在 $$H^1$$ 中趋于零。对于每个正密度逼近，我们利用半离散 Galerkin 格式构造局部强解；该格式仅对相位变量进行离散，同时保留完整的输运方程和动量方程。随后，我们导出不依赖于密度下界的先验估计，由此得到一个共同的存在时间，并得以取真空极限。我们通过使用一种修正的差值能量证明唯一性，该能量考虑了密度与化学势之间的耦合。据我们所知，这是关于初始真空情形下三维可压缩 Navier-Stokes/Cahn-Hilliard 系统的首个局部适定性结果。

Comment: 无

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

1. 研究对象和背景

本文研究三维有界光滑连通区域 $\Omega\subset\mathbb{R}^3$ 上的可压缩 Navier-Stokes/Cahn-Hilliard 耦合系统, 重点是初始密度允许在某些区域为零时强解的局部适定性。未知量为密度 $\rho\geq 0$ 、速度 $$u$$ 、相场变量 $\varphi$ 和化学势 $\mu$ 。采用连续性方程将动量方程改写为物质导数形式后, 模型为

\begin{cases} \rho_t+\operatorname{div}(\rho u)=0,\\ \rho(u_t+u\cdot\nabla u)-\mathcal{L}u+\nabla(\rho^\gamma)=-(\Delta\varphi)\nabla\varphi,\\ \rho(\varphi_t+u\cdot\nabla\varphi)=\Delta\mu,\\ \rho\mu=-\Delta\varphi+\rho\Psi'(\varphi), \end{cases} \qquad (x,t)\in\Omega\times(0,T),

其中 $\gamma>1$ , $\Psi(s)=\frac14(s^2-1)^2$ , $\mathcal{L}u=\lambda\Delta u+(\lambda+\eta)\nabla\operatorname{div}u$ , 黏性系数满足文中给定的物理条件 $\lambda>0$ , $2\lambda+3\eta\geq0$ 。边界条件为 $$u=0$$ , $\partial_n\varphi=\partial_n\mu=0$ , 初始数据通过 $(\rho,\rho u,\rho\varphi)|_{t=0}=(\rho_0,\rho_0u_0,\rho_0\varphi_0)$ 给定。相场模型以弥散界面描述两相流, 允许界面发生合并、断裂等拓扑变化; 相比追踪尖锐界面的模型, 它避免了显式处理复杂界面几何, 但其可压缩耦合和退化结构给严格适定性分析带来困难。

真空使动量方程的惯性项退化, 无法直接除以 $\rho$ 得到 $$u_t$$ 的无权控制; 相场方程同样只控制密度加权的物质导数 $\rho(\varphi_t+u\cdot\nabla\varphi)$ 。化学关系也不能在真空集上通过除以 $\rho$ 求出 $\mu$ 。在 $\rho=0$ 的区域, 方程形式上要求 $\Delta\varphi=0$ 、 $\Delta\mu=0$ , 却不直接给出相场的演化律。因此, 单纯将初始密度正则化为正值, 并不能保证近似解所需的初始相场兼容条件和一致初值估计。

这一问题位于可压缩两相流分析与含真空退化方程理论的交叉处。已有工作包括不可压缩 Model H 及非均匀混合物模型的适定性研究, 以及可压缩 NSCH 模型的局部强解、全局弱解等结果; 但本文指出, 三维可压缩 NSCH 系统允许初始真空时的局部强适定性此前仍未解决。建立这一局部理论不仅补足相应模型的数学适定性缺口, 也为进一步研究真空区域演化及界面拓扑变化提供强解框架; 本文自身并不证明有限时间破裂或真空形成等动力学结论。

2. 主要定理或主要结果

主要结论是定理 1.1。设 $\Omega\subset\mathbb{R}^3$ 为有界光滑连通区域, $$3<q<6$$ , 且初始数据满足

\rho_0\geq0,\qquad 0<\int_\Omega\rho_0\,dx, \qquad \rho_0\in W^{1,q}(\Omega),\quad u_0\in H^2(\Omega)\cap H_0^1(\Omega),\quad \varphi_0,\mu_0\in H^3(\Omega).

这里速度记为 $$u_0$$ 。此外, 存在 $g_0\in L^2(\Omega)$ 、 $h_0\in H^1(\Omega)$ , 使初值满足动量和相场兼容条件

\mathcal{L}u_0-\nabla(\rho_0^\gamma)-(\Delta\varphi_0)\nabla\varphi_0 =\sqrt{\rho_0}\,g_0, \qquad \Delta\mu_0=\rho_0h_0, \qquad \int_\Omega\rho_0h_0\,dx=0,

以及边界和化学关系

u_0|_{\partial\Omega}=0,\qquad \partial_n\varphi_0=\partial_n\mu_0=0,\qquad \rho_0\mu_0=-\Delta\varphi_0+\rho_0\Psi'(\varphi_0).

则存在 $$T_0>0$$ , 系统有唯一强解 $(\rho,u,\varphi,\mu)$ 于 $\Omega\times(0,T_0)$ , 且 $\rho\geq0$ 几乎处处。解的正则性为

\begin{aligned} &\rho\in L^\infty(0,T_0;W^{1,q}),\qquad \rho_t\in L^\infty(0,T_0;L^2),\\ &u\in L^\infty(0,T_0;H^2\cap H_0^1)\cap L^2(0,T_0;W^{2,q}),\\ &\sqrt{\rho}\,u_t\in L^\infty(0,T_0;L^2),\qquad u_t\in L^2(0,T_0;H_0^1),\\ &\varphi\in L^\infty(0,T_0;H^3),\qquad \varphi_t\in L^\infty(0,T_0;H^1),\\ &\sqrt{\rho}\,\varphi_t\in L^\infty(0,T_0;L^2),\qquad \mu\in L^\infty(0,T_0;H^2),\qquad \mu_t\in L^2(0,T_0;H^1). \end{aligned}

并有连续性

\rho\in C([0,T_0];C(\overline\Omega)),\quad u\in C([0,T_0];H_0^1),\quad \varphi\in C([0,T_0];H^2),\quad \mu\in C([0,T_0];H^1),

其中速度项为 $u\in C([0,T_0];H_0^1)$ 。方程几乎处处成立。加权时间导数而非无权时间导数属于最高阶估计的特点, 与真空下惯性项和相场演化项的退化相对应。定理未要求 $\rho_0$ 有正下界, 仅要求总质量为正。

证明先对密度作正值近似并构造局部解, 再证明估计不依赖近似密度的正下界, 据此得到共同存在时间并令近似参数趋于零。正密度近似解的定理 3.1 给出局部强解; 其初始局部存在时间允许依赖密度下界。命题 4.1 给出消除这一依赖所需的统一先验估计: 对文中定义的控制量 $\Phi(t)$ 和耗散量 $$D(t)$$ , 有

\Phi(t)+\int_0^tD(s)\,ds \leq M\left(M_0+\int_0^t M(\Phi(s))\,ds\right),

其中 $$M$$ 为与近似参数及密度正下界无关的非降局部有界函数。由小时间闭合和延拓论证获得共同寿命。唯一性通过适应密度与化学势耦合的修正差分能量证明; 摘录未给出该差分能量的完整表达式及精细系数, 因而不能进一步断言其具体不等式形式。

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

核心困难不只是退化动量方程中的 $\rho u_t$ , 还包括相场演化方程中的 $\rho\varphi_t$ 与化学关系同时发生退化。正则化密度而保持 $\varphi_0$ 不变时, 若直接取 $\mu_0^\delta=\Psi'(\varphi_0)-(\rho_0^\delta)^{-1}\Delta\varphi_0$ , 初始相场兼容量可能失去关于 $\delta$ 的一致控制。本文的关键构造是优先严格保留相场兼容性, 把化学关系中的误差吸收到一个时间无关残差中。

具体地, 取

\rho_0^\delta=(\rho_0^\gamma+\delta)^{1/\gamma},

则 $\rho_0^\delta>0$ , $\rho_0^\delta\to\rho_0$ 于 $W^{1,q}$ , 且 $(\rho_0^\delta)^\gamma=\rho_0^\gamma+\delta$ , 因而压力梯度不变。通过常数修正 $h_0^\delta=h_0-c^\delta$ , 使 $\int_\Omega\rho_0^\delta h_0^\delta=0$ ; 再解 Neumann 问题

\Delta\mu_0^\delta=\rho_0^\delta h_0^\delta, \qquad \partial_n\mu_0^\delta=0,

并以常数调整其加权平均, 得到 $\mu_0^\delta\to\mu_0$ 于 $$H^3$$ 。定义

R^\delta=\rho_0^\delta\mu_0^\delta+\Delta\varphi_0- \rho_0^\delta\Psi'(\varphi_0).

此时 $\int_\Omega R^\delta=0$ , $R^\delta\to0$ 于 $$H^1$$ , 而近似化学关系写成

\rho^\delta\mu^\delta=-\Delta\varphi^\delta+ \rho^\delta\Psi'(\varphi^\delta)+R^\delta.

残差固定于时间, 因而对化学关系作时间微分时不会产生 $R_t^\delta$ 项。零均值则允许用 Poincare 不等式控制能量修正 $\int R^\delta\varphi^\delta$ 。由动量方程、相场方程和化学关系配合得到的能量恒等式为

E(t)+\int_0^t\!\int_\Omega \bigl(\lambda|\nabla u|^2+(\lambda+\eta)|\operatorname{div}u|^2+|\nabla\mu|^2\bigr)\,dx\,ds =E(0)-\int_0^t\!\int_\Omega R\,u\cdot\nabla\varphi\,dx\,ds.

残差项由黏性耗散、 $\|R\|_{H^1}$ 和 Gronwall 不等式控制, 得到不依赖密度正下界的低阶能量估计。

构造正密度近似系统强解时, 作者仅将相场变量 $(\varphi,\mu)$ 投影到 Neumann 谱空间, 不对密度输运方程和动量方程作空间投影。这样保留了密度沿特征线的表示以及速度方程的完整椭圆估计, 是控制 $\rho$ 的 $W^{1,q}$ 范数和 $$u$$ 的 $W^{2,q}$ 范数的重要安排。代价是离散化学关系只对谱空间测试函数成立, 不能作为逐点恒等式使用。为保留动量方程与相场方程之间毛细耦合的抵消结构, 离散动量方程采用相容力项

[\rho_m\mu_m-\rho_m\Psi'(\varphi_m)-R_m]\nabla\varphi_m,

并使用加权投影构造可用的化学势测试函数, 使耦合估计在谱维数 $$m$$ 上一致。证明分两层极限: 先固定 $\delta>0$ , 令 $m\to\infty$ 得到正密度扰动系统的强解; 随后建立对密度下界一致的估计, 取 $\delta\to0$ 恢复原系统。密度加权的时间导数估计与相场梯度估计共同提供共同寿命和极限所需紧性。

估计闭合还使用了不要求点态正下界的加权 Poincare 型引理: 若 $\rho\geq0$ , 总质量有正下界且 $\int\rho^\gamma$ 有界, 则

\|v\|_{L^2}^2\leq C\left(\|\nabla v\|_{L^2}^2+ \left(\int_\Omega\rho|v|\,dx\right)^2\right).

该引理将非退化梯度控制与密度加权平均结合, 补偿真空处缺失的密度控制。唯一性方面, 摘录仅说明作者采用修正差分能量, 使其反映密度和化学势之间的耦合, 并借助黏性耗散及相场—化学势的椭圆耦合控制真空区域的差异; 差分能量具体构造和逐项估计从提供内容中无法确认。

4. 与之前工作的比较

本文明确将结果定位为三维可压缩 NSCH 系统含初始真空时的首个局部强解存在与唯一性结果。比较对象和差异主要有以下几方面。

第一, 可压缩 NSCH 的既有强解理论。该系统源于 Abels 与 Feireisl 提出的可压缩模型。Kotschote 与 Zacher 对 Lowengrub–Truskinovsky 框架下的可压缩 NSCH 模型证明了局部强解存在唯一性, 但本文强调真空情形在三维此前未解决。与正密度局部理论相比, 本文并非只把初值条件形式上放宽到 $\rho_0\geq0$ : 其证明须额外构造保持相场兼容性的正密度逼近, 并取得与密度正下界无关的估计。本文正密度近似问题的局部存在时间仍可依赖下界, 只有统一先验估计和延拓论证完成后, 才得到真空极限的共同寿命。

第二, 与含真空的可压缩 Navier-Stokes 理论的关系。Salvi 与 Straškraba 以及后续相关工作发展了含真空可压缩流的兼容条件方法, 通过类似

\mathcal{L}u_0-\nabla(\rho_0^\gamma)- (\Delta\varphi_0)\nabla\varphi_0=\sqrt{\rho_0}\,g_0

的条件控制初始加速度型量。本文保留这一密度平方根加权的动量兼容结构, 但系统还含有密度加权相场演化和退化化学关系, 因而需要另外规定 $\Delta\mu_0=\rho_0h_0$ 、 $\int\rho_0h_0=0$ 并处理化学关系的近似不相容。相较单一流体方程的真空理论, 新增难点及技术代价集中在相场初值兼容性的保留和残差控制上。

第三, 与低维含真空结果的对照。Ding、Li、Yan 与 Zheng 已在一维建立允许真空的强解全局存在唯一性。本文推进到三维, 但结论是局部而非全局; 这与三维速度的椭圆正则性、相场高阶导数及非线性耦合估计所需的短时间闭合相一致。摘录没有给出一维定理的完整假设和正则性细节, 因而不能据此逐项比较两篇工作的数据空间或定量寿命。作者所称“首个”限于三维可压缩 NSCH 含初始真空的局部适定性, 不应扩大解释为所有可压缩两相流或所有维数的首次结果。

第四, 与不可压缩及其他可压缩两相流研究的范围差异。不可压缩 Model H、非均匀不可压缩混合物以及非匹配密度、准不可压缩模型已有多类适定性研究; 其约束条件、密度演化机制和退化结构与本文的可压缩压力律 $p=\rho^\gamma$ 不同, 不能直接替代本问题的真空分析。Elbar 与 Poulain 对含摩擦效应的广义可压缩 NSCH 模型证明了全局弱解, 但弱解存在与本文要求的局部强解、唯一性是不同结论, 且其模型和简化假设也不同。本文的强解正则性使方程有较强的点态分析意义, 代价是要求 $\rho_0\in W^{1,q}$ 、 $$3<q<6$$ , $u_0\in H^2\cap H_0^1$ , $\varphi_0,\mu_0\in H^3$ 及相应兼容条件, 并只得到短时间结果。

中文标题: 大数据玻尔兹曼动力学的一个动理学集中判据

摘要翻译: 我们为三维环面上的硬势截断玻尔兹曼方程建立了一套真正非微扰的整体动力学条件理论。我们证明，任何满足

arXiv ID: 2610.12224v1

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

摘要: We study normalized solutions to the 1-Laplace equation

-\mbox{div}\left(\frac{Du}{|Du|}\right)+λ\frac{u}{|u|}=f(u)+|u|^{1^*-2}u,\quad\mbox{in}~ \mathbb{R}^N

subject to the constraint $\int_{\mathbb{R}^N}|u| \, \mbox{d}x=m$ , where $N\geq2$ , $1^*=\frac{N}{N-1}$ is the critical Sobolev exponent for the embedding from BV into $$L^p$$ , $λ, m\in\mathbb{R}^+$ and $f:\mathbb{R}\to\mathbb{R}$ is a continuous nonlinear perturbation. We first establish a Pohozaev-type identity for the equation and use it to study the associated critical energy, and then prove the existence of normalized solutions via nonsmooth critical point theory. A key feature of our approach is the proof of the existence of a Palais-Smale sequence for a Lipschitz continuous functional under a Lipschitz continuous constraint. This is significantly different in methodology from previous problems with $$C^2$$ constraint.

8. Mueller–Ho 猜想的一个完整证明

A Complete Proof of Mueller–Ho Conjecture

作者: Senping Luo, Juncheng Wei

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

发布日期: 2026-10-08

arXiv ID: 2610.12203v1

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

摘要: For $$s>0$$ , and $z\in\mathbb H=\{z=x+iy:y>0\}$ , define $θ(s;z)=\sum_{m,n\in\mathbb Z}e^{-πs\big(m^2y+\frac{(mx-n)^2}{y}\big)}$ and $J(z;a,b)=\sum_{m,n\in\mathbb Z}e^{-π\big(m^2y+\frac{(mx-n)^2}{y}\big)}\cos\bigl(2π(ma+nb)\bigr)$ for the classical and shifted theta functions (Gaussian lattice sums), respectively. We prove that, up to the modular group, there exist three thresholds $$0<α_a<α_b<α_c<1$$ such that \begin{equation}\begin{aligned}\nonumber \min_{z\in\mathbb H,,(a,b)\in\mathbb R^2}\Big(θ(1;z)+αJ(z;a,b)\Big)= \begin{cases} ;\big(e^{iπ/{3}};1/3,1/3\big), &\hbox{if};; α\in[0,α_a),\ ;\big(e^{iπ/{3}};1/3,1/3\big);\hbox{or};\big(e^{i{\varphi_{α_a}}};1/2,1/2\big), &\hbox{if};; α=α_a,\ ;\big(e^{i{\varphi_α}};1/2,1/2\big),;\varphi_α\in(\varphi_{α_a},\fracπ{2}),;; &\hbox{if};; α\in(α_a,α_b),\ ;\big(i;1/2,1/2\big),; &\hbox{if};; α\in[α_b,α_c],\ ;\big(iy_α;1/2,1/2\big),; y_α\in(1,\sqrt3],;;y_1=\sqrt3,;;&\hbox{if};; α\in(α_c,1], \end{cases} \end{aligned}\end{equation} where the complex variable $$z$$ and vector $$(a,b)$$ , represent the total vortex shapes and relative positions of the two-component Bose gas, respectively. Consequently, this completely proves the conjecture of Mueller and Ho~\cite{Mue2002} (2002) arising in Bose–Einstein condensates.

9. 关于尖锐奇异 Moser-Trudinger 型不等式及其在 Heisenberg 群中的零质量 $$(p,Q)$$ -Laplace 次椭圆方程中的应用

On sharp singular Moser-Trudinger type inequalities and applications to zero mass $$(p,Q)$$ -Laplace subelliptic equations in the Heisenberg group

作者: Giovany M. Figueiredo, Deepak Kumar Mahanta, Abhishek Sarkar

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.12171v1

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

摘要: This article establishes a sharp singular Moser-Trudinger type inequality in a new function space and explores a concentration-compactness principle in the Heisenberg group, inspired by P.\textcolor{blue}{-}L. Lions. We analyze the equivalence of sharp critical and subcritical singular Moser-Trudinger inequalities, focusing on their asymptotic behavior and connections between their suprema. Additionally, we apply the mountain pass theorem to demonstrate the existence of positive ground state solutions for zero mass $$(p, Q)$$ -Laplace subelliptic equations with singular exponential nonlinearity for the following equation:

-Δ_{H,p} u-Δ_{H,Q} u=\frac{f(ξ,u)}{r(ξ)^\vartheta}\quad\text{in}\quad \mathbb{H}^n,

with $$1<p<Q$$ , $\vartheta\in(0,Q)$ , $$Q=2n+2$$ , the function $r(\cdot)$ is called the Korányi norm in $\mathbb{H}^n$ and the nonlinearity $f:\mathbb{H}^n\times \mathbb{R}\to \mathbb{R}$ is a Carathéodory function, which behaves like $\exp{(α|s|^{\frac{Q}{Q-1}})}$ as $|s|\to~+\infty$ for some $$α>0$$ .

10. 平坦边界片段处蒙日–安培方程斜率的有限性（与无穷性）

(In)finiteness of slopes for Monge-Ampère equations at flat boundary pieces

作者: Xin Nie

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.12165v1

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

摘要: On any bounded convex domain $Ω\subset\mathbb{R}^n$ with a $$d$$ -dimensional flat boundary piece $F\subset\partialΩ$ , we consider convex solutions with zero boundary values to the Monge-Ampère equations

\det\mathsf{D}^2 u= \mathrm{dist}(\,\cdot\,,\mathrm{Aff}(F))^α,\quad\det\mathsf{D}^2 u=\mathrm{dist}(\,\cdot\,,\partialΩ)^α,\quad \det\mathsf{D}^2 u=(-u)^α,

where $\mathrm{dist}$ stands for Euclidean distance and $\mathrm{Aff}(F)$ is the affine hull of $$F$$ . We show that the threshold of the exponent $α\in\mathbb{R}$ for $$u$$ to have infinite slope at $$F$$ is $α\leq 2d-n$ . For the first two equations, we also show that no solution exists when $α\leq 2d-2n$ . Moreover, when $$Ω$$ satisfies the ``exterior cone condition with a $$d$$ -dimensional ridge’’ at $$F$$ , both thresholds are sharp for the first equation, and the infinite-slope threshold is sharp for the last equation.

11. 受控反应扩散模型中行波常微分方程的不变流形与横截性

Invariant manifolds and transversality for a traveling-wave ODE in a controlled reaction-diffusion model

作者: Stefano Bianchini, Chiara Trifone

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.12105v1

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

摘要: We study the parameter dependence and transversality properties of trajectories of the controlled ODE

U_x = P, \qquad P_x = - f(U) - βP + \tilde α(x)U,

arising from traveling-wave solutions of a bistable reaction-diffusion equation with control. Optimal profiles minimizing the $$L^1$$ -norm of the control $\tilde α$ are determined by the unstable and stable manifolds $$Γ_u$$ , $$Γ_s$$ , the critical curve

P^*(U) = \sqrt{Uf(U)},

and the associated function

F(U) = \frac{dP^*}{dU} + \frac{f(U)}{P^*(U)}.

We establish generic transversality properties for these objects with respect to perturbations of the speed $$β$$ and the nonlinear source $$f$$ , together with quantitative estimates on the first- and second-order dependence of the invariant manifolds on these parameters. We also analyze the loss of regularity at the critical speed $β^{**}$ , where the unstable manifold approaches the strongly stable manifold of the equilibrium $$(U^*,0)$$ . These results provide the ODE ingredients used in the analysis of the structure and regularity of optimal profiles in paper [S. Bianchini and C. Trifone. Traveling profiles and control cost for a PDE describing the evolution of invasive species. 2026. arXiv: 2606.23979 [math.OC]].

12. 具有可测与 Hölder 连续数据的 $$(s,p)$$ -Poisson 方程的梯度 Hölder 估计

Hölder Gradient Estimates for $$(s,p)$$ -Poisson Equations with measurable and Hölder Data

作者: Davide Giovagnoli, David Jesus

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.12012v1

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

摘要: We prove interior $C^{1,α}$ estimates for weak solutions of the fractional $$p$$ -Poisson equation, with $p\geq2$ . For right-hand sides in $$L^q$$ , we obtain the estimate when $$p<(1-d/q)/(1-s)$$ . For $$γ$$ -Hölder continuous right-hand sides, the range is $$p<(1+γ)/(1-s)$$ . Both ranges of parameters are optimal.

13. 横向受限极化子的基态：唯一性与显式极限剖面

Ground States of a Transversely Confined Polaron: Uniqueness and an Explicit Limiting Profile

作者: Shuang Wu, Hongfei Zhang

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11936v1

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

摘要: We study minimizers of the Pekar functional with a transverse harmonic potential, which models a polaron harmonically trapped in the transverse plane but free along the longitudinal direction. For any confinement strength $$Ω>0$$ , minimizers exist and, up to a translation along the $$x_3$$ -direction, are radially decreasing in $$(x_1,x_2)$$ and symmetric decreasing in $$x_3$$ . For small $$Ω>0$$ we prove uniqueness up to these symmetries. For sufficiently large $$Ω>0$$ we derive a three-term asymptotic expansion of the ground state energy and show that, after a suitable rescaling, the minimizers converge in $H^1(\mathbb{R}^3)\cap L^\infty(\mathbb{R}^3)$ to the product of the normalized ground state of a two-dimensional linear harmonic oscillator and that of an effective one-dimensional nonlinear local problem, displaying asymptotic variable separation. This gives, for the transversely confined Pekar model, a rigorous ground-state counterpart of the three-dimensional-to-one-dimensional dimension-reduction phenomenon numerically observed for Coulomb-type Schrödinger equations with anisotropic confining potentials in [W. Z. Bao, H. Y. Jian, N. J. Mauser and Y. Zhang, SIAM J. Appl. Math., 2013]. Moreover, uniqueness up to the same symmetries is also established for all sufficiently large $$Ω>0$$ .

14. 最优范围内的粗椭圆性与 De Giorgi-Nash-Moser 理论

Coarse ellipticity and De Giorgi-Nash-Moser theory in the optimal range

作者: Scott Armstrong, Benny Avelin, Tuomo Kuusi, Aatu Turpeinen

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11879v1

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

摘要: We extend the theory of De Giorgi-Nash-Moser to elliptic equations with symmetric coefficients $\mathbf{a}(x)$ which are possibly degenerate and unbounded but satisfy a coarse ellipticity condition. We prove local upper bounds for weak subsolutions, a weak Harnack inequality for nonnegative supersolutions, and a Harnack inequality for nonnegative solutions. The coarse ellipticity hypothesis requires spatial moments of coarse-grained matrices, suitably discounted and summed across scales, to be finite. In particular, it holds if, for some $α,β\geq0$ and $1<p,q<\infty$ ,

\mathbf{a}\in W^{-α,p}\cap L^1, \quad \mathbf{a}^{-1}\in W^{-β,q}\cap L^1 \quad\text{and}\quad \frac{α+β}{2}+\frac{d-1}{2}\Big(\frac1p+\frac1q\Big)<1.

We show that the coefficient range is sharp, including its boundary, in every dimension $d\geq3$ , for $$α=β=0$$ and for the corresponding Besov-type quasi-norms of negative order when $$α,β>0$$ . For $$α=β=0$$ , it corresponds to the results of Bella and Schäffner [8].

15. 具有散度形式源项的 TV 正则化反问题的唯一性

Uniqueness for TV-regularized inverse problems with source in divergence form

作者: L Baratchart, D P Hardin, C Villalobos-Guillén

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11719v1

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

摘要: Inverse source problems in divergence form consist in finding a vector field with prescribed support S, whose divergence is the Laplacian of some observed potential. In this paper, we assume the unknown vector field is a vector-valued measure, and we study the corresponding least square inversion problems, regularized by penalizing the total variation, without discretizing the criterion nor the unknown. We prove that this problem has a unique minimizer in the case where S is a slender set; i.e., it has zero Lebesgue measure and each connected component of its complement has infinite Lebesgue measure. The proof relies on a refinement of Smirnov’s decomposition of divergence-free measures [62] which is of independent interest.

16. 关于入侵物种根除模型的一些反例

Some counterexamples concerning a model of eradication of invasive species

作者: Stefano Bianchini, Chiara Trifone

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11604v1

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

摘要: In this note we study the regularity properties of the \emph{Effort Function $$E(β)$$ }. This can be defined as the minimal $$L^1$$ -norm of the control $\tilde α(x) \geq 0$ so that the PDE

U_t = ΔU + f(U) - \tilde α(t,x) U, \quad U \in [0,1], %\ \tilde α\geq 0,

admits a traveling profile $$U(x - βt)$$ connecting $$0$$ to $$1$$ . The above PDE models the evolution of an invasive species, where the control $\tilde α(t,x)$ describes the percentage amount of species removal. In the literature some conditions are assumed on the properties of $$f(U)$$ and (consequently) on the effort function $$E(β)$$ , the main ones being that the traveling profile has a simple structure and that the effort function can be used as an anisotropic perimeter to generated a cost function over sets of finite perimeter. This note gives some examples showing that in the interesting cases, i.e. when the PDE has a non trivial dynamics, these assumptions are in general not satisfied. We also show that $$E(β)$$ is in general only $$C^1$$ .

17. 凸体加权周长的连续性与单调性

Continuity and monotonicity of weighted perimeters of convex bodies

作者: Gyula Csató, Davide Giovagnoli

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

发布日期: 2026-10-08

arXiv ID: 2610.11677v1

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

摘要: We investigate weighted perimeters of convex bodies in $\mathbb{R}^n$ . Our main result states that the weighted perimeter is continuous with respect to the Hausdorff metric for every radial weight function. We also establish monotonicity under inclusion under suitable assumptions on the radial weight, and show that these assumptions are sharp. These results are applied to show the existence of minimizers for a shape optimization problem.

18. 单一入射波下无牵引多边形障碍物逆弹性散射的唯一性

Uniqueness in inverse elastic scattering from traction-free polygonal obstacles with a single incoming wave

作者: Guanghui Hu, Vinay Rana, Manmohan Vashisth

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11535v1

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

摘要: In this article, we establish uniqueness in the inverse problem of time-harmonic elastic scattering from a bounded, traction-free obstacle in two dimensions. For a single incident plane wave, it is proved that a connected polygonal obstacle is uniquely determined by the measured far-field pattern. The analysis is based on a reflection principle for the Navier equation under traction-free boundary conditions and unique continuation of elastic fields.

19. 细胞极化的体相–表面反应–扩散系统中脉冲解的存在性

Existence of pulse solutions in a bulk–surface reaction–diffusion system for cell polarization

作者: Riku Watanabe

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11512v1

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

摘要: In this paper, we prove the existence of stationary pulse solutions for a bulk-surface reaction-diffusion system modeling cell polarization in two-dimensional domains. Using a singular perturbation method, we construct pulse solutions whose centers lie near non-degenerate critical points of a geometry-dependent potential expressed in terms of the Neumann Green’s function, as formally predicted in \cite{watanabe2026}. The main analytical difficulty arises from the half-Laplacian induced by the logarithmic singularity of the Green’s function, resulting in algebraically rather than exponentially decaying inner solutions. Our analysis may also serve as a useful guide for applying singular perturbation methods to other bulk-surface type systems.

20. 驯服空间的倍增性、庞加莱不等式与 Gromov–Hausdorff 预紧性

Doubling, Poincaré and Gromov-Hausdorff precompactness for tamed spaces

作者: Mathias Braun, Chiara Rigoni, Christian Rose, David Tewodrose

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

发布日期: 2026-10-08

arXiv ID: 2610.11478v1

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

摘要: We establish local volume doubling and a local $$L^2$$ -Poincaré inequality for metric measure spaces tamed by a measure in the extended Kato class that satisfy the bounded interpolation property. To this end, we construct a bi-Lipschitz time change to a metric measure space satisfying a uniform lower Ricci curvature bound. As an application, we obtain pointed measured Gromov-Hausdorff precompactness for such spaces.

21. 具有局部各向异性和非线性扩散的 Keller-Segel 系统弱解的整体存在性

Global existence of weak solutions in a Keller-Segel system with local anisotropy and nonlinear diffusion

作者: Max Hegenbart

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11462v1

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

摘要: We show global existence of weak solutions to the following system of partial differential equations with nonlinear diffusion in both equations and anisotropic signal production \begin{equation} \begin{cases} u_t=\nabla\cdot((u+1)^{m_1-1}\nabla u)-\nabla\cdot(u\nabla v), \ v_t=\nabla\cdot((v+1)^{m_2-1}\nabla v)+\nabla\cdot(u\nabla v)-v+u, \end{cases} \end{equation} in a smooth bounded domain $Ω\subseteq\mathbb{R}^n$ , $n\in\mathbb{N}$ with nonnegative initial data and homogenuous Neumann boundary conditions. Moreover, we show boundedness of $$u$$ in $L^\infty((0,\infty);\:L^{m_1}(Ω))$ and $$v$$ in $L^\infty(Ω\times(0,\infty))$ . The strategy will be to show global existence and boundedness of classical solutions $(u_\varepsilon,v_\varepsilon)$ to the approximating system \begin{equation} \begin{cases} u_{\varepsilon t}=\nabla\cdot((u_\varepsilon+1)^{m_1-1}\nabla u_\varepsilon) -\nabla\cdot(\frac{u_\varepsilon\nabla v_\varepsilon}{1+\varepsilon\vert\nabla v_\varepsilon\vert}), \ v_{\varepsilon t}=\nabla\cdot((v_\varepsilon+1)^{m_2-1}\nabla v_\varepsilon)+\nabla\cdot(u_\varepsilon\nabla v_\varepsilon)-v_\varepsilon+u_\varepsilon. \end{cases} \end{equation} Passing to the limit $\varepsilon\searrow 0$ , we obtain convergence of weak solutions of the second to weak solutions of the first system. One of the main challenges lie in the proof of weak convergence of $\frac{\nabla v_\varepsilon}{1+\varepsilon\vert\nabla v_\varepsilon\vert}$ to $\nabla v$ in $L^2(Ω\times(0,T))$ for $T\in(0,\infty)$ .

22. n-1 型增广 Hessian 方程的斜向边值问题

Oblique boundary value problems for n-1type augmented Hessian equations

作者: Zhibo Hu, Feida Jiang

类别: math.AP, math.DG

发布日期: 2026-10-08

arXiv ID: 2610.11400v1

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

摘要: In this paper, we study the global regularity of oblique boundary value problems for n-1 type augmented Hessian equations on a bounded domain, without imposing any convexity condition either on the domain or on the matrix-valued function in the n-1 type augmented Hessian equations. We establish a global existence and uniqueness theory for classical elliptic solutions by deriving global a priori estimates up to second-order derivatives. Besides the known applications for n-1 type Monge-Ampere operators in optimal transportation and geometric optics, the general theory here embraces equations raised by Li-Sheng, Some Dirichlet problems arising from conformal geometry. Pac. J. Math. 251, 2011, 337-359 and Guan-Qiu-Yuan, Fully nonlinear elliptic equations for conformal deformations of Chern-Ricci forms. Adv. Math. 343, 2019, 538-566.

23. 重访吉亚昆塔的例子：低维中一类非一致椭圆方程的李维尔性质

Giaquinta’s example revisited: the Liouville property for a class of nonuniformly elliptic equations in low dimensions

作者: Michael Bildhauer, Martin Fuchs

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11369v1

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

摘要: We consider entire solutions $$u$$ : $\mathbb{R}^n \rightarrow \mathbb{R}$ , $n \ge 2$ , of the equation $\operatorname{div}(\nabla f(\nabla u)) = 0$ with convex density $$f$$ : $\mathbb{R}^n \rightarrow \mathbb{R}$ given for example by $f(\nabla u) = \sum_{i=1}^n |\partial_i u|^{p_i}$ with exponents $p_i \ge 2$ including Giaquinta’s example for the choice $p_1 = \dots = p_{n-1} = 2$ , $$p_n = 4$$ . If $n \le 2 + \min\{p_i\}$ holds, then we have the Liouville property: the boundedness of $$u$$ implies its constancy.

24. 任意维数 $N\geq3$ 下 $$Q$$ -曲率型问题在 $\mathbb{S}^N$ 上的刚性

Rigidity of a $$Q$$ -curvature-type problem on $\mathbb{S}^N$ in every dimension $N\geq3$

作者: Changfeng Gui, Yeyao Hu, Tuoxin Li, Juncheng Wei, Zhantong Xie, Zikai Ye

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11338v1

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

摘要: We prove that for every $N\geq 3$ , every solution to the $$Q$$ -curvature-type problem

αP_N u + (N-1)!\left(1-\frac{e^{Nu}}{\int_{\mathbb{S}^N} e^{Nu}dw}\right)=0 \ \ \ \ \ \mbox{on} \ \mathbb{S}^N

is constant, provided that $α\ge\frac{1}{2}$ and $α\not =1$ . The proof consists of a spectral gap estimate and pointwise estimates of the normalized density $\left(\int_{\mathbb{S}^N} e^{Nu}dw\right)^{-1}e^{Nu}$ .

25. 正曲率爱因斯坦流形上格林函数的尖锐 Hessian 不等式与单调性

Sharp Hessian inequalities and monotonicity for Green’s functions of positively curved Einstein manifolds

作者: Cosmin Manea, Jacob Reznikov

类别: math.DG, math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11295v1

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

摘要: We prove a sharp Hessian inequality for the natural comparison Green’s function of an Einstein manifold with positive sectional curvature, which may be viewed as a Green’s function analogue of the Hessian comparison theorem and as a positively-curved, elliptic counterpart to the matrix Li-Yau-Hamilton inequality for the heat equation. We also show that this inequality is closely related to a family of monotonicity formulae, extending previous results of Park to the setting of positive curvature. We further present several geometric applications, such as a sharp comparison inequality for the sum of two distinct Green’s distance functions.

26. $\mathbb{R}^n$ 中奇异 $$Q$$ -曲率方程的唯一性与对称性破缺

Uniqueness and Symmetry Breaking for Singular $$Q$$ -curvature Equations in $\mathbb{R}^n$

作者: Haoyu Li, Tuoxin Li, Juncheng Wei, Wen Yang

类别: math.AP

发布日期: 2026-10-08

arXiv ID: 2610.11056v1

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

摘要: For $n\ge3$ and $$γ>-1$$ , we study normal solutions of \begin{equation*} (-Δ)^{n/2}u=(n-1)!,|x|^{nγ}e^{nu} \quad\hbox{in }\R^n. \end{equation*} We reformulate this problem on the cylinder via the Emden–Fowler transform. We first establish Kelvin symmetry for normal solutions. We then prove existence and uniqueness, up to dilation, of the radial normal solution and establish its radial nondegeneracy. Next, we carry out a detailed spectral analysis of the linearized operator and construct branches of nonradial normal solutions by the Crandall–Rabinowitz theorem. Finally, we prove that every normal solution is radial when $$γ>0$$ is sufficiently small.

27. Liouville方程中量子化奇点处爆破的高阶判据及其锐性

Higher-order criteria and sharpness for blow-up at quantized singularities in Liouville equations

作者: Teresa D’Aprile, Juncheng Wei, Lei Zhang

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10968v1

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

摘要: This work is devoted to the study of blow-up phenomena for solutions of

-Δu=λV(x)|x|^{2N}e^v,\quad \mbox{in}\quad B_1,\quad v=0\quad \mbox{on}\quad \partial B_1.

where $$B_1$$ denotes the unit ball in $\mathbb R^2$ centered at the origin, $$V(x)$$ is a positive smooth function, $N\in \mathbb N$ and $$λ>0$$ is a small parameter. The main goal is to determine conditions on the potential $$V$$ guaranteeing the existence of families of solutions that blow up at the origin as $λ\to 0^+$ . Moreover, we establish higher order criteria that distinguish between simple and non-simple blow-up behavior at $$x=0$$ . In particular, for $N-1\in 2^{\mathbb N}$ , we construct a non-simple blow-up sequence $$v_k$$ , corresponding to coefficient function $$V_k$$ whose derivatives vanish up to the maximal order allowed by the upper bound of Wei-Zhang, thereby proving that this bound is sharp.

28. 均匀化的 Maz’ya–Shaposhnikova 公式

A Homogenized Maz’ya–Shaposhnikova formula

作者: Andrea Braides, Marco Picerni, Alec Jacopo Almo Schiavoni Piazza

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10935v1

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

摘要: We study the asymptotic behaviour of fractional Gagliardo-type energies with a periodic, bounded and bounded away from zero coefficient depending on both variables, in the joint limit of vanishing fractional exponent $s\to0^+$ and vanishing period $\varepsilon\to0^+$ . Assuming without loss of generality that $\varepsilon^{-2s}$ converges to some $λ\in[1,+\infty]$ , we prove that the energies, rescaled by $$s$$ , $$Γ$$ -converge in the weak topology of $L^2(\mathbb{R}^d)$ to a multiple of the squared $$L^2$$ norm, whose constant is given by an effective coefficient $$a_λ$$ defined through a cell problem. The coefficient $$a_λ$$ results from the competition between the averaging of long-range interactions, which drives the Maz’ya–Shaposhnikova limit, and the nonlocal energy of microscopic oscillations at finite range. It interpolates between the harmonic mean ( $$λ=1$$ ) and the arithmetic mean ( $λ=+\infty$ ) of a coefficient obtained by averaging interactions ``at infinity’’. The proof relies on Riemann–Lebesgue-type lemmas for singular kernels, on a blow-up argument for the lower bound, and on the logarithmic-scaling properties of the energies. The case $1<p<\infty$ is also discussed.

29. Barron 最优传输 I：生成建模

Barron Optimal Transport I: Generative Modeling

作者: Evan Dogariu, Joan Bruna

类别: cs.LG, math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10875v1

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

摘要: Motivated by recent applications in generative modeling and sampling, we introduce a framework for optimal measure transport where cost captures the notion of neural network complexity. In transport-based generative models, samples from a reference distribution (e.g. Gaussian) are mapped to samples of a target distribution along ordinary or stochastic differential equations. These are implemented as deep residual networks when discretized in time, where each hidden layer approximates the associated instantaneous velocity. Thus, given a pair of target and reference measures, a natural question is to search for the most efficient neural representation that implements this transport. Our starting point is the kinetic formulation of OT, due to Benamou and Brenier. We replace the average kinetic $$L^2$$ energy by the \emph{Barron} energy \cite{bach2017breaking, ma2022barron}, a natural norm which measures the complexity of representing a given vector field with a neural hidden layer, and which captures the adaptive properties of feature learning. This defines a metric on the space of probability measures, complementing existing Wasserstein and Stein geometries. In this work we examine the properties of this metric in the context of generative modeling. As a first application, we quantify the suboptimality of diffusion generative modeling in the Barron geometry by establishing super-polynomial score approximation lower bounds for data generated by neural network pushforwards of the Gaussian. We then investigate the benefit of adaptivity as a way to study alternative generative models. In a companion paper \cite{companionpaper} we leverage the Barron transport geometry for sampling applications, extending the scope of Stein variational gradient methods via feature adaptation.

30. 气候合作与产业空间转移：稳定性、排放与区域政策激励

Climate Cooperation and Spatial Industrial Relocation: Stability, Emissions, and Regional Policy Incentives

作者: Angela Martiradonna

类别: econ.TH, math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10939v1

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

摘要: Climate policy changes production costs and can reshape the geography of production. We study this spatial channel in a focused model where mobile industrial activity responds to local attractiveness, agglomeration strengthens attractiveness, and carbon policy lowers the profitability of emissions-intensive locations. The model yields an explicit carbon-policy threshold separating spatial instability from stability. When emissions intensity rises with local industrial density, spatial concentration raises aggregate emissions even with unchanged total industrial activity. Embedding these dynamics in a two-jurisdiction policy game creates a wedge between regional and collective incentives: each government values the industrial activity located within its own territory, while aggregate welfare internalizes the effect of policy on economy-wide concentration. With transferable utility, cooperation can select a policy on the stable side of the threshold while the non-cooperative policy lies on the unstable side. A numerical exercise illustrates this regime change. European regional evidence, based on industrial emissions and gross value added at NUTS2 level, documents a positive emissions-activity association and identifies the empirical quantities needed to measure relocation and concentration effects. The analysis links climate cooperation to the spatial organization of production and establishes a benchmark for policy-induced industrial relocation.

31. 随机哈密顿–雅可比–贝尔曼方程黏性解的存在性与唯一性

Existence and Uniqueness of Viscosity Solutions for Stochastic Hamilton–Jacobi–Bellman Equations

作者: Jinniao Qiu

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

发布日期: 2026-10-07

arXiv ID: 2610.10806v1

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

摘要: We study stochastic Hamilton–Jacobi–Bellman equations arising from stochastic optimal control problems with random coefficients and possible degenerateness. The viscosity solution is reformulated by using adapted smooth random test fields that touch on stopped space–time neighborhoods almost surely. The state coefficients are predictable, with no continuity assumption on their dependence on the underlying Brownian path. Under linear growth of locally Lipschitz drift and diffusion coefficients, polynomial growth of the running and terminal cost coefficients, and a nonempty separable metric space-valued control set, we show that the value function is the unique viscosity solution in this formulation among adapted continuous fields with square-integrable random polynomial growth bounds. The comparison proof constructs adapted fields from controlled trajectories and spatially shaken conditional values, using a weak semimartingale decomposition and regularization of its positive finite-variation part. In particular, the uniqueness allows for diffusion coefficients being random, degenerate, and depending on time, state, and control, whereas earlier uniqueness results of Qiu [SIAM J. Control Optim. 56 (2018), pp. 3708–3730] and Qiu and Zhang [Ann. Appl. Probab. 33 (2023), pp. 889–930] were obtained under additional structural restrictions on the diffusion coefficient, such as determinism combined with either superparabolicity or independence of the state and controls.

32. 含有向量型 $p\&q$ -Laplacian 扩散算子的椭圆问题

Elliptic problems involving a diffusion operator of vectorial $p\&q$ -Laplacian type

作者: M. L. M. Carvalho, J. R. Santos, H. W. G. Silva

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10838v1

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

摘要: We study a broad class of anisotropic Dirichlet problems driven by the nonhomogeneous operator

\mathcal L_Au=-\sum_{i=1}^N\partial_i\!\left( a_i(|\partial_i u|^{p_i})|\partial_i u|^{p_i-2} \partial_i u\right),

where the functions $$a_i$$ satisfy structural growth and monotonicity conditions of $$(p_i,q_i)$$ -type. This framework contains, among other examples, the anisotropic $\vec p$ -Laplacian, the orthotropic $p\&q$ -Laplacian, and anisotropic operators combining several directional growth regimes. We first establish a comparison principle adapted to this lack of homogeneity. For power nonlinearities, including the singular range, we then obtain nonexistence, existence, singular uniqueness, comparison alternatives, and multiplicity results according to the position of the reaction exponent relative to the anisotropic growth and critical exponents. In particular, an intermediate power regime exhibits nonexistence for small positive parameters and two distinct nontrivial solutions for large parameters without additional restrictions on the smallest effective exponent. At partial resonance, $$r=p_1<p_N$$ , we identify an exact positive parameter threshold: there are no nontrivial solutions at or below it, whereas each parameter above it admits infinitely many pairs of solutions converging strongly to zero. We also treat concave–convex reactions with subcritical or critical growth and prove the existence of nontrivial nonnegative weak solutions in the corresponding parameter ranges. The arguments combine a convexity method of Díaz–Saa type, anisotropic Sobolev embeddings, direct minimization, Ekeland’s variational principle, mountain-pass techniques, and concentration–compactness.

33. 薄 Stefan 问题中的奇异集

The singular set in the thin Stefan problem

作者: Matteo Carducci, Roberto Colombo, Clara Torres-Latorre

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10751v1

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

摘要: We study the singular set of the free boundary for solutions of the thin Stefan problem in $\mathbb{R}^{n+1}\times \mathbb{R}$ , which models the melting of a thin sheet of ice over water. After a suitable transformation, we reduce to studying the parabolic Signorini (thin obstacle) problem with a time-monotonicity condition. First, we prove that the free boundary is locally the graph of a differentiable melting function $$t=τ(x)$$ defined on the $$n$$ -dimensional thin space, and that the singular set coincides with the critical set of $$τ$$ . Next, we show that the singular set has parabolic Hausdorff dimension at most $$n$$ . We then establish generic regularity up to dimension $$n+1=4$$ , proving that the free boundary is regular for almost every time. Finally, under smoothness assumptions on the obstacle, we show that the singular set is contained in a $C^\infty$ -hypersurface outside a set of parabolic dimension at most $$n-1$$ . Our analysis combines ideas developed for the classical Stefan problem with several new ingredients specific to the thin setting, including frequency formulas for second blow-ups, epiperimetric inequalities, higher order expansions, and a fine stratification of the singular set.

34. 关于极小超曲面的柱状奇点

On Cylindrical singularities of minimal hypersurfaces

作者: Aria Halavati, Luca Spolaor

类别: math.DG, math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10754v1

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

摘要: In a neighborhood of the origin in $\mathbb{R}^9$ , we construct a minimal hypersurface with respect to a smooth conformally Euclidean metric, whose singular set consists of the origin and a sequence of isolated singular points converging to it. At each of the isolated singular points the hypersurface has the unique tangent cone $C_{4,3}$ , the cone over $S^4(\sqrt{4/7})\times S^3(\sqrt{3/7})$ , whereas at the origin its unique tangent cone is the cone $C_{3,3}\times\mathbb{R}$ . The metric is Euclidean near each isolated singular point and agrees with the Euclidean metric to infinite order at the origin. A key step, of independent interest, is the construction of an entire stationary hypersurface in Euclidean $\mathbb{R}^9$ with exactly one singular point at the origin, at which its unique tangent cone is $C_{4,3}$ , and whose unique tangent cone at infinity is $C_{3,3}\times\mathbb{R}$ .

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

1. 端点紧性与二维等温可压缩 Navier-Stokes 方程的有限能量弱解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 二维 Boussinesq 温度斑块在 $W^{k,\infty}$ 和 $C^{k,γ}$ 中的整体正则性与无限 Prandtl 数极限：低阶情形#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 表面准地转方程中 Sobolev 正则性的瞬时固定间隙丧失#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 无压流的唯一性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 二维点涡系统的边界控制#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 理想 MHD 中阿尔芬波散射场的定量有限时近似#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 二维黏性原始方程 Leray-Hopf 弱解的唯一性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

8. 任意维数下定常 Navier–Stokes 方程的齐次解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

9. 从麦克斯韦–薛定谔方程到半经典极限下的欧拉–麦克斯韦方程#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

10. $d$-球面上 Navier-Stokes 流的周期性与惯性流形#

1. 研究对象和背景#

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

$$ \sqrt{\lambda_{N+1}}-\sqrt{\lambda_N}

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

4. 与之前工作的比较#

11. 具有真空的三维可压缩 Navier-Stokes/Cahn-Hilliard 系统的局部存在性与唯一性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 关于大漂移对平均量弛豫时间的增强#

摘要翻译#

2. 具有边界和分布式输入时滞的单向一阶偏微分方程-常微分方程耦合系统的镇定#

摘要翻译#

3. 外部区域中的非线性薛定谔方程#

摘要翻译#

4. 具有正确普朗特数的 ES-BGK 模型的温和解唯一性#

摘要翻译#

5. 渐近双曲流形上 Klein-Gordon 方程的 Strichartz 估计及其应用#

摘要翻译#

6. 三维空间中热非平衡无旋流的点态结构与背景扰动分析#

摘要翻译#

7. Grushin 型加权 Gagliardo–Nirenberg 不等式：对称性、紧性与极值函数#

摘要翻译#

8. 三维黎曼流形上复 Ginzburg–Landau 方程的长时间动力学#

摘要翻译#

9. 大数据玻尔兹曼动力学的一个动理学集中判据#

摘要翻译#

10. 具有 Neumann 型边界条件的一阶非线性演化方程的凸性保持#

摘要翻译#

11. 分数阶薛定谔方程中基态有限和附近的尖锐稳定性#

摘要翻译#

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

1. 端点紧性与二维等温可压缩 Navier-Stokes 方程的有限能量弱解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 二维 Boussinesq 温度斑块在 $W^{k,\infty}$ 和 $C^{k,γ}$ 中的整体正则性与无限 Prandtl 数极限：低阶情形

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 表面准地转方程中 Sobolev 正则性的瞬时固定间隙丧失

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 无压流的唯一性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 二维点涡系统的边界控制

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 理想 MHD 中阿尔芬波散射场的定量有限时近似

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 二维黏性原始方程 Leray-Hopf 弱解的唯一性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

8. 任意维数下定常 Navier–Stokes 方程的齐次解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

9. 从麦克斯韦–薛定谔方程到半经典极限下的欧拉–麦克斯韦方程

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

10. $$d$$ -球面上 Navier-Stokes 流的周期性与惯性流形

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

11. 具有真空的三维可压缩 Navier-Stokes/Cahn-Hilliard 系统的局部存在性与唯一性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 关于大漂移对平均量弛豫时间的增强

摘要翻译

2. 具有边界和分布式输入时滞的单向一阶偏微分方程-常微分方程耦合系统的镇定

摘要翻译

3. 外部区域中的非线性薛定谔方程

摘要翻译

4. 具有正确普朗特数的 ES-BGK 模型的温和解唯一性

摘要翻译

5. 渐近双曲流形上 Klein-Gordon 方程的 Strichartz 估计及其应用

摘要翻译

6. 三维空间中热非平衡无旋流的点态结构与背景扰动分析

摘要翻译

7. Grushin 型加权 Gagliardo–Nirenberg 不等式：对称性、紧性与极值函数

摘要翻译

8. 三维黎曼流形上复 Ginzburg–Landau 方程的长时间动力学

摘要翻译

9. 大数据玻尔兹曼动力学的一个动理学集中判据

摘要翻译

10. 具有 Neumann 型边界条件的一阶非线性演化方程的凸性保持

摘要翻译

11. 分数阶薛定谔方程中基态有限和附近的尖锐稳定性

摘要翻译

12. 重新审视 $$L^1$$ 中带正指数幂权的 Stein-Weiss 不等式