Covariant derivative - is this a typo ?

In summary, the error was in the final step of the derivation, where you attempted to apply the result of 9.8 to something that has a third derivative.
  • #1
zn5252
72
0
hello,
please see the attached snapshot (taken from 'Problem book in relativity and gravitation'). In the last equation I think there would be no semicolon.
Here is why I believe (S is scalar by the way):
S;α[βγ] = 1/2 * ( S;αβγ - S;αγβ )
Now from the equation which precedes it, we have :
S;αβγ = S,αβγ - Sσ τ σ αβ,γ
and :
S;αγβ = S,αγβ - Sσ τ σ αγ,β
this means :
S;α[βγ] = 1/2 * ( Sσ Rσαβγ ) due to the first equation of the solution 9.8 on the top of the page.
We see that there is no semicolon. Where did I go wrong if at all ?
Thank you,
 

Attachments

  • Screenshot.png
    Screenshot.png
    19.7 KB · Views: 376
Physics news on Phys.org
  • #2
It's not possible to have S;α[βγ] = 1/2 ( Sσ Rσαβγ ) in general, because the right-hand side has no derivatives in it. If S is a constant, then the left-hand side vanishes but the right-hand side doesn't.

Since that line in your derivation is the first one that fails this test, I think the mistake must be at the final step of your derivation. Actually, looking at the result of 9.8 in the scan you posted, I don't understand how it would allow you to make that step. The result of 9.8 has a second derivative in it, but you're trying to apply it to something that's a third derivative.

As far as notation, are you writing [itex]\tau[/itex] when you mean [itex]\Gamma[/itex]?
 
  • #3
It can't be the torsion, it must be [itex] \Gamma [/itex].
 
  • #4
let us substract the second equation from the first and multiplying by a half= >
S;αβγ = S,αβγ - Sσ [itex]\Gamma[/itex] σ αβ,γ
MINUS
S;αγβ = S,αγβ - Sσ [itex]\Gamma[/itex] σ αγ,β

we get :

1/2 ( S,αβγ - Sσ [itex]\Gamma[/itex] σ αβ,γ - S,αγβ + Sσ [itex]\Gamma[/itex] σ αγ,β )

but since

S,αβγ = S,αγβ,

which leads to

1/2 ( - Sσ [itex]\Gamma[/itex] σ αβ,γ + Sσ [itex]\Gamma[/itex] σ αγ,β )

which gives according to the equation at the top of the page for the Riemann tensor :

1/2 Sσ ( Rσ αβγ )

Yes that was the Christoffel symbol indeed...as I could not find the upper case Gamma, but now I found it.
 
  • #5
In post #4, you have no equals sign in many of your lines of math, which makes it hard to tell what you're asserting. Once you write everything out with equals signs, it should be easy for you to find at which step you've made a mistake. It's the first line that fails for a nonzero constant scalar S. If S is a constant, then its derivatives are all zero, so it can't be identically equal to an expression that doesn't involve any derivatives of S.

In some places you have [itex]S_\sigma[/itex], which can't be correct, since S is a scalar.
 
  • #6
Yes I'm also wondering whether the equation :

S;αβγ = S,αβγ - Sσ [itex]\Gamma[/itex] σ αβ,γ

is correct ?

In fact, wouldn't S;αβγ equal to (S,αβ) ? I'm a bit confused here...

What I know is that for a vector S:

[A] Sθ;α = Sθ,α - Sσ [itex]\Gamma[/itex] σ θα

But not sure whether :
Sθ;αλ = (Sθ;α)
or ?
[C] Sθ;αλ = (Sθ,α)
is correct regarding the position of the semicolon and the comma ?

In the attached scan, we can see the second formula in problem 9.8 which rather asserts that statement is true ?

But then if this is so then for third derivatives , we would have :
[D] Sθ;αλη = (Sθ;α),λη
or is it :
[E] Sθ;αλ = (Sθ;αλ)

Reminder : What is meant by Sθ;α is the covariant derivative of the θ component of the vector S in the direction of the vector u whose parameter is defined by α, i.e. u ≈ δ/δα.

Thanks for the clarification.
 
Last edited:
  • #7
zn5252 said:
Reminder : What is meant by Sθ;α is the covariant derivative of the θ component of the vector S in the direction of the vector u whose parameter is defined by α, i.e. u ≈ δ/δα.

As I pointed out in #5, your S is a scalar, not a vector.
 
  • #8
Oh, dear, to get things straight I wouldn't know where to start. This thread is the perfect example on why the comma-semicolon notation is confusing. You should use the partial-nabla notation.

You need to compute this object

[tex] \nabla_{\mu}\nabla_{\nu}\nabla_{\lambda} S [/tex]

by yourself using the rules for covariant differentiation. Precisely,

[tex] \nabla_{\mu}\nabla_{\nu}\nabla_{\lambda} S = \nabla_{\mu}\left(\nabla_{\nu}\nabla_{\lambda} S\right) = \nabla_{\mu} T_{\nu\lambda}= \partial_{\mu}T_{\nu\lambda} \pm... [/tex]
 
  • #9
thanks ! that helps indeed.
 

1. What is a covariant derivative?

A covariant derivative is a mathematical operator used to calculate the change of a tensor field along a given direction. It takes into account the curvature of the space in which the tensor field is defined.

2. How is a covariant derivative different from an ordinary derivative?

An ordinary derivative only takes into account the change in a function with respect to one variable, whereas a covariant derivative takes into account the change in a tensor field with respect to multiple variables and the curvature of space.

3. Is "covariant derivative" a typo?

No, "covariant derivative" is not a typo. It is a term used in mathematics and physics to describe a specific type of derivative.

4. What is the importance of covariant derivatives in science?

Covariant derivatives are important in fields such as differential geometry, general relativity, and particle physics. They allow for the calculation of geometric quantities and the description of objects in curved spaces.

5. How is a covariant derivative symbolically represented?

A covariant derivative is symbolically represented using the notation $\nabla_{\mu}T^{\nu}$, where $\nabla$ is the covariant derivative operator, $\mu$ is the direction of differentiation, and $T^{\nu}$ is the tensor field.

Similar threads

  • Special and General Relativity
Replies
4
Views
2K
  • Special and General Relativity
Replies
1
Views
1K
  • Special and General Relativity
2
Replies
36
Views
3K
  • Special and General Relativity
Replies
2
Views
1K
  • Precalculus Mathematics Homework Help
Replies
7
Views
3K
  • Special and General Relativity
Replies
15
Views
5K
  • Special and General Relativity
Replies
16
Views
1K
  • Precalculus Mathematics Homework Help
Replies
1
Views
875
  • Special and General Relativity
Replies
27
Views
2K
  • Special and General Relativity
3
Replies
75
Views
3K
Back
Top