Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 65 2 a Solution Created 2026-10-03 Updated 2026-10-14
Let the equilibrium ideal gas be at rest, with uniform and . This local wave calculation neglects gravity, viscosity and magnetic diffusion. Define the adiabatic sound speed , the Alfvén speed , and a wavevector , where and is its angle to the equilibrium magnetic field. Perturbations have dependence and phase speed .
The linearized ideal magnetohydrodynamic equations for mass conservation, pressure, induction and momentum giveThe relation between pressure and mass density follows from eliminating between the two material evolution equations; it applies to the nonzero-frequency wave sector. The induction result automatically has .
The MHD wave polarization is perpendicular to both the field and wavevector. It has and obeysThus the transverse Alfvén wave hasIn the - plane the two remaining velocity components instead obey the symmetric matrix eigenproblemTaking its determinant gives . Solving this quadratic equation in derives both magnetoacoustic wave phase speeds,The plus sign is the fast magnetosonic wave, the minus sign the slow magnetosonic wave. The radicand is nonnegative, since it equals . Both squared speeds are nonnegative. Each nonzero mode has forward and backward propagation; an advected entropy disturbance is a separate zero-frequency mode in this static equilibrium.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 65 2 c i Solution Created 2026-10-03 Updated 2026-10-14
Take , and . The transverse ideal magnetohydrodynamic induction equation and magnetohydrodynamic momentum equation are satisfied by , , with constant mass density. However, the longitudinal magnetohydrodynamic momentum equation also requiresHere is not constant. Balancing its gradient would requireThe adiabatic pressure equation instead gives , since this velocity is divergence-free and has no component along the spatial variation. No choice of removes the spatially varying time derivative. Thus a nontrivial finite-amplitude linearly polarized sinusoidal Alfvén wave is not an exact pure traveling wave in a compressible ideal fluid. The magnetic-pressure obstruction to a linearly polarized Alfvén wave is quadratic in , so the wave is a valid linear approximation and drives a compressive response at higher order. In an incompressible model pressure is a constraint variable; it is not governed by the same compressible adiabatic evolution law.
Allowing longitudinal flow and varying mass density does not rescue a regular one-dimensional periodic traveling solution with precisely this transverse magnetic field. To see this, let and use the traveling coordinate. Integrated continuity, induction and transverse momentum givewhere are constants. Eliminating givesAt any zero of , finite mass density and velocity require the right side to vanish. Wherever , the coefficient then vanishes and fixes , constant; continuity fixes , and adiabatic entropy transport fixes . The longitudinal magnetohydrodynamic momentum equation again contradicts the varying . The alternative makes transverse momentum force constant. Trivial cases such as or are excluded from the nontrivial wave conclusion.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 65 3 b Solution Created 2026-10-03 Updated 2026-10-14
On one poloidal flux surface, the field-line angular velocity is constant. In a frame rotating at that rate the relative velocity is , parallel to the magnetic field. The Lorentz force is perpendicular to this motion, and the Coriolis force also does no work. Centrifugal acceleration comes from the effective potential . Since entropy is constant along the surface, pressure work integrates to specific enthalpy , with along the flow.
Therefore kinetic energy relative to the rotating poloidal flux surface, enthalpy and effective gravitational-plus-centrifugal potential have a constant sum:This is a corotating energy integral, not the laboratory energy alone: Maxwell stress tensor stresses can transfer energy and angular momentum in the laboratory frame. In fact the expression equals , namely the total magnetohydrodynamic Bernoulli invariant minus . Differential rotation between surfaces does not invalidate the argument, because the chosen angular velocity is fixed along the particular surface being followed.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 75 3 b Solution Created 2026-10-03 Updated 2026-10-14
At leading anisotropic order, perpendicular Alfvénic turbulence evolves independently of the compressive fluctuations. The slow modes and the entropy mode are transported by that turbulence. The fast magnetosonic frequency is of order , much larger than the reduced Alfvén frequency; the low-frequency reduced magnetohydrodynamics ordering filters out that fast-wave sector.
The passive evolution can be made explicit for a uniform ideal adiabatic plasma. Let , , , and define the normalized entropy perturbationUse and . Perpendicular force balance makes the leading total-pressure perturbation vanish:The ideal entropy equation gives . The leading continuity and parallel-induction equations have the same compressive divergence term; subtracting them gives . Parallel momentum gives . PutThe two compressive equations therefore becomeLet be the tube speed and . ThenThus the slow and entropy fluctuations in reduced magnetohydrodynamics have characteristic amplitudes obeyingThe two slow-wave populations propagate in opposite directions along the bent field lines while being mixed across them by . The entropy perturbation is carried by the fluid without a restoring-wave frequency. A pure entropy perturbation has and , so its density variation is accompanied by a temperature change with no leading pressure variation.
The coefficients and advecting fields in these three scalar equations come from the Alfvénic cascade; the scalars do not enter the leading perpendicular Alfvén equations. They therefore develop small perpendicular scales through passive mixing. If a scalar has constant variance flux and is mixed on the Goldreich–Sridhar time , thenThe flux and amplitude need not equal the Alfvénic energy flux. This passive-spectrum statement uses the same locality and stationary inertial-range assumptions as part (a), and ignores additional damping. If a passive mode is absent initially and is not forced, its homogeneous leading equation keeps it absent; the Alfvénic cascade does not have to generate every compressive mode.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 75 3 c Solution Created 2026-10-03 Updated 2026-10-14
In the ideal, leading anisotropic system, there are five separately conserved quadratic cascade quantities: the two oppositely propagating Alfvén populations, the two slow-wave populations, and the entropy fluctuation. With the amplitudes of part (b), one convenient normalization iswhere . Constant background factors convert the velocity variances into modal energies and the entropy variance into an entropy-related free-energy contribution. These are the five quadratic cascade invariants of anisotropic magnetohydrodynamic turbulence.
To verify conservation rather than just count polarizations, the perpendicular Elsässer variables obeyDot each equation with and integrate. The propagation and nonlinear terms become surface fluxes of , and the pressure term becomes a surface flux because the corresponding field is solenoidal. For periodic boundaries, or boundaries with vanishing invariant flux, all these terms vanish and . Their sum is proportional to perpendicular kinetic plus magnetic energy, while their difference is proportional to perpendicular cross-helicity; the two Elsässer energy invariants contain both pieces of information.
Likewise the slow-mode equations giveHere is divergence-free and differentiates along the divergence-free vector , so both integrals are boundary fluxes. Finally gives . This proves all five quadratic conservation laws under the same boundary assumptions.
The two Alfvén cascades interact dynamically: each population strains the other and is needed for its nonlinear transfer between scales. Their integrated invariants are nevertheless conserved separately, so this interaction does not transfer one population's invariant into the other. The slow and entropy cascades are driven by the Alfvénic mixing and field-line motion, with no feedback on the perpendicular cascade at the retained order. Their injection rates set independent fluxes; those fluxes need not be equal, even when the resulting perpendicular spectra share the scaling.
The count is a count of independent quadratic modal cascade channels. Ideal passive advection also preserves higher moments, such as for arbitrary smooth , and analogous integrals for the slow characteristic scalars. These are not additional quadratic modal energies. Forcing and dissipative terms make the corresponding invariants source-and-sink balances; a stationary inertial range conserves their flux through scales rather than their total content in a continually forced domain.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 62 3 iii Solution Created 2026-10-03 Updated 2026-10-20
Before electron-positron annihilation in cosmology, photons contribute two helicity states; electrons and positrons contribute two spin states each. Each of the three light neutrino flavours contributes one active neutrino helicity and one antineutrino helicity. At a common temperature the effective number of relativistic energy degrees of freedom is thereforeUsing and in the scaling formula alone gives . Including the explicit expansion coefficient from (ii), but setting the unknown rate coefficient to one, gives . Thus the warranted conclusion is a freeze-out temperature of order , above the electron mass. The omitted weak-rate coefficient prevents a more precise prediction from this estimate.
Neutrino decoupling occurs before most electron-positron pairs annihilate. Afterwards neutrinos redshift freely, , while the photons receive the pair entropy. For the still-coupled photon-pair gas, cosmological entropy conservation gives . Its entropy degrees of freedom drop from to . Comparing this with the freely cooling neutrinos givesAfter annihilation, photon and neutrino temperatures differ. To write the total energy density as , the neutrino contribution must include that temperature ratio:This is the paper's post-annihilation . Merely deleting the electron term while keeping all species at the same temperature would be incorrect. For comparison the entropy count, normalized to , is . These results assume instantaneous neutrino decoupling and relativistic neutrinos; the two counts represent different thermal moments.
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 3 10E Solution Created 2026-09-24 Updated 2026-10-20
Write the photon energy density as , where by the Stefan–Boltzmann law. The photon gas has pressure and zero photon chemical potential. The first law of thermodynamics therefore givesDividing by and integrating gives the entropy density of a photon gas:The integration constant is fixed to zero at zero temperature, consistently with the third law of thermodynamics.
The inequality says interactions act much faster than the expansion time, maintaining local thermal equilibrium. For adiabatic reversible expansion with no additional source of entropy, cosmological entropy conservation fixes the entropy in a comoving volume. Since that volume scales as , and the relativistic degrees of freedom are fixed here, is constant. ThusDuring radiation domination, the Friedmann equation gives , and hence . Fast interactions alone would not exclude an additional entropy-producing process; changing relativistic species likewise changes the simple temperature scaling.
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 3 34E Solution Created 2026-09-24 Updated 2026-10-14
At fixed particle number, expand the entropy differential in . The definition of heat capacity at constant pressure and the Maxwell relation giveSimilarly expansion in , using heat capacity at constant volume and , givesAt constant pressure, . Also , so . Equating the two entropy expressions at constant pressure yieldsFor a mechanically stable system with positive isothermal compressibility, this also gives .
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 64 3 a Solution Created 2026-10-03 Updated 2026-10-14
Work in a gas region with and physical adiabatic exponent . With , each time derivative is times differentiation in , and each spatial derivative is times it. The continuity equation, Euler momentum equation and the entropy advection equation for pressure reduce toTheir coefficient determinant is , where the adiabatic sound speed is . If the determinant is nonzero, all derivatives vanish and the solution is uniform.
The apparent third characteristic does not give a smooth fan: on such an interval , whereas continuity requires , impossible for . It cannot support an isolated smooth entropy variation either. Subtracting times the logarithmic density equation from the logarithmic pressure equation gives . A nonzero continuous entropy derivative would force on an interval and give the same contradiction. Thus the specific entropy is constant throughout each smooth branch.
Every nonconstant branch therefore lies in one acoustic characteristic family. Let denote it, with , so . The constant entropy means , , and . Continuity gives . Differentiating then provesIn particular, is a constant Riemann invariant. All nonconstant smooth local solutions have the explicit formon an interval where . Along the left-going family () sound speed decreases with ; along the right-going family () it increases. These are the two self-similar ideal-gas rarefaction branches. Together with arbitrary uniform positive states they exhaust the smooth local solutions. A global solution can join them piecewise at fan edges, where derivatives generally jump, and can also have discontinuities; those do not constitute additional smooth branches.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 64 3 b iii Solution Created 2026-10-03 Updated 2026-10-14
A single rarefaction wave enforces two matching equalities: equal specific entropy and one common Riemann invariant. The inequality does not enforce either. If the entropies differ, one smooth isentropic fan cannot connect them; even if they agree, arbitrary end velocities and pressures need not satisfy either acoustic-family invariant.
The general positive-gas Riemann problem has a left acoustic wave, a middle contact discontinuity, and a right acoustic wave. Across the contact the two intermediate states have the same velocity and pressure , but can have different mass densities and entropies. Each acoustic wave is a rarefaction wave or a shock wave, depending on the required intermediate pressure relative to its adjacent initial state. Shocks satisfy the conservative jump conditions and increase entropy. A sufficiently large pressure contrast can produce a shock on one side even when the initial velocities obey .
For sufficiently rapid separation, the two rarefactions instead exhaust the gas and create vacuum between them. Their vacuum-edge velocities are and , so a finite vacuum gap occurs whenEquality is the limiting case in which the vacuum edges meet. Thus the additional features can be two acoustic waves, a contact carrying an entropy jump, shocks, or a vacuum region, rather than one fan joining the two original uniform states.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 64 3 b i Solution 2026-10-14
The initial-value problem is a Riemann problem. Both the one-dimensional Euler equations and the two constant initial states are unchanged under the simultaneous scaling for . There is no imposed length or time scale. Rescaling a physically admissible entropy solution therefore gives another solution with exactly the same initial data. Uniqueness of the physical Riemann solution makes the two coincide, soThe smooth pieces are consequently those in part (a), while shocks and contacts lie on rays . Across shocks one uses the conservative mass, momentum and total-energy equations and the entropy admissibility condition, rather than extending the smooth entropy-advection equation through the discontinuity. Scale invariance by itself, without selecting the unique admissible solution, would not justify the uniqueness step.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 2 10D b Solution Created 2026-09-24 Updated 2026-10-14
For a relativistic species at zero chemical potential, and , so its entropy density is proportional to . The Bose-Einstein distribution gives the bosonic normalization, while the fermionic thermal integral is of it. Species still in thermal equilibrium have ; freely streaming decoupled species can have another temperature and therefore contribute an extra factor when the total is expressed in units of . This gives the two terms and and their stated effective-degree-of-freedom weights.
After neutrino decoupling, the comoving entropy of the photon-electron-positron plasma is conserved separately from the neutrinos. Before electron-positron annihilation its effective entropy count is ; afterwards it is . Consequentlywhereas stays equal to its pre-annihilation value. HenceThis is the instantaneous-decoupling, negligible residual-electron approximation used in the question. Heating of the still-coupled plasma, not cooling peculiar to neutrinos, creates the temperature difference.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 2 31B a Solution Created 2026-09-24 Updated 2026-10-14
Characteristics beginning at have and carry the constant value . In the sloping interval, . For the resulting single-valued solution isIt is continuous and piecewise smooth, locally Lipschitz for , but not a classical solution across the two derivative corners. Its weak derivatives satisfy the equation, since the function itself has no jumps there. The sloping gradient is and blows up at , when those characteristics coalesce.
Thus the continuous characteristic description has maximal interval . If “weak solution” is taken literally, it does not cease to exist then: the entropy continuation is a shock with left/right states 1 and 0 and Rankine-Hugoniot speed , situated at for . It is a global entropy weak solution, with the step at as its limiting trace. This distinguishes breakdown of the characteristic parametrization from nonexistence of a weak continuation.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 2 31B b Solution Created 2026-09-24 Updated 2026-10-14
The exterior characteristics give for and for . In the gap put and . The Inviscid Burgers equation becomes . Matching the increasing states selects the rarefaction wave , soIt is continuous and piecewise smooth at positive times and satisfies the entropy condition. A discontinuous shock joining the same increasing states would be nonentropic.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 67 2 Solution Created 2026-10-03 Updated 2026-10-14
Introduce a constant filament bending modulus , which sets the mechanical force scale. The filament has intrinsic curvature of an elastic filament , and its actual signed curvature in a small-slope Monge representation is . To quadratic order one may identify material arc length with in , whileAt fixed positive extension force, the mechanical potential is bending energy minus . Replacing by leaves, up to a force-dependent constant,Its first variation isThe higher-order Euler-Lagrange equation is thereforeFor a Fourier transform relation, take a periodic bulk segment, or a long-filament bulk approximation with negligible endpoint contributions; these are necessary boundary conditions because the question specifies no filament end conditions. Using , every nonzero wavenumber obeysA zero displacement mode is an arbitrary translation. In a periodic representation a constant intrinsic-curvature mode contributes a constant bending cost but no bulk slope, so it does not contribute to the following deficit. The Parseval identity givesFor clarity about finite normalization, on a periodic interval of length define , . Then the equivalent exact quadratic-order formula isThis is force-extension of an intrinsically curved filament, determined by its particular fixed shape rather than by a thermal orientation entropy.
For an ensemble with quenched intrinsic curvature, first minimize each realization and then average the last expression, replacing by its ensemble mean. For stationary bulk disorder, let be the power spectrum, normalized so that its correlation is . The measurable mean deficit per unit projected length isIf the curvature is smooth enough that the second spectral moment is finite, one can take the large-force limit under this integral, obtaining the smooth-curvature high-force extension lawFor a stationary ensemble the integral is . Equivalently, the bulk slope is ; a plot of the mean deficit against measures the mean squared intrinsic-curvature gradient, if is known. The law is a smooth-curvature bulk result, not a universal law for every random filament. For example, ideal white intrinsic-curvature disorder with has an infinite second spectral moment; retaining the full integral instead gives in that ideal continuum model.
Endpoint conditions also matter. If each end is moment-free and has no transverse applied force, the natural conditions from the variation areat each end. These can produce a free-end curvature boundary layer of width . For a constant intrinsic filament curvature , integration of the higher-order Euler-Lagrange equation with zero transverse force gives and henceThe last formula follows by integrating , and tends to , despite the vanishing bulk curvature gradient. Thus a finite free-ended measurement must include or suppress endpoint bending before interpreting a bulk fit.
For the freely jointed chain, rigid links have independent orientations, so the restoring force is entropic. Let now denote absolute temperature, and with Boltzmann constant . In the usual three-dimensional chain, a segment at polar angle has force energy . Its angular canonical partition function and the full chain partition function areDifferentiating with respect to yields the exact mean projected displacementHere is the Langevin function; this is force-extension of a three-dimensional freely jointed chain, in the fixed-force canonical ensemble. At high extension, , soThus the smooth quenched-curvature bulk deficit falls as , whereas the three-dimensional freely jointed chain deficit falls as and depends explicitly on temperature. The distinction is mechanical straightening of a fixed intrinsic shape versus orientational entropy; thermal bending fluctuations of a stiff filament have not been included in the first calculation.
If the comparison chain is also restricted to two dimensions, it is a planar freely jointed chain rather than the three-dimensional model. In this case,The last identity follows directly by differentiating the integral defining ; and are Modified Bessel functions of the first kind. At large the angular weight is proportional to , giving . Consequently : the same inverse-force exponent, with half the three-dimensional coefficient. Both versions assume inextensible links and forces below the regime where the links themselves stretch.
Past exam of the mathematics course of the University of Cambridge 2010 ii Paper 2 10D Solution Created 2026-09-24 Updated 2026-10-14
The photon number density is obtained by integrating the Planck photon distribution. With ,The integral converges, since its integrand is of order near zero and decays exponentially at infinity. Hence , with independent of temperature.
For equilibrium radiation undergoing adiabatic expansion, the total entropy in a comoving volume is constant. Since the entropy density is , this means is constant. A comoving volume scales as the cube of the scale factor, soThis agrees with the cosmological redshift of each photon frequency. The conclusion uses entropy conservation during the expansion.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 49 1 ii Solution Created 2026-10-03 Updated 2026-10-07
A first-order phase transition exchanges two distinct global minima of the Landau free energy. The equilibrium free energy remains continuous, but a first derivative such as the magnetization or entropy jumps. A temperature-driven transition generically has latent heat; crossing between symmetry-related ordered phases instead has a magnetization jump without requiring latent heat. A continuous phase transition has no such order-parameter jump and usually has a divergent correlation length and nonanalytic higher responses.
For , and crossing zero, minimizing gives for and for . The minima merge continuously at zero. The curvature vanishes there, so the long-distance response becomes singular.
For , put . A nonzero stationary minimum satisfies . Equality with the free energy givesThe finite separation demonstrates the first-order phase transition. Metastability occurs where a nonglobal local minimum persists; its disappearance at a spinodal point is not the equilibrium coexistence criterion.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 49 2 Solution Created 2026-10-03 Updated 2026-10-14
Use a selected translationally invariant pure thermodynamic phase and define the connected lattice correlation functionAway from criticality its long-distance tail has an exponential factor , possibly multiplied by a power. Equivalently when this limit exists; different directions can have different lengths on an anisotropic lattice. At a thermodynamic critical point the correlation length diverges and the tail becomes algebraic. Differentiate with respect to the physical field appearing in the energy Statistical Hamiltonian. With , the correlation-function susceptibility sum rule isIn physical continuum coordinates the sum becomes . Differentiating with respect to the dimensionless source instead removes the explicit inverse-temperature factor. Below the transition, take a one-sided pure-phase limit rather than a macroscopic symmetric mixture.
A normalized blocking kernel assigns a probability or a delta constraint to a coarse configuration for each microscopic one, with . Define the blocked Boltzmann weight bySumming over proves exact equality of the partition functions. Repeated real-space renormalization group steps compose the kernels and integrate out shorter-scale variables. To retain equality one must keep all generated interactions and the field-independent constant; a finite truncation is an approximation. Long-distance observables are mapped through the corresponding coarse observables, not identified blindly with microscopic spins. In physical units,A subsequent coordinate rescaling restores the reference lattice spacing while expressing couplings in cutoff units.
Let be free energy per microscopic site. Invariance of givesThe constant transforms as . Therefore, with , the identity-operator contribution to renormalization-group free energy givesThe second equality follows by substitution and induction. The inhomogeneous term records eliminated-mode entropy, determinants, and normalization factors, all multiplying the identity operator; it is not an interaction with the retained spins. Strictly, this can contain regular background terms. After an analytic subtraction of an inhomogeneous renormalization recursion, the genuinely singular part satisfies the homogeneous scaling equation, except for possible logarithmic resonances.
A renormalization-group fixed point satisfies . Linearize in scaling coordinates : . A relevant operator has , an irrelevant operator has , and a marginal operator has and needs nonlinear analysis. These are logarithmic scaling eigenvalues; the discrete Jacobian eigenvalues are , not . The critical surface is the stable manifold obtained by tuning all relevant coordinates to zero. A repulsive renormalization-group trajectory leaves the fixed point along a relevant direction as the coarse-graining length grows. Stable and unstable manifolds become curved away from linear order.
Linear renormalization-group flows: attraction along a critical surface and repulsion in two relevant directions
. Details. The left section has , one irrelevant coordinate and a relevant thermal coordinate . Its critical surface is in that section. With two relevant variables, the full critical surface has codimension two: the second section shows repulsion in the plane at .
Assume an isolated fixed point with two relevant scaling fields, analytic changes from physical controls to , short-range isotropic scaling, no dangerously irrelevant variable in the thermodynamic scaling function, and no marginal or resonant logarithm. Let denote their scaling eigenvalues. The homogeneous singular free-energy density obeysChoose a stopping scale so the renormalized thermal field is order one. Irrelevant fields vanish at this scale. With and ,Continuous scale interpolation absorbs the immaterial integer stopping-scale convention. Nonuniversal thermal, field and free-energy metric factors can be included explicitly; the normalized functions depend only on the universality class. The and labels refer to and , which flow to different sides of the critical surface.
For clarity about the additive terms, let solve . If , its analytic coefficients areprovided the denominators do not vanish. Subtracting makes the recursion homogeneous. A vanishing denominator is a resonance and generically produces logarithms, which the simple power-law hypothesis excludes. In a convention where the regular field-dependent background has been subtracted, write and . This yields the requested formThe contain branch-dependent matching contributions; only is physically determined. The are nonsingular functions analytic through the thermodynamic critical point and represent the same regular Taylor background on the two sides, though either branch may be used to describe them. For the full free energy at nonzero field, the regular background is generally , not just . Adding an analytic identity-operator contribution proportional to provides a direct counterexample to an exact unrestricted formula; it changes no singular exponents. The printed expression is justified for the leading singular scaling form with that analytic field background removed. Confluent corrections from irrelevant fields are also omitted in this leading form.
Differentiate the singular scaling form, with one-sided derivatives in the ordered phase. It givesThe length transforms as , so . Thus the Rushbrooke scaling relation and hyperscaling relation follow by direct substitution:The same reasoning also gives . Hyperscaling relation relies on the assumptions above and can fail above an upper critical dimension because of a stabilizing dangerously irrelevant coupling.
For the universal specific-heat amplitude ratio, write at . Two temperature derivatives multiply both branches by the same dimensional and thermal metric factors. Away from logarithmic resonances and exceptional zero amplitudes, with the same heat-capacity sign convention on both sides. HenceThe functions and their matched branch constants are tied to the fixed-point theory; the constants are not independent arbitrary experimental parameters. If , this means the amplitudes of the subleading singular contribution after subtracting the analytic specific-heat background. A finite background ratio itself need not be universal.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 62 1 Solution Created 2026-10-03 Updated 2026-10-07
Write and . In this geometry the Lorentz force density is purely longitudinal and equals . The ideal magnetohydrodynamic induction equation becomes . Together with the continuity equation and adiabatic pressure evolution, the four primitive-variable equations areThey have the required quasilinear form withHere the notation in derivatives means , whereas denotes the longitudinal velocity. Spatial dependence is one-dimensional; time dependence is allowed in the wave problem.
Put , and assume and . Expansion of the characteristic polynomial givesTwo independent eigenvectors for can be chosen as and . For the two propagating branches, useful eigenvectors areThe repeated branch advects an entropy disturbance and a disturbance with unchanged total gas-plus-magnetic pressure. The branches are perpendicular fast magnetosonic waves, with speed relative to the fluid.
On a uniform background, a Fourier amplitude obeys . Thus the eigenvalues are the phase velocities for , and the four dispersion branches are twice and . The reduced geometry retains neither an independent transverse velocity nor an additional propagating Alfvén wave.
To construct each finite-amplitude simple wave in magnetohydrodynamics, trace a state-space curve with tangent , using as its parameter. Integrating the pressure and magnetic components givesThe constants and are the entropy and transverse magnetic flux freezing invariants along this state curve. HenceSince , substituting this curve into the original system reduces it to . By the chain rule,Thus the characteristic speed itself satisfies the Inviscid Burgers equation. For initial speed , its smooth solution is along , until the characteristic curves intersect. This derivation supplies genuine state curves for simple waves, not merely a linear dispersion relation.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 7 4 Solution Created 2026-10-03 Updated 2026-10-07
A kinetic model of a dilute gas. In the Boltzmann equation, is the particle number density in phase space, so counts particles near position and velocity . For unit particle mass in three dimensions, without external forces, the nonlinear equation isThe left side is the free transport equation. The quadratic right side describes binary elastic collisions occurring locally in space. A prescribed acceleration would add ; all conclusions below about energy or entropy must then include the appropriate force terms. Assume enough smoothness, velocity decay and finite moments to justify the calculations, and either periodic space or decay that removes spatial boundary fluxes. These are assumptions on a classical solution, not a general existence theorem.
The dilute-gas approximation neglects simultaneous many-body collisions and treats the interaction region as small relative to macroscopic spatial scales. Molecular chaos for the Boltzmann equation factorizes the distribution of two incoming particles as . It applies to incoming collision pairs; it does not assert that an interacting many-particle system stays exactly independent. This approximation closes the equation at the one-particle level and explains its nonlinearity.
Collision geometry and the gain-loss operator. Let and . A useful parametrization of an equal-mass elastic collision isThe center velocity is unchanged and the relative velocity is reflected in the plane normal to . ConsequentlyThe fixed- pre/post-collision transformation is an involutive orthogonal map of , so it preserves . Take a nonnegative collision kernel invariant under interchange of particles and reversal of the collision; for example . The nonlinear Boltzmann collision operator isAny convention about counting and is absorbed in . For a hard-sphere gas, this reflection parametrization has , with a positive constant determined by the sphere size and counting convention. Maxwell molecule collision operators instead have a collision frequency independent of after angular integration. A Grad angular cutoff requires a finite angular integral; singular kernels need additional cancellation analysis and cannot be handled by every elementary gain-loss argument below.
Writing , wheremakes the physical meaning clear: gain into velocity competes with loss out of . Along a free characteristic curve, put . Then . The integrating factor givesFor finite collision integrals, this representation shows preservation of nonnegativity. It is implicit, because both the gain and damping depend on ; it does not alone prove existence.
The weak collision identity and conserved quantities. The weak Boltzmann collision identity follows from particle interchange and the measure-preserving pre/post-collision substitution: it gives, for a velocity test function ,The factor comes from averaging the two particle labels. Equivalently the right side isA collision invariant has zero square-bracketed change in every collision. The functions , the three velocity coordinates, and are collision invariants by the geometric identities above. Hence the collision term conserves particle number, momentum and kinetic energy locally in position. Multiplying the full Boltzmann equation by these functions and integrating in velocity gives local conservation laws; integrating in space yields constant total mass, momentum and energy when boundary fluxes vanish.
The smooth collision invariants are exactly their linear span, provided the kernel allows all scattering directions. Here is a direct proof. If is unchanged by every collision, then for fixed center and relative radius , the sum is independent of the unit vector . Taylor expansion at forces to be independent of , so . Mixed derivatives vanish. Differentiating in a direction and commuting derivatives gives . Thus is constant andThis proof can be read for invariants; weaker regularity is handled distributionally. The multidimensional scattering hypothesis matters: in one dimension equal-mass elastic collisions only exchange the two velocities, and every function is then a collision invariant.
Entropy dissipation and the H theorem. Define the Boltzmann H functional , with . The physical kinetic entropy has the opposite sign, up to constants and the particle-number normalization. Particle-number conservation removes the in the derivative of ; spatial transport contributes only a boundary flux. With and , the symmetrized weak collision identity givesThe sign follows from monotonicity of the logarithm: . Zeros are treated by the usual extended nonnegative limit. This is the Boltzmann H theorem for the present kernel normalization, and is the Boltzmann entropy dissipation.
For a positive smooth and a kernel positive on all collision directions, equality requires in every collision, so is a collision invariant. Finite velocity mass then forces a negative quadratic coefficient and gives a local Maxwellian:Here is number density, is mean velocity, and is the temperature expressed in velocity-squared units, . Completing the square proves the formula; conservation of momentum and kinetic energy makes , so . Vacuum is another collision equilibrium.
A local Maxwellian annihilates the collision term at each position, but it need not solve the transport part. A spatially uniform time-independent Maxwellian is a full equilibrium on periodic space. On all of it has infinite total mass unless it is vacuum. Spatially varying local Maxwellians must satisfy their additional transport equations; collision equilibrium alone is insufficient.
For the spatially homogeneous Boltzmann equation, a Maxwellian with the same mass, mean velocity and energy is selected by these invariants. The relative entropy is nonnegative. Indeed, writing and using equal mass givesMoreover is a collision invariant, so the derivative of this relative entropy is . Thus minimizes at fixed conserved moments. Entropy decrease and the characterization of its equality case are structural information; convergence to equilibrium or a decay rate additionally needs compactness or a quantitative coercive estimate.
Moment equations and fluid closure. LetThe tensor is the kinetic pressure tensor and the kinetic heat flux. Put . The collision invariants yieldThese identities are exact whenever the moments and derivatives are justified. They are not a closed fluid system: and contain information beyond . For a local Maxwellian, Gaussian integration gives , and . Substitution gives the compressible Euler equations for a monatomic ideal gas, with pressure and ratio of specific heats .
This connection is naturally organized by the Knudsen number , the ratio of the mean free path to a macroscopic length. In an appropriate fluid scaling the equation reads . Formally, as , the dominant collision term imposes , hence local Maxwellian form, and the conserved moments evolve by the Euler equations. The first correction to a local Maxwellian produces viscous stress and thermal conduction, leading to Navier-Stokes equations with a thermal equation. This is a formal hydrodynamic limit of the Boltzmann equation; a rigorous limit requires estimates, preparation of data and treatment of boundaries, and is not justified merely by inserting .
Linearization and its dissipative structure. Around a fixed positive Maxwellian , write . The linearized collision operator on the relative perturbation isThis follows by expanding the two quadratic products to first order and using . In the weighted Hilbert space with inner product , collision symmetrization givesThis dissipation form of the linearized Boltzmann operator and its corresponding polarized identity prove symmetry on a common domain where the integrals converge. Its nullspace is spanned by under the same nondegenerate scattering assumption, exactly the conserved modes. For unbounded collision frequencies, the domain and closed realization must be specified before calling the operator self-adjoint. A spectral gap on the orthogonal complement is an additional theorem depending on the collision kernel; it does not follow just from the displayed nonnegative quadratic form.
Analytic scope and irreversibility. With an angular cutoff and bounded collision kernel, the spatially homogeneous equation has a simple local well-posedness argument in velocity . The pre/post-collision substitution gives , so the quadratic map is locally Lipschitz. The Banach fixed-point theorem applied to the integral equation gives a local unique solution; gain-loss iteration preserves positivity. For nonnegative solutions the conserved mass keeps the norm bounded, allowing continuation for all time. This bounded-kernel homogeneous argument is a precise special case, not a proof of global classical well-posedness for arbitrary inhomogeneous hard-sphere data.
More difficult collision kernels and spatial dependence require different solution frameworks. One should distinguish classical solutions, weak solutions and renormalized solutions rather than infer smoothness from conservation and entropy alone. For instance, a renormalized Boltzmann solution uses nonlinear bounded transforms to make sense of collision and transport terms when their raw integrability is insufficient. No general smooth global existence conclusion for unrestricted large inhomogeneous data follows from the elementary calculations above.
Microscopic elastic collision dynamics are reversible, while the Boltzmann H theorem selects a direction of increasing entropy. The step that introduces this direction is the incoming-pair factorization: time reversal creates correlations in incoming pairs that the same factorization discards. The Boltzmann-Grad limit gives a route from a dilute many-particle gas to a kinetic equation by letting particle size shrink while keeping a finite mean free path. Propagation of an appropriate chaos hypothesis and control of recollisions are substantive parts of that limit; the collision geometry alone is not a derivation.
