生成时间: 2025年11月24日 03:53:22

重点关注论文数量: 2

了解领域论文数量: 3

不相关论文数量: 12

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

1. The incompressible limit of the Euler-Maxwell two-fluid system

欧拉-麦克斯韦双流体系统的不可压缩极限

作者: Nicolas Besse, Christophe Cheverry

类别: math.AP, math-ph

发布日期: 2025-11-21

arXiv ID: 2511.17159v1

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

详细分析

中文标题: 欧拉-麦克斯韦双流体系统的不可压缩极限

研究对象和背景

本文研究的是欧拉-麦克斯韦双流体系统（Euler–Maxwell Two-Fluid system, 简称EMTF），该系统用于描述由带电粒子（电子和离子）组成的等离子体在三维空间中的动力学行为。等离子体被认为是宇宙中可见物质的最主要形态，超过99%的可见宇宙处于等离子态，因此对这类系统的数学分析具有重要的物理与理论意义。

EMTF系统由两组守恒律方程构成：一组对应于电子，另一组对应于离子，同时耦合了自洽的电磁场（电场 $E$ 和磁场 $B$）通过麦克斯韦方程组。整个系统在无量纲化后写成如下形式：

$$ \begin{cases} \partial_\tau n_e + \nabla \cdot (n_e v_e) = 0, \\ \partial_\tau n_i + \nabla \cdot (n_i v_i) = 0, \\ \partial_\tau (n_e v_e) + \nabla \cdot (n_e v_e \otimes v_e) + \nabla p_e / m_e = -n_e (E + v_e \times B)/m_e, \\ \partial_\tau (n_i v_i) + \nabla \cdot (n_i v_i \otimes v_i) + \nabla p_i / m_i = n_i (E + v_i \times B)/m_i, \\ \partial_\tau E - \nabla \times B = n_e v_e - n_i v_i, \\ \partial_\tau B + \nabla \times E = 0, \end{cases} $$

其中 $n_s$, $v_s$, $p_s$, $m_s$ 分别表示物种 $s \in \{e,i\}$ 的密度、速度、压力和无量纲质量；$E$ 和 $B$ 是电场和磁场。此外，还需满足高斯定律：

$$ \nabla \cdot B = 0, \quad \nabla \cdot E + n_e - n_i = 0. $$

压力采用正压闭合关系：

$$ p_s = p_s(n_s), \quad s \in \{e,i\}, $$

且满足 $p'_s > 0$ 在正密度区间成立，以保证系统的双曲性。

未知函数整体记为：

$$ U = {}^t(n_e, n_i, v_e, v_i, E, B) \in \mathbb{R}^{14}. $$

系统在标准无量纲变量下书写，所有物理常数（如光速、介电常数、磁导率、电子电荷）均设为1。值得注意的是，作者保留了电子与离子的质量比 $\delta := m_e/m_i \ll 1$，这反映了真实物理中电子远轻于离子的事实。

考虑一个平坦的中性平衡态：

$$ U_\infty = {}^t(n, n, 0, 0, 0, 0), \quad n \in \mathbb{R}_+, $$

即电子与离子密度相等、速度为零、电磁场也为零的状态。这是系统的一个全局常数解。文章关注的是对此平衡态的小扰动，设初始数据为：

$$ U_\varepsilon(0,x) = U_\infty + \varepsilon U_0^\varepsilon(x), $$

其中 $\varepsilon > 0$ 是一个小参数，代表扰动幅度。进一步假设存在极限初值：

$$ U_0(x) := \lim_{\varepsilon \to 0^+} U_0^\varepsilon(x) \in H^s, \quad s > 5/2, $$

其中 $H^s$ 是基于 $L^2$ 的索博列夫空间，定义在三维环面 $\mathbb{T}^3 := \mathbb{R}/(2\pi\mathbb{Z})^3$ 上。选择周期边界条件而非全空间或有壁边界，主要是为了便于进行傅里叶分析，避免边界效应带来的复杂性。

由于系统是对称可对角化的双曲系统，局部适定性在 $H^s$ 中成立，且当 $\varepsilon$ 足够小时，解的生命跨度至少为 $T_\varepsilon \geq T/\varepsilon$，允许我们在长时尺度上研究渐近行为。

引入慢时间变量 $t := \varepsilon \tau$，并定义缩放后的扰动：

$$ U_\varepsilon(t,x) := \varepsilon^{-1}(U(\varepsilon^{-1} t, x) - U_\infty), $$

目标是研究当 $\varepsilon \to 0$ 时，族 $\{U_\varepsilon(t,x)\}$ 在时间区间 $[0,T]$ 上的渐近极限行为。

从物理角度看，这种极限属于“低马赫数极限”的范畴：因为速度与声速之比为 $O(\varepsilon)$，意味着流动接近不可压缩状态。这一类问题最早由 Klainerman–Majda 和 Kreiss 开创，后广泛应用于可压缩欧拉方程、磁流体力学（MHD）等领域。

本文的核心创新在于将 Schochet 提出的滤波酉群方法（filtering unitary group method）应用于复杂的双流体系统，并处理其中由高斯定律引起的额外约束。传统方法通常要求初始数据“准备好的”（prepared），即满足某些约束条件以消除快速振荡波。而本文不仅处理了准备好的情形，还指出即使在未准备好情况下，也可通过调制方程（modulation equations）捕捉快慢波相互作用。

特别地，在准备好的情形下，作者证明极限方程与不可压缩扩展磁流体动力学（incompressible eXtended MagnetoHyDrodynamics, XMHD）完全等价。XMHD 是近年来物理学家通过哈密顿方法研究的重要模型，包含霍尔效应、惯性项以及无碰撞磁重联等现象，但其严格的数学基础尚不完善。本文为此提供了全新的数学推导路径。

综上所述，本研究所处的数学物理背景极为丰富：它连接了偏微分方程的奇性极限理论、等离子体物理中的多尺度建模、以及哈密顿结构的动力系统分析。研究区域为周期域 $\mathbb{T}^3$，函数空间取高阶索博列夫空间 $H^s$（$s>5/2$），确保非线性项的良好性质；边值条件为周期性，利于频域分析；系统本身不含耗散项，保持纯粹的双曲结构，这对揭示内在波动机制至关重要。

主要定理或主要结果

本文的主要结果是以下定理，称为 Theorem 1（等价性定理）：

