<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Tarski%27s_exponential_function_problem</id>
	<title>Tarski&#039;s exponential function problem - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Tarski%27s_exponential_function_problem"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Tarski%27s_exponential_function_problem&amp;action=history"/>
	<updated>2026-04-10T04:41:17Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Tarski%27s_exponential_function_problem&amp;diff=260128&amp;oldid=prev</id>
		<title>en&gt;Nahabedere: /* Workaround */</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Tarski%27s_exponential_function_problem&amp;diff=260128&amp;oldid=prev"/>
		<updated>2014-08-08T09:19:15Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Workaround&lt;/span&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Tarski%27s_exponential_function_problem&amp;amp;diff=260128&amp;amp;oldid=21799&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;Nahabedere</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Tarski%27s_exponential_function_problem&amp;diff=21799&amp;oldid=prev</id>
		<title>en&gt;CBM: c/e</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Tarski%27s_exponential_function_problem&amp;diff=21799&amp;oldid=prev"/>
		<updated>2012-01-10T20:40:22Z</updated>

		<summary type="html">&lt;p&gt;c/e&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{about|Gauss&amp;#039;s law concerning the magnetic field|analogous laws concerning different fields|Gauss&amp;#039;s law|and|Gauss&amp;#039;s law for gravity|Gauss&amp;#039;s theorem, a mathematical theorem relevant to all of these laws|Divergence theorem}}&lt;br /&gt;
{{Electromagnetism|cTopic=Magnetostatics}}&lt;br /&gt;
&lt;br /&gt;
In [[physics]], &amp;#039;&amp;#039;&amp;#039;Gauss&amp;#039;s law for magnetism&amp;#039;&amp;#039;&amp;#039; is one of [[Maxwell&amp;#039;s equations]]—the four equations that underlie [[classical electrodynamics]]. It states that the [[magnetic field]] &amp;#039;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;#039; has [[divergence]] equal to zero,&amp;lt;ref name=Chow/&amp;gt; in other words, that it is a [[solenoidal vector field]]. It is equivalent to the statement that [[magnetic monopole]]s do not exist. Rather than &amp;quot;magnetic charges&amp;quot;, the basic entity for magnetism is the [[Magnetic_dipole#Field_from_a_magnetic_dipole|magnetic dipole]]. (Of course, if monopoles were ever found, the law would have to be modified, as elaborated below.)&lt;br /&gt;
&lt;br /&gt;
Gauss&amp;#039;s law for magnetism can be written in two forms, a &amp;#039;&amp;#039;differential form&amp;#039;&amp;#039; and an &amp;#039;&amp;#039;integral form&amp;#039;&amp;#039;. These forms are equivalent due to the [[divergence theorem]].&lt;br /&gt;
&lt;br /&gt;
The name &amp;quot;Gauss&amp;#039;s law for magnetism&amp;quot;&amp;lt;ref name=Chow&amp;gt;&lt;br /&gt;
{{cite book &lt;br /&gt;
|author=Tai L. Chow&lt;br /&gt;
|year=2006&lt;br /&gt;
|title=Electromagnetic Theory: A modern perspective&lt;br /&gt;
|url=http://books.google.com/books?id=dpnpMhw1zo8C&amp;amp;pg=PA153&amp;amp;dq=isbn:0763738271#PPA134,M1&lt;br /&gt;
|page=134&lt;br /&gt;
|publisher=[[Jones and Bartlett]]&lt;br /&gt;
|isbn=0-7637-3827-1&lt;br /&gt;
}}&amp;lt;/ref&amp;gt; is not universally used.  The law is also called &amp;quot;Absence of [[magnetic monopole|free magnetic poles]]&amp;quot;.&amp;lt;ref name=Jackson&amp;gt;&lt;br /&gt;
{{cite book&lt;br /&gt;
 |author=John David Jackson&lt;br /&gt;
 |year=1999&lt;br /&gt;
 |title=Classical Electrodynamics&lt;br /&gt;
 |page=237 |edition=3rd&lt;br /&gt;
 |publisher=[[John Wiley &amp;amp; Sons|Wiley]]&lt;br /&gt;
 |isbn=0-471-30932-X&lt;br /&gt;
}}&amp;lt;/ref&amp;gt; (or some variant); one reference even explicitly says the law has &amp;quot;no name&amp;quot;.&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite book&lt;br /&gt;
 |author=David J. Griffiths&lt;br /&gt;
 |year=1998&lt;br /&gt;
 |title=Introduction to Electrodynamics&lt;br /&gt;
 |page=321 |edition=3rd&lt;br /&gt;
 |publisher=[[Prentice Hall]]&lt;br /&gt;
 |isbn=0-13-805326-X&lt;br /&gt;
}}&amp;lt;/ref&amp;gt; It is also referred to as the &amp;quot;transversality requirement&amp;quot;&amp;lt;ref name=Joannopoulos&amp;gt;&lt;br /&gt;
{{cite book&lt;br /&gt;
 |author=John D. Joannopoulos, Steve G. Johnson, Joshua N. Winn, Robert D. Meade&lt;br /&gt;
 |year=2008&lt;br /&gt;
 |title=Photonic Crystals: Molding the Flow of Light&lt;br /&gt;
 |page=9 |edition=2nd&lt;br /&gt;
 |publisher=[[Princeton University Press]]&lt;br /&gt;
 |isbn=978-0-691-12456-8&lt;br /&gt;
}}&amp;lt;/ref&amp;gt; because for [[plane wave]]s it requires that the polarization be transverse to the direction of propagation.&lt;br /&gt;
&lt;br /&gt;
==Differential form==&lt;br /&gt;
&lt;br /&gt;
The differential form for Gauss&amp;#039;s law for magnetism is:&lt;br /&gt;
&lt;br /&gt;
{{Equation box 1&lt;br /&gt;
|indent =:&lt;br /&gt;
|equation = &amp;lt;math&amp;gt;\nabla\cdot\mathbf{B} = 0&amp;lt;/math&amp;gt;&lt;br /&gt;
|cellpadding= 6&lt;br /&gt;
|border&lt;br /&gt;
|border colour = #0073CF&lt;br /&gt;
|background colour=#F5FFFA}}&lt;br /&gt;
&lt;br /&gt;
where ∇• denotes [[divergence]], and &amp;#039;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;#039; is the [[magnetic field]].&lt;br /&gt;
&lt;br /&gt;
==Integral form==&lt;br /&gt;
&lt;br /&gt;
[[File:SurfacesWithAndWithoutBoundary.svg|right|thumb|200px|Definition of a closed surface. Left: Some examples of closed surfaces include the surface of a sphere, surface of a torus, and surface of a cube. The [[magnetic flux]] through any of these surfaces is zero. Right: Some examples of non-closed surfaces include the [[disk (mathematics)|disk surface]], square surface, or hemisphere surface. They all have boundaries (red lines) and they do not fully enclose a 3D volume. The magnetic flux through these surfaces is &amp;#039;&amp;#039;not necessarily zero&amp;#039;&amp;#039;.]]&lt;br /&gt;
&lt;br /&gt;
The integral form of Gauss&amp;#039;s law for magnetism states:&lt;br /&gt;
&lt;br /&gt;
{{Equation box 1&lt;br /&gt;
|indent =:&lt;br /&gt;
|equation = {{oiint&lt;br /&gt;
| preintegral = &lt;br /&gt;
| intsubscpt = &amp;lt;math&amp;gt;{\scriptstyle S}&amp;lt;/math&amp;gt;&lt;br /&gt;
| integrand = &amp;lt;math&amp;gt;\mathbf{B} \cdot \mathrm{d}\mathbf{A} = 0&amp;lt;/math&amp;gt;}}&lt;br /&gt;
|cellpadding= 6&lt;br /&gt;
|border&lt;br /&gt;
|border colour = #0073CF&lt;br /&gt;
|background colour=#F5FFFA}}&lt;br /&gt;
&lt;br /&gt;
where &amp;#039;&amp;#039;S&amp;#039;&amp;#039; is any [[closed surface]] (see image right), and d&amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039; is a [[Vector (geometric)|vector]], whose magnitude is the area of an [[infinitesimal]] piece of the surface &amp;#039;&amp;#039;S&amp;#039;&amp;#039;, and whose direction is the outward-pointing [[surface normal]] (see [[surface integral]] for more details).&lt;br /&gt;
&lt;br /&gt;
The left-hand side of this equation is called the net [[flux]] of the magnetic field out of the surface, and Gauss&amp;#039;s law for magnetism states that it is always zero.&lt;br /&gt;
&lt;br /&gt;
The integral and differential forms of Gauss&amp;#039;s law for magnetism are mathematically equivalent, due to the [[divergence theorem]]. That said, one or the other might be more convenient to use in a particular computation.&lt;br /&gt;
&lt;br /&gt;
The law in this form states that for each volume element in space, there are exactly the same number of &amp;quot;magnetic field lines&amp;quot; entering and exiting the volume. No total &amp;quot;magnetic charge&amp;quot; can build up in any point in space. For example, the south pole of the magnet is exactly as strong as the north pole, and free-floating south poles without accompanying north poles (magnetic monopoles) are not allowed. In contrast, this is not true for other fields such as [[electric field]]s or [[gravitational field]]s, where total [[electric charge]] or [[mass]] can build up in a volume of space.&lt;br /&gt;
&lt;br /&gt;
==In terms of vector potential==&lt;br /&gt;
{{main|Magnetic vector potential}}&lt;br /&gt;
&lt;br /&gt;
Due to the [[Helmholtz decomposition|Helmholtz decomposition theorem]], Gauss&amp;#039;s law for magnetism is equivalent to the following statement:&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite book&lt;br /&gt;
 |author=W.H.A. Schilders &amp;#039;&amp;#039;et al.&amp;#039;&amp;#039;&lt;br /&gt;
 |year=&lt;br /&gt;
 |title=Handbook of Numerical Analysis&lt;br /&gt;
 |url=http://books.google.com/books?id=F_E9SAe6ny0C&amp;amp;pg=PA13&lt;br /&gt;
 |page=13&lt;br /&gt;
 |publisher=&lt;br /&gt;
 |isbn=978-0-444-51375-5&lt;br /&gt;
 |date=2005-05-23&lt;br /&gt;
}}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite book&lt;br /&gt;
 | author=John David Jackson&lt;br /&gt;
 | year=1999&lt;br /&gt;
 | title=Classical Electrodynamics&lt;br /&gt;
 | publisher=[[John Wiley &amp;amp; Sons|Wiley]]&lt;br /&gt;
 | page=180 | edition=3rd&lt;br /&gt;
 | isbn=0-471-30932-X&lt;br /&gt;
}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
:&amp;#039;&amp;#039;There exists a vector field &amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039; such that&amp;#039;&amp;#039;&lt;br /&gt;
&lt;br /&gt;
::&amp;lt;math&amp;gt;\mathbf{B} = \nabla\times\mathbf{A}&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
The vector field &amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039; is called the [[magnetic vector potential]].&lt;br /&gt;
&lt;br /&gt;
Note that there is more than one possible &amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039; which satisfies this equation for a given &amp;#039;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;#039; field. In fact, there are infinitely many: any field of the form ∇φ can be added onto &amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039; to get an alternative choice for &amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039;, by the identity (see [[Vector calculus identities]]):&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\nabla\times \mathbf{A} = \nabla\times(\mathbf{A} + \nabla \phi)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
since the curl of a gradient is the [[Null vector|zero]] [[vector field]]:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\nabla\times \nabla \phi=\boldsymbol{0}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
This arbitrariness in &amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039; is called [[gauge freedom]].&lt;br /&gt;
&lt;br /&gt;
==In terms of field lines==&lt;br /&gt;
{{main|Field line}}&lt;br /&gt;
&lt;br /&gt;
The magnetic field &amp;#039;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;#039;, like any vector field, can be depicted via [[field line]]s (also called &amp;#039;&amp;#039;flux lines&amp;#039;&amp;#039;)-- that is, a set of curves whose direction corresponds to the direction of &amp;#039;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;#039;, and whose areal density is proportional to the magnitude of &amp;#039;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;#039;. Gauss&amp;#039;s law for magnetism is equivalent to the statement that the field lines have neither a beginning nor an end: Each one either forms a closed loop, winds around forever without ever quite joining back up to itself exactly, or extends to infinity.&lt;br /&gt;
&lt;br /&gt;
==Modification if magnetic monopoles exist==&lt;br /&gt;
{{main|Magnetic monopole}}&lt;br /&gt;
&lt;br /&gt;
If [[magnetic monopoles]] were discovered, then Gauss&amp;#039;s law for magnetism would state the divergence of &amp;#039;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;#039; would be proportional to the &amp;#039;&amp;#039;[[magnetic charge]] density&amp;#039;&amp;#039; ρ&amp;lt;sub&amp;gt;m&amp;lt;/sub&amp;gt;, analogous to Gauss&amp;#039;s law for electric field. For zero net magnetic charge density (ρ&amp;lt;sub&amp;gt;m&amp;lt;/sub&amp;gt; = 0), the original form of Gauss&amp;#039;s magnetism law is the result. &lt;br /&gt;
&lt;br /&gt;
The modified formula in [[SI units]] is not standard; in one variation, magnetic charge has units of [[Weber (unit)|webers]], in another it has units of [[ampere]]-[[meter]]s.&lt;br /&gt;
&lt;br /&gt;
:{| class=&amp;quot;wikitable&amp;quot;&lt;br /&gt;
|-&lt;br /&gt;
! Units&lt;br /&gt;
! Equation&lt;br /&gt;
|-&lt;br /&gt;
| [[Gaussian units|cgs]] units&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite journal&lt;br /&gt;
|author=F. Moulin&lt;br /&gt;
|year=2001&lt;br /&gt;
|title=Magnetic monopoles and Lorentz force&lt;br /&gt;
|journal=[[Il Nuovo Cimento B]]&lt;br /&gt;
|volume=116 |issue=8 |pages=869&amp;amp;ndash;877&lt;br /&gt;
|arxiv=math-ph/0203043&lt;br /&gt;
|bibcode = 2001NCimB.116..869M&lt;br /&gt;
}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
|| &amp;lt;math&amp;gt;\nabla\cdot\mathbf{B} = 4\pi\rho_m&amp;lt;/math&amp;gt; &lt;br /&gt;
|-&lt;br /&gt;
| [[SI units]] ([[Weber (unit)|weber]] convention)&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite book&lt;br /&gt;
 |author=John David Jackson&lt;br /&gt;
 |year=1999&lt;br /&gt;
 |title=Classical Electrodynamics&lt;br /&gt;
 |edition=3rd&lt;br /&gt;
 |page=273, eq. (6.150)&lt;br /&gt;
 |publisher=[[John Wiley &amp;amp; Sons|Wiley]]&lt;br /&gt;
 |isbn=&lt;br /&gt;
}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
|| &amp;lt;math&amp;gt;\nabla\cdot\mathbf{B} = \rho_m&amp;lt;/math&amp;gt;&lt;br /&gt;
|-&lt;br /&gt;
| SI units ([[ampere]]-[[meter]] convention)&amp;lt;ref&amp;gt;See for example equation (4) in {{cite journal&lt;br /&gt;
 |author=M. Nowakowski, N. G. Kelkar&lt;br /&gt;
 |year=2005&lt;br /&gt;
 |title=Faraday&amp;#039;s law in the presence of magnetic monopoles&lt;br /&gt;
 |journal=[[Europhysics Letters]]&lt;br /&gt;
 |volume=71 |issue=3 |pages=346&lt;br /&gt;
 |arxiv=physics/0508099&lt;br /&gt;
 |doi=10.1209/epl/i2004-10545-2&lt;br /&gt;
|bibcode = 2005EL.....71..346N }}&amp;lt;/ref&amp;gt;&lt;br /&gt;
|| &amp;lt;math&amp;gt;\nabla\cdot\mathbf{B} = \mu_0 \rho_m&amp;lt;/math&amp;gt;&lt;br /&gt;
|-&lt;br /&gt;
|}&lt;br /&gt;
&lt;br /&gt;
where &amp;#039;&amp;#039;μ&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt; is the [[vacuum permeability]]. &lt;br /&gt;
&lt;br /&gt;
So far no magnetic monopoles have been found, despite extensive search.&lt;br /&gt;
&lt;br /&gt;
==History==&lt;br /&gt;
&lt;br /&gt;
The equation &amp;lt;math&amp;gt;\mathbf{B} = \nabla\times\mathbf{A}&amp;lt;/math&amp;gt; was one of [[A dynamical theory of the electromagnetic field|Maxwell&amp;#039;s original eight equations]]. However, the interpretation was somewhat different: Maxwell&amp;#039;s &amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039; field directly corresponded to an important physical quantity which he believed corresponded to Faraday&amp;#039;s &amp;#039;&amp;#039;electrotonic state&amp;#039;&amp;#039;,&amp;lt;ref name=Huray&amp;gt;&lt;br /&gt;
{{cite book&lt;br /&gt;
 |author=Paul G. Hurray&lt;br /&gt;
 |year=2010&lt;br /&gt;
 |title=Maxwell&amp;#039;s Equations&lt;br /&gt;
 |url=http://books.google.com/books?id=0QsDgdd0MhMC&amp;amp;pg=PA22&lt;br /&gt;
 |page=22&lt;br /&gt;
 |publisher=&lt;br /&gt;
 |isbn=978-0-470-54276-7&lt;br /&gt;
}}&amp;lt;/ref&amp;gt; while the modern interpretation emphasizes [[gauge freedom]], the idea that there are many possible &amp;#039;&amp;#039;&amp;#039;A&amp;#039;&amp;#039;&amp;#039; fields, all equally valid.&amp;lt;ref name=Huray/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
&lt;br /&gt;
{{Wikipedia books|Maxwell&amp;#039;s equations}}&lt;br /&gt;
*[[Magnetic moment]]&lt;br /&gt;
*[[Vector calculus]]&lt;br /&gt;
*[[Integral]]&lt;br /&gt;
*[[Flux]]&lt;br /&gt;
*[[Gaussian surface]]&lt;br /&gt;
*[[Faraday&amp;#039;s law of induction]]&lt;br /&gt;
*[[Ampère&amp;#039;s circuital law]]&lt;br /&gt;
*[[Lorenz gauge condition]]&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
{{reflist}}&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:Gauss&amp;#039;s Law For Magnetism}}&lt;br /&gt;
[[Category:Magnetism]]&lt;br /&gt;
[[Category:Maxwell&amp;#039;s equations]]&lt;/div&gt;</summary>
		<author><name>en&gt;CBM</name></author>
	</entry>
</feed>