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.

§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.

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

Saved successfully!

Ooh no, something went wrong!