定理 1（SLM 与 XMHD 的等价性）. 假设初始扰动 $U_0$ 是准备好的，即满足以下三个条件：

  • 不可压缩性：$\nabla \cdot v_{e0} = 0$, $\nabla \cdot v_{i0} = 0$；
  • 密度一致性：存在常数 $n \in \mathbb{R}_+$，使得 $n_{e0} = n_{i0} = n$；
  • 电磁场约束：$E_0 = 0$, $B_0 = n \nabla \times \Delta^{-1}(v_{e0} - v_{i0})$。

则当 $\varepsilon \to 0$ 时，EMTF 系统的解 $U_\varepsilon$ 的渐近行为由慢极限模型（Slow Limit Model, SLM）控制，且该模型的解 $U_0(t,x)$ 形如：

$$ U_0(t,x) = {}^t(Zn, n, v_{e0}(t,x), v_{i0}(t,x), 0, B_0(t,x)), $$

并且与不可压缩 XMHD 系统的解一一对应。

具体而言，令 $(u_0, B^*)$ 是如下 XMHD 方程组的解：

$$ \begin{cases} \partial_t u_0 + (u_0 \cdot \nabla) u_0 + \nabla p + \rho^{-1} B^* \times (\nabla \times B_0) = 0, \\ \nabla \cdot u_0 = 0, \quad \nabla \cdot B^* = 0, \\ \partial_t B^* + \nabla \times \left[ B^* \times \left(u_0 - \frac{d_i}{\rho} \nabla \times B_0 \right) \right] + \frac{d_e^2}{\rho} \nabla \times \left[ (\nabla \times u_0) \times (\nabla \times B_0) \right] = 0, \end{cases} $$

其中 $B_0 = (\mathrm{Id} - b\Delta)^{-1} B^*$，参数定义如下：

  • 总质量密度：$\rho = n(m_e + m_i)$，
  • 电子皮肤深度：$d_e = \sqrt{m_i m_e}/Z$，
  • 离子皮肤深度：$d_i = \sqrt{m_i (1 - \delta)}$，其中 $\delta = Z m_e / m_i$，
  • $b = d_e^2 / \rho$。

那么，双流体速度 $(v_{e0}, v_{i0})$ 与中心质量速度 $u_0$ 及磁场 $B^*$ 之间通过一个伪微分嵌入映射 $I$ 相关联：

$$ \begin{pmatrix} v_{e0} \ v_{i0} \ B_0 \end{pmatrix}

I \begin{pmatrix} u_0 \ B^* \end{pmatrix}, \quad I := \begin{pmatrix} \mathrm{Id} & -\frac{b}{m_e} \nabla \times (\mathrm{Id} - b\Delta)^{-1} \ \mathrm{Id} & \frac{b}{m_i} \nabla \times (\mathrm{Id} - b\Delta)^{-1} \ 0 & (\mathrm{Id} - b\Delta)^{-1} \end{pmatrix}. $$

反之，给定 SLM 的解 $(v_{e0}, v_{i0}, B_0)$，可通过上述关系重构 XMHD 解 $(u_0, B^*)$。因此，SLM 与 XMHD 在解集上存在一一对应关系。

此定理表明：在适当标度与准备初值条件下，原始的14维双流体系统在低马赫数极限下收敛到仅含6个自由度的 XMHD 模型，且二者通过一个明确的傅里叶乘子算子相连。这不仅验证了 XMHD 的有效性，更为其提供了坚实的 PDE 渐近理论基础。

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

a) 核心分析学工具

本文采用的主要数学框架是 Schochet 的滤波酉群方法（filtering unitary group method），这是一种处理奇性极限问题的强大工具，尤其适用于具有快速振荡波的双曲系统。其基本思想是将原系统重写为带有奇异项的拟线性对称系统：

$$ \partial_t U_\varepsilon - \frac{1}{\varepsilon} L(U) U_\varepsilon = A(\varepsilon, U, U_\varepsilon, D_x) U_\varepsilon + f(\varepsilon, U, U_\varepsilon), $$

其中 $L(U)$ 是一个斜自伴算子（skew-adjoint operator），通常来自线性化部分的主部，生成酉群 $e^{tL}$。由于 $\varepsilon^{-1}$ 的存在，系统包含高频振荡，直接取极限困难。此时引入调制变量：

$$ U_r(\tau, t, x) = e^{\tau L} U_0(t, x), \quad \tau = t/\varepsilon, $$

并利用时间平均算子：

$$ \mathcal{M}_\tau[F] := \lim_{T \to \infty} \frac{1}{T} \int_0^T F(\tau, t, x) d\tau, $$

得到极限满足的调制方程（Fast Limit Model, FLM）：

$$ \partial_t U_0 = \mathcal{M}_\tau \left[ e^{-\tau L} A(0, U, e^{\tau L} U_0, D_x) e^{\tau L} U_0 \right] + e^{-\tau L} f(0, U, e^{\tau L} U_0). $$

若初始数据满足 $L U_0 = 0$（即“准备好的”），则 $e^{\tau L} U_0 = U_0$，调制方程退化为慢极限模型（SLM）：

$$ \partial_t (P U_0) = P \left[ A(0, U, P U_0, D_x) P U_0 \right] + P f(0, U, P U_0), $$

其中 $P$ 是投影到 $\ker L$ 上的正交投影算子，$Q = I - P$ 投影到像空间 $\mathrm{Im} L$，且 $QLQ$ 可逆，从而高频部分自动平均为零。

为了实现这一过程，作者使用了多个现代分析工具：

  • 傅里叶乘子理论：由于系统在周期域上，所有微分算子均可通过傅里叶变换转化为乘子运算。例如 $\nabla \times$ 对应符号 $i\xi \times$，$\Delta^{-1}$ 对应 $-|\xi|^{-2}$，这对于构造伪微分算子 $I$ 至关重要。
  • 索博列夫空间估计：工作空间为 $H^s(\mathbb{T}^3)$，$s > 5/2$，确保嵌入 $H^s \hookrightarrow L^\infty$ 成立，从而非线性项如 $(v \cdot \nabla)v$ 可控。
  • 能量方法与局部适定性理论：通过对称化变量变换，将系统化为对称双曲形式，应用经典柯西-柯瓦列夫斯卡娅型定理建立局部解的存在唯一性。
  • 谱分析与投影分解：深入分析线性算子 $L$ 的谱结构，识别其核空间与像空间，进而定义有效的正交投影 $P_e$，这是处理高斯约束的关键。

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

