Helmholtz_decomposition Knowpia

In physics and mathematics, in the area of vector calculus, Helmholtz's theorem,^[1]^[2] also known as the fundamental theorem of vector calculus,^[3]^[4]^[5]^[6]^[7]^[8]^[9] states that any sufficiently smooth, rapidly decaying vector field in three dimensions can be resolved into the sum of an irrotational (curl-free) vector field and a solenoidal (divergence-free) vector field; this is known as the Helmholtz decomposition or Helmholtz representation. It is named after Hermann von Helmholtz.^[10]

As an irrotational vector field has a scalar potential and a solenoidal vector field has a vector potential, the Helmholtz decomposition states that a vector field (satisfying appropriate smoothness and decay conditions) can be decomposed as the sum of the form $-\nabla \phi +\nabla \times \mathbf {A}$ , where $\phi$ is a scalar field called "scalar potential", and $A$ is a vector field, called a vector potential.

Statement of the theoremEdit

Let $\mathbf {F}$ be a vector field on a bounded domain $V\subseteq \mathbb {R} ^{3}$ , which is twice continuously differentiable inside $V$ , and let $S$ be the surface that encloses the domain $V$ . Then $\mathbf {F}$ can be decomposed into a curl-free component and a divergence-free component:^[11]

\mathbf {F} =-\nabla \Phi +\nabla \times \mathbf {A} ,

where

