Electromagnetic tensor

Electromagnetism

Electricity Magnetism
Electrostatics Electric charge Static electricity Electric field Conductor Insulator Triboelectricity Electrostatic discharge Induction Coulomb's law Gauss's law Electric flux / potential energy Electric dipole moment Polarization density
Magnetostatics Ampère's law Magnetic field Magnetization Magnetic flux Biot–Savart law Magnetic dipole moment Gauss's law for magnetism
Electrodynamics Lorentz force law Electromagnetic induction Faraday's law Lenz's law Displacement current Magnetic potential Maxwell's equations Electromagnetic field Electromagnetic pulse Electromagnetic radiation Maxwell tensor Poynting vector Liénard–Wiechert potential Jefimenko's equations Eddy current London equations Mathematical descriptions of the electromagnetic field
Electrical network Electric current Electric potential Voltage Resistance Ohm's law Series circuit Parallel circuit Direct current Alternating current Electromotive force Capacitance Inductance Impedance Resonant cavities Waveguides
Covariant formulation Electromagnetic tensor (stress–energy tensor) Four-current Electromagnetic four-potential
Scientists Ampère Coulomb Faraday Gauss Heaviside Henry Hertz Lorentz Maxwell Tesla Volta Weber Ørsted

In electromagnetism, the electromagnetic tensor or electromagnetic field tensor (sometimes called the field strength tensor, Faraday tensor or Maxwell bivector) is a mathematical object that describes the electromagnetic field in spacetime. The field tensor was first used after the four-dimensional tensor formulation of special relativity was introduced by Hermann Minkowski. The tensor allows related physical laws to be written very concisely.

Definition

The electromagnetic tensor, conventionally labelled F, is defined as the exterior derivative of the electromagnetic four-potential, A, a differential 1-form:^[1]^[2]

F \ \stackrel{\mathrm{def}}{=}\ \mathrm{d}A.

Therefore, F is a differential 2-form—that is, an antisymmetric rank-2 tensor field—on Minkowski space. In component form,

F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu.

where $\partial$ is the four-gradient and $A$ is the four-potential.

SI units for Maxwell's equations and the particle physicist's sign convention for the signature of Minkowski space (+ − − −), will be used throughout this article.

Relationship with the classical fields

The electric and magnetic fields can be obtained from the components of the electromagnetic tensor. The relationship is simplest in Cartesian coordinates:

E_{i}=cF_{{0i}},

where c is the speed of light, and

B_{i}=-{\frac {1}{2}}\epsilon _{ijk}F^{jk},

where $\epsilon _{ijk}$ is the Levi-Civita symbol. Note that this gives the fields in a particular reference frame; if the reference frame is changed, the components of the electromagnetic tensor will transform covariantly, and the fields in the new frame will be given by the new components.

In contravariant matrix form,

{\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}}=F^{\mu \nu }.

The covariant form is given by index lowering,

F_{\mu \nu }=\eta _{\mu \alpha }F^{\alpha \beta }\eta _{\beta \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}}.

The mixed-variance form appears in the Lorentz force equation when using the contravariant four-velocity: ${\frac {dp^{\mu }}{d\tau }}=F^{\mu }{}_{\nu }qu^{\nu }$ , where

F^{\mu }{}_{\nu }=F^{\mu \beta }\eta _{\beta \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}}.

From now on in this article, when the electric or magnetic fields are mentioned, a Cartesian coordinate system is assumed, and the electric and magnetic fields are with respect to the coordinate system's reference frame, as in the equations above.

Properties

The matrix form of the field tensor yields the following properties:^[3]

Antisymmetry:
$F^{\mu \nu }=-F^{\nu \mu }$
(hence the name bivector).
Six independent components: In Cartesian coordinates, these are simply the three spatial components of the electric field (E_x, E_y, E_z) and magnetic field (B_x, B_y, B_z).
Inner product: If one forms an inner product of the field strength tensor a Lorentz invariant is formed
$F_{\mu \nu }F^{\mu \nu }=2\left(B^{2}-{\frac {E^{2}}{c^{2}}}\right)$
meaning this number does not change from one frame of reference to another.
Pseudoscalar invariant: The product of the tensor $F^{\mu\nu}$ with its Hodge dual $G^{\mu \nu }$ gives a Lorentz invariant:
$G_{\gamma \delta }F^{\gamma \delta }={\frac {1}{2}}\epsilon _{\alpha \beta \gamma \delta }F^{\alpha \beta }F^{\gamma \delta }=-{\frac {4}{c}}{\mathbf {B}}\cdot {\mathbf {E}}\,$
where $\epsilon _{\alpha \beta \gamma \delta }$ is the rank-4 Levi-Civita symbol. The sign for the above depends on the convention used for the Levi-Civita symbol. The convention used here is $\epsilon _{{0123}}=-1$ .
Determinant:
$\det \left(F\right)={\frac {1}{c^{2}}}\left({\mathbf {B}}\cdot {\mathbf {E}}\right)^{2}$
which is proportional to the square of the above invariant.