本文面临的技术挑战主要来自三个方面：

  1. 高斯约束的兼容性问题
    原始系统包含两个约束：$\nabla \cdot B = 0$ 和 $\nabla \cdot E + n_e - n_i = 0$。这些必须在整个演化过程中保持。在滤波方法中，若直接使用标准投影 $P$，可能无法保证约束被维持。为此，作者引入有效正交投影 $P_e$，它是比 $P$ 更强的约束条件组合，强制满足：

    $$ \nabla \cdot v_{e0} = 0, \quad \nabla \cdot v_{i0} = 0, \quad n_{e0} = n_{i0} = n, \quad E_0 = 0, \quad B_0 = n \nabla \times \Delta^{-1}(v_{e0} - v_{i0}), $$

    这些条件共同构成 $P_e U_0 = U_0$ 的充分必要条件。这种构造确保了解在极限过程中始终满足物理约束。

  2. 双流体耦合的非线性复杂性
    与单流体 MHD 不同，EMTF 包含两套动量方程和独立的速度场，导致非线性项极其复杂。作者通过引入新的变量 $q_s = g_s(n_s)$ 将密度方程线性化，并利用对称化技巧将系统写成标准形式。更重要的是，他们发现尽管 SLM 涉及14个变量，但其有效自由度仅为6，其余可通过伪微分关系消去。

  3. 从 SLM 到 XMHD 的显式变换
    最具创造性的一步是构造显式的嵌入映射 $I$，它是一个依赖于 $(\mathrm{Id} - b\Delta)^{-1}$ 的傅里叶乘子矩阵。这个算子将 XMHD 的基本变量 $(u_0, B^*)$ 映射回双流体变量 $(v_{e0}, v_{i0}, B_0)$。其逆变换的存在性依赖于算子的椭圆性和正则性提升性质，这需要精细的傅里叶分析和伪微分算子理论支持。

综上，作者通过结合经典奇性极限理论与现代调和分析工具，成功克服了双流体系统中多重约束、高维非线性和多尺度耦合带来的困难。

与之前工作的比较

a) 突破与改进

本文相对于已有研究做出了多项实质性推进：

  1. 首次将滤波酉群方法应用于双流体系统
    此前，Schochet 方法已被成功用于可压缩欧拉方程、理想 MHD 等系统，但在双流体欧拉-麦克斯韦系统中从未实施。主要原因在于其高度复杂的结构和额外的约束条件（如高斯定律）。本文填补了这一空白，展示了该方法在更一般对称双曲系统中的普适性。

  2. 放宽对初始数据的限制，提出“有效准备”概念
    以往研究往往假设初始数据严格满足某种简化条件，如完全准中性（$n_e = n_i$）或电磁场小量（$E,B=O(\varepsilon)$）。而本文通过引入 $P_e$ 投影，明确了“准备好的”数据应满足的一组精确条件，既足够宽松以容纳物理相关初值，又足够严格以消除高频振荡。这种中间层次的准备条件更具实用性。

  3. 建立 XMHD 的严格 PDE 推导
    尽管 XMHD 在物理文献中广受关注（尤其是 Morrison 等人通过哈密顿变分原理导出），但其作为 EMTF 的渐近极限一直缺乏严格的数学证明。本文首次从第一性原理出发，通过极限分析得出 XMHD 方程，并证明其与 SLM 等价，为该模型提供了坚实的偏微分方程基础。

  4. 揭示双流体效应的本质来源
    以往许多工作通过施加“霍尔条件”或“忽略电子惯性”来获得 Hall-MHD 或类似模型。而本文表明，只要不强制 $v_e = v_i$，自然会出现霍尔项和惯性项，无需人为假设。特别是，速度差 $v_e - v_i$ 直接关联于电流 $j$，并通过 $B_0 = n \nabla \times \Delta^{-1}(v_e - v_i)$ 显现，这正是 XMHD 中霍尔项的起源。

  5. 统一视角下的模型降维
    许多先前研究将不同极限（如零电子质量、非相对论极限）视为彼此独立的路径。而本文显示，所有这些都可以纳入同一个小参数 $\varepsilon$（扰动幅值）的框架下，通过单一渐近展开获得统一描述。这种层级清晰的渐近结构有助于理解不同模型之间的关系。

  6. 为未准备数据留下拓展空间
    虽然本文重点讨论准备数据情形，但也指出对于未准备数据，可通过 Fast Limit Model 描述快慢波共振现象，如能量传递、湍流激发等。这为未来研究非平衡态下的等离子体行为（如磁重联初期阶段）提供了理论入口。

综上，本文不仅在技术层面实现了复杂系统的极限分析，更在概念上推动了人们对等离子体多尺度建模的理解：XMHD 并非人为构造的近似模型，而是双流体系统在低马赫数极限下的自然涌现结构。

2. Stability and bifurcation of 2D viscous primitive equations with full diffusion

具有完全扩散的二维黏性原始方程的稳定性与分岔

作者: Song Jiang, Quan Wang

类别: math.AP

发布日期: 2025-11-21

arXiv ID: 2511.17055v1

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

详细分析

中文标题: 具有完全扩散的二维黏性原始方程的稳定性与分岔

研究对象和背景

本文研究的是在热强迫作用下，具有完全扩散的二维黏性原始方程（primitive equations）的非线性稳定性与动力学分岔问题。这些方程是描述大尺度大气与海洋环流的基础模型，广泛应用于地球物理流体力学中。研究的核心在于分析系统关于一个静止、线性温度分布的基本态的动力学行为，并揭示其在不同热梯度条件下的稳定性转变机制。

所考虑的物理系统是一个周期通道内的不可压缩黏性流体层，其垂直方向为 $z \in [0,H]$，水平方向为 $x \in [0,L]$ 且满足 $L \gg H$，即典型的小纵横比（small aspect ratio）几何结构。该设定自然导向对原始方程的研究，因为当水平尺度远大于垂直尺度时，Boussinesq 方程可通过静力近似（hydrostatic approximation）导出原始方程。

系统的控制方程为二维黏性原始方程：

$$ \begin{cases} \partial_t v + v\partial_x v + w\partial_z v = \mu_x \partial_{xx} v + \mu_z \partial_{zz} v - \partial_x p, \\ \partial_z p = -g\rho_0(1 - \beta(T - T_0)), \\ \partial_t T + v\partial_x T + w\partial_z T = \kappa_x \partial_{xx} T + \kappa_z \partial_{zz} T, \end{cases} $$

