Skip to main content

Section 11.1 The Divergence Theorem in the Plane

Suppose that f=(f1,f2) is a smooth vector field. Applying Green’s theorem to the field (f2,f1) we obtain
D(x1f1+x2f2)dx1dx2=Df1dx2f2dx1.
We want to get an interpretation of the integral on the right hand side. To do so suppose that
γ(t)=(γ1(t),γ2(t)),t[a,b]
is a regular parametrisation of some part CD consistent with the orientation of D. By definition of the line integral we have
Cf1dx2f2dx1=abf1(γ1(t),γ2(t))γ2(t)f2((γ1(t),γ2(t))γ1(t)dt.
We can view the integrand on the right hand side as a dot product of f with the vector (γ2(t),γ1(t)). We rescale the latter to unit length and define
n(t):=1γ(t)[γ2(t)γ1(t)].
Observe that n(t) is perpendicular to the positive unit tangent vector τ(t)=γ(t)/γ(t). As it is outward pointing, it is called the outward pointing unit normal to D. Both vectors are shown in Figure 11.1.
Figure 11.1. Positive tangent and outward pointing unit normal vectors.
Hence we can rewrite our integral as
Cf1dx2f2dx1=abf(γ(t))n(γ(t))γ(t)dt
By our Definition 7.15 of line integrals we see that
(11.1)Cf1dx2f2dx1=Cfnds.
Let Δs denote a very small line element. If f models the motion of a fluid (direction and velocity of fluid at a given point) then fnΔs is the flux across D through the line element Δs, and fnΔs is the approximate amount of fluid flowing across the boundary D through ds. The situation is depicted in Figure 11.2. Note that the area of the parallelogram and the rectangle are the same.
Figure 11.2. Flux across a boundary element of D. The parallelogram and the rectangle have the same area.
Hence the integral on the right hand side of (11.1) represents the total flux of f across CD. Note that the above arguments are completely analogous to those used in Section 9.6 to find the flux of a vector field in space across a surface. Going back to the original formula we see that
D(x1f1+x2f2)dx1dx2=Dfnds
is the total loss (or increase) of the fluid from D through D. We make the following definition.

Definition 11.3. Divergence of a vector field.

If f=(f1,,fN) is a vector field in RN then
divf:=x1f1+x2f2++xNfN
is called the divergence of the vector field.

Remark 11.4.

Often the divergence of a vector field is written using the nabla operator in Definition 8.15. Formally, divf is the scalar product of with f, and so we write
f:=divf.
We can now rewrite Green’s theorem. In that form it has a different name.
There is a direct generalisation of the Divergence Theorem to three or more dimensions. We will discuss it in Chapter 12.