Jump to content

Gauss's law: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Undid revision 1256687311 by 136.232.222.242 (talk)
 
(425 intermediate revisions by more than 100 users not shown)
Line 1: Line 1:
{{about|Gauss's law concerning the electric field|analogous laws concerning different fields|Gauss's law for magnetism|and|Gauss's law for gravity|Gauss's theorem, a mathematical theorem relevant to all of these laws|Divergence theorem}}
{{Short description|Foundational law of electromagnetism relating electric field and charge distributions}}
{{about|Gauss's law concerning the electric field|analogous laws concerning different fields|Gauss's law for magnetism|and|Gauss's law for gravity|the Ostrogradsky–Gauss theorem, a mathematical theorem relevant to all of these laws|Divergence theorem}}
{{distinguish|Gause's law}}
{{Electromagnetism|cTopic=[[Electrostatics]]}}
{{Use American English|date = February 2019}}
[[File:Maxwell integral Gauss sphere.svg|thumb|upright=1.2|Gauss's law in its integral form is particularly useful when, by symmetry reasons, a closed surface (GS) can be found along which the electric field is uniform. The electric flux is then a simple product of the surface area and the strength of the electric field, and is proportional to the total charge enclosed by the surface. Here, the electric field outside (''r'' > ''R'') and inside (''r'' < ''R'') of a charged sphere is being calculated (see [[wikiversity:MyOpenMath/Solutions/Maxwell's integral equations|Wikiversity]]).]]


In [[physics]], '''Gauss's law''', also known as '''Gauss's flux theorem''', is a law relating the distribution of [[electric charge]] to the resulting [[electric field]].
In [[physics]] (specifically [[electromagnetism]]), '''Gauss's law''', also known as '''Gauss's flux theorem''' (or sometimes Gauss's theorem), is one of [[Maxwell's equations]]. It is an application of the [[divergence theorem]], and it relates the distribution of [[electric charge]] to the resulting [[electric field]].


== Definition ==
The law was formulated by [[Carl Friedrich Gauss]] in 1835, but was not published until 1867.<ref>{{cite book | author=Bellone, Enrico | title=A World on Paper: Studies on the Second Scientific Revolution | year=1980}}</ref> It is one of the four [[Maxwell's equations]] which form the basis of [[classical electrodynamics]], the other three being [[Gauss's law for magnetism]], [[Faraday's law of induction]], and [[Ampère's circuital law|Ampère's law with Maxwell's correction]]. Gauss's law can be used to derive [[Coulomb's law]],<ref>{{cite book|last1=Halliday|first1=David|last2=Resnick|first2=Robert|title=Fundamentals of Physics|publisher=John Wiley & Sons, Inc|year=1970|pages=452–53}}</ref> and vice versa.
In its [[Integral|integral form]], it states that the [[flux]] of the electric field out of an arbitrary [[closed surface]] is proportional to the electric charge enclosed by the surface, irrespective of how that charge is distributed. Even though the law alone is insufficient to determine the electric field across a surface enclosing any charge distribution, this may be possible in cases where symmetry mandates uniformity of the field. Where no such symmetry exists, Gauss's law can be used in its [[differential form]], which states that the divergence of the electric field is proportional to the local density of charge.


The law was first<ref>{{cite book |last=Duhem |first=Pierre |chapter-url=https://archive.org/stream/leonssurllec01duheuoft#page/22/mode/2up |title=Leçons sur l'électricité et le magnétisme |date=1891 |publisher=Paris Gauthier-Villars |volume=1 |pages=22–23 |language=fr |trans-title=Lessons on electricity and magnetism |chapter=4 |oclc=1048238688 |ol=23310906M |author-link=Pierre Duhem |ol-access=free}} Shows that Lagrange has priority over Gauss. Others after Gauss discovered "Gauss's Law", too.</ref> formulated by [[Joseph-Louis Lagrange]] in 1773,<ref>{{cite journal |last=Lagrange |first=Joseph-Louis |author-link=Joseph-Louis Lagrange |date=1869 |orig-date=1776 |editor-last=Serret |editor-first=Joseph-Alfred |editor-link=Joseph-Alfred Serret |editor2-last=Darboux |editor2-first=Jean-Gaston |editor2-link=Jean-Gaston Darboux |title=Sur l'attraction des sphéroïdes elliptiques |trans-title=On the attraction of elliptical spheroids |url=https://books.google.com/books?id=4XkAAAAAMAAJ&pg=PA619 |journal=Œuvres de Lagrange: Mémoires extraits des recueils de l'Académie royale des sciences et belles-lettres de Berlin |language=fr |publisher=Gauthier-Villars |pages=619}}</ref> followed by [[Carl Friedrich Gauss]] in 1835,<ref>{{cite book |last=Gauss |first=Carl Friedrich |url=https://books.google.com/books?id=0TxeAAAAcAAJ&pg=PA3 |title=Carl Friedrich Gauss Werke |date=1877 |publisher=Gedruckt in der Dieterichschen Universitätsdruckerei (W.F. Kaestner) |editor-last=Schering |editor-first=Ernst Christian Julius |editor-link=Ernst Christian Julius Schering |edition=2nd |volume=5 |pages=2–22 |language=la, de |trans-title=Works of Carl Friedrich Gauss |chapter=Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum methodo nova tractata |trans-chapter=The theory of the attraction of homogeneous spheroidal elliptic bodies treated by a new method |author-link=Carl Friedrich Gauss |editor-last2=Brendel |editor-first2=Martin |editor-link2=Martin Brendel}} Gauss mentions [[Isaac Newton|Newton]]'s ''[[Philosophiæ Naturalis Principia Mathematica|Principia]]'' [https://archive.org/stream/newtonspmathema00newtrich#page/n243/mode/2up proposition XCI] regarding finding the force exerted by a sphere on a point anywhere along an axis passing through the sphere.</ref> both in the context of the attraction of ellipsoids. It is one of [[Maxwell's equations]], which forms the basis of [[classical electrodynamics]].<ref group="note">The other three of [[Maxwell's equations]] are: [[Gauss's law for magnetism]], [[Faraday's law of induction]], and [[Ampère's circuital law|Ampère's law with Maxwell's correction]]</ref> Gauss's law can be used to derive [[Coulomb's law]],<ref>{{cite book |last1=Halliday|first1=David|last2=Resnick|first2=Robert|title=Fundamentals of Physics|publisher=John Wiley & Sons|year=1970 |pages=452–453}}</ref> and vice versa.
==Qualitative description of the law==
{{Electromagnetism|cTopic=Electrostatics}}


==Qualitative description==
In words, Gauss's law states that:


In words, Gauss's law states:
:''The net outward normal [[electric flux]] through any [[closed surface]] is proportional to the total [[electric charge]] enclosed within that closed surface''.<ref>{{cite book | author=Serway, Raymond A. | title=Physics for Scientists and Engineers with Modern Physics, 4th edition | year=1996 | pages=687}}</ref>
:The net [[electric flux]] through any hypothetical [[closed surface]] is equal to {{math|1/''ε''<sub>0</sub>}} times the net [[electric charge]] enclosed within that closed surface. The closed surface is also referred to as Gaussian surface.<ref>{{cite book | last=Serway |first=Raymond A. | title=Physics for Scientists and Engineers with Modern Physics |edition=4th | year=1996 | page=687}}</ref>


Gauss's law has a close mathematical similarity with a number of laws in other areas of physics, such as [[Gauss's law for magnetism]] and [[Gauss's law for gravity]]. In fact, any "[[inverse-square law]]" can be formulated in a way similar to Gauss's law: For example, Gauss's law itself is essentially equivalent to the inverse-square [[Coulomb's law]], and Gauss's law for gravity is essentially equivalent to the inverse-square [[Newton's law of gravity]].
Gauss's law has a close mathematical similarity with a number of laws in other areas of physics, such as [[Gauss's law for magnetism]] and [[Gauss's law for gravity]]. In fact, any [[inverse-square law]] can be formulated in a way similar to Gauss's law: for example, Gauss's law itself is essentially equivalent to the [[Coulomb's law]], and Gauss's law for gravity is essentially equivalent to the [[Newton's law of gravity]], both of which are inverse-square laws.


