07 Vector Fields

A progressive guide to vector fields, line integrals, conservative fields, potential functions, and the divergence and curl that describe fluid flow.

Vector Fields and Their Representations

A assigns a vector to every point in a region. In two dimensions, it has the form

F(x,y)=⟨P(x,y),Q(x,y)⟩.\mathbf{F}(x,y)=\langle P(x,y),Q(x,y)\rangle.

In three dimensions, it has the form

F(x,y,z)=⟨P(x,y,z),Q(x,y,z),R(x,y,z)⟩.\mathbf{F}(x,y,z)=\langle P(x,y,z),Q(x,y,z),R(x,y,z)\rangle.

The component functions determine the direction and magnitude of the vector at each point. A diagram represents the field with arrows: arrow direction shows the field direction, and arrow length represents its magnitude.

Important applications include:

  • velocity fields, which describe fluid motion;

  • force fields, which describe forces such as gravity or electric force;

  • heat-flow fields, which describe the direction and rate of heat transfer.

A can be evaluated along a parametrized curve r(t)\mathbf{r}(t) by substituting the curve into the field, producing F(r(t))\mathbf{F}(\mathbf{r}(t)).

Line Integrals and Work

A measures the accumulated tangential effect of a along a curve. For a curve CC parametrized by r(t)\mathbf{r}(t), with a≤t≤ba\le t\le b,

∫CF⋅dr=∫abF(r(t))⋅r′(t) dt.\int_C\mathbf{F}\cdot d\mathbf{r}=\int_a^b\mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt.

The dot product selects the component of the field tangent to the direction of motion. If F\mathbf{F} is a force field, this integral represents work:

W=∫CF⋅dr.W=\int_C\mathbf{F}\cdot d\mathbf{r}.

The orientation of the curve matters. Reversing the direction of traversal changes the sign of the .

Takeaway: A combines the field with the direction and geometry of a path, rather than measuring the field at only one point.

Conservative Vector Fields

A is a field that can be written as the gradient of a scalar function:

F=∇f.\mathbf{F}=\nabla f.

The scalar function ff is a . In two dimensions, if F(x,y)=⟨P(x,y),Q(x,y)⟩\mathbf{F}(x,y)=\langle P(x,y),Q(x,y)\rangle, then conservativeness means that

fx=P,fy=Q.f_x=P,\qquad f_y=Q.

In three dimensions, if F=⟨P,Q,R⟩\mathbf{F}=\langle P,Q,R\rangle, then

fx=P,fy=Q,fz=R.f_x=P,\qquad f_y=Q,\qquad f_z=R.

The gradient points in the direction of greatest increase of ff, and its magnitude gives the rate of increase in that direction.

For a conservative field, the Fundamental Theorem for Line Integrals gives

∫CF⋅dr=f(B)−f(A),\int_C\mathbf{F}\cdot d\mathbf{r}=f(B)-f(A),

where AA and BB are the initial and terminal points. Thus, the value depends only on the endpoints. This is . For a closed curve, A=BA=B, so

∮CF⋅dr=0.\oint_C\mathbf{F}\cdot d\mathbf{r}=0.

Takeaway: Recognizing a conservative field can replace a difficult path computation with evaluation of a at two endpoints.

Testing Conservativeness

For a two-dimensional field F=⟨P,Q⟩\mathbf{F}=\langle P,Q\rangle with continuous first partial derivatives, compare the cross-partials:

Py=Qx.P_y=Q_x.

On a , this condition is sufficient for the field to be conservative. A has no holes that allow paths to wind around a missing point or region.

For a three-dimensional field F=⟨P,Q,R⟩\mathbf{F}=\langle P,Q,R\rangle, the corresponding conditions are

Py=Qx,Pz=Rx,Qz=Ry.P_y=Q_x,\qquad P_z=R_x,\qquad Q_z=R_y.

These conditions are equivalent to

∇×F=0.\nabla\times\mathbf{F}=\mathbf{0}.

The domain must be checked before applying this test. A field may have zero away from a missing point or line and still fail to be conservative because the domain is not simply connected.

To find a in two dimensions, integrate one component and then determine the remaining single-variable function. For example, let

F(x,y)=⟨2xy+3,x2+4y⟩.\mathbf{F}(x,y)=\langle 2xy+3,x^2+4y\rangle.

