生成时间: 2026年04月22日 05:21:43

重点关注论文数量: 5

了解领域论文数量: 9

不相关论文数量: 12

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

1. 广义SQG方程在无粘极限下的哈密顿紧性与耗散

Hamiltonian compactness and dissipation for the generalized SQG equation in the inviscid limit

作者: Luigi De Rosa, Utku Kemal Yuzbasioglu

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19732v1

摘要翻译: 我们考虑具有任意阶分数拉普拉斯耗散的耗散型广义表面拟地转（SQG）方程。在无粘极限下，证明了：只要解在使非线性项良定义的最低范数意义下具有强紧性，则哈密顿量的反常耗散即被阻止。事实上，仅特定频率上的动力学起作用。该论证具有相当的鲁棒性，适用于任意临界性情形，且不依赖于是否存在（可能非紧的）外部强迫项。这揭示了近期关于纳维–斯托克斯方程及临界耗散SQG方程所得若干结果背后更普遍的机制。由于非唯一性问题，在我们更宽泛的框架下，有必要采用满足适当高阶先验估计的Leray解；我们证明了此类解的存在性，该结果本身亦具独立兴趣。最后，我们证明：对任一具有临界可积性的初始数据，强紧性均得以保证，从而推出无粘问题存在全局保守的弱解——尽管这些解在Onsager意义下属于超临界类。这是迄今所知能保证全局存在的最大初始数据类，与Delort在端点情形所考虑的初值类相吻合。

Comment: 29 pages

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

1. 研究对象和背景

本文研究广义表面准地转方程（generalized Surface Quasi-Geostrophic equation, gSQG）在无粘极限下的哈密顿量紧性与耗散关系。研究对象是定义在环面 $\mathbb{T}^2 \times [0, \infty)$ 上的方程：

\begin{cases} \partial_t \theta^\nu + u^\nu \cdot \nabla \theta^\nu + \nu(-\Delta)^\gamma \theta^\nu = f^\nu \\ u^\nu = \mathcal{R}^\perp_\alpha \theta^\nu \\ \theta^\nu(\cdot, 0) = \theta^\nu_0 \end{cases} (\text{gSQG}^\nu)

其中 $\mathcal{R}^\perp_\alpha := \nabla^\perp(-\Delta)^{-\alpha}$ 是正交广义 Riesz 变换， $\nu \in (0, 1)$ 为粘性参数， $\theta^\nu_0$ 为初始数据， $f^\nu$ 为外力项，且满足零平均条件 $\int_{\mathbb{T}^2} \theta^\nu_0(x)\,dx = 0$ 和 $\int_{\mathbb{T}^2} f^\nu(x,t)\,dx = 0$ （对几乎所有 $$t > 0$$ ）。参数 $\alpha \in (0, 1]$ 和 $\gamma \in (0, \infty)$ 的取值决定了方程的临界性：当 $\alpha = 1 - \gamma$ 时为临界情形， $\alpha < 1 - \gamma$ 为超临界情形， $\alpha > 1 - \gamma$ 为次临界情形。特别地，当 $\alpha = 1$ 时，非线性项对应于不可压缩 Euler 方程的涡度形式；当 $\alpha = 1/2$ 时，对应于标准 SQG 方程。

关键未知量是标量场 $\theta^\nu$ ，其哈密顿量定义为 $\|\theta^\nu(t)\|^2_{\dot{H}^{-\alpha}}$ ，满足能量平衡式：

\frac{1}{2}\frac{d}{dt}\|\theta^\nu(t)\|^2_{\dot{H}^{-\alpha}} + \nu\|\theta^\nu(t)\|^2_{\dot{H}^{\gamma-\alpha}} = \langle f^\nu(t), \theta^\nu(t)\rangle_{\dot{H}^{-\alpha}}

其中 $\dot{H}^{-\alpha}(\mathbb{T}^2)$ 范数是使非线性项良定义的最小正则性空间（参见第 2.3 节）。研究此方程在 $\nu \to 0^+$ 时的行为对于理解湍流理论中的异常耗散现象至关重要。在三维湍流中，强紧性和异常耗散可以共存（如 Kolmogorov 理论所示），但在二维情形下，近期研究 [15, 26, 45, 54] 表明在特定参数下（如 $\alpha = \gamma = 1$ 对应 Navier-Stokes 方程， $\alpha = \gamma = 1/2$ 对应 SQG 方程），哈密顿范数中的强紧性会阻止异常耗散。然而，这些结果仅适用于特定参数值，缺乏统一框架。本文试图填补这一空白，建立适用于任意 $\alpha$ 和 $\gamma$ 的一般理论，并揭示二维湍流中 “逆级联” 现象与无异常耗散之间的潜在联系。特别地，本文证明了 $\dot{H}^{-\alpha}(\mathbb{T}^2)$ 是满足以下性质的 Banach 空间 $$X$$ ：(1) 使非线性项在分布意义下良定义；(2) 在无粘情况下范数形式守恒；(3) $$X$$ 中的强紧性阻止其自身的异常耗散。这一发现统一了先前针对特定方程的结果，并揭示了更普遍的机制。

2. 主要定理或主要结果

定理 1.1（紧性与耗散）：设 $\alpha \in (0, 1]$ 和 $\gamma \in (0, \infty)$ 任意。设 $\{\theta^\nu_0\}_\nu$ 为零平均初始数据序列， $\{f^\nu\}_\nu$ 为外力序列（对几乎所有时间具有零空间平均）。假设：(i) $\{\theta^\nu_0\}_\nu$ 在 $\dot{H}^{-\alpha}(\mathbb{T}^2)$ 中强紧；(ii) 若 $\alpha \leq \gamma$ ，则 $\{f^\nu\}_\nu$ 在 $L^{\frac{\alpha+\gamma}{\gamma}}([0, T]; \dot{H}^{-\alpha}(\mathbb{T}^2))$ 中有界；若 $\alpha > \gamma$ ，则 $\{f^\nu\}_\nu$ 在 $L^\infty([0, T]; \dot{H}^{-\gamma}(\mathbb{T}^2))$ 中有界。则对任意由命题 2.8 构造的 (gSQG $^\nu$ ) 弱解序列 $\{\theta^\nu\}_\nu$ ，有：

\{\theta^\nu\}_\nu \subset L^2([0, T]; \dot{H}^{-\alpha}(\mathbb{T}^2)) \text{ 强紧 } \Longrightarrow \lim_{\nu \to 0^+} \nu \int_0^T \|\theta^\nu(t)\|^2_{\dot{H}^{\gamma-\alpha}} \,dt = 0

其中误差阶为 $$o(1)$$ ，且该结果不依赖于临界性区域或外力的紧性。定理 2.13 进一步证明了仅需 “特定频率处的紧性” 即可排除耗散异常。

定理 1.3（全局存在性）：设 $\alpha \in (0, 1)$ 任意，令 $p_\alpha := \frac{2}{1+\alpha}$ 。设 $\theta_0 \in L^{p_\alpha}(\mathbb{T}^2)$ 为零平均初始数据， $f \in L^1_{\text{loc}}([0, \infty); L^{p_\alpha}(\mathbb{T}^2)) \cap L^{1+\alpha}_{\text{loc}}([0, \infty); \dot{H}^{-\alpha}(\mathbb{T}^2))$ 且几乎处处时间具有零空间平均。则存在全局弱解 $\theta \in C^0([0, \infty); \dot{H}^{-\alpha}(\mathbb{T}^2)) \cap C^0_w([0, \infty); L^{p_\alpha}(\mathbb{T}^2))$ 满足：

\int_{\mathbb{T}^2} \theta(x, t) \,dx = 0, \quad \|\theta(t)\|^2_{\dot{H}^{-\alpha}} = \|\theta_0\|^2_{\dot{H}^{-\alpha}} + 2 \int_0^t \langle f(\tau), \theta(\tau)\rangle_{\dot{H}^{-\alpha}} \,d\tau

\|\theta(t)\|_{L^{p_\alpha}} \leq \|\theta_0\|_{L^{p_\alpha}} + \int_0^t \|f(\tau)\|_{L^{p_\alpha}} \,d\tau

对所有 $t \geq 0$ 成立。该解通过粘性消失法构造，且当 $\alpha \to 1^-$ 时 $p_\alpha \to 1^+$ ，与 Euler 方程的 Delort 理论在端点处匹配。这是目前已知最广泛的初始数据类，保证了 (gSQG) 的全局存在性。

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

证明的核心在于三个相互独立的关键步骤：

(1) 高阶估计：证明对任意 $\delta > 0$ ，存在隐含常数使得

\nu^{\frac{\alpha+\gamma}{\gamma}} \int_\delta^T \|\theta^\nu(t)\|^2_{\dot{H}^\gamma} \,dt \lesssim 1, \quad \forall \nu > 0

该估计通过插值不等式 $\|\theta^\nu(t)\|_{L^2} \lesssim \|\theta^\nu(t)\|^\frac{\gamma}{\alpha+\gamma}_{\dot{H}^{-\alpha}} \|\theta^\nu(t)\|^\frac{\alpha}{\alpha+\gamma}_{\dot{H}^\gamma}$ 和能量平衡式 $\frac{d}{dt}\|\theta^\nu(t)\|^2_{L^2} = -2\nu\|\theta^\nu(t)\|^2_{\dot{H}^\gamma}$ 推导得到。积分微分不等式得 $\|\theta^\nu(t)\|^2_{L^2} \lesssim (\nu t)^{-\alpha/\gamma}$ ，从而得出高阶估计。当 $\alpha > \gamma$ 时，由于耗散不足，需采用 Gronwall 论证，导致对时间变量的更强假设。

(2) 正时间耗散分裂：定义傅里叶投影 $g_{\leq N}(x) := \sum_{n \in \mathbb{Z}^2, |n| \leq N} \hat{g}(n)e^{in \cdot x}$ 和 $g_{>N} := g - g_{\leq N}$ ，证明对任意 $\delta > 0$ ：

\nu \int_\delta^T \|\theta^\nu(t)\|^2_{\dot{H}^{\gamma-\alpha}} \,dt \lesssim \nu N^{2\gamma} + \Phi^{\frac{\alpha}{\alpha+\gamma}}(N)

其中 $\Phi(N) := \sup_{\nu > 0} \int_\delta^T \|\theta^\nu_{>N}(t)\|^2_{\dot{H}^{-\alpha}} \,dt$ 。低频部分通过哈密顿量控制： $\|\theta^\nu_{\leq N}(t)\|^2_{\dot{H}^{\gamma-\alpha}} \leq N^{2\gamma}\|\theta^\nu(t)\|^2_{\dot{H}^{-\alpha}} \lesssim N^{2\gamma}$ ；高频部分通过插值得到： $\|\theta^\nu_{>N}(t)\|_{\dot{H}^{\gamma-\alpha}} \lesssim \|\theta^\nu_{>N}(t)\|^\frac{\alpha}{\alpha+\gamma}_{\dot{H}^{-\alpha}} \|\theta^\nu(t)\|^\frac{\gamma}{\alpha+\gamma}_{\dot{H}^\gamma}$ 。结合高阶估计和 H"older 不等式即得结果。若 $\{\theta^\nu\}_\nu$ 在 $L^2([0, T]; \dot{H}^{-\alpha}(\mathbb{T}^2))$ 中强紧，则 $\Phi(N) \to 0$ 当 $N \to \infty$ ，从而排除 $t > \delta$ 时的异常耗散。

