Nyimbi Odero

Series 01 · a numbered run · kept in public

Part 3: Integral Theorems in Curved Space

Chapter: Lesson 4: Multivariable Calculus II

Understanding Integration on Manifolds

The integral theorems we learned in flat space — Green’s, Stokes’, and Gauss’s theorems — extend beautifully to curved spaces. These generalizations reveal deep connections between local and global properties of manifolds, essential for understanding everything from electromagnetic fields to gravitational waves.

Let’s organize our exploration using the mnemonic “INTEGRATE”:

Invariant measures Non-trivial topology Tensor fields Exterior calculus Global structure Riemannian volume Application to physics Theorems unified Exact sequences

The Fundamental Integration Tools

  1. Volume Forms On an n-dimensional oriented manifold M with metric g:
dV=∣g∣dx1∧...∧dxndV = \sqrt{|g|}dx^1 \wedge ... \wedge dx^n

This gives the invariant volume element for integration.

  1. Surface Forms On a hypersurface S:
dS=∣h∣dy1∧...∧dyn−1dS = \sqrt{|h|}dy^1 \wedge ... \wedge dy^{n-1}

where h is the induced metric.

  1. Line Elements Along a curve γ:
ds=gijdxidtdxjdtdtds = \sqrt{g_{ij}\frac{dx^i}{dt}\frac{dx^j}{dt}}dt

The Generalized Stokes’ Theorem

The master theorem from which all others follow:

∫Mdω=∫∂Mω\int_M d\omega = \int_{\partial M} \omega

Where:

  • M is an oriented manifold

  • ∂M is its boundary

  • ω is a differential form

  • d is the exterior derivative

This single theorem contains:

  1. Fundamental Theorem of Calculus

  2. Green’s Theorem

  3. Classical Stokes’ Theorem

  4. Gauss’s Divergence Theorem

Applications in Physics

  1. Electromagnetic Theory Maxwell’s equations in integral form:
∫∂VE⋅dA=1ϵ0∫Vρ,dV\int_{\partial V} \mathbf{E} \cdot d\mathbf{A} = \frac{1}{\epsilon_0}\int_V \rho,dV ∫∂VB⋅dA=0\int_{\partial V} \mathbf{B} \cdot d\mathbf{A} = 0 ∫∂SE⋅dl=−ddt∫SB⋅dA\int_{\partial S} \mathbf{E} \cdot d\mathbf{l} = -\frac{d}{dt}\int_S \mathbf{B} \cdot d\mathbf{A} ∫∂SB⋅dl=μ0∫SJ⋅dA+μ0ϵ0ddt∫SE⋅dA\int_{\partial S} \mathbf{B} \cdot d\mathbf{l} = \mu_0\int_S \mathbf{J} \cdot d\mathbf{A} + \mu_0\epsilon_0\frac{d}{dt}\int_S \mathbf{E} \cdot d\mathbf{A}
  1. General Relativity Einstein’s equations in integral form:
∫∂VKabdSb=8πG∫VTabnbdV\int_{\partial V} K_{ab}dS^b = 8\pi G\int_V T_{ab}n^bdV

where K is the extrinsic curvature and n is the normal vector.

  1. Fluid Dynamics Conservation laws:
ddt∫Vρ,dV=−∫∂Vρv⋅dA\frac{d}{dt}\int_V \rho,dV = -\int_{\partial V} \rho\mathbf{v} \cdot d\mathbf{A}

expressing mass conservation.

Integration and Topology

  1. de Rham Cohomology The sequence:
0→Ω0(M)→dΩ1(M)→d...→dΩn(M)→00 \to \Omega^0(M) \xrightarrow{d} \Omega^1(M) \xrightarrow{d} ... \xrightarrow{d} \Omega^n(M) \to 0

leads to cohomology groups:

Hk(M)=ker(d:>Ωk→Ωk+1)im(d:Ωk−1→>Ωk)H^k(M) = \frac{\text{ker}(d: > \Omega^k \to \Omega^{k+1})}{\text{im}(d: \Omega^{k-1} \to > \Omega^k)}

  1. Poincaré Lemma Locally:

    • d² = 0

    • Closed forms are exact

    • Valid in contractible regions

  2. Global Obstructions

    • Non-trivial topology creates closed but non-exact forms

    • Example: dθ on a circle

    • Related to magnetic monopoles and gauge theory

Integration on Complex Manifolds

  1. Residue Theorem
∮Cf(z)dz=2πi∑Res(f,zk)\oint_C f(z)dz = 2\pi i \sum \text{Res}(f,z_k)

generalizes to:

∫∂Mω=2πi∑>Res(ω)\int_{\partial M} \omega = 2\pi i \sum > \text{Res}(\omega)
  1. Cauchy’s Integral Formula
f(a)=12πi∮Cf(z)z−adzf(a) = \frac{1}{2\pi i}\oint_C \frac{f(z)}{z-a}dz

becomes a special case of:

ω=>d(ηz−a)\omega = > d\left(\frac{\eta}{z-a}\right)

Computational Techniques

  1. Choice of Coordinates For spherical symmetry:

  1. Use spherical coordinates

  2. Write metric: ds² = dr² + r²dΩ²

  3. Calculate volume form: dV = r²sin θ dr∧dθ∧dφ

  4. Evaluate integral

  1. Symmetry Reduction For axisymmetric problems:

  1. Identify symmetry direction

  2. Reduce dimensionality

  3. Use appropriate coordinates

  4. Apply reduced version of theorem

Common Applications and Examples

  1. Gravitational Flux Through closed surface S:
Φg=∮Sg⋅dA=−4πGM\Phi_g = \oint_S \mathbf{g} \cdot d\mathbf{A} = -4\pi GM
  1. Magnetic Flux Through any closed surface:
ΦB=∮SB⋅dA=0\Phi_B = \oint_S \mathbf{B} \cdot d\mathbf{A} = 0
  1. Angular Momentum For rigid body:
L=∫Vr×ρv,dV\mathbf{L} = \int_V \mathbf{r} \times \rho\mathbf{v},dV

Exercises for Mastery

  1. Basic Integration Calculate:
∫SF⋅dA\int_S \mathbf{F} \cdot d\mathbf{A}

where F = (x,y,z)/r³ and S is a sphere of radius R.

  1. Physical Application Show that for a Schwarzschild black hole:
∫SK,dA=8πM\int_S K,dA = 8\pi M

where K is the Gaussian curvature of the horizon.

  1. Topological Exercise Prove that:
∫S2K,dA=4π\int_{\mathbb{S}^2} K,dA = 4\pi

for any metric on a sphere.

Looking Ahead

In our next section, we’ll explore how these integral theorems apply to quantum field theory and gauge theories. We’ll see how:

  • Integration on fiber bundles

  • Path integrals in curved space

  • Topological quantum field theory

emerge naturally from these foundations.

Remember: Integration theorems aren’t just mathematical identities — they express fundamental relationships between local and global properties of fields and spaces. Understanding them deeply means understanding how physics works at all scales.

Next: Part 4 - Applications to Quantum Field Theory