Significance

This tensor simplifies and reduces Maxwell's equations as four vector calculus equations into two tensor field equations. In electrostatics and electrodynamics, Gauss's law and Ampère's circuital law are respectively:

\nabla \cdot \mathbf{E} = \frac{\rho}{\epsilon_0},\quad \nabla \times \mathbf{B} - \frac{1}{c^2} \frac{ \partial \mathbf{E}}{\partial t} = \mu_0 \mathbf{J}

and reduce to the inhomogeneous Maxwell equation:

\partial_{\alpha} F^{\alpha\beta} = \mu_0 J^{\beta}

where

J^{\alpha} = ( c\rho, \mathbf{J} )

is the four-current. In magnetostatics and magnetodynamics, Gauss's law for magnetism and Maxwell–Faraday equation are respectively:

\nabla \cdot \mathbf{B} = 0,\quad \frac{ \partial \mathbf{B}}{ \partial t } + \nabla \times \mathbf{E} = 0

which reduce to Bianchi identity:

\partial_\gamma F_{ \alpha \beta } + \partial_\alpha F_{ \beta \gamma } + \partial_\beta F_{ \gamma \alpha } = 0

or using the index notation with square brackets^{[note 1]} for the antisymmetric part of the tensor:

\partial_{ [ \alpha } F_{ \beta \gamma ] } = 0

Relativity

The field tensor derives its name from the fact that the electromagnetic field is found to obey the tensor transformation law, this general property of (non-gravitational) physical laws being recognised after the advent of special relativity. This theory stipulated that all the (non-gravitational) laws of physics should take the same form in all coordinate systems – this led to the introduction of tensors. The tensor formalism also leads to a mathematically simpler presentation of physical laws.

The inhomogeneous Maxwell equation leads to the continuity equation:

\partial _{\alpha }J^{\alpha }=J^{\alpha }{}_{,\alpha }=0

implying conservation of charge.

Maxwell's laws above can be generalised to curved spacetime by simply replacing partial derivatives with covariant derivatives:

F_{[\alpha\beta;\gamma]} = 0

and

F^{\alpha \beta }{}_{;\alpha }=\mu _{0}J^{\beta }

where the semi-colon notation represents a covariant derivative, as opposed to a partial derivative. These equations are sometimes referred to as the curved space Maxwell equations. Again, the second equation implies charge conservation (in curved spacetime):

J^\alpha{}_{;\alpha} \, = 0

Lagrangian formulation of classical electromagnetism

Classical electromagnetism and Maxwell's equations can be derived from the action:

{\mathcal {S}}=\int \left(-{\begin{matrix}{\frac {1}{4\mu _{0}}}\end{matrix}}F_{{\mu \nu }}F^{{\mu \nu }}-J^{\mu }A_{\mu }\right){\mathrm {d}}^{4}x\,

where

\mathrm{d}^4 x \;

is over space and time.

This means the Lagrangian density is

{\begin{aligned}{\mathcal {L}}&=-{\frac {1}{4\mu _{0}}}F_{\mu \nu }F^{\mu \nu }-J^{\mu }A_{\mu }\\&=-{\frac {1}{4\mu _{0}}}\left(\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu }\right)\left(\partial ^{\mu }A^{\nu }-\partial ^{\nu }A^{\mu }\right)-J^{\mu }A_{\mu }\\&=-{\frac {1}{4\mu _{0}}}\left(\partial _{\mu }A_{\nu }\partial ^{\mu }A^{\nu }-\partial _{\nu }A_{\mu }\partial ^{\mu }A^{\nu }-\partial _{\mu }A_{\nu }\partial ^{\nu }A^{\mu }+\partial _{\nu }A_{\mu }\partial ^{\nu }A^{\mu }\right)-J^{\mu }A_{\mu }\\\end{aligned}}

The two middle terms in the parentheses are the same, as are the two outer terms, so the Lagrangian density is

{\mathcal {L}}=-{\frac {1}{2\mu _{0}}}\left(\partial _{\mu }A_{\nu }\partial ^{\mu }A^{\nu }-\partial _{\nu }A_{\mu }\partial ^{\mu }A^{\nu }\right)-J^{\mu }A_{\mu }.

Substituting this into the Euler–Lagrange equation of motion for a field:

\partial_\mu \left( \frac{\partial \mathcal{L}}{\partial ( \partial_\mu A_\nu )} \right) - \frac{\partial \mathcal{L}}{\partial A_\nu} = 0

So the Euler–Lagrange equation becomes:

-\partial _{\mu }{\frac {1}{\mu _{0}}}\left(\partial ^{\mu }A^{\nu }-\partial ^{\nu }A^{\mu }\right)+J^{\nu }=0.\,

