In special and general relativity, the four-current (technically the four-current density)[1] is the four-dimensional analogue of the current density, with units of charge per unit time per unit area. Also known as vector current, it is used in the geometric context of four-dimensional spacetime, rather than separating time from three-dimensional space. Mathematically it is a four-vector and is Lorentz covariant.
This article uses the summation convention for indices. See covariance and contravariance of vectors for background on raised and lowered indices, and raising and lowering indices on how to switch between them.
η\mu\nu
J\alpha=\left(c\rho,j1,j2,j3\right)=\left(c\rho,j\right)
where:
See also: Lorentz transformations.
This can also be expressed in terms of the four-velocity by the equation:[2] [3]
J\alpha=\rho0U\alpha=\rhou\sqrt{1-
u2 | |
c2 |
where:
\rhou
\rho0
Qualitatively, the change in charge density (charge per unit volume) is due to the contracted volume of charge due to Lorentz contraction.
Charges (free or as a distribution) at rest will appear to remain at the same spatial position for some interval of time (as long as they're stationary). When they do move, this corresponds to changes in position, therefore the charges have velocity, and the motion of charge constitutes an electric current. This means that charge density is related to time, while current density is related to space.
The four-current unifies charge density (related to electricity) and current density (related to magnetism) in one electromagnetic entity.
See main article: Continuity equation.
In special relativity, the statement of charge conservation is that the Lorentz invariant divergence of J is zero:[4]
\dfrac{\partialJ\alpha}{\partialx\alpha}=
\partial\rho | |
\partialt |
+\nabla ⋅ j=0,
where
\partial/\partialx\alpha
In general relativity, the continuity equation is written as:
\alpha{} | |
J | |
;\alpha |
=0,
where the semi-colon represents a covariant derivative.
See main article: Maxwell's equations.
The four-current appears in two equivalent formulations of Maxwell's equations, in terms of the four-potential[5] when the Lorenz gauge condition is fulfilled:
\BoxA\alpha=\mu0J\alpha
where
\Box
\nabla\alphaF\alpha\beta=\mu0J\beta
where μ0 is the permeability of free space and ∇α is the covariant derivative.
See also: Maxwell's equations in curved spacetime.
In general relativity, the four-current is defined as the divergence of the electromagnetic displacement, defined as:
l{D}\mu=
1 | |
\mu0 |
g\muF\alphag\beta\sqrt{-g}
then:
J\mu=\partial\nul{D}\mu
The four-current density of charge is an essential component of the Lagrangian density used in quantum electrodynamics.[6] In 1956 Gershtein and Zeldovich considered the conserved vector current (CVC) hypothesis for electroweak interactions.[7] [8] [9]