Jump to content

Electromagnetic four-potential: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
 
(One intermediate revision by one other user not shown)
Line 12: Line 12:


The contravariant '''electromagnetic four-potential''' can be defined as:<ref name=Griffiths>{{cite book|title=Introduction to Electrodynamics|edition=3rd|author=D.J. Griffiths|publisher=Pearson Education, Dorling Kindersley|year=2007|isbn=978-81-7758-293-2}}</ref>
The contravariant '''electromagnetic four-potential''' can be defined as:<ref name=Griffiths>{{cite book|title=Introduction to Electrodynamics|edition=3rd|author=D.J. Griffiths|publisher=Pearson Education, Dorling Kindersley|year=2007|isbn=978-81-7758-293-2}}</ref>
: {| class="wikitable"

:{| class="wikitable"
|-
|-
! SI units
! SI units
Line 20: Line 19:
| <math>A^\alpha = \left( \frac{1}{c}\phi, \mathbf{A} \right)\,\!</math> || <math>A^\alpha = (\phi, \mathbf{A})</math>
| <math>A^\alpha = \left( \frac{1}{c}\phi, \mathbf{A} \right)\,\!</math> || <math>A^\alpha = (\phi, \mathbf{A})</math>
|}
|}
in which ''ϕ'' is the [[electric potential]], and '''A''' is the [[magnetic vector potential|magnetic potential]] (a [[vector potential]]). The unit of ''A<sup>α</sup>'' is [[volt|V]]·[[second|s]]·[[metre|m]]<sup>−1</sup> in SI, and [[maxwell (unit)|Mx]]·[[centimeter|cm]]<sup>−1</sup> in [[Gaussian units|Gaussian-CGS]].

in which ''ϕ'' is the [[electric potential]], and '''A''' is the [[magnetic vector potential|magnetic potential]] (a [[vector potential]]). The units of ''A<sup>α</sup>'' are [[volt|V]]·[[second|s]]·[[metre|m]]<sup>−1</sup> in SI, and [[maxwell (unit)|Mx]]·[[centimeter|cm]]<sup>−1</sup> in [[Gaussian units|Gaussian-cgs]].


The electric and magnetic fields associated with these four-potentials are:<ref name=grant />
The electric and magnetic fields associated with these four-potentials are:<ref name=grant />
: {| class="wikitable"

:{| class="wikitable"
|-
|-
! SI units
! SI units
Line 35: Line 32:
|}
|}


In [[special relativity]], the electric and magnetic fields transform under [[Lorentz transformations]]. This can be written in the form of a rank two [[tensor]] - the [[electromagnetic tensor]]. The 16 contravariant components of the electromagnetic tensor, using [[Minkowski metric]] convention (+ − − −), are written in terms of the electromagnetic four-potential and the [[four-gradient]] as:
In [[special relativity]], the electric and magnetic fields transform under [[Lorentz transformations]]. This can be written in the form of a rank two [[tensor]] the [[electromagnetic tensor]]. The 16 contravariant components of the electromagnetic tensor, using [[Minkowski metric]] convention {{nowrap|(+ − − −)}}, are written in terms of the electromagnetic four-potential and the [[four-gradient]] as:
: <math>F^{\mu\nu} = \partial^{\mu}A^{\nu} - \partial^{\nu}A^{\mu} =

:<math>F^{\mu\nu} = \partial^{\mu}A^{\nu} - \partial^{\nu}A^{\mu} =
\begin{bmatrix}
\begin{bmatrix}
0 & -E_x/c & -E_y/c & -E_z/c \\
0 & -E_x/c & -E_y/c & -E_z/c \\
Line 46: Line 42:
</math>
</math>


If the said signature is instead (− + + +) then:
If the said signature is instead {{nowrap|(− + + +)}} then:

:<math>F'\,^{\mu\nu} = \partial'\,^{\mu}A^{\nu} - \partial'\,^{\nu}A^{\mu} =
:<math>F'\,^{\mu\nu} = \partial'\,^{\mu}A^{\nu} - \partial'\,^{\nu}A^{\mu} =
\begin{bmatrix}
\begin{bmatrix}
Line 60: Line 55:


== In the Lorenz gauge ==
== In the Lorenz gauge ==
<!--- The correct name is Lorenz and NOT Lorentz (no t!!) Please do not change Lorenz to Lorentz!! Thanks --->
<!--- The correct name is Lorenz and NOT Lorentz (no 't'!!) Please do not change Lorenz to Lorentz!! Thanks --->
{{main|Mathematical descriptions of the electromagnetic field|Retarded potential}}
{{main|Mathematical descriptions of the electromagnetic field|Retarded potential}}
Often, the [[Lorenz gauge condition]] <math>\partial_{\alpha} A^{\alpha} = 0</math> in an [[inertial frame of reference]] is employed to simplify [[Maxwell's equations]] as:<ref name=Griffiths />
Often, the [[Lorenz gauge condition]] <math>\partial_{\alpha} A^{\alpha} = 0</math> in an [[inertial frame of reference]] is employed to simplify [[Maxwell's equations]] as:<ref name=Griffiths />
: {| class="wikitable"

:{| class="wikitable"
|-
|-
! SI units
! SI units
Line 71: Line 65:
| <math>\Box A^\alpha = \mu_0 J^\alpha</math> || <math> \Box A^\alpha = \frac{4 \pi}{c} J^\alpha </math>
| <math>\Box A^\alpha = \mu_0 J^\alpha</math> || <math> \Box A^\alpha = \frac{4 \pi}{c} J^\alpha </math>
|}
|}

where ''J<sup>α</sup>'' are the components of the [[four-current]], and
where ''J<sup>α</sup>'' are the components of the [[four-current]], and
: <math>\Box = \frac{1}{c^2} \frac{\partial^2}{\partial t^2} - \nabla^2 = \partial^\alpha \partial_\alpha</math>

:<math>\Box = \frac{1}{c^2} \frac{\partial^2}{\partial t^2} - \nabla^2 = \partial^\alpha \partial_\alpha</math>

is the [[d'Alembertian]] operator. In terms of the scalar and vector potentials, this last equation becomes:
is the [[d'Alembertian]] operator. In terms of the scalar and vector potentials, this last equation becomes:
: {| class="wikitable"

:{| class="wikitable"
|-
|-
! SI units
! SI units
! Gaussian units
! Gaussian units
|-
|-
| <math>\Box \phi = \frac{\rho}{\epsilon_0}</math> || <math>\Box \phi = 4 \pi \rho</math>
| <math>\Box \phi = -\frac{\rho}{\epsilon_0}</math> || <math>\Box \phi = 4 \pi \rho</math>
|-
|-
| <math>\Box \mathbf{A} = \mu_0 \mathbf{j}</math> || <math>\Box \mathbf{A} = \frac{4 \pi}{c} \mathbf{j}</math>
| <math>\Box \mathbf{A} = -\mu_0 \mathbf{j}</math> || <math>\Box \mathbf{A} = \frac{4 \pi}{c} \mathbf{j}</math>
|}
|}


For a given charge and current distribution, {{nowrap|''ρ''('''r''', ''t'')}} and {{nowrap|'''j'''('''r''', ''t'')}}, the solutions to these equations in SI units are:<ref name=grant>{{cite book|title=Electromagnetism|url=https://archive.org/details/electromagnetism0000gran|url-access=registration|edition=2nd|author=I.S. Grant, W.R. Phillips|publisher=Manchester Physics, John Wiley & Sons|year=2008|isbn=978-0-471-92712-9}}</ref>
For a given charge and current distribution, {{nowrap|''ρ''('''r''', ''t'')}} and {{nowrap|'''j'''('''r''', ''t'')}}, the solutions to these equations in SI units are:<ref name=grant>{{cite book|title=Electromagnetism|url=https://archive.org/details/electromagnetism0000gran|url-access=registration|edition=2nd|author=I.S. Grant, W.R. Phillips|publisher=Manchester Physics, John Wiley & Sons|year=2008|isbn=978-0-471-92712-9}}</ref>
: <math>\begin{align}

:<math>\begin{align}
\phi (\mathbf{r}, t) &= \frac{1}{4 \pi \epsilon_0} \int \mathrm{d}^3 x^\prime \frac{\rho\left( \mathbf{r}^\prime, t_r\right)}{ \left| \mathbf{r} - \mathbf{r}^\prime \right|} \\
\phi (\mathbf{r}, t) &= \frac{1}{4 \pi \epsilon_0} \int \mathrm{d}^3 x^\prime \frac{\rho\left( \mathbf{r}^\prime, t_r\right)}{ \left| \mathbf{r} - \mathbf{r}^\prime \right|} \\
\mathbf A (\mathbf{r}, t) &= \frac{\mu_0}{4 \pi} \int \mathrm{d}^3 x^\prime \frac{\mathbf{j}\left( \mathbf{r}^\prime, t_r\right)}{ \left| \mathbf{r} - \mathbf{r}^\prime \right|},
\mathbf A (\mathbf{r}, t) &= \frac{\mu_0}{4 \pi} \int \mathrm{d}^3 x^\prime \frac{\mathbf{j}\left( \mathbf{r}^\prime, t_r\right)}{ \left| \mathbf{r} - \mathbf{r}^\prime \right|},
\end{align}</math>
\end{align}</math>

where
where
:<math>t_r = t - \frac{\left|\mathbf{r} - \mathbf{r}'\right|}{c}</math>
: <math>t_r = t - \frac{\left|\mathbf{r} - \mathbf{r}'\right|}{c}</math>

is the [[retarded time]]. This is sometimes also expressed with
is the [[retarded time]]. This is sometimes also expressed with
:<math>\rho\left(\mathbf{r}', t_r\right) = \left[\rho\left(\mathbf{r}', t\right)\right],</math>
: <math>\rho\left(\mathbf{r}', t_r\right) = \left[\rho\left(\mathbf{r}', t\right)\right],</math>

where the square brackets are meant to indicate that the time should be evaluated at the retarded time. Of course, since the above equations are simply the solution to an [[Homogeneous differential equation|inhomogeneous]] [[differential equation]], any solution to the homogeneous equation can be added to these to satisfy the [[boundary condition]]s. These homogeneous solutions in general represent waves propagating from sources outside the boundary.
where the square brackets are meant to indicate that the time should be evaluated at the retarded time. Of course, since the above equations are simply the solution to an [[Homogeneous differential equation|inhomogeneous]] [[differential equation]], any solution to the homogeneous equation can be added to these to satisfy the [[boundary condition]]s. These homogeneous solutions in general represent waves propagating from sources outside the boundary.


Line 108: Line 94:


When [[Musical isomorphism|flattened]] to a [[one-form]] (in tensor notation, <math>A_\mu</math>), the four-potential <math>A</math> (normally written as a vector or, <math>A^\mu</math> in tensor notation) can be decomposed{{clarify|date=November 2022|reason=What are the operators? d is the four gradient, but what is delta. Which differential complex?}} via the [[Hodge theory|Hodge decomposition theorem]] as the sum of an [[Closed and exact differential forms|exact]], a coexact, and a harmonic form,
When [[Musical isomorphism|flattened]] to a [[one-form]] (in tensor notation, <math>A_\mu</math>), the four-potential <math>A</math> (normally written as a vector or, <math>A^\mu</math> in tensor notation) can be decomposed{{clarify|date=November 2022|reason=What are the operators? d is the four gradient, but what is delta. Which differential complex?}} via the [[Hodge theory|Hodge decomposition theorem]] as the sum of an [[Closed and exact differential forms|exact]], a coexact, and a harmonic form,
: <math>A = d \alpha + \delta \beta + \gamma</math>.

:<math>A = d \alpha + \delta \beta + \gamma</math>.


There is [[gauge freedom]] in {{math|''A''}} in that of the three forms in this decomposition, only the coexact form has any effect on the [[electromagnetic tensor]]
There is [[gauge freedom]] in {{math|''A''}} in that of the three forms in this decomposition, only the coexact form has any effect on the [[electromagnetic tensor]]
: <math>F = d A</math>.

:<math>F = d A</math>.


Exact forms are closed, as are harmonic forms over an appropriate domain, so <math>d d \alpha = 0</math> and <math>d\gamma = 0</math>, always. So regardless of what <math>\alpha</math> and <math>\gamma</math> are, we are left with simply
Exact forms are closed, as are harmonic forms over an appropriate domain, so <math>d d \alpha = 0</math> and <math>d\gamma = 0</math>, always. So regardless of what <math>\alpha</math> and <math>\gamma</math> are, we are left with simply
: <math>F = d \delta \beta</math>.

:<math>F = d \delta \beta</math>.


In infinite flat Minkowski space, every closed form is exact. Therefore the <math>\gamma</math> term vanishes. Every gauge transform of <math>A</math> can thus be written as
In infinite flat Minkowski space, every closed form is exact. Therefore the <math>\gamma</math> term vanishes. Every gauge transform of <math>A</math> can thus be written as
: <math>A \Rightarrow A + d\alpha</math>.

:<math>A \Rightarrow A + d\alpha</math>.


== See also ==
== See also ==
Line 132: Line 114:
== References ==
== References ==
{{reflist}}
{{reflist}}
* {{cite book| author=Rindler, Wolfgang| title=Introduction to Special Relativity (2nd)| location=Oxford| publisher=Oxford University Press| year=1991| isbn=0-19-853952-5| url-access=registration| url=https://archive.org/details/introductiontosp0000rind}}
* {{cite book | author=Rindler, Wolfgang | title=Introduction to Special Relativity (2nd) | location=Oxford | publisher=Oxford University Press | year=1991 | isbn=0-19-853952-5 | url-access=registration | url=https://archive.org/details/introductiontosp0000rind }}
* {{cite book | author = Jackson, J D | title=Classical Electrodynamics (3rd) | location =New York | publisher=Wiley | year = 1999 | isbn=0-471-30932-X}}
* {{cite book | author = Jackson, J D | title=Classical Electrodynamics (3rd) | location =New York | publisher=Wiley | year = 1999 | isbn=0-471-30932-X }}


[[Category:Theory of relativity]]
[[Category:Theory of relativity]]

Latest revision as of 10:48, 18 December 2024

An electromagnetic four-potential is a relativistic vector function from which the electromagnetic field can be derived. It combines both an electric scalar potential and a magnetic vector potential into a single four-vector.[1]

As measured in a given frame of reference, and for a given gauge, the first component of the electromagnetic four-potential is conventionally taken to be the electric scalar potential, and the other three components make up the magnetic vector potential. While both the scalar and vector potential depend upon the frame, the electromagnetic four-potential is Lorentz covariant.

Like other potentials, many different electromagnetic four-potentials correspond to the same electromagnetic field, depending upon the choice of gauge.

This article uses tensor index notation and the Minkowski metric sign convention (+ − − −). See also covariance and contravariance of vectors and raising and lowering indices for more details on notation. Formulae are given in SI units and Gaussian-cgs units.

Definition

[edit]

The contravariant electromagnetic four-potential can be defined as:[2]

SI units Gaussian units

in which ϕ is the electric potential, and A is the magnetic potential (a vector potential). The unit of Aα is V·s·m−1 in SI, and Mx·cm−1 in Gaussian-CGS.

The electric and magnetic fields associated with these four-potentials are:[3]

SI units Gaussian units

In special relativity, the electric and magnetic fields transform under Lorentz transformations. This can be written in the form of a rank two tensor – the electromagnetic tensor. The 16 contravariant components of the electromagnetic tensor, using Minkowski metric convention (+ − − −), are written in terms of the electromagnetic four-potential and the four-gradient as:

If the said signature is instead (− + + +) then:

This essentially defines the four-potential in terms of physically observable quantities, as well as reducing to the above definition.

In the Lorenz gauge

[edit]

Often, the Lorenz gauge condition in an inertial frame of reference is employed to simplify Maxwell's equations as:[2]

SI units Gaussian units

where Jα are the components of the four-current, and

is the d'Alembertian operator. In terms of the scalar and vector potentials, this last equation becomes:

SI units Gaussian units

For a given charge and current distribution, ρ(r, t) and j(r, t), the solutions to these equations in SI units are:[3]

where

is the retarded time. This is sometimes also expressed with

where the square brackets are meant to indicate that the time should be evaluated at the retarded time. Of course, since the above equations are simply the solution to an inhomogeneous differential equation, any solution to the homogeneous equation can be added to these to satisfy the boundary conditions. These homogeneous solutions in general represent waves propagating from sources outside the boundary.

When the integrals above are evaluated for typical cases, e.g. of an oscillating current (or charge), they are found to give both a magnetic field component varying according to r−2 (the induction field) and a component decreasing as r−1 (the radiation field).[clarification needed]

Gauge freedom

[edit]

When flattened to a one-form (in tensor notation, ), the four-potential (normally written as a vector or, in tensor notation) can be decomposed[clarification needed] via the Hodge decomposition theorem as the sum of an exact, a coexact, and a harmonic form,

.

There is gauge freedom in A in that of the three forms in this decomposition, only the coexact form has any effect on the electromagnetic tensor

.

Exact forms are closed, as are harmonic forms over an appropriate domain, so and , always. So regardless of what and are, we are left with simply

.

In infinite flat Minkowski space, every closed form is exact. Therefore the term vanishes. Every gauge transform of can thus be written as

.

See also

[edit]

References

[edit]
  1. ^ Gravitation, J.A. Wheeler, C. Misner, K.S. Thorne, W.H. Freeman & Co, 1973, ISBN 0-7167-0344-0
  2. ^ a b D.J. Griffiths (2007). Introduction to Electrodynamics (3rd ed.). Pearson Education, Dorling Kindersley. ISBN 978-81-7758-293-2.
  3. ^ a b I.S. Grant, W.R. Phillips (2008). Electromagnetism (2nd ed.). Manchester Physics, John Wiley & Sons. ISBN 978-0-471-92712-9.