11

Helmholtz theorem states that given a smooth vector field $\pmb{H}$, there are a scalar field $\phi$ and a vector field $\pmb{G}$ such that $$\pmb{H}=\pmb{\nabla} \phi +\pmb{\nabla} \times \pmb{G},$$

and

$$ \pmb{\nabla} \times \left( \pmb{\nabla} \phi \right) = 0, $$ $$\pmb{\nabla} \cdot \left( \pmb{\nabla} \times \pmb{G} \right)=0,$$

that is, field $\pmb H$ can be decomposed in potential (curl-free) and solenoidal (divergence-free) fields.

Is this decomposition unique? That is, given $\pmb{H}$, are the fields $\phi$, $\pmb{G}$ satisfying the above equations unique?

a06e
  • 3,702
  • 1
    Look here: Helmholtz decomposition is total wrong http://en.wikipedia.org/wiki/Wikipedia_talk:WikiProject_Mathematics#Helmholtz_decomposition_is_wrong –  Feb 09 '12 at 19:33
  • 3
    @Alexandr Except that per the comments on that very entry it is perfectly acceptable in a non-relativistic context. Physicist are happy to ignore mathematical niceties when they get in the way of operationally correct procedures. – dmckee --- ex-moderator kitten Feb 09 '12 at 19:59
  • Related: http://physics.stackexchange.com/q/1115/2451 – Qmechanic May 30 '13 at 14:56
  • 1
    @Qmechanic the question you link is about existence. This question is about uniqueness. – a06e May 30 '13 at 20:50
  • cross-post: http://math.stackexchange.com/q/41844/10063 – a06e May 30 '13 at 20:55

1 Answers1

21

With suitable boundary conditions, the decomposition is unique. Without them, it's not.

Suppose that $(\phi,{\bf G})$ and $(\phi',{\bf G}')$ are two different decompositions for the same function. Then $$ \nabla(\phi-\phi')+\nabla\times({\bf G}-{\bf G}')=0. $$ Take the divergence of both sides to find that $$ \nabla^2(\phi-\phi')=0. $$ So for any two distinct decompositions, the scalar field $\phi$ must differ by a harmonic function $f$ (that is, one with $\nabla^2f=0$). Moreover, any harmonic function will work -- that is, there will be a way to choose a ${\bf G}'$ to go along with this $\phi'$. To see this, note that we have to choose ${\bf G}'$ to satisfy $$ \nabla\times({\bf G}'-{\bf G})=\nabla f. $$ The right side of this expression is divergence-free (because it's $\nabla^2f$), and any divergence-free vector field can be expressed as the curl of some other divergence-free vector field, so ${\bf G'}-{\bf G}$ exists.

(A couple of notes: This latter fact is the one that lets us define the vector potential for a given magnetic field, specifically in Coulomb gauge. To be honest, I don't remember the proof that there exists a function ${\bf G}$ whose curl is ${\bf B}$ for any divergence-free ${\bf B}$. I do remember how you show that, having gotten such a ${\bf G}$, you can make it divergence-free: Just subtract off $\nabla q$ where $\nabla^2q=\nabla\cdot{\bf G}$. The new ${\bf G}$ will have the same curl as the old one and will be divergence-free.

One other thing: complications arise if the domain we're considering isn't simply connected. Let's say it is.)

So the answer is that, to make the decomposition unique, you have to impose strong enough boundary conditions to make it so that no harmonic functions exist. For a compact domain without boundary (such as the surface of a sphere), you don't need any boundary conditions: there are no non-constant harmonic functions on such domains. (Slick proof of this: you can prove that harmonic functions never have local maxima or minima, but a nonconstant function on such a domain must have them -- in particular, it must have a global maximum and a global minimum somewhere.)

For a compact region with boundary, you need to specify either $\phi$ or the normal component of $\nabla\phi$ on the boundary. For good old infinite space, you need to specify that $\phi$ approach zero (or some other given function) as you tend to infinite distance.

It's easy to check that without such boundary conditions, you get into trouble. For instance, take the functions $$ \phi=x, {\bf G}=z\hat{\bf j}. $$ They give rise to $$ {\bf H}=\nabla\phi+\nabla\times{\bf G}=\hat{\bf i}-\hat{\bf i}=0. $$ So this pair can be added to any Helmholtz decomposition without changing the original vector field.

Ted Bunn
  • 19,793
  • Dear @Ted Bunn. Some minor points concerning the answer (v1): (1) For clarity, I would say, it is best not to launch an existence argument in the middle of a uniqueness proof. (2) Did you use the important condition $\pmb{\nabla} \cdot \pmb{G}=0$ at all in the proof? (3) It is not true that there are no harmonic functions on a compact domain without boundary. What about constant functions? – Qmechanic May 29 '11 at 14:12
  • On point 1: I was trying to illustrate that the solution is non-unique without additional constraints. That is an existence proof. You're right on points 2 and 3. I'll fix up those points. Thanks! – Ted Bunn May 29 '11 at 14:51