生成时间: 2026年01月13日 03:55:06

重点关注论文数量: 4

了解领域论文数量: 11

不相关论文数量: 15

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

1. 低粘度二维水槽中的定常内波

Stationary internal waves in a two-dimensional aquarium at low viscosity

作者: Malo Jézéquel, Jian Wang

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

发布日期: 2026-01-12

arXiv ID: 2601.07391v1

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

详细分析

中文标题: 低粘度二维水槽中的定常内波

研究对象和背景

本论文主要研究在低粘度条件下，封闭有界二维区域 $\Omega \subset \mathbb{R}^2$ 内定常内波（internal waves）方程的解的可解性（solvability）。研究背景源于地球物理和天体物理中对流体内部波动现象的理解，特别是关于**内波吸引子（internal wave attractors）**的形成及其在粘性作用下的演变。

论文所考察的核心方程是描述带有粘性强迫内波运动的偏微分方程（参见论文第3页方程 (1.1)）：

\begin{cases} \partial_t^2 \Delta u - \partial_{x_1}^2 u = \nu \Delta^2 u + f(x) \cos \lambda t, \\ u|_{\partial \Omega} = 0, \\ (\partial_n u)|_{\partial \Omega} = 0 \quad \text{if } \nu > 0, \\ u|_{t=0} = 0. \end{cases}

这里， $$u$$ 是未知函数（通常代表流体的某种速度势或Stream function）， $\Omega$ 是具有实解析（real-analytic）边界的有界开集。 $$f$$ 是实值光滑函数，代表外力强迫。 $\nu > 0$ 是粘性系数（viscosity parameter）， $\lambda \in (0,1)$ 是强迫频率。

为了分析该方程的长时间渐近行为，作者对时间变量进行反傅里叶变换，引入频率参数 $\omega \in \mathbb{C}$ ，从而得到定常（稳态）问题的算子 $P_{\omega, \nu}$ ：

P_{\omega, \nu} = \omega^2 \partial_{x_2}^2 + (1 - \omega^2) \partial_{x_1}^2 + i \omega \nu \Delta^2.

论文的主要关注点是当 $\omega$ 接近 $\lambda$ 且 $\nu$ 很小时，算子 $P_{\omega, \nu}$ 在特定边界条件下的可逆性。

研究背景的关键要素：

无粘性（Inviscid）情形 ( $\nu=0$ )：当 $\nu=0$ 时，算子退化为 $P_{\omega, 0}$ 。在该情形下，[DWZ25] 的工作表明，对于 $\omega$ 接近区间 $$(0,1)$$ 内的 $\lambda$ ，解的渐近性质与所谓的**棋盘台球动力学（chess billiard dynamics）**密切相关。如果满足 Morse-Smale 条件，则无粘性方程的解会收敛到一个特定的分布 $$u_+$$ ，即内波吸引子。
可逆性的挑战：对于无粘性算子 $P_{\lambda, 0}$ ，它在 $\lambda \in (0,1)$ 时通常是不可逆的（非椭圆型）。因此，不能直接用经典的椭圆理论来处理粘性极限 $\nu \to 0$ 的问题。
边值条件的差异：粘性方程需要同时满足狄利克雷（Dirichlet）和诺伊曼（Neumann）边界条件，而无粘性方程仅需狄利克雷条件。当 $\nu \to 0$ 时，边界条件数量的减少（退化）对应于边界层的消失，这是奇异摄动问题的典型特征。

本研究的目标是证明在低粘度下，定常问题的一致可解性，并利用复形变（complex deformation）技术来处理无粘性算子的非椭圆性带来的困难。

主要定理或主要结果

论文的核心成果包括以下两个主要定理，它们分别处理了复化空间中的无粘性算子性质和实际物理空间中的粘性算子性质。

定理 1 (Theorem 1, 第4页): 假设 $\Omega$ 是 $\mathbb{R}^2$ 中具有实解析边界的有界开集，且 $\lambda \in (0,1)$ 满足 Morse-Smale 条件。则存在 $\delta > 0$ ，使得对于所有的 $\omega \in (\lambda - \delta, \lambda + \delta) + i(-\delta, +\infty)$ 和 $\nu \in (0, \delta)$ ，算子

P_{\omega, \nu} : H^4(\Omega) \cap H_0^1(\Omega) \to L^2(\Omega)

是可逆的。含义：这表明在低粘度极限下，带有粘性的内波定常方程在 $\lambda$ 的邻域内具有一致的可解性。值得注意的是，这个邻域包含了具有负虚部的 $\omega$ （即 $\text{Im} \omega > -\delta$ ），这意味着我们跨越了通常的谱区域。

定理 2 (Theorem 2, 第5页): 在相同的假设下（ $\Omega$ 具实解析边界， $\lambda$ 满足 Morse-Smale 条件），存在 $\delta > 0$ 和一个定义在 $\mathbb{C}^2$ 中的全实（totally real）解析曲面 $\widetilde{\Omega}$ （ $\Omega$ 的形变），使得：

$\widetilde{\Omega}$ 的边界包含在 $\partial \Omega$ 的复化 $(\partial \Omega)^{\mathbb{C}}$ 中；
对于所有 $\omega \in (\lambda - \delta, \lambda + \delta) + i(-\delta, +\infty)$ ，无粘性算子 $P_{\omega, 0}$ 在 $\widetilde{\Omega}$ 上（具有狄利克雷边界条件）是可逆的。含义：该定理为证明定理 1 提供了基础。通过将问题延拓到复化曲面 $\widetilde{\Omega}$ 上，原本在实域上非椭圆（可能奇异）的算子 $P_{\omega, 0}$ 变成了椭圆算子，从而可以利用椭圆理论。

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

这篇论文结合了微局部分析、复几何方法和奇异摄动理论，其技术核心在于如何处理低粘度极限下的边界层效应和算子的非椭圆性。

a) 核心分析学工具

复形变方法 (Complex Deformation Method)：这是论文最核心的技术。通常，无粘性内波算子 $P_{\omega, 0}$ 在 $\omega \in (0,1)$ 时是**双曲型（hyperbolic）的，这导致其在实域上没有椭圆正则性，解可能沿着特征线传播并在边界形成奇异性（吸引子）。为了克服这一点，作者引入了一个全实曲面 $\widetilde{\Omega}$ ，它是原区域 $\Omega$ 的解析形变。在这个复曲面上，算子 $P_{\omega, 0}$ 变成了椭圆型（elliptic）的。这使得研究者可以利用椭圆算子的各种性质（如解析延拓、估计）。该方法类似于散射理论中的复缩放（Complex Scaling）**技术，但在这里需要精细地处理域的边界，使得 $\partial \widetilde{\Omega}$ 位于 $\partial \Omega$ 的复化子流形中，从而能够定义边界条件。
解析延拓与唯一性原理 (Analytic Continuation and Uniqueness)：由于区域和边界都是实解析的，解可以解析延拓到复邻域。论文利用了一个关键的论证：如果 $$u$$ 是 $P_{\omega, 0}$ 在 $\Omega$ 上的解（并满足边界条件），且边界条件在复化边界上一致，那么 $$u$$ 可以延拓到 $\widetilde{\Omega}$ 上。结合 $\widetilde{\Omega}$ 上算子的椭圆性，可以证明 $$u$$ 必须为零（通过能量估计或积分恒等式）。这种论证逻辑类似于“唯一性延拓原理”。
椭圆正则性理论 (Elliptic Regularity)：在证明过程中，作者大量使用了高阶椭圆正则性估计。特别是在 $\widetilde{\Omega}$ 上，由于 $P_{\omega, 0}$ 是椭圆的，解具有较好的正则性。论文还专门在附录 A 中给出了针对此类边界值问题的椭圆正则性结果，这可能是因为标准文献中的结果不完全适用于其复杂的几何设置。
层位势理论与约化到边界 (Layer Potentials and Boundary Reduction)：为了证明定理 2 中算子在 $\widetilde{\Omega}$ 上的可逆性，作者采用了**边界积分方程（Boundary Integral Equations）的方法。这涉及将 $P_{\omega, 0}$ 的解表示为基本解的层位势（如单层势、双层势）。问题转化为研究限制在边界上的算子（单层势算子、双层势算子）的性质。通过微局部分析，特别是对实主型（real principal type）**算子的研究，证明这些边界算子的可逆性（类似于 [DWZ25] 中的 Lemma 7.2）。

b) 解决技术性难题的技巧

处理无粘性算子的非椭圆性：如前所述， $P_{\omega, 0}$ 在 $\omega \in (0,1)$ 时是双曲的，导致经典 PDE 理论失效。技巧：作者构造了一个特殊的形变 $\widetilde{\Omega}$ 。在这个曲面上，特征形式发生改变，使得算子变为椭圆。关键在于如何构造这个曲面，使得它既能让算子椭圆化，又能保持边界条件的良定义（通过复化边界连接原边界）。
处理低粘度极限下的边界层 (Vanishing Viscosity Limit)：当 $\nu \to 0$ 时，粘性项 $i\omega \nu \Delta^2 u$ 是奇异摄动项。物理上，这会导致边界层的出现。在数学上，这意味着：
- 边界条件从 2 个（ $\nu > 0$ ）变为 1 个（ $\nu = 0$ ）。
- 标准的能量估计可能会随 $\nu \to 0$ 而失效（常数依赖于 $1/\nu$ ）。技巧：作者引用了 Frank (1979) 的工作，该工作处理了高阶椭圆算子的奇异摄动。通过在复形变域 $\widetilde{\Omega}$ 上工作，作者能够获得关于 $P_{\omega, \nu}$ 的一致先验估计（Uniform A Priori Estimates）。即估计常数独立于小参数 $\nu$ 。证明思路是：首先在复域 $\widetilde{\Omega}$ 上利用 [Fra79] 的结果证明 $P_{\omega, \nu}$ 的可逆性（且估计一致），然后利用解析延拓原理将这一可逆性“拉回”到原始的物理域 $\Omega$ 上。
Morse-Smale 动力学假设的数学体现：假设 $\lambda$ 满足 Morse-Smale 条件（即对应的棋盘台球映射具有双曲吸引子），这在数学上保证了系统的动力学性质良好。技巧：这一假设排除了“抛物型”吸引子（Lyapunov 指数为零）的存在。在抛物型情况下，可能会出现谱积累（eigenvalue accumulation）现象，导致无法获得一致的可逆性。因此，该假设是定理 1 中 $\delta$ 不依赖于 $\nu$ 的关键，使得粘性算子的谱在 $\nu \to 0$ 时保持远离零点。

与之前工作的比较

这篇论文在内波动力学和奇异摄动理论领域做出了显著的推进，主要体现在以下几个方面：

a) 对先前工作的突破与改进

从无粘性到有粘性的跨越 (Inviscid vs. Viscous)：
- 先前工作：Dyatlov, Wang, Zworski ([DWZ25]) 深入研究了无粘性 ( $\nu=0$ ) 内波的微局部分析，描述了内波吸引子的结构。然而，物理世界中的内波总是带有粘性的，且粘性对吸引子有耗散作用。
- 本论文的改进：本文将 [DWZ25] 的无粘性结果推广到了低粘性情形。这是非常困难的，因为粘性项 $\nu \Delta^2$ 是高阶导数项，它改变了方程的类型（增加了正则性但也带来了边界层问题）。本文证明了在粘性存在时，方程在 $\lambda$ 附近依然是适定的，并且解收敛到无粘性情形的吸引子（尽管论文声称尚未完全建立长时间渐近，但存在性是基础）。
从无边界到有边界 (Boundaryless vs. Boundary)：
- 先前工作：Galkowski 和 Zworski ([GZ22]) 研究了无边界流形（如环面）上的类似内波模型的粘性极限。他们发现谱（特征值）会收敛到散射共振。
- 本论文的改进：本文处理的是带有真实边界的有界区域。边界的存在引入了极大的复杂性，特别是边界层效应。作者指出，在特征点（characteristic points，即切线方向与特征方向一致的边界点），边界层的尺度会变得很大（尺度为 $\nu^{-1/3}$ ，而非通常的 $\nu^{-1/2}$ ）。本文通过复形变方法成功克服了这一难题，这是 [GZ22] 中不存在的问题。
一致可逆性 vs. 谱收敛：
- 先前工作：对于某些模型（如 [GZ22]），由于存在嵌入特征值（embedded eigenvalues），只能证明粘性算子的特征值收敛到无粘性算子的共振态（resonances），而无法证明一致可逆性。
- 本论文的改进：本文证明了在 Morse-Smale 条件下，无粘性算子没有嵌入特征值，因此粘性算子在复平面上的特定区域（ $\omega$ 邻域）内是一致可逆的（invertible）。这意味着算子的逆是有界的，且界不随 $\nu \to 0$ 发散。这是一个更强的稳定性结果。

b) 结果的强度与新意

处理非自伴算子 (Non-self-adjointness)：粘性算子 $P_{\omega, \nu}$ 是非自伴的（non-self-adjoint），特别是当 $\omega$ 取复数值时。通常处理非自伴算子的谱理论非常复杂。本文通过复形变将问题转化为椭圆型边值问题，巧妙地避开了直接处理非自伴算子谱的困难，转而使用椭圆估计和解析延拓，这是一种非常优雅的技巧。
物理意义的明确化：之前的工作（如 Rieutord 等人在天体物理中的研究）通过数值模拟发现，在低 Ekman 数（类比低粘度）下，内波特征值要么在某些 $\lambda$ 处聚集，要么在某些 $\lambda$ 处完全消失。本论文从数学上严格解释了后者：当 $\lambda$ 满足 Morse-Smale 条件（即动力学具有双曲吸引子，Lyapunov 指数非零）时，在复平面 $\lambda$ 的邻域内不存在特征值。这为流体力学中长期存在的“谱隙”或“稳定性”问题提供了坚实的数学基础。
几何构造的精细度：论文中构造 $\widetilde{\Omega}$ 的过程非常精妙。它不仅是 $\Omega$ 的一个简单形变，而且必须满足：
- $\partial \widetilde{\Omega} \subset (\partial \Omega)^{\mathbb{C}}$ （为了边界条件的解析延拓）。
- $P_{\omega, 0}$ 在 $\widetilde{\Omega}$ 上椭圆。这种几何构造直接联系了区域的几何形状与算子的分析性质，展示了微局部分析与几何拓扑的深刻联系。

总结来说，这篇论文通过引入复形变这一核心工具，成功地将无粘性内波动力学（[DWZ25]）的结果推广到了具有真实物理意义的低粘性有界区域情形，克服了边界层和非椭圆性带来的技术障碍，证明了一致可解性，并澄清了粘性极限下的谱行为。

2. 二维低粘性可压缩 Navier-Stokes 方程的整体正则性与锐利衰减

Global regularity and sharp decay to the 2D Hypo-Viscous compressible Navier-Stokes equations

作者: Chen Liang, Zhaonan Luo, Zhaoyang Yin

类别: math.AP

发布日期: 2026-01-11

arXiv ID: 2601.06889v1

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

详细分析

中文标题: 二维低粘性可压缩 Navier-Stokes 方程的整体正则性与锐利衰减

研究对象和背景

该论文研究的对象是二维空间上的低粘性可压缩 Navier-Stokes (Hypo-Viscous Compressible Navier-Stokes) 方程组。这是一个在流体力学和偏微分方程理论中具有重要物理意义和数学挑战性的模型。通常的可压缩 Navier-Stokes (CNS) 方程描述了粘性流体的运动，其中粘性项通常是 Laplace 算子（ $\Delta$ ）。然而，在某些物理场景中，流体的粘性可能表现出各向异性或者不同的耗散机制。本文关注的“低粘性”或“亚粘性”模型，特指其耗散项为分数阶 Laplace 算子，即 $(-\Delta)^\beta$ 。

论文首先在引言部分给出了原始的 CNS 方程组（1.1），定义在 $\mathbb{R}^2$ 上：

\begin{cases} \partial_t \rho + \text{div}(\rho u) = 0, \\ \partial_t (\rho u) + \mu (-\Delta)^\beta u - (\mu + \nu) \nabla \text{div} u + \text{div}(\rho u \otimes u) + \nabla P(\rho) = 0, \\ \rho|_{t=0} = \rho_0, \quad u|_{t=0} = u_0, \end{cases} \tag{1.1}

其中 $\rho$ 是密度， $$u$$ 是速度场。压力 $P(\rho) = \rho^\gamma$ ( $\gamma \ge 1$ )。参数 $\mu > 0$ 和 $\nu$ 分别代表剪切粘性和体粘性，且满足物理限制 $\mu + \nu \ge 0$ 。算子 $(-\Delta)^\beta u$ 是通过傅里叶变换定义的分数阶拉普拉斯算子：

((-\Delta)^\beta u)^\wedge(\xi) = |\xi|^{2\beta} \hat{u}(\xi).

当 $\beta = 1$ 时，这就是经典的抛物型 Navier-Stokes 方程。当 $0 < \beta < 1$ 时，耗散减弱，方程呈现出一些独特的性质。

为了聚焦于数学结构并简化分析，作者考虑了等熵情形，并设定了特定的粘性系数： $\mu = 1, \nu = -1$ 。在此条件下，通过变量代换 $\rho = a + 1$ （意味着密度在无穷远处趋于常数 1），方程组被重写为如下形式（论文中的方程 1.2）：

\begin{cases} \partial_t a + \text{div} u = -\text{div}(au), \\ \partial_t u + (-\Delta)^\beta u + \gamma \nabla a = K(a) \nabla a + G, \\ a|_{t=0} = a_0, \quad u|_{t=0} = u_0, \end{cases} \tag{1.2}

这里 $$a$$ 代表密度相对于平衡态的扰动， $$u$$ 仍是速度。非线性项 $$K(a)$$ 和 $$G$$ 定义为：

K(a) = \gamma \frac{a}{1+a} + \frac{P'(1) - P'(1+a)}{1+a},

G = -u \cdot \nabla u + \frac{a}{1+a} (-\Delta)^\beta u.

该方程组的主要挑战在于：

色散与耗散的竞争：方程同时包含可压缩流体特有的波传播部分（ $\gamma \nabla a$ ）和分数阶耗散 $(-\Delta)^\beta u$ 。
低正则性：当 $\beta < 1/2$ 时，耗散不足以通过经典的能量方法直接控制所有的非线性项，特别是对流项 $u \cdot \nabla u$ 和密度的耦合项。
非线性耦合：密度 $$a$$ 和速度 $$u$$ 通过质量守恒和动量方程紧密耦合。

论文的主要目标是证明在小初始数据下，该方程组存在全局强解，并给出解在 $$H^s$$ 空间中的最优时间衰减率。

主要定理或主要结果

该论文给出了两个核心定理，分别关于解的全局存在性和时间衰减率。

定理 1.1 (全局正则性/存在性) 假设 $1/2 \le \beta < 1$ ， $$s > 1$$ 。设 $$(a, u)$$ 是方程组 (1.2) 的一个局部强解，初始数据 $(a_0, u_0) \in H^s$ 。存在一个足够小的常数 $\delta$ ，使得如果

\|(a_0, u_0)\|_{H^s} \le \delta,

则系统 (1.2) 存在一个唯一的全局强解 $(a, u) \in C([0, \infty), H^s)$ 。此外，对于所有 $$t > 0$$ ，成立如下能量估计：

\frac{d}{dt} \left( \|( \sqrt{\gamma}a, u) \|_{H^s}^2 + 2k \langle \Lambda^{\beta-1} \nabla a, \Lambda^{\beta-1} u \rangle_{H_s-2\beta+1} + k\gamma \|\Lambda^\beta a\|_{H_s-2\beta+1}^2 + \|\Lambda^\beta u\|_{H_s}^2 \right) \le 0,

其中 $$k$$ 是一个足够小的常数。

定理 1.3 (最优时间衰减率) 假设 $1/2 \le \beta < 1$ ， $$s > 1$$ 。设 $$(a, u)$$ 是满足定理 1.1 条件的强解。如果额外假设 $(a_0, u_0) \in \dot{B}_{2, \infty}^{-1}$ ，则存在常数 $$C > 0$$ ，使得对于 $$t > 0$$ 和 $s_1 \in [0, s]$ ，成立：

\|\Lambda^{s_1}(a, u)\|_{L^2} \le C(1+t)^{-\frac{s_1}{2} - \frac{1}{2\beta}}.

进一步，假设 $(a_0, u_0) \in H^{s+\beta}$ 且 $|\int_{\mathbb{R}^2} (a_0, u_0) dx| \neq 0$ ，则存在 $C_\beta$ 使得：

\|\Lambda^{s_1}(a, u)\|_{L^2} \ge \frac{C_\beta}{2} (1+t)^{-\frac{s_1}{2} - \frac{1}{2\beta}}.

这表明衰减率是锐利的（Sharp decay rate）。

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

这篇论文在处理低粘性可压缩 Navier-Stokes 方程时，综合运用了现代偏微分方程分析中的多种高级工具。证明过程主要分为两大部分：全局存在性证明和衰减率分析。

a) 核心分析学工具

