Homework Assignments

reading

+ Chapter 24, Sections 2,3

1. 22-5 (stress tensor of a gas)

2. 24-6 (incompressible stars) Let's change the problem a bit. Do the following parts: (a) Find the pressure as a function of radius for a star of a given density and surface radius R. (b) Show that there is a maximum possible surface radius R_max, that is related to the maximum mass by R_max = 2.25 M_max (note it's a bit outside the Schwarzschild radius of M_max). (c) Evaluate R_max for the density of (i) water (1 g/cm^3) and (ii) nuclear density (~ 10^15 g/cm^3).

3. Cosmic String: Unified theories of elementary particle physics sometime admit configurations of the fields that are cylindrically symmetric, time-independent, and invariant under Lorentz boosts in the direction along the symmetry axis. In a cylindrical coordinate system (t,z,r,\phi) for which the line element has the form ds^2 = A(r)(-dt^2 + dz^2) + B(r) dr^2 + C(r) d\phi^2, the energy-momentum tensor for the matter that makes up the string takes the form T_ab = diag(w(r), -w(r), T_rr, T_\phi\phi). Note that the pressure along the axis is the negative of the energy density, so this is a highly non-Newtonian source. The energy density w(r) vanishes outside some radius r=R, where R might be around (10^16 GeV)^-1 ~ 10^-30 cm in a grand unified theory with "symmetry breaking scale" 10^16 GeV, and the central density might be around (10^16 GeV)^4 (in units with \hbar=c=1). In effect, the core of the string consists of false vacuum, with an energy-momentum tensor that looks like an anisotropic form of vacuum energy. In the physical case of interest, it is a good approximation to neglect the transverse pressures T_rr and T_\phi\phi, and to treat w(r) as a two-dimensional Dirac delta function. Then the energy-momentum tensor takes the form T_ab = \mu \delta^2(r) diag(1,-1,0,0), where \mu is the energy per unit length of the string. Use this

form in the problem.

