Diffusive Shock Acceleration

Nearly every relativistic particle in the Universe was born at a shock. The blast waves of supernova remnants, the termination shocks of relativistic jets, the bow shocks of planetary magnetospheres, the external shocks of gamma-ray-burst fireballs — all are places where a supersonic flow slams to a halt and a tiny minority of particles are flung to enormous energies. These are not ordinary gas shocks. In the tenuous plasmas of astrophysics the Coulomb mean free path is astronomically larger than the shock thickness, so the transition cannot be mediated by collisions at all. It is collisionless: the flow is decelerated and heated entirely by collective electromagnetic fields, and a charged particle is not stopped but repeatedly scattered — bouncing across the discontinuity, it is systematically energized on every pass. Diffusive shock acceleration (DSA) is the quantitative theory of that process, and one of the great successes of high-energy astrophysics. Formulated independently around 1977–1978 by Krymskii, by Axford, Leer and Skadron, by Bell, and by Blandford and Ostriker, it takes Enrico Fermi's 1949 idea of stochastic energy gain and sharpens it against a converging flow so that every crossing gains energy at first order in the flow speed. The reward is startling universality: the accelerated particles emerge with a power-law spectrum whose slope is fixed by the shock's compression ratio alone — not the magnetic field, turbulence, geometry, or injection energy. For a strong shock that slope is the celebrated f(p)∝p−4f(p)\propto p^{-4}, tantalizingly close to what Galactic cosmic rays demand.

Key takeaways
  • Diffusive shock acceleration is the first-order Fermi mechanism by which collisionless astrophysical shocks accelerate charged particles to relativistic energies, producing scale-free power-law spectra.
  • A particle scatters back and forth across the front; because the upstream and downstream plasmas converge, every cycle is a net head-on collision with mean gain ⟨Δp/p⟩=43(u1−u2)/v\langle\Delta p/p\rangle=\tfrac{4}{3}(u_1-u_2)/v, linear in the flow speed.
  • Balancing this constant per-cycle gain against a constant escape probability Pesc=4u2/vP_{\rm esc}=4u_2/v yields a power law f(p)∝p−qf(p)\propto p^{-q} with q=3r/(r−1)q=3r/(r-1), set solely by the compression ratio r=u1/u2r=u_1/u_2.
  • Rankine–Hugoniot caps a strong non-relativistic shock at r=4r=4 (γ=5/3\gamma=5/3), giving the universal q=4q=4, a differential spectrum N(E)∝E−2N(E)\propto E^{-2}, and synchrotron index α=0.5\alpha=0.5 — the signature prediction.
  • The scattering is self-generated: streaming cosmic rays drive resonant and non-resonant (Bell) instabilities that amplify the field, setting the maximum energy Emax⁡≃320ZeB u12 tE_{\max}\simeq\tfrac{3}{20}ZeB\,u_1^2\,t — of order a PeV for a young supernova remnant.
  • DSA is the engine behind Galactic cosmic rays up to the knee, the synchrotron light of AGN jets, and gamma-ray-burst afterglows.
  • Key idea: convergent flow across a shock makes every up-and-down diffusive crossing a net head-on Fermi collision, so the energy gain is first order in u/cu/c; balancing a constant per-cycle gain against a constant per-cycle escape probability yields a universal power law f(p)∝p−3r/(r−1)f(p)\propto p^{-3r/(r-1)} set solely by the compression ratio rr.

Where this lives today

DSA is the working engine of high-energy astrophysics, and testing it is a multi-messenger enterprise. In supernova remnants the thin X-ray synchrotron rims of SN 1006, Tycho, and Cassiopeia A imply fields amplified to ∼100 μ\sim100\,\muG — evidence for the Bell instability the theory needs to reach the knee — while Fermi and H.E.S.S. map the pion-decay glow of accelerated protons, the pion bump in IC 443 being the closest thing to a smoking gun for cosmic-ray hadrons. In situ, Voyager crossed the solar-wind termination shock and spacecraft watch interplanetary shocks, where the power laws track the measured compression through q=3r/(r−1)q=3r/(r-1). In active galaxies DSA at jet termination shocks lights the radio-to-X-ray hotspots of FR II sources; gamma-ray-burst afterglows supply the ultra-relativistic pe≈2.2p_e\approx2.2 index. The open frontiers — nonlinear back-reaction, electron injection, and whether remnants truly reach the knee — are now attacked with kinetic particle-in-cell simulations.

The physical picture

