生成时间: 2025年11月15日 01:52:22

重点关注论文数量: 4

了解领域论文数量: 4

不相关论文数量: 12

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

1. On Uniqueness For The Three-Dimensional Vlasov-Navier-Stokes System

关于三维Vlasov-Navier-Stokes系统的唯一性研究

作者: D Han-Kwan, É Miot, A Moussa, I Moyano

类别: math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10099v1

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

详细分析

中文标题: 关于三维Vlasov-Navier-Stokes系统的唯一性研究

研究对象和背景

本文研究的是三维空间中Vlasov-Navier-Stokes系统（VNS）的Leray解的唯一性问题。该系统是一个典型的流体-粒子耦合模型，用于描述稀疏颗粒悬浮在粘性不可压缩流体中的动力学行为。这类模型广泛应用于喷雾燃烧、气溶胶物理、大气科学以及生物流体力学等领域。

系统由两部分组成：一部分是描述连续流体运动的不可压缩Navier-Stokes方程，另一部分是刻画离散颗粒相统计分布的Vlasov输运方程。两者通过拖曳力（drag force） 相互耦合——即颗粒受到流体速度的影响而加速，同时颗粒对流体施加反作用力（称为Brinkman力），从而改变流体的速度场。

在全空间 $\mathbb{R}^3$ 上，该系统的数学形式如下：

$$ \begin{cases} \partial_t u + u \cdot \nabla u - \Delta u + \nabla p = \int_{\mathbb{R}^3} f(v - u)\,dv, \\ \mathrm{div}\,u = 0, \\ \partial_t f + v \cdot \nabla_x f + \nabla_v \cdot [f(u - v)] = 0. \end{cases} \tag{VNS} $$

其中：

  • $u = u(t,x) : \mathbb{R}_+ \times \mathbb{R}^3 \to \mathbb{R}^3$ 是流体的速度场；
  • $p = p(t,x)$ 是压力项；
  • $f = f(t,x,v) : \mathbb{R}_+ \times \mathbb{R}^3 \times \mathbb{R}^3 \to \mathbb{R}_+$ 是颗粒在位置-速度相空间 $(x,v)$ 的密度函数；
  • 右端项 $\int_{\mathbb{R}^3} f(v - u)\,dv$ 表示颗粒对流体施加的Brinkman体积力；
  • 而 $u - v$ 则作为Vlasov方程中颗粒所受的拖曳加速度。

值得注意的是，上述Navier-Stokes方程也可以用Leray投影算子 $P$ 改写为无压形式：

$$ \partial_t u + P[u \cdot \nabla u] - \Delta u = P\left( \int_{\mathbb{R}^3} f(v - u)\,dv \right), $$

这在分析弱解的存在性和能量结构时更为方便。

作者关注的是该系统的全局弱解（Leray解）的唯一性问题。对于此类非线性偏微分方程组，即使单个Navier-Stokes或Vlasov方程本身已极具挑战性，其耦合后带来的非局部、非线性相互作用更大大增加了分析难度。

根据经典理论，早在早期工作[2,6]中就已知：在适当的初值条件下，VNS系统存在全局Leray弱解。所谓“Leray框架”指的是流体部分满足能量不等式，而动能部分采用重正化解（renormalized solution） 框架，要求向量场具有Sobolev正则性。具体而言，初始数据 $(f^{in}, u^{in})$ 被称为可容许初值（admissible initial data），若满足：

  • $u^{in} \in L^2(\mathbb{R}^3)$ 且 $\mathrm{div}\,u^{in} = 0$；
  • $f^{in} \geq 0$ 且 $f^{in} \in L^\infty(\mathbb{R}^3 \times \mathbb{R}^3)$；
  • $(1 + |v|^2)f^{in}(x,v)$ 在 $\mathbb{R}^3 \times \mathbb{R}^3$ 上可积。

在此基础上，定义了所谓的Leray解：一对 $(f,u)$，其中 $u \in L^\infty(\mathbb{R}_+; L^2) \cap L^2_{\mathrm{loc}}(\mathbb{R}_+; H^1)$，$f$ 有界，并满足分布意义下的方程以及以下能量不等式：

$$ E(f(t), u(t)) + \int_0^t D(f(s), u(s))\,ds \leq E(f^{in}, u^{in}), \tag{1.4} $$

其中能量泛函 $E$ 和耗散泛函 $D$ 定义为：

$$ E(g,w) = \frac{1}{2} \int_{\mathbb{R}^3} |w(x)|^2 dx + \frac{1}{2} \iint_{\mathbb{R}^3 \times \mathbb{R}^3} g(x,v)|v|^2 dxdv, $$
$$ D(g,w) = \int_{\mathbb{R}^3} |\nabla w(x)|^2 dx + \iint_{\mathbb{R}^3 \times \mathbb{R}^3} g(x,v)|v - w(x)|^2 dxdv. $$

这些能量估计构成了弱解存在的基础。

然而，唯一性远比存在性困难。尤其在三维情形下，即使是单独的Navier-Stokes方程，其Leray解的唯一性至今仍是公开问题。事实上，最近的工作（如[1]）甚至证明了在外力驱动下的Navier-Stokes方程可能存在非唯一的Leray解，这对VNS系统的唯一性前景提出了严峻挑战。

因此，本文的目标是在某种“强解足够正则”的前提下，建立弱-强唯一性结果：即当一个Leray解具有额外正则性时，所有其他Leray解必须与之重合。

特别地，作者将注意力集中在一类比经典的Osgood类更广的函数空间——Cannone-Meyer-Planchon类，它是基于Besov空间 $\dot{B}^{-1+3/p}_{p,\infty}(\mathbb{R}^3)$ 构造的临界空间。这一空间包含 $L^3(\mathbb{R}^3)$，且在Navier-Stokes理论中被广泛用于构造小初值的整体光滑解。

值得注意的是，这类空间中的速度场可能不具备Log-Lipschitz正则性，因而无法直接应用Osgood型唯一性定理（后者依赖于特征线的唯一性）。这意味着传统方法失效，必须发展新的技术路径。

此外，文章还考虑了初值在速度变量上的衰减性质。为此引入了量：

$$ N_q(f^{in}) := \sup_{(x,v)} (1 + |v|^q) f^{in}(x,v), $$

用于控制初始分布的高阶速度矩。当 $q > 4$ 或 $q > 5$ 时，能保证某些动量积分收敛，这对后续稳定性估计至关重要。

综上所述，本文的研究区域为全空间 $\mathbb{R}^3$，边界条件为自然衰减（无边界），函数空间设定在Leray框架结合Besov正则性假设之下，目标是突破现有唯一性结果的限制，进入非Osgood类的更广泛正则性范畴。

主要定理或主要结果

本文的核心成果是一系列关于三维Vlasov-Navier-Stokes系统Leray解的弱-强唯一性与稳定性估计的结果。以下是三个主要定理的陈述。

定理 1.2（弱-强唯一性）

设 $(f^{in}, u^{in})$ 为可容许初值，且进一步满足：

  • $u^{in} \in H^s(\mathbb{R}^3)$ 对某个 $s > 0$；
  • $M_6(f^{in}) < \infty$, $N_q(f^{in}) < \infty$ 对某个 $q > 4$。

令 $(f_1, u_1)$ 和 $(f_2, u_2)$ 为系统在 $[0,T]$ 上的两个Leray解。如果其中一个流体速度场（比如 $u_1$ 或 $u_2$）是良逼近的（well-approximated，见定义1.3），则必有：

$$ (f_1, u_1) = (f_2, u_2) \quad \text{在 } [0,T] \text{ 上}. $$

这里的“良逼近”是指存在光滑二进逼近恒等列 $(\psi_j)$，使得：

  1. $\sum_{j=0}^\infty \int_0^T \|u \star \psi_j\|_\infty^2 + \|\nabla(u \star \psi_j)\|_\infty^2 ds \leq a_k$，其中 $(a_k) \in c_0(\mathbb{N})$；
  2. $\int_0^T \|(u \otimes u) \star \psi_j - (u \star \psi_j) \otimes (u \star \psi_j)\|_2^2 ds \lesssim 2^{-\alpha j}$ 对某 $\alpha > 0$。

该条件自动对光滑场成立，但也适用于某些非Lipschitz但具Besov正则性的场。

定理 1.3（局部适定性）

在定理1.2的假设基础上，再假设：

  • $u^{in} \in \dot{B}^{-1+3/p}_{p,\infty}(\mathbb{R}^3)$ 对某 $p \in (3,\infty)$；
  • $N_q(f^{in}) < \infty$ 对某 $q > 5$。

则存在时间区间 $[0,T]$，使得所有Leray解在该区间上唯一，且对应的流体速度属于 $\dot{B}^T_p$ 类（即时间依赖的相应Besov类）。

此结果表明，在Cannone-Meyer-Planchon框架下，VNS系统具有局部唯一性，推广了此前仅限于Fujita-Kato类（即 $H^{1/2}$）的结果。

定理 1.5（稳定性估计）

设两组初值 $(f_1^{in}, u_1^{in}), (f_2^{in}, u_2^{in})$ 均满足 $M_6(f_k^{in}) < \infty$, $N_q(f_k^{in}) < \infty$（$q>5$），且 $u_1^{in} \in H^s$。若存在对应于第一组初值的Leray解 $(f_1,u_1)$，且 $u_1$ 是良逼近的，则对任意 $\varepsilon \in (0,1)$，存在常数 $C > 0$，使得只要初值足够接近：