(a) Show that the linearlized Einstein equation in Lorentz gauge (Hartle's (23.6)) implies the equivalent equation box h_ab = -16\pi(T_ab - 1/2 T\eta_ab). Please note that it is assumed in deriving (23.6) that one is perturbing arount a flat metric expressed in Minkowski coordinates, so that the background metric is diag(-1,1,1,1). In particular the space coordinates are Cartesian.

(b) Use part (a) to solve for the perturbation h_ab with a cosmic string source. Express your answer in terms of \mu. Choose the integration constants so that the perturbation vanishes at r=R. Your solution will blow up at both large and small r, which means that it cannot be trusted in those limits, since it was derived under the assumption that it is small. Find expressions for the value of r where the perturbation components are +1 and -1.

(c) Show that the linearized Riemann tensor vanishes off the string, so despite the presence of the string the spacetime is locally flat. (It turns out that the exact Riemann tensor also vanishes off the string.)

(d) Even though the spacetime is locally flat, it is not globally flat, since there is a conical deficit. To understand this, compute the rate of change of circumference of a circle at fixed t,z, and r, with respect to the proper radial distance (which is not just dr). Show that to linear order in the perturbation your result is what you'd get on a cone with deficit angle 8\pi\mu. (Another way to see this is to find a coordinate transformation that makes the metric the flat space form in cylindrical coordinates, but with an angle whose range is 2\pi minus this deficit angle.) If a source of light lies directly far behind a cosmic string oriented perpendicular to the line of sight, it will produce two images, separated by this angle! So this deficit is a physical effect.

(e) Using the energy density and diameter of the string mentioned above, estimate the value of the deficit angle. (I suggest you work in Planck units G=\hbar=c=1.)

reading

+ Chapter 22

+ The Meaning of Einstein's Equation (http://arxiv.org/abs/gr-qc/0103044) (This is not required, just recommended.)

1. 21-5 (static weak field limit of curvature)

2. 21-26 (linearized plane wave in two gauges)

3. The Lorentz gauge is the linearized version of a gauge that can be used in the fully nonlinear setting called harmonic gauge or de Donder gauge. This can be defined as a coordinate choice for which each of the four coordinate functions satisfies the covariant wave equation. Let's call the coordinates x^(m), where I put the index m in parentheses to emphasize that it is NOT a vector index. The harmonic gauge condition is box x^(m) = x^(m)_;ab g^ab = 0, for all four values of m. This gauge can always be accessed: we need only choose the coordinates to be four solutions of the wave equation. (a) Show that harmonic gauge is equivalent to the condition Gamma^m_ab g^ab = 0. (b) Show that in the linearized limit this becomes the Lorentz gauge condition.

4. Compute the Riemann tensor, Ricci tensor, Ricci scalar, and Einstein tensor by hand for (a) the 2d line element ds

5.

(a) Show that F

(b) Show that F

(c) Choose coordinates x

(d) The rest of the Maxwell equations depend upon the spacetime metric. These take the form F

(e) (i) Show that the Maxwell equation in part (d) implies j

reading

Chapter 14, read Sections 1,2,3 and Box 14.1; skim Sections 4,5,6

1. A function F(x) on spacetime induces a function F(s)=F(x(s)) on a curve with path paramter s whose derivative dF/ds is coordinate invariant. Using the chain rule we have dF/ds = (∂F/∂x^m)(dx^m/ds). Each factor changes under a coordinate transformation, but they change inversely to each other. Show explicitly that the contraction is invariant.

2. Compute the Christoffel symbols by hand for the Schwarzschild metric. (Check Appendix B to see if you've got it right.)

3. (freely falling gyroscopes) As explained in section 14.2 and in Example 20.10, the spin 4-vector

4. Consider a gyro orbiting in a Schwarzschild metric. (a) Assuming the spin 4-vector is initially perpendicular to the plane of the orbit, determine how the spin vector changes along the orbit if the orbit is (i) circular, and (ii) elliptical. In case (ii), show that your result is consistent with constancy of the magnitude of the spin vector. (b) Assuming the spin 4-vector is initially in the plane of the orbit, show that it remains in the plane of the orbit.

5. 20-18 (Killing's equation) (This covariant equation characterizes Killing vector fields in a coordinate independent manner.)

6. 20-20 (Killing vectors on the Euclidean plane) (Note the book forgets to mention that you are to assume the metric of the Euclidean plane. For part (c), the linear combination must have constant coefficients, otherwise it would not be a Killing vector.)

reading

Ch. 2, Sections 1-3 (and 4-5 if you like); Ch. 3, Sections 1-2 and Problem 7

Hartle, Chapter 21, Section 1 (do not read Chapter 20)

problems

19-6 (Standard rulers) The general expression for the angular size was derived in the textbook for a general FRW model. Change the problem as follows: (a) Explain clearly in plain English (no equations) why the angular size increases with large enough redshift for any FRW model with finite horizon size today. (b) Find the redshift beyond which the angular size increases in a flat, matter-dominated FRW model. (c) Do more distant objects therefore appear brighter? Explain your answer!

19-7 (Number counts of galaxies) Instead of doing the problem as written, find a formula for N_gal(z) that applies for any FRW model, expressing your answer in terms of the function \chi(z) defined in eqn (19.9). Assume that no galaxies are born or die.

10S-1.

Show that the angular radius of a causal patch on the surface of last scattering (SLS) is about 2 degrees, assuming a matter-dominated flat FRW model all the way back to the big bang. More explicitly, show that the horizon of a point on the SLS subtends an angle of (a_ls/a_0)^1/2 radians or about 2 degrees as viewed today. (Guidance: The angle viewed today is the same as the angle subtended from our co-moving world line at the time t_ls of last scattering, so do the calculation all on the t_ls surface. Referring to Fig. 19.3 (p. 407) of the textbook, this is the angle subtended by \chi_c viewed at a distance of \chi_ls (these are coordinate distances, but the angle is their ratio which is the same as the ratio of the corresponding physical distances). For this purpose you can neglect the difference between \chi_ls and \chi_horiz.)

10S-2.

If the universe inflates for a time t with Hubble constant H (vacuum energy density 3H^2/8\pi G) the scale factor increases by a factor of exp(Ht). If the increase in the horizon size during inflation is greater than the present horizon size at the end of inflation, then the horizon problem is solved in the sense that all events visible to us have at least one point in their common past. (Strictly speaking, more than this is needed to account for the homogeneity of the CMB.)

(a) Show that the number of e-foldings (Ht) required to solve the horizon problem is N=ln[(2H/H_0)(a_rh/a_0)], assuming the inflationary period ends abruptly at "reheating" (rh), and assuming a matter-dominated flat FRW model from reheating to the present. For the purpose of evaluating the present horizon size it is a good approximation to treat the reheating time as if it were the big bang.

(b) The energy scale of inflation E_infl is defined by setting the energy density equal to (E_infl)^4, where we have set hbar=c=1. Assume this vacuum energy density is instantly converted to an equal thermal radiation energy density, and assume that after reheating the radiation remains in equilibrium and reshifts to lower temperature as the scale factor grows. Show that under these assumptions we have N ~ ln(E_infl T_0/H_0), up to constants of order unity (using Planck units G=c=hbar=1).

(c) The argument of the logarithm doesn't look dimensionless, but remember we are using Planck units. To evaluate this we should just divide each quantity by the corresponding Planck unit, to make it dimensionless. Eg. divide the energy E_infl by the Planck energy ~10^19 GeV, and divide H_0 by the inverse Planck time ~ 10^-43 s. This results in pure numbers, so it must be the correct dimensionless result we would have obtained had we kept track of the powers of G, c, and habr. Using this method and these numbers, evaluate N assuming the energy scale of inflation is 10^15 GeV. (I obtain N ~ 58 using this rough approach. Since N depends logarithmically on the various assumptions it is not all that sensitive to them.)

reading

Chapter 18.6-7,

Chaper 19, all

problems

1. 18-11 (closed, matter dominated FRW models)

2. 18-14 (spatial curvature lens)

3. 18-16 (deceleration parameter) Hint: Differentiate the rescaled Friedman equation (18.77).

4. 18-19 (de Sitter space) Add parts (b) and (c): treat also the flat and open cases (b) k=0 and (c) k = -1. [Comment: these are all different coordinate patches for the same spacetime! The k=+1 case covers the entire spacetime, but the others do not. For a discussion of de Sitter spacetime and seven different coordinate systems thereon see Les Houches Lectures on de Sitter Space.]

5. (Milne universe) While we're at it, consider the case of vanishing energy density. (a) With which values of k is this compatible, and what are the solutions in these cases? (b) All of these correspond to flat spacetime. Explain how that can be true and sketch a diagram illustrating it. (c) Optional: Find the explicit coordinate transformation relating the non-Minkowski to the Minkowski coordinates.

6. 18-24 (Einstein static universe)

7. 18-29 (negative vacuum energy)

8. Consider some stuff satisfying the simple "equation of state" p = w rho. (a) Assuming this stuff doesn't interact with anything else, use the first law of thermodynamics to show that rho varies as the -3(1+w) power of a. (b) What values of w correspond to matter, radiation, vacuum, and curvature terms in the Friedman equation? (Think of the curvature term as due to a fluid with energy density that varies as 1/a^2.) (c) The case w < -1 has been called "phantom energy". Show that if there is any of this nasty stuff the universe will blow up to infinite scale factor in a finite time, tearing apart everything including nuclei and nucleons (the "Big Rip").

Ch. 17, skim (at least)

Ch. 18, sections 18.1-18.5

18-3 (particle motion in expanding universe) (Show that what Hartle says is true only if a(t) increases more rapidly than the square root of t.)

18-5 (cosmological redshift of CMB)

18-6 (cosmological redshift of timescales)

18-8 (cosmological redshift via momentum conservation)

1) Hartle: Ch. 16, all

2) Pages 1-9 of Listening to the Universe with Gravitational Wave Astronomy (arxiv.org/abs/astro-ph/0210481), by Scott Hughes.

16-7 (only two gravitational wave polarizations)

16-13 (g-wave energy flux) Compare with the energy flux of sound waves at the threshold of human detection, 10

16-14 (g-wave energy flux, again)

7S-1 Derive the result (16.8) using the Lagrangian method. Assume as does Hartle that the particles are freely falling with zero initial velocity.

7S-2 Referring to the article by Scott Hughes, (a) Derive equation (4) using dimensional analysis. That is, assume h is proportional to GQ/r on the general physical grounds discussed in the article, and deduce the missing power of the speed of light c and the number of time derivatives of the qudrupole moment Q. (b) Using similar reasoning derive a corresponding formula for the amplitude of the electric field produced by a radiating charge dipole; (c) Verify equation (5).

Hartle:

Ch. 12, the rest (sections 12.1-4)

Ch. 13, the rest (section 13.3)

Ch. 14, Intro, sections 14.1 & 14.4, and Box 14.1

13-7 (distance to a primordial black hole explosion)

15-16 (AGN lifetime estimate) [Estimate the maximum lifetime, i.e. assuming that none of the rotational energy goes into the black hole itself, which is to say that the irreducible mass, or what is the same the area, remains constant.]

5S-1 Suppose two Kerr black holes, each of mass M and angular momentum J, collide and coalesce and radiate away energy and angular momentum in gravitational waves and eventually settle down to a final single black hole. Determine the maximum energy radiated allowed by Hawking's area theorem. What does your result give in the non-spinning case J=0 and the extremal case J=M^2?

5S-2 Suppose a particle of unit energy and zero angular momentum falls into a Kerr black hole. What is the total advance of the particle's azimuthal angle up to the point it crosses the event horizon?

5S-3 (surface gravity) Consider a mass m at radius r suspended from a non-stretchable string running from r to infinity above a nonrotating black hole (Schwarzschild spacetime). If the string is lifted a proper distance dr at infinity, the work dW done by the lifter at infinity is equal to the change of the Killing energy of the mass. (a) Using this set-up, find the force per unit mass exerted at infinity to slowly lift---or just hold---the mass at radius r. (b) What is the surface gravity, i.e. the limit of this as r approaches the horizon? Give your answer as a function of the black hole mass M.

5S-4 (thermodynamics for nonspinning black holes) Show that for a small change of mass of a Schwarzschild black hole, dM = (kappa/8\piG) dA, where kappa is the surface gravity, A is the horizon area, and c=1.

Hartle:

Ch. 12, just Intro. and Box 12.1 now

Ch. 13, just Intro and sections 1 & 2 now

Ch. 15, all

12-10 (non-radial light rays in a spacetime diagram projected to two dimensions)

12-11 (negative mass Schwarzschild spacetime) Let the book part be (a). Add parts: (b) Are massive particles attracted or repelled by the object? Justify your answer by use of the geodesic equation or effective potential. (c) If a radial photon emitted from radius r with frequency w* as measured by a static observer, what is the frequency of the photon measured by a static observer at infinity? What happens in the limit that r approaches 0?

15-6 (The surface r = r_+ in Kerr is a null surface.)

15-10 (de Sitter horizon) [Hartle doesn't tell you but this is the line element for the de Sitter spacetime. Solve this problem in the following way: Transform to the Eddington-Finkelstein form ds

15-18 (pair production estimate near a rotating black hole)

Hartle:

Ch. 9 (if you have not yet read it)

Ch. 10, skim (at least)

Ch. 11, skim 11.1 (at least), read 11.2,3

9-10 (velocity of orbit wrt local static observer) [Suggestions: You might do this with the help of the angular velocity found in problem 4S-1. Alternatively, you might use the total energy to find the energy measured by the static observer, and from that find the velocity measured by that observer.]

9-18 (Nordstrom theory) (a) As the book requests, first do this by finding the effective potential for null geodesics, then find d\phi/dr and show that it is independent of the parameter M. (b) Next, use the result from last week's homework problem 2 to find the same result in a simpler way.

12-6 (orbit of closest approach) [What the book says about crossing 3M makes no sense. Interpret it as just coming close to 3M for a long time. Show that the limiting case is where the probe takes an infinite amount of time to spiral in ever closer to r=3M, and occurs when angular momentum and energy go to infinity, with impact parameter 27

4S-1: Derive the expression (9.46) relating the angular velocity to the radius of a circular orbit using just the r-component of the geodesic equation.

Hartle: Ch. 8, first three pages; Ch. 9

Hartle: Ch. 6; Secs. 7.1,2,3,4

6-14 (proper time and orbits) Change part (d) to the following: The elapsed time for the fixed particle in part (b) is longer than for the orbiting particle in part (a). Since the

7-11 (warp drive speed)

7-12 (warp drive proper time)

2S-1. Projective coordinates on a unit 2-sphere: If the sphere sits tangent to the x-y plane at the south pole, a straight line from the north pole punctures the sphere at some point and then goes on to hit the plane at some (x,y). Using this (x,y) to label the puncture point, show that the line element on the sphere takes the form ds

2S-2. In class we showed that the line element ds

only up to a Lorentz transformation (and translation). You should just make a simple choice that does the job.

2S-3. The

ds

is one way to present the (unique) spherically symmetric, vacuum solution to Einstein's equation.

It is written above in geometrical units, with G = c = 1. In general units M would be replaced by GM/c

The parameter M is the mass of the source that produces this field.

a) Show that (EF) defines a Lorentzian metric for all r > 0.

b) If M = 0, the line element (EF) corresponds to flat spacetime (Minkowski space).

Find a coordinate transformation that brings it to the standard Minkowski form.

c) Show that a line of constant r,theta,phi is timelike for r > 2M, lightlike for r = 2M, and spacelike for r < 2M.

d) The three-dimensional surface r = 2M is the event horizon of a black hole. Show that all displacements

on this surface are spacelike, except ones at constant angles, which are lightlike. The surface contains no

timelike displacements.

e) Suppose an outgoing light flash is emitted from the spherical surface at r = r

area of the wavefront grows with v for r

f) Show that any particle (not necessarily in free fall) inside the horizon must decrease its radial coordinate

at a rate given by |dr/d(tau)| >/= (2M/r - 1)

g) Show that the maximum proper time before reaching the singularity at r = 0 for any observer inside the

horizon is \pi M. How long is this for a solar mass black hole? For a 10

Organizational notes (page xxii)

Chapters 1 and 5

Appendices A and D

Textbook companion website (http://wps.aw.com/aw_hartle_gravity_1/0,6533,512494-,00.html)

2-7 (a coordinate transformation)

5-1 (4-vectors and dot product)

5-3 (free particle world line)

5-13 (pion photoproduction)

5-14 (energy of highest energy cosmic rays)

1-S (relativistic beaming)