Skip to content
Miko-pedia Miko-pedia
← マップに戻る
相対論 · AIのノート · · #relativity

Complete Relativity

A concise guide to special relativity, manifolds, curvature, Einstein gravity, black holes, gravitational waves, and relativistic cosmology.

· 11 分

このノートの改善点や、新しく欲しいノートを提案できます。

PDFを見る

Special Relativity and Flat Spacetime

Core ideas

Special relativity replaces absolute time with Minkowski spacetime. Events are related by Lorentz transformations, proper time is invariant, and energy-momentum forms a four-vector. Causality is controlled by light cones, not by simultaneity in a chosen frame.

For review, be able to use Lorentz transformations, compute proper time, manipulate four-vectors, and classify intervals as timelike, null, or spacelike. Keep the physical question visible: identify the degrees of freedom, the conserved quantities, the approximation being made, and the observable that would be measured.

Mathematical spine

ds2=c2dt2+dx2,pμ=(E/c,p),E2=p2c2+m2c4ds^2=-c^2dt^2+d\bm x^2,\qquad p^\mu=(E/c,\bm p),\qquad E^2=p^2c^2+m^2c^4

Worked example

Consider two events in inertial frame SS: event AA at (t=0,x=0)(t=0,x=0) and event BB at (t=10 μs,x=2400 m)(t=10\ \mu\text{s},x=2400\ \text{m}). With c=3.00×108 m/sc=3.00\times10^{8}\ \text{m/s},

Δs2=c2Δt2+Δx2=(3000 m)2+(2400 m)2=3.24×106 m2.\Delta s^{2}=-c^{2}\Delta t^{2}+\Delta x^{2}=-(3000\ \text{m})^{2}+(2400\ \text{m})^{2}=-3.24\times10^{6}\ \text{m}^{2}.

The interval is timelike. The proper time is

Δτ=Δs2c=1800 m3.00×108 m/s=6.0 μs.\Delta\tau=\frac{\sqrt{-\Delta s^{2}}}{c}=\frac{1800\ \text{m}}{3.00\times10^{8}\ \text{m/s}}=6.0\ \mu\text{s}.

Now boost to frame SS' moving at v=0.6cv=0.6c (γ=1.25\gamma=1.25) along xx. Using the Lorentz transformation,

x=γ(xvt)=1.25(24000.63000)=750 m,x'=\gamma(x-vt)=1.25\,(2400-0.6\cdot3000)=750\ \text{m}, t=γ ⁣(tvxc2)=1.25 ⁣(10 μs0.6c2400c2)=12.5 μs.t'=\gamma\!\left(t-\frac{vx}{c^{2}}\right)=1.25\!\left(10\ \mu\text{s}-\frac{0.6c\cdot2400}{c^{2}}\right)=12.5\ \mu\text{s}.

The invariant interval checks out: c2t2+x2=3.24×106 m2-c^{2}t'^{2}+x'^{2}=-3.24\times10^{6}\ \text{m}^{2}.

Problems with Solutions

  1. Lorentz boost. A spaceship leaves Earth and travels to a star 4.00 ly away in Earth frame. The ship’s clock records a trip time of 5.00 yr. Find the ship’s speed relative to Earth and the time elapsed on Earth.

    Solution. Let the ship speed be v=βcv=\beta c and γ=1/1β2\gamma=1/\sqrt{1-\beta^{2}}. In Earth frame the distance is L0=4.00L_{0}=4.00 ly and the trip time is t=L0/vt_{\oplus}=L_{0}/v. The ship measures the contracted distance L=L0/γL=L_{0}/\gamma and proper time τ=L/v=L0/(γv)\tau=L/v=L_{0}/(\gamma v). Thus 5.00=4.00γβγβ=0.800.5.00=\frac{4.00}{\gamma\beta}\quad\Rightarrow\quad\gamma\beta=0.800. Since γβ=β/1β2\gamma\beta=\beta/\sqrt{1-\beta^{2}}, squaring gives β2=0.64(1β2)\beta^{2}=0.64(1-\beta^{2}), so β0.625\beta\approx0.625 and v0.625cv\approx0.625c. Then γ1.28\gamma\approx1.28 and t=4.00/0.6256.40t_{\oplus}=4.00/0.625\approx6.40 yr.

  2. Relativistic electron. An electron has kinetic energy K=2mec2K=2m_{e}c^{2} (mec2=511 keVm_{e}c^{2}=511\ \text{keV}). Find its total energy, momentum, and speed.

    Solution. Total energy E=K+mec2=3mec2=1.533 MeVE=K+m_{e}c^{2}=3m_{e}c^{2}=1.533\ \text{MeV}. From E2=p2c2+me2c4E^{2}=p^{2}c^{2}+m_{e}^{2}c^{4}, p2c2=9me2c4me2c4=8me2c4    pc=8mec21.445 MeV.p^{2}c^{2}=9m_{e}^{2}c^{4}-m_{e}^{2}c^{4}=8m_{e}^{2}c^{4}\;\Rightarrow\;pc=\sqrt{8}\,m_{e}c^{2}\approx1.445\ \text{MeV}. Hence p1.445 MeV/cp\approx1.445\ \text{MeV}/c. The Lorentz factor is γ=E/(mec2)=3\gamma=E/(m_{e}c^{2})=3, so v=c11/γ2=c8/90.943cv=c\sqrt{1-1/\gamma^{2}}=c\sqrt{8/9}\approx0.943c.

  3. Interval classification. Event AA is at (t=0,x=0)(t=0,x=0) and event BB at (t=3 ns,x=1.0 m)(t=3\ \text{ns},x=1.0\ \text{m}). Classify the separation and determine whether AA could cause BB.

    Solution. cΔt=(3.00×108)(3×109)=0.90 mc\Delta t=(3.00\times10^{8})(3\times10^{-9})=0.90\ \text{m}. Since Δx=1.0 m>cΔt\Delta x=1.0\ \text{m}>c\Delta t, Δs2=(0.90)2+(1.0)2=+0.19 m2>0.\Delta s^{2}=-(0.90)^{2}+(1.0)^{2}=+0.19\ \text{m}^{2}>0. The interval is spacelike, so no signal from AA can reach BB; causality is impossible.