Picture a ball bouncing between two walls slowly moving toward each other. Every bounce off an approaching wall is a head-on collision that speeds it up, and because the walls converge there are never any overtaking, energy-losing bounces. At a shock the "walls" are the magnetic scattering centres — Alfvén waves and field irregularities — frozen into the upstream and downstream plasma. They approach each other because the flow decelerates across the front: matter streams in at u1u_1 and leaves slower and denser at u2<u1u_2<u_1. A particle scattering isotropically on each side therefore finds, whichever way it crosses, the far-side scatterers advancing. Each round trip is net energizing, and the gain is linear in the flow speed because the front organizes the scatterers into a convergence rather than a random mix.

Figure
Every up-and-down crossing is a head-on collision because the flow converges — with u₁ = 5000 km/s and compression r = 4 the mean gain is (4/3)(u₁ − u₂)/c ≈ 1.7 percent per cycle
Convergent flow: the particle sees the far-side scatterers approaching on every crossing shock front UPSTREAM unshocked, n₁ DOWNSTREAM shocked, n₂ = 4 n₁ u₁ = 5000 km/s u₂ = 1250 km/s higher E inject r = u₁/u₂ = 4 ⟨Δp/p⟩ = (4/3)(u₁ − u₂)/c ≈ 1.7% gained per up-and-down cycle

The power law is not put in by hand — it falls out of a probabilistic balance. Each cycle multiplies a particle's momentum by a fixed factor (1+ϵ)(1+\epsilon) and lets it be swept away downstream with a fixed probability PescP_{\rm esc}. After kk cycles the momentum is p0(1+ϵ)kp_0(1+\epsilon)^k and the survival probability (1−Pesc)k(1-P_{\rm esc})^k; eliminating kk gives N(>p)∝p−ln⁡(1−Pesc)/ln⁡(1+ϵ)N(>p)\propto p^{-\ln(1-P_{\rm esc})/\ln(1+\epsilon)}, a pure power law. Both ϵ\epsilon and PescP_{\rm esc} scale with the same flow speeds, so their ratio — the slope — depends only on how much the flow compresses. The diffusion coefficient, which governs how fast and how high particles reach, cancels from the slope entirely — which is why DSA predicts nearly the same injection spectrum at a heliospheric shock and at a supernova blast wave a thousand light-years across.

Figure
The spectral index q = 3r/(r−1) depends only on the compression ratio r, not on the diffusion coefficient — a strong shock r = 4 gives q = 4 and a differential spectrum N(E) ∝ E⁻²
The punchline: the index depends only on compression — q = 3r/(r−1), universal 3 4 5 6 7 8 1 2 3 4 5 6 7 compression ratio r = u₁/u₂ spectral index q f(p) ∝ p⁻q strong shock r = 4 → q = 4 N(E) ∝ E⁻², synchrotron α = 0.5 weak shock: r → 1, q → ∞ compression vanishes, acceleration ceases q → 3 as r → ∞

The core equations

The whole edifice rests on two per-cycle quantities — a gain and a loss — and a few relations that turn their ratio into a spectrum. First the average momentum a particle picks up in one full up-and-down crossing, from flux-weighting the Doppler boost over an isotropic distribution.

⟨Δpp⟩=43 u1−u2v(1)\left\langle\frac{\Delta p}{p}\right\rangle=\frac{4}{3}\,\frac{u_1-u_2}{v} \qquad (1)

where: u1, u2u_1,\,u_2 — upstream and downstream bulk flow speeds in the shock frame, with u1>u2u_1>u_2; vv — particle speed, near cc for relativistic particles; Δp/p\Delta p/p — fractional momentum increase per full cycle. The gain is first order in the flow speed and positive on both legs — the linearity that makes shock acceleration fast. Against the gain runs a loss: each cycle, the particle downstream may be carried off by the bulk flow before it scatters back. Comparing the advective loss flux to the return flux gives a per-cycle escape probability.

Pesc=4u2v(2)P_{\rm esc}=\frac{4u_2}{v} \qquad (2)

where: PescP_{\rm esc} — probability per cycle that a particle is advected downstream and never returns; u2u_2 — downstream flow speed carrying particles away. Like the gain, it is constant and energy-independent — the property that guarantees a pure power law. The ratio of loss to gain is the exponent of the integral number spectrum — the heart of the theory. Divide equation (2) by (1) and the particle speed vv cancels.

N(>E)∝E−s,s=Pesc⟨Δp/p⟩=3r−1(3)N(>E)\propto E^{-s},\qquad s=\frac{P_{\rm esc}}{\langle\Delta p/p\rangle}=\frac{3}{r-1} \qquad (3)

where: ss — index of the integral number spectrum; r=u1/u2r=u_1/u_2 — shock compression ratio. With vv gone the slope is energy-independent, and depends on the flow only through rr. Observers more often quote the isotropic phase-space density f(p)f(p), which differs from the integral spectrum by the momentum-space volume factor 4πp24\pi p^2. Translating gives the canonical DSA index.

