Global Multiplicity and Comparison Principles for Singular Problems driven by Mixed Local-Nonlocal Operators

这是一份关于论文《GLOBAL MULTIPLICITY AND COMPARISON PRINCIPLES FOR SINGULAR PROBLEMS DRIVEN BY MIXED LOCAL-NONLOCAL OPERATORS》（混合局部 - 非局部算子驱动的奇异问题的全局多重性与比较原理）的详细技术总结。

1. 研究问题 (Problem Statement)

本文研究由混合局部 - 非局部算子驱动的奇异椭圆问题 $(P_\lambda)$：
$$\begin{cases} -\Delta_p u + (-\Delta_q)^s u = \frac{\lambda}{u^\delta} + u^r & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases}$$
其中：

• $\Omega \subset \mathbb{R}^N$ 是有界光滑区域。
• 算子包含 $p$-Laplacian ($-\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$) 和分数阶 $q$-Laplacian ($(-\Delta_q)^s u$)。
• 参数条件：$p > sq$, $0 < \delta < 1$（奇异项），$\lambda > 0$ 是参数。
• 非线性项 $u^r$ 具有次临界或临界增长性，即 $\max\{p-1, q-1\} < r \le r^* = \max\{p^*-1, q^*_s-1\}$。

核心挑战：

1. 混合算子性质： 局部算子（$p$-Laplacian）与非局部算子（分数阶 $q$-Laplacian）的耦合导致变分结构复杂，且缺乏尺度不变性。
2. 奇异性： 项 $u^{-\delta}$ 在 $u=0$ 处奇异，导致能量泛函 $I(u)$ 在 $X_0(\Omega)$ 空间上不是 $C^1$ 的，且解在边界附近的行为需要精细分析。
3. 全局多重性： 现有的文献多关注小参数 $\lambda$ 下的局部多重性结果，或者依赖小参数 $\epsilon$ 的微扰方法。本文旨在建立关于参数 $\lambda$ 的全局多重性结果（即存在、不存在和多重解的精确阈值）。

2. 方法论 (Methodology)

作者开发了一套新的分析框架，主要依赖以下两个核心工具：

A. 强比较原理与 Hopf 型比较原理 (Strong Comparison Principle & Hopf-type SCP)

