生成时间: 2025年12月08日 03:50:36

重点关注论文数量: 2

了解领域论文数量: 1

不相关论文数量: 12

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

关于纳维-斯托克斯方程弱解相关结构定理的一个新证明

作者: Paolo Maremonti, Filippo Palma

类别: math.AP, math-ph

发布日期: 2025-12-05

arXiv ID: 2512.05598v1

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

详细分析

中文标题: 关于纳维-斯托克斯方程弱解相关结构定理的一个新证明

研究对象和背景

本文研究的是三维空间中不可压缩粘性流体运动的数学模型——纳维-斯托克斯方程（Navier-Stokes equations）的初边值问题（Initial Boundary Value Problem, IBVP）。具体考虑如下形式的非定常纳维-斯托克斯系统：

$$ v_t + v \cdot \nabla v + \nabla \pi = \Delta v, \quad \nabla \cdot v = 0, \quad \text{在 } (0,T) \times \Omega, $$
$$ v = 0 \quad \text{在 } (0,T) \times \partial\Omega, \quad v(0,\cdot) = v_0 \quad \text{在 } \{0\} \times \Omega, $$

其中 $ \Omega \subseteq \mathbb{R}^3 $ 是一个光滑边界的区域，可以是有界域、外域（exterior domain）、半空间或全空间。未知函数 $ v(t,x) $ 表示流体的速度场，$ \pi(t,x) $ 是压力项，$ v_0 $ 是给定的初始速度，满足 $ \nabla \cdot v_0 = 0 $ 在弱意义下。

该系统的数学挑战在于其强非线性（来自对流项 $ v \cdot \nabla v $）与缺乏全局光滑解的存在性证明。1934年，J. Leray 首次证明了此类问题存在所谓的“Leray 弱解”，即全局定义在 $ t > 0 $ 上的弱解，即使初始数据 $ v_0 \in L^2(\Omega) $ 没有任何小性假设。这类解满足能量不等式，并且在 $ L^\infty(0,T;L^2(\Omega)) \cap L^2(0,T;H^1(\Omega)) $ 意义下具有有限能量。

然而，Leray 的原始工作留下了一个根本性问题：这种弱解是否处处正则？答案至今未决（对应千禧年大奖难题之一）。但人们退而求其次，研究其部分正则性（partial regularity），即是否存在一个“好”的时间集合，在其上解是光滑的。

本文关注的核心概念是著名的 Théorème de Structure（结构定理），最初由 Leray 提出并用于 Cauchy 问题（全空间情形）。该定理断言：对于 Leray 弱解 $ v $，存在一个时间点 $ \theta \leq c \|v_0\|_2^4 $，使得在区间 $ (\theta, \infty) $ 上，解是正则的（regular），并且在 $ (0,\theta) $ 中除去一个零测集之外，也可以覆盖一系列开区间 $ \{(\theta_\ell, T_\ell)\}_{\ell \in A} $，在这些区间上解也是正则的。换句话说，解的时间奇异性仅可能出现在一个零测集内。

传统上，这个结构定理的证明依赖于三个关键要素：

  1. 强形式的能量不等式：
    $$ \|v(t)\|_2^2 + 2 \int_s^t \|\nabla v(\tau)\|_2^2 d\tau \leq \|v(s)\|_2^2, \quad \text{a.e. } s \in [0,t), \text{ including } s=0. $$
  2. 局部适定性：若某时刻 $ s $ 的状态 $ v(s) \in J^{1,2}(\Omega) $（即 $ H^1 $ 中的无散场），则存在局部正则解。
  3. 唯一性：弱解与同初值的正则解在共同存在区间上一致。

此外，后续研究如 [14] 曾尝试将结构分解为两个线性 Stokes 问题之和来分析正则性。

本文的目标正是提供一个关于此结构定理的全新证明方法，其最大特点是：不直接操作弱解本身，而是通过对逼近序列 $\{v_m\}$ 的先验估计进行分析。这种方法允许作者处理更广泛的弱解类别，例如 Hopf 在有界域中构造的 Galerkin 逼近所得的弱解，这些解通常只满足较弱的能量控制，而不一定具备强形式的能量不等式。

文中使用的函数空间包括：

  • $ C_{0,\sigma}^\infty(\Omega) $：紧支撑、光滑、无散向量场的空间；
  • $ J^2(\Omega) $ 和 $ J^{1,2}(\Omega) $：分别是 $ C_{0,\sigma}^\infty(\Omega) $ 在 $ L^2(\Omega) $ 和 $ W^{1,2}(\Omega) $ 中的完备化，即 Sobolev 空间中的无散子空间；
  • Bochner 空间如 $ L^q(0,T;X) $，用于描述时间依赖函数的可积性。

特别值得注意的是，当 $ \Omega $ 为无界区域时，作者引入了一个关键的一致绝对连续性条件（见假设 (7)）：

$$ \lim_{R \to \infty} \int_0^t \|v_m(\tau)\|_{L^2(|x|>R)}^2 d\tau = 0, \quad \text{uniformly in } m, $$

这一条件确保了逼近序列在外区域的能量趋于零，避免了质量逃逸现象，是获得强收敛的重要前提。

综上所述，本文的研究对象是一个经典但极为深刻的 PDE 问题——纳维-斯托克斯方程的弱解正则性；其背景建立在 Leray 开创性工作的基础上，聚焦于“结构定理”这一部分正则性结果，并试图通过全新的逼近序列分析策略，拓展该定理的适用范围至更一般的弱解构造方式。

主要定理或主要结果

