生成时间: 2026年10月08日 09:38:12

运行状态: 完成

计划处理论文数量: 48

已完成论文数量: 48

未完成论文数量: 0

重点关注论文数量: 5

了解领域论文数量: 17

不相关论文数量: 26

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

1. 压缩 Navier-Stokes 方程消失黏性极限下二维可压缩 Euler 方程平面激波的唯一性与稳定性

Uniqueness and stability of planar shock wave to 2D compressible Euler equations in the vanishing viscosity limit of compressible Navier-Stokes equations

作者: Geng Chen, Jeffrey Cheng, Alexis F. Vasseur, Yi Wang

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10341v1

摘要翻译: 众所周知，对于具有平面激波初值的可压缩 Euler 方程，可能存在无穷多个熵弱解，Chiodaroli、De Lellis 和 Kreml 已对此作出证明 [Comm. Pure Appl. Math. (2015)]。本文为定义在 $\mathbb{R} \times \mathbb{T}$ 上、具有密度依赖黏性的二维 (2D) 可压缩 Navier-Stokes 方程引入一种适当的全局时间弱解概念。在这一解框架下，我们为二维可压缩 Euler 方程中具有物理意义的平面激波解建立了首个消失黏性极限选择准则。更具体地，我们证明了二维 Euler 平面激波解在一类由近平面初值出发的 Navier-Stokes 解的无黏极限中具有唯一性和稳定性，其中激波方向的扰动可以任意大。以 Bresch、Noble 和 Vila [ESAIM Proc. Surveys (2017)] 给出的 $\mathbb{T}^2$ 上二维可压缩 Navier-Stokes 方程的相对 $$κ$$ -熵为出发点，我们首先建立了 $\mathbb{R} \times \mathbb{T}$ 上二维可压缩 Navier-Stokes 方程弱解与 $\mathbb{R}$ 上平均初值对应的一维 (1D) 强解之间的相对 $\frac12$ -熵。随后，我们成功弥合了该相对 $\frac12$ -熵所涉及的原始 Navier-Stokes 系统二维欧拉坐标表述，与 Kang 和 Vasseur [Invent. Math. (2021)] 在拉格朗日坐标中建立的 Euler 方程激波解的一维消失黏性极限之间的根本结构性差异，从而得到所需的消失黏性极限选择准则。本文发展的框架还可应用于 $\mathbb{R} \times \mathbb{T}^2$ 中的三维极限选择准则，以及更复杂的平面 Riemann 解和相互作用波形。

Comment: 66 pages

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

1. 研究对象和背景

本文研究二维等熵可压缩流体中平面激波的物理解选问题. 考虑空间区域为通道 $\mathbb{R}\times\mathbb{T}$ 的可压缩 Navier-Stokes 方程, 其中 $\mathbb{T}=\mathbb{R}/\mathbb{Z}$ , 未知量为密度 $\rho\geq 0$ 与速度 $$u=(u_1,u_2)$$ :

\begin{cases} \rho_t+\operatorname{div}(\rho u)=0,\\ (\rho u)_t+\operatorname{div}(\rho u\otimes u)+\nabla p(\rho) =\operatorname{div}(2\nu\rho Du), \end{cases} \qquad p(\rho)=\rho^\gamma,\quad \gamma\in(1,2],

其中 $Du=(\nabla u+\nabla u^{\mathsf T})/2$ , $\nu>0$ 是黏性参数. 论文主要处理剪切黏性系数 $\mu(\rho)=\rho$ 、体积黏性系数 $\lambda(\rho)=0$ 的情形; 这满足 Bresch-Desjardins 关系, 黏性在真空附近退化. 作者指出分析框架可推广至更一般满足该关系的黏性函数. 当 $\nu\to0^+$ 时, 形式极限是二维等熵 Euler 方程:

\begin{cases} \rho_t+\operatorname{div}(\rho u)=0,\\ (\rho u)_t+\operatorname{div}(\rho u\otimes u)+\nabla p(\rho)=0. \end{cases}

初始极限态取为只依赖于 $$x_1$$ 的单个平面激波. 两侧常态为 $(\rho_-,u_{1,-},0)$ 与 $(\rho_+,u_{1,+},0)$ , 激波速度 $\sigma$ 满足一维 Rankine-Hugoniot 条件

\sigma(\rho_--\rho_+)=\rho_-u_{1,-}-\rho_+u_{1,+},

\sigma(\rho_-u_{1,-}-\rho_+u_{1,+}) =\rho_-u_{1,-}^2+p(\rho_-)-\rho_+u_{1,+}^2-p(\rho_+),

并取文中所述的压缩熵激波分支. 相应的分段常值解记为 $(\hat\rho,\hat u)(x_1-\sigma t)$ . 这里的核心困难不仅是证明 Navier-Stokes 解存在, 还要允许有限相对能量扰动、二维横向依赖以及弱解可能出现真空或间断, 并从这样的黏性解序列中识别极限激波.

该问题重要的背景是多维 Euler 方程的熵条件不足以保证唯一性. Chiodaroli、De Lellis 与 Kreml 已证明, 对平面激波初值可构造无穷多个熵弱解; 后续工作还把非唯一性扩展到更一般的 Riemann 数据及其他解类. 因而, 即使已知一维压缩熵条件能够选出唯一解, 多维情形仍需要额外的物理选择准则. 以物理黏性趋零作为选择机制是自然候选, 但既有多维消失黏性结果主要限于光滑 Euler 解存在的短时间区间; 激波形成后, 适用理论明显有限. 对一维等熵系统, 物理黏性趋零到小总变差解及激波已有较深入研究, 其中 Kang 与 Vasseur 的拉格朗日坐标相对熵收缩结果为本文提供重要基础. 然而, 该一维理论不能直接用于二维弱解: 原 Navier-Stokes 系统在 Euler 坐标下具有横向自由度, 而一维激波收缩工具则建立在拉格朗日坐标中.

本文试图弥合的正是这一结构差异. 作者先在 $\mathbb{R}\times\mathbb{T}$ 上建立带不同左右远场态的全局二维弱解框架, 再把二维解与其横向平均对应的一维强解比较, 最后将一维强解的黏性消失极限估计传递给二维弱解. 因此结论并非断言一般多维熵弱解唯一, 而是证明: 在满足特定近平面初值及相对熵小量条件的 Navier-Stokes 解的消失黏性极限类中, 小振幅平面熵激波具有稳定性和选择意义. 论文摘要称激波方向扰动可以任意大; 这一点应与小振幅激波及初值条件的限制同时理解, 而不能解释为对所有初值扰动均无条件稳定.

2. 主要定理或主要结果

主要结论分为固定黏性下的弱解构造与 $\nu\to0^+$ 的激波选择两部分.

定理 1.1: 通道上的全局二维弱解及相对 $$1/2$$ -熵稳定性. 固定 $\nu>0$ , 给定左右远场态 $\rho_\pm$ 、 $u_\pm$ , 取光滑单调参考函数 $(\tilde\rho,\tilde u)(x_1)$ , 使其在 $\pm x_1\geq1$ 时分别等于两侧常态且 $\tilde\rho>0$ . 令

w=\nu\nabla\ln\rho,\qquad v=u+w,

其中对弱解而言这些变量通过分布关系定义, 不要求 $\ln\rho$ 作为通常函数处处有意义. 对参考组亦定义 $\tilde w=\nu\nabla\ln\tilde\rho$ , $\tilde v=\tilde u+\tilde w$ . 相对 $$1/2$$ -熵为

\mathcal E_{1/2}(\rho,v,w\mid r,V,W) =\int_{\mathbb R\times\mathbb T} \left(\frac{\rho|v-V|^2+|w-W|^2}{2}+F(\rho\mid r)\right)\,dx,

其中 $F(\rho)=\rho^\gamma/(\gamma-1)$ , 且 $F(a\mid b)=F(a)-F(b)-F'(b)(a-b)$ . 若初值满足定义 1.1 的适定性条件, 特别是相对于参考态与横向平均态的相对 $$1/2$$ -熵有限、平均初值与参考函数之差属于 $H^6(\mathbb R)$ 、平均密度有正下界, 并满足

|\partial_{x_1}(\bar u_0)_1|\leq \frac{1}{2\nu}\bar\rho_0^{\gamma-1},

则存在定义 3.4 意义下的全局时间弱解, 且对任意 $$T>0$$ ,

\mathcal E_{1/2}(\rho,v,w\mid\tilde\rho,\tilde v,\tilde w)(t)\leq C(T), \qquad 0\leq t\leq T.

此外, 由初值横向平均产生的一维平面强解 $(\bar\rho,\bar v,\bar w)(t,x_1)$ 唯一, 并有定理 1.1 的稳定性估计

\mathcal E_{1/2}(\rho,v,w\mid\bar\rho,\bar v,\bar w)(t) \leq C e^{A(t)} \mathcal E_{1/2}(\rho_0,v_0,w_0\mid\bar\rho_0,\bar v_0,\bar w_0),

其中

A(t)=\left(\|\partial_{x_1}\bar v\|_{L^\infty([0,t]\times\mathbb R)} +\|\partial_{x_1}\bar w\|_{L^\infty([0,t]\times\mathbb R)} +\|\partial_{x_1x_1}\ln\bar\rho\|_{L^\infty([0,t]\times\mathbb R)} +\|\partial_{x_1}\ln\bar\rho\|_{L^\infty([0,t]\times\mathbb R)}^2\right)t.

初值不要求小量. 文中说明, 将 $$H^6$$ 降为 $$H^4$$ 可用于存在性构造, 但为得到上述相对熵不等式而采用 $$H^6$$ 假设.

定理 1.2: 小振幅平面激波的消失黏性极限选择. 固定 $\gamma\in(1,2]$ 及左态 $(\rho_-,u_{1,-},0)$ . 存在小振幅阈值 $\epsilon_0>0$ , 使得对满足激波 Rankine-Hugoniot 条件且

\epsilon=|\rho_+-\rho_-|<\epsilon_0

的右态, 可以选取定理 1.1 构造的黏性解序列. 令 $\bar\rho_0^\nu,\bar u_0^\nu$ 表示初值的横向平均, 并令 $\hat\rho,\hat u$ 为对应 Euler 激波. 初值假设包括

\limsup_{\nu\to0^+}\int_{\mathbb R} \eta(\bar\rho_0^\nu,\bar u_0^\nu\mid\hat\rho,\hat u)\,dx_1=E_0,

\nu^2\int_{\mathbb R}\bar\rho_0^\nu |\partial_{x_1}\ln\bar\rho_0^\nu|^2\,dx_1\longrightarrow0, \qquad \| (\bar\rho_0^\nu,\bar u_0^\nu)-(\tilde\rho,\tilde u)\|_{H^6(\mathbb R)}\leq\nu^{-1},

以及 $\bar\rho_0^\nu\geq c_0^\nu\geq\nu^{-1}$ , 并要求二维初值相对其平均态的相对 $$1/2$$ -熵满足

\mathcal E_{1/2}(\rho_0^\nu,v_0^\nu,w_0^\nu\mid \bar\rho_0^\nu,\bar v_0^\nu,\bar w_0^\nu)\leq C_*(\nu), \qquad C_*(\nu)\to0.

则对任意固定 $$T>0$$ , 沿某个 $\nu\to0^+$ 子列存在极限 $(\rho_\infty,u_\infty)$ , 满足定理所列的局部弱收敛, 包括

\sqrt{\rho^\nu}(v^\nu+w^\nu)\rightharpoonup \sqrt{\rho_\infty}u_\infty\quad\text{于 }L^2_{\mathrm{loc}},

\sqrt{\rho^\nu}u^\nu\rightharpoonup\sqrt{\rho_\infty}u_\infty \quad\text{于 }H^{-1}_{\mathrm{loc}}, \qquad \sqrt{\rho^\nu}\rightharpoonup\sqrt{\rho_\infty} \quad\text{于 }L^{2\gamma}_{\mathrm{loc}}.

并存在 $X_\infty\in L^\infty([0,T])$ , 使得几乎处处 $t\in[0,T]$ 有

\int_{\mathbb R\times\mathbb T} \left(\frac{\rho_\infty|u_\infty-\hat u(x_1-X_\infty(t))|^2}{2} +F(\rho_\infty\mid\hat\rho(x_1-X_\infty(t)))\right)dx \leq C(E_0+\sqrt{E_0}),

且相对于 Rankine-Hugoniot 预期位移 $\sigma t$ 的偏差满足

\|X_\infty-\sigma\,\cdot\|_{L^\infty([0,T])} \leq\frac{C}{|\rho_--\rho_+|^2}(E_0+\sqrt{E_0}).

因此, 结论是对指定黏性近似解类的稳定性与唯一选择: 当初始平均态相对激波的相对熵趋于零且横向扰动相对熵足够小时, 极限被激波及其适当平移控制. 定理给出的是弱收敛子列及相对熵控制, 并非在所有多维 Euler 熵弱解中证明一般唯一性. 定理中的 $C_*(\nu)$ 需相对于一维强解导数范数的增长足够快地趋零; 证明思路给出的充分条件为指数小量 $C_*(\nu)\leq \exp(-C\nu^{-j})$ , 其中 $$j>0$$ 为某整数, 定理本身只陈述存在趋零函数并未在摘录中固定其精确形式.

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

证明分成固定黏性弱解理论、二维到一维的相对熵比较、以及一维激波极限向二维传递三个环节. 真正的技术困难在于解可能含真空, 黏性系数随密度退化, 因而通常的速度梯度与 $\ln\rho$ 未必可定义; 同时区域无界且两端态不同, 总能量一般不是有限量. 作者设计的框架正是针对这些结构性障碍, 而非仅将标准能量估计直接套用.

首先, 作者采用 Bresch-Desjardins 型增广变量

w=\nu\nabla\ln\rho,\qquad v=u+w,

并以分布意义上的关系 $\sqrt\rho w=2\nu\nabla\sqrt\rho$ 、 $\rho w=\nu\nabla\rho$ 定义它们. 这样, 即使真空存在或 $\ln\rho$ 不可用, 仍可通过 $\sqrt\rho v$ 、 $\sqrt\rho w$ 及其梯度型量表达能量与耗散. 相应的相对 $$1/2$$ -熵把动能部分写成 $\rho|v-V|^2/2+|w-W|^2/2$ , 再加密度内能相对量. 它既利用 BD 结构提供的密度梯度控制, 又允许将二维弱解与一维强参考解比较. 其作用是建立二维横向扰动的稳定性估计, 并为无穷远处不同常态的情形提供有限的相对量.

其次, 在 $\mathbb R\times\mathbb T$ 上构造弱解时, 作者从有限周期区域 $T_R=(\mathbb R/3R\mathbb Z)\times\mathbb T$ 出发, 使用带量子正则项和阻尼项的近似 Navier-Stokes 系统. 这些正则项提供可严格操作的高阶密度控制及速度可积性; 先在正则化层面推导相对 $\kappa$ -熵结构, 再令正则参数趋零. 重要的是, 不能要求相对于零态的有限总能量, 而是对横向平均态比较, 以控制左右远场不同的初值. 作者须证明相对熵上界关于周期长度 $$R$$ 一致, 才能在 $R\to\infty$ 时得到通道上的解.

有限区域到无界区域的极限还遇到动量通量 $\rho u\otimes u$ 缺乏直接紧性的问题. 作者沿用并细化 Vasseur-Yu 等工作的速度变量重整化弱解概念: 对速度的截断函数 $\phi(u)$ 写出重整化动量关系, 并将可能缺失的极限通量编码为受控 Radon 测度. 这使弱收敛下的非线性动量项可以识别, 避免假设弱解具有并不存在的点态速度上界. 量子正则化、重整化与相对熵的一致估计共同完成定理 1.1 的构造.

随后, 对横向平均初值得到的一维平面 Navier-Stokes 强解, 作者需要关于黏性系数和周期长度均适用的高阶导数界. 由于其速度有纵向与横向分量, 横向速度满足额外输运-扩散方程, 并非最简单的一维模型. 作者重做一维正则性估计, 在所用初值条件下取得导数范数关于 $\nu$ 的多项式增长界

\|\partial_{x_1}\bar\rho^\nu\|_{L^\infty([0,T];H^3)} +\|\partial_{x_1}\bar u^\nu\|_{L^\infty([0,T];H^2)} \leq C\nu^{-j}.

相对 $$1/2$$ -熵的二维-一维比较会产生这些范数的指数因子, 因而此多项式增长界直接决定横向初始熵误差必须多小. 若令其小于相应指数衰减尺度, 就能使随 $\nu$ 变化的稳定性常数仍可控.

将一维强解与 Euler 激波比较时, 作者转入拉格朗日坐标. 具体地, 通过依赖于黏性解的质量坐标变换

