Derivatives in N-Dimensional Spaces

Total Page:16

File Type:pdf, Size:1020Kb

Derivatives in N-Dimensional Spaces 5 DERIVATIVES IN N-DIMENSIONAL VECTOR SPACES A Introduction , -' ,.- * -..: The approach of our textbook (as d&ioped in the previous two units) in emphasizing the geometrical aspects of partial derivatives, directional derivatives, and the gradient is, in many ways, an excellent approach. We get a picture of what appears to be happening, and, especially for the beginning student, this is much more meaningful than a more precise and general discussion that would apply to all vector spaces, regardless of dimension. In fact, if we want to use the latter approach, it is wise to use the former first. This is in accord with many such decisions which have already been made .in our previous treatment of mathematics. As an example, within the framework of our present course, notice how carefully we ex- ploited the geometric aspects of vectors as arrows before we even mentjoned n-dimensional vector spaces. And, in this respect, recall how sophisticated many of our "arrow" results were in their own right. That is,.granted that arrows were simpler than n-tuples, when all we had were arrows, there were still some rather difficult ideas for us to assimilate. In any event, our aim in this chapter is to continue within the spirit of the game of mathematics which, thus far, has served us so well. Namely, we have introduced n-dimensional vector spaces so that we could utilize the similarity in form between the previously studied functions of the form f(x) and our new functions of the form f(x). For example, when it came time to define continuity and limits for functions of several real variables, we rewrote f(xl, ...,xn) as f (5) and then mimicked the f (x) situation by copying definitions verbatim, subject only to making the appropriate "vectorizations." Rather than review this procedure, let us instead move to the next plateau. Using the approach developed in Chapter 4 of these supplementary notes, once we had defined what limits and continuity meant for any function, f :E"+E, our next logical step would have been to mimic our definition of f' (a) , and thus "induce" a meaning of f ' (5) where ae~n. I . ' . , Our aim in this chapter is to see where such an attempt would have led us and, once this is done, to see how our "new" concept of differentiation is related to the more traditional concept of differentiation as it was presented in the previous two units. B A New Type of Quotient From the definition £1 1.1 = 1"a+~x)-fAX (a) 1 it seems natural that if now f:En+E and -afzEn, we should define f' (a)- where (2) is obtained from (1) by the appropriate "vectorizations. " In arriving at (21, the most subtle point is to observe that we must replace Ax by Ax,- since, among other things, -a+Ax has no meaning (i.e., we have no rule for adding a vector [a]- to a real number [AX]). Once Ax is replace by Ax,- it is clear that 0 must be replaced by -0. If we next look at the bracketed expression in (2), we get a rather elegant insight as to how new mathematical concepts are often born. For, while at first glance, the derivation of (2) from (1)may seem harmless, a second glance shows us that we have "invented" an operation which we have never encountered before in our study of vectors (either as arrows or as n-tuples). More specifically, in the bracketed expression, our numerator is a real number (i.e., while -a is a vector [n-tuple] , recall that our notation f (5) indicates that our "output" is a number), and our denominator is a vector! * Thus, whether we like it or not, if we decide to accept (2) as a C starting point, we are obliged to investigate the meaning of - where c denotes an arbitrary but fixed real number and -v an arbitrary but fixed vector. Notice, of course, that we could elect to abandon (2), but, in the usual spirit of things, it hardly seems wise to abandon an approach that has been fruitful simply because one potential problem arrises. Rather, it seems wiser for us to try, at least, to find a practical definition of what it means to divide a number by a vector. Once we have agreed on this course of action, we again fall back on our previous experience and recall how we defined division in the case of two numbers. We defined to be that number which when multiplied by b yielded a. In terms of a more computational form, a was defined by *. l . 9 b "times" ;= a With this in mind, it seems that a very natural way to mimic (3) is C to define -v by - , .. ,* ;:i "1 . ". C .\ 4 ... v "tipest' - = c .., '* s - -v (4) This immediately suggests that unless we want to invent new forms of multiplication, (and nothing precludes this possibility, except that we already have enough problems1 the "times" in (4) must denote the dot product, for according to (4) we must multiply a vector (v)- by "something" to obtain a number, and of the types of multiplication we have discussed, only the dot product allows us to multiply a vector by "something" (in fact, by another vector) to obtain a number. Thus, the "times" in (4) must denote a dot product. And, it therefore C appears that v- must, itself, be a vector, since, as we have just said, the dot-product combines two vectors to produce a number. There is, however, a little complication that presents itself here. The problem actually existed when we talked about the quotient of two numbers, but, except in the rather special case in which the denominator was zero, the problem never occurred. The point we are driving at is that when we say ";is +he number which when multiplied by b yields a," what gives us the right to say "the?"- Why can't there be more than one such number, or for that matter, why not no such number? The language of sets provides us with a nice explanation. Suppose.: . we define 2 to be the -set of all numbers, c, such that hxc = a. That b - - is, -.. - , c ~. Then, unless b = 0'. the -set a consists of the single 'number a* 6 (e.g., = {c:3c=6) = {6;3) = (211, and hence there is no harm in confusing the set with the number E, where in the latter context, is used as the fraction which denotes a*. Mimicking (5) we may also define 2 to be a set; namely V C The problem is that, unless 1= g and c # 0 (in which case 2 = $), the many - set -v has infinitely elements! Before we document this last remark, let us make sure that it is clear to you that the set described in (6) is a well-defined set regardless of the dimension of the vector space. In other words, recall that in the last chapter of these supplementary notes, we generalized the definition of a dot product so that it existed in any dimensional space. By way of a brief review, if x = (xl, ...,xn and y = (yl ,...,yn) then -x-y = xlyl+ ...+ xn y n' 4 Thus, by way of an example, suppose c = 5 and -v = (1,2,3,4)~E. Then by (61, * If b-0, we have seen that if a#O then :=I since no number times 0 can yield a non-zero number, and if b=O and a=O, we have seen that a 0 (i.e., ,) is the set of numbers, since any number times zero is zero. Notice that while it may be difficult to think of pictorially, (1,2,3,4 ) (7) shows us that it is a "very real" set, at least in the sense that it is the solution set of the "very real* linear equation in four unknowns In fact, it might seem more natural to you if we restated this last remark in sort of a 'reverse" way. Suppose in a traditional math course we were asked to find all solutions of the equation given by (8). Among other things, we may pick values for x2, x3, and x4 completely at random, and once these random choices are made, xl can then be uniquely determined from (8) simply by letting x1=5- 2x2 - 3x3 - 4x4. In modern language, this means that the solution set of (8) has infinitely many elements, and, by (7), another name for this infinite solution set is 5 (1,2,3,4) In still other words, while we may not be used to thinking of the solutions of an equation like (8) as being points in a 4-dimensional vector space, the fact is that, conceptually, the idea is sound. We admit, however, that in the spirit of the text, there is probably more satisfaction if we think of the special cases in which we may view our vectors (n-tuples) as arrows and see what the geometric * implications are. For the sake of a bit of simplicity (and we shall show in a moment that this restriction in no way loses any generality), let us assume that in (6), denotes a unit vector (because if -v is a unit vector, x*~is simply the projection of -x in the direction of -v while if v is not a unit vector, we must merely come to grips with the more computational fact that -x0v- is a scalar multiple of ', S- the projection of 5 in the direction of x).
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]
  • 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]
  • 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]
  • 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]
  • Derivatives Along Vectors and Directional Derivatives
    DERIVATIVES ALONG VECTORS AND DIRECTIONAL DERIVATIVES Math 225 Derivatives Along Vectors Suppose that f is a function of two variables, that is, f : R2 → R, or, if we are thinking without coordinates, f : E2 → R. The function f could be the distance to some point or curve, the altitude function for some landscape, or temperature (assumed to be static, i.e., not changing with time). Let P ∈ E2, and assume some disk centered at p is contained in the domain of f, that is, assume that P is an interior point of the domain of f.This allows us to move in any direction from P , at least a little, and stay in the domain of f. We want to ask how fast f(X) changes as X moves away from P , and to express it as some kind of derivative. The answer clearly depends on which direction you go. If f is not constant near P ,then f(X) increases in some directions, and decreases in others. If we move along a level curve of f,thenf(X) doesn’t change at all (that’s what a level curve means—a curve on which the function is constant). The answer also depends on how fast you go. Suppose that f measures temperature, and that some particle is moving along a path through P . The particle experiences a change of temperature. This happens not because the temperature is a function of time, but rather because of the particle’s motion. Now suppose that a second particle moves along the same path in the same direction, but faster.
    [Show full text]
  • Directional Derivatives
    Directional Derivatives The Question Suppose that you leave the point (a, b) moving with velocity ~v = v , v . Suppose further h 1 2i that the temperature at (x, y) is f(x, y). Then what rate of change of temperature do you feel? The Answers Let’s set the beginning of time, t = 0, to the time at which you leave (a, b). Then at time t you are at (a + v1t, b + v2t) and feel the temperature f(a + v1t, b + v2t). So the change in temperature between time 0 and time t is f(a + v1t, b + v2t) f(a, b), the average rate of change of temperature, −f(a+v1t,b+v2t) f(a,b) per unit time, between time 0 and time t is t − and the instantaneous rate of f(a+v1t,b+v2t) f(a,b) change of temperature per unit time as you leave (a, b) is limt 0 − . We apply → t the approximation f(a + ∆x, b + ∆y) f(a, b) fx(a, b) ∆x + fy(a, b) ∆y − ≈ with ∆x = v t and ∆y = v t. In the limit as t 0, the approximation becomes exact and we have 1 2 → f(a+v1t,b+v2t) f(a,b) fx(a,b) v1t+fy (a,b) v2t lim − = lim t 0 t t 0 t → → = fx(a, b) v1 + fy(a, b) v2 = fx(a, b),fy(a, b) v , v h i·h 1 2i The vector fx(a, b),fy(a, b) is denoted ~ f(a, b) and is called “the gradient of the function h i ∇ f at the point (a, b)”.
    [Show full text]
  • Lecture Notes of Thomas' Calculus Section 11.5 Directional Derivatives
    Lecture Notes of Thomas’ Calculus Section 11.5 Directional Derivatives, Gradient Vectors and Tangent Planes Instructor: Dr. ZHANG Zhengru Lecture Notes of Section 11.5 Page 1 OUTLINE • Directional Derivatives in the Plane • Interpretation of the Directional Derivative • Calculation • Properties of Directional Derivatives • Gradients and Tangents to Level Curves • Algebra Rules for Gradients • Increments and Distances • Functions of Three Variables • Tangent Panes and Normal Lines • Planes Tangent to a Surface z = f(x, y) • Other Applications Why introduce the directional derivatives? • Let’s start from the derivative of single variable functions. Consider y = f(x), its ′ ′ derivative f (x0) implies the rate of change of f. f (x0) > 0 means f increasing as x ′ becomes large. f (x0) < 0 means f decreasing as x becomes large. • Consider two-variable function f(x, y). The partial derivative fx(x0,y0) implies the rate of change in the direction of~i while keep y as a constant y0. fx(x0,y0) > 0 implies increasing in x direction. Another interpretation, the vertical plane passes through (x0,y0) and parallel to x-axis intersects the surface f(x, y) in the curve C. fx(x0,y0) means the slope of the curve C. Similarly, The partial derivative fy(x0,y0) implies the rate of change in the direction of ~j while keep x as a constant x0. • It is natural to consider the rate of change of f(x, y) in any direction ~u instead of ~i and ~j. Therefore, directional derivatives should be introduced. ... Lecture Notes of Section 11.5 Page 2 Definition 1 The derivative of f at P0(x0,y0) in the direction of the unit vector ~u = u1~i + u2~j is the number df f(x0 + su1,y0 + su2) − f(x0,y0) = lim , ds s→0 s ~u,P0 provided the limit exists.
    [Show full text]
  • Multivariable Calculus Review
    Outline Multi-Variable Calculus Point-Set Topology Compactness The Weierstrass Extreme Value Theorem Operator and Matrix Norms Mean Value Theorem Multivariable Calculus Review Multivariable Calculus Review Outline Multi-Variable Calculus Point-Set Topology Compactness The Weierstrass Extreme Value Theorem Operator and Matrix Norms Mean Value Theorem Multi-Variable Calculus Point-Set Topology Compactness The Weierstrass Extreme Value Theorem Operator and Matrix Norms Mean Value Theorem Multivariable Calculus Review n I ν(x) ≥ 0 8 x 2 R with equality iff x = 0. n I ν(αx) = jαjν(x) 8 x 2 R α 2 R n I ν(x + y) ≤ ν(x) + ν(y) 8 x; y 2 R We usually denote ν(x) by kxk. Norms are convex functions. lp norms 1 Pn p p kxkp := ( i=1 jxi j ) ; 1 ≤ p < 1 kxk1 = maxi=1;:::;n jxi j Outline Multi-Variable Calculus Point-Set Topology Compactness The Weierstrass Extreme Value Theorem Operator and Matrix Norms Mean Value Theorem Multi-Variable Calculus Norms: n n A function ν : R ! R is a vector norm on R if Multivariable Calculus Review n I ν(αx) = jαjν(x) 8 x 2 R α 2 R n I ν(x + y) ≤ ν(x) + ν(y) 8 x; y 2 R We usually denote ν(x) by kxk. Norms are convex functions. lp norms 1 Pn p p kxkp := ( i=1 jxi j ) ; 1 ≤ p < 1 kxk1 = maxi=1;:::;n jxi j Outline Multi-Variable Calculus Point-Set Topology Compactness The Weierstrass Extreme Value Theorem Operator and Matrix Norms Mean Value Theorem Multi-Variable Calculus Norms: n n A function ν : R ! R is a vector norm on R if n I ν(x) ≥ 0 8 x 2 R with equality iff x = 0.
    [Show full text]
  • Generalized Directional Derivatives and Subgradients of Nonconvex
    ( )i,\ , . t, ., \\\rt to.o j -i .1.. GENERT\LIZED DIRECTIO\AL DERI\TATIVES AND SUBGRADIENTS OF NONCONVEX FUNCTIONS R T. ROCKAFIJLLAI{ l lntroduction. Srudjes of optimjzation prollens and ccrlah kiD(ls of difierentiaL eqLrations hale led in rcccnt )enrs to thc dclelopnrent of a gen cralized rheor] of dift-erentiaiion qLrite distincr iD spirit ancl rarse of applicati,m from the onc base.l on L. Schwari:z's 'distriblriions. ' This thco( associares .l-r,,t-\. u" t, r. .. o ., ;r . oto,og: .r, .. ,. L point r a I certain elements of the clLral space E+ caLLed \tLy tints tit gtarlitnt js stneralircd s ot .f at '. 1 lcsc form A set dI(r) rhat a]lrat.s conre: and Ncak*-closed L'possiLl_v cmprl ). The nrlrifurctior df : r + bflx) is thc Rules that relate Dl to scncraljzed djrectional cterilatives of /, or:rlloN d,i 1o b€ expr.ssed or estimarcd ;n terns of thc sLrbcljlTerenrjaLs of other tunctjoos (\i hen.l : ,h + f'. f = ! o ,1, etc ), co prise the vrrd.r'fl./.rrill ar/.&/,s. Such rrLes arc used espcciall! ir anall,zing ihe con.Liijon 0 a D.f(s), Nhich i]picalt,v Deans that:f is some sort of'quasi-optlnaL'poinr ior,l The cxtcnded-real- laluccl nrtlrc of,i is essential in such a contcxr as a delicc for representins SulijlTerenrial caiclils bcgan rrith com-cx lLrrctions on R". Rockafeilar l43l defincd d,f ior su.h funcriorrs, shon'cd hor t.} characicrjze A_ft]j) nr rerms of one sidcd cLirectional rleriratiles _l'l:;r r), and prolecl that rndcr mild restrictions rLlles sllcI .s (1.1) d(.n +/,)(r) : d,no) + dj,ir) are valj.l.
    [Show full text]
  • Derivation of the Formula for a Directional Derivative
    Derivation of the Directional Derivative Formula We let ~u = u1~{ + u2~| be a fixed unit vector in the xy-plane, and as usual, we let z = f(x; y). We want to show that the simple formula for the directional derivative f~u = fxu1 + fyu2 is valid wherever f is a differentiable function. We fix a particular point (a; b) in the xy-plane where f is differentiable, and we recall that the formal definition of fu(a; b) is f(a + u1h; b + u2h) f(a; b) fu(a; b) = lim − ; h 0 h ! so we want to show that the limit simplifies to fx(a; b)u1 + fy(a; b)u2 : ( ) ∗ Now we can certainly rewrite the difference quotient in the definition in the following form, dividing it into one part where the x-value varies while y remains fixed and the other where the reverse holds: f(a + u1h; b + u2h) f(a; b) f(a + u1h; b + u2h) f(a; b + u2h) f(a; b + u2h) f(a; b) − = − u1 + − u2 : ( ) h u1h u2h ∗∗ Because the change in the x-value in the first term is u1h, we have arranged for the denominator to have that value, in hopes that it will approach the partial derivative of f with respect to x; and similarly for y in the second term. Now as h 0, we also have u2h 0, so the fraction [f(a; b + u2h) f(a; b)]=(u2h) ! ! − in the second term goes to fy(a; b). And the factors u1 and u2 are constants.
    [Show full text]
  • Exterior Derivative
    Exterior derivative On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. e exterior derivative was first described in its current form by Élie Cartan in 1899; it allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus. If a k-form is thought of as measuring the flux through an infinitesimal k-parallelotope, then its exterior derivative can be thought of as measuring the net flux through the boundary of a (k + 1)-parallelotope. Contents Definition In terms of axioms In terms of local coordinates In terms of invariant formula Examples Stokes' theorem on manifolds Further properties Closed and exact forms de Rham cohomology Naturality Exterior derivative in vector calculus Gradient Divergence Curl Invariant formulations of grad, curl, div, and Laplacian See also Notes References Definition e exterior derivative of a differential form of degree k is a differential form of degree k + 1. If f is a smooth function (a 0-form), then the exterior derivative of f is the differential of f . at is, df is the unique 1-form such that for every smooth vector field X, df (X) = dX f , where dX f is the directional derivative of f in the direction of X. ere are a variety of equivalent definitions of the exterior derivative of a general k-form. In terms of axioms e exterior derivative is defined to be the unique ℝ-linear mapping from k-forms to (k + 1)-forms satisfying the following properties: 1.
    [Show full text]