Solenoidal and conservative fields

  • Thread starter TrickyDicky
  • Start date
  • Tags
    Fields
In summary, the conversation discusses the existence of vector potentials for solenoidal and conservative vector fields in Euclidean space and how they relate to the concepts of exterior calculus and De Rham cohomology. The property of being divergence-free is necessary for a vector field to have a vector potential, and the concept applies globally to manifolds that are contactable. The conversation also briefly touches on the meaning of symbols such as the exterior derivative and the hodge dual in this context.
  • #71
I just think Minkowski doesn't get enough credit, particularly in the sentence I was referring to. He came up with space-time, completing Einstein's theory.
 
Physics news on Phys.org
  • #72
Since this thread is still open, I'd like to ask sth relevant too!

So let's get back at page 1, shall we? :rolleyes: I mean before all the exterior algebra discussion came up.

What is actually the physical meaning of having a field, both solenoidal and conservative? Is there any famous field with that property in classical theory? How does it feel to possesses two potentials (of different nature) after all? :-p
Let us stick to the 3D case...
 
Last edited:
  • #73
Since this thread is still open, I'd like to ask sth relevant too!

So let's get back at page 1, shall we? I mean before all the exterior algebra discussion came up.

What is actually the physical meaning of having a field, both solenoidal and conservative? Is there any famous field with that property in classical theory? How does it feel to possesses two potentials (of different nature) after all?
Let us stick to the 3D case...

Yes, that means the scalar potential is a solution of the Laplace equation. The scalar potential exists because it's conservative and solenoidal then says it's a solution of the Laplace equation. The Laplace equation is pretty interesting, physically. Basically, it comes up when there are no sources or sinks for your vector field. So, for example, the steady state solutions (wait until it approaches an equilibrium) of the heat equation satisfy the Laplace equation, except at places where heat is being pumped in or flowing out of your system. Alternatively, you could think of it as the velocity vector field of an incompressible fluid, where no fluid is being pumped in or out anywhere. Or a static electric field, outside of the places where the charge lies.
 
  • #74
homeomorphic said:
Yes, that means the scalar potential is a solution of the Laplace equation. The scalar potential exists because it's conservative and solenoidal then says it's a solution of the Laplace equation. The Laplace equation is pretty interesting, physically. Basically, it comes up when there are no sources or sinks for your vector field. So, for example, the steady state solutions (wait until it approaches an equilibrium) of the heat equation satisfy the Laplace equation, except at places where heat is being pumped in or flowing out of your system. Alternatively, you could think of it as the velocity vector field of an incompressible fluid, where no fluid is being pumped in or out anywhere. Or a static electric field, outside of the places where the charge lies.
To my knowledge, the static electric field has never been ascribed a vector potential even in those regions. Neither does a vector potential for the temperature gradient make any sense at all. I am asking about a physically observable vector field with the property of TWO potentials, one scalar and one vectorial.

Moreover if I unsterstand correctly, your assertion is: a function being harmonic implies that its gradient possesses a vector potential? Can you prove that? I am not sure...
 
  • #75
Haven't read most of this thread, but there is no need to be talking about covariant exterior derivatives. The most natural extension of curl to general manifolds is simply d, when it acts on 1-forms.

[itex]dd = 0[/itex] is the n-dimensional analogue of "div curl = 0" and "curl grad = 0".

If you have a vector field you want to take the curl of, you should first use the metric to turn it into a covector field, take d, and then use the metric to turn the result into a 2-contravariant-index object. Or you can do all of this in one step:

[tex](\mathrm{curl} \; X)^{\mu \nu} = \nabla^\mu X^\nu - \nabla^\nu X^\mu[/tex]
This antisymmetric 2-index object describes the "circulation" of the vector field X. Circulation happens in 2-planes; hence why the object must have 2 indices. The object must be antisymmetric, because the infinitesimal generators of rotations are antisymmetric. In 3 dimensions, we are able to take advantage of Hodge duality to map it onto a 1-index object, but this does not apply in general.

