定理証明済み
量子調和振動子の離散スペクトル
内容
ハミルトニアン H^=2mP^2+21mω2X^2([X^,P^]=iℏ)は、離散的で縮退のないスペクトル En=ℏω(n+21)、n=0,1,2,… を持つ。
なぜ正しいのか?
微分方程式を直接解く代わりに、ちょうど2次形式を因数分解するように、ハミルトニアンを代数的に「上昇」演算子と「下降」演算子に因数分解する。得られる数演算子の正値性と、はしご演算子がその固有値を1単位ずつずらすという代数関係が組み合わさり、固有値は非負の最下段から始まる等間隔のはしごを形成せざるを得ない——エネルギーの量子化は純粋に代数だけから導かれる。
証明の概略
ステップ1(はしご演算子)。 a^=2ℏmω(X^+mωiP^)、a^†=2ℏmω(X^−mωiP^) とおく。[X^,P^]=iℏ を使って直接計算すると [a^,a^†]=2ℏmω(mω−i[X^,P^]+mωi[P^,X^])=2ℏ1(ℏ+ℏ)=1 となる。
ステップ2(ハミルトニアンの書き換え)。 逆に解くと X^=2mωℏ(a^+a^†)、P^=i2mωℏ(a^†−a^) となる。これを H^=2mP^2+21mω2X^2 に代入し、[a^,a^†]=1 を使って項を並べ替えると H^=ℏω(a^†a^+21) が得られる。数演算子 N^=a^†a^ を定義すると、これは自己共役であり、任意の状態 ϕ について ⟨ϕ∣N^∣ϕ⟩=∥a^ϕ∥2≥0 なので、N^ のすべての固有値 n は n≥0 を満たす。
ステップ3(はしご関係式)。 [a^,a^†]=1 から [N^,a^]=−a^ および [N^,a^†]=a^† が得られる。したがって N^∣n⟩=n∣n⟩ ならば N^a^=a^N^−a^=a^(N^−1) より N^(a^∣n⟩)=(n−1)(a^∣n⟩):a^ は固有値を 1 だけ下げる(あるいは状態を消滅させる)、a^† は 1 だけ上げる。
ステップ4(停止とスペクトル)。 N^≥0 なので、任意の固有状態に a^ を繰り返し作用させても 0 より小さい固有値は生じ得ない。降順の列 n,n−1,n−2,… は n=0 で止まらなければならない(非整数の開始値だと有限回のステップ後に負の固有値が生じ、矛盾する)。よって N^ のすべての固有値は非負整数であり、基底状態 ∣0⟩ は a^∣0⟩=0 を満たす。∣0⟩ に a^† を繰り返し作用させると、すべての n=0,1,2,… について規格化可能な固有状態 ∣n⟩∝(a^†)n∣0⟩ が得られ、それ以外は存在しない。N^∣n⟩=n∣n⟩ を H^=ℏω(N^+21) に代入すると En=ℏω(n+21) が得られる。
ステップごとの証明
この定理のステップごとの証明はまだありません。