Schnelle und genaue Implementierung einer unvollständigen Gammafunktion mit doppelter Genauigkeit

Wie werden Spezialfunktionen mit doppelter Genauigkeit auf dem neuesten Stand der Technik implementiert? Ich brauche die folgende Integral: fürm=0,1,2,. . . undt>0, was als niedrigere unvollständige Gammafunktion geschrieben werden kann. Hier ist meine Fortran- und C-Implementierung:

$$F_m(t) = \int_0^1 u^{2m} e^{-tu^2} d u = {\gamma(m+{1\over 2}, t)\over 2 t^{m+{1\over 2}}}$$ $m=0, 1, 2, ...$$t>0$

https://gist.github.com/3764427

Bei Verwendung der Reihenerweiterung werden die Terme bis zur angegebenen Genauigkeit zusammengefasst und anschließend Rekursionsrelationen verwendet, um effizient Werte für niedrigeres . Ich habe es gut getestet und erhalte eine 1e-15-Genauigkeit für alle Parameterwerte, die ich benötige. Weitere Informationen finden Sie in den Kommentaren der Fortran-Version.$m$

Gibt es einen besseren Weg, um es umzusetzen? Hier ist eine Implementierung der Gammafunktion in Gfortran:

https://github.com/mirrors/gcc/blob/master/libgfortran/intrinsics/c99_functions.c#L1781

Es verwendet die rationale Funktionsnäherung, anstatt einige unendliche Reihen zusammenzufassen, die ich mache. Ich denke, das ist ein besserer Ansatz, weil man eine einheitliche Genauigkeit erhalten sollte. Gibt es eine kanonische Möglichkeit, sich diesen Dingen zu nähern, oder muss man für jede spezielle Funktion einen speziellen Algorithmus finden?

Update 1 :

Basierend auf den Kommentaren ist hier die Implementierung mit SLATEC:

https://gist.github.com/3767621

Es gibt Werte aus meiner eigenen Funktion wieder, ungefähr auf der Ebene der Genauigkeit 1e-15. Ich bemerkte jedoch ein Problem, dass für t = 1e-6 und m = 50 Term wird gleich 1e-303 und für höheres "m" gibt es einfach falsche Antworten. Meine Funktion hat dieses Problem nicht, da ich eine Reihenexpansions- / Wiederholungsrelation direkt fürFm verwende. Hier ist ein Beispiel für einen korrekten Wert:$t^{m+{1\over2}}$$F_m$

,$F_{100}$(1e-6)=4.97511945200351715E-003

aber ich kann das nicht mit SLATEC bekommen, weil der Nenner explodiert. Wie Sie sehen können, ist der tatsächliche Wert von schön klein.$F_m$

Update 2 :

Um das obige Problem zu vermeiden, kann man die Funktion dgamit(Tricomis unvollständige Gammafunktion) verwenden, F(m, t) = dgamit(m+0.5_dp, t) * gamma(m+0.5_dp) / 2so dass es kein Problem mehr mit , aber leider explodiert das für m ≈ 172 . Dies könnte jedoch hoch genug sein , m für meine Zwecke.$t$gamma(m+0.5_dp)$m\approx 172$$m$

$10^{-15}$

$m$$a \le m + 1{1\over 2}$

Für große Argumente berechne ich

$$\mathrm{F}_m(a) = {1\over 2}\gamma\left(m + {1\over 2}, a\right) \times p \times p, \space \space p = a^{-{1\over 2}\left(m+ {1\over 2}\right)}$$

Diese Betriebsreihenfolge vermeidet vorzeitiges Unterlaufen. Da wir hier nur die niedrigere unvollständige Gammafunktion von halbzahligen Ordnungen anstelle einer vollständig allgemeinen unteren unvollständigen Gammafunktion benötigen, ist die Berechnung aus Sicht der Leistung vorteilhaft

$$\gamma \left(m + {1\over 2}, a\right) = \Gamma \left(m + {1\over 2}\right) - \Gamma\left(m + {1\over 2}, a\right)$$

$\Gamma \left(m + {1\over 2}\right)$$\Gamma\left(m + {1\over 2}, a\right)$$a$$\gamma \left(m + {1\over 2}, a\right) = \Gamma \left(m + {1\over 2}\right)$

Für kleine Argumente habe ich mit einer Reihenerweiterung für die untere unvollständige Gammafunktion von begonnen

A. Erdelyi, W. Magnus, F. Oberhettinger und FG Tricomi, "Higher Transcendental Functions, Vol. 2". New York, NY: McGraw-Hill 1953

$\mathrm{F}_{m}(a)$

$$\mathrm{F}_{m}(a) = {1\over 2}\frac{1}{m + {1\over 2}}\exp(-a)\left(1+\sum_{n=1}^{\infty}\frac{a^{n}}{(1 + m + {1\over 2}) \times\space ...\space \times (n + m + {1\over 2})}\right)$$

$m = 0, 1, 2, 3$$\mathrm{F}_{0}(a) = \sqrt{\frac{\pi}{4a}}\mathrm{erf}\left(\sqrt{a}\right)$$\mathrm{erf}$ERFerferff

$m = 1, 2, 3$$a \lt {2{1\over 2}}$$\mathrm{F}_{m}(a) = \frac{1}{2a}\left(\left(2m-1\right)\mathrm{F}_{m-1}(a) - \exp(-a)\right)$

$a$$m$$m$$\mathrm{F}_{m-1} = \frac{1}{2m-1} \left(2a \space \mathrm{F}_{m}(a) + \exp\left(-a\right)\right)$

Sie können sich numerische Methoden für spezielle Funktionen von Amparo Gil, Javier Segura und Nico M. Temme ansehen .

Ich würde mir Abramowicz & Steguns Buch oder die neuere Version ansehen, die NIST vor ein paar Jahren veröffentlicht hat und die meiner Meinung nach online verfügbar ist. Sie diskutieren auch Möglichkeiten, Dinge stabil zu implementieren.

Es scheint nicht auf dem neuesten Stand der Technik zu sein, aber SLATEC bei Netlib bietet "1400 allgemeine mathematische und statistische Routinen". Das unvollständige Gamma steht hier unter den Sonderfunktionen zur Verfügung .

Die Implementierung solcher Funktionen ist zeitaufwändig und fehleranfällig, sodass ich sie nur dann selbst ausführen würde, wenn dies unbedingt erforderlich ist. SLATEC gibt es schon seit einiger Zeit und ist weit verbreitet, zumindest basierend auf der Anzahl der Downloads. Daher würde ich erwarten, dass die Implementierung ausgereift ist.