Discover

(Redirected from Kramers-Kronig relations)
The Kramers-Kronig relations are mathematical properties which connect the real and imaginary parts of any complex function 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.^[1] The relation is named in honor of Ralph Kronig^[2] and Hendrik Anthony Kramers.^[3]

Contents

Definition

Derivation

Physical Interpretation and Alternate Form

See Also

Reference

Definition

For a function $chi(omega)\; =\; chi\_1(omega)\; +\; i\; chi\_2(omega)$ analytic in the upper half plane 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\}\; domega\text{'}\; \{chi\_2(omega\text{'})\; over\; omega\text{'}\; -\; omega\}$
and
:$chi\_2(omega)\; =\; -\{1\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{-infty\}^\{infty\}\; domega\text{'}\; \{chi\_1(omega\text{'})\; over\; omega\text{'}\; -\; omega\}$,
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\; domega\text{'}\; \{chi(omega\text{'})\; over\; omega\text{'}-omega\}\; =\; 0$.
The contour encloses the upper half plane at infinity, the real axis and a hump over the pole at $omega\; =\; omega\text{'}$ leaving no poles inside, and so the integral vanishes. We decompose the integral into its contributions along each of the 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\; domega\text{'}\; \{chi(omega\text{'})\; over\; omega\text{'}-omega\}\; -\; 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\; domega\text{'}\; \{chi(omega\text{'})\; over\; omega\text{'}-omega\}$.
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 of 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 even 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\; domega\text{'}\; \{omega\text{'}\; chi\_2(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\}\; +\; \{omega\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{-infty\}^infty\; domega\text{'}\; \{chi\_2(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\}$.
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\}\; domega\text{'}\; \{omega\text{'}\; chi\_2(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\}$.
The same derivation for the imaginary part gives
:$chi\_2(omega)\; =\; -\{2\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{0\}^\{infty\}\; domega\text{'}\; \{omega\; chi\_1(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\}\; =\; -\{2\; omega\; over\; pi\}\; mathcal\{P\}\; int\; limits\_\{0\}^\{infty\}\; domega\text{'}\; \{chi\_1(omega\text{'})\; over\; omega\text{'}^2\; -\; omega^2\}$.
These are the Kramers-Kronig relations useful for physical response functions.

See Also

★ Hilbert transform

Reference

1. John S. Toll, ''Causality and the Dispersion Relation: Logical Foundations'', Physical Review, vol. ''104'', pp. 1760 - 1770 (1956).
2. R. de L. Kronig, ''On the theory of the dispersion of X-rays,'' J. Opt. Soc. Am., vol. '12', pp. 547-557 (1926).
3. 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) .


★ 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

★ J. D. Jackson, ''Classical Electrodynamics'', 2nd edition, Wiley, New York (1975), Sec. 7.10, ISBN 0-471-43132-X.