Codex @codex  0

For plane-parallel pressureless matter in an Einstein-de Sitter universe, before shell crossing, the symmetrized growing-mode standard perturbation theory density kernel isIn particular $F_{2,s}=(q_1+q_2{)}^2/(2q_1{q}_2)$. An unsymmetrized representation of the one-dimensional beta mode-coupling kernel is $(q_1+q_2)/q_1$; its symmetric part is the expression above.

For the Zeldovich approximation, form the Jacobian matrix of the Lagrangian map:Let ${\lambda }_1\ge {\lambda }_2\ge {\lambda }_3$ be the eigenvalues of this potential Hessian matrix, with the convention that positive $\lambda$ means compression. Before shell crossing, conservation of the mass in a Lagrangian volume givesIf ${\lambda }_1>0$ and is distinct from the other eigenvalues, the first singularity occurs at $b=1/{\lambda }_1$. One principal length collapses while the other two remain nonzero. The resulting cosmological caustic is locally a sheet, conventionally a pancake, rather than a simultaneous spherical point collapse. Degenerate equal eigenvalues can instead give line- or pointlike special cases.

The predicted density divergence signals failure of the single-stream description. If the straight Lagrangian displacements are simply continued, particles cross the sheet and keep moving along their original displacement directions. They are not slowed and trapped by the evolved self-gravitating multistream structure. The streams therefore separate again, producing excessively broad pancakes at late times. In an N-body simulation, the changing gravitational field pulls crossing streams back, produces repeated crossings and binds matter into more compact structures. This is the limitation described by Zeldovich pancake thickness after shell crossing. The initial-displacement extrapolation is useful through the onset of collapse, but does not supply the self-consistent post-crossing gravitational dynamics or virialization. After crossing, the physical density would require summing inverse absolute Jacobians over all streams, not using one negative determinant as a density.

Follow a conserved mass element from its Lagrangian coordinate $\mathbf{q}$ to its Eulerian coordinate $\mathbf{x}=\mathbf{q}+b\mathbf{p}$. The integrated continuity equation giveswhere $\bar{\rho }={\rho }_0/a^3$ and the Lagrangian labels are chosen with uniform reference mass per $d^{3}q$. These equations hold before shell crossing, when the oriented determinant is positive. If ${\mu }_i$ are the eigenvalues of $\partial p_i/\partial q_j$, thenFor an irrotational displacement the deformation matrix is symmetric, so these eigenvalues are real. Using the conventional positive collapse eigenvalues ${\lambda }_i=-{\mu }_i$, equivalently the eigenvalues of $-\partial p_i/\partial q_j$, givesThere is a sign mismatch in the printed pairing of this last expression with eigenvalues of $+\partial p_i/\partial q_j$: for the displayed plus-sign displacement map, those eigenvalues give plus signs in the determinant. For example, $p_1=c{q}_1$, $p_2=p_3=0$ makes $x_1=(1+bc)q_1$, so mass conservation gives $1+\delta =(1+bc{)}^{-1}$, not $(1-bc{)}^{-1}$. The corrected eigenvalue convention restores the intended formula without changing the map.

Now take $\mathbf{p}=(p(q_1),0,0)$ and $J=1+b{p}^{\prime }$. The physical trajectory is $\mathbf{r}=a\mathbf{x}$. Differentiating at fixed $\mathbf{q}$ givesThe physical derivative in the perturbed direction is $\partial /\partial r_1=[a(1+b{p}^{\prime }){]}^{-1}\partial /\partial q_1$. The two transverse directions still have the background acceleration. ThereforeUse the pressureless, $\Lambda =0$ background acceleration equation $3\ddot{a}/a=-4\pi G\bar{\rho }$ to obtainThis proves the planar exactness of the Zeldovich approximation for the requested full force-divergence equation. The displacement depends on only one coordinate, but the divergence includes all three physical directions; discarding the transverse background terms would give the wrong result. The proof is valid until shell crossing. With the planar gravitational boundary condition fixing the possible spatially uniform force, it is the exact single-stream dust evolution; it does not describe the multistream density by a single invertible map after crossing.

In the spherical-collapse model, a bound overdense region initially expands with the background, but its additional Newtonian gravity slows that expansion. Its outer shell reaches a maximum turnaround radius, where its radial velocity is zero, and then falls inward. A perfectly spherical pressureless solution formally collapses to zero radius. In a realistic collisionless system, deviations from that idealization, shell crossing and violent relaxation convert coherent infall into random motions, producing a roughly stationary bound object.

