Finding Components of the Christoffel Symbol

In summary, the conversation was about finding worked examples for computing the components of Christoffel symbols of a metric. One method mentioned was using grtensor with maple, while another was using the free program Maxima. The conversation also included a discussion of the definition of Christoffel symbols and how to interpret them using specific coordinates.
  • #1
MidnightR
42
0
I'm finding it hard to understand this, does anyone know where I can find worked examples of how to find the components of the christoffel symbols of a metric? Please don't give me one to try, I really need a worked example.

Thanks :S
 
Physics news on Phys.org
  • #2
Well, the easy way is to let the computer do it for you, i.e. if you have grtensor (which requires maple), we can compute the Christoffel symbols for the Schwarzschild metric as shown. This will give you a number of worked examples to check that you're doing it right:

Code:
qload(schw);
                       Default spacetime = schw                       For the schw spacetime:                             Coordinates                                x(up)                         a
                       x   = [r, theta, phi, t]                             Line element             2
     2    d r       2         2     2           2       2
   ds  = ------- + r   d theta   + r  sin(theta)   d phi
             2 m
         1 - ---
              r

           /     2 m\     2
         + |-1 + ---|  d t
           \      r /          The Schwarzschild metric in curvature coordinates

> grcalc(CC(up,dn,dn));

                          CPU Time  = 0.047

> grdisplay(_);

                       For the schw spacetime:                             CC(up,dn,dn)                        r                 m
                      CC   [r r] = - -----------
                                     (r - 2 m) r                         theta
                       CC       [theta r] = 1/r                           phi
                         CC     [phi r] = 1/r                         t               m
                       CC   [t r] = -----------
                                    (r - 2 m) r                         theta
                       CC       [r theta] = 1/r                      r
                    CC   [theta theta] = -r + 2 m                     phi                cos(theta)
                   CC     [phi theta] = ----------
                                        sin(theta)                           phi
                         CC     [r phi] = 1/r                     phi                cos(theta)
                   CC     [theta phi] = ----------
                                        sin(theta)                 r                                   2
               CC   [phi phi] = -(r - 2 m) sin(theta)               theta
             CC       [phi phi] = -sin(theta) cos(theta)                         t               m
                       CC   [r t] = -----------
                                    (r - 2 m) r                         r          (r - 2 m) m
                       CC   [t t] = -----------
                                         3
                                        r


But you can go back to the definition

[tex]
\Gamma^{\rho}{}_{\mu\nu} = \frac{1}{2} \sum_{\sigma} g^{\rho\sigma} \left( \frac{\partial g_{\nu\sigma}} {\partial x^{\mu}} + \frac{\partial g_{\mu\sigma}} {\partial x^{\nu}} - \frac{\partial g_{\mu\nu}} {\partial x^{\sigma}} \right)
[/tex]To interpret the above, you need to assign

[itex]x^0 = t \, , \, x^1 = r \, , \, x^2 = \theta \, , \, x^3 = \phi[/itex]

So if we want [itex]\Gamma^{r}{}_{rr} = \Gamma^{1}{}_{11}[/itex] in our example of the Schwarzschild metric, we see that the only non-zero term is for [itex]\sigma = 1[/itex] which gives

[tex]
\frac{1}{2} g^{11} \left( \frac{\partial g_{11}}{\partial r} + \frac{\partial g_{11}}{\partial r} - \frac{\partial g_{11}}{\partial r} \right)
[/tex]

and
[tex]g_{11} = \frac{1}{1-2m/r} [/tex]

We also know
[tex]
g^{11} = 1-2m/r
[/tex]

because [itex]g^{\mu\nu}[/itex] is just the inverse of [itex]g_{\mu\nu}[/itex] , ie. [itex]g^{\mu\nu} g_{\mu\nu} = 1[/itex] with the usual summation convention, and g is diagonal.
 
Last edited:
  • #3
You can also do this with the free program Maxima

Code:
load(ctensor);
/* set some flags */
cframe_flag: false;
ratchristof: true;
ratriemann : true;
ratfac : true;
ctrgsimp: true;
/* define the dimension */
dim: 4;
/* list the coordinates */
ct_coords: [t,r,theta,phi];
/* set up the metric */
/* assign to lg a matrix of zeros  ':' means 'assign' */
lg:zeromatrix(4,4);
/* now add the Schwarzschild coefficients */
lg[1,1]:-c^2*(1-2*m/r);
lg[2,2]:1/(1-2*m/r);
lg[3,3]:r^2;
lg[4,4]:r^2*sin(theta)^2;
/* make the inverse matrix */
ug:invert(lg);
/* get Christoffels */
christof(mcs);

The last Christoffel symbols I ever worked out by hand were for the (nonsense) metric

[tex]
ds^2=-dt^2+exp(2ax)dx^2+dy^2+dz^2
[/tex]

(the only non-zero CS is [itex]\Gamma^x_{xx}=a[/itex])

and that was enough.
 
Last edited:

FAQ: Finding Components of the Christoffel Symbol

What are the components of the Christoffel symbol?

The components of the Christoffel symbol are mathematical quantities that represent the connection between the geometry and topology of a space. They are used to describe the curvature and coordinates of a space.

How do you find the components of the Christoffel symbol?

The components of the Christoffel symbol can be found by taking the derivative of the metric tensor and using it to solve a system of equations known as the geodesic equations. This process is known as "raising and lowering indices".

What is the importance of finding the components of the Christoffel symbol?

Finding the components of the Christoffel symbol is important in understanding the curvature and geometry of a space. It is used in various fields such as general relativity, differential geometry, and cosmology.

Can the components of the Christoffel symbol be calculated for any space?

Yes, the components of the Christoffel symbol can be calculated for any space that has a well-defined metric tensor. This includes Euclidean spaces, as well as curved spaces such as spheres and hyperbolic spaces.

Are there any applications of the Christoffel symbol in real-world problems?

Yes, the Christoffel symbol has various applications in real-world problems, such as in the study of gravitational fields and in navigation systems that use curved spaces. It is also used in computer graphics to model and animate curved surfaces.

Similar threads

Replies
19
Views
4K
Replies
16
Views
3K
Replies
6
Views
3K
Replies
10
Views
3K
Replies
4
Views
4K
Replies
8
Views
2K
Back
Top