Divergence and Curl: Fresh Take

  • Determine divergence from the formula for a given vector field
  • Determine curl from the formula for a given vector field
  • Use divergence and curl to identify conservative fields

Divergence

The Main Idea 

Divergence measures how much a vector field “spreads out” or “flows away from” a point. Think of it as measuring the net outflow of the field at each location. If you imagine dropping a small elastic circle into a fluid flow, divergence tells you whether that circle expands, contracts, or maintains its area.

The Formula

For [latex]\mathbf{F} = \langle P, Q, R \rangle[/latex] in [latex]\mathbb{R}^3[/latex]:

[latex]\text{div } \mathbf{F} = P_x + Q_y + R_z = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}[/latex]

In [latex]\mathbb{R}^2[/latex], it’s simply [latex]\text{div } \mathbf{F} = P_x + Q_y[/latex]. Symbolically, we write [latex]\text{div } \mathbf{F} = \nabla \cdot \mathbf{F}[/latex].

Understanding the Output

Divergence returns a scalar value (not a vector) at each point:

  • [latex]\text{div } \mathbf{F} > 0[/latex]: More is flowing out than in (a source)
  • [latex]\text{div } \mathbf{F} < 0[/latex]: More is flowing in than out (a sink)
  • [latex]\text{div } \mathbf{F} = 0[/latex]: Flow in equals flow out (source-free)

Source-Free Fields

A vector field is source-free if its divergence is zero everywhere (on a simply connected domain). Source-free fields have stream functions—scalar functions that describe the flow pattern. This mirrors how conservative fields have potential functions.

Connection to Green’s Theorem

The flux form of Green’s Theorem can be written as [latex]\oint_C \mathbf{F} \cdot \mathbf{N}\,ds = \iint_D \text{div } \mathbf{F}\,dA[/latex]. This connects the flux across a boundary to the total divergence inside the region—analogous to how the Fundamental Theorem of Calculus relates derivatives to boundary values.

Physical Applications

In physics, magnetic fields must satisfy [latex]\nabla \cdot \mathbf{B} = 0[/latex] (Gauss’s law for magnetism). In fluid dynamics, divergence indicates whether fluid is accumulating or dispersing at each point.

Find [latex]\text{div }{\bf{F}}[/latex] for [latex]{\bf{F}}(x,y,z)=\langle{x}y,5-z^2y,x^2+y^2\rangle[/latex].

Watch the following video to see the worked solution to the above example.

Let [latex]{\bf{F}}(x,y)=\langle-ay,bx\rangle[/latex] be a rotational field where [latex]a[/latex] and [latex]b[/latex] are positive constants. Is [latex]{\bf{F}}[/latex] source free?

For vector field [latex]{\bf{v}}(x,y)=\langle-xy,y\rangle[/latex], [latex]y>0[/latex] find all points [latex]P[/latex] such that the amount of fluid flowing in to [latex]P[/latex] equals the amount of fluid flowing out of [latex]P[/latex].

Curl

The Main Idea 

Curl measures the “spin” or rotational tendency of a vector field at each point. If you imagine placing a tiny paddlewheel into a fluid flow, curl tells you whether the wheel rotates, how fast it spins, and which direction the axis points.

The Formula

For [latex]\mathbf{F} = \langle P, Q, R \rangle[/latex] in [latex]\mathbb{R}^3[/latex]:

[latex]\text{curl } \mathbf{F} = (R_y - Q_z)\mathbf{i} + (P_z - R_x)\mathbf{j} + (Q_x - P_y)\mathbf{k}[/latex]

A helpful way to remember this is the symbolic determinant [latex]\nabla \times \mathbf{F}[/latex]:

[latex]\begin{vmatrix}\mathbf{i} & \mathbf{j} & \mathbf{k} \\ \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\ P & Q & R \end{vmatrix}[/latex]

For [latex]\mathbf{F} = \langle P, Q \rangle[/latex] in [latex]\mathbb{R}^2[/latex], curl is simply [latex]\text{curl } \mathbf{F} = (Q_x - P_y)\mathbf{k}[/latex].

Understanding the Output