本文的主要结果是以下定理，它给出了弱解满足 Théorème de Structure 性质的新证明路径：

定理 1. 设 $ \{v_m\} \subset C_{0,\sigma}^\infty(\Omega) $ 且 $ \|v_m - v_0\|_2 \to 0 $。设序列 $ \{v_m\} $ 满足：

$$ v_m \in C(0,T;J^{1,2}(\Omega)) \cap L^2(0,T;W^{2,2}(\Omega)), \quad v_{m,t} \in L^2(0,T;J^2(\Omega)), \quad \forall T > 0. \tag{5} $$

假设对所有 $ m \in \mathbb{N} $，$ v_m $ 满足能量关系：

$$ \|v_m(t)\|_2^2 + 2 \int_0^t \|\nabla v_m(\tau)\|_2^2 d\tau \leq \|v_{m,0}\|_2^2, \quad \forall t > 0. \tag{6} $$

若 $ \Omega $ 无界，进一步假设以下极限性质在 $ m $ 上一致成立：

$$ \lim_{R \to \infty} \int_0^t \|v_m(\tau)\|_{L^2(|x|>R)}^2 d\tau = 0, \quad \forall t > 0. \tag{7} $$

假设存在常数 $ \alpha \geq \frac{1}{2} $，使得对任意 $ T > 0 $，

$$ \int_0^T \|D^2 v_m(t)\|_2^\alpha dt \leq A(T, \|v_0\|_2) < \infty, \quad \forall m \in \mathbb{N}. \tag{8} $$

假设对所有 $ m \in \mathbb{N} $，Dirichlet 范数满足如下微分不等式：

$$ \frac{d}{dt} \|\nabla v_m(t)\|_2^2 + \|P \Delta v_m(t)\|_2^2 + \|v_{m,t}(t)\|_2^2 \leq \|v_m(t)\|_\infty^2 \|\nabla v_m(t)\|_2^2, \quad \forall t > 0, \tag{9} $$

其中 $ P $ 是 Helmholtz-Leray 投影算子。最后，假设 $ v_m $ 满足某个合适的近似系统，使得其在能量度量下的弱极限 $ v(t,x) $ 是 IBVP (1) 的弱解。

则该弱解 $ v(t,x) $ 具有如下结构性质：存在 $ \theta \leq c \|v_0\|_2^4 $ 及一族区间 $ \{(\theta_\ell, T_\ell)\}_{\ell \in A}, A \subseteq \mathbb{N} $，使得 $ (0,\theta) \setminus \bigcup_{\ell \in A} (\theta_\ell, T_\ell) $ 的 Lebesgue 测度为零，且

$$ v \in C(\theta_\ell, T_\ell; J^{1,2}(\Omega)) \cap L^2(\theta_\ell, T_\ell; W^{2,2}(\Omega)), \quad v_t \in L^2(\theta_\ell, T_\ell; J^2(\Omega)), \tag{10} $$

$$ v \in C(\theta, T; J^{1,2}(\Omega)) \cap L^2(\theta, T; W^{2,2}(\Omega)), \quad v_t \in L^2(\theta, T; J^2(\Omega)), \quad \forall T > \theta. $$

简言之，定理断言：只要逼近序列 $ \{v_m\} $ 满足一组合理的先验估计（能量界、高阶导数积分有界、微分不等式等），那么其弱极限所对应的弱解就自动具有经典的结构定理所描述的部分正则性。

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

a) 核心分析学工具

