On the discrete spectrum of non-selfadjoint operators with applications to Schrödinger operators with complex potentials

非負自己共役作用素の相対的にコンパクトな摂動に対して、複素シュレーディンガー作用素の離散固有値数をバーマン・シュウィンガー作用素の実部の部分トレースを用いて評価する新たな上限を導き、自己共役でない場合におけるクラシックな固有値数推定を一般化し、複素ポテンシャルに対するCwikel-Lieb-Rozenblum不等式や新しいLieb-Thirring型不等式を確立しました。

要約

1. 物語の舞台：「歪んだ鏡の部屋」

まず、物理学の世界を想像してください。
通常、私たちが扱う物理現象（例えば、電子の動き）は、**「鏡」**のようなもので描かれます。鏡に映った像は左右対称で、予測可能で、実数（1, 2, 3...）で表せます。これを数学では「自己共役（Self-adjoint）」と呼びます。

しかし、この論文は**「歪んだ鏡」**の世界を扱っています。

• 複素ポテンシャル（Complex Potentials）： 現実の物理では、エネルギーや力は「実数」ですが、ここでは「虚数（i）」という不思議な成分が混ざり合っています。
• 非自己共役（Non-selfadjoint）： 鏡が歪んでいるため、映る像がねじれたり、消えたり、実在しない場所（複素平面）に現れたりします。

この「歪んだ鏡の部屋」では、エネルギーの状態（固有値）が実数軸（地面）から離れて、空中に浮遊したり、実在しない場所（複素平面）に散らばったりします。

2. 問題点：「住人の数え上げ」の難しさ

昔の物理学者たちは、この「歪んだ鏡」の世界でも、**「どれくらいの住人（エネルギー状態）が、地面（実数軸）からどれくらい離れて存在できるか」**を数えるルールを持っていませんでした。

• 昔のルール（クラシック）： 鏡が真っ直ぐな場合（実数だけの世界）は、「どれくらい強い力（ポテンシャル）をかけるか」で、住人の数を正確に予測できました（これを CLR 不等式や Lieb-Thirring 不等式と呼びます）。
• 新しい問題： しかし、鏡が歪んでいる（複素ポテンシャルがある）と、住人たちが地面から遠く離れて浮遊し始めます。しかも、**「地面に近づきすぎると、無限に増える」**という奇妙な現象が起きることが知られていました。つまり、昔のルールでは「住人の数」を制限できなくなっていたのです。

3. 解決策：「新しい物差し」と「反転した鏡」

著者たちは、この問題を解決するために、**「Birman-Schwinger 演算子」**という道具を、歪んだ世界でも使えるように改良しました。

• Birman-Schwinger 演算子とは？
  簡単に言えば、「住人が現れるかどうかを調べるための『検知器』」です。

  • 昔のルールでは、この検知器が「鏡（実数）」でしか動かなかった。
  • この論文では、**「検知器を回転させて、歪んだ鏡の世界でも使えるようにした」**のです。

• 新しい発見：
  彼らは、「実数軸から離れて浮いている住人たちの数」は、その「歪み具合（複素ポテンシャルの強さ）」と「地面からの距離」によって、必ず上限が決まっていることを証明しました。

  たとえ話：
  風船（エネルギー状態）が風（複素ポテンシャル）で空高く舞い上がるとします。
  昔のルールでは、「風が強ければ風船は無限に増える」と思われていました。
  しかし、この論文は**「風船が地面から一定の高さ（ε）以上離れるためには、風（ポテンシャル）の強さには限界がある。風が強すぎても、地面に近い風船は増えすぎないし、遠く離れた風船も無限には増えない」**という新しい法則を見つけました。

4. 証明の工夫：「逆さまの積み木」

どうやってこれを証明したのでしょうか？
通常の数学的な証明（変分法など）は、鏡が歪んでいると崩れてしまいます。そこで著者たちは、**「反対向きの積み木（反対称テンソル積空間）」**という高度な数学のテクニックを使いました。

• イメージ：
  通常の証明は「右向きの積み木」を積んでいく方法ですが、歪んだ世界ではそれが崩れます。そこで、**「左向きに積んだ積み木」**を使って、右向きの現象を裏から照らすような、巧妙なアプローチを取りました。これにより、複雑な「虚数」の部分を、実数として扱えるように変換し、数を数えることができました。

5. この研究の意義：「未来の技術への応用」

なぜ、こんな難しいことをするのでしょうか？

