Home » 论文总结

2026年10月14日论文分析

共有 9 篇重点关注论文, 20 篇论文可以了解, 23 篇不相关论文

October 14, 2026 · 49 min · 10210 words · P0lyno3ial

Table of Contents

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

生成时间: 2026年10月14日 08:14:31

运行状态: 完成

计划处理论文数量: 52

已完成论文数量: 52

未完成论文数量: 0

重点关注论文数量: 9

了解领域论文数量: 20

不相关论文数量: 23

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

1. 具有无限能量初值的 Navier–Stokes 方程光滑解的整体存在性

Global existence of smooth solutions to the Navier-Stokes equations for initial data with infinite energy

作者: Alexey Cheskidov, Hedong Hou

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18797v1

摘要翻译: 我们证明，对于任意无散的分布初值，Navier–Stokes 方程的解整体存在。这些解在正时间上关于时间和空间均为光滑的。当初值属于 Sobolev 空间 $W^{-1,p}$ ，且 $1<p<\infty$ 时，我们构造的解是经典意义下的弱解。我们还刻画了允许弱解存在的分布初值，并给出了 Besov 空间和 Triebel–Lizorkin 空间中的尖锐范围。

Comment: 48 pages. Comments are welcome

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

1. 研究对象和背景

本文研究周期区域 $\mathbb{T}^d=\mathbb{R}^d/\mathbb{Z}^d$ 上不可压缩 Navier-Stokes 方程在极粗糙初值下的整体存在性, 其中 $d\ge 2$ . 未知量是速度场 $u:(0,\infty)\times\mathbb{T}^d\to\mathbb{R}^d$ 与压力 $p:(0,\infty)\times\mathbb{T}^d\to\mathbb{R}$ , 方程为

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

初值 $$u_0$$ 可为分布, 因而不必具有有限动能 $\|u_0\|_{L^2}^2$ . 文章的核心问题不只是能否在正时间构造光滑流场, 还包括该流场在 $t\downarrow0$ 时以何种拓扑趋于 $$u_0$$ , 何时能满足经典弱解的积分恒等式, 以及哪些分布初值允许这种弱解存在. 这几个问题需区分: 对任意散度为零的分布初值, 作者证明存在正时间光滑并在某个负阶 Sobolev 空间连续取初值的解; 但任意分布初值并不因此自动成为通常意义的弱解初值, 后者还要求解具有足够的时空可积性, 使非线性项 $u\otimes u$ 可参与弱形式。

对有限能量初值, Leray 与 Hopf 的理论给出 Leray-Hopf 弱解, 典型正则性为 $u\in C_w([0,\infty);L^2)\cap L^\infty_{\mathrm{loc}}([0,\infty);L^2)\cap L^2_{\mathrm{loc}}([0,\infty);H^1)$ , 并满足能量不等式

\frac12\|u(t)\|_{L^2}^2+\int_{t_0}^{t}\|\nabla u(s)\|_{L^2}^2\,ds\le \frac12\|u(t_0)\|_{L^2}^2.

若 $$u_0$$ 不在 $$L^2$$ , 这类从初始时刻起始的能量控制便不能直接使用. 另一条经典路线是围绕热演化 $e^{t\Delta}u_0$ 做 mild 解不动点论证; 它在尺度临界或次临界空间中有效, 但对一般超临界负阶 Sobolev 分布并不适用. 方程在 $\mathbb{R}^d$ 上的缩放为 $u(t,x)\mapsto\lambda u(\lambda^2t,\lambda x)$ , 临界理论包括 Fujita-Kato、Kato、负阶 Besov 空间理论及 Koch-Tataru 的 $\mathrm{BMO}^{-1}$ 框架。对于周期区域上的超临界粗糙数据, 如何在没有小性或随机化的条件下构造全局解, 是本文试图补足的空白。

更细的难点在于, 对极粗糙初值, 线性热演化本身可能不具有目标解所需的时空可积性. 文章指出, 当 $$1<p<2$$ 且 $u_0\in W^{-1,p}\setminus H^{-1}$ 时, 一般有 $e^{t\Delta}u_0\notin L^2((0,T)\times\mathbb{T}^d)$ , 而作者构造的非线性解却可属于 $L^2_{t,x}$ . 因而作者不把解作为热流的小扰动, 而是利用非线性相互作用改变初始粗糙部分的耗散过程, 并将这种机制解释为正向能量级联与增强耗散。另一个问题是弱解初值的精确刻画: 作者将其转化为初值是否能写成常向量与对称 $$L^1$$ 张量散度的和, 并据此导出 Besov、Triebel-Lizorkin 尺度中的尖锐范围。

2. 主要定理或主要结果

定理 1.1 给出任意分布初值的全局正时间光滑解. 对每个 $s\ge1$ 及散度为零的 $u_0\in H^{-s}(\mathbb{T}^d)$ , 存在 Navier-Stokes 方程的解满足

u\in C^\infty((0,\infty)\times\mathbb{T}^d)\cap C([0,\infty);H^{-s}),\qquad u(0)=u_0.

由于 $\mathcal{D}'(\mathbb{T}^d)=\bigcup_{s\ge1}H^{-s}(\mathbb{T}^d)$ , 这覆盖所有散度为零的分布初值. 结论是存在性, 并未声称解唯一或对初值连续依赖. 此处的“光滑”是正时间上的时空光滑, 并不表示 $$t=0$$ 处光滑。

定理 1.3 将结论加强为经典弱解存在. 对任意 $1<p<\infty$ 及散度为零的 $u_0\in W^{-1,p}(\mathbb{T}^d)$ , 存在全局解

u\in C^\infty((0,\infty)\times\mathbb{T}^d)\cap C([0,\infty);W^{-1,p})\cap\bigcap_{T>0,\,1\le q<2p}L^2((0,T);L^q).

特别地, 取 $$q=2$$ 是允许的, 因为 $$p>1$$ , 故 $u\in L^2((0,T)\times\mathbb{T}^d)$ ; 作者构造的解满足 Leray 弱形式: 对任意光滑、紧支撑于 $$[0,T)$$ 且散度为零的测试场 $\varphi$ ,

\langle u_0,\varphi(0)\rangle+\int_0^T\!\int_{\mathbb{T}^d}\bigl(u\cdot\partial_t\varphi+u\cdot\Delta\varphi+(u\otimes u):\nabla\varphi\bigr)\,dx\,dt=0.

摘要及正文还指出, 对 $u_0\in H^{-s}$ 且 $0<s\le1$ , 由此得到任意维数 $d\ge2$ 下无随机化、无小性假设的全局弱解, 解正时间光滑, 并强收敛到初值于 $H^{-1}$ . 定理 1.1 本身的表述从 $s\ge1$ 起, 这一 $0<s\le1$ 的弱解结论是通过定理 1.3 的 $W^{-1,p}$ 框架及相应嵌入等得到; 所给摘录未展开该推导细节。

定理 1.5 给出弱解初值的充要刻画. 对散度为零的 $u_0\in\mathcal{D}'(\mathbb{T}^d)$ , 存在局部弱解当且仅当存在对称矩阵值函数 $S\in L^1(\mathbb{T}^d;\mathrm{Sym}_{d\times d})$ , 使得

u_0=\widehat{u_0}(0)+\mathbb{P}\operatorname{div}S,

其中 $\mathbb{P}$ 是 Leray 投影, $\widehat{u_0}(0)$ 是零频率系数. 在该条件下, 不仅有局部弱解, 还有初值为 $$u_0$$ 、正时间光滑的全局弱解. 作者说明局部弱解可在适当的正时间点重启并延拓, 本文进一步得到光滑全局解。

推论 1.6 给出 Besov 与 Triebel-Lizorkin 空间中的尖锐判别. 对 $s\in\mathbb{R}$ 、 $1\le p,q\le\infty$ , 每个散度为零的 $B^s_{p,q}(\mathbb{T}^d)$ 初值都允许局部弱解, 当且仅当

s>-1,\qquad\text{或}\qquad s=-1\ \text{且}\ q\le\min\{p,2\}.

对 $F^s_{p,q}(\mathbb{T}^d)$ , 对应充要范围是

s>-1,\qquad\text{或}\qquad s=-1\ \text{且}\ q\le2.

在上述范围内, 解可取为全局且在正时间光滑. 特别地, 对 $1<p<\infty$ , 所有 $W^{s,p}$ 初值具有该性质当且仅当 $s\ge-1$ 。端点 $$s=-1$$ 的 $$p,q$$ 条件是结论的重要部分, 不能简单概括为“负一阶以下均可”。

命题 1.8 是更强拓扑连续性的补充. 若 $$s>1$$ , $X=B^{-s}_{p,q}$ 或 $F^{-s}_{p,q}$ , 且 $$u_0$$ 属于光滑函数在 $$X$$ 中的闭包 $C^\infty X$ , 则存在

u\in C^\infty((0,\infty)\times\mathbb{T}^d)\cap C([0,\infty);X).

该闭包条件是强连续性的必要条件, 因为正时间解光滑且在 $$X$$ 中趋于 $$u_0$$ 时, $$u_0$$ 必须属于光滑函数的 $$X$$ 闭包. 文章明确强调, 定理 1.1 和 1.3 均不蕴含唯一性或连续依赖, 因而不与相关端点空间的 norm inflation 或非唯一性结果矛盾。

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

证明的主线不是对热流 $e^{t\Delta}u_0$ 做小扰动. 对极粗糙初值, 热流可能产生很大的非线性误差, 且在某些 $W^{-1,p}$ 初值下甚至不属于 $L^2_{t,x}$ . 作者改为先构造一个包含主要二次相互作用的近似解, 再用固定点法消去剩余误差。记

B(a,b)(t)=\int_0^t e^{(t-s)\Delta}\mathbb{P}\operatorname{div}(a\otimes b)(s)\,ds,

其目标结构写作

v\approx e^{t\Delta}u_0-\sum_k B(v_k,v_k),\qquad v=\sum_kv_k.

这里的关键不是形式上出现 Duhamel 算子, 而是把原本会留在 Reynolds stress 中的主要自相互作用提前纳入近似解, 同时安排不同块之间的交叉相互作用较小。完成近似解后, 作者再构造修正项 $$w$$ , 令 $$u=v+w$$ 成为精确解; 摘录称此步使用经典 fixed-point 论证, 但未提供完整的函数空间估计。

构造由一列频率尺度上的级联块递归实现. 初值分解为 $u_0=\sum_k u_{0,k}$ , 并设计满足 $v_k(0)=u_{0,k}$ 的块, 使其大致 obey

v_k(t)\approx e^{t\Delta}v_k(0)-B(v_{k+1},v_{k+1}).

较高频块的自作用一方面在低频尺度产生近似的 $$v_k$$ , 另一方面把较低级联块中“多余”的能量转移到更高频率. 由于高频耗散更快, 作者将这种能量从低频向高频转移称作正向能量级联, 并用它解释增强耗散以及为何非线性解的可积性可能优于对应热流. 这与 [CDP25] 中利用级联从零或光滑初值生成非平凡解的反向能量级联机制有关联, 但本篇的用途不同: 初值本身是奇异的, 级联主要用于处理初始块并降低近似误差, 而非从零初值产生块。

局部构件采用 Mikado 型集中剖面及几何分解. 几何引理将接近单位矩阵的对称矩阵写成有限个方向张量的正系数组合:

R=\sum_j\Gamma_j(R)^2\,\theta_j\otimes\theta_j.

这使得设计振荡块时, 可按方向调节主导的二次张量, 从而匹配指定的对称应力. $d\ge3$ 时, 文中选取互不相交的线状集中剖面; $$d=2$$ 时采用不同的周期剖面构造, 因为不能直接得到同样的互不相交集中管. 剖面满足 $\theta_j\cdot\nabla\phi_j=0$ , 且经归一化有 $\|\phi_j\|_{L^2}=1$ ; 支撑集还被选得很小。作者明确指出, 此处不同于适配 Navier-Stokes 的经典凸积分方案, 不使用间歇性。

具体振荡块由势函数生成. 对光滑振幅 $$a_j$$ , 方向 $\theta_j,\eta_j$ 满足 $\theta_j\cdot\eta_j=0$ , 文中取

\psi_j(x)=\frac{2}{\lambda}a_j(x)\phi_j(x)\theta_j\sin(\lambda\eta_j\cdot x),\qquad V_j=-\Delta\psi_j,\qquad v_j(t,x)=e^{-\lambda^2t}V_j(x).

频率 $\lambda$ 取使振荡因子在环面上周期的值. 设计目标是让块的自作用主项逼近

U=\mathbb{P}\operatorname{div}\sum_j a_j^2\theta_j\otimes\theta_j,

并把偏离主项的部分控制在带时间权重的空间 $L^\infty_r$ , 其范数为 $\sup_{0<t\le1}t^r\|f(t)\|_{L^\infty}$ . 摘录到此只给出构件与估计目标, 未显示后续命题中的具体误差上界, 因而无法可靠补写其关于 $\lambda$ 、集中参数 $\mu$ 或级联指标的精确幂次关系。

还有一项结构性工具是对称应力表示. 非线性项本身来自 $u\otimes u$ , 其张量对称性与定理 1.5 中 $S\in L^1(\mathrm{Sym}_{d\times d})$ 对应; 作者指出这种对称性使构造能够安排自相互作用. 该刻画把“存在弱解”的必要条件与充分构造条件压缩成一个初始应力分解问题, 并由此产生 Besov 与 Triebel-Lizorkin 端点范围。至于刻画必要性的完整论证、级联迭代的逐步误差吸收、修正项的精确估计, 所给 PDF 摘录未包含相关章节, 因此无法确认更细的引理形式或参数选择。

4. 与之前工作的比较

与有限能量理论相比, Leray [Ler34] 与 Hopf [Hop51] 的全局弱解以 $$L^2$$ 初值和能量不等式为基础; 本文将初值拓展到负阶 Sobolev 空间, 甚至在定理 1.1 中覆盖所有散度为零的分布, 同时得到正时间光滑性. 但这种扩展并不意味着所有结论都具有 Leray-Hopf 形式: 对任意 $H^{-s}$ 分布, 定理 1.1 给出的是在 $H^{-s}$ 连续取初值的正时间光滑解, 不保证它属于 $L^2_{t,x}$ 或满足经典弱解定义. 经典弱解结论需另加 $W^{-1,p}$ 条件, $1<p<\infty$ ; 因此文章同时解决了更宽的“光滑解存在”问题和范围较窄但可作弱形式检验的“弱解存在”问题。

与 Fujita-Kato [FK64]、Chemin [Che92]、Kato [Kat84]、Cannone [Can97]、Planchon [Pla98] 及 Koch-Tataru [KT01] 的局部 mild 解理论相比, 传统 fixed-point 方法依赖尺度临界或次临界空间中的扰动控制, 小数据时还可导出全局解. 本文不在热演化附近作扰动, 因而把存在性推进到一般超临界负阶 Sobolev 数据, 且不要求小性. 代价是结论只断言存在, 不提供唯一性、连续依赖或由同一初值选出规范解; 作者也特别说明, 这不与 $B^{-1}_{\infty,q}$ 等端点空间的 norm inflation 结果冲突。

相较于 Calderón [Cal90] 对 $d\ge3$ 、 $$2<p<d$$ 的超临界 Lebesgue 初值使用数据分解与非线性插值, 以及 Albritton 与 Barker [AB19] 在三维临界负阶 Besov 空间 $\dot B^{-1+3/p}_{p,\infty}$ 、 $3<p<\infty$ 中使用分解、迭代逼近和 Galerkin 方法, 本文处理的是周期区域上一般分布初值的另一种构造问题, 不再要求初值落在这些特定尺度空间. 其弱解适用范围则由应力表示给出精确边界, 而非声称每个分布都具有弱解。摘录提及 Popkin [Pop25] 及 Fern'andez-Dalgo、Lemari'e-Rieusset、Bradshaw、Kukavica、Tsai 等关于超临界或加权空间的工作, 但未给出逐项定理比较, 更细的差异从提供内容中无法确认。

相较于 Nahmod、Pavlović 与 Staffilani [NPS13], 后者在二维 $H^{-s}$ 、 $$0<s<1/2$$ 及三维 $H^{-s}$ 、 $$0<s<1/4$$ 中证明随机初值的几乎处处全局弱解, 利用随机化带来的热流 $$L^p_tL^q_x$$ 正则性改善. 本文通过确定性构造得到 $0<s\le1$ 的相应弱解结论, 不需随机化或小性, 且给出正时间光滑性. 文章特别强调 $W^{-1,p}\setminus H^{-1}$ 情形: 热解可能不在 $L^2_{t,x}$ , 而所构造的 Navier-Stokes 解却在该空间, 这是非线性耗散机制相对于单纯热演化的实质差异, 并非对热流的常规扰动。

在尺度刻画方面, 定理 1.5 与推论 1.6 不仅给出一批可处理的空间, 还声称在 Besov 和 Triebel-Lizorkin 标度中“所有初值均有弱解”的范围是尖锐的. 具体地, 两类空间的超临界侧均为 $$s>-1$$ ; 临界面 $$s=-1$$ 上, Besov 还要求 $q\le\min\{p,2\}$ , Triebel-Lizorkin 则要求 $q\le2$ . 这比仅证明若干空间中的存在性更进一步, 但判别对象是“该空间中的所有散度为零初值均允许局部弱解”, 不应误读为某个具体数据在范围外必然无解。本文还只对 $$s>1$$ 的负阶 Besov/Triebel-Lizorkin 空间, 在初值属于光滑函数闭包时给出强连续性命题; 端点及非闭包情形并未由该命题覆盖。

技术路线与既有凸积分工作也有区别. 作者借鉴 [CDP25] 的级联构想及 [DLS13] 的几何引理、[DS17] 的 Mikado 剖面, 但明确说明此处不采用经典 Navier-Stokes 凸积分中的间歇性. 其核心目标是通过正向级联消耗粗糙初值中的过量能量, 构造优于热流的近似, 随后以固定点修正为精确解; 这与 [CDP25] 从零或光滑初值经反向级联生成非平凡解的用途不同。所提供内容没有给出完整后续估计, 因而具体的频率增长率、可用时间尺度、对维数的常数依赖以及各误差项的定量代价, 均无法确认; 作者是否在全文其他处作更细比较也无法由摘录判断。

2. 对数正则化 $$2$$ 欧拉方程的尖锐整体适定性

Sharp Global Well-Posedness for the Logarithmically Regularized $$2$$ D Euler Equations

作者: Zachary Radke

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18775v1

摘要翻译: 我们考虑二维欧拉方程的解，其速度场经过对数正则化，由 $u=\nabla^{\perp}(-Δ)^{-1}\ln^{-γ}(|\nabla|+e)ω$ 给出，且初始涡量属于 $\dot{H}^1 \cap \dot{H}^{-1}(\mathbb{R}^2)$ 。我们证明，若 $$γ>1/2$$ ，则整体适定性成立。

Comment: 9 pages

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

1. 研究对象和背景

论文研究二维不可压缩欧拉方程在 Biot-Savart 定律经过对数型高频平滑后的涡量演化。标准二维欧拉方程可写为

\partial_t\omega+u\cdot\nabla\omega=0,\qquad \nabla\cdot u=0,\qquad u=\nabla^\perp(-\Delta)^{-1}\omega,

其中 $\omega=\partial_{x_1}u_2-\partial_{x_2}u_1$ 是标量涡量，速度由涡量通过 Biot-Savart 算子恢复。本文考虑的模型只改变涡量到速度的关系：

\partial_t\omega+u\cdot\nabla\omega=0,\qquad u=\nabla^\perp(-\Delta)^{-1}T_\gamma\omega,\qquad \omega(0)=\omega_0,

其中 $T_\gamma$ 是 Fourier 乘子

\widehat{T_\gamma f}(\xi)=\frac{\widehat f(\xi)}{\ln^\gamma(e+|\xi|)}.

因此，相比标准 Biot-Savart 定律，速度在高频处获得对数阶平滑，而涡量仍满足纯输运方程。关键未知量是涡量 $\omega(t,x)$ ；速度梯度决定流映射的正则性，也控制涡量 Sobolev 范数的增长。论文在 $\mathbb R^2$ 上以初值

\omega_0\in\dot H^1(\mathbb R^2)\cap\dot H^{-1}(\mathbb R^2)

为设定，证明当 $\gamma>1/2$ 时解可以整体延拓，并属于 $C^0([0,\infty);\dot H^{-1}\cap\dot H^1)$ 。

这一问题处在临界正则性与弱平滑模型的交界。对标准二维欧拉方程，Kato-Ponce 的结果给出 $W^{s,p}$ 中 $$s>2/p+1$$ 的整体适定性；Vishik 证明临界 Besov 空间 $B^{2/p+1}_{p,1}$ 中的整体适定性，Chae 则在相应 Triebel-Lizorkin 空间中得到结果。这些临界空间能够嵌入 $B^1_{\infty,1}$ ，从而提供速度梯度控制；Vishik 的论证进一步利用输运结构及对保测变换的复合估计，控制涡量 Besov 范数。本文采取另一条路线：不要求初值处在能直接控制速度梯度的标准欧拉临界空间，而是通过修改 Biot-Savart 算子，在速度恢复过程中引入对数平滑。

已知对数正则化模型的主要困难在于：局部理论所需的速度梯度控制并不自动给出全局控制。Chae-Wu 已证明 $\gamma>1/2$ 时、初值属于 $$H^1$$ 的局部适定性，但未在该类中建立整体结论。Dong-Li 对 $\gamma\ge3/2$ 得到整体 $\dot H^1\cap\dot H^{-1}$ 解，其关键是对速度梯度建立含 $\sup_{p\ge2}\|\omega\|_{L^p}/\sqrt p$ 的对数估计。因而 $1/2<\gamma<3/2$ 的整体适定性在此前留下空档。另一方面，Kwon 对 $0<\gamma\le1/2$ 建立强不适定性，表明阈值 $$1/2$$ 并非仅由已有证明技术造成。本文试图补齐这一参数区间，使正则化指数的整体适定性范围与已知不适定性阈值相接。

证明的分析枢纽是 $B^0_{\infty,2}$ 范数。由于 $H^1(\mathbb R^2)\hookrightarrow B^0_{\infty,2}(\mathbb R^2)$ ，且对 $\gamma>1/2$ 有

\|\nabla u\|_{L^\infty}\le C\|\omega\|_{L^2}+C_\gamma\|\omega\|_{B^0_{\infty,2}},

速度梯度可以由涡量的一个适于输运估计的 Besov 范数控制。低频项需单独处理，因为 Biot-Savart 算子含有 $(-\Delta)^{-1}$ ；这也是初值还要求属于 $\dot H^{-1}$ 、以保证速度低频行为及局部理论适用性的背景。论文的核心不是改变涡量方程的输运结构，而是证明 $B^0_{\infty,2}$ 范数随时间的增长可由 $\int_0^t\|\nabla u\|_{L^\infty}\,d\tau$ 控制，再与速度梯度估计闭合。由此获得有限时间内 $\dot H^1$ 与 $\dot H^{-1}$ 范数有界，排除有限时间失控并延拓局部解。

2. 主要定理或主要结果

主要结论是定理 1.1。若 $\gamma>1/2$ 且

\omega_0\in\dot H^1(\mathbb R^2)\cap\dot H^{-1}(\mathbb R^2),

则对数正则化涡量方程存在唯一整体解，并且

\omega\in C^0\bigl([0,\infty);\dot H^{-1}(\mathbb R^2)\cap\dot H^1(\mathbb R^2)\bigr).

这里的方程及速度关系为

\partial_t\omega+u\cdot\nabla\omega=0,\qquad u=\nabla^\perp(-\Delta)^{-1}T_\gamma\omega, \qquad \widehat{T_\gamma f}(\xi)=\ln^{-\gamma}(e+|\xi|)\widehat f(\xi).

因此结论覆盖全部 $\gamma>1/2$ ，包括此前整体理论未覆盖的 $1/2<\gamma<3/2$ 。定理没有给出该区间内统一于 $\gamma\downarrow1/2$ 的估计；常数允许依赖 $\gamma$ ，且阈值端点 $\gamma=1/2$ 不在定理范围内。

证明中得到的关键先验控制如下。对 $f\in L^2\cap B^0_{\infty,2}$ ，当 $\gamma>1/2$ 时，

\bigl\|\nabla\nabla^\perp(-\Delta)^{-1}T_\gamma f\bigr\|_{L^\infty} \le C\|f\|_{L^2}+C_\gamma\|f\|_{B^0_{\infty,2}}.

若 $\omega$ 解散度自由速度场下的输运方程，论文证明对 $r\in[1,\infty]$ 有

\|\omega(t)\|_{B^0_{\infty,r}} \le C\|\omega_0\|_{B^0_{\infty,r}} \left(1+\int_0^t\|\nabla u(\tau)\|_{L^\infty}\,d\tau\right).

