Method of Chester–Friedman–Ursell explained

In asymptotic analysis, the method of Chester–Friedman–Ursell is a technique to find asymptotic expansions for contour integrals. It was developed as an extension of the steepest descent method for getting uniform asymptotic expansions in the case of coalescing saddle points.^[1] The method was published in 1957 by Clive R. Chester, Bernard Friedman and Fritz Ursell.^[2]

Method

Setting

We study integrals of the form

I(\alpha,N): = \int _{C} e ^{-Nf(\alpha,t)} g(\alpha,t)dt, where C is a contour andf,g are two analytic functions in the complex variable t and continuous in \alpha . N is a large number.

Suppose we have two saddle points

t _{+,t} _{-} of f(\alpha,t) with multiplicity 1 that depend on a parameter \alpha . If now an \alpha _{0} exists, such that both saddle points coalescent to a new saddle point t _{0} with multiplicity 2 , then the steepest descent method no longer gives uniform asymptotic expansions.

Procedure

Suppose there are two simple saddle points

t _{-} : = t _{-} (\alpha) and t _{+} : = t _{+} (\alpha) of f and suppose that they coalescent in the point t _{0:=t} _{0(\alpha} _{0)} .

We start with the cubic transformation

t\mapsto w of f(\alpha,t) , this means we introduce a new complex variable w and writef(\alpha,t) = \tfrac{ 1 }{ 3 }w ^{3-η(\alpha)} w + A(\alpha), where the coefficients η : =η (\alpha) and A: = A(\alpha) will be determined later.

We have

(dt)/(= dw) (w ^{2-η})/(f _{t(\alpha,t)}) , so the cubic transformation will be analytic and injective only if dt/dw and dw/dt are neither 0 nor inf ty . Therefore t = t _{-} and t = t _{+} must correspond to the zeros of w ^{2-η} , i.e. with w _{+} : =η ^{1/2} and w _{-} : =-η ^{1/2} . This gives the following system of equations \begin{cases} f(\alpha,t _{-} ) =- (2)/(3) η ^{3/2} + A,\\ f(\alpha,t _{+} ) = (2)/(3) η ^{3/2} + A, \end{cases} we have to solve to determine η and A . A theorem by Chester–Friedman–Ursell (see below) says now, that the cubic transform is analytic and injective in a local neighbourhood around the critical point (\alpha _{0,t} _{0)} .

After the transformation the integral becomes

I(\alpha,N) = e ^{-NA} \int _{L} \exp\left( - N\left(\tfrac{ 1 }{ 3 }w ^{3-η} w\right)\right)h(\alpha,w)dw, where L is the new contour for w andh(\alpha,w): = g(\alpha,t) (dt)/(= g(\alpha,t) dw) (w ^{2-η})/(f _{t(\alpha,t)}) .

The function

h(\alpha,w) is analytic at w _{+} (\alpha),w _{-} (\alpha) for \alpha ≠ \alpha _{0} and also at the coalescing point w _{0} for \alpha _{0} . Here ends the method and one can see the integral representation of the complex Airy function.

Chester–Friedman–Ursell note to write

h(\alpha,w) not as a single power series but instead ash(\alpha,w) = \sum\limits _{m} q ^{2-η )} _{m(\alpha)(w} ^{m+} \sum\limits _{m} p _{m(\alpha)} w(w ^{2-η)} ^{m} to really get asymptotic expansions.

Theorem by Chester–Friedman–Ursell

Let

t _{+} : = t _{+} (\alpha),t _{-} : = t _{-} (\alpha) and t _{0} : = t _{0} (\alpha _{0)} be as above. The cubic transformationf(t,\alpha) = \tfrac{ 1 }{ 3 }w ^{3-η(\alpha)} w + A(\alpha) with the above derived values for η (\alpha) and A(\alpha) , such that t = t _{\pm} corresponds to u = \pm η ^{1/2} , has only one branch point w = w(\alpha,t) , so that for all \alpha in a local neighborhood of \alpha _{0} the transformation is analytic and injective.

Literature

• Clive R.. Chester. Bernard. Friedman. Fritz. Ursell. Cambridge University Press . An extension of the method of steepest descents . Mathematical Proceedings of the Cambridge Philosophical Society . 53 . 3 . 1957 . 604 . 10.1017/S0305004100032655.
• Book: Frank W. J.. Olver. A K Peters/CRC Press. Asymptotics and Special Functions. 1997. 351. 10.1201/9781439864548.
• Book: Roderick. Wong. Society for Industrial and Applied Mathematics. Asymptotic Approximations of Integrals. 2001. 10.1137/1.9780898719260.
• Book: Nico M.. Temme. World Scientific. Asymptotic Methods For Integrals. 2014. 10.1142/9195.

References

1. Book: Frank W. J.. Olver. A K Peters/CRC Press. Asymptotics and Special Functions. 1997. 351. 10.1201/9781439864548.
2. Clive R.. Chester. Bernard. Friedman. Fritz. Ursell. Cambridge University Press . An extension of the method of steepest descents . Mathematical Proceedings of the Cambridge Philosophical Society . 53 . 3 . 1957 . 10.1017/S0305004100032655.