• 現実の応用：
  近年、光ファイバーやレーザー、量子コンピュータの分野で、「複素ポテンシャル」を意図的に使う技術（PT 対称性など）が注目されています。これらは「歪んだ鏡」の世界そのものです。
• この論文の貢献：
  この研究によって、**「どのくらい強い光やエネルギーを使えば、システムが安定して動作するか（住人が暴走しないか）」**を理論的に予測できるようになりました。
  「この装置を作ったら、エネルギーが無限に増える危険があるか？」という問いに、数式で「大丈夫、この範囲内なら安全ですよ」と答えられるようになったのです。

まとめ

この論文は、**「歪んだ鏡の世界（複素ポテンシャル）でも、エネルギー状態の数を制限する新しいルール（不等式）を発見した」**という画期的な成果です。

• 昔： 「歪んだ世界では、住人が無限に増えるかもしれない」と不安だった。
• 今： 「地面から一定距離離れている限り、住人の数はポテンシャルの強さで制御できる」と証明された。

これは、複雑で予測不能に見える現代の物理現象を、数学的に「管理可能」にするための重要な一歩と言えます。

技術概要

論文「非自己共役演算子の離散スペクトルと複素ポテンシャルを伴うシュレーディンガー演算子への応用」の技術的サマリー

1. 概要と問題設定

本論文は、非負の自己共役演算子 $H_0$ に対する相対的に形式コンパクトな摂動 $V$ によって得られる非自己共役演算子 $H = H_0 + V$ の離散固有値の数に関する上界を確立することを目的としています。特に、シュレーディンガー演算子 $H = -\Delta + V$ において、ポテンシャル $V$ が複素値である場合（非自己共役）に焦点を当てています。

従来の研究（自己共役の場合）では、Cwikel-Lieb-Rozenblum (CLR) 不等式や Lieb-Thirring (LT) 不等式が、負の固有値の数やそのべき和をポテンシャルのノルムで制御する重要な結果として確立されています。しかし、非自己共役の場合、固有値は実軸上に存在しないだけでなく、本質スペクトル $[0, \infty)$ の任意の点に集積する可能性があり、従来の CLR 不等式が成り立たないことが知られています（Pavlov や著者らによる反例）。

本研究は、複素半平面（実軸から離れた領域）における離散固有値の数を、Birman-Schwinger 演算子の実部と虚部の部分トレースを用いて評価する新しい抽象的な不等式を導出するとともに、これを複素ポテンシャルを持つシュレーディンガー演算子に応用し、非自己共役設定における CLR 不等式および LT 型不等式の一般化を実現しています。

2. 手法と理論的枠組み

2.1. 抽象的な固有値数え上げ不等式

著者らは、非自己共役演算子に対して、以下の抽象的な不等式を証明しました（定理 2）。
$H_0$ を非負の自己共役演算子、$H = H_0 + V$ を摂動された演算子とし、$S$ を Birman-Schwinger 演算子 $S = (H_0+\varepsilon)^{-1/2}V(H_0+\varepsilon)^{-1/2}$ とします。パラメータ $\alpha \in \mathbb{R}, \varepsilon > 0$ に対し、半平面 $\{\lambda \in \mathbb{C} : \text{Re}\,\lambda + \alpha \,\text{Im}\,\lambda < -\varepsilon\}$ に存在する離散固有値の総数 $N$ は、以下の不等式を満たします。

$$N \le \sum_{j=1}^N E_j(-\text{Re}\,S - \alpha \,\text{Im}\,S)$$

ここで $E_j(T)$ は自己共役演算子 $T$ の $j$ 番目の固有値（非増加順）です。右辺は $S$ の実部と虚部の線形結合の負の部分のトレースで評価可能です。

技術的革新点:

• 反称テンソル積空間の利用: 自己共役の場合の標準的な変分原理は非自己共役では利用できません。このため、著者らは**反称テンソル積空間（antisymmetric tensor product spaces）**における作用素の性質を利用しました。
• ジョルダン鎖の分解: 非自己共役演算子では代数多重度と幾何多重度が一致しない（ジョルダン鎖が存在する）場合があります。Lemma 7 に示される摂動手法を用いて、ジョルダン鎖を分解し、幾何的な固有空間に還元するプロセスを構築しました。
• Birman-Schwinger 原理の拡張: 従来の Birman-Schwinger 原理（固有値とコンパクト作用素の固有値の対応）を、非自己共役の文脈で、反称テンソル積空間における作用素のスペクトル評価へと拡張しました。