其中 $(v,w)$ 是速度场，$T$ 是温度，$p$ 是压力，$\rho_0$ 是参考密度，$\beta > 0$ 是热膨胀系数，$g$ 是重力加速度，$\mu_x, \mu_z$ 分别是 $x$ 和 $z$ 方向的湍流黏性系数，$\kappa_x, \kappa_z$ 是相应的热扩散系数。

边界条件如下：在底面 $z=0$ 和顶面 $z=H$ 上，温度分别固定为 $T_0$ 和 $T_1$；垂直速度 $w$ 和水平速度 $v$ 在边界上均为零；所有变量在 $x$ 方向上以长度 $L$ 周期。区域定义为：

$$ \Omega = \{(x,z) : 0 \leq z \leq H, x \in [0,L]\}, \quad L \gg H. $$

初始条件给定为 $(v,w,T)|_{t=0} = (v_i,w_i,T_i)$。

基本状态取为静止态，具有线性温度剖面和静力平衡：

$$ (v_s, w_s) = (0,0), \quad T_s = T_0 + \frac{z}{H}(T_1 - T_0), \quad p_s = g\rho_0 \int_0^z (1 - \beta(T_s(\xi) - T_0)) d\xi. $$

通过将总解分解为“基本态 + 扰动”，并利用质量守恒 $\partial_x v + \partial_z w = 0$ 及边界条件 $w|_{z=0}=0$，可得垂直速度的积分表达式：

$$ w(t,x,z) = -\int_0^z \partial_x v(t,x,\xi) d\xi. $$

此外，由 $\int_0^H \partial_x v dz = 0$ 推出深度平均速度 $\int_0^H v dz$ 与 $x$ 无关，因此不失一般性可设：

$$ \int_0^H v(t,x,\xi) d\xi = 0. $$

这一零均值条件是后续能量估计中的关键约束，确保了某些积分项消失，从而封闭估计。

进一步地，通过垂直积分压力方程并引入背景压力 $q(t,x)$，原系统被约化为仅含水平速度 $v$ 和温度 $T$ 的闭合系统：

$$ \begin{cases} \partial_t v + v\partial_x v - \left( \int_0^z \partial_x v(t,x,\xi) d\xi \right) \partial_z v = \nu_x \partial_{xx} v + \nu_z \partial_{zz} v - \partial_x q, \\ \partial_t T + v\partial_x T - \left( \int_0^z \partial_x v(t,x,\xi) d\xi \right) \partial_z T + \frac{g\rho_0\beta}{H}(T_1 - T_0)v = \kappa_x \partial_{xx} T + \kappa_z \partial_{zz} T, \\ v|_{z=0,H} = 0, \quad T|_{z=0} = T_0, \quad T|_{z=H} = T_1, \\ v,w,T \text{ 关于 } x \text{ 以 } L \text{ 为周期}. \end{cases} $$

该系统称为扰动系统的演化方程。注意到其中出现了非局部非线性项：$\left( \int_0^z \partial_x v d\xi \right) \partial_z v$ 和 $\left( \int_0^z \partial_x v d\xi \right) \partial_z T$，这是原始方程区别于 Boussinesq 系统的关键特征之一，也带来了显著的数学困难。

研究的主要目标是理解温度差 $T_0 - T_1$ 如何影响该系统的长期行为。特别地，作者识别出一个临界温差 $T_c$，使得系统表现出三种截然不同的动力学行为：

  • 当 $T_0 - T_1 < T_c$（亚临界），系统全局稳定；
  • 当 $T_0 - T_1 = T_c$（临界），系统仍稳定但衰减速率更慢；
  • 当 $T_0 - T_1 > T_c$（超临界），系统失稳并发生分岔。

这种结构类似于经典的 Rayleigh–Bénard 对流，但在更复杂的原始方程框架下进行严格数学分析尚属首次。

函数空间方面，解属于 $C([0,+\infty); H^2(\Omega)) \times H^1(\mathbb{T})$，即水平速度和温度在空间上具有 $H^2$ 正则性，而背景压力 $q$ 属于一维 Sobolev 空间。边界条件包含 Dirichlet（温度和法向速度）与周期性（水平方向），构成混合边值问题。

综上所述，本文研究的是在周期通道中受上下温差驱动的二维黏性原始方程，其数学挑战主要来自：(1) 非局部非线性项的存在；(2) 多个物理量之间的强耦合；(3) 不同热参数区间导致的结构性差异；(4) 分岔分析所需的中心流形约化技术的应用难度。

主要定理或主要结果

本文建立了四个核心定理，完整刻画了系统从稳定到失稳再到模式形成的全过程。

定理 1.1（亚临界稳定性）
假设 $T_0 - T_1 < T_c$，其中 $T_c$ 由公式 (1.12) 给出。则基本态 (1.8) 在 $H^2$ 范数下是全局非线性稳定的。具体而言，存在常数 $\lambda > 0$ 和 $C > 0$，使得对任意初值 $(v_i,T_i) \in H^2(\Omega)$ 满足 $\int_0^H v_i(x,z)dz = 0$，其对应的全局强解 $((v,T),q)$ 满足：

$$ \|v(t)\|_{H^2} + \|T(t)\|_{H^2} + \|\partial_x q(t)\|_{L^2} \leq C e^{-2\lambda t}, \quad \forall t \geq 0. $$

这表明扰动以指数速率衰减至零。

定理 1.2（临界稳定性）
假设 $T_0 - T_1 = T_c$。则基本态在 $H^1$ 范数下是非线性稳定的，并且所有解渐近趋于零：

$$ \lim_{t \to \infty} \left( \|v(t)\|_{H^1} + \|T(t)\|_{H^1} \right) = 0. $$

注意此处稳定性仅在 $H^1$ 层次成立，且未给出指数衰减率，说明临界情形下耗散效应减弱。

定理 1.3（超临界不稳定性）
假设 $T_0 - T_1 > T_c$。则对于任意 $p \in [1,\infty]$，基本态在 $L^p$ 范数下是非线性不稳定的。即存在初值 $(v_i^\delta, T_i^\delta)$ 满足 $\|(v_i^\delta, T_i^\delta)\|_{H^2} = \delta$，使得对应解在有限时间内满足：