y_1(t,x_1)=\int_{(0,0)}^{(t,x_1)}\rho^\nu\,dx_1-\rho^\nu u_1^\nu\,dt,

把一维 Navier-Stokes 解和激波放到 Kang-Vasseur 的一维相对熵 $$a$$ -收缩框架中, 得到对黏性参数一致的激波比较估计, 再变回 Euler 坐标. 这一步是弥合结构差异的关键: 二维原方程和横向平均比较在 Euler 坐标中进行, 而强激波的黏性极限收缩工具在拉格朗日坐标中成立.

该坐标变换本身依赖 $\nu$ , 且密度相关的坐标尺度随 $\nu\to0$ 退化. 因此, 不能直接沿用一维理论中对激波平移获得的较强时间正则控制; 文中指出最终只能恢复 $L^\infty_t$ 的位移控制. 作者再将二维对平均态的相对熵估计与平均态对激波的 $$a$$ -收缩估计组合. 组合并非简单的三角不等式, 因为相对熵不是距离, 且二维弱解无统一 $L^\infty$ 界并可含真空. 证明必须在真空区域细致处理密度相对内能与速度加权动能, 才能控制拼接误差. 最后先取得关于移位激波的统一相对熵界, 再用紧性抽取 $\nu\to0$ 子列, 并传递位移估计. 摘录没有展开所有真空区域误差引理的具体形式, 因而无法进一步给出其逐项计算细节.

4. 与之前工作的比较

本文与既有工作的差异首先在于所处理的极限状态. 多维可压缩 Navier-Stokes 到 Euler 的消失黏性结果, 作者概述为主要针对短时间, 此时极限 Euler 解仍是强解. 本文则以已经存在间断的平面激波为极限, 在任意给定有限时间区间 $$[0,T]$$ 上建立极限选择与稳定性结论. 这不是对一般多维弱解唯一性的突破: 结论限于由特定 Navier-Stokes 弱解序列产生的极限类, 并要求小振幅激波以及所列近平面初值条件.

其次, 与一维物理黏性极限理论相比, 本文的核心增量是把一维激波稳定性机制用于二维弱解. 一维等熵系统中, 物理黏性趋零到小总变差解的工作包括文中引用的 [40]、[19]; Kang 与 Vasseur [40] 的拉格朗日坐标 $$a$$ -收缩结果是本文比较平面强解与激波的关键输入. 本文并未重新证明该一维收缩理论, 而是解决它与二维 Euler 坐标框架之间的接口问题: 先以横向平均把二维解关联到一维强解, 再经依赖黏性参数的质量坐标变换进行激波比较. 代价是坐标变换退化导致平移函数只能得到 $L^\infty([0,T])$ 控制, 而文中提及的一维结果可获得更强的 $W^{1,1}$ 控制.

与已有多维非唯一性结果的关系也需准确区分. Chiodaroli、De Lellis 与 Kreml [24] 通过凸积分证明相同平面激波初值可对应无穷多个 Euler 熵弱解; 后续文献 [27]、[47]、[46]、[42] 等扩展到其他数据或情形. 本文不否定这些解的存在, 也不证明熵条件在整个 Euler 弱解类中足以唯一确定解. 它给出的是另一种选择准则: 若 Euler 极限来自本文框架中的物理黏性解序列, 则极限必须在相对熵意义下接近平面压缩激波. 作者也提到纯粹在 Euler 层面基于最大能量耗散的选择工作 [29]、[31]; 两类准则的构造层次不同, 本文依赖 Navier-Stokes 近似及其极限, 不应与 Euler 方程内部的耗散选择条件等同.

在固定黏性弱解构造方面, 定理 1.1 扩展了密度依赖黏性 Navier-Stokes 弱解理论的空间几何与远场类别. Vasseur-Yu [51] 及后续工作 [43]、[10] 的相关全局构造主要建立在有界周期区域上; Li-Xin [44] 等处理全空间时, 文中所述框架对应固定常密度及无穷远零速度等条件. 本文在无界通道 $\mathbb R\times\mathbb T$ 上允许 $x_1\to\pm\infty$ 时趋向两个不同的密度和速度态, 因而适合激波初值. 其代价是必须采用相对于单调参考剖面的有限相对 $$1/2$$ -熵, 并对横向平均初值施加正密度下界和较高 Sobolev 正则性; 这并不是对任意有限能初值的无条件全局理论.

黏性模型方面, 本文具体证明集中于 $\mu(\rho)=\rho$ , $\lambda(\rho)=0$ , $\gamma\in(1,2]$ , 包括浅水情形 $\gamma=2$ . 作者说明方法自然适用于更一般满足 Bresch-Desjardins 关系的密度依赖黏性, 并可扩展到 $\mathbb R\times\mathbb T^{d-1}$ ; 但这些是框架适用范围的说明, 摘录中的定理 1.2 明确陈述仍是二维、上述黏性模型与 $\gamma\in(1,2]$ . 因此, 不能把三维或一般黏性推广表述为本文所列定理已经逐项证明的结果.

最后, 本文稳定性估计对扰动量级有明显代价. 激波振幅必须充分小; 初始平均态的激波相对熵以 $$E_0$$ 控制, 极限误差为 $C(E_0+\sqrt{E_0})$ , 而位移误差还含有激波强度因子 $|\rho_--\rho_+|^{-2}$ . 二维横向起伏的初始相对 $$1/2$$ -熵必须随 $\nu$ 趋零, 且为抵消一维强解导数估计在相对熵 Gronwall 因子中的指数增长, 充分条件可能要求指数小量. 文中备注允许对平均初值的 $$H^6$$ 范数采用比 $\nu^{-1}$ 更快的增长, 但须相应加快 $C_*(\nu)$ 的衰减. 因而“方向扰动可任意大”应理解为没有对激波方向扰动另加小角度限制, 不能取消小激波振幅、密度下界、相对熵小量及黏性尺度条件. 对大振幅激波、一般大横向扰动、完整序列不经子列的收敛, 以及更精确的最优 $C_*(\nu)$ 阈值, 从提供内容中无法确认已有结论.

2. 无限通道中 Couette 流附近二维 Boussinesq 方程组的渐近稳定性

Asymptotic stability of the 2D Boussinesq equations around Couette flow in infinite channel

作者: Qionglei Chen, Jiakun Jin, Zhen Li, Changxing Miao

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10005v1

摘要翻译: 本文研究 Navier 滑移边界条件下，无限通道 $$$$ 中的 Couette 流附近二维 Boussinesq 系统的稳定性阈值，其中无限通道为 $$$$ 。为处理温度-涡量耦合所诱导的非线性回声链，我们构造了一种两层频率依赖的时间分解，其中两层分别与该方程的无限叠加原理和有限叠加原理相匹配。通过充分利用每一分解层级上的增强耗散效应，我们证明：若 Couette 流附近的初始扰动 $(ω^{in}, θ^{in})$ 满足 $$$$ ，且 $$$$ ，则 Boussinesq 系统存在一个全局渐近稳定解。需要强调的是，本文的方法为具有耦合效应的流体力学方程提供了一种有效途径。

Comment: 无

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

1. 研究对象和背景

论文研究二维不可压 Boussinesq 方程在无限通道中的 Couette 剪切流稳定性. 空间区域为 $\mathbb R_x\times[-1,1]_y$ , 基本流为 $\bar v=(y,0)$ , 背景温度为常数 $$a$$ . 速度、温度分别记作 $$v$$ 与 $\rho$ , 黏性系数和热扩散系数在本文中取相同值 $\nu=\mu\in(0,1)$ . 原方程为

\begin{cases} \partial_t v-\nu\Delta v+y\partial_xv+v\cdot\nabla v+\nabla p=\rho e_2,\\ \partial_t\rho-\nu\Delta\rho+y\partial_x\rho+v\cdot\nabla\rho=0,\\ \nabla\cdot v=0. \end{cases}

对 Couette 流和常温背景作扰动，令 $$u=v-(y,0)$$ , $\theta=\rho-a$ , 并以 $\omega=\partial_yu^{(1)}-\partial_xu^{(2)}$ 表示扰动涡量. Navier-slip 速度边界条件在涡量表述下给出 Dirichlet 条件；温度也满足 Dirichlet 条件. 论文所处理的初边值问题因此为

\begin{cases} \partial_t\omega-\nu\Delta\omega+y\partial_x\omega+u\cdot\nabla\omega=-\partial_x\theta,\\ \partial_t\theta-\nu\Delta\theta+y\partial_x\theta+u\cdot\nabla\theta=0,\\ \nabla\cdot u=0,\qquad \omega|_{y=\pm1}=\theta|_{y=\pm1}=0. \end{cases}

其中 $$u$$ 由涡量通过通道上的椭圆反演确定. 右端的 $-\partial_x\theta$ 是温度对涡量的浮力耦合：温度本身被输运、扩散，但其水平梯度会持续向涡量方程输入扰动. 因而这不是将 Navier-Stokes 稳定性结论直接用于两个独立标量方程的问题；耦合可能在剪切混合过程中产生瞬态增长和非线性回声链. 研究目标是量化在黏性趋于零时，初始涡量和温度扰动分别必须多小，才能保证解全局存在并回到稳定的剪切态附近. 这类尺度称为转捩阈值；本文证明稳定性方向的充分阈值，并未证明超过该阈值必然不稳定.

背景剪切 $y\partial_x$ 会使水平频率随时间产生混合，扩散因而获得增强耗散. 线性混合耗散的典型时间尺度为 $t\sim\nu^{-1/3}$ , 其重要性在于非线性作用可能在耗散充分发生前放大. 在无限水平域 $\mathbb R_x$ 上还存在任意小水平频率，低频与高频的混合、速度反演和耗散估计并不一致；这使有限周期域上的频率求和或低频控制不能不加修改地移植过来. 此外，温度到涡量的耦合额外引入水平导数，非线性输运又会把不同频率相互作用串联起来，构成需要控制的 echo chains.

已有研究已分别处理多种几何和边界条件下的 Boussinesq 转捩阈值. 引言列举的 Sobolev 阈值包括 $\mathbb T\times\mathbb R$ 上从 $(\nu^{1/2},\nu)$ 改进到 $(\nu^{1/3},\nu^{5/6})$ , 再到 $(\nu^{1/3},\nu^{2/3})$ ; $\mathbb R^2$ 上从 $(\nu^{3/4},\nu^{5/4})$ 改进到 $(\nu^{1/3+},\nu^{2/3+})$ . 对有限通道无滑移边界和无限通道的既有结果，分别给出过 $(\nu^{1/2},\nu^{11/12})$ 和 $(\nu^{1/2},\nu^{5/6})$ 的阈值. 与本文最直接相关的是 Chen-Li-Miao 在同一无限通道、Navier-slip 边界下为 Navier-Stokes 方程建立的涡量阈值 $\nu^{1/3}$ . 本文试图回答在该几何中加入温度—涡量耦合后，涡量阈值是否改变、温度分量可允许多大的初值，以及如何处理耦合所带来的额外回声链. 论文结论是涡量仍可达到 $\nu^{1/3}$ 量级，而温度需要更小的 $\nu^{2/3+}$ 量级；精确对数损失见主要结果. 研究意义在于给出具有耦合效应的流体方程的一套频率—时间分析方案，但本文并不提供相应的不稳定性阈值或完整的阈值最优性刻画.

2. 主要定理或主要结果

主要结论是定理 1.1. 设 $0<\nu<1$ , 并令水平傅里叶乘子 $$M=M(D_x)$$ 的符号为

M(k)=|k|^{1/2}+|k|.

若初值满足

\omega^{\rm in}\in H^4\cap L^1_xH^4_y,\qquad \theta^{\rm in}\in H^5\cap L^1_xH^5_y,

且

E_0:=\|\omega^{\rm in}\|_{H^4\cap L^1_xH^4_y}\le c\nu^{1/3},\qquad F_0:=\|\theta^{\rm in}\|_{H^5\cap L^1_xH^5_y} \le c\nu^{2/3}|\ln\nu|^{-4},

则系统 (1.2) 有全局解，并满足

\|\omega\|_{L^2_{t,x,y}} +\|M\nabla\Delta^{-1}\omega\|_{L^2_{t,x,y}} +\nu^{-1/3}|\ln\nu|^4\|\theta\|_{L^2_{t,x,y}} \le C\nu^{1/3}.

这里结论中的时空范数以及速度相关项按论文所定义的能量范数理解；上式表达了涡量、涡量反演速度的耗散控制，以及温度相对于涡量多出的 $\nu^{-1/3}|\ln\nu|^4$ 加权控制. 摘要将温度阈值概括为 $\nu^{2/3+}$ ; 定理给出的更具体充分条件是 $\nu^{2/3}|\ln\nu|^{-4}$ , 而不是无损的 $\nu^{2/3}$ . 因此应保留该对数损失，不将结论表述成精确达到无对数阈值.

定理还给出弱增强耗散估计. 对任意 $s\in[0,1/16]$ , 定义乘子 $$M_1=M_1(D_x)$$ , 其符号为

M_1(k)=|k|^{2/3}\chi(k)+1-\chi(k),

其中 $\chi\in C_c^\infty$ , 在 $|k|\le 1/2$ 时等于 1, 在 $|k|\ge1$ 时等于 0. 则

\|(1+\nu^{1/3}tM_1)^s\omega\|_{L^2_{t,x,y}} \le C\nu^{1/3},

\|(1+\nu^{1/3}tM_1)^s\theta\|_{L^2_{t,x,y}} \le C\nu^{2/3}|\ln\nu|^{-4},

以及

\|(1+\nu^{1/3}tM_1)^sM\nabla\Delta^{-1}\omega\|_{L^2_{t,x,y}} \le C\nu^{1/3}.

这些是随时间权重增长的弱增强耗散控制，指数只取到 $s\le1/16$ ; 不能据此把结论强化为任意阶时间衰减. 线性部分另有增强耗散与 inviscid damping 估计：作者引入修正涡量 $\alpha_L=\omega_L+t\partial_x\theta_L$ , 抵消线性浮力耦合造成的显式瞬态增长. 论文给出的线性估计包括在混合坐标导数 $\partial_y+t\partial_x$ 下的衰减，以及速度分量随时间衰减的估计；例如其水平速度具有 $(1+t)^{-1}$ 量级、垂直速度具有 $(1+t)^{-2}$ 量级的 inviscid damping 控制，并带有黏性因子和初值大小因子. 这些线性结果服务于非线性闭合，并非取代定理 1.1 的初值阈值结论.

作者还说明，在 $\mathbb T\times[-1,1]$ 的相应问题中初值条件可以达到 $(\nu^{1/3},\nu^{2/3})$ . 本文当前处理的 $\mathbb R\times[-1,1]$ 结果则保留温度初值的对数损失；作者将差异归因于无限水平域与周期域在线性 inviscid damping 性质上的不同. 从所提供的定理与摘录中无法确认本文证明了超过上述初值尺度时的不稳定性，也无法确认阈值在所有所列函数空间意义下的必要性.

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

证明的主要障碍不是单独获得线性混合耗散，而是在线性剪切、非线性输运和温度—涡量反馈同时作用时，避免水平导数损失及 echo chains 使能量估计无法闭合. 作者围绕增强耗散时间尺度 $\nu^{-1/3}$ 组织证明，并按时间、频率两层拆分非线性项；两层拆分分别对应方程的 infinite superposition 与 finite superposition 结构.

第一步是把解拆为线性部分与误差部分， $(\omega,\theta)=(\omega_L,\theta_L)+(\omega_e,\theta_e)$ . 线性化系统通过水平 Fourier 变换后，每个频率 $$k$$ 满足含有 $\nu(1+k^2t^2)$ 的耗散方程. 这直接显示剪切混合产生的 $$k^2t^2$$ 耗散，并导出因子 $e^{-c\nu k^2t^3}$ . 但线性涡量含有温度驱动项，显式解中出现 $t\partial_x\theta^{\rm in}$ 型增长. 因此作者不直接估计 $\omega_L$ , 而定义

\alpha_L=\omega_L+t\partial_x\theta_L.

该变量满足不含温度源项的标量线性剪切扩散方程. 先对 $\alpha_L$ 和 $\theta_L$ 使用混合坐标导数下的耗散估计，再由 $\omega_L=\alpha_L-t\partial_x\theta_L$ 恢复涡量控制. 结合通道椭圆反演、低高水平频率分区和初值的 $$L^1_x$$ 控制，作者得到速度的 inviscid damping 估计. 这里 $$L^1_x$$ 假设不是装饰性条件：它帮助控制无限水平域上的低频积分，而低频正是速度反演和长时间衰减估计较敏感的部分.

