Use and signature . The positively curved FLRW metric in the usual radial chart is
Set and introduce conformal time by . Then in the chart, and the spherical polar coordinate extends the spatial description to the full three-sphere. Thus
The coordinate itself is not one-to-one across the equator, which is why the new polar coordinate is useful.
For and , the Friedmann equation is . Since , it becomes
For pressureless matter, the background continuity equation gives . Define the conserved normalization . It makes the equation . The closed matter-dominated Friedmann solution is the cycloid
Indeed and . Integrating gives the second expression, with the Big Bang at . It expands to at and recollapses at . Here is the constant appearing in the Friedmann equation; it is not the total mass of the entire closed spatial slice, whose volume is .
The cosmological principle asserts that, after averaging over sufficiently large scales, the universe is spatially homogeneous and isotropic on constant-cosmic time slices. Homogeneity means no distinguished location; isotropy means no distinguished spatial direction. These are statistical large-scale statements, not assertions that individual galaxies, clusters or the cosmic web are uniform, and they do not require the universe to be unchanging in time.
The nearly isotropic cosmic microwave background is strong evidence for large-scale isotropy about us. Its dominant dipole is explained by our peculiar velocity; the much smaller residual fluctuations provide the seeds and record of structure formation, rather than invalidating the principle. Large-area galaxy and radio-source distributions and deep galaxy surveys support statistical isotropy and a tendency towards statistical homogeneity after smoothing beyond the strongly clustered scales. An approximately isotropic Hubble flow and broadly uniform background radiation supply complementary checks.
There is an important logical distinction: isotropy seen by one observer alone does not prove homogeneity. A spherically symmetric inhomogeneous universe centered on that observer could look isotropic. Combining the observations with the assumption that our location is not privileged, so comparable observers would see comparable large-scale isotropy, motivates the homogeneous FLRW metric. Selection effects, foregrounds, finite survey volumes and the fact that observations lie on our past light cone must be accounted for. The evidence supports a large-scale statistical principle, not exact uniformity on every scale.
The sign of cluster evolution depends on the orbital energy of the captured stars, not just on their small angular momentum. Let the instantaneous capture rate be , so the remaining stellar mass has , while . A captured star has negative specific orbital energy measured outside the absorbing region. Removing it increases the energy of the surviving stars by ; growth of the central black hole instead deepens their potential.
To turn this balance into a radius estimate, assume the surviving cluster evolves slowly through homologous virial equilibria of scale . Write its stellar self-energy and black-hole interaction energy as
where positive depend on the density shape. The virial theorem gives
At the instant of capture, the stellar-system energy budget, excluding feedback and energy carried by other escaping stars, is
The second term is the work of the changing central potential; it must not be confused with the change in the number of stars. Differentiating the virial expression and using gives
This estimates the radius response of a general homologous cluster once its structure and capture energies are specified.
For a simpler locally Keplerian subsystem, neglect its stellar self-gravity, so . Put , with measuring how tightly bound a captured star is relative to the average orbital energy. The preceding balance reduces to
This is Keplerian cluster radius evolution under stellar capture. Removing representative-energy stars, , leaves unchanged the characteristic orbits if is fixed; with black-hole growth it contracts them at rate . Preferential removal of more tightly bound stars drives expansion if . In that heating-dominated case,
so inserting the empty-cone flux gives for the one-zone estimate. Growth-dominated contraction instead has timescale .
For a Kepler orbit of semimajor axis , and . Reaching does not imply that the orbit had binding energy of order : a nearly parabolic star can reach that pericentre with almost zero orbital energy. Therefore expansion is expected when strongly bound central stars are preferentially swallowed, but the supplied information does not uniquely fix the sign or rate for the entire remaining cluster. Captured-energy selection, the density profile and any energy feedback must be specified. The balances above give both the conventional expansion estimate and the contraction case without assuming missing data.
A small loss cone does not by itself specify its supply rate. Introduce a characteristic orbital radius , an orbital period , the number of stars on the relevant energy range, and their local number density . Weak encounters of impact parameter give velocity kicks of order . Summing their squared kicks over encounter rate gives
Here is the Coulomb logarithm in stellar dynamics. This derives the stellar relaxation time relevant to angular-momentum scattering, up to the velocity-averaging constants.
Let and define the dimensionless cone size . In one period, two-body relaxation changes by order , so the refilling parameter is
If refilling is sufficiently rapid to keep the cone populated, an isotropic fraction of order reaches its absorbing pericentre each orbit. The full-cone rate is
If , the cone is depleted and capture is diffusion-limited. At fixed orbital energy, the two transverse angular-momentum coordinates have an approximately two-dimensional diffusion equation. Its steady radial solution between the absorbing boundary and the reservoir satisfies
The gradient supplies a constant inward flux. With diffusion coefficient of order and reservoir population , this gives
Constants of two depend on using or and on the definition of . A rough interpolation uses the slower of the orbital draining and diffusion-supply rates; an accurate transition requires an orbit-averaged diffusion calculation. These are the empty and full loss-cone capture rates. In particular, multiplying by the cone's tiny solid-angle fraction would incorrectly treat diffusive feeding as independent isotropic redraws.
For a one-zone black-hole-dominated cluster with , and ,
The mass ingestion rate is . A radially extended cluster requires summing the energy-dependent fluxes, not replacing every radius by the same . No numerical capture rate follows from alone: its radius/density, orbital distribution and refilling regime are required. The displayed relations are the requested estimates with those physical scales explicit.
Work at in the region where the central black hole dominates the gravitational potential. Let be a star's specific angular momentum. Near its very small pericentre, the centrifugal term balances the deep gravitational potential. For an approximately parabolic passage with capture pericentre ,
At radius , a velocity making angle with the inward radial direction has . Therefore the loss cone half-angle is
Taking the characteristic speed to be the circular speed gives
with Newtonian circular-speed normalization . The inward cap occupies solid angle , or a fraction of an isotropic velocity sphere. Counting low-angular-momentum trajectories in both radial directions changes only an order-one factor; each such orbit is removed at its next pericentre.
The capture occurs in the strong-field region, so this Newtonian pericentre estimate is not an exact relativistic capture coefficient. The Schwarzschild capture calculation alters an order-one constant, while retaining the small-angle scaling for these characteristic Keplerian speeds.
Use the usual spherical circular-shell adiabatic contraction approximation: initial dark-matter orbits are circular, slow accumulation keeps them circular, and dark shells do not cross. Angular momentum is conserved in a spherical potential, and the vanishing radial action stays zero as an adiabatic invariant. For a circular shell,
Here is the initial shell radius and its final radius. The final flat circular speed gives .
For an initial shell in the inner NFW profile, write , so . The invariant gives
Conservation of dark shell mass yields
and differentiation gives
To express the requested ratios, set and , so . Since the original cusp has ,
The total density of the final spherical flat-rotation model is . Its dark fraction is
Subtracting dark matter from the total gives the added-matter density, , and thus
These expressions describe the leading inner approximation, not an extension to radii where the denominator becomes negative or the initial shell is outside the NFW cusp. As , dark matter is enhanced relative to its original density while its fraction of the even steeper total density tends to zero. This is inner NFW contraction to a flat rotation curve.
The orbital assumptions matter. An initial density profile does not specify the phase-space distribution function. For eccentric orbits, slow evolution conserves their actions, but at an instantaneous radius is not generally their invariant. The above ratios are the intended circular-shell estimate; their numerical coefficients cannot be uniquely inferred from the density profile and slow accumulation alone.
Observed galaxy rotation curves commonly remain approximately flat across much of the measured outer luminous disk. A pure NFW profile is not an exactly flat curve: it rises in the inner cusp and ultimately declines. Nevertheless, its broad maximum can look nearly flat over a finite radial range, so observing a flat segment does not by itself exclude an NFW halo.
The measured circular speed responds to the total gravitational potential, including stars and gas as well as dark matter. For components in the same plane,
For spherical components this reduces to ; a disk contribution must instead be computed from its actual disk potential. Baryonic mass can supply much of the inner rotation and modify the halo through slow contraction or more impulsive evolution. Thus the appropriate comparison is with the combined mass model, not an isolated halo-only curve. At arbitrarily large radius a finite isolated galaxy must eventually have a declining circular speed; an observed flat segment is not a claim of flat rotation to infinity.
Put . The NFW profile becomes . Integrating spherical shells gives
Define . The spherical circular speed is therefore
At small , the bracket is , giving
At large , the bracket is , giving
Thus the curve rises from zero, reaches one broad maximum, and eventually falls as . The untruncated NFW profile has logarithmically divergent mass, but its circular speed still tends to zero.
Differentiating shows that its stationary point satisfies
The numerator of has derivative : it increases up to one and decreases thereafter, crossing zero once at positive . Numerical bisection gives and . Hence
Equivalently . This is the NFW mass and circular-speed profile.
Figure 1.
NFW circular speed, its maximum and inner and outer asymptotic scalings
. Details.
At rest with all separations initially infinite, both initial kinetic and gravitational energies vanish, so the conserved total energy is zero. During an isolated collapse, , rather than the equilibrium relation . Hence at the stated instantaneous gravitational potential energy,
The rms collapse speed is times the rms equilibrium speed for the same instantaneous and mass. For a perfectly radial cold infall this mean-square motion includes coherent inward streaming; it need not equal a local random velocity dispersion after subtracting that streaming. The quoted comparison follows the question's global mean-square convention.
Take the gravitational potential to vanish at infinity. At the position of star , excluding its own point-mass field, the instantaneous test-particle escape velocity obeys . The factor of one half in the total gravitational potential energy is important:
Therefore the equal-mass average is
Thus the rms escape speed is twice the equilibrium rms speed. This is the virial mean escape speed relation, using the same three-dimensional averaging convention as the preceding part. It concerns escape in the instantaneous system potential, rather than a subsequent collective rearrangement of the cluster.
Work in the centre-of-mass frame and define , . Differentiation gives
For each gravitational pair, the two contributions combine to
Summing pairs therefore gives the exact scalar virial theorem
In a stationary equilibrium, or a bounded long-time average with vanishing average , . With , the stated gravitational radius gives , hence
The rms speed itself is . This is a three-dimensional mean-square speed; for an isotropic system the one-component velocity dispersion is smaller by a factor of three in its square. No assumption about a uniform spatial density was used.
Build the spherical system by adding shells from the centre outwards. The shell theorem says that a shell of mass at radius interacts with the already assembled interior mass through potential . Thus its contribution is . Each pair is counted when its outer member is added, so no further factor of one half is needed:
Integration by parts gives
For an isolated finite-mass system without a singular central point mass, the endpoint term vanishes provided the central cusp has finite binding energy. Consequently
This is the spherical binding-energy mass integral. If a central singularity makes the endpoint or integral divergent, the finite-energy assumption must be checked rather than silently discarding that term.
For continuous-birth binary state fractions, conditional mass independence and the common age give
The factor two in the middle expression allows either component to be the red giant. Thus
Geometrically, the corresponding sections of the unit cube have areas proportional to , so their volumes equal one third of their base areas. This is exactly the pyramid-volume calculation: the equal height and common factor leave the base-area ratio unchanged.
A system containing a red giant and another evolved component is either a giant–giant pair or an unordered giant–white dwarf pair. At common age , these disjoint possibilities have conditional probabilities and . The conditional evolved-companion fraction in a coeval binary population therefore has numerator
Divide by the fraction of systems containing at least one giant:
Thus just over of giant-containing binaries have an evolved companion. The numerator is a fraction of all binaries; it is not itself the requested conditional fraction.
Condition on the common age of the coeval binary population. Each component is a red giant with conditional probability , independently of the other component at that age. The conditional probability of at least one giant is . Integrating over the uniform age distribution gives
Thus the fraction is , just below . The subtracted term removes the systems counted twice because both components are red giants. Using the square of the marginal giant fraction would incorrectly ignore their shared age.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact