theorems-explain
Source: Reddit - I made a little graphic for the Fundamental Theorems of Calc III

1 Unified Framework: Generalized Stokes’ Theorem

All fundamental theorems of vector calculus are specific dimensional cases of the Generalized Stokes’ Theorem:

Ωdω=Ωω\int_{\Omega} d\omega = \int_{\partial \Omega} \omega

Where Ω\Omega represents the interior region, Ω\partial \Omega denotes its boundary, and dωd\omega represents the exterior derivative. The core principle is that the integration of a derivative over a domain equals the integration of the original form over its boundary.

1D: Fundamental Theorem of Calculus

  • Formula: abf(x)dx=f(b)f(a)\int_a^b f'(x) \, dx = f(b) - f(a)
  • Domain: 1D interval [a,b][a, b] with 0D boundary endpoints aa and bb.

2D: Green’s Theorem

  • Formula: D(QxPy)dxdy=C(Pdx+Qdy)\iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) \, dxdy = \oint_C (P\,dx + Q\,dy)
  • Domain: 2D planar region DD bounded by a 1D closed curve CC.

3D Surfaces: Stokes’ Theorem (Curl Theorem)

  • Formula: S(×F)dS=SFdr\iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = \oint_{\partial S} \mathbf{F} \cdot d\mathbf{r}
  • Interpretation: The surface integral of the curl of a vector field F\mathbf{F} over an open surface SS equals the line integral of F\mathbf{F} along the boundary curve S\partial S.

3D Volumes: Gauss’s Theorem (Divergence Theorem)

  • Formula: V(F)dV=VFdS\iiint_V (\nabla \cdot \mathbf{F}) \, dV = \oiint_{\partial V} \mathbf{F} \cdot d\mathbf{S}
  • Interpretation: The volume integral of the divergence of a vector field F\mathbf{F} over a solid VV equals the net flux of F\mathbf{F} passing through the closed bounding surface V\partial V.

2 Operational Rules of the Del (\nabla) Operator

The del operator \nabla functions simultaneously as a vector and a differential operator. When applied to products, it follows the product rule (Leibniz rule) rather than the chain rule.

Vector Identity: ×(φA)\nabla \times (\varphi \mathbf{A})

×(φA)=φ(×A)+(φ)×A\nabla \times (\varphi \mathbf{A}) = \varphi (\nabla \times \mathbf{A}) + (\nabla \varphi) \times \mathbf{A}

Derivation and Structural Mechanics:
By applying the product rule, \nabla differentiates φ\varphi and A\mathbf{A} sequentially:

  1. When differentiating A\mathbf{A}, the scalar field φ\varphi acts as a constant coefficient and is factored out, yielding φ(×A)\varphi (\nabla \times \mathbf{A}).
  2. When differentiating φ\varphi, \nabla operates directly on the scalar to produce the gradient vector φ\nabla \varphi. The underlying cross product structure (×\times) with the remaining vector field A\mathbf{A} must be preserved, yielding (φ)×A(\nabla \varphi) \times \mathbf{A}.

This can be verified by expanding the xx-component using partial derivatives:
[×(φA)]x=y(φAz)z(φAy)\left[\nabla \times (\varphi \mathbf{A})\right]_x = \frac{\partial}{\partial y}(\varphi A_z) - \frac{\partial}{\partial z}(\varphi A_y)
Applying the standard product rule:
=(φAzy+Azφy)(φAyz+Ayφz)= \left( \varphi \frac{\partial A_z}{\partial y} + A_z \frac{\partial \varphi}{\partial y} \right) - \left( \varphi \frac{\partial A_y}{\partial z} + A_y \frac{\partial \varphi}{\partial z} \right)
Rearranging the terms:
=φ(AzyAyz)+(φyAzφzAy)=[φ(×A)+(φ)×A]x= \varphi \left( \frac{\partial A_z}{\partial y} - \frac{\partial A_y}{\partial z} \right) + \left( \frac{\partial \varphi}{\partial y}A_z - \frac{\partial \varphi}{\partial z}A_y \right) = \left[ \varphi (\nabla \times \mathbf{A}) + (\nabla \varphi) \times \mathbf{A} \right]_x


3 Summary

TheoremInterior (Ω\Omega)Boundary (Ω\partial \Omega)Operator
Fundamental Theorem1D Segment0D Endpointsd/dxd/dx
Stokes’ Theorem2D Surface1D CurveCurl (×\nabla \times)
Divergence Theorem3D Volume2D Closed SurfaceDivergence (\nabla \cdot)