โˆžCalculus IV

Vector Calculus Identities

Study smarter with Fiveable

Get study guides, practice questions, and cheatsheets for all your subjects. Join 500,000+ students with a 96% pass rate.

Get Started

Why This Matters

Vector calculus identities are the fundamental language connecting gradient, divergence, curl, and the major integral theorems that form the backbone of Calculus IV. When you're working through problems involving fluid flow, electromagnetic fields, or conservation laws, these identities let you transform complex expressions into simpler ones and convert between different types of integrals. You're being tested on your ability to recognize which identity applies, manipulate expressions efficiently, and understand the geometric meaning behind the algebra.

These identities reveal deep relationships between scalar and vector fields. The gradient tells you how things change directionally, divergence measures sources and sinks, and curl captures rotation. The major theorems (Green's, Stokes', Divergence) connect local differential behavior to global integral behavior across boundaries. Don't just memorize the formulas; know what each identity means physically and when to deploy it.


Fundamental Differential Operators

These three operators are your building blocks. Every other identity in vector calculus is built from combinations of gradient, divergence, and curl.

Gradient of a Scalar Field

  • โˆ‡f\nabla f points in the direction of steepest increase, and its magnitude gives the rate of change in that direction
  • Produces a vector from a scalar. This is the only operator that "upgrades" a scalar field to a vector field
  • Perpendicular to level surfaces. If f(x,y,z)=cf(x,y,z) = c defines a surface, โˆ‡f\nabla f is normal to it at every point

Divergence of a Vector Field

  • โˆ‡โ‹…F\nabla \cdot \mathbf{F} measures net outward flux per unit volume. Positive means source, negative means sink
  • Produces a scalar from a vector. This "downgrades" a vector field back to a scalar field
  • Zero divergence means incompressible flow. No fluid is created or destroyed, which is crucial for conservation laws

Curl of a Vector Field

  • โˆ‡ร—F\nabla \times \mathbf{F} measures local rotation (circulation density). The curl vector points along the axis of rotation, with magnitude proportional to the rotation rate
  • Produces a vector from a vector. It maintains the "vector nature" of the field
  • Zero curl means the field is conservative (irrotational). The field can then be written as F=โˆ‡f\mathbf{F} = \nabla f for some potential function ff

Compare: Divergence vs. Curl. Both measure local behavior of vector fields, but divergence captures expansion/compression while curl captures rotation. If a problem asks about fluid flow, identify whether the question involves sources/sinks (use divergence) or vortices (use curl).


Critical Zero Identities

Two identities that come up repeatedly in proofs and problem-solving. They hold for any sufficiently smooth (C2C^2) field.

  • Curl of a gradient is always zero: โˆ‡ร—(โˆ‡f)=0\nabla \times (\nabla f) = \mathbf{0}. This is why conservative fields (which are gradients of potentials) are irrotational.
  • Divergence of a curl is always zero: โˆ‡โ‹…(โˆ‡ร—F)=0\nabla \cdot (\nabla \times \mathbf{F}) = 0. This is why magnetic fields (which are curls of vector potentials) have no sources or sinks.

