derivatives all the integrals in this proof converge))Then using the vectorial identities

we get

Thanks to the divergence theorem the equation can be rewritten as

with outward surface normal .

Defining

we finally obtain

}}

Solution space

If is a Helmholtz decomposition of , then is another decomposition if, and only if,
: and
:where
:* is a harmonic scalar field,
:* is