What is equation for Lie derivative in Riemann curvature?

Click For Summary

Homework Help Overview

The discussion revolves around the Lie derivative in the context of the Riemann curvature tensor, specifically focusing on the notation and meaning of the term \nabla_{[u,v]}. Participants are exploring the implications of taking directional derivatives with respect to vector fields and the relationships between various derivatives in differential geometry.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to understand the meaning of \nabla_{[u,v]} and questions the implications of taking a directional derivative with respect to another directional derivative. They explore the relationship between the Lie bracket and directional derivatives.
  • Some participants clarify that if u and v are vector fields, then [u,v] is another vector field, prompting further questions about how to express \nabla_q in terms of partial derivatives.
  • Others suggest looking into specific equations from texts on mathematical physics to clarify the commutator of two vectors and how it relates to the Riemann curvature tensor.

Discussion Status

The discussion is ongoing, with participants sharing insights and references to relevant literature. There is a mix of attempts to clarify the notation and the mathematical relationships involved, but no consensus has been reached regarding the correct interpretation or application of the concepts discussed.

Contextual Notes

Participants express uncertainty about the notation and seek references that explain the concepts in simpler terms. There is an acknowledgment of the complexity of the material and the challenges in understanding the relationships between different types of derivatives.

FreeThinking
Messages
32
Reaction score
1

Homework Statement


(Self study.)
Several sources give the following for the Riemann Curvature Tensor:
d1aa621fc7af204a1dc4a2a247129ad5.png

The above is from Wikipedia.
My question is what is \nabla_{[u,v]} ?

Homework Equations


[A,B] as general purpose commutator: AB-BA (where A & B are, possibly, non-commutative operators),
[A,B] as Lie bracket, which is a directional derivative: \nabla_A B - \nabla_B A,
The directional derivative: \nabla_A B = \frac {\partial B} {\partial a} where a is the parameter for the curve A, and
Additivity: \nabla_{gA + hB} C = g \nabla_A C + h \nabla_B C (MTW p 252, equation (10.2d)). This shows how MTW "moves" the coefficients of the subscripts "up" to coefficients of the differentials as well as the addition operation. This is just a notational issue.

3. The Attempt at a Solution

According to the Wikipedia page, the [u,v] as subscripts on the last term of Riemann is a Lie derivative. That would make it: \nabla_{[u,v]} w = \nabla_{(\nabla_u v - \nabla_v u)} w = \nabla_{\nabla_u v} w - \nabla_{\nabla_v u} w.

But, what does it mean to take a directional derivative with respect to a directional derivative? I get what it means to take a directional derivative, along one direction, of a directional derivative along a, possibly different, direction, but is a directional derivative always a direction? I would think not. In general, a directional derivative may not, itself, be a direction, so what does the {\nabla_u v} in the bottom mean?

In an attempt to make sense of this, let's expand the nablas. We get \nabla_{(\frac {\partial v} {\partial u})} w - \nabla_{(\frac {\partial u} {\partial v})} w = \frac {\partial w} {\partial (\frac {\partial v} {\partial u})} - \frac {\partial w} {\partial (\frac {\partial u} {\partial v})}.

I realize we're headed for a second derivative, and I would think it would be \frac {\partial^2 w} {{\partial v} {\partial u}} - \frac {\partial^2 w} {{\partial u} {\partial v}} (noting the order of the bottom factors since the "u" is the "lowest" on the first nabla & the right-most partial on the bottom is the first applied), but I've been unable to find anything in my books or on the inet that would justify such a step.

So am I completely misunderstanding this? Is this really the correct form of the equation? Does anyone have any references that explain this notation to really, really stupid people?

Thanks.
 
Physics news on Phys.org
FreeThinking said:
But, what does it mean to take a directional derivative with respect to a directional derivative,

Well, if u and v are vector fields, then [u,v] is another vector field. So if you define q = [u,v], then the question is about taking a directional derivative with respect to q: \nabla_q.
 
FreeThinking said:
\frac {\partial^2 w} {{\partial v} {\partial u}} - \frac {\partial^2 w} {{\partial u} {\partial v}}
might be the same as \nabla_{[u,v]}.
This is not correct. This expression I gave is actually \nabla_u \nabla_v - \nabla_v \nabla_u which is definitely not equal to \nabla_{[u,v]} in general.

stevendaryl said:
Well, if u and v are vector fields, then [u,v] is another vector field. So if you define q = [u,v], then the question is about taking a directional derivative with respect to q: \nabla_q.

Ok, thanks, but how does that \nabla_q expand out in terms of partial derivatives with respect to what when q=[u,v]? I think that is where I'm having the biggest problem. (I'm having a lot of problems, that's just the biggest one right now. :confused:) If I could just see where all the partials go, I think I could then figure out how to get there.

Your response has also raised a couple of more questions I need to go investigate.

Thanks.
 
Ok, after 3 months of studying, I think I may have an answer. If anyone even sees this, please let me know if you think I've gotten it wrong. Oh, and just ignore that ridiculous nonsense in that first post by that FreeThinking guy; he's a moron.

The key to the commutator on the bottom right of the last nabla (also called "del") seems to be equation 2.7 on page 44 of "Geometrical methods of mathematical physics" by Bernard Schutz, which is the equation for the commutator of two vectors, and using equation 2.3 on page 32, which is the definition of an arbitrary (non-coordinate), tangent vector.

If we let A & B be two arbitrary, tangent vectors, then by eqn 2.3 we can write:
\vec A = {{d} \over {d\lambda}} = {{dx^i}\over{d\lambda}}{{\partial}\over{\partial x^i}}
and
\vec B = {{d} \over {d\mu }} = {{dx^i}\over{d\mu }}{{\partial}\over{\partial x^i}}.

Plugging these into equation 2.7 we get:
[\vec A,\vec B]=(A^i{{\partial B^j}\over{\partial x^i}}-B^i{{\partial A^j}\over{\partial x^i}}){\partial \over dx^j}.

Taking the del of the commutator gives us:
\nabla_{[\vec A,\vec B]}=\nabla_{\left(A^i{{\partial B^j}\over{\partial x^i}}{\partial \over dx^j}\right)}-\nabla_{\left(B^i{{\partial A^j}\over{\partial x^i}}{\partial \over dx^j}\right)}.

Now, just for convenience and easier writing, let
\vec S = {\left(A^i{{\partial B^j}\over{\partial x^i}}{\partial \over dx^j}\right)}
and
\vec T = {\left(B^i{{\partial A^j}\over{\partial x^i}}{\partial \over dx^j}\right)},
then, by equation 11.8 on page 271 of "Gravitation" by Misner, Thorne, and Wheeler, we get:
R(\vec A,\vec B)=\left(\nabla_{\vec A}\nabla_{\vec B}-\nabla_{\vec B}\nabla_{\vec A}\right)-\left(\nabla_{\vec S}-\nabla_{\vec T}\right).

Now we have everything in terms of the dels of vectors. From here, everything else should be straight forward to compute. This is what I was looking for (if it's correct, of course).

(Thanks again to stevendaryl. Your comment "[u,v] is another vector field" triggered a memory that helped me get started on the solution.)
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
4K
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
6K