In the lecture on conservative form we rewrote ideal MHD as a set of local conservation laws. Once the equations are written in divergence form, discontinuous weak solutions are not a pathology but a mathematical possibility. In the Alfvén-wave lecture we also learned that a magnetized plasma supports several characteristic families—fast, Alfvén, and slow. MHD shocks are the nonlinear dissipative descendants of those same branches.
A shock forms when a driver outruns the ability of the surrounding plasma to respond smoothly. In an ordinary gas the key threshold is the sound speed. In a magnetized plasma the sharper statement is that the flow becomes super-characteristic with respect to one of the MHD wave families. Then the disturbance steepens, a thin internal layer forms, and the large-scale solution is described by jump conditions rather than by a smooth profile.
A shock in MHD is a thin non-ideal layer whose thickness is determined by viscosity, resistivity, heat conduction, or kinetic microphysics, but whose jump is determined almost entirely by the conservative fluxes outside the layer. Because MHD has several characteristic branches, it supports several shock families rather than only the single hydrodynamic compressive shock.
The modern theory of shocks begins with the Rankine–Hugoniot conditions of compressible gas dynamics. The extension to magnetized fluids was developed early in plasma physics by de Hoffmann and Teller, who showed in 1950 that ideal MHD admits multiple shock families rather than only the single hydrodynamic compressive jump de Hoffmann and Teller (1950). That richer structure is not an accident: it follows directly from the fact that MHD has several characteristic wave branches. Since then, shocks have become central in heliophysics, astrophysics, and laboratory plasma physics because they mediate the conversion of directed flow energy into heat, magnetic compression, and energetic particles Draine and McKee (1993).
Localized conversion layers. Shocks are important because they are the natural interfaces between a fast plasma flow and a more slowly moving or nearly stationary ambient medium. Examples include the solar wind striking a planetary magnetosphere, a coronal mass ejection plowing into the interplanetary medium, supernova ejecta sweeping through the interstellar medium, reconnection outflows terminating against surrounding plasma, and laboratory pistons propagating into a target plasma Draine and McKee (1993).
Across a shock, density, pressure, magnetic-field direction, and flow speed can all change on a length scale that is tiny compared with the macroscopic flow scale. The shock therefore acts as a highly localized conversion layer: ram pressure is turned into thermal pressure, magnetic pressure, and entropy. In a collisional fluid the required irreversibility can be supplied by viscosity and heat conduction. In a weakly collisional or collisionless plasma the same role is played by wave–particle interactions, ion reflection, phase mixing, and kinetic microstructure rather than by binary collisions alone.
Outer and inner problems. It helps to think of a shock as two coupled problems. The outer problem determines which upstream and downstream states are compatible with conservation laws. The inner problem determines how the plasma actually makes the transition between those two states inside the thin layer. Ideal MHD is already enough for the outer problem, but not for the inner one. That split is why one can derive the jump conditions in a purely fluid framework while still needing kinetic physics to understand the detailed structure of many space and laboratory shocks.
Conceptual warning. Ideal MHD does not create entropy. The macroscopic jump conditions therefore do not by themselves explain why a shock is irreversible. A physical shock is the singular limit of a thin internal layer in which some small non-ideal effect—viscosity, resistivity, heat transport, ion reflection, or wave–particle scattering—breaks time reversibility.
A one-line derivation. Suppose a conserved variable \(U\) satisfies
Planar-shock geometry. Take a planar shock at rest, with unit normal \(\vect {n}\) directed from upstream state 1 to downstream state 2. Decompose the flow and field into normal and tangential pieces,
What each condition means. Equation (34.5a) says that the mass flux
These equations are the precise mathematical sense in which shocks tie back to the conservative-form lecture: a shock is not a failure of the equations, but a weak solution of those same conservation laws.
Entropy must increase. The Rankine–Hugoniot conditions alone do not guarantee that a mathematical jump is a physical shock. A genuine shock must also satisfy the second law of thermodynamics. For specific entropy \(s\), one may write the entropy balance schematically as
Why ideal MHD still knows about shocks. Ideal MHD is formally dissipationless, so the outer equations do not display the microscopic mechanism that creates the entropy. Nevertheless, the jump conditions are still correct outside the layer because they are just conservation laws. The shock should therefore be viewed as the singular limit of a thin internal structure in which small viscosity, resistivity, heat transport, or kinetic processes break reversibility. The entropy increase is then the surviving macroscopic memory of that small-scale physics.
Evolutionary conditions. In MHD, the entropy condition still does not completely determine which discontinuities are physically realizable because there are several characteristic branches. One also asks whether a discontinuity is evolutionary: loosely speaking, the correct number of characteristics must impinge on the layer so that the downstream state is determined by the upstream data together with the internal dissipative structure. In isotropic ideal MHD, the standard compressive evolutionary shocks are the fast and slow shocks. Intermediate shocks are more subtle, and their admissibility depends on the model and on the detailed regularization of the layer Markovskii and Somov (1996).
Connection to the wave lecture. The classification of MHD shocks follows directly from the wave families derived in the Alfvén-wave lecture. For propagation along the shock normal, the fast and slow phase speeds are
Geometry versus family. It is useful to separate geometry from family. Geometrically, one speaks of parallel, perpendicular, and oblique shocks according to the upstream angle between \(\B _1\) and the shock normal \(\vect {n}\). Dynamically, one speaks of fast, slow, and intermediate shocks according to the MHD characteristic family involved. A shock can therefore be, for example, an oblique fast shock or a quasi-parallel intermediate shock.
| Type | Relation to wave branch | Typical signature |
| Fast shock | Nonlinear continuation of the fast magnetosonic branch | Compresses the plasma and typically increases \(|\B _t|\); common at bow shocks and piston-driven fronts. |
| Slow shock | Nonlinear continuation of the slow branch | Compresses the plasma while typically decreasing \(|\B _t|\); central in many reconnection-exhaust models. |
| Intermediate shock | Associated with the Alfvén branch | Rotates the tangential magnetic field and can involve reversal of one tangential component; admissibility is more subtle than for fast and slow shocks. |
| Switch-on shock | Special fast-shock limit | Upstream \(\B _{t1}=0\) but downstream \(\B _{t2}\neq 0\). |
| Switch-off shock | Special slow-shock limit | Downstream \(\B _{t2}=0\); often discussed in reconnection theory. |
| Rotational discontinuity | Alfvénic discontinuity, not a compressive shock | Field direction rotates while density, pressure, and \(|\B |\) change little. |
| Tangential/contact discontinuity | Non-shock interfaces | No mass flux through the layer; pressure balance replaces entropy production as the main constraint. |
|
|
Coplanarity. For a steady planar ideal-MHD shock with nonzero mass flux, the upstream field, the downstream field, and the shock normal all lie in one plane. The flow vectors also lie in that plane. This coplanarity is one reason oblique shocks can often be reduced to an effective two-dimensional geometry even when they are embedded in a fully three-dimensional plasma configuration.
The de Hoffmann–Teller frame. A particularly useful frame for analyzing oblique shocks is the de Hoffmann–Teller frame de Hoffmann and Teller (1950). From (34.5e) one sees that the combination
Why this frame helps. In the de Hoffmann–Teller frame, one can think geometrically rather than algebraically. Fast shocks correspond to stronger bending and amplification of the tangential field, while slow shocks reduce the tangential field and may approach the switch-off limit. Rotational discontinuities also look especially simple in this frame because they are basically Alfvénic rotations of \(\B _t\) with little compression.
Important limitation. A finite de Hoffmann–Teller frame requires \(B_n\neq 0\). For an exactly perpendicular shock, where the upstream field is tangent to the shock surface, the necessary tangential boost diverges and no finite de Hoffmann–Teller frame exists. The construction is thus most useful for oblique shocks and for quasi-parallel or quasi-perpendicular limits, rather than for the exactly perpendicular case.
Parallel and perpendicular limits. The fully oblique problem is algebraically richer, but the parallel and perpendicular limits already show the main logic. In the parallel case the magnetic field drops out, so one sees entropy selection in exactly the same way as for an ordinary gas-dynamic normal shock. In the perpendicular case the field is compressed with the plasma, so one sees explicitly how magnetic pressure modifies the downstream state and why the relevant threshold is the fast magnetosonic speed rather than the sound speed alone.
Example 1: parallel shock. Take the shock normal parallel to the upstream magnetic field, with \(\uvec _{t1}=\uvec _{t2}=0\) and \(\B _{t1}=\B _{t2}=0\). Then \(B_n=B\) is continuous and the magnetic terms cancel from the momentum and energy jumps. The Rankine–Hugoniot conditions reduce to the hydrodynamic normal-shock equations,
with \(B_2=B_1\).
Define the compression ratio and upstream sonic Mach number by
The downstream state then follows directly:
For an ideal gas the entropy jump is
For a concrete number, let \(\gamma =5/3\) and \(M_{s1}=3\). Then
Now take \(\gamma =5/3\) but \(M_{s1}=0.8\). Equation (34.20) still returns a nontrivial algebraic root,
Example 2: perpendicular shock. Now take \(B_n=0\), \(\uvec _{t1}=\uvec _{t2}=0\), and let \(B_1\) and \(B_2\) denote the upstream and downstream tangential field strengths. The induction jump condition gives
It is convenient to use the upstream Alfvén Mach number and plasma beta,
As an example, take \(\gamma =5/3\), \(\beta _1=1\), and \(M_{A1}=3\). Then
It is also useful to see what happens below threshold. With the same \(\gamma =5/3\) and \(\beta _1=1\) but \(M_{A1}=1.2\), one has \(M_{f1}\simeq 0.886<1\). The nontrivial positive root of (34.34) is then
Takeaway from the examples. These two limits show the logic that survives in the more general oblique problem. First, the conservative laws determine a small number of algebraic branches for the downstream state. Second, not all of those branches are physical. The admissible shock is the one that is compressive, raises the entropy, and moves the flow from super-characteristic upstream to sub-characteristic downstream for the appropriate MHD family.
Collisional versus collisionless layers. The jump conditions say nothing about the detailed width of the transition. In a collisional plasma, one expects a thickness controlled by viscosity, thermal transport, and possibly resistivity. In a collisionless plasma, the layer instead develops ion-scale or electron-scale substructure, reflected particles, and dispersive fields. The shock is still a large-scale MHD object in the sense that the upstream and downstream states obey Rankine–Hugoniot balance, but the actual dissipation is supplied by kinetic physics.
Why this matters conceptually. This split between outer jump conditions and inner layer physics is the same structural idea that appears in reconnection and tearing modes. In all three problems the large-scale solution determines the drive, while a thin non-ideal layer determines the irreversible outcome. In shocks, however, the layer is usually not centered on a rational surface or a neutral line; instead it is the narrow conversion region required to connect two bulk states that can no longer be joined smoothly.
Do not confuse a shock with every sharp front. A tangential discontinuity or contact discontinuity can also be thin, but it is not a shock because there is no compressive transition selected by entropy production. A rotational discontinuity can rotate the field sharply while remaining essentially Alfvénic. The word “shock” should be reserved for the irreversible compressive layers that satisfy both jump conditions and an admissibility condition.
Why shock experiments are hard. Laboratory studies of MHD shocks are challenging because one must produce a plasma that is simultaneously compressible, sufficiently magnetized, and driven fast enough to cross the relevant characteristic speed. In that sense shock experiments are more demanding than the classic liquid-metal Alfvén-wave experiments discussed earlier: wave propagation only requires magnetic tension and conductivity, whereas shock formation also requires a strong nonlinear drive and an internal dissipation mechanism. Modern shock experiments therefore span laser-produced plasmas, pulsed-power devices, and large magnetized plasma facilities.
Wisconsin programme. At Wisconsin, the WiPAL and WiPPL facilities described by Forest and collaborators provide a flexible setting for this programme Forest et al. (2015). On the Big Red Ball, Endrizzi, Egedal, Forest and co-workers resolved the structure of a supercritical perpendicular shock produced by a large-radius theta pinch. They observed magnetically driven supermagnetosonic perpendicular flows, a reflected-ion foot, Hall-current magnetic structure, and adiabatic electron heating, giving a particularly clear laboratory example of how a collisionless shock departs from the simplest single-fluid picture Endrizzi et al. (2021).
A broader account is given in Endrizzi’s dissertation, which treated the formation of both parallel and perpendicular collisionless shocks in the Big Red Ball and emphasized the bridge between MHD jump conditions and kinetic shock substructure Endrizzi (2021).
Shocks in reconnection-driven flows. On TREX, Olson, Egedal, Endrizzi, Forest and collaborators identified a shock interface between the far-upstream supersonic inflow and a region of magnetic-flux pileup during driven reconnection. There the shock is not merely incidental; it is part of the force balance that regulates the inflow and helps connect the measured layer structure to the Rankine–Hugoniot constraints derived above Olson et al. (2021).
Related Big Red Ball experiments have also characterized fast magnetosonic waves driven by compact-toroid injection along an applied field. Those measurements do not yet constitute a fully developed shock, but they isolate the fast branch that, at larger amplitude, steepens into one of the standard MHD shock families Chu et al. (2023).
- The jump conditions for a shock come directly from the conservative fluxes of MHD.
- Entropy production and evolutionary conditions are what distinguish a physical shock from a merely algebraic discontinuity.
- MHD supports multiple shock families because it supports multiple wave families.
- Ideal MHD determines the outer jump, but the internal shock thickness and irreversibility come from non-ideal transport or kinetic physics.
Frederic de Hoffmann and Edward Teller. Magneto-hydrodynamic shocks. Physical Review, 80 (4):692–703, 1950. doi:10.1103/PhysRev.80.692.
Bruce T. Draine and Christopher F. McKee. Theory of interstellar shocks. Annual Review of Astronomy and Astrophysics, 31:373–432, 1993. doi:10.1146/annurev.aa.31.090193.002105.
S. A. Markovskii and B. V. Somov. Magnetohydrodynamic discontinuities in space plasmas: Interrelation between stability and structure. Space Science Reviews, 78:443–506, 1996. doi:10.1007/BF00171927.
C. B. Forest, K. Flanagan, M. Brookhart, M. Clark, C. M. Cooper, V. Désangles, J. Egedal, D. Endrizzi, I. V. Khalzov, H. Li, et al. The wisconsin plasma astrophysics laboratory. Journal of Plasma Physics, 81(5):345810501, 2015. doi:10.1017/S0022377815000975.
Douglass Endrizzi, J. Egedal, M. Clark, K. Flanagan, S. Greess, J. Milhone, A. Millet-Ayala, J. Olson, E. E. Peterson, J. Wallace, and C. B. Forest. Laboratory resolved structure of supercritical perpendicular shocks. Physical Review Letters, 126(14):145001, 2021. doi:10.1103/PhysRevLett.126.145001.
Douglass A. Endrizzi. The Formation of Parallel and Perpendicular Collisionless Shocks in the Big Red Ball. PhD thesis, University of Wisconsin–Madison, 2021.
Joseph Olson, Jan Egedal, Michael Clark, Douglass A. Endrizzi, Samuel Greess, Alexander Millet-Ayala, Rachel Myers, Ethan E. Peterson, John Wallace, and Cary B. Forest. Regulation of the normalized rate of driven magnetic reconnection through shocked flux pileup. Journal of Plasma Physics, 87(3):175870301, 2021. doi:10.1017/S0022377821000659.
F. Chu, S. J. Langendorf, J. Olson, T. Byvank, D. A. Endrizzi, A. L. LaJoie, K. J. McCollam, and C. B. Forest. Characterization of fast magnetosonic waves driven by compact toroid plasma injection along a magnetic field. Physics of Plasmas, 30(12):122110, 2023. doi:10.1063/5.0174537.