New solutions to Schrödinger-Poisson-Slater equations in Coulomb-Sobolev spaces

技術的概要：クーロン・ソボレフ空間におけるシュレーディンガー・ポアソン・スレーター方程式への新たな解法

問題提起
本論文は、非線形かつ非局所的な偏微分方程式の解の存在と多重性について調査する：
$$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = f(|x|, u) \quad \text{in } \mathbb{R}^N,$$
ここで、$N \ge 2$、$p > 1$、および $\alpha \in (1, N)$ である。ここで、$I_\alpha$ は次数 $\alpha$ のリースポテンシャルを表す。非線形項 $f: [0, \infty) \times \mathbb{R} \to \mathbb{R}$ は、新しい広範な仮定クラスに準拠するカラテオドリ関数である。

この方程式は、量子多体系（ハートリー・フォック近似）および半導体モデルに由来するゼロ質量問題をモデル化する。正の質量を持つ変種とは異なり、この問題は自然にクーロン・ソボレフ空間 $E_{\alpha, p}(\mathbb{R}^N)$ に設定される。この空間は、以下のノルムによって定義される：
$$\|u\| = \left[ \int_{\mathbb{R}^N} |\nabla u|^2 dx + \left( \int_{\mathbb{R}^N} |I_{\alpha/2} \star |u|^p|^2 dx \right)^{1/p} \right]^{1/2}.$$
著者らは、変分法に必要なコンパクト性の回復のために、半径関数の部分空間 $E_{\alpha, p}^{\text{rad}}(\mathbb{R}^N)$ 内で作業を行う。本研究は、クーロン・ソボレフ指数 $q_{CS} = 2(2p+\alpha)/(2+\alpha)$ や半径指数 $q_{rad}$ などの臨界指数によって支配される、ルベーグ空間への埋め込みにおけるコンパクト性の欠如に対処する。

手法
主要な方法論的革新は、臨界点理論におけるスケーリングに基づくアプローチである。著者らは、古典的な変分幾何学（線形部分空間に基づくマウンテンパス幾何学やリンクなど）が存在しない場合、あるいは $Z_2$ 対称性が不十分な場合に対処するために、Mercuri と Perera [28] の手法を適応させる。

主要な方法論的要素は以下の通りである：

1. スケーリング不変性：著者らは、スケーリング不変な非線形固有値問題を特定する：
   $$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = \lambda |u|^{q-2} u,$$
   ここで $q = q_{CS}$ である。この問題は、古典的な種数ではなく、Fadell と Rabinowitz による$Z_2$ コホモロジー指数を通じて定義される固有値の列 $\{\lambda_k\}$ を許容する。
2. 非線形項の分類：局所非線形項 $f$ の振る舞いは、方程式の左辺のスケーリング特性に対して分類される。$|t| \to \infty$（または $0$）における$f(|x|, t)/|t|^{q-2}t$の極限に応じて、$f$ は以下のように分類される：
   • サブスケーリング：非線形項が無限大（またはゼロ）において主要部によって支配される。
   • 漸近的スケーリング：非線形項が無限大（またはゼロ）において固有値項のように振る舞う。
   • スーパースケーリング：非線形項が主要部を支配する。
3. 臨界群の評価：コホモロジー指数を利用することで、著者らは新しい臨界群の評価を導き出し、スケーリングに基づくリンク集合を構築する。これにより、汎関数が古典的指数理論に必要な標準的な対称性を欠く場合であっても、臨界点を検出することが可能となる。
4. コンパクト性の解析：本論文は、ソボレフ臨界未満、臨界、および臨界超成長という様々なパラメータ領域（$N, \alpha, p$）において、関連する作用汎関数に対するコンパクト性の結果（Palais-Smale 条件）を確立し、ソボレフ臨界未満、臨界、および臨界超成長がもたらす課題に対処する。

主要な結果
本論文は、$f$ 上の様々な成長条件の下で、ゼロ質量問題に対する存在定理と多重性定理を確立する：

• サブスケーリング領域における存在：「サブスケーリング」された（主要部によって支配される）非線形項に対して、著者らは少なくとも一つの解の存在を証明する。
• 共鳴による多重性：$f$ が漸近的にスケーリングされ（固有値項 $\lambda |u|^{q-2}u$ に近づく）、非自明な解の存在は、$\lambda$ が固有値 $\{\lambda_k\}$ に対してどの位置にあるかに依存する。
  • $\lambda > \lambda_1$ の場合、非自明な解が存在する。
  • $\lambda > \lambda_2$ の場合、二つの非自明な解が存在する。
  • これらの結果は、摂動項の原始関数が負である場合であっても成立し、特定の場合において $\lambda$ が非共鳴である必要を排除する。
• スーパースケーリングおよび臨界の場合：
  • 非線形項が支配するスーパースケーリングの場合において、著者らは摂動項の原始関数に関する符号条件の下、あるいは小さなパラメータを導入することにより、非自明な解の存在を証明する。
  • 臨界の場合（臨界ソボレフ指数 $2^*$ を含む）において、本論文は多重性 $m$ を持つ固有値に近いパラメータに対して、$m$ 個の異なる解の対の存在を証明する。
  • 解の数は、パラメータ（例えば、臨界未満項の係数など）を調整することで任意に大きくすることができ、パラメータが増大するにつれて解の数は無限大に発散する。

意義と主張
著者らは、自らの研究が Mercuri と Perera [28] による最近の結果を、より広範なパラメータ範囲 $N, \alpha, p$ およびより一般的な非線形項 $f$ のクラスへと拡張したと主張する。本論文の意義は以下の点にある：

1. 変分領域の一般化：「サブスケーリング」、「スケーリング」、および「スーパースケーリング」という用語の導入は、以前は別々に扱われていた、あるいは全く扱われていなかった変分領域を分類するための統一的な枠組みを提供する。この分類は、非線形項 $f$ と方程式のスケーリング特性との相互作用を反映している。
2. 非対称および非標準的幾何学の扱い：このアプローチにより、エネルギー汎関数が標準的なマウンテンパス幾何学を示さない場合、あるいは非線形項が奇関数ではない場合（標準的な対称臨界点定理の使用を妨げる）の問題の処理が可能となる。
3. 臨界超成長の捕捉：$p \neq 2$ のクーロン・ソボレフ空間で作業することにより、この手法は、古典的なソボレフ設定では扱いが難しいことが多い、ソボレフ臨界未満、臨界、および臨界超成長の非線形項を捉える。
4. フレドホルム代替法への類比：固有値の列 $\{\lambda_k\}$ との「共鳴」に基づいた解の分類は、古典的なフレドホルム代替法の非線形 analogue として記述される。

本論文は、新しい物理的応用や実験的提案を提示するものではなく、密度汎関数理論（DFT）および量子化学モデルに見られる拡張された物理パラメータの下でこれらの方程式を解くための厳密な数学的基盤を提供するものである。著者らは、Palais-Smale 列の有界性を保証するためにいくつかの結果で $2p < 2^*$ という仮定を使用しているが、将来の研究においてこの条件を緩和することを期待していると述べている。