Separate spectral support from thermal occupation
Define a commutator spectral density and retarded sign convention, recover thermal Wightman weights, and demonstrate the Euclidean continuation for a free mode.
On this page
The question for today
What you’ll understand
- Relate the retarded imaginary part to a stated commutator spectral density.
- Distinguish thermal occupation factors from a mode's spectral function.
- Apply the correct continuation sign for the positive Euclidean bosonic correlator.
A spectral function describes which energy transfers an operator can support and with what commutator weight. Thermal occupation then determines how those transfers appear in unordered correlations. In an interacting medium the spectrum itself can depend on temperature, but the two roles should still be distinguished. A free oscillator provides an exact example in which occupations change with temperature while the commutator spectrum remains fixed.
Declare the retarded and spectral signs
Retain the module's forward transform and define the bosonic spectral density as the Fourier transform of , with no extra factor of i. Define the retarded Green function as minus i times the causal commutator. Its analytic continuation lies in the upper half frequency plane, and its boundary value has imaginary part equal to minus half the spectral density. This convention gives a negative static coordinate Green function for a stable oscillator; physical susceptibility to a Hamiltonian source minus fA is its negative.
For a Hermitian operator in equilibrium, the spectral density is real and odd in frequency, with nonnegative positive-frequency weight for an autocorrelation. The full retarded function follows from a dispersion integral, possibly with ultraviolet subtractions and contact terms for composite operators. Such real local terms can matter for static response even though they do not produce a smooth dissipative spectrum. Stating only an imaginary part without its analytic and subtraction information does not always specify a complete field-theory Green function.
Multiply spectral weight by the right thermal factors
Away from isolated zero-frequency weights, combining KMS with the commutator definition gives and , with . These formulas include negative frequencies algebraically; the negative Bose factor there combines with the odd spectral density to give the correct raw weights. For a fermionic annihilation operator, the corresponding positive spectral object is built from the anticommutator. Its raw greater and lesser factors are and . Reusing the bosonic commutator subtraction would therefore give the wrong fermionic normalization.
For a unit-mass oscillator with and , the spectrum has two delta peaks of opposite signs. Its positive-frequency weight is independent of temperature because the canonical commutator is a c-number. The equal-time coordinate variance, however, grows as . Interactions can broaden or shift the peaks and change the spectrum itself. The free result is a useful distinction between state occupation and spectral structure, not a claim that every thermal spectral function is temperature independent.
Continue a specified Euclidean object
The positive Euclidean correlator used previously is . Its spectral denominator is , opposite to the retarded denominator. Consequently, under these explicit conventions the retarded boundary value is minus the continued Euclidean function. Substituting into its analytic expression and retaining that overall minus sign yields the displayed retarded oscillator. Other authors absorb the sign into their Euclidean definition, so formulas must be compared at the level of definitions.
A finite-width ansatz must also respect retarded analyticity and the desired sum rules. Simply replacing delta peaks by arbitrary positive bumps can violate the odd-frequency structure or the high-frequency normalization. Conversely, a narrow peak may leave only a subtle signature in Euclidean data. Reconstructing it requires more than taking a numerical Fourier transform of a finite list. Use positivity, asymptotic behavior, resolution tests, and an honestly stated ansatz when extracting spectral information from uncertain thermal data.
Work it through
Thermal weights for a fixed free spectrum
For the unit-mass oscillator take and . Find the delta-peak coefficients of at positive and negative frequency, and integrate them to obtain the equal-time variance.
The occupation is . The spectral positive-peak coefficient is , while the negative peak has the opposite spectral sign.
The raw greater coefficients are at and at . Their ratio is three, consistent with detailed balance.
Integrating the greater spectrum with gives . Both peaks contribute positively to the variance even though the commutator spectrum has opposite signs.
The greater coefficients are three pi over four and pi over four in inverse-GeV units, giving variance one half inverse GeV. Occupation changes those raw weights while leaving the free commutator spectrum fixed.
The living notebook
Explore the model
Interactive lab · oscillator
Compare coherent frequencies in a simple time model
Reset and set damping ratio ζ = 0 and natural frequency ω₀ = 2. One Step advances to t = 0.5, predicting x = cos(1), approximately 0.5403. Compare after a fresh Reset with ζ = 0 and ω₀ = 1 followed by one Step, predicting x = cos(0.5), approximately 0.8776. This is a classical analytic displacement with x(0)=1 and v(0)=0. It does not compute a retarded commutator, a thermal variance, a spectral density, or a Matsubara continuation.
- Displacement x(t)
- 1
- Velocity v(t)
- 0
- Regime
- underdamped
Unit mass, x(0) = 1 and v(0) = 0. The analytic solution includes underdamped, critically damped and overdamped cases; time is measured in seconds. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forTime oscillations identify a frequency scale, while thermal and quantum correlation weights require additional definitions.
Pause & reason
Check your understanding
Your turn
Try it yourself
Consider the illustrative causal damped-mode ansatz with and . Find and at , and compare with the static value.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
At the stated positive frequency the real part of the denominator vanishes. Use the declared relation between the spectral density and imaginary part.
Compare with the solution
At , the denominator is , so and . At zero frequency, is real and the spectral density vanishes. Positive damping places the poles below the real axis, consistent with a retarded model. This ansatz specifies a phenomenological response; a finite-temperature fluctuation spectrum still requires an equilibrium occupation relation or an independently supplied nonequilibrium statistical correlator.
Keep the idea
Take it with you
- State the retarded prefactor before reading a spectral sign or static susceptibility.
- Thermal Wightman functions combine spectral weight with Bose or Fermi factors.
- Euclidean continuation requires a specified analytic function, normalization, and boundary prescription.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.