In classical electromagnetism, magnetic vector potential (often denoted A) is the vector quantity defined so that its curl is equal to the magnetic field, B: <math display="inline"> \nabla \times \mathbf{A} = \mathbf{B}</math>. Together with the electric potential φ, the magnetic vector potential can be used to specify the electric field E as well. Therefore, many equations of electromagnetism can be written either in terms of the fields E and B, or equivalently in terms of the potentials φ and A. In more advanced theories such as quantum mechanics, most equations use potentials rather than fields.
Magnetic vector potential was independently introduced by Franz Ernst Neumann and Wilhelm Eduard Weber in 1845 and in 1846, respectively to discuss Ampère's circuital law. William Thomson also introduced the modern version of the vector potential in 1847, along with the formula relating it to the magnetic field.
Unit conventions
This article uses the SI system.
In the SI system, the units of A are V·s·m<sup>−1</sup> or Wb·m<sup>−1</sup> and are the same as that of momentum per unit charge, or force per unit current.
Definition
The magnetic vector potential, <math>\mathbf{A}</math>, is a vector field, and the electric potential, <math>\phi</math>, is a scalar field such that:
<math display="block">\mathbf{B} = \nabla \times \mathbf{A}\ , \quad \mathbf{E} = -\nabla \phi - \frac{ \partial \mathbf{A} }{ \partial t },</math>
where <math>\mathbf{B}</math> is the magnetic field and <math>\mathbf{E} </math> is the electric field. In magnetostatics where there is no time-varying current or charge distribution, only the first equation is needed. (In the context of electrodynamics, the terms vector potential and scalar potential are used for magnetic vector potential and electric potential, respectively. In mathematics, vector potential and scalar potential can be generalized to higher dimensions.)
If electric and magnetic fields are defined as above from potentials, they automatically satisfy two of Maxwell's equations: Gauss's law for magnetism and Faraday's law. For example, if <math>\mathbf{A}</math> is continuous and well-defined everywhere, then it is guaranteed not to result in magnetic monopoles. (In the mathematical theory of magnetic monopoles, <math>\mathbf{A}</math> is allowed to be either undefined or multiple-valued in some places; see magnetic monopole for details).
Starting with the above definitions and remembering that the divergence of the curl is zero and the curl of the gradient is the zero vector:
<math display="block">\begin{align}
\nabla \cdot \mathbf{B} &= \nabla \cdot \left(\nabla \times \mathbf{A}\right) = 0\ ,\\
\nabla \times \mathbf{E} &= \nabla \times \left( -\nabla\phi - \frac{ \partial\mathbf{A} }{ \partial t } \right) = -\frac{ \partial }{ \partial t } \left(\nabla \times \mathbf{A}\right) = -\frac{ \partial \mathbf{B} }{ \partial t } ~.
\end{align}</math>
Alternatively, the existence of <math>\mathbf{A}</math> and <math>\phi</math> is guaranteed from these two laws using Helmholtz's theorem. For example, since the magnetic field is divergence-free (Gauss's law for magnetism; i.e., <math>\nabla \cdot \mathbf{B} = 0</math>), <math> \mathbf{A}</math> always exists that satisfies the above definition.
The vector potential <math>\mathbf{A} </math> is used when studying the Lagrangian in classical mechanics and in quantum mechanics (see Schrödinger equation for charged particles, Dirac equation, Aharonov–Bohm effect).
In minimal coupling, <math>q \mathbf{A} </math> is called the potential momentum, and is part of the canonical momentum.
The line integral of <math>\mathbf{A}</math> over a closed loop, <math>\Gamma</math>, is equal to the magnetic flux, <math>\Phi_{\mathbf{B</math>, through a surface, <math>S</math>, that it encloses:
<math display="block">\oint_\Gamma \mathbf{A}\, \cdot\ d{\mathbf{\Gamma = \iint_S \nabla\times\mathbf{A}\ \cdot\ d \mathbf{S} = \Phi_\mathbf{B} ~.</math>
Therefore, the units of <math>\mathbf{A}</math> are also equivalent to weber per metre. The above equation is useful in the flux quantization of superconducting loops.
In the Coulomb gauge <math> \nabla \cdot \mathbf{A} = 0 </math>, there is a formal analogy between the relationship between the vector potential and the magnetic field to Ampere's law <math> \nabla \times \mathbf{B} = \mu_0 \mathbf{J} </math>. Thus, when finding the vector potential of a given magnetic field, one can use the same methods one uses when finding the magnetic field given a current distribution.
Although the magnetic field, <math>\mathbf{B}</math>, is a pseudovector (also called axial vector), the vector potential, <math>\mathbf{A}</math>, is a polar vector. This means that if the right-hand rule for cross products were replaced with a left-hand rule, but without changing any other equations or definitions, then <math>\mathbf{B}</math> would switch signs, but A would not change. This is an example of a general theorem: The curl of a polar vector is a pseudovector, and vice versa.
<math display="block"> \nabla^2 \mathbf{A} = -\mu_0 \mathbf{J} </math>
just like the electrostatic equation
<math display="block"> \nabla^2 V = -\frac{\rho}{\epsilon_0} </math>
Likewise one can integrate to obtain the potentials:
<math display="block"> \mathbf{A}(\mathbf{r}) = \frac{\mu_0}{4 \pi} \int_R \frac{\mathbf{J}(\mathbf{r}')}{\left | \mathbf{r} - \mathbf{r}' \right |} \mathrm{d}^3 r'</math>
just like the equation for the electric potential:
<math display="block"> V(\mathbf{r}) = \frac{1}{4\pi\varepsilon_0} \int_R \frac{\rho(\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|} \mathrm{d}^3 r' </math>
Interpretation as potential momentum
By equating Newton's second law with the Lorentz force law we can obtain
We can analyze this problem from the perspective of generalized momentum conservation.) with the boundary condition that both potentials go to zero sufficiently fast as they approach infinity are called the retarded potentials, which are the magnetic vector potential <math>\mathbf{A}(\mathbf{r}, t) </math> and the electric scalar potential <math>\phi(\mathbf{r}, t)</math> due to a current distribution of current density <math>\mathbf{J}(\mathbf{r}, t)</math>, charge density <math>\rho(\mathbf{r}, t) </math>, and volume <math>\Omega </math>, within which <math>\rho</math> and <math>\mathbf{J}</math> are non-zero at least sometimes and some places):
- Solutions <math display="block">\begin{align}
\mathbf{A}\!\left(\mathbf{r}, t\right) &= \frac{\mu_0}{\ 4\pi\ } \int_\Omega \frac{ \mathbf{J}{\left(\mathbf{r}' , t'\right)} } R\ d^3\mathbf{r}' \\
\phi\!\left(\mathbf{r}, t\right) &= \frac{1}{4\pi\epsilon_0} \int_\Omega \frac{ \rho {\left(\mathbf{r}' , t'\right)} } R\ d^3\mathbf{r}'
\end{align}</math>
where the fields at position vector <math>\mathbf{r}</math> and time <math>t</math> are calculated from sources at distant position <math>\mathbf{r}' </math> at an earlier time <math>t' .</math> The location <math>\mathbf{r}'</math> is a source point in the charge or current distribution (also the integration variable, within volume <math>\Omega</math>). The earlier time <math>t'</math> is called the retarded time, and calculated as
<math display="block"> t' = t - \frac{\ R \ }{c} ~.</math>
where
<math display="block"> R = \bigl\|\mathbf{r} - \mathbf{r}' \bigr\| ~.</math>
With these equations:
- The Lorenz gauge condition is satisfied: <math display="block">\ \nabla \cdot \mathbf{A} + \frac{1}{\ c^2}\frac{\partial\phi}{\partial t} = 0 ~.</math>
- The position of <math>\mathbf{r}</math>, the point at which values for <math>\phi</math> and <math>\mathbf{A}</math> are found, only enters the equation as part of the scalar distance from <math>\mathbf{r}'</math> to <math>\mathbf{r} .</math> The direction from <math>\mathbf{r}'</math> to <math>\mathbf{r} </math> does not enter into the equation. The only thing that matters about a source point is how far away it is.
- The integrand uses retarded time, <math>t' .</math> This reflects the fact that changes in the sources propagate at the speed of light. Hence the charge and current densities affecting the electric and magnetic potential at <math>\mathbf{r}</math> and <math>t</math>, from remote location <math> \mathbf{r}' </math> must also be at some prior time <math>t'.</math>
- The equation for <math>\mathbf{A}</math> is a vector equation. In Cartesian coordinates, the equation separates into three scalar equations: <math display="block">\begin{align}
A_x{\left(\mathbf{r}, t\right)} &= \frac{\mu_0}{\ 4\pi\ } \int_\Omega \frac{J_x{\left(\mathbf{r}', t'\right) R \, d^3\mathbf{r}'\ , \\
A_y{\left(\mathbf{r}, t\right)} &= \frac{\mu_0}{\ 4\pi\ } \int_\Omega \frac{J_y{\left(\mathbf{r}', t'\right) R \, d^3\mathbf{r}'\ , \\
A_z{\left(\mathbf{r}, t\right)} &= \frac{\mu_0}{\ 4\pi\ } \int_\Omega \frac{J_z{\left(\mathbf{r}', t'\right) R \, d^3\mathbf{r}' ~.
\end{align}</math> In this form it is apparent that the component of <math>\mathbf{A}</math> in a given direction depends only on the components of <math>\mathbf{J} </math> that are in the same direction. If the current is carried in a straight wire, <math>\mathbf{A}</math> points in the same direction as the wire.
Frequency domain
The preceding time domain equations can be expressed in the frequency domain.
- Lorenz gauge <math display="block">\nabla \cdot \mathbf{A} + \frac{j \omega}{c^2} \phi= 0 </math> or <math display="block"> \phi = \frac {j \omega}{k^2} \nabla \cdot \mathbf{A} </math>
- Solutions <math display="block">\begin{align}
\mathbf{A}\!\left(\mathbf{r}, \omega \right) &= \frac{\mu_0}{\ 4\pi\ } \int_\Omega \frac{ \mathbf{J}{\left(\mathbf{r}' , \omega \right)} }R\ e^{-jkR} d^3 \mathbf{r}' \\
\phi\!\left(\mathbf{r}, \omega \right) &= \frac{1}{4\pi\epsilon_0} \int_\Omega \frac{ \rho {\left(\mathbf{r}', \omega \right)} } R \ e^{-jkR} d^3 \mathbf{r}'
\end{align}</math>
- Wave equations <math display="block">\begin{align}
\nabla^2 \phi + k^2 \phi &= - \frac{\rho}{\epsilon_0} \\
\nabla^2 \mathbf{A} + k^2 \mathbf{A} &= - \mu_0 \mathbf{J} .
\end{align} </math>
- Electromagnetic field equations <math display="block">\begin{align}
\mathbf{B} &= \nabla \times \mathbf{A} \\
\mathbf{E} &= -\nabla \phi - j \omega \mathbf{A} = - j \omega \mathbf{A} -j \frac {\omega}{k^2} \nabla ( \nabla \cdot \mathbf{A} )
\end{align}</math>
where
There are a few notable things about <math>\mathbf{A}</math> and <math>\phi</math> calculated in this way:
- The Lorenz gauge condition is satisfied: <math>\textstyle \phi = -\frac {c^2}{j \omega}\nabla \cdot \mathbf{A}. </math> This implies that the frequency domain electric potential, <math>\phi</math>, can be computed entirely from the current density distribution, <math>\mathbf{J}</math>.
- The position of <math>\mathbf{r},</math> the point at which values for <math>\phi</math> and <math>\mathbf{A}</math> are found, only enters the equation as part of the scalar distance from <math>\mathbf{r}'</math> to <math>\ \mathbf{r}.</math> The direction from <math>\mathbf{r}'</math> to <math>\mathbf{r}</math> does not enter into the equation. The only thing that matters about a source point is how far away it is.
- The integrand uses the phase shift term <math> e^{-jkR} </math> which plays a role equivalent to retarded time. This reflects the fact that changes in the sources propagate at the speed of light; propagation delay in the time domain is equivalent to a phase shift in the frequency domain.
- The equation for <math>\mathbf{A}</math> is a vector equation. In Cartesian coordinates, the equation separates into three scalar equations: for the depiction of the <math>\mathbf{A}</math> field around a long thin solenoid.
Since
<math display="block">\nabla \times \mathbf{B} = \mu_0\ \mathbf{J}</math>
assuming quasi-static conditions, i.e.
: <math>\frac{\ \partial\mathbf{E}\ }{\partial t} \to 0\ </math> and <math>\ \nabla \times \mathbf{A} = \mathbf{B}</math>,
the lines and contours of <math>\ \mathbf{A}\ </math> relate to <math>\ \mathbf{B}\ </math> like the lines and contours of <math>\mathbf{B}</math> relate to <math>\ \mathbf{J} .</math> Thus, a depiction of the <math>\mathbf{A}</math> field around a loop of <math>\mathbf{B}</math> flux (as would be produced in a toroidal inductor) is qualitatively the same as the <math>\mathbf{B}</math> field around a loop of current.
The figure to the right is an artist's depiction of the <math> \mathbf{A} </math> field. The thicker lines indicate paths of higher average intensity (shorter paths have higher intensity so that the path integral is the same). The lines are drawn to (aesthetically) impart the general look of the
The drawing tacitly assumes <math> \nabla \cdot \mathbf{A} = 0</math>, true under any one of the following assumptions:
- the Coulomb gauge is assumed
- the Lorenz gauge is assumed and there is no distribution of charge, <math>\rho = 0</math>
- the Lorenz gauge is assumed and zero frequency is assumed
- the Lorenz gauge is assumed and a non-zero frequency, but still assumed sufficiently low to neglect the term <math>\textstyle \frac{1}{c} \frac{\partial\phi}{\partial t} </math>
Electromagnetic four-potential
In the context of special relativity, it is natural to join the magnetic vector potential together with the (scalar) electric potential into the electromagnetic potential, also called four-potential.
One motivation for doing so is that the four-potential is a mathematical four-vector. Thus, using standard four-vector transformation rules, if the electric and magnetic potentials are known in one inertial reference frame, they can be simply calculated in any other inertial reference frame.
Another, related motivation is that the content of classical electromagnetism can be written in a concise and convenient form using the electromagnetic four potential, especially when the Lorenz gauge is used. In particular, in abstract index notation, the set of Maxwell's equations (in the Lorenz gauge) may be written (in Gaussian units) as follows:
<math display="block">\begin{align}
\partial^\nu A_\nu &= 0 \\
\Box^2 A_\nu &= \frac{ 4\pi }{\ c\ }\ J_\nu
\end{align}</math>
where <math>\ \Box^2\ </math> is the d'Alembertian and <math>\ J\ </math> is the four-current. The first equation is the Lorenz gauge condition while the second contains Maxwell's equations. The four-potential also plays a very important role in quantum electrodynamics.
Interpretation
By the Helmholtz theorem, a vector field is described completely by its divergence and curl. As was initially defined solely by its curl (<math display="inline"> \nabla \times \mathbf{A} = \mathbf{B}</math>), we are justified by choosing any definition of <math>\nabla\cdot\mathbf{A}</math>, provided that we consistently use this definition in all subsequent analysis. All such definitions are valid, and lead to different sets of equations which describe the same phenomena, and the solutions of the equations for any choice of <math>\nabla\cdot\mathbf{A}</math> lead to the same electromagnetic fields, and the same physical predictions about the fields and charges.
It is natural to think that if a quantity exhibits this degree of freedom in its choice, then it should not be interpreted as a real physical quantity. After all, if we can freely choose <math>\nabla\cdot\mathbf{A}</math> to be anything, then <math>\mathbf{A}</math> is not unique. One may ask: what is the "true" value of <math>\mathbf{A}</math> measured in an experiment? If <math>\mathbf{A}</math> is not unique, then the only logical answer must be that we can never measure the value of <math>\mathbf{A}</math>. On this basis, it is often stated that it is not a real physical quantity and it is believed that the fields <math>\mathbf{E}</math> and <math>\mathbf{B}</math> are the true physical quantities.
However, there is at least one experiment in which value of the <math>\mathbf{E}</math> and <math>\mathbf{B}</math> are both zero at the location of a charged particle, but it is nevertheless affected by the presence of a local magnetic vector potential; see the Aharonov–Bohm effect for details. Nevertheless, even in the Aharonov–Bohm experiment, the divergence <math>\mathbf{A}</math> never enters the calculations; only <math>\nabla\times\mathbf{A}</math> along the path of the particle determines the measurable effect.
See also
- Magnetic scalar potential
- Aharonov–Bohm effect
- Gluon field
