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.
§2. Calculus Review 111Proof. We give the proof here just for the case where R is a rectangle. Take R =[a, b] × [c, d],as shown <strong>in</strong> Figure 2.1. Now we merely calculate, us<strong>in</strong>g the Fundamental Theorem of Calculusappropriately:∫∫R( ∂Q∂u − ∂P )dudv =∂v=∫ dc∫ dc∫ b=∫=a∂R(∫ ba)∂Q∂u du dv −∫ ba(∫ d(Q(b, v) − Q(a, v))dv −∫ bP (u, c)du +∫ dccaQ(b, v)dv −P (u, v)du + Q(u, v)dv,)∂P∂v dv du( )P (u, d) − P (u, c) du∫ baP (u, d)du −∫ dcQ(a, v)dvas required.□EXERCISES A.2♯ 1.Suppose f :(a, b) → R n is C 1 <strong>and</strong> nowhere zero. Prove that f/‖f‖ is constant if <strong>and</strong> only iff ′ (t) =λ(t)f(t) for some cont<strong>in</strong>uous scalar function λ. (H<strong>in</strong>t: Set g = f/‖f‖ <strong>and</strong> differentiate.Why must g ′ · g = 0?)2. Suppose α: (a, b) → R 3 is twice-differentiable <strong>and</strong> λ is a nowhere-zero twice differentiablescalar function. Prove that α, α ′ , <strong>and</strong> α ′′ are everywhere l<strong>in</strong>early <strong>in</strong>dependent if <strong>and</strong> only ifλα, (λα) ′ , <strong>and</strong> (λα) ′′ are everywhere l<strong>in</strong>early <strong>in</strong>dependent.3. Let f, g : R → R 3 be C 1 vector functions. Supposef ′ (t) =a(t)f(t)+b(t)g(t)g ′ (t) =c(t)f(t) − a(t)g(t)for some cont<strong>in</strong>uous functions a, b, <strong>and</strong> c. Prove that the parallelogram spanned by f(t) <strong>and</strong>g(t) lies <strong>in</strong> a fixed plane <strong>and</strong> has constant area.♯ *4.Prove that for any cont<strong>in</strong>uous vector-valued function f :[a, b] → R 3 ,wehave∥∫ ba∫ bf(t)dt∥ ≤ ‖f(t)‖dt.a♯ 5.Let R ⊂ R 2 be a region. Prove that∫area(R) =∂R∫udv = − vdu = 1 ∫−vdu + udv.∂R 2 ∂R