生成时间: 2026年01月09日 03:53:55

重点关注论文数量: 3

了解领域论文数量: 3

不相关论文数量: 17

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

1. 关于流体中障碍物旋转所导出的Navier-Stokes方程的研究

On Navier-Stokes equations arising from the rotation of an obstacle in a fluid

作者: Tahar Zamène Boulmezaoud, Nabil Kerdid, Amel Kourta

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.04944v1

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

详细分析

中文标题: 关于流体中障碍物旋转所导出的Navier-Stokes方程的研究

研究对象和背景

本论文主要研究了在三维欧几里得空间 $\mathbb{R}^3$ 中，一个旋转的刚性物体（障碍物）置于不可压缩粘性流体中所引发的流体运动问题。通常，描述流体运动的Navier-Stokes方程是在固定坐标系下表述的，但当流场中存在运动边界（如旋转的物体）时，为了简化边界条件的处理，研究者通常采用附着在运动物体上的非惯性参考系。

在该参考系下，流体的速度场 $U$ 和压力场 $P$ 满足修正的定常Navier-Stokes方程组。设 $\Omega = \mathbb{R}^3 \setminus B$，其中 $B$ 是代表旋转刚体的闭有界子集。方程组如下：

其中：

• $\nu > 0$ 是流体的运动粘性系数。
• $v_\infty$ 是物体的平移速度（在本文的研究背景下，通常假设物体仅做旋转运动，即 $v_\infty = 0$）。
• $\omega$ 是物体的角速度向量。
• $f$ 是外部体积力。
• $\omega \times x$ 项源自参考系的旋转（科里奥利力相关的平流项），而 $-\omega \times U$ 项则对应于离心力效应。

在远离障碍物的无穷远处，流体的流动通常会趋于静止。因此，边界条件包括：

1. 在障碍物表面 $\partial \Omega$ 上，满足无滑移条件 $U = U_{\text{wall}}$（通常取 $U=0$）。
2. 在无穷远处 $|x| \to \infty$，速度和压力趋于零。

研究区域与函数空间的特殊性： 本文最大的特点是处理无界区域 $\Omega = \mathbb{R}^3 \setminus B$。在无界域上处理椭圆型或抛物型偏微分方程时，传统的 Sobolev 空间（如 $H^1(\Omega)$）往往不足以控制解在无穷远处的衰减行为。为了精确描述解在 $|x| \to \infty$ 处的渐近行为，论文引入了加权 Sobolev 空间 (Weighted Sobolev Spaces)。

作者定义了特殊的函数空间 $W^{m,p}_k(\mathbb{R}^n)$，其范数不仅包含导数的控制，还引入了加权函数 $h\langle x \rangle = (|x|^2 + 1)^{1/2}$。具体定义如下：

这种空间结构允许研究人员捕捉到解在大距离处的衰减速率，这是经典 Sobolev 空间无法做到的。此外，为了处理旋转项带来的困难，作者还定义了专门的空间 $V^{m,p}_k(\mathbb{R}^3) = \{ v \in W^{m,p}_k(\mathbb{R}^3)^3 \mid Rv \in W^{m-2,p}_k(\mathbb{R}^3)^3 \}$，其中 $R$ 是与旋转算子相关的线性算子。

主要定理或主要结果

论文的核心结果是证明了在特定的加权 Sobolev 空间框架下，修正的 Navier-Stokes 方程组解的存在性、唯一性以及正则性，并给出了明确的衰减估计。

定理 2.1 (Theorem 2.1): 假设 $p > 3/2$ 且 $p \neq 3$。定义整数 $k$ 为：

(注：根据文中推导，当 $p>3$ 时 $k=2$，当 $3/2<p<3$ 时 $k=1$)。

设外力 $f \in W^{-1,p}_k(\mathbb{R}^3)^3$ 满足以下条件：

1. 力的零阶矩条件（归一化条件）：$\forall i \le 3, \langle f, 1 \rangle_i = 0$。
2. 范数足够小：存在常数 $\kappa > 0$，使得 $\|f\|_{W^{-1,p}_k(\mathbb{R}^3)^3} < \kappa$。

结论：

1. 存在性与唯一性：存在唯一的弱解 $(u, \pi) \in V^{1,p}_k(\mathbb{R}^3)^3 \times W^{0,p}_k(\mathbb{R}^3)$ 满足方程组，并且有如下估计：
   $$ \|u\|_{W^{1,p}_k(\mathbb{R}^3)^3} + \|Ru\|_{W^{-1,p}_k(\mathbb{R}^3)^3} + \|\pi\|_{W^{0,p}_k(\mathbb{R}^3)^3} \le C \|f\|_{W^{-1,p}_k(\mathbb{R}^3)^3} $$
2. 正则性提升：如果外力 $f$ 具有更高的正则性，即 $f \in W^{0,p}_{k+1}(\mathbb{R}^3)^3$，则解 $(u, \pi)$ 的正则性也随之提升，属于 $V^{2,p}_{k+1}(\mathbb{R}^3)^3 \times W^{1,p}_{k+1}(\mathbb{R}^3)$。

推论 2.4 (Corollary 2.4) - 渐近性质： 基于上述定理，解满足特定的衰减性质：

• 对于速度场 $u$：
  $$ \lim_{|x| \to +\infty} |x|^{2-\varepsilon} \|u(|x|, \cdot)\|_{L^p(S^2)} = 0 $$
• 如果 $f$ 更光滑（满足上述正则性提升条件），对于压力场 $\pi$：
  $$ \lim_{|x| \to +\infty} |x|^{3-\varepsilon} \|\pi(|x|, \cdot)\|_{L^p(S^2)} = 0 $$
  其中 $\varepsilon = 3 - \lfloor \frac{3}{p'} \rfloor \in (0, 1)$。这比经典的衰减率 $1/|x|$ 和 $1/|x|^2$ 提供了更精细的描述。

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

该论文的证明过程结合了现代偏微分方程分析中的多个高级工具，特别是针对无界域和旋转介质的处理技巧。

a) 核心分析学工具

1. 加权 Sobolev 空间理论 (Weighted Sobolev Spaces): 这是本文的基石。传统的 $L^p$ 空间无法控制 $|x| \to \infty$ 的行为。作者引入了包含因子 $h\langle x \rangle^{k}$ 的范数。通过调整权重指数 $k$，可以控制解及其导数在无穷远处的衰减速度。论文第 3.1 节详细建立了这些空间之间的嵌入定理（Embedding Theorems），例如 Lemma 3.2 和 Corollary 3.3，证明了 $W^{1,p}_\alpha(\mathbb{R}^n)$ 可以嵌入到 $W^{0,q}_\beta(\mathbb{R}^n)$，前提是权重指数满足 $\alpha - \beta > \frac{n}{q} - \frac{n}{p}$。这些嵌入关系是后续进行积分估计和非线性项控制的基础。

2. 不动点定理 (Fixed Point Argument): 论文将非线性的 Navier-Stokes 方程转化为算子方程。首先求解线性化的 Oseen-type 系统：

   $$ -\Delta v + Rv + \nabla r = h $$

   定义线性算子 $T: h \mapsto v$。然后将原方程写为 $u = T(f - u \cdot \nabla u)$。这构成了一个映射 $K(u) = T(f - u \cdot \nabla u)$。作者通过证明该映射在适当的球域内是压缩映射（利用 Lipschitz 估计），从而应用不动点原理证明解的存在唯一性。

3. 先验估计 (A Priori Estimates): 证明的核心在于对线性算子 $T$ 的范数估计以及对非线性项 $u \cdot \nabla u$ 的控制。

   • 线性估计： 基于 Proposition 3.6，对于线性系统，解的范数 $\|v\|_{W^{1,p}_k}$ 被右端项 $\|h\|_{W^{-1,p}_k}$ 控制。
   • 非线性估计 (双线性估计)： 利用 Lemma 3.5，证明了对于 $u \in H$，有 $u \cdot \nabla u \in W^{-1,p}_k$ 且 $\|u \cdot \nabla u\|_{W^{-1,p}_k} \le C \|u\|_{W^{1,p}_k}^2$。这是将非线性项“降阶”到对偶空间中进行处理的关键。

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