{\begin{aligned}\Phi (\mathbf {r} )&={\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\cdot \mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\cdot {\frac {\mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} S'\\[8pt]\mathbf {A} (\mathbf {r} )&={\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\times \mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\times {\frac {\mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} S'\end{aligned}}

and $\nabla '$ is the nabla operator with respect to $\mathbf {r'}$ , not $\mathbf {r}$ .

If $V=\mathbb {R} ^{3}$ and is therefore unbounded, and $\mathbf {F}$ vanishes at least as fast as $1/r$ as $r\to \infty$ , then one has^[12]

{\begin{aligned}\Phi (\mathbf {r} )&={\frac {1}{4\pi }}\int _{\mathbb {R} ^{3}}{\frac {\nabla '\cdot \mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} V'\\[8pt]\mathbf {A} (\mathbf {r} )&={\frac {1}{4\pi }}\int _{\mathbb {R} ^{3}}{\frac {\nabla '\times \mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} V'\end{aligned}}

This holds in particular if

\mathbf {F}

is twice continuously differentiable in

\mathbb {R} ^{3}

and of bounded support.

DerivationEdit

Suppose we have a vector function $\mathbf {F} (\mathbf {r} )$ of which we know the curl, $\nabla \times \mathbf {F}$ , and the divergence, $\nabla \cdot \mathbf {F}$ , in the domain and the fields on the boundary. Writing the function using delta function in the form

\delta ^{3}(\mathbf {r} -\mathbf {r} ')=-{\frac {1}{4\pi }}\nabla ^{2}{\frac {1}{|\mathbf {r} -\mathbf {r} '|}}\,,

where

\nabla ^{2}:=\nabla \cdot \nabla

is the Laplace operator, we have

{\begin{aligned}\mathbf {F} (\mathbf {r} )&=\int _{V}\mathbf {F} \left(\mathbf {r} '\right)\delta ^{3}(\mathbf {r} -\mathbf {r} ')\mathrm {d} V'\\&=\int _{V}\mathbf {F} (\mathbf {r} ')\left(-{\frac {1}{4\pi }}\nabla ^{2}{\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\right)\mathrm {d} V'\\&=-{\frac {1}{4\pi }}\nabla ^{2}\int _{V}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\\&=-{\frac {1}{4\pi }}\left[\nabla \left(\nabla \cdot \int _{V}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)-\nabla \times \left(\nabla \times \int _{V}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)\right]\\&=-{\frac {1}{4\pi }}\left[\nabla \left(\int _{V}\mathbf {F} (\mathbf {r} ')\cdot \nabla {\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)+\nabla \times \left(\int _{V}\mathbf {F} (\mathbf {r} ')\times \nabla {\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)\right]\\&=-{\frac {1}{4\pi }}\left[-\nabla \left(\int _{V}\mathbf {F} (\mathbf {r} ')\cdot \nabla '{\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)-\nabla \times \left(\int _{V}\mathbf {F} (\mathbf {r} ')\times \nabla '{\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)\right]\end{aligned}}

where we have used the definition of the vector Laplacian:

\nabla ^{2}\mathbf {a} =\nabla (\nabla \cdot \mathbf {a} )-\nabla \times (\nabla \times \mathbf {a} )\ ,

differentiation/integration with respect to $\mathbf {r} '$ by $\nabla '/\mathrm {d} V',$ and in the last line, linearity of function arguments:

\nabla {\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}=-\nabla '{\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\ .

Then using the vectorial identities

{\begin{aligned}\mathbf {a} \cdot \nabla \psi &=-\psi (\nabla \cdot \mathbf {a} )+\nabla \cdot (\psi \mathbf {a} )\\\mathbf {a} \times \nabla \psi &=\psi (\nabla \times \mathbf {a} )-\nabla \times (\psi \mathbf {a} )\end{aligned}}

we get

{\begin{aligned}\mathbf {F} (\mathbf {r} )=-{\frac {1}{4\pi }}{\bigg [}&-\nabla \left(-\int _{V}{\frac {\nabla '\cdot \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'+\int _{V}\nabla '\cdot {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)\\&-\nabla \times \left(\int _{V}{\frac {\nabla '\times \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-\int _{V}\nabla '\times {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right){\bigg ]}.\end{aligned}}

Thanks to the divergence theorem the equation can be rewritten as

{\begin{aligned}\mathbf {F} (\mathbf {r} )&=-{\frac {1}{4\pi }}{\bigg [}-\nabla \left(-\int _{V}{\frac {\nabla '\cdot \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'+\oint _{S}\mathbf {\hat {n}} '\cdot {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'\right)\\&\qquad \qquad -\nabla \times \left(\int _{V}{\frac {\nabla '\times \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-\oint _{S}\mathbf {\hat {n}} '\times {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'\right){\bigg ]}\\&=-\nabla \left[{\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\cdot \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\cdot {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'\right]\\&\quad +\nabla \times \left[{\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\times \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\times {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'\right]\end{aligned}}

with outward surface normal $\mathbf {\hat {n}} '$ .

Defining

\Phi (\mathbf {r} )\equiv {\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\cdot \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\cdot {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'

\mathbf {A} (\mathbf {r} )\equiv {\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\times \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\times {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'

we finally obtain

\mathbf {F} =-\nabla \Phi +\nabla \times \mathbf {A} .

Generalization to higher dimensionsEdit

In a $d$ -dimensional vector space with $d\neq 3$ , ${\textstyle -{\frac {1}{4\pi \left|\mathbf {r} -\mathbf {r} '\right|}}}$ should be replaced by the appropriate Green's function for the Laplacian, defined by

\nabla ^{2}G(\mathbf {r} ,\mathbf {r} ')={\frac {\partial }{\partial r_{\mu }}}{\frac {\partial }{\partial r_{\mu }}}G(\mathbf {r} ,\mathbf {r} ')=\delta ^{d}(\mathbf {r} -\mathbf {r} ')

where Einstein summation convention is used for the index

\mu

. For example,

{\textstyle G(\mathbf {r} ,\mathbf {r} ')={\frac {1}{2\pi }}\ln \left|\mathbf {r} -\mathbf {r} '\right|}

in 2D.

Following the same steps as above, we can write

F_{\mu }(\mathbf {r} )=\int _{V}F_{\mu }(\mathbf {r} '){\frac {\partial }{\partial r_{\mu }}}{\frac {\partial }{\partial r_{\mu }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '=\delta _{\mu \nu }\delta _{\rho \sigma }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\rho }}}{\frac {\partial }{\partial r_{\sigma }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '

where

\delta _{\mu \nu }

is the Kronecker delta (and the summation convention is again used). In place of the definition of the vector Laplacian used above, we now make use of an identity for the Levi-Civita symbol

\varepsilon

,

\varepsilon _{\alpha \mu \rho }\varepsilon _{\alpha \nu \sigma }=(d-2)!(\delta _{\mu \nu }\delta _{\rho \sigma }-\delta _{\mu \sigma }\delta _{\nu \rho })

which is valid in

d\geq 2

dimensions, where

\alpha

is a

(d-2)

-component multi-index. This gives

F_{\mu }(\mathbf {r} )=\delta _{\mu \sigma }\delta _{\nu \rho }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\rho }}}{\frac {\partial }{\partial r_{\sigma }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '+{\frac {1}{(d-2)!}}\varepsilon _{\alpha \mu \rho }\varepsilon _{\alpha \nu \sigma }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\rho }}}{\frac {\partial }{\partial r_{\sigma }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '

We can therefore write

F_{\mu }(\mathbf {r} )=-{\frac {\partial }{\partial r_{\mu }}}\Phi (\mathbf {r} )+\varepsilon _{\mu \rho \alpha }{\frac {\partial }{\partial r_{\rho }}}A_{\alpha }(\mathbf {r} )

where

{\begin{aligned}\Phi (\mathbf {r} )&=-\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\nu }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '\\A_{\alpha }&={\frac {1}{(d-2)!}}\varepsilon _{\alpha \nu \sigma }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\sigma }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '\end{aligned}}

Note that the vector potential is replaced by a rank-

(d-2)

tensor in

d

dimensions.

For a further generalization to manifolds, see the discussion of Hodge decomposition below.

Another derivation from the Fourier transformEdit

Note that in the theorem stated here, we have imposed the condition that if $\mathbf {F}$ is not defined on a bounded domain, then $\mathbf {F}$ shall decay faster than $1/r$ . Thus, the Fourier Transform of $\mathbf {F}$ , denoted as $\mathbf {G}$ , is guaranteed to exist. We apply the convention

\mathbf {F} (\mathbf {r} )=\iiint \mathbf {G} (\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}

The Fourier transform of a scalar field is a scalar field, and the Fourier transform of a vector field is a vector field of same dimension.

Now consider the following scalar and vector fields:

{\begin{aligned}G_{\Phi }(\mathbf {k} )&=i{\frac {\mathbf {k} \cdot \mathbf {G} (\mathbf {k} )}{\|\mathbf {k} \|^{2}}}\\\mathbf {G} _{\mathbf {A} }(\mathbf {k} )&=i{\frac {\mathbf {k} \times \mathbf {G} (\mathbf {k} )}{\|\mathbf {k} \|^{2}}}\\[8pt]\Phi (\mathbf {r} )&=\iiint G_{\Phi }(\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}\\\mathbf {A} (\mathbf {r} )&=\iiint \mathbf {G} _{\mathbf {A} }(\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}\end{aligned}}

Hence

{\begin{aligned}\mathbf {G} (\mathbf {k} )&=-i\mathbf {k} G_{\Phi }(\mathbf {k} )+i\mathbf {k} \times \mathbf {G} _{\mathbf {A} }(\mathbf {k} )\\[6pt]\mathbf {F} (\mathbf {r} )&=-\iiint i\mathbf {k} G_{\Phi }(\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}+\iiint i\mathbf {k} \times \mathbf {G} _{\mathbf {A} }(\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}\\&=-\nabla \Phi (\mathbf {r} )+\nabla \times \mathbf {A} (\mathbf {r} )\end{aligned}}

Fields with prescribed divergence and curlEdit

The term "Helmholtz theorem" can also refer to the following. Let $C$ be a solenoidal vector field and d a scalar field on $R 3$ which are sufficiently smooth and which vanish faster than $1/ r 2$ at infinity. Then there exists a vector field $F$ such that

\nabla \cdot \mathbf {F} =d\quad {\text{ and }}\quad \nabla \times \mathbf {F} =\mathbf {C} ;

if additionally the vector field $F$ vanishes as $r \to \infty$ , then $F$ is unique.^[12]

In other words, a vector field can be constructed with both a specified divergence and a specified curl, and if it also vanishes at infinity, it is uniquely specified by its divergence and curl. This theorem is of great importance in electrostatics, since Maxwell's equations for the electric and magnetic fields in the static case are of exactly this type.^[12] The proof is by a construction generalizing the one given above: we set

\mathbf {F} =-\nabla ({\mathcal {G}}(d))+\nabla \times ({\mathcal {G}}(\mathbf {C} )),

where ${\mathcal {G}}$ represents the Newtonian potential operator. (When acting on a vector field, such as $\nabla \times F$ , it is defined to act on each component.)

Solution spaceEdit

For two Helmholtz decompositions $(\Phi _{1},{\mathbf {A} _{1}})$ $(\Phi _{2},{\mathbf {A} _{2}})$ of $\mathbf {F}$ , there holds

\Phi _{1}-\Phi _{2}=\lambda ,\quad {\mathbf {A} _{1}-\mathbf {A} _{2}}={\mathbf {A} }_{\lambda }+\nabla \varphi ,

where

$\lambda$ is an harmonic scalar field,
${\mathbf {A} }_{\lambda }$ is a vector field determined by $\lambda$ ,
$\varphi$ is any scalar field.

Proof: Setting $\lambda =\Phi _{2}-\Phi _{1}$ and ${\mathbf {B} =A_{2}-A_{1}}$ , one has, according to the definition of the Helmholtz decomposition,

-\nabla \lambda +\nabla \times \mathbf {B} =0

.

Taking the divergence of each member of this equation yields $\nabla ^{2}\lambda =0$ , hence $\lambda$ is harmonic.

Conversely, given any harmonic function $\lambda$ , $\nabla \lambda$ is solenoidal since

\nabla \cdot (\nabla \lambda )=\nabla ^{2}\lambda =0.

Thus, according to the above section, there exists a vector field ${\mathbf {A} }_{\lambda }$ such that $\nabla \lambda =\nabla \times {\mathbf {A} }_{\lambda }$ . If ${\mathbf {A} '}_{\lambda }$ is another such vector field, then $\mathbf {C} ={\mathbf {A} }_{\lambda }-{\mathbf {A} '}_{\lambda }$ fulfills $\nabla \times {\mathbf {C} }=0$ , hence $C=\nabla \varphi$ for some scalar field $\varphi$ (and conversely).

Differential formsEdit

The Hodge decomposition is closely related to the Helmholtz decomposition, generalizing from vector fields on R³ to differential forms on a Riemannian manifold M. Most formulations of the Hodge decomposition require M to be compact.^[13] Since this is not true of R³, the Hodge decomposition theorem is not strictly a generalization of the Helmholtz theorem. However, the compactness restriction in the usual formulation of the Hodge decomposition can be replaced by suitable decay assumptions at infinity on the differential forms involved, giving a proper generalization of the Helmholtz theorem.

Weak formulationEdit

The Helmholtz decomposition can also be generalized by reducing the regularity assumptions (the need for the existence of strong derivatives). Suppose $Ω$ is a bounded, simply-connected, Lipschitz domain. Every square-integrable vector field $u \in (L 2 (Ω)) 3$ has an orthogonal decomposition:

\mathbf {u} =\nabla \varphi +\nabla \times \mathbf {A}

where $φ$ is in the Sobolev space $H 1 (Ω)$ of square-integrable functions on $Ω$ whose partial derivatives defined in the distribution sense are square integrable, and $A \in H (curl, Ω)$ , the Sobolev space of vector fields consisting of square integrable vector fields with square integrable curl.

For a slightly smoother vector field $u \in H (curl, Ω)$ , a similar decomposition holds:

\mathbf {u} =\nabla \varphi +\mathbf {v}

where $φ \in H 1 (Ω), v \in (H 1 (Ω)) d$ .

Longitudinal and transverse fieldsEdit

A terminology often used in physics refers to the curl-free component of a vector field as the longitudinal component and the divergence-free component as the transverse component.^[14] This terminology comes from the following construction: Compute the three-dimensional Fourier transform ${\hat {\mathbf {F} }}$ of the vector field $\mathbf {F}$ . Then decompose this field, at each point k, into two components, one of which points longitudinally, i.e. parallel to k, the other of which points in the transverse direction, i.e. perpendicular to k. So far, we have

{\hat {\mathbf {F} }}(\mathbf {k} )={\hat {\mathbf {F} }}_{t}(\mathbf {k} )+{\hat {\mathbf {F} }}_{l}(\mathbf {k} )

\mathbf {k} \cdot {\hat {\mathbf {F} }}_{t}(\mathbf {k} )=0.

\mathbf {k} \times {\hat {\mathbf {F} }}_{l}(\mathbf {k} )=\mathbf {0} .

Now we apply an inverse Fourier transform to each of these components. Using properties of Fourier transforms, we derive:

\mathbf {F} (\mathbf {r} )=\mathbf {F} _{t}(\mathbf {r} )+\mathbf {F} _{l}(\mathbf {r} )

\nabla \cdot \mathbf {F} _{t}(\mathbf {r} )=0

\nabla \times \mathbf {F} _{l}(\mathbf {r} )=\mathbf {0}

Since $\nabla \times (\nabla \Phi )=0$ and $\nabla \cdot (\nabla \times \mathbf {A} )=0$ ,

we can get

\mathbf {F} _{t}=\nabla \times \mathbf {A} ={\frac {1}{4\pi }}\nabla \times \int _{V}{\frac {\nabla '\times \mathbf {F} }{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'

\mathbf {F} _{l}=-\nabla \Phi =-{\frac {1}{4\pi }}\nabla \int _{V}{\frac {\nabla '\cdot \mathbf {F} }{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'

so this is indeed the Helmholtz decomposition.^[15]

NotesEdit

^ On Helmholtz's Theorem in Finite Regions. By Jean Bladel. Midwestern Universities Research Association, 1958.
^ Hermann von Helmholtz. Clarendon Press, 1906. By Leo Koenigsberger. p357
^ An Elementary Course in the Integral Calculus. By Daniel Alexander Murray. American Book Company, 1898. p8.
^ J. W. Gibbs & Edwin Bidwell Wilson (1901) Vector Analysis, page 237, link from Internet Archive
^ Electromagnetic theory, Volume 1. By Oliver Heaviside. "The Electrician" printing and publishing company, limited, 1893.
^ Elements of the differential calculus. By Wesley Stoker Barker Woolhouse. Weale, 1854.
^ An Elementary Treatise on the Integral Calculus: Founded on the Method of Rates Or Fluxions. By William Woolsey Johnson. John Wiley & Sons, 1881.
See also: Method of Fluxions.
^ Vector Calculus: With Applications to Physics. By James Byrnie Shaw. D. Van Nostrand, 1922. p205.
See also: Green's Theorem.
^ A Treatise on the Integral Calculus, Volume 2. By Joseph Edwards. Chelsea Publishing Company, 1922.
^
See:
- H. Helmholtz (1858) "Über Integrale der hydrodynamischen Gleichungen, welcher der Wirbelbewegungen entsprechen" (On integrals of the hydrodynamic equations which correspond to vortex motions), Journal für die reine und angewandte Mathematik, 55: 25–55. On page 38, the components of the fluid's velocity (u, v, w) are expressed in terms of the gradient of a scalar potential P and the curl of a vector potential (L, M, N).
- However, Helmholtz was largely anticipated by George Stokes in his paper: G. G. Stokes (presented: 1849; published: 1856) "On the dynamical theory of diffraction," Transactions of the Cambridge Philosophical Society, vol. 9, part I, pages 1–62; see pages 9–10.
^ "Helmholtz' Theorem" (PDF). University of Vermont. Archived from the original (PDF) on 2012-08-13. Retrieved 2011-03-11.
^ ^a ^b ^c David J. Griffiths, Introduction to Electrodynamics, Prentice-Hall, 1999, p. 556.
^ Cantarella, Jason; DeTurck, Dennis; Gluck, Herman (2002). "Vector Calculus and the Topology of Domains in 3-Space". The American Mathematical Monthly. 109 (5): 409–442. doi:10.2307/2695643. JSTOR 2695643.
^ Stewart, A. M.; Longitudinal and transverse components of a vector field, Sri Lankan Journal of Physics 12, 33–42 (2011)
^ Online lecture notes by Robert Littlejohn

ReferencesEdit

General referencesEdit

George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists, 4th edition, Academic Press: San Diego (1995) pp. 92–93
George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists – International Edition, 6th edition, Academic Press: San Diego (2005) pp. 95–101
Rutherford Aris, Vectors, tensors, and the basic equations of fluid mechanics, Prentice-Hall (1962), OCLC 299650765, pp. 70–72

References for the weak formulationEdit

Amrouche, C.; Bernardi, C.; Dauge, M.; Girault, V. (1998). "Vector potentials in three dimensional non-smooth domains". Mathematical Methods in the Applied Sciences. 21 (9): 823–864. Bibcode:1998MMAS...21..823A. doi:10.1002/(sici)1099-1476(199806)21:9<823::aid-mma976>3.0.co;2-b.
R. Dautray and J.-L. Lions. Spectral Theory and Applications, volume 3 of Mathematical Analysis and Numerical Methods for Science and Technology. Springer-Verlag, 1990.
V. Girault and P.A. Raviart. Finite Element Methods for Navier–Stokes Equations: Theory and Algorithms. Springer Series in Computational Mathematics. Springer-Verlag, 1986.

External linksEdit

Helmholtz theorem on MathWorld

[1] On Helmholtz's Theorem in Finite Regions. By Jean Bladel. Midwestern Universities Research Association, 1958.

[2] Hermann von Helmholtz. Clarendon Press, 1906. By Leo Koenigsberger. p357

[3] An Elementary Course in the Integral Calculus. By Daniel Alexander Murray. American Book Company, 1898. p8.

[4] J. W. Gibbs & Edwin Bidwell Wilson (1901) Vector Analysis, page 237, link from Internet Archive

[5] Electromagnetic theory, Volume 1. By Oliver Heaviside. "The Electrician" printing and publishing company, limited, 1893.

[6] Elements of the differential calculus. By Wesley Stoker Barker Woolhouse. Weale, 1854.

[7] An Elementary Treatise on the Integral Calculus: Founded on the Method of Rates Or Fluxions. By William Woolsey Johnson. John Wiley & Sons, 1881.
See also: Method of Fluxions.

[8] Vector Calculus: With Applications to Physics. By James Byrnie Shaw. D. Van Nostrand, 1922. p205.
See also: Green's Theorem.

[9] A Treatise on the Integral Calculus, Volume 2. By Joseph Edwards. Chelsea Publishing Company, 1922.

[10] See:
H. Helmholtz (1858) "Über Integrale der hydrodynamischen Gleichungen, welcher der Wirbelbewegungen entsprechen" (On integrals of the hydrodynamic equations which correspond to vortex motions), Journal für die reine und angewandte Mathematik, 55: 25–55. On page 38, the components of the fluid's velocity (u, v, w) are expressed in terms of the gradient of a scalar potential P and the curl of a vector potential (L, M, N).

However, Helmholtz was largely anticipated by George Stokes in his paper: G. G. Stokes (presented: 1849; published: 1856) "On the dynamical theory of diffraction," Transactions of the Cambridge Philosophical Society, vol. 9, part I, pages 1–62; see pages 9–10.

[11] H. Helmholtz (1858) "Über Integrale der hydrodynamischen Gleichungen, welcher der Wirbelbewegungen entsprechen" (On integrals of the hydrodynamic equations which correspond to vortex motions), Journal für die reine und angewandte Mathematik, 55: 25–55. On page 38, the components of the fluid's velocity (u, v, w) are expressed in terms of the gradient of a scalar potential P and the curl of a vector potential (L, M, N).

[12] However, Helmholtz was largely anticipated by George Stokes in his paper: G. G. Stokes (presented: 1849; published: 1856) "On the dynamical theory of diffraction," Transactions of the Cambridge Philosophical Society, vol. 9, part I, pages 1–62; see pages 9–10.

[11] "Helmholtz' Theorem" (PDF). University of Vermont. Archived from the original (PDF) on 2012-08-13. Retrieved 2011-03-11.

[griffiths-12] David J. Griffiths, Introduction to Electrodynamics, Prentice-Hall, 1999, p. 556.

[13] Cantarella, Jason; DeTurck, Dennis; Gluck, Herman (2002). "Vector Calculus and the Topology of Domains in 3-Space". The American Mathematical Monthly. 109 (5): 409–442. doi:10.2307/2695643. JSTOR 2695643.

[14] Stewart, A. M.; Longitudinal and transverse components of a vector field, Sri Lankan Journal of Physics 12, 33–42 (2011)

[15] Online lecture notes by Robert Littlejohn

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

Summary

Statement of the theoremEdit

DerivationEdit

Generalization to higher dimensionsEdit

Another derivation from the Fourier transformEdit

Fields with prescribed divergence and curlEdit

Solution spaceEdit

Differential formsEdit

Weak formulationEdit

Longitudinal and transverse fieldsEdit

See alsoEdit

NotesEdit

ReferencesEdit

General referencesEdit

References for the weak formulationEdit

External linksEdit