第二量子化（だいにりょうしか, Second quantization）とは場の正準量子化のことである。量子力学は、粒子の位置と運動量を基本変数に選んだ量子論である。古典的に場であったもの（電磁場など）だけでなく、古典的には粒子とみなされてきた物理系であっても、場を基本変数にしたほうが良く、適用範囲も広いことが判っている。スピンが関わるような物理系がその典型である。「位置と運動量」を基本変数としてもスピンを記述することができないため、量子力学でスピンが関わるような状況では、スピンを新たな基本変数としてつけ加えることをする。しかし「位置と運動量」ではなく「場」を基本変数として電子を扱うとスピンを自然に記述できる。場を基本変数とする量子論を場の量子論と呼ぶ。量子力学は、場の量子論を低エネルギー状態に限った場合の近似理論である。また量子論をフォック空間で考えることを第二量子化と呼ぶこともある。量子場を導入する方法として２つの方法がある。１つ目は、古典場を量子化する方法。このとき波動場を関数ではなく、正準交換関係や正準反交換関係といった「ある種の代数的関係」を満たす演算子に読み替える。２つ目は、量子力学における同種粒子の統計性や不可弁別性に注目し、真空から粒子が生成したり、粒子が消滅する空間（フォック空間）から出発する方法である。場の量子化は、決して「二度目の」量子化ではない。「第二量子化」という言葉は、場の量子論が作られていく歴史的過程において、量子化の本質が見えず、「一度目の量子化が有限自由度の量子力学で、これをもう一度量子化したものが場の量子論である」という誤解に由来するものである。「古典的には粒子であるもの(例えば電子)に対して、場を基本変数にしてみよう」という動機が、「座標表示の波動関数が場のようにも見えたから」だった。しかし言うまでもなく、「基本変数である場」と「状態ベクトルの座標表示である波動関数」とは全くの別物である。例としてスカラー場の量子化を考える。スカラー場formula_1と、それに共役な運動量formula_2を基本変数に選ぶと、これは正準変数である。系の物理量（オブザーバブル）はと表せる。場の正準量子化では、formula_4を以下の正準交換関係を満たすエルミート演算子formula_5に置き換える。なお、基本変数の場がオブザーバブルでない場合は、場についての交換関係は、必ずしもこのような交換関係でなくてもよくなる。実際、粒子はボース粒子とフェルミ粒子に大別されるが、フェルミ粒子の場合は、この交換関係を全て反交換関係に置き換えて正準量子化する。N個の同種粒子から成る系は、等価であるが一見異なった2つの方法で記述できる。第一の方法では、状態空間を構成するために、1粒子の状態空間のN個のテンソル積を考え、それを粒子の入れ替えに対しボゾン系では完全対称なもの、フェルミオン系では非対称なものへ制限する。このような多体系の取り扱いを第一量子化とよぶ。第二の方法では、粒子の生成消滅演算子を考え、粒子が1つもない状態に生成演算子をN個作用させた状態としてN体系を記述する。このような多体系の取り扱いを第二量子化と呼ぶ。量子論では同種の粒子は全く区別がつかない。そのため、同種粒子を含む系の状態ベクトルや物理量は一定の対称性を持つものに限られる。その対称性は、基本変数を粒子の「位置と運動量」にとった量子論では少し不自然にも見える形で現れる（波動関数の対称性、反対称性など）。この不自然さは、個々の粒子に別々の「位置と運動量」を割り当てるのは粒子が区別できることが大前提であるのに、区別ができない粒子にそれをやってしまったことによる。そこで基本変数を「場」とその共役運動量にとれば、同種粒子の区別がつかないことや、状態ベクトルや物理量の対称性なども自動的に理論に組み込まれ、すっきりしたものになる。"n" 個の多粒子系を考える。これを記述する多体波動関数は、系の粒子がフェルミ粒子なら任意に選んだ 2 粒子の交換により多体波動関数の符号が変わる（反対称）。一方、系の粒子がボース粒子なら同様な 2 粒子の交換に対し符号は変わらない（対称）。ここで、多体波動関数が formula_8個の一体の波動関数（一粒子波動関数）から構成されるとして、個々の一体波動関数の占有数を formula_9と表現する。フェルミ粒子では占有数formula_10（"i" は 0 ～ "n" の間の任意の整数）は、 0 または 1 の値のみを取り得る。ボース粒子なら 0 以上の任意の整数（∞ まで）となる。この占有数formula_10を 1 増やすような演算子（生成演算子あるいは創成演算子）formula_12、及び formula_10 を 1 減らすような演算子（消滅演算子）を formula_14とする。これら生成・消滅演算子 formula_12, formula_14 を使って、一粒子演算子、二粒子演算子などが定義できる。生成・消滅演算子 formula_12, formula_14 は、フェルミ粒子系においては、反交換関係を満たし、ボース粒子系においては、交換関係を満たす。数演算子は生成消滅演算子を用いて以下のように定義する。数演算子の規格直交化された固有ベクトルで張られる空間をフォック空間という。この生成・消滅演算子 formula_12, formula_14 を導入した形式を第二量子化と言う。これは、もとの一体波動関数が、ハミルトニアン formula_24 の固有関数であり、この段階で既に量子化がなされている。この一体波動関数を更に、生成・消滅演算子 formula_12, formula_14 を導入して記述し直すため第二量子化と言う。量子化された場は演算子となる。この演算子formula_27を場の演算子と呼ぶ。場の演算子は、場の状態に作用し、粒子数を増減させる。場の演算子は、生成消滅演算子の線形結合で表させる。ここで係数は1粒子ハミルトニアンの固有状態(1粒子波動関数)である。時間発展については、ハイゼンベルク描像を採用して場の演算子が引き受けることで、ローレンツ共変性などが自然な形で現れる。

出典:wikipedia