Monday, October 1, 2018

general relativity - Covariant derivative and Leibniz rule


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


Covariant Derivative


Where it seems they used


eiuj=ujxi


But then later they define here: http://en.wikipedia.org/wiki/Covariant_derivative#Notation


eiuj=ujxi+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)=ujxi,

since uj is just one non-specific component of u. In the second case, they mean to take the component after differentiating the tensor: uj;i=(eiu)j=ujxi+ukΓjki.
I am using arrows instead of Roman type to indicate vectors in order to emphasize which things are full vectors (which may have subscripts, e.g. ei is the i-th vector in your basis) and which things are components.


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: (jei)k=jeki+Γkjleli.

Note that eki=δki, which is a constant and therefore has vanishing partial derivative. Contracting the Christoffel symbol with the Kronecker delta in the second term leaves only Γkji, as expected.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...