1. 处理旋转项的函数空间设计： 方程中的旋转项 $(\omega \times x) \cdot \nabla u$ 具有奇异性，因为系数随 $|x|$ 线性增长。这导致在标准 Sobolev 空间中，该算子不是一致有界的。作者通过定义特殊的空间 $V^{m,p}_k$，将算子 $R v = -\omega \wedge v + (\omega \wedge x) \cdot \nabla v$ 的像纳入范数定义中。这种构造实际上是对算子 $R$ 进行了“预处理”，使得在 $V^{m,p}_k$ 空间内，即使系数线性增长，解的导数与系数的乘积仍然受到控制（通过加权因子补偿增长）。

2. 奇异性与衰减的匹配： 在无界域上，非线性项 $u \cdot \nabla u$ 的可积性是一个大问题。如果 $u$ 衰减太慢（例如像 Stokes 流那样 $u \sim 1/|x|$），那么 $u \cdot \nabla u \sim 1/|x|^2$，这可能不满足 $L^2$ 或 $L^1$ 条件。 本文通过严格的加权空间嵌入定理（Lemma 3.5），精确计算了乘积 $v w$ 所在的权重空间。证明了如果 $v \in W^{1,p}_\alpha$ 且 $w \in W^{0,p}_\alpha$，那么 $vw$ 位于特定的负指数加权空间中。这保证了非线性项可以作为线性系统的源项（forcing term），且该源项的正则性与线性算子的可逆性相容。

3. 压力场的独立处理： 论文中，压力 $\pi$ 是通过与速度场解耦的方式获得的。在证明了速度场的存在性后，压力可以通过方程 $\Delta \pi = \text{div}(f - R u - u \cdot \nabla u)$ 得到。利用加权空间中的椭圆正则性（如推论中的结果），作者能够分别给出压力 $\pi$ 的显式衰减估计，这一估计比仅通过能量方法得到的隐式估计更为精确。

4. 几何与物理约束的利用： 外力 $f$ 必须满足零矩条件 $\langle f, 1 \rangle = 0$，这是源于在无穷远处流体趋于静止的物理要求。在数学上，这是为了保证线性算子 $T$ 的可逆性（避免共振或非唯一性）。作者在定义线性算子和证明不动点时，始终在满足此约束的子空间 $V$ 中进行，从而确保了解的物理合理性和数学良定性。

与之前工作的比较

这篇论文在处理旋转障碍物引起的流体流动问题上，相比于前人的工作，有显著的推进和改进，主要体现在以下几个方面：

a) 突破与假设条件的放宽

1. 从线性到非线性的跨越： 之前的许多工作（如 Abada et al. [1]，Farwig & Hishida [12]）主要关注线性化的 Oseen 系统或 Stokes 系统。虽然 Galdi [17] 和其他学者研究了非线性 Navier-Stokes 方程，但大多集中在平移运动或者特定的衰减假设下。本文明确处理了带有旋转项的完全非线性 Navier-Stokes 方程（方程 (10) 中的 $u \cdot \nabla u$ 项）。这要求在处理旋转带来的奇异性的同时，还要处理非线性项带来的相互作用，技术难度显著增加。

2. 函数空间的普适性与灵活性： Galdi [17] 的结果主要依赖于经典的 Sobolev 空间或者基于特定衰减率的加权空间，其结果往往要求外力 $f$ 具有较好的衰减性（例如 $|f| \lesssim 1/|x|^3$）。本文则系统地构建了 $W^{m,p}_k$ 空间框架，并给出了详细的嵌入定理。 相比于 Farwig & Hishida [12] 使用 Lorentz 空间，本文的加权 Sobolev 空间方法能更直接地控制解在无穷远处的逐点衰减行为（如推论 2.4 所示）。本文的框架允许 $f$ 属于对偶空间 $W^{-1,p}_k$，这在某种意义上放宽了对 $f$ 具体衰减形式的要求，只需满足范数条件即可。

b) 结果的强度与细节

1. 正则性与唯一性的明确性： 本文证明了在 $p > 3/2$ 条件下的唯一性（在小数据假设下）。许多关于无界域 Navier-Stokes 方程的工作（特别是涉及旋转奇异性时）往往只能证明弱解的存在性，或者是在非常小的空间内证明局部解。本文通过不动点方法在加权空间中直接得到了强解的存在唯一性，并且给出了高阶正则性（如果 $f$ 光滑，解也光滑）。

2. 精确的衰减率估计： 这是本文最突出的贡献之一。之前的成果（如 [17]）证明了 $|u| \lesssim 1/|x|$，但在更精细的 $L^p$ 球面平均意义下的衰减率没有详细给出。本文不仅给出了 $u$ 的衰减率 $|x|^{2-\varepsilon}$（比 $1/|x|$ 更精细），还给出了压力 $\pi$ 的衰减率 $|x|^{3-\varepsilon}$。这些精确估计对于理解旋转流体在远场的行为至关重要，特别是在地球物理流体力学中。

3. 对旋转算子 $R$ 的处理： 之前的工作可能假设旋转速度很小，或者将旋转项视为扰动。本文的处理非常彻底，算子 $R$ 直接进入了方程的核心结构。通过定义 $V^{m,p}_k$ 空间，作者证明了即便存在线性增长的系数项，只要解在无穷远处有足够的衰减（通过权重保证），解的正则性依然可以保持。这比许多仅处理零阶有界系数或缓慢增长系数的文献要深入得多。

总结来说，Boulmezaoud, Kerdid 和 Kourta 的这篇论文通过引入和系统化加权 Sobolev 空间理论，成功攻克了旋转障碍物导致的 Navier-Stokes 方程在无界域上的适定性问题，填补了非线性项与旋转奇异性共存时的分析空白，得到了比以往更精细、更广泛的解的存在性、唯一性及衰减性质。

2. 半地转-欧拉极限：生存期下界与$O(\varepsilon)$速度稳定性

The Semigeostrophic-Euler Limit: Lifespan Lower Bounds and $O(\varepsilon)$ Velocity Stability

作者: Victor Armegioiu

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

发布日期: 2026-01-08

arXiv ID: 2601.04797v1

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

详细分析

中文标题: 半地转-欧拉极限：生存期下界与$O(\varepsilon)$速度稳定性

研究对象和背景

本论文主要研究二维环面 $\mathbb{T}^2$ 上的半地转 (Semigeostrophic, SG) 系统，特别是其对偶形式（亦称地转形式）在小振幅标度下向不可压欧拉 (Incompressible Euler) 方程的收敛行为。该研究位于流体力学与最优传输理论的交叉点，利用 Monge-Ampère 方程来刻画流体速度与密度之间的非线性关系。

物理与数学背景： 半地转动力学是地球物理流体动力学中描述大尺度大气和海洋运动的经典模型。它源于在旋转框架下对三维不可压欧拉方程的近似，假设科里奥利力（Coriolis force）主导惯性项。在这个近似下，流动主要表现为二维性，并且接近地转平衡（pressure gradients nearly cancelled by the Coriolis force）。

在数学形式上，SG 系统保留了不可压流体的输运结构，但在对偶变量中，速度场不再由线性的 Biot-Savart 定律给出，而是由一个完全非线性的 Monge-Ampère 方程 决定。这使得 SG 成为测试流体动力学与最优传输理论相互作用的理想模型。

论文采用了 Loeper 提出的对偶形式。未知量是密度 $\rho(t, \cdot)$ 和凸势 $\Psi(t, \cdot)$，满足单位空间平均值。定义流函数 $\psi(t, x) := \Psi(t, x) - \frac{|x|^2}{2}$，则速度场 $u(t, x) := \nabla^\perp \psi(t, x)$（即 $u = (\nabla \Psi - x)^\perp$）。对偶 SG 系统的数学形式如下：