The law can be expressed mathematically using [[vector calculus]] in [[integral calculus|integral]] form and [[differential calculus|differential]] form; both are equivalent since they are related by the [[divergence theorem]], also called Gauss's theorem. Each of these forms in turn can also be expressed two ways: In terms of a relation between the [[electric field]] {{math|'''E'''}} and the total electric charge, or in terms of the [[electric displacement field]] {{math|'''D'''}} and the [[free charge|''free'' electric charge]].<ref name="GrantPhillips">{{cite book|first1=I. S.|last1=Grant|first2=W. R.| last2=Phillips| title=Electromagnetism|edition=2nd|series=Manchester Physics|publisher=John Wiley & Sons|year=2008| isbn=978-0-471-92712-9}}</ref>
Gauss's law is something of an electrical analogue of [[Ampère's law]], which deals with magnetism.


==Equation involving the {{math|E}} field==
The law can be expressed mathematically using [[vector calculus]] in [[integral calculus|integral]] form and [[differential calculus|differential]] form, both are equivalent since they are related by the [[divergence theorem]], also called Gauss's theorem. Each of these forms in turn can also be expressed two ways: In terms of a relation between the [[electric field]] '''E''' and the total electric charge, or in terms of the [[electric displacement field]] '''D''' and the [[free charge|''free'' electric charge]].<ref>{{cite book|author=I.S. Grant, W.R. Phillips|title=Electromagnetism|edition=2nd|publisher=Manchester Physics, John Wiley & Sons|year=2008|isbn=978-0-471-92712-9}}</ref>


Gauss's law can be stated using either the electric field {{math|'''E'''}} or the electric displacement field {{math|'''D'''}}. This section shows some of the forms with {{math|'''E'''}}; the form with {{math|'''D'''}} is below, as are other forms with {{math|'''E'''}}.
==Equation involving E field==

Gauss's law can be stated using either the [[electric field]] '''E''' or the [[electric displacement field]] '''D'''. This section shows some of the forms with '''E'''; the form with '''D''' is below, as are other forms with '''E'''.


===Integral form===
===Integral form===
[[File:Electric-flux-surface-example.svg|thumb|Electric flux through an arbitrary surface is proportional to the total charge enclosed by the surface.]]
[[File:Electric-flux-no-charge-inside.svg|thumb|No charge is enclosed by the sphere. Electric flux through its surface is zero.]]
Gauss's law may be expressed as:<ref name="GrantPhillips"/>


<math display="block">\Phi_E = \frac{Q}{\varepsilon_0}</math>
Gauss's law may be expressed as:<ref>{{cite book|author=I.S. Grant, W.R. Phillips|title=Electromagnetism|edition=2nd|publisher=Manchester Physics, John Wiley & Sons|year=2008|isbn=978-0-471-92712-9}}</ref>


where {{math|Φ<sub>''E''</sub>}} is the [[electric flux]] through a closed surface {{mvar|S}} enclosing any volume {{mvar|V}}, {{mvar|Q}} is the total charge enclosed within {{mvar|V}}, and {{math|''ε''<sub>0</sub>}} is the [[electric constant]]. The electric flux {{math|Φ<sub>''E''</sub>}} is defined as a [[surface integral]] of the electric field:
:<math>\Phi_E = \frac{Q}{\varepsilon_0}</math>


:{{oiint|preintegral=<math>\Phi_E = </math>|intsubscpt=<math>\scriptstyle _S</math>|integrand=<math>\mathbf{E} \cdot \mathrm{d}\mathbf{A}</math>}}
where Φ<sub>''E''</sub> is the [[electric flux]] through a closed surface ''S'' enclosing any volume ''V'', ''Q'' is the total [[electric charge|charge]] enclosed within ''S'', and ''ε''<sub>0</sub> is the [[electric constant]]. The electric flux Φ<sub>''E''</sub> is defined as a [[surface integral]] of the [[electric field]]:


where {{math|'''E'''}} is the electric field, {{math|d'''A'''}} is a vector representing an [[infinitesimal]] element of [[area]] of the surface,{{refn|More specifically, the infinitesimal area is thought of as [[Plane (mathematics)|planar]] and with area {{math|d''N''}}. The vector {{math|d'''R'''}} is [[Normal (geometry)|normal]] to this area element and has [[magnitude (vector)|magnitude]] {{math|d''A''}}.<ref>{{cite book|last=Matthews|first=Paul|title=Vector Calculus|publisher=Springer|year=1998|isbn=3-540-76180-2}}</ref>|group=note}} and {{math|·}} represents the [[dot product]] of two vectors.
:{{oiint|preintegral=<math>\Phi_E = </math>|intsubscpt=<math>{\scriptstyle S}</math>|integrand=<math>\mathbf{E} \cdot \mathrm{d}\mathbf{A} </math>}}


In a curved spacetime, the flux of an electromagnetic field through a closed surface is expressed as
where '''E''' is the electric field, d'''A''' is a vector representing an [[infinitesimal]] element of [[area]],{{#tag:ref|More specifically, the infinitesimal area is thought of as [[Plane (mathematics)|planar]] and with area d''A''. The vector d'''A''' is [[Normal (geometry)|normal]] to this area element and has [[magnitude (vector)|magnitude]] d''A''.<ref>{{cite book|last=Matthews|first=Paul|title=Vector Calculus|publisher=Springer|year=1998|isbn=3-540-76180-2}}</ref>|group="note"}} and • represents the [[dot product]] of two vectors.


:{{oiint|preintegral=<math>\Phi_E = c </math> |intsubscpt=<math> \scriptstyle _S</math>|integrand=<math> F^{\kappa 0} \sqrt {-g} \, \mathrm{d} S_\kappa </math>}}
Since the flux is defined as an ''integral'' of the electric field, this expression of Gauss's law is called the ''integral form''.


where <math>c</math> is the [[speed of light]]; <math>F^{\kappa 0}</math> denotes the time components of the [[electromagnetic tensor]]; <math>g</math> is the determinant of [[metric tensor]]; <math> \mathrm{d} S_\kappa = \mathrm{d} S^{ij} = \mathrm{d}x^i \mathrm{d}x^j </math> is an orthonormal element of the two-dimensional surface surrounding the charge <math>Q</math>; indices <math> i,j,\kappa = 1,2,3</math> and do not match each other.<ref>{{cite journal | last1 = Fedosin | first1 = Sergey G. | title = On the Covariant Representation of Integral Equations of the Electromagnetic Field | journal = Progress in Electromagnetics Research C | volume = 96 | pages = 109–122| year = 2019 | url = https://rdcu.be/ccV9o| doi = 10.2528/PIERC19062902| arxiv = 1911.11138 | bibcode=2019arXiv191111138F| s2cid = 208095922 }}</ref>
====Applying the integral form====
{{Main|Gaussian surface}}
{{hatnote|See also [[Capacitance#Gauss's law|Capacitance (Gauss's law)]]}}


Since the flux is defined as an ''integral'' of the electric field, this expression of Gauss's law is called the ''integral form''.
If the electric field is known everywhere, Gauss's law makes it quite easy, in principle, to find the distribution of electric charge: The charge in any given region can be deduced by integrating the electric field to find the flux.
[[File:Gauss's law - surface charge - boundary condition on D.svg|thumb|A tiny Gauss's box whose sides are perpendicular to a conductor's surface is used to find the local surface charge once the electric potential and the electric field are calculated by solving Laplace's equation. The electric field is perpendicular, locally, to the equipotential surface of the conductor, and zero inside; its flux ''πa''<sup>2</sup>·''E'', by Gauss's law equals ''πa''<sup>2</sup>·''σ''/''ε''<sub>0</sub>. Thus, {{nowrap|1=''σ'' = ''ε''<sub>0</sub>''E''}}.]]
In problems involving conductors set at known potentials, the potential away from them is obtained by solving [[Laplace's equation]], either analytically or numerically. The electric field is then calculated as the potential's negative gradient. Gauss's law makes it possible to find the distribution of electric charge: The charge in any given region of the conductor can be deduced by integrating the electric field to find the flux through a small box whose sides are perpendicular to the conductor's surface and by noting that the electric field is perpendicular to the surface, and zero inside the conductor.


However, much more often, it is the reverse problem that needs to be solved: The electric charge distribution is known, and the electric field needs to be computed. This is much more difficult, since if you know the total flux through a given surface, that gives almost no information about the electric field, which (for all you know) could go in and out of the surface in arbitrarily complicated patterns.
The reverse problem, when the electric charge distribution is known and the electric field must be computed, is much more difficult. The total flux through a given surface gives little information about the electric field, and can go in and out of the surface in arbitrarily complicated patterns.


An exception is if there is some [[symmetry]] in the situation, which mandates that the electric field passes through the surface in a uniform way. Then, if the total flux is known, the field itself can be deduced at every point. Common examples of symmetries which lend themselves to Gauss's law include cylindrical symmetry, planar symmetry, and spherical symmetry. See the article [[Gaussian surface]] for examples where these symmetries are exploited to compute electric fields.
An exception is if there is some [[symmetry]] in the problem, which mandates that the electric field passes through the surface in a uniform way. Then, if the total flux is known, the field itself can be deduced at every point. Common examples of symmetries which lend themselves to Gauss's law include: cylindrical symmetry, planar symmetry, and spherical symmetry. See the article [[Gaussian surface]] for examples where these symmetries are exploited to compute electric fields.


===Differential form===
===Differential form===


By the [[divergence theorem]] Gauss's law can alternatively be written in the ''differential form'':
By the [[divergence theorem]], Gauss's law can alternatively be written in the ''differential form'':
:<math>\nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0}</math>
<math display="block">\nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0}</math>


where ∇•'''E''' is the [[divergence]] of the electric field, and ''ρ'' is the total electric [[charge density]].
where {{math|∇ · '''E'''}} is the [[divergence]] of the electric field, {{math|''ε''<sub>0</sub>}} is the [[vacuum permittivity]] and {{mvar|ρ}} is the total volume [[charge density]] (charge per unit volume).


===Equivalence of integral and differential forms===
===Equivalence of integral and differential forms===
{{Main|Divergence theorem}}
{{Main article|Divergence theorem}}


The integral and differential forms are mathematically equivalent, by the [[divergence theorem]]. Here is the argument more specifically.
The integral and differential forms are mathematically equivalent, by the divergence theorem. Here is the argument more specifically.


{{math proof|title=Outline of proof
:{| class="toccolours collapsible collapsed" width="80%" style="text-align:left"
|proof=The integral form of Gauss's law is:
!Outline of proof
:{{oiint|intsubscpt=<math>{\scriptstyle _S}</math>|integrand=<math>\mathbf{E} \cdot \mathrm{d}\mathbf{A}</math>}}<math> = \frac{Q}{\varepsilon_0}</math>
|-
for any closed surface {{mvar|S}} containing charge {{mvar|Q}}. By the divergence theorem, this equation is equivalent to:
|The integral form of Gauss's law is:

:<math>\oint_S \mathbf{E} \cdot \mathrm{d}\mathbf{A} = \frac{Q}{\varepsilon_0}</math>
<math display="block">\iiint_V \nabla \cdot \mathbf{E} \, \mathrm{d}V = \frac{Q}{\varepsilon_0}</math>
for any closed surface ''S'' containing charge ''Q''. By the divergence theorem, this equation is equivalent to:

:<math>\iiint\limits_V \nabla \cdot \mathbf{E} \ \mathrm{d}V = \frac{Q}{\varepsilon_0}</math>
for any volume ''V'' containing charge ''Q''. By the relation between charge and charge density, this equation is equivalent to:
for any volume {{mvar|V}} containing charge {{mvar|Q}}. By the relation between charge and charge density, this equation is equivalent to:
:<math>\iiint\limits_V \nabla \cdot \mathbf{E} \ \mathrm{d}V = \iiint\limits_V \frac{\rho}{\varepsilon_0} \ \mathrm{d}V</math>
<math display="block">\iiint_V \nabla \cdot \mathbf{E} \, \mathrm{d}V = \iiint_V \frac{\rho}{\varepsilon_0} \, \mathrm{d}V</math>
for any volume ''V''. In order for this equation to be ''simultaneously true'' for ''every'' possible volume ''V'', it is necessary (and sufficient) for the integrands to be equal everywhere. Therefore, this equation is equivalent to:
for any volume {{mvar|V}}. In order for this equation to be ''simultaneously true'' for ''every'' possible volume {{mvar|V}}, it is necessary (and sufficient) for the integrands to be equal everywhere. Therefore, this equation is equivalent to:

:<math>\nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0}.</math>
<math display="block">\nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0}.</math>
Thus the integral and differential forms are equivalent.
Thus the integral and differential forms are equivalent.
|}
}}


==Equation involving D field==
==Equation involving the {{math|D}} field==
{{see also|Maxwell's equations}}
{{see also|Maxwell's equations}}


===Free, bound, and total charge===
===Free, bound, and total charge===
{{Main|Electric polarization}}
{{Main article|Electric polarization}}


The electric charge that arises in the simplest textbook situations would be classified as "free charge"—for example, the charge which is transferred in [[static electricity]], or the charge on a [[capacitor]] plate. In contrast, "bound charge" arises only in the context of [[dielectric]] (polarizable) materials. (All materials are polarizable to some extent.) When such materials are placed in an external electric field, the electrons remain bound to their respective atoms, but shift a microscopic distance in response to the field, so that they're more on one side of the atom than the other. All these microscopic displacements add up to give a macroscopic net charge distribution, and this constitutes the "bound charge".
The electric charge that arises in the simplest textbook situations would be classified as "free charge"—for example, the charge which is transferred in [[static electricity]], or the charge on a [[capacitor]] plate. In contrast, "bound charge" arises only in the context of [[dielectric]] (polarizable) materials. (All materials are polarizable to some extent.) When such materials are placed in an external electric field, the electrons remain bound to their respective atoms, but shift a microscopic distance in response to the field, so that they're more on one side of the atom than the other. All these microscopic displacements add up to give a macroscopic net charge distribution, and this constitutes the "bound charge".


Although microscopically, all charge is fundamentally the same, there are often practical reasons for wanting to treat bound charge differently from free charge. The result is that the more "fundamental" Gauss's law, in terms of '''E''' (above), is sometimes put into the equivalent form below, which is in terms of '''D''' and the free charge only.
Although microscopically all charge is fundamentally the same, there are often practical reasons for wanting to treat bound charge differently from free charge. The result is that the more fundamental Gauss's law, in terms of {{math|'''E'''}} (above), is sometimes put into the equivalent form below, which is in terms of {{math|'''D'''}} and the free charge only.


===Integral form===
===Integral form===


This formulation of Gauss's law states analogously to the total charge form:
This formulation of Gauss's law states the total charge form:


:<math>\Phi_D = Q_\text{free}\!</math>
<math display="block">\Phi_D = Q_\mathrm{free}</math>


where Φ<sub>''D''</sub> is the [[electric displacement field|'''D'''-field]] [[electric flux|flux]] through a surface ''S'' which encloses a volume ''V'', and ''Q''<sub>free</sub> is the free charge contained in ''V''. The flux Φ<sub>''D''</sub> is defined analogously to the flux Φ<sub>''E''</sub> of the electric field '''E''' through ''S'':
where {{math|Φ<sub>''D''</sub>}} is the [[electric displacement field|{{math|'''D'''}}-field]] flux through a surface {{mvar|S}} which encloses a volume {{mvar|V}}, and {{math|''Q''<sub>free</sub>}} is the free charge contained in {{mvar|V}}. The flux {{math|Φ<sub>''D''</sub>}} is defined analogously to the flux {{math|Φ<sub>''E''</sub>}} of the electric field {{math|'''E'''}} through {{mvar|S}}:


:{{oiint|preintegral=<math>\Phi_{D} = </math>|intsubscpt=<math>{\scriptstyle S}</math>|integrand=<math>\mathbf{D} \cdot \mathrm{d}\mathbf{A} </math>}}
:{{oiint|preintegral=<math>\Phi_D = </math>|intsubscpt=<math>{\scriptstyle _S}</math>|integrand=<math>\mathbf{D} \cdot \mathrm{d}\mathbf{A} </math>}}


===Differential form===
===Differential form===


The differential form of Gauss's law, involving free charge only, states:
The differential form of Gauss's law, involving free charge only, states:
:<math>\mathbf{\nabla} \cdot \mathbf{D} = \rho_\text{free}</math>
<math display="block">\nabla \cdot \mathbf{D} = \rho_\mathrm{free}</math>


where ∇•'''D''' is the [[divergence]] of the electric displacement field, and ''ρ''<sub>free</sub> is the free electric charge density.
where {{math|∇ · '''D'''}} is the [[divergence]] of the electric displacement field, and {{math|''ρ''<sub>free</sub>}} is the free electric charge density.


==Equivalence of total and free charge statements==
==Equivalence of total and free charge statements==


{{math proof|title=Proof that the formulations of Gauss's law in terms of free charge are equivalent to the formulations involving total charge.
:{| class="toccolours collapsible collapsed" width="80%" style="text-align:left"
|proof=
!Proof that the formulations of Gauss's law in terms of free charge are equivalent to the formulations involving total charge.
In this proof, we will show that the equation
|-
<math display="block">\nabla\cdot \mathbf{E} = \dfrac{\rho}{\varepsilon_0}</math>
|In this proof, we will show that the equation
:<math>\nabla\cdot \mathbf{E} = \rho/\epsilon_0</math>
is equivalent to the equation
is equivalent to the equation
:<math>\nabla\cdot\mathbf{D} = \rho_{\mathrm{free}}</math>
<math display="block">\nabla\cdot\mathbf{D} = \rho_\mathrm{free}</math>
Note that we're 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 divergence theorem.
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 divergence theorem.


We introduce the [[polarization density]] '''P''', which has the following relation to '''E''' and '''D''':
We introduce the [[polarization density]] {{math|'''P'''}}, which has the following relation to {{math|'''E'''}} and {{math|'''D'''}}:
:<math>\mathbf{D}=\epsilon_0 \mathbf{E} + \mathbf{P}</math>
<math display="block">\mathbf{D}=\varepsilon_0 \mathbf{E} + \mathbf{P}</math>
and the following relation to the bound charge:
and the following relation to the bound charge:
:<math>\rho_{\mathrm{bound}} = -\nabla\cdot \mathbf{P}</math>
<math display="block">\rho_\mathrm{bound} = -\nabla\cdot \mathbf{P}</math>
Now, consider the three equations:
Now, consider the three equations:
<math display="block">\begin{align}
:<math>\rho_{\mathrm{bound}} = \nabla\cdot (-\mathbf{P})</math>
:<math>\rho_{\mathrm{free}} = \nabla\cdot \mathbf{D}</math>
\rho_\mathrm{bound} &= \nabla\cdot (-\mathbf{P}) \\
:<math>\rho = \nabla \cdot(\epsilon_0\mathbf{E})</math>
\rho_\mathrm{free} &= \nabla\cdot \mathbf{D} \\
\rho &= \nabla \cdot(\varepsilon_0\mathbf{E})
\end{align}</math>
The key insight is that the sum of the first two equations is the third equation. This completes the proof: The first equation is true by definition, and therefore the second equation is true [[if and only if]] the third equation is true. So the second and third equations are equivalent, which is what we wanted to prove.
The key insight is that the sum of the first two equations is the third equation. This completes the proof: The first equation is true by definition, and therefore the second equation is true [[if and only if]] the third equation is true. So the second and third equations are equivalent, which is what we wanted to prove.
|}
}}


==Equation for linear materials==
==Equation for linear materials==


In [[homogeneous]], [[isotropic]], [[Dispersion (optics)|nondispersive]], [[linear material]]s, there is a simple relationship between '''E''' and&nbsp;'''D''':
In [[homogeneous]], [[isotropic]], [[Dispersion (optics)|nondispersive]], linear materials, there is a simple relationship between {{math|'''E'''}} and&nbsp;{{math|'''D'''}}:


:<math>\mathbf{D} = \varepsilon \mathbf{E} </math>
<math display="block">\mathbf{D} = \varepsilon \mathbf{E} </math>


where ''ε'' is the [[permittivity]] of the material. For the case of [[vacuum]] (aka [[free space]]), ''ε'' = ''ε''<sub>0</sub>. Under these circumstances, Gauss's law modifies to
where {{mvar|ε}} is the [[permittivity]] of the material. For the case of [[vacuum]] (aka [[free space]]), {{math|1=''ε'' = ''ε''<sub>0</sub>}}. Under these circumstances, Gauss's law modifies to


:<math>\Phi_E = \frac{Q_\text{free}}{\epsilon}</math>
<math display="block">\Phi_E = \frac{Q_\mathrm{free}}{\varepsilon}</math>


for the integral form, and
for the integral form, and


:<math>\mathbf{\nabla} \cdot \mathbf{E} = \frac{\rho_\text{free}}{\varepsilon}</math>
<math display="block">\nabla \cdot \mathbf{E} = \frac{\rho_\mathrm{free}}{\varepsilon}</math>


for the differential form.
for the differential form.


==Relation to Coulomb's law==
==Relation to Coulomb's law==

{{Duplication|dupe=Coulomb's_law#Relation_to_Gauss's_law}}


===Deriving Gauss's law from Coulomb's law===
===Deriving Gauss's law from Coulomb's law===
{{Citation needed|date=June 2024|reason=A reliable source is needed for the entire derivation.}}
Strictly speaking, Gauss's law cannot be derived from Coulomb's law alone, since Coulomb's law gives the electric field due to an individual, [[Electrostatic charge|electrostatic]] [[point charge]] only. However, Gauss's law ''can'' be proven from Coulomb's law if it is assumed, in addition, that the electric field obeys the [[superposition principle]]. The superposition principle states that the resulting field is the vector sum of fields generated by each particle (or the integral, if the charges are distributed smoothly in space).


{{math proof|title=Outline of proof
Gauss's law can be derived from [[Coulomb's law]].
|proof=
Coulomb's law states that the electric field due to a stationary [[point charge]] is:
<math display="block">\mathbf{E}(\mathbf{r}) = \frac{q}{4\pi \varepsilon_0} \frac{\mathbf{e}_r}{r^2}</math>
where
*{{math|'''e'''<sub>''r''</sub>}} is the radial [[unit vector]],
*{{mvar|r}} is the radius, {{math|{{abs|'''r'''}}}},
*{{math|''ε''<sub>0</sub>}} is the [[electric constant]],
*{{mvar|q}} is the charge of the particle, which is assumed to be located at the [[origin (mathematics)|origin]].


Using the expression from Coulomb's law, we get the total field at {{math|'''r'''}} by using an integral to sum the field at {{math|'''r'''}} due to the infinitesimal charge at each other point {{math|'''s'''}} in space, to give
:{| class="toccolours collapsible collapsed" width="80%" style="text-align:left"
<math display="block">\mathbf{E}(\mathbf{r}) = \frac{1}{4\pi\varepsilon_0} \int \frac{\rho(\mathbf{s})(\mathbf{r}-\mathbf{s})}{|\mathbf{r}-\mathbf{s}|^3} \, \mathrm{d}^3 \mathbf{s}</math>
!Outline of proof
where {{mvar|ρ}} is the charge density. If we take the divergence of both sides of this equation with respect to '''r''', and use the known theorem<ref>See, for example, {{cite book | last=Griffiths | first=David J. | title=Introduction to Electrodynamics | edition=4th | publisher=Prentice Hall | year=2013 | page=50 }} or {{cite book | last=Jackson | first=John David | title=Classical Electrodynamics | edition=3rd | publisher=John Wiley & Sons | year=1999 | page=35}}</ref>
|-
|[[Coulomb's law]] states that the electric field due to a stationary [[point charge]] is:


:<math>\mathbf{E}(\mathbf{r}) = \frac{q}{4\pi \epsilon_0} \frac{\mathbf{e_r}}{r^2}</math>
<math display="block">\nabla \cdot \left(\frac{\mathbf{r}}{|\mathbf{r}|^3}\right) = 4\pi \delta(\mathbf{r})</math>
where {{math|''δ''('''r''')}} is the [[Dirac delta function]], the result is
where
<math display="block">\nabla\cdot\mathbf{E}(\mathbf{r}) = \frac{1}{\varepsilon_0} \int \rho(\mathbf{s})\, \delta(\mathbf{r}-\mathbf{s})\, \mathrm{d}^3 \mathbf{s}</math>
:'''e<sub>r</sub>''' is the radial [[unit vector]],
:''r'' is the radius, |'''r'''|,
:<math>\epsilon_0</math> is the [[electric constant]],
:''q'' is the charge of the particle, which is assumed to be located at the [[origin (mathematics)|origin]].


Using the "[[Dirac delta function#Translation|sifting property]]" of the Dirac delta function, we arrive at
Using the expression from Coulomb's law, we get the total field at '''r''' by using an integral to sum the field at '''r''' due to the infinitesimal charge at each other point '''s''' in space, to give
<math display="block">\nabla\cdot\mathbf{E}(\mathbf{r}) = \frac{\rho(\mathbf{r})}{\varepsilon_0},</math>
which is the differential form of Gauss's law, as desired.
}}


Since Coulomb's law only applies to stationary charges, there is no reason to expect Gauss's law to hold for moving charges based on this derivation alone. In fact, Gauss's law does hold for moving charges, and, in this respect, Gauss's law is more general than Coulomb's law.
:<math>\mathbf{E}(\mathbf{r}) = \frac{1}{4\pi\epsilon_0} \int \frac{\rho(\mathbf{s})(\mathbf{r}-\mathbf{s})}{|\mathbf{r}-\mathbf{s}|^3} \, d^3 \mathbf{s}</math>


{{math proof|title=Proof (without Dirac Delta)
where <math>\rho</math> is the charge density. If we take the divergence of both sides of this equation with respect to '''r''', and use the known theorem<ref>See, for example, {{cite book | author=Griffiths, David J. | title=Introduction to Electrodynamics (3rd ed.) | publisher=Prentice Hall | year=1998 | isbn=0-13-805326-X | page=50}}</ref>
|proof=
Let <math>\Omega \subseteq R^3 </math> be a bounded open set, and <math display="block">\mathbf E_0(\mathbf r) = \frac {1}{4 \pi \varepsilon_0} \int_{\Omega} \rho(\mathbf r')\frac {\mathbf r - \mathbf r'} {\left \| \mathbf r - \mathbf r' \right \|^3} \mathrm{d}\mathbf{r}'
\equiv \frac {1}{4 \pi \varepsilon_0} \int_{\Omega} e(\mathbf{r, \mathbf{r}'}){\mathrm{d}\mathbf{r}'}</math> be the electric field, with <math>\rho(\mathbf r')</math> a continuous function (density of charge).


:<math>\nabla \cdot \left(\frac{\mathbf{r}}{|\mathbf{r}|^3}\right) = 4\pi \delta(\mathbf{r})</math>
It is true for all <math>\mathbf{r} \neq \mathbf{r'}</math> that <math>\nabla_\mathbf{r} \cdot \mathbf{e}(\mathbf{r, r'}) = 0</math>.


Consider now a compact set <math>V \subseteq R^3</math> having a [[piecewise]] [[Smooth surface|smooth boundary]] <math>\partial V</math> such that <math>\Omega \cap V = \emptyset</math>. It follows that <math>e(\mathbf{r, \mathbf{r}'}) \in C^1(V \times \Omega)</math> and so, for the divergence theorem:
where δ('''r''') is the [[Dirac delta function]], the result is


:<math>\nabla\cdot\mathbf{E}(\mathbf{r}) = \frac{1}{\varepsilon_0} \int \rho(\mathbf{s})\ \delta(\mathbf{r}-\mathbf{s})\, d^3 \mathbf{s}</math>
<math display="block">\oint_{\partial V} \mathbf{E}_0 \cdot d\mathbf{S} = \int_V \mathbf{\nabla} \cdot \mathbf{E}_0 \, dV</math>


But because <math>e(\mathbf{r, \mathbf{r}'}) \in C^1(V \times \Omega)</math>,
Using the "[[Dirac delta function#Translation|sifting<!--Note: This is not a typo, the word is really 'sifting' not 'shifting'--> property]]" of the Dirac delta function, we arrive at


<math display="block">\mathbf{\nabla} \cdot \mathbf{E}_0(\mathbf{r}) = \frac {1}{4 \pi \varepsilon_0} \int_{\Omega} \nabla_\mathbf{r} \cdot e(\mathbf{r, \mathbf{r}'}){\mathrm{d}\mathbf{r}'} = 0 </math> for the argument above (<math>\Omega \cap V = \emptyset \implies \forall \mathbf{r} \in V \ \ \forall \mathbf{r'} \in \Omega \ \ \ \mathbf{r} \neq \mathbf{r'} </math> and then <math>\nabla_\mathbf{r} \cdot \mathbf{e}(\mathbf{r, r'}) = 0</math>)
:<math>\nabla\cdot\mathbf{E}(\mathbf{r}) = \frac{\rho(\mathbf{r})}{\varepsilon_0},</math>


Therefore the flux through a closed surface generated by some charge density outside (the surface) is null.
which is the differential form of Gauss's law, as desired.
|}


Now consider <math>\mathbf{r}_0 \in \Omega</math>, and <math>B_R(\mathbf{r}_0)\subseteq \Omega</math> as the sphere centered in <math>\mathbf{r}_0</math> having <math>R</math> as radius (it exists because <math>\Omega</math> is an open set).
Note that since Coulomb's law only applies to ''stationary'' charges, there is no reason to expect Gauss's law to hold for moving charges ''based on this derivation alone''. In fact, Gauss's law ''does'' hold for moving charges, and in this respect Gauss's law is more general than Coulomb's law.


Let <math>\mathbf{E}_{B_R}</math> and <math>\mathbf{E}_C</math> be the electric field created inside and outside the sphere respectively. Then,
===Deriving Coulomb's law from Gauss's law===


:<math>\mathbf{E}_{B_R} = \frac {1}{4 \pi \varepsilon_0} \int_{B_R(\mathbf{r}_0)} e(\mathbf{r, \mathbf{r}'}){\mathrm{d}\mathbf{r}'}</math>, <math>\mathbf{E}_C = \frac {1}{4 \pi \varepsilon_0} \int_{\Omega \setminus B_R(\mathbf{r}_0)} e(\mathbf{r, \mathbf{r}'}){\mathrm{d}\mathbf{r}'}</math> and <math>\mathbf{E}_{B_R} + \mathbf{E}_C = \mathbf{E}_0 </math>
Strictly speaking, Coulomb's law cannot be derived from Gauss's law alone, since Gauss's law does not give any information regarding the [[Curl (mathematics)|curl]] of '''E''' (see [[Helmholtz decomposition]] and [[Faraday's law of induction|Faraday's law]]). However, Coulomb's law ''can'' be proven from Gauss's law if it is assumed, in addition, that the electric field from a [[point charge]] is spherically-symmetric (this assumption, like Coulomb's law itself, is exactly true if the charge is stationary, and approximately true if the charge is in motion).


<math display="block">\Phi(R) =
:{| class="toccolours collapsible collapsed" width="80%" style="text-align:left"
\oint_{\partial B_R(\mathbf{r}_0)} \mathbf{E}_0 \cdot d\mathbf{S} =
!Outline of proof
\oint_{\partial B_R(\mathbf{r}_0)} \mathbf{E}_{B_R} \cdot d\mathbf{S} +
|-
\oint_{\partial B_R(\mathbf{r}_0)} \mathbf{E}_C \cdot d\mathbf{S} =
|Taking ''S'' in the integral form of Gauss's law to be a spherical surface of radius ''r'', centered at the point charge ''Q'', we have
\oint_{\partial B_R(\mathbf{r}_0)} \mathbf{E}_{B_R} \cdot d\mathbf{S} </math>


:<math>\oint_{S}\mathbf{E}\cdot d\mathbf{A} = \frac{Q}{\varepsilon_0} </math>
The last equality follows by observing that <math>(\Omega \setminus B_R(\mathbf{r}_0)) \cap B_R(\mathbf{r}_0) = \emptyset</math>, and the argument above.


The RHS is the electric flux generated by a charged sphere, and so:
By the assumption of spherical symmetry, the integrand is a constant which can be taken out of the integral. The result is


: <math>4\pi r^2\hat{\mathbf{r}}\cdot\mathbf{E}(\mathbf{r}) = \frac{Q}{\varepsilon_0}</math>
<math display="block">\Phi(R) =\frac {Q(R)}{\varepsilon_0} = \frac {1}{\varepsilon_0} \int_{B_R(\mathbf{r}_0)} \rho(\mathbf r'){\mathrm{d}\mathbf{r}'} =
\frac {1}{\varepsilon_0} \rho(\mathbf r'_c)|B_R(\mathbf{r}_0)| </math> with <math> r'_c \in \ B_R(\mathbf{r}_0)</math>


Where the last equality follows by the mean value theorem for integrals. Using the [[squeeze theorem]] and the continuity of <math> \rho </math>, one arrives at:
where <math>\hat{\mathbf{r}}</math> is a [[unit vector]] pointing radially away from the charge. Again by spherical symmetry, '''E''' points in the radial direction, and so we get


: <math>\mathbf{E}(\mathbf{r}) = \frac{Q}{4\pi \varepsilon_0} \frac{\hat{\mathbf{r}}}{r^2}</math>
<math display="block">\mathbf{\nabla} \cdot \mathbf{E}_0(\mathbf{r}_0) =
\lim_{R \to 0} \frac{1}{|B_R(\mathbf{r}_0)|}\Phi(R) =
\frac {1}{\varepsilon_0} \rho(\mathbf r_0) </math>
}}


===Deriving Coulomb's law from Gauss's law===

Strictly speaking, Coulomb's law cannot be derived from Gauss's law alone, since Gauss's law does not give any information regarding the [[Curl (mathematics)|curl]] of {{math|'''E'''}} (see [[Helmholtz decomposition]] and [[Faraday's law of induction|Faraday's law]]). However, Coulomb's law ''can'' be proven from Gauss's law if it is assumed, in addition, that the electric field from a point charge is spherically symmetric (this assumption, like Coulomb's law itself, is exactly true if the charge is stationary, and approximately true if the charge is in motion).

{{math proof|title=Outline of proof
|proof=
Taking {{mvar|S}} in the integral form of Gauss's law to be a spherical surface of radius {{mvar|r}}, centered at the point charge {{mvar|Q}}, we have

<math display="block">\oint_S\mathbf{E}\cdot d\mathbf{A} = \frac{Q}{\varepsilon_0} </math>

By the assumption of spherical symmetry, the integrand is a constant which can be taken out of the integral. The result is
<math display="block">4\pi r^2\hat{\mathbf{r}}\cdot\mathbf{E}(\mathbf{r}) = \frac{Q}{\varepsilon_0}</math>
where {{math|'''r̂'''}} is a [[unit vector]] pointing radially away from the charge. Again by spherical symmetry, {{math|'''E'''}} points in the radial direction, and so we get
<math display="block">\mathbf{E}(\mathbf{r}) = \frac{Q}{4\pi \varepsilon_0} \frac{\hat{\mathbf{r}}}{r^2}</math>
which is essentially equivalent to Coulomb's law. Thus the [[inverse-square law]] dependence of the electric field in Coulomb's law follows from Gauss's law.
which is essentially equivalent to Coulomb's law. Thus the [[inverse-square law]] dependence of the electric field in Coulomb's law follows from Gauss's law.
|}
}}


==See also==
==See also==
{{Wikipedia books|Maxwell's equations}}
* [[Method of image charges]]
* [[Method of image charges]]
* [[Uniqueness theorem for Poisson's equation]]
* [[Uniqueness theorem for Poisson's equation]]
* [[List of examples of Stigler's law]]
{{Clear}}


==Notes==
==Notes==
{{Reflist|group=note}}
{{Reflist|group=note}}

==Citations==
{{Reflist|30em}}


==References==
==References==
*{{cite book|last=Gauss|first=Carl Friedrich|date=1867|title=Werke Band 5}} [http://resolver.sub.uni-goettingen.de/purl?PPN236006339 Digital version]
{{Reflist}}<!--added under references heading by script-assisted edit-->
Jackson, John David (1999). Classical Electrodynamics, 3rd ed., New York: Wiley. ISBN 0-471-30932-X.
*{{cite book|last=Jackson|first=John David|date=1998|title=Classical Electrodynamics|edition=3rd|location=New York|publisher=Wiley|isbn=0-471-30932-X}} David J. Griffiths (6th ed.)


==External links==
==External links==
*{{Commons category-inline}}
* [http://ocw.mit.edu/OcwWeb/Physics/8-02Electricity-and-MagnetismSpring2002/VideoAndCaptions/ MIT Video Lecture Series (30 x 50 minute lectures)- Electricity and Magnetism] Taught by Professor [[Walter Lewin]].
* [https://web.archive.org/web/20080628181946/http://ocw.mit.edu/OcwWeb/Physics/8-02Electricity-and-MagnetismSpring2002/VideoAndCaptions/ MIT Video Lecture Series (30 x 50 minute lectures)- Electricity and Magnetism] Taught by Professor [[Walter Lewin]].
*[http://www.lightandmatter.com/html_books/0sn/ch10/ch10.html#Section10.6 section on Gauss's law in an online textbook]
*[http://www.lightandmatter.com/html_books/0sn/ch10/ch10.html#Section10.6 section on Gauss's law in an online textbook] {{Webarchive|url=https://web.archive.org/web/20100527194640/http://www.lightandmatter.com/html_books/0sn/ch10/ch10.html#Section10.6 |date=2010-05-27 }}
*[http://physnet2.pa.msu.edu/home/modules/pdf_modules/m132.pdf <small>MISN-0-132</small> ''Gauss's Law for Spherical Symmetry''] ([[Portable Document Format|PDF file]]) by Peter Signell for [http://www.physnet.org Project PHYSNET].
*[http://physnet2.pa.msu.edu/home/modules/pdf_modules/m133.pdf <small>MISN-0-133</small> ''Gauss's Law Applied to Cylindrical and Planar Charge Distributions] (PDF file) by Peter Signell for Project PHYSNET.
*[http://www.physnet.org/modules/pdf_modules/m132.pdf <small>MISN-0-132</small> ''Gauss's Law for Spherical Symmetry''] ([[Portable Document Format|PDF file]]) by Peter Signell for [http://www.physnet.org Project PHYSNET].
*[http://www.physnet.org/modules/pdf_modules/m133.pdf <small>MISN-0-133</small> ''Gauss's Law Applied to Cylindrical and Planar Charge Distributions''] (PDF file) by Peter Signell for [http://www.physnet.org Project PHYSNET].

{{Carl Friedrich Gauss}}


[[Category:Electrostatics]]
[[Category:Electrostatics]]
[[Category:Eponymous laws of physics]]
[[Category:Vector calculus]]
[[Category:Vector calculus]]
[[Category:Maxwell's equations]]
[[Category:Carl Friedrich Gauss|Law]]
[[Category:Electromagnetism]]

Latest revision as of 03:31, 11 November 2024

Gauss's law in its integral form is particularly useful when, by symmetry reasons, a closed surface (GS) can be found along which the electric field is uniform. The electric flux is then a simple product of the surface area and the strength of the electric field, and is proportional to the total charge enclosed by the surface. Here, the electric field outside (r > R) and inside (r < R) of a charged sphere is being calculated (see Wikiversity).

In physics (specifically electromagnetism), Gauss's law, also known as Gauss's flux theorem (or sometimes Gauss's theorem), is one of Maxwell's equations. It is an application of the divergence theorem, and it relates the distribution of electric charge to the resulting electric field.

Definition

[edit]

In its integral form, it states that the flux of the electric field out of an arbitrary closed surface is proportional to the electric charge enclosed by the surface, irrespective of how that charge is distributed. Even though the law alone is insufficient to determine the electric field across a surface enclosing any charge distribution, this may be possible in cases where symmetry mandates uniformity of the field. Where no such symmetry exists, Gauss's law can be used in its differential form, which states that the divergence of the electric field is proportional to the local density of charge.

The law was first[1] formulated by Joseph-Louis Lagrange in 1773,[2] followed by Carl Friedrich Gauss in 1835,[3] both in the context of the attraction of ellipsoids. It is one of Maxwell's equations, which forms the basis of classical electrodynamics.[note 1] Gauss's law can be used to derive Coulomb's law,[4] and vice versa.

Qualitative description

[edit]

In words, Gauss's law states:

The net electric flux through any hypothetical closed surface is equal to 1/ε0 times the net electric charge enclosed within that closed surface. The closed surface is also referred to as Gaussian surface.[5]

Gauss's law has a close mathematical similarity with a number of laws in other areas of physics, such as Gauss's law for magnetism and Gauss's law for gravity. In fact, any inverse-square law can be formulated in a way similar to Gauss's law: for example, Gauss's law itself is essentially equivalent to the Coulomb's law, and Gauss's law for gravity is essentially equivalent to the Newton's law of gravity, both of which are inverse-square laws.

The law can be expressed mathematically using vector calculus in integral form and differential form; both are equivalent since they are related by the divergence theorem, also called Gauss's theorem. Each of these forms in turn can also be expressed two ways: In terms of a relation between the electric field E and the total electric charge, or in terms of the electric displacement field D and the free electric charge.[6]

Equation involving the E field

[edit]

Gauss's law can be stated using either the electric field E or the electric displacement field D. This section shows some of the forms with E; the form with D is below, as are other forms with E.

Integral form

[edit]
Electric flux through an arbitrary surface is proportional to the total charge enclosed by the surface.
No charge is enclosed by the sphere. Electric flux through its surface is zero.

Gauss's law may be expressed as:[6]

where ΦE is the electric flux through a closed surface S enclosing any volume V, Q is the total charge enclosed within V, and ε0 is the electric constant. The electric flux ΦE is defined as a surface integral of the electric field:

\oiint

where E is the electric field, dA is a vector representing an infinitesimal element of area of the surface,[note 2] and · represents the dot product of two vectors.

In a curved spacetime, the flux of an electromagnetic field through a closed surface is expressed as

\oiint

where is the speed of light; denotes the time components of the electromagnetic tensor; is the determinant of metric tensor; is an orthonormal element of the two-dimensional surface surrounding the charge ; indices and do not match each other.[8]

Since the flux is defined as an integral of the electric field, this expression of Gauss's law is called the integral form.

A tiny Gauss's box whose sides are perpendicular to a conductor's surface is used to find the local surface charge once the electric potential and the electric field are calculated by solving Laplace's equation. The electric field is perpendicular, locally, to the equipotential surface of the conductor, and zero inside; its flux πa2·E, by Gauss's law equals πa2·σ/ε0. Thus, σ = ε0E.

In problems involving conductors set at known potentials, the potential away from them is obtained by solving Laplace's equation, either analytically or numerically. The electric field is then calculated as the potential's negative gradient. Gauss's law makes it possible to find the distribution of electric charge: The charge in any given region of the conductor can be deduced by integrating the electric field to find the flux through a small box whose sides are perpendicular to the conductor's surface and by noting that the electric field is perpendicular to the surface, and zero inside the conductor.

The reverse problem, when the electric charge distribution is known and the electric field must be computed, is much more difficult. The total flux through a given surface gives little information about the electric field, and can go in and out of the surface in arbitrarily complicated patterns.

An exception is if there is some symmetry in the problem, which mandates that the electric field passes through the surface in a uniform way. Then, if the total flux is known, the field itself can be deduced at every point. Common examples of symmetries which lend themselves to Gauss's law include: cylindrical symmetry, planar symmetry, and spherical symmetry. See the article Gaussian surface for examples where these symmetries are exploited to compute electric fields.

Differential form

[edit]

By the divergence theorem, Gauss's law can alternatively be written in the differential form:

where ∇ · E is the divergence of the electric field, ε0 is the vacuum permittivity and ρ is the total volume charge density (charge per unit volume).

Equivalence of integral and differential forms

[edit]

The integral and differential forms are mathematically equivalent, by the divergence theorem. Here is the argument more specifically.

Outline of proof

The integral form of Gauss's law is:

\oiint

for any closed surface S containing charge Q. By the divergence theorem, this equation is equivalent to:

for any volume V containing charge Q. By the relation between charge and charge density, this equation is equivalent to: for any volume V. In order for this equation to be simultaneously true for every possible volume V, it is necessary (and sufficient) for the integrands to be equal everywhere. Therefore, this equation is equivalent to:

Thus the integral and differential forms are equivalent.

Equation involving the D field

[edit]

Free, bound, and total charge

[edit]

The electric charge that arises in the simplest textbook situations would be classified as "free charge"—for example, the charge which is transferred in static electricity, or the charge on a capacitor plate. In contrast, "bound charge" arises only in the context of dielectric (polarizable) materials. (All materials are polarizable to some extent.) When such materials are placed in an external electric field, the electrons remain bound to their respective atoms, but shift a microscopic distance in response to the field, so that they're more on one side of the atom than the other. All these microscopic displacements add up to give a macroscopic net charge distribution, and this constitutes the "bound charge".

Although microscopically all charge is fundamentally the same, there are often practical reasons for wanting to treat bound charge differently from free charge. The result is that the more fundamental Gauss's law, in terms of E (above), is sometimes put into the equivalent form below, which is in terms of D and the free charge only.

Integral form

[edit]

This formulation of Gauss's law states the total charge form:

where ΦD is the D-field flux through a surface S which encloses a volume V, and Qfree is the free charge contained in V. The flux ΦD is defined analogously to the flux ΦE of the electric field E through S:

\oiint

Differential form

[edit]

The differential form of Gauss's law, involving free charge only, states:

where ∇ · D is the divergence of the electric displacement field, and ρfree is the free electric charge density.

Equivalence of total and free charge statements

[edit]
Proof that the formulations of Gauss's law in terms of free charge are equivalent to the formulations involving total charge.

In this proof, we will show that the equation is equivalent to the equation 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 divergence theorem.

We introduce the polarization density P, which has the following relation to E and D: and the following relation to the bound charge: Now, consider the three equations: The key insight is that the sum of the first two equations is the third equation. This completes the proof: The first equation is true by definition, and therefore the second equation is true if and only if the third equation is true. So the second and third equations are equivalent, which is what we wanted to prove.

Equation for linear materials

[edit]

In homogeneous, isotropic, nondispersive, linear materials, there is a simple relationship between E and D:

where ε is the permittivity of the material. For the case of vacuum (aka free space), ε = ε0. Under these circumstances, Gauss's law modifies to

for the integral form, and

for the differential form.

Relation to Coulomb's law

[edit]

Deriving Gauss's law from Coulomb's law

[edit]

[citation needed]

Strictly speaking, Gauss's law cannot be derived from Coulomb's law alone, since Coulomb's law gives the electric field due to an individual, electrostatic point charge only. However, Gauss's law can be proven from Coulomb's law if it is assumed, in addition, that the electric field obeys the superposition principle. The superposition principle states that the resulting field is the vector sum of fields generated by each particle (or the integral, if the charges are distributed smoothly in space).

Outline of proof

Coulomb's law states that the electric field due to a stationary point charge is: where

Using the expression from Coulomb's law, we get the total field at r by using an integral to sum the field at r due to the infinitesimal charge at each other point s in space, to give where ρ is the charge density. If we take the divergence of both sides of this equation with respect to r, and use the known theorem[9]

where δ(r) is the Dirac delta function, the result is

Using the "sifting property" of the Dirac delta function, we arrive at which is the differential form of Gauss's law, as desired.

Since Coulomb's law only applies to stationary charges, there is no reason to expect Gauss's law to hold for moving charges based on this derivation alone. In fact, Gauss's law does hold for moving charges, and, in this respect, Gauss's law is more general than Coulomb's law.

Proof (without Dirac Delta)

Let be a bounded open set, and be the electric field, with a continuous function (density of charge).

It is true for all that .

Consider now a compact set having a piecewise smooth boundary such that . It follows that and so, for the divergence theorem:

But because ,

for the argument above ( and then )

Therefore the flux through a closed surface generated by some charge density outside (the surface) is null.

Now consider , and as the sphere centered in having as radius (it exists because is an open set).

Let and be the electric field created inside and outside the sphere respectively. Then,

, and

The last equality follows by observing that , and the argument above.

The RHS is the electric flux generated by a charged sphere, and so:

with

Where the last equality follows by the mean value theorem for integrals. Using the squeeze theorem and the continuity of , one arrives at:

Deriving Coulomb's law from Gauss's law

[edit]

Strictly speaking, Coulomb's law cannot be derived from Gauss's law alone, since Gauss's law does not give any information regarding the curl of E (see Helmholtz decomposition and Faraday's law). However, Coulomb's law can be proven from Gauss's law if it is assumed, in addition, that the electric field from a point charge is spherically symmetric (this assumption, like Coulomb's law itself, is exactly true if the charge is stationary, and approximately true if the charge is in motion).

Outline of proof

Taking S in the integral form of Gauss's law to be a spherical surface of radius r, centered at the point charge Q, we have

By the assumption of spherical symmetry, the integrand is a constant which can be taken out of the integral. The result is where is a unit vector pointing radially away from the charge. Again by spherical symmetry, E points in the radial direction, and so we get which is essentially equivalent to Coulomb's law. Thus the inverse-square law dependence of the electric field in Coulomb's law follows from Gauss's law.

See also

[edit]

Notes

[edit]
  1. ^ The other three of Maxwell's equations are: Gauss's law for magnetism, Faraday's law of induction, and Ampère's law with Maxwell's correction
  2. ^ More specifically, the infinitesimal area is thought of as planar and with area dN. The vector dR is normal to this area element and has magnitude dA.[7]

Citations

[edit]
  1. ^ Duhem, Pierre (1891). "4". Leçons sur l'électricité et le magnétisme [Lessons on electricity and magnetism] (in French). Vol. 1. Paris Gauthier-Villars. pp. 22–23. OCLC 1048238688. OL 23310906M. Shows that Lagrange has priority over Gauss. Others after Gauss discovered "Gauss's Law", too.
  2. ^ Lagrange, Joseph-Louis (1869) [1776]. Serret, Joseph-Alfred; Darboux, Jean-Gaston (eds.). "Sur l'attraction des sphéroïdes elliptiques" [On the attraction of elliptical spheroids]. Œuvres de Lagrange: Mémoires extraits des recueils de l'Académie royale des sciences et belles-lettres de Berlin (in French). Gauthier-Villars: 619.
  3. ^ Gauss, Carl Friedrich (1877). "Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum methodo nova tractata" [The theory of the attraction of homogeneous spheroidal elliptic bodies treated by a new method]. In Schering, Ernst Christian Julius; Brendel, Martin (eds.). Carl Friedrich Gauss Werke [Works of Carl Friedrich Gauss] (in Latin and German). Vol. 5 (2nd ed.). Gedruckt in der Dieterichschen Universitätsdruckerei (W.F. Kaestner). pp. 2–22. Gauss mentions Newton's Principia proposition XCI regarding finding the force exerted by a sphere on a point anywhere along an axis passing through the sphere.
  4. ^ Halliday, David; Resnick, Robert (1970). Fundamentals of Physics. John Wiley & Sons. pp. 452–453.
  5. ^ Serway, Raymond A. (1996). Physics for Scientists and Engineers with Modern Physics (4th ed.). p. 687.
  6. ^ a b Grant, I. S.; Phillips, W. R. (2008). Electromagnetism. Manchester Physics (2nd ed.). John Wiley & Sons. ISBN 978-0-471-92712-9.
  7. ^ Matthews, Paul (1998). Vector Calculus. Springer. ISBN 3-540-76180-2.
  8. ^ Fedosin, Sergey G. (2019). "On the Covariant Representation of Integral Equations of the Electromagnetic Field". Progress in Electromagnetics Research C. 96: 109–122. arXiv:1911.11138. Bibcode:2019arXiv191111138F. doi:10.2528/PIERC19062902. S2CID 208095922.
  9. ^ See, for example, Griffiths, David J. (2013). Introduction to Electrodynamics (4th ed.). Prentice Hall. p. 50. or Jackson, John David (1999). Classical Electrodynamics (3rd ed.). John Wiley & Sons. p. 35.

References

[edit]
  • Gauss, Carl Friedrich (1867). Werke Band 5. Digital version
  • Jackson, John David (1998). Classical Electrodynamics (3rd ed.). New York: Wiley. ISBN 0-471-30932-X. David J. Griffiths (6th ed.)
[edit]