Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Div, Grad, Curl and All That

The del operator

Del is a vector operator: a vector written in the same Cartesian basis (x^,y^,z^)(\hat{x}, \hat{y}, \hat{z}) as any other vector in the linear algebra appendix, except that its components are not numbers but derivative instructions, each waiting for a function to act on:

∇=x^ ∂∂x+y^ ∂∂y+z^ ∂∂z.\nabla = \hat{x}\,\frac{\partial}{\partial x} + \hat{y}\,\frac{\partial}{\partial y} + \hat{z}\,\frac{\partial}{\partial z}.

Because it is a vector, the three vector products you already know all apply to it, and each one produces a different kind of object. The mechanics are worth seeing once in components:

One caution that will matter in quantum mechanics: ∇\nabla is an operator, so order matters. ∇f\nabla f is a finished vector field, while f∇f\nabla is still hungry, an operator waiting for something to differentiate. Everything on this page is this one object applied three ways: multiply it onto a scalar (∇f\nabla f), dot it into a vector (∇⋅F\nabla \cdot \mathbf{F}), or cross it into a vector (∇×F\nabla \times \mathbf{F}).

1. Gradient: the uphill compass

For a scalar landscape f(x,y)f(x, y), the gradient ∇f\nabla f at each point aims in the direction of steepest increase, with length equal to the slope. Contour lines are always crossed at right angles.

Source
<Figure size 650x520 with 2 Axes>

Two physical readings, both constant companions in this course:

The derivative is a translation machine

Write out Taylor’s theorem for a shift by aa and stare at its structure:

f(x+a)  =  f(x)+a dfdx+a22! d2fdx2+a33! d3fdx3+⋯  =  ∑n=0∞1n!(addx) ⁣nf(x).f(x + a) \;=\; f(x) + a\,\frac{df}{dx} + \frac{a^2}{2!}\,\frac{d^2 f}{dx^2} + \frac{a^3}{3!}\,\frac{d^3 f}{dx^3} + \cdots \;=\; \sum_{n=0}^{\infty} \frac{1}{n!}\left(a \frac{d}{dx}\right)^{\! n} f(x).

The right-hand side is exactly the exponential series, applied to an operator instead of a number:

f(x+a)=e a d/dx f(x).f(x + a) = e^{\,a\, d/dx} \, f(x).

Exponentiating the derivative slides a function sideways. The figure below makes this concrete: keep more and more terms of the operator series and watch a Gaussian being carried to its translated position, term by term.

Source
<Figure size 750x400 with 1 Axes>

One term tilts the function, two terms lean it further, and by a dozen terms the series has physically moved it. Now the quantum punchline: multiply the generator by −iℏ-i\hbar and you get the momentum operator p^=−iℏ d/dx\hat{p} = -i\hbar\, d/dx, so that

e iap^/ℏ ψ(x)=ψ(x+a).e^{\,i a \hat{p} / \hbar}\, \psi(x) = \psi(x + a).

This is where momentum comes from. Momentum is not defined by mvmv in quantum mechanics; it is defined as the generator of translations, the operator whose exponential slides wavefunctions through space. That a particle in empty space conserves momentum is then just the statement that empty space looks the same after any slide (Noether’s theorem in one sentence).

2. Divergence: sources and sinks

Dot del into a vector field and you get a number at each point:

∇⋅F=∂Fx∂x+∂Fy∂y+∂Fz∂z.\nabla \cdot \mathbf{F} = \frac{\partial F_x}{\partial x} + \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}.

The number answers: does more field leave this point than enters it? Positive divergence marks a source (a faucet), negative marks a sink (a drain). Equivalently, if the field were a fluid velocity, ∇⋅v\nabla \cdot \mathbf{v} is the fractional rate at which a small blob of fluid expands: divergence measures outward translation of volume.

Source
<Figure size 620x520 with 2 Axes>

The field above gushes out of the origin (red center) and, because the arrows fade with distance, the far region acts as a gentle drain (blue ring). Electrostatics is exactly this picture: Gauss’s law ∇⋅E=ρ/ε0\nabla \cdot \mathbf{E} = \rho / \varepsilon_0 says electric charge is the faucet of the electric field. Where there is no charge, field lines just pass through.

3. Curl: the paddle wheel

Cross del into a vector field and you get a vector whose direction is the local axis of rotation and whose magnitude is twice the local spin rate. The classic test: drop a tiny paddle wheel into the flow; if it turns, the curl is nonzero, and it points along the wheel’s axle by the right-hand rule.

Source
<Figure size 620x520 with 2 Axes>

