生成时间: 2026年10月19日 08:24:00

运行状态: 完成

计划处理论文数量: 45

已完成论文数量: 45

未完成论文数量: 0

重点关注论文数量: 7

了解领域论文数量: 15

不相关论文数量: 23

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

1. 二维惯性磁流体力学中的重联

Reconnection in 2D Inertial Magnetohydrodynamics

作者: Lydia Boubendir, Peter Constantin, Hezekiah Grayer, Zhongtian Hu

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23494v1

摘要翻译: 我们考虑二维空间中的惯性磁流体力学双流体方程。这些方程可以改写为两个主动标量的演化方程，其相互作用核具有类似流体的形式。该方程组有两种形式：左手型和右手型。它们是守恒的，并且对于光滑初始数据以及属于 Yudovich 类 $L^1(\mathbb R^2)\cap L^{\infty}(\mathbb R^2)$ 的初始数据，均存在全局唯一解。我们证明了在 Yudovich 类中无黏极限成立。对于左手型方程，我们证明了在合并事件过程中斑块边界的 $C^{2,α}$ 正则性得以保持。最后，我们展示了磁重联的数值例子，验证了已有的严格结果，并揭示了新的情形。

Comment: 无

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

1. 研究对象和背景

本文研究二维双流体惯性磁流体力学模型及其磁重联现象. 磁重联指磁场线拓扑发生改变; 理想磁流体力学在解保持光滑时不允许这种拓扑变化, 而以电阻率解释重联通常面临时间尺度过慢的问题. 电子惯性提供了一种无需电阻率、也无需先出现奇性的快速机制. 本文沿着前作 [9] 的分析框架, 考察该机制对应的二维方程、消失电阻率极限、涡片边界正则性及数值演化.

基本未知量为电子涡量 $\omega$ 、磁规范动量 $$F$$ 、电子流函数 $\psi$ 和磁势 $\phi$ . 原始系统为

\begin{cases} \partial_t F+\{\psi,F\}+\{\phi,\omega\}=0,\\ \partial_t\omega+\{\psi,\omega\}+\{\phi,F\}=0, \end{cases} \qquad (x,t)\in\mathbb R^2\times[0,T],

其中 $\{f,g\}=\partial_1f\partial_2g-\partial_2f\partial_1g$ , 且椭圆关系为

\Delta\psi=\omega,\qquad -\Delta\phi+\phi=\pm F.

符号 $$+$$ 对应右手系统, 符号 $$-$$ 对应左手系统. 屏蔽项 $\phi$ 与电子皮肤深度有关; 无屏蔽版本将第二个椭圆关系中的 $\phi$ 项删去, 即 $-\Delta\phi=\pm F$ .

令 $\sigma_\pm=F\pm\omega$ , 则系统化为两个主动标量的输运方程

\partial_t\sigma_\pm+V_\pm(\sigma)\cdot\nabla\sigma_\pm=0,

其中

U(\omega)=\nabla^\perp\Delta^{-1}\omega,\qquad B(F)=\nabla^\perp(1-\Delta)^{-1}F,

右手系统取 $V_\pm=U(\omega)\pm B(F)$ , 左手系统取 $V_\pm=U(\omega)\mp B(F)$ . 因而每个标量由自身生成的不可压速度场输运, 但两个标量通过速度相互耦合. 本文所用的 Yudovich 类为 $Y=L^1(\mathbb R^2)\cap L^\infty(\mathbb R^2)$ ; 涡片是标量取有界区域示性函数的特殊情形.

问题的分析难点来自二维全空间而非周期区域的几项差异. 即使主动标量紧支撑, Biot–Savart 速度一般也只按 $|x|^{-1}$ 衰减, 不属于 $L^2(\mathbb R^2)$ ; Yudovich 速度的梯度也不必有界, 而全空间上不能直接使用周期情形中的全局指数可积性. 对黏性解还必须控制扩散造成的远场尾部. 此外, 两个标量共用耦合速度算子, 某些单流体能量推导中的抵消不再成立. 本文试图补足的空白, 是把已有二维惯性磁流体力学的适定性与拓扑变化理论推进到全空间消失电阻率极限, 并在左手屏蔽系统中处理涡片边界经过合并事件时的正则性保持. 作者还通过数值例子考察不同手性、屏蔽类型和初始涡片构型下的重联行为. 摘录没有给出模型守恒量的具体表达式, 也没有展开电子惯性模型的物理推导, 因而这些内容从提供文本中无法进一步确认.

2. 主要定理或主要结果

消失黏性(电阻率)极限. 记 $\sigma=(\sigma_+,\sigma_-)$ 为理想主动标量系统的 Yudovich 解, $\sigma^\nu$ 为对应黏性系统的解. 对黏性系统, 每个分量满足

\partial_t\sigma^\nu_\pm+V_\pm(\sigma^\nu)\cdot\nabla\sigma^\nu_\pm-\nu_\pm\Delta\sigma^\nu_\pm=0.

定理 1 的结论是: 若理想初值 $\tau\in Y^2$ 紧支撑于半径为 $$L$$ 的球内, 理想与黏性初值有统一的 $L^\infty$ 界 $\Omega_\infty$ , 黏性解满足文中远场衰减条件 (17), 且对某个 $1\le p<\infty$ 有

\lim_{\nu\to0}\|\tau^\nu-\tau\|_{L^p(\mathbb R^2)}=0,

则对任意固定 $$T>0$$ ,

\lim_{\nu\to0}\sup_{0\le t\le T} \|\sigma^\nu_\pm(t)-\sigma_\pm(t)\|_{L^p(\mathbb R^2)}=0.

文中指出两个分量的黏性系数可以分别趋于零, 不必相等; 相等黏性主要是陈述和展示上的简化. 由命题 1, 若黏性初值也支撑在半径 $$L$$ 的球内, 所需远场条件可由加权估计推出. 更具体地, 对 $\|\tau\|_{L^\infty}\le\Omega_\infty$ , 文中给出速度界 $\|V_\pm\|_{L^\infty}\le V_\infty=CL\Omega_\infty$ ; 理想解的支撑留在

B_T=\left\{x:|x|\le L\left(1+\frac{V_\infty T}{L}\right)\right\},

而黏性解在文中定义的较大区域 $$D_T$$ 外满足指数小的 $$L^p$$ 尾界 (17). 摘录中的 (17) 排版为指数 $e^{-LV_\infty/\nu}$ ; 它没有显示该界对时间、尺度的完整推导, 因此这里保留其为文中远场假设和估计, 不额外推演指数形式.

证明定理 1 的关键中间结论是命题 2 的短时 $$L^2$$ 收敛: 在初值有统一 $L^\infty$ 界、理想初值紧支撑、黏性解有相应尾部控制且黏性初值在 $$L^2$$ 收敛时, 存在绝对常数 $$C_*>0$$ , 使得

\sup_{0\le t\le T_*}\|\sigma^\nu_\pm(t)-\sigma_\pm(t)\|_{L^2}\longrightarrow0, \qquad T_*=(C_*\Omega_\infty)^{-1}.

再将有限时间区间分割为多个此类短时间段, 得到任意固定 $$T$$ 上的结论. 定理 1 的 $$L^p$$ 结论适用于有限 $$p$$ , 不包括 $p=\infty$ .

左手屏蔽系统的涡片边界正则性. 作者证明, 对左手屏蔽方程, 涡片边界的 $C^{1,\alpha}$ 与 $C^{2,\alpha}$ 正则性可在全局演化中保持, 并且包括涡片合并事件发生的情形. 这表示边界拓扑发生合并并不必然导致所述边界正则性丧失. 提供的摘录未包含该节定理的完整假设、常数依赖及范数估计, 因而无法确认更精确的初始界或定量增长率.
数值结果. 左手屏蔽系统以圆盘和椭圆为初值时, 数值上出现合并后再分离, 与无屏蔽纯 Euler 型演化相似. 右手无屏蔽系统的两个同号圆盘出现平移式合并; 两个异号圆盘则变形并绕转而未合并, 作者据此指出可能存在准周期行为, 但这只是数值观察, 不是已证明的周期解结论. 此外, 对左右手系统中适当的四圆盘对称构型, 数值观察到沿水平方向合并; 这一对称导致合并的现象与 [9] 中的严格结果相呼应. 数值部分的算法误差、收敛阶及参数范围在所给摘录中未出现, 不能据此补充.

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

消失电阻率极限的核心障碍, 是不能把周期区域上的 Yudovich 证明直接搬到 $\mathbb R^2$ . 速度通常不在 $$L^2$$ , 因而全局速度能量不适用; 同时速度梯度只有 Yudovich 型控制, 不能以 Lipschitz 估计直接稳定特征线. 作者不是简单套用经典能量法, 而是将 [8] 的指数可积性思路局部化, 再结合 [10] 对全空间远场衰减的处理.

首先, 作者利用黏性标量输运和初值紧支撑控制远场. 对理想解, 不可压输运保持标量的支撑沿有界速度向外扩张; 对黏性解, 则以指数权重控制扩散尾部. 这把全空间问题转化为: 在一个足够大的固定区域内进行稳定性估计, 并将区域外误差用尾部小量控制. 这一点尤其重要, 因为仅知道 $L^1\cap L^\infty$ 有界并不足以消除远场对截断计算的贡献.

其次, 为补偿 $\nabla V_\pm$ 不有界, 引理 1 建立局部指数可积估计. 在统一 $L^\infty$ 界及文中 (26) 的局部化 $$L^q$$ 控制下, 对任意可测集 $$A$$ 有

\int_A\exp\left(\frac{\gamma|\nabla V_\pm(\sigma)(x)|}{\Omega_\infty}\right)\,dx \le C(|A|+|D|).

其推导将指数展开为幂级数, 对速度梯度使用 Calderón–Zygmund $$L^p$$ 估计; 一阶项不能直接依赖相应奇异积分界, 作者通过零阶与二阶控制插值处理. 区域 $$D$$ 反映了活性标量集中所在的有限尺度. 因此所得不是全空间全局指数可积性, 而是带有 $$|D|$$ 项的局部版本, 正好适合截断能量估计.

引理 2 将上述指数估计转化为输运—扩散方程中梯度增长的短时控制. 若 $\theta\ge0$ 满足

\partial_t\theta+u\cdot\nabla\theta-\nu\Delta\theta\le |\nabla u|\theta,

并且涡量具有统一 $L^\infty$ 、 $$L^2$$ 界及远场条件, 则对 $$p>1$$ , 取

T(p)=\frac{\gamma(p-1)}{2p\Omega_\infty},

可在 $0\le t\le T(p)$ 控制 $\|\theta(t)\|_{L^2}^2$ 于初始 $L^{2p}$ 范数的函数及由 $\Omega_\infty,\Omega_2,|D|$ 决定的常数之内. 论证中让指数 $$p=p(t)$$ 随时间递减, 以其导数抵消由 $|\nabla u|$ 带来的增长项. 将该引理用于被输运的初值平滑化所得梯度, 作者得到对黏性系数一致的 $$H^1$$ 界

\sup_{0\le t\le T_*} \left(\|\sigma^\nu_{\pm,l}(t)\|_{H^1} +\|\sigma_{\pm,l}(t)\|_{H^1}\right)\le C_l,

其中 $$l$$ 是固定的平滑尺度, $$C_l$$ 可依赖于该尺度及初值的 $$L^p$$ 范数. 这一步将低正则度解与平滑近似解分开, 避免直接要求原始 Yudovich 解有高阶导数.

之后作者把误差分解为三部分: 黏性解与其平滑初值输运解之差、两种方程中平滑输运解之差、理想解与其平滑初值输运解之差. 首尾两项通过先固定 $$l$$ 再令 $l\to0$ 控制; 中间项使用上述一致 $$H^1$$ 界, 归结为在有限区域 $$D$$ 上证明速度差趋于零. 由于全空间的速度不在 $$L^2$$ , 这里不能使用无截断的椭圆能量恒等式. 作者对 $h=\sigma^\nu_\pm-\sigma_\pm$ 引入流函数 $\psi$ 与磁势 $\phi$ 的差, 通过截断函数 $\chi_R$ 对 $\int\chi_R|\nabla\psi|^2$ 做局部能量估计; 对 $\phi$ 使用类似论证. 速度差满足 $V_\pm(h)=\frac12\nabla^\perp(\psi\pm\phi)$ , 因此控制这些势的局部梯度即可得到有限区域上的速度收敛.

该局部能量计算中, 两流体耦合造成单流体情形没有的项. 特别是输运项中 $v\cdot\nabla\psi$ 不再自动抵消, 但可利用半和 $$H$$ 的有界性处理. 截断边界项则依赖势的增长和梯度衰减估计: 在截断支撑上, 文中得到 $|\psi|\lesssim\log R$ 、 $|\nabla\psi|\lesssim R^{-1}$ ; 时间导数 $\partial_t\psi$ 通过守恒形式和 Riesz 势估计控制. 对含 $\nabla V$ 的主项, 作者将 $|\nabla\psi|^2$ 大小分区: 大值区以 $$L^4$$ 估计获得随阈值 $$M$$ 衰减的误差, 小值区利用指数可积性得到带对数系数的局部能量项. 摘录给出的微分不等式为

\frac{dy}{dt}\le H_\infty\left(1+\log\frac{M^2}{\varepsilon}\right)y(t) +K_0(\nu+y_0), \qquad y(t)=\int\chi_R|\nabla\psi|^2.

作者再选择截断半径 $$R$$ 、阈值 $$M$$ 和 $\varepsilon$ 使误差随黏性和初始差趋零. 提供内容在此微分不等式后中断, 因而不能据此复述后续参数选择的完整细节或最终常数.

涡片正则性部分的证明技术在所给摘录中没有展开. 可以确认的是结论针对左手屏蔽系统, 并处理 $C^{1,\alpha}$ 与 $C^{2,\alpha}$ 边界经过合并的延拓; 但具体边界积分方程、参数化方法及关键引理无法从当前文本确认. 数值部分也只给出算法和结果所在章节的说明, 未提供离散格式或稳定性、收敛分析.

4. 与之前工作的比较

与惯性磁流体力学的直接前作 [9] 相比, 本文的理论推进主要有两条. [9] 已研究二维模型, 并证明 Yudovich 类及光滑类别中的全局适定性, 同时给出光滑解和涡片解发生拓扑变化的结果, 涉及左右手系统. 本文不应被理解为首次建立该模型的基本适定性或首次证明其可发生重联; 其主要增量是证明黏性解在消失黏性时收敛到理想 Yudovich 解, 以及对左手屏蔽系统给出涡片边界正则性经过合并仍保持的结果. 摘录未列出 [9] 中各定理的精确假设, 因此无法逐项比较其初始正则性阈值或收敛尺度.

消失电阻率极限方面, 论文明确将 [8] 作为方法参照: [8] 在二维环面上处理 Yudovich 类下的不可压 Euler 消失黏性极限. 本文面对的是两个相互耦合的主动标量, 而非单一 Euler 涡量, 并且工作区域改为全空间 $\mathbb R^2$ . 两个困难相互关联: 全空间上速度的 $|x|^{-1}$ 衰减使其一般不在 $$L^2$$ , 周期情形的全局指数可积估计也不能原样使用. 本文因此把速度梯度指数可积性改为依赖有限区域 $$D$$ 的局部估计, 并利用黏性解远场指数衰减控制截断误差. 这使结论覆盖全空间、紧支撑理想初值及满足尾部控制的黏性近似, 而非仅覆盖环面上的单一标量方程.

相应的代价也应明确: 结论要求理想初值属于 $Y^2=(L^1\cap L^\infty)^2$ 并紧支撑, 初值在有限 $$p$$ 的 $$L^p$$ 中收敛, 且黏性解满足文中的远场衰减条件. 收敛是在任意固定有限时间区间上对 $$L^p$$ 范数一致成立, 但没有声称对 $p=\infty$ 收敛, 也没有给出显式的 $\nu$ 收敛速率. 短时步骤的尺度为 $T_*=(C_*\Omega_\infty)^{-1}$ , 长时结论通过有限次迭代获得; 因而它不是对随黏性趋零而无限增长的时间区间的结论. 文中说不同分量的黏性系数可以独立趋零, 这扩展了等黏性情形, 但初值紧支撑和远场条件仍是全空间论证的重要限制.

空间无穷远处的技术处理还与 [10] 有关. 作者借鉴该工作的加权估计控制黏性主动标量的扩散尾部, 以克服速度衰减过慢以及速度没有自封闭演化方程的问题. 这不是把 [10] 的结论不加修改地应用于本模型: 当前问题中有两个标量和由其共同生成的速度, 而局部化稳定性估计必须显式处理耦合项. 文中指出, 单流体证明里 $v\cdot\nabla\psi=0$ 的抵消在这里不成立, 只能借助半和的有界性及额外的截断估计控制. 因此本文的延伸既改变了方程结构, 也改变了空间域, 证明代价体现在局部指数估计、加权尾部控制和更细致的势能截断计算上.

涡片方面, 论文将左手屏蔽系统与经典二维 Euler 涡片结果作比较. 对无屏蔽左手系统, 作者指出其可分解为互不作用的一对 Euler 方程; 光滑涡片边界的保持可参照 [5]、[7]. 本文进一步处理有屏蔽项的左手系统, 并声称 $C^{1,\alpha}$ 、 $C^{2,\alpha}$ 边界正则性全局保持, 即便发生合并也不丧失. 这是与 Euler 涡片理论相邻但并不等同的问题: 屏蔽核改变了速度场, 而合并事件又要求边界正则性结论跨越拓扑变化. 不过所给摘录没有展示该定理的假设细节和证明, 所以无法确认它相对于 [5]、[7] 在边界范数、曲率界或初始几何条件上的精确改进.

物理与数值文献方面, 引言提到 [6]、[12] 主要研究右手模型, 此前电子惯性导致的无电阻重联主要由数值模拟呈现; 本文的数值计算延续这一方向, 同时纳入左手模型、屏蔽与无屏蔽情形, 并比较同号、异号及对称多涡片构型. 四圆盘对称构型的水平合并与 [9] 的严格重联结果相互印证; 两个异号圆盘的绕转而不合并则是新的数值观察, 作者谨慎地仅提出可能存在准周期解. 这些数值结果不能视作新的严格重联定理或周期性证明, 且摘录未给出数值误差、网格收敛或参数敏感性分析. 总体而言, 本文的严格分析贡献是全空间 Yudovich 消失黏性极限和左手屏蔽涡片正则性结论; 其他构型的演化拓展主要属于数值证据. 作者未在提供内容中显式展开更广泛的文献比较, 因而无法确认相对于未点名工作的优先权或全部适用范围.

2. 新小性条件下三维有界区域中可压缩Navier–Stokes方程的整体适定性

Global well-posedness for the compressible Navier–Stokes equations in 3D bounded domains under a new smallness condition

作者: Lin Xu, Xin Zhong

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23091v1

摘要翻译: 我们研究具有 Navier-slip 边界条件的有界区域内含真空的三维斜压可压缩 Navier–Stokes 方程。我们证明，只要初始速度的梯度和初始压力偏差在 $$L^2$$ 中充分小，该模型便存在唯一的整体强解。特别地，\textit{小性阈值仅依赖于已知参数和给定的密度界。}我们的结果为可压缩 Navier–Stokes 方程的整体适定性理论提供了一个新的分析框架。

Comment: 无

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

1. 研究对象和背景

本文研究三维有界区域内可压缩黏性 barotropic 流体的整体强解问题, 并允许初始密度在某些位置为零. 令 $\rho(x,t)\geq 0$ 为密度, $u(x,t)\in\mathbb{R}^3$ 为速度, 压强满足 $P(\rho)=\rho^\gamma$ , $\gamma>1$ ; 归一化取压强系数 $$a=1$$ . 在光滑、单连通有界区域 $\Omega\subset\mathbb{R}^3$ 中, 方程为

\begin{cases} \rho_t+\operatorname{div}(\rho u)=0,\\ (\rho u)_t+\operatorname{div}(\rho u\otimes u)-\mu\Delta u-(\mu+\lambda)\nabla\operatorname{div}u+\nabla \rho^\gamma=0, \end{cases} \qquad \mu>0,\quad 2\mu+3\lambda\geq 0.

初值为 $\rho(\cdot,0)=\rho_0$ , $\rho u(\cdot,0)=\rho_0u_0$ . 边界上采用文中考虑的特殊 Navier-slip 条件

u\cdot n=0,\qquad \operatorname{curl}u\times n=0\quad\text{on }\partial\Omega.

这里 $$n$$ 为外法向量. 第一条表示流体不能穿过边界, 第二条是切向应力条件的一种涡量表达. 该条件与一般带摩擦项的 Navier-slip 条件不同; 作者在备注中说明, 结合已有边界估计技术, 结果可推广到 $\operatorname{curl}u\times n=-(Au)_\tau$ 且 $$A$$ 足够光滑、半正定的情形.

整体适定性问题的核心在于, 动量方程在真空区域退化: 当 $\rho=0$ 时, 惯性项不再直接控制加速度, 因而强解的局部理论及延拓判据比密度有正下界的情形更微妙. 经典含真空局部强解理论常要求初始数据满足兼容条件

-\mu\Delta u_0-(\mu+\lambda)\nabla\operatorname{div}u_0+\nabla P(\rho_0)=\sqrt{\rho_0}\,g,\qquad g\in L^2(\Omega),

以保证初始时刻物质加速度具有所需可积性. 后续工作已在局部理论中去掉该条件; 本文使用的局部适定性结果同样不要求这一经典兼容条件. 但局部存在并不自动给出整体存在: 仍需控制密度上界、速度梯度以及高阶正则性, 防止有限时间失控.

在全空间中, Matsumura–Nishida 的小扰动理论及 Danchin 的临界 Besov 空间理论主要围绕非真空常态附近建立. 对含真空问题, Huang–Li–Xin 通过时间加权估计、有效黏性通量和 Zlotnik 型论证, 在小初始能量等条件下获得整体经典解; Wen 等人的工作则发展了尺度不变的小量框架. 然而这些全空间方法不能直接移植到有界区域: 边界会在高阶积分分部中产生额外项, 傅里叶分析不再直接适用, 有效黏性通量与涡量的椭圆估计也必须结合区域几何及边界条件处理.

有界区域含真空问题已有相关整体结果. Yu–Zhao 在长方体区域及 Cai–Li 在一般光滑有界区域中, 均在初始能量条件 $E_0\leq\varepsilon(\nabla u_0)$ 下建立整体结果, 其中允许的小量阈值依赖一个预先给定的初始速度梯度界. 本文要补足的关键空白是: 能否在有界区域和含真空情形下, 仍获得整体强解, 同时使小量阈值不再依赖额外指定的初始速度上界? 作者给出的条件只要求初始速度梯度与初始压强偏差的平方和足够小, 阈值由方程参数、区域以及初始密度的平均值和上界决定. 这不等于完全不限制初始速度: $\|\nabla u_0\|_{L^2}$ 仍须满足该小量条件, 但阈值无需再以某个额外的速度界为参数。

初始数据的设定为 $0\leq\rho_0\in W^{1,q}(\Omega)$ 、 $u_0\in H_b^1$ , 其中 $$3<q<6$$ , 且 $$H_b^1$$ 体现上述边界条件. 质量守恒给出

\bar\rho=\frac{1}{|\Omega|}\int_\Omega\rho(x,t)\,dx=\bar\rho_0>0.

