HOME | REACH US  
 



.com .net .org .info .mobi
.biz .us .co.uk .in
.eu .ws .bz .cc .tv Etc.
Domain Names

Website Development
Web Hosting
Email Hosting
Digital Certificate
Etc.

@ Best Prices From

www.DomainsUAE.com
Covariant formulation of classical electromagnetism
   
Google
 
Web libraryoflibrary.com
Electromagnetism
Electricity · Magnetism
This box: view  talk  edit

The covariant formulation of classical electromagnetism refers to ways of writing the laws of classical electromagnetism (in particular, Maxwell's equations and the Lorentz force) in a form which is "manifestly covariant" (i.e. in terms of covariant four-vectors and tensors), in the formalism of special relativity. These expressions both make it simple to prove that the laws of classical electromagnetism take the same form in any inertial coordinate system, and also provide a way to translate the fields and forces from one frame to another.

The Minkowski metric used in this article is assumed to have the form diag (-1, +1, +1, +1). The purely spatial components of the tensors (including vectors) are given in SI units. This article uses the classical treatment of tensors and the Einstein summation convention throughout. Where the equations are specified as holding in a vacuum, one could instead regard them as the formulation of Maxwell's equations in terms of total charge and current.

For a more general overview of the relationships between classical electromagnetism and special relativity, including various conceptual implications of this picture, see the article: Classical electromagnetism and special relativity.

Contents

Covariant objects

[] Electromagnetic tensor

The electromagnetic tensor is the combination of the electric and magnetic fields into a covariant antisymmetric tensor. In volt·seconds/meter2, the field strength tensor is written in terms of fields as:

F_{\alpha \beta} = \left( \begin{matrix}
0 &  \frac{-E_x}{c} &  \frac{-E_y}{c} &  \frac{-E_z}{c} \\
\frac{E_x}{c} & 0 & B_z & -B_y \\
\frac{E_y}{c}  & -B_z & 0 & B_x \\
\frac{E_z}{c} & B_y & -B_x & 0
\end{matrix} \right)

and the result of raising its indices is

F^{\mu \nu} \, \stackrel{\mathrm{def}}{=} \, \eta^{\mu \alpha} \, F_{\alpha \beta} \, \eta^{\beta \nu} = \left( \begin{matrix}
0 &  \frac{E_x}{c} &  \frac{E_y}{c} &  \frac{E_z}{c} \\
\frac{-E_x}{c} & 0 & B_z & -B_y \\
\frac{-E_y}{c}  & -B_z & 0 & B_x \\
\frac{-E_z}{c} & B_y & -B_x & 0
\end{matrix} \right).

Four-Current

Main article: Four-current

The four-current is the contravariant four-vector which combines electric current and electric charge density. In amperes/meter2, it is given by

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

where ? is the charge density,  \mathbf{J} is the current density, and c is the speed of light.

Four-potential

Main article: Four-potential

In volt·seconds/meter, the electromagnetic four-potential is a covariant four-vector containing the electric potential and magnetic vector potential, as follows:

A_{\alpha} = \left( - \phi/c, \mathbf{A} \right)

where f is the scalar potential and  \mathbf{A} is the vector potential.

The relation between the electromagnetic potentials and the electromagnetic fields is given by the following equation:

F_{\alpha \beta} = \partial_{\alpha} A_{\beta} - \partial_{\beta} A_{\alpha} \,

where

\partial_\alpha = \frac{\partial}{\partial x^{\alpha}} = \left( \frac{1}{c} \frac{\partial}{\partial t}, \mathbf{\nabla} \right) \,.

Electromagnetic stress-energy tensor

The electromagnetic stress-energy tensor is a contravariant symmetric tensor which is the contribution of the electromagnetic fields to the overall stress-energy tensor. In joules/meters3, it is given by

T^{\alpha\beta} = \begin{bmatrix} \frac{1}{2}(\epsilon_{0}E^2 + \frac{1}{\mu_{0}}B^2) & S_x/c & S_y/c & S_z/c \\ S_x/c & -\sigma_{xx} & -\sigma_{xy} & -\sigma_{xz} \\
S_y/c & -\sigma_{yx} & -\sigma_{yy} & -\sigma_{yz} \\
S_z/c & -\sigma_{zx} & -\sigma_{zy} & -\sigma_{zz} \end{bmatrix}

where e0 is the electric permittivity of vacuum, µ0 is the magnetic permeability of vacuum, the Poynting vector is

\mathbf{S} = \frac{1}{\mu_{0}} \mathbf{E} \times \mathbf{B} \,

and the Maxwell stress tensor is given by

\sigma_{ij} = \epsilon_{0}E_{i}E_{j} + \frac{1}{\mu_{0}}B_{i}B_{j} - 
\tfrac{1}{2}(\epsilon_{0}E^2 + \frac{1}{\mu_{0}}B^2)\delta_{ij} \,.

The electromagnetic stress-energy tensor is related to the electromagnetic field tensor by the equation:

T^{\alpha\beta} = \frac{-1}{\mu_{0}} ( F^{\alpha \gamma}\eta_{\gamma \nu}F^{\nu \beta} + \frac{1}{4}\eta^{\alpha\beta}F_{\gamma \nu}F^{\gamma \nu})

where \eta \, is the Minkowski metric tensor. Notice that we use the fact that

\epsilon_{0} \mu_{0} c^2 = 1\,.

Other, non-electromagnetic objects

For background purposes, we present here three other relevant four-vectors, which are not directly connected to electromagnetism, but which will be useful in this article:

  • In meters, the "position" or "coordinate" four-vector is
x^\alpha = (ct, x, y, z) \,.
u^\alpha = \gamma(c,\mathbf{u}) \,
where \mathbf{u} \, is the (three-vector) velocity and \gamma \, is the Lorentz factor associated with \mathbf{u} \,.
p_\alpha = (- E/c, \mathbf{p}) = m \, \eta_{\alpha \nu} \, u^{\nu} \,
where \mathbf{p} \, is the (three-vector) momentum, E is the energy, and m is the particle's rest mass.

Maxwell's equations

Main article: Maxwell's equations

In a vacuum, Maxwell's equations can be written as two tensor equations

\frac{\partial F^{\beta \alpha}}{\partial x^\alpha} = \mu_{0} J^\beta
\qquad\hbox{and}\qquad
0 = \epsilon^{\alpha \beta \gamma \delta} \frac{\partial F_{\alpha \beta}}{\partial x^\gamma}

where F is the electromagnetic tensor, J a is the 4-current, ? aß?d is the Levi-Civita symbol (a mathematical construct), and the indices behave according to the Einstein summation convention.

The first tensor equation is an expression of the two inhomogeneous Maxwell's equations, Gauss's Law and Ampere's Law (with Maxwell's correction). The second equation is an expression of the homogeneous equations, Faraday's law of induction and Gauss's law for magnetism.

