Math 1540 Hastings section Spring 2011 Notes 13 Di¤erential 2-forms on R2: 1 Wedge products Above we de…ned the 2-form dx dy; etc. These are called the “wedge products”of the one-forms dx and dy: If we have^ general one-forms on R2; say p dx + q dy and r dx + s dy; then their wedge product is (ps qr) dx dy: (1) ^ Once we realize that ps qr is a function from R2 to R we see that this was de…ned earlier, as a 2-form , in equations (3) and (4) of notes 12. The formula (1) can be obtained from ordinary algebra: (p dx + q dy) (r dx + s dy) = pr dx dx + ps dx dy + qr dy dx + qs dy dy; ^ ^ ^ ^ ^ where we used the previously established formulas dx dx = dy dy = 0 and dy dx = dx dy: ^ ^ ^ ^ 2 The exterior derivative of di¤erential forms We …rst add to our list of di¤erential forms: De…nition 1 A 0-cell on Rn is a function : 0 Rn: f g ! In practice, we will think of a 0-cell as a point in Rn: De…nition 2 A 0-form on Rn is a function F : Rn R: (There is a reason I used F instead of f; as you will see. ! Thus, if is a 0-cell and F is a 0-form, then F ( (0)) is de…ned as a real number. Further on we will use our usual integral notation for the value of a form on a cell, giving F = F ( (0)) : Z(0) We will probably not use ! to denote a 0-form, but instead the name of the function, such as F: 1 De…nition 3 The exterior derivative of a 0-form F is the functional dF : S1;n R given by ! dF () = F ( (1)) F ( (0)) : (2) We know that not all functionals on S1;n are one-forms. For example, the length of the curve is not a 1-form because it cannot be expressed as an integral in terms 2 of 0 = (0 ; 0 ). However, considering n = 2; if F : R R is smooth, then 1 2 ! 1 @F @F ( (t) ; (t)) 0 (t) + ( (t) ; (t)) 0 (t) dt @x 1 2 1 @y 1 2 2 Z0 1 d = F (1 (t) ; 2 (t)) dt = F ( (1)) F ( (0)) = dF () (3) dt Z0 Hence, dF is a 1-form . Continuing our use of integral notation for 1-forms, we now can write dF () = dF = F ( (1)) F ( (0)) : (4) Z In fact, comparing the formula above with the formula for a general 1-form with name ! = pdx + qdy; namely, 1 ! () = (p (x (t) ; y (t)) x0 (t) + q (x (t) ; y (t)) y0 (t)) dt; (5) Z0 we see that @F @F dF = dx + dy: (6) @x @y De…nition 4 Suppose that ! = p dx + q dy is a 1-form on R2: Then the exterior derivative of ! is d! = dp dx + dq dy; (7) ^ ^ where dp and dq are the exterior derivatives of the zero forms p and q: We have no di¢ culty knowing this is a form, since the wedge product was de…ned so as always to be a form; that is, an integral involving a determinant. We can easily get a more useful formula. Note that p and q are 0-forms on R2: @p @p We can use equation (6) to give dp = dx dx + @y dy; and a similar expression for dq: The, substituting these in (7) and using the rules for wedge products, we get @q @p d! = dx dy: (8) @x @y ^ 2 3 Chains and boundaries. Recall that a k-cell in Rn is a smooth function : Ik Rn: ! n De…nition 5 A k-chain (on R ) is a set of pairs (ai; i) of numbers ai and k-cells n i (on R ): = (a1; 1) ; :::; (aN ; N ) : f g Given a k-chain ; and a k-form !; we de…ne the integral of ! over as follows: N ! = i=1ai !: (9) Z Zi P This is a real number, and we can consider ! as a functional on the set of all k-chains. R As an example, consider the following four 1-cells on R2: 1 (t) = (1; t) ; 2 (t) = (0; t) ; 3 (t) = (t; 1) ; 4 (t) = (t; 0) ; (10) for 0 t 1.(t I1.) Let 2 = (1; 1) ; ( 1; 2) ; ( 1; 3) ; (1; 4) (11) f g Notice that 1 maps [0; 1] onto the right edge of the unit square, with the orientation given by the unit tangent vector (0; 1) : This points upward. Also, 2 maps [0; 1] onto the left edge of the unit square, also with upward orientation. By pairing 1 with 2; when we compute ! for some 1-form ! = pdx + qdy; we get a term R !: Z2 This is the value of ! on the 1-form (0; 1 t) ; which goes along the left side of the unit square from top to bottom. We have not changed the image of 2; just its 1 orientation. Similar considerations apply to ( 1; 3) and to (1; 4) ; and putting these together, we see that we have computed a line integral around the boundary of I2 going in the counterclockwise direction. Next we wish to de…ne the “boundary”of a k-cell, for k = 1 and 2: We start with a 1-cell : I1 Rn: ! De…nition 6 The boundary of a 1-cell is the 0-chain @ = (1; (1)) ; ( 1; (0)) (12) f g 1 Contrast this with the usual de…nition of 2; which would change its image. 3 3.1 The fundamental theorem of calculus. Suppose that F : R1 R (which equals R1 ). Then as we saw in De…nition 2, F is a 0-form on R1. And! in De…nition 3 we saw that the exterior derivative of F is dF () = dF = F ( (1)) F ( (0)) : (13) Z This is a 1-form, as seen in equation (3), making allowances for the fact that there we were discussing a 0-form on R2. Also, if is a 0-cell, we de…ned the boundary of ; @, in equation (12). Using (9) we get F = F F: (14) Z@ Z(1) Z(0) We have to interpret the right side correctly. Recall that a 0-cell is a point, and a 0-form is a functional on the set of zero cells. As we saw earlier, the usual integral notation for forms gives F = F ( (1)) ; F = F ( (0)) : Z(1) Z(0) Using (13) and (14) we get dF = F: (15) Z Z@ This is purely from the notation; no deep mathematics is involved. However, if F is continuously di¤erentiable, with derivative F 0 = f; then we can consider the 1-form f dx; which by de…nition is given by 1 f dx = f ( (t)) 0 (t) dt: Z Z0 (We are still in one dimension.) Using the change of variable theorem and the fundamental theorem of calculus, we get (1) f = f (x) dx = F ( (1)) F ( (0)) : Z Z(0) From this we see that the 1-form dF is the same as the 1-form F 0 dx: This result does require nontrivial mathematics, namely the fundamental theorem of calculus. 4 3.2 Boundary of a 2-form, Green’s theorem for the unit square. We can now de…ne the “boundary”of a 2-cell. De…nition 7 The boundary of a 2-cell is the 1-chain @ = (1; (1; t)) ; ( 1; (0; t)) ; (1; (t; 0)) ; ( 1; (t; 1)) : (16) f g One example is the 1-chain I gave earlier (equations (10) and (11) ), which is the boundary of the 2-cell (x; y) = (x; y) : Suppose that n = 2; and pdx + qdy is a 1-form on R2: We can ask: What is @ pdx + qdy ? This is the integral over a chain, so we have to use equation (9). In this section we will only consider the case where (x; y) = (x; y) : Thus, the image R of is the unit square I2: Then @ (t) = (1; (1; t)) ; ( 1; (0; t)) ; (1; (t; 0)) ; ( 1; (t; 1)) : f g In that case, (9) becomes pdx + qdy = pdx + qdy pdx + qdy Z@ Z1 Z2 pdx + qdy + pdx + qdy; Z3 Z4 where 1; 2; 3; and 4 are 1-forms in (10). I will evaluate one of these integrals and then give the …nal answer. Since 1 (t) = (1; t) ; the standard line integral formula, as in (5) above, gives 1 1 pdx + qdy = (0 + q (1; t) (1)) dt = q (1; t) dt: Z1 Z0 Z0 Evaluating the other integrals similarly, we get 1 pdx + qdy = (q (1; t) q (0; t) + p (t; 0) p (t; 1)) dt (17) Z@ Z0 We will now evaluate d!; Z 5 where ! = pdx + qdy and where we again choose to be the 2-form (x; y) = (x; y) : Recall from equation (8) that @q @p d! = dx dy: @x @y ^ We then apply the de…nition of the 2-form in De…nition 17 from Notes 12 (equation (3) of those notes). Recall that we are taking (x; y) = (x; y) : Hence @1 @1 1 0 det @x @y = det = 1 @2 @2 0 1 @x @y ! and using Fubini’stheorem, @q @p 1 1 @q 1 1 @p dx dy = dx dy dy dx: @x @y ^ @x @y 0 0 0 0 Z Z 1 Z Z Z = ((q (1; s) q (0; s)) (p (s; 1) p (s; 0))) ds Z0 which is the same as the right side of equation (17).