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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4.16. Principal directi<strong>on</strong>s and curvatures 159<br />

Since n ′ 2 ⊥ n2 (since n2 has c<strong>on</strong>stant length), it follows from here and from <strong>the</strong> previous<br />

equati<strong>on</strong> that n ′ 2 ⊥ r′ or, in o<strong>the</strong>r words, that <strong>the</strong>re is a k2 ∈ R such that<br />

n ′ 2 = −k2r ′ ,<br />

i.e. γ is a line <strong>of</strong> curvature <strong>on</strong> <strong>the</strong> surface S 2, too. �<br />

C<strong>on</strong>sequence. The meridians and <strong>the</strong> parallels <strong>on</strong> a revoluti<strong>on</strong> surface are lines <strong>of</strong> curvature.<br />

Pro<strong>of</strong>. Let γ be <strong>the</strong> rotating curve and S <strong>the</strong> resulted revoluti<strong>on</strong> surface. A meridian<br />

is obtained by intersecting a plane Πm, passing through <strong>the</strong> rotati<strong>on</strong> axis and S . If p ∈<br />

Πm ∩ S , <strong>the</strong>n <strong>the</strong> unit normal <strong>of</strong> <strong>the</strong> surface S , n(p), lies <strong>on</strong> <strong>the</strong> plane Πm, <strong>the</strong>refore <strong>the</strong><br />

normal <strong>of</strong> <strong>the</strong> surface and <strong>the</strong> normal <strong>of</strong> <strong>the</strong> plane Πm make up a c<strong>on</strong>stant angle, equal<br />

to π<br />

2 . As for <strong>the</strong> plane <strong>the</strong> sec<strong>on</strong>d fundamental form vanishes identically, <strong>the</strong> same is<br />

t<strong>ru</strong>e for <strong>the</strong> shape operator, which means that all <strong>the</strong> plane curves are lines <strong>of</strong> curvature.<br />

It follows, that, in particular, <strong>the</strong> meridian is, also, a line <strong>of</strong> curvature in <strong>the</strong> plane Πm,<br />

which implies, using <strong>the</strong> Joachimstahl <strong>the</strong>orem, that it is a line <strong>of</strong> curvature also for <strong>the</strong><br />

surface S .<br />

A parallel is an intersecti<strong>on</strong> curve between <strong>the</strong> surface S and a plane Πp, passing<br />

through a point <strong>of</strong> <strong>the</strong> curve γ, perpendicular to <strong>the</strong> rotati<strong>on</strong> axis. It is obvious, from<br />

symmetry reas<strong>on</strong>s, that al<strong>on</strong>g a parallel we should have ∠( n, Πp) = c<strong>on</strong>st and we apply<br />

again <strong>the</strong> reas<strong>on</strong>ing we used before. �<br />

4.16.1 The determinati<strong>on</strong> <strong>of</strong> <strong>the</strong> lines <strong>of</strong> curvature<br />

As we saw earlier, <strong>the</strong> lines <strong>of</strong> curvature are curves <strong>on</strong> a surfaces whose tangent vectors<br />

are eigenvectors <strong>of</strong> <strong>the</strong> shape operator. Therefore, before showing how <strong>on</strong>e can find <strong>the</strong><br />

lines <strong>of</strong> curvature, we will indicate a way to find <strong>the</strong> eigenvectors <strong>of</strong> <strong>the</strong> shape operator.<br />

Lemma. Let r : U → R 3 be a local parameterizati<strong>on</strong> <strong>of</strong> an oriented surface S . A<br />

tangent vector v = v1r ′<br />

u + v2r ′<br />

v has principal directi<strong>on</strong> iff<br />

�<br />

�<br />

�<br />

�v<br />

�<br />

�<br />

�<br />

�<br />

�<br />

2 2 −v1v2 v2 �<br />

�<br />

�<br />

1 �<br />

E F G<br />

�<br />

�<br />

� = 0. (4.16.4)<br />

�<br />

�<br />

D D ′ D ′′<br />

Pro<strong>of</strong>. Since v has principal directi<strong>on</strong> iff it is an eigenvector <strong>of</strong> <strong>the</strong> shape operator A, i.e.<br />

A(v) = λ · v, it follows that v has principal directi<strong>on</strong> iff A(v) × v = 0. But, from <strong>the</strong>

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

Saved successfully!

Ooh no, something went wrong!