$$ \|u_1^{in} - u_2^{in}\|_2 + \mathcal{N}_{T,R}(f_1^{in} - f_2^{in}) \leq \Psi_{1/\varepsilon}(T, u_1, E_{in}, M_6, N_q), $$

就有任何对应于第二组初值的Leray解 $(f_2,u_2)$ 满足：

$$ \|u_1(t) - u_2(t)\|_2^2 + \int_0^t \|\nabla(u_1 - u_2)(s)\|_2^2 ds \leq C \left( \|u_1^{in} - u_2^{in}\|_2^2 + \mathcal{N}_{T,R}(f_1^{in} - f_2^{in})^2 \right)^{1-\varepsilon}. $$

若两初值质量相同，则还有Wasserstein距离估计：

$$ W_1(f_1(t), f_2(t))^2 + \|u_1(t) - u_2(t)\|_2^2 + \int_0^t \|\nabla(u_1 - u_2)(s)\|_2^2 ds \leq W_1(f_1^{in}, f_2^{in})^2 + C (\cdots). $$

这里 $\mathcal{N}_{T,R}(f)$ 是通过拉格朗日流定义的范数，反映了解对初值的稳定性。

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

本文的技术路线深受Chemin关于Navier-Stokes唯一性工作的启发，核心思想是通过光滑逼近来处理低正则性速度场，并利用“良逼近性”控制误差项。

整体策略分为几个层次：

a) 核心分析工具

  1. Lagrangian流与重正化解理论（DiPerna-Lions理论）
    由于Vlasov方程涉及输运，其解可通过特征线构造：给定向量场 $b(t,x,v) = (v, u(t,x) - v)$，定义其流 $Z_u(t,s,x,v) = (X_u, V_u)$ 满足：

    $$ \frac{d}{dt} X_u = V_u, \quad \frac{d}{dt} V_u = u(t,X_u) - V_u. $$

    当 $u \in L^1_{\mathrm{loc}}(W^{1,\infty})$ 时，该ODE有唯一解；但在Leray解框架下，$u$ 仅属 $L^2(H^1)$，不足以保证Lipschitz性。此时借助DiPerna-Lions理论，只要 $b/(1+|(x,v)|) \in L^1(L^\infty)$，即可构造唯一的正则流（regular Lagrangian flow），从而定义 $f(t) = Z_u(t,0)\#f^{in}$ 为Vlasov方程的唯一重正化解。

  2. Loeper型泛函与Wasserstein控制
    为了比较两个不同速度场诱导的解，作者使用类似于Loeper在Vlasov-Poisson中使用的泛函：

    $$ Q_{Z,\tilde{Z}}(t) = \iint_{\mathbb{R}^3 \times \mathbb{R}^3} f^{in}(x,v) |Z(t,x,v) - \tilde{Z}(t,x,v)|^2 dxdv. $$

    这一泛函衡量了两条特征线之间的偏差平方平均。结合Maximal函数估计（如 $|\phi(x)-\phi(y)| \lesssim |x-y|(M\nabla\phi(x)+M\nabla\phi(y))$），可将速度差转化为空间差，进而控制 $Q$ 的增长。

  3. 能量型估计与Gronwall技巧
    对流体差 $w = u - \tilde{u}$，从Navier-Stokes方程导出差分方程：

    $$ \partial_t w + u \cdot \nabla w - \Delta w + \nabla q = -w \cdot \nabla \tilde{u} + (j - \rho u) - (\tilde{j} - \rho \tilde{u}), $$

    乘以 $w$ 并积分得：

    $$ \frac{1}{2} \frac{d}{dt} \|w\|_2^2 + \|\nabla w\|_2^2 \lesssim \int |w \cdot \nabla \tilde{u} \cdot w| + \int w \cdot (F - \tilde{F}). $$

    第一项由Gagliardo-Nirenberg不等式控制，第二项需精细估计Brinkman力差。

  4. Besov空间嵌入与Littlewood-Paley分解
    文章虽未显式展开LP分解，但“良逼近性”本质上反映了Besov正则性。例如，若 $u \in \dot{B}^{-1+3/p}_{p,\infty}$，则其平滑逼近满足特定的频率能量分布，使得交叉项 $(u \otimes u) \star \psi_j - (u \star \psi_j)^{\otimes 2}$ 衰减足够快。

b) 技术难点与解决技巧

  1. 克服非Osgood正则性的障碍
    经典唯一性依赖于特征线唯一性，要求速度场满足Osgood条件（如Log-Lipschitz）。但Cannone-Meyer-Planchon类不保证这一点。作者转而采用近似光滑序列 $u_n = u \star \psi_n$，令其对应解 $(f_n, u_n)$，然后比较原解与近似解的距离。

  2. 误差项的控制依赖“良逼近性”
    在逼近过程中，会出现三项主要误差：

    • 非线性项 $(u \cdot \nabla u) - (u_n \cdot \nabla u_n)$；
    • Brinkman力项 $\int f(v-u) - \int f_n(v-u_n)$；
    • 动量匹配误差。

    关键在于利用“良逼近性”的两个条件分别控制这些误差。例如，第一个条件确保 $u_n$ 在 $L^\infty$ 和 $W^{1,\infty}$ 中一致有界（模去小系数），第二个条件则控制双线性项的逼近精度。

  3. 解耦估计与迭代闭合
    作者将系统拆分为“流体稳定性”与“动能稳定性”两个模块（引理2.1与2.2）：

    • 引理2.1估计固定初值下不同Brinkman力导致的流体差异；
    • 引理2.2估计不同速度场导致的特征线偏离。

    将二者结合，形成闭环估计：

    $$ \|w(t)\|_2^2 + \int_0^t \|\nabla w\|_2^2 \lesssim \int_0^t A(s) Q(s) ds, \quad Q'(t) \lesssim (1 + \|\nabla u\|_\infty) Q(t) + m_0(f) \|w\|_2^2. $$

    再通过Gronwall引理闭合。

  4. 稳定性估计中的插值与扰动分析
    定理1.5中，为得到定量估计，需对初值差异进行精细追踪。作者引入 $\mathcal{N}_{T,R}(f)$ 范数，它统一衡量了在所有允许速度场下，由同一初值出发的解的动量变化范围。这种“最坏情况”范数使得估计更具鲁棒性。

与之前工作的比较

本文相对于已有研究有多方面突破：

  1. 维度推广：从二维到三维
    此前作者在[23]中解决了二维情形的唯一性，依赖于Ladyzhenskaya不等式（$\|u\|_4^2 \lesssim \|u\|_2 \|\nabla u\|_2$）和二维Sobolev嵌入优势。而在三维中，能量无法控制 $L^\infty$ 范数，故必须引入更强的正则性假设。

  2. 正则性假设显著放宽
    以往唯一性结果多要求速度场满足Osgood条件（如 $u \in L^1(W^{1,\infty})$ 或Log-Lipschitz）。本文只需 $u$ 属于Cannone-Meyer-Planchon类，这是一个比 $L^3$ 更大、且允许负正则度的Besov空间。例如，$\dot{B}^{-1}_{\infty,\infty}$ 包含BMO$^{-1}$ 类，远超经典空间。

  3. 方法创新：逼近法替代直接估计
    传统方法（如[23]对2D VNS或[31]对Vlasov-Poisson）依赖于特征线的Osgood估计。本文则采用Chemin式逼近方案：构造光滑逼近序列，证明误差趋于零。这种方法更适合处理临界空间中的解。

  4. 结果更强：获得稳定性而非仅唯一性
    不止于唯一性，本文还建立了Hölder型稳定性估计（指数为 $1-\varepsilon$），说明解对初值连续依赖（在适当拓扑下）。这是比单纯唯一性更强的结果。

  5. 连接现代Navier-Stokes理论
    将VNS系统置于现代流体方程的临界正则性框架中，使其与Fujita-Kato、Koch-Tataru等理论接轨。特别是证明了在小初值下可得全局唯一解（定理1.4），这为未来研究长期行为提供了基础。

综上，本文不仅推进了VNS系统的理论理解，也为处理其他复杂耦合系统的唯一性问题提供了新范式。

2. Instantaneous Type~I blow-up and non-uniqueness of smooth solutions of the Navier–Stokes equations

作者: Alexey Cheskidov, Mimi Dai, Stan Palasek

类别: math.AP

发布日期: 2025-11-12

arXiv ID: 2511.09556v1

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

详细分析

中文标题: Navier–Stokes方程光滑解的瞬时I型爆破与非唯一性

研究对象和背景

本文研究的是不可压缩Navier–Stokes方程（Navier–Stokes equations）在环面 $\mathbb{T}^d$ 上的初值问题，其中 $d \geq 2$。该方程组描述了粘性流体的速度场 $u(x,t)$ 和压力场 $p(x,t)$ 的演化过程，其数学形式如下：

$$ \begin{cases} \partial_t u - \nu \Delta u + \mathrm{div}(u \otimes u) + \nabla p = 0, \\ \mathrm{div}\, u = 0, \end{cases} \quad \text{在 } \mathbb{T}^d \times [0,T] \text{ 上}, $$

其中 $u: \mathbb{T}^d \times [0,T] \to \mathbb{R}^d$ 是速度向量场，$p: \mathbb{T}^d \times [0,T] \to \mathbb{R}$ 是压力函数，$\nu > 0$ 为粘性系数（通常可归一化为1），初始数据 $u(0) = u_0$ 为光滑且无散度的向量场。

这类方程是流体力学中最基本的模型之一，其全局光滑解的存在性问题是Clay Mathematics Institute提出的七个“千禧年大奖难题”之一，尤其在三维情形下仍未解决。Leray早在1934年就证明了从任意有限能量初始数据出发，存在一个局部光滑解，并且存在满足能量不等式的弱解（称为Leray–Hopf弱解）。然而，在 $d=3$ 情形下是否会发生有限时间爆破（finite-time blow-up），即

$$ \lim_{t \to T_*^-} \|u(t)\|_{L^\infty} = \infty, $$

至今仍是开放问题。

本文并未直接解决这一经典问题，而是提出并严格构造了一种全新的、此前未被发现的奇异性现象——瞬时I型爆破（instantaneous Type I blow-up）。所谓“瞬时”，是指解在某个时刻 $T_*$ 处从右侧突然爆破，而在此时刻本身仍然是空间光滑的；更精确地说，解 $u(t)$ 在 $\mathbb{T}^d \times ([0,T] \setminus \{T_*\})$ 上是经典解（即光滑函数），但在 $t = T_*$ 右侧附近，$L^\infty$ 范数趋于无穷：

$$ \lim_{t \to T_*^+} \|u(t)\|_{L^\infty} = \infty. $$

这种行为被称为“从右边爆破”。值得注意的是，尽管解在 $t=T_*$ 时仍保持空间光滑性（甚至解析性），但它无法延拓为整个区间上的经典解，从而打破了传统意义上对解连续依赖于时间的预期。

作者强调，这种爆破机制并非由线性扩散项主导，而是源于非线性项引发的无限波数处的能量注入。具体而言，在 $t = T_*$ 时刻，系统经历了一个“分岔”：原本唯一的经典解路径发生分裂，产生一族新的解，这些解都具有相同的初始数据 $u_0$，却在 $t > T_*$ 后表现出剧烈增长的行为。这一现象直接导致了Cauchy问题的非唯一性。

论文的一个核心创新在于构建了一个完整的逆向能量级联（inverse energy cascade），即能量从无限高频模式自发地流向低频模式。这与经典湍流理论中的正向级联相反，但在某些物理场景中被认为可能出现在二维或准二维系统中。本文首次在经典Navier–Stokes流中实现了这种完整逆级联的严格数学构造。

研究区域取为环面 $\mathbb{T}^d = (\mathbb{R}/2\pi\mathbb{Z})^d$，这是周期边界条件下的标准设定，便于进行傅里叶分析。所有解均要求满足无散度条件 $\mathrm{div}\, u = 0$，这是Navier–Stokes方程固有的约束。函数空间方面，解被构造在多个临界或次临界空间中，例如：

  • $L^\infty BMO^{-1}_x$：这是Koch–Tataru框架下的适定空间；
  • $L^2_t L^p_x$ 对所有 $p < \infty$ 成立；
  • 特别地，当 $d \geq 3$ 时，解属于 $L^\infty_t \dot{W}^{-1,\infty}_x$，这是一个关键的临界空间。

此外，解还满足对数弱化的Ladyzhenskaya–Prodi–Serrin型估计：

$$ \int_0^T \frac{\|u(t)\|_{L^\infty}^2}{1 + (\log\log(e + \|u(t)\|_{L^\infty}))^c} dt < \infty, $$

以及Beale–Kato–Majda型条件：

$$ \int_0^T \frac{\|\nabla u(t)\|_{L^\infty}}{1 + (\log\log(e + \|\nabla u(t)\|_{L^\infty}))^c} dt < \infty, $$

这表明所构造的解恰好处于已知唯一性准则的边界状态，进一步凸显了结果的尖锐性。

主要定理或主要结果

定理 1.1（瞬时I型爆破的存在性）
设 $d \geq 2$，$u_0 \in C^\infty(\mathbb{T}^d)$ 且 $\mathrm{div}\, u_0 = 0$。则存在 $T > 0$，使得对任意 $T_* \in [0,T)$，存在一个弱解 $u(t)$ 定义在 $\mathbb{T}^d \times [0,T]$ 上，满足以下性质：

  1. 当 $t \in [0,T_*]$ 时，$u$ 是经典解，且 $u(0) = u_0$；
  2. 当 $t \in (T_*, T]$ 时，$u$ 是经典解，且存在常数 $c > 0$ 和序列 $t_n \to T_*^+$，使得
    $$ \|u(t_n)\|_{L^\infty} \geq \frac{c}{\sqrt{t_n - T_*}}, \quad \|\nabla \wedge u(t_n)\|_{L^\infty} \geq \frac{c}{t_n - T_*}; $$
  3. 解 $u(t)$ 关于时间弱*连续，取值于 $BMO^{-1}$；
  4. 爆破属于Type I，即存在常数 $C > 0$，使得对所有 $t \in (T_*, T]$，
    $$ \|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{t - T_*}}, \quad \|\nabla u(t)\|_{L^\infty} \leq \frac{C}{t - T_*}; $$
    此外，当 $d \geq 3$ 时，$u \in L^\infty_t \dot{W}^{-1,\infty}_x$；
  5. 解满足对数弱化的正则性条件：
    $$ \int_0^T \frac{\|u(t)\|_{L^\infty}^2}{1 + (\log\log(e + \|u(t)\|_{L^\infty}))^c} dt < \infty, $$
    $$ \int_0^T \frac{\|\nabla u(t)\|_{L^\infty}}{1 + (\log\log(e + \|\nabla u(t)\|_{L^\infty}))^c} dt < \infty, $$
    并且 $u \in L^2([0,T]; L^p)$ 对所有 $p < \infty$ 成立。

此定理表明，对于任意光滑初始数据，都可以构造出一个在某个预定时刻 $T_*$ 发生瞬时I型爆破的解，且该解在整个时间内始终保持空间光滑性。

作为推论，作者进一步证明了解的非唯一性：

定理 1.6（光滑解的非唯一性）
设 $U$ 是定义在 $\mathbb{T}^d \times [0,T]$ 上的任意经典解（$d \geq 2$）。则对任意 $T_* \in [0,T)$，存在一族弱解 $(u^{(\sigma)})_{\sigma \in [0,1]}$，满足：

  • $u^{(0)} \equiv U$；
  • 对所有 $\sigma \in (0,1]$，有 $u^{(\sigma)}|_{[0,T_*]} \equiv U$，但 $u^{(\sigma)}|_{(T_*,T]} \not\equiv U$；
  • 每个 $u^{(\sigma)}(t) \in C^\infty(\mathbb{R}^d)$ 对所有 $t \in [0,T]$；
  • 所有解属于 $L^2_t L^\infty_x \cap L^2_{t,\mathrm{loc}} L^p_x$，当 $d \geq 3$ 时还满足 $u \in L^\infty_t \dot{W}^{-1,\infty}_x$；
  • 存在一列 $\sigma_n \to 0^+$，使得对应的 $u^{(\sigma_n)}$ 是 $2\pi$-周期的，并在弱*意义下收敛到 $U$。

这说明经典解可以“自发分岔”，生成一个包含无限多个不同解的连续族，严重违反了Cauchy问题的唯一性。

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

a) 核心分析工具

本文的构造基于一种精细的扰动方法，结合了调和分析、半群估计与不动点论证。主要技术包括：

  • 频率截断与尺度分离：通过选取快速增长的频率序列 $N_k \to \infty$，将解分解为“主部”与“修正项”。主部集中在极高频率上，负责实现逆级联和能量注入。
  • Koch–Tataru型空间框架：利用 $BMO^{-1}$ 和 $\dot{W}^{-1,\infty}$ 等临界空间来控制解的整体行为，确保弱*连续性和适定性。
  • 热半群估计：由于Navier–Stokes方程的线性部分是热方程，作者充分利用了热半群 $e^{t\Delta}$ 的平滑效应和衰减估计，如
    $$ \|e^{t\Delta} f\|_{L^\infty} \lesssim t^{-d/2} \|f\|_{L^1}, \quad \|\nabla e^{t\Delta} f\|_{L^\infty} \lesssim t^{-(d+1)/2} \|f\|_{L^1}. $$
  • 不动点原理：为了构造修正项，作者在适当的函数空间中建立收缩映射，以处理非线性项带来的误差。

b) 技术难点与突破技巧

最大挑战在于如何让一个光滑解在某一时刻后突然“爆炸”，同时保持之前的历史一致。为此，作者设计了一种动态逆级联机制：

  • 构造一组高度振荡的“建筑块”（building blocks），它们在极高频率 $N_k$ 上携带能量，但整体贡献在 $t < T_*$ 时被抑制；
  • 利用非线性相互作用，使这些高频模态在 $t = T_*$ 之后通过共振耦合将能量传递给低频部分；
  • 引入一个速度势函数（velocity potential）来精确控制能量流动方向，确保能量从高到低传递，形成完整的逆级联；
  • 使用相位调制和几何叠加技术，使得不同频率间的非线性项相干增强而非抵消。

特别地，作者指出传统的正则性准则（如Ladyzhenskaya–Prodi–Serrin条件）虽然能防止有限时间爆破，但对“从右爆破”的情形并不完全适用，因为时间不对称性来自非线性而非扩散项。

与之前工作的比较

