Vector Calculus
Vector Calculus
you requested and following the desired style (geometric meaning, why we need it, why it works,
examples), without diagrams and formatted for clarity.
Vector calculus extends the ideas of differentiation and integration to vector fields, which are
functions that assign a vector to each point in space. This allows us to model and analyze
phenomena involving flow, forces, rotation, and flux, such as fluid dynamics, electromagnetism,
and gravitational fields.
Definition:
o A vector field on R² is a function F that assigns a two-dimensional vector F(x, y)
= P(x, y)i + Q(x, y)j to each point (x, y) in a domain D in the xy-plane.
o A vector field on R³ is a function F that assigns a three-dimensional vector F(x,
y, z) = P(x, y, z)i + Q(x, y, z)j + R(x, y, z)k to each point (x, y, z) in a domain E
in space.
Geometric Meaning: Imagine attaching an arrow (a vector) to every point in a region.
The length and direction of the arrow can vary from point to point.
o Visualization: Think of wind patterns on a weather map (vectors show wind speed
and direction at each location) or the flow of water in a river (vectors show
velocity). In physics, gravitational or electromagnetic fields assign a force vector
to each point in space.
Why we need it: Single numbers (scalar fields, like temperature T(x, y, z)) aren't enough
when direction matters. Force, velocity, acceleration, fluid flow, electric and magnetic
fields all have both magnitude and direction at every point, requiring vector fields for
their description.
Why it works: It's a natural extension of functions. Instead of mapping a point to a
scalar, we map a point to a vector, capturing directional information inherent in many
physical systems.
Example 1 (2D): F(x, y) = -yi + xj.
o At (1, 0), F = 0i + 1j = j. (Arrow points straight up).
o At (0, 1), F = -1i + 0j = -i. (Arrow points left).
o At (-1, 0), F = 0i - 1j = -j. (Arrow points straight down).
o At (0, -1), F = 1i + 0j = i. (Arrow points right).
o Geometric Meaning: This vector field represents a counter-clockwise rotation
around the origin. The magnitude ||F|| = sqrt((-y)² + x²) = sqrt(x² + y²) increases
with distance from the origin.
Example 2 (3D): F(x, y, z) = xi + yj + zk.
o At any point (x, y, z), the vector points directly away from the origin.
o Geometric Meaning: This is a radial field, pointing outwards from the origin. Its
magnitude ||F|| = sqrt(x² + y² + z²), the distance from the origin. Think of an
explosion originating at (0,0,0) or a source emitting particles radially.
Line integrals allow us to integrate a function (scalar or vector) along a curve in space.
o If F represents a force field, ∫_C F ⋅ dr calculates the work done by the force field
curve, summed along the curve's length.
flow of the fluid along the curve C (especially if C is a closed loop). Positive
work/circulation means the field generally points along the curve's direction;
negative means it generally points against it.
Why we need it: Crucial in physics for calculating work done by variable forces along
paths (e.g., gravity, electric fields). Used in fluid dynamics to measure flow along or
around boundaries.
Why it works: We break the curve into small displacement vectors Δr. For each small
field F in the direction of the step, multiplied by the step length: F ⋅ T Δs. The dot
step, the work done (or flow contribution) is approximately the component of the vector
product F ⋅ T picks out the component of F parallel to the tangent vector T. Summing
these contributions and taking the limit gives ∫ F ⋅ T ds. The formula ∫ F(r(t)) ⋅ r'(t) dt
comes from substituting T ds = (r'(t) / ||r'(t)||) * (||r'(t)|| dt) = r'(t) dt.
Example: Calculate the work done by the force field F(x, y) = xi - yj in moving a
particle along the curve C: r(t) = cos(t)i + sin(t)j, 0 ≤ t ≤ π/2.
o F(r(t)) = cos(t)i - sin(t)j
5.3 Conservative Vector Fields and the Fundamental Theorem for Line Integrals
(∂f/∂z)k).
integral ∫_C F ⋅ dr depends only on the endpoints A and B of the curve C, not on the path
Path Independence: A crucial property equivalent to being conservative: The line
∇f always points in the direction of the steepest ascent of f, and its magnitude is
o The potential function f(x, y, z) acts like a "height" function. The vector field F =
the rate of that ascent. The line integral calculates the total change in "height" (f)
along the path.
Why we need it: If a field is conservative, calculating work becomes incredibly simple:
just find the potential function f and evaluate it at the endpoints. This avoids
parameterizing the path and performing the often complex line integral calculation. Path
o P = 2x + y, Q = x + 3y²
o ∂P/∂y = 1, ∂Q/∂x = 1. Since they are equal (and it's 2D), F is conservative.
o Find f such that ∂f/∂x = P and ∂f/∂y = Q.
∂f/∂x = 2x + y => f(x, y) = ∫(2x + y) dx = x² + xy + g(y) (g(y) is the "constant" of
integration, which can depend on y).
∂f/∂y = ∂/∂y (x² + xy + g(y)) = 0 + x + g'(y)
We need this to equal Q: x + g'(y) = x + 3y² => g'(y) = 3y²
So, g(y) = ∫ 3y² dy = y³ + K (K is a true constant).
A potential function is f(x, y) = x² + xy + y³ (we can choose K=0).
tiny rectangular cells. Calculate the circulation ∮ P dx + Q dy around each tiny rectangle.
Why it works (Intuition for Circulation Form): Imagine dividing region D into many
The ∂Q/∂x term relates to the difference in Q (y-component of F) across the rectangle
horizontally, contributing to circulation. The -∂P/∂y term relates to the difference in P (x-
component of F) across the rectangle vertically, also contributing. So, (∂Q/∂x - ∂P/∂y) dA
represents the approximate circulation around a tiny rectangle of area dA. When you sum
these tiny circulations over all rectangles in D, the line integrals along interior shared
the line integrals along the outer boundary C remain, summing up to ∮_C P dx + Q dy.
edges cancel out (because adjacent rectangles are traversed in opposite directions). Only
Example (Circulation Form): Evaluate ∮_C (x²y) dx + (x³) dy where C is the boundary
of the rectangle D: 0 ≤ x ≤ 1, 0 ≤ y ≤ 2, oriented counter-clockwise.
o P = x²y, Q = x³
o ∂Q/∂x = 3x², ∂P/∂y = x²
o ∂Q/∂x - ∂P/∂y = 3x² - x² = 2x²
curl F = ∇ × F = | i j k |
Definition: The curl of a vector field F = Pi + Qj + Rk is a vector field defined as:
curl vector ∇ × F points along the axis around which the paddle wheel would
o Imagine placing a tiny paddle wheel in the vector field at a point (x, y, z). The
spin fastest. The magnitude ||∇ × F|| is proportional to the speed of that rotation.
o If curl F = 0 at a point, there is no microscopic rotation there (the field is locally
irrotational).
Why we need it:
o Characterizes the rotational properties of vector fields (essential in fluid dynamics
for vortices, and electromagnetism for relating changing magnetic fields to
electric fields - Faraday's Law).
o Provides the condition for a vector field to be conservative (on a simply
connected domain): F is conservative if and only if curl F = 0.
o It is the key ingredient in Stokes' Theorem.
Why it works: The components of curl, like (∂Q/∂x - ∂P/∂y) (the k-component), measure
the difference in how the field changes in perpendicular directions. For instance, ∂Q/dx
measures how the y-component changes as we move in x, while ∂P/dy measures how the
x-component changes as we move in y. The difference indicates a twisting or rotational
tendency around the z-axis.
Example: Find the curl of F(x, y, z) = -yi + xj + z²k.
o P = -y, Q = x, R = z²
o curl F = (∂(z²)/∂y - ∂(x)/∂z)i + (∂(-y)/∂z - ∂(z²)/∂x)j + (∂(x)/∂x - ∂(-y)/∂y)k
o = (0 - 0)i + (0 - 0)j + (1 - (-1))k
o = 0i + 0j + 2k = 2k
o Interpretation: This field has a constant curl pointing purely in the +z direction.
This matches our earlier observation that F(x, y) = -yi + xj represents rotation
around the origin (which is rotation around the z-axis). The paddle wheel would
spin counter-clockwise (viewed from positive z) everywhere, with the same
speed.
5.6 Divergence
Important Identity: For any vector field F with continuous second-order partial derivatives,
div(curl F) = 0.
To integrate over surfaces, we first need a way to describe them, often using parameters.
Parametric Surfaces: A surface S in R³ can be described by a vector function r(u, v) =
x(u, v)i + y(u, v)j + z(u, v)k, where (u, v) belong to a domain D in the uv-plane.
o Analogy: Like parameterizing a curve r(t) with one parameter t, we use two
parameters u, v to "sweep out" a surface.
o Tangent Vectors: r_u = ∂r/∂u and r_v = ∂r/∂v are vectors tangent to the surface
along lines of constant v and constant u, respectively.
o Normal Vector: The cross product r_u × r_v gives a vector perpendicular
(normal) to the surface at the point r(u, v). Its magnitude ||r_u × r_v|| represents
the area of a small parallelogram on the surface spanned by Δu * r_u and Δv *
r_v.
o Surface Area Element: dS = ||r_u × r_v|| dA, where dA = du dv.
Definition: Let F(x, y, z) be a vector field and S be an oriented smooth surface with unit
normal vector n, parameterized by r(u, v) for (u, v) in D. The surface integral of F over S
(also called the flux of F across S) is:
∬_S F ⋅ dS = ∬_S F ⋅ n dS = ∬_D F(r(u, v)) ⋅ (r_u × r_v) dA
(Note: We use r_u × r_v, assuming this gives the correct orientation for n. If it gives the
opposite direction, we multiply by -1).
Geometric Meaning: This measures the net rate of flow of the vector field F through
the surface S. It calculates the accumulated component of F that is normal to the surface,
summed over the surface area.
o If F is the velocity field of a fluid, flux is the volume of fluid crossing S per unit
time.
o If F is an electric field, flux is related to the electric charge enclosed (Gauss's
Law).
o Positive flux means net flow is in the direction of n; negative means net flow is
opposite to n.
Why we need it: Essential in fluid dynamics (flow through membranes, pipes),
electromagnetism (Gauss's laws for E and B fields), heat transfer (heat flow rate across a
surface).
Why it works: We break the surface into small patches ΔS with normal vector n. The
multiplied by the patch area: (F ⋅ n) ΔS. The dot product F ⋅ n picks out the component of
flow rate through a patch is approximately the component of F normal to the patch,
F perpendicular to the surface. Summing these contributions and taking the limit gives ∬
F ⋅ n dS. The formula ∬ F ⋅ (r_u × r_v) dA comes from substituting n dS = (r_u × r_v / ||
r_u × r_v||) * (||r_u × r_v|| dA) = (r_u × r_v) dA, assuming the orientation matches.
Example: Calculate the flux of F(x, y, z) = zk across the upper hemisphere S: x² + y² +
z² = a², z ≥ 0, oriented upwards.
o Use the same parameterization r(φ, θ) as before.
o r_φ × r_θ points radially outward. For the upper hemisphere, this is the correct
upward orientation. We found r_φ × r_θ corresponds to a² sin(φ) * n, where n is
the outward normal. A more direct calculation gives r_φ × r_θ = a²sin²(φ)cos(θ)i
+ a²sin²(φ)sin(θ)j + a²sin(φ)cos(φ)k.
Stokes' Theorem relates the line integral of a vector field around the boundary curve C of an
oriented surface S to the surface integral of the curl of the field over the surface S. It is a
generalization of Green's Theorem to 3D.
Geometric Meaning: The total "circulation" of F around the boundary curve C (left
side) is equal to the total "flux of the curl" of F through the surface S (right side). It says
that the macroscopic circulation around the edge C is the sum of all the microscopic
circulations (curl F) occurring on the surface S bounded by C.
Why we need it:
o Relates line integrals and surface integrals in 3D.
o Provides an alternative way to calculate circulation or flux of curl.
o Fundamental in physics, especially electromagnetism (Ampère's Law, Faraday's
o Shows that if curl F = 0 everywhere on the surface S, then the circulation ∮_C F ⋅
Law).
Example: Verify Stokes' Theorem for F(x, y, z) = -yi + xj + 0k and S as the part of the
paraboloid z = x² + y² below the plane z = 1, oriented upward. The boundary C is the
The Divergence Theorem relates the flux of a vector field through a closed surface S to the triple
integral of the divergence of the field over the solid region E enclosed by S. It's another
generalization of Green's Theorem (specifically, the flux form).
Theorem: Let E be a simple solid region and let S be the boundary surface of E, given
with positive (outward) orientation. Let F be a vector field whose components have
Geometric Meaning: The total "flux" of F outward through the closed boundary surface
S (left side) is equal to the sum of all the "microscopic sources/sinks" (divergence of F)
within the entire volume E enclosed by S (right side). It says the net flow out of a region
equals the total "source strength" inside that region.
Why we need it:
o Relates surface integrals (flux) and triple integrals (volume integrals).
o Provides an alternative way to compute flux (sometimes the triple integral of
divergence is easier) or the total divergence in a volume (sometimes the flux
integral is easier).
o Fundamental in physics: Gauss's Law for electricity and magnetism, conservation
laws in fluid dynamics (relating flow out of a region to changes inside).
Why it works (Intuition): Imagine dividing the solid region E into many tiny cubic
cells. For each cell, the triple integral of div F over it represents the net outward flux from
that tiny cell. When you sum these contributions over all cells in E, the fluxes across
interior faces shared by adjacent cells cancel out (because the normal vectors are
Example: Verify the Divergence Theorem for F(x, y, z) = xi + yj + zk and the region E
being the unit ball x² + y² + z² ≤ 1, bounded by the sphere S: x² + y² + z² = 1 oriented
S is the sphere of radius a=1. Use spherical parameterization r(φ, θ) from the
surface integral example. The outward normal corresponds to r_φ × r_θ =
sin²(φ)cos(θ)i + sin²(φ)sin(θ)j + sin(φ)cos(φ)k (since a=1).
F ⋅ (r_φ × r_θ) = (sin φ cos θ)(sin²φ cos θ) + (sin φ sin θ)(sin²φ sin θ) + (cos φ)
F(r(φ, θ)) = xi + yj + zk = sin(φ)cos(θ)i + sin(φ)sin(θ)j + cos(φ)k.
(sin φ cos φ)
= sin³φ cos²θ + sin³φ sin²θ + cos²φ sin φ
= sin³φ (cos²θ + sin²θ) + cos²φ sin φ
= sin³φ + cos²φ sin φ
Flux = ∬_S F ⋅ dS = ∫_0^(2π) ∫_0^π sin(φ) dφ dθ (Note: φ goes to π for the full
= sin φ (sin²φ + cos²φ) = sin φ.
sphere)
= ∫_0^(2π) [-cos(φ)]_0^π dθ
= ∫_0^(2π) (-cos(π) - (-cos(0))) dθ = ∫_0^(2π) (-(-1) - (-1)) dθ = ∫_0^(2π) 2 dθ
= [2θ]_0^(2π) = 4π.
o Triple Integral Side (∭_E div F dV):
Green's Theorem, Stokes' Theorem, and the Divergence Theorem are all higher-dimensional
generalizations of the Fundamental Theorem of Calculus (∫_a^b f'(x) dx = f(b) - f(a)).
Integral of Integral of
Dimensio Derivative
Theorem Derivative over Function over
n Operator
Region Boundary
∫_C ∇f ⋅ dr
Fund. Thm.
f(B) - f(A) 2D/3D Gradient (∇f)
Line Integrals