Solenoidal and conservative fields

[TrickyDicky]

I think it can be generalized like this (using the semicolon notation):
curl of covector A=
A_{i;j}-A_{j;i}
wich only commutes in the R^3 case and for a gradient field F:

F_{i;j}=\partial_jF_i-\Gamma^k_{ij}F_k
Please correct if wrong.

 

[TrickyDicky]

From wikipedia page on Vector calculus:
"More generally, vector calculus can be defined on any 3-dimensional oriented Riemannian manifold, or more generally pseudo-Riemannian manifold. This structure simply means that the tangent space at each point has an inner product (more generally, a symmetric nondegenerate form) and an orientation, or more globally that there is a symmetric nondegenerate metric tensor and an orientation, and works because vector calculus is defined in terms of tangent vectors at each point."

So to answer my previous questions the curl is perfectly generalizable to curved spaces.

Also to avoid misunderstandings in what I wrote above, when I referred to mixed partials equality (or lack of) in the context of curved spaces I always meant its generalization for general manifolds (covariant derivative).

 

[quasar987]

From what I gather, you are unsatisfied with the generalization of grad, curl, div provided by Matterwave in post 13 to general riemannian oriented 3-manifolds. I don't understand what is unsatisfactory to you in this, but it seems to have to do with lack of covariant derivatives. So perhaps it would ease your mind to know that the exterior derivative and the covariant derivative are closely related by the formula

d\omega(X_0,\ldots,X_p)=\sum_{i=0}^p(-1)^i(\nabla_{X_i}\omega)(X_0,\ldots,\hat{X_i}, \ldots ,X_p)

In other words, d is just the (normalized) anysymetrization of the covariant derivative. This actually holds not only for the Levi-Civita connexion of a riemannian structure but any torsion free connexion on TM.

 

[TrickyDicky]

From what I gather, you are unsatisfied with the generalization of grad, curl, div provided by Matterwave in post 13 to general riemannian oriented 3-manifolds. I don't understand what is unsatisfactory to you in this, but it seems to have to do with lack of covariant derivatives. So perhaps it would ease your mind to know that the exterior derivative and the covariant derivative are closely related by the formula

d\omega(X_0,\ldots,X_p)=\sum_{i=0}^p(-1)^i(\nabla_{X_i}\omega)(X_0,\ldots,\hat{X_i}, \ldots ,X_p)

In other words, d is just the (normalized) anysymetrization of the covariant derivative. This actually holds not only for the Levi-Civita connexion of a riemannian structure but any torsion free connexion on TM.

But I'm not unsatisfied at all, how could I? I agreed with it (just like I agree with what you just posted about exterior derivatives) since I already knew about that generalization. Only problem was that it didn't actually addressed my specific question.
My mind is eased now that I think I found basically what I was looking for.
To summarize this thread I started with some questions about laplacian fields that were answered to my full satisfaction by homeomorphic. Next I brought here a question from another thread that received no answers, about whether there were any circumstances (leaving aside the topological ones, that is I'm considering only oriented, contractible and simply connected smooth 3-manifolds) in which curl of grad was not zero because I had the intuition that it was not the case if the manifold was not flat. To this I received some very informative answers but not satisfactory in the sense of answering directly my doubts.
Finally I found online this very basic result from Riemannian geometry that says that commutativity of the appropriate generalization of mixed partials implies vanishing Riemann tensor, and this I would think that answers my question. My conclusion is that only if the 3-space is Euclidean must we expect the rule "curl of grad=0" to hold. Now do you disagree with this conclusion? If so, where does my logic fail here? Thanks.

 

[homeomorphic]

Well I tried to make my reasoning clearer in #22, #24 and #25.
The second flaw you mention I don't think that interprets correctly what I was trying to say. But I don't think it deserves further explaining here if you follow what I wrote in #22, #24 and #25.

I don't buy it. You are using a formula for the curl that seems to depend on which coordinates you choose. For example, the formula for curl is quite different in cylindrical or spherical coordinates. Also, covariant partials DO commute when applied to scalars if your connection is torsion-free. It's when you apply them to vector fields that curvature measures the failure of commutativity.

About the curl definition, no , I don't mean "just" the exterior derivative, I mean the cross product of the ∇ operator (I think that's what a curl is for everybody), in this case acting on a gradient field in a curved 3-space, say a hypersphere for instance.
Is that not possible to do? do you mean the curl is only defined in Euclidean spaces?