• 目标： 建立解 $u_1, u_2$ 在 $\Omega$ 内部的大小关系 ($u_1 < u_2$) 以及边界法向导数的比较 ($\frac{\partial u_2}{\partial \nu} < \frac{\partial u_1}{\partial \nu}$)。
• 难点： 对于混合算子和奇异非线性项，标准的比较原理难以直接应用。
• 创新点：
  • 构造了一个精心设计的“无限半正定”（infinite semipositone）问题作为辅助。
  • 利用隐函数定理证明该辅助问题存在正解，并作为原问题线性化版本的次解。
  • 结合非局部项的精细估计，证明了在 $p \in (1, \infty), q \ge 2, s \in (0, 1/q')$ 等条件下，Hopf 型强比较原理成立。这是处理非线性混合算子奇异问题的关键突破。

B. Sobolev 空间与 Hölder 空间局部极小元的等价性 (Sobolev vs. Hölder Local Minimizers)

• 背景： Brezis-Nirenberg 经典结果表明，若 $u_0$ 是 $C^1_0$ 拓扑下的局部极小元，则它也是 $H^1_0$ 拓扑下的局部极小元。
• 推广： 本文将此结果推广到混合局部 - 非局部算子及奇异项情形。
• 技术路径：
  • 首先证明解的 $L^\infty$ 一致有界性（利用 Moser 迭代和 De Giorgi-Stampacchia 方法，涵盖临界增长情形）。
  • 进而获得 $C^{1,\alpha}$ 正则性估计。
  • 通过约束极小化方法，证明若 $u_0$ 是 $C^1_0$ 拓扑下的局部极小元，则它也是 $X_0(\Omega)$（Sobolev 空间）拓扑下的局部极小元。
• 意义： 这一结果允许作者利用山路引理（Mountain Pass Theorem）在 Sobolev 空间中寻找第二个解，即使能量泛函在 $C^1$ 拓扑下更容易分析。

3. 主要结果 (Key Results)

定理 1.2：存在性与不存在性 (Existence and Non-existence)

• 存在一个尖锐的阈值 $\Lambda > 0$。
• 存在性： 对于 $0 < \lambda \le \Lambda$，问题至少有一个解。
• 最小解： 对于 $0 < \lambda \le \Lambda$，存在一个最小解 $u_\lambda$，且 $u_\lambda$ 关于 $\lambda$ 严格单调递增。
• 不存在性： 对于 $\lambda > \Lambda$，问题无解。
• 证明思路： 利用广义特征值问题确定 $\Lambda$ 的上界，并通过单调迭代法构造最小解序列。

定理 1.3 & 1.4：全局多重性 (Global Multiplicity)

• 次临界情形 ($r < r^*$)： 在特定参数条件下（如线性情形 $p=q=2$ 或非线性情形 $q \ge 2$ 且 $s$ 较小），对于所有 $\lambda \in (0, \Lambda)$，问题至少存在两个不同的正解。
• 临界情形 ($r = r^*$)： 这是本文的核心贡献。即使在没有小参数 $\epsilon$ 微扰的情况下，只要满足特定的 $p, q, s, N$ 关系（例如 $2 \le q \le p$ 且 $p$ 在特定范围内），对于所有 $\lambda \in (0, \Lambda)$，问题依然至少存在两个不同的正解。
• 证明思路：
  1. 第一个解 $u_\lambda$ 是能量泛函的局部极小元（通过最小解构造）。
  2. 利用山路引理寻找第二个解。关键在于证明山路水平 $c_0$ 低于能量泛函的紧性破坏阈值（即 $c_0 < I(u_\lambda) + \frac{1}{N}S_0^{N/p}$）。
  3. 通过构造基于 Aubin-Talenti 函数的测试函数族，结合混合算子的精细能量估计，验证了山路水平满足紧性条件。

4. 关键贡献与创新点 (Key Contributions)

1. 全局多重性框架： 首次为混合局部 - 非局部算子驱动的奇异问题建立了关于参数 $\lambda$ 的全局多重性理论，填补了从“局部多重性”到“全局多重性”的空白。
2. 临界情形的突破： 在临界增长情形下，克服了混合算子缺乏尺度不变性和最佳 Sobolev 常数不可达的困难，证明了全局多重性。这一结果即使在 $p=q$ 的齐次情形下也是新的。
3. 新的比较原理： 建立了适用于混合算子和奇异非线性项的 Hopf 型强比较原理。这是处理此类问题中解的精细性质（如边界行为、单调性）的基础工具。
4. 正则性与极小元等价性： 证明了在混合算子和奇异项存在的情况下，Sobolev 拓扑与 Hölder 拓扑下的局部极小元等价性，为变分法的应用扫清了障碍。
5. $L^\infty$ 估计的扩展： 将 $L^\infty$ 有界性估计从次临界情形推广到了临界增长情形，扩展了现有文献的适用范围。

5. 意义与影响 (Significance)

• 理论深度： 本文不仅解决了具体的 PDE 问题，还发展了处理混合算子奇异问题的通用分析工具（比较原理、正则性估计、极小元等价性），这些工具具有独立的数学价值。
• 模型应用： 混合局部 - 非局部算子广泛应用于物理、生物和工程中，描述同时包含短程扩散（局部）和长程相互作用（非局部）的现象。奇异项通常出现在化学反应、流体力学或种群动力学模型中。本文的结果为这些模型中解的存在性和多重性提供了坚实的理论基础。
• 方法论推广： 作者提出的框架（特别是利用隐函数定理处理奇异项和比较原理的结合）可以推广到更广泛的混合局部 - 非局部问题中，为后续研究开辟了新路径。

总结：
这篇论文通过引入强比较原理和 Sobolev-Hölder 极小元等价性这两个强有力的分析工具，成功解决了混合局部 - 非局部算子驱动奇异椭圆问题的全局多重性问题。其最显著的成就在于在临界增长情形下证明了参数 $\lambda$ 的全局多重性结果，克服了传统微扰方法的局限性，是该领域的重要进展。