将 $$r=2$$ 代入，并使用 $\|\omega(t)\|_{L^2}=\|\omega_0\|_{L^2}$ ，可闭合得到速度梯度的指数型上界。记 $B_0=\|\omega_0\|_{B^0_{\infty,2}}$ ，论文所用估计可概括为

\|\nabla u(t)\|_{L^\infty} \le \bigl(C\|\omega_0\|_{L^2}+C_\gamma B_0\bigr) \exp\bigl(C_\gamma B_0t\bigr).

初值属于 $\dot H^1$ 蕴含属于 $$H^1$$ 型控制，并由 Littlewood-Paley 分解及 Bernstein 不等式得到 $H^1\hookrightarrow B^0_{\infty,2}$ ，故上述估计可用于初值所给的解。涡量的 $\dot H^1$ 能量满足

\frac{d}{dt}\|\omega(t)\|_{\dot H^1}^2 \le C\|\nabla u(t)\|_{L^\infty}\|\omega(t)\|_{\dot H^1}^2.

而低频端，作者沿用既有局部理论中的估计，得到

\frac{d}{dt}\|\omega(t)\|_{\dot H^{-1}}^2 \le C_\gamma\left( \|\omega_0\|_{L^2}\|\omega(t)\|_{\dot H^{-1}}^2 +\|\omega_0\|_{L^2}^2\|\omega(t)\|_{\dot H^{-1}} \right).

因此，在任意有限时间区间上， $\dot H^{-1}$ 范数由 Gronwall 不等式控制；速度梯度上界再给出 $\dot H^1$ 范数的有限时间控制。若最大存在时间 $T^*<\infty$ ，则

\sup_{0\le t<T^*} \left(\|\omega(t)\|_{\dot H^1}+\|\omega(t)\|_{\dot H^{-1}}\right)<\infty,

与局部解的延拓准则矛盾，故 $T^*=\infty$ 。文中没有把这些估计表述为最优增长率定理；它们的用途是排除有限时间范数爆破，而非宣称长期增长恰为指数阶。

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

证明的核心障碍是将速度梯度的高频可积性与涡量输运的范数增长连接起来。对速度公式取梯度后，Biot-Savart 的一阶导数在高频上是零阶量，但对数乘子只提供 $\ln^{-\gamma}(e+|\xi|)$ 衰减。逐频估计产生权重约为 $(1+j)^{-\gamma}$ 。若只知道 $$H^1$$ ，直接将各频带的 $L^\infty$ 范数作 $\ell^1$ 求和并不适用；作者选择 $B^0_{\infty,2}$ ，使 Cauchy-Schwarz 与权重平方可用：

\sum_{j\ge0}(1+j)^{-\gamma}\|\Delta_j f\|_{L^\infty} \le \left(\sum_{j\ge0}(1+j)^{-2\gamma}\right)^{1/2} \left(\sum_{j\ge0}\|\Delta_j f\|_{L^\infty}^2\right)^{1/2}.

级数在且仅在该论证要求的 $\gamma>1/2$ 时收敛。低频块不能照搬高频的对数权重处理，作者将 $\Delta_{-1}$ 单独估计，并以 $$L^2$$ 控制 Fourier 端的低频积分。由此得到引理 2.4 的速度梯度估计。这个频率分解精确体现了阈值来源：临界求和为 $\sum_j(1+j)^{-2\gamma}$ ，而不是一个未经量化的“对数平滑足够强”判断。

第二个关键点是证明输运方程对 $B^0_{\infty,r}$ 范数的增长只依赖流的 Lipschitz 累积量。作者给出定理 2.5 的证明，而非仅引用该经典型结论。令 $$a_q$$ 为初值单个频带 $\Delta_q a_0$ 经流映射输运后的函数，则

a_q(t,x)=\Delta_q a_0(\varphi_t^{-1}(x)),\qquad \frac{d}{dt}\varphi_t(x)=v(t,\varphi_t(x)).

散度自由条件保证 $\varphi_t$ 保测，因此单频带输运保持 $$L^2$$ ，且有最大值原理控制 $\|a_q(t)\|_{L^\infty}$ 。记

V(t)=\int_0^t\|\nabla v(\tau)\|_{L^\infty}\,d\tau,

流映射导数及逆映射导数满足 $\|D\varphi_t\|_{L^\infty}+\|D\varphi_t^{-1}\|_{L^\infty}\le Ce^{CV(t)}$ 。接着逐一比较输入频率 $$q$$ 与输出频率 $$j$$ ：当 $$j>q$$ ，利用高频投影核零均值及差分估计，把 $\Delta_j a_q$ 写成空间增量，得到约 $e^{CV(t)}2^{q-j}$ 的衰减；当 $$q>j$$ ，将高频函数写成散度形式并对核分部积分，得到约 $e^{CV(t)}2^{j-q}$ 的衰减； $$j=q$$ 则直接用最大值原理。合并后为

\|\Delta_j a_q(t)\|_{L^\infty} \le C\min\{1,e^{CV(t)}2^{-|j-q|}\} \|\Delta_q a_0\|_{L^\infty}.

对 $$q$$ 求和后，频率间相互作用的离散卷积核满足

\sum_{q\in\mathbb Z}\min\{1,e^{CV(t)}2^{-|q|}\} \le C(1+V(t)).

这里的线性 $$1+V(t)$$ 来自把 $|q|\lesssim V(t)$ 的近对角频率计数，再对远离对角线的几何尾部求和；它比直接用 $e^{CV(t)}$ 控制频率迁移更有用。离散 Young 不等式于是给出

\|a(t)\|_{B^0_{\infty,r}} \le C\|a_0\|_{B^0_{\infty,r}}(1+V(t)).

最后将此估计用于涡量，并与引理 2.4 联立。若 $X(t)=\|\nabla u(t)\|_{L^\infty}$ ，则其被常数项及 $B^0_{\infty,2}$ 范数控制，而后者被 $B_0(1+\int_0^tX)$ 控制；相应积分不等式经 Gronwall 闭合，给出 $$X(t)$$ 的指数型上界。再将 $$X(t)$$ 代入 $\dot H^1$ 输运能量不等式，同时对 $\dot H^{-1}$ 使用既有估计，即可排除有限时间爆破。

证明依赖的工具包括 Littlewood-Paley 分解、Bernstein 不等式、乘子逐频估计、流映射与保测性、离散卷积求和以及 Gronwall 不等式。真正具有针对性的组合是：将 $$H^1$$ 嵌入 $B^0_{\infty,2}$ ，使其与对数权重的平方可和性匹配；再证明临界 Besov 指数 $$s=0$$ 的输运范数仅线性依赖 Lipschitz 累积量。作者明确说明定理 2.5 的类似结论见 Cobb-Fanelli [CF23]，但该处没有给出证明，本文补充了适用于本论证的频带间估计。整体延拓所需的局部适定性并非本文重新建立，而是引用 Chae-Wu 与 Dong-Li 的工作。

4. 与之前工作的比较

与标准二维欧拉方程的经典适定性理论相比，本文不是把初值放进更精细的临界速度空间，而是改变涡量恢复速度的算子。标准方程的全局结果包括 Kato-Ponce 在 $W^{s,p}$ 、 $$s>2/p+1$$ 的理论，以及 Vishik 在临界 Besov 空间 $B^{2/p+1}_{p,1}$ 和 Chae 在相应 Triebel-Lizorkin 空间中的结果。Vishik 与 Chae 的关键结构是这些初值空间嵌入可控制速度梯度的空间，并利用输运与复合估计控制涡量。本文则保留输运方程，采用 $T_\gamma$ 对 Biot-Savart 速度作对数平滑，以较低的 $\dot H^1\cap\dot H^{-1}$ 初值设定获得整体控制；这不是标准欧拉方程的整体适定性结论，不能直接据此推断未正则化模型在同一空间适定。

与对数正则化模型的前作相比，Chae-Wu [CW12] 已在 $\gamma>1/2$ 、初值 $$H^1$$ 的框架中证明局部适定性。其后，Dong-Li [DL15] 在 $\gamma\ge3/2$ 下建立整体 $\dot H^1\cap\dot H^{-1}$ 解。Dong-Li 使用的关键速度梯度估计形如

\bigl\|\nabla\nabla^\perp(-\Delta)^{-1}T_\gamma f\bigr\|_{L^\infty} \le C_1\ln(\|f\|_{H^1}+e) \sup_{2\le p<\infty}\frac{\|f\|_{L^p}}{\sqrt p},

并要求 $\gamma\ge3/2$ 。Radke 的贡献是把整体适定性下推至全部 $\gamma>1/2$ ，尤其填补 $1/2<\gamma<3/2$ 的区间；其替代路线是 $B^0_{\infty,2}$ 的频率求和和输运估计，而非上述 $$L^p$$ 上确界型对数控制。初值仍要求 $\dot H^1\cap\dot H^{-1}$ ，故主要推进在正则化参数范围，而不是降低本文采用的 Sobolev 正则性或移除低频条件。

阈值方面，Kwon [Kwo21] 对 $0<\gamma\le1/2$ 建立强不适定性：摘要与引言所述包括任意小 $$H^1$$ 初值附近的高振荡扰动导致短时间范数膨胀，并进一步拼接局部解得到 $$H^1$$ 范数瞬时爆破。本文证明的正向范围 $\gamma>1/2$ 与该负向范围相接，因而“尖锐”主要是指参数阈值与已知不适定性阈值匹配。端点 $\gamma=1/2$ 不属于本文整体适定性结论；作者引用的 Kwon 结果覆盖该端点的不适定性。就给出的材料而言，论文没有证明更强的连续依赖模量、最优时间增长率，也没有给出 $\gamma\downarrow1/2$ 时常数的统一控制。

低频假设值得单独比较。作者指出， $\dot H^{-1}$ 条件不是形式上的冗余：Dong-Li 的局部适定性论证需要 $u\in L^\infty$ ，单独的 $$H^1$$ 涡量不足以控制 Biot-Savart 关系中的低频部分。虽然有

\|\omega_0\|_{L^2}^2 \le \|\omega_0\|_{\dot H^{-1}}\|\omega_0\|_{\dot H^1},

但这并不意味着可由 $\dot H^1$ 单独替代 $\dot H^{-1}$ 。本文沿用既有局部理论及其低频控制，整体延拓的新增论证集中在高频速度梯度与输运 Besov 范数闭合。

技术上，本文的输运引理与 [CF23] 中的结论相关。作者明确指出 [CF23] 陈述该结论为经典结果但没有展开证明；本文补足频带相互作用估计，从保测流映射出发建立 $\Delta_j a_q$ 的频率分离衰减，再对离散卷积核求和，得到对 $B^0_{\infty,r}$ 范数的线性 Lipschitz 累积控制。这为当前的 $$r=2$$ 闭合提供了可直接核查的论证。本文没有声称该输运估计本身是全新的一般理论结果。

总体而言，推进的范围很明确：保持 $\dot H^1\cap\dot H^{-1}$ 初值和对数正则化模型，利用与 $\gamma>1/2$ 匹配的频带可和性，把 [DL15] 的 $\gamma\ge3/2$ 整体范围扩展到 $\gamma>1/2$ ，并与 [Kwo21] 的负向阈值相接。代价与适用范围也同样明确：结论依赖速度的对数平滑，不适用于未经正则化的二维欧拉方程；低频 $\dot H^{-1}$ 条件仍被保留；局部适定性和低频先验估计沿用前人结果。关于其他初值空间、端点稳定性或不同边界/区域设定的拓展，从提供内容中无法确认。

3. Ruggeri松弛型 Navier-Stokes-Fourier 方程的统一衰减

Uniform Decay for Ruggeri’s Relaxed Navier-Stokes-Fourier Equations

作者: Heinrich Freistühler, Yizhou Zhou

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18367v1

摘要翻译: 本文研究 Ruggeri 关于黏性、导热流体的经典对称双曲模型在均匀平衡态附近的线性化。在三维空间中，我们证明，属于 $L^1\cap L^2$ 的扰动在 $$L^2$$ 中以 $(1+t)^{-3/4}$ 的速率衰减；当一个共同缩放三个弛豫时间的参数趋于零时，该衰减估计仍一致成立。该估计控制平衡变量以及经过适当加权的应力和热流，其衰减速率与形式上的 Navier–Stokes–Fourier 极限具有相同的速率。

Comment: 无

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

1. 研究对象和背景

论文研究 Ruggeri 于 1983 年提出的黏性、导热可压缩流体对称双曲模型在均匀平衡态附近的线性化。经典 Navier-Stokes-Fourier 模型以抛物型本构关系描述剪切黏性、体积黏性和热传导；Ruggeri 模型则把应力和热流作为独立未知量，并分别引入三个 Maxwell-Cattaneo 型弛豫机制，使耗散过程具有有限传播速度。本文关注的核心问题是：当三个弛豫时间同时趋于零时，线性解的长时间衰减能否保持一致，而不只是对每个固定弛豫参数分别成立。

在平衡态 $(\bar\theta,\bar\psi,0,0,0,0)$ 附近，未知量写为

U=(V,W)=((\check\psi,u,\check\theta),(\Sigma,\sigma,q)),

其中 $$V$$ 包含热力学平衡变量的扰动和速度扰动， $$W$$ 包含对称无迹剪切应力 $\Sigma$ 、标量体积应力 $\sigma$ 及热流 $$q$$ 。线性化系统具有常系数对称双曲—松弛形式

A^0_\epsilon U_t+\sum_{j=1}^3 A^j U_{x_j}=BU,

其中 $A^0_\epsilon$ 的平衡变量块不随 $\epsilon$ 缩放，而三个耗散变量对应的块分别带有 $\epsilon^2\tau_1\rho$ 、 $\epsilon^2\tau_2\rho$ 、 $\epsilon^2\tau_3\rho$ ； $$B$$ 对应应力与热流的线性松弛，系数由正的黏性、体积黏性和热传导参数 $\eta,\zeta,\chi$ 决定。 $\epsilon$ 是共同缩放三个弛豫时间的参数， $\tau_1,\tau_2,\tau_3>0$ 固定。论文假设 $\bar\theta>0$ 、 $\hat p_\psi(\bar\theta,\bar\psi)>0$ ，并要求由 $\hat p$ 的二阶导数构成的 $2\times2$ 热力学矩阵

\begin{pmatrix} \bar\theta^{-1}\hat p_{\psi\psi} & -\hat p_\psi+\bar\theta\hat p_{\theta\psi}\\ -\hat p_\psi+\bar\theta\hat p_{\theta\psi} & \bar\theta^3\hat p_{\theta\theta} \end{pmatrix}

正定。这些是文中所称标准平衡态条件，保证对称化变量和相应能量结构具有正性。

这一问题的重要性在于，固定 $\epsilon>0$ 时，双曲松弛系统的耗散理论可以给出长时间衰减；但该理论中的常数通常可能随 $\epsilon\to0$ 发散。因而逐个参数成立的衰减结论，并不能说明解在趋近 Navier-Stokes-Fourier 极限时仍有一致控制。另一方面，三维 Navier-Stokes-Fourier 线性化的低频扩散产生典型 $L^1\to L^2$ 衰减率 $(1+t)^{-3/4}$ 。本文要补足的空白是：对 Ruggeri 的完整松弛模型，建立与该扩散率相同、且对充分小 $\epsilon$ 一致的线性 $$L^2$$ 衰减估计，并同时控制平衡变量与按弛豫尺度加权的应力、热流。作者明确说明，这是一项统一衰减结果，而不是弛豫极限收敛定理；定量比较松弛解与极限方程解仍需另行建立。

从线性系统的结构看，平衡变量块在零频率处承载慢模态，耗散变量块则因松弛而具有快衰减。弛豫参数趋零时，两类时间尺度和频率尺度相互作用，尤其在高频区不能仅依赖固定参数的谱隙估计。论文因此将问题表述为 Fourier 符号的统一耗散性：对所有频率方向及小弛豫参数，寻找一致有界的相似变换，使变换后符号的 Hermitian 部分至少以 $|\xi|^2/(1+|\xi|^2)$ 为下界。该频率下界对应低频扩散、高频一致耗散，并通过 Fourier 分解转化为所需的三维代数衰减。

2. 主要定理或主要结果

主要结果是定理 1。设平衡态满足文中给出的正性条件，即 $\bar\theta>0$ 、 $\eta,\zeta,\chi>0$ 、 $\hat p_\psi(\bar\theta,\bar\psi)>0$ ，且热力学 $2\times2$ 矩阵正定；设 $\tau_1,\tau_2,\tau_3>0$ ， $\Sigma$ 为对称无迹张量。则存在充分小的 $\epsilon_0>0$ 和与 $\epsilon\in(0,\epsilon_0]$ 无关的常数 $$C>0$$ ，使任意初值 $U_0=(V_0,W_0)\in L^1(\mathbb R^3)\cap L^2(\mathbb R^3)$ 所对应的线性解满足

\|(V,\epsilon W)(t)\|_{L^2}\le C(1+t)^{-3/4}\left(\|(V_0,\epsilon W_0)\|_{L^2}+\|(V_0,\epsilon W_0)\|_{L^1}\right),\qquad t>0.

这里 $W=(\Sigma,\sigma,q)$ ，因此估计控制的是平衡变量 $$V$$ 与按弛豫尺度加权后的应力、热流 $\epsilon W$ ，而不是未加权的耗散变量。衰减率在整个 $0<\epsilon\le\epsilon_0$ 范围内一致，且与三维扩散型 Navier-Stokes-Fourier 极限的典型 $L^1\to L^2$ 衰减率一致。定理 1 被作者指出是进一步建立 $$L^2$$ 型 Sobolev 空间结论的起点，但所提供文本没有给出这些扩展的具体定理。

证明所需的 Fourier 符号结论是命题 1：存在常数 $$c>0$$ 及对频率、弛豫参数一致有界且逆变换也一致有界的变换 $R(\xi,\epsilon,\omega)$ ，使

\widetilde M=R^{-1}MR,\qquad \widetilde M+\widetilde M^*\ge c\frac{|\xi|^2}{1+|\xi|^2}I.

据此，变换后的 Fourier 解具有逐频率估计

|Z(\xi,t)|\le C\exp\left(-c\frac{|\xi|^2}{1+|\xi|^2}t\right)|Z(\xi,0)|,

其中 $Z=(A^0_\epsilon)^{1/2}\widehat U$ ，其范数与 $|(\widehat V,\epsilon\widehat W)|$ 一致等价。对低频 $|\xi|\le1$ ，指数项由 $e^{-ct|\xi|^2}$ 控制，利用初值的 $$L^1$$ 范数及三维积分得到平方范数衰减 $(1+t)^{-3/2}$ ；对高频 $|\xi|\ge1$ ，得到 $e^{-ct}$ 的指数衰减并由初值 $$L^2$$ 范数控制。Plancherel 定理合并两部分后给出定理中的 $(1+t)^{-3/4}$ 范数衰减。

论文还给出建立命题 1 的三个频率区域论证。低频区域通过小参数块对角化，并在平衡块上利用 Shizuta-Kawashima 条件获得扩散阶耗散；中频区域利用紧致性和相关矩阵的严格谱稳定性；高频区域令 $\eta=1/|\xi|$ ，并把 $\eta$ 与 $\epsilon$ 按相对大小作参数化和分区，以处理二者可按不同速率趋零的情形。提供的 PDF 文本在高频区域的三个引理陈述之后截断，因而高频引理的完整证明细节及其后续结论无法从所提供内容中确认。

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

证明的关键并非对原方程直接做一个固定能量估计，而是把统一长时间衰减归结为 Fourier 符号的统一可对角化耗散性。经过 Fourier 变换并作 $A^0_\epsilon$ 的对称归一化后，作者研究块矩阵

M(\xi,\epsilon,\omega)= \begin{pmatrix} i|\xi|\widetilde A_{11}(\omega)&i\epsilon^{-1}|\xi|\widetilde A_{12}(\omega)\\ i\epsilon^{-1}|\xi|\widetilde A_{21}(\omega)&\epsilon^{-2}\widetilde J \end{pmatrix},

其中 $\widetilde J$ 正定，慢变量对应五维零特征子空间，松弛变量对应正特征值子空间。目标不是要求原符号 $$M$$ 本身的 Hermitian 部分正定，而是构造一致正则的相似变换 $$R$$ ，使 $R^{-1}MR$ 的 Hermitian 部分有统一下界。相似变换及其逆的一致有界性至关重要，否则变换坐标中的耗散不能以与 $\epsilon$ 无关的常数传回原变量。

低频分析的难点是平衡模态在零频率处没有零阶耗散，耗散只能通过与应力、热流的耦合间接传递。作者先考虑缩放矩阵 $N=\epsilon^2M$ ，在 $(|\xi|,\epsilon)=(0,0)$ 附近用扰动理论构造块对角化变换 $$T_1$$ ，把五维慢块 $$V$$ 与十四维快块 $$W$$ 分开。快块在原点等于 $\widetilde J$ ，故其 Hermitian 部分保持一致正定。慢块则利用展开中的消失结构：先得到 $V(\xi,\epsilon)=\epsilon^2|\xi|\overline V(\xi,\epsilon)$ ，再由原点处的一阶、二阶导数信息得到

\overline V(\xi,\epsilon)=i\widetilde A_{11}+|\xi|\widetilde A_{12}\widetilde J^{-1}\widetilde A_{21}+|\xi|^2\widetilde V_1(\xi,\epsilon),

其中余项矩阵对小参数正则。第一项是纯虚的输运部分，单独不能提供耗散；第二项体现慢变量经耗散变量反馈产生的有效扩散。Shizuta-Kawashima 条件保证 $\widetilde A_{11}$ 的特征向量不会落入耦合耗散的无效方向，从而使该有效扩散在慢模态上严格正。再用文中引用的引理对慢块作额外相似变换 $$T_2$$ ，使其 Hermitian 部分具有 $|\xi|$ 阶正下界；乘回 $\epsilon^2|\xi|$ 后得到 $\epsilon^2|\xi|^2$ 阶耗散。这正是低频扩散率的矩阵机制，而非笼统的“能量耗散”。

中频区域的核心是避免对频率逐点构造变换后失去一致性。将频率限制在紧区间内，对固定频率在 $\epsilon=0$ 附近作同类慢快块分解。快块仍由 $\widetilde J>0$ 控制；慢块的首个非零有效项为

i|\xi|\widetilde A_{11}+|\xi|^2\widetilde A_{12}\widetilde J^{-1}\widetilde A_{21}.

Shizuta-Kawashima 条件给出该矩阵特征值实部严格为正。文中引理 1 说明：若紧参数集上的连续矩阵族所有特征值实部均为正，则可为整族选取变换及逆一致有界的相似变换，使变换后矩阵的 Hermitian 部分一致正定。结合紧致性，得到中频所需的 $\epsilon^2$ 阶耗散。该环节把谱稳定性转化为适用于解能量的数值耗散估计。

高频区更微妙，因为 $\epsilon\to0$ 与 $|\xi|^{-1}\to0$ 的相对速度不固定。作者设 $\eta=1/|\xi|$ ，考察

H(\eta,\epsilon)=\epsilon^2\eta M= \begin{pmatrix} i\epsilon^2\widetilde A_{11}&i\epsilon\widetilde A_{12}\\ i\epsilon\widetilde A_{21}&\eta\widetilde J \end{pmatrix},

并以 $\eta=\rho\bar\eta$ 、 $\epsilon=\rho\bar\epsilon$ 将趋零的共同尺度 $\rho$ 与相对比例分离。归一化参数集合分成两类边界区域和一个剩余紧区域：一类是 $\bar\eta=1$ 而 $\bar\epsilon$ 小，另一类是 $\bar\epsilon=1$ 而 $\bar\eta$ 小，剩余部分则保持在紧参数范围内。对各区域分别构造扰动块对角化，以覆盖两种小参数的不同相对速率；提供文本列出了三个相应引理及其目标耗散阶，但高频部分证明在摘录末尾中断，故无法进一步核实各区域中变换的显式形式和引理的完整推导。该分区处理正是高频统一性所需的技术，而不是把两个极限参数简单地同时设为零。

最后，命题 1 的符号估计给出逐频率半群衰减。低频积分使用 $\|\widehat U_0\|_{L^\infty}\le \|U_0\|_{L^1}$ ，并计算 $\int_{|\xi|\le1}e^{-ct|\xi|^2}\,d\xi\lesssim(1+t)^{-3/2}$ ；高频使用 $\int_{|\xi|\ge1}e^{-ct}\lvert\widehat U_0\rvert^2\,d\xi$ 的指数控制和 Plancherel 定理。开平方后得到三维 $$L^2$$ 衰减。由此可见，证明的关键链条是“统一相似变换—频率依赖的符号耗散—低高频 Fourier 积分”，而不是直接声称由一般耗散理论自动推出对 $\epsilon$ 一致的估计。

