|
|
| Line 1: |
Line 1: |
| The '''Kramers–Kronig relations''' are bidirectional [[mathematics|mathematical]] relations, connecting the [[real number|real]] and [[imaginary number|imaginary]] parts of any [[complex analysis|complex function]] that is [[analytic function|analytic]] in the [[upper half-plane]]. These relations are often used to calculate the real part from the imaginary part (or vice versa) of [[linear response function|response functions]] in [[physical system]]s because for stable systems [[causal system|causality]] implies the analyticity condition is satisfied, and conversely, analyticity implies causality of the corresponding stable physical system.<ref>{{cite journal|doi=10.1103/PhysRev.104.1760|author=John S. Toll| title=Causality and the Dispersion Relation: Logical Foundations| journal=Physical Review| volume=104|pages=1760–1770 |year=1956|bibcode = 1956PhRv..104.1760T }}</ref> The relation is named in honor of [[Ralph Kronig]]<ref>{{cite journal|doi=10.1364/JOSA.12.000547|author=R. de L. Kronig| title=On the theory of the dispersion of X-rays|journal= J. Opt. Soc. Am.| volume=12|pages= 547–557|year=1926}}</ref> and [[Hendrik Anthony Kramers]].<ref>{{cite journal| author=H.A. Kramers| title=La diffusion de la lumiere par les atomes| journal = Atti Cong. Intern. Fisici, (Transactions of Volta Centenary Congress) Como| volume = 2|pages=545–557 |year=1927}}</ref> In [[mathematics]] these relations are known under the names [[Sokhotski–Plemelj theorem]] and [[Hilbert transform]].
| | Hi there. Allow me start by introducing the writer, her title is Sophia. For a whilst I've been in Mississippi but now I'm contemplating other options. The preferred pastime for him and his kids is to play lacross and he would never give it up. Distributing manufacturing is where my [http://www.edmposts.com/build-a-beautiful-organic-garden-using-these-ideas/ real psychics] primary authentic psychic readings ([http://cpacs.org/index.php?document_srl=90091&mid=board_zTGg26 http://cpacs.org/index.php?document_srl=90091&mid=board_zTGg26]) income arrives from and it's some thing I truly enjoy.<br><br>Here is my webpage clairvoyance ([http://conniecolin.com/xe/community/24580 redirected here]) |
| | |
| ==Definition==
| |
| | |
| Let <math>\chi(\omega) = \chi_1(\omega) + i \chi_2(\omega)</math> be a complex function of the complex variable <math>\omega </math>, where <math>\chi_1(\omega)</math> and <math>\chi_2(\omega)</math> are [[real number|real]]. Suppose this function is [[Analytic function|analytic]] in the upper half-plane of <math>\omega </math> and it vanishes faster than <math>1/|\omega|</math> as <math>|\omega| \rightarrow \infty</math>. The Kramers–Kronig relations are given by
| |
| | |
| :<math>\chi_1(\omega) = {1 \over \pi} \mathcal{P}\!\!\!\int \limits_{-\infty}^\infty {\chi_2(\omega') \over \omega' - \omega}\,d\omega'</math>
| |
| | |
| and
| |
| :<math>\chi_2(\omega) = -{1 \over \pi} \mathcal{P}\!\!\!\int \limits_{-\infty}^\infty {\chi_1(\omega') \over \omega' - \omega}\,d\omega',</math>
| |
| | |
| where <math>\mathcal{P}</math> 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 [[residue theorem|Cauchy's residue theorem]] for complex integration. Given any analytic function <math>\chi(\omega')</math> in the upper half plane, the function <math> \chi(\omega') /( \omega'-\omega)</math> where <math>\omega</math> is real will also be analytic in the upper half of the plane. The residue theorem consequently states that
| |
| | |
| :<math> \oint {\chi(\omega') \over \omega'-\omega}\,d\omega' = 0 </math>
| |
| | |
| [[File:Contour of KKR.svg|thumb|125pxs|Integral contour for deriving Kramers–Kronig relations.]] for any [[methods of contour integration|contour]] within this region. We choose the contour to trace the real axis, a hump over the [[pole (complex analysis)|pole]] at <math>\omega = \omega'</math>, and a semicircle in the upper half plane at [[infinity (mathematics)|infinity]]. We then decompose the integral into its contributions along each of these three contour segments. The length of the segment at infinity increases proportionally to <math>|\omega|</math>, but its integral component vanishes as long as <math>\chi(\omega)</math> vanishes faster than <math>1/|\omega|</math>. We are left with the segment along the real axis and the half-circle around the pole:
| |
| | |
| :<math>\oint {\chi(\omega') \over \omega'-\omega}\,d\omega' = \mathcal{P} \!\!\!\int \limits_{-\infty}^\infty {\chi(\omega') \over \omega'-\omega}\,d\omega' - i \pi \chi(\omega) = 0.</math>
| |
| | |
| The second term in the middle expression is obtained using the theory of residues.<ref>{{cite book|title=Mathematical Methods for Physicists|author= G. Arfken |publisher=Academic Press|location= Orlando |year=1985|isbn=0-12-059877-9}}</ref> Rearranging, we arrive at the compact form of the Kramers–Kronig relations,
| |
| | |
| :<math>\chi(\omega) = {1 \over i \pi} \mathcal{P} \!\!\!\int \limits_{-\infty}^\infty {\chi(\omega') \over \omega'-\omega}\,d\omega'. </math> | |
| | |
| The single <math>i</math> in the [[denominator]] hints at the connection between the real and imaginary components. Finally, split <math>\chi(\omega)</math> 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 [[linear response function|response functions]]. In [[physics]], the response function <math>\chi(t-t')\!</math> describes how some property <math>P(t)\!</math> of a physical system responds to a small applied [[force (physics)|force]] <math>F(t')\!</math>. For example, <math>P(t)\!</math> could be the [[angle]] of a [[pendulum]] and <math>F(t)</math> the applied force of a [[actuator|motor]] driving the pendulum motion. The response <math>\chi(t-t')</math> must be zero for <math>t<t'\!</math> since a system cannot respond to a force before it is applied. It can be shown (for instance, by invoking [[Hilbert_transform#Titchmarsh.27s_theorem|Titchmarsh's theorem]]) that this causality condition implies the [[Fourier transform]] <math>\chi(\omega)\!</math> is analytic in the upper half plane.<ref>
| |
| {{cite book
| |
| | author = John David Jackson
| |
| | year = 1999
| |
| | title = Classical Electrodynamics
| |
| | publisher = Wiley
| |
| | pages = 332–333
| |
| | isbn = 0-471-43132-X
| |
| }}</ref>
| |
| Additionally, if we subject the system to an oscillatory force with a frequency much higher than its highest resonant frequency, there will be no time for the system to respond before the forcing has switched direction, and so <math>\chi(\omega)\!</math> vanishes as <math>\omega\!</math> becomes very large. From these physical considerations, we see that <math>\chi(\omega)\!</math> satisfies conditions needed for the Kramers–Kronig relations to apply.
| |
| | |
| The imaginary part of a response function describes how a system [[dissipation|dissipates energy]], since it is out of [[phase (waves)|phase]] with the [[Force|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 <math>-\infty</math> to <math>\infty</math>, implying we know the response at negative frequencies. Fortunately, in most systems, the positive frequency-response determines the negative-frequency response because <math>\chi(\omega)</math> is the Fourier transform of a real quantity <math>\chi(t-t')</math>, so <math>\chi(-\omega) = \chi^*(\omega)</math>. This means <math>\chi_1(\omega)</math> is an [[even and odd functions|even function]] of frequency and <math>\chi_2(\omega)</math> is [[even and odd functions|odd]].
| |
| | |
| Using these properties, we can collapse the integration ranges to <math>[0,\infty)</math>. Consider the first relation giving the real part <math>\chi_1(\omega)</math>. We transform the integral into one of definite parity by multiplying the numerator and denominator of the [[integrand]] by <math>\omega' + \omega</math> and separating:
| |
| | |
| :<math> \chi_1(\omega) = {1 \over \pi} \mathcal{P}\!\!\! \int \limits_{-\infty}^\infty {\omega' \chi_2(\omega') \over \omega'^2 - \omega^2}\, d\omega' + {\omega \over \pi} \mathcal{P}\!\!\! \int \limits_{-\infty}^\infty {\chi_2(\omega') \over \omega'^2 - \omega^2}\,d\omega'. </math> | |
| | |
| Since <math>\chi_2(\omega)</math> is odd, the second integral vanishes, and we are left with
| |
| | |
| :<math>\chi_1(\omega) = {2 \over \pi} \mathcal{P}\!\!\! \int \limits_{0}^{\infty} {\omega' \chi_2(\omega') \over \omega'^2 - \omega^2}\,d\omega'.</math>
| |
| | |
| The same derivation for the imaginary part gives
| |
| | |
| :<math>\chi_2(\omega) = -{2 \over \pi} \mathcal{P}\!\!\! \int \limits_{0}^{\infty} {\omega \chi_1(\omega') \over \omega'^2 - \omega^2}\,d\omega' = -{2 \omega \over \pi} \mathcal{P}\!\!\! \int \limits_{0}^{\infty} {\chi_1(\omega') \over \omega'^2 - \omega^2}\,d\omega'.</math>
| |
| | |
| These are the Kramers–Kronig relations useful for physical response functions.
| |
| | |
| ==Related proof from the time domain== | |
| [[File:KramersKronig.svg|450px|thumbnail|right|Illustration of Kramers-Kronig relations for a causal, real signal]]
| |
| Hall and Heck<ref>{{cite book
| |
| | isbn = 0-470-19235-6
| |
| | url = http://books.google.com/books?id=AB2DHvhSHpsC&lpg=PP1&pg=PA331#v=onepage&q=&f=false
| |
| | pages = 331–336
| |
| | author = Stephen H. Hall, Howard L. Heck.
| |
| | year = 2009
| |
| | publisher = Wiley
| |
| | location = Hoboken, N.J.
| |
| | title = Advanced signal integrity for high-speed digital designs
| |
| }}</ref> give a related and possibly more intuitive proof that avoids contour integration. It is based on the facts that:
| |
| | |
| * Causal impulse responses can be constructed from an even function plus the same function multiplied by the [[Sign function|signum function]].
| |
| * Even and odd part of time domain waveform correspond to real and imaginary parts of its Fourier integral, respectively.
| |
| * Multiplication by signum in the time domain corresponds to the [[Hilbert transform]] (i.e. convolution by the Hilbert kernel) in the frequency domain.
| |
| | |
| This proof covers slightly different ground from the one above in that it connects the real and imaginary frequency domain parts of any function that is causal in the time domain, and bypasses the condition about the function being analytic in the upper half plane of the frequency domain.
| |
| | |
| A [[white paper]] with an informal, pictorial version of this proof is also available.<ref>{{cite web
| |
| | url = http://cp.literature.agilent.com/litweb/pdf/5990-5266EN.pdf
| |
| | title = Understanding the Kramers–Kronig Relation Using A Pictorial Proof
| |
| | author = Colin Warwick
| |
| }}</ref>
| |
| | |
| ==Application==
| |
| | |
| ===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]].<ref>{{cite book|author=R. F. Egerton|year=1996|title= Electron energy-loss spectroscopy in the electron microscope|edition = 2nd|publisher= Plenum Press|location =New York| isbn=0-306-45223-5}}</ref>
| |
| | |
| 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 [[presolar grain|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 [[Electromagnetic spectrum|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.<ref>{{cite journal |journal= Rev. Mod. Phys.|year=2003 |volume=75 |issue=2 |pages=473–541 |title= Angle-resolved photoemission studies of the cuprate superconductors |author= Andrea Damascelli |doi=10.1103/RevModPhys.75.473 |url=http://link.aps.org/doi/10.1103/RevModPhys.75.473 |bibcode=2003RvMP...75..473D|arxiv = cond-mat/0208504 }}</ref>
| |
| | |
| ===Hadronic Scattering===
| |
| | |
| They are also used under the name integral dispersion relations with reference to [[hadron]]ic scattering.<ref>{{cite journal |journal= Rev. Mod. Phys.|year=1985 |volume=57 |issue=2 |pages=563–598 |title=High-energy pp̅ and pp forward elastic scattering and total cross sections |author= M.M. Block and R.N. Cahn |doi=10.1103/RevModPhys.57.563 |url=http://link.aps.org/doi/10.1103/RevModPhys.57.563|bibcode = 1985RvMP...57..563B }}</ref> 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]]{{dn|date=January 2014}} which is a physically measurable quantity.
| |
| | |
| ==See also==
| |
| | |
| * [[Hilbert transform]]
| |
| * [[Sokhotski–Plemelj theorem]]
| |
| * [[Linear response function]]
| |
| * [[Dispersion (optics)]]
| |
| | |
| ==References==
| |
| | |
| ===Inline===
| |
| {{reflist}}
| |
| | |
| ===General===
| |
| * {{cite book| author=Mansoor Sheik-Bahae| chapter=Nonlinear Optics Basics. Kramers–Kronig Relations in Nonlinear Optics| editor=Robert D. Guenther | title=Encyclopedia of Modern Optics|publisher=Academic Press|location=Amsterdam |year=2005| isbn=0-12-227600-0}}
| |
| * {{cite book|author=Valerio Lucarini, Jarkko J. Saarinen, Kai-Erik Peiponen, and Erik M. Vartiainen |title=Kramers-Kronig relations in Optical Materials Research|publisher=Springer| location=Heidelberg|year= 2005|isbn =3-540-23673-2}}
| |
| * {{cite book| author=Frederick W. King| title=Hilbert Transforms|volume=2|publisher= Cambridge University Press|location= Cambridge |year=2009| isbn=978-0-521-51720-1| chapter=19–22}}
| |
| * {{cite book| author=J. D. Jackson| title=Classical Electrodynamics|edition=2nd|publisher= Wiley|location= New York|year=1975| chapter= section 7.10|isbn= 0-471-43132-X}}
| |
| | |
| {{DEFAULTSORT:Kramers-Kronig relation}}
| |
| [[Category:Complex analysis]]
| |
| [[Category:Electric and magnetic fields in matter]]
| |