f(p)∝p−q,q=s+3=3rr−1(4)f(p)\propto p^{-q},\qquad q=s+3=\frac{3r}{r-1} \qquad (4)

where: f(p)f(p) — isotropic phase-space density, particles per d3x d3p\mathrm{d}^3x\,\mathrm{d}^3p; qq — phase-space power-law index. For r=4r=4, q=4q=4; the differential number spectrum is then N(E) dE∝p2f(p) dp∝E−2 dEN(E)\,\mathrm{d}E\propto p^2f(p)\,\mathrm{d}p\propto E^{-2}\,\mathrm{d}E. The microscopic bookkeeping is subsumed by a single transport equation for the near-isotropic ff. The Parker (diffusion–convection) equation is the rigorous stage on which the same power law reappears.

∂f∂t+u∂f∂x=∂∂x ⁣(κ∂f∂x)+13dudx p∂f∂p(5)\frac{\partial f}{\partial t}+u\frac{\partial f}{\partial x}=\frac{\partial}{\partial x}\!\left(\kappa\frac{\partial f}{\partial x}\right)+\frac{1}{3}\frac{\mathrm{d}u}{\mathrm{d}x}\,p\frac{\partial f}{\partial p} \qquad (5)

where: κ\kappa — spatial diffusion coefficient, κ≃λv/3\kappa\simeq\lambda v/3 with λ\lambda the scattering mean free path set by magnetic turbulence; the final term is the adiabatic energy change, in which a converging flow (du/dx<0\mathrm{d}u/\mathrm{d}x<0) energizes the particles. Diffusion does not set the slope, but it sets the clock: the time to ee-fold a particle's momentum is the sum of the residence times on the two sides, weighted by the flow.

tacc=3u1−u2(κ1u1+κ2u2)(6)t_{\rm acc}=\frac{3}{u_1-u_2}\left(\frac{\kappa_1}{u_1}+\frac{\kappa_2}{u_2}\right) \qquad (6)

where: tacct_{\rm acc} — acceleration (ee-folding) time; κ1,κ2\kappa_1,\kappa_2 — upstream and downstream diffusion coefficients. Smaller κ\kappa means quicker acceleration, so the maximum energy hinges on field amplification. Setting tacct_{\rm acc} equal to the shock age or a loss time, with the fastest allowed scattering (Bohm diffusion, κ≃rgc/3\kappa\simeq r_g c/3), fixes the highest energy a shock can reach.

Emax⁡≃320 Ze B u12 t(7)E_{\max}\simeq \frac{3}{20}\,Z e\,B\,u_1^{2}\,t \qquad (7)

where: Emax⁡E_{\max} — highest energy reached in time tt; ZeZe — particle charge; BB — magnetic field, amplified above ambient by streaming instabilities; tt — shock age or loss time. For a young supernova remnant (u1∼5000u_1\sim5000 km/s, B∼100 μB\sim100\,\muG, t∼103t\sim10^3 yr) this lands near a PeV — the knee. (The compact form assumes r=4r=4 and carries energy dimensions with no stray factor of cc.) Everything traces back to one number — the compression ratio — which the Rankine–Hugoniot jump conditions hand over as a function of Mach number alone.

r=u1u2=(γ+1)M12(γ−1)M12+2  → M1→∞   γ+1γ−1(8)r=\frac{u_1}{u_2}=\frac{(\gamma+1)M_1^{2}}{(\gamma-1)M_1^{2}+2}\;\xrightarrow{\,M_1\to\infty\,}\;\frac{\gamma+1}{\gamma-1} \qquad (8)

where: M1=u1/cs1M_1=u_1/c_{s1} — upstream sonic Mach number; γ\gamma — adiabatic index. For a monatomic gas (γ=5/3\gamma=5/3) the strong-shock limit is exactly r=4r=4 — through equation (4), the origin of the universal q=4q=4.

Derivation AFractional energy gain per shock crossing

The goal is to show that a single up-and-down crossing yields, on average, ⟨ΔE/E⟩=43(u1−u2)/c\langle\Delta E/E\rangle=\tfrac{4}{3}(u_1-u_2)/c — a gain first order in the flow speed with no compensating loss term — by transforming an isotropic relativistic distribution between the upstream and downstream fluid frames and flux-weighting over the crossing angles. This is what separates fast first-order shock acceleration from Fermi's slow original mechanism. We work to first order in βV=(u1−u2)/c≪1\beta_V=(u_1-u_2)/c\ll1 and take v≈cv\approx c.