4. 与之前工作的比较

本文首先与固定弛豫参数下的线性耗散理论区分。作者指出，对每个固定 $\epsilon>0$ ，可依据双曲松弛系统的标准耗散理论，尤其是文中引用的 [18,7]，获得大时间衰减；但相应常数一般不保证在 $\epsilon\downarrow0$ 时有界。本文的主要增量是明确建立统一于小 $\epsilon$ 的 $L^1\cap L^2\to L^2$ 衰减，并在三维取得扩散型 $(1+t)^{-3/4}$ 速率。其控制量包含 $\epsilon W$ ，这一加权反映耗散变量在奇异极限中的尺度，不能误读成对未加权的应力、热流给出了同样统一的范数控制。

与零弛豫极限研究相比，本文解决的问题不同。Yong [20] 在非线性框架下分别松弛剪切和体积黏性应力，建立了在极限可压缩 Navier-Stokes 解保持光滑的固定时间区间 $$[0,T]$$ 上的收敛。Hu 和 Racke [6,5,4] 将分析推进到不同的多维非等熵或全双曲模型：文中对这些工作的概述指出，它们建立了小数据整体适定性及有限时间上的零弛豫极限；其中模型是否松弛热流、剪切应力是否仍取 Newton 本构关系等设定各有差异。本文并未在任意有限时间区间证明松弛解趋于极限解，也没有给出误差阶，而是针对 Ruggeri 模型的线性化证明跨长时间尺度的一致衰减。因此两类结果互补，不能把本文定理称为弛豫极限收敛。

在全局时间收敛方向，Peng 和 Zhao [15,14] 使用 Oldroyd 型本构关系研究可压缩 Navier-Stokes 方程的一阶近似；文中指出其一维系统与 [5] 的系统重合，并研究了统一整体存在性及全时间收敛，[14] 进一步给出定量的全局收敛率。Crin-Barat、Kawashima 和 Xu [3] 采用上随体 Maxwell 导数松弛热传导，建立小初值的统一整体适定性、大时间衰减以及趋于 Navier-Stokes-Fourier 方程的定量收敛。与这些工作相比，本文的优势是直接针对 Ruggeri 的经典对称双曲模型，并把线性衰减估计的常数对共同弛豫尺度统一起来；但其结论限于平衡态附近的线性化问题，未达到上述文献中非线性整体存在或定量极限收敛的范围。不同模型间不能仅按“松弛时间更小”作简单强弱比较，因为松弛的耗散机制、空间维数和结构均有差别。

文中还提到，Hu-Racke 所研究的 [5,4] 模型具有耗散物理熵，但因系统不处于散度形式，该熵不能按 [10,9,1] 的方式用于对称化；Ruggeri 模型则源自对称双曲守恒律框架。这体现了模型结构上的区别，不过提供内容没有进一步逐项比较这些模型的符号估计或定量常数。作者也提及 Boyaval [2] 对黏性采用上随体 Maxwell 型松弛，说明更精细的耗散松弛模型已被研究；本文的贡献不是提出新的本构关系，而是为 Ruggeri 模型处理弛豫参数与高频尺度交互导致的统一衰减问题。

结论的范围和代价需要明确。定理只涉及三维均匀平衡态附近的线性系统，初值须同时属于 $$L^1$$ 与 $$L^2$$ ，弛豫参数须充分小；估计对 $\epsilon$ 一致，但仅对 $(V,\epsilon W)$ 作统一控制。作者将其定位为后续研究完全非线性情形的前置结果。文中明确提醒，统一衰减不等价于弛豫极限定理， $\epsilon\to0$ 的定量收敛需要额外比较论证。除上述逐项提及的工作及其范围外，关于常数依赖、各模型之间更精确的参数比较，以及本文结论能否推广到其他维数或非线性解，从提供内容中无法确认；作者未在摘录中给出这些方面的完整比较。

4. L^2_uloc 空间中二维不可压 Navier-Stokes 方程有界解的稳定性分析

Stability Analysis of Bounded Solutions to 2-D Incompressible Navier-Stokes Equations in L^2_uloc Spaces

作者: Haokun Tai, Xiaoxin Zheng

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18102v1

摘要翻译: 本文考察 $L^2_{uloc}$ 空间中二维不可压流体的稳定性分析。在 Yudovich 型设置下拓展 Euler 方程的经典稳定性框架后，我们在较弱假设 $u^ν_0 \in L^\infty$ 和 $ω^ν_0 \in L^\infty$ 下，证明当黏性 $ν\to 0$ 时，Navier-Stokes 解收敛到 Euler 解，且不要求无穷远处的衰减条件。我们首先推导 Navier-Stokes 方程在 $L^\infty$ 空间中的先验估计。随后，利用包括 Littlewood-Paley 分解和 Bony 抉择乘积演算在内的调和分析工具，我们证明当 $ν\to 0$ 时，速度场具有 $L^\infty$ -收敛性，涡量具有 $L^2_{uloc}$ -收敛性。

Comment: 25 pages, 1 figure

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

1. 研究对象和背景

本文研究二维不可压 Navier–Stokes 方程在黏性系数趋于零时向 Euler 方程的无黏性极限，并同时考察初值与外力扰动对解的稳定性。速度场 $u^\nu(t,x)\in\mathbb{R}^2$ 、压力 $p^\nu$ 和外力 $g^\nu$ 满足

\begin{cases} \partial_t u^\nu+u^\nu\cdot\nabla u^\nu+\nabla p^\nu-\nu\Delta u^\nu=g^\nu,\\ \nabla\cdot u^\nu=0,\\ u^\nu|_{t=0}=u_0^\nu, \end{cases} \qquad (t,x)\in[0,T]\times\mathbb{R}^2.

令涡量 $\omega^\nu=\nabla^\perp\cdot u^\nu$ ，则相应的涡量方程及 Biot–Savart 关系为

\begin{cases} \partial_t\omega^\nu+u^\nu\cdot\nabla\omega^\nu-\nu\Delta\omega^\nu=\nabla\times g^\nu,\\ u^\nu=K*\omega^\nu,\\ \omega^\nu|_{t=0}=\omega_0^\nu, \end{cases} \qquad K(x)=\dfrac{1}{2\pi}\dfrac{x^\perp}{|x|^2}.

极限对象是二维 Euler 方程

\begin{cases} \partial_t u+u\cdot\nabla u+\nabla p=g,\\ \nabla\cdot u=0,\\ u|_{t=0}=u_0, \end{cases} \qquad \partial_t\omega+u\cdot\nabla\omega=\nabla\times g,\quad u=K*\omega.

核心问题是在空间为全平面、解不要求在无穷远衰减的情形下，能否从 Navier–Stokes 解得到强意义的 Euler 极限。经典无黏性极限研究常在有限能量或具有空间衰减的框架中工作；但本文关注的 Yudovich 型设定允许速度和涡量仅有界，即 $u_0^\nu,\omega_0^\nu\in L^\infty(\mathbb{R}^2)$ 。此类数据并不必然属于 $L^2(\mathbb{R}^2)$ ，也不提供全空间积分能量控制，因而不能直接依赖有限能量框架。另一方面，涡量的无穷远行为和 Biot–Savart 算子的非局部性，使得局部涡量控制、速度的全局有界性以及两者之间的转换都需要额外处理。

本文使用的局部空间是

\|f\|_{L^2_{\mathrm{uloc}}} =\sup_{y\in\mathbb{R}^2}\left(\int_{B(y,1)}|f(x)|^2\,dx\right)^{1/2}.

该范数要求每个单位球上的 $$L^2$$ 大小一致有界，却不要求 $$f$$ 在整个平面平方可积，适合描述不衰减但局部可积的场。论文摘要及定理将两种不同强度的收敛作为目标：速度在全空间 $L^\infty$ 范数下收敛，涡量则在 $L^2_{\mathrm{uloc}}$ 范数下收敛。问题的意义在于，无黏性极限不仅是小黏性流动的模型依据，也是判断初值和外力微扰是否会在有限时间内显著改变流场的重要稳定性问题；在没有衰减条件时，能够获得全局一致的速度控制与局部一致的涡量控制，拓展了有限能量解的分析范围。

已有理论背景包括 Yudovich 类二维 Euler 解的存在唯一性，以及有界速度、有界涡量框架下的 Serfati 型理论。Navier–Stokes 解的全局存在和涡量稳定性也已有相关研究，但本文试图补足的具体空白，是在 $u_0^\nu,\omega_0^\nu\in L^\infty$ 且不要求空间衰减的条件下，建立黏性解对 Euler 解的强收敛结论。就提供的文本而言，作者给出的收敛结论是有限时间区间 $$[0,T]$$ 上的一致收敛；文本没有提供定量收敛速率，因此不能将其理解为具有某个明确的 $\nu$ 次幂或对数误差界。

2. 主要定理或主要结果

论文首先给出 Navier–Stokes 与 Euler 方程在有界速度、有界涡量框架下的先验控制。按定理 1.2，取 $\nu\in(0,1)$ 、 $T\in\mathbb{R}_+\cup\{\infty\}$ ，假设初值满足相应的关于 $\nu$ 一致的 $L^\infty$ 有界性，且

g^\nu\in L^1([0,T];L^\infty),\qquad Pg^\nu\in L^1([0,T];L^\infty),\qquad \nabla\times g^\nu\in L^1([0,T];L^\infty),

其中 $$P$$ 为 Leray 投影。作者声称存在唯一解 $(u^\nu,\omega^\nu)$ ，并对所有 $t\in[0,T]$ 有

\|u^\nu(t)\|_{L^\infty} \leq \left(\|u_0^\nu\|_{L^\infty} +\|Pg^\nu\|_{L^1([0,t];L^\infty)}\right)e^{Ct},

\|\omega^\nu(t)\|_{L^\infty} \leq \|\omega_0^\nu\|_{L^\infty} +\|\nabla\times g^\nu\|_{L^1([0,t];L^\infty)}.

文中说明常数 $$C$$ 与 $\nu$ 和 $$T$$ 无关。第二个界来自涡量输运扩散方程的最大值原理；速度界则是对流非线性项和压力相关项进行估计的结果。定理 1.3 给出 Euler 方程的对应界：在 $u_0,\omega_0\in L^\infty$ ，且 $Pg,\nabla\times g\in L^1([0,T];L^\infty)$ 的条件下，

\|u(t)\|_{L^\infty} \leq \left(\|u_0\|_{L^\infty} +\|Pg\|_{L^1([0,t];L^\infty)}\right)e^{Ct}, \qquad \|\omega(t)\|_{L^\infty} \leq \|\omega_0\|_{L^\infty} +\|\nabla\times g\|_{L^1([0,t];L^\infty)}.

主要无黏性极限结论分别是定理 1.4 和定理 1.5。定理 1.4 假设一族初值与外力 $(u_0^\nu,g^\nu)$ 满足前述定理的条件，并且

(u_0^\nu,g^\nu)\longrightarrow(u_0,g) \quad\text{强收敛于}\quad L^\infty(\mathbb{R}^2)\times L^1([0,T];L^\infty(\mathbb{R}^2)),

则对相应的 Navier–Stokes 解 $u^\nu$ 与 Euler 解 $$u$$ ，有

\lim_{\nu\to0}\sup_{t\in[0,T]} \|u^\nu(t)-u(t)\|_{L^\infty}=0.

该结论是有限时间区间上的速度全局一致强收敛，且不要求速度在空间无穷远衰减。定理 1.5 针对涡量，假设 $(\omega_0^\nu,\nabla\times g^\nu)$ 满足相应的适用条件，并且

(\omega_0^\nu,\nabla\times g^\nu) \longrightarrow(\omega_0,\nabla\times g) \quad\text{强收敛于}\quad L^\infty(\mathbb{R}^2)\times L^1([0,T];L^\infty(\mathbb{R}^2)),

则

\lim_{\nu\to0}\sup_{t\in[0,T]} \|\omega^\nu(t)-\omega(t)\|_{L^2_{\mathrm{uloc}}}=0.

上述定理均只陈述极限为零，没有给出形如 $O(\nu^\alpha)$ 或 $O(|\log\nu|^{-1})$ 的误差率。摘要称证明使用 Littlewood–Paley 分解和 Bony 抛物分解；正文所提供部分还给出一个用于连接局部速度控制与涡量频率控制的插值估计：

\|u\|_{L^\infty} \leq C\|u\|_{L^2_{\mathrm{uloc}}}^{1/2} \|\omega\|_{B^0_{\infty,\infty}}^{1/2},

并据 $\|\omega\|_{B^0_{\infty,\infty}}\leq C\|\omega\|_{L^\infty}$ 得到相应的 $L^\infty$ 涡量版本。提供的 PDF 文本在定理陈述之后仅展示了先验估计证明的开头，未展示定理 1.4、1.5 的完整证明，因此无法从该摘录进一步确认收敛论证中的完整中间估计或可能存在的定量模量。

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

技术困难首先来自有界函数空间中的非线性项。热核卷积本身满足 $L^\infty$ 控制，但 Leray 投影及压力梯度涉及奇异积分算子，不能简单地把对 $$L^p$$ 有界的标准结论直接当作 $L^\infty$ 有界性使用。正文第 3 节写出速度的热核积分表示

u^\nu(t)=G_{\nu t}*u_0^\nu -\int_0^tG_{\nu(t-s)}*P(u^\nu\cdot\nabla u^\nu)(s)\,ds +\int_0^tG_{\nu(t-s)}*Pg^\nu(s)\,ds.

由热核的 $$L^1$$ 范数等于常数，可以直接控制初值项和外力项；非线性项则需要对 $P(u^\nu\cdot\nabla u^\nu)$ 作频率分析。作者先对低频部分求和，利用 $u\cdot\nabla u=\nabla\cdot(u\otimes u)$ 和 Bernstein 型导数估计，得到文本中展示的界

\sum_{q=-\infty}^{N-1} \|P_qP(u^\nu\cdot\nabla u^\nu)\|_{L^\infty} \leq C2^N\|u^\nu\|_{L^\infty}^2.

这说明低频代价随截断频率 $$N$$ 增长，不能单独对所有频率求和；证明必须另外控制高频并在两类估计之间安排频率截断。提供的文本没有展示后续如何选取 $$N$$ ，也没有展示该估计如何最终闭合成定理 1.2 的速度界，因此不能据此补写具体的高频误差公式。

高频部分涉及压力的结构。文中利用不可压条件写出压力的 Riesz 变换表示，并进一步将压力梯度表达为速度导数的非局部二次项。随后使用 Bony 分解，将乘积拆成低频乘高频的抛物项和相近频率的余项，例如

$$ fg=T_fg+T_gf+R(f,g), $$

并将压力梯度中的乘积相应拆分。其作用是区分不同频率间的相互作用：低频因子与高频因子组成的抛物项可利用低频正则性和频率局部化估计；高频相近尺度的余项则需利用导数结构与涡量控制。正文摘录只列出分解形式及论证方向，没有展示这些项各自最终满足的完整不等式。摘要明确将 Littlewood–Paley 分解和 Bony 抛物分解列为证明工具，故它们并非装饰性的函数空间记号，而是处理 $L^\infty$ 框架下压力、投影和乘积项的核心频率组织方式。

第二个关键连接是速度与涡量的插值控制。正文第 2.2 节证明的估计可由低、高频分割理解：低频速度由局部 $$L^2$$ 范数控制，典型代价为 $2^N\|u\|_{L^2_{\mathrm{uloc}}}$ ；高频速度通过涡量和 Bernstein 估计控制，代价为 $2^{-N}\|\omega\|_{B^0_{\infty,\infty}}$ 。平衡两项的频率尺度后得到

\|u\|_{L^\infty} \lesssim \|u\|_{L^2_{\mathrm{uloc}}}^{1/2} \|\omega\|_{B^0_{\infty,\infty}}^{1/2}.

这一结构有助于把局部速度控制与涡量的频率控制组合起来；同时，对有界涡量可进一步使用 $B^0_{\infty,\infty}$ 范数受 $L^\infty$ 范数控制的事实。作者还记录 $\mathrm{BMO}\simeq\dot F^0_{\infty,2}$ 以及 Riesz 变换在 BMO 上的有界性。这为处理压力和奇异积分提供了一个适合临界有界数据的振荡空间框架。不过，所提供内容没有说明该 BMO 路线在主定理证明中的具体调用位置，因而不能断言它承担了哪一项最终闭合估计。

在涡量方程方面，黏性项 $-\nu\Delta\omega^\nu$ 具有耗散性，最大值原理直接给出

\|\omega^\nu(t)\|_{L^\infty} \leq \|\omega_0^\nu\|_{L^\infty} +\|\nabla\times g^\nu\|_{L^1_tL^\infty_x}.

该估计不依赖正的黏性下界，因而对 $\nu\to0$ 一致。局部空间部分则使用平滑截断函数 $\phi_{R,y}$ 将 $L^2_{\mathrm{uloc}}$ 范数转写为局部化 $$L^2$$ 控制，并利用 $L^1*L^2_{\mathrm{uloc}}\to L^2_{\mathrm{uloc}}$ 的卷积估计。此类局部化工具适用于没有全局 $$L^2$$ 可积性的解。

总体而言，所展示的证明框架是：先获得不依赖黏性的速度、涡量先验界；再以频率分解处理投影非线性与压力；最后利用局部化空间和速度—涡量插值结构建立收敛结论。关于最后一步的比较方程、黏性误差项估计以及如何由输入强收敛推出两种目标范数的强收敛，PDF 摘录未提供相应证明细节。从提供内容中无法确认这些步骤中的具体关键引理、截断尺度选择或收敛速度，故不应将一般的紧性或能量方法推断为作者实际采用的主论证。

4. 与之前工作的比较

论文将自身工作置于无黏性极限、Yudovich 解理论及非衰减有界解理论的交汇处。作者回顾了 Kato 1983 年关于无黏性极限的经典工作，并指出后续有多篇文献研究二维情形；但所提供文本对文献 [15]–[18] 没有给出具体定理、假设和结论，因而无法逐项比较本文与这些工作的时间尺度、收敛范数或边界条件差异。本文与这类一般无黏性极限研究的明确区别，在于所陈述结果针对全空间 $\mathbb{R}^2$ 上不要求无穷远衰减的有界速度、有界涡量数据，并在有限时间区间上给出 $L^\infty$ 速度收敛及 $L^2_{\mathrm{uloc}}$ 涡量收敛。

在 Euler 理论方面，作者引用 Serfati 关于二维 Euler 方程在 $u_0,\omega_0\in L^\infty$ 条件下存在唯一性的结果，并提及 Taniuchi 与 Bernicot 对相关结果的延伸，以及 Chen 等人对 BMO 型空间的研究。本文所做的不只是讨论 Euler 解本身，而是把黏性 Navier–Stokes 解与这一有界解框架中的 Euler 解联系起来，建立 $\nu\to0$ 时的强收敛。就提供内容而言，作者没有逐一列出上述 Euler 文献的精确假设，也没有说明本文在 Euler 解适定性方面改进了哪些结论；其主要增量应理解为无黏性极限与稳定性结论，而不是重新证明 Yudovich 或 Serfati 理论。

与 Arsénio 和 Houamed 的工作相比，文中明确指出其已有结果从 $u_0^\nu\in H^1$ 、 $\omega_0^\nu\in L^\infty$ 出发，通过紧性外推得到 Navier–Stokes 解在 $\nu\to0$ 时向 Euler 解的 $$H^1$$ 收敛。本文强调的推进是将初始速度条件放到 $L^\infty$ 有界框架，并去掉空间无穷远的衰减要求；相应地，本文没有声称获得 $$H^1$$ 收敛，而是分别证明速度 $L^\infty$ 收敛和涡量 $L^2_{\mathrm{uloc}}$ 收敛。因而两者并非简单的范数强弱排序： $$H^1$$ 是全局平方可积导数控制，而 $L^2_{\mathrm{uloc}}$ 允许非衰减场；速度 $L^\infty$ 则提供点态一致的全局控制。两类结论适用的数据类别和空间结构不同。

作者还提及 Giga 等人关于二维 Navier–Stokes 方程的全局存在性，以及 Lopes 等人关于无界涡量条件下无黏性极限中涡量强收敛的工作。摘录没有给出这些工作的完整假设和具体收敛空间，所以无法可靠断言本文对 Lopes 等人的结果在哪些精确参数或范数上严格包含、放宽或改进。能够确认的是，本文突出的是 $u_0^\nu,\omega_0^\nu\in L^\infty$ 的有界数据设定、不要求衰减，以及速度和涡量分别采用 $L^\infty$ 与 $L^2_{\mathrm{uloc}}$ 收敛；对其他文献的更细致比较，从提供内容中无法确认。

本文结论的范围也有明确限制。定理 1.4 和 1.5 都是在给定有限时间区间 $$[0,T]$$ 上取上确界并令 $\nu\to0$ ；尽管先验定理把 $$T$$ 写作可取 $\infty$ ，这并不等于主收敛定理已经给出无限时间一致收敛。初值和外力还须满足强收敛假设，而不是仅有弱收敛；这比单纯提取分布意义或紧性极限所需的信息更强。特别是速度定理要求对 $g^\nu$ 的强收敛，同时先验假设还涉及 $Pg^\nu$ 的 $L^1_tL^\infty_x$ 可积性；摘录没有进一步解释这些投影外力条件如何随 $\nu$ 一致控制。涡量定理则要求初始涡量和外力旋度强收敛。上述假设使作者能够追求强范数结论，但其代价是并未覆盖仅弱收敛的数据族。

此外，论文只陈述极限收敛，没有给出随黏性系数变化的定量误差率。因此，与可能提供显式黏性幂次或对数速率的定量无黏性极限结果相比，本文在摘要和定理陈述中呈现的是定性稳定性结论。提供的 PDF 摘录也未给出完整的主定理证明，故无法确认其方法是否能导出隐含的收敛模量，或能否推广到更弱的涡量空间、更一般的外力以及更长时间尺度。总体上，本文的可确认贡献是将强无黏性极限分析推进到不要求空间衰减的二维有界解框架，并以 $L^2_{\mathrm{uloc}}$ 处理涡量；适用范围的扩展以强数据收敛、有限时间结论和未给出显式速率为相应限制。

5. 含真空态的气体动力学多维中心稀疏波

Multi-dimensional centered rarefaction waves of gas dynamics with vacuum states

作者: Jin Jia, Tao Luo

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18177v1

摘要翻译: 我们研究多方气体的二维等熵可压缩 Euler 方程， $$p(ρ)=kρ^γ$$ 。 $$R$$ –真空态– $$R$$ 构型——即两个稀疏波夹持一个真空——在两个常值态以足够大的相对速度彼此远离时出现；在没有外力的情况下，它基本上是唯一能够形成真空的黎曼波型。局部时间内的稀疏波前目前仅在远离真空处构造出来，此处声速与零保持正距离；穿过真空边界构造稀疏波前，进而证明 $$R$$ –真空态– $$R$$ 构型的结构稳定性，仍是一个悬而未决的问题。我们证明了 $γ\in(1,1.3]\cup\{\frac{5}{3},\frac{7}{5}\}$ 意义下的这种稳定性：对于充分小的扰动，黎曼问题在固定时间区间上存在连续熵解，其定义域由四个特征曲面分割，且三个中央区域内的解在自相似坐标 $(t,x_{1}/t,x_{2})$ 下属于 $W^{2,\infty}$ ，尽管解在真空边界处可能含有形如 $c^α(\ln c)^β$ 的对数奇异性。证明中，我们直接在一阶系统上建立几何表述，并直接分析真空边界处的初始截面；在该处，形式上的高阶展开会失效。

Comment: 无

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

1. 研究对象和背景

本文研究二维等熵可压缩 Euler 方程的 Riemann 问题, 特别是两侧稀疏波之间形成真空的 $$R$$ –真空态– $$R$$ 波型在多维小扰动下是否稳定. 对多方气体, 压力律为 $p(\rho)=k\rho^\gamma$ , 其中 $$k>0$$ , $\gamma>1$ , 方程为

\begin{cases} \partial_t\rho+\nabla\cdot(\rho v)=0,\\ \partial_t(\rho v)+\nabla\cdot(\rho v\otimes v+p(\rho)I)=0, \end{cases} \qquad (t,x_1,x_2)\in[0,T]\times\mathbb R\times\mathbb T.

未知量是密度 $\rho\geq0$ 和速度 $$v=(v^1,v^2)$$ . 声速满足 $c^2=p'(\rho)=k\gamma\rho^{\gamma-1}$ , 因而真空边界 $\rho=0$ 对应 $$c=0$$ . 在真空处, Euler 系统的极端特征速度 $v\cdot\xi\pm c|\xi|$ 与中间特征速度 $v\cdot\xi$ 合并, 严格双曲性退化; 这使通常针对正密度区域建立的特征几何与高阶估计不能直接延伸到真空边缘。

