Ampère's circuital law

'''Ampère's circuital law''', discovered by André-Marie Ampère in 1826, relates the magnetic field around a closed loop to the electric current passing through the loop. It is now one of Maxwell's equations, which form the basis of classical electromagnetism.

## Original Ampère's circuital law
The law relates magnetic fields to electric currents that produce them. A scientist can use Ampere's law to determine the magnetic field associated with a given current or current associated with a given magnetic field, if there is no time changing electric field present.
In its original form, Ampère's Circuital Law relates the magnetic field to its electric current source. 
The law can be written in two forms, the "integral form" and the "differential form". The forms are equivalent, and related by the Kelvin–Stokes theorem. It can also be written in terms of either the **B** or **H** magnetic fields. Again, the two forms are equivalent (see the "proof" section below).

Ampère's circuital law is now known to be a correct law of physics in a magnetostatic situation: The system is static except possibly for continuous steady currents within closed loops. In all other cases the law is incorrect unless Maxwell's correction is included (see below).

### Integral form
In SI units (the version in cgs units is in a later section), the "integral form" of the original Ampère's circuital law is:

*\oint_C \mathbf{B} \cdot \mathrm{d}\boldsymbol{\ell} = \mu_0 \iint_S \mathbf{J} \cdot \mathrm{d}\mathbf{S}
*\oint_C \mathbf{H} \cdot \mathrm{d}\boldsymbol{\ell} = \iint_S \mathbf{J}_{\mathrm{f}} \cdot \mathrm{d}\mathbf{S}
or equivalently,
*\oint_C \mathbf{B} \cdot \mathrm{d}\boldsymbol{\ell} = \mu_0 I_{\mathrm{enc}} 
*\oint_C \mathbf{H} \cdot \mathrm{d}\boldsymbol{\ell} = I_{\mathrm{f,enc}} 
where
*• is the vector dot product, \textstyle \oint_C  is the closed line integral around the closed curve *C*, \textstyle \iint_S denotes an integral over the surface *S* enclosed by the curve *C* (the double integral sign is meant simply to denote that the integral is two-dimensional in nature);
***B** is the magnetic B-field in teslas, **H** is the magnetic H-field in ampere per metre;
**I*f,enc is the net free current that penetrates through the surface *S*, *I*enc is the total net current that penetrates through the surface *S*, including both free and bound current.
***J**f is the free current density through the surface *S* enclosed by the curve *C*, **J** is the total current density through the surface *S* enclosed by the curve *C*, including both free and bound current;
*d**ℓ** is an infinitesimal element (a differential) of the curve *C* (i.e. a vector with magnitude equal to the length of the infinitesimal line element, and direction given by the tangent to the curve *C*), d**S** is the vector area of an infinitesimal element of surface *S* (that is, a vector with magnitude equal to the area of the infinitesimal surface element, and direction normal to surface *S*. The direction of the normal must correspond with the orientation of *C* by the right hand rule);
**μ*0 is the magnetic constant;

See below for further explanation of the curve *C* and surface *S*. There are a number of ambiguities in the above definitions that require clarification and a choice of convention.

First, three of these terms are associated with sign ambiguities: the line integral \textstyle \oint_C  could go around the loop in either direction (clockwise or counterclockwise); the vector area d**S** could point in either of the two directions normal to the surface; and *I*enc is the net current passing through the surface *S*, meaning the current passing through in one direction, minus the current in the other direction—but either direction could be chosen as positive. These ambiguities are resolved by the right-hand rule: With the palm of the right-hand toward the area of integration, and the index-finger pointing along the direction of line-integration, the outstretched thumb points in the direction that must be chosen for the vector area d**S**. Also the current passing in the same direction as d**S** must be counted as positive. The right hand grip rule can also be used to determine the signs.

Second, there are infinitely many possible surfaces *S* that have the curve *C* as their border. (Imagine a soap film on a wire loop, which can be deformed by moving the wire). Which of those surfaces is to be chosen? If the loop does not lie in a single plane, for example, there is no one obvious choice.  The answer is that it does not matter; it can be proven that any surface with boundary *C* can be chosen.

### Differential form 
By the Kelvin–Stokes theorem, this equation can also be written in a "differential form". Again, this equation only applies in the case where the electric field is constant in time; see below for the more general form. In SI units, the equation states:

:\mathbf{\nabla} \times \mathbf{B} = \mu_0 \mathbf{J} 
:\mathbf{\nabla} \times \mathbf{H} = \mathbf{J_f} 
where
:\mathbf{\nabla} \times \!\  is the curl operator.

## Note on free current versus bound current
The electric current that arises in the simplest textbook situations would be classified as "free current." For example, the law can apply to the current that passes through a wire or battery. In contrast, "bound current" arises in the context of bulk materials that can be magnetized and/or polarized. (All materials can to some extent.) 

When a material is magnetized (for example, by placing it in an external magnetic field), the electrons remain bound to their respective atoms, but behave as if they were orbiting the nucleus in a particular direction, creating a microscopic current. When the currents from all these atoms are put together, they create the same effect as a macroscopic current, circulating perpetually around the magnetized object. This magnetization current ***JM*** is one contribution to "bound current". 

The other source of bound current is bound charge. When an electric field is applied, the positive and negative bound charges can separate over atomic distances in polarizable materials, and when the bound charges move, the polarization changes, creating another contribution to the "bound current", the polarization current ***JP***.

The total current density ***J***  due to free and bound charges is then:

:\mathbf{J} =\mathbf{J_f +J_M +J_P} \ , 

with ***Jf*** the "free" or "conduction" current density.

All current is fundamentally the same, microscopically. There are often practical reasons for wanting to treat bound current differently from free current. For example, the bound current usually originates over atomic dimensions, and one may wish to take advantage of a simpler theory intended for larger dimensions. The result is that the more microscopic Ampère's law, expressed in terms of **B** and the microscopic current (which includes free, magnetization and polarization currents), is sometimes put into the equivalent form below in terms of **H** and the free current only. For a detailed definition of free current and bound current, and the proof that the two formulations are equivalent, see the "proof" section below.

## Shortcomings of the original formulation of Ampère's circuital law
Two issues regarding Ampère's law are important. First, there is an issue regarding the continuity equation for electrical charge.  There is a theorem in vector calculus that states the divergence of a curl must always be zero. Hence 

:\nabla\cdot(\nabla\times\bold{B}) = 0 

and so the original Ampère's law implies that 

:\nabla\cdot \bold{J} = 0 

But in general 

:\nabla\cdot \bold{J} = -\frac{\partial \rho}{\partial t} 

which is non-zero for a time-varying charge density. An example occurs in a capacitor circuit where time-varying charge densities exist on the plates.

Second, there is an issue regarding the propagation of electromagnetic waves. For example, in free space, where 

:\bold{J} = \bold{0} 

Ampère's law implies that 

:\nabla\times\bold{B} = \bold{0} 

but instead 

:\nabla\times\bold{B} = - \frac{1}{c^2}\frac{\partial\bold{E}}{\partial t} 

To treat these situations, the contribution of displacement current must be added to the current term in Ampère's law. 

James Clerk Maxwell conceived of displacement current as a polarization current in the dielectric vortex sea, which he used to model the magnetic field with water (hydrodynamically) and with mechanical systems (mechanically). He added this displacement current to Ampère's circuital law at equation (112) in his 1861 paper *On Physical Lines of Force* .

### Displacement current
In free space, the displacement current is related to the time rate of change of electric field.

In a dielectric the above contribution to displacement current is also present, but a major contribution to the displacement current is related to the polarization of the individual molecules of the dielectric material. Even though charges cannot flow freely in a dielectric, the charges in molecules can move a little under the influence of an electric field. The positive and negative charges in molecules separate under the applied field, causing an increase in the state of polarization, expressed as the polarization density ***P***.  A changing state of polarization is equivalent to a current.

Both contributions to the displacement current are combined by defining the displacement current as:

The second term on the right hand side is the displacement current as originally conceived by Maxwell, associated with the polarization of the individual molecules of the dielectric material. 

Maxwell's original explanation for displacement current focused upon the situation that occurs in dielectric media. In the modern post-aether era, the concept has been extended to apply to situations with no material media present, for example, to the vacuum between the plates of a charging vacuum capacitor. The displacement current is justified today because it serves several requirements of an electromagnetic theory:  correct prediction of magnetic fields in regions where no free current flows; prediction of wave propagation of electromagnetic fields; and conservation of electric charge in cases where charge density is time-varying. For greater discussion see Displacement current.

## Extending the original law: the Maxwell–Ampère equation
Ampère's equation was extended by including the polarization current, thereby remedying the limited applicability of the original Ampère's circuital law.

Treating free charges separately from bound charges, Ampère's equation including Maxwell's correction in terms of the **H**-field is (the **H**-field is used because it includes the magnetization currents, so **J**M does not appear explicitly, see H-field and also Note):

:\oint_C \mathbf{H} \cdot \mathrm{d}\boldsymbol{\ell} =  \iint_S \left( \mathbf{J}_{\mathrm{f}} + \frac{\partial }{\partial t}\mathbf{D} \right) \cdot \mathrm{d} \mathbf{A}

(integral form), where **H** is the magnetic H field (also called "auxiliary magnetic field", "magnetic field intensity", or just "magnetic field", **D** is the electric displacement field, and **J**f is the enclosed conduction current or free current density. In differential form,

:\mathbf{\nabla} \times \mathbf{H} = \mathbf{J}_{\mathrm{f}}+\frac{\partial }{\partial t}\mathbf{D} \ .

On the other hand, treating all charges on the same footing (disregarding whether they are bound or free charges), the generalized Ampère's equation (also called the Maxwell–Ampère equation) is (see the "proof" section below):

:\oint_C \mathbf{B} \cdot \mathrm{d}\boldsymbol{\ell} =  \iint_S \left( \mu_0 \mathbf{J}+ \mu_0 \epsilon_0 \frac{\partial }{\partial t}\mathbf{E} \right) \cdot \mathrm{d} \mathbf{A}

in integral form. In differential form,

:\mathbf{\nabla}\times \mathbf{B} = (\mu_0\mathbf{J}+\mu_0 \epsilon_0 \frac{\partial }{\partial t}\mathbf{E}) \ .

In both forms **J** includes magnetization current density as well as conduction and polarization current densities. That is, the current density on the right side of the Ampère–Maxwell equation is:

: \mathbf{J_f+J_D +J_M} = \mathbf{J_f +J_P +J_M} + \varepsilon_0 \frac {\partial \mathbf{E}}{\partial t} = \mathbf{J}+ \varepsilon_0 \frac {\partial \mathbf{E}}{\partial t} \ ,

where current density **J**D is the *displacement current*, and **J** is the current density contribution actually due to movement of charges, both free and bound. Because , the charge continuity issue with Ampère's original formulation is no longer a problem. Because of the term in *ε0∂**E** / ∂t*, wave propagation in free space now is possible.
 
With the addition of the displacement current, Maxwell was able to hypothesize (correctly) that light was a form of electromagnetic wave. See electromagnetic wave equation for a discussion of this important discovery.

### Proof of equivalence
:

## Ampère's law in cgs units
In cgs units, the integral form of the equation, including Maxwell's correction, reads
:\oint_C \mathbf{B} \cdot \mathrm{d}\boldsymbol{\ell} = \frac{1}{c} \iint_S \left(4\pi\mathbf{J}+\frac{\partial \mathbf{E}}{\partial t}\right) \cdot \mathrm{d}\mathbf{S}
where *c* is the speed of light.

The differential form of the equation (again, including Maxwell's correction) is
:\mathbf{\nabla} \times \mathbf{B} = \frac{1}{c}\left(4\pi\mathbf{J}+\frac{\partial \mathbf{E}}{\partial t}\right).

## Related pages
* Biot–Savart law
* Displacement current
* Capacitance
* Ampèrian magnetic dipole model
* Electromagnetic wave equation
* Maxwell's equations

* Faraday's law of induction
* Bound charge
* Electric current
* Vector calculus
* Stokes' theorem

## References
## Further reading
* 
* 

## Other websites 
* *Simple Nature* by Benjamin Crowell   Ampere's law from an online textbook
* MISN-0-138 ''Ampere's Law*  (PDF file) by Kirby Morgan for Project PHYSNET.
* MISN-0-145 *The Ampere–Maxwell Equation; Displacement Current*  (PDF file) by J.S. Kovacs for Project PHYSNET.
* *The Ampère's Law Song*  (PDF file) by Walter Fox Smith; Main page, with recordings of the song.
**A Dynamical Theory of the Electromagnetic Field''  Maxwell's paper of 1864