The quantity in parentheses above is just the field tensor, so this finally simplifies to

\partial _{\mu }F^{{\mu \nu }}=\mu _{0}J^{\nu }

That equation is another way of writing the two inhomogeneous Maxwell's equations (namely, Gauss's law and Ampère's circuital law) using the substitutions:

{\begin{aligned}{\frac {1}{c}}E^{i}&=-F^{0i}\\\epsilon ^{ijk}B_{k}&=-F^{ij}\end{aligned}}

where i, j, k take the values 1, 2, and 3.

Quantum electrodynamics and field theory

The Lagrangian of quantum electrodynamics extends beyond the classical Lagrangian established in relativity to incorporate the creation and annihilation of photons (and electrons):

{\mathcal {L}}={\bar {\psi }}\left(i\hbar c\,\gamma ^{\alpha }D_{\alpha }-mc^{2}\right)\psi -{\frac {1}{4\mu _{0}}}F_{\alpha \beta }F^{\alpha \beta },

where the first part in the right hand side, containing the Dirac spinor $\psi$ , represents the Dirac field. In quantum field theory it is used as the template for the gauge field strength tensor. By being employed in addition to the local interaction Lagrangian it reprises its usual role in QED.

Notes

^ By definition,
$T_{[abc]} = \frac{1}{3!}(T_{abc} + T_{bca} + T_{cab} - T_{acb} - T_{bac} - T_{cba})$

So if

$\partial_\gamma F_{ \alpha \beta } + \partial_\alpha F_{ \beta \gamma } + \partial_\beta F_{ \gamma \alpha } = 0$

then

$\begin{align} 0 & = \begin{matrix} \frac{2}{6} \end{matrix} ( \partial_\gamma F_{ \alpha \beta } + \partial_\alpha F_{ \beta \gamma } + \partial_\beta F_{ \gamma \alpha }) \\ & = \begin{matrix} \frac{1}{6} \end{matrix} \{ \partial_\gamma (2F_{ \alpha \beta }) + \partial_\alpha (2F_{ \beta \gamma }) + \partial_\beta (2F_{ \gamma \alpha }) \} \\ & = \begin{matrix} \frac{1}{6} \end{matrix} \{ \partial_\gamma (F_{ \alpha \beta } - F_{ \beta \alpha}) + \partial_\alpha (F_{ \beta \gamma } - F_{ \gamma \beta}) + \partial_\beta (F_{ \gamma \alpha } - F_{ \alpha \gamma}) \} \\ & = \begin{matrix} \frac{1}{6} \end{matrix} ( \partial_\gamma F_{ \alpha \beta } + \partial_\alpha F_{ \beta \gamma } + \partial_\beta F_{ \gamma \alpha } - \partial_\gamma F_{ \beta \alpha} - \partial_\alpha F_{ \gamma \beta} - \partial_\beta F_{ \alpha \gamma} ) \\ & = \partial_{[ \gamma} F_{ \alpha \beta ]} \end{align}$

Notes

↑ J. A. Wheeler; C. Misner; K. S. Thorne (1973). Gravitation. W.H. Freeman & Co. ISBN 0-7167-0344-0.
↑ D. J. Griffiths (2007). Introduction to Electrodynamics (3rd ed.). Pearson Education, Dorling Kindersley. ISBN 81-7758-293-3.
↑ J. A. Wheeler; C. Misner; K. S. Thorne (1973). Gravitation. W.H. Freeman & Co. ISBN 0-7167-0344-0.

References

Brau, Charles A. (2004). Modern Problems in Classical Electrodynamics. Oxford University Press. ISBN 0-19-514665-4.
Jackson, John D. (1999). Classical Electrodynamics. John Wiley & Sons, Inc. ISBN 0-471-30932-X.
Peskin, Michael E.; Schroeder, Daniel V. (1995). An Introduction to Quantum Field Theory. Perseus Publishing. ISBN 0-201-50397-2.

Tensors

Glossary of tensor theory

Scope

Mathematics	coordinate system multilinear algebra Euclidean geometry tensor algebra dyadic algebra differential geometry exterior calculus tensor calculus
Physics Engineering	continuum mechanics electromagnetism transport phenomena general relativity computer vision

Notation

Tensor definitions

Operations

Related abstractions

Notable tensors

Mathematics	Kronecker delta Levi-Civita symbol metric tensor nonmetricity tensor Christoffel symbols Ricci curvature Riemann curvature tensor Weyl tensor torsion tensor
Physics	moment of inertia angular momentum tensor spin tensor Cauchy stress tensor stress–energy tensor EM tensor gluon field strength tensor Einstein tensor metric tensor (GR)

Mathematicians

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

Electromagnetic tensor

Definition

Relationship with the classical fields

Properties

Significance

Relativity

Lagrangian formulation of classical electromagnetism

Quantum electrodynamics and field theory

See also

Notes

Notes

References