Dawson-Funktion

In der Mathematik ist die Dawson-Funktion (auch Dawsons Funktion oder Dawson-Integral) der Name folgender Funktionen

Beide reellen Dawson-Funktionen zusammen

$\operatorname {D} _{+}(x)=e^{-x^{2}}\int _{0}^{x}e^{t^{2}}\,\mathrm {d} t$

für $x\in \mathbb {C}$ und

$\operatorname {D} _{-}(x)=e^{x^{2}}\int _{0}^{x}e^{-t^{2}}\,\mathrm {d} t$

für $x\in \mathbb {C}$.

Die Funktionen stehen in folgender Beziehung zueinander

$\operatorname {D} _{-}(x)=-i\operatorname {D} _{+}(ix).$

Für alle komplexen Werte sind $\operatorname {D} _{-},\operatorname {D} _{+}$ die Lösungen der Differentialgleichungen

$y'\pm 2xy=1.$

Es handelt sich bei $\operatorname {D} _{+},\operatorname {D} _{-}$ um die einseitige Sinustransformation resp. Sinus-Hyperbolicus-Transformation des gaußschen Fehlerintegrals und somit ist die Dawson-Funktion keine elementare Funktion.

Der britische Mathematiker Henry Gordon Dawson ist für diese Funktionen namensgebend.

Definition

Die Dawson-Funktion ist das Produkt aus $e^{\mp x^{2}}$ und dem Integral über $e^{\pm t^{2}}1_{[0,x]}\mathrm {d} t$.

Die Dawson-Plus-Funktion ist

$\operatorname {D} _{+}(x):=e^{-x^{2}}\int _{0}^{x}e^{t^{2}}\,\mathrm {d} t,\qquad x\in \mathbb {C}$.

Die Dawson-Minus-Funktion ist

$\operatorname {D} _{-}(x):=e^{x^{2}}\int _{0}^{x}e^{-t^{2}}\,\mathrm {d} t,\qquad x\in \mathbb {C}$.

Elementare Eigenschaften

Es gilt

$\operatorname {D} _{+}(x)=e^{-x^{2}}{\tfrac {1}{2}}{\sqrt {\pi }}\operatorname {erfi} (x)$

und

$\operatorname {D} _{-}(x)=e^{x^{2}}{\tfrac {1}{2}}{\sqrt {\pi }}\operatorname {erf} (x)$

wobei $\operatorname {erf} (x)$ die komplexe Fehlerfunktion und $\operatorname {erfi} (x)$ die imaginäre Fehlerfunktion

$\operatorname {erfi} (x):=-i\operatorname {erf} (ix).$

bezeichnet.

Mit der Substitution $t=xy$ im Integral erhält man auch folgende Darstellung

$\operatorname {D} _{+}(x)=e^{-x^{2}}\int _{0}^{1}xe^{x^{2}y^{2}}\,\mathrm {d} y.$

$\operatorname {D} _{-}(x)=e^{x^{2}}\int _{0}^{1}xe^{-x^{2}y^{2}}\,\mathrm {d} y.$

Kurvendiskussion

Dawson-Plus-Funktion

Dawson-Minus-Funktion

Sowohl die Dawson-Plus-Funktion als auch die Dawson-Minus-Funktion zählen zu den sogenannten ganzen Funktionen und sind somit für alle komplexen Zahlen $x\in \mathbb {C}$ definiert. Im Reellen hat die Dawson-Plus-Funktion einen zum Ursprung punktsymmetrischen Graphen. Die Extrempunkte ergeben sich aus der Gleichung $2\,x\operatorname {D} _{+}(x)=1$. An der Stelle $x=-0{,}924138873$ (gerundet) liegt ein relatives Minimum vor, an der Stelle $x=+0{,}924138873$ (gerundet) ein relatives Maximum. Für positive Abszissenwerte ist die Dawson-Plus-Funktion positiv und rechtsgekrümmt und für negative Abszissenwerte ist sie negativ und linksgekrümmt. Die Dawson-Minus-Funktion ist eine bijektive Funktion, die für alle reellen Abszissenwerte eine positive Steigung aufweist. Diese Funktion ist für positive Abszissenwerte linksgekrümmt und für negative Abszissenwerte rechtsgekrümmt.

Differentialgleichungen

Somit gelten diese Ableitungen und diese Differentialgleichungen:

${\frac {\mathrm {d} }{\mathrm {d} x}}\exp(x^{2})\operatorname {D} _{+}(x)=\exp(x^{2})$

${\frac {\mathrm {d} }{\mathrm {d} x}}\exp(-x^{2})\operatorname {D} _{-}(x)=\exp(-x^{2})$

Daraus folgen diese beiden Differentialgleichungen:

