A scalar field equation on hyperbolic space with indefinite sign nonlinearity

技术摘要：双曲空间上具有不定号非线性的标量场方程

问题陈述
本文研究了 $N$ 维双曲空间 $\mathbb{H}^N$（在庞加莱球模型中记为 $B^N$）上的半线性双幂椭圆方程，其中 $N \ge 3$：
$$-\Delta_{B^N} u - \lambda u = |u|^{p-1}u - |u|^{q-1}u, \quad u \in H^1(B^N),$$
其中 $\lambda \in \mathbb{R}$，$1 < p \le 2^* - 1$（偶尔考虑超临界 $p$），且 $q \in (0, \infty)$。该非线性项具有竞争结构：一个聚焦项 $|u|^{p-1}u$ 和一个散焦项 $-|u|^{q-1}u$。主要目标是确定参数 $\lambda$ 的最优谱区域，以界定正能解的存在性与非存在性。本研究探讨了双曲空间的负曲率与指数体积增长，结合拉普拉斯 - 贝尔特拉米算子的谱隙，如何影响这些阈值现象，并与欧几里得情形进行对比。

方法论
作者采用变分技术、屏障论证和积分恒等式的组合，并针对双曲空间的特定几何结构进行了调整。

1. 几何与函数设定：分析在庞加莱球模型中进行。作者利用双曲方程与单位球 $B(0,1)$ 上的欧几里得狄利克雷问题之间的共形等价性，通过变换 $v = h^{\frac{N-2}{2}}u$（其中 $h(x) = \frac{2}{1-|x|^2}$）实现。这使得可以利用欧几里得索伯列夫不等式和经过共形因子修正的 Aubin-Talenti 气泡。
2. 屏障论证（存在性/非存在性）：对于 $1 < p < q$ 的情况，作者构造了显式的次解和超解。他们利用已知的单幂方程 $-\Delta_{B^N} u - \lambda u = |u|^{p-1}u$ 的正解（由 Mancini 和 Sandeep 建立）作为构建模块。通过精心选择参数并采用递归屏障构造，他们建立了存在性的精确阈值。
3. 变分方法：对于 $q < p$ 的情况，问题通过在 Nehari 流形上的约束极小化来处理。作者分析了与能量泛函 $J_{p,q}$ 相关的纤维化映射。解决的一个关键挑战是临界情况（$p = 2^* - 1$）下的紧性缺失。为了恢复紧性，作者将能量泛函针对“边界气泡”（在球边界附近聚集的 Aubin-Talenti 气泡）进行测试，而不仅仅是内部气泡，证明了在低维情况下，边界聚集对于将能量驱动至临界阈值以下是必要的。
4. Pohozaev 恒等式与衰减估计：为了证明非存在性结果，特别是针对存在区域之外的 $\lambda$，作者推导了 Pohozaev 恒等式。这需要解在无穷远处的严格衰减估计。他们利用 Picone 恒等式和比较原理，确立了由谱参数 $\lambda$ 以及指数 $p, q$ 决定的解的衰减率。这些衰减率对于证明 Pohozaev 恒等式所需的分部积分至关重要。
5. 定性分析：本文确立了对于 $q < 1$，正解具有紧支集并表现出径向对称性（测地球）。对于 $q > 1$，解被证明是径向对称且严格递减的。

主要贡献与结果

本文提供了针对指数 $p$ 和 $q$ 三种不同配置下阈值现象的完整解答：

1. 情形 $1 < p < q$（聚焦项弱于散焦项）：

   • 作者确定了一个显式的临界谱参数 $\lambda_{p,q}$，定义为：
     $$\lambda_{p,q} := \left(\frac{p-1}{q-1}\right)^{\frac{p-1}{q-p}} - \left(\frac{p-1}{q-1}\right)^{\frac{q-1}{q-p}} > 0.$$
   • 结果：当且仅当 $-\lambda_{p,q} \le \lambda < \lambda_1$ 时，存在正能解，其中 $\lambda_1 = (N-1)^2/4$ 是谱的下界。若 $\lambda < -\lambda_{p,q}$ 或 $\lambda > \lambda_1$，则不存在正解。
   • 阈值 $\lambda_{p,q}$ 依赖于 $p, q$ 和 $N$。

2. 情形 $0 < q < 1 < p$（次线性散焦）：

   • 结果：由于次线性项的有利符号，谱参数 $\lambda$ 的作用不那么决定性。
     • 若 $p < 2^* - 1$，则对每个 $\lambda \in \mathbb{R}$ 都存在非负非平凡解。
     • 若 $p = 2^* - 1$ 且 $N \ge 5$，则当 $\lambda > \frac{N(N-2)}{4}$ 时存在解。
     • 若 $p \ge 2^* - 1$，则当 $\lambda \le \frac{N(N-2)}{4}$ 时不存在非平凡解。
   • 该区域中的解具有紧支集且呈径向对称。

3. 情形 $1 < q < p$（超线性散焦）：

   • 结果：存在区域主要由谱隙 $\lambda_1$ 和临界索伯列夫阈值决定。
     • 若 $p < 2^* - 1$，则对所有 $\lambda < \lambda_1$ 存在正解。
     • 若 $p = 2^* - 1$ 且 $N \ge 4$，则当 $\frac{N(N-2)}{4} < \lambda < \lambda_1$ 时存在解。
     • 若 $\lambda > \lambda_1$，则不存在正解；若 $\lambda \le \frac{N(N-2)}{4}$，则不存在非平凡解。

意义
本文声称提供了双曲空间上此类方程阈值现象的“完整解答”。其意义在于：

• 精确性：它确定了区分存在与非存在区域的精确边界，改进了以往关于欧几里得空间或单幂非线性的已知结果。
• 几何洞察：它突出了双曲几何（特别是谱隙和体积增长）如何与竞争非线性相互作用。该工作表明，聚焦项与散焦项之间的竞争诱发了由 $p, q$ 和 $\lambda$ 之间的显式关系所决定的阈值行为，这与欧几里得情形不同。
• 技术新颖性：对低维（$N=4, 5$）下具有次线性散焦（$q < 1$）的临界情况（$p = 2^* - 1$）的分析，需要发展特定的边界气泡估计，以克服标准紧性论证的失效。在双曲设定下推导精确衰减估计以证明 Pohozaev 恒等式，也是一项关键的技术贡献。

作者指出，虽然某些现象反映了欧几里得设定，但双曲几何引入了没有直接欧几里得对应物的效应，特别是关于存在性所需的特定谱阈值。这些结果扩展并深化了对非紧、负曲率流形上标量场方程的理解。