28.04.2014 Views

Lecture Notes for 120 - UCLA Department of Mathematics

Lecture Notes for 120 - UCLA Department of Mathematics

Lecture Notes for 120 - UCLA Department of Mathematics

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

6.5. LOCAL GAUSS-BONNET 152<br />

We further have<br />

d 2 u<br />

ds 2 = d cos ✓ = sin ✓ d✓<br />

ds<br />

ds ,<br />

d 2 v<br />

ds 2 = d 1 r sin ✓<br />

ds<br />

1 dr<br />

=<br />

r 2 ds sin ✓ + 1 d✓<br />

cos ✓<br />

r ds<br />

=<br />

=<br />

✓<br />

1 @r<br />

r 2 @u<br />

1 @r<br />

r 2 @u<br />

du<br />

ds + @r<br />

@v<br />

dv<br />

ds<br />

◆<br />

sin ✓ + 1 d✓<br />

cos ✓<br />

r ds<br />

1 @r<br />

cos ✓ sin ✓ +<br />

r 3 @v sin2 ✓ + 1 d✓<br />

cos ✓<br />

r ds<br />

And the Christ<strong>of</strong>fel symbols are not hard to compute<br />

✓<br />

u dq<br />

ds , dq ◆ ✓ ◆ 2<br />

u dv<br />

= vv<br />

ds<br />

ds<br />

= r @r 1<br />

@u r 2 sin2 ✓<br />

1 @r<br />

=<br />

r @u sin2 ✓<br />

Thus<br />

✓<br />

apple g = sin ✓<br />

✓<br />

v dq<br />

ds , dq ◆<br />

ds<br />

sin ✓ d✓<br />

ds<br />

= d✓<br />

ds + 1 @r<br />

r<br />

= d✓<br />

ds + @r 1<br />

@u r sin ✓<br />

@u sin3 ✓ + 1 r<br />

= 2 v du dv<br />

uv<br />

ds ds +<br />

= 2 r<br />

@r<br />

@u<br />

v uv<br />

du dv<br />

ds ds + 1 @r<br />

r @v<br />

✓ dv<br />

ds<br />

◆ 2<br />

✓ dv<br />

ds<br />

◆ 2<br />

= 2 r 2 @r<br />

@u sin ✓ cos ✓ + 1 r 3 @r<br />

@v sin2 ✓<br />

◆ ✓<br />

1 @r<br />

1 d✓<br />

r @u sin2 ✓ + r cos ✓ cos ✓<br />

r ds + 1 ◆<br />

@r<br />

r 2 @u sin ✓ cos ✓<br />

@r<br />

@u sin ✓ cos2 ✓<br />

We can now prove the local Gauss-Bonnet theorem. It is stated in the way<br />

that Gauss and Bonnet proved it. Gauss considered regions bounded by geodesics<br />

thus eliminating the geodesic curvature, while Bonnet presented the version given<br />

below.<br />

Theorem 6.5.2. [Gauss-Bonnet] Assume as in the above Lemma that the parametrization<br />

gives a geodesic coordinate system. Let ✓ i be the exterior angles at the points<br />

where q has vertices, then<br />

ˆ<br />

ˆ L<br />

X<br />

KdA + apple g ds =2⇡ ✓i<br />

q(R)<br />

0<br />

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!