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.

Here we discuss the conditions under which Green’s theorem (see also here) applies, more precisely for which curves and regions enclosed by the curve.

The formula in Green’s theorem states that

where is a continuously differentiable vector field, is a curve which is simple, closed, smooth and oriented positively, and is the region enclosed by the curve

First, the conditions on the curve and the region must be such that the line integral and double integral in (1) are well defined.

**The curve **

Let us discuss the line integral and curve first. If has a parameterisation which is piecewise continuously differentiable, then the line integral is well defined. On the other hand, the line integral is also defined under weaker conditions: it is enough to assume that is continuous and has bounded variation. Let Then has bounded variation if and each have bounded variation, which means that where stands for variation. The variation is defined by

where the supremum is taken over all partitions of the interval where Note that if is continuously differentiable, then

It can be shown that if is continuous and such that each of the components have bounded variation, then the parameterised curve has finite length. We call such curves rectifiable.

Note that assuming that the parameterisation is only continuous is not sufficient, since there are curves which are continuous everywhere but nowhere differentiable and which have infinite length (see the Koch curve).

Let now be a continuous vector field and let be rectifiable. Then we define

where the last two integrals are Riemann-Stieltjes integrals.

Hence, the line integral is well-defined if is continuous and each of its components have bounded variation.

**The region **

We now discuss the region which is enclosed by the curve (which is parameterised by ). The double integral is certainly defined (since we assume that are continuous) if is Jordan-measurable.

A non-empty bounded set is called Jordan-measurable if the function

is Riemann-integrable.

There is a theorem which states that a set is Jordan-measurable if and only if its boundary has Lebesgue measure zero. The boundary of is just the curve since is defined as the region enclosed by (The last statement is well-defined by the Jordan-curve theorem.) Since is rectifiable it has Lebesgue measure zero (the curve is Lebesgue measurable since it is the image of a continuous map defined on a compact set and hence the curve is compact). Therefore, the region enclosed by the simple closed curve which is parameterised by a continuous and rectifiable function is Jordan-measurable (such curves are also called rectifiable Jordan curves).

Thus the assumptions on guarantee that the region is Jordan-measurable and, in turn, the double integral is well defined.

**Curves and regions for which Green’s theorem applies**

So far we investigated curves and regions which ensure that the line integral and double integral in (1) are well defined. We now turn to Green’s theorem itself and investigate in more detail for which regions Green’s theorem holds.

Let be an interval with and let be two continuous functions such that for all The set

is called -simple. Analogously, let be an interval with and let be two continuous functions such that for all We call the set

-simple.

For such regions the following two lemmas apply.

Lemma

Let be an -simple region and let be continuously differentiable. Thenwhere is the boundary curve of oriented counterclockwise.

Lemma

Let be an -simple region and let be continuously differentiable. Thenwhere is the boundary curve of oriented counterclockwise.

A proof of these results can be found here. Notice that the proof only requires that the functions are continuous – no further smoothness assumption is needed.

Green’s theorem can now be obtained by adding up the two equations from the above lemmas and by assuming that the region is simultaneously -simple and -simple. Regions which are both -simple and -simple are in the following called simple.

What is not yet clear however is the following. In the definition of -simple and -simple we assumed that the boundary is only continuous. However, it is known that there are simple closed curves (the Koch curve for instance) which are not rectifiable and hence for which line integrals over such curves are not well defined. The following result states that this cannot happen. That is, the boundary curve of a region which is simple (i.e. -simple and -simple) has bounded variation.

Lemma

Let be a region which is -simple and -simple. Then the boundary curve has bounded variation and is therefore rectifiable.

The proof is left as an exercise.

The last result now implies that the line integral is well-defined, and since the boundary curve is a simple closed curve which is continuous and rectifiable, the region is Jordan-measurable. Hence also the double integral is well defined.

** More general regions**

Green’s theorem also applies to regions enclosed by a simple closed curve, where can be divided into a finite number of simple regions.

Green’s theorem

Let be a region whose boundary is made up of a finite number of simple closed curves. Suppose that by means of a finite number of line segments parallel to the coordinate axes, can be decomposed into a finite number of simple regions with the boundary of each oriented counterclockwise. Then if and are continuously differentiable on thenwhere the boundary curve is oriented counterclockwise.

To prove this result one applied Green’s theorem to each The line integral over the curves inside the region cancel which then implies the result. The details are left as an exercise.