Divergence Theorem

From Math Images

(Difference between revisions)
Jump to: navigation, search
Current revision (15:05, 28 June 2012) (edit) (undo)
(Fixed formatting again: Whoops.)
 
(10 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 theorem for 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 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.
|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.
-
|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 velocity [[vector]]. Faster moving water is represented by a larger vector in our field. The divergence of a vector field at a point is 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>,
+
|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.
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.
Line 17: Line 15:
-
<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>
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.
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 infinitely 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.
+
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.]]
[[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.]]
Line 30: Line 28:
[[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.]]
[[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>.
+
: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.
Line 36: Line 34:
*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.
*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.
:'''Step 3:''' We first parametrize the parts of the surface which have non-zero flux.
-
:{{hide|1= :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.
+
::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
+
::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>}}
+
::<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.
:'''Step 4:''' With this parametrization, we find a general normal vector to our surface.
-
:{{hide|1= :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.
+
::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 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 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>}}
+
::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.
+
-
:{{hide|1=: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.
+
:'''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.


Contents

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

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

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.
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.
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





If you are able, please consider adding to or editing this page!

Have questions about the image or the explanations on this page?
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.






Personal tools