短时间区间取 $t\le T_0=\nu^{-1/6}$ . 直接把 $\partial_x\theta_e$ 放入 $L^\infty_t$ 估计、再仅用黏性耗散控制非线性项中的 $\partial_x^2\theta_e$ , 会产生 $\nu^{-1/2}$ 损失，迫使温度初值缩小到约 $\nu^{5/6}$ , 远小于目标尺度. 作者的关键处理是建立 $\partial_x^2\theta_e$ 的时间一致控制，并对频率作依赖 $\nu$ 的分解，重新分配不同水平频率的能量. 摘录指出该分解对 $\partial_x^2\theta_e$ 带来 $\nu^{1/12}|\ln\nu|^{-1}$ 的增益，使短时间非线性输运与耦合项能够在更大的温度初值下闭合. 这里的核心并非泛泛的能量法，而是避免把温度水平导数全额交给黏性耗散，从而消除不必要的幂次损失.

长时间区间 $$t>T_0$$ 再将误差拆为 $(\omega_b,\theta_b)+(\omega_E,\theta_E)$ . 其中 $(\omega_b,\theta_b)$ 承载主要非线性输运及其与线性解的相互作用；另将耦合驱动项中可分离的部分拆成 $(\omega_r,\theta_r)$ 和纯涡量部分 $(\omega_o,0)$ . $\omega_o$ 的估计沿用 Navier-Stokes 类型论证. 对 $(\omega_b,\theta_b)$ , 为控制浮力所产生的 $|\partial_x|^{1/3}\theta_e$ , 若直接对温度方程施加该分数阶导数，会破坏输运算子 $u_e\cdot\nabla\theta_e$ 的结构，并在交换子中损失水平导数. 由于现有能量中没有足够高阶的 $$u_e$$ 控制，直接估计还会多付出 $\nu^{-1/6}$ . 作者因此再次使用依赖 $\nu$ 的 $\partial_xu_e$ 频率分解，按频率区间安排可用导数和耗散预算，以避开对交换子的粗略高阶估计.

最棘手的是耦合回声部分 $(\omega_r,\theta_r)$ , 尤其是温度方程中的增长源项 $tu_e^{(2)}\partial_x\theta_L$ . 对 $\theta_r$ 加上 $|\partial_x|^{1/3}$ 后，反应项多出 $$1/3$$ 阶水平导数；同时系数含时间因子 $$t$$ . 若只按单一时间区间估计，频率之间反复传递会形成 echo chain，并造成 $\nu^{-1/6}$ 损失. 作者先按水平频率区分：当 $|k|\ge\nu^{-1/2}$ 时，黏性耗散足以补偿额外的水平导数，通过能量估计结合适当的 resolvent bounds 降低损失；当 $0<|k|\le\nu^{-1/2}$ 时，先把长时间轴按

T_j=2^j\nu^{-1/3},\qquad I_j=(T_{j-1},T_j]

作 dyadic 分解，并令不同时间片上的响应分别从零初值启动. 每个时间片上利用 infinite superposition principle 控制不同源项片段的叠加. 这对 $|k|\le1$ 已足以控制级联，因为 $|k|^{1/3}$ 因子较小；对 $1\le|k|\le\nu^{-1/2}$ , 单层分解虽能得到估计，却仍有 $\nu^{-1/6}$ 损失.

第二层分解是本文最具针对性的创新. 在每个 $$I_j$$ 内，作者继续把温度响应拆成 $\theta_{r,k,j,l,m}$ , 子区间长度取为

\tau_m-\tau_{m-1}=\nu^{-1/3}|k|^{-2/3},\qquad m_j\simeq 2^j|k|^{2/3}.

在这些更短的区间上使用 frequency-derivative transformation 和 finite superposition principle，使每个子时间段所需的水平导数降低，补回单层估计缺失的导数并抵消 $\nu^{-1/6}$ 损失. 细分会带来求和时的多项式增长，例如部分和的平方计数可能产生 $$n^2$$ 因子；作者不在纯 inviscid 框架中处理这一增长，而是利用耗散方程的时空衰减

\|\widetilde\theta_m\|_{(\tau_{n-1},\tau_n]} \lesssim e^{-c(n-1-m)} \|\widetilde\theta_m\|_{(\tau_{m-1},\tau_m]}.

指数衰减来自增强耗散，足以压过有限叠加产生的多项式增长，从而闭合二层求和. 因此创新在于把不同频率下的时间尺度与方程的叠加原则匹配，并用耗散时间衰减控制分解代价，而不只是采用一般的 dyadic 分解.

整体框架依赖混合坐标导数 $\partial_y+t\partial_x$ 、通道椭圆反演、水平频率的低高频分区、频率依赖的时空权重、resolvent 估计及短时与长时的分层能量控制. 摘录未提供所有交换子估计和闭合能量泛函的完整定义，因此更细的常数依赖与每一项逐项吸收方式，从提供内容中无法确认.

4. 与之前工作的比较

本文的最直接比较对象是同一几何 $\mathbb R\times[-1,1]$ 、Navier-slip 边界条件下的 Navier-Stokes 稳定性结果 Chen-Li-Miao [6]. 该工作达到 Sobolev 涡量阈值 $\nu^{1/3}$ ; 本文加入温度输运方程及涡量源项 $-\partial_x\theta$ , 并保留涡量初值阈值 $\nu^{1/3}$ . 因而在涡量分量上，Boussinesq 浮力耦合没有迫使作者降低该阈值. 但温度不能仅按与涡量相同的尺度处理：本文要求 $\|\theta^{\rm in}\|_{H^5\cap L^1_xH^5_y}\le c\nu^{2/3}|\ln\nu|^{-4}$ . 相较涡量，温度需要更高一阶 Sobolev 正则性，也需要更小的振幅. 这反映了温度梯度经浮力反馈进入涡量后，产生了额外的导数和非线性回声控制成本. 本文的贡献因此不是宣称两个分量拥有相同阈值，而是证明这种非对称阈值下的全局稳定性.

与不同空间几何中的既有 Sobolev 结果比较，引言列出：在 $\mathbb T\times\mathbb R$ 上，Boussinesq 阈值先后由 [9] 的 $(\nu^{1/2},\nu)$ , 经 [21] 的 $(\nu^{1/3},\nu^{5/6})$ , 改进到 [13] 的 $(\nu^{1/3},\nu^{2/3})$ ; 在 $\mathbb R^2$ 上，文献 [18] 给出 $(\nu^{3/4},\nu^{5/4})$ , 文献 [7] 改进为 $(\nu^{1/3+},\nu^{2/3+})$ . 这些对照说明 $\nu^{1/3}$ 与 $\nu^{2/3}$ 的幂次并非本文首次出现，但这些结果处于不同域或不同问题设定，不能直接替代无限通道、Navier-slip 边界的证明. 本文在这一特定几何中处理了边界、连续水平频率以及耦合回声的共同影响，并给出与现有最佳幂次相应的阈值结构，同时定理中留下温度的对数损失.

与有限通道结果相比，引言提到 [12] 在有限通道无滑移边界下得到 $(\nu^{1/2},\nu^{11/12})$ , 而 [10] 在无限通道设置下得到 $(\nu^{1/2},\nu^{5/6})$ . 本文所考虑的是无限水平通道并采用 Navier-slip 边界，结论把涡量阈值推进到 $\nu^{1/3}$ , 温度阈值推进到近 $\nu^{2/3}$ . 这种比较应理解为不同边界与几何下的结果对照，而非只改变一个参数的定理推论；边界条件改变会改变涡量边界条件、线性反演和耗散估计，因而不能据阈值数字单独归因于域的有界或无界.

周期水平域还揭示了无限域低频的代价. 论文 Remark 1.1 指出，在 $\mathbb T\times[-1,1]$ 上，初始数据条件可以达到 $(\nu^{1/3},\nu^{2/3})$ . 对本文的 $\mathbb R\times[-1,1]$ , 定理只给出温度条件 $\nu^{2/3}|\ln\nu|^{-4}$ . 作者将差别联系到线性系统的 inviscid damping：周期域可获得更强的速度衰减估计，而无限域的连续低频贡献使相应控制较弱. 因而在振幅幂次相同的意义下，本文达到 $\nu^{2/3+}$ 型尺度，但定理的精确假设仍带有 $|\ln\nu|^{-4}$ 损失，不能说已在无限通道上达到无对数的 $\nu^{2/3}$ 条件.

证明方法相对已有单一流体方程分析的推进，主要在耦合系统的时间—频率组织上. 既有 Navier-Stokes 结果 [6] 可处理纯涡量非线性部分，但不能直接控制温度方程经 $tu_e^{(2)}\partial_x\theta_L$ 产生的回声链. 文中明确指出，单层 dyadic 时间分解与增强耗散可控制低频 $|k|\le1$ , 但在 $1\le|k|\le\nu^{-1/2}$ 会留下 $\nu^{-1/6}$ 损失；二层分解再以 $\nu^{-1/3}|k|^{-2/3}$ 为子区间尺度，并使用耗散方程的时间衰减补偿叠加增长. 相较只依赖无黏性估计的叠加处理，这一方案把增强耗散显式用于回声项求和. 作者在引言中也将该框架定位为可用于具有耦合效应的流体方程的方法，但摘录没有给出对其他系统的实际定理，故其可推广范围仍属于方法动机，不能视为已证明的普遍结论.

结果的代价和适用边界也需要明确. 其一，初值要求 $\omega^{\rm in}\in H^4\cap L^1_xH^4_y$ , $\theta^{\rm in}\in H^5\cap L^1_xH^5_y$ , 并非仅有低阶 Sobolev 正则性即可适用；温度比涡量多要求一阶正则性. 其二，结论是给定小初值下的全局稳定性充分条件，文中摘录没有提供匹配的不稳定构造，因而“threshold”在本文中不应理解为已经双向刻画的临界边界. 其三，对数损失和弱增强耗散权重指数 $s\le1/16$ 是实际定理内容的一部分；作者未在所给内容中说明这些是否可由更精细估计消除. 其四，作者考虑 $\nu=\mu$ , 常数背景温度，并固定 Couette 剪切和该通道边界；摘要及摘录不能支持将结论直接扩展到不同黏性与热扩散系数、非恒定背景温度或其他剪切流. 引言中的文献编号 [6]、[7] 等虽列出具体阈值，但提供的摘录没有完整参考文献表；除明确写出的 Chen-Li-Miao [6] 外，相关工作的作者身份从提供内容中无法确认.

3. 任意高维稳态 Navier-Stokes 方程的自相似解

Self-similar solutions to the steady Navier-Stokes equations in arbitrarily high dimensions

作者: Changfeng Gui, Hao Liu, Yun Wang, Chunjing Xie

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09840v1

摘要翻译: 我们研究 $$?(-1)$$ -齐次解（应为原样公式）的稳态 Navier-Stokes 方程，其中方程定义在 $?\mathbb R^n\setminus\{0\}$ 上，力是 $$?(-3)$$ -齐次且局部 Lipschitz 连续的。此前的工作 [2] 在维数 $4\leq n\leq16$ 下证明了无须任何小性假设即可存在 $$?(-1)$$ -齐次解。本文消除了维数限制，得到了所有更高维数下自相似解的存在性。本文的新要素是球面上总压头的一个与维数无关的先验估计；该估计通过将 Wang 和 Yang [28] 的源通量方法及压力加权恒等式改造到齐次情形而获得。结合 [2] 中使用的径向速度与总压头之间的结构关系，我们得以在所有维数下闭合解的先验估计。

Comment: 无

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

1. 研究对象和背景

本文研究去心空间 $\mathbb{R}^n\setminus\{0\}$ 上稳态不可压缩纳维–斯托克斯方程的自相似解. 速度场 $$u$$ 、压力 $$p$$ 和外力 $$f$$ 满足

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

方程具有如下尺度变换不变性:

u_\lambda(x)=\lambda u(\lambda x),\qquad p_\lambda(x)=\lambda^2p(\lambda x),\qquad f_\lambda(x)=\lambda^3f(\lambda x),\quad \lambda>0.

因此尺度不变的速度和压力分别是 $$(-1)$$ 次、 $$(-2)$$ 次齐次函数, 相应外力是 $$(-3)$$ 次齐次函数. 本文假设 $$f$$ 在 $\mathbb{R}^n\setminus\{0\}$ 上局部 Lipschitz, 并满足 $f(\lambda x)=\lambda^{-3}f(x)$ . 等价地, 对 $$r=|x|$$ 、 $\sigma=x/r\in S^{n-1}$ , 可写成 $u(x)=r^{-1}U(\sigma)$ 、 $p(x)=r^{-2}P(\sigma)$ 、 $f(x)=r^{-3}F_0(\sigma)$ . 于是求解全空间去心域上的问题, 可转化为球面 $S^{n-1}$ 上满足由齐次性诱导的非线性方程组.

这类解虽然具有临界尺度, 但通常不具有限 Dirichlet 能量: 由于 $|u(x)|\sim |x|^{-1}$ , 其梯度平方在径向积分中呈临界的对数发散. 自相似解仍然重要, 因为它们刻画纳维–斯托克斯流的尺度不变结构, 并可用于理解一般解的奇性与渐近行为. 与小数据临界空间中的扰动理论不同, 对任意大小的齐次外力, 非线性项不能简单地作为小扰动吸收, 因而存在性证明需要获得不依赖未知解大小的先验估计.

相关理论背景包括 Leray 关于有限能量弱解的存在性理论, 以及高维光滑稳态解的若干存在结果. 对自相似问题, 无外力情形有经典的 Jeffery–Hamel 流和 Landau 解等例子; 文中指出, 在 $n\ge4$ 时, 光滑的无外力自相似速度场只能为零, 另有工作将这一刚性结论推广到满足 $|u(x)|\le C/|x|$ 的光滑解而不要求 $$C$$ 小. 有外力时, 四维已知可对任意 $$(-3)$$ 次齐次力构造自相似弱解; 文中所引此前工作 [2] 则对 $4\le n\le16$ 的任意局部 Lipschitz 齐次力建立了自相似解存在性, 并对纯径向且径向分量非负的力在所有 $n\ge4$ 给出类似结果.

本文试图填补一般方向外力下高维存在性理论的空白. 此前一般情形的维数限制并非来自方程尺度本身, 而来自总水头压力正部估计及球面能量估计闭合时所需的可积指数. 作者的目标是建立能用于所有维数的总水头压力控制, 再与径向速度和总水头压力之间已有的结构关系结合, 对解的球面能量得到仅依赖外力的先验界, 从而将存在性范围推进到任意高维.

2. 主要定理或主要结果

主定理 1.1 设 $n\ge6$ , 且 $$f$$ 是 $\mathbb{R}^n\setminus\{0\}$ 上局部 Lipschitz 的 $$(-3)$$ 次齐次外力. 则存在一个 $$(-1)$$ 次齐次的自相似解 $$u$$ , 使得对每个 $\alpha\in(0,1)$ ,

u\in C^{2,\alpha}_{\mathrm{loc}}(\mathbb{R}^n\setminus\{0\}),\qquad \|u\|_{C(S^{n-1})}+\|\nabla u\|_{C(S^{n-1})}+\|\nabla^2u\|_{C^\alpha(S^{n-1})}\le C.

这里 $$C$$ 仅依赖于 $\alpha,n$ 和 $N_f:=\|f\|_{\mathrm{Lip}(S^{n-1})}$ . 若 $$f$$ 在去心空间上光滑, 所得解也光滑. 此外, 存在仅依赖于维数的 $\varepsilon(n)>0$ , 若 $N_f\le\varepsilon(n)$ , 则该解在所有 $C^2(\mathbb{R}^n\setminus\{0\})$ 的 $$(-1)$$ 次齐次解中唯一. 唯一性结论只针对小外力; 任意大小外力下的唯一性并未由此定理给出.

证明中的关键量为球面能量及总水头压力正部范数:

E:=\int_{S^{n-1}}\bigl(|\nabla u|^2+(n-4)|u|^2\bigr)\,d\sigma,\qquad H_+:=\max\{0,H\},\qquad H:=\frac{|u|^2}{2}+p,

\theta:=\frac{(n-2)(n-1)}{2(n-3)}=\frac n2+\frac1{n-3}>\frac n2,\qquad \mathcal H:=\|H_+\|_{L^\theta(S^{n-1})}.

球面能量恒等式与径向速度—总水头压力结构关系给出

E\le C N_f E^{1/2}+C(\mathcal H+N_f)^{3/2}.

作者引入 Bernoulli 源通量

g:=|f||u|,\qquad \Psi:=(-\Delta)^{-1}g,\qquad \mathcal F:=\nabla\Psi+f.

则 $\mathcal F$ 为 $$(-3)$$ 次齐次向量场, 且 $-\operatorname{div}\mathcal F=g-\operatorname{div}f$ . 对总水头压力方程使用该散度形式, 得到

\mathcal H\le C(n)\|\mathcal F\|_{L^n(S^{n-1})}.

本文的新先验估计为

