Methode von Chester-Friedman-Ursell

Die Methode von Chester-Friedman-Ursell ist eine Methode aus der asymptotischen Analysis um asymptotische Entwicklungen für Kontur-Integrale zu finden. Sie wurde als Erweiterung der klassischen Methode des steilsten Anstieges für den Fall entwickelt, wenn sich die Sattelpunkte verbinden (englisch coalescing saddle points). Das Verfahren wurde 1957 von Clive R. Chester, Bernard Friedman und Fritz Ursell veröffentlicht.^[1] Die in der Methode eingeführte kubische Transformation ist heute eine Standardtechnik der asymptotischen Analysis.

Methode

Ausgangslage

Im Kern geht es um Integrale der Form

I(\alpha ,N):=\int _{C}e^{-Nf(\alpha ,t)}g(\alpha ,t)dt

mit Kontur $C$ , einer stetigen Kurve in der komplexen $t$ -Ebene, wobei

$f,g$ analytische Funktionen in der komplexen Variable $t$ und stetige Funktionen in $\alpha$ sind. Alternativ kann $g$ auch nur von $t$ abhängen.
$N$ sehr groß ist.

Angenommen, man hat zwei Sattelpunkte $t_{+},t_{-}$ mit Multiplizität $1$ , d. h. es sind Nullstellen von $f_{t}(\alpha ,t)$ , und wendet die Methode des steilsten Anstieges an, so hängen diese von dem Parameter $\alpha$ ab. Falls nun ein $\alpha _{0}$ existiert, so dass die beiden Sattelpunkte übereinstimmen, d. h. der neue Sattelpunkt $t_{0}$ hat Multiplizität $2$ , so erhält man mit der Methode des steilsten Anstieges asymptotische Entwicklungen, die nicht mehr für alle $\alpha$ in der Region um $\alpha _{0}$ uniform übereinstimmen. Die Methode von Chester-Friedman-Ursell behebt dieses Problem.

Vorgehen

Nehmen wir an, es gibt zwei einfache Sattelpunkte $t_{-}:=t_{-}(\alpha ),t_{+}:=t_{+}(\alpha )$ von $f$ , d. h. es gilt $f_{t}(\alpha ,t_{-})=f_{t}(\alpha ,t_{+})=0$ , die im Punkt $t_{0}:=t_{0}(\alpha _{0})$ verschmelzen.

Wir starten mit der kubischen Transformation $t\mapsto w$ von $f(\alpha ,t)$ , dies bedeutet wir führen eine komplexe Variable $w$ ein und schreiben $f(\alpha ,t)$ als folgendes Polynom

f(\alpha ,t)={\tfrac {1}{3}}w^{3}-\eta (\alpha )w+A(\alpha ),

wobei wir $\eta :=\eta (\alpha )$ und $A:=A(\alpha )$ herleiten werden.

Es gilt

{\frac {dt}{dw}}={\frac {w^{2}-\eta }{f_{t}(\alpha ,t)}},

damit die kubische Transformation analytisch und injektiv sein wird, dürfen $dt/dw$ und $dw/dt$ nicht $0$ oder $\infty$ sein.

Somit müssen $t=t_{-}$ und $t=t_{+}$ mit den Nullstellen von $w^{2}-\eta$ übereinstimmen, d. h. mit $w_{+}:=\eta ^{1/2}$ und $w_{-}:=-\eta ^{1/2}$ . Dies führt zu folgendem Gleichungssystem

{\begin{cases}f(\alpha ,t_{-})=-{\frac {2}{3}}\eta ^{3/2}+A,\\f(\alpha ,t_{+})={\frac {2}{3}}\eta ^{3/2}+A,\end{cases}}

um die Koeffizienten $\eta$ und $A$ zu bestimmen. Ein Satz von Chester-Friedman-Ursell garantiert nun die Analytizität und Injektivität der kubischen Transformation in einer lokalen Umgebung um den kritischen Punkt $(\alpha _{0},t_{0})$ .

Das Integral sieht nach der Transformation wie folgt aus

I(\alpha ,N)=e^{-NA}\int _{L}\exp \left(-N\left({\tfrac {1}{3}}w^{3}-\eta w\right)\right)h(\alpha ,w)dw,

wobei $L$ die neue Kontur für $w$ ist und

h(\alpha ,w):=g(\alpha ,t){\frac {dt}{dw}}=g(\alpha ,t){\frac {w^{2}-\eta }{f_{t}(\alpha ,t)}}.

Die Funktion $h(\alpha ,w)$ ist eine analytische Funktion an den Stellen $w_{+}(\alpha ),w_{-}(\alpha )$ für $\alpha \neq \alpha _{0}$ und am verschmelzenden Punkt $w_{0}$ für $\alpha _{0}$ , somit können wir das Integral in die Form

I(\alpha ,N)=e^{-NA}\int _{L}\exp \left(-N\left({\tfrac {1}{3}}w^{3}-\eta w\right)\right)\left(\sum \limits _{m}c_{m}(\alpha )^{m}\right)dw