Step 1. Let a particle of energy EE cross from upstream into downstream, where the fluid frame moves toward it at relative speed V=u1−u2V=u_1-u_2. In the downstream frame its energy is E′=γVE(1+βVcos⁡θ)≈E(1+βVcos⁡θ)E'=\gamma_V E(1+\beta_V\cos\theta)\approx E(1+\beta_V\cos\theta), with θ\theta the pitch angle to the shock normal. Why: to first order the boost is just the Doppler factor 1+βVcos⁡θ1+\beta_V\cos\theta; the γV2\gamma_V^2 corrections are second order.

Step 2. The crossers are flux-weighted, not isotropic: the crossing rate is proportional to the normal velocity component ∝cos⁡θ\propto\cos\theta, so ⟨cos⁡θ⟩=∫0π/2cos⁡θ (2cos⁡θsin⁡θ) dθ=2/3\langle\cos\theta\rangle=\int_0^{\pi/2}\cos\theta\,(2\cos\theta\sin\theta)\,\mathrm{d}\theta=2/3. Why: an isotropic gas presents a cos⁡θ\cos\theta-weighted flux, biasing crossers toward the normal.

Step 3. The mean one-way gain is therefore ⟨ΔE/E⟩+=23βV\langle\Delta E/E\rangle_+=\tfrac{2}{3}\beta_V, and by symmetry the return crossing sees the upstream fluid approaching at the same VV and contributes an identical 23βV\tfrac{2}{3}\beta_V. Why: both fluids advance on the particle because the flow converges — there is no overtaking, energy-losing leg.

Step 4. Summing the two legs gives ⟨ΔE/E⟩cycle=2×23βV=43(u1−u2)/c\langle\Delta E/E\rangle_{\rm cycle}=2\times\tfrac{2}{3}\beta_V=\tfrac{4}{3}(u_1-u_2)/c, equation (1) with v→cv\to c. Why: the absence of any βV2\beta_V^2 term is the point — first-order Fermi gains at V/cV/c, whereas stochastic clouds leave only (V/c)2(V/c)^2. *As a check: 43(u1−u2)/c=0.0167\tfrac{4}{3}(u_1-u_2)/c=0.0167 for u1=5000u_1=5000, u2=1250u_2=1250 km/s, consistent with the 1.7% per cycle shown in the figure.*

Go deeper · Derivation B · 1 minThe universal test-particle spectrum from the transport equation
Derivation BThe universal test-particle spectrum from the transport equation

The goal is to solve the steady, planar Parker transport equation across a sharp shock and obtain the downstream distribution f0(p)∝p−3r/(r−1)f_0(p)\propto p^{-3r/(r-1)} directly, showing rigorously that the slope is fixed by the compression ratio and independent of the diffusion coefficient — the calculation that put the hand-waving cycle argument on a firm footing in 1978. We take a steady state (∂t=0\partial_t=0), a planar shock at x=0x=0 with u=u1u=u_1 for x<0x<0 and u=u2u=u_2 for x>0x>0, and seek f0(p)f_0(p) at the front.

Step 1. Away from the shock the flow is uniform, so equation (5) reduces upstream to u1f′=κ1f′′u_1 f'=\kappa_1 f''. Requiring f→0f\to0 far upstream selects the decaying f(x)=f0 eu1x/κ1f(x)=f_0\,e^{u_1 x/\kappa_1} for x<0x<0, an exponential precursor of scale κ1/u1\kappa_1/u_1 with gradient ∂xf∣0−=(u1/κ1)f0\partial_x f|_{0^-}=(u_1/\kappa_1)f_0. Why: particles diffuse κ1/u1\kappa_1/u_1 ahead of the shock before being swept back, and the inflow re-compresses this leaking-ahead population.

Step 2. Downstream the same balance u2f′=κ2f′′u_2 f'=\kappa_2 f'' admits a growing exponential, which boundedness at x→+∞x\to+\infty forbids, so f(x>0)=f0=constf(x>0)=f_0=\text{const} and ∂xf∣0+=0\partial_x f|_{0^+}=0. Why: nothing downstream re-accelerates or removes particles differentially, so once advected away they ride along at fixed ff.

Step 3. Integrate equation (5) across the thin front: the diffusive flux minus the momentum-advection term is continuous, [κ ∂xf−13u p ∂pf0]0−0+=0\big[\kappa\,\partial_x f-\tfrac{1}{3}u\,p\,\partial_p f_0\big]_{0^-}^{0^+}=0. Why: the discontinuity in uu concentrates all the adiabatic energization into a source at x=0x=0, coupling spatial diffusion to momentum gain.

Step 4. Insert the gradients: ∂xf∣0+=0\partial_x f|_{0^+}=0, κ1∂xf∣0−=u1f0\kappa_1\partial_x f|_{0^-}=u_1 f_0, and the jump uses u2−u1u_2-u_1, giving −u1f0−13(u2−u1) p ∂pf0=0-u_1 f_0-\tfrac{1}{3}(u_2-u_1)\,p\,\partial_p f_0=0. Why: this ties the number diffusing back upstream to the rate the compression pushes them up in momentum.

