GR 12 HW 05
GR 12 HW 05
GR 12 HW 05
Homework 5
Spring 2012
1. Transforming basis dual vectors. The transformation rule for coordinate basis dual vectors dx = x dx x
means that you can obtain the transformation treating the dual vectors just as if they were ordinary dierentials of coordinates. This may also help in transforming higher-order tensors. Consider the (0, 2) tensor (in 2 dimensions) S = dx dx + xdy dy . It has the components S = Find the components of S in the new coordinates x = xy , y = ln y , (x, y > 0) 1 0 0 x .
by inverting this coordinate transformation and writing out dx and dy in the new coordinates. 2. Quotient theorem. To show that an object is a tensor, it is sucient to demonstrate that its contraction with arbitrary vectors (or dual vectors) is a tensor. Prove this for the case of a (1, 2) tensor, i.e., that if we are given a set of N 3 components T such that the contraction T v transforms as a (1, 1) tensor for all vectors v , then the T must transform as a (1, 2) tensor. 3. Locally inertial coordinates at the north pole. The line element of the geometry of a sphere is ds2 = a2 d2 + sin2 d2 , where a is a constant, in the usual spherical coordinates (, ). Consider the coordinate transformation x = a cos , y = a sin ,
into new coordinates x and y, and show that these are locally inertial coordinates at the north pole, = 0. (In the neighborhood of the north pole, x and y are small, so you can write the metric components as an expansion in powers of x and y and include only the lowest powers, if this helps.) 4. Transformation rule for connection coecients. The covariant derivative of a vector eld v is a (1, 1) tensor eld, whose components are v ; v , + v , (1)
where the are objects called connection coecients (they do not form a tensor). The are related to the coordinates and the curvature of spacetime, but are independent of the vector eld v . Derive the coordinate transformation rule
= X X X X X X ,
where