Explicit Formula Of The Critical Mass And The Energy Ground State Solution For The Mixed Local-Nonlocal Schrodinger Equation For The In-Between Critical Exponents Case

这是一份关于论文《混合局部 - 非局部薛定谔方程在“中间临界指数”情形下的临界质量显式公式及能量基态解》的详细技术总结。

1. 研究问题 (Problem Statement)

本文研究带有混合局部 - 非局部算子（Mixed Local-Nonlocal Operator）的薛定谔方程，具体形式为：
$$i \frac{\partial \psi}{\partial t} + \Delta \psi - (-\Delta)^s \psi = |\psi|^{p-2}\psi, \quad (t, x) \in \mathbb{R}^+ \times \mathbb{R}^N$$
其中 $N \ge 3$，$s \in (0, 1)$，$(-\Delta)^s$ 为分数阶拉普拉斯算子。

核心关注点：
研究该方程在**“中间临界指数” (In-between critical exponents)** 情形下的定态波（Standing waves）解的存在性，即指数 $p$ 满足：
$$2 + \frac{4s}{N} < p < 2 + \frac{4}{N}$$
在此区间内，局部算子（拉普拉斯算子 $\Delta$）的临界指数为 $2 + 4/N$，而非局部算子（分数阶拉普拉斯算子 $(-\Delta)^s$）的临界指数为 $2 + 4s/N$。作者指出，这两个算子的“冲突”导致了新的物理现象。

研究目标：
寻找具有预设质量 (Prescribed Mass) $c = \int_{\mathbb{R}^N} |u|^2 dx$ 的能量基态解（Energy Ground State Solution）。具体而言，确定是否存在一个临界质量 $c_0$，使得：

• 当 $c < c_0$ 时，不存在能量基态解；
• 当 $c \ge c_0$ 时，存在能量基态解。
  并且，本文旨在给出 $c_0$ 的显式公式，并建立基态解与 Gagliardo-Nirenberg 不等式极值元（Optimizer）之间的精确联系。

---

2. 方法论 (Methodology)

作者采用变分法结合精细的缩放分析（Scaling Analysis）和不等式优化技术来解决该问题。

1. 变分框架与能量泛函：
   定义能量泛函 $J(u)$ 和质量约束集合 $S_c$：
   $$J(u) = \frac{1}{2}\int |\nabla u|^2 + \frac{1}{2}\iint \frac{|u(x)-u(y)|^2}{|x-y|^{N+2s}} - \frac{1}{p}\int |u|^p$$
   $$m_c = \inf_{u \in S_c} J(u)$$
   基态解对应于 $m_c$ 的极小值点。

2. Gagliardo-Nirenberg 不等式的构建：
   针对混合算子，作者首先建立了新的 Gagliardo-Nirenberg 不等式：
   $$\|u\|_p^p \le C_{1,s,p} \|u\|_{D^{s,2}}^{\alpha} \|u\|_{D^{1,2}}^{\beta} \|u\|_2^{p-2}$$
   其中 $\alpha, \beta$ 是由 $N, s, p$ 决定的特定指数。

3. Weinstein 泛函与极值元存在性：
   引入 Weinstein 泛函 $W_p(u)$，通过紧性论证（利用径向对称重排和 Lions 消失引理）证明了该不等式最佳常数 $C_{1,s,p}$ 的存在性，并证明了存在非负径向极值元 $Q$ 满足相应的欧拉 - 拉格朗日方程。

4. 缩放分析与临界质量推导：
   利用缩放变换 $u_t(x) = t^{N/2}u(tx)$ 分析能量泛函 $J(u_t)$ 关于 $t$ 的行为。通过研究 $J(u_t)$ 的最小值符号，建立了质量 $c$ 与能量 $m_c$ 符号（正、负或零）之间的等价关系，从而导出临界质量 $c_0$ 的显式表达式。

5. Pohozaev 恒等式与 Nehari 流形：
   利用 Pohozaev 恒等式和 Nehari 流形条件，证明了在临界质量 $c_0$ 处，极值元 $Q$ 的能量 $J(Q)=0$，且 $Q$ 恰好是方程的基态解。

---

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

(1) 临界质量 $c_0$ 的显式公式

