View source for Ampère's circuital law

{{Short description|Concept in classical electromagnetism}}
{{Redirect|Ampère's law|the law describing forces between current-carrying wires|Ampère's force law}}
{{Electromagnetism|cTopic=Magnetostatics}}
In [[classical electromagnetism]], '''Ampère's circuital law''' (not to be confused with [[Ampère's force law]])<ref>Ampère never utilized the field concept in any of his works; cf. {{Cite book| publisher = Apeiron| isbn = 978-1-987980-03-5| last1 = Assis| first1 = André Koch Torres| last2 = Chaib| first2 = J. P. M. C| last3 = Ampère| first3 = André-Marie| title = Ampère's electrodynamics: analysis of the meaning and evolution of Ampère's force between current elements, together with a complete translation of his masterpiece: Theory of electrodynamic phenomena, uniquely deduced from experience| location = Montreal, QC| date = 2015| url=http://www.ifi.unicamp.br/~assis/Amperes-Electrodynamics.pdf|at=ch. 15 p. 221}} The "Ampère circuital law" is thus more properly termed the "Ampère–Maxwell law." It is named after Ampère because of his contributions to understanding electric current. Maxwell does not take [[Ampère's force law]] as a starting point in deriving any of his equations, although he mentions [[Ampère's force law]] in his ''[[A Treatise on Electricity and Magnetism]]'' vol. 2, part 4, ch. 2 (§§502-527) & 23 (§§845-866).</ref> relates the [[Circulation (physics)|circulation]] of a [[magnetic field]] around a closed loop to the [[electric current]] passing through the loop. 

[[James Clerk Maxwell]] (not Ampère) derived it using [[Fluid dynamics|hydrodynamics]] in his 1861 published paper "[[:Image:On Physical Lines of Force.pdf|On Physical Lines of Force]]".<ref>{{cite web|first=James|last=Clerk Maxwell|url=https://archive.org/stream/scientificpapers01maxw#page/450/mode/2up|title=On Physical Lines of Force|year=1890 |publisher=New York, Dover Publications }}</ref> In 1865 he generalized the equation to apply to time-varying currents by adding the [[displacement current]] term, resulting in the modern form of the law, sometimes called the '''Ampère–Maxwell law''',<ref name="Fleisch">{{cite book
 | last   = Fleisch
 | first  = Daniel 
 | title  = A Student's Guide to Maxwell's Equations
 | publisher = Cambridge University Press
 | date   = 2008
 | pages  = 83
 | url    = https://books.google.com/books?id=I-x1MLny6y8C&q=%22Ampere-maxwell%22&pg=PA83
 | isbn   =  9781139468473
 }}</ref><ref name="Garg">{{cite book
 | last   = Garg
 | first  = Anupam 
 | title  = Classical Electromagnetism in a Nutshell
 | publisher = Princeton University Press
 | date   = 2012
 | pages  = 125
 | url    = https://books.google.com/books?id=7Q13lMNYk6kC&q=Ampere-Maxwell&pg=PA125
 | isbn   = 9780691130187
 }}</ref><ref name="Katz">{{cite book
 | last   = Katz
 | first  = Debora M. 
 | title  = Physics for Scientists and Engineers: Foundations and Connections, Extended Version
 | publisher = Cengage Learning
 | date   = 2016
 | pages  = 1093
 | url    = https://books.google.com/books?id=gKK8CwAAQBAJ&q=Ampere-Maxwell&pg=PA1093
 | isbn   = 9781337364300
 }}</ref> which is one of [[Maxwell's equations]] which form the basis of [[classical physics|classical]] [[electromagnetism]].

==Ampère's original circuital law==
In 1820 Danish physicist [[Hans Christian Ørsted]]  discovered that an electric current creates a magnetic field around it, when he noticed that the needle of a [[magnetic compass|compass]] next to a wire carrying current turned so that the needle was perpendicular to the wire.<ref>{{cite journal
  | last = Oersted
  | first = H. C.
  | title = Experiments on the effect of a current of electricity on the magnetic needles
  | journal = Annals of Philosophy
  | volume = 16
  | pages = 273
  | publisher = Baldwin, Craddock, Joy
  | location = London
  | date = 1820
  }}</ref><ref name="Cunningham">H. A. M. Snelders, "Oersted's discovery of electromagnetism" in {{cite book   
  | last = Cunningham
  | first = Andrew Cunningham
  |author2=Nicholas Jardine
  | title = Romanticism and the Sciences
  | publisher = CUP Archive
  | date = 1990
  | pages = 228
  | url = https://books.google.com/books?id=0jc4AAAAIAAJ&pg=PA228
  | isbn = 0521356857}}</ref>   He investigated and discovered the rules which govern the field around a straight current-carrying wire:<ref name="Dhogal">{{cite book   
  | last = Dhogal
  | title = Basic Electrical Engineering, Vol. 1
  | publisher = Tata McGraw-Hill
  | date = 1986
  | pages = 96
  | url = https://books.google.com/books?id=iIAisqtIeGYC&q=%22oersted's+law&pg=PA96
  | isbn = 0074515861}}</ref>
*The magnetic [[field line]]s encircle the current-carrying wire.
*The magnetic field lines lie in a plane perpendicular to the wire.
*If the direction of the current is reversed, the direction of the magnetic field reverses.
*The strength of the field is directly proportional to the magnitude of the current.
*The strength of the field at any point is inversely proportional to the distance of the point from the wire.
This sparked a great deal of research into the relation between electricity and magnetism.  [[André-Marie Ampère]] investigated the magnetic force between two current-carrying wires, discovering [[Ampère's force law]].  In the 1850s Scottish mathematical physicist [[James Clerk Maxwell]] generalized these results and others into a single mathematical law.  The original form of Maxwell's circuital law, which he derived as early as 1855 in his paper [[On Physical Lines of Force|"On Faraday's Lines of Force"]]<ref>{{cite web|first=James|last=Clerk Maxwell|url=https://archive.org/stream/scientificpapers01maxw#page/n193/mode/2up|title=On Faraday's Lines of Force|year=1890 |publisher=New York, Dover Publications }}</ref> based on an analogy to hydrodynamics, relates [[magnetic fields]] to [[electric currents]] that produce them. It determines the magnetic field associated with a given current, or the current associated with a given magnetic field.

The original circuital law only applies to a [[magnetostatics|magnetostatic]] situation, to continuous steady currents flowing in a closed circuit. For systems with electric fields that change over time, the original law (as given in this section) must be modified to include a term known as Maxwell's correction (see below).

===Equivalent forms===
The original circuital law can be written in several different forms, which are all ultimately equivalent:

* An "integral form" and a "differential form". The forms are exactly equivalent, and related by the [[Kelvin–Stokes theorem]] (see the "[[#Proof of equivalence|proof]]" section below).
* Forms using [[SI units]], and those using [[cgs units]]. Other units are possible, but rare. This section will use SI units, with cgs units discussed later.
* Forms using either [[magnetic field|{{math|'''B'''}} or {{math|'''H'''}} magnetic fields]]. These two forms use the total current density and free current density, respectively. The {{math|'''B'''}} and {{math|'''H'''}} fields are related by the [[constitutive equation]]: {{math|'''B''' {{=}} ''μ''<sub>0</sub>'''H'''}} in non-magnetic materials where {{math|''μ''<sub>0</sub>}} is the [[magnetic constant]].

===Explanation===

The integral form of the original circuital law is a [[line integral]] of the [[magnetic field]] around some [[closed curve]] {{mvar|C}} (arbitrary but must be closed). The curve {{mvar|C}} in turn bounds both a [[Surface (topology)|surface]] {{mvar|S}} which the [[electric current]] passes through (again arbitrary but not closed—since no [[Three-dimensional space|three-dimensional]] [[volume]] is enclosed by {{mvar|S}}), and encloses the current. The mathematical statement of the law is a relation between the [[Circulation (physics)|circulation]] of the magnetic field around some path (line integral) due to the current which passes through that enclosed path (surface integral).<ref name=Knoepfel>{{cite book |title=Magnetic Fields: A comprehensive theoretical treatise for practical use |first=Heinz E. |last=Knoepfel |url=https://books.google.com/books?id=1n7NPasgh0sC&pg=PA210 |page=4 |publisher=Wiley |isbn=0-471-32205-9 |year=2000}}</ref><ref name=Owen>{{cite book |title=Electromagnetic Theory |first=George E. |last=Owen |page=213 |url=https://books.google.com/books?id=VLm_dqhZUOYC&q=%22Ampere%27s+circuital+law%22&pg=PA213 |isbn=0-486-42830-3 |year=2003 |publisher=Courier-Dover Publications |edition=Reprint of 1963}}</ref>

In terms of total [[electric current|current]], (which is the sum of both free current and bound current) the line integral of the [[Magnetic field#The B-field|magnetic {{math|'''B'''}}-field]] (in [[Tesla (unit)|teslas]], T) around closed curve {{mvar|C}} is proportional to the total current {{math|''I''<sub>enc</sub>}} passing through a surface {{mvar|S}} (enclosed by {{mvar|C}}). In terms of free current, the line integral of the [[Magnetic field#The H-field|magnetic {{math|'''H'''}}-field]] (in [[ampere]]s per [[metre]], A·m<sup>−1</sup>) around closed curve {{mvar|C}} equals the free current {{math|''I''<sub>f,enc</sub>}} through a surface {{mvar|S}}.{{Clarify|reason=Provide a geometric interpretation|date=May 2022}}

{| class="wikitable" style="text-align: center;"
|+ Forms of the original circuital law written in SI units
|-
! scope="col" style="width: 15em;" |
! scope="col" | [[Integral]] form
! scope="col" | [[Partial differential equation|Differential]] form
|-
|Using {{math|'''B'''}}-field and total current
|<math>\oint_C \mathbf{B} \cdot \mathrm{d}\boldsymbol{l} = \mu_0 \iint_S \mathbf{J} \cdot \mathrm{d}\mathbf{S} = \mu_0I_\mathrm{enc}</math>
|<math>\mathbf{\nabla} \times \mathbf{B} = \mu_0 \mathbf{J} </math>
|-
|Using {{math|'''H'''}}-field and free current
|<math>\oint_C \mathbf{H} \cdot \mathrm{d}\boldsymbol{l} = \iint_S \mathbf{J}_\mathrm{f}\cdot \mathrm{d}\mathbf{S} = I_\mathrm{f,enc} </math>
|<math>\mathbf{\nabla} \times \mathbf{H} = \mathbf{J}_\mathrm{f} </math>
|}

* {{math|'''J'''}} is the total [[current density]] (in [[ampere]]s per square [[metre]], A·m<sup>−2</sup>),
* {{math|'''J'''<sub>f</sub>}} is the free current density only,
* {{math|∮<sub>''C''</sub>}} is the closed [[line integral]] around the closed curve {{mvar|C}},
* {{math|∬<sub>''S''</sub>}} denotes a 2-D [[surface integral]] over {{mvar|S}} enclosed by {{mvar|C}},
* {{math|·}} is the vector [[dot product]],
* {{math|d'''''l'''''}} is an [[infinitesimal]] element (a [[differential (infinitesimal)|differential]]) of the curve {{mvar|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 {{mvar|C}})
* {{math|d'''S'''}} is the [[vector area]] of an [[infinitesimal]] element of surface {{mvar|S}} (that is, a vector with magnitude equal to the area of the infinitesimal surface element, and direction normal to surface {{mvar|S}}. The direction of the normal must correspond with the orientation of {{mvar|C}} by the right hand rule), see below for further explanation of the curve {{mvar|C}} and surface {{mvar|S}}.
* {{math|∇ ×}} is the [[Curl (mathematics)|curl]] operator.

===Ambiguities and sign conventions===
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 {{math|∮<sub>''C''</sub>}} could go around the loop in either direction (clockwise or counterclockwise); the vector area {{math|d'''S'''}} could point in either of the two directions [[surface normal|normal]] to the surface; and {{math|''I''<sub>enc</sub>}} is the net current passing through the surface {{mvar|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 {{math|d'''S'''}}. Also the current passing in the same direction as {{math|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 {{mvar|S}} that have the curve {{mvar|C}} as their border. (Imagine a soap film on a wire loop, which can be deformed by blowing on the film). 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: in the magnetostatic case, the current density is [[Solenoidal vector field|solenoidal]] (see next section), so the [[divergence theorem]] and [[continuity equation]] imply that the flux through any surface with boundary {{mvar|C}}, with the same sign convention, is the same. In practice, one usually chooses the most convenient surface (with the given boundary) to integrate over.

==Free current versus bound current==

The electric current that arises in the simplest textbook situations would be classified as "free current"—for example, the current that passes through a wire or [[battery (electricity)|battery]]. In contrast, "bound current" arises in the context of bulk materials that can be [[magnetization|magnetized]] and/or [[Polarization density|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#Magnetization current|magnetization current]] {{math|'''J'''<sub>M</sub>}} 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 [[polarization density|polarizable materials]], and when the bound charges move, the polarization changes, creating another contribution to the "bound current", the polarization current {{math|'''J'''<sub>P</sub>}}.

The total current density {{math|'''J'''}} due to free and bound charges is then:

:<math>\mathbf{J} =\mathbf{J}_\mathrm{f} + \mathbf{J}_\mathrm{M} + \mathbf{J}_\mathrm{P} \,,</math>

with {{math|'''J'''<sub>f</sub>}}&thinsp; the "free" or "conduction" current density.

All current is fundamentally the same, microscopically. Nevertheless, 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 circuital law, expressed in terms of {{math|'''B'''}} and the microscopic current (which includes free, magnetization and polarization currents), is sometimes put into the equivalent form below in terms of {{math|'''[[magnetic field|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 of equivalence|proof]]" section below.

==Shortcomings of the original formulation of the circuital law==

There are two important issues regarding the circuital law that require closer scrutiny. First, there is an issue regarding the [[continuity equation]] for electrical charge.  In vector calculus, the identity for the [[Vector calculus identities#Divergence of curl is zero|divergence of a curl]] states that the divergence of the curl of a vector field must always be zero. Hence

:<math>\nabla\cdot(\nabla\times\mathbf{B}) = 0 \,,</math>

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

:<math>\nabla\cdot \mathbf{J} = 0\,, </math>

i.e. that the current density is [[solenoidal vector field|solenoidal]].

But in general, reality follows the [[Continuity equation#Electromagnetism|continuity equation for electric charge]]:

:<math>\nabla\cdot \mathbf{J} = -\frac{\partial \rho}{\partial t} \,,</math>

which is nonzero for a time-varying charge density. An example occurs in a capacitor circuit where time-varying charge densities exist on the plates.<ref name=Jackson>{{cite book |title=Classical Electrodynamics |url=https://archive.org/details/classicalelectro00jack_449 |url-access=registration |first=John David |last=Jackson |page=[https://archive.org/details/classicalelectro00jack_449/page/n237 238] |year=1999 |publisher=Wiley |isbn=0-471-30932-X |edition=3rd}}</ref><ref name=Griffiths>{{cite book |title=Introduction to Electrodynamics |url=https://books.google.com/books?id=w0YgJgAACAAJ |first=David J. |last=Griffiths |pages=322–323 |isbn=0-13-805326-X |publisher=Pearson/Addison-Wesley |year=1999 |edition=3rd }}{{Dead link|date=August 2023 |bot=InternetArchiveBot |fix-attempted=yes }}</ref><ref name=Owen0>{{cite book |title=Electromagnetic Theory |first=George E. |last=Owen |page=285 |url=https://books.google.com/books?id=VLm_dqhZUOYC&q=%22Ampere%27s+circuital+law%22&pg=PA213 |isbn=0-486-42830-3 |year=2003 |publisher=Dover Publications |location=Mineola, NY}}</ref><ref name=King>{{cite book |url=https://books.google.com/books?id=bNePaHM20LQC&q=displacement+%22ampere%27s+law%22&pg=PA179 |page=179 |isbn=0-521-63450-4 |first1=J. |last1=Billingham |first2=A. C. |last2=King |title=Wave Motion |publisher=Cambridge University Press |year=2006}}</ref><ref name=Slater>{{cite book |title=Electromagnetism |first1=J. C. |last1=Slater |first2=N. H. |last2=Frank |page=83 |url=https://books.google.com/books?id=GYsphnFwUuUC&q=displacement+%22ampere%27s+law%22&pg=PA83 |isbn=0-486-62263-0 |publisher=Courier Dover Publications |year=1969 |edition=Reprint of 1947}}</ref>

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

:<math>\mathbf{J} = \mathbf{0}\,, </math>

the circuital law implies that

:<math>\nabla\times\mathbf{B} = \mathbf{0}\,, </math>

i.e. that the magnetic field is [[Irrotational vector field|irrotational]], but to maintain consistency with the [[Continuity equation#Electromagnetism|continuity equation for electric charge]], we must have

:<math>\nabla\times\mathbf{B} = \frac{1}{c^2}\frac{\partial\mathbf{E}}{\partial t}\,. </math>

To treat these situations, the contribution of [[displacement current]] must be added to the current term in the circuital 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 hydrodynamically and mechanically.<ref name=Siegel>{{cite book |title=Innovation in Maxwell's Electromagnetic Theory: Molecular Vortices, Displacement Current, and Light |pages=96–98 |isbn=0-521-53329-5 |first=Daniel M. |last=Siegel |publisher=Cambridge University Press |year=2003 |url=https://books.google.com/books?id=AbQq85U8K0gC&q=Ampere%27s+circuital+law+%22displacement+current%22&pg=PA97}}</ref> He added this [[displacement current]] to Ampère's circuital law at equation 112 in his 1861 paper "[[:Image:On Physical Lines of Force.pdf|On Physical Lines of Force]]".<ref>{{cite journal |url=http://upload.wikimedia.org/wikipedia/commons/b/b8/On_Physical_Lines_of_Force.pdf |first=James |last=Clerk Maxwell |year=1861 |title=On Physical Lines of Force |journal=Philosophical Magazine and Journal of Science}}</ref>

===Displacement current===
{{main article|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 present too, 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]] {{math|'''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:<ref name=Jackson/>

:<math>\mathbf{J}_\mathrm{D} = \frac {\partial}{\partial t} \mathbf{D} (\mathbf{r}, \, t) \, , </math>

where the [[electric displacement field]] is defined as:

:<math> \mathbf{D} = \varepsilon_0 \mathbf{E} + \mathbf{P} = \varepsilon_0 \varepsilon_\mathrm{r} \mathbf{E} \, ,</math>

where {{math|''ε''<sub>0</sub>}} is the [[electric constant]], {{math|''ε''<sub>r</sub>}} the [[relative static permittivity]], and {{math|'''P'''}} is the [[polarization density]]. Substituting this form for {{math|'''D'''}} in the expression for displacement current, it has two components:

:<math> \mathbf{J}_\mathrm{D} = \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t} + \frac{\partial \mathbf{P}}{\partial t}\,.</math>

The first term on the right hand side is present everywhere, even in a vacuum. It doesn't involve any actual movement of charge, but it nevertheless has an associated magnetic field, as if it were an actual current. Some authors apply the name ''displacement current'' to only this contribution.<ref name=Griffiths1>For example, see {{cite book |author-link=David J. Griffiths |first=David J. |last=Griffiths |page=[https://archive.org/details/introductiontoel00grif_0/page/323 323] |title=Introduction to Electrodynamics |isbn=0-13-805326-X |year=1999 |publisher=Prentice Hall |location=Upper Saddle River, NJ |url=https://archive.org/details/introductiontoel00grif_0/page/323 }} and {{cite book |author=Tai L. Chow |title=Introduction to Electromagnetic Theory |page=204 |publisher=Jones & Bartlett |year=2006 |isbn=0-7637-3827-1 |url=https://books.google.com/books?id=dpnpMhw1zo8C&pg=PA153}}</ref>

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 Ampère–Maxwell equation==

Next, the circuital equation is extended by including the polarization current, thereby remedying the limited applicability of the original circuital law.

Treating free charges separately from bound charges, the equation including Maxwell's correction in terms of the {{math|'''H'''}}-field is (the {{math|'''H'''}}-field is used because it includes the magnetization currents, so {{math|'''J'''<sub>M</sub>}} does not appear explicitly, see [[Magnetic field#Physical interpretation of the H field|{{math|'''H'''}}-field]] and also [[#Note on free current versus bound current|Note]]):<ref name=Palmer>{{cite book |title=Advanced University Physics |first1=Mircea S. |last1=Rogalski |first2=Stuart B. |last2=Palmer |page=267 |url=https://books.google.com/books?id=rW95PWh3YbkC&q=displacement+%22Ampere%27s+circuital+law%22&pg=PA266 |isbn=1-58488-511-4 |publisher=CRC Press |year=2006}}</ref>

:<math>\oint_C \mathbf{H} \cdot \mathrm{d} \boldsymbol{l} =  \iint_S \left( \mathbf{J}_\mathrm{f} + \frac{\partial \mathbf{D}}{\partial t} \right) \cdot \mathrm{d} \mathbf{S}</math>

(integral form), where {{math|'''H'''}} is the [[magnetic field|magnetic {{math|'''H'''}} field]] (also called "auxiliary magnetic field", "magnetic field intensity", or just "magnetic field"), {{math|'''D'''}} is the [[electric displacement field]], and {{math|'''J'''<sub>f</sub>}} is the enclosed conduction current or [[free current]] density. In differential form,

:<math>\mathbf{\nabla} \times \mathbf{H} = \mathbf{J}_\mathrm{f}+\frac{\partial \mathbf{D}}{\partial t} \, .</math>

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 in integral form (see the "[[#Proof of equivalence|proof]]" section below):

{{Equation box 1
|indent =:
|equation = <math>\oint_C \mathbf{B} \cdot \mathrm{d}\boldsymbol{l} =  \iint_S \left( \mu_0 \mathbf{J}+ \mu_0 \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}\right) \cdot \mathrm{d} \mathbf{S}</math>
|cellpadding
|border
|border colour = #50C878
|background colour = #ECFCF4}}

In differential form,

{{Equation box 1
|indent =:
|equation = <math>\mathbf{\nabla}\times \mathbf{B} = \mu_0\mathbf{J}+\mu_0 \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}</math>
|cellpadding
|border
|border colour = #0073CF
|background colour=#F5FFFA}}

In both forms {{math|'''J'''}} includes [[Magnetization current#Magnetization current|magnetization current]] density<ref name=Palmer2>{{cite book |title=Advanced University Physics |first2=Stuart B. |last2=Palmer |first1=Mircea S. |last1=Rogalski |page=251 |isbn=1-58488-511-4 |publisher =CRC Press |year=2006 |url=https://books.google.com/books?id=rW95PWh3YbkC}}</ref> as well as conduction and polarization current densities. That is, the current density on the right side of the Ampère–Maxwell equation is:

:<math> \mathbf{J}_\mathrm{f}+\mathbf{J}_\mathrm{D} +\mathbf{J}_\mathrm{M} = \mathbf{J}_\mathrm{f}+\mathbf{J}_\mathrm{P} +\mathbf{J}_\mathrm{M} + \varepsilon_0 \frac {\partial \mathbf{E}}{\partial t} = \mathbf{J}+ \varepsilon_0 \frac {\partial \mathbf{E}}{\partial t} \, ,</math>

where current density {{math|'''J'''<sub>D</sub>}} is the ''displacement current'', and {{math|'''J'''}} is the current density contribution actually due to movement of charges, both free and bound. Because {{math|1=∇ ⋅ '''D''' = ''ρ''}}, the charge continuity issue with Ampère's original formulation is no longer a problem.<ref name=curl>The magnetization current can be expressed as the ''curl'' of the magnetization, so its divergence is zero and it does not contribute to the continuity equation. See [[Magnetization current#Magnetization current|magnetization current]].</ref> Because of the term in {{math|''ε''<sub>0</sub>{{sfrac|∂'''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===
'''Proof that the formulations of the circuital law in terms of free current are equivalent to the formulations involving total current'''

In this proof, we will show that the equation
:<math>\nabla\times \mathbf{H} = \mathbf{J}_\mathrm{f} + \frac{\partial \mathbf{D}}{\partial t}</math>
is equivalent to the equation
:<math>\frac{1}{\mu_0}(\mathbf{\nabla} \times \mathbf{B}) = \mathbf{J} + \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}\,.</math>
Note that we are only dealing with the differential forms, not the integral forms, but that is sufficient since the differential and integral forms are equivalent in each case, by the [[Kelvin–Stokes theorem]].

We introduce the [[polarization density]] {{math|'''P'''}}, which has the following relation to {{math|'''E'''}} and {{math|'''D'''}}:
:<math>\mathbf{D}=\varepsilon_0 \mathbf{E} + \mathbf{P}\,.</math>

Next, we introduce the [[magnetization|magnetization density]] {{math|'''M'''}}, which has the following relation to {{math|'''B'''}} and {{math|'''H'''}}:
:<math>\frac{1}{\mu_0}\mathbf{B} = \mathbf{H} + \mathbf{M}</math>
and the following relation to the bound current:
:<math>\begin{align}
\mathbf{J}_\mathrm{bound} &= \nabla\times\mathbf{M} + \frac{\partial \mathbf{P}}{\partial t} \\
&=\mathbf{J}_\mathrm{M}+\mathbf{J}_\mathrm{P},
\end{align}</math>

where
:<math> \mathbf{J}_\mathrm{M} = \nabla\times\mathbf{M} , </math>
is called the [[Magnetization current#Magnetization current|magnetization current]] density, and
:<math>  \mathbf{J}_\mathrm{P} = \frac{\partial \mathbf{P}}{\partial t},</math>
is the polarization current density. Taking the equation for {{math|'''B'''}}:

:<math>\begin{align}
\frac{1}{\mu_0}(\mathbf{\nabla} \times \mathbf{B}) &= \mathbf{\nabla} \times  \left( \mathbf {H}+\mathbf{M} \right) \\
&=\mathbf{\nabla} \times \mathbf H + \mathbf{J}_{\mathrm{M}} \\
&= \mathbf{J}_\mathrm{f} + \mathbf{J}_\mathrm{P} +\varepsilon_0 \frac{\partial \mathbf E}{\partial t}  + \mathbf{J}_\mathrm{M}. \end{align}</math>

Consequently, referring to the definition of the bound current:

:<math>\begin{align}
\frac{1}{\mu_0}(\mathbf{\nabla} \times \mathbf{B}) &=\mathbf{J}_\mathrm{f}+ \mathbf{J}_\mathrm{bound} + \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t} \\
&=\mathbf{J} + \varepsilon_0 \frac{\partial \mathbf E}{\partial t} ,
\end{align}</math>
as was to be shown.

==Ampère's circuital law in cgs units==
In [[Gaussian units|cgs]] units, the integral form of the equation, including Maxwell's correction, reads
:<math>\oint_C \mathbf{B} \cdot \mathrm{d}\boldsymbol{l} = \frac{1}{c} \iint_S \left(4\pi\mathbf{J}+\frac{\partial \mathbf{E}}{\partial t}\right) \cdot \mathrm{d}\mathbf{S},</math>
where {{mvar|c}} is the [[speed of light]].

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

==See also==
{{div col|colwidth=22em}}
* [[Biot–Savart law]]
* [[Displacement current]]
* [[Capacitance]]
* [[Magnet#Two models for magnets: magnetic poles and atomic currents|Ampèrian magnetic dipole model]]
* [[Electromagnetic wave equation]]
* [[Maxwell's equations]]
* [[Faraday's law of induction]]
* [[Polarization density]]
* [[Electric current]]
* [[Vector calculus]]
* [[Stokes' theorem]]
{{div col end}}

==Notes==
{{Reflist|30em}}

==Further reading==
* {{cite book|last=Griffiths|first=David J.|title=Introduction to Electrodynamics (3rd ed.)|publisher=Prentice Hall|year=1998|isbn=0-13-805326-X|url=https://archive.org/details/introductiontoel00grif_0}}
* {{cite book | last=Tipler |first=Paul | title=Physics for Scientists and Engineers: Electricity, Magnetism, Light, and Elementary Modern Physics (5th ed.) | publisher=W. H. Freeman | year=2004 | isbn=0-7167-0810-8}}

==External links==
*{{Commons category inline}}
* [http://www.physnet.org/modules/pdf_modules/m138.pdf <small>MISN-0-138</small> ''Ampere's Law''] ([[Portable Document Format|PDF file]]) by Kirby Morgan for [http://www.physnet.org Project PHYSNET].
* [http://www.physnet.org/modules/pdf_modules/m145.pdf <small>MISN-0-145</small> ''The Ampere–Maxwell Equation; Displacement Current''] (PDF file) by J. S. Kovacs for Project PHYSNET.
*[http://upload.wikimedia.org/wikipedia/commons/1/19/A_Dynamical_Theory_of_the_Electromagnetic_Field.pdf ''A Dynamical Theory of the Electromagnetic Field'']  Maxwell's paper of 1864

{{DEFAULTSORT:Ampere's circuital law}}
[[Category:Electrostatics|Ampere's law]]
[[Category:Eponymous laws of physics]]
[[Category:Magnetostatics|Ampere's law]]
[[Category:Maxwell's equations]]
[[Category:Electromagnetism]]