Vector Fields

⚡ Key Takeaways

A vector field assigns a vector to every point of a region in space. In symbols, $\mathbf{F}:U\subseteq\mathbb{R}^n\to\mathbb{R}^n$ . Vector fields model flows, forces, and gradients — velocity of a fluid, the electric field, the gradient of temperature. They are the central objects of vector calculus, manipulated via the operators gradient, divergence, and curl, and integrated via line and surface integrals. Foundational work: Gauss, Green, Stokes, Maxwell, and Gibbs/Heaviside (19th century).

💡 The Core Insight

A scalar field gives you one number at each point (temperature, pressure); a vector field gives you a whole arrow — magnitude and direction — at each point. The geometry of how those arrows spread, swirl, and align is captured entirely by three derivatives: the gradient ( $\nabla f$ , building a field from a scalar), the divergence ( $\nabla\cdot\mathbf{F}$ , measuring outflow), and the curl ( $\nabla\times\mathbf{F}$ , measuring rotation). Mastering vector fields is mastering the dictionary between these local derivatives and global integrals.

DefinitionVector Field

Let $U\subseteq\mathbb{R}^n$ be an open set. A vector field on $U$ is a map

1

\quad \mathbf{F}:U\to\mathbb{R}^n,\qquad \mathbf{F}(\mathbf{x})=\big(F_1(\mathbf{x}),\,F_2(\mathbf{x}),\,\dots,\,F_n(\mathbf{x})\big),

Derivation hint: this is a definition; $F_i:U\to\mathbb{R}$ are the component (scalar) functions, and $\mathbf{x}=(x_1,\dots,x_n)$ . We say $\mathbf{F}$ is continuous (resp. $C^1$ , $C^\infty$ ) if every component $F_i$ is continuous (resp. continuously differentiable, smooth). In three dimensions the standard notation, using basis vectors $\mathbf{i},\mathbf{j},\mathbf{k}$ , is

2

\quad \mathbf{F}(x,y,z)=P(x,y,z)\,\mathbf{i}+Q(x,y,z)\,\mathbf{j}+R(x,y,z)\,\mathbf{k}.

Derivation hint: rewrite $(F_1,F_2,F_3)$ as $P,Q,R$ — the traditional letters for the three components in vector calculus.

DefinitionThe Del Operator and Its Three Children

Define the symbolic vector operator $\nabla$ ("del" or "nabla") in $\mathbb{R}^3$ by

3

\quad \nabla=\left(\frac{\partial}{\partial x},\frac{\partial}{\partial y},\frac{\partial}{\partial z}\right).

Derivation hint: $\nabla$ is not a number but a recipe — it acts on whatever stands to its right. The gradient of a scalar field $f$ , the divergence and curl of a vector field $\mathbf{F}=(P,Q,R)$ are

4

\quad \nabla f=\left(\frac{\partial f}{\partial x},\frac{\partial f}{\partial y},\frac{\partial f}{\partial z}\right),

Derivation hint: apply each component of $\nabla$ to the scalar $f$ — produces a vector field.

5

\quad \nabla\cdot\mathbf{F}=\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z},

Derivation hint: formal dot product of $\nabla$ with $\mathbf{F}$ — produces a scalar field.

6

\quad \nabla\times\mathbf{F}=\left(\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).

Derivation hint: formal cross product $\nabla\times\mathbf{F}$ via the determinant of the matrix with rows $(\mathbf{i},\mathbf{j},\mathbf{k})$ , $(\partial_x,\partial_y,\partial_z)$ , $(P,Q,R)$ — produces a vector field.

DefinitionConservative (Gradient) Field

A vector field $\mathbf{F}$ on $U$ is conservative if there exists a scalar field $f$ (a potential) with

7

\quad \mathbf{F}=\nabla f \quad\text{on } U.

Derivation hint: definition; the sign convention $\mathbf{F}=-\nabla\phi$ is common in physics (force = minus gradient of potential energy).

TheoremFundamental Theorem for Line Integrals

If $\mathbf{F}=\nabla f$ is continuous on $U$ and $C$ is a piecewise-smooth curve from $\mathbf{a}$ to $\mathbf{b}$ inside $U$ , then the line integral depends only on the endpoints:

8

\quad \int_C \mathbf{F}\cdot d\mathbf{r}=\int_C \nabla f\cdot d\mathbf{r}=f(\mathbf{b})-f(\mathbf{a}).

Derivation hint: parametrize $C$ by $\mathbf{r}(t)$ , apply the chain rule to $\tfrac{d}{dt}f(\mathbf{r}(t))=\nabla f\cdot\mathbf{r}'(t)$ , then integrate using the single-variable FTC. Consequently, line integrals of conservative fields around any closed loop vanish.

TheoremCurl Test for Conservativeness

Let $\mathbf{F}$ be $C^1$ on a simply connected open set $U\subseteq\mathbb{R}^3$ . Then

9

\quad \mathbf{F}=\nabla f \text{ for some } f \iff \nabla\times\mathbf{F}=\mathbf{0} \text{ on } U.

Derivation hint: the forward direction is the identity $\nabla\times(\nabla f)=\mathbf{0}$ (mixed partials commute); the converse uses simple-connectedness via <a class="wiki-link" href="/wiki/ndli-iit-kgp-ma10002-mathematics-ii-stokes-theorem">Stokes' Theorem</a> to construct $f$ by path integration.

ProofThe Two Fundamental Vector Identities

We prove $\nabla\times(\nabla f)=\mathbf{0}$ and $\nabla\cdot(\nabla\times\mathbf{F})=0$ , the backbone of the curl/divergence tests.