Littlewood-Paley 分解理论与 Besov 空间：
- 这是处理频率局部化问题的关键工具。论文利用 Littlewood-Paley 分解（Lemma 2.1）将解分解为不同频率的分量。这对于分析低粘性（低频耗散弱）情况下的衰减行为至关重要。
- 在定理 1.3 中，作者假设初始数据属于齐次 Besov 空间 $\dot{B}_{2, \infty}^{-1}$ 。这个空间包含了 $$L^1$$ 空间（因为 $L^1 \hookrightarrow \dot{B}_{2, \infty}^{-1}$ 是次临界嵌入，实际上是 $L^1 \not\subset \dot{B}_{2, \infty}^{-1}$ 但在衰减分析中通常用作控制条件，或者更准确地说， $$L^1$$ 数据的衰减通常由 $$L^1$$ 控制 $$L^2$$ 衰减，而 $\dot{B}_{2, \infty}^{-1}$ 则允许更广泛的初始数据类，虽然文中 Remark 1.4 提到 $$L^1$$ 映射到 $\dot{B}_{2, \infty}^{-1}$ 不成立，但通常语境下是指利用 Besov 空间的负指标性质来获得低频控制），从而推广了通常要求 $L^1 \cap H^s$ 的衰减结果。
能量估计 (Energy Estimates)：
- 这是证明定理 1.1（全局存在性）的基础。由于方程是半线性的（在最高阶导数上），作者采用了标准的 Sobolev 空间能量方法。
- 特别之处在于构造了一个修正的能量泛函。为了抵消 $(-\Delta)^\beta$ 带来的弱耗散（当 $\beta < 1$ 时，耗散无法直接控制对流项），作者引入了耦合项 $2k \langle \Lambda^{\beta-1} \nabla a, \Lambda^{\beta-1} u \rangle$ 。这个交叉项的设计是为了利用 $$a$$ 和 $$u$$ 之间的声波传播机制（ $\nabla a$ 与 $$u$$ 的耦合）来产生额外的控制效果。通过选择足够小的 $$k$$ ，使得组合能量的时间导数是负定的。
分数阶 Sobolev 不等式与 Gagliardo-Nirenberg 不等式：
- 在处理非线性项（如 $a \nabla u$ , $u \cdot \nabla u$ ）时，需要用到插值不等式来控制高阶项。
- Lemma 2.2 给出了分数阶范数的插值估计： $\|\Lambda^s f\|_{L^p} \le C \|\Lambda^{s_1} f\|_{L^2}^{1-\theta} \|\Lambda^{s_2} f\|_{L^2}^{\theta}.$
- 这使得作者能够将非线性项转化为能量范数和耗散范数的组合，从而通过小参数 $\delta$ 进行吸收。
Littlewood-Paley 框架下的乘积法则与交换子估计 (Product and Commutator Estimates)：
- Lemma 2.3 和 Lemma 2.4 提供了在 Besov 空间或 Sobolev 空间中处理乘积和交换子的估计： $\|\Lambda^s(fg)\|_{L^p} \lesssim \|f\|_{L^{p_1}} \|\Lambda^s g\|_{L^{p_2}} + \|g\|_{L^{p_3}} \|\Lambda^s f\|_{L^{p_4}}.$ $\|[\Lambda^s, f]g\|_{L^p} \lesssim \|\Lambda^s f\|_{L^{p_1}} \|g\|_{L^{p_2}} + \|\nabla f\|_{L^{p_3}} \|\Lambda^{s-1} g\|_{L^{p_4}}.$
- 这些引理是处理动量方程中非线性项（如 $K(a)\nabla a$ , $u \cdot \nabla u$ ）在分数阶 Sobolev 空间 $$H^s$$ 中估计的核心技术支撑。它们允许将导数分配给不同的因子，从而避免正则性损失。

b) 解决技术性难题的技巧

处理低粘性耗散不足：修正的能量与交叉项
- 难点：当 $\beta < 1$ 时，耗散算子 $(-\Delta)^\beta$ 的阶数小于 2，这使得标准的能量估计难以控制 $$H^s$$ 范数中的非线性项，因为非线性项往往涉及一阶导数（阶数为 1）。如果 $\beta$ 太小，耗散可能不足以抵消能量的增长。
- 技巧：论文的核心技巧在于第 3 节中构造的修正能量泛函 $$E_0$$ 和 $$D_0$$ 。 $E_0 = \|(\sqrt{\gamma}a, u)\|_{H^s}^2 + 2k \langle \Lambda^{\beta-1} \nabla a, \Lambda^{\beta-1} u \rangle_{H_{s-2\beta+1}}$ $D_0 = k\gamma \|\Lambda^\beta a\|_{H_{s-2\beta+1}}^2 + \|\Lambda^\beta u\|_{H_s}^2$
- 这个交叉项 $\langle \Lambda^{\beta-1} \nabla a, \Lambda^{\beta-1} u \rangle$ 本质上利用了压力梯度项 $\gamma \nabla a$ 与速度 $$u$$ 的直接耦合（类似于声波方程）。通过计算时间导数 $\frac{d}{dt} \langle \cdot, \cdot \rangle$ ，作者发现可以产生形如 $\|\Lambda^\beta u\|^2$ 或 $\|\Lambda^\beta a\|^2$ 的正项，这些项可以用来弥补耗散的不足。这种技巧类似于双曲型方程中的“能量协调”方法，但在抛物/色散混合型方程中通过分数阶算子实现。
衰减率分析：改进的傅里叶分裂法 (Improved Fourier Splitting Method)
- 难点：如何从 $$H^s$$ 能量估计推导出随时间衰减的具体代数速率，特别是当初始数据仅具有低正则性（如 $\dot{B}_{2, \infty}^{-1}$ ）且耗散较弱时。
- 技巧：论文采用了 Schonbek 的傅里叶分裂法（Fourier splitting method）的改进版本。
  - 步骤 1：低频控制。利用傅里叶空间的特性，将积分区域分为高频和低频部分 $S_1(t) = \{ \xi : |\xi|^{2\beta} \le C(1+t)^{-1} \}$ 。在低频区域，利用初始数据的 Besov 范数控制积分值（方程 4.4）。这是获得衰减率中 $\frac{1}{2\beta}$ 的关键。
  - 步骤 2：迭代衰减。将低频估计代入能量不等式（方程 4.1），得到初始衰减率 $E_0(t) \lesssim (1+t)^{-\frac{1}{2} - \frac{1}{2\beta}}$ 。
  - 步骤 3：Bootstrap 自举法。为了获得更优的衰减率（最终的 $O((1+t)^{-\frac{1}{2\beta}})$ ），作者使用了加权能量估计。定义 $N(t) = \sup_{0 \le t' \le t} (1+t')^{\frac{1}{2\beta}} E_0(t')$ ，并通过 Gronwall 不等式证明 $$N(t)$$ 有界。这一步利用了之前获得的衰减率来控制非线性项随时间的积分，从而提升了衰减速率。
锐利性的证明：双重估计
- 难点：证明衰减率不仅是上界，也是下界（即解不会衰减得比这个速率更快）。
- 技巧：定理 1.3 的下半部分要求初始数据 $(a_0, u_0) \in H^{s+\beta}$ 且零阶矩非零（ $|\int (a_0, u_0) dx| \neq 0$ ）。这对应于物理直觉：如果初始总质量或动量不为零，解在长时间后会像热核一样扩散，衰减率受限于矩的守恒定律。作者通过构造下界估计证明了如果矩不为零，衰减率不能快于 $O(t^{-1/2\beta})$ （在 $H^{s_1}$ 范数下对应 $t^{-s_1/2 - 1/2\beta}$ ）。

与之前工作的比较

这篇论文在可压缩 Navier-Stokes 方程的低粘性领域做出了显著的改进，具体体现在以下几个方面：

处理了更具一般性的分数阶粘性 ( $\beta$ 的范围)
- 先前工作：文献 [21, 22] 研究了 3D Navier-Stokes-Poisson 系统或带有分数阶耗散的可压缩方程，但往往局限于特定的 $\beta$ 范围（如 $1 < \beta \le 3/2$ ）或者假设 $\mu + \nu = 0$ （纯剪切粘性，无体粘性）。
- 本文改进：本文处理的是 $1/2 \le \beta < 1$ 的情形。在这个范围内，方程的耗散性非常弱，且方程组表现为“混合型”（既有双曲特征又有抛物特征，但抛物特征弱）。作者在方程 (1.2) 中包含了体粘性与剪切粘性的特定组合（ $\mu=1, \nu=-1$ ），这使得线性部分的分析更加复杂。相比于处理纯双曲或强抛物的情形，本文证明了即使在耗散较弱的情况下，通过精巧的能量估计依然可以获得整体解。
降低了初始数据的正则性要求
- 先前工作：经典的衰减结果通常要求初始数据具有较高的正则性（如 $H^s \cap L^1$ ，且 $$s$$ 较大）或者特定的 Besov 范数小。Matsumura 和 Nishida 的经典工作要求 $H^s \cap W^{s,1}$ 。
- 本文改进：在衰减率定理 1.3 中，作者仅假设 $(a_0, u_0) \in H^s (s>1)$ 并且 $(a_0, u_0) \in \dot{B}_{2, \infty}^{-1}$ 。这放宽了对高阶导数的要求。特别是，论文指出 $$L^1$$ 空间虽然不直接嵌入 $\dot{B}_{2, \infty}^{-1}$ ，但在物理上对应的低频控制是类似的。通过引入 Besov 空间框架，该结果适用于更广泛的函数类，这在数学上是一个非平凡的改进，因为低正则性数据在处理非线性项时更容易出现奇异性。
在低正则性框架下解决了“闭合能量”的难题
- 突破点：在定理 1.1 的证明中，作者提到了一个技术障碍：“we can not closed the energy in $H^s - \beta$ because of inner product estimate.” (我们不能在 $H^{s-\beta}$ 中闭合能量，因为内积估计的原因)。
- 本文改进：通常情况下，为了得到 $$H^s$$ 的估计，人们希望利用 $H^{s+\beta}$ 的高阶耗散来控制低阶非线性。但在 $\beta < 1$ 且 $$s$$ 不是整数时，分数阶导数的乘积法则会导致换项估计困难。本文通过引入方程 (4.19) (文中提到的一个关键不等式) 和时间加权能量估计巧妙地绕过了这个障碍。他们没有直接试图在 $H^{s-\beta}$ 做估计，而是利用之前获得的衰减率（在 $$L^2$$ 或低 Sobolev 范数下）来补偿高阶能量估计中的缺失项。
获得了锐利（Sharp）的衰减率
- 先前工作：许多关于分数阶耗散方程的衰减结果给出的是上界估计，或者只给出了上界。
- 本文改进：本文不仅给出了上界 $\lesssim (1+t)^{-\frac{s_1}{2} - \frac{1}{2\beta}}$ ，还给出了下界（当零阶矩非零时），从而确立了衰减率的锐利性。这对于理解低粘性流体的长时间行为至关重要，因为它确认了即使在弱耗散下，流体依然遵循类似热传导的扩散规律（由分数阶拉普拉斯的性质决定）。

综上所述，该论文在低粘性可压缩 Navier-Stokes 方程的研究中，通过引入改进的傅里叶分裂方法和精细的能量估计，成功解决了 $1/2 \le \beta < 1$ 这一困难参数范围内的整体正则性和锐利衰减问题，显著推广了前人的结果。

3. 具有大初值的球对称退化可压缩 Navier-Stokes 方程真空自由边界问题的整体适定性

Global Well-Posedness of the Vacuum Free Boundary Problem for the Degenerate Compressible Navier-Stokes Equations With Large Data of Spherical Symmetry

作者: Gui-Qiang G. Chen, Jiawen Zhang, Shengguo Zhu

类别: math.AP, math-ph, math.FA, physics.flu-dyn

发布日期: 2026-01-10

arXiv ID: 2601.06620v1

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

详细分析

中文标题: 具有大初值的球对称退化可压缩 Navier-Stokes 方程真空自由边界问题的整体适定性

研究对象和背景

本论文主要研究多维空间中，带有密度依赖粘性系数（degenerate density-dependent viscosity coefficients）的可压缩 Navier-Stokes 方程的真空自由边界问题（Vacuum Free Boundary Problem, VFBP）。这一问题在流体力学、天体物理及浅水波理论中具有重要的物理背景，例如气体恒星的运动或浅水流体的流动（如溃坝问题）。

具体而言，研究对象是二维和三维空间中的绝热可压缩 Navier-Stokes 方程组（CNS），其粘性系数随密度变化，类似于浅水方程（shallow water equations）。在欧拉坐标系下，该方程组定义在随时间变化的流体区域 $\Omega(t) \subset \mathbb{R}^n$ ( $$n=2,3$$ ) 上：

\begin{cases} \rho_t + \text{div}(\rho \mathbf{u}) = 0, \\ (\rho \mathbf{u})_t + \text{div}(\rho \mathbf{u} \otimes \mathbf{u}) + \nabla P = 2\mu \text{div}(\rho D(\mathbf{u})), \\ \rho > 0 \quad \text{in } \Omega(t), \\ \rho = 0 \quad \text{on } \partial \Omega(t), \\ V(\partial \Omega(t)) = \mathbf{u} \cdot \mathbf{n}(t) \quad \text{on } \partial \Omega(t), \\ (\rho, \mathbf{u})|_{t=0} = (\rho_0, \mathbf{u}_0) \quad \text{in } \Omega(0). \end{cases}

其中：

$\rho$ 为流体密度， $\mathbf{u}$ 为速度场。
压力 $P = A\rho^\gamma$ ，其中 $\gamma > 1$ 为绝热指数。
$D(\mathbf{u}) = \frac{1}{2}(\nabla \mathbf{u} + (\nabla \mathbf{u})^\top)$ 为应变张量。
$\partial \Omega(t)$ 为移动的真空边界，密度在边界上为零。
$V(\partial \Omega(t))$ 为边界的法向速度，且边界运动由流体粒子决定（ $V = \mathbf{u} \cdot \mathbf{n}$ ）。

特殊性与难点：

退化性 (Degeneracy): 粘性系数 $\mu \rho$ 在真空处（ $\rho=0$ ）退化为零。这导致方程在真空界面附近的时空演化和耗散都表现出强退化性。
坐标奇异性 (Coordinate Singularity): 问题被简化为球对称情形。在球坐标系下，径向方程在原点 $$r=0$$ 处含有 $$1/r$$ 的奇异性。
物理真空 (Physical Vacuum): 论文考虑了一类广泛的初始密度 $\rho_0$ ，其在真空边界处表现为距离函数的形式 $(1-r)^\beta$ 。特别地，当 $\beta = \gamma - 1$ 时，初始数据包含“物理真空”，即声速 $c \sim \sqrt{\rho^{\gamma-1}}$ 在边界上的导数非零（满足 $\partial_n c^2 < 0$ ），这对应着自然界中常见的非平凡边界运动。
大初值 (Large Data): 结果适用于任意大的初始数据，而非仅限于小扰动。

主要定理或主要结果

论文的核心结果是证明了该真空自由边界问题在二维和三维球对称情形下，对于大初值具有整体经典解的适定性，并且流体内部不会在有限时间内形成新的真空（cavitation）。

主要定理 (简化版，基于摘要和正文)：假设初始密度 $\rho_0^\beta \in H^3$ ，且满足 $K_1(1-r)^\beta \le \rho_0(r) \le K_2(1-r)^\beta$ ，其中 $\beta \in (\frac{1}{3}, \gamma - 1]$ 。在适当的参数范围内（例如 $\gamma \in (\frac{4}{3}, \infty)$ for $$n=2$$ ， $\gamma \in (\frac{4}{3}, 3)$ for $$n=3$$ ），则：

存在唯一的整体经典解 $(\rho, \mathbf{u})$ ，且解在 Sobolev 空间中保持正则性，直到并包括移动边界。
密度在流体内部保持正性，即不会在流体内部形成新的真空（No vacuum forms inside the fluid in finite time）。
密度具有统一的上下界估计。

特别地，该结果处理了 $\beta = \gamma - 1$ 的情形（物理真空），即使在 $\gamma \ge 2$ 时，此时经典的 Bresch-Desjardins (BD) 熵估计所需的条件与物理真空条件互不兼容，该文依然通过新方法证明了整体解的存在。

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

该论文的证明方法极具技巧性，主要通过拉格朗日坐标变换将移动边界问题固定在 $$[0,1]$$ 区间上，并采用了一种创新的区域分割法 (Region-Segmentation Method) 来处理原点奇异性与边界退化。

a) 核心分析学工具

