Fresnel-Integral

Als Fresnel-Integrale werden in der Mathematik, insbesondere im Teilgebiet der Analysis, zwei uneigentliche Integrale bezeichnet, die nach dem Physiker Augustin Jean Fresnel benannt sind.

Definition

Die beiden Integrale

cos ( t 2 ) d t = sin ( t 2 ) d t = 1 2 2 π {\displaystyle \int _{-\infty }^{\infty }\cos(t^{2})\,\mathrm {d} t=\int _{-\infty }^{\infty }\sin(t^{2})\,\mathrm {d} t={\tfrac {1}{2}}{\sqrt {2\pi }}}

heißen Fresnel-Integrale. Sie ergeben sich aus dem gaußschen Fehlerintegral unter Benutzung des cauchyschen Integralsatzes.

Geschichte

Fresnel beschäftigte sich um 1819 mit diesen Integralen. Euler betrachtete schon 1781 die allgemeineren Integrale

e ( a 2 1 ) t 2 cos ( 2 a t 2 ) d t = π 1 + a 2 , 1 a 1 {\displaystyle \int _{-\infty }^{\infty }e^{(a^{2}-1)t^{2}}\cos(2at^{2})\,\mathrm {d} t={\frac {\sqrt {\pi }}{1+a^{2}}},\qquad -1\leq a\leq 1}

und

e ( a 2 1 ) t 2 sin ( 2 a t 2 ) d t = a π 1 + a 2 , 1 a 1. {\displaystyle \int _{-\infty }^{\infty }e^{(a^{2}-1)t^{2}}\sin(2at^{2})\,\mathrm {d} t={\frac {a\,{\sqrt {\pi }}}{1+a^{2}}},\qquad -1\leq a\leq 1.}

Fresnel-Integrale in der Quantenmechanik

Sie spielen auch eine wichtige Rolle in der Quantenmechanik. Der Ansatz, die Quantenmechanik aus Pfadintegralen herzuleiten, basiert auf Integralen der Form:

F ( j ) N   e i α ξ 2 ξ j d ξ . {\displaystyle {\mathcal {F}}^{(j)}\equiv {\mathcal {N}}\int _{-\infty }^{\infty }\ \mathrm {e} ^{i\alpha \xi ^{2}}\xi ^{j}\mathrm {d} \xi \,.}

Eine praktische Formulierung der Normierungskonstante N {\displaystyle {\mathcal {N}}} ist

N α i π {\displaystyle {\mathcal {N}}\equiv {\sqrt {\frac {\alpha }{i\pi }}}} ,

j {\displaystyle j} ist eine ganze natürliche Zahl. Für j = 0 {\displaystyle j=0} ist das Integral

F F ( 0 ) N   e i α ξ 2 d ξ {\displaystyle {\mathcal {F}}\equiv {\mathcal {F}}^{(0)}\equiv {\mathcal {N}}\int _{-\infty }^{\infty }\ \mathrm {e} ^{i\alpha \xi ^{2}}\mathrm {d} \xi }

und heißt dann Fresnel-Integral. Integrale dieser Form tauchen in der aus den feynmanschen Pfadintegralen hergeleiteten Schrödingergleichung auf.

Aus dem Fresnel-Integral ergibt sich eine komplexe Zahl, deren Real- und Imaginärteile bestimmt sind durch

cos ( α ξ 2 ) d ξ = π 2 | α | {\displaystyle \int _{-\infty }^{\infty }\cos(\alpha \xi ^{2})\,\mathrm {d} \xi ={\sqrt {\frac {\pi }{2\left|\alpha \right|}}}} und
sin ( α ξ 2 ) d ξ = π 2 | α | sign ( α ) . {\displaystyle \int _{-\infty }^{\infty }\sin(\alpha \xi ^{2})\,\mathrm {d} \xi ={\sqrt {\frac {\pi }{2\left|\alpha \right|}}}\cdot \operatorname {sign} (\alpha )\,.}

Beide Integrale konvergieren. Das Cosinus-Integral ist aufgrund der Symmetrie des Cosinus invariant gegenüber einem Vorzeichenwechsel von α {\displaystyle \alpha } , der antisymmetrische Sinus wechselt das Vorzeichen. Aus der Addition ergibt sich mit i = e i π 4 {\displaystyle {\sqrt {i}}=e^{i{\frac {\pi }{4}}}} und 1 = e i π {\displaystyle -1=e^{i\pi }} und einer Fallunterscheidung für die Signumfunktion als Lösung des Fresnel-Integrals

F F ( 0 ) N   e i α ξ 2 d ξ = α i π i π α = 1 . {\displaystyle {\mathcal {F}}\equiv {\mathcal {F}}^{(0)}\equiv {\mathcal {N}}\int _{-\infty }^{\infty }\ \mathrm {e} ^{i\alpha \xi ^{2}}\mathrm {d} \xi ={\sqrt {\frac {\alpha }{i\pi }}}\cdot {\sqrt {\frac {i\pi }{\alpha }}}=1\,.}

Hieraus erklärt sich auch die Normierungskonstante, die genau das Inverse der Integrallösung sein muss, damit der Gesamtausdruck 1 ist. In der Quantenmechanik wählt man dies aus pragmatischen Gründen und aus der Idee heraus, dass eine Wellenfunktion einer Aufenthaltswahrscheinlichkeit entspricht; also muss das Integral über diese Funktion 1 sein, da sich das beschriebene Teilchen schließlich irgendwo befindet.

Literatur

  • Reinhold Remmert, Georg Schumacher: Funktionentheorie 1. 5. Auflage. Springer-Verlag, 2002, ISBN 3-540-59075-7, S. 178 f. 
  • Reinhold Remmert, Georg Schumacher: Funktionentheorie 2. 3. Auflage. Springer-Verlag, 2007, ISBN 978-3-540-40432-3, S. 47. 

Weblinks

Commons: Fresnel integrals – Sammlung von Bildern, Videos und Audiodateien