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).
$\begingroup$
$\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$– Carlo BeenakkerCommented Feb 18, 2023 at 1:28
-
$\begingroup$ A term to search for here is de Rham cohomology $\endgroup$– NealCommented Feb 18, 2023 at 2:15
-
$\begingroup$ hmmmmm ill look into it thanks $\endgroup$– MrPieCommented Feb 18, 2023 at 2:22
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
9
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.$$
-
$\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$– MrPieCommented 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$– MrPieCommented 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
-