(3) 无瞬时耗散：证明

\{\theta^\nu_0\}_\nu \subset \dot{H}^{-\alpha}(\mathbb{T}^2) \text{ 强紧 } \Longrightarrow \lim_{\delta \to 0^+} \sup_{\nu > 0} \nu \int_0^\delta \|\theta^\nu(t)\|^2_{\dot{H}^{\gamma-\alpha}} \,dt = 0

即哈密顿量的耗散不能在时间上瞬时发生。这通过在弱形式中选择适当的测试函数实现（参见命题 2.10 的证明）。

创新点在于：(1) 建立了适用于任意 $\alpha$ 和 $\gamma$ 的统一框架，揭示了二维湍流中 “逆级联” 与无异常耗散的联系；(2) 证明了满足高阶估计的 Leray 解的存在性（命题 2.8），这在非唯一性背景下至关重要；(3) 通过解的分裂技术（引理 3.1）克服了临界嵌入 $L^{p_\alpha}(\mathbb{T}^2) \subset \dot{H}^{-\alpha}(\mathbb{T}^2)$ 的连续性而非紧性问题，证明了强紧性；(4) 发现 $\alpha = \gamma$ 阈值（而非临界性阈值 $\alpha = 1 - \gamma$ ）在高阶估计中的关键作用，且 $\alpha \leq \gamma$ 和 $\alpha > \gamma$ 两种情形的证明方法截然不同。

4. 与之前工作的比较

与先前工作的比较：

推进与统一性：本文结果统一了 [15, 26, 45, 54] 中针对特定方程的结论。当 $\alpha = \gamma = 1$ 时，本文定理 1.1 恢复了 [54] 中 Navier-Stokes 方程的结果；当 $\alpha = \gamma = 1/2$ 时，恢复了 [26] 中 SQG 方程的结果。但本文框架适用于任意 $\alpha$ 和 $\gamma$ ，揭示了二维湍流中 “逆级联” 现象（特征是无穷多守恒量）与无异常耗散的深层联系。值得注意的是，本文结果表明，[9, 10, 16, 17, 46] 中为三维 Navier-Stokes 方程构造的异常耗散不能扩展到二维设置，突显了二维与三维湍流的本质差异。
假设放宽：先前工作 [24, 45, 54] 主要关注 $\alpha = \gamma$ 情形，而本文允许任意 $\alpha$ 和 $\gamma$ ，且不依赖于临界性区域。特别地，当 $\alpha > \gamma$ 时，证明更为技术性，因为耗散不足，需采用 Gronwall 论证，导致对外力 $f^\nu$ 在时间变量中提出更强假设（ $L^\infty([0, T]; \dot{H}^{-\gamma}(\mathbb{T}^2))$ 而非 $L^{\frac{\alpha+\gamma}{\gamma}}$ ）。此外，本文允许存在可能非紧的外力，而 [26, 54] 等工作通常假设无外力或特定类型外力。
适用范围扩展：定理 1.3 将全局存在性结果扩展到临界可积性初始数据 $\theta_0 \in L^{p_\alpha}(\mathbb{T}^2)$ （ $p_\alpha = 2/(1+\alpha)$ ），这是目前已知最广泛的初始数据类。当 $\alpha = 1/2$ 时，恢复了 [26] 的结果；当 $\alpha \to 1^-$ 时， $p_\alpha \to 1^+$ ，与 Euler 方程的 Delort 理论在端点处匹配。相比之下，[39] 仅证明了 $\dot{H}^{-1}(\mathbb{T}^2)$ 中 Baire 一般初始数据的全局存在性，适用范围更窄。
代价与局限：由于 (gSQG $^\nu$ ) 的 Leray 解可能不唯一 [2, 62]，必须使用满足高阶估计 (2.2) 的特定解（命题 2.8），而不仅仅是标准 Leray 解。事实上，可能存在不满足该估计的 Leray 解，其结论不成立（见备注 2.1）。此外，当 $\alpha > \gamma$ 时，需对外力提出更强的时间正则性假设；本文结果无法恢复 [25, 33] 中强紧性可能失败的情形。对于 $\alpha = 1$ （Euler 方程），本文排除了端点 $p_\alpha = 1$ ，因为 $L^1(\mathbb{T}^2) \subset \dot{H}^{-1}(\mathbb{T}^2)$ 的嵌入不连续，需要类似 Delort 的不同论证方法。
与凸积分解的对比：本文通过粘性消失法构造的解与 [23, 40, 42, 72] 中通过凸积分得到的 “wild” 解形成鲜明对比。后者满足 Onsager 超临界正则性 $L^3([0, T]; B^{\frac{2-4\alpha}{3}}_{3,\infty}(\mathbb{T}^2))$ ，但其哈密顿量可能不守恒。然而，这些解的正则性紧嵌入 $L^2([0, T]; \dot{H}^{-\alpha}(\mathbb{T}^2))$ ，因此不能通过物理合理的弱解在 $\nu \to 0^+$ 极限中实现。这与三维 Navier-Stokes 方程的普遍观点形成对比，突显了二维湍流的独特性质。

2. 二维带涡度重力-毛细水波中的小尺度生成

Small scale creation in 2D gravity-capillary water waves with vorticity

作者: Yuanpeng Tu

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19380v1

摘要翻译: 本文考虑定义在有限深度、具有固定底部与自由表面的无界区域上的二维不可压Euler方程；流体运动受重力与表面张力共同作用。我们构造了具有平坦自由表面和小初速度的初始数据，使得相应解在其存在时间区间内，涡度梯度的 $L^\infty$ 范数至少以双重指数速率增长。本工作将Zlatos关于固定边界的双重指数增长结果推广至自由表面情形，并将Hu–Luo–Yao关于有界区域的结果推广至无界区域情形。

Comment: 21 pages, 2 figures

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

1. 研究对象和背景

本文研究二维无界区域中带有自由表面和固定底部的不可压缩欧拉方程，流体运动受重力与表面张力共同作用。研究对象是涡量梯度 $\nabla \omega$ 在 $L^\infty$ 范数下的增长行为，其中涡量定义为 $\omega(t, x) := \partial_1 u_2 - \partial_2 u_1$ 。流体区域 $$D_t$$ 位于固定底部 $\Gamma_b = \mathbb{R} \times \{x_2 = 0\}$ 与上自由表面 $\Gamma_t$ 之间，初始流体域为 $D_0 = \mathbb{R} \times (0, 2)$ 。在流体区域 $$D_t$$ 内，速度场 $$u(t, x)$$ 和压力 $$p(t, x)$$ 满足不可压缩欧拉方程：

\begin{cases} \partial_t u + u \cdot \nabla u + \nabla p + g e_2 = 0, & \text{in } D_t, \\ \nabla \cdot u = 0, & \text{in } D_t, \end{cases}

其中 $$x = (x_1, x_2)$$ ， $\nabla = (\partial_1, \partial_2)$ ， $$e_2 = (0, 1)$$ 。自由边界 $\Gamma_t$ 以法向速度 $V = u \cdot N$ 演化， $$N$$ 为 $\Gamma_t$ 的向外单位法向量。在自由边界上，压力满足 $p = \sigma H$ ，其中 $\sigma > 0$ 为表面张力常数， $$H$$ 为自由边界的平均曲率。固定底部 $\Gamma_b$ 上施加滑移边界条件 $u \cdot e_2 = 0$ 。

该问题的重要性在于：理解小尺度生成机制对于揭示流体方程解的长期行为及潜在奇点形成至关重要。在无旋（irrotational）水波情形下，已有大量关于小数据长时间适定性的结果，但对于非均匀涡量（non-constant vorticity）情形，长时间存在性结果极为有限。Su [23] 仅对特定对称涡旋对证明了 $O(\varepsilon^{-2})$ 量级的寿命，但无法排除奇点形成。本文旨在填补这一理论空白：构造具有平坦初始自由表面和任意小速度的光滑初始数据，使得涡量梯度 $\|\nabla \omega(t)\|_{L^\infty}$ 在解的寿命内呈现双指数增长，从而对非均匀涡量水波系统的小数据稳定性问题给出否定答案。特别地，这将 Zlatos [33] 在半平面（无界域）中关于欧拉方程双指数增长的结果推广到自由表面情形，并将 Hu-Luo-Yao [10] 在有界域中关于水波系统的结果推广到无界域情形，解决了自由表面与无界域双重挑战下的小尺度生成问题。

2. 主要定理或主要结果

在 $\sigma > 0$ ， $$g > 0$$ 的假设下，定理 1.1 断言：存在光滑速度场 $v_0 \in C^\infty(D_0)$ 和通用常数 $\varepsilon_0, c_1, c_2 > 0$ ，使得对任意 $\varepsilon \in (0, \varepsilon_0)$ ，以初始速度 $u_0 = \varepsilon v_0$ 和初始域 $D_0 = \mathbb{R} \times (0, 2)$ 的解满足

\|\nabla \omega(t, \cdot)\|_{L^\infty(D_t)} \geq \varepsilon \exp(c_1 \exp(c_2 \varepsilon t))

对所有 $t \in [0, T)$ 成立，其中 $$T$$ 为解的寿命， $\omega(t, x) := \partial_1 u_2 - \partial_2 u_1$ 为涡量。此处解的定义为： $u(t, \cdot) \in H^s(D_t)$ ， $\Gamma_t \in H^{s+3/2}$ ， $s \geq 4$ ，且满足方程 (1.1)-(1.4)。

推论 1.2 进一步指出：存在大小为 $\varepsilon (\ll 1)$ 的 $C^\infty$ 小数据，使得 $\|u\|_{W^{2,\infty}}$ 在时间尺度 $O(\varepsilon^{-1} \log \log \varepsilon^{-1})$ 内增长至 $$O(1)$$ 量级，除非在此之前形成奇点。这一结果与无旋水波的长时间存在性形成鲜明对比，凸显了非均匀涡量对解行为的根本性影响。

关键假设包括：初始自由表面平坦（ $\Gamma_0 = \mathbb{R} \times \{x_2 = 2\}$ ），初始速度场 $$u_0$$ 满足奇偶对称性（ $-u_{01}(-x_1, x_2) = u_{01}(x_1, x_2)$ ， $u_{02}(-x_1, x_2) = u_{02}(x_1, x_2)$ ），且初始动能 $K(0) = E(0) < C_1 \varepsilon^2$ 足够小。证明中依赖于能量守恒 $$E(t) = K(t) + P(t) = E(0)$$ ，其中动能 $K(t) = \frac{1}{2} \int_{D_t} |u(t, x)|^2 \,dx$ ，势能 $$P(t)$$ 由表面张力部分 $\sigma \lim_{R \to \infty} \left( \int_{\Gamma_t \cap \{|x_1| < R\}} dS_t - 2R \right)$ 和重力部分 $\lim_{R \to \infty} \int_{D_t \cap \{|x_1| < R\}} g(x_2 - 1) \,dx$ 组成。该能量守恒保证了自由表面 $\Gamma_t$ 始终保持在 $\mathbb{R} \times (3/2, 5/2)$ 内，即 $\Gamma_t \subset \mathbb{R} \times (3/2, 5/2)$ 对所有 $t \in [0, T)$ 成立，从而避免了自由表面与底部的接触。

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

