Multiple sign-changing and semi-nodal normalized solutions for a Gross-Pitaevskii type system on bounded domains: the $L^2$-supercritical case

技術要約：有界領域上のグロス・ピタエフスキー型系における多重な符号変化およびセミノダル正規化解

問題設定
本論文は、有界な正則領域 $\Omega \subset \mathbb{R}^N$（具体的には次元 $N=3, 4$）における、非線形結合型グロス・ピタエフスキー型の正規化解の存在と多重性を調査するものである。系は次のように与えられる：
$$\begin{cases} -\Delta u_j + \lambda_j u_j = \mu_j u_j^3 + \sum_{k=1, k \neq j}^m \beta_{kj} u_k^2 u_j, & u_j \in H_0^1(\Omega), \\ \int_\Omega u_j^2 dx = c_j, & j = 1, \dots, m, \end{cases}$$
ここで、$c_j > 0$ は規定された定数であり（質量の $L^2$ ノルムを表す）、$\lambda_j$ は未知のラグランジュ乗数（化学ポテンシャル）である。係数 $\mu_j$ および $\beta_{kj}$ は、種内および種間散乱長を表し、任意の非ゼロの値（フォーカシング／デフォーカシング、引力的／斥力的、または混合型）を取ることが可能である。

本研究は、$L^2$-超臨界領域（$4 > 2 + 4/N$）に焦点を当てている。この領域では、関連するエネルギー汎関数は下から有界ではない。主な目的は、符号変化解（すべての成分が符号を変える）およびセミノダル解（一部の成分は符号を変え、他の成分は正である）の存在を確立することであり、これらは有界領域上の多成分結合系において、これまで結果が欠落していたクラスの解である。

手法
著者らは、積多様体 $S_{\vec{c}} = \{ \vec{u} \in H_0^1(\Omega, \mathbb{R}^m) : \int_\Omega u_j^2 = c_j \}$ 上の変分法を用いる。その中核となる技術的枠組みは以下の通りである：

1. ベクトル連結（Vector Linking）および部分ベクトル連結（Partial Vector Linking）： 著者らは、積多様体上の「ベクトル連結」手法を導入している。

   • ベクトル連結： 符号変化解を与える極小値（minimax values）を構成するために用いられる。これは、コンパクト集合 $A$（固有関数から構成される）を、最初の $k$ 個の固有関数によって張られる部分空間の直交補空間 $S_k^\perp$ へと連結させるものである。
   • 部分ベクトル連結： セミノダル解のために導入された新しい革新的な手法である。この手法は、第 $d$ 成分への射影写像 $T_d$ を介して、集合 $A$ を $S_{k,d}^\perp$ へと連結させ、これにより符号変化する成分を分離しつつ、他の成分を正の状態に保つことを可能にする。

2. 積多様体上のフロー不変性： コンパクト性の欠如および制約集合の特定の幾何学的構造に対処するため、著者らは（バナッハ空間における）Brezis-Martin の結果を積多様体の設定へと一般化している。彼らは、特定の不変集合（例えば、成分が正である集合や符号変化する集合）を保存する下降フロー（勾配または擬勾配ベクトル場を用いたもの）を構築する。これにより、得られた極小値としての臨界点が、所望のノード特性を保持することを保証する。

3. $L^2$-超臨界性の処理： エネルギー汎関数が下から無界であるため、著者らは制約集合内の有界な部分集合 $B_\rho$ に探索範囲を限定している。彼らは、有界な Palais-Smale 列の存在を保証するための精密な評価を確立し、特にソボレフ臨界の場合（$N=4$ で $H_0^1(\Omega) \hookrightarrow L^4(\Omega)$ の埋め込みがコンパクトでない場合）において、制限されたエネルギー範囲内で Palais-Smale 条件を満たすことを検証している。

4. 分岐解析： 著者らは、正規化解およびラグランジュ乗数の漸近挙動を、質量ベクトル $\vec{c} \to \vec{0}$ の極限において分析している。この極限解析は、零解からの分岐点を特徴付けるために用いられる。

主要な結果

• 符号変化解の多重性（定理 1.2）： 任意の正の整数 $j$ に対して、質量の比が特定の小ささの条件を満たすような閾値 $\tilde{c}_j$ が存在し、系は少なくとも $j$ 個の異なる符号変化正規化解を持つ。
• セミノダル解の多重性（定理 1.3）： 任意の整数 $d$ ($1 \le d \le m-1$) および任意の正の整数 $j$ に対して、閾値 $\tilde{c}_{j,d}$ が存在し、系は、最初の $d$ 個の成分が符号変化し、残りの $m-d$ 個の成分が正であるような、少なくとも $j$ 個のセミノダル正規化解を持つ。
• 分岐点（定理 1.9 および 1.10）：
  • 非自明な分岐点（非自明な解が零から分岐する点）の集合は、各 $\lambda_i$ が $H_0^1(\Omega)$ 上の $-\Delta$ の固有値であるような $(\lambda_1, \dots, \lambda_m)$ の集合と一致する。
  • セミ自明な分岐点（一部の成分がゼロである解が零から分岐する点）は、少なくとも一つの $\lambda_i$ が固有値であることにより特徴付けられる。具体的には、$d$-セミ自明な分岐点は、ちょうど $d$ 個の成分が固有値であるようなベクトルに対応する。
• 汎用性： これらの結果は、係数 $\mu_j$ および $\beta_{kj}$ のすべての領域（純粋なフォーカシング、純粋なデフォーカシング、混合型、引力的、斥力的、または混合型）において成立する。

意義および主張
本論文は、有界領域上の多成分結合型グロス・ピタエフスキー系における、符号変化およびセミノダル正規化解の存在と多重性に関する初の結果を提供すると主張している。

• 手法的な革新： 著者らは、「ベクトル連結」法が、固定された質量と固定された周波数の両方を扱う結合系に対して適用されたことはこれまでなかったことを強調している。また、「部分ベクトル連結」の導入は、セミノダル解を構成するための新しいアプローチとして強調されている。
• 空白の解消： 本研究は、有界領域における正規化解の研究における重要な空白を埋めるものである。従来の文献は、主に正の解または単一の方程式に限定されていた。
• 分岐の特性付け： 著者らは、ラグランジュ乗数に関する零解からの分岐点を完全に特徴付けている。これは、単一の方程式の場合とは異なり、このような系においてはこれまで研究されてこなかった方向である。

著者らは、彼らの手法が、必ずしも偶関数ではないより一般的な非線形 $f$ および $g$ を持つ系にも一般化できるほど堅牢であることを述べており、彼らの結果が $L^2$-超臨界領域におけるこれらの結合系の理論的理解における空白を埋めるものであると明言している。