Biot-Savart law: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Paul Wormer
imported>Paul Wormer
Line 64: Line 64:
==Maxwell equations==
==Maxwell equations==
We will show that the expression for '''B''' given in Eq. (1) satisfies the [[Maxwell equations]].  
We will show that the expression for '''B''' given in Eq. (1) satisfies the [[Maxwell equations]].  
This is of interest, since the Maxwell equations can be seen as a set of postulates for classical electrodynamics. We will show that the Biot-Savart law is a consequence of the postulates (although Biot and Savart made their discovery some forty-five years before Maxwell formulated his equations).
This is of interest, since the Maxwell equations can be seen as a set of postulates for classical electrodynamics. We will show that the Biot-Savart-Laplace law is a consequence of the postulates (although Biot and Savart made their discovery some forty-five years before Maxwell formulated his equations).


Since it is known from [[vector analysis]] that  
Since it is known from [[vector analysis]] that  
Line 72: Line 72:
for any vector field '''V'''('''r'''), it is immediately clear that '''B''' satisfies the following Maxwell equation:
for any vector field '''V'''('''r'''), it is immediately clear that '''B''' satisfies the following Maxwell equation:
:<math>  
:<math>  
\boldsymbol{\nabla}\cdot\mathbf{B}(\mathbf{r}) = 0
\boldsymbol{\nabla}\cdot\mathbf{B}(\mathbf{r}) = 0 .
</math>
</math>
The one other Maxwell equation of interest is
The one other Maxwell equation of interest is
Line 78: Line 78:
\boldsymbol{\nabla}\times\mathbf{B}(\mathbf{r}) = 4\pi k \mathbf{J}(\mathbf{r}),
\boldsymbol{\nabla}\times\mathbf{B}(\mathbf{r}) = 4\pi k \mathbf{J}(\mathbf{r}),
</math>
</math>
where we assumed that there are no time-dependent electric fields present. In SI units  
where we assumed that there are no time-dependent electric fields present. This equation was first formulated by [[André-Marie Ampère|Ampère]], as clearly recognized by [[James Clerk Maxwell|Maxwell]]. In SI units 4&pi;''k'' is equal to the vacuum permeability &mu;<sub>0</sub>.
4&pi;''k'' is equal to the vacuum permeability &mu;<sub>0</sub>.
In the proof we will need the following results
In the proof we will need the following results
:<math>
:<math>
Line 89: Line 88:
\end{align}
\end{align}
</math>
</math>
The first equation is well-known in vector analysis, the second follows by differentiating to the components of '''r''' and <b>r'</b> and equating. The third equation has a [[Dirac delta function]] on the right-hand side and follows from [[distribution (mathematics)|distribution theory]]. The last equation follows from charge density (&rho;) conservation in conjunction with the [[continuity equation]],
The first equation is well-known in vector analysis, the second follows by differentiating to the components of '''r''' and <b>r'</b> and equating. The third equation has a [[Dirac delta function]] on the right-hand side and follows from [[distribution (mathematics)|distribution theory]]. The last equation follows from charge density (&rho;) conservation and the [[continuity equation]],
:<math>
:<math>
0 = -\frac{\partial \rho}{\partial t} = \boldsymbol{\nabla} \cdot \mathbf{J}
\frac{\partial \rho}{\partial t} = 0 \quad \hbox{and}\quad  \boldsymbol{\nabla} \cdot \mathbf{J}+\frac{\partial \rho}{\partial t} = 0,
</math>
</math>
Now
respectively. Now:
:<math>
:<math>
\begin{align}
\begin{align}
Line 105: Line 104:
\boldsymbol{\nabla}\times \mathbf{B}(\mathbf{r}) = 4\pi k \mathbf{J}(\mathbf{r}).
\boldsymbol{\nabla}\times \mathbf{B}(\mathbf{r}) = 4\pi k \mathbf{J}(\mathbf{r}).
</math>
</math>
This shows that  '''B'''('''r''') of Eq. (1) (the generalized Biot-Savart law) satisfies this Maxwell equation.
This shows that  '''B'''('''r''') of Eq. (1) (the generalized Biot-Savart-Laplace law) satisfies this Maxwell equation.


==References==
==References==

Revision as of 08:59, 10 February 2008