拉格朗日坐标与坐标变换 (Lagrangian Coordinates): 将欧拉坐标 $x = \eta(t, r)$ 转换为拉格朗日坐标 $$r$$ ，其中 $\eta_t = U$ （粒子速度）。这使得移动的物理区域 $\Omega(t)$ 被映射为固定的参考区间 $$I = [0, 1)$$ 。方程组变为 (参考正文 1.16 或 2.3):
$\begin{cases} \varrho_t + \varrho U \frac{\eta_r}{\eta} + \frac{m \varrho}{\eta} U = 0 \\ \eta_r \varrho U_t + A (\varrho^\gamma)_r = 2\mu (\varrho U_r)_r \frac{\eta_r}{\eta} - 2\mu m \varrho \frac{U}{\eta} \eta_r \end{cases}$
其中 $\varrho(t,r) = \frac{r^m \rho_0(r)}{\eta^m \eta_r}$ 是拉格朗日密度。这一变换固定了边界，但引入了系数 $\frac{1}{\eta}$ 和 $\frac{1}{\eta_r}$ ，带来了强烈的非线性结构，且 $\eta_r$ （雅可比行列式）可能退化（对应流体压缩或真空形成）。
能量估计 (Energy Estimates): 基本的 $$L^2$$ 或 $$H^1$$ 能量估计是构建理论的基石。作者利用了流体动力学中常见的对称化技巧，构造对应于动能和内能的积分量。
Sobolev 空间与插值不等式: 用于控制解的正则性，特别是 $$H^3$$ 的初始假设保证了局部解的光滑性。

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

论文最大的创新在于处理 $\gamma \ge 2$ 且 $\beta = \gamma - 1$ （物理真空）时的“死结”，以及处理大初值下的坐标奇异性。

区域分割策略: 由于原点 $$r=0$$ 的奇异性（坐标导致）和边界 $$r=1$$ 的退化（物理真空导致）性质不同，作者将区间 $$I = [0, 1)$$ 分割为内部区域 $I_\flat = [0, 1/2)$ 和外部区域 $I_\sharp = [1/2, 1)$ （大致划分，具体界限文中定义）。
- 内部区域 $I_\flat$ : 主要处理原点奇异性。利用内部 BD 熵估计 (Interior BD Entropy Estimate)。
- 外部区域 $I_\sharp$ : 主要处理真空边界附近的强退化。利用有效速度 (Effective Velocity) 的加权估计。
有效速度与 BD 熵估计的解耦: 这是论文的“杀手锏”。在经典 BD 熵估计中，通常需要 $\sqrt{\rho_0}$ 具有梯度的 $$L^2$$ 控制（即 $\nabla \sqrt{\rho_0} \in L^2$ ），这等价于 $\rho_0^\beta$ 中的 $\beta \in (0, 1/2]$ 。然而，物理真空要求 $\beta = \gamma - 1$ 。当 $\gamma \ge 2$ 时， $\beta \ge 1$ ，这远大于 $$1/2$$ ，导致经典 BD 熵估计失效。
- 技巧: 作者引入了径向投影的有效速度 $V = U + 2\mu \eta^{-1} (\log \varrho)_r$ 。
- 在 内部区域，通过建立“内部 BD 熵估计”，获得了密度的加权估计，从而控制了 $\eta_r$ 的下界（防止塌缩）和 $\varrho$ 的上界。
- 在 外部区域，作者没有直接利用 BD 熵，而是建立了基于 $\rho_0$ 的加权估计 ( $\rho_0$ -weighted estimates) 针对有效速度 $$V$$ 。
- 通过 $$V$$ 的阻尼输运方程（Damped Transport Equation），作者获得了 $\log \varrho$ 的 $L^\infty$ 估计。这一步非常关键，因为它绕过了对 $\sqrt{\rho}$ 导数的依赖，转而控制 $\log \rho$ 。
流形加权估计 (Flow-Map-Weighted Estimates): 由于拉格朗日映射 $\eta(t, r)$ 是未知的，作者发展了针对流形映射（Flow Map）的加权估计。这与欧拉坐标下的加权估计不同，因为权重随时间演化。
- 具体来说，通过结合内部区域的 $L^\infty$ 估计和外部区域的 $\rho_0$ -加权估计，作者证明了雅可比行列式 $\eta_r$ 和密度 $\varrho$ 的一致上下界。
- 证明了 $\eta_r \ge C > 0$ 和 $\eta_r \le C$ ，从而保证了拉格朗日坐标变换是非奇异的，且流体不会发生无限压缩（Implosion）或分层。
高阶正则性的保持: 在获得了低阶量（如 $\eta_r, U, \varrho$ ）的先验估计后，通过微分方程的线性化和高阶能量估计（Bootstrapping），证明了 $$H^3$$ 正则性可以整体保持。这依赖于精细地控制高阶导数在边界附近的奇异性增长。

总结方法论: 作者将一个高度非线性、强退化的自由边界问题，通过拉格朗日坐标转化为定义在固定区间上的奇异初边值问题。随后，通过内部区域的 BD 熵类型估计与外部区域的有效速度加权估计相结合，成功绕过了经典方法在处理物理真空时遇到的条件互斥问题，最终证明了整体解的存在性和正则性。

与之前工作的比较

本论文在可压缩 Navier-Stokes 方程的自由边界问题研究中做出了显著的推进，主要体现在对参数范围的拓展和对大初值整体适定性的证明。

1. 突破经典 BD 熵估计的局限性

前人工作: Bresch-Desjardins (BD) 熵估计是处理退化可压缩 Navier-Stokes 方程的核心工具。然而，BD 估计要求初始密度满足 $\nabla \sqrt{\rho_0} \in L^2$ ，这意味着在真空边界附近密度的衰减率不能太慢（ $\beta$ 不能太大）。
物理真空的要求: 物理真空问题要求 $\rho_0 \sim (1-r)^{\gamma-1}$ 。当 $\gamma \ge 2$ 时， $\beta = \gamma - 1 \ge 1$ 。此时 $\nabla \sqrt{\rho_0} \sim (1-r)^{(\beta-1)/2}$ ，其平方积分在边界处发散（除非 $\beta < 1$ ）。因此，物理真空模型与 BD 熵估计是不兼容的。这使得利用现有框架解决 2D 浅水方程（ $\gamma=2$ ）的物理真空问题成为不可能。
本文改进: 论文明确指出了这一不兼容性，并设计了新的分析框架。通过引入有效速度 $$V$$ 并建立针对性的加权估计，作者成功处理了 $\beta \in (\frac{1}{3}, \gamma-1]$ 的广泛范围，特别是覆盖了 $\gamma=2, \beta=1$ 的浅水方程情形。

2. 维度的推广与大初值整体存在性

前人工作:
- Li, Wang, Xin (2019, 2020) 局部解决了 1D 和 2D 浅水方程（Saint-Venant 系统）的物理真空问题。
- Ou, Zeng, Luo 等人处理了带重力或小初值的 1D 或 3D 球对称问题。
- 关于大初值的全局结果，前人多集中在远场真空（Far-field vacuum）或者没有移动边界（固定区域）的情况。
本文改进:
- 将结果推广到了 二维和三维 球对称情形。
- 证明了 大初值（Large Data）的整体适定性，而不仅仅是小扰动或局部存在。这意味着流体可以发生剧烈的形变，只要初始总质量和能量有限，解就不会爆破。
- 解决了 移动真空边界（Moving Boundary）与 坐标奇异性（原点处）同时存在的棘手组合。

3. 区域分割与奇异性处理的精细化

