DOCSLIB.ORG

Lecture Notes for Differential Geometry, MATH 624, Iowa State

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Lecture Notes for Differential Geometry, MATH 624, Iowa State Lecture Notes for Differential Geometry, MATH 624, Iowa State University Domenico D’Alessandro∗ Copyright by Domenico D’Alessandro, 2020 December 22, 2020 ∗Department of Mathematics, Iowa State University, Ames, Iowa, U.S.A. Electronic address: da- [email protected] 1 Contents I Calculus On Manifolds 5 1 Manifolds 6 1.1 Examples and further definitions . .7 1.1.1 Manifolds of dimension m=1 . .7 1.1.2 Surfaces . .8 1.1.3 n-dimensional Spheres . .9 1.1.4 Product manifolds . 10 1.1.5 Projective spaces . 10 1.1.6 Grassmann Manifolds . 11 1.2 Maps between manifolds . 14 1.3 Exercises . 17 2 Tangent and cotangent spaces 18 2.1 Tangent vector and tangent spaces . 18 2.2 Co-tangent vectors and co-tangent space . 21 2.3 Induced maps: Push-forward . 22 2.3.1 Computational Example . 24 2.4 Induced maps: Pull-back . 26 2.4.1 Computational Example . 27 2.5 Inverse functions theorem; Submanifolds . 28 2.6 Exercises . 30 3 Tensors and Tensor Fields 31 3.1 Tensors . 31 3.2 Vector fields and tensor fields . 32 3.2.1 f−related vector fields and tensor fields . 34 3.3 Exercises . 36 4 Integral curves and flows 38 4.1 Relation with ODE’s. The problem ‘upstairs’ and ‘downstairs’ . 38 4.2 Definition and properties of the flow . 39 4.3 Exercises . 43 5 Lie Derivative 44 5.1 Lie derivative of a vector field . 44 5.2 Lie derivatives of co-vector fields and general tensor fields . 50 5.3 Exercises . 52 6 Differential Forms Part I: Algebra on Tensors 53 6.1 Preliminaries: Permutations acting on tensors . 53 6.2 Differential forms and exterior product . 55 r 6.3 Characterization of the vector spaces Ωp(M) ..................... 58 6.4 Exercises . 60 2 7 Differential Forms Part II: Fields and the Exterior Derivative 61 7.1 Fields . 61 7.2 The exterior derivative . 61 7.2.1 Independence of coordinates . 62 7.3 Properties of the exterior derivative . 63 7.3.1 Examples . 64 7.3.2 Closed and Exact Forms . 65 7.4 Interior product . 66 7.4.1 Properties of the interior product . 67 7.5 Exercises . 69 8 Integration of differential forms on manifolds part I: Preliminary Concepts 70 8.1 Orientation on Manifolds . 70 8.2 Partition of Unity . 73 8.3 Orientation and existence of a nowhere vanishing form . 76 8.4 Simplexes . 78 8.5 Singular r-chains, boundaries and cycles . 81 8.6 Exercises . 84 9 Integration of differential forms on manifolds part II: Stokes theorem 85 9.1 Integration of differential r-forms over r−chains; Stokes theorem . 85 9.2 Integration of Differential forms on regular domains and the second version of Stokes’ Theorem . 91 9.2.1 Regular Domains . 91 9.2.2 Orientation and induced orientation . 93 9.2.3 Integration of differential forms over regular domains . 94 9.2.4 The second version of Stokes theorem . 97 9.3 De Rham Theorem and Poincare’ Lemma . 99 9.3.1 Consequences of the De Rham Theorem . 100 9.3.2 Poincare’ Lemma . 100 9.4 Exercises . 101 10 Lie groups Part I; Basic Concepts 102 10.1 Basic Definitions and Examples . 102 10.2 Lie subgroups and coset spaces . 103 10.3 Invariant vector fields and Lie algebras . 104 10.3.1 The Lie algebra of a Lie group . 106 10.3.2 Lie algebra of a Lie subgroup . 107 10.4 The Lie algebras of matrix Lie groups . 108 11 Exercises 110 12 Lie groups Part II 111 13 Fiber bundles; Part I 112 14 Fiber bundles; Part II 113 3 Other resources: 1. D. Martin, Manifold Theory; an introduction for mathematical physicists, Woodhead Pub- lishing, Cambridge, UK, 2012 2. J.M. Lee, Introduction to Smooth Manifolds, 2-nd Edition, Graduate Texts in Mathematics, 218, Springer, 2012. 3. W.M. Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, Academic Press, Pure and Applied Mathematics Series, Vol. 120, 1986. 4. M. Nakahara, Geometry, Topology and Physics (Graduate Student Series in Physics) 2nd Edition, Taylor and Francis Group, New York, 2003. 5. M. Spivak, A Comprehensive Introduction to Differential Geometry, Vol. 1, Publish or Perish; 3rd edition (January 1, 1999) 6. F. Warner, , Graduate Texts in Mathematics (Book 94), Springer 1983. 4 Part I Calculus On Manifolds 5 1 Manifolds A manifold is an object that locally looks like RI m. More in detail: Definition 1.0.1: Manifolds an m−dimensional manifold M is a topological space together with a family of pairs (Uj; φj) called charts such that Uj are open sets in M and φj are homeomorphishms 0 m φj : Uj ! Uj ⊆ RI . Moreover, the Uj’s cover all of M, i.e., [ Uj = M: (1.0.1) j Additionally, the maps φj are assumed to satisfy the smooth compatibility condi- T −1 tion, which means that, for any pair j; k such that Uj Uk 6= ;, the map φk ◦ φj : T T 1 m m φj(Uj Uk) ! φk(Uj Uk) is in C in the usual sense of calculus for maps RI ! RI . −1 The maps φk ◦ φj are referred to as transition functions. (cf. Figure 1) Two more conditions are usually assumed and we will do so as well: 1) M is assumed to be second countable, i.e., there exists a countable base in its topol- ogy.a 2) M is Hausdorff, that is, every two distinct points in M have disjoint neighborhoods. aA countable family of open sets such that every open set can be written as the union of sets in this family. Definition 1.0.2: Coordinates The collection of all charts f(Uj; φj)g is called an atlas for M. Uj is called a coordinate neighborhood while φj is called a coordinate system or coordinate function. Since its image is in RI m , it is often denoted by using the coordinates (x1; : : : ; xm) in RI m, 1 m i.e., for p 2 M, φj(p) := (x (p); : : : ; x (p)). The number m is called the dimension of the manifold, and the manifold M is often denoted by Mm to emphasize its dimension. Figure 1 describes the definition of a manifold and in particular the smooth compatibility condition. 6 Figure 1: Definition of Manifold and the Smooth Compatibility Condition . 1.1 Examples and further definitions 1.1.1 Manifolds of dimension m=1 Up to homeomorphisms , there are only two possible manifolds of dimension 1, RI and S1. RI can be given the trivial structure of a manifold by using the atlas fUj; φjg where Uj’s are the open sets in the standard topology of RI , and all the φj’s can be taken equal to the identity. 1 In practice, we only need one chart ( RI ; id). For S , let U1 be the open set consisting of all 1 of S except the point (1; 0) and φ1 map every point (cos(θ); sin(θ)) to θ 2 (0; 2π). Moreover, consider U2 the circle except the point (−1; 0) and φ2 mapping every point (cos(u); sin(u)) to −1 S 1 u 2 (−π; π). φ2 ◦ φ1 is defined on (0; π) (π; 2π) and it is in C since u = θ for θ 2 (0; π) and −1 1 u = θ − 2π for θ 2 (π; 2π). Analogously, one can see that φ1 ◦ φ2 is in C . 7 Figure 2: Manifold structure and transition function for S1. 1.1.2 Surfaces Much of our intuition about manifolds comes from curves and surfaces in RI 3 , which we studied in multivariable calculus. There, Definition 1.1.1: Surface a surface is described by a function z = f(x; y) , an open set D ⊆ RI 2 or, more in general, by parametric coordinates x = x(u; v), y = y(u; v), z = z(u; v), with (u; v) in an open set D ⊆ RI 2 , assuming that the coordinate functions are smooth as functions from RI 2 to RI 3, and havea smooth inverse such an inverse can be taken as the coordinate function φ of a unique chart defining the manifold structure of the surface. Closed surfaces such as cylinders and spheres can be still described by parametric surfaces locally. Therefore, they still can be given the structure of a manifold, but the corresponding atlas contains more than one chart. The situation is similar to the one for the circle Sm described above. 8 1.1.3 n-dimensional Spheres Definition 1.1.2: Sn The n−dimensional sphere Sn is the set of points in RI n+1 with coordinates (x0; x1; : : : ; xn) such that n X (xj)2 = 1; (1.1.1) j=0 n+1 with the subset topology induced from RI . Consider the charts (Uj+; φj+) and (Uj−; φj−), for j = 0; 1; : : : ; n, where the coordinate neighborhoods Uj+’s and Uj−’s are defined as 0 1 n n j 0 1 n n j Uj+ := f(x ; x ; : : : ; x ) 2 S j x > 0g;Uj− := f(x ; x ; : : : ; x ) 2 S j x < 0g; n and the coordinates functions, φj± : Uj± ! RI , are defined as, 0 1 n 0 1 j−1 j+1 n φj± (x ; x ; : : : ; x ) = (x ; x ; : : : ; x ; x ; : : : ; x ): The set of coordinate charts (Uj±; φj±) is an atlas since the Uj±, j = 0; 1; 2; : : : ; n form a n 0 1 n cover for S (if (x ; x ; : : : ; x ) does not belong to any of the Uj±, then all the components, 0 1 n x ; x ; : : : ; x , must be zero which contradicts (1.1.1)).
Load more