a) 突破与改进

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

  1. 首次构造瞬时I型爆破：以往关于Navier–Stokes爆破的研究几乎全部集中在“从左爆破”（即 $t \to T_*^-$ 时范数发散）。本文首次严格构造了“从右爆破”现象，且发生在任意光滑初始数据下，这是前所未有的。

  2. 打破经典唯一性信念：传统观点认为，只要解保持光滑，就应满足唯一性。本文表明，即使解在每个时刻都是 $C^\infty$ 的，也可能出现非唯一性，这颠覆了对“光滑解良好行为”的直觉。

  3. 推广维度与初始数据：相比之前的非唯一性构造（如基于自相似解或凸积分），本文不要求初始数据奇异或处于临界正则性，而是适用于任意光滑初值，且适用于所有 $d \geq 2$ 维。

  4. 与凸积分方法的本质区别：凸积分产生的解通常是粗糙的（如 $H^\epsilon$ 类），且依赖强烈的震荡结构。而本文构造的解在整个时空内保持空间光滑性，仅在时间上出现奇异性，属于完全不同类型的“wild solution”。

  5. 揭示非线性主导的时间不对称性：以往认为Laplacian会抑制爆破，但本文显示，正是非线性项在时间反演下的非对称响应，允许了从右爆破的发生。

综上所述，该工作不仅提供了Navier–Stokes方程中一种全新的奇异性机制，而且深刻揭示了非线性动力系统中确定性失效的可能性，无论初始状态多么规则。

3. Stability of the Rankine Vortex and Perimeter Growth in Vortex Patches

兰金涡旋的稳定性与涡旋斑块中周界的增长

作者: John Brownfield

类别: math.AP

发布日期: 2025-11-12

arXiv ID: 2511.09772v1

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

详细分析

中文标题: 兰金涡旋的稳定性与涡旋斑块中周界的增长

研究对象和背景

本文研究的是二维不可压缩欧拉方程中的涡旋斑块（vortex patch）动力学，特别是围绕兰金涡旋（Rankine vortex）的稳定性问题以及其扰动下边界周长的线性增长现象。核心方程是二维不可压缩欧拉方程的涡度形式：

$$ \partial_t \omega + u \cdot \nabla \omega = 0, $$

初始条件为 $\omega|_{t=0} = \omega_0$。其中速度场 $u$ 通过毕奥-萨伐尔定律（Biot-Savart Law）由涡度 $\omega$ 重构：

$$ u = K * \omega, \quad K(x) := \frac{x^\perp}{2\pi |x|^2} = \frac{1}{2\pi |x|^2}(-x_2, x_1). $$

这里 $x^\perp = (-x_2, x_1)$ 表示将向量 $x = (x_1, x_2)$ 逆时针旋转 $90^\circ$。该系统定义在全平面 $\mathbb{R}^2$ 上，无边界条件限制，体现了问题的整体性和非紧性特征。

一类特别重要的解是涡旋斑块（vortex patch），即初始涡度 $\omega_0$ 是某个有限测度集合的示性函数，例如 $\omega_0 = \mathbf{1}_{\Omega_0}$，其中 $\Omega_0 \subset \mathbb{R}^2$ 是一个开集。由于涡度满足输运方程，这种结构在演化过程中保持不变：$\omega_t = \mathbf{1}_{\Omega_t}$，其中 $\Omega_t$ 是 $\Omega_0$ 在由速度场诱导的拉格朗日流映射下的像。Yudovich 的经典理论保证了当 $\omega_0 \in L^1 \cap L^\infty$ 时，存在全局唯一的弱解。Chemin 进一步证明，若初始边界 $\partial \Omega_0$ 光滑，则此光滑性在有限时间内得以保持。

然而，近年来的研究热点转向了探索那些在无限时间内失去正则性的解，尤其是边界变得越来越复杂、产生细丝结构并导致周长无限增长的现象。这类解通常被构造为对简单稳态解（如兰金涡旋）的弱范数稳定扰动。稳定性分析常借助于欧拉方程的守恒量。在本文中，作者关注以下四个关键守恒量（当其有限时）：

  • 总涡度：$\int \omega \, dx$
  • 涡度中心：$\int x \omega \, dx$
  • 角动量：$\int |x|^2 \omega \, dx$
  • 动能：$\int |u|^2 \, dx$

本文的核心研究对象之一是兰金涡旋斑块，即 $\omega = \mathbf{1}_{B(0,r)}$ 或其平移 $\mathbf{1}_{B(a,r)}$。这是一个稳态解，因为其产生的速度场是纯旋转的：在圆盘内 $u_\theta = r/2$，在圆盘外 $u_\theta = 1/(2r)$，这使得整个斑块像刚体一样旋转。

论文的关键在于利用两个经过修改或替代的守恒量来建立稳定性估计。首先是角动量。对于固定总涡度和涡度中心在原点的情况，可以证明圆盘是角动量的唯一极小值点。Pulvirenti-Wan 和 Sideris-Vega 利用这一点在有界域和全平面分别建立了基于角动量偏差的 $L^1$ 稳定性估计。

另一个更为精细的工具是伪能量（pseudo-energy）。原始动能 $\int |u|^2$ 对于非平凡涡旋斑块在 $\mathbb{R}^2$ 上发散（因为 $u \sim 1/|x|$），因此不可用。但通过分部积分，可定义一个有限的、相关的守恒量——伪能量：

$$ E(\omega) := \frac{1}{2\pi} \iint_{\mathbb{R}^2 \times \mathbb{R}^2} \omega(x)\ln(|x-y|^{-1})\omega(y)\,dxdy. $$

在固定总涡度和涡度中心的前提下，圆盘（即兰金涡旋）是伪能量的最大化子。Tang 将 Pulvirenti-Wan 的结果推广到全平面，但其估计依赖于初始 $L^1$ 距离和角动量有界。本文的一大突破是摆脱了这些限制。

此外，本文研究的函数空间具有特殊性：$\omega: \mathbb{R}^2 \to [0,1]$，这比传统的示性函数（取值仅为 0 或 1）更一般，允许“部分填充”的涡度分布。这极大地扩展了适用范围，并使得分析更具挑战性。研究区域为全平面 $\mathbb{R}^2$，这带来了无穷远处行为处理的困难，尤其是在估计速度场和其与背景场的差时。

主要定理或主要结果

本文的核心成果包含三个主要定理：

定理 1.2 （$m$-折叠对称下的稳定性）：存在一个普适常数 $C > 0$，使得如果初值 $\omega_0: \mathbb{R}^2 \to [0,1]$ 满足 $m$-折叠对称性（即 $\omega_0 = \omega_0 \circ R_{2\pi/m}$，其中 $R_\theta$ 是旋转操作，$m \geq 2$），且总涡量为 $\pi r^2$，则对应二维不可压缩欧拉方程的解 $\omega_t$ 满足：

$$ \|\omega_t - \mathbf{1}_{B(0,r)}\|_{L^1}^2 \leq C(E(\mathbf{1}_{B(0,r)}) - E(\omega_0)) $$

对所有时间成立。

定理 1.3 （角动量有界下的稳定性）：设 $I, r > 0$。存在常数 $C = C(I,r) > 0$，使得如果初值 $\omega_0: \mathbb{R}^2 \to [0,1]$ 满足 $\int |x|^2\omega_0(x)dx \leq I$，$\int x\omega_0(x)dx = 0$（涡度中心在原点），且总涡量为 $\pi r^2$，则解 $\omega_t$ 满足：

$$ \|\omega_t - \mathbf{1}_{B(0,r)}\|_{L^1}^4 \leq C(E(\mathbf{1}_{B(0,r)}) - E(\omega_0)) $$

对所有时间成立。

定理 1.4 （线性时间周长增长）：存在一个单连通的开集 $\Omega_0 \subset \mathbb{R}^2$（具有光滑边界），使得以 $\omega_0 = \mathbf{1}_{\Omega_0}$ 为初值的涡旋斑块解 $\omega_t = \mathbf{1}_{\Omega_t}$ 满足：

$$ \text{Perimeter}(\Omega_t) \gtrsim t $$

对于足够大的时间 $t$ 成立。

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

a) 核心分析学工具

本文的证明巧妙地结合了多个现代分析工具。最根本的是变分方法和等周不等式型估计。作者引用了 Frank-Lieb 关于 Riesz 势的稳定性工作，将其应用于对数势，得到了关键的伪能量偏差控制 $L^1$ 范数偏差的命题（Proposition 1.1）。这个命题本质上是一个关于极大化解的稳定性不等式，它断言伪能量与最优值之间的差距可以控制解与最优集（这里是圆盘）在 $L^1$ 范数下的距离。

为了将这一泛函不等式应用到具体的动力学问题，作者使用了守恒量的性质。由于伪能量 $E(\omega)$ 和总涡量 $\int \omega$ 在欧拉方程的演化下是守恒的，因此 $E(\mathbf{1}_{B(0,r)}) - E(\omega_t)$ 是一个常数。一旦有了 Proposition 1.1，剩下的任务就是将 $\|\omega_t - \mathbf{1}_{B(0,r)}\|_{L^1}$ 与 $\inf_a \|\omega_t - \mathbf{1}_{B(a,r)}\|_{L^1}$ 联系起来。这正是 Proposition 3.1 和 3.2 的作用。

Proposition 3.1 针对 $m$-折叠对称的情况，它表明在所有可能的平移中，以原点为中心的圆盘已经是最优的近似。这个结论依赖于对称性带来的几何约束。其证明可能涉及将空间划分为扇区并利用对称性进行比较。Proposition 3.2 则针对角动量有界的情况，它利用角动量作为位置分散的度量，证明了如果质量不能太远离原点（角动量有界），那么最优的拟合圆盘也不能离原点太远。这个估计的证明很可能用到了柯西-施瓦茨不等式和一些几何测量论证。

最终，将 Proposition 1.1 与 Proposition 3.1/3.2 结合，再利用守恒律，就直接导出了 Theorem 1.2 和 1.3。这里的逻辑链条非常清晰：动力学守恒 → 泛函稳定性 → 几何定位 → 最终估计。

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

本文克服的技术难点主要体现在三个方面。第一，处理全平面上的估计。正如文中所述，速度场 $u$ 在无穷远处衰减缓慢，给 $L^2$ 估计带来困难。作者采用了标准的截断技巧：将积分区域划分为 $|x|<A$、$A<|x|<B$ 和 $|x|>B$ 三部分。在近原点区域，利用 $L^\infty$ 估计；在中间区域，利用已有的 $L^1$ 接近度；在远场区域，利用速度场本身的衰减性质（如文中引用的不等式 (2)）。通过精心选择截断参数 $A$ 和 $B$（如 $A = \tilde{\epsilon}^{1/2}$, $B = R^6\tilde{\epsilon}^{-1/2}$），可以平衡各项误差，得到最优的 $L^2$ 收敛率。

第二，处理从弱稳定性到强几何效应的转化。稳定性定理给出的是 $L^1$ 范数的接近，这是一种积分意义上的“平均”接近。而要证明周长增长，需要的是边界上局部的、剧烈的拉伸。作者通过引入万有覆叠空间（universal cover of $\mathbb{R}^2\setminus\{0\}$）的技巧解决了这一难题。将平面去掉原点后提升到柱面 $\mathbb{R} \times \mathbb{R}^+$ 上，角度变量 $\theta$ 可以自由增长而不受 $2\pi$ 周期性的限制。这样，流映射的提升 $\tilde{\Phi} = (\Phi_r, \Phi_\theta)$ 的 $\theta$ 分量可以直接衡量绕原点的总缠绕数。

第三，解决零测集上的动力学问题。边界 $\partial\Omega_t$ 是一个零测集，如何确保稳定性估计能影响其行为？作者没有直接追踪边界点，而是追踪边界外部（补集）中具有不同缠绕历史的点集。通过构造一个具有长臂的三折对称初始斑块 $\Omega_0$，确保了在任意时刻 $t$，都有远离原点的质量位于斑块外部。利用速度场接近兰金涡旋的纯旋转场这一事实，可以证明这些外部点的缠绕数会随时间线性增长，且增长率取决于它们到原点的距离。由于斑块整体 $L^1$ 接近单位圆盘，这些高速缠绕的外部点必然被“困”在边界附近，从而迫使边界本身必须发生剧烈的扭曲和拉伸以“跟随”这些点的运动，最终导致周长的线性增长。这是一个精妙的拓扑-动力学耦合论证。

与之前工作的比较

a) 突破与改进

本文相对于先前工作做出了几项显著的改进。首先，相比于 Tang [7] 的工作，本文的假设条件大大放宽。Tang 的稳定性估计要求初始数据不仅伪能量接近，而且 $L^1$ 距离也必须足够小，并且角动量有界。而本文的 Theorem 1.2 完全去除了对初始 $L^1$ 距离和平移对称性的要求，仅依赖于 $m$-折叠对称性和伪能量接近度。Theorem 1.3 虽然仍要求角动量有界，但也去除了初始 $L^1$ 接近的假设。这意味着本文的结果适用于一大类初始上就不接近圆盘，但因对称性或集中性而最终行为稳定的涡度分布。

其次，在结果强度上有所提升。Theorem 1.2 给出的是 $L^1$ 偏差的平方被伪能量偏差控制，而 Tang 的结果是线性控制。这表明本文的估计更精细，对小偏差提供了更强的信息。作者明确指出，Theorem 1.3 中的四次方指数是尖锐的（sharp），说明这个估计在数量级上是最优的。

最后，也是最突出的贡献，是成功构造了单连通的、周长线性增长的涡旋斑块（Theorem 1.4）。此前，Drivas-Elgindi-Jeong [3] 给出了多连通的例子，但他们所用的方法依赖于斑块内外均有质量环绕，从而直接利用剪切效应拉伸边界。这种方法无法应用于单连通情形，因为在单连通情况下，内部和外部的“桶”（buckets）之间缺乏足够的质量屏障。本文的创新之处在于，利用 $m$-折叠对称性和大角动量，在斑块外部人为制造了一个“遥远的质量源”。这个源虽然在补集中，但由于其巨大的径向距离和由此产生的高速旋转，通过 $L^1$ 稳定性形成的“拓扑障碍”，有效地驱动了边界的持续拉伸。这揭示了一种新的、基于对称性诱导的远场动力学来产生复杂边界的机制。

总而言之，本文通过深化对伪能量稳定性的理解，结合对称性分析和创新的拓扑动力学论证，不仅改进了经典的稳定性理论，还解决了长期存在的单连通斑块周长增长问题，为二维欧拉方程的复杂行为研究提供了新的视角和工具。

4. Euler equation on a fast rotating ellipsoid

快速旋转椭球上的欧拉方程

作者: Haoran Wu

类别: math.AP

发布日期: 2025-11-12

arXiv ID: 2511.09721v1

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

详细分析

中文标题: 快速旋转椭球上的欧拉方程

研究对象和背景

本文研究的是在快速旋转的二轴椭球面上不可压缩欧拉方程的动力学行为。与传统将行星大气流动建模为球面上流体运动的做法不同，作者考虑更符合真实天体几何结构的椭球模型，以期更准确地描述如木星、土星等具有显著扁率（flattening rate）的气态巨行星上的流体演化。

设 $E^2$ 为一个二轴椭球面，其长半轴为1，短半轴为 $b < 1$。椭球上任意一点 $P$ 的笛卡尔坐标由如下参数化给出：

$$ (x, y, z) = (\cos\theta \cos\phi, \cos\theta \sin\phi, b\sin\theta), $$

其中 $(\phi, \theta) \in [-\pi, \pi) \times [-\frac{\pi}{2}, \frac{\pi}{2}]$ 是角坐标，$\theta = 0$ 对应赤道，$\theta = \pm \frac{\pi}{2}$ 分别对应南北极。

该椭球以角速度 $\omega$ 绕其对称轴（$z$-轴）快速旋转。在此背景下，控制流体运动的基本方程是二维不可压缩欧拉方程，在曲面上带有科里奥利力项。论文中给出的主要系统为：

$$ \begin{cases} D_t u + \dfrac{2\omega \sin\theta}{\sqrt{\sin^2\theta + b^2 \cos^2\theta}} J u = -\nabla p, \\ \mathrm{div}\, u = 0, \end{cases} $$

其中：

  • $u$ 是切向速度场；
  • $D_t u = \partial_t u + \nabla_u u$ 是沿流线的物质导数；
  • $J u = u^\perp$ 表示将向量场逆时针旋转 $\pi/2$ 所得的正交场；
  • $p$ 是压力函数，由无散条件隐式决定；
  • 分母中的 $\sqrt{\sin^2\theta + b^2 \cos^2\theta}$ 源于椭球度量引起的几何修正因子。

通过简化可得等价形式：

$$ \partial_t u + \nabla_u u = -\dfrac{2\omega \sin\theta}{\sqrt{\sin^2\theta + b^2 \cos^2\theta}} u^\perp - \nabla p. $$

这一体系的关键特征在于：由于椭球不再是各向同性的球面，其高斯曲率随纬度变化，且科里奥利参数不再仅为纬度的正弦函数，而是受到 $b$ 影响的非均匀表达式。这种几何非对称性破坏了球面对称性，使得传统的球谐分析方法不能直接应用。

为了刻画快速旋转效应，引入罗斯贝数（Rossby number）：

$$ \varepsilon = \frac{U}{2\omega L}, $$

其中 $U, L$ 分别为典型速度和长度尺度。当 $\omega \to \infty$ 时，$\varepsilon \ll 1$，意味着科里奥利力主导动力学，系统进入准地转 regime，此时预期出现所谓的“纬向化现象”（zonalization），即时间平均后的流趋向于仅依赖纬度、不依赖经度的纬向流（zonal flow）。

本文关注的核心问题是：在快速旋转极限下（$\omega \gg 1$），解的时间平均是否趋于某种结构简单的稳态？特别地，是否仍然存在类似于球面上的纬向化趋势？

研究区域 $E^2$ 是一个紧致、光滑、无边界的二维黎曼流形，因此无需边界条件。函数空间方面，作者使用基于椭球调和函数（ellipsoidal harmonics）定义的索博列夫空间 $H^k(E^2)$。这些空间通过算子 $-\Delta$ 的谱展开来构造，尽管椭球上调和函数没有像球谐函数那样显式的闭式解，但作者仍利用其完备基底性质进行能量估计。

具体而言，对于零均值标量函数 $\Psi = \sum_{l,m} \psi_l^m Y_l^m$，定义其 $H^k$ 范数为：

$$ \|\Psi\|_{H^k(E^2)} = \left( \sum_{l,m} \Lambda_{l,m}^k |\psi_l^m|^2 \right)^{1/2}, $$

其中 $\Lambda_{l,m}$ 是拉普拉斯算子 $-\Delta$ 在椭球上的第 $(l,m)$ 个特征值，满足 Weyl 定律：$\Lambda_{l,m} \to \infty$ 当 $l \to \infty$。对于向量场 $u = \nabla^\perp \Psi$（无散部分），则定义：

$$ \|u\|_{H^k(E^2)} = \|\Psi\|_{H^{k+1}(E^2)}. $$

初始数据假设属于 $H^k(E^2)$，$k \geq 3$，保证了解的经典性（局部存在唯一光滑解）。整个分析框架建立在Hodge 分解之上：任意向量场 $u$ 可唯一分解为梯度场（无旋）与旋度场（无散）之和：

