Lesson 2: Integration and Its Physical Applications

Part 5: Integration in Curved Spaces

Understanding Integration Beyond Flat Space

When we move beyond the familiar territory of Euclidean space, integration takes on new subtleties and significance. In curved spaces, we must carefully consider how to measure volumes, define orientation, and ensure our integration is coordinate-independent. This understanding becomes crucial in general relativity, where spacetime itself curves in response to matter and energy.

To guide our exploration of integration in curved spaces, we’ll use the mnemonic “MANIFOLD”:

The Fundamental Building Blocks

Before we can integrate on curved spaces, we need to understand how to measure things properly. Let’s build this understanding step by step.

1. The Metric Tensor The metric tensor gᵢⱼ defines distances and angles in our space: $ds^2 = g_{ij}dx^idx^j$

This leads to the volume element in curved space: $dV = \sqrt{|g|}dx^1dx^2...dx^n$

where |g| is the determinant of the metric tensor.

To understand why this is the correct volume element, imagine zooming in on a small region of the curved space. In this tiny region, the space looks approximately flat, but the metric tells us how to properly measure volumes even as we piece these small regions together.

2. Differential Forms Differential forms provide a coordinate-independent way to write integrands. A k-form ω can be written locally as: $\omega = \sum_{i_1<...<i_k} \omega_{i_1...i_k}dx^{i_1}\wedge...\wedge dx^{i_k}$

The wedge product ∧ ensures that our forms transform properly under coordinate changes. This is not just mathematical convenience — it reflects the physical requirement that our measurements shouldn’t depend on our choice of coordinates.

Integration on Manifolds

Let’s explore how integration works on curved spaces, or manifolds. We’ll build this understanding through increasingly complex scenarios.

1. Integration on Curves (1-dimensional) For a curve γ in our manifold, we integrate a 1-form ω: $\int_\gamma \omega = \int_a^b \omega_i(x(t))\frac{dx^i}{dt}dt$

Physical Example: Work done by a force in a curved space: $W = \int_\gamma F_idx^i$

2. Integration on Surfaces (2-dimensional) For a surface S, we integrate 2-forms: $\int_S \omega = \int_D \omega_{ij}(x(u,v))\frac{\partial x^i}{\partial u}\frac{\partial x^j}{\partial v}dudv$

Physical Example: Flux through a curved surface: $\Phi = \int_S \mathbf{B}\cdot d\mathbf{A} = \int_S B_{ij}dx^i\wedge dx^j$

3. Volume Integration (n-dimensional) In a general n-dimensional manifold: $\int_M \omega = \int_U \omega_{1...n}(x)\sqrt{|g|}dx^1...dx^n$

Physical Example: Action integral in general relativity: $S = \frac{1}{16\pi G}\int_M R\sqrt{-g}d^4x$

Stokes’ Theorem in Curved Space

The generalized Stokes’ theorem unifies many fundamental theorems of vector calculus: $\int_M d\omega = \int_{\partial M} \omega$

This single equation contains:

1. Fundamental Theorem of Calculus

2. Green’s Theorem

3. Classical Stokes’ Theorem

4. Gauss’s Divergence Theorem

Physical Example: Consider Gauss’s law in electromagnetism:

This is a special case of Stokes’ theorem where: $d(\star F) = \frac{1}{\epsilon_0}\star J$ with F being the electromagnetic field strength tensor.

Invariant Integration on Lie Groups

Lie groups, which are manifolds with compatible group structure, admit special integration properties:

1. Haar Measure There exists a unique (up to scaling) left-invariant measure μ such that: $\int_G f(gh)d\mu(g) = \int_G f(g)d\mu(g)$ for all h ∈ G.

2. Peter-Weyl Theorem For compact Lie groups: $L^2(G) = \bigoplus_{\lambda} V_\lambda \otimes V_\lambda^*$ where λ runs over irreducible representations.

Physical Application: In gauge theories, we integrate over gauge transformations using the Haar measure: $\int_{G} \mathcal{D}g,e^{-S[A^g]}$

Practical Techniques

Let’s explore how to evaluate integrals on curved spaces:

1. Coordinate Patches Break the manifold into regions where we can use nice coordinates: $\int_M \omega = \sum_i \int_{U_i} \phi_i\omega$ where {φᵢ} is a partition of unity.

2. Symmetry Reduction Use symmetries to reduce the dimensionality:

   $$\int_{S^2} f = 2\pi\int_0^\pi f(\theta)\sin\theta d\theta$$

3. Normal Coordinates Around a point p, construct coordinates where: $g_{ij}(p) = \delta_{ij}$ $\partial_k g_{ij}(p) = 0$

Applications in Physics

1. General Relativity The Einstein-Hilbert action: $S = \frac{1}{16\pi G}\int_M R\sqrt{-g}d^4x$

This integral over curved spacetime determines gravity’s dynamics.

2. Quantum Field Theory Path integral on curved space: $Z = \int \mathcal{D}\phi,e^{-S[\phi,g]}$

The metric appears both in the measure Dφ and the action S.

3. String Theory The Polyakov action: $S = -\frac{1}{4\pi\alpha'}\int_\Sigma \sqrt{-h}h^{\alpha\beta}\partial_\alpha X^\mu\partial_\beta X^\nu G_{\mu\nu}d^2\sigma$

Describes string worldsheet embedded in curved target space.

Exercises for Understanding

1. Basic Computation Calculate the volume of a 2-sphere using the metric: $ds^2 = R^2(d\theta^2 + \sin^2\theta d\phi^2)$

2. Physical Application Show that the geodesic equation can be derived from the action: $S = \int \sqrt{g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu}d\tau$

3. Advanced Topic Prove that on a compact oriented manifold:

   $$\int_M d\omega = 0$$

Looking Forward

This concludes our study of integration, but these concepts will recur throughout our exploration of quantum gravity. The interplay between geometry and integration will be particularly important when we study:

• Path integrals in quantum gravity

• Topological quantum field theory

• String theory and M-theory

Remember: Integration on curved spaces is not just a mathematical abstraction — it’s how we describe physics in the real world, where spacetime itself has curvature and topology.

End of Lesson 2: Integration and Its Physical Applications