这里 $\rho$ 是被 $u$ 输运的密度，而 $u$ 由 $\rho$ 通过 Monge-Ampère 约束非线性确定。

小振幅极限与问题设定： 研究关注小振幅标度下的极限行为。引入小参数 $0 < \varepsilon \ll 1$，将密度和流函数写为对参考态（密度为 1）的扰动：

将此代入 Monge-Ampère 关系 $\det(I + D^2 \psi) = \rho$，利用行列式展开：

保留一阶项，得到 $\Delta \phi = \omega$，结合输运方程 $\partial_t \omega + \nabla^\perp \phi \cdot \nabla \omega = 0$，这正是二维不可压欧拉方程的涡度-流函数形式。因此，SG 系统在形式极限下退化为欧拉方程。

本论文的目标是量化这一对应关系。具体而言，论文试图回答：

1. 在保持 Monge-Ampère 项作为扰动存在的前提下，这种对应关系能维持多久（生存期问题）？
2. 在此期间，SG 速度与欧拉速度有多接近（稳定性问题）？

研究区域与函数空间：

• 区域： 扁平二维环面 $\mathbb{T}^2$，全周期边界条件。
• 函数空间： 涉及 $L^\infty$, $L^2$, $C^\alpha$ (Hölder 空间), $W^{1,\infty}$, $H^{-1}$ (Sobolev 空间)。特别使用了端点 Calderón-Zygmund 估计来控制 Hessian。

主要定理或主要结果

论文提出了两个核心结果，分别关于解的生存期下界和速度稳定性。

1. 生存期下界（Theorem 4.1）： 在小振幅标度下，考虑 SG$\varepsilon$ 系统，初始数据 $\rho_0 \in C^\infty(\mathbb{T}^2)$。定义Bootstrap 时间 $T_*(\varepsilon)$ 为满足椭圆性条件的最大时间：

则存在常数 $C$，使得对于充分小的 $\varepsilon$，有如下生存期下界：

结论解读：

• 物理时间尺度为 $\varepsilon^{-1} |\log \log \varepsilon|$。
• 相比于标准双曲型方程的寿命 $O(\varepsilon^{-1})$，该结果通过一个 log-log 增益 延长了生存期。

2. 速度稳定性（Theorem 4.2）： 设 $(\bar{\rho}, \nabla \bar{\phi})$ 是欧拉方程的解，$(\rho_\varepsilon, \nabla \psi_\varepsilon)$ 是 SG$\varepsilon$ 的解，两者初始数据相同 $\rho_0 \in C^\infty(\mathbb{T}^2)$。在 Bootstrap 窗口 $[0, T_*(\varepsilon)]$ 内的任意时刻 $t$，有如下强速度估计：

结论解读：

• 在生存期内，SG 速度与欧拉速度在 $L^2$ 意义下以 $O(\varepsilon)$ 的速率接近。
• 这是一个强稳定性估计，优于 Loeper 之前获得的 $O(1/\varepsilon)$ 存在时间和 $\varepsilon^{2/3}$ 的弱收敛率。

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

这篇论文的证明融合了不可压流体的传输结构、椭圆方程的精细控制（特别是端点估计）以及基于流的稳定性论证。

a) 核心分析学工具

1. 端点 Calderón-Zygmund 估计 (Endpoint Calderón-Zygmund Estimates): 这是处理椭圆部分的核心工具。对于 Poisson 方程 $\Delta \psi = f$，标准的 $L^p$ 理论给出 $D^2 \psi$ 的估计。然而，在 Bootstrap 机制中，我们需要在 $L^\infty$ 和 Hölder 空间 $C^\alpha$ 中控制 Hessian $D^2 \psi_\varepsilon$。论文使用了如下形式的端点估计（式 5.1）：

   $$ \|D^2 (-\Delta)^{-1} f\|_{L^\infty} \le C \|f\|_{C^\alpha} \left( 1 + \log^+ \frac{\|f\|_{L^\infty}}{\|f\|_{C^\alpha}} \right). $$

   这个估计允许作者在 $f = \rho_\varepsilon - \varepsilon \det D^2 \psi_\varepsilon$ 时，利用 $\rho_\varepsilon$ 的 Hölder 范数和 $L^\infty$ 范数之间的差异产生对数增益，从而支撑起 log-log 的生存期。

2. Wente 型不等式 (Wente-Type Estimates): 这是处理非线性项 $\varepsilon \det D^2 \psi$ 的关键。Monge-Ampère 算子是一个二阶非线性微分算子，其二次项 $\det D^2 \psi$ 如果直接视为源项，正则性很差。Wente 不等式（及其推广）提供了一种将二阶导数的行列式映射到低阶 Sobolev 空间的方法。论文使用了如下估计（式 5.2）：

   $$ \|\nabla (-\Delta)^{-1} \det D^2 \psi\|_{L^2} \le C_W \|D^2 \psi\|_{L^2}^2. $$

   这个工具将难以处理的 Hessian 非线性项降阶到了 $L^2$ 梯度的平方，从而允许在流稳定性分析中作为一个可积的误差项处理。

3. Lagrangian 流与对偶性 (Lagrangian Flows and Duality): 由于系统具有不可压结构 ($\nabla \cdot u = 0$)，解的演化可以通过 Lagrangian 流 $X(t, a)$ 来描述，满足 $\partial_t X = u(t, X)$。流是保测的 (measure-preserving)。论文利用了 Loeper 提出的 $H^{-1}$ 稳定性估计（式 5.3），该估计建立了密度差与流映射差之间的联系：

   $$ \|\rho_1 - \rho_2\|_{H^{-1}} \le C \|\rho_0\|_{L^\infty}^{1/2} \|X_1 - X_2\|_{L^2}. $$

   这使得研究者可以通过比较 Lagrangian 流来间接比较 Eulerian 速度，避免了直接比较速度场带来的导数损失。

4. Gronwall 不等式与 Riccati 型微分方程: 在估计梯度范数的增长时（如 $\|\nabla \rho_\varepsilon\|_{L^\infty}$），导出的不等式往往具有 $y' \lesssim y \cdot (\text{some bound})$ 的形式。为了获得 log-log 增长，作者利用了对数型的 Gronwall 引理，即如果 $y' \lesssim y \log y$，则 $y$ 增长极慢（双对数增长）。这是通过将椭圆估计中的对数项与时间导数结合实现的。

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

1. Bootstrap 方法与椭圆-输运耦合的解耦： 论文面临的主要困难是耦合系统：$\partial_t \rho + \nabla \cdot (\rho \nabla^\perp \psi) = 0$ 和 $\det(I + D^2 \psi) = \rho$。

   • 技巧： 建立一个 Bootstrap 假设（如 $\varepsilon \|D^2 \psi\|_{L^\infty}$ 足够小）。
   • 处理：
     • 椭圆侧： 利用 Bootstrap 假设，将 Monge-Ampère 方程视为 Poisson 方程加一个小扰动：$\Delta \psi = \rho - \varepsilon \det D^2 \psi$。由于假设了 Hessian 小，$\det D^2 \psi$ 项被控制住，不会破坏椭圆性。通过端点 Calderón-Zygmund 估计，得到 $\|D^2 \psi\|_{L^\infty}$ 的对数上界。
     • 输运侧： 利用上述 $L^\infty$ 上界，通过输运方程的 $L^\infty$ 估计（通常是 $\|\nabla \rho\|_{L^\infty}$ 的增长方程），证明在这个对数上界下，Bootstrap 条件在很长一段时间内（log-log 时间）仍保持成立。