2.2. シュレーディンガー演算子への適用

抽象的な結果を $H = -\Delta + V$ ($V \in L^p(\mathbb{R}^d)$) に適用するため、Cwikel による弱 Schatten クラスの評価（weak Schatten-class estimates）と結合しました。これにより、具体的な積分不等式を導出します。

3. 主要な結果

3.1. 複素ポテンシャルに対する CLR 不等式の一般化（定理 9）

次元 $d$ とパラメータ $p = d/2 + \gamma$ （$\gamma$ は次元に依存する条件を満たす）に対して、任意の複素ポテンシャル $V \in L^p(\mathbb{R}^d)$ について、以下の不等式が成立します。

$$N(\text{Re}\,\lambda + \alpha \,\text{Im}\,\lambda < -\varepsilon; -\Delta + V) \le C_{d,p} \, \varepsilon^{-\gamma} \int_{\mathbb{R}^d} (\text{Re}\,V(x) + \alpha \,\text{Im}\,V(x))_-^p \, dx$$

• 意義: $d \ge 3, \gamma=0, \alpha=0$ の極限で、実ポテンシャルに対する古典的な CLR 不等式を回復します。非自己共役の場合、すべての固有値を数える不等式は成立しませんが、本結果は「実軸から離れた半平面」における固有値の数を制御する最初の定量的な結果の一つです。
• 最適性: 1 次元の場合 ($d=1, p=1$)、定数 $C_{1,1}=1/2$ は最適（sharp）であることが証明されました。

3.2. 非自己共役 Lieb-Thirring 型不等式（定理 14, 17）

固有値のべき和に関する新しい不等式を導出しました。

• 半平面での評価（定理 14）:
  $$\sum_{\lambda_j} (\text{Re}\,\lambda_j + \alpha \,\text{Im}\,\lambda_j)_-^\gamma \le \tilde{C}_{d,p} \int_{\mathbb{R}^d} (\text{Re}\,V + \alpha \,\text{Im}\,V)_-^p \, dx$$
  これにより、$\gamma < 1$ の場合（従来の手法では困難だった領域）にも LT 不等式が拡張されました。
• 本質スペクトルからの距離を用いた評価（定理 17）:
  複素平面のすべての離散固有値に対して、本質スペクトル $[0, \infty)$ からの距離 $\text{dist}(\lambda, [0, \infty))$ を用いた不等式を導きました。
  $$\sum_{\lambda \in \sigma_d} \frac{\text{dist}(\lambda, [0, \infty))^p}{|\lambda|^{d/2}} f\left(-\log \frac{\text{dist}(\lambda, [0, \infty))}{|\lambda|}\right) \le C \int |V|^p$$
  ここで $f$ はある積分条件を満たす関数です。これは、固有値が本質スペクトルに集積する速度（集積率）に関する定量的な情報を提供します。

4. 意義と貢献

1. 非自己共役理論のギャップの埋め: 非自己共役シュレーディンガー演算子において、固有値の数とポテンシャルのノルムの関係を記述する Birman-Schwinger 原理に基づく評価が以前存在しなかったため、この分野の理論的基盤を大幅に強化しました。
2. $\gamma < 1$ の領域への拡張: 従来の Lieb-Thirring 不等式の証明手法（凸性に基づくもの）は $\gamma \ge 1$ の場合にしか適用できませんでしたが、反称テンソル積空間を用いた新しい手法により、$\gamma < 1$ の場合（特に $d=1, 2$ での臨界ケース）にも不等式を拡張しました。
3. 複素ポテンシャルの物理的洞察: 複素ポテンシャルを持つ系（非エルミート量子力学など）において、固有値が実軸からどれだけ離れているか、また本質スペクトルにどのように集積するかを定量化する新しい枠組みを提供しました。
4. 最適性の議論: 得られた定数の最適性について議論し、1 次元の CLR 不等式において定数が最適であることを示しました。また、他の次元やパラメータにおける最適定数の決定が今後の課題であることを指摘しています。

結論

本論文は、非自己共役演算子のスペクトル理論において、Birman-Schwinger 原理と反称テンソル積空間の技法を組み合わせることで、複素ポテンシャルを持つシュレーディンガー演算子の離散固有値の数と分布に関する強力な新しい不等式を確立しました。これは、数学物理における非エルミート系の安定性解析や、固有値の分布に関する研究にとって重要な進展です。