Kramers–Kronig relations explained

The Kramers–Kronig relations, sometimes abbreviated as KK relations, are bidirectional mathematical relations, connecting the real and imaginary parts of any complex function that is analytic in the upper half-plane. The relations are often used to compute the real part from the imaginary part (or vice versa) of response functions in physical systems, because for stable systems, causality implies the condition of analyticity, and conversely, analyticity implies causality of the corresponding stable physical system.^[1] The relation is named in honor of Ralph Kronig and Hans Kramers.^{[2] [3]} In mathematics, these relations are known by the names Sokhotski–Plemelj theorem and Hilbert transform.

Formulation

Let

\chi(\omega) = \chi _{1(\omega)} + i \chi _{2(\omega)} be a complex function of the complex variable \omega , where \chi _{1(\omega)} and \chi _{2(\omega)} are real. Suppose this function is analytic in the closed upper half-plane of \omega and tends to 0 as |\omega| \to inf ty . The Kramers–Kronig relations are given by$$\backslash chi\_1(\backslash omega)\; =\; \backslash frac\; \backslash mathcal\backslash !\backslash !\backslash int\_^\backslash infty\; \backslash frac\backslash ,d\backslash omega\text{'}$$and$$\backslash chi\_2(\backslash omega)\; =\; -\backslash frac\; \backslash mathcal\backslash !\backslash !\backslash int\_^\backslash infty\; \backslash frac\backslash ,d\backslash omega\text{'},$$where \omega is real and where l{P} denotes the Cauchy principal value. The real and imaginary parts of such a function are not independent, allowing the full function to be reconstructed given just one of its parts.

Derivation

The proof begins with an application of Cauchy's residue theorem for complex integration. Given any analytic function

