生成时间: 2025年10月22日 03:52:56

重点关注论文数量: 7

了解领域论文数量: 6

不相关论文数量: 25

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

1. A Note on Non-Hydrodynamic Solutions of Kinetic Systems

关于动力学系统非流体动力学解的一点注记

作者: Florian Kogelbauer, Ilya Karlin

类别: math.AP

发布日期: 2025-08-24

arXiv ID: 2508.17370v2

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

详细分析

中文标题: 关于动力学系统非流体动力学解的一点注记

研究对象和背景

本文研究的对象是一个简化的一维三组分格拉德（Grad）系统，该系统是动理学方程的矩方法近似模型，用于描述稀薄气体的动力学行为。尽管它是一个线性化、低阶的简化模型，但它保留了真实动理学系统的关键结构特征，如向平衡态的全局衰减性质以及熵的存在性，因此可作为研究宏观流体力学极限行为的有效“玩具模型”。

该系统的原始形式在论文第3页给出，其数学表达为如下偏微分方程组：

其中：

• $p = p(x,t)$ 表示压力扰动，
• $u = u(x,t)$ 表示速度场，
• $\sigma = \sigma(x,t)$ 表示非平衡应力（即偏离牛顿流体本构关系的部分），
• $\varepsilon > 0$ 是克努森数（Knudsen number），定义为分子平均自由程与系统特征长度之比，表征介质的稀薄程度。

当 $\varepsilon \to 0$ 时，系统趋于连续介质极限，预期应还原出经典的欧拉方程或纳维–斯托克斯方程——这正是所谓 Hilbert 第六问题的核心内容：能否从微观动理学方程（如 Boltzmann 方程）严格推导出宏观流体力学方程？

传统上，这一过渡通过 Chapman–Enskog 展开实现，即将分布函数按克努森数 $\varepsilon$ 做幂级数展开，逐阶求解以获得宏观量之间的闭合关系。例如，在零阶项得到欧拉方程，一阶项得到纳维–斯托克斯方程。然而，这种展开本质上是对奇异摄动参数的渐近处理，存在根本性缺陷：

1. 高阶截断可能导致非物理解（如 Bobylev 不稳定性）；
2. 展开级数可能整体发散；
3. 不同初始条件可能导致不同的宏观极限，说明从动理学到流体力学的映射并非唯一。

因此，作者提出一种新的视角：流体力学对应于动理学相空间中的一个慢不变流形（slow invariant manifold），而非简单地依赖于 Chapman–Enskog 幂级数的选择。这个流形由谱中实部最小的负特征值对应的模构成，代表长期演化的主导动力学；而其余快速衰减的模式则属于快流形（fast manifold），通常在短时间内被抑制。

本文关注的重点恰恰不是主流研究的“慢流形”，而是这些被忽略的“非流体动力学解”（non-hydrodynamic solutions），它们存在于快流形之上，并表现出与标准流体力学预测完全不同的渐进行为。

为了分析该系统的谱结构，作者将其置于全实轴 $\mathbb{R}$ 上，并施加适当的无穷远处衰减条件（或等价地考虑周期边界条件）。通过对系统进行傅里叶变换，将空间导数转化为波数乘法操作，从而进入频率空间分析。

设函数 $f(x)$ 的傅里叶变换为：

则原系统在波数 $k \in \mathbb{R}$ 下变为常微分方程组：

其中矩阵 $L_k$ 定义为：

此矩阵的谱决定了每个波数下扰动的增长/衰减速率。其特征多项式为：

该多项式有三个根：

• 一对共轭复根 $\lambda_{ac}, \lambda_{ac}^*$，称为声学模（acoustic modes），其衰减速率较慢，主导长时间行为；
• 一个实根 $\lambda_{diff}$，称为广义扩散模（generalized diffusion mode），衰减极快，尤其当 $\varepsilon \ll 1$ 时，其实部趋于 $-\frac{1}{\varepsilon}$。

由此诱导出相空间中的分层结构：对每个波数 $k$，存在一个二维的慢流形 $M_{\text{slow}}$，由两个声学模张成；以及一个一维的快流形 $M_{\text{fast}}$，由扩散模张成。

已有研究表明（见文献[21]），投影到慢流形上的动力学满足所谓的“谱闭合”（spectral closure），其结果与 Chapmann–Enskog 级数的精确求和一致，并且在 $\varepsilon \to 0$ 极限下收敛到欧拉和纳维–斯托克斯类方程。

但本文的关键洞见在于：若初始条件恰好位于快流形上，则对应的解不会收敛到任何经典流体力学方程，反而在 $\varepsilon \to 0$ 时表现出发散行为。这类解虽然在物理上不具普适性（因一般初值会迅速滑向慢流形），但从数学结构上看却是合法的不变子空间解，揭示了传统 Chapman–Enskog 方法的局限性——它仅覆盖了相空间的一部分。

此外，由于矩阵 $L_k$ 非正规（non-normal），其特征向量不正交，导致瞬态增长和模间耦合效应显著，进一步削弱了基于正规模分析的传统渐近方法的可靠性。

综上所述，本文的研究背景建立在一个具有明确物理意义的线性动理学模型之上，通过严格的谱分析手段，在傅里叶空间中揭示了一类长期被忽视的“非流体动力学”解的存在性及其反常渐进行为，挑战了“所有动理学解在小克努森数下都趋向流体力学”的普遍信念。

主要定理或主要结果

本文未以标准“定理–证明”格式呈现结论，但其核心数学结果可归纳为以下命题形式：

命题（非流体动力学解的发散性）
考虑一维三组分 Grad 系统在傅里叶空间中的演化：

$$ \frac{d}{dt} \mathbf{v}_k = L_k \mathbf{v}_k, \quad \mathbf{v}_k = (\hat{p}, \hat{u}, \hat{\sigma})^\top, $$

其中 $L_k$ 如前所述。令 $M_{\text{fast}}(k)$ 为对应于实特征值 $\lambda_3(k) = \lambda_{\text{diff}}(k)$ 的一维特征子空间（即快流形）。则限制在此子空间上的解 $(\hat{p}_f, \hat{u}_f, \hat{\sigma}_f)^\top$ 满足如下动力学：

$$ \frac{\partial}{\partial t} \begin{pmatrix} \hat{p}_f \\ \hat{u}_f \end{pmatrix} = \begin{pmatrix} 0 & -\frac{5ik}{3} \\ 0 & \lambda_3 \end{pmatrix} \begin{pmatrix} \hat{p}_f \\ \hat{u}_f \end{pmatrix}. $$

当 $\varepsilon \to 0$ 时，对于任意固定 $k \neq 0$，有：

$$ \lambda_3(k) = -\frac{1}{\varepsilon} + O(1), $$

因此上述系统的右端项在 $\varepsilon \to 0$ 下逐点发散。特别地，不存在任何关于 $\varepsilon$ 的一致有界闭合关系使得 $(\hat{p}_f, \hat{u}_f)$ 满足类似欧拉或纳维–斯托克斯的极限方程。

换句话说，存在一类精确的、定义在快不变流形上的解，其宏观变量的时间演化在克努森数趋于零时不收敛到任何经典流体力学模型。这是对传统 Chapman–Enskog 范式的直接反例。

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

a) 核心分析学工具

本文采用的主要数学工具属于线性算子谱理论与不变流形理论的交叉领域，具体包括以下几个方面：

1. 傅里叶分析与频域方法
   将偏微分方程转化为频域中的常微分方程系统，是本文最基础的技术。通过引入傅里叶变换，空间导数 $\partial_x$ 变为代数因子 $ik$，从而使整个系统在每个波数 $k$ 下独立演化。这种方法将无限维 PDE 问题降维为一系列有限维 ODE 问题，极大简化了谱结构的分析。同时，这也允许使用模态分解（modal decomposition）来区分不同时间尺度的行为。

2. 矩阵谱理论
   对每个波数 $k$，演化由矩阵 $L_k$ 控制。通过计算其特征值与特征向量，可以明确识别出慢模与快模。特征值的实部决定衰减速率，虚部决定振荡频率。特别是，通过分析 $\lambda_{\text{diff}} \sim -1/\varepsilon$ 的渐进行为，得出其在 $\varepsilon \to 0$ 下剧烈发散的结论。

3. 不变流形构造
   文中利用特征向量直接构造了慢流形 $M_{\text{slow}}$ 与快流形 $M_{\text{fast}}$。这是线性系统中不变子空间的标准做法。但在更一般的非线性系统中，此类流形需通过参数化方法（parameterization method）或不变方程迭代求解。文中指出，常规数值方法往往只能捕捉慢流形，因为快流形在数值上不稳定，容易被舍入误差淹没。

4. 渐近分析与奇异性处理
   在 $\varepsilon \to 0$ 极限下，系统成为奇异摄动问题。本文并未使用传统的匹配渐近展开，而是直接分析特征值的显式表达式：

   $$ \lambda_3 = \frac{1}{3\varepsilon} \left[ \cdots \right], $$

   发现其主项为 $-1/\varepsilon$，从而无需进一步展开即可判断其发散性。这种策略避免了对可能发散的 Chapmann–Enskog 级数的依赖。

5. 能量型平衡律分析（间接使用）
   虽然本文未直接构造 Lyapunov 泛函，但引用了 Slemrod 提出的粘性–毛细作用平衡律（viscosity-capillarity balance）：

   $$ \frac{1}{2} \frac{\partial}{\partial t} \int |p|^2 + |u|^2 dx + \frac{3}{5} \frac{\partial}{\partial t} \int k^2 B |\hat{p}|^2 dk = \int k^2 A |\hat{u}|^2 dk, $$

   这种非局部能量结构暗示了即使在线性情况下，动理学系统也可能拥有超越 Navier–Stokes 框架的动力学行为。

b) 技术性难题的处理技巧

1. 规避 Chapmann–Enskog 级数的发散问题
   已知 Chapmann–Enskog 展开可能整体发散（见 [27]），因此不能作为定义“正确”流体力学的依据。本文巧妙绕过这一障碍，转而采用谱最小衰减原则来定义“物理上有意义”的流体力学：即选择实部最接近零的特征模所张成的流形。这一定义具有唯一性与自然性，不受展开顺序影响。

2. 处理非正规算子的模耦合效应
   由于 $L_k$ 非正规，其特征向量不正交，导致初值即使主要激发慢模，也可能通过伪谱（pseudospectrum）引发短暂的大幅增长。但本文聚焦于精确位于快流形上的解，从而避开模间转移问题，专注于内在动力学结构本身。

3. 分离变量并重构动力学
   在分析快流形动力学时，作者利用特征结构中的关系 $\lambda_3 \hat{p}_f = -\frac{5ik}{3} \hat{u}_f$，将三变量系统约化为仅含 $(\hat{p}_f, \hat{u}_f)$ 的二维系统。这一步骤揭示了压力与速度之间异常的闭合关系，进而证明无法与慢流形动力学兼容。

4. 反证思想的应用
   为证明快流形动力学必然发散，作者假设存在某个 $\alpha(\varepsilon)$ 使得 $\lambda_3 \hat{u}_f = \alpha \hat{p}_f + o(1)$ 成立，并试图将其嵌入类似 Navier–Stokes 的结构。但发现要求 $\alpha = O(\varepsilon)$ 与 $\alpha = -1/\varepsilon + O(1)$ 同时成立，产生矛盾。这是一种典型的渐近相容性破坏论证。

与之前工作的比较

a) 突破与改进

本文的核心贡献在于挑战了“Chapman–Enskog 展开代表唯一合理流体力学极限”的默认假设，并通过构造明确的反例表明：在相同动理学模型中，存在另一类同样数学有效但违背标准流体力学预测的解。

相比以往工作，本文的突破体现在以下几个方面：

1. 从“唯一性”转向“多重性”视角
   早期研究（如 Bardos–Ukai [1], Saint-Raymond [31]）致力于证明在适当条件下，Boltzmann 解趋近 Navier–Stokes 解。而 Ellis–Pinsky [11] 已指出这种极限不唯一。本文延续这一思想，但在更简单的模型中显式构造出非唯一性的体现：同一系统中存在两条独立的不变流形，分别导向不同的宏观行为。

2. 超越摄动框架，采用几何结构观点
   多数文献仍以 Chapmann–Enskog 或 Hilbert 展开为基础进行修正（如 Burnett 方程、super-Burnett 等）。但本文指出这些高阶模型可能本身就存在问题（如 Bobylev 不稳定 [2]）。取而代之的是，作者采纳 Gorban–Karlin 提出的“流体力学即慢不变流形”哲学（见 [13,16]），将问题从“如何展开”转变为“如何选择正确的子空间”。这是一种范式转换。

3. 首次明确展示非流体动力学解的发散性
   尽管“快模快速衰减”是常识，但本文证明：若强行限制在快流形上，其动力学本身在 $\varepsilon \to 0$ 下是发散的。这意味着不仅“被抑制”，而且“结构上就不兼容”。这比单纯的衰减更强，是对“普适性”的根本否定。

4. 放宽对“物理合理性”的狭隘定义
   以往工作常认为快模无关紧要，因其指数衰减。但本文强调：只要存在这样一个不变子空间，就不能声称所有解都趋向 Navier–Stokes。即便其测度为零，也说明极限过程不具备全局有效性。这对 Hilbert 第六问题的诠释提出了更高要求。

5. 为非局部闭合提供支持
   本文支持了“精确流体力学闭合是非局部的”这一观点（如 [20,21] 所示）。相比之下，Navier–Stokes 是局部微分关系，而谱闭合涉及 $A(k^2,\varepsilon), B(k^2,\varepsilon)$ 这样的非局部核。快流形的存在进一步说明，任何局部、解析的闭合都无法覆盖全部动力学。

总之，本文虽基于简单模型，却提出了深刻的问题：我们是否过于依赖 Chapmann–Enskog 的幂级数幻觉，而忽略了动理学相空间中更丰富的结构？ 这为未来研究更复杂的动理学模型（如 Boltzmann 方程本身）中的非流体动力学行为开辟了道路。

2. A revisit of patch solutions for the 2D Loglog-Euler type equation

关于二维Loglog-Euler型方程的贴片解的再研究

作者: Changhui Tan, Liutang Xue, Zhilong Xue

类别: math.AP, 35Q35, 35Q86, 35A01, 76B03, 76U60

发布日期: 2025-10-21

arXiv ID: 2510.18759v1

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

详细分析

中文标题: 关于二维Loglog-Euler型方程的贴片解的再研究

1. 研究对象和背景

本文研究一类插值于经典二维（2D）欧拉方程与α-SQG方程之间的无粘性主动标量方程，其一般形式为：

其中 $\nabla^\perp \coloneqq (\partial_{x_2}, -\partial_{x_1})$，$\Lambda \coloneqq (-\Delta)^{1/2}$ 是分数阶拉普拉斯算子，$m(\Lambda)$ 是一个傅里叶乘子，其符号 $m(r)$ 是定义在 $\mathbb{R}_+$ 上的径向函数。该类方程统称为 二维Loglog-Euler型方程。

