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 of a physical system. The field tensor was first used after the 4dimensional tensor formulation of special relativity was introduced by Hermann Minkowski. The tensor allows some physical laws to be written in a very concise form.
Contents

Definition 1

Relationship with the classical fields 1.1

Properties 1.2

Significance 1.3

Relativity 2

Lagrangian formulation of classical electromagnetism 3

Quantum electrodynamics and field theory 3.1

Notes 4

See also 5

References 6
Definition
The electromagnetic tensor, conventionally labelled F, is defined as the exterior derivative of the electromagnetic fourpotential, A, a differential 1form:^{[1]}^{[2]}

F \ \stackrel{\mathrm{def}}{=}\ \mathrm{d}A.
Therefore F is a differential 2form—that is, an antisymmetric rank2 tensor field—on Minkowski space. In component form,

F_{\mu\nu} = \partial_\mu A_\nu  \partial_\nu A_\mu.
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 electromagnetic tensor is completely isomorphic to the electric and magnetic fields, though the electric and magnetic fields change with the choice of the reference frame, while the electromagnetic tensor does not. In general, the relationship is quite complicated, but in Cartesian coordinates, using the coordinate system's own reference frame, the relationship is very simple.

E_i = c F_{0i},
where c is the speed of light, and

B_i = \frac 1 2 \epsilon_{ijk} F^{jk},
where \epsilon_{ijk} is the LeviCivita symbol. 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 mixedvariance form appears in the Lorentz force equation when using the contravariant fourvelocity: \frac{d p^\mu}{d \tau} = q F^{\mu}{}_{\nu} u^\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 being assumed, and the electric and magnetic fields are with respect to coordinate system's own 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 \scriptstyle (F^{\mu\nu}) with its dual tensor \scriptstyle (G^{\mu\nu}) gives the 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} \left( \bold B \cdot \bold E \right) \,
where \epsilon_{\alpha\beta\gamma\delta} is the rank4 LeviCivita symbol. The sign for the above depends on the convention used for the LeviCivita symbol. The convention used here is \epsilon_{0123} = 1 .

Determinant:

\det \left( F \right) = \frac{1}{c^2} \left( \bold B \cdot \bold 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 4current. 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 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 (nongravitational) physical laws being recognised after the advent of special relativity. This theory stipulated that all the (nongravitational) 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_ = 0 and F^{\alpha\beta}{}_{;\alpha} \, = \mu_0 J^{\beta}
where the semicolon 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{align} \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{align}
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:

~E^i/c = F^{0 i} \,

\epsilon^{ijk} B_k = F^{ij} \,
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, from \mathcal{L}=\bar\psi(i\hbar c \, \gamma^\alpha D_\alpha  mc^2)\psi \frac{1}{4 \mu_0}F_{\alpha\beta}F^{\alpha\beta}, to incorporate the creation and annihilation of photons (and electrons).
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_ = \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_ \end{align}
See also
References

^ J. A. Wheeler, C. Misner, K. S. Thorne (1973).

^ D. J. Griffiths (2007). Introduction to Electrodynamics (3rd ed.). Pearson Education, Dorling Kindersley.

^ J. A. Wheeler, C. Misner, K. S. Thorne (1973).

Brau, Charles A. (2004). Modern Problems in Classical Electrodynamics. Oxford University Press.

Jackson, John D. (1999). Classical Electrodynamics. John Wiley & Sons, Inc.

Peskin, Michael E.; Schroeder, Daniel V. (1995). An Introduction to Quantum Field Theory. Perseus Publishing.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.