作者还指出, $W^{1,q}$ 的密度正则性有助于控制速度流映射并建立解的唯一性; 将初始密度正则性进一步降至仅有有界性, 本文尚未处理. 因而本文的贡献并非覆盖任意粗糙初值, 而是在保留适合强解理论的初始正则性条件下, 改进有界区域整体理论中小量阈值对初始速度界的依赖, 并给出长时间衰减及真空导致密度梯度增长的定量结论。

2. 主要定理或主要结果

主要结论是定理 1.1. 设 $q\in(3,6)$ , $\Omega\subset\mathbb{R}^3$ 满足文中光滑、单连通及边界连通分支条件, 且初始数据满足

0\leq\rho_0\in W^{1,q}(\Omega),\qquad u_0\in H_b^1,

其中 $H_b^1=\{f\in H^1:(f\cdot n)|_{\partial\Omega}=(\operatorname{curl}f\times n)|_{\partial\Omega}=0\}$ . 令 $\bar\rho=|\Omega|^{-1}\int_\Omega\rho_0\,dx>0$ , $\rho^*=\|\rho_0\|_{L^\infty}$ . 存在

\varepsilon_0=\varepsilon_0(\gamma,\mu,\lambda,\bar\rho,\rho^*,\Omega)>0,

使得若

\|\nabla u_0\|_{L^2}^2+\|P(\rho_0)-\bar P_0\|_{L^2}^2\leq\varepsilon_0, \qquad \bar P_0=\frac{1}{|\Omega|}\int_\Omega P(\rho_0)\,dx,

则系统存在唯一整体强解. 特别地, $\varepsilon_0$ 不依赖任何额外预先指定的初始速度界; 它只依赖方程参数、区域及初始密度的平均值和上界. 该结论允许初始密度取零, 但要求其平均值为正.

本文采用的整体强解正则性包括 $\rho\in C([0,T];L^2)\cap L^\infty(0,T;W^{1,q})$ , $\rho_t\in L^\infty(0,T;L^2)$ , $\rho u\in C([0,T];L^2)$ , $u\in L^\infty(0,T;H^1)\cap L^2(0,T;H^2)$ , $\sqrt{\rho}\,u_t\in L^2(0,T;L^2)$ , 以及时间加权的高阶正则性 $\sqrt{t}\,u\in L^\infty(0,T;H^2)\cap L^2(0,T;W^{2,q})$ 、 $\sqrt{t}\,u_t\in L^2(0,T;H^1)$ , 对任意有限 $$T>0$$ 均成立. 证明不要求经典初始兼容条件 $-\mu\Delta u_0-(\mu+\lambda)\nabla\operatorname{div}u_0+\nabla P(\rho_0)=\sqrt{\rho_0}g$ .

除整体存在唯一性外, 定理还给出长时间指数衰减. 对任意 $r\in[1,\infty)$ 、 $p\in[1,6]$ , 存在常数 $C,\eta>0$ , 其依赖于 $\mu,\lambda,\gamma,\bar\rho,\rho^*,\Omega,\|\nabla u_0\|_{L^2},r,p$ , 使得对 $t\geq1$ ,

\|\rho(\cdot,t)-\bar\rho\|_{L^r} +\|u(\cdot,t)\|_{W^{1,p}} +\|\sqrt{\rho}\,\dot u(\cdot,t)\|_{L^2}^2 \leq Ce^{-\eta t}, \qquad \dot u=u_t+u\cdot\nabla u.

因此密度趋向由质量守恒确定的常数态 $\bar\rho$ , 速度的 $W^{1,p}$ 范数及加权物质加速度也指数衰减. 这里衰减常数允许依赖实际的 $\|\nabla u_0\|_{L^2}$ , 这与小量阈值本身不依赖额外速度上界并不矛盾.

定理还包含一个真空条件下的梯度增长结论. 若存在 $x_0\in\Omega$ 使 $\rho_0(x_0)=0$ , 则对任意 $r_1\in(3,q]$ , 存在 $\widetilde C_1,\widetilde C_2>0$ , 其依赖于 $\mu,\lambda,\gamma,\bar\rho,\rho^*,\Omega,\|\nabla u_0\|_{L^2},r_1$ , 满足

\|\nabla\rho(\cdot,t)\|_{L^{r_1}} \geq \widetilde C_1 e^{\widetilde C_2t},\qquad t\geq1.

这是定理中的严格定量结论, 说明在该整体强解框架下, 初始存在真空点会伴随密度梯度至少指数增长; 它不表示密度本身失去有界性, 也不与每个有限时间区间上的强解正则性矛盾。文中还指出, 特殊滑移边界条件可在额外边界估计下推广至带半正定矩阵 $$A$$ 的一般形式, 但该推广在摘录中作为备注说明, 而非定理 1.1 的直接表述。

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

证明以局部强解理论为起点, 对任意局部存在时间 $$[0,T]$$ 建立与 $$T$$ 无关的先验估计, 再通过延拓论证得到整体解. 核心组织方式是 Proposition 3.1 的 bootstrap: 暂时假设密度满足 $\sup_{0\leq t\leq T}\|\rho(t)\|_{L^\infty}\leq2\rho^*$ , 并假设

\sup_{0\leq t\leq T}D(t) +\sup_{0\leq t\leq T}\|\nabla u(t)\|_{L^2}^2\int_0^T\|\nabla u\|_{L^2}^2\,dt \leq2\varepsilon, \qquad D(t)=\|\nabla u(t)\|_{L^2}^2+\|P(\rho(t))-\bar P(t)\|_{L^2}^2.

目标不是仅在这些假设下估计解, 而是将右端改善为 $7\rho^*/4$ 和 $7\varepsilon/4$ , 从而闭合连续性论证. 密度上界与速度低阶估计相互依赖, 因此证明将它们拆分处理并迭代闭合。

首先, 作者把相对内能与压强偏差联系起来. 在 $0\leq\rho\leq2\rho^*$ 且质量平均固定时, 对 $P(\rho)=\rho^\gamma$ 的凸性作定量利用, 得到

\int_\Omega G(\rho)\,dx \sim\|\rho-\bar\rho\|_{L^2}^2 \sim\|P-\bar P\|_{L^2}^2 \sim\int_\Omega(P-P(\bar\rho))(\rho-\bar\rho)\,dx.

其中 $$G$$ 是相对势能密度. 这一步使基本能量中的内能能够转化为对压强偏差的二次控制, 是后续选取 Lyapunov 泛函的基础. 再结合基本能量恒等式与适配法向边界条件的 div–curl 估计, 得到低阶能量控制. 通过对动量方程使用 Bogovskii 算子 $\mathcal B[P-\bar P]$ , 利用 $\operatorname{div}\mathcal B[f]=f$ 且 $\mathcal B[f]|_{\partial\Omega}=0$ , 可取得压强偏差的时空 $$L^2$$ 控制. 随后构造满足

\frac{d}{dt}L(t)+L(t)\leq0, \qquad L(t)\sim\|\sqrt{\rho}u(t)\|_{L^2}^2+\|P(t)-\bar P(t)\|_{L^2}^2,

的泛函, 得到低阶量的指数衰减。

速度梯度的高阶控制中, 一个实质障碍是边界项. 以物质加速度 $\dot u$ 测试动量方程时, 因为 $\dot u$ 不满足与 $$u$$ 相同的齐次滑移条件, 积分分部会出现压强和散度相关的边界积分, 典型项为

-\int_{\partial\Omega}\sigma^m(P-\bar P)(u\cdot\nabla u)\cdot n\,dS, \qquad (2\mu+\lambda)\int_{\partial\Omega}\sigma^m\operatorname{div}u\,(u\cdot\nabla u)\cdot n\,dS.

直接估计边界上的 $\nabla u$ 通常需要当时尚未获得的 $\nabla^2u$ 控制. 作者利用不可穿透条件的几何恒等式

(u\cdot\nabla)u\cdot n=-(u\cdot\nabla)n\cdot u\quad\text{on }\partial\Omega,

把速度的边界导数转移到边界法向量上; 后者由光滑边界几何控制, 从而避免循环使用尚未建立的高阶估计. 与低阶衰减估计结合, 该处理给出 $$D(t)$$ 的统一控制. 其中出现的 $\|\nabla u\|_{L^2}^6$ 型非线性项, 通过 bootstrap 中 $\sup_t\|\nabla u(t)\|_{L^2}^2$ 与 $\int\|\nabla u\|_{L^2}^2dt$ 的小量乘积吸收到耗散项中。

密度上界通过沿流线分析连续性方程获得. 沿粒子轨迹, $\rho$ 满足由散度项驱动的 Zlotnik 型常微分不等式; 其中关键是控制有效黏性通量

F=(2\mu+\lambda)\operatorname{div}u-(P-\bar P),

的 $L^\infty$ 范数及其沿轨迹的时间积分. 短时间区间采用时间权重 $\sigma(t)=\min\{1,t\}$ , 构造 $$A_1(T)$$ 、 $$B_1(T)$$ 型量, 分别控制 $\sigma\|\nabla u\|_2^2$ , $\sigma\|\sqrt{\rho}\dot u\|_2^2$ , 以及 $\int\sigma\|\nabla\dot u\|_2^2dt$ . 为估计后者, 对动量方程施加含 $\sigma^m\dot u$ 的物质导数型测试. 由于 $\dot u\cdot n$ 在边界上一般不为零, 会产生 $\int_{\partial\Omega}\sigma^mF_t\dot u\cdot n\,dS$ . 作者引入 $u^\perp=-u\times n$ 和 $h=(\nabla n+(\nabla n)^T)u$ , 将该项改写为由边界几何和 $u,\dot u$ 构成的积分, 并利用 $u^\perp\times n=u$ 控制. 这一步针对的正是有界区域内物质加速度边界条件不闭合的问题, 并非可直接由全空间估计替代。

对较长时间区间, 已得到的 $$D(t)$$ 及加权高阶量指数衰减, 使 $$F$$ 的相应时间积分可控; 再次应用 Zlotnik 不等式, 得到统一密度上界. 至此闭合 bootstrap 的密度部分。最后, 在密度上界下传播 $W^{1,q}$ 正则性: 利用 Lamé 型椭圆估计控制速度二阶导数, 结合 BKM 型对数不等式

\|\nabla u\|_{L^\infty} \leq C(\|\operatorname{div}u\|_{L^\infty}+\|\operatorname{curl}u\|_{L^\infty})\ln(e+\|\nabla^2u\|_{L^q}) +C\|\nabla u\|_{L^2}+C,

以及 $\rho\dot u$ 的时间可积估计, 控制连续性方程对 $\nabla\rho$ 的输运增长. 局部存在、这些统一先验界及延拓判据共同给出整体强解; 唯一性依赖所传播的密度正则性与速度流的控制。以上证明结构与细节以所提供 PDF 摘录中的策略说明为依据; 其他未展示的逐项估计常数无法从摘录中核实。

4. 与之前工作的比较

本文在有界区域含真空问题上的直接比较对象是 Yu–Zhao [43] 与 Cai–Li [6]. 按引言所述, Yu–Zhao 在长方体区域、Cai–Li 在一般光滑有界区域中, 在初始能量小量条件下建立了整体解. 两类结果采用的条件具有如下形式:

E_0\leq\varepsilon(\nabla u_0), \qquad E_0=\int_\Omega\left(\frac12\rho_0|u_0|^2+G(\rho_0)\right)dx.

其中允许的阈值依赖一个预先给定的初始速度梯度界. 本文的主要推进不是取消所有小量要求, 而是改变小量条件的组织方式: 要求

\|\nabla u_0\|_{L^2}^2+\|P(\rho_0)-\bar P_0\|_{L^2}^2\leq\varepsilon_0,

且 $\varepsilon_0$ 仅依赖 $\gamma,\mu,\lambda,\bar\rho,\rho^*,\Omega$ . 因而不需要先给出一个额外的初始速度上界, 再让可容许能量阈值依赖该上界. 但初始速度梯度本身仍被条件直接限制为小量, 且指数衰减常数 $C,\eta$ 仍可依赖 $\|\nabla u_0\|_{L^2}$ . 不能将这项改进表述为对任意大速度梯度均成立, 也不能表述为阈值与初始数据完全无关。

区域和边界条件方面, 结果针对一般光滑有界区域, 区域满足单连通及边界由有限个二维连通分支组成等条件, 并采用 $u\cdot n=0$ , $\operatorname{curl}u\times n=0$ . 相较于 [43] 的长方体设定, [6] 已将分析推进到一般光滑有界区域; 本文是在这一一般区域框架中改善小量阈值的依赖性, 而不是首次处理一般有界区域. 作者还说明, 结合 [6] 中的技术, 可推广到 $\operatorname{curl}u\times n=-(Au)_\tau$ 且 $$A$$ 足够光滑、半正定的边界条件. 该推广作为备注提出, 摘录没有给出相应定理的完整假设和证明细节, 因此其精确范围从提供内容中无法确认。

与全空间结果相比, Matsumura–Nishida [30] 处理常态附近的高阶小扰动, Danchin [12] 及相关工作建立临界 Besov 框架下的整体适定性, 主要背景是非真空平衡态附近; Huang–Li–Xin [24] 则在允许真空和较大振荡的理论中利用小初始能量、时间加权估计、有效黏性通量与 Zlotnik 型论证控制密度. Wen [37] 以及 [40–42] 推进了全空间中的尺度不变小量理论. 本文允许真空, 并获得有界区域上的结果, 但其初始正则性和小量条件不同于这些全空间框架: $\rho_0\in W^{1,q}$ , $$3<q<6$$ , $u_0\in H_b^1$ , 且初始速度梯度与压强偏差须满足本文的 $$L^2$$ 小量条件. 作者明确指出, 是否能像 [37,40,41] 那样构造小量阈值完全不依赖任何初始数据的有界区域理论, 留待未来研究; 因此本文并未达到这种尺度不变或数据无关阈值的目标。

相对于不要求兼容条件的局部理论, 文中引用 Gong–Li–Liu–Zhang [17] 与 Huang [23] 去除了经典兼容条件, 并直接以 [17] 的局部适定性结果作为起点. 本文的整体定理同样不要求初始动量方程满足 $-\mu\Delta u_0-(\mu+\lambda)\nabla\operatorname{div}u_0+\nabla P(\rho_0)=\sqrt{\rho_0}g$ . 其困难在于有界区域的高阶估计会产生边界项, 尤其 $\dot u$ 不继承 $$u$$ 的齐次滑移边界条件. 作者通过法向量几何恒等式和边界修正估计控制这些项, 再结合时间加权估计和分时段密度控制完成整体延拓. 这是本文相较于仅有局部理论的重要推进; 但不能据此推断其对任意低正则初值成立。

定理的长时间信息也比单纯的整体存在更定量: 对 $r\in[1,\infty)$ 和 $p\in[1,6]$ , $\rho-\bar\rho$ , $$u$$ 的 $W^{1,p}$ 范数及 $\sqrt{\rho}\dot u$ 的平方范数均以 $e^{-\eta t}$ 衰减; 若初始有真空点, 则 $\|\nabla\rho(t)\|_{L^{r_1}}$ 对 $r_1\in(3,q]$ 至少以指数速度增长. 这些结论刻画了趋近平衡与真空附近密度梯度增强并存的行为. 提供的摘录没有将该梯度下界与 [6,43] 的相应结论逐项比较, 所以其相对于前人结果是否为新现象、或此前已有何种更弱版本, 从提供内容中无法确认。

适用范围的代价同样需要说明. 本文要求平均密度为正, 初始密度有 $W^{1,q}$ 正则性且 $$q>3$$ , 区域光滑并满足特定拓扑条件, 并对速度梯度及压强偏差施加小量约束. 作者在 Remark 1.2 中明确指出, $W^{1,q}$ 条件用于控制速度流的 Lipschitz 性并保证唯一性; 能否像 Cauchy 问题 [14,28] 那样将密度初值正则性降至仅非负有界, 本文尚不能处理. 因而相较于这些更低密度正则性的全空间研究, 本文的结论有更强的初值正则性要求; 相较于已有有界区域整体结果, 则以不再依赖额外初始速度界的阈值为主要改进。作者未显式展开与 [16,20,21,36,44] 等其他大数据或不同解框架结果的定量比较, 对其具体假设与本文的优劣关系不宜超出摘录作推断。

3. 通过 De Giorgi 方法研究导热流体系统中温度的正则性

Regularity Aspects of Temperature in Heat-Conducting Fluid Systems via De Giorgi Methods

作者: Nilasis Chaudhuri, Piotr B. Mucha, Tomasz Piasecki, Jiakun Yang

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23802v1

摘要翻译: 本文研究热传导可压缩 Navier–Stokes 系统中温度的条件 Hölder 正则性，其中压力采用包含 Stefan-辐射修正项的完整形式。在对密度和速度作出最小假设的条件下，我们证明任意弱解的温度分量自动具有 Hölder 连续性。这构成本文的主要结果，并通过应用 De Giorgi 方法得到。作为这一条件正则性结果的推论，我们建立了热传导流体可压缩势流简化系统的正则唯一解的整体时间存在性，且该结论适用于任意大的初始数据。

Comment: 45 pages, no figures

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

1. 研究对象和背景

本文研究三维可压缩黏性热传导流体的 Navier-Stokes-Fourier 系统, 重点考察温度分量在密度和速度满足附加正则性条件时能否获得局部 Hölder 连续性. 与压强仅依赖密度的 barotropic 模型不同, 此处的压力、内能和温度演化相互耦合, 而黏性耗散又作为热源进入内部能量方程. 论文采用的基本方程为

\begin{aligned} &\partial_t\rho+\operatorname{div}(\rho u)=0,\\ &\partial_t(\rho u)+\operatorname{div}(\rho u\otimes u)+\nabla p(\rho,\theta)=\operatorname{div}\mathbb S,\\ &\partial_t(\rho e(\rho,\theta))+\operatorname{div}(\rho e(\rho,\theta)u)+\operatorname{div}q =\mathbb S:\mathbb D u-p(\rho,\theta)\operatorname{div}u. \end{aligned}

其中 $\rho\geq 0$ 是密度, $$u$$ 是速度, $\theta\geq0$ 是绝对温度, $\mathbb D u=(\nabla u+\nabla u^T)/2$ , $\mathbb S$ 是 Newton 型黏性应力, $q=-\kappa(\theta)\nabla\theta$ 是 Fourier 热通量. 边界条件为速度无滑移 $u|_{\partial\Omega}=0$ 和绝热条件 $\nabla\theta\cdot n=0$ ; 也可在平坦环面上讨论. 这类边界条件使总能量在足够光滑时守恒, 但仅有能量守恒通常不足以直接给出温度的点态控制.

本文选取包含 Stefan-radiation 修正的具体热力学关系. 在归一化 $$R=C=a=1$$ 、 $c_v=1/(\gamma-1)$ 后,

p(\rho,\theta)=\rho\theta+\rho^\gamma+\frac{1}{3}\theta^4, \qquad \rho e(\rho,\theta)=c_v\rho\theta+c_v\rho^\gamma+\theta^4, \qquad \gamma>1.

黏性应力取温度依赖型形式

\mathbb S=\mu(\theta)\left(\mathbb D u-\frac{1}{3}(\operatorname{div}u)I\right) +\eta(\theta)(\operatorname{div}u)I,

其中剪切黏度满足 $\mu(1+\theta^\alpha)\leq\mu(\theta)\leq\overline\mu(1+\theta^\alpha)$ , $\alpha\in(2/5,1]$ , 并有 $\sup_{\theta\geq0}|\mu'(\theta)|<\infty$ ; 体积黏度满足文中给出的线性增长控制. 热导率分解为分子热导和辐射热导,

\kappa(\theta)=\kappa_M(\theta)+\theta^m, \qquad \underline\kappa\leq\kappa_M(\theta)\leq\overline\kappa(1+\theta^\alpha), \qquad m\geq3.

温度正则性部分采用 $$m=3$$ 的假设. 由质量方程对密度项作重整化, 内能方程可以改写为温度的演化方程

\partial_t(c_v\rho\theta+\theta^4) +\operatorname{div}\big((c_v\rho\theta+\theta^4)u\big) +\left(\rho\theta+\frac{1}{3}\theta^4\right)\operatorname{div}u =\mathbb S:\mathbb D u+\operatorname{div}(\kappa(\theta)\nabla\theta).

该方程具有抛物扩散结构, 但并非标准的线性一致抛物方程: 扩散系数依赖温度且具有高温增长, 温度还通过对流与压缩项耦合密度和速度, 黏性耗散则产生由速度梯度控制的源项. 因而经典最大值原理或直接套用标准 De Giorgi 理论并不充分. 温度的局部有界性是进行振荡衰减的前提, 而从弱解所具有的积分控制提升到点态有界及 Hölder 连续, 正是论文的核心分析问题.

作者的主要目标不是无条件证明所有能量弱解均正则, 而是建立一个条件正则性结论: 在温度具有正下界, 密度局部有界且速度满足相应可积性, 并且弱解满足额外的重整化温度不等式时, 温度自动获得局部 Hölder 正则性. 这与 Ladyzhenskaya-Prodi-Serrin 型判据的思路相近, 即以对部分变量的附加可积性换取整体解某一分量的正则性. 其重要性在于, 温度方程的抛物性可能提供弱解构造中所需的正则性增益, 并可作为后续提升整个解正则性的入口.

论文还将这一机制用于一个简化的可压缩热传导势流模型. 假设速度无旋, $u=\nabla\phi$ , 并取常黏性系数, 将动量方程化为椭圆关系 $\Delta u=\nabla p$ . 所得模型为

\begin{cases} \partial_t\rho+\operatorname{div}(\rho u)=0,\\ \Delta u=\nabla p,\\ \partial_t(c_v\rho\theta+\theta^4) +\operatorname{div}\big((c_v\rho\theta+\theta^4)u\big) +\left(\rho\theta+\dfrac{1}{3}\theta^4\right)\operatorname{div}u =|\operatorname{div}u|^2+\operatorname{div}(\kappa(\theta)\nabla\theta),\\ p=\rho^\gamma+\rho\theta+\dfrac{1}{3}\theta^4. \end{cases}

这一模型用于展示温度正则性如何进入强解延拓论证, 而不是对完整 Navier-Stokes-Fourier 系统给出大数据全局正则解. 本文试图补足的空白, 因而包括两个相连层面: 一是在辐射修正压力和非线性热导率下, 建立温度的 De Giorgi 型局部 Hölder 理论; 二是说明这一温度正则性机制可如何支持一个简化势流系统的大数据全局强解. 需要特别指出, 作者采用的可容许重整化弱解定义包含额外的不等式条件; 从弱形式本身能否推出该条件, 作者明确表示尚未解决.

2. 主要定理或主要结果

温度局部有界性, 定理 2.1. 设 $(\rho,u,\theta)$ 是满足文中 Definition 2.1 的可容许重整化弱解, 并在抛物柱 $Q_R=(t_0-R^2,t_0)\times B(x_0,R)$ 内满足

\rho\,\operatorname{div}u\in L^p(Q_R),\qquad p>\frac{5}{2}.

对 $0<R<\min\{\operatorname{dist}(x_0,\partial\Omega),\sqrt{t_0}\}$ , 存在有限常数 $$M=M(R)$$ , 使得

\theta\leq M\quad\text{a.e. 于 }(t_0-R^2/4,t_0)\times B(x_0,R/2).

这是局部上界结论, 时间区间和空间球均经过缩小. 论文摘录未给出 $$M$$ 关于各数据范数的显式定量表达式, 因而不能据此补写具体依赖或增长阶.

温度的局部 Hölder 正则性, 定理 1.1. 设 $(\rho,u,\theta)$ 是三维区域 $Q=(0,T)\times\Omega$ 上的可容许重整化弱解, 并满足文中结构条件及弱解正则性. 对某个 $$p>5/2$$ , 假设

|u|^2\in L^p_{\mathrm{loc}}((0,T]\times\Omega), \qquad \rho\in L^\infty_{\mathrm{loc}}((0,T]\times\Omega),

且存在常数 $\eta>0$ 使得

\theta>\eta\quad\text{于 }Q.

则存在 $\alpha\in(0,1)$ , 其依赖于黏性、热导率等结构常数以及上述局部控制量, 使得

\theta\in C^{\alpha/2,\alpha}_{\mathrm{loc}}((0,T]\times\Omega).

具体地, 对任意紧集 $K\Subset(0,T]\times\Omega$ , 存在 $$C_K>0$$ 使

|\theta(t,x)-\theta(s,y)| \leq C_K\bigl(|x-y|^\alpha+|t-s|^{\alpha/2}\bigr), \qquad (t,x),(s,y)\in K.

结论只在远离初始时刻的局部柱上陈述, 不直接包含 $$t=0$$ 的 Hölder 控制. 作者说明, 初始时刻附近可由较简单的局部正则性处理, 但本摘录没有给出相应定量结论.

温度方程所用的关键截断能量关系. 对上截断 $\theta_C=(\theta-C)_+$ , 重整化不等式给出以 $\theta_C$ 为测试量的能量估计; 对下截断 $\theta_C^-=(C-\theta)_+$ 也有相应估计. 其中上截断能量具有形式

E_b=\frac{1}{2}c_v\rho\theta_C^2+ \frac{4}{5}\theta_C^5+3C\theta_C^4+4C^2\theta_C^3+2C^3\theta_C^2\geq0,

而耗散项控制 $\int_{\{\theta>C\}}\kappa(\theta)|\nabla\theta_C|^2$ . 在 $$m=3$$ 时, 由辐射热导率 $\kappa(\theta)\geq\kappa+\theta^3$ 可同时得到对 $\nabla\theta_C$ 和 $\nabla(\theta_C^{5/2})$ 的控制. 这组上、下截断不等式是有界性与振荡衰减论证的共同基础.

简化势流模型的大数据全局强解, 定理 1.2. 对任意维数 $d\geq1$ , 设 $$p>d+2$$ , 初值满足

0\leq\rho_0\in W^1_p(\mathbb T^d), \qquad 0<\theta_0\leq\overline\theta_0, \qquad \theta_0\in W^{2-2/p}_p(\mathbb T^d).

则系统 (1.25) 存在唯一全局解, 且对任意 $$T>0$$ ,

\rho\in L^\infty(0,T;W^1_p)\cap W^1_p(0,T;L^p), \qquad \theta\in W^{2,1}_p(\mathbb T^d\times(0,T)), \qquad u\in L^\infty(0,T;W^2_p).

并且存在依赖初值和系统参数的常数 $$C$$ 与 $\theta_{\mathrm{MAX}}$ , 使

0\leq\rho(t,x), \qquad \theta_0 e^{-Ct}\leq\theta(t,x)\leq\theta_{\mathrm{MAX}} \quad\text{于 }[0,T]\times\mathbb T^d.

该结论不要求初始数据小, 也不要求密度严格为正; 温度初值的严格正性是重要假设. 此处 $\theta_0$ 在下界公式中表示初始温度的正下界常数, 与温度函数记号沿用原文. 该全局存在结论针对替换了完整动量方程的势流简化系统, 不能外推为完整可压缩 Navier-Stokes-Fourier 系统的大数据全局强解定理.

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

证明温度 Hölder 正则性的主要障碍是温度方程同时含有非线性扩散、输运、压缩项和速度梯度产生的耗散源, 而弱解只有积分意义下的能量控制. 标准线性抛物方程的最大值原理无法直接处理这一结构. 此外, 辐射热导率随温度增长, 使自然控制量并非仅为 $\nabla\theta$ , 而是还涉及高次幂温度的梯度; 对流项则要求将速度的可积性纳入尺度分析.

证明首先在重整化层面构造可用于截断的温度能量不等式. 作者不直接从未经处理的内部能量等式做形式计算, 而是对温度施加函数 $b(\theta)$ , 并利用连续性方程处理 $\rho$ 的输运, 得到 $c_v\rho b(\theta)+\eta_b(\theta)$ 的平衡不等式. 其中 $\eta_b'(\theta)=4b'(\theta)\theta^3$ , $K_b'(\theta)=b'(\theta)\kappa(\theta)$ . 取适当的二次上截断和下截断, 得到文中的 (2.4)、(2.5). 上截断能量包含 $\rho\theta_C^2$ 和 $\theta_C^2$ 至 $\theta_C^5$ 的非负项; 扩散耗散则控制 $\kappa(\theta)|\nabla\theta_C|^2$ . 这一安排将高温辐射扩散转化为 $\nabla(\theta_C^{5/2})$ 的控制, 是非线性热导率进入 De Giorgi 迭代的关键方式.

上界证明采用递减的抛物柱和递增的截断水位. 例如令

r_k=\frac{R}{2}(1+2^{-k}), \qquad Q_k=(t_0-r_k^2,t_0)\times B(x_0,r_k), \qquad C_k=M(1-2^{-k-1}),

并对 $\theta_k=(\theta-C_k)_+$ 建立局部能量估计. 取支撑在相邻空间球内的截断函数, 将截断能量不等式中的扩散边界项用 Young 不等式吸收到左端, 其余部分由截断函数导数、对流项和源项控制. 对时间变量在相邻时间层之间取平均并对时间终点取上确界, 得到可供迭代使用的时空能量界. 证明目标是使相应超水平集量趋于零, 从而推出较小柱上的温度上界. 定理 2.1 中假设 $\rho\operatorname{div}u\in L^p$ , $$p>5/2$$ , 用于控制压缩耦合项; 该条件与 Hölder 定理的速度假设不是同一条假设, 不应混为一谈.

在得到局部有界性后, 作者再运用非齐次 De Giorgi 框架证明尺度不变的振荡衰减. 振荡衰减可在连续缩小的抛物柱上迭代, 产生温度的 Hölder 模量. 论文明确指出其论证沿用 Vasseur 的非齐次 De Giorgi 框架, 并采用 Guerand 的定量抛物方法及其相应引理; 附录补充了迭代引理和 De Giorgi 引理的证明. 现有摘录没有呈现第 3 节的完整计算和各中间引理陈述, 因而无法据此可靠列出每一步振荡估计的常数、缺陷项形式或迭代指数. 可以确认的是, 证明被组织为先独立取得 $L^\infty$ 上界, 再进行振荡缩减, 最终由尺度迭代导出 $C^{\alpha/2,\alpha}$ 正则性.

第二部分将温度正则性用于势流系统的强解延拓. 作者先在 $$p>d+2$$ 的初值正则性下建立局部强解, 不以数据小为条件; 通过密度最大值控制和温度方程估计得到 $\operatorname{div}u$ 的一致控制, 并进而获得温度上界及随时间至多指数衰减的正下界. 再将温度方程的条件 Hölder 结论用于获得温度正则性, 结合连续性方程的 Slobodeckij 空间分析和 $L^\infty$ -BMO 型对数估计控制密度正则性, 最后使用抛物方程估计提升到 $W^{2,1}_p$ . 这些界给出强解延拓判据, 排除有限时间内失去正则性的情形. 这一应用中的完整估计细节在所提供摘录中仅作概述, 不宜进一步补写未展示的计算.

一个需要区分的逻辑点是, De Giorgi 论证依赖 Definition 2.1 中额外假设的重整化温度不等式. 作者明确承认, 目前不能先验地从 Definition 1.1 的弱形式推出该不等式; 因而本文证明的是满足该加强框架的可容许重整化弱解的正则性, 而不是任意标准能量弱解的自动正则性. 这一设定既使截断操作合法, 也构成结果适用范围的重要限制.

4. 与之前工作的比较

与经典可压缩 Navier-Stokes-Fourier 正则性理论相比, 本文的重点不是小扰动平衡态附近完整系统的常规强解理论. 作者提及 Matsumura-Nishida、Valli、Valli-Zajączkowski、Danchin、Cho-Kim 以及第三作者与 Pokorný 等关于小扰动或强解正则性的工作, 并将本文的温度 De Giorgi 机制视为一种新的正则性途径. 其差异在于, 本文从弱解层面的温度平衡及其截断不等式出发, 在密度、速度满足条件正则性且温度有正下界时, 直接得到温度局部 Hölder 连续性. 这并不替代已有的小数据强解结果, 也未对完整系统给出大数据全局正则性.

与压缩流体弱解存在理论相比, 作者引用 Lions、Feireisl、Feireisl-Novotný、Kreml 等人的工作, 并指出温度正则性可能帮助弱解构造中的近似解提升步骤. 论文的设想是: 若近似层面已有足够的密度、速度信息, 温度方程的抛物结构即可给出 Hölder 正则性, 从而便于后续标准抛物估计提升正则性, 减轻某些紧性或近似论证负担. 但这属于作者对潜在应用的解释, 不是本文已经完成的一般弱解存在性证明. 尤其 Definition 2.1 所需的重整化不等式能否从常见弱解框架导出, 作者明确称仍需额外论证, 并作为未来问题提出.

相较于 Mellet-Vasseur [27]、Baer-Vasseur [2] 以及 Wang-Zuo [32] 的 De Giorgi 型工作, 本文把关注点从温度正下界推进到温度的局部上界和 Hölder 连续性. 前述工作主要利用熵形式的热能量关系和温度的对数截断来建立正下界; 熵产生中出现约为 $1/\theta$ 的奇异权重, 在低温和真空情形下导致技术困难. 本文则在重整化内部能量不等式中使用二次上、下截断 $\frac12(\theta-C)_+^2$ 与 $\frac12(C-\theta)_+^2$ , 由此构造上界迭代及振荡缩减, 目标结论因而更偏向温度的连续性而非单纯正性.

热力学模型方面, Mellet-Vasseur 处理温度仿射进入压力的情形, Baer-Vasseur 扩展到更一般本构关系, 但据本文介绍, 这些工作不包含本文所强调的 Stefan-radiation 压力修正. Feireisl [14] 的结果处理包含辐射项的一般压力, 但依赖第三定律热力学假设, 其目标与技术框架也不是本文的局部 Hölder 结论. 本文并未证明自身所需的温度严格正下界可在该压力关系下普遍成立; 作者指出, 对包含辐射压力的 (1.7) 建立相应下界计划留待后续工作. 因此定理 1.1 的 $\theta>\eta>0$ 是实质性条件, 而非本文推导出的结论.

从假设强度看, Hölder 定理要求 $\rho\in L^\infty_{\mathrm{loc}}$ , $|u|^2\in L^p_{\mathrm{loc}}$ 且 $$p>5/2$$ , 并假设温度有正下界; 同时还要求可容许重整化弱解所具有的能量正则性和重整化不等式. 这比“仅有有限能量的任意弱解自动温度正则”弱得多, 但与作者所说的条件正则性目标一致. 另一个局部有界性定理使用的是 $\rho\operatorname{div}u\in L^p$ , $$p>5/2$$ , 因而有界性估计和最终 Hölder 定理所需的假设分别表述, 不能将它们简化成一个未在原文陈述的统一条件. 定理仅给局部空间时间 Hölder 连续性, 不给出 Hölder 指数的显式数值或全局常数估计, 且局部结论避开初始时刻.

与标准 De Giorgi 理论相比, 本文的推进并非发明新的迭代原理, 而是将 Vasseur 的非齐次框架和 Guerand 的定量抛物工具适配到包含输运、压缩、温度依赖热导率及速度耗散源项的热传导流体系统. 代价是必须把重整化不等式纳入解的定义, 并施加密度、速度及温度下界条件. 摘录没有给出与既有定理逐项比较的最优性结论, 因而无法确认 $$p>5/2$$ 是否为必要或最佳阈值, 也不能断言该指数相较于某个前人结果已被最优放宽.

第二项结果与完整流体系统的全局理论应严格区分. 定理 1.2 研究的是环面上的势流简化模型, 以 $\Delta u=\nabla p$ 取代完整动量演化方程, 采用常数黏性系数, 并对初值要求 $$p>d+2$$ 及相应 Sobolev 正则性. 在这些条件下, 作者证明任意大小初值对应唯一全局强解, 且密度允许真空, 温度保持正并至多指数衰减. 这相较于经典小扰动正则解理论放宽的是数据大小限制, 不是模型结构或正则性要求; 它也不能推出完整 Navier-Stokes-Fourier 系统对大数据全局强解的存在. 作者将这一结果定位为定理 1.1 的应用示范, 而非对完整系统全局理论的解决.

总体而言, 本文的主要增量是针对含 Stefan-radiation 修正的热传导可压缩流体, 建立一个以重整化内部能量不等式为基础的温度局部有界与 Hölder 正则机制, 并将该机制用于一个特定势流模型的大数据全局延拓. 其适用边界同样清楚: 正温度下界尚未在该辐射压力模型的一般弱解框架中由本文证明, 重整化不等式的来源仍未解决, 正则性定理是局部且条件性的, 全局强解结论则仅针对简化势流系统. 除上述文中明确提及的工作和差异外, 更细的定量比较及阈值最优性从提供内容中无法确认.

4. 强理想气体激波层的谱稳定性

Spectral stability for strong ideal-gas shock layers

作者: Jeffrey Humpherys

类别: math.AP

发布日期: 2026-10-15

arXiv ID: 2610.22660v1

摘要翻译: 我们为具有常黏度和热传导的完整理想气体 Navier–Stokes 方程，给出了充分强激波层一维谱稳定性的纯解析证明。早期工作将这一问题归约为一个极限问题，并给出了稳定性的数值证据，但尚未给出证明。我们证明了在气体常数和输运系数比值的一个显式区域内稳定性成立，该区域包含空气和单原子气体。论证的任何步骤都不依赖数值计算；此外，将 Humpherys、Lyng 和 Zumbrun 的已有结果作为假设，这些论证也已在 Lean 证明助手中得到验证。

Comment: 无

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

1. 研究对象和背景

本文研究一维、常黏性与热传导的全理想气体 Navier–Stokes 方程中，强黏性激波层的谱稳定性。激波在无黏模型中表现为连接两个常状态的间断；加入黏性和热传导后，它成为连接两端平衡态的光滑行波。本文采用拉格朗日坐标，并经过尺度变换、黏性归一化及移动坐标变换，将模型写为

\begin{aligned} v_t+v_x-u_x&=0,\\ u_t+u_x+p_x&=\left(\frac{u_x}{v}\right)_x,\\ E_t+E_x+(pu)_x&=\left(\frac{uu_x+\nu e_x}{v}\right)_x,\\ E&=e+\frac{u^2}{2},\qquad p=\frac{\Gamma e}{v}. \end{aligned}

这里 $$v,u,e$$ 分别为比容、速度和比内能， $\Gamma=\gamma-1>0$ 是气体常数， $\nu=\kappa/(c_v\mu_{\mathrm{eff}})>0$ 是归一化热传导与黏性之比。除作物理解释时采用的 Stokes 假设外，谱结果直接以 $\Gamma,\nu$ 表述，不要求特定的 Prandtl 数约定。

行波剖面以 $\hat v,\hat u,\hat e$ 表示。归一化后 $\hat u=\hat v-1$ ，上游态为 $$(1,0,e_-)$$ ，下游比容为 $$v_+$$ 。Rankine–Hugoniot 关系给出

v_*:=\frac{\Gamma}{\Gamma+2}<v_+<1,\qquad a_*:=1-v_* =\frac{2}{\Gamma+2},\qquad e_- =\frac{(\Gamma+2)v_+-\Gamma}{2\Gamma(\Gamma+1)}.

$v_+\to v_*$ 等价于强激波极限；此时 $e_-\to0$ ，但比容仍有正下界，极限剖面的下游内能为 $$a_*^2/2$$ 。剖面满足的常微分方程在该极限仍有定义：

\hat v'=\hat v(\hat v-1)+\Gamma\hat e,\qquad \hat e'=\frac{\hat v}{\nu}\left(\hat e-\frac{(\hat v-1)^2}{2}\right),

并连接 $(-\infty)$ 处的 $$(1,0)$$ 与 $(+\infty)$ 处的 $$(v_*,a_*^2/2)$$ 。一般参数下剖面并无显式公式。

问题的重要性在于，谱稳定性是黏性激波能否在小扰动下保持其波形、以及黏性模型与无黏极限联系的重要线性判据。平移不变性使未积分线性化算子有平移特征值 $\lambda=0$ ；两端常态又使本质谱触及虚轴原点，因而不能依赖普通的谱隙论证。研究通常改用 Evans 函数：其零点对应满足两端空间衰减条件的特征解，谱稳定性可表达为闭右半平面内没有 Evans 零点。本文沿用 Humpherys、Lyng 和 Zumbrun 对强激波极限的分析：在适当归一化下，剖面与 Evans 函数连续延伸到极限，且潜在不稳定特征值有统一界。因此，只要证明极限问题的 Evans 函数在 $\operatorname{Re}\lambda\ge0$ 不为零，就可推出充分强的有限振幅激波稳定。

此前对全理想气体方程的强激波问题已有广泛数值证据，但没有解析证明。困难不只是极限剖面是否存在，而是部分扩散结构：动量和热能有扩散，质量方程没有扩散；积分特征方程中的热方程又通过 $$v'$$ 与质量扰动耦合，常规加权能量估计不能直接控制该项。本文的目标是为极限剖面建立解析的 Evans 非消失证明，并据此在明确的气体常数和热传输参数范围内推出有限强激波稳定，而不以数值计算作为证明步骤。结论针对上述常系数理想气体模型，不涵盖温度依赖输运系数或其他附加物理效应。

2. 主要定理或主要结果

主要结论都是关于积分 Evans 函数的非消失，即排除与物理问题相容的积分特征解，而非断言极限算子具有谱隙。令 $D_*(\lambda;\Gamma,\nu)$ 表示强激波极限剖面的积分 Evans 函数。

定理 1.1（Becker 参数线）。若 $0<\Gamma\le1$ 且 $\nu=\Gamma+1$ ，则

D_*(\lambda;\Gamma,\Gamma+1)\ne0\qquad (\operatorname{Re}\lambda\ge0).

该参数线上极限剖面可显式表示。令 $\gamma=\Gamma+1$ ，则对任意平移 $$x_0$$ ，

s(x)=\frac{1}{1+\exp((x-x_0)/\gamma)},\qquad \hat v=\frac{\Gamma+2s}{\Gamma+2},\qquad \hat e=\frac{1-\hat v^2}{2\gamma}.

在 Stokes 假设下，该参数线对应 $\mathrm{Pr}=3/4$ 。定理排除闭右半平面内所有积分 Evans 零点，包括零频率。

定理 1.2（显式热传输区域）。设

\mathcal T=\left\{(\Gamma,\nu):0<\Gamma\le\frac23,\quad 1+\frac{\Gamma}{2}\le\nu\le1+\frac{3\Gamma}{2}\right\}.

对每个 $(\Gamma,\nu)\in\mathcal T$ ，有

D_*(\lambda;\Gamma,\nu)\ne0\qquad (\operatorname{Re}\lambda\ge0).

该区域不是只给出 Becker 线附近的定性开邻域，而是明确给出随 $\Gamma$ 变化的闭参数带。对应的物理 Prandtl 数区间为

\frac{3(1+\Gamma)}{4(1+3\Gamma/2)}\le\mathrm{Pr}\le \frac{3(1+\Gamma)}{4(1+\Gamma/2)}.

例如， $\Gamma=2/5$ 时区间为 $$[21/32,7/8]$$ ； $\Gamma=2/3$ 时为 $$[5/8,15/16]$$ 。文中指出空气对应的约 $\nu\approx1.47$ 及单原子气体动理学值 $\mathrm{Pr}=2/3$ 均落在相应范围内。

推论 1.3（显式区域内的有限强激波）。若 $I\subset(0,2/3]$ 是紧区间，则存在 $\delta_I>0$ ，使得只要

\Gamma\in I,\qquad 1+\frac{\Gamma}{2}\le\nu\le1+\frac{3\Gamma}{2},\qquad 0<v_+-v_*(\Gamma)<\delta_I,

相应有限激波满足积分 Evans 稳定条件。 $\delta_I$ 对整个闭热传输带一致，但该结果没有给出振幅阈值在 $\Gamma\downarrow0$ 时的一致性，也没有给出可显式计算的 $\delta_I$ 。

定理 1.4（Becker 线附近参数的有限强激波）。若 $I\subset(0,1]$ 为紧区间，则存在 $\epsilon_I,\delta_I>0$ ，使得

\Gamma\in I,\qquad |\nu-(\Gamma+1)|<\epsilon_I, \qquad 0\le v_+-v_*(\Gamma)<\delta_I

蕴含

D(\lambda;\Gamma,\nu,v_+)\ne0\qquad (\operatorname{Re}\lambda\ge0).

这里的热传输参数邻域和振幅阈值是存在性结论，且可选取为使 $\nu>0,v_+<1$ ；文中摘要和所给定理没有给出这些常数的具体数值。

证明中，非零频率的排除来自改变热变量后的加权能量估计；零频率另由剖面的变分方程及从正频率延拓来的 outgoing 条件处理。对于强激波极限，上游存在中性输运分支，故结果不是谱隙结论；在 $\lambda=0$ 时，延拓的下游 outgoing 空间可含有非零有界模式，不能仅证明双端衰减核为空。有限强激波结论再使用 [15] 中的 Evans 函数连续性、强高频控制及潜在不稳定零点的统一界。文中还说明，论证已经在 Lean 中形式化核验；不过该核验把若干先前结果和分析输入作为明确假设，并非从零形式化所有剖面存在性与 Evans 理论。

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

证明的核心障碍是质量方程无扩散所造成的非对称耦合。对强激波极限的积分特征方程，质量方程为 $\lambda v+v'=u'$ ；热方程含有 $\nu\hat e'v'/\hat v^2$ ，而热扩散只直接控制热变量的二阶导数。若直接对原变量做能量估计，质量扰动导数所带来的项无法由扩散耗散吸收。作者的关键处理不是简单改变权重，而是构造依赖剖面的热变量变换，使这一质量导数项精确消失。

具体地，令 $a=1-\hat v$ ，并定义

c=\frac{\nu\hat e'}{a\hat v} =\frac{\hat e-a^2/2}{a},\qquad h=\varepsilon+cu,

其中 $u,\varepsilon$ 是积分谱扰动。将动量方程乘以 $$c$$ 后加到热方程，利用剖面关系

\frac{\nu\hat e'}{\hat v^2}-\frac{ca}{\hat v}=0

恰好抵消 $$v'$$ 项。 $(u,\varepsilon)\mapsto(u,h)$ 是行列式为 $$1$$ 的三角变换，没有把热扰动约束成速度扰动的函数，也不改变独立未知量的维数。变换后质量导数只留在动量方程；其余质量耦合在作者选择的加权能量恒等式中以空间导数形式出现，对可容许解积分时不贡献净能量。这个消去对所有 $\Gamma,\nu>0$ 成立，参数限制只在后续的正性估计中出现。

能量估计还需要选取适配极限下游态的正权重，文中给出

\eta=\frac{a_*v_*}{\Gamma}=\frac{2}{(\Gamma+2)^2}.

其作用是消去下游极限处的一阶导数交叉项，使能量恒等式的边界系数具有所需的退化结构。作者随后把能量耗散的正性归结为剖面系数的标量不等式。提供的 PDF 摘录止于能量恒等式推导的开头，没有包含后续各项的完整代数表达、逐项估计及精确正性界；因此，不能仅凭现有摘录可靠重构这些不等式的具体形式或常数。

两个参数范围对应两种不同的剖面控制方式。在 $\nu=\Gamma+1$ 上，显式 Becker 极限剖面将系数写成 logistic 变量 $$s$$ 的函数，利用 $$0<s<1$$ 及 $s'=-s(1-s)/(\Gamma+1)$ 对能量系数作直接估计。离开该直线时没有显式剖面，作者转而控制归一化斜率

z=-\frac{\hat v'}{as},\qquad s=\frac{\hat v-v_*}{a_*}.

引理 2.2 给出的不变区间是

\min\left\{\frac1{\Gamma+1},\frac1\nu\right\} \le z\le \max\left\{\frac1{\Gamma+1},\frac1\nu\right\}.

在定理 1.2 的参数带内，令 $g=\Gamma,n=\nu$ ，并取

k=\frac{n-1}{g},\qquad t=\frac{1-z}{gz},

则 $1/2\le k\le3/2$ ，且 $$t$$ 夹在 $$1$$ 与 $$k$$ 之间，同时 $$z=1/(1+gt)$$ 。这使得后续能量系数可由有限的标量范围控制，而不必求出整条剖面。其动力系统依据是消去 $\hat e$ 后所得的 $$(s,z)$$ 系统中， $$z$$ 方程在 $$s=0,1$$ 的水平边界上具有适当指向；从下游平衡点的稳定分支反向演化，轨道保持在区间内。

零频率是另一个独立障碍。积分 Evans 函数的 incoming/outgoing 空间是在 $\operatorname{Re}\lambda>0$ 的物理问题中定义并延拓的；极限上游有中性输运支，且 $\lambda=0$ 的 outgoing 模式可以趋于非零常数。因此，针对 $\operatorname{Re}\lambda>0$ 得到的能量估计不能不加处理地覆盖零频率，也不能以“无双端衰减解”替代所需的 Evans 非消失。作者以剖面的变分方程识别零频率解，并结合由正频率延拓确定的 outgoing 条件排除非平凡 admissible 解。摘录未给出这一段证明的完整矩阵计算，故其精确的模态系数和边界配对不能从所提供内容中确认。

最后，极限剖面的非消失并不自动等于有限振幅结论。作者调用 [15] 的连续依赖与高频估计：强激波极限附近，可能位于闭右半平面的 Evans 零点被统一限制在有界频率范围内；在该紧频率区域使用 Evans 函数对参数的连续性，将极限非消失传递到充分强但有限的激波。摘要强调证明不使用剖面数值积分、Evans 函数数值计算或数值不等式验证。Lean 核验检查了作者列出的推导链条，但其外部假设包括极限剖面及端态收敛、适 admissible 解的指数衰减或延拓性质、下游鞍点结构，以及 [15] 中的 Evans 连续性、高频界和零点刻画；所以形式化核验应理解为在这些分析前提下的推理核查。

4. 与之前工作的比较

本文首先推进的是全理想气体方程的强激波谱稳定性。弱激波情形已有较成熟理论：Kawashima 与 Matsumura、Goodman、Liu、Szepessy 与 Xin 的能量方法，以及 Humpherys 与 Zumbrun、Plaza 与 Zumbrun、Freistühler 与 Szmolyan 等人的谱分析，依赖剖面振幅小或剖面变化小。本文不沿用小振幅展开，而处理 $v_+\to v_*$ 的强激波极限，并利用极限剖面的全局系数结构。现有材料指出，对强激波的解析结果此前较少，且若干大振幅结果并不适用于全理想气体模型。

比较对象中，等熵气体动力学已有不同路线。Humpherys、Lafitte 与 Zumbrun 对等熵强激波作适当缩放，将 Evans 函数约化到极限问题，并对极限问题作能量估计；结合有限振幅数值计算，得到一定绝热指数范围内的结论。之后 He 与 Huang 对包含多方气体情形的一般压力律、且黏性可随密度平滑变化的等熵方程证明了任意振幅非线性稳定性。Matsumura 与 Nishihara 则处理绝热指数接近 $$1$$ 的等熵大振幅问题。这些结果不能直接代替本文结论，因为全理想气体系统还包含独立扩散的热能方程及质量—热扰动耦合。本文针对的是该更完整系统的强激波谱问题，而非等熵约化模型的推广性推论。

最直接的前置工作是 Humpherys、Lyng 与 Zumbrun [15]。该工作发现，对全理想气体强激波作适当重标度后，比容保持有界且远离零，退化主要体现在上游内能趋于零；剖面和 Evans 函数可连续延伸到强激波极限，并给出可能不稳定特征值的统一界。其数值研究在绝热指数约 $$1.2$$ 至 $$3$$ 及较广热传导/黏性比范围内发现稳定，包括空气参数；但作者明确指出数值结果不是证明， rigorous verification 是开放问题。本文沿用 [15] 建立的极限框架、高频控制与连续性结论，将关键缺口替换为极限 Evans 函数非消失的解析证明。新结论的参数范围是明确的：一条 $0<\Gamma\le1,\nu=\Gamma+1$ 的 Becker 线，以及 $0<\Gamma\le2/3$ 上的闭带 $1+\Gamma/2\le\nu\le1+3\Gamma/2$ ；并进一步得到相应的有限强激波结论。

本文与计算型 Evans 方法的差别在于证明机制，而非否定数值工作的价值。Barker 对相关问题展示了区间算术计算机辅助证明原则上可行，但该路线需要对剖面和 Evans 函数在连续参数集合上进行严格包络控制。本文选择先解析处理单个强激波极限问题，再用既有连续性和高频定理传回有限振幅参数；正文声称没有任何步骤依赖数值积分、数值 Evans 函数或数值不等式。相应代价是参数范围并非所有物理参数：定理 1.2 只覆盖上述显式带，定理 1.1 和 1.4 分别覆盖 Becker 线及其定性邻域；文章也明确不声称对所有正热传输参数稳定。

关于结论类型，本文证明的是积分 Evans 稳定条件。它与非线性 orbital stability 的联系来自既有的 Green 函数和非线性理论，例如 Zumbrun 与 Howard、Mascia 与 Zumbrun 的工作；本文本身的主要定理不是对所有扰动直接建立非线性衰减估计。对强激波极限，也不能把结论误读为存在谱隙：上游有中性输运支，essential spectrum 可触及虚轴；积分变量用于处理平移零模及低频结构。零频率必须按照从物理问题延拓的 outgoing 空间来判定，单纯排除双端衰减解并不足够。

适用范围仍有明确边界。有限激波阈值 $\delta_I$ 和传输邻域宽度 $\epsilon_I$ 仅被证明存在，未在所给内容中给出显式数值；且推论 1.3 不主张当 $\Gamma\downarrow0$ 时阈值一致。模型假设常系数黏性和热传导，不能据此推出温度依赖输运、其他状态方程或多维扰动的稳定性。此前 Humpherys 等人的多维研究在材料中被描述为数值研究，本文结果则是一维解析结论。最后，Lean 形式化提高了推导可审查性，但明确把剖面存在及渐近、适定谱空间延拓和 [15] 的 Evans 分析结果作为假设；不能将其表述为所有分析基础均已在 Lean 内部从头证明。

5. 三维自由边界欧拉流中的空腔塌缩与动能集中

Cavity collapse and kinetic energy concentration in three-dimensional free-boundary Euler flow

作者: Tao Luo, Siqi Yang

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23605v1

摘要翻译: 我们构造了三维不可压自由边界欧拉方程在有界区域中的光滑轴对称解，其中管状空腔在有限时间 $$T$$ 塌缩至一个圆。速度具有单值势函数，且该构造既适用于无表面张力的情形，也适用于任意固定正表面张力的情形。塌缩发生之前，两个边界分支始终嵌入且互不相交，而外边界光滑收敛。终态外部子午域可以是任意光滑有界单连通域，且其闭包与旋转轴分离；生成塌缩圆的内部点和正的集中能量可以彼此独立地指定。我们证明了精确的塌缩律：半径渐近于 $(T-t)^{1/2}|\log(T-t)|^{-1/4}$ 的一个显式倍数；我们还确定了曲率爆破的渐近行为，并证明动能在该圆上均匀集中。对于一个典范的反射对称解族，我们识别出共同的柱状时空极限以及精确的速度和压力剖面。在极限外边界所围区域内、且远离塌缩圆的每个固定空间点处，速度趋于零，而压力趋于正无穷。对于该解族，我们刻画了极限物质映射的拓扑，并证明其具有最优的 $$1/2$$ -Hölder 正则性及精确的 $W^{1,p}$ 阈值 $1\le p<2$ ；其一阶导数属于弱 $$L^2$$ ，但不属于 $$L^2$$ 。这些典范解存在保持质量与动量的弱延拓，且其总能量在塌缩时恰好减少集中动能的大小。

Comment: 95 pages, 8 figures

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

1. 研究对象和背景

本文研究三维不可压缩自由边界欧拉方程中一个自由边界分量在有限时间内退化的机制。与固定区域欧拉方程中由涡量增长导致的奇性不同，这里的速度始终是单值速度势的梯度，因而涡量与环量均为零；奇性由运动区域几何退化以及势流能量向退化集合集中共同承载。研究对象是有界轴对称流体区域，边界由包围管状空腔的内边界和外自由边界组成。内边界在子午截面中收缩到一个点，旋转后即成为空间中的圆周；与此同时，外边界保持光滑并收敛到非退化极限。

对固定表面张力系数 $\sigma\geq 0$ ，流体速度 $$v$$ 、压力 $$p$$ 和流体区域 $\Omega_t\subset\mathbb R^3$ 满足

\begin{cases} \partial_t v+(v\cdot\nabla)v+\nabla p=0, & x\in\Omega_t,\\ \nabla\cdot v=0, & x\in\Omega_t,\\ p=\sigma H, & x\in\partial\Omega_t,\\ V_{\partial\Omega_t}=v\cdot n, & x\in\partial\Omega_t. \end{cases}

其中 $$n$$ 是流体外法向， $H=\operatorname{div}_{\partial\Omega_t}n$ 是平均曲率， $V_{\partial\Omega_t}$ 是边界法向速度。作者构造 $v=\nabla\Phi$ 且 $\Phi$ 单值的轴对称解。用柱坐标 $(\rho,\varphi,z)$ 描述几何，流体边界写作 $\partial\Omega_t=\Gamma_-(t)\cup\Gamma_+(t)$ ，其中 $\Gamma_-(t)$ 是空腔边界， $\Gamma_+(t)$ 是外边界。子午截面中的终端外域 $$D^*$$ 是与旋转轴保持正距离的光滑有界单连通域，其旋转体为 $\Omega^*$ ；指定内部点 $$c^*=(R^*,Z^*)$$ 旋转后得到塌缩圆周

\gamma^*=\{(R^*\cos\varphi,R^*\sin\varphi,Z^*):\varphi\in\mathbb T\},\qquad L^*=2\pi R^*.

关键未知量除了自由边界和速度势，还包括内边界的平均半径 $$a(t)$$ 、塌缩中心以及沿塌缩圆周集中的极限动能分布。问题的核心不是单纯证明某个边界点发生接触，而是同时控制两条边界的演化、内边界的精细塌缩尺度、外边界的平滑终端行为，以及动能在奇性发生时如何转化为一维圆周上的测度。

该问题与经典空腔塌缩和气泡颈缩模型有关。薄管的对数容量会引入对数修正，已有势流渐近分析给出过类似 $T-t\asymp a^2\sqrt{\log(1/a)}$ 的尺度关系；但从模型或渐近分析到三维有界区域内两个自由边界的完整欧拉演化，仍须解决非局部椭圆耦合、自由边界稳定性和终端奇性构造等问题。本文试图补足的正是这一层严格构造：在无表面张力及任意固定正表面张力下，实现全局势流的有限时空腔塌缩，给出塌缩常数、曲率和能量测度的精确渐近，并进一步刻画典型对称解的局部时空剖面、物质映射退化及跨奇性弱延拓。摘要和定理陈述还强调，终端外域、塌缩圆周所在点和正的集中能量可以在所述几何类别内分别指定；这种独立指定使构造不局限于单一圆环几何。

2. 主要定理或主要结果

主要结论分为一般指定终端几何的构造，以及由特定终端圆形子午截面选出的典型反射对称轨道的精细性质。

首先，定理 1.1 设 $D^*\Subset\{(\rho,z):\rho>0\}$ 为光滑有界单连通域， $c^*=(R^*,Z^*)\in D^*$ ，并令 $\Omega^*$ 是 $$D^*$$ 绕 $$z$$ 轴的旋转体。对任意固定 $\sigma\geq0$ 和 $$E_c>0$$ ，存在有限时间 $$T$$ 上的光滑轴对称全局势流解。对每个 $$t<T$$ ，内外边界均嵌入且互不相交； $\Gamma_+(t)$ 光滑收敛到 $\partial\Omega^*$ ，而 $\Gamma_-(t)$ 收缩到圆周 $\gamma^*$ 。若 $$a(t)$$ 为内边界子午截面的角向平均半径， $\ell>0$ 为固定局部参考长度，则

T-t=\frac12\sqrt{\frac{\pi L^*}{E_c}}\,a(t)^2\sqrt{\log\frac{\ell}{a(t)}}\,(1+o(1)),

等价地，

a(t)=2^{3/4}\left(\frac{E_c}{\pi L^*}\right)^{1/4}(T-t)^{1/2}|\log(T-t)|^{-1/4}(1+o(1)).

因此主导系数由集中能量 $$E_c$$ 和塌缩圆周长度 $$L^*$$ 决定。内边界平均曲率满足

\|H(t)\|_{L^2(\Gamma_-(t))}\sim (2\pi L^*)^{1/2}a(t)^{-1/2},

以及

\|H(t)\|_{H^{3/2}_{\rm sp}(\Gamma_-(t))} \sim \sqrt{\frac{2\pi^2}{R^*}}\,a(t)^{-1} \asymp (T-t)^{-1/2}|\log(T-t)|^{1/4}.

将速度在流体外延拓为零，动能测度满足有限 Radon 测度意义下的收敛

\frac12|\widetilde v(t,x)|^2\,dx\rightharpoonup^*\frac{E_c}{L^*}\,\mathcal H^1\!\restriction_{\gamma^*}.

定理 1.5 对典型反射对称轨道给出更强结论。内边界可写成以瞬时中心圆周为基准的相对图 $r=a(t)(1+\eta(t,\theta))$ ，其中 $\|\eta(t)\|_{H^2}=o(1)$ 、 $\|\eta(t)\|_{H^{7/2}}=o(a(t))$ ，中心半径趋于 $$R^*$$ 。除上述塌缩率、曲率渐近和能量集中外，能量还具有对数径向尺度上的均匀分布：令 $r_\lambda(t)=r_0^{1-\lambda}a(t)^\lambda$ ，对每个固定 $0<\lambda<1$ ，有

\frac12\int_{\Omega_t\cap N_{r_\lambda(t)}(\gamma(t))}|v|^2\,dx\longrightarrow (1-\lambda)E_c.

而对任意固定 $$C>1$$ ，半径 $$Ca(t)$$ 管状邻域中的动能趋于零。这说明全部极限动能并非聚集在与空腔同阶的极薄层，而是在多个对数径向尺度上分布。

对零延拓速度， $1\leq p<2$ 时有 $\widetilde v(t)\to0$ 强收敛于 $L^p(\mathbb R^3)$ ，但在 $$L^2$$ 中仅弱收敛到零，且 $\|\widetilde v(t)\|_{L^2}^2\to2E_c$ 。内边界法向速度的 $$L^2$$ 范数按定理 1.5(ii)(b) 给出的 $q(t)a(t)^{-1/2}$ 尺度发散，且

\lim_{t\uparrow T}(T-t)\|\nabla v(t)\|_{L^\infty(\Omega_t)}=\frac12.

在任意紧集 $K\Subset\Omega^*\setminus\gamma^*$ 上，速度趋于零并在任意固定阶空间导数意义下收敛；压力则满足

(T-t)|\log(T-t)|^{3/2}p(t)\longrightarrow \sqrt{\frac{E_c}{2\pi L^*}}\,U^* \quad\text{于 }C^k(K),

其中 $$U^*>0$$ 是零边界值分布解 $-\Delta U^*=2\pi\mathcal H^1\!\restriction_{\gamma^*}$ 。故每个固定的 $x\in\Omega^*\setminus\gamma^*$ 处速度趋零而压力趋于正无穷。

命题 1.9 给出共同的柱面局部极限。以塌缩圆周上的任意点为中心，将空间尺度除以 $$a(t_j)$$ 、时间尺度除以剩余寿命 $$T-t_j$$ ，并按规定缩放速度和压力后，内边界趋于半径 $\sqrt{1-\tau}$ 的直圆柱；柱外的极限场为

u_\infty(\tau,z)=-\frac{z_\perp}{2r^2},\qquad \pi_\infty(\tau,z)=\frac18\left(\frac1{1-\tau}-\frac1{r^2}\right), \quad r=|z_\perp|.

在紧的柱外时空集上，速度、压力及任意固定阶空间导数一致收敛；极限与所选塌缩圆周点及放大序列无关。

定理 1.10 刻画物质映射 $$X_T$$ 。它是一致极限，且 $\|X_T-X_t\|_{C^0}=a(t)(1+o(1))$ ；终端模连续性满足 $c\sqrt\delta\leq\omega_T(\delta)\leq C\sqrt\delta$ ，故最优 Hölder 指数为 $$1/2$$ 。内边界初始子午线分别塌到塌缩圆周上的点， $X_T^{-1}(\gamma^*)=\Gamma_-(0)$ ，流体内部映到 $\Omega^*\setminus\gamma^*$ 的映射是光滑微分同胚，且 $\det DX_T=1$ 。材料映射在 $W^{1,p}$ 中对 $1\leq p<2$ 强收敛， $DX_T\in L^{2,\infty}\setminus L^2$ ；临界指数 $$p=2$$ 不成立。靠近初始内边界时，有限时刻的三个奇异值满足

s_1(DX_t)\asymp(a(t)^2+d)^{-1/2},\quad s_2(DX_t)\asymp1,\quad s_3(DX_t)\asymp(a(t)^2+d)^{1/2},

其中 $$d$$ 是到初始内边界的距离。

最后，定理 1.5 与 1.7 给出弱填充延拓：奇性时刻的状态取为 $(\Omega^*,0)$ ，总能量恰好损失 $$E_c$$ ，局部能量方程的缺陷为

\partial_tE+\operatorname{div}_xF =-\delta_T\otimes\left(\frac{E_c}{L^*}\mathcal H^1\!\restriction_{\gamma^*}\right).

正表面张力时，之后接从静止填充域出发的经典毛细欧拉解，总能量为 $\sigma|\Gamma_+^*|$ ；零表面张力时，可取 $t\geq T$ 的静止解 $$v=p=0$$ ，之后总能量为零。两种情形都不存在边界非退化且在 $$H^4$$ 中连续的强自由边界延拓。

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

证明面对的主要困难，是空腔半径趋零时内边界附近的调和势流出现强烈尺度分离，而外边界仍须维持高阶光滑控制。薄管的横截面尺度为 $$a(t)$$ ，但影响整体势流和能量的对数项来自从空腔尺度到固定外尺度之间的宽广区域；只在 $r\sim a(t)$ 的局部尺度做估计，无法读出正确的对数容量，也无法确定塌缩常数。另一方面，两个自由边界通过同一椭圆势问题耦合，内边界高曲率与表面张力项还会进入边界演化和压力条件。本文的技术框架据目录和引言可辨认为多尺度 Dirichlet–Neumann 分析、边界动力学与能量估计、终端近似及奇性极限；所给 PDF 摘录没有展示各章完整证明，因此具体估计的推导细节和引理假设从提供内容中无法确认。

第一项核心分析是二尺度 Dirichlet–Neumann 理论。论文将加权通量与层势估计、统一椭圆估计及状态变分分析组织在一起，并进一步使用零通量约化和电容器容量（condenser capacity）刻画细管的主导效应。其作用在于把局部薄管的奇异场与外部几何影响区分开：后者影响有限尺度项和外边界响应，而对数容量控制领先阶的塌缩时间–半径关系。定理 1.1 中的系数只依赖 $$E_c$$ 与 $$L^*$$ ，与终端外域形状无关，正是这种主导容量分析的结果。摘要明确给出该关系及系数；但层势核的具体分解、加权空间的定义和容量展开的误差阶未出现在所给摘录中，故不宜进一步补写。

第二项是从边界运动重建能量变量并分析终端动力学。章节安排显示作者先处理边界动力学与能量重建，再构造终端数据和极坐标动力学，并重建压力及 Taylor 系数，继而建立线性化能量和终端估计。该路线的关键作用是以与塌缩尺度适配的状态变量追踪内边界通量和可集中能量，而不直接要求退化极限处的边界仍是正则曲面。对正表面张力情形，Taylor 系数及毛细曲率会影响自由边界方程的稳定性；零表面张力时又不能简单依赖同一曲率正则化。论文分别设置正表面张力非线性能量估计与零表面张力构造章节，说明两类情形有不同闭合环节，但从摘录无法确认两套估计的精确形式及其常数依赖。

第三项是自由边界方程的非线性能量控制。章节标题指出作者使用法向变量、Dirichlet–Neumann 算子、抛物化（paralinearization）与变量变换，并分别建立正表面张力下的能量估计。它们的功能不是一般性地“做能量估计”，而是将边界运动方程中的非局部椭圆算子和几何非线性写成适合高阶控制的形式，同时把迅速变化的塌缩尺度从主变量中分离出来。证明必须在半径越来越小的内边界上保持足以通过终端极限的控制，并避免外边界高阶范数被内边界曲率奇性无差别地拖垮。关于变量变换的具体定义、抛物化余项界以及闭合所用的范数，所给 PDF 内容未提供，因而无法可靠列出。

第四项是终端近似与奇性极限。作者从有限尺度的光滑解出发，以 $Y=\log(\ell/a)$ 等共同状态变量比较不同终端半径的数据，并对 $a_N\downarrow0$ 取对角子列极限，得到典型轨道。此构造使每个有限时刻仍处在光滑自由边界演化中，而奇性来自极限过程。随后通过曲率渐近与紧性、能量集中和尖锐速度估计，分析从有限解到终端对象的收敛；对称性则使圆周方向上的动力学简化，支持柱面放大极限及终端物质映射的精确描述。由于摘要给出典型轨道的形成方式，而证明细节不在摘录中，紧性空间、对角抽取的具体拓扑及唯一性范围从提供内容中无法确认。

对物质映射，主要障碍是拉格朗日导数在靠近初始内边界时出现一强一弱的相反尺度。定理给出的奇异值结构显示，一个横向方向放大约 $(a^2+d)^{-1/2}$ ，另一个压缩约 $(a^2+d)^{1/2}$ ，第三方向保持有界；行列式仍为 $$1$$ ，与不可压缩性相容。对该各向异性结构积分，得到终端映射的平方根模连续性、 $W^{1,p}$ 的临界门槛以及弱 $$L^2$$ 而非强 $$L^2$$ 的导数控制。这些结论使几何塌缩与能量集中不再只是欧拉描述，也有了定量的拉格朗日表述。

最后，压力剖面与弱延拓依赖对极限能量和通量测度的识别。典型解在固定的塌缩圆周外点满足速度趋零，却有经 $(T-t)|\log(T-t)|^{3/2}$ 归一化后的压力趋于线源势 $$U^*$$ ；在弱填充延拓中，损失能量正好由圆周上的线测度承载。应区分严格结论与解释：柱面相似形、压力渐近、物质映射正则性和分布能量缺陷均由定理陈述；更细的证明链条与各估计的技术假设，在当前提供的前十页文本中并未展开。

4. 与之前工作的比较

与最接近的空腔和颈缩模型相比，本文的推进首先在严格性和模型完整度上。Rayleigh 的球形空腔模型及 Plesset 的推广讨论径向空腔动力学；Gordillo–Sevilla–Rodríguez-Rodríguez–Martínez-Bazán 的势流分析得到带对数修正的颈缩尺度，Eggers–Fontelos–Leppinen–Snoeijer 的细长体理论则讨论径向和轴向尺度演化。本文明确指出其塌缩标度与已有势流渐近分析相呼应，但进一步在有界三维自由边界欧拉方程中构造真实演化，并确定由集中能量和圆周长度给出的领先常数。它不是只给出启发式尺度，也同时控制内外两条边界、曲率和动能测度。两者的定量对照应保持谨慎：当前摘录没有列出文献 [22] 的完整假设或常数公式，故不能据此断言本文对该模型的所有设定都逐项放宽。

与 Chen–Walsh–Wheeler 的平面空心涡旋自相似内爆相比，本文流动位于有界三维区域，速度势单值，涡量和环量为零，且边界压力采用固定表面张力条件 $p=\sigma H$ ，允许 $\sigma=0$ 或任意固定 $\sigma>0$ 。文献 [9] 所述流动则是平面外域中的非零环量构造，并使用气体压力律。本文还允许指定终端外域几何、内部塌缩点和正集中能量，并证明外边界光滑收敛。这些差异说明本文不是对同一种平面涡旋机制作简单维数提升，而是构造了不同的、由薄管电容和全局势流能量控制的自由边界塌缩。摘录没有提供 [9] 与本文在定量塌缩常数方面的直接比较。

与平面精确势流和数值型边界模型相比，Liu–Pego 的工作研究显式理想势流及角点形成情景，Zhuravleva–Zubarev–Zubareva–Karabut 构造零重力、零表面张力的平面空腔解，Best 的边界积分计算研究射流穿透后形成的环形气泡。这些工作提示势流几何奇性可在特殊结构中出现；本文的差别在于给出三维有界域内的完整构造，并同时处理正表面张力。特别是，本文的压力在固定的塌缩圆周外点发散而速度趋零，且能量在圆周上形成均匀线测度，这些是定理层面的终端描述。文中并未在提供内容中给出这些平面模型的相应比较定理，因此不宜声称它们具有或不具有某个同阶压力行为。

与自由边界方程中的 splash/splat 自交奇性相比，Castro–Córdoba–Fefferman–Gancedo–Gómez-Serrano 在二维无表面张力及正表面张力情形构造自交，Coutand–Shkoller 在三维零表面张力情形允许涡量，作者此前工作 [29] 研究正表面张力理想磁流体自交并由此得到毛细欧拉自交。本文的终端机制有实质区别：所有 $$t<T$$ 时边界仍嵌入且内外分量互不相交，不是两个互不相邻界面发生接触或自交；一个完整边界分量塌缩成圆周，而另一分量保持光滑极限。本文还给出定量曲率爆破、能量集中及物质映射退化。代价是构造依赖轴对称、全局势流以及典型精细结论所需的反射对称，并非任意三维扰动下的稳定性结果。是否可去除这些结构假设，作者在摘录中未给出结论。

与固定区域欧拉方程的涡量奇性工作相比，Elgindi 的轴对称无旋流构造、Elgindi–Pasqualotto 的含旋流构造、Chen–Hou 的计算机辅助近自相似爆破以及 Chen 的无旋紧支撑涡量构造，均在固定流体区域中通过涡量或旋流机制形成奇性。本文的流动涡量恒为零，奇性由自由边界塌缩和势流能量集中实现，因而不与固定区域涡量增长机制直接等同。文中也提及 Beale–Kato–Majda 判据要求光滑全空间欧拉解在爆破前涡量时间积分发散；这里涡量为零，失效的是自由边界几何与速度梯度控制，而不是涡量判据适用条件下的同类固定区域演化。

本文的重要新增内容还在奇性后的能量记账。它不声称获得保持总能量的强解延拓，而是构造质量、动量守恒的弱填充延拓，并在局部分布能量方程中出现恰等于集中动能的负缺陷。正表面张力时缺陷之后保留外界面的表面能，零表面张力时延拓为静止流体且总能量为零。这是以能量损失为代价的弱延拓，不应与经典光滑解的能量守恒延续混为一谈。本文同时证明不存在边界保持非退化且在 $$H^4$$ 连续的强延拓，明确了延拓类别的限制。

适用范围方面，一般构造允许 $$D^*$$ 为任意满足条件的光滑有界单连通子午域，且 $$c^*$$ 与 $$E_c$$ 可独立指定；但更精确的柱面时空极限、压力剖面、终端物质映射和弱延拓是在典型反射对称族中证明的，不能自动推广到所有一般几何构造。表面张力参数覆盖 $\sigma=0$ 以及每个固定正值，但摘录没有给出 $\sigma\to0$ 的一致估计或零表面张力极限，因此不能认为这些结论已建立关于表面张力的统一连续性。总体而言，本文的推进是将已有对数颈缩图像升级为具有尖锐常数和终端结构的三维自由边界解构造；其适用边界则包括轴对称、势流及典型结论中的对称性要求，且终端后仅得到特定的弱填充延拓。

6. Navier–Stokes 流与热流下的高斯测度彼此奇异

Gaussian measures under the Navier-Stokes and heat flows are mutually singular

作者: Niko Nikov, Leonardo Tolomeo

类别: math.AP, math.PR

发布日期: 2026-10-16

arXiv ID: 2610.23591v1

摘要翻译: 我们考虑环面 $\mathbb{T}^d$ , $d \ge 2$ 上具有平移不变高斯随机初值的不可压 Navier–Stokes 方程。我们证明，对于由 $μ_0 \sim \exp(-\frac12 \| u \|_{\dot H^α}^2)$ 在无散场上形式定义的高斯测度，其非线性演化 $$ν_t$$ 与线性演化 $$μ_t$$ 几乎对每个时刻都彼此奇异。此外，对于任意初始测度 $$ν_0$$ ，其非线性演化也满足同样的结论。这与 Hamilton 型偏微分方程已有的结果形成鲜明对比；在后者中，高斯测度通常是拟不变的。我们通过证明存在一个集合 $\mathscr G_t$ ，使得 $μ_t(\mathscr G_t) = 1$ ，但对于任意 Navier–Stokes 光滑解，满足 $u(t) \in \mathscr G_t$ 的时刻集合 $$t$$ 是零测集，从而得到这一结论。后者由对频率局部化版本的（通常为无穷的）量 $\| \mathrm{e}^{-t Δ} u(t) \|_{L^2}^2$ 所建立的定量凸性界推出。

Comment: 37 pages

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

1. 研究对象和背景

论文研究周期环面 $\mathbb T^d$ 上不可压缩、无外力的黏性纳维–斯托克斯方程, $d\geq 2$ . 令 $u(t,x)\in\mathbb R^d$ 为速度场, $$p$$ 为压力, 方程为

\begin{cases} (\partial_t-\Delta)u+(u\cdot\nabla)u+\nabla p=0,\\ \nabla\cdot u=0,\\ u(0)=u_0. \end{cases}

在消去压力并限制到无散向量场后, 可写成

(\partial_t-\Delta)u=B(u,u),\qquad B(u,v)=-\Pi((u\cdot\nabla)v),

其中 $\Pi$ 是 Leray 投影. 论文考虑的关键对象不是单条解的长期渐近行为, 而是初值概率测度经非线性流与线性热流输运后的比较. 初始高斯测度 $\mu_0$ 是中心、平移不变的无散高斯场, 协方差为 $\Pi(-\Delta)^{-\alpha}\Pi$ , 形式上写作

\mu_0(du)\propto \exp\!\left(-\frac12\|u\|_{\dot H^\alpha}^2\right)du,

其具体 Fourier 表示为 $u(x)=\sum_{n\ne0}\Pi_nG_n|n|^{-\alpha}e^{in\cdot x}$ , 并满足实值场所需的共轭条件. 线性演化的参考测度为 $\mu_t=(e^{t\Delta})_\#\mu_0$ . 若 $\Phi_t$ 表示纳维–斯托克斯解映射, 论文要回答的是非线性演化 $(\Phi_t)_\#\mu_0$ 是否相对于同一初始高斯测度经热流演化所得的 $\mu_t$ 绝对连续, 或至少是否与之相互绝对连续.

这一比较的背景与色散、哈密顿型偏微分方程中的高斯测度准不变性研究形成对照. 在 BBM、非线性薛定谔、波方程、广义 KdV 等问题中, 线性流常对 Fourier 模态作旋转, 因而保留相应高斯测度; 已有准不变性结果常证明非线性流推前的测度与线性流推前测度相互绝对连续. 对抛物型方程, 热半群的强平滑使 $$t>0$$ 的解立即变得光滑乃至解析, 而初始高斯测度的典型样本通常不光滑. 因此, 直接比较非线性演化与初始高斯测度时, 光滑性已足以阻碍准不变性. 本文将比较对象改为 $\mu_t$ , 试图排除这一显然障碍, 并检验非线性流是否仍能保持相对于线性热流的高斯型统计结构。

问题也有具体的分析与概率意义. 随机初值下的流体方程是研究随机数据适定性、统计性质及先验测度输运的自然框架; 在二维随机 Navier–Stokes、准高斯性以及耗散系统的贝叶斯反问题中, 常需比较非线性解的分布与线性化或线性抛物模型的分布. 若两种分布即便在任意小的正时间也相互奇异, 则以全变差或密度为基础的比较原则上不可能成立, 尽管较弱的 Wasserstein 型度量仍可能有良好近似。

本文试图填补的空白是: 在抛物型非线性流中, 线性参照测度本身随时间变化, 且非线性项会生成不同于纯热衰减的高频尾部, 因而常见的哈密顿准不变性技术及已有的奇异性判据不能直接套用. 作者以按 $$|n|^2=j$$ 划分的频率壳层为尺度, 研究热逆权重作用下的壳层能量, 并证明非线性解沿时间的定量凸性与“解在某时刻服从热演化高斯测度的典型高频约束”不能在正测度时间集上同时成立. 结论在高正则 Sobolev 初值类中建立; 作者指出这些正则性限制并非预期的本质障碍, 但从所给内容不能把定理直接扩展到临界空间 $\dot H^{d/2-1}$ , 也不能据此解决三维解的全局存在问题。

2. 主要定理或主要结果

主结果是定理 1.1. 设 $d\geq2$ , 并取参数满足

\alpha>d+6,\qquad \frac d2+6<\sigma<\alpha-\frac d2.

令 $\nu_0$ 为 $\dot H^\sigma(\mathbb T^d)$ 上任意概率测度, 令 $\mu_0$ 为无散、中心高斯测度, 协方差为 $(-\Delta)^{-\alpha}$ 在无散场上的限制. 定义 $\mu_t=(e^{t\Delta})_\#\mu_0$ . 令 $$WP(t)$$ 是初值 $u_0\in\dot H^\sigma$ 的集合, 其中 Navier–Stokes 方程在 $$[0,t]$$ 上存在唯一温和解 $u\in C([0,t];\dot H^\sigma)$ ; $\Phi_t$ 为相应解映射. 对任意 $s_0\geq0$ , 定义

N_{s_0}:=\left\{t>0:\ (\Phi_t)_\#\bigl(\mathbf 1_{WP(t)}\nu_0\bigr)\not\perp\mu_{s_0+t}\right\}.

定理断言 $N_{s_0}$ 的 Lebesgue 测度为零. 换言之, 对几乎每个 $$t>0$$ , 将初始分布限制在截至 $$t$$ 有唯一温和解的初值后再经非线性流推前所得的有限测度, 与延迟 $$s_0$$ 后的热演化高斯测度 $\mu_{s_0+t}$ 相互奇异. 这里 $\nu_0$ 不要求等于 $\mu_0$ , 也不要求与其有任何密度关系; 结论对任意 $s_0\geq0$ 成立. 若取 $$s_0=0$$ 且 $\nu_0=\mu_0$ , 即得非线性演化与热演化的几乎处处时间奇异性, 但须按定理限制到仍有解的初值集合。

推论 1.2 将结论扩展到不预先给定 Sobolev 正则性的测度与流的延拓. 设 $E\subset\mathcal D'(\mathbb T^d)$ 为无散周期分布的 Borel 集, $\widetilde\Phi_t:E\to E$ 为 Borel 映射族, 满足 $\widetilde\Phi_0=\mathrm{id}$ , 且一旦延拓轨道在某时刻进入存在光滑解的区域, 后续演化就与温和 Navier–Stokes 流一致, 即满足文中的拼接条件 (1.3). 对任意满足 $\nu_0(E)=1$ 的 Borel 概率测度, 有

(\widetilde\Phi_t)_\#\nu_0\perp\mu_t\qquad\text{对几乎处处 }t>0.

因此, 在该一致性条件下, 结论不依赖对有限时间爆破之后如何延拓流的选择。二维时, 全局弱解及正时间平滑性给出全局流, 故推论适用于集中在均值为零无散 $$L^2$$ 场上的任意初始概率测度, 特别包括适当的高斯初始测度。

证明所用的代表性高频量来自精确壳层投影 $$P_j$$ , 其 Fourier 支集为 $\{n:|n|^2=j\}$ , 并满足 $P_je^{t\Delta}=e^{-tj}P_j$ . 对 $1<\lambda<2$ 、 $t_0\geq0$ 及 $d/2<s\leq\sigma-6$ , 作者在有限截断尺度 $$J$$ 上引入权重范数

\|f\|_{X^s_J(\lambda,t_0)}^2= \sum_{j\leq J}e^{\lambda t_0j}\|P_jf\|_{\dot H^s}^2 +e^{\lambda t_0J}\|P_{>J}f\|_{\dot H^s}^2.

这些权重捕捉热流的指数频率衰减. 定理证明的关键概率事件可表述为: 存在集合 $\mathscr G_t$ , 使 $\mu_t(\mathscr G_t)=1$ , 但对每个光滑 Navier–Stokes 解, 满足 $u(t)\in\mathscr G_t$ 的时间集合为零. 作者将通常可能发散的 $\|e^{-t\Delta}u(t)\|_{L^2}^2$ 用壳层量和截断加权能量替代, 并通过定量凸性排除正测度时间上的共同典型性。所给摘录未包含命题 3.1、命题 4.1 的完整不等式及常数, 因而不能从现有内容准确列出凸性下界的精确常数或其对 $$J$$ 的完整依赖。

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

证明的主要困难首先是参照测度随时间变化. 对固定高斯测度的某些准不变性或奇异性问题, 可尝试研究 Radon–Nikodym 密度并使用抽象判据; 这里比较的是 $\mu_t=(e^{t\Delta})_\#\mu_0$ , 它不断受到热半群的强平滑, 因而不能直接沿用固定参考测度的论证。其次, 形式密度中的热逆算子 $e^{-t\Delta}$ 会放大高频, 而 Navier–Stokes 二次非线性生成的高频并没有足够强的热衰减来抵消这种放大。逐项的 Picard 展开甚至会产生增长更快的项, 所以仅以一次非线性项的半线性近似估算形式密度并不足以严谨证明奇异性。

作者的核心替代策略不是构造密度, 而是构造能区分两种分布的高频满测集. 由于 $$|n|^2$$ 对整数频率取整数值, 壳层投影 $$P_j$$ 对热半群精确对角化, $P_je^{t\Delta}=e^{-tj}P_j$ . 因此, 在单个壳层上引入 $e^{\lambda t j}$ 权重, 可以直接追踪热流造成的指数衰减与逆热权重的放大. 这一处理避免对球壳上的格点数使用不可靠的体积启发式: 壳层计数 $$|A_j|$$ 可能为零且逐点波动很大. 论文只使用其在某个递增子序列上无界这一较弱事实, 选取 $|A_{j_k}|$ 快速增长且 $\sum_k|A_{j_k}|^{-1}<\infty$ 的子序列, 以便在高斯概率估计中控制误差并得到几乎处处结论。

概率部分利用高斯 Fourier 系数的独立结构及 Wick–Isserlis 配对公式计算二阶矩. 第 3 节据此建立相对于 $\mu_t$ 几乎处处成立的壳层估计, 进而定义满测集 $\mathscr G_t$ . 其逻辑重点是把“高斯典型”的高频壳层行为写成可检验的逐壳约束, 而非仅凭样本即时解析这一粗糙正则性差异。由于热流演化的高斯测度本身已集中在平滑对象上, 单凭 $C^\infty$ 事件无法区分 $\mu_t$ 与非线性推前测度; 需要利用更细的频率衰减信息。

确定性部分建立加权空间 $X^s_J(\lambda,t_0)$ 中的局部适定性估计, 并证明频率局部化能量的定量凸性. 摘录明确指出非线性项在这些空间中至多造成 $e^{(\lambda/4+\eta)t_0J}$ 的损失, 其中 $\eta$ 是小参数; 该损失决定命题 4.1 (i) 中可用的局部时间尺度. 作者选取 $1<\lambda<2$ 且使 $\lambda$ 接近 $$2$$ , 并取 $d/2<s\leq\sigma-6$ . 这一范围一方面让 Sobolev 乘积估计能够控制二次项及其导数损失, 另一方面让权重接近热衰减的临界指数, 从而使非线性产生的频率效应在二阶时间变化中显现。具体凸性估计的完整表达式没有出现在所提供页面中, 因而其精确增长因子不能可靠复述; 摘录说明它使启发式关系 $f_j''\gg f_j$ 成为严格结论, 对应的量可取 $e^{\lambda tj}\|P_ju(t)\|_{\dot H^s}^2$ 。

最后的测度论论证把固定时间的满测集信息转化为几乎处处时间的奇异性. 反设非奇异时间集合具有正 Lebesgue 测度, 由分解与 Fubini 论证可选出某个初值, 使解在正测度的时间集合上落入“过于接近高斯典型”的集合. 再在该时间集合的 Lebesgue 点处, 对壳层能量作时间展开. 启发式上, 若 $f_j(s)=\|e^{-s\Delta}P_ju(s)\|_{\dot H^\alpha}^2$ , 则二阶项在高频上远大于 $$f_j$$ ; 形式恒等式所体现的比较为

\mathbb E_{\mu_t}[f_j]-\mathbb E_{\mu_{t-h}}[f_j] =h\,\mathbb E_{\mu_{t-h}}[f_j']+ \int_{t-h}^t\int_{t-h}^{s'}\mathbb E_{\mu_s}[f_j'']\,ds\,ds'.

定量凸性使双重积分项无法由端点项与一阶项抵消. 合适选择时间步长 $$h$$ 、壳层序列与截断参数 $$J$$ , 即得到矛盾. 对控制展开余项以及保证 $$h$$ 有足够下界, 加权空间中的局部适定性估计是不可缺少的, 并非单纯的技术附加。以上把高斯满测性质、确定性凸性和 Lebesgue 点论证联结起来, 绕开了无法直接定义或控制无限维形式密度的问题。

4. 与之前工作的比较

与哈密顿或色散方程中的准不变性研究相比, 本文得到的是相反性质, 且比较方式更适合耗散流. Tzvetkov 关于 BBM 的工作以及之后非线性薛定谔、非线性波、周期广义 KdV、Benjamin–Ono–BBM 等方程的准不变性结果, 通常利用线性流对 Fourier 模态作旋转、从而保持高斯测度这一结构, 并证明非线性推前测度相对于线性推前测度绝对连续. Navier–Stokes 的线性部分是热半群, 其对高频的指数衰减使 $\mu_t$ 与 $\mu_0$ 的典型正则性不同. 本文先将参照物从 $\mu_0$ 换成 $\mu_t$ , 去除“线性流本身已改变测度”的直接障碍, 仍证明几乎处处时间的相互奇异. 因而结果并非仅重述抛物平滑导致对初始测度不准不变, 而是指出即使按线性热流同步输运高斯测度, 二次非线性仍产生不相容的高频统计结构。

与 Cameron–Martin、Ramer、Kusuoka 一类高斯变换理论相关的论证也有明确差异. 文中指出, 对有限维截断 Galerkin 方程, 可较容易地用 Ramer 定理得到相应绝对连续性; 然而有限维截断上的结果不能直接传递到无限维极限, 本文证明的正是极限中出现的奇异性. 因此, 结论揭示了有限维近似中密度存在与无限维极限中测度互相奇异之间的差别。作者没有通过逐点估计形式 Radon–Nikodym 导数完成证明, 而改用壳层典型集和时间凸性。

与 Coe 和 Tolomeo 关于立方 Szegő 方程的奇异性工作 [6] 相比, 本文沿用了通过分析形式密度启发奇异性判据的思路, 但证明机制有实质变化. 对 Szegő 方程, [6] 得到适当正则范围内除至多可数多个时间外的奇异性; 本文的结论是对几乎处处时间成立. 但作者明确说明 [6] 的抽象命题不能直接用于本问题, 原因之一是参考测度 $\mu_t$ 随时间变化; 另一原因是 Navier–Stokes 形式密度的指数不由将非线性流简单替换成热流所得的半线性行为控制, Picard 展开的迭代项还会产生更快的高频发散. 因此, 本文不能被理解为对 [6] 的机械推广, 而是以随时间变化的壳层能量凸性取代固定测度框架下的密度判据。

相较于随机 Navier–Stokes、准高斯性及强迫系统不变测度研究, 本文回答的是不同问题. Coe、Hairer 与 Tolomeo 关于二维随机 Navier–Stokes 不变测度相对于自然高斯测度有密度的结果, 以及 Mattingly–Suidan 对超黏性 Navier–Stokes 的相关工作, 依赖噪声与不变性结构; 本文讨论无外力确定性流输运任意初始概率测度, 并比较热流输运的指定高斯测度. 文中也提到, 若能在通常 Navier–Stokes 情形建立类似准高斯结论, 可能帮助理解强迫系统的不变测度; 本文的奇异性结果说明不能简单期待相对于该热演化高斯测度存在密度。它并不否定其他参考测度、其他噪声条件或较弱拓扑下的统计描述。

对解的存在范围, 定理 1.1 要求较高正则性: $\sigma>d/2+6$ , $\alpha>d+6$ , 且 $\sigma<\alpha-d/2$ . 推论 1.2 虽能处理任意分布初始测度, 但要求存在满足拼接条件的 Borel 延拓流; 它并不提供三维全局解的存在性. 作者认为定理中的 $\sigma$ 限制并非本质, 并预期结论可推进至尺度临界空间 $\dot H^{d/2-1}$ , 但这只是作者的预期, 不是本文证明的结果. 时间结论也是几乎处处而非每个正时间; 与 [6] 的时间结论相比, 这是本文的优势之一, 但仍留下零测集时间上的行为未定。

本文对统计距离的含义在二维情形尤为直接. 文中指出, 对集中于均值为零无散 $L^2(\mathbb T^2)$ 的任意初始分布, 非线性流分布与相应热演化高斯测度在几乎每个正时间相互奇异, 因而全变差距离取最大值 $$1$$ ; 这包括任意小的正时间. 这一结论与已有工作中用 Wasserstein 距离比较非线性后验分布和线性抛物近似并不矛盾: 极小的高频尾差异足以使全变差达到最大, 却可以对 Wasserstein 型弱度量影响很小. 作者据此认为, 同类分析不可能在全变差意义下得到正面近似结论, 但没有否定弱度量下的近似理论。作者还预期其他线性抛物演化可能存在类似机制; 这不属于定理覆盖范围。关于文中列举的其他奇异性结果, 包括常微分方程、线性输运和随机偏微分方程, 摘录只说明其技术不能直接适用于当前问题, 未给出足以逐项比较假设与最优性的细节。

7. Euler 方程的可容许解

Admissible solutions of the Euler equations

作者: Alexey Cheskidov, Zirong Zeng, Deng Zhang

类别: math.AP

发布日期: 2026-10-15

arXiv ID: 2610.22491v1

摘要翻译: 本文证明，存在一大类由间歇维数和粗糙度刻画的初值，使得 d 维 Euler 方程 (d \ge 2) 存在能量递减通道，并且同一初值对应无穷多个可容许解。该类初值包括任意 0 < κ< 1 时的 C^{1-κ}(\mathbb{T}^d) 初值，以及任意 2 < p < \infty 时的 W^{1,p}(\mathbb{T}^d) 初值，从而表明 Lions 和 Yudovich 唯一性原理是尖锐的。我们的证明基于一种新的反向凸积分方案，该方案采用近似 Λ-Euler 方程来减小初始误差，并揭示了正则性、能量与间歇性之间的定量关系。

Comment: 无

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

1. 研究对象和背景

本文研究不可压缩欧拉方程在低正则初值下的可容许弱解唯一性. 速度场 $u:[0,\infty)\times\mathbb{T}^d\to\mathbb{R}^d$ 与压力 $$p$$ 满足

\begin{cases} \partial_t u+(u\cdot\nabla)u+\nabla p=0,\\ \operatorname{div}u=0,\\ u(0)=v_0, \end{cases}

其中首行初值应理解为 $$u(0)=v_0$$ . 本文所讨论的弱解通常属于 $$C([0,T];L^2)$$ , 方程按分布意义成立. 仅有弱解条件不能排除能量异常变化或非唯一性, 因而常添加能量不增这一可容许性条件:

\|u(t)\|_{L^2}^2\leq \|u(0)\|_{L^2}^2\quad\text{对几乎处处的 }t\geq 0.

重要的正向理论是弱-强唯一性: 若存在具有足够正则性的经典解 $$v$$ , 例如 $\nabla v+\nabla v^{T}\in L^1_tL^\infty_x$ , 则从相同初值出发的可容许解必须等于 $$v$$ . 在二维, Yudovich 唯一性定理给出另一类条件: 初始涡量 $\omega_0=\operatorname{curl}v_0\in L^\infty$ 时, 在相应有界涡量解类中有唯一性. 这些结果提出了自然问题: 当初值刚好低于相应正则性门槛时, 能量不增条件是否仍足以恢复唯一性?

凸积分理论已构造出许多非唯一弱解, 也发展到满足能量不等式或局部能量不等式的解. 但对给定初值构造连续于初始时刻、具有全局非增能量的可容许解, 难点不仅是产生振荡扰动, 还包括初始时刻的 Reynolds 应力不能留下非零能量误差, 以及扰动能量不能抵消背景解的能量耗散. Mengual 对二维截断幂律涡量的结果给出相关的非唯一性例子, 其论证依赖特定自相似次解; 本文目标是给出适用于任意 $d\geq2$ 的一类初值条件, 用间歇性与粗糙度定量刻画这一现象, 并构造具有递减能量通道的无限多个解.

间歇性以 Littlewood-Paley 频带上的 Bernstein 不等式饱和程度量化. 对频带投影 $\Delta_n$ , 作者定义

D_{n,q,p}:=\sup\left\{D\in[0,d]:\|\Delta_n v_0\|_{L^p}\leq C_B2^{(d-D)(1/q-1/p)n}\|\Delta_n v_0\|_{L^q}\right\}.

$$D=d$$ 对应近乎空间填充、不同 $$L^p$$ 范数相当的情形; 较小的 $$D$$ 则反映频带能量集中于较稀疏结构. 论文的核心空白在于: 如何将这种频带集中程度与初值的正则性缺口结合, 使高频耗散确实大于凸积分扰动造成的能量增量, 同时保留指定初值并延拓到全局时间. 此外, 定理要求初值对所有有界实径向 Fourier 乘子稳定, 即 $T_\rho v_0$ 仍为平稳弱欧拉解. 该结构条件并非所有初值自动满足, 但包括平行剪切流等重要例子, 并使作者能够以径向频率截断构造初始近似解.

2. 主要定理或主要结果

主要全局结论是定理 1.8. 设 $d\geq2$ , 且初值 $$v_0$$ 对径向乘子稳定. 以下两类假设任取其一.

第一类为 Hölder 初值: 对某个 $0<\kappa<1$ , $v_0\in C^{1-\kappa}(\mathbb{T}^d)$ , 并满足间歇性条件 (H1) 与粗糙度条件 (H2). 具体地, 存在 $\kappa_1\in[0,\kappa)$ 与 $$N$$ , 使得对所有 $n,m\geq N$ ,

|D_{n,2,\infty}-D_{m,1,\infty}|\leq\kappa_1,

且存在 $\kappa_2>(\kappa+\kappa_1)/2$ , 使得对所有 $n\geq N$ ,

\|\Delta_n v_0\|_{L^\infty}\gtrsim 2^{-(1-\kappa_2)n}.

第二类为 Sobolev 初值: 对某个 $2<p<\infty$ , $v_0\in W^{1,p}(\mathbb{T}^d)$ , 并满足 (H1)’ 与 (H2)’. 存在 $C_*\in(0,1/4)$ 、 $\kappa_*\in(0,d]$ 与 $$N$$ , 使得对 $n\geq N$ ,

d-D_{n,2,p}\geq\kappa_*,

且对 $n,m\geq N$ ,

|D_{n,1,p}-D_{m,2,p}|\leq\frac{\kappa_*C_*}{p}.

此外, 对 $n\geq N$ ,

\|\Delta_n v_0\|_{L^p}\gtrsim 2^{-(1+\kappa_*C_*/p)n}.

在这些假设下, 存在无限多个互不相同的全局耗散弱解 $u\in C([0,\infty);L^2_x)$ , 具有同一初值 $$v_0$$ . 摘要及定理的证明框架将其描述为具有递减能量通道的可容许解; 也就是说, 这些解满足能量不增要求, 并通过构造取得非平凡的能量下降. 仅凭所提供的定理摘录, 不能将结论加强为每个解的能量在所有时刻严格递减, 也不能补写精确的能量曲线公式.

定理 1.4、1.5 分别给出上述两类初值的非唯一性表述为无限多个耗散解, 从而分别说明 Lions 弱-强唯一性门槛在 $$C^1$$ 正则性以下的锐性, 以及与 Yudovich 唯一性原则相关的锐性. 这里的含义是: 对每个 $0<\kappa<1$ 都存在满足附加结构、间歇性和粗糙度条件的 $C^{1-\kappa}$ 初值导致可容许非唯一性; 对每个 $2<p<\infty$ 也有相应 $W^{1,p}$ 初值. 这不是说所有此类函数都产生非唯一解. $W^{1,p}$ 假设中的 $d-D_{n,2,p}\geq\kappa_*>0$ 排除了无间歇性情形, 与文中对 Yudovich 唯一性预期的说明相一致.

初值类并非空泛. 论文给出 lacunary 平行剪切流

v_0(x)=\sum_{n=1}^{\infty}2^{-(1-\kappa_2)n}\cos(2\pi2^n x_1)e_d, \qquad \frac{\kappa}{2}<\kappa_2\leq\kappa,

其频带满足 $\|\Delta_n v_0\|_{L^\infty}=2^{-(1-\kappa_2)n}$ , 且间歇性维数可取 $D_{n,1,\infty}=D_{n,2,\infty}=d$ . 它属于 $C^{1-\kappa}$ , 满足 (H1)、(H2), 并因平行剪切结构而对径向乘子稳定. 文中还说明二维 Taylor-Couette 型流及截断幂律涡旋与该框架的联系; 后者的频带范数满足 $\|\Delta_n f\|_{L^p(\mathbb{R}^2)}\simeq2^{-(1-\alpha+2/p)n}$ , 但这里关于欧氏空间的讨论主要用于解释模型和既有工作的关系, 不能误读为定理 1.8 已直接给出 $\mathbb{R}^2$ 上的全局结论.

局部构造先证明定理 2.4 所代表的结论: 从给定初值出发, 在一个局部时间区间构造无限多个不同弱解, 且能量递减. 随后定理 2.6 所涉及的全局判据与第二次凸积分延拓, 将局部递减能量构造推广到全局. 所提供摘录没有列出定理 2.4、2.6 的完整陈述及其全部误差指数, 因而不能可靠给出具体时间尺度、各步 Reynolds 应力误差阶或能量下降率的显式幂次.

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

证明的关键障碍是同时处理三个彼此牵制的要求: 初值必须被精确保留; Reynolds 应力在 $$t=0$$ 附近必须足够小, 才能使解在 $$C_tL^2_x$$ 中连续接上初值; 最终能量还须非增. 通常凸积分扰动通过 Reynolds 应力获得, 但其扰动能量可能抵消背景解的耗散. 本文的核心并非单纯提高振荡频率, 而是构造一个初始时刻与欧拉方程相容、正时间又带有可量化高频耗散的背景演化, 再将间歇性条件用于比较两种能量.

第一项关键构造是近似 $\Lambda$ -Euler 方程:

\partial_t u+\nu(-\Delta)^\alpha P_{\geq\Lambda(t)}^2u+(u\cdot\nabla)u+\nabla p=0, \qquad \operatorname{div}u=0, \qquad u(0)=v_0.

耗散算子只作用于高于随时间变化的频率阈值 $\Lambda(t)$ 的模态, 而非线性保持原样. 取 $\Lambda(t)\to\infty$ 当 $t\downarrow0$ , 文中具体在小时间取 $\Lambda(t)=t^{-\eta}$ , 使每个固定频率在初始瞬间都未受耗散, 因而背景近似在 $$t=0$$ 保持欧拉初值结构; 对 $$t>0$$ , 足够高频则逐步受到 $\nu(-\Delta)^\alpha$ 的阻尼. 对每个频率 $\xi$ , 其开始受阻尼的时间由 $\tau(\xi)=\Lambda^{-1}(|\xi|)$ 描述, 传播乘子为

m(t,\xi)=\begin{cases} 1,&t\leq\tau(\xi),\\ \exp\left(-\nu(2\pi|\xi|)^{2\alpha}\displaystyle\int_{\tau(\xi)}^t\phi_{\Lambda(s)}^2(\xi)\,ds\right),&t>\tau(\xi). \end{cases}

平滑径向截断 $\phi_{\Lambda(t)}$ 避免硬频率边界引入不受控的交换子; 其在截断边界处的平坦性以及文中给出的导数相对权重控制, 用于后续微分估计. 选择耗散阶数 $\alpha$ 、初值频率爆炸指数 $\eta$ 与正则性、间歇性参数之间的不等式, 则确保初始应力衰减和正时间耗散可同时成立. 具体参数约束见 (2.2)–(2.4); 摘录未提供相关定理的全部估计推导, 因此不宜据此推断未列出的最优指数.

第二项是反向凸积分与初始误差的定量控制. 作者先把初值放入 Euler-Reynolds 系统

\partial_tu_q+\operatorname{div}(u_q\otimes u_q)+\nabla P_q =\operatorname{div}\mathring R_q, \qquad \operatorname{div}u_q=0, \qquad u_q(0)=v_0,

再以由近似 $\Lambda$ -Euler 演化得到的背景流启动迭代. 由于频率阈值在初始时刻发散, 背景在该时刻贴近欧拉演化; 作者据此避免了常见近似流在初始时刻留下非消失 Reynolds 应力的问题. 反向时间的选择和每步 Reynolds 应力振幅不是固定常数, 而依据初始应力的衰减率、频率阈值的增长率及初值正则性缺口安排. 这样扰动虽需修正应力, 其能量代价仍可随时间连续接近零, 保证极限解属于 $C([0,\infty);L^2)$ .

第三项是把间歇性转化为可用的应力与能量估计. Littlewood-Paley 频带的 $$L^p$$ 范数比决定 Bernstein 不等式中的有效维数, 进而影响初始 Reynolds 应力的 $$L^1$$ 衰减. 作者指出, (H1) 或 (H1)’ 控制这一衰减及上下能量剖面的增长阶; 粗糙度条件 (H2) 或 (H2)’ 则保证近似 $\Lambda$ -Euler 背景的能量有足够衰减. 证明必须比较由 Reynolds 应力产生的扰动能量与背景耗散能量: 前者是保持方程精确所付出的代价, 后者是递减总能量所需的来源. 只有在两类条件合用时, 才能安排扰动能量不压过可用耗散. 这是正则性、频带间歇性和能量之间的定量联结, 而非仅凭凸积分的抽象存在性即可获得的结论.

第四项是从局部递减通道到全局解的两步延拓. 第一次凸积分只在局部时间 $$[0,T^*]$$ 工作: 背景能量尚未降至零时, 能使用其正的耗散速率控制 Reynolds 误差引起的能量增长. 但 $$T^*$$ 之后, 背景能量下降速率不再有可用的正下界, 因而原方案无法保证扰动能量不增. 作者为此重新构造平滑稳定化频率截断, 得到更精细的背景 Euler-Reynolds 结构, 并在困难的外区域保留 $$q=0$$ 正则性包及更强的小量控制. 第二次凸积分利用这些改进, 使局部阶段之后由 Reynolds 误差产生的扰动能量仍可控或不再增加. 文中还提出全局耗散剖面的判据 (定理 2.6), 用以组织这一延拓. 因而全局结论不是把局部解直接延长, 而是针对局部构造失去耗散下界后的结构性缺口另做一次迭代.

扰动采用 Mikado 流等凸积分速度构造, Reynolds 应力的衰减、增长估计及能量归纳估计分别支撑迭代闭合; 这些工具的具体公式和误差指数未包含在所给 PDF 摘录中. 可确认的创新重点是近似 $\Lambda$ -Euler 初始背景、依初始应力衰减选择反向时间、用间歇维数平衡两类能量, 以及稳定化截断下的第二次全局凸积分, 而不是将这些工具笼统归结为能量估计或紧性论证.

4. 与之前工作的比较

本文与既有工作的主要差别, 首先体现在目标解类与初值控制上. Lions 的弱-强唯一性定理说明, 若经典解的对称梯度满足 $L^1_tL^\infty_x$ , 则同初值的耗散弱解唯一; De Lellis 与 Székelyhidi 指出, 满足能量不等式的可容许解属于耗散解框架. Yudovich 在二维对有界涡量给出全局唯一性. 本文不是推翻这些假设范围内的唯一性定理, 而是构造满足附加间歇性、粗糙度及径向稳定性的初值, 在 $C^{1-\kappa}$ 或有限 $$p$$ 的 $W^{1,p}$ 框架中出现无限多个可容许解. 因此“锐性”应理解为唯一性正则门槛附近存在反例, 不是所有低于门槛的初值均非唯一. 对 $W^{1,p}$ 情形, 作者明确排除无间歇性 $D_{n,2,p}=d$ 的情形, 所以结果与 Yudovich 唯一性所预期的空间填充状况并不冲突.

相较早期凸积分的野解构造, 本文特别要求解从指定初值连续起步并具有非增能量. Scheffer、Shnirelman 的紧时间支撑弱解以及后续凸积分工作展示了弱解的广泛非唯一性; De Lellis-Székelyhidi 及其后续工作将构造推进到能量不等式、耗散解等类别. 但预设初值时, 初始时刻 Reynolds 应力不消失会破坏能量曲线连续性, 因而不能直接满足本文所需的 $$C_tL^2_x$$ 结论. 作者回顾了 Burczak、Modena、Székelyhidi 的截断方案, 其在一般 $$L^2$$ 初值背景下得到 $$C((0,1];L^2)$$ 非唯一性; 也回顾 Buckmaster、Colombo、Vicol 通过 gluing 处理近初始时刻兼容性, 得到任意 $$H^3$$ 初值的 $C([0,\infty);L^2)$ 非唯一性以及一般 $$L^2$$ 初值的正时间连续性结果. 本文沿用并改进作者此前工作的反向凸积分思路, 以随时间变化的初始近似及依应力衰减选取反向时间, 针对具有所需间歇性和粗糙度的初值构造连续能量解. 其代价是初值并非任意 $$L^2$$ 数据, 而需满足明确的频带条件和径向乘子稳定性.

近似 $\Lambda$ -Euler 方程也不同于作者在文献 [9,10] 中提及的 $\Lambda$ -Navier-Stokes 方程. 后者截断的是二次非线性, 而本文保留完整欧拉非线性、只把耗散限制在高频, 并令阈值在初始时刻发散. 因此本文近似在初始时刻呈现欧拉特征, 正时间则具有高频耗散. 作者指出, 将自由 Stokes 流用作 Navier-Stokes 近似时, 相应 Reynolds 应力可能在初始时刻仅有有界性而不趋零, 从而导致解在该时刻不连续; 近似 $\Lambda$ -Euler 设计正是为控制这一初始误差. 另一方面, 这种截断耗散很弱且只作用于高频, 并不自动保证总能量下降; 必须额外用间歇性与粗糙度估计它能否压过凸积分扰动. 因此本方案获得适配欧拉初值的同时, 也引入了更精细的参数平衡和频率设计负担.

与 Mengual [24] 的二维 $\mathbb{R}^2$ 截断幂律涡旋结果相比, 本文把问题推进到任意维数 $d\geq2$ 的环面框架, 并以一族频带假设代替只针对特定自相似次解的构造. Mengual 使用特定涡量初值与 $L^\infty$ 凸积分方案证明二维有界可容许解非唯一; 本文在二维仍能通过频带计算识别截断幂律涡旋的相应间歇性和粗糙度, 同时提供了 lacunary 平行剪切流等更直接的例子. 不过作者把 Taylor-Couette 流及欧氏空间扩展明确作为方法可推广性的讨论, 并指出相关扩展将另文研究. 因而不能据本文将其结论表述为已经对任意 $\mathbb{R}^2$ 初值或该类全部欧氏初值证明了全局非唯一性.

与已有可耗散系统中的能量通道构造相比, 欧拉方程没有本征黏性耗散. 文中提及近期工作 [10] 在 Navier-Stokes 和磁流体系统中利用其耗散机制构造递减能量通道; 对欧拉而言, 本文必须在辅助的近似 $\Lambda$ -Euler 背景中人为引入高频耗散, 且最终解仍满足无黏欧拉方程. 这使能量下降成为背景耗散与 Reynolds 扰动之间的竞争结果, 而非原方程能量恒等式的直接推论. 构造先只能保证局部时间上的能量下降, 再通过平滑稳定化截断和第二次凸积分处理耗散速率失去下界后的外区域, 才获得全局结果. 因而其全局性依赖两阶段设计, 并非单一迭代无条件延拓.

适用范围方面, 论文给出所有 $0<\kappa<1$ 的 Hölder 正则性缺口以及所有 $2<p<\infty$ 的 Sobolev 指数, 但均附有非平凡频带假设. (H1) 控制 $D_{n,2,\infty}$ 与 $D_{m,1,\infty}$ 的跨尺度差异, (H2) 强制高频幅度不能衰减过快; Sobolev 版则另要求频带存在正间歇缺口. 这些条件使结论具体且可检验, 但也限制了“锐性”的普遍程度. 摘录中没有给出与所有既有凸积分构造在误差阶、可达 Hölder 指数或最优耗散率上的逐项定量比较; 相关精确差异及最优性从提供内容中无法确认. 作者对主要文献的比较集中于初值连续性障碍、特定二维自相似构造与辅助耗散机制, 而非声称解决所有低正则唯一性问题.

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

1. 含弹性颗粒的黏性流体均匀化中的记忆效应

Memory effects in the homogenization of a viscous fluid containing elastic particles

作者: J. Casado-Díaz, A. R. Hormigo-Molina

类别: math.AP, math-ph

发布日期: 2026-10-16

arXiv ID: 2610.23819v1

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

摘要翻译

中文标题: 含弹性颗粒的黏性流体均匀化中的记忆效应

摘要翻译: 本文研究一个流固耦合问题，其中涉及三维区域内的不可压缩黏性流体和周期排列的微小弹性夹杂。我们关注一个临界区间：夹杂的体积分数趋于零，但其密度和刚度经过适当缩放，因而仍会影响宏观行为。渐近区间取决于参数 $γ=\lim_{\varepsilon\to 0}r_\varepsilon/\varepsilon^3\in [0,+\infty]$ ，其中 $\varepsilon$ 是周期， $r_\varepsilon$ 是夹杂尺寸。对于 $$γ=0$$ ，固体方程和流体方程在极限下解耦。对于 $γ\in (0,+\infty]$ ，我们证明宏观流体速度满足一个带记忆项的 Stokes 系统：标准 Stokes 方程中增加了由夹杂的弹性振动所产生的时间卷积项。我们利用半群理论，分别为 $γ\in(0,+\infty)$ 和 $γ=\infty$ 建立了卷积核的存在性。对于 $γ=\infty$ ，微观问题约化为一个纯守恒型弹性动力学方程，并且可以通过谱分解显式计算卷积核。这些卷积核具有振荡性且在时间上几乎周期，从而产生持续不衰减的记忆。对于 $γ\in(0,+\infty)$ ，微观弹性动力学方程与一个局部 Stokes 问题耦合，而黏性耗散使得记忆核在无穷远处衰减至零。

2. 一致限制下界与可积系统中的非测地公共节点曲线

Uniform restriction lower bounds and nongeodesic common nodal curves in integrable systems

作者: Xianchao Wu, Xiao Xiao

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

发布日期: 2026-10-16

arXiv ID: 2610.23836v1

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

摘要翻译

中文标题: 一致限制下界与可积系统中的非测地公共节点曲线

摘要翻译: 我们构造了一族二维环面上的实解析度量，使得某个固定的嵌入非测地圆是无穷多个实 Laplace 特征函数的节点分支。这些例子回应了 Bourgain-Rudnick \cite{BR11} 提出的问题，并对 Toth-Zelditch \cite{TZ21} 和 Han \cite{Han} 提出的问题给出了否定答案：被无穷多个节点集共同包含的曲线是否必为测地线。

为解释限制问题中的障碍，我们证明了在横截相交且一个切向特征分支孤立的条件下，量子完全可积（QCI）系统的联合特征函数满足一致的 $$L^2$$ 下界；随后将结果推广到多分支情形。我们利用这些结果刻画 Liouville 环面上可能出现的联合节点曲线，从而缩小其可能范围。最后，该反例实现了其中一种可能情形：抵消恰好发生在一条非测地曲线上。

3. 改进的 $$L^p$$ 高次 Weyl 和最大估计

Improved $$L^p$$ maximal estimates for higher-degree Weyl sums

作者: Xuezhi Chen, Changxing Miao, Jiye Yuan, Tengfei Zhao

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

发布日期: 2026-10-16

arXiv ID: 2610.23379v1

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

摘要翻译

中文标题: 改进的 $$L^p$$ 高次 Weyl 和最大估计

摘要翻译: 对于每个整数 $k\ge3$ ，我们证明对所有 $1\le p<\infty$ 和 $\varepsilon>0$ ，以下估计成立：

\left\|\sup_{t\in\mathbb{T}}\left|\sum_{n=1}^N e(nx+n^kt)\right|\right\|_{L^p(\mathbb{T})} \ll_{k,p,\varepsilon} N^{\max\{1-1/K_k,\,1-1/p\}+\varepsilon},

，其中 $K_k=\min\{2^{k-1},k(k+1)/2\}$ 、 $e(z)=e^{2πiz}$ 和 $\mathbb{T}=\mathbb{R}/\mathbb{Z}$ 。对于 $k\ge5$ ，这改进了我们先前关于 $1\le p<D_k$ 的界 \cite{chen-miao-yuan-zhao}，其中 $D_k=\min\{2^{k-1},k(k-1)\}$ ；并且结合相应的下界，将锐范围从 $p\ge D_k$ 扩展至 $p\ge K_k$ ，达到 $N^\varepsilon$ 。主要的新要素是一项混合 minor-arc 矩估计，该估计在取时间上确界之前得到。随后，通过光滑再生核论证得到 minor-arc 最大估计，而 major arcs 则直接利用 Poisson 求和与经典完全指数和估计处理。将上确界约化为均值的过程还给出了一个简短直接的证明，得到关于一般多项式相位 Weyl 和最大算子的改进 $$L^p$$ 估计，从而强化了 \cite[Theorem 1.1]{baker-chen-shparlinski}。

4. 非局部双重非线性抛物方程的 Harnack 型不等式

Harnack-type inequalities for nonlocal doubly nonlinear parabolic equations

作者: Mariia Savchenko, Igor Skrypnik, Yevgeniia Yevgenieva

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23261v1

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

摘要翻译

中文标题: 非局部双重非线性抛物方程的 Harnack 型不等式

摘要翻译: 我们在慢扩散范围内建立了非局部双重非线性抛物方程的内在 Harnack 不等式：\begin{equation*} (u^q)t+ \operatorname{P.V.} \int\limits{\mathbb{R}^N}\frac{|u(x, t)-u(y, t)|^{p-2}(u(x, t)-u(y, t))}{|x-y|^{N+sp}},dy=0,\quad s\in(0,1),\quad 0<q < p-1. \end{equation*}

5. 粗糙随机粘性 Camassa-Holm 方程

Rough Stochastic Viscous Camassa-Holm equation

作者: Xiaoxin Chen, Yiyao Lian, Zhaoyang Yin, Shuolin Zhang

类别: math.AP, math.PR

发布日期: 2026-10-16

arXiv ID: 2610.23198v1

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

摘要翻译

中文标题: 粗糙随机粘性 Camassa-Holm 方程

摘要翻译: 本文建立了由加性高斯噪声 $(1-\partial_x^2)^{-η}ξ$ 驱动的粘性 Camassa–Holm 方程的适定性结果，其中 $$ξ$$ 表示时空白噪声，且 $$η>-1/12$$ 。该表述涵盖了 $$η>0$$ 时的空间有色噪声、 $$η=0$$ 时的时空白噪声，以及 $$-1/12<η<0$$ 时的粗糙噪声。更具体地说，我们通过逼近由正则化噪声驱动的方程，建立了逐路径解理论。主要困难来自非线性项与不规则随机卷积之间的奇异相互作用。通过引入适当的增强随机对象并应用副控制技术，我们在完整范围 $$η>-1/12$$ 内获得了局部适定性。此外，当 $$η>1/4$$ 时，我们通过导出适当的能量估计，建立了整体适定性。

6. 含时变力与源项的 Fokker-Planck 方程在 $\mathbb R^3$ 中的解

Solutions to the Fokker-Planck equation with time-dependent force and source in $\mathbb R^3$

作者: Renjun Duan, Fucai Li, Jinkai Ni, Zhu Zhang

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23191v1

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

摘要翻译

中文标题: 含时变力与源项的 Fokker-Planck 方程在 $\mathbb R^3$ 中的解

摘要翻译: 本文研究由给定外力 $$E=E(t,x)$$ 和非齐次源项 $$S_0=S_0(t,x,v)$$ 驱动的 $\mathbb R^3$ 中动理学 Fokker-Planck（KFP）方程的整体解。首先，当 $$E$$ 和 $$S_0$$ 在适当的混合齐次 Besov-Sobolev 框架下充分小时（不要求任何时间衰减假设），我们建立了 Cauchy 问题在混合齐次空间 $L_v^2(\dot B^{ {1}/{2}}_{2,\infty}(\mathbb R^3_x) \cap\dot H^N(\mathbb R^3_x))$ 中的整体适定性，其中 $N\geq 3$ 。进一步地，我们通过半群理论和精细能量方法获得了 Cauchy 问题的一致稳定性。其次，当 $$E$$ 和 $$S_0$$ 均以 $$T$$ 为周期时，我们证明了周期为 $$T$$ 的时间周期解的存在性，以及这些解关于 $t\to \infty$ 的渐近稳定性。此外，对于初值的 $$L^p$$ -范数满足 ${3}/{2}< p \leq 2$ 的情形，我们导出了时间周期解附近扰动的时间衰减估计。最后，当 $$E$$ 和 $$S_0$$ 均独立于 $$t$$ 时，我们建立了平稳解的存在性及其渐近稳定性。我们的结果为小外力项和源项作用下 KFP 方程的时间周期动力学与平稳态提供了统一的处理。

7. 退化标量平衡律：临界波的稳定性

Degenerated scalar balance laws: stability of the critical wave

作者: Louis Garénaux

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23115v1

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

摘要翻译

中文标题: 退化标量平衡律：临界波的稳定性

摘要翻译: 我们研究增长函数在一端无穷远处退化的标量平衡律。这是单稳态波与双稳态波之间的过渡情形。我们发现，该情形允许存在分别源自这两种情形的光滑波形剖面，并证明在通量满足一个符号假设的条件下，其中传播速度最慢的波是稳定的。无穷远处特征点的存在会削弱时间衰减：要获得代数时间衰减，必须牺牲指数空间局域性。

8. $\mathbb{S}^n$ 上的锐利改进 Sobolev 不等式

Sharp improved Sobolev inequalities on $\mathbb{S}^n$

作者: Juncheng Wei, Zetian Yan, Zikai Ye

类别: math.AP, math.DG

发布日期: 2026-10-16

arXiv ID: 2610.23069v1

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

摘要翻译

中文标题: $\mathbb{S}^n$ 上的锐利改进 Sobolev 不等式

摘要翻译: 我们证明了在 $\mathbb{S}^n$ 、 $n\ge 4$ 上，对于临界密度 $|u|^{2n/(n-2)}$ 重心为零的函数，存在锐利的改进 Sobolev 不等式，且不需要任何对称性假设。Dirichlet 项的系数以最优因子 $2^{-2/n}$ 得到改进，而 $$L^2$$ 项的系数仍为一。等号成立当且仅当函数为常数。这确立了每个维数 $n\ge4$ 下 Aubin 改进 Sobolev 不等式的锐利形式。

9. 一阶交通流中的随机激波动力学

Stochastic Shockwave Dynamics in First-Order Traffic Flow

作者: Yanlin Zhang, Alireza Talebpour

类别: physics.soc-ph, eess.SY, math.AP, math.PR

发布日期: 2026-10-16

arXiv ID: 2610.23022v1

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

摘要翻译

中文标题: 一阶交通流中的随机激波动力学

摘要翻译: 即使交通流定律固定，移动的拥堵前沿在不同实现中仍会有所差异。本文针对具有随机初始密度和确定性基本图的 Lighthill–Whitham–Richards (LWR) 模型，建立了一种基于生成元的表述。随机性通过初始空间密度场引入；每个实现都遵循相同的守恒律。对于光滑且严格凹的基本图，在所述空间过程与正则性假设下，我们将已有的单侧空间马尔可夫闭合方法推广到交通变量，并推导出物理归一化前沿强度的动力学平衡。通过演化空间生成元，可以得到密度分布律和拥堵前沿统计量，而无需针对每个实现求解道路网格问题。该表述在物理空间和时间上是连续的，而其数值实现则对密度状态进行近似并对物理时间积分。四个实验区分了确定性一致性与随机比较。黎曼问题和信号灯示例复现了独立构造的精确 LWR 解。光滑且严格凹的近似基本图在所测试的有限时间范围内趋近于确定性的三角形基本图信号灯解；这并不能证明在接触间断或容量折点处的随机闭合成立。我们采用相匹配的蒙特卡洛 Godunov 系综评估前沿数量、尺度、合并情况以及密度分布。演化后的生成元还给出冻结密度场下的瞬时行程时间分布，并将其与相匹配的 Godunov 密度剖面所对应的同一泛函进行比较。该量并非穿行于演化中的交通流时实际经历的行程时间。分辨率检验揭示了尚存的归一化效应和小前沿损失效应。本文的贡献在于，在固定的一阶交通流定律下，直接演化并解释交通状态分布与前沿分布。

10. 色散型 Landau-Lifshitz 方程中 Bloch 壁的渐近稳定性

Asymptotic stability of Bloch wall for dispersive Landau-Lifshitz equation

作者: Slim Ibrahim, Christof Melcher, Ikkei Shimizu

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.22978v1

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

摘要翻译

中文标题: 色散型 Landau-Lifshitz 方程中 Bloch 壁的渐近稳定性

摘要翻译: 我们考虑含 Dzyaloshinskii-Moriya 相互作用（DMI）的色散型 Landau-Lifshitz 方程的 Bloch 壁平稳解。首先，我们根据耦合常数的取值，建立轨道稳定性与不稳定性的二分结论。随后，在对称扰动下，我们证明在能量上有利的参数区域中，Bloch 壁是渐近稳定的。

11. 扩展 Chaplygin 流体等熵 Cargo-LeRoux 系统的黎曼问题

Riemann problem for the isentropic Cargo-LeRoux system with extended Chaplygin fluids

作者: Priyanka, M. Zafar, V. D. Sharma

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.22950v1

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

摘要翻译

中文标题: 扩展 Chaplygin 流体等熵 Cargo-LeRoux 系统的黎曼问题

摘要翻译: 本文研究等熵 Cargo-LeRoux 守恒律系统与扩展 Chaplygin 流体模型及一种广义状态方程相结合时的黎曼解；该状态方程刻画了非线性可压缩性和非理想流体行为。研究表明，在压力趋于零的极限情形下，黎曼解会产生 delta 激波和真空态。压力趋于零导致质量集中时会形成 delta 激波，而在稀疏波占主导的区域则会出现真空态。这些波型对于模拟现实问题至关重要，例如具有间断的多相天体物理流动、水下爆炸和燃烧前沿。

12. 二维无粘原始方程的精确格点共振与尖锐的第二 Picard 障碍

Exact lattice resonances and a sharp second Picard obstruction for the two-dimensional inviscid primitive equations

作者: Fengjie Luo, Zhengdong Du

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.22853v1

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

摘要翻译

中文标题: 二维无粘原始方程的精确格点共振与尖锐的第二 Picard 障碍

摘要翻译: 我们研究固定矩形环面上二维无旋转、无粘性且无热扩散的原始方程中，围绕具有常数稳定分层的静止态的周期扰动。傅里叶共振分析与 Sobolev 估计表明，尽管线性演化是酉的，对于垂直平均值为零的实值数据，在任意 Sobolev 阶数及任意固定非零时刻，极化的第二 Picard 算子都不存在损失少于一个导数的双线性有界估计。对于 $s\ge2$ ，这一导数损失是尖锐的；在每个充分高的物理尺度二进壳层上都存在相匹配的估计。我们对所有带符号通道中的精确格点共振进行分类，并计算其极化系数。一个垂直频率固定的混合分支族将诊断输运项单独分离出来，并表明在张量积 Sobolev 空间中，有限的垂直正则性无法将导数损失降低到少于一个水平导数。相比之下，对于 $s\ge2$ ，第二 Picard 算子的水平平均满足关于时间一致的单导数损失估计。在相互作用变量中，响应除以时间后收敛到共振算子；对于 $s\ge4$ ，在损失四阶导数后，其误差为 $O(|t|^{-1})$ 。最后，在那些仅由对两个分量施加共同傅里叶支撑约束所定义的实线性空间中，使得对所有光滑状态全非线性项都消失的极大空间，恰好是支撑于本原格点射线上的空间。在这些射线上，我们构造了显式的整体解，并得到均匀严格分层的精确判据。

13. 概率型傅里叶延拓与薛定谔方程

Probabilistic Fourier extension and the Schrödinger equation

作者: Lyudmila Korobenko, Eric T. Sawyer

类别: math.AP, math.CA

发布日期: 2026-10-15

arXiv ID: 2610.22634v1

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

摘要翻译

中文标题: 概率型傅里叶延拓与薛定谔方程

摘要翻译: 我们将 d 维抛物面的概率型傅里叶延拓定理（关于球面的情形见 [Saw7]；其中的证明同样适用于抛物面的一个光滑紧致部分）应用于薛定谔方程的全局初值问题，其中初始数据为 f。对于初始数据 f 的某些“鞅变换”，我们获得了尖锐的平均 Sobolev 正则性结果。三维情形的确定性对应结果最近已由 OpenAI [Ope] 得到。

14. 关于具有弱耗散的色散方程的两个临界指数

On the two critical exponents for a dispersive equation with weak dissipation

作者: Marcello D’Abbicco, Antonio Lagioia

类别: math.AP

发布日期: 2026-10-15

arXiv ID: 2610.22616v1

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

摘要翻译

中文标题: 关于具有弱耗散的色散方程的两个临界指数

摘要翻译: 本文研究如下标准形式的非线性柯西问题：\begin{equation*} \begin{cases} u_{tt} + A u+ Bu_t =D|u|^α, & t\geq 0, x \in \mathbb{R}^n\ u(0,x)=u_0(x),,u_t(0,x)=u_1(x). \end{cases} \end{equation*} 这里 $Af=\mathscr{F}^{-1}(a(ξ)^2\mathscr{F}f)$ ，其中 $$a(ξ)$$ 在 $$a(ξ)$$ 的 Hessian 矩阵非奇异的假设下是 $$k > 0$$ 阶齐次的；算子 $Bf=\mathscr{F}^{-1}(b(ξ)\mathscr{F}f)$ 表示一种弱耗散，具体而言， $b(ξ) \sim 1$ 当 $|ξ| \to \infty$ 时成立，并且 %，在若干模型中， $$D=B$$ ；但我们也考虑 $Df=ν\ast (-Δ)^δ(I-Δ)^{-δ}$ 的情形，其中 $$ν$$ 是有界测度，且 $δ\geq k/2$ 。我们推导出所考虑模型的线性解算子的 $$L^p-L^q$$ 估计，并证明了相应非线性问题的小初值解在全时间范围内存在时，临界指数从 Fujita 型指数向 Strauss 型指数的转变。

15. 关于 $\boldsymbol{1<p<2}$ 的 Hardy-Sobolev-Maz’ya 不等式

Hardy-Sobolev-Maz’ya Inequalities for $\boldsymbol{1<p<2}$

作者: Avas Banerjee, Michał Kijaczko, Vivek Sahu

类别: math.AP, math.FA

发布日期: 2026-10-15

arXiv ID: 2610.22540v1

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

摘要翻译

中文标题: 关于 $\boldsymbol{1<p<2}$ 的 Hardy-Sobolev-Maz’ya 不等式

摘要翻译: 我们在次二次范围 $$1<p<2$$ 内，为奇异性支撑于仿射子空间的情形以及任意区域建立了 Hardy–Sobolev–Maz’ya 不等式。首先，我们证明了一个针对支撑于任意余维仿射子空间上的奇异性的 Hardy–Sobolev–Maz’ya 不等式 $1\leq k<N$ ，表明锐 Hardy 不等式的亏损控制一个适当的加权 Sobolev 范数。结合相同的凸性估计与 Frank 和 Loss 在 [9] 中的一维方法，我们还利用到边界的平均距离，在任意区域上建立了 Hardy–Sobolev–Maz’ya 不等式，从而解决了 [9] 中提出的一个问题。这些结果填补了此前尚未解决的次二次范围 $$1<p<2$$ ，并与 $p\geq 2$ 的已知结果一起，为与平面奇异性和一般区域相关的所有 $$1<p<N$$ 提供了统一的 Hardy–Sobolev–Maz’ya 理论。

不相关论文（基本信息）

1. 线性化蒙日-安培方程 $L^\infty$ 估计的几何视角

Geometric Viewpoint of $L^\infty$ Estimates for Linearized Monge-Ampère Equations

作者: Arghya Rakshit, Derek Wu

类别: math.AP, math.DG

发布日期: 2026-10-16

arXiv ID: 2610.23848v1

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

摘要: We prove a Harnack inequality on Monge–Ampère gradient graphs under suitable geometric bounds, giving us interior $L^\infty$ estimates for the linearized Monge–Ampère equation. The proof combines Moser iteration on extrensic balls with a gradient estimate for the extrinsic distance function. The argument avoids the Caffarelli–Gutiérrez Harnack inequality and the engulfing and covering properties of Monge–Ampère sections.

2. Landau-Lifshitz-Gilbert方程的布洛赫斯格明子渐近稳定性

Asymptotic stability of a Bloch skyrmion for the Landau-Lifshitz-Gilbert equation

作者: Jordan Berthoumieu, Raphaël Côte

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23753v1

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

摘要: We prove the asymptotic stability of isolated skyrmions under the flow of the two-dimensional Landau-Lifshitz-Gilbert equation. We consider a micromagnetic energy functional involving the exchange energy, the Dzyaloshinskii-Moriya interaction, and the Zeeman interaction. We are interested in the stability of chiral Bloch skyrmions, which are local minimizers of this energy. We prove that data in H2 which are near in the skyrmion in a slighlty stronger than H1 sense, converge with exponential rate, in H2, to the skyrmion, up to a change of gauge.

3. 退化或奇异全非线性抛物方程的渐近梯度正则性

Asymptotic gradient regularity for degenerate or singular fully nonlinear parabolic equations

作者: Jiangwen Wang

类别: math.AP, math.CA

发布日期: 2026-10-16

arXiv ID: 2610.23683v1

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

摘要: This is a continuation of our recent work~\cite{WZJ26} on asymptotic gradient regularity for nonlinear parabolic equations. In this paper, we consider bounded viscosity solutions of the degenerate or singular fully nonlinear parabolic equation \begin{equation*} u_t-|Du|^γF(D^2u)=f \quad \text{in } Q_1, \end{equation*} where $$ γ>-1 $$ , $$ F $$ is uniformly $$ (λ, Λ)$$ -elliptic with $0<λ\leqΛ$ , $$F(0)=0$$ , and $f\in C^0(Q_1)\cap L^\infty(Q_1)$ . Given any prescribed $α\in(0,1)$ , we prove that there exists $\varepsilon=\varepsilon(n,α)>0$ such that

|γ|+\left(\fracΛλ-1\right) \leq \varepsilon \quad \Longrightarrow \quad u \in C_{\mathrm{loc}}^{1+α,\frac{1+α}{2}}(Q_1).

In particular, the spatial gradient Hölder exponent can be chosen arbitrarily close to $$1$$ as $(γ, \fracΛλ) \to (0,1)$ . This provides a fully nonlinear counterpart to the asymptotic gradient regularity result established in~\cite{WZJ26}.

4. Cahn–Hilliard 型能量的纤维化 Wasserstein 梯度流的耗散解

Dissipative solutions for fibred Wasserstein gradient flows of Cahn-Hilliard-type energies

作者: Georg Heinze, Katharina Hopf, Matthias Liero

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23718v1

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

摘要: We study fourth-order evolution equations with a fibred Wasserstein gradient-flow structure, describing spatial transport of finitely many or a continuum of types. The driving Cahn-Hilliard-like energy combines a diagonal gradient contribution with nonlinear interactions between types. We prove subsequential convergence of the fibred Jordan-Kinderlehrer-Otto scheme to solutions satisfying an energy-dissipation inequality. For general type distributions, the absence of compactness in the type variable is addressed through defect-based solution concepts. On $\mathbb R^d, d\le 3$ , we construct dissipative solutions satisfying an additional entropy-dissipation inequality. On smooth bounded domains in any space dimension, a coercivity estimate for the metric slope allows us to construct energy-dissipating solutions without relying on flow interchange, thereby covering non-convex domains endowed with the intrinsic length distance. In both cases, a variational comparison of the piecewise constant and De Giorgi interpolants yields a common limiting energy and strong convergence of the difference to zero without requiring strong compactness. For finitely many types, the defects vanish and the construction yields weak solutions. We further establish weak-strong uniqueness of dissipative solutions in every space dimension and of energy-dissipating solutions in dimensions $d\le5$ . Combined with the respective existence results, this yields strong convergence of the variational approximations whenever a sufficiently regular, strictly positive solution exists.

5. 圆柱体上几乎调和函数的三圆不等式

Three-circle inequalities for almost harmonic functions on cylinders

作者: Yuxiang Li, Wenjuan Qi

类别: math.DG, math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23648v1

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

摘要: The three-circle method was introduced into the blow-up analysis of harmonic maps by Qing and Tian [Comm. Pure Appl. Math. 1997]. We extend this method to a class of $$(τ,ε)$$ -almost harmonic functions on long cylinders and establish three-circle inequalities for their weighted energies. These inequalities yield a dichotomy between exponential energy decay and asymptotic dominance of a critical Fourier mode, together with a characterization of the corresponding normalized limiting profiles. In the unweighted case, we prove convergence of the averaged neck curves and identify their limiting equations under additional structural assumptions. Applications include neck analysis and energy identities for harmonic maps, solutions of Rivière’s equation, $$α$$ -harmonic maps, biharmonic approximations of harmonic maps, and Willmore surfaces.

6. 极小曲面的高度：尖锐阈值

Height of minimal surfaces: sharp thresholds

作者: Tobias Holck Colding, William P. Minicozzi

类别: math.DG, math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23629v1

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

摘要: The confinement theorem of [CM1] gives Euclidean volume growth for a proper minimal submanifold whose height over a plane is sublinear. Such volume growth places strong restrictions on the geometry. This leaves linear height as the natural borderline and raises the question of which, if any, linearly growing cones still force Euclidean growth. Here we determine this borderline sharply for proper holomorphic curves in $$C^2$$ . There are two sharp thresholds for the aperture depending on the Kähler angle $$θ$$ of the two-plane $$Π$$ : $\tan(θ/2)$ and $\cot(θ/2)$ . No proper holomorphic curve exists below the first, every such curve is algebraic below the second, and superquadratic proper holomorphic disks exist above the second. These conclusions extend to holomorphic submanifolds of arbitrary dimension and codimension. For stationary integral varifolds there are again three regimes: sublinear height forces Euclidean growth, narrow cones of aperture $\varepsilon$ force polynomial growth with exponent $n+O(\varepsilon^2)$ , and wide cones allow arbitrarily fast growth. The order $\varepsilon^2$ is sharp: already in $$R^3$$ , for every small $\varepsilon>0$ there are examples in a cone of aperture $\varepsilon$ whose volume grows at least like $r^{2+\frac45\varepsilon^2}$ .

7. 系数可测的线性一致椭圆方程的锐利最大值估计

Sharp maximum estimates for linear uniformly elliptic equations with measurable coefficients

作者: Shibing Chen, Neil S. Trudinger, Xu-Jia Wang

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23596v1

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

摘要: In this paper we obtain sharp exponents in the Aleksandrov-Bakelman-Pucci maximum estimate for linear uniformly elliptic equations with measurable coefficients, originally conjectured by Pucci in 1966 \cite{Pucci}, together with corresponding sharp results under the more natural quantification of uniform ellipticity in more than two dimensions. The proofs combine a Hessian integral inequality obtained from boundary Morse inequalities with an obstacle argument. The estimates also hold on arbitrary open sets, of finite volume, without regularity assumptions on their boundaries.

8. 齐次归一化 $$p$$ -拉普拉斯型算子的 Faber–Krahn 不等式

Faber–Krahn inequality for homogeneous normalized $$p$$ -Laplacian type operators

作者: Graziano Crasta, Ilaria Fragalà

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23593v1

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

摘要: We establish a sharp Faber-Krahn inequality for the normalized (or game-theoretic) $$p$$ -Laplacian, proving that, for $p\geq 2$ , the ball uniquely minimizes the principal Dirichlet eigenvalue among bounded connected Lipschitz domains of prescribed volume satisfying a uniform exterior sphere condition. More generally, we prove the same inequality for the family of homogeneous operators $$|Du|^γΔ_p^N u$$ , with $$p>1$$ and $-1<γ\le p-2$ . Unlike the classical $$p$$ -Laplacian, these operators lack a variational structure, preventing the use of standard symmetrization arguments. Our proof overcomes this difficulty through a level-set approach: it relies on a flux identity for the eigenvalue, for which a variational interpretation re-emerges in the special case where the domain is a ball.

9. 狄利克雷边界条件下 Mumford-Shah 泛函边界放大极限的分类

Classification of boundary blow-ups for the Mumford-Shah functional with Dirichlet boundary conditions

作者: Francesco Deangelis

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23513v1

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

摘要: We classify boundary blow-ups of minimizers of the Mumford-Shah functional on bounded planar domains with Dirichlet boundary conditions. At every point where the discontinuity set meets the boundary of the domain, we prove that the discontinuity set of each blow-up is the tangent line to the boundary at that point. This settles the conjecture formulated by the author in 2024.

10. 完备调和度量与复平面上的次调和函数

Complete harmonic metrics and subharmonic functions on the complex plane

作者: Natsuo Miyatake

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

发布日期: 2026-10-16

arXiv ID: 2610.23441v1

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

摘要: This paper continues our previous work \cite{Miy6} on an extension of the Li–Mochizuki theorem concerning the existence and uniqueness of complete diagonal harmonic metrics on cyclic Higgs bundles over open Riemann surfaces. We consider the extended Hitchin equation associated with general subharmonic weight functions on the canonical bundle, not necessarily induced by holomorphic $$r$$ -differentials. We establish uniqueness of complete solutions with determinant $$1$$ for arbitrary subharmonic weight functions, without additional regularity assumptions on them. We also prove that, on the complex plane, such a complete solution exists whenever the weight function is not identically $-\infty$ . Furthermore, if $(\varphi_ε)_{ε>0}$ is a family of smooth subharmonic weight functions decreasing to such a weight function $\varphi$ as $ε\searrow0$ , the associated family of smooth complete solutions $(h_ε)_{ε>0}$ with $\det(h_ε)=1$ converges monotonically to the unique complete solution $$h$$ associated with $\varphi$ and satisfying $\det(h)=1$ .

11. 平面凸域的最小面积外接矩形与第一诺伊曼特征值

Minimum-Area Enclosing Rectangles and the First Neumann Eigenvalue of Planar Convex Domains

作者: Xiaolong Li, Jin Sun, Kui Wang

类别: math.AP, math.SP

发布日期: 2026-10-16

arXiv ID: 2610.23439v1

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

摘要: Let $$Ω$$ be a bounded convex domain in the plane and let $$R$$ be a minimum-area rectangle containing $\overlineΩ$ . We prove that if the ratio of the shorter side of $$R$$ to its longer side is at most $ρ\approx 0.443485$ , then the first nonzero Neumann eigenvalue of $$Ω$$ is bounded from below by that of $$R$$ . Moreover, equality holds if and only if $$Ω$$ coincides with the interior of $$R$$ . The proof is based on a flux identity for the means of a test function over vertical sections of $$Ω$$ , combined with weighted estimates involving the distributional second derivatives of the boundary functions. Finally, we show that the threshold $ρ\approx0.443485$ is nearly optimal by constructing, for every ratio in $$(0.457994,1/2)$$ , trapezoids that are arbitrarily close to their minimum-area enclosing rectangle and for which the inequality fails.

12. 定义在分割上的能量从非局部到局部的变分极限

Nonlocal-to-local variational limits of energies on partitions

作者: Roberto Alicandro, Giuliana Fusco, Chiara Leone

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23389v1

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

摘要: We study, through a $$Γ$$ -convergence procedure, the asymptotic behaviour of a general class of nonlocal energies defined on functions taking values in a finite set $Y=\{y_1,\dots,y_N\}\subset\mathbb R^m$ . These energies are written in terms of double integrals accounting for pairwise interactions in an open set $$Ω$$ , weighted by a kernel $K_\varepsilon$ . If the latter is controlled from above and below by suitable non-negative radial kernels with unit mass concentrating at the origin, then, up to subsequences, the $$Γ$$ -limit has domain $$BV(Ω;Y)$$ and is given by a local surface energy. We show that the locality of the $$Γ$$ -limit is not guaranteed if the concentration of mass fails. For a class of reference energies, we obtain a more explicit representation of the limit energy, also for non-radial kernels, recovering the limits of isotropic and anisotropic fractional perimeters. We also prove a homogenization result for periodic kernels.

13. 具有分数阶记忆的奇异随机热方程

Singular Stochastic Heat Equations with Fractional Memory

作者: Shuolin Zhang, \quad Zhaoyang Yin

类别: math.AP, math.PR

发布日期: 2026-10-16

arXiv ID: 2610.23189v1

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

摘要: We extend the paracontrolled distribution approach of Gubinelli, Imkeller, and Perkowski to singular stochastic heat equations with Caputo fractional time derivatives. By establishing Schauder estimates for the time-fractional heat flow and controlling history terms, we address the difficulties arising from temporal memory and the lack of the semigroup property. For the one-dimensional rough Burgers-type equation driven by space-time white noise with spatial dissipation $$(-Δ)^σ$$ , we prove global well-posedness for $σ\in(5/6,1]$ and $ν\in(6σ/(12σ-5),1]$ . For the heat equation with nonlinear multiplicative spatial white noise on the two-dimensional torus, we establish local well-posedness of renormalized solutions and an $L^\infty$ blow-up criterion for every $ν\in(0,1]$ .

14. 通过 Γ-收敛实现非局部弹性的线性化

Linearization in nonlocal elasticity via Gamma-convergence

作者: Carolin Kreisbeck, Carlos Mora-Corral, Felix Seifert

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23114v1

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

摘要: Linearization is a classical tool in continuum mechanics that connects nonlinear models of solids to their linear counterparts through the small-strain limit, as in the passage from finite to linear elasticity. Here, we study a nonlocal analogue of this limit process in the context of state-based peridynamics, starting from a class of models in nonlocal hyperelasticity subject to nonlocal Dirichlet boundary conditions. Recent formal calculations in the literature indicate that the linearized versions of these models are closely related to the widely used Eringen models. The main purpose of this note is to make this connection rigorous by establishing $$Γ$$ -convergence of the associated energy functionals and a corresponding compactness result that together imply strong convergence of minimizers. Our proof relies on a local-to-nonlocal transfer argument that reduces the problem to a well-known local linearization result.

15. Serrin 临界 $$p$$ -Laplace 方程弱解的孤立奇点

Isolated singularities of weak solutions to the Serrin-critical $$p$$ -Laplace equation

作者: Meiqing Xu, Hui Yang

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23045v1

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

摘要: We classify isolated singularities of nonnegative weak solutions to the Serrin-critical quasilinear Lane-Emden equation $-Δ_p u=u^{\frac{n(p-1)}{n-p}}$ in $B_1\setminus\{0\}$ , where $$1<p<n$$ , $$Δ_p$$ is the classical $$p$$ -Laplacian operator and $B_1\setminus\{0\}\subset\mathbb{R}^n$ is the punctured unit ball. We prove that either the origin is a removable singularity or $$u$$ satisfies $\lim_{x\to0}|x|^{\frac{n-p}{p-1}}(\log\frac1{|x|})^{\frac{n-p}{p(p-1)}}u(x)=[\frac{n-p}{p}(\frac{n-p}{p-1})^{p-1}]^{\frac{n-p}{p(p-1)}}$ . This extends the result of Aviles (Comm. Math. Phys. 1987: 177–192) from the semilinear case $$p=2$$ to the full range $$1<p<n$$ , without assuming radial symmetry. We develop a new BV-based argument for weak solutions. We also give a direct construction of positive radial singular solutions with the same asymptotic behavior.

16. 梯度指数全范围内关于 $-Δ_{m,g}u=λe^u|\nabla u|^q$ 的 Liouville 定理

Liouville theorems for $-Δ_{m,g}u=λe^u|\nabla u|^q$ in the full range of gradient exponents

作者: Yuhua Sun, Zhen Wang, Mengyu Zhang

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.23029v1

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

摘要: We study the equation

-Δ_{m,g}u=λe^u|\nabla u|^q

on complete, connected, noncompact Riemannian manifolds of dimension $n\ge2$ with $\Ric_g\ge0$ . For every $$m>1$$ , $q\in\mathbb R$ and $$λ>0$$ , we prove that every positive $$C^1$$ weak solution is constant when $$q>0$$ , while no such solution exists when $q\le0$ . For $$q>m$$ , we derive a local gradient estimate independent of the solution by Nash–Moser iteration, which leads to automatic boundedness and resolves the question raised by Lu and Zhu~\cite[Remark~1.6(B)]{LZ}. For $$m-1<q<m$$ , we use an auxiliary function and a divergence inequality to extend the Liouville result beyond the range covered by existing gradient-inequality methods. The remaining cases are treated by suitable changes of variables and integral estimates. The conclusions also extend to real-valued solutions bounded below.

17. 对抗训练中鲁棒性与几何精度之间的权衡

On the tradeoff between robustness and geometric accuracy in adversarial training

作者: Rachel Morris, Ryan Murray, Kerrek Stinson

类别: cs.LG, math.AP

发布日期: 2026-10-16

arXiv ID: 2610.22955v1

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

摘要: For non-parametric binary classification in the presence of an adversary, we prove an optimal quantitative estimate for adversarial classifiers controlling geometric accuracy, as measured by the Hausdorff distance to the Bayes classifier, in terms or their robustness, as encoded by the adversarial budget $\varepsilon$ . This rigorously shows that robust classifiers sacrifice at most $O(\sqrt{\varepsilon})$ or $O(\varepsilon)$ in accuracy, depending on the regularity of the underlying Bayes classifier. In contrast to prior work on the incompatibility of robustness and accuracy over low-complexity hypothesis classes, our work shows that high-complexity hypothesis classes allow for robust classifiers with precisely quantified accuracy. Our results apply for adversaries determined by any norm on Euclidean space and in both the infinite and finite data settings.

18. 分数阶 Hénon-Lane-Emden 猜想及若干临界非存在现象

The fractional Hénon-Lane-Emden conjecture and some critical nonexistence phenomena

作者: Kui Li, Haoyang Lu, Zhitao Zhang

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.22802v1

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

摘要: We refine the proof method for the Hénon-Lane-Emden system and extend it to fractional orders $$0<s<1$$ , proving subcritical nonexistence of positive classical solutions. And we find examples with $$0<s<1/2$$ and fixed nonzero weights for which existence and nonexistence occur at different points of the same critical hyperbola.

19. 完备流形上半线性与拟线性李维尔定理的积分体积判据

Integral Volume Criteria for Semilinear and Quasilinear Liouville Theorems on Complete Manifolds

作者: Yongheng Qin, Yuhua Sun

类别: math.AP

发布日期: 2026-10-16

arXiv ID: 2610.22803v1

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

摘要: Let $$M$$ be a connected complete noncompact Riemannian manifold without boundary, and let $$V_o(R)$$ denote its ball volume. We prove Liouville theorems without any curvature assumption. For $$p>1$$ and $$q>p-1$$ , divergence of $\int^\infty R^{pq/(p-1)-1}V_o(R)^{-(q-p+1)/(p-1)}\dd R$ forces every nonnegative Sobolev weak supersolution of $-Δ_pu\ge u^q$ to vanish. For $q>\max\{1,p-1\}$ , divergence of $\int^\infty R^{p-1}V_o(R)^{-(q-p+1)}\dd R$ forces every nonnegative global distributional energy supersolution of $u_t-Δ_pu\ge u^q$ to vanish. Consequently, the corresponding Cauchy problem has no global solution in this class with a nonzero nonnegative local $$L^1$$ initial trace.

20. 洛伦兹力方程的双重相互作用原理

Double interaction principle for the Lorentz force equation

作者: Cristain Bereanu, Nicusor Costea

类别: math.AP, math.FA

发布日期: 2026-10-15

arXiv ID: 2610.22627v1

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

摘要: In this paper we study the Lorentz force equation using the Poincare action functional. We show that, if the scalar electric potential has good interactions at infinity and around the origin with the vector magnetic potential, then the Lorentz force equation has at least two periodic solutions with a fixed period. For the proof of our main result we introduce a new minimax theorem for the Poincare action functional that does not require the Palais-Smale compactness condition and provides the existence of twin critical points. The interaction at infinity in the electromagnetic potential implies a weak compactness property of the Poincare action functional, while the interaction around the origin gives the separation property of the functional.

21. $\mathscr{A}$ -自由杨测度的几何刚性原理

Geometric rigidity principles for $\mathscr{A}$ -free Young measures

作者: Sergio Scalabrino

类别: math.AP

发布日期: 2026-10-15

arXiv ID: 2610.22560v1

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

摘要: We study generalized Young measures generated by $\mathscr{A}$ -free measures, $\mathscr{A}$ a constant-rank operator, in a compactification of the value space adapted to an energy. Given an $\mathscr{A}$ -quasiconvex integrand $$G$$ of linear growth with coercive recession function $G^\infty$ , the unit sphere at infinity is replaced by the indicatrix $\mathbb{S}_G=\{G^\infty=1\}$ , which need be neither convex nor symmetric. The two compactifications are equivalent, but in the adapted one the equality cases of the Jensen inequalities characterizing $\mathscr{A}$ -free Young measures become statements of convex geometry about $\mathbb{S}_G$ . We prove the characterization in this setting, with a new streamlined proof of the inhomogenization step based on a dyadic martingale argument. We then show that if $\mathscr{A}$ -free measures $μ_j\overset{*}{\rightharpoonup}μ$ and their $$G$$ -energies converge, then at $$|μ^s|$$ -almost every point the concentration-angle measure is supported on the smallest exposed face of $\overline{\mathrm{co}}(\mathbb{S}_G)$ containing the $$G$$ -polar of $$μ^s$$ ; in particular, it never charges the set where $G^\infty$ differs from its convex envelope, which, by the automatic convexity of Kirchheim and Kristensen, does not meet the wave cone. The concentration on the singular part of $$μ$$ is elementary for every such sequence if and only if each point of the wave cone on $\mathbb{S}_G$ is an extreme point of $\overline{\mathrm{co}}(\mathbb{S}_G)$ , as for the Euclidean norm underlying Reshetnyak’s continuity theorem; on flat faces of $\mathbb{S}_G$ , rigidity degrades from a point to a face. Finally, we prove a transfer principle for the convergence of energies of $\mathrm{BV}$ maps under Dirichlet boundary conditions.

22. 对应于右诺特多项式的复Hessian方程的可解性

Solvability of complex Hessian equations corresponding to right-Noetherian polynomials

作者: Junbang Liu, Yulun Xu

类别: math.AP, math.DG

发布日期: 2026-10-15

arXiv ID: 2610.22524v1

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

摘要: On compact Hermitian manifolds, we establish a framework using radial normalization for the solvability of complex Hessian equation in form type, corresponding to right-Noetherian polynomials whose coefficients may not be constant functions. The solvability of a radial normalized equation is characterized by the existence of a C-subsolution at radial slope, which extends the results of Guo-Song to this setting.

23. 流形上布伦-明可夫斯基不等式等号成立情形的一种新证明

A new proof of equality cases of the Brunn-Minkowski inequality on manifolds

作者: Osama Farooqui

类别: math.AP

发布日期: 2026-10-15

arXiv ID: 2610.22517v1

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

摘要: We give a new proof of equality cases of the Brunn-Minkowski inequality on manifolds, following the work of Balogh-Krisátly. Our proof extends also to equality cases of the strong Brunn-Minkowski inequality, introduced by Magnabosco-Portinale-Rossi.

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

1. 二维惯性磁流体力学中的重联#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 新小性条件下三维有界区域中可压缩Navier–Stokes方程的整体适定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 通过 De Giorgi 方法研究导热流体系统中温度的正则性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 强理想气体激波层的谱稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 三维自由边界欧拉流中的空腔塌缩与动能集中#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. Navier–Stokes 流与热流下的高斯测度彼此奇异#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. Euler 方程的可容许解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 含弹性颗粒的黏性流体均匀化中的记忆效应#

摘要翻译#

2. 一致限制下界与可积系统中的非测地公共节点曲线#

摘要翻译#

3. 改进的 $L^p$ 高次 Weyl 和最大估计#

摘要翻译#

4. 非局部双重非线性抛物方程的 Harnack 型不等式#

摘要翻译#

5. 粗糙随机粘性 Camassa-Holm 方程#

摘要翻译#

6. 含时变力与源项的 Fokker-Planck 方程在 $\mathbb R^3$ 中的解#

摘要翻译#

7. 退化标量平衡律：临界波的稳定性#

摘要翻译#

8. $\mathbb{S}^n$ 上的锐利改进 Sobolev 不等式#

摘要翻译#

9. 一阶交通流中的随机激波动力学#

摘要翻译#

10. 色散型 Landau-Lifshitz 方程中 Bloch 壁的渐近稳定性#

摘要翻译#

11. 扩展 Chaplygin 流体等熵 Cargo-LeRoux 系统的黎曼问题#

摘要翻译#

12. 二维无粘原始方程的精确格点共振与尖锐的第二 Picard 障碍#

摘要翻译#

13. 概率型傅里叶延拓与薛定谔方程#

摘要翻译#

14. 关于具有弱耗散的色散方程的两个临界指数#

摘要翻译#

15. 关于 $\boldsymbol{1<p<2}$ 的 Hardy-Sobolev-Maz’ya 不等式#

摘要翻译#

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

1. 线性化蒙日-安培方程 $L^\infty$ 估计的几何视角#

2. Landau-Lifshitz-Gilbert方程的布洛赫斯格明子渐近稳定性#

3. 退化或奇异全非线性抛物方程的渐近梯度正则性#

4. Cahn–Hilliard 型能量的纤维化 Wasserstein 梯度流的耗散解#

5. 圆柱体上几乎调和函数的三圆不等式#

6. 极小曲面的高度：尖锐阈值#

7. 系数可测的线性一致椭圆方程的锐利最大值估计#

8. 齐次归一化 $p$-拉普拉斯型算子的 Faber–Krahn 不等式#

9. 狄利克雷边界条件下 Mumford-Shah 泛函边界放大极限的分类#

10. 完备调和度量与复平面上的次调和函数#

11. 平面凸域的最小面积外接矩形与第一诺伊曼特征值#

12. 定义在分割上的能量从非局部到局部的变分极限#

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

1. 二维惯性磁流体力学中的重联

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 新小性条件下三维有界区域中可压缩Navier–Stokes方程的整体适定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 通过 De Giorgi 方法研究导热流体系统中温度的正则性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 强理想气体激波层的谱稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 三维自由边界欧拉流中的空腔塌缩与动能集中

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. Navier–Stokes 流与热流下的高斯测度彼此奇异

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. Euler 方程的可容许解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 含弹性颗粒的黏性流体均匀化中的记忆效应

摘要翻译

2. 一致限制下界与可积系统中的非测地公共节点曲线

摘要翻译

3. 改进的 $$L^p$$ 高次 Weyl 和最大估计

摘要翻译

4. 非局部双重非线性抛物方程的 Harnack 型不等式

摘要翻译

5. 粗糙随机粘性 Camassa-Holm 方程

摘要翻译

6. 含时变力与源项的 Fokker-Planck 方程在 $\mathbb R^3$ 中的解

摘要翻译

7. 退化标量平衡律：临界波的稳定性

摘要翻译

8. $\mathbb{S}^n$ 上的锐利改进 Sobolev 不等式

摘要翻译

9. 一阶交通流中的随机激波动力学

摘要翻译

10. 色散型 Landau-Lifshitz 方程中 Bloch 壁的渐近稳定性

摘要翻译

11. 扩展 Chaplygin 流体等熵 Cargo-LeRoux 系统的黎曼问题

摘要翻译

12. 二维无粘原始方程的精确格点共振与尖锐的第二 Picard 障碍

摘要翻译

13. 概率型傅里叶延拓与薛定谔方程

摘要翻译

14. 关于具有弱耗散的色散方程的两个临界指数

摘要翻译

15. 关于 $\boldsymbol{1<p<2}$ 的 Hardy-Sobolev-Maz’ya 不等式

摘要翻译

不相关论文（基本信息）

1. 线性化蒙日-安培方程 $L^\infty$ 估计的几何视角

2. Landau-Lifshitz-Gilbert方程的布洛赫斯格明子渐近稳定性

3. 退化或奇异全非线性抛物方程的渐近梯度正则性

4. Cahn–Hilliard 型能量的纤维化 Wasserstein 梯度流的耗散解

5. 圆柱体上几乎调和函数的三圆不等式

6. 极小曲面的高度：尖锐阈值

7. 系数可测的线性一致椭圆方程的锐利最大值估计

8. 齐次归一化 $$p$$ -拉普拉斯型算子的 Faber–Krahn 不等式

9. 狄利克雷边界条件下 Mumford-Shah 泛函边界放大极限的分类

10. 完备调和度量与复平面上的次调和函数

11. 平面凸域的最小面积外接矩形与第一诺伊曼特征值

12. 定义在分割上的能量从非局部到局部的变分极限