Kramers-Kronig-Beziehungen: Unterschied zwischen den Versionen

Kramers-Kronig-Beziehungen: Unterschied zwischen den Versionen

imported>HilberTraum
(Änderung 169649503 von 130.149.114.60 rückgängig gemacht; solche Löschungen bitte ordentlich begründen)
 
imported>Aka
K (→‎Anwendungen: Halbgeviertstrich)
 
Zeile 1: Zeile 1:
Die '''Kramers-Kronig-Beziehungen''', auch '''Kramers-Kronig-Relation''' (nach ihren Entdeckern [[Hendrik Anthony Kramers]] und [[Ralph Kronig]]), setzen Real- und [[Imaginärteil]] bestimmter [[meromorph]]er Funktionen in Form einer [[Integralgleichung]] miteinander in Beziehung. Sie stellen damit einen Spezialfall der [[Hilbert-Transformation]] dar.
Die '''Kramers-Kronig-Beziehungen''', auch '''Kramers-Kronig-Relation''' (nach ihren Entdeckern [[Hendrik Anthony Kramers]] und [[Ralph Kronig]]), setzen Real- und [[Imaginärteil]] bestimmter [[meromorph]]er Funktionen in Form einer [[Integralgleichung]] miteinander in Beziehung. Sie stellen damit einen Spezialfall der [[Hilbert-Transformation]] dar.


Eine wichtige Anwendung ist der Zusammenhang zwischen der [[Absorption (Physik)|Absorption]] und der [[Dispersion (Physik)|Dispersion]] von einem, sich in einem [[Ausbreitungsmedium|Medium]], ausbreitendem Lichtstrahl. Weitere Anwendungen gibt es in der [[Hochenergiephysik]] und in den [[Ingenieurwissenschaften]].
Eine wichtige Anwendung ist der Zusammenhang zwischen der [[Absorption (Physik)|Absorption]] und der [[Dispersion (Physik)|Dispersion]] eines sich in einem [[Ausbreitungsmedium|Medium]] ausbreitenden „Lichtstrahls“. Weitere Anwendungen gibt es in der [[Hochenergiephysik]] und in den [[Ingenieurwissenschaften]].


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


In der Physik betrachtet man oft statt <math>F</math> die Funktion <math>F/i</math>, wodurch sich die Voraussetzungen bezüglich gerade und ungerade vertauschen.
In der Physik betrachtet man oft statt <math>F</math> die Funktion <math>F/\mathrm i</math>, wodurch sich die Voraussetzungen bezüglich gerade und ungerade vertauschen.


Schließlich sei <math>\lim_{|z| \rightarrow \infty} |F(z)| = 0</math>. Dann gelten für <math>x \in \mathbb{R}</math> die folgenden als Kramers-Kronig-Beziehungen bezeichnete Gleichungen:
Schließlich sei <math>\lim_{|z| \rightarrow \infty} |F(z)| = 0</math>. Dann gelten für <math>x \in \mathbb{R}</math> die folgenden als Kramers-Kronig-Beziehungen bezeichnete Gleichungen:
Zeile 13: Zeile 13:
<math>\mathrm{CH}</math> bezeichnet den [[Cauchyscher Hauptwert|cauchyschen Hauptwert]] des auftretenden Integrals.
<math>\mathrm{CH}</math> bezeichnet den [[Cauchyscher Hauptwert|cauchyschen Hauptwert]] des auftretenden Integrals.


Real- und Imaginärteil der Funktion <math>F</math> bedingen sich also gegenseitig durch Integration. Dies findet Anwendungen in der Optik und in der Systemtheorie wenn <math>F</math> die Suszeptibilität eines Systems angibt, siehe [[Kausalität]]. Anwendungen finden sich auch in der Hochenergie-Physik bei den [[Dispersionsrelation]]en der [[S-Matrix]]. In den Ingenieurswissenschaften wird mit Hilfe der Kramers-Kronig-Beziehungen die Gültigkeit eines gemessenen Frequenzgangs überprüft.
Real- und Imaginärteil der Funktion <math>F</math> bedingen sich also gegenseitig durch Integration. Dies findet Anwendungen in der Optik und in der Systemtheorie wenn <math>F</math> die Suszeptibilität eines Systems angibt, siehe [[Kausalität]]. Anwendungen finden sich auch in der Hochenergie-Physik bei den [[Dispersionsrelation]]en der [[S-Matrix]].


== Motivation (Ein Randwertproblem) ==
== Motivation (Ein Randwertproblem) ==
Zeile 21: Zeile 21:


Eine holomorphe Funktion kann nach dem [[Residuensatz]] dargestellt werden als:
Eine holomorphe Funktion kann nach dem [[Residuensatz]] dargestellt werden als:
:<math>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)</math>,
:<math>F(z) = \frac{1}{2 \pi \mathrm 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)</math>,
wobei <math>HK_r(0)</math> den (positiv orientierten) Halbkreis in der oberen Halbebene mit Zentrum <math>0</math> und Radius <math>r > 0 </math> bezeichnet. Fällt nun <math>F</math> im Unendlichen schnell genug ab, so reduziert sich im Grenzübergang <math>r \rightarrow \infty</math> die Darstellung zu einem Integral über der reellen Achse, also:
wobei <math>HK_r(0)</math> den (positiv orientierten) Halbkreis in der oberen Halbebene mit Zentrum <math>0</math> und Radius <math>r > 0 </math> bezeichnet. Fällt nun <math>F</math> im Unendlichen schnell genug ab, so reduziert sich im Grenzübergang <math>r \rightarrow \infty</math> die Darstellung zu einem Integral über der reellen Achse, also:
:<math>F(z) = \frac{1}{2 \pi i} \int_{-\infty}^{+\infty} \frac{F(t)}{t-z} \mathrm{d}t</math>
:<math>F(z) = \frac{1}{2 \pi \mathrm i} \int_{-\infty}^{+\infty} \frac{F(t)}{t-z} \mathrm{d}t</math>


Im Falle <math>\operatorname{Im}\, z = 0</math>,  und weil <math>\,f</math> bzw. <math>\operatorname{Re}\,F(t)</math> eine [[gerade Funktion]] sein soll, ergibt sich schließlich
Im Falle <math>\operatorname{Im}\, z = 0</math>,  und weil <math>\,f</math> bzw. <math>\operatorname{Re}\,F(t)</math> eine [[gerade Funktion]] sein soll, ergibt sich schließlich
Zeile 33: Zeile 33:


Für ungerade Funktionen <math>f</math> verfährt man analog und erhält die andere Kramers-Kronig-Beziehung. Eine beliebige Funktion kann immer durch die Vorschrift <math>\, f=f_+ + f_-</math>, mit <math>f_\pm (t) = \frac{1}{2}\left (f(t)\pm f(-t)\right )</math>, in einen geraden bzw. ungeraden Anteil zerlegt werden.
Für ungerade Funktionen <math>f</math> verfährt man analog und erhält die andere Kramers-Kronig-Beziehung. Eine beliebige Funktion kann immer durch die Vorschrift <math>\, f=f_+ + f_-</math>, mit <math>f_\pm (t) = \frac{1}{2}\left (f(t)\pm f(-t)\right )</math>, in einen geraden bzw. ungeraden Anteil zerlegt werden.
Der einfachste Fall einer meromorphen Funktion <math>F(z)</math> mit den vorausgesetzten Eigenschaften ist die [[lineare Antwortfunktion]] des gedämpften harmonischen Oszillators, <math>F(z) :=1/(z^2-\omega_0^2+i \gamma z),</math> mit positiver Dämpfungskonstante <math>\gamma  </math> und positiver charakteristischer Oszillator-Kreisfrequenz <math>\omega_0 .</math>
Der einfachste Fall einer meromorphen Funktion <math>F(z)</math> mit den vorausgesetzten Eigenschaften ist die [[lineare Antwortfunktion]] des gedämpften harmonischen Oszillators, <math>F(z) :=1/(z^2-\omega_0^2+\mathrm i \gamma z),</math> mit positiver Dämpfungskonstante <math>\gamma  </math> und positiver charakteristischer Oszillator-Kreisfrequenz <math>\omega_0 .</math>