\|\mathcal F\|_{L^n(S^{n-1})}\le C N_f\bigl(1+N_f^{1/2}+E^{1/2}+\mathcal H^{1/2}\bigr),

从而

\mathcal H\le C\bigl(N_f+N_f^2+N_f E^{1/2}\bigr).

将此式代入球面能量不等式后, 能量右侧关于 $$E$$ 至多出现可由 Young 不等式吸收的次线性幂, 特别是文中指出会得到 $E^{3/4}$ 型项. 因而可获得仅依赖 $$N_f$$ 和维数常数的能量先验界, 不再需要限制 $n\le16$ . 以上构造对 $n\ge6$ 成立; 结合文中引用的四、五维结果, 作者将其解释为对所有相关维数的存在性图景的补充.

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

证明的核心困难是控制总水头压力 $$H=|u|^2/2+p$$ 的正部, 并使所得估计在维数增大时仍能与球面能量估计闭合. 总水头压力满足分布意义下的方程

-\Delta H+u\cdot\nabla H=-\frac12|\partial_i u_j-\partial_j u_i|^2+f\cdot u-\operatorname{div}f.

若直接对该方程乘以 $H_+^{(n-4)/2}$ 并使用最大值原理式的估计, 齐次性确实允许得到控制, 但由此产生的可积指数会对维数施加上限. 因此关键不是单纯再做一次能量估计, 而是将外力源项重组为散度, 并建立与维数范围相容的通量控制.

具体地, 令 $$g=|f||u|$$ , $\Psi=(-\Delta)^{-1}g$ , $\mathcal F=\nabla\Psi+f$ . 利用 $-\Delta\Psi=g$ , 有 $-\operatorname{div}\mathcal F=g-\operatorname{div}f$ ; 同时 $\mathcal F$ 具有 $$(-3)$$ 次齐次性. 由于 $f\cdot u\le |f||u|=g$ , 总水头压力方程可据此转写为适用于比较的散度型不等式. 接着将 $H_+^{(n-4)/2}$ 作为测试函数, 配合径向截断函数. 对径向截断导数产生的项, 利用齐次次数恰好使其径向积分含有 $\int_0^\infty\xi'(r)\,dr=0$ , 因而消失. 球面上的 Sobolev 不等式随后给出 $L^\theta$ 控制, 其中 $\theta=(n-2)(n-1)/(2(n-3))>n/2$ ; Hölder 不等式将右端化为 $\|\mathcal F\|_{L^n(S^{n-1})}$ . 这一步是把压力控制归结为源通量的 $$L^n$$ 界.

通量估计的主要新意, 是把 Wang–Yang [28] 在有限能量问题中使用的压力加权恒等式和源—通量思路改造到齐次解框架. 作者先证明速度在固定环带内的 Morrey 型控制: 存在依赖于 $$n$$ 的 $\rho_0>0$ 和常数 $$C$$ , 使对 $$1/2<|z|<3/2$$ 、 $0<\rho\le\rho_0$ ,

\rho^{2-n}\int_{B_\rho(z)}|u|^2\,dx\le C(E+\mathcal H+N_f).

其推导从压力方程 $-\Delta p=\partial_i\partial_j(u_i u_j)-\operatorname{div}f$ 出发, 以截断后的核 $|x-y|^{4-n}$ 作测试函数. 经过分部积分, 得到含有 $|u\cdot(x-y)|^2/|x-y|^n$ 的正项与总水头压力项之间的恒等式. 环带上压力的 $L^{(n-1)/(n-3)}$ 估计由压力奇异积分估计和球面 Sobolev 不等式控制; $$H_+$$ 项则由 $\mathcal H$ 控制. 最后对中心 $$y$$ 在小球内平均, 利用

\int_{B_\rho(0)}\frac{|a\cdot y|^2}{|y|^n}\,dy=c_n\rho^2|a|^2

将方向性加权积分转为速度的局部平方积分, 得到上述 Morrey 型界.

在此基础上, 作者估计 $\nabla(-\Delta)^{-1}g$ , 其中 $$g=|f||u|$$ . 所用势估计同时控制 $$L^2$$ 范数和 BMO 半范数: 对 $$n^*=2n/(n+2)$$ , 若 $g\in L^{n^*}$ 且 $m_1(g):=\sup_{z,\rho}\rho^{1-n}\int_{B_\rho(z)}|g|<\infty$ , 则

\|\nabla(-\Delta)^{-1}g\|_{L^2(\mathbb R^n)}\le C\|g\|_{L^{n^*}(\mathbb R^n)},\qquad \|\nabla(-\Delta)^{-1}g\|_{\mathrm{BMO}(\mathbb R^n)}\le C m_1(g).

把环带上的 Morrey 控制与齐次性结合, 可估计势的局部平均振荡及其球面限制, 再与外力项合并得到 $\|\mathcal F\|_{L^n(S^{n-1})}$ 的界. 所提供的 PDF 摘录在引理 3.3 的证明处截断, 因此其具体分解、插值步骤及每个中间指数从所提供内容中无法完整确认; 但引言明确给出其论证依赖端点加权压力估计、Morrey 控制、 $$L^2$$ –BMO 势估计和齐次性.

最后, 将压力正部界代回球面能量估计, 由 Young 不等式吸收次线性幂, 获得足以执行 Leray–Schauder 度论证的先验界. 解的构造框架沿用 [2]; 新工作集中在消除高维闭合估计中的压力控制瓶颈, 而不是另造存在性拓扑框架.

4. 与之前工作的比较

与本文最直接比较的是 [2]. 该工作对一般的 $$(-3)$$ 次齐次、局部 Lipschitz 外力, 在 $4\le n\le16$ 建立了自相似解存在性; 本文在 $n\ge6$ 证明同类存在性, 因而真正新增的维数范围是 $n\ge17$ . 对 $6\le n\le16$ , 本文定理恢复已有结论. 两篇工作的总体存在性结论并非在所有维数上都由本文单独覆盖: 四、五维依赖 [2] 和 [20] 等既有结果. 本文的改进针对一般方向外力的高维情形, 并未改变外力的齐次性或局部 Lipschitz 假设.

推进的关键不是放宽外力正则性或尺度条件, 而是改进压力先验估计. [2] 已使用总水头压力正部、球面能量及径向速度与总水头压力之间的结构关系; 本文保留这些框架, 但通过源—通量改写及适配齐次问题的加权压力估计, 得到 $\mathcal H\lesssim N_f+N_f^2+N_fE^{1/2}$ . 这一估计避免此前压力估计导致的维数上限, 与 $E\le C N_fE^{1/2}+C(\mathcal H+N_f)^{3/2}$ 联立后可在所有 $n\ge6$ 闭合. 因而这是先验估计机制的高维延拓, 而非对问题尺度或解概念的根本改变.

文中也区分了一般外力和特殊径向外力. [2, Theorem 4.1] 已对所有 $n\ge4$ 的纯径向力、且径向分量非负的情形给出类似存在性; 本文的价值在于不要求这一径向结构或符号条件, 代价是其新定理从 $n\ge6$ 开始, 低维情形仍由其他结果补足. 对小外力, 本文还给出 $N_f\le\varepsilon(n)$ 时齐次 $$C^2$$ 解的唯一性; 对大外力则只证明至少存在一个解, 未给出唯一性.

从分析工具看, 端点权重是相对既有加权压力恒等式的重要变化. 文中指出, Frehse–Růžička 等工作 [4,6] 曾使用 $|x-y|^{s+2}$ 型权重, $$0<s<n-4$$ ; 本文受 Wang–Yang [28] 启发, 采用端点权重 $|x-y|^{n-2}$ , 并配合中心平均导出环带上的 Morrey 型速度控制. [28] 的相关论证属于有限能量正则解框架, 本文所做的是将其改造到非有限能量、严格齐次的去心域问题中. 该适配依赖齐次性对径向截断误差的抵消, 以及球面上的压力与势估计; 因此不能简单视为有限能量结果的直接套用.

更广泛地, 小数据临界空间的扰动理论通常依赖外力或解足够小; 本文对存在性不要求 $$N_f$$ 小, 但相应代价是只构造齐次解, 并依赖针对该特殊尺度结构的先验估计及 Leray–Schauder 度论证. Shi [20] 在四维对任意 $$(-3)$$ 次齐次 $L^{4/3,\infty}$ 外力证明自相似弱解存在, 其维数、解的正则性框架与本文的高维经典解结论不同. 有限能量解方面, 文中提及高维正则解存在性从 $\mathbb R^5$ 的结果逐步推进至更高维, Wang–Yang [28] 得到所有 $n\ge16$ 的正则解存在性; 这些工作处理的是不同能量/外力设定, 本文借用其压力加权技术, 并非直接推广其有限能量定理.

本文所给材料没有展开各先前结果的完整证明假设、最优性或常数依赖比较, 也没有证明这些先验估计在维数、外力正则性或解类上不可改进. 因而不能据此断言本文的假设最优, 亦不能比较不同工作的定量常数. 可确定的结论是: 一般齐次外力下, 自相似经典解的无小性存在范围被推进到任意 $n\ge6$ ; 该结论仍保留局部 Lipschitz 外力和齐次解设定, 大力唯一性及更弱外力正则性并未由本文所给结果解决.

4. 周期与有界区域中的定量热黏性达西极限

Quantitative thermoviscous Darcy limits in periodic and bounded domains

作者: Jiaojiao Pan, Luqi Wang

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09528v1

摘要翻译: 本文为具有温度依赖黏度和准静态热反馈的三维非均匀不可压流体建立了定量达西极限。区域为平坦环面，或边界为 $C^{3,β}$ 、 $$0<β<1$$ 的有界区域。孔洞的尺度为 $$$$ ，间距为 $$$$ ，其中 $$1<α<3$$ 。归一化之前，流体和固体的热导率分别为 $σ_\varepsilon^2κ_f$ 和 $σ_\varepsilon^2κ_s$ ，其中 $σ_\varepsilon^2\sim\varepsilon^{3-α}$ 。这一标度使热反馈在极限中得以保留。对于充分正则的参考解，并在显式吸收条件下，密度、速度和温度误差的平方由加权初始偏差以及环面情形下的 $\varepsilon^{α-1}+\varepsilon^{3-α}$ 、有界区域情形下的 $\varepsilon^{α-1}+\varepsilon^{(3-α)/2}$ 控制。一个与界面无关的温度估计控制黏度偏差，而一个加权 Stokes 残差保留了系数和单元压力交换子项。有界区域中的比较采用无散壁面修正和逐单元散度修复。我们还构造了固定参数下的微观弱解。在两种情形中，局部强有效解都需要额外的压缩条件；在有界区域情形下，还需要更强的边界正则性。

Comment: 56 pages, 0 figures

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

1. 研究对象和背景

本文研究三维含孔不可压缩流体在稀疏小障碍物极限下的热黏性达西近似。宏观区域 $$O$$ 为平坦环面 $\mathbb{T}^3$ 或边界为 $C^{3,\beta}$ 的有界连通区域 $\Omega$ 。参考障碍物 $$T_0$$ 按间距约为 $\varepsilon$ 的网格排列，孔洞尺度为 $a_\varepsilon=\varepsilon^\alpha$ ，其中 $1<\alpha<3$ 。因此孔洞相对单元逐渐变小，但障碍物总阻力仍在归一化后产生非平凡极限。微观流体域记为 $\Omega_\varepsilon=O\setminus H_\varepsilon$ ，速度在孔洞边界满足无滑移条件；有界域情形还在 $\partial\Omega$ 上满足无滑移条件。

归一化微观模型的未知量包括密度 $\rho_\varepsilon$ 、速度 $u_\varepsilon$ 、压力 $p_\varepsilon$ 与温度扰动 $\vartheta_\varepsilon$ 。其机械部分为输运方程、不可压缩约束以及带小惯性系数的变黏度动量方程：

\begin{aligned} &\partial_t\rho_\varepsilon+\operatorname{div}(\rho_\varepsilon u_\varepsilon)=0,\qquad \operatorname{div}u_\varepsilon=0,\\ &\sigma_\varepsilon^4\big[\partial_t(\rho_\varepsilon u_\varepsilon)+\operatorname{div}(\rho_\varepsilon u_\varepsilon\otimes u_\varepsilon)\big] -\operatorname{div}\big(2\sigma_\varepsilon^2\mu(\vartheta_\varepsilon)Du_\varepsilon\big)+\nabla p_\varepsilon =\rho_\varepsilon f-\vartheta_\varepsilon g. \end{aligned}

热方程是定义在整个流固复合体 $$O$$ 上的准静态椭圆方程：

-\operatorname{div}(\bar\kappa_\varepsilon\nabla\vartheta_\varepsilon)=\widetilde u_\varepsilon\cdot g, \qquad \bar\kappa_\varepsilon=\kappa_f\mathbf 1_{\Omega_\varepsilon}+\kappa_s\mathbf 1_{H_\varepsilon}, \qquad g=\nabla F.

其中 $\mu$ 光滑、有正上下界且 $\mu'$ 有界；流体和固体导热率 $\kappa_f,\kappa_s$ 固定为正数。热方程采用零均值归一化，有界域上取绝热边界条件。原始导热系数在归一化前分别为 $\sigma_\varepsilon^2\kappa_f$ 与 $\sigma_\varepsilon^2\kappa_s$ ，而阻力归一化尺度满足 $\sigma_\varepsilon^2\sim\varepsilon^{3-\alpha}$ 。这一配比使热反馈在极限中仍为一阶效应，而非随惯性消失。

相应的极限是密度输运与 Darcy 阻力律、椭圆热方程的耦合系统：

\begin{aligned} &\partial_t\rho+u\cdot\nabla\rho=0,\qquad \operatorname{div}u=0,\\ &\mu(\vartheta)M_0u+\nabla p=\rho f-\vartheta g,\\ &-\kappa_f\Delta\vartheta=u\cdot g. \end{aligned}

这里 $$M_0$$ 是由参考障碍物外部 Stokes 阻力问题确定的对称正定阻力矩阵；有界域上宏观速度满足 $u\cdot n=0$ ，温度满足 $\partial_n\vartheta=0$ 。因此边界极限保留不可穿透条件，但不要求宏观 Darcy 速度切向分量为零。

研究动机来自两条理论线索的交汇。经典周期小孔均匀化由 Allaire 等建立：三维中 $1<\alpha<3$ 对应 Darcy 区间， $\alpha=3$ 出现 Brinkman 修正， $\alpha>3$ 时孔洞对机械极限消失。对含输运密度的演化问题，既有工作已在 Darcy 区间建立定量收敛，但没有纳入本文这种温度依赖黏度与准静态热反馈的完整耦合。另一方面，热黏性反馈已在临界 Brinkman 区间及孔洞趋于消失的区间受到研究，但不能直接覆盖整个 Darcy 区间；已有临界稳定性分析也尚未给出本文所针对的全区间、周期域与有界域的定量比较。困难在于微观动能带有消失权重 $\sigma_\varepsilon^4$ ，不能直接给出未加权速度的 $$L^2$$ 控制；而变黏度又使微观应力系数与宏观温度系数之间产生误差。本文试图在 $1<\alpha<3$ 的完整范围内证明对密度、速度和温度的定量稳定估计，并把边界层所造成的额外损失明确纳入有界域结论。

2. 主要定理或主要结果

以下先列出摘录中可核实的周期域定理。令 $$q>3$$ ，微观解取 Definition 1.1 意义下的有限能弱解，密度有统一正上下界；参考 Darcy–热系统解具有 Theorem 1.3 所要求的正则性，并满足同样的密度界。令 $m=\mu(\vartheta)$ ，以加权微观 Stokes 问题定义速度提升 $w_\varepsilon\in V_\varepsilon$ ：

2\sigma_\varepsilon^2\int_{\Omega_\varepsilon}mDw_\varepsilon:D\phi\,dx =\int_{\Omega_\varepsilon}mM_0u\cdot\phi\,dx, \qquad \phi\in V_\varepsilon.

设 $\eta_\varepsilon^2=\|\widetilde w_\varepsilon-u\|_{L^2((0,T)\times\mathbb T^3)}^2$ ，并定义初始相对差异

D_{\varepsilon}^0= \frac{\sigma_\varepsilon^4}{2}\int_{\Omega_\varepsilon}\rho_\varepsilon^0|u_\varepsilon^0-u(0)|^2\,dx +\frac12\|\widetilde\rho_\varepsilon^0-\rho(0)\|_{L^2}^2.

误差量为

\mathcal E_\varepsilon(T)=\sup_{0\le t\le T}\|\widetilde\rho_\varepsilon(t)-\rho(t)\|_2^2 +\|\widetilde u_\varepsilon-u\|_{L_t^2L_x^2}^2 +\|\vartheta_\varepsilon-\vartheta\|_{L_t^2H_x^1}^2 +\|\vartheta_\varepsilon-\vartheta\|_{L_t^2L_x^\infty}^2.

