DOCSLIB.ORG

A Novice's Guide from Vector Calculus to Manifolds

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Novice's Guide from Vector Calculus to Manifolds Chains, forms, and duality: A novice’s guide from vector calculus to manifolds John Kerl February 3, 2008 1 Contents Contents 2 Preface 11 Goalsforthecourse .................................. .......... 11 Goalsforthepaper................................... .......... 12 Structureofthepaper ................................ ........... 12 When I say map,Imean........................................... 13 Specificityofdimension . ............ 13 Theexemplarmodel ................................... ......... 13 Themes ............................................. ...... 15 Acknowledgements ................................... .......... 16 1 Preliminaries from analytic geometry 17 1.1 Notation........................................ ........ 17 1.2 Trigonometric functions . ............. 17 1.3 The dot product and its applications . ............... 19 1.3.1 The dot product and projected length . ............ 19 1.3.2 Projection and perpendicular operators . .............. 20 1.3.3 Point-normalform .............................. ........ 21 1.4 Coordinates..................................... ......... 22 1.4.1 Coordinates, area, and the determinant . .............. 22 1.4.2 Changeofcoordinates . ......... 24 1.4.3 Somecoordinatesystems . ......... 24 1.4.4 Stereographic projection on S1 ............................... 24 1.4.5 Stereographic projection on Sn ............................... 26 1.5 Typesoffunctions ................................ .......... 29 1.5.1 Paths: R to Rm ........................................ 29 1.5.2 Maps: Rm to Rn ....................................... 30 1.5.3 Scalar functions: Rn to R .................................. 31 1.5.4 Levelsets ..................................... ...... 31 2 1.5.5 Images of paths under maps: pushforwards . ............. 32 1.5.6 Images of maps under functions: pullbacks . .............. 32 1.6 A gallery of curves and surfaces, part 1 . ................ 32 2 Preliminaries from vector calculus 34 2.1 Goalsforvectorcalculus. ............. 34 2.2 Differentiation .................................. .......... 35 2.2.1 Derivatives of functions from R to R ............................ 35 2.2.2 Derivativesofpaths ....... ....... ....... ....... ......... 35 2.2.3 Derivatives of functions from Rn to R ........................... 37 2.2.4 Derivatives of maps from Rm to Rn ............................ 39 2.2.5 Derivatives for images of paths under maps . .............. 41 2.2.6 Derivatives for images of maps under functions . ................ 42 2.2.7 The chain rule and the Jacobian . .......... 43 2.2.8 Divergenceandcurl ............................. ........ 43 2.3 Afirstpassattangentspaces . ............ 45 2.4 Integration ..................................... ......... 46 2.4.1 Integralsofpaths.............................. ......... 46 2.4.2 Integrals of scalar functions . ............. 46 2.4.3 Integralsofmaps............................... ........ 47 2.5 Changeofcoordinates ............................. ........... 48 2.5.1 Change of coordinates for derivatives . ............... 48 2.5.2 Change of coordinates for single-variable integrals .................... 48 2.5.3 Change of coordinates for integrals of scalar functions .................. 50 2.6 Integrationtheorems . ............ 52 2.6.1 Pieces for the integration theorems . ............. 52 2.6.2 The fundamental theorem of calculus . ............. 53 2.6.3 The second fundamental theorem of calculus . .............. 54 2.6.4 Green’stheorem ................................ ....... 54 2.6.5 ClassicalStokes............................... ......... 55 2.6.6 Divergencetheorem ............................. ........ 55 3 2.6.7 Fundamental theorem of calculus for line integrals . .................. 55 2.6.8 Cauchy’stheorem ............................... ....... 56 2.7 Lagrangemultipliers . ............ 57 2.8 ODEsinonevariable................................ ......... 59 2.9 ODEsintwovariables ............................... ......... 60 2.10PDEs ............................................. 62 2.11 Limitations of vector calculus . ................ 63 2.11.1 xxx0 ......................................... 63 2.11.2 xxx1 ......................................... 63 2.11.3 xxx2 ......................................... 63 3 Preliminaries from topology and analysis 64 3.1 Connectedness?.................................. .......... 64 3.2 Compactness?.................................... ......... 64 3.3 Homeomorphisms and diffeomorphisms . .............. 64 3.4 Implicitfunctiontheorem . ............. 64 3.5 Inversefunctiontheorem. ............. 66 4 Preliminaries from algebra 67 4.1 Algebraicaxioms ................................. .......... 67 4.1.1 Groups and semigroups . ........ 67 4.1.2 Normalizer and normal closure of a subgroup . .............. 67 4.1.3 Groupactions.................................. ....... 68 4.1.4 Groupactionexample . ........ 68 4.1.5 Rings ......................................... 69 4.1.6 Fields ........................................ ..... 69 4.1.7 Modulesandvectorspaces . ......... 69 4.1.8 Algebras...................................... ...... 70 4.1.9 Gradedalgebras ................................ ....... 71 4.2 Categories...................................... ......... 72 4.2.1 Definitions .................................... ...... 72 4.2.2 Examplesofcategories. ......... 73 4 4.2.3 Functors...................................... ...... 73 4.2.4 Homfunctors................................... ...... 75 4.3 Freeness........................................ ........ 77 4.3.1 Definitions .................................... ...... 77 4.3.2 Freegroups .................................... ...... 78 4.3.3 Freeabeliangroups. ......... 78 4.3.4 Freeproductofgroups. ......... 79 4.3.5 Freemodules ................................... ...... 79 4.4 Quotients, projections, and sections . .................. 81 4.5 Sequences, complexes, and homological algebra . ................... 84 4.5.1 Sequences..................................... ...... 84 4.5.2 Trapezoiddiagrams ............................. ........ 84 4.5.3 Non-complex, non-exact sequences . ............. 85 4.5.4 Exactsequences ................................. ...... 86 4.5.5 Complexes ..................................... ..... 86 4.5.6 [xxxmergew/theabove]Exactsequences. ............ 87 4.5.7 Techniquesforexactsequences . ............ 88 4.5.8 [xxxmergew/above]Complexes . .......... 88 4.5.9 Zigzaglemma................................... ...... 89 4.6 Linearalgebra................................... .......... 90 4.6.1 Notation...................................... ...... 90 4.6.2 Tobefiled ...................................... 90 4.6.3 Basisanddualspace............................. ........ 90 4.6.4 Geometric interpretation of dual . ............. 91 4.6.5 Dualanddoubledual ............................. ....... 92 4.6.6 Explicit computation of dual basis . ............ 92 4.6.7 Change-of-basis matrices; covariance and contravariance................. 93 4.6.8 Pullbacks ...................................... ..... 94 4.6.9 Pairings ...................................... ...... 95 4.6.10 Symmetric and skew-symmetric matrices . .............. 96 4.7 Tensors ......................................... ....... 98 5 4.7.1 Tensor products of vector spaces . ............ 98 4.7.2 Explicit representation of the tensor product; tensor product as vector space . 99 4.7.3 Decomposability of tensors . ........... 101 4.7.4 Tensor products of dual spaces; tensors as k-linear functions . 102 4.7.5 Explicit representation of multilinear functions . ...................103 4.7.6 Mixedtensors.................................. ....... 104 4.7.7 Examplesoftensors .............................. ....... 105 4.7.8 Pullbacks ...................................... 107 4.7.9 Tensoralgebras................................ ........ 108 4.7.10 Permutations acting on multilinear functions . ..................109 4.7.11 Symmetric and alternating tensor spaces . ................110 4.7.12 Symmetric and alternating tensor algebras . .................112 4.7.13 Some explicit computations with tensors . ................115 4.7.14 Change of basis; more about covariance and contravariance ............... 116 4.7.15 Contractions ................................. ........ 119 4.7.16 Tensor products over free modules . ............. 120 5 Topological manifolds 121 5.1 CWcomplexes ..................................... ....... 121 5.2 Classificationofsurfaces . .............. 121 5.3 Homotopy and the fundamental group . ............. 121 5.4 Homologies ...................................... ........ 121 5.5 Singularhomology ................................ .......... 122 5.6 Cellularhomology ................................ .......... 122 5.7 Homotopy equivalence and homotopy invariance . .................122 5.8 Deformationretracts . ............ 122 5.9 Seifert-vanKampen ............................... .......... 122 5.10 Mayer-Vietoris for homology . .............. 123 5.11Coveringspaces................................. ........... 123 5.12TopoTBD........................................ ....... 124 5.13Cubesandchains................................. .......... 125 6 5.14 The boundary operator ∂ ......................................125 5.15Homology ....................................... ........ 125 6 Smooth manifolds 126 6.1 Manifolds ....................................... ........ 126 6.1.1 Manifolds ..................................... 126 6.1.2 Coordinates and parameterizations . .............
Load more