初始数据是沿 $$x_1=0$$ 分隔的左右状态, 但允许各侧相对于常态有多维小扰动. 未扰动的左右常态记为 $$U_l,U_r$$ , 其法向速度分别为 $$v_l^1,v_r^1$$ , 声速为 $$c_l,c_r$$ . 当

c_l+c_r<\frac{\gamma-1}{2}(v_r^1-v_l^1)

时, 两侧流体相对分离速度足够大, 一维 Riemann 解中间出现真空, 两侧各由一支稀疏波连接到真空. 这是无外力情形下已知的典型真空形成 Riemann 波型; 文中也指出, 从非真空初值出发在有限正时间形成真空的更一般问题仍未解决。本文关注的不是只描述精确平面 Riemann 解, 而是问这一波型在允许横向依赖 $$x_2$$ 的小扰动后, 能否作为局部连续熵解的稳定结构保留下来。

在远离真空时, 声速有正下界, 多维稀疏波前的局部构造已有理论基础. Alinhac 通过扇形区域的自相似放大、角点形式展开、高阶相容条件和 Nash–Moser 迭代建立了多维稀疏波前理论; Luo–Yu 后来利用声学几何、特征向量场和能量估计, 在正密度区域获得了更精细的无导数损失估计, 并处理了多维 Riemann 问题。然而这些构造依赖真空边界附近不退化的系数或足够光滑的角点高阶 jets。真空边缘处 $c\to0$ , 特征速度间隙消失, 对称化系数也可能退化或发散, 因而既有构造并未给出穿过真空边缘的波前解。

本文要填补的空白因此有两层: 一是构造从初始间断线发出的特征面, 使稀疏波前可以一直延伸到真空边界; 二是在真空处允许高阶导数不具通常的光滑性时, 仍证明小扰动下的局部存在性与波型稳定性. 作者不声称建立覆盖全部 $1<\gamma\leq5/3$ 的真空边缘正则性理论, 而是在特定指数范围内证明解在自相似变量中具有足够的有界二阶正则性, 即使其边缘行为可能含 $c^\alpha(\ln c)^\beta$ 型对数奇异项。为便于写成对称双曲系统, 文中使用的状态变量可取为 $(2c/(\gamma-1),v^1,v^2)$ , 而定理中的初值小性以两侧扰动的高阶 Sobolev 范数表达。

2. 主要定理或主要结果

主要结论是定理 1.1. 取充分大的整数 $$N_0$$ , 令

\gamma\in(1,1.3]\cup\left\{\frac75,\frac53\right\},

并假设左右常态 $$U_l,U_r$$ 满足真空 Riemann 条件

c_l+c_r<\frac{\gamma-1}{2}(v_r^1-v_l^1).

对初值

U(0,x_1,x_2)= \begin{cases} U_l(x_1,x_2),&x_1\leq0,\\ U_r(x_1,x_2),&x_1\geq0, \end{cases}

若两侧扰动相对于相应常态足够小, 即

\|U_l-U_l\|_{H^{N_0}(x_1\leq0)}+ \|U_r-U_r\|_{H^{N_0}(x_1\geq0)}\leq\varepsilon,

则存在依赖于 $N_0,\gamma,U_l,U_r$ 及所取时间的 $\varepsilon_0>0$ , 使得 $\varepsilon\leq\varepsilon_0$ 时, Riemann 问题在某个固定时间区间 $$[0,t_*]$$ 上存在连续熵解, 且解保持 $$R$$ –真空态– $$R$$ 波型. 文中约定将时间区间归一化为 $$t_*=1$$ 的情形进行估计; 定理表述为固定有限时间区间, 并非全局存在结论。

解的区域由四个从初始间断线发出的特征面分隔, 文中记作两侧的 $$C_0$$ 与真空边界附近的 $C_{\rm vacuum}$ 面. 在左右稀疏波前及中间真空区域所对应的三个中心区域, 使用放大坐标

(t,x_1,x_2)\longmapsto(t,\mathring u,x_2), \qquad \mathring u=\frac{x_1}{t}.

在这些坐标中解属于 $W^{2,\infty}$ , 并且对所有非负整数 $$a,b$$ 满足 $a+b\leq2$ , 有

\left|\partial_{\mathring u}^{a}\partial_{x_2}^{b} \bigl(U-\mathring V_0(\mathring u,x_2)\bigr)\right| \leq C\varepsilon t.

这里 $\mathring V_0$ 是由右侧初始状态确定的右行稀疏波主轮廓. 按文中记号, 其三个分量为

\mathring V_0(\mathring u,x_2)= \left( \frac{2}{\gamma-1}c_r(0,x_2) +\frac{2}{\gamma+1}\bigl[\mathring u-(v_r^1+c_r)(0,x_2)\bigr], \ v_r^1(0,x_2)+\frac{2}{\gamma+1}\bigl[\mathring u-(v_r^1+c_r)(0,x_2)\bigr], \ v_r^2(0,x_2) \right).

上述表达式依照论文所采用的状态变量顺序书写. 其含义是, 相对于自相似的中心稀疏波轮廓, 解及其至二阶的 $\mathring u,x_2$ 导数均为 $O(\varepsilon t)$ ; 因此 $t\downarrow0$ 时, 解在放大后的区域贴近相应的一维稀疏波轮廓。文中还指出, 这类解在真空边缘可以出现 $c^\alpha(\ln c)^\beta$ 型对数奇异行为, 所以 $W^{2,\infty}$ 的陈述应理解为定理所述自相似坐标和区域中的正则性结论, 不能据此推断真空边界处存在任意阶光滑展开。

指数范围是结论的重要组成部分, 不是任意的技术记号. 作者明确将限制归因于真空边缘可能出现的低正则性, 以及本文坚持使用不带声速权重的向量场作为交换子. 作者认为若要覆盖整个 $1<\gamma\leq5/3$ 区间, 需要引入带 $$c$$ 权重的向量场, 并将此留待后续工作。摘要与定理没有给出全区间结果, 也没有主张真空边缘的高阶展开成立。

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

证明的第一个障碍是特征几何在 $$c=0$$ 处退化. 以 Euler 的对称化一阶系统为起点, 状态变量取

U=\left(\frac{2c}{\gamma-1},v^1,v^2\right)^T, \qquad \partial_tU+A^1(U)\partial_{x_1}U+A^2(U)\partial_{x_2}U=0.

对协向量 $\xi\in\mathbb R^2$ , 特征值为

\lambda_1=v\cdot\xi-c|\xi|,\qquad \lambda_2=v\cdot\xi,\qquad \lambda_3=v\cdot\xi+c|\xi|.

真空处三个特征速度合并, 因而在远离真空区域可用的声学度量波动方程框架会发生退化。作者的几何创新是把需要控制的对象从声学度量及其二阶波动方程移回到特征叶状结构本身, 直接在对称化的一阶系统上建立特征几何和能量估计。这使方法不必先把状态变量改写为某个声学度量上的波方程, 也是作者认为该思路可能推广到一般双曲系统的理由; 但本文实际证明仍针对二维等熵 Euler, 并未建立一般系统的完整理论。

具体地, 特征面由 Hamilton–Jacobi 方程描述. 作者不直接处理其可能难以控制的一阶非线性方程, 而在余切空间中解 Hamilton 双特征线常微分方程, Hamilton 函数取

H(t,x,\tau,\xi)=\tau+\lambda_3(U,\xi).

由此生成特征面, 并引入切向导数 $$L$$ , 单位法向量 $\widehat T$ 及刻画叶状结构的系数 $\kappa$ . 论文给出的演化恒等式具有如下形式:

L=\partial_t+\frac{\partial\lambda_3}{\partial\xi_j}(U,-\widehat T)\partial_{x_j}, \qquad L(\widehat T^i)=\widehat X(U)\cdot\nabla_U\lambda_3(U,-\widehat T)\widehat X^i,

L(\kappa)=-\widehat T(U)\cdot\nabla_U\lambda_3(U,-\widehat T).

这些关系把特征面的几何演化化为由特征速度和一阶解导数驱动的输运关系, 用于控制特征法向、横向方向及叶状结构, 并避免依赖在真空极限下退化的二阶几何方程。

第二个障碍是展开膨胀区时能量对不同导数方向的控制并不对称. 特征能量存在时间尺度损失, 通量只控制某些特定分量; 对交换子而言, 含 $$t$$ 损失的项不能仅靠体能量闭合. 作者在一阶系统的对称化估计中辨认出与波方程几何能量法相对应的能量—通量分工、膨胀情形下不利体项在减去近似解后符号改善, 以及交换子中的特殊结构: 会损失 $$t$$ 因子的交换项不含通量所退化的分量, 因而可以由通量而非单独由体能量控制. 这相当于在一阶框架中提取了类似 null structure 的抵消机制。证明随后采用 bootstrap 控制特征向量场与几何系数, 配合能量估计、相应 Sobolev 嵌入和带奇异系数的 Gronwall 型不等式, 在远离真空和延伸至真空的区域分别闭合估计。这里可以确认论文明确设有对声速、特征几何量及其交换导数的逐层控制, 但提供的摘录未列出这些命题的完整常数与全部范数定义, 因而不能据此补写更细的定量能量不等式。

第三个关键点是不能把真空边缘的初始高阶 jets 当作已知. Alinhac 式构造通常先在扇形中作自相似放大, 再通过角点逐阶形式展开构造高阶近似解, 使余项在初始角点足够平坦, 以便后续迭代使用. 正密度时角点方程系数不退化, 但在真空边缘, 特征速度间隙趋零, 部分本征向量分量趋零, 对称化系数也可能发散, 形式展开的高阶系数未必有界。本文的直接处理是先假设在 $(t,\mathring u,x_2)$ 坐标中具有所需正则性, 再在初始切片上通过常微分方程系统直接分析 $U(0,\mathring u,x_2)$ 、 $\partial_tU(0,\mathring u,x_2)$ 和 $\partial_t^2U(0,\mathring u,x_2)$ , 从而确定可用的低阶初始数据, 而不预设任意高阶形式展开在真空边界成立。论文明确指出, 这是对真空边缘初始层的直接分析, 并非完整的边缘正则性理论。

这种区分对高阶误差估计至关重要. 文中举例说明, 在 $\gamma=1.3$ 时, 实际解满足特定四阶 $\mathring u$ 导数的 $$L^2$$ 控制, 但形式系数 $\mathring V_2$ 的相应导数可按 $c^{-7/6}$ 发散. 因此不能合理地断言通常形式

U=\mathring V_0+t\mathring V_1+\frac12t^2\mathring V_2+\cdots

在真空边缘具有均匀有界余项. 作者改为围绕主轮廓 $\mathring V_0$ 建立所需估计, 允许更高阶结构以 $c^\alpha(\ln c)^\beta$ 形式出现。

最后, 真空边缘的困难也体现在切向交换上. 既有声学能量在第一阶可同时控制 $c^{-1}L(\psi)$ 与角向导数 $\widehat X(\psi)$ ; 但再作一次角向交换后, $c^{-1}L\widehat X(\psi)$ 中可能出现没有额外 $$c$$ 因子补偿的项. 摘录展示该项与右侧初值的横向导数乘积有关, 一般扰动不满足使其消失的点态条件. 因此, 仅沿用旧能量估计继续升阶会失效。本文通过改造几何描述、直接处理初始切片, 并将估计组织为远离真空与接近真空的不同区域来避免把不成立的高阶展开作为输入。对未能覆盖的指数范围, 作者明确提出带 $$c$$ 权重的交换向量场可能必要, 但该方法在本文中尚未实施。

4. 与之前工作的比较

与 Alinhac [1–3] 的多维稀疏波构造相比, 本文推进到特征速度间隙消失的真空边界. Alinhac 的方法通过常秩自相似变换把扇形区域放大并固定边界, 再利用带权、共法向 Sobolev 估计和 Nash–Moser 迭代处理特征边界造成的导数损失. 该估计要求初始角点的 forcing 与边界迹具有足够高阶平坦性, 因而必须预先构造高阶形式近似解. 在声速有正下界时, 角点递推系数可控; 而真空处相关系数退化或发散, 所需 jets 的有界可解性不能照搬。本文的重要差别不是简单把原有估计延长到 $$c=0$$ , 而是拒绝将真空边缘高阶形式展开作为已知输入, 改为在初始切片直接求出所需低阶数据, 并构造适用于一阶系统的几何估计。

与 Luo–Yu [28,29] 相比, 本文所处理的背景由正密度稀疏波前推进到 $$R$$ –真空态– $$R$$ 构型的真空边缘. Luo–Yu 将 Riemann 不变量改写成声学度量上的波方程, 运用声学几何、双零标架及乘子场得到精细能量估计, 并借助 last-slice 方法构造相容数据; 其结果覆盖声速保持正下界的区域. 他们还发现角向导数的最大特征速度具有额外消失, 这一隐藏结构对于闭合高阶估计很重要. 本文强调, 这类框架在真空处面临退化, 且一次额外角向交换后出现未被 $$c$$ 补偿的项, 一般扰动无法满足旧估计所需的点态抵消条件。因此本文将几何直接建立在一阶系统上, 并专门分析真空边缘初始切片; 这使得特征面及局部解能延伸到真空, 但并不等价于证明 Luo–Yu 的声学方法可在 $$c=0$$ 时保持原有估计。

与只研究单个稀疏波前的局部稳定性工作相比, 本文结论涉及完整 Riemann 波型及其自由边界几何: 四个特征面划分解域, 两侧中心稀疏波与中间真空区域共同构成稳定构型. 另一方面, 定理是局部时间结论, 只对满足给定真空条件的基准左右常态及其充分小的高阶 Sobolev 扰动适用, 不提供全局演化、非小扰动稳定性或更一般初始真空生成机制。文中关于 Chen 和 Chen [5] 的工作指出, $\gamma\in(1,2)$ 时该真空 Riemann 构型在 $L^\infty$ 可容许熵解类中的唯一性已由相对熵方法建立; 本文重点是多维小扰动下的局部构造与结构稳定性, 不能将这一存在性定理与既有唯一性结论混为一谈。摘录没有说明本文定理本身在其所构造的解类中另行证明了唯一性。

参数范围方面, 本文证明

\gamma\in(1,1.3]\cup\left\{\frac75,\frac53\right\},

而没有覆盖整个 $1<\gamma\leq5/3$ 区间. 作者将此限制归因于真空边缘可能具有 $c^\alpha(\ln c)^\beta$ 型奇异性, 以及当前证明坚持使用不带 $$c$$ 权重的交换向量场. 作者认为覆盖完整区间可能需要 $$c$$ 加权向量场, 并列为后续方向; 这属于作者的判断和计划, 不是本文已证明的结论。因而本文的代价是指数范围受限, 且边缘正则性只控制到自相似坐标中的 $W^{2,\infty}$ 及所陈述的主轮廓误差, 不建立任意高阶光滑性。

从方法适用范围看, 一阶系统上的 Hamilton 特征几何不依赖将系统转为某个声学度量的二阶波动方程, 因此概念上可能较适合缺少自然二阶几何方程的系统; 文中以磁流体力学为例说明声学度量路线的限制. 但这只是方法动机和潜在推广方向, 提供内容没有给出磁流体力学或一般双曲系统的定理, 不能视为已经推广。本文真正落实的结果仍是二维等熵多方气体 Euler 方程, 在固定时间、给定基准波型和小扰动条件下构造连续熵解。

总体而言, 本文相对于既有工作的推进集中在两个相互配合的方面: 将特征几何—能量分析从声学波方程框架移至一阶对称系统, 以及不再假定真空边缘高阶角点展开成立, 而直接分析初始切片并允许边缘出现较弱的对数奇异性. 该推进首次在所述参数范围内给出多维 $$R$$ –真空态– $$R$$ 波型的局部结构稳定性证据. 但从提供内容中无法确认更一般的全参数范围、全局时间延拓、真空边缘的完整渐近展开或本文构造解类中的唯一性; 作者也没有在摘录中声称这些结论。

6. 有界密度下二维可压缩 Navier-Stokes 方程解的唯一性

Uniqueness of solutions to the 2D compressible Navier-Stokes equations for bounded densities

作者: Lorenzo Pescatore, Alessandro Violini

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18178v1

摘要翻译: 对于一般的 $$C^1$$ 压力律，我们在 Danchin 和 Mucha [14] 引入的正则性类中证明了二维斜压可压缩 Navier–Stokes 方程全局解的唯一性。一个关键假设是，两组解的散度均有界且关于时间局部可积；这保证了它们的密度保持有界，同时无需排除真空，也无需对密度施加空间正则性要求。

Comment: 无

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

1. 研究对象和背景

本文研究二维周期区域上的 barotropic compressible Navier–Stokes 方程. 未知量是非负密度 $\rho(t,x)$ 和速度 $u(t,x)\in\mathbb{R}^2$ , 压力由密度给出 $P(\rho)$ . 方程为

\begin{cases} \partial_t\rho+\operatorname{div}(\rho u)=0,\\ \partial_t(\rho u)+\operatorname{div}(\rho u\otimes u)+\nabla P(\rho) =\mu\Delta u+(\lambda+\mu)\nabla\operatorname{div}u, \end{cases} \qquad (t,x)\in[0,\infty)\times\mathbb{T}^2,

其中剪切黏性系数 $\mu>0$ , $\nu:=\lambda+2\mu>0$ . 压力假设仅为 $P\in C^1([0,\infty))$ 且 $$P(0)=0$$ ; 不要求单调或凸, 因而包括 $P(\rho)=a\rho^\gamma$ ( $a>0,\gamma\ge 1$ ), 也允许更一般的非单调压力律. 初始数据满足 $\rho_0\in L^\infty(\mathbb{T}^2)$ , $\rho_0\ge0$ , $u_0\in L^2(\mathbb{T}^2)$ ; 归一化总质量为 $\int_{\mathbb{T}^2}\rho_0\,dx=1$ .

问题的重要性在于, 可压缩系统同时包含黏性动量方程和具有输运性质的连续性方程. 密度不必有空间导数, 可存在跳跃和真空; 压力因此也可能没有足够的空间正则性. 真空又使得速度的无权控制不能直接从动能得到, 通常只能控制 $\sqrt{\rho}u$ . 即使弱解存在, 也难以用经典强解理论直接比较两个解. 对一般压力律, 压力还未必提供凸的相对内能, 因而标准相对熵方法中的正定性和二次控制可能失效.

本文所处的解框架由 Danchin–Mucha 引入. 除分布意义下满足方程外, 解满足

\rho\in L^\infty_{\mathrm{loc}}([0,\infty);L^\infty),\quad \rho\in C([0,\infty);L^p)\ (p<\infty),\quad \sqrt{\rho}u\in C([0,\infty);L^2),

\nabla u\in L^2_{\mathrm{loc}}([0,\infty);L^2),\qquad \operatorname{div}u\in L^1_{\mathrm{loc}}([0,\infty);L^\infty),

并满足能量等式

E(t)+\int_0^t\left(\mu\|\nabla\mathbb{P}u(s)\|_{L^2}^2+\nu\|\operatorname{div}u(s)\|_{L^2}^2\right)ds=E(0),

其中 $\mathbb{P}$ 是 Leray 投影, $E(t)=\int_{\mathbb{T}^2}(\frac12\rho|u|^2+h(\rho))dx$ , 且 $h(\rho)=\rho\int_1^\rho P(s)s^{-2}ds$ . 散度的时间可积 $L^\infty$ 控制不是附带条件: 通过 renormalized continuity equation 或正则拉格朗日流, 它控制流映射 Jacobian, 从而使有界初始密度在有限时间内保持有界. 具体地, 若 $$X$$ 是 $$u$$ 的流、 $$J$$ 是其 Jacobian, 则 $\rho(t,X(t,\xi))J(t,\xi)=\rho_0(\xi)$ , 并有

\|\rho(t)\|_{L^\infty}\le \|\rho_0\|_{L^\infty} \exp\left(\int_0^t\|\operatorname{div}u(s)\|_{L^\infty}ds\right).

Danchin–Mucha 的全局存在理论在附加初值速度正则性和大体积黏性条件下给出更强的解: $u\in L^\infty_{\mathrm{loc}}H^1$ , $\sqrt{\rho}\dot u,\sqrt{t}\nabla\dot u\in L^2_{\mathrm{loc}}L^2$ . 本文试图补足的是这一框架中的唯一性缺口: Danchin–Mucha 原先在较受限的压力情形下证明唯一性, 并提出推广猜想; 另一方面, 通常的弱–强唯一性相对能量理论要求比较解的密度有额外正则性, 不能覆盖一般有界、可不连续且允许真空的密度. 本文在不要求密度空间正则性、压力单调性或凸性的前提下, 证明一个解只需属于上述较弱能量类, 而另一个解具有 Danchin–Mucha 加强正则性, 两解即唯一.

2. 主要定理或主要结果

核心结论是定理 1.2. 设 $P\in C^1([0,\infty))$ , $$P(0)=0$$ , $\mu>0$ , $\nu=\lambda+2\mu>0$ . 令 $(\rho_1,u_1)$ 与 $(\rho_2,u_2)$ 是定义 1.1 意义下的两个全局解, 具有相同初值 $(\rho_0,u_0)$ , 且密度非负、有界, 允许真空和不连续. 假设第二个解进一步满足 Danchin–Mucha 正则性

$$ u u $$

(公式应为)

$$ u $$

$$ $$ u$$ $$

作者的条件实际为

$$ u $$

即

u_2\in L^\infty_{\mathrm{loc}}([0,\infty);H^1),\qquad \sqrt{\rho_2}\dot u_2\in L^2_{\mathrm{loc}}([0,\infty);L^2),\qquad \sqrt{t}\,\nabla\dot u_2\in L^2_{\mathrm{loc}}([0,\infty);L^2),

其中 $\dot u_2=\partial_tu_2+u_2\cdot\nabla u_2$ . 则

\rho_1=\rho_2,\qquad u_1=u_2\quad\text{几乎处处于 }[0,\infty)\times\mathbb{T}^2.

注意定理没有要求 $$P$$ 单调、凸或严格递增, 唯一性部分只用 $$C^1$$ 压力正则性. 两个解都需属于定义 1.1 的能量与输运类, 尤其各自满足 $\operatorname{div}u_i\in L^1_{\mathrm{loc}}L^\infty$ ; 但额外的 Danchin–Mucha 估计只施加于第二个解. 因而这是非对称的弱–强型唯一性结论, 且弱侧正则性明显低于比较侧.

定理 1.2 与 Danchin–Mucha 的存在定理 1.1 合用, 得到相应参数范围内全局解的唯一性: 若初值满足 $\rho_0\in L^\infty$ , $\rho_0\ge0$ , $u_0\in H^1$ , 以及 $\|\operatorname{div}u_0\|_{L^2}\le K\nu^{-1/2}$ , 压力还满足存在理论所需的 $\rho\mapsto \rho^{-1}P(\rho)$ 非负且非减条件, 并且体积黏性系数 $\nu$ 足够大, 则存在的 Danchin–Mucha 全局解唯一. 此处的压力单调性和大黏性是引用的全局存在结果所需, 不是定理 1.2 的唯一性假设. 文中指出, 这一推论证明了 Danchin–Mucha 在二维情形提出的唯一性猜想, 且唯一性证明本身对压力只需 $$C^1$$ .

证明中使用的关键量也给出定量信息. 令 $$X_i,J_i$$ 分别为速度 $$u_i$$ 的流和 Jacobian, 定义流位移与压缩差

x^2(t)=\int_{\mathbb{T}^2}|X_1(t,\xi)-X_2(t,\xi)|^2\rho_0(\xi)d\xi, \qquad j^2(t)=\int_{\mathbb{T}^2}|J_1(t,\xi)-J_2(t,\xi)|^2\rho_0(\xi)d\xi.

引入交叉压力 $\widetilde P$ 后, 引理 2.1 给出

\|P(\rho_1)-\widetilde P\|_{L^2}\lesssim j, \qquad \|\widetilde P-P(\rho_2)\|_{H^{-1}}\lesssim x, \qquad \|\rho_1-\rho_2\|_{H^{-1}}\lesssim x.

第一项是由流压缩差控制的 $$L^2$$ 项, 第二项是由粒子位置偏移控制的 $H^{-1}$ 项. 修正速度后, 相对动能 $\|\sqrt{\rho_1}\delta w\|_2^2$ 与耗散 $\|\nabla\delta w\|_2^2$ 可和 $$x,j$$ 的演化估计耦合. 文中给出的流量估计在 $x\le e^{-2}$ 时为

\frac{d}{dt}x^2\lesssim x\|\sqrt{\rho_1}\delta w\|_2+x^2+ (1+\|\nabla w_2\|_\infty)x^2\log\frac{e}{x^2},

\frac{d}{dt}j^2\lesssim \varepsilon\|\nabla\delta w\|_2^2+(1+\|G_1\|_\infty)j^2+ \|\dot u_2\|_{H^1}jx\left(\log\frac{e}{x^2}\right)^{3/2}.

通过时间加权位移项构造泛函, 作者控制最后的混合对数项并从初值零推出所有差量恒为零. 这些是不等式层面的关键定量结论; 摘录未给出定理 4 中最终微分不等式的完整系数形式, 因此不能据此补写更精确的终端估计.

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

证明的难点不是单独估计速度差, 而是密度差、压力差和速度差具有不匹配的正则性. 对两解作差后, 形式上的动能相对能量包含

\frac{d}{dt}\frac12\int\rho_1|\delta u|^2dx +\mu\|\nabla\delta u\|_2^2+(\lambda+\mu)\|\operatorname{div}\delta u\|_2^2 =-\int\rho_1(\delta u\cdot\nabla u_2)\cdot\delta u -\int\delta\rho\,\dot u_2\cdot\delta u +\int\delta P\,\operatorname{div}\delta u.

这里 $\delta u=u_1-u_2$ , $\delta\rho=\rho_1-\rho_2$ , $\delta P=P(\rho_1)-P(\rho_2)$ . 对流项需要比较解速度的梯度控制; 密度差项缺少正则性, 不能直接按 $$L^2$$ 估计; 压力项则既不能由动能控制 $\|\delta P\|_2$ , 也不能简单转到 $H^{-1}$ 后与 $\operatorname{div}\delta u$ 配对, 因为那会要求速度二阶空间导数, 而压力不规则时动量方程不能给出完整速度的该正则性.

第一项关键设计是沿两条正则拉格朗日流比较压力, 将压力差拆成压缩与位移两部分. 连续性方程的流表示为 $\rho_i(t,X_i)J_i=\rho_0$ . 由此定义交叉压力

\widetilde P(t,X_1(t,\xi))J_1(t,\xi) =P(\rho_2(t,X_2(t,\xi)))J_2(t,\xi).

于是 $P(\rho_1)-\widetilde P$ 对应同一粒子标签上的 Jacobian 差, 而 $\widetilde P-P(\rho_2)$ 对应测试函数随粒子位置改变. 前者利用 $P\in C^1$ 及 $$P(0)=0$$ 得到 $$L^2$$ 控制 $\lesssim j$ ; 后者对 $$H^1$$ 测试函数使用最大函数估计和流映射位移, 得到 $H^{-1}$ 控制 $\lesssim x$ . 同一论证给出 $\|\delta\rho\|_{H^{-1}}\lesssim x$ . 这一拆分并非仅仅获得压力差的弱范数界; 它保留压缩部分的强 $$L^2$$ 控制, 恰好可与一个速度导数配对吸收到黏性耗散中.

第二项设计是压力修正的有效速度. 令 $G_i=\nu\operatorname{div}u_i-P(\rho_i)$ , 并用 $R=\nabla\Delta^{-1}(f-\bar f)$ 表示零均值逆散度算子. 定义

w_2=u_2-\nu^{-1}RP(\rho_2),\qquad w_1=u_1-\nu^{-1}R\widetilde P, \qquad \delta w=w_1-w_2.

第二个解的修正使压力梯度从椭圆方程中抵消, 得到

\mu\Delta w_2+(\lambda+\mu)\nabla\operatorname{div}w_2=\rho_2\dot u_2,

从而由椭圆估计, 对 $2<q<\infty$ 有 $\|\nabla^2w_2\|_{L^q}\lesssim\|\rho_2\dot u_2\|_{L^q}$ . 这避开了对不规则压力求导, 并提供相对流估计所需的 $\nabla w_2$ 控制. 两种压力修正的选择并不相同: $$w_1$$ 使用交叉压力, 使位移压力被并入速度差, 而剩下的压缩压力仍有 $$L^2$$ 控制. 具体有

\delta u=\delta w+\nu^{-1}R(\widetilde P-P(\rho_2)), \qquad \|\delta u-\delta w\|_2\lesssim x.

由此得到相对能量不等式, 其中压力力项变为 $\int(P(\rho_1)-\widetilde P)\operatorname{div}\delta w$ , 可用 $j\|\nabla\delta w\|_2$ 估计并以 Young 不等式吸收. 但压力修正也产生物质导数项 $\int\rho_1(D_1R\widetilde P-D_2RP(\rho_2))\cdot\delta w$ , 这不是可忽略的余项; 引理 3.2 对其作物质导数分解, 并利用流量差、密度有界和有效黏性通量估计控制. 这是在不对密度作空间微分假设下闭合动量相对能量的重要环节.

第三项是以负阶 Sobolev 范数处理密度差. 利用 $\delta\rho$ 零均值, 写成散度形式 $\delta\rho=\operatorname{div}R\delta\rho$ , 将导数转移到 $\dot u_2\delta w$ 上. 通过 $H^{-1}$ –流位移界、二维 Sobolev 嵌入 $\|f\|_{L^q}\lesssim\sqrt q\|f\|_{H^1}$ , 再对 $$q$$ 优化, 得到含对数损失的估计, 其代表形式为

\left|\int\delta\rho\,\dot u_2\cdot\delta w\right| \lesssim \varepsilon\|\nabla\delta w\|_2^2 +C\|\sqrt{\rho_1}\delta w\|_2^2 +C\|\dot u_2\|_{H^1}^2x^2\log\frac{e}{x^2}.

同类的有限 $$q$$ 优化用于估计沿两条流采样的有效黏性通量差. 具体地, $\Delta G_2=\operatorname{div}(\rho_2\dot u_2)$ 给出 $\|\nabla G_2\|_{L^q}\lesssim q\|\dot u_2\|_{H^1}$ 量级, 而二维 $$H^1$$ 嵌入的 $\sqrt q$ 增长与流位移插值结合, 优化 $$q$$ 后产生 $x(\log(e/x^2))^{3/2}$ , 进而形成 $j x(\log(e/x^2))^{3/2}$ 的混合项. 这一步精准暴露了直接 Osgood 闭合的障碍: 对总误差 $$L$$ 得到 $L(\log(e/L))^{3/2}$ , 而该模量不满足 Osgood 发散积分条件.

最后的处理同时针对时间零点的正则性退化和上述对数指数. 已知的是 $\sqrt t\nabla\dot u_2\in L^2_tL^2_x$ , 不能推出 $\dot u_2\in L^1_tH^1_x$ , 因为对应的 Cauchy–Schwarz 估计会含 $\int_0^Tt^{-1}dt=\infty$ . 作者不把不成立的可积性当作隐含假设, 而构造时间依赖泛函

F(t)=\|\sqrt{\rho_1}\delta w(t)\|_2^2+j^2(t) +\frac{x^2(t)}{t}\log\frac{e}{x^2(t)},

在 $$x=0$$ 时最后一项按连续延拓取零. 加权位移项在初始时刻补偿 $\dot u_2$ 的权重损失, 并使混合压缩–位移项得到可积时间系数及可用的 Osgood 模量. 作者证明 $F(t)\to0$ 当 $t\downarrow0$ , 再由相应微分不等式推出 $F\equiv0$ , 因而 $$x=j=0$$ 且修正速度差为零, 最终恢复密度和速度相同. 以上反映的是本文技术链条: 双流压力分解、针对压力的有效速度修正、负阶密度控制, 以及针对临界初始时间奇性的加权 Osgood 论证.

4. 与之前工作的比较

与 Danchin–Mucha [14] 的工作相比, 本文的直接推进是把其解类中的唯一性从线性压力拓展到一般 $$C^1$$ 压力, 并且不要求压力单调或凸. 摘录说明 [14] 已在其解框架内证明线性压力的唯一性, 并猜测可推广至凸且严格递增压力; 本文的结论不仅覆盖该猜想范围, 也覆盖非单调压力. 需要区分存在和唯一性: Danchin–Mucha 全局存在定理仍有 $\rho^{-1}P(\rho)$ 非负、非减以及足够大体积黏性等条件, 本文并未证明任意 $$C^1$$ 压力下的存在; 它证明的是在已有两个合适解时的唯一性. 定理 1.2 对唯一性本身只要求 $P\in C^1$ , $$P(0)=0$$ .

相较 Lions [31]、Feireisl 等 [18] 的有限能量弱解理论, 本文处理的不是通常意义上仅有能量不等式的广义弱解类. 其解需具有密度局部一致有界、 $\nabla u\in L^2_{\mathrm{loc}}L^2$ , $\operatorname{div}u\in L^1_{\mathrm{loc}}L^\infty$ , 并满足能量等式及相应连续性. 因而不能据本文推出 Lions–Feireisl 全能量弱解类中的唯一性. 它的优势在于允许密度不连续和真空, 且不要求密度具有空间导数; 代价则是散度的时间可积 $L^\infty$ 控制以及至少一个解的 Danchin–Mucha 强化正则性. Lions–Feireisl 理论关注全局弱解存在, 其中有效黏性通量、密度截断和振荡缺陷测度用于识别非线性压力极限; 本文关注已存在解的两两比较, 通过流映射及有效速度来避免建立密度强紧性.

与经典弱–强唯一性结果, 如 Germain [19]、Feireisl–Jin–Novotný [17] 和 Feireisl [16] 相比, 本文的强侧密度要求更弱. 经典相对能量法通常要求比较解的密度具备足以控制相对内能和压力余项的空间正则性, 对一般不连续有界密度并不适用; 而且非单调压力会使内能不具凸性, 即使压力单调, 仅有 $$C^1$$ 与密度有界也不保证 $|P(\rho_1|\rho_2)|\lesssim h(\rho_1|\rho_2)$ . 本文没有依靠相对内能的正定性, 而用纯动能相对量、流位移和 Jacobian 差取代它. 这扩大了对压力律和密度空间正则性的适用范围, 但仍是非对称唯一性: 其中一个解必须有 $u\in L^\infty H^1$ , $\sqrt\rho\dot u\in L^2L^2$ 和 $\sqrt t\nabla\dot u\in L^2L^2$ .

在允许密度跳跃的中间正则性研究方面, Hoff [23,24] 的解类位于有限能量弱解和经典强解之间; 对线性压力可借助拉格朗日方法和负阶 Sobolev 估计建立唯一性. Danchin、Fanelli、Paicu [12] 对一般压力建立局部适定性, 但要求密度靠近正常数并有 striated regularity, 即沿非退化方向族控制导数; 这带来速度的可积 Lipschitz 控制. Liao、Zodji [30] 将相关结果推广到全空间、足够大体积黏性和 $$C^2$$ 压力, 可允许真空, 但仍保留密度的方向正则性. 本文则在二维环面上不要求任何方向导数或界面正则性, 仅以有界密度和可积散度控制流. 这种放宽并非免费: 证明必须将压力差细分为压缩和位移部分, 且需要一侧解的加权加速度正则性. 摘录提到 Zodji [38] 对密度依赖黏性情形证明二维全局存在唯一性, 但要求密度远离真空、跨规则界面分片 Hölder 连续并满足小性条件; 本文允许真空和无方向正则的有界密度, 不过研究的是常系数黏性、barotropic 方程及其指定解类, 不能视为对该类模型的直接包含或替代.

方法上的差异也说明本文结果的边界. 已有不可压缩变密度流研究, 如 [13,21,36,37], 发展了以负阶 Sobolev 范数控制密度差的思路; 本文借鉴该机制处理 $\int\delta\rho\dot u_2\cdot\delta w$ , 但可压缩系统另有 $\int\delta P\operatorname{div}\delta u$ 项. 传统相对内能正是用于消去该项, 本文则以交叉压力 $\widetilde P$ 和两个不同的压力修正速度实现消项与吸收, 是针对可压缩困难的新增环节. 作者指出, 若能获得更强的有效黏性通量 log-Lipschitz 控制, 有望将混合项的对数幂从 $$3/2$$ 降到 $$1$$ , 但他们未能证明相应的 $\sqrt tG_2\in L^1_{\mathrm{loc}}LL$ 估计, 所以改用时间加权泛函. 这意味着结论并非建立在更强的空间 Lipschitz 正则性上, 但证明受二维对数嵌入和初始时刻权重结构制约; 对三维、不同黏性结构、没有散度 $L^1_tL^\infty_x$ 控制, 或两侧都缺乏 Danchin–Mucha 正则性的唯一性, 从提供内容中无法确认其是否成立. 文中列举了 Bresch–Jabin [6] 的定量紧性、Bresch–Desjardins 熵结构 [4,5] 及 Bresch–Vasseur–Yu [7] 的密度依赖黏性结果作为更广泛存在理论背景, 但并未将本文定理推广到这些模型; 作者未显式展开对这些框架下唯一性问题的比较。

7. 扩张环域中定常 Navier–Stokes 方程的消失黏性极限

Vanishing viscosity limit of the stationary Navier-Stokes equations in an expanding annulus

作者: Xinghong Pan, Chuankai Zhao, Jianfeng Zhao

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.17754v1

摘要翻译: 本文建立了固定宽度扩张环域中二维定常 Navier–Stokes 方程的消失黏性极限。流体在一个边界处受到刚体旋转的大扰动，而在另一个边界处保持静止。由于边界条件设置不同，内边界和外边界附近的边界层效应有所不同，从而导致边界层厚度不同，主导阶边界层方程也不同。我们将利用高阶渐近近似构造该二维 Navier–Stokes 方程的近似解，并证明边界层展开的有效性。Euler 解的主导阶为 Taylor–Couette 流 $\left(Ar+B\frac{1}{r}\right)e_θ$ ，其中某些适当常数 $$A$$ 和 $$B$$ 由 Prandtl-Batchelor 理论原理确定。随着环域扩张，切向速度的扰动变大，这给证明近似解的收敛性带来了很大困难。我们构造了针对误差解直至三阶导数的各种加权能量估计，从而闭合非线性系统的能量估计。

Comment: 无

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

1. 研究对象和背景

本文研究二维定常不可压 Navier-Stokes 方程在内半径为 $$r_0$$ 、宽度固定为 $$1$$ 的环域上的小黏性极限。环域随 $$r_0$$ 增大而向外扩张，文中取 $r_0\geq 100$ 。未知量为速度 $u^\epsilon$ 和压力 $p^\epsilon$ ，黏性系数写为 $\epsilon^2$ ，相应地 $\epsilon\to0$ 是高 Reynolds 数极限。原问题为

u^\epsilon\cdot\nabla u^\epsilon+\nabla p^\epsilon-\epsilon^2\Delta u^\epsilon=0,\qquad \nabla\cdot u^\epsilon=0,

定义域为 $\{x\in\mathbb R^2:r_0<|x|<r_0+1\}$ ，边界条件为

u^\epsilon\cdot n=0\quad (r=r_0,r_0+1),\qquad u^\epsilon=0\quad (r=r_0),

u^\epsilon\cdot\tau=(\omega+\delta f(\theta))(r_0+1)\quad (r=r_0+1),

其中 $\omega>0$ ， $$f$$ 是光滑 $2\pi$ 周期函数， $\delta$ 是小参数。也就是说，内边界静止，外边界以近似刚体旋转的方式驱动流体。 $\delta$ 虽小，但外边界的切向线速度扰动量级为 $\delta r_0$ ，因此随环域半径扩大而增大；这使得本问题并非固定尺度上简单的小边界扰动问题。

当 $\epsilon\to0$ 时，黏性方程形式上趋于稳态 Euler 方程

u^e\cdot\nabla u^e+\nabla p^e=0,\qquad \nabla\cdot u^e=0,\qquad u^e\cdot n=0\quad (r=r_0,r_0+1).

Euler 方程只规定法向速度为零，并不继承 Navier-Stokes 方程的切向无滑移条件。黏性解在两条边界上分别满足不同的切向条件，故不能期待速度在边界附近一致地直接收敛到 Euler 流；需要构造边界层来描述这一边界条件失配。特别是，内边界静止而外边界具有量级为 $$r_0$$ 的旋转速度，两处边界层的主平衡不同，因而厚度和主导方程也不同。

本文采用的 Euler 主流选择建立在无内部停滞点这一设定及 Prandtl-Batchelor 原理上。按文中引用的结果，无停滞的环域稳态 Euler 流为切向剪切流；Prandtl-Batchelor 原理进一步要求其涡量为常数。由此得到 Taylor-Couette 形式

u^e(r)=\left(Ar+\frac{B}{r}\right)e_\theta.

常数 $$A,B$$ 由 Batchelor-Wood 型边界平均条件选取，而不是由 Euler 方程的法向边界条件单独确定。文中令

\widetilde\omega^2=\frac{1}{2\pi}\int_0^{2\pi}(\omega+\delta f(\theta))^2\,d\theta,

并以非负平方根理解 $\widetilde\omega$ ，取内边界 Euler 切向速度为零、外边界切向速度平方平均与 Navier-Stokes 外边界数据相匹配，得到

A=\frac{(r_0+1)^2\widetilde\omega}{2r_0+1},\qquad B=-Ar_0^2.

因此该 Euler 流在内边界的切向速度为零，而在外边界的切向速度为 $\widetilde\omega(r_0+1)$ 。外边界的角速度扰动 $\delta f$ 与所选 Euler 主流之间的差异由外边界层吸收；内边界处则需以另一种尺度修正无滑移条件。

定常 Navier-Stokes 到 Euler 的无滑移消失黏性极限是边界层理论中的核心困难之一。针对稳态问题，既有工作已在平板、剪切流、非剪切 Euler 流、通道及若干闭合区域中建立不同形式的 Prandtl 展开验证；但几何、边界数据和可控制的空间尺度各不相同。本文所补的空白是：在宽度固定、半径可很大的环域中，同时处理外边界旋转扰动与内边界静止所造成的非对称边界层，并给出对完整非线性定常方程的定量近似验证。其关键困难不只是边界条件不相容，还包括 $$r_0$$ 增大时切向速度扰动变大、两侧边界层厚度不同，以及误差方程的非线性估计必须在这些尺度下闭合。

2. 主要定理或主要结果

主要结论是定理 1.2。设 $f(\theta)$ 为光滑 $2\pi$ 周期函数， $r_0\geq100$ ，并取足够小的 $\epsilon>0$ 与 $\delta>0$ 。则存在 $\epsilon_0,\delta_0>0$ ，使得当 $0<\epsilon\leq\epsilon_0$ 、 $0<\delta\leq\delta_0$ 时，极坐标下的定常 Navier-Stokes 问题存在解 $(u^\epsilon,v^\epsilon)$ 。这里 $u^\epsilon$ 表示切向分量， $v^\epsilon$ 表示径向分量；该解满足

\left\|u^\epsilon(\theta,r)-u^e(r)-u_p^{(0)}(\theta,\zeta)\right\|_{L^\infty(\Omega)}+\|v^\epsilon\|_{L^\infty(\Omega)}\leq C\epsilon r_0,

其中 $\Omega=\mathbb T\times[r_0,r_0+1]$ ， $$u^e(r)=Ar+B/r$$ ， $$A,B$$ 如研究背景所述，且

\zeta=\frac{r-r_0-1}{\epsilon}

是外边界层变量。 $u_p^{(0)}$ 是外边界层切向速度的首项。定理给出的误差是相对于“Euler 切向主流加外边界层首项”的估计，而非全环域上相对于 Euler 解的无边界层一致收敛；径向速度则由同一估计控制为 $O(\epsilon r_0)$ 。摘要与定理陈述说明常数 $$C$$ 不依赖 $\epsilon,\delta$ ，但提供的内容未明确说明该常数及 $\epsilon_0,\delta_0$ 对 $$r_0$$ 是否一致，因此不能据此断言半径趋于无穷时具有统一极限估计。

外边界层首项满足文中的方程 (1.6)。令 $\zeta=(r-r_0-1)/\epsilon$ ，则其切向分量 $u_p^{(0)}$ 与径向分量 $v_p^{(1)}$ 满足

\big(\widetilde\omega(r_0+1)+u_p^{(0)}\big)\partial_\theta u_p^{(0)}+\big(v_p^{(1)}-v_p^{(1)}(\theta,0)\big)(r_0+1)\partial_\zeta u_p^{(0)}-(r_0+1)\partial_{\zeta\zeta}u_p^{(0)}=0,

\partial_\theta u_p^{(0)}+(r_0+1)\partial_\zeta v_p^{(1)}=0,

并满足周期性、外边界数据

u_p^{(0)}(\theta,0)=(r_0+1)(\omega+\delta f(\theta)-\widetilde\omega),

以及向流体内部衰减的条件 $u_p^{(0)},v_p^{(1)}\to0$ （ $\zeta\to-\infty$ ）。文中说明该边界层系统的适定性见命题 6.3。注意这里的边界数据量级受 $\delta$ 控制，但其切向线速度仍可能随 $$r_0$$ 增大。

为构造逼近，作者还引入内边界层变量

\eta=\frac{r-r_0}{\epsilon^{2/3}},

与外边界的 $\epsilon$ 厚度不同。近似解由 Euler 部分、外边界层部分、内边界层部分及一个高阶修正组成。文中给出的典型估计为：Euler 部分与 Taylor-Couette 流的差在切向速度上为 $O(\epsilon r_0(\delta+\epsilon))$ 量级；外边界层切向项及其加权导数受 $r_0(\delta+\epsilon)$ 控制，径向项受 $\epsilon(\delta+\epsilon)$ 控制；内边界层切向项受 $\epsilon r_0(\delta+\epsilon^{2/3})$ 控制，径向项受 $\epsilon^{5/3}(\delta+\epsilon^{2/3})$ 控制。具体地，文中列出的衰减加权估计包括

\|\zeta^\ell\partial_\theta^j\partial_\zeta^k u_p^a\|_\infty\leq C_{j,k,\ell}r_0(\delta+\epsilon),\qquad \|\zeta^\ell\partial_\theta^j\partial_\zeta^k v_p^a\|_\infty\leq C_{j,k,\ell}\epsilon(\delta+\epsilon),

\|\eta^\ell\partial_\theta^j\partial_\eta^k\widehat u_p^a\|_\infty\leq C_{j,k,\ell}r_0\epsilon(\delta+\epsilon^{2/3}),\qquad \|\eta^\ell\partial_\theta^j\partial_\eta^k\widehat v_p^a\|_\infty\leq C_{j,k,\ell}\epsilon^{5/3}(\delta+\epsilon^{2/3}).

这里的上标 $$a$$ 表示近似解分量。近似解满足原边界条件，其方程余项具有文中给出的估计

\|\partial_\theta^i\partial_r^j(R_u^a,R_v^a)\|_{L^2}\leq C_{i,j}\epsilon^{16-j}r_0^2.

这类高阶余项控制是后续误差估计的输入，而不是最终定理中的误差阶本身。

此外，作者证明了误差方程的加权一阶与三阶导数先验估计，并据此用压缩映射构造误差解。所提供摘录给出的一阶估计包含切向导数的距离权重、零频径向导数以及非零频径向导数的不同黏性权重，例如

\int_\Omega (r-r_0)(u_\theta^2+v_\theta^2)+\epsilon^2\int_\Omega u_{0,r}^2+(r-r_0)^\alpha\int_\Omega(u_{\ne,r}^2+v_r^2),

其中 $0<\alpha\leq0.01$ ；另有非零频导数的无权控制，其黏性系数为 $\epsilon^4$ ，并包含 $r_0^{-2}$ 加权的切向导数项。三阶估计进一步控制切向二、三阶导数、混合导数和纯径向导数，文中展示的相应黏性权重分别包括 $\epsilon^4$ 、 $\epsilon^8$ 与 $\epsilon^{10}$ 。这些估计是证明解存在及最终 $L^\infty$ 逼近结论的技术中间结果；摘录未提供全部先验估计右端项与参数依赖，故不能将其补写成更完整的定理。

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

证明的首要障碍来自两条边界的非对称性。外边界的速度与刚体旋转相近，但扰动的线速度随 $$r_0$$ 增长；内边界则是静止无滑移。若使用单一边界层尺度或只保留 Euler 主流，会无法同时消除两侧边界条件失配。作者因此先按匹配渐近展开构造满足原问题边界条件的高阶近似解。其结构为

(u^a,v^a)=(u_e^a,v_e^a)+\chi(u_p^a,v_p^a)+(1-\chi)(\widehat u_p^a,\widehat v_p^a)+(\epsilon^{16}h,0),

其中 $\chi$ 将两处边界层分开，外层采用 $\zeta=(r-r_0-1)/\epsilon$ ，内层采用 $\eta=(r-r_0)/\epsilon^{2/3}$ 。两种厚度不是形式上的任选尺度，而是由相应边界附近不同的主导平衡决定。外层首项解稳态 Prandtl 型边界层方程；内层则需另行展开。近似 Euler 部分也不是简单固定为未经修正的 Taylor-Couette 流，而包含较小修正，使近似解满足边界数据并把方程余项压到高阶。作者给出的余项及各层加权导数估计，正是后续误差方程能承受大半径系数的基础。

