Helmholtz Decomposition: Magnitude of Irrot. & Solenoidal Comp.

nickthequick
Messages
39
Reaction score
0
Hi, Consider P = \boldsymbol{\nabla} f +\boldsymbol{\nabla}\times \bold{A}

where f and A are scalar and vector potentials, respectively, and P is strictly positive and well behaved, and only nonzero in a domain \mathcal{D}.

I want to find how the magnitude of

\int \boldsymbol{\nabla} f dV and see how it compares to the size of

\int P dV where we are integrating over all of space \mathbb{R}^n for n the number of dimensions we are working in.

I can use Green's functions to find f in terms of P. I test my results with examples, but when I integrate over all of space to find the magnitude of this term, it appears as if the value I find is dependent on the shape of the integration as I let it go to infinity. This seems non-physical since I have a fixed total input P.Any suggestions would be greatly appreciated.

PS This problem comes from trying to figure out the momentum partitioning between irrotational and rotational fluid flows, if that adds any context.Cheers,

Nick
 
Physics news on Phys.org


nickthequick said:
I can use Green's functions to find f in terms of P. I test my results with examples, but when I integrate over all of space to find the magnitude of this term, it appears as if the value I find is dependent on the shape of the integration as I let it go to infinity. This seems non-physical since I have a fixed total input P.

I don't think there's an easy trick here, so perhaps you could elaborate on this apparent dependence on the shape of the integration domain to see if that can be rooted out directly instead?
 


The problem I was having was happening when I was dealing with integration of surfaces at infinity. This confuses me for a variety of reasons and I'm not sure that I even need to adress this issue. Instead, let's discuss what I am really interested:

Assume \vec{P} is nonzero, is in a finite domain \mathcal{D}, is only acting in the \hat{x} direction, and goes to 0 (in a suitable mathematical way) as we approach \partial \mathcal{D}.

I want to find
I_1 =\int_{\mathcal{D}} \vec{\nabla} f \ dV,

where V is an integration over \mathcal{D}. By the divergence theorem, I can rewrite the above integral as

\int_{\partial \mathcal{D}} f \ d\vec{A},

\nabla f=0 on the boundary which implies that f is a constant here. This implies f must be constant for all of region outside of \mathcal{D}, else it would induce a nonzero gradient and would violate P being non zero outside of \mathcal{D}.

My intuition tells me that we should be even more restrictive with f, and say it is zero on the boundary. This comes from the fact that as we let the domain get large, if f is constant the integral I_1[\itex] keeps getting larger, which is nonsensical because the total integral of P is fixed. So this would imply that f must be identically zero on the boundary and for the rest of the domain. <br /> <br /> Again, this is all very hand wavy, so any hints as to actually showing this is rigorously the case would be most desirable.<br /> <br /> Nick
 
Last edited:


The points of logic that give me trouble: does \nabla f = 0 on the boundary necessarily imply that f is constant outside the domain? ...it probably does, I guess, given the assumptions you've made, but that leads me to question the assumption that P is zero outside the domain. I'm afraid I don't see why this is a useful property (even knowing how it plays into realizing that f is constant outside).

Anyway, if you see the wiki page on Helmholtz decomposition, it suggests that the form of the scalar potential is

f(r) = -\int_{\mathcal D} \frac{\nabla&#039; \cdot P(r&#039;) \; dV&#039;}{4\pi |r - r&#039;|} + \int_{\partial \mathcal D} \frac{P(r&#039;) \cdot dS&#039;}{4\pi |r - r&#039;|}

And that as long as P is sufficiently well-behaved and falls off toward infinity, the surface integral vanishes.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top