logo

量子力学における演算子の行列表現 📂量子力学

量子力学における演算子の行列表現

ビルドアップ

2次元空間の二つの単位ベクトルx^=(1,0)\widehat{\mathbf{x}} = (1, 0)とy^=(0,1)\widehat{\mathbf{y}} = (0, 1)を考えてみよう。空間内の任意の点(a,b)(a, b)の座標ベクトルは、次のように二つの単位ベクトルの線形結合で表現できる。

(a,b)=a(1,0)+b(0,1)  ⟹  [ab]=a[10]+b[01] (a, b) = a(1, 0) + b(0, 1) \implies \begin{bmatrix} a \\ b \end{bmatrix} = a\begin{bmatrix} 1 \\ 0 \end{bmatrix} + b\begin{bmatrix} 0 \\ 1 \end{bmatrix}

この表現が可能な理由は、単位ベクトルの集合{x^,y^}\left\{ \widehat{\mathbf{x}}, \widehat{\mathbf{y}} \right\}が次元の数だけ直交するベクトルを持っているからだ。このような集合を数学的に基底という。言い換えれば、基底が与えられると、それらの線形結合で空間内のすべてのベクトルを表現できるということだ。ある集合が基底になる条件は、要素の数が次元の数と同じであり、お互いに直交するベクトルで構成されていることだ。つまり、x^\widehat{\mathbf{x}}やy^\widehat{\mathbf{y}}のような単位ベクトルでなくてもいいということだ。

例えば、互いに直交する二つのベクトルv=(−1,2)\mathbf{v} = (-1, 2)とu=(2,1)\mathbf{u} = (2, 1)を考えてみよう。そうすれば、点(a,b)(a, b)の座標ベクトルは次のようになる。

(a,b)=−a+2b5(−1,2)+2a+b5(2,1)  ⟹  [−a+2b52a+b5]=−a+2b5[10]+2a+b5[01] (a, b) = \dfrac{-a + 2b}{5}(-1, 2) + \dfrac{2a+b}{5}(2, 1) \implies \begin{bmatrix} \dfrac{-a + 2b}{5} \\ \dfrac{2a+b}{5} \end{bmatrix} = \dfrac{-a + 2b}{5}\begin{bmatrix} 1 \\ 0 \end{bmatrix} + \dfrac{2a+b}{5}\begin{bmatrix} 0 \\ 1 \end{bmatrix}

基底内の各ベクトルの座標は順番に[10]\begin{bmatrix} 1 \\ 0 \end{bmatrix}、[01]\begin{bmatrix} 0 \\ 1 \end{bmatrix}であることがわかる。さて、任意の行列A=[abcd]A = \begin{bmatrix} a & b \\ c & d \end{bmatrix}が与えられているとしよう。この行列の1行2列の成分を得るためには、1番目の基底ベクトルの座標と2番目の基底ベクトルの座標をそれぞれAAに掛けてやればいい。

[10][abcd][01]=b \begin{bmatrix} 1 & 0 \end{bmatrix} \begin{bmatrix} a & b \\ c & d \end{bmatrix}\begin{bmatrix} 0 \\ 1 \end{bmatrix} = b

1つ目の基底ベクトルを∣1⟩\ket{1}、2つ目の基底ベクトルを∣2⟩\ket{2}と表記すると、行列AAのijij成分は次のように表記できる。

[Aij]=⟨i∣A∣j⟩ [A_{ij}] = \bra{i}A\ket{j}

これをディラック表記という。上記内容の核心は四つだ。

  1. 互いに直交するベクトルを次元の数だけ持っていれば、それらの線形結合で全ての点を座標で表現できる。(このような集合を基底という)
  2. 基底によって点の座標が変わる。
  3. 基底内のii番目のベクトルの座標ベクトルは次の通り。 [0⋮1⋮0]←i-th row \begin{bmatrix} 0 \\ \vdots \\ 1 \\ \vdots \\ 0 \end{bmatrix} \gets i\text{-th row}
  4. ii番目の基底ベクトルの座標を∣i⟩\ket{i}と表記すれば、行列のijij成分は次の通り。 [Aij]=⟨i∣A∣j⟩ [A_{ij}] = \bra{i}A\ket{j}

説明

量子力学では、演算子の(互いに異なる固有値に対応する)固有関数はすべて直交する。つまり、固有関数の集合は基底になる。これらの座標ベクトルを用いると、演算子が固有関数に作用するのをまるで行列積のように表現できる。例えば、ハミルトニアン演算子HHについて次の固有値方程式が成立するとしよう。