Step 5. Rearranged, this is a separable ODE, dln⁡f0dln⁡p=−3u1u1−u2=−3rr−1\dfrac{\mathrm{d}\ln f_0}{\mathrm{d}\ln p}=-\dfrac{3u_1}{u_1-u_2}=-\dfrac{3r}{r-1}, whose solution is the power law f0(p)=f0(p0)(p/p0)−qf_0(p)=f_0(p_0)(p/p_0)^{-q} with q=3r/(r−1)q=3r/(r-1); κ1,κ2\kappa_1,\kappa_2 have cancelled. Why: κ\kappa sets the precursor width and acceleration time, but the slope is a pure kinematic statement about compression — the signature of universality. *As a check: for r=4r=4 the result gives q=4q=4, hence N(>E)∝E−1N(>E)\propto E^{-1} and N(E)∝E−2N(E)\propto E^{-2}.*

Go deeper · Derivation C · 1 minCompression ratio from the Rankine–Hugoniot conditions
Derivation CCompression ratio from the Rankine–Hugoniot conditions

The goal is to derive the compression ratio r=(γ+1)M12/[(γ−1)M12+2]r=(\gamma+1)M_1^2/[(\gamma-1)M_1^2+2] and its strong-shock ceiling r→4r\to4 from conservation of mass, momentum, and energy flux across the front, because this single number is what the entire DSA spectral index reduces to. The ceiling is a hard thermodynamic bound: a monatomic gas cannot be compressed more than fourfold in one adiabatic shock, which is why q=4q=4 is the flattest non-relativistic test-particle spectrum. We work in the shock rest frame with an ideal gas of adiabatic index γ\gamma, subscripts 1 and 2 for upstream and downstream.

Step 1. Conservation of mass requires ρ1u1=ρ2u2\rho_1 u_1=\rho_2 u_2, so the compression r≡ρ2/ρ1=u1/u2r\equiv\rho_2/\rho_1=u_1/u_2 is at once a density and a velocity ratio. Why: whatever mass flows in flows out, so a denser downstream moves slower — this lets the kinematic u1/u2u_1/u_2 stand in for ρ2/ρ1\rho_2/\rho_1.

Step 2. Momentum-flux conservation adds ram and thermal pressures, P1+ρ1u12=P2+ρ2u22P_1+\rho_1 u_1^2=P_2+\rho_2 u_2^2. Why: lost ram pressure ρu2\rho u^2 reappears as thermal pressure PP, heating the downstream gas.

Step 3. Energy-flux conservation equates specific enthalpy plus kinetic energy, 12u12+γγ−1P1ρ1=12u22+γγ−1P2ρ2\tfrac{1}{2}u_1^2+\tfrac{\gamma}{\gamma-1}\tfrac{P_1}{\rho_1}=\tfrac{1}{2}u_2^2+\tfrac{\gamma}{\gamma-1}\tfrac{P_2}{\rho_2}. Why: kinetic energy becomes internal energy, and γγ−1P/ρ\tfrac{\gamma}{\gamma-1}P/\rho is the enthalpy of a compressible ideal gas doing PVPV work.

Step 4. With M12=ρ1u12/(γP1)M_1^2=\rho_1 u_1^2/(\gamma P_1), eliminating the downstream quantities gives r=(γ+1)M12/[(γ−1)M12+2]r=(\gamma+1)M_1^2/[(\gamma-1)M_1^2+2], equation (8). Why: three conservation laws fix the two downstream unknowns, leaving rr a function of M1M_1 and γ\gamma alone.

Step 5. In the strong-shock limit M1→∞M_1\to\infty the +2+2 is negligible and r→(γ+1)/(γ−1)r\to(\gamma+1)/(\gamma-1), exactly 44 for γ=5/3\gamma=5/3. Why: a hypersonic shock reaches the maximum compression the equation of state allows, and that ceiling of four is what makes q=4q=4 universal. *As a check: M1=3M_1=3, γ=5/3\gamma=5/3 gives r=3r=3 (q=4.5q=4.5); M1→∞M_1\to\infty gives r=4r=4 (q=4q=4).*

Limiting cases

The spectral index answers only to the shock strength; isolating the regimes shows how the clean q=4q=4 is both universal and fragile.

