50 Chapter 2. <strong>Surfaces</strong>: Local TheorynN1tanh uθFigure 2.7Meusnier’s Formula, Proposition 2.5, we have k 2 = κ n = κ cos φ = (cosh u)(− tanh u) =− s<strong>in</strong>h u.Amaz<strong>in</strong>gly, then, we have K = k 1 k 2 =(1/ s<strong>in</strong>h u)(− s<strong>in</strong>h u) =−1. ▽Example 7. Let’s now consider the case of a general surface of revolution, parametrized as <strong>in</strong>Example 2 of Section 1, byx(u, v) = ( f(u) cos v, f(u) s<strong>in</strong> v, g(u) ) ,where f ′ (u) 2 +g ′ (u) 2 =1. Recall that the u-curves are called meridians <strong>and</strong> the v-curves are calledparallels. Then<strong>and</strong> so we havex u = ( f ′ (u) cos v, f ′ (u) s<strong>in</strong> v, g ′ (u) )x v = ( −f(u) s<strong>in</strong> v, f(u) cos v, 0 )n = ( −g ′ (u) cos v, −g ′ (u) s<strong>in</strong> v, f ′ (u) )x uu = ( f ′′ (u) cos v, f ′′ (u) s<strong>in</strong> v, g ′′ (u) )x uv = ( −f ′ (u) s<strong>in</strong> v, f ′ (u) cos v, 0 )x vv = ( −f(u) cos v, −f(u) s<strong>in</strong> v, 0 ) ,E =1, F =0, G = f(u) 2 <strong>and</strong> l = f ′ (u)g ′′ (u) − f ′′ (u)g ′ (u), m =0, n = f(u)g ′ (u).By Exercise 2.2.1, then k 1 = f ′ (u)g ′′ (u) − f ′′ (u)g ′ (u) <strong>and</strong> k 2 = g ′ (u)/f(u). Thus,K = k 1 k 2 = ( f ′ (u)g ′′ (u) − f ′′ (u)g ′ (u) ) g ′ (u)f(u) = −f′′ (u)f(u) ,s<strong>in</strong>ce from f ′ (u) 2 + g ′ (u) 2 =1we deduce that f ′ (u)f ′′ (u)+g ′ (u)g ′′ (u) =0,<strong>and</strong> sof ′ (u)g ′ (u)g ′′ (u) − f ′′ (u)g ′ (u) 2 = −(f ′ (u) 2 + g ′ (u) 2 )f ′′ (u) =−f ′′ (u).Note, as we observed <strong>in</strong> the special case of Example 6, that on every surface of revolution, themeridians <strong>and</strong> the parallels are l<strong>in</strong>es of curvature. ▽
§2. The Gauss Map <strong>and</strong> the Second Fundamental Form 51EXERCISES 2.2*1. Check that the parameter curves are l<strong>in</strong>es of curvature if <strong>and</strong> only if F = m =0. Show,moreover, that <strong>in</strong> this event, we have the pr<strong>in</strong>cipal curvatures k 1 = l/E <strong>and</strong> k 2 = n/G.♯ 2. a. Show that the matrix represent<strong>in</strong>g the l<strong>in</strong>ear map S P : T P M → T P M with respect to thebasis {x u , x v } isI −1P II P =[EF] −1 [F lG m]m.n(H<strong>in</strong>t: It suffices to check S P (x u ) · x u , S P (x u ) · x v , <strong>and</strong> so on.)ln − m2b. Deduce that K =EG − F 2 .3. Compute the second fundamental form II P of the follow<strong>in</strong>g parametrized surfaces. Then calculatethe matrix of the shape operator, determ<strong>in</strong>e H <strong>and</strong> K.a. the cyl<strong>in</strong>der: x(u, v) =(a cos u, a s<strong>in</strong> u, v)*b. the torus: x(u, v) =((a + b cos u) cos v, (a + b cos u) s<strong>in</strong> v, b s<strong>in</strong> u) (0