Observable Universe. It is important to realize that in our Big Bang universe, at any given time,
the size of the observable universe is finite. The limit of this observable part of the universe is called
the horizon (or particle horizon to be precise, since there are other definitions of horizon.) In this
problem, we’ll compute the horizon size in a matter dominated universe in co-moving coordinates.
To compute the size of the horizon, let us compute how far the light can travel since the Big Bang.
(a) First of all - Why do we use the light to figure out the horizon size?
Light is both the fastest known phenomena in the universe and our way of observing the universe. All we can see is determined by how quickly light can reach our eyes, so we are limited to a particle horizon determined by the speed of light.
(b) Light satisfies the statement that ds2=0. Using the FRW metric, write down the differential
equation that describes the path light takes. We call this path the geodesic for a photon.
Choosing convenient coordinates in which the light travels in the radial direction so that we
can set dθ = dφ = 0, find the differential equation in terms of the coordinates t and r only.
ds2=−c2dt2+a2(t)[dr21−kr2+r2(dθ+sin2(θ)dθ] With the conditions for light and comoving radii this becomes 0=−c2dt2+a2(t)[dr21−kr2+0] c2dt2a2(t)=dr21−kr2
c) Suppose we consider a flat universe. Let’s consider a matter dominated universe so that a(t) as a function of time is known (in the last worksheet). Find the radius of the horizon today
(at t = t0).
(Hint: move all terms with variable r to the LHS and t to the RHS. Integrate both sides,
namely r from 0 to rhorizon and t from 0 to t0.) c2dt2a2(t)=dr21−kr2 In a flat universe, this simplifies to ca(t)dt=dr The integral is ∫t00ca(t)dt=∫rH0dr We know from a previous blog post that a(t)∝t23 so the integral becomes ∫t00βc(tt0)23dt=∫rH0dr where beta is a constant. So we have rH=3βct0
Correction: we can solve this problem more accurately by replacing the relation a(t)∝t23 with the more accurate a(t)∝(tt0)23 in this way we can redefine beta in terms of a0 and t0 where a0 is 1 so our final answer cleans up to just be rH=3ct0
Good job Danielle. For (b), you're missing a ^2 in the denominator. For c, you can solve for \beta exactly using the a_0 and t_0. 3.5/5
ReplyDeleteHey Ashley! I cleaned up those errors. Thanks for pointing them out.
Delete