bringen.

Hier endet die Methode von Chester-Friedman-Ursell.

Der Ausdruck der Exponentialfunktion ist die Integraldarstellung der Airy-Funktion $\operatorname {Ai} (\eta )$ . Nun kann man mit Partielle-Integrations-Methoden wie zum Beispiel der Bleistein-Methode das Integral in eine Summe von $\operatorname {Ai} (\eta )$ und $\operatorname {Ai} '(\eta )$ verwandeln.

Zusätzliches

Falls man die Bleistein-Methode nicht benützt, so sollte man gemäß Chester-Friedman-Ursell $h(\alpha ,w)$ nicht als eine einzige Potenzreihe schreiben, sondern in folgende Form

h(\alpha ,w)=\sum \limits _{m}q_{m}(\alpha )(w^{2}-\eta )^{m}+\sum \limits _{m}p_{m}(\alpha )w(w^{2}-\eta )^{m}

bringen, damit man auch wirklich asymptotische Entwicklungen erhält.^[2]

Satz von Chester-Friedman-Ursell

Seien $t_{+}:=t_{+}(\alpha ),t_{-}:=t_{-}(\alpha )$ und $t_{0}:=t_{0}(\alpha _{0})$ wie oben. Die kubische Transformation

f(t,\alpha )={\tfrac {1}{3}}w^{3}-\eta (\alpha )w+A(\alpha )

mit den oben hergeleiteten Werten für $\eta (\alpha )$ und $A(\alpha )$ , so dass $t=t_{\pm }$ mit $u=\pm \eta ^{1/2}$ übereinstimmt, besitzt genau eine Verzweigung $w=w(\alpha ,t)$ , so dass für alle $\alpha$ in einer Umgebung von $\alpha _{0}$ die Transformation analytisch und injektiv ist.^[3]

Weitere Methoden

Für den Fall, wenn die Sattelpunkte sich in der Nähe einer Polstelle oder Singularität von $g(t)$ verbinden, existieren andere Methoden.^[4]

Literatur

C. Chester, B. Friedman und F. Ursell: An extension of the method of steepest descents. In: Cambridge University Press (Hrsg.): Mathematical Proceedings of the Cambridge Philosophical Society. Band 53, Nr. 3, 1957, S. 599–611, doi:10.1017/S0305004100032655.
Frank W. J. Olver: Asymptotics and Special Functions. Hrsg.: A K Peters/CRC Press. 1997, S. 351, doi:10.1201/9781439864548 (Kapitel 9.11).
R. Wong: Asymptotic Approximations of Integrals. Hrsg.: Society for Industrial and Applied Mathematics. 2001, doi:10.1137/1.9780898719260.

Einzelnachweise

↑ C. Chester, B. Friedman und F. Ursell: An extension of the method of steepest descents. In: Cambridge University Press (Hrsg.): Mathematical Proceedings of the Cambridge Philosophical Society. Band 53, Nr. 3, 1957, S. 599–611, doi:10.1017/S0305004100032655.
↑ C. Chester, B. Friedman und F. Ursell: An extension of the method of steepest descents. In: Cambridge University Press (Hrsg.): Mathematical Proceedings of the Cambridge Philosophical Society. Band 53, Nr. 3, 1957, S. 601, doi:10.1017/S0305004100032655.
↑ C. Chester, B. Friedman und F. Ursell: An extension of the method of steepest descents. In: Cambridge University Press (Hrsg.): Mathematical Proceedings of the Cambridge Philosophical Society. Band 53, Nr. 3, 1957, S. 604, doi:10.1017/S0305004100032655.
↑ R. Wong: Asymptotic Approximations of Integrals. Hrsg.: Society for Industrial and Applied Mathematics. 2001, doi:10.1137/1.9780898719260 (Kapitel 7).

[CFU-1] C. Chester, B. Friedman und F. Ursell: An extension of the method of steepest descents. In: Cambridge University Press (Hrsg.): Mathematical Proceedings of the Cambridge Philosophical Society. Band 53, Nr. 3, 1957, S. 599–611, doi:10.1017/S0305004100032655.

[2] C. Chester, B. Friedman und F. Ursell: An extension of the method of steepest descents. In: Cambridge University Press (Hrsg.): Mathematical Proceedings of the Cambridge Philosophical Society. Band 53, Nr. 3, 1957, S. 601, doi:10.1017/S0305004100032655.

[3] C. Chester, B. Friedman und F. Ursell: An extension of the method of steepest descents. In: Cambridge University Press (Hrsg.): Mathematical Proceedings of the Cambridge Philosophical Society. Band 53, Nr. 3, 1957, S. 604, doi:10.1017/S0305004100032655.

[4] R. Wong: Asymptotic Approximations of Integrals. Hrsg.: Society for Industrial and Applied Mathematics. 2001, doi:10.1137/1.9780898719260 (Kapitel 7).

[1]

[2]

[3]

[4]

Fahrer / Team für die Suche eingeben: