I read the Wikipedia page about the covariant derivative, my main problem is in this part:
http://en.wikipedia.org/wiki/Covariant_derivative#Coordinate_description
Some of the formulas seem to lead to contradictions, I assume I'm making some mistakes.
Here are some formulas from that page.
They define the Covariant derivative in the direction ej, denoted ∇ej or ∇j so that:
∇ejei=∇jei=Γk ijek
And define it so it obeys Leibniz' rule.
They then go on to show that
Where it seems they used
∇eiuj=∂uj∂xi
But then later they define here: http://en.wikipedia.org/wiki/Covariant_derivative#Notation
∇eiuj=∂uj∂xi+ukΓj ki
1) Is this a misunderstanding of mine or a problem in Wikipedia?
Also instead of the definition:
∇jei=Γk ijek
I saw in other places the Christoffel symbols defined so
∂jei=Γk ijek
2) Is the covariant derivative of basis vectors the same as the regular derivative of a basis vector?or are these just two different definition of the Christoffel symbols?
Another contradiction I saw is that they write the following formula:
in the end of the section "Coordinate Description"
where you add here a Gamma for each upper index and subtract a Gamma for each lower index according to the rule written there.
According to this it seems to me that:
∇jei=∂jei−Γk ijek
Which is also inconsistent with how they defined the covariant derivatove
3) Is this a contradiction or a confusion of mine?
Thank you very much, sorry it's so long
If it's a problem I can break the question up into two questions or something
Answer
1) The confusion comes from an omission of parentheses in these notations. In the first case we do indeed have ∇→ei(uj)=∂uj∂xi,
2) There should only be one set of Christoffel symbols. In what context was this the definition?
Also, covariant derivatives reduce to partial derivatives on scalars.
3) The confusion here comes from the use of i in →ei as a label on which basis vector is being used, rather than on which component of a given vector is in place. Think of →ei as one symbol, such as ˆx or ˆy. (This is indicated by the Roman as opposed to Italic typeface in the question, which again I've switched to an arrow to draw attention to the vector nature of the symbol.) We use lower subscripts so they don't interfere with the upper superscripts that would label the components. That is, →ei has components e0i, e1i, etc. As an object whose components are indexed with upper indices, one uses a positive Christoffel term: (∇j→ei)k=∂jeki+Γkjleli.
No comments:
Post a Comment