这是本文最核心的贡献。作者给出了临界质量 $c_0$ 与 Gagliardo-Nirenberg 不等式最佳常数 $C_{1,s,p}$ 之间的精确关系：
$$c_0 = C_{1,s,p}^{-\frac{2}{p-2}} \left[ \frac{2N + 4 - pN}{2p(1-s)} \right]^{-\frac{2N+4-pN}{2(1-s)(p-2)}} \left[ \frac{pN - 2N - 4s}{2p(1-s)} \right]^{-\frac{pN-2N-4s}{2(1-s)(p-2)}}$$
这一公式明确量化了混合算子系统中发生相变（从不存在解到存在解）的临界质量阈值。

(2) 能量基态解的存在性与非存在性判据

证明了在中间临界指数情形下：

• 若 $c < c_0$，则 $m_c = 0$ 且不可达（无基态解）。
• 若 $c = c_0$，则 $m_c = 0$ 且存在唯一的（至多相差平移）能量基态解 $u_{c_0}$。
• 若 $c > c_0$，则 $m_c < 0$ 且存在能量基态解。

(3) 基态解与不等式极值元的等价性

证明了具有临界质量 $c_0$ 的能量基态解 $u_{c_0}$ 正是 Gagliardo-Nirenberg 不等式的极值元（Optimizer）。
具体而言，$u_{c_0}$ 满足：
$$\|u_{c_0}\|_{D^{1,2}}^{\dots} \|u_{c_0}\|_{D^{s,2}}^{\dots} = C_{1,s,p}^{-1} \|u_{c_0}\|_2^{-(p-2)} \int |u_{c_0}|^p$$
这一发现建立了非线性偏微分方程解与函数空间不等式极值之间的深刻联系。

(4) 推广到混合分数阶算子情形

文章最后将结果推广到更一般的混合分数阶拉普拉斯算子 $( -\Delta)^{s_1} + (-\Delta)^{s_2}$ 情形（$0 < s_1 < s_2 < 1$），给出了相应的临界质量 $\bar{c}_0$ 和最佳常数公式，展示了该方法的普适性。

---

4. 技术难点与突破 (Technical Challenges & Breakthroughs)

• 非局部算子的处理： 混合算子（局部 + 非局部）使得传统的紧性论证变得复杂。作者通过引入对称重排和精细的缩放分析，克服了非局部项带来的紧性缺失问题。
• 中间指数区间的特殊性： 在 $2 + 4s/N < p < 2 + 4/N$ 区间内，局部项主导了 $L^p$ 范数的临界行为，而非局部项主导了低阶行为。这种“冲突”导致能量泛函在 $c < c_0$ 时无法取到极小值（极小值为 0 但不可达）。作者通过构造特定的缩放序列和严格的不等式估计，精确刻画了这一现象。
• 非零性证明 (Non-vanishing)： 在证明极值元存在性时，通常难以排除极小化序列的“消失”（vanishing）。作者利用 Weinstein 泛函的结构，通过巧妙的指数计算证明了极小化序列的非零性，这是证明极值元存在的关键一步。

---

5. 科学意义 (Significance)

1. 理论填补： 填补了混合局部 - 非局部薛定谔方程在“中间临界指数”情形下关于质量约束基态解存在的理论空白。此前研究多集中于纯分数阶或纯局部情形，或临界指数之外的情况。
2. 物理应用： 该模型广泛应用于种群动力学（经典扩散与非局部扩散共存）、流行病传播控制（区域性与全球性限制）以及生态位模型。临界质量 $c_0$ 的显式公式为预测种群能否在特定环境下维持稳定（存在基态解）提供了定量判据。
3. 方法论创新： 建立了混合算子 Gagliardo-Nirenberg 不等式与薛定谔方程基态解之间的精确对应关系，为未来研究更复杂的混合算子非线性方程提供了通用的分析框架。
4. 显式公式的价值： 以往关于临界质量的研究多证明其存在性，而本文给出了显式公式，使得数值模拟和实际参数估算成为可能。

综上所述，该论文通过严谨的变分分析和不等式理论，解决了混合算子薛定谔方程在特定指数区间内的核心存在性问题，并给出了具有物理意义的显式临界质量公式。