Approximation of magnetic Schrödinger operators with $δ$-interactions supported on networks

技術的要約：ネットワーク上に支持される$\delta$相互作用を持つ磁性シュレディンガー作用素の近似

問題設定
本論文は、測度ゼロの集合上に支持される特異な$\delta$ポテンシャルを含む、理想化された量子力学モデルの数学的正当化を扱う。具体的には、以下の形式で与えられる磁性シュレディンガー作用素を考察する：
$$H_{A,Q,\alpha} = (i\nabla + A)^2 + Q + \alpha\delta_\Sigma$$
ここで、$\Sigma$はネットワーク（有限個の超曲面の和集合）であり、$A$は磁性ベクトルポテンシャル、$Q$は電気ポテンシャル、$\alpha$は相互作用の強さである。このような作用素は、リーキー・クォンタムグラフやフォトニック結晶などの物理学において広く用いられているが、これらは正則なポテンシャルを持つ作用素の理想化された置き換えである。中心となる問題は、$H_{A,Q,\alpha}$を、正則でスケーリングされたポテンシャルを持つ一連のシュレディンガー作用素 $H_{A,Q,V_\varepsilon}$ によって、**ノルム分解型収束（norm resolvent sense）**において厳密に近似することである。この種の収束は、強分解型収束（strong resolvent convergence）とは異なり、作用素のスペクトルおよび関数の収束を意味するため、極めて重要である。

手法
著者は、直接的な作用素の評価ではなく、二次形式に基づく変分法的なアプローチを採用している。その手法は以下の通りである：

1. 関数設定： 解析は、$n \ge 2$ におけるヒルベルト空間 $L^2(\mathbb{R}^n)$ で行われる。二次形式のドメインは、磁性勾配および非負の部分の電気ポテンシャルの平方根が平方可積分である関数からなる空間 $H_{A,Q}$ として定義される。
2. 支持集合の幾何学： 支持集合 $\Sigma$ は、$C^2$-超曲面（許容される超曲面）の有限和として定義されており、これによりネットワーク、$\mathbb{R}^2$ 内のグラフ、および区分的な $C^2$ ドメインの境界を扱うことが可能となる。幾何学的構造は、写像 $\iota(x_\Sigma, t) = x_\Sigma + t\nu(x_\Sigma)$ によって定義される管状近傍を通じて処理される。
3. 近似ポテンシャルの構成： 正則なポテンシャルの列 $V_\varepsilon$ は、$\Sigma$ の周囲の幅 $\varepsilon$ の管状近傍内において、固定されたプロファイル関数 $V$ をスケーリングすることによって構成される。$\delta$相互作用の強さ $\alpha$ は、$V$ の法方向における積分として回収される。
4. トレース評価： 主要な技術的要素は、$H_{A,Q}$ 内の関数に関する $\Sigma$ 上のトレース定理の確立である。著者は、これらの空間の関数が特定の $q$ に対して $L^q(\Sigma)$ 内にディリクレ・トレースを持つことを証明し、超曲面上のトレースと、管状近傍内のシフトされた超曲面上でのトレースとの間の連続性の評価を確立する。
5. 形式の収束： 主定理の証明は、正則化された作用素の二次形式 $h_{A,Q,V_\varepsilon}$ と、特異な形式 $h_{A,Q,\alpha}$ の差を評価することに基づいている。差が適切な位相において $C\varepsilon^{\gamma_1/2}$ で抑えられることを示すことにより、著者は抽象的な結果（特に m-セクター型作用素に関する加藤の理論）を適用して、ノルム分解型収束を確立する。

主要な貢献および結果

• 主定理 (Theorem 1.1)： 本論文は、係数 $A, Q, \alpha$ に関する緩やかな仮定の下で、$\varepsilon \to 0$ のとき、作用素の列 $H_{A,Q,V_\varepsilon}$ がノルム分解型の意味で $H_{A,Q,\alpha}$ に収束することを証明している。分解型の差の評価は、$\lambda$ が十分に負であるとき、次のように与えられる：
  $$\|(H_{A,Q,\alpha} - \lambda)^{-1} - (H_{A,Q,V_\varepsilon} - \lambda)^{-1}\| \le C\varepsilon^{\gamma_1/2}$$

• 係数の一般化：

  • 複素ポテンシャル： 自己随伴（実数値）の場合に限定されていた従来の著作とは異なり、本論文では、関連する二次形式が閉かつセクター型である限り、$Q$ および $\alpha$ が複素数値であることを許容している。これは非エルミート量子力学への接続となる。
  • 最適な正則性： ポテンシャル $A$ および $Q$ は、非摂動作用素を m-セクター型作用素として定義するのに十分な最適クラス（例：$A \in L^2_{loc}$、特定の $L^p$ 和に含まれる $Q$）に属することができる。

• 幾何学の一般化：

  • ネットワーク： 支持集合 $\Sigma$ は単一の滑らかな超曲面に限定されない。それは、グラフ（カスプを含む可能性あり）や区分的に滑らかな境界を含む、有限個の超曲面の和集合となり得る。
  • 非有界な支持集合： 結果は、有界および非有界な超曲面の両方に適用されるが、それらは特定の幾何学的分離条件（許容性）を満たす必要がある。

• 逆問題 (Corollary 1.2)： 与えられたネットワーク $\Sigma$ と相互作用の強さ $\alpha \in L^p(\Sigma) + L^\infty(\Sigma)$ に対して、対応する正則ポテンシャル $V_\varepsilon$（具体的には管状近傍内の区分的に定数である関数）を構成でき、それに対応する作用素が特異な作用素に収束することを本論文は確立している。

• スペクトルの含意 (Section 4)： ノルム分解型収束はスペクトルの収束を意味するため、本論文は特異モデルから既知のスペクトル結果を正則モデルへと転送する。具体的な例には以下が含まれる：

  • ウェッジ（楔形領域）上の磁性シュレディンガー作用素における離散固有値の存在。
  • スターグラフの幾何学的最適化結果（対称的なグラフが基底状態エネルギーを最小化することを示す）。
  • ネットワーク内のコーナー（カスプ）による幾何学的に誘起された固有値の生成。

意義および主張
著者は、本研究が以下の3つの点において既存の文献を改善していると主張している：

1. ネットワーク支持： 単一の超曲面から、グラフや区分的に滑らかな境界といった複雑な幾何学を含む有限のネットワークへと、近似結果を拡張した。
2. 相互作用の強さ： ほぼ最適な $p$ を持つ $L^p$ 空間における相互作用の強さ $\alpha$ を扱い、これまで扱われていなかった非実数（複素数）の値も許容している。
3. 背景ポテンシャル： スケーリングパラメータ $\varepsilon$ に依存しない、一般的な非滑らかな磁性 ($A$) および電気 ($Q$) ポテンシャルを組み込んでいる（従来の著作では、均質な場や有界なポテンシャルを想定することが多かった）。

本論文は、自己随伴の場合が主要な応用であるが、その枠組みは非自己随伴の設定も扱えるほど堅牢であり、標準的な量子系および非エルミート量子系の両方において、理想化された $\delta$ 相互作用モデルの使用に対する厳密な基礎を提供している。結果は、正則なポテンシャルを用いて特異なモデルを近似することの正当化として提示されており、極限においてスペクトル特性が保存されることが保証されている。