プロカ方程式
場の量子論において、プロカ方程式（プロカほうていしき、Proca equation）は、スピン1を持ち、0でない質量を持つ相対論的なボース粒子、及びそれと対応するベクトル場を記述する運動方程式である。質量が0のプロカ方程式はマクスウェル方程式である。名称はルーマニア出身の物理学者アレクサンドル・プロカに由来する。
プロカ方程式は以下のように表記される。
ここで、Aは実ベクトル場、mはベクトル場の質量であり、ミンコフスキー空間の計量テンソルはdiag(+1, -1, -1, -1)を採用している。この形式を見れば分かるように、プロカ方程式はクライン＝ゴルドン方程式で記述されるスカラー場を、時空について4成分のベクトル場と入れ換えた式である。
この項で解説するのは、プロカ方程式を導出する最も単純なラグランジアン密度であるプロカ形式である。質量を持つベクトル場を記述する形式として、他にシュテュッケルベルク形式がある。プロカ形式は、シュテュッケルベルク形式における補助スカラー場を0とした場合と等しい形式である。
プロカ形式のラグランジアン密度は以下のように表記される。
ここで、Aは実ベクトル場で、formula_3（Aが電磁場の場合は電磁場テンソル）である。このラグランジアン密度はベクトル場の質量項が存在するためにゲージ不変性を破っている。
上記のラグランジアン密度をオイラー＝ラグランジュ方程式
に代入して得られる運動方程式がプロカ方程式である。
ここで、両辺に formula_6 をかけて、formula_7 を用いると、m≠0 のとき、ローレンツゲージ条件
が自動的に導ける。これより、結局、プロカ方程式は
なお、四元ベクトルポテンシャルは本来４成分であるが、ローレンツゲージ条件が課されていることにより、独立な成分は３成分になる。これはプロカ方程式によって記述される粒子がスピン1の粒子であることに対応している。