Calc3.6

The Divergence

Definition

We've discussed partial derivatives, and we've even discussed a way to take a sort of "complete" derivative of multivariable functions (the gradient). But the gradient only works for scalar functions; how about a "complete" kind of derivative for vector fields?

In two dimensions, there is just one, but in three dimensions, there are, for reasons which won't appear until much later in your mathematical education. The first of these is called the divergence, which we investigate now.

Consider a vector field ${\vec {F}}=f_{1}{\vec {i}}+f_{2}{\vec {j}}+f_{3}{\vec {k}}$, which we interpret as representing the velocity of a fluid occupying space, or a very thin layer of flowing fluid on a plane. Suppose we wished to find out if there are any sources of fluid (like a faucet), or drains - how might we go about this?

Well, consider some specific point, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x_0,y_0,z_0)=\vec{p}} . If we surround Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{p}} with a sphere, call it S, then obviously

$\iint \limits _{S}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset \!\supset {\vec {F}}dS$

will contain some contribution from whatever "flow" is coming out of, or going into, ${\vec {p}}$. It will, of course, also contains contributions from the various other points in its interior, but, if we let the radius r of the sphere S go to 0, then this integral will ONLY measure the flow at Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{p}} . Hence we define the divergence of a vector field Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{F}} as

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{div}\ \vec{F} = \lim_{r\to 0} \left( \frac{1}{\frac{4}{3}\pi r^3} \iint\limits_{S}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \vec{F}\cdot\vec{n}_S dS \right)}

where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{n}_S} is the outward pointing surface normal of unit length to S.

Computation

See the proof page for details.

This is an unwieldy definition, so we frequently use the equivalent statement

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle div \vec{F} = \frac{\partial f_1}{\partial x} + \frac{\partial f_2}{\partial y} + \frac{\partial f_3}{\partial z}}

or in two dimensions, just Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\partial f_1}{\partial x} + \frac{\partial f_2}{\partial y}} . Note that if we were to define a "vector" Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \nabla = \vec{i}\partial_x +\vec{j}\partial_y + \vec{k}\partial_z } , we would have Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{div}\ \vec{F} = \nabla \cdot \vec{F} } . Note that this isn't technically a vector, since the component are not number but differential operators, and the kind of "multiplication" we're doing isn't really multiplication, since you can't multiply an operator by a function; instead we're differentiating the components. Nevertheless, it's a handy notational convenience, and it actually does point to a deeper truth we won't begin to address in this course, so we'll continue to use Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \nabla \cdot \vec{F} } for the divergence.

The Curl

Since we've taken the dot product of our new differential operator Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \nabla} with a vector field, it only makes sense to see what happens when we take the cross product as well.