6.E: Vacuum Solutions (Exercises)
- Page ID
- 11578
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- Show that in geometrized units, power is unitless. Find the equivalent in watts of a power that equals 1 in geometrized units.
- The metric of coordinates \((\theta, \phi)\) on the unit sphere is \(ds^{2} = d \theta^{2} + \sin^{2} \theta d \phi^{2}\). (a) Show that there is a singular point at which gab → \(\infty\). (b) Verify directly that the scalar curvature R = \(R_{a}^{a}\) constructed from the trace of the Ricci tensor is never infinite. (c) Prove that the singularity is a coordinate singularity.
- (a) Space probes in our solar system often use a slingshot maneuver. In the simplest case, the probe is scattered gravitationally through an angle of 180 degrees by a planet. Show that in some other frame such as the rest frame of the sun, in which the planet has speed u toward the incoming probe, the maneuver adds 2u to the speed of the probe. (b) Suppose that we replace the planet with a black hole, and the space probe with a light ray. Why doesn’t this accelerate the ray to a speed greater than c?
- An observer outside a black hole’s event horizon can never observe a test particle falling past the event horizon and later hitting the singularity. We could therefore wonder whether general relativity’s predictions about the interior of a black hole, and the singularity in particular, are even a testable scientific theory. However, the observer could herself fall into the black hole. The question is then whether she would reach the singularity within a finite proper time; if so, then it is observable to her. The purpose of this problem is to prove that this is so, using the techniques of section 6.2. Suppose for simplicity that the observer starts at rest far away from the black hole, and falls directly inward toward it. (a) In the notation of section 6.2, what are the values of E and L in this case? (b) Find the function r(s), i.e., the observer’s Schwarzschild radial coordinate as a function of her proper time, and show that she does reach the singularity in finite proper time.
- The curve given parametrically by (cos3 t, sin3 t) is called an astroid. The arc length along this curve is given by s = (\(\frac{3}{2}\)) sin2 t, and its curvature by k = −(\(\frac{2}{3}\)) csc2 t. By rotating this astroid about the x axis, we form a surface of revolution that can be described by coordinates (t, \(\phi\)), where \(\phi\) is the angle of rotation. (a) Find the metric on this surface. (b) Identify any singularities, and classify them as coordinate or intrinsic singularities.
- (a) Section 3.5 gave a flat-spacetime metric in rotating polar coordinates, $$ds^{2} = (1 - \omega^{2} r^{2}) dt^{2} - dr^{2} - r^{2} d \theta'^{2} - 2 \omega r^{2} d \theta' dt \ldotp$$Identify the two values of r at which singularities occur, and classify them as coordinate or non-coordinate singularities.
(b) The corresponding spatial metric was found to be $$ds^{2} = - dr^{2} - \frac{r^{2}}{1 - \omega^{2} r^{2}} d \theta'^{2} \ldotp$$Identify the two values of r at which singularities occur, and classify them as coordinate or non-coordinate singularities.
(c) Consider the following argument, which is intended to provide an answer to part b without any computation. In two dimensions, there is only one measure of curvature, which is equivalent (up to a constant of proportionality) to the Gaussian curvature. The Gaussian curvature is proportional to the angular deficit \(\epsilon\) of a triangle. Since the angular deficit of a triangle in a space with negative curvature satisfies the inequality \(− \pi < \epsilon < 0\), we conclude that the Gaussian curvature can never be infinite. Since there is only one measure of curvature in a two-dimensional space, this means that there is no non-coordinate singularity. Is this argument correct, and is the claimed result consistent with your answers to part b? - The first experimental verification of gravitational redshifts was a measurement in 1925 by W.S. Adams of the spectrum of light emitted from the surface of the white dwarf star Sirius B. Sirius B has a mass of 0.98M\(\odot\) and a radius of 5.9 × 106 m. Find the redshift.
- Show that, as claimed in section 6.3, applying the change of coordinates t' = t−2m ln(r−2m) to the Schwarzschild metric results in a metric for which grr and gt't' never blow up, but that gt't' does blow up.
- Use the geodesic equation to show that, in the case of a circular orbit in a Schwarzschild metric, \(\frac{d^{2} t}{ds^{2}}\) = 0. Explain why this makes sense.
- Verify by direct calculation, as asserted in section 6.4, that the Riemann tensor vanishes for the metric ds2 = −t dt2 − d\(\ell^{2}\), where d\(\ell^{2}\) = dx2 + dy2 + dz2.
- Suppose someone proposes that the vacuum field equation of general relativity isn’t Rab = 0 but rather Rab = k, where k is some constant that describes an innate tendency of spacetime to have tidal distortions. Explain why this is not a good proposal.
- Prove, as claimed in section 6.3, that in 2+1 dimensions, with a vanishing cosmological constant, there is no nontrivial Schwarzschild metric.
- In section 6.2, I argued that there is no way to define a time-reversal operation in general relativity so that it applies to all spacetimes. Why can’t we define it by picking some arbitrary spacelike surface that covers the whole universe, flipping the velocity of every particle on that surface, and evolving a new version of the spacetime backward and forward from that surface using the field equations?