Citizendium - a community developing a quality comprehensive compendium of knowledge, online and free. Click here to join and contribute—free
CZ thanks AUGUST 2014 donors; special to Darren Duncan. SEPTEMBER 2014 donations open; need minimum total $100. Let's exceed that. Donate here. Treasurer's Financial Report -- Thanks to August content contributors. --




Divergence theorem

From Citizendium, the Citizens' Compendium

Jump to: navigation, search
This article is developing and not approved.
Main Article
Talk
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

The divergence theorem (also called Gauss's theorem or Gauss-Ostrogradsky theorem) is a theorem which relates the flux of a vector field through a closed surface to the vector field inside the surface. The theorem states that the outward flux of a vector field through a closed surface is equal to the triple integral of the divergence of the vector field inside the surface.

What this theorem actually states is the physical fact that in the absence of the creation or destruction of matter, the density within a region of space can change only by having it flow into or away from the region through its boundary.

The theorem is very applicable in different areas of physics, among others electrostatics and fluid dynamics. Another very important application of the theorem is that several physical laws can be written in both differential and integral form, see, for instance, Gauss' law for an application.

Contents

Mathematical statement

Let V be a compact volume with a piecewise smooth boundary \partial V. If \mathbf{F} is a continuously differentiable vector field defined in a neighbourhood of V, then

\iiint\limits_V \nabla \cdot \mathbf{F} \, d V =
\iint\limits_{\partial V}\mathbf{F} \cdot d\mathbf{S}

where d\mathbf{S} is defined by d\mathbf{S}=\mathbf{n} \, dS and \mathbf{n} is the outward-pointing unit normal vector field.

Corollaries

  • By applying the divergence theorem to the cross product of a vector field \mathbf{F} and a nonzero constant vector, one can show that
\iiint\limits_V \nabla \times \mathbf{F} \, d V =
\iint\limits_{\partial V}d\mathbf{S}\times \mathbf{F}
  • By applying the divergence theorem to the product of a scalar function f and a nonzero vector, one can show that
\iiint\limits_V \nabla f \, d V =
\iint\limits_{\partial V} f\,d\mathbf{S}
  • By applying the divergence theorem to the product of a scalar function g and a vector field \mathbf{F}, one gets the following result
\iiint\limits_V (\mathbf{F}\cdot(\nabla g) + g(\nabla\cdot \mathbf{F})) \, d V =
\iint\limits_{\partial V}g\mathbf{F}\cdot d\mathbf{S}
If the vector field \mathbf{F} can be expressed as a gradient of a scalar function f, that is \mathbf{F}=\nabla f, then the above equation is the basis for Green's Identities.

Physical interpretation

The divergence theorem can be interpreted as a conservation law, which states that the volume integral over all the sources and sinks is equal to the net flow through the volume's boundary.

This is easily shown by a simple physical example. Imagine an incompressible fluid flow (i.e. a given mass occupies a fixed volume) with velocity \mathbf{F}. Then the net flow through the boundary of the volume per unit time, is equal to the total amount of sources minus the total amount of sinks in the volume. But this sum of sources and sinks is just the volume integral of the divergence of \mathbf{F}.

Extension

The divergence theorem can be generalized. Firstly, the domain V does not have to be three-dimensional, but it can have any dimension. Secondly, the conditions on the domain and the integrand can be weakened slightly. One possible formulation is as follows. Suppose that the domain VRn has a Lipschitz boundaryV and that the vector field \mathbf{F} is in the Sobolev space H_1^1(V)^n, meaning that its weak derivative is L1-integrable. Then the conclusion of the divergence theorem still holds.

Views
Personal tools