5.3 Vector Fields, Line Integrals, and Green's Theorem

5.3 Vector Fields, Line Integrals, and Green's Theorem

Vector calculus analyzes continuous vector-valued mappings across Euclidean space, modeling physical phenomena like velocity flows, force fields, and electromagnetic potentials. On the GRE Subject Test in Mathematics, line integrals, conservative vector fields, and Green's Theorem represent high-yield topics testing theoretical conditions (simple connectivity, exactness) and computational dexterity.

---

Vector Fields, Divergence, and Curl

A vector field on $\mathbb{R}^3$ assigns a vector $\mathbf{F}(x, y, z) = \langle P(x, y, z), Q(x, y, z), R(x, y, z) \rangle$ to each point in its domain. Vector differential operations are defined via the formal del operator $\nabla = \langle \partial_x, \partial_y, \partial_z \rangle$:

Divergence (Expansion Density)

The divergence of a $C^1$ vector field is the scalar field: $\operatorname{div} \mathbf{F} = \nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}.$ Physically, $\operatorname{div} \mathbf{F}$ measures the net rate of outward flux per unit volume from an infinitesimal neighborhood around a point. If $\operatorname{div} \mathbf{F} = 0$, the field is called incompressible or solenoidal.

Curl (Microscopic Rotation)

The curl of a $C^1$ vector field is the vector field: $\operatorname{curl} \mathbf{F} = \nabla \times \mathbf{F} = \det \begin{pmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ \partial_x & \partial_y & \partial_z \\ P & Q & R \end{pmatrix} = \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.$ Curl measures the tendency of particles to rotate about the axis directed along $\operatorname{curl} \mathbf{F}$. If $\operatorname{curl} \mathbf{F} = \mathbf{0}$, the field is called irrotational.

Fundamental Differential Identities

For any $C^2$ scalar field $f$ and $C^2$ vector field $\mathbf{F}$:

1. $\operatorname{curl}(\nabla f) = \nabla \times (\nabla f) = \mathbf{0}$ (gradient fields are irrotational).
2. $\operatorname{div}(\operatorname{curl} \mathbf{F}) = \nabla \cdot (\nabla \times \mathbf{F}) = 0$ (curl fields are divergence-free).

---

Conservative Vector Fields and Potential Functions

A vector field $\mathbf{F}$ is conservative on an open connected domain $D$ if there exists a differentiable scalar potential function $f: D \to \mathbb{R}$ such that: $\mathbf{F} = \nabla f.$

Fundamental Theorem for Line Integrals

If $\mathbf{F} = \nabla f$ and $C$ is any piecewise-smooth curve parametrized by $\mathbf{r}(t)$ for $a \le t \le b$ lying entirely within $D$: $\int_C \mathbf{F} \cdot d\mathbf{r} = \int_a^b \nabla f(\mathbf{r}(t)) \cdot \mathbf{r}'(t) \, dt = \int_a^b \frac{d}{dt}[f(\mathbf{r}(t))] \, dt = f(\mathbf{r}(b)) - f(\mathbf{r}(a)).$

Characterizations of Conservative Fields

For an open connected domain $D$, the following three statements are logically equivalent:

1. $\mathbf{F}$ is conservative ($\mathbf{F} = \nabla f$ for some $f$).
2. $\int_C \mathbf{F} \cdot d\mathbf{r}$ is independent of path (depends only on initial and terminal points).
3. $\oint_C \mathbf{F} \cdot d\mathbf{r} = 0$ for every closed piecewise-smooth loop $C \subset D$.

The Exactness Test and Topological Simple Connectivity

When does $\operatorname{curl} \mathbf{F} = \mathbf{0}$ imply that $\mathbf{F}$ is conservative? Domain topology is essential:

• A domain $D$ is simply connected if every simple closed curve in $D$ can be continuously contracted to a point without leaving $D$ (intuitively, $D$ has no holes or missing lines).
• Theorem: If $\mathbf{F}$ is a $C^1$ vector field on an open simply connected domain $D$, then $\mathbf{F}$ is conservative if and only if $\operatorname{curl} \mathbf{F} = \mathbf{0}$.
• In the plane $\mathbb{R}^2$, where $\mathbf{F} = \langle P, Q \rangle$, the condition reduces to: $\frac{\partial Q}{\partial x} = \frac{\partial P}{\partial y}.$

Classic GRE Counterexample: Consider the vortex field $\mathbf{F}(x, y) = \left\langle \frac{-y}{x^2+y^2}, \frac{x}{x^2+y^2} \right\rangle$ on $D = \mathbb{R}^2 \setminus {(0, 0)}$. Here $\frac{\partial Q}{\partial x} = \frac{y^2 - x^2}{(x^2+y^2)^2} = \frac{\partial P}{\partial y}$ everywhere on $D$. However, $D$ is NOT simply connected (puncture at origin). Integrating around the unit circle yields $\oint_{x^2+y^2=1} \mathbf{F} \cdot d\mathbf{r} = 2\pi \neq 0$. Thus, $\mathbf{F}$ is NOT conservative on $\mathbb{R}^2 \setminus {(0, 0)}$.

---

Line Integrals: Scalar and Vector

Scalar Line Integrals

For a scalar field $f$ along a smooth curve $C$ parametrized by $\mathbf{r}(t) = \langle x(t), y(t), z(t) \rangle$ for $a \le t \le b$: $\int_C f \, ds = \int_a^b f(\mathbf{r}(t)) \|\mathbf{r}'(t)\| \, dt = \int_a^b f(x(t), y(t), z(t)) \sqrt{x'(t)^2 + y'(t)^2 + z'(t)^2} \, dt.$ Scalar line integrals compute geometric quantities such as wire mass or lateral area; they are independent of curve orientation: $\int_{-C} f \, ds = \int_C f \, ds.$