$$ \|(v(t_\delta), T(t_\delta))\|_{L^p} \geq \epsilon_* > 0, $$

即使初始扰动任意小，解也不会保持接近零态，从而证实了失稳的发生。

定理 1.4（动态分岔与中心流形约化）
当 $T_0 - T_1$ 接近 $T_c$ 时，原系统的动力学可在中心流形上约化为二维常微分系统：

$$ \begin{aligned} \frac{dx_1}{dt} &= \beta_{mc,1}^+ x_1 + l |x| x_1 + o(|x|^3), \\ \frac{dx_2}{dt} &= \beta_{mc,1}^+ x_2 + l |x| x_2 + o(|x|^3), \end{aligned} $$

其中 $\beta_{mc,1}^+$ 是最大特征值，$l < 0$ 为负的分岔系数。该系统经历超临界分岔，产生一族稳定的平衡点，构成一个局部环吸引子（ring attractor）。

定理 1.5（稳定稳态解的构造）
在超临界条件下，系统存在可数无穷多个稳定的非平凡稳态解 $(v_b^s, T_b^s)$，其渐近展开为：

$$ v_b^s = s V_1 + s V_2 + \frac{|s|^2}{2!} V_3 + o(|s|^2), \quad T_b^s = s \Theta_1 + s \Theta_2 + \frac{|s|^2}{2!} \Theta_3 + o(|s|^2), $$

其中 $|s|^2 = -\beta_{mc,1}^+/l$，基模 $(V_j, \Theta_j)$ 显式给出。这些解形成一个环状结构，在相空间中表现为旋转对称的吸引子集合。

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

a) 核心分析工具

本文综合运用了多种现代偏微分方程与动力系统理论中的高级工具：

  • 能量方法（Energy Methods）：在亚临界和临界情形中，作者构建了一系列逐阶升级的能量泛函，如 $E_0 = \|v\|_{L^2}^2 + \|T\|_{L^2}^2$、$E_1 = \|\nabla v\|_{L^2}^2 + \|\nabla T\|_{L^2}^2$、$E_2 = \|D^2 v\|_{L^2}^2 + \|D^2 T\|_{L^2}^2$，并通过精细估计证明其满足微分不等式 $\frac{d}{dt}E_k \leq -c E_k$，从而获得指数衰减。

  • 谱分析与线性稳定性理论：通过对线性化算子进行特征值分析，确定临界阈值 $T_c$，并识别主导模态（对应最小波数 $m_c$）。这是分岔分析的前提。

  • 中心流形定理（Center Manifold Theorem）：用于将无限维PDE系统在临界点附近约化为低维ODE系统。由于线性部分在 $T=T_c$ 时有一对纯虚特征值（或零特征值），系统进入分岔区域，中心流形提供了有效的降维框架。

  • Bootstrap论证（Bootstrap Argument）：在证明非线性不稳定性时，作者先利用线性不稳定性构造增长解，再通过扰动理论将其提升为非线性解的增长性，实现从小扰动出发的逃逸现象。

  • 变分原理：用于刻画主特征值的极小极大结构，进而建立能量耗散与温差之间的定量关系。

b) 技术难点与应对策略

本文面临三大主要技术挑战：

第一，非局部非线性项的处理。原始方程中含有形如 $\left(\int_0^z \partial_x v d\xi\right)\partial_z v$ 的项，这类项无法用标准 Ladyzhenskaya 不等式直接控制。为此，作者发展了一套迭代估计技巧：首先估计 $\|\partial_z v\|_{L^2}$，由此推出 $\|\partial_x v\|_{L^\infty}$（利用 Sobolev 嵌入），再结合 Gronwall 引理控制 $\|\partial_x T\|_{L^2}$，最终闭环估计高阶范数。这种“逐阶递推”策略是克服非局部性的关键。

第二，多物理量强耦合导致能量估计失效。传统方法中常单独估计 $\|\nabla v\|$ 或 $\|\nabla T\|$，但在原始方程中，由于动量方程与温度方程通过浮力项和非局部速度耦合，单一能量无法封闭。作者采用联合能量 $E(t) = \|v\|_{H^k}^2 + R\|T\|_{H^k}^2$（$R$ 为适当常数），并精心选择权重 $R$ 以平衡交叉项，使总能量满足负定导数。

第三，临界情形下的渐近收敛分析。当 $T_0 - T_1 = T_c$ 时，线性部分不再具有谱隙，标准能量法不能给出指数衰减。此时作者结合紧性论证与LaSalle不变原理，证明轨道趋于不变集，并进一步利用唯一连续性定理排除非零极限的可能性，从而得出整体趋于零的结论。

此外，在分岔分析中，作者需精确计算非线性项在临界模态上的投影，涉及复杂的多重积分与正交展开。他们利用Fourier-Galerkin截断和显式基函数构造，完成了分岔系数 $l$ 的符号判定（$l<0$），从而确认为超临界分岔。

与之前工作的比较

本文在多个方面实现了对已有研究的重要突破：

首先，在模型层面，以往关于热驱动对流的数学分析多集中于 Boussinesq 方程（如 Chandrasekhar, Drazin & Reid, Guo & Han 等），而本文首次在原始方程框架下完成完整的稳定性与分岔分析。原始方程虽源于 Boussinesq 的静力近似，但由于去除了垂直加速度项，其数学结构更为奇异，尤其是失去了椭圆性，使得经典能量方法难以直接应用。本文成功克服了这一障碍，填补了从理想模型到实际地球物理模型之间的理论空白。

其次，在稳定性结果的强度上，本文不仅证明了 $L^2$ 稳定性，更推进到了 $H^2$ 层次的全局非线性稳定性，并给出了明确的指数衰减速率。相比之下，许多早期工作仅停留在线性稳定性或局部非线性稳定性。例如，Doering et al. [23] 虽研究了无热扩散情形的稳定性，但未涵盖完全扩散情况；Castro et al. [24] 引入阻尼项简化了问题。本文在无额外耗散机制的情况下，仅依赖物理黏性和扩散就实现了高阶稳定性，体现了更强的结论。

再次，在分岔分析的完整性方面，Ma & Wang [16,17] 曾研究过类似系统的吸引子分岔，但多限于抽象框架或特定边界条件。本文不仅证明了分岔的发生，还显式构造了稳定稳态解族，并揭示其组织成“环吸引子”的几何结构。这种精细的动力学图像此前在原始方程中从未被严格建立。