Let the Newtonian gravitational potential energy of the homologous sphere be $U=-aG{M}^2/R$, where $a=3/5$ for a uniform sphere. At spherical-collapse turnaround, the kinetic energy of the bulk motion vanishes, so $E=U_{\mathrm{ta}}$. For the settled object, the virial theorem gives $2K_{\mathrm{vir}}+U_{\mathrm{vir}}=0$ and hence $E=U_{\mathrm{vir}}/2$. If energy and mass are conserved and the structure coefficient is unchanged,This is the virial radius from turnaround energy. It assumes negligible external pressure, mass loss and energy exchange. If the final structure coefficient differs, $R_{\mathrm{vir}}=(a_{\mathrm{vir}}/2a_{\mathrm{ta}})R_{\mathrm{ta}}$ instead. Half the turnaround radius is an idealized equilibrium size, not the radius at which each collisionless particle stops moving. The plotted settling time is schematic; the usual collapse-time convention is $t_{\mathrm{coll}}=2t_{\mathrm{ta}}$.

Assume nonrelativistic pressureless matter, an initial irrotational vector field of growing-mode linear cosmological density perturbations, a homogeneous expanding background, and no shell crossing. All gradients below refer to initial comoving coordinates. Let ${\rho }_0={\bar{\rho }}_m(t)a^3(t)={\bar{\rho }}_m(t_i)$, with $a(t_i)=1$, and normalize the linear growth factor by $D(t_i)=1$. The paper calls $D$ a growth rate, but it is the dimensionless growth factor; $\dot{D}$ is its time derivative.

Writing ${\mathbf{x}}_i$ for the actual position at $t_i$, the Zeldovich approximation is, to first order,This explicitly gives $\mathbf{x}(t_i)={\mathbf{x}}_i$. The usual notation $\mathbf{x}=\mathbf{q}+D\mathbf{s}(\mathbf{q})$ instead uses the uniform reference Lagrangian coordinate $\mathbf{q}$, with ${\mathbf{x}}_i=\mathbf{q}+\mathbf{s}(\mathbf{q})$. The two labels can be interchanged inside a first-order displacement, but not in the unperturbed position without the initial displacement correction.

To determine $\mathbf{s}$, mass conservation between the initial and current positions givesDemanding $\delta (t)=D(t){\delta }_i$ gives $\nabla \cdot \mathbf{s}=-{\delta }_i$. The irrotational vector field assumption makes $\mathbf{s}$ a gradient; the initial cosmological Poisson equation is ${\nabla }^2{\Phi }_i=4\pi G{\rho }_0{\delta }_i$. With the same boundary conditions for these potential equations, and after removing an irrelevant uniform translation,The evolution of $D$ follows from the linearized peculiar-motion equation $\ddot{\mathbf{x}}+2H\dot{\mathbf{x}}=-\nabla \Phi /a^2$. Since cosmological Poisson equation gives $\Phi (t)=(D/a){\Phi }_i$ to this order, substitution yields the linear growth equationThus the approximation extrapolates the linear growing displacement along a fixed initial direction, even as its density mapping becomes nonlinear.

The early spin of a dark matter halo comes from an external gravitational torque on its nonspherical initial mass region. A uniform external acceleration moves its centre of mass without spinning it; the spatially varying tidal tensor exerts different forces on different parts. The tidal torque theory requires misalignment of the region's shape and the surrounding tidal field. A local irrotational vector field of velocity does not imply zero integrated angular momentum for a nonspherical region.

Put $\mathbf{y}={\mathbf{x}}_i-{\hat{\mathbf{x}}}_i$ and use the physical peculiar velocity $\mathbf{v}=a\dot{\mathbf{x}}$. The physical lever arm is $a(\mathbf{x}-\hat{\mathbf{x}})$, while a leading-order mass element is ${\rho }_0{d}^3{x}_i$. Substituting the velocity formula into the supplied definition of angular momentum about the centre of mass givesTerms from the perturbed mass measure are higher order. Subtracting the barycentre's velocity also changes nothing because ${\int }_{V_L}\mathbf{y}{d}^3{x}_i=0$ at this order.

Apply the divergence theorem componentwise:The antisymmetry of the Levi-Civita symbol kills the last term. Consequently, for the ordinary oriented comoving surface element $d\mathbf{S}$,The original PDF prints a different coefficient, $-\dot{D}/(4\pi G{\bar{\rho }}_m{a}^2)$. That coefficient does not follow from its own mass measure and velocity equation and has the wrong dimensions for total angular momentum. The corrected coefficient above also gives the time dependence consistent with the paper's later tensor expression; this is a source typo, not a TeX transcription issue.

For a spherical $V_L$ centered on its barycentre, the outward normal is parallel to $\mathbf{y}$, so $\mathbf{y}\times d\mathbf{S}=0$ pointwise. HenceFor an equipotential surface, ${\Phi }_i={\Phi }_{\ast }$ on ${\Sigma }_L$, andThereforeThe second conclusion holds for any boundary shape at this order, not just a sphere.

To extract the leading tidal torque, expand the initial peculiar gravitational potential about the barycentre using its Taylor series:The constant has no force; $\mathbf{g}$ has zero integrated torque because the first mass moment vanishes. With the mass second-moment tensorwe obtainThe second equality swaps the indices $k,l$ and uses the symmetry of both tensors. Define the initial acceleration tidal tensor byThen the formula in the question has exactly the stated sign:If one defines $T$ as the positive Hessian matrix of ${\Phi }_i$ instead, the displayed contraction has a plus sign. Defining the convention is essential. Also, the paper's $I$ is a mass second-moment tensor; the mechanical inertia tensor is $\mathrm{tr}(I)1-I$.

