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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

110 Appendix. Review of L<strong>in</strong>ear Algebra <strong>and</strong> CalculusIn particular, if α(0) = P <strong>and</strong> α ′ (0) = V ∈ R n , then (f ◦α) ′ (0) = ∇f(P ) · V. This is somewhatsurpris<strong>in</strong>g, as the rate of change of f along α at P depends only on the tangent vector <strong>and</strong> onnoth<strong>in</strong>g more subtle about the curve.Proposition 2.3. D V f(P )=∇f(P ) · V. Thus, the directional derivative is a l<strong>in</strong>ear functionof V.Proof. If we take α(t) =P + tV, then by def<strong>in</strong>ition of the directional derivative, D V f(P )=(f ◦α) ′ (0) = ∇f(P ) · V. □Another important consequence of the cha<strong>in</strong> rule, essential throughout differential geometry, is thefollow<strong>in</strong>gProposition 2.4. Suppose S ⊂ R n is a subset with the property that any pair of po<strong>in</strong>ts of Scan be jo<strong>in</strong>ed by a C 1 curve. Then a C 1 function f : S → R with ∇f = 0 everywhere is a constantfunction.Proof. Fix P ∈ S <strong>and</strong> let Q ∈ S be arbitrary. Choose a C 1 curve α with α(0) = P <strong>and</strong>α(1) = Q. Then (f ◦α) ′ (t) =∇f(α(t)) · α ′ (t) =0for all t. Itisaconsequence of the Mean ValueTheorem <strong>in</strong> <strong>in</strong>troductory calculus that a function g :[0, 1] → R that is cont<strong>in</strong>uous on [0, 1] <strong>and</strong>has zero derivative throughout the <strong>in</strong>terval must be a constant. Therefore, f(Q) =(f ◦α)(1) =(f ◦α)(0) = f(P ). It follows that f must be constant on S. □We will also have plenty of occasion to use the vector version of the product rule:Proposition 2.5. Suppose f, g : R → R 3 are differentiable. Then we have(f · g) ′ (t) =f ′ (t) · g(t)+f(t) · g ′ (t) <strong>and</strong>(f × g) ′ (t) =f ′ (t) × g(t)+f(t) × g ′ (t).Last, from vector <strong>in</strong>tegral calculus, we recall the analogue of the Fundamental Theorem ofCalculus <strong>in</strong> R 2 :Theorem 2.6 (Green’s Theorem). Let R ⊂ R 2 be a region, <strong>and</strong> let ∂R denote its boundarycurve, oriented counterclockwise (i.e., so that the region is to its “left”). Then∫∫∫ ( ∂QP (u, v)du + Q(u, v)dv =∂u − ∂P )dudv.∂v∂RRdcR∂RabFigure 2.1

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

Saved successfully!

Ooh no, something went wrong!