Procan yhtälöt ovat yleistys Maxwellin yhtälöistä , jotka on suunniteltu kuvaamaan massiivisia hiukkasia, joiden spin 1. Procan yhtälöt kirjoitetaan yleensä seuraavasti
,missä on antisymmetrinen sähkömagneettisen kentän tensori :
Procan yhtälöt voidaan esittää myös muodossa
.Procan yhtälöt eivät ole mittariinvariantteja .
Tarkastellaan neljän potentiaalin kenttää A μ = (φ/ c , A ), missä φ on sähköstaattinen potentiaali , A on magneettinen potentiaali . Lagrangin tiheys annetaan seuraavasti:
missä c on valon nopeus ja ħ on pelkistetty Planckin vakio .
Euler-Lagrange-liikeyhtälö tällaiselle Lagrangian, jota kutsutaan myös Procan yhtälöksi , on seuraavanlainen:
joka vastaa seuraavaa yhtälöä
kunnossa
joka on vain Lorentzin mittari . Edellyttäen, että m = 0, yhtälöt muuttuvat Maxwellin yhtälöiksi tyhjiössä (eli varausten ja virtojen puuttuminen on oletettu). Proca-yhtälö liittyy läheisesti Klein-Gordon-Fockin yhtälöön .
Tutummin sanottuna yhtälö on:
Procan yhtälö voidaan johtaa myös ryhmäteoreettisista näkökohdista yhtälönä, joka on invariantti Poincarén muunnoksissa ja kuvaa alkuainehiukkasen aaltofunktiota, jonka massa on , spin , positiivinen energia ja kiinteä P-pariteetti. [yksi]