${\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {D} _{+}(x)=1-2\,x\operatorname {D} _{+}(x)$

${\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {D} _{-}(x)=1+2\,x\operatorname {D} _{-}(x)$

Beziehung zur Fehlerfunktion

Dawson-Plus-Funktion

Erf-Funktion und Erfc-Funktion

Es gilt folgende Beziehung zur komplexen Fehlerfunktion $\operatorname {erf} (x)$ und zur Faddeeva-Funktion $w(x)$

$w(x)=e^{-x^{2}}\operatorname {erfc} (-ix)=e^{-x^{2}}+{\frac {2i}{\sqrt {\pi }}}D_{+}(x)$

wobei $\operatorname {erfc}$ die komplementäre Fehlerfunktion

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle \operatorname{erfc}(x):=1-\operatorname{erf}(x)=\frac{2}{\sqrt\pi} \int_x^\infty e^{-t^2}\,\mathrm{d}t}

bezeichnet.

Sinus-Transformation des Gaussschen Fehlerintegrals

Als Sinus-Transformation des Gaussschen Fehlerintegrals hat die Dawson-Plus-Funktion folgende weitere Identität:

$\operatorname {D} _{+}(x)=\int _{0}^{\infty }\exp(-y^{2})\sin(2\,x\,y)\,\mathrm {d} y$

Dawson-Minus-Funktion

Als Sinus-Hyperbolicus-Transformation des Gaußschen Fehlerintegrals hat die Dawson-Minus-Funktion diese weitere Identität:

$\operatorname {D} _{-}(x)=\int _{0}^{\infty }\exp(-y^{2})\sinh(2\,x\,y)\,\mathrm {d} y$

Reihenentwicklungen

Die Maclaurinschen Reihen für die beiden Dawsonschen Funktionen lauten so:

$\operatorname {D} _{+}(x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}4^{n}n!}{2\,(2n)!}}\,x^{2n-1}$

$\operatorname {D} _{-}(x)=\sum _{n=1}^{\infty }{\frac {4^{n}n!}{2\,(2n)!}}\,x^{2n-1}$

Glockenkurve

Mit den Dawson-Funktionen kann das Gaußsche Glockenkurvenintegral bewiesen werden:

Für dieses Integral der Glockenkurve gilt mit der genannten Definition der Dawson-Minus-Funktion diese Formel:

$\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x=\lim _{x\rightarrow \infty }\exp(-x^{2})\operatorname {D} _{-}(x)$

Diese Funktion hat die nun gezeigte Ableitung:

${\frac {\mathrm {d} }{\mathrm {d} y}}{\bigl [}2\exp(-x^{2})\exp(-x^{2}y^{2})\operatorname {D} _{-}(x\,y){\bigr ]}=2\,x\exp(-x^{2})\exp(-x^{2}y^{2})=2\,x\exp {\bigl [}-x^{2}(y^{2}+1){\bigr ]}$

Somit gilt folgende Integralidentität:

$2\exp(-2\,x^{2})\operatorname {D} _{-}(x)=\int _{0}^{1}2\,x\exp {\bigl [}-x^{2}(y^{2}+1){\bigr ]}\,\mathrm {d} y$

Durch die Bildung der Ursprungsstammfunktion von der nun genannten Formel bezüglich x entsteht diese Formel:

$\exp(-2\,x^{2})\operatorname {D} _{-}(x)^{2}=\int _{0}^{1}{\frac {1-\exp {\bigl [}-x^{2}(y^{2}+1){\bigr ]}}{y^{2}+1}}\,\mathrm {d} y$

Durch Bildung des Grenzwertes entsteht dann die anschließende Gleichung:

$\lim _{x\rightarrow \infty }\exp(-2\,x^{2})\operatorname {D} _{-}(x)^{2}=\lim _{x\rightarrow \infty }\int _{0}^{1}{\frac {1-\exp {\bigl [}-x^{2}(y^{2}+1){\bigr ]}}{y^{2}+1}}\,\mathrm {d} y=$

$=\int _{0}^{1}\lim _{x\rightarrow \infty }{\frac {1-\exp {\bigl [}-x^{2}(y^{2}+1){\bigr ]}}{y^{2}+1}}\,\mathrm {d} y=\int _{0}^{1}{\frac {1}{y^{2}+1}}\,\mathrm {d} y={\frac {\pi }{4}}$

Daraus folgt dieses Endresultat:

$\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x={\frac {1}{2}}{\sqrt {\pi }}$

Literatur

• Temme, N. M. (2010), "Error Functions, Dawson's and Fresnel Integrals", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248
• Dawson, H. G. (1897). "On the Numerical Value of $\int _{0}^{h}\exp(x^{2})\,\mathrm {d} x$. Proceedings of the London Mathematical Society. s1-29 (1): 519–522. doi:10.1112/plms/s1-29.1.519.
• Mofreh R. Zaghloul and Ahmed N. Ali, "Algorithm 916: Computing the Faddeyeva and Voigt Functions," ACM Trans. Math. Soft. 38 (2), 15 (2011). arXiv:1106.0151.