logo

量子力学における期待値とは 📂量子力学

量子力学における期待値とは

定義

規格化された波動関数 ψ\psiの演算子 AAに対する期待値expectation valueを次のように定義する。

⟨A⟩=∫−∞∞ψ∗Aψdx \braket{A} =\int_{-\infty}^{\infty} \psi^{\ast}A\psi dx

説明

結論から言うと、高校の数学の統計部分で学んだその期待値が正しい。量子力学を勉強しながら期待値を理解するのが難しい場合、その困難さの種類は大きく二つある。一つ目は定義そのものを理解することの困難さで、二つ目は数式がなぜそう表現されるのかに対する疑問だ。

期待値とは？

ご存知のようにサイコロを投げるとき、サイコロの目に対する期待値は(1+2+3+4+5+6)∗16=3.5(1+2+3+4+5+6)*\dfrac{ 1 }{ 6 }=3.5だ。サイコロをたくさん投げるとその平均は3.53.5に近くなるという意味だ。同様に、ある粒子の運動量の期待値とは運動量の測定値の平均ということだ。

これを理解する際に注意すべき点は、一つの粒子を対象に複数回測定したときの値を言っているのではないということだ。測定後に重ね合わさった波動関数が崩壊して一つに定まるため、いつも同じ値しか出ないからだ。したがって、粒子の運動量の期待値とは同じ条件で同じ種類の粒子を測定するときの期待値という意味だ。

簡単に理解するために粒子を人、運動量を体重に例えてみよう。すると、粒子の期待値は同じ人を何度も測定して得るのではなく、韓国の20代男性という条件に合う複数の人々の体重を測定して得るものだ。同じ人の体重を何度も測っても同じ体重が出るように、同じ粒子に対する測定結果は常に同じになる。

式がなぜそんな形をしているのか？

定義と表記を再度見てみよう。

⟨A⟩=∫−∞∞ψ∗Aψdx(1) \braket{A} =\int_{-\infty}^{\infty} \psi^{\ast}A\psi dx \tag{1}

高校数学で習った期待値と違う形をしているように見えるが、実は同じだ。連続確率変数 XXの確率密度関数が f(x)f(x)なら、その期待値は

E(X)=∫−∞∞xf(x)dx(2) E(X)=\int_{-\infty}^{\infty}xf(x)dx \tag{2}

と同じだ。これら二つがなぜ同じかを見てみよう。ψ\psiの確率密度は ∣ψ∣2=ψ∗ψ| \psi|^{2}=\psi^{\ast}\psiだから ⟨A⟩\braket{ A}を (2)(2)と書けば

⟨A⟩=∫−∞∞A∣ψ∣2dx=∫−∞∞Aψ∗ψdx=∫−∞∞ψ∗Aψdx \begin{align*} \braket{A}& = \int_{-\infty}^{\infty}A|\psi|^{2}dx \\ &= \int_{-\infty}^{\infty}A\psi^{\ast}\psi dx \\ &= \int_{-\infty}^{\infty}\psi^{\ast}A\psi dx \end{align*}

これで期待値の公式がなぜ上記のように表れるかの疑問は解けただろうが、表記がなぜ特に Aψ∗ψA\psi^{\ast}\psiや ψAψ∗\psi A \psi^{\ast}ではなく ψ∗Aψ\psi^{\ast}A\psiなのかの疑問が残った。一次元では掛ける順序によって結果が異ならない。しかし三次元で考えると、波動関数と演算子はそれぞれベクトルと行列になるため、掛ける順序によって結果が異なる。行列は掛ける順序に応じて異なる結果を得ることを知っているだろう。例えば演算子 AAと波動関数 ψ\psiがあるとしよう。

A=(a11a12a13a21a22a23a31a32a33),ψ=(ψ1ψ2ψ3) A=\begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix}, \psi=\begin{pmatrix} \psi_{1} \\ \psi_{2} \\ \psi_{3} \end{pmatrix}

すると適切な行列乗算は次の通りだ。

ψ∗Aψ=∑i,j=13ψi∗Aijψj \psi^{\ast} A \psi = \sum_{i,j = 1}^{3} \psi^{\ast}_{i} A_{ij} \psi_{j}

分散

確率変数 XXに対して、期待値が μ=E(X)\mu = E(X)なら XXの分散は次のように定義される。

σ2=E((X−μ)2) \sigma^{2} = E\left( (X - \mu)^{2} \right)

これと同様に、波動関数 ψ\psiの演算子 AAに対する分散は次のように定義される。

σA2=⟨(A−⟨A⟩)2⟩=⟨ψ∣(A−⟨A⟩)2∣ψ⟩=∫−∞∞ψ∗(A−⟨A⟩)2ψdx \sigma_{A}^{2} = \braket{(A - \braket{A})^{2}} = \braket{\psi | (A - \braket{A})^{2} | \psi} = \int_{-\infty}^{\infty} \psi^{\ast} (A - \braket{A})^{2} \psi dx