Kramers–Kronig relation

The Kramers–Kronig relations are mathematical properties, connecting the real and imaginary parts of any complex function which is analytic in the upper half plane. These relations are often used to relate the real and imaginary parts of response functions in physical systems because causality implies the analyticity condition is satisfied and conversely. [John S. Toll, "Causality and the Dispersion Relation: Logical Foundations", Physical Review, vol. "104", pp. 1760 - 1770 (1956).] The relation is named in honor of Ralph Kronig [R. de L. Kronig, "On the theory of the dispersion of X-rays," J. Opt. Soc. Am., vol. 12, pp. 547-557 (1926).] and Hendrik Anthony Kramers. [H.A. Kramers, "La diffusion de la lumiere par les atomes," Atti Cong. Intern. Fisica, (Transactions of Volta Centenary Congress) Como, vol. 2, p. 545-557 (1927) .]

Definition

For a complex function $chi(omega)\; =\; chi\_1(omega)\; +\; i\; chi\_2(omega)$ of the complex variable $omega$, analytic in the upper half plane of $omega$ and which vanishes as $|omega|\; ightarrow\; infty$, the Kramers–Kronig relations are given by

:$chi\_1(omega)\; =\; \{1\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{-infty\}^\{infty\}\; \{chi\_2(omega\text{'})\; over\; omega\text{'}\; -\; omega\},domega\text{'}$

and:$chi\_2(omega)\; =\; -\{1\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{-infty\}^\{infty\}\; \{chi\_1(omega\text{'})\; over\; omega\text{'}\; -\; omega\},domega\text{'},$

where $mathcal\{P\}$ denotes the Cauchy principal value. We see that the real and imaginary parts of such a function are not independent, so that the full function can be reconstructed given just one of its parts.

Derivation

The proof begins with an application of the residue theorem for complex integration. Given any analytic function $chi(omega)$ in the upper half plane, consider the integral

:$oint\; \{chi(omega\text{'})\; over\; omega\text{'}-omega\},domega\text{'}\; =\; 0.$

The contour encloses the upper half plane at infinity, the real axis and a hump over the pole (complex analysis) at $omega\; =\; omega\text{'}$ leaving no poles inside, and so the integral vanishes. We decompose the integral into its contributions along each of these three contour segments. The segment at infinity vanishes since we assume $chi(omega)$ vanishes as we take $|omega|\; ightarrow\; infty$. We are left with the segment along the real axis and the half-circle:

:$mathcal\{P\}\; int\; limits\_\{-infty\}^infty\; \{chi(omega\text{'})\; over\; omega\text{'}-omega\},domega\text{'}\; -\; i\; pi\; chi(omega)\; =\; 0.$

Rearranging, we arrive at the compact form of the Kramers–Kronig relations,

:$chi(omega)\; =\; \{1\; over\; i\; pi\}\; mathcal\{P\}\; int\; limits\_\{-infty\}^infty\; \{chi(omega\text{'})\; over\; omega\text{'}-omega\},domega\text{'}.$

The single $i$ in the denominator hints at 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

We can apply the Kramers–Kronig formalism to response functions. In physics, the response function $chi(t-t\text{'})$ describes how some property $P(t)$ of a physical system responds to an applied force $F(t\text{'})$. 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\text{'})$ must be zero for

The Kramers–Kronig relations have a physical interpretation. 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 formulas above are not useful for reconstructing physical responses, as the integrals run from $-infty$ to $infty$, implying we know the response at negative frequencies. Fortunately, in most systems, the positive frequency-response determines the negative-frequency response because $chi(omega)$ is the Fourier transform of a real quantity $chi(t-t\text{'})$, so $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,infty)$. Consider the first relation giving the real part $chi\_1(omega)$. Transform the integral into one of definite parity by multiplying the numerator and denominator of the integrand by $omega\text{'}\; +\; omega$ and separating:

:$chi\_1(omega)\; =\; \{1\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{-infty\}^infty\; \{omega\text{'}\; chi\_2(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\},\; domega\text{'}\; +\; \{omega\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{-infty\}^infty\; \{chi\_2(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\},domega\text{'}.$

Since $chi\_2(omega)$ is odd, the second integral vanishes, and we are left with

:$chi\_1(omega)\; =\; \{2\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{0\}^\{infty\}\; \{omega\text{'}\; chi\_2(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\},domega\text{'}.$

The same derivation for the imaginary part gives

:$chi\_2(omega)\; =\; -\{2\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{0\}^\{infty\}\; \{omega\; chi\_1(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\},domega\text{'}\; =\; -\{2\; omega\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{0\}^\{infty\}\; \{chi\_1(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\},domega\text{'}.$

These are the Kramers–Kronig relations useful for physical response functions.

ee also

* Hilbert transform
* Linear response function
* Dispersion (optics)

References

Inline

General

* Mansoor Sheik-Bahae: "Nonlinear Optics Basics. Kramers–Kronig Relations in Nonlinear Optics", in: Robert D. Guenther (Ed.): "Encyclopedia of Modern Optics", Academic Press, Amsterdam 2005, ISBN 0-12-227600-0
* Valerio Lucarini, Jarkko J. Saarinen, Kai-Erik Peiponen, and Erik M. Vartiainen : "Kramers-Kronig relations in Optical Materials Research", Springer, Heidelberg, 2005, ISBN 3-540-23673-2
* J. D. Jackson, "Classical Electrodynamics", 2nd edition, Wiley, New York (1975), Sec. 7.10, ISBN 0-471-43132-X.