<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://wiki.sarg.dev/index.php?action=history&amp;feed=atom&amp;title=Vector_potential</id>
	<title>Vector potential - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://wiki.sarg.dev/index.php?action=history&amp;feed=atom&amp;title=Vector_potential"/>
	<link rel="alternate" type="text/html" href="https://wiki.sarg.dev/index.php?title=Vector_potential&amp;action=history"/>
	<updated>2026-04-05T16:34:55Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.44.2</generator>
	<entry>
		<id>https://wiki.sarg.dev/index.php?title=Vector_potential&amp;diff=264576&amp;oldid=prev</id>
		<title>97.103.116.88: improve</title>
		<link rel="alternate" type="text/html" href="https://wiki.sarg.dev/index.php?title=Vector_potential&amp;diff=264576&amp;oldid=prev"/>
		<updated>2024-10-04T21:32:05Z</updated>

		<summary type="html">&lt;p&gt;improve&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{Short description|Mathematical concept in vector calculus}}&lt;br /&gt;
{{About|the general concept in the mathematical theory of vector fields|the vector potential in electromagnetism|Magnetic vector potential|the vector potential in fluid mechanics|Stream function}}&lt;br /&gt;
&lt;br /&gt;
In [[vector calculus]], a &amp;#039;&amp;#039;&amp;#039;vector potential&amp;#039;&amp;#039;&amp;#039; is a [[vector field]] whose [[Curl (mathematics)|curl]] is a given vector field. This is analogous to a &amp;#039;&amp;#039;[[scalar potential]]&amp;#039;&amp;#039;, which is a scalar field whose [[gradient]] is a given vector field.&lt;br /&gt;
&lt;br /&gt;
Formally, given a vector field &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt;, a &amp;#039;&amp;#039;vector potential&amp;#039;&amp;#039; is a &amp;lt;math&amp;gt;C^2&amp;lt;/math&amp;gt; vector field &amp;lt;math&amp;gt;\mathbf{A}&amp;lt;/math&amp;gt; such that &lt;br /&gt;
&amp;lt;math display=&amp;quot;block&amp;quot;&amp;gt; \mathbf{v} = \nabla \times \mathbf{A}.  &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Consequence==&lt;br /&gt;
If a vector field &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt; admits a vector potential &amp;lt;math&amp;gt;\mathbf{A}&amp;lt;/math&amp;gt;, then from the equality &lt;br /&gt;
&amp;lt;math display=&amp;quot;block&amp;quot;&amp;gt;\nabla \cdot (\nabla \times \mathbf{A}) = 0&amp;lt;/math&amp;gt;&lt;br /&gt;
([[divergence]] of the [[Curl (mathematics)|curl]] is zero) one obtains&lt;br /&gt;
&amp;lt;math display=&amp;quot;block&amp;quot;&amp;gt;\nabla \cdot \mathbf{v} = \nabla \cdot (\nabla \times \mathbf{A}) = 0,&amp;lt;/math&amp;gt;&lt;br /&gt;
which implies that &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt; must be a [[solenoidal vector field]].&lt;br /&gt;
&lt;br /&gt;
==Theorem==&lt;br /&gt;
Let&lt;br /&gt;
&amp;lt;math display=&amp;quot;block&amp;quot;&amp;gt;\mathbf{v} : \R^3 \to \R^3 &amp;lt;/math&amp;gt;&lt;br /&gt;
be a [[solenoidal vector field]] which is twice [[smooth function|continuously differentiable]]. Assume that &amp;lt;math&amp;gt;\mathbf{v}(\mathbf{x})&amp;lt;/math&amp;gt; decreases at least as fast as &amp;lt;math&amp;gt; 1/\|\mathbf{x}\| &amp;lt;/math&amp;gt; for &amp;lt;math&amp;gt; \| \mathbf{x}\| \to \infty &amp;lt;/math&amp;gt;. Define&lt;br /&gt;
&amp;lt;math display=&amp;quot;block&amp;quot;&amp;gt; \mathbf{A} (\mathbf{x}) = \frac{1}{4 \pi}  \int_{\mathbb R^3} \frac{ \nabla_y \times \mathbf{v} (\mathbf{y})}{\left\|\mathbf{x} -\mathbf{y} \right\|} \, d^3\mathbf{y} &amp;lt;/math&amp;gt;&lt;br /&gt;
where &amp;lt;math&amp;gt;\nabla_y \times&amp;lt;/math&amp;gt; denotes curl with respect to variable &amp;lt;math&amp;gt;\mathbf{y}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;\mathbf{A}&amp;lt;/math&amp;gt; is a vector potential for &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt;. That is,&lt;br /&gt;
&amp;lt;math display=&amp;quot;block&amp;quot;&amp;gt;\nabla \times \mathbf{A} =\mathbf{v}. &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The integral domain can be restricted to any simply connected region &amp;lt;math&amp;gt;\mathbf{\Omega}&amp;lt;/math&amp;gt;. That is, &amp;lt;math&amp;gt;\mathbf{A&amp;#039;}&amp;lt;/math&amp;gt; also is a vector potential of &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt;, where&lt;br /&gt;
&amp;lt;math display=&amp;quot;block&amp;quot;&amp;gt; \mathbf{A&amp;#039;} (\mathbf{x}) = \frac{1}{4 \pi}  \int_{\Omega} \frac{ \nabla_y \times \mathbf{v} (\mathbf{y})}{\left\|\mathbf{x} -\mathbf{y} \right\|} \, d^3\mathbf{y}. &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
A generalization of this theorem is the [[Helmholtz decomposition]] theorem, which states that any vector field can be decomposed as a sum of a solenoidal vector field and an [[irrotational vector field]].&lt;br /&gt;
&lt;br /&gt;
By [[analogy]] with the [[Biot-Savart law]], &amp;lt;math&amp;gt;\mathbf{A&amp;#039;&amp;#039;}(\mathbf{x})&amp;lt;/math&amp;gt; also qualifies as a vector potential for &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt;, where&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\mathbf{A&amp;#039;&amp;#039;}(\mathbf{x}) =\int_\Omega \frac{\mathbf{v}(\mathbf{y}) \times (\mathbf{x} - \mathbf{y})}{4 \pi |\mathbf{x} - \mathbf{y}|^3} d^3 \mathbf{y}&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Substituting &amp;lt;math&amp;gt;\mathbf{j}&amp;lt;/math&amp;gt; ([[current density]]) for &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\mathbf{H}&amp;lt;/math&amp;gt; ([[H-field]]) for &amp;lt;math&amp;gt;\mathbf{A}&amp;lt;/math&amp;gt;, yields the  Biot-Savart law.&lt;br /&gt;
&lt;br /&gt;
Let &amp;lt;math&amp;gt;\mathbf{\Omega}&amp;lt;/math&amp;gt; be a [[star domain]] centered at the point &amp;lt;math&amp;gt;\mathbf{p}&amp;lt;/math&amp;gt;, where &amp;lt;math&amp;gt;\mathbf{p}\in \R^3&amp;lt;/math&amp;gt;. Applying [[Poincaré&amp;#039;s lemma]] for [[differential forms]] to vector fields, then &amp;lt;math&amp;gt;\mathbf{A&amp;#039;&amp;#039;&amp;#039;}(\mathbf{x})&amp;lt;/math&amp;gt; also is a vector potential for &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt;, where&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\mathbf{A&amp;#039;&amp;#039;&amp;#039;}(\mathbf{x})&lt;br /&gt;
=\int_0^1 s ((\mathbf{x}-\mathbf{p})\times ( \mathbf{v}( s \mathbf{x} + (1-s) \mathbf{p} ))\ ds&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Nonuniqueness==&lt;br /&gt;
The vector potential admitted by a solenoidal field is not unique.  If &amp;lt;math&amp;gt;\mathbf{A}&amp;lt;/math&amp;gt; is a vector potential for &amp;lt;math&amp;gt;\mathbf{v}&amp;lt;/math&amp;gt;, then so is&lt;br /&gt;
&amp;lt;math display=&amp;quot;block&amp;quot;&amp;gt; \mathbf{A} + \nabla f, &amp;lt;/math&amp;gt;&lt;br /&gt;
where &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt; is any continuously differentiable scalar function. This follows from the fact that the curl of the gradient is zero.&lt;br /&gt;
&lt;br /&gt;
This nonuniqueness leads to a degree of freedom in the formulation of electrodynamics, or gauge freedom, and requires [[Gauge fixing|choosing a gauge]].&lt;br /&gt;
&lt;br /&gt;
== See also ==&lt;br /&gt;
* [[Fundamental theorem of vector calculus]]&lt;br /&gt;
* [[Magnetic vector potential]]&lt;br /&gt;
* [[Solenoidal vector field]]&lt;br /&gt;
* [[Closed and exact differential forms#Application in electrodynamics|Closed and Exact Differential Forms]]&lt;br /&gt;
&lt;br /&gt;
== References ==&lt;br /&gt;
* &amp;#039;&amp;#039;Fundamentals of Engineering Electromagnetics&amp;#039;&amp;#039; by David K. Cheng, Addison-Wesley, 1993.&lt;br /&gt;
&lt;br /&gt;
{{Authority control}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Concepts in physics]]&lt;br /&gt;
[[Category:Potentials]]&lt;br /&gt;
[[Category:Vector calculus]]&lt;br /&gt;
[[Category:Vector physical quantities]]&lt;/div&gt;</summary>
		<author><name>97.103.116.88</name></author>
	</entry>
</feed>