Components of Christoffel symbol

In summary, we discussed the metric of Euclidean \mathbb{R}^3 in spherical coordinates and how to calculate the Christoffel components \Gamma^{\sigma}{}_{\mu \nu} in this coordinate system using the formula \Gamma^{\sigma}{}_{\mu \nu}=\frac{1}{2} \sum_{\rho} g^{\sigma \rho} \left( \frac{\partial g_{\nu \rho}}{\partial x^{\mu}} + \frac{\partial g_{\mu \rho}}{\partial x^{\nu}} - \frac{\partial g_{\mu \nu}}{\partial x^{\sigma}}
  • #1
latentcorpse
1,444
0
The metric of Euclidean [itex]\mathbb{R}^3[/itex] in spherical coordinates is [itex]ds^2=dr^2+r^2(d \theta^2 + \sin^2{\theta} d \phi^2)[/itex].
I am asked to calculate the Christoffel components [itex]\Gamma^{\sigma}{}_{\mu \nu}[/itex] in this coordinate system.

i'm not too sure how to go about this.

it talks about [itex]ds^2[/itex] being the metric but normally the metric is of the form [itex]g_{ab}[/itex] i.e. a 2-form but ds^2 isn't a 2-form. are these metrics different or do i make [itex]g_{\mu \nu}=ds^2 \omega_{\mu} \omega_{\nu}[/itex] where [itex]\omega_i[/itex] is a 1 form?

i think I'm missing some key point here...
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
The metric is often defined according to the equation [itex]ds^2=g_{ab}dx^adx^b[/itex]...In this case, you have [itex]x^a\in\{r,\theta,\phi\}[/itex]...so what are the components of [itex]g_{ab}[/itex]?
 
Last edited by a moderator:
  • #3
[tex]g_{ab}=\left[ \begin {array}{ccc} 1&0&0 \\ 0&r&0
\\ 0&0& {\sin}{\theta}\end {array} \right] [/tex]

i didn't know how else to right it.

would that work? because say
[tex]g_{33}=g_{\phi \phi} = \sin^2{\theta} dx^\phi dx^\phi[/tex]
 
Last edited by a moderator:
  • #4
Don't you mean:

[tex]g_{ab}=\begin{pmatrix}1 & 0 & 0 \\ 0 & r^2 & 0 \\ 0 & 0 & \sin^2\theta \end{pmatrix}[/tex]
 
  • #5
yeah sorry. okay so that would work out for the formula [itex]ds^2=g_{ab} dx^a dx^b[/itex]

now i guees I'm supposed to use 3.1.30 in Wald:

[tex]\Gamma^{\sigma}{}_{\mu \nu}=\frac{1}{2} \sum_{\rho} g^{\sigma \rho} \left( \frac{\partial g_{\nu \rho}}{\partial x^{\mu}} + \frac{\partial g_{\mu \rho}}{\partial x^{\nu}} - \frac{\partial g_{\mu \nu}}{\partial x^{\sigma}} \right)[/tex]

im confused about how this sum is going to work though.
[itex]\sigma,\nu,\mu \in \{ r, \theta, \phi \}[/itex] and so they aren't fixed variables...which is confusing
also what values does [itex]\sigma[/itex] take?
 
Last edited by a moderator:
  • #6
latentcorpse said:
[itex]\sigma,\nu,\mu \in \{ r, \theta, \phi \}[/itex] and so they aren't fixed variables...which is confusing
also what values does [itex]\sigma[/itex] take?

No, all of [itex]\mu,\nu,\sigma,\rho\in\{1,2,3\}[/itex], with [itex]x^{1}=r[/itex], [itex]x^{2}=\theta[/itex] and [itex]x^{3}=\phi[/itex]

Also, your last term in [itex]\Gamma^{\sigma}{}_{\mu\nu}[/itex] has a typo.

So, for example,

[tex]\Gamma^{1}{}_{23}=\frac{1}{2} \sum_{\rho} g^{1\rho} \left( \frac{\partial g_{3\rho}}{\partial \theta} + \frac{\partial g_{2\rho}}{\partial \phi} - \frac{\partial g_{23}}{\partial x^{\rho}} \right)=\frac{1}{2} g^{11} \left( \frac{\partial g_{31}}{\partial \theta} + \frac{\partial g_{21}}{\partial \phi} - \frac{\partial g_{23}}{\partial r} \right)=0
[/tex]
 
Last edited by a moderator:
  • #7
ahh i think i get it. the sum reduces to just the [itex]\rho=1[/itex] term because [itex]g_{12}=g_{13}=0[/itex] which zeroes the whole expression in the cases of [itex]\rho=2[/itex] or [itex]\rho=3[/itex].

so [itex]\Gamma^{\sigma}{}_{\mu \nu}[/itex] will have [itex]3^3=27[/itex] copmonents, correct? i can't write my final answer as a matrix can i?
i'd just have to write them out explicitly as:
[itex]\Gamma^1_{11}= ...[/itex]
[tiex]\Gamma^1_{12}= ...[/itex]
etc.

that doesn't look very concise though?
 
Last edited by a moderator:
  • #8
It will look more concise once you realize just how many of those 27 components are zero:wink: (Also, you should keep in mind that [itex]g^{ab}[/itex] is the inverse of [itex]g_{ab}[/itex] when doing your calculations)\

As a matter of convention, [itex]\Gamma^1{}_{23}[/itex] is often written as [itex]\Gamma^r_{\theta\phi}[/itex] and so on; which may be what was confusing you earlier.
 
  • #9
Also, my earlier matrix contains a typo, it should be:

[tex]g_{ab}=\begin{pmatrix}1 & 0 & 0 \\ 0 & r^2 & 0 \\ 0 & 0 & r^2\sin^2\theta \end{pmatrix}[/tex]
 
  • #10
why is [itex]g^{ab}[/itex] the inverse of [itex]g_{ab}[/itex] and how will that be useful?

also when u say [itex]\sigma \in \{ 1,2,3 \}[/itex] and [itex]x^1=r, x^2= \theta, x^3 = \phi[/itex]
this means that if [itex]\sigma=1[/itex] then [itex]\sigma=r[/itex] and that's why we can write [itex]\Gamma^{1}{}_{23}=\Gamma^r{}_{\theta \phi}[/itex]
doesn't that imply that [itex]1=r[/itex] rather than [itex]x^1=r[/itex]?
 
Last edited by a moderator:
  • #11
latentcorpse said:
why is [itex]g^{ab}[/itex] the inverse of [itex]g_{ab}[/itex] and how will that be useful?

Because of its definition; [itex]g^{ab}g_{ac}=\delta^{b}{}_{c}[/itex]...which tells you that multiplying the matrix [itex]g^{ab}[/itex] with the matrix [itex]g_{ac}[/itex] produces the identity matrix...i.e. [itex]g^{ab}[/itex] is the inverse of [itex]g_{ab}[/itex].

It's useful, because you will need to know the components of [itex]g^{ab}[/itex] to compute the Christoffel symbols; and you can get those components just by taking the inverse of [itex]g_{ab}[/itex]

also when u say [itex]\sigma \in \{ 1,2,3 \}[/itex] and [itex]x^1=r, x^2= \theta, x^3 = \phi[/itex]
this means that if [itex]\sigma=1[/itex] then [itex]\sigma=r[/itex] and that's why we can write [itex]\Gamma^{1}{}_{23}=\Gamma^r{}_{\theta \phi}[/itex]
doesn't that imply that [itex]1=r[/itex] rather than [itex]x^1=r[/itex]?

That's why that notation is often confusing; nevertheless, it is still the convention...
 
Last edited by a moderator:
  • #12
so because [itex]1=r[/itex] and [itex]x^1=r[/itex], don't you mean to write that [itex]\sigma \in \{ x^1,x^2,x^3 \}[/itex]?

i used maple to quickly get [itex]g^{ab}=\left[ \begin {array}{ccc} 1&0&0\\ \noalign{\medskip}0&{r}^{-2}&0
\\ \noalign{\medskip}0&0&{\frac {1}{{r}^{2}{\sin}^{2}\theta}}
\end {array} \right] [/itex]
 
Last edited by a moderator:
  • #13
scratch that above post.

i couldn't think of any quick way to do it so i just did all 27 calculations and found the non zero terms are :

[itex]\Gamma^1{}_{22}=-r[/itex]
[itex]\Gamma^1{}_{33}=-r \sin^2{\theta}[/itex]
[itex]\Gamma^2{}_{12}=r^3[/itex]
[itex]\Gamma^2{}_{21}=r^3[/itex]
[itex]\Gamma^2{}_{33}=-\frac{1}{2}r^4 \sin{2 \theta}[/itex]
[itex]\Gamma^3{}_{13}=r^3 \sin^4{\theta}[/itex]
[itex]\Gamma^3{}_{23}=r^4 \sin^3{\theta} \cos{\theta}[/itex]
[itex]\Gamma^3{}_{31}=r^3 \sin^4{\theta}[/itex]
[itex]\Gamma^3{}_{32}=r^4 \sin^3{\theta} \cos{\theta}[/itex]

i'm not sure if there's a pattern i was supposed to spot so i could save myself some time in working out the copmonents or what?

anyway, when it asks for the components of the Christoffel symbol, do i just leave it as a list of the non zero ones like i have done above or am i missing how to write the whole thing neatly as a matrix or something?
 
Last edited by a moderator:
  • #14
latentcorpse said:
so because [itex]1=r[/itex] and [itex]x^1=r[/itex], don't you mean to write that [itex]\sigma \in \{ x^1,x^2,x^3 \}[/itex]?

No, [itex]\sigma \in \{ 1,2,3 \}[/itex] with [itex]x^1=r[/itex], [itex]x^2=\theta[/itex] and [itex]x^3=\phi[/itex]...so the Christoffel symbols should be labeled [itex]\Gamma^1{}_{23}[/itex] etc... But, by convention they are often labeled [itex]\Gamma^r_{\theta\phi}[/itex] etc...it's sloppy notation to do this, but nevertheless, convention is convention.
 
Last edited by a moderator:
  • #15
latentcorpse said:
[itex]\Gamma^2{}_{12}=r^3[/itex]
[itex]\Gamma^2{}_{21}=r^3[/itex]
[itex]\Gamma^2{}_{33}=-\frac{1}{2}r^4 \sin{2 \theta}[/itex]

You seem to be missing a factor of [itex]1/r^4[/itex]


[itex]\Gamma^3{}_{13}=r^3 \sin^4{\theta}[/itex]
[itex]\Gamma^3{}_{23}=r^4 \sin^3{\theta} \cos{\theta}[/itex]
[itex]\Gamma^3{}_{31}=r^3 \sin^4{\theta}[/itex]
[itex]\Gamma^3{}_{32}=r^4 \sin^3{\theta} \cos{\theta}[/itex]

And for these you are missing a factor of [itex]1/(r^4\sin^4\theta)[/itex]

i'm not sure if there's a pattern i was supposed to spot so i could save myself some time in working out the copmonents or what?

You could save a little time by remembering that the Christoffel symbols are symmetric in the bottom pair of indices...so you only have to calculate 18 of them.

anyway, when it asks for the components of the Christoffel symbol, do i just leave it as a list of the non zero ones like i have done above or am i missing how to write the whole thing neatly as a matrix or something?

You can't really write them as a single matrix, but they are often written as a set of 3 matrices in the form:

[tex]\Gamma^r=\begin{pmatrix}0 & 0 & 0 \\ 0 & -r & 0 \\ 0 & 0 & -r\sin^2\theta\end{pmatrix}[/tex]

[tex]\Gamma^\theta=\begin{pmatrix}0 & \frac{1}{r} & 0 \\ \frac{1}{r} & 0 & 0 \\ 0 & 0 & -\sin\theta\cos\theta\end{pmatrix}[/tex]

[tex]\Gamma^\phi=\begin{pmatrix}0 & 0 & \frac{1}{r} \\ 0 & 0 & \cot\theta \\ \frac{1}{r} & \cot\theta & 0\end{pmatrix}[/tex]

Again, this is somewhat sloppy notation, but is still fairly common in the literature.
 
Last edited by a moderator:
  • #16
are they ok then?
 
  • #17
See my edited post above^^^
 
  • #18
i don't see how I am missing those factors. take for example

[itex]\Gamma^2{}_{12}=\frac{1}{2} g^{22} \left( \frac{\partial g_{22}}{\partial r} + \frac{\partial g_{12}}{\partial \theta} - \frac{\partial g_{12}}{\partial \theta} \right) = \frac{1}{2} r^2 \frac{\partial}{\partial r} \left(r^2 \right) = r^3[/itex]

i can't see where I'm missing this factor?
 
Last edited by a moderator:
  • #19
You seem to have used [itex]g^{ab}=g_{ab}[/itex] instead of using the inverse matrix you calculated...

[tex]\Gamma^2{}_{12}=\frac{1}{2} g^{22} \left( \frac{\partial g_{22}}{\partial r} + \frac{\partial g_{12}}{\partial \theta} - \frac{\partial g_{12}}{\partial \theta} \right) = \frac{1}{2} \frac{1}{r^2} \frac{\partial}{\partial r} \left(r^2 \right) = \frac{1}{r}[/tex]
 
  • #20
lol. I'm an idiot sometimes...thanks.

the next bit asks me to write out the copmonents of the geodesic equaiton in this coordinate system and verify the solutions correspond ot straight lines in Cartesian coordinates.

so i guess the eqn tehy're referring to is 3.3.5.

[tex]\frac{d^2 x^{\mu}}{dt^2} + \sum_{\sigma, \nu} \Gamma^{\mu}{}_{\sigma \nu} \frac{d x^{\sigma}}{dt} \frac{dx^{\nu}}{dt}=0[/tex]

am i required here to solve 17 different differential equations?
even if the Christoffelsymbol is zero there will still be that first term equal to zero so none of the equaitons are going to be trivial. or do i just solve for one term of the Christoffel symbol and show the solutino is a straight line?
 
Last edited by a moderator:
  • #21
Once you sum over [itex]\sigma[/itex] and [itex]\nu[/itex] you will only have 3 ODEs (one for each value of [itex]\mu[/itex])...
 
  • #22
ok so i get my three equations as:

[tex]\frac{d^2 r}{dt^2}-r \frac{d^2 \theta}{dt^2} - r \sin^2{\theta} \frac{d^2 \phi}{dt^2}=0[/tex]

[tex]\frac{d^2 \theta}{dt^2} + \frac{2}{r} \frac{dr}{dt} \frac{d \theta}{dt} - \sin{\theta} \cos{\theta} \frac{d^2 \phi}{dt^2}=0[/tex]

[tex]\frac{d^2 \phi}{dt^2} + \frac{2}{r} \frac{dr}{dt} \frac{d \phi}{dt} + 2 \cot{\theta} \frac{d \theta}{dt} \frac{d \phi}{dt}=0[/tex]

do they look correct? how on Earth do i solve them?
 
Last edited by a moderator:
  • #23
Assuming you meant [itex]\frac{d^2 \theta}{dt^2} +\frac{2}{r} \frac{dr}{dt} \frac{d \theta}{dt} - \sin{\theta} \cos{\theta} \frac{d^2 \phi}{dt^2}=0[/itex] for the 2nd ODE, then yes those look right...Now, do you really need to solve them, in order to verify that the solutions are straight lines in Cartesian coordinates?...What is the general (parametrized in terms of [itex]t[/itex]) form of a straight line in Cartesian coords?...What is it when you convert to Spherical coords?...Does that form satisfy the ODEs? Could there be any other solutions?
 
  • #24
in cartesian isn't it just going to be

[itex]\vec{r}(t)=\vec{a}+\vec{b}t[/itex] with [itex]\vec{a}, \vec{b} \in \mathbb{R}^3[/itex].

i'm not sure how to convert that to sphericals though? have i used the wrong form above?
 
Last edited by a moderator:
  • #25
No, the general parametrized form of a line in 3D, is [itex]ax(t)+by(t)+cz(t)=0[/itex]
 
  • #26
[tex]\frac{x-x_0}{a}=\frac{y-y_0}{b}=\frac{z-z_0}{c}[/tex]?
 
Last edited by a moderator:
  • #27
Did you see my previous post?
 
  • #28
ok. so if that's the cartesian form i need to convert it to spherical polars:

[tex]ar(t) \sin{\theta (t) } \cos{\phi (t) } + br(t) \sin{\theta (t)} \sin{\phi (t)} + c r(t) \cos{\theta (t)}=0[/tex]

but i don't see where to substitute that into the geodesic eqn. or am i wanting to show

[tex] \left( \frac{d^2 x^{\mu}}{dt^2} + \sum_{\sigma, \nu} \Gamma^{\mu}{}_{\sigma \nu} \frac{d x^{\sigma}}{dt} \frac{d x^{\nu}}{dt} \right) \left( ar(t) \sin{\theta (t)} \cos{\phi (t)} + br(t) \sin{\theta (t)} \sin{\phi (t)} + c r(t) \cos{\theta (t)} \right) = 0[/tex]?
 
Last edited by a moderator:
  • #29
latentcorpse said:
ok. so if that's the cartesian form i need to convert it to spherical polars:

[tex]ar(t) \sin{\theta (t) } \cos{\phi (t) } + br(t) \sin{\theta (t)} \sin{\phi (t)} + c r(t) \cos{\theta (t)}=0[/tex]

Okay, now take the derivative of the equation with respect to time twice; do some jiggling around and see what you can come up with...
 
Last edited by a moderator:
  • #30
sorry. i don't understand what's going on here.

am i substituting that equation into the geodesic equations?

if so what is r theta and phi?

or am i just multiplying the geodesic eqn with the straight line eqn?
 
  • #31
You want to show that [itex]r(t)[/itex], [itex]\theta(t)[/itex] and [itex]\phi(t)[/itex] satisfy each of your 3 ODEs, so long as they also satisfy your straight line equation..
 
  • #32
ok. so i did the double derivative with time by hand (is there a way to write a simple maple code to do this for me? i tried but couldn't get it to work) and got:

[tex]a \ddot{r} \sin{\theta} \cos{\phi} + a \dot{r} \dot{\theta} \cos{\theta} \cos{\phi} - a \dot{r} \dot{\phi} \sin{\theta} \sin{\phi}[/tex]

[tex] + a \dot{r} \dot{\theta} \cos{\theta} \cos{\phi} + a r \ddot{\theta} \cos{\theta} \cos{\phi}[/tex]

[tex] - a r \dot{\theta}^2 \sin{\theta} \cos{\phi} - a r \dot{\theta} \dot{\phi} \cos{\theta} \sin{\phi} - a \dot{r} \dot{\phi} \sin{\theta} \sin{\phi} - a r \ddot{\phi} \sin{\theta} \sin{\phi} - a r \dot{\theta} \dot{\phi} \cos{\theta} \sin{\phi}[/tex]

[tex] - a r \dot{\phi}^2 \sin{\theta} \cos{\phi} + b \ddot{r} \sin{\theta} \sin{\phi} + b \dot{r} \dot{\theta} \cos{\theta} \sin{\phi} + b \dot{r} \dot{\phi} \sin{\theta} \cos{\phi} + b \dot{r} \dot{\theta} \cos{\theta} \sin{\phi} + b r \ddot{\theta} \cos{\theta} \sin{\phi}[/tex]

[tex] - b r \dot{\theta}^2 \sin{\theta} \sin{\phi} + b r \dot{\theta} \dot{\phi} \cos{\theta} \cos{\phi} + b \dot{r} \dot{\phi} \sin{\theta} \cos{\phi} + b r \ddot{\phi} \sin{\theta} \cos{\phi} + b r \dot{\theta} \dot{\phi} \cos{\theta} \cos{\phi}[/tex]

[tex] - b r \dot{\phi}^2 \sin{\theta} \ubs{\phi} + c \ddot{r} \cos{\theta{ - c \dot{r} \dot{\theta} \sin{\theta} - c \dot{r} \dot{\theta} \sin{\theta} - c r \ddot{\theta} \sin{\theta} - cr \dot{\theta}^2 \cos{\theta} = 0[/tex]
 
Last edited by a moderator:
  • #33
hmm. i don't know why that all posted on one line? can you read it by just clicking on the code?

anyway, i can group some terms together and what not but I'm still not sure what I am doing...surely i want to take the second derivative of r, theta and phi not of the straight line eqn?
 
  • #34
sorry, i sorted out the LaTeX in post 32. see my previous 2 posts.
 
  • #35
basically i don't understand why differentitating the straight line eqn wrt time twice helps us to show they also satisfy the geodesic eqn?
 

Similar threads

  • Advanced Physics Homework Help
Replies
2
Views
445
  • Advanced Physics Homework Help
Replies
2
Views
911
  • Advanced Physics Homework Help
Replies
1
Views
1K
  • Advanced Physics Homework Help
Replies
3
Views
1K
  • Advanced Physics Homework Help
Replies
2
Views
2K
  • Advanced Physics Homework Help
Replies
11
Views
2K
  • Advanced Physics Homework Help
Replies
3
Views
922
Replies
4
Views
1K
  • Advanced Physics Homework Help
Replies
2
Views
2K
  • Advanced Physics Homework Help
Replies
3
Views
860
Back
Top