第二个关键障碍是误差方程中的压力与极坐标几何项。令 $(u,v,p)=(u^\epsilon-u^a,v^\epsilon-v^a,p^\epsilon-p^a)$ ，误差满足带有线性化输运项、扩散项和近似解余项的不可压系统。直接对速度方程作带权估计会遇到压力项难以与权重兼容。作者利用散度约束改写为涡量方程。定义

\varpi=\frac{v_\theta-(ru)_r}{r},\qquad \Phi_r=u,\quad \Phi_\theta=-rv,

其中 $\Phi$ 是流函数，满足 $-\Delta\Phi=\varpi$ 。对误差动量方程作适当微分相减，压力被消去，得到

-\epsilon^2r\Delta\varpi+\frac1r\partial_\theta S_v-\partial_rS_u=\frac1r\partial_\theta R_v-\partial_rR_u.

该改写将压力控制转化为涡量、流函数及速度导数的估计，并利用误差在两条边界上的齐次条件。其作用不仅是消去压力，还使非零角向频率的加权法向导数估计能够与流函数的椭圆结构配合。

第三个关键点是对角向零频与非零频分开处理。记 $$u_0$$ 为 $\theta$ 平均， $u_{\ne}=u-u_0$ ，对 $$v$$ 亦然。零频分量具有特殊的守恒及不可压结构，可以从角向平均后的方程直接提取法向控制；非零频则可利用周期方向的振荡与流函数结构，但在靠近边界处必须使用距离权重。作者先将动量方程与切向导数相乘，获得形如

\int_\Omega (r-r_0)(u_\theta^2+v_\theta^2)

的正项；再以涡量方程处理法向导数，得到涉及 $(r-r_0)^\alpha$ 的加权估计及零频 $u_{0,r}$ 的控制。最后用流函数和涡量方程补上非零频法向导数的无权估计，其中出现 $\epsilon^4$ 与 $r_0^{-2}$ 权重。不同项使用不同权重，是为了兼顾边界退化、极坐标系数和大半径下切向速度的增长，而非可随意互换的标准能量估计。

要取得 $L^\infty$ 误差控制，仅有一阶能量还不够。作者进一步建立三阶导数估计：切向高阶导数通过对涡量方程作角向微分并测试得到；但该步骤不能单独控制 $u_{rr}$ 、 $u_{rr\theta}$ 等纯法向或混合导数，因此再回到原动量方程。为处理其中的压力角向导数，文中使用 Bogovski 映射引理取得 $p_\theta,p_{\theta\theta}$ 的 $$L^2$$ 控制，进而估计二阶法向导数；纯三阶法向导数则由涡量方程补足。摘录列出的相应黏性权重为 $\epsilon^8$ （二阶法向及混合导数）和 $\epsilon^{10}$ （三阶纯法向导数）。这套估计链条解决了各向异性边界层中“切向能量不能推出高阶法向控制”的具体缺口。

最后，作者将一至三阶估计应用于非线性误差项，以迭代或压缩映射方式构造误差方程的解。可见的证明纲要是先获得线性化方程的稳定性估计，再控制非线性项并闭合三阶先验界，最后推出存在性与定理 1.2 的一致范数估计。真正的技术组合在于：双尺度边界层近似、高阶小余项、零频分解、带距离权重的涡量估计、压力的 Bogovski 控制，以及适应 $$r_0$$ 增长的导数权重。仅称其为“能量法”会遗漏这些环节如何分别处理边界退化、压力和大半径增长。由于提供的 PDF 摘录止于第 10 页，完整近似解递推公式、所有误差项吸收条件和压缩映射空间的定义从提供内容中无法确认。

4. 与之前工作的比较

作者在引言中将本文置于稳态无滑移消失黏性问题的 Prandtl 展开验证背景下。Guo-Nguyen [21] 研究移动平板问题，并发展基于正性估计的方法；Guo-Iyer [22] 处理静止平板且 Euler 流为剪切流的情形。Gao-Zhang [14] 通过引入流函数与近似解之比这一“好未知量”，将验证推进到任意长水平区域；其后续工作 [15] 使用加权形式及区域分解估计非剪切 Euler 流下的物质导数。Gao-Xin [13] 则研究无限长二维收敛通道中满足曲率条件、具有负质量通量的点源 Navier-Stokes 流。这些工作的几何与流动设定均不同于本文的环域旋转流，本文并非直接套用其结论，而是面对环域曲率、角向周期性和随半径增大的切向尺度建立专门估计。

与本文最直接相关的是 Fei-Gao-Lin-Tao 关于圆盘 [8] 与环域 [9] 的工作，以及 Fei-Pan-Zhao [10] 关于周期条带、其中一侧为静止边界的工作。作者明确指出，与 [9] 相比，本文的差异主要有两项。第一，内边界条件的退化使两侧展开不再对称：外边界存在刚体旋转附近的切向驱动，内边界却静止，因此外、内边界层厚度不同，须构造更精细的渐近展开；本文摘要给出的尺度分别是外层 $\epsilon$ 、内层 $\epsilon^{2/3}$ 。第二，本文考虑扩张环域， $$r_0$$ 是较大的参数，外边界的切向线速度扰动随半径增大，导致构造近似解后的误差存在性和能量闭合更困难。作者据此强调其结果提供了环域扩张时误差对半径的定量依赖，最终定理中表现为 $L^\infty$ 误差上界 $C\epsilon r_0$ 。

相较于已有的闭合区域与 Prandtl-Batchelor 研究，本文还把 Euler 主流的选取具体落实到 Taylor-Couette 流。引言指出，在一般区域中，稳态无黏极限的 Euler 流如何由黏性边界数据选出并无普遍明确原则；而闭合流线区域可借助 Prandtl-Batchelor 理论。本文使用无停滞点情形下 Euler 流为切向剪切流的结论，并以边界切向速度平方平均匹配确定涡量常数，得到 $$Ar+B/r$$ 。因此其适用范围是具有这一结构与选择机制的环域问题，并未解决一般几何下 Euler 极限选择的开放问题。

本文的推进也应按结论强度准确理解。定理给出的是小 $\delta$ 、小 $\epsilon$ 条件下，Navier-Stokes 解与 Euler 主流加外边界层首项之间的 $O(\epsilon r_0)$ 一致范数误差，并控制径向速度；它不是在无边界层修正下证明速度在闭合环域上均匀趋于 Euler 解。证明需要显式加入外边界层，且近似构造中还包含内边界层。它证明了解的存在和边界层展开的有效性，但不等同于一般数据下的唯一性、动力稳定性、边界层分离理论，也没有给出非定常问题的 Sobolev 框架验证。引言提到非定常问题在解析框架已有若干验证结果，而 Sobolev 框架仍有困难；本文处理的是定常情形，不应将其外推到非定常问题。

参数方面，论文摘要称扰动是“小”的；定理 1.2 具体要求 $\delta\leq\delta_0$ 与 $\epsilon\leq\epsilon_0$ 。所谓“大扰动”主要是相对于扩张尺度而言：即使角速度扰动振幅 $\delta$ 小，线速度扰动仍按 $\delta r_0$ 增长。因此本文并未证明对任意固定大小甚至任意大的角速度扰动成立。虽然结论强调扩张环域并给出 $\epsilon r_0$ 误差阶，但提供的摘录没有显示 $\epsilon_0,\delta_0,C$ 是否对所有 $r_0\geq100$ 一致，也没有给出可允许的 $$r_0$$ 与 $\epsilon$ 联合增长范围；故不能据此宣称在 $r_0\to\infty$ 与 $\epsilon\to0$ 的任意联合极限下仍成立。

文章还指出，将边界条件交换为内边界受旋转扰动、外边界静止时，在 $$r_0$$ 适当远离原点的情况下可得到类似结论，证明与本文相同，差别集中于 Remark 3.3。该说明扩大了结果对驱动边界位置的适用性，但摘录没有给出交换后精确的边界层方程与常数依赖。与 Navier-slip 边界条件的消失黏性研究 [33,45,3,4,37] 相比，本文处理的是更具边界条件失配困难的无滑移情形；两类问题的边界条件不同，不能仅由本文结论推断其估计可直接转用于滑移模型。

总体而言，本文的新增内容不是提出新的通用 Prandtl 理论，而是在环域几何中同时处理静止内壁、旋转扰动外壁和大半径尺度，构造两种厚度的边界层并完成高阶误差闭合。代价是依赖小扰动条件、特定 Taylor-Couette 型 Euler 主流及大量带权高阶估计；对一般区域中的 Euler 流选择、任意大扰动、非定常 Sobolev 稳定性，以及对 $$r_0$$ 的统一参数范围，作者在所提供内容中没有证明。

8. 三维 Navier-Stokes 方程的一个 $\eps$ -正则性判据及内部奇异集盒维数上界的改进

An $\eps$ -regularity criterion at one scale for 3-D Navier-Stokes equations and improved upper bound on the box dimension of the interior singular set

作者: Yi Lu, Rongrong Chi, Wei Ren

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.17569v1

摘要翻译: 本文利用基于均值-涨落分解的由粗到精估计论证，为三维 Navier-Stokes 方程建立了一个 $\varepsilon$ -正则性判据。借助这一 $\varepsilon$ -正则性判据，我们将内部奇异集盒维数的上界改进至 $$15/13$$ 。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压 Navier-Stokes 方程的适定弱解之内部正则性与奇异点集的分形维数. 对速度 $$u$$ 和压力 $\pi$ , 方程为

\partial_t u-\Delta u+(u\cdot\nabla)u+\nabla\pi=0,\qquad \nabla\cdot u=0.

方程定义在时空区域 $\Omega_T=\Omega\times(-T,0)$ 内. 速度是主要未知量, 压力作为不可压约束的拉格朗日乘子出现, 且只通过梯度进入动量方程. 本文采用适定弱解框架: $u\in L_t^\infty L_x^2\cap L_t^2H_x^1$ , $\pi\in L^{3/2}_{t,x}$ , 方程按分布意义成立, 并满足局部能量不等式. 对时空点 $$z_0=(x_0,t_0)$$ , 记抛物柱

Q_r(z_0)=B_r(x_0)\times(t_0-r^2,t_0).

若 $$u$$ 在 $$z_0$$ 的某个抛物邻域内本质有界, 则称 $$z_0$$ 正则; 其余内部点组成奇异集 $$S$$ . 由于方程在变换 $u_\lambda(x,t)=\lambda u(\lambda x,\lambda^2t)$ 、 $\pi_\lambda(x,t)=\lambda^2\pi(\lambda x,\lambda^2t)$ 下具有抛物缩放不变性, 正则性判据通常依赖于一组临界或近临界的局部时空量.

经典部分正则理论由 Scheffer 开始, Caffarelli-Kohn-Nirenberg (CKN) 证明了适定弱解的奇异集 Hausdorff 维数至多为 $$1$$ , 并建立了小尺度条件下的 $\varepsilon$ -正则性判据. 后续工作给出多种局部判据, 涉及速度的 $$L^3$$ 范数、压力的 $L^{3/2}$ 范数、速度梯度的 $$L^2$$ 范数以及混合时空 Lebesgue 范数等. 这些结果的正则性推论通常要求在所有充分小尺度上有控制, 或要求某一尺度上的特定范数足够小. 对奇异集维数而言, CKN 的 Hausdorff 维数估计并不直接给出同等精细的上盒维数控制; 上盒维数通过抛物尺度覆盖数衡量集合在每个小尺度上的总体复杂度, 需要将局部奇异性判据转化为统一尺度下可求和的能量下界.

本文关注的空白有两个相互关联的方面. 第一, 作者试图构造一种在单一尺度上检验的局部正则性判据, 其控制量包括速度梯度、速度的 $L^{10/3}$ 密度、去除空间平均后的压力振荡, 以及压力梯度的 $L^{5/4}$ 密度. 第二, 作者利用这一判据改进适定弱解内部奇异集的抛物上盒维数上界. 判据中的压力平均只对空间变量取平均, 即 $\pi_{B_r}(t)=|B_r|^{-1}\int_{B_r}\pi(x,t)\,dx$ ; 这与压力在方程中仅以梯度出现相适应, 同时压力梯度项在精化估计中仍不可或缺. 本文的具体结论是在 $Q_{4\rho}(z_0)$ 上若上述四类非负密度的积分总和不超过 $\varepsilon\rho^{15/13}$ , 则中心点正则, 并据此得到 $\dim_{B,p}(S)\le 15/13$ . 这里涉及的结论是适定弱解的部分正则与奇异集维数估计, 并不意味着奇异点不存在, 也不推出三维 Navier-Stokes 方程的整体光滑性。

2. 主要定理或主要结果

主要结论是定理 1.2 的一尺度局部正则性判据和定理 1.3 的奇异集抛物上盒维数估计.

定理 1.2: 存在绝对常数 $\varepsilon>0$ 和 $\rho_0<1$ , 使得对适定弱解 $(u,\pi)$ , 若 $Q_{4\rho}(z_0)\Subset\Omega\times(-T,0)$ 且 $0<\rho\le\rho_0$ , 并满足

\iint_{Q_{4\rho}(z_0)}\left(|\nabla u|^2+|u|^{10/3}+|\pi-\pi_{B_{4\rho}}(t)|^{5/3}+|\nabla\pi|^{5/4}\right)\,dx\,dt\le\varepsilon\rho^{15/13},

则 $$z_0$$ 是正则点. 其中 $\pi_{B_{4\rho}}(t)$ 是时刻 $$t$$ 在球 $B_{4\rho}$ 上的空间平均. 这是有限尺度上的充分条件, 不要求先验地对每个更小尺度逐一假设同一小量条件.

证明中使用的尺度量可写为

A(r)=r^{-1}\operatorname*{ess\,sup}_{t_0-r^2<t<t_0}\int_{B_r}|u(x,t)|^2\,dx,\qquad E(r)=r^{-1}\iint_{Q_r}|\nabla u|^2\,dx\,dt,

以及 $E_2(r)=r^{-1}\iint_{Q_r}|u|^2\,dx\,dt$ . 从假设先得到粗尺度估计

A(2\rho)\le C\varepsilon^{3/5}\rho^{-9/26},\qquad E(2\rho)\le C\varepsilon\rho^{2/13}.

随后作者证明精化尺度上的

A(\rho)\le C\varepsilon^{3/5}\rho^{-4/13}.

令 $\theta=\rho^{2/13}$ , 结合速度尺度插值、压力梯度衰减估计以及已有的 $\varepsilon$ -正则性引理, 可得

E_2(\theta\rho)+E(\theta\rho)\le C\varepsilon^{3/5},\qquad P_{1,3/2}(\nabla\pi,\theta\rho)\le C\varepsilon^{4/5}.

取 $\varepsilon$ 足够小, 使这几项之和低于引理 2.5 中的普适阈值, 即推出中心点正则. 这里 $\rho_0$ 的选取用于保证 $\theta<1/8$ 并控制相关尺度幂次; $$C$$ 表示与尺度无关的常数.

定理 1.3: 对任意适定弱解, 其内部奇异集满足

\dim_{B,p}(S)\le\frac{15}{13}\approx1.154.

作者采用抛物距离 $d_p((x,t),(y,s))=\max\{|x-y|,|t-s|^{1/2}\}$ 定义上盒维数. 由定理 1.2 的逆否命题, 每个奇异点 $$z$$ 在充分小的 $$r$$ 上满足

\iint_{Q_{4r}(z)}\left(|\nabla u|^2+|u|^{10/3}+|\pi-\pi_{B_{4r}(z)}(t)|^{5/3}+|\nabla\pi|^{5/4}\right)\,dx\,dt>\varepsilon r^{15/13}.

取奇异集中的极大 $\rho$ -分离点族, 使相应 $Q_{\rho/2}$ 两两不交、 $Q_\rho$ 覆盖奇异集, 并在上式取 $r=\rho/8$ . 将这些柱上的下界求和, 利用各项在整体区域的可积性及压力振荡由压力 $L^{5/3}$ 可积性控制, 得到覆盖数 $N_\rho\le C\varepsilon^{-1}\rho^{-15/13}$ . 代入上盒维数定义即得结论。该结论是上盒维数上界, 并非对 Hausdorff 维数给出新的独立上界, 也不表示该上界必为最优。

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

证明的核心困难是将单一粗尺度上的四种积分小量转化为适用于已知正则性引理的更细尺度控制. 局部能量不等式直接产生的速度三次通量 $$|u|^2u$$ 含有速度的空间平均部分; 若不处理这一部分, 仅凭 $\nabla u$ 的控制难以有效利用 Poincaré 不等式, 并会损失所需的尺度幂次. 压力通量也有类似结构: 压力振荡乘以速度平均不能简单按零均值速度的估计处理, 因而需要把速度和压力项分别分解并采用不同机制.

作者首先在 $Q_{4\rho}$ 上以支撑于该柱、在 $Q_{2\rho}$ 上等于 $$1$$ 的截断函数代入局部能量不等式, 得到粗尺度 $A(2\rho)$ 控制. 速度项使用 Hölder、不等式插值及 Gagliardo-Nirenberg 型估计, 压力项使用压力振荡与压力梯度的积分控制, 最终结合假设得 $A(2\rho)\le C\varepsilon^{3/5}\rho^{-9/26}$ ; 而 $E(2\rho)$ 由 $|\nabla u|^2$ 的假设直接控制. 这一粗估计不是最终正则性判据, 而是后续从 $2\rho$ 到 $\rho$ 的精化步骤所需的能量输入.

关键创新是对速度作均值-涨落分解

m(t)=u_{B_{2\rho}}(t),\qquad v(x,t)=u(x,t)-m(t),\qquad v_{B_{2\rho}}(t)=0.

由于 $$m$$ 与空间变量无关, 且截断函数在空间边界附近消失, 常向量通量满足 $\int_{B_{2\rho}}|m|^2m\cdot\nabla\varphi\,dx=0$ . 因此三次通量可减去这一常量通量, 并用

\big||u|^2u-|m|^2m\big|\le C\big(|v|^3+|m||v|^2+|m|^2|v|\big)

分成三个可估项. 均值的 $L_t^\infty$ 控制来自 $A(2\rho)$ , 涨落 $$v$$ 的 $L_t^\infty L_x^2$ 控制也来自 $A(2\rho)$ , 而其 $L^2_{t,x}$ 控制则由零均值性质、Poincaré 不等式和 $E(2\rho)$ 给出. 再对 $$v$$ 使用空间 Gagliardo-Nirenberg 不等式并在时间上应用 Hölder, 作者得到

\rho^{-1}\iint_{Q_{2\rho}}|v|^3\le C\rho A(2\rho)^{3/4}E(2\rho)^{3/4},

另外两项分别满足 $C\rho A(2\rho)^{1/2}E(2\rho)$ 和 $C\rho A(2\rho)E(2\rho)^{1/2}$ . 代入粗尺度估计后, 三项均获得正的 $\rho$ 幂次, 从而避免了直接估计平均速度通量所导致的损失.

压力通量分成涨落项与均值项. 对 $$v$$ 部分, 作者先利用套球平均比较, 将假设中的 $\pi-\pi_{B_{4\rho}}$ 控制转移到 $\pi-\pi_{B_{2\rho}}$ . 然后结合空间插值关系

\|\pi-\pi_{B_{2\rho}}\|_{L^2(B_{2\rho})}\le C\|\pi-\pi_{B_{2\rho}}\|_{L^{5/3}}^{1/4}\|\nabla\pi\|_{L^{5/4}}^{3/4},

得到压力振荡的 $L_t^{4/3}L_x^2$ 控制, 再与 $$v$$ 的 $$L_t^4L_x^2$$ 控制配对. 对均值 $$m$$ 部分, 直接 Hölder 估计并不足以体现压力只通过梯度起作用; 作者对空间变量分部积分, 将其改写为含 $m\cdot\nabla\pi$ 的项, 再用 $\nabla\pi\in L^{5/4}$ 和 $$m$$ 的粗尺度界控制. 这一处理也解释了为何判据中必须同时保留压力振荡与压力梯度两类量。

将三类通量和局部能量不等式中的低阶项合并, 得到 $A(\rho)$ 的精化估计. 最后选取依赖尺度的缩小因子 $\theta=\rho^{2/13}$ , 而不是固定的 $\theta$ , 使速度尺度插值式中的 $\theta^2A(\rho)$ 与粗尺度的 $E(\rho)$ 项具有合适幂次. 压力梯度通过既有衰减估计从 $P_{5/4}(\nabla\pi,\rho)$ 转到 $P_{1,3/2}(\nabla\pi,\theta\rho)$ . 这样把新得到的 $$A$$ 估计嵌入已有的一尺度正则性引理, 完成判据. 因此本文并未另行建立全新的局部正则性机制; 其技术贡献集中在均值-涨落分解所带来的精化能量估计及与压力均值项相匹配的分部积分处理。

维数部分则采用标准的分离点覆盖方案. 局部判据的逆否命题给每个奇异点一个大小为 $r^{15/13}$ 的局部积分下界; 极大分离性保证小柱不交, 故下界可以求和而总和由整体可积性控制. 这一步将分析估计中的幂次 $$15/13$$ 直接转换为覆盖数增长率。作者还用 Jensen 不等式控制压力振荡项, 从而保证覆盖求和的右端有限。

4. 与之前工作的比较

本文的背景工作可分为局部正则性判据和奇异集维数估计两条线. 在局部判据方面, Caffarelli-Kohn-Nirenberg 的经典结果包括速度 $$L^3$$ 、压力相关量以及小尺度速度梯度条件; Lin、Ladyzhenskaya-Seregin 等给出相关替代形式. Vasseur、Wang-Zhang、Choi-Vasseur、Guevara-Phuc 以及 He-Wang-Zhou 等工作进一步发展了涉及速度、压力或速度梯度的不同积分条件. 文中列出的代表性单尺度条件包括 $\|u\|_{L^3}+\|\pi\|_{L^{3/2}}$ 足够小, 以及满足一定指数关系的混合范数条件. 本文不是简单替换这些范数后重复正则性推论, 而是给出一个由四种积分密度组成、带有 $\rho^{15/13}$ 阈值的条件, 并通过粗到细尺度估计证明该条件足以导出正则性。其假设显式控制 $|\nabla u|^2$ , $|u|^{10/3}$ 、空间压力振荡的 $$5/3$$ 次幂和 $|\nabla\pi|^{5/4}$ , 与上述仅以单一速度-压力范数表达的判据形式不同。由于范数结构和尺度幂次不同, 不能仅据此断言本文条件对所有既有条件都更弱或更强; 文中没有给出这类一般性的包含关系。

在奇异集维数方面, CKN 得到 Hausdorff 维数不超过 $$1$$ , 但 Hausdorff 维数与上盒维数是不同的量, 且前者不大于后者. Robinson-Sadowski 曾利用一尺度正则性判据得到上盒维数不超过 $$5/3$$ . 随后针对抛物分形维数的研究逐步改进上界: 文中列举 Kukavica 的 $$135/82$$ , Kukavica-Pei 的 $$45/29$$ , Koh-Yang 的 $$95/63$$ , Wang-Wu 的 $$360/277$$ , Ren-Wang-Wu 的 $$975/758$$ , He-Wang-Zhou 的 $$2400/1903$$ , 以及 Wang-Yang 的 $$7/6$$ . 本文报告的 $$15/13$$ 约为 $$1.154$$ , 小于 $7/6\approx1.167$ , 因而相对于文中所述此前较优的 $$7/6$$ 上界, 将数值上界再降低约 $$0.013$$ ; 作者将其描述为进一步略微降低上界。这里的改进是上盒维数估计的改进, 不是对 CKN 的 Hausdorff 维数上界 $$1$$ 的改进。

推进的直接逻辑是先证明新的局部一尺度判据, 再将其逆否命题用于覆盖计数. 奇异点周围每个尺度为 $$r$$ 的柱都必须承载至少 $\varepsilon r^{15/13}$ 的积分量; 对不交柱求和后, 全域有限可积量给出覆盖数 $N_r\lesssim r^{-15/13}$ , 从而得到维数上界. 因此维数改进依赖于局部判据中的具体幂次, 而非另一个独立的几何估计。相较于仅靠小尺度极限条件的论证, 一尺度判据的价值在于能在覆盖论证中直接提供每个奇异点的定量下界。

适用范围与代价也需明确. 定理针对满足局部能量不等式的适定弱解, 结论是内部奇异集的抛物上盒维数估计; 需要柱 $Q_{4\rho}$ 紧含于时空定义域, 因而不是边界正则性结果. 判据要求同时控制四个非负积分项, 特别包含压力梯度, 且小量阈值带有尺度因子 $\rho^{15/13}$ ; 它并非无条件适用的尺度不变小范数判据. 另一方面, 局部正则性证明还依赖先前建立的速度插值、压力梯度衰减和 $\varepsilon$ -正则性引理, 新工作主要改进由原始假设导出精化尺度估计的步骤。论文摘要及所提供正文明确声称改进 Wang-Yang 的结果, 但没有在摘录中逐项比较各类假设之间的逻辑蕴含, 也没有论证 $$15/13$$ 的最优性; 因而不能据此进一步断言该维数界已接近真实奇异集维数或无法继续改进。