本文的证明策略完全基于对逼近序列 $ \{v_m\} $ 的精细分析，而非直接作用于弱解 $ v $。这种“从近似到极限”的思想在 PDE 理论中常见，但本文将其应用于结构定理的证明尚属新颖。以下是使用的核心工具：

  1. 能量估计与微分不等式技巧
    证明的核心驱动力是假设 (9) 所给出的微分不等式：

    $$ \frac{d}{dt} \|\nabla v_m(t)\|_2^2 + \|P \Delta v_m(t)\|_2^2 + \|v_{m,t}(t)\|_2^2 \leq \|v_m(t)\|_\infty^2 \|\nabla v_m(t)\|_2^2. $$

    这类不等式常见于正则性理论中，用于控制梯度增长。作者结合 Gagliardo-Nirenberg 不等式（引理 1 中体现为 $ \|g\|_\infty \leq c \|P \Delta g\|_2^{1/2} \|\nabla g\|_2^{1/2} $）将无穷范数项转化为高阶导数项，从而得到可控的微分不等式，例如：

    $$ \frac{d}{dt} \|\nabla v_m\|_2^2 + \frac{1}{2} \|P \Delta v_m\|_2^2 \leq c \|\nabla v_m\|_2^6. $$

    此类 Gronwall 型估计可用于推导局部存在时间下界。

  2. 紧性原理与强收敛论证
    为了从弱收敛提升到强收敛（特别是 $ \nabla v_m(t) \to \nabla v(t) $ 在 $ L^2 $ 中几乎处处成立），作者依赖于Rellich-Kondrachov 紧嵌入定理以及在无界区域上的推广。在有界域中，利用 $ W^{1,2} \hookrightarrow\hookrightarrow L^2 $ 的紧性结合 Friedrichs 引理即可得 $ \{v_m\} $ 在 $ L^2(0,T;L^2(\Omega)) $ 中强收敛。而在无界域中，还需额外利用假设 (7) 提供的一致绝对连续性，以控制远离原点区域的行为，确保整体强收敛。

  3. Cauchy 序列方法与极限唯一性
    通过估计 (19) 类型的积分：

    $$ \int_0^T \|\nabla v_n - \nabla v_p\|_2 dt \leq \int_0^T \|P \Delta(v_n - v_p)\|_2 \|v_n - v_p\|_2 dt, $$

    并结合高阶导数估计 (8)，作者证明 $ \{\nabla v_m\} $ 在 $ L^1(0,T;L^2) $ 中满足 Cauchy 条件，从而获得强收敛。最终利用弱极限的唯一性，确认极限函数 $ v $ 在正则区间上等于某个正则解 $ w $。

  4. 极大存在区间与延拓技术
    证明中多次使用“极大存在区间”思想：对每个时间点 $ t \in \mathcal{T} $（满足强收敛的集合），利用局部适定性得到一个以 $ t $ 为起点的正则解的最大存在区间 $ (t, t+T(t,m)) $。然后通过迭代拼接这些区间，构造出覆盖整个 $ (0,\theta) $ 几乎处处的开区间族。

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

  1. 规避强能量不等式的需求
    传统结构定理证明依赖于弱解满足强形式的能量不等式（含 a.e. $ s \in (0,t) $）。而本文仅要求逼近序列满足标准能量不等式 (6)，并不强制要求弱解本身满足更强版本。这使得结果适用于 Hopf 型 Galerkin 解等更广泛的情形。

  2. 从逼近序列继承正则性
    关键洞察是：即使弱解 $ v $ 本身的正则性未知，只要其逼近序列 $ \{v_m\} $ 在每个时间段上都是正则解（如 mollified 或 Galerkin 解），并且它们的正则性参数（如存在时间长度）可以通过初始梯度控制（如 $ T(t) \geq c(\|\nabla v(t)\|_2 + 1)^{-2} $），那么就可以将这种局部正则性“传递”给极限解。

  3. 时间点选择技巧（反证法）
    为了找到第一个“好”时间 $ \theta $，作者采用反证法：假设在 $ [0, \eta^{-2} \|v_0\|_2^4) $ 内所有 $ t $ 都有 $ \|v_0\|_2 \|\nabla v_m(t)\|_2 > \eta $，则结合能量不等式会导致矛盾。这一技巧巧妙地避开了对解的整体行为的依赖，仅用能量守恒即得存在某 $ t_m $ 使得梯度足够小，从而启动正则性。

  4. 区间拼接与分类讨论
    对于 $ t < \theta $ 的情况，作者构造多个局部正则区间 $ I_\alpha $，并通过分类讨论（交集为空或非空）逐步合并或延伸这些区间。若两区间相交，则后者必包含前者（因存在时间下界机制），从而形成互不相交的极大区间族，覆盖目标集合几乎处处。

  5. 统一处理不同区域类型
    通过分别处理有界与无界区域，并在后者中显式加入外部能量衰减条件 (7)，论文实现了对多种几何情形的统一框架处理，增强了结果的普适性。

与之前工作的比较

a) 突破与改进

本文最主要的突破在于改变了结构定理的证明范式：从“分析弱解本身性质”转向“分析逼近序列的先验估计”。这一转变带来了以下几个重要改进：

  1. 放宽对弱解正则性的先验假设
    经典证明（如 Leray 或 Serrin 方法）通常要求弱解满足强形式的能量不等式，即对几乎所有 $ s \in (0,t) $ 成立：

    $$ \|v(t)\|_2^2 + 2 \int_s^t \|\nabla v\|_2^2 d\tau \leq \|v(s)\|_2^2. $$

    这种不等式往往需要较强的紧性论证才能从逼近过程继承。而本文完全不需要弱解满足此强不等式，只需逼近序列满足基本能量不等式 (6) 即可。因此，结果适用于更多类型的弱解构造，特别是那些无法保证强能量不等式的场合。

  2. 涵盖更广的弱解类别
    文中明确指出，该方法适用于 Hopf 在有界域中通过 Galerkin 方法构造的弱解。这类解虽然满足能量不等式，但由于逼近过程的离散性，未必能推出对几乎所有 $ s $ 成立的强版本。此外，也适用于 Leray 的磨光逼近方法。这意味着本文的结果统一了多种经典构造方式下的结构定理，提升了理论的包容性。

  3. 强调“构造性”视角
    传统证明多从抽象泛函分析出发，侧重于解的终极性质。而本文强调了解是如何被构造出来的——即通过逼近序列。这种“构造主义”观点使得正则性不再是神秘属性，而是可以从逼近过程的定量估计中自然导出的结果。这对发展数值分析和近似方法也有启发意义。

  4. 潜在适用于复杂耦合系统
    作者在结尾提到，该方法已被用于研究刚体与粘性流体动态相互作用的问题 [12]。这表明新方法具有良好的扩展性，尤其适合处理涉及多个物理场耦合、难以直接定义弱解能量结构的复杂系统。

  5. 避免使用线性分解技巧
    相比于 [14] 将弱解分解为两个线性 Stokes 问题之和的方法，本文无需引入额外的函数分解，也不依赖于 Stokes 算子的谱性质或正则性刻画。这使得证明更加直接，逻辑链条更清晰。

综上所述，本文并非在正则性强度上超越已有结果（结论仍是经典的结构定理），而是在适用范围和证明理念上实现了重要推进。它展示了如何通过加强对逼近过程的理解，来削弱对极限对象本身的苛刻要求，体现了现代 PDE 分析中“从近似到精确”的深刻思想。

2. Blow-up suppression of the Patlak-Keller-Segel-Navier-Stokes system via Taylor-Couette flow

