Normalized solutions for $L^2$-supercritical Schrödinger equations with nonlinear point defects on noncompact metric graphs

技術要約：非コンパクトな計量グラフ上の非線形点欠陥を持つ$L^2$-超臨界シュレディンガー方程式に対する正規化解

問題設定
本論文は、非コンパクトな計量グラフ $G = (V, E)$ 上の、非線形点欠陥を持つ非線形シュレディンガー方程式（規定された $L^2$ 質量 $\mu$ を持つ正規化解）の存在および多重性を調査している。支配方程式は以下で与えられる：
$$\begin{cases} u'' = \lambda u & \text{すべての } e \in E \text{ 上で}, \\ \int_G |u|^2 dx = \mu, & \\ \sum_{e \succ v} u'_e(v) = -|u(v)|^{p-2}u(v) & \text{すべての } v \in V_0 \text{ において}, \\ \sum_{e \succ v} u'_e(v) = 0 & \text{ } V \setminus V_0 \text{ におけるすべての } v \text{ において}, \end{cases}$$
ここで $p > 4$（$L^2$-超臨界領域）であり、$V_0 \subset V$ は空でない欠陥頂点の集合、$\lambda$ は未知のラグランジュ乗数である。グラフ $G$ は有限個のエッジを持ち、自己ループを持たないものと仮定される。$V_0$ における境界条件は非線形 $\delta$-相互作用（引力的な点欠陥）を表し、それ以外の場所ではキルヒホッフ条件が適用される。

主な数学的課題は、非線形性が $L^2$-超臨界的であること（$p > 4$）から生じる。この領域では、関連するエネルギー汎関数は質量制約の下で下方に有界ではなく、標準的な最小化手法は適用できない。また、質量保存のスケール不変性の欠如、および一般的な計量グラフにおける対応するポホザエフ恒等式の不在が、Palais–Smale 形式の有界性の証明を困難にしている。さらに、分布型の非線形性（コンパクトなコア上のもの）とは異なり、点欠陥の存在は、以前の研究で使用されたブローアップ解析の直接的な適用を妨げる。

手法
著者らは、変分法を、ミニマックス原理および計量グラフの幾何学的構造に特化した特定のコンパクト性議論と組み合わせて用いている。

1. ミニマックス幾何学と単調性トリック： 著者らは、Jeanjeanらによって確立された抽象的なミニマックスの枠組み（具体的には [16] の定理 2.4 および 2.5）を利用する。パラメータ化された汎関数 $E_\rho(u) = \frac{1}{2}\|u'\|_2^2 - \frac{\rho}{p}\sum_{v \in V_0}|u(v)|^p$ （$\rho \in [1/2, 1]$）を検討する。マウンテンパス幾何学（補題 4.1）を確立することにより、単調性トリックを用いて、ほとんどすべての $\rho$ に対して有界な Palais–Smale 列を得る。

2. コンパクト性と乗数の有界性： 決定的な技術的障壁は、パラメータ化された解に関連するラグランジュ乗数 $\{\lambda_\rho\}$ の有界性を証明することである。分布型の非線形性の構造に依存したブローアップ解析を用いた先行研究とは異し、著者らは常微分方程式（ODE）に基づく新しいアプローチを開発した。$\lambda_{\rho_n} \to +\infty$ となる場合、解の質量が消失することを示し、矛盾を導くことで、$\lambda_{\rho_n}$ の有界性を証明する（補題 2.6）。この ODE ベースの推定は、近似解の正値性を必要とせず、これは従来の手法からの重要な脱却である。

3. トレース評価による多重性： 多重性を確立するために、欠陥頂点における有限次元のトレースベクトル $T(u) = (u(v_1), \dots, u(v_q))$ に基づくリンキング構造を構築する。各欠陥頂点 $v_i$ に $M_i$ 本の半直線を取り付けることで、グラフの修正 $G_M$ を導入する。頂点依存のトレース推定（補題 5.4）を導出し、特定のリンキング・クラス（補題 5.2）を構成することで、臨界レベルを分離する。半直線の数 $M$ は、異なるトポロジカルなリンキング数に対応するエネルギー間隔が互いに素であることを保証するように十分に大きく選択される。

主要な結果

• 存在（定理 1.1）： 有限個のエッジを持つ任意の非コンパクトな計量グラフ、任意の空でない欠陥頂点集合 $V_0$、および任意の与えられた質量 $\mu > 0$ に対して、少なくとも一つの正の正規化解 $(u, \lambda)$（ただし $\lambda > 0$）が存在する。この結果は、全 $L^2$-超臨界範囲 $p > 4$ において成立する。
• 多重性（定理 1.2）： 各 $q$ 個の欠陥頂点に $M$ 本の半直線を取り付けた修正グラフ $G_M$ において、閾値 $M_0$ および $\mu_0$ が存在し、$M \ge M_0$ かつ $0 < \mu < \mu_0$ であるとき、少なくとも $q$ 組の異なる正規化解のペア $\{(\pm u_N, \lambda_N)\}_{N=2}^{q+1}$ が存在する。これらの相違は、半直線の付加によって達成される臨界エネルギーレベルの分離によって保証される。
• コンパクトグラフ（定理 1.3）： 補足的な結果として、コンパクトな計量グラフについては、標準的な摂動法を用いることで、埋め込み $H^1(G) \hookrightarrow L^2(G)$ のコンパクト性を利用し、小さな質量に対して存在性と多重性が得られることを述べている。

意義と主張
本論文は、非コンパクトな計量グラフ上の非線形点欠陥を持つ $L^2$-超臨界シュレディンガー方程式に関する文献の空白を埋めるものである。先行研究（例：[14]）は劣臨界の場合（$2 < p < 4$）を扱っており、また [15, 19] のような研究はコンパクトなコア上の分布型非線形性を扱っていたが、本研究は点欠陥における超臨界領域へと分析を拡張している。

著者らは、主に2つの貢献を強調している：

1. コンパクト性の障害の克服： 解の正値性や分布型非線形の特定の構造に依存することなく、ラグランジュ乗数を制御するための堅牢な ODE ベースの推定を提供し、ミニマックス法を点相互作用に適応させた。
2. 有限次元の多重性： グラフの無限次元性にもかかわらず、解の多重性が有限個の欠陥頂数によって支配されていることを示した。グラフのトポロジーを操作（半直線の付加）することで、異なる臨界レベルを生成し、十分小さな質量に対して複数の解を生み出すことができる。

論文内では、ODE ベースのコンパクト性議論およびトレース構成のために、有限エッジの仮定が極めて重要であることが明記されている。無限個の頂点を持つ局所有限グラフへの拡張は、未解決の問題として特定されている。本研究は新しい物理的応用を提案するものではなく、集中した非線形性を持つ量子グラフの数学的理論を進展させるものである。