In physics, more particularly in electrodynamics, the law first formulated by Jean-Baptiste Biot and Félix Savart [1] describes the magnetic induction B (proportional to the magnetic field H) caused by a direct electric current in a wire. Biot and Savart interpreted their measurements by an integral relation. Laplace gave a differential form of their result, which now often is also referred to as the Biot-Savart law, or sometimes as the Biot-Savart-Laplace law. By integrating Laplace's equation over an infinitely long wire, the original integral form of Biot and Savart is obtained.

Ørsted's discovery

Ørsted's experiment: A bar magnet is hung above a wire carrying the direct current i. The magnetic field B is in the direction of the turn of a screw driven into the direction of i. The magnet experiences a torque, the south pole moves toward the reader, the north pole away from the reader.

Electricity and magnetism have been known since Antiquity. Rubbing amber was known to give sparks, and lodestone needles have been used as magnetic compasses since the Middle Ages. However, the two phenomena, electricity and magnetism, were seen as unrelated. It required Alessandro Volta's invention of the battery ("Voltaic pile") before electric currents of non-negligible strength could be generated. Soon after Volta's invention (around 1800), the Danish physicist Ørsted noticed in April 1820, while experimenting with the Voltaic pile, an effect of an electric current on a permanent magnet. He wrote a (Latin) publication which he sent round Europe. François Arago talked about the discovery at the French Académie des Sciences, where it was picked up by Jean-Baptiste Biot and André-Marie Ampère. Biot and his coworker Savart made quantitative measurements and published, still in 1820, a short note. Laplace generalized their result mathematically.

Although Ørsted himself could not have foreseen this, his very fundamental discovery led soon to the invention of the dynamo and the electric motor. The importance of these inventions cannot be exaggerated. To mention just one aspect: every western household today has a couple of dozen electromotors in and around the house.

Laplace's formula

Magnetic induction dB at point r due to infinitesimal piece ds (red) of wire (blue) transporting electric current i.

The infinitesimal magnetic induction Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \scriptstyle d\vec{\mathbf{B}} } at point (see figure on the right) is given by the following formula due to Laplace,

where the magnetic induction is given as a vector product, i.e., is perpendicular to the plane spanned by and . The electric current i is constant in time. The piece of the wire contributing to the magnetic induction can be seen as a vector of infinitesimal length ds and with direction tangent to the wire. The constant k depends on the units chosen. In rationalized SI units k is the magnetic constant (vacuum permeability) divided by 4π. The magnetic constant μ0 = 4π ×10−7 N/A2 (newton divided by ampere squared). In Gaussian units k = 1 / c (one over the velocity of light).

If we remember the fact that the vector r has dimension length, we see that this equation is an inverse distance squared law.

Formula of Biot and Savart

Field B due to current i in infinitely long straight wire.

Take a straight infinitely long wire transporting the current i. Write, using R = rsinα (see the figure),

where is a unit vector perpendicular to the plane spanned by the wire and the vector perpendicular to the wire. Note that if is moved along the wire, all contributions from the segments to the magnetic induction are along this unit vector. Hence, if we integrate over the wire we add up all these contributions, so that

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{\mathbf{B}} = \hat{\mathbf{e}} \,i R k \int_{-\infty}^{\infty} \frac{ds}{(s^2+R^2)^{3/2}} }

where, by the Pythagorean theorem,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\vec{\mathbf{r}}|^2 = s^2 + R^2. }

Substitution of y = s / R and y = cotφ = cosφ / sinφ, successively, gives

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\vec{\mathbf{B}}| = \frac{ik}{R} \int_{-\infty}^{\infty} \frac{dy}{(y^2+1)^{3/2}} = \frac{ik}{R} \int_{0}^{\pi} \sin\phi \, d\phi = \frac{2 ik}{R}, }

where i is the current and R the distance of the point of observation of the magnetic induction to the wire. The constant k depends on the choice of electromagnetic units and is 10−7 henry/m [= Vs/A = N/A2] in rationalized SI units. This equation gives the original formulation of Biot and Savart. The SI dimension of B is T [tesla: 1 T = 1 N/(Am), newton divided by ampere meter]. A field of 1 T (SI) corresponds to 10000 gauss (cgs units).

Generalized Biot-Savart-Laplace law

From hereon vectors are indicated by bold letters, arrows on top are omitted.

In the above we wrote i for the current, which is equal to the current density J times the cross section A of the wire. If the current density J is not constant over the cross section, i.e., J = J(r' ), we must use a surface integral over the cross section A. Rather than introducing a surface element, we multiply immediately by ds and obtain an infinitesimal volume element Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \scriptstyle d\mathbf{r}' \equiv dV} ,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i d\mathbf{s} \rightarrow \iint_{A} \mathbf{J}(\mathbf{r}') d\mathbf{r}', }