Section summary. Flat spacetime unifies space, time, energy, and momentum.

Manifolds

Core ideas

General relativity needs coordinate-independent geometry. A manifold is a space that locally looks like Rn\mathbb R^n but can be curved globally. Vectors live in tangent spaces, covectors in dual spaces, and tensors encode geometric objects independent of coordinates.

For review, be able to distinguish coordinates from geometry, transform tensor components, use tangent vectors and one-forms, and interpret metrics as inner products. Keep the physical question visible: identify the degrees of freedom, the conserved quantities, the approximation being made, and the observable that would be measured.

Mathematical spine

ds2=gμνdxμdxν,Vμ=xμxνVνds^2=g_{\mu\nu}dx^\mu dx^\nu,\qquad V^{\mu'}=\frac{\partial x^{\mu'}}{\partial x^\nu}V^\nu

Worked example

On a 2-sphere of radius R=6371 kmR=6371\ \text{km} (Earth), the line element is

ds2=R2(dθ2+sin2θdϕ2).ds^{2}=R^{2}\bigl(d\theta^{2}+\sin^{2}\theta\,d\phi^{2}\bigr).

Consider a curve of constant latitude θ=π/2\theta=\pi/2 (the equator) with ϕ(λ)=λ\phi(\lambda)=\lambda for λ[0,π/4]\lambda\in[0,\pi/4]. The tangent vector is Vμ=(0,1)V^{\mu}=(0,1), so

V2=gμνVμVν=gϕϕ(Vϕ)2=R2sin2(π/2)=R2.|V|^{2}=g_{\mu\nu}V^{\mu}V^{\nu}=g_{\phi\phi}(V^{\phi})^{2}=R^{2}\sin^{2}(\pi/2)=R^{2}.

The curve length is therefore

L=0π/4 ⁣Vdλ=Rπ46371×0.7855000 km.L=\int_{0}^{\pi/4}\!|V|\,d\lambda=R\frac{\pi}{4}\approx6371\times0.785\approx5000\ \text{km}.

This shows how the metric directly encodes physical distance independent of any embedding in R3\mathbb{R}^{3}.