In the absence of sources, Maxwell's equations reduce to a wave equation in the field strength:

 \eta^{\gamma \nu} \partial_{\gamma} \partial_{\nu}  F^{\alpha\beta} \, \stackrel{\mathrm{def}}{=} \, \Box F^{\alpha\beta} \, \stackrel{\mathrm{def}}{=} \, \nabla^2 F^{\alpha\beta} - {1 \over c^2 } { \partial^2 F^{\alpha\beta} \over {\partial t }^2   } = 0 \,.

Here,  \Box is the d'Alembertian operator.

Other notation

Without the summation convention or the Levi-Civita symbol, the equations would be written

\sum_{x^\alpha =ct,x,y,z}{\partial F^{\beta \alpha}\over\partial x^\alpha} = \mu_{0} J^{\beta}
\qquad\hbox{and}\qquad
0 = {\partial F_{\alpha\beta}\over\partial x^\gamma}
 + {\partial F_{\beta\gamma}\over\partial x^\alpha}
 + {\partial F_{\gamma\alpha}\over\partial x^\beta}

where all indices range from 0 to 3 (or, more descriptively, xa ranges over the set {ct,x,y,z}), where c is the speed of light in free space. The first tensor equation corresponds to four scalar equations, one for each value of ß. The second tensor equation actually corresponds to 43 = 64 different scalar equations, but only four of these are independent.

For convenience, professionals often write the 4-gradient (that is, the derivative with respect to x) using abbreviated notations; for instance,

{\partial F^{\alpha\beta}\over \partial x^\gamma} \, \stackrel{\mathrm{def}}{=} \, \partial_\gamma F^{\alpha\beta} \, \stackrel{\mathrm{def}}{=} \, {F^{\alpha\beta}}_{,\gamma} \,.

Using the latter notation, Maxwell's equations can be written as 
{F^{\beta \alpha}}_{,\alpha} = \mu_0 J^\beta and \epsilon^{\alpha\beta\gamma\delta} {F_{\alpha\beta,\gamma}}=0\ .

