8.E: Sources in General Relativity (Exercise)
- Page ID
- 11475
\( \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}\)- Verify, as claimed in section 8.1, that the electromagnetic pressure inside a medium-weight atomic nucleus is on the order of 1033 Pa.
- Is the Big Bang singularity removable by the coordinate transformation t → \(\frac{1}{t}\)?
- Verify the claim made in section 8.2 that a is a linear function of time in the case of the Milne universe, and that k = −1.
- Examples 16 and 18 discussed ropes with cosmological lengths. Reexamine these examples in the case of the Milne universe.
- (a) Show that the Friedmann equations are symmetric under time reversal. (b) The spontaneous breaking of this symmetry in perpetually expanding solutions was discussed in section 8.2. Use the definition of a manifold to show that this symmetry cannot be restored by gluing together an expanding solution and a contracting one “back to back” to create a single solution on a single, connected manifold.
- The Einstein field equations are $$G_{ab} = 8 \pi T_{ab} + \Lambda g_{ab},$$and when it is possible to adopt a frame of reference in which the local mass-energy is at rest on average, we can interpret the stress-energy tensor as $$T^{\mu}_{\nu} = diag(- \rho, P, P, P),$$where \(\rho\) is the mass-energy density and P is the pressure. Fix some point as the origin of a local Lorentzian coordinate system. Analyze the properties of these relations under a reflection such as x → −x or t → −t.
- (a) Show that a positive cosmological constant violates the strong energy condition in a vacuum. In applying the definition of the strong energy condition, treat the cosmological constant as a form of matter, i.e., “roll in” the cosmological constant term to the stress-energy term in the field equations. (b) Comment on how this affects the results of the following paper: Hawking and Ellis, “The Cosmic Black-Body Radiation and the Existence of Singularities in Our Universe,” Astrophysical Journal, 152 (1968) 25, articles.adsabs.harvard.edu/f...pJ...152...25H.
- In problem 7 in chapter 5, we analyzed the properties of the metric $$ds^{2} = e^{2gz} dt^{2} - dz^{2} \ldotp$$
- In that problem we found that this metric had the same properties at all points in space. Verify in particular that it has the same scalar curvature R at all points in space.
- Show that this is a vacuum solution in the two-dimensional (t, z) space.
- Suppose we try to generalize this metric to four dimensions as $$ds^{2} = e^{2gz} dt^{2} - dx^{2} - dy^{2} - dz^{2} \ldotp$$Show that this requires an Einstein tensor with unphysical properties.
- Consider the following proposal for defeating relativity’s prohibition on velocities greater than c. Suppose we make a chain billions of light-years long and attach one end of the chain to a particular galaxy. At its other end, the chain is free, and it sweeps past the local galaxies at a very high speed. This speed is proportional to the length of the chain, so by making the chain long enough, we can make the speed exceed c.
Debunk this proposal in the special case of the Milne universe. - Make a rigorous definition of the volume V of the observable universe. Suppose someone asks whether V depends on the observer’s state of motion. Does this question have a well-defined answer? If so, what is it? Can we calculate V ’s observer-dependence by applying a Lorentz contraction?
- For a perfect fluid, we have P = w\(\rho\), where w is a constant. The cases w = 0 and w = \(\frac{1}{3}\) correspond, respectively, to dust and radiation. Show that for a flat universe with \(\Lambda\) = 0 dominated by a single component that is a perfect fluid, the solution to the Friedmann equations is of the form a \(\propto\) t\(\delta\), and determine the exponent \(\delta\). Check your result in the dust case against the one in section 8.2, then find the exponent in the radiation case. Although the w = −1 case corresponds to a cosmological constant, show that the solution is not of this form for w = −1.
- Apply the result of problem 11 to generalize the result of example 22 for the size of the observable universe. What is the result in the case of the radiation-dominated universe?
- The Kantowski-Sachs metric is $$ds^{2} = dt^{2} - \Lambda^{-1} (d \theta^{2} + \sin^{2} \theta d \phi^{2}) - e^{2 \sqrt{\Lambda} t} dz^{2} \ldotp$$It describes a universe with the spatial topology of a 3-cylinder. Use a computer algebra system such as Maxima to verify the following facts.
- Any world-line of the form (t, \(\theta, \phi\), z) = (\(\lambda\), constants) is a geodesic parametrized by proper time. (If using Maxima, you will find that the function cgeodesic() saves time here.)
- If two such geodesics are separated only in the z direction, the distance between them along a surface of fixed t increases exponentially with t, while geodesics separated only in \(\theta\) and \(\phi\) do not recede from one another.
- There are no matter fields, only a cosmological constant \(\Lambda\).
- The Ricci scalar R = −4\(\Lambda\) (+ − −− signature) equals \(\frac{1}{3}\) of the value for the de Sitter vacuum-dominated cosmology (sec. 8.2), the factor of 3 occurring because there is expansion along only one axis rather than three.
- The vacuum-dominated cosmology found by de Sitter and presented in the text was supposed to be the unique cosmological solution of this type. Why is the Kantowski-Sachs metric not a counterexample?