2. 非线性项 $\det D^2 \psi$ 的正则化与误差控制： Monge-Ampère 项是非线性的主要障碍。

   • 难题： 在直接比较 SG 和欧拉解时，能量估计会损失导数（因为 $\psi$ 出现在非线性项中）。
   • 技巧：流比较法 (Flow Comparison Argument)。
     • 作者不直接比较 $\psi_\varepsilon$ 和 $\bar{\phi}$，而是比较它们生成的流 $X_\varepsilon$ 和 $\bar{X}$。
     • 建立流差分的微分不等式。流差分的导数涉及速度差，而速度差可以通过 Poisson 方程转化为密度差。
     • 密度差由两部分组成：输运导致的误差（通过流差分控制）和 Monge-Ampère 修正项导致的误差。
     • 关键在于，Monge-Ampère 修正项 $\varepsilon \nabla (-\Delta)^{-1} \det D^2 \psi$ 被 Wente 估计控制为 $O(\varepsilon)$ 量级。
   • 结果： 最终得到一个关于流差分的闭合 Gronwall 不等式，右端项为 $O(\varepsilon)$，从而解出流差分为 $O(\varepsilon)$，进而通过 Loeper 的估计推回速度差分为 $O(\varepsilon)$。

3. 正则性传播 (Regularity Propagation)： 为了确保 Bootstrap 内部的各种范数（特别是 $C^\alpha$）被良好定义并受控，论文利用了输运结构。

   • 技巧： 一旦通过椭圆估计获得了速度场的 Lipschitz 连续性（即 $\|D^2 \psi\|_{L^\infty}$ 有界），就可以利用输运方程的标准能量估计（Theorem A.2）来传播密度 $\rho$ 的 Sobolev 正则性 ($H^m$)。这保证了在 Bootstrap 窗口内，解是光滑的，从而可以自由使用各种积分和微分不等式。

与之前工作的比较

这篇论文在 Loeper (2006) 和 Cullen 等人建立的半地转系统数学理论基础上，做出了显著的定量改进。

1. 生存期与收敛速率的改进 (对比 Loeper 2006)：

• Loeper 的结果： Loeper 证明了在小振幅标度下，SG 系统收敛到欧拉系统，并给出了存在时间尺度为 $O(1/\varepsilon)$，以及弱收敛速率（在 Wasserstein 距离或 $H^{-1}$ 类型距离下）为 $\varepsilon^{2/3}$。
• 本文的改进：
  • 生存期： 本文不仅确认了 $O(1/\varepsilon)$ 的尺度，还通过精细的椭圆分析（端点 Calderón-Zygmund + 对数非线性）证明了生存期可以延伸至 $\varepsilon^{-1} |\log \log \varepsilon|$。这比标准的双曲生存期多了一个 log-log 因子。这在长时行为研究中是一个有意义的改进，表明 SG 系统比预期更持久地“模拟”欧拉系统。
  • 收敛速度与强度： Loeper 的 $\varepsilon^{2/3}$ 是弱收敛速率，且依赖于 Wasserstein 距离（对偶于 $H^{-1}$）。本文证明了 $L^2$ 意义下的强收敛，速率是 $O(\varepsilon)$。这是本质的提升，因为 $L^2$ 速度稳定性直接对应于物理速度场的接近程度，而不仅仅是概率测度的接近。

2. 技术手段的对比：

• 先前工作： Loeper 的工作侧重于利用最优传输理论（Optimal Transport），如凸分解、极分解（Polar Factorization）和 Brenier 映射来处理解的存在性和弱稳定性。这种几何方法非常适合处理 Monge-Ampère 结构，但在获得强范数（如 $L^\infty$ 速度或 $L^2$ 速度差）的显式定量界限时可能较为困难。
• 本文工作： 本文保留了对偶结构，但更多地依赖于硬分析 (Hard Analysis) 和调和分析工具。
  • 它不再仅仅依赖最优传输的拓扑性质，而是深入到 PDE 的系数估计中。
  • 特别是，它利用了 Poisson 方程在 Hölder 空间中的对数型界限。这种界限在 Loeper 的框架中不是核心关注点，但在本论文中，它是获得 log-log 增益的关键。
  • 论文明确地将 Monge-Ampère 修正项 $\varepsilon \det D^2 \psi$ 视为一个 $H^{-1}$ 中的可计算扰动，而不是作为一个整体的几何约束来处理。这种“扰动观点”使得它能够进行显式的 $O(\varepsilon)$ 误差分析。

3. 物理意义的清晰化：

• 之前的理论主要确立了 SG 和欧拉方程在定性上的相似性（Well-posedness, stability）。
• 本论文提供了一个清晰的定量桥梁。它不仅告诉我们在 $1/\varepsilon$ 尺度上解存在，而且给出了具体的误差控制：只要时间不超过 $\varepsilon^{-1} \log \log (1/\varepsilon)$，SG 速度与欧拉速度的 $L^2$ 误差就不会超过 $C\varepsilon$。这对于使用 SG 作为欧拉方程的简化模型进行数值模拟或物理预测时，提供了明确的置信区间和误差估计。

总结来说，Victor Armegioiu 的这篇论文通过引入现代调和分析工具（特别是端点 CZ 估计和 Wente 不等式）到半地转系统的分析中，在定量精度（$O(\varepsilon)$ 速率）和时间尺度（log-log 增益）上均超越了前人的结果，深化了我们对这一经典地球物理模型与理想流体模型之间联系的理解。

3. 带状区域中稳态非牛顿流体的刘维尔型定理

Liouville-type theorems for the stationary non-Newtonian fluids in a slab

作者: Jingwen Han, Han Li

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.04622v1

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

详细分析

中文标题: 带状区域中稳态非牛顿流体的刘维尔型定理

1. 研究对象和背景

本文主要研究的是带状区域（Slab domain）中稳态非牛顿流体方程组的刘维尔型定理（Liouville-type theorems）。具体来说，研究对象是描述剪切增稠（Shear thickening）流体运动的偏微分方程组。

物理背景与方程组： 在流体力学中，牛顿流体（Newtonian fluids）的应力与应变率成正比，其粘度是常数。而非牛顿流体的粘度会随应变率的变化而变化。本文关注的是剪切增稠流体，即流体的粘度随着剪切速率的增加而增加。

该问题的数学模型由以下稳态方程组描述，定义在 $\Omega = \mathbb{R}^2 \times [0, 1]$ 区域内：

其中：

• $u = (u_1, u_2, u_3)$ 是速度场。
• $P$ 是压力。
• $A(u)$ 是扩散项，定义为：
  $$ A(u) = (1 + |D(u)|^2)^{\frac{p-2}{2}} D(u), \quad 1 < p < +\infty $$
• $D(u)$ 是应变率张量（Stress tensor），定义为对称梯度：
  $$ D(u) = \frac{1}{2} (\nabla u + (\nabla u)^\top) $$

参数说明：

• 当 $p=2$ 时，方程组退化为经典的牛顿流体 Navier-Stokes 方程。
• 当 $2 < p < +\infty$ 时，描述剪切增稠流体。
• 当 $1 < p < 2$ 时，描述剪切变稀流体（Shear thinning fluids）。

本文专注于剪切增稠情形，即假设 $p \ge 2$。

研究区域与边界条件：

• 区域：$\Omega = \mathbb{R}^2 \times (0, 1)$，即无限长的柱体（带状区域）。
• 边界条件：在边界 $x_3 = 0$ 和 $x_3 = 1$ 处施加无滑移（No-slip）边界条件：
  $$ u = 0, \quad \text{at } x_3 = 0 \text{ and } x_3 = 1. $$

函数空间： 弱解 $u$ 属于 $H^1_{loc}(\Omega) \cap W^{1,p}_{loc}(\Omega)$。

2. 主要定理或主要结果

论文提出了三个主要定理，分别针对一般解、轴对称解和有界解。

定理 1.1 (D-解的刘维尔定理): 假设 $2 \le p < +\infty$，$\Omega = \mathbb{R}^2 \times (0,1)$。设 $u$ 是带无滑移边界条件的方程组的弱解，如果其狄利克雷积分（Dirichlet integral）有限，即：

则 $u \equiv 0$。

定理 1.2 (轴对称解的刘维尔定理): 假设 $2 \le p < +\infty$，$\Omega = \mathbb{R}^2 \times (0,1)$。设 $u$ 是轴对称弱解。

• (a1) 当 $2 \le p < 3$ 时，如果满足增长条件：
  $$ \lim_{R \to +\infty} R^{-\frac{3-1}{3-p}} \sup_{z \in [0,1]} |u(R, z)| = 0 $$
  则 $u \equiv 0$。
