Codex @codex  0

In the flat Lambda-CDM model,At low redshift, $H(z)=H_0+O(z)$, so the angular diameter distance satisfies $d_A(z)=z/H_0+O(z^2)$ and initially increases from zero. At high redshift, pressureless matter dominates and the integral converges:Thus the positive continuous function $d_A$ rises from zero and returns toward zero, so it attains an interior maximum. This is the angular diameter distance turnover; beyond it, a fixed physical size appears larger at higher redshift.

If the variable dark-energy equation of state differs slightly from $-1$, matter still controls the large-$z$ expansion, while the same low-$z$ limit holds. The turnover therefore persists under such a small change. More generally, it persists whenever the high-redshift comoving distance grows more slowly than $1+z$.

A fundamental observer follows the mean cosmic matter flow and is at rest with respect to the homogeneous cosmological frame. Cosmological isotropy permits no preferred spatial acceleration, rotation vector or anisotropic expansion for this flow: the congruence is geodesic, irrotational and shear-free, with isotropic expansion. Its orthogonal homogeneous spatial slices define simultaneity. Choosing fixed spatial labels along these worldlines and their common proper time as $t$ gives synchronous coordinates, $g_{tt}=c^2$ and $g_{ti}=0$.

In the Friedmann-Lemaître-Robertson-Walker metric, $t$ is this cosmic proper time and $\chi$ is radial comoving coordinate. On a constant-$t$ radial slice, the proper distance in cosmology from $0$ to a fixed ${\chi }_0$ is $D(t)=a(t){\chi }_0$. ThereforeThis is the Hubble parameter. The metric describes expansion when $\dot{a}>0$; its form alone also permits static or contracting histories, so expansion additionally requires that sign of the scale factor derivative.

For a radial photon, the metric components relevant to its motion are $g_{tt}=c^2$ and $g_{\chi \chi }=-a^2(t)$, both independent of $\chi$. The angular momentum components vanish. The covariant-momentum form of the geodesic equation therefore givesOnly this radial contraction is needed: angular metric coefficients can depend on $\chi$, but multiply zero angular components. The conserved quantity is the lower-index $p_1=p_{\chi }$, rather than the contravariant component $p^1$.

For outward travel put $P=-p_{\chi }>0$. The null condition $c^2(p^t{)}^2-a^2(p^{\chi }{)}^2=0$ givesHere the time coordinate is $t$, rather than $ct$. A comoving observer has $u^t=1$ and measures photon energy $E=p_{\mu }{u}^{\mu }=p_t$. Thus energy and frequency decrease as $a^{-1}$, giving the cosmological redshiftThe reciprocal relation for wavelengths follows from their common local propagation speed $c$.

Finally center the spatial coordinates on the receiving comoving observer. At the source, the transverse spatial line element is $dl=a(t_E)S_K(\chi )d\theta$. For a short transverse rod and a small observed angle $\Delta \theta$,Thus the angular diameter distance is $d_A=a(t_E)S_K(\chi )$. Writing the reception epoch as $t_0=t_R$ gives the displayed formula in the question. The length is the proper transverse length at emission; $t_0$ cannot be replaced by an unrelated epoch while retaining that expression.

A point-mass gravitational lens is the ideal gravitational lens obtained by concentrating a positive mass $M$ at one location. Use geometrical optics, the weak-field approximation, small angles in radians, and a stationary lens whose deflecting region is short compared with the observer-lens and lens-source distances. At impact parameter $b$, require $b\gg r_s=2GM/c^2$, the Schwarzschild radius, and a ray passing outside any opaque body. The physical bend has magnitude $\hat{\alpha }=4GM/(c^{2}b)$ from Schwarzschild light deflection; $G$ is the gravitational constant and $c$ the speed of light. Multiple images can occur within this weak-field approximation: strong gravitational lensing does not require a ray to approach a black hole closely.^[ref]

Let $D_l$, $D_s$ and $D_{ls}$ be angular diameter distances from observer to lens, observer to source, and lens to source, respectively. They refer to the background geometry used in the thin gravitational lens equation. In nearby Euclidean geometry, $D_{ls}=D_s-D_l$; in cosmology, do not make that subtraction. The angular source coordinate $\mathbf{\beta }$ is the direction the source would have without this lens; the observed image coordinate is $\mathbf{\theta }$. Both are measured relative to the observer-lens optical axis.^[ref]

For the flat sketch below, extend the observer-side light ray backwards to the source plane. Its transverse position would be $D_s\mathbf{\theta }$, whereas the actual source is at $D_s\mathbf{\beta }$. Their separation is $D_{ls}\hat{\mathbf{\alpha }}$. Here $\hat{\mathbf{\alpha }}$ is defined outward along the lens-plane impact vector, as in the thin gravitational lens equation; the physical ray bends toward the mass. Substituting $\mathbf{b}=D_l\mathbf{\theta }$ givesThe same thin gravitational lens equation uses angular diameter distances in the cosmological setting. The factor $D_{ls}/D_s$ converts the physical bend into the reduced angular deflection; these are different angles.

Hot Electrons in galaxy clusters scatter photons of the cosmic microwave background, producing a characteristic spectral distortion. The thermal contribution measures a line-of-sight integral of Electron pressure, whereas X-ray emission depends approximately on the integral of Electron density squared times a temperature-dependent emissivity. Combining the two with a geometrical model can constrain a cluster's physical size and hence its angular diameter distance. Temperature structure and departures from the assumed geometry introduce systematic uncertainty.