通过泰勒-库埃特流抑制Patlak-Keller-Segel-Navier-Stokes系统的爆破

作者: Shikun Cui, Lili Wang, Wendong Wang

类别: math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05344v1

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

详细分析

中文标题: 通过泰勒-库埃特流抑制Patlak-Keller-Segel-Navier-Stokes系统的爆破

研究对象和背景

本文研究的是二维环形区域上由泰勒-库埃特流（Taylor-Couette flow）驱动的 Patlak-Keller-Segel-Navier-Stokes系统（简称PKS-NS系统），旨在从数学角度揭示强剪切流动如何有效抑制细胞密度在有限时间内发生“爆破”（blow-up）的现象。这一工作受到体外循环装置中应用泰勒-库埃特流以减少血小板粘附与蛋白质吸附实验观察的启发。

生物医学背景方面，论文引用了Körfer等人[24]的研究指出，在体外循环设备中采用泰勒-库埃特流时，血小板和血浆蛋白会向涡旋中心聚集，从而显著降低其与材料表面接触的概率。特别是在剪切速率 $G \geq 550\,\text{s}^{-1}$ 的情况下，层流导致的血小板损失和PF4释放远高于泰勒涡流。这种表面吸附减少的现象类比于数学模型中的“爆破”——即细胞密度趋于无穷大，对应生理上的血小板聚集或血栓形成。因此，控制或防止爆破具有重要的临床安全意义。

从建模角度看，当忽略流体运动时，经典的Patlak-Keller-Segel系统描述细胞通过化学趋向性（chemotaxis）向高浓度趋化剂区域迁移的过程。该系统在二维情形下存在著名的$8\pi$临界质量阈值：若初始总质量 $M := \|n_{\rm in}\|_{L^1} < 8\pi$，则解整体存在；若 $M > 8\pi$，则可能发生有限时间爆破。然而，在真实生理环境中，细胞通常处于流动液体中（如血液），故考虑流体耦合效应更为合理。

本文所研究的完整PKS-NS系统定义在二维环形区域 $D = [1,R] \times \mathbb{S}^1$ 上，其原始形式如下：

$$ \begin{cases} \partial_t n + v \cdot \nabla n = \Delta n - \nabla \cdot (n \nabla c), \\ \Delta c + n - c = 0, \\ \partial_t v + v \cdot \nabla v + \nabla P = \Delta v + n \nabla \Phi, \quad \nabla \cdot v = 0, \\ (n,v)\big|_{t=0} = (n_{\rm in}, v_{\rm in}), \end{cases} $$

其中：

  • $n(x,y,t)$ 表示细胞密度；
  • $c(x,y,t)$ 是趋化剂浓度；
  • $v(x,y,t)$ 为流体速度场；
  • $P$ 是压力；
  • $\Phi(x,y) = \sqrt{x^2 + y^2}$ 为给定的外部势函数（文中简化假设）。

系统定义在环形区域 $D \subset \mathbb{R}^2$，且采用狄利克雷边界条件：所有变量在内外边界 $r=1$ 和 $r=R$ 处为零。这是物理上合理的设定，模拟封闭腔室内的流动环境。

关键创新在于：作者不将流体视为被动背景，而是围绕一个稳定的泰勒-库埃特流进行扰动分析。TC流是两同轴旋转圆柱间粘性流体的经典稳态解。在极坐标 $(r,\theta)$ 下，其速度场为：

$$ U(r,\theta) = A\left(r + \frac{1}{r}\right)(-\sin\theta, \cos\theta)^T, $$

对应的涡量 $\Omega(r) = 2A$ 为常数。这表明TC流是一种非均匀但稳态的剪切流，具有强烈的角向输运能力。

为了研究稳定性，引入扰动变量：

  • $u = v - U$：速度扰动；
  • $w = \omega - \Omega$：涡量扰动；
  • 并设流函数 $\phi$ 满足 $\Delta \phi = w$, $u = (-\partial_y \phi, \partial_x \phi)$。

通过对原系统做时间重标度 $t \mapsto t/A$ 并转换至极坐标系，得到关于扰动量的新系统（1.5）：

$$ \begin{cases} \partial_t n - \frac{1}{A}(\partial_r^2 + \frac{1}{r}\partial_r + \frac{1}{r^2}\partial_\theta^2)n + \left(1 + \frac{1}{r^2}\right)\partial_\theta n + \frac{1}{A r^2}(\partial_\theta \phi \partial_r n - \partial_r \phi \partial_\theta n) \\ \quad = -\frac{1}{A r} \partial_r(r n \partial_r c) - \frac{1}{A r^2} \partial_\theta(n \partial_\theta c), \\ (\partial_r^2 + \frac{1}{r}\partial_r + \frac{1}{r^2}\partial_\theta^2)c + n - c = 0, \\ \partial_t w - \frac{1}{A}(\partial_r^2 + \frac{1}{r}\partial_r + \frac{1}{r^2}\partial_\theta^2)w + \left(1 + \frac{1}{r^2}\right)\partial_\theta w + \frac{1}{A r}(\partial_r \phi \partial_\theta w - \partial_\theta \phi \partial_r w) = -\frac{1}{A r} \partial_\theta n, \\ (\partial_r^2 + \frac{1}{r}\partial_r + \frac{1}{r^2}\partial_\theta^2)\phi = w, \end{cases} $$

配以齐次Dirichlet边界条件：

$$ n|_{r=1,R} = c|_{r=1,R} = w|_{r=1,R} = \phi|_{r=1,R} = 0. $$