此系统的核心特征在于速度场 $u$ 的生成机制：不同于经典的2D欧拉方程中 $u = \nabla^\perp \psi$ 且 $\Delta \psi = \omega$，此处引入了一个额外的非局部算子 $m(\Lambda)$，使得速度与涡度的关系变为：

这导致了更强的非局部性和潜在更高的奇异性。

根据乘子 $m(r)$ 的渐近行为，这类方程可涵盖多个经典模型：

• 当 $m(r) \equiv 1$ 时，对应2D欧拉方程；
• 当 $m(r) = r^\alpha$，$\alpha \in (0,2)$ 时，对应α-SQG方程；
• 当 $m(r) = \log^\beta(1 + \log(1 + r^2))$，$\beta \in (0,1]$ 时，即为Loglog-Euler方程，由Chae-Constantin-Wu提出，作为连接欧拉与SQG的中间模型。

本文特别关注当 $m(r)$ 满足以下Osgood型条件的情形：

这一条件被广泛认为是判断全局正则性是否保持的关键阈值：若满足，则预期存在全局光滑解；否则可能出现有限时间奇点。例如，在半平面情形下，已有工作表明当(Osg)不成立时会发生有限时间奇点形成。

研究的主要对象是贴片解（patch solution），即初始涡度为若干个互不相交、有界区域的示性函数之和：

其中每个 $D_j(0)$ 是 $\mathbb{R}^2$ 中具有 $C^{n,\mu}$ 边界的简单连通有界区域，$a_j \in \mathbb{R}$。对应的解在演化过程中仍保持这种结构：

其中 $\Phi_t$ 是由速度场 $u$ 生成的流映射。

因此，问题转化为：初始边界 $\partial D_j(0)$ 的正则性 $C^{n,\mu}$ 是否能在演化过程中被全局保持？

对于2D欧拉方程，Yudovich理论保证了全局弱解的存在唯一性，而Chemin与Bertozzi–Constantin的工作证明了 $C^{n,\mu}$ 正则性的全局保持。然而，当 $m(r)$ 增长较快（如Loglog-Euler型），速度场不再Lipschitz连续，而是仅满足某种“近Lipschitz”或Osgood型连续性，从而导致边界正则性可能出现损失。

本文所考虑的空间区域为全空间 $\mathbb{R}^2$，无边值条件（自由空间），但作者指出其方法具有推广至半平面或光滑有界域的潜力（见Remark 3）。函数空间方面，初始数据取在 $L^1 \cap L^\infty(\mathbb{R}^2)$，而贴片解本身属于此类空间的子集。关键的分析工具涉及Hölder空间、m-适应的Hölder空间（定义见原文(57)式）、以及通过流映射刻画的解的几何结构。

此外，文章对 $m(r)$ 施加了明确的技术假设(H1)-(H2a)，包括正则性、单调性、Mikhlin-Hörmander条件及渐近非振荡性，以排除高频振荡带来的技术困难。这些假设确保了核心估计（如速度场的模连续性、奇异积分表示等）的有效性。

综上所述，本文的研究背景是在非Lipschitz速度场驱动下，探究一类广义欧拉型方程中贴片边界正则性的全局传播问题，其数学挑战源于非局部算子 $m(\Lambda)$ 引入的额外奇异性，而物理意义则体现在对锋面或界面动力学的建模能力。

2. 主要定理或主要结果

Theorem 1.1（Yudovich型全局适定性）

假设：$m(r)$ 满足条件(H1)-(H2a)及Osgood条件(Osg)，初始涡度 $\omega_0 \in L^1 \cap L^\infty(\mathbb{R}^2)$。

结论：系统存在唯一的全局弱解 $\omega \in L^\infty([0,\infty); L^1 \cap L^\infty)$，且可表示为 $\omega(x,t) = \omega_0(\Phi_t^{-1}(x))$，其中流映射 $\Phi_t(x)$ 满足ODE：

进一步，$\Phi_t^{\pm1}$ 满足如下Osgood型控制：

其中 $H(r)$ 定义为：

且 $H^{-1}$ 是其反函数。Osgood条件确保 $H(+\infty) = +\infty$，故 $H^{-1}$ 在 $\mathbb{R}$ 上良定义。

Theorem 1.2（单贴片边界正则性的全局保持）

假设：同Theorem 1.1，初始贴片 $D_0$ 为单连通有界区域，$\partial D_0 \in C^{n,\mu}$，$n \in \mathbb{N}^\star$, $\mu \in (0,1)$。

结论：对任意 $t > 0$，演化后的边界 $\partial D(t) = \Phi_t(\partial D_0)$ 属于 $C^{n,\mu-\varepsilon}$，对任意 $\varepsilon \in (0,\mu)$ 成立。更精确地，设 $z(\cdot,t)$ 为 $\partial D(t)$ 的参数化，则对任意 $\varepsilon > 0$, $\epsilon > 0$，存在常数 $C > 0$，使得：

其中 $\beta$ 来自(H2a)中的极限假设。

Theorem 1.3（多贴片情形下的全局正则性）

假设：同上，初始为 $N$ 个互不相交的 $C^{n,\mu}$ 贴片 $D_j(0)$。

结论：所有贴片在演化中始终保持分离，且每个边界 $\partial D_j(t)$ 全局属于 $C^{n,\mu-\varepsilon}$，$\forall \varepsilon \in (0,\mu)$。定量估计的增长速率比单贴片情形多出一个指数因子，可达三重指数级。

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

a) 核心分析工具

1. 流映射方法与Osgood估计
   本文沿用Yudovich框架，将解视为由速度场生成的流映射 $\Phi_t$ 推前的初值。关键在于建立速度场 $u$ 的模连续性估计：

   $$ |u(x,t) - u(y,t)| \leq C |x-y| G(|x-y|), $$

   其中 $G(\rho) \sim \rho^{-1} (\log \rho^{-1}) m(\rho^{-1}) + 1$。此估计导出流映射的双侧Osgood控制（Theorem 1.1中的(6)式），这是证明存在性与唯一性的基石。

2. 层集方法（Level-set Method）与切向导数分析
   为研究边界正则性，引入层集函数 $\varphi(x,t)$ 满足 $\varphi(x,t) = 0 \iff x \in \partial D(t)$。定义切向向量场 $W = \nabla^\perp \varphi$，并考察其高阶切向导数 $\partial_W^k = (W \cdot \nabla)^k$。核心观察是：

   $$ \|\partial_W^{n-1} W(\cdot,t)\|_{C^\mu} < \infty \implies \partial D(t) \in C^{n,\mu}. $$

   因此问题转化为控制 $\partial_W^k u$ 的增长。

3. 物理空间下的“失正则化估计”（losing estimates）
   受Chemin思想启发，本文在物理空间而非频率空间中实施失正则化方法。通过建立关于 $\|W(t)\|_{\dot{C}^{\mu-\varepsilon}}$ 和最小模 $|W(t)|_{\inf}$ 的微分不等式系统，并结合Osgood引理，实现对正则性的逐级控制。

4. m-适应的Hölder空间
   为处理非局部算子 $m(\Lambda)$ 的影响，作者引入空间 $C_m^\mu$，其范数包含 $m$ 相关的权重，使估计更精细。

b) 技术性突破与技巧

1. 速度场的“近Lipschitz”改进估计
   对一般 $\omega \in L^1 \cap L^\infty$，$u$ 仅满足 $|u(x)-u(y)| \lesssim |x-y| (\log|x-y|^{-1} m(|x-y|^{-1}) + 1)$。但在贴片情形下，利用几何结构（如曲率、法向一致性），作者在Lemma 4.1中证明：

   $$ |u(x)-u(y)| \lesssim f(t) |x-y| (m(|x-y|^{-1}) + 1), $$

   其中 $f(t) = \log(1 + \|W(t)\|_{\dot{C}^\gamma}/|W(t)|_{\inf})$。相比原估计，消除了 $\log|x-y|^{-1}$ 因子，这是后续所有改进的基础。

2. 切向导数 $\partial_W u$ 的奇异积分表示
   经典Euler情形下，$\partial_W u$ 可写为Hilbert变换形式。本文在Lemma 4.3中推导出Loglog-Euler型的广义表达式：

   $$ \partial_W u(x) = \mathrm{p.v.} \int_{D(t)} K(x,y) (W(x) - W(y)) dy + \text{lower order terms}, $$

   其中核 $K(x,y)$ 由 $m(\Lambda)$ 决定。通过细致分析核的奇异性与 cancellations，得到Hölder型估计（Lemma 4.4）：

   $$ \|\partial_W u\|_{C_m^\mu} \lesssim f(t) \|W\|_{\dot{C}^\mu}. $$

3. 流映射的精细化控制
   利用“近Lipschitz”估计，获得比Theorem 1.1更优的流映射连续性（(72)式），从而能直接追踪 $W(x,t)$ 沿流线的演化。

4. 下界估计 $|W(t)|_{\inf}$
   为防止 $f(t)$ 发散，需控制 $|W(t)|_{\inf}$ 不趋于零。作者通过分析 $\nabla u W \cdot W$ 的点态估计（Lemma 4.5），结合Gronwall-type论证，得出：

   $$ |W(t)|_{\inf} \geq |W_0|_{\inf} \left[ H^{-1}(C(1+t)\log^{\beta+\epsilon}(e+t)) \right]^{-C}, $$

   这一估计与 $H^{-1}$ 的增长速率匹配，是闭合估计的关键。

5. 高阶情形的归纳论证
   对 $n \geq 2$，通过建立 $\partial_W^k u$ 的递推公式（Lemma 5.3），将高阶项分解为主导项（含 $\partial_W^{k-1} W$）与低阶层状项（striated terms），再用归纳法结合失正则化框架完成证明。

4. 与之前工作的比较

a) 相较于Elgindi [41] 的突破

本文最显著的贡献是对Elgindi开创性工作的全新证明路径。Elgindi采用频率空间方法，依赖Littlewood-Paley分解与Bony仿积，结合抽象的失正则化框架。其优点是框架统一，但缺点是：

• 高度依赖傅里叶分析，难以推广到非平移不变区域（如半平面、有界域）；
• 技术复杂，物理图像不够直观。

本文则发展了一套完全基于物理空间的分析方法：

• 避免使用Littlewood-Paley理论，转而用层集函数与切向导数直接刻画边界；
• 所有估计（如 $\partial_W u$ 的积分表示）均在实空间完成，更具几何直观；
• 方法天然适用于有边界情形（如Remark 3所述，可通过奇延拓处理半平面）。

因此，本文的证明不仅更初等、更透明，而且为未来研究带边界区域的贴片问题提供了强有力的新工具。

b) 放宽假设与结果强化

1. 明确假设条件
   Elgindi的结果基于较抽象的“非振荡性”假设，而本文将其具体化为(H1)-(H2a)，并清晰分类不同增长类型（幂律、对数、有界），增强了结果的可应用性。

2. 推广至高阶正则性
   Elgindi主要处理 $C^{1,\mu}$ 情形，而本文通过系统分析 $\partial_W^k u$，将结果推广至任意 $n \in \mathbb{N}^\star$ 的 $C^{n,\mu}$ 正则性，填补了高阶情形的空白。

3. 多贴片情形的完整分析
   本文首次在Loglog-Euler型方程中系统研究多个贴片的相互作用，证明它们始终保持分离且各自边界正则性得以保持（Theorem 1.3），并量化了因贴片靠近导致的额外正则性损失（三重指数增长）。

4. 与经典结果的兼容性
   如Remark 2所示，当 $m(r)$ 有界时（如Euler方程），本文结果退化为经典结论，且估计常数一致，说明该理论是经典vortex patch理论的自然推广。

综上所述，本文不仅重新验证了Elgindi的核心结论，更通过创新的物理空间方法，实现了技术上的简化、适用范围的扩展以及结果的强化，为研究非局部流体方程中的界面动力学提供了新的范式。

3. Quantitative stability for the 2D Couette flow on the infinite channel with non-slip boundary condition

具有无滑移边界条件的无限通道上二维库埃特流的定量稳定性研究

作者: Qionglei Chen, Zhen Li, Changxing Miao

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18376v1

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

详细分析

中文标题: 具有无滑移边界条件的无限通道上二维库埃特流的定量稳定性研究

研究对象和背景

本文研究的是在无限通道 $\Omega = \mathbb{R} \times [-1,1]$ 上，具有无滑移边界条件（non-slip boundary condition）的二维不可压缩纳维-斯托克斯方程中库埃特流（Couette flow）的定量稳定性问题。具体而言，作者关注的是当初始扰动足够小时，系统是否能保持稳定，并进一步分析其非线性过渡阈值（transition threshold）与增强耗散效应（enhanced dissipation）。

考虑如下控制方程：

其中 $V(t,x,y)$ 是速度场，$P$ 是压力，$\nu > 0$ 是粘性系数。基本流动为 平面库埃特流：$U = (y, 0)$，即一个沿 $x$ 方向随 $y$ 线性变化的速度剖面。

为了研究该稳态解的稳定性，引入扰动速度 $u = V - U$，则 $u$ 满足如下扰动系统：

该系统的关键特征在于其几何区域为 $\mathbb{R}_x \times [-1,1]_y$，即 $x$ 方向是无限长的，这与以往大量研究的周期情形 $\mathbb{T} \times [-1,1]$ 有本质区别。这一设定允许出现低频长波扰动（long wave perturbations），其频率 $k \in \mathbb{R}$ 可以任意接近零。这类扰动在物理上可能诱发失稳并导致湍流转捩，因此对理解“Sommerfeld悖论”（理论预测稳定但实验观测到转捩）至关重要。

此外，边界条件采用无滑移边界条件：$u|_{y=\pm1} = 0$，这比 Navier-slip 边界更复杂，会引发显著的边界层效应，使得数学分析更具挑战性。

从函数空间角度看，初始数据被假设属于 $H^1 \cap H^2(\Omega)$ 且满足 $\mathrm{div}\, u^{\text{in}} = 0$，这是标准的能量类空间，保证了解的正则性和能量守恒结构可用。

值得注意的是，在傅里叶变量 $k$（关于 $x$ 的频率）下，线性化后的涡度方程可写为：

其中 $\omega_k = (\partial_y^2 - k^2)\psi_k$，$\psi_k$ 是流函数，且满足边界条件 $\psi_k(\pm1) = \psi_k'(\pm1) = 0$。这个方程本质上是一个带有剪切流项 $iky\omega_k$ 的扩散-对流方程，其稳定性分析归结为对Orr-Sommerfeld算子的研究：

