Blaga P. Lectures on the differential geometry of - tiera.ru
Blaga P. Lectures on the differential geometry of - tiera.ru
Blaga P. Lectures on the differential geometry of - tiera.ru
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
202 Chapter 5. Special classes <strong>of</strong> surfaces<br />
surface. Eisenhart claims that Meusnier actually showed that for minimal surfaces <strong>the</strong><br />
mean curvature vanishes. This is not quite correct: Meusnier was not aware <strong>of</strong> <strong>the</strong><br />
t<strong>ru</strong>e meaning <strong>of</strong> <strong>the</strong> <strong>the</strong> relati<strong>on</strong> he found. In fact, <strong>the</strong> noti<strong>on</strong> <strong>of</strong> mean curvature was<br />
introduced <strong>on</strong>ly fifty years later, by Sophie Germain.<br />
An alternative pro<strong>of</strong> <strong>of</strong> <strong>the</strong> fact that <strong>the</strong> minimal surfaces are <strong>the</strong> soluti<strong>on</strong> <strong>of</strong> <strong>the</strong><br />
variati<strong>on</strong>al problem was found by Darboux. A particularly clear expositi<strong>on</strong> <strong>of</strong> this pro<strong>of</strong><br />
can be found in <strong>the</strong> book <strong>of</strong> Hsiung.<br />
For fur<strong>the</strong>r c<strong>on</strong>venience, we shall need <strong>the</strong> following definiti<strong>on</strong>:<br />
Definiti<strong>on</strong> 5.2.2. A local parameterizati<strong>on</strong> (U, r) <strong>of</strong> a surface S is called iso<strong>the</strong>rmic if,<br />
with respect to this parameterizati<strong>on</strong>, <strong>the</strong> coordinate lines are orthog<strong>on</strong>al (i.e. F = 0)<br />
and E = G. This means, actually, that <strong>the</strong> matrix <strong>of</strong> <strong>the</strong> first fundamental form is just <strong>the</strong><br />
unit matrix multiplied by a positive functi<strong>on</strong>.<br />
On any surface which is at least C 2 <strong>the</strong>re exist iso<strong>the</strong>rmic parameterizati<strong>on</strong>s. The<br />
pro<strong>of</strong> <strong>of</strong> this claim is based <strong>on</strong> <strong>the</strong> <strong>the</strong>ory <strong>of</strong> partial <strong>differential</strong> equati<strong>on</strong>s and it is not<br />
interesting for our expositi<strong>on</strong>.<br />
Propositi<strong>on</strong> 5.2.1. A surface is minimal iff its asymptotic directi<strong>on</strong>s are orthog<strong>on</strong>al.<br />
Pro<strong>of</strong>. A surface is minimal iff <strong>the</strong> coefficients <strong>of</strong> <strong>the</strong> first two fundamental forms verify<br />
<strong>the</strong> equati<strong>on</strong><br />
ED ′′ − 2FD ′ + GD = 0.<br />
Let us choose, for <strong>the</strong> surface, an iso<strong>the</strong>rmic parameterizati<strong>on</strong>, with respect to which we<br />
have<br />
E = G = λ 2 (u, v), F = 0.<br />
Then <strong>the</strong> minimality c<strong>on</strong>diti<strong>on</strong> for <strong>the</strong> surface becomes<br />
E(D ′′ + D) = 0<br />
and, as E � 0, <strong>the</strong> surface being regular, we have<br />
D ′ + D ′′ = 0.<br />
On <strong>the</strong> o<strong>the</strong>r hand, <strong>the</strong> equati<strong>on</strong> for <strong>the</strong> slopes <strong>of</strong> <strong>the</strong> asymptotic directi<strong>on</strong>s is<br />
Dt 2 + 2D ′ t + D ′′ = 0<br />
and <strong>on</strong>e can see immediately that <strong>the</strong> asymptotic directi<strong>on</strong>s are orthog<strong>on</strong>al iff <strong>the</strong> roots<br />
<strong>of</strong> this equati<strong>on</strong> verify t1t2 = −1, which is equivalent to D = −D ′′ . �