Continuity equation

The continuity equation which expresses the fact that charge is conserved is:

{J^{\alpha}}_{,\alpha} \, \stackrel{\mathrm{def}}{=} \,  \partial_{\alpha} J^{\alpha} \, = \, 0 \,.

Lorentz force

Main article: Lorentz force

Fields are detected by their effect on the motion of matter. Electromagnetic fields affect the motion of particles through the Lorentz force. Using the Lorentz force, Newton's law of motion can be written in relativistic form using the field strength tensor as[1]

 \frac{d p_{\alpha}}{d \tau} \, = q \, F_{\alpha \beta} \, u^\beta

where p is the four-momentum (see above), q is the charge, u is the four-velocity (see above), and t is the particle's proper time.

In terms of (normal) time instead of proper time, the equation is

 { d p_{\alpha} \over { d t } } =  q \, F_{\alpha \beta} \, \frac{d x^\beta}{d t} \,.

In a continuous medium, the 3D density of force combines with the density of power to form a covariant 4-vector, f_{\mu} \,. The spatial part is the result of dividing the force on a small cell (in 3-space) by the volume of that cell. The time component is -1/c times the power transferred to that cell divided by the volume of the cell. The density of Lorentz force is the part of the density of force due to electromagnetism. Its spatial part is \mathbf{f} = \rho \mathbf{E} + \mathbf{J} \times \mathbf{B}. In manifestly covariant notation it becomes:

f_{\mu} = F_{\mu\nu}J^{\nu} .\!

Differential equation for electromagnetic stress-energy tensor

The electromagnetic stress-energy tensor (defined above) satisfies the following differential equation, relating it to the electromagnetic tensor and the current four-vector

\eta_{\alpha \nu} { T^{\nu \beta } }_{,\beta} + F_{\alpha \beta} J^{\beta} = 0 \,

which expresses the conservation of linear momentum and energy by electromagnetic interactions.

Lorenz gauge condition

The Lorenz gauge condition is a Lorentz-invariant gauge condition. (This can be contrasted with other gauge conditions such as the Coulomb gauge, which if it holds in one inertial frame will generally not hold in any other.) It is expressed in terms of the four-potential as follows:

\eta^{\alpha \nu} \, \partial_{\alpha} A_{\nu} = 0 \,.

Maxwell's equations in the Lorenz gauge

In the Lorenz gauge, Maxwell's equations for a vacuum can be written as:

\eta^{\sigma \nu} \, \Box A_{\nu} = - \mu_{0} \, J^{\sigma}

where \Box denotes the d'Alembertian.

Bound current

In order to solve the equations of electromagnetism given here, it is necessary to add information about how to calculate the electric current, J^{\alpha} \,. Frequently, it is convenient to separate the current into two parts, the free current and the bound current, which are modeled by different equations.

J^{\alpha} = {J^{\alpha}}_{\text{free}} + {J^{\alpha}}_{\text{bound}} \,.

The bound current is derived from the magnetization and electric polarization which form an antisymmetric contravariant magnetization-polarization tensor


  \mathcal{M}^{\mu \nu} =
  \begin{pmatrix}
   0     & -P_xc & -P_yc & -P_zc \\
   P_xc & 0      & M_z   & -M_y    \\
   P_yc & -M_z    & 0      & M_x   \\
   P_zc & M_y   & -M_x    & 0       
  \end{pmatrix}

which is determines the bound current so

{J^{\mu}}_{\text{bound}} = \partial_{\nu} \mathcal{M}^{\mu \nu} \,.

If this is combined with F^{\mu \nu} \,, we get the antisymmetric contravariant electromagnetic displacement tensor which combines the electric displacement [D_x,D_y,D_z] \! and the magnetic field [H_x,H_y,H_z] \, as follows


  \mathcal{D}^{\mu \nu} =
  \begin{pmatrix}
   0     & D_xc & D_yc & D_zc \\
   -D_xc & 0      & H_z   & -H_y    \\
   -D_yc & -H_z    & 0      & H_x   \\
   -D_zc & H_y   & -H_x    & 0       
  \end{pmatrix}.

They are related by

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

which is equivalent to the constitutive equations \mathbf{D} = \epsilon_0 \mathbf{E} + \mathbf{P} \, and \mathbf{H} = \frac{1}{\mu_{0}} \mathbf{B} - \mathbf{M} \,. And the result is that Ampère's law, \mathbf{\nabla} \times \mathbf{H} = \mathbf{J}_{\text{free}} + \frac{\partial \mathbf{D}} {\partial t}, and Gauss's law, \mathbf{\nabla} \cdot \mathbf{D} = \rho_{\text{free}}, combine to form:

{J^{\mu}}_{\text{free}} = \partial_{\nu} \mathcal{D}^{\mu \nu} \,.

The bound current and free current as defined above are automatically and separately conserved

\partial_{\mu} {J^{\mu}}_{\text{bound}} = 0 \,
\partial_{\mu} {J^{\mu}}_{\text{free}} = 0 \,.

Thus we have reduced the problem of modeling the current, J^{\alpha}\,, to two (hopefully) easier problems — modeling the free current, {J^{\alpha}}_{\text{free}}\,, and modeling the magnetization and polarization, \mathcal{M}^{\alpha \beta}\,. For example, in the simplest materials at low frequencies, one has

\mathbf{J}_{\text{free}} = \sigma \mathbf{E} \,
\mathbf{P} = \epsilon_0 \chi_e \mathbf{E} \,
\mathbf{M} = \chi_m \mathbf{H} \,

where one is in the instantaneously-comoving inertial frame of the material, s is its electrical conductivity, ?e is its electric susceptibility, and ?m is its magnetic susceptibility.

Lagrangian for classical electrodynamics

In a vacuum, the Lagrangian for classical electrodynamics (in joules/meter3) is

 \mathcal{L} \, = \, \mathcal{L}_{\mathrm{field}} + \mathcal{L}_{\mathrm{int}} = - \frac{1}{4 \mu_0} F^{\alpha \beta} F_{\alpha \beta} + A_{\alpha} J^{\alpha} \,.

In the interaction term, the four-current should be understood as an abbreviation of many terms expressing the electric currents of other charged fields in terms of their variables; the four-current is not itself a fundamental field.

If we separate free currents from bound currents, the Lagrangian becomes

 \mathcal{L} \, = \, - \frac{1}{4 \mu_0} F^{\alpha \beta} F_{\alpha \beta} + A_{\alpha} J^{\alpha}_{\text{free}} + \frac12 F_{\alpha \beta} \mathcal{M}^{\alpha \beta} \,.

The equivalent expression in non-relativistic vector notation is

 \mathcal{L} \, = \, \frac12 (\epsilon_{0} E^2 - \frac{1}{\mu_{0}} B^2) - \phi \, \rho_{\text{free}} + \mathbf{A} \cdot \mathbf{J}_{\text{free}} + \mathbf{E} \cdot \mathbf{P} + \mathbf{B} \cdot \mathbf{M} \,.

In general relativity

In general relativity, the metric, g, is no longer a constant (?) but can vary from place to place and time to time. The metric tensor is the potential of the gravitational field. In general relativity, the equations of electromagnetism in a vacuum become:

 F_{\alpha \beta} \, = \, \partial_{\alpha} A_{\beta} \, - \, \partial_{\beta} A_{\alpha} \,
 \mathcal{D}^{\mu\nu} \, = \, \frac{1}{\mu_{0}} \, g^{\mu\alpha} \, F_{\alpha\beta} \, g^{\beta\nu} \, \sqrt{-g} \,
 J^{\mu} \, = \, \partial_\nu \mathcal{D}^{\mu \nu} \,
 f_\mu \, = \, F_{\mu\nu} \, J^\nu \,

where fµ is the density of Lorentz force, g is the reciprocal of the metric tensor g, and g is the determinant of the metric tensor. Notice that Aa and F are (ordinary) tensors while  \mathcal{D}^{\mu\nu} , Jµ, and fµ are tensor densities of weight +1. All derivatives are partial derivatives — if one replaced them with covariant derivatives, the extra terms thereby introduced would cancel out.

See also

Notes and references

  1. ^ The assumption is made that no forces other than those originating in E and B are present, that is, no gravitational, weak or strong forces.

Further reading

