Four-tensor

In physics, specifically for special relativity and general relativity, a four-tensor is an abbreviation for a tensor in a four-dimensional spacetime. ^[1]

Generalities

General four-tensors are usually written in tensor index notation as

${\displaystyle A_{\;\nu _{1},\nu _{2},...,\nu _{m}}^{\mu _{1},\mu _{2},...,\mu _{n}}}$

with the indices taking integer values from 0 to 3, with 0 for the timelike components and 1, 2, 3 for spacelike components. There are n contravariant indices and m covariant indices. ^[1]

In special and general relativity, many four-tensors of interest are first order (four-vectors) or second order, but higher-order tensors occur. Examples are listed next.

In special relativity, the vector basis can be restricted to being orthonormal, in which case all four-tensors transform under Lorentz transformations. In general relativity, more general coordinate transformations are necessary since such a restriction is not in general possible.

Examples

First-order tensors

Main article: Four-vector

In special relativity, one of the simplest non-trivial examples of a four-tensor is the four-displacement

${\displaystyle x^{\mu }=\left(x^{0},x^{1},x^{2},x^{3}\right)=(ct,x,y,z)}$

a four-tensor with contravariant rank 1 and covariant rank 0. Four-tensors of this kind are usually known as four-vectors. Here the component x⁰ = ct gives the displacement of a body in time (coordinate time t is multiplied by the speed of light c so that x⁰ has dimensions of length). The remaining components of the four-displacement form the spatial displacement vector x = (x¹, x², x³). ^[1]

The four-momentum for massive or massless particles is

${\displaystyle p^{\mu }=\left(p^{0},p^{1},p^{2},p^{3}\right)=\left({\frac {1}{c}}E,p_{x},p_{y},p_{z}\right)}$

combining its energy (divided by c) p⁰ = E/c and 3-momentum p = (p¹, p², p³). ^[1]

For a particle with invariant mass ${\displaystyle m_{0}}$, also known as rest mass, four momentum is defined by

${\displaystyle p^{\mu }=m_{0}{\frac {dx^{\mu }}{d\tau }}}$

with ${\displaystyle \tau }$ the proper time of the particle.

The relativistic mass is ${\displaystyle m=\gamma m_{o}}$ with Lorentz factor

${\displaystyle \gamma ={\frac {1}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}={\frac {1}{\sqrt {1-\beta ^{2}}}}={\frac {dt}{d\tau }}}$

Second-order tensors

The Minkowski metric tensor with an orthonormal basis for the (−+++) convention is

${\displaystyle \eta ^{\mu \nu }={\begin{pmatrix}-1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}}\,}$

used for calculating the line element and raising and lowering indices. The above applies to Cartesian coordinates. In general relativity, the metric tensor is given by much more general expressions for curvilinear coordinates.

The angular momentum L = x ∧ p of a particle with relativistic mass m and relativistic momentum p (as measured by an observer in a lab frame) combines with another vector quantity N = mx − pt (without a standard name) in the relativistic angular momentum tensor ^{[2] [3]}

${\displaystyle M^{\mu \nu }={\begin{pmatrix}0&-N^{1}c&-N^{2}c&-N^{3}c\\N^{1}c&0&L^{12}&-L^{31}\\N^{2}c&-L^{12}&0&L^{23}\\N^{3}c&L^{31}&-L^{23}&0\end{pmatrix}}}$

with components

${\displaystyle M^{\alpha \beta }=X^{\alpha }P^{\beta }-X^{\beta }P^{\alpha }}$

The stress–energy tensor of a continuum or field generally takes the form of a second-order tensor, and usually denoted by T. The timelike component corresponds to energy density (energy per unit volume), the mixed spacetime components to momentum density (momentum per unit volume), and the purely spacelike parts to the 3d stress tensor.

The electromagnetic field tensor combines the electric field and E and magnetic field B ^[4]

${\displaystyle F^{\mu \nu }={\begin{pmatrix}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{pmatrix}}}$

The electromagnetic displacement tensor combines the electric displacement field D and magnetic field intensity H as follows ^[5]

${\displaystyle {\mathcal {D}}^{\mu \nu }={\begin{pmatrix}0&-D_{x}c&-D_{y}c&-D_{z}c\\D_{x}c&0&-H_{z}&H_{y}\\D_{y}c&H_{z}&0&-H_{x}\\D_{z}c&-H_{y}&H_{x}&0\end{pmatrix}}.}$

The magnetization-polarization tensor combines the P and M fields ^[4]

${\displaystyle {\mathcal {M}}^{\mu \nu }={\begin{pmatrix}0&P_{x}c&P_{y}c&P_{z}c\\-P_{x}c&0&-M_{z}&M_{y}\\-P_{y}c&M_{z}&0&-M_{x}\\-P_{z}c&-M_{y}&M_{x}&0\end{pmatrix}},}$

The three field tensors are related by

${\displaystyle {\mathcal {D}}^{\mu \nu }={\frac {1}{\mu _{0}}}F^{\mu \nu }-{\mathcal {M}}^{\mu \nu }\,}$

which is equivalent to the definitions of the D and H fields.

The electric dipole moment d and magnetic dipole moment μ of a particle are unified into a single tensor ^[6]

${\displaystyle \sigma ^{\mu \nu }={\begin{pmatrix}0&d_{x}&d_{y}&d_{z}\\-d_{x}&0&\mu _{z}/c&-\mu _{y}/c\\-d_{y}&-\mu _{z}/c&0&\mu _{x}/c\\-d_{z}&\mu _{y}/c&-\mu _{x}/c&0\end{pmatrix}},}$

The Ricci curvature tensor is another second-order tensor.

Higher-order tensors

In general relativity, there are curvature tensors which tend to be higher order, such as the Riemann curvature tensor and Weyl curvature tensor which are both fourth order tensors.

See also

• Spin tensor
• Tetrad (general relativity)

References

1. Lambourne, Robert J A. Relativity, Gravitation and Cosmology. Cambridge University Press. 2010.
2. R. Penrose (2005). The Road to Reality . vintage books. pp. 437–438, 566–569. ISBN   978-0-09-944068-0. Note: Some authors, including Penrose, use Latin letters in this definition, even though it is conventional to use Greek indices for vectors and tensors in spacetime.
3. M. Fayngold (2008). Special Relativity and How it Works. John Wiley & Sons. pp. 137–139. ISBN   978-3-527-40607-4.
4. Vanderlinde, Jack (2004), classical electromagnetic theory, Springer, pp. 313–328, ISBN   9781402026997
5. Barut, A.O. (January 1980). Electrodynamics and the Classical theory of particles and fields. Dover. p. 96. ISBN   978-0-486-64038-9.
6. Barut, A.O. (January 1980). Electrodynamics and the Classical theory of particles and fields. Dover. p. 73. ISBN   978-0-486-64038-9. No factor of c appears in the tensor in this book because different conventions for the EM field tensor.