在周期几何、温度依赖黏度吸收条件 $\chi_0\le 1/2$ 下，Theorem 1.5 对充分小的 $\varepsilon$ 给出

\mathcal E_\varepsilon(T)\le C_{T,q}\left(D_\varepsilon^0+\eta_\varepsilon^2 +|\kappa_s-\kappa_f|^2h_\varepsilon^{2/q}+\sigma_\varepsilon^3\right), \qquad q>3.

常数与微观弱解及 $\varepsilon$ 无关。该估计亦可用文中定义的提升初值误差 $E_\varepsilon^0$ 替代 $D_\varepsilon^0$ 。结合 Stokes 几何近似，取 $$q=4$$ 后得到 Corollary 1.6：

\mathcal E_\varepsilon(T)\le C_T\left(D_\varepsilon^0+\varepsilon^{\alpha-1}+\varepsilon^{3-\alpha}\right).

若 $D_\varepsilon^0\to0$ ，则密度在 $L_t^\infty L_x^2$ 、速度在 $$L_t^2L_x^2$$ 、温度在 $$L_t^2H_x^1$$ 及 $L_t^2L_x^\infty$ 中收敛，并且 $\mu(\vartheta_\varepsilon)\to\mu(\vartheta)$ 于 $L_t^2L_x^\infty$ 。若 $D_\varepsilon^0\le C\varepsilon^{\gamma_0}$ ，误差平方的阶为 $O(\varepsilon^{\gamma_{\rm sq}})$ ，其中 $\gamma_{\rm sq}=\min\{\gamma_0,\alpha-1,3-\alpha\}$ ，相应各范数的误差阶为 $O(\varepsilon^{\gamma_{\rm sq}/2})$ 。更一般地，若提升误差 $\eta_\varepsilon\le C\varepsilon^{\beta_{\rm lift}}$ ，Theorem 1.5 给出的平方误差指数为

\min\left\{\gamma_0,2\beta_{\rm lift},\frac{6(\alpha-1)}q,\frac{3(3-\alpha)}2\right\}, \qquad q>3.

其中当 $\kappa_s=\kappa_f$ 时可删去导热率不匹配项。

周期宏观解的存在唯一性由 Theorem 1.3 给出。整数 $s\ge3$ 、 $\rho_0\in H^s(\mathbb T^3)$ 且 $0<\rho_*\le\rho_0\le\rho^*$ ，并满足 $q_0\le1/2$ 时，存在 $$T_*>0$$ 的唯一强解，且

\rho\in C_tH^s\cap C_t^1H^{s-1},\quad u\in C_tH^s\cap C_t^1H^{s-1},\quad \vartheta\in C_tH^{s+2}\cap C_t^1H^{s+1},\quad p\in C_tH^{s+1}.

摘录给出的两个小量条件作用不同： $q_0\le1/2$ 用于宏观椭圆 Darcy–热映射的收缩及局部强解构造； $\chi_0\le1/2$ 用于相对能量论证中吸收黏度差异。固定 $\varepsilon$ 的微观有限能弱解存在性另行建立，不需要这两个耦合小量条件。

摘要明确报告有界域也有定量 Darcy 极限：平方误差由加权初始差异与 $\varepsilon^{\alpha-1}+\varepsilon^{(3-\alpha)/2}$ 控制，其中第二项是周期域没有的边界损失。然而，提供的正文摘录在周期域定理及 Corollary 1.7 处结束，没有给出有界域定理的编号、完整误差泛函、精确吸收常数或所有正则性假设；因此不能据此补写这些细节。摘录还说明有界域局部强宏观解要求比 $C^{3,\beta}$ 更强的边界正则性，但未在所给文本中列出具体阶数。

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

证明的首要障碍是退化动能与目标速度范数不匹配。微观能量中动能为 $\sigma_\varepsilon^4\int\rho_\varepsilon|u_\varepsilon|^2$ ，当 $\sigma_\varepsilon\to0$ 时它不能直接控制未加权的 $$L^2$$ 速度误差。作者利用与孔洞尺度相匹配、常数对 $\varepsilon$ 一致的穿孔 Poincaré 不等式

\|v\|_{L^2(\Omega_\varepsilon)}\le C_P\sigma_\varepsilon\|Dv\|_{L^2(\Omega_\varepsilon)}, \qquad v\in V_\varepsilon,

把耗散项 $\sigma_\varepsilon^2\|Du_\varepsilon\|_2^2$ 转化为未加权速度的 $$L^2$$ 控制。该步骤是达西尺度相对能量闭合的基础，而不是单纯利用微观动能。

其次，直接把宏观 Darcy 速度限制到穿孔域并非可用的微观无散、无滑移测试场，也不能准确记录局部障碍物阻力。作者冻结宏观黏度 $m=\mu(\vartheta)$ ，通过式 (1.21) 的加权 Stokes lifting $w_\varepsilon$ 构造满足微观散度与边界约束的比较速度。这样把误差拆成两部分：几何近似误差 $\widetilde w_\varepsilon-u$ ，以及微观速度相对提升场的稳定误差。前者由两尺度 Stokes 校正子与阻力矩阵 $$M_0$$ 控制，后者进入相对能量不等式。文中把两部分分别记为 $\eta_\varepsilon$ 与相对误差，避免将孔洞几何误差混入非线性稳定性估计。

变黏度带来更精细的困难。微观应力包含 $\mu(\vartheta_\varepsilon)$ ，而比较场的 Stokes 问题使用 $\mu(\vartheta)$ ；若只对系数作粗略一致有界估计，误差将与本来需要吸收的耗散同阶。作者先在整个流固复合域上控制温度，而非只在流体部分估计。热方程的椭圆结构及复合导热系数的统一正上下界，给出对可测系数仍一致的估计：若 $-\operatorname{div}(a\nabla\psi)=b$ 、 $\langle b\rangle=\langle\psi\rangle=0$ 且 $\kappa_*\le a\le\kappa^*$ ，则

\|\psi\|_{L^\infty}\le C_H\|b\|_{L^2}.

这使温度差的 $L_t^2L_x^\infty$ 控制传递为黏度差的控制，再由 $\|\mu(\vartheta_\varepsilon)-\mu(\vartheta)\|_\infty\le L_\mu\|\vartheta_\varepsilon-\vartheta\|_\infty$ 估计应力误差。常数 $\chi_0$ 的小量条件正是为将该黏度误差项吸收到黏性耗散中；它与宏观解的收缩条件 $$q_0$$ 不可混为一谈。

Stokes 近似本身也有变系数造成的交换子问题。参考阻力矩阵由常黏度参考障碍物的外部 Stokes 问题定义，但实际比较问题带有空间变化的 $$m(x)$$ 。作者构造的加权 Stokes 残差保留系数交换子与单元压力交换子，而不是把它们略去或假定系数在每个单元恒定；随后逐项估计这些残差，并将其与穿孔 Poincaré 控制及宏观正则性结合。摘要明确指出这是定量误差分析的关键组成。附录 A.1 记录两尺度构造，正文第 3 节把该构造、变量权重交换子估计与相对能量论证合并。所提供摘录未展示这些引理的具体逐项公式，故无法进一步核定各交换子项的精确范数界。

热方程系数在孔洞内为 $\kappa_s$ ，而极限只保留流体导热率 $\kappa_f$ 。孔洞体积分数满足 $h_\varepsilon\lesssim\varepsilon^{3(\alpha-1)}$ ，由此在周期稳定性估计中产生 $|\kappa_s-\kappa_f|^2h_\varepsilon^{2/q}$ 项， $$q>3$$ 。取 $$q=4$$ 后该项不超过最终几何误差阶。这说明导热率不匹配并未被忽略，而是借助小体积与温度椭圆估计量化。

有界域还需处理完整单元网格无法覆盖的边界条带。摘要指出作者结合 solenoidal wall correction 与 cellwise divergence repair：前者修正宏观比较场以满足外壁的不可穿透/微观无滑移构造要求，后者恢复单元校正中的散度约束。边界条带的厚度为 $O(\varepsilon)$ ，其代价反映为平方误差中的 $\varepsilon^{(3-\alpha)/2}$ ，而内部几何误差仍有 $\varepsilon^{\alpha-1}$ 。这也解释了有界域速率不能直接照搬环面结论。此部分具体修正场定义及引理细节未包含在提供的正文摘录中。

最后，宏观强解的构造依赖密度给定时的瞬时 Darcy–热椭圆系统。通过 $L^{-1}B$ 估计温度对速度的响应，配合阻力矩阵正定性与 $\mu'$ 有界性，建立椭圆解映射的收缩；再将所得速度用于密度输运方程并迭代闭合。微观弱解则按固定孔洞参数采用 Galerkin、能量不等式、密度输运的重整化以及热方程的变分解构造。作者特别区分这两类条件：稳定性估计只要求黏度误差吸收条件，宏观局部强解另需收缩条件，固定参数微观弱解存在不依赖两者。

4. 与之前工作的比较

本文首先延续 Allaire [1,2] 的三维小孔阻力分类及 Lu [13] 对 Stokes 不同孔径区间的统一处理。在 $1<\alpha<3$ 内，小孔阵列经过适当速度与时间归一化后产生 Darcy 阻力律；本文的有效阻力仍由参考障碍物的外部 Stokes 矩阵 $$M_0$$ 决定，但其前面出现非线性耦合系数 $\mu(\vartheta)$ 。相比只研究机械 Stokes/Darcy 均匀化的工作，新增的关键结构是温度既通过 $-\vartheta g$ 影响动量，又通过 $\mu(\vartheta)$ 改变阻力，并且温度由速度驱动的椭圆问题自洽确定。

对演化不可压缩系统，Lu 与 Yang [16] 处理过同类均匀流体系统；Pan [17] 研究了临界 Brinkman 区的输运密度，Lu、Pan 与 Yang [15] 研究了孔洞极小、机械极限恢复原系统的范围。更直接的基准是 Basarić、Oschmann 与 Pan [5]：他们在 Darcy 区间建立密度依赖不可压缩 Darcy 极限及定量收敛率，并指出弱能量控制下还需处理动量乘积 $\rho_\varepsilon u_\varepsilon$ 的紧性。本文沿用相对能量型比较框架，但把温度依赖黏度和准静态热反馈纳入，并把摘要所称的热黏性结果覆盖到完整区间 $1<\alpha<3$ 。本文并非只证明形式上的极限方程，而是对密度、速度和温度误差给出显式量化；周期域误差平方中的几何项为 $\varepsilon^{\alpha-1}+\varepsilon^{3-\alpha}$ 。

热反馈方面，Feireisl、Lu 与 Sun [9, 第 1 节式 (1.5)] 已在临界 Brinkman 区研究含温度依赖黏度的非齐次导热流体，使用的是 Dirichlet 温度条件。Lu、Pan 与 Wang [14] 研究 $\alpha>3$ 的孔洞消失区间，此时穿孔结构不再出现在机械极限中。文献 [18, Proposition 3.3 及 Lemmas 4.2–4.3] 对准静态热黏性模型的临界情形，在 Neumann 温度条件下给出定量稳定性估计，并已处理通过温度误差控制黏度差以及系数、单元压力交换子。本文的推进在于把这一类热黏性稳定性机制放入真正产生 Darcy 阻力的区间，并同时建立周期与有界几何下的比较。不能据此声称本文首次提出温度控制黏度或交换子估计，因为这些机制在 [18] 已有相关先例；其贡献在于把它们与 Darcy 尺度的穿孔 Stokes lifting 和完整孔径范围结合。

定量 Stokes 均匀化方面，Shen [19] 给出多孔介质定常 Stokes 流的尖锐收敛率；Höfer、Lu 与 Oschmann [10] 建立稀疏 Darcy 区域的定量校正估计，并分析有界域边界造成的额外损失；Jing、Lu 与 Prange [12] 对独立孔径与单元尺度的 Stokes 问题作统一定量分析。本文依赖这一几何校正理论，但因黏度权重随宏观温度变化，不能只套用常系数速度校正：需要在加权 Stokes 残差中显式保留系数交换子与单元压力交换子。周期域的误差同时包含 $\varepsilon^{\alpha-1}$ 与 $\varepsilon^{3-\alpha}$ ，反映孔与单元尺度两端的代价；有界域则由 wall correction 与逐单元散度修补产生摘要所述额外项 $\varepsilon^{(3-\alpha)/2}$ 。因此，本文没有消除边界损失，而是将其定量揭示出来。

假设与问题设定上，微观密度有统一正上下界，参考宏观解要求足够强的 Sobolev 正则性；周期域的局部强解定理要求整数 $s\ge3$ ，并附加 $q_0\le1/2$ 。定量稳定性还要求 $\chi_0\le1/2$ ，这是将温度引起的变黏度误差吸收到耗散中的条件。作者说明通过把外力 $$f$$ 缩小为 $\delta f$ ，两个小量参数均可随 $\delta$ 线性缩小，所以条件并非只允许零外力；但这仍是实质性的耦合限制，不能把定理解释成任意强热—力反馈下的全局稳定性。本文的局部强解只保证一段时间 $$[0,T_*]$$ ，不宣称全局强解。

尺度比较也须注意“平方误差”与“范数速率”的区别。周期结果给出误差平方为 $O(\varepsilon^{\min\{\alpha-1,3-\alpha\}})$ （假设初值误差更小），所以单项范数只得到相应指数的一半。对 $\alpha$ 接近 1 或 3，较小的端点指数主导，不能从公式中读出在整个区间统一的最佳速率。摘要称有界域平方误差为初值差异加 $\varepsilon^{\alpha-1}+\varepsilon^{(3-\alpha)/2}$ ；这意味着边界项改变了近 $\alpha=3$ 一端的速率。由于给出的正文未包含有界域完整定理，常数依赖、定理编号及其所有初值条件从提供内容中无法确认。

相较于 [11] 的可压缩相对能量分析，本文问题的密度耦合方式不同：这里密度由不可压缩速度输运，宏观动量服从密度依赖 Darcy 力平衡，而不是可压缩流体的惯性—压力结构。本文也没有证明热方程含时间惯性或热对流的模型；摘要明确将所用热模型称为 quasi-static，热惯性与热对流均不在方程中。最后，作者明确指出耦合估计的匹配下界，以及在更弱收缩/吸收假设下的稳定性仍属开放问题。因此目前的速率是所建估计框架中的上界，不应表述为已证明最优；作者是否在未提供的后文对各前人结果作了更多细节比较，从提供内容中无法确认。

5. 非单调剪切流的最优线性无粘阻尼与涡量耗尽

Optimal Linear Inviscid Damping and Vorticity Depletion for Non-monotonic shear flows

作者: Rajendra Beekie, Shan Chen, Hao Jia

类别: math.AP

发布日期: 2026-10-06

arXiv ID: 2610.08912v1

摘要翻译: 我们证明了矩形环面上一大类谱稳定剪切流 $$b(y)$$ 的最优点态线性无粘阻尼与涡量耗尽。这一结果以完全不同的方法推广了 \cite{CJWZ25} 中关于 Kolmogorov 流 $b(y) =\cos y$ 的线性无粘估计。关键的是，这两种方法都消除了涡量耗尽率与无粘阻尼率中看似存在的对数修正。我们的方法结合了参数子的点态估计与一个较简单内层问题的显式解，从而清楚地显示了对数项的消除。

Comment: 58 pages

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

1. 研究对象和背景

论文研究二维 Euler 方程在周期剪切流 $$(b(y),0)$$ 附近的线性长期动力学. 令 $\omega$ 为涡量扰动, $\psi$ 为流函数, 速度扰动为 $u=\nabla^\perp\psi$ , 则线性化方程为

\partial_t\omega+b(y)\partial_x\omega-b''(y)\partial_x\psi=0, \qquad \Delta\psi=\omega,

定义域为矩形环面 $\mathbb T_{2\pi\kappa}\times\mathbb T$ , 其中 $\kappa<1$ . 这里的关键非局部耦合项 $-b''(y)\partial_x\psi$ 来自 Euler 方程的涡量-速度关系, 不能将问题简化为被动标量输运 $\partial_t\omega+b(y)\partial_x\omega=0$ . 后者虽然因不同高度的剪切速度造成相位混合, 但不能反映临界层附近的涡量耗竭机制.

对 $$x$$ 作 Fourier 展开, 对每个非零频率 $\kappa k\in\mathbb Z\setminus\{0\}$ , 模态满足

\partial_t\omega_k+ikb(y)\omega_k-ikb''(y)\psi_k=0, \qquad (\partial_y^2-k^2)\psi_k=\omega_k.

