Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains

この論文「Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains」（有界領域上の NLS に対する prescribed mass を持つ正解の正確な数と符号変化解の存在）は、Song と Zou によって書かれたもので、有界領域 $\Omega \subset \mathbb{R}^N$ における非線形シュレーディンガー方程式（NLS）の解の存在と多重性、特に質量（$L^2$ ノルム）が固定された場合の正解の個数と符号変化解（sign-changing solutions）の存在に関する研究です。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて記述します。

1. 問題設定

研究対象は、以下の楕円型方程式と質量制約条件を満たす $(u, \lambda)$ の組を見つけることです。
$$\begin{cases} -\Delta u + \lambda u = |u|^{p-2}u & \text{in } \Omega, \\ u \in H^1_0(\Omega), \\ \int_\Omega |u|^2 dx = \mu, \end{cases}$$
ここで、$\Omega$ は有界 $C^1$ 領域、$\mu > 0$ は prescribed mass（与えられた質量）、$\lambda \in \mathbb{R}$ は未定のラグランジュ乗数です。非線形項の指数 $p$ はソボレフ臨界指数 $2^*$ 未満（$2 < p < 2^*$）とします。

この問題は、$\mathbb{R}^N$ 全体での問題とは異なり、スケーリング不変性が失われるため、領域の形状や質量 $\mu$ の大きさによって解の挙動が劇的に変化します。特に、$L^2$ 臨界指数 $p_c = 2 + 4/N$ に対して、$p < p_c$（$L^2$ 部分臨界）、$p = p_c$（$L^2$ 臨界）、$p > p_c$（$L^2$ 超臨界）の 3 つのケースで解の構造を詳細に解析することが目的です。

2. 主要な手法とアプローチ

この論文では、変分法を基盤としつつ、以下のような高度な解析手法を組み合わせる独自の枠組みを構築しています。

• 種数理論（Genus Theory）の適用:
  符号変化解の存在を示すために、対称性を利用した種数理論を用いて、エネルギー汎関数の臨界点を構成します。これにより、無限個の解や複数の解の存在を証明します。
• 降下流法（Descending Flow Techniques）と流不変性（Flow Invariance）:
  正解と符号変化解を区別するために、正の锥 $P$ と負の锥 $-P$ を定義し、これらから離れた領域 $S^*(\delta)$ における流の不変性を示します。特に、通常の勾配ベクトル場ではなく、ラグランジュ乗数の符号制御が可能な擬勾配作用素（pseudo-gradient operator）を構成し、流が正解の領域に逃げないことを保証します。
• モース指数（Morse Index）の制御:
  解のモース指数（不安定性の次元）が有界であることを利用して、解の集中現象（blow-up）を解析し、ラグランジュ乗数 $\lambda$ とエネルギー $E$ の漸近挙動を特定します。
• 近似問題と単調性トリック（Monotonicity Trick）:
  超臨界ケースにおいて Palais-Smale 列の有界性を確保するために、非線形項にパラメータ $\tau \in [1/2, 1]$ を導入した近似問題を考え、Jeanjean の単調性トリックを拡張して適用します。これにより、$\tau \to 1$ の極限で符号変化解が得られることを示します。
• 正解の正確な数の同定:
  単位球 $B_1$ において、質量 $\mu$ が十分小さい場合の正解の数を厳密に決定するために、ラグランジュ乗数 $\lambda$ に対する質量 $M(\lambda)$ の単調性を詳細に解析します。

3. 主要な結果

(A) 符号変化解の存在と多重性（定理 1.1）

任意の有界 $C^1$ 領域 $\Omega$ に対して、以下の結果が得られました。

• $L^2$ 部分臨界 ($2 < p < p_c$): 任意の $\mu > 0$ に対して、エネルギーが無限大に発散する無限個の符号変化解が存在します。また、$\mu \to 0+$ のとき、解のエネルギーは 0 に収束し、$\lambda$ は $-\Delta$ のディリクレ固有値（特に第 2 固有値 $-\lambda_2(\Omega)$）に収束します。$\mu \to +\infty$ ではエネルギーは $-\infty$ に発散します。
• $L^2$ 臨界 ($p = p_c$): 十分小さい $\mu > 0$ に対して、同様に無限個の符号変化解が存在し、$\mu \to 0+$ で上記と同様の漸近挙動を示します。
• $L^2$ 超臨界 ($p_c < p < 2^*$): 任意の正整数 $j$ に対して、十分小さい $\mu > 0$ において、少なくとも $j$ 個の異なる符号変化解が存在します。これらも $\mu \to 0+$ でエネルギーが 0 に、$\lambda$ が $-\lambda_{k}(\Omega)$ に収束します。

(B) 正解の正確な数（定理 1.2）

領域が単位球 $B_1$ であり、$p_c < p < 2^*$ の場合、十分小さい $\mu > 0$ に対して、方程式（非線形項にパラメータ $\tau$ を含む一般化された形）は正確に 2 つの正解を持つことが証明されました。

• 一方の解（$u_{\mu, \tau}$）は、$\mu \to 0+$ でエネルギーが 0、$\lambda$ が $-\lambda_1(B_1)$ に収束します。
• もう一方の解（$\tilde{u}_{\mu, \tau}$）は、$\mu \to 0+$ でエネルギーと $\lambda$ がともに $+\infty$ に発散します。
• この「正確に 2 つ」という結果は、$\tau \in [1/2, 1]$ の値に依存せず成立します。

(C) 大エネルギーの符号変化解の存在（定理 1.4）

単位球 $B_1$ において、$p_c < p < 2^*$ の場合、十分小さい $\mu > 0$ に対して、エネルギーとラグランジュ乗数 $\lambda$ がともに $+\infty$ に発散する符号変化解が存在することが証明されました。

• この結果は、正解の正確な数（定理 1.2）と、降下流法、およびモース指数の制御を組み合わせて得られました。特に、山越え（mountain pass）レベルの正解とは異なる、別の符号変化解（鞍点型の解）の存在を確立した点が重要です。

4. 技術的貢献と新規性

• 有界領域における prescribed mass 問題での無限個の符号変化解:
  従来の研究では、有界領域で prescribed mass を持つ符号変化解の無限個の存在は未解決でした。この論文は、$L^2$ 部分臨界・臨界ケースにおいて、そのような解の無限列の存在を初めて証明しました。
• 正解の正確な数の決定:
  超臨界ケースにおける正解の数が「2 つ」であることを厳密に示し、その挙動がパラメータ $\tau$ に依存しないことを明らかにしました。これは、より複雑な符号変化解の構成における重要なステップとなります。
• 大エネルギー・大パラメータを持つ符号変化解の構成:
  従来の手法では得られなかった、$\mu \to 0$ でエネルギーと $\lambda$ がともに発散する符号変化解の存在を証明しました。これは、解の分岐構造の理解を深める上で画期的な成果です。
• 抽象的なツールの開発:
  制約付き汎関数に対する Palais-Smale 列の局在化とモース指数の情報を得るための抽象的なツール（定理 6.3 など）や、擬勾配作用素を用いた流不変性の枠組みを構築し、これらが他の問題にも応用可能であることを示唆しました。

5. 意義

この研究は、非線形偏微分方程式の分野、特に制約付き変分問題において重要な進展をもたらしました。

1. 理論的深さ: 有界領域というスケーリング不変性が失われる環境下で、質量制約が解の構造（特に符号変化解の多重性）に与える影響を、臨界・超臨界のすべてのケースで統一的に理解する枠組みを提供しました。
2. 手法の革新: 降下流法と種数理論、そしてモース指数の制御を巧みに組み合わせることで、従来の「存在証明」を超えて「解の正確な数」や「解の具体的な漸近挙動」を記述することを可能にしました。
3. 将来への展望: 得られた結果は、より一般的な非線形項や、より複雑な幾何学的構造を持つ領域への拡張の基礎となる可能性があります。特に、大エネルギー解の存在は、物理的な現象（例えば、凝縮や爆発現象）のモデル化において重要な意味を持ちます。

総じて、この論文は、NLS 方程式の有界領域における prescribed mass 問題に関する解の構造に関する知見を飛躍的に向上させ、変分法と非線形解析の両面で高い技術的水準を示した重要な業績です。