正則性クラスと抽象共役作用素法:C¹(A)・極限吸収原理の完全な証明・埋め込み固有値の不安定性
対象読者: 本テーマの Mourre 評価の章を学び、自己共役作用素の関数計算と交換子を扱える大学院生。C1(A) 級の理論は仮定しません。
前提となる記事:Mourre 評価と極限吸収原理:共役作用素・Virial 定理・局所減衰
0. この記事の要点
Section titled “0. この記事の要点”量子力学では、エネルギーが連続的に分布する状態に、外から弱い力が加わると何が起こるかを問います。この記事は、位置のような「広がり」を測る量 を一つ用意し、それを使うと、エネルギー の作用がどこまで遠くへ届くかを数学的に押さえられることを説明します。読み終えると、極限吸収原理(レゾルベントが実軸上でも意味を持つこと)の証明の骨格と、連続スペクトルに埋まった固有値が弱い摂動で消える理由を追えるようになります。
- 自己共役作用素 に対し、有界作用素 が 級であるとは が強位相で 級であることをいいます。 は「形式 が有界」と同値で、積・随伴・逆について閉じています。非有界な はレゾルベントで正則性を測ります(Amrein–Boutet de Monvel–Georgescu の枠組み)。
- Helffer–Sjöstrand 公式 により、 なら について で、交換子 が明示できます。
- 級の については、定義域の条件 (M2) なしに Virial 定理 が成り立ちます。
- 2 階の交換子が 有界であるという仮定と区間上の厳密な Mourre 評価から、重み ()の極限吸収原理を、散逸 を加えたレゾルベントの についての微分不等式と Gronwall の不等式で完全に証明します。 は という形で効きます。同じ一様評価を、有界な増加関数 を観測量とするエネルギー恒等式(Gérard の方法)でも証明します。こちらでは は が有界であることとして効きます。
- 埋め込まれた単純固有値 は、Fermi の黄金律の量 が正なら、小さな摂動 で の近くから固有値ごと消えます。証明は「固有ベクトルが生む状態のスペクトル密度は 」という 1 行の観察と極限吸収原理の組み合わせです。
Mourre 評価と極限吸収原理の章では、共役作用素の条件 (M1)〜(M4) を仮定して Virial 定理と固有値の有限性を証明しましたが、Mourre の定理の核心である極限吸収原理(定理 4.3[Mourre 評価と極限吸収原理] の 2)は証明の筋道を示すにとどめました。この章の第一の目的は、その証明を省略なく与えることです。
証明を書き下そうとすると、二つの技術的な問題に出会います。一つは定義域です。(M2) の「 が を保つ」は Schrödinger 作用素では確かめやすいのですが、場の模型(ボソンの個数が変わる系)では が複雑で、確かめるのが難しくなります。もう一つは関数計算です。微分不等式法ではエネルギーの切り落とし と の交換子を何度も扱うので、 が有界であることを の情報から導く一般的な道具が必要です。
Amrein, Boutet de Monvel, Georgescu(以下 ABG)は、この二つを正則性クラス でまとめて処理しました。考え方は単純で、「 が に関してどれだけ滑らかか」を、ユニタリ群 による共役 の についての滑らかさで測ります。有界作用素のレゾルベントに移せば定義域の問題は消え、関数計算は Helffer–Sjöstrand 公式でレゾルベントに帰着します。
以下では、まず の基本性質を証明し、次に極限吸収原理を証明します。その応用として、埋め込み固有値が摂動で消えること(共鳴の章で複素スケーリングを使って扱った現象の、解析性を仮定しない版)と、局所減衰の評価を述べます。
執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 2 回(Claude Code)・最終 2026-10-12
この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記
© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。