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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
74 Chapter 2. <strong>Surfaces</strong>: Local TheoryNow deduce that <strong>in</strong> the case of a non-arclength parametrization we obta<strong>in</strong>∫ √fv = c′ (u) 2 + g ′ (u) 2f(u) √ du + const.f(u) 2 − c2 20. Use Exercise 19 to show that any geodesic on the paraboloid z = x 2 + y 2 that is not a meridian<strong>in</strong>tersects every meridian. (H<strong>in</strong>t: Show that it cannot approach a meridian asymptotically.)21. Use the Clairaut relation, Proposition 4.4, <strong>and</strong> Exercise 19 to describe the geodesics on thepseudosphere (see Example 6 of Section 2). Show, <strong>in</strong> particular, that the only geodesics thatare unbounded are the meridians.22. Consider the surface z = f(u, v). A curve α whose tangent vector projects to a scalar multipleof ∇f(u, v) ateachpo<strong>in</strong>t P =(u, v, f(u, v)) is a curve of steepest ascent (why?). Suppose sucha curve α is also a geodesic.a. Prove that the projection of α <strong>in</strong>to the uv-plane is a geodesic. (H<strong>in</strong>t: The vector tangentto the surface <strong>and</strong> orthogonal to α ′ is horizontal. Why? Compare the Darboux framesalong α <strong>and</strong> its projection.)b. Deduce that α is also a l<strong>in</strong>e of curvature. (H<strong>in</strong>t: See Exercise 12.)c. Show that if all the curves of steepest ascent are geodesics, then f satisfies the partialdifferential equationf u f v (f vv − f uu )+f uv (f 2 u − f 2 v )=0.(H<strong>in</strong>t: When are the <strong>in</strong>tegral curves of ∇f l<strong>in</strong>es?)d. Show that the level curves of f are parallel (see Exercise 1.2.22). (H<strong>in</strong>t: Show that ‖∇f‖is constant along level curves.)e. Give a characterization of the surfaces with the property that all curves of steepest ascentare geodesics.