由于 $x$ 方向非紧致，频率 $k$ 连续取值于 $\mathbb{R}$，特别是区间 $[0,1)$ 内的低频与中间频段成为分析难点。已知在周期情形 $\mathbb{T} \times [-1,1]$ 中，$k \in \mathbb{Z} \setminus \{0\}$，故最小非零频率为 $|k| \geq 1$，避开了 $k \to 0$ 的奇异极限。而在本工作中，必须处理 $0 < |k| < 1$ 的情形，尤其是当 $|k| \ll 1$ 时，传统的能量方法失效，需发展新的估计技术。

综上所述，本文的研究对象是在无限通道上、具无滑移边界的二维库埃特流扰动系统，核心问题是：在低雷诺数（小 $\nu$）下，多大的初始扰动会导致失稳？即确定所谓的过渡阈值 $\gamma$，使得：

• 若 $\|u^{\text{in}}\|_X \lesssim \nu^\gamma$，则解全局稳定；
• 若 $\|u^{\text{in}}\|_X \gg \nu^\gamma$，则可能发生失稳。

这里的 $X$ 是合适的函数空间，目标是尽可能优化 $\gamma$ 的上界。

主要定理或主要结果

定理 1.1（空间-时间估计）

设 $u^{\text{in}} \in H^1 \cap H^2(\Omega)$，$\mathrm{div}\, u^{\text{in}} = 0$，$0 < \nu \leq \nu_0$，$\nu_0$ 足够小，且 $\|u^{\text{in}}\|_{H^2} \leq c\nu^{1/2}$，其中 $c$ 为适当小常数。则对于解 $u$，定义如下按频率 $k$ 分段的能量泛函 $E_k$：

若 $0 \leq |k| < 10\nu$，

若 $10\nu \leq |k| < 1$，

若 $|k| \geq 1$，

则有：

推论 1.2（更强的 $L^\infty$ 控制）

若额外假设 $u^{\text{in}} \in L^1_x(H^1_y \cap H^2_y)$，则

定理 1.3（增强耗散估计）

设 $\omega_k$ 是线性化系统 (1.6) 的解，初值 $\omega_k^{\text{in}} \in H^1_y$。则存在 $\epsilon_0 > 0$ 小常数及 $\nu_0 > 0$，使得对所有 $0 < \nu \leq \nu_0$，当 $|k| \geq \nu^{1-}$ 时，成立：

其中耗散率 $\lambda_\nu = \max\left\{ \nu, (\nu |k|^2)^{1/3} \right\}$。

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

a) 核心分析学工具

1. Resolvent估计法：文章的核心技术之一是通过对Orr-Sommerfeld算子 $L = -\nu(\partial_y^2 - k^2) + iky$ 的预解式 $(L - i\lambda)^{-1}$ 建立一致估计，从而导出解的时间衰减性质。这种方法避免了直接求解特征值问题，适用于连续谱主导的情形。

2. 能量方法与加权能量泛函：对于低频段 $|k| < 10\nu$，作者使用经典能量估计，但结合了Wirtinger不等式的最优Sobolev常数来获得紧的控制。特别地，利用 $\int_{-1}^1 |\phi'|^2 dy \geq \frac{\pi^2}{4} \int_{-1}^1 |\phi|^2 dy$ 对满足 $\phi(\pm1)=0$ 的函数，发现临界尺度约为 $\pi^3\nu/3 \sim 10\nu$，从而自然划分频率区间。

3. Airy函数精细估计：对于中间频率 $10\nu \leq |k| < 1$，解的结构由Airy函数决定。作者在附录B中提供了Airy函数及其积分 $A_0(z) = \int_z^\infty \mathrm{Ai}(t) dt$ 在复平面上的渐近行为和下界估计（如引理B.3中的增益因子 $\sigma > 0$），这是克服共振点附近奇异性的重要工具。

4. 分频段处理策略（divide and conquer）：将频率轴划分为三段：

   • 低频 $|k| < 10\nu$：视为 $k=0$ 的扰动，用能量法；
   • 中间频 $10\nu \leq |k| < 1$：利用Airy函数的渐近展开和resolvent估计；
   • 高频 $|k| \geq 1$：已有文献方法可推广。 这种分治策略是应对不同尺度行为差异的关键。

5. 双线性估计与交互分析：在非线性项估计中，需处理不同频率之间（低-中、中-高、低-高等九种组合）的耦合。通过构造适当的双线性形式并进行优化，最终闭合能量不等式。

b) 解决技术难题的主要技巧

1. 边界层补偿权重：引入加权函数 $\rho_k(y) = \min\left(1, \frac{1-|y|}{\delta}\right)$，其中 $\delta = \nu^{1/3}|k|^{-1/3}$，用于控制边界附近的行为，这对无滑移边界下的resolvent估计至关重要。

2. 解的分解技巧：将流函数 $\phi$ 分解为 $\phi = \phi_{\text{Na}} + c_1 \phi_1 + c_2 \phi_2$，其中 $\phi_{\text{Na}}$ 满足Navier-slip边界条件，而 $\phi_1, \phi_2$ 是齐次OS方程的解，用于修正至满足无滑移条件。这种分解将边界效应局部化，便于分别估计。

3. Airy函数下界估计的创新使用：通过引理B.3中关于 $|A_0(Ld + i\epsilon)| \gtrsim e^{-a\sigma L}$ 的精细下界，确保分母不趋于零，从而控制系数 $C_{ij}$ 的增长，这是证明resolvent估计成立的技术核心。

4. 过渡阈值的优化论证：通过细致分析非线性项在不同频率区间的贡献，结合空间-时间范数的插值与卷积不等式，最终得出最优过渡阈值 $\gamma \leq 1/2$，匹配周期情形的最佳已知结果。

与之前工作的比较

a) 突破与改进

本文相较于前人工作有多项重要推进：

1. 首次在无限通道 $\mathbb{R} \times [-1,1]$ 上建立定量稳定性结果：此前关于库埃特流稳定性的工作多集中于周期盒 $\mathbb{T} \times [-1,1]$（如 Chen-Li-Wei-Zhang [11]）。本文首次系统处理 $x \in \mathbb{R}$ 的情形，必须面对 $k \in (0,1)$ 的连续低频模态，这是全新的数学挑战。

2. 揭示了低频与中间频的分界点 $10\nu$：作者创造性地通过Wirtinger不等式的最优常数与Airy函数渐近分析相结合，发现了频率划分的关键临界点 $|k| \sim 10\nu$。这一发现不仅具有数学美感，也反映了物理上边界层与体区域动力学的交接尺度。

3. 改进了resolvent估计的技术框架：相比[11]中仅处理 $|k| \geq 1$，本文将resolvent方法扩展至 $|k| \geq 10\nu$，并通过Airy函数的精细估计克服了 $k \to 0$ 时的退化问题。特别地，在估计中消除了多余的 $|k|^{1/2}$ 因子，提升了精度。

4. 实现了与周期情形相同的过渡阈值 $\gamma \leq 1/2$：尽管无限域带来了更多不稳定模式（特别是长波扰动），但作者通过精巧的能量构造和双线性估计，仍达到了与周期情形同等水平的稳定性结果，说明边界条件的影响可通过数学手段有效控制。

5. 建立了增强耗散在 $|k| \geq \nu^{1-}$ 下的发生机制：证明了即使在无滑移边界下，只要频率不太小（大于 $\nu^{1-\epsilon}$），系统仍表现出快于普通热扩散的耗散速率 $\lambda_\nu \sim (\nu k^2)^{1/3}$，这是剪切流混合效应的体现。

综上，本文不仅将库埃特流稳定性理论从周期域推广到无限域，而且在技术深度和结果强度上均有实质性超越，特别是在低频分析和边界效应处理方面做出了原创性贡献。

4. The optimal transition threshold for the 2D Couette flow in the infinite channel

无限通道中二维库埃特流的最优转捩阈值研究

作者: Qionglei Chen, Zhen Li, Changxing Miao

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18365v1

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

详细分析

中文标题: 无限通道中二维库埃特流的最优转捩阈值研究

研究对象和背景

本文研究的是在无限通道 $\Omega = \mathbb{R} \times [-1,1]$ 中，带有 Navier-滑移边界条件 的二维不可压缩 Navier-Stokes 方程 的稳定性问题，特别关注围绕 Couette 流 的小扰动在粘性趋于零时的动力学行为。Couette 流指的是速度场为 $U(y) = y$ 的剪切流，其对应的涡度为常数。

考虑如下形式的 Navier-Stokes 方程：

其中 $V(t,x,y)$ 是速度场，$P$ 是压力，$\nu > 0$ 是粘性系数。我们关心的是当初始扰动 $u^{in} = V^{in} - (y,0)$ 很小时，解是否能长时间保持稳定，并表现出某些特定的耗散或阻尼效应。

令 $u = V - (y,0)$ 表示相对于 Couette 流的速度扰动，则 $u$ 满足以下扰动系统：

对应的 涡度 $\omega = \partial_y u^{(1)} - \partial_x u^{(2)}$ 满足：

该系统的物理意义在于描述剪切流在外界扰动下的演化过程。一个长期存在的难题是所谓的 Sommerfeld悖论：线性稳定性分析预测 Couette 流在任意雷诺数下都是稳定的，但实验表明高雷诺数下仍会发生转捩（transition to turbulence）。为解释这一现象，数学上引入了“转捩阈值”（transition threshold）的概念。

设 $\|\cdot\|_X$ 是某个函数空间范数，若存在临界指数 $\gamma$ 使得：

• 当 $\|u^{in}\|_X \leq c \nu^\gamma$ 时，扰动全局稳定；
• 而当 $\|u^{in}\|_X \gg \nu^\gamma$ 时，可能出现不稳定或湍流转捩；

则称 $\gamma$ 为该系统关于空间 $X$ 的 转捩阈值。目标是寻找最优的 $\gamma$，即最小的 $\gamma$ 使得小扰动仍能保证稳定性。

近年来，Bedrossian、Germain、Masmoudi 等人系统发展了这一理论框架，并针对不同区域和边界条件取得了系列进展。例如，在环面区域 $\mathbb{T} \times \mathbb{R}$ 上，Masmoudi-Zhao 和 Wei-Zhang 得到了最优阈值 $\gamma = \frac{1}{3}$；在有限通道 $\mathbb{T} \times [-1,1]$ 上，非滑移边界条件下 Chen-Li-Wei-Zhang 证明了 $\gamma \leq \frac{1}{2}$，而使用 Navier-滑移边界条件 的 Wei-Zhang [31] 最近证明了最优阈值 $\gamma = \frac{1}{3}$。

然而，在无限通道 $\mathbb{R} \times [-1,1]$ 中，由于缺乏周期性结构，不能使用傅里叶级数方法，必须处理连续谱与长波效应带来的技术困难。此前 Aron-Bedrossian 对无界域（如 $\mathbb{R}^2$）的研究仅得到 $\gamma \leq \frac{1}{2}+$，Li-Liu-Zhao 在全平面 $\mathbb{R} \times \mathbb{R}$ 上改进至 $\gamma = \frac{1}{3}+$，但在带边界的无限条形区域 $\mathbb{R} \times [-1,1]$ 上，是否能达到最优阈值 $\gamma = \frac{1}{3}$ 尚属未知。

本文正是回答了这一问题：在无限通道 $\mathbb{R} \times [-1,1]$ 下，采用 Navier-滑移边界条件，作者证明了当初始涡度扰动满足 $\|\omega^{in}\|_{H^3_{x,y} \cap L^1_x H^3_y} \leq c \nu^{1/3}$ 时，解全局存在并展现出两种关键动力学效应：

1. 增强耗散（enhanced dissipation）：高频模态以快于普通热扩散 $e^{-\nu t}$ 的速率衰减，典型速率如 $e^{-c\nu k^2 t^3}$；
2. 无粘阻尼（inviscid damping）：速度扰动像 $(1+t)^{-1}$ 一样衰减，即使在 $\nu \to 0$ 极限下也成立。

这两个机制共同支撑起最优转捩阈值 $\gamma = \frac{1}{3}$ 的实现。

值得注意的是，所用的初值空间 $H^3_{x,y} \cap L^1_x H^3_y$ 具有特殊结构：

• $H^3_{x,y}$ 提供足够的正则性以控制非线性项；
• $L^1_x H^3_y$ 强调对 $x$-方向的低频控制，确保在 $k \to 0$ 时傅里叶模态不会发散，这对处理长波不稳定性至关重要。

此外，Navier-滑移边界条件（即 $u^{(2)} = 0$, $\partial_y u^{(1)} = 0$ 在 $y = \pm 1$）相较于经典的非滑移条件更弱，允许切向速度滑动，这在物理建模中更接近真实流动，同时也为数学分析提供了更好的结构保持性质。

综上所述，本文的研究对象是一个具有重要物理背景和数学挑战性的非线性偏微分方程系统——无限通道中的二维 Navier-Stokes 方程在 Couette 基流附近的扰动演化，核心问题是确定其最优转捩阈值，并揭示背后的稳定性机制。

主要定理或主要结果

本文的主要结果由 Theorem 1.1 给出，完整陈述如下：

定理 1.1（最优转捩阈值）
假设初始涡度扰动 $\omega^{in} \in H^3_{x,y} \cap L^1_x H^3_y$，且 $0 < \nu < 1$。则存在一个与 $\nu$ 无关的小常数 $c > 0$，使得只要

则系统 (1.3) 存在全局解 $\omega(t,x,y)$。进一步地，定义两个 Fourier 乘子算子 $M(D_x)$ 和 $M_1(D_x)$ 如下：

其中 $\chi(k)$ 是截断函数，满足 $\chi(k) = 1$ 当 $|k| \leq 1$，$\chi(k) = 0$ 当 $|k| \geq 2$。则存在与 $\nu$ 无关的常数 $C > 0$ 和 $\theta \in [0, \frac{1}{16}]$，使得解满足以下两类估计：

1. 全局稳定性估计（含权重增强耗散）：

2. 无粘阻尼估计（速度扰动衰减）：

这里 $u = (\partial_y, -\partial_x)\Delta^{-1} \omega$ 是由涡度恢复的速度场。

该定理的意义在于：

• 首次在无限通道 $\mathbb{R} \times [-1,1]$ 中实现了 最优转捩阈值 $\gamma = \frac{1}{3}$；
• 不仅证明了解的全局存在性，还定量刻画了其长时间行为：既有 增强耗散，也有 无粘阻尼；
• 所得估计是统一的（uniform in $\nu$），适用于从高粘性到极低粘性的过渡过程。

此外，文中 Remark 1.1 指出，若初始数据满足更强的低频衰减条件（如 $\langle D_x \rangle^s \omega^{in} \in L^2$，$s > 1/2$），也可得到类似结论，但本文的结果适用于更一般的 $H^3 \cap L^1 H^3$ 类初值，无需额外低频衰减假设。

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

a) 核心分析工具

本文综合运用了多种现代 流体稳定性理论 中的核心工具，主要包括：