== Anwendungen ==
== Anwendungen ==
Die Kramers-Kronig-Beziehungen werden dort angewendet, wo eine reelle [[gerade Funktion]] <math>F(\omega)</math> – evtl. ungerade gemacht durch einen  Zusatzfaktor <math>1/i</math> - zu einer [[Holomorphie|holomorphen]] Funktion <math>F(z)</math> ergänzt werden soll. Dies dient meistens der Vereinfachung der auftretenden Rechnungen, insbesondere bei [[Wellenfunktion]]en, also hauptsächlich in der [[Signalverarbeitung]] und in der [[Optik]], aber auch in der [[Statistische Physik|Statistischen Physik]] im Zusammenhang mit dem [[Fluktuations-Dissipations-Theorem]]. Auf diese Weise hängt die [[Absorption (Physik)|Absorption]] [[elektromagnetische Welle|elektromagnetischer 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 Kramers-Kronig-Beziehungen werden dort angewendet, wo eine reelle [[gerade Funktion]] <math>F(\omega)</math> – evtl. ungerade gemacht durch einen  Zusatzfaktor <math>1/\mathrm i</math> zu einer [[Holomorphie|holomorphen]] Funktion <math>F(z)</math> ergänzt werden soll. Dies dient meistens der Vereinfachung der auftretenden Rechnungen, insbesondere bei [[Wellenfunktion]]en, also hauptsächlich in der [[Signalverarbeitung]] und in der [[Optik]], aber auch in der [[Statistische Physik|Statistischen Physik]] im Zusammenhang mit dem [[Fluktuations-Dissipations-Theorem]]. Auf diese Weise hängt die [[Absorption (Physik)|Absorption]] [[elektromagnetische Welle|elektromagnetischer 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]] <math>\omega</math> abhängige [[Permittivität]] <math>\varepsilon(\omega)</math> lässt sich ausdrücken als Integral der von der Kreisfrequenz abhängigen [[Absorption (Physik)|Absorption]]:<ref>{{Literatur | Autor = Safa Kasap, Peter Capper | Titel = Springer Handbook of Electronic and Photonic Materials | Verlag = Springer | Jahr = 2006 | ISBN = 978-0-387-26059-4|Seiten=49}}</ref>
Die von der [[Kreisfrequenz]] <math>\omega</math> abhängige [[Permittivität]] <math>\varepsilon(\omega)</math> lässt sich ausdrücken als Integral der von der Kreisfrequenz abhängigen [[Absorption (Physik)|Absorption]]:<ref>{{Literatur | Autor = Safa Kasap, Peter Capper | Titel = Springer Handbook of Electronic and Photonic Materials | Verlag = Springer | Jahr = 2006 | ISBN = 978-0-387-26059-4|Seiten=49}}</ref>

Aktuelle Version vom 28. Oktober 2018, 21:29 Uhr

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

Eine wichtige Anwendung ist der Zusammenhang zwischen der Absorption und der Dispersion eines sich in einem Medium ausbreitenden „Lichtstrahls“. Weitere Anwendungen gibt es in der Hochenergiephysik und in den Ingenieurwissenschaften.

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/\mathrm {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 $

$ \mathrm {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 \mathrm {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 \mathrm {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. Der einfachste Fall einer meromorphen Funktion $ F(z) $ mit den vorausgesetzten Eigenschaften ist die lineare Antwortfunktion des gedämpften harmonischen Oszillators, $ F(z):=1/(z^{2}-\omega _{0}^{2}+\mathrm {i} \gamma z), $ mit positiver Dämpfungskonstante $ \gamma $ und positiver charakteristischer Oszillator-Kreisfrequenz $ \omega _{0}. $

Anwendungen

Die Kramers-Kronig-Beziehungen werden dort angewendet, wo eine reelle gerade Funktion $ F(\omega ) $ – evtl. ungerade gemacht durch einen Zusatzfaktor $ 1/\mathrm {i} $ – zu einer holomorphen Funktion $ F(z) $ ergänzt werden soll. Dies dient meistens der Vereinfachung der auftretenden Rechnungen, 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 elektromagnetischer 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 $ \omega $ abhängige Permittivität $ \varepsilon (\omega ) $ lässt sich ausdrücken als Integral der von der Kreisfrequenz abhängigen Absorption:[1]

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

wobei

  • die reelle Kreisfrequenz $ \Omega $ die Integrationsvariable ist
  • die ebenfalls reelle Variable $ \omega $ eine charakteristische System-Kreisfrequenz darstellt
  • die Abkürzung $ \mathrm {CH} \int _{0}^{\infty }\dots $  für den cauchyschen Hauptwert (engl. {{Modul:Vorlage:lang}} Modul:Multilingual:149: attempt to index field 'data' (a nil value)) des Integrals steht ($ \operatorname {Re} \varepsilon (\omega ) $ ist gerade, $ \operatorname {Im} \varepsilon (\omega ) $ ungerade).

Eine alternative Betrachtungsweise ergibt sich mit dem Absorptionskoeffizienten $ \alpha $, 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. Auch der Name der Dispersionsrelationen der Hochenergiephysik bezieht sich auf dieses Beispiel.

In den Ingenieurswissenschaften kommen die Kramers-Kronig-Beziehungen vor allem im Rahmen von impedanzspektroskopischen Messungen zum Einsatz, wo aus ihrer Nichterfüllung auf eine fehlerhafte Messung des Frequenzganges geschlossen wird.[2][3]

Die Einschränkung der allgemeiner gültigen Kramers-Kronig-Beziehungen auf Zweipol-Systeme führt zum ZHIT-Algorithmus, der zur Validierung von Impedanzspektren elektrochemischer Systeme (Elektrochemische Impedanzspektroskopie) angewandt werden kann.

Literatur

Originalarbeiten:

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

Weitere Literatur:

  • Mansoor Sheik-Bahae: Nonlinear Optics Basics. Kramers-Krönig Relations in Nonlinear Optics. In: Robert D. Guenther (Hrsg.): Encyclopedia of Modern Optics. Academic Press, Amsterdam 2005, ISBN 0-12-227600-0, S. 234–240.

Einzelnachweise

  1. Safa Kasap, Peter Capper: Springer Handbook of Electronic and Photonic Materials. Springer, 2006, ISBN 978-0-387-26059-4, S. 49.
  2. B.A. Boukamp: A Linear Kronig‐Kramers Transform Test for Immittance Data Validation. In: J. Electrochem. Soc. 142. Jahrgang, 1995, S. 1885–1894.
  3. M. Schönleber, D. Klotz and E. Ivers-Tiffée: A Method for Improving the Robustness of linear Kramers-Kronig Validity Tests. In: Electrochimica Acta. 131. Jahrgang, 2014, S. 20–27, doi:10.1016/j.electacta.2014.01.034.