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。

为什么成立?

不直接求解微分方程,而是把哈密顿量像分解二次型那样代数地分解成"升"算符和"降"算符。所得数算符的非负性,再加上阶梯算符将其本征值移动一个单位的代数关系,共同迫使本征值构成从某个非负最低阶梯开始的等间距阶梯——能量量子化完全由代数导出。

证明思路

第一步(阶梯算符)。 令 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。

第二步(改写哈密顿量)。 反解得 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。

第三步(阶梯关系)。 由 [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。

第四步(终止与谱)。 因为 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