3
$\begingroup$

Suppose $V\subset \mathbb{R}^3$ be non-empty and at least twice differentiable (Smooth) and let $S$ be the surface that encloses $V$ (for example a sphere). Let $\textbf{F}\in \mathbb{R}^3$ be a smooth vector field for all space. Let $\textbf{n}$ denote the normal to the surface $S$. It is well known using Helmhotz decompostion that we can decompose $\textbf{F}$ into two vector fields in $V$; $$\textbf{F} = \nabla \sigma + \nabla \times \Gamma$$ where $\nabla \sigma$ is called the irrotatioal part and $\nabla \times \Gamma$ the selonodial part of $\textbf{F}$. This decomposositon is known not to be unique. I want to know if the class of all solutions are related. For example take $\sigma_1$, $\sigma_2$, $\Gamma_1$, and $\Gamma_2$ so that $$\textbf{F} = \nabla \sigma_1 + \nabla \times \Gamma_1 = \nabla \sigma_2 + \nabla \times \Gamma_2$$ and then $$ \nabla (\sigma_1- \sigma_2) + \nabla \times (\Gamma_1- \Gamma_2) = \textbf{0}.$$ This should happen only if both these vector fields vanish. Or $$ \nabla \times (\Gamma_1- \Gamma_2) = \textbf{0}$$ $$ \nabla (\sigma_1- \sigma_2) = \textbf{0}.$$ Is there anything we can say about the solutions (i,e are they linear independent or multiples of one another).

$\endgroup$
3
  • $\begingroup$ your final two equations are not correct, the gradient of the difference $\sigma_1-\sigma_2$ need not vanish, its Laplacian should vanish (see the answer box). $\endgroup$ Commented Feb 18, 2023 at 1:28
  • $\begingroup$ A term to search for here is de Rham cohomology $\endgroup$
    – Neal
    Commented Feb 18, 2023 at 2:15
  • $\begingroup$ hmmmmm ill look into it thanks $\endgroup$
    – MrPie
    Commented Feb 18, 2023 at 2:22

1 Answer 1

7
$\begingroup$

Q: How are two Helmholtz decompositions related?

A: The scalar fields differ by a harmonic function.

Starting from a first decomposition $\sigma_1,\Gamma_1$, you can construct a second one by adding to $\sigma_1$ a harmonic function $h$, $$\sigma_2=\sigma_1+h,\;\;\text{with}\;\;\nabla^2 h=0.$$ Then the matching $\Gamma_2$ is determined by the equation $$\nabla\times(\Gamma_1-\Gamma_2)=\nabla h.$$

$\endgroup$
9
  • $\begingroup$ ahh I see thanks. So any harmonic function will produce another one. I'm guessing this must be the entire family of solutions. $\endgroup$
    – MrPie
    Commented Feb 18, 2023 at 2:05
  • $\begingroup$ indeed; of course, the boundary conditions may prevent you from finding a harmonic function, in which case the Helmholtz decomposition is unique $\endgroup$ Commented Feb 18, 2023 at 2:07
  • $\begingroup$ I think here we must have the gradient of harmonic functions are zero then? $\endgroup$
    – MrPie
    Commented Feb 18, 2023 at 2:19
  • $\begingroup$ no, the laplacian of the harmonic function is zero, not the gradient. $\endgroup$ Commented Feb 18, 2023 at 2:26
  • $\begingroup$ I see the $h$ cancels lol mybad $\endgroup$
    – MrPie
    Commented Feb 18, 2023 at 2:34

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .