A simple proof of the Gauss-Bonnet theorem for geodesic ball

In this short note, we will give a simple proof of the Gauss-Bonnet theorem for a geodesic ball on a surface. The only prerequisite is the first variation formula and some knowledge of Jacobi field (second variation formula), in particular how its second derivative (or the second derivative of the Jacobian) is related to the curvature of the surface. This is different from most standard textbook proofs at the undergraduate level. (Of course, this is just a local version of the Gauss-Bonnet theorem and topology has not yet come into play.)

Let {M} be a surface equipped with a Riemannian metric. We will fix a point {p} in {M} and from now on {B_r} always denotes the geodesic ball of radius {r} centered at {p}, and {\partial B_r} its boundary, which is called the geodesic sphere. In geodesic polar coordinates, let the area element of {M} be locally given by

\displaystyle \begin{array}{rl} \displaystyle   dA=f(\theta, r) dr d\theta, =f_\theta(r) dr d\theta, \end{array}

where {f(\theta, r)} is the Jacobian (with respect to polar coordinates). For our purpose it is more convenient to regard {f_\theta(r)} as a one-parameter family of functions in the variable {r}. It is well-known that {f_\theta} satisfies the Jacobi equation (here {'=\frac{d}{dr}} )

\displaystyle \begin{array}{rl} \displaystyle   {f_\theta}''(r)=-K(\theta, r) f_\theta(r),\quad f_\theta(0)=0,\quad {f_\theta}'(0)=1  \ \ \ \ \ (1)\end{array}

where {K=K(\theta, r)} is the Gaussian curvature (in polar coordinates). Indeed, if we fix a geodesic polar coordinates, and {\gamma_\theta(t)} is the arc-length parametrized geodesic with initial “direction” {\theta} starting from {p}, then we can define a parallel orthonormal frame {e_1(t), e_2(t)=\gamma_\theta'(t)} along {\gamma_\theta(t)}. Then {Y(t)=f_\theta(t)e_1(t)} is a Jacobi field and so

\displaystyle \begin{array}{rl} \displaystyle   Y''(t)={f_\theta}''(t) e_1 (t) =- R(Y(t), \gamma_\theta'(t))\gamma_\theta'(t) =& \displaystyle -K(\theta, t) Y(t)\\ =& \displaystyle -K(\theta, t) f_\theta (t) e_1(t). \end{array}

From this (1) follows.

The first variation formula says (here {s} is the arclength parameter)

\displaystyle \begin{array}{rl} \displaystyle   \frac{d}{dt} \left(\mathrm{Length}(\partial B_t)\right) =\frac{d}{dt} \left(\int_0^{2\pi}f_\theta( t) d\theta\right) =\int_{ \partial B_t}k_g ds =\int_0^{2\pi} k_g(\theta, t) f_\theta( t)d\theta. \end{array}

Here {k_g} is the geodesic curvature of the geodesic circle {\partial B_t}. (Indeed, the differential version {\frac{f_\theta'}{f_\theta}=k_g} is already true for the geodesic circle.) This implies

\displaystyle \begin{array}{rl} \displaystyle   \int_{\partial B_t}k_g ds =\int_{0}^{2\pi} f_\theta'(t) d\theta. \end{array}

So by the fundamental theorem of calculus and (1), we have

\displaystyle \begin{array}{rl} \displaystyle   \int_{\partial B_t}k_g ds =& \displaystyle \int_{0}^{2\pi}\left({f_\theta}'(0)+\int_0^t {f_\theta}''(r)dr\right)d\theta\\ =& \displaystyle \int_{0}^{2\pi}\left(1-\int_0^t K (\theta, r)f_\theta(r)dr\right)d\theta\\ =& \displaystyle 2 \pi-\int_{B_t} K dA. \end{array}

This is exactly the Gauss-Bonnet theorem (for a geodesic ball), which is usually written as

\displaystyle \begin{array}{rl} \displaystyle   \int_{B_r}K dA+\int_{\partial B_r}k_g ds=2\pi. \end{array}

This entry was posted in Calculus, Differential equations, Differential geometry, Geometry. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s