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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
112 Appendix. Review of L<strong>in</strong>ear Algebra <strong>and</strong> Calculus3. Differential EquationsTheorem 3.1 (Fundamental Theorem of ODE’s). Suppose U ⊂ R n is open <strong>and</strong> I ⊂ R is anopen <strong>in</strong>terval conta<strong>in</strong><strong>in</strong>g 0. Suppose x 0 ∈ U. Iff : U × I → R n is cont<strong>in</strong>uous, then the differentialequationdxdt = f(x,t), x(0) = x 0has a unique solution x = x(t, x 0 ) def<strong>in</strong>ed for all t <strong>in</strong> some <strong>in</strong>terval I ′ ⊂ I. Moreover, If f is C k ,then x is C k as a function of both t <strong>and</strong> the <strong>in</strong>itial condition x 0 (def<strong>in</strong>ed for t <strong>in</strong> some <strong>in</strong>terval <strong>and</strong>x 0 <strong>in</strong> some open set).Of special <strong>in</strong>terest to us will be l<strong>in</strong>ear differential equations.Theorem 3.2. Suppose A(t) is a cont<strong>in</strong>uous n × n matrix function on an <strong>in</strong>terval I. Then thedifferential equationdxdt = A(t)x(t), x 0 = x 0 ,has a unique solution on the entire orig<strong>in</strong>al <strong>in</strong>terval I.For proofs of these, <strong>and</strong> related, theorems <strong>in</strong> differential equations, we refer the reader to anyst<strong>and</strong>ard differential equations text (e.g., Edwards <strong>and</strong> Penney, Boyce <strong>and</strong> DePrima, or Birkhoff<strong>and</strong> Rota).Theorem 3.3. Given two C k vector fields X <strong>and</strong> Y that are l<strong>in</strong>early <strong>in</strong>dependent on a neighborhoodU of 0 ∈ R 2 , locally we can choose coord<strong>in</strong>ates (u, v) on U ′ ⊂ U so that X is tangent to theu-curves (i.e., the curves v = const) <strong>and</strong> Y is tangent to the v-curves (i.e., the curves u = const).Proof. We make a l<strong>in</strong>ear change of coord<strong>in</strong>ates so that X(0) <strong>and</strong> Y(0) are the unit st<strong>and</strong>ardbasis vectors. Let x(t, x 0 )bethe solution of the differential equation dx/dt = X, x(0) = x 0 , givenby Theorem 3.1. On a neighborhood of 0, each po<strong>in</strong>t (x, y) can be written as(x, y) =x(t, (0,v))for some unique t <strong>and</strong> v, asillustrated <strong>in</strong> Figure 3.1. If we def<strong>in</strong>e the function f(t, v) =x(t, (0,v)) =coord<strong>in</strong>ates (u,v)(0,v)Y(0)y(s,(u,0))x(t,(0,v))X(0)(u,0)Figure 3.1(x(t, v),y(t, v)), we note that f t = X(f(t, v)) <strong>and</strong> f v (0, 0) =(0, 1), so the derivative matrix Df(0, 0)