H∣1⟩=h1∣1⟩H∣2⟩=h2∣2⟩ H\ket{1} = h_{1} \ket{1} \\ H\ket{2} = h_{2} \ket{2} \\

すると、上記の固有値方程式は以下の行列積で表現できる。

[h100h2][10]=[h10]=h1[10][h100h2][01]=[0h2]=h2[01] \begin{bmatrix} h_{1} & 0 \\ 0 & h_{2} \end{bmatrix} \begin{bmatrix} 1 \\ 0 \end{bmatrix} = \begin{bmatrix} h_{1} \\ 0 \end{bmatrix} = h_{1} \begin{bmatrix} 1 \\ 0 \end{bmatrix} \\[1em] \begin{bmatrix} h_{1} & 0 \\ 0 & h_{2} \end{bmatrix} \begin{bmatrix} 0 \\ 1 \end{bmatrix} = \begin{bmatrix} 0 \\ h_{2} \end{bmatrix} = h_{2} \begin{bmatrix} 0 \\ 1 \end{bmatrix}

したがって[h100h2]\begin{bmatrix} h_{1} & 0 \\ 0 & h_{2} \end{bmatrix} はハミルトニアンHHに対応する行列だ。この行列の各成分を求める方法は、上で説明したように固有ベクトルを前後に掛けることだ。

[Hij]=⟨i∣H∣j⟩ [H_{ij}] = \bra{i}H\ket{j}

例

調和振動子

  • エネルギー演算子: H=ℏw(120000⋯032000⋯005200⋯000720⋯000092⋯⋮⋮⋮⋮⋮) H=\hbar w \begin{pmatrix} \frac{1}{2} & 0 & 0 & 0 & 0& \cdots \\ 0 & \frac{3}{2} & 0 & 0 &0 & \cdots \\ 0 & 0 & \frac{5}{2} & 0 & 0 & \cdots \\ 0 & 0 & 0 & \frac{7}{2} & 0 & \cdots \\ 0 & 0& 0& 0 & \frac{9}{2} & \cdots \\ \vdots & \vdots & \vdots & \vdots & \vdots \end{pmatrix}

  • サダリ演算子:

    a+=(00000⋯10000⋯02000⋯00300⋯00040⋯⋮⋮⋮⋮⋮) a_{+}=\begin{pmatrix} 0 & 0 & 0 & 0 & 0& \cdots \\ \sqrt{1} & 0 & 0 & 0 &0 & \cdots \\ 0 & \sqrt{2} &0 & 0 & 0 & \cdots \\ 0 & 0 & \sqrt{3} &0 & 0 & \cdots \\ 0 & 0& 0& \sqrt{4} &0 & \cdots \\ \vdots & \vdots & \vdots & \vdots & \vdots \end{pmatrix} a−=(01000⋯00200⋯00030⋯00004⋯00000⋯⋮⋮⋮⋮⋮) a_{-}=\begin{pmatrix} 0 & \sqrt{1} & 0 & 0 & 0& \cdots \\ 0 & 0 & \sqrt{2} & 0 &0 & \cdots \\ 0 & 0 & 0 & \sqrt{3} & 0 & \cdots \\ 0 & 0 & 0 & 0 & \sqrt{4} & \cdots \\ 0 & 0& 0& 0& 0 & \cdots \\ \vdots & \vdots & \vdots & \vdots & \vdots \end{pmatrix}

角運動量演算子

ℓ=1\ell = 1のとき、

  • 角運動量演算子:

    Lz=ℏ(10000000−1) L_{z}=\hbar \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & -1 \end{pmatrix} Lx=ℏ2(010101010),Ly=ℏ2(0−i0i0−i0i0) L_{x}=\dfrac{\hbar}{\sqrt{2}} \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} ,\qquad L_{y}=\dfrac{\hbar}{\sqrt{2}} \begin{pmatrix} 0 & -\i & 0 \\ \i & 0 & -\i \\ 0 & \i & 0 \end{pmatrix}

  • サダリ演算子:

    L+=ℏ(020002000),L−=ℏ(000200020) L_{+}=\hbar \begin{pmatrix} 0 & \sqrt{2} & 0 \\ 0 & 0 & \sqrt{2} \\ 0 & 0 & 0 \end{pmatrix} ,\qquad L_{-}=\hbar \begin{pmatrix} 0 & 0 & 0 \\ \sqrt{2} &0 & 0 \\ 0 & \sqrt{2} &0 \end{pmatrix}