证明的核心障碍在于处理自由表面变形与无界域的双重挑战。首先，由于 $\omega \neq 0$ 且 $$D_t$$ 随时间演化，流体域可能显著偏离初始域 $$D_0$$ ，自由边界 $\Gamma_t$ 可能接近原点导致奇点。为克服此问题，作者创新性地利用能量守恒证明自由表面与底部的分离：定义重归一化能量 $$E(t) = K(t) + P(t)$$ ，其中 $$K(t)$$ 为动能， $$P(t)$$ 为势能。通过细致分析能量的时间导数，证明了 $$dE(t)/dt = 0$$ ，即能量守恒。特别地，表面张力部分控制自由边界的额外长度，重力部分控制流体区域的垂直位移，从而保证当初始动能 $K(0) < C_1 \varepsilon^2$ 足够小时，自由表面 $\Gamma_t$ 始终位于 $\mathbb{R} \times (3/2, 5/2)$ 内。

其次，无界域带来的主要困难是势能中自由边界周长的无限性（ $\mathbb{R}$ 而非 $\mathbb{T}$ ）。作者通过 Steiner 对称化技术巧妙解决：将注意力限制在 $\{|x_1| < R\}$ 内的截断区域，对 $D^+(R) := D_t(R) \setminus D_0$ 和 $D^-(R) := (D_0 \setminus D_t(R)) \cap \{|x_1| < R\}$ 分别应用两次 Steiner 对称化。第一次对称化 $S_{e_1}$ 将截断域内最高点与最低点重定位至 $$x_1 = 0$$ ，第二次对称化 $S_{e_2}$ 将不规则区域转换为边界为函数图形的规则区域。关键在于，通过重定位最高最低点，保证了相对高度在第二次对称化下保持不变，从而控制了势能的变化。

第三，自由边界设置下缺乏精确的 Biot-Savart 定律。作者采用 Hu-Luo-Yao [10] 提出的近似 Biot-Savart 定律，获得速度场的点态估计：对任意 $x \in D_t$ ，有

u(x) = \frac{1}{2\pi} \int_{D_t} \frac{(x - y)^\perp}{|x - y|^2} \omega(y) \,dy + E(x),

其中误差项 $$E(x)$$ 满足 $\|E\|_{L^\infty} \leq C \|\omega\|_{L^\infty}$ 。这一估计推广了 Kiselev-Šverák [15] 的关键引理，使得在自由边界情形下仍能建立涡量梯度的双指数增长。具体而言，在奇偶对称性假设下（ $$u_1$$ 奇、 $$u_2$$ 偶，导致 $\omega$ 奇），作者构造了初始涡量 $\omega_0 = \varepsilon$ 在特定点附近，使得两个具有不同涡量值的小区域以双指数速率相互靠近，最终在原点附近形成涡量梯度的剧烈增长。证明中利用了流体域的对称性保持（ $$D_t$$ 关于 $$x_1 = 0$$ 对称）以及自由表面与底部的分离，确保了增长机制在解的寿命内持续有效。

4. 与之前工作的比较

本文与既有工作的主要推进体现在三个维度：

域的几何结构：Kiselev-Šverák [15] 在圆盘（有界域）中首次构造了涡量梯度双指数增长的例子，Xu [30] 将其推广到具有对称轴的光滑有界域。Zlatos [33] 实现了关键突破，证明了半平面（无界但有边界）中欧拉方程的双指数增长。然而，这些工作均未考虑自由表面。Hu-Luo-Yao [10] 将 [15] 推广到自由表面情形，但其流体域为周期性有界域（ $\mathbb{T} \times (0, 2)$ ）。本文首次在无界自由表面域（ $\mathbb{R} \times (0, 2)$ ）中证明双指数增长，解决了自由表面与无界域双重挑战下的小尺度生成问题。
技术差异与代价：[15] 和 [33] 可直接利用精确的 Biot-Savart 定律，而本文因自由边界需采用近似 Biot-Savart 定律，导致速度估计中引入误差项 $$E(x)$$ 。为控制此误差，作者必须保证自由表面与底部的分离（ $\Gamma_t \subset \mathbb{R} \times (3/2, 5/2)$ ），这依赖于能量守恒的精细分析。特别地，[10] 中势能与自由边界周长成正比（因周期性），而本文中水平方向无界导致周长无限，迫使作者引入 Steiner 对称化处理截断区域，这是本文最核心的技术创新。
时间尺度与适用范围：Denisov [7] 构造了超线性增长的例子，Jeong-Yao-Zhou [16] 证明了 $O(t \log t)$ 增长，但均针对无边界域（ $\mathbb{T}^2$ 或 $\mathbb{R}^2$ ）。Zlatos [32] 在 $\mathbb{T}^2$ 中构造了 $C^{1,\alpha}$ 解的指数增长，但光滑解的双指数增长此前仅见于有界域 [15]。本文将双指数增长推广到无界自由表面域，且要求初始数据为 $C^\infty$ 光滑（而非仅 $C^{1,\alpha}$ ）。值得注意的是，本文构造的初始速度大小为 $\varepsilon$ ，涡量梯度增长至 $$O(1)$$ 的时间尺度为 $O(\varepsilon^{-1} \log \log \varepsilon^{-1})$ ，与 [15] 中的 $O(\varepsilon^{-1} \log \log \varepsilon^{-1})$ 一致，但比无旋水波的 $O(\varepsilon^{-N})$ （ $$N$$ 任意大）短得多，凸显了涡量对解行为的根本影响。
物理机制差异：[15] 中的增长源于圆盘边界对涡旋对的约束，[33] 中则依赖于半平面边界与对称性。本文中，增长机制由自由表面与固定底部共同作用：在奇偶对称性下，两个涡量相反的区域在底部附近相互吸引，而自由表面的稳定性（由能量守恒保证）防止了域的坍塌，使得双指数增长得以持续。这一机制与 [10] 类似，但 [10] 的周期性边界条件简化了势能估计，而本文需处理无界域带来的技术困难。

本文的局限在于：仅构造了特定对称性下的增长例子，未解决一般初始数据的情形；且未证明奇点形成，仅表明 $\|u\|_{W^{2,\infty}}$ 在有限时间内增长至 $$O(1)$$ 。与无旋水波的全局适定性相比，本文结果强调了非均匀涡量对水波系统长期行为的破坏性影响。

3. 球面上欧拉方程的涡量梯度增长

Growth of vorticity gradient for the Euler equation on the sphere

作者: Daomin Cao, Junhong Fan, Guolin Qin

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19358v1

摘要翻译: 我们证明：球面上欧拉方程的解，其涡量梯度在时间上至多呈双重指数增长；并通过对称性为奇的显式构造解，在半球上实现了该双重指数增长，从而表明该上界是sharp的。我们还将该结果推广至旋转球面情形。据我们所知，这是首个关于非平凡几何紧致流形上理想流体涡量梯度增长的研究结果。

Comment: 无

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

1. 研究对象和背景

本文研究单位球面 $S^2 := \{x = (x_1, x_2, x_3) \in \mathbb{R}^3 : x_1^2 + x_2^2 + x_3^2 = 1\}$ 上不可压缩理想流体的欧拉方程。流体运动由以下方程描述：

\begin{cases} \partial_t v + \nabla_v v = -\nabla P, & \text{on } S^2 \times \mathbb{R}^+, \\ \text{div } v = 0, & \text{on } S^2 \times \mathbb{R}^+, \end{cases}

其中 $$v(x,t)$$ 为速度场，属于 $$T_x S^2$$ ， $$P$$ 为压力。涡度形式为：

\begin{cases} \partial_t \omega + u \cdot \nabla \omega = 0, & \text{on } S^2 \times \mathbb{R}^+, \\ u(x,t) = \nabla^\perp G\omega(x,t), & \text{on } S^2 \times \mathbb{R}^+, \end{cases}

其中 $\omega$ 满足 $\int_{S^2} \omega(x,t) \, d\sigma(x) = 0$ ， $G\omega(x,t) := \int_{S^2} G(x,y)\omega(y,t) \, d\sigma(y)$ ，核函数 $G(x,y) := \frac{1}{2\pi} \ln |x - y|$ 。Biot-Savart 定律为：

u(x,t) = \frac{1}{2\pi} \int_{S^2} \frac{x \wedge y}{|x - y|^2} \omega(y,t) \, d\sigma(y).

在二维流体中， $\|\omega\|_{L^\infty}$ 守恒，但 $\|\nabla \omega\|_{L^\infty}$ 可能增长。Wolibner、Hölder 和 Yudovich 证明其增长不超过双指数：

\|\nabla \omega(\cdot, t)\|_{L^\infty} \leq (1 + \|\nabla \omega_0\|_{L^\infty})^{C \exp(Ct)},

其中 $$C$$ 依赖于 $\|\omega_0\|_{L^\infty}$ 。该上界在有界域（如圆盘）上已被证明是紧的，由 Kiselev 和 Šverák 构造实现；Denisov 在环面 $$T^2$$ 上证明了任意长有限时间内可实现双指数增长；Zlatoš 在半平面上利用奇对称性实现了双指数增长。然而，在球面 $$S^2$$ 上——作为无边界、紧致、非平凡曲率的流形——该问题长期未被研究，本文首次填补此空白。

2. 主要定理或主要结果

定理 1.1：对任意 $\tilde{\omega}(\cdot, 0) \in W^{1,\infty}([-\pi, \pi) \times (0, \pi/2])$ 或 $\tilde{\omega}(\cdot, 0) \in W^{1,\infty}([-\pi, \pi) \times [-\pi/2, \pi/2])$ 且 $\|\tilde{\omega}(\cdot, 0)\|_{L^\infty} = 1$ ，相应于方程 (1.2) 的解满足：

\lim_{t \to \infty} \frac{\ln \ln \|\nabla \tilde{\omega}(\cdot, t)\|_{L^\infty([-\pi,\pi) \times (0,\pi/2])}}{t} \leq \frac{2}{\pi}.

定理 1.2：存在 $\tilde{\omega}(\cdot, 0) \in C^\infty([-\pi, \pi) \times (0, \pi/2])$ 且 $\|\tilde{\omega}(\cdot, 0)\|_{L^\infty} = 1$ ，使得相应于半球面方程 (1.4) 的解满足：

\lim_{t \to \infty} \frac{\ln \ln \|\nabla \tilde{\omega}(\cdot, t)\|_{L^\infty([- \pi,\pi) \times (0,\pi/2])}}{t} = \frac{2}{\pi}.

注记 1.3：若 $\|\tilde{\omega}(\cdot, 0)\|_{L^\infty} = b > 0$ ，则定理 1.2 中的增长率 $2/\pi$ 替换为 $2b/\pi$ 。注记 1.4：构造解的梯度在赤道（半球面边界）处具有奇异性；全球面上是否存在光滑解实现双指数增长，仍是开放问题。

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

