Differential Forms. Introduction
|
|
- Tyler Adams
- 5 years ago
- Views:
Transcription
1 ifferential Forms A 305 Kurt Bryan Aesthetic pleasure needs no justification, because a life without such pleasure is one not worth living. ana Gioia, Can Poetry atter? Introduction We ve hit the big three theorems of vector calculus: Green s, Stokes, and the ivergence Theorem (although Green s theorem is really a pretty obvious special case of Stokes theorem). But it s an amazing fact that all of these theorems are really special cases of an even larger theorem that unifies all that we ve studied so far. This new theory also extends what we ve done to spaces of arbitrary (finite) dimension. It rests on the idea of differential forms. ifferential forms are hard to motivate right off the bat. It won t be immediately clear how differential forms are related to what we ve done, but be patient. For now treat differential forms as a new kind of mathematical object; we re going to learn how to manipulate them add, multiply, differentiate, and integrate. It will be quite abstract and formal at first, but you ll soon see how they connect with what we ve already done. anifolds You ve already seen many examples of one and two dimensional manifolds. A one dimensional manifold C is just a curve. Such a curve can exist in any dimension and can be parameterized as X(t) (I m using this instead of R), where t ranges over some interval (a, b) in lr and X(t) (x (t), x 2 (t),..., x n (t)) if the curve exists in n dimensions. You may recall that we required that our curves be smooth, which meant that the curve had to have a proper parameterization X(t) must be differentiable, injective, and X (t) 0 for any t in. Smooth one dimensional manifolds are just smooth curves. Recall that the vector X (t) is tangent to the manifold C. A smooth two dimensional manifold S is just a surface, of which we ve seen many examples (in three dimensions.) Such a surface can be specified as X(u, v), where (u, v) ranges over some appropriate subset of lr 2. The function X(u, v) is of the form X(u, v) (x (u, v), x 2 (u, v),..., x n (u, v)), although we ve mostly considered the case n 3. There were some technicalities in dealing with surfaces and integrating over them the surface had to be orientable, and we did require that the tangent vectors X X and be independent, i.e., neither a multiple of the other. u v If this isn t true then our surface S might end up being only one-dimensional. Also, the surface was not allowed to self-intersect. Based on the above, it s not much of a stretch to consider a k-dimensional manifold. Let be some bounded open region in lr k. We ll use coordinates u (u, u 2,..., u k ) on. Consider a function X(u) (X (u),..., X n (u))
2 defined on, which maps each point in into a point in n dimensional space. X(), the image of in lr n. We will say that is a smooth k-manifold if Take The function X is C. The function X is injective (distinct points in go to distinct points in lr n. The tangent vectors ( X X,..., X ) n u k u k u k are all linearly independent at all points in. This means that the only solution to c X u k + + c n X n u k 0 is c c 2 c n 0. Since this is a semi-intuitive account of differential forms and manifolds, we won t harp too much on this last requirement. Example : Let be the open cube 0 < u, u 2, u 3 < in lr 3. Take the mapping X from lr 3 to lr 5 to be defined by X (u, u 2, u 3 ) u u 2 X 2 (u, u 2, u 3 ) 3u 3 X 3 (u, u 2, u 3 ) u 2 X 4 (u, u 2, u 3 ) u 3 2u 2 X 5 (u, u 2, u 3 ) 3. The function X is obviously C. It s a bit tedious (aple makes it easier) but you can check that no two points in go to the same image point in lr 5, and the tangent vectors are in fact all independent. The image X() is a smooth 3-manifold in lr 5. ifferential Forms Our discussions will take place in lr n. We ll use (x,..., x n ) as coordinates, and write x for the point (x,..., x n ). We will define a 0-form ω to be simply a function on lr n, so f(x,..., x n ). That s all there is to say about 0-forms. A basic or elementary -form in lr n is an expression like dx i, where i n. ore generally, a -form ω is an expression like F (x) dx + F 2 (x) dx 2 + F n (x) dx n 2
3 where the F i are functions of x. You ve actually encountered -forms before, when we did Green s theorem. Recall that Green s Theorem said ( F2 x F ) dx dy F (x, y) dx + F 2 (x, y) dy. y The integrand on the right is an example of a -form. A differential -form is not a passive object, but in fact can be thought of as a kind of function. The basic -form dx i accepts as input a single vector v and outputs v i, the ith component of v, so dx i (v) v i. A general -form F (x) dx + F n (x) dx n acts on a single input vector v as ω(v) F (x)v + F n (x)v n. You can add two 0-forms in the obvious way (as functions). You can similarly add two -forms, e.g., (x 2 2 dx + e x dx 2 ) + (2 dx x dx 2 ) (x ) dx + (e x x ) dx 2. A basic differential 2-form ω is an expression like dx i dx j where i, j n. The symbol denotes what is called the wedge or exterior product. on t worry too much about what it means (yet); in the end it will mean essentially just dx i dx j, an object suitable to stick under a double integral. Like -forms, 2-forms also act on vectors. A basic two form dx i dx j accepts as input TWO vectors v and v 2. The output is the determinant [ ] dxi (v ω(v, v 2 ) dx i dx j (v, v 2 ) det ) dx i (v 2 ) dx j (v ) dx j (v 2 ) Based on the properties for the determinant that we ve seen, you can immediately conclude that dx i dx j dx j dx i dx i dx i 0 This raises an interesting question: How many different 2-forms are there in n dimensions? If you count all possible combinations for i, j n for dx i dx j you get n 2, but in fact n of these are really zero. That leaves n 2 n possible 2-forms, although in some sense there is only half that many, for the second property above shows that, e.g., dx dx 2 dx 2 dx. There are thus only (n 2 n)/2 half this many independent 2-forms. A (general) differential 2-form is an expression of the form F 2 (x)dx dx 2 + F 3 (x)dx dx 3 + F n,n (x)dx n dx n 3 i<j n F ij (x)dx i dx j.
4 Notice that we can always assume that i < j in the sum above, for if we had j < i we could simply swap the order of dx j dx i and replace it with dx i dx j. You can probably guess how such a 2-form acts on two input vectors: ω(v, v 2 ) i<j n F ij (x)dx i dx j (v, v 2 ) [ dxi (v F ij (x)det ) dx i (v 2 ) dx j (v ) dx j (v 2 ) i,j>i Example 2: Let ω denote the 2-form in three dimensions (x + 2x 3 )dx dx 2 + x 2 dx dx 3. Let s compute ω applied to the vectors v (, 3, 3), v 2 (, 0, 7). You get [ ] [ dx (v ω(v, v 2 ) (x + 2x 3 )det ) dx (v 2 ) dx (v + x dx 2 (v ) dx 2 (v 2 ) 2 det ) dx (v 2 ) dx 3 (v ) dx 3 (v 2 ) [ ] [ ] (x + 2x 3 )det + x det 3 7 3(x + 2x 3 ) + 0x 2 3x + 0x 2 + 6x 3. Now we re ready for the definition of a basic k-form: a basic k-form ω in n dimensions is an expression of the form dx i dx i2 dx ik where i j n for all j. Such a k-form accepts as input k vectors v,..., v k to give output ω(v,..., v k ) det dx i (v ) dx i (v 2 ) dx i (v k ) dx i2 (v ) dx i2 (v 2 ) dx i2 (v k ).... dx ik (v ) dx ik (v 2 ) dx ik (v k ) By using the properties of determinants that we ve already deduced, it s easy to see that dx i dx ij dx ik dx im dx i dx ik dx ij dx im () dx i dx ij dx ij dx im 0 (2) Given the above two facts, it s interesting to contemplate the question how many independent basic k-forms are there in n dimensions? It s not too hard to figure out, so I ll leave it for you. A (general) k-form ω is an expression of the form i,...,i k n Such a k-form accepts k input vectors to produce ω(v,..., v k ) i,...,i k n F i,...,i k (x)dx i dx i2 dx ik. (3) F i,...,i k (x)dx i dx i2 dx ik (v,..., v k ). 4 ] ]
5 With this notation, it s easy to see why a function is called a 0-form it doesn t accept any input vectors. Integrating ifferential Forms Integrating differential forms is easy. The general rule is that one integrates a k-form over a k-manifold. Let s first look at how to integrate a -form over a -manifold. Accordingly, let X(t) with a t b be a smooth -manifold in lr n and let ω be a -form defined in a neighborhood of. We use ω to denote the integral of ω over and define this integral by b a ω(x (t)) dt. (4) Example 3: Let be the -manifold in lr 3 defined by X(t) (3t, t 2, 5 t) for 0 t 2. You can see that is just a curve in three dimensions. Let ω be the -form 2x 2 dx x x 3 dx 2 + dx 3. Using equation (4) and recalling how a -form acts on input vectors we obtain 2 0 ω((3, 2t, )) dt ((2x 2 )(3) x x 3 (2t) ) dt (6t 3 24t 2 ) dt 42. Example 4: Suppose that F(x) (F, F 2,..., F n ) is a vector field in lr n (so each of the F i are functions of x). efine the differential form F dx + F 2 dx F n dx n. If we compute the integral of ω over some -manifold defined by R(t) (x (t),..., x n (t)) we get b a b a (F dx + F 2 dx F n dx n )(R (t)) dt (F x t + + F n x n t ) dt F dr. In other words, the integral of the -form ω over is just the familiar line integral of the vector field F over the curve. One can integrate a 2-form ω over a 2-manifold. Suppose that is parameterized by X(u), where u (u, u 2 ) ranges over, a region in lr 2. The integral is defined by ω( X, X ) du du 2. Example 5: Let be a 2-manifold in lr 4 parameterized by X(u) (u, u u 2, 3 u + u u 2, 3u 2 ) 5
6 where u 2 + u 2 2 <. Take x 2 dx dx 3 x 4 dx 3 dx 4. You can easily compute that X (,, u 2, 0) X (0,, u, 3) and that ω( X, X [ 0 ) x 2 det u 2 u x 2 u + 3x 4 (u 2 ) As a result u 2 u u 2 9u u 2. ] x 4 det [ u2 u 0 3 u 2 (u 2 u 2 u u 2 9u u 2 ) du 2 du 2π. Example 6: Consider a smooth 2-manifold in lr 3 parameterized as X(u) for u in lr 2. Let F dx 2 dx 3 + F 2 dx dx 3 + F 3 dx dx 2 be a 2-form defined in a neighborhood of. Then F (dx 2 dx 3 )( X, X ) + F 2 (dx dx 3 )( X, X ) + F 3 (dx dx 2 )( X, X ) ( [ X2 ] [ X 2 X ] [ X X ]) X u F det u + F 2 det u + F 3 det du du 2 F ( X 2 X 2 ) + F 2 ( X X ) +F 3 ( X X 2 X X 2 ) du du 2 u F da. ] X 2 X 2 In other words, the integral of ω over is just the flux of the vector field F (F, F 2, F 3 ) over. If the step between the last two equations looks mysterious, all I ve done is use the fact that da ( X/ ) ( X/ ) and dotted this with F; it s the usual procedure for computing flux over a parameterized surface. You can probably see how we should integrate a general k-form over a k-manifold. If the manifold is parameterized by X(u) for u lr k, and if we have a general k-form ω given by an equation like (3) then i,...,i k n F i,...,i k (X(u))(dx i dx ik )( X,..., X u k ) du du k. 6
7 Example 7: Let be a 3-manifold in lr 4 parameterized as for u 2 + u u 2 3 <. Take It s easy to compute that Then ω( X, X, X ) x 3 det u 3 Finally, we find that X(u, u 2, u 3 ) (u 2 u 3, u 2, 3u 2 + u 3, u u 2 ) x 3 dx dx 2 dx 4. X (0, 2u, 0, u 2 ) X (u 3, 0, 3, u ) X u 3 (u 2, 0,, 0). u 3 u 2 2u 0 0 u 2 u 0 2u 2 u 2 6u 2 u u 2 u 2 u 3. (2u 2 u 2 6u 2 u u 2 u 2 u 3 ) du du 2 du π. The last triple integral is easier if you convert it to spherical. Example 8: Let be an open region in lr n and suppose that is parameterized as X(u) where u, where is another region in lr n. In other words, is an n-manifold in n-dimensional space. Of course, we could very easily parameterize by taking and using X(u) u, the identity map, but this isn t necessary, and by not doing so you ll see some important issues in integrating differential forms over manifolds. Let f(x) dx dx 2 dx n (this is the most general n-form in lr n why?) Then f(x(u))(dx dx n )( X,..., X ) u n X X n f(x(u))det... du... du n X X u n n u n ± f(x,..., x n ) dx... dx n where the last equality follows from the change of variables formula in n dimensions (notice that the absolute value signs on the determinant are missing). The integral of ω over is PLUS OR INUS the integral of f over. It could be either, depending on the parameterization. 7
8 The last example raises an important issue that we won t entirely resolve. You might hope the quantity ω should depend only on and ω, but this is true only up to a minus sign. The problem is that any manifold which is orientable has two possible orientations, and this is where the sign ambiguity arises. You ve already encountered this in line and surface integrals: if C is a curve in two or three dimensions and F is a vector field, the quantity C F dr is not well-defined. It depends on which direction you parameterize or traverse the curve C; if you consider this integral physically, as work done, it clearly depends on whether you re moving from point A to point B or the reverse. The sign ambiguity also arose in doing flux integrals over a surface. Which direction you choose for the normal affects the sign of the answer. It is a general fact (that I ll let you check for yourself) that the quantity ω does not depend on how is parameterized, except for the sign of the answer. Proving this really comes down to the change of variable formula for integral of n variables. The different signs are a manifestation of how we chose to orient (implicitly) when we parameterized it. The Wedge Product The wedge (or exterior product allows us to multiply differential forms. Suppose that f is a 0-form (a function) and ω is a k-form as given in equation (3). The wedge product of f with ω is just f ff i,...,i k (x)dx i dx i2 dx ik. i,...,i k Suppose that η is an m-form, η G j,...,j m (x)dx j dx j2 dx jm. j,...,j m The wedge product of η with ω is the k + m form given by adjoining the two forms, as η F i,...,i k (x)g j,...,j m (x)dx i dx ik dx j dx jm. As complicated as this looks, it s pretty easy in any specific example, and the rules () and (2) make the result a lot smaller than you might think. Example 9: Let x 2 dx dx 3 + dx dx 4 and η (x + )dx 2 dx 4. Then ω η x 2 (x + ) dx dx 3 dx 2 dx 4 + (x + ) dx dx 4 dx 2 dx 4. However, by equation (2) the second term above (which contains two copies of dx 4 ) is zero. Also, by property () we can flip the dx 2 and dx 3 in the first term, which will introduce a minus sign, so ω η x 2 (x + ) dx dx 2 dx 3 dx 4. It s not hard to prove the following properties for the wedge product: If f is a function, ω and ω 2 are k-forms, η an m-form, and τ any form then (ω + ω 2 ) η ω η + ω 2 η 8
9 (ω η) τ ω (η τ) (fω ) η f(ω η) ω (fη) ω η ( ) km η ω Only the last property is at all nonobvious, but a little experimentation will show you how to prove it. In summary, this last property says that ω η η ω UNLESS both forms are of odd degree, in which case the sign flips. The Exterior erivative Given that differential forms can be integrated, it stands to reason that they can also be differentiated. The exterior derivative d is an operator that turns k-forms into k + -forms, according to very simple rules: The exterior derivative of a 0-form f(x) in lr n (recall, f is just a function) is The exterior derivative of the k-form is given by df f x dx + + f x n dx n. (5) F i,...,i k dx i dx ik i,...,i k d df i,...,i k dx i dx ik (6) i,...,i k where df i,...,i k is computed according to equation (5). Example 0: Let (x + x 2 3)dx dx 2. Then d d(x + x 2 3) dx dx 2 dx dx dx 2 + 2x 3 dx 3 dx dx 2 2x 3 dx 3 dx dx 2 2x 3 dx dx 3 dx 2 2x 3 dx dx 2 dx 3 Notice the term with two dx s is zero, and in the last two steps I just put dω in standard form. Generalized Stokes Theorem The generalized version of Stokes Theorem embodies almost everything we ve done in this course; the divergence theorem and the original Stokes Theorem are special cases of this more general theorem. Before stating this theorem we need a few preliminary remarks. 9
10 A smooth k-manifold in lr n may or may not be orientable. If it is orientable then it has two possible orientations, as we saw in examples above. It s not hard to believe (though we won t stop to prove) that the boundary of a k-manifold is itself a manifold of dimension k. The boundary may or may not be orientable. We will assume that the manifolds that follow, as well as their boundaries, are orientable. Recall that in the divergence theorem we related a volume integral to a surface integral, and for things to work out properly we needed the surface (in particular, da) to be oriented properly. Similarly in Stokes theorem, after choosing a direction for the unit normal n on a surface S, we then had to orient S with the right hand rule. Similar considerations hold in higher dimensions. If we have a manifold and we have chosen an orientation for, then this induces a consistent orientation on, somewhat akin to the right hand rule. How this can be done we won t go into for now. The down side is that our integrals may occasionally be off by a minus sign. Stokes Theorem: (Generalized version) Let be a smooth oriented k-manifold with consistently oriented smooth boundary. Let ω be a k form defined in a neighborhood of. Then d ω. Example : Let be as in Example 5. Given how was parameterized, you will probably believe that can be described as the image of the boundary of the unit disk, u 2 + u 2 2, under the mapping from lr 2 to lr 4 that parameterized. Given that the boundary of the disk can be parameterized by u cos(t), u 2 sin(t), it seems reasonable that the one dimensional curve can be parameterized as Y(t) (cos(t), cos(t) sin(t), 3 cos(t) + cos(t) sin(t), 3 sin(t)) (notice I m using Y for.) Now let x 2 3 dx. It s easy to compute that d 2x 3 dx dx 3. Let s first compute dω: Now for d ω we have u 2 u 2 u 2 u 2 u 2 2π 0 2π 0 π 2. u 2 dω( X, X ) 2x 3 det ω(y (t)) dt [ 0 u 2 u ] du 2 du 2(3 u + u u 2 )u du 2 du π 2. (3 cos(t) + cos(t) sin(t)) 2 ( sin(t)) dt 0
11 Example 2: Let F F i + F 2 j + F 3 k be a vector field in three dimensions and let F dx + F 2 dx 2 + F 3 dx 3, a -form. Suppose that is an orientable 2-manifold (a surface) in three dimensions with one dimensional boundary. As we saw in Example 4, F dr. Now let s compute dω and integrate it over. If you write out dω you find that many terms cancel (they contain a wedge product with identical dx i s) and you obtain d + ( F2 F ) dx dx 2 + x x 2 ( F3 F ) 2 dx 2 dx 3 x 2 x 3 ( F3 F ) dx dx 3 x x 3 Now define a vector field G G i + G 2 j + G 3 k by taking ( F3 G F ) 2 x 2 x 3 ( F3 G 2 F ) x x 3 ( F2 G 3 F ). x x 2 In short, G F. Then we can write d G dx 2 dx 3 + G 2 dx dx 3 + G 3 dx dx 2. If you look at Example 6 (and replace F there by G here), you find that d G da. But given that G F, we conclude from the generalized Stokes Theorem that F dr ( F) da which is the usual version of Stokes Theorem in three dimensions! Example 2: Let be a bounded region in three dimensions with orientable two dimensional boundary. Again, let F F i + F 2 j + F 3 k be a smooth vector field defined on and define the 2-form F dx 2 dx 3 + F 2 dx dx 3 + F 3 dx dx 2 Again referring back to Example 6, we find that F da,
12 the flux of F over. Now compute dω. ost of the terms are zero and we end up with d ( F + F 2 + F ) 3 dx dx 2 dx 3 ( F)dx dx 2 dx 3. x x 2 x 3 Now from Example 8 we know that (if is oriented correctly) d F dv. From the general Stokes Theorem we conclude that which is the divergence theorem! F da F dv. 2
Ideas from Vector Calculus Kurt Bryan
Ideas from Vector Calculus Kurt Bryan Most of the facts I state below are for functions of two or three variables, but with noted exceptions all are true for functions of n variables..1 Tangent Line Approximation
More informationNOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n
NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n 1. What is a form? Since we re not following the development in Guillemin and Pollack, I d better write up an alternate approach. In this approach, we
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY
INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1 Preliminary of Calculus on Manifolds 11 Tangent Vectors What are tangent vectors we encounter in Calculus? (1) Given a parametrised curve α(t) = ( x(t),
More informationVolume in n Dimensions
Volume in n Dimensions MA 305 Kurt Bryan Introduction You ve seen that if we have two vectors v and w in two dimensions then the area spanned by these vectors can be computed as v w = v 1 w 2 v 2 w 1 (where
More informationSection 5-7 : Green's Theorem
Section 5-7 : Green's Theorem In this section we are going to investigate the relationship between certain kinds of line integrals (on closed paths) and double integrals. Let s start off with a simple
More informationCorrections to the First Printing: Chapter 6. This list includes corrections and clarifications through November 6, 1999.
June 2,2 1 Corrections to the First Printing: Chapter 6 This list includes corrections and clarifications through November 6, 1999. We should have mentioned that our treatment of differential forms, especially
More informationHigher Dimensions. Introduction. Differential Forms
8 Vector Analysis in Higher Dimensions 8.1 An Introduction to Differential Forms 8.2 Manifolds and Integrals of k-forms 8.3 The Generalized Stokes s Theorem True/False Exercises for Chapter 8 Miscellaneous
More information4 Divergence theorem and its consequences
Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationMajor Ideas in Calc 3 / Exam Review Topics
Major Ideas in Calc 3 / Exam Review Topics Here are some highlights of the things you should know to succeed in this class. I can not guarantee that this list is exhaustive!!!! Please be sure you are able
More information14 Higher order forms; divergence theorem
Tel Aviv University, 2013/14 Analysis-III,IV 221 14 Higher order forms; divergence theorem 14a Forms of order three................ 221 14b Divergence theorem in three dimensions.... 225 14c Order four,
More informationMath 114: Course Summary
Math 114: Course Summary Rich Schwartz September 25, 2009 General Information: Math 114 is a course in real analysis. It is the second half of the undergraduate series in real analysis, M113-4. In M113,
More informationPreface. Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.
alculus III Preface Here are my online notes for my alculus III course that I teach here at Lamar University. espite the fact that these are my class notes, they should be accessible to anyone wanting
More informationRuminations on exterior algebra
Ruminations on exterior algebra 1.1 Bases, once and for all. In preparation for moving to differential forms, let s settle once and for all on a notation for the basis of a vector space V and its dual
More informationNOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS
NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just
More informationDIFFERENTIAL EQUATIONS
DIFFERENTIAL EQUATIONS Basic Concepts Paul Dawkins Table of Contents Preface... Basic Concepts... 1 Introduction... 1 Definitions... Direction Fields... 8 Final Thoughts...19 007 Paul Dawkins i http://tutorial.math.lamar.edu/terms.aspx
More informationElectro Magnetic Field Dr. Harishankar Ramachandran Department of Electrical Engineering Indian Institute of Technology Madras
Electro Magnetic Field Dr. Harishankar Ramachandran Department of Electrical Engineering Indian Institute of Technology Madras Lecture - 7 Gauss s Law Good morning. Today, I want to discuss two or three
More informationLecture 13. Differential forms
Lecture 13. Differential forms In the last few lectures we have seen how a connection can be used to differentiate tensors, and how the introduction of a Riemannian metric gives a canonical choice of connection.
More informationDifferential forms in two dimensions Kiril Datchev, March 23, 2017
ifferential forms in two dimensions Kiril atchev, March 23, 2017 1 Three integral formulas Below we will use the concept of a differential form to explain the relationship between the following three integral
More informationDifferential Forms, Integration on Manifolds, and Stokes Theorem
Differential Forms, Integration on Manifolds, and Stokes Theorem Matthew D. Brown School of Mathematical and Statistical Sciences Arizona State University Tempe, Arizona 85287 matthewdbrown@asu.edu March
More informationSTOKES THEOREM ON MANIFOLDS
STOKES THEOREM ON MANIFOLDS GIDEON DRESDNER Abstract. The generalization of the Fundamental Theorem of Calculus to higher dimensions requires fairly sophisticated geometric and algebraic machinery. In
More informationCalculus II. Calculus II tends to be a very difficult course for many students. There are many reasons for this.
Preface Here are my online notes for my Calculus II course that I teach here at Lamar University. Despite the fact that these are my class notes they should be accessible to anyone wanting to learn Calculus
More informationCHAPTER 6 VECTOR CALCULUS. We ve spent a lot of time so far just looking at all the different ways you can graph
CHAPTER 6 VECTOR CALCULUS We ve spent a lot of time so far just looking at all the different ways you can graph things and describe things in three dimensions, and it certainly seems like there is a lot
More informationCaltech Ph106 Fall 2001
Caltech h106 Fall 2001 ath for physicists: differential forms Disclaimer: this is a first draft, so a few signs might be off. 1 Basic properties Differential forms come up in various parts of theoretical
More informationAN INTRODUCTION TO CURVILINEAR ORTHOGONAL COORDINATES
AN INTRODUCTION TO CURVILINEAR ORTHOGONAL COORDINATES Overview Throughout the first few weeks of the semester, we have studied vector calculus using almost exclusively the familiar Cartesian x,y,z coordinate
More information5.2 Infinite Series Brian E. Veitch
5. Infinite Series Since many quantities show up that cannot be computed exactly, we need some way of representing it (or approximating it). One way is to sum an infinite series. Recall that a n is the
More informationQuadratic Equations Part I
Quadratic Equations Part I Before proceeding with this section we should note that the topic of solving quadratic equations will be covered in two sections. This is done for the benefit of those viewing
More informationDisclaimer: This Final Exam Study Guide is meant to help you start studying. It is not necessarily a complete list of everything you need to know.
Disclaimer: This is meant to help you start studying. It is not necessarily a complete list of everything you need to know. The MTH 234 final exam mainly consists of standard response questions where students
More informationMATH 250 TOPIC 13 INTEGRATION. 13B. Constant, Sum, and Difference Rules
Math 5 Integration Topic 3 Page MATH 5 TOPIC 3 INTEGRATION 3A. Integration of Common Functions Practice Problems 3B. Constant, Sum, and Difference Rules Practice Problems 3C. Substitution Practice Problems
More informationIntegration in the Complex Plane (Zill & Wright Chapter 18)
Integration in the omplex Plane Zill & Wright hapter 18) 116-4-: omplex Variables Fall 11 ontents 1 ontour Integrals 1.1 Definition and Properties............................. 1. Evaluation.....................................
More informationMITOCW MITRES18_006F10_26_0602_300k-mp4
MITOCW MITRES18_006F10_26_0602_300k-mp4 FEMALE VOICE: The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational
More information5.3 Surface Theory with Differential Forms
5.3 Surface Theory with Differential Forms 1 Differential forms on R n, Click here to see more details Differential forms provide an approach to multivariable calculus (Click here to see more detailes)
More informationAntiderivatives! James K. Peterson. January 28, Department of Biological Sciences and Department of Mathematical Sciences Clemson University
! James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 28, 2014 Outline 1 2 Simple Fractional Power Abstract This lecture is going to talk
More informationVector Calculus handout
Vector Calculus handout The Fundamental Theorem of Line Integrals Theorem 1 (The Fundamental Theorem of Line Integrals). Let C be a smooth curve given by a vector function r(t), where a t b, and let f
More informationMathematics that Every Physicist should Know: Scalar, Vector, and Tensor Fields in the Space of Real n- Dimensional Independent Variable with Metric
Mathematics that Every Physicist should Know: Scalar, Vector, and Tensor Fields in the Space of Real n- Dimensional Independent Variable with Metric By Y. N. Keilman AltSci@basicisp.net Every physicist
More informationAntiderivatives! Outline. James K. Peterson. January 28, Antiderivatives. Simple Fractional Power Antiderivatives
Antiderivatives! James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 28, 2014 Outline Antiderivatives Simple Fractional Power Antiderivatives
More information[Disclaimer: This is not a complete list of everything you need to know, just some of the topics that gave people difficulty.]
Math 43 Review Notes [Disclaimer: This is not a complete list of everything you need to know, just some of the topics that gave people difficulty Dot Product If v (v, v, v 3 and w (w, w, w 3, then the
More informationCALCULUS ON MANIFOLDS
CALCULUS ON MANIFOLDS 1. Manifolds Morally, manifolds are topological spaces which locally look like open balls of the Euclidean space R n. One can construct them by piecing together such balls ( cells
More informationWeek 4: Differentiation for Functions of Several Variables
Week 4: Differentiation for Functions of Several Variables Introduction A functions of several variables f : U R n R is a rule that assigns a real number to each point in U, a subset of R n, For the next
More information1.4 Techniques of Integration
.4 Techniques of Integration Recall the following strategy for evaluating definite integrals, which arose from the Fundamental Theorem of Calculus (see Section.3). To calculate b a f(x) dx. Find a function
More informationThe Derivative of a Function
The Derivative of a Function James K Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University March 1, 2017 Outline A Basic Evolutionary Model The Next Generation
More informationMITOCW MIT18_02SCF10Rec_61_300k
MITOCW MIT18_02SCF10Rec_61_300k JOEL LEWIS: Hi. Welcome back to recitation. In lecture, you've been learning about the divergence theorem, also known as Gauss's theorem, and flux, and all that good stuff.
More informationPredicting the future with Newton s Second Law
Predicting the future with Newton s Second Law To represent the motion of an object (ignoring rotations for now), we need three functions x(t), y(t), and z(t), which describe the spatial coordinates of
More information1.13 The Levi-Civita Tensor and Hodge Dualisation
ν + + ν ν + + ν H + H S ( S ) dφ + ( dφ) 2π + 2π 4π. (.225) S ( S ) Here, we have split the volume integral over S 2 into the sum over the two hemispheres, and in each case we have replaced the volume-form
More informationLinear Algebra, Summer 2011, pt. 2
Linear Algebra, Summer 2, pt. 2 June 8, 2 Contents Inverses. 2 Vector Spaces. 3 2. Examples of vector spaces..................... 3 2.2 The column space......................... 6 2.3 The null space...........................
More information6 Div, grad curl and all that
6 Div, grad curl and all that 6.1 Fundamental theorems for gradient, divergence, and curl Figure 1: Fundamental theorem of calculus relates df/dx over[a, b] and f(a), f(b). You will recall the fundamental
More informationx + ye z2 + ze y2, y + xe z2 + ze x2, z and where T is the
1.(8pts) Find F ds where F = x + ye z + ze y, y + xe z + ze x, z and where T is the T surface in the pictures. (The two pictures are two views of the same surface.) The boundary of T is the unit circle
More informationDr. Allen Back. Dec. 3, 2014
Dr. Allen Back Dec. 3, 2014 forms are sums of wedge products of the basis 1-forms dx, dy, and dz. They are kinds of tensors generalizing ordinary scalar functions and vector fields. They have a skew-symmetry
More informationFinal Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2
Final Review Sheet The final will cover Sections Chapters 1,2,3 and 4, as well as sections 5.1-5.4, 6.1-6.2 and 7.1-7.3 from chapters 5,6 and 7. This is essentially all material covered this term. Watch
More informationAlgebra. Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.
This document was written and copyrighted by Paul Dawkins. Use of this document and its online version is governed by the Terms and Conditions of Use located at. The online version of this document is
More information( )( b + c) = ab + ac, but it can also be ( )( a) = ba + ca. Let s use the distributive property on a couple of
Factoring Review for Algebra II The saddest thing about not doing well in Algebra II is that almost any math teacher can tell you going into it what s going to trip you up. One of the first things they
More informationReminder on basic differential geometry
Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector
More informationMATH Green s Theorem Fall 2016
MATH 55 Green s Theorem Fall 16 Here is a statement of Green s Theorem. It involves regions and their boundaries. In order have any hope of doing calculations, you must see the region as the set of points
More informationWORKSHEET #13 MATH 1260 FALL 2014
WORKSHEET #3 MATH 26 FALL 24 NOT DUE. Short answer: (a) Find the equation of the tangent plane to z = x 2 + y 2 at the point,, 2. z x (, ) = 2x = 2, z y (, ) = 2y = 2. So then the tangent plane equation
More informationRIEMANN SURFACES. ω = ( f i (γ(t))γ i (t))dt.
RIEMANN SURFACES 6. Week 7: Differential forms. De Rham complex 6.1. Introduction. The notion of differential form is important for us for various reasons. First of all, one can integrate a k-form along
More informationLecture 3: Vectors. Any set of numbers that transform under a rotation the same way that a point in space does is called a vector.
Lecture 3: Vectors Any set of numbers that transform under a rotation the same way that a point in space does is called a vector i.e., A = λ A i ij j j In earlier courses, you may have learned that a vector
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationCHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär
CHAPTER 1 Preliminaries 1.1. Basic Relevant Algebra 1.2. Introduction to Differential Geometry By Christian Bär Inthis lecturewegiveabriefintroductiontothe theoryofmanifoldsandrelatedbasic concepts of
More informationMULTILINEAR ALGEBRA MCKENZIE LAMB
MULTILINEAR ALGEBRA MCKENZIE LAMB 1. Introduction This project consists of a rambling introduction to some basic notions in multilinear algebra. The central purpose will be to show that the div, grad,
More informationSequences and infinite series
Sequences and infinite series D. DeTurck University of Pennsylvania March 29, 208 D. DeTurck Math 04 002 208A: Sequence and series / 54 Sequences The lists of numbers you generate using a numerical method
More informationsatisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).
ensities Although differential forms are natural objects to integrate on manifolds, and are essential for use in Stoke s theorem, they have the disadvantage of requiring oriented manifolds in order for
More informationCS 468 (Spring 2013) Discrete Differential Geometry
CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product
More informationThe Calculus of Variations
Image Reconstruction Review The Calculus of Variations MA 348 Kurt Bryan Recall the image restoration problem we considered a couple weeks ago. An image in 1D can be considered as a function a(t) defined
More informationIntegrals. D. DeTurck. January 1, University of Pennsylvania. D. DeTurck Math A: Integrals 1 / 61
Integrals D. DeTurck University of Pennsylvania January 1, 2018 D. DeTurck Math 104 002 2018A: Integrals 1 / 61 Integrals Start with dx this means a little bit of x or a little change in x If we add up
More informationDimensions. 1 gt. y(t) = 2
3 3 1 Dimensions Dimensions, often called units, are familiar creatures in physics and engineering. They are also helpful in mathematics, as I hope to show you with examples from differentiation, integration,
More informationLAB 8: INTEGRATION. Figure 1. Approximating volume: the left by cubes, the right by cylinders
LAB 8: INTGRATION The purpose of this lab is to give intuition about integration. It will hopefully complement the, rather-dry, section of the lab manual and the, rather-too-rigorous-and-unreadable, section
More informationA FEW APPLICATIONS OF DIFFERENTIAL FORMS. Contents
A FEW APPLICATIONS OF DIFFERENTIAL FORMS MATTHEW CORREIA Abstract. This paper introduces the concept of differential forms by defining the tangent space of R n at point p with equivalence classes of curves
More information2 A brief interruption to discuss boundary value/intial value problems
The lecture of 1/9/2013 1 The one dimensional heat equation The punchline from the derivation of the heat equation notes (either the posted file, or equivalently what is in the text) is that given a rod
More informationGenerating Function Notes , Fall 2005, Prof. Peter Shor
Counting Change Generating Function Notes 80, Fall 00, Prof Peter Shor In this lecture, I m going to talk about generating functions We ve already seen an example of generating functions Recall when we
More information0. Introduction 1 0. INTRODUCTION
0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as
More informationTopic 15 Notes Jeremy Orloff
Topic 5 Notes Jeremy Orloff 5 Transpose, Inverse, Determinant 5. Goals. Know the definition and be able to compute the inverse of any square matrix using row operations. 2. Know the properties of inverses.
More informationTopic 5.5: Green s Theorem
Math 275 Notes Topic 5.5: Green s Theorem Textbook Section: 16.4 From the Toolbox (what you need from previous classes): omputing partial derivatives. Setting up and computing double integrals (this includes
More informationCoordinate systems and vectors in three spatial dimensions
PHYS2796 Introduction to Modern Physics (Spring 2015) Notes on Mathematics Prerequisites Jim Napolitano, Department of Physics, Temple University January 7, 2015 This is a brief summary of material on
More informationMath 426H (Differential Geometry) Final Exam April 24, 2006.
Math 426H Differential Geometry Final Exam April 24, 6. 8 8 8 6 1. Let M be a surface and let : [0, 1] M be a smooth loop. Let φ be a 1-form on M. a Suppose φ is exact i.e. φ = df for some f : M R. Show
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationThe Integers. Peter J. Kahn
Math 3040: Spring 2009 The Integers Peter J. Kahn Contents 1. The Basic Construction 1 2. Adding integers 6 3. Ordering integers 16 4. Multiplying integers 18 Before we begin the mathematics of this section,
More information1 Continuity and Limits of Functions
Week 4 Summary This week, we will move on from our discussion of sequences and series to functions. Even though sequences and functions seem to be very different things, they very similar. In fact, we
More informationDifferential Equations
This document was written and copyrighted by Paul Dawkins. Use of this document and its online version is governed by the Terms and Conditions of Use located at. The online version of this document is
More informatione iωt dt and explained why δ(ω) = 0 for ω 0 but δ(0) =. A crucial property of the delta function, however, is that
Phys 531 Fourier Transforms In this handout, I will go through the derivations of some of the results I gave in class (Lecture 14, 1/11). I won t reintroduce the concepts though, so you ll want to refer
More informationSolutions for the Practice Final - Math 23B, 2016
olutions for the Practice Final - Math B, 6 a. True. The area of a surface is given by the expression d, and since we have a parametrization φ x, y x, y, f x, y with φ, this expands as d T x T y da xy
More informationCALCULUS III. Paul Dawkins
CALCULUS III Paul Dawkins Table of Contents Preface... iii Outline... iv Three Dimensional Space... Introduction... The -D Coordinate System... Equations of Lines... 9 Equations of Planes... 5 Quadric
More informationLecture 6: Backpropagation
Lecture 6: Backpropagation Roger Grosse 1 Introduction So far, we ve seen how to train shallow models, where the predictions are computed as a linear function of the inputs. We ve also observed that deeper
More informationCosets and Lagrange s theorem
Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem some of which may already have been lecturer. There are some questions for you included in the text. You should write the
More information6.14 Review exercises for Chapter 6
6.4 Review exercises for Chapter 6 699 6.4 Review exercises for Chapter 6 In Exercise 6., B is an n n matrix and ϕ and ψ are both - forms on R 3 ; v and w are vectors 6. Which of the following are numbers?
More informationChapter -1: Di erential Calculus and Regular Surfaces
Chapter -1: Di erential Calculus and Regular Surfaces Peter Perry August 2008 Contents 1 Introduction 1 2 The Derivative as a Linear Map 2 3 The Big Theorems of Di erential Calculus 4 3.1 The Chain Rule............................
More informationUsually, when we first formulate a problem in mathematics, we use the most familiar
Change of basis Usually, when we first formulate a problem in mathematics, we use the most familiar coordinates. In R, this means using the Cartesian coordinates x, y, and z. In vector terms, this is equivalent
More informationII. Unit Speed Curves
The Geometry of Curves, Part I Rob Donnelly From Murray State University s Calculus III, Fall 2001 note: This material supplements Sections 13.3 and 13.4 of the text Calculus with Early Transcendentals,
More informationGreen s Theorem, Cauchy s Theorem, Cauchy s Formula
Math 425 Spring 2003 Green s Theorem, Cauchy s Theorem, Cauchy s Formula These notes supplement the discussion of real line integrals and Green s Theorem presented in.6 of our text, and they discuss applications
More informationThe Integers. Math 3040: Spring Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers Multiplying integers 12
Math 3040: Spring 2011 The Integers Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers 11 4. Multiplying integers 12 Before we begin the mathematics of this section, it is worth
More informationParametric Equations, Function Composition and the Chain Rule: A Worksheet
Parametric Equations, Function Composition and the Chain Rule: A Worksheet Prof.Rebecca Goldin Oct. 8, 003 1 Parametric Equations We have seen that the graph of a function f(x) of one variable consists
More informationExample: 2x y + 3z = 1 5y 6z = 0 x + 4z = 7. Definition: Elementary Row Operations. Example: Type I swap rows 1 and 3
Linear Algebra Row Reduced Echelon Form Techniques for solving systems of linear equations lie at the heart of linear algebra. In high school we learn to solve systems with or variables using elimination
More informationACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2018
ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER 1 2017/2018 DR. ANTHONY BROWN 1. Arithmetic and Algebra 1.1. Arithmetic of Numbers. While we have calculators and computers
More informationCH 54 PREPARING FOR THE QUADRATIC FORMULA
1 CH 54 PREPARING FOR THE QUADRATIC FORMULA Introduction W e re pretty good by now at solving equations like (3x 4) + 8 10(x + 1), and we ve had a whole boatload of word problems which can be solved by
More informationSolutions to Homework 11
Solutions to Homework 11 Read the statement of Proposition 5.4 of Chapter 3, Section 5. Write a summary of the proof. Comment on the following details: Does the proof work if g is piecewise C 1? Or did
More information1 Differentiability at a point
Notes by David Groisser, Copyright c 2012 What does mean? These notes are intended as a supplement (not a textbook-replacement) for a class at the level of Calculus 3, but can be used in a higher-level
More informationThe Hodge Star Operator
The Hodge Star Operator Rich Schwartz April 22, 2015 1 Basic Definitions We ll start out by defining the Hodge star operator as a map from k (R n ) to n k (R n ). Here k (R n ) denotes the vector space
More informationMITOCW MITRES18_006F10_26_0501_300k-mp4
MITOCW MITRES18_006F10_26_0501_300k-mp4 ANNOUNCER: The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational
More informationMath (P)Review Part II:
Math (P)Review Part II: Vector Calculus Computer Graphics Assignment 0.5 (Out today!) Same story as last homework; second part on vector calculus. Slightly fewer questions Last Time: Linear Algebra Touched
More informationReview for the First Midterm Exam
Review for the First Midterm Exam Thomas Morrell 5 pm, Sunday, 4 April 9 B9 Van Vleck Hall For the purpose of creating questions for this review session, I did not make an effort to make any of the numbers
More informationSecond-Order Homogeneous Linear Equations with Constant Coefficients
15 Second-Order Homogeneous Linear Equations with Constant Coefficients A very important class of second-order homogeneous linear equations consists of those with constant coefficients; that is, those
More information