Vector Calculus

1. Introduction

Vector calculus is the calculus of vector fields — functions that attach a vector to every point of the plane or of space. A wind map assigns a velocity arrow to each location; a gravitational field assigns a force vector; an electric field assigns field strength and direction. To do physics and geometry with such fields we need to integrate along curves and over surfaces, and to differentiate fields into scalar and vector quantities that measure rotation and expansion.

The subject is unified by a family of theorems — the Fundamental Theorem of Line Integrals, Green's theorem, Stokes' theorem, and the Divergence theorem — all of which share one profound idea: the integral of a derivative over a region equals an integral of the original function over the region's boundary. This is the higher-dimensional generalization of the Fundamental Theorem of Calculus, $\int_a^b f'(x)\,dx = f(b)-f(a)$, where the "boundary" of the interval $[a,b]$ is its two endpoints.

This article develops the machinery: parametrized curves and line integrals, conservative fields and potential functions, the curl and divergence operators, surface integrals and flux, and the three great integral theorems with their hypotheses, statements, proofs at the level of intuition, and uses. The aim is fluency in both computing these integrals and choosing the theorem that turns a hard computation into an easy one.

Vector calculus is the language of electromagnetism (Maxwell's equations are expressed entirely in terms of curl and divergence), fluid dynamics (vorticity and incompressible flow), and differential geometry. The unifying theme — boundary integrals equal interior integrals of derivatives — appears again in higher mathematics as the generalized Stokes' theorem on manifolds.

2. Core Concepts

2.1 Vector Fields, Curl, and Divergence

A vector field in the plane is $\mathbf{F}(x,y)=\langle P(x,y),Q(x,y)\rangle$; in space, $\mathbf{F}(x,y,z)=\langle P,Q,R\rangle$. Two differential operators measure its local behavior. The divergence is a scalar measuring net outflow (expansion) at a point: $\operatorname{div}\mathbf{F} = \nabla\cdot\mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}.$ The curl is a vector measuring rotation (circulation density): $\operatorname{curl}\mathbf{F} = \nabla\times\mathbf{F} = \left\langle \frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z},\;\; \frac{\partial P}{\partial z}-\frac{\partial R}{\partial x},\;\; \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right\rangle.$ In 2D the curl reduces to the scalar $\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}$, the integrand of Green's theorem.

Key identities: $\operatorname{curl}(\nabla f)=\mathbf{0}$ and $\operatorname{div}(\operatorname{curl}\mathbf{F})=0$ for $C^2$ fields — the curl of a gradient field is irrotational, and the divergence of a curl field is source-free.

2.2 Line Integrals of Scalar Functions and Vector Fields

Given a curve $C$ parametrized by $\mathbf{r}(t)=\langle x(t),y(t),z(t)\rangle$, $t\in[a,b]$: $\int_C f\,ds = \int_a^b f(\mathbf{r}(t))\,|\mathbf{r}'(t)|\,dt \qquad\text{(scalar)},$ $\int_C \mathbf{F}\cdot d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt = \int_C P\,dx + Q\,dy + R\,dz \qquad\text{(work)}.$ Only the tangent component of $\mathbf{F}$ contributes to the work integral. Reversing orientation flips the sign of the vector line integral.

2.3 Conservative Fields and the Fundamental Theorem of Line Integrals

A field $\mathbf{F}$ is conservative if $\mathbf{F}=\nabla f$ for some potential $f$. The Fundamental Theorem of Line Integrals (FTLI) states: $\int_C \nabla f\cdot d\mathbf{r} = f(\mathbf{r}(b)) - f(\mathbf{r}(a)).$ On a simply connected domain (no holes), $\mathbf{F}=\langle P,Q\rangle$ is conservative iff $P_y=Q_x$ (2D) or $\operatorname{curl}\mathbf{F}=\mathbf{0}$ (3D). The vortex field $\mathbf{F}=\langle -y,x\rangle/(x^2+y^2)$ satisfies $P_y=Q_x$ but is not conservative because its domain has a hole at the origin.

2.4 Green's Theorem

Green's Theorem relates circulation around a positively oriented (counterclockwise), piecewise-smooth, simple closed curve $C$ bounding region $D$ to a double integral over $D$: $\oint_C P\,dx + Q\,dy = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dA.$

Proof intuition. Chop $D$ into tiny rectangles. On each rectangle, the circulation along its boundary equals the local curl $(Q_x-P_y)$ times its area (verify on a single rectangle). Summing over all rectangles, interior edges cancel (shared edges have opposite orientations), leaving only the outer boundary $C$.

A useful special case computes area: with $P=-y/2$, $Q=x/2$, we get $\operatorname{Area}(D)=\tfrac12\oint_C x\,dy-y\,dx$.

2.5 Surface Integrals and Flux

A parametric surface $\mathbf{r}(u,v)$ has tangent vectors $\mathbf{r}_u$, $\mathbf{r}_v$. The surface element is $d\mathbf{S} = \mathbf{r}_u\times\mathbf{r}_v\,du\,dv, \qquad dS = |\mathbf{r}_u\times\mathbf{r}_v|\,du\,dv.$ The flux of $\mathbf{F}$ through $S$ is $\iint_S \mathbf{F}\cdot d\mathbf{S} = \iint_S \mathbf{F}\cdot\mathbf{n}\,dS$, where $\mathbf{n}$ is the unit normal. For a graph $z=g(x,y)$, $d\mathbf{S}=\langle -g_x,-g_y,1\rangle\,dx\,dy$ (upward orientation).

2.6 Stokes' Theorem

Stokes' Theorem generalizes Green's theorem to a surface $S$ in space with boundary curve $\partial S$, oriented consistently (right-hand rule with the surface normal $\mathbf{n}$): $\oint_{\partial S} \mathbf{F}\cdot d\mathbf{r} = \iint_S (\nabla\times\mathbf{F})\cdot d\mathbf{S}.$ Circulation around the boundary equals the flux of the curl through the surface. Green's theorem is Stokes' theorem for a flat region in the plane.

Proof intuition. Partition $S$ into small patches. On each patch, the circulation around its boundary approximates $(\nabla\times\mathbf{F})\cdot\mathbf{n}\,dS$. Interior edges cancel, leaving the boundary $\partial S$.

2.7 The Divergence Theorem

The Divergence (Gauss's) Theorem relates outward flux through a closed surface $S$ bounding solid $E$ to the volume integral of divergence: $\iint_S \mathbf{F}\cdot d\mathbf{S} = \iiint_E (\nabla\cdot\mathbf{F})\,dV.$

Proof intuition. Partition $E$ into small boxes. The outward flux through each box's faces approximates $(\nabla\cdot\mathbf{F})\,dV$. Shared faces contribute canceling flux, leaving only the outer surface $S$.

This is the foundation of conservation laws: Gauss's law for electric flux, continuity equations in fluid flow.

2.8 The Unifying Pattern

All four theorems are instances of Stokes' theorem in generalized form: the integral of a derivative (gradient, curl, or divergence) over a region equals an integral over the boundary. Dimension counts down by one at each step: 3D solid $\to$ 2D surface $\to$ 1D curve.