This is a vortex: the same field a stirred cup of coffee has, and fluid dynamicists call ω=∇×v\boldsymbol{\omega} = \nabla \times \mathbf{v} the vorticity. Rotation is the curl’s whole personality, and that connection survives into quantum mechanics: the operator that generates rotations is the angular momentum L^=−iℏ r×∇\hat{L} = -i\hbar \, \mathbf{r} \times \nabla, built from position crossed with the gradient exactly the way curl crosses del into a field.

Magnetostatics is the curl picture: Ampère’s law ∇×B=μ0J\nabla \times \mathbf{B} = \mu_0 \mathbf{J} says electric currents stir the magnetic field into closed loops around them.

Electric vs magnetic: a tale of two operators

Nature staged the perfect comparison experiment. A point charge builds a field that is all divergence and no curl; a straight current builds one that is all curl and no divergence. Same del, opposite personalities:

Source
<Figure size 1000x460 with 2 Axes>

The absence of magnetic divergence, ∇⋅B=0\nabla \cdot \mathbf{B} = 0 everywhere, is one of Maxwell’s equations and a factual statement about our universe: nobody has ever found a magnetic faucet (a monopole). Field lines of B\mathbf{B} have no choice but to close on themselves.

Mix your own field

Every smooth field can be split into a curl-free part and a divergence-free part (the Helmholtz decomposition), so the two examples above are the primary colors of vector calculus. Blend them yourself: the slider rotates a field from pure source to pure vortex, and the labels report the divergence and curl it carries.

Watch the trade: as the angle grows, divergence drains out of the field and reappears as curl. At 45 degrees the field spirals, half faucet and half whirlpool, the way a draining bathtub combines both.

The Laplacian: how diffusion thinks

Apply del twice, ∇2f=∇⋅(∇f)\nabla^2 f = \nabla \cdot (\nabla f), and you get the Laplacian: a number that compares ff at a point with the average of its immediate neighbors. Positive ∇2f\nabla^2 f means “my neighbors are higher than me” (a dimple), negative means “I stick out” (a bump).

The cleanest way to see this is the discrete stencil from numerical calculus:

∇2f∣x  ≈  f(x+h)+f(x−h)−2f(x)h2  =  2h2(f(x+h)+f(x−h)2⏟neighbor average−  f(x)).\nabla^2 f \Big|_{x} \;\approx\; \frac{f(x+h) + f(x-h) - 2 f(x)}{h^2} \;=\; \frac{2}{h^2} \Big( \underbrace{\tfrac{f(x+h) + f(x-h)}{2}}_{\text{neighbor average}} - \; f(x) \Big).

The Laplacian is “neighbor average minus me,” rescaled. The figure below shows a lumpy concentration profile, its neighbor average, and the resulting push: wherever the curve sits above its neighbors’ average the Laplacian is negative and diffusion pushes it down; wherever it dips below, diffusion pushes it up.

Source
<Figure size 750x400 with 1 Axes>

That push is precisely what diffusion obeys. The diffusion equation ∂c/∂t=D∇2c\partial c / \partial t = D \nabla^2 c says: bumps melt, dimples fill, each point relaxing toward the average of its neighbors until nothing has anything to complain about (equilibrium).

Source
<Figure size 700x400 with 1 Axes>

And now the payoff for this course: the Schrödinger equation’s kinetic energy is −ℏ22m∇2-\frac{\hbar^2}{2m}\nabla^2. The same operator that makes ink spread through water measures how sharply a wavefunction bends, and sharp bending costs kinetic energy. When Chapter 3 tells you that squeezing a particle raises its energy, it is the Laplacian doing the telling.

The whole family at a glance

OperatorInput to outputLocal questionPhysics it runsQuantum appearance
∇f\nabla fscalar to vectorwhich way is uphill?Fick’s law, forces F=−∇V\mathbf{F} = -\nabla Vmomentum p^=−iℏ∇\hat{p} = -i\hbar\nabla generates translation
∇⋅F\nabla \cdot \mathbf{F}vector to scalarsource or sink?Gauss’s law ∇⋅E=ρ/ε0\nabla \cdot \mathbf{E} = \rho/\varepsilon_0probability conservation (continuity equation)
∇×F\nabla \times \mathbf{F}vector to vectordoes it rotate?Ampère’s law, vorticityL^=−iℏ r×∇\hat{L} = -i\hbar\,\mathbf{r}\times\nabla generates rotation
∇2f\nabla^2 fscalar to scalardo I differ from my neighbors?diffusion ∂tc=D∇2c\partial_t c = D\nabla^2 ckinetic energy −ℏ22m∇2-\tfrac{\hbar^2}{2m}\nabla^2
References
  1. Schey, H. M. (2005). Div, Grad, Curl, and All That: An Informal Text on Vector Calculus (4th ed.). W. W. Norton.