等价地, 若 $$L_k g=b(y)g-b''(y)h$$ , 其中 $(\partial_y^2-k^2)h=g$ , 则 $\partial_t\omega_k+ikL_k\omega_k=0$ . 研究目标是刻画 $t\to\infty$ 时流函数、速度与涡量模态的点态衰减, 并特别解析 $$b'(y_*)=0$$ 的驻定流线附近涡量的消失阶数. 若剪切严格单调, 没有内部驻定点, 主要机制是相位混合及其引起的线性无黏阻尼; 非单调剪切则有临界点, 频谱积分中可能出现驻相贡献, 其强弱取决于线性化 Euler 的非局部项如何改变临界层涡量剖面.

本文考虑的剪切满足 $b\in C^6(\mathbb T)$ , 临界点集合恰为 $S=\{y_{1*},y_{2*}\}$ , 且在这两个点均非退化, 即 $|b''(y_{j*})|\in[\kappa_0,\kappa_0^{-1}]$ ; 同时 $\|b\|_{C^6}\leq\kappa_0^{-1}$ , 其中 $\kappa_0\in(0,1)$ 是定量常数. 还要求每个相关 $$k$$ 的算子 $$L_k$$ 没有复平面特征值, 且在连续谱 $\{b(y):y\in\mathbb T\}$ 上不存在广义嵌入特征值, 也称奇异极限模态. 这些谱稳定性条件排除会阻止衰减的离散或奇异谱分量. 文中指出, 推广到更多非退化临界点预计只是技术上更复杂, 但本文为聚焦核心机制只处理两个临界点.

研究这一问题有两方面动机. 一方面, 无黏阻尼描述扰动速度在无黏系统中的衰减, 其机制不是能量耗散, 而是涡量在细尺度上的相位混合; 它也是理解弱黏流体增强耗散和剪切流长期稳定性的线性基础. 另一方面, 临界点附近的涡量耗竭会额外压低驻相贡献, 从而影响速度的衰减阶. 既有一般谱稳定剪切流结果曾出现点态估计中的对数损失, 而 Rayleigh 方程临界层展开确实自然含有对数项, 因此曾有理由怀疑一般非单调剪切流的最优点态率必然带对数修正. 本文要填补的空白是: 在不依赖 Kolmogorov 剪切特殊结构的前提下, 对一类谱稳定周期非单调剪切流证明最优点态阻尼与二次涡量耗竭, 并说明临界层谱密度中的对数因子在真正决定演化的谱积分中会抵消.

作者以谱表示将演化化为 Rayleigh 型预解方程的谱密度正则性问题. 具体地, 对 $\epsilon>0$ 求解

\left(-\partial_y^2+k^2+\frac{b''(y)}{b(y)-\lambda+i\epsilon}\right)\psi_{k,\epsilon}(y,\lambda) =\frac{\omega_{0k}(y)}{b(y)-\lambda+i\epsilon},

再将 $\epsilon\to0^+$ 的两侧边界值之差对 $\lambda$ 积分. 远离临界值时, 奇异乘子可结合谱稳定性通过极限吸收原理处理; 接近临界值时, $$b(y)-b(y_*)$$ 呈二次退化, 预解算子的有效势具有临界尺度 $$2/|y-y_*|^2$$ , 不能作为普通小扰动. 因而本文的问题既是频谱稳定性问题, 也是一个临界逆平方势下的局部奇异分析问题. 论文严格证明的是线性估计; 摘录所述非线性亚稳态结果属于既有 Kolmogorov 流工作, 不能视为本文结论.

2. 主要定理或主要结果

主要结论为定理 1.3 和定理 1.4. 下述符号 $\lesssim$ 中的常数可依赖于剪切流及定量谱稳定性参数, 但不依赖于时间.

定理 1.3 假设 $\omega\in C([0,\infty),H^4(\mathbb T_{2\pi\kappa}\times\mathbb T))$ 是上述线性化方程的解, $\omega_0\in H^4$ , 并满足对每个 $$y$$ 的横向零均值条件以及流函数的全空间零均值规范:

\int_{\mathbb T_{2\pi\kappa}}\omega_0(x,y)\,dx=0, \qquad \int_{\mathbb T_{2\pi\kappa}\times\mathbb T}\psi(t,x,y)\,dx\,dy=0.

在 Assumption 1.1 的正则性、非退化临界点和谱稳定性条件下, 流函数与速度满足点态无黏阻尼估计

\|\psi(t)\|_{L^\infty}\lesssim \langle t\rangle^{-2}\|\omega_0\|_{H^4},

\|u_x(t)\|_{L^\infty}\lesssim \langle t\rangle^{-1}\|\omega_0\|_{H^4}, \qquad \|u_y(t)\|_{L^\infty}\lesssim \langle t\rangle^{-2}\|\omega_0\|_{H^4}.

其中 $\langle t\rangle$ 表示通常的有界化时间权重. 涡量可分解为 $\omega=\omega_{\rm loc}+\omega_{\rm nloc}$ , 且

|\omega_{\rm loc}(t,x,y)| \lesssim \min\{|y-y_{1*}|^2,|y-y_{2*}|^2\}\|\omega_0\|_{H^4}, \qquad |\omega_{\rm nloc}(t,x,y)| \lesssim \langle t\rangle^{-1}\|\omega_0\|_{H^4}.

因此局部项在任一临界点至少具有二次空间耗竭, 非局部剩余项则按 $\langle t\rangle^{-1}$ 衰减. 这是一个分解后的点态陈述, 不应误读为整个涡量在所有位置都具有同一衰减率.

定理 1.4 给出每个 Fourier 模态的精细估计. 对 $\kappa k\in\mathbb Z\setminus\{0\}$ , $y\in\mathbb T$ , $\theta\in(0,1/4]$ , 令 $M_k=\|\omega_{0k}\|_{H_k^4}$ , 其中

\|f\|_{H_k^m}^2=\sum_{\alpha=0}^m|k|^{2(m-\alpha)}\|\partial_y^\alpha f\|_{L^2}^2.

若 $(\psi_k,\omega_k)$ 满足模态方程, 则

|\psi_k(t,y)|\lesssim \langle t\rangle^{-2}|k|^{-3+\theta}M_k,