前人工作: 许多关于远场真空的工作依赖于密度在无穷远处快速衰减，或者利用谱隙（spectral gap）性质。对于移动边界问题，前人往往假设边界处的密度行为使得方程项可以相互抵消（相容性条件）。
本文改进: 论文处理的是密度仅在边界为零，且在边界附近导数可能很大（低正则性）的情况。通过 $I_\flat$（原点附近）和 $I_\sharp$（边界附近）的分割，作者分别利用了不同的性质：
- 在 $I_\flat$ ，利用对称性改善原点奇异性的影响。
- 在 $I_\sharp$ ，利用加权能量控制边界退化。这种“分而治之”的策略是处理多尺度奇异性（原点的代数奇点 vs 边界的退化奇点）的有效手段。

4. 对模型物理意义的数学确认

该工作为浅水方程（ $\gamma=2$ ）的溃坝问题提供了严格的数学基础。在溃坝问题中，自由边界移动且初始水深可能在边界处线性消失（ $\beta=1$ ）。之前的结果无法同时满足 BD 估计条件和物理真空条件，而本文填补了这一空白，证明了即使在这种强退化情况下，流体内部依然不会产生气泡（Cavitation-free），且运动保持光滑。

综上所述，该论文在处理退化抛物方程的自由边界问题上，特别是针对大初值和物理真空情形，提供了一套原创且强有力的分析框架，显著推进了该领域的研究水平。

4. 具有粗糙Kraichnan噪声的二维Euler和gSQG方程的精细唯一性结果

Refined uniqueness results for 2D Euler and gSQG with rough Kraichnan noise

作者: Marco Bagnara, Lucio Galeati

类别: math.PR, math.AP

发布日期: 2026-01-09

arXiv ID: 2601.05982v1

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

详细分析

中文标题: 具有粗糙Kraichnan噪声的二维Euler和gSQG方程的精细唯一性结果

研究对象和背景

这篇论文主要研究受随机噪声扰动的二维不可压流体动力学方程组。具体来说，研究对象是一类二维主动标量（Active Scalar）方程，包括经典的二维Euler方程（描述理想不可压流体的涡度演化）和广义地转涡方程（generalized Surface Quasi-Geostrophic equations，简称 gSQG）。这些方程在二维不可压流体力学、大气海洋动力学以及地球物理流体动力学中具有基础性地位。

作者在方程中引入了一种特定类型的随机扰动——Kraichnan型传输噪声（transport noise）。这种噪声在空间上是粗糙的（rough），但在时间上是布朗运动。研究的核心目标是探讨这种粗糙噪声是否能为在确定性情形下（即无噪声时）表现不佳的方程（如缺乏唯一性或存在性）提供正则化效应（regularization by noise），从而恢复解的适定性（well-posedness）。

1. 数学模型与方程

论文从以下随机偏微分方程（SPDE）入手：

\begin{cases} d\theta + u \cdot \nabla \theta \, dt + \circ dW \cdot \nabla \theta = 0, \\ u = -\nabla^\perp \Lambda^{-2+\beta} \theta, \\ \theta|_{t=0} = \theta_0, \end{cases}

其中：

$\theta = \theta(t,x)$ 是未知的标量场（在物理上对应涡度或温度）。
$$u = u(t,x)$$ 是对应的不可压速度场。
$\Lambda = (-\Delta)^{1/2}$ 是分数阶拉普拉斯算子。
$\nabla^\perp = (-\partial_y, \partial_x)$ 是二维垂直旋度算子。
$\beta \in [0,1]$ 是一个参数：
- $\beta=0$ 时， $u = -\nabla^\perp \Lambda^{-2} \theta = \nabla^\perp (-\Delta)^{-1} \theta$ ，对应标准的二维Euler方程（以涡度形式给出）。
- $\beta=1$ 时，对应SQG方程。
- $\beta \in (0,1)$ 时，对应广义SQG方程 (gSQG)。
$$W$$ 是一个中心高斯场，布朗运动在时间上，有色（colored）在空间上。符号 $\circ dW$ 表示 Stratonovich 型随机积分。其空间协方差结构由参数 $\alpha > 0$ 决定，定义为： $\mathbb{E}[W(t,x) \otimes W(s,y)] = (t \wedge s) C(x-y),$ 其中 $$C(z)$$ 在傅里叶空间由下式给出： $C(z) = (2\pi)^{-1} \int_{\mathbb{R}^2} \langle k \rangle^{-2-2\alpha} P_\perp e^{i k \cdot z} \, dk, \quad P_\perp = I - \frac{k \otimes k}{|k|^2}.$ 这里的 $\alpha$ 指标控制了噪声的空间粗糙度。当 $\alpha \in (0,1)$ 时，噪声在空间上非常粗糙（其正则性几乎为 $C^{\alpha-}$ ）。

2. 物理背景与湍流模型

该研究具有深刻的物理和数学背景：

湍流与能量级联：在三维湍流中，著名的Richardson-Kolmogorov理论描述了能量从大尺度向小尺度的级联过程，对应的能谱指数为 -5/3。在二维流体中，虽然情况不同，但物理学家通常认为类似的模型参数 $\alpha = 2/3$ 具有特殊意义，因为它对应于某种形式的“冻结湍流”或能量级联的标度律。
正则化由噪声：在确定性情况下，二维Euler方程（ $\beta=0$ ）对于 $L^\infty \cap L^1$ 或 $H^{-1}$ 初始数据是全局适定的（Yudovich理论），但对于更广泛的 $$L^p$$ 空间（尤其是 $$p$$ 较小），存在性可能难以保证。对于 gSQG ( $\beta>0$ )，问题更加严重，已知存在非唯一解（通过凸积分法构造），甚至在某些情况下强解不存在。这篇论文探讨的是：引入这种粗糙的 Kraichnan 噪声是否能消除这些非唯一性，即使在确定性方程病态的情况下也能保证强解的唯一性。

3. 研究区域与函数空间

空间区域：全平面 $\mathbb{R}^2$ 。
初始数据：主要考虑 $$L^p$$ 空间中的初始数据 $\theta_0 \in L^p \cap \dot{H}^{-1}$ 。值得注意的是，作者致力于处理临界空间（Critical Spaces）。
临界指数：通过量纲分析（Scaling argument），作者定义了与方程结构相关的临界指数 $p_\star$ ： $\frac{1}{p_\star} = 1 - \alpha - \frac{\beta}{2} \quad \implies \quad p_\star = \frac{1}{1 - \alpha - \beta/2}.$ 当 $\alpha + \beta/2 \le 1$ 时， $p_\star \ge 1$ 。研究发现，这个 $L^{p_\star}$ 空间是该随机方程的“准不变”（quasi-invariant）尺度空间，是解的适定性理论的自然临界空间。

主要定理或主要结果

本文证明了两个核心定理，分别针对二维Euler方程和广义SQG方程。

定理 1.1 (二维Euler方程, $\beta=0$ ) 假设 $\alpha \in (0,1)$ ，且 $p \in (1,\infty)$ 满足条件：

\alpha \le 1 - \frac{1}{p} \quad (\text{即 } p \ge p_\star = \frac{1}{1-\alpha}).

对于任意初始数据 $\theta_0 \in L^p \cap \dot{H}^{-1}$ ，方程存在强解且路径唯一。解属于以下类：

\theta \in L^\infty L^p \cap L^2 (\dot{H}^{-1} \cap \dot{H}^{-\alpha}).

定理 1.3 (广义SQG方程, $\beta \in (0,1)$ ) 假设 $\alpha \in (0,1)$ ， $\beta \in (0,1)$ ，且 $p \in (1,\infty)$ 满足：

\alpha + \frac{\beta}{2} + \frac{1}{p} \le 1, \quad \text{且} \quad \alpha + \beta \le 1.

对于任意初始数据 $\theta_0 \in L^p \cap \dot{H}^{-1}$ ，方程存在强解且路径唯一。解属于以下类：

\theta \in L^\infty L^p \cap L^2 (\dot{H}^{-1} \cap \dot{H}^{-\alpha}) \cap U_{p_\star}.

(注： $U_{p_\star}$ 是一个辅助函数空间，定义为允许将 $\theta$ 分解为一个小的 $L^{p_\star}$ 部分和一个大的 $$L^q$$ 部分的集合。在非临界情况下 $p > p_\star$ ，该条件退化为 $L^\infty L^p$ 。)

关键改进说明：

覆盖所有粗糙度：之前的理论仅适用于 $\alpha < 1/2$ ，而本文将 $\alpha$ 推广到了整个 $$(0,1)$$ 区间，包含了物理上最感兴趣的 $\alpha = 2/3$ 。
临界空间：去除了 $$L^1$$ 可积性的要求，处理了真正临界空间 $L^{p_\star}$ 的初值。
非线性结构：新的 $\alpha+\beta \le 1$ 条件比以前的 $\beta < 2\alpha$ 更符合物理直觉（噪声越粗糙，越能控制更强的非线性项）。

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

本论文的证明策略融合了随机分析、调和分析和流体力学方程结构的深刻洞察。

a) 核心分析学工具

Itô 公式与负 Sobolev 范数 (Itô’s Formula in Negative Sobolev Spaces)：证明的基础是考察解的差 $\xi = \theta_1 - \theta_2$ 在负 Sobolev 空间 $\dot{H}^{-1}$ 中的演化。应用 Itô 公式（在正则化后取极限）得到能量平衡方程：
$d \mathbb{E} \|\xi\|_{\dot{H}^{-1}}^2 = \underbrace{-\mathbb{E} \langle \Lambda^{-2}\xi, N(\theta_1) - N(\theta_2) \rangle}_{\text{非线性项}} + \underbrace{\mathbb{E} \langle \text{Tr}[Q D^2 G] * \xi, \xi \rangle}_{\text{噪声项}}.$
这里的关键是要控制这两项以得到 Grönwall 不等式。
噪声的“有利”结构 (Coercivity of Noise Term)：论文利用了 Kraichnan 噪声在负正则性空间中的强制性（Coercivity）。对于 $\alpha \in (0,1)$ ，噪声项产生的算子具有如下特征（通过傅里叶变换分析）：
$\langle \text{Tr}[Q D^2 G] * \xi, \xi \rangle \approx \int F(n) |\hat{\xi}(n)|^2 \, dn,$
其中 $$F(n)$$ 满足估计 $F(n) \lesssim -|n|^{-2\alpha} + |n|^{-2}$ 。这意味着噪声项可以控制 $\|\xi\|_{\dot{H}^{-\alpha}}^2$ （正项），而产生的“坏”项仅仅是 $\|\xi\|_{\dot{H}^{-1}}^2$ （负项），这正好可以被平衡方程中的其他项吸收。
分数阶 Leibniz 规则与 Sobolev 嵌入 (Fractional Leibniz Rules & Sobolev Embeddings)：在处理非线性项 $N(\theta)$ 时，频繁使用分数阶导数的 Leibniz 规则（如 Kato-Ponce 不等式）以及插值不等式。例如，将分布与函数的乘积在 $$L^p$$ 和 Sobolev 范数之间进行控制。
函数空间 $$U_p$$ ：为了解决临界情况下的控制问题，作者引入了辅助空间 $U_{p_\star}$ 。这是一个允许初值进行“分解”的空间，类似于在 Navier-Stokes 方程中处理临界初值时的便利性。这使得可以利用正则化噪声带来的 $$L^p$$ 稳定性，即使在 $$p$$ 较小的情况下也能工作。