Here, Py=2xP_y=2x and Qx=2xQ_x=2x, and the domain is all of R2\mathbb{R}^2, so the field is conservative. Integrating fx=Pf_x=P with respect to xx gives

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

Differentiating with respect to yy and matching fy=Qf_y=Q gives g′(y)=4yg'(y)=4y, so one is

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

For a path from A=(0,1)A=(0,1) to B=(2,3)B=(2,3),

∫CF⋅dr=f(2,3)−f(0,1)=36−2=34.\int_C\mathbf{F}\cdot d\mathbf{r}=f(2,3)-f(0,1)=36-2=34.

Takeaway: Use the cross-partial or test together with the domain, then construct a when the field is conservative.

Potential Functions and Energy

Level curves and level surfaces of a are sets on which ff is constant. If v\mathbf{v} is tangent to a level set, then

∇f⋅v=0.\nabla f\cdot\mathbf{v}=0.

Therefore, the gradient is perpendicular to the level set. This geometric fact explains why the field F=∇f\mathbf{F}=\nabla f points across potential contours rather than along them.

In physical models, potential energy is often denoted by UU, with force defined by

F=−∇U.\mathbf{F}=-\nabla U.

The negative sign means that the force points toward decreasing potential energy. If a particle moves from AA to BB, the work is

W=U(A)−U(B).W=U(A)-U(B).

This is consistent with the endpoint-only nature of conservative work.

Velocity Fields and Streamlines

A time-dependent velocity field v(x,y,z,t)\mathbf{v}(x,y,z,t) gives the instantaneous velocity of the fluid particle located at (x,y,z)(x,y,z) at time tt. Its magnitude ∣v∣\lvert\mathbf{v}\rvert is the fluid speed, and its direction is the direction of motion.

A is a curve whose tangent direction is parallel to the velocity field. If r(s)\mathbf{r}(s) parametrizes a , then

r′(s)∥v(r(s)).\mathbf{r}'(s)\parallel\mathbf{v}(\mathbf{r}(s)).

For a two-dimensional velocity field v=⟨P,Q⟩\mathbf{v}=\langle P,Q\rangle, streamlines can be found from

dydx=Q(x,y)P(x,y),P≠0.\frac{dy}{dx}=\frac{Q(x,y)}{P(x,y)},\qquad P\ne 0.

Streamlines show the instantaneous pattern of the flow. If the field changes with time, they do not necessarily trace the trajectory of one particular fluid particle.

Takeaway: Velocity fields describe local motion, while streamlines organize that local information into visible flow patterns.

and

measures local expansion or compression. For a three-dimensional field F=⟨P,Q,R⟩\mathbf{F}=\langle P,Q,R\rangle,

∇⋅F=Px+Qy+Rz.\nabla\cdot\mathbf{F}=P_x+Q_y+R_z.

For a velocity field:

  • ∇⋅v>0\nabla\cdot\mathbf{v}>0 indicates local expansion or source-like behavior;

  • ∇⋅v<0\nabla\cdot\mathbf{v}<0 indicates local compression or sink-like behavior;

  • ∇⋅v=0\nabla\cdot\mathbf{v}=0 indicates locally source-free flow.

An incompressible flow satisfies

∇⋅v=0.\nabla\cdot\mathbf{v}=0.

This means that the flow has no local net creation or removal of volume.

measures local rotation. In three dimensions,

∇×F=⟨Ry−Qz,Pz−Rx,Qx−Py⟩.\nabla\times\mathbf{F}=\langle R_y-Q_z,P_z-R_x,Q_x-P_y\rangle.

For the two-dimensional rotational field

v(x,y)=⟨−y,x⟩,\mathbf{v}(x,y)=\langle -y,x\rangle,

its scalar is

Qx−Py=1−(−1)=2,Q_x-P_y=1-(-1)=2,

so the field has nonzero local rotation and circulates counterclockwise around the origin.

By contrast, the radial field

v(x,y)=⟨x,y⟩\mathbf{v}(x,y)=\langle x,y\rangle

has scalar Qx−Py=0Q_x-P_y=0 and points outward. It is conservative on R2\mathbb{R}^2 because

v=∇(x2+y22).\mathbf{v}=\nabla\left(\frac{x^2+y^2}{2}\right).

Takeaway: describes outward or inward flow, whereas describes local rotational tendency.