Problems with Solutions

  1. Metric length. In 2D polar coordinates the metric is ds2=dr2+r2dθ2ds^{2}=dr^{2}+r^{2}d\theta^{2}. A vector at (r=2,θ=π/6)(r=2,\theta=\pi/6) has components (Vr,Vθ)=(3,1)(V^{r},V^{\theta})=(3,1). Compute its squared length.

    Solution. grr=1g_{rr}=1, gθθ=r2=4g_{\theta\theta}=r^{2}=4. Hence V2=grr(Vr)2+gθθ(Vθ)2=19+41=13.|V|^{2}=g_{rr}(V^{r})^{2}+g_{\theta\theta}(V^{\theta})^{2}=1\cdot9+4\cdot1=13.

  2. Jacobian transformation. Coordinates (u,v)(u,v) relate to (x,y)(x,y) by x=u+vx=u+v, y=uvy=u-v. A vector has components Vx=1V^{x}=1, Vy=2V^{y}=2. Find VuV^{u} and VvV^{v}.

    Solution. Inverting, u=12(x+y)u=\tfrac12(x+y), v=12(xy)v=\tfrac12(x-y). The Jacobian gives Vu=uxVx+uyVy=12(1)+12(2)=1.5,V^{u}=\frac{\partial u}{\partial x}V^{x}+\frac{\partial u}{\partial y}V^{y}=\tfrac12(1)+\tfrac12(2)=1.5, Vv=vxVx+vyVy=12(1)12(2)=0.5.V^{v}=\frac{\partial v}{\partial x}V^{x}+\frac{\partial v}{\partial y}V^{y}=\tfrac12(1)-\tfrac12(2)=-0.5.

  3. Covector action. In polar coordinates a covector has components ωr=rcosθ\omega_{r}=r\cos\theta, ωθ=r2sinθ\omega_{\theta}=-r^{2}\sin\theta. Evaluate ω(V)\omega(V) for V=(sinθ,cosθ/r)V=(\sin\theta,\cos\theta/r) at (r=2,θ=π/4)(r=2,\theta=\pi/4).

    Solution. ω(V)=ωμVμ=(rcosθ)(sinθ)+(r2sinθ)(cosθ/r)=rsinθcosθrsinθcosθ=0\omega(V)=\omega_{\mu}V^{\mu}=(r\cos\theta)(\sin\theta)+(-r^{2}\sin\theta)(\cos\theta/r)=r\sin\theta\cos\theta-r\sin\theta\cos\theta=0. At the given point the contraction vanishes.

Section summary. Manifolds provide the coordinate-free stage for spacetime.

Curvature

Core ideas

Curvature measures the failure of vectors to return unchanged after parallel transport. The connection defines covariant derivatives and geodesics; the Riemann tensor measures curvature; Ricci curvature and the scalar curvature are contractions used in Einstein’s equation.

For review, be able to compute Christoffel symbols for simple metrics, write geodesic equations, and interpret Riemann/Ricci curvature geometrically. Keep the physical question visible: identify the degrees of freedom, the conserved quantities, the approximation being made, and the observable that would be measured.

Mathematical spine

Γμνρ=12gρσ(μgνσ+νgμσσgμν),RρσμνVσ=[μ,ν]Vρ\Gamma^\rho_{\mu\nu}=\frac12g^{\rho\sigma}(\partial_\mu g_{\nu\sigma}+\partial_\nu g_{\mu\sigma}-\partial_\sigma g_{\mu\nu}),\qquad R^\rho{}_{\sigma\mu\nu}V^\sigma=[\nabla_\mu,\nabla_\nu]V^\rho

Worked example

For a 2-sphere of radius RR, ds2=R2(dθ2+sin2θdϕ2)ds^{2}=R^{2}(d\theta^{2}+\sin^{2}\theta\,d\phi^{2}). The nonzero metric components are gθθ=R2g_{\theta\theta}=R^{2}, gϕϕ=R2sin2θg_{\phi\phi}=R^{2}\sin^{2}\theta with inverses gθθ=1/R2g^{\theta\theta}=1/R^{2}, gϕϕ=1/(R2sin2θ)g^{\phi\phi}=1/(R^{2}\sin^{2}\theta). The Christoffel symbols are

Γθϕϕ=12gθθθgϕϕ=sinθcosθ,\Gamma^{\theta}{}_{\phi\phi}=-\tfrac12 g^{\theta\theta}\partial_{\theta}g_{\phi\phi}=-\sin\theta\cos\theta, Γϕθϕ=Γϕϕθ=12gϕϕθgϕϕ=cotθ.\Gamma^{\phi}{}_{\theta\phi}=\Gamma^{\phi}{}_{\phi\theta}=\tfrac12 g^{\phi\phi}\partial_{\theta}g_{\phi\phi}=\cot\theta.

Using Rρσμν=μΓρνσνΓρμσ+ΓρμλΓλνσΓρνλΓλμσR^{\rho}{}_{\sigma\mu\nu}=\partial_{\mu}\Gamma^{\rho}{}_{\nu\sigma}-\partial_{\nu}\Gamma^{\rho}{}_{\mu\sigma}+\Gamma^{\rho}{}_{\mu\lambda}\Gamma^{\lambda}{}_{\nu\sigma}-\Gamma^{\rho}{}_{\nu\lambda}\Gamma^{\lambda}{}_{\mu\sigma},

