01.05.2015 Views

Differential Geometry Exercises I: Tensors - Fau.edu

Differential Geometry Exercises I: Tensors - Fau.edu

Differential Geometry Exercises I: Tensors - Fau.edu

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

10. [Schutz 6.11, p. 208] A manifold has a symmetric connection. Show that in any expression for<br />

the components of the Lie derivative, all commas can be replaced by semicolons. An example:<br />

(L Ū ˜ω) i = ω i,j U j + ω j U j ,i = ω i;j U j + ω j U j ;i.<br />

(Naturally, all commas must be changed, not just some.)<br />

11. [Schutz 6.14, p. 211] The components of the Riemann tensor R i jkl, are defined by<br />

[∇ i , ∇ j ] ē k − ∇ [ēi,ē j] ē k = R l kij ē l .<br />

(Where ē i is possibly a non-coordinate basis. — CB)<br />

a. Show that in a coordinate basis<br />

R l kij = Γ l kj,i − Γ l ki,j + Γ m kj Γ l mi − Γ m ki Γ l mj.<br />

b. In a non-coordinate basis, define the commutation coefficients C i jk by<br />

Show that<br />

where f ,i ≡ ē i [f].<br />

c. Show that<br />

[ē j , ē k ] = C i jk ē i .<br />

R l kij = Γ l kj,i − Γ l ki,j + Γ m kj Γ l mi − Γ m ki Γ l mj − C m ij Γ l km,<br />

R l k(ij) ≡ 1 2 (Rl kij + R l kji) = 0 and R l [kij] = 0.<br />

Hint: For the second equality, use normal coordinates. The result, of course, is independent<br />

of the basis.<br />

d. Using (c) show that in an n-dimensional manifold, the number of linearly independent<br />

components opf R l kij is<br />

n 4 2 n(n + 1) n(n − 1)(n − 2)<br />

− n − n = 1<br />

2<br />

3!<br />

3 n2 (n 2 − 1).<br />

12. [Schutz 6.16, p. 215] Consider a two-dimensional flat space with Cartesian coordinates x, y and<br />

polar coordinates r, θ.<br />

a. Use the fact that ē x and ē y are globally parallel vector fields (ē x (P ) is parallel to ē x (Q)<br />

for arbitrary P , Q) to show that<br />

Γ r θθ = −r, Γ θ rθ = Γ θ θr = 1 r ,<br />

and all other Γ’s are zero in polar coordinates.<br />

b. For an arbitrary vector field ¯V , evaluate ∇ i V j and ∇ i V i for polar cooridnates in terms<br />

of the components V r and V θ .<br />

c. For the basis<br />

ˆr = ∂ ∂r , 1 ∂<br />

ˆθ =<br />

r ∂θ<br />

find all the Christoffel symbols.<br />

d. Same as (b) for the basis in (c).

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

Saved successfully!

Ooh no, something went wrong!