CaseResultMeaning
Strong non-relativistic shockr=4, q=4, N(E)∝E−2r=4,\ q=4,\ N(E)\propto E^{-2}Monatomic gas γ=5/3\gamma=5/3, M≫1M\gg1 — the canonical result, synchrotron α=0.5\alpha=0.5.
Weak shockr=(γ+1)M2(γ−1)M2+2→1, q→∞r=\dfrac{(\gamma+1)M^2}{(\gamma-1)M^2+2}\to1,\ q\to\inftyAs M→1M\to1 compression vanishes, the spectrum steepens without bound, acceleration ceases.
Cosmic-ray-modified (nonlinear) shockrtot>4, q<4r_{\rm tot}>4,\ q<4 at high ppCR pressure smooths the inflow into a precursor; high-pp particles sample larger rr, concaving the spectrum.
Ultra-relativistic shockq≃4.2 ⇒ N(E)∝E−2.2q\simeq4.2\ \Rightarrow\ N(E)\propto E^{-2.2}Beamed, anisotropic kinematics replace the r=4r=4 argument; a semi-universal ≈2.2\approx2.2.

Worked examples

1 · A young supernova remnant reaches the knee (fully worked)

A supernova blast wave moves at u1=5000u_1=5000 km/s into the interstellar medium — a strong shock, so take r=4r=4. Streaming instabilities amplify the field to B≈100 μB\approx100\,\muG, and the remnant is t≈1000t\approx1000 yr old. Find the per-cycle gain and escape probability, the spectral index, the maximum proton energy, and the acceleration time there.

Step 1. The downstream speed follows from the compression: u2=u1/r=5000/4=1250u_2=u_1/r=5000/4=\mathbf{1250} km/s, so the frames converge at u1−u2=3750u_1-u_2=3750 km/s. The mean fractional gain per cycle is ⟨Δp/p⟩=43(u1−u2)/c=43(3.75×106/3×108)=1.67%\langle\Delta p/p\rangle=\tfrac{4}{3}(u_1-u_2)/c=\tfrac{4}{3}(3.75\times10^6/3\times10^8)=\mathbf{1.67\%} — modest per pass, but relentless.

Step 2. The escape probability is Pesc=4u2/c=4(1.25×106)/(3×108)=1.67%P_{\rm esc}=4u_2/c=4(1.25\times10^6)/(3\times10^8)=\mathbf{1.67\%} — equal to the gain, no coincidence: at r=4r=4 the integral index is s=Pesc/⟨Δp/p⟩=1s=P_{\rm esc}/\langle\Delta p/p\rangle=1, so q=s+3=4q=s+3=\mathbf{4} and the differential proton spectrum is N(E)∝E−2N(E)\propto E^{-2}.

Step 3. With Bohm-limited diffusion the maximum energy is Emax⁡≃320ZeB u12 tE_{\max}\simeq\tfrac{3}{20}ZeB\,u_1^2\,t. Inserting Z=1Z=1, B=10−8B=10^{-8} T, u12=2.5×1013 m2/s2u_1^2=2.5\times10^{13}\ \mathrm{m^2/s^2}, and t=3.16×1010t=3.16\times10^{10} s gives Emax⁡=0.15×(1.6×10−19)(10−8)(2.5×1013)(3.16×1010)≈1.9×10−4E_{\max}=0.15\times(1.6\times10^{-19})(10^{-8})(2.5\times10^{13})(3.16\times10^{10})\approx1.9\times10^{-4} J =1.2 PeV=\mathbf{1.2\ PeV} — essentially the cosmic-ray knee at 3×10153\times10^{15} eV, the reason supernova remnants are the leading source theory for Galactic cosmic rays.

Step 4. Check the clock. For a 1 PeV proton, Bohm diffusion gives κ=E/(3ZeB)=1.6×10−4/(3⋅1.6×10−19⋅10−8)=3.3×1022 m2/s\kappa=E/(3ZeB)=1.6\times10^{-4}/(3\cdot1.6\times10^{-19}\cdot10^{-8})=3.3\times10^{22}\ \mathrm{m^2/s}, and with r=4r=4 the acceleration time is tacc=20κ/u12≈2.7×1010t_{\rm acc}=20\kappa/u_1^2\approx2.7\times10^{10} s ≈850 yr\approx\mathbf{850\ yr}. Since tacc<t=1000t_{\rm acc}<t=1000 yr the remnant just barely has time — and only because the field was amplified thirty-fold above the ∼3 μ\sim3\,\muG interstellar value. A PeV proton is marginally reachable, which is why field amplification is not optional.

2 · From Mach number to a measured synchrotron slope

A radio source shows a shock of upstream Mach number M1=3M_1=3 in a γ=5/3\gamma=5/3 plasma. What compression, spectral index, and synchrotron index does DSA predict, versus a strong shock?

