The Kramers–Kronig relations are bidirectional mathematical relations, connecting the real and imaginary parts of any complex function that is analytic in the upper half-plane. These relations are often used to calculate the real part from the imaginary part (or vice versa) of response functions in physical systems, because for stable systems, causality implies the analyticity condition, and conversely, analyticity implies causality of the corresponding stable physical system. The relation is named in honor of Ralph Kronig and Hendrik Anthony Kramers. In mathematics these relations are known under the names Sokhotski–Plemelj theorem and Hilbert transform.
Let be a complex function of the complex variable , where and are real. Suppose this function is analytic in the closed upper half-plane of and vanishes like or faster as . Slightly weaker conditions are also possible. The Kramers–Kronig relations are given by
where denotes the Cauchy principal value. So the real and imaginary parts of such a function are not independent, and the full function can be reconstructed given just one of its parts.
The proof begins with an application of Cauchy's residue theorem for complex integration. Given any analytic function in the closed upper half plane, the function where is real will also be analytic in the upper half of the plane. The residue theorem consequently states that
for any closed contour within this region. We choose the contour to trace the real axis, a hump over the pole at , and a large semicircle in the upper half plane. We then decompose the integral into its contributions along each of these three contour segments and pass them to limits. The length of the semicircular segment increases proportionally to , but the integral over it vanishes in the limit because vanishes faster than . We are left with the segments along the real axis and the half-circle around the pole. We pass the size of the half-circle to zero and obtain
The second term in the last expression is obtained using the theory of residues, more specifically the Sokhotski–Plemelj theorem. Rearranging, we arrive at the compact form of the Kramers–Kronig relations,
The single in the denominator will effectuate the connection between the real and imaginary components. Finally, split and the equation into their real and imaginary parts to obtain the forms quoted above.
Physical interpretation and alternate form
We can apply the Kramers–Kronig formalism to response functions. In certain linear physical systems, or in engineering fields such as signal processing, the response function describes how some time-dependent property of a physical system responds to an impulse force at time For example, could be the angle of a pendulum and the applied force of a motor driving the pendulum motion. The response must be zero for since a system cannot respond to a force before it is applied. It can be shown (for instance, by invoking Titchmarsh's theorem) that this causality condition implies that the Fourier transform is analytic in the upper half plane. Additionally, if we subject the system to an oscillatory force with a frequency much higher than its highest resonant frequency, there will be almost no time for the system to respond before the forcing has switched direction, and so the frequency response will converge to zero as becomes very large. From these physical considerations, we see that will typically satisfy the conditions needed for the Kramers–Kronig relations to apply.
The imaginary part of a response function describes how a system dissipates energy, since it is out of phase with the driving force. The Kramers–Kronig relations imply that observing the dissipative response of a system is sufficient to determine its in-phase (reactive) response, and vice versa.
The integrals run from to , implying we know the response at negative frequencies. Fortunately, in most systems, the positive frequency-response determines the negative-frequency response because is the Fourier transform of a real quantity , so . This means is an even function of frequency and is odd.
Using these properties, we can collapse the integration ranges to . Consider the first relation, which gives the real part . We transform the integral into one of definite parity by multiplying the numerator and denominator of the integrand by and separating:
Since is odd, the second integral vanishes, and we are left with
The same derivation for the imaginary part gives
These are the Kramers–Kronig relations in a form that is useful for physically realistic response functions.
Related proof from the time domain
Hall and Heck give a related and possibly more intuitive proof that avoids contour integration. It is based on the facts that:
- A causal impulse response can be expressed as the sum of an even function and an odd function, where the odd function is the even function multiplied by the signum function.
- The even and odd parts of a time domain waveform correspond to the real and imaginary parts of its Fourier integral, respectively.
- Multiplication by the signum function in the time domain corresponds to the Hilbert transform (i.e. convolution by the Hilbert kernel) in the frequency domain.
Combining the formulas provided by these facts yields the Kramers–Kronig relations. This proof covers slightly different ground from the previous one in that it relates the real and imaginary parts in the frequency domain of any function that is causal in the time domain, offering an approach somewhat different from the condition of analyticity in the upper half plane of the frequency domain.
An article with an informal, pictorial version of this proof is also available.
In electron energy loss spectroscopy, Kramers–Kronig analysis allows one to calculate the energy dependence of both real and imaginary parts of a specimen's light optical permittivity, together with other optical properties such as the absorption coefficient and reflectivity.
In short, by measuring the number of high energy (e.g. 200 keV) electrons which lose energy ΔE over a range of energy losses in traversing a very thin specimen (single scattering approximation), one can calculate the energy dependence of permittivity's imaginary part. The dispersion relations allow one to then calculate the energy dependence of the real part.
This measurement is made with electrons, rather than with light, and can be done with very high spatial resolution. One might thereby, for example, look for ultraviolet (UV) absorption bands in a laboratory specimen of interstellar dust less than a 100 nm across, i.e. too small for UV spectroscopy. Although electron spectroscopy has poorer energy resolution than light spectroscopy, data on properties in visible, ultraviolet and soft x-ray spectral ranges may be recorded in the same experiment.
In angle resolved photoemission spectroscopy the Kramers–Kronig relations can be used to link the real and imaginary parts of the electrons self energy. This is characteristic of the many body interaction the electron experiences in the material. Notable examples are in the high temperature superconductors, where kinks corresponding to the real part of the self energy are observed in the band dispersion and changes in the MDC width are also observed corresponding to the imaginary part of the self energy.
They are also used under the name integral dispersion relations with reference to hadronic scattering. In this case, the function is the scattering amplitude and through the use of the optical theorem the imaginary part of the scattering amplitude is related to the total cross section which is a physically measurable quantity.
- John S. Toll (1956). "Causality and the Dispersion Relation: Logical Foundations". Physical Review 104: 1760–1770. Bibcode:1956PhRv..104.1760T. doi:10.1103/PhysRev.104.1760.
- R. de L. Kronig (1926). "On the theory of the dispersion of X-rays". J. Opt. Soc. Am. 12: 547–557. doi:10.1364/JOSA.12.000547.
- H.A. Kramers (1927). "La diffusion de la lumiere par les atomes". Atti Cong. Intern. Fisici, (Transactions of Volta Centenary Congress) Como 2: 545–557.
- G. Arfken (1985). Mathematical Methods for Physicists. Orlando: Academic Press. ISBN 0-12-059877-9.
- John David Jackson (1999). Classical Electrodynamics. Wiley. pp. 332–333. ISBN 0-471-43132-X.
- Stephen H. Hall, Howard L. Heck. (2009). Advanced signal integrity for high-speed digital designs. Hoboken, N.J.: Wiley. pp. 331–336. ISBN 0-470-19235-6.
- Colin Warwick. "Understanding the Kramers–Kronig Relation Using A Pictorial Proof" (PDF).
- R. F. Egerton (1996). Electron energy-loss spectroscopy in the electron microscope (2nd ed.). New York: Plenum Press. ISBN 0-306-45223-5.
- Andrea Damascelli (2003). "Angle-resolved photoemission studies of the cuprate superconductors". Rev. Mod. Phys. 75 (2): 473–541. arXiv:cond-mat/0208504. Bibcode:2003RvMP...75..473D. doi:10.1103/RevModPhys.75.473.
- M.M. Block and R.N. Cahn (1985). "High-energy pp̅ and pp forward elastic scattering and total cross sections". Rev. Mod. Phys. 57 (2): 563–598. Bibcode:1985RvMP...57..563B. doi:10.1103/RevModPhys.57.563.
- Mansoor Sheik-Bahae (2005). "Nonlinear Optics Basics. Kramers–Kronig Relations in Nonlinear Optics". In Robert D. Guenther. Encyclopedia of Modern Optics. Amsterdam: Academic Press. ISBN 0-12-227600-0.
- Valerio Lucarini, Jarkko J. Saarinen, Kai-Erik Peiponen, and Erik M. Vartiainen (2005). Kramers-Kronig relations in Optical Materials Research. Heidelberg: Springer. ISBN 3-540-23673-2.
- Frederick W. King (2009). "19–22". Hilbert Transforms 2. Cambridge: Cambridge University Press. ISBN 978-0-521-51720-1.
- J. D. Jackson (1975). "section 7.10". Classical Electrodynamics (2nd ed.). New York: Wiley. ISBN 0-471-43132-X.