核心障碍在于球面非平凡曲率导致速度场估计复杂，弦距离与周期性边界使 Biot-Savart 积分难以控制。作者创新性地将 Kiselev-Šverák 的策略推广至球面，并引入奇-奇对称性 $\omega(x) = -\omega(\tilde{x}) = -\omega(\bar{x})$ （ $\tilde{x} = (x_1, -x_2, x_3)$ ， $\bar{x} = (x_1, x_2, -x_3)$ ），将问题简化至四分之一球面 $$S^2_q$$ 。关键引理 2.1 给出在奇-奇对称下速度分量的渐近表达式：

\tilde{u}_\phi(\phi, \theta) = \frac{x_2}{\sqrt{1 - x_3^2}} \left( -\frac{4}{\pi} \int_{Q(3\phi/2, 3\theta/2)} \frac{y_2 y_3}{|y - x_0|^4} \omega(y) \, d\sigma(y) + B_\phi(\phi, \theta) \right),

\tilde{u}_\theta(\phi, \theta) = \frac{x_3}{\sqrt{1 - x_3^2}} \left( \frac{4x_1}{\pi} \int_{Q(3\phi/2, 3\theta/2)} \frac{y_2 y_3}{|y - x_0|^4} \omega(y) \, d\sigma(y) + B_\theta(\phi, \theta) \right),

