Multivariable calculus
Divergence of the Rotation Field F = (-y, x)
For the rotation field F(x, y) = (-y, x) the divergence is 0 at every point. The first component contains no x and the second contains no y, so both diagonal partials are derivatives of a constant. The field spins but never spreads: it is incompressible. Its curl, by contrast, is 2.
Both diagonal partials are derivatives of a constant
Divergence pairs each component with its own variable, so the work is and and nothing else.
When you differentiate with respect to , the variable is held fixed. A held-fixed variable is a number, and the derivative of a number is zero. The same argument kills the second term.
So everywhere. Notice what made this happen: each component is a function of the other variable only, so the diagonal partials had nothing to bite on.
The mistake: reading zero divergence as no motion
A field with zero divergence is not a field with zero arrows. Every arrow here has length , and at the arrow is pointing hard upward. Plenty is happening.
Zero divergence says something narrower: no net expansion. Drop a small disc into this flow and it will be carried around the origin and rotated, but its area will not change. That is what incompressible means.
The second half of the mistake is concluding that a divergence-free field is boring. Compute the other two partials and the motion shows up immediately.
What the pair of numbers tells you
Divergence and curl answer different questions about the same field, which is why this example appears in every course.
- Divergence : no source, no sink, area is preserved.
- Curl : constant counterclockwise spin, the same at every point.
- Taken together: rigid rotation, like a turntable, at angular speed .
Compare with , which has divergence and curl . Between the two examples you can see that the diagonal partials and the off-diagonal partials really are measuring separate things.
Checked on every build: each component is differentiated numerically with respect to its own variable, and the sum is compared against the divergence above at six sample points.
Frequently asked questions
Does zero divergence mean the vector field is zero?
No. It means no net outflow from any small region. Here the arrows are long far from the origin, but the flow only circles: what enters a small disc on one side leaves on the other.
How can one field have divergence 0 and curl 2?
They read different partials. Divergence uses and , which are both here. Curl uses and , which are and .