Step 1 — Curl of a gradient. Let $f$ be $C^2$ so mixed partials commute (Clairaut's theorem). Compute the first component of $\nabla\times(\nabla f)$ using [6] with $(P,Q,R)=(f_x,f_y,f_z)$ :

10

\quad \big(\nabla\times\nabla f\big)_1=\frac{\partial f_z}{\partial y}-\frac{\partial f_y}{\partial z}=f_{zy}-f_{yz}=0.

Derivation hint: substitute $R=f_z,\ Q=f_y$ into the first slot of [6], then invoke $f_{zy}=f_{yz}$ .

Step 2. By symmetry the other two components also vanish, so $\nabla\times(\nabla f)=\mathbf{0}$ .

Step 3 — Divergence of a curl. With $\mathbf{F}=(P,Q,R)$ apply [5] to the vector [6]:

11

\quad \nabla\cdot(\nabla\times\mathbf{F})=\frac{\partial}{\partial x}\!\big(R_y-Q_z\big)+\frac{\partial}{\partial y}\!\big(P_z-R_x\big)+\frac{\partial}{\partial z}\!\big(Q_x-P_y\big).

Derivation hint: differentiate each component of [6] and add.

Step 4. Expand: the six terms are $R_{yx}-Q_{zx}+P_{zy}-R_{xy}+Q_{xz}-P_{yz}$ . By equality of mixed partials, $R_{yx}=R_{xy}$ , $Q_{zx}=Q_{xz}$ , $P_{zy}=P_{yz}$ , so all six cancel in pairs, giving $\nabla\cdot(\nabla\times\mathbf{F})=0$ . $\blacksquare$

∎

ProofFundamental Theorem for Line Integrals

Step 1. Parametrize $C$ by $\mathbf{r}(t)$ , $t\in[a,b]$ , with $\mathbf{r}(a)=\mathbf{a}$ , $\mathbf{r}(b)=\mathbf{b}$ . By definition,

12

\quad \int_C\nabla f\cdot d\mathbf{r}=\int_a^b \nabla f(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt.

Derivation hint: the line-integral definition replaces $d\mathbf{r}$ with $\mathbf{r}'(t)\,dt$ .

Step 2. The multivariable chain rule gives $\dfrac{d}{dt}\,f(\mathbf{r}(t))=\nabla f(\mathbf{r}(t))\cdot\mathbf{r}'(t)$ , so the integrand is an exact derivative.

Step 3. Apply the single-variable Fundamental Theorem of Calculus:

13

\quad \int_a^b \frac{d}{dt}f(\mathbf{r}(t))\,dt = f(\mathbf{r}(b))-f(\mathbf{r}(a))=f(\mathbf{b})-f(\mathbf{a}). \ \blacksquare

Derivation hint: the result is path-independent because only endpoint values survive.

∎

JC

James Clerk Maxwell

1831–1879

Maxwell turned the abstract vector field into the governing language of physics. Building on Faraday's intuitive "lines of force," he formulated the electromagnetic field as coupled vector fields $\mathbf{E}$ and $\mathbf{B}$ , and his 1865 equations — later compactly written with $\nabla\cdot$ and $\nabla\times$ by Heaviside and Gibbs — predicted that electromagnetic disturbances propagate as waves at the speed of light. His Treatise on Electricity and Magnetism (1873) is the historical birthplace of the field concept as we teach it.

🧠 Intuition

Picture a windy weather map: at every city an arrow shows wind speed and direction. That is a vector field. Now read its three derivatives physically:

Gradient turns a "hill" (scalar height) into arrows pointing uphill, steepest first — it always points perpendicular to level curves.
Divergence at a point asks: is this a source or a sink? Drop a tiny balloon; if air rushes out faster than it comes in, divergence is positive (a source); if it collapses inward, negative.
Curl asks: would a tiny paddlewheel spin here? Place a microscopic wheel in the flow; if neighboring arrows are stronger on one side it rotates — curl points along the spin axis (right-hand rule) with magnitude twice the local angular velocity.

A field can have zero divergence yet swirl violently (pure rotation), or huge divergence yet never spin (radial outflow). These two behaviors are independent — that independence is exactly what the Helmholtz decomposition formalizes.

Figure

A planar vector field: rotational part (closed flow lines) versus the radial source. The gold curve traces one integral curve (flow line) of the swirling component.

ExampleDivergence and Curl of an Explicit Field

Given: $\mathbf{F}(x,y,z)=(xy,\ y^2z,\ xz^2)$ at the point $(1,2,3)$ .

Find: $\nabla\cdot\mathbf{F}$ and $\nabla\times\mathbf{F}$ there.

Step 1 — Divergence (use [5]):

P=xy,\ Q=y^2z,\ R=xz^2,\quad P_x=y,\ Q_y=2yz,\ R_z=2xz.

\nabla\cdot\mathbf{F}=y+2yz+2xz.

At $(1,2,3)$ : $2+2(2)(3)+2(1)(3)=2+12+6=20.$

Step 2 — Curl (use [6]):

1st: $R_y-Q_z=0-y^2=-y^2$
2nd: $P_z-R_x=0-z^2=-z^2$
3rd: $Q_x-P_y=0-x=-x$

So $\nabla\times\mathbf{F}=(-y^2,\,-z^2,\,-x)$ . At $(1,2,3)$ : $(-4,\,-9,\,-1)$ .

\boxed{\nabla\cdot\mathbf{F}=20\ \text{(s}^{-1}\text{ if F is a velocity in s}^{-1}\text{-scaled units)},\qquad \nabla\times\mathbf{F}=(-4,-9,-1).}

ExampleFinding a Potential and a Line Integral

Given: $\mathbf{F}(x,y)=(2xy+3,\ x^2-1)$ . Compute $\displaystyle\int_C\mathbf{F}\cdot d\mathbf{r}$ along any path from $(0,0)$ to $(2,1)$ .

Step 1 — Test conservativeness: $P=2xy+3$ , $Q=x^2-1$ . Then $P_y=2x$ and $Q_x=2x$ , equal everywhere; $\mathbb{R}^2$ is simply connected, so $\mathbf{F}=\nabla f$ exists (planar curl test, special case of [9]).

Step 2 — Build $f$ : Integrate $P$ in $x$ : $f=x^2y+3x+g(y)$ . Differentiate in $y$ : $f_y=x^2+g'(y)$ must equal $Q=x^2-1$ , so $g'(y)=-1$ , $g(y)=-y$ . Thus

f(x,y)=x^2y+3x-y.

Step 3 — Apply the Fundamental Theorem [8]:

\int_C\mathbf{F}\cdot d\mathbf{r}=f(2,1)-f(0,0)=\big(4\cdot1+6-1\big)-0=9.

\boxed{\int_C\mathbf{F}\cdot d\mathbf{r}=9\ \text{(units of work, e.g. joules if F is a force in N).}}

⚠️ Common mistake

Zero curl does NOT automatically mean conservative. Equation [9] requires the domain to be simply connected (no holes). On a domain with a hole, a field can satisfy $\nabla\times\mathbf{F}=\mathbf{0}$ everywhere yet fail to be a gradient. Likewise, divergence and curl are not "the derivative" of a vector field — they are two specific scalar/vector summaries of the full $n\times n$ Jacobian matrix $\partial F_i/\partial x_j$ . The Jacobian carries strictly more information.

CounterexampleIrrotational but Not Conservative

Consider on $U=\mathbb{R}^2\setminus\{(0,0)\}$ the field

14

\quad \mathbf{F}(x,y)=\left(\frac{-y}{x^2+y^2},\ \frac{x}{x^2+y^2}\right).

Derivation hint: this is $\nabla\theta$ in regions where the polar angle $\theta$ is single-valued, but $\theta$ jumps by $2\pi$ around the origin. A direct computation gives $Q_x-P_y=0$ everywhere on $U$ (irrotational). Yet integrating around the unit circle counterclockwise gives

\oint_C\mathbf{F}\cdot d\mathbf{r}=\int_0^{2\pi}1\,d\theta=2\pi\neq0.

A nonzero loop integral is impossible for a true gradient field (by [8]), so $\mathbf{F}$ is not conservative on $U$ . The culprit is the hole at the origin — $U$ is not simply connected.

connection

Vector fields are the meeting point of nearly all of vector calculus. The three integral theorems — Green's Theorem (plane), Stokes' Theorem (surfaces), and the Divergence Theorem — each relate an integral of a derivative of $\mathbf{F}$ over a region to an integral of $\mathbf{F}$ over its boundary; together with Differential Forms they unify into the generalized Stokes theorem $\int_M d\omega=\int_{\partial M}\omega$ . The flow generated by integrating $\dot{\mathbf{x}}=\mathbf{F}(\mathbf{x})$ links vector fields to Ordinary Differential Equations and Dynamical Systems. On curved spaces, vector fields become sections of the Tangent Bundle studied in Differential Geometry, and the Helmholtz decomposition generalizes to the Hodge Decomposition.

🔬 Where this appears

⏳ History

- 1760s — Euler & Lagrange: velocity fields appear implicitly in early fluid mechanics; the Euler equations describe an ideal fluid's velocity field.

- 1813 — Gauss: states the divergence theorem in the context of gravitational potential.

- 1828 — George Green: Essay on the Application of Mathematical Analysis to Electricity and Magnetism introduces potential theory and Green's theorem.

- 1831–1855 — Michael Faraday: experimental "lines of force," the physical seed of the field concept (though Faraday used no equations).

- 1850s — William Thomson (Lord Kelvin) & Stokes: formulate and popularize Stokes' theorem (it appears as an 1854 Smith's Prize exam question).

- 1865/1873 — James Clerk Maxwell: unifies electricity, magnetism, and light into field equations; coins much field terminology including "curl" and "convergence."

- 1880s — Josiah Willard Gibbs & Oliver Heaviside: independently develop modern vector analysis, the

\nabla

notation, and the compact form of Maxwell's equations — defeating Hamilton's quaternions for the textbook standard.

- 1858 — Hermann von Helmholtz: proves the decomposition of a vector field into curl-free and divergence-free parts (vorticity theorems).

- 1900s — Élie Cartan: the calculus of differential forms recasts all vector-field theorems in coordinate-free language.

open-problem

The deepest open question tied directly to vector fields is the Navier–Stokes existence and smoothness problem — a Clay Millennium Prize problem: do smooth, finite-energy initial velocity fields in $\mathbb{R}^3$ always produce solutions that remain smooth for all time, or can the velocity field develop a singularity (blow up to infinite speed) in finite time? No one knows. More broadly, the topology of the domain controls which irrotational fields are gradients (de Rham cohomology measures the failure), and on curved manifolds the naive operators must be replaced by the exterior derivative and Hodge star, where the index theorems (e.g. Poincaré–Hopf, relating zeros of a vector field to the Euler characteristic) impose global constraints — you cannot, for instance, comb a hairy sphere flat.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also