Serrin-type Overdetermination in Scaling Limits: Sharp Existence and Asymptotic Behavior of Quasi-linear Schrödinger Energy Ground States

技术摘要：缩放极限中的 Serrin 型超定问题：拟线性薛定谔方程能量基态的锐利存在性与渐近行为

1. 问题表述
本文研究了 $\mathbb{R}^N$ 中拟线性薛定谔方程的能量基态的存在性及其渐近行为：
$$-\Delta u - \Delta(|u|^2)u + \lambda u = |u|^{p-2}u$$
受限于给定的质量（归一化）约束：
$$\int_{\mathbb{R}^N} |u|^2 dx = a > 0.$$
研究重点在于质量超临界机制，其定义为指数范围 $4 + \frac{4}{N} < p < 2 \cdot 2^*$，其中 $2^* = \frac{2N}{N-2}$ 是临界 Sobolev 指数（当 $N=1,2$ 时 $2^* = \infty$）。在此机制下，关联的能量泛函在约束集上无下界，使得极小值的存在性变得非平凡。频率 $\lambda$ 作为由约束确定的拉格朗日乘子出现。

2. 研究方法
作者通过以下策略解决了能量泛函 $I(u)$ 在自然空间 $X$ 中的不可微性问题（由于项 $u\Delta(|u|^2)$ 的存在）以及超临界情况下的紧性缺失问题：

• 松弛极小化方法： 作者并非直接在约束球面 $S_a$ 与 Pohozaev 流形 $\mathcal{P}$ 的交集上进行极小化，而是引入了一个在集合 $D_a = \{u \in X : \|u\|_2^2 \leq a\}$ 上的松弛问题。他们定义了 $M_a = \inf_{u \in \mathcal{P} \cap D_a} I(u)$。
• 变分框架： 他们证明了 $M_a$ 的极小值是能量在 $D_a$ 上限制下的临界点。关键步骤是证明对于特定的维度和质量范围，这些极小值严格位于边界 $\partial D_a = S_a$ 上，从而解决了原始的归一化问题。
• 对偶变换： 为了处理拟线性结构，作者利用变量代换 $u = \phi(v)$，将问题转化为关于 $v$ 的半线性方程。这使得应用标准的椭圆正则性和唯一性结果成为可能。
• 通过重标度进行渐近分析： 对于极限行为（$a \to 0^+$ 和 $a \to a^*$），作者采用了精细的重标度技术。当 $a \to 0^+$ 时，解被重标度以收敛到特定 Serrin 型超定问题（一个具有 Dirichlet-Neumann 条件的自由边界问题）的唯一正径向解。当 $a \to a^*$ 时，分析依赖于向零质量方程或标准半线性极限的收敛。

3. 主要贡献与结果

• 最优存在性理论（移除 $p \leq 2^*$ 壁垒）：
  先前的研究（如 [30, 43, 55]）要求 $p \leq 2^*$ 这一限制性假设，这使得存在性结果仅限于维度 $N \leq 3$。本文为所有维度 $N \geq 1$ 下的完整范围 $4 + \frac{4}{N} < p < 2 \cdot 2^*$ 建立了存在性。

  • 情形 $1 \leq N \leq 4$： 对于所有给定的质量 $a > 0$，能量基态均存在。相关的拉格朗日乘子 $\lambda$ 严格大于零。
  • 情形 $N \geq 5$： 存在一个锐利阈值 $a_0 > 0$。当且仅当 $a \leq a_0$ 时，能量基态存在。
    • 对于 $a < a_0$，存在唯一的（在平移/符号意义下）正径向基态，且 $\lambda > 0$。
    • 对于 $a = a_0$，基态是零质量方程（其中 $\lambda = 0$）的唯一正径向解。
    • 对于 $a > a_0$，不存在能量基态。

• 当 $a \to 0^+$ 时的渐近行为：
  本文建立了拟线性基态与 Serrin 型超定问题 之间的创新联系。当质量 $a$ 趋于零时，基态的重标度剖面收敛于以下问题的唯一正径向解：
  $$\begin{cases} -\Delta \tilde{v} = -\frac{\sqrt{2}}{2} + 2^{\frac{p-4}{4}} \tilde{v}^{\frac{p-2}{2}} & \text{在 } \Omega \text{ 内}, \\ \tilde{v} > 0 & \text{在 } \Omega \text{ 内}, \\ \tilde{v} = \frac{\partial \tilde{v}}{\partial \nu} = 0 & \text{在 } \partial \Omega \text{ 上}, \end{cases}$$
  其中 $\Omega$ 是一个球体。这构成了此类拟线性方程中首个此类结果。拉格朗日乘子 $\lambda$ 在此极限下趋于 $+\infty$。

• 当 $a \to a^*$ 时的渐近行为：

  • 对于 $N \leq 4$（此时 $a^* = \infty$）和 $N \geq 5$（此时 $a^* = a_0$），$\lambda \to 0^+$。
  • 根据维度和指数 $p$ 的不同，重标度解收敛至：
    • 标准半线性方程 $-\Delta W + W = W^{p-1}$ 的唯一正径向解（对于 $N=2,3$ 且为亚临界 $p$）。
    • Talenti bubble（对于 $N=3, p=2^*$）。
    • 零质量拟线性方程的唯一正径向解（对于 $N \geq 3$ 且为超临界 $p$）。

4. 重要性与主张
本文声称为这类拟线性方程的归一化基态提供了最优存在性理论。主要的突破在于移除了长期存在的 $p \leq 2^*$ 限制，该限制此前将存在性结果局限于低维度（$N \leq 3$）。通过在所有维度下建立全超临界范围 $p < 2 \cdot 2^*$ 的存在性，作者完整地解决了存在性问题。

此外，这项工作通过使用松弛约束方法引入了一个统一的变分框架，避免了拟线性泛函固有的不可微性问题。将 Serrin 型超定问题 识别为消失质量时的极限剖面，代表了拟线性薛定谔方程渐近分析中的一种新现象，将基态的行为与自由边界问题联系起来。

作者指出，虽然变分特征表明与此相关的驻波具有不稳定性（爆破），但由于缺乏该方程在能量空间 $X$ 中的局部适定性理论，关于轨道稳定性的确定性结论仍是一个开放问题。然而，由于对于固定的 $\lambda > 0$ 正解具有唯一性，本文确立了能量基态与作用量基态（对于固定 $\lambda$ 的作用量泛函的极小值）是一致的。