1 次元散乱と Jost 関数:Weyl の交代定理・Levinson の定理・スペクトルシフト関数
対象読者: 本テーマのトレースクラス摂動の章と Sturm–Liouville 問題を学び、複素関数論の偏角の原理を知っている大学院生。Jost 関数は仮定しません。
前提となる記事:トレースクラス摂動と Kato–Rosenblum の定理:絶対連続スペクトルの安定性とスペクトルシフト関数、Sturm–Liouville 問題と Green 関数:振動定理・固有関数展開の完備性と、変数分離法(弦の振動・熱伝導)
0. この記事の要点
Section titled “0. この記事の要点”一本の半直線の上を走る波が、途中にあるポテンシャル(壁や谷)にぶつかる場面を考えます。壁があると、返ってくる波は壁のない場合に比べて少し位置がずれ、谷があると波がそこに捕まって動かない状態(束縛状態)が生まれることもあります。この記事は、波のずれの大きさと捕まる状態の個数が、一つの関数(Jost 関数)の性質として結び付くことを示します。読み終えると、その関係(Levinson の定理)の証明の筋道と、抽象的に導入されたスペクトルシフト関数が 1 次元では具体的に何になるかが分かります。
- 半直線上の について、 なら の 解は少なくとも 1 つあり、「ちょうど 1 次元(極限点)」か「すべての解が (極限円)」のどちらかで、この区別は によりません(Weyl の交代定理)。証明は入れ子になった Weyl 円板です。
- 台がコンパクトなポテンシャルでは、無限遠で に一致する解 (Jost 解)が について整関数になり、Jost 関数 が全てを決めます。上半平面の零点 は束縛状態 に、実軸上の偏角は位相のずれ に、比 は散乱行列になります。
- Levinson の定理 ( は束縛状態の個数、 のとき)は、 に偏角の原理を使うだけで証明できます。
- 前々章で主張だけを述べた Krein のトレース公式 を、スペクトル平均 (階数 1 摂動の族のスペクトル測度の平均は Lebesgue 測度)を鍵にして完全に証明します。摂動行列式は です。
- 1 次元ではスペクトルシフト関数が (), ()と求まり、Birman–Krein 公式 が成り立ちます。Levinson の定理は「 がしきい値 で連続」と読めます。
トレースクラス摂動の章では、スペクトルシフト関数 を Krein のトレース公式で導入し、散乱行列との関係(Birman–Krein 公式)を述べましたが、どちらも証明は筋道にとどめました。抽象論だけでは がどんな関数なのか見えにくいので、すべてが計算できる模型で確かめたくなります。1 次元の Schrödinger 作用素はその最良の舞台です。
1 次元では、固有値問題が常微分方程式になり、解の漸近挙動から直接スペクトルが読めます。Weyl は 1910 年に、半直線の無限遠で境界条件が必要かどうかを解の 2 乗可積分性で判定する交代定理を証明し、これが自己共役拡大の理論の出発点になりました。Jost(1947)は、無限遠で平面波に一致する解を使って散乱行列と束縛状態を一つの解析関数 に集約しました。Levinson(1949)は、位相のずれの総変化が束縛状態の個数を数えることを発見しました。
この章では、これらを順に証明し、最後に抽象的なスペクトルシフト関数が 1 次元では「位相のずれ 」と「束縛状態の個数」で書けることを示します。物理的な背景(部分波展開と位相のずれ)は散乱理論の章を参照してください。
執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 3 回(Claude Code)・最終 2026-10-12
この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記
© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。