[1] Einstein, A. (1961). Relativity: The Special and General Theory. New York: Crown. ISBN 0-517-02961-8. 
[2] Misner, Charles; Thorne, Kip S. & Wheeler, John Archibald (1973). Gravitation. San Francisco: W. H. Freeman. ISBN 0-7167-0344-0. 
[3] Landau, L. D. and Lifshitz, E. M. (1975). Classical Theory of Fields (Fourth Revised English Edition). Oxford: Pergamon. ISBN 0-08-018176-7. 
[4] R. P. Feynman, F. B. Moringo, and W. G. Wagner (1995). Feynman Lectures on Gravitation. Addison-Wesley. ISBN 0-201-62734-5. 


Index Of Related Pages




All pages | Previous page (Cousin Dud LeBlanc) | Next page (Coventry Cathedral)

Covariant formulation of classical electromagnetism
Covariant return type
Covariant transformation
Covariate
Covariation modelCovarionCovarrubias
Covarrubias, SpainCovarrubias (disambiguation)
Covas
Covasna
Covasna CountyCovasna River (Bahlui)
Covasna River (Râul Negru)Covasnita River
Cove
Cove, Argyll and ButeCove, ArkansasCove, Devon
Cove, Hampshire
Cove, OregonCove, Scottish Borders
Cove, Texas
Cove, UtahCove (Appalachian Mountains)
Cove (disambiguation)Cove (standing stones)Cove Bay
Cove Beach
Cove Brook
Cove Burying Ground
Cove City, North CarolinaCove F.C.
Cove Fort
Cove Gap, PennsylvaniaCove Halt railway station
Cove Island Park
Cove Island lighthouseCove LRT StationCove Lake State Park
Cove Neck, New York
Cove Point Light
Cove Rangers F.C.
Cove Road StadiumCove Side Ranch Port Airport
Cove lighting
Cove section of Stamford
Covedale, Cincinnati, Ohio
Covedale, Ohio
CovehitheCoveleski
Covell Street School
CovelliteCovelo
Covelo, CaliforniaCovelo, Galicia
Covelo (Gondomar)Covelo AVA
CovelongCoven
Coven (band)Coven (film)
Coven of the Far Flung Net
Covenant
Covenant-breaker
Covenant (Alias TV series)
Covenant (Greg Brown album)Covenant (Halo)
Covenant (Latter Day Saints)Covenant (Morbid Angel album)
Covenant (Star Trek: Deep Space Nine)
Covenant (UFO album)
Covenant (album)
Covenant (band)Covenant (biblical)
Covenant (disambiguation)
Covenant (theology)
Covenant Aviation SecurityCovenant AwardsCovenant Bible College Canada
Covenant Chain
Covenant Christian Academy (Cumming, Georgia)Covenant Christian High SchoolCovenant Christian School
Covenant CodeCovenant College
Covenant College, CanberraCovenant College (disambiguation)Covenant Day School
Covenant Evangelical Free ChurchCovenant EyesCovenant Fellowship Church
Covenant First Presbyterian ChurchCovenant Health Systems
Covenant HouseCovenant Life
Covenant Life, AlaskaCovenant Life Church
Covenant Party
Covenant Party (Northern Mariana Islands)Covenant Players
Covenant Society
Covenant Theological SeminaryCovenant Transport
Covenant University
Covenant marriage
Covenant of Bahá'u'lláhCovenant of Omar
Covenant of Primus
Covenant of Unitarian Universalist Pagans
Covenant of the GoddessCovenant of the League of Nations
Covenant running with the land
Covenant theology
Covenantal Theology (Roman Catholic)Covenantal nomism
Covenanted Baptist Church of Canada
Covenanter
Covenanter tank
CoveneyCoveney, Cambridgeshire
Covenham St Bartholomew
CovensteadCovent Garden
Covent Garden tube station
Coventina
Coventry
Coventry, ConnecticutCoventry, New York
Coventry, Rhode Island
Coventry, Vermont
Coventry-EagleCoventry-Nuneaton Line
Coventry-Victor
Coventry (RTA Rapid Transit station)
Coventry (UK Parliament constituency)
Coventry (comics)Coventry (disambiguation)
Coventry (horse)Coventry (short story)
Coventry AirportCoventry Alliance Football League
Coventry Automatics Aka the Specials: Dawning of a New EraCoventry Bears
Coventry BeesCoventry BlazeCoventry Blaze (ENL)
Coventry Blaze seasonsCoventry Blitz
Coventry Blue Coat Church of England SchoolCoventry Building SocietyCoventry Canal
Coventry CarolCoventry Castle

Previous page (Cousin Dud LeBlanc) | Next page (Coventry Cathedral)



BUILD YOUR WEB SITE WITH www.DomainsUAE.com