生成时间: 2026年01月16日 03:54:19

重点关注论文数量: 3

了解领域论文数量: 6

不相关论文数量: 8

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

1. 标量曲率的普适 Bochner 公式

A universal Bochner formula for scalar curvature

作者: Sven Hirsch

类别: math.DG, math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10618v1

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

详细分析

中文标题: 标量曲率的普适 Bochner 公式

研究对象和背景

本文的核心研究对象是标量曲率（scalar curvature），这是微分几何和几何分析中一个至关重要的几何量。标量曲率 $R$ 在正质量定理、共形几何中的 Yamabe 问题、以及广义相对论的物质能量条件中扮演着关键角色。长期以来，证明流形上不存在具有正标量曲率的度量（例如著名的 Geroch 猜想和球面斯梅尔猜想）或证明正质量定理，主要依赖于三种截然不同的数学工具：极小曲面（minimal surfaces）、旋量（spinors）以及等值面（level sets）。尽管这三种方法最终都编码了标量曲率的信息，但在概念上它们看起来完全不同：极小曲面方法依赖于稳定不等式，旋量方法依赖于 Schrödinger–Lichnerowicz–Weitzenböck 公式，而等值面方法则依赖于 Bochner 型恒等式。

本文作者 Sven Hirsch 的目标正是寻找这三种方法的统一表述。论文引入了一个普适的 Bochner 公式（Theorem 1.1），它作为一个统摄性的解析恒等式，包含了上述三种经典方法的特例。这个公式不仅在理论上统一了不同的几何工具，也为解决更高维度的几何问题（如 Llarull 定理、渐近 AdS 正质量定理、Penrose 不等式等）提供了新的潜在途径。

描述的方程与系统

论文研究的背景基于经典的几何分析方程组和几何结构。

  1. 经典 Bochner 公式与 Ricci 曲率：在黎曼几何中，对于函数 $u$，经典的 Bochner 公式给出了拉普拉斯算子的二阶展开：

    $$ \Delta |\nabla u|^2 = 2|\nabla^2 u|^2 + 2\langle \nabla u, \nabla \Delta u \rangle + 2\text{Ric}(\nabla u, \nabla u) $$

    这个公式将函数的导数与 Ricci 曲率联系起来。

  2. Schrödinger–Lichnerowicz–Weitzenböck 公式：在旋量几何中，对于 Dirac 算子 $D\!\!\!\!/\,$，有：

    $$ D\!\!\!\!/{}^2 \psi = \nabla^* \nabla \psi + \frac{R}{4} \psi $$

    其中 $\psi$ 是旋量场，$\nabla^* \nabla$ 是粗糙拉普拉斯算子。若 $D\!\!\!\!/ \psi = 0$，则可以推导出关于 $|\psi|$ 的不等式。

  3. 极小曲面与稳定性：对于极小超曲面 $\Sigma \subset M$，稳定性条件来源于 Jacobi 算子的非负性，这通常导致一个包含平均曲率 $H$ 和 Ricci 曲率的不等式。

本文的核心系统不是显式的 PDE，而是一个迭代定义的几何结构。考虑黎曼流形 $(M^n, g)$ 和 $n-2$ 个 $C^3$ 函数 $u_0, \dots, u_{n-2}$，满足：

$$ du_0 \wedge \dots \wedge du_{n-2} \neq 0 $$

这意味着这些函数的微分线性无关。作者定义了 $n-1$ 个向量场 $Z_m$（其中 $m = 0, \dots, n-1$），通过迭代的方式将其与这些函数联系起来。

核心迭代系统与假设

在 Introduction 部分，Theorem 1.1 建立在一个特定的几何配置上：

设 $(M^n, g)$ 为黎曼流形，$u_0, \dots, u_{n-2}$ 为 $C^3$ 函数且满足 $du_0 \wedge \dots \wedge du_{n-2} \neq 0$。 向量场 $Z_0, \dots, Z_{n-1}$ 通过下式迭代定义：

$$ Z_m |Z_{m+1}|^{-1} = \nabla_{\Sigma_m} u_m, \quad 0 \leq m \leq n-2 $$

这里 $\Sigma_m$ 是映射 $(u_0, \dots, u_{m-1})$ 的联合等值面（$\Sigma_0 = M$），$\nabla_{\Sigma_m}$ 是 $\Sigma_m$ 上的切向梯度。 论文的核心假设是：在点 $p \in M$ 处，散度条件成立：

$$ \text{div}_{\Sigma_m} Z_m = 0, \quad \forall 0 \leq m \leq n-2 $$

这相当于要求每个 $Z_m$ 在对应的等值面 $\Sigma_m$ 上是切向无散的（divergence-free）。

在此背景下，作者推导出一个普适的 Bochner 型不等式（Theorem 1.1）：

$$ 2|Z_0|^{-1} \Delta |Z_0| - 2 \Delta \log |Z_{n-1}| \geq R + |\nabla \log |Z_0||^2 + 2 \sum_{m=0}^{n-2} |Z_{m+1}|^{-1} \nabla_{\nu_{m+1}} (\text{div}_{\Sigma_m} Z_m) $$

其中 $R$ 是流形的标量曲率，$\nu_{m+1}$ 是 $\Sigma_{m+1}$ 在 $\Sigma_m$ 中的单位法向量。

该公式将标量曲率 $R$ 与一系列由函数 $u_i$ 生成的向量场的散度和拉普拉斯量联系起来。论文进一步展示了如何通过归一化条件（如 $|Z_0|=1$ 或 $|Z_{n-1}|=1$）得到特定情况的推论，如极小切片的稳定性不等式、Lichnerowicz 型公式以及 Stern 的等值面恒等式的高维推广。

主要定理或主要结果

论文的主要结果是 Theorem 1.1，它提供了一个普适的 Bochner 不等式，将标量曲率与由任意函数构成的向量场系统联系起来。

定理 1.1 (普适 Bochner 公式)

假设条件：

  1. $(M^n, g)$ 是一个黎曼流形。
  2. $u_0, \dots, u_{n-2}$ 是 $C^3$ 函数，满足 $du_0 \wedge \dots \wedge du_{n-2} \neq 0$。
  3. 向量场 $Z_0, \dots, Z_{n-1}$ 由下式迭代定义：
    $$ Z_m |Z_{m+1}|^{-1} = \nabla_{\Sigma_m} u_m, \quad 0 \leq m \leq n-2 $$
  4. 在点 $p \in M$ 处，满足散度条件：
    $$ \text{div}_{\Sigma_m} Z_m = 0, \quad \forall 0 \leq m \leq n-2 $$

结论： 在点 $p$ 处，以下不等式成立：

$$ \sum_{m=0}^{n-2} \left( 2|Z_m|^{-1} \Delta_{\Sigma_m} |Z_m| - 2 \Delta_{\Sigma_{m+1}} \log |Z_{m+1}| \right) \geq R + |\nabla \log |Z_0||^2 + 2 \sum_{m=0}^{n-2} |Z_{m+1}|^{-1} \nabla_{\nu_{m+1}} (\text{div}_{\Sigma_m} Z_m) $$

简化形式为：

$$ 2|Z_0|^{-1} \Delta |Z_0| - 2 \Delta \log |Z_{n-1}| \geq R + |\nabla \log |Z_0||^2 + 2 \sum_{m=0}^{n-2} |Z_{m+1}|^{-1} \nabla_{\nu_{m+1}} (\text{div}_{\Sigma_m} Z_m) $$

其他重要结果

  1. Corollary 1.3 (极小切片推论)：如果存在一个稳定的加权最小切片，且 $|Z_0|=1$，则得到 $-2 \Delta_{\Sigma_{n-1}} \log |Z_{n-1}| \geq R$。这直接导致了球面斯梅尔猜想（即环面不承认正标量曲率度量）的新证明。
  2. Theorem 1.4 (Lichnerowicz 型公式)：如果假设 $|Z_{n-1}| = 1$，则得到 $2 \Delta |Z_0| \geq \frac{|\nabla Z_0|^2}{|Z_0|} + R|Z_0|$。这模拟了旋量几何中的 Schrödinger–Lichnerowicz 不等式。
  3. Theorem 1.6 (Stern 恒等式的高维推广)：在 $s = n-2$ 的情况下，如果 $|Z_{s}| = 1$ 且散度条件满足，得到 $2 \Delta |Z_0| \geq (R - 2K(\Sigma_{n-2}))|Z_0|$，其中 $K(\Sigma_{n-2})$ 是等值面的高斯曲率。

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

本论文的研究方法主要依赖于微分几何中的 Bochner 技术和迭代的几何分解。作者并未使用传统的 PDE 解存在性定理（如 Sobolev 空间中的不动点定理），而是通过精妙的几何代数运算，将不同维度的几何量“分层”并联系在一起。

