Page 372 - DMTH402_COMPLEX_ANALYSIS_AND_DIFFERENTIAL_GEOMETRY
P. 372

Unit 30: Geodesic Curvature and Christoffel Symbols





          where the Christoffel symbols    are defined such that                               Notes
                                    k
                                    ij
                                       1 ij     E  F   1   [ij; 1]
                                          =          , 
                                        2    F    [ij; 2]
                                        ij     G    
          and the Christoffel symbols [i j; k] are defined such that
                                          [i j; k] = X ij  .  X .
                                                     k
          Note that
                                       [i j; k] = [j i; k] = X ij  .  X .
                                                         k
          Looking at the formulae
                                          [ ; ] = X   .  X
                                                    
          for the Christoffel symbols [ ; ], it does not seem that these symbols only depend on the first
          fundamental form, but in fact they do!
          After some calculations, we have the following formulae showing that the Christoffel symbols
          only depend on the first fundamental form:

                                   1                                 1
                           [1 1; 1] =  Eu,                [1 1; 2] =  F   E ,
                                                                       v
                                                                  u
                                   2                                 2
                                   1                               1
                           [1 2; 1] =   E ,                [1 2; 2] =  G ,
                                                                      u
                                     v
                                   2                               2
                                   1                               1
                           [2 1; 1] =   E ,                [2 1; 2] =  G ,
                                   2  v                            2  u
                                       1                           1
                           [2 2; 1] = Fv –   G ,           [2 2; 2] =  G .
                                       2  u                        2  u
          Another way to compute the  Christoffel symbols [  ; ], is  to  proceed as follows.  For this
          computation, it is more convenient to assume that u = u  and v = u , and that the first fundamental
                                                              2
                                                     1
          form is expressed by the matrix
                                         g 11  g 12    E  F 
                                         g  g        ,
                                          21  22    F  G
          where g  = X   .  X . Let
                     

                                            g  |     g   .
                                                  u 

          Then, we have
                                    g
                             g          X   X   X   X  [ ; ] [ ; ].
                                                                 
                                                            
                                                          
                              
                                |
                                    u         
          From this, we also have
                                       g   = [ ; ] + [ ; ],
                                        |



                                           LOVELY PROFESSIONAL UNIVERSITY                                  365
   367   368   369   370   371   372   373   374   375   376   377