Dawson-Funktion

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

D_{+} (x) = e^{- x^{2}} \int_{0}^{x} e^{t^{2}} d t

für $x \in ℂ$ und

D_{-} (x) = e^{x^{2}} \int_{0}^{x} e^{- t^{2}} d t

für $x \in ℂ$ .

Die Funktionen stehen in folgender Beziehung zueinander

D_{-} (x) = - i D_{+} (i x) .

Für alle komplexen Werte sind $D_{-}, D_{+}$ die Lösungen der Differentialgleichungen

y^{'} \pm 2 x y = 1.

Es handelt sich bei $D_{+}, 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]} d t$ .

Die Dawson-Plus-Funktion ist

D_{+} (x) := e^{- x^{2}} \int_{0}^{x} e^{t^{2}} d t, x \in ℂ

.

Die Dawson-Minus-Funktion ist

D_{-} (x) := e^{x^{2}} \int_{0}^{x} e^{- t^{2}} d t, x \in ℂ

.

Elementare Eigenschaften

Es gilt

D_{+} (x) = e^{- x^{2}} \frac{1}{2} \sqrt{π} erfi (x)

und

D_{-} (x) = e^{x^{2}} \frac{1}{2} \sqrt{π} \erf (x)

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

erfi (x) := - i \erf (i x) .

bezeichnet.

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

D_{+} (x) = e^{- x^{2}} \int_{0}^{1} x e^{x^{2} y^{2}} d y .

D_{-} (x) = e^{x^{2}} \int_{0}^{1} x e^{- x^{2} y^{2}} d y .

Kurvendiskussion

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 ℂ$ definiert. Im Reellen hat die Dawson-Plus-Funktion einen zum Ursprung punktsymmetrischen Graphen. Die Extrempunkte ergeben sich aus der Gleichung $2 x 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{d}{d x} \exp (x^{2}) D_{+} (x) = \exp (x^{2})

\frac{d}{d x} \exp (- x^{2}) D_{-} (x) = \exp (- x^{2})

Daraus folgen diese beiden Differentialgleichungen:

\frac{d}{d x} D_{+} (x) = 1 - 2 x D_{+} (x)

\frac{d}{d x} D_{-} (x) = 1 + 2 x D_{-} (x)

Beziehung zur Fehlerfunktion

Dawson-Plus-Funktion

Erf-Funktion und Erfc-Funktion

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

w (x) = e^{- x^{2}} erfc (- i x) = e^{- x^{2}} + \frac{2 i}{\sqrt{π}} D_{+} (x)

wobei $erfc$ die komplementäre Fehlerfunktion

erfc (x) := 1 - \erf (x) = \frac{2}{\sqrt{π}} \int_{x}^{\infty} e^{- t^{2}} d t

bezeichnet.^[1]

Sinus-Transformation des Gaussschen Fehlerintegrals

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

D_{+} (x) = \int_{0}^{\infty} \exp (- y^{2}) \sin (2 x y) d y

Dawson-Minus-Funktion

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

D_{-} (x) = \int_{0}^{\infty} \exp (- y^{2}) \sinh (2 x y) d y

Reihenentwicklungen

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

D_{+} (x) = \sum_{n = 1}^{\infty} \frac{(- 1)^{n + 1} 4^{n} n!}{2 (2 n)!} x^{2 n - 1}

D_{-} (x) = \sum_{n = 1}^{\infty} \frac{4^{n} n!}{2 (2 n)!} x^{2 n - 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}) d x = lim_{x \to \infty} \exp (- x^{2}) D_{-} (x)

Diese Funktion hat die nun gezeigte Ableitung:

\frac{d}{d y} [2 \exp (- x^{2}) \exp (- x^{2} y^{2}) D_{-} (x y)] = 2 x \exp (- x^{2}) \exp (- x^{2} y^{2}) = 2 x \exp [- x^{2} (y^{2} + 1)]

Somit gilt folgende Integralidentität:

2 \exp (- 2 x^{2}) D_{-} (x) = \int_{0}^{1} 2 x \exp [- x^{2} (y^{2} + 1)] d y

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

\exp (- 2 x^{2}) D_{-} (x)^{2} = \int_{0}^{1} \frac{1 - \exp [- x^{2} (y^{2} + 1)]}{y^{2} + 1} d y

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

lim_{x \to \infty} \exp (- 2 x^{2}) D_{-} (x)^{2} = lim_{x \to \infty} \int_{0}^{1} \frac{1 - \exp [- x^{2} (y^{2} + 1)]}{y^{2} + 1} d y =

= \int_{0}^{1} lim_{x \to \infty} \frac{1 - \exp [- x^{2} (y^{2} + 1)]}{y^{2} + 1} d y = \int_{0}^{1} \frac{1}{y^{2} + 1} d y = \frac{π}{4}

Daraus folgt dieses Endresultat:

\int_{0}^{\infty} \exp (- x^{2}) d x = \frac{1}{2} \sqrt{π}

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}) 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.

Einzelnachweise

↑ J. H. McCabe: A Continued Fraction Expansion, with a Truncation Error Estimate, for Dawson's Integral. In: American Mathematical Society (Hrsg.): Mathematics of Computation. Band 28, Nr. 127, 1974, S. 811–816.

[1] J. H. McCabe: A Continued Fraction Expansion, with a Truncation Error Estimate, for Dawson's Integral. In: American Mathematical Society (Hrsg.): Mathematics of Computation. Band 28, Nr. 127, 1974, S. 811–816.

[1]