$$ u = \nabla \Phi + \nabla^\perp \Psi, $$

并由此导出关键恒等式：

$$ \nabla^\perp \Delta^{-1} \mathrm{curl}\, u = u_{\text{inc}}, \quad \nabla \Delta^{-1} \mathrm{div}\, u = u_{\text{irr}}. $$

正是这一分解使作者能够将原始方程重写为：

$$ \partial_t u + \nabla^\perp \Delta^{-1} \mathrm{curl}(\nabla_u u) = \omega \cdot L[u], $$

其中 $L[u]$ 是包含科里奥利项的核心线性算子，定义为：

$$ L[u] := \nabla^\perp \Delta^{-1} \mathrm{curl} \left( \frac{-2\sin\theta}{\sqrt{\sin^2\theta + b^2 \cos^2\theta}} u^\perp \right). $$

综上所述，本研究的对象是一个定义在非球形、旋转对称但非各向同性的曲面上的非线性偏微分方程组，其挑战来自于几何复杂性导致的传统对称性工具失效，目标则是揭示在强旋转极限下流体趋于简化的宏观结构——即纬向流吸引子的存在性与稳定性。

主要定理或主要结果

本文的主要结论由 Theorem 1.1 给出，它建立了在快速旋转极限下时间平均速度场的收敛性和有界性。

定理 1.1（快速旋转椭球上的纬向化）
考虑定义在二轴椭球 $E^2$ 上的不可压缩欧拉方程 (1.1)，初始速度场 $u_0 \in H^k(E^2)$，$k \geq 3$。定义时间平均流场为：

$$ \bar{u}(T, \cdot) := \frac{1}{T} \int_0^T u(t, \cdot)\, dt. $$

则存在仅依赖于初始数据的常数 $C_0, T_0 > 0$ 和一个函数 $f: [-1,1] \to \mathbb{R}$，使得对所有 $T \in [0, T_0 / \|u_0\|_{H^k}]$，有以下估计成立：

$$ \left\| \bar{u}(T, x, y, z) - \nabla^\perp f(z) \right\|_{H^{k-3}(E^2)} \leq \frac{C_0 M_0}{\omega T} + M_0^2, $$

其中 $M_0 := \|u_0\|_{H^k}$，而 $\nabla^\perp f(z)$ 是一个经度无关的纬向流，其具体形式为：

$$ \nabla^\perp f(z) = -f'\left( \frac{-2\sin\theta}{\sqrt{\sin^2\theta + b^2 \cos^2\theta}} \right) \cdot \frac{-2b^2 \cos\theta}{(\sin^2\theta + b^2 \cos^2\theta)^2} e_\phi. $$

该结果表明：

  1. 时间平均流 $\bar{u}$ 在 $H^{k-3}$ 范数下逼近某个仅依赖纬度（或等效地，$z$ 坐标）的纬向流；
  2. 误差随旋转速率 $\omega$ 增大而减小，体现快速旋转抑制非纬向扰动的机制；
  3. 收敛速度受制于时间窗口 $T$ 和初始能量 $M_0$；
  4. 结果独立于 $\omega$ 的大小，体现了一致估计的强度。

此外，文中还证明了支撑该主定理的一系列辅助结果，包括：

  • Lemma 3.1：刻画了算子 $L$ 的零空间 $\mathrm{null}(L)$，发现其恰好由所有经度无关的纬向流构成；
  • Lemma 3.2：给出了到 $\mathrm{null}(L)$ 上的 $L^2$ 正交投影 $Q_{\mathrm{null}(L)}$ 的显式表达；
  • Theorem 4.1：建立了关键估计 $\|u - Q_{\mathrm{null}(L)} u\|_{H^k} \leq \|L[u]\|_{H^{k+2}}$，这是实现时间平均控制的核心不等式。

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

a) 核心分析学工具

本文采用了一套结合几何 PDE 方法与时间平均理论的技术路线，其核心工具主要包括：

  1. Hodge 分解理论
    在紧致黎曼流形上，任何光滑向量场均可唯一分解为梯度场与旋度场之和。这一工具允许作者将原方程右侧的科里奥利项与压力项分别归入无旋与无散部分，从而提取出纯由科里奥利驱动的演化结构。特别地，利用：

    $$ \partial_t u = \text{incompressible part of RHS}, $$

    得到：

    $$ \partial_t u = \nabla^\perp \Delta^{-1} \mathrm{curl} \left( \omega \cdot \frac{-2\sin\theta}{\sqrt{\cdots}} u^\perp - \nabla_u u \right), $$

    进而分离出主导项 $L[u]$。

  2. 抽象平均引理（Averaging Lemma）
    文中引用并适配了 Cheng 与 Mahalov 提出的抽象框架（见 Lemma 1.1），用于处理高频振荡系统的时间平均行为。该引理适用于形如：

    $$ \partial_t u = \omega L[u] + f $$

    的系统，其中 $\omega \gg 1$ 导致 $L[u]$ 快速振荡。若能验证：

    • $L$ 是线性算子；
    • 存在投影 $Q$ 到 $\mathrm{ker}(L)$；
    • 满足估计 $\|u - Qu\|_{X_1} \lesssim \|L[u]\|_{X_2}$； 则可推出时间平均 $\bar{u}$ 接近 $Q\bar{u}$，且误差随 $\omega^{-1}$ 衰减。

    这一思想源自多尺度分析与动力系统中的快慢分解，是处理旋转流体中“滤除惯性波、保留平衡模态”的数学基础。

  3. Sobolev 空间与能量估计
    作者构建了基于椭球调和函数的 $H^k$ 范数体系，并借助谱展开进行精细估计。虽然无法获得精确特征值，但利用 Weyl 定律保证 $\Lambda_{l,m} \to \infty$，足以支持高阶能量控制。特别是对无散场 $u = \nabla^\perp \Psi$，其范数转化为流函数 $\Psi$ 的高阶导数控制。

  4. 算子理论与投影方法
    关键在于识别 $L[u] = 0$ 的解空间，即物理意义上的“不受科里奥利力扰动”的稳定流型。作者证明该零空间正好对应所有经度无关的纬向流，并通过积分平均构造了相应的 $L^2$ 投影算子 $Q_{\mathrm{null}(L)}$，其实现方式为：

    $$ Q_{\mathrm{null}(L)} u = \left( \frac{1}{2\pi \cos\theta} \oint_{C(\theta)} u \cdot e_\phi \, ds \right) e_\phi, $$

    即在每条纬线上取切向分量的平均。

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

  1. 克服几何非对称性：从球谐到椭球调和
    球面上可用标准球谐函数 $Y_l^m$ 展开，其满足 $\Delta Y_l^m = -l(l+1) Y_l^m$，且 $\partial_\phi Y_l^m = im Y_l^m$。但在椭球上，这些性质不再精确成立。作者的巧妙之处在于：并不追求显式解，而是假设存在一组完备正交基 $\{Y_l^m\}$，满足 $-\Delta Y_l^m = \Lambda_{l,m} Y_l^m$，并保留 $\partial_\phi Y_l^m = im Y_l^m$（因绕 $z$-轴旋转对称性仍存在）。这样便可形式化展开流函数 $\Psi$ 并推导 $L[u]$ 的谱表示：

    $$ L[\nabla^\perp \Psi] = \nabla^\perp \sum_{l,m} \frac{-im}{\Lambda_{l,m}} \tilde{\psi}_l^m Y_l^m, $$

    其中 $\tilde{\psi}_l^m$ 是加权内积系数。此形式虽非显式，但足以支持后续估计。

  2. 处理非线性项：能量法控制整体解的存在性
    方程中的 $\nabla_u u$ 是典型的二次非线性项，可能引发奇异性。作者采用标准能量方法，在 $H^k$ 空间中估计：

    $$ \frac{d}{dt} \|u\|_{H^k}^2 \lesssim \|u\|_{W^{1,\infty}} \|u\|_{H^k}^2, $$

    再结合 Sobolev 嵌入 $H^3 \hookrightarrow W^{1,\infty}$，得到局部解存在时间仅依赖于 $\|u_0\|_{H^3}$，与 $\omega$ 无关。这是实现“一致估计”的前提。

  3. 控制科里奥利项的振荡：利用零空间结构与谱间隙
    非零 $m$ 模态在 $L[u]$ 中被因子 $1/\Lambda_{l,m}$ 抑制，而 $m=0$ 模态（即纬向流）恰好落在 $\mathrm{null}(L)$ 中。因此，只要证明：

    $$ \|u - Q u\|_{H^k} \lesssim \|L[u]\|_{H^{k+2}}, $$

    就能说明非纬向成分被高频旋转迅速平均掉。这一估计依赖于：

    $$ \Lambda_{l,m}^{k+1} \lesssim \Lambda_{l,m}^{k+3} \left| \frac{m}{\Lambda_{l,m}} \right|^2, $$

    成立是因为 $|m| \leq l$ 且 $\Lambda_{l,m} \sim l^2$。

  4. 避免显式求解椭球调和函数
    作者并未尝试求解复杂的勒让德型微分方程来获得 $Y_l^m$，而是将其视为抽象谱基，仅使用其基本性质（正交性、特征值发散、$\phi$-导数行为）。这种“黑箱”处理极大简化了技术细节，突出了几何与动力学的本质联系。

与之前工作的比较

a) 相较于 Cheng & Mahalov [1] 的推广

