Vector Fields — Mathematics Knowledge System

Overview

A vector field assigns a vector — not just a number — to every point in space. Where a scalar field like temperature T(x,y,z) gives a single number at each point, a vector field like wind velocity or a magnetic field gives both a magnitude and a direction at each point. Vector fields are the natural setting for describing flows, forces, and fluxes, and are the objects that line integrals, surface integrals, divergence, and curl all operate on.

Intuition

Picture a weather map showing wind: at every point, there's an arrow showing which way the wind blows and how strong. That's a vector field — F(x,y) assigns an arrow (a vector) to each point (x,y), rather than just a temperature number. Fluid flow, gravitational pull, and electric/magnetic forces are all naturally described this way: at each location, 'what happens' has both a strength and a direction.

Interactive Graph

Formal Definition

Definition

A vector field in the plane or in space:

\mathbf F(x,y) = P(x,y)\,\mathbf i + Q(x,y)\,\mathbf j

P and Q are scalar component functions

2D vector field

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

3D vector field

\mathbf F = \nabla f

A vector field is conservative if it is the gradient of some scalar potential function f

Conservative (gradient) vector field

Notation

Notation	Meaning
$\mathbf F(x,y) = \langle P,Q\rangle$	A vector field with component functions P and Q
$\mathbf F = \nabla f$	A vector field arising as the gradient of a scalar potential f
$\mathbf r'(t) = \mathbf F(\mathbf r(t))$	A curve tangent to the vector field at every point, e.g. a particle's path in a flow

Derivation

The test for whether a 2D field F=⟨P,Q⟩ is conservative follows from Clairaut's theorem on mixed partials: if F=∇f, then P=∂f/∂x and Q=∂f/∂y.

\frac{\partial P}{\partial y} = \frac{\partial^2 f}{\partial y \partial x}, \qquad \frac{\partial Q}{\partial x} = \frac{\partial^2 f}{\partial x \partial y}

Both are mixed second partials of the same potential f

\text{By Clairaut's theorem, } \frac{\partial^2 f}{\partial y\partial x} = \frac{\partial^2 f}{\partial x\partial y} \implies \frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}

A necessary condition for F to be conservative (sufficient too, on a simply connected domain)

Properties

Conservative field test (2D)

\mathbf F = \langle P,Q\rangle \text{ is conservative} \iff \frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}

Condition: on a simply connected domain

Gradient fields are irrotational

\nabla \times (\nabla f) = \mathbf{0}

Condition: curl of any gradient field is always zero

Applications

Gravitational and electric fields are vector fields; velocity fields describe fluid flow at every point in a moving fluid.

Worked Examples

Check the conservative condition: ∂P/∂y vs ∂Q/∂x.
$\frac{\partial P}{\partial y} = 2x, \qquad \frac{\partial Q}{\partial x} = 2x$
They're equal, so F is conservative. Find f with ∂f/∂x=2xy.
$f(x,y) = x^2y + g(y)$
Differentiate with respect to y and match to Q=x²+3y².
$\frac{\partial f}{\partial y} = x^2+g'(y) = x^2+3y^2 \implies g'(y)=3y^2 \implies g(y)=y^3$

Answer: F is conservative, with potential f(x,y) = x²y + y³ + C

Practice Problems

Difficulty 5/10

Is F(x,y) = ⟨3x²y, x³⟩ conservative? If so find a potential function.

Difficulty 5/10

Sketch (describe in words) the vector field F(x,y) = ⟨x, y⟩ near the origin.

Common Mistakes

Common Mistake

Assuming every vector field is conservative (has a potential function).

Most vector fields are NOT conservative — e.g. rotational fields like ⟨-y,x⟩ have no potential function. The test ∂P/∂y=∂Q/∂x must be verified, not assumed.

Common Mistake

Confusing a vector field's domain (where it's defined) with the set of points where its output vector happens to be zero.

A vector field's domain is the set of input points (x,y) or (x,y,z) where F is defined and can be evaluated — it's unrelated to where the OUTPUT vector F(x,y) happens to equal the zero vector.

Quiz

Historical Background

Vector fields arose from 19th-century physics, especially Michael Faraday's visualization of electric and magnetic 'lines of force' in the 1830s-40s, which he used to intuit electromagnetic phenomena before the mathematics fully caught up. James Clerk Maxwell translated Faraday's field pictures into rigorous mathematics in his 1873 Treatise on Electricity and Magnetism, and the modern abstract notion of a vector field on a manifold was formalized in the development of differential geometry in the late 19th and early 20th centuries.

1830s-1840s
Faraday visualizes electric and magnetic fields as 'lines of force'
Michael Faraday
1873
Maxwell formalizes field theory mathematically in his Treatise on Electricity and Magnetism
James Clerk Maxwell

Summary

A vector field F(x,y) or F(x,y,z) assigns a vector (magnitude + direction) to every point in its domain.
Conservative vector fields arise as the gradient of a scalar potential function: F=∇f.
2D test for conservative fields: ∂P/∂y = ∂Q/∂x (necessary; sufficient on simply connected domains).
Vector fields model fluid velocity, force fields (gravity, electric, magnetic), and are the objects line/surface integrals act on.
Gradient (conservative) fields always have zero curl — an important link to the divergence/curl theory that follows.

References

WebsiteWikipedia — Vector field