Unformatted text preview: SUPPLEMENTARY READING FOR MATH 53: DIFFERENTIAL FORMS AND THE GENERAL STOKES FORMULA
EDWARD FRENKEL, UC BERKELEY The purpose of these notes is to outline brieﬂy a general formalism which allows for a uniform treatment of various integrals studied in Chapter 16 of Stewart’s book. More details can be found in the book by I. Madsen and J. Tornehave, From Calculus to Cohomology, Cambridge University Press, 1997. 1. What do we integrate? Let Y be an m–dimensional domain in Rn (of course, m ≤ n). What can we integrate over Y ? Let for example m = 1, i.e., Y is a curve C . We have learned how to integrate the following expressions over curves in R3 : (1.1) P dx + Qdy + Rdz, where P, Q, R are functions in (x, y, z ). How do we perform this integration in practice? We ﬁrst parametrize our curve: x = x(t), y = y (t), z = z (t), a ≤ t ≤ b. In other words, we identify our curve C with a ﬂat one-dimensional domain: the interval [a, b]. Then we write ∂y ∂z ∂x (P dx + Qdy + Rdz ) = P dt + Q dt + r dt ∂t ∂t ∂t C [a,b] ∂x dt, etc.). The RHS is a familiar one-dimensional ∂t integral. This is what the book calls the line integral of the vector ﬁeld F = P, Q, R over C , but as we see it is more natural to think that we really integrate not F, but the expression (1.1). Likewise, the general expression that can be integrated over a surface S in R3 (the case m = 2) is (here we use the fact that dx = (1.2) Adydz + Bdzdx + Cdxdy, where A, B, C are functions in (x, y, z ). The integral of this expression over S can be computed as follows. We parametrize S : x = x(u, v ), y = y (u, v ), z = z (u, v ),
Date : December 3, 2009.
1 (u, v ) ∈ D ⊂ R2 , 2 EDWARD FRENKEL, UC BERKELEY that is identify S with a ﬂat domain D in R2 . After that we can write (1.3) (Adydz + Bdzdx + Cdxdy ) = S ∂ (y, z ) ∂ (z, x) ∂ (x, y ) A dudv + B dudv + C dudv . ∂ (u, v ) ∂ (u, v ) ∂ (u, v ) D Here we use the change of variables formulas: dxdy = ∂ (x, y ) dudv, ∂ (u, v ) etc ., ∂ (x,y where ∂ (u,v) denotes the familiar Jacobian. ) Note that, according to the last formula, we have dxdy = −dydx, because ∂ (x, y ) ∂ (y, x) =− . ∂ (u, v ) ∂ (u, v ) The right hand side of formula (1.3) is what the book calls the ﬂux of the vector ﬁeld A, B, C (look at formula (9) of Sect. 16.7 and expand ru × rv ). But this formula shows that it is more natural to think that we are integrating the expression (1.2). Finally, the most general expression that we can integrate over a solid E in R3 has the form (1.4) f (x, y, z )dxdydz, and the corresponding integral is f (x, y, z )dxdydz,
E which is the standard triple integral. Note that we do not need to parametrize E : unlike C and S , it is already ﬂat (in other words, (x, y, z ) themselves are the ﬂat coordinates). After these examples one can guess that the general object that we should integrate over an m–dimensional domain Y in Rn (with coordinates x1 , . . . , xn ) is the sum of terms of the form (1.5) f (x1 , . . . , xn )dxi1 dxi2 . . . dxim , where f (x1 , . . . , xn ) is a function in x1 , . . . , xn . We must have exactly m factors dxj in this expression, since we are going to integrate m times. Moreover, all dxij ’s appearing in a product dxi1 dxi2 . . . dxim must be distinct. Indeed, we don’t want to integrate dxdx, say, over a surface S in R3 – the result would be 0. So for example for m = 2 and n = 3 we have the following possibilities: dxdy, dydx, dydz, dzdy, dxdz, dzdx. But actually dxdy is the same as −dydx, as we have seen above. Hence there are only 3 truly distinct elements: dxdy, dydz, dzdx. Therefore the sum of terms of the form 3 (1.5) becomes formula (1.2). Other examples are given by formulas (1.1) and (1.4) – they correspond to the cases when m = 1, n = 3 and m = 3, n = 3, respectively. How to integrate the expression (1.5) over an m-dimensional domain Y in Rn ? In the same way as in the case n = 3 (see above). First, parametrize the domain, i.e., identify it with a ﬂat domain Z ⊂ Rm with coordinates z1 , . . . , zm . This means writing each xi as a function xi (z1 , . . . , zm ). After that we can write ∂ ( x i 1 , xi 2 , . . . , x i m ) f dxi1 dxi2 . . . dxim = f dz1 dz2 . . . dzm , ∂ (z1 , z2 , . . . , zm ) Y Z where we have included the Jacobian of the corresponding change of variables. The RHS is a standard multiple integral, which can be evaluated as an iterated integral in the same way as we do it for m = 2 and m = 3. Terminology: the expression (1.5) is called a diﬀerential form of degree m, or an m–form. Note that a 0–form is just the same as a function. Thus, (1.1) is a 1–form, (1.2) is a 2–form, etc. Conclusion: we are integrating m–forms. 2. de Rham differential Now we introduce an operation d that manufactures an (m + 1)–form, denoted by dω , out of any m–form ω . On an m–form (1.5) it acts as follows:
n ∂f d (f (x1 , . . . , xn )dxi1 dxi2 . . . dxim ) = dxj dxi1 dxi2 . . . dxim . ∂ xj j =1 A general m–form is a sum of terms of the form (1.5). The result of application of d to a general form is just the sum of the applications of d to each of these terms (in other words, d is a linear map). This operation is called the de Rham diﬀerential, after French mathematician Georges de Rham. Examples. (1) Let ω be a 0–form, that is a function f . Then we ﬁnd:
n ∂f df = dxj . ∂ xj j =1 This is nothing but the usual diﬀerential of the function f considered as a 1–form. (2) Let ω be a 1–form (1.1) in R3 . Then dω = ∂P ∂P ∂P dxdx + dydx + dzdx ∂x ∂y ∂z ∂Q ∂Q ∂Q + dxdy + dydy + dzdy ∂x ∂y ∂z ∂R ∂R ∂R + dxdz + dydz + dzdz. ∂x ∂y ∂z 4 EDWARD FRENKEL, UC BERKELEY But remember that dxdx = dydy = dzdz = 0, and also that dydx = −dxdy , etc. Therefore we can rewrite this formula as follows: ∂R ∂Q dω = − dydz ∂y ∂z ∂P ∂R + − dzdx ∂z ∂x ∂Q ∂P + − dxdy. ∂x ∂y We see that the functions arising here are the components of curl of the vector ﬁeld P, Q, R. Thus we obtain a very nice interpretation of curl using the de Rham diﬀerential! (3) Let ω be a 2–form given by (1.2). Then we ﬁnd in the same way as in example (2): ∂A ∂B ∂C dω = + + dxdydz. ∂x ∂y ∂z The function in the RHS is nothing but div of the vector ﬁeld A, B, C . An important property of d is that it is nilpotent: d2 = 0 (check this!). This implies that if ω = dν , then dω = 0. This fact is a generalization of the following facts that we have seen in our course: curl(∇f ) = 0, div(curl F) = 0. Moreover, the converse is also true (it is known as the Poincare lemma): If ω is an m–form well-deﬁned on the entire Rn , such that dω = 0, then there exists an (m − 1)–form ν , such that ω = dν . This is a generalization of the following facts: m = 1. If curl F = 0, then F is conservative, i.e., F = ∇f for some function f . m = 2. If div E = 0, then E = curl F for some F. 3. The general Stokes formula Let Y be an m–dimensional domain in Rn , and denote by b(Y ) its boundary (it is (m − 1)–dimensional). Let ω be any (m − 1)–form in Rn . Then the following formula, called the general Stokes formula, is true: (3.1) dω = ω.
Y b (Y ) Here are the special cases of this formula (to see that, look at the examples above): m = 1, n = 1. This is the Fundamental Theorem of Calculus. m = 1, n = 2 and m = 1, n = 3. This is the Fundamental Theorem for line integrals. m = 2, n = 2. This is Green’s Theorem. m = 2, n = 3. This is Stokes’ Theorem. m = 3, n = 3. This is the Divergence Theorem. 5 Thus, formula (3.1) gives us an elegant one-line formulation of the main results of Chapter 16. It also indicates a tantalizing connection between the geometric operation of taking the boundary b(Y ) of a domain Y and the algebraic operation d on diﬀerential forms. According to formula (3.1), the two are dual to each. Integration is a pairing of two objects: one geometric – the domain of integration – and one algebraic – the diﬀerential form that we are integrating. On each type of objects there is a natural operation: taking the boundary of the domain on the geometric side, and taking the de Rham diﬀerential on the algebraic side. Both operations are nilpotent: for the de Rham diﬀerential d we have d2 = 0, and we also know that the boundary of the boundary of any domain is empty. The general Stokes formula (3.1) says that we can “trade” one operation for the other. It is in this sense that they are dual to each other. This is a deep result which opens up the possibility of analyzing geometry by algebraic means. This idea is in fact one of the cornerstones of modern analysis. If you want to read more about this, try the article “The notion of dimension in geometry and algebra” by Yu.I. Manin, available at http://arxiv.org/abs/math.AG/0502016 ...
View Full Document
- Spring '08
- Physics, RHS, Edward Frenkel, general stokes formula