a) 核心分析学工具

  1. Bochner 公式与 Ricci 张量的分解： 论文的基础是经典的 Bochner 技术，即通过拉普拉斯算子展开二阶导数项。在 Theorem 2.5 的证明中，核心工具是 Ricci 曲率的分解公式。在超曲面 $\Sigma_{m+1} \subset \Sigma_m$ 的背景下，Ricci 曲率 $R$ 被分解为 $\Sigma_m$ 上的截面曲率、$\Sigma_{m+1}$ 的第二基本形式以及法向曲率的组合：

    $$ \sum_{m=0}^{n-2} \left( \text{Ric}_{\Sigma_m}(\nu_{m+1}, \nu_{m+1}) + \frac{1}{2}|A_{\Sigma_{m+1}}|^2 - \frac{1}{2}H_{\Sigma_{m+1}}^2 \right) = R $$

    这种分解使得标量曲率可以被视为所有中间层级几何量的总和。

  2. Levi-Civita 联络与 Codazzi 方程： 文章大量使用了黎曼流形上的协变导数 $\nabla$。在 Lemma 2.1、2.2 和 2.3 的推导中，关键在于计算向量场 $Z_m = |Z_{m+1}| \nabla_{\Sigma_m} u_m$ 的导数。这涉及到超曲面的第二基本形式 $A$ 和平均曲率 $H$ 的几何公式：

    $$ A_{\Sigma_{m+1}} = |\nabla_{\Sigma_m} u_m|^{-1} \nabla^2_{\Sigma_m} u_m $$

    以及 Gauss-Codazzi 方程的局部应用，特别是法向导数与切向导数的交换关系。

  3. 向量场的迭代构造与散度条件： 论文的普适性来源于向量场的迭代定义：

    $$ Z_m = |Z_{m+1}| \nabla_{\Sigma_m} u_m $$

    这一构造是系统的核心。通过假设 $\text{div}_{\Sigma_m} Z_m = 0$，作者实际上在每个层级上施加了一个约束条件。这允许作者将高阶导数项（如 $\Delta \log |Z|$）转化为几何量（如法曲率、平均曲率）和函数 $u_m$ 的导数。这种逐层分解的技巧将高维流形上的复杂分析问题简化为低维超曲面上的分析问题。

  4. Kato 不等式与 Cauchy-Schwarz 不等式： 在估计二阶导数项时，作者隐式地使用了微分不等式技术。例如，在推导 $|\nabla^2 u|^2$ 与 $|\nabla u|^{-2} |\nabla^2 u|^2$ 的关系时，实际上利用了向量场导数的分解技巧，这与证明 Lichnerowicz 公式时使用的 Kato 不等式（$\Delta |\psi|^2 \geq 2|\psi| \Delta |\psi| + \frac{|\nabla |\psi||^2}{|\psi|^2}$）在精神上是相通的。

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

  1. 处理非线性项与归一化： 系统中存在 $|Z_m|$ 因子，这引入了非线性。主要技巧在于利用散度条件 $\text{div}_{\Sigma_m} Z_m = 0$ 来消除某些项。例如，在 Lemma 2.1 的证明中，通过计算 $\text{div}(Z |Z|^{-1})$，作者将 $\Delta u_m$ 转化为与散度相关的项。 归一化技巧：论文中两个主要的特例（极小切片和旋量类比）对应于两种不同的归一化策略：

    • 若 $|Z_0|=1$，则 $2|Z_0|^{-1}\Delta|Z_0|$ 项消失，公式偏向于涉及 $\Delta \log |Z_{n-1}|$ 的估计，这对应于极小曲面稳定性分析中的 Jacobi 场。
    • 若 $|Z_{n-1}|=1$，则 $-2\Delta \log |Z_{n-1}|$ 项消失，公式转化为关于 $|Z_0|$ 的二阶不等式，这直接对应于旋量方程中关于 $|\psi|$ 的估计。 这种选择性消项是处理复杂不等式的关键，它使得普适公式能够适配特定的几何背景。

  2. 几何量的迭代消去： 在证明 Lemma 2.3（$\Delta \log |Z_m| - \Delta \log |Z_{m+1}|$ 的公式）时，技术难点在于处理不同层级上的拉普拉斯算子。作者通过引入关系 $Z_m |Z_{m+1}|^{-1} = \nabla_{\Sigma_m} u_m$，巧妙地将 $\Delta_{\Sigma_m}$ 与 $\Delta_{\Sigma_{m+1}}$ 的差分解为法向曲率项和第二基本形式项。具体来说，作者使用了公式：

    $$ \Delta_{\Sigma_m} \log |Z_m| = \Delta_{\Sigma_{m+1}} \log |Z_{m+1}| + \text{Ric}_{\Sigma_m}(\nu_{m+1}, \nu_{m+1}) + |A|^2 - H^2 + \text{散度修正项} $$

    这一步是整个推导的枢纽，它将层级间的相互作用显式化。

  3. 从离散到整体的求和： Theorem 2.5 通过将所有层级的公式（Corollary 2.4）求和，消去了中间的几何量（如 $|A|^2$ 和 $H^2$），最终只剩下总标量曲率 $R$ 和边界项。这种“telescoping sum”（裂项求和）的技巧是将局部几何信息整合为整体拓扑/几何不变量的标准方法。

  4. Spinor 与 Vector Field 的类比 (Theorem 1.5)： 为了解释公式的旋量背景，作者引入了向量场 $Y_m = Z_m |Z_m|^{-1} |Z_0|$。通过 Lemma 3.1，证明了如果 $Z_m$ 是无散的，那么 $Y_m$ 也是无散的，且 $Y_m$ 互相正交并具有相同的长度。这揭示了该几何构造与旋量几何中由 Clifford 乘法生成的正交标架之间的深刻联系，从而在没有旋量结构的纯黎曼流形上模拟了旋量的性质。

与之前工作的比较

本文的主要贡献在于提供了一个统一框架（Unified Framework），将此前看似不相关的三种几何分析方法融合在一起。以下是与先前工作的详细比较：

a) 突破与改进：假设条件的放宽与维度的推广

  1. 从低维到高维的推广：

    • 先前工作：经典的 Stern 等值面恒等式（1998）是针对 $n=3$ 维流形的，形式为 $\int 4\pi \chi(\{u=t\}) \geq \int R |du|$。对于高维情况，使用等值面方法处理标量曲率问题（如 Geroch 猜想）通常极其困难，因为缺乏像 3 维中那样强大的曲率约束。
    • 本文改进：Theorem 1.6 将 Stern 恒等式推广到了任意维度 $n$。虽然在高维中 $Z$ 的存在性依赖于 PDE 系统 $\text{div} Z = 0$ 的解（这是一个变分问题，非线性很强），但该公式在形式上完全统一了低维和高维。它给出了一个明确的解析表达式，将标量曲率 $R$ 与等值面的高斯曲率 $K(\Sigma_{n-2})$ 联系起来，这在以前的文献中是没有的。

  2. 统一的几何假设：

    • 先前工作：极小曲面方法需要假设流形中存在极小曲面并利用其稳定性；旋量方法需要假设流形是可自旋的（spin manifold）；等值面方法通常需要假设存在具有非零梯度的函数（或 Morse 函数）。这三种假设在一般流形上并不总是同时满足。
    • 本文改进：本文提出了一种灵活的构造性假设。通过引入 $n-2$ 个任意函数 $u_0, \dots, u_{n-2}$，作者构建了一个通用的几何背景。定理 1.1 本身不依赖于流形是否可自旋，也不预设极小曲面的存在，而是给出了一个普适的不等式。当研究者需要应用到特定问题时，只需选择合适的 $u_i$（例如，极小切片中的特征函数，或旋量对应的势函数），即可得到特例。这种“参数化”的几何设置比先前的特定几何假设更具普适性。

  3. 对正则性要求的降低（在几何意义上）：

    • 虽然在分析上 $u_i$ 被要求为 $C^3$，但这在几何上是一个非常宽松的条件（相比于需要 $C^\infty$ 结构的 Spin 结构）。更重要的是，该框架允许中间的超曲面 $\Sigma_m$ 具有加权平均曲率，这通过 $Z_m$ 的定义自然纳入。这使得该公式可以处理更广泛的几何对象，而不仅仅是标准的极小曲面。

b) 结果的强度：解析不等式与几何结论的对应

  1. 从 Bochner 到 Lichnerowicz 的桥梁：

    • 先前工作：在旋量几何中，Schrödinger–Lichnerowicz 公式是 $D^2 = \nabla^* \nabla + R/4$。由此导出的关于 $|\psi|$ 的不等式是旋量方法的核心。在黎曼几何中，对应的 Bochner 不等式通常涉及 Ricci 曲率，形式较为复杂。
    • 本文改进：Theorem 1.4 表明，在适当的归一化下（$|Z_{n-1}|=1$），普适公式退化为 $2 \Delta |Z_0| \geq \frac{|\nabla Z_0|^2}{|Z_0|} + R|Z_0|$。这与旋量情形下的不等式在结构上完全一致（将 $|\psi|$ 替换为 $|Z_0|$）。这意味着，即使在没有旋量结构的流形上，也可以构造类似的“有效旋量”向量场。这极大地扩展了旋量方法的应用范围。

  2. 极小切片稳定性的新视角：

    • 先前工作：极小切片的稳定性分析通常基于第二变分公式，涉及 Jacobi 算子。
    • 本文改进：Corollary 1.3 通过简单的代数归一化（$|Z_0|=1$）直接从普适公式得到 $-2 \Delta \log |Z_{n-1}| \geq R$。这提供了一个纯粹的解析视角来理解稳定性：它不再仅仅是一个变分问题的二阶导数符号问题，而是一个由无散向量场生成的 Bochner 型估计。这使得证明环面不存在正标量曲率度量的过程更加直观和代数化。

  3. 中间曲率（Intermediate Curvature）的解析化：

    • 先前工作：中间曲率（如 $2$-中间曲率）通常通过代数条件定义，研究其几何后果（如球面斯梅尔猜想的推广）通常依赖于复杂的几何构造。
    • 本文改进：在 Theorem 3.4 中，作者展示了普适公式如何编码 $s$-中间曲率。通过选择 $s$ 个函数 $u_0, \dots, u_{s-1}$，公式自然地涉及 $\Sigma_s$ 的几何量。这为研究中间曲率提供了一个新的解析工具，使得可以通过分析 PDE $\text{div} Z = 0$ 的解来推导几何约束，这是对传统代数几何方法的有力补充。

总结： Sven Hirsch 的这篇论文通过引入普适 Bochner 公式，打破了极小曲面、旋量和等值面方法之间的壁垒。其核心价值在于将几何直觉（正交无散向量场的存在）转化为一个统一的解析恒等式。相比于先前的工作，它不仅统一了已知的结论，更重要的是提供了一个具有高度灵活性的框架，允许研究者通过调整特定的归一化条件和函数选择，针对不同的几何问题定制分析工具。这为解决高维标量曲率问题（如 Geroch 猜想）开辟了新的、潜在的统一路径。

2. Triebel-Lizorkin空间中的输运方程理论及其在理想流体流动中的应用

Transport equation theory in the Triebel-Lizorkin spaces and its applications to the ideal fluid flows

作者: Qianyuan Zhang, Kai Yan

类别: math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10071v1

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

详细分析

中文标题: Triebel-Lizorkin空间中的输运方程理论及其在理想流体流动中的应用

研究对象和背景

本论文的核心研究对象是定义在 $\mathbb{R}^d$ 空间上的输运方程（Transport Equation）在 Triebel-Lizorkin 函数空间框架下的适定性理论。输运方程是偏微分方程领域中一类基础且重要的方程，广泛出现在流体力学、气体动力学、等离子体物理及图像处理等多个领域。特别是在不可压理想流体模型中，流体质点的运动由速度场驱动，其浓度或标量函数的演化往往遵循输运方程的规律。

在数学物理模型中，输运方程通常描述了某种物理量 $f$（如温度、密度、涡量等）在给定速度场 $v$ 下的对流扩散过程。本文研究的方程具体形式如下：

