A1.15 B1.24

General Relativity
Part II, 2001

(i) The metric of any two-dimensional curved space, rotationally symmetric about a point PP, can by suitable choice of coordinates be written locally in the form

ds2=e2ϕ(r)(dr2+r2dθ2),d s^{2}=e^{2 \phi(r)}\left(d r^{2}+r^{2} d \theta^{2}\right),

where r=0r=0 at P,r>0P, r>0 away from PP, and 0θ<2π0 \leqslant \theta<2 \pi. Labelling the coordinates as (x1,x2)=(r,θ)\left(x^{1}, x^{2}\right)=(r, \theta), show that the Christoffel symbols Γ121,Γ112\Gamma_{12}^{1}, \Gamma_{11}^{2} and Γ222\Gamma_{22}^{2} are each zero, and compute the non-zero Christoffel symbols Γ111,Γ221\Gamma_{11}^{1}, \Gamma_{22}^{1} and Γ122=Γ212\Gamma_{12}^{2}=\Gamma_{21}^{2}.

The Ricci tensor Rab(a,b=1,2)R_{a b}(a, b=1,2) is defined by

Rab=Γab,ccΓac,bc+ΓcdcΓabdΓacdΓbdc,R_{a b}=\Gamma_{a b, c}^{c}-\Gamma_{a c, b}^{c}+\Gamma_{c d}^{c} \Gamma_{a b}^{d}-\Gamma_{a c}^{d} \Gamma_{b d}^{c},

where a comma denotes a partial derivative. Show that R12=0R_{12}=0 and that

R11=ϕr1ϕ,R22=r2R11R_{11}=-\phi^{\prime \prime}-r^{-1} \phi^{\prime}, \quad R_{22}=r^{2} R_{11}

(ii) Suppose further that, in a neighbourhood of PP, the Ricci scalar RR takes the constant value 2-2. Find a second order differential equation, which you should denote by ()(*), for ϕ(r)\phi(r).

This space of constant Ricci scalar can, by a suitable coordinate transformation rχ(r)r \rightarrow \chi(r), leaving θ\theta invariant, be written locally as

ds2=dχ2+sinh2χdθ2d s^{2}=d \chi^{2}+\sinh ^{2} \chi d \theta^{2}

By studying this coordinate transformation, or otherwise, find coshχ\cosh \chi and sinhχ\sinh \chi in terms of rr (up to a constant of integration). Deduce that

eϕ(r)=2A(1A2r2),(0Ar<1)e^{\phi(r)}=\frac{2 A}{\left(1-A^{2} r^{2}\right)} \quad, \quad(0 \leqslant A r<1)

where A\mathrm{A} is a positive constant and verify that your equation ()(*) for ϕ\phi holds.

[Note that

dχsinhχ= const. +12log(coshχ1)12log(coshχ+1).]\left.\int \frac{d \chi}{\sinh \chi}=\text { const. }+\frac{1}{2} \log (\cosh \chi-1)-\frac{1}{2} \log (\cosh \chi+1) .\right]

Part II