Vector Line Integrals (Work / Circulation)

For a vector field $\mathbf{F} = \langle P, Q, R \rangle$ along an oriented curve $C$: $\int_C \mathbf{F} \cdot d\mathbf{r} = \int_C (P \, dx + Q \, dy + R \, dz) = \int_a^b [P x'(t) + Q y'(t) + R z'(t)] \, dt.$ Reversing orientation negates vector line integrals: $\int_{-C} \mathbf{F} \cdot d\mathbf{r} = -\int_C \mathbf{F} \cdot d\mathbf{r}.$

---

Green's Theorem

Green's Theorem establishes a fundamental duality between the circulation of a planar vector field around a boundary curve and the double integral of its scalar curl over the enclosed region.

Circulation Form of Green's Theorem

Let $D \subset \mathbb{R}^2$ be a positively oriented (counterclockwise), bounded region with piecewise-smooth boundary $C = \partial D$. If $P(x, y)$ and $Q(x, y)$ have continuous partial derivatives on an open region containing $D$: $\oint_{\partial D} (P \, dx + Q \, dy) = \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA.$

Normal Flux Form (2D Divergence Theorem)

Let $\mathbf{n}$ be the outward unit normal along $\partial D$. Then $d\mathbf{r} = \langle dx, dy \rangle = \mathbf{T} , ds$, and $\mathbf{n} , ds = \langle dy, -dx \rangle$: $\oint_{\partial D} \mathbf{F} \cdot \mathbf{n} \, ds = \oint_{\partial D} (P \, dy - Q \, dx) = \iint_D \left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} \right) dA = \iint_D (\nabla \cdot \mathbf{F}) \, dA.$

Computing Area via Line Integrals

Setting $\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = 1$ in Green's Theorem yields formulas for the area of $D$: $\operatorname{Area}(D) = \oint_{\partial D} x \, dy = -\oint_{\partial D} y \, dx = \frac{1}{2} \oint_{\partial D} (x \, dy - y \, dx).$ This formula is exceptionally fast for parameterized closed curves like ellipses, astroids, and hypocycloids.

---

Comparison of Line Integral Types

---

Step-by-Step Worked Problems

Problem 1: Potential Function Reconstruction

