In this blog entry you can find lecture notes for Math2111, several variable calculus. See also the table of contents for this course. This blog entry printed to pdf is available here.

In this entry we show that all the fundamental theorems (fundamental theorem of calculus, fundamental theorem of line integrals, Green’s theorem, Stokes’ theorem and the divergence theorem) are based on the same principle. Further, we will see that those theorems are all the fundamental theorems in and

All the fundamental theorems have the same basic structure, namely, they are of the form

At this stage it is not clear what is meant by this expression, but it will become more clear what we mean by this by considering several instances of this expression below.

Here, for some or We call the ambient space. Further is the boundary of We require some restrictions on that is, we shall assume that is compact and that the boundary is closed and connected and can be parameterised by a continuously differentiable function. Note that if the dimension of is then the dimension of is

Further, stands for the integrand and stands for some derivative of (to be more precise, stands for either differentiation, gradient, divergence, scalar curl or curl; the importance of these operators can for instance be seen from Helmholtz’s theorem).

We always assume that is continuously differentiable. Again, what is meant by and shall become clear by the examples considered below.

*Note:* We only consider the fundamental theorems of the form (1) only for line and surface integrals over vector fields.

We categorize all the theorems according to the dimension of the ambient space.

**A. Ambient space **

We start with the simplest case where the ambient space is This case requires some interpretation of the symbols introduced above.

In this case, (we shall assume that is an interval). Then the fundamental theorem of calculus asserts that

Here, the dimension of is hence the dimension of is Indeed, the boundary simply consists of the real numbers and and this boundary has dimension We define a dimensional subset consisting of two points to be closed and connected by definition (note that the points considered as a dimensional subset, i.e., are not connected if ).

Here and We interpret as By interpreting the symbols in (1) in this way, we can say that (2) is of the form (1).

**B. Ambient space **

Here we have Hence the dimension of can be either or

- Dimension of is
- Dimension of is

In this case is a curve and the boundary consists of two points. The integral over must therefore be a line integral over some vector field. In fact, this vector field must be a derivative of some form, since it must fit into the form (1). Since the ambient space is we consider functions defined on some subset of The `derivatives’ of such a function are the gradient, divergence and scalar curl. Of these, only the gradient is a vector field defined on a subset of Hence the only possible form of the left-hand side of (1) is a line integral over the gradient of a scalar field Therefore, similarly to the fundamental theorem of calculus, the right-hand side of (1) is just the difference of the function values at the boundary points. Therefore we obtain that (1) must be of the form

where is the starting point and is the end point of the curve

Here, is a dimensional subset of and is a dimensional subset, i.e. is a closed curve. Hence the right-hand side of (1) must be a line integral over a vector field (and this is also the only possible choice). The left-hand side on the other hand is now a double integral over of a scalar field. This scalar field must be some derivative of the vector field There are now two possibilities, namely can stand for the divergence of or the scalar curl of In fact, both choices are possible. By this we obtain the two forms of Green’s theorem, namely

which is Green’s theorem in tangential form, and

which is Green’s theorem in normal form. Those two theorems are essentially the same since one can be obtained from the other by a simple substitution.

**C. Ambient space **

Here we have Hence the dimension of can be either or

- Dimension of is
- Dimension of is
- Dimension of is

In this case the dimension of is , that is is a curve and the boundary consists again of the starting point of the curve and the end point of the curve. In this case, similarly to B.1 we obtain the fundamental theorem of line integrals

Now the dimension of is and hence the dimension of the boundary is Thus is a surface in and the boundary is a curve. Hence, the left-hand side of (1) is a surface integral over some vector field which is a derivative and the right-hand side is a line integral over some vector field Hence in order to find over what kind of object we are integrating over, we have to ask what derivative of a vector field on yields again a vector field on ? Here, the choices for derivative are gradient, curl or divergence. The gradient and divergence of a vector field are not vector fields on hence the only possible choice is Thus in (1) must stand for the curl of Therefore, in this case (1) is of the form

This is Stokes’ theorem.

Here is dimensional and is dimensional. Hence is a dimensional region in space and the boundary is a surface. Thus the left-hand side of (1) is a triple integral over some region in space and the right-hand side is a surface integral. The surface integral must be over a vector field and the triple integral must be over a scalar field. Further, this scalar field must be some derivative of The only possible choice is therefore that the derivative of is the divergence, i.e. stands for the vector field and must stand for Thus we obtain

This is the divergence theorem.

**Some further remarks**

The above categorization shows that we have exhausted all possibilities, hence we have seen all the fundamental theorems in dimension up to All of those theorems have the basic structure

Notice that this is also the only possible form. If the dimension of is then the dimension of is Hence on the left-hand side we have one more integral than on the right-hand side. By the fundamental theorem of calculus, integration is undoing the effect of differentiation, i.e. we have Hence, since we have one more integral on the left-hand side, we need to have some derivative on the left-hand side.

The opposite does not hold. For instance, consider the ambient space and let be a dimensional subset of Then is a surface. Now if we would have a derivative on the right-hand side instead of the left-hand side, we could get an expression of the form for some scalar field But this does **not** hold. Consider for example Then and

There are also fundamental theorems for the ambient spaces where To obtain these, one needs to consider differential forms. How this works is explained in Chapter 5: Additional Material: Differential forms and the general Stokes’ theorem.

Hi, is the Green’s theorem in normal form above meant to be double integral div F equal to some line integral, not scalar curl?

Yes. Changed it already.