Anelectromagnetic four-potential is arelativisticvector function from which theelectromagnetic field can be derived. It combines both anelectric scalar potential and amagnetic vector potential into a singlefour-vector.[1]
As measured in a givenframe of reference, and for a givengauge, the first component of the electromagnetic four-potential is conventionally taken to be the electric scalar potential, and the other three components make up the magnetic vector potential. While both the scalar and vector potential depend upon the frame, the electromagnetic four-potential isLorentz covariant.
Like other potentials, many different electromagnetic four-potentials correspond to the same electromagnetic field, depending upon the choice of gauge.
This article usestensor index notation and theMinkowski metricsign convention(+ − − −). See alsocovariance and contravariance of vectors andraising and lowering indices for more details on notation. Formulae are given inSI units andGaussian-cgs units.
The contravariantelectromagnetic four-potential can be defined as:[2]
| SI units | Gaussian units |
|---|---|
in whichϕ is theelectric potential, andA is themagnetic potential (avector potential). The unit ofAα isV·s·m−1 in SI, andMx·cm−1 inGaussian-CGS.
The electric and magnetic fields associated with these four-potentials are:[3]
| SI units | Gaussian units |
|---|---|
Inspecial relativity, the electric and magnetic fields transform underLorentz transformations. This can be written in the form of a rank twotensor – theelectromagnetic tensor. The 16 contravariant components of the electromagnetic tensor, usingMinkowski metric convention(+ − − −), are written in terms of the electromagnetic four-potential and thefour-gradient as:
If the said signature is instead(− + + +) then:
This essentially defines the four-potential in terms of physically observable quantities, as well as reducing to the above definition.
Often, theLorenz gauge condition in aninertial frame of reference is employed to simplifyMaxwell's equations as:[2]
| SI units | Gaussian units |
|---|---|
whereJα are the components of thefour-current, and
is thed'Alembertian operator. In terms of the scalar and vector potentials, this last equation becomes:
| SI units | Gaussian units |
|---|---|
For a given charge and current distribution,ρ(r,t) andj(r,t), the solutions to these equations in SI units are:[3]
where
is theretarded time. This is sometimes also expressed with
where the square brackets are meant to indicate that the time should be evaluated at the retarded time. Of course, since the above equations are simply the solution to aninhomogeneousdifferential equation, any solution to the homogeneous equation can be added to these to satisfy theboundary conditions. These homogeneous solutions in general represent waves propagating from sources outside the boundary.
When the integrals above are evaluated for typical cases, e.g. of an oscillating current (or charge), they are found to give both a magnetic field component varying according tor−2 (theinduction field) and a component decreasing asr−1 (theradiation field).[clarification needed]
Whenflattened to aone-form (in tensor notation,), the four-potential (normally written as a vector or, in tensor notation) can be decomposed[clarification needed] via theHodge decomposition theorem as the sum of anexact, a coexact, and a harmonic form,
There isgauge freedom inA in that of the three forms in this decomposition, only the coexact form has any effect on theelectromagnetic tensor
Exact forms are closed, as are harmonic forms over an appropriate domain, so and, always. So regardless of what and are, we are left with simply
In infinite flat Minkowski space, every closed form is exact. Therefore the term vanishes. Every gauge transform of can thus be written as