最后，在技术普适性上，本文发展的针对非局部项的迭代估计方法、联合能量构造技巧以及中心流形约化流程，均可推广至三维情形或其他复杂几何域。特别是对 $T_c$ 的显式表达式：

$$ T_c = \frac{\pi^4 \mu_z \kappa_x + \kappa_z \mu_x}{H^3 \rho_0 g \beta} \left(1 + \min_{m \in \mathbb{Z}^+} \left( \frac{4m^2 \mu_x H^2}{\mu_z L^2} + \frac{\kappa_z L^2}{4m^2 \kappa_x H^2} \right) \right) $$

为实验设计与数值模拟提供了明确的临界判据。

综上所述，本文不仅解决了长期以来悬而未决的“原始方程中是否会发生大尺度对流分岔”的根本问题，而且建立起一套严谨的数学框架，为理解气候系统中如 Hadley 环流、Walker 环流等大型环流结构的自发形成机制提供了坚实的理论基础。

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

1. On the asymptotic dynamics for the $L^2$-supercritical gKDV equation

关于 $L^2$-超临界广义Korteweg-de Vries方程的渐近动力学研究

作者: Ricardo Freire, Claudio Muñoz

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16847v1

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

摘要翻译

中文标题: 关于 $L^2$-超临界广义Korteweg-de Vries方程的渐近动力学研究

摘要翻译: 本文研究非线性项指数 $p>5$ 的 $L^2$-超临界广义Korteweg-de Vries方程（gKdV）。尽管在 $H^1$ 空间中的局部适定性已是经典结果，但在超临界情形下的长时间动力学行为仍远未被充分理解，目前仅在小初值的整体解、任意幂次下的多孤子构造以及临界幂次 $p=5$ 附近的自相似爆发现象等方面有所进展。我们针对任意 $H^1$ 解（包括整体解和爆破解）建立了非孤子区域的一个统一描述。分析表明，在该区域内，解在无穷远处的 $L^2$ 和 $L^p$ 渐近动力学行为完全由梯度的 $L^2$ 范数（或等价地，临界 $H^{s_p}$ 范数）的增长速率所决定。特别地，我们证明了在两个半直线上尖锐的远场衰减性质，并沿某些时间序列建立了归一化的局部消失性；当非线性项为偶次幂时，估计结果可进一步改进。关键技术之一是一种新的维里方法，该方法通过利用质量守恒律及对非线性通量的精细局部化，补偿了 $H^1$ 范数可能无界的困难。由此我们得到了此前仅在次临界情形下已知的衰减现象的定量版本，且该方法无需任何小性假设或接近孤子的条件。

2. Fully localised three-dimensional solitary water waves on Beltrami flows with strong surface tension

具有强表面张力的Beltrami流中完全局域化的三维孤立水波

作者: Mark D. Groves, Erik Wahlén

类别: math.AP, nlin.PS

发布日期: 2025-11-20

arXiv ID: 2511.16843v1

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

摘要翻译

中文标题: 具有强表面张力的Beltrami流中完全局域化的三维孤立水波

摘要翻译: 完全局域化的三维孤立波是一类在所有水平方向上均呈衰减性的定常水波。本文在以下假设条件下建立了此类波的存在性理论：相对涡量与速度场平行（即“Beltrami流”），水体的自由表面具有形式 $\{z=η(x,y)\}$，其中 $η: {\mathbb R}^2\rightarrow{\mathbb R}$ 为某一函数，且表面张力的影响足够强。将控制方程组化为关于 $η$ 的单一方程，并进一步约化为KP-I方程的一个扰动形式。最近的研究已表明，KP-I方程具有一族非退化的局域化解；通过应用适当形式的隐函数定理，可证明这些解在扰动下仍然存在。

3. The F. John model and Cummins’ equations for freely floating objects

F. John 模型与自由漂浮物体的 Cummins 方程

作者: David Lannes, Martin Oen Paulsen

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16826v1

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

摘要翻译

中文标题: F. John 模型与自由漂浮物体的 Cummins 方程

摘要翻译: 本文研究了二维框架下自由漂浮物体的 F. John 问题的适定性理论。该问题描述了不可压缩、无旋自由表面流体与部分浸没的刚体之间相互作用的线性化模型，与船舶工程中广泛使用的 Cummins 方程密切相关——后者是一组耦合的积分微分方程。我们的结果为这一模型提供了严格的理论依据，并首次证明了其适定性。为此，我们揭示了 F. John 问题具有哈密顿结构，尽管其哈密顿量非正定，迫使我们必须在半希尔伯特空间框架下进行分析。此外，流体区域中角点的存在导致速度势所满足的边值问题缺乏椭圆正则性。因此，即使初始数据非常光滑，F. John 问题的解通常也仅具有有限的正则性。相应地，Cummins 方程的解一般最多属于 $C^3$ 类。当接触角较小或等于 $\pi/2$ 时，若满足由流动保持的某些相容性条件，则可获得更高的正则性。这使我们能够揭示物体三个自由度之间的定性差异。例如，仅允许垂直运动的物体其运动轨迹可以是 $C^\infty$ 光滑的，而若仅允许水平平移，则其运动一般不会优于 $C^3$。

不相关论文（基本信息）

1. On gap properties for the linearized 1D Dirac–Soler model

关于一维狄拉克-索勒模型线性化的能隙性质研究

作者: Danko Aldunate, Julien Ricaud, Edgardo Stockmeyer

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

发布日期: 2025-11-21

arXiv ID: 2511.17451v1

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

摘要: We study spectral properties of the Dirac operator $L_0$ arising as the upper-right off-diagonal block in the linearization around standing wave solutions of the one-dimensional Soler model with power nonlinearity $f(s)=s|s|^{p-1}$, $p>0$. Our main results concern the so-called gap property: we show that if $p \geq 1$, then the only eigenvalues of $L_0$ are its ground state energies, $-2ω$ and $0$. In contrast, for $p<1$, additional eigenvalues appear from the thresholds of the essential spectrum. Furthermore, we prove that the thresholds never admit eigenvalues and that they have at most one resonance.

2. Feynman spectral action of the wave operator on asymptotically de Sitter spaces

渐近de Sitter空间上波动算子的费曼谱作用

作者: Ruben Zeitoun

类别: math.AP, math-ph