$$ \left\{ \begin{aligned} \partial_t f + v \cdot \nabla f &= g, \quad t > 0, x \in \mathbb{R}^d, \\ f|_{t=0} &= f_0, \end{aligned} \right. \quad \text{(T)} $$

其中 $v: \mathbb{R}^+ \times \mathbb{R}^d \to \mathbb{R}^d$ 是给定的时依赖向量场，$f: \mathbb{R}^d \to \mathbb{R}^N$ 和 $g: \mathbb{R}^+ \times \mathbb{R}^d \to \mathbb{R}^N$ 分别是未知函数（解）和给定的源项，$d, N \in \mathbb{N}^+$。

研究背景与特殊性： 传统的输运方程研究大多集中在 Hölder 空间 $C^r$、Sobolev 空间 $W^{s,p}$ 或 Besov 空间 $B^s_{p,q}$ 中。本文的独特之处在于将理论构建在 Triebel-Lizorkin 空间 $F^s_{p,q}$ 上。这是一类非常重要的函数空间，它涵盖了 Sobolev 空间 $W^{s,p} = F^s_{p,2}$ (对于 $s \in \mathbb{R}, 1 < p < \infty$) 和 Hölder-Zygmund 空间 $C^s = F^s_{\infty, \infty}$ (对于 $s > 0$) 等经典空间。

论文在 Introduction 部分特别强调了 Triebel-Lizorkin 空间与 Besov 空间的一个根本性结构差异，这也是本研究的技术难点所在： 在 Besov 空间 $B^s_{p,q}$ 中，其范数定义为先取 $L^p$ 范数，再取 $l^q$ 序列范数：

$$ \|f\|_{B^s_{p,q}} = \left( \sum_{j \in \mathbb{Z}} (2^{js} \|\Delta_j f\|_{L^p})^q \right)^{1/q}. $$

而在 Triebel-Lizorkin 空间 $F^s_{p,q}$ 中，顺序是相反的：先取 $l^q$ 序列范数，再取 $L^p$ 范数：

$$ \|f\|_{F^s_{p,q}} = \left\| \left( \sum_{j \in \mathbb{Z}} (2^{js} |\Delta_j f|)^q \right)^{1/q} \right\|_{L^p}. $$

这种非交换性的范数结构（$l^q$ 在 $L^p$ 之前）使得在 $F^s_{p,q}$ 空间中使用经典的Littlewood-Paley理论进行能量估计时变得异常困难。通常在 Besov 空间中可以对频率块 $\Delta_j f$ 逐个处理并利用分部积分，但在 Triebel-Lizorkin 空间中，必须同时处理所有频率块，这使得 向量值极大函数不等式 成为了不可或缺的工具。

除了线性输运方程，论文的应用部分关注 理想磁流体力学（Ideal MHD）系统。这是一个描述导电流体在磁场中运动的非线性耦合系统。研究的区域是全空间 $\mathbb{R}^d$，并设定了齐次边界条件（由于是全空间或考虑紧支集解，隐含了无穷远处的衰减条件）。解的函数空间正是 Triebel-Lizorkin 空间 $F^s_{p,q}$，且要求速度场 $u$ 和磁场 $b$ 满足无散条件 $\nabla \cdot u = \nabla \cdot b = 0$。

主要定理或主要结果

论文的主要结果分为两部分：一是线性输运方程的先验估计与适定性，二是其在理想 MHD 系统中的应用。

1. 线性输运方程的先验估计（Theorem 1.1）

设 $(p,q) \in [1,\infty) \times [1,\infty]$ 或 $p=q=\infty$。假设 $s > 0$，且向量场 $v$ 满足 $\nabla v \in L^1(0,T; L^\infty(\mathbb{R}^d))$。令 $f \in F^s_{p,q}(\mathbb{R}^d)$，$g \in L^1(0,T; F^s_{p,q}(\mathbb{R}^d))$，且 $f \in L^\infty(0,T; F^s_{p,q}(\mathbb{R}^d)) \cap C([0,T]; \mathcal{S}'(\mathbb{R}^d))$ 是方程 (T) 的解。

  • (i) 一般情况： 如果进一步假设 $v \in L^1(0,T; F^s_{p,q}(\mathbb{R}^d))$ 且 $\nabla f \in L^\infty(0,T; L^\infty(\mathbb{R}^d))$，则存在仅依赖于 $d, p, q, s$ 的常数 $C$，使得对任意 $t \in [0,T]$ 成立：

    $$ \|f(t)\|_{F^s_{p,q}} \le \|f_0\|_{F^s_{p,q}} + \int_0^t \|g(\tau)\|_{F^s_{p,q}} d\tau + C \int_0^t (\|\nabla v\|_{L^\infty} \|f\|_{F^s_{p,q}} + \|\nabla f\|_{L^\infty} \|v\|_{F^s_{p,q}}) d\tau. $$

  • (ii) 高正则性情况： 如果 $s > 1 + d/p$ (当 $p > 1$) 或 $s \ge 1 + d$ (当 $p=1$)，且 $\nabla v \in L^1(0,T; F^{s-1}_{p,q}(\mathbb{R}^d))$，则有：

    $$ \|f(t)\|_{F^s_{p,q}} \le \|f_0\|_{F^s_{p,q}} + \int_0^t \|g(\tau)\|_{F^s_{p,q}} d\tau + C \int_0^t U(\tau) \|f(\tau)\|_{F^s_{p,q}} d\tau, $$

    其中 $U(t) = \|\nabla v(t)\|_{F^{s-1}_{p,q}}$。进而通过 Gronwall 不等式可得指数型估计。

  • (iii) 对流项即解的情况： 如果 $f=v$ 且 $\nabla v \in L^1(0,T; L^\infty)$，则对所有 $s > 0$，上述 (ii) 和 (iii) 中的估计成立，且 $U(t) = \|\nabla v(t)\|_{L^\infty}$。

  • (iv) 无散度情况： 如果 $\text{div } v = 0$ 且 $\nabla v \in L^1(0,T; F^s_{p,q}(\mathbb{R}^d))$，则对所有 $s > -1$，成立：

    $$ \|f(t)\|_{F^s_{p,q}} \le \|f_0\|_{F^s_{p,q}} + \int_0^t \|g(\tau)\|_{F^s_{p,q}} d\tau + C \int_0^t (\|\nabla v\|_{L^\infty} \|f\|_{F^s_{p,q}} + \|f\|_{L^\infty} \|\nabla v\|_{F^s_{p,q}}) d\tau. $$

2. 线性输运方程的局部适定性（Theorem 1.2）

设 $(p,q) \in [1,\infty) \times [1,\infty]$ 或 $p=q=\infty$。假设 $s > 1 + d/p$ (当 $p > 1$) 或 $s \ge 1+d$ (当 $p=1$)，$f_0 \in F^s_{p,q}(\mathbb{R}^d)$ 且 $g \in L^1(0,T; F^s_{p,q}(\mathbb{R}^d))$。令 $v$ 为时依赖向量场，满足 $v \in L^\rho(0,T; F^{-\infty, \infty}_{p,q}(\mathbb{R}^d))$ ($\rho > 1$) 且 $\nabla v \in L^1(0,T; F^{s-1}_{p,q}(\mathbb{R}^d))$。 则方程 (T) 存在唯一解 $f \in L^\infty([0,T]; F^s_{p,q}(\mathbb{R}^d)) \cap C([0,T]; F^{s'}_{p,1}(\mathbb{R}^d))$ (对任意 $s' < s$)，且满足 Theorem 1.1 中的估计。若 $q < \infty$，则 $f \in C([0,T]; F^s_{p,q}(\mathbb{R}^d))$。此外，数据到解的映射是连续的。

3. 理想 MHD 系统的适定性与爆破准则（Theorems 1.3 & 1.4）

论文考虑了不可压理想 MHD 系统：

$$ \left\{ \begin{aligned} \partial_t u + u \cdot \nabla u + \nabla p &= \frac{1}{2} \nabla |b|^2 - b \cdot \nabla b, \\ \partial_t b + u \cdot \nabla b &= b \cdot \nabla u, \\ \nabla \cdot u &= \nabla \cdot b = 0, \\ u(0) &= u_0, \quad b(0) = b_0. \end{aligned} \right. \quad \text{(IMHD)} $$

通过引入 $z_+ = u + b, z_- = u - b$，系统转化为关于 $z_\pm$ 的两个耦合输运方程。

  • Theorem 1.3 (局部适定性)： 设 $(p,q) \in [1,\infty) \times [1,\infty]$ 或 $p=q=\infty$，$s > 1 + d/p$ (或 $s \ge 1+d$ 当 $p=1$)。若初值 $(u_0, b_0) \in F^s_{p,q}(\mathbb{R}^d) \times F^s_{p,q}(\mathbb{R}^d)$ 满足无散条件，则存在时间 $T>0$，使得 (IMHD) 存在唯一解 $(u,b) \in E^s_{p,q}(T) \times E^s_{p,q}(T)$，其中 $E^s_{p,q}(T)$ 定义为 $C([0,T]; F^s_{p,q}) \cap C^1([0,T]; F^{s-1}_{p,q})$ (若 $q<\infty$) 或 $L^\infty([0,T]; F^s_{p,q}) \cap \text{Lip}([0,T]; F^{s-1}_{p,q})$ (若 $q=\infty$)。且映射 $(u_0, b_0) \mapsto (u,b)$ 是连续的。

  • Theorem 1.4 (爆破准则)： 若解在有限时间 $T^*$ 爆破，则

    $$ \int_0^{T^*} (\|u\|_{L^\infty} + \|b\|_{L^\infty} + \|\nabla u\|_{L^\infty} + \|\nabla b\|_{L^\infty}) dt = +\infty. $$

    特别地，对于 $s > 1 + d/p$，若 $(p,q) \in [1,\infty) \times [1,\infty]$，爆破条件加强为：

    $$ \int_0^{T^*} (\|u\|_{L^\infty} + \|b\|_{L^\infty} + \|(\nabla \times u)(t)\|_{\dot{F}^\infty_{\infty,\infty}} + \|(\nabla \times b)(t)\|_{\dot{F}^\infty_{\infty,\infty}}) dt = +\infty. $$

    这涵盖了经典的 Beale-Kato-Majda 型准则。

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

本论文的证明融合了现代调和分析与微分方程理论的多种高级工具，旨在克服 Triebel-Lizorkin 空间非交换范数结构带来的技术障碍。

1. 核心分析学工具

  • Littlewood-Paley 理论与频率分解： 这是全文的基础框架。通过选取适当的径向截断函数 $(\phi, \chi)$，定义了频率局部化算子 $\Delta_j$ 和 $S_j$。所有的估计都是在频率空间 dyadic 块上进行的，再通过三角不等式或向量值范数求和。在 Triebel-Lizorkin 空间中，必须处理形如 $(\sum_j |2^{js}\Delta_j f|^q)^{1/q}$ 的 $l^q$-和，这与 Besov 空间中逐个频率块处理的方式截然不同。

  • 向量值极大函数不等式 (Vector-valued Maximal Function Inequalities)： 这是处理 $F^s_{p,q}$ 空间范数的核心工具。论文中引用了 Lemma 2.7 (Fefferman-Stein 不等式)。在证明过程中，经常需要估计 $\| (\sum_j |M g_j|^q)^{1/q} \|_{L^p}$。该不等式表明，Hardy-Littlewood 极大函数算子 $M$ 可以与取 $l^q$ 序列范数交换，即该算子在 $L^p(l^q)$ 上有界。这使得研究者可以利用极大函数控制频率块的和，从而在无法分离频率块的情况下获得整体估计。

  • Sobolev 嵌入与插值理论： 论文广泛利用了 Triebel-Lizorkin 空间的嵌入关系（Lemma 2.3）。例如，$F^s_{p,q} \hookrightarrow F^{s+\varepsilon}_{p,q}$ 以及 $F^s_{p,q} \hookrightarrow L^\infty$ 的条件（$s > d$ 或 $s \ge d$ 且 $p=1$）。这些嵌入关系在证明解的存在性和非线性项的有界性时至关重要。复插值技术（Complex Interpolation）也被用于证明某些范数估计的中间情况。

  • Bernstein 不等式与频率支集估计： 用于控制频率局部化函数的导数，特别是在处理非线性项 $\nabla (fg)$ 时。通过 Littlewood-Paley 分解的代数性质（如 (2.3)-(2.4) 式），可以简化卷积运算，例如 $\Delta_j (\Delta_k f \Delta_k g) = 0$ (当 $j \gg k$)。

2. 技术难题与解决技巧

论文面临的核心挑战是如何在 $F^s_{p,q}$ 空间中建立输运方程的先验估计，特别是如何处理对流项 $v \cdot \nabla f$ 带来的导数损失。

  • Bony 仿积分解 (Paraproduct Decomposition)： 非线性项 $fg$ 的处理依赖于 Bony 分解：

    $$ fg = T_f g + T_g f + R(f,g), $$

    其中 $T_f g = \sum_k S_{k-1} f \Delta_k g$，$T_g f = \sum_k S_{k-1} g \Delta_k f$，$R(f,g) = \sum_k \Delta_k f \tilde{\Delta}_k g$。 在 Besov 空间中，可以逐项估计。但在 Triebel-Lizorkin 空间中，由于范数结构，必须利用极大函数控制 $\sum_j M(\Delta_j g)$。论文在证明 Proposition 2.1 (乘积法则) 时，针对 $p=1$ 或 $q=1$ 的边缘情况，通过选取参数 $r \in (0,1)$ 和 $\theta \in (0,1)$，应用了 Lemma 2.9 (Morse 型不等式/奇异积分估计)。 关键技术点： 估计残余项 $R(f,g)$ 时，利用了 $2^{ms} \Delta_m R(f,g)$ 的表达式，通过 Hardy-Littlewood 极大函数 $M$ 和 Young 不等式，导出了形如 $\|f\|_{L^\infty} \|g\|_{F^s_{p,q}}$ 的加权估计。这证明了 $F^s_{p,q}$ 在 $s$ 足够大时是一个 Banach 代数（Proposition 2.1）。

  • 输运方程的特征线方法 (Method of Characteristics)： 这是论文方法论上的亮点。在处理方程 $\partial_t f + v \cdot \nabla f = g$ 时，如果直接对频率块 $\Delta_j f$ 进行估计，会遇到项 $v \cdot \nabla \Delta_j f$。在 Besov 空间中，通常通过分部积分将其转化为 $-\text{div}(v) \Delta_j f$ 或类似形式。 然而，Triebel-Lizorkin 空间不支持标准的分部积分技巧（因为无法逐个频率块处理）。为了解决这个问题，论文采用了特征线法。 定义轨迹映射 $X(t, \alpha)$：

    $$ \left\{ \begin{aligned} \partial_t X(t, \alpha) &= v(t, X(t, \alpha)), \\ X(0, \alpha) &= \alpha. \end{aligned} \right. $$

    在特征线上，对 $\Delta_j f(t, X(t, \alpha))$ 求导：

    $$ \frac{d}{dt} (\Delta_j f(t, X(t, \alpha))) = \Delta_j g(t, X(t, \alpha)) + [v, \Delta_j] \cdot \nabla f(t, X(t, \alpha)). $$

    这样，原本棘手的项 $v \cdot \nabla \Delta_j f$ 被吸收到特征导数 $\frac{d}{dt}$ 中，剩下的问题集中于控制 交换子 (Commutator) $[v, \Delta_j] \cdot \nabla f$。这种方法巧妙地避开了在 $F^s_{p,q}$ 范数下进行分部积分的困难。

  • 交换子估计 (Commutator Estimates)： 这是证明的关键技术难点（Proposition 1.1）。论文需要估计形如 $2^{js}([f, \Delta_j] \cdot \nabla g)$ 的项。 创新点在于放宽了无散条件。 传统的交换子估计（如 Chemin, 1990s）通常要求速度场 $v$ 是无散的 ($\text{div } v = 0$)，以便利用积分平均的对称性。 本文通过精细的分析（结合 Lemma 2.8 和 Lemma 2.9），在不假设 $\text{div } f = 0$ 的情况下，建立了如下形式的估计：

    $$ \left\| \left( 2^{js} \| [f, \Delta_j] \cdot \nabla g \|_{L^p} \right)_{j \in \mathbb{Z}} \right\|_{l^q} \lesssim \| \nabla f \|_{L^\infty} \| g \|_{\dot{F}^s_{p,q}} + \| \nabla g \|_{L^\infty} \| f \|_{\dot{F}^s_{p,q}}. $$

    其证明主要依赖于 Littlewood-Paley 模拟系数的性质和 Hardy-Littlewood 极大函数的控制，这使得该理论可以扩展到可压缩流体等更广泛的系统。

  • 紧性论证与近似解序列 (Compactness Argument)： 在证明 Theorem 1.2 的存在性时，论文采用了紧性方法。

    1. 正则化： 构造一列被光滑化或频率截断的数据 $(f^n_0, g^n, v^n)$，得到光滑近似解序列 $\{f^n\}$。
    2. 一致估计： 利用 Theorem 1.1 的先验估计，证明 $\{f^n\}$ 在目标空间 $L^\infty(0,T; F^s_{p,q})$ 中一致有界。
    3. 时间连续性与紧嵌入： 为了通过 Aubin-Lions 类型的紧性引理（或 Arzelà-Ascoli）得到强收敛，必须证明解的时间连续性（或等价地，高频部分的衰减）。对于 $q < \infty$，需要证明 $\sup_{t} \| f^n(t) - S_n f^n(t) \|_{F^s_{p,q}} \to 0$，其中 $S_n$ 是低通滤波器。这再次归结为控制交换子项 $[v^n, \Delta_j] \cdot \nabla f^n$。通过引入对数插值不等式 (Logarithmic interpolation inequality, Lemma 2.4) 和改进的交换子估计，克服了这一困难。
    4. 收敛性： 得到 $\{f^n\}$ 在 $C([0,T]; F^{s'}_{p,q})$ ($s' < s$) 中强收敛，从而保证极限函数满足方程。

与之前工作的比较

本文对输运方程和理想 MHD 系统在 Triebel-Lizorkin 空间中的理论进行了显著的推进和推广，主要体现在以下几个方面：

1. 参数范围的推广与假设条件的放宽

  • 函数空间参数的全面覆盖：

    • 先前工作： 许多早期的结果（如 [11], [17]）通常限制在特定的参数范围。例如，[11] 仅处理了 $1 < p, q < \infty$ 的情形；[17] 可能仅覆盖 $p=1$ 或 $p=\infty$ 的边缘情况。
    • 本文改进： 论文证明了对于 整个范围 $(p,q) \in [1,\infty) \times [1,\infty]$ 或 $p=q=\infty$ 都成立的理论。这包括了 Sobolev 空间 ($q=2$)、Besov 空间 ($F^s_{p,p} \approx B^s_{p,p}$)、Hölder-Zygmund 空间 ($p=q=\infty$) 以及 Hardy 空间 ($p < 1$ 的对偶情形)。这种统一性极大地扩展了理论的适用性。

  • 无散条件的移除 (Removal of Divergence-Free Condition)：

    • 先前工作： 在 Triebel-Lizorkin 空间中处理输运方程时，为了控制交换子 $[v, \Delta_j] \cdot \nabla f$，通常假设速度场 $v$ 是无散的 ($\text{div } v = 0$)。这是 Chemin (1990) 和 Taylor (1990s) 等经典工作中常用的假设，利用无散性可简化分部积分后的项。
    • 本文改进： Theorem 1.1 和 Proposition 1.1 显著地 去除了无散条件（对于 $s > 0$）。论文通过发展精密的交换子估计技术，直接处理了 $\text{div } v \neq 0$ 时产生的额外项。这一改进至关重要，因为它使得理论可以直接应用于可压缩流体（Euler 方程）以及更一般的 MHD 系统，而不需要依赖于复杂的有效粘性通量 (Effective Viscous Flux) 等技术或对流场施加人为的无散约束。

2. 理论的完备性与应用范围的扩展

  • Hadamard 意义下的完全适定性：

    • 先前工作： 对于理想 MHD 系统在 Triebel-Lizorkin 空间中的研究（如 [11]），主要关注了解的存在性和唯一性。
    • 本文改进： 本文 Theorem 1.3 建立了 Hadamard 意义下的局部适定性，即不仅包含存在性和唯一性，还证明了解对初值的 连续依赖性 (Continuous dependence on data)。这是偏微分方程理论中衡量适定性的一个严格标准，通常比仅证明存在唯一性更难，因为它需要处理近似解序列的收敛性。

  • 临界正则性区域的覆盖：

    • 先前工作： 已有的结果往往集中在亚临界区域 ($s > 1 + d/p$)。
    • 本文改进： 本文通过利用 Triebel-Lizorkin 空间的插值性质和嵌入定理，不仅处理了亚临界情形，还涵盖了临界情形（如 $p=1, s \ge 1+d$）。这对于理解流体方程在低正则性下的行为具有重要意义。

  • 爆破准则的细化：

    • 先前工作： 经典的 Beale-Kato-Majda 爆破准则通常依赖于 $L^\infty$ 范数（旋度的 $L^\infty$ 范数）。
    • 本文改进： Theorem 1.4 给出了 Triebel-Lizorkin 空间框架下的爆破准则。不仅恢复了经典结果（通过 $F^\infty_{\infty, \infty} \simeq B^\infty_{\infty, \infty} \hookrightarrow L^\infty$ 等嵌入），还给出了更精细的表述。例如，对于 $s > 1 + d/p$，爆破意味着 $\int_0^T (\|u\|_{L^\infty} + \|b\|_{L^\infty} + \|\nabla \times u\|_{\dot{F}^\infty_{\infty,\infty}} + \dots) dt = +\infty$。这比单纯依赖 $L^\infty$ 旋度的准则更具包容性。

3. 方法论的创新：统一框架与特征线法

  • 统一的输运理论框架：

    • 先前工作： 以前的分析往往针对特定的方程（如 Euler 或 MHD）结合特定的函数空间（如 Sobolev 或 Besov）进行。
    • 本文改进： 本文建立了一个 通用的线性输运方程理论。一旦这个理论建立起来，理想 MHD 系统（甚至更复杂的 Euler-Poincaré 系统）可以通过变量代换（$z_\pm = u \pm b$）直接归结为输运方程的形式。这种模块化的证明方法不仅简化了 MHD 系统的证明，而且提供了一个可扩展的框架，易于推广到其他流体动力学模型。

  • 克服范数非交换性的技术手段：

    • 先前工作： 在 Besov 空间中，可以通过逐频率块的能量估计配合分部积分来处理 $v \cdot \nabla f$。
    • 本文改进： 面对 Triebel-Lizorkin 空间 $l^q$-前的结构，本文放弃分部积分，转而结合 特征线法 和 向量值极大函数。特征线法将对流导数转化为沿轨迹的全导数，从而隔离了交换子；极大函数法则直接处理了 $L^p(l^q)$ 范数下的求和难题。这种组合技巧是本文在技术上的核心突破，解决了之前在该类空间中处理非无散流场输运方程的瓶颈。

总结而言，这篇论文通过在 Triebel-Lizorkin 空间中发展一套全新的、不依赖于无散条件的输运方程理论，显著推广了流体力学中经典适定性理论的适用范围，特别是在处理边缘参数（$p=1$ 或 $p=\infty$）和一般流场（非无散）方面取得了实质性进展。

3. 小BGK波的稳定性与不稳定性

Stability and instability of small BGK waves

作者: Dongfen Bian, Emmanuel Grenier, Wenrui Huang, Benoit Pausader

类别: math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10030v1

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

详细分析

中文标题: 小BGK波的稳定性与不稳定性

1. 研究对象和背景

本文研究的背景是等离子体物理中Bernstein-Green-Kruskal (BGK) 波的线性稳定性。BGK波是Vlasov-Poisson系统的一类特殊的稳态解，它们在空间上是周期的，并且在相空间中呈现出复杂的结构，包括自由电子区域和被捕获在势阱中的电子区域。尽管BGK波自1957年被发现以来在物理学文献中备受关注，但其（尤其是小振幅情况下的）谱稳定性问题在很长一段时间内是悬而未决的。早期的数学工作大多集中于特殊参数化形式的分布函数，而本文旨在为小振幅的BGK波提供一个普适的线性稳定性判据。

论文研究的核心系统是一维Vlasov-Poisson方程组。设 $\mu(x,v,t)$ 为电子的粒子分布函数（PDF），$\phi(x,t)$ 为静电势。在固定离子背景（密度为1）的假设下，该系统可写为：

$$ \partial_t \mu + \{\mu, H\} = 0, \quad H := \frac{v^2}{2} - \phi(x), \quad \Delta \phi = \int_{\mathbb{R}} \mu \, dv - 1 $$

其中泊松括号定义为 $\{f,g\} = \partial_x f \partial_v g - \partial_v f \partial_x g$。研究考虑的是周期边界条件，空间周期设为 $L = 2\pi$。

BGK波对应于上述系统的稳态解，其分布函数 $\mu$ 仅通过总能量 $H$ 依赖于 $x$ 和 $v$，即：

$$ \mu(x,v) = F\left(\frac{v^2}{2} - \phi(x)\right) $$

其中 $F$ 被称为能量分布函数。静电势 $\phi(x)$ 满足非线性椭圆方程：

$$ \Delta \phi = \int_{\mathbb{R}} F\left(\frac{v^2}{2} - \phi(x)\right) dv - 1 $$

本文关注的是小振幅的BGK波，即那些接近于稳态均匀解（Homogeneous Equilibrium, HE）的波。均匀解是指 $\phi(x) \equiv 0$ 且 $\mu$ 仅依赖于 $v$ 的情况。背景中，均匀解的稳定性由Landau理论描述，其谱稳定性由著名的Penrose准则决定。

对于BGK波，问题更为复杂，因为相空间中存在正能（自由电子）和负能（被捕获电子）区域的分离（由0能量等值线，即分离线界定）。先前的工作（如Grenier, Nguyen等人的研究）已经表明，对于某些特殊的分布（例如“平坦分布”或在0能量处导数为0的分布），BGK波可能是稳定的。然而，对于一般的小振幅情况，缺乏完整的理论。

本文设定的函数空间和边界条件如下：

  • 函数空间：为了描述BGK波的正则性，作者引入了特定的Holder型空间 $C^{k, \alpha, \beta}$ 以及针对势能 $\phi$ 的空间 $P^{k, \alpha}$。这些空间能够精细地刻画势能函数在极值点（如 $x=0$ 和 $x=\pi$）附近的奇异性或退化行为。对于分布函数 $\mu$，主要考虑 $L^1$ 可积性及加权 $L^\infty$ 空间。
  • 区域与拓扑：研究是在周期域 $\mathbb{T} \times \mathbb{R}$ 上进行的。特别地，作者定义了 $BGK_0$ 为势能 $\phi$ 在 $x=0$ 处取最大值的BGK波集合，并考虑了从边界稳态均匀解 $M_{boundary}$ 出发的分岔曲线 $\gamma(s)$。

2. 主要定理或主要结果

本文的核心定理给出了小BGK波线性稳定性的清晰判据，该判据仅依赖于能量分布函数 $F$ 在0能量处的导数符号。

定理 1.2 (小BGK波的稳定性与不稳定性)： 设 $\gamma(s) = (\mu(s), \phi(s))$ 是一个 $C^2$ 分岔曲线，定义在 $[0, s_0]$ 上，且 $s_0 > 0$。令 $F(e,s)$ 为对应的能量分布函数。

  1. 不稳定性：如果 $\partial_e F(0,0) < 0$，且 $s$ 足够小，则BGK波 $(\mu(s), \phi(s))$ 是线性且谱不稳定的。即存在非零解 $(f(s), \psi(s))$ 满足线性化方程 $(1.2)$，形式为：

    $$ (f(x,v,t), \psi(x,t)) = e^{\lambda t} (f_0(x,v), \psi_0(x,v)) $$

    其中增长率 $\lambda > 0$。

  2. 稳定性：如果 $\partial_e F(0,0) > 0$，且 $s$ 足够小，则BGK波 $(\mu(s), \phi(s))$ 是线性稳定的。更精确地，任何从有界初值 $\langle v \rangle^2 f_0 \in L^\infty$ 出发的解 $(f, \psi)$ 可分解为：

    $$ f(x,v,t) = f_{bgk}(x,v) + f_{gal}(x,v,t) + f_{dyn}(x,v,t) $$

    $$ \psi(x,t) = \psi_{bgk}(x) + \psi_{gal}(x,t) + \psi_{dyn}(x,t) $$

    其中：

    • $(f_{bgk}, \psi_{bgk})$ 是与BGK流形切空间相关的静态弱解。
    • $(f_{gal}, \psi_{gal})$ 是由于伽利略不变性产生的Boosted稳态解（关于时间线性增长）。
    • $(f_{dyn}, \psi_{dyn})$ 是时间依赖的动态部分，且对应的电场 $E_{dyn} = -\partial_x \psi_{dyn}$ 满足 $\int_0^\infty \|E_{dyn}(\cdot, \tau)\|_{L^2}^2 d\tau < +\infty$（即在时间上具有平方可积的衰减）。

此外，文章还证明了关于分岔曲线结构的引理（Lemma 1.4），指出在小振幅极限下，所有可能的BGK波势能 $\phi$ 的一阶导数 $\partial_s \phi(x,0)$ 具有统一的结构：$\partial_s \phi(x,0) = \kappa (\cos(x) + 1)$，其中 $\kappa > 0$。这意味着在稳态均匀解附近，BGK波的流形拓扑是退化的（类似于“尖点”结构）。

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

本文的证明结合了谱分析、动力系统分岔理论以及针对Vlasov方程的专门函数空间分析。以下详细拆解其核心方法。

a) 分析学工具

  1. 谱分析与色散关系： 证明的起点是分析线性化算子 $L$ 的谱。对于均匀解，色散关系由Dielectric函数 $K(p, \theta)$ 给出（见公式1.3-1.4）。对于BGK波，直接求解谱是困难的。作者采用了扰动视角：将BGK波视为均匀解的微小扰动。通过研究色散算子 $\mathcal{D}(p, \theta)$（它是依赖于波数 $p$ 和增长率 $\theta$ 的算子值函数），寻找使得 $\mathcal{D}^{-1}$ 奇异的 $(p, \theta)$。核心在于分析 $p=1$（基模）附近的谱行为。

  2. 无穷维动力系统与分岔理论： 文章将BGK波的集合视为Vlasov-Poisson系统相空间中的一个流形 $BGK$。通过引入分岔曲线 $\gamma(s)$，作者将问题转化为研究从稳态均匀解（流形的边界）出发的局部结构。

    • Lyapunov-Schmidt约化：虽然没有显式提及该名词，但其精神贯穿全文。通过将线性化方程分解为切向（对应流形方向）和法向（快变方向）分量，将无穷维问题降维。特别是在处理“Boosted”解（伽利略不变性导致的零模）时，需要仔细处理与流形切空间相关的解空间。
    • 隐函数定理：用于证明从边界均匀解出发，确实存在满足BGK结构的分岔曲线（Lemma 1.4的逆命题）。

  3. 特定的函数空间与正则性传播： 为了处理势能 $\phi$ 在极值点（如 $x=0$ 和 $x=\pi$）可能出现的奇异性（例如当 $F$ 在0能量处不光滑时），文章引入了加权Holder空间 $C^{k, \alpha, \beta}$。这些空间允许函数在端点处有特定的导数行为。通过建立能量分布函数 $F$ 与势能 $\phi$ 之间的Eddington变换（公式1.18-1.20），文章证明了正则性在不同变量间的传播（Theorem 1.6）。

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

  1. 小振幅展开与主导项提取： 在分析 $p=1$ 模式的色散关系时，作者必须精确控制各项的阶数。对于小振幅波，势能 $\phi$ 很小。通过将 $\partial_e F(0,0)$ 展开，作者发现线性化算子的特征值 $\lambda$ 的实部符号直接由 $\partial_e F(0,0)$ 的符号决定。

    • 技巧：当 $\partial_e F(0,0) > 0$ 时，均匀解的谱在虚轴附近是“硬”的（有界远离），而在BGK波情形下，由于势能引入的耦合，需要证明这种谱稳定性得以保持。证明利用了均匀解的色散函数性质：$1+K(1, \theta) \approx c\theta^2$（对于小 $\theta$），结合 $\partial_e F$ 的贡献，推导出不存在 $\text{Re}(\lambda) > 0$ 的谱。

  2. 处理“Boosted”解与伽利略不变性： Vlasov-Poisson系统具有伽利略不变性。在线性化方程中，这表现为存在形如 $v \partial_x F$ 和 $\partial_x \phi$ 的解。这些解是时间无关的（在适当的坐标变换下），但在标准 $L^2$ 框架下对应于零特征值。

    • 分解策略：为了证明衰减性（Theorem 1.2中的 $L^2$ 衰减估计），作者必须将这些零模（Zero modes）显式地减去。解被分解为：静态切向部分 $f_{bgk}$、Boosted部分 $f_{gal}$（随时间线性增长）和动态部分 $f_{dyn}$。动态部分被证明是衰减的。这类似于在流体力学或动理学中处理由于对称性导致的连续谱时的“调制方程”方法。

  3. Eddington变换与反演公式： 对于BGK波，给定势能 $\phi$ 和正能部分的分布 $m_F(e)$（对于 $e>0$），负能部分（被捕获粒子）是唯一确定的。

    • 核心工具：公式 (1.20) 给出了构造总能量分布 $F(e)$ 的显式公式：
      $$ F(e) = \begin{cases} m_F(e) & e \ge 0 \\ \frac{1}{\sqrt{2\pi}} \frac{d}{dx} I[N - J[m_F]](-e) & e < 0 \end{cases} $$
      其中 $I$ 是Riemann-Liouville积分算子（阶数为1/2），$N$ 是由势能导出的函数。这一公式是连接边界数据（自由粒子分布）和内部结构（被捕获粒子分布）的桥梁，也是证明Theorem 1.6（BGK波的参数化）的关键。

  4. 法向方程的控制（Theorem 1.9）： 为了证明稳定性（即动态部分 $f_{dyn}$ 的衰减），需要控制初始数据在BGK流形法向上的分量。文章通过构造特定的投影算子，将任意初值 $f_0$ 分解为切向部分 $b_s$、Boosted部分 $b_d$ 和法向部分 $w$（well prepared）。

    • 技巧：对于法向部分 $w$，利用均匀解的谱间隙（spectral gap）或共振分析（类似于Landau阻尼的分析方法），结合紧性论证，证明其对应的电场随时间衰减。这需要精细地估计色散算子 $\mathcal{D}^{-1}$ 在谱平面上的行为，避免由于势能引入的奇异性导致估计失效。

4. 与之前工作的比较

本文在Vlasov-Poisson系统BGK波的稳定性理论中取得了显著进展，主要体现在以下几个方面：

a) 普适判据的建立与假设的放宽

  • 先前工作：在本文之前，关于BGK波稳定性的数学结果主要局限于特殊情况。例如，Grenier, Nguyen, Rodnianski 等人在2015-2020年间的工作（文献[7, 9, 16]）主要处理了“平坦分布”（flat profiles），即在0能量附近 $F(e)$ 是常数（或导数为0）。这种假设导致势能方程中的源项在0能量面（分离线）上具有特殊的退化性，从而简化了分析。此外，一些工作（如文献[5]）处理了离子分布不均匀的特殊方程或经过人工构造的电子分布。
  • 本文的改进：本文打破了这些限制。定理1.2指出，稳定性完全取决于 $\partial_e F(0,0)$ 的符号，而不需要 $F$ 在0处的更高阶导数为零。这涵盖了更广泛的一类物理上感兴趣的分布函数。文章明确指出，当 $\partial_e F(0,0) \neq 0$ 时，问题本质上涉及分离线附近的非退化奇异性，这需要全新的分析技巧（如引入加权Holder空间 $C^{k, \alpha, \beta}$）。

b) 处理无穷维调制与非线性项的技巧

  • 先前工作：早期的稳定性分析往往依赖于对线性化算子的直接谱计算，或者针对特定初值的适定性。在处理由于对称性导致的零模（Zero modes）时，往往难以给出长时间的精确渐近行为。
  • 本文的改进：本文采用了**“分解+衰减”**的现代PDE策略（Theorem 1.2）。它不仅证明了谱稳定性（没有指数增长），还给出了线性解的显式分解：
    1. 静态部分（$f_{bgk}$）：与BGK流形相切，对应于流形上的运动。
    2. Boosted部分（$f_{gal}$）：对应于伽利略不变性导致的零模。本文明确指出这部分是时间线性的（unbounded），但可以通过施加动量守恒约束（公式1.12）使其有界，这是对物理背景的深刻洞察。
    3. 动态部分（$f_{dyn}$）：这是真正体现阻尼效应的部分。本文证明了其 $L^2$ 范数的时间衰减性（$\int_0^\infty \|E_{dyn}\|^2 dt < \infty$）。这种衰减估计比单纯的存在性结果更强，它暗示了BGK波在小扰动下的渐近稳定性潜力（尽管非线性稳定性未在本文完全证明）。

c) 函数空间构造与拓扑结构的揭示

  • 先前工作：对于BGK波解的流形结构，尤其是接近均匀解时的局部拓扑，缺乏清晰的描述。
  • 本文的改进：
    1. 引理 1.4：揭示了所有从小振幅均匀解分岔出的BGK波，其势能的一阶变分 $\partial_s \phi(x,0)$ 都具有相同的形状 $\kappa(\cos x + 1)$。这意味着在第一阶近似下，BGK波的参数化是退化的（所有曲线共享同一切空间）。这是一个非常深刻的动力系统结论，解释了为什么BGK波的存在性和结构对参数非常敏感。
    2. 精细的函数空间：为了解决 $e=0$ 处的奇异性（由 $\phi(x)$ 的极值点引起），文章没有使用标准的Sobolev空间，而是定制了 $C^{0, \alpha, \beta}$ 空间。这种空间的引入使得Eddington变换（涉及 $1/\sqrt{x-u}$ 型奇异性）能够良好定义，并保证了非线性映射的连续性（Theorem 1.6）。这比文献中常见的 $C^\infty$ 假设或简单的 $L^p$ 假设更为精细和适用。

d) 物理直觉的数学化

  • 突破点：文章将物理学中长期关注的“能量分布形状”与数学上的线性稳定性算子谱直接联系起来。Penrose准则描述了均匀流的不稳定性，而本文给出了BGK波的“Penrose型”准则（定理1.2中的 $\partial_e F(0,0)$ 符号）。这统一了均匀流和BGK波的稳定性描述语言，填补了物理直观与严格数学证明之间的鸿沟。

综上所述，本文不仅解决了一个长期开放的稳定性问题，而且在方法论上展示了如何结合现代PDE分析技术（谱理论、加权空间、动力系统分解）来处理具有几何奇异性（如分离线）的动理学方程。其结果推广并细化了Grenier、Nguyen等人的早期工作，为理解Vlasov-Poisson系统中孤立波的持久性奠定了基础。

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

1. Benjamin-Ono方程的孤子分解猜想证明

A proof of the soliton resolution conjecture for the Benjamin–Ono equation

作者: Louise Gassot, Patrick Gérard, Peter D. Miller

类别: math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10488v1

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

摘要翻译

中文标题: Benjamin-Ono方程的孤子分解猜想证明

摘要翻译: 我们给出了Benjamin-Ono方程孤子分解猜想的证明，即对于具有足够正则且衰减的初值条件的每个解，其长时间渐近可表示为有限个不同速度的孤子解之和，加上一个辐射残余项。我们详细建立了与初值相关的Lax算子的谱理论与孤子分解展开各项之间的对应关系。本证明基于第二作者提出的解的表示公式的新应用，以及对Lax算子相关扰动傅里叶变换的细致分析。

2. 黎曼自相关函数及其在非局部等周能量中的应用

A Riemannian Autocorrelation Function and its Application to Non-Local Isoperimetric Energies

作者: Michael Bleher, Denis Brazke, Sebastian Nill

类别: math.AP, math.DG

发布日期: 2026-01-15

arXiv ID: 2601.10481v1

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

摘要翻译

中文标题: 黎曼自相关函数及其在非局部等周能量中的应用

摘要翻译: 我们研究了单位球面 $M = S^n$ 上的一族非局部等周能量 $E_{γ,\varepsilon}$，其中非局部相互作用核 $K_\varepsilon$ 是亥姆霍兹算子 $1 - \varepsilon^2 Δ$ 的基本解。为了分析这些能量，我们引入了一个与可测集 $Ω\subset M$ 相关联的黎曼自相关函数 $c_Ω$，该函数定义在任意无边界的紧致、连通、定向黎曼流形 $(M^n,g)$ 上，其中维度 $n\ge2$。该函数与凸几何中 Matheron 的集合协方差函数有着密切的联系。通过建立基于测地差商的有界变差函数 $BV(M)$ 的刻画，我们证明了 $Ω$ 具有有限周长当且仅当 $c_Ω$ 是 Lipschitz 连续的，并将该 Lipschitz 常数与 $Ω$ 的周长联系起来。我们证明了在单位球面上，$E_{γ,\varepsilon}$ 可以用 $c_Ω$ 进行重新表述，这使得我们能够在变分意义下，即在 $Γ$-收敛的框架下，计算当 $\varepsilon \to 0$ 时的极限。

3. 非线性偏微分方程模型中的梯度稳定性与相互作用粒子系统中的推断

On gradient stability in nonlinear PDE models and inference in interacting particle systems

作者: Aurélien Castre, Richard Nickl

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

发布日期: 2026-01-15

arXiv ID: 2601.10326v1

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

摘要翻译

中文标题: 非线性偏微分方程模型中的梯度稳定性与相互作用粒子系统中的推断

摘要翻译: 我们考虑非线性偏微分方程的参数到解映射 $θ\mapsto \mathcal G(θ)$，并描述了一种基于巴拿赫空间版本隐函数定理的方法，用于验证 Nickl&Wang (JEMS 2024) 针对底层非线性反问题提出的梯度稳定性条件，同时提供了单射性估计和相应的统计可识别性结果。我们通过两个例子来说明我们的方法，这两个例子涉及具有周期性边界条件的非线性反应扩散系统以及 McKean-Vlasov 相互作用粒子模型。我们将我们的结果应用于证明一种 Langevin 型算法在采样由相互作用粒子系统的离散聚合测量所产生的相互作用势的后验测度时，具有多项式时间收敛性。

4. 准地转方程中由非线性对称性产生的漂移效应特征

Characteristics of drift effects in the quasi-geostrophic equation arising from nonlinear symmetry

作者: Masakazu Yamamoto

类别: math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10185v1

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

摘要翻译

中文标题: 准地转方程中由非线性对称性产生的漂移效应特征

摘要翻译: 本文比较了气象学中出现的两种相似的扩散方程。其一是准地转方程，另一种是对流扩散方程。两者均为二维双线性方程，且微分阶数相同，因此尺度自然也一致。然而，非线性效应的作用方向存在差异：一种沿等温面方向作用，而另一种则沿特定方向的温度梯度作用。核心论断通过方程解的长时行为对这一差异进行了量化，特别比较了两方程渐近轮廓中的非线性形变。在此背景下，首阶近似的空间对称性起着关键作用，但方程的解本身并不需要具备对称性。

5. 关于凸积分技术应用于奇异随机偏微分方程的评述

Remarks on the convex integration technique applied to singular stochastic partial differential equations

作者: Hongjie Dong, Kazuo Yamazaki

类别: math.PR, math.AP

发布日期: 2026-01-15

arXiv ID: 2601.09990v1

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

摘要翻译

中文标题: 关于凸积分技术应用于奇异随机偏微分方程的评述

摘要翻译: 奇异随机偏微分方程，通常是指那些由粗糙随机外力驱动的偏微分方程，这类外力导致非线性项中的乘积运算无法明确定义。除了正则性结构理论和参数化控制分布理论之外，凸积分技术已成为解决此类奇异随机偏微分方程的一种可能途径。本文回顾了该领域的最新进展，并通过具体分析，论证了凸积分技术在证明特定奇异随机偏微分方程（即量子场论中的$Φ^{4}$模型）解的不唯一性方面，似乎难以奏效。

6. 正方形环面上短时间间隔内的无损 Strichartz 估计

Lossless Strichartz estimates on the square torus over short time intervals

作者: Connor Quinn

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09895v1

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

摘要翻译

中文标题: 正方形环面上短时间间隔内的无损 Strichartz 估计

摘要翻译: 本文针对频率局部化的初值数据，证明了在正方形环面上 Schrödinger 方程的临界指数 $q_c = \frac{2(n+1)}{n-1}$ 处的无损 Strichartz 估计。该估计成立的时间区间长度取决于频率参数 $λ\gg 1$，且为短时间区间。

不相关论文（基本信息）

1. 鞅观测量的光滑性与广义费曼-卡克公式

Smoothness of martingale observables and generalized Feynman-Kac formulas

作者: Alex Karrila, Lauri Viitasaari

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

发布日期: 2026-01-15

arXiv ID: 2601.10539v1

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

摘要: We prove that, under the Hörmander criterion on an Itô process, all its martingale observables are smooth. As a consequence, we also obtain a generalized Feynman-Kac formula providing smooth solutions to certain PDE boundary-value problems, while allowing for degenerate diffusions as well as boundary stopping (under very mild boundary regularity assumptions). We also highlight an application to a question posed on Schramm-Loewner evolutions, by making certain Girsanov transform martingales accessible via Itô calculus.

2. 带分数噪声的随机Cahn-Hilliard方程的Malliavin微积分

Malliavin Calculus for the stochastic Cahn-Hilliard equation driven by fractional noise

作者: Dimitrios Dimitriou, Dimitris Farazakis, Georgia Karali

类别: math.PR, math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10490v1

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

摘要: The stochastic partial differential equation analyzed in this work is the Cahn-Hilliard equation perturbed by an additive fractional white noise (fractional in time and white in space). We work in the case of one spatial dimension and apply Malliavin calculus to investigate the existence of a density for the stochastic solution $u$. In particular, we show that $u$ admits continuous paths almost surely and construct a localizing sequence through which we prove that its Malliavin derivative exists locally, and that its law is absolutely continuous with respect to the Lebesgue measure on $\bf R$, establishing thus that a density exists. A key contribution of this work is the analysis of the stochastic integral appearing in the mild formulation: we derive sharp estimates for the expectation of the $p$-th power ($p \geq 2$) of the $L^{\infty}(D)$-norm of this stochastic integral as well as for the integral involving the $L^{\infty}(D)$-norm of the operator associated with the kernel appearing in the integral representation of the fractional noise, all of which are essential for this study.

3. 非局部时间相关障碍问题中的最优性

Optimality in nonlocal time-dependent obstacle problems

作者: Ioannis Athanasopoulos, Luis Caffarelli, Emmanouil Milakis

类别: math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10417v1

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

摘要: This paper showcases the effectiveness of the quasiconvexity property in addressing the optimal regularity of the temporal derivative and establishes conditions for its continuity in nonlocal time-dependent obstacle problems.

4. 一个双向双调和Alt-Caffarelli问题的全局极小化子

Global minimizers for a two-sided biharmonic Alt-Caffarelli problem

作者: Hans-Christoph Grunau, Marius Müller

类别: math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10297v1

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

摘要: We study global minimizers of biharmonic analogues of the Alt-Caffarelli functional. It turns out that half-space solutions are global minimizers for the two-sided Alt-Caffarelli functional, but not in the one-sided case. In addition, we identify a further class of global minimizers, all of which have constant Laplacian. Recent work by J. Lamboley and M. Nahon reduces potential global minimizers in dimension two to four possible categories. Our work shows that three of these categories persist in any dimension and are in fact global minimizers. Moreover, we show that minimizers of the two-sided biharmonic Alt-Caffarelli problem do in general not satisfy a partial differential equation, not even with a signed measure as right-hand-side. This is in sharp contrast to the corresponding one-sided problem.

5. Lamé系统的高对比度透射共振

High-Contrast Transmission Resonances for the Lamé System

作者: Long Li, Mourad Sini

类别: math.AP

发布日期: 2026-01-15

arXiv ID: 2601.10290v1

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

摘要: We consider the Lamé transmission problem in $\mathbb{R}^3$ with a bounded isotropic elastic inclusion in a high-contrast setting, where the interior-to-exterior Lamé moduli and densities scale like $1/τ$ as $τ\to0$. We study the scattering resonances of the associated self-adjoint Hamiltonian, defined as the poles of the meromorphic continuation of its resolvent. We obtain a sharp asymptotic description of resonances near the real axis as $τ\to0$. Near each nonzero Neumann eigenvalue of the interior Lamé operator there is a cluster of resonances lying just below it in the complex plane; in this wavelength-scale regime the imaginary parts are of order $τ$ with non-vanishing leading coefficients. In addition, near zero (a subwavelength regime), we identify resonances with real parts of order $\sqrtτ$ and prove a lifetime dichotomy: their imaginary parts are of order $τ$ generically, but of order $τ^2$ for an explicit admissible set $\mathcal E$. This yields a classification of long-lived elastic resonances in the high-contrast limit. We also establish resolvent asymptotics for both fixed-size resonators and microresonators. We derive explicit expansions with a finite-rank leading term and quantitative remainder bounds, valid near both wavelength-scale and subwavelength resonances. For microresonators, at the wavelength scale the dominant contribution is an anisotropic elastic point scatterer. Near the zero eigenvalue, the leading-order behaviour is of monopole or dipole type, and we give a rigorous criterion distinguishing the two cases.

6. 双曲平面外部域上最低Robin特征值的优化

Optimisation of the lowest Robin eigenvalue in exterior domains of the hyperbolic plane

作者: Antonio Celentano, David Krejcirik, Vladimir Lotoreichik

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

发布日期: 2026-01-15

arXiv ID: 2601.10280v1

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

摘要: We consider the Robin Laplacian in the exterior of a bounded simply-connected Lipschitz domain in the hyperbolic plane. We show that the essential spectrum of this operator is $[\frac14,\infty)$ and that, under convexity assumption on the domain, there exist discrete eigenvalues below $\frac14$ if, and only if, the Robin parameter is below a non-positive critical constant, which depends on the shape of the domain. As the main result, we prove that the lowest Robin eigenvalue for the exterior of a bounded geodesically convex domain $Ω$ in the hyperbolic plane does not exceed such an eigenvalue for the exterior of the geodesic disk, whose geodesic curvature of the boundary is not smaller than the averaged geodesic curvature of the boundary of $Ω$. This result implies as a consequence that under fixed area or fixed perimeter constraints the exterior of the geodesic disk maximises the lowest Robin eigenvalue among exteriors of bounded geodesically convex domains. Moreover, we obtain under the same geometric constraints a reverse inequality between the critical constants.

7. 卡当-哈达玛流形上的狄利克雷边值问题研究

On the Dirichlet boundary value problem on Cartan-Hadamard manifolds

作者: Marcos P. Cavalcante, José M. Espinar, Diego A. Marín

类别: math.AP, math.DG

发布日期: 2026-01-14

arXiv ID: 2601.09930v1

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

摘要: In this paper, we investigate the Dirichlet boundary value problem on Cartan-Hadamard manifolds, focusing on the non-existence of bounded (viscosity) solutions to semi-linear elliptic equations of the form $Δu + f(u) = 0$ in domains with prescribed asymptotic boundary, extending previous results by Bonorino and Klaser originally established for hyperbolic spaces. Using a novel comparison technique based on convex hypersurfaces inspired by Choi, Gálvez, and Lozano, we overcome the absence of totally geodesic foliations, which are instrumental in the hyperbolic space. Our results highlight the interplay between curvature, the spectrum of the Laplacian, and the geometry of the asymptotic boundary.

8. 变化非局部 $p$-Laplacian 变分本征值的渐近分析

Asymptotics of variational eigenvalues for a general nonlocal $p$-Laplacian with varying horizon

作者: Guillermo García-Sáez

类别: math.AP, math.SP

发布日期: 2026-01-14

arXiv ID: 2601.09700v1

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

摘要: From the recent developing of nonlocal gradients with finite horizon $δ>0$ based on general kernels, we introduce a new nonlocal $p$-Laplacian and study the eigenvalue problem associated with it. Furthermore, by virtue of $Γ$-convergence arguments, we establish stability results of the solutions for varying horizon in the extreme cases $δ\to 0^+$ and $δ\to\infty$, recovering the solutions for the local eigenvalue problem associated with the $p$-Laplacian, and the ones associated with the $H^{s,p}$-Laplacian, respectively.