19.02.2013 Views

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

SHOW MORE
SHOW LESS

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 ′′ . �

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

Saved successfully!

Ooh no, something went wrong!