1. 准线性方法（quasi-linear approach）：将非线性系统通过变量分解转化为线性主部加误差项的形式，从而逐层控制。
2. 能量估计与时空加权空间：构造精细的能量泛函和加权函数空间，结合时间依赖的权重来捕捉解的渐进行为。
3. Fourier 分析与频率局部化：利用 $x$-方向的平移不变性进行 Fourier 变换，按频率 $k$ 进行 dyadic 分解，分别处理高低频行为。
4. 超耗散估计（enhanced dissipation estimates）：基于 hypocoercivity 方法建立带有 $t^3$ 型指数衰减的估计。
5. 无限叠加原理（infinite superposition principle）：一种新颖的技术，用于控制由“回声级联”（echo cascade）引发的增长效应。

具体而言，作者引入了一个全新的 涡度分解：

其中 $\omega_L$ 是由修正线性方程驱动的部分：

这个方程的设计巧妙融合了两种物理机制：

• 在高频 $|k| \gg \nu^{1/3}$ 时，项 $\nu t^2 k^2$ 主导，产生类似 $e^{-\nu k^2 t^3}$ 的 超耗散；
• 在低频 $|k| \ll \nu^{1/3}$ 时，常数项 $\nu$ 主导，提供基本的 $e^{-\nu t}$ 耗散。

更重要的是，作者证明 $\omega_L$ 对应的速度 $u_L$ 满足 无粘阻尼 效应：$\|u_L\|_{L^2} \lesssim (1+t)^{-1}$。这是实现最优阈值的关键。

对于误差项 $\omega_e$，它满足一个非齐次方程：

其中 $E_r = \partial_t \omega_L - \nu \Delta \omega_L + y \partial_x \omega_L + u_L \cdot \nabla \omega_L$ 是剩余项。为了封闭估计，作者进一步将 $\omega_e$ 分解为 $\omega_e = \omega_1 + \omega_2$，并对 $\omega_2$ 应用 dyadic 时间分解。

b) 关键技术突破

1. 新型加权空间 $X_\theta$ 的构造：
   定义空间 $X$ 的范数为：

   $$ \|f\|_X = \|f\|_{L^\infty L^2} + \nu^{1/2} \|\nabla f\|_{L^2 L^2} + \|M_1 \nabla \Delta^{-1} f\|_{L^2 L^2} + \nu^{1/2} \|\partial_x f\|_{L^1 L^2}, $$

   再定义加权空间 $X_\theta$：

   $$ \|f\|_{X_\theta} = \|(1 + \nu^{1/3} t M)^\theta f\|_X. $$

   这个空间的设计精确匹配 $\omega_L$ 的衰减速率，并能吸收非线性耦合效应。

2. Dyadic 时间分解与“无限叠加原理”：
   对于 $t \geq \nu^{-1/6}$，定义 dyadic 区间 $(T_{j-1}, T_j]$，其中 $T_0 = \nu^{-1/6}$, $T_j = 2^j \nu^{-1/3}$。引入截断函数 $\chi_j(t)$ 支撑在 $(T_{j-1}, T_j]$，并将 $\omega_2 = \sum_{j \geq 1} \omega_{2,j}$，每个 $\omega_{2,j}$ 满足：

   $$ \begin{cases} \partial_t \omega_{2,j} - \nu \Delta \omega_{2,j} + y \partial_x \omega_{2,j} = t u_L^{(2)} \partial_x \omega_e \chi_j, & t > T_{j-1}, \\ \omega_{2,j}|_{t=T_{j-1}} = 0, \quad \omega_{2,j}|_{y=\pm 1} = 0. \end{cases} $$

   此处反应项 $t u_L^{(2)} \partial_x \omega_e$ 来自非线性相互作用，可能引起增长。但由于 $u_L$ 具有 $(1+t)^{-1}$ 衰减，在每个区间 $(T_{j-1}, T_j]$ 上其大小约为 $T_j^{-1}$，而时间长度为 $T_j - T_{j-1} \sim T_j$，故总贡献可控。

   作者提出“无限叠加原理”，即通过将整个时间轴上的影响分解为可数多个局部块，并利用每个块上的能量估计进行求和，最终控制整体增长。这种方法有效遏制了“回声级联”可能导致的共振放大。

3. 低频与高频的统一处理：
   利用乘子 $M(k)$ 在低频取常数、高频取 $|k|^{1/3}$ 的设计，使得权重 $(1 + \nu^{1/3} t M)$ 能同时适应不同尺度的行为，避免传统方法在 $k \to 0$ 时失效的问题。

与之前工作的比较

本文相较于已有工作有多项显著突破：

1. 首次在无限通道 $\mathbb{R} \times [-1,1]$ 实现最优阈值 $\gamma = 1/3$：
   此前在无界区域的工作（如 Aron-Bedrossian, Li-Liu-Zhao）多集中于 $\mathbb{R}^2$ 或半平面，未考虑边界效应。本文成功处理了 有界横向区域 与 无限纵向延伸 的组合，填补了该几何情形下的空白。

2. 放宽对初始数据的要求：
   以往许多结果要求初始数据在 $x$-方向具有额外的低频衰减（如 Gevrey 类或 Sobolev 指数大于 $1/2$）。而本文只需 $H^3 \cap L^1_x H^3_y$，不要求 $\hat{\omega}^{in}(k) \to 0$ 当 $k \to 0$，更具普适性。

3. 新分解策略优于经典线性化方法：
   传统做法直接线性化于 Couette 流，但在 $k \to 0$ 时无法获得一致耗散率。本文提出的 $\omega_L$ 方程通过加入 $\nu(1 - t^2 \partial_x^2)$ 项，实现了高低频统一的“弱增强耗散” $(1 + \nu^{1/3} t)^{-1/4} e^{-\nu t}$，兼具鲁棒性与有效性。

4. 创新性地应对“回声级联”问题：
   “回声”是非线性流体中常见的共振现象，容易导致扰动累积增长。本文通过 dyadic 分解 + 无限叠加的方法，将无限时间积分拆分为可控的有限段之和，是一种全新的稳定性控制思路，可能适用于其他剪切流模型。

5. 与 Wei-Zhang [31] 相比，虽然都使用 quasi-linear 方法，但后者工作在环面 $\mathbb{T} \times [-1,1]$，可用离散 Fourier 级数简化分析；本文面对连续谱，需更强的积分估计和空间设计，技术难度更高。

综上，本文不仅达到了已知最优阈值，而且在方法论上有实质性创新，特别是在处理无限域、边界条件与非线性共振方面提供了新的分析范式，具有重要的理论价值和推广潜力。

5. Asymptotic stability of the symmetric flow via inviscid damping and enhanced dissipation

通过对流阻尼和增强耗散研究对称流的渐近稳定性

作者: Qi Chen, Hao Li, Shunlin Shen, Zhifei Zhang

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18361v1

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

详细分析

中文标题: 通过对流阻尼和增强耗散研究对称流的渐近稳定性

1. 研究对象和背景

本文研究的是二维不可压缩 Navier-Stokes 方程 在有限通道 $\Omega = \mathbb{T} \times (-1,1)$ 中围绕一类对称剪切流 $(U(y),0)$ 的线性化系统的稳定性问题，核心目标是建立对流阻尼（inviscid damping） 和增强耗散（enhanced dissipation） 的空间-时间估计，并进一步证明该类流动在高雷诺数（即小粘性 $\nu \ll 1$）下的非线性渐近稳定性。

所考虑的物理模型为：

其中 $u = (u_1,u_2)$ 是速度场，$P$ 是压力，$\nu > 0$ 是粘性系数（对应于雷诺数 $Re = \nu^{-1}$），边界条件为标准的无滑移边界条件（no-slip boundary condition）：速度在上下壁面完全为零。这与 Couette 流动或 Poiseuille 流动等经典剪切流情形一致。

为了简化分析并聚焦于关键机制，作者将注意力限制在满足所谓 S-条件 的一类“对称流”上：

这一条件包含两个重要性质：

• $U(y)$ 关于 $y=0$ 对称；
• 其二阶导数严格正，意味着速度剖面是严格凸函数。

一个典型的例子是平面泊肃叶流（plane Poiseuille flow）$U(y) = y^2$。这类流动在无限通道 $\mathbb{R}_x$ 上已被证明存在线性不稳定性区域（由 Grenier-Guo-Nguyen 等人发现），但在有限通道 $\mathbb{T}_x \times [-1,1]$ 中，在参数空间的其余部分是否稳定曾是一个开放问题。Almog 和 Helffer 最近的工作填补了这一空白，证明了在线性层面的稳定性。而本文的目标更进一步：不仅证明线性稳定性，还建立精细的动力学估计，并推进到非线性渐近稳定性。

为此，系统被转换为以涡量 $\omega = \partial_x u_2 - \partial_y u_1$ 为变量的形式。令 $\phi$ 为流函数，使得 $u = (-\partial_y \phi, \partial_x \phi)$，则 $\Delta \phi = \omega$。对于扰动涡量 $\omega$，线性化的 Navier-Stokes 系统变为：

此方程中的非局部项 $-U''(y)\partial_x \Delta^{-1} \omega$ 是分析的主要难点之一，它反映了平均流曲率对扰动传播的影响，无法像 Couette 流（$U''=0$）那样简化处理。这种非局部性显著增加了谱分析和技术构造的复杂度。

作者采用 Fourier 模式分解方法，记 $\alpha \in \mathbb{Z}$ 为 $x$-方向的波数，定义零模与非零模投影：

同时引入 Sobolev 型范数：

用于刻画不同 Fourier 模式的正则性。

研究区域 $\Omega = \mathbb{T} \times [-1,1]$ 是有界柱形域，其边界带来强烈的边界层效应。特别是在无滑移条件下，靠近边界的粘性层行为极为敏感，需通过精确构造边界层校正项来分离临界层（critical layer）与边界层动力学。

此外，函数空间的选择也至关重要。本文使用的是标准 Sobolev 空间 $H^5$ 或 $H^4$ 作为初始数据的正则性假设，而非 Gevrey 类或解析类——这意味着结果适用于比以往某些工作（如要求 Gevrey-$2+$ 正则性的 Couette 流稳定性）更弱的初始扰动。

综上所述，本文的研究对象是一个具有非局部项、非单调基本流、有界区域、无滑移边界条件的线性化 Navier-Stokes 系统，旨在揭示其在高雷诺数极限下的双重稳定机制：对流引起的动量再分布（inviscid damping） 和剪切诱导的快速耗散（enhanced dissipation），从而为理解从层流向湍流转捩的阈值提供数学基础。

2. 主要定理或主要结果

定理 1.1（线性对流阻尼与增强耗散估计）

设 $U(y) \in \mathcal{S}$，$(\omega, u)$ 是线性化系统 (1.5) 的解，且初始涡量满足 $\int_{\mathbb{T}} \omega^{\mathrm{in}}(x,y)\,dx = 0$。则存在常数 $\nu_0 > 0$, $\varepsilon_0 > 0$，使得对所有 $\nu \in (0, \nu_0]$, $\varepsilon \in [0, \varepsilon_0]$，每个 Fourier 模式 $\alpha \in \mathbb{Z}\setminus\{0\}$ 都满足如下空间-时间估计：

这个估计包含了多个关键物理信息：

• 对流阻尼：速度 $u_\alpha$ 被指数加权控制，表明扰动随时间衰减；
• 增强耗散：耗散率优于普通热方程的 $O(\nu)$，体现为 $\nu^{1/2}, \nu^{2/3}$ 等因子；
• 边界加权控制：$\sqrt{1-y^2} \omega$ 的估计反映了边界附近涡量的抑制；
• 点态估计：$\|u_\alpha\|_{L^\infty_t L^\infty_y}$ 表明速度扰动全局有界。

定理 1.2（非线性渐近稳定性）

设 $U(y) \in \mathcal{S}$，$(\omega, u)$ 是非线性 Navier-Stokes 系统 (1.9) 的解。存在常数 $\nu_0 > 0$, $\varepsilon_0 > 0$, $c > 0$，使得若初始扰动满足

则解整体存在，并满足全局稳定性估计：

其中稳定性范数 $E_\alpha$ 定义为：

$$ E_\alpha := \begin{cases} |\omega_0|{L^\infty_t L^2_y}, & \alpha = 0, \ |\alpha|^{1/2} |e^{\varepsilon_0 \nu^{1/2} t} u\alpha|{L^\infty_t L^2_y} + |\alpha|^{1/2} |e^{\varepsilon_0 \nu^{1/2} t} u\alpha|{L^2{t,y}} + |e^{\varepsilon_0 \nu^{1/2} t} u_\alpha|_{L^\infty_t L^\infty_y} \

• \nu^{1/4} |\alpha|^{1/4} |e^{\varepsilon_0 \nu^{1/2} t} \omega_\alpha|{L^2{t,y}} + \nu^{1/4} |e^{\varepsilon_0 \nu^{1/2} t} \omega_\alpha|{L^\infty_t L^2_y} + |e^{\varepsilon_0 \nu^{1/2} t} \sqrt{1 - y^2} \omega\alpha|_{L^\infty_t L^2_y}, & \alpha \neq 0. \end{cases} $$

特别地，有：

这些结论说明：只要初始扰动大小不超过 $O(\nu^{2/3})$，系统就会保持稳定，且非零模迅速衰减至零，实现渐近趋向于基流。

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

a) 核心分析工具

本文采用了一套高度系统化的框架，结合了谱理论、能量估计、Laplace 变换与 resolvent 分析，以及边界层校正技术。

首要工具是将时间演化问题转化为频域上的 resolvent 估计。通过对线性化系统进行 Laplace 变换，原初值问题转化为求解 Orr-Sommerfeld (OS) 方程：

目标是对解 $w$ 和 $u = (-\partial_y \psi, i\alpha \psi)$ 建立关于 $\lambda$、$\alpha$、$\nu$ 的显式估计。

由于直接处理无滑移边界困难，作者采用 Chen-Widmayer-Zhang [15] 提出的关键思想：将解分解为两部分：

其中 $w_{\text{Na}}$ 满足 Navier-slip 边界条件（允许切向滑动），而 $w_{\text{cor},j}$ 是边界层校正项，用于恢复无滑移条件。这种分解的好处在于：

• $w_{\text{Na}}$ 可用能量法有效控制；
• $w_{\text{cor},j}$ 可用 Airy 函数近似；
• 系数 $c_j$ 仅依赖于 $w_{\text{Na}}$，便于递推估计。

接下来的核心是建立 Rayleigh 方程的能量型不等式（coercive estimates）。考虑 Rayleigh 算子：

作者引入特征区间 $(y_1, y_2)$，其中 $U(y_i) = \lambda$，并定义截断函数 $\chi = \mathbf{1}_{(y_1,y_2)}$。通过巧妙的积分分部和 Cauchy-Schwarz 不等式，得到关键的强制性估计（Lemma 2.1）：

以及：

这些估计提供了对内部区域解的控制，是后续推导 resolvent 界的基础。

此外，作者发展了两类辅助不等式：

• Hardy 型不等式（Lemma 2.2）：控制 $\frac{\psi_1}{\lambda - U}$ 的 $L^2$ 范数；
• 单点估计（Lemma 2.3）：估计 $\frac{|\psi_1(0)|^2}{(y_2 - y_1)^3}$，这对处理对称结构至关重要。

b) 技术性难题的处理

最大挑战来自非局部项 $U'' \Delta^{-1} \omega$。传统方法难以将其视为误差项。为此，作者提出以下技巧：

1. 弱型 resolvent 估计：针对算子 $\frac{U''}{U - \lambda} w$，建立弱估计：

   $$ \left| \left\langle \frac{U''}{U - \lambda} w_{\text{Na}}, f \right\rangle \right| \lesssim |\alpha|^{-1} \sum_{j=\pm1} |f(j)| \|F\|_{H^{-1}} (|U(1)-\lambda| + \delta^{4/3})^{-3/4} \delta^{-1} + \cdots $$

   这利用了 $\frac{1}{U''}$ 的权重使其自伴，从而应用极限吸收原理。

2. 光滑截断与内外部分离：为处理 $H^{-1}$ 范数估计，不能使用粗糙特征函数 $\chi$，而是引入光滑截断 $\rho_\delta, \rho_c$，将问题分为外部（远离临界层）和内部（包含 $\lambda = U(y)$）两部分。结合 coercive estimate 和外部能量恒等式：

   $$ \langle \psi, \rho_c w \rangle \gtrsim \|\psi'\|_{L^2(\text{ext})}^2 - \|\psi\|_{L^\infty(B_{\delta})} \|\chi_c w\|_{L^1}, $$

   成功吸收误差项。

3. 边界层校正的精细分析：通过 Airy 函数逼近 $w_{\text{cor},j}$，并估计系数 $c_j$ 与 $w_{\text{Na}}$ 的关系，最终获得 sharp 的 $H^{-1}$ resolvent 界：

   $$ \nu^{3/4} |\alpha|^{1/4} \|w\|_{L^2} + \nu^{1/2} |\alpha|^{1/2} \|u\|_{L^2} \lesssim \|F\|_{H^{-1}}. $$

4. vorticity depletion 机制：对于齐次问题，使用 Jia-Sverak [24] 提出的涡量耗尽估计：

   $$ |\omega(t,y)| \lesssim |U'(y)|^{4/7} \|\omega^{\mathrm{in}}\|_{H^4} + \langle t \rangle^{-7/8} \|\omega^{\mathrm{in}}\|_{H^4}, $$

   有效控制低频响应。

4. 与之前工作的比较

a) 突破与改进

本文的主要突破体现在以下几个方面：

1. 推广到一般对称流：此前工作多集中于 Couette ($U=y$) 或 Poiseuille ($U=y^2$) 流。本文首次对满足 S-条件的一般对称凸流建立了完整的线性与非线性稳定性理论，克服了非局部项 $U'' \Delta^{-1} \omega$ 的障碍。

2. 统一处理无滑移边界：以往对无滑移边界的研究往往受限于特定剖面或较低正则性。本文通过 Navier-slip + boundary corrector 分解，构建了一个可推广的框架，实现了对一般剪切流的 sharp resolvent 估计。

3. 获得新的稳定性阈值：对于无滑移边界，本文证明渐近稳定性阈值为 $\beta = 2/3$，即初始扰动允许大小为 $O(\nu^{2/3})$。虽然作者推测最优值可能是 $1/2$，但这是目前在 Sobolev 框架下对一般对称流的最佳结果。

4. 首次建立 sharp enhanced dissipation 与 inviscid damping：文中给出的估计如 $\nu^{1/2} |\alpha|^{1/2} \|\omega\|_{L^2_{t,y}}$ 和 $|\alpha|^{1/2} \|u\|_{L^2_{t,y}}$ 是全新的，即使对 Poiseuille 流也未曾建立。

5. 降低正则性要求：相比需要 Gevrey 类正则性的结果（如 Bedrossian-Masmoudi 对 Couette 流的工作），本文仅需 $H^4$ 初始数据，适用范围更广。

6. 解决开放问题：Almog-Helffer 仅证线性稳定性，本文在此基础上实现了非线性渐近稳定性，完成了从线性到非线性的跨越。

总之，本文不仅在技术深度上超越前人，更在普适性和物理意义上传递了更强的信息：即使在复杂边界和一般剪切剖面下，高雷诺数流动仍可通过内在混合机制维持稳定。

6. Support growth of vorticity for bi-rotational Euler flows in high dimensions

高维双旋转欧拉流中涡量支集的增长

作者: In-Jee Jeong, Deokwoo Lim

类别: math.AP, 76B47, 35Q35

发布日期: 2025-10-21

arXiv ID: 2510.18335v1

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

详细分析

中文标题: 高维双旋转欧拉流中涡量支集的增长

1. 研究对象和背景

本文研究的是高维空间 $\mathbb{R}^d$（其中 $d = n + m + 2 \geq 4$）中的不可压缩欧拉方程，在一种称为“双旋转对称性”（bi-rotational symmetry）的特殊几何结构下的动力学行为。这类对称性限制了速度场的形式，从而将原本复杂的向量型偏微分方程系统简化为一个标量涡量输运问题。

原始的不可压缩欧拉方程组如下：

其中 $v = (v_1, \dots, v_d): [0,T) \times \mathbb{R}^d \to \mathbb{R}^d$ 是速度场，$p: [0,T) \times \mathbb{R}^d \to \mathbb{R}$ 是压力项。这是一个非线性的偏微分方程组，描述理想流体的运动，在数学物理中具有基础地位。

由于该方程在高维下难以直接分析其整体行为（如解的存在性、唯一性、正则性或可能的奇点形成），研究者常通过引入对称性来降维并保留部分非平凡动力学。本文采用的就是一种特殊的对称结构：双旋转对称且无旋（without swirl）。

具体地，作者将 $\mathbb{R}^d$ 分解为两个子空间：$\mathbb{R}^{n+1} \times \mathbb{R}^{m+1}$，并定义两个径向变量：

相应地，定义单位向量：

在此框架下，考虑满足以下形式的速度场：

即速度仅沿 $e_r$ 和 $e_s$ 方向，且只依赖于 $(t,r,s)$。这种假设被称为“双旋转对称无旋解”，意味着速度在固定前 $n+1$ 或后 $m+1$ 坐标的所有旋转下不变，并且没有切向（swirl）分量。

在这种对称性下，整个系统的自由度被大幅降低。关键观察是：涡量张量 $\omega_{i,j} = \partial_j v_i - \partial_i v_j$ 可以用一个标量函数 $w(r,s,t)$ 来表示。特别地，对于 $1 \le i \le n+1 < j \le n+m+2$，有：

而其他分量为零。这表明涡量集中在跨两个子空间的方向上，且由单一函数 $w$ 完全刻画。

进一步引入标量流函数 $\psi(r,s)$ 满足：

这个方程实际上等价于更高维空间中的拉普拉斯反演：$\psi = rs \Delta^{-1}_{\mathbb{R}^{n+3}\times\mathbb{R}^{m+3}}(w/(rs))$，体现了从涡量到速度的非局部关系。

速度与流函数的关系为：

最终，原欧拉方程被约化为关于标量涡量 $w(t,r,s)$ 的演化方程：

这意味着量 $\frac{w}{r^n s^m}$ 被速度场 $(u_r, u_s)$ 所输运。因此，若初始时 $\frac{w_0}{r^n s^m}$ 是某个区域上的示性函数，则其在后续时间仍保持为某移动区域上的示性函数——这就是所谓的“涡旋片解”（patch-type solution）。

本文关注的核心问题是：当初始涡量为紧支撑的“片状”数据时，其支集是否会随时间无限增长？

为此，定义支集大小：

目标是研究 $L(t)$ 是否趋于无穷。

值得注意的是，本文的研究区域是第一象限 $\Pi = \{r,s \ge 0\}$，边界条件为 $\psi|_{\partial\Pi}=0$，这是由对称性和正则性要求自然导出的。此外，所考虑的函数空间包括 $L^\infty$ 类以及加权空间（如 $X$ 空间），强调了解的有界性和支集紧性。

综上所述，本文研究的是在高维双旋转对称性下，欧拉流体中标量涡量片的动力学演化，重点在于揭示其支集直径的无限增长现象，这是对传统二维或轴对称情形的重要推广。

2. 主要定理或主要结果

Theorem 1.1（局部适定性与爆破准则）

设 $\Omega_0 \subset \Pi$ 为一有界开集，且与边界 $\partial\Pi$ 相离（即 $\mathrm{dist}(\Omega_0, \partial\Pi) > 0$）。考虑初值：

则存在 $T > 0$，使得对应欧拉方程存在唯一的局部解，形如：

其中 $\Omega_t$ 是 $\Omega_0$ 在由速度场 $(u_r,u_s)$ 生成的流映射下的像。

此外，该解可延拓过时间 $T$ 当且仅当：

其中 $L(t) = R(t) + S(t)$。

说明：此定理建立了片状解的局部存在唯一性，并给出了生命跨度的最大性准则——只要支集直径不趋于无穷，解就可延拓。

Theorem 1.2（支集的无限增长）

令 $w(t)$ 为上述定理中解的最大存在时间 $T_{\max} \in (0,+\infty]$ 下的解。则必有：

说明：即使解全局存在（$T_{\max} = +\infty$），其涡量支集的直径也会趋于无穷。这是本文最核心的结果，揭示了高维双旋转欧拉流中的一种新型长期扩散行为。

此外，文中还给出了更一般的局部适定性命题：

Proposition 3.1（一般初值的局部适定性与爆破准则）

设初始涡量 $w_0 \in X$（其中 $X$ 为某加权 $L^\infty$ 空间）且紧支撑。则存在 $T > 0$，使得存在唯一解 $w \in L^\infty(0,T; X)$。且解在范数 $X$ 中爆破于时间 $T^* > 0$ 当且仅当：

说明：此命题提供了更强的爆破判据，将解的奇性与支集扩张速率联系起来。

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

a) 核心分析学工具

1. 输运方程理论与流映射方法
   关键洞察在于：量 $\frac{w}{r^n s^m}$ 满足纯输运方程：

   $$ \partial_t \left( \frac{w}{r^n s^m} \right) + u \cdot \nabla \left( \frac{w}{r^n s^m} \right) = 0, $$

   因此它沿着速度场 $(u_r, u_s)$ 的特征线守恒。这允许将片状解视为被流映射变形的集合 $\Omega_t = \Phi_t(\Omega_0)$，从而将PDE问题转化为ODE系统的几何演化问题。

2. Biot–Savart律与速度估计
   速度通过非局部算子由涡量决定。利用笛卡尔坐标下的Biot–Savart公式：

   $$ u_i(x) = \sum_{j=1}^d \partial_{x_j} \Psi_{i,j}(x), \quad \Psi_{i,j} = c_d \int_{\mathbb{R}^d} \frac{\omega_{i,j}(y)}{|x-y|^{d-2}} dy, $$

   结合涡量支集包含于球 $B_{L(t)}(0)$ 的事实，得到速度梯度的估计：

   $$ |\nabla \Psi_{i,j}(x)| \lesssim \|\omega_{i,j}\|_{L^\infty} \int_{B_{L(t)}} \frac{dy}{|x-y|^{d-1}} \lesssim L(t) \|w(t)\|_{L^\infty}. $$

   进而控制 $ \|u(t)\|_{L^\infty} \lesssim L(t)^{d-1} $，这是推导支集扩张率的关键。

3. 能量型不等式与先验估计
   文章通过对 $\|w\|_{L^\infty}$、$\|w/r^n\|_{L^\infty}$、$\|w/s^m\|_{L^\infty}$ 建立微分不等式，进行迭代估计。例如：

   $$ \frac{d}{dt} \left\| \frac{w}{r^n} \right\|_{L^\infty} \lesssim m L(t)^{d-1} \left\| \frac{w_0}{r^n s^m} \right\|_{L^\infty}^{1+1/m} \left\| \frac{w}{r^n} \right\|_{L^\infty}^{1-1/m}, $$

   解此类不等式可得：

   $$ \left\| \frac{w}{r^n} \right\|_{L^\infty} \lesssim \left(1 + \int_0^t L(\tau)^{d-1} d\tau \right)^m. $$

4. 矛盾法与积分估计技巧
   Theorem 1.2 的证明采用反证法：假设 $L(t) \le M$ 对所有 $t$ 成立，则支集始终受限。结合此假设与流函数的显式积分表达式，构造出冲量（impulse）量：

   $$ P_r(t) = \frac{1}{n+1} \iint_\Pi r^{n+1} w(t,r,s) drds, \quad P_s(t) = \frac{1}{m+1} \iint_\Pi s^{m+1} w(t,r,s) drds. $$

   利用方程结构，证明 $ \dot{P}_r(t) \ge 0 $，$ \dot{P}_s(t) \le 0 $，即 $P_r$ 非减、$P_s$ 非增。

