量子電磁力学では電磁場の量子化(でんじばのりょうしか)により、粒子の運動量は演算子に置き換わる。量子化によって電磁場は光子の集まりであることがわかる。つまり、光子の状態を表す電磁ポテンシャルの時間微分が電場、空間微分が磁場である。
電磁場の量子化には2通り考えられる。1つ目の方法は、場の量子論の知識によって古典的な電磁場を量子化して、量子化された電磁場を得る方法である。
2つ目の方法は、古典電磁気学と解析力学によって「古典的な電磁場は、無限個の古典的な調和振動子の集まりと等価である」ことを示し、その調和振動子を量子力学の知識によって量子化する。すると無限個の量子的な調和振動子を得られるが、それを量子化された電磁場と考える。以下ではこちらの方法について述べる。
体積V = L3の立方体に閉じ込められた電磁場を考える。この電磁場は、電場E(r,t)と磁場B(r,t)という2つのベクトル場からなり、マクスウェル方程式を満たす。
真空中では電磁ポテンシャルであるベクトルポテンシャルA(r,t)とスカラーポテンシャルΦ(r,t)を導入することで以下のように表せる。

ここで ∇×A はAの回転である。A(r,t)とΦ(r,t)の取り方には任意性があるが、今回はクーロンゲージ
を採用する。つまり横波のみを扱う。
このような電磁ポテンシャルを用いてマクスウェル方程式を書き換えると、ベクトルポテンシャルは波動方程式を満たさなければならないことがわかる。よってEやBの成分が実数であることを考慮すると、
ベクトルポテンシャルは平面波
を基底にして次のようにフーリエ展開することができる(*は複素共役を示している)。


ただし
と
は初期条件から決まる任意定数。よってベクトルポテンシャルの時間依存性は、調和振動子と同じ形になっている。
また波動方程式とクーロンゲージを満たさなければならないので


またAは箱の反対側の壁と同じ値を持つという周期的境界条件の結果、波数ベクトルkの成分は離散値を持つ。

このkを1つ決めると、それと垂直な2つの単位ベクトル(偏光ベクトル)
と、時間依存性を表す
が決まりベクトルポテンシャルが1つ定まる。
古典的な電磁場のハミルトニアンは次のような形になる。

ここで
を導入し、これまでの結果を代入すると

これは電磁場のエネルギーが無限個の1次元調和振動子の和であることを示している。ここで一般化運動量
を導入すると

粒子における量子化では、運動量を演算子に置き換える方法である。

プランク定数はここで導入され、古典的表現の時間依存性は量子力学的な演算子には引き継がれない(これはシュレーディンガー描像でも言える)。
電磁場でも同様のことを行う。

さらに次のような生成消滅演算子を導入する。


すると量子化されたベクトルポテンシャルは以下のように生成消滅演算子を用いて表される。

よって電場と磁場は次のようになる。

![{\displaystyle \mathbf {B} (\mathbf {r} )=i\sum _{\mathbf {k} ,\mu }{\sqrt {\frac {\hbar }{2\omega _{\mathbf {k} }V\epsilon _{0}}}}[\mathbf {k} \times \mathbf {e} ^{(\mu )}(\mathbf {k} )]\left({\hat {a}}_{\mathbf {k} \mu }e^{i\mathbf {k} \cdot \mathbf {r} }-{\hat {a}}_{\mathbf {k} \mu }^{\dagger }e^{-i\mathbf {k} \cdot \mathbf {r} }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/802c22283d6db879f8cdc8a519d704f4315cd430)
古典的な電磁場のハミルトニアンで同じように演算子の置き換えをすることで、量子論的な電磁場のハミルトニアンが得られる。

よって量子化された電磁場は、量子的な調和振動子の集合であることがわかる。