- 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.
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.
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:
- Divergence of a curl is always zero: [latex]\text{div curl}(\mathbf{F}) = \nabla \cdot (\nabla \times \mathbf{F}) = 0[/latex]
- Curl of a gradient is always zero: [latex]\text{curl}(\nabla f) = \nabla \times \nabla f = 0[/latex]
- 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.