Step 1. Rankine–Hugoniot, equation (8): r=(γ+1)M12(γ−1)M12+2=(8/3)(9)(2/3)(9)+2=248=3r=\dfrac{(\gamma+1)M_1^2}{(\gamma-1)M_1^2+2}=\dfrac{(8/3)(9)}{(2/3)(9)+2}=\dfrac{24}{8}=\mathbf{3} — moderately compressive, short of the strong-shock ceiling of 4.

Step 2. The phase-space index is q=3r/(r−1)=3(3)/2=4.5q=3r/(r-1)=3(3)/2=\mathbf{4.5}, steeper than the strong-shock q=4q=4. The differential number spectrum is N(E)∝E−(q−2)=E−2.5N(E)\propto E^{-(q-2)}=E^{-2.5}, so the accelerated electron index is pe=2.5p_e=2.5.

Step 3. Electrons with N(E)∝E−peN(E)\propto E^{-p_e} radiate synchrotron with Sν∝ν−αS_\nu\propto\nu^{-\alpha} and α=(pe−1)/2=(2.5−1)/2=0.75\alpha=(p_e-1)/2=(2.5-1)/2=\mathbf{0.75}. Compared with the strong-shock α=0.5\alpha=0.5: a weaker shock yields a steeper radio spectrum, so a measured α\alpha diagnoses the shock's Mach number — how radio indices in remnants and cluster relics are read as compression measurements.

Physics of the portrait

The mechanism is named for the man who supplied its idea a generation before anyone knew where it lived: Fermi imagined cosmic rays gaining energy off moving clouds, and the shock's converging flow made it fast and universal.

Origins · 1 minEnrico Fermi and how this was discovered
EF
Enrico Fermi
1901–1954 · cosmic-ray acceleration and the origin of the power law

Enrico Fermi — architect of the first nuclear reactor, of Fermi–Dirac statistics, and of the theory of beta decay — turned near the end of his life to the origin of cosmic rays. In a 1949 paper, "On the Origin of the Cosmic Radiation," he proposed that charged particles are energized by repeated encounters with moving magnetized clouds: head-on collisions add energy, overtaking ones remove it, and head-on encounters being slightly more frequent, the net gain is positive. But that imbalance is only of order (V/c)2(V/c)^2 — a second-order process, painfully slow and with no natural power law — and the idea languished until the mid-1970s. Then Krymskii, Axford, Leer and Skadron, Bell, and Blandford and Ostriker independently realized that a shock front reorganizes Fermi's clouds into a converging flow: every crossing becomes head-on, the gain rises to first order in V/cV/c, and a constant escape probability turns it into a scale-free power law set by the compression ratio alone. Fermi's stochastic guess became, three decades on, the sharp and universal theory of diffusive shock acceleration.

History
1949
— Fermi proposes stochastic second-order acceleration off moving interstellar clouds
1965
— Parker writes the cosmic-ray transport (diffusion–convection) equation
1977
— Krymskii, and Axford, Leer and Skadron, formulate first-order acceleration at shocks
1978
— Bell derives the power law microscopically and Blandford and Ostriker obtain it from transport theory
1983
— Drury reviews the theory, opening the nonlinear and field-amplification era

Going further

Texts. Carroll & Ostlie, An Introduction to Modern Astrophysics, 2nd ed. — cosmic rays, supernova remnants, shock physics · Longair, High Energy Astrophysics, 3rd ed., Ch. 17 — the definitive treatment of Fermi and diffusive shock acceleration · Dodelson, Modern Cosmology — transport and the diffusion equation · Binney & Tremaine, Galactic Dynamics, 2nd ed. — collisionless dynamics and the interstellar setting. The key numerical benchmarks are: the ratio of the per-cycle gain 43(u1−u2)/c\tfrac{4}{3}(u_1-u_2)/c to the escape probability 4u2/v4u_2/v gives s=3/(r−1)s=3/(r-1), q=s+3=3r/(r−1)q=s+3=3r/(r-1); the transport solution yields f0∝p−3r/(r−1)f_0\propto p^{-3r/(r-1)}; the compression formula r=(γ+1)M2/[(γ−1)M2+2]r=(\gamma+1)M^2/[(\gamma-1)M^2+2] gives r→4r\to4 for γ=5/3\gamma=5/3 and r=3r=3 at M=3M=3; the synchrotron index satisfies α=(pe−1)/2\alpha=(p_e-1)/2 and N(E)∝E−2⇔q=4N(E)\propto E^{-2}\Leftrightarrow q=4; and Emax⁡≃320ZeB u12 t≈1E_{\max}\simeq\tfrac{3}{20}ZeB\,u_1^2\,t\approx1 PeV for u1=5000u_1=5000 km/s, B=100 μB=100\,\muG, t=103t=10^3 yr, with tacc=20κ/u12<tt_{\rm acc}=20\kappa/u_1^2<t. The Emax⁡E_{\max} expression is dimensionally consistent with no stray factor of cc.