Rθϕθϕ=θΓθϕϕΓθϕϕΓϕθϕ=cos2θ+sin2θ(sinθcosθ)(cotθ)=sin2θ.R^{\theta}{}_{\phi\theta\phi}=\partial_{\theta}\Gamma^{\theta}{}_{\phi\phi}-\Gamma^{\theta}{}_{\phi\phi}\Gamma^{\phi}{}_{\theta\phi}=-\cos^{2}\theta+\sin^{2}\theta-(-\sin\theta\cos\theta)(\cot\theta)=\sin^{2}\theta.

Lowering the first index, Rθϕθϕ=gθθRθϕθϕ=R2sin2θR_{\theta\phi\theta\phi}=g_{\theta\theta}R^{\theta}{}_{\phi\theta\phi}=R^{2}\sin^{2}\theta. The Gaussian curvature is

K=Rθϕθϕgθθgϕϕ=R2sin2θR2R2sin2θ=1R2,K=\frac{R_{\theta\phi\theta\phi}}{g_{\theta\theta}g_{\phi\phi}}=\frac{R^{2}\sin^{2}\theta}{R^{2}\cdot R^{2}\sin^{2}\theta}=\frac{1}{R^{2}},

showing that curvature is uniform and inversely proportional to the square of the radius.

Problems with Solutions

  1. Christoffel symbols. For the metric ds2=dx2+x2dy2ds^{2}=dx^{2}+x^{2}dy^{2} (x>0x>0), compute Γxyy\Gamma^{x}{}_{yy} and Γyxy\Gamma^{y}{}_{xy}.

    Solution. gxx=1g_{xx}=1, gyy=x2g_{yy}=x^{2}, so gxx=1g^{xx}=1, gyy=1/x2g^{yy}=1/x^{2}. Then Γxyy=12gxxxgyy=12(2x)=x,\Gamma^{x}{}_{yy}=-\tfrac12 g^{xx}\partial_{x}g_{yy}=-\tfrac12(2x)=-x, Γyxy=12gyyxgyy=121x2(2x)=1x.\Gamma^{y}{}_{xy}=\tfrac12 g^{yy}\partial_{x}g_{yy}=\tfrac12\frac{1}{x^{2}}(2x)=\frac{1}{x}.

  2. Geodesic equation. Using the results above, write the geodesic equation for x(λ)x(\lambda).

    Solution. x¨+Γxxxx˙2+2Γxxyx˙y˙+Γxyyy˙2=0\ddot{x}+\Gamma^{x}{}_{xx}\dot{x}^{2}+2\Gamma^{x}{}_{xy}\dot{x}\dot{y}+\Gamma^{x}{}_{yy}\dot{y}^{2}=0. Only Γxyy\Gamma^{x}{}_{yy} is nonzero, so d2xdλ2x(dydλ)2=0.\frac{d^{2}x}{d\lambda^{2}}-x\left(\frac{dy}{d\lambda}\right)^{2}=0.

  3. Great-circle geodesic. On a unit sphere a geodesic starts at (θ=π/2,ϕ=0)(\theta=\pi/2,\phi=0) with initial tangent (θ˙,ϕ˙)=(0,1)(\dot\theta,\dot\phi)=(0,1). Show it stays on the equator.

    Solution. The θ\theta geodesic equation is θ¨sinθcosθϕ˙2=0\ddot\theta-\sin\theta\cos\theta\,\dot\phi^{2}=0. At the equator θ=π/2\theta=\pi/2, cosθ=0\cos\theta=0, so θ¨=0\ddot\theta=0. Since θ˙=0\dot\theta=0 initially, θ\theta remains π/2\pi/2 for all λ\lambda; the curve is a great circle.

Section summary. Curvature is encoded in how covariant derivatives fail to commute.

Gravitation

Core ideas

Einstein gravity identifies gravity with spacetime curvature sourced by stress-energy. Freely falling bodies follow geodesics; the Newtonian potential appears as a weak-field, slow-motion limit. Conservation of stress-energy follows from geometry through the Bianchi identity.

For review, be able to state Einstein’s equation, recover Newtonian gravity in weak fields, identify stress-energy components, and use geodesics for motion. Keep the physical question visible: identify the degrees of freedom, the conserved quantities, the approximation being made, and the observable that would be measured.

Mathematical spine

Gμν+Λgμν=8πGc4Tμν,d2xμdτ2+Γαβμdxαdτdxβdτ=0G_{\mu\nu}+\Lambda g_{\mu\nu}=\frac{8\pi G}{c^4}T_{\mu\nu},\qquad \frac{d^2x^\mu}{d\tau^2}+\Gamma^\mu_{\alpha\beta}\frac{dx^\alpha}{d\tau}\frac{dx^\beta}{d\tau}=0

