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.

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)

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

Saved successfully!

Ooh no, something went wrong!