Recommended publications
  • The Directional Derivative the Derivative of a Real Valued Function (Scalar field) with Respect to a Vector
    Math 253 The Directional Derivative The derivative of a real valued function (scalar field) with respect to a vector. f(x + h) f(x) What is the vector space analog to the usual derivative in one variable? f 0(x) = lim − ? h 0 h ! x -2 0 2 5 Suppose f is a real valued function (a mapping f : Rn R). ! (e.g. f(x; y) = x2 y2). − 0 Unlike the case with plane figures, functions grow in a variety of z ways at each point on a surface (or n{dimensional structure). We'll be interested in examining the way (f) changes as we move -5 from a point X~ to a nearby point in a particular direction. -2 0 y 2 Figure 1: f(x; y) = x2 y2 − The Directional Derivative x -2 0 2 5 We'll be interested in examining the way (f) changes as we move ~ in a particular direction 0 from a point X to a nearby point . z -5 -2 0 y 2 Figure 2: f(x; y) = x2 y2 − y If we give the direction by using a second vector, say ~u, then for →u X→ + h any real number h, the vector X~ + h~u represents a change in X→ position from X~ along a line through X~ parallel to ~u. →u →u h x Figure 3: Change in position along line parallel to ~u The Directional Derivative x -2 0 2 5 We'll be interested in examining the way (f) changes as we move ~ in a particular direction 0 from a point X to a nearby point .
    [Show full text]
  • Laplacians in Geometric Analysis
    LAPLACIANS IN GEOMETRIC ANALYSIS Syafiq Johar syafi[email protected] Contents 1 Trace Laplacian 1 1.1 Connections on Vector Bundles . .1 1.2 Local and Explicit Expressions . .2 1.3 Second Covariant Derivative . .3 1.4 Curvatures on Vector Bundles . .4 1.5 Trace Laplacian . .5 2 Harmonic Functions 6 2.1 Gradient and Divergence Operators . .7 2.2 Laplace-Beltrami Operator . .7 2.3 Harmonic Functions . .8 2.4 Harmonic Maps . .8 3 Hodge Laplacian 9 3.1 Exterior Derivatives . .9 3.2 Hodge Duals . 10 3.3 Hodge Laplacian . 12 4 Hodge Decomposition 13 4.1 De Rham Cohomology . 13 4.2 Hodge Decomposition Theorem . 14 5 Weitzenb¨ock and B¨ochner Formulas 15 5.1 Weitzenb¨ock Formula . 15 5.1.1 0-forms . 15 5.1.2 k-forms . 15 5.2 B¨ochner Formula . 17 1 Trace Laplacian In this section, we are going to present a notion of Laplacian that is regularly used in differential geometry, namely the trace Laplacian (also called the rough Laplacian or connection Laplacian). We recall the definition of connection on vector bundles which allows us to take the directional derivative of vector bundles. 1.1 Connections on Vector Bundles Definition 1.1 (Connection). Let M be a differentiable manifold and E a vector bundle over M. A connection or covariant derivative at a point p 2 M is a map D : Γ(E) ! Γ(T ∗M ⊗ E) 1 with the properties for any V; W 2 TpM; σ; τ 2 Γ(E) and f 2 C (M), we have that DV σ 2 Ep with the following properties: 1.
    [Show full text]
  • 1.2 Topological Tensor Calculus
    PH211 Physical Mathematics Fall 2019 1.2 Topological tensor calculus 1.2.1 Tensor fields Finite displacements in Euclidean space can be represented by arrows and have a natural vector space structure, but finite displacements in more general curved spaces, such as on the surface of a sphere, do not. However, an infinitesimal neighborhood of a point in a smooth curved space1 looks like an infinitesimal neighborhood of Euclidean space, and infinitesimal displacements dx~ retain the vector space structure of displacements in Euclidean space. An infinitesimal neighborhood of a point can be infinitely rescaled to generate a finite vector space, called the tangent space, at the point. A vector lives in the tangent space of a point. Note that vectors do not stretch from one point to vector tangent space at p p space Figure 1.2.1: A vector in the tangent space of a point. another, and vectors at different points live in different tangent spaces and so cannot be added. For example, rescaling the infinitesimal displacement dx~ by dividing it by the in- finitesimal scalar dt gives the velocity dx~ ~v = (1.2.1) dt which is a vector. Similarly, we can picture the covector rφ as the infinitesimal contours of φ in a neighborhood of a point, infinitely rescaled to generate a finite covector in the point's cotangent space. More generally, infinitely rescaling the neighborhood of a point generates the tensor space and its algebra at the point. The tensor space contains the tangent and cotangent spaces as a vector subspaces. A tensor field is something that takes tensor values at every point in a space.
    [Show full text]
  • A Brief Tour of Vector Calculus
    A BRIEF TOUR OF VECTOR CALCULUS A. HAVENS Contents 0 Prelude ii 1 Directional Derivatives, the Gradient and the Del Operator 1 1.1 Conceptual Review: Directional Derivatives and the Gradient........... 1 1.2 The Gradient as a Vector Field............................ 5 1.3 The Gradient Flow and Critical Points ....................... 10 1.4 The Del Operator and the Gradient in Other Coordinates*............ 17 1.5 Problems........................................ 21 2 Vector Fields in Low Dimensions 26 2 3 2.1 General Vector Fields in Domains of R and R . 26 2.2 Flows and Integral Curves .............................. 31 2.3 Conservative Vector Fields and Potentials...................... 32 2.4 Vector Fields from Frames*.............................. 37 2.5 Divergence, Curl, Jacobians, and the Laplacian................... 41 2.6 Parametrized Surfaces and Coordinate Vector Fields*............... 48 2.7 Tangent Vectors, Normal Vectors, and Orientations*................ 52 2.8 Problems........................................ 58 3 Line Integrals 66 3.1 Defining Scalar Line Integrals............................. 66 3.2 Line Integrals in Vector Fields ............................ 75 3.3 Work in a Force Field................................. 78 3.4 The Fundamental Theorem of Line Integrals .................... 79 3.5 Motion in Conservative Force Fields Conserves Energy .............. 81 3.6 Path Independence and Corollaries of the Fundamental Theorem......... 82 3.7 Green's Theorem.................................... 84 3.8 Problems........................................ 89 4 Surface Integrals, Flux, and Fundamental Theorems 93 4.1 Surface Integrals of Scalar Fields........................... 93 4.2 Flux........................................... 96 4.3 The Gradient, Divergence, and Curl Operators Via Limits* . 103 4.4 The Stokes-Kelvin Theorem..............................108 4.5 The Divergence Theorem ...............................112 4.6 Problems........................................114 List of Figures 117 i 11/14/19 Multivariate Calculus: Vector Calculus Havens 0.
    [Show full text]
  • Notes for Math 136: Review of Calculus
    Notes for Math 136: Review of Calculus Gyu Eun Lee These notes were written for my personal use for teaching purposes for the course Math 136 running in the Spring of 2016 at UCLA. They are also intended for use as a general calculus reference for this course. In these notes we will briefly review the results of the calculus of several variables most frequently used in partial differential equations. The selection of topics is inspired by the list of topics given by Strauss at the end of section 1.1, but we will not cover everything. Certain topics are covered in the Appendix to the textbook, and we will not deal with them here. The results of single-variable calculus are assumed to be familiar. Practicality, not rigor, is the aim. This document will be updated throughout the quarter as we encounter material involving additional topics. We will focus on functions of two real variables, u = u(x;t). Most definitions and results listed will have generalizations to higher numbers of variables, and we hope the generalizations will be reasonably straightforward to the reader if they become necessary. Occasionally (notably for the chain rule in its many forms) it will be convenient to work with functions of an arbitrary number of variables. We will be rather loose about the issues of differentiability and integrability: unless otherwise stated, we will assume all derivatives and integrals exist, and if we require it we will assume derivatives are continuous up to the required order. (This is also generally the assumption in Strauss.) 1 Differential calculus of several variables 1.1 Partial derivatives Given a scalar function u = u(x;t) of two variables, we may hold one of the variables constant and regard it as a function of one variable only: vx(t) = u(x;t) = wt(x): Then the partial derivatives of u with respect of x and with respect to t are defined as the familiar derivatives from single variable calculus: ¶u dv ¶u dw = x ; = t : ¶t dt ¶x dx c 2016, Gyu Eun Lee.
    [Show full text]
  • Tensor Calculus and Differential Geometry
    Course Notes Tensor Calculus and Differential Geometry 2WAH0 Luc Florack March 10, 2021 Cover illustration: papyrus fragment from Euclid’s Elements of Geometry, Book II [8]. Contents Preface iii Notation 1 1 Prerequisites from Linear Algebra 3 2 Tensor Calculus 7 2.1 Vector Spaces and Bases . .7 2.2 Dual Vector Spaces and Dual Bases . .8 2.3 The Kronecker Tensor . 10 2.4 Inner Products . 11 2.5 Reciprocal Bases . 14 2.6 Bases, Dual Bases, Reciprocal Bases: Mutual Relations . 16 2.7 Examples of Vectors and Covectors . 17 2.8 Tensors . 18 2.8.1 Tensors in all Generality . 18 2.8.2 Tensors Subject to Symmetries . 22 2.8.3 Symmetry and Antisymmetry Preserving Product Operators . 24 2.8.4 Vector Spaces with an Oriented Volume . 31 2.8.5 Tensors on an Inner Product Space . 34 2.8.6 Tensor Transformations . 36 2.8.6.1 “Absolute Tensors” . 37 CONTENTS i 2.8.6.2 “Relative Tensors” . 38 2.8.6.3 “Pseudo Tensors” . 41 2.8.7 Contractions . 43 2.9 The Hodge Star Operator . 43 3 Differential Geometry 47 3.1 Euclidean Space: Cartesian and Curvilinear Coordinates . 47 3.2 Differentiable Manifolds . 48 3.3 Tangent Vectors . 49 3.4 Tangent and Cotangent Bundle . 50 3.5 Exterior Derivative . 51 3.6 Affine Connection . 52 3.7 Lie Derivative . 55 3.8 Torsion . 55 3.9 Levi-Civita Connection . 56 3.10 Geodesics . 57 3.11 Curvature . 58 3.12 Push-Forward and Pull-Back . 59 3.13 Examples . 60 3.13.1 Polar Coordinates in the Euclidean Plane .
    [Show full text]
  • The Infinite and Contradiction: a History of Mathematical Physics By
    The infinite and contradiction: A history of mathematical physics by dialectical approach Ichiro Ueki January 18, 2021 Abstract The following hypothesis is proposed: \In mathematics, the contradiction involved in the de- velopment of human knowledge is included in the form of the infinite.” To prove this hypothesis, the author tries to find what sorts of the infinite in mathematics were used to represent the con- tradictions involved in some revolutions in mathematical physics, and concludes \the contradiction involved in mathematical description of motion was represented with the infinite within recursive (computable) set level by early Newtonian mechanics; and then the contradiction to describe discon- tinuous phenomena with continuous functions and contradictions about \ether" were represented with the infinite higher than the recursive set level, namely of arithmetical set level in second or- der arithmetic (ordinary mathematics), by mechanics of continuous bodies and field theory; and subsequently the contradiction appeared in macroscopic physics applied to microscopic phenomena were represented with the further higher infinite in third or higher order arithmetic (set-theoretic mathematics), by quantum mechanics". 1 Introduction Contradictions found in set theory from the end of the 19th century to the beginning of the 20th, gave a shock called \a crisis of mathematics" to the world of mathematicians. One of the contradictions was reported by B. Russel: \Let w be the class [set]1 of all classes which are not members of themselves. Then whatever class x may be, 'x is a w' is equivalent to 'x is not an x'. Hence, giving to x the value w, 'w is a w' is equivalent to 'w is not a w'."[52] Russel described the crisis in 1959: I was led to this contradiction by Cantor's proof that there is no greatest cardinal number.
    [Show full text]
  • Matrix Calculus
    Appendix D Matrix Calculus From too much study, and from extreme passion, cometh madnesse. Isaac Newton [205, §5] − D.1 Gradient, Directional derivative, Taylor series D.1.1 Gradients Gradient of a differentiable real function f(x) : RK R with respect to its vector argument is defined uniquely in terms of partial derivatives→ ∂f(x) ∂x1 ∂f(x) , ∂x2 RK f(x) . (2053) ∇ . ∈ . ∂f(x) ∂xK while the second-order gradient of the twice differentiable real function with respect to its vector argument is traditionally called the Hessian; 2 2 2 ∂ f(x) ∂ f(x) ∂ f(x) 2 ∂x1 ∂x1∂x2 ··· ∂x1∂xK 2 2 2 ∂ f(x) ∂ f(x) ∂ f(x) 2 2 K f(x) , ∂x2∂x1 ∂x2 ··· ∂x2∂xK S (2054) ∇ . ∈ . .. 2 2 2 ∂ f(x) ∂ f(x) ∂ f(x) 2 ∂xK ∂x1 ∂xK ∂x2 ∂x ··· K interpreted ∂f(x) ∂f(x) 2 ∂ ∂ 2 ∂ f(x) ∂x1 ∂x2 ∂ f(x) = = = (2055) ∂x1∂x2 ³∂x2 ´ ³∂x1 ´ ∂x2∂x1 Dattorro, Convex Optimization Euclidean Distance Geometry, Mεβoo, 2005, v2020.02.29. 599 600 APPENDIX D. MATRIX CALCULUS The gradient of vector-valued function v(x) : R RN on real domain is a row vector → v(x) , ∂v1(x) ∂v2(x) ∂vN (x) RN (2056) ∇ ∂x ∂x ··· ∂x ∈ h i while the second-order gradient is 2 2 2 2 , ∂ v1(x) ∂ v2(x) ∂ vN (x) RN v(x) 2 2 2 (2057) ∇ ∂x ∂x ··· ∂x ∈ h i Gradient of vector-valued function h(x) : RK RN on vector domain is → ∂h1(x) ∂h2(x) ∂hN (x) ∂x1 ∂x1 ··· ∂x1 ∂h1(x) ∂h2(x) ∂hN (x) h(x) , ∂x2 ∂x2 ··· ∂x2 ∇ .
    [Show full text]
  • Differential Forms Diff Geom II, WS 2015/16
    J.M. Sullivan, TU Berlin B: Differential Forms Diff Geom II, WS 2015/16 B. DIFFERENTIAL FORMS instance, if S has k elements this gives a k-dimensional vector space with S as basis. We have already seen one-forms (covector fields) on a Given vector spaces V and W, let F be the free vector space over the set V × W. (This consists of formal sums manifold. In general, a k-form is a field of alternating k- P linear forms on the tangent spaces of a manifold. Forms ai(vi, wi) but ignores all the structure we have on the set are the natural objects for integration: a k-form can be in- V × W.) Now let R ⊂ F be the linear subspace spanned by tegrated over an oriented k-submanifold. We start with ten- all elements of the form: sor products and the exterior algebra of multivectors. (v + v0, w) − (v, w) − (v0, w), (v, w + w0) − (v, w) − (v, w0), (av, w) − a(v, w), (v, aw) − a(v, w). B1. Tensor products These correspond of course to the bilinearity conditions Recall that, if V, W and X are vector spaces, then a map we started with. The quotient vector space F/R will be the b: V × W → X is called bilinear if tensor product V ⊗ W. We have started with all possible v ⊗ w as generators and thrown in just enough relations to b(v + v0, w) = b(v, w) + b(v0, w), make the map (v, w) 7→ v ⊗ w be bilinear. b(v, w + w0) = b(v, w) + b(v, w0), The tensor product is commutative: there is a natural linear isomorphism V⊗W → W⊗V such that v⊗w 7→ w⊗v.
    [Show full text]
  • Vector Calculus and Differential Forms with Applications To
    Vector Calculus and Differential Forms with Applications to Electromagnetism Sean Roberson May 7, 2015 PREFACE This paper is written as a final project for a course in vector analysis, taught at Texas A&M University - San Antonio in the spring of 2015 as an independent study course. Students in mathematics, physics, engineering, and the sciences usually go through a sequence of three calculus courses before go- ing on to differential equations, real analysis, and linear algebra. In the third course, traditionally reserved for multivariable calculus, stu- dents usually learn how to differentiate functions of several variable and integrate over general domains in space. Very rarely, as was my case, will professors have time to cover the important integral theo- rems using vector functions: Green’s Theorem, Stokes’ Theorem, etc. In some universities, such as UCSD and Cornell, honors students are able to take an accelerated calculus sequence using the text Vector Cal- culus, Linear Algebra, and Differential Forms by John Hamal Hubbard and Barbara Burke Hubbard. Here, students learn multivariable cal- culus using linear algebra and real analysis, and then they generalize familiar integral theorems using the language of differential forms. This paper was written over the course of one semester, where the majority of the book was covered. Some details, such as orientation of manifolds, topology, and the foundation of the integral were skipped to save length. The paper should still be readable by a student with at least three semesters of calculus, one course in linear algebra, and one course in real analysis - all at the undergraduate level.
    [Show full text]
  • Math 1320-9 Notes of 3/30/20 11.6 Directional Derivatives and Gradients
    Math 1320-9 Notes of 3/30/20 11.6 Directional Derivatives and Gradients • Recall our definitions: f(x0 + h; y0) − f(x0; y0) fx(x0; y0) = lim h−!0 h f(x0; y0 + h) − f(x0; y0) and fy(x0; y0) = lim h−!0 h • You can think of these definitions in several ways, e.g., − You keep all but one variable fixed, and differentiate with respect to the one special variable. − You restrict the function to a line whose direction vector is one of the standard basis vectors, and differentiate that restriction with respect to the corresponding variable. • In the case of fx we move in the direction of < 1; 0 >, and in the case of fy, we move in the direction for < 0; 1 >. Math 1320-9 Notes of 3/30/20 page 1 How about doing the same thing in the direction of some other unit vector u =< a; b >; say. • We define: The directional derivative of f at (x0; y0) in the direc- tion of the (unit) vector u is f(x0 + ha; y0 + hb) − f(x0; y0) Duf(x0; y0) = lim h−!0 h (if this limit exists). • Thus we restrict the function f to the line (x0; y0) + tu, think of it as a function g(t) = f(x0 + ta; y0 + tb); and compute g0(t). • But, by the chain rule, d f(x + ta; y + tb) = f (x ; y )a + f (x ; y )b dt 0 0 x 0 0 y 0 0 =< fx(x0; y0); fy(x0; y0) > · < a; b > • Thus we can compute the directional derivatives by the formula Duf(x0; y0) =< fx(x0; y0); fy(x0; y0) > · < a; b > : • Of course, the partial derivatives @=@x and @=@y are just directional derivatives in the directions i =< 0; 1 > and j =< 0; 1 >, respectively.
    [Show full text]
  • 6.10 the Generalized Stokes's Theorem
    6.10 The generalized Stokes’s theorem 645 6.9.2 In the text we proved Proposition 6.9.7 in the special case where the mapping f is linear. Prove the general statement, where f is only assumed to be of class C1. n m 1 6.9.3 Let U R be open, f : U R of class C , and ξ a vector field on m ⊂ → R . a. Show that (f ∗Wξ)(x)=W . Exercise 6.9.3: The matrix [Df(x)]!ξ(x) adj(A) of part c is the adjoint ma- b. Let m = n. Show that if [Df(x)] is invertible, then trix of A. The equation in part b (f ∗Φ )(x) = det[Df(x)]Φ 1 . is unsatisfactory: it does not say ξ [Df(x)]− ξ(x) how to represent (f ∗Φ )(x) as the ξ c. Let m = n, let A be a square matrix, and let A be the matrix obtained flux of a vector field when the n n [j,i] × from A by erasing the jth row and the ith column. Let adj(A) be the matrix matrix [Df(x)] is not invertible. i+j whose (i, j)th entry is (adj(A))i,j =( 1) det A . Show that Part c deals with this situation. − [j,i] A(adj(A)) = (det A)I and f ∗Φξ(x)=Φadj([Df(x)])ξ(x) 6.10 The generalized Stokes’s theorem We worked hard to define the exterior derivative and to define orientation of manifolds and of boundaries. Now we are going to reap some rewards for our labor: a higher-dimensional analogue of the fundamental theorem of calculus, Stokes’s theorem.
    [Show full text]