Kramers-Kronig-Beziehungen

Die Kramers-Kronig-Beziehungen, auch Kramers-Kronig-Relation, setzen Real- und Imaginärteil bestimmter meromorpher Funktionen in Form einer Integralgleichung miteinander in Beziehung. Sie stellen damit einen Spezialfall der Hilbert-Transformation dar. Die Beziehungen wurden nach ihren Entdeckern Hendrik Anthony Kramers und Ralph Kronig benannt.

Eine wichtige Anwendung der Kramers-Kronig-Beziehungen ist der Zusammenhang zwischen der Absorption und der Dispersion der Ausbreitung von Licht in einem Medium. Weitere Anwendungen gibt es in der Hochenergiephysik.

Mathematische Formulierung

Sei $F : \mathbb{C} \rightarrow \mathbb{C}$ eine meromorphe Funktion, deren Polstellen in der unteren Halbebene liegen. Dieser Forderung an die Lage der Polstellen entspricht physikalisch das Kausalitätspostulat. Ferner seien $\operatorname{Re}\, F|_\mathbb{R}$ bzw. $\operatorname{Im}\, F|_\mathbb{R}$ Real- und Imaginärteil der Funktion F. Es sei vorausgesetzt, dass diese beiden Funktionen gerade bzw. ungerade sind. Das bedeutet, dass F durch Fourierintegration nicht aus einer beliebigen komplexen, sondern aus einer reellen Funktion gebildet werden kann.

In der Physik betrachtet man oft statt F die Funktion F / i, wodurch sich die Voraussetzungen bezüglich gerade und ungerade vertauschen. Schließlich sei $\lim_{|z| \rightarrow \infty} |F(z)| = 0$. Dann gelten für $x \in \mathbb{R}$ die folgenden als Kramers-Kronig-Beziehungen bezeichnete Gleichungen:

$\operatorname{Im}\, F(x) = -\frac{2}{\pi} \cdot \;\mathrm{CH}\, \int_{0}^{+\infty} \frac{x\cdot\operatorname{Re}\,F(t)}{t^2-x^2}\mathrm{d}t$

$\operatorname{Re}\, F(x) = \frac{2}{\pi} \cdot \;\mathrm{CH}\, \int_{0}^{+\infty} \frac{t\cdot\operatorname{Im}\,F(t)}{t^2-x^2}\mathrm{d}t$

CH bezeichnet den Cauchyschen Hauptwert des auftretenden Integrals.

Real- und Imaginärteil der Funktion F bedingen sich also gegenseitig durch Integration. Dies findet Anwendungen in der Optik und in der Systemtheorie wenn F die Suszeptibilität eines Systems angibt, siehe Kausalität. Anwendungen finden sich auch in der Hochenergie-Physik bei den Dispersionsrelationen der S-Matrix.

Motivation (Ein Randwertproblem)

Auf der reellen Achse $\mathbb R$ sei eine stetige reelle Funktion $\,f$ vorgegeben, die analog zu $\operatorname{Re}\,F$ als gerade vorausgesetzt werden soll. Dazu soll eine in der ganzen oberen Halbebene holomorphe komplexe(!) Funktion $\,F$ so konstruiert werden, dass $\operatorname{Re}\, F|_\mathbb{R} \stackrel{!}{=} f$ gilt.

Es soll also ein Randwertproblem gelöst werden, wobei im Innern des betrachteten Gebietes $\,G$, d.h. oberhalb von $\mathbb R$, wegen der Holomorphie-Bedingung die Cauchy-Riemannschen Differentialgleichungen erfüllt werden müssen und auf dem Rand, $\partial G=\mathbb R\,,$ eine stetige reelle Funktion, f, vorgegeben ist, die dort angenommen werden soll.

Eine holomorphe Funktion kann nach dem Residuensatz dargestellt werden als:

$F(z) = \frac{1}{2 \pi i} \left( \int_{HK_r} \frac{F(t)}{t - z} \mathrm{d}t + \int_{-r}^r \frac{F(t)}{t - z} \mathrm{d}t \right)$,

wobei HK_r(0) den (positiv orientierten) Halbkreis in der oberen Halbebene mit Zentrum 0 und Radius r > 0 bezeichnet. Fällt nun F im Unendlichen schnell genug ab, so reduziert sich im Grenzübergang $r \rightarrow \infty$ die Darstellung zu einem Integral über der reellen Achse, also:

$F(z) = \frac{1}{2 \pi i} \int_{-\infty}^{+\infty} \frac{F(t)}{t-z} \mathrm{d}t$

Im Falle $\operatorname{Im}\, z = 0$, und weil $\,f$ bzw. $\operatorname{Re}\,F(t)$ eine gerade Funktion sein soll, ergibt sich schließlich

$\operatorname{Im} \, F(z) = - \frac{1}{\pi} \int_{-\infty}^{+\infty} \frac{\operatorname{Re}\,F(t)}{t-z} \mathrm{d}t = - \frac{2}{\pi} \int_{0}^{+\infty} \frac{z \cdot \operatorname{Re}\,F(t)}{t^2-z^2} \mathrm{d}t$,

wobei das auftretende Integral als Cauchyscher Hauptwert zu interpretieren ist (Singularität für t = z) und mit der Hilbert-Transformation von f übereinstimmt. Der Residuensatz wird hierbei auf den Integrationsweg $[-r,z-\varepsilon] \cdot HK_\varepsilon(z) \cdot [z+\varepsilon, r] \cdot HK_r(0)$ angewendet. Diese Gleichung entspricht der einen Kramers-Kronig-Beziehung.

Man braucht jetzt zur Lösung des Randwertproblems nur die Beziehung $\operatorname{Re}\, F|_\mathbb{R} {=} f$ einzusetzen.

Für ungerade Funktionen f verfährt man analog und erhält die andere Kramers-Kronig-Beziehung. Eine beliebige Funktion kann immer durch die Vorschrift $\, f=f_+ + f_-$, mit $f_\pm (t) = \frac{1}{2}\left (f(t)\pm f(-t)\right )$, in einen geraden bzw. ungeraden Anteil zerlegt werden.

Anwendungen

Die Kramers-Kronig-Beziehungen finden dort Anwendung, wo eine reelle gerade Funktion zu einer holomorphen Funktion ergänzt werden soll, was meistens der Vereinfachung der auftretenden Rechnungen dient, insbesondere bei Wellenfunktionen, also hauptsächlich in der Signalverarbeitung und in der Optik, aber auch in der Statistischen Physik im Zusammenhang mit dem Fluktuations-Dissipations-Theorem. Auf diese Weise hängt die Absorption von elektromagnetischen Wellen in einem Medium mit dem Brechungsindex zusammen. Es reicht also die Abhängigkeit einer der beiden Größen von der Frequenz zu kennen, um die andere berechnen zu können.

Die von der Kreisfrequenz abhängige Absorption lässt sich als Funktion einer von der Kreisfrequenz abhängigen Permittivität ε(ω) ausdrücken:

$\operatorname{Re}(\varepsilon(\omega))=1+\frac{2}{\pi} \cdot \;\mathrm{CH}\, \int \limits_{0}^{\infty} {{\Omega \cdot \operatorname{Im}(\varepsilon(\Omega))} \over {\Omega^2-\omega^2}} \,\mathrm{d}\Omega$

Eine alternative Betrachtungsweise ergibt sich mit dem Absorptionskoeffizienten α, dem Brechungsindex n und der Lichtgeschwindigkeit c:

$n(\omega)=1+\frac{c}{\pi} \cdot \;\mathrm{CH}\, \int \limits_{0}^{\infty} {{\alpha(\Omega)} \over {\Omega^2-\omega^2}} \,\mathrm{d}\Omega$

Dadurch lässt sich vor allem in der nichtlinearen Optik aus einer einfachen Absorptionsmessung die komplexe Form des Brechungsindex ableiten.

Literatur

Originalarbeiten:

• R. de L. Kronig: On the theory of the dispersion of X-rays. In: Journal of the Optical Society of America. 12, Nr. 6, 1926, S. 547556, doi:10.1364/JOSA.12.000547.
• H.A. Kramers: La diffusion de la lumiere par les atomes, Atti Cong. Intern. Fisica, (Transactions of Volta Centenary Congress) Como, Bd. 2, 1927, S. 545-557

Weitere Literatur:

• Mansoor Sheik-Bahae: Nonlinear Optics Basics. Kramers-Kronig Relations in Nonlinear Optics, in: Robert D. Guenther (Hrsg.): Encyclopedia of Modern Optics, Academic Press, Amsterdam 2005, ISBN 0-12-227600-0