|\partial_y\psi_k(t,y)| \lesssim\left(\langle t\rangle^{-3/2}|k|^{-5/2+\theta} +\langle t\rangle^{-1}|b'(y)|\,|k|^{-2+\theta}\right)M_k,

|\omega_k(t,y)| \lesssim \min\left\{ \left(\langle t\rangle^{-1}|k|^{-2+\theta} +|b'(y)|^2|k|^{-1+\theta}\right)M_k, |k|^{-3+\theta}M_k\right\},

|\partial_y(e^{iktb(y)}\omega_k)(t,y)| \lesssim \min\left\{ \left(\langle t\rangle^{-1/2}|k|^{-3/2+\theta} +|b'(y)|\,|k|^{-1+\theta}\right)M_k, |k|^{-2+\theta}M_k\right\},

|\partial_y(e^{iktb(y)}\psi_k)(t,y)| \lesssim \langle t\rangle^{-3/2}|k|^{-5/2+\theta}M_k, \qquad \|(\partial_y,k)^2(e^{iktb}\omega_k)\|_{L^2} \lesssim |k|^{-1+\theta}M_k.

这里 $e^{iktb(y)}$ 是沿线性剪切输运去除主要相位后的 profile. 所有模态估计允许任意小的 $|k|^\theta$ 损失, $\theta\in(0,1/4]$ ; 因而结果并非在横向频率上完全无损. 作者指出, 该损失与临界层内解对数项的代数控制有关, 此外某些估计还有额外的 $|k|^{1/2}$ 损失.

特别地, 定理 1.4 的 $\partial_y(e^{iktb}\psi_k)$ 衰减为 $\langle t\rangle^{-3/2}$ , 改进了 [12, Theorem 1.2] 中相应的 $\langle t\rangle^{-6/5}$ 率. 但两者数据空间分别为 $$H_k^4$$ 与 $$H_k^3$$ , 故不能不加条件地视为同一正则性下的直接比较. 除此之外, 作者称主要时间衰减率和二次耗竭率与 Kolmogorov 流的结果一致, 并推广到本文的谱稳定剪切流类.

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

证明的主框架是谱表示加上对 Rayleigh 方程谱密度的定量控制. 对每个 $k\ne0$ , 把演化写作 $\partial_t\omega_k+ikL_k\omega_k=0$ . 由谱表示, 流函数由预解方程两侧边界值之差的振荡积分给出:

\psi_k(t,y)=-\frac{1}{2\pi i}\lim_{\epsilon\to0^+} \int_{\Sigma}e^{-ik\lambda t} \bigl(\psi_{k,\epsilon}^-(y,\lambda)-\psi_{k,\epsilon}^+(y,\lambda)\bigr)\,d\lambda, \qquad \Sigma=\{b(y):y\in\mathbb T\}.

因此要获得时间衰减, 关键不是单独对每个固定 $\lambda$ 粗略估计预解解, 而是控制谱密度的临界层奇异结构、其关于 $\lambda$ 的正则性, 并在谱积分时保留两侧分支之间的抵消.

第一项障碍是连续谱上的奇异乘子 $(b(y)-\lambda+i\epsilon)^{-1}$ , 以及谱稳定性如何转化为对 $\epsilon$ 一致的可解性. 对远离临界值的非退化谱区, 作者将 Rayleigh 方程改写成椭圆积分方程, 以 $-\partial_y^2+k^2$ 的逆为主算子, 将含 $b''/(b-\lambda+i\epsilon)$ 的项纳入积分方程. 极限吸收原理 (LAP) 在此提供一致控制: 在没有特征值和广义嵌入特征值的前提下, 可控制 $\epsilon\to0$ 时的边界值. 但直接对谱密度作高阶谱参数微分会产生临界层奇异项, 因而作者不是假定这些导数均匀有界, 而是显式抽取奇异项, 对扣除奇异展开后的余项再应用 LAP. 这一步是获得耗竭、阻尼和 profile 控制所需高阶谱正则性的基础.

第二项、也是核心障碍, 出现在 $\lambda$ 接近临界值 $$b(y_*)$$ 时. 因为 $$b'(y_*)=0$$ 而 $b''(y_*)\ne0$ , 临界层横向尺度约为 $|\lambda-b(y_*)|^{1/2}$ . 在远离内层但仍靠近 $$y_*$$ 的环带上, 势项近似为

\frac{b''(y)}{b(y)-\lambda+i\epsilon} \approx \frac{2}{|y-y_*|^2}.

这是临界逆平方势, 不能把它当作有界小扰动交给普通椭圆估计. 作者先作修正

\psi_{k,\epsilon}(y,\lambda) =\phi_{k,\epsilon}(y,\lambda)+\frac{\omega_{0k}(y)}{b''(y)},

使 $\phi_{k,\epsilon}$ 满足右端为 $(\partial_y^2-k^2)(\omega_{0k}/b'')$ 的修正 Rayleigh 方程. 随后把主要逆平方势纳入一个改造后的主算子, 而非把它丢进扰动项; 对该主算子构造 Green 函数并获得点态核界. 余下项才组成积分算子进行扰动控制. 为捕捉临界点附近的衰减权重, 作者使用依赖于 $\lambda,\epsilon$ 和 $$k$$ 的加权空间, 其基本空间尺度可写为 $\varrho(y;\Lambda)\simeq |y-y_*|+\delta(\Lambda)$ , 并结合 $|k|^{-1}$ 截断相应权重. 该权重体系量化了近临界谱参数与空间距离之间的尺度关系. 单靠这些加权估计最多只能逼近、却不能直接达到二次耗竭端点, 因为局部谱密度具有对数因子.

真正消除对数损失的关键创新, 是把临界层内问题单独抽出并显式求解. 作者考察简化的内层方程

-\partial_y^2\Phi_\epsilon^\iota +\frac{b''(y)}{b(y)-\lambda+i\iota\epsilon}\Phi_\epsilon^\iota=1, \qquad \iota\in\{+,-\},

并在局部边界条件下用齐次解与降阶法构造显式表示. 在局部偶对称情形, 一支齐次解可取 $\phi(y,\lambda)=b(y)-\lambda+i\iota\epsilon$ , 另一支可由

H_r(y,\lambda)=\phi(y,\lambda)\int_y^1\frac{ds}{\phi(s,\lambda)^2}

构造. 这一表示显示, 内解可分成在 $b(y_\lambda)=\lambda$ 处随 $\epsilon\to0$ 消失的一部分, 以及尺度约为 $y_\lambda^2$ 、但不带同一对数增长的一部分. 由于真实演化依赖的是 $\Phi_\epsilon^+-\Phi_\epsilon^-$ 及临界层取值等特定组合, 而不是单独的单侧内解, 将两支相减并对 $\lambda$ 作谱积分后, 对数依赖会从决定领先阶的贡献中消失. 作者也给出分布意义下的解释: 极限两侧之差由非临界点的临界层产生, 其源项集中在 $b(y_\lambda)=\lambda$ 的位置; 产生该差值的临界层贡献不保留导致表面损失的对数因子. 这说明局部谱密度的对数奇异并不必然转化为最终演化的对数损失.

内层显式解只捕捉领先结构, 不包含一般 $$k$$ 依赖, 也不能完全代表真实修正谱密度方程的非恒定右端. 因而证明还需引入余项 $E_{k,\epsilon}^\iota$ , 处理诸如 $k^2\Phi_\epsilon^\iota$ 的贡献, 并控制高阶谱正则性. 作者将这些误差估计转化为任意小的 $|k|^\theta$ 损失, 而不是宣称完全无损的频率估计. 最后, 对谱表示中的 $\lambda$ 积分作分部积分并利用谱密度及其导数估计, 得到定理 1.4 的时间衰减; 再对频率求和, 得到定理 1.3 的空间点态估计及涡量分解.

需注意, 提供的 PDF 摘录包括引言和前述框架说明, 未包含第 3 至第 8 节的完整引理、Green 函数常数、加权空间精确定义及全部误差估计证明. 上述关于技术路线和创新点的说明依据摘要及引言中的明确陈述; 更细的引理级证明细节从提供内容中无法确认.

4. 与之前工作的比较

与 [12] 的 Kolmogorov 流结果相比, 本文最重要的推进是把最优线性点态无黏阻尼和二次涡量耗竭从 $b(y)=\cos y$ 扩展到一类满足 Assumption 1.1 的谱稳定周期非单调剪切流. [12] 的线性分析利用 Kolmogorov 流特有的几乎守恒二阶量及相干ercive算子不等式; 本文明确采用不同方法, 通过谱表示、临界层改造 Green 函数和显式内层问题处理一般背景流. 因而结论表明, 在本文这一线性范围内, Kolmogorov 流并非具有最优耗竭率的唯一特殊例子. 不过, 本文不是将 [12] 的非线性亚稳态定理推广到一般剪切流: 它证明的是线性估计, 不给出一般流的非线性稳定性或黏性增强耗散结论.

与早期针对一般谱稳定剪切流的点态分析 [8, Theorem 2.1] 及 [8,9] 的 Rayleigh 方程研究相比, 本文正面处理了临界层展开中出现的对数项. [8] 曾提出该对数可能导致点态耗竭及阻尼率的对数损失; 本文说明, 单侧谱密度中确有自然的对数结构, 但在谱表示所涉及的两侧分支差及谱参数积分中, 领先对数贡献发生抵消. 所以主要增进不是证明局部预解解处处无对数, 而是识别真正进入时间演化的组合并证明其没有预期的对数损失. 作者也指出, [8,9] 所用表示更接近 Laplace 反演, 积分路径不是闭合曲线, 因而本文所用抵消在那些表示中不易直接看出; 作者并未据此断言此前结果无法获得同一抵消.

与 Wei, Zhang 和 Zhao 的工作比较, [24] 已对一类非单调剪切流证明涡量耗竭, 并在对称性假设下建立最优 $$L^2$$ 无黏阻尼估计; [25] 研究 Kolmogorov 流的线性无黏阻尼及增强耗散. 这些工作直接构造谱密度, 而本文更接近 [15] 的预解方程与谱密度正则性框架, 重点在临界层局部分析以及对数抵消. 因此可区分其结论侧重点: [24] 的陈述包括对称性条件下的 $$L^2$$ 阻尼, 本文突出的是一般点态估计和临界点二次耗竭; 但不能仅由引言判断两组假设存在简单的包含关系, 也不应将其称为无条件放宽了 [24] 的全部假设.

本文亦延续 [15] 及 [16] 的分析思路. 作者说明, 构造 $\Phi_\epsilon^\iota$ 的动机与单调涡问题中 $$k=1$$ 的情形有关, 在那里 Rayleigh 方程的 Green 函数有较简单的表达, 两个谱分支之间的抵消带来局部化性质. 对比 [4] 关于严格单调径向涡的线性轴对称化与涡量耗竭结果, 本文的背景是周期非单调剪切流, 临界结构及算子几何不同, 不能直接互换结论. [6] 曾对具有两个非退化临界点的周期剪切流证明对黏度一致的无黏阻尼、涡量耗竭和增强耗散估计, 但耗竭结果恰未达到二次端点; 本文在线性无黏估计中补上该二次端点, 代价是采用更强的数据正则性和带小频率损失的模态界. 摘录没有给出 [6] 与本文所有参数、函数空间的完整逐项对照, 故不能进一步断言每项估计均严格增强.

在单调剪切流方向, Wei, Zhang 和 Zhao [23] 在有限通道证明尖锐线性速度衰减及 Sobolev 散射, [19] 给出另一证明和精确点态渐近, [18] 在 Gevrey 正则性及边界附近局部化等条件下研究谱稳定单调剪切流. 这些结果的几何设定为有限通道且没有本文所研究的周期内部非单调临界点, 因而不能直接推出驻定流线附近的二次涡量耗竭. 非线性方面, Bedrossian 和 Masmoudi [5] 在 Couette 流附近证明 Gevrey 小扰动的无黏阻尼; Ionescu、第三作者 [17] 以及 Masmoudi 和 Zhao [22] 将非线性阻尼扩展到通道中的若干谱稳定单调剪切流, 并要求 Gevrey 正则性及适当局部化. 这些非线性定理与本文的线性点态定理在模型假设、正则性类别和结论性质上均不同.

定理 1.4 的频率损失和正则性也是比较时不可忽略的代价. 本文取 $$H_k^4$$ 初值, 并允许任意 $\theta>0$ 的 $|k|^\theta$ 损失; 作者解释, 损失部分来自把内解中的对数项控制为代数损失, 部分来自证明开端点态界中的 $|k\delta(\Lambda)|^{1/2}$ 因子. 相比 [12] 的 $$H_k^3$$ 数据, 本文对 profile 流函数导数给出更快的 $\langle t\rangle^{-3/2}$ 衰减, 而 [12] 相应为 $\langle t\rangle^{-6/5}$ , 但由于初值正则性不同, 这不是同一假设下的纯粹改进. 作者还指出, 二次耗竭端点成立并不意味着所有估计都达到最优正则性要求.

中文标题: Trudinger抛物方程的非负黏性解与弱解

摘要翻译: 我们研究方程

中文标题: 锥流形上临界电磁薛定谔算子的 Carleman 估计

摘要翻译: 我们在维数 $d\geq3$ 的锥奇异空间 $$(X,g)$$ 上，建立了关于带有缩放临界电磁奇异势的薛定谔算子 $H_{A,V}$ 的 $$L^p$$ – $$L^q$$ 型 Carleman 估计，其中度量为 $$g=dr^2+r^2h$$ ，且 $X=C(Y)=(0,\infty)_r\times Y$ 是以闭黎曼流形 $$(Y,h)$$ 为底的乘积锥。更确切地说，我们证明了

中文标题: 圆柱形区域中的 Neumann 薛定谔估计

摘要翻译: 我们针对三维圆柱形区域 $Ω\subset\mathbb{R}^{3}$ 中满足齐次 Neumann 边界条件的半经典薛定谔方程，建立了尖锐的局部时间色散估计和整体 Strichartz 估计。部分平坦的边界导致纵向方向上的曲率退化，并产生持续的掠射相互作用，使圆柱形情形有别于严格凸区域。在谱层面上，Neumann 条件体现为 Airy 导数的零点取代了与 Dirichlet 边界条件相关的 Airy 零点。

利用半经典微局部分析、振荡积分估计以及适用于 Neumann 反射的 Airy–Poisson 求和公式，我们为局部化的薛定谔传播子获得了一致的色散界。薛定谔相位的二次结构使得低频区域能够得到一致处理；结合边界层分析，进而得到带有导数损失的整体 Strichartz 估计

arXiv ID: 2610.10188v1

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

摘要: Let $n\ge2$ , $$0<s<1$$ , and $$p,q>0$$ . We prove a Liouville theorem for the fractional Lane–Emden system

(-Δ)^s u=v^p,\qquad (-Δ)^s v=u^q, \qquad u, v>0 \qquad\text{in }\R^n.

More precisely, we show that the system does not have a strictly positive entire solution whenever

\frac1{p+1}+\frac1{q+1}>\frac{n-2s}{n}.

No radial symmetry, global boundedness, finite-energy assumption, or prescribed decay at infinity is required. Our proof adapts the localized potential-kernel virial and source-layer interval-pressure method recently introduced for the classical Hénon–Lane–Emden system. The basic reason the method also works in the fractional setting is simple: the Riesz kernel associated with $$(-Δ)^s$$ has the same logarithmic derivative structure as the Newton kernel, with $$n-2$$ replaced by $$n-2s$$ . However, two genuinely nonlocal points require special treatments. When $2s\le1$ , the individual kernel-gradient terms are not locally absolutely integrable, so the two equations must be combined before the diagonal limit is taken. When $$2s>n-1$$ , the kernel restricted to a line is not integrable at infinity, and the interval comparison must therefore be formulated using nonnegative extended integrals. After these issues are resolved, a localized virial identity, a one-dimensional interval-pair inequality, and an averaged source-layer estimate yield a universal local energy bound. The subcritical scaling then forces the same energy to diverge, giving the desired contradiction.

8. 洛伦兹–闵可夫斯基平均曲率方程径向节点解的塌缩与饱和

Collapse and saturation for radial nodal solutions of a Lorentz–Minkowski mean curvature equation

作者: Alberto Boscaggin, Francesca Colasuonno, Ricardo Ziegele

类别: math.AP, math.CA

发布日期: 2026-10-07

arXiv ID: 2610.10166v1

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

摘要: We consider the Dirichlet problem for the Lorentz–Minkowski mean curvature operator in a radial setting,

-\operatorname{div}\left(\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right) = λu + μg(u) \quad \text{in } \mathcal B_R, \qquad u = 0 \quad \text{on } \partial\mathcal B_R,

on a ball of radius $$R$$ centered at the origin $\mathcal B_R \subset \mathbb{R}^N$ , where $λ, μ\geq 0$ are parameters, and the nonlinearity $$g$$ satisfies suitable growth assumptions at zero. We first prove an a priori dichotomy for the asymptotic behaviour, as $μ\to +\infty$ , of solutions with a prescribed number of zeros: either they converge uniformly to $$0$$ , or they converge to a piecewise affine limit function $u_\infty$ , with $|u_\infty'|=1$ a.e., having the same nodal properties. We then show that, when the number of zeros is appropriately prescribed, both alternatives are actually realized. More precisely, building on the multiplicity result in [A. Boscaggin, F. Colasuonno, and R. Ziegele, \emph{Positive and nodal solutions for the Minkowski mean curvature equation: multiplicity and asymptotics}, arXiv:2607.15956 (2026)], we refine the shooting construction therein to obtain a family of small solutions converging to zero and, through a backward shooting argument, a family of large solutions converging to a saturated piecewise affine profile.

9. 二维空间形式中环域第二 Neumann 特征值的极大化者

Maximisers for the second Neumann eigenvalue of annuli in two-dimensional space forms

作者: Luigi Provenzano, Alessandro Savo

类别: math.SP, math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10119v1

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

摘要: We prove a sharp Szegö-Weinberger-type inequality for balanced doubly connected domains in $\mathbb S^2$ , $\mathbb R^2$ and $\mathbb H^2$ . More precisely, the first positive Neumann eigenvalue is bounded above by that of the corresponding rotationally symmetric annulus, determined by the area of the domain and the area of the smallest component of the complement. Equality holds only for the rotationally symmetric annulus. We also show that the balancing assumption is essential: if we drop it, the inequality fails in general.

10. 单连通平面区域上正的 Trudinger–Moser 临界点的先验 Dirichlet 能量界

A priori Dirichlet energy bounds for positive Trudinger–Moser critical points on simply connected planar domains

作者: Hongtao Hu, Qiaoran Wu, Wenming Zou

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.10086v1

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

摘要: \noindent Let $\Om\subset\R^2$ be a smooth bounded simply connected domain. We prove that all positive solutions of $-Δu=θue^{u^2}$ , with $$θ>0$$ and zero Dirichlet boundary data, have Dirichlet energy bounded by a constant depending only on $\Om$ . Consequently, the Trudinger–Moser functional has no nonnegative constrained critical points at sufficiently large prescribed energies. The proof combines a weighted Pohozaev identity obtained after conformal change of variables, concentration analysis of normalized measures, and local radial comparison. The comparison hypotheses are obtained from local integral estimates, without an a priori energy bound. An estimate for the exterior Green potential then excludes sequences of unbounded energy.

11. 双中心 Thomas-Fermi-Dirac-von Weizsäcker 理论中电离猜想的渐近中性

Asymptotic Neutrality for the Ionization Conjecture in the Two-Center Thomas-Fermi-Dirac-von Weizsäcker Theory

作者: Lu Chen, Yong Wu

类别: math-ph, math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09997v1

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

摘要: The ionization conjecture for the Thomas-Fermi-Dirac-von Weizsäcker model asks how many electrons a given nuclear configuration can bind. So far, only the single-center case has been settled by Frank, Nam, and Van Den Bosch, while the original molecular case has still remained open. We advance this conjecture in the two-center case. We prove that for two distinct nuclei of total charge $$Z$$ , the number $$N$$ of bound electrons satisfies $N\le Z+C Z^{153/154}(1+\log Z)^{3/8}$ , with constants independent of the nuclear positions and the nuclear charges. The proof relies on a comparison with the neutral Thomas-Fermi density and on localization and exterior $$L^1$$ -estimates coupled through the screened potential. Our results could be extended to molecules with any fixed number $$K$$ of nuclei.

12. 小 ADM 角动量定常黑洞的刚性

Rigidity of stationary black holes with small ADM angular momentum

作者: Alexandru F. Radu

类别: math.AP, gr-qc

发布日期: 2026-10-07

arXiv ID: 2610.09729v1

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

摘要: We prove global rigidity of smooth asymptotically flat stationary vacuum black holes with sufficiently small ADM angular momentum, under global regularity, bifurcation, and maximal-hypersurface assumptions, with a threshold depending on fixed geometric bounds. This answers the question of Alexakis, Ionescu, and Klainerman concerning replacement of their smallness assumption on the stationary field at the bifurcation sphere by smallness of the angular momentum at infinity. The main step establishes Kerr rigidity near infinity for arbitrary angular momentum. We transform the vacuum metric into an Einstein–Maxwell family and compare null focusing at its limiting end with the area–charge inequality on compact maximal hypersurfaces, constructed by continuation through the family. Equality determines both the transformed metric and its stationary field, from which the inverse transformation recovers Kerr. Two Kerr identities then give the horizon estimate required for the global conclusion.

13. 次黎曼流形上最优传输的稳定性

Stability of optimal transport on sub-Riemannian manifolds

作者: Bang-Xian Han, Zhuo-Nan Zhu

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

发布日期: 2026-10-07

arXiv ID: 2610.09688v1

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

摘要: We study the stability of optimal transport for the squared Carnot–Carathéodory distance. We prove the sharp $W_1^{1/4}$ stability estimate for optimal transport maps on complete Riemannian and fat sub-Riemannian manifolds, assuming bounded source support and an upper density bound. On John domains with two-sided density bounds, we obtain logarithmic $$L^2$$ stability of Kantorovich potentials on complete smooth sub-Riemannian manifolds that are equiregular near the source, with arbitrary compact targets. For potentials, we obtain every Hölder exponent $$0<α<1/2$$ on two-generating structures, and the exponent $$1/2$$ in the Riemannian and fat settings and on all step-two Carnot groups. Three-atom examples show that the map and potential exponents with respect to $$W_1$$ cannot exceed $$1/4$$ and $$1/2$$ , respectively, on any smooth sub-Riemannian manifold of horizontal rank at least two. We also construct smooth transport families whose target variation of order $$t$$ in $$W_1$$ produces map variation of order $t^{1/s}$ in an equiregular region of step $$s$$ . The map estimates follow from coercivity of the duality defect, while the potential estimates follow from quantitative concavity of the Kantorovich functional.

14. 正则化下最优传输的定量稳定性

Quantitative stability of optimal transport via regularization

作者: Songbo Wang, Xiaozhen Wang

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

发布日期: 2026-10-07

arXiv ID: 2610.09640v1

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

摘要: We prove quantitative stability estimates for quadratic optimal transport maps by regularizing a Brenier potential and estimating the error in the duality gap. The source has an $$L^p$$ density, $$p>1$$ , relative to a probability measure with a BV density. When one target lies in a fixed ball, we obtain the $$W_2$$ Hölder exponent $$(p-1)/(4p-2)$$ . The constant depends on the dimension through three explicit source quantities: the variance, the total variation of the reference density and the $$L^p$$ norm of the weight. The proof uses a second-order bound on the averaged regularized Fenchel gap. By restricting the slopes of the potential, we also treat targets with a bounded moment of any order greater than two. In both estimates, the condition is imposed on one target, while the other can be any probability measure with finite second moment. For Gaussian and isotropic log-concave sources, the constants grow polynomially with the dimension. For $$L^p$$ changes of Gaussian measure, the factor in the bounded-target estimate is $d^{(p-1)/(4p-2)}$ . For each $$p$$ , a fixed source in two dimensions proves optimality of both stability exponents in this source class. A Gaussian construction provides polynomial lower bounds on the dimension dependence.

15. 稳定自由边界极小超曲面的正则性与紧性理论

Regularity and compactness theory of stable free-boundary minimal hypersurfaces

作者: Costante Bellettini, Martin Man-chun Li, Davide Parise, Lorenzo Sarnataro

类别: math.DG, math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09596v1

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

摘要: We establish the free-boundary version of Schoen-Simon’s regularity and compactness theory for stable minimal hypersurfaces in a complete $$(n+1)$$ -dimensional Riemannian manifold-with-boundary, following the intrinsic PDE scheme introduced by the first-named author. The key step is to prove sheeting theorems in the two possible scenarios in which local weak flatness can occur near a point on $\partial M$ : flatness with respect to $\partial M$ , and flatness with respect to a reference hypersurface-with-boundary meeting $\partial M$ orthogonally. We obtain these theorems via $\varepsilon$ -regularity results for geometrically adapted tilt functions that quantify flatness while keeping track of the ambient geometry. These tilt functions satisfy nonlinear elliptic PDEs on the hypersurface which are amenable to an intrinsic analysis via De Giorgi iteration, made possible by the weak Caccioppoli-type inequalities obtained from stability. Both results apply to immersed hypersurfaces with a singular set of locally finite $$(n-2)$$ -dimensional Hausdorff measure. When specialised to embeddings, they yield compactness and regularity: a sequence of stable free-boundary embedded minimal hypersurfaces with uniformly bounded area and singular sets of locally finite $$(n-2)$$ -measure admits a subsequence converging to a free-boundary minimal hypersurface that is smoothly embedded away from a singular set of Hausdorff dimension at most $$n-7$$ . Convergence is smooth and graphical, possibly with multiplicity, away from this singular set. As an application, we extend to arbitrary dimension the free-boundary Almgren-Pitts existence theory developed by the second-named author with X. Zhou and prove that every compact Riemannian manifold-with-boundary of dimension $$n+1$$ contains a free-boundary minimal hypersurface smoothly embedded outside a singular set of Hausdorff dimension at most $$n-7$$ .

16. 对数 Hardy 算子的第一狄利克雷特征值的 Faber–Krahn 不等式

Faber-Krahn inequality for the first Dirichlet eigenvalues of the logarithmic Hardy operator

作者: Ying Wang, Tao Zhang, Wanwan Wang

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09578v1

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

摘要: The purpose of this paper is to study Faber–Krahn inequality of Dirichlet eigenvalues $\{ λ^{\ln,μ}_{k}(Ω)\}_{k\in \N}$ for the logarithmic Hardy operator

\mathcal{L}_μ=(-Δ)^{\ln}+2μ\log\frac{1}{|x|}

on a bounded Lipschitz domain $Ω\subset\mathbb{R}^{N}$ containing the origin, with $$μ>-1$$ . We establish a Faber–Krahn inequality for $μ\in(-1,0)$ , the ball centered at the origin minimizes the first eigenvalue at fixed volume, with equality only for that ball. Finally, we show this inequality fails for $$μ>0$$ via an explicit two-ball-and-tube construction.

17. 关于指数位于圆盘内的 Lane-Emden 猜想的新结果

New result on Lane-Emden conjecture with exponents in a disk

作者: Haoyang Lu, Zhitao Zhang

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09526v1

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

摘要: We obtain new results on Lane-Emden conjecture to prove a Liouville theorem for the Lane-Emden system

\begin{cases} -Δu=v^p,& x\in \mathbb{R}^N,\\ -Δv=u^q,& x\in \mathbb{R}^N,\end{cases}

with $N\ge3$ , $$p,q>0$$ , $$pq>1$$ , and

\left(p-\frac2{N-2}\right)^2+ \left(q-\frac2{N-2}\right)^2\le\frac{2N^2}{(N-2)^2},

the system has no positive classical solution as $$(p,q)$$ in the disk unless $$p=q=(N+2)/(N-2)$$ , no growth or decay assumptions are imposed, and the disk is tangent to the critical hyperbola. Especially, for $N\ge5$ , the disk contains a nonempty open set not covered by the criteria of Busca-Manásevich~\cite{BM} and Souplet~\cite{Souplet}, or by the explicit conditions of Li-Li-Wei~\cite{LLW}. After reducing the exponent range by known Liouville criteria, we first construct vector fields to derive a divergence inequality, then apply Sobolev embedding theorem, Gagliardo-Nirenberg interpolation inequality, and Young’s inequality to give a uniform local integral bound $\int_{B_1}(u^rv^{2p}+u^{2q}v^s)dx\le C(N,p,q)$ for suitable weights for any positive solution $$(u,v)$$ , finally the nonexistence of positive classical solutions follows by scaling.

18. 非一致椭圆非散度型方程的对数型 Hessian 估计

Logarithmic Hessian estimates for non-uniformly elliptic equations in non-divergence form

作者: Jongmyeong Kim, Se-Chan Lee

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09494v1

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

摘要: We establish uniform logarithmic Hessian estimates for solutions of non-uniformly elliptic equations in non-divergence form. The proof is based on a measure estimate from convex analysis without localization or covering arguments. Moreover, we construct a counterexample that rules out uniform power-type Hessian estimates and shows the sharpness of the logarithmic exponent in the plane. Finally, we extend our estimates to strong solutions and apply them to obtain regularity results for Grushin-type equations.

19. 2-和 Hessian 方程的内部 $$C^2$$ 估计

Interior $$C^2$$ Estimates for 2-Sum Hessian Equations

作者: C. Y. Ren, X. L. Sun

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09490v1

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

摘要: This paper establishes an interior $$C^2$$ estimate for solutions of

$$ σ_2(D^2u)+α(x)σ_1(D^2u)=f(x,u,Du)>0, $$

on the positive branch $$Δu>0$$ , under the assumptions $α\ge0$ and $$D^2α=βI$$ . Using one extra variable and a quartic correction, the equation is reduced to a quadratic Hessian equation in one higher dimension. The terms involving $$D^2u$$ cancel, so the interior estimate of Li–Wu \cite{LW} applies. The gradient-independent case is also treated. Finally, an example shows that an $L^\infty$ bound on $$α$$ alone is not enough.

20. 完备中心仿射极值超曲面与中心仿射伯恩斯坦猜想

Complete centroaffine extremal hypersurfaces and centroaffine Bernstein conjecture

作者: Cheng Xing, Yalin Sun, Ruiwei Xu

类别: math.DG, math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09332v1

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

摘要: The centroaffine Bernstein conjecture for hyperbolic centroaffine extremal hypersurfaces predicts that nonnegative Ricci curvature together with either Euclidean or centroaffine completeness forces the hypersurface to lie in Wang’s class. We disprove it by systematically studying Calabi compositions: we develop a general geometric method for constructing complete centroaffine extremal hypersurfaces and apply it to construct two families that violate this rigidity. The first family is Euclidean complete but has incomplete centroaffine metric, nonnegative Ricci curvature, and positive Gauss curvature in dimension two; iterating the composition with a point gives examples in every dimension $n\ge2$ . The second family is flat and complete in both metrics in dimension three, and iteration yields examples in every dimension $n\ge3$ . Thus the centroaffine Bernstein conjecture fails under Euclidean completeness for $n\ge2$ and under centroaffine completeness for $n\ge3$ .

21. 具有避难区域和非局部扩散的完全非线性 Logistic 方程

Fully Nonlinear Logistic Equations with Sanctuary Regions and Nonlocal Diffusion

作者: Giulio Galise, Shuhei Kitano

类别: math.AP

发布日期: 2026-10-07

arXiv ID: 2610.09271v1

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

摘要: We study positive solutions of $$Iu+μu=k(x)u^p$$ in a bounded domain, where $$p>1$$ , the nonnegative coefficient $$k$$ may vanish on a sanctuary region, and $$I$$ is a fully nonlinear nonlocal operator uniformly elliptic in the Caffarelli–Silvestre sense. We characterize the sharp existence interval in terms of positive principal half-eigenvalues and prove uniqueness. At the lower endpoint, the solutions vanish uniformly and their normalized profiles converge to the principal eigenfunction. If $$k$$ vanishes on a sanctuary $$Ω_0$$ , then, as $μ\uparrowλ(Ω_0)$ , the solutions blow up locally uniformly in $$Ω$$ . Writing $φ_0=φ(\cdot,Ω_0)$ for the normalized positive principal eigenfunction in $$Ω_0$$ , we prove

\frac{u_μ}{\|u_μ\|_{L^\infty(Ω)}}\toφ_0, \qquad \frac{u_μ}{\|u_μ\|_{L^\infty(Ω)}^{1/p}} \to\left(\frac{Iφ_0}{k}\right)^{1/p},

uniformly in $\mathbb{R}^n$ and locally uniformly in $Ω\setminus\overline{Ω_0}$ , respectively. Thus the upper-endpoint blow-up occurs on two distinct scales.

22. 卡拉比–丘空间的基本群

Fundamental groups of Calabi-Yau spaces

作者: Xin Fu, Bin Guo, Jian Song, Juanyong Wang

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

发布日期: 2026-10-07

arXiv ID: 2610.09269v1

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

摘要: We study the fundamental groups of a normal projective Calabi-Yau variety $$X$$ with klt singularities and of its regular locus $X_{reg}$ . We prove that both groups are almost abelian, and that their ranks are determined by the irregularities of finite etale and quasi-etale covers, respectively. Our approach is differential geometric, and relies on recent advances in the geometric theory of complex Monge-Ampere equations.

23. 三维及以上维数下双物种交叉吸引系统的尖锐爆破条件

Sharp blow-up condition for a two-species cross attraction system in 3 or more dimensions

作者: Suleyman Ulusoy

类别: math.AP

发布日期: 2026-10-06

arXiv ID: 2610.09078v1

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

摘要: We consider a degenerate chemotaxis model with two-species and two-stimuli in dimension $d \geq 3$ . Under the hypothesis of integrable initial data with finite second moment and energy, we show local-in-time existence for any mass of free-energy solutions, namely weak solutions with some free energy estimates. We exhibit that the qualitative behavior of solutions is decided by a set of critical values: there is a critical value of a parameter pair in the system of equations for which there is a global-in-time energy solution and there exist blowing-up free-energy solutions under a criticality condition is violated for the parameter pair.

24. 阿诺索夫能级附近薛定谔算子扰动的长时间 Gutzwiller 迹公式

A long time Gutzwiller trace formula for perturbations of Schrödinger operators near Anosov energy levels

作者: Julien Moy

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

发布日期: 2026-10-06

arXiv ID: 2610.09046v1

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

摘要: Let $$P_h$$ be a semiclassical pseudodifferential operator on a closed Riemannian manifold $$(M,g)$$ , with principal symbol $$p$$ . We consider perturbations $$P_h+h^αQ$$ , with $0<α\le 1$ , where $$Q$$ is a semiclassical pseudodifferential operator whose symbol oscillates at scale $$h^β$$ , with $$2β<α$$ . Assuming that the classical dynamics of the unperturbed system on a regular energy surface $p^{-1}(E)$ is hyperbolic, we prove a Gutzwiller trace formula for the perturbed operator that holds up to times of order $|\log h|$ . This formula relates the distribution of energy levels of the quantum system near the energy $$E$$ to the periodic orbits of its classical counterpart. The perturbation $$h^αQ$$ affects only the phases appearing in the trace formula.

25. 非线性抛物型方程的李-姚估计与哈纳克估计

Li-Yau and Harnack estimates for nonlinear parabolic equations

作者: Thalia Jeffres, Xiaolong Li

类别: math.AP

发布日期: 2026-10-06

arXiv ID: 2610.09009v1

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

摘要: We establish global Harnack inequalities for positive viscosity solutions of several classes of nonlinear parabolic equations. The equations include positively homogeneous uniformly parabolic flows on Euclidean space and flat tori, normalized weighted $$p$$ -Laplacian heat flows, and homogeneous isotropic diffusions on closed smooth metric measure spaces. For the normalized infinity-Laplacian heat flow, no curvature assumption is needed. For the ordinary weighted $$p$$ -Laplacian, we obtain pressure estimates under nonnegative Bakry-Émery Ricci lower bounds. The proofs combine comparisons at two independent space-time points using the maximum principle for semicontinuous functions with weighted geodesic variations. The corresponding Li-Yau inequalities then follow in the first-order viscosity sense.

26. 通过核分解改进格林函数的学习

Improving Learning of Green’s Functions Through Kernel Decomposition

作者: Beiji Chen, Qiang Du, Kui Ren, Tian-Yi Zhou

类别: math.NA, math.AP

发布日期: 2026-10-06

arXiv ID: 2610.09101v1

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

摘要: This work analyzes a framework for learning the solution operator, or equivalently, the Green’s function, of a general self-adjoint second-order elliptic operator $\cL$ . Subtracting the singular part of the Green’s function, either known analytically or supplied by an explicit Laplace parametrix, recasts the learning of $\cL^{-1}$ as learning an $\cL$ -harmonic extension operator on the boundary. We formulate the process as operator learning between reproducing kernel Hilbert spaces (RKHSs) to show that the kernel decomposition strategy raises the algebraic input rate by two orders and, under uniform analytic regularity of the induced boundary data together with compatible output spaces, upgrades the output rate from algebraic to exponential. We extend the framework further to semilinear problems via an iterative decomposition in which the only learned object remains a linear operator, ensuring that the improved linear rates translate directly to the nonlinear iteration. Numerical experiments are provided to validate the theoretical development.

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

1. 压缩 Navier-Stokes 方程消失黏性极限下二维可压缩 Euler 方程平面激波的唯一性与稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 无限通道中 Couette 流附近二维 Boussinesq 方程组的渐近稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 任意高维稳态 Navier-Stokes 方程的自相似解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 周期与有界区域中的定量热黏性达西极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 非单调剪切流的最优线性无粘阻尼与涡量耗尽#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 含 Dzyaloshinskii-Moriya 相互作用的一维薛定谔映射的畴壁渐近稳定性#

摘要翻译#

2. 形式确定的洛伦兹型逆问题的稳定性#

摘要翻译#

3. Schatten 类上 Hilbert 变换范数的尖锐结果：分类与最优谱修正#

摘要翻译#

4. 不可压缩两相流中含可溶性表面活性剂的热力学一致弥散界面模型强解的适定性#

摘要翻译#

5. 含无界缺陷的网格上的归一化非线性薛定谔基态#

摘要翻译#

6. Trudinger抛物方程的非负黏性解与弱解#

摘要翻译#

7. 势为 $lvert x\rvert$ 的薛定谔方程的可观测集#

摘要翻译#

8. 强输运噪声阻止二维流固耦合中的自交#

摘要翻译#

9. 模多项式的稀疏支配#

摘要翻译#

10. 锥流形上临界电磁薛定谔算子的 Carleman 估计#

摘要翻译#

11. 二维无理环面上的 Strichartz 估计#

摘要翻译#

12. 带测度数据及矩阵值权的拟线性椭圆方程正则性估计#

摘要翻译#

13. 具有裂纹诱导约束的区域中的最短路径#

摘要翻译#

14. 圆柱形区域中的 Neumann 薛定谔估计#

摘要翻译#

15. 代理模型的符号：度量神经偏微分方程求解器中的数值溯源#

摘要翻译#

16. 临界 Sobolev 不等式与部分分数阶 Grushin 算子的极值元#

摘要翻译#

17. 恩格尔群上的尖锐谱乘子定理#

摘要翻译#

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

1. 紧致环面型爱因斯坦四维流形#

2. $\mathbb{C}$-凸域上的格罗莫夫双曲性、有限型与次椭圆性#

3. 关于边界 Yamabe 问题中紧性的临界维数，II#

4. 平均曲率流的尖锐动力等周原理#

5. 非退化代价下熵正则最优传输的一阶 $Γ$-展开#

6. 具有全单项式权重的尖锐 Poincaré 不等式与 Brascamp–Lieb 不等式的稳定性#

7. 分数阶 Lane–Emden 猜想的一个证明#

8. 洛伦兹–闵可夫斯基平均曲率方程径向节点解的塌缩与饱和#

9. 二维空间形式中环域第二 Neumann 特征值的极大化者#

10. 单连通平面区域上正的 Trudinger–Moser 临界点的先验 Dirichlet 能量界#

11. 双中心 Thomas-Fermi-Dirac-von Weizsäcker 理论中电离猜想的渐近中性#

12. 小 ADM 角动量定常黑洞的刚性#

13. 次黎曼流形上最优传输的稳定性#

14. 正则化下最优传输的定量稳定性#

15. 稳定自由边界极小超曲面的正则性与紧性理论#

16. 对数 Hardy 算子的第一狄利克雷特征值的 Faber–Krahn 不等式#

17. 关于指数位于圆盘内的 Lane-Emden 猜想的新结果#

18. 非一致椭圆非散度型方程的对数型 Hessian 估计#

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

1. 压缩 Navier-Stokes 方程消失黏性极限下二维可压缩 Euler 方程平面激波的唯一性与稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 无限通道中 Couette 流附近二维 Boussinesq 方程组的渐近稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 任意高维稳态 Navier-Stokes 方程的自相似解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 周期与有界区域中的定量热黏性达西极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 非单调剪切流的最优线性无粘阻尼与涡量耗尽

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 含 Dzyaloshinskii-Moriya 相互作用的一维薛定谔映射的畴壁渐近稳定性

摘要翻译

2. 形式确定的洛伦兹型逆问题的稳定性

摘要翻译

3. Schatten 类上 Hilbert 变换范数的尖锐结果：分类与最优谱修正

摘要翻译

4. 不可压缩两相流中含可溶性表面活性剂的热力学一致弥散界面模型强解的适定性

摘要翻译

5. 含无界缺陷的网格上的归一化非线性薛定谔基态

摘要翻译

6. Trudinger抛物方程的非负黏性解与弱解

摘要翻译

7. 势为 $lvert x\rvert$ 的薛定谔方程的可观测集

摘要翻译

8. 强输运噪声阻止二维流固耦合中的自交

摘要翻译

9. 模多项式的稀疏支配

摘要翻译

10. 锥流形上临界电磁薛定谔算子的 Carleman 估计

摘要翻译

11. 二维无理环面上的 Strichartz 估计

摘要翻译

12. 带测度数据及矩阵值权的拟线性椭圆方程正则性估计

摘要翻译

13. 具有裂纹诱导约束的区域中的最短路径

摘要翻译

14. 圆柱形区域中的 Neumann 薛定谔估计

摘要翻译

15. 代理模型的符号：度量神经偏微分方程求解器中的数值溯源

摘要翻译

16. 临界 Sobolev 不等式与部分分数阶 Grushin 算子的极值元

摘要翻译

17. 恩格尔群上的尖锐谱乘子定理

摘要翻译

不相关论文（基本信息）

1. 紧致环面型爱因斯坦四维流形

2. $\mathbb{C}$ -凸域上的格罗莫夫双曲性、有限型与次椭圆性

3. 关于边界 Yamabe 问题中紧性的临界维数，II

4. 平均曲率流的尖锐动力等周原理

5. 非退化代价下熵正则最优传输的一阶 $$Γ$$ -展开

6. 具有全单项式权重的尖锐 Poincaré 不等式与 Brascamp–Lieb 不等式的稳定性

7. 分数阶 Lane–Emden 猜想的一个证明

8. 洛伦兹–闵可夫斯基平均曲率方程径向节点解的塌缩与饱和

9. 二维空间形式中环域第二 Neumann 特征值的极大化者

10. 单连通平面区域上正的 Trudinger–Moser 临界点的先验 Dirichlet 能量界

11. 双中心 Thomas-Fermi-Dirac-von Weizsäcker 理论中电离猜想的渐近中性

12. 小 ADM 角动量定常黑洞的刚性

13. 次黎曼流形上最优传输的稳定性

14. 正则化下最优传输的定量稳定性

15. 稳定自由边界极小超曲面的正则性与紧性理论

16. 对数 Hardy 算子的第一狄利克雷特征值的 Faber–Krahn 不等式

17. 关于指数位于圆盘内的 Lane-Emden 猜想的新结果

18. 非一致椭圆非散度型方程的对数型 Hessian 估计