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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

52 Chapter 2. <strong>Surfaces</strong>: Local Theoryc. (More challeng<strong>in</strong>g) Show that, more generally, for any θ <strong>and</strong> m ≥ 3, we haveH = 1 (( 2π ) ( 2π(m − 1) ) )κ n (θ)+κ n θ + + ···+ κn θ + .mmm10. a. Apply Meusnier’s Formula to a latitude circle on a sphere of radius a to calculate thenormal curvature.b. Prove that the curvature of any curve ly<strong>in</strong>g on the sphere of radius a satisfies κ ≥ 1/a.11. Prove or give a counterexample: If M is a surface with Gaussian curvature K>0, then thecurvature of any curve C ⊂ M is everywhere positive. (Remember that, by def<strong>in</strong>ition, κ ≥ 0.)♯ 12.Suppose that for every P ∈ M, the shape operator S P is some scalar multiple of the identity,i.e., S P (V) =k(P )V for all V ∈ T P M. (Here the scalar k(P )maywell depend on the po<strong>in</strong>tP .)a. Differentiate the equationsD xu n = n u = − kx uD xv n = n v = − kx vappropriately to determ<strong>in</strong>e k u <strong>and</strong> k v <strong>and</strong> deduce that k must be constant.b. We showed <strong>in</strong> Proposition 2.2 that M is planar when k =0. Show that when k ≠0,M is(a portion of) a sphere.13. a. Prove that if α is a l<strong>in</strong>e of curvature <strong>in</strong> M, then (n◦α) ′ (t) =−k(t)α ′ (t), where k(t) isthepr<strong>in</strong>cipal curvature at α(t) <strong>in</strong>the direction α ′ (t). (More colloquially, differentiat<strong>in</strong>g alongthe curve α, wejust write n ′ = −kα ′ .)b. Suppose two surfaces M <strong>and</strong> M ∗ <strong>in</strong>tersect along a curve C. Suppose C is a l<strong>in</strong>e of curvature<strong>in</strong> M. Prove that C is a l<strong>in</strong>e of curvature <strong>in</strong> M ∗ if <strong>and</strong> only if the angle between M <strong>and</strong>M ∗ is constant along C. (In the proof of ⇐=, be sure to <strong>in</strong>clude the case that M <strong>and</strong> M ∗<strong>in</strong>tersect tangentially along C.)14. Prove or give a counterexample:a. If a curve is both an asymptotic curve <strong>and</strong> a l<strong>in</strong>e of curvature, then it must be planar.b. If a curve is planar <strong>and</strong> an asymptotic curve, then it must be a l<strong>in</strong>e.15. a. How is the Frenet frame along an asymptotic curve related to the geometry of the surface?b. Suppose K(P ) < 0. If C is an asymptotic curve with κ(P ) ≠0,prove that its torsionsatisfies |τ(P )| = √ −K(P ). (H<strong>in</strong>t: If we choose an orthonormal basis {U, V} for T P (M)with U tangent to C, what is the matrix for S P ? See the Remark on p. 46.)16. Cont<strong>in</strong>u<strong>in</strong>g Exercise 15, show that if K(P ) < 0, then the two asymptotic curves have torsionof opposite signs at P .17. Prove that the only m<strong>in</strong>imal ruled surface with no planar po<strong>in</strong>ts is the helicoid. (H<strong>in</strong>t: Considerthe curves orthogonal to the rul<strong>in</strong>gs. Use Exercises 8b <strong>and</strong> 1.2.19.)

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

Saved successfully!

Ooh no, something went wrong!