(Note: I have assumed zero torsion here. In the presence of torsion, I think I agree with Quasar, but I'd have to think about it. The point is, you want to measure the "circulation" of a vector field, and you have to define what that means.)

The next thing you might be interested in is the Hodge decomposition. The Hodge decomposition states that any n-form [itex]\eta[/itex] can be written as

[tex]\eta = d \alpha + \star \, d \star \beta + \gamma[/tex]
where [itex]\alpha[/itex] is a (n-1)-form, [itex]\beta[/itex] is a (n+1)-form, and [itex]\gamma[/itex] is a harmonic n-form. Harmonic means it is smooth everywhere and solves Laplace's equation:

[tex]d \star d \star \gamma + \star \, d \star d \gamma = 0[/tex]
Since any antisymmetric upper-index tensor can be mapped (via the metric) into an n-form, the Hodge decomposition applies to multivectors as well. In [itex]\mathbb{R}^3[/itex], there are no harmonic forms, so the Hodge decomposition reduces to the Helmholtz decomposition,

[tex]\vec V = \vec \nabla \phi + \vec \nabla \times \vec A[/tex]
for any vector field [itex]\vec V[/itex].
 
  • #76
Ben, can you comment (or link to a proof) on the fact that R^3 has no harmonic forms ?
 
  • #77
Harmonic forms correspond to nontrivial cohomology, which R^3 has none of.

Or look at it this way: A harmonic form must solve Laplace's equation, have no singularities, and vanish at infinity. The only such form is the zero form.

As an example of a space that does have harmonic forms: Take two copies of R^3. Cut out the interior of a ball from each. Glue them together along the spherical boundaries we've just created. This makes a manifold with two asymptotic regions, with a tube in the center joining them. Such a space will have one harmonic 2-form (modulo exact forms). It will also have a harmonic 1-form Hodge-dual to this.
 
Last edited:
  • #78
Take the following field for instance:
[itex]\vec{v}[/itex](x,y,z)=(x+y-z, x+y, -x-2z)T
It is both solenoidal and conservative.

Are there any similar fields in physics?
 
  • #79
Ah, in light of Trifis' comment, I should say that on non-compact manifolds, the Hodge decomposition only applies to forms with suitable vanishing conditions at infinity. Trifis' vector field is harmonic! (This is what "both conservative and solenoidal" means). But it does not obey the necessary fall-off conditions at infinity.

In general, "harmonic" means "both closed and co-closed", which is the higher-dimensional analogue of "both conservative and solenoidal". Harmonic forms on higher-dimensional spaces are very important in differential topology, because they are closely related to Betti numbers.

In physics, such things turn up in string theory, where 6 of the 10 dimensions might be wrapped up in a Calabi-Yau manifold. We don't have explicit metrics for most Calabi-Yau manifolds, but we do have information about their Hodge numbers (and hence Betti numbers). So we know something about the number of distinct harmonic forms that exist.
 
  • #80
Once again, not every harmonic field is conservative. Consider another trivial example:
(x+y,y-z,z+x)
This field has obviously a non vanishing curl BUT it is harmonic, since its laplacian is the 0 vector.

It seems to me, that harmonic functions are not related to the question.

PS: An addendum to my previous comment. The [itex]\vec{v}[/itex] field is special, because its decomposition consists EITHER of the curl of its vector potential OR the divergence of the its scalar potential. In other words, this field gets to choose a standalone, unique (if the field vanishes at infinity) component, between two different kinds of potentials!
What's the physical meaning behind this, is all I am looking for.
 
Last edited:
  • #81
That's what I knew, that on non-compact manifolds, the Hodge decomposition doesn't follow trivially (not even at all), so that it's not necessarily true that Hodge decomposition is a generalization of Helmholtz decomposition.
 
  • #82
Ben's covered things pretty well, but I think I can add a little bit more geometric perspective.

In geometric calculus, the analgoue of ##dd=0## is ##\nabla \cdot \nabla \cdot A = 0## and ##\nabla \wedge \nabla \wedge A= 0## for any multivector field ##A##.
This comes from the equality of mixed partial derivatives.

When Ben talks about Hodge duality, what this means is that the true object formed by the exterior derivative--##\nabla \wedge X## as it would be called--is a bivector field, a field of oriented planes, and the normals to these planes is what we usually call the curl. As was said, there is no unique vector normal to a plane in an arbitrary dimension space, which is why curl doesn't generalize.

The geometric calculus analogue to the Hodge decomposition is

$$\eta = \nabla \wedge \alpha + \nabla \cdot \beta + \gamma$$

Laplace's equation condition for ##\gamma## can also be simplified somewhat:

$$\nabla \cdot \nabla \wedge \gamma + \nabla \wedge \nabla \cdot \gamma = \nabla^2 \gamma = 0$$

Now, why does this decomposition work? It's because ##\nabla## is invertible under the geometric product--it admits a Green's function. In ordinary 3d space, this Green's function is the familiar ##G(r) = r/4\pi|r|^3##, as seen everywhere in electromagnetic theory, which uses it heavily.

Generally, you can decompose the derivative as follows:

$$\nabla \eta = \nabla \cdot \eta + \nabla \wedge \eta = \lambda + \mu$$

Where ##\lambda## is one grade lower (e.g if ##\eta## were a vector, ##\lambda## would be a scalar) and ##\mu## is one grade higher (e.g. a bivector, grade 2).

You can then use the Green's function for the vector derivative to solve for ##\eta##: (note that ##dS', dV'## are multivector measures, not vectors or scalars)

$$\begin{align*}
\oint_{\partial M} G(r-r') dS' \; \eta(r') &= \int_{M} G(r-r')( \nabla' dV') \; \eta(r') \\
&= -\int_{M} \delta(r-r') dV' \eta(r') + \int_M G(r-r') (\nabla' \eta(r')) \\
&= - i \eta(r) + \int_M G(r-r') \; dV'\; \lambda(r') + \int_M G(r-r') \; dV' \; \mu(r')\end{align*}$$

If ##\nabla \eta## were 0, then the value of ##\eta(r)## would be determined everywhere by the surface integral on the far left. This generalizes the Cauchy Integral theorem to arbitrary dimensions. Complex analytic functions are ones who, in real vector analysis, have ##\nabla \eta = 0##, both divergence and curl, so to speak. Rearranging, we get

$$i\eta(r) = -\oint_{\partial M} G(r-r') \; dS' \; \eta(r') + \int_M G(r-r') \; dV' \; \nabla' \cdot \eta(r') + \int_M G(r-r') \; dV' \; \nabla' \wedge \eta(r')$$

This, of course, just a fancy version of the Helmholtz decomposition.
 
Last edited:
  • #83
Every linear differential equation has a Green function; that is not really relevant for the Hodge decomposition. What is relevant is the inner product defined on [itex]\Omega^p T^*M[/itex] (for M compact, or with suitable fall-off conditions to make this finite):

[tex](\alpha, \beta) \equiv \int_M \alpha \wedge \star \beta[/tex]
You can show without too much work that any p-form has an orthogonal decomposition with respect to this inner product, which is the Hodge decomposition. The Laplace operator

[tex]\Delta \equiv d \delta + \delta d[/tex]
turns up because it is self-adjoint with respect to this inner product. Here

[tex]\delta \equiv (-1)^s \star d \star[/tex]
where [itex](-1)^s[/itex] is a sign I can't remember at the moment. It depends on the degree p and the dimension n. The [itex]\delta[/itex] operator corresponds to Muphrid's [itex]\nabla \cdot[/itex] operator.

P.S. Muphrid, can you fix your long formulas so you don't force the page to have horizontal scroll bars? Try using \begin{split} or \begin{align}.
 
  • #84
I don't know; I can see why you're saying the Green's function ought not to matter, but I'm not so sure. Looking over the wiki page on Helmholtz, it seems clear that Green's functions are pivotal there, and I don't feel like there should be a vast difference between that and Hodge.

I think I realize I was going slightly in the wrong direction, so let me try something different. Let's start with the result I had before:

$$i \eta =-\oint_{\partial M} G(r-r') \; dS' \eta(r') + \int_{M} G(r-r') \; dV' \nabla' \eta(r')$$

Let ##\nabla^2 H = \delta(r)## be a Green's function for the Laplacian. Then ##\nabla H = G##. Because all the ##\eta## are functions of ##r'##, not ##r##, we can do

$$i \eta = -\nabla \oint_{\partial M} H(r-r') \; dS' \eta(r') + \nabla \int_{M} H(r-r') \; dV' \; \nabla' \eta(r')$$

The usual Helmholtz decomposition separates the terms by grade. At this point, I'm just going to choose ##\eta## as a vector field for simplicity.

$$\begin{align*}i A &= - \oint_{\partial M} H(r-r') \; dS' \cdot \eta(r') + \int_M H(r-r') \; dV' \; [\nabla' \wedge \eta(r')] \\
i \phi &= -\oint_{\partial M} H(r-r') \; dS' \wedge \eta(r') +\int_M H(r-r') \; dV' \; [\nabla' \cdot \eta(r')]\end{align*}$$

Then ##\eta = \nabla \phi + \nabla \cdot A## as expected.

However: if you instead keep the surface integrals separate from the volume integrals, you get a different decomposition.

$$\begin{align*}
i \alpha &= \int_M H(r-r') \; dV' \; [\nabla' \cdot \eta(r')] \\
i \beta &= \int_M H(r-r') \; dV' \; [\nabla' \wedge \eta(r')] \\
i \gamma &= -\nabla \oint_{\partial M} H(r-r') \; dS' \eta(r')
\end{align*}$$

And you get ##\eta = \nabla \wedge \alpha + \nabla \cdot \beta + \gamma##. It seems sort of arbitrary to break it down this way, but it is guaranteed that ##\nabla^2 \gamma = 0## (and in fact, ##\nabla \gamma = 0##, I think).

I'm not sure if this is actually meaningful or more meandering, but I thought it was an interesting way to connect the Helmholtz decomposition to something that looks like the Hodge.
 
  • #85
To my knowledge, the static electric field has never been ascribed a vector potential even in those regions. Neither does a vector potential for the temperature gradient make any sense at all. I am asking about a physically observable vector field with the property of TWO potentials, one scalar and one vectorial.

What is it that allows you to have a magnetic vector potential? It's the fact that the magnetic field is divergence free. So, what's wrong with the electric field having a vector potential if it is divergence free?

http://en.wikipedia.org/wiki/Solenoidal_vector_field

Why wouldn't a vector potential for the temperature gradient make sense? It's just a vector field. Does it have a good physical meaning? Maybe not. I was just talking about what it's like for a vector field to be solenoidal and conservative, not what it's like if it has two different potentials.

Moreover if I unsterstand correctly, your assertion is: a function being harmonic implies that its gradient possesses a vector potential? Can you prove that? I am not sure...

Yes. If it's harmonic, that just means the gradient is divergence-free. The Laplacian is div grad of the function. In ℝ^3, that means it has a vector potential. However, the mere fact that there is a vector potential doesn't imply that we should care about or use the vector potential, unless there is some reason to care about it, which is the case for the magnetic field.
 
  • #86
I think trifis might be confused by the fact that in R^3 there are harmonic functions but no harmonic forms, so if he is thinking in terms of the usual scenario like that of Maxwell equations or classical physics there are no physical examples of laplacian vector fields. That's why this question is well placed in the math subforums.
 
  • #87
I take it this distinction between harmonic functions vs. forms has to do with the domain on which the function is valid on? It does seem like one can construct a harmonic function by a surface integral, but the function is not necessarily harmonic everywhere, only in some region of interest.

At any rate, the theory of harmonic functions is very rich. As I alluded to earlier, in geometric calculus the Laplace condition can be replaced by a stronger, first-order condition ##\nabla A \equiv \nabla \cdot A + \nabla \wedge A = 0##. Such functions are called monogenic functions. You might notice that, using the decomposition posted earlier, this means for any ##\nabla \eta = 0##,

$$\eta(r) = -i^{-1} \oint_{\partial M} G(r-r') \; dS' \; \eta(r')$$

The value of the function at any given point is entirely determined by its values on some surface.

...wait, haven't we heard that before? Replace surface with curve, and you have a well-known result from complex analysis. Let me rewrite the 2d case:

$$\eta(r) = - \frac{1}{2\pi i} \oint_{C} \frac{1}{r-r'} \; dS' \; \eta(r')$$

It's the Cauchy integral formula for a complex analytic function, but it's now neatly connected to a 3d counterpart.

$$\eta(r) = - i^{-1} \oint_{S} \frac{r-r'}{4\pi|r-r'|^3} \; dS' \; \eta(r')$$

The only difference between spaces is the form of the Green's function for ##\nabla##. It's important to note that, in regions without charge, the electric field is monogenic, and as such, the electric field inside a region is entirely determined by its values on a bounding surface. Going on to special relativity, the electromagnetic field bivector ##F## is also monogenic when there are no charges or currents, though the meaning of a bounding hypersurface is somewhat more complicated to deal with.
 
  • #88
homeomorphic said:
Yes. If it's harmonic, that just means the gradient is divergence-free. The Laplacian is div grad of the function. In ℝ^3, that means it has a vector potential. However, the mere fact that there is a vector potential doesn't imply that we should care about or use the vector potential, unless there is some reason to care about it, which is the case for the magnetic field.
Mea culpa. What I meant to write is: "a function being harmonic implies that its gradient possesses a scalar potential?" And the answer is no, as demonstrated in post #80.
So not every harmonic field has two kinds of potentials!

TrickyDicky said:
I think trifis might be confused by the fact that in R^3 there are harmonic functions but no harmonic forms, so if he is thinking in terms of the usual scenario like that of Maxwell equations or classical physics there are no physical examples of laplacian vector fields. That's why this question is well placed in the math subforums.
Post #72 :
"What is actually the physical meaning of having a field, both solenoidal and conservative? Is there any famous field with that property in classical theory?"


So, in conlusion, there isn't any vector field in classical physics, which possesses both scalar and vector potentials and that property is of any physical interest.
 
  • #89
Trifis, consider the scalar potential

[tex]V = \frac{1}{r}[/tex]
and the vector potential

[tex]\vec A = \cos \theta \, \hat \phi[/tex]
 
  • #90
Trifis said:
Once again, not every harmonic field is conservative. Consider another trivial example:
(x+y,y-z,z+x)
This field has obviously a non vanishing curl BUT it is harmonic, since its laplacian is the 0 vector.

This is why we should be talking about monogenic (i.e. ##\nabla v \equiv \nabla \cdot v + \nabla \wedge v = 0##) functions instead of harmonic ones. All monogenic functions are harmonic, but not all harmonic functions are monogenic. The monogenic condition is stronger, and it captures the notion that the field must be both divergencelss and curlless in a way that the harmonic condition does not.
 
  • #91
@Ben Niehoff Yes you're right, I didn't say there aren't any such fields. I did say that we do not attribute any physical meaning to their vector potentials, as we do with the megnetic vector potential for example...
(Btw I hate the θ convention for the azimuth :P)

@Muphrid hmmm aren't monogenic functions just the generalization of analytic ones in higher dimensions? I might have missed sth, but where exactly do you prove that both of their derivatives must be zero in this decomposition?
 
  • #92
Trifis said:
@Muphrid hmmm aren't monogenic functions just the generalization of analytic ones in higher dimensions? I might have missed sth, but where exactly do you prove that both of their derivatives must be zero in this decomposition?

Geometric algebra allows us to represent complex numbers as being part of an exterior algebra. Basically, ##w(x,y) = u(x,y) + e^{xy} v(x,y)##, where ##e^{xy}## is a bivector.

Now, take the vector derivative of this object.

$$\nabla w= (e^x \partial_x + e^y \partial_y)w = e^x \left[\partial_x u - \partial_y v\right] + e^y \left[\partial_y u + \partial_x v\right]$$

Setting ##\nabla w = 0## enforces the Cauchy-Riemann conditions for complex differentiability. However, instead of working in the realm of complex analysis, one can factor out ##e^x## on the right to get

$$f = we^x = u e^x - v e^y \implies \nabla f = \nabla w e^x = (\nabla w) e^x = 0$$

(This explains the sign change to the y-component that is often necessary when converting between complex analysis and vector fields.) Regardless, ##f## is a vector field, and condition for analyticity--for integrability--still holds. As I showed in the decomposition posts above, as long as ##\nabla f = 0##, the function is entirely determined by its values on a closed surface, and there is no need for volume integrals to account for source terms. This is exactly in analogy to the properties of complex analytic functions. Hence, ##\nabla f = 0## is the generalization of the Cauchy-Riemann condition not only to a real 2d vector space but to arbitrary dimensions.
 
Back
Top