Generic simplicity for self-adjoint operators under bounded potential perturbations

技術的要約：有界ポテンシャル摂動下における自己共役作用素の一般的単純性

問題設定
本論文は、「一般的な零次摂動によって、自己共役作用素のスペクトルは単純（すなわち、すべての固有値が重複度1）になるか」という古典的な問いに取り組んでいる。この性質は、コンパクト多様体上の楕円作用素に対して（主にAlbertやUhlenbeckの研究を通じて）確立されているが、著者らは、これらの古典的なモデルに固有の楕円型正則性や一意継続性に依存することなく、固有の摂動メカニズムを孤立させることを目的としている。中心となる問題は、実数値の有界な摂動の空間 $Q$ が与えられたとき、半有界な自己共役作用素 $L$ に対して、すべての固有値が単純となるポテンシャル $q \in Q$ の集合が、$Q$ において残留集合（稠密な $G_\delta$ 集合）であるかどうかを判定することである。

手法および抽象的枠組み
著者らは、スペクトルの単純性の議論を、作用素固有の正則性の問題から分離した、抽象的なスペクトル摂動の枠組みを構築している。

1. 抽象的設定： 基底となる作用素 $L$ は、ヒルベルト空間 $H = L^2(X)$ 上の、下方に半有界でコンパクトなレゾルベントを持つ自己共役作用素である。摂動 $M_q$ は、可測な実フレシェ空間 $Q$（$L^\infty(X, \mathbb{R})$ に連続的に埋め込まれたもの）から選ばれた関数による乗法作用素である。
2. 分裂基準（仮説 H）： $L_q$ の多重固有値 $\lambda$ とその固有空間 $E_{q,\lambda}$ に対し、有限次元の分裂条件を導入する。著者らは、摂動 $\sigma \in Q$ が存在して、射影作用素 $G_\sigma := (P_{E_{q,\lambda}} M_\sigma)|_{E_{q,\lambda}}$ がスカラー倍の単位行列ではないことを要求する。
3. 摂動論： 証明にはKatoの解析的摂動論を用いる。族 $T(t) = L_q + tM_\sigma$ を考えることで、多重固有値 $\lambda$ の近傍における固有値が $G_\sigma$ の固有値に従って分裂することを示す。$G_\sigma$ がスカラーでない場合、固有値の重複度は減少させることができる。
4. ベールカテゴリー論的議論： 単純な固有値を与えるポテンシャルの集合は、開かつ稠密な集合（$A_n$）の可算な共通部分として表現される。
   • 開性： ポテンシャルの $L^\infty$ ノルムに関する固有値のリプシッツ連続性（補題 2.7）に従う。
   • 稠密性： 多重固有値を持つ任意の作用素に対し、その固有値の重複度を厳密に減少させる任意の小さな摂動を見つけられることを示すことで証明される（補題 2.10 および 2.11）。これは、分裂基準を満たす $\sigma$ の存在に依拠している。
5. サポートの十分性： 主要な技術的結果（命題 2.3 および系 2.4）は、摂動空間 $Q$ が $C^\infty_c(X^\circ, \mathbb{R})$ を含む場合、分裂基準は自動的に満たされることを示している。極めて重要な点として、この証明は一意継続の議論を必要とせず、$L^1$ における固有関数の積の線形独立性にのみ依存している。

主要な貢献と結果

• 定理 2.13（主定理）： $L$ が自己共役であり、半有界で、コンパクトなレゾルベントを持ち、かつペア $(L, Q)$ が仮説 (H) を満たすならば、すべての固有値が単純となるポテンシャル $q \in Q$ の集合は $Q$ において残留集合である。
• 滑らかさ／一意継続への依存性の除去： 固有関数の滑らかさや一一継続の原理に依存する従来のアプローチ（例：Uhlenbeck [48]）とは異なり、本抽象定理は、固有関数が滑らかでない場合や一意継続が保証されない場合でも、摂動空間が十分に豊か（コンパクトな台を持つ滑らかな関数を含む）であれば適用可能である。
• 劣リーマンおよび退化作用素への応用：
  • 劣ラプラシアン： 本定理は、コンパクト多様体上のHörmanderベクトル場に関連する劣ラプラシアンにも適用される。これにより、これらの作用素に対するCourantの節ドメイン定理の残留的な形式が得られる（命題 3.1）。
  • 最大双曲型作用素： 本枠組みは、Helffer–Nourrigat条件を満たす最大双曲型なベクトル場の多項式をカバーしており、非楕円的な設定への一般的単純性の結果を拡張している（命題 3.4）。
  • 連続係数を持つ平方和： 結果は、連続かつ一様に楕円的な係数を持つ $\sum X_i^* a_{ij} X_j$ 型の作用素にも適用される（Courantの定理が一般的なポテンシャルに対して成立する）（命題 3.5）。
• 非滑らかな領域および非コンパクト領域への応用：
  • 有界領域： 本理論は、境界が非滑らかな場合であっても、Lipschitz領域上のディリクレまたはノイマン・ラプラス作用素、任意の有限測度集合上のロビン・ラプラス作用素、および磁気シュレーディンガー作用素に適用される（例 3.7–3.12）。
  • 非コンパクト空間： 著者らは、調和振動子や非調和振動子、および（非摂動作用素がコンパクトなレゾルベントを持つ場合の）$\mathbb{R}^n$ 上の磁気シュレーディンガー作用素へと結果を拡張している（例 3.13–3.14）。
• クーロン・ハミルトニアン（例 4.4）： 本論文は、コンパクトなレゾルベントの仮定がメカニズム自体に厳密に必要ではないことを指摘している。クーロン・ハミルトニアンのような本質スペクトルを持つ作用素において、摂動が無限遠で減衰する場合、離散スペクトル（本質スペクトルの閾値以下）に対しては、一般的な単純性が成立することを示している。

意義と主張

本論文は、一般的単純性の背後にある「摂動メカニズム」を、作用素の特定の幾何学的または解析的な性質（楕円性や係数の滑らかさなど）から切り離して抽出したと主張している。

• 汎用性： 著者らは、古典的な楕円型テクニック（Uhlenbeckらによるもの）が、固有関数の滑らかさや標準的な一意継続の性質の欠如により直接適用できない劣ラプラシアンや最大双曲型作用素に対しても、自身のアプローチが有効であることを強調している。
• 堅牢性： 結果は $L^\infty$ における有界な摂動に対して成立するため、滑らかな境界までの滑らかな摂動が利用できないような非滑らかな境界を持つ領域への適用を可能にしている。
• 節（Nodal）に関する帰結： 一般的な単純性を確立することで、本論文は、Courantの節ドメイン定理を、劣リーマン・ラプラス作用素のように、一般的なポテンシャルの下で節ドメインの数がシャープになる広範なクラスの作用素へと適用することを可能にしている。

著者らは、抽象定理の証明において固有関数の滑らかさを使用していないこと、および有限次元の分裂議論が複素ヒルベルト空間 $L^2(X, \mathbb{C})$ で直接行われており、実数値の固有関数基底を必要としないことを明示している。また、彼らの研究はAlbertの結果を拡張するものであるが、Uhlenbeckが検討したような計量（metric）の摂動はカバーしておらず、それらは劣リーマンの場合の今後の課題として残されていることも明確にしている。