For , the exponential variational trial for a square-root half-line well satisfies the wall boundary condition and has norm . integration by parts has no boundary term and givesThe supplied gamma integral givesSetting yields the unique minimum,At the minimum , so the variational ground-state estimate isThe energy diverges as or , confirming that the stationary point minimizes the trial energy.
On periodic ring states the angular-momentum index is an integer. At the stated resonance,so is the identity on every orbital state. After steps from the normalized ground state,Its phase varies in space but its position probability density remains uniform. Periodicity permits integration by parts, givingConsequentlyEquivalently, the angular-momentum probabilities are , with . The mean angular momentum remains zero while its variance grows as . This quantum resonance of the kicked rotor gives coherent ballistic energy growth. The Bessel second-moment identity connects the momentum spreading to that quadratic energy law; an incoherent random walk would instead give linear energy growth.
Original resonant kicked-rotor calculation: angular-momentum probabilities and the quadratic kinetic-energy law
. Details. Canonical probabilities. A canonical ensemble describes a system of fixed particle number and fixed external parameters such as volume, weakly coupled to a much larger thermal reservoir. They exchange energy and reach thermal equilibrium, while the reservoir's temperature stays effectively constant. The interaction energy is negligible in the state counting. The combined isolated system is described by equal probabilities for its accessible microstates.
If its total energy is , the probability of a particular system microstate is proportional to the reservoir multiplicity at . Writing that multiplicity as , expand its entropy:The large-reservoir limit suppresses the higher terms. Normalization therefore givesThe sum counts individual microstates; when grouping them by energy, their state degeneracies must be included. This is the canonical partition function.
Classical orientational heat capacity. Hold the magnetic field fixed. Orientations of the magnetic dipole moment have the solid angle measure . With , the angular partition function isChoosing a normalized angular measure would remove , with no effect on the energy derivatives. Differentiating at fixed ,The angular average is the Langevin function. Since ,This is the heat capacity of a classical magnetic dipole, in for one magnetic moment. The word specific here refers to that single moment; independent magnetic moments have times this heat capacity. At the energy is independent of orientation and , obtained by the continuous limit. At fixed nonzero , the classical low-temperature limit instead gives .
Equipartition and its proof. The equipartition theorem states that an independent quadratic term in a classical Hamiltonian, with , contributes to its mean energy. One needs a canonical measure that factors as times the measure of the remaining variables, convergence of the integrals, and vanishing boundary terms. The coordinate must not be restricted by a thermally important hard boundary or a coupled constraint.
For , integration by parts givesIntegrate over all other variables and divide by . It follows thatThe same reasoning applies to quadratic momenta among the canonical variables. It is the number of quadratic energy contributions that is counted, not an unrestricted count of coordinate labels.
Two soft orientational directions. When , the moment is concentrated near alignment. Introduce local Cartesian coordinates in the tangent plane and . To leading order,The two quadratic terms each contribute , soThis agrees with the exact angular calculation. Treating alone as one Cartesian quadratic variable would miss the measure and the second tangent direction. There are no extra rotational kinetic terms in the stipulated Hamiltonian; adding such terms would be a different model.
Quantum spin one. The spin projections are , with . Put , where is the gyromagnetic ratio. The three energies are , irrespective of the sign of . Relative to the ground state they are . Thus, with ,Differentiation, or the canonical energy fluctuation identity , givesIn the requested limit,This spin-1 paramagnet has a nondegenerate ground state and a finite spectral gap. Excitations are exponentially rare, so its heat capacity tends to zero. Classical orientational equipartition assumed a continuum of arbitrarily small excitation energies; that assumption fails when . This is a change in the accessible state spectrum, not a violation of the equipartition theorem within its classical domain.
Past exam of the thermal and statistical physics course of the University of Cambridge 2019 Section B 6 Solution Created 2026-10-18 Updated 2026-10-20
Occupation and the two-dimensional Fermi energy. For an independent single-particle state, the Fermi-Dirac distribution isThe chemical potential enforces the chosen mean particle number through , including spin states in the sum. It is common to all states in particle-exchange equilibrium and must generally change with temperature or field when the total mean number is held fixed. At zero temperature, the distribution becomes a Heaviside step function at the Fermi energy.
Let the sample area be and let be its internal spin spin degeneracy. In the continuum limit, filling the disk givesThereforeFor spin-half fermions with both spin states available, and ; for a spin-polarized gas . The question does not specify the area or spin degeneracy, so these conventions must be stated rather than extracting an energy from alone. Although the original text calls momentum, the supplied dispersion makes it a wave vector; physical momentum is . The result agrees with the constant two-dimensional free-electron density of states. Discrete level spacings in a finite sample would require a specified boundary spectrum.
One level occupied on average. Write and . The two mean spin occupations areImposing gives , hence . Thus, for every positive temperature,The total magnetic moment is . ConsequentlyThis is the grand-canonical spin susceptibility of a half-filled single level. Empty, singly occupied and doubly occupied orbital states are allowed in the grand canonical ensemble. At zero field, the singly occupied configurations together have probability , explaining the factor of two relative to one permanent spin-half moment. If exactly one electron were required at all times, a canonical two-state partition function would instead give and . That different answer does not implement the stated average-number constraint.
Density-of-states formula for the susceptibility. Here is the zero-field single-spin density of states. Regard its argument as the full spin-shifted energy. The shifted functions are , soThe total number is even in ; thus at fixed total number on a smooth branch. More directly, terms from cancel in the spin difference because the two densities coincide at zero field. To first order,It follows thatFor a physical energy band, take to vanish below its lower edge. Provided the endpoint term vanishes, integration by parts also givesThis form displays the positive response and the narrow thermal window around . A sharp band edge is included by the corresponding distributional derivative in the first expression. The susceptibility defined here is the derivative of total magnetic moment with respect to , with units ; it is not automatically a dimensionless SI volume susceptibility. A density-of-states convention per unit volume likewise gives a response per unit volume. These are the field conventions for magnetic susceptibility.
Chemical potential at fixed number. Define the integrated single-spin state countThe probability kernel has unit integral, mean , and variance . Using integration by parts,Expand about . The linear term integrates to zero, while givesThis is the number form of the Sommerfeld expansion. Since at zero temperature, set with :ThereforeThe coefficient can be obtained directly. With ,For example, the sum follows by expanding on , using the evenness of the kernel and integrating each exponential. Thus . A density of states increasing with energy gives a downward quadratic chemical-potential shift. For the constant two-dimensional density of states that shift vanishes to this order; a finite lower band edge still allows exponentially small corrections.
Low-temperature susceptibility at fixed number. Apply the same kernel expansion to itself:The shift of must be retained in the first term. Writing and similarly for its derivatives,ConsequentlyThis is the fixed-number low-temperature Pauli susceptibility. The contribution is thermal broadening at fixed chemical potential; the contribution enforces fixed total number. Both are needed. If the density of states were instead defined with both spin directions included, the prefactor would be absorbed into that definition. Only the spin response has been calculated; no orbital magnetic response is included.
The expansion assumes , sufficient smoothness near the Fermi energy, and a temperature small compared with the energy scale over which changes or encounters a band edge. It does not apply unmodified at a singular density of states. For the ideal two-dimensional parabolic band, , so the leading Pauli response is temperature independent, consistently with the earlier state count.
Let . Two applications of integration by parts givewhere additive constants can be absorbed at the end. Solving for yieldsDifferentiating the answer gives .
Since , the function is strictly increasing on its support. For ,and for . Differentiating the cumulative distribution function givesThe density value at the single point is immaterial. Hence has an exponential distribution with rate . Direct integration by parts, or its standard expected value, yields
On an interval avoiding , divide by to obtain the first-order linear ordinary differential equationAn integrating factor is . Multiplying through and using the product rule givesBy integration by parts, . ConsequentlyThe formula differentiates back to the original equation. Although division excluded , this formula has a smooth extension there with , satisfying the original equation at zero as well.
Let for . Since on the negative half-line, almost surely. We have almost everywhere. On a finite interval, integration by parts givesThe lower endpoint contributes zero. The stated hypothesis gives as . Taking the increasing limits of the two nonnegative integrals proves the tail-integral identityThe equality allows the value ; the boundary hypothesis alone does not force a finite expectation. In fact the formula for nonnegative also follows directly from Tonelli theorem, without that additional boundary hypothesis, by integrating against the probability density function.
For positive bounds, integration by parts with and givesFor negative bounds, specify the complex logarithm on the negative real axis. With argument , namely the upper-bank boundary value of the principal logarithm, . Substitute in the real part:More generally, a continuous branch taking argument replaces by . The imaginary part depends on that choice. The analytic principal branch excludes the negative axis itself, so the boundary-value convention is part of this interpretation.
Assume sufficient decay and differentiability to justify integration by parts and exchange of integrals; Schwartz functions are one convenient class. With the stated Fourier transform convention, integrate first in :The boundary contribution vanishes under the decay assumption. The Fourier transform of a derivative consequently turns constant-coefficient spatial differential operators into multipliers. Repeating it gives , so the heat equation becomes an independent temporal ordinary differential equation at each wavevector.
Periodic domain Created 2026-09-24 Updated 2026-10-14
A periodic domain identifies opposite faces of a fundamental cell, producing a flat torus. On an interval , smooth periodic boundary conditions require and matching spatial derivatives. These endpoints are one location, rather than two independently controlled walls. Periodic integration by parts has no boundary term, and zero-mean functions have no zero Fourier mode.
Photon angular temperature moments 2026-10-06
Let and with comoving energy . If vanishes at both integration endpoints, integration by parts gives . The kinetic stress-energy tensor then gives , , , and . If is used, the last expression changes sign. Frequency independence of is essential to this common temperature description.
Photon energy density 2026-10-06
The temporal-temporal component of the photon stress-energy tensor in a local orthonormal tetrad. For an isotropic one-particle distribution function expressed using comoving energy , it is . A thermal photon temperature perturbation gives a first-order directional energy perturbation four times its fractional temperature change. Boundary conditions on the distribution justify this factor through integration by parts.
Pohozaev identity 2026-09-28
A Pohozaev identity is an integral identity for a nonlinear partial differential equation, obtained by multiplying the equation by a scaling vector field such as and applying integration by parts. It relates kinetic, potential, and nonlinear energies.
Power-complement integral recurrence 2026-10-18
For and a nonnegative integer , integration by parts gives, when ,The endpoint term vanishes. ThereforeRepeated application yields . The integration by substitution also identifies with an Euler beta function. A related weighted integral follows immediately from the same substitution:
Power-transformed Taylor–Goldstein energy identity Created 2026-10-05 Updated 2026-10-14
For a mode with nonreal phase velocity , let , choose a continuous branch of , and put . Under impermeable boundary conditions, multiplying the transformed Taylor–Goldstein equation by and applying integration by parts givesChoosing gives the Miles–Howard theorem; choosing makes the real phase velocity of an unstable mode a weighted mean of .
For a nonnegative integer , this Coulomb potential energy eigenstate has principal quantum number and maximal magnetic quantum number. Put . Including the spherical volume element, its radial probability density is a gamma distribution proportional to ; its polar density is proportional to , while its azimuth is uniform. Radial and polar variables are independent. Their moments satisfyThe radial identities follow by successive integration by parts; the angular identity follows from .
Set . Chebyshev's inequality and Markov's inequality give and . By the union bound, outside an event of probability at most , the point lies at distance from the equatorial circle of radius . The quantum state therefore concentrates near a classical circular orbit in relative units as grows. The absolute orbit radius and absolute transverse width both grow; this statement does not assert localization in a fixed narrow tube.
Proof outline of Hardy's integral inequality 2026-10-14
For a nonnegative , first set and . These bounded functions vanish near zero and have compact support. Their averages have finite Lp norms: they vanish near zero and decay as beyond . Integration by parts givesThe boundary term vanishes at zero because is zero there, and at infinity because is eventually constant and . The inequality is Hölder's inequality with conjugate exponents and . Divide when ; the zero case is immediate. Since and , the monotone convergence theorem proves the full bound without presupposing that has finite Lp norm. Apply it to for the signed or complex case.[ref]
Inequalities by Godfrey Harold Hardy and others. Inequalities, second edition, §9.8(ii), truncation and integration by parts, printed pp. 242–243