• (a2) 当 $p \ge 3$ 时，存在常数 $C(p) > 0$，如果满足衰减条件：
  $$ \lim_{R \to +\infty} e^{-C(p) R} \sup_{z \in [0,1]} |u(R, z)| = 0 $$
  则 $u \equiv 0$。

定理 1.3 (有界解的刘维尔定理): 设 $u$ 是方程组的弱解。如果 $u$ 是有界的，且 $r u_r$ 也是有界的，即：

则 $u \equiv 0$。

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

本文的证明思路主要受到 Bang, Gui, Wang, 和 Xie 关于 Navier-Stokes 方程工作的启发。核心策略是建立一种 Saint-Venant 型估计（Saint-Venant type estimate），用来刻画非平凡解的局部狄利克雷积分的增长行为。

a) 分析学工具

1. Bogovskii 算子 (Bogovskii Map):

   • 作用：用于求解散度方程 $\text{div } V = g$，其中 $g$ 的平均值为零。
   • 具体应用：在构造测试函数或处理压力项时，需要将散度为零的条件转化为具体的函数形式。Bogovskii 算子提供了一种从标量函数 $g$ 构造向量场 $V$ 的方法，且满足 $\text{div } V = g$。
   • 在本文中的形式：
     • 在圆柱形区域 $D_R$ 或环形区域 $Z_R$ 上，该算子提供了估计 $\|\nabla V\|_{L^p} \le C \|g\|_{L^p}$ 或带有尺度因子的估计 $\|\nabla V\|_{L^p(Z_R)} \le CR \|g\|_{L^p(Z_R)}$。这对于利用对偶方法或估计压力项至关重要。

2. Korn 不等式 (Korn’s Inequality):

   • 作用：连接速度梯度的范数 $\|\nabla u\|$ 和应变率张量的范数 $\|D(u)\|$。
   • 重要性：对于流体方程，通常只有 $D(u)$ 出现在能量积分中。为了控制 $\nabla u$（例如在 Sobolev 嵌入或 Poincaré 不等式中），需要 Korn 不等式。
   • 本文的改进：文中特别处理了圆柱形区域 $O_R = (B_R \setminus B_{R-1}) \times (0,1)$ 上的 Korn 不等式。由于区域的几何形状和边界条件（无滑移 $u=0$），需要仔细验证常数 $C$ 是否与半径 $R$ 无关。这确保了后续能量估计中尺度的一致性。

3. Gagliardo-Nirenberg 插值不等式:

   • 用于在不同 $L^p$ 范数之间进行插值，通常用来处理非线性项 $(u \cdot \nabla) u$ 的高阶导数项与低阶导数项之间的平衡。

b) 技术性难题与主要技巧

1. Saint-Venant 型估计的建立: 这是证明的基石。作者需要在区域 $\Omega$ 的子集（如 $O_R$ 或 $Q_R$）上估计能量积分 $E(R)$。 证明的关键在于处理非线性对流项 $(u \cdot \nabla) u$ 和扩散项 $-\text{div} A(u)$。

2. 对流项的处理与“友好的”不等式 (Friendly Lemma): 为了得到能量不等式，通常需要乘以测试函数进行积分。对于对流项 $\int (u \cdot \nabla) u \cdot \phi$，如果选取 $\phi$ 为截断函数，由于 $\nabla \cdot u = 0$，项 $\int (u \cdot \nabla) u \cdot \phi$ 可以转化为 $\int u \cdot \nabla \phi \cdot u$（或者利用 $\text{div}$ 形式）。 然而，为了控制能量的增长，论文可能引用或利用了类似 [1] 中的技巧，将该非线性项转化为包含散度的形式，然后利用 Bogovskii 算子构造特殊的测试函数。这种技巧允许研究者将对流项的积分转化为压力项或边界项的估计，从而利用方程的结构。

3. 微分不等式与增长分类 (Differential Inequalities): 在得到了 $E(R)$ 的上界估计后（通常形式为 $E(R) \le C_1 E'(R) + C_2 [E'(R)]^{\frac{p}{3}}$ 或其他变体），论文利用 Lemma 2.5 中的一系列微分引理来推导 $E(R)$ 的增长下界。

   • 如果证明了 $E(R)$ 必须以某种速率增长（例如多项式或指数），而假设条件（如定理 1.2 中的 $L^\infty$ 增长或定理 1.3 中的有界性）限制了解的增长速度，两者矛盾，从而只能 $u \equiv 0$。
   • 这种方法本质上是通过能量的增长率来排除非平凡解的存在。

4. 轴对称情形的简化: 在轴对称假设下，流体分量不依赖于 $\theta$，这大大简化了导数项的形式。例如，$\nabla u$ 和 $D(u)$ 的模长可以通过显式公式表达（见 Lemma 2.3 的证明部分）。这种简化使得 Korn 不等式常数的估计成为可能，并使得对流项的估计更加具体。

4. 与之前工作的比较

a) 突破与改进

1. 区域的推广 (Slab Domain):

   • 以往工作：大多数关于非牛顿流体的刘维尔定理集中在全空间 $\mathbb{R}^n$ 或二维情形。
   • 本文工作：首次在带状区域 $\mathbb{R}^2 \times (0,1)$ 中建立了非牛顿流体的刘维尔定理。带状区域具有非紧边界（侧面是无界的），这给边界条件的处理和全局估计带来了困难。全空间的结果通常利用径向对称性直接积分，而带状区域需要处理 $z$ 方向的边界（$z=0,1$ 处的无滑移条件）和侧面 $r \to \infty$ 的渐近行为。

2. 物理模型的推广 (Non-Newtonian vs. Newtonian):

   • 以往工作：Bang, Gui, Wang, Xie [1] 针对 Navier-Stokes 方程 ($p=2$) 在带状区域取得了结果。
   • 本文工作：将结果推广到 $p \ge 2$ 的非线性扩散情形。非线性项 $A(u) = (1+|D(u)|^2)^{\frac{p-2}{2}} D(u)$ 在 $p \neq 2$ 时是非线性的，这使得能量估计和 Korn 不等式的应用更加复杂。必须证明 Korn 常数不依赖于 $R$，这对于大范围的渐近分析是必须的。

3. 条件的细致刻画 (Growth Conditions):

   • 定理 1.2 针对轴对称解给出了精确的增长率阈值。对于 $2 \le p < 3$，允许解以 $O(R^{\frac{3-1}{3-p}})$ 增长；对于 $p \ge 3$，允许解以 $O(e^{C R})$ 增长。这比简单的有界性假设更具一般性，反映了流体能量增长与解的非平凡性之间的深层联系。

b) 与现有结果的详细对比

• 对 Navier-Stokes 方程 (p=2) 的包含: 本文的定理 1.1 和定理 1.2 在 $p=2$ 时，分别恢复了 Carrillo 等人 [5] 和 Bang 等人 [1] 关于 Navier-Stokes 方程的结果。因此，本文是这些结果在非牛顿流体框架下的自然推广。

• 对非牛顿流体全空间结果的补充: 虽然 [3] 和 [16] 等文献研究了非牛顿流体在全空间的刘维尔定理，但带状区域的几何结构不同。例如，全空间中的径向对称解 $u(r,z)$ 在 $r \to \infty$ 时有特定的衰减。而在带状区域，必须同时处理 $z$ 方向的无滑移边界条件。本文证明了即使在这种混合几何下，只要增长条件受限，解必须为零。

• 证明方法的对比: 传统的刘维尔定理证明可能依赖于全空间的加权能量估计或谱分析。本文采用的 Saint-Venant 方法 是一种通过局部能量增长率来控制整体解的强有力工具。这种方法最初用于弹性力学，最近才被引入流体力学。本文不仅应用了该方法，还解决了在圆柱形子区域上应用 Korn 不等式的技术障碍，这是相对于处理全空间问题的一个显著技术进步。

