Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have just read (without further explanation) that any vector field $(v_x(x,y),v_y(x,y))$ from $\mathbb{R}^2$ to $\mathbb{R}^2$, which has a continuous derivative, can be uniquely written as the sum of a gradient and a hamiltonian vector field, i.e. $$ v_x(x,y) = \partial_xP(x,y) + \partial_y S(x,y) $$ $$ v_y(x,y) = \partial_yP(x,y) -\partial_x S(x,y)$$for $P$,$S$ : $\mathbb{R}^2 \to \mathbb{R}$.

If this is true, how can I show it? It seems non-obvious to me.

Thanks!

share|improve this question

2 Answers 2

up vote 1 down vote accepted

Observe that if you replace $P$ by $\bar{P} = P + ax + by + c$ and $S$ by $\bar{S} = S + bx - ay + d$, we have that

$$ \partial_x \bar{P} + \partial_y \bar{S} = \partial_x P + a + \partial_y S - a = \partial_x P + \partial_y S $$

and

$$ \partial_y \bar{P} - \partial_x \bar{S} = \partial_y P + b - \partial_x S - b = \partial_y P - \partial_x S $$

so strictly speaking, your source was wrong about uniqueness of the decomposition.


In more generality, the decomposition you mentioned is a manifestation of the Hodge decomposition, and in the case of three dimensions instead of two, it often goes by the name of Helmholtz decomposition.

Roughly speaking, we can compute $P$ by solving

$$ \triangle P = \operatorname{div} v = \partial_x v_x + \partial_y v_y $$

and

$$ \triangle S = \operatorname{curl} v = -\partial_x v_y + \partial_y v_x $$

That the decomposition is true hinges on

  1. The existence of of $P,S$ in a suitable function space solving the system of equations above (good candidate functions)
  2. The condition that in a suitable function space $\operatorname{div} v = 0$ and $\operatorname{curl}v = 0$ together implies that $v = 0$. (So that the candidate functions $P,S$ actually are the correct potentials; this will also imply uniqueness.)

This is the case, for example, if we assume that the derivatives of the coefficients $v_x$ and $v_y$ decays rapidly (faster than any polynomial). In that case using the Newton potential we can solve the Poisson equations for $P$ and $S$, and verify that they are up to constants the unique bounded potentials for the decomposition (notice that $ax + by + c$ is not bounded unless $a = b = 0$).

share|improve this answer
    
Great answer, thanks! Interestingly I did study differential forms some time ago, but I failed to make the connection to Hodge. –  Dirk Dinther Feb 12 '13 at 21:47

This is Helmholtz decomposition Theorem .

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.