值得注意的是，此系统在函数空间上有特殊要求：初始细胞密度满足 $0 \leq n_{\rm in} \in L^\infty \cap H^1(D)$，初始速度扰动 $u_{\rm in} \in H^2(D)$。这些正则性假设保证了后续能量估计的可行性。此外，由于问题具有周期性角向结构，自然采用Fourier展开在 $\theta$ 方向进行分析，这是处理此类旋转对称流动的关键技术路径。

综上所述，本文的研究对象是一个在有界环形区域上、带有强剪切背景流的全耦合PKS-NS系统，目标是证明足够大的参数 $A$（代表TC流强度）可以完全压制原本可能发生的爆破现象，即使初始质量超过经典 $8\pi$ 阈值，也无需任何小初值假设。

主要定理或主要结果

本文的核心成果由以下定理给出：

定理 1.1（全局有界性与增强耗散估计）
设初始数据满足 $0 \leq n_{\rm in} \in L^\infty \cap H^1(D)$ 且 $u_{\rm in} \in H^2(D)$。则存在仅依赖于 $\|n_{\rm in}\|_{L^\infty \cap H^1(D)}$、$\|u_{\rm in}\|_{H^2(D)}$ 和 $R$ 的正常数 $A_1$，使得当 $A \geq A_1$ 时，系统 (1.5)-(1.6) 的解全局存在且一致有界，并满足如下估计：

(i) 一致有界性估计：

$$ \|u\|_{L^\infty L^\infty} \leq C(\|n_{\rm in}\|_{L^\infty \cap H^1(D)}, \|u_{\rm in}\|_{H^2(D)}, R), $$

$$ \|n\|_{L^\infty L^\infty} \leq C(\|n_{\rm in}\|_{L^\infty \cap H^1(D)}, \|u_{\rm in}\|_{H^2(D)}, R). $$

(ii) 增强耗散估计：

$$ \left\| e^{a A^{-1/3} |\partial_\theta|^2 (3R^{-2}) t} \left( n - \frac{1}{2\pi} \int_0^{2\pi} n\, d\theta \right) \right\|_{L^2} \leq C(R) \|n_{\rm in}\|_{H^1(D)}, $$

$$ \left\| e^{a A^{-1/3} |\partial_\theta|^2 (3R^{-2}) t} \left( w - \frac{1}{2\pi} \int_0^{2\pi} w\, d\theta \right) \right\|_{L^2} \leq C(R) \|u_{\rm in}\|_{H^2(D)}, $$

其中 $a > 0$ 为与 $A,k,R$ 无关的绝对常数。

该定理表明，只要背景泰勒-库埃特流足够强（即 $A$ 足够大），无论初始细胞质量和速度扰动多大，系统解都不会爆破，始终保持有界。更重要的是，第二部分揭示了解沿角向快速趋于平均状态，体现了增强耗散（enhanced dissipation）机制——即强剪切流极大地加速了扩散过程，有效混合并分散局部高浓度区域，从而阻止聚集的发生。

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

a) 核心分析学工具

本工作的证明框架建立在多个现代偏微分方程分析工具之上，主要包括：

首先是Fourier模态分解。由于系统在角向 $\theta$ 具有周期性，作者对所有变量在 $\theta$ 方向作Fourier变换，令

$$ f(t,r,\theta) = \sum_{k \in \mathbb{Z}} \hat{f}_k(t,r) e^{ik\theta}, $$

从而将原问题转化为一系列关于径向函数 $\hat{f}_k(t,r)$ 的耦合系统。这一技巧将偏微分方程的分析转化为对每个波数 $k$ 的常微分方程组的研究，极大简化了结构。

其次，为克服径向算子中的奇性项 $\frac{1}{r}\partial_r$，作者采用了加权变换：定义

$$ n_k = r^{1/2} e^{ikt} \hat{n}_k, \quad w_k = r^{1/2} e^{ikt} \hat{w}_k, \quad \text{etc.} $$

这一变换消除了低阶导数项的影响，使主算子更接近标准Sturm-Liouville型，便于能量估计。

最为核心的工具是增强耗散估计，源自Proposition 1.1。该命题提供了线性化系统解的指数衰减率：

$$ \| e^{a A^{-1/3} |k|^{2/3} R^{-2} t} h \|_{L^\infty L^2} + \cdots \leq C \|h(0)\|_{L^2} + \cdots $$

这说明高频模态（大 $|k|$）受强流影响而迅速衰减，时间尺度为 $O(A^{-1/3})$，远快于普通热扩散的 $O(1)$ 尺度。这是实现全局控制的根本机制。

在此基础上，作者构建了加权能量泛函：

$$ E(t) = \|n\|_{Y_a} + \|w\|_{Y_a}, \quad \text{其中 } \|f\|_{Y_a} = \sum_{k \neq 0} \|f_k\|_{X_k}, $$

而每个 $\|f_k\|_{X_k}$ 包含带指数权重的 $L^\infty L^2$、$L^2 L^2$ 及导数项（见公式(2.5)）。这种设计精确捕捉了不同频率下的耗散速率差异。

最后，整个论证依赖于Bootstrap方法。作者假设在某个时间区间 $[0,T]$ 内能量不超过两倍初值（即 $E(t) \leq 2Q_1$），然后通过精细估计证明实际上 $E(t) \leq Q_1$，从而推出解可延拓至全局。

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

第一个难点来自非线性项之间的高频-低频相互作用。例如在估计 $\|n\|_{Y_a}$ 时出现交叉项：

