0% found this document useful (0 votes)
2 views3 pages

Vector Integration Lecture 2 - Proofs

The document discusses four fundamental theorems in vector calculus: the Fundamental Theorem for Line Integrals, Green's Theorem, the Divergence Theorem, and Stokes' Theorem. Each theorem is presented with its claim, proof strategy, and significance, illustrating their interconnections and applications in fields such as fluid mechanics and electrostatics. The proofs emphasize the importance of path independence and the relationship between integrals over regions and their boundaries.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
2 views3 pages

Vector Integration Lecture 2 - Proofs

The document discusses four fundamental theorems in vector calculus: the Fundamental Theorem for Line Integrals, Green's Theorem, the Divergence Theorem, and Stokes' Theorem. Each theorem is presented with its claim, proof strategy, and significance, illustrating their interconnections and applications in fields such as fluid mechanics and electrostatics. The proofs emphasize the importance of path independence and the relationship between integrals over regions and their boundaries.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

1.

The Fundamental Theorem for Line Integrals


This is the simplest proof, yet it’s the most profound because it establishes the concept of
Path Independence.

The Claim: If $\mathbf{F} = \nabla \phi$ (a conservative field), then:

$$\int_C \mathbf{F} \cdot d\mathbf{r} = \phi(\mathbf{r}(b)) - \phi(\mathbf{r}(a))$$


The Proof:

1.​ Let the curve $C$ be parameterized by $\mathbf{r}(t)$ for $a \le t \le b$.
2.​ By definition, the line integral is $\int_a^b \mathbf{F}(\mathbf{r}(t)) \cdot \mathbf{r}'(t)
\, dt$.
3.​ Since $\mathbf{F} = \nabla \phi$, substitute: $\int_a^b \nabla \phi(\mathbf{r}(t)) \cdot
\mathbf{r}'(t) \, dt$.
4.​ Apply the Multivariable Chain Rule: $\frac{d}{dt} \phi(\mathbf{r}(t)) = \nabla
\phi(\mathbf{r}(t)) \cdot \mathbf{r}'(t)$.
5.​ The integral becomes: $\int_a^b \frac{d}{dt} \phi(\mathbf{r}(t)) \, dt$.
6.​ By the standard Fundamental Theorem of Calculus, this simplifies to
$\phi(\mathbf{r}(b)) - \phi(\mathbf{r}(a))$.

Conclusion: In a conservative field, you don't care how you get there; you only care where
you started and where you ended.

2. Proving Green’s Theorem (The Bridge to Stokes')


Green’s Theorem is the 2D version of the Divergence and Stokes' theorems. We prove it by
breaking a complex region into "simple" regions (Type I and Type II).

The Claim: $\oint_C (P \, dx + Q \, dy) = \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial


P}{\partial y} \right) dA$.

The Proof Strategy:

We prove it in two parts: first for $P$, then for $Q$.

Part A: The $P$ component

1.​ Assume $D$ is a Type I region bounded by $y=g_1(x)$ and $y=g_2(x)$.


2.​ Evaluate the double integral: $\iint_D \frac{\partial P}{\partial y} \, dA = \int_a^b
\int_{g_1(x)}^{g_2(x)} \frac{\partial P}{\partial y} \, dy \, dx$.
3.​ Integrate the inner part: $\int_a^b [P(x, g_2(x)) - P(x, g_1(x))] \, dx$.
4.​ Now, look at the line integral $\oint_C P \, dx$. The boundary $C$ consists of four
paths (top, bottom, and two vertical sides). The vertical sides have $dx=0$.
5.​ The bottom path is $\int_a^b P(x, g_1(x)) \, dx$. The top path (moving right to left) is
$\int_b^a P(x, g_2(x)) \, dx$.
6.​ Total line integral: $\int_a^b P(x, g_1(x)) \, dx - \int_a^b P(x, g_2(x)) \, dx$.
7.​ Notice this is exactly the negative of the double integral we solved in step 3. Thus,
$\oint_C P \, dx = -\iint_D \frac{\partial P}{\partial y} \, dA$.
Part B: The $Q$ component

Using a similar logic for a Type II region (integrating with respect to $x$ first), we find
$\oint_C Q \, dy = \iint_D \frac{\partial Q}{\partial x} \, dA$.

Summation: Adding Part A and Part B yields the full Green’s Theorem.

3. The Divergence Theorem (Gauss’s Theorem)


This proof is the most physically intuitive. It relies on the idea that internal "fluxes" cancel
each other out, leaving only the boundary.

The Claim: $\iiint_V (\nabla \cdot \mathbf{F}) \, dV = \iint_S (\mathbf{F} \cdot \mathbf{n}) \,
dS$.

The Proof:

1.​ Let $\mathbf{F} = \langle P, Q, R \rangle$. We focus on the $R$ component (the
$z$-direction).
2.​ Consider a "simple" volume $V$ bounded by surfaces $z=g_1(x,y)$ and
$z=g_2(x,y)$.
3.​ The triple integral of the divergence's $z$-component is: $\iiint_V \frac{\partial
R}{\partial z} \, dV = \iint_D \left[ \int_{g_1(x,y)}^{g_2(x,y)} \frac{\partial R}{\partial z} \,
dz \right] dA$.
4.​ By the Fundamental Theorem of Calculus: $\iint_D [R(x, y, g_2(x,y)) - R(x, y,
g_1(x,y))] \, dA$.
5.​ Now, look at the surface integral $\iint_S R \mathbf{k} \cdot \mathbf{n} \, dS$.
○​ On the top surface, the normal vector points up. The vertical component
contributes $R(x, y, g_2)$.
○​ On the bottom surface, the normal vector points down. The vertical
component contributes $-R(x, y, g_1)$.
6.​ The sum of these surface integrals matches the result from step 4.
7.​ By repeating this for the $P$ and $Q$ components (using $x$ and $y$ orientations)
and adding them up, we get the full Divergence Theorem.

4. Stokes' Theorem (The Grand Finale)


Stokes' Theorem is essentially Green's Theorem applied to a surface "patch" tilted in 3D
space.

The Claim: $\oint_{\partial S} \mathbf{F} \cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F})
\cdot \mathbf{n} \, dS$.

The Proof Sketch:

1.​ Parameterize the surface $S$ as $\mathbf{r}(u, v)$.


2.​ The boundary $\partial S$ of the surface in 3D corresponds to the boundary $\partial
D$ of the parameter domain in the $uv$-plane.
3.​ Convert the 3D surface integral of the curl into a 2D double integral over the
$uv$-domain using the chain rule and Jacobian.
4.​ Convert the 3D line integral around the boundary into a 2D line integral in the
$uv$-plane.
5.​ Apply Green's Theorem to the $uv$-plane integrals.
6.​ The two results will be identical, proving that the circulation around the edge equals
the sum of the infinitesimal "swirls" (curl) on the surface.

Why These Proofs Matter


Without these proofs, we couldn't derive the Continuity Equation in fluid mechanics or
Gauss's Law in electrostatics. They prove that space is mathematically "closed"—that what
happens inside a region is strictly dictated by what crosses its boundary.

You might also like