100 Chapter 3. <strong>Surfaces</strong>: Further Topicsb. Compute ω 12 <strong>and</strong> dω 12 <strong>and</strong> verify that K = −1.9. Use mov<strong>in</strong>g frames to redoa. Exercise 3.1.9b. Exercise 3.1.1010. a. Use mov<strong>in</strong>g frames to reprove the result of Exercise 2.3.13.b. Suppose there are two families of geodesics <strong>in</strong> M mak<strong>in</strong>g a constant angle θ. Prove ordisprove: M is flat.11. Recall that locally any 1-form φ with dφ =0can be written <strong>in</strong> the form φ = df for somefunction f.a. Prove that if a surface M is flat, then locally we can f<strong>in</strong>d a mov<strong>in</strong>g frame e 1 , e 2 on M sothat ω 12 =0. (H<strong>in</strong>t: Start with an arbitrary mov<strong>in</strong>g frame.)b. Deduce that if M is flat, locally we can f<strong>in</strong>d a parametrization x of M with E = G =1<strong>and</strong> F =0. (That is, locally M is isometric to a plane.)12. (The Bäcklund transform) Suppose M <strong>and</strong> M are two surfaces <strong>in</strong> R 3 <strong>and</strong> f : M → M is asmooth bijective function with the properties that(i) the l<strong>in</strong>e from P to f(P )istangent to M at P <strong>and</strong> tangent to M at f(P );(ii) the distance between P <strong>and</strong> f(P )isaconstant r, <strong>in</strong>dependent of P ;(iii) the angle between n(P ) <strong>and</strong> n(f(P )) is a constant θ, <strong>in</strong>dependent of P .Prove that both M <strong>and</strong> M have constant curvature K = −(s<strong>in</strong> 2 θ)/r 2 . (H<strong>in</strong>ts: Write P = f(P ),<strong>and</strong> let e 1 , e 2 , e 3 (resp. e 1 , e 2 , e 3 )bemov<strong>in</strong>g frames at P (resp. P ) with e 1 = e 1 <strong>in</strong> the directionof −→P P . Lett<strong>in</strong>g x <strong>and</strong> x = f ◦x be local parametrizations, we have x = x + re 1 . Differentiatethis equation <strong>and</strong> deduce that ω 12 = cot θω 13 − 1 r ω 2.)4. Calculus of Variations <strong>and</strong> <strong>Surfaces</strong> of Constant Mean CurvatureEvery student of calculus is familiar with the necessary condition for a differentiable functionf : R n → R to have a local extreme po<strong>in</strong>t (m<strong>in</strong>imum or maximum) at P :Wemust have ∇f(P )=0.Phrased slightly differently, for every vector V, the directional derivativef(P + εV) − f(P )D V f(P )=limε→0 εshould vanish. Moreover, if we are given a constra<strong>in</strong>t set M = {x ∈ R n : g 1 (x) =0,g 2 (x) =0,...,g k (x) =0}, the method of Lagrange multipliers tells us that at a constra<strong>in</strong>ed extreme po<strong>in</strong>tP we must havek∑∇f(P )= λ i ∇g i (P )i=1for some scalars λ 1 ,...,λ k . (There is also a nondegeneracy hypothesis here that ∇g 1 (P ),...,∇g k (P )be l<strong>in</strong>early <strong>in</strong>dependent.)Suppose we are given a regular parametrized surface x: U → R 3 <strong>and</strong> want to f<strong>in</strong>d—without thebenefit of the analysis of Section 4 of Chapter 2—a geodesic from P = x(u 0 ,v 0 )toQ = x(u 1 ,v 1 ).
§4. Calculus of Variations <strong>and</strong> <strong>Surfaces</strong> of Constant Mean Curvature 101Among all paths α: [0, 1] → M with α(0) = P <strong>and</strong> α(1) = Q, wewish to f<strong>in</strong>d the shortest. Thatis, we want to choose the path α(t) =x(u(t),v(t)) so as to m<strong>in</strong>imize the <strong>in</strong>tegral∫ 10‖α ′ (t)‖dt =∫ 10√E(u(t),v(t))(u ′ (t)) 2 +2F (u(t),v(t))u ′ (t)v ′ (t)+G(u(t),v(t))(v ′ (t)) 2 dtsubject to the constra<strong>in</strong>ts that (u(0),v(0)) = (u 0 ,v 0 ) <strong>and</strong> (u(1),v(1)) = (u 1 ,v 1 ), as <strong>in</strong>dicated <strong>in</strong>Figure 4.1. Now we’re do<strong>in</strong>g a m<strong>in</strong>imization problem <strong>in</strong> the space of all (C 1 ) curves (u(t),v(t)) with(u 1 ,v 1 ) PQ(u 0 ,v 0 )Figure 4.1(u(0),v(0)) = (u 0 ,v 0 ) <strong>and</strong> (u(1),v(1)) = (u 1 ,v 1 ). Even though we’re now work<strong>in</strong>g <strong>in</strong> an <strong>in</strong>f<strong>in</strong>itedimensionalsett<strong>in</strong>g, we should not panic. In classical term<strong>in</strong>ology, we have a functional F def<strong>in</strong>edon the space X of C 1 curves u: [0, 1] → R 3 , i.e.,(∗)F (u) =∫ 10f(t, u(t), u ′ (t))dt.For example, <strong>in</strong> the case of the arclength problem, we havef ( t, (u(t),v(t)), (u ′ (t),v ′ (t)) ) =√E(u(t),v(t))(u ′ (t)) 2 +2F (u(t),v(t))u ′ (t)v ′ (t)+G(u(t),v(t))(v ′ (t)) 2 .To say that a particular curve u ∗ is a local extreme po<strong>in</strong>t (with fixed endpo<strong>in</strong>ts) of the functionalF given <strong>in</strong> (∗) istosay that for any variation ξ :[0, 1] → R 2 with ξ(0) = ξ(1) = 0, the directionalderivativeshould vanish. This leads us to theD ξ F (u ∗ )=limε→0F (u ∗ + εξ) − F (u ∗ )ε= d dε∣ F (u ∗ + εξ)ε=0Theorem 4.1 (Euler-Lagrange Equations). If u ∗ is a local extreme po<strong>in</strong>t of the functional Fgiven above <strong>in</strong> (∗), then at u ∗ we have∂f∂u = d ( ) ∂fdt ∂u ′ ,evaluat<strong>in</strong>g these both at (t, u ∗ (t), u ∗′ (t)), for all 0 ≤ t ≤ 1.