Existence and nonexistence of normalized solutions for nonlinear Schrödinger equation involving combined nonlinearities in bounded domain

1. 問題設定

本研究で対象とする方程式は、有界滑らかな領域 $\Omega \subset \mathbb{R}^N$ における以下の非線形シュレーディンガー方程式です：

$$\begin{cases} -\Delta u + \omega u = \mu |u|^{p-2}u + |u|^{q-2}u, & u > 0 \quad \text{in } \Omega, \\ u = 0, & \text{on } \partial\Omega, \\ \|u\|_{L^2(\Omega)}^2 = \rho, \end{cases} \tag{1.1}$$

ここで、

• $N \ge 1$ は空間次元、$\rho > 0$ は与えられた質量（$L^2$ ノルム）です。
• $\mu \in \mathbb{R}$ は結合係数、$1 < p \le q$ は非線形項の指数です。
• $\omega \in \mathbb{R}$ はラグランジュ乗数として現れる周波数パラメータであり、固定されていません。
• 非線形項は、$|u|^{p-2}u$ と $|u|^{q-2}u$ の和（結合非線形性）で構成されています。

この問題は、定常波 $\psi(x,t) = e^{-i\omega t}u(x)$ を求める問題に帰着されます。特に、質量 $\rho$ が固定された場合の解の存在性を議論する「prescribed mass problem」として扱われます。

2. 手法とアプローチ

著者は、エネルギー汎関数の臨界点を探す変分法を主要な手法として採用しています。対応するエネルギー汎関数は以下の通りです：

$$I(u) = \frac{1}{2}\int_\Omega |\nabla u|^2 dx - \frac{\mu}{p}\int_\Omega |u|^p dx - \frac{1}{q}\int_\Omega |u|^q dx$$

これを制約集合 $S_\rho = \{u \in H_0^1(\Omega) : \|u\|_2^2 = \rho\}$ 上で考察します。

主な技術的アプローチ:

1. 局所最小化（Local Minimizer）:

   • 制約集合内の特定の部分集合 $A_\alpha$ 上でエネルギーの下限を評価し、最小化列のコンパクト性を示すことで、局所最小解の存在を証明します。
   • ソボレフ臨界指数 $2^* = \frac{2N}{N-2}$ の場合、コンパクト性の破れを避けるために、質量 $\rho$ が十分小さいという条件と、ソボレフ定数 $S$ を用いた評価を行います。

2. 山越え構造（Mountain Pass Geometry）と単調性トリック（Monotonicity Trick）:

   • 第二の解（山越え型解）の存在を示すため、Struwe の単調性トリックを適用します。
   • パラメータ $\eta \in (0, 1]$ を導入し、汎関数 $I_\eta(u)$ を定義します。$\eta$ を 1 に近づける過程で、Pohozaev 恒等式と星型領域（star-shaped domain）の性質を利用して、(PS) 列（Palais-Smale 列）の有界性を確保します。
   • 従来のスケーリング手法が有界領域では機能しないため、このトリックが有界列の構成に不可欠です。

3. 移動平面法（Moving-Plane Method）:

   • 凸領域（convex domain）における非存在結果を証明するために用います。
   • 境界付近での解の単調性を示し、質量 $\rho$ が十分大きい場合、解の重心が領域の中心に集中し、周波数 $\omega$ が無限大に発散する矛盾を導くことで、解の非存在を証明します。

4. 連続性論法（Continuation Argument）:

   • 球領域における Brézis-Nirenberg 問題（$\mu=0, q=2^*$）に対して、パラメータ $\lambda$（ここでは $\omega$ に相当）に対する解の $L^2$ ノルムの連続性と極限挙動を解析し、解の存在・非存在の二択（dichotomy）を示します。

3. 主要な結果

論文は以下の 3 つの主要な定理で構成されています。

定理 1.1: 局所最小解の存在

• 条件: $\mu \in \mathbb{R}$, $2 < p \le q \le 2^*$。
• 結果: 質量 $\rho$ が十分小さい場合、方程式 (1.1) はエネルギーの局所最小解（局所最小化子）を持つ。
• 意義: 従来の研究では星型領域が要求される場合がありましたが、この結果は一般の有界領域で成り立ちます。また、質量臨界・超臨界だけでなく、質量劣臨界の場合や符号変化する非線形性（$\mu < 0$）も含めて拡張されています。

定理 1.3: 第二の解（山越え型解）の存在

• 条件: $\mu \ge 0$, $\Omega$ は星型領域。
  • $N \ge 1, 2 < p < 2+4/N < q < 2^*$ または $N \ge 4, 2 < p < q = 2^*$ の場合。
  • $N=3$ の場合、$p$ の特定の範囲（$p \in (2, 10/3] \cup (14/3, 6)$）および領域の半径に関する条件を満たす場合。
• 結果: 質量 $\rho$ が十分小さい場合、少なくとも 2 つの正の解が存在します（一つは局所最小解、もう一つは山越え型解）。
• 意義: 既存の研究（例：Song-Zou [28]）が $N \in \{3,4,5\}$ に制限されていたのに対し、本研究は $N \ge 3$ すべてに対して結果を拡張しました。

定理 1.5: 大質量における解の非存在

• 条件: $\mu > 0$, $1 < p \le 2$, $q \ge \max\{2^*, 3\}$, $\Omega$ は有界凸領域。
• 結果: 質量 $\rho$ が十分大きい場合、正の正規化解は存在しません。
• 意義: 凸領域における大質量での非存在結果は、特にソボレフ臨界・超臨界の場合において新規な知見です。特に $3 \le N \le 6$ の範囲で Brézis-Nirenberg 型の問題に対する非存在性を示しています。

定理 1.7: 球領域における Brézis-Nirenberg 問題の二択（Dichotomy）

• 条件: $\mu = 0$, $q = 2^*$, $\Omega$ は球。
• 結果: ある臨界質量 $\rho^* > 0$ が存在し、
  • $0 < \rho < \rho^*$ のとき、少なくとも 2 つの解が存在する。
  • $\rho = \rho^*$ のとき、少なくとも 1 つの解が存在する。
  • $\rho > \rho^*$ のとき、解は存在しない。
• 意義: 球対称性を利用し、常微分方程式の解の連続性と極限挙動を解析することで、質量パラメータに対する解の完全な分類（二択）を達成しました。

4. 意義と貢献

1. 有界領域における手法の確立:
   全空間 $\mathbb{R}^N$ では有効なスケーリング手法が有界領域では適用できないという難問に対し、Struwe の単調性トリックと Pohozaev 恒等式を巧みに組み合わせることで、有界領域での (PS) 列の有界性を証明しました。

2. 結合非線形性の包括的な解析:
   単一の非線形項だけでなく、異なる指数を持つ 2 つの項が結合された場合の解の構造（局所最小解と山越え解の共存、大質量での非存在）を、パラメータの範囲（$p, q, \mu$）に応じて詳細に分類しました。

3. 次元と領域形状への依存性の解明:

   • 星型領域における第二の解の存在条件を、より広い次元 $N$ に対して拡張しました。
   • 凸領域における非存在結果を導出することで、領域の幾何学的形状が解の存在性に決定的な影響を与えることを示しました。

4. Brézis-Nirenberg 問題への応用:
   球領域における古典的な Brézis-Nirenberg 問題に対して、質量制約を課した場合の完全な解の振る舞い（存在・非存在の閾値）を明らかにしました。

総じて、この論文は非線形シュレーディンガー方程式の正規化解に関する理論を、有界領域というより物理的に現実的な設定において大幅に発展させた重要な貢献と言えます。