Existence and non-existence of nonradial solutions to an elliptic equation on hyperbolic space with critical and subcritical nonlinearities

技術要約：双曲空間における楕円方程式の非放射状解の存在と非存在

問題設定
本論文は、$N$次元双曲空間 $\mathbb{B}^N$（ポアンカレ球としてモデル化）上の以下の半線形楕円方程式を調査する：
$$-\Delta_{\mathbb{B}^N} u - \lambda u = |u|^{p-1}u, \quad u \in H^1(\mathbb{B}^N),$$
ここで、$N \geq 3$、$\lambda > \frac{N(N-2)}{4}$、および $1 < p \leq 2^*$（ただし $2^* = \frac{2N}{N-2}$ は臨界ソボレフ指数）である。本研究は、主に以下の2つの問いに取り組んでいる：

1. 存在性： 臨界の場合（$p = 2^* - 1$）において、スペクトルパラメータ $\lambda$ が $\frac{N(N-2)}{4} < \lambda < \lambda_1$（ここで $\lambda_1 = \frac{(N-1)^2}{4}$ は $-\Delta_{\mathbb{B}^N}$ の $L^2$ スペクトルの下限）の範囲にあるとき、非放射状で符号変化を持つ解は存在するか？
2. 非存在性： 特定の対称性の制約下で、スペクトル値 $\lambda > \lambda_1$ において非自明な解が存在しないことを確立できるか？

手法
著者らは、変分法、共形幾何学、群論、およびスペクトル解析の組み合わせを用いている。

• 共形変換： 双曲空間上の問題は、単位球 $B \subset \mathbb{R}^N$ 上の重み付きユークリッド・ディリクレ問題へと変換される。共形因子 $h(x) = \frac{2}{1-|x|^2}$ を用いることで、方程式 $(Eq_\lambda)$ は以下のように写像される：
  $$-\Delta v - \tilde{\lambda} h^2 v = |v|^{2^*-2}v, \quad v \in H^1_0(B),$$
  ここで $\tilde{\lambda} = \lambda - \frac{N(N-2)}{4}$ である。これにより、ユークリッド的な変分手法の適用が可能となる。

• 対称性と等変部分空間： 非放射状解を構成するために、著者らは $H^1_0(B)$ の $\phi$-等変部分空間に問題を制限する。著者らは、閉部分群 $\Gamma \subset O(N)$ と準同型 $\phi: \Gamma \to \mathbb{Z}_2$ を利用する。これらの部分空間に含まれる関数 $u$ は $u(gx) = \phi(g)u(x)$ を満たし、これにより符号変化が強制され、放射対称性が破れる。このような部分空間の存在は、分解 $N = 4n + m$ に基づく、$n$ 個の互いに素な等変部分空間の構成に依存している。

• 存在性の証明（臨界の場合）：

  • 著者らは、等変ソボレフ商 $S_\phi$ を定義し、それを対応するユークリッド商 $S_\phi^\infty$ と比較する。
  • オービン・タレンティ・バブル（ユークリッド臨界方程式の解）に基づくテスト関数を構成し、これらのバブルの改良された減衰評価（ケルビン変換と等変性を通じて導出される）を利用することで、厳密な不等式 $S_\phi < S_\phi^\infty$ を証明する。
  • この厳密な不等式は、集中コンパクトネス原理、および群作用の固定集合が原点のみであるという事実と組み合わさることで、最小化列のコンパクト性を保証し、非自明な極小値を与える。

• 非存在性の証明 ($\lambda > \lambda_1$)：

  • $\lambda > \lambda_1$ の場合、方程式はシュレディンガー型の固有値問題 $-(\Delta_{\mathbb{B}^N} + V)u = \lambda u$ （ここで $V = -|u|^{p-1}$）として捉えられる。
  • 著者らは、ポテンシャル $V$ が十分に速く減衰する場合（$V = o(\rho^{-1})$）、$\lambda > \lambda_1$ に対して $L^2$ 固有関数が存在しないという Borthwick と Marzuola の結果を援用する。
  • 符号変化解に対するこの減衰条件を検証するために、著者らは定量的軌道パッキング (Quantitative Orbit Packing: QOP) 条件を導入する。この条件は、単位球面上の部分群 $\Gamma$ の軌道内にどれだけの点をパッキングできるかを測定するものである。
  • $|u|$ が $\Gamma$-不変であり、$\Gamma$ が (QOP) 条件を満たす場合、$u$ は非存在定理の仮定を満たす十分な速度で減衰しなければならず、その結果 $u \equiv 0$ となることを証明する。

主要な貢献と結果

1. 非放射状符号変化解の存在 (定理 1.1):
   次元 $N = 4n + m$ ($n \geq 1, m \in \{0,1,2,3\}$) およびパラメータ $\frac{N(N-2)}{4} < \lambda < \frac{(N-1)^2}{4}$、かつ臨界指数 $p = 2^* - 1$ のとき、方程式は少なくとも $n$ 個の異なる非放射状符号変化解を持つ。この結果は、放射状解に関する先行研究を拡張し、低次元における多重性の結果を改善するものである。

2. 対称性に制限された非存在性 (定理 1.2):
   $\lambda > \lambda_1$ かつ $1 < p \leq 2^* - 1$ のとき、解 $u$ が $|u| \in H^1(\mathbb{B}^N)$ を満たし、かつ (QOP) 条件を満たす部分群 $\Gamma \subset O(N)$ の下で不変であるならば、$u \equiv 0$ である。

   • この結果は、既知の放射状解に対する非存在定理を、広範な非放射状対称解のクラスへと一般化するものである。
   • 本研究は、非存在性を保証する特定の群構造（例：直交群の直積）を特定する一方で、有限の軌道を持つ群は必要なパッキング条件を満たさないことも指摘している。

意義と主張
本論文は、臨界双曲設定におけるこれらの特定の方向（非放射状符号変化解、および $\lambda > \lambda_1$ における対称性に基づく非存在性）に取り組んだ最初の研究であると主張している。

• 既存文献の改善： 存在性の結果は、正の放射状解または放射状符号変化解の存在を確立した Mancini, Sandeep らの先行研究を改善している。本研究は、特に臨界ケースにおける非放射状かつ符号変化の領域を対象としている。
• 新規な非存在メカニズム： 非存在性の結果は、符号変化解に対して失敗する標準的なポホザエフ恒等式や比較原理を超えたものである。代わりに、スペクトル理論と幾何学的な「軌道パッキング」条件を用いて減衰評価を導出し、無限次元の非放射状関数を含む広範な対称関数のクラスに対して非存在性を証明している。

著者らは控えめなトーンを維持しており、自らの仕事を、すべての解の完全な分類を主張するものではなく、特定のスペクトル範囲における存在性と多重性を確立し、かつ幾何学的特性に依存した部分的な非存在結果を提供することであると位置づけている。