Kramers-Kronig relation

From Wikipedia, the free encyclopedia

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

[edit] Definition

For a function χ(ω) = χ1(ω) + iχ2(ω) analytic in the upper half plane which vanishes as |\omega| \rightarrow \infty, the Kramers-Kronig relations are given by

\chi_1(\omega) = {1 \over \pi} \mathcal{P} \int \limits_{-\infty}^{\infty} d\omega' {\chi_2(\omega') \over \omega' - \omega}

and

\chi_2(\omega) = -{1 \over \pi} \mathcal{P} \int \limits_{-\infty}^{\infty} d\omega' {\chi_1(\omega') \over \omega' - \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.

[edit] Derivation

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

\oint d\omega' {\chi(\omega') \over \omega'-\omega} = 0.

The contour encloses the upper half plane at at infinity, the real axis and a hump over the pole at ω = ω' 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 χ(ω) vanishes as we take |\omega| \rightarrow \infty. We are left with the segment along the real axis and the half-circle:

\mathcal{P} \int \limits_{-\infty}^\infty d\omega' {\chi(\omega') \over \omega'-\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 d\omega' {\chi(\omega') \over \omega'-\omega}.

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


[edit] Physical Interpretation and Alternate Form

We can apply the Kramers-Kronig formalism to response functions. In physics, the response function χ(t − t') describes how some property P(t) of a physical system responds to an applied force F(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 χ(t − t') must be zero for t < t' since a system cannot respond to a force before it is applied. It can be shown that this causality condition implies the Fourier transform χ(ω) is analytic in the upper half plane. Additionally, if we subject a system to high frequency oscillatory forcing, there will be no time for the system to respond before the forcing has switched direction, and so χ(ω) vanishes as ω becomes large. From these physical considerations, we see that χ(ω) satisfies conditions needed for the Kramers-Kronig relations to apply.

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 χ(ω) is the Fourier transform of a real quantity χ(t − t'), so χ( − ω) = χ * (ω). This means χ1(ω) is even and χ2(ω) is odd.

Using these properties, we can collapse the integration ranges to [0,\infty). Consider the first relation giving the real part χ1(ω). Transform the integral into one of definite parity by multiplying the numerator and denominator of the integrand by ω' + ω and separating:

\chi_1(\omega) = {1 \over \pi} \mathcal{P} \int \limits_{-\infty}^\infty d\omega' {\omega' \chi_2(\omega') \over \omega'^2 - \omega^2} + {\omega \over \pi} \mathcal{P} \int \limits_{-\infty}^\infty d\omega' {\chi_2(\omega') \over \omega'^2 - \omega^2}.

Since χ2(ω) is odd, the second integral vanishes, and we are left with

\chi_1(\omega) = {2 \over \pi} \mathcal{P} \int \limits_{0}^{\infty} d\omega' {\omega' \chi_2(\omega') \over \omega'^2 - \omega^2}.

The same derivation for the imaginary part gives

\chi_2(\omega) = -{2 \over \pi} \mathcal{P} \int \limits_{0}^{\infty} d\omega' {\omega \chi_1(\omega') \over \omega'^2 - \omega^2}.

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

[edit] 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.
Retrieved from "http://en.wikipedia.org../../../k/r/a/Kramers-Kronig_relation_c142.html"