I told you my definition of curl. It's basically to apply the exterior derivative (filling in the gaps by taking the appropriate duals everywhere).

Yours appears not to be coordinate-independent, I'm afraid, unless I am missing something.

 

[TrickyDicky]

We seem to be talking at cross purposes here, now I have to refer you to my posts 30, 31, 32 and 34 because when you answer me you seem to ignore the posts after the one you are addressing.

I don't buy it.

What specifically are you not buying? 'cause I ain't selling anything.
Can you answer specifically my questions in the last sentence of my previous post (#34)?

Also, covariant partials DO commute when applied to scalars if your connection is torsion-free. It's when you apply them to vector fields that curvature measures the failure of commutativity.

Well, of course, that's what I've been saying all along. And curl differential operators act on vector fields, right?

 

[quasar987]

But I'm not unsatisfied at all, how could I? I agreed with it (just like I agree with what you just posted about exterior derivatives) since I already knew about that generalization. Only problem was that it didn't actually addressed my specific question.
My mind is eased now that I think I found basically what I was looking for.
To summarize this thread I started with some questions about laplacian fields that were answered to my full satisfaction by homeomorphic. Next I brought here a question from another thread that received no answers, about whether there were any circumstances (leaving aside the topological ones, that is I'm considering only oriented, contractible and simply connected smooth 3-manifolds) in which curl of grad was not zero because I had the intuition that it was not the case if the manifold was not flat. To this I received some very informative answers but not satisfactory in the sense of answering directly my doubts.
Finally I found online this very basic result from Riemannian geometry that says that commutativity of the appropriate generalization of mixed partials implies vanishing Riemann tensor, and this I would think that answers my question. My conclusion is that only if the 3-space is Euclidean must we expect the rule "curl of grad=0" to hold. Now do you disagree with this conclusion? If so, where does my logic fail here? Thanks.

As it has been been mentionned previously, if you use the definition of grad, curl, div of Matterwave, then of course, curl o grad = 0 simply because d²=0.

But although you're not unsatisfied with this, this does not address your question! :)

Because, as I gather from post #31, by a "gradient field", you mean a field of covariant 2-tensors of the kind \nabla F (for some 1-form F), and by the "curl" of a covector field A, you mean the the covariant 2-tensor field whose components in local coordinates are A_{i;j}-A_{j;i}. Notice that since the Christofel symbol \Gamma^k_{ij} of a levi-civita connection is symmetric in its i,j components, your curl is actually just -2dA in invariant form.

Ok, so, since your gradient is a 2-tensor and your curl operator is defined on 1-forms, how do you take the curl of a gradient field? Do you use the Hodge star for this?

Also, what is your motivation for defining the gradient like this? Usually, we take the gradient of a function. How is your gradient related to functions on M?

 

[TrickyDicky]

As it has been been mentionned previously, if you use the definition of grad, curl, div of Matterwave, then of course, curl o grad = 0 simply because d²=0.

But although you're not unsatisfied with this, this does not address your question! :)

Ok, but do you understand that d²=0 is only valid for a flat connection (flat vector bundle) and therefore valid for vanishing curvature spaces and I'm trying to generalize to spaces with curvature that would have to take into account the curvature form that make D² different than zero?

Because, as I gather from post #31, by a "gradient field", you mean...

I just mean \nabla f like it says in every book.

Also, what is your motivation for defining the gradient like this? Usually, we take the gradient of a function. How is your gradient related to functions on M?

Again I'm taking the gradient of a function like everyone else.

 

[homeomorphic]

We seem to be talking at cross purposes here, now I have to refer you to my posts 30, 31, 32 and 34 because when you answer me you seem to ignore the posts after the one you are addressing.

I don't think those posts adequately address the issues.

Originally Posted by homeomorphic View Post

I don't buy it.

What specifically are you not buying? 'cause I ain't selling anything.
Can you answer specifically my questions in the last sentence of my previous post (#34)?

I told you. I am not sure your definition is independent of coordinate choices, in general. You are going to get a different nabla for each choice of coordinates. Therefore, it's not clear that your definition makes sense.

Originally Posted by homeomorphic View Post

Also, covariant partials DO commute when applied to scalars if your connection is torsion-free. It's when you apply them to vector fields that curvature measures the failure of commutativity.

Well, of course, that's what I've been saying all along. And curl differential operators act on vector fields, right?

The way you applied it, you were applying the partials to the components of the vector field, which are scalar. Covariantly differentiating a vector field is not the same thing as trying to apply your strange curl operator that we haven't even established makes sense.

The non-commutativity that curvature measures results from covariantly differentiating a vector field, not taking the "curl" of it.

 

[quasar987]

Ok, but do you understand that d²=0 is only valid for a flat connection (flat vector bundle) and therefore valid for vanishing curvature spaces and I'm trying to generalize to spaces with curvature that would have to take into account the curvature form that make D² different than zero?

d²=0 only for flat spaces?! The operator "d", called exterior derivative, is defined on any smooth manifold, independantly of any riemannian structure or connection, and always satisfies d²=0. With a connection, there is also the operator d^{\nabla}:\Omega^p(M,TM)\rightarrow \Omega^{p+1}(M,TM) whose square measures curvature, but this is not really relevant here because the "d" appearing in Matterwave's formulae is the exterior derivative d that always square to 0.

I just mean \nabla f like it says in every book.

I assume that here \nabla refers to the levi-civita connection, so that by \nabla f you mean the covariant derivative of f, which is the 1-form X\mapsto \nabla_Xf. If so, then notice that \nabla f = df, so that according to my remark of post #37 that "your curl = -2d", we then have curl o grad(f) = -2d²f=0.

 

[TrickyDicky]

d²=0 only for flat spaces?! The operator "d", called exterior derivative, is defined on any smooth manifold, independantly of any riemannian structure or connection, and always satisfies d²=0. With a connection, there is also the operator d^{\nabla}:\Omega^p(M,TM)\rightarrow \Omega^{p+1}(M,TM) whose square measures curvature, but this is not really relevant here because the "d" appearing in Matterwave's formulae is the exterior derivative d that always square to 0.


I assume that here \nabla refers to the levi-civita connection, so that by \nabla f you mean the covariant derivative of f, which is the 1-form X\mapsto \nabla_Xf. If so, then notice that \nabla f = df, so that according to my remark of post #37 that "your curl = -2d", we then have curl o grad(f) = -2d²f=0.

The wikipedia page about Flat vector bundles states that the flatness condition of the connection is equivalent to dd=0.

 

[TrickyDicky]

The non-commutativity that curvature measures results from covariantly differentiating a vector field, not taking the "curl" of it.

Sure, but the curl in curved space involves covariant differentiation or not?

 

[quasar987]

The wikipedia page about Flat vector bundles states that the flatness condition of the connection is equivalent to dd=0.

This is a poor choice of notation imo, because what they mean here by "d" is the operator d^{\nabla}:\Omega^p(M,E)\rightarrow \Omega^{p+1}(M,E), which coincides with d only when the vector bundle E is the trivial line bundle \mathbb{R} over M.

See http://en.wikipedia.org/wiki/Vector-valued_differential_form#Exterior_derivative

 

[Matterwave]

Notice that:

A_{i;j}-A_{j;i}=\partial_j A_i - \partial_i A_j +\Gamma^k_{ij}A_k-\Gamma^k_{ji}A_k

For any symmetric connection (and a Riemannian connection is a symmetric connection), the last two terms cancel, and you get:

A_{i;j}-A_{j;i}=\partial_j A_i - \partial_i A_j

that's exactly the components of the exterior derivative (up to choice of normalization):

(dA)_{ij}=\partial_j A_i - \partial_i A_j

This is of course not 0 for general A! But, what happens when we apply this to a gradient of a function df?

(df)_{i;j}-(df)_{j;i}=\partial_j (df)_i - \partial_i (df)_j

Which quickly gets us back to:

(df)_{i;j}-(df)_{j;i}=\partial_j\partial_i f - \partial_i\partial_j f=0

Well, this result should be obvious!

So, even by your own definition, we get 0 always, no matter the curvature.

EDIT: Hmmmm...what's the deal with the Latex not rendering? o.o

 

[tiny-tim]

latex recognises "f}" as a swear-word …

(df)_{i;j}-(df}_{j;i}=\partial_j (df)_i - \partial_i (df)_j

(df)_{i;j}-(df}_{j;i}=\partial_j\partial_i f - \partial_i\partial_f=0

try …

(df)_{i;j}-(df)_{j;i}=\partial_j (df)_i - \partial_i (df)_j

(df)_{i;j}-(df)_{j;i}=\partial_j\partial_i f - \partial_i\partial_f=0

 

[Matterwave]

Thanks XD

I didn't noticed I used the wrong braces.

 

[TrickyDicky]

Notice that:

A_{i;j}-A_{j;i}=\partial_j A_i - \partial_i A_j +\Gamma^k_{ij}A_k-\Gamma^k_{ji}A_k

Yes, there seems to be a problem with this fromula, I took it from some other physicsforums discussion and it was originally in a different notation , I might have goofed somewhere when changing notation, or maybe the formula was wrong to begin with.

 

[Matterwave]

You should realize from that formula, however, that the exterior derivative itself is fully compatible with the connection since you can express it as either partial derivatives or covariant derivatives.

 

[TrickyDicky]

This is a poor choice of notation imo, because what they mean here by "d" is the operator d^{\nabla}:\Omega^p(M,E)\rightarrow \Omega^{p+1}(M,E), which coincides with d only when the vector bundle E is the trivial line bundle \mathbb{R} over M.

See http://en.wikipedia.org/wiki/Vector-valued_differential_form#Exterior_derivative

Thanks for pointing me to that page. I don't know, there must be something wrong with my reasoning because what I read there seems to confirm what I'm thinking.

 

[Matterwave]

If you want to use the covariant exterior derivative to define a curl, you can (you are free to make whatever definitions you want). But YOU have to come up with the definition.

You seem to just assume that there is a standard definition for curl generalized using the covariant exterior derivative and somehow the definition I gave is not the correct definition. If there is such a standard definition, please find it and share. If not, you are free to come up with it yourself. But either way, we have to agree to a definition first before we can do anything.

 

[TrickyDicky]

You should realize from that formula, however, that the exterior derivative itself is fully compatible with the connection since you can express it as either partial derivatives or covariant derivatives.

Yes, I realize that, the exterior derivative itself is, but I'm concerned about d^2=0 being the case in the presence of a non-flat connection. If the space is curved one must take into account the curvature form and the exterior derivatives turn into exterior covariant derivatives D and D^2≠0, or at least that is my understanding, so we have a curved space with a connection (the Levi-Civita conn.) that being metric compatible measures the curvature of the manifold and according to the pages of wikipedia mentioned by me and quasar987 (or at least what I infer from them) the dd=0 property would be equivalent to the condition of flat vector bundle connection, which if the manifold is curved and we are using the Levi-civita connection wouldn't be the case, right?
Please if you are versed in exterior calculus and curved connections, could you clarify this?

 

[TrickyDicky]

If you want to use the covariant exterior derivative to define a curl, you can (you are free to make whatever definitions you want). But YOU have to come up with the definition.

You seem to just assume that there is a standard definition for curl generalized using the covariant exterior derivative and somehow the definition I gave is not the correct definition. If there is such a standard definition, please find it and share. If not, you are free to come up with it yourself. But either way, we have to agree to a definition first before we can do anything.

I understand your point here, I'll try and find it.

 

[Matterwave]

Yes, I realize that, the exterior derivative itself is, but I'm concerned about d^2=0 being the case in the presence of a non-flat connection. If the space is curved one must take into account the curvature form and the exterior derivatives turn into exterior covariant derivatives D and D^2≠0, or at least that is my understanding, so we have a curved space with a connection (the Levi-Civita conn.) that being metric compatible measures the curvature of the manifold and according to the pages of wikipedia mentioned by me and quasar987 (or at least what I infer from them) the dd=0 property would be equivalent to the condition of flat vector bundle connection, which if the manifold is curved and we are using the Levi-civita connection wouldn't be the case, right?
Please if you are versed in exterior calculus and curved connections, could you clarify this?

dd=0 always. DD=0 only for a flat connection. But D and d are not the same operator. You can have both on a manifold. They act on different objects and give you different objects. d acts on forms (0-forms, 1-forms), or if you want, scalar valued forms. D acts on vector-valued forms. These are vectors whose components are forms (think a column vector, each entry of which is a form). Or, equivalently, forms which take on vector values, i.e. when you act the form on a vector, it gives you back a vector not a scalar

 

[TrickyDicky]

Maybe a basic question here would be: can \nabla f be considered as a covector valued 0-form? If yes then I think the use of the exterior covariant derivative (D) is granted.

 

[TrickyDicky]

See for instance: https://www.physicsforums.com/showthread.php?p=3855127

 

[quasar987]

Maybe a basic question here would be: can \nabla f be considered as a covector valued 0-form? If yes then I think the use of the exterior covariant derivative (D) is granted.

Yes, \nabla f is an element of \Omega^0(M, T^*M)=\Gamma(T^*M)=\Omega^1(M) and you can apply D to it. But on 0-(vector-valued-)forms, D is just \nabla, so you get \nabla^2f\in \Omega^1(M,T^*M)=T_0^2M, the so-called covariant hessian of f.

Its action on vectors is as follows: (\nabla^2f)(X,Y)=Y(Xf)-(\nabla_YX)f.

 

[TrickyDicky]

Yes, \nabla f is an element of \Omega^0(M, T^*M)=\Gamma(T^*M)=\Omega^1(M) and you can apply D to it. But on 0-(vector-valued-)forms, D is just \nabla, so you get \nabla^2f\in \Omega^1(M,T^*M)=T_0^2M, the so-called covariant hessian of f.

Its action on vectors is as follows: (\nabla^2f)(X,Y)=Y(Xf)-(\nabla_YX)f.

Thanks, can we then apply the hodge dual to D(\nabla f) and get the curl (always considering we are using a Levi-civita connection in a curved 3-manifold to perform the exterior covariant derivative)?

 

[quasar987]

The Hodge dual maps 2-forms to 1-forms. Unfortunately, \nabla^2f is not a 2-form, it is a general covariant 2-tensor. In fact, when the connection is symmetric, as is the case of the levi-civita connection for instance, \nabla^2f is symmetric (as is the hessian in R³ by symmetry of the mixed partials!).

So in the riemannian case, we can't even hope to antisymetrize \nabla^2f and then apply hodge: we'll get 0 all the time... :(

 

[TrickyDicky]

The Hodge dual maps 2-forms to 1-forms. Unfortunately, \nabla^2f is not a 2-form, it is a general covariant 2-tensor. In fact, when the connection is symmetric, as is the case of the levi-civita connection for instance, \nabla^2f is symmetric (as is the hessian in R³ by symmetry of the mixed partials!).

So in the riemannian case, we can't even hope to antisymetrize \nabla^2f and then apply hodge: we'll get 0 all the time... :(

Yes you are right,
Does this have anything to do with the fact that curls refer to infinitesimal rotatations?

 

[quasar987]

I don't know.. it seems like the situation so far is the following:

Given M a manifold with a connection \nabla, if we naively define the curl of a 1-form A\in\Omega^1(M) by \mathrm{curl}(A):=\mathrm{Ant}(\nabla A)\in \Omega^2(M), then there are 2 cases:

i) if the connection is symmetric (i.e. torsion free), curl(A) = dA (modulo a multiplicative constant). But this is actually independent of the connection and can be defined on any manifold with or without a connection. And we know that in the levi-civita case, this is indeed the curl as defined by Matterwave, which coincides with the actual curl in the R³ case. In this case, curl o grad = 0. So at this point, we are given the option to revise our definition of curl and we may chose to say it's just "d" after all.

ii) If the connection has torsion, then \mathrm{curl}(A)=dA - \tau(A,\cdot,\cdot), where \tau(A,X,Y)=A(\nabla_XY-\nabla_YX-[X,Y]) is the torsion \left( \begin{array}{c} 2 \\ 1 \end{array}\right)-tensor. In coordinates, this is

\mathrm{curl}(A) = (\partial_iA_j - \partial_jA_i) - (\Gamma_{ij}^k - \Gamma_{ji}^k)A_k

(mod constant). So, if we decide to stick with the covariant definition of curl, then curl is only defined on manifolds with connections, and it has the perculiarity that the failure of curl o grad to vanish is a measure not of the curvature of the connection, but rather of its torsion.