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.

14 Chapter 1. <strong>Curves</strong>curvature κ. Insummary, so far we haveκ(t) =13(1 + t 2 ) 2 <strong>and</strong> N(t) =(−2t1+t 2 , 1 − )t21+t 2 , 0 .Next we f<strong>in</strong>d the b<strong>in</strong>ormal B by calculat<strong>in</strong>g the cross productB(t) =T(t) × N(t) = √ 1 (− 1 − t22 1+t 2 , − 2t )1+t 2 , 1 .And now, at long last, we calculate the torsion by differentiat<strong>in</strong>g B:so τ(t) =κ(t) =−τN = dB dBds = dtds13(1 + t 2 ) 2 . ▽dt= 1 dBυ(t) dt()1 4t√2 (1 + t 2 ) 2 , 2(t2 − 1)(1 + t 2 ) 2 , 01=3 √ 2(1 + t 2 )(1= −3(1 + t 2 )} {{ 2 −2t1+t}2 , 1 − )t21+t 2 , 0 ,} {{ }τNNow we see that curvature enters naturally when we compute the acceleration of a mov<strong>in</strong>gparticle. Differentiat<strong>in</strong>g the formula (∗) onp.12, we obta<strong>in</strong>α ′′ (t) =υ ′ (t)T(s(t)) + υ(t)T ′ (s(t))s ′ (t)= υ ′ (t)T(s(t)) + υ(t) 2( κ(s(t))N(s(t)) ) .Suppress<strong>in</strong>g the variables for a moment, we can rewrite this equation as(∗∗)α ′′ = υ ′ T + κυ 2 N.The tangential component of acceleration is the derivative of speed; the normal component (the“centripetal acceleration” <strong>in</strong> the case of circular motion) is the product of the curvature of the path<strong>and</strong> the square of the speed. Thus, from the physics of the motion we can recover the curvature ofthe path:Proposition 2.2. Forany regular parametrized curve α, wehave κ = ‖α′ × α ′′ ‖‖α ′ ‖ 3 .Proof. S<strong>in</strong>ce α ′ × α ′′ =(υT) × (υ ′ T + κυ 2 N)=κυ 3 T × N <strong>and</strong> κυ 3 > 0, we obta<strong>in</strong> κυ 3 =‖α ′ × α ′′ ‖, <strong>and</strong> so κ = ‖α ′ × α ′′ ‖/υ 3 ,asdesired. □We next proceed to study various theoretical consequences of the Frenet formulas.Proposition 2.3. A space curve is a l<strong>in</strong>e if <strong>and</strong> only if its curvature is everywhere 0.Proof. The general l<strong>in</strong>e is given by α(s) =sv + c for some unit vector v <strong>and</strong> constant vectorc. Then α ′ (s) =T(s) =v is constant, so κ =0. Conversely, if κ =0,then T(s) =T 0 is a constant∫ svector, <strong>and</strong>, <strong>in</strong>tegrat<strong>in</strong>g, we obta<strong>in</strong> α(s) = T(u)du = sT 0 + c for some constant vector c. This0is, once aga<strong>in</strong>, the parametric equation of a l<strong>in</strong>e. □

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

Saved successfully!

Ooh no, something went wrong!