+ All Categories
Home > Documents > New Diff Geom

New Diff Geom

Date post: 03-Jun-2018
Category:
Upload: mehmet-helva
View: 219 times
Download: 0 times
Share this document with a friend

of 111

Transcript
  • 8/12/2019 New Diff Geom

    1/111

    Problems and Solutions

    in

    Differential Geometry

    byWilli-Hans SteebInternational School for Scientific ComputingatUniversity of Johannesburg, South Africa

    Yorick HardyDepartment of Mathematical SciencesatUniversity of South Africa, South Africa

  • 8/12/2019 New Diff Geom

    2/111

    Preface

    The purpose of this book is to supply a collection of problems in differential

    geometry.

    [email protected]

    [email protected]

    Home page of the author:

    http://issc.uj.ac.za

    v

  • 8/12/2019 New Diff Geom

    3/111

    vi

  • 8/12/2019 New Diff Geom

    4/111

    Contents

    Preface v

    1 Curves, Surfaces and Manifolds 1

    2 Vector Fields and Lie Series 16

    3 Metric Tensor Fields 25

    4 Differential Forms and Applications 34

    5 Lie Derivative and Applications 50

    6 Killing Vector Fields 65

    7 Lie-Algebra Valued Differential Forms 68

    8 Lie Symmetries and Differential Equations 77

    9 Integration 82

    10 Lie Groups and Lie Algebras 85

    11 Miscellaneous 87

    Bibliography 94

    Index 103

    vii

  • 8/12/2019 New Diff Geom

    5/111

  • 8/12/2019 New Diff Geom

    6/111

    ix

    Notation

    := is defined as belongs to (a set)/ does not belong to (a set) intersection of sets union of sets empty setN set of natural numbersZ set of integersQ set of rational numbersR set of real numbers

    R+ set of nonnegative real numbersC set of complex numbersRn n-dimensional Euclidian space

    space of column vectors withn real componentsCn n-dimensional complex linear space

    space of column vectors withn complex componentsM manifoldH Hilbert spacei

    1z real part of the complex numberzz imaginary part of the complex numberz|z| modulus of complex number z

    (

    |x + iy

    |= (x2 + y2)1/2, x , y

    R

    T S subset Tof set SS T the intersection of the setsSand TS T the union of the setsSandTf(S) image of setSunder mapping ff g composition of two mappings (f g)(x) = f(g(x))x column vector inCn

    xT transpose ofx (row vector)0 zero (column) vector . normx yxy scalar product (inner product) inCnx y vector product in R3Sn symmetric groupA

    n alternating group

    Dn n-th dihedral group

  • 8/12/2019 New Diff Geom

    7/111

    x

    A, B, C m nmatricesdet(A) determinant of a square matrix Atr(A) trace of a square matrixArank(A) rank of matrix A

    AT transpose of matrix AA conjugate of matrixAA conjugate transpose of matrix AA conjugate transpose of matrix A

    (notation used in physics)A1 inverse of square matrix A (if it exists)In n n unit matrixI unit operator0n n n zero matrixAB matrix product ofm n matrixA

    and n p matrix BV vector field

    ofm n matricesA and B[A, B] := AB BA commutator for square matricesA and B[A, B]+ := AB+ BA anticommutator for square matricesA and B tensor product exterior product, Grassmann product, wedge productjk Kronecker delta withjk = 1 for j = k

    and jk = 0 for j=k eigenvalue real parametert time variable

    H Hamilton operator

  • 8/12/2019 New Diff Geom

    8/111

    Chapter 1

    Curves, Surfaces and

    Manifolds

    Problem 1. Consider the compact differentiable manifold

    S2 :={ (x1, x2, x3) : x21+ x22+ x23 = 1 }.An elementS2 can be written as

    = (cos sin , sin sin , cos )

    where[0, 2) and [0, ]. The stereographic projectionis a map : S2 \ { (0, 0, 1) } R2

    given by

    x1(, ) =2 sin() cos()

    1 + cos() , x2(, ) =

    2 sin() sin()

    1 + cos() .

    (i) Let = 0 and arbitrary. Findx1, x2. Give a geometric interpretation.(ii) Find the inverse of the map, i.e., find

    1 : R2 S2 \ { (0, 0, 1) }.

    Problem 2. The parameter representation for thetorusis given by

    x1(u1, u2) = (R+ r cos u1)cos u2

    x2(u1, u2) = (R+ r cos u1)sin u2

    x3(u1, u2) = r sin u1

    1

  • 8/12/2019 New Diff Geom

    9/111

  • 8/12/2019 New Diff Geom

    10/111

    Curves, Surfaces and Manifolds 3

    for the equivalence relation

    (u0, u1, . . . , un)(v0, v1, . . . , vn) C : uj =vj 0jn

    where C

    := C\ { 0 }. Show that P1

    (C) is a one-dimensional complexmanifold.

    Problem 6. Let

    Sn :={ (x1, x2, . . . , xn+1) : x21+ x22+ + x2n+1 = 1 } .(i) Show thatS3 can be considered as a subset ofC2 (C2= R4)

    S3 ={ (z1, z2) C2 :|z1|2 + |z2|2 = 1 } .(ii) The Hopf map : S3 S2 is defined by

    (z1, z2) := (z1z2+ z2z1, iz1z2+ iz2z1, |z1|2 |z2|2) .

    Find the parametrization ofS3

    , i.e. find z1(, ), z2(, ) and thus showthat indeed maps S3 onto S2.(iii) Show that (z1, z2) =(z1, z

    2) if and only ifz

    j =e

    izj (j = 1, 2) andR.

    Problem 7. Then-dimensional complex projective space CPn is the setof all complex lines on Cn+1 passing through the origin. Letfbe the mapthat takes nonzero vectors in C2 to vectors in R3 by

    f(z1, z2) =

    z1z2+ z1z2z1z1+ z2z2

    , z1z2 z1z2i(z1z1+ z2z2)

    ,z1z1 z2z2z1z1+ z2z2

    The map f defines a bijection between CP1 and the unit sphere in R3.Consider the normalized vectors in C2

    10

    ,

    01

    ,

    12

    11

    ,

    12

    11

    , 1

    2

    ii

    .

    Applyfto these vectors in C2.

    Problem 8. The stereographic projection is the map : S2 \N Cdefined by

    (x, y, z) = x

    1 z + i y

    1 z.Show that the inverse of the stereographic projection takes a complex num-ber u + iv (u, v R)

    2u1 + u2 + v2 , 2v1 + u2 + v2 ,1 u2 v21 + u2 + v2

  • 8/12/2019 New Diff Geom

    11/111

    4 Problems and Solutions

    to the unit sphere.

    Problem 9. Show that the projective space Pn(C) is a compact manifold.

    Problem 10. Consider the solid torus M = S1 D2, where D2 is theunit disk in R2. On it we define coordinates (,x,y) such thatS1 and(x, y) D2, that is, x2 +y2 1. Using these coordinates we define themap

    f :MM, f(,x,y) =

    2, 1

    10x +

    1

    2cos ,

    1

    10y+

    1

    2sin

    .

    (i) Show that this map is well-defined, that is, f(M)M.(ii) Show that f is injective.

    Problem 11. Show that a parameter representation of the hyperboloid

    x21 x22 x23 = 1

    is given by

    x1(t) = cosh(t), x2(t) = sinh(t) cos(), x3(t) = sinh(t) sin()

    where 0t 0 } .

    Find a parametrization for v.

    Problem 13. Find the stereographic projection of the two-dimensionalsphere

    S2 :={v R3 : v2 =v20+ v21+ v22 = 1 }

    Problem 14. Consider the curve

    (t) =

    t

    cosh(t)

    , t R

    Show that the curvatureis given by

    (t) = 1

    cosh2(t) .

  • 8/12/2019 New Diff Geom

    12/111

    Curves, Surfaces and Manifolds 5

    Problem 15. Consider the unit ball

    S2 :={(x, y, z) R3 : x2 + y2 + z2 = 1 } .

    Let (t) = (x(t), y(t), z(t)) be a parametrized differentiable curve on S2

    .Show that the vector (x(t), y(t), z(t)) (t fixed) is normal to the sphere atthe point (x(t), y(t), z(t)).

    Problem 16. A generic superquadric surface can be defined as a closedsurface in R3

    r(, )x(, )y(, )

    z(, )

    = a1cos1()cos2()a2cos1()sin2()

    a3sin1()

    , /2/2, < .There are five parameters1,2,a1,a2,a3. Here1 and 2are the deforma-tion parameters that control the shape with 1, 2(0, 2). The parametera1, a2, a3 define the size in x, y and z direction. Find the implicit repre-sentation.

    Problem 17. Let

    x1(z, z) = sech

    z+ z

    2

    cosh

    z z

    2

    x2(z, z) = isech

    z+ z

    2

    sinh

    z z

    2

    x3(z, z) = tanh

    z+ z

    2

    Findx21+ x

    22+ x

    23. Note that

    sech(z) := 2

    ez + ez.

    Problem 18. Let d = (d0, d1, . . . , dn) be an (n+ 1)-tuple of integersdj >1. We define

    V(d) :={ z= (z0, z1, . . . , zn) Cn+1 : f(z) := zd00 + zd11 + + zdnn = 0 } .Let S2n+1 denote the unit sphere in Cn+1, i.e.

    z0z0+ z1z1+ + znzn= 2 .We define

    (d) := V(d) S2n+1 .

  • 8/12/2019 New Diff Geom

    13/111

    6 Problems and Solutions

    Show that (d) is a smooth manifold of dimension 2n 1. The manifolds(d) are called Brieskorn manifolds.

    Problem 19. Consider the stereographic projection

    r(w) =

    2(w)|w|2 + 1 ,

    2(w)|w|2 + 1 ,

    |w|2 1|w|2 + 1

    .

    Letw = i. Find r(w).

    Problem 20. (i) Consider the rational curve in the plane

    y2 =x2 + x3 .

    Find the parameter representation.(ii) Consider the rational curve in the plane

    x2 + y2 = 1 .

    Find the parameter representation.

    Problem 21. Let a > 0. Consider the transformation Minkowski coor-dinates (t, z and Rindler coordinates(, )

    t(, ) = 1

    aexp(a)sinh(a), z(, ) =

    1

    aexp(a) cosh(a) .

    Find the inverse transformation.

    Problem 22. Show that thehelicoid

    x(u, v) = (a sinh(v) cos(u), a sinh(v) sin(u), au)

    is a minimal surface.

    Problem 23. LetA be a symmetricn nmatrix over R. Let 0=b R.Show that the surface

    M={ x Rn : xTAx= b }

    is an (n 1) dimensional submanifold of the manifold Rn.

    Problem 24. LetCbe the topological space given by the boundary of

    [0, 1]n := [0, 1] [0, 1] .

  • 8/12/2019 New Diff Geom

    14/111

    Curves, Surfaces and Manifolds 7

    This means Cis the surface of the n-dimensional unit cube. Show thatCcan be endowed with the structure of a differential manifold.

    Problem 25. Find the Gaussian curvature for the torus given by theparametrization

    x(u, v) = ((a + r cos(u)) cos(v), (a + r cos(u)) sin(v), r sin(u))

    where 0< u < 2 and 0< v

  • 8/12/2019 New Diff Geom

    15/111

    8 Problems and Solutions

    For fixed t the curve(x(), y(), z())

    can be considered as a solution of a differential equation. Find this differ-

    ential equation. Then t plays the role of a bifurcation parameter.

    Problem 28. LetMbe a differentiable manifold. Suppose thatf :MM is a diffeomorphism with Nm(f)

  • 8/12/2019 New Diff Geom

    16/111

    Curves, Surfaces and Manifolds 9

    Extend the transformation to Rn.

    Problem 31. A fixed chargeQ is located on the z-axis with coordinatesra = (0, 0, d/2), where d is interfocal distance of the prolate spheroidalcoordinates

    x(, , ) =1

    2d((1 2)(2 1))1/2 cos

    y(, , ) =1

    2d((1 2)(2 1))1/2 sin

    z(, , ) =1

    2d

    where1 +1, 1 , 0 2. Express the Coulombpotential

    V = Q

    |r ra|in prolate spheroidal coordinates.

    Problem 32. Let, ,, R. Consider the vector in R5

    x(,,,) =

    cosh sin cos cosh sin sin

    cosh cos sinh cos sinh sin

    .Find

    x21+ x22+ x

    23 x24 x25 .

    This vector plays a role for the Lie group S O(3, 2). The invariant measureis

    cosh2 sinh sin dddd .

    Problem 33. Show that the surface Cof the unit cube

    C={(x1, x2, x3) : 0x11, 0x21, 0x31 }can be made into a differentiable manifold.

    Problem 34. The equation of the monkey saddle surface in R3 is givenby

    x3 = x1(x21 3x22)

    with the parameter representation

    x1(u1, u2) = u1, x2(u1, u2) = u2, x3(u1, u2) = u31 3u1u22 .

  • 8/12/2019 New Diff Geom

    17/111

    10 Problems and Solutions

    Find the mean and Gaussian curvature.Let

    g= dx1 dx1+ dx2 dx2+ dx3 dx3 .

    Findg restricted to the monkey saddle surface. Find the curvature scalar.

    Problem 35. Leta >0 and consider the surface

    x1(u1, u2) = a1 u221 + u22

    cos(u1)

    x2(u1, u2) = a1 u221 + u22

    sin(u1)

    x3(u1, u2) = 2au21 + u22

    .

    Findx21+ x22+ x

    23.

    Problem 36. Show that anopen disc

    D2 :={ (x1, x2) R2 : x21+ x22 < 1 }

    is homeomorphic to R2.

    Problem 37. Let r > 0. The Klein bagel is a specific immersion of theKlein bottle manifold into three dimensions with the parameter represen-tation

    x1(u1, u2) = (r+ cos(u1/2) sin(u2) sin(u1/2) sin(2u2)) cos(u1)x2(u1, u2) = (r+ cos(u1/2) sin(u2)

    sin(u1/2) sin(2u2)) sin(u1)

    x3(u1, u2)=sin(u1/2) sin(u2) + cos(u1/2) sin(2u2)

    where 0 u1 < 2 and 0 u2 < 2. Find the mean curvature andGaussian curvature.

    Problem 38. Consider the circle

    S1 :={(x1, x2) R2 : x21+ x22 = 1 }

    and the square

    I2 ={ (x1, x2) R : (|x1|= 1, |x2| 1), (|x1| 1, |x2|= 1) } .

    Find a homeomorphism.

  • 8/12/2019 New Diff Geom

    18/111

    Curves, Surfaces and Manifolds 11

    Problem 39. The transformation between the orthogonal ellipsoidal co-ordinates (,,) and the Cartesian coordinates (x1, x2, x3) is

    x2

    1=

    222

    h2k2

    x22=(2 2)(2 h2)(h2 2)

    h2(k2 h2)x23=

    (2 k2)(k2 2)(k2 2)k2(k2 h2)

    wherek2 =a21 a23, h2 =a21 a22 and a1 > a2 > a3 denote the three semi-axes of the ellipsoid. The three surfaces in R3, = constant, (k ), = constant, (h k) and = constant, (0 h, representellipsoids and hyperboloids of one and two sheets, respectively. Find theinverse transformation.

    Problem 40. Letx1, x2, x3 R andx21+ x

    22+ x

    23 = 1 .

    Letw C withw=

    x1+ ix21 + x3

    .

    Findx1, x2, x3 as functions ofw andw.

    Problem 41. (i) LetM be a manifold and f : M M, g : M M.Assume thatfis invertible. Then we say that the map f is a symmetryofthe map g if

    f g f1

    =g .LetM= R and f(x) = sinh(x). Find all g such thatf g f1 =g.(ii) Letfand g be invertible maps. We say that g has a reversing symmetryf if

    f g f1 =g1 .LetM= R and f(x) = sinh(x). Find all g that satisfy this equation.

    Problem 42. Consider the map f : R R2 defined by

    f(x) = (2 cos(x /2), sin(2(x /2))) .

    Show that (f,R) is an immersed submanifold of the manifold R2, but notan imbedded submanifold.

  • 8/12/2019 New Diff Geom

    19/111

    12 Problems and Solutions

    Problem 43. Use GNU-plot to plot the curve

    x1(t) = cos(3t), x2(t) = sin(5t)

    in the (x1, x2)-plane with t

    [0, 2].

    Problem 44. A special set of coordinates onSn called spheroconical (orelliptic spherical) coordinates are defined as follows: For a given set of realnumbers 1 < 2

  • 8/12/2019 New Diff Geom

    20/111

    Curves, Surfaces and Manifolds 13

    of classCr (this means thatisrtimes continuously differentiable) is calleda parametric curve of class Cr of the curve . t is called the parameter ofthe curve . The parameter t may represent time and the curve (t) asthe trajectory of a moving particle in space. IfIis a closed interval [a, b],

    then (a) the starting point and (b) is the endpoint of the curve . If : (a, b) Rn is injective, we call the curve simple. Ifis a parametriccurve which can be locally described as a power series, we call the curveanalytic or of class C. A Ck-curve

    : [a, b] Rn

    is called regular of order m if for any t in interval I

    {d(t)/dt,d2(t)/dt2,...,dm(t)/dtm} mkare linearly independent in the vector space Rn. AFrenet frameis a movingreference frame ofnorthonormal vectorsej(t) (j = 1, . . . , n) which are usedto describe a curve locally at each point (t). Using the Frenet frame wecan describe local properties (e.g. curvature, torsion) in terms of a localreference system than using a global one like the Euclidean coordinates.Given aCn+1-curve inRn which is regular of order n the Frenet frame forthe curve is the set of orthonormal vectors

    e1(t), . . . , en(t)

    called Frenet vectors. They are constructed from the derivatives of (t) usingthe GramSchmidt orthogonalization algorithm with

    e1(t) = d(t)/dt

    d(t)/dt , ej(t) = ej(t)

    ej(t) , j = 2, . . . , n

    where

    ej(t) = (j)(t)

    j1

    i=1(j)(t), ei(t) ei(t)where (j) denotes the j derivative with respect to t and , denotes thescalar product in the Euclidean space Rn. The Frenet frame is invariantunder reparametrization and are therefore differential geometric propertiesof the curve. Find the Frenet frame for the curve ( t R)

    (t) =

    cos(t)tsin(t)

    .Problem 47. Show that the Lemniscate of Geronox41 = x

    21 x22 can be

    parametrized by

    (x1(t), x2(t)) = (sin(t), sin(t)cos(t))

  • 8/12/2019 New Diff Geom

    21/111

    14 Problems and Solutions

    where 0t.

    Problem 48. Study the curve

    x1(t)= cosc0t + c1

    sin(t)x2(t) = sin

    c0t +

    c1

    sin(t)

    in the plane with c0, c1, > 0, where c0, c1, have the dimension of afrequency and t is the time.

    Problem 49. The Hammer projectionis an equal-area cartographic pro-jections that maps the entire surface of a sphere to the interior of an ellipseof semiaxis

    8 and

    2. The Hammer projection is given by the transfor-

    mation between (, ) and (x1, x2)

    x1(, ) = 8 sin() sin(/2)1 + sin()cos(/2)

    , x2(, ) = 2 cos()1 + sin()cos(/2)

    where 0 and 0 0. Study the manifold

    x21R2e

    + x22R2e

    + x23R2e2

    = 1

    where is a deformation parameter.(ii) Show that the volume Vof the spheroid is given by V = (4/3)R3.

    Problem 52. Plot the graph

    r() = 1 + 2 cos(2).

  • 8/12/2019 New Diff Geom

    22/111

    Curves, Surfaces and Manifolds 15

    Problem 53. Leta >0. Consider

    x1(u, v) = a1 v21 + v2

    cos(u), x2(u, v) = a1 v21 + v2

    sin(u), x3(u, v) = a 2v

    1 + v2.

    (i) Show thatx21(u, v) + x

    22(u, v) + x

    23(u, v) = a

    2.

    (ii) Calculatex

    u x

    v

    wheredenotes the vector product. Discuss.

  • 8/12/2019 New Diff Geom

    23/111

    Chapter 2

    Vector Fields and Lie

    Series

    Problem 1. Consider the vector fields

    V =x

    x+ y

    y, W=x

    y y

    x

    defined on R2.

    (i) Do the vector fields V, Wform a basis of a Lie algebra? If so, what typeof Lie algebra do we have.

    (ii) Express the two vector fields in polar coordinates x(r, ) = r cos ,

    y(r, ) = r sin .(iii) Calculate the commutator of the two vector fields expressed in polarcoordinates. Compare with the result of (i).

    Problem 2. Consider the vector fields

    V1 = d

    dx, V2 = x

    d

    dx, V3 = x

    2 d

    dx.

    (i) Show that the vector fields form a basis of a Lie algebra under thecommutator.

    (ii) Find the adjoint representation of this Lie algebra.

    (iii) Find the Killing form.

    (iv) Find the Casimir operator.

    16

  • 8/12/2019 New Diff Geom

    24/111

    Vector Fields and Lie Series 17

    Problem 3. Consider the vector fields

    V1= cos

    +

    sin

    sin

    cot sin

    V2= sin

    +cos sin

    cot cos

    V3=

    .

    Calculate the commutators and show that V1, V2, V3 form a basis of a Liealgebra.

    Problem 4. Let X1, X2, . . . , X r be the basis of a Lie algebra with thecommutator

    [Xi, Xj ] =r

    k=1

    CkijXk

    where the Ckij are the structure constants. The structure constants satisfy(third fundamental theorem)

    Ckij= Ckjir

    m=1

    Cmij C

    mk+ C

    mjkC

    mi+ C

    mkiC

    mj

    = 0 .

    We replace the Xis byc-number differential operators (vector fields)

    XiVi =r

    =1

    rk=1

    xkCki

    x, i= 1, 2, . . . , r .

    Let

    Vj =

    rn=1

    rm=1

    xmCmjn xn.

    Show that

    [Vi, Vj ] =n

    k=1

    CkijVk

    where

    Vk =r

    n=1

    rm=1

    xmCmkn

    xn.

    Problem 5. Consider the vector fields (differential operators)

    E= x y , F=y x , H=x x y y .

  • 8/12/2019 New Diff Geom

    25/111

    18 Problems and Solutions

    Show that these vector fields form a basis of a Lie algebra, i.e. calculatethe commutators. Consider the basis forn Z

    {xjyk : j, k

    Z, j+ k= n

    }.

    FindE(xjyk), F(xjyk), H(xjyk).

    Problem 6. Show that the sets of vector fields

    x, x

    x, x2

    x

    x, x

    x+ u

    u, x2

    x+ 2xu

    u

    x+

    u, x

    x+ u

    u, x2

    x+ u2

    u

    form each a basis of the Lie algebra s(2,C

    ) under the commutator.

    Problem 7. Consider the Lie algebrao(3, 2). Show that the vector fieldsform a basis of this Lie algebra

    V1 =

    t, V2 = t

    t+

    1

    2x

    x, V3 = t

    2

    t+ tx

    x+

    1

    4x2

    u

    V4=

    x, V5 = t

    x+

    1

    2x

    u, V6 =

    u

    V7 =1

    2x

    x+ u

    u, V8=

    1

    2xt

    t+ (tu +

    1

    4x2)

    x+

    1

    2xu

    u

    V9 =1

    4

    x2

    t

    + ux

    x

    + u2

    u

    , V10 =1

    2

    x

    t

    + u

    x

    .

    Show that the vector fields V1, . . . , V 7 form a Lie subalgebra.

    Problem 8. Let X1, X2, . . . , X r be the basis of a Lie algebra with thecommutator

    [Xi, Xj ] =r

    k=1

    CkijXk

    where the Ckij are the structure constants. The structure constants satisfy(third fundamental theorem)

    Ckij= Ckjir

    m=1

    Cmij Cmk+ CmjkCmi+ CmkiCmj= 0 .

  • 8/12/2019 New Diff Geom

    26/111

    Vector Fields and Lie Series 19

    We replace theXis byc-number differential operators (linear vector fields)

    XiVi =r

    =1r

    k=1 xkCki

    x, i= 1, 2, . . . , r .

    which preserve the commutators.Consider the Lie algebra with r = 3 and the generators X1, X2, X3 andthe commutators

    [X1, X3] = X1, [X2, X3] =X2 .

    All other commutators are 0. The Lie algebra is solvable. Find the corre-sponding linear vectors fields. Find the smooth functionsf such that

    Vjf(x) = 0 for all j = 1, 2, 3 .

    Problem 9. LetV , Wbe two smooth vector fields

    V = f1

    u1+ f2

    u2+ f3

    u3

    W= g1

    u1+ g2

    u2+ g3

    u3

    defined on R3. Let du/dt= f(u) and du/dt = g(u) be the correspondingautonomous system of first order differential equations. The fixed pointsofVare defined by the solutions of the equations fj(u

    1, u

    2, u

    3) = 0 (j =

    1, 2, 3) and the fixed points ofWare defined as the solutions of the equationsgj(u1, u

    2, u

    3) = 0 (j = 1, 2, 3). What can be said about the fixed points of

    [V, W]?

    Problem 10. Consider the nonlinear differential equations

    du

    dt =u2 u, du

    dt = sin(u) .

    with the corresponding vector fields

    V = (u2 u) ddu

    , W = sin(u) ddu

    .

    (i) Show that both differential equations admit the fixed pointu = 0.(ii) Consider the vector field given by the commutator of the two vectorfieldsV andW, i.e. [V, W]. Show that the corresponding differential equa-tion of this vector field also admits the fixed point u = 0.

  • 8/12/2019 New Diff Geom

    27/111

    20 Problems and Solutions

    Problem 11. Letz C. Consider the vector field

    Ln:= zn+1 d

    dz, n Z

    Calculate the commutator [Lm, Ln].

    Problem 12. Consider the vector fields

    ujk, ujm

    ujk, uk

    ujk, ujmuk

    ujk

    where j = 1, 2, . . . , p; k = 1, 2, . . . , n; m= 1, 2, . . . , n; = 1, 2, . . . , p. Findthe commutators. Do the vector fields form a basis of a Lie algebra. Discuss.

    Problem 13. Consider the vector fields

    V1 =

    r, V2=

    1

    r

    , V3 =

    1

    r sin

    .

    Find the commutators

    [V1, V2], [V2, V3], [V3, V1] .

    Problem 14. Show that the differential operators (vector fields)

    y+ x

    z, y

    y+ z

    z, (xy z)

    x+ y2

    y+ yz

    z

    generate a finite-dimensional Lie algebra.

    Problem 15. Consider smooth vector fields inR3

    V = V1(x)

    x1+ V2(x)

    x2+ V3(x)

    x3

    W= W1(x)

    x1+ W2(x)

    x2+ W3(x)

    x3.

    Now

    curl

    V1V2V3

    = V3x2 V2x3V1

    x3 V3x1

    V2x1

    V1x2

    , curlW1W2

    W3

    = W3x2 W2x3W1

    x3 W3x1

    W2x1

    W1x2

    .We consider now the smooth vector fields

    Vc = ( V3x2 V2x3 ) x1 + ( V

    1x3

    V3x1 ) x2 + ( V2

    x1 V1x2 ) x3

  • 8/12/2019 New Diff Geom

    28/111

    Vector Fields and Lie Series 21

    Wc = (W3x2

    W2x3

    )

    x1+ (

    W1x3

    W3x1

    )

    x2+ (

    W2x1

    W1x2

    )

    x3.

    Note that if= V1(x)dx1+ V2(x)dx2+ V3(x)dx3

    then

    d=

    V2x1

    V1x2

    dx1dx2+

    V1x3

    V3x1

    dx3dx1+

    V3x2

    V2x3

    dx2dx3 .

    (i) Calculate the commutator [Vc, Wc]. Assume that [V, W] = 0. Can weconclude [Vc, Wc] = 0 ?(ii) Assume that [V, W] = R. Can we conclude that [Vc, Wc] = Rc?

    Problem 16. Consider the first order ordinary differential equation

    du

    dt =u + 1

    with the corresponding vector field

    V = (u + 1) d

    du.

    Calculate the mapuexp(tV)u .

    Solve the inital value problem of the differential equation and compare.

    Problem 17. Consider the vector fields

    V1= (u2+ u1u3)

    u1+ (u1+ u2u3)

    u2+ (1 + u23)

    u3

    V2= (1 + u21)

    u1

    + (u1u2+ u3) u2

    + (u2+ u1u3) u3

    V3= (u1u2 u3) u1

    + (1 + u22)

    u2+ (u1+ u2u3)

    u3.

    Find the commutators [V1, V2], [V2, V3], [V3, V1] and thus show that we havea basis if the Lie algebra so(3,R).

    Problem 18. Let { ,} denote thePoisson bracket. Consider the functions

    S1 =1

    4(x21+p

    21 x22 p22), S2=

    1

    2(p1p2+ x1x2, S3 =

    1

    2(x1p2 x2p1) .

    Calculate{

    S1

    , S2}

    ,{

    S2

    , S3}

    ,{

    S3

    , S1}

    so thus estabilish that we have a basisof a Lie algebra. Classify the Lie algebra.

  • 8/12/2019 New Diff Geom

    29/111

    22 Problems and Solutions

    Problem 19. Consider the vector fields inR2

    V1 =

    x, V2 = x

    x+ y

    y, V3= (x

    2 y2) x

    + 2xy

    y.

    Find the fixed points of the corresponding autonomous systems of first orderdifferential equations. Study their stability.

    Problem 20. Consider in R3 the vector fields

    V12 = x2

    x1 x1

    x2, V23 = x3

    x2 x2

    x3, V31 = x1

    x3 x3

    x1

    with the commutators

    [V12, V23] = V31, [V23, V31] = V12, [V31, V12] = V23 .

    Thus we have a basis of the simple Lie algebra so(3,R).(i) Find the curl of these vector fields.

    (ii) Let= dx1 dx2 dx3

    be the volume form in R3. Find the differential two-forms

    V12, V23, V31 .(iii) Let * be the Hodge star operator. Find the one forms

    (V12), (V23), (V31) .

    Problem 21. TheKustaanheimo-Stiefel transformationis defined by themap from R4 (coordinatesu1, u2, u3, u4) to R3 (coordinatesx1, x2, x3)

    x1(u1, u2, u3, u4) = 2 (u1u3 u2u4)x2(u1, u2, u3, u4) = 2 (u1u4+ u2u3)

    x3(u1, u2, u3, u4) = u21+ u

    22 u23 u24

    together with the constraint

    u2du1 u1du2 u4du3+ u3du4 = 0 .(i) Show that

    r2 =x21+ x22+ x

    23 = u

    21+ u

    22+ u

    23+ u

    24 .

    (ii) Show that

    3 = 14r

    4 14r2

    V2

  • 8/12/2019 New Diff Geom

    30/111

  • 8/12/2019 New Diff Geom

    31/111

    24 Problems and Solutions

    Problem 24. Consider the smooth vector fields inRn

    V =n

    j,k=1ajkxj

    xk, W=

    n

    j,k,=1cjkxjxk

    x

    whereajk , cjk R. Find the conditions onajk and cjk such that [V, W] =0.

    Problem 25. Find two smooth vector fieldsV andW in Rn such that

    [[W, V], V] = 0 but [W, V]= 0 .Find two n n matrices A and B such that

    [[B, A], A] = 0 but [B, A]= 0 .

    Problem 26. Letf : R R be an analytic function. Calculate

    expi dd, expi d

    d2, expi d

    d f() .

    Problem 27. Do the vector fields

    x,

    t, t

    x+ x

    t

    form a basis of a Lie algebra under the commutator?

    Problem 28. Give a vector fieldV in R3 such that

    V curlV=0.Give a vector field V in R3 such that

    V curlV =0.

    Problem 29. Let f1 : R2 R, f2 : R2 R be analytic function.

    Consider the analytic vector fields

    V =f1(x1, x2)

    x1+

    x2, W=

    x1+ f2(x1, x2)

    x2

    in R2.(i) Find the conditions on f1 and f2 such that [V, W] = 0.(ii) Find the conditions on f1 andf2 such that [V, W] = V + W.

  • 8/12/2019 New Diff Geom

    32/111

    Chapter 3

    Metric Tensor Fields

    Problem 1. Leta > b >0 and definef : R2 R3 byf(, ) = ((a + b cos )cos , (a + b cos )sin , b sin ) .

    The functionfis a parametrized torus T2 in R3. Consider the metric tensorfield

    g= dx1 dx1+ dx2 dx2+ dx3 dx3.(i) Calculate g |T2 .(ii) Calculate the Christoffel symbols mab from g |T2 .(iii) Calculate the curvature.(iv) Give the differential equations for the geodesics.

    Problem 2. The two-dimensional de Sitter spaceV with the topologyR S may be visualized as a one-sheet hyperboloid Hr0 embedded in 3-dimensional Minkowski space M, i.e.

    Hr0 ={(y0, y1, y2) M : (y2)2 + (y1)2 (y0)2 =r20, r0> 0 }where r0 is the parameter of the one-sheet hyperboloid Hr0 . The inducedmetric,g (, = 0, 1), on Hr0 is the de Sitter metric.(i) Show that we can parametrize (parameters and ) the hyperboloid asfollows

    y0(, ) =r0cos(/r0)sin(/r0)

    , y1(, ) = r0cos(/r0)

    sin(/r0) , y2(, ) =

    r0sin(/r0))

    sin(/r0)

    where 0< < r0 and 0

  • 8/12/2019 New Diff Geom

    33/111

    26 Problems and Solutions

    (ii) Using this parametrization find the metric tensor field induced on Hr0 .

    Problem 3. Consider the metric tensor field

    g=dZ dZ dT dT+ dW dW.

    Consider the parametrization

    Z(z, t) = cosh(z) cos(t)

    T(z, t) = cosh(z) sin(t)

    W(z, t) = sinh(z).

    (i) Find Z2 + T2 W2.(ii) Express g using this parametrization.

    Problem 4. The anti-de Sitter spaceis defined as the surface

    X2 + Y2 + Z2 U2 V2 =1

    embedded in a five-dimensional flat space with the metric tensor field

    g= dX dX+ dY dY + dZ dZ dU dU dV dV.

    This is a solution of Einsteins equations with the cosmological constant =3. Its intrinsic curvature is constant and negative. Find the metrictensor field in terms of the intrinsic coordinates (,,,t) where

    X(,,,t) = 2

    1 2 sin cos

    Y(,,,t) = 21 2 sin sin

    Z(,,,t) = 2

    1 2 cos

    U(,,,t) =1 + 2

    1 2 cos t

    V(,,,t) =1 + 2

    1 2 sin t

    where 0

  • 8/12/2019 New Diff Geom

    34/111

    Metric Tensor Fields 27

    with metric tensor field

    g=1

    ydx 1

    ydx +

    1

    ydy 1

    ydy

    which is conformal with the standard inner product. Find the curvatureforms.

    Problem 6. Consider the manifoldMof the upper space x2 > 0 ofR2

    endowed with the metric tensor field

    g=dx1 dx1+ dx2 dx2

    x22.

    Show that the metric tensor field admits the symmetry (x1, x2)(x1, x2)and the transformation (z = x1+ ix2)

    zz = az+ bcz+ d

    , a, b, c, dR, ad bc= 1

    preserve the metric tensor field. Find the Gaussian curvature ofg .

    Problem 7. Consider the manifoldMof the upper space xn >0 ofRn

    endowed with the metric tensor field

    g=dx1 dx1+ + dxn dxn

    x2n.

    Find the Gaussian curvature.

    Problem 8. The Klein bagel(figure 8 immersion) is a specific immersionof the Klein bootle manifold into three dimensions. The figure 8 immersionhas the parametrization

    x(u, v) = (r+ cos(u/2) sin(v) sin(u/2) sin(2v)) cos(u)y(u, v) = (r+ cos(u/2) sin(v) sin(u/2) sin(2v)) sin(u)z(u, v)=sin(u/2)sin(v) + cos(u/2) sin(2v)

    where r is a positive constant and 0 u < 2, 0 v < 2. Find theRiemann curvature of the Klein bagel.

    Problem 9. Consider the compact differentiable manifold S3

    S3 :={ (x1, x2, x3, x4) : x21+ x22+ x23+ x24 = 1 }and the metric tensor field

    g = dx1 dx1+ dx2 dx2+ dx3 dx3+ dx4 dx4.

  • 8/12/2019 New Diff Geom

    35/111

    28 Problems and Solutions

    (i) Express g using the following parametrization

    x1(, , )= cos cos

    x2(, , )= si n cos

    x3(, , )= cos sin

    x4(, , )= si n sin

    where 0/2, 0, 2.(ii) NowS3 is the manifold of the compact Lie group S U(2). Thus we candefine the vector fields (angular momentum operators)

    L1=1

    2cos( + )(tan

    cot

    ) sin( + )

    L2=1

    2sin( + )(tan

    cot

    ) + cos( + )

    L3= + .Find the commutation relation [Lj , Lk] for j, k= 1, 2, 3.(iii) Find the dual basis ofL1, L2, L3.

    Problem 10. Consider the metric tensor field

    g= dx1 dx1+ dx2 dx2+ dx3 dx3.

    The parabolic set of unit-less coordinates (u, v, ) is defined by a transfor-mation of Cartesian coordinates (0u , 0v and 02)

    x1(u, v, ) = auv cos , x2(u,v,) = auv sin , x3(u,v,) =

    1

    2 a(u

    2

    v2

    ).

    Expressg using this parabolic coordinates.

    Problem 11. Consider the metric tensor field

    g= cdt0 cdt0 dx0 dx0 dy0 dy0 dz0 dz0and the transformation

    t0= t

    x0= r cos( + t)

    y0= r sin( + t)

    z0= z.

  • 8/12/2019 New Diff Geom

    36/111

    Metric Tensor Fields 29

    Expressg in the new coordinates t, r , z , .

    Problem 12. Consider the upper half-plane{(x1, x2) : x2 > 0}endowedwith the metric tensor field

    g = 1

    x22(dx1 dx1+ dx2 dx2)

    defines a two-dimensional Riemann manifold.(i) Show that the Gaussian curvature is given by R =1.(ii) Find the surface element dSand the Laplace operater .(iii) Consider the conformal mapping from the upper half-plane{z = x1+ix2 : x2 > 0} to the unit disk{w= rei : r1}

    w(z) = iz+ 1

    z+ i.

    Expressg in r and .

    Problem 13. (i) Consider the metric tensor field

    g(u1, u2) = du1 du1+ e2u1du2 du2, < u1, u2 < +.Show that Gaussian curvature K(u1, u2) has the value1.(ii) Consider the transformation

    x1(u1, u2) = u2, x2(u1, u2) = eu2 .

    Expressg using the coordinates x1, x2.(iii) Consider the transformation

    x1(, ) = x10+ cos(), x2(, ) = sin()

    wherex10 is a constant. Express g in and

    Problem 14. Let N 2 and a > 0. An N-dimensional Riemann man-ifold of constant negative Gaussian curvature K =1/a2 is described bythe metric tensor field

    g = dr dr+ a2 sinh r

    a

    dN1 dN1

    where r[0, ) measures the distance to the origin and dN1 dN1denotes the metric tensor field of the unit sphere SN1.(i) Show that volume element dV is covariantly defined as

    dVN= a sinh raN1 drdN1

  • 8/12/2019 New Diff Geom

    37/111

  • 8/12/2019 New Diff Geom

    38/111

    Metric Tensor Fields 31

    in oblate spheroidal coordinates.

    Problem 17. Consider the manifoldR3. Leta,b,c >0 anda=b, a=c,b=c. The sphero-conical coordinatess2, s3 are defined to be the roots ofthe quadratic equation

    x21a + s

    + x22b + s

    + x23c + s

    = 0.

    The first sphero-conical coordinate s1 is given as the sum of the squares

    s1 = x21+ x

    22+ x

    23.

    The formula that expresses the Cartesian coordinates x1, x2, x3 throughs1, s2, s3 are

    x21=s1(a + s2)(a + s3)

    (a

    b)(a

    c)

    x22=s1(b + s2)(b + s3)

    (b a)(b c)x23=

    s1(c + s2)(c + s3)

    (c a)(c b) .

    Given the metric tensor field

    g= dx1 dx1+ dx2 dx2+ dx3 dx3.Express this metric tensor field using sphero-conical coordinates.

    Problem 18. Consider the metric tensor field

    g=dT dT+ dX dX+ dY dY + dZ dZand the invertible coordinates transformation (b > 0)

    T(t,x,y,z) =1

    b(ebz cosh(bt)1), X(t,x,y,z) = x, Y(t,x,y,z) = y, Z(t,x,y,z) = 1

    bebz sinh(bt).

    Express the metric tensor field in the new coordinates. Given the inversetransformation.

    Problem 19. Consider the metric tensor field

    g = dT dT dX dXwhere 0< X

  • 8/12/2019 New Diff Geom

    39/111

    32 Problems and Solutions

    (0< r

  • 8/12/2019 New Diff Geom

    40/111

    Metric Tensor Fields 33

    where a > 0 has the dimension of a length. Show that this metric tensorfield satisfies the vacuum Einstein equationwith a positive cosmologicalconstant

    R

    1

    2Rg

    + g

    = 0

    wherea = 1/

    ().

  • 8/12/2019 New Diff Geom

    41/111

    Chapter 4

    Differential Forms and

    Applications

    We denote bythe exterior product. It is also called the wedge product orGrassmann product. The exterior product is associative. We denote by dthe exterior derivative. The exterior derivative d is linear.

    Problem 1. Let f, g be two smooth functions defined on R2. Find thedifferential two-form df dg.

    Problem 2. Consider the complex numberz = rei. Calculate

    dz dzz

    .

    Problem 3. (i) Consider the differential one form

    = x1dx2 x2dx1on R2. Show that is invariant under the transformation

    x1x2

    =

    cos sin sin cos

    x1x2

    .

    Show that = dx1 dx2 is invariant under this transformation.

    34

  • 8/12/2019 New Diff Geom

    42/111

    Differential Forms and Applications 35

    (ii) Let be the (n 1) differential form on Rn given by

    =n

    j=1(1)j1xjdx1

    dxj dxn

    where indicates omission. Show that is invariant under the orthogonalgroup ofRn. Show that = dx1 dx2 dxn is invariant under theorthogonal group.

    Problem 4. Letf : R2 R2 be a smooth planar mapping with constantJacobian determinant J= 1, written as

    Q= Q(p, q), P =P(p, q).

    For coordinates in R2 the (area) differential two-form is given as

    = dp dq.(i) Find f.(ii) Show that pdq f(pdq) = dFfor some smooth function F : R2 R.

    Problem 5. Consider the differential one-form inR3

    = x1dx2+ x2dx3+ x3dx1.

    Find d. Find the solutions of the equation d= 0.

    Problem 6. Consider the differential one-form inR3

    = dx3 x2dx1 dx2.

    Show that d= 0.Problem 7. Let j,k, { 1, 2, . . . , n}. Consider the differential one-forms

    jk :=dzj dzk

    zj zk .

    Calculatejk k+ k j+ j jk .

    Problem 8. Consider all 2 2 matrices with U U = I2, det U= 1 i.e.,USU(2). ThenUcan be written as

    U= a bb a , a, bC

  • 8/12/2019 New Diff Geom

    43/111

  • 8/12/2019 New Diff Geom

    44/111

    Differential Forms and Applications 37

    Problem 10. Consider the differential one-form

    = i

    4

    n

    j=0(zjdzjzjdzj) .

    Letzj =xj+ iyj . Find . Find d.

    Problem 11. Consider the vector spaceR3 and the smooth vector field

    V =V1(x)

    x1+ V2(x)

    x2+ V3(x)

    x3.

    Given the differential two forms

    1 = x1dx2 dx3, 2 = x2dx3 dx1, 3 = x3dx1 dx2 .Find the conditions on V1, V2, V3 such that the following three conditionsare satisfied

    LV1 Vd1+ d(V1) = 0LV2 Vd2+ d(V2) = 0LV3 Vd3+ d(V3) = 0 .

    Then solve the initial value problem of the autonomous system of first orderdifferential equations corresponding to the vector field V .

    Problem 12. Letz = x + iy (x, y R). Finddz dz and dz dz.

    Problem 13. Consider the vector spaceR3. Find a differential one-form such that d= 0 but d= 0.

    Problem 14. In vector analysis inR3 we have the identity

    ( A B) Bcurl A Acurl B .Express this identity using differential forms, the exterior derivative andthe exterior product.

    Problem 15. Consider the differentialn + 1 form

    = df+dtdfn

    j=1

    (1)j+1Vj(x, t)dx1dxjdxn+(divV)f dtwhere the circumflex indicates omission and = dx

    1 dx

    n. Here

    f : Rn+1 Ris a smooth function ofx, t and Vis a smooth vector field.

  • 8/12/2019 New Diff Geom

    45/111

    38 Problems and Solutions

    (i) Show that the sectioned form

    = df(x, t) + dt df(x, t) n

    j=1(1)j+1Vj(x, t)dx1 dxj dxn+(divV(x, t))f(x, t)dt

    where we distinguish between the independent variables x1, . . . , xn, t andthe dependent variable f leads using the requirement that = 0 to thegeneralized Liouville equation.(ii) Show that the differential form is closed, i.e. d= 0.

    Problem 16. LetM= Rn andp Rn. LetTp(Rn) be the tangent spaceat p. A differential one-form at p is a linear map from Tp(R

    n) into R.This map satisfies the following properties

    (Vp) R, for all Vp Rn

    (aVp+ bWp) = a(Vp) + b(Wp) for all a, bR, Vp, WpTp(Rn)

    A differential one-form is a smooth choice of a linear map defined abovefor each point p in the vector space Rn. Let f : R R be a real-valuedC(Rn) function. One defines the dfof the function f as the differentialone-form such that

    df(V) = V(f)

    for every smooth vector fieldV inRn. Thus at any point p, the differentialdfof a smooth functionfis an operator that assigns to a tangent vector Vpthe directional derivative of the function fin the direction of this vector,i.e.

    df(V)(p) = Vp

    (f) =

    f(p)

    V(p) .

    If we apply the differential of the coordinate functions xj (j = 1, . . . , n) weobtain

    dxj

    xk

    xjdxk = xj

    xk=jk.

    (i) Let f : R2 R bef(x1, x2) = x

    21+ x

    22

    and

    V =x1

    x1+ x2

    x2.

    Finddf(V).(ii) Letf : R2

    R be

    f(x1, x2) = x21+ x

    22

  • 8/12/2019 New Diff Geom

    46/111

    Differential Forms and Applications 39

    and

    V =x1

    x2 x2

    x1.

    Finddf(V).

    Problem 17. Consider the manifoldM = R4 and the differential two-form

    = dq1 dp1+ dq2 dp2 .Let

    = (a2 +p21)dq1 dp2p1p2(dq1 dp1 dq2 dp2) (b2 +p22)dq2 dp1where a and b are constants. Find d. Can d be written in the formd= , where is a differential one-form?

    Problem 18. A necessary and sufficient condition for the Pfaffian system

    of equationsj = 0, j = 1, . . . , r

    to be completely integrable is

    dj0 mod (1, . . . , r), j = 1, . . . , rLet

    P1(x)dx1+ P2(x)dx2+ P3(x)dx3 = 0 (1)be a total differential equation inR3, whereP1,P2,P3are analytic functionson R3. Complete integrabilty of means that in every sufficiently smallneighbourhood there exists a smooth function f such that

    f(x1

    , x2

    , x3

    ) = const

    is a first integral of (1). A necessary and sufficient condition for (1) to becompletely integrable is

    d = 0 .

    Problem 19. Consider the differential one-form in space-time

    = a1(x)dx1+ a2(x)dx2+ a3(x)dx3+ a4(x)dx4

    withx = (x1, x2.x3, x4) (x4 = ct).(i) Find the conditions on the aj s such thatd = 0.(ii) Find the conditions on the aj s such that d= 0 and d= 0.(iii) Find the conditions on the a

    js such that

    d

    = 0 andd

    d= 0.

    (iv) Find the conditions on the aj s such that d d= 0.

  • 8/12/2019 New Diff Geom

    47/111

    40 Problems and Solutions

    (v) Consider the metric tensor field

    g= dx1 dx1+ dx2 dx2+ dx3 dx3 dx4 dx4 .

    Find the condition such that d() = 0, where denotes the Hodge staroperator.

    Problem 20. Letz = x + iy, x, y R. Calculate

    idz dz .

    Problem 21. Consider the manifoldM= R2 and the metric tensor fieldg= dx1 dx1+ dx2 dx2. Let

    = 1(x)dx1+ 2(x)dx2

    be a differential one-form inMwith 1, 2C

    (R2

    ). Show that can bewritten as

    = d + +

    where is aC(R2) function,is a two-form given by = b(x)dx1 dx2(b(x)C(R2)) and= 1(x)dx1 + 2(x)dx2 is a harmonic one-form, i.e.(d+ d)= 0. We define

    := (1) d .

    Problem 22. Given a Lagrange functionL. Show that the Cartan formfor a Lagrange function is given by

    = L(x, v, t)dt +n

    j=1

    Lvj

    (dxj vjdt) . (1)Let

    H=n

    j=1

    vjL

    vj L, pj = L

    vj. (2)

    Find the Cartan form for the Hamilton function.

    Problem 23. Letx1,x2,. . .,xnbe the independent variables. Letu1(x),u2(x), . . . um(x) be the dependent variables. There arem n derivativesuj(x)/xi. We introduce the coordinates

    (xi, uj , uji)(x1, x2, . . . , xn, u1, u2, . . . , ym, u11, u12, . . . , umn) .

  • 8/12/2019 New Diff Geom

    48/111

    Differential Forms and Applications 41

    Consider the n-differential form (called the Cartan form) can be writtenas

    = L ni=1

    mj=1

    Luj,i uj,i +

    ni=1

    mj=1

    L

    uj,iduj xi

    where

    := dx1 dx2 . . . dxn .Let

    H:=

    ni=1

    mj=1

    L

    uj,iuj,i

    L, pji := Luj,i .Show that we find the Cartan form for the Hamilton

    :=

    Hdx1

    dx2 . . . d xn1

    dxn

    +n

    i=1

    mj=1

    pjidxju dx1 . . . d xi1dxi dxi+1 . . . dxn

    where the hat indicates that this term is omitted.

    Problem 24. Consider the differential 2-form

    = 4dz dz(1 + |z|2)2

    and the linear fractional transformations

    z=

    aw+ b

    cw+ d , ad bc= 1 .What is the conditions ona,b,c,dsuch thatis invariant under the trans-formation?

    Problem 25. Consider the two-dimensional sphere

    S21 + S22 + S

    23 =S

    2

    whereS >0 is the radius of the sphere. Consider the symplectic structureon this sphere with the symplectic differential two form

    := 1

    2S2

    3

    jk=1

    jkSjdSk dS

  • 8/12/2019 New Diff Geom

    49/111

    42 Problems and Solutions

    (123 = 1) and the Hamilton vector fields

    VSj :=3

    k=1jkSk

    S.

    The Poisson bracket is defined by

    [Sj , Sk]PB:=VSjSk.(i) Calculate [Sj , Sk]PB.(ii) CalculateVSj.(iii) CalculateVSjVSk.(iv) Calculate the Lie derivative LVSj .

    Problem 26. Consider the system of partial differential equations (con-tinuity and Euler equation of hydrodynamics in one space dimension)

    ut

    + u ux

    + 2c cx

    = Hx

    , ct

    + u cx

    + 12

    c ux

    = 0

    where u and c are the velocities of the fluid and of the disturbance withrespect to the fluid, respectively. Hthe depth is a given function ofx. Showthat the partial differential equations can be written in the forms d = 0andd = 0, where and are differntial one-forms. Owing tod = 0 andd = 0 one can find locally (Poincare lemma) zero-forms (functions) (alsocalled potentials) such that

    = d, = d .

    Problem 27. Leta >0. Toroidal coordinatesare given by

    x1(,,) = a sinh cos

    cosh cos , x2(,,) = a sinh sin

    cosh cos , x3(,,) = a sin

    cosh cos where

    0<

  • 8/12/2019 New Diff Geom

    50/111

  • 8/12/2019 New Diff Geom

    51/111

    44 Problems and Solutions

    (iii) Letbe the Hodge star operator in R3 with metric tensor fieldg= dx1 dx1+ dx2 dx2+ dx3 dx3 .

    Find(V12),(V23),(V31).(iv) Find

    d((V12)), d((V23)), d((V31)) .

    Problem 33. (i) LetV, Wbe smooth vector fields in Rn (n2) and , be differential one-forms. Calculate

    L[V,W]( ) .(ii) Assume thatLV= 0 and LW= 0. Simplify the result from (i).(iii) Assume that LV = f and LW = g, where f, g are smoothfunctions. Simplify the result from (i).(iv) Let LV= andLW= . Simplify the result from (i).

    Problem 34. A symplectic structure on a 2n-dimensional manifold Mis a closed non-degenerate differential two-form such that d = 0 andn does not vanish. Every symplectic form is locally diffeomorphic to thestandard differential form

    0 = dx1 dx2+ dx3 dx4+ + dx2n1 dx2non R2n. Consider the vector field

    V =x1

    x1+ x2

    x2+ + x2n

    x2n

    in R2n. Find V

    0 andLV0.

    Problem 35. Leta > b >0. Consider the transformation

    x1(, ) = (a + b cos )cos , x2(, ) = (a + b cos )sin .

    Finddx1 dx2 anddx1 dx1+ dx2 dx2.

    Problem 36. Consider the differential one-form

    = (2xy x2)dx + (x + y2)dy(i) Calculate d.(ii) Calculate

  • 8/12/2019 New Diff Geom

    52/111

    Differential Forms and Applications 45

    with the closed pathC1C2starting from (0, 0) moving along via the curveC1 : y = x

    2 to (1, 1) and back to (0, 0) via the curve C2 : y =

    x. Let Dbe the (convex) domain enclosed by the two curves C1 andC2.(iii) Calculate the double integral

    D

    d

    whereD is the domain given in (i), i.e. C1C2 is the boundary ofD. Thusverify the theorem of Gauss-Green.

    Problem 37. Consider the differential one form in the plane

    = x22dx1+ x21dx2

    Calculate the integral

    Cwhere C is the closed curve which the boundary of a triangle with ver-tices (0, 0), (1, 1), (1, 0) and counterclockwise orientation. Apply Greenstheorem

    C

    f(x1, x2)dx1+ g(x1, x2)dx2 =

    D

    g

    x1 f

    x2

    dx1dx2 .

    Problem 38. (i) The lemniscate of Gerono is described by the equation

    x4 =x2 y2 .

    Show that a parametrization is given by

    x(t) = sin(t), y(t) = sin(t)cos(t)

    witht[0, ].(ii) Consider the differential one-form

    = xdy

    in the plane R2. Let x(t) = sin(t), y(t) = sin(t) cos(t). Find(t).(iii) Calculate

    0

    x(t)dy(t) .

    Disucss.

  • 8/12/2019 New Diff Geom

    53/111

  • 8/12/2019 New Diff Geom

    54/111

    Differential Forms and Applications 47

    (iv) Consider the metric tensor field

    g= dx1 dx1+ dx2 dx2+ dx3 dx3+ dx4 dx4 .

    Using the parametrization show that

    gS3 =1

    4(d d+ d d+ d d + cos()d d + cos()d d) .

    (v) Consider the differential one forms e1, e2, e3 defined by e1e2e3

    =x4 x3 x2 x1x3 x4 x1 x2

    x2 x1 x4 x3

    dx1dx2dx3dx4

    .Show that

    gS3 =de1 de1+ de2 de2+ de3 de3 .(vi) Show that

    dej =3

    k,=1

    jkek e

    i.e. de1 = 2e2 e3, de2 = 2e3 e1, de3 = 2e1 e2.

    Problem 41. LetV , Wbe two smooth vector fields defined on R3. Wewrite

    V = V1(x)

    x1+ V2(x)

    x2+ V3(x)

    x3

    W= W1(x)

    x1

    + W2(x)

    x2

    + W3(x)

    x3Let

    = dx1wegdedx2 dx3be the volume form in R3. ThenLV = ((V)), where LV(.) denotesthe Lie derivative and denotes the diveregence of the vector field. Findthe divergence of the vector field given by the commutator [ V, W]. Apply itto the vector fields asscociated with the autonomous systems of first orderdifferential equations

    dx1dt

    =x2 x1, dx2dt

    =x1x1x1x1x1, dx3

    dt =x1x2 bx3

    and

    dx1dt

    =x1x1, dx2dt

    =x1x1x1x1, dx3dt

    =x1x1x1x1 .

  • 8/12/2019 New Diff Geom

    55/111

    48 Problems and Solutions

    The first system is theLorenz modeland the second system is Chens model.

    Problem 42. Let A be a differential one-form in space-time with themetric tensor field

    g= dx1 dx1+ dx2 dx2+ dx3 dx3 dx4 dx4withx4 = ct. LetF =dA. FindFF, where is the Hodge star operator.

    Problem 43. Let f : R2 R2 be a two-dimensional analytic map.(i) Find the condition on f such that dx1 dx2 is invariant, i.e. f shouldbe area preserving.(ii) Find the condition on f such that x1dx1+ x2dx2 is invariant.(iii) Find the condition on f such that x1dx1 x2dx2 is invariant.(iv) Find the condition on f such that x1dx2+ x2dx1 is invariant.(v) Find the condition on f such that x1dx2 x2dx1 is invariant.

    Problem 44. Consider the smooth one-form in R3

    = f1(x)dx1+f2(x)dx2+f3(x)dx3, = g1(x)dx1+g2(x)dx2+g3(x)dx3 .

    Find the differential equation from the condition

    d( ) = 0and provide solution of it.

    Problem 45. Letc >0. Consider the elliptical coordinates

    x1(, ) = c cosh() cos(), x2(, ) = c sinh() sin().

    Find the differential two-form = d1

    dx2 in this coordinate system.

    Problem 46. Let,, be the Euler angles and consider the differentialone-forms

    1= cos d+ sin sin d

    2= sin d+ cos sin d3= d+ cos d.

    Find1 sigma2+ 2 3+ 3 1, 1 2 3.

    Problem 47. Let B be a vector field in R3. Calculate

    ( B) B.

  • 8/12/2019 New Diff Geom

    56/111

    Differential Forms and Applications 49

    Formulate the problem with differential forms.

  • 8/12/2019 New Diff Geom

    57/111

    Chapter 5

    Lie Derivative and

    Applications

    Problem 1. LetVbe a smooth vector field defined on Rn

    V =n

    i=1

    Vi(x)

    xi.

    LetTbe a (1, 1) smooth tensor field defined on Rn

    T=n

    i=1n

    j=1 aij(x)

    xi dxj.

    LetLVTbe the Lie derivative ofTwith respect to the vector field V. Showthat ifLVT= 0 then

    LVtr(a(x)) = 0

    wherea(x) is the n n matrix (aij(x)) and tr denotes the trace.

    Problem 2. LetV, Wbe vector fields. Let f, g be C functions andbe a differential form. Assume that

    LV= f , LW= g.

    Show thatL[V,W]= (LVf LWg). (1)

    50

  • 8/12/2019 New Diff Geom

    58/111

    Lie Derivative and Applications 51

    Problem 3. Letf andVbe smooth function and smooth vector field inRn. Find

    Vdf.

    Problem 4. LetVj(j = 1, . . . , n) be smooth vector fields anda smoothdifferential one-form. Assume that

    LVj= dj , j = 1, 2, . . . , n

    wherej are smooth functions.(i) Find

    L[Vj,Vk].

    (ii) Assume that the vector fields Vj (j = 1, . . . , n) form basis of a Liealgebra, i.e.

    [Vj , Vk] =

    n

    =1cjkV

    wherecjk are the structure constants. Find the conditions on the functionsj .

    Problem 5. Find the first integrals of the autonomous system of ordinaryfirst order differential equations

    dx1dt

    = x1x2+ x1x3

    dx2dt

    = x2x3 x1x2dx3dt

    = x1x3 x2x3.

    Problem 6. (i) Consider the smoth vector fields

    X=X1(x1, x2)

    x1+ X2(x1, x2)

    x2

    and the two differential form

    = dx1 dx2.Find the equation

    d(X) = 0wheredenotes the contraction (inner product). One also writes

    d((X)) = 0.

  • 8/12/2019 New Diff Geom

    59/111

    52 Problems and Solutions

    Calculate the Lie derivative LX.(ii) Consider the smoth vector fields

    X=

    4

    j=1

    Xj(x)

    xj

    and the differential two form

    = dx1 dx2+ dx3 dx4.Find the equation

    d(X) = 0where denotes the contraction (inner product). One also writes d((X)) =0. CalculateLX.

    Problem 7. Let be a smooth differential one-form andVbe a smooth

    vector field. Assume that LV= f

    wherefis a smooth function. Define the function F as

    F :=Vwheredenotes the contraction. Show that

    dF =f Vd.

    Problem 8. Let V, Wbe two smooth vector fields defined on R3. Wewrite

    V = V1(x) x1

    + V2(x) x2

    + V3(x) x3

    W= W1(x)

    x1+ W2(x)

    x2+ W3(x)

    x3.

    Let= dx1 dx2 dx3

    be the volume form in R3. ThenLV = (div(V)), where LV(.) denotesthe Lie derivative and divVdenotes the diveregence of the vector field V .Find the divergence of the vector field given by the commutator [ V, W].Apply it to the vector fields asscociated with the autonomous systems offirst order differential equations

    dx1dt

    =(x2 x1), dx2dt

    =x1 x2 x1x3, dx3dt

    =x3+ x1x2

  • 8/12/2019 New Diff Geom

    60/111

  • 8/12/2019 New Diff Geom

    61/111

    54 Problems and Solutions

    whereLV(.) denotes the Lie derivative. Find

    LV(dx dy) .

    Problem 13. LetV, Wbe two smooth vector fields

    V =n

    j=1

    Vj(x)

    xj, W =

    nj=1

    Wj(x)

    xj

    defined on Rn. Assume that

    [V, W] = f(x)W .

    Let =dx1 dxn

    be the volume form and := W. Find the Lie derivativeLV .

    Discuss.

    Problem 14. LetM= R2 and letx, y denote the Euclidean coordinateson R2. Consider the differential one-form

    =1

    2(xdy ydx) .

    Consider the vector field defined on R2 \ {0}

    V = 1x2 + y2 x x y y .Find

    Vdand the Lie derivative LV.

    Problem 15. Consider the two smooth vector fields in R2

    V =V1(x)

    x1+ V2(x)

    x2, W=W1(x)

    x1+ W2(x)

    x2.

    Assume that [W, V] = 0. Find the Lie derivatives

    LV(V1W2 V2W1), LW(V1W2 V2W1) .

  • 8/12/2019 New Diff Geom

    62/111

    Lie Derivative and Applications 55

    Discuss.

    Problem 16. Consider the smooth manifold M = R3 with coordintes(x,p,z) and the differential one form

    = dz pdx .(i) Show that d= 0. Consider the vector fields

    V =

    p, W =

    x+ p

    z.

    FindV, W .

    (ii) Consider the smooth manifold M= R5 with coordinates (x1, x2, p1, p2, z)and the differential one-form

    = dz 2

    j=1

    pjdzj.

    Show that d = 0. Consider the vector fields

    V1 =

    p1, V2 =

    p2, W1 =

    x1+p1

    z, W2 =

    x2+p2

    z.

    FindV1, V2, W1, W2 .

    Problem 17. LetVbe a smooth vector field in R3. Find the conditiononV such that

    LV(x1dx2+ x2dx3+ x3dx1) = 0 .

    Problem 18. LetM= R2. Consider

    V =x1

    x2 x2

    x1, = dx1 dx2 .

    Calculate the Lie derivative LV.

    Problem 19. Let du1/dt = V1(u) , . . . , dun/dt = Vn(u) be an au-tonomous system of ordinary differential equations, whereVj(u)C(Rn)for all j = 1, . . . , n. A function C(Rn) is called conformal invariantwith respect to the vector field

    V =V1(u) u1+ + Vn(u) un

  • 8/12/2019 New Diff Geom

    63/111

    56 Problems and Solutions

    if

    LV=

    where

    C(Rn). Letn = 2 and consider the vector fields

    V =u1

    u2 u2

    u1, W =u1

    u1+ u2

    u2.

    Show that(u) = u21 + u22 is conformal invariant underV andW. Find the

    commutator [V, W].

    Problem 20. Consider the mainfoldR2 and the smooth vector field

    V =V1(x1, x2)

    x1+ V2(x1, x2)

    x2.

    FindV1, V2 such that

    LV(dx1 dx1+ dx2 dx2) = 0

    LV

    x1 dx1+

    x2 dx2

    = 0

    LV

    x1

    x1+

    x2

    x2

    = 0 .

    Problem 21. Let Mbe differentiable manifold and : M R be asmooth function. Let be a smooth diferential one form defined on M.Show that ifVis a vector field defined on M such that d = Vd, then

    LV= d(V + ) .

    Problem 22. Consider the manifoldM= Rn and the volume form

    = dx1 dxn .

    Consider the analytic vector field

    V =n

    j=1

    Vj(x)

    xj.

    (i) Find = V

    .(ii) Find LV.

  • 8/12/2019 New Diff Geom

    64/111

    Lie Derivative and Applications 57

    Problem 23. Consider the autonomous system of first order ordinarydifferential equations

    duj

    dt =Vj(u), j = 1, 2, . . . , n

    where theVj s are polynomials. The corresponding vector field is

    V =n

    j=1

    Vj

    xj.

    Letfbe an analytic function. The Lie derivative off is

    LVf=n

    j=1

    Vjf

    xj.

    A Darboux polynomialis a polynomial g such that there is another polyno-mial p satisfying

    LVg= pg .

    The couple is called a Darboux element. If m is the greatest of degVj(j = 1, . . . , n), then degpm 1. All the irreducible factors of a Darbouxpolynomial are Darboux. The search for Darboux polynomials can be re-stricted to irreducibleg. If the autonomous system of first order differentialequations is homogeneous of degreem, i.e. allVj are homgeneous of degreem, thenp is homogeneous of degreem 1 and all homgeneous componentsofg are Darboux. The search can be restricted to homgeneous g .(i) Show that the product of two Darboux polynomials is a Darboux poly-nomial.(ii) Consider the Lotka-Volterra model for three species

    du1dt

    = u1(c3u2+ u3)

    du2dt

    = u2(c1u3+ u1)

    du3dt

    = u3(c2u1+ u2)

    wherec1, c2, c3 are real parameters. Find the determining equation for theDarboux element.

    Problem 24. Consider a smooth vector field inR3

    V =V1(x) x1+ V2(x) x2

    + V3(x) x3

  • 8/12/2019 New Diff Geom

    65/111

    58 Problems and Solutions

    and the differential two-form

    = dx1 dx2+ dx2 dx3+ dx3 dx1 .

    Find V and d(V). Thus find LV. Find solutions of the partialdifferential equations given by LV= 0.

    Problem 25. Consider the unit ball

    x2 + y2 + z2 = 1 .

    and the vector field

    V = (a0+ a1x + a2y+ a3z+ x(e1x + e2y+ e3z))

    x

    +(b0+ b1x + b2y+ b3z+ y(e1x + e2y+ e3z))

    y

    +(c0+ c1x + c2y+ c3z+ z(e1x + e2y+ e3z))

    z .

    Find the coefficients from the conditions

    LV(x2 + y2 + z2) = 0, x2 + y2 + z2 = 1 .

    Problem 26. Some quantities in physics owing to the transformationlaws have to be considered as currents instead of differential forms. LetMbe an orientablen-dimensional differentiable manifold of class C. Wedenote by k(M) the set of all differential forms of degree k with compactsupport. Letk(M) and let be an exterior differential form of degreen k with locally integrable coefficients. Then, as an example of a current,we have

    T()() :=M

    .

    Define the Lie derivative for this current.

    Problem 27. LetH: R2n Rbe a smooth Hamilton function with thecorresponding vector field

    VH=n

    j=1

    H

    pj

    qj H

    qj

    pj

    .

    Let

    W =

    n

    j=1

    fj(p, q) qj + gj(p, q) pj

  • 8/12/2019 New Diff Geom

    66/111

    Lie Derivative and Applications 59

    be another smooth vector field. Assume that

    [VH, W] = W (1)

    where is a smooth function ofp and q. Let

    = dq1 dqn dp1 dpnbe the standard volume differential form. Let

    = W .

    Show that (1) can be written as

    LVH= .

    Problem 28. Consider the vector field V associated with the Lorenzmodel

    du1dt

    = (u2 u1)du2dt

    = u1u3+ ru1 u2du3dt

    = u1u2 bu3 .

    Let= u1du2+ u2du3+ u3du1 .

    Calculate the Lie derivative

    LV

    Discuss.

    Problem 29. Consider the metric tensor field

    g=cdt cdt + dr dr+ r2d d+ r2 sin2 d d

    and the vector field

    V = 1

    1 2r2 sin2 /c2

    t+

    wherecis the speed of light and a fixed frequency. Find the Lie derivativeLVg.

  • 8/12/2019 New Diff Geom

    67/111

    60 Problems and Solutions

    Problem 30. Consider the 2n + 1 dimensional anti-de Sitter spaceAdS2n+1. This is a hypersurface in the vector space R

    2n+2 defined bythe equation R(x) =1, where

    R(x) =(x0)2 (x1)2 + (x2)2 + + (x2n+1)2 .One introduces the even coordinates p and odd coordinates q. Then wecan write

    R(p, q) =p21 q21+ p22+ q22 + +p2n+1+ q2n+1 .We consider R2n+2 as a symplectic manifold with the canonical symplecticdifferential form

    =n+1k=1

    dpk dqk.

    Let

    =

    1

    2

    n+1

    k=1

    (pkdqk qkdpk) .Consider the vector field V in R2n+2 given by

    V =1

    2

    n+1k=1

    pk

    pk+ qk

    qk

    .

    Find the Lie derivative LVR and V.

    Problem 31. Consider the Lotka-Volterra equation

    du1dt

    = (a bu2)u1, du2dt

    = (cu1 d)u2

    where a, b, c, d are constants and u1 > 0 and u2 > 0. The correspondingvector field V is

    V = (a bu2)u1 u1

    + (cu1 d)u2 u2

    .

    Let= f(u1, u2)du1 du2

    wherefis a smooth nonzero function. Find a smooth functionH(Hamiltonfunction) such that

    V =dH .Note that from this condition sinceddH= 0 we obtain

    d(V) = 0 .

  • 8/12/2019 New Diff Geom

    68/111

    Lie Derivative and Applications 61

    Problem 32. Let I, f be analytic functions of u1, u2. Consider theautonomous system of differential equations

    du1/dtdu2/dt = 0 f(u)f(u) 0 I/u1I/u2 .Show that I is a first integral of this autonomous system of differentialequations.

    Problem 33. Consider the smooth vector field

    V =V1(u)

    u1+ V2(u)

    u2

    in R2. Let f1(u1),f2(u2) be smooth functions.(i) Calculate the Lie derivative

    LV f1(u1)du1 u1 + f2(u2)du2 u2 .Find the condition arising from setting the Lie derivative equal to 0.(ii) Calculate the Lie derivative

    LV (f1(u1)du1 du1+ f2(u2)du2 du2).

    Find the conditions arising from setting the Lie derivative equal to 0. Com-pare the conditions to the conditions from (i).

    Problem 34. Let V, W be smooth vector fields defined in Rn. Letf, g : Rn R be smooth functions. Consider now the pairs (V, f), (W, g).One defines a commutator of such pairs as

    [(V, f), (W, g)] := ([V, W], LVg LWf).

    Let

    V =u2

    u1 u1

    u2, W=u1

    u1+ u2

    u1

    andf(u1, u2) = g(u1, u2) = u21+ u22. Calculate the commutator.

    Problem 35. Consider the two differential form in R3

    = x3dx1 dx2+ x1dx2 dx3+ x2dx3 dx1 .

    Find d. Find the Lie dervivative LV

    . Find the condition on the vectorfieldV such that LV= 0.

  • 8/12/2019 New Diff Geom

    69/111

    62 Problems and Solutions

    Problem 36. LetVbe the vector field for the Lorenz model

    V =(u1+ u2) u1

    + (u1u3+ ru1 u2) u2

    + (u1u2 bu3) u3

    .

    Find the Lie derivative LV(du1 du2), LV(du2 du3), LV(du3 du1).Discuss.

    Problem 37. (i) Consider the tensor fields inR2

    T1 =

    2j,k=1

    tjk(x)dxjdxk, T2 =2

    j,k=1

    tjk(x)dxj xk

    , T3 =

    2j,k=1

    tjk(x)

    xj

    xk.

    Find the condition on the vector field

    V =

    2=1

    V(x)

    x

    such thatLVT1 = 0, LVT2 = 0, LVT3 = 0 .

    (ii) Simplify for the case tjk(x) = 1 for allj, k= 1, 2.

    Problem 38. Letn2. Consider the smooth vector field in Rn

    V =

    nj=1

    Vj(x)

    xj.

    Find the Lie derivative of the tensor fields

    xj

    xk, dxj

    xk, dxj dxk

    with j, k = 1, . . . , n. Set the Lie derivative to 0 and study the partialdifferential equations ofVj.

    Problem 39. V, Wbe smooth vector fields in R3. Let

    LV(dx1dx2dx3) = (div(V))dx1dx2dx3, LW(dx1dx2dx3) = (div(W))dx1dx2dx3 .Calculate

    L[V,W]dx1 dx2 dx3 .

    Problem 40. LetVbe a smooth vector field in R2. Assume that

    LV(dx1 dx1+ dx2 dx2) = 0, LV x1 x1 + x2 x2 = 0 .

  • 8/12/2019 New Diff Geom

    70/111

    Lie Derivative and Applications 63

    Can we conclude that

    LV

    dx1

    x1+ dx2

    x2

    = 0 ?

    Problem 41. The Heisenberg groupH is a non-commutative Lie groupwhich is diffeomorphic to R3 and the group operation is defined by

    (x,y,z) (x, y, z) := (x + x, y+ y, z+ z xy+ xy).(i) Find the idenity element. Find the inverse element.(ii) Consider the metric tensor

    g=dx dx + dy dy+ x2dy dy+ xdy dz+ xdz dy+ dz dzand the vector fields

    V1 = z , V2 = y xz , V3 = x.

    Show that the vector fields form a basis of a Lie algebra. Classify the Liealgebra. Calculate the Lie derivatives

    LV1g, LV2g, LV3g .

    Discuss.

    Problem 42. Consider the 2n + 1 smooth vector fields

    Xj =

    xj yj

    2

    t, Yj =

    yj+

    xj2

    t, T =

    t

    (j = 1, . . . , n) and the differential one form

    = dt +1

    2

    nj=1

    (yjdxj xjdyj) .

    (i) Find the commutators

    [Xj , Yj ], [Xj , T], [Yj , T] .

    (ii) Findexp(Xj)xj , exp(Yj)yj , exp(T)t .

    (iii) Find the Lie derivatives

    LXj, LYj, LT .

  • 8/12/2019 New Diff Geom

    71/111

    64 Problems and Solutions

    Problem 43. Let V, W be vector fields and be a differential form.Find the Lie derivative

    LV(W ) .

  • 8/12/2019 New Diff Geom

    72/111

    Chapter 6

    Killing Vector Fields

    Problem 1. Consider the two-dimensional Euclidean space with themetric tensor field

    g= dx1 dx1+ dx2 dx2 .Find the Killing vector fields, i.e. the analytic vector fields V such that

    LVg= 0

    where LV denotes the Lie derivative. Show that the set of Killing vectorfields form a Lie algebra under the commutator.

    Problem 2. Consider the metric tensor field

    g= 1

    y2(dx dx + dy dy), < x

  • 8/12/2019 New Diff Geom

    73/111

    66 Problems and Solutions

    where

    gj,k=

    zj

    zkln(1 |z|2) .

    Find the Killing vector fields ofg .

    Problem 4. Consider the metric tensor field

    g= d d+ sin2 d d .Show thatg admits the Killing vector fields

    V1= sin

    + cos cot

    V2= cos

    sin cot

    V3 =

    .

    Is the Lie algebra given by the vector fields semisimple?

    Problem 5. Ade Sitter universemay be represented by the hypersurface

    x21+ x22+ x

    23+ x

    24 x20 = R2

    whereR is a real constant. This hypersurface is embedded in a five dimen-sional flat space whose metric tensor field is

    g = dx0 dx0 dx1 dx1 dx2 dx2 dx3 dx3 dx4 dx4 .Find the Killing vector fields V ofg , i.e. the solutions ofLVg= 0.

    Problem 6. For the Poincare upper half plane

    H={z= x1+ ix2 : y >0 }the metric tensor field is given by

    g= 1

    y(dx1 dx1+ dx2 dx2) .

    Find the Killing vector fields for g , i.e.

    V =V1(x1, x2)

    x1+ V2(x1, x2)

    x2

    whereLVg= 0.

  • 8/12/2019 New Diff Geom

    74/111

    Killing Vector Fields 67

    Problem 7. Consider the metric tensor field

    g= dt dt eP1(t)dx dx eP2(t)dy dy eP3(t)dz dz

    where Pj (j = 1, 2, 3) are smooth functions of t. Find the Killing vectorfields.

  • 8/12/2019 New Diff Geom

    75/111

  • 8/12/2019 New Diff Geom

    76/111

    Lie-Algebra Valued Differential Forms 69

    for all xG, f(x) denoting the left translation gxg on G. LetX1, . . . ,Xn be a basis ofL and 1, . . . n the one-forms on G determined by

    i( Xj) = ij (2)whereXi are the corresponding left invariant vector fields on G andij isthe Kronecker delta. Show that

    di=12

    nj,k=1

    cijkj k, i= 1, 2, . . . , n (3)

    where the structural constantscijk are given by

    [Xj, Xk] =n

    i=1

    cijkXi. (4)

    System (3) is known as the Maurer-Cartan equations.

    Problem 4. LetG be a Lie group whose Lie algebra is L. L is identifiedwith the left invariant vector fields on G. Now suppose thatX1, . . ., Xn isa basis ofL and that1, . . . n is a dual basis of left invariant one-forms.There is a natural Lie algebra valued one-formon Gwhich can be writtenas := n

    i=1

    i Xi (1)

    where(Xi, j) = ij . (2)

    Show that

    d+12 [, ] = 0 (3)where

    [, ] := ni=1

    nj=1

    (i j) [Xi, Xj ]. (4)

    Obviously, (3) are the Maurer-Cartan equations.

    Problem 5. Consider the Lie algebra

    G:=

    e 0 1

    :R , R

    . (1)

    Let

    X := e 0 1 (2)

  • 8/12/2019 New Diff Geom

    77/111

    70 Problems and Solutions

    and := X1dX. (3)

    Show that

    d + = 0. (4)

    Problem 6. Let

    X=

    x11 x12x21 x22

    (1)

    wherex11x22 x12x21 = 1

    so that X is a general element of the Lie group SL(2,R). Then X1dX,considered as a matrix of one-forms, takes its value in the Lie algebrasl(2,R), the Lie algebra ofS L(2,R). If

    X1

    dX= 1 23 1 (2)then{ j }are the left-invariant forms ofS L(2,R).(i) Show that there is a (local) SL(2,R)-valued functionA on R2 such that

    A1dA=

    1 2

    3 1

    = . (3)

    Write for this sl(2,R)-valued one-form on R2.(ii) Show that then dG = G and that each row (r, s) of the matrix Gsatisfies

    dr= r1+ s3, ds= r2 s1. (4)Note thatMaurer-Cartan equationsfor the forms

    {1

    , 2

    , 3}

    may be written

    d + = 0. (5)(iii) Show that any element ofSL(2,R) can be expressed uniquely as theproduct of an upper triangular matrix and a rotation matrix (the Iwasawadecomposition). Define an upper-triangular-matrix-valued functionT anda rotation-matrix-valued functionR on R2 byA = T R1. Thus show that

    T1dT =R1dR+ R1R.

    Problem 7. Let

    SL(2,R) := X= a bc d ad bc= 1 (1)

  • 8/12/2019 New Diff Geom

    78/111

    Lie-Algebra Valued Differential Forms 71

    be the group of all (22)-real unimodular matrices. Its right-invariantMaurer-Cartan form is

    = dX X1 = 11 1221 22 (2)where

    11+ 22 = 0. (3)

    Show that satisfies the structure equationofSL(2,R), (also called theMaurer-Cartan equation)

    d= or, written explicitly,

    d11 = 12 21, d12 = 211 12, d21 = 221 11.

    Problem 8. Let

    SL(2,R) :=

    X=

    a bc d

    ad bc= 1 (1)be the group of all (22)-real unimodular matrices. Its right-invariantMaurer-Cartan form is

    = dX X1 =

    11 1221 22

    (2)

    where11+ 22 = 0. (3)

    Then satisfies (see previous problem) the structure equationofS L(2,R),

    (also called the Maurer-Cartan equation)

    d= or, written explicitly,

    d11 = 12 21, d12 = 211 12, d21 = 221 11. (4)(ii) LetUbe a neighbourhood in the (x, t)-plane and consider the smoothmapping

    f :USL(2,R). (5)The pull-backs of the Maurer-Cartan forms can be written

    11

    = (x, t)dx+A(x, t)dt, 12

    = q(x, t)dx+B(x, t)dt, 21

    = r(x, t)dx+C(x, t)dt(6)

  • 8/12/2019 New Diff Geom

    79/111

    72 Problems and Solutions

    where the coefficients are functions ofx, t. Show that

    t

    + A

    x qC+ rB = 0 (7a)

    qt

    + B

    x 2B+ 2qA = 0 (7b)

    rt

    + C

    x 2rA + 2C= 0. (7c)

    (ii) Consider the special case that r = +1 and is a real parameter inde-pendent ofx, t. Writing

    q= u(x, t), (8)

    show that

    A(x, t) = C(x, t)+1

    2

    C

    x, B(x, t) = u(x, t)C(x, t)(x, t) C

    x 1

    2

    2C

    x2.

    (9)

    Show that substitution into the second equation of (7) gives

    u

    t =

    u

    xC+ 2u

    C

    x = 22

    C

    x 1

    2

    3C

    x3. (10)

    (iii) Let

    C= 2 12

    u (11)

    Show that (10) becomes

    u

    t =

    1

    4

    3u

    x3 3

    2u

    u

    x, (12)

    which is the well-known Korteweg-de Vries equation.

    Problem 9. We consider the case whereM = R2 and L = sl(2,R). Inlocal coordinates (x, t) a Lie algebra-valued one-differential-form is givenby

    = 3i=1

    i Ti (1)

    wherei := ai(x, t)dx + Ai(x, t)dt (2)

    and{T1, T2, T3} is a basis of the semi-simple Lie algebra s(2,R). A con-venient choice is

    T1 = 1 00 1 , T2 = 0 10 0 , T3 = 0 01 0 . (3)

  • 8/12/2019 New Diff Geom

    80/111

  • 8/12/2019 New Diff Geom

    81/111

    74 Problems and Solutions

    and for c = 1

    df1dt

    =4c1f3, df2dt

    = 4c1f3, d2f3

    dt2 =16c21f3 (9e)

    wherec1 =c5.

    Forc =1df1dt

    = 4c1f3, df2

    dt =4c1f3, d

    2f3dt2

    = 16c21f3 (9f)

    wherec1 = c5.

    (iv) Show that the solutions to these differential equations lead to the non-linear wave equations

    2u

    t22u

    x2 =C1cosh u + C2sinh u (10)

    and2u

    t2

    2u

    x2 =C1sin u + C2cos u (11)

    (C1, C2 R) can be written as the covariant exterior derivative of a Liealgebra-valued one-form, where the underlying Lie algebra is sl(2,R).

    Problem 10. Let (M, g) be a Riemann manifold with dim(M) = m. Lets be an orthonormal local frame on Uwith dual coframe and let bethe Levi-Civita covariant derivative. Then we have

    (1) g|U=mi=1

    i i

    (2) s= s., ij =ji , so 1(U,so(m))

    (3) d+ = 0, di +m

    k=1

    ik k = 0

    (4) Rs= s., = d + 2(U,so(m)), ij =dij+m

    k=1

    ik kj

    (5) = 0,m

    k=1ik k = 0, first Bianchi identity

    (6) d + d + [, ]= 0, second Bianchi identity

  • 8/12/2019 New Diff Geom

    82/111

    Lie-Algebra Valued Differential Forms 75

    If (M, g) is a pseudo Riemann manifold,

    ij =g(si, sj) = diag(1, . . . , 1, 1, . . . , 1)

    the standard inner product matrix of the same signature (p, q) (p + q= m),then we have instead

    (1) g=mi=1

    iii i

    (2) jjji =iiij thus = (ji )1(U,so(p, q))

    (3) jjji =iiij thus = (ji )2(U,so(p, q)).

    Consider the manifold S2 R3. Calculate the quantities given above.Consider the parametrization (leaving out one longitude)

    f : (0, 2) (, ) R3, f(, ) = cos() cos()sin() cos()sin()

    .

    Problem 11. Show that the Korteweg-de Vries and nonlinear Schrodingerequations are reductions of the self-dual Yang-Mills equations. We work onR4 with coordinates xa = (x,y,u,t) and metric tensor field

    g= dx dx dy dy+ du dt dt du

    of signature (2,2) and a totally skew orientation tensor abcd = [abcd]. Weconsider a Yang-Mills connection Da := a Aa where the Aa where theAa are, for the moment, elements of the Lie algebra ofSL(2,C). The Aaare defined up to gauge transformations

    AahAah1 (ah)h1

    whereh(xa)SL(2,C). The connection is said to be self-dual when (sum-mation convention)

    1

    2cdab[Dc, Dd] = [Da, Db]. (3)

    Problem 12. With the notation given above the self-dual Yang-Millsequationsare given by

    De= D (1)Find the components of the self-dual Yang Mills equation.

  • 8/12/2019 New Diff Geom

    83/111

    76 Problems and Solutions

    Problem 13. Consider the non-compact Lie group SU(1, 1) and thecompact Lie group U(1). Let z C and|z|< 1. Consider the coset spaceSU(1, 1)/U(1) with the element (R)

    U(z, ) = 11 |z|2

    1 zz 1

    ei 00 ei

    .Consequently the coset space SU(1, 1)/U(1) can be viewed as an open unitdisc in the complex plane. Consider the Cartan differential one-forms forms

    = izdz zdz

    1 |z|2 , + = idz

    1 |z|2 , = idz

    1 |z|2 .

    Show that (Cartan-Mauer equations)

    d= 2i +, d+ = i +, d =i .

    Show that + = 1(1 |z|2)2 dz dz.

  • 8/12/2019 New Diff Geom

    84/111

    Chapter 8

    Lie Symmetries and

    Differential Equations

    Problem 1. Show that the second order ordinary linear differential equa-tion

    d2u

    dt2 = 0

    admits the eight Lie symmetries

    t,

    u, t

    t, t

    u

    u u

    , ut

    , utt

    + u2 u

    , ut u

    + t2 t

    .

    Find the commutators. Classify the Lie algebra.

    Problem 2. Show that the third order ordinary linear differential equa-tion

    d3u

    dt3 = 0

    admits the seven Lie symmetries

    t,

    u, t

    t, t

    u

    t2 u

    , u u

    , ut u

    + 12

    t2 t

    .

    77

  • 8/12/2019 New Diff Geom

    85/111

    78 Problems and Solutions

    Find the commutators.

    Problem 3. Consider the nonlinear partial differential equation

    3ux3

    + uut

    + c ux = 0

    where c is a constant. Show that the partial differential equation admitsthe Lie symmetry vector fields

    V1 =

    t, V2 =

    x,

    V3 = 3t

    t+ (x + 2ct)

    x, V4 = t

    t+ ct

    x+ u

    u.

    Problem 4. Consider the stationary incompressible Prandtl boundarylayer equation

    3u

    3 =

    u

    2u

    u

    2u

    .

    Using the classical Lie method we obtain the similarity reduction

    u(, ) = y(x), x= 1 + f()

    where f is an arbitrary differentiable function of . Find the ordinarydifferential equation for y .

    Problem 5. Show that theChazy equation

    d3ydx3

    = 2y d2y

    dx2 3dy

    dx2

    admits the vector fields

    x, x

    x y

    y, x2

    x (2xy+ 6)

    y

    as symmetry vector fields. Show that the first two symmetry vector fieldscan be used to reduce the Chazy equation to a first order equation.

    Problem 6. Show that the Laplace equation

    2x2 + 2y2 + 2z2u= 0

  • 8/12/2019 New Diff Geom

    86/111

  • 8/12/2019 New Diff Geom

    87/111

    80 Problems and Solutions

    Problem 8. The Harry Dym equationis given by

    u

    t u3

    3u

    x3 = 0.

    Show that it admits the Lie symmetry vector fields

    V1 =

    x, V2 =

    t

    V3 = x

    x+ u

    u, V4 =3t

    t+ u

    u, V5= x

    2

    x+ 2xu

    u.

    Is the Lie algebra spanned by these generators semi-simple?

    Problem 9. Given the partial differential equation

    2u

    xt=f(u)

    wheref : R Ris a smooth function. Find the condition that

    V =a(x,t,u)

    x+ b(x,t,u)

    t+ c(x,t,u)

    u

    is a symmetry vector field of the partial differential equation. Start withthe corresponding vertical vector field

    Vv = (a(x,t,u)ux b(x,t,u)ut+ c(x,t,u)) u

    and calculate first the prolongation. Utilize the differential consequencieswhich follow from the partial differential equations

    uxt f(u) = 0, uxxt dfdu

    ux= 0, uxtt dfdu

    ut = 0.

    Problem 10. Consider then-dimensional smooth manifoldM= Rn withcoordinates (x1, . . . , xn) and an arbitrary smooth first order differentialequaion on M

    F(x1, . . . , xn,u/x1, . . . , u/xn, u) = 0.

    Find the symmetry vector fields (sometimes called the infinitesimal sym-metries) of this first order partial differential equation. Consider the cotan-genet bundle T(M) over the manifold Mwith coordinates

    (x1, . . . , xn, p1, . . . , pn)

  • 8/12/2019 New Diff Geom

    88/111

    Lie Symmetries and Differential Equations 81

    and construct the product manifoldT(M)R. ThenT(M) has a canon-ical differential one-form

    n

    j=1pjdxj

    which provides the contact differential one-form

    = du n

    j=1

    pjdxj

    onT(M)R. The solutions of the partial differential equation are surfacesinT(M) R

    F(x1, . . . , xn, p1, . . . , pn, u) = 0

    which annul the differential one-form . We construct the closed ideal Idefined by

    F(x1, . . . , xn, p1, . . . , pn, u)

    = du n

    j=1

    pjdxj

    dF =n

    j=1

    F

    xjdxj+

    F

    pjdpj

    +

    F

    udu

    d=n

    j=1

    dxj dpj .

    The surfaces in T(M) R which annul Iwill be the solutions of the firstorder partial differential equation. Let

    V(x1, . . . , xn, p1, . . . , pn, u) =

    nj=1

    Vxj

    xj +

    nj=1

    Vpj

    pj + Vu

    u

    be a smooth vector field. Let LV denote the Lie derivative. Then theconditions for Vto be a symmetry vector field are

    LVF= gF

    LV = + dF+

    nj=1

    (Ajdxj+ Bjdpj)

    F.Here , , Aj, Bj are smooth functions ofx1, . . . , xn, p1, . . . , pn and u onT(Rn) R, where g, Aj , Bj must be nonsingular in a neighbourhood ofF= 0. Find V .

  • 8/12/2019 New Diff Geom

    89/111

    Chapter 9

    Integration

    Problem 1. Let (t) = (x(t), y(t)) be a positive oriented simple closedcurve, i.e. x(b) = x(a),y (b) = y(a). Show that

    A= ba

    y(t)x(t)dt=

    ba

    x(t)y(t)dt=1

    2

    ba

    (x(t)y(t) y(t)x(t))dt .

    Problem 2. AnyS U(2) matrixA can be written as (x0, x1, x2, x3 R)

    A=

    x0 ix3 ix1 x2x2

    ix1 x0+ ix3

    , x20+ x21+ x

    22+ x

    23 = 1 (1)

    i.e., det A= 1. UsingEuler angles, , the matrix can also be written as

    A=

    cos(/2)ei(+)/2 sin(/2)ei()/2sin(/2)ei()/2 cos(/2)ei(+)/2

    . (2)

    (i) Show that the invariant measure dg ofS U(2) can be written as

    dg = 1

    2(x20+ x

    21+ x

    22+ x

    23 1)dx0dx1dx2dx3

    where is the Dirac delta function.(ii) Show that dg is normalized, i.e.

    dg = 1 .82

  • 8/12/2019 New Diff Geom

    90/111

    Integration 83

    (iii) Using (1) and (2) find x1(, , ), x2(, , ), x3(, , ). Find theJacobian determinant.(iv) Using the results from (iii) show that the invariant measure can bewritten as

    1162

    sin ddd .

    Problem 3. LetMbe a smooth, compact, and oriented n-manifold. Letf : M Rn+1 \ { 0 } be a smooth map. TheKronecker characteristic isgiven by the following integral

    K(f) := (volSn)1M

    f(x)(n+1) det

    f(x), f

    x1(x), . . . ,

    f

    xn(x)

    dx

    where (x= (x1, x2, . . . , xn)) are local coordinates ofMand dx= dx1dx2 dxn.Express this integral in terms of differential forms.

    Problem 4. Let Cbe the unit circle centered at the orign (0, 0). Calculate

    1

    2

    C

    P dQ QdPP2 + Q2

    whereP(x, y) =y, Q(x, y) = x.

    Problem 5. LetSn Rn+1 be given bySn :={ (x1, . . . , xn+1) : x21+ + x2n+1 = 1 } .

    Show that the invariant normalized n-differential form on Sn is given by

    = 12

    n/2n2 dx1 dxn

    |xn+1|where denotes the gamma function.

    Problem 6. A volume differential form on a manifoldMof dimension nis an n-form such that (p)= 0 at each point pM. ConsiderM= R3(or an open set here) with coordiante system (x1, x,x3) with respect to theusual right-handed orthonormal frame. Then the volume differential formis defined as

    = dx1 dx2 dx3and hence any differential three-form can be written as

    = f(x1, x2, x3)dx1 dx2 dx3

  • 8/12/2019 New Diff Geom

    91/111

    84 Problems and Solutions

    for some functionf. The integral of is (if it exists)

    R3=

    R3f(x1, x2, x3)dx1dx2dx3 .

    (i) Express in terms of spherical coordinates (r,,) withr0, 0 0)

    x1(, , ) = a sinh sin cos

    x2(, , ) = a sinh sin sin

    x3(, , ) = a cosh cos .

    Problem 7. Consider the differential 1-form

    =x2dx1 x1dx2

    x21+ x22

    defined onU= R2 \ {(0, 0)} .

    (i) Calculate d.(ii) Calculate

    using polar coordinates.

  • 8/12/2019 New Diff Geom

    92/111

    Chapter 10

    Lie Groups and Lie

    Algebras

    Problem 1. Let Rij denote the generators of an SO(n) rotation in thexi xj plane of then-dimensional Euclidean space. Give ann-dimensionalmatrix representation of these generators and use it to derive the Lie algebraso(n) of the compact Lie groupS O(n).

    Problem 2. The Lie groupSL(2,C) consists all 2 2 matrices over Cwith determinant equal to 1. The group is not compact. The maximalcompact subgroup ofS L(2,C) isS U(2). Give a 2 2 matrixA which is anelement ofS L(2,C), but not an element ofS U(2).

    Problem 3. Consider the Lie group G = O(2, 1) and its Lie algebrao(2, 1) ={K1, K2, L3}, where K1, K2 are Lorentz boosts and L3 and in-finitesimal rotation. The maximal subalgebras ofo(2, 1) are represented by{K1, K2 + L3}and{L3}, nonmaximal subalgebras by{K1}and{K2 + L3}.The two-dimensional subalgebra corresponds to the projective group of areal line. The one-dimensional subalgebras correspond to the groups O(2),O(1, 1) and the translationsT(1), respectively. Find theo(2, 1) infinitesimalgenerators.

    85

  • 8/12/2019 New Diff Geom

    93/111

    86 Problems and Solutions

    Problem 4. The group generator of the compact Lie group SU(2) canbe written as

    J1 =1

    2 z1

    z2+ z2

    z1 , J2 = i

    2 z2

    z1 z1

    z2 , J3 = 12 z1

    z1 z2

    z2 .(i) Find

    J+ = J1+ iJ2, J= J1 iJ2 .(ii) Letj = 0, 1, 2, . . .and m =j, j+ 1, . . . , 0, . . . , j. We define

    ejm(z1, z2) = 1

    (j+ m)!(j m)! zj+m1 z

    jm2 .

    FindJ+e

    jm(z1, z2), Je

    jm(z1, z2), J3e

    jm(z1, z2)

    (iii) Let

    J2

    =J2

    1 + J2

    2 + J2

    31

    2 (J+J+ JJ+) + J2

    3.

    FindJ2ejm(z1, z2) .

    Problem 5. Show that the operators

    L+ = zz, L= z

    z

    L3 =12

    z

    z+ z

    z+ 1

    , L0 =1

    2

    z

    z z

    z+ 1

    .

    form a basis for the Lie algebra su(1, 1) under the commutator.

    Problem 6. Consider the semi-simple Lie algebras(3,R). The dimen-sion ofs(3,R) is 8. Show that the 8 differential operators

    J13 =y2

    y+ xy

    x ny, J 12 =x2

    x+ xy

    y nx,

    J23 =y

    x, J21 =

    x, J31 =

    y, J32 =x

    y,

    Jd= y

    y+ 2x

    x n, Jd= 2y

    y+ x

    x n

    wherex, y R and n is a real number. Find all the Lie subalgebras.

  • 8/12/2019 New Diff Geom

    94/111

  • 8/12/2019 New Diff Geom

    95/111

    88 Problems and Solutions

    Show thatU2t

    V2x

    + [U2, V2] = 0. (3)

    Problem 3. Consider the nonlinear Schrodinger equation in one spacedimension

    i

    t +

    2

    x2 + 2||2= 0 (1)

    and the Heisenberg ferromagnet equation in one space dimension

    S

    t =S

    2S

    x2, S2 = 1 (2)

    where S = (S1, S2, S3)T. Both equations are integrable by the inverse

    scattering method. Both arise as the consistency condition of a system oflinear differential equations

    t

    =U(x,t,), x

    =V(x,t,) (3)

    where is a complex parameter. The consistency conditions have the form

    U

    t V

    x + [U, V] = 0 (4)

    (i) Show


Recommended