b) 解决技术性难题的核心技巧：非线性项的重写

这是本论文最具创新性的技术贡献。

难题背景：在之前的文献（如 $\alpha < 1/2$ 的工作）中，估计非线性项通常依赖于形如以下的对偶配对（针对 2D Euler）：

\langle \Lambda^{-2}\xi, u_1 \cdot \nabla \xi + u \cdot \nabla \theta_2 \rangle.

通过分部积分，这会变成 $-\langle u_1 \cdot \nabla \Lambda^{-2}\xi, \xi \rangle$ 。 维度分析：

$\xi$ 在 $\dot{H}^{-\alpha}$ 范数下。
$\nabla \Lambda^{-2} \xi$ 大致是 $\dot{H}^{1-\alpha}$ 。
$$u_1$$ 是通过 $\theta_1$ 求导得到的，如果 $\theta_1$ 在 $$L^p$$ 中， $$u_1$$ 在 $\dot{H}^{1-\beta}$ 中（此处 $\beta=0$ 为 $\dot{H}^1$ ）。
要使 $\langle u_1 \cdot \nabla \Lambda^{-2} \xi, \xi \rangle$ 被 $\|\xi\|_{\dot{H}^{-\alpha}}^2$ 控制（以便与噪声项的强制性匹配），需要： $(1-\alpha) + (-\alpha) \ge 0 \implies \alpha \le 1/2.$ 这就是为什么旧理论被限制在 $\alpha \le 1/2$ 的根本原因。

本文的技巧：动量形式 (Momentum Formulation)：作者没有使用上述标准形式，而是利用了流体方程的几何结构，将非线性项 $u \cdot \nabla \theta$ 重写为“动量形式”（或涡度形式的推广）：

对于 2D Euler ( $\beta=0$ )：
$$ N_0(\theta) = u \cdot \nabla \theta = \nabla^\perp \cdot ((u \cdot \nabla) u). $$
代入 $\xi$ 的平衡方程后，经过分部积分，非线性项变为：
$$ \langle \Lambda^{-2}\xi, N(\theta_1) - N(\theta_2) \rangle = -\langle \nabla^\perp \Lambda^{-2} \xi, u_1 \cdot \nabla u_1 - u_2 \cdot \nabla u_2 \rangle. $$
进一步分解 $$u = u_2 + u$$ （其中 $$u = u_1 - u_2$$ ）并整理，关键项变为：
$$ -\langle \nabla^\perp \Lambda^{-2} \xi, (\nabla^\perp \Lambda^{-2} \xi \cdot \nabla) \nabla^\perp \Lambda^{-2} \theta_1 \rangle + \dots $$
维度分析：
- $\nabla^\perp \Lambda^{-2} \xi$ 在 $\dot{H}^{1-\alpha}$ 中。
- $\nabla \nabla^\perp \Lambda^{-2} \theta_1$ 在 $\dot{H}^{-\alpha}$ 中（因为 $\theta_1$ 在 $$L^p$$ ，通过 Calderon-Zygmund 算子有界性可知）。
- 第二个 $\nabla^\perp \Lambda^{-2} \xi$ 在 $\dot{H}^{1-\alpha}$ 中。
- 在 $$L^2$$ 内积配对中（即 $\dot{H}^{-1}$ 对偶），求导次数的和为 $(1-\alpha) + (-\alpha) + (1-\alpha) - 1 = 1 - 3\alpha$ 。
- 这看起来并没有改善？
仔细阅读 Lemma 2.6 的推导：实际上，作者使用了更精细的结构分解。对于 Euler 方程，他们利用了 $u \cdot \nabla \theta = \nabla^\perp \cdot ((u \cdot \nabla) u)$ 这一事实，使得求导可以在 $\xi$ 和 $\theta$ 之间重新分配。最终的估计式（Lemma 2.6）显示，通过这种重写，非线性项的贡献可以被控制为：
$$ \lesssim \|\xi\|_{\dot{H}^{-\alpha}}^{1-r_1} \|\xi\|_{\dot{H}^{-1}}^{r_1} \cdot \|\theta\|_{L^p} + \dots $$
这种形式允许利用噪声产生的 $\|\xi\|_{\dot{H}^{-\alpha}}^2$ 项来吸收非线性项，只要 $$p$$ 满足临界条件。

对于 gSQG ( $\beta > 0$ )，使用了类似的推广的动量形式：

N_\beta(\theta) = \nabla^\perp \cdot ((u \cdot \nabla)h - (\nabla h)^T u),

其中 $h = -\nabla^\perp \Lambda^{-2} \theta$ 。这种形式使得求导操作能够平衡分布，从而克服了仅考虑 $u \cdot \nabla \theta$ 带来的维度限制。

与之前工作的比较

本论文在前人研究（特别是作者自己之前的 [2] 以及 He et al. [14] 等）的基础上，做出了显著的改进。

1. 参数范围的突破 ( $\alpha \le 1/2$ 的限制)

之前的工作：所有关于粗糙 Kraichnan 噪声下二维 Euler 或 gSQG 强适定性的结果，都隐式或显式地要求噪声参数 $\alpha < 1/2$ 。这被认为是该方法的一个结构性障碍，因为正则化效应在 $\alpha$ 较大时变弱，而非线性项的维度分析在 $\alpha \ge 1/2$ 时失效。
本文的改进：本文证明了对于任意 $\alpha \in (0,1)$，只要初始数据在适当的 $L^p$ 空间中（且 $p$ 足够大），强唯一性依然成立。
- 物理意义：这覆盖了 $\alpha = 2/3$ ，这是湍流理论中最重要的参数值（Richardson-Kolmogorov 谱）。之前的理论无法触及这一物理相关区域。
- 数学意义：打破了 $$1/2$$ 的壁垒，证明了该方程的适定性并非依赖于噪声极度粗糙（小 $\alpha$ ）带来的强正则化，而是可以通过精细的结构估计来维持。

2. 对初始数据 $$L^1$$ 要求的去除与临界空间

之前的工作：为了处理非线性项，往往需要假设初始数据 $\theta_0$ 属于 $L^1 \cap L^p$ ，或者在证明中引入截断函数。这是因为非线性估计通常需要 $$L^1$$ 范数来控制。
本文的改进：本文完全去除了 $$L^1$$ 要求。通过引入临界指数 $p_\star$ ，直接在 $L^{p_\star}$ 空间上建立理论。这对于理解方程的内在尺度性质至关重要。特别是对于 gSQG，当 $\beta$ 接近 1 时，临界指数 $p_\star$ 可能接近 2 或更小，此时 $$L^1$$ 条件非常强，而本文的 $L^{p_\star}$ 条件则自然得多。

3. 假设条件的自然化 ( $\alpha + \beta$ 关系)

之前的工作：对于 gSQG，往往存在条件如 $\beta/2 < \alpha$ 。这暗示非线性强度（由 $\beta$ 控制）必须小于噪声粗糙度（由 $\alpha$ 控制）。这在直觉上有些反常：噪声更粗糙（ $\alpha$ 更小）理应能控制更强的非线性，但旧条件限制了 $\beta$ 随 $\alpha$ 减小而增大。
本文的改进：本文提出的条件是 $\alpha + \beta \le 1$。
- 当 $\alpha \to 0$ （噪声非常粗糙），允许 $\beta \to 1$ （非常强的非线性）。
- 当 $\alpha \to 1$ （噪声平滑），必须 $\beta \to 0$ （回到标准 Euler）。这个条件完美契合了物理直觉：噪声越粗糙，能正则化的非线性项指数越高。

4. 唯一性理论的统一

本文证明了，在 $\alpha \in (0,1)$ 的整个范围内，只要满足尺度条件，解就是强适定的。这为二维流体方程在随机扰动下的行为提供了一个统一的、自洽的图像，将之前分散的、仅在特定参数区域成立的结果统一了起来。

中文标题: Calogero–Moser 导数非线性薛定谔方程单泡吹胀解的分类

摘要翻译: 我们研究 Calogero–Moser 导数非线性薛定谔方程 (CM-DNLS)，这是一个具有质量临界性且完全可积的色散模型。近期的研究工作确立了有限时间吹胀构造和孤子分解（soliton resolution），描述了吹胀解的渐近行为。在本文中，我们超越了孤子分解，在 单泡 (single-bubble) 机制下对有限时间吹胀动力学进行了精细分类。假设解在 $0<T<\infty$ 时刻以单孤子形态吹胀，我们确定了所有可能的吹胀速率。对于 $L\ge1$ 的 $H^{2L+1}(\mathbb{R})$ 初始数据，我们证明了二分法：要么解处于 量子化机制 (quantized regime)，其中标度参数满足

好的，遵照您的要求，以下是该论文摘要和标题的学术翻译。

中文标题: 二重特征值共振时存在性的充要条件

摘要翻译: 我们针对一类半线性Dirichlet问题，当其线性部分在二重特征值处发生共振时，建立了解的存在性的充要条件。该结果被应用于给出相应半线性热方程所有解无界的一个条件。

11. 一种粘塑性Burgers方程的塑性极限——海冰动力学的一个玩具模型

Plastic limit of a viscoplastic Burgers equation – A toy model for sea-ice dynamics

作者: Xin Liu, Marita Thomas, Edriss S. Titi

类别: math.AP

发布日期: 2026-01-10

arXiv ID: 2601.06489v1

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

摘要翻译

好的，这是您提供的论文摘要的专业学术翻译：

中文标题: 一种粘塑性Burgers方程的塑性极限——海冰动力学的一个玩具模型

摘要翻译: 我们研究了一维空间中的塑性Burgers方程，即一个Burgers方程，其特征是附加了一个形式上由 p=1 的 p-Laplacian（或更准确地说，由全变差泛函的多值次微分）给出的项。我们的研究强调了平流项与由多值1-Laplacian给出的应力之间的相互作用是该模型的一个关键特征。尽管该模型本身很有趣，但它也可以被视为Hibler海冰动力学模型中动量平衡的一维版本。在Hibler模型中，应力张量由一个性质与1-Laplacian相似的项给出，以解释冰的塑性效应。在我们的分析中，我们从一个粘塑性Burgers方程出发，即塑性Burgers方程的一个经过适当正则化、带有小正则化参数 $\varepsilon>0$ 的版本。对于粘塑性Burgers方程，我们构建了一个全局的BV-解。在奇异极限 $\varepsilon\to0$ 下，我们推导出了塑性Burgers方程的BV-解的存在性。此外，我们还证明了由正则化应力极限产生的项确实与全变差泛函次微分的一个元素相关。

不相关论文（基本信息）

1. MMT模型初值问题的适定性研究

On the well-posedness of the initial value problem for the MMT model

作者: Mahendra Panthee, James Patterson, Yuzhao Wang

类别: math.AP

发布日期: 2026-01-12

arXiv ID: 2601.07771v1

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

摘要: This work investigates the initial value problem (IVP) for the two-parameter family of dispersive wave equations known as the Majda-McLaughlin-Tabak (MMT) model, which arises in the weak turbulence theory of random waves. The MMT model can be viewed as a derivative nonlinear Schrödinger (dNLS) equation where both the nonlinearity and dispersion involve nonlocal fractional derivatives. The purpose of this study is twofold: first, to establish a sharp well-posedness theory for the MMT model; and second, to identify the critical threshold for the derivative in the nonlinearity relative to the dispersive order required to ensure well-posedness. As a by- product, we establish sharp well-posedness for non-local fractional dNLS equations; notably, our results resolve the regularity endpoint left open in https://www.aimsciences.org/article/doi/10.3934/dcdsb.2022039 .