5. 流函数下界的精细估计
   关键引理 Lemma 4.3 给出了 $\partial_s \psi(r,0)$ 的下界：

   $$ \partial_s \psi(r,0) \gtrsim \iint_\Pi \frac{r^{n+1} s^{m+1}}{[(r+r')^2 + s^2]^{d/2 + 1}} w(r',s') dr'ds'. $$

   此估计利用了积分核的单调性和对称性，结合三角不等式技巧处理分母差异，是得出冲量变化符号的基础。

b) 技术性难题的处理

• 非线性耦合与非局部性：速度 $(u_r, u_s)$ 由涡量通过非局部算子决定，导致方程高度非线性。解决方式是借助对称性将问题完全降维至 $(r,s)$ 平面，并使用流函数表示速度，避免直接处理张量运算。

• 边界奇异性：在 $r=0$ 或 $s=0$ 处，坐标变换可能导致奇性。但通过对称性假设和边界条件 $\psi|_{\partial\Pi}=0$，保证了 $u_r, u_s$ 的良好定义（见 Remark 2.1）。

• 片状解的适定性：通常片状解需面对界面正则性退化问题。但由于 $\frac{w}{r^n s^m}$ 被光滑流映射输运，只要初始 $\Omega_0$ 光滑且远离边界，局部时间内解保持结构稳定。

• 无限增长的非定量性：当前结果仅为定性“无限增长”，未给出速率。原因在于反证法无法提供渐近信息，且权重 $r^n s^m$ 在流动中可能衰减，阻碍 $\|w\|_{L^\infty}$ 发散。

4. 与之前工作的比较

a) 突破与改进

1. 首次揭示高维双旋转流中支集无限增长
   尽管三维轴对称欧拉方程已有大量研究（如 Danchin, Chen-Strain-Yau-Tsai 等），但关于高维双旋转结构的工作极少。Khesin–Yang 与 Yang 曾指出此类系统与“湖泊方程”类比，并提出点涡模型可能有限时爆破，但缺乏严格验证。本文首次在光滑片状解框架下证明了支集必然无限扩张，填补了这一空白。

2. 推广维度与对称类型
   相较于经典的轴对称流（fixing one axis），本文考虑的是更复杂的双旋转对称（$S^n \times S^m$-symmetry），适用于 $d \ge 4$ 的广泛情形。这种对称性允许更丰富的动力学，特别是两个径向方向之间的相互作用。

3. 不同于传统“奇点形成”的爆破机制
   传统上，欧拉方程的“爆破”指 $\|\nabla v\|_{L^\infty} \to \infty$。但在本文设定中，爆破只能通过支集逃逸至无穷远实现（因紧支撑涡量在高维不会自聚焦）。这提供了一种全新的“弱爆破”图景：解本身可能保持有界，但其影响范围不断扩大。

4. 相较于 Gustafson–Miller–Tsai 的进步
   在高维轴对称情形，[8] 给出了 $r$-方向支支持续增长的定量下界（如 $(1+t)^{3/4-\epsilon}$）。但其方法依赖于椭圆积分表达式，无法推广至双旋转情形。本文虽未定量，却适用于更广对称类，且结论更强：不仅是单方向增长，而是 $R(t)+S(t)\to\infty$。

5. 对“全局适定性”猜想的挑战
   最近 [4] 在 $d=4, n=m=1$ 情形证明了 Yudovich 型解的全局存在性，暗示双旋转流可能无奇点。但本文表明：即便解全局存在，其物理影响域仍无限扩展，说明流体持续混合、扩散，不能被局域化。

6. 为“涡膜动力学”提供支持
   Khesin 提出的“codimension-two vortex membranes”演化由 skew-mean curvature flow 描述，形式上对应点涡 ODE。本文结果暗示，即使光滑化后的片状解也不会坍缩，反而扩张，支持了此类高维涡结构倾向于扩散而非聚集的观点。

综上，本文的主要贡献在于：在高维、新对称结构、片状初值条件下，首次严格证明了涡量支集必须无限增长，揭示了不同于经典奇点形成的长期动力学行为，推动了对高维欧拉方程复杂性的理解。

7. The interaction between rough vortex patch and boundary layer

粗糙涡旋块与边界层的相互作用

作者: Jingchi Huang, Chao Wang, Jingchao Yue, Zhifei Zhang

类别: math.AP

发布日期: 2024-12-04

arXiv ID: 2412.03198v3

链接: http://arxiv.org/abs/2412.03198v3

详细分析

中文标题: 粗糙涡旋块与边界层的相互作用

1. 研究对象和背景

本文研究的是在半平面 $ \mathbb{R}^2_+ = \{(x,y) \in \mathbb{R}^2 : y > 0\} $ 上，高雷诺数（high Reynolds number） 条件下 Navier-Stokes 方程 的解在粘性趋于零时的渐近行为。具体而言，作者关注当初始涡量（vorticity） 属于 Yudovich 类 且其支集远离边界 $ y=0 $ 时，Navier-Stokes 解与对应的 Euler 方程解之间的收敛性。

所研究的流体动力学系统由如下 Navier-Stokes 方程组 描述：

其中 $ U^\nu = (u,v) $ 是速度场，$ p^\nu $ 是压力，$ \nu > 0 $ 是粘性系数（对应雷诺数 $ Re = 1/\nu $），边界条件为 无滑移条件（no-slip boundary condition）：

相应的 Euler 方程（即无粘极限下的理想流体方程）为：

同样定义在半平面上，并满足边界条件 $ v^e|_{y=0} = 0 $（即法向速度为零），但切向速度可能非零。

本文的核心兴趣在于：当初始涡量 $ \omega_0 = \mathrm{curl}\, U_0 $ 是一个所谓的“粗糙涡旋块（rough vortex patch）”，即属于 Yudovich 类——这意味着 $ \omega_0 \in L^\infty_c(\mathbb{R}^2_+) $（有界紧支集函数），但不具有更高阶的光滑性（例如不属于 Sobolev 或 Hölder 空间）——并且其支集远离边界（如 $ \mathrm{supp}\,\omega_0 \subset \{20 \leq y \leq 30\} $），此时 Navier-Stokes 解是否会在 $ L^p $ 意义下收敛到 Euler 解？

这一问题在数学流体力学中具有重要意义，尤其是在涉及边界层效应（boundary layer effect） 和 初始层（initial layer） 的情形下。由于无滑移边界条件的存在，在壁面附近会形成极薄的Prandtl 边界层，其厚度约为 $ O(\nu^{1/2}) $，导致速度梯度剧烈变化。这使得即使初始数据光滑，解在边界附近的正则性也会退化，从而阻碍对粘性消失极限的一致估计。

特别地，本文强调了两个关键困难：

• 初始数据的低正则性：Yudovich 类的数据缺乏经典光滑性，无法使用基于 Taylor 展开或渐近展开的方法（如 Prandtl 展开）来处理。
• 边界层与涡旋块的相互作用：尽管初始涡旋块远离边界，但在演化过程中，涡量可能通过非线性对流扩散至边界区域，进而与边界层发生复杂耦合。

此外，由于初始速度 $ U_0 $ 由涡量通过 Biot-Savart 定律重构而来，它一般不满足无滑移边界条件（即 $ u_0(x,0) \neq 0 $），因此还会出现所谓的“初始层（initial layer）”现象——在 $ t=0 $ 附近，解需迅速调整以适应边界条件，导致时间方向上的奇异性。

为了克服这些挑战，作者引入了一套新的函数框架（functional framework），包括针对边界附近设计的加权范数空间（如 $ Y_k(t) $ 范数）以及远离边界的能量项（如带权重 $ e^\Psi \chi_0 \psi \omega $ 的 $ L^2 $ 范数）。这种分区域控制策略旨在精细刻画涡旋块与边界层之间的动态交互。

综上所述，本研究的对象是一个带有无滑移边界条件、定义在半平面上的 Navier-Stokes 系统，其初始涡量属于低正则性的 Yudovich 类且支集远离边界。目标是建立该系统在 $ \nu \to 0 $ 时向 Euler 解的 $ L^p $ 收敛性，重点在于处理由边界层强效应和初始数据粗糙性带来的分析难题。

2. 主要定理或主要结果

Theorem 1.1（主要收敛结果）

假设：初始涡量 $ \omega_0 \in L^\infty_c(\mathbb{R}^2_+) $，且存在常数 $ 0 < a < b < \infty $，使得 $ \mathrm{supp}\,\omega_0 \subset \{a \leq y \leq b\} $。

结论：存在时间 $ T_0 > 0 $ 和两个与粘性系数 $ \nu $ 无关的正常数 $ C, C' $，使得对于所有 $ 2 \leq p < \infty $，有

此定理表明，在有限时间内，Navier-Stokes 解以速率 $ \nu^{\frac{1}{4p}} $ 在 $ L^p $ 范数下收敛到 Euler 解，且指数衰减因子反映了稳定性。

Theorem 1.2（定量 Kato 型准则）

假设：同 Theorem 1.1，若涡量 $ \omega = \mathrm{curl}\, U^\nu $ 满足

则存在 $ T_0 > 0 $，使得对所有 $ t \in [0,T_0] $，

这是一个适用于 Yudovich 类初值的新型定量 Kato 准则，将传统的无粘极限判据推广到了低正则情形。

Proposition 1.3（一致先验估计）

在相同假设下，存在 $ T_0 > 0 $ 独立于 $ \nu $，使得

其中常数 $ C $ 仅依赖于 $ \omega_0 $。这是全文最关键的先验估计，保证了解的一致有界性和涡量耗散的可控性。

补充结果

文中还指出，若引入 Prandtl 边界层校正项 $ (u_p, v_p) $，满足 Prandtl 方程，则可得更强的 $ L^\infty $ 收敛：

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

a) 核心分析工具

1. Kato 型能量方法的改进版本
   经典的 Kato 准则断言：若粘性项的能量耗散集中在边界层内，即

   $$ \lim_{\nu \to 0} \int_0^T \int_{y \leq \nu} |\nabla U^\nu|^2 dx dy dt = 0, $$

   则 Navier-Stokes 解收敛到 Euler 解。然而，该准则通常要求 $ \nabla U^e \in L^\infty $，而在半平面中，即使 $ \omega^e \in L^\infty $，也不能推出 $ \nabla U^e \in L^\infty $，因为 Biot-Savart 核在边界处奇异。为此，作者构造了一个修正的速度场 $ U_s $，使其在边界附近逼近 $ U^e $，并利用其反对称性质进行能量估计，从而绕过对 $ \nabla U^e $ 一致有界的依赖。

2. Biot-Savart 定律的精细估计
   在半平面中，速度由涡量通过镜像法表示：

   $$ U^e(x,y) = \frac{1}{2\pi} \int_{\mathbb{R}^2_+} \left( \frac{-(y-\tilde y), x-\tilde x}{(x-\tilde x)^2 + (y-\tilde y)^2} - \frac{-(y+\tilde y), x-\tilde x}{(x-\tilde x)^2 + (y+\tilde y)^2} \right) \omega^e(\tilde x,\tilde y) d\tilde x d\tilde y. $$

   作者利用此表达式估计 $ \nabla U^e $ 在远离支集区域的 $ L^\infty $ 有界性，并结合 Gagliardo-Nirenberg 不等式控制局部 $ L^4 $ 范数。

3. 加权函数空间与能量泛函构造
   为控制边界附近的涡量行为，作者定义了一系列加权范数：

   • 近边界：$ \|f\|_{\mu,t} = \int_0^{1+\mu} e^{\varepsilon_0(1+\mu - y)/\sqrt{\nu t}} |f(y)| dy $
   • 傅里叶变量加权：$ \|f\|_{Y_{k,\mu},t} = \left\| e^{\varepsilon_0(1+\mu - y)^+ + |\xi|} f_\xi \right\|_{\mu,t} $
   • 全局能量泛函：
     $$ E(t) := \sup_{0 \leq s \leq t} \left[ \|(1,x)(\omega(s) - \omega_c(s))\|_{Y_1(s) \cap Y_2(s)} + \|e^{\Psi} \chi_0 \psi \omega(s)\|_{L^2} + \|\chi_0 \omega(s)\|_{L^p} \right] $$
     其中 $ \omega_c $ 是初始层校正项，$ \Psi $ 是随时间演化的权重函数，用于捕捉边界层结构。

4. 极大值原理与 Hardy 不等式
   在估计非线性项时，频繁使用 Hardy 型不等式处理 $ \frac{U}{y} $ 类型的奇性项，例如：

   $$ \left\| \frac{U}{y} \right\|_{L^2} \lesssim \|\nabla U\|_{L^2}, $$

   并结合指数权重控制边界附近增长。

b) 关键技术技巧

1. 初始层校正（Initial Layer Corrector）
   针对 $ u_0(x,0) \neq 0 $ 引发的初始层问题，构造热方程解作为校正项：

   $$ \begin{cases} \partial_t u_c - \nu \partial_y^2 u_c = 0, \\ u_c|_{t=0} = u_0(x)\chi(y), \quad u_c|_{y=0} = 0, \end{cases} $$

   其显式解为卷积形式，可用于精确估计 $ \omega_c = -\partial_y u_c $ 的衰减速率（如 $ \|\omega_c\| \lesssim (\nu t)^{-1/2} $）。

2. 分区域估计策略
   将空间划分为三个区域：

   • 边界层区 $ y \ll 1 $：用加权 $ Y_k(t) $ 范数控制；
   • 中间过渡区 $ y \sim 1 $：用 Sobolev 范数 $ H^3 $ 控制；
   • 外部区域 $ y \gg 1 $：用标准 $ L^p $ 或加权 $ L^2 $ 控制。 通过选取合适的截断函数 $ \chi_0(y) $ 实现无缝拼接。

3. 指数型 Young 不等式处理对数发散
   在估计 $ J_53 $ 项时，面对 $ \log \|U - U^e\|_{L^2} $ 导致的对数发散，采用不等式：

   $$ ab \leq e^a + b \log b, $$

   取 $ a = \beta |\nabla U^e| + \log(\nu^{-1/4}) $，$ b = \|U - U^e\|_{L^2}^2 $，从而将对数项吸收进指数积分，再利用 $ \omega_0 \in L^\infty $ 控制 $ \int e^{\beta |\nabla U^e|} dx dy < \infty $。

4. 连续性论证（Continuity Argument）
   最终通过证明 $ E(t) \leq C(E(t)+1)^{1/2} + C\nu^{1/2} $，结合连续性方法得出 $ E(T_0) \leq C $，从而获得全局一致估计。

4. 与之前工作的比较

a) 突破与改进

本文相较于前人工作实现了以下几方面的重要推进：

1. 显著放宽了初始数据的正则性要求
   以往关于半平面中无粘极限的工作（如 Maekawa [13], Wang et al. [21]）大多要求初始数据在边界附近解析或具有较高的 Sobolev 正则性，以便进行 Prandtl 渐近展开。而本文仅假设 $ \omega_0 \in L^\infty_c $，即属于最典型的 Yudovich 类，这是目前已知最弱的涡量正则性条件之一。这意味着结果适用于真正的“粗糙”涡旋块，而非光滑扰动。

2. 避免使用渐近展开方法
   多数边界层分析依赖于将解展开为

   $$ u^\nu \approx u^e + u^p\left(t,x,\frac{y}{\sqrt{\nu}}\right) + \cdots $$

   但这需要高阶正则性支持。本文完全避开渐近展开，直接对原始 Navier-Stokes 系统做一致估计，适用于非线性结构完整的全模型。

3. 首次在低正则性下建立定量收敛率
   Constantin-Drivas-Elgindi [3] 在无边界情形下证明了 Yudovich 数据的 $ L^p $ 收敛，但未给出速率；Abidi-Danchin 给出最优速率但限于光滑数据。本文首次在有边界 + 低正则初值组合下，给出了明确的收敛速率 $ \nu^{1/(4p)} $，并通过新提出的 Kato 型定量准则 构建桥梁。

4. 系统性发展适用于粗糙数据的函数框架
   作者创造性地构建了一套融合傅里叶分析、指数加权、时空局部化的复合函数空间体系，能够同时处理：

   • 初始层引起的短时奇性，
   • 边界层引起的空间奇性，
   • 非线性输运带来的耦合效应。 这套工具本身具有独立意义，有望推广至其他具边界的流体模型。

5. 更贴近物理现实的应用场景
   “地面效应”（ground effect）等工程问题中，飞行器下方的涡结构往往呈现不规则形态且远离地面，正好对应本文设定。相比点涡或光滑斑块模型，粗糙涡旋块更符合实际湍流结构，因此本文结果更具应用价值。

