Electromagnetic four-potential

q

{\displaystyle q}

) should have units of force*
*Electric field (

E

{\displaystyle E}

) should have units of force per area (the same as stress)*
*Electric constant (

ϵ
0

{\displaystyle \epsilon\_0}

) should have units of force per area (the same as bulk modulus)*
*Magnetic field (

B

{\displaystyle B}

) should have units of force per velocity per time^2*
*Magnetic constant (

μ
0

{\displaystyle \mu\_0}

) should have units of 1/(force per time^2)*
See this for more details

An **electromagnetic four-potential** is a relativistic vector function from which the electromagnetic field can be derived. It combines both an electric scalar potential and a magnetic vector potential into a single four-vector.

As measured in a given frame of reference, and for a given gauge, 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 is Lorentz covariant.

Like other potentials, many different electromagnetic four-potentials correspond to the same electromagnetic field, depending upon the choice of gauge.

This article uses tensor index notation and the Minkowski metric sign convention (+ − − −). See also covariance and contravariance of vectors and raising and lowering indices for more details on notation. Formulae are given in SI units and Gaussian-cgs units.

## Definition

The **electromagnetic four-potential** can be defined as:

A
α

=

(

ϕ

/

c
,

A

)

{\displaystyle A^\alpha = \left( \phi / c , \mathbf{A} \right)\,\!}

A
α

=
(
ϕ
,

A

)

{\displaystyle A^\alpha = (\phi, \mathbf{A})}

in which *ϕ* is the electric potential, and **A** is the magnetic potential (a vector potential). The units of *Aα* are V·s·m−1 in SI, and Mx·cm−1 in Gaussian-cgs.

The electric and magnetic fields associated with these four-potentials are:

E

=
−

∇

ϕ
−

∂

A

∂
t

{\displaystyle \mathbf{E} = -\mathbf{\nabla} \phi - \frac{\partial \mathbf{A}}{\partial t}}

E

=
−

∇

ϕ
−

1
c

∂

A

∂
t

{\displaystyle \mathbf{E} = -\mathbf{\nabla} \phi - \frac{1}{c} \frac{\partial \mathbf{A}}{\partial t} }

B

=

∇

×

A

{\displaystyle \mathbf{B} = \mathbf{\nabla} \times \mathbf{A} }

B

=

∇

×

A

{\displaystyle \mathbf{B} = \mathbf{\nabla} \times \mathbf{A} }

In special relativity, the electric and magnetic fields transform under Lorentz transformations. This can be written in the form of a tensor - the electromagnetic tensor. This is written in terms of the electromagnetic four-potential and the four-gradient as:

F

μ
ν

=

∂

ν

A

μ

−

∂

μ

A

ν

=

[

0

−

E
x

/

c

−

E
y

/

c

−

E
z

/

c

E
x

/

c

0

−

B
z

B
y

E
y

/

c

B
z

0

−

B
x

E
z

/

c

−

B
y

B
x

0

]

{\displaystyle F^{\mu\nu}=\partial^{\nu}A^{\mu}-\partial^{\mu}A^{\nu} =

\begin{bmatrix}
0 & -E\_x/c & -E\_y/c & -E\_z/c \\
E\_x/c & 0 & -B\_z & B\_y \\
E\_y/c & B\_z & 0 & -B\_x \\
E\_z/c & -B\_y & B\_x & 0
\end{bmatrix}
}

assuming that the signature of the Minkowski metric is (+ − − −). If the said signature is instead (− + + +) then

F

μ
ν

=

∂
μ

A
ν

−

∂
ν

A
μ

{\displaystyle F^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu}

. This essentially defines the four-potential in terms of physically observable quantities, as well as reducing to the above definition.

## In the Lorenz gauge

Main articles: Mathematical descriptions of the electromagnetic field, Retarded potential
Often, the Lorenz gauge condition

∂

α

A

α

=
0

{\displaystyle \partial\_{\alpha} A^{\alpha} = 0}

 in an inertial frame of reference is employed to simplify Maxwell's equations as:

◻

A
α

=

μ
0

J
α

{\displaystyle \Box A^\alpha = \mu\_0 J^\alpha }

◻

A
α

=

4
π

c

J
α

{\displaystyle \Box A^\alpha = \frac{4 \pi}{c} J^\alpha }

where *Jα* are the components of the four-current, and

# ◻

1

c
2

∂
2

∂

t
2

−

∇
2

{\displaystyle \Box = \frac{1}{c^2} \frac{\partial^2} {\partial t^2}-\nabla^2}

is the d'Alembertian operator. In terms of the scalar and vector potentials, this last equation becomes:

◻
# ϕ

ρ

ϵ
0

{\displaystyle \Box \phi = \frac{\rho}{\epsilon\_0}}

◻
# ϕ
4
π
ρ

{\displaystyle \Box \phi = 4 \pi \rho}

◻

A

=

μ
0

j

{\displaystyle \Box \mathbf{A} = \mu\_0 \mathbf{j}}

◻

A

=

4
π

c

j

{\displaystyle \Box \mathbf{A} = \frac{4 \pi}{c} \mathbf{j} }

For a given charge and current distribution, *ρ*(**r**, *t*) and **j**(**r**, *t*), the solutions to these equations in SI units are:

ϕ
(

r

,
t
# )

1

4
π

ϵ
0

∫

d

3

x
′

ρ
(

r

′

,

t
r

)

r

−

r

′

{\displaystyle \phi (\mathbf{r}, t) = \frac{1}{4 \pi \epsilon\_0} \int \mathrm{d}^3 x^\prime \frac{\rho( \mathbf{r}^\prime, t\_r)}{ \left| \mathbf{r} - \mathbf{r}^\prime \right|}}

A

(

r

,
t
# )

μ
0

4
π

∫

d

3

x
′

j

(

r

′

,

t
r

)

r

−

r

′

,

{\displaystyle \mathbf A (\mathbf{r}, t) = \frac{\mu\_0}{4 \pi} \int \mathrm{d}^3 x^\prime \frac{\mathbf{j}( \mathbf{r}^\prime, t\_r)}{ \left| \mathbf{r} - \mathbf{r}^\prime \right|},}

where

t
r

=
t
−

r

−

r

′

c

{\displaystyle t\_r = t - \frac{\left|\mathbf{r}-\mathbf{r}'\right|}{c}}

is the retarded time. This is sometimes also expressed with

ρ
(

r

′

,

t
r

# )
[
ρ
(

r

′

,
t
)
]
,

{\displaystyle \rho(\mathbf{r}',t\_r)=[\rho(\mathbf{r}',t)],}

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 an inhomogeneous differential equation, any solution to the homogeneous equation can be added to these to satisfy the boundary 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 to *r*−2 (the induction field) and a component decreasing as *r*−1 (the radiation field).

## Discussion

When flattened to a one-form, *A* can be decomposed via the Hodge decomposition theorem as the sum of an exact, a coexact, and a harmonic form,

# A
d
α
δ
β
γ

{\displaystyle A = d \alpha + \delta \beta + \gamma}

.

Combined with the definition of the electromagnetic tensor *F = dA*, this decomposition shows that the gauge freedom in *A* is entirely contained within *dα* and *γ*.

## See also

* Four-vector
* Covariant formulation of classical electromagnetism
* Jefimenko's equations
* Gluon field