12.07.2015 Views

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

§2. The Gauss Map <strong>and</strong> the Second Fundamental Form 5318. Suppose U ⊂ R 3 is open <strong>and</strong> x: U → R 3 is a smooth map (of rank 3) so that x u , x v , <strong>and</strong> x ware always orthogonal. Then the level surfaces u = const, v = const, w = const form a triplyorthogonal system of surfaces.a. Show that the spherical coord<strong>in</strong>ate mapp<strong>in</strong>g x(u, v, w) =(u s<strong>in</strong> v cos w, u s<strong>in</strong> v s<strong>in</strong> w, u cos v)furnishes an example.b. Prove that the curves of <strong>in</strong>tersection of any pair of surfaces from different systems (e.g.,v = const <strong>and</strong> w = const) are l<strong>in</strong>es of curvature <strong>in</strong> each of the respective surfaces. (H<strong>in</strong>t:Differentiate the various equations x u · x v =0,x v · x w =0,x u · x w =0with respect to themiss<strong>in</strong>g variable. What are the shape operators of the various surfaces?)19. In this exercise we analyze the surfaces of revolution that are m<strong>in</strong>imal. It will be convenient towork with a meridian as a graph (y = h(u), z = u), as opposed to our customary parametrizationof surfaces of revolution.a. Use Exercise 1.2.4 <strong>and</strong> Proposition 2.5 to show that the pr<strong>in</strong>cipal curvatures arek 1 =h ′′(1 + h ′2 ) 3/2 <strong>and</strong> k 2 = − 1 h · 1√ .1+h ′2b. Deduce that H =0if <strong>and</strong> only if h(u)h ′′ (u) =1+h ′ (u) 2 .c. Solve the differential equation. (H<strong>in</strong>t: Either substitute z(u) =lnh(u)or<strong>in</strong>troduce w(u) =h ′ (u), f<strong>in</strong>d dw/dh, <strong>and</strong> <strong>in</strong>tegrate by separat<strong>in</strong>g variables.) You should f<strong>in</strong>d that h(u) =1ccosh(cu + b) for some constants b <strong>and</strong> c.20. By choos<strong>in</strong>g coord<strong>in</strong>ates <strong>in</strong> R 3 appropriately, we may arrange that P is the orig<strong>in</strong>, the tangentplane T P M is the xy-plane, <strong>and</strong> the x- <strong>and</strong> y-axes are <strong>in</strong> the pr<strong>in</strong>cipal directions at P .a. Show that <strong>in</strong> these coord<strong>in</strong>ates M is locally the graph z = f(x, y) = 1 2 (k 1x 2 + k 2 y 2 )+...,...where limx,y→0 x 2 + y 2 =0.(Youmay start with Taylor’s Theorem: if f is C2 ,wehavewheref(x, y) =f(0, 0) + f x (0, 0)x + f y (0, 0)y +limx,y→0...x 2 + y 2 = 0.)12(fxx (0, 0)x 2 +2f xy (0, 0)xy + f yy (0, 0)y 2) + ...,b. Show that if P is an elliptic po<strong>in</strong>t, then a neighborhood of P <strong>in</strong> M ∩ T P M is just theorig<strong>in</strong> itself. Show that if P is a hyperbolic po<strong>in</strong>t, such a neighborhood is a curve thatcrosses itself at P <strong>and</strong> whose tangent directions at P are the asymptotic directions. Whathappens <strong>in</strong> the case of a parabolic po<strong>in</strong>t?21. Let P ∈ M be a non-planar po<strong>in</strong>t, <strong>and</strong> if K ≥ 0, choose the unit normal so that l, n ≥ 0.a. We def<strong>in</strong>e the Dup<strong>in</strong> <strong>in</strong>dicatrix to be the conic <strong>in</strong> T P M def<strong>in</strong>ed by the equation II P (V, V) =1. Show that if P is an elliptic po<strong>in</strong>t, the Dup<strong>in</strong> <strong>in</strong>dicatrix is an ellipse; if P is a hyperbolicpo<strong>in</strong>t, the Dup<strong>in</strong> <strong>in</strong>dicatrix is a hyperbola; <strong>and</strong> if P is a parabolic po<strong>in</strong>t, the Dup<strong>in</strong><strong>in</strong>dicatrix is a pair of parallel l<strong>in</strong>es.b. Show that if P is a hyperbolic po<strong>in</strong>t, the asymptotes of the Dup<strong>in</strong> <strong>in</strong>dicatrix are given byII P (V, V) =0, i.e., the set of asymptotic directions.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!