The exponent is , where
is the classical action of the piecewise-linear interpolating path. For smooth paths its limit is . The discretization defines the quantum integral; it does not assert that typical quantum paths are differentiable. Weighting histories by their action phase is the central formulation of the original path-integral paper.[ref]
When action differences on the experimental scales are large compared with , nearby nonstationary phases cancel. stationary phase selects at fixed endpoints, hence . The surviving free classical trajectory is , with action . This is the semiclassical mechanism; it does not mean each individual path becomes a classical path.
Use normalized instantaneous modes and expand . Differentiating at fixed gives
For , integration uses
so the moving-wall derivative coupling is
For the normalization derivative and the remaining integral cancel exactly, giving zero. The moving integration endpoint contributes no boundary term because every mode vanishes there. Therefore
The real coupling matrix is antisymmetric, as required by conservation of total probability.
The quantum propagator is the position-space kernel of the time-evolution operator: . For a time-independent Quantum Hamiltonian, . Inserting a complete orthonormal energy eigenbasis gives
A continuous spectrum requires the corresponding integral. At equal times, completeness makes this kernel a Dirac delta function.
The angular action is . In each winding sector, write with zero at both endpoints. The cross term vanishes and the Gaussian fluctuation integral is the free-particle prefactor with mass replaced by . Thus
Equivalently, multiply the line kernel for displacement by to change its measure from arc length to angle. The quadratic action makes the classical-path sum exact, rather than merely a stationary phase approximation. Real-time sums are understood with the usual negative imaginary part of and its boundary limit.
orthogonality of angular modes makes the one-body term , where
The contact-interaction integral supplies , expressing angular momentum conservation. Within modes zero and one, the four mixed permutations each reduce to . The two remaining terms have all four indices equal. Thus
This is the projected two-mode Quantum Hamiltonian; the full interaction could scatter into excluded modes, so the truncation is an assumed approximation rather than an exact invariant subspace of the complete ring problem.
In the first Born approximation, let be the transferred wave number. The angular integral in the three-dimensional Fourier transform is , so
Writing and , with value one at zero, the delta-shell Born amplitude gives
For the scattering is approximately isotropic, with total cross section . For it has a forward lobe of angular width of order and oscillatory zeros where . At a fixed nonzero scattering angle, its envelope decreases as . The right-hand panel of the figure shows this angular dependence.
For real the first-order scattering amplitude is real, so inserting it literally in the optical theorem would predict zero total cross section, contrary to its nonzero squared modulus. The first Born amplitude alone does not satisfy the optical theorem at order . This is an order-of-approximation issue: the squared first-order amplitude is already second order, and the second Born term supplies the required second-order imaginary forward amplitude. At first order both sides vanish. A weak-shell regime is needed for the Born truncation itself to be accurate.
The Fermi-Dirac distribution gives the mean occupancy of a single fermion state:
Its maximum occupancy of one expresses the Pauli exclusion principle. A spatial orbital with two spin states can hold two electrons because they are different single-particle states. At zero temperature, the occupation is a step at the Fermi energy ; at low nonzero temperature, occupation changes appreciably only in an energy shell of width of order about the chemical potential.
Consequently, most conduction electrons cannot absorb small thermal energies into already occupied states. Only a fraction of order participates, where . For a normal metal with a smooth density of states , including both spin states and using the total-system normalization, the Sommerfeld expansion at fixed particle number gives
and therefore
For a three-dimensional free electron gas, , so . This is much smaller than a classical equipartition estimate at . The chemical potential must adjust with temperature to maintain ; treating it as fixed while differentiating an energy integral gives the wrong fixed- calculation in general.
The lattice adds a Debye contribution at temperatures well below the Debye temperature. Hence
A plot of measured against can separate the electronic intercept from the phonon slope. calorimetry must account for the heat capacity of the sample holder, heat leaks, thermal equilibration and thermometer calibration. A magnetic impurity contribution or a superconducting transition can invalidate this two-term fit; the prediction is for the normal metallic state in an appropriate low-temperature interval. Differences from a free-electron coefficient can reveal quasiparticle effective-mass enhancement or nontrivial electronic structure rather than a failure of Fermi statistics.
Figure 1.
Original ideal-box condensate fraction and Fermi-Dirac occupation curves
. Details.
First solve the equation of state for the volume:
The Gibbs free energy has differential . At fixed temperature and particle number, integrate between the two pressures:
Consequently
Use , keeping both endpoint pressures fixed while differentiating the difference:
Equivalently, the Maxwell relation gives , whose pressure integral is the same result. These are the Gibbs free-energy change for a pressure-linear gas correction identities. The physical path requires and positive volume throughout. The correction has units of volume per particle, so each term in is an energy and each term in has units of energy per kelvin.
Fermion occupation and ordinary metallic heat capacity. The Fermi-Dirac distribution for a single-particle state is
At low temperature it changes appreciably only in an energy window of width of order about . If the full density of states is smooth and nonzero there, only about states change population. Each excited particle or hole carries energy of order relative to the Fermi surface, so is of order . Differentiation therefore gives .
More precisely, the fixed-number Sommerfeld expansion gives
Here includes all counted internal species. This argument requires and a density of states varying slowly across the thermal window; a band edge or vanishing density of states can change the power law.
Two-dimensional linear dispersion at zero chemical potential. Let count identical positive-energy branches, keeping the state-counting convention explicit. The number of wavevector states in a ring of radius is . With , this gives
At , the thermal energy of this branch is
The dimensionless integral is . Differentiating gives
This is the heat capacity for a two-dimensional linear fermion dispersion. A physical neutral particle–hole-symmetric Dirac cone also has electron holes in its filled negative-energy band. Their excitation energy gives an equal contribution, doubling for the same cone count. The scaling is unchanged. For a positive-energy-only gas, holding allows its mean particle number to vary; a neutral two-band surface instead maintains zero net excess charge as electron–hole pairs are thermally excited. These conventions should not be conflated when specifying an exact coefficient.
Nonzero chemical potential. The ordinary metallic regime is
The thermal window then lies far from the cone tip. Since , its fractional change across that window is only of order . Treating it as locally constant restores the Sommerfeld result . When is comparable to or larger than , the window probes the vanishing density of states near the tip and crosses toward the neutral behavior, provided the linear dispersion remains valid.
Bulk phonons and the surface-to-bulk comparison. For the topological insulator model, assume bulk electronic excitations are frozen out while the conducting surface remains active. In three dimensions, acoustic phonons have a density of modes proportional to . Normalize the Debye spectrum to modes:
The thermal part of the energy is
At , extending the upper integration limit to infinity introduces an exponentially small error. With and ,
Temperature-independent zero-point energy makes no contribution to this heat capacity. The requested ratio consequently scales as
For a fixed shape and composition, and , so the ratio grows as . Smaller samples and lower temperatures favor the surface contribution. It dominates if the dimensionless right-hand side, including its state-counting prefactor, exceeds unity. This is the surface-electron and bulk-phonon heat-capacity crossover.
The continuum electronic law also requires a thermal energy larger than the surface finite-size level spacing, of order . The phonon continuum has its own finite-size cutoff. Therefore dominance obtained by formally taking cannot always be inferred from the two continuum power laws alone.
There is a numerical-normalization qualification in the paper. Combining the explicit one-positive-branch result above with the conventional -mode Debye normalization gives ratio prefactor ; including electron holes doubles it. For , this is approximately before that doubling, rather than the supplied . The problem specifies neither a cone/spin multiplicity that equates these nor another mode normalization. Its supplied prefactor is therefore used as the stipulated approximation for the requested numerical estimate, rather than claimed as an exact consequence of the single-branch count.
Numerical estimate. A cubic sample of volume has side . Counting the conducting surface on all six faces gives
For one atom per cubic cell of side ,
Use and . Inserting the stated , and into the paper's supplied prefactor gives
Thus bulk phonons dominate at this temperature in this estimate. If only one face contributes, the ratio is ; if there are chemical atoms per unit cell, divide the corresponding estimate by . These geometrical and crystallographic factors are not supplied explicitly.
With the same prefactor and geometry, extrapolating would suggest equality near . However, the surface finite-size scale is already of order for this specimen. That extrapolated crossover lies outside the continuum electronic regime, so it is not a reliable prediction of the sample's ultimate lowest-temperature heat capacity.
Classical translational statistics. Write the number density as and the thermal de Broglie wavelength as . Quantum exchange is negligible when wave packets rarely overlap:
The equivalent state-counting statement is that the mean occupation of each thermally relevant one-particle state is much smaller than one. The equations in this question count one internal species; with equally populated spin states the relevant density per species is .
Let be the dimensionless quantum gas fugacity, with the lowest one-particle energy chosen as zero. Both quantum distributions can be written
If , then for all , recovering Maxwell–Boltzmann statistics. Conversely, low occupation even at the spectrum's bottom requires for bosons or for fermions; either condition implies
A single high-energy state can be sparsely occupied even in a degenerate gas, so the condition must hold across the relevant spectrum, not just for one arbitrarily chosen energy. Also, classical translational statistics does not imply that all internal excitation energies or other quantum effects can be ignored.
Grand partition function, density and pressure. Noninteracting particles have independent occupations of each one-particle state. Put . Summing the allowed occupations gives
Therefore
The grand potential is for this homogeneous gas. Replacing the sum by and using gives
The mean number is , giving
For bosons, the grand sum requires when the ground energy is zero. A macroscopic condensate at the limiting must be separated from the continuum integral in the condensed phase. The following small- calculation is in the normal, nondegenerate regime, so that complication does not enter.
Density expansion and inversion. Expand the occupation as a geometric series:
The Gaussian wavevector integral for its th term is
It follows that
For the inverse series, put and try . Substitution gives , hence
The leading equality directly connects the density and occupancy criteria for classical behavior.
Pressure and its first quantum correction. Expanding the logarithm in the pressure expression gives one extra factor compared with the density series:
Insert the inverse series. To second order in ,
Thus
The first quantum correction at fixed density and temperature is
It is negative for bosons and positive for fermions, and vanishes in the classical density limit.
Virial coefficient. Define the number-density virial expansion by
The coefficient has units in this convention. Comparing terms gives
This is the exchange contribution to the second virial coefficient. It arises without a pair-interaction potential; the underlying gas is noninteracting. A molar-density convention would multiply this by the Avogadro constant. For equally populated internal species, exchange occurs within each species and the coefficient in terms of total density is smaller by a factor .
Why the two signs differ. Bosonic exchange symmetry enhances the probability of nearby identical bosons, whereas fermionic exchange symmetry suppresses nearby identical fermions in the same internal state. In the dilute regime, the normalized equal-time pair detection correlation is
The exchange part follows by squaring the Gaussian one-particle coherence factor . At zero separation this gives for bosons and for one-component fermions. Integrating the exchange pair weight provides a direct coefficient check:
Bunching therefore acts like an effective statistical attraction in the dilute equation of state, lowering the pressure needed at fixed density. Exclusion acts like an effective statistical repulsion, raising it. Neither description asserts an actual interparticle force. Different internal fermion species do not exclude each other from a common spatial location in the same way, explaining the importance of the species convention.
Use the classical dilute-gas convention
so the second virial coefficient has units of volume. The Mayer f-function formula for an isotropic pair potential is
Only separations smaller than contribute. Define and substitute , so :
This is the second virial coefficient of a bounded cubic repulsion. For every finite positive , , so . There is no finite positive Boyle temperature. At high temperature, expanding the exponential gives
Thus the intended limiting statement is
At the other extreme the classical expression tends to , the hard-exclusion value for separation . This is a check on the integral, not a claim that a real molecular gas stays classical at arbitrarily low temperature. A molar virial expansion would instead use .
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 gives
The 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 is
Choosing 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 gives
Integrate over all other variables and divide by . It follows that
The 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 , so
This 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 , gives
In 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.
Occupation and the two-dimensional Fermi energy. For an independent single-particle state, the Fermi-Dirac distribution is
The 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 gives
Therefore
For 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 are
Imposing gives , hence . Thus, for every positive temperature,
The total magnetic moment is . Consequently
This 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 , so
The 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 that
For a physical energy band, take to vanish below its lower edge. Provided the endpoint term vanishes, integration by parts also gives
This 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 count
The probability kernel has unit integral, mean , and variance . Using integration by parts,
Expand about . The linear term integrates to zero, while gives
This is the number form of the Sommerfeld expansion. Since at zero temperature, set with :
Therefore
The 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,
Consequently
This 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.
For indistinguishable classical particles the canonical partition function is an integral over phase space,
The factor removes overcounting under particle permutations, and makes the classical phase-space measure dimensionless. The pair potential depends only on positions, so all momentum integrations separate. The three-dimensional Gaussian integral for each particle gives
The grand canonical partition function is , where chemical potential controls the mean number of particles. Therefore
For , the empty products and configurational integral equal one. The factor in the interaction prevents double counting of unordered particle pairs.
Write for the number of cells; this is fixed even though the particle number fluctuates. Approximate each position integral by the cell sum , evaluating the slowly varying intercell pair potential at cell centres. With the assumed single-occupancy restriction, the fixed- contribution becomes
An occupation configuration with selects an unordered set of occupied cells. There are exactly ways to assign the temporary particle labels to that set. They all have the same interaction energy, cancelling the prefactor .
Summing over all particle numbers is therefore equivalent to summing each cell occupation independently over :
The activity per cell, , is dimensionless. This is a lattice gas, with each cell either empty or occupied.
The exclusion of multiple occupation is an additional physical modeling assumption, explicitly imposed by the question. Making a cell small does not by itself forbid two point particles from entering it; a repulsive core or a dilute-occupancy approximation would be needed to justify that restriction starting from a general continuum pair potential. In the remaining parts it is part of the defined cell model.
For the modified strain the travelling wave equations are
Integrating the second across the entire travelling wave gives , since the biological growth factor profile still goes from to . Integrating the first, using the constant asymptotic states and vanishing derivative at infinity, gives
Consequently
The subtracted integral is strictly positive because the profiles are positive and . It is finite: is bounded by continuity and its finite endpoint limits, and . The additional density-dependent inhibition therefore reduces the bacterial density left behind; positivity of is part of the assumed positive-wave solution.
The first integral and yield the linear identity . Multiply by the integrating factor and integrate from . Since the bounded limit makes there,
Positivity of makes the last integral nonnegative, and strictly positive at any finite point of a strictly positive travelling wave. Thus
with equality approached only at the far-behind boundary. This bound uses the first integral rather than an unsupported assumption that the bacterial profile is monotone.
The four dimensional equations express mass conservation, momentum balance with pressure, gravity and viscous stress, heat advection and conduction, and a linear thermal-expansion equation of state. For heating from below, suitable plate conditions are and at , and , at . No slip and thermal insulation on the sidewall provide one suitable lateral completion; prescribed lateral temperatures would be another specified thermal setup.
Let be thermal diffusivity and kinematic viscosity. Use , , and as length, time, velocity and temperature scales. Subtract the static reference pressure with and scale its remainder by . Then
Density becomes . Substitution and division by the corresponding diffusion/viscous scales give
In the Boussinesq small-density-contrast limit retain buoyancy while neglecting the other factors. At infinite Prandtl number, after any fast initial adjustment, the equations are
The velocity is instantaneously constrained by a viscous elliptic balance; the temperature still evolves.
Take the divergence of the vector Poisson equation. Derivatives commute, and divergence of a curl is zero, so . Its boundary value is zero, hence the maximum principle gives throughout . The vector identity now gives , or
The layer domain is simply connected because its horizontal section is simply connected. For a curl-free field on such a domain, define as its line integral from a fixed base point to . Contractibility of loops and Stokes theorem make the integral path independent, and differentiation gives its gradient equal to the field. Thus .
Incompressibility then gives , while the prescribed normal curl gives . Green's identity yields
Hence is constant on the connected domain and . The extra condition belongs to the stated potential boundary problem; the reconstruction argument above uses the divergence and normal-curl conditions. On a multiply connected domain a curl-free field need not be a globally single-valued gradient.
Finally . Taking the curl of the infinite-Prandtl momentum balance and using gives
The derivation is an instance of velocity reconstruction from a mixed-boundary vector Poisson problem.
Let have a boundary moving with velocity , and let be its outward unit normal vector. For a smooth scalar field , the Reynolds transport theorem is
In the last expression, extend smoothly into and use the divergence theorem. For a material volume, its boundary moves with the fluid velocity , so . Equivalently, the Reynolds transport theorem for a material volume reads
where is the material derivative.
For an arbitrary moving region, mass conservation includes the relative mass flow rate across its boundary:
Substitution of the Reynolds transport theorem and the divergence theorem gives
Since the region is arbitrary, a continuous integrand must vanish: if it had a positive or negative value at a point, a sufficiently small surrounding region would have an integral of the same sign. This gives the continuity equation. With constant positive mass density , it reduces to
Thus the flow is incompressible. For a material volume, the same argument starts directly from conservation of its total mass, with zero relative boundary flux.
Subtract the particular plane Poiseuille flow profile from the full rectangular duct flow. The remainder is a harmonic function:
The data are even in and . The boundary value problem is unique: if two solutions differed by , Green's first identity and the zero Dirichlet boundary condition would give
Thus is constant, and its zero boundary values force . Reflection of a solution in either coordinate axis therefore gives the same solution. We may seek even separated eigenfunctions.
Use separation of variables with
Each summand solves the Laplace equation, vanishes at , and has the required evenness. The hyperbolic cosine ratio equals one at either side wall. The functions have orthogonality relation
They are the even Dirichlet eigenfunctions on , so their Fourier series represents the even boundary data. Projecting that data onto the th eigenfunction yields the Fourier coefficient
For completeness, two integrations by parts give the quadratic arch expansion in half-integer cosine modes: the displayed integral is , agreeing with the identity supplied in the paper.
Adding the particular solution gives
The coefficients are absolutely summable and the hyperbolic cosine ratio is at most one throughout the closed rectangle, giving uniform convergence and the prescribed boundary values. On compact subsets of the interior, the hyperbolic cosine ratio supplies exponential decay in , justifying differentiation of the series and the Laplace equation. The side-wall correction slows the plane Poiseuille flow enough to satisfy all four no-slip boundary conditions.