2. 伪谱拟模的次主控制，II

Subprincipal Control of Pseudospectral Quasimodes, II

作者: Pelle Brook Borgeke

类别: math.AP

发布日期: 2026-01-12

arXiv ID: 2601.07743v1

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

摘要: In this paper, we continue the analysis of the effects of semiclassical sub principal controlled quasimodes, approximate solutions to P(h)u(h,b), depending on the subprincipal symbol b, which can give spectral insta bility (pseudospectrum). We consider a pseudodifferential operator, which has double zeros for the principal symbol, p. This means that p = dp = 0 in a small neighborhood. In the first paper in this series, we considered operators with transversal inter sections of bicharacteristics. Now we study operators with tangential in tersections of bicharacteristics, as well as with double characteristics for p. We put the pseudodifferential operator on normal form microlocally, and use a model operator, P(h) to test for quasimodes. We demonstrate two cases where this happens. We shall also continue with more advanced cases, when the operators are factorable to P(h) = P2(h)P1(h,B), thus annihilating the subprincipal control over the quasimodes.

3. 基于物理信息WGAN-GP的Chafee–Infante方程反向重构

Backward Reconstruction of the Chafee–Infante Equation via Physics-Informed WGAN-GP

作者: Joseph L. Shomberg

类别: math.AP, cs.LG

发布日期: 2026-01-12

arXiv ID: 2601.07733v1

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

摘要: We present a physics-informed Wasserstein GAN with gradient penalty (WGAN-GP) for solving the inverse Chafee–Infante problem on two-dimensional domains with Dirichlet boundary conditions. The objective is to reconstruct an unknown initial condition from a near-equilibrium state obtained after 100 explicit forward Euler iterations of the reaction-diffusion equation

u_t - γΔu + κ\left(u^3 - u\right)=0.

Because this mapping strongly damps high-frequency content, the inverse problem is severely ill-posed and sensitive to noise. Our approach integrates a U-Net generator, a PatchGAN critic with spectral normalization, Wasserstein loss with gradient penalty, and several physics-informed auxiliary terms, including Lyapunov energy matching, distributional statistics, and a crucial forward-simulation penalty. This penalty enforces consistency between the predicted initial condition and its forward evolution under the \emph{same} forward Euler discretization used for dataset generation. Earlier experiments employing an Eyre-type semi-implicit solver were not compatible with this residual mechanism due to the cost and instability of Newton iterations within batched GPU training. On a dataset of 50k training and 10k testing pairs on $128\times128$ grids (with natural $$[-1,1]$$ amplitude scaling), the best trained model attains a mean absolute error (MAE) of approximately \textbf{0.23988159} on the full test set, with a sample-wise standard deviation of about \textbf{0.00266345}. The results demonstrate stable inversion, accurate recovery of interfacial structure, and robustness to high-frequency noise in the initial data.

4. 常数量曲率 Kähler 度量的耦合连续性方程

Coupled continuity equations for constant scalar curvature Kähler metrics

作者: Xi Sisi Shen, Kevin Smith

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

发布日期: 2026-01-12

arXiv ID: 2601.07677v1

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

摘要: Inspired by a parabolic system of Li-Yuan-Zhang and the continuity equation of La Nave-Tian, we study a system of elliptic equations for a Kähler metric $$ω$$ and a closed $$(1, 1)$$ -form $$α$$ . Assuming a uniform estimate for $$ω$$ , we prove higher order estimates and smooth convergence to a cscK metric coupled to a harmonic $$(1, 1)$$ -form. A simplification of the system is used to recover existence results for Kähler-Einstein metrics when $$c_1(X) < 0$$ . On Riemann surfaces with genus at least $$2$$ , we show smooth convergence to the unique Kähler-Einstein metric from a large class of initial data.

5. 凸集上Neumann热核及其迹的一致界

Uniform bounds for Neumann heat kernels and their traces in convex sets

作者: Rupert L. Frank, Simon Larson

类别: math.AP, math.SP

发布日期: 2026-01-12

arXiv ID: 2601.07341v1

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

摘要: We prove a bound on the heat trace of the Neumann Laplacian on a convex domain that captures the first two terms in its small-time expansion, but is valid for all times and depends on the underlying domain only through very simple geometric characteristics. This is proved via a precise and uniform expansion of the on-diagonal heat kernel close to the boundary. Most of our results are valid without the convexity assumption and we also consider two-term asymptotics for the heat trace for Lipschitz domains.

6. 半线性强阻尼波动方程的一个反周期问题

An Inverse Almost Periodic Problem for a Semilinear Strongly Damped Wave Equation

作者: Irina Kmit, Nataliya Protsakh, Viktor Tkachenko

类别: math.AP

发布日期: 2026-01-11

arXiv ID: 2601.07081v1

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

摘要: The paper investigates an inverse boundary value problem for a semilinear strongly damped wave equation with the Dirichlet boundary condition in Sobolev spaces of bounded (in particular, almost periodic and periodic) functions. In addition to finding a weak solution, we also determine a source coefficient in the right-hand side of the differential equation. To make the problem well-posed, an integral-type overdetermination condition is imposed. After reducing the inverse problem to a direct one, we solve the latter in several steps. First, we prove the existence and uniqueness of a weak solution to the corresponding initial-boundary value problem on a finite time interval. Next, we show that this solution can be extended in a bounded way to the semiaxis $t\ge 0$ . In the following step, we further extend this bounded solution to all $t\in R$ . Finally, we establish that if the data of the original problem are almost periodic (or periodic), then the resulting bounded weak solution is itself almost periodic (or periodic).

7. 测度的勒贝格点与泊松-埃尔米特积分的非切向收敛

Lebesgue points of measures and non tangential convergence of Poisson-Hermite integrals

作者: Guillermo Flores, Gustavo Garrigós, Beatriz Viviani

类别: math.AP, math.CA

发布日期: 2026-01-11

arXiv ID: 2601.07063v1

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

摘要: We study differentiability conditions on a complex measure $$ν$$ at a point $x_0\in\mathbb{R}^d$ , in relation with the boundary convergence at that point of the Poisson-type integral $P_tν=e^{-t\sqrt L}ν$ , where $$L=-Δ+|x|^2$$ is the Hermite operator. In particular, we show that $$x_0$$ is a Lebesgue point for $$ν$$ iff a slightly stronger notion than non-tangential convergence holds for $$P_tν$$ at $$x_0$$ . We also show non-tangential convergence when $$x_0$$ is a $$σ$$ -point of $$ν$$ , a weaker notion than Lebesgue point, which for $$d=1$$ coincides with the classical Fatou condition.

8. 具有极化 $$U(1)$$ 对称性的 $$(3+1)$$ 维爱因斯坦真空时空中的Kasner奇点的过去稳定性

The past stability of Kasner singularities for the $$(3+1)$$ -dimensional Einstein vacuum spacetime under polarized $$U(1)$$ -symmetry

作者: Kai Dong

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

发布日期: 2026-01-11

arXiv ID: 2601.06957v1

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

摘要: In this paper, we give a new proof to a past stability result established in Fournodavlos-Rodnianski-Speck (arXiv:2012.05888), for Kasner solutions of the $$(3+1)$$ -dimensional Einstein vacuum equations under polarized $$U(1)$$ -symmetry. Our method, inspired by Beyer-Oliynyk-Olvera-Santamar{'ı}a-Zheng (arXiv:1907.04071, arXiv:2502.09210), relies on a newly developed $$(2+1)$$ orthonormal-frame decomposition and a careful symmetrization argument, after which the Fuchsian techniques can be applied. We show that the perturbed solutions are asymptotically pointwise Kasner, geodesically incomplete and crushing at the Big Bang singularity. They are achieved by reducing the $$(3+1)$$ Einstein vacuum equations to a Fuchsian system coupled with several constraint equations, with the symmetry assumption playing an important role in the reduction. Using Fuchsian theory together with finite speed of constraints propagation, we obtain global existence and precise asymptotics of the solutions up to the singularities.

9. 基于固定频率双调和波无相位数据恢复相位的渐近公式

Asymptotic formulas for phase recovering from phaseless data of biharmonic waves at a fixed frequency

作者: Yuxiang Cheng, Xiaoxu Xu, Haiwen Zhang

类别: math.AP

发布日期: 2026-01-11

arXiv ID: 2601.06917v1

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

摘要: This paper focuses on phase retrieval from phaseless total-field data in biharmonic scattering problems. We prove that a phased biharmonic wave can be uniquely determined by the modulus of the total biharmonic wave within a nonempty domain. As a direct corollary, the uniqueness for the inverse biharmonic scattering problem with phaseless total-field data is established. Moreover, using the Atkinson-type asymptotic expansion, we derive explicit asymptotic formulas for the problem of phase retrieval.

10. 仅含相互作用的非相对论Chern-Simons模型的存在性结果

Existence results for a non-relativistic Chern-Simons model with purely mutual interaction

作者: Aleks Jevnikar, Sang-Hyuck Moon

类别: math.AP

发布日期: 2026-01-11

arXiv ID: 2601.06901v1

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

摘要: We are concerned with a skew-symmetric singular Liouville system arising in non-relativistic Chern-Simons theory. Based on its variational structure, we establish existence and multiplicity results. Since the energy functional is indefinite, standard variational approaches do not apply directly. We overcome this difficulty by introducing a suitable constrained problem and implementing a Morse-theoretical argument

11. Lévy型算子的均匀化：带校正项的算子估计

Homogenization of Lévy-type operators: operator estimates with correctors

作者: Andrey Piatnitski, Vladimir Sloushch, Tatiana Suslina, Elena Zhizhina

类别: math.AP, math.FA

发布日期: 2026-01-11

arXiv ID: 2601.06832v1

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

摘要: The goal of the paper is to study in $L_2(\R^d)$ a self-adjoint operator ${\mathbb A}_\eps$ , $\eps >0$ , of the form

({\mathbb A}_\eps u) (\x) = \int_{\R^d} μ(\x/\eps, \y/\eps) \frac{\left( u(\x) - u(\y) \right)}{|\x - \y|^{d+α}}\,d\y

with $$1< α< 2$$ ; here the function $μ(\x,\y)$ is $\Z^d$ -periodic in the both variables, satisfies the symmetry relation $μ(\x,\y) = μ(\y,\x)$ and the estimates $0< μ_- \leqslant μ(\x,\y) \leqslant μ_+< \infty$ . The rigorous definition of the operator ${\mathbb A}_\eps$ is given in terms of the corresponding quadratic form. In the previous work of the authors it was shown that the resolvent $({\mathbb A}_\eps + I)^{-1}$ converges, as $\eps\to0$ , in the operator norm in $L_2(\mathbb R^d)$ to the resolvent of the effective operator $$A^0$$ , and the estimate $\|({\mathbb A}_\eps + I)^{-1} - (\A^0 + I)^{-1} \| = O(\eps^{2-α})$ holds. In the present work we achieve a more accurate approximation of the resolvent of ${\mathbb A}_\eps$ which takes into account the correctors. Namely, for $N\in\mathbb N$ such that $2-1/N < α\le 2-1/(N+1)$ , we obtain

\bigl\|({\mathbb A}_\eps + I)^{-1} - (\A^0 + I)^{-1} - \sum_{m=1}^N \eps^{m(2-α)} \mathbb{K}_m \bigr\| = O(\eps).

12. C^{N+1}上Taub-NUT型的新Calabi-Yau度量

New Calabi-Yau Metrics of Taub-NUT Type on C^{N+1}

作者: Tengfei Ma

类别: math.DG, math.AP

发布日期: 2026-01-11

arXiv ID: 2601.06756v1

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

摘要: We construct a class of complete non-flat Calabi-Yau metrics on C^{N+1} for every N >= 3, which generalize the Taub-NUT metrics from C^2 and C^3 and whose tangent cone at infinity is R^N. The construction relies on the generalized Gibbons-Hawking ansatz. A key obstacle is that the volume-form defect of the ansatz fails to decay near certain components of the discriminant locus, producing singularities more severe than those encountered in dimension three, we resolve this by a gluing procedure.

13. 平坦景观上植被动力学的非局部Klausmeier模型中的灭绝与持续性判据

Extinction and persistence criteria in non-local Klausmeier model of vegetation dynamics on flat landscapes

作者: Maciej Tadej, Ricardo Martinez-Garcia, Michael Hecht

类别: math.AP

发布日期: 2026-01-10

arXiv ID: 2601.06681v1

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

摘要: This paper investigates the dynamics of vegetation patterns in water-limited ecosystems using a generalized Klausmeier model that incorporates non-local plant dispersal within a finite habitat. We establish the well-posedness of the system and provide a rigorous analysis of the conditions required for vegetation survival. Our results identify a critical patch size governed by the trade-off between local growth and boundary losses; habitats smaller than this threshold lead to inevitable extinction. Furthermore, we derive a critical maximal biomass density below which the population collapses to a desert state, regardless of the domain size. We determine stability criteria for stationary solutions and describe the emergence of stable, non-trivial biomass distributions. Numerical experiments comparing sub-Gaussian and super-Gaussian kernels confirm that non-local dispersal mechanisms, particularly those with fat tails, enhance ecosystem resilience by allowing vegetation to persist in smaller, fragmented habitats than predicted by classical local diffusion models.

14. 基于校准法的高维圆锥中自由边界轴向超平面的极小性

Minimality of free-boundary axial hyperplanes in high dimensional circular cones via calibration

作者: Giacomo Vianello

类别: math.AP, math.DG

发布日期: 2026-01-10

arXiv ID: 2601.06601v1

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

摘要: Consider an $$(n+1)$$ -dimensional circular cone. Using a calibration argument, we prove that if $n \geq 4$ and the aperture of the cone is sufficiently large, the intersection of the cone with an axial hyperplane is area-minimizing with respect to free-boundary variations inside the cone.

15. 具有历史记忆和非局部边界耗散的粘弹性梁方程的动力学分析

Dynamics for a viscoelastic beam equation with past history and nonlocal boundary dissipation

作者: Linfang Liu, Vando Narciso, Zhijian Yang

类别: math.AP

发布日期: 2026-01-10

arXiv ID: 2601.06414v1

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

摘要: This article aims to study the long-time dynamics of the linear viscoelastic plate equation $\displaystyle{u_{tt}+Δ^2 u-\int_τ^tg(t-s)Δ^2u(s)ds=0}$ subject to nonlinear and nonlocal boundary conditions. This model, with $$τ=0$$ , was first considered by Cavalcanti (Discrete Contin. Dyn. Syst., 8(3), 675-695, 2002), where results of global existence and uniform decay rates of energy have been established. In this work, by taking $τ=-\infty$ , and considering the autonomous equivalent problem we prove that the dynamical system $(\mathcal{H},S_t)$ generated by the weak solutions has a compact global attractor $\mathfrak{A}$ (in the topology of the weak phase space $\mathcal{H}$ ), which in subcritical case has finite dimension and smoothness. Furthermore, when the force follows the {\it Hook Law}, we prove that $(\mathcal{H},S_t)$ possesses a (generalized) fractal exponential attractor $\mathfrak{A}_{\exp}$ with finite dimension in a space $\widetilde{\mathcal{H}}\supset\mathcal{H}$ .

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

1. 低粘度二维水槽中的定常内波#

详细分析#

研究对象和背景#

主要定理或主要结果#

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

a) 核心分析学工具#

b) 解决技术性难题的技巧#

与之前工作的比较#

a) 对先前工作的突破与改进#

b) 结果的强度与新意#

2. 二维低粘性可压缩 Navier-Stokes 方程的整体正则性与锐利衰减#

详细分析#

研究对象和背景#

主要定理或主要结果#

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

a) 核心分析学工具#

b) 解决技术性难题的技巧#

与之前工作的比较#

3. 具有大初值的球对称退化可压缩 Navier-Stokes 方程真空自由边界问题的整体适定性#

详细分析#

研究对象和背景#

主要定理或主要结果#

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

a) 核心分析学工具#

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

与之前工作的比较#

1. 突破经典 BD 熵估计的局限性#

2. 维度的推广与大初值整体存在性#

3. 区域分割与奇异性处理的精细化#

4. 对模型物理意义的数学确认#

4. 具有粗糙Kraichnan噪声的二维Euler和gSQG方程的精细唯一性结果#

详细分析#

研究对象和背景#

1. 数学模型与方程#

2. 物理背景与湍流模型#

3. 研究区域与函数空间#

主要定理或主要结果#

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

a) 核心分析学工具#

b) 解决技术性难题的核心技巧：非线性项的重写#

与之前工作的比较#

1. 参数范围的突破 ($\alpha \le 1/2$ 的限制)#

2. 对初始数据 $L^1$ 要求的去除与临界空间#

3. 假设条件的自然化 ($\alpha + \beta$ 关系)#

4. 唯一性理论的统一#

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

1. 关于具有“错误符号”的局部算子与非局部算子叠加的Sobolev临界问题#

摘要翻译#

2. 单原子与多原子混合气体玻尔兹曼系统的整体重整化解#

摘要翻译#

3. 关于周期性量子洛伦兹气体的弱耦合极限#

摘要翻译#

4. 与 Ornstein-Uhlenbeck 算子相关的抛物型方程解的对数凹性及其应用#

摘要翻译#

5. 边界光滑或非光滑的平面非单连通域中椭圆型散度方程解的临界点#

摘要翻译#

6. Calogero–Moser 导数非线性薛定谔方程单泡吹胀解的分类#

摘要翻译#

7. 具有 $p$-拉普拉斯和 Orlicz-拉普拉斯形式的均匀椭圆拟线性方程的局部与全局 $C^{1,β}$-正则性#

摘要翻译#

8. 一种用于离散时间资料同化的松弛直接注入降尺度方法#

摘要翻译#

9. 关于一个随机 Cahn-Hilliard-Brinkman 模型#

摘要翻译#

10. 二重特征值共振时存在性的充要条件#

摘要翻译#

11. 一种粘塑性Burgers方程的塑性极限——海冰动力学的一个玩具模型#

摘要翻译#

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

1. MMT模型初值问题的适定性研究#

2. 伪谱拟模的次主控制，II#

3. 基于物理信息WGAN-GP的Chafee–Infante方程反向重构#

4. 常数量曲率 Kähler 度量的耦合连续性方程#

5. 凸集上Neumann热核及其迹的一致界#

6. 半线性强阻尼波动方程的一个反周期问题#

7. 测度的勒贝格点与泊松-埃尔米特积分的非切向收敛#

8. 具有极化$U(1)$对称性的$(3+1)$维爱因斯坦真空时空中的Kasner奇点的过去稳定性#

9. 基于固定频率双调和波无相位数据恢复相位的渐近公式#

10. 仅含相互作用的非相对论Chern-Simons模型的存在性结果#

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

1. 低粘度二维水槽中的定常内波

详细分析

研究对象和背景

主要定理或主要结果

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

a) 核心分析学工具

b) 解决技术性难题的技巧

与之前工作的比较

a) 对先前工作的突破与改进

b) 结果的强度与新意

2. 二维低粘性可压缩 Navier-Stokes 方程的整体正则性与锐利衰减

详细分析

研究对象和背景

主要定理或主要结果

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

a) 核心分析学工具

b) 解决技术性难题的技巧

与之前工作的比较

3. 具有大初值的球对称退化可压缩 Navier-Stokes 方程真空自由边界问题的整体适定性

详细分析

研究对象和背景

主要定理或主要结果

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

a) 核心分析学工具

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

与之前工作的比较

1. 突破经典 BD 熵估计的局限性

2. 维度的推广与大初值整体存在性

3. 区域分割与奇异性处理的精细化

4. 对模型物理意义的数学确认

4. 具有粗糙Kraichnan噪声的二维Euler和gSQG方程的精细唯一性结果

详细分析

研究对象和背景

1. 数学模型与方程

2. 物理背景与湍流模型

3. 研究区域与函数空间

主要定理或主要结果

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

a) 核心分析学工具

b) 解决技术性难题的核心技巧：非线性项的重写

与之前工作的比较

1. 参数范围的突破 ( $\alpha \le 1/2$ 的限制)

2. 对初始数据 $$L^1$$ 要求的去除与临界空间

3. 假设条件的自然化 ( $\alpha + \beta$ 关系)

4. 唯一性理论的统一

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

1. 关于具有“错误符号”的局部算子与非局部算子叠加的Sobolev临界问题

摘要翻译

2. 单原子与多原子混合气体玻尔兹曼系统的整体重整化解

摘要翻译

3. 关于周期性量子洛伦兹气体的弱耦合极限

摘要翻译

4. 与 Ornstein-Uhlenbeck 算子相关的抛物型方程解的对数凹性及其应用

摘要翻译

5. 边界光滑或非光滑的平面非单连通域中椭圆型散度方程解的临界点

摘要翻译

6. Calogero–Moser 导数非线性薛定谔方程单泡吹胀解的分类

摘要翻译

7. 具有 $$p$$ -拉普拉斯和 Orlicz-拉普拉斯形式的均匀椭圆拟线性方程的局部与全局 $C^{1,β}$ -正则性

摘要翻译

8. 一种用于离散时间资料同化的松弛直接注入降尺度方法

摘要翻译

9. 关于一个随机 Cahn-Hilliard-Brinkman 模型

摘要翻译

10. 二重特征值共振时存在性的充要条件

摘要翻译

11. 一种粘塑性Burgers方程的塑性极限——海冰动力学的一个玩具模型

摘要翻译

不相关论文（基本信息）

1. MMT模型初值问题的适定性研究

2. 伪谱拟模的次主控制，II

3. 基于物理信息WGAN-GP的Chafee–Infante方程反向重构

4. 常数量曲率 Kähler 度量的耦合连续性方程

5. 凸集上Neumann热核及其迹的一致界

6. 半线性强阻尼波动方程的一个反周期问题

7. 测度的勒贝格点与泊松-埃尔米特积分的非切向收敛

8. 具有极化 $$U(1)$$ 对称性的 $$(3+1)$$ 维爱因斯坦真空时空中的Kasner奇点的过去稳定性

9. 基于固定频率双调和波无相位数据恢复相位的渐近公式

10. 仅含相互作用的非相对论Chern-Simons模型的存在性结果