生成消滅演算子

生成消滅演算子（せいせいしょうめつえんざんし）は、量子的な調和振動子や多体問題など、量子論において基本変数として広く使われる演算子である。

量子論では、正準変数で量子化することでできた量子論を、生成消滅演算子を基本変数にした量子論に書き換えることがしばしば行われる。

消滅演算子は、状態の粒子の数を１だけ減らす演算子である。 生成演算子は、状態の粒子の数を１だけ増やす演算子で、消滅演算子のエルミート共役をとったものである。

生成消滅演算子は様々な粒子の状態に作用することができる。 例えば、量子化学や多体理論において、生成消滅演算子は電子状態に作用される。

ボース粒子における生成消滅演算子の扱いは、量子的な調和振動子における扱いと同様である。 例えば、同じボース粒子状態に関連する生成消滅演算子の交換子は１に等しく、他のすべての交換子は０である。 一方、フェルミ粒子では状況が異なり、交換子のかわりに反交換子が含まれている。

量子的な調和振動子の例

時間に依存しない量子的な１次元調和振動子のシュレディンガー方程式から出発する。

$\left(\frac{\hat{p}^2}{2m} + \frac{m \omega^2}{2} \hat{q}^2\right) \psi(x) = E \psi(x)$

ここで、消滅演算子$\hat{a}$を以下で定義し、そのエルミート共役$\hat{a}^\dagger$を生成演算子と呼ぶことにする。

$\hat{a} \equiv \sqrt{\frac{m \omega}{2\hbar}}\hat{q} + \frac{i}{\sqrt{2m\hbar \omega}}\hat{p}$

$\hat{a}^\dagger = \sqrt{\frac{m \omega}{2\hbar}}\hat{q} - \frac{i}{\sqrt{2m\hbar \omega}}\hat{p}$

生成消滅演算子を用いると、調和振動子のシュレディンガー方程式は以下のような簡単な形に書き換えられる。

$\frac{\hbar \omega}{2} ( \hat{a}^\dagger \hat{a} + \hat{a} \hat{a}^\dagger) \psi(q) = E \psi(q)$

性質

• 定義から明らかなように、$\hat{a}$、$\hat{a}^\dagger$は自己共役でもオブザーバブルでもない。

• $\{\hat{q},\hat{p}\}$と$\{\hat{a},\hat{a}^\dagger\}$は一対一に対応している。よって全ての物理量は$\{\hat{q},\hat{p}\}$でも表せるし、$\{\hat{a},\hat{a}^\dagger\}$でも表せる。$\{\hat{q},\hat{p}\}$による量子化を正準量子化と呼ぶのに対し、$\{\hat{a},\hat{a}^\dagger\}$による量子化を第二量子化と呼ぶことがある。正準量子化は、その基本変数$\{\hat{q},\hat{p}\}$は自己共役であるのに対し、第二量子化は、その基本変数$\{\hat{a},\hat{a}^\dagger\}$は自己共役でもオブザーバブルでも無いのが特徴である。

• 交換関係は、

$[\hat{a}, \hat{a}^\dagger ] = 1$

応用

量子的な調和振動子の基底状態$\ \psi_0(q)$以下の条件を満たす。

$a \ \psi_0(q) = 0$

波動関数は以下の微分方程式を満たす。

$q \psi_0 + \frac{d\psi_0}{dq} = 0$

この解は

$\psi_0(q) = C \exp(-{q^2 \over 2}).$

規格化定数Cは$\int_{-\infty}^\infty \psi_0^* \psi_0 \,dq = 1$とガウス積分より、 $1\over \sqrt[4]{\pi}$  であることが分かる。

行列表示

量子的な調和振動子の状態ベクトルで生成消滅演算子を行列表示すると、

$a^{\dagger}=\left(\begin{array}{cccccc} 0 & 0 & 0 & \dots & \dots\\ \sqrt{1} & 0 & 0 & \dots & \dots\\ 0 & \sqrt{2} & 0 & \dots & \dots\\ 0 & 0 & \sqrt{3} & \dots & \dots\\ \vdots & \vdots & \vdots\\ 0 & 0 & 0 & \sqrt{n} & 0\dots\\ \vdots & \vdots & \vdots & \vdots & \vdots\end{array}\right)$

$a=\begin{pmatrix} 0 & \sqrt{1} & 0 & 0 & \dots & 0 & \dots \\ 0 & 0 & \sqrt{2} & 0 & \dots & 0 & \dots \\ 0 & 0 & 0 & \sqrt{3} & \dots & 0 & \dots \\ 0 & 0 & 0 & 0 & \ddots & \vdots & \dots \\ \vdots & \vdots & \vdots & \vdots & \ddots & \sqrt{n} & \dots \\ 0 & 0 & 0 & 0 & \dots & 0 & \ddots \\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots \end{pmatrix}$

それぞれの行列要素は $a^\dagger_{ij} = \langle\psi_i | \hat{a}^\dagger | \psi_j\rangle$、 $a_{ij} = \langle\psi_i | \hat{a} | \psi_j\rangle$である。

一般的な生成消滅演算子

上記のように導入した生成消滅演算子は、多自由度の場合に一般化できる。

一般的な生成消滅演算子はボース粒子とフェルミ粒子では定義が異なる。

$\mathcal{H}$は１粒子ヒルベルト空間とする。 $\mathcal{H}$上のすべての$f \$における$\hat{a}(f) \$によって得られる代数に注目する。

ボース粒子での生成消滅演算子は、交換関係を用いて以下のように定義される。

$[a(f),a(g)]=[a^\dagger(f),a^\dagger(g)]=0$

$[a(f),a^\dagger(g)]=\langle f|g \rangle$,

フェルミ粒子での生成消滅演算子は、反交換関係を用いて以下のように定義される。

$\{a(f),a(g)\}=\{a^\dagger(f),a^\dagger(g)\}=0$

$\{a(f),a^\dagger(g)\}=\langle f|g \rangle$

消滅演算子$\hat{a}(f) \$は$\mathcal{H}$上で反線形である。 生成演算子$\hat{a}^\dagger(f) \$は$\mathcal{H}$上で線形である。

物理的には、$\hat{a}(f) \$は状態$|f\rangle$の粒子を消滅させ、$\hat{a}^\dagger(f) \$は状態$|f\rangle$の粒子を生成させる。

自由場の真空状態は粒子の無い状態である。つまり、

$a(f)|0\rangle=0$

ここで$|0\rangle$は真空状態である。

$|f\rangle$が規格化$\langle f | f \rangle = 1$されている場合、 $\hat{a}^\dagger(f)\hat{a}(f) \$は状態$|f\rangle$の粒子数を与える。

関連項目

• 交換関係

参考文献

• Feynman, Richard P. (1998) [1972]. Statistical Mechanics: A Set of Lectures (2nd ed.). Reading, Massachusetts: Addison-Wesley. ISBN 978-0201360769. http://books.google.com/books?id=Ou4ltPYiXPgC&pg=Front.