For an isotropic completely degenerate nonrelativistic Fermi gas in classical-trajectory collisionless kinetic theory, the parallel marginal distribution is . Integrating yields the electron dielectric function in the title for fixed ions. Its real roots outside the occupied interval have no Landau damping. Quantum recoil, collisions and finite-temperature tails require an enlarged model.
For a homogeneous collisionless stellar model with its mean field subtracted, the response to an imposed Newtonian gravitational potential is , where
The phase-space distribution function is mass-normalized, and . Causal analytic continuation uses the Landau contour wherever the equilibrium permits it. Zeros describe collective Landau modes. This response function is a gravitational analogue of the electrostatic dielectric function; its susceptibility sign reflects attraction.
Landau damping 2026-10-24
Collisionless damping of a collective plasma perturbation by phase mixing and resonant exchange with particles near its phase velocity. In linear electrostatic response, the imaginary part of the dielectric function at real frequency is proportional to the derivative of the equilibrium phase-space distribution function at resonance. A velocity plateau removes this contribution on an interval; compact velocity support also permits undamped waves whose phase velocities lie outside that support.
For a fixed allowed band/subband pair, parabolic dispersions give . If the photon energy exceeds the edge, the contour is a circle of radius and the gradient magnitude is . Thus
Below threshold the contour is absent. With the conventional normalization, the two-dimensional joint density of states per area and independent channel is
With a locally energy-independent optical matrix element, each allowed pair therefore adds a constant step to the continuum dielectric function in the approximation of the supplied equation. Different hole families need not have equal step heights: reduced masses, spin multiplicities and Bloch-state matrix elements differ. Frequency-dependent overall optical prefactors, nonparabolicity, broadening and excitonic Coulomb enhancement can modify the literal step shape outside this approximation.
The absorptive dielectric function counts optically accessible electron-hole pairs. In the electric dipole approximation the perturbation is proportional to , with the light polarization and the electronic momentum operator. The squared matrix element between occupied valence and empty conduction states is the transition strength; it includes polarization and band-symmetry selection rules. The sums enumerate initial and final subbands. photon momentum is negligible on the crystal-momentum scale, so the transition is approximately vertical in the in-plane wavevector .
For each subband pair, is the constant-transition-energy contour in the two-dimensional Brillouin zone. Its line element is , and the reciprocal gradient weights the states satisfying energy conservation. Specifically, the level-set representation of the joint density of states is
A small energy gradient means many nearly resonant states; a vanishing gradient can produce a Van Hove singularity or an edge. The displayed expression suppresses overall optical prefactors and assumes the momentum matrix element is approximately constant along each contour. More generally it stays inside that integral. Occupation factors are also implicit; at low temperature in an undoped well the relevant valence states are full and the conduction states empty. This is the independent-particle continuum contribution from Fermi's golden rule. Bound excitons add optical resonances below the corresponding free-pair thresholds.
The GaAs four-band model is rooted in bonding and spin-orbit coupling. Near the zone centre, the conduction edge is predominantly s-like and antibonding, while the upper valence manifold is predominantly p-like. Combining orbital angular momentum with spin splits the six p-derived states into a quartet and a lower doublet. The latter is the split-off valence band. Within the upper quartet, the and branches, defined relative to a propagation or quantization direction, have different curvatures and are called heavy holes and light holes. They coincide at the unstrained bulk zone centre but need not remain degenerate in a well. The conduction edge is a spin doublet. Thus “four bands” counts conduction, heavy-hole, light-hole and split-off branches, including their spin multiplicities; it does not count four individual states. Positive hole masses describe the downward valence curvature, whereas the conduction curvature is upward.
For the final exciton comparison, define the reduced mass and screened exciton Rydberg by
The resulting are approximately for heavy holes, for light holes and for split-off holes. In the ideal two-dimensional exciton model, the first two optically active internal states lie and below their continuum edge. Their separation is , independent of a common threshold offset. The corresponding three-dimensional separation would be only . The listed peak spacings specified for this theoretical spectrum give
Here each pair comprises the stronger lower-energy peak and its weaker nearby companion, in the order associated with the continuum edges calculated in part (c). The approximately 18-meV and 11-meV pair splittings support the two-dimensional series and are incompatible with the three-dimensional series at the supplied masses and permittivity. Equivalently, for a two-dimensional pair with energies , the inferred edge is ; the observed pair splittings predict ground-state bindings around 20 and 12 meV, close to .
Absolute agreement should not be overstated. For example, the stated square-well parameters give the first heavy-hole edge eV and the first light-hole edge eV. Their ideal two-dimensional peak predictions are approximately eV and eV, respectively. The listed peaks are lower by about 1–2 meV across the families; rounded parameters and this simple effective-mass model do not reproduce every absolute energy exactly. No gap, width or mass has been silently adjusted to fit them. The peak-spacing comparison remains useful because it avoids a common edge offset. The split-off transitions predicted by the four-band data are discussed separately in part (c), rather than assigned fictitious extra peaks.
At 300 K, meV, whereas the ideal ground-state binding energies are only about , and meV; excited states are still more weakly bound. None of these series is expected to remain a clearly resolved, robust bound-exciton peak at room temperature in this simple estimate. Thermal ionization and phonon broadening work against their visibility. This is a scale argument, not a theorem that the exciton population or all Coulomb-enhanced absorption becomes exactly zero: actual observability also requires temperature-dependent gaps, linewidths, screening and carrier density, which are not supplied.
At zero magnetic field the two circular conductivities coincide, so an isotropic material has no magnetically induced circular birefringence. In the collisionless Drude model range the dielectric function is . A high carrier density gives a large plasma frequency, often placing the screened plasma edge in the infrared or visible range.
Below that edge the real dielectric function is negative and a transverse wave is evanescent in the bulk. The material is strongly reflecting, with penetration through a skin depth and losses set by finite . Above the plasma edge propagation becomes possible, subject to absorption and interband transitions. Carrier density alone does not specify a complete optical spectrum: the statements assume the probe frequency relative to the plasma scale and the validity of the single-band Drude model.
The step in the source must be at zero. We use the Heaviside step function for , zero for , with its value at zero immaterial here. The printed threshold is inconsistent with both and the stated number density. For example, measuring velocities in fixed units and taking , the literal printed cutoff fills only and gives one eighth of the stated number density. Its distributional derivative is , not . The zero-threshold convention restores the stated Fermi sphere and its normalization of a probability distribution.
Let , choose , and abbreviate . The three-dimensional phase-space distribution function is , where
Integrate over the transverse velocity disk to obtain the parallel marginal distribution
There are no edge Dirac delta functions in because itself vanishes continuously at the endpoints. In particular, the three-dimensional constant occupation does not imply a constant parallel marginal distribution.
Use time dependence , with and for damping. The given dielectric function becomes
The Landau contour supplies causal continuation. For a real phase velocity , there is no resonant pole in the populated interval, and
Hence this species contributes
For comparable species number densities and fixed charge ratios, implies and . Since , the ions have and . Their response is negligible to leading order in the mass ratio. The real dispersion relation is therefore
This degenerate-plasma dielectric response treats a completely degenerate, nonrelativistic Fermi gas with classical particle trajectories. It does not include quantum recoil or a collision term. A finite ion response shifts the root slightly; the boxed equation is the stated leading electron approximation.
There is no Landau damping of this branch within the completely degenerate collisionless model. Its phase velocity obeys , while each parallel marginal distribution vanishes outside . There are no particles at the resonant velocity, and . The Landau contour consequently contributes no imaginary part to the dielectric function; a real root is allowed with .
If a small nonzero temperature supplied a tail beyond the Fermi surface, the conclusion would change: the resonant derivative would generally be nonzero. For the convention and a simple weakly damped root, expanding the continued dielectric function would give . This conditional formula is not needed to manufacture damping for the exact cutoff. Neither collisional attenuation nor nonlinear evolution is included in the given dispersion relation.
Let and . The long-wavelength electron branch has . The convergent power series
turns the degenerate-plasma dielectric response into
Substitute . The coefficient of is , so the degenerate-plasma Langmuir dispersion is
The Langmuir wave therefore has a finite frequency at zero wavenumber, with the first dispersive correction set by the Fermi velocity. Indeed the occupied Fermi sphere has , so the coefficient agrees with the high-phase velocity velocity moment expansion.
Screening-length convention. The source defines , so its long-wavelength condition is equivalent to . We retain that definition when expressing answers in its symbols. The actual electron Thomas-Fermi screening length obtained from the static response is instead
For a concrete comparison, at , the static dielectric function is ; using the printed length as the physical Thomas-Fermi screening length would give . Calling the printed length the Debye length thus differs from the physical degenerate-electron screening convention by a factor of three. It does not affect the boxed dimensional dispersion relation.
For the positive-frequency branch write , , and . The degenerate-plasma dielectric response is equivalent to
At large , a logarithmic divergence is needed to balance the right-hand side; hence . Keeping the constant as well as the large term gives
More precisely the relative correction is . The additive constant in the exponent fixes the leading prefactor and should not be discarded.
The negative-frequency branch follows from the even real dielectric function outside the occupied interval. Thus
Using the physical Thomas-Fermi screening length instead gives . This is degenerate-plasma zero-point sound: the phase velocity lies exponentially close to, but strictly beyond, the edge of the Fermi sphere for every finite in this approximation. The limit is a property of the supplied classical-trajectory kinetic theory; applying it at microscopic wavelengths would require checking quantum recoil, which that equation omits.
Use the electron electric charge , so gives acceleration . The Vlasov equation, its average, and its linearized fluctuating part are
The quasilinear approximation retains the averaged quadratic term but drops products of fluctuations from the fluctuating equation. It freezes the slowly evolving during the fast response calculation. A real electrostatic potential has , and the sum includes both signs of every nonzero wavenumber. Spatial averaging selects the opposite Fourier series harmonics; statistical homogeneity supplies the corresponding diagonal noise covariance.
Let . Zero initial gives
Insert this into the electrostatic self-consistency relation. Using and gives
This derives the stated dielectric function with the Landau contour. A noise-free growing collective response is a zero of .
The Laplace transform of the white noise covariance is particularly simple. Writing ,
For clarity about contour signs, introduce the inverse-transform measures
The first Bromwich inversion formula contour runs upward on ; its conjugate contour runs downward on . Both measures therefore have the same positive orientation in their real frequency parameters. Combining the averaged equation with yields
At a zero of , the last expression means its continuous coefficient obtained before cancelling . Substitution of the two inverse Laplace transforms and the transformed covariance gives
This is the paper's expression, with the orientation of made explicit. Reality follows by pairing and . The double integral retains switch-on transients; replacing it by a time-independent diffusion coefficient requires the additional long-time limit in b.
A linearly stable has no zeros of the causal dielectric function in . Hence the inverse Laplace transform contours can approach , retaining the causal boundary value at . To obtain a stationary forced response, further assume that the excited collective perturbations actually damp. This is the decay condition in the question's long-time instruction.
A transparent evaluation of the double integral uses the stationary power spectral density. The white noise covariance has temporal spectrum . Linear filtering by therefore gives
The causal solution for in a gives, after the initial transients have decayed,
The real part can be taken because the full sum pairs conjugates. Using the distribution theory identity , with a positive vanishing convergence factor, samples the temporal spectrum at :
The factor from the one-sided time integral cancels the in the noise covariance. The result is nonnegative, as a stationary velocity-space diffusion coefficient should be.
Qualification of stability. Absence of growing modes alone does not guarantee this stationary limit. For example, the electron waterbag distribution has
as undamped collective roots. White noise drives their field variance to grow instead of settling. Thus the formula requires decay of excited modes, not merely absence of exponentially growing ones. For weak Landau damping, the waiting time can be much longer than , and must still be short compared with evolution of for the frozen-background quasilinear approximation to apply.
Set and first work with a representative positive . For , the thermal core is strongly screened. However, the causal dielectric function has weakly damped Langmuir wave roots , with , and . Their phase velocities are in the tail. Both roots must be retained for each spatial Fourier series harmonic.
Write . The supplied approximation gives
Expanding to first order gives the Landau damping rate
In particular, stable damping means . Near either root,
The narrow Lorentzian resonance approximation then gives the leading resonant contribution
This is a formula under the integral over velocity; it is not a pointwise approximation away from the resonances. Insert it into the heating formula in c. For one spatial harmonic, the contribution from one root is
because
Thus the tiny tail slope cancels the tiny Landau damping rate: weak absorption is compensated by a large noise-driven wave intensity. The two temporal roots supply two equal halves of the answer. Negative gives the same result by the conjugate response of a real electric field, without altering the original convention that the spatial sum includes both signs. Therefore
As in c, equality means the leading result in the stated asymptotic limit. This calculation assumes nonzero damping, observation times , and forcing weak enough that changes negligibly during that relaxation. Taking zero damping before the long-time limit invalidates the stationary calculation.
In the periodic cube, , so . The supplied action-angle variables are canonical: . For ,
Consequently c becomes
For each nonzero wavenumber, the Poisson equation for Newtonian gravity gives
Substitute the preceding response and add the externally imposed Newtonian gravitational potential:
Therefore
This gravitational dielectric function has the opposite susceptibility sign to the electron dielectric function, reflecting attractive rather than repulsive collective interactions. The homogeneous mean field is explicitly subtracted in this fictitious periodic model: the Poisson equation for Newtonian gravity acts on density fluctuations, and the mode is omitted. Otherwise a nonzero uniform positive mass density would be incompatible with a periodic potential. This is the convention often called the Jeans swindle.
For analytic continuation, resolve velocity parallel to : let and . Then
Start at and deform the Landau contour continuously below the moving pole. At real , the integral is
For , this causal continuation equals the undeformed real-axis integral plus wherever has the necessary analytic extension. It must not be replaced by the undeformed integral alone.
Zeros of are self-consistent collective Landau modes: with no external forcing, a nonzero Newtonian gravitational potential is possible at such a root. For time dependence , upper-half-plane roots grow, lower-half-plane roots describe Landau damping, and real roots are neutral. Damped Landau modes are poles of the continued response; they need not be regular discrete eigenfunctions of the original collisionless operator.
Regularity qualification. Continuation throughout the complex plane presupposes suitable analytic . Arbitrary smooth need not allow it. For example, for and zero elsewhere is smooth but not analytic at ; its Cauchy integral cannot be holomorphically continued across those endpoints. The Landau contour gives the standard causal continuation on the domains where the equilibrium permits it, with possible singularities retained.
Let , , and . Use the Debye length convention of the paper, . On the candidate intervals in a, the Landau contour contributes no imaginary part. The piecewise constant slopes give
Since , setting the dielectric function to zero yields
The absolute values express the real response on the allowed intervals. Solving this real equation inside a sloping portion of would not satisfy the imaginary part of the dielectric function.
An exact algebraic form will also make the number of undamped branches clear. Define
On each allowed interval, the quantity inside the logarithm equals . Exponentiating and using
gives the cubic equation
For every , the logarithm runs from to on , from to on , and from to on . The intermediate value theorem supplies a root in each interval, and the cubic equation permits at most three. Thus there is exactly one undamped branch in each interval.
For the two outer branches, at small . An integration by parts and a large- expansion give
There is no boundary contribution because the phase-space distribution function vanishes at both endpoints. Direct area integration gives
Thus the exact small- cutoff, retaining the paper's definition , is . To leading order in the narrow-velocity plateau approximation this is
These are Langmuir waves. The difference between and the reference is only first order in , so it does not alter the requested leading-order result.
For the finite-phase velocity branch put , with . To leading order in and , the real dispersion relation becomes
At long wavelength set to leading order. Then , and
For comparison, the exact phase velocity from the cubic equation in b is ; expanding it gives precisely at fixed .
A single Maxwell-Boltzmann velocity distribution has a nonzero slope at every finite nonzero and has no velocity plateau. The would-be electron acoustic wave is therefore subject to strong Landau damping, so there is no corresponding completely undamped acoustic branch in a single Maxwellian electron population with immobile ions. At its only stationary point , a Maxwellian has , making the static dielectric function positive rather than zero. This statement does not exclude acoustic modes of suitably distinct electron populations or an ion-supported mode when ion dynamics is retained.
Quasilinear approximation 2026-10-24
A weak-fluctuation closure retaining the averaged quadratic fluctuation flux while linearizing the fluctuating kinetic equation about a slowly evolving mean phase-space distribution function. One solves the fast linear response with the mean frozen, then inserts its covariance into the slow averaged equation. A short-memory stationary limit can yield quasilinear diffusion, but finite-time responses retain memory. Self-consistent collective fields enter through the dielectric function in homogeneous electrostatic problems.
The static independent-electron density response of a uniform three-dimensional, two-spin Fermi gas, combined with self-consistent Poisson equation screening, gives the displayed dielectric function. For bare electron mass and vacuum background, and
Here , by continuous extension, and at large . A host dielectric background and band effective mass require replacing the vacuum parameters appropriately. This nonlocal response contains Friedel oscillations, which its long-wavelength Thomas-Fermi screening limit misses.
Velocity plateau Created 2026-10-24 Updated 2026-11-05
An interval of particle velocities on which an equilibrium phase-space distribution function is constant. Its zero derivative removes the resonant imaginary part of the linear dielectric function for waves with phase velocity inside the interval. This permits a completely undamped electron acoustic wave in suitable single-population, nonthermal electron distributions. Zero slope alone is necessary but does not guarantee that the real dispersion relation has a root.