生成消滅演算子

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

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

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

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

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

## 量子的な調和振動子の例

時間に依存しない量子的な1次元調和振動子のシュレディンガー方程式から出発する。
:\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とガウス積分より、&nbsp;1\over \sqrt[4]{\pi} &nbsp;であることが分かる。

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

: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}を1粒子ヒルベルト空間とする。
\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の粒子数を与える。

## 脚注

## 参考文献
*

## 関連項目
* 交換関係 (量子力学)
* 第二量子化