其中 $Q(k_1, k_2) := \{ (\cos \theta' \cos \phi', \cos \theta' \sin \phi', \sin \theta') : \phi' \in (k_1, \pi), \theta' \in (k_2, \pi/2) \}$ ，余项满足：

|B_\phi(\phi, \theta)| \leq C_1 \|\tilde{\omega}\|_{L^\infty} \left( 1 + \min \left\{ \ln \left( 1 + \frac{\theta}{\phi} \right), \frac{\|\nabla \tilde{\omega}\|_{L^\infty([0,3\theta/2]^2)}}{\|\tilde{\omega}\|_{L^\infty}} \theta \right\} \right),

|B_\theta(\phi, \theta)| \leq C_1 \|\tilde{\omega}\|_{L^\infty} \left( 1 + \min \left\{ \ln \left( 1 + \frac{\phi}{\theta} \right), \frac{\|\nabla \tilde{\omega}\|_{L^\infty([0,3\phi/2]^2)}}{\|\tilde{\omega}\|_{L^\infty}} \phi \right\} \right).

主导项来自 $Q(3\phi/2, 3\theta/2)$ ，余项由梯度控制。上界证明依赖于球面几何关系 $|x - y| \sim \sqrt{(\phi - \phi')^2 + (\theta - \theta')^2}$ 及 Dirichlet 格林函数的精细估计。构造最优解时，利用对称性简化 Biot-Savart 核为：

\tilde{u}_\phi(\phi, \theta) = \frac{x_2}{\pi \sqrt{1 - x_3^2}} \int_{S^2_q} \left( \frac{2y_2(x_3 - y_3)}{|x - y|^2|x - \tilde{y}|^2} - \frac{2y_2(x_3 + y_3)}{|x - \bar{y}|^2|x - \bar{\tilde{y}}|^2} \right) \omega(y) \, d\sigma(y),

\tilde{u}_\theta(\phi, \theta) = \frac{2x_3}{\pi \sqrt{1 - x_3^2}} \int_{S^2_q} \left( \frac{y_3((x_1 - y_1)y_2 - (x_2 - y_2)y_1)}{|x - y|^2|x - \bar{y}|^2} + \frac{y_3((x_2 + y_2)x_1 - (x_1 - y_1)x_2)}{|x - \tilde{y}|^2|x - \tilde{\bar{y}}|^2} \right) \omega(y) \, d\sigma(y).

通过分析主导积分贡献，构造收缩区域 $\alpha(t)\Omega_{\epsilon(t)}$ ，并推导 $\epsilon(t)$ 的微分不等式，其解以 $\exp(\frac{2}{\pi} t)$ 速率双指数衰减，从而实现最优增长率。

4. 与之前工作的比较

本文首次在具有非平凡几何的紧致流形（球面）上研究涡度梯度增长，填补了此前仅限于平面域（圆盘、矩形）、环面 $$T^2$$ 或无界域（ $\mathbb{R}^2$ 、半平面）的空白。与 Kiselev 和 Šverák [19] 在圆盘上的工作相比，球面无边界，作者通过奇-奇对称性在赤道与子午线交点处创建有效角，引入额外几何因子 $\frac{x_2}{\sqrt{1 - x_3^2}}$ 等，且弦距离估计需新技巧。与 Denisov [7, 8] 在环面上的结果相比，本文给出全局时间尺度上的精确双指数增长率 $2/\pi$ ，而 Denisov 仅证明有限时间可实现。与 Zlatoš [38] 在半平面上的工作相比，两者均得增长率 $2/\pi$ ，但球面为紧致流形，无真实边界，分析更微妙；两者解均在边界（赤道/半平面边界）处奇异性。与 Choi 和 Jeong [4] 在 $\mathbb{R}^2$ 上的线性增长结果相比，本文证明边界或有效边界对实现双指数增长至关重要。本文推进体现在：(1) 首次建立球面上双指数上界；(2) 通过奇-奇对称构造证明上界精确；(3) 推广至旋转球面。代价是需对初始涡度施加对称性，且仅在半球面实现最优增长，解在赤道处奇异性，全球面光滑解是否存在仍是开放问题（注记 1.4）。技术上，关键创新是将 Biot-Savart 积分分解为主导部分 $\int_{Q(3\phi/2, 3\theta/2)} \frac{y_2 y_3}{|y - x_0|^4} \omega(y) \, d\sigma(y)$ 与余项，并利用区域划分 $$Q, Q_2, Q_3$$ 精确估计，克服了球面几何带来的额外复杂性。

4. 粘性β-平面方程的整体适定性与时间衰减估计

Global well-posedness and temporal decay estimates for the viscous $$β$$ -plane equations

作者: Tomoaki Yoshizawa

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19130v1

摘要翻译: 我们研究粘性β-平面方程的柯西问题。首先，对初值数据相对于Rossby参数足够小的情形，证明了该系统整体适定性。继而证明了流的正则化效应，并表明所获得的整体解在经典意义下满足原方程。此外，在若干附加假设下，我们揭示了解的时间衰减速率与对应线性解一致，且其渐近行为等价于线性化方程积分核的一个常数倍。特别地，该解的衰减率快于由热方程流所预期的衰减率。

Comment: 66 pages

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

1. 研究对象和背景

本文研究粘性β平面方程的Cauchy问题：

\begin{cases} \partial_t \omega + (u \cdot \nabla)\omega = \Delta \omega + \beta L_1 \omega & \text{in } (0, \infty) \times \mathbb{R}^2, \\ u = \nabla^\perp (-\Delta)^{-1} \omega & \text{in } (0, \infty) \times \mathbb{R}^2, \\ \omega(0, \cdot) = \omega_0 & \text{in } \mathbb{R}^2, \end{cases}

其中 $\omega = \omega(t, x): (0, \infty) \times \mathbb{R}^2 \to \mathbb{R}$ 是未知标量涡度，算子 $L_1 := \partial_1 (-\Delta)^{-1}$ 。该系统描述受科里奥利力影响的二维流体动力学，Rossby参数 $\beta \in \mathbb{R}$ 表示科里奥利参数随纬度的变化率，在气象学与海洋学中具有基础地位。

线性部分 $\Delta + \beta L_1$ 同时包含耗散（ $\Delta$ ）与色散（ $\beta L_1$ ）效应，导致解的衰减行为可能异于热方程。当 $\beta = 0$ 时，系统退化为二维Navier-Stokes方程的涡度形式，Giga、Miyakawa和Osada [GMO88] 证明了当初始涡度 $\omega_0$ 属于有限Radon测度空间时存在全局解，无需小初值条件。对于三维Navier-Stokes方程加科里奥利力的情况，Chemin等 [CDGG02, CDGG06] 证明了当旋转速度 $|\Omega| \geq C$ 时存在全局解；Iwabuchi和Takada [IT13] 进一步将结果推广至 $\dot{H}^s(\mathbb{R}^3)$ 空间（ $\frac{1}{2} < s < \frac{9}{10}$ ）。

本文旨在填补以下空白：(1) 建立 $\beta \neq 0$ 时粘性β平面方程的整体适定性理论，特别关注初始数据相对于 $|\beta|$ 的小性条件；(2) 证明由于色散效应导致的更快时间衰减率；(3) 研究解的渐近行为，揭示其与线性化解核的关系。核心挑战在于非线性项 $(u \cdot \nabla)\omega = \text{div}(u\omega)$ 的结构特性——速度场 $u = \nabla^\perp (-\Delta)^{-1}\omega$ 导致一个因子比另一个因子多至少一个导数，而 $\dot{H}^1(\mathbb{R}^2) \not\hookrightarrow L^\infty(\mathbb{R}^2)$ 使得标准估计失效，需发展新的分析框架。

2. 主要定理或主要结果

定理1.1（整体适定性）：设 $\beta \neq 0$ ， $2 < p_1, p_2, r_1 < \infty$ ， $2 \leq r_2 < \infty$ ， $0 \leq \delta \leq \frac{1}{5}$ 满足

\delta < \min\left\{\frac{2}{p_1}, \frac{2}{p_2}\right\}, \quad \max\left\{1-\frac{1}{p_1}, 1-\frac{1}{p_2}\right\} \leq \frac{1}{p_1} + \frac{1}{p_2} - \frac{\delta}{2},

\max\left\{\frac{1}{2} - \frac{1}{p_1} + \frac{\delta}{2} - \frac{3}{2}\left(1 - \frac{2}{p_2}\right), \frac{1}{2}\left(1 - \frac{2}{p_1}\right)\right\} \leq \frac{1}{r_1} \leq \min\left\{\frac{1}{2} - \frac{1}{p_1} + \frac{\delta}{2}, \frac{5}{4}\left(1 - \frac{2}{p_1}\right)\right\},

\frac{1}{2}\left(1 - \frac{2}{p_2}\right) - \frac{3}{2}\left(1 - \frac{2}{p_1}\right) + \frac{\delta}{2} \leq \frac{1}{r_2} \leq 1 - \frac{1}{p_2} + \frac{\delta}{2}

且满足 $$r_2 > 2$$ 时 $\frac{1}{2}(1 - \frac{2}{p_2}) \leq \frac{1}{r_2} \leq \frac{5}{4}(1 - \frac{2}{p_2})$ ，或 $$r_2 = 2$$ 时 $\frac{1}{2}(1 - \frac{2}{p_2}) < \frac{1}{2} < \frac{5}{4}(1 - \frac{2}{p_2})$ 。则存在 $$C_0 > 0$$ ，当 $\omega_0 \in \dot{H}^{-1+\delta} \cap \dot{H}^{\delta}$ 满足

|\beta|^{-\delta/3} \|\omega_0\|_{\dot{H}^{-1+\delta}} + |\beta|^{-1+\delta/3} \|\omega_0\|_{\dot{H}^{\delta}} \leq C_0

时，积分方程 $\omega(t) = T_\beta(t)\omega_0 - \int_0^t T_\beta(t-\tau) \text{div}(u(\tau)\omega(\tau)) d\tau$ 存在唯一解 $\omega \in C([0, \infty); \dot{H}^{-1+\delta}) \cap L^{r_1}([0, \infty); \dot{W}^{-1+\delta,p_1}) \cap L^{r_2}([0, \infty); \dot{W}^{\delta,p_2})$ 。

定理1.6（平滑效应）：在定理1.1条件下，若 $\frac{1}{r_1} < \frac{1}{2} - \frac{1}{p_1} + \frac{\delta}{2}$ 且 $\frac{1}{r_2} < 1 - \frac{1}{p_2} + \frac{\delta}{2}$ ，则对任意 $m \geq 0$ ，解 $\omega \in C((0, \infty); \dot{H}^{-1+\delta+m}) \cap C^1((0, \infty); \dot{H}^{\delta+m})$ 且为 $$t > 0$$ 时的经典解。若 $\omega_0 \in \dot{H}^{-1+\delta} \cap \dot{H}^{\delta+m}$ ，则 $\omega \in C([0, \infty); \dot{H}^{-1+\delta+m})$ 。

定理1.7（时间衰减与渐近行为）：设 $0 \leq \delta < \frac{1}{13}$ ， $A = (\delta, p, r_1, p, r_2)$ 满足定理1.1假设及(1.6)式。存在 $$C_A > 0$$ ，当 $\omega_0 \in \dot{H}^{-1+\delta} \cap \dot{H}^{3-2/p} \cap L^1 \cap \dot{W}^{-1+\delta,p/(p-1)}$ 满足

|\beta|^{-\delta/3} \|\omega_0\|_{\dot{H}^{-1+\delta}} + |\beta|^{-1+\delta/3} \|\omega_0\|_{\dot{H}^{\delta}} \leq C_A

时，对任意 $s \geq 0$ 和 $a \in [2, \infty]$ ，存在常数 $$C$$ 使得

\|\omega(t)\|_{\dot{W}^{s,a}} \leq C t^{-s/2 - 1 + 1/a} \min\left\{1, |\beta|^{-1+2/a} t^{-3/2(1-2/a)}\right\}, \quad \forall t > 0.

若 $\frac{1}{2} - \frac{1}{p} + \frac{\delta}{2} - \frac{3}{2}(1 - \frac{2}{p}) < \frac{1}{r_1}$ ，则有

\lim_{t \to \infty} \left(t^{-s/2 - 1 + 1/a} \min\left\{1, |\beta|^{-1+2/a} t^{-3/2(1-2/a)}\right\}\right)^{-1} \left\|\omega(t) - K_{\beta,t} \int_{\mathbb{R}^2} \omega_0(y) dy \right\|_{\dot{W}^{s,a}} = 0,

其中 $K_{\beta,t} = e^{t\beta L_1} G_t$ 为线性化解核， $G_t(x) = (4\pi t)^{-1} e^{-|x|^2/(4t)}$ 为高斯核。

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

核心障碍在于非线性项 $(u \cdot \nabla)\omega = \text{div}(u\omega)$ 的结构特性：速度场 $u = \nabla^\perp (-\Delta)^{-1}\omega$ 导致一个因子比另一个因子多至少一个导数，而 $\dot{H}^1(\mathbb{R}^2) \not\hookrightarrow L^\infty(\mathbb{R}^2)$ 使得标准估计失效。此外，线性部分 $\Delta + \beta L_1$ 的色散-耗散混合特性需要精细处理。

创新点与关键技术：

双范数框架：引入两个辅助时空范数 $L^{r_1}([0,\infty); \dot{W}^{-1+\delta,p_1})$ 和 $L^{r_2}([0,\infty); \dot{W}^{\delta,p_2})$ ，通过精细平衡导数阶数与可积性来克服非线性项的困难。例如，当 $p_1 = p_2 = p = \frac{1}{3} + \frac{\delta}{6}$ 时，条件简化为 $\frac{1-\delta/6}{\leq} \frac{1}{r_1} \leq \frac{1+2\delta}{6}$ 和 $\frac{1+5\delta}{6} \leq \frac{1}{r_2} \leq \frac{5}{12}(1-\delta)$ ，确保非线性项的可积性。
色散估计的优化利用：通过引理2.1证明 $\|e^{t\beta L_1} P_k f\|_{L^\infty} \leq C 2^{3k} |\beta t|^{-1} \|P_k f\|_{L^1}$ ，捕捉到色散算子 $$L_1$$ 的快速衰减特性。结合热半群估计 $\|e^{t\Delta} P_k g\|_{L^1} \lesssim e^{-ct 2^{2k}} \|g\|_{L^1}$ ，通过Riesz-Thorin插值得到关键估计： $\|T_\beta(t) P_k f\|_{L^p} \lesssim \min\left\{2^{2k(1-2/p)}, 2^{3k(1-2/p)} |\beta t|^{-1+2/p} \right\} e^{-c_p t 2^{2k}} \|P_k f\|_{L^{p'}}.$ 此估计在 $t \sim |\beta|^{-2/3} 2^{-2k}$ 时达到最优，揭示了色散与耗散的相互作用尺度。
直接积分方程估计：与以往通过能量估计证明平滑效应不同，作者直接对积分方程(1.2)进行估计。利用命题2.5的Strichartz估计： $\|T_\beta(t)f\|_{L^r([0,\infty); \dot{W}^{s,p})} \leq C |\beta|^{-\frac{1}{3}(\frac{2}{r} + \frac{2}{p} - 1 - s)} \|f\|_{L^2},$ 结合非线性项的精细分解，证明解在 $$t > 0$$ 时立即获得无限正则性，避免了Serrin型条件的限制。
渐近行为的精确刻画：通过命题2.4证明线性解满足 $\lim_{t \to \infty} M_{s,a}(t)^{-1} \left\| T_\beta(t)\omega_0 - K_{\beta,t} \int_{\mathbb{R}^2} \omega_0(y) dy \right\|_{\dot{W}^{s,a}} = 0,$ 其中 $M_{s,a}(t) = t^{-s/2 - 1 + 1/a} \min\left\{1, |\beta|^{-1+2/a} t^{-3/2(1-2/a)}\right\}$ 。关键步骤是利用尺度变换 $K_{\beta,t}(x) = t^{-1} (e^{t^{3/2}\beta L_1 G_1)(t^{-1/2} x)$ 和Besov空间嵌入，将误差估计转化为 $\|G_1(\cdot - t^{-1/2} y) - G_1\|_{W^{s+4-4/a,1}}$ 的控制，最终通过控制收敛定理完成证明。

证明框架：首先将原问题转化为Duhamel积分方程，利用线性传播子 $T_\beta(t)$ 的精细估计（命题2.2-2.5）和双范数框架，通过压缩映射原理证明整体适定性（定理1.1）；其次，通过迭代估计积分方程的高阶导数，证明解的平滑效应（定理1.6）；最后，结合线性解的渐近行为和非线性项的衰减估计，证明解具有与线性解相同的衰减率和渐近形态（定理1.7）。

4. 与之前工作的比较

与已有工作的比较：

与二维Navier-Stokes方程( $\beta=0$ )的对比：

[GMO88]证明了当 $\omega_0$ 属于有限Radon测度空间时存在全局解，无需小初值条件；而本文需要 $|\beta|^{-\delta/3} \|\omega_0\|_{\dot{H}^{-1+\delta}} + |\beta|^{-1+\delta/3} \|\omega_0\|_{\dot{H}^{\delta}} \leq C_0$ 的小性条件。这种差异源于 $\beta \neq 0$ 时必须利用 $$L_1$$ 的色散效应来控制非线性项，而 $\beta=0$ 时仅靠耗散项 $\Delta$ 即可。
当 $\beta=0$ 时，解的衰减率为 $\|\partial_t^\ell \partial_x^\alpha \omega(t)\|_{L^p} \leq C t^{-\ell - |\alpha|/2 - 1 + 1/p}$ （公式(1.7)）；而本文证明当 $\beta \neq 0$ 时衰减率提升为 $t^{-3/2(1-2/a)}$ 阶，例如在 $L^\infty$ 范数下衰减率为 $t^{-1} |\beta|^{-1} t^{-3/2}$ ，比热方程的 $t^{-1}$ 更快。

与三维Navier-Stokes方程加科里奥利力的对比：

[CDGG02, CDGG06]要求 $|\Omega| \geq C$ 以保证全局解存在；[IT13]将条件改进为 $\|u_0\|_{\dot{H}^s} \leq C |\Omega|^{s/2 - 1/4}$ （ $\frac{1}{2} < s < \frac{9}{10}$ ）；而本文针对二维问题，通过更精细的非线性项处理，将结果推广到全范围的Sobolev空间 $\dot{W}^{s,a}$ （ $a \in [2,\infty]$ ， $s \geq 0$ ）。
关键区别在于非线性项结构：三维情况下， $\text{div}(u \otimes u)$ 的两个因子均无导数，而本文中 $\text{div}(u\omega)$ 的 $$u$$ 比 $\omega$ 多一阶导数。这导致作者必须引入额外正则性条件 $\omega_0 \in \dot{H}^\delta$ 和双范数框架，而三维结果无需这些技术处理。
[ET23]证明三维解在 $$L^p$$ （ $2 \leq p \leq p^* < 3$ ）中的衰减率为 $\|u(t)\|_{L^p} \leq C t^{-3/2(1-1/p)}(1 + |\Omega|t)^{-1+2/p}$ ；而本文证明二维解在全范围 $a \in [2,\infty]$ 中的衰减率为 $\|\omega(t)\|_{\dot{W}^{s,a}} \leq C t^{-s/2 - 1 + 1/a} \min\left\{1, |\beta|^{-1+2/a} t^{-3/2(1-2/a)}\right\}$ ，特别地， $L^\infty$ 衰减率 $t^{-1} |\beta|^{-1} t^{-3/2}$ 是三维结果无法达到的。

与粘性MHD方程加科里奥利力的对比：

[Kim22]证明当初始数据足够小时，速度场满足 $\|u(t)\|_{L^p} \leq C t^{-3/2(1-1/p)-1+2/p} |\Omega|^{-1+2/p}$ （ $p \in [2,3)$ 的子区间）；而本文的衰减估计适用于所有 $a \in [2,\infty]$ ，且衰减率中的 $t^{-3/2(1-2/a)}$ 项在 $a \to \infty$ 时趋于 $t^{-3/2}$ ，显著优于MHD结果的 $t^{-1}$ 阶衰减。
本文的渐近行为 $\omega(t) \sim K_{\beta,t} \int \omega_0$ 直接揭示了色散效应如何改变渐近形态，而MHD结果仅给出速度场的衰减率，未涉及渐近展开。

推进与局限：

主要推进：(1) 首次在二维旋转流体中证明全范围Sobolev空间的衰减估计；(2) 精确刻画了色散效应导致的额外衰减率 $t^{-3/2(1-2/a)}$ ；(3) 通过积分方程直接估计证明平滑效应，避免了能量方法的限制。
放宽的假设：相比[Ahn22, ET23]等三维结果，本文将衰减估计的指数范围从有限区间 $$[2,p^*]$$ 扩展到 $[2,\infty]$ ，特别是覆盖了 $L^\infty$ 范数。
适用范围：当 $t \gg |\beta|^{-2/3}$ 时，色散效应主导衰减行为，此时衰减率比热方程快 $t^{-3/2(1-2/a)}$ ；而当 $t \ll |\beta|^{-2/3}$ 时，行为接近热方程。
代价与局限：(1) 需要初始数据的小性条件，且正则性参数 $\delta$ 受限于 $\delta < \frac{1}{13}$ ；(2) 无法将衰减估计扩展到时间导数，因为 $\partial_t \omega$ 会引入 $L_1 \omega$ 项，其衰减率慢于 $\omega$ ；(3) 渐近行为的证明依赖于 $\omega_0 \in L^1$ ，难以推广到更一般的初始数据。

这些比较表明，本文通过精细分析色散-耗散相互作用，在二维旋转流体的时间渐近行为研究中取得了突破，特别是证明了全范围Sobolev空间的衰减估计，这是现有三维结果所无法达到的。

5. Vlasov(-Fokker-Planck)-Navier-Stokes 方程组的随机粒子系统定量逼近

Quantitative approximation of the Vlasov(-Fokker-Planck)-Navier-Stokes system by stochastic particle systems

作者: Ludovic Goudenège, Christian Olivera, Gabriela Planas, Alexandre Richard

类别: math.PR, math.AP

发布日期: 2026-04-20

arXiv ID: 2604.18871v1

摘要翻译: 本文研究一类流体-粒子耦合系统，其由不可压 Navier-Stokes 方程与通过拖曳力耦合的 Vlasov(-Fokker-Planck) 方程构成；此类模型自然出现于气溶胶、喷雾以及更一般的两相流研究中。在空间维数 $d\in \{2,3\}$ 下，我们建立了由 $$N$$ 个相互作用的随机粒子与流体耦合所构成的系统在 $N\to \infty$ 时向 Vlasov(-Fokker-Planck)-Navier-Stokes 方程组收敛的定量收敛速率。特别地，我们考虑粒子所受噪声强度随 $N\to \infty$ 而消失的情形，该情形对应于 Vlasov-Navier-Stokes 方程组。更精确地，我们证明：粒子系统的经验测度收敛于 Vlasov(-Fokker-Planck) 分量，而流体速度场收敛于耦合系统的 Navier-Stokes 分量。证明结合了随机分析与偏微分方程技术，对离散系统和连续系统分别建立了能量估计与交换子估计。

Comment: 无

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

1. 研究对象和背景

本文研究由不可压缩Navier-Stokes方程与Vlasov(-Fokker-Planck)方程通过拖曳力耦合而成的流体-粒子系统，该模型在气溶胶、喷雾及两相流研究中具有重要应用背景。核心系统定义在环面 $\mathbb{T}^d$ （ $d\in\{2,3\}$ ）上：流体速度 $$u$$ 与压力 $$p$$ 满足Navier-Stokes方程，粒子分布函数 $$F$$ 满足Vlasov(-Fokker-Planck)方程，二者通过拖曳力项 $$(u_t(x)-v')F_t(x,v')$$ 双向耦合。当扩散参数 $\sigma > 0$ 时为Vlasov-Fokker-Planck-Navier-Stokes系统， $\sigma = 0$ 时退化为Vlasov-Navier-Stokes系统。微观粒子模型由 $$N$$ 个相互作用的随机粒子描述，其位置 $X^{i,N}_t$ 与速度 $V^{i,N}_t$ 满足耦合的随机微分方程，流体速度 $$u^N_t$$ 通过截断函数 $\chi_A$ 与粒子速度场耦合。核心科学问题是：当 $N \to \infty$ 时，经验测度 $F^N_t = \frac{1}{N}\sum_{i=1}^N \delta_{(X^{i,N}_t,V^{i,N}_t)}$ 的磨光版本是否收敛至 $$F_t$$ ，且 $$u^N_t$$ 是否收敛至 $$u_t$$ ，并给出定量速率。现有研究中，Flandoli等(2017)在 $$d=2$$ 、 $\sigma>0$ 下证明了经验测度的定性收敛，[17,18]研究了PDE到PDE的Knudsen极限，[1,8,11]使用均匀化方法推导Brinkman修正模型，但均未建立覆盖 $d\in\{2,3\}$ 、 $\sigma\geq0$ 全范围的随机粒子系统对宏观系统的定量逼近理论，本文填补了这一关键空白。

2. 主要定理或主要结果

在假设H1（宏观系统）和H2（粒子系统）下，设 $$p>d$$ ， $\gamma\in(d/p,1)$ ，整数 $k\geq3$ ，截断参数 $A\geq\|u\|_{L^\infty_{t,x}}$ ，且当 $$d=3$$ 时满足 $\gamma/2+3/2(1/2-1/p)<1$ ，则有：

定理2.1（Bessel范数收敛）：
- 当 $\sigma>0$ 时，对任意 $q\in[1,+\infty)$ ，存在 $C=C(q,d,\gamma,p,A,\sigma)>0$ ，使得 $\forall N\in\mathbb{N}^*$ ， $\left(E \sup_{t\in[0,T]} \|u^N_t - u_t\|^{2q}_{\gamma,p}\right)^{1/q} + \left(E \sup_{t\in[0,T]} \|\langle v \rangle^k(F^N_t - F_t)\|^{2q}_{L^2_{x,v}}\right)^{1/q}$ $\leq C \left( (E \|u^{\circ,N} - u^\circ\|^{2q}_{\gamma,p})^{1/q} + (E \|\langle v \rangle^k(F^N_0 - \vartheta^N \ast F^\circ)\|^{2q}_{L^2_{x,v}})^{1/q} + N^{-2(\alpha-\beta)} + N^{-2\beta(\gamma-d/p)} + N^{-(1/2 - d\beta - (d+1)\alpha)} + \tilde{\rho}^2_N \right) + 2\rho^2_N,$ 其中 $\rho^2_N = \sup_{t\in[0,T]} \|u^{(N)}_t - u_t\|^2_{\gamma,p} + \sup_{t\in[0,T]} \|\langle v \rangle^k(F^{(N)}_t \ast \vartheta^N - F_t)\|^2_{L^2_{x,v}}$ ， $\tilde{\rho}^2_N = \sup_{t\in[0,T]} \|\langle v \rangle^k(F^{(N)}_t \ast \vartheta^N - F^{(N)}_t)\|^2_{L^2_{x,v}}$ 。
- 当 $\sigma=0$ 时，对任意 $q\in[1,+\infty)$ 和 $\varepsilon>0$ ，存在 $C=C(q,d,\gamma,p,A,\varepsilon)>0$ ，使得 $\forall N\in\mathbb{N}^*$ ， $\left(E \sup_{t\in[0,T]} \|u^N_t - u_t\|^{2q}_{\gamma,p}\right)^{1/q} + \left(E \sup_{t\in[0,T]} \|\langle v \rangle^k(F^N_t - F_t)\|^{2q}_{L^2_{x,v}}\right)^{1/q}$ $\leq C \left( (E \|u^{\circ,N} - u^\circ\|^{2q}_{\gamma,p})^{1/q} + (E \|\langle v \rangle^k(F^N_0 - \vartheta^N \ast F^\circ)\|^{2q}_{L^2_{x,v}})^{1/q} + \tilde{\rho}^2_N + N^{-2(\alpha-\beta)} + N^{-2\beta(\gamma-d/p)+\varepsilon} + N^{-(1/2 - d\beta - (d+1)\alpha)} \right) \frac{1}{1 - \tilde{\gamma}} e^{CT(1+\sigma^{-2}_N + \sigma^{-1/(1-\tilde{\gamma})}_N)} + 2\rho^2_N,$ 其中 $\tilde{\gamma} = \frac{1}{2}(\gamma + d(1/2 - 1/p)) \vee \gamma + 1/2 \in (0,1)$ 。
定理2.5（能量范数收敛）：在定理2.1假设基础上，若 $\sup_{t\in[0,T]} \|m_0(F_t)\|_{L^\infty_x} < \infty$ ，则
- $\sigma>0$ 时： $\left(E \sup_{t\in[0,T]} \|u^N_t - u_t\|^{2q}_{L^2_x}\right)^{1/q} + \frac{1}{2} \left(E \left\| \int_0^T \|\nabla(u^N_s - u_s)\|^2_{L^2_x} ds \right\|^q \right)^{1/q}$ $\leq C \left( (E \|u^{\circ,N} - u^\circ\|^{2q}_{\gamma,p})^{1/q} + (E \|\langle v \rangle^k(F^N_0 - \vartheta^N \ast F^\circ)\|^{2q}_{L^2_{x,v}})^{1/q} + \cdots \right) + C\rho^2_N.$
- $\sigma=0$ 时具有类似但更复杂的界。
定理2.7（粒子轨迹的混沌传播）：在相同假设下，粒子轨迹的收敛速率为 $|\sigma - \sigma_N| + E \sup_{t\in[0,T]} \|u^N_t - u_t\|_{\gamma,p}$ 。当 $\sigma>0$ 时收敛速率为代数阶（主导项为 $N^{-2(\alpha-\beta)}$ 、 $N^{-2\beta(\gamma-d/p)}$ 等），而 $\sigma=0$ 时退化为对数速率（因 $\rho_N \lesssim \sigma_N$ 且需满足 $\lim_{N\to\infty} \sqrt{\log N} \sigma_N = +\infty$ ）。

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

本文的核心技术障碍在于粒子-流体系统的双向耦合特性及 $\sigma=0$ 情形下Vlasov系统的正则性缺失。作者创新性地构建了三层次分析框架：

辅助PDE系统的引入与确定性逼近：定义辅助系统 $(u^{(N)}, F^{(N)})$ 为将宏观系统中 $\sigma$ 替换为 $\sigma_N$ 并施加截断函数 $\chi_A$ 后的解。关键创新在于将随机粒子系统 $$(u^N, F^N)$$ 的收敛分解为两个确定性逼近：(i) $(u^{(N)}, F^{(N)}) \to (u, F)$ （Section 5.4-5.5）；(ii) $(u^N, F^N) \to (u^{(N)}, F^{(N)})$ （Section 5.3），从而避免直接处理随机项与PDE的强耦合。
关键交换子估计与Grönwall论证：在Section 6中，作者将 $u^N - u^{(N)}$ 展开为包含非线性项 $(u^N \cdot \nabla) u^N$ 与线性化项差异的积分形式。通过Bessel空间中的交换子估计（Lemma 5.3）：
$\| [\nabla, e^{t\Delta}] f \|_{\gamma,p} \lesssim t^{-\frac{1}{2}(\gamma + d(1-1/p))} \|f\|_{L^1}, \quad \| [\nabla, \chi_A(u)] f \|_{\gamma,p} \lesssim \|u\|_{\gamma+1,p} \|f\|_{L^p},$
将非线性项分解为 $\|u^N - u^{(N)}\|_{\gamma,p}$ 的线性项与高阶小量，结合Grönwall引理控制误差累积。
$\sigma=0$ 情形的精细分析：当无扩散项时，Vlasov方程缺乏正则性，导致 $\rho_N \lesssim \sigma_N$ （Proposition 5.15）。作者引入 $\tilde{\gamma} = \frac{1}{2}(\gamma + d(1/2 - 1/p)) \vee \gamma + 1/2$ ，并利用 $\langle v \rangle^k \nabla_v F \in L^2([0,T]; L^2_{x,v})$ 的假设（Remark 2.2），将 $\|F^{(N)}_t - F_t\|_{L^2_{x,v}}$ 控制为 $\sigma_N^{1/2}$ 阶，从而解释 $\sigma=0$ 时收敛速率退化为对数阶（需 $\lim_{N\to\infty} \sqrt{\log N} \sigma_N = +\infty$ ）。
磨光技术与矩估计：在Section 4.2中，通过Itô公式处理 $\frac{d}{dt} E \|\langle v \rangle^k F^N_t\|_{L^2_{x,v}}^2$ ，结合截断函数 $\chi_A$ 控制 $\|u^N\|_{\gamma,p}$ ，建立加权矩估计：
$E \sup_{t\in[0,T]} \|\langle v \rangle^k F^N_t\|_{L^2_{x,v}}^2 \leq C \left( E \|\langle v \rangle^k F^N_0\|_{L^2_{x,v}}^2 + 1 \right),$
保证粒子系统在Bessel空间中的有界性。
随机项的鞅估计：在Section 5.3中，将 $F^N - \tilde{F}^N$ 表示为鞅过程，利用Burkholder-Davis-Gundy不等式证明：
$E \sup_{t\in[0,T]} \|F^N_t - \tilde{F}^N_t\|_{L^2_{x,v}}^2 \lesssim N^{-(1/2 - d\beta - (d+1)\alpha)},$
其中指数 $1/2 - d\beta - (d+1)\alpha > 0$ 由假设H2(a)保证，是获得代数收敛速率的关键随机分析工具。

4. 与之前工作的比较

本文与既有文献的比较如下：

与Flandoli等(2017)[13]的比较：该工作在 $$d=2$$ 、 $\sigma>0$ 下证明了经验测度的定性收敛。本文的重大推进在于：(i) 将维度扩展至 $$d=3$$ （需额外假设 $\gamma/2+3/2(1/2-1/p)<1$ 以控制非线性项）；(ii) 覆盖 $\sigma=0$ 情形（Vlasov-Navier-Stokes系统），通过精细分析 $\langle v \rangle^k \nabla_v F$ 的可积性克服正则性缺失；(iii) 给出明确的收敛速率：当 $\sigma>0$ 时为代数阶 $O(N^{-\min(2(\alpha-\beta), 2\beta(\gamma-d/p), 1/2-d\beta-(d+1)\alpha)})$ ，而 $\sigma=0$ 时为对数阶 $O((\log N)^{-1})$ 。代价是需引入截断函数 $\chi_A$ 以分离 $$u^N$$ 与 $$F^N$$ 的先验估计，限制了结果对大振幅流体的适用性。
与PDE到PDE收敛工作的比较：[17,18]研究了从Vlasov-Navier-Stokes系统推导Navier-Stokes方程的Knudsen极限（ $\text{Kn} \to 0$ ），[19]改进了正则性要求。本文关注 $N \to \infty$ 的粒子系统极限（ $\varepsilon \to 0$ ），二者属不同尺度。关键区别在于：[17,18]假设粒子分布 $$F$$ 快速趋近Maxwell分布，导出Navier-Stokes方程；本文直接建立微观粒子系统到耦合系统的收敛，无需中间PDE步骤，且保留完整相空间结构。
与均匀化方法的比较：[1,8,11]使用均匀化技术从周期性粒子系统推导含Brinkman修正项 $-\mu \phi u$ 的Navier-Stokes方程。本文方法本质不同：(i) 粒子自由运动而非固定于格点；(ii) 拖曳力项为 $-\int (u-v)F dv$ ，物理机制不同；(iii) 本文提供定量收敛速率，而均匀化仅给出定性有效方程。
与粒子系统理论的比较：Oelschläger[24]开创了从随机粒子系统推导非线性Fokker-Planck方程的定量分析，[26]在奇异核情形下建立 $O(N^{-1/2})$ 速率。本文的关键创新在于处理粒子-流体耦合：(i) 粒子间无直接相互作用（区别于McKean-Vlasov型系统），仅通过流体间接耦合；(ii) 流体方程含非线性对流项 $(u\cdot\nabla)u$ ，使能量估计更复杂；(iii) 收敛速率受Bessel空间参数 $\gamma,p$ 影响，当 $\gamma \to d/p^+$ 时速率退化，这在直接粒子相互作用系统中不存在。
局限性与代价：(i) $\sigma=0$ 时收敛速率仅为对数阶，远慢于 $\sigma>0$ 时的代数阶，反映Vlasov系统缺乏耗散的本质困难；(ii) 需假设流体速度有界（Assumption H1(e)），排除奇点形成；(iii) 截断函数 $\chi_A$ 的引入虽保证解的存在性，但可能掩盖大速度区域的物理行为。作者在Section 4明确指出：‘我们未能在无截断情形下证明(1.2)解的存在性，故将此问题留待后续研究’，表明当前方法仍有改进空间。

摘要翻译: 本文在全空间 $\mathbb{R}^d$ （ $d \ge 3$ ）中，针对含 { em 非对角交换算子} 的含时 Hartree–Fock 方程，证明了一大类平移不变稳态解的非线性 Landau 阻尼与渐近稳定性。该交换算子自然出现于大费米子系统的平均场理论中。尽管交换项仅为低阶项，其引入却扰动了经典 Schrödinger 色散结构，并导致背景电子对空间密度产生复杂的线性响应：其色散关系不再如经典 Vlasov 或 Hartree 理论中那样表现为 Fourier 乘子。此外，每一基本波的群速度均耦合了所有其他 Fourier 模式，从而引发精细的 { em 动量依赖回波共振}。为克服上述困难，我们发展了一种非线性迭代格式：该格式依赖于细致的预解式分析，利用 Fourier 空间中的输运型色散结构，并在加权范数 $L^\infty_{k,p}$ 中传播相混合（phase mixing）与 Landau 阻尼效应。

不相关论文（基本信息）

1. 抛物球面Baouendi-Grushin方程的零控最小时间

Minimal time for null controllability of the parabolic spherical Baouendi-Grushin equation

作者: Cyprien Tamekue

类别: math.AP, math.OC

发布日期: 2026-04-21

arXiv ID: 2604.19700v1

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

摘要: We study null controllability for the parabolic equation on $\mathbb{S}^{2}$ endowed with its canonical almost-Riemannian structure. For a spherical crown $ω=\{α<x_3<β\}$ , where $0\le α<β\le1$ , we prove the sharp minimal time formula $T_{\min}(ω)=\ln(1/\sqrt{1-α^{2}})$ for null controllability in $$ω$$ . We also prove that, whenever the control region contains the equator, null controllability holds in every positive time. The proof combines two complementary tools. First, after Fourier decomposition with respect to the periodic variable, we establish observability estimates for a family of one-dimensional singular parabolic equations, with constants uniform with respect to the Fourier mode; the singularities at the poles are handled via a Hardy-Poincaré inequality. Second, for crowns away from the equator, we use the moment method to construct controls on the pole-touching crown $$α<x_3< 1$$ from sharp weighted lower bounds on associated Legendre functions, and then pass to a general crown $$α<x_3<β$$ by a cut-off argument on the full domain combined with the arbitrary-time controllability of crowns containing the equator. The result closes the large-time gap left in earlier work and gives the exact null-controllability threshold for the canonical almost-Riemannian heat equation on $\mathbb S^2$ .

2. 生命系统的多尺度动力学结构

Multiscale Kinetic Structures for Living Systems

作者: Diletta Burini, Damian A. Knopoff

类别: math.DS, math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19659v1

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

摘要: This paper develops a conceptual extension of the Kinetic Theory of Active Particles, building upon the framework introduced in [2]. Living systems cannot be adequately described within classical single-scale paradigms, even when refined. To overcome this limitation, we introduce a Multiscale Kinetic Theory of Active Particles (MS-KTAP), in which a sub-microscopic scale of interacting entities is incorporated into the description of collective dynamics. In this framework, the activity variable is interpreted as an emergent quantity arising from lower-scale regulatory mechanisms and influenced by interactions across higher scales. The proposed framework captures key features of living systems, including heterogeneity, adaptive decision-making, nonlinear and non-conservative interactions, spatial dynamics, and cross-scale feedback, within a unified mathematical structure. Competition and cooperation are thus described across multiple levels of organization. The first part of the paper derives the mathematical framework, while the second presents how specific models can be obtained. The paper concludes with perspectives on further developments, including possible integrations with scientific machine learning.

3. 极小图增长的上界

An upper bound on the growth of minimal graphs

作者: Allen Weitsman

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

发布日期: 2026-04-21

arXiv ID: 2604.19630v1

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

摘要: Graphs of solutions to the minimal surface equation over simply connected domains with boundary values 0 can have at most exponential growth.

4. 强锚定条件下带Flory-Huggins势的Cahn-Hilliard能量泛函的极小元

Minimizers for the Cahn-Hilliard energy functional with the Flory-Huggins potential under strong anchoring conditions

作者: Shibin Dai, Abba Ramadan, Natasha Sharma

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19590v1

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

摘要: In this paper, we theoretically and numerically study the minimizers for the Cahn-Hilliard energy with the Flory-Huggins potential under the strong anchoring condition, i.e., the Dirichlet boundary condition. We reveal bifurcation phenomena mediated by the boundary condition, the transition layer thickness, and the temperature of the system. Numerical simulations are also presented to approximate the minimizers of this energy by solving a gradient-flow equation, namely the Allen-Cahn equation constrained with strong anchoring conditions and random initial data. The effects of varying the transition layer thickness and temperature are presented to confirm the theoretical analysis.

5. 相分离模型中的奇异性：非局部Cahn-Hilliard方程的谱元方法

Singularities in phase separation models: a spectral element approach for the nonlocal Cahn-Hilliard equation

作者: Andrés Miniguano-Trujillo, Andrea Poiatti, Maurizio Grasselli, Benjamin Goddard, John Pearson

类别: math.NA, math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19521v1

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

摘要: The nonlocal Cahn-Hilliard equation provides a natural extension of the classical model for phase separation by incorporating long-range interactions through a singular convolution kernel. While this formulation admits a rich existence and regularity theory, its numerical approximation remains challenging: discretisation of the nonlocal term leads to dense operators, and the singularity of the kernel requires special treatment in collocation-based schemes. In this work, we develop an efficient and error-controlled numerical framework for the nonlocal Cahn-Hilliard system with constant mobility, logarithmic potential, Newtonian interaction kernel, and no-flux boundary conditions. Our approach is based on a pseudospectral multishape method that accurately approximates the action of singular convolution operators. We present high-resolution numerical solutions for this nonlocal system of equations that can be achieved with limited computational resources.

6. 具空间非均匀非线性的半线性热方程的稳定爆破剖面

Stable blowup profile for a semilinear Heat Equation with spatially inhomogeneous nonlinearity

作者: Irfan Glogić, Sarah Kistner, Birgit Schörkhuber

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19389v1

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

摘要: We study the focusing semilinear heat equation with an additional defocusing Hénon-type nonlinearity, the coupling of which is measured by a constant $$c >0$$ . For $c \in (0,c^*)$ , the model admits a closed-form self-similar blowup solution in every space dimension $d \geq 1$ . Restricting ourselves to the three-dimensional case, we study the stability of this solution under small non-radial perturbations. By working in intersection Sobolev spaces with additional angular regularity, we prove finite co-dimension stability for all admissible values of $$c$$ . Furthermore, we analyze the spectrum of the underlying linearized operator and we prove stable blowup for the cubic-quintic case and $$c$$ sufficiently close to $$c^*$$ . Finally, we discuss the situation for small values of $$c$$ and use a modified version of the classical GGMT criterion to give an upper bound on the number of unstable eigenvalues.

7. 具非局部相互作用的等周问题中的分岔

Bifurcations in Isoperimetric Problems with Nonlocal Interactions

作者: Fabio De Regibus, Massimo Grossi, Monica Musso

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19170v1

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

摘要: We study isoperimetric problems modeled on the liquid drop model, with nonlocal interactions under a volume constraint. While balls are natural critical points, we show that, for an unbounded sequence of radii, non-spherical solutions bifurcate from the family of balls. These new solutions lie arbitrarily close to balls and can have arbitrarily large volume. Conversely, at radii outside this sequence, no bifurcation occurs, and nearby solutions are trivial, arising only from rigid motions.

8. 具有给定梯度像的平均曲率型超曲面

The mean curvature type hypersurfaces with prescribed gradient image

作者: Jiguang Bao, Rongli Huang, Qinfeng Jiang

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19020v1

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

摘要: In this paper, we consider the existence of mean curvature type hypersurfaces with prescribed gradient image. Let $$Ω$$ and $\tildeΩ$ be uniformly convex bounded domains in $\mathbb{R}^n$ with smooth boundary. We show that there exists unique convex solutions for the second boundary value problem of mean curvature type equations.

9. 关于拉格朗日平均曲率型方程的第二边值问题

On the second boundary value problem for Lagrangian mean curvature type equation

作者: Jiguang Bao, Qinfeng Jiang

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19006v1

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

摘要: This article is concerned with the second boundary value problem of the Lagrangian mean curvature type equation arising from special Lagrangian geometry. By the parabolic method, we consider a fully nonlinear parabolic equation with oblique derivative boundary condition, and show the long time existence and convergence of the flow. It follows that the existence and uniqueness of the smooth uniformly convex solution are obtained, which generalizes the Brendle–Warren’s theorem about minimal Lagrangian diffeomorphism in Euclidean metric space.

10. 具有对称性的四边形上第二诺伊曼特征函数的临界点

Critical points of the second Neumann eigenfunctions on the quadrangles with symmetry

作者: Haiyun Deng, Changfeng Gui, Xuyong Jiang, Xiaoping Yang, Ruofei Yao, Jun Zou

类别: math.AP

发布日期: 2026-04-21

arXiv ID: 2604.19003v1

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

摘要: In this paper, we focus primarily on the symmetry properties of the second Neumann eigenfunction $$u$$ with respect to the symmetry axis or symmetry center of the relevant domain $$Q$$ , such as isosceles trapezoids, parallelograms, kite domains, and we provide some affirmative answers to the Hot Spots Conjecture for these domains. Our proofs combine symmetry decomposition, comparison of eigenvalues, and the continuity method. Precisely, we have the following three aspects of results. (1) when $$Q$$ is an isosceles trapezoid, if the base angle $α\le \fracπ{3}$ , $$u$$ is antisymmetric about the symmetric axis; if the base angle $α> \fracπ{3}$ , there exists a critical height $\hat{h}$ , when height $h<\hat{h}$ , $$u$$ is antisymmetric about the symmetric axis; when height $h>\hat{h}$ , $$u$$ is symmetric about the symmetric axis; when height $h=\hat{h}$ , the multiplicity of second Neumann eigenvalue is 2. Meanwhile, we fully characterize the location of non-vertex critical points of $$u$$ on $\overline{Q}$ . (2) When $$Q$$ is a parallelogram, $$u$$ is centrally antisymmetric about the center of $$Q$$ and does not have any non-vertex critical points. In particular, when $$Q$$ is a rhombus, $$u$$ is symmetric with respect to the longer diagonal and is antisymmetric with respect to the short diagonal. (3) When $$Q$$ is a kite $$P_1P_2P_3P_4$$ , where $$P_1$$ is the origin, $$P_2=(a,-h)$$ lies in the four quadrant, $$P_3=(1,0)$$ lies on the positive $$x$$ -axis, and $$P_4=(a,h)$$ is symmetric with $$P_2$$ about $$x$$ -axis which lies in the first quadrant. If $a\ge 2$ , $$u$$ is antisymmetric about $$x$$ -axis; if $$0<a<2$$ , there exist two constants $$h_0$$ and $$h_1$$ ( $h_0\le h_1$ ), when $$h<h_0$$ , $$u$$ is symmetric about $$x$$ -axis; when $$h>h_1$$ , $$u$$ is antisymmetric about $$x$$ -axis. Meanwhile, we fully characterize the location of non-vertex critical points of $$u$$ on $\overline{Q}$ .

11. 分层Anderson-Bernoulli模型在 $\bZ^d$ 上的Anderson局域化

Anderson Localization for the hierarchical Anderson-Bernoulli model on $\mathbb{Z}^d$

作者: Shihe Liu, Yunfeng Shi, Zhifei Zhang

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

发布日期: 2026-04-21

arXiv ID: 2604.18989v1

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

摘要: In this paper, we prove Anderson localization for a hierarchical Anderson-Bernoulli model on lattice with arbitrary dimension, where the potential is characterized by a geometric hierarchical structure combined with fluctuations induced by independent and identically distributed (i.i.d.) Bernoulli random variables. Our method is also applicable to proving a probabilistic unique continuation result on $\mathbb{Z}^d$ .

12. 非局部偏微分方程–常微分方程模型中细菌持留细胞持续性阈值的分析

Analysis of persistence thresholds for a nonlocal PDE–ODE model of bacterial persister cells

作者: Chongming Li, Tyler Meadows, Troy Day

类别: math.AP, q-bio.PE

发布日期: 2026-04-20

arXiv ID: 2604.18809v1

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

摘要: Within many bacterial colonies, persister cells exist as a subpopulation that is tolerant to antibiotics and other stressors, yet not genetically distinct from the rest of the colony. A recent study has proposed epigenetic inheritance as a mechanism that leads to the presence of persister cells. We analyze a nonlocal PDE–ODE model introduced in that study to describe the epigenetic inheritance process and establish its mathematical well-posedness, including existence, uniqueness, and nonnegativity of solutions. We identify a sharp parameter threshold delineating extinction from persistence of the colony: below this threshold the washout equilibrium is globally asymptotically stable, while above it a unique positive equilibrium exists and the population is weakly persistent. Notably, this threshold is independent of the internal community structure.

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

1. 广义SQG方程在无粘极限下的哈密顿紧性与耗散#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

2. 二维带涡度重力-毛细水波中的小尺度生成#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

3. 球面上欧拉方程的涡量梯度增长#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

4. 粘性β-平面方程的整体适定性与时间衰减估计#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

5. Vlasov(-Fokker-Planck)-Navier-Stokes 方程组的随机粒子系统定量逼近#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

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

1. 全局各向异性微局部分析中的奇点滤子#

摘要翻译#

2. 由电荷交换驱动的粒子动力学#

摘要翻译#

3. 具有变号扩散系数的抛物型方程的激波波前#

摘要翻译#

4. Allard 正则性理论在阿贝尔 Yang–Mills–Higgs 方程中的应用#

摘要翻译#

5. 二维欧氏空间上带Rashba型自旋-轨道耦合的三次非线性薛定谔系统的半涡旋小解的存在性#

摘要翻译#

6. 二维薛定谔算子弱耦合现象再探#

摘要翻译#

7. Orlicz 框架下的随机 $Σ$-收敛及其应用#

摘要翻译#

8. 非椭圆Fredholm理论讲义#

摘要翻译#

9. Hartree–Fock 均匀平衡态在 $\mathbb{R}^d$ 中的渐近稳定性#

摘要翻译#

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

1. 抛物球面Baouendi-Grushin方程的零控最小时间#

2. 生命系统的多尺度动力学结构#

3. 极小图增长的上界#

4. 强锚定条件下带Flory-Huggins势的Cahn-Hilliard能量泛函的极小元#

5. 相分离模型中的奇异性：非局部Cahn-Hilliard方程的谱元方法#

6. 具空间非均匀非线性的半线性热方程的稳定爆破剖面#

7. 具非局部相互作用的等周问题中的分岔#

8. 具有给定梯度像的平均曲率型超曲面#

9. 关于拉格朗日平均曲率型方程的第二边值问题#

10. 具有对称性的四边形上第二诺伊曼特征函数的临界点#

11. 分层Anderson-Bernoulli模型在$\bZ^d$上的Anderson局域化#

12. 非局部偏微分方程–常微分方程模型中细菌持留细胞持续性阈值的分析#

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

1. 广义SQG方程在无粘极限下的哈密顿紧性与耗散

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 二维带涡度重力-毛细水波中的小尺度生成

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 球面上欧拉方程的涡量梯度增长

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 粘性β-平面方程的整体适定性与时间衰减估计

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. Vlasov(-Fokker-Planck)-Navier-Stokes 方程组的随机粒子系统定量逼近

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 全局各向异性微局部分析中的奇点滤子

摘要翻译

2. 由电荷交换驱动的粒子动力学

摘要翻译

3. 具有变号扩散系数的抛物型方程的激波波前

摘要翻译

4. Allard 正则性理论在阿贝尔 Yang–Mills–Higgs 方程中的应用

摘要翻译

5. 二维欧氏空间上带Rashba型自旋-轨道耦合的三次非线性薛定谔系统的半涡旋小解的存在性

摘要翻译

6. 二维薛定谔算子弱耦合现象再探

摘要翻译

7. Orlicz 框架下的随机 $$Σ$$ -收敛及其应用

摘要翻译

8. 非椭圆Fredholm理论讲义

摘要翻译

9. Hartree–Fock 均匀平衡态在 $\mathbb{R}^d$ 中的渐近稳定性

摘要翻译

不相关论文（基本信息）

1. 抛物球面Baouendi-Grushin方程的零控最小时间

2. 生命系统的多尺度动力学结构

3. 极小图增长的上界

4. 强锚定条件下带Flory-Huggins势的Cahn-Hilliard能量泛函的极小元

5. 相分离模型中的奇异性：非局部Cahn-Hilliard方程的谱元方法

6. 具空间非均匀非线性的半线性热方程的稳定爆破剖面

7. 具非局部相互作用的等周问题中的分岔

8. 具有给定梯度像的平均曲率型超曲面

9. 关于拉格朗日平均曲率型方程的第二边值问题

10. 具有对称性的四边形上第二诺伊曼特征函数的临界点

11. 分层Anderson-Bernoulli模型在 $\bZ^d$ 上的Anderson局域化

12. 非局部偏微分方程–常微分方程模型中细菌持留细胞持续性阈值的分析