Recommended publications
  • 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]
  • The Mean Value Theorem Math 120 Calculus I Fall 2015
    The Mean Value Theorem Math 120 Calculus I Fall 2015 The central theorem to much of differential calculus is the Mean Value Theorem, which we'll abbreviate MVT. It is the theoretical tool used to study the first and second derivatives. There is a nice logical sequence of connections here. It starts with the Extreme Value Theorem (EVT) that we looked at earlier when we studied the concept of continuity. It says that any function that is continuous on a closed interval takes on a maximum and a minimum value. A technical lemma. We begin our study with a technical lemma that allows us to relate 0 the derivative of a function at a point to values of the function nearby. Specifically, if f (x0) is positive, then for x nearby but smaller than x0 the values f(x) will be less than f(x0), but for x nearby but larger than x0, the values of f(x) will be larger than f(x0). This says something like f is an increasing function near x0, but not quite. An analogous statement 0 holds when f (x0) is negative. Proof. The proof of this lemma involves the definition of derivative and the definition of limits, but none of the proofs for the rest of the theorems here require that depth. 0 Suppose that f (x0) = p, some positive number. That means that f(x) − f(x ) lim 0 = p: x!x0 x − x0 f(x) − f(x0) So you can make arbitrarily close to p by taking x sufficiently close to x0.
    [Show full text]
  • AP Calculus AB Topic List 1. Limits Algebraically 2. Limits Graphically 3
    AP Calculus AB Topic List 1. Limits algebraically 2. Limits graphically 3. Limits at infinity 4. Asymptotes 5. Continuity 6. Intermediate value theorem 7. Differentiability 8. Limit definition of a derivative 9. Average rate of change (approximate slope) 10. Tangent lines 11. Derivatives rules and special functions 12. Chain Rule 13. Application of chain rule 14. Derivatives of generic functions using chain rule 15. Implicit differentiation 16. Related rates 17. Derivatives of inverses 18. Logarithmic differentiation 19. Determine function behavior (increasing, decreasing, concavity) given a function 20. Determine function behavior (increasing, decreasing, concavity) given a derivative graph 21. Interpret first and second derivative values in a table 22. Determining if tangent line approximations are over or under estimates 23. Finding critical points and determining if they are relative maximum, relative minimum, or neither 24. Second derivative test for relative maximum or minimum 25. Finding inflection points 26. Finding and justifying critical points from a derivative graph 27. Absolute maximum and minimum 28. Application of maximum and minimum 29. Motion derivatives 30. Vertical motion 31. Mean value theorem 32. Approximating area with rectangles and trapezoids given a function 33. Approximating area with rectangles and trapezoids given a table of values 34. Determining if area approximations are over or under estimates 35. Finding definite integrals graphically 36. Finding definite integrals using given integral values 37. Indefinite integrals with power rule or special derivatives 38. Integration with u-substitution 39. Evaluating definite integrals 40. Definite integrals with u-substitution 41. Solving initial value problems (separable differential equations) 42. Creating a slope field 43.
    [Show full text]
  • Matrices and Tensors
    APPENDIX MATRICES AND TENSORS A.1. INTRODUCTION AND RATIONALE The purpose of this appendix is to present the notation and most of the mathematical tech- niques that are used in the body of the text. The audience is assumed to have been through sev- eral years of college-level mathematics, which included the differential and integral calculus, differential equations, functions of several variables, partial derivatives, and an introduction to linear algebra. Matrices are reviewed briefly, and determinants, vectors, and tensors of order two are described. The application of this linear algebra to material that appears in under- graduate engineering courses on mechanics is illustrated by discussions of concepts like the area and mass moments of inertia, Mohr’s circles, and the vector cross and triple scalar prod- ucts. The notation, as far as possible, will be a matrix notation that is easily entered into exist- ing symbolic computational programs like Maple, Mathematica, Matlab, and Mathcad. The desire to represent the components of three-dimensional fourth-order tensors that appear in anisotropic elasticity as the components of six-dimensional second-order tensors and thus rep- resent these components in matrices of tensor components in six dimensions leads to the non- traditional part of this appendix. This is also one of the nontraditional aspects in the text of the book, but a minor one. This is described in §A.11, along with the rationale for this approach. A.2. DEFINITION OF SQUARE, COLUMN, AND ROW MATRICES An r-by-c matrix, M, is a rectangular array of numbers consisting of r rows and c columns: ¯MM..
    [Show full text]
  • Multivariable and Vector Calculus
    Multivariable and Vector Calculus Lecture Notes for MATH 0200 (Spring 2015) Frederick Tsz-Ho Fong Department of Mathematics Brown University Contents 1 Three-Dimensional Space ....................................5 1.1 Rectangular Coordinates in R3 5 1.2 Dot Product7 1.3 Cross Product9 1.4 Lines and Planes 11 1.5 Parametric Curves 13 2 Partial Differentiations ....................................... 19 2.1 Functions of Several Variables 19 2.2 Partial Derivatives 22 2.3 Chain Rule 26 2.4 Directional Derivatives 30 2.5 Tangent Planes 34 2.6 Local Extrema 36 2.7 Lagrange’s Multiplier 41 2.8 Optimizations 46 3 Multiple Integrations ........................................ 49 3.1 Double Integrals in Rectangular Coordinates 49 3.2 Fubini’s Theorem for General Regions 53 3.3 Double Integrals in Polar Coordinates 57 3.4 Triple Integrals in Rectangular Coordinates 62 3.5 Triple Integrals in Cylindrical Coordinates 67 3.6 Triple Integrals in Spherical Coordinates 70 4 Vector Calculus ............................................ 75 4.1 Vector Fields on R2 and R3 75 4.2 Line Integrals of Vector Fields 83 4.3 Conservative Vector Fields 88 4.4 Green’s Theorem 98 4.5 Parametric Surfaces 105 4.6 Stokes’ Theorem 120 4.7 Divergence Theorem 127 5 Topics in Physics and Engineering .......................... 133 5.1 Coulomb’s Law 133 5.2 Introduction to Maxwell’s Equations 137 5.3 Heat Diffusion 141 5.4 Dirac Delta Functions 144 1 — Three-Dimensional Space 1.1 Rectangular Coordinates in R3 Throughout the course, we will use an ordered triple (x, y, z) to represent a point in the three dimensional space.
    [Show full text]
  • General Relativity Fall 2019 Lecture 13: Geodesic Deviation; Einstein field Equations
    General Relativity Fall 2019 Lecture 13: Geodesic deviation; Einstein field equations Yacine Ali-Ha¨ımoud October 11th, 2019 GEODESIC DEVIATION The principle of equivalence states that one cannot distinguish a uniform gravitational field from being in an accelerated frame. However, tidal fields, i.e. gradients of gravitational fields, are indeed measurable. Here we will show that the Riemann tensor encodes tidal fields. Consider a fiducial free-falling observer, thus moving along a geodesic G. We set up Fermi normal coordinates in µ the vicinity of this geodesic, i.e. coordinates in which gµν = ηµν jG and ΓνσjG = 0. Events along the geodesic have coordinates (x0; xi) = (t; 0), where we denote by t the proper time of the fiducial observer. Now consider another free-falling observer, close enough from the fiducial observer that we can describe its position with the Fermi normal coordinates. We denote by τ the proper time of that second observer. In the Fermi normal coordinates, the spatial components of the geodesic equation for the second observer can be written as d2xi d dxi d2xi dxi d2t dxi dxµ dxν = (dt/dτ)−1 (dt/dτ)−1 = (dt/dτ)−2 − (dt/dτ)−3 = − Γi − Γ0 : (1) dt2 dτ dτ dτ 2 dτ dτ 2 µν µν dt dt dt The Christoffel symbols have to be evaluated along the geodesic of the second observer. If the second observer is close µ µ λ λ µ enough to the fiducial geodesic, we may Taylor-expand Γνσ around G, where they vanish: Γνσ(x ) ≈ x @λΓνσjG + 2 µ 0 µ O(x ).
    [Show full text]
  • Concavity and Points of Inflection We Now Know How to Determine Where a Function Is Increasing Or Decreasing
    Chapter 4 | Applications of Derivatives 401 4.17 3 Use the first derivative test to find all local extrema for f (x) = x − 1. Concavity and Points of Inflection We now know how to determine where a function is increasing or decreasing. However, there is another issue to consider regarding the shape of the graph of a function. If the graph curves, does it curve upward or curve downward? This notion is called the concavity of the function. Figure 4.34(a) shows a function f with a graph that curves upward. As x increases, the slope of the tangent line increases. Thus, since the derivative increases as x increases, f ′ is an increasing function. We say this function f is concave up. Figure 4.34(b) shows a function f that curves downward. As x increases, the slope of the tangent line decreases. Since the derivative decreases as x increases, f ′ is a decreasing function. We say this function f is concave down. Definition Let f be a function that is differentiable over an open interval I. If f ′ is increasing over I, we say f is concave up over I. If f ′ is decreasing over I, we say f is concave down over I. Figure 4.34 (a), (c) Since f ′ is increasing over the interval (a, b), we say f is concave up over (a, b). (b), (d) Since f ′ is decreasing over the interval (a, b), we say f is concave down over (a, b). 402 Chapter 4 | Applications of Derivatives In general, without having the graph of a function f , how can we determine its concavity? By definition, a function f is concave up if f ′ is increasing.
    [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 Language of Differential Forms
    Appendix A The Language of Differential Forms This appendix—with the only exception of Sect.A.4.2—does not contain any new physical notions with respect to the previous chapters, but has the purpose of deriving and rewriting some of the previous results using a different language: the language of the so-called differential (or exterior) forms. Thanks to this language we can rewrite all equations in a more compact form, where all tensor indices referred to the diffeomorphisms of the curved space–time are “hidden” inside the variables, with great formal simplifications and benefits (especially in the context of the variational computations). The matter of this appendix is not intended to provide a complete nor a rigorous introduction to this formalism: it should be regarded only as a first, intuitive and oper- ational approach to the calculus of differential forms (also called exterior calculus, or “Cartan calculus”). The main purpose is to quickly put the reader in the position of understanding, and also independently performing, various computations typical of a geometric model of gravity. The readers interested in a more rigorous discussion of differential forms are referred, for instance, to the book [22] of the bibliography. Let us finally notice that in this appendix we will follow the conventions introduced in Chap. 12, Sect. 12.1: latin letters a, b, c,...will denote Lorentz indices in the flat tangent space, Greek letters μ, ν, α,... tensor indices in the curved manifold. For the matter fields we will always use natural units = c = 1. Also, unless otherwise stated, in the first three Sects.
    [Show full text]
  • Calculus Terminology
    AP Calculus BC Calculus Terminology Absolute Convergence Asymptote Continued Sum Absolute Maximum Average Rate of Change Continuous Function Absolute Minimum Average Value of a Function Continuously Differentiable Function Absolutely Convergent Axis of Rotation Converge Acceleration Boundary Value Problem Converge Absolutely Alternating Series Bounded Function Converge Conditionally Alternating Series Remainder Bounded Sequence Convergence Tests Alternating Series Test Bounds of Integration Convergent Sequence Analytic Methods Calculus Convergent Series Annulus Cartesian Form Critical Number Antiderivative of a Function Cavalieri’s Principle Critical Point Approximation by Differentials Center of Mass Formula Critical Value Arc Length of a Curve Centroid Curly d Area below a Curve Chain Rule Curve Area between Curves Comparison Test Curve Sketching Area of an Ellipse Concave Cusp Area of a Parabolic Segment Concave Down Cylindrical Shell Method Area under a Curve Concave Up Decreasing Function Area Using Parametric Equations Conditional Convergence Definite Integral Area Using Polar Coordinates Constant Term Definite Integral Rules Degenerate Divergent Series Function Operations Del Operator e Fundamental Theorem of Calculus Deleted Neighborhood Ellipsoid GLB Derivative End Behavior Global Maximum Derivative of a Power Series Essential Discontinuity Global Minimum Derivative Rules Explicit Differentiation Golden Spiral Difference Quotient Explicit Function Graphic Methods Differentiable Exponential Decay Greatest Lower Bound Differential
    [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]
  • 3. Introducing Riemannian Geometry
    3. Introducing Riemannian Geometry We have yet to meet the star of the show. There is one object that we can place on a manifold whose importance dwarfs all others, at least when it comes to understanding gravity. This is the metric. The existence of a metric brings a whole host of new concepts to the table which, collectively, are called Riemannian geometry.Infact,strictlyspeakingwewillneeda slightly di↵erent kind of metric for our study of gravity, one which, like the Minkowski metric, has some strange minus signs. This is referred to as Lorentzian Geometry and a slightly better name for this section would be “Introducing Riemannian and Lorentzian Geometry”. However, for our immediate purposes the di↵erences are minor. The novelties of Lorentzian geometry will become more pronounced later in the course when we explore some of the physical consequences such as horizons. 3.1 The Metric In Section 1, we informally introduced the metric as a way to measure distances between points. It does, indeed, provide this service but it is not its initial purpose. Instead, the metric is an inner product on each vector space Tp(M). Definition:Ametric g is a (0, 2) tensor field that is: Symmetric: g(X, Y )=g(Y,X). • Non-Degenerate: If, for any p M, g(X, Y ) =0forallY T (M)thenX =0. • 2 p 2 p p With a choice of coordinates, we can write the metric as g = g (x) dxµ dx⌫ µ⌫ ⌦ The object g is often written as a line element ds2 and this expression is abbreviated as 2 µ ⌫ ds = gµ⌫(x) dx dx This is the form that we saw previously in (1.4).
    [Show full text]