Both follow from the symmetry of mixed partial derivatives (Clairaut's theorem). They also encode a topological fact: applying the "boundary" operator twice always gives zero.


Second-Order Operations

When you apply differential operators twice, you get powerful tools for analyzing how fields behave relative to their surroundings.

Laplacian of a Scalar Field

  • โˆ‡2f=โˆ‡โ‹…(โˆ‡f)\nabla^2 f = \nabla \cdot (\nabla f) measures how ff at a point deviates from its average over a small surrounding sphere. Positive Laplacian means the value at the point is less than the surrounding average (a local "valley" in some sense); negative means it's greater.
  • In Cartesian coordinates: โˆ‡2f=โˆ‚2fโˆ‚x2+โˆ‚2fโˆ‚y2+โˆ‚2fโˆ‚z2\nabla^2 f = \frac{\partial^2 f}{\partial x^2} + \frac{\partial^2 f}{\partial y^2} + \frac{\partial^2 f}{\partial z^2}
  • Appears in every major PDE you'll encounter: Laplace's equation (โˆ‡2f=0\nabla^2 f = 0), the heat equation, the wave equation, and Poisson's equation all feature โˆ‡2\nabla^2

Vector Laplacian

The Laplacian can also act on a vector field component-wise: โˆ‡2F=(โˆ‡2Fx,โˆ‡2Fy,โˆ‡2Fz)\nabla^2 \mathbf{F} = (\nabla^2 F_x, \nabla^2 F_y, \nabla^2 F_z) in Cartesian coordinates. A useful identity relates it to curl and divergence:

โˆ‡2F=โˆ‡(โˆ‡โ‹…F)โˆ’โˆ‡ร—(โˆ‡ร—F)\nabla^2 \mathbf{F} = \nabla(\nabla \cdot \mathbf{F}) - \nabla \times (\nabla \times \mathbf{F})

This shows up frequently in electromagnetic theory and fluid dynamics. Be careful: this component-wise definition only works cleanly in Cartesian coordinates.

Compare: Gradient vs. Laplacian. Gradient gives direction and rate of change (a vector), while Laplacian tells you whether you're at a local extremum relative to surroundings (a scalar). The Laplacian is the divergence of the gradient, combining both operations.


The Big Three Integral Theorems

These theorems convert between different types of integrals and connect local differential behavior to global integral behavior. The unifying idea: integrating a derivative over a region equals integrating the original function over the boundary.

Green's Theorem

โˆฎCFโ‹…dr=โˆฌR(โˆ‚Qโˆ‚xโˆ’โˆ‚Pโˆ‚y)dA\oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_R \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA

where F=Pโ€‰i+Qโ€‰j\mathbf{F} = P\,\mathbf{i} + Q\,\mathbf{j} and CC is a positively oriented (counterclockwise), simple, closed curve bounding region RR.

  • This is the 2D special case of Stokes' theorem, restricted to flat regions in the xyxy-plane
  • Two forms: the circulation form (above) measures rotation, while the flux form โˆฎCFโ‹…nโ€‰ds=โˆฌR(โˆ‡โ‹…F)โ€‰dA\oint_C \mathbf{F} \cdot \mathbf{n}\, ds = \iint_R (\nabla \cdot \mathbf{F})\, dA measures net outward flow

Stokes' Theorem

โˆฌS(โˆ‡ร—F)โ‹…dS=โˆฎCFโ‹…dr\iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = \oint_C \mathbf{F} \cdot d\mathbf{r}

  • Connects a surface integral of curl to a line integral around the boundary curve CC of surface SS
  • Orientation matters. Use the right-hand rule: if your right thumb points along the surface normal, your fingers curl in the direction of CC
  • The surface doesn't have to be flat, and any surface sharing the same boundary curve gives the same result (as long as F\mathbf{F} is smooth throughout)

Divergence Theorem

โˆญV(โˆ‡โ‹…F)โ€‰dV=โˆฏSFโ‹…dS\iiint_V (\nabla \cdot \mathbf{F}) \, dV = \oiint_S \mathbf{F} \cdot d\mathbf{S}

  • Converts a volume integral of divergence to a surface integral of flux through the closed boundary surface SS of volume VV
  • Also called Gauss's theorem. Fundamental for deriving conservation laws in physics
  • The surface must be closed (think balloon or box, not an open bowl). The normal points outward by convention

Compare: Stokes' vs. Divergence Theorem. Stokes' relates a surface integral to a line integral (boundary is a curve), while Divergence relates a volume integral to a surface integral (boundary is a closed surface). Both convert an (n)(n)-dimensional integral to an (nโˆ’1)(n-1)-dimensional boundary integral.


Product Rules for Vector Operations

Just like single-variable calculus has product rules, vector calculus has its own versions. These show up constantly when simplifying expressions.

Product Rule for Divergence

โˆ‡โ‹…(ฯ•F)=(โˆ‡ฯ•)โ‹…F+ฯ•(โˆ‡โ‹…F)\nabla \cdot (\phi \mathbf{F}) = (\nabla \phi) \cdot \mathbf{F} + \phi (\nabla \cdot \mathbf{F})

This is analogous to (fg)โ€ฒ=fโ€ฒg+fgโ€ฒ(fg)' = f'g + fg'. The gradient "differentiates" the scalar part, and divergence "differentiates" the vector part. If ฯ•\phi is constant, โˆ‡ฯ•=0\nabla \phi = \mathbf{0}, so the first term drops and you get ฯ•(โˆ‡โ‹…F)\phi(\nabla \cdot \mathbf{F}). This identity is also the basis for integration by parts in higher dimensions.

Product Rule for Curl

โˆ‡ร—(ฯ•F)=(โˆ‡ฯ•)ร—F+ฯ•(โˆ‡ร—F)\nabla \times (\phi \mathbf{F}) = (\nabla \phi) \times \mathbf{F} + \phi (\nabla \times \mathbf{F})

Note the cross product in the first term (not a dot product). Again, if ฯ•\phi is constant, only the second term survives.

Compare: Divergence product rule vs. Curl product rule. Both split into two terms, but divergence uses dot products throughout while curl uses a cross product in the first term. The operator type (dot vs. cross) stays consistent with the original operation.


Vector Product Identities

These identities help you manipulate expressions involving multiple vector fields.

Vector Triple Product (BAC-CAB Rule)

Aร—(Bร—C)=B(Aโ‹…C)โˆ’C(Aโ‹…B)\mathbf{A} \times (\mathbf{B} \times \mathbf{C}) = \mathbf{B}(\mathbf{A} \cdot \mathbf{C}) - \mathbf{C}(\mathbf{A} \cdot \mathbf{B})

The mnemonic "BAC-CAB" matches the order of vectors on the right side. The result is a vector lying in the plane spanned by B\mathbf{B} and C\mathbf{C}. Watch the parentheses: (Aร—B)ร—C(\mathbf{A} \times \mathbf{B}) \times \mathbf{C} gives a different result (it lies in the plane of A\mathbf{A} and B\mathbf{B} instead).

Scalar Triple Product

Aโ‹…(Bร—C)\mathbf{A} \cdot (\mathbf{B} \times \mathbf{C})

This equals the signed volume of the parallelepiped formed by the three vectors. It's zero if and only if the vectors are coplanar (linearly dependent). Cyclic permutations leave it unchanged:

Aโ‹…(Bร—C)=Bโ‹…(Cร—A)=Cโ‹…(Aร—B)\mathbf{A} \cdot (\mathbf{B} \times \mathbf{C}) = \mathbf{B} \cdot (\mathbf{C} \times \mathbf{A}) = \mathbf{C} \cdot (\mathbf{A} \times \mathbf{B})

Swapping any two adjacent vectors flips the sign.

Compare: Scalar vs. Vector triple product. Scalar triple product gives a number (volume), vector triple product gives a vector. Both involve three vectors, but the operations and outputs are completely different.


Advanced Differential Identities

These identities involve combinations of fields and operators. They're essential for simplifying complex expressions.

Gradient of Dot Product

โˆ‡(Aโ‹…B)=(Aโ‹…โˆ‡)B+(Bโ‹…โˆ‡)A+Aร—(โˆ‡ร—B)+Bร—(โˆ‡ร—A)\nabla (\mathbf{A} \cdot \mathbf{B}) = (\mathbf{A} \cdot \nabla)\mathbf{B} + (\mathbf{B} \cdot \nabla)\mathbf{A} + \mathbf{A} \times (\nabla \times \mathbf{B}) + \mathbf{B} \times (\nabla \times \mathbf{A})

Four terms total. If both fields are irrotational (โˆ‡ร—A=โˆ‡ร—B=0\nabla \times \mathbf{A} = \nabla \times \mathbf{B} = \mathbf{0}), the cross-product terms vanish and only the first two remain. This identity appears in energy arguments and Lagrangian mechanics.

Divergence of Cross Product

โˆ‡โ‹…(Aร—B)=Bโ‹…(โˆ‡ร—A)โˆ’Aโ‹…(โˆ‡ร—B)\nabla \cdot (\mathbf{A} \times \mathbf{B}) = \mathbf{B} \cdot (\nabla \times \mathbf{A}) - \mathbf{A} \cdot (\nabla \times \mathbf{B})

Notice that curls appear on the right, not divergences. If both fields are irrotational, the whole expression is zero. This identity is used in electromagnetic theory (e.g., Poynting vector derivations).

Curl of Cross Product

โˆ‡ร—(Aร—B)=(Bโ‹…โˆ‡)Aโˆ’(Aโ‹…โˆ‡)B+A(โˆ‡โ‹…B)โˆ’B(โˆ‡โ‹…A)\nabla \times (\mathbf{A} \times \mathbf{B}) = (\mathbf{B} \cdot \nabla)\mathbf{A} - (\mathbf{A} \cdot \nabla)\mathbf{B} + \mathbf{A}(\nabla \cdot \mathbf{B}) - \mathbf{B}(\nabla \cdot \mathbf{A})

Four terms involving both divergences and directional derivatives. This is more complex than the other product rules and shows up in fluid vorticity equations.

Compare: Divergence of cross product vs. Curl of cross product. Divergence gives a scalar involving curls of the original fields, while curl gives a vector involving divergences and directional derivatives. The outputs have completely different structures.


Chain Rule and Composition

When vector fields depend on parameters or other functions, you need chain rules to differentiate properly.

Chain Rule for Vector-Valued Functions

If F(x,y,z)\mathbf{F}(x,y,z) and the coordinates depend on a parameter tt:

dFdt=โˆ‚Fโˆ‚xdxdt+โˆ‚Fโˆ‚ydydt+โˆ‚Fโˆ‚zdzdt\frac{d\mathbf{F}}{dt} = \frac{\partial \mathbf{F}}{\partial x}\frac{dx}{dt} + \frac{\partial \mathbf{F}}{\partial y}\frac{dy}{dt} + \frac{\partial \mathbf{F}}{\partial z}\frac{dz}{dt}

This can be written compactly as dFdt=(vโ‹…โˆ‡)F\frac{d\mathbf{F}}{dt} = (\mathbf{v} \cdot \nabla)\mathbf{F}, where v=(dxdt,dydt,dzdt)\mathbf{v} = \left(\frac{dx}{dt}, \frac{dy}{dt}, \frac{dz}{dt}\right) is the velocity vector. In fluid mechanics, this is the material derivative (also written DFDt\frac{D\mathbf{F}}{Dt}), which tracks how a quantity changes as you follow a moving fluid particle.


Quick Reference Table

ConceptKey Formulas / Examples
Differential operators (basic)Gradient โˆ‡f\nabla f, Divergence โˆ‡โ‹…F\nabla \cdot \mathbf{F}, Curl โˆ‡ร—F\nabla \times \mathbf{F}
Second-order operatorsLaplacian โˆ‡2f\nabla^2 f, Vector Laplacian โˆ‡2F\nabla^2 \mathbf{F}
Zero identitiesโˆ‡ร—(โˆ‡f)=0\nabla \times (\nabla f) = \mathbf{0}, โˆ‡โ‹…(โˆ‡ร—F)=0\nabla \cdot (\nabla \times \mathbf{F}) = 0
Integral theoremsGreen's, Stokes', Divergence Theorem
Product rulesโˆ‡โ‹…(ฯ•F)\nabla \cdot (\phi \mathbf{F}), โˆ‡ร—(ฯ•F)\nabla \times (\phi \mathbf{F})
Triple productsBAC-CAB rule, Scalar triple product (volume)
Advanced identitiesโˆ‡(Aโ‹…B)\nabla(\mathbf{A} \cdot \mathbf{B}), โˆ‡โ‹…(Aร—B)\nabla \cdot (\mathbf{A} \times \mathbf{B}), โˆ‡ร—(Aร—B)\nabla \times (\mathbf{A} \times \mathbf{B})
Physical interpretationDivergence = sources/sinks, Curl = rotation, Gradient = steepest ascent

Self-Check Questions

  1. Why is โˆ‡โ‹…(โˆ‡ร—F)=0\nabla \cdot (\nabla \times \mathbf{F}) = 0 true for any smooth vector field? What property of partial derivatives does the proof rely on?

  2. Compare Stokes' theorem and the Divergence theorem: what type of integral does each convert, and what is the "boundary" in each case?

  3. If a vector field F\mathbf{F} has zero divergence everywhere, what physical property does this indicate? Name one integral theorem that becomes especially useful for such fields.

  4. Expand โˆ‡โ‹…(ฯ•F)\nabla \cdot (\phi \mathbf{F}) using the product rule. What simplification occurs if ฯ•\phi is constant?

  5. You need to compute a line integral around a complicated closed curve on a surface in 3D. Which theorem converts this to a surface integral, and what quantity do you integrate over the surface?