Worked example

The GPS time-dilation correction is a direct application of the weak-field metric g00(1+2Φ/c2)g_{00}\approx-(1+2\Phi/c^{2}), where Φ=GM/r\Phi=-GM/r is the Newtonian potential. For Earth, M=5.97×1024 kgM_{\oplus}=5.97\times10^{24}\ \text{kg} and rs=2GM/c28.87 mmr_{s}=2GM_{\oplus}/c^{2}\approx8.87\ \text{mm}. A GPS satellite orbits at rorb=2.656×107 mr_{\text{orb}}=2.656\times10^{7}\ \text{m}, while a ground station is at rg=6.371×106 mr_{\text{g}}=6.371\times10^{6}\ \text{m}. The elapsed proper time relative to coordinate time is dτdt(1rs/2r)d\tau\approx dt\,(1-r_{s}/2r). Over one day (Δt=86400 s\Delta t=86400\ \text{s}) the difference is

ΔτorbΔτgΔtrs2 ⁣(1rg1rorb)86400×4.43×103×(1.57×1073.77×108)45 μs.\Delta\tau_{\text{orb}}-\Delta\tau_{\text{g}}\approx\Delta t\,\frac{r_{s}}{2}\!\left(\frac{1}{r_{\text{g}}}-\frac{1}{r_{\text{orb}}}\right)\approx86400\times4.43\times10^{-3}\times(1.57\times10^{-7}-3.77\times10^{-8})\approx45\ \mu\text{s}.

Thus GR predicts that the orbital clock gains about 45 μs45\ \mu\text{s} per day relative to the ground clock. (The full GPS correction includes an opposing special-relativistic term of \sim$$7\ \mu\text{s}, leaving a net \sim$$38\ \mu\text{s} to be corrected.)

Problems with Solutions

  1. Schwarzschild radius of the Sun. Compute rs=2GM/c2r_{s}=2GM_{\odot}/c^{2} using M=1.99×1030 kgM_{\odot}=1.99\times10^{30}\ \text{kg}.

    Solution. With G=6.674×1011 m3kg1s2G=6.674\times10^{-11}\ \text{m}^{3}\text{kg}^{-1}\text{s}^{-2} and c=3.00×108 m/sc=3.00\times10^{8}\ \text{m/s}, rs=2(6.674×1011)(1.99×1030)(3.00×108)22.656×10209.00×10162.95 km.r_{s}=\frac{2(6.674\times10^{-11})(1.99\times10^{30})}{(3.00\times10^{8})^{2}}\approx\frac{2.656\times10^{20}}{9.00\times10^{16}}\approx2.95\ \text{km}.

  2. Newtonian limit. In the weak-field, slow-motion limit, show that the geodesic equation reduces to x¨i=iΦ\ddot{x}^{i}=-\partial^{i}\Phi.

    Solution. For vcv\ll c the spatial geodesic equation reduces to d2xi/dt2c2Γi00d^{2}x^{i}/dt^{2}\approx-c^{2}\Gamma^{i}{}_{00}. With g00(1+2Φ/c2)g_{00}\approx-(1+2\Phi/c^{2}), Γi00=12gijjg0012δij(2jΦ/c2)=iΦ/c2.\Gamma^{i}{}_{00}=-\tfrac12 g^{ij}\partial_{j}g_{00}\approx-\tfrac12\delta^{ij}(-2\partial_{j}\Phi/c^{2})=\partial_{i}\Phi/c^{2}. Hence x¨ic2(iΦ/c2)=iΦ\ddot{x}^{i}\approx-c^{2}(\partial_{i}\Phi/c^{2})=-\partial_{i}\Phi, which is Newton’s second law in a gravitational potential.

  3. Neutron-star density. Estimate the mean density of a star with M=1.4MM=1.4\,M_{\odot} and R=10 kmR=10\ \text{km} for which GM/(Rc2)0.1GM/(Rc^{2})\sim0.1.

    Solution. M=0.1Rc2/G0.1(104)(9×1016)/(6.67×1011)1.35×1030 kgM=0.1Rc^{2}/G\approx0.1(10^{4})(9\times10^{16})/(6.67\times10^{-11})\approx1.35\times10^{30}\ \text{kg}. The mean density is ρ=M43πR31.35×10304.19×10123.2×1017 kg/m3,\rho=\frac{M}{\tfrac43\pi R^{3}}\approx\frac{1.35\times10^{30}}{4.19\times10^{12}}\approx3.2\times10^{17}\ \text{kg/m}^{3}, comparable to nuclear saturation density.

Section summary. Matter tells spacetime how to curve; curved spacetime tells matter how to move.

The Schwarzschild Solution

Core ideas

The Schwarzschild metric describes the exterior field of a static spherical mass. It predicts gravitational redshift, light bending, perihelion precession, black hole horizons, and the structure of radial and circular geodesics.

For review, be able to use the Schwarzschild radius, identify horizon vs singularity, compute qualitative orbits, and explain classic weak-field tests. Keep the physical question visible: identify the degrees of freedom, the conserved quantities, the approximation being made, and the observable that would be measured.

Mathematical spine

ds2=(12GMrc2)c2dt2+(12GMrc2)1dr2+r2dΩ2ds^2=-\left(1-\frac{2GM}{rc^2}\right)c^2dt^2+\left(1-\frac{2GM}{rc^2}\right)^{-1}dr^2+r^2d\Omega^2

Worked example

The white dwarf Sirius B provides a classic test of gravitational redshift. Its mass is M1.02M2.03×1030 kgM\approx1.02\,M_{\odot}\approx2.03\times10^{30}\ \text{kg} and its radius is R5.57×106 mR\approx5.57\times10^{6}\ \text{m}. The Schwarzschild radius is rs=2GM/c23.01 kmr_{s}=2GM/c^{2}\approx3.01\ \text{km}. For light emitted from the surface and observed at infinity,

λλem=(1rsR)1/21+rs2R.\frac{\lambda_{\infty}}{\lambda_{\text{em}}}=\left(1-\frac{r_{s}}{R}\right)^{-1/2}\approx1+\frac{r_{s}}{2R}.

The redshift is therefore

zrs2R3.01×1032(5.57×106)2.7×104.z\approx\frac{r_{s}}{2R}\approx\frac{3.01\times10^{3}}{2(5.57\times10^{6})}\approx2.7\times10^{-4}.

Light emitted at λem=500 nm\lambda_{\text{em}}=500\ \text{nm} would be observed at λ500.14 nm\lambda_{\infty}\approx500.14\ \text{nm}, a shift readily detectable by high-resolution spectrographs.

Problems with Solutions

  1. Schwarzschild radius. Find rsr_{s} for a black hole of mass M=5MM=5\,M_{\odot}.

    Solution. rs=2GM/c2=2(6.674×1011)(5×1.99×1030)/(3×108)26.66×1020/9×101614.8 kmr_{s}=2GM/c^{2}=2(6.674\times10^{-11})(5\times1.99\times10^{30})/(3\times10^{8})^{2}\approx6.66\times10^{20}/9\times10^{16}\approx14.8\ \text{km}.

  2. Photon redshift. A photon is emitted radially from r=3rsr=3r_{s} and observed at infinity. Compute the redshift zz.

    Solution. For a radial photon, E=p0E=-p_{0} is conserved. The observed frequency ratio is ω/ωem=1rs/rem\omega_{\infty}/\omega_{\text{em}}=\sqrt{1-r_{s}/r_{\text{em}}}. At rem=3rsr_{\text{em}}=3r_{s}, z=ωemω1=(113)1/21=3210.225.z=\frac{\omega_{\text{em}}}{\omega_{\infty}}-1=\left(1-\frac13\right)^{-1/2}-1=\sqrt{\frac32}-1\approx0.225.

  3. Perihelion precession. Estimate Mercury’s perihelion advance per orbit using Δϕ6πGM/[c2a(1e2)]\Delta\phi\approx6\pi GM_{\odot}/[c^{2}a(1-e^{2})] with a=5.79×1010 ma=5.79\times10^{10}\ \text{m}, e=0.206e=0.206. Solution. Δϕ6π(6.674×1011)(1.99×1030)(3×108)2(5.79×1010)(10.2062)5.0×107 rad.\Delta\phi\approx\frac{6\pi(6.674\times10^{-11})(1.99\times10^{30})}{(3\times10^{8})^{2}(5.79\times10^{10})(1-0.206^{2})}\approx5.0\times10^{-7}\ \text{rad}. With 415 orbits per century, the accumulated shift is 415×5.0×1072.1×104 rad43\approx415\times5.0\times10^{-7}\approx2.1\times10^{-4}\ \text{rad}\approx43'', matching the historical anomaly.

Section summary. Schwarzschild spacetime is the basic laboratory for relativistic gravity.

More General Black Holes / Perturbations and Gravitational Waves

Core ideas

Rotating and charged black holes add angular momentum and charge; astrophysical black holes are described mainly by Kerr geometry. Small metric perturbations propagate as gravitational waves with two tensor polarizations. Detectors measure strain from compact binary motion.

For review, be able to recognize Kerr parameters, describe horizons and ergospheres qualitatively, derive the linear wave equation, and connect quadrupole radiation to binary inspiral. Keep the physical question visible: identify the degrees of freedom, the conserved quantities, the approximation being made, and the observable that would be measured.

Mathematical spine

gμν=ημν+hμν,hˉμν=16πGc4Tμν,hΔL/Lg_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu},\qquad \Box \bar h_{\mu\nu}=-\frac{16\pi G}{c^4}T_{\mu\nu},\qquad h\sim \Delta L/L

Worked example

LIGO detects gravitational waves by measuring the tiny differential change in arm length of a Michelson interferometer. Consider a passing wave with plus-polarization amplitude h+=1021h_{+}=10^{-21} and frequency f=100 Hzf=100\ \text{Hz}. In the transverse-traceless (TT) gauge the spatial metric perturbation is hxxTT=hyyTT=h+cos[2πf(tz/c)]h_{xx}^{TT}=-h_{yy}^{TT}=h_{+}\cos[2\pi f(t-z/c)]. For an interferometer with arm length L=4 kmL=4\ \text{km} oriented along the xx and yy axes, the proper length oscillations are

ΔLxL12h+,ΔLyL12h+.\frac{\Delta L_{x}}{L}\approx\frac12 h_{+},\qquad\frac{\Delta L_{y}}{L}\approx-\frac12 h_{+}.

Hence

ΔLx12(1021)(4000 m)=2×1018 m.\Delta L_{x}\approx\frac12(10^{-21})(4000\ \text{m})=2\times10^{-18}\ \text{m}.

This displacement is roughly 1/4001/400 the radius of a proton (rp8.4×1016 mr_{p}\approx8.4\times10^{-16}\ \text{m}), illustrating the extraordinary sensitivity required for ground-based detection.

Problems with Solutions

  1. Arm-length change. If a gravitational wave has strain h=2×1020h=2\times10^{-20} and an interferometer arm is L=3 kmL=3\ \text{km}, what is the length oscillation? Compare with a proton radius.

    Solution. ΔL=12hL12(2×1020)(3000)=3×1017 m\Delta L=\tfrac12 hL\approx\tfrac12(2\times10^{-20})(3000)=3\times10^{-17}\ \text{m}. The ratio to the proton radius is 3×1017/8.4×10160.0363\times10^{-17}/8.4\times10^{-16}\approx0.036, i.e., about 1/281/28 of a proton radius.

  2. Chirp mass. For a binary with m1=m2=1.4Mm_{1}=m_{2}=1.4\,M_{\odot}, compute the chirp mass Mc=(m1m2)3/5(m1+m2)1/5\mathcal{M}_{c}=\frac{(m_{1}m_{2})^{3/5}}{(m_{1}+m_{2})^{1/5}}. Solution. Mc=(1.42)3/5(2.8)1/5M=(1.96)0.6(2.8)0.2M1.501.23M1.22M.\mathcal{M}_{c}=\frac{(1.4^{2})^{3/5}}{(2.8)^{1/5}}\,M_{\odot}=\frac{(1.96)^{0.6}}{(2.8)^{0.2}}\,M_{\odot}\approx\frac{1.50}{1.23}\,M_{\odot}\approx1.22\,M_{\odot}.

  3. Merger frequency. Estimate the gravitational-wave frequency at ISCO for a neutron-star binary with total mass M=2.8MM=2.8\,M_{\odot} using the test-particle Kepler formula fISCOc3/(63/2πGM)f_{\text{ISCO}}\approx c^{3}/(6^{3/2}\pi GM). Solution. fISCO(3×108)363/2π(6.674×1011)(2.8×1.99×1030)2.7×10252.19×10211.2×103 Hz,f_{\text{ISCO}}\approx\frac{(3\times10^{8})^{3}}{6^{3/2}\,\pi\,(6.674\times10^{-11})(2.8\times1.99\times10^{30})}\approx\frac{2.7\times10^{25}}{2.19\times10^{21}}\approx1.2\times10^{3}\ \text{Hz}, i.e., about 1 kHz1\ \text{kHz}, consistent with numerical relativity.

Section summary. Black holes and gravitational waves are dynamical strong-field predictions of GR.

Cosmology

Core ideas

Relativistic cosmology assumes large-scale homogeneity and isotropy, leading to the FLRW metric and Friedmann equations. Matter, radiation, curvature, and dark energy determine expansion. Observations of redshift, CMB, supernovae, and structure constrain the model.

For review, be able to write the FLRW metric, use scale factor and redshift, interpret density parameters, and connect Friedmann equations to cosmic history. Keep the physical question visible: identify the degrees of freedom, the conserved quantities, the approximation being made, and the observable that would be measured.

Mathematical spine

ds2=c2dt2+a2(t)[dr21kr2+r2dΩ2],H2=8πG3ρkc2a2+Λc23ds^2=-c^2dt^2+a^2(t)\left[\frac{dr^2}{1-kr^2}+r^2d\Omega^2\right],\qquad H^2=\frac{8\pi G}{3}\rho-\frac{kc^2}{a^2}+\frac{\Lambda c^2}{3}

Worked example

For a flat, matter-dominated universe (k=0k=0, Λ=0\Lambda=0), the Friedmann equation reduces to H2=(8πG/3)ρH^{2}=(8\pi G/3)\rho with ρa3\rho\propto a^{-3}. Writing H=a˙/aH=\dot a/a, we obtain a˙=H0a03/2a1/2\dot a=H_{0}a_{0}^{3/2}a^{-1/2}. Integrating from the Big Bang (a=0a=0) to today (a=a0a=a_{0}) gives the age

t0=23H0.t_{0}=\frac{2}{3H_{0}}.

Using H0=70 kms1Mpc1H_{0}=70\ \text{km}\,\text{s}^{-1}\,\text{Mpc}^{-1} and 1 Mpc=3.086×1019 km1\ \text{Mpc}=3.086\times10^{19}\ \text{km},

1H0=3.086×101970 s4.41×1017 s14.0 Gyr.\frac{1}{H_{0}}=\frac{3.086\times10^{19}}{70}\ \text{s}\approx4.41\times10^{17}\ \text{s}\approx14.0\ \text{Gyr}.

Thus t023(14.0)9.3 Gyrt_{0}\approx\tfrac23(14.0)\approx9.3\ \text{Gyr}. (The inclusion of dark energy raises this to the observed \sim$$13.8\ \text{Gyr}.) A galaxy at redshift z=2z=2 was emitted when a=1/(1+z)=1/3a=1/(1+z)=1/3 and tem=t0(1/3)3/2t0/5.21.8 Gyrt_{\text{em}}=t_{0}(1/3)^{3/2}\approx t_{0}/5.2\approx1.8\ \text{Gyr}, giving a lookback time of \sim$$7.5\ \text{Gyr}.

Problems with Solutions

  1. Critical density. Compute the critical density ρc=3H02/(8πG)\rho_{c}=3H_{0}^{2}/(8\pi G) for H0=70 kms1Mpc1H_{0}=70\ \text{km}\,\text{s}^{-1}\,\text{Mpc}^{-1}.

    Solution. Convert H0=70×103/(3.086×1022) s12.27×1018 s1H_{0}=70\times10^{3}/(3.086\times10^{22})\ \text{s}^{-1}\approx2.27\times10^{-18}\ \text{s}^{-1}. Then ρc=3(2.27×1018)28π(6.674×1011)1.55×10351.68×1099.2×1027 kg/m3,\rho_{c}=\frac{3(2.27\times10^{-18})^{2}}{8\pi(6.674\times10^{-11})}\approx\frac{1.55\times10^{-35}}{1.68\times10^{-9}}\approx9.2\times10^{-27}\ \text{kg/m}^{3}, equivalent to about 55 or 66 hydrogen atoms per cubic metre.

  2. Scale factor and age fraction. In a flat matter-dominated universe, a quasar is observed at z=3z=3. What was the scale factor at emission, and what fraction of the present age had elapsed?

    Solution. aem=1/(1+z)=1/4a_{\text{em}}=1/(1+z)=1/4. Since ta3/2t\propto a^{3/2}, temt0=(14)3/2=18.\frac{t_{\text{em}}}{t_{0}}=\left(\frac14\right)^{3/2}=\frac18. The universe was 12.5%12.5\% of its current age when the light was emitted.

  3. Hubble distance. Evaluate the Hubble distance dH=c/H0d_{H}=c/H_{0} in Mpc for H0=70 kms1Mpc1H_{0}=70\ \text{km}\,\text{s}^{-1}\,\text{Mpc}^{-1}. Solution. dH=cH0=3.00×105 km/s70 kms1Mpc14.29×103 Mpc4.3 Gpc.d_{H}=\frac{c}{H_{0}}=\frac{3.00\times10^{5}\ \text{km/s}}{70\ \text{km}\,\text{s}^{-1}\,\text{Mpc}^{-1}}\approx4.29\times10^{3}\ \text{Mpc}\approx4.3\ \text{Gpc}. This sets the rough scale of the observable universe today.

Section summary. Cosmology applies GR to the expanding universe.