Unlike divergence, curl returns a vector (not a scalar). The direction of this vector indicates the axis of rotation, and its magnitude indicates how fast the rotation occurs. If [latex]\text{curl } \mathbf{F} = \mathbf{0}[/latex], the field has no rotational tendency—particles don’t spin as they move through the field.

Visualizing Curl

Picture dropping a leaf into flowing water. Curl measures whether the leaf rotates as it drifts. A constant field like [latex]\langle 1, 2 \rangle[/latex] has zero curl—no rotation. But even fields with parallel-looking vectors can have nonzero curl if the magnitudes vary, creating differential forces that cause rotation.

Connection to Green’s Theorem

The circulation form of Green’s Theorem can be written as [latex]\oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_D \text{curl } \mathbf{F} \cdot \mathbf{k}\,dA[/latex]. This connects circulation around a boundary to the total curl inside—another higher-dimensional analog of the Fundamental Theorem of Calculus.

Physical Significance

Conservative fields (like gravitational and electrostatic fields) always have zero curl. This makes physical sense: energy-conserving forces don’t cause rotation.

Find the curl of [latex]{\bf{F}}=\langle\sin{x}\cos{z},\sin{y}\sin{z},\cos{x}\cos{y}\rangle[/latex] at point [latex]\left(0,\frac{\pi}2,\frac{\pi}2\right)[/latex].

Watch the following video to see the worked solution to the above example.

Field [latex]{\bf{v}}(x,y)=\left\langle-\frac{y}{x^2+y^2},\frac{x}{x^2+y^2}\right\rangle[/latex] models the flow of a fluid. Show that if you drop a leaf into this fluid, as the leaf moves over time, the leaf does not rotate.

Using Divergence and Curl

The Main Idea 

Now that we understand divergence and curl individually, we can explore their relationships and use them as powerful tools for analyzing vector fields. These operations connect in ways that reveal deep mathematical structure.

Key Relationships

Three fundamental identities link conservative fields, curl, and divergence:

  1. Divergence of a curl is always zero: [latex]\text{div curl}(\mathbf{F}) = \nabla \cdot (\nabla \times \mathbf{F}) = 0[/latex]
  2. Curl of a gradient is always zero: [latex]\text{curl}(\nabla f) = \nabla \times \nabla f = 0[/latex]
  3. Curl of a conservative field is zero: If [latex]\mathbf{F}[/latex] is conservative, then [latex]\text{curl } \mathbf{F} = 0[/latex]

Testing for Conservative Fields

On a simply connected domain, [latex]\mathbf{F}[/latex] is conservative if and only if [latex]\text{curl } \mathbf{F} = 0[/latex]. This gives you a direct computational test: calculate the curl, and if it’s zero everywhere, the field is conservative. This is often easier than checking all the cross-partial conditions separately.

Why These Work

Conservative fields come from gradients ([latex]\mathbf{F} = \nabla f[/latex]). The cross-partial property ensures all mixed partials are equal, which is exactly what makes curl vanish. Similarly, taking the curl eliminates any divergence that was present—the curl operation “filters out” the spreading behavior.

The Laplace Operator

The divergence of a gradient creates the Laplace operator: [latex]\nabla^2 f = \text{div}(\nabla f) = f_{xx} + f_{yy} + f_{zz}[/latex]. Functions satisfying Laplace’s equation ([latex]\nabla^2 f = 0[/latex]) are called harmonic and appear throughout physics—in electrostatics, fluid dynamics, and gravitational potentials.

Practical Strategy

To analyze a vector field: check its curl to test if it’s conservative, check its divergence to see if it’s source-free, and use these tests to determine what kind of field you’re working with.

Is it possible for [latex]{\bf{G}}(x,y,z)=\langle\sin{x},\cos{y},\sin{(x,y,z)}\rangle[/latex] to be the curl of a vector field?

Watch the following video to see the worked solution to the above example.

Is it possible for function [latex]f(x, y)=x^{2}-y^{2}+x[/latex] to be the potential function of an electrostatic field located in a region of [latex]\mathbb{R}^2[/latex] free of static charge?