综上，本文突破了传统边界层理论对正则性的苛刻依赖，将无粘极限的研究拓展至更具挑战性的低正则情形，标志着该领域向更真实、更普适的方向迈出关键一步。

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

1. The Global Well-posedness of the Euler-Poisson System for Ions in 2D

二维情况下离子的欧拉-泊松系统的整体适定性

作者: Han Cui

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18655v1

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

摘要翻译

中文标题: 二维情况下离子的欧拉-泊松系统的整体适定性

摘要翻译: 本文旨在建立二维情况下离子的欧拉-泊松系统的整体适定性。通过借鉴用于重力-毛细水波及欧拉-麦克斯韦系统的研究方法，将克服由低频时段共振和衰减缓慢所引起的困难。

2. SPIKE: Stable Physics-Informed Kernel Evolution Method for Solving Hyperbolic Conservation Laws

SPIKE：求解双曲型守恒律的稳定物理信息核演化方法

作者: Hua Su, Lei Zhang, Jin Zhao

类别: math.NA, cs.AI, cs.LG, cs.NA, math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18266v1

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

摘要翻译

中文标题: SPIKE：求解双曲型守恒律的稳定物理信息核演化方法

摘要翻译: 本文提出了用于数值求解无黏性双曲型守恒律的稳定物理信息核演化（SPIKE）方法。SPIKE 解决了一个基本悖论：强形式残差最小化如何能够捕捉包含间断的弱解。该方法采用具有正则化参数演化的再生核表示，其中 Tikhonov 正则化提供了通过激波形成的平滑过渡机制，使得动力学过程能够穿越激波奇点。该方法在一个统一的框架内自动保持守恒性、追踪特征线，并捕捉满足Rankine-Hugoniot条件的激波，无需显式的激波检测或人工黏性手段。针对标量及向量值守恒律的数值验证结果证实了该方法的有效性。

3. Asymptotic stability of solitary waves for the 1D focusing cubic Schrödinger equation

一维聚焦三次非线性薛定谔方程中孤立波的渐近稳定性

作者: Yongming Li

类别: math.AP

发布日期: 2025-10-20

arXiv ID: 2510.17763v2

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

摘要翻译

中文标题: 一维聚焦三次非线性薛定谔方程中孤立波的渐近稳定性

摘要翻译: 本文在加权索博列夫空间中，针对直线上的小扰动情形，建立了1D聚焦三次非线性薛定谔方程孤立波解的完整渐近稳定性，该工作基于我们在[58]中的研究成果。证明过程结合了基于畸变傅里叶变换的时空共振方法与调制技术，用以证明辐射项的修正散射性质以及调制参数的收敛性。在整个非线性分析中，一个关键难点在于辐射项的局部衰减速度较慢，这是由线性化算子中存在的阈值共振所导致的。二次非线性项中存在的有利零结构通过引入正规形变换有效缓解了这一问题。证明中的另一个关键步骤是发展了一种包含移动中心的局部光滑性估计的改进形式。

4. On periodic solutions of the Benjamin-Bona-Mahony-Burgers equation

关于Benjamin-Bona-Mahony-Burgers方程周期解的研究

作者: Chun Ho Lau, Taige Wang

类别: math.AP

发布日期: 2025-10-17

arXiv ID: 2510.16162v2

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

摘要翻译

中文标题: 关于Benjamin-Bona-Mahony-Burgers方程周期解的研究

摘要翻译: 本文旨在建立Benjamin-Bona-Mahony-Burgers（BBM-Burgers）方程在空间 $H^1_0([0, 1])$ 中周期解的存在性与稳定性，其中介质内部受到具有周期 $\theta$ 的时间周期力 $f(x, t)$ 的作用。我们在Hilbert空间 $H^\ell$（$\ell > 1$）中进行了高正则性分析。此外，作为BBM-Burgers方程的推广，我们还考虑了伪抛物正则化方程在同一初边值问题（IBVP）情形下在空间 $\mathcal{H}^{\ell}$（$\ell = \{1, 2\}$）中的周期解。

5. Remarks on the derivation of the virial identity for nonlinear Schrödinger equations

关于非线性薛定谔方程维里恒等式推导的几点注记

作者: Tomoyuki Ikeda, Shuji Machihara, Hayato Miyazaki, Tohru Ozawa

类别: math.AP, Primary 35Q55, Secondary 37K06

发布日期: 2025-10-20

arXiv ID: 2510.18168v1

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

摘要翻译

中文标题: 关于非线性薛定谔方程维里恒等式推导的几点注记

摘要翻译: 我们重新考察了非线性薛定谔方程维里恒等式的推导。在文献 \cite{O06, FM17} 中，若干守恒律（如电荷守恒和能量守恒）的推导并未依赖构造近似解序列的方法；其方法利用了由Strichartz估计所导出的解的附加性质。本文中，我们在不构造近似解序列、也不对权函数采用正则化论证的前提下，通过充分利用解本身的性质，推导出维里恒等式。

6. Traveling Waves in the McKean-Vlasov Equation under Sakaguchi-Kuramoto Interaction with Phase Frustration

具有相位阻挫的Sakaguchi-Kuramoto相互作用下McKean-Vlasov方程中的行波

作者: Jesenko Vukadinovic

类别: math.AP, math.DS

发布日期: 2025-10-20

arXiv ID: 2510.18059v1

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

摘要翻译

中文标题: 具有相位阻挫的Sakaguchi-Kuramoto相互作用下McKean-Vlasov方程中的行波

摘要翻译: 本文研究了在Sakaguchi-Kuramoto相互作用下的弱耦合振子McKean-Vlasov方程。尽管Kuramoto相互作用对小规模且密集连接的网络提供了良好的近似，但在较大网络中存在的时间延迟会导致对称性破缺的相位偏移（即阻挫）。Sakaguchi-Kuramoto相互作用是此类推广中最简单的一种，其特征在于一个单一的阻挫参数。我们证明了系统存在从非相干态到相干态的连续全局相变，该相变表现为一种传播的非对称扩展型von Mises概率分布函数（AvMPDF）。相应的行波方程可简化为包含两个未知量的方程组：AvMPDF的序参量和波速。该分析依赖于对修正Bessel函数进行适当的非对称扩展。

不相关论文（基本信息）

1. The minimal wave speed of time-periodic traveling waves arising from a diffusive Kermack-McKendrick model with seasonality and nonlocal delayed interactions

具有季节性和非局部时滞相互作用的扩散型Kermack-McKendrick模型中产生的时间周期行波的最小波速

作者: Shuang-Ming Wang

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18767v1

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

摘要: This paper is concerned with the non-existence of time-periodic traveling wave solution with speed less than the critical speed for diffusive Kermack-McKendrick epidemic model incorporating seasonality and nonlocal interactions induced by latent period. By a technical construction of upper and lower solutions on truncated intervals for an auxiliary linear equation, we overcome the challenges arising from the coupling of nonlocal delay and the fact that the system is non-autonomous. Thus the critical value $c^*$ defined in [S.-M. Wang et al., Nonlinear Anal. Real World Appl., 55 (2020) 103117] is confirmed as the minimal wave speed of time-periodic traveling waves. We have completely solved the open problem [S.-M. Wang et al., Nonlinear Anal. Real World Appl., 55 (2020) 103117]

2. Quasilinear Elliptic Cooperative and Competitive Systems

拟线性椭圆型合作与竞争系统

作者: Annamaria Canino, Simone Mauro

类别: math.AP, 35A01, 35A15, 35J05, 35J20, 35J25

发布日期: 2025-10-21

arXiv ID: 2510.18758v1

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

摘要: We study the existence and multiplicity of weak solutions for the following quasilinear elliptic system:

where $\lambda_1, \lambda_2 < \mu_1$, the first Dirichlet eigenvalue of the Laplacian, and $\Omega$ is a bounded domain. The nonlinearity derives from a potential $G_\beta$ with subcritical growth. Due to the lack of differentiability of the associated energy functional, we employ nonsmooth critical point theory and variational methods based on the concept of weak slope. We prove the existence of least energy solutions in both the cooperative ($\beta > 0$) and competitive ($\beta < 0$) regimes.

3. Removable sets for pseudoconvexity for weakly smooth boundaries

弱光滑边界下拟凸性的可去集

作者: Quang Dieu Nguyen, Pascal J. Thomas

类别: math.CV, math.AP, 32T99, 32W50

发布日期: 2025-04-29

arXiv ID: 2504.20817v4

链接: http://arxiv.org/abs/2504.20817v4

摘要: We show that for bounded domains in $\mathbb C^n$ with $\mathcal C^{1,1}$ smooth boundary, if there is a closed set $F$ of $2n-1$-Lebesgue measure $0$ such that $\partial \Omega \setminus F$ is $\mathcal C^{2}$-smooth and locally pseudoconvex at every point, then $\Omega$ is globally pseudoconvex. Unlike in the globally $\mathcal C^{2}$-smooth case, the condition ``$F$ of (relative) empty interior’’ is not enough to obtain such a result. We also give some results under peak-set type hypotheses, which in particular provide a new proof of an old result of Grauert and Remmert about removable sets for pseudoconvexity under minimal hypotheses of boundary regularity.

4. Nonlinear Schrödinger Equations on looping-edge graphs with $δ'$-type interactions

具有δ’型相互作用的带环边图上的非线性薛定谔方程

作者: Jaime Angulo Pava, Alexander Munoz

类别: math.AP

发布日期: 2025-07-14

arXiv ID: 2507.10821v2

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

摘要: In this work, we study the existence and orbital (in)stability of certain standing-wave solutions for the cubic nonlinear Schr"odinger equation (NLS) posed on a looping-edge graph $\mathcal{G}$, consisting of a circle and a finite number $N$ of infinite half-lines attached to a common vertex. Our main goal is to take the first steps toward understanding the dynamics of the NLS under $\delta'$-type interactions. Here we consider a negative $Z$-strength at the vertex, where continuity of the wave function is not mandatory. On the circle, we propose Jacobi elliptic profiles of dnoidal type combined with soliton tail profiles on the half-lines, and we establish the existence and (in)stability of these solutions depending on the relative size of $N$, $Z$, and the phase velocity of the standing wave. Tools from Krein–von Neumann extension theory for symmetric operators play a fundamental role in our stability analysis. We also develop a local and global well-posedness theory for the NLS in the energy space $H^1(\mathcal{G})$. Finally, we present an approach to characterize the domains of self-adjoint extensions of the Laplace operator on a looping-edge graph, which incorporate the continuity of derivatives at the vertex.

5. Spatio-temporal dynamics for a class of monotone evolution systems

一类单调发展系统的时空动力学

作者: Taishan Yi, Xiao-Qiang Zhao

类别: math.DS, math.AP, Monotone systems, asymptotic translation invariance, steady states, spreading properties, traveling waves

发布日期: 2025-10-21

arXiv ID: 2510.18698v1

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

摘要: In this paper, under an abstract setting we establish the spreading properties and the existence, non-existence and global attractivity of spatially heterogeneous steady states for a large class of monotone evolution systems without the translational monotonicity under the assumption that one limiting system has both leftward and rightward spreading speeds and the other one has the uniform asymptotic annihilation. Then we apply the developed theory to study the global dynamics of asymptotically homogeneous integro-difference equations, and provide a counter-example to show that the value of the nonlinear function at the finite range of location may give rise to nontrivial fixed points.

6. A Generalization of the Sphere Covering Inequality

球覆盖不等式的一个推广

作者: Changfeng Gui, Amir Moradifam

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18681v1

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

摘要: The Sphere Covering Inequality was introduced in \cite{GM} (\emph{Invent. Math.}, 2018) as a sharp geometric inequality that provides a lower bound for the total area of two distinct surfaces of Gaussian curvature 1. These surfaces are assumed to be conformal to the Euclidean unit disk and share the same conformal factor along the boundary. In this paper, we establish a quantitative generalization that relaxes the boundary matching condition by allowing the conformal factors to differ by a constant $ c \ge 0 $ on the boundary. This refinement reveals a new stability-type structure underlying the inequality. Our results show that the Sphere Covering Inequality is stable with respect to perturbations in the boundary data and provide a precise quantitative description of how the total-area bound varies under such perturbations. The generalized inequality provides new analytic and geometric tools for the study of elliptic equations with exponential nonlinearities, conformal geometry, and related problems in mathematical physics.

7. Entanglement principle and fractional Calderón problem for nonlocal parabolic operators

非局部抛物型算子的纠缠原理与分数阶Calderón问题

作者: Ru-Yu Lai, Yi-Hsuan Lin, Lili Yan

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18641v1

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

摘要: We examine inverse problems for the variable-coefficient nonlocal parabolic operator $(\partial_t - \Delta_g)^s$, where $0 < s < 1$. This article makes two primary contributions. First, we introduce a novel entanglement principle for these operators under suitable smoothness conditions. Second, we prove that lower-order perturbations can be uniquely determined from the associated Dirichlet-to-Neumann map using this principle. However, due to insufficient solution regularity, direct application of the entanglement principle to the inverse problem is not feasible. To address this, we derive a modified entanglement principle, enabling the effective resolution of related inverse problems.

8. On a kinetic Poincaré inequality and beyond

关于一种动力学Poincaré不等式及其拓展

作者: Lukas Niebel, Rico Zacher

类别: math.AP, 35K70, 26D10, 35B45, 35B65, 35H10

发布日期: 2022-12-06

arXiv ID: 2212.03199v3

链接: http://arxiv.org/abs/2212.03199v3

摘要: In this article, we give a trajectorial proof of a kinetic Poincar'e inequality which plays an important role in the De Giorgi-Nash-Moser theory for kinetic equations. The present work improves a result due to J. Guerand and C. Mouhot [10] in several directions. We use kinetic trajectories along the vector fields $\partial_t + v \cdot \nabla_x$ and $\partial_{v_i}$, $i = 1,\dots, d$ and do not rely on higher-order commutators such as $[\partial_{v_i},\partial_t

• v \cdot \nabla_x] = \partial_{x_i}$ or on the fundamental solution. The presented method also applies to more general hypoelliptic equations. We illustrate this by studying a Kolmogorov equation with $k$ steps.

9. Saddle Point Configurations for Spherical Ferromagnets

球形铁磁体的鞍点构型

作者: Stephen Gustafson, Daniel Meinert, Christof Melcher

类别: math.AP, math-ph, math.MP, 35B38, 58J35, 58E20, 35Q60, 82D40

发布日期: 2025-09-05

arXiv ID: 2509.05159v2

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

摘要: We investigate saddle point configurations in spherical ferromagnets with perpendicular anisotropy. These are modeled by a micromagnetic energy functional on the unit sphere that leads to the emergence of the so-called curvature induced Dzyaloshinskii–Moriya interaction. For this functional we establish the existence of two distinct types of saddle points with zero mapping degree. We use a parabolic flow approach inspired by the harmonic map heat flow where for certain highly symmetric initial conditions we can rule out finite and infinite time blowup. Hence, we obtain solutions of the underlying Euler–Lagrange equation in the long time limit. This is in contrast to harmonic maps between two-spheres, where every map is a local minimizer of the energy functional.

10. The Momentum Light Ray Transform

动量光射线变换

作者: Sombuddha Bhattacharyya, Tuhin Mondal, Suman Kumar Sahoo

类别: math.AP, 44A12, 65R32

发布日期: 2025-10-21

arXiv ID: 2510.18450v1

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

摘要: In this article, we study Momentum Light Ray Transform (MLRT) on symmetric tensor fields. MLRT is an integral transform in time-space domain ($(t,x)\in \mathbb{R}^{1+n}$), which integrates a scalar function or a tensor field along the light rays with a polynomial type weight. We explore necessary and sufficient conditions for injectivity of MLRT, over general order tensors on space dimension $\geq 2$, from full and restricted measurements. Furthermore, we develop an inversion algorithm for MLRTs in the restricted measurement setting. To prove the results, we use tools from tensor tomography, geometry, and analysis.

11. Crystalline motion of discrete interfaces in the Blume-Emery-Griffiths model

布莱姆-埃默里-格里菲斯模型中离散界面的晶态运动

作者: Marco Cicalese, Giuliana Fusco, Giovanni Savaré

类别: math.AP, 53E10, 49J45, 74A50, 82B24, 82C24

发布日期: 2025-10-21

arXiv ID: 2510.18403v1

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

摘要: We study the discrete-to-continuum evolution of a lattice system consisting of two immiscible phases labelled by -1 and +1 in presence of a surfactant phase labelled by 0. The system’s energy is described by the classical Blume-Emery-Griffith model on the lattice epsilon Z^2, and its continuum evolution is obtained as epsilon tends to zero through a minimizing-movements scheme with a time step proportional to epsilon. The dissipation functional we choose contains two contributions: a standard Almgren-Taylor-Wang type term penalizing the distance between successive configurations of the +1 phase, and a term penalizing the variation of the surfactant mass and modeling surfactant evaporation. The latter term depends on a scaling parameter gamma > 0, which determines whether the surfactant mass is conserved at each time step. We focus on the case in which the initial configuration consists of a single crystal of phase 1 completely wetted by the surfactant. For gamma > 2 the surfactant can lose mass and the evolution reduces to the crystalline mean curvature flow of an Ising-type model, while for gamma < 2 the conservation of the surfactant mass leads to a more complex evolution characterized by stronger non-uniqueness and partial pinning.

12. Blow-up results for a Nakao-type problem with a time-dependent damping term and derivative-type nonlinearities

具有依赖时间的阻尼项和导数型非线性项的Nakao型问题的爆破结果

作者: Yuequn Li, Alessandro Palmieri

类别: math.AP, 35B44, 35G55, 35L52, 35L71

发布日期: 2025-10-21

arXiv ID: 2510.18378v1

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

摘要: In this paper, we consider a semilinear system of damped wave equations coupled through power nonlinearities of derivative-type. In particular, we consider a classical damped wave equation, i.e., with constant coefficients, and a wave equation with a time-dependent coefficient for the damping term. For this time-dependent coefficient we analyze two cases: the scale-invariant case and the scattering producing case. We prove blow-up results and derive upper bound estimates for the lifespan of local solutions. Our approach is based on an iteration argument for a couple of functionals related to the components of a local solution.

13. A regularity theory for an initial value problem with a time-measurable pseudo-differential operator in a weighted $L_p$-space

关于加权 $L_p$ 空间中具有时变测度伪微分算子的初值问题的正则性理论

作者: Jae-Hwan Choi, Ildoo Kim, Jin Bong Lee

类别: math.AP, 35B30, 35S05, 35B65, 47G30

发布日期: 2023-02-15

arXiv ID: 2302.07507v4

链接: http://arxiv.org/abs/2302.07507v4

摘要: In this study, we investigate the existence, uniqueness, and maximal regularity estimates of solutions to homogeneous initial value problems involving time-measurable pseudo-differential operators within the framework of weighted mixed norm Lebesgue spaces. The class of temporal weights in our regularity estimates contains Muckenhoupt’s class, and the initial data is in weighted Besov spaces with variable order.

14. Linearized equation and generic regularity in the Alt-Caffarelli problem

Alt-Caffarelli问题中的线性化方程与一般正则性

作者: Xavier Fernández-Real, Hui Yu

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18330v1

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

摘要: For the Alt-Caffarelli problem, we study free boundary regularity of energy minimizers. In six dimensions, we show that free boundaries are analytic for generic boundary data. In general, we improve previous generic Hausdorff dimensions of the singular sets. To achieve this, we analyze positive solutions to the linearized equation around homogeneous minimizers (possibly with singular sections on the sphere). For this equation, we prove a Harnack inequality and establish a dimensional lower bound for its principal eigenvalue.

15. Quantitative Weighted Estimates for Schrödinger Pseudo-Multipliers and its Commutators

一类薛定谔伪乘子及其交换子的定量加权估计

作者: Sayan Bagchi, Riju Basak, Joydwip Singh, Manasa N. Vempati

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18219v1

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

摘要: In this article, we investigate the unweighted and weighted $L^p$-boundedness of pseudo-multipliers associated with a class of Schr"odinger operators. The weight classes we consider are tailored to this framework and strictly contain the classical Muckenhoupt $A_p$-classes. To establish the weighted boundedness, we prove a quantitative version of reverse H"older’s inequality and quantitative weighted estimates for general sparse operators, which are of independent interest. We also study commutators of Schr"odinger pseudo-multipliers, establishing their boundedness and compactness results on these weighted $L^p$-spaces.

16. The Dirichlet eigenvalue problems for some concave elliptic Hessian operators

一类凹椭圆Hessian算子的Dirichlet特征值问题

作者: Jiaogen Zhang

类别: math.AP, math.DG

发布日期: 2025-10-19

arXiv ID: 2510.16748v2

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

摘要: In this manuscript, we investigate a priori estimates for the solution to the Dirichlet eigenvalue problem for a broad class of concave elliptic Hessian operators of the form

These operators encompass the Monge-Amp`ere operator, the $k$-Hessian operators, and the $p$-Monge-Amp`ere operators. We impose a fairly mild constraint on the operator $F$, allowing us to demonstrate the existence of the first nonzero eigenvalue and its corresponding $\Gamma$-admissible eigenfunction on the smooth, strictly $\Gamma$-convex domain $\Omega\subset \mathbb{R}^{n}$. Furthermore, we prove that the eigenfunction $u_{1}$ belongs to $C^{\infty}(\Omega) \cap C^{1,1}(\overline{\Omega})$. As an application, we prove that every invariant G\r{a}rding-Dirichlet operator admits a unique first nonzero eigenvalue.

17. A primer on Fourier Series

傅里叶级数导论

作者: Serena Dipierro, David Pfefferlé, Enrico Valdinoci

类别: math.AP

发布日期: 2025-10-21

arXiv ID: 2510.18203v1

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

摘要: This is a textbook on Fourier Series, suitable for both undergraduate and graduate courses. The textbook is endowed with exercises, and full solutions are provided at the end of the book.

18. Remarks on Landau damping

关于朗道阻尼的几点注记

作者: Toan T. Nguyen

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

发布日期: 2025-05-15

arXiv ID: 2505.10058v2

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

摘要: We provide few remarks on nonlinear Landau damping that concerns decay of the electric field in the classical Vlasov-Poisson system near spatially homogenous equilibria. In particular, this includes the analyticity framework, `a la Grenier-Nguyen-Rodnianski, for non specialists, treating the analytic case studied by Mouhot-Villani, among other remarks for plasmas confined on a torus and in the whole space. Finally, we also establish the nonlinear Landau damping for a family of Vlasov-Riesz systems, which are new and surprisingly include the borderline Vlasov-Dirac-Benney system in the sharp analytic spaces.

19. Semi-analytical pricing of American options with hybrid dividends via integral equations and the GIT method

基于积分方程与GIT方法的混合股息美式期权半解析定价

作者: Andrey Itkin

类别: q-fin.PR, math.AP, q-fin.CP, q-fin.MF

发布日期: 2025-10-20

arXiv ID: 2510.18159v1

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

摘要: This paper introduces a semi-analytical method for pricing American options on assets (stocks, ETFs) that pay discrete and/or continuous dividends. The problem is notoriously complex because discrete dividends create abrupt price drops and affect the optimal exercise timing, making traditional continuous-dividend models unsuitable. Our approach utilizes the Generalized Integral Transform (GIT) method introduced by the author and his co-authors in a number of papers, which transforms the pricing problem from a complex partial differential equation with a free boundary into an integral Volterra equation of the second or first kind. In this paper we illustrate this approach by considering a popular GBM model that accounts for discrete cash and proportional dividends using Dirac delta functions. By reframing the problem as an integral equation, we can sequentially solve for the option price and the early exercise boundary, effectively handling the discontinuities caused by the dividends. Our methodology provides a powerful alternative to standard numerical techniques like binomial trees or finite difference methods, which can struggle with the jump conditions of discrete dividends by losing accuracy or performance. Several examples demonstrate that the GIT method is highly accurate and computationally efficient, bypassing the need for extensive computational grids or complex backward induction steps.

20. Asymptotic geometry at infinity of quiver varieties

箭图簇在无穷远处的渐近几何

作者: Panagiotis Dimakis, Frédéric Rochon

类别: math.DG, math-ph, math.AP, math.MP, 53C26, 53D20

发布日期: 2024-10-20

arXiv ID: 2410.15424v2

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

摘要: Using an approach developed by Melrose to study the geometry at infinity of the Nakajima metric on the reduced Hilbert scheme of points on $\mathbb{C}^2$, we show that the Nakajima metric on a quiver variety is quasi-asymptotically conical (QAC) whenever its defining parameters satisfy an appropriate genericity assumption. As such, it is of bounded geometry and of maximal volume growth. Being QAC is one of two main ingredients allowing us to use the work of Kottke and the second author to compute its reduced $L^2$-cohomology and prove the Vafa-Witten conjecture. The other is a vanishing theorem in $L^2$-cohomology for exact wedge $3$-Sasakian metrics generalizing a result of Galicki and Salamon for closed $3$-Sasakian manifolds.

21. Fokas method for linear convection-diffusion equation with time-dependent coefficients and its extension to other evolution equations

Fokas方法求解具时变系数的线性对流-扩散方程及其向其他发展方程的推广

作者: Konstantinos Kalimeris, Türker Özsarı

类别: math.AP, 35A01, 35A02, 35A22, 35B65, 35C15, 35D30, 35K20

发布日期: 2025-10-20

arXiv ID: 2510.18100v1

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

摘要: In this paper, we study a linear convection-diffusion equation with time-dependent coefficients on a bounded interval. The problem includes inhomogeneous Dirichlet boundary conditions and is motivated by physical models where the diffusivity and transport change with time, such as heat or mass transfer in non-stationary environments. We apply and adapt the Unified Transform Method (UTM), which handles both time-varying coefficients and nonzero boundary data, to obtain an explicit integral formula for the solution. %The method allows us to handle both time-varying coefficients and nonzero boundary data by removing unknown boundary traces emerging upon finite line Fourier transform (FLFT) through a spectral symmetry argument. Next, we study well-posedness of the model in fractional Sobolev spaces and prove spatial and temporal regularity estimates. We show that the smoothing effect of the heat operator is still prevalent even when coefficients depend on time under suitable sign and growth assumptions on the coefficients. Finally, we extend this approach to obtain the solution for several evolution equations with time-dependent coefficients, in one space variable.

22. On the geometric Brownian motion with state-dependent variable exponent diffusion term

关于具有状态依赖变量指数扩散项的几何布朗运动

作者: Mustafa Avci

类别: math.AP, math.PR, 60G07, 60H15, 60H20, 60H30

发布日期: 2025-08-10

arXiv ID: 2508.07130v3

链接: http://arxiv.org/abs/2508.07130v3

摘要: We propose a new stochastic model involving state-dependent variable exponent $p(\cdot)$ which allows modeling of systems where noise intensity adapts to the current state. This new flexible theoretical framework generalizes both the geometric Brownian motion (GBM) and the Constant-Elasticity-of-Variance (CEV) models. We prove an existence-uniqueness theorem. We obtain an upper-bound approximation for the model-to-model pathwise error between our model and the GBM model as well as test its accuracy through analytical and numerical error estimates. A detailed comparison of the It^o and Stratonovich interpretations for the proposed model is presented in the Appendix.

23. Spherical harmonics and point configurations on the sphere

球谐函数与球面上的点构型

作者: Xiaolong Han

类别: math.CA, math-ph, math.AP, math.MP, math.SP, 33C55, 35P20, 58J51

发布日期: 2022-09-07

arXiv ID: 2209.03403v2

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

摘要: We develop a systematic framework for constructing spherical harmonics on the two-dimensional unit sphere as superpositions of Gaussian beams whose poles form well-separated point configurations. The distributional and analytic properties of the resulting spherical harmonics are determined by the geometry of these poles: when the configuration is equidistributed, the sequence of harmonics exhibits quantum ergodicity, while their $L^\infty$ norms are quantitatively controlled by the maximal clustering of poles within small neighborhoods of great circles.

24. On the Harnack inequality for time-fractional and more general non-local in time subdiffusion equations

关于时间分数阶及更一般的非局部（在时间上）次扩散方程的Harnack不等式

作者: Katarzyna Ryszewska, Rico Zacher

类别: math.AP, 35R09, 45K05

发布日期: 2025-10-20

arXiv ID: 2510.17992v1

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

摘要: In this paper we establish the Harnack inequality for globally positive local solutions to a general class of nonlocal in time subdiffusion equations in one space dimension, which includes time-fractional diffusion equations with time order less than one. It is already known that for these equations the classical Harnack inequality does not hold if the space dimension is greater than or equal to two. Here, we complete the analysis, by providing a positive result in one space dimension.

25. Cohomology for Linearized Boundary-Value Problems on General Riemannian Structures

一般黎曼结构上线性化边值问题的上同调理论

作者: Roee Leder

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

发布日期: 2025-04-25

arXiv ID: 2504.18494v3

链接: http://arxiv.org/abs/2504.18494v3

摘要: We develop a framework for casting the solvability and uniqueness conditions of linearized geometric boundary-value problems in cohomological terms. The theory is designed to be applicable without assumptions on the underlying geometric structure and provides tools to study the emergent cohomology explicitly. To achieve this generality, we extend Hodge theory to sequences of Douglas–Nirenberg systems that interact via Green’s formulae, overdetermined ellipticity, and a condition we call the order-reduction property, replacing the classical requirement that the sequence form a cochain complex. This property typically arises from linearized symmetries and constraints, as demonstrated in several examples, including exterior covariant derivatives, linearized prescribed Riemann curvature, and linearized Einstein equations with sources.