Page 403 - DMTH402_COMPLEX_ANALYSIS_AND_DIFFERENTIAL_GEOMETRY
P. 403

Complex Analysis and Differential Geometry




                    Notes                        Xuv =  1 12 X + G X + MN,
                                                              2
                                                              12
                                                          u
                                                                 v
                                                              2
                                                 Xvu =  1 21 X + G X + MN,
                                                          u
                                                              21
                                                                 v
                                                              2
                                                 Xvv =  1 22 X + G X + NN.
                                                              22
                                                          u
                                                                 v
                                   Now, Dw/dt is the tangential component of dw/dt, thus, by dropping the normal components,
                                   we get
                                         Dw       1     1     1     1            2     2     2  bu G bv)X
                                                                                                   2
                                              (a  
                                                     
                                                                                   
                                                                 
                                                                                         
                                                                       
                                                          
                                         dt     11 au   12 av   21 bu   22 bv)X   (b   11 au   12 av   21      22    v
                                                                          u
                                   Thus, the covariant derivative only depends on  y = (u , v),  and the Christoffel symbols, but we
                                                                              
                                   know that those only depends on the first fundamental form of X.
                                   Definition 3: Let  : I  X be a regular curve on a surface X. A vector field along  is a map, w, that
                                   assigns to every t  I a vector w(t)  T X in the tangent plane to X at (t). Such a vector field is
                                                                 (t)
                                   differentiable if the components a, b of w = aX  + bX  over the basis (X , X ) are differentiable. The
                                                                       u
                                                                                            v
                                                                           v
                                                                                         u
                                   expression Dw/dt(t) defined in the above equation is called the covariant derivative of w at t.
                                   Definition 4: extends immediately to piecewise regular curves on a surface.
                                   Definition 5: Let  : I  X be a regular curve on a surface X. A vector field along  is parallel if
                                   Dw/dt = 0 for all t  I.
                                   Thus, a vector field along a curve on a surface is parallel if its derivative is normal to the surface.
                                   For example, if C is a great circle on the sphere S  parametrized by arc length, the vector field of
                                                                         2
                                   tangent vectors C’(s) along C is a parallel vector field.
                                   We get the following alternate definition of a geodesic.
                                   Definition 6: Let  : I  X be a nonconstant regular curve on a surface X. Then,  is a geodesic if
                                   the field of its tangent vectors,  (t),  is parallel along , that is
                                                             
                                                                     D    0
                                                                     dt  (t) 
                                   for all t  I.
                                   If we let (t) = X(u(t), v(t)), from the equation

                                         Dw       1     1     1      1          2     2     2     2  bv)X
                                              (a  
                                                                       
                                                                                   
                                                                 
                                                                                               
                                                           
                                                                                         
                                                     
                                                                          u
                                          dt     11 au   12 av   21 bu   22 bv)X   (b   11 au   12 av   21 bu   22    v
                                   with  a    and  b    we get the equations
                                          u
                                                   v,
                                                                                    2
                                                                 2
                                                                     1
                                                         u   1 11 (u)      1 21 uv   1 22 (v)  0
                                                                                   
                                                                
                                                          
                                                                      uv    
                                                                     12
                                                                 2
                                                                                    2
                                                                    2
                                                               
                                                          v   2 11 (u)      2 21 uv   2 22 (v)  0,
                                                                                   
                                                                      uv    
                                                                    12
                                                                                             1
                                                                                                 1
                                                                                                        2
                                   which  are  indeed  the  equations  of  geodesics  found  earlier, since   =   and   =   2 21
                                                                                                        12
                                                                                                 21
                                                                                             12
                                   (except that  is not necessarily parametrized by arc length).
                                   Lemma 7: Let  : I  X be a regular curve on a surface X, and let v and w be two parallel vector
                                   fields along . Then, the inner product  v(t),w(t)  is constant along  (where  –, –  is the inner
          396                               LOVELY PROFESSIONAL UNIVERSITY
   398   399   400   401   402   403   404   405   406   407   408