Normalized solutions of quasilinear Schrödinger-Poisson system with critical nonlinear term in bounded domain

1. 問題設定 (Problem Setting)

本研究は、以下の連立方程式系（1.1）を有界領域 $\Omega_r \subset \mathbb{R}^3$ 上で考察します。

$$\begin{cases} -\Delta u + \phi u + \lambda u = |u|^{q-2}u + |u|^4 u, & x \in \Omega_r, \\ -\Delta \phi - \varepsilon^4 \Delta_4 \phi = u^2, & x \in \Omega_r, \\ u = \phi = 0, & x \in \partial \Omega_r, \end{cases}$$

ここで、$\Delta_4 \phi = \text{div}(|\nabla \phi|^2 \nabla \phi)$ は 4-ラプラシアンです。
重要な特徴として、以下の**質量制約（正規化条件）**が課されています。

$$\int_{\Omega_r} |u|^2 dx = b^2 \quad (b > 0 \text{ は定数}).$$

• 物理的背景: 半導体ナノ構造における量子閉じ込め効果と、ビーム伝播中の縦方向の電場振動との相互作用をモデル化しています。
• パラメータ:
  • $\varepsilon > 0$: 非線形性のパラメータ（$\varepsilon=0$ のとき古典的なポアソン方程式へ帰着）。
  • $\lambda$: 未知の周波数パラメータ（ラグランジュ乗数として現れる）。
  • $q \in (2, 8/3)$: 非線形項の指数。
  • $|u|^4 u$: 臨界指数（$2^* = 6$ に対応する項）を含む非線形項。

2. 手法 (Methodology)

この問題の解析には、以下の数学的困難を克服するための高度な変分法的手法が用いられています。

1. 縮小法 (Reduction Method):

   • 第 2 式のポアソン方程式 $-\Delta \phi - \varepsilon^4 \Delta_4 \phi = u^2$ に対して、任意の $u$ に対して一意な解 $\phi_\varepsilon(u)$ が存在することを示し、これを $u$ の関数として第 1 式に代入します。
   • これにより、連立系を $u$ だけのスカラー関数（エネルギー汎関数）$E(u)$ の臨界点問題に帰着させます。

2. 切断法 (Truncation Method):

   • 臨界非線形項 $|u|^4 u$ の存在により、エネルギー汎関数が通常のコンパクト性（PS 条件）を満たさないという問題が発生します。
   • 非線形項の指数 $q$ を $(2, 8/3)$ に制限し、エネルギー汎関数の幾何学的構造（極小値が存在しない）を回避するため、勾配ノルム $\|\nabla u\|_2$ に対して滑らかなカットオフ関数 $T(\|\nabla u\|_2)$ を導入した切断された汎関数 $E_T(u)$ を構成します。
   • これにより、有限エネルギー範囲内でコンパクト性を回復させます。

3. 集中 - コンパクト性原理 (Concentration-Compactness Principle):

   • 有界領域であっても、臨界指数を含む項により、PS 列（Palais-Smale 列）の強収束性が失われる可能性があります。
   • Lions の集中 - コンパクト性原理（Lemma 2.4, 2.5）を用いて、エネルギーの集中現象を解析し、PS 列が実際に強収束すること（すなわち、解が存在すること）を証明します。

4. 種数理論 (Genus Theory):

   • 正規化された多様体 $S_{r,b} = \{u \in H^1_0(\Omega_r) : \|u\|_2 = b\}$ 上で、偶関数であるエネルギー汎関数を考察します。
   • クラソンスキイの種数（Krasnoselskii genus）を用いて、臨界点の多重性を証明します。

3. 主要な結果 (Key Results)

論文の主要な定理は以下の通りです。

• 定理 1.1（多重解の存在）:

  • 任意の自然数 $k \in \mathbb{N}$ に対して、ある定数 $b^* > 0$ が存在し、質量 $b \in (0, b^*)$ のとき、系（1.1）は少なくとも $k$ 個の異なる正規化解 $(u_j, \phi_j, \lambda_j)$ を持つことを示しました。
  • これらの解は、$H^1_0(\Omega_r) \times (H^1_0(\Omega_r) \cap W^{1,4}_0(\Omega_r)) \times \mathbb{R}$ に属します。
  • この結果は、非線形項が臨界成長を持つ場合でも、適切なパラメータ範囲で多重解が存在することを保証するものです。

• 定理 1.2（漸近挙動）:

  • $\varepsilon \to 0$ の極限において、得られた解の族 $(u_{j,\varepsilon}, \phi_{j,\varepsilon}, \lambda_{j,\varepsilon})$ が、古典的なシュレーディンガー - ポアソン系（$\varepsilon=0$ の場合、すなわち線形ポアソン方程式 $-\Delta \phi = u^2$ を持つ系）の解 $(u_{j,0}, \phi_{j,0}, \lambda_{j,0})$ に強収束することを証明しました。
  • 具体的には、$u_{j,\varepsilon} \to u_{j,0}$ in $H^1_0(\Omega_r)$ および $\phi_{j,\varepsilon} \to \phi_{j,0}$ in $H^1_0(\Omega_r)$ が成り立ちます。

4. 技術的貢献と意義 (Contributions and Significance)

この研究の主な貢献と意義は以下の点にあります。

1. 臨界非線形項と有界領域における正規化解の存在:

   • 既存の研究の多くは全空間 $\mathbb{R}^3$ における問題や、臨界項を含まない場合を扱っていました。本論文は、有界領域かつ臨界非線形項を含む系において、正規化解の多重性を確立した点で画期的です。
   • 特に、エネルギー汎関数が極小値を持たない（幾何学的構造が単純でない）状況下で、$q \in (2, 8/3)$ という条件を課すことで、変分法の適用を可能にしました。

2. 非局所項と準線形項の同時処理:

   • ポアソン方程式が準線形（4-ラプラシアンを含む）であり、かつ非局所項（$\phi u$）を含む複雑な系に対して、切断法と集中 - コンパクト性原理を組み合わせることで、コンパクト性の欠如という根本的な問題を解決しました。

3. 漸近解析の厳密化:

   • 非線形ポアソン方程式（$\varepsilon > 0$）の解が、線形ポアソン方程式（$\varepsilon = 0$）の解に収束することを厳密に証明しました。これは、物理モデルにおいて非線形効果が無視できる場合の極限挙動を理解する上で重要です。

4. 既存結果の拡張:

   • Figueiredo, Siciliano, Peng などの先行研究（主に全空間や指数成長の場合）の手法を、有界領域における臨界問題と正規化条件の制約下で拡張・一般化しました。

結論

この論文は、半導体物理や量子力学に関連する準線形シュレーディンガー - ポアソン系において、質量が固定された条件下で、臨界非線形項を含む系が多数の解を持つことを変分法とトポロジー的手法（種数理論）によって証明しました。また、パラメータ $\varepsilon$ の極限における解の安定性と収束性も示されており、この分野の理論的基盤を強化する重要な成果と言えます。