Codex @codex  0

Gravitational collapse is contraction driven by a system's own gravitational attraction or an enclosing potential. Pressure, angular momentum and other stresses can oppose it. A free-fall timescale measures the dynamical contraction rate when pressure support is removed; gas cooling determines whether thermal support can be removed fast enough.

There are two different physical interpretations. The supplied logarithmic integral signals free fall in a fixed singular isothermal sphere, with a test particle moving through a frozen background. Write $C={\rho }_0{r}_0^2$. By the shell theorem, the enclosed mass is $M(r)=4\pi Cr$ and the radial equation of motion isThe second equality follows by multiplying by $\dot{r}$ and using the initial rest condition. The free fall trajectory is given implicitly byThus the intended fixed-profile answer isA collapsing material shell gives a different answer. If the entire cloud undergoes pressureless gravitational collapse from rest, the edge follows the fixed enclosed mass $M_0=4\pi {\rho }_0{r}_0^3$, not the instantaneous fixed-profile value $4\pi Cr$. With no shell crossing, $\ddot{r}=-G{M}_0/r^2$, soThis is a concrete counterexample to treating the fixed-profile result as the exact collapse time of the whole nebula. The initial mean density inside $r_0$ is $3{\rho }_0$, consistent with the usual free-fall time of a uniform sphere expressed using that mean density. The logarithmic integral is valid for the explicitly frozen background approximation.

Galactic star formation is limited by how much gas becomes cold, shielded and self-gravitating, and by how long it remains in that state. A useful local estimate isThe star-formation efficiency per free-fall time ${ϵ}_{\mathrm{ff}}$ absorbs the fact that turbulence, magnetic support and stellar feedback prevent all eligible gas from collapsing in one free-fall time of a uniform sphere. Rotation and disk stability influence the supply of dense clouds, while gravitational collapse and gravitational fragmentation operate inside them.

For galaxy-averaged measurements, the Kennicutt–Schmidt law has ${\Sigma }_{\mathrm{SFR}}\propto {\Sigma }_g^N$, with the classic mixed spiral/starburst sample giving $N\simeq 1.4$. This empirical relation was obtained using H-alpha and far-infrared star-formation tracers together with atomic-hydrogen and CO gas measurements.^[ref] Dust attenuation, contamination by older stellar heating, the stellar initial mass function and the CO-to-molecular-gas conversion must be controlled. A disk-averaged total-gas exponent is not automatically a small-scale cloud law.

Young stars then photoionize gas, drive winds and eventually inject supernova energy and momentum. These processes can disrupt clouds, sustain random motions or expel gas; radiative cooling and fresh inflow rebuild the cold supply. Large-scale star formation is a regulated conversion of gas, rather than unimpeded free fall of the entire disk. A long gas-depletion time ${\Sigma }_g/{\Sigma }_{\mathrm{SFR}}$ is compatible with short galactic dynamical times in the dense fraction.

In a matter-dominated Einstein-de Sitter universe, the growing linear density contrast is proportional to the scale factor. When $|\delta |\sim 1$, linear evolution no longer describes collapse. An overdense region initially expands more slowly than the background, reaches cosmological turnaround, and then contracts under self-gravity.

The spherical top-hat collapse model supplies a useful idealization: pressureless shells obey $\ddot{r}=-GM/r^2$. At formal collapse, the linearly extrapolated growing mode isThis is a linear extrapolation, not the true finite nonlinear density at that instant. In the ideal energy-conserving spherical model, virial equilibrium gives a virial radius about half the turnaround radius; its mean density at the collapse time is $18{\pi }^2\simeq 178$ times the cosmic matter density.

Real perturbations are nonspherical: tides and anisotropic collapse produce sheets, filaments and haloes. Collisionless dark matter develops shell crossing and phase mixing rather than radiatively losing its orbital energy. Baryonic gas can shock, cool and collect within the resulting potential wells. Hierarchical merging then assembles larger systems where small-scale fluctuations have sufficient initial power. Press-Schechter formalism connects a collapse threshold with the statistics of the smoothed initial field, but halo abundances and internal structure need more than the single spherical model. These ideas apply after perturbations become nonlinear; one must not extend pressureless subhorizon equations through all radiation-era or horizon-scale conditions.^[ref]

During gravitational collapse, nonspherical time-dependent multipoles can be lost in gravitational radiation or absorbed by the forming black hole. Matter remaining outside must ultimately escape or fall in if the final object is to be an isolated vacuum black hole. Assume that the classical exterior settles to a regular stationary asymptotically flat vacuum geometry, with a connected horizon and the regularity conditions of the black-hole uniqueness theorem. This settling assumption is physical input, rather than a consequence of charge conservation alone.

For a rotating remnant, the black-hole rigidity theorem supplies axial symmetry; the uniqueness theorem then identifies the exterior as Kerr spacetime. The nonrotating equilibrium case is Schwarzschild spacetime. Gravitational radiation carries energy and angular momentum but no net electric charge. In the intended neutral collapse, with no net charge carried away by expelled matter, charge conservation therefore leaves zero black-hole charge. Initial total neutrality alone would not prove this if oppositely charged matter were expelled; the two-parameter conclusion assumes the uncharged vacuum remnant just described. This leavesas its two intrinsic continuous parameters. The final $M,J$ are what remain after escaping matter and radiation have carried off their shares; they need not equal the star's initial values. A spatial rotation may align the spin axis, and a translation or boost chooses the position and rest frame, so these do not add intrinsic parameters. All higher equilibrium multipoles are fixed by $M,J$; for example Kerr's mass quadrupole is $-J^2/M$. A regular Kerr black hole obeys $|J|\le M^2$ in geometrized units. This is the content of the black-hole no-hair theorem in vacuum general relativity, with its stated hypotheses, rather than a statement about arbitrary matter theories or an unproved guarantee of dynamical settling. Hawking evaporation is ignored in this classical late-time equilibrium description.

Write the proposed Jeans mass as $M_J=K{v}^a{G}^b{P}^c$, with dimensionless $K$. The dimensions of speed, the gravitational constant and pressure areEquating the exponents of mass, length and time givesThus $a=4$, $b=-3/2$ and $c=-1/2$, so the pressure-confined Jeans mass scales asA larger speed of sound gives stronger support against gravitational collapse; stronger confinement at fixed speed of sound lowers the characteristic unstable mass. Dimensional analysis determines the scaling, not $K$, which requires a particular cloud model and instability criterion.

Impact cratering begins with contact and compression, in which a shock rapidly heats and compresses target and impactor. During excavation, material moves outward and upward, producing a transient cavity and ejecta. Modification then involves gravitational collapse, wall slumping, fallback and, for large structures, rebound and central features. The stages overlap in time; crater size and morphology depend on gravity, impact conditions and target strength, not just the projectile's geometric hole size.

The Penrose singularity theorem states that a globally hyperbolic spacetime with a noncompact Cauchy hypersurface, a closed trapped surface, and the null convergence condition is future null-geodesically incomplete. Time reversal replaces the trapped surface by an anti-trapped surface and gives past incompleteness.

In his 1965 paper Gravitational Collapse and Space-Time Singularities, Roger Penrose used trapped surfaces and global causal structure to address whether nonspherical perturbations could avert a breakdown during gravitational collapse. Quasars supplied the opening astrophysical motivation. The paper used metric signature $(+,-,-,-)$ and a stronger timelike local-energy assumption; the statement above uses the modern null convergence condition.^[ref]

For this version, take a smooth connected four-dimensional spacetime with a time orientation. A Cauchy hypersurface meets every inextendible causal curve exactly once; its existence expresses global hyperbolicity. The hypersurface must be noncompact, meaning not compact; this is a global spatial condition, not an assumption about the size of the collapsing body. The null convergence condition is $R_{ab}{k}^a{k}^b\ge 0$ for every null vector $k$. Through the Einstein field equations it follows from the null energy condition; a cosmological constant drops out of the null contraction.^[ref]

The conclusion is that at least one future-inextendible null geodesic has a finite upper endpoint of its affine parameter. It neither asserts infinite mass density or divergent curvature at every endpoint, nor says that such an endpoint is visible. Locating an event horizon requires additional global information; the theorem is not a horizon-finding rule for arbitrary spacetimes. Weak cosmic censorship conjecture is an additional issue.^[ref]

The supermassive black hole account describes the motivating observational evidence from stellar orbits at the Galactic centre. Such measurements infer a compact gravitating mass. They do not observe a trapped surface, measure a geodesic's complete future, or experimentally prove the Penrose singularity theorem.

A concrete example separates a trapped surface from a failure of coordinates. Use geometrized units $G=c=1$, metric signature $(-,+,+,+)$, and the regular ingoing Eddington-Finkelstein coordinates of a Schwarzschild black hole with mass $M>0$:For a round sphere, choose future null vector normalsThe spherical null expansion in ingoing coordinates follows directly from $A=4\pi r^2$: ${\theta }_k=2k(r)/r$. At $r=3M$, $({\theta }_{+},{\theta }_{-})=(1/(9M),-2/(3M))$; at $r=3M/2$, it is $(-2/(9M),-4/(3M))$. Both future light fronts shrink in the second case. At $r=2M$, ${\theta }_{+}=0$, so this sphere is marginally outer trapped surface, not a strict trapped surface. In the spherical model this boundary is an event horizon; that identification does not extend to arbitrary geometries.

Although $k_{-}$ is affine as written, $k_{+}$ generally obeys ${\nabla }_{k_{+}}{k}_{+}=(M/r^2)k_{+}$. These are valid initial normals for the sign test; use affine rescaling of a null normal before applying the affine Null Raychaudhuri equation. Regularity of the displayed metric tensor at $r=2M$ shows why a divergence in another chart would not establish null geodesic incompleteness.

On a compact trapped surface, both null expansions have a uniform negative margin. Sufficiently small smooth perturbations controlling the relevant metric tensor and surface derivatives preserve trapping. This conditional robustness does not prove that every nonspherical gravitational collapse creates a trapped surface.^[ref]