Isothermal Sphere and King Models
Treat the stars of a cluster as the molecules of a self-gravitating gas held at one fixed "temperature", and a remarkable simplification follows. A time-independent solution of the collisionless Boltzmann equation must, by Jeans' theorem, be built from integrals of motion; the simplest ergodic choice for a spherical isotropic system is a distribution function of energy alone, . Pick the exponential — a Maxwellian in velocity — and every local velocity distribution has the same dispersion at every radius. That is the isothermal sphere, and it is literally the same object as an isothermal gas ball: both integrate to the Boltzmann density and obey the same Poisson–Boltzmann equation. Feed that density into Poisson's equation and you get the isothermal Lane–Emden equation, whose solution is a flat central core followed by an envelope, with the exact scale-free member — the singular isothermal sphere that gives flat rotation curves and the workhorse gravitational lens. But every fully-Maxwellian sphere carries a fatal flaw: its mass diverges as , because the exponential tail populates arbitrarily high energies and nothing is ever bound. Ivan King's 1966 repair was pure physics: a real cluster sits in a tidal field, so subtract a constant to kill the high-energy tail, . The density then reaches zero at a finite tidal radius, and a one-parameter family of finite clusters is born — the King models that still fit globular clusters today.
- The isothermal sphere is the equilibrium of a collisionless system with a Maxwellian-in-energy distribution function, , giving one constant velocity dispersion at every radius.
- Integrating the DF gives the Boltzmann density ; Poisson's equation then yields the isothermal Lane–Emden equation — a flat core plus an envelope.
- Its exact scale-free member is the singular isothermal sphere , giving a flat rotation curve ; but its mass diverges.
- King models cure the divergence by lowering and truncating the Maxwellian at the escape energy, for , giving a finite tidal radius and a finite-mass cluster.
- A King model is a one-parameter family labelled by the concentration or the central potential ; observed globular clusters sit at .
- Key idea: a Maxwellian-in-energy distribution function makes the density obey ; Poisson's equation then gives the isothermal Lane–Emden equation, whose finite-mass repair is King's truncated (lowered) Maxwellian.
Where this lives today
King models remain the daily currency of stellar-dynamics observers and cosmologists alike. Globular-cluster catalogues such as the Harris compilation list every Galactic cluster by its concentration and core radius, and the drift of a fitted toward large values is the observational fingerprint of core collapse — the runaway central contraction that King equilibria cannot capture, marking where the model breaks and gravothermal physics takes over. On galaxy scales the singular isothermal sphere is the analytic lens of choice: strong-lensing surveys (SLACS and successors) fit elliptical-galaxy lenses with an SIS, reading off a measured Einstein radius through the relation of Example 1. In cosmology the SIS is the pedagogical dark-matter halo — its flat rotation curve was the first quantitative model of the missing-mass problem — even though -body simulations show real haloes follow the cuspy NFW profile in the centre. The open frontier is dynamical: how relaxation, mass segregation, binary heating, and tidal stripping push a cluster off the King sequence is still modelled with Fokker–Planck and direct -body codes that take a King model as their initial condition.
The physical picture
Imagine each star as a molecule of a gas whose only "thermodynamic" number is the specific kinetic energy , playing the role of . The two-body encounters that would thermalise an ordinary gas are far too slow to matter over a cluster's life, yet over many relaxation times a globular cluster's dense core genuinely drifts toward a Maxwellian, so the analogy has teeth. Hydrostatic balance, with , integrates at once to — the same expression a Maxwellian distribution function gives on integrating over velocity. Collisionless stars and collisional gas share an equation because both obey the same energy-per-unit-mass Boltzmann factor. The structure that emerges is universal: a flat harmonic core where the density is nearly constant, wrapped in an envelope where balances a mass that grows linearly outward. That envelope is the singular isothermal sphere, and its flat rotation curve is exactly the phenomenology dark-matter haloes were first invented to reproduce. The first figure shows the whole family on one pair of log axes.
King's truncation is not a mathematical trick but a physical statement. A cluster orbits inside a host galaxy, so any star pushed above the local escape energy simply wanders off and is lost. Chop the Maxwellian's high-velocity tail there and the extended atmosphere collapses to a finite edge — the tidal radius . What remains is a one-parameter sequence: fix the concentration and the whole projected shape is determined, so a two-number fit — central brightness and concentration — captures almost every globular cluster in the sky. The second figure shows that family, the curves a cluster photometrist actually fits.
The core equations
The starting point is a distribution function depending on phase-space coordinates only through the specific energy , Maxwellian in it — the "ergodic" choice Jeans' theorem permits for a spherical isotropic system, with a single constant dispersion .
where: — phase-space distribution function, mass per unit ; — specific energy per unit mass; — one-dimensional velocity dispersion, constant; — gravitational potential; — density normalisation. Reading: the exponential in energy is the single assumption from which everything else follows. Integrating (1) over velocities collapses the Gaussian and leaves a density depending on position only through the potential — the Boltzmann (barometric) density, whose second velocity moment is at every radius, the origin of the word "isothermal".
where: — central density; — central potential; — one-dimensional velocity variance. Reading: density tracks the exponential of the well, and never changes with radius. Substituting the Boltzmann density into Poisson's equation and non-dimensionalising gives the isothermal Lane–Emden equation — the master equation of the subject, with no closed form, integrated numerically outward from a regular centre.
where: — dimensionless potential, zero at the centre; — radius in units of the natural scale ; — gravitational constant. Reading: the King (core) radius is , where the projected density is about half its central value. The one exact analytic solution is scale-free: assume and the equation closes, giving the singular isothermal sphere — the large-radius limit of every isothermal sphere.
where: — enclosed mass, growing linearly; — circular speed, radius-independent. Reading: the flat rotation curve is a triumph, but means infinite total mass. King's cure is to lower and truncate the Maxwellian: measure energy relative to the escape energy and subtract a constant so the DF vanishes there — stars above escape energy are simply gone.
where: — specific energy relative to the escape energy, zero at the tidal boundary; — normalisation. Reading: subtracting the constant makes smoothly as , so the density reaches exactly zero at a finite radius. The truncated DF produces a finite, cored, one-parameter family, labelled by the central potential or, equivalently, the concentration — a single number that fixes the shape.
where: — tidal (limiting) radius where ; — King concentration; — depth of the central well in units of . Reading: larger (larger ) means a deeper, denser, more centrally concentrated cluster, approaching the full isothermal sphere as . Historically the models began as a fitting function: King's 1962 empirical surface-brightness law preceded the dynamical models and remains the quickest fit to cluster photometry.
where: — projected surface brightness at projected radius ; — central normalisation. Reading: the bracketed subtraction forces at , mimicking the dynamical model's truncation with just and .
The goal is to show that the isothermal Poisson equation admits one exact, scale-free solution in which the density falls as , and to fix its single normalisation from the requirement that it also satisfy the Boltzmann density relation. Reading off the enclosed mass and circular speed then exposes both the flat rotation curve and the linear mass divergence that motivates King's whole construction, by demanding self-consistency between Newtonian gravity and the barometric density.
Step 1. Adopt the ansatz . Why: dimensional balance in Poisson's equation with singles out the exponent ; a power law is the only self-similar guess.
Step 2. Integrate for the enclosed mass, . Why: the mass grows linearly with radius, which already signals that the total mass will diverge — the hallmark pathology of a fully Maxwellian sphere.
Step 3. Get the radial force from the shell theorem, . Why: only enclosed mass matters for a spherical system, so the acceleration falls off as — the form a logarithmic potential produces.
Step 4. Impose the Boltzmann relation , so . Why: the isothermal equilibrium ties the potential gradient to the density slope, which pins the constant.
Step 5. Match the two expressions for : , hence and . Why: equating gravity's force to the isothermal force fixes the one free constant entirely in terms of .
Step 6. Read off the circular speed, , so , constant with radius. Why: a rotation curve that neither rises nor falls is what dark-matter phenomenology needs — why the SIS is the first halo anyone writes down. *Self-consistency check: substituting back into the isothermal Poisson equation reproduces it identically, confirming the ansatz; and follow directly.*
Go deeper · Derivation B · 1 minFrom a Maxwellian distribution function to the isothermal Lane–Emden equation
The aim is to trace the full chain from a microscopic distribution function to the macroscopic equation governing the density profile, and to prove that the velocity dispersion is genuinely constant. We integrate the Maxwellian over velocity for the Boltzmann density, confirm the second moment, then insert the density into Poisson's equation and non-dimensionalise so a single scale-free equation emerges — which is what justifies calling the model "isothermal".
Step 1. Integrate the DF over velocity, . Why: at fixed position the potential factors out, leaving a pure Gaussian that carries all the velocity dependence.
Step 2. Evaluate the Gaussian, , so . Why: the normalisation cancels the prefactor exactly, delivering the barometric density — the relation an isothermal gas obeys.
Step 3. Compute the second moment, , independent of . Why: the local Maxwellian has the same width everywhere, so the "temperature" is spatially uniform — the defining property of an isothermal system.
Step 4. Insert with into , giving . Why: the dimensionless turns the density into a clean source, isolating the one dimensionful group .
Step 5. Scale radius by to absorb that group, leaving with . Why: every isothermal sphere is now the same dimensionless curve; clusters differ only by the scales and .
Step 6. Series-solve near the centre, , so using . Why: the leading balance gives a flat harmonic core, marking as where the density falls appreciably below . *Self-consistency check: the coefficients and satisfy the Lane–Emden recursion by direct substitution, and the moment integrals confirm at every radius.*
Go deeper · Derivation C · 1 minKing's lowered Maxwellian and the finite tidal radius
The purpose is to demonstrate precisely how subtracting a constant from the Maxwellian repairs the infinite-mass pathology, by integrating the lowered DF over the permitted velocities up to the escape speed and showing the density vanishes at a finite radius. We introduce the dimensionless relative potential measuring depth below the tidal boundary, carry out the velocity integral, and expand near the edge to prove the density reaches exactly zero — which is what makes King models physical.
Step 1. Define the relative potential , with at the centre and at the tidal radius . Why: measuring energy downward from the escape value makes the bound region and the boundary , so the truncation condition becomes a clean statement about where vanishes.
Step 2. Only stars with are retained, i.e. speeds up to the local escape speed ; integrate the lowered DF over . Why: the truncation is enforced as a hard cut in the velocity integral, so the density automatically knows nothing about the deleted high-energy tail.
Step 3. The integral gives the King density . Why: the error function is the finite-range Gaussian left after the cut, and the polynomial term is the subtracted constant — together a density depending on radius only through .
Step 4. Expand near the edge, : both terms behave as and cancel, so . Why: the exact cancellation at the boundary produces a genuine finite edge at instead of an exponential atmosphere, giving a finite total mass.
Step 5. Integrate the Poisson equation for from outward until ; the ratio then defines , an increasing function of . Why: the single boundary value fixes the whole profile, which is why one number labels the King sequence. *Self-consistency check: the cancellation follows by direct series expansion, and the monotonic relation is confirmed by numerical integration of the King equation.*
Limiting cases
The isothermal family has clean asymptotic and special cases:
| Case | Result | Meaning |
|---|---|---|
| Singular isothermal sphere | scale-free exact solution; flat rotation curve , , but divergent central density and mass | |
| Large radius, any isothermal sphere | every non-singular sphere converges to the SIS envelope, so its mass still diverges linearly | |
| King core, small radius | flat harmonic core; the empirical King 1962 profile fits the projected light here | |
| Deep King limit | truncation recedes to infinity; the model approaches the full isothermal sphere, and core-collapsed clusters sit at high | |
| Shallow King limit | a low-concentration polytrope-like ball with no extended envelope |
Worked examples
1 · Strong lensing by an elliptical galaxy (fully worked)
An elliptical galaxy is modelled as a singular isothermal sphere with one-dimensional dispersion . A background quasar sits behind it with . Find the Einstein radius and the expected image separation.
Step 1. The SIS produces a fixed Einstein angle independent of source position, . This is its signature: the profile gives a deflection angle constant with impact parameter, so the lens has one characteristic scale.
Step 2. Evaluate the dispersion ratio: , so . Then .
Step 3. Convert to arcseconds: . A source inside the Einstein radius is imaged twice on opposite sides of the lens, so the separation is .
Step 4. Sanity check: galaxy-scale strong lenses have arcsecond separations, exactly this scale, and is why a rich-cluster lens () produces separations tens of times larger. θ_E ≈ 0.90 arcsec, image separation ≈ 1.8 arcsec.
2 · Core and tidal radius of a globular cluster (fully worked)
A globular cluster has central one-dimensional dispersion and central density . Using , find the King core radius, and the tidal radius if its concentration is .
Step 1. The King core radius is . Compute the denominator: .
Step 2. Numerator: . So , a typical globular-cluster core radius.
Step 3. The concentration fixes the edge: . Real clusters span puffy () to dense (, ).
Step 4. Interpretation: plus the central brightness fully specify the King fit, and tracks the tidal environment — a cluster on a tighter galactic orbit is stripped to a smaller and a lower concentration. r_0 ≈ 0.90 pc, r_t ≈ 28.6 pc for c = 1.5.
3 · Reading a flat rotation curve as an isothermal halo
A spiral galaxy has a flat rotation curve at . Treat the halo as a singular isothermal sphere. What one-dimensional dispersion does it imply, and what dark mass lies within 10 kpc?
Step 1. From , the dispersion is ; the factor comes from .
Step 2. The SIS enclosed mass is . In SI: , , .
Step 3. within 10 kpc. Because , doubling the radius doubles the mass — the divergence made concrete, and why a real halo must eventually be truncated. σ ≈ 156 km/s, M(<10 kpc) ≈ 1.1×10¹¹ M_⊙.
Physics of the portrait
The isothermal sphere is old — it descends from the nineteenth-century theory of gaseous stars — but the models that bear a name are Ivan King's, who turned an idealised gas ball into a quantitative tool for real clusters.
Origins · 1 minIvan King and how this was discovered
Ivan Robert King was an American astronomer who spent most of his career at the University of California, Berkeley, and made the theory of star clusters quantitative. In a celebrated three-part series, "The structure of star clusters," he first gave, in 1962, a simple empirical surface-brightness law with a core radius and an outer tidal radius that fit globular-cluster light strikingly well — the profile observers still call the King model. In 1966 he supplied the dynamical foundation: a lowered, truncated Maxwellian distribution function whose self-consistent solution of the Boltzmann and Poisson equations reproduced that law and predicted the internal velocity dispersions. His insight was physical, not merely mathematical — two-body relaxation drives the core toward a Maxwellian while the host galaxy's tidal field strips loosely bound stars, so the equilibrium must be a Maxwellian with its high-energy tail removed. That one-parameter family remains the standard description of globular clusters six decades on, and King himself later used Hubble Space Telescope imaging to resolve the stellar populations of the clusters his models describe.
Going further
Texts. Binney & Tremaine, Galactic Dynamics, 2nd ed., §4.3 (isothermal sphere) and §4.3.3 (King models) · Carroll & Ostlie, An Introduction to Modern Astrophysics, Ch. 25 (star clusters) · Mo, van den Bosch & White, Galaxy Formation and Evolution, Ch. 5–6 (halo profiles and dynamics) · Dodelson, Modern Cosmology (halo profiles and lensing) · King, I. R. (1966), AJ 71, 64 — "The structure of star clusters. III". The SIS relations , , and follow by direct substitution into the isothermal Poisson equation. The lowered-Maxwellian DF and King density formula originate with King (1966); the core series follows from the Lane–Emden recursion. Key anchor numbers: arcsec for ; pc for and ; and within 10 kpc for .
Prerequisites. Collisionless Boltzmann Equation · Jeans' Theorem · Distribution Function and Phase Space · Jeans Equations. Leads to. Galactic Potential Models · Virial Theorem in Stellar Systems · Two-Body Relaxation Time · Orbits in Spherical Potentials.
Ask the tutor: Ask me to integrate the isothermal Lane–Emden equation for a given and read off its concentration, or to derive the SIS Einstein radius for any dispersion.
Is the isothermal sphere really the same object as a self-gravitating gas ball?
Mathematically, yes — that is the point of the name. An isothermal gas in hydrostatic equilibrium obeys with , which integrates to . Integrating a Maxwellian distribution function over velocity gives the identical relation, with playing the role of . Both feed the same Poisson equation, so the collisionless cluster and the collisional gas ball solve the same Lane–Emden equation. The difference: a gas is kept Maxwellian by frequent collisions, a cluster only slowly, by two-body relaxation over many crossing times.
Why can't we just use the singular isothermal sphere for everything?
Because it has two divergences. Its central density as is unphysical — real clusters and haloes have finite-density cores — and its total mass grows without bound, so there is no such thing as "the mass" of an SIS. The SIS stays useful as the large-radius envelope of any isothermal sphere and as an analytic lens, where you only need the profile over a limited range. But to model a whole finite object you must regularise the centre with a core and truncate the outside at a tidal radius — exactly what King models do.
What is the difference between the King 1962 profile and the King 1966 models?
The 1962 profile is an empirical fitting function for the projected surface brightness — a formula with a core radius and a tidal radius chosen to match photometry, with no dynamical content. The 1966 models are self-consistent solutions of the Boltzmann and Poisson equations built from a lowered-Maxwellian distribution function; they predict the density, the surface brightness, and the internal velocity dispersion versus radius. The two agree closely in projected shape, so observers often fit the simple 1962 formula, but only the 1966 models can be compared with measured line-of-sight velocities.
How is the concentration c related to the central potential W_0?
They are two labels for the same one-parameter family. is the depth of the central potential well in units of — the boundary value you integrate the King equation from. Integrating outward to where the density vanishes gives the tidal radius , and dividing by the core radius gives . Larger produces larger : a deeper well holds a more extended, more centrally concentrated cluster. Observers quote because it is read off a fitted profile; theorists quote because it is the natural boundary condition.
Why does the density reach exactly zero at the tidal radius instead of tapering off?
Because King subtracted a constant from the Maxwellian precisely so the distribution function vanishes at the escape energy. Integrating that lowered DF over the allowed velocities near the boundary, the error-function term and the subtracted-constant term cancel to leading order as the relative potential , so the density goes smoothly to zero rather than to a small positive value. Physically, at the local escape speed drops to zero: no bound phase space is left for stars to occupy, so the density must vanish. This is what gives King models a genuine finite edge and hence a finite total mass.
Is the singular isothermal sphere a good dark-matter halo?
As a first analytic model, yes; as an accurate one, no. The SIS reproduces the single most important fact about galaxy haloes — the flat rotation curve constant — and its simple lensing makes it the standard analytic lens. But cosmological -body simulations show real cold-dark-matter haloes follow the NFW profile, with a shallower central cusp and a steeper outer fall-off, neither of which the pure SIS matches. The SIS survives as the benchmark against which NFW, Hernquist, and cored profiles are compared, and as a quick analytic stand-in.