本文最直接的前驱工作是 Cheng 与 Mahalov 对快速旋转球面上欧拉方程的研究。他们首次严格证明了时间平均流趋于纬向流的现象。本文的主要突破在于将这一结果从完美球面推广到二轴椭球面，实现了以下改进：

  1. 几何真实性提升：
    球面模型忽略行星扁率，而实际如土星扁率达 0.1，球面近似已不足（Haziot [5] 已指出其局限）。本文采用椭球模型，纳入了真实的几何畸变，使理论更贴近观测。

  2. 科里奥利剖面的非均匀性：
    在球面上，科里奥利参数为 $2\omega \sin\theta$；而在椭球上变为：

    $$ \frac{2\omega \sin\theta}{\sqrt{\sin^2\theta + b^2 \cos^2\theta}}, $$

    这一修正改变了有效位涡结构，影响 Rossby 波传播。作者成功将原有框架适应此变系数情形，展示了理论的鲁棒性。

  3. 保持核心现象不变：
    尽管几何对称性降低，但“纬向化”现象依然存在。这说明该行为是快速旋转下的普遍规律，而非球面对称性的特例。这一发现弥合了球面与椭球理论之间的鸿沟。

b) 相较于 Xu [2] 的深化

Xu 研究了椭球上的 Rossby-Haurwitz 解（一类精确的纬向流解），但未涉及一般初值下的长时间行为。本文不仅涵盖此类解，还进一步证明：任意初值的时间平均都会趋近某纬向流。因此，本文结果更强，属于动力学稳定性层面的结论。

c) 方法论上的延续与创新

作者完全继承了 Cheng–Mahalov 的算子平均框架，但必须重新验证所有步骤在椭球几何下的有效性：

  • 重新定义 $L[u]$；
  • 重新刻画 $\mathrm{null}(L)$；
  • 重建投影算子；
  • 重构 Sobolev 范数体系。

这些都不是平凡的坐标变换，而是需要深入理解 Hodge 理论在非标准度量下的表现。例如，$\nabla^\perp$ 的具体形式依赖于度量行列式，直接影响 $L[u]$ 的结构。

总之，本文并非简单模仿，而是在更高几何复杂度下重建了整个分析大厦，证明了经典现象在更现实模型中的持久性，标志着从理想化理论向物理真实迈出了重要一步。

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

1. Restriction estimates for 2D surfaces of finite type 3 and applications to dispersive equations

有限型3的二维曲面的限制性估计及其在色散方程中的应用

作者: Jiajun Wang

类别: math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10538v1

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

摘要翻译

中文标题: 有限型3的二维曲面的限制性估计及其在色散方程中的应用

摘要翻译: 本文通过归约到Guth关于扰动抛物面的结果以及Buschenhenke-Müller-Vargas关于扰动双曲面的结果，证明了二维曲面 $ S := \{(\xi_1, \xi_2, \xi_1^3 \pm \xi_2^3) : (\xi_1, \xi_2) \in [0,1]^2\} $ 的限制性估计。该方法基于文献[LMZ21a]中发展的重标度技术。此外，我们将利用这些估计对离散非线性薛定谔方程进行更深入的分析。

2. An initial-boundary value problem describing moisture transport in porous media: existence of strong solutions and an error estimate for a finite volume scheme

一个描述多孔介质中湿气输运的初边值问题：强解的存在性及有限体积格式的误差估计

作者: Akiko Morimura, Toyohiko Aiki

类别: math.AP, math.NA

发布日期: 2025-11-13

arXiv ID: 2511.10378v1

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

摘要翻译

中文标题: 一个描述多孔介质中湿气输运的初边值问题：强解的存在性及有限体积格式的误差估计

摘要翻译: 本文研究了一个由多孔介质中湿气输运数学模型导出的初边值问题。我们建立了强解的存在性，并对通过有限体积法构造的近似解给出了误差估计。在证明误差估计的过程中，连续函数与分片常数函数之间差值的Gagliardo–Nirenberg型不等式起到了关键作用。

3. Analysis of the adhesion model and the reconstruction problem in cosmology

粘附模型与宇宙学中重构问题的分析

作者: Jian-Guo Liu, Robert L. Pego

类别: math.AP, math-ph

发布日期: 2025-11-12

arXiv ID: 2511.09800v1

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

摘要翻译

中文标题: 粘附模型与宇宙学中重构问题的分析

摘要翻译: 在宇宙学中，泽尔多维奇近似为观测到的质量在孤立结构中的集中现象提供了基本解释，该近似在共动坐标系下表现为对均匀爱因斯坦-德西特宇宙微扰的自由流动。粘附模型通过引入黏性来抑制多流效应。我们通过对零黏性极限下拉格朗日输运的分析，研究该模型中的质量流动。在较弱条件下，我们证明存在唯一的极限拉格朗日子流。粒子轨迹在碰撞后粘连在一起，并由一个微分包含关系唯一刻画。质量测度的绝对连续部分与通过对自由流动速度势进行凸化所导出的蒙日-安培测度一致；但当沿奇异结构的流动发生合并时，这两种测度的奇异部分可能不同，这一点通过二维黎曼问题的分析得以揭示。布伦耶与弗里施等人（《皇家天文学会月报》346卷，2003年）首次将蒙日-安培测度与最优传输理论应用于宇宙学中逆拉格朗日映射的重构。然而，在我们例子中奇异结构合并区域的邻域内，我们证明：即使在奇点之外，能够产生单调拉格朗日映射的重构也不可能几乎处处精确。

4. Singular, finite-time $L^2$ attractors for odd, smooth solutions of Burgers equation on the torus

环面上Burgers方程奇光滑解的奇异有限时间 $L^2$ 吸引子

作者: Evan Miller

类别: math.AP

发布日期: 2025-11-12

arXiv ID: 2511.09528v1

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

摘要翻译

中文标题: 环面上Burgers方程奇光滑解的奇异有限时间 $L^2$ 吸引子

摘要翻译: 本文证明了某一特定函数 $F$ 的正倍数——该函数在原点处具有跳跃间断，呈现奇异性——对于一维无粘Burgers方程的一般奇光滑解而言，在 $L^2$ 空间中是有限时间的全局吸引子。此外，导出这一结果的恒等式还为分形Burgers方程在超临界范围 $0 < \alpha < \frac{1}{2}$ 内的有限时间爆破现象提供了另一种证明途径。该证明基于解与全局吸引子 $F$ 之间内积所构成的Lyapunov泛函的下界估计。我们还将证明，这一性质对一类更广泛的奇函数成立，这类函数在区间 $(0, \pi)$ 上严格递增。

不相关论文（基本信息）

1. On Rayleigh quotients connected to $p$-Laplace equations with polynomial nonlinearities

关于与具多项式非线性的 $p$-Laplace 方程相关的 Rayleigh 商

作者: Vladimir Bobkov, Mieko Tanaka

类别: math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10199v1

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

摘要: Let $Ω$ be a bounded open set and $p,q,r>1$. The main observation of the present work is the following: $W_0^{1,p}(Ω)$-solutions of the equation $-Δ_p u = μ|u|^{q-2}u + |u|^{r-2}u$ parameterized by $μ$ are in bijection with properly normalized critical points of the $0$-homogeneous Rayleigh type quotient $R_α(u)=\|\nabla u\|_p^p/ (\|u\|_q^{αp} \|u\|_r^{p-αp})$ parameterized by $α$. We study this bijection and properties of $R_α$ for various relations between $p,q,r$. In particular, for the generalized convex-concave problem (the case $q<p<r$) the bijection allows to provide the existence and characterization of all degenerate solutions corresponding to the inflection point of the fibred energy functional: they are critical points of $R_α$ exclusively with $α= (r-p)/(r-q)$. In the subhomogeneous case $q<r \leq p$ and under additional assumptions on $Ω$, the ground state level of $R_α$ is simple and isolated, and minimizers of $R_α$ exhaust the whole set of sign-constant solutions of the corresponding equation. In the superhomogeneous case $p < q<r$, there are no sign-changing critical points in a vicinity of the ground state level of $R_α$.

2. Explicit pulsating fronts and minimal speeds in periodic Fisher-KPP equations

周期性Fisher-KPP方程中的显式脉动前沿与最小波速

作者: Lionel Roques

类别: math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10104v1

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

摘要: We study a Fisher-KPP equation with spatially periodic diffusion and reaction terms. We identify a class of periodic media for which the equation admits an explicit, closed-form solution. Through a nonlinear change of variables, the problem is reduced to the homogeneous Fisher-KPP equation, allowing us to construct an exact pulsating traveling front that connects the positive periodic stationary state to 0. We also derive an explicit expression for the asymptotic spreading speed and establish new asymptotic and comparison results.

3. Locally uniform ellipticity of the fractional Hessian operators

分数阶Hessian算子的局部一致椭圆性

作者: Ziyu Gan, Heming Jiao

类别: math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10034v1

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

摘要: In [1], Caffarelli-Charro introduced a fractional Monge-Ampère operator. Later, Wu [17] generalized it to a fractional analogue of $k$-Hessian operators and proved the strict ellipticity for $k=2$. In this paper, we introduce a fractional analogue of general Hessian operators and prove the stability. We also show that the fractional analogue $k$-Hessian operators defined in [17] are strictly elliptic with respect to convex solutions for all $2 \leq k \leq n$. Furthermore, we provide a new proof for the case $k=2$ without the convexity condition.

4. A unified approach to Hardy-type inequalities with Bessel pairs

基于贝塞尔对的哈代型不等式的统一方法

作者: Lucrezia Cossetti, Lorenzo D’Arca

类别: math.AP, math.SP

发布日期: 2025-11-13

arXiv ID: 2511.10039v1

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

摘要: In this paper, we provide suitable characterisations of pairs of weights $(V,W),$ known as Bessel pairs, that ensure the validity of weighted Hardy-type inequalities. The abstract approach adopted here makes it possible to establish such inequalities also going beyond the classical Euclidean setting and also within a more general $L^p$ framework. As a byproduct of our method, we obtain explicit expressions for the maximizing functions and, in certain specific situations, we show that the associated constants are sharp. We emphasise that our approach unifies, generalises and improves several existing results in the literature.

5. Sign-changing solutions to the Escobar problem on manifolds with boundary

流形边界上Escobar问题的变号解

作者: Mónica Clapp, Benedetta Pellacci, Angela Pistoia

类别: math.DG, math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10553v1

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

摘要: Let $(M, g)$ be a $n-$dimensional compact Riemannian manifold with boundary. The Escobar problem concerning the existence of a metric conformally equivalent to $g$ having constant scalar curvature on $M$ and constant mean curvature on its boundary is equivalent, in analytic terms, to finding a positive solution to a nonlinear boundary-value problem with critical growth. While the existence of positive solutions to this problem is by now well understood, the existence of sign-changing (nodal) solutions remains largely open. In this work we establish the existence of least-energy sign-changing solutions in two particular cases: the scalar-flat problem, where the scalar curvature on $M$ is zero and the mean curvature of its boundary is constant, and the minimal boundary problem, where the mean curvature of the boundary vanishes and the scalar curvature of $M$ is constant. More precisely, we prove that if $n\ge7$ and $M$ has a nonumbilic boundary point, then both problems admit least-energy nodal solutions. In addition, we show that when $n\ge5$, the minimal boundary problem possesses infinitely many sign-changing solutions on the unit ball. Our approach is variational and relies on the analysis of suitable conformal invariants and sharp energy estimates derived from Escobar’s work.

6. On smooth approximation of integral cycles mod 2

关于模2整数圈的光滑逼近

作者: Gianmarco Caldini

类别: math.DG, math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10545v1

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

摘要: We prove that every mod 2 integral cycle $T$ in a Riemannian manifold $\mathcal{M}$ can be approximated in flat norm by a cycle which is a smooth submanifold $Σ$ of nearly the same area, up to a singular set of codimension 3; in addition, this estimate on the singular set can be refined depending on the codimension of the cycle. Moreover, if the mod 2 homology class $τ$ admits a smooth embedded representative, then $Σ$ can be chosen free of singularities. This article provides the unoriented version of the smooth approximation theorem for integral cycles.

7. Kinetic Theory with Fluctuations: Strong Well-Posedness of the Vlasov-Fokker-Planck-Dean-Kawasaki System

具有涨落的动理学理论：Vlasov-Fokker-Planck-Dean-Kawasaki 系统的强适定性

作者: Zimo Hao, Zhengyan Wu, Johannes Zimmer

类别: math.PR, math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10194v1

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

摘要: We establish the well-posedness of the Vlasov-Fokker-Planck-Dean-Kawasaki (VFPDK) equation with correlated noise, which arises as a fluctuating mean-field limit of second-order Newtonian particle systems. We focus on the case of bounded nonlocal interactions and a diffusion coefficient of square-root type. In this setting, we prove existence and uniqueness of renormalized kinetic solutions. The proof relies on a novel combination of kinetic semigroup estimates with the framework of renormalized kinetic solutions.

8. The Age-Structured Chemostat with Substrate Dynamics as a Control System

具有底物动态的年龄结构化恒化器作为控制系统

作者: Iasson Karafyllis, Dionysis Theodosis, Miroslav Krstic

类别: math.OC, eess.SY, math.AP, q-bio.PE

发布日期: 2025-11-13

arXiv ID: 2511.09963v1

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

摘要: In this work we study an age-structured chemostat model with a renewal boundary condition and a coupled substrate equation. The model is nonlinear and consists of a hyperbolic partial differential equation and an ordinary differential equation with nonlinear, nonlocal terms appearing both in the ordinary differential equation and the boundary condition. Both differential equations contain a non-negative control input, while the states of the model are required to be positive. Under an appropriate weak solution framework, we determine the state space and the input space for this model. We prove global existence and uniqueness of solutions for all admissible initial conditions and all allowable control inputs. To this purpose we employ a combination of Banach’s fixed-point theorem with implicit solution formulas and useful solution estimates. Finally, we show that the age-structured chemostat model gives a well-defined control system on a metric space.

9. Observable sets for free Schrödinger equation on combinatorial graphs

组合图上自由薛定谔方程的可观测集

作者: Zhiqiang Wan, Heng Zhang

类别: math.AP, math.CO

发布日期: 2025-11-13

arXiv ID: 2511.10358v1

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

摘要: We study observability for the free Schrödinger equation $\partial_t u = iΔu$ on combinatorial graphs $G=(\mathcal{V},\mathcal{E})$. A subset $E\subset\mathcal{V}$ is observable at time $T>0$ if there exists $C(T,E)>0$ such that for all $u_0\in l^2(\mathcal{V})$,

$$ \|u_0\|_{l^2(\mathcal{V})}^2 \le C(T,E)\int_0^T \|e^{itΔ}u_0\|_{l^2(E)}^2\,dt. $$

On the one-dimensional lattice $\mathbb{Z}$ we obtain a sharp threshold for thick sets: if $E\subset\mathbb{Z}$ is $γ$-thick with $γ\geq1/2$, then $E$ is observable at some time; conversely, for every $γ<1/2$ there exists a $γ$-thick set that is not observable at any time. This critical threshold marks the exact point where the discrete lattice departs from the real line: on the lattice it must be attained, whereas on $\R$ any $γ$-thick set with $γ>0$ already suffices. On $\mathbb{Z}^d$ we show that complements of finite sets are observable at any time $T>0$. This is a similar result to Euclidean space $\R^d$: any set that contains the exterior of a finite ball is observable at any time, in analogy with the free Schrödinger flow on $\mathbb{R}^d$. For finite graphs we give an equivalent characterization of observability in terms of the zero sets of Laplacian eigenfunctions. As an application, we construct unobservable sets of large density on discrete tori, in contrast with the continuous torus $\mathbb{T}^d$, where every nonempty open set is observable.

10. Dynamical functionals on ancient ARF Ricci flows

古典ARF Ricci流上的动力学泛函

作者: Isaac M. Lopez, Rio Schillmoeller

类别: math.DG, math.AP

发布日期: 2025-11-13

arXiv ID: 2511.10460v1

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

摘要: We introduce a dynamical energy functional on compact ancient asymptotically Ricci-flat Ricci flows with modest decay using limits of conjugate heat flows. This functional satisfies a steady Ricci breather-type rigidity and provides an upper bound for the ordinary $λ$-functional while retaining many of its properties. In addition, motivated by work of Colding and Minicozzi, we derive local eigenvalue estimates for normalized Ricci flows coupled with conjugate heat flows.

11. Uniqueness results for positive harmonic functions on manifolds with nonnegative Ricci curvature and strictly convex boundary

关于具有非负Ricci曲率和严格凸边界的流形上正调和函数的唯一性结果

作者: Xiaohan Cai

类别: math.AP, math.DG

发布日期: 2025-11-13

arXiv ID: 2511.09994v1

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

摘要: We prove some Liouville-type theorems for positive harmonic functions on compact Riemannian manifolds with nonnegative Ricci curvature and strictly convex boundary, thereby confirming some cases of Wang’s conjecture (J. Geom. Anal. 31, 2021). We further investigate Wang’s conjecture on warped product manifolds and provide a partial verification of this conjecture, which also yields an alternative proof of Gu-Li’s resolution of the conjecture in the $\mathbb{B}^n$ case (Math. Ann. 391, 2025). Our approach is based on a general principle of employing the P-function method to such Liouville-type results, with particular emphasis on the role of a closed conformal vector field inherent to such manifolds.

12. Sample Complexity of Quadratically Regularized Optimal Transport

二次正则化最优传输的样本复杂度

作者: Alberto González-Sanz, Eustasio del Barrio, Marcel Nutz

类别: math.ST, math.AP, math.OC, math.PR

发布日期: 2025-11-12

arXiv ID: 2511.09807v1

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

摘要: It is well known that optimal transport suffers from the curse of dimensionality: when the prescribed marginals are approximated by i.i.d. samples, the convergence of the empirical optimal transport problem to the population counterpart slows exponentially with increasing dimension. Entropically regularized optimal transport (EOT) has become the standard bearer in many statistical applications as it avoids this curse. Indeed, EOT has parametric sample complexity, as has been shown in a series of works based on the smoothness of the EOT potentials or the strong concavity of the dual EOT problem. However, EOT produces full-support approximations to the (sparse) OT problem, leading to overspreading in applications, and is computationally unstable for small regularization parameters. The most popular alternative is quadratically regularized optimal transport (QOT), which penalizes couplings by $L^2$ norm instead of relative entropy. QOT produces sparse approximations of OT and is computationally stable. However, its potentials are not smooth (do not belong to a Donsker class) and its dual problem is not strongly concave, hence QOT is often assumed to suffer from the curse of dimensionality. In this paper, we show that QOT nevertheless has parametric sample complexity. More precisely, we establish central limit theorems for its dual potentials, optimal couplings, and optimal costs. Our analysis is based on novel arguments that focus on the regularity of the support of the optimal QOT coupling. Specifically, we establish a Lipschitz property of its sections and leverage VC theory to bound its statistical complexity. Our analysis also leads to gradient estimates of independent interest, including $C^{1,1}$ regularity of the population potentials.