$$ T_1 = \sum_{k \neq 0} A^{-1} |k|^{-1} \left\| e^{a A^{-1/3} |k|^{2/3} t} f_k \right\|_{L^2 L^2}, \quad \text{其中 } f_k \sim \sum_{l \in \mathbb{Z}} |l|^{-1} \|w_l\|_{L^2} \|n_{k-l}\|_{L^2}. $$

这类卷积结构可能导致高频主导、难以控制。作者通过分频域讨论（high-high, high-low, low-high等）加以处理，利用权重 $e^{a A^{-1/3} |k|^{2/3} t}$ 的超指数衰减性质，在 $A$ 足够大时压低所有非对角贡献。

第二个挑战是零模态（zero mode, $k=0$）与非零模态的耦合。虽然零模态不直接受剪切流影响（无 $\partial_\theta$ 项），但会被非零模态通过非线性项激发。为此，作者单独估计零模态（Lemma 3.5），结合椭圆正则性（如Gagliardo-Nirenberg不等式）和已知总质量守恒 $\|n(t)\|_{L^1} \leq M$，得出其仍受控于初始数据和 $R$。

第三个技巧是非线性项的积分估计。例如形如 $\partial_r(r^{1/2} n_l \partial_r(r^{-1/2} c_{k-l}))$ 的项，需用分部积分与椭圆估计配合处理。借助Lemma 3.1中获得的 $\|c_k\|_{L^\infty} \leq C(R)\|n_k\|_{L^2}$，可将趋化剂梯度控制在适当范数下。

此外，对于涡量方程中的非线性项 $\partial_r \phi \partial_\theta w$，通过Fourier卷积写成 $\sum_l i(k-l) \partial_r \phi_l w_{k-l}$，再利用引理3.3中关于 $\|\partial_r \phi_l\|_{L^\infty}$ 与 $\|w_l\|_{L^2}$ 的关系完成估计。

总之，整套方法融合了几何变换、谱分析、能量估计与非线性控制，成功地将物理直觉“强流抑制聚集”转化为严格的数学结论。

与之前工作的比较

a) 突破与改进

本文相较于已有文献做出了若干重要突破：

首先，这是首个针对非平面剪切流（non-planar shear flow）在有界环形区域中证明PKS-NS系统全局正则性的结果。以往研究多集中于Couette流（如 $v = (y,0)$）或Poiseuille流，定义在无限带状区域 $\mathbb{T} \times \mathbb{R}$ 或 $\mathbb{T}^2$ 上，利用其平直几何结构进行分析。而本文处理的是具有曲率和边界的环形域，其拉普拉斯算子包含 $\frac{1}{r}\partial_r$ 项，带来额外奇性，技术难度更高。

其次，本文完全去除了对初始数据的小性假设。此前多数结果（如Bedrossian-He[4]、He[15]）要求初始扰动足够小才能保证全局解存在。而本文明确定义出仅依赖于 $A$ 的门槛值，只要 $A$ 足够大，任意大小的初始细胞密度和速度扰动均可被稳定化。这意味着稳定性由外部流场强度主导，而非初值本身，更具实际应用价值。

第三，所得结果不要求初始质量低于 $8\pi$。经典PKS模型中此阈值不可逾越，但本文表明强流可彻底打破这一限制，实现了真正意义上的“爆破抑制”。

第四，本文首次将泰勒-库埃特流这一广泛应用于生物医学设备的真实流动模式纳入数学分析框架，建立了从工程实践到理论验证的桥梁。相比理想化的平面流，TC流更贴近实际装置中的复杂流动形态。

最后，在技术层面，本文发展了一套适用于极坐标下旋转对称流的能量方法，特别是通过 $r^{1/2}$ 加权消除奇性项的技术，可能推广至其他类似几何问题。

综上，本文不仅在数学深度上推进了对耦合化学趋向-流体系统的理解，也为设计更安全的体外循环设备提供了理论支持。

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

关于与螺旋磁性相关的一类奇异摄动能量中微结构形成及涡旋出现的尺度律结果

作者: Janusz Ginster

类别: math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05821v1

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

摘要翻译

中文标题: 关于与螺旋磁性相关的一类奇异摄动能量中微结构形成及涡旋出现的尺度律结果

摘要翻译: 本文研究了源自离散 $J_1$-$J_3$ 模型的奇异摄动能量。所考虑的能量由一个非凸体项和一个高阶正则化项组成，并受到不相容边界条件的约束。与现有文献结果不同的是，本文中的容许场不必是梯度场，其旋度与离散 $J_1$-$J_3$ 模型中的拓扑奇点——即所谓的涡旋——相关联。本工作的主要结果是关于最小能量相对于三个参数的尺度律：其一度量边界条件的不相容性，其二度量正则化项的强度，其三与离散模型中的原子间距有关。该结果特别表明，在某些参数区域下，极小化子必然会产生涡旋。分析中的一个关键工具是对著名的球构造方法（ball-construction technique）进行精细改进，由于缺乏刚性，该改进同时考虑了体项能量与正则化项的影响。

不相关论文（基本信息）

1. Higher-order diffusion and Cahn-Hilliard-type models revisited on the half-line

高阶扩散与Cahn-Hilliard型模型在半直线上的重新考察

作者: A. Chatziafratis, A. Miranville, G. Karali, A. S. Fokas, E. C. Aifantis

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

发布日期: 2025-12-05

arXiv ID: 2512.05829v1

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

