9 The Divergence Theorem

The divergence theorem is an equality that can be proven for any vector field.  All of our conservation equations and large-scale budgets that are so useful in oceanography are based on this mathematical principle. In this context, the vector field is the flux of some property in the ocean.

The divergence theorem relates the net transport outward through the surrounding surface of a closed volume to the total divergence inside. Consider the figure below showing vector field \underline{\bold{F}} and the surface of a sphere. There is a positive divergence inside the sphere that results in outward directed flux vectors.  In this particular illustration, the flux vectors along the surface are directed outward everywhere, but this is not necessary – there could be some inflowing vectors and some outward flowing vectors – what matters is the net transport, found by adding up “flux times area” elements over the entire surface.

A sphere with an arbitrary vector field under positive divergence

 

This theorem is usually stated mathematically using surface and volume integrals, but that is beyond the level of calculus expected for this class.  Instead, we will approach it by imagining that the surface of the sphere is divided up into a very large number of surface elements.

The i-th surface area element:

  • has surface area a_i.
  • is associated with a local value of the flux vector \underline{\bold{F}}_i
  • has a unit normal vector \hat{n}_i that is directed outward and perpendicular to this surface element
  • has an outward flux passing through the surface \underline{\bold{F}}_i \cdot \hat{n}_i

The total outward transport (flux times area) passing through the surface of the sphere = \sum_{i} \left(\underline{\bold{F}}_i \cdot \hat{n}_i\right)a_i

Next, we apply a similar idea to the volume inside the sphere, dividing it up into a very large number of volume elements.

The j-th interior volume element:

  • has volume V_j
  • is associated with a local vector \underline{\bold{F}}_j
  • is associated with a local divergence of that vector field \nabla \cdot \underline{\bold{F}}_j
The total divergence inside the sphere = \sum_{j} \left(\nabla \cdot \underline{\bold{F}}_j \right)V_j

Key Takeaways

The divergence theorem sets the net transport outward across the surface of a closed volume (e.g., the sphere in the figure above) is equal to the total divergence inside the sphere.

    \[ \sum_{i} \left(\underline{\bold{F}}_i \cdot \hat{n}_i\right)a_i = \sum_{j} \left(\nabla \cdot \underline{\bold{F}}_j \right)V_j \]

Practically, if there is a net outward transport of a property across some volume, there must be a source of that property inside the volume (in order for there to be a positive total divergence).

For a highly visual discussion of divergence and the divergence theorem, see the first half of this YouTube video:

Media Attributions