Skip to content

Spectral Representation of Green Functions

The spectral representation writes a Green function or resolvent in the basis that diagonalizes the Hamiltonian. It makes the central message visible:

Green functions know the spectrum because they are built from factors such as (z−E)−1(z-E)^{-1}.

For a Hamiltonian HH, the resolvent is

R(z)=(zI−H)−1.R(z)=(zI-H)^{-1}.

The spectral theorem turns this into a sum or integral over spectral values. Poles, residues, branch cuts, and imaginary parts then encode bound states, continuum states, and densities of states.

Suppose the Hamiltonian has a discrete spectral decomposition

H=∑nEnPn,H=\sum_n E_nP_n,

where PnP_n projects onto the eigenspace with energy EnE_n. Then

R(z)=∑nPnz−En.R(z) = \sum_n \frac{P_n}{z-E_n}.

If each eigenvalue is nondegenerate,

Pn=∣n⟩⟨n∣,P_n=|n\rangle\langle n|,

so

R(z)=∑n∣n⟩⟨n∣z−En.R(z) = \sum_n \frac{|n\rangle\langle n|}{z-E_n}.

In coordinate representation,

G(x,x′;z)=⟨x∣R(z)∣x′⟩=∑nψn(x)ψn∗(x′)z−En.G(x,x';z) = \langle x|R(z)|x'\rangle = \sum_n \frac{\psi_n(x)\psi_n^*(x')}{z-E_n}.

Here ψn(x)=⟨x∣n⟩\psi_n(x)=\langle x|n\rangle. This formula is the energy-domain analogue of expanding a wavefunction in energy eigenstates.

The time-domain propagator kernel has a related but different spectral representation:

K(xf,t;xi,0)=∑nψn(xf)ψn∗(xi)e−iEnt/ℏ.K(x_f,t;x_i,0) = \sum_n \psi_n(x_f)\psi_n^*(x_i) e^{-iE_nt/\hbar}.

The resolvent and propagator are both diagonal in the energy basis, but they apply different scalar functions to each energy:

R(z):En↦1z−En,R(z):\quad E_n\mapsto \frac{1}{z-E_n},

while

U(t):En↦e−iEnt/ℏ.U(t):\quad E_n\mapsto e^{-iE_nt/\hbar}.

This is the cleanest way to see why Green functions and propagator kernels are related but not identical.

For continuous spectrum, sums become spectral integrals. In a simplified generalized-eigenstate notation,

H∣E,α⟩=E∣E,α⟩,H|E,\alpha\rangle = E|E,\alpha\rangle,

where α\alpha labels degeneracy or channels. The identity resolution is written formally as

I=∫dE ∑α∣E,α⟩⟨E,α∣.I = \int dE\, \sum_\alpha |E,\alpha\rangle\langle E,\alpha|.

Then

R(z)=∫dE ∑α∣E,α⟩⟨E,α∣z−E.R(z) = \int dE\, \sum_\alpha \frac{|E,\alpha\rangle\langle E,\alpha|}{z-E}.

In coordinate representation,

G(x,x′;z)=∫dE ∑αψE,α(x)ψE,α∗(x′)z−E.G(x,x';z) = \int dE\, \sum_\alpha \frac{\psi_{E,\alpha}(x)\psi_{E,\alpha}^*(x')}{z-E}.

This notation is convenient but formal. The rigorous version uses the projection-valued measure:

R(z)=∫R1z−λ dEH(λ).R(z) = \int_{\mathbb R} \frac{1}{z-\lambda}\,dE_H(\lambda).

The generalized eigenfunctions, measures, and degeneracy labels depend on the problem and normalization convention.

For an isolated bound-state energy EkE_k,

R(z)=Pkz−Ek+Rreg(z),R(z) = \frac{P_k}{z-E_k} +R_{\rm reg}(z),

near z=Ekz=E_k. The pole identifies the energy, and the residue is the spectral projector:

Res⁡z=EkR(z)=Pk.\operatorname*{Res}_{z=E_k}R(z) = P_k.

For a coordinate-space Green function, the residue becomes

Res⁡z=EkG(x,x′;z)=∑a=1dkψk,a(x)ψk,a∗(x′),\operatorname*{Res}_{z=E_k}G(x,x';z) = \sum_{a=1}^{d_k} \psi_{k,a}(x)\psi_{k,a}^*(x'),

where dkd_k is the degeneracy of the bound state. The residue is therefore not merely a number; it reconstructs the bound-state wavefunctions up to basis choices inside the degenerate subspace.

For real EE, the boundary value

R(E+i0)=lim⁡ϵ→0+(E+iϵ−H)−1R(E+i0) = \lim_{\epsilon\to0^+}(E+i\epsilon-H)^{-1}

has an imaginary part tied to the spectral measure. The distribution identity

1E+i0−λ=PV⁡1E−λ−iπδ(E−λ)\frac{1}{E+i0-\lambda} = \operatorname{PV}\frac{1}{E-\lambda} -i\pi\delta(E-\lambda)

implies the formal operator relation

−1πIm⁡R(E+i0)=δ(E−H).-\frac{1}{\pi}\operatorname{Im}R(E+i0) = \delta(E-H).

More carefully, this statement is interpreted through matrix elements, traces, or spectral measures. Different subfields define spectral functions with different factors, for example A(E)=−2 Im⁡GR(E)A(E)=-2\,\operatorname{Im}G^R(E) in common many-body conventions.

The total density of states is formally

ρ(E)=Tr⁡δ(E−H).\rho(E)=\operatorname{Tr}\delta(E-H).

Using the spectral-density relation,

ρ(E)=−1πIm⁡Tr⁡R(E+i0).\rho(E) = -\frac{1}{\pi} \operatorname{Im}\operatorname{Tr}R(E+i0).

For a finite discrete spectrum,

ρ(E)=∑ndn δ(E−En),\rho(E) = \sum_n d_n\,\delta(E-E_n),

where dn=Tr⁡Pnd_n=\operatorname{Tr}P_n is the degeneracy. For infinite systems, one must specify whether ρ(E)\rho(E) is total, per unit volume, per unit cell, per spin species, or per other normalization. See Green Functions and Density of States for the Green-function derivation and Density of States for a compact formula reference.

In field theory and many-body theory, Green functions are often correlation functions rather than one-particle wavefunction kernels. Spectral representations still express analytic structure through spectral weights, poles, cuts, and thresholds. Green Functions in Many-Body QM owns the nonrelativistic N±1N\pm1 Lehmann representation, fermionic matrix positivity, occupation sum rule, and Matsubara bridge. Spectral Functions owns the cross-channel line-shape, quasiparticle, linewidth, and measured-intensity dictionary.

A schematic relativistic example is the Källén–Lehmann form:

⟨0∣Tϕ(x)ϕ(0)∣0⟩=∫0∞dμ2 ρ(μ2) ΔF(x;μ2).\langle0|T\phi(x)\phi(0)|0\rangle = \int_0^\infty d\mu^2\, \rho(\mu^2)\, \Delta_F(x;\mu^2).

The spectral density ρ(μ2)\rho(\mu^2) records which mass values or multiparticle continua can propagate. This is only a preview; QFT conventions add time ordering, Lorentz invariance, renormalization, and field normalization issues. The bridge entry is Green Functions.

From Correlation Functions to QFT Observables explains how poles, residues, thresholds, and operator overlaps enter mass extraction, response, and scattering.

  • Treating generalized eigenstates in a continuum as ordinary normalizable vectors.
  • Forgetting degeneracy labels in spectral sums or integrals.
  • Reading a continuum branch cut as if it were a single isolated pole.
  • Dropping the i0i0 prescription before taking imaginary parts.
  • Confusing the density of states with an occupation probability.
  • Comparing spectral functions across subfields without checking factors of π\pi, 2π2\pi, and ii.
  • M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged ed., Academic Press, 1980.
  • G. Teschl, Mathematical Methods in Quantum Mechanics, 2nd ed., American Mathematical Society, 2014.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover, 2003.
  • M. E. Peskin and D. V. Schroeder, An Introduction to Quantum Field Theory, Addison-Wesley, 1995.
  1. For a nondegenerate discrete spectrum, derive the coordinate-space expression for G(x,x′;z)G(x,x';z) from R(z)=∑n∣n⟩⟨n∣/(z−En)R(z)=\sum_n |n\rangle\langle n|/(z-E_n).
Solution

Insert position bras and kets:

G(x,x′;z)=⟨x∣R(z)∣x′⟩=∑n⟨x∣n⟩⟨n∣x′⟩z−En.G(x,x';z) = \langle x|R(z)|x'\rangle = \sum_n \frac{\langle x|n\rangle\langle n|x'\rangle}{z-E_n}.

Using ψn(x)=⟨x∣n⟩\psi_n(x)=\langle x|n\rangle and ⟨n∣x′⟩=ψn∗(x′)\langle n|x'\rangle=\psi_n^*(x') gives

G(x,x′;z)=∑nψn(x)ψn∗(x′)z−En.G(x,x';z) = \sum_n \frac{\psi_n(x)\psi_n^*(x')}{z-E_n}.
  1. Use the distribution identity for 1/(E+i0−λ)1/(E+i0-\lambda) to show why −π−1Im⁡R(E+i0)-\pi^{-1}\operatorname{Im}R(E+i0) is a spectral-density operator.
Solution

The spectral representation is

R(E+i0)=∫1E+i0−λ dEH(λ).R(E+i0) = \int \frac{1}{E+i0-\lambda}\,dE_H(\lambda).

Using

1E+i0−λ=PV⁡1E−λ−iπδ(E−λ),\frac{1}{E+i0-\lambda} = \operatorname{PV}\frac{1}{E-\lambda} -i\pi\delta(E-\lambda),

the imaginary part is

Im⁡R(E+i0)=−π∫δ(E−λ) dEH(λ).\operatorname{Im}R(E+i0) = -\pi \int\delta(E-\lambda)\,dE_H(\lambda).

Thus

−1πIm⁡R(E+i0)=δ(E−H)-\frac{1}{\pi}\operatorname{Im}R(E+i0) = \delta(E-H)

in the spectral-measure sense.

  1. Suppose an eigenvalue EkE_k has degeneracy dkd_k. What is the residue of R(z)R(z) at z=Ekz=E_k?
Solution

The contribution of the degenerate eigenspace is

Pkz−Ek,\frac{P_k}{z-E_k},

where

Pk=∑a=1dk∣k,a⟩⟨k,a∣.P_k=\sum_{a=1}^{d_k}|k,a\rangle\langle k,a|.

Therefore

Res⁡z=EkR(z)=Pk.\operatorname*{Res}_{z=E_k}R(z)=P_k.
  1. Why does the spectral representation of the propagator contain e−iEnt/ℏe^{-iE_nt/\hbar} while the resolvent contains (z−En)−1(z-E_n)^{-1}?
Solution

Both objects are functions of the Hamiltonian. The time-evolution operator is U(t)=e−iHt/ℏU(t)=e^{-iHt/\hbar}, so each energy component is multiplied by e−iEnt/ℏe^{-iE_nt/\hbar}. The resolvent is R(z)=(z−H)−1R(z)=(z-H)^{-1}, so each energy component is multiplied by (z−En)−1(z-E_n)^{-1}.