Prerequisites. Rankine–Hugoniot Shock Jump Conditions · Fermi Acceleration (Stochastic Energy Gain) · Diffusion and the Transport Equation · Magnetohydrodynamics and MHD Waves · Relativistic Kinematics and Phase Space. Leads to. Relativistic Jets and Launching Mechanisms · Blazars and Relativistic Beaming · Active Galactic Nuclei: Unified Model.

Ask the tutor: Ask me why the particle speed vv cancels out of the spectral index, or to take a shock of your own Mach number from compression to a predicted radio spectrum.

Why does the spectral index depend only on the compression ratio and not on the messy plasma physics?

Because the slope is a competition between two quantities that scale identically with the flow. The mean gain per cycle is 43(u1−u2)/v\tfrac{4}{3}(u_1-u_2)/v and the escape probability 4u2/v4u_2/v; their ratio is s=3u2/(u1−u2)=3/(r−1)s=3u_2/(u_1-u_2)=3/(r-1), and the particle speed vv — which carries the diffusion physics — cancels exactly. Diffusion, turbulence, and field strength govern how fast and how high particles climb, but climbing and leaking keep the same proportion at every energy, so the slope is purely kinematic — which is why shocks with wildly different microphysics inject nearly the same power law.

What is the difference between first-order and second-order Fermi acceleration?

Both rest on Fermi's insight that head-on collisions add energy while overtaking ones remove it. In the second-order (original) version the scatterers are randomly moving clouds; head-on and overtaking encounters nearly cancel, leaving only a residual of order (V/c)2(V/c)^2 — slow, with no natural power law. In the first-order (shock) version the converging flow removes the randomness: whichever way a particle crosses, the far-side scatterers approach, so every cycle is head-on and the gain is of order V/cV/c — fast enough to matter and automatically power-law.

If q = 4, why do people say cosmic rays go as E⁻²·⁷ rather than E⁻²?

Two separate steps. First, q=4q=4 is the phase-space index; the differential number spectrum injected at the source is N(E)∝E−(q−2)=E−2N(E)\propto E^{-(q-2)}=E^{-2}, not E−4E^{-4}. Second, that E−2E^{-2} is what the shock produces, but not what we measure at Earth: cosmic rays diffuse out of the Galaxy with a residence time falling roughly as E−δE^{-\delta}, δ≈0.3\delta\approx0.3–0.60.6, so higher-energy particles leak away faster and the observed spectrum steepens to about E−2.7E^{-2.7}. DSA is responsible only for the source spectrum; Galactic escape supplies the rest.

What actually provides the scattering that keeps particles near the shock?

Not an externally imposed turbulence — the particles largely make their own. As accelerated cosmic rays stream away from the shock faster than the Alfvén speed, they drive two field-amplifying instabilities: the resonant streaming instability, in which particles pump Alfvén waves at their own gyroradius scale, and Bell's non-resonant instability, driven by the cosmic-ray current, which can grow the field one to two orders of magnitude. Those amplified fields are the scattering centres of the walls-converging picture, which is why the thin X-ray rims of young remnants imply ∼100 μ\sim100\,\muG fields and why amplification is what lets a shock reach the knee at all.

What breaks the clean test-particle p⁻⁴ spectrum in a real, efficient shock?

When acceleration is efficient the cosmic rays carry a sizeable fraction of the shock's ram pressure, and their pressure gradient decelerates the inflow well upstream, forming a smooth precursor. High-energy particles diffuse far into it and sample the full velocity drop — a larger effective compression rtot>4r_{\rm tot}>4 — so they acquire a flatter-than-p−4p^{-4} spectrum, while low-energy particles feel only the weak subshock and steepen. The single power law becomes concave: this is nonlinear DSA, and the back-reaction also limits efficiency and reshapes thermal-particle injection.

Does DSA work the same way at relativistic shocks like gamma-ray-burst blast waves?

The spirit survives but the clean arithmetic does not. At an ultra-relativistic shock the front moves at nearly cc, so crossing kinematics become strongly anisotropic and beamed, and the flux-weighted 23\tfrac{2}{3} averages that gave 43(u1−u2)/c\tfrac{4}{3}(u_1-u_2)/c no longer apply. Transport calculations and simulations show the index converges to a semi-universal q≈4.2q\approx4.2, i.e. N(E)∝E−2.2N(E)\propto E^{-2.2}. Reassuringly, that pe≈2.2p_e\approx2.2 is just the electron index inferred from gamma-ray-burst afterglows, so relativistic first-order Fermi acceleration remains standard — with a different, non-Rankine–Hugoniot slope.

Where this leads