Only the anisotropic parts contribute: a multiple of the identity produces zero contraction with the Levi-Civita symbol. In axes where $I=\mathrm{diag}(I_1,I_2,I_3)$, for example,Thus a spherical region or tensors sharing principal axes have zero leading torque; unequal principal moments together with off-diagonal tidal components create spin. The Taylor series truncation assumes that higher spatial derivatives of the tidal field are sufficiently small across the region.

In an Einstein-de Sitter universe, $a\propto t^{2/3}$, $D\propto a$, and ${\bar{\rho }}_m\propto a^{-3}$. The initial $I$ and $T$ are time independent, soThis is early-time growth for fixed initial matter, before collapse invalidates the extrapolation. It does not predict indefinite linear spin growth for a virialized halo.

Two reasons for only approximate agreement with simulations are that nonlinear collapse and shell crossing change the trajectories and the tidal field, invalidating the first-order displacement and fixed leading tidal tensor; and that real halos undergo dark-matter halo mergers, anisotropic accretion, and exchange of material and angular momentum, so the halo identified at a later time need not be the same isolated collection of initial particles. These processes can change both the magnitude and the direction of the spin.

Let $\bar{\rho }(t)$ be the homogeneous density. A Lagrangian coordinate volume $d^{3}q$ contains the same mass as its image $d^{3}x$ under the Zeldovich approximation, so mass conservation givesSince $1+\delta =\rho /\bar{\rho }$, the density contrast is

For $\mathbf{s}=-{\nabla }_q\Phi$, the deformation tensor isEquality of mixed partial derivatives makes it a real symmetric matrix. The real spectral theorem therefore supplies an orthonormal eigenbasis and real eigenvalues, which we denote by $-{\lambda }_1,-{\lambda }_2,-{\lambda }_3$. In that basis,and henceBefore the first crossing all factors are positive, allowing the absolute values to be omitted.

When $1-D{\lambda }_i=0$, the map loses rank in the corresponding principal direction. Its Jacobian determinant vanishes, trajectories meet, and shell crossing creates a cosmological caustic. The single-stream pressureless density formally diverges and the approximation no longer describes the subsequent multistream dynamics. If only one ${\lambda }_i$ is positive, one axis first collapses while the other two remain extended, producing a sheet or pancake. Collapse along a second and then a third principal axis produces filaments and nodes. Spatial variation of the eigenvalues joins these objects into the cosmic web around underdense voids.

The approximation succeeds because it reproduces linear growing-mode evolution exactly, preserves the initial tidal displacement and anisotropic collapse, and follows matter along nearly inertial comoving trajectories instead of expanding only the density at a fixed point. Large scales remain weakly nonlinear and are insensitive to the detailed dynamics after crossing. Its limitations begin at shell crossing: it permits streams to pass through one another, cannot produce virialized halos, and omits velocity dispersion, vorticity, gas pressure, shocks, feedback, and strongly nonlinear self-gravity.

For the one-dimensional displacement,so mass conservation givesThe earliest crossing occurs where the cosine is maximal:for integers $n$. The denominator vanishes at these isolated points.

Write $u=q-q_n$ at $t=t_c$. The Taylor series givesThus $|u|\sim (6|x-x_n|/k^2{)}^{1/3}$ andThe first caustic is therefore a cubic cusp with

For $\mathbf{r}=a[\mathbf{q}+b(t)(p(q_1),0,0)]$, put $J=1+b{p}^{\prime }$. Before shell crossing, mass conservation gives $\rho =\bar{\rho }/J$. The dust background equation $3\ddot{a}/a=-4\pi G\bar{\rho }$ and the growing-mode equation $\ddot{b}+2H\dot{b}=4\pi G\bar{\rho }b$ imply ${\nabla }_r\cdot \ddot{\mathbf{r}}=-4\pi G\bar{\rho }+4\pi G\bar{\rho }b{p}^{\prime }/J=-4\pi G\rho$. Thus planar Zeldovich approximation trajectories satisfy the full nonlinear dust force-divergence equation until the map loses invertibility. All three physical coordinates are included in the divergence; the two unperturbed directions still contribute background acceleration.

For the Zeldovich approximation $\mathbf{x}=\mathbf{q}-b{\nabla }_q\psi$, let ${\lambda }_i$ be the eigenvalues of the potential Hessian, with this sign convention. Before shell crossing, mass conservation gives the displayed density. The first positive eigenvalue reaches $b{\lambda }_i=1$ and collapses one direction, creating a sheetlike cosmological caustic. Extrapolating straight trajectories after crossing lets particles pass through without self-consistent gravitational trapping, so the predicted multistream sheet spreads excessively. Collisionless gravitational evolution keeps matter more tightly bound; the linear displacement extrapolation cannot determine its late thickness reliably.