A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators

本文利用最新的抽象结果，证明了涉及局部与非局部算子差分的临界椭圆问题在参数充分小时存在两个能量符号相反的非平凡弱解。

要点

这篇论文听起来像是一堆复杂的数学符号，但我们可以把它想象成一场**“寻找平衡点”的探险游戏**。

想象你站在一个巨大的、看不见的能量地形图上。你的目标是在这个地形上找到两个特殊的“落脚点”（也就是数学上的解），这两个点代表了某种物理或自然现象的稳定状态。

1. 故事背景：两个世界的碰撞

在这个故事里，有两个主要的“角色”在争夺地盘：

• 本地居民（局部算子）：就像是你身边的邻居，他们只关心离你非常近的人。在数学上，这代表传统的、局部的相互作用（比如经典的物理定律）。
• 远程连接者（非局部算子）：这就像是一个拥有超能力的群体，他们能瞬间感知并影响很远的地方。在数学上，这代表“分数阶”的相互作用，一种跨越空间的连接。

这篇论文研究的问题，就是当这两种力量互相抵消（一个加，一个减）时，会发生什么。这就像是在拔河，一边是本地力量，一边是远程力量，中间还夹杂着一些外部的拉力（参数 $\lambda$ 和 $\mu$）。

2. 核心挑战：寻找“双生”宝藏

通常，数学家们在这个地形图上找“宝藏”（解）时，往往只能找到一个，或者只能找到一种类型的（比如都在山谷底部）。

但这篇论文的重大发现是：
只要把那个叫 $\mu$ 的“远程力量”参数调得非常小，你竟然能同时找到两个完全不同的宝藏：

1. 负能量宝藏：一个位于“深坑”底部的点（能量为负）。
2. 正能量宝藏：一个位于“小山丘”顶部的点（能量为正）。

这很神奇吗？ 是的！通常如果地形太复杂，我们以为只能找到一个点，或者根本找不到。但作者证明了，只要远程力量足够微弱，这两个点就会同时出现。

3. 他们是怎么做到的？（登山家的策略）

为了找到这两个点，作者没有使用传统的“滚下山坡”（局部极小化）或者“翻山越岭”（山路引理）的简单方法，因为当地形变得复杂（特别是当参数 $\lambda$ 很大时），这些老办法会失效。

他们使用了一种高级的“拓扑学”地图（抽象多重性定理）：

• 想象一下：这个能量地形不是一个简单的平面，而是一个像甜甜圈或莫比乌斯环一样复杂的形状。
• 策略：作者利用这个形状的“孔洞”数量（数学上叫同调群指标），证明了在这个复杂的形状上，必然存在两个不同的“高点”和“低点”。
• 比喻：就像你在一个有很多层楼的迷宫里找出口。普通的地图只能告诉你一楼有个出口。但作者拿出的是一张“全息地图”，它告诉你：“别只盯着地板，抬头看，二楼和三楼也有出口，而且它们的位置是固定的，只要你把迷宫里的干扰（$\mu$）调小一点。”

4. 为什么这很重要？

• 打破常规：以前大家认为，当两种力量混合且互相抵消时，解的存在性是个谜，或者很难找到多个解。这篇论文打破了这个僵局。
• 适用范围广：它不仅适用于纯数学的“分数阶”问题（像幽灵一样的远程连接），也适用于混合了经典物理（局部）和现代物理（非局部）的问题。
• 现实意义：虽然这是纯数学，但这种“局部与全局相互作用”的模型，可以用来模拟生态系统的扩散（动物既在附近觅食，又能长途迁徙）、金融市场的波动（局部交易和全球影响）或者材料科学中的缺陷。

总结

简单来说，这篇论文就像是一位高明的向导，他告诉你：

“在这个由‘本地邻居’和‘远程超能力’共同构建的复杂能量世界里，只要你把远程干扰调得足够小，你就一定能找到两个截然不同的稳定状态：一个在深渊里，一个在高峰上。而且，我们不仅找到了它们，还画出了通往它们的精确路线图。”

这就是数学的魅力：在看似混乱和相互抵消的力量中，发现了隐藏的、确定的秩序。

技术摘要

以下是基于论文《A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators》（涉及局部与非局部算子差分的临界椭圆问题多重解结果）的详细技术总结：

1. 研究问题 (Problem)

本文主要研究一类涉及局部算子与非局部算子之差的临界椭圆问题。具体而言，作者考虑了定义在有界区域 $\Omega \subset \mathbb{R}^N$ 上的以下非线性方程：

$$\begin{cases} (-\Delta)^s_p u - \mu (-\Delta)^t_q u = \lambda |u|^{p-2} u + |u|^{p^*_s-2} u & \text{in } \Omega \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega \end{cases}$$

关键参数与设定：

• 算子： $(-\Delta)^s_p$ 是分数阶 $p$-Laplacian 算子（非局部），$(-\Delta)^t_q$ 是另一个分数阶 $q$-Laplacian 算子。
• 参数关系： $0 < t < s < 1$，$1 < q < p < N/s$。
• 临界指数： $p^*_s = Np/(N-sp)$ 是分数阶临界 Sobolev 指数。
• 参数： $\lambda, \mu > 0$ 为参数。
• 特殊情况： 文章也讨论了极限情况 $s=1$，即混合局部（$p$-Laplacian）与非局部算子的问题。

