生成消滅演算子

生成消滅演算子（せいせいしょうめつえんざんし、）は、量子的な調和振動子や多体問題など、量子論において基本変数として広く使われる演算子である。
量子論では、正準変数で量子化することでできた量子論を、生成消滅演算子を基本変数にした量子論に書き換えることがしばしば行われる。
消滅演算子は、状態の粒子の数を1だけ減らす演算子である。
生成演算子は、状態の粒子の数を1だけ増やす演算子で、消滅演算子のエルミート共役をとったものである。
生成消滅演算子は様々な粒子の状態に作用することができる。
例えば、量子化学や多体理論において、生成消滅演算子は電子状態に作用される。
ボース粒子における生成消滅演算子の扱いは、量子的な調和振動子における扱いと同様である。
例えば、同じボース粒子状態に関連する生成消滅演算子の交換子は1に等しく、他のすべての交換子は0である。
一方、フェルミ粒子では状況が異なり、交換子のかわりに反交換子が含まれている。
量子的な調和振動子の例.
時間に依存しない量子的な1次元調和振動子のシュレディンガー方程式から出発する。
ここで、消滅演算子formula_2を以下で定義し、そのエルミート共役formula_3を生成演算子と呼ぶことにする。
生成消滅演算子を用いると、調和振動子のシュレディンガー方程式は以下のような簡単な形に書き換えられる。
応用.
量子的な調和振動子の基底状態formula_18以下の条件を満たす。
波動関数は以下の微分方程式を満たす。
この解は
規格化定数"C"はformula_22とガウス積分より、 formula_23  であることが分かる。
行列表示.
量子的な調和振動子の状態ベクトルで生成消滅演算子を行列表示すると、
それぞれの行列要素は
formula_26、
formula_27である。
場の量子論における生成消滅演算子.
量子論における場は、演算子で表される。相互作用が無い場合などでは、場の演算子が従うべき方程式を（フーリエ展開などで）解くことができる。その結果、場が粒子の生成消滅演算子で表されることがわかり、多体系と見なすことができる（ただし相互作用がある場合には、一般に生成消滅演算子を導入できるとは限らない。したがって場が第一義的な基本量であり、ハミルトニアン等の物理量も場を使って書き表す。）
多体系や場の量子論における生成消滅演算子は、ボース粒子とフェルミ粒子で定義が異なる。
formula_28を1粒子ヒルベルト空間とする。
formula_28上のすべてのformula_30におけるformula_31によって得られる代数に注目する。
ボース粒子での生成消滅演算子は、交換関係を用いて以下のように定義される。
フェルミ粒子での生成消滅演算子は、反交換関係を用いて以下のように定義される。フェルミ粒子で交換関係を用いると、エネルギー固有値に下限が無くなる、負のノルム状態が現れるなど、物理的に意味のある理論が得られないためである。
消滅演算子formula_31はformula_28上で反線形である。生成演算子formula_38はformula_28上で線形である。物理的には、formula_31は状態formula_41の粒子を消滅させ、formula_38は状態formula_41の粒子を生成させる。
自由場の真空状態は粒子の無い状態である。つまり、
ここでformula_45は真空状態である。
formula_41が規格化formula_47されている場合、
formula_48は状態formula_41の粒子数を与える。