综上所述，该论文在非牛顿流体的分类理论中填补了带状区域的空白，并推广了针对牛顿流体的已知结果，特别是在处理非线性扩散项和特定几何区域的几何常数估计方面做出了实质性的贡献。

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

1. 双曲正则化效应对退化椭圆型方程的作用

Hyperbolic regularization effects for degenerate elliptic equations

作者: Xavier Lamy, Riccardo Tione

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.04753v1

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

摘要翻译

中文标题: 双曲正则化效应对退化椭圆型方程的作用

摘要翻译: 本文研究了一般二维方程 $\text{div}(G(Du))=0$ 的 Lipschitz 解 $u$ 的正则性，该方程具有高度退化的椭圆性。仅假设场 $G$ 的严格单调性，并大量依赖微分包含的观点，我们建立了一个逐点梯度局部化定理，并证明了 $u$ 的不可微点的奇异集是 $\mathcal{H}^1$ 可忽略的。因此，我们在 $G$ 仅在曲线上退化的假设下，推导出了新的精确的部分 $C^1$ 正则性结果。这是通过利用方程沿这些曲线的双曲结构来实现的，在这些曲线上，正则性的损失通过利用 Hamilton-Jacobi 方程和标量守恒律理论中的工具进行了补偿。我们的分析恢复并扩展了所有先前已知的结果，那些结果要求退化集为零维。

2. 带Robin边界条件的Kato平方根估计

The Kato square root estimate with Robin boundary conditions

作者: Sebastian Bechtel, Andreas Rosén

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

发布日期: 2026-01-08

arXiv ID: 2601.04678v1

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

摘要翻译

好的，请看以下翻译：

中文标题: 带Robin边界条件的Kato平方根估计

摘要翻译: 我们证明了在有界、局部一致区域 $D \subseteq \mathbb{R}^n$ 上，对于满足增生性条件的系数 $A \in L^\infty(D; \mathbb{C}^n)$，具有Robin边界条件 $ν\cdot A\nabla u + bu = 0$ 的（可能无界的）边界电导率 $b$，二阶散度形式椭圆算子 $-div(A\nabla)$ 的Kato平方根估计成立。与此前几乎所有关于Kato平方根算子的估计不同，对于Robin边界条件，似乎无法采用一阶方法进行处理。

3. 基于Lamé-Navier解的一阶Lipschitz函数的Hardy分解

Hardy decomposition of first order Lipschitz functions by Lamé-Navier solutions

作者: Daniel Alfonso Santiesteban, Ricardo Abreu Blaya, Daniel Alpay

类别: math.AP, math-ph

发布日期: 2026-01-08

arXiv ID: 2601.04528v1

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

摘要翻译

好的，作为一名专业的学术翻译专家，我将为您翻译这篇关于Lamé-Navier系统和Hardy分解的数学论文摘要。

中文标题: 基于Lamé-Navier解的一阶Lipschitz函数的Hardy分解

摘要翻译: 借助Clifford代数语言，我们可以用欧几里得Dirac算子来重写Lamé-Navier系统。本文主要研究的问题是：定义在Jordan域 $Ω\subset\mathbb{R}^m$ 边界 $Γ$ 上的一个高阶Lipschitz函数，是否可以分解为某个Lamé-Navier系统解的两个边界值之和，且该解在跨越 $Γ$ 时存在跳跃。我们的主要工具是与Clifford分析中出现的奇异积分算子相关的Hardy投影，该算子最终被证明是作用在一阶Lipschitz类上的一个对合算子。

不相关论文（基本信息）

1. 一种半线性抛物型偏微分方程的简单严格积分器

A simple rigorous integrator for semilinear parabolic PDEs

作者: Jan Bouwe van den Berg, Maxime Breden

类别: math.NA, math.AP, math.DS

发布日期: 2026-01-08

arXiv ID: 2601.05146v1

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

摘要: Simulations of the dynamics generated by partial differential equations (PDEs) provide approximate, numerical solutions to initial value problems. Such simulations are ubiquitous in scientific computing, but the correctness of the results is usually not guaranteed. We propose a new method for the rigorous integration of parabolic PDEs, i.e., the derivation of rigorous and explicit error bounds between the numerically obtained approximate solution and the exact one, which is then proven to exist over the entire time interval considered. These guaranteed error bounds are obtained a posteriori, using a fixed point reformulation based on a piece-wise in time constant approximation of the linearization around the numerical solution. Our setup leads to relatively simple-to-understand estimates, which has several advantages. Most critically, it allows us to optimize various aspects of the proof, and in particular to provide an adaptive time-stepping strategy. In case the solution converges to a stable hyperbolic equilibrium, we are also able to prove this convergence, applying our rigorous integrator with a final, infinitely long timestep. We showcase the ability of our method to rigorously integrate over relatively long time intervals, and to capture non-trivial dynamics, via examples on the Swift–Hohenberg equation, the Ohta–Kawasaki equation and the Kuramoto–Sivashinsky equation. We expect that the simplicity and efficiency of the approach will enable generalization to a wide variety of other parabolic PDEs, as well as applications to boundary value problems.

2. 正则化最优传输的稀疏性与一致正则性

Sparsity and uniform regularity for regularised optimal transport

作者: Rishabh S. Gvalani, Lukas Koch

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.05130v1

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

摘要: We consider regularised quadratic optimal transport with subquadratic polynomial or entropic regularisation. In both cases, we prove interior Lipschitz-estimates on a transport-like map and interior gradient Lipschitz-estimates on the potentials, under the assumption that the transport map solving the unregularised problem is bi-$C^{1,α}$-regular. For strictly subquadratic and entropic regularisation, the estimates improve to interior $C^1$ and $C^2$ estimates for the transport-like map and the potentials, respectively. Our estimates are uniform in the regularisation parameter. As a consequence of this, we obtain convergence of the transport-like map (resp. the potentials) to the unregularised transport map (resp. Kantorovich potentials) in $C^{0,1-}_{\mathrm{loc}}$ (resp. $C^{1,1-}_{\mathrm{loc}}$). Central to our approach are sharp local bounds on the size of the support for regularised optimal transport which we derive for a general convex, superlinear regularisation term. These bounds are of independent interest and imply global bias bounds for the regularised transport plans. Our global bounds, while not necessarily sharp, improve on the best known results in the literature for quadratic regularisation.

3. 具有粗糙数据和系数的非线性抛物型偏微分方程：临界空间中弱解的存在性、唯一性与正则性

Non-linear parabolic PDEs with rough data and coefficients: existence, uniqueness and regularity of weak solutions in critical spaces

作者: Pascal Auscher, Sebastian Bechtel

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

发布日期: 2026-01-08

arXiv ID: 2601.05080v1

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

摘要: This article investigates the well-posedness of weak solutions to non-linear parabolic PDEs driven by rough coefficients with rough initial data in critical homogeneous Besov spaces. Well-posedness is understood in the sense of existence and uniqueness of maximal weak solutions in suitable weighted $Z$-spaces in the absence of smallness conditions. We showcase our theory with an application to rough reaction–diffusion equations. Subsequent articles will treat further classes of equations, including equations of Burgers-type and quasi-linear problems, using the same approach. Our toolkit includes a novel theory of hypercontractive singular integral operators (SIOs) on weighted $Z$-spaces and a self-improving property for super-linear reverse Hölder inequalities.

4. 保护区域与定向种群通量对捕食者-猎物动力学的影响研究

On the effects of protection zone and directed population flux in prey-predator dynamics

作者: Kousuke Kuto, Kazuhiro Oeda

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.05054v1

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

摘要: We study a spatial predator-prey model in which prey can enter a protection zone (refuge) inaccessible to predators, while predators exhibit directed movement toward prey-rich regions. The directed movement is modeled by a far-sighted population flux motivated by classical movement rules, in contrast to the more commonly analyzed near-sighted chemotaxis-type mechanisms. We first establish local-in-time well-posedness for the corresponding nonstationary problem under Neumann boundary conditions, despite the discontinuity induced by the refuge interface. We then investigate the stationary problem, focusing on how the coexistence states emerge and organize globally in parameter space. In particular, we identify the bifurcation threshold for positive steady states from semitrivial predator-only equilibria, and describe the global continuation of the resulting branches. Our analysis reveals that strong directed movement can induce turning-point structures and multiplicity of coexistence steady states, highlighting a nontrivial interplay between spatial protection and predator movement behavior.