9. 具有快速衰减涡量的可压缩平面空腔流的大尺度 Schauder 估计

Schauder estimate in large scale for compressible planar cavity flows with fast-decaying vorticity

作者: Chilin Zhang

类别: math.AP, math-ph

发布日期: 2026-10-13

arXiv ID: 2610.17522v1

摘要翻译: 本文研究具有快速衰减涡量的平面可压缩空腔流，并建立大尺度 Schauder 估计。作为应用，我们得到空腔的先验渐近增长率估计，即 $s^{\frac{1}{2}-δ}\lesssim h(s)\lesssim s^{\frac{1}{2}+δ}$ 。这是迄今为止针对可压缩空腔流最精确的渐近估计；据我们所知，这可能是首篇在渐近分析中考虑涡量的论文。

Comment: 无

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

1. 研究对象和背景

本文研究二维稳态可压缩 Euler 流绕过有限长度鼻形障碍物后形成的空泡自由边界。空泡内视作真空，流体与空泡之间由未知界面分隔；障碍物关于 $$x_1$$ 方向单调，来流及流场关于 $$x_1$$ 轴对称。将问题限制在上半平面后，流体区域记为 $\Gamma_+$ ，其下边界 $\Gamma$ 由障碍物边界和空泡界面 $$x_2=h(x_1)$$ 拼接而成。流体满足稳态可压缩 Euler 方程

\nabla\cdot(\rho u)=0,\qquad \rho u\cdot\nabla u+\nabla p(\rho)=0.

其中 $\rho$ 、 $$u$$ 、 $p(\rho)$ 分别为密度、速度和压强， $$h$$ 表示空泡高度。本文假设无停滞点，并引入流函数 $\psi$ ，使 $\rho u=(\psi_{x_2},-\psi_{x_1})$ 。令 $g=1/\rho$ ，并以 $T=|\nabla\psi|^2$ 、 $z=\psi$ 为变量，则 Bernoulli 关系给出

\frac{T}{2}g(T,z)^2+h\!\left(\frac{1}{g(T,z)}\right)=B(z),

而流函数满足带涡量项的拟线性方程

\nabla\cdot\bigl(g(|\nabla\psi|^2,\psi)\nabla\psi\bigr) =\frac{B'(\psi)}{g(|\nabla\psi|^2,\psi)}.

这里 $$B$$ 是沿流线变化的 Bernoulli 函数；由文中的推导，涡量满足 $\omega=-B'(\psi)/g(|\nabla\psi|^2,\psi)$ 。自由边界上流函数取零，并由空泡处压力为常数及亚声速条件得到 $|\nabla\psi|=\Lambda$ 。因此问题是具有自由边界的拟线性 Bernoulli 型单相问题，而研究的关键未知量不仅包括 $\psi$ ，还包括由 $\{\psi=0\}$ 描述的空泡界面 $$h$$ 。

论文关注的核心问题是空泡在远场如何增长，即确定 $$h(s)$$ 随纵向距离 $$s$$ 的尺度。这个问题既反映流体绕障碍物流动后自由界面的几何形态，也检验可压缩性和旋转效应对远场结构的影响。已有可压缩空泡流结果对增长率的控制较弱；作者指出，此前 [3] 给出的结论是 $$h(r)=o(r)$$ 。另一方面，二维可压缩、带非零涡量空泡流的适定性仍未解决，因此本文不建立全局解存在，而是在满足相应结构条件的解上证明先验估计。论文还假设流场亚声速、无停滞，并以剪切流解 $\Psi(x_2)$ 作为远场参照，通过上下夹逼条件表达渐近平坦性。

本文假设流体状态函数具有所需的二阶正则性，Bernoulli 关系及相容条件成立，存在满足定义 1.1 的剪切流 $\Psi$ ，并要求亚声速范围内拟线性结构保持椭圆性。特别地， $$g$$ 的二阶导数有界，且 $B(0)=\frac{\Lambda^2}{2}g(\Lambda^2,0)^2$ 、 $zB'(z)\to0$ ，并满足文中关于 $B(+\infty)$ 的正极限条件。 $zB'(z)\to0$ 是快速衰减涡量假设所对应的结构条件。作者试图弥补的空白有两方面：一是把可压缩空泡的远场高度从线性次增长推进到接近平方根的幂次范围；二是在拟线性、含涡量情形下，以局部化的大尺度分析得到这一增长结论，而不依赖整个上半平面上的全局流场，也不预先假定空泡具有某个幂律增长形式。

2. 主要定理或主要结果

主要结论均在假设 (A1)-(A6) 下讨论。其结构包括：状态函数和相容关系满足文中要求；存在定义 1.1 的剪切流 $\Psi$ ，其导数有正下界且严格低于声速上界；亚声速区间内 $\partial_T(Tg(T,z)^2)$ 有正下界，保证相应椭圆性； $$g$$ 为二阶函数且 $|D^2g|\le C$ ；Bernoulli 函数满足 $B(0)=\frac{\Lambda^2}{2}g(\Lambda^2,0)^2$ 、 $zB'(z)\to0$ 及文中给出的 $B(+\infty)>0$ 极限条件。

定理 1.1 给出大尺度 Schauder 型估计。存在统一常数 $$C>0$$ 及正函数 $\epsilon(\delta,L,N(0))$ 、 $M(\delta,L,N(0))$ 。给定 $\delta>0$ ，若 $\epsilon\le\epsilon(\delta,L,N(0))$ ，且尺度

R\ge \frac{M(\delta,L,N(0))}{\epsilon},

并且 $\psi$ 在所考虑区域内是亚声速解，满足拟线性方程、 $\psi=0$ 于 $\Gamma$ 、自由边界上 $|\nabla\psi|=\Lambda$ ，以及

\Psi(x_2-\epsilon R)\le \psi(x)\le \Psi(x_2) \quad\text{于 }[-R,R]^2,

则定义缩放后的水平位移

v_R(y)=\frac{\Psi^{-1}(\psi(Ry))-Ry_2}{\epsilon R}, \qquad y\in[-1,1]^2\cap\{\psi(Ry)>0\},

存在 $A_R\in[-K,0]$ ，使得在 $B_{1/2}\cap\{\psi(Ry)>0\}$ 上

\left|v_R(y)-A_R\operatorname{Re}\sqrt{y_1+i\mu y_2}\right| \le K|A_R|\operatorname{Re}\sqrt{y_1+i\mu y_2}\,|y|+\delta.

其中 $$K$$ 为文中常数，且

\mu=\left(\frac{g(V^2,+\infty)}{g(V^2,+\infty)+2V^2g_T(V^2,+\infty)}\right)^{1/2}.

论文说明 $\sqrt{1-\mu^2}$ 对应远场极限马赫数。该估计表明，水平位移在大尺度上由一个各向异性平方根型剖面控制，误差由剖面的 $$|y|$$ 阶修正和任意给定的 $\delta$ 控制。由于自由边界上 $\Psi^{-1}(\psi)=0$ ，位移变量记录了 $$h$$ 的位置，因而该估计可用于推出界面增长率。

定理 1.2 假设 $\psi$ 是定义 1.2 意义下渐近平坦的亚声速、无停滞解，并且 $$h$$ 严格递增，则有文中所述的局部尺度比极限：在 $s,t\to\infty$ 且 $1/2\le s/t\le2$ 的范围内，

\frac{h(s)/h(t)}{\sqrt{s/t}}\longrightarrow 1.

特别地，对每个 $\delta>0$ ，存在 $s(\delta)>0$ ，使得对所有 $s\ge s(\delta)$ ，

s^{\frac12-\delta}\le h(s)\le s^{\frac12+\delta}.

摘要以比较记号写作 $s^{1/2-\delta}\lesssim h(s)\lesssim s^{1/2+\delta}$ 。这是先验结论，并不以带涡量压缩空泡流的全局存在性为前提；文中也指出，在已知存在的无旋情形，它至少适用于相应解。上述结论给出接近平方根的幂次增长，但不应误读为已经证明存在常数 $$c$$ 使 $h(s)\sim c\sqrt{s}$ 。

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

证明的主要困难是方程的主部为依赖 $|\nabla\psi|^2$ 与 $\psi$ 的拟线性算子，同时右端编码涡量。在线性问题中常用的直接线性化分析，作者指出不适用于这里的大尺度论证：在远场缩放中，不能简单把整个非线性主部视作固定线性算子的微小扰动。作者因此围绕剪切流解构造比较对象，并把界面位置转换成相对剪切流的水平位移，最终研究该位移在缩放下的极限形态。

具体而言，定义 $$v_R$$ 衡量流函数相对于 $\Psi(x_2)$ 的水平平移。定理 1.1 的目标不是只给出自由边界的局部光滑性，而是控制该位移在大尺度上的剖面。作者采用 De Silva 的 improvement of flatness 思路，并将其用于远场渐近预测：先以剪切流夹逼提供初始平坦性，再通过尺度放大和大尺度估计识别位移的主导形态。论文称该结论为“大尺度 Schauder 估计”，以区别于通常用于界面正则性或整个空间 Liouville 定理的 flatness 改进框架。

构造拟线性方程的障碍比较函数，是这一框架的关键环节。作者采用 Savin 的常微分方程方法，对剪切流解进行变形以构造径向障碍函数。其作用是利用方程自身的结构处理非线性主部，而不是依赖将压缩旋转流直接线性化为拉普拉斯方程附近的扰动。论文特别强调，这种 ODE 变形使带涡量的可压缩情形与无旋不可压缩情形在障碍构造上具有相近的处理方式。附录 A 被说明为包含相应 ODE 分析和变形的证明细节；但所提供文本没有给出该附录中的具体障碍函数公式或误差推导，因此不能进一步确认其逐项构造。

另一个核心环节是 blow-down 极限的边界条件并非标准的单一 Neumann 条件。缩放后的极限函数在底边左侧 $[-1,0]\times\{0\}$ 满足 Dirichlet 条件，在右侧 $[0,1]\times\{0\}$ 满足 Neumann 条件。作者利用 De Silva-Savin 关于此类混合边界数据的边界 Harnack 原理，识别极限剖面为与

\operatorname{Re}\sqrt{y_1+i\mu y_2}

相应的平方根型函数。参数 $\mu$ 反映极限线性化的各向异性，并由远场 $$g$$ 及其 $$T$$ 导数显式确定。论文进一步指出，此混合边界问题与 Caffarelli-Silvestre 延拓所联系的 $(-\Delta)^{1/2}$ 有关；正的半调和函数在正半轴取零外部数据时具有 $(x_+)^{1/2}$ 型行为。这为平方根剖面的出现提供结构解释，但该解释本身不能替代定理中的估计。

证明组织上，文中先建立 Harnack 原理，再证明 Schauder 估计及定理 1.1，最后由位移剖面推导定理 1.2。目录还说明附录 B 处理水平方向的最大值原理，附录 C 研究线性化方程并建立内部 Harnack 原理及渐近剖面。这些工具分别用于控制解的水平变化、获得缩放极限所需的紧致性或比较信息，以及识别极限的边界渐近形式。由于提供的 PDF 摘录未包含第 3 至第 5 节和各附录的完整证明，具体迭代步骤、常数依赖、关键引理的完整陈述及误差传递方式从提供内容中无法确认，不宜作更细节的断言。

4. 与之前工作的比较

可压缩空泡增长率方面，作者将本文与 Alt-Caffarelli-Friedman [3] 的结果直接比较。[3] 给出的远场控制为 $$h(r)=o(r)$$ ，即排除线性阶增长，但没有确定更精细的幂次。本文在附加结构假设、亚声速和渐近平坦条件下得到 $$h(s)$$ 的平方根上下幂次界，并给出受限尺度比下的局部渐近关系，因此对增长率的刻画显著加强。代价是结论为先验估计：可压缩且带涡量空泡流的适定性仍未解决，定理并未构造满足全部假设的全局解。

关于其他空泡渐近问题，Levinson [15] 研究的是不可压缩三维轴对称空泡，得到带对数修正的平方根型估计

\frac{\sqrt r}{(\ln r)^{1/4+\epsilon}} \le h(r)\le \frac{\sqrt r}{(\ln r)^{1/4-\epsilon}}.

但其推导依赖幂律加缓慢变化因子的形式渐近假设，且相关积分收敛性后来被指出存在问题。[16] Li-Lin-Weiss-Xie 通过势论约化为常微分方程，严格建立相应渐近，证明渐近剖面的刚性并构造具有该行为的解。上述工作针对不可压缩三维轴对称问题，且依赖积分方程的线性结构；本文处理的是二维可压缩拟线性问题并包含涡量，结论为 $1/2\pm\delta$ 幂次范围，而非上述对数修正形式。两类结果的维数、对称性、方程结构和假设均不同，不能简单视作彼此替代或直接比较精度。

方法上，Kriventsov-Weiss [13] 提出了适用于拟线性主部的稳健势论分析，在其研究范围内并不把拟线性项当作线性算子的扰动。本文面对的具体对象是带自由边界、带涡量的压缩空泡问题，作者改用剪切流变形的径向障碍及大尺度 flatness 估计，目标是得到界面增长而非仅刻画某类整个空间解。De Silva [10] 的 improvement of flatness 原用于界面正则性；作者称本文将这一思路用于预测整个解的远场渐近行为。极限问题又不同于 [10] 中的边界条件，而是底边 Dirichlet-Neumann 混合条件，故需要借助 De Silva-Savin [11] 的边界 Harnack 原理识别平方根剖面。

旋转流研究方面，Cheng-Du-Zhang [9] 建立了无限长通道中二维不可压缩非零涡量空泡流的存在唯一性，但未处理可压缩情形及自由边界增长率。Li-Shi-Tang-Xie [17] 研究的是二维可压缩旋转射流而非空泡流，因此其结论不能直接提供本文的空泡渐近。Wang [22] 的工作涉及二维可压缩亚声速空泡流的适定性及远场性质，但本文引言摘录没有进一步说明其涡量假设及与本文定理假设的逐项关系；更细的比较从提供内容中无法确认。Berg [5] 提供可压缩无旋流存在性背景，本文也据此指出其先验估计至少有无旋情形可适用，但本文不以该存在性结果推出一般带涡量解的存在。

中文标题: 分形时间上的正交归一 Strichartz 估计

摘要翻译: 我们研究初值正交归一族的 Strichartz 估计，其中时间积分是相对于一个 $$α$$ 维 Frostman 测度 $$μ$$ , $0<α\le1$ 进行的，系数以 $\ell^β$ 度量。对于分数阶薛定谔方程、波方程和 Klein–Gordon 方程，我们在可容许区域内获得正交性增益，并得到关于 $$β$$ 的必要条件。对于分数阶薛定谔方程，这些指数除一个端点外都是尖锐的；阈值 $$β=q/2$$ 的最优性要求 $$μ$$ 是 Ahlfors 正则的。对于维数为 $d\ge2$ 的薛定谔方程，我们证明了一个 Lorentz 端点估计；并且，若 $$d>2α$$ ，则对于每一对满足

中文标题: $\mathbb R$ 中的三次非线性薛定谔系统与正交归一费米子基态

摘要翻译: 我们研究一维非线性薛定谔系统

-u_i''-2\Big(\sum_{k=1}^N u_k^2\Big)^{p-1}u_i=μ_i u_i \quad \mbox{in } \ \mathbb R,\ \ i=1,2,\cdots,N, \tag{S}

，其中 $u=(u_1,\cdots,u_N)\in H^1(\mathbb{R})^N$ 、 $μ_1\leqμ_2\leq\cdots\leqμ_N<0$ 、 $$1<p<3$$ 和 $N\geq 2$ 均为任意的。对于满足 $$p=2$$ 和 $N\ge 2$ 的三次情形，我们建立了系统 $$(S)$$ 的以下结构性结果：(i) 所有非平凡解均可被完全分类；(ii) 任意非平凡解处的线性化算子均非退化；(iii) 我们根据不同的拉格朗日乘子 $$μ_i$$ ，推导出所有非平凡解的精确 $$L^2$$ -质量公式。作为上述结构性结果的应用，我们首先证明，对于任意 $N\ge2$ ，满足 $$p=2$$ 的系统 $$(S)$$ 不存在正交归一解。随后，我们研究满足 $N\ge2$ 的一个费米子变分问题 $$J_N(p)$$ ，其极小化子对应于带正交归一约束的系统 $$(S)$$ 的基态。更准确地说，我们证明存在充分小的 $$δ_N>0$$ ，使得对于任意 $p\in(2-δ_N,2)$ ， $$J_N(p)$$ 均可达到；而对于任意 $p\in[2,2+δ_N)$ ， $$J_N(p)$$ 均不可达到。这些结果解决了 [Gontier–Lewin–Nazar, ARMA, 2021] 和 [Frank–Gontier–Lewin, CMP, 2021] 中的一些猜想。

11. 渐近平坦时空中有质量 Klein–Gordon 场的经典与量子散射

Classical and quantum scattering of massive Klein–Gordon fields in asymptotically flat spacetimes

作者: Mikhail Molodyk

类别: gr-qc, math-ph, math.AP

发布日期: 2026-10-13

arXiv ID: 2610.17819v1

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

摘要翻译

中文标题: 渐近平坦时空中有质量 Klein–Gordon 场的经典与量子散射

摘要翻译: 我们利用微局部工具，为非陷获渐近平坦时空中有质量 Klein–Gordon 场的量子理论定义优选的入射与出射真空态，其中包括 Minkowski 时空的辐射扰动。这些渐近真空态满足 Hadamard 条件，且入射与出射粒子表象酉等价，换言之，量子 S 矩阵是良定义的。这些结果基于对经典场散射的描述，该描述追踪 Klein–Gordon 方程解在渐近意义下正频与负频之间的区别。我们着重于发展这一理论，而不诉诸经典波的显式渐近展开。

12. $$s$$ -薛定谔映射在 $n \geq 5$ 中的全局存在性

Global existence of the $$s$$ -Schrödinger maps in $n \geq 5$

作者: Ahmed Dughayshim, Armin Schikorra

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.17668v1

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

摘要翻译

中文标题: $$s$$ -薛定谔映射在 $n \geq 5$ 中的全局存在性

摘要翻译: 我们研究 $$s$$ -薛定谔映射方程

\begin{cases} \partial_t u = -u \wedge (-Δ)^s u \quad \text{on } \mathbb{R}^n \times \mathbb{R}\\ u: \mathbb{R}^n \times \mathbb{R} \to \mathbb{S}^2\\ u(x,0) = u_0. \end{cases}

。对于 $s \in (1/2,1)$ 和 $n \geq 5$ ，我们证明，对于临界 Besov 空间中的小初始数据 $$u_0$$ ，可以得到一个整体解。

13. 带幂次扰动的对数薛定谔方程在 $\mathbb{R}^N$ 中的基态：存在性、唯一性与非退化性

Ground states of a logarithmic Schrödinger equation with a power perturbation in $\mathbb{R}^N$ : existence, uniqueness and nondegeneracy

作者: Jinqi Yan, Bo You

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.17766v1

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

摘要翻译

中文标题: 带幂次扰动的对数薛定谔方程在 $\mathbb{R}^N$ 中的基态：存在性、唯一性与非退化性

摘要翻译: 本文旨在研究以下薛定谔问题

中文标题: 几何粗糙路径的高阶抛物控制演算

摘要翻译: 我们研究粗糙微分方程

\frac{du_t}{dt}= F(u_t) ζ_t, \ \ u(0) = u_0 \in \mathbb{R}^d,

其中， $F : \mathbb{R}^d \to L(\mathbb{R}^d, \mathbb{R}^d)$ 是一个正则性充分高的向量场，噪声 $$ζ$$ 是 $\mathscr{C}^{α-1}(\mathbb{R})$ 中的一个分布（当 $α\in (\frac{1}{4}, \frac{1}{3})$ 时）。借助 Bailleul-Bernicot 高阶抛物控制观点中的思想，我们在比 Gubinelli-Imkeller-Perkowski 和 Prömel-Trabs 的先前工作更低的正则性下构造了该方程的解。我们工作的关键工具是建立一个调和分析框架，以证明解理论所必需的一组迭代交换子估计。我们还展示了噪声为 $$ζ= dZ$$ 时的增强过程，其中 $$Z$$ 是 Hurst 参数为 $H \in (\frac{1}{4}, \frac{1}{3})$ 的分数布朗运动的一个实现。

17. 基于傅里叶衰减的双曲曲面共振计数与谱隙

Resonance counting and spectral gaps for hyperbolic surfaces via Fourier decay

作者: Louis Soares

类别: math.SP, math.AP

发布日期: 2026-10-12

arXiv ID: 2610.17276v1

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

摘要翻译

中文标题: 基于傅里叶衰减的双曲曲面共振计数与谱隙

摘要翻译: 我们证明了无限面积凸共紧双曲曲面的共振满足一个改进的分形 Weyl 上界，该上界以极限集的 Hausdorff 维数和 Patterson–Sullivan 测度的傅里叶衰减指数表示。此上界还给出了这些曲面本质谱隙的一个更精细的上界。

18. 具有指数临界增长的磁性非线性薛定谔方程的多峰解（ $\mathbb{R}^{2}$ ）

Multi-peak solutions for a magnetic nonlinear Schrödinger equation with exponential critical growth in $\mathbb{R}^{2}$

作者: Pietro d’Avenia, Chao Ji, Qingyue Li

类别: math.AP

发布日期: 2026-10-12

arXiv ID: 2610.17250v1

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

摘要翻译

中文标题: 具有指数临界增长的磁性非线性薛定谔方程的多峰解（ $\mathbb{R}^{2}$ ）

摘要翻译: 本文研究以下磁性非线性薛定谔方程

\left(\frac{\varepsilon}{i}\nabla-A(x)\right)^{2}u+V(x)u=f(|u|^{2})u\,\ \text{in}\,\ \mathbb{R}^{2},

，其中 $\varepsilon>0$ 是一个参数， $A\in C(\mathbb{R}^{2}, \mathbb{R}^{2})$ 是磁势， $V\in C(\mathbb{R}^{2}, \mathbb{R})$ 是多阱势，而 $f\in C^1(\mathbb{R}, \mathbb{R})$ 具有指数临界增长。通过变分方法和惩罚技术，我们证明了当 $\varepsilon>0$ 充分小时非平凡解的存在性与多重性。此外，若 $A\in C^1(\mathbb{R}^2,\mathbb{R}^2)$ ，我们证明这些解具有多个峰，并刻画了它们的集中行为和指数衰减。

19. 当可积性失效时，还剩下什么？K(m,m) 紧支波方程中的数学结构

What remains when integrability fails? Mathematical structure in the K(m,m) compacton equations

作者: James M. Hyman

类别: math.AP, math.DS

发布日期: 2026-10-12

arXiv ID: 2610.17489v1

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

摘要翻译

中文标题: 当可积性失效时，还剩下什么？K(m,m) 紧支波方程中的数学结构

摘要翻译: Peter Lax 于 1968 年发现，某些非线性波方程具有算子对（Lax 对），由此开创了完全可积系统理论，并带来了精确解、无穷守恒律层级以及完全弹性的孤子碰撞。当一个非线性色散方程可被证明是非可积的（即不存在 Lax 对，且只有有限多个守恒律）时，是什么数学结构支配着它的动力学？ K(m,m) 紧支波方程 u_t + (u^m)x + (u^m){xxx} = 0 for m >= 2 为此提供了一个试验平台：它们支持紧支集行波，却未能通过任何已知的可积性检验。我们证明了普适的代数公式，这些公式确定了每个 K(m,m) 紧支波的形状、宽度和速度。我们提出一种约束亏缺机制，用以解释五个独立守恒律如何约束涌现振幅，并抑制碰撞残余中的基频 Fourier 模态，同时使较高辐射模态仍不受约束。该机制的结论建立在明确的假设之上，并得到数值证据的支持。相平面分析揭示，紧支波是光滑孤立波的奇异极限，这一极限通过正则性丧失与支集紧化同时发生而形成。这些结果勾勒出可积性秩序与一般非线性动力学之间的中间区域，其组织原则是尺度普适性以及有限守恒结构中的约束亏缺。

20. 通过保持不变量的有限差分方法对一维立方 NLS 中的孤子-势相互作用进行建模

Modeling soliton-potential interactions for the 1-D cubic NLS via an invariant-preserving finite-difference method

作者: Anthony D. Stone, Christopher C. Hogan

类别: math.AP

发布日期: 2026-10-12

arXiv ID: 2610.17486v1

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

摘要翻译

arXiv ID: 2610.18483v1

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

摘要: We consider the linear operator for metamaterial modeling

L_{c,d }=(χ_{\RE^{3}\backslash\overline Ω}+c)\nabla\!\cdot (χ_{\RE^{3}\backslash\overline Ω}+d)\nabla\,,

where the material parameters $$c>0$$ and $$d$$ are constant on each connected component of the bounded domain $$Ω$$ , $$d$$ is negative on at least one component of $$Ω$$ and transmission boundary conditions hold at the interfaces. It turns out that $L_{c,d }$ has, as in the sign-definite case, an absolutely continuous spectrum equal to $[0,+\infty)$ ; however, contrary to the latter, it has a non-empty point spectrum; in particular, we find conditions on the parameters so that zero is a threshold eigenvalue. In the case $$Ω$$ is connected, we study how such a threshold eigenvalue behaves under $\varepsilon$ -small analytic perturbations of the parameters. We show that, depending on the position of the number $\frac12\,\frac{1+d(\ve)}{1-d(\ve)}$ relative to the nearest eigenvalue of the Neumann-Poincaré operator of the interface, the zero eigenvalue splits into two branches (analytic in $\varepsilon^{1/2}$ ), consisting either of two branches of resonances, or of one branch of negative eigenvalues and one of resonances.

8. 各向异性 Weyl 定律与格拉斯曼流形上的均匀分布

The anisotropic Weyl law and Grassmannian equidistribution

作者: Antonio De Rosa, Aria Halavati

类别: math.DG, math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18599v1

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

摘要: We establish a Weyl law for the codimension-one anisotropic volume spectrum on compact Riemannian manifolds. We then use this law to obtain equidistribution in the full Grassmannian bundle while keeping the ambient metric fixed. More precisely, on every closed connected smooth Riemannian manifold of dimension three through six, we construct smooth, embedded hypersurfaces stationary for anisotropies smoothly converging to area. The cumulative sum of their area measures, when lifted to the Grassmannian bundle, converges to the uniform measure.

9. 动态黏弹性膜

Dynamic viscoelastic membranes

作者: Martin Kružík, Riccardo Voso

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18466v1

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

摘要: We rigorously derive a dynamic membrane theory for nonlinear viscoelastic solids with Kelvin-Voigt rheology from the corresponding three-dimensional bulk theory, in the limit of vanishing thickness. The bulk model accounts for inertia, a nonsimple elastic energy depending on the second deformation gradient, and a frame-indifferent dissipation. Orientation preservation is ensured by the energy, while self-interpenetration of the limiting membrane is prevented by a uniform averaged invertibility condition. Our analysis relies on a hyperbolic minimizing movements scheme with two time-scales, which recasts the evolution into a hierarchy of incremental, sequential, and time-delayed problems. For fixed thickness, we prove the existence of solutions to the scheme and their convergence to a weak solution of the continuous-time problem as the time-scales vanish. We then identify the membrane limit at each level of the hierarchy, proving the $$Γ$$ -convergence of the incremental functionals and the convergence of solutions to the sequential and time-delayed problems. Since the constant in the Korn inequality is not uniform in the thickness, these limits rely on estimates for the time derivative of the Cauchy-Green tensor rather than for the velocity gradient. Finally, as the outer time-scale vanishes, the membrane time-delayed solutions converge to a measure-valued solution of the membrane continuous-time problem.

10. 法布里–珀罗共振的频率依赖电容矩阵表述。第二部分：一维周期介质

Frequency-dependent capacitance matrix formulation for Fabry–Pérot resonances. Part II: One-dimensional periodic media

作者: Habib Ammari, Bowen Li, Ping Liu, Yingjie Shao

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18341v1

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

摘要: We study Bloch resonances of one-dimensional periodic systems of high-contrast resonators beyond the subwavelength regime. An exact transfer-matrix formulation identifies the limiting wavenumbers with the union of the interior Neumann frequencies and the Dirichlet frequencies of the separating intervals. At each fixed reference wavenumber, we introduce a periodic frequency-dependent capacitance matrix whose positive eigenvalues determine all leading square-root splittings in the contrast parameter. A direct cyclic matching expansion proves the approximation, including multiple eigenvalues and small complex contrasts. A spectral exclusion result outside the limiting set yields a direct bandgap statement. At a common resonance of all intervals, we also derive uniform eigenmode approximations and distinguish the zero-frequency mode from nonzero double Bloch eigenvalues. For positive contrast, exact linear crossings are characterized by the monodromy matrix being proportional to the identity. A complete local classification is obtained for two resonators per cell and, through band folding, for fully symmetric arrays with any number of resonators per cell. We further formulate the weighted Zak phase for isolated bands and its quantization under reflection symmetry. Explicit two-resonator formulas and numerical illustrations complement the analysis.

11. 多相障碍型问题中的三重交汇点

Triple Junctions in Multi-Phase Obstacle type Problems

作者: Daniela De Silva, Ovidiu Savin, Henrik Shahgholian

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18270v1

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

摘要: We study the regularity of the free boundary for a multi-phase obstacle-type problem associated to quadrature domains, which arises from the minimization of the energy

J(U,F):= \int_{B_1} (\frac 1 2 |\nabla U|^2 + F \cdot U)dx

among all competitors $U=(u^1,\ldots, u^N)$ with non-negative components $u^i \geq 0$ with disjoint supports, and constant forcing terms $$f^i>0.$$ We focus on the geometry of the free boundary at points where at least three distinct components meet (triple junctions).

12. Hessian 商方程的 $$k$$ -凸解的内部 Hessian 估计

Interior Hessian estimates for $$k$$ -convex solutions of Hessian quotient equations

作者: Zhisu Li, Ke Wu

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18252v1

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

摘要: We study interior Hessian estimates for $$k$$ -convex solutions of Hessian quotient equations $\frac{σ_k(D^2u)}{σ_\ell(D^2u)}=1$ with $2\leq k\leq n$ , $0 \leq \ell < k$ , and $k-\ell \in\{1,2\}$ . We first adopt the unified quantitative separation-propagation method of Li–Wu [LW26b] to derive a doubling inequality, and then use the compactness argument of Shankar–Yuan [SY25] to obtain the estimates. This approach also applies to a class of general Hessian equations.

13. 闭4维流形上的T^2-不变爱因斯坦度量

T^2-invariant Einstein metrics on closed 4-manifolds

作者: Kyle Broder, Ramiro A. Lafuente

类别: math.DG, math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18219v1

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

摘要: We construct $$T^2$$ -invariant Einstein metrics with positive Ricci curvature on #_m(S^2 x S^2) for every integer $$m>1$$ . These provide infinite family of Einstein metrics on closed $$4$$ -manifolds with $$λ>0$$ , which are in addition not Hermitian. We further establish the uniqueness of the $$T^2$$ -invariant Einstein metrics on $$S^4$$ , CP^2, S^2 x S^2, and CP^2#\bar{CP}^2.

14. 临界向量值 $$p$$ -拉普拉斯问题的 Sobolev 极小化子

Sobolev Minimizers for Critical Vectorial $$p$$ -Laplacian Problems

作者: Simone Mauro

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.18002v1

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

摘要: We study minimizers of the optimal Sobolev quotients for the critical embeddings $D^{1,p}(\mathbb R^N;\mathbb R^m)\hookrightarrow L^{p^*}(\mathbb R^N;\mathbb R^m)$ and $W^{1,p}(Ω;\mathbb R^m)\hookrightarrow L^{p^*}(Ω;\mathbb R^m)$ . In the whole space, we classify all minimizers as $\boldsymbol u=\boldsymbol c\,U_{δ,x_0}$ , where $\boldsymbol c\neq\boldsymbol0$ and $U_{δ,x_0}$ is an Aubin–Talenti bubble. On bounded domains and for $$λ>0$$ , we equip $W^{1,p}(Ω;\mathbb R^m)$ with $\|\boldsymbol u\|_λ^p :=\int_Ω \bigl(|D\boldsymbol u|^p+λ|\boldsymbol u|^p\bigr)$ . Using scalar attainment results, we establish existence and synchronization of vectorial minimizers. At resonance, we consider the pure Neumann problem $-\boldsymbolΔ_p\boldsymbol u =|\boldsymbol u|^{p^*-2}\boldsymbol u\ \text{in }Ω.$ For the associated quotient, we prove existence and global $C^1(\overlineΩ)$ regularity of minimizers. Finally, we prove synchronization of radial solutions and deduce symmetry breaking on balls.

15. 碎冰问题的特征值涨落

Eigenvalue fluctuations for the crushed ice problem

作者: Marek Biskup, Ryoki Fukushima

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

发布日期: 2026-10-13

arXiv ID: 2610.18013v1

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

摘要: We study the eigenvalues of the negative Dirichlet Laplacian $$-Δ$$ in domain $D_{ε,N}$ obtained by removing $$N$$ Euclidean balls of radius $$ε$$ from a bounded open set $D\subseteq\mathbb R^d$ ( $d\ge2$ ). It is known that, for the balls centered at points drawn independently from a distribution with probability density $$ρ$$ and for $N\to\infty$ and $ε\downarrow0$ so that the aggregate Newtonian capacity of the removed balls tends to some $$κ>0$$ , the eigenvalues of $$-Δ$$ in $D_{ε,N}$ homogenize to those of the Schrödinger operator $$-Δ+κρ$$ in $$D$$ . Here we prove that, for the eigenvalues that are simple in the limit, a multivariate Central Limit Theorem holds in all $d\ge2$ under centering by expected values. Unlike earlier work in $$d=3$$ by Figari, Orlandi and Teta and, independently, Ozawa from 1980s that was based on resolvent expansions, we rely on martingale representations and one-ball perturbation asymptotic controlled by methods of harmonic analysis.

16. 通过非线性共振级联实现非相对论量子电动力学中受限玻色子的玻色–爱因斯坦凝聚的动力学形成与熵消失

Dynamical BEC formation and vanishing entropy for trapped bosons in non-relativistic QED via nonlinear resonance cascades

作者: Thomas Chen, Ali Mezher

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

发布日期: 2026-10-13

arXiv ID: 2610.17923v1

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

摘要: The dynamical formation of a complete Bose-Einstein condensate and the asymptotic purification of trapped bosons coupled to a quantized radiation field are rigorously established. By tracking the macroscopic one-particle density matrix $$κ_T$$ through a nonlinear resonance cascade, it is demonstrated that radiative relaxation irreversibly depletes all excited trap modes, even when the initial macroscopic state $$κ_0$$ is genuinely mixed. Here $$κ_T$$ is an average, with respect to a de Finetti measure $$μ_0$$ , over mean-field particle-field orbits, so that the mixedness of $$κ_0$$ reflects a statistical ensemble of orbits. Under the assumptions of a non-vanishing initial ground state component and strictly positive downward Fermi-Golden-Rule rates, strong trace-norm convergence to a pure condensate is proven,

\lim_{T\to\infty} \| κ_T-|χ_0\rangle\langleχ_0| \|_{\mathfrak{S}_1(\mathfrak{h})} = 0 \, .

Furthermore, the von Neumann entropy of the macroscopic one-particle density matrix is shown to vanish asymptotically,

\lim_{T\to\infty}S[κ_T]=0 \, ,

without any claim of monotonicity in $$T$$ . Thus, any initially mixed, positive-entropy state ( $0<S[κ_0]<\infty$ ) is purified to the ground state $|χ_0\rangle\langleχ_0|$ . For the proof, we derive the Hartree hierarchy of the coupled system of bosons and photons from the finite- $$N$$ BBGKY hierarchy of the microscopic quantum many-body system, establishing trace-norm convergence in the mean-field limit as $N\to\infty$ . The limits are taken successively; first $N\to\infty$ , then the weak-coupling limit, and finally $T\to\infty$ . Although the global particle-field evolution remains unitary, the macroscopic one-particle state converges to a pure state as energy and correlations are continuously radiated into the dispersive field.

17. 整个欧氏空间中各向异性椭圆方程正解的存在性

Existence of positive solutions to anisotropic elliptic equations in the entire Euclidean space

作者: Rulong Xie, Hailian Wang, Lei Yang

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.17601v1

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

摘要: In this paper, we research an anisotropic elliptic equation in the entire Euclidean space R^{N} . Under the assumption that the nonlinearity of the equation has exponential or critical growth, we prove, by means of the mountain-pass theorem, that the equation admits a nontrivial positive weak solution. Moreover, applying the mountain-pass theorem and Ekeland’s variational principle, we show that a perturbation of the equation possesses two distinct positive weak solutions.

18. $L^{\infty}$ 电导率下的分数阶 Calderón 问题

Fractional Calderón problem with $L^{\infty}$ -conductivities

作者: Gunther Uhlmann, Philipp Zimmermann

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.17524v1

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

摘要: We study the inverse problem for the fractional conductivity equation with uniformly elliptic conductivities $γ\in L^\infty(\mathbb R^n)$ . For every $n\geq1$ and $$0<s<1$$ , we prove that the local exterior Dirichlet-to-Neumann map on any nonempty open subset of the exterior of a bounded open domain determines $$γ$$ uniquely almost everywhere in $\mathbb R^n$ . No continuity, Sobolev regularity, or prescribed behavior at infinity is required. The proof works directly with the conductivity bilinear form and avoids the fractional Liouville reduction. It combines exterior determination at Lebesgue points, equality of weighted solutions, and a unique continuation principle for the fractional Laplacian in the weighted class

L_s=\left\{ g\in L^1_{\mathrm{loc}}(\mathbb R^n): \int_{\mathbb R^n} \frac{|g(x)|}{1+|x|^{n+2s}}\,dx<\infty \right\}.

Specifically, if $g\in L_s$ and both $$g$$ and $$(-Δ)^s g$$ vanish in a nonempty open set, with the latter equality understood distributionally, then $$g=0$$ almost everywhere. This result requires neither local boundedness nor Sobolev regularity of $$g$$ . Its proof uses the Caffarelli–Silvestre extension and boundary unique continuation for the associated degenerate elliptic equation.

19. 逆蒙日–安培问题中粗糙源项的恢复

Recovery of Rough Sources in the Inverse Monge–Ampère Problem

作者: Gunther Uhlmann, Philipp Zimmermann

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.17519v1

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

摘要: We prove that every nonnegative source $f\in L^1(Ω)$ in the Monge–Ampère equation

\det D^2u=f\quad\text{in }Ω,

on a bounded uniformly convex $C^{1,1}$ domain $Ω\subset\mathbb R^n$ , $n\geq2$ , is uniquely determined by generalized boundary measurements of Alexandrov solutions. The measurement is the extremal boundary slope, which extends the outward normal derivative and may equal $+\infty$ . For each $ω\in\mathbb S^{n-1}$ , it suffices to know these slopes for the cylindrical Dirichlet data

\frac{t_k^ω}{2}|P_ωx|^2,\qquad t_k^ω\to\infty,

along any sequence of amplitudes, where $$P_ω$$ projects onto $ω^\perp$ . The boundary value and extremal slope determine the interior subgradient image up to a Lebesgue null set. An exact change-of-variables formula and a large-amplitude limit then recover the Euclidean X-ray transform of $$f$$ , yielding uniqueness without a positive lower bound on the source. For nonnegative $L^\infty$ sources, the extremal slopes are bounded and coincide with the interior normal derivatives, giving a Dirichlet-to-interior-Neumann formulation. The argument also extends to

\vartheta(\nabla u)\det D^2u=f,

where the known weight $\vartheta$ is locally integrable, Borel measurable, and bounded below by a positive constant. Conditional on existence of the corresponding Alexandrov solutions, the same cylindrical boundary-slope data determine every nonnegative $$L^1$$ source.

20. 在 R^n 上由乘性噪声驱动的分数阶反应-扩散方程不变测度的大偏差

Large Deviations of Invariant Measures of Fractional Reaction-Diffusion Equations Driven by Multiplicative Noise on R^n

作者: Bixiang Wang, Lu Yang

类别: math.PR, math.AP

发布日期: 2026-10-12

arXiv ID: 2610.17491v1

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

摘要: In this paper, we establish large deviations of invariant measures for fractional stochastic reaction-diffusion equations with polynomial reaction term driven by unbounded multiplicative noise on R^n. Under a dissipativity condition, we first prove the Freidlin-Wentzell large deviation principle of solution trajectories uniformly over all initial data in L^2(R^n). The key ingredient is a positive-time L^\infty-estimate for differences of controlled solutions which is independent of all initial data and hence yields uniform convergence of controlled stochastic solutions over the entire tphase space. Then using the uniform trajectory estimates, contraction and a second-moment estimate, we further prove the large deviations of invariant measures of the equation with a good quasipotential without introducing weighted spaces or establishing exponential tightness. The non-compactness of Sobolev embeddings in R^n is circumvented by uniform spatial tail-ends estimates. This is the first result on large deviations of invariant measures of the equation with multiplicative noise on unbounded domains.

21. 开放波导网络的菲涅耳散射

Fresnel scattering for open waveguide networks

作者: Solomon Quinn, Charles L. Epstein

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

发布日期: 2026-10-12

arXiv ID: 2610.17398v1

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

摘要: This paper concerns the Helmholtz scattering problem for open waveguide networks, extending the analysis from [arXiv:2302.04353, arXiv:2310.05816, arXiv:2401.04674] to plane-wave incident data. We first reduce the problem to a Fredholm second-kind integral equation on an infinite interface. This produces an integral representation of the solution to the original scattering problem, which is then used to obtain detailed asymptotic estimates of the solution at infinity. To leading order and away from the waveguides, the scattered field is itself a plane wave. Its amplitude and phase shift exhibit a jump across a critical polar angle depending on the direction of the incident plane-wave. Our estimates also imply that the scattered field is outgoing in a weak sense, allowing us to establish a uniqueness result. We conclude by calculating the waveguide-mode contributions to the scattered field in a perturbative regime.

22. 具有临界 Morrey 型漂移项的动力学随机微分方程与动力学 Fokker–Planck 方程及局部爆破

Kinetic SDEs and kinetic Fokker-Planck equations with critical Morrey-type drifts, and local blow-ups

作者: Jean-François Jabir, Damir Kinzebulatov, Chengjun Yue

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

发布日期: 2026-10-12

arXiv ID: 2610.17319v1

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

摘要: We develop a Sobolev theory for the kinetic Fokker-Planck equation subject to a singular Morrey-form $L^\infty+M^q_K$ force field which can produce local blow-ups due to strong attraction to a submanifold. Our approach is based on the fractional representation for the Duhamel series of the equation and on establishing kinetic Adams-type estimates. Accordingly, we construct weak solutions of Brownian-driven kinetic SDEs in a critical Morrey set-up, obtain kinetic Krylov-type estimates and a strongly continuous Feller propagator, and establish uniqueness criteria for a large class of weak solutions.

23. 周期共振薄结构上 Neumann 拉普拉斯算子的范数预解式渐近行为

Norm-resolvent asymptotics for the Neumann Laplacian on periodic resonant thin structures

作者: Kirill Cherednichenko, Chuanjie Wu

类别: math.AP

发布日期: 2026-10-12

arXiv ID: 2610.17294v1

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

摘要: We consider the Neumann Laplacian on a three-dimensional periodic network of thin rods with edge thickness of order $$h$$ and vertex diameter of order $h^{2/3}$ . We extend the fixed-graph resonant reduction to obtain a finite- $$h$$ periodic graph approximation with generalised norm-resolvent error $$O(h)$$ , uniformly in the Floquet quasi-momentum. An exact gauge transformation identifies the phase-corrected graph fibres with the canonical lattice Floquet fibres, giving the same rate for the global operators. Collapsing the contact points while retaining the ambient edge tangents gives an approximation with error $O(h^{2/3})$ . The proof uses a Ryzhov boundary triple and a Schur–Feshbach reduction. The estimates yield quantitative approximation of Bloch bands and stability of open gaps on bounded energy intervals. For the simple-cubic lattice, we refine the known resonant dispersion calculation to obtain a complete band-gap decomposition and $$O(h)$$ control of the persistence of each fixed finite collection of gaps in the thin structure.

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

1. 具有无限能量初值的 Navier–Stokes 方程光滑解的整体存在性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 对数正则化 $2$ 欧拉方程的尖锐整体适定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. Ruggeri松弛型 Navier-Stokes-Fourier 方程的统一衰减#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. L^2_uloc 空间中二维不可压 Navier-Stokes 方程有界解的稳定性分析#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 含真空态的气体动力学多维中心稀疏波#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 有界密度下二维可压缩 Navier-Stokes 方程解的唯一性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 扩张环域中定常 Navier–Stokes 方程的消失黏性极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

8. 三维 Navier-Stokes 方程的一个 $\eps$-正则性判据及内部奇异集盒维数上界的改进#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

9. 具有快速衰减涡量的可压缩平面空腔流的大尺度 Schauder 估计#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 布朗 Fleming-Viot 系统的分枝爆炸#

摘要翻译#

2. 可分Banach空间上的 Hamilton–Jacobi 方程的黏性解#

摘要翻译#

3. 具有高阶零条件和短脉冲初始数据的二维拟线性波方程光滑解的爆破#

摘要翻译#

4. Beckner 共形对数 Sobolev 不等式尖锐稳定性常数的达到#

摘要翻译#

5. 具有滞回和颤振的单向压力无关阀门#

摘要翻译#

6. 阻尼二维流体—梁系统的整体适定性#

摘要翻译#

7. 分形时间上的正交归一 Strichartz 估计#

摘要翻译#

8. 严格层结条件下无热扩散二维原始方程的局部 Hadamard 适定性#

摘要翻译#

9. 带有趋零磁势的 Schrödinger-Newton 系统解的存在性#

摘要翻译#

10. $\mathbb R$ 中的三次非线性薛定谔系统与正交归一费米子基态#

摘要翻译#

11. 渐近平坦时空中有质量 Klein–Gordon 场的经典与量子散射#

摘要翻译#

12. $s$-薛定谔映射在 $n \geq 5$ 中的全局存在性#

摘要翻译#

13. 带幂次扰动的对数薛定谔方程在 $\mathbb{R}^N$ 中的基态：存在性、唯一性与非退化性#

摘要翻译#

14. 密度依赖黏性系数下三维可压缩微极流体方程大强解的整体存在性#

摘要翻译#

15. 局部阻尼波动方程及其 Galerkin 逼近稳定性的尖锐阻尼位置#

摘要翻译#

16. 几何粗糙路径的高阶抛物控制演算#

摘要翻译#

17. 基于傅里叶衰减的双曲曲面共振计数与谱隙#

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

1. 具有无限能量初值的 Navier–Stokes 方程光滑解的整体存在性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 对数正则化 $$2$$ 欧拉方程的尖锐整体适定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. Ruggeri松弛型 Navier-Stokes-Fourier 方程的统一衰减

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. L^2_uloc 空间中二维不可压 Navier-Stokes 方程有界解的稳定性分析

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 含真空态的气体动力学多维中心稀疏波

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 有界密度下二维可压缩 Navier-Stokes 方程解的唯一性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 扩张环域中定常 Navier–Stokes 方程的消失黏性极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

8. 三维 Navier-Stokes 方程的一个 $\eps$ -正则性判据及内部奇异集盒维数上界的改进

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

9. 具有快速衰减涡量的可压缩平面空腔流的大尺度 Schauder 估计

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 布朗 Fleming-Viot 系统的分枝爆炸

摘要翻译

2. 可分Banach空间上的 Hamilton–Jacobi 方程的黏性解

摘要翻译

3. 具有高阶零条件和短脉冲初始数据的二维拟线性波方程光滑解的爆破

摘要翻译

4. Beckner 共形对数 Sobolev 不等式尖锐稳定性常数的达到

摘要翻译

5. 具有滞回和颤振的单向压力无关阀门

摘要翻译

6. 阻尼二维流体—梁系统的整体适定性

摘要翻译

7. 分形时间上的正交归一 Strichartz 估计

摘要翻译

8. 严格层结条件下无热扩散二维原始方程的局部 Hadamard 适定性

摘要翻译

9. 带有趋零磁势的 Schrödinger-Newton 系统解的存在性

摘要翻译

10. $\mathbb R$ 中的三次非线性薛定谔系统与正交归一费米子基态

摘要翻译

11. 渐近平坦时空中有质量 Klein–Gordon 场的经典与量子散射

摘要翻译

12. $$s$$ -薛定谔映射在 $n \geq 5$ 中的全局存在性

摘要翻译

13. 带幂次扰动的对数薛定谔方程在 $\mathbb{R}^N$ 中的基态：存在性、唯一性与非退化性

摘要翻译

14. 密度依赖黏性系数下三维可压缩微极流体方程大强解的整体存在性

摘要翻译

15. 局部阻尼波动方程及其 Galerkin 逼近稳定性的尖锐阻尼位置

摘要翻译

16. 几何粗糙路径的高阶抛物控制演算

摘要翻译

17. 基于傅里叶衰减的双曲曲面共振计数与谱隙