\chi in the closed upper half-plane, the function \omega' \mapsto \chi(\omega') / (\omega' - \omega) , where \omega is real, is analytic in the (open) upper half-plane. The residue theorem consequently states that$$\backslash oint\; \backslash frac\backslash ,d\backslash omega\text{'}\; =\; 0$$for any closed contour within this region. When the contour is chosen to trace the real axis, a hump over the pole at \omega' = \omega , and a large semicircle in the upper half-plane. This follows decomposition of 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 |\omega'| , but the integral over it vanishes in the limit because (\chi(\omega'))/(\omega' - \omega) vanishes faster than 1 / |\omega'| . 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$$0\; =\; \backslash oint\; \backslash frac\backslash ,d\backslash omega\text{'}\; =\; \backslash mathcal\backslash !\backslash !\backslash int\_^\backslash infty\; \backslash frac\backslash ,d\backslash omega\text{'}\; -\; i\; \backslash pi\; \backslash chi(\backslash omega).$$

The second term in the last expression is obtained using the theory of residues,^[4] more specifically, the Sokhotski–Plemelj theorem. Rearranging, we arrive at the compact form of the Kramers–Kronig relations:$$\backslash chi(\backslash omega)\; =\; \backslash frac\; \backslash mathcal\backslash !\backslash !\backslash int\_^\backslash infty\; \backslash frac\backslash ,d\backslash omega\text{'}.$$

The single

i in the denominator effectuates the connection between the real and imaginary components. Finally, split \chi(\omega) and the equation into their real and imaginary parts to obtain the forms quoted above.

Physical interpretation and alternate form

The Kramers–Kronig formalism can be applied to response functions. In certain linear physical systems, or in engineering fields such as signal processing, the response function

\chi(t - t') describes how some time-dependent property P(t) of a physical system responds to an impulse force F(t') at time t'. For example, P(t) could be the angle of a pendulum and F(t) the applied force of a motor driving the pendulum motion. The response \chi(t - t') must be zero for t < t' 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 \chi(\omega) of \chi(t) is analytic in the upper half plane.^[5] Additionally, if the system is subjected 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 \chi(\omega) will converge to zero as \omega becomes very large. From these physical considerations, it results that \chi(\omega) will typically satisfy the conditions needed for the Kramers–Kronig relations.

The imaginary part of a response function describes how a system dissipates energy, since it is in phase with the driving force. The Kramers–Kronig relations imply that observing the dissipative response of a system is sufficient to determine its out of phase (reactive) response, and vice versa.

The integrals run from

-inf ty to inf ty , implying we know the response at negative frequencies. Fortunately, in most physical systems, the positive frequency-response determines the negative-frequency response because \chi(\omega) is the Fourier transform of a real-valued response \chi(t) . We will make this assumption henceforth.

As a consequence,

\chi( - \omega) = \chi ^{*(\omega)} . This means \chi _{1(\omega)} is an even function of frequency and \chi _{2(\omega)} is odd.

Using these properties, we can collapse the integration ranges to

[ 0 , inf ty) . Consider the first relation, which gives the real part \chi _{1(\omega)} . We transform the integral into one of definite parity by multiplying the numerator and denominator of the integrand by \omega' + \omega and separating:$$\backslash chi\_1(\backslash omega)\; =\; \backslash mathcal\backslash !\backslash !\; \backslash int\_^\backslash infty\; \backslash ,\; d\backslash omega\text{'}\; +\; \backslash mathcal\backslash !\backslash !\; \backslash int\_^\backslash infty\; \backslash ,d\backslash omega\text{'}.$$

Since

\chi _{2(\omega)} is odd, the second integral vanishes, and we are left with$$\backslash chi\_1(\backslash omega)\; =\; \backslash mathcal\backslash !\backslash !\; \backslash int\_0^\backslash infty\; \backslash ,d\backslash omega\text{'}.$$

The same derivation for the imaginary part gives$$\backslash chi\_2(\backslash omega)\; =\; -\; \backslash mathcal\backslash !\backslash !\; \backslash int\_0^\backslash infty\; \backslash ,d\backslash omega\text{'}\; =\; -\; \backslash mathcal\backslash !\backslash !\; \backslash int\_0^\backslash infty\; \backslash ,d\backslash omega\text{'}.$$

These are the Kramers–Kronig relations in a form that is useful for physically realistic response functions.

Related proof from the time domain

Hu^[6] and Hall and Heck^[7] 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 sign 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 sign function in the time domain corresponds to the Hilbert transform (i.e. convolution by the Hilbert kernel

1 / \pi \omega ) 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.^[8]

Magnitude (gain)–phase relation

See also: Z-HIT.

The conventional form of Kramers–Kronig above relates the real and imaginary part of a complex response function. A related goal is to find a relation between the magnitude and phase of a complex response function.

In general, unfortunately, the phase cannot be uniquely predicted from the magnitude. A simple example of this is a pure time delay of time T, which has amplitude 1 at any frequency regardless of T, but has a phase dependent on T (specifically, phase = 2π × T × frequency).

There is, however, a unique amplitude-vs-phase relation in the special case of a minimum phase system,^[9] sometimes called the Bode gain–phase relation. The terms Bayard–Bode relations and Bayard–Bode theorem, after the works of Marcel Bayard (1936) and Hendrik Wade Bode (1945) are also used for either the Kramers–Kronig relations in general or the amplitude–phase relation in particular, particularly in the fields of telecommunication and control theory.^{[10] [11]}

Applications in physics

Optics

Complex refractive index

\tilde{n} = n + i\kappa of a medium, where \kappa is the extinction coefficient.^[12] Hence, in effect, this also applies for the complex relative permittivity and electric susceptibility.^[13]

The Sellmeier equation is directly connected to the Kramer-Kronig relations, and is used to approximate real and complex refractive index of materials far away from any resonances.^{[14] [15]}

Circular birefringence

In optical rotation, the Kramers–Kronig relations establish a connection between optical rotary dispersion and circular dichroism.

Magneto-optics

Kramers–Kronig relations enable exact solutions of nontrivial scattering problems, which find applications in magneto-optics.^[16]

Ellipsometry

In ellipsometry, Kramer-Kronig relations are applied to verify the measured values for the real and complex parts of the refractive index of thin films.^[17]

Electron spectroscopy

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.^[18]

In short, by measuring the number of high energy (e.g. 200 keV) electrons which lose a given amount of energy in traversing a very thin specimen (single scattering approximation), one can calculate the imaginary part of permittivity at that energy. Using this data with Kramers–Kronig analysis, one can calculate the real part of permittivity (as a function of energy) as well.

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.^[19]

Hadronic scattering

The Kramers–Kronig relations are also used under the name "integral dispersion relations" with reference to hadronic scattering.^[20] In this case, the function is the scattering amplitude. Through the use of the optical theorem the imaginary part of the scattering amplitude is then related to the total cross section, which is a physically measurable quantity.

Electron scattering

Similarly to Hadronic scattering, the Kramers–Kronig relations are employed in high energy electron scattering. In particular, they enter the derivation of the Gerasimov–Drell–Hearn sum rule.^[21]

Geophysics

For seismic wave propagation, the Kramer–Kronig relation helps to find right form for the quality factor in an attenuating medium.^[22]

Electrochemical impedance spectroscopy

The Kramers-Kronig test is used in battery and fuel cell applications (dielectric spectroscopy) to test for linearity, causality and stationarity. Since, it is not possible in practice to obtain data in the whole frequency range, as the Kramers-Kronig formula requires, approximations are necessarily made.

At high frequencies (> 1 MHz) it is usually safe to assume, that the impedance is dominated by ohmic resistance of the electrolyte, although inductance artefacts are often observed.

At low frequencies, the KK test can be used to verify whether experimental data are reliable. In battery practice, data obtained with experiments of duration less than one minute usually fail the test for frequencies below 10 Hz. Therefore, care should be exercised, when interpreting such data.^[23]

In electrochemistry practice, due to the finite frequency range of experimental data, Z-HIT relation is used instead of Kramers-Kronig relations. Unilke Kramers-Kronig (which is written for an infinite frequency range), Z-HIT integration requires only a finite frequncy range. Furthermore, Z-HIT is more robust with respect to error in the Re and Im of impedance, since its accuracy depends mostly on the accuracy of the phase data.

See also

• Dispersion (optics)
• Linear response function
• Numerical analytic continuation

References

Sources

• Book: Mansoor Sheik-Bahae. Nonlinear Optics Basics. Kramers–Kronig Relations in Nonlinear Optics. Robert D. Guenther . Encyclopedia of Modern Optics. Academic Press. Amsterdam . 2005. 0-12-227600-0.
• Book: Valerio Lucarini . Jarkko J. Saarinen . Kai-Erik Peiponen . Erik M. Vartiainen . Kramers-Kronig relations in Optical Materials Research. Springer. Heidelberg. 2005. 3-540-23673-2. 2005kkro.book.....L .
• Book: Frederick W. King. Hilbert Transforms. 2. Cambridge University Press. Cambridge . 2009. 978-0-521-51720-1. 19–22.
• Book: J. D. Jackson. Classical Electrodynamics. 2nd. Wiley. New York. 1975. section 7.10. 0-471-43132-X.

Notes and References

1. 10.1103/PhysRev.104.1760. John S. Toll. Causality and the Dispersion Relation: Logical Foundations. Physical Review. 104. 6 . 1760–1770 . 1956. 1956PhRv..104.1760T .
2. 10.1364/JOSA.12.000547. R. de L. Kronig. On the theory of the dispersion of X-rays. J. Opt. Soc. Am.. 12. 6. 547–557 . 1926.
3. H. A. Kramers. La diffusion de la lumière par les atomes. Atti Cong. Intern. Fisici, (Transactions of Volta Centenary Congress) Como. 2 . 545–557 . 1927.
4. Book: Mathematical Methods for Physicists . registration . G. Arfken . Academic Press . Orlando . 1985 . 0-12-059877-9.
5. Book: John David Jackson. 1999. Classical Electrodynamics. Wiley. 332–333. 0-471-43132-X.
6. Hu. Ben Yu-Kuang. 1989-09-01. Kramers–Kronig in two lines. American Journal of Physics. 57. 9. 821. 10.1119/1.15901. 0002-9505. 1989AmJPh..57..821H.
7. Book: 978-0-470-19235-1. Advanced signal integrity for high-speed digital designs. 331–336. Stephen H. Hall . Howard L. Heck. . 2009. Wiley. Hoboken, N.J..
8. Web site: Understanding the Kramers–Kronig Relation Using A Pictorial Proof. Colin Warwick.
9. 10.1119/1.3614039 . Kramers–Kronig, Bode, and the meaning of zero . John Bechhoefer . American Journal of Physics . 79 . 10 . 1053–1059 . 2011 . 1107.0071 . 2011AmJPh..79.1053B . 51819925 .
10. Book: Radio Wave Propagation for Telecommunication Applications. Hervé Sizun. 978-3-540-26668-6. 2006-03-30. Springer. 2004rwpt.book.....S.
11. Book: Fundamental Limitations In Filtering And Control . 21 . 1997 . María M. Seron . Julio H. Braslavsky . Graham C. Goodwin .
12. Book: Fox, Mark . 2010 . Optical Properties of Solids . 2 . . 978-0-19-957337-0 . 44-46.
13. Book: Orfanidis, Sophocles J. . 2016 . Electromagnetic Waves and Antennas . 27-29 .
14. Web site: 2.7: Kramers-Kroenig Relations . Engineering LibreTexts . 2021-04-06 . 2024-07-09.
15. Web site: Optical Constants . J.A. Woollam . 2019-02-20 . 2024-07-09.
16. J. Phys. A: Math. Theor. . 2015 . 48 . 50 . 505202 . Exact transition probabilities for a linear sweep through a Kramers-Kronig resonance . Chen Sun . Nikolai A. Sinitsyn . 10.1088/1751-8113/48/50/505202 . 2015JPhA...48X5202S . 1508.01213 . 118437244 .
17. Web site: Kramers-Kronig and Ellipsometry Techniques . Professor Robert B. Laughlin, Department of Physics, Stanford University . 2007-03-20 . . 2024-07-09.
18. Book: R. F. Egerton. 1996. Electron energy-loss spectroscopy in the electron microscope. 2nd. Plenum Press. New York. 0-306-45223-5.
19. Rev. Mod. Phys. . 2003 . 75 . 2 . 473–541 . Angle-resolved photoemission studies of the cuprate superconductors . Andrea Damascelli . 10.1103/RevModPhys.75.473 . 2003RvMP...75..473D. cond-mat/0208504 . 118433150 .
20. Rev. Mod. Phys.. 1985 . 57 . 2 . 563–598 . High-energy pp̅ and pp forward elastic scattering and total cross sections . M. M. Block . R. N. Cahn . 10.1103/RevModPhys.57.563 . 1985RvMP...57..563B .
21. https://arxiv.org/abs/1807.05250 A. Deur, S. J. Brodsky, G. F. de Teramond (2019) "The Spin Structure of the Nucleon"
22. Futterman. Walter I.. Dispersive Body Waves. Journal of Geophysical Research. 67. 13. 5279–5291. 10.1029/JZ067i013p05279 . 1962. 1962JGR....67.5279F.
23. Urquidi-Macdonald . Mirna . Real . Silvia . Macdonald . Digby D. . Applications of Kramers—Kronig transforms in the analysis of electrochemical impedance data—III. Stability and linearity . Electrochimica Acta . 1 October 1990 . 35 . 10 . 1559–1566 . 10.1016/0013-4686(90)80010-L . 2 August 2023 . en . 0013-4686.