发布日期: 2025-11-21

arXiv ID: 2511.17359v1

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

摘要: In this paper, we investigate the wave operator $\square_g$ on non-trapping (at all energies) even asymptotically de Sitter spaces. We construct a Feynman operator on the conformal extension of asymptotically de Sitter spaces and give a proof of uniform microlocal estimates for the Feynman operator in this setting. This enables the study of the Lorentzian “spectral” zeta functions in asymptotically de Sitter and the construction of a “spectral” action of the Feynman propagator.

3. Boundary regularity and a priori estimates for fractional equations on unbounded domains

无界区域上分数阶方程的边界正则性与先验估计

作者: Yahong Guo, Congming Li, Yugao Ouyang

类别: math.AP

发布日期: 2025-11-21

arXiv ID: 2511.17325v1

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

摘要: In this paper, we study the boundary Hölder regularity for solutions to the fractional Dirichlet problem in unbounded domains with boundary \begin{equation*} \begin{cases} (-Δ)^s u(x) = g(x),&\text{in } Ω, u(x)=0, &\text{in } Ω^c. \end{cases} \end{equation*} Existing results rely on the global $L^{\infty}$ norm of solutions to control their boundary $C^s$ norm, which is insufficient for blow-up and rescaling analysis to obtain a priori estimates in unbounded domains. To overcome this limitation, we first derive a local version of boundary Hölder regularity for nonnegative solutions in which we replace the global $L^{\infty}$ norm by only a local $L^{\infty}$ norm. Then as an important application, we establish a priori estimates for nonnegative solutions to a family of nonlinear equations on unbounded domains with boundaries.

4. Survival and invasion dynamics in cell populations: an analytical framework for threshold behaviour in nonlinear age-structured models

细胞群体中的存活与入侵动力学：非线性年龄结构模型中阈值行为的分析框架

作者: Stéphanie M. C. Abo, Ruth E. Baker

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

发布日期: 2025-11-21

arXiv ID: 2511.17279v1

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

摘要: Cell populations invade through a combination of proliferation and motility. Proliferation depends on the internal timing of cell division: how long cells take to complete the cell cycle. This timing varies substantially within (and across) cell types, creating age structure where cells at different times since their last division have different propensities to divide. Classical mathematical models of cell spreading treat division as memoryless and predict exponential cell-cycle-time distributions. Lineage tracing, by contrast, reveals peaked, gamma-like distributions that indicate a maturation delay leading to a fertility window. This gap motivates a modelling framework that incorporates age-dependent cell division rates while retaining analytical tractability. We address this through a moment-hierarchy framework that tracks time since cell division, with age resetting to zero at division. The framework yields explicit formulae for steady-state age distributions, cell-cycle-time distributions, and invasion speeds. For age-independent rates, we recover classical Fisher–KPP. Three fundamental principles emerge. First, age structure systematically reduces a population’s carrying capacity and narrows the viable parameter range for positive steady states. Second, classical linear theory overestimates invasion speeds; the true minimal speed is slower when division is age-dependent. Third, the parameter condition for population survival is identical to the condition for a positive invasion speed.

5. Isolated singularities for elliptic equations with convolution terms in a punctured ball

带卷积项的椭圆方程在穿孔球中的孤立奇点

作者: Marius Ghergu, Zhe Yu

类别: math.AP

发布日期: 2025-11-21

arXiv ID: 2511.17149v1

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

摘要: The purpose of this article is two-fold. First, we investigate the inequality

$$ -Δu+V(x) u\geq f\quad\mbox{ in } B_1\setminus\{0\}\subset \mathbb{R}^N , N \geq 2, $$

where $f\in L^1_{loc}(B_1)$. If $V\geq 0$ is radially symmetric, we provide optimal conditions for which any solution $0\leq u\in \mathcal{C}^2(B_1\setminus\{0\})$ of the above inequality satisfies $u, Δu, V(x)u\in L^1_{loc}(B_1)$. This extends a result of H. Brezis and P.-L. Lions (1982), originally established for constant potentials $V$. Second, we investigate the equation

$$ \displaystyle -Δu + λV(x) u = (K_{α, β} * u^p) u^q \quad\text{in } B_1 \setminus \{0\}, $$

where $0\leq V\in \mathcal{C}^{0, ν}( \overline B_1\setminus\{0\})$, $0<ν<1$, $λ, p, q>0$ and

$$ K_{α, β}(x) = |x|^{-α}\log^β\frac{2e}{|x|}, \quad\text{where } 0 \leq α< N, β\in \mathbb{R}. $$

For $N \geq 3$, we establish sharp conditions on the exponents $α, β, p, q$ under which singular solutions exist and exhibit the asymptotic behavior $u(x) \simeq |x|^{2-N}$ near the origin. For $N = 2$, we provide a classification of the existence and boundedness of solutions based on the local behavior of the potential $V(x)$ near the origin.

6. Local wellposedness of the 2d Anderson-Gross-Pitaevskii equation

二维Anderson-Gross-Pitaevskii方程的局部适定性

作者: Samaël Mackowiak

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

发布日期: 2025-11-21

arXiv ID: 2511.17063v1

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

摘要: In this paper, the local wellposedness of a general Gross-Pitaevskii equation with rough potential is proven in dimension 2. The class of rough potentials we are considering is large enough to contain the spatial white noise and thus a renormalization procedure may be needed. We first construct the associated Schrödinger operator from its quadratic form. Then, the regularity of elements of its domain is explored. This allows to use a paracontrolled approach in order to obtain Strichartz estimates, which are used to prove the local wellposedness by a contraction argument.

7. Differential algebraic system nodes

微分代数系统节点

作者: Mehmet Erbay, Birgit Jacob, Timo Reis

类别: math.AP, math.FA

发布日期: 2025-11-21

arXiv ID: 2511.17035v1

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

摘要: Infinite-dimensional differential algebraic equations (short DAEs) with input and output are studied. The concepts of operator nodes and system nodes are extended to systems which additionally may include algebraic constraints. Extrapolation spaces are investigated for differential-algebraic equations, and solutions of the extrapolated DAE are characterized using augmented Wong sequences. The resulting theory is then applied to characterize infinite-dimensional port-Hamiltonian DAEs.

8. Classification and symmetry of global solutions for nonlinear elliptic equations with mixed reaction terms

具有混合反应项的非线性椭圆方程全局解的分类与对称性

作者: Huyuan Chen, Florica C. Cîrstea, Aleksandar Miladinovic

类别: math.AP

发布日期: 2025-11-21

arXiv ID: 2511.17002v1

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

摘要: In this paper, we describe the set of all positive distributional $C^1(\mathbb R^N\setminus \{0\})$-solutions of elliptic equations with mixed reaction terms of the form

$$ \mathbb L_{ρ,λ,τ}[u]:= Δu-(N-2+2ρ) \frac{x\cdot \nabla u}{|x|^2} +λ\frac{u^τ|\nabla u|^{1-τ}}{|x|^{1+τ}}=|x|^θu^q\quad \mbox{in } \mathbb R^N\setminus \{0\}, $$

where $ρ,λ, θ\in \mathbb R$ are arbitrary, $N\geq 2$, $q>1$ and $τ\in [0,1)$. Defining $β=(θ+2)/(q-1)$ and $f_{ρ,λ,τ}(t)=t\left(t+2ρ\right) +λ|t|^{1-τ}$ for $t\in \mathbb R$, we show that the equation has positive solutions if and only if $f_{ρ,λ,τ}(β)>0$. Under this condition, we provide existence and the exact asymptotic behaviour near zero and at infinity for all positive solutions. We obtain that all such solutions are radially symmetric. When $θ<-2$ and $ρ,λ\in \mathbb R$, we also find the precise local behaviour near zero for all positive solutions of our equation in $Ω\setminus \{0\}$, where $Ω$ is an open set containing $0$. By introducing the second term in $\mathbb L_{ρ,λ,τ}[\cdot]$ with $ρ\in \mathbb R$, we reduce the study to $θ<-2$ via a modified Kelvin transform. We reveal new and surprising phenomena compared with the work of Cîrstea and Fărcăşeanu (2021), where $ρ=(2-N)/2$ and $τ=1$.

9. Distortion of charge distribution due to internal electric fields described by the drift-diffusion semiconductor model

漂移-扩散半导体模型描述的内建电场引起的电荷分布畸变

作者: Masakazu Yamamoto

类别: math.AP, math-ph

发布日期: 2025-11-21

arXiv ID: 2511.16956v1

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

摘要: In this paper, the initial value problem for the Debye–Hueckel drift-diffusion equation is studied. This equation was introduced as a model describing plasma behavior and is also known as a simulation model of MOSFET, and so its solution describes charge density. It is well-known that, if the initial density is localized, then the density is adjusted to be radially symmetric due to the linear diffusion. Consequently, the electric field is also governed by a radially symmetric potential, and its effects are expected to act radially symmetrically. The main result express the electric field and its effect on the charge density as concrete functions. It also denotes the distortion of symmetry and the shift of scale on the density due to the internal electric field. Unlike the historical paper via Escobedo and Zuazua and the followers, the main result captures stronger nonlinearity than the logarithmic shift.

10. An analytic study of bi-harmonic flow with a forcing term

带强迫项的双调和流的解析研究

作者: Mohammad Javad Habibi Vosta Kolaei

类别: math.AP, math.DG

发布日期: 2025-11-21

arXiv ID: 2511.16915v1

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

摘要: In this paper, we study the evolution of smooth, closed planar curves under a fourth order biharmonic flow with an external forcing term. Such flows arise naturally in the theory of biharmonic maps and geometric variational problems involving bending energy. We first establish the global existence of smooth solutions to the associated initial value problem, assuming appropriate conditions on the forcing term. The analysis is performed through a reformulation of the geometric flow using the support function, enabling a scalar PDE characterization of the evolution. Under specific geometric constraints, we demonstrate that the governing equation admits a Monge Ampére type structure that can exhibit hyperbolic behavior. Furthermore, we prove that convexity is preserved during the evolution and derive sufficient conditions ensuring long time convergence to steady-state solutions. Our results extend recent developments in geometric analysis by clarifying the role of forcing terms in stabilizing high order curvature flows and enhancing their qualitative behavior.

11. Phase transitions in two-component Bose-Einstein condensates with Rabi frequency (II): The De Giorgi conjecture for the nonlocal problem in $\mathbb{R}^{2}$ or $\mathbb{R}^{3}$

具有拉比频率的双组分玻色-爱因斯坦凝聚中的相变（II）：$\mathbb{R}^{2}$ 或 $\mathbb{R}^{3}$ 中非局部问题的De Giorgi猜想

作者: Leyun Wu, Chilin Zhang

类别: math.AP, math-ph

发布日期: 2025-11-21

arXiv ID: 2511.16907v1

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

摘要: In this series of papers, we investigate coupled systems arising in the study of two-component Bose-Einstein condensates, and we establish classification results for solutions of De Giorgi conjecture type. In the present (second) paper of the series, we focus on the nonlocal problem of the form \begin{equation*} \left{\begin{aligned} (-Δ)^{s}u+u(u^{2}+v^{2}-1)+v(αuv-ω)=0, (-Δ)^{s}v+v(u^{2}+v^{2}-1)+u(αuv-ω)=0, \end{aligned} \right. \end{equation*} which models the stationary states of Rabi-coupled condensates with inter- and intra-species interactions. We prove that for $\frac{1}{2}\le s<1$, any positive entire solution $(u,v)$ in $\mathbb{R}^3$ satisfying the monotonicity condition $\partial_{x_3}u>0>\partial_{x_3}v$ must be one-dimensional. Moreover, when $0<s<\frac{1}{2}$, the same conclusion holds for monotone solutions in $\mathbb{R}^2$. Our work generalizes classical De Giorgi-type theorems to a new class of nonlocal coupled systems and, to the best of our knowledge, presents the first Liouville-type classification of monotone solutions for Rabi-coupled fractional Bose-Einstein condensates, with particular emphasis on fractional Gross-Pitaevskii models.

12. Fractional Derivatives: an extension of classical analysis to non-integer orders

分数阶导数：经典分析向非整数阶的扩展

作者: Félix del Teso, David Gómez-Castro

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

发布日期: 2025-11-20

arXiv ID: 2511.16789v1

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

摘要: This article provides an accessible introduction to fractional derivatives, a concept that extends classical calculus by allowing derivatives of non-integer order. It explores both the fundamental definitions and some of the most relevant properties and applications of this mathematical tool. It was originally published in Spanish in the Gaceta de la Real Sociedad Española and automatically translated using Github copilot.