Divergence is an operation on a vector field that tells us how the field behaves toward or away from a point. Locally, the divergence of a vector field [latex]{\bf{F}}[/latex] in [latex]\mathbb{R}^2[/latex] or [latex]\mathbb{R}^3[/latex] at a particular point [latex]P[/latex] is a measure of the “outflowing-ness” of the vector field at [latex]P[/latex]. If [latex]{\bf{F}}[/latex] represents the velocity of a fluid, then the divergence of [latex]{\bf{F}}[/latex] at [latex]P[/latex] measures the net rate of change with respect to time of the amount of fluid flowing away from [latex]P[/latex] (the tendency of the fluid to flow “out of” [latex]P[/latex]). In particular, if the amount of fluid flowing into P is the same as the amount flowing out, then the divergence at [latex]P[/latex] is zero.

By contrast, consider radial vector field [latex]{\bf{R}}(x,y)=\langle-x,-y\rangle[/latex] in Figure 2. At any given point, more fluid is flowing in than is flowing out, and therefore the “outgoingness” of the field is negative. We expect the divergence of this field to be negative, and this is indeed the case, as [latex]\text{div }({\bf{R}})=\frac{\partial}{\partial{x}}(-x)+\frac{\partial}{\partial{y}}(-y)=-2[/latex].

To get a global sense of what divergence is telling us, suppose that a vector field in [latex]\mathbb{R}^2[/latex] represents the velocity of a fluid. Imagine taking an elastic circle (a circle with a shape that can be changed by the vector field) and dropping it into a fluid. If the circle maintains its exact area as it flows through the fluid, then the divergence is zero. This would occur for both vector fields in Figure 1. On the other hand, if the circle’s shape is distorted so that its area shrinks or expands, then the divergence is not zero. Imagine dropping such an elastic circle into the radial vector field in Figure 2 so that the center of the circle lands at point [latex](3, 3)[/latex]. The circle would flow toward the origin, and as it did so the front of the circle would travel more slowly than the back, causing the circle to “scrunch” and lose area. This is how you can see a negative divergence.

Watch the following video to see the worked solution to the above Try It

One application for divergence occurs in physics, when working with magnetic fields. A magnetic field is a vector field that models the influence of electric currents and magnetic materials. Physicists use divergence in Gauss’s law for magnetism, which states that if [latex]{\bf{B}}[/latex] is a magnetic field, then [latex]\nabla\cdot{\bf{B}}=0[/latex]; in other words, the divergence of a magnetic field is zero.

Another application for divergence is detecting whether a field is source free. Recall that a source-free field is a vector field that has a stream function; equivalently, a source-free field is a field with a flux that is zero along any closed curve. The next two theorems say that, under certain conditions, source-free vector fields are precisely the vector fields with zero divergence.

Proof

Since [latex]{\bf{F}}[/latex] is source free, there is a function [latex]g(x, y)[/latex] with [latex]g_y=P[/latex] and [latex]-g_x=Q[/latex]. Therefore, [latex]{\bf{F}}=\langle{g}_y,-g_x\rangle[/latex] and [latex]\text{div }{\bf{F}}=g_{yx}-g_{xy}=0[/latex] by Clairaut’s theorem.

[latex]_\blacksquare[/latex]

The converse of Divergence of a Source-Free Vector Field Theorem is true on simply connected regions, but the proof is too technical to include here. Thus, we have the following theorem, which can test whether a vector field in [latex]\mathbb{R}^2[/latex] is source free.

Recall that the flux form of Green’s theorem says that

[latex]\large{\displaystyle\oint_C{\bf{F}}\cdot{\bf{N}}ds=\displaystyle\iint_DP_x+Q_ydA}[/latex],

where [latex]C[/latex] is a simple closed curve and [latex]D[/latex] is the region enclosed by [latex]C[/latex]. Since [latex]P_x+Q_y=\text{div }{\bf{F}}[/latex], Green’s theorem is sometimes written as

[latex]\large{\displaystyle\oint_C{\bf{F}}\cdot{\bf{N}}ds=\displaystyle\iint_D\text{div }{\bf{F}}dA}[/latex].

Therefore, Green’s theorem can be written in terms of divergence. If we think of divergence as a derivative of sorts, then Green’s theorem says the “derivative” of [latex]{\bf{F}}[/latex] on a region can be translated into a line integral of [latex]{\bf{F}}[/latex] along the boundary of the region. This is analogous to the Fundamental Theorem of Calculus, in which the derivative of a function [latex]f[/latex] on a line segment [latex][a,b][/latex] can be translated into a statement about [latex]f[/latex] on the boundary of [latex][a,b][/latex]. Using divergence, we can see that Green’s theorem is a higher-dimensional analog of the Fundamental Theorem of Calculus.

We can use all of what we have learned in the application of divergence. Let [latex]{\bf{v}}[/latex] be a vector field modeling the velocity of a fluid. Since the divergence of[latex]{\bf{v}}[/latex] at point [latex]P[/latex] measures the “outflowing-ness” of the fluid at [latex]P[/latex], [latex]\text{div }{\bf{v}}(P)>0[/latex] implies that more fluid is flowing out of [latex]P[/latex] than flowing in. Similarly, [latex]\text{div }{\bf{v}}(P)<0[/latex] implies the more fluid is flowing in to [latex]P[/latex] than is flowing out, and [latex]\text{div }{\bf{v}}(P)=0[/latex] implies the same amount of fluid is flowing in as flowing out.