Determine if $\mathbf{F} = \langle 2x y^3 + \cos x, ; 3x^2 y^2 - 4y \rangle$ is conservative on $\mathbb{R}^2$. If so, evaluate $\int_C \mathbf{F} \cdot d\mathbf{r}$ from $(0, 0)$ to $(1, 2)$.

Solution:

1. Check the exactness condition on $\mathbb{R}^2$: $\frac{\partial P}{\partial y} = \frac{\partial}{\partial y}(2x y^3 + \cos x) = 6x y^2, \quad \frac{\partial Q}{\partial x} = \frac{\partial}{\partial x}(3x^2 y^2 - 4y) = 6x y^2.$ Because $\frac{\partial Q}{\partial x} = \frac{\partial P}{\partial y}$ everywhere on simply connected $\mathbb{R}^2$, $\mathbf{F}$ is conservative.
2. Reconstruct potential function $f(x, y)$ such that $\nabla f = \mathbf{F}$:
   • Integrate $P$ with respect to $x$: $f(x, y) = \int (2x y^3 + \cos x) \, dx = x^2 y^3 + \sin x + g(y).$
   • Differentiate with respect to $y$ and set equal to $Q$: $f_y = 3x^2 y^2 + g'(y) = 3x^2 y^2 - 4y \implies g'(y) = -4y \implies g(y) = -2y^2 + C.$
   • Thus, $f(x, y) = x^2 y^3 + \sin x - 2y^2$.
3. Apply the Fundamental Theorem for Line Integrals: $\int_C \mathbf{F} \cdot d\mathbf{r} = f(1, 2) - f(0, 0) = \left( (1)^2(2)^3 + \sin(1) - 2(2)^2 \right) - (0) = 8 + \sin(1) - 8 = \sin(1).$

Problem 2: Green's Theorem with Elimination of Non-Elementary Terms

Evaluate $\oint_C (y^2 + e^{\sqrt{x}}) , dx + (3xy + \sin(y^3)) , dy$, where $C$ is the boundary of the triangle with vertices $(0, 0)$, $(2, 0)$, and $(2, 4)$, oriented counterclockwise.

Solution:

1. Apply Green's Theorem: $P = y^2 + e^{\sqrt{x}}$ and $Q = 3xy + \sin(y^3)$.
2. Compute partial derivatives: $\frac{\partial Q}{\partial x} = 3y, \quad \frac{\partial P}{\partial y} = 2y \implies \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = 3y - 2y = y.$ The non-elementary expressions $e^{\sqrt{x}}$ and $\sin(y^3)$ vanish completely!
3. The triangular domain $D$ is bounded by $0 \le x \le 2$ and $0 \le y \le 2x$ (hypotenuse from $(0,0)$ to $(2,4)$ is $y = 2x$): $\iint_D y \, dA = \int_0^2 \left( \int_0^{2x} y \, dy \right) dx = \int_0^2 \left[ \frac{y^2}{2} \right]_0^{2x} dx = \int_0^2 2x^2 \, dx = \left[ \frac{2x^3}{3} \right]_0^2 = \frac{16}{3}.$

---

GRE Exam Traps & Pitfalls

Trap 1: Assuming Exactness Implies Conservativeness Without Simple Connectivity Always verify that the domain has no holes before concluding $\mathbf{F} = \nabla f$ from $\operatorname{curl} \mathbf{F} = \mathbf{0}$. If the domain excludes points (like the origin), loop integrals enclosing the puncture may be non-zero.

Trap 2: Clockwise Traversal in Green's Theorem Green's Theorem requires the boundary to be traversed counterclockwise (keeping the domain on the left). If a test problem specifies clockwise traversal, negate the double integral: $\oint_{C_{\text{cw}}} = -\iint_D (Q_x - P_y) , dA$.

Trap 3: Conflating Scalar Arc Length and Vector Differential Work Do not use $\sqrt{x'^2+y'^2} , dt$ when evaluating $\int_C (P , dx + Q , dy)$. Vector line integrals use directional differentials $dx = x'(t) , dt$ and $dy = y'(t) , dt$, which retain their signed direction.