# Divergence Theorem

### From Math Images

(Difference between revisions)
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|----------------------------------------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|----------------------------------------------------------------------------------------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | Current revision (15:05, 28 June 2012) (edit) (undo) (Fixed formatting again: Whoops.) |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| (28 intermediate revisions not shown.) |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| Line 1:                                |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | Line 1:                                                                                |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | {{Image Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | +                                                                                      | {{Image Description Ready                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        |
|                                        | |ImageName=Fountain Flux                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |                                                                                        | |ImageName=Fountain Flux                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         |
|                                        | |Image=Fountainflux.gif                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |                                                                                        | |Image=Fountainflux.gif                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -                                      | |ImageIntro=The water flowing out of a fountain demonstrates an important property of vector fields, the Divergence Theorem.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        | +                                                                                      | |ImageIntro=The water flowing out of a fountain demonstrates an important theorem for vector fields, the '''Divergence Theorem'''.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
| -                                      | |ImageDescElem=Consider a fountain like the one pictured, particularly its top layer. The rate that water flows out of the fountain's spout is directly related to the amount of water that flows off the top layer. Because something like water isn't easily compressed like air, if more water is pumped out of the spout, then more water will have to flow over the boundaries of the top layer. This is essentially what The Divergence Theorem states: the total the fluid being introduced into a volume is equal to the total fluid flowing out of the boundary of the volume.                                                                                                                                             | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | |Pre-K=No                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | |Elementary=Yes                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | |MiddleSchool=Yes                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | |HighSchool=Yes                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | |ImageDesc=The Divergence Theorem in its pure form applies to [[Vector Fields]].  Flowing water can be considered a vector field because at each point the water has a position and a velocity [[vector]].  Faster moving water is represented by a larger vector in our field.  The '''divergence''' of a vector field is a measurement of the expansion or contraction of the field; if more water is being introduced then the divergence is positive.  Analytically divergence of a field <math> F </math> is                                                                                                                                                                                                                   | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | <math> \nabla\cdot\mathbf{F} =\partial{F_x}/\partial{x} + \partial{F_y}/\partial{y} + \partial{F_z}/\partial{z}</math>,                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | +                                                                                      | |ImageDescElem=Consider the top layer of the fountain pictured. The rate that water flows out of the fountain's spout is directly related to the amount of water that flows off the top layer. Because something like water isn't easily compressed like air, if more water is pumped out of the spout, then more water will have to flow over the boundaries of the top layer. This is essentially what The Divergence Theorem states: the total the fluid being introduced into a volume is equal to the total fluid flowing out of the boundary of the volume if the quantity of fluid in the volume is constant.                             |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | where <math> F _i </math> is the component of <math> F </math> in the <math> i </math> direction.  Intuitively, if F has a large positive rate of change in the x direction, the partial derivative with respect to x in this direction will be large, increasing total divergence.  The divergence theorem requires that we sum divergence over an entire volume.  If this sum is positive, then the field must indicate some movement out of the volume through its boundary, while if this sum is negative, the field must indicate some movement into the volume through its boundary.  We use the notion of '''flux''', the flow through a surface, to quantify this movement through the boundary, which itself is a surface. | +                                                                                      | |ImageDesc=The Divergence Theorem in its pure form applies to [[Vector Fields]].  Flowing water can be considered a vector field because at each point the water has a velocity [[vector]].  Faster moving water is represented by a larger vector in our field.      The divergence of a vector field at a point is represented by the net flow of water going outwards from that point.  Analytically divergence of a field <math> F </math> is expressed in [[Partial derivative|partial derivatives]]:                                                                                                                                       |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | :*<math> \nabla\cdot\mathbf{F} =\partial{F_x}/\partial{x} + \partial{F_y}/\partial{y} + \partial{F_z}/\partial{z}</math>,                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | where <math> F _i </math> is the component of <math> F </math> in the <math> i </math> direction.  Intuitively, if F has a large positive rate of change in the x direction, the partial derivative with respect to x in this direction will be large, increasing total divergence.                                                                                                                                                                                                                                                                                                                                                              |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        | The divergence theorem is formally stated as:                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |                                                                                        | The divergence theorem is formally stated as:                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | <math>\iiint\limits_V\left(\nabla\cdot\mathbf{F}\right)dV=\iint\limits_{\partial V}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \mathbf F\;\cdot\mathbf n\,{d}S .</math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  | +                                                                                      | ::<math>\iiint\limits_V\left(\nabla\cdot\mathbf{F}\right)dV=\iint\limits_{\partial V}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \mathbf F\;\cdot\mathbf n\,{d}S .</math>                                                                                                                                                                                                                                                                                                                                                                                                                                                             |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | The left side of this equation is the sum of the divergence over the entire volume, and the right side of this equation is the sum of the field perpendicular to the volume's boundary at the boundary, which is the flux through the boundary.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | This theorem requires that we sum divergence over an entire volume, as shown in the left side of this equation..  If this sum is positive, then the field must indicate some movement out of the volume through its boundary, while if this sum is negative, the field must indicate some movement into the volume through its boundary.  We use the notion of '''flux''', the flow through a surface, to quantify this movement through the boundary, which itself is a surface.  The right side of this equation is the sum of the field perpendicular to the volume's boundary at the boundary, which is the total flux through the boundary. |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | Summing up divergence over the entire volume means we sum the flow into or out of each infinitesimal subregion.  A flow into one infinitesimal subregion means flow out of an adjacent subregion, which effects the next adjacent subregion, and so on until the boundary of the entire volume is reached. The total sum of divergence over the volume is thus equal to the flow at the boundary, as the theorem states.                                                                                                                                                                                                                         |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | [[Image:Gauss flowboxes.PNG|center|thumb|300px|A volume can be broken into infinitely small subregions, each of whose divergence effects the adjacent regions' divergence, up to the volume's boundary.]]                                                                                                                                                                                                                                                                                                                                                                                                                                        |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        | ===Example of Divergence Theorem Verification===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |                                                                                        | ===Example of Divergence Theorem Verification===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 |
|                                        | The following example verifies that given a volume and a vector field, the Divergence Theorem is valid.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |                                                                                        | The following example verifies that given a volume and a vector field, the Divergence Theorem is valid.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | Consider the vector field <math> F = \begin{bmatrix} x^2 \\ 0\\ 0\\ \end{bmatrix}</math>.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           | +                                                                                      | [[Image:Gausscube.PNG|right|400px|thumb|Cutaway view of the cube used in the example.  The purple lines are the vectors of the vector field F.]]                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | :Consider the vector field <math> F = \begin{bmatrix} x^2 \\ 0\\ 0\\ \end{bmatrix}</math>.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        | For a volume, we will use a cube of edge length two, and vertices at (0,0,0), (2,0,0), (0,2,0), (0,0,2), (2,2,0), (2,0,2), (0,2,2), (2,2,2).  This cube has a corner at the origin and all the points it contains are in positive regions.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |                                                                                        | For a volume, we will use a cube of edge length two, and vertices at (0,0,0), (2,0,0), (0,2,0), (0,0,2), (2,2,0), (2,0,2), (0,2,2), (2,2,2).  This cube has a corner at the origin and all the points it contains are in positive regions.                                                                                                                                                                                                                                                                                                                                                                                                       |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | We begin by calculating the left side of the Divergence Theorem.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    | +                                                                                      | *We begin by calculating the left side of the Divergence Theorem.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |
| -                                      | :'''Step 1''': Calculate the divergence of the field:                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               | +                                                                                      | :'''Step 1:''' Calculate the divergence of the field:                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |
| -                                      | :{{hide|1= :<math> \nabla\cdot F = 2x </math> }}                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    | +                                                                                      | ::<math> \nabla\cdot F = 2x </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
| -                                      | :'''Step 2''': Integrate the divergence of the field over the entire volume.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        | +                                                                                      | :'''Step 2:''' Integrate the divergence of the field over the entire volume.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
| -                                      | :{{hide|1= :<math> \iiint\nabla\cdot F\,dV =\int_0^2\int_0^2\int_0^2 2x \, dxdydz </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           | +                                                                                      | ::<math> \iiint\nabla\cdot F\,dV =\int_0^2\int_0^2\int_0^2 2x \, dxdydz </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
| -                                      | :<math>=\int_0^2\int_0^2 4\, dydx </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           | +                                                                                      | ::<math>=\int_0^2\int_0^2 4\, dydx </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
| -                                      | :<math>=16 </math>}}                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +                                                                                      | ::<math>=16 </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | *We now turn to the right side of the equation, the integral of flux.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | :'''Step 3:''' We first parametrize the parts of the surface which have non-zero flux.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::Notice that the given vector field has vectors which only extend in the x-direction, since each vector has zero y and z components.  Therefore, only two sides of our cube can have vectors normal to them, those sides which are perpendicular to the x-axis.  Furthermore, the side of the cube perpendicular to the x axis with all points satisfying x = 0 cannot have any flux, since all vectors on this surface are zero vectors.                                                                                                                                                                                                       |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::We are thus only concerned with one side of the cube since only one side has non-zero flux.  This side is parametrized using                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::<math>X=\begin{bmatrix} x \\ y\\ z\\ \end{bmatrix} = \begin{bmatrix} 2 \\ u\\ v\\ \end{bmatrix}\, , u \in (0,2)\, ,v \in (0,2) </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | :'''Step 4:''' With this parametrization, we find a general normal vector to our surface.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::To find this normal vector, we find two vectors which are always tangent to (or contained in) the surface, and are not collinear.  The cross product of two such vectors gives a vector normal to the surface.                                                                                                                                                                                                                                                                                                                                                                                                                                 |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::The first vector is the partial derivative of our surface with respect to u: <math> \frac{\part{X}}{\part{u}} = \begin{bmatrix} 0\\ 1\\ 0\\ \end{bmatrix} </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::The second vector is the partial derivative of our surface with respect to v: <math> \frac{\part{X}}{\part{v}} = \begin{bmatrix} 0\\ 0\\ 1\\ \end{bmatrix} </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::The normal vector is finally the cross product of these two vectors, which is simply <math> N = \begin{bmatrix} 1\\ 0\\ 0\\ \end{bmatrix}.</math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | :'''Step 5:''' Integrate the [[dot product]] of this normal vector with the given vector field.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::The amount of the field normal to our surface is the flux through it, and is exactly what this integral gives us.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::<math> \iint\limits_{\partial V}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \mathbf F\;\cdot\mathbf n\,{d}S .</math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::<math>= \int_0^2 \int_0^2 F \cdot N \,dsdt </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::<math>= \int_0^2 \int_0^2 \begin{bmatrix} x^2 \\ 0\\ 0\\ \end{bmatrix} \cdot \begin{bmatrix} 1 \\ 0\\ 0\\ \end{bmatrix} \,dsdt =  \int_0^2 \int_0^2 x^2dsdt = \int_0^2 \int_0^2 4 \,dsdt </math>                                                                                                                                                                                                                                                                                                                                                                                                                                               |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::<math>=16 </math>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | ::Both sides of the equation give 16, so the Divergence Theorem is indeed valid here. ■                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|                                        | |other=Some multivariable calculus                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |                                                                                        | |other=Some multivariable calculus                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
|                                        | |AuthorName=Brendan John                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |                                                                                        | |AuthorName=Brendan John                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         |
| -                                      | |SiteURL=http://www.explace.on.ca/V15.html                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          | +                                                                                      | |SiteURL=http://www.cnearchives.com/v15.htm                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |
|                                        | |Field=Calculus                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |                                                                                        | |Field=Calculus                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | |References=Another explanation: http://mathworld.wolfram.com/DivergenceTheorem.html                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | More examples: http://faculty.eicc.edu/bwood/ma220supplemental/supplemental34.htm                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |
|                                        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +                                                                                      | |InProgress=No                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
|                                        | }}                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |                                                                                        | }}                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |

## Current revision

Fountain Flux
Field: Calculus
Image Created By: Brendan John
Website: [1]

Fountain Flux

The water flowing out of a fountain demonstrates an important theorem for vector fields, the Divergence Theorem.

# Basic Description

Consider the top layer of the fountain pictured. The rate that water flows out of the fountain's spout is directly related to the amount of water that flows off the top layer. Because something like water isn't easily compressed like air, if more water is pumped out of the spout, then more water will have to flow over the boundaries of the top layer. This is essentially what The Divergence Theorem states: the total the fluid being introduced into a volume is equal to the total fluid flowing out of the boundary of the volume if the quantity of fluid in the volume is constant.

# A More Mathematical Explanation

Note: understanding of this explanation requires: *Some multivariable calculus
[Click to view A More Mathematical Explanation]

The Divergence Theorem in its pure form applies to Vector Fields. Flowing water can be considere [...]

[Click to hide A More Mathematical Explanation]

The Divergence Theorem in its pure form applies to Vector Fields. Flowing water can be considered a vector field because at each point the water has a velocity vector. Faster moving water is represented by a larger vector in our field. The divergence of a vector field at a point is represented by the net flow of water going outwards from that point. Analytically divergence of a field $F$ is expressed in partial derivatives:

• $\nabla\cdot\mathbf{F} =\partial{F_x}/\partial{x} + \partial{F_y}/\partial{y} + \partial{F_z}/\partial{z}$,

where $F _i$ is the component of $F$ in the $i$ direction. Intuitively, if F has a large positive rate of change in the x direction, the partial derivative with respect to x in this direction will be large, increasing total divergence.

The divergence theorem is formally stated as:

$\iiint\limits_V\left(\nabla\cdot\mathbf{F}\right)dV=\iint\limits_{\partial V}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \mathbf F\;\cdot\mathbf n\,{d}S .$

This theorem requires that we sum divergence over an entire volume, as shown in the left side of this equation.. If this sum is positive, then the field must indicate some movement out of the volume through its boundary, while if this sum is negative, the field must indicate some movement into the volume through its boundary. We use the notion of flux, the flow through a surface, to quantify this movement through the boundary, which itself is a surface. The right side of this equation is the sum of the field perpendicular to the volume's boundary at the boundary, which is the total flux through the boundary.

Summing up divergence over the entire volume means we sum the flow into or out of each infinitesimal subregion. A flow into one infinitesimal subregion means flow out of an adjacent subregion, which effects the next adjacent subregion, and so on until the boundary of the entire volume is reached. The total sum of divergence over the volume is thus equal to the flow at the boundary, as the theorem states.

A volume can be broken into infinitely small subregions, each of whose divergence effects the adjacent regions' divergence, up to the volume's boundary.

### Example of Divergence Theorem Verification

The following example verifies that given a volume and a vector field, the Divergence Theorem is valid.

Cutaway view of the cube used in the example. The purple lines are the vectors of the vector field F.
Consider the vector field $F = \begin{bmatrix} x^2 \\ 0\\ 0\\ \end{bmatrix}$.

For a volume, we will use a cube of edge length two, and vertices at (0,0,0), (2,0,0), (0,2,0), (0,0,2), (2,2,0), (2,0,2), (0,2,2), (2,2,2). This cube has a corner at the origin and all the points it contains are in positive regions.

• We begin by calculating the left side of the Divergence Theorem.
Step 1: Calculate the divergence of the field:
$\nabla\cdot F = 2x$
Step 2: Integrate the divergence of the field over the entire volume.
$\iiint\nabla\cdot F\,dV =\int_0^2\int_0^2\int_0^2 2x \, dxdydz$
$=\int_0^2\int_0^2 4\, dydx$
$=16$
• We now turn to the right side of the equation, the integral of flux.
Step 3: We first parametrize the parts of the surface which have non-zero flux.
Notice that the given vector field has vectors which only extend in the x-direction, since each vector has zero y and z components. Therefore, only two sides of our cube can have vectors normal to them, those sides which are perpendicular to the x-axis. Furthermore, the side of the cube perpendicular to the x axis with all points satisfying x = 0 cannot have any flux, since all vectors on this surface are zero vectors.
We are thus only concerned with one side of the cube since only one side has non-zero flux. This side is parametrized using
$X=\begin{bmatrix} x \\ y\\ z\\ \end{bmatrix} = \begin{bmatrix} 2 \\ u\\ v\\ \end{bmatrix}\, , u \in (0,2)\, ,v \in (0,2)$
Step 4: With this parametrization, we find a general normal vector to our surface.
To find this normal vector, we find two vectors which are always tangent to (or contained in) the surface, and are not collinear. The cross product of two such vectors gives a vector normal to the surface.
The first vector is the partial derivative of our surface with respect to u: $\frac{\part{X}}{\part{u}} = \begin{bmatrix} 0\\ 1\\ 0\\ \end{bmatrix}$
The second vector is the partial derivative of our surface with respect to v: $\frac{\part{X}}{\part{v}} = \begin{bmatrix} 0\\ 0\\ 1\\ \end{bmatrix}$
The normal vector is finally the cross product of these two vectors, which is simply $N = \begin{bmatrix} 1\\ 0\\ 0\\ \end{bmatrix}.$
Step 5: Integrate the dot product of this normal vector with the given vector field.
The amount of the field normal to our surface is the flux through it, and is exactly what this integral gives us.
$\iint\limits_{\partial V}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \mathbf F\;\cdot\mathbf n\,{d}S .$
$= \int_0^2 \int_0^2 F \cdot N \,dsdt$
$= \int_0^2 \int_0^2 \begin{bmatrix} x^2 \\ 0\\ 0\\ \end{bmatrix} \cdot \begin{bmatrix} 1 \\ 0\\ 0\\ \end{bmatrix} \,dsdt = \int_0^2 \int_0^2 x^2dsdt = \int_0^2 \int_0^2 4 \,dsdt$
$=16$
Both sides of the equation give 16, so the Divergence Theorem is indeed valid here. ■

# Teaching Materials

There are currently no teaching materials for this page. Add teaching materials.

# References

Another explanation: http://mathworld.wolfram.com/DivergenceTheorem.html

More examples: http://faculty.eicc.edu/bwood/ma220supplemental/supplemental34.htm

Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 19, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8531181216239929, "perplexity_flag": "middle"}