logo

ハイゼンベルクの不確定性原理の証明 📂量子力学

ハイゼンベルクの不確定性原理の証明

定理1

二つの演算子 AABBについて、次が成り立つ。

σA2σB2(12i[A,B])2 \sigma_{A}^{2}\sigma_{B}^{2} \ge \left( \dfrac{1}{2\i} \braket{[A, B]} \right)^{2}

この時、σA2\sigma_{A}^{2}AA分散[A,B][A, B]AABB交換子だ。

説明

上記の定理から、交換できない二つの演算子に対する物理量は同時に正確に観測することができないという事実が分かる。物理量BBが正確に観測されるというのは、σB2\sigma_{B}^{2}の値が減るということだけど、[A,B]0[A, B] \ne 0なら不等式の左辺に最小値が定められていて、これはσB2\sigma_{B}^{2}が減ると同時にσA2\sigma_{A}^{2}の値が増えること意味する。だから、BBの物理量を正確に測定すればするほど、AAの物理量はより不確かになる。

位置と運動量の関係

証明

σA2\sigma_{A}^{2}は定義により次のようになる。

σA2=ψ(AA)2ψ=(AA)ψ(AA)ψ \sigma_{A}^{2} = \braket{\psi | (A - \braket{A})^{2} | \psi} = \braket{(A - \braket{A})\psi | (A - \braket{A})\psi}

便宜のため、f=(AA)ψf = (A - \braket{A})\psiとしよう。

σA2=ff \sigma_{A}^{2} = \braket{f | f}

同様にg=(BB)ψg = (B - \braket{B})\psiとすると、

σB2=gg \sigma_{B}^{2} = \braket{g | g}

コーシー-シュワルツの不等式により次を得る。

σA2σB2=ffggfg2 \sigma_{A}^{2}\sigma_{B}^{2} = \braket{f | f} \braket{g | g} \ge \left| \braket{f | g} \right|^{2}

また、任意の複素数zzに対して次が成り立つ。

z2=z2+z2z2=(12i(zz))2 \left| z \right|^{2} = \Re{z}^{2} + \Im{z}^{2} \le \Im{z}^{2} = \left( \dfrac{1}{2\i} (z - z^{\ast}) \right)^{2}

最後の等式はz=x+iyz = x + \i yとし、直接計算してみると簡単に分かる。以上の二つの不等式から次を得る。

σA2σB2fg2(12i(fggf))2(1) \sigma_{A}^{2}\sigma_{B}^{2} \ge \left| \braket{f | g} \right|^{2} \ge \left( \dfrac{1}{2\i} (\braket{f | g} - \braket{g | f}) \right)^{2} \tag{1}

さて、fg\braket{f | g}を計算しよう。

fg=(AA)ψ(BB)ψ=ψ(AA)(BB)ψ=ψABABAB+ABψ=ψABψBψAψAψBψ+ABψψ=ABBAAB+AB=ABAB \begin{align*} \braket{f | g} &= \braket{(A - \braket{A})\psi | (B - \braket{B}) | \psi} \\ &= \braket{\psi | (A - \braket{A})(B - \braket{B}) | \psi} \\ &= \braket{\psi | AB - A\braket{B} - \braket{A}B + \braket{A}\braket{B} | \psi} \\ &= \braket{\psi | AB | \psi} - \braket{B}\braket{\psi | A | \psi} - \braket{A}\braket{\psi | B | \psi} + \braket{A}\braket{B} \braket{\psi | \psi} \\ &= \braket{AB} - \braket{B}\braket{A} - \braket{A}\braket{B} + \braket{A}\braket{B} \\ &= \braket{AB} - \braket{A}\braket{B} \end{align*}

同様にgf=BAAB\braket{g | f} = \braket{BA} - \braket{A}\braket{B}が成り立つ。したがって次を得る。

fggf=(ABAB)(BAAB)=ABBA=ABBA=[A,B] \begin{align*} \braket{f | g} - \braket{g | f} &= (\braket{AB} - \braket{A}\braket{B}) - (\braket{BA} - \braket{A}\braket{B}) \\ &= \braket{AB} - \braket{BA} \\ &= \braket{AB - BA}\\ &= \braket{[A, B]} \end{align*}

上の式で3番目の等号が成り立つ理由は、期待値が線形だからだ。この結果を(1)に代入すると次を得る。

σA2σB2(12i[A,B])2 \sigma_{A}^{2}\sigma_{B}^{2} \ge \left( \dfrac{1}{2\i} \braket{[A, B]} \right)^{2}

参考文献


  1. David J. Griffiths, 양자역학(Introduction to Quantum Mechanics, 권영준 역) (2nd Edition, 2006), p108-109 ↩︎