MathLabs
定理証明済み

量子調和振動子の離散スペクトル

内容

ハミルトニアン H^=P^22m+12mω2X^2\hat H=\dfrac{\hat P^2}{2m}+\dfrac12 m\omega^2\hat X^2([X^,P^]=iℏ[\hat X,\hat P]=i\hbar)は、離散的で縮退のないスペクトル En=ℏω(n+12)E_n = \hbar\omega\left(n+\tfrac12\right)、n=0,1,2,…n=0,1,2,\dots を持つ。

なぜ正しいのか?

微分方程式を直接解く代わりに、ちょうど2次形式を因数分解するように、ハミルトニアンを代数的に「上昇」演算子と「下降」演算子に因数分解する。得られる数演算子の正値性と、はしご演算子がその固有値を1単位ずつずらすという代数関係が組み合わさり、固有値は非負の最下段から始まる等間隔のはしごを形成せざるを得ない——エネルギーの量子化は純粋に代数だけから導かれる。

証明の概略

ステップ1(はしご演算子)。 a^=mω2ℏ(X^+imωP^)\hat a=\sqrt{\tfrac{m\omega}{2\hbar}}\left(\hat X+\tfrac{i}{m\omega}\hat P\right)、a^†=mω2ℏ(X^−imωP^)\hat a^\dagger=\sqrt{\tfrac{m\omega}{2\hbar}}\left(\hat X-\tfrac{i}{m\omega}\hat P\right) とおく。[X^,P^]=iℏ[\hat X,\hat P]=i\hbar を使って直接計算すると [a^,a^†]=mω2ℏ(−imω[X^,P^]+imω[P^,X^])=12ℏ(ℏ+ℏ)=1[\hat a,\hat a^\dagger]=\tfrac{m\omega}{2\hbar}\left(\tfrac{-i}{m\omega}[\hat X,\hat P]+\tfrac{i}{m\omega}[\hat P,\hat X]\right)=\tfrac{1}{2\hbar}\left(\hbar+\hbar\right)=1 となる。

ステップ2(ハミルトニアンの書き換え)。 逆に解くと X^=ℏ2mω(a^+a^†)\hat X=\sqrt{\tfrac{\hbar}{2m\omega}}(\hat a+\hat a^\dagger)、P^=imωℏ2(a^†−a^)\hat P=i\sqrt{\tfrac{m\omega\hbar}{2}}(\hat a^\dagger-\hat a) となる。これを H^=P^22m+12mω2X^2\hat H=\tfrac{\hat P^2}{2m}+\tfrac12 m\omega^2\hat X^2 に代入し、[a^,a^†]=1[\hat a,\hat a^\dagger]=1 を使って項を並べ替えると H^=ℏω(a^†a^+12)\hat H=\hbar\omega\left(\hat a^\dagger\hat a+\tfrac12\right) が得られる。数演算子 N^=a^†a^\hat N=\hat a^\dagger\hat a を定義すると、これは自己共役であり、任意の状態 ϕ\phi について ⟨ϕ∣N^∣ϕ⟩=∥a^ϕ∥2≥0\langle\phi|\hat N|\phi\rangle=\|\hat a\phi\|^2\ge0 なので、N^\hat N のすべての固有値 nn は n≥0n\ge0 を満たす。

ステップ3(はしご関係式)。 [a^,a^†]=1[\hat a,\hat a^\dagger]=1 から [N^,a^]=−a^[\hat N,\hat a]=-\hat a および [N^,a^†]=a^†[\hat N,\hat a^\dagger]=\hat a^\dagger が得られる。したがって N^∣n⟩=n∣n⟩\hat N|n\rangle=n|n\rangle ならば N^a^=a^N^−a^=a^(N^−1)\hat N\hat a=\hat a\hat N-\hat a=\hat a(\hat N-1) より N^(a^∣n⟩)=(n−1)(a^∣n⟩)\hat N(\hat a|n\rangle)=(n-1)(\hat a|n\rangle):a^\hat a は固有値を 11 だけ下げる(あるいは状態を消滅させる)、a^†\hat a^\dagger は 11 だけ上げる。

ステップ4(停止とスペクトル)。 N^≥0\hat N\ge0 なので、任意の固有状態に a^\hat a を繰り返し作用させても 00 より小さい固有値は生じ得ない。降順の列 n,n−1,n−2,…n,n-1,n-2,\dots は n=0n=0 で止まらなければならない(非整数の開始値だと有限回のステップ後に負の固有値が生じ、矛盾する)。よって N^\hat N のすべての固有値は非負整数であり、基底状態 ∣0⟩|0\rangle は a^∣0⟩=0\hat a|0\rangle=0 を満たす。∣0⟩|0\rangle に a^†\hat a^\dagger を繰り返し作用させると、すべての n=0,1,2,…n=0,1,2,\dots について規格化可能な固有状態 ∣n⟩∝(a^†)n∣0⟩|n\rangle\propto(\hat a^\dagger)^n|0\rangle が得られ、それ以外は存在しない。N^∣n⟩=n∣n⟩\hat N|n\rangle=n|n\rangle を H^=ℏω(N^+12)\hat H=\hbar\omega(\hat N+\tfrac12) に代入すると En=ℏω(n+12)E_n = \hbar\omega\left(n+\tfrac12\right) が得られる。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. John von Neumann (1955). Mathematical Foundations of Quantum Mechanics
  2. Howard P. Robertson (1929). The Uncertainty Principle · DOI:10.1103/PhysRev.34.163
  3. Marshall H. Stone (1932). On One-Parameter Unitary Groups in Hilbert Space · DOI:10.2307/1968538