核心挑战：
这类问题涉及算子的差分（而非通常文献中研究的和），且包含临界非线性项。当 $\lambda$ 大于分数阶 $p$-Laplacian 的第一特征值 $\lambda_1$ 时，能量泛函不再具有标准的山路几何结构（Mountain Pass Geometry），这使得传统的变分方法难以直接应用。此外，由于 $t < s$，空间嵌入 $W^{s,p}_0(\Omega) \not\subset W^{t,q}_0(\Omega)$ 的性质使得泛函定义和紧性分析变得复杂。

2. 方法论 (Methodology)

作者采用变分法结合抽象临界点理论来解决该问题。

1. 变分框架：

   • 将问题转化为在分数阶 Sobolev 空间 $W^{s,p}_0(\Omega)$ 中寻找能量泛函 $E(u)$ 的临界点。
   • 能量泛函形式为：
     $$E(u) = \frac{1}{p}\|u\|^p - \frac{\mu}{q}[u]_{t,q}^q - \frac{\lambda}{p}|u|_p^p - \frac{1}{p^*_s}|u|_{p^*_s}^{p^*_s}$$
     其中第一项和第二项分别对应局部和非局部算子的势能，后两项对应线性项和临界非线性项。

2. 抽象多重性定理的应用：

   • 由于当 $\lambda > \lambda_1$ 时泛函失去山路几何结构，作者没有使用经典的山路定理。
   • 相反，他们应用了 Perera [20] 最近证明的一个抽象多重性结果（Theorem 2.1）。该定理基于$\mathbb{Z}_2$-上同调指标（cohomological index）理论。
   • 该定理的核心思想是：如果能量泛函满足特定的 Palais-Smale (PS) 条件，且在某个水平集下存在具有特定拓扑指标（index）的对称子集，则存在两个非平凡解，一个能量为负，一个能量为正。

3. 紧性分析 (PS 条件)：

   • 证明了在特定的能量阈值以下，泛函满足 (PS) 条件。
   • 利用 Brezis-Lieb 引理和分数阶 Sobolev 最佳常数 $S$，推导了 (PS) 序列的收敛性。
   • 关键引理（Lemma 3.1）表明，存在常数 $\kappa > 0$，使得当能量水平 $c < \frac{s}{N}S^{N/sp} - \kappa\mu$ 时，(PS)$_c$ 条件成立。这克服了临界指数带来的紧性缺失问题。

4. 构造几何结构：

   • 利用 Mosconi 等人 [18] 的结果，构造了一个紧对称子集 $C$（对应于特征值 $\lambda_k$ 附近的集合），其指标为 $k$。
   • 构造了一个特定的测试函数 $w_0$（基于分数阶 Sobolev 最佳常数的极值函数截断），其支集与 $C$ 不相交。
   • 通过精细的估计（Lemma 3.3），证明了在 $C$ 和 $w_0$ 生成的锥面上，能量泛函的上界严格小于临界阈值 $\frac{s}{N}S^{N/sp}$。

3. 主要贡献与结果 (Key Contributions & Results)

主要定理 (Theorem 1.1)：
假设 $0 < t < s < 1$，$1 < q < p < N/s$，$N \ge sp^2$，且$\lambda \in (0, \infty) \setminus \sigma((-\Delta)^s_p)$（即$\lambda$ 不是特征值）。
则存在 $\mu_0, \kappa > 0$，使得对于所有 $\mu \in (0, \mu_0)$，问题 (1.1) 存在两个非平凡弱解 $u_1$ 和 $u_2$，满足：
$$E(u_1) < 0 < E(u_2) < \frac{s}{N}S^{N/sp} - \kappa\mu$$

关键创新点：

1. 算子差分的处理： 首次系统性地研究了局部与非局部算子差分形式的临界椭圆问题，而非通常的和。
2. 解的多重性： 证明了对于充分小的 $\mu$，存在两个解：一个具有负能量（通常对应局部极小值或鞍点），另一个具有正能量（对应更高阶的临界点）。
3. 超越山路几何： 在 $\lambda > \lambda_1$ 的情况下，解既不是局部极小值，也不是传统山路类型的解。它们是具有非平凡高阶临界群（higher critical groups）的高阶临界点。
4. 混合局部 - 非局部情形： 结果同样适用于 $s=1$ 的混合局部（$p$-Laplacian）与非局部算子情形（Theorem 1.4）。

4. 意义与影响 (Significance)

• 理论突破： 该工作扩展了临界椭圆方程解的存在性与多重性理论，特别是在处理算子差分结构时。它展示了如何利用抽象的上同调指标理论来处理失去标准山路几何结构的变分问题。
• 物理背景： 这类方程出现在描述具有局部和非局部扩散机制的生态位（ecological niche）模型中（参考 Dipierro and Valdinoci [11]）。理解此类差分算子方程的解有助于更准确地建模复杂的扩散过程。
• 方法论示范： 文章展示了如何结合分数阶 Sobolev 空间的精细估计（如 Brezis-Lieb 引理的应用、最佳常数的截断估计）与抽象拓扑临界点理论，来解决具有临界增长的非线性 PDE 问题。
• 开放性问题的推进： 文章指出了当 $t=s$ 或 $t=1$ 时，由于嵌入空间的非紧性，解的存在性仍是一个开放问题，为后续研究指明了方向。

总结：
这篇论文通过引入抽象多重性定理和精细的变分分析，成功证明了涉及局部与非局部算子差分的临界椭圆问题在参数 $\mu$ 较小时存在两个不同能量水平的非平凡解。这一结果丰富了非线性椭圆方程的理论体系，特别是针对非标准几何结构和算子差分结构的问题。