5. 具有两种化学物质的拟线性两种群趋化系统中的有限时间爆破

Finite-time blow-up in a quasilinear two-species chemotaxis system with two chemicals

作者: Mingzhang Cai, Yuxiang Li, Ziyue Zeng

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.05023v1

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

摘要: This paper investigates the finite-time blow-up phenomena to a quasilinear two-species chemotaxis system with two chemicals \begin{align}\tag{$\star$} \begin{cases} u_t = \nabla \cdot \left(D_1(u) \nabla u\right) - \nabla \cdot \left(u \nabla v\right), & x \in Ω, \ t > 0, 0 = Δv - μ_2 + w, \quad μ_2=\fint_Ωw, & x \in Ω, \ t > 0, w_t = \nabla \cdot \left(D_2(w) \nabla w\right) - \nabla \cdot \left(w \nabla z\right), & x \in Ω, \ t > 0, 0 = Δz - μ_1 + u, \quad μ_1=\fint_Ωu, & x \in Ω, \ t > 0, \frac{\partial u}{\partial ν} = \frac{\partial v}{\partial ν} = \frac{\partial w}{\partial ν} = \frac{\partial z}{\partial ν} = 0, & x \in \partial Ω, \ t > 0, u(x, 0) = u_0(x), \quad w(x, 0) = w_0(x), & x \in Ω, \end{cases} \end{align} where $Ω\subset \mathbb{R}^n$ $(n \geqslant 3)$ is a smoothly bounded domain. The nonlinear diffusion functions $ D_1(s) $ and $ D_2(s) $ are of the following forms: \begin{align*} D_1(s)\simeq s^{m_1-1} \quad \text{and}\quad D_2(s) \simeq s^{m_2-1}, \quad m_1,m_2> 1 \end{align*} for $s\geqslant 1$. For the classical two-species chemotaxis system with two chemicals (i.e. the second and fourth equations are replaced by $0 = Δv - v + w$ and $0 = Δz - z + u$ ), Zhong [J. Math. Anal. Appl., 500 (2021), Paper No. 125130, pp. 22.] showed that the system possesses a globally bounded classical solution in the case that

Complementing the boundedness result, we prove that the system ($\star$) admits solutions that blow up in finite time, if

with $n\geqslant 3$.

6. 具有锥形渐近行为的 Allen–Cahn 解的节点集比较

Nodal set comparison for Allen–Cahn solutions with conical asymptotics

作者: Sanghoon Lee, Taehun Lee

类别: math.AP, math.DG

发布日期: 2026-01-08

arXiv ID: 2601.05015v1

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

摘要: We establish a comparison principle for entire solutions of the Allen–Cahn equation whose nodal sets, possibly singular, are asymptotic to a regular minimizing hypercone. We show that inclusion of the positive phases enforces a global ordering of the solutions. As a consequence, the positive phase uniquely determines the solution, and strict phase inclusion implies that the corresponding nodal sets are disjoint. Our analysis relies on a maximum principle for the linearized operator on unbounded domains that are not necessarily smooth, and yields an Allen–Cahn analogue of the strong maximum principle for minimal hypersurfaces.

7. 含流率限制的双物种双化学趋化系统中的临界爆破曲线

Critical blow-up curve in a two-species chemotaxis system with two chemicals involving flux-limitation

作者: Ziyue Zeng, Yuxiang Li

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.05008v1

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

摘要: We investigate the following two-species chemotaxis system with two chemicals involving flux-limitation \begin{align}\tag{$\star$} \begin{cases} u_t = Δu - \nabla \cdot \left(u(1+|\nabla v|^2)^{-\frac{p}{2}}\nabla v\right), & x \in Ω, \ t > 0, \ 0 = Δv - μ_w + w, \quad μ_{w}=f_Ω w, & x \in Ω, \ t > 0, \ w_t = Δw - \nabla \cdot \left(w (1+|\nabla z|^2)^{-\frac{q}{2}} \nabla z\right), & x \in Ω, \ t > 0, \ 0 = Δz - μ_u + u, \quad μ_{u}=f_Ω u, & x \in Ω, \ t > 0, \ \frac{\partial u}{\partial ν} = \frac{\partial v}{\partial ν} = \frac{\partial w}{\partial ν} = \frac{\partial z}{\partial ν} = 0, & x \in \partial Ω, \ t > 0, \ u(x, 0) = u_0(x), \quad w(x, 0) = w_0(x), & x \in Ω, \end{cases} \end{align} where $p,q \in \mathbb{R}$ and $Ω\subset \mathbb{R}^n$ is a smooth bounded domain. In this paper, we identify a critical blow-up curve ( i.e $p=\frac{n-2}{n-1}$ and $q=\frac{n-2}{n-1}$ in the square $(0,\frac{n-2}{n-1}] \times (0,\frac{n-2}{n-1}]$) for system ($\star$) with $n\geq 3$ and $p,q>0$. Specifically, \begin{itemize} \item when $Ω=B_R(0) \subset \mathbb{R}^n$ with $n\geq 3$, if $0<p<\frac{n-2}{n-1}$ and $0<q<\frac{n-2}{n-1}$, there exist radially symmetric initial data such that the corresponding solution blows up in finite time; \item for any general smooth bounded domain, if either $n=1$ ( with $p,q \in \mathbb{R}$ arbitrary) or $n\geq 2$ with $p>\frac{n-2}{n-1}$ or $q>\frac{n-2}{n-1}$, then solutions exist globally and remain bounded. \end{itemize}

8. 具有两种化学物质的两物种拟线性趋化系统的临界爆破线

Critical blow-up lines in a two-species quasilinear chemotaxis system with two chemicals

作者: Ziyue Zeng, Yuxiang Li

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.04994v1

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

摘要: In this study, we explore the quasilinear two-species chemotaxis system with two chemicals \begin{align}\tag{$\star$} \begin{cases} u_t = \nabla \cdot(D(u)\nabla u) - \nabla \cdot \left(S(u) \nabla v\right), & x \in Ω, \ t > 0, \ 0 = Δv - μ_w + w, \quad μ_w=\fint_Ωw, & x \in Ω, \ t > 0, \ w_t = Δw - \nabla \cdot \left(w \nabla z\right), & x \in Ω, \ t > 0, \ 0 = Δz - μ_u + u, \quad μ_u=\fint_Ωu, & x \in Ω, \ t > 0, \ \frac{\partial u}{\partial ν} = \frac{\partial v}{\partial ν} = \frac{\partial w}{\partial ν} = \frac{\partial z}{\partial ν} = 0, & x \in \partial Ω, \ t > 0, \ u(x, 0) = u_0(x), \quad w(x, 0) = w_0(x), & x \in Ω, \end{cases} \end{align} where $Ω\subset \mathbb{R}^n$ ($n \geq3$) is a smooth bounded domain. The functions $D(s)$ and $S(s)$ exhibit asymptotic behavior of the form \begin{align*} D(s) \simeq k_D s^p \ \text {and} \ S(s) \simeq k_S s^q, \quad s \gg 1 \end{align*} with $p,q \in \mathbb{R}$. We prove that \begin{itemize} \item when $Ω$ is a ball, if $q-p>2-\frac{n}{2}$ and $q>1-\frac{n}{2}$, there exist radially symmetric initial data $u_0$ and $w_0$, such that the corresponding solutions blow up in finite time; \item for any general smooth bounded domain $Ω\subset \mathbb{R}^n$, if $q-p<2-\frac{n}{2}$, all solutions are globally bounded; \item for any general smooth bounded domain $Ω\subset \mathbb{R}^n$, if $q<1-\frac{n}{2}$, all solutions are global. \end{itemize} We point out that our results implies that the system ($\star$) possess two critical lines $ q-p=2-\frac{n}{2}$ and $q=1-\frac{n}{2}$ to classify three dynamics among global boundedness, finite-time blow-up, and global existence of solutions to system ($\star$).

9. 三角形Shigesada-Kawasaki-Teramoto系统在快反应逼近下的改进收敛率

Improved convergence rates in the fast-reaction approximation of the triangular Shigesada-Kawasaki-Teramoto system

作者: Hector Bouton

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.04894v1

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

摘要: We consider the fast-reaction approximation to the triangular Shigesada-Kawasaki-Teramoto model on a bounded domain in the physical dimension $d\le 3$. We provide explicit convergence rates on the whole domain in $\textnormal{L}^\infty\textnormal{L}^2\cap\textnormal{L}^2\textnormal{H}^1$ and in the interior we prove convergence with an explicit rate in any $\textnormal{L}^\infty\textnormal{H}^l$ for all $l > 0$.

10. 具有Logistic源的二维双退化营养趋向性系统的有界性

Boundedness in a two-dimensional doubly degenerate nutrient taxis system with logistic source

作者: Zhiguang Zhang, Yuxiang Li

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.04845v1

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

摘要: We are concerned with the following doubly degenerate nutrient taxis system \begin{align} \begin{cases}\tag{$\star$}\label{eq-0.1} u_t=\nabla\cdot(u v\nabla u)-\nabla\cdot(u^{2} v\nabla v)+u-u^2,\[1mm] v_t=Δv-u v, \end{cases} \end{align} posed in a bounded smooth domain $Ω\subset\mathbb{R}^2$ under homogeneous Neumann boundary conditions. This model was introduced to describe the aggregation patterns of colonies of \emph{Bacillus subtilis} observed on thin agar plates. Previous results have established global boundedness in one space dimension and, in two dimensions, under additional assumptions such as small initial data or convex domains (see, e.g., M. Winkler, \textit{Trans. Amer. Math. Soc.}, 2021; M. Winkler, \textit{J. Differ. Equ.}, 2024). In the presence of the quadratic degradation term in the logistic growth, which markedly enhances the dissipative structure of the system, and by employing a weighted energy method, we prove that for arbitrary smooth initial data the problem \eqref{eq-0.1} admits a global weak solution that remains uniformly bounded in time.

11. 双曲曲面上磁拉普拉斯算子的半经典分析

Semiclassical analysis of the magnetic Laplacian on hyperbolic surfaces

作者: Thibault Lefeuvre

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

发布日期: 2026-01-08

arXiv ID: 2601.04804v1

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

摘要: The magnetic Laplacian on hyperbolic surfaces provides a rich analytic framework in which a variety of quantum phenomena emerge. The present note, written for the \emph{Proceedings of the Journées EDP 2025}, is a concise overview of the main results obtained in [arXiv:2505.08584] and work in preparation by the author with L. Charles and A. Chabert.

12. 低温下退化KFP方程的次协调性与亚稳态性

Hypocoercivity and metastability of degenerate KFP equations at low temperature

作者: Loïs Delande

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

发布日期: 2026-01-08

arXiv ID: 2601.04784v1

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

摘要: We consider Kramers-Fokker-Planck operators with general degenerate coefficients. We prove semiclassical hypocoercivity estimates for a large class of such operators. Then, we manage to prove Eyring-Kramers formulas for the bottom of the spectrum of some particular degenerate operators in the semiclassical regime, and quantify the spectral gap separating these eigenvalues from the rest of the spectrum. The main ingredient is the construction of sharp Gaussian quasimodes through an adaptation of the WKB method.

13. 论广义两相Stefan问题的抛物型偏微分方程组的自由边界性态

On behavior of free boundaries to generalized two-phase Stefan problems for parabolic partial differential equation systems

作者: Toyohiko Aiki, Hana Kakiuchi

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.04617v1

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

摘要: Recently, we have proposed a new free boundary problem representing the bread baking process in a hot oven. Unknown functions in this problem are the position of the evaporation front, the temperature field and the water content. For solving this problem we observed two difficulties that the growth rate of the free boundary depends on the water content and the boundary condition for the water content contains the temperature. In this paper, by improving the regularity of solutions, we overcome these difficulties and establish existence of a solution locally in time and its uniqueness. Moreover, under some sign conditions for initial data, we derive a result on the maximal interval of existence to solutions.

14. 退化 Fokker-Planck 方程的一致次椭圆估计

Uniform subelliptic estimates for degenerating Fokker-Planck equations

作者: Hart F. Smith

类别: math.AP

发布日期: 2026-01-08

arXiv ID: 2601.04489v1

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

摘要: We expand upon recent work of Hernandez-Ranard-Riedel, Galkowski-Zworski, and Li, by proving long time bounds for solutions to certain Fokker-Planck equations with subelliptic diffusion term. We consider the case where the jump operators in the Lindbladian are linear functions of $x$, and place an assumption which implies that the Hörmander condition holds for the resulting Fokker-Planck equation. By constructing a suitable parametrix for this equation we show that semiclassical derivative estimates established in the above works for elliptic diffusion also hold for subelliptic diffusion, with global bounds in $L^p$ for all $1\le p\le \infty$.

15. 带狄利克雷边界条件的浸入平面曲率流的四阶正则化

A fourth-order regularization of the curvature flow of immersed plane curves with Dirichlet boundary conditions

作者: Giovanni Bellettini, Virginia Lorenzini, Matteo Novaga, Riccardo Scala

类别: math.AP

发布日期: 2026-01-07

arXiv ID: 2601.04385v1

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

摘要: We consider a fourth-order regularization of the curvature flow for an immersed plane curve with fixed boundary, using an elastica-type functional depending on a small positive parameter $\varepsilon$. We show that the approximating flow smoothly converges, as $\varepsilon \to 0^+$, to the curvature flow of the curve with Dirichlet boundary conditions for all times before the first singularity of the limit flow.

16. 一类奇异退化抛物方程的 $W^{2,\varepsilon}$-估计

On $W^{2,\varepsilon}$-estimates for a class of singular-degenerate parabolic equations

作者: Junyuan Fang, Tuoc Phan

类别: math.AP

发布日期: 2026-01-07

arXiv ID: 2601.04324v1

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

摘要: We study a class of parabolic equations in non-divergence form with measurable coefficients that are singular, degenerate, or both singular and degenerate through a weight belonging to the $A_{1+\frac{1}{n}}$ -Muckenhoupt class of weights. Under some smallness assumption on a weighted mean oscillation of the weight, F.-H. Lin type weighted $W^{2,\varepsilon}$-estimates are proved. To prove the result, we establish a result on local quantitative lower estimates of solutions to the class of equations, which are known as the mean sojourn times of sample paths within sets. This type of estimate was proved by L. C. Evans for the class of linear elliptic equations in non-divergence form with uniformly elliptic and bounded measurable coefficients. A class of weighted parabolic cylinders intrinsically suitable for the class of equations is introduced. The parabolic ABP estimates, and a perturbation method are used to overcome the singularity and degeneracy of the coefficients. Careful analysis on regularization and truncation of the weights is performed. The paper provides foundational ingredients and estimates for the study of fully nonlinear parabolic equations with singular-degenerate coefficients.

17. Navier方程解的迹正则性

Trace regularity of solutions to the Navier equations

作者: Jerin Tasnim Farin, Giusy Mazzone

类别: math.AP

发布日期: 2026-01-07

arXiv ID: 2601.04173v1

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

摘要: We present results on the trace regularity of the stress vector on the boundary of an elastic solid satisfying the time-dependent, displacement-traction problem for the Navier equations of linear elasticity in a bounded domain of $\mathbb{R}^3$. Specifically, the solid’s displacement is subject to Dirichlet- and Neumann-type conditions on different portions of its boundary and possibly non-zero body forces and initial data. Our regularity results are reminiscent of the so-called “hidden trace regularity” results for solutions to the scalar wave equation obtained in [12].