摘要: In this paper, we solve explicitly and analyze rigorously inhomogeneous initial-boundary-value problems (IBVP) for several fourth-order variations of the traditional diffusion equation and the associated linearized Cahn-Hilliard (C-H) model (also Kuramoto-Sivashinsky equation), formulated in the spatiotemporal quarter-plane. Such models are of relevance to heat-mass transfer phenomena, solid-fluid dynamics and the applied sciences. In particular, we derive formally effective solution representations, justifying a posteriori their validity. This includes the reconstruction of the prescribed initial and boundary data, which requires careful analysis of the various integral terms appearing in the formulae, proving that they converge in a strictly defined sense. In each IBVP, the novel formula is utilized to rigorously deduce the solution’s regularity and asymptotic properties near the boundaries of the domain, including uniform convergence, eventual (long-time) periodicity under (eventually) periodic boundary conditions, and null non-controllability. Importantly, this analysis is indispensable for exploring the (non)uniqueness of the problem’s solution and a new counter-example is constructed. Our work is based on the synergy between: (i) the well-known Fokas unified transform method and (ii) a new approach recently introduced for the rigorous analysis of the Fokas method and for investigating qualitative properties of linear evolution partial differential equations (PDE) on semi-infinite strips. Since only up to third-order evolution PDE have been investigated within this novel framework to date, we present our analysis and results in an illustrative manner and in order of progressively greater complexity, for the convenience of readers. The solution formulae established herein are expected to find utility in well-posedness studies for nonlinear counterparts too.

2. Entropy and Fisher information in non-convex domains: one chain to rule them all

非凸区域中的熵与费舍尔信息：一条链条统御一切

作者: Jean-Baptiste Casteras, Marco Flaim, Léonard Monsaingeon

类别: math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05826v1

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

摘要: We prove that the (square root) Fisher information functional is a strong Wasserstein upper gradient of the entropy on non-convex Riemannian domains. This fills a gap in the literature by allowing one to completely dispense from $λ$-displacement convexity arguments. Along the way we establish a novel quantitative short-time control of the Fisher information along the Neumann heat flow, and establish an exact chain rule under stronger $AC_2$ assumptions typically satisfied by curves of measures obtained as limits of JKO schemes.

3. Integral Formulas for Differential Forms on Weighted Manifolds and Applications

加权流形上微分形式的积分公式及其应用

作者: Fida El Chami, Ola Makhoul

类别: math.DG, math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05793v1

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

摘要: In this paper, we derive a Reilly formula for differential forms on weighted manifolds with nonempty boundary. As an application of this formula, we prove a Poincaré-type inequality in the same context and explore several of its consequences. We also present weighted versions of some boundary value problems and obtain new eigenvalue estimates that extend previously known results.

4. Bifurcation from bubbles in nonconvex cones

非凸锥中气泡的分岔

作者: Filomena Pacella, Camilla Chiara Polvara, Luigi Provenzano

类别: math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05766v1

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

摘要: We investigate the Neumann problem for the critical semilinear elliptic equation in cones. The standard bubble provides a family of radial solutions, which are known to be the only positive solutions in convex cones. For nonconvex cones, symmetry breaking may occur and the symmetry breaking is related to the first nonzero Neumann eigenvalue of the Laplace Beltrami operator on the domain $D\subset§^{N-1}$, that spans the cone. We construct a one-parameter family of domains on the sphere whose first eigenvalue crosses the threshold at which the bubble loses stability. Under the assumption that this eigenvalue is simple, we prove, via the Crandall Rabinowitz bifurcation theorem, the existence of a branch of nonradial solutions bifurcating from the standard bubble. Moreover we show that the bifurcation is global.

5. Asymptotic Behavior of Rupture Solutions for the Elliptic MEMS Equation with Hénon-Type Term

具有Hénon型项的椭圆MEMS方程破裂解的渐近行为

作者: Yunxiao Li

类别: math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05743v1

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

摘要: For an elliptic MEMS equation with Hénon-type term, $Δu = λ|x|^α/u^{p} + F$, we study rupture solutions, i.e. solutions for which $u(x_0)=0$ at some point $x_0$, also $x_0$ is called a rupture point. In this paper we focus on the special case where the rupture occurs at the origin. According to the different Hénon-type exponents $α$, we analyze the asymptotic behavior of such solutions near the origin and derive a full asymptotic expansion of arbitrary order in a neighborhood of the origin. Moreover, for both radial solutions and non-radial solutions with asymptotic radial condition, we prove the existence of rupture solutions near the rupture point by constructing it.

6. Resolvent trace asymptotics for operators in the Shubin class

Shubin类算子的预解核迹渐近分析

作者: Jörg Seiler

类别: math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05689v1

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

摘要: A new pseudodifferential calculus of Shubin type is introduced. The calculus contains operators depending on a non negative real parameter as well as operators independent of the parameter. Resolvents of Shubin type pseudodifferential operators are constructed and their trace expansion is obtained.

7. Feedback stabilization of some fourth-order nonlinear parabolic equations with saturated controlsEQUATIONS WITH SATURATED CONTROLS

带饱和控制的一些四阶非线性抛物方程的反馈镇定

作者: Patricio Guzmán, Felipe Labra, Hugo Parada

类别: eess.SY, math.AP, math.OC

发布日期: 2025-12-05

arXiv ID: 2512.05606v1

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

摘要: In this work, we analyze the internal and boundary stabilization of the Cahn-Hilliard and Kuramoto-Sivashinsky equations under saturated feedback control. We conduct our study through the spectral analysis of the associated linear operator. We identify a finite number of eigenvalues related to the unstable part of the system and then design a stabilization strategy based on modal decomposition, linear matrix inequalities (LMIs), and geometric conditions on the saturation function. Local exponential stabilization in $H^{2}$ is established.

8. Sharp gradient estimates and monotonicity in positive Ricci curvature

正Ricci曲率下的梯度估计与单调性

作者: Cosmin Manea

类别: math.DG, math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05467v1

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

摘要: We prove a sharp gradient estimate for the natural Green’s function of a closed manifold with positive Ricci curvature. We also show that this estimate is closely related to a family of monotonicity formulae. These results extend those previously obtained by Colding and Minicozzi for open manifolds with non-negative Ricci curvature. We further obtain several geometric applications, including a new proof of Bishop’s volume comparison theorem in dimension four.

9. Green functions, Hitchin’s formula and curvature equations on tori II: Rectangular torus

格林函数、希钦公式及环面上的曲率方程 II：矩形环面

作者: Zhijie Chen, Erjuan Fu, Chang-Shou Lin

类别: math.AP

发布日期: 2025-12-05

arXiv ID: 2512.05360v1

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

摘要: Let $G(z)$ be the Green function on the flat torus $E_τ=\mathbb{C}/(\mathbb{Z}+\mathbb{Z}τ)$ with the singularity at $0$. Lin and Wang (Ann. Math. 2010) proved that $G(z)$ has either $3$ or $5$ critical points (depending on the choice of $τ$). Here we study the sum of two Green functions which can be reduced to $G_p(z):=\frac12(G(z+p)+G(z-p))$. In Part I \cite{CFL}, we proved that for any $p$ satisfying $p\neq -p$ in $E_τ$, the number of critical points of $G_p(z)$ belongs to $\{4,6,8,10\}$ (depending on the choice of $(τ, p)$) and each number really occurs. In the Part II of this series, we study the important case $τ=ib$ with $b>0$, i.e. $E_τ$ is a rectangular torus. By developing a completely different approach from Part I, we show the existence of $8$ real values $d_1<d_2<\cdots<d_7<d_8$ such that if

$$ \wp(p)\in (-\infty, d_1]\cup [d_2, d_3]\cup [d_4, d_5]\cup [d_6, d_7]\cup [d_8,+\infty), $$

then $G_p(z)$ has no nontrivial critical points; if

$$ \wp(p)\in (d_1, d_2)\cup (d_3, d_4)\cup (d_5, d_6)\cup (d_7, d_8), $$

then $G_p(z)$ has a unique pair of nontrivial critical points that are always non-degenerate saddle points. This allows us to study the possible distribution of the numbers of critical points of $G_p(z)$ for generic $p$. Applications to the Painlevé VI equation and the curvature equation are also given.

10. The modified Camassa-Holm equation on the half line: a Riemann–Hilbert approach

半平面上的修正Camassa-Holm方程：一种黎曼–希尔伯特方法

作者: Iryna Karpenko, Dmitry Shepelsky

类别: math.AP

发布日期: 2025-12-04

arXiv ID: 2512.05274v1

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

摘要: We consider the initial-boundary value (IBV) problem for the modified Camassa–Holm (mCH) equation $ \tilde m_t+\left((\tilde u^2-\tilde u_x^2+2\tilde u)\tilde m\right)_x = 0$, $\tilde m:=\tilde u-\tilde u_{xx}+1$ on the half line $x \ge 0$. We provide a characterization of the solution of the IBV problem in terms of the solution of a matrix Riemann–Hilbert (RH) factorization problem in the complex plane of the spectral parameter. The data of this RH problem are determined in terms of spectral functions associated with the initial and boundary values of the solution, whose compatibility is characterized in spectral terms.

11. Mean curvature flow near a peanut solution

花生形解附近的平均曲率流

作者: Sigurd Angenent, Panagiota Daskalopoulos, Natasa Sesum

类别: math.AP

发布日期: 2025-12-04

arXiv ID: 2512.05077v1

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

摘要: It was shown by Angenent, Altschuler and Giga, and by Angenent and Velazquez that there exist closed mean curvature flow solutions that extinct to a point in finite time, without ever becoming convex prior to their extinction. These solutions develop a degenerate neckpinch singularity, meaning that the tangent flow at a singularity is a round cylinder, but at the same time for each of these solutions there exists a sequence of points in space and time, so that the pointed blow up limit around this sequence is the Bowl soliton. These solutions are called peanut solutions and they were first conjectured to exist by Richard Hamilton, while the existence of those solutions was shown by Angenent, Altschuler and Giga. In this paper we show that this type of solutions are highly unstable, in the sense that in every small neighborhood of any such peanut solution we can find a perturbation so that the mean curvature flow starting at that perturbation develops spherical singularity, and at the same time we can find a perturbation so that the mean curvature flow starting at that perturbation develops a nondegenerate neckpinch singularity. We also show that appropriately rescaled subsequence of any sequence of solutions whose initial data converge to the peanut solution, and all of which develop spherical singularities, converges to the Ancient oval solution.

12. A Nehari manifold method for nonvariational problems

一种用于非变分问题的 Nehari 流形方法

作者: Radu Precup, Andrei Stan

类别: math.AP, math.FA

发布日期: 2025-12-04

arXiv ID: 2512.05055v1

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

摘要: The aim of this paper is to extend the Nehari manifold method from the variational setting to the nonvariational framework of fixed point equations. This is achieved by constructing a radial energy functional that generalizes the standard one from the variational case. Furthermore, the solutions obtained through our method are localized in conical annular sets, which leads to the existence of multiple solutions. The abstract results are illustrated by two representative applications.