where we made the current density J into a vector parallel to the segment ds and of magnitude J(r'). The volume element has height ds and base an infinitesimal surface element of the cross section A. The B-field at point r, due to a volume V = As of the current becomes,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{B}(\mathbf{r}) = k \iiint_{V} \frac{\mathbf{J}(\mathbf{r}') \times (\mathbf{r}-\mathbf{r'})} {|\mathbf{r}-\mathbf{r'}|^3}d\mathbf{r}' . }

Note that:

where we choose the nabla operator to act on the unprimed coordinates and hence it may be moved outside the integral, giving the following generalized form of the Biot-Savart-Laplace law for the magnetic induction at point r:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{B}(\mathbf{r}) = k \boldsymbol{\nabla} \times \iiint_{V} \frac{\mathbf{J}(\mathbf{r}')} {|\mathbf{r}-\mathbf{r'}|}d\mathbf{r}', \qquad\qquad\qquad\qquad\qquad\qquad\qquad(1) }

where V is a finite volume of the current generating the B-field. The total B-field is obtained by having V encompass all current (integrating over all current).

Maxwell equations

We will show that the expression for B given in Eq. (1) satisfies the Maxwell equations. This is of interest, since the Maxwell equations can be seen as a set of postulates for classical electrodynamics. We will show that the Biot-Savart-Laplace law is a consequence of the postulates (although Biot and Savart made their discovery some forty-five years before Maxwell formulated his equations).

Since it is known from vector analysis that

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\nabla}\cdot\Big(\boldsymbol{\nabla}\times \mathbf{V}(\mathbf{r})\Big) = 0 }

for any vector field V(r), it is immediately clear that B satisfies the following Maxwell equation:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\nabla}\cdot\mathbf{B}(\mathbf{r}) = 0 . }

The one other Maxwell equation of interest is

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\nabla}\times\mathbf{B}(\mathbf{r}) = 4\pi k \mathbf{J}(\mathbf{r}), }

where we assumed that there are no time-dependent electric fields present. This equation was first formulated by Ampère, as clearly recognized by Maxwell. In SI units 4πk is equal to the vacuum permeability μ0. In the proof we will need the following results

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \boldsymbol{\nabla}\times( \boldsymbol{\nabla}\times \mathbf{V}) &= \boldsymbol{\nabla} (\boldsymbol{\nabla}\cdot\mathbf{V}) - \nabla^2 \mathbf{V} \\ \boldsymbol{\nabla} \frac{1}{|\mathbf{r}-\mathbf{r'}|} &= -\boldsymbol{\nabla}' \frac{1}{|\mathbf{r}-\mathbf{r'}|} \\ \nabla^2 \frac{1}{|\mathbf{r}-\mathbf{r'}|} &= - 4\pi \delta(\mathbf{r}-\mathbf{r'}) \\ \boldsymbol{\nabla} \cdot \mathbf{J} &= 0 .\\ \end{align} }

The first equation is well-known in vector analysis, the second follows by differentiating to the components of r and r' and equating. The third equation has a Dirac delta function on the right-hand side and follows from distribution theory. The last equation follows from charge density (ρ) conservation and the continuity equation,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\partial \rho}{\partial t} = 0 \quad \hbox{and}\quad \boldsymbol{\nabla} \cdot \mathbf{J}+\frac{\partial \rho}{\partial t} = 0, }

respectively. Now:

In the first term of the last step we replaced the unprimed nabla by a primed one (times minus) and then applied a turn-over rule with the primed nabla. This turn-over rule can be justified by partial integration and gives a minus sign, or, in other words, nabla is an anti-hermitian operator. Using that the divergence of the current density vanishes and the defining property of the delta function, we get

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\nabla}\times \mathbf{B}(\mathbf{r}) = 4\pi k \mathbf{J}(\mathbf{r}). }

This shows that B(r) of Eq. (1) (the generalized Biot-Savart-Laplace law) satisfies this Maxwell equation.

References

  1. J.-B. Biot and F. Savart, Note sur le Magnétisme de la pile de Volta, Annales Chim. Phys. vol. 15, pp. 222-223 (1820)

Further reading:

  • J. D. Jackson, Classical Electrodynamics, 2nd edition, John Wiley, New York (1975).