Method of Chester–Friedman–Ursell

From testwiki
Revision as of 19:06, 26 February 2025 by imported>TheMathCat (wikilink)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Short description 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(α,N):=CeNf(α,t)g(α,t)dt,

where C is a contour and

  • f,g are two analytic functions in the complex variable t and continuous in α.
  • N is a large number.

Suppose we have two saddle points t+,t of f(α,t) with multiplicity 1 that depend on a parameter α. If now an α0 exists, such that both saddle points coalescent to a new saddle point t0 with multiplicity 2, then the steepest descent method no longer gives uniform asymptotic expansions.

Procedure

Suppose there are two simple saddle points t:=t(α) and t+:=t+(α) of f and suppose that they coalescent in the point t0:=t0(α0).

We start with the cubic transformation tw of f(α,t), this means we introduce a new complex variable w and write

f(α,t)=13w3η(α)w+A(α),

where the coefficients η:=η(α) and A:=A(α) will be determined later.

We have

dtdw=w2ηft(α,t),

so the cubic transformation will be analytic and injective only if dt/dw and dw/dt are neither 0 nor . Therefore t=t and t=t+ must correspond to the zeros of w2η, i.e. with w+:=η1/2 and w:=η1/2. This gives the following system of equations

{f(α,t)=23η3/2+A,f(α,t+)=23η3/2+A,

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 (α0,t0).

After the transformation the integral becomes

I(α,N)=eNALexp(N(13w3ηw))h(α,w)dw,

where L is the new contour for w and

h(α,w):=g(α,t)dtdw=g(α,t)w2ηft(α,t).

The function h(α,w) is analytic at w+(α),w(α) for αα0 and also at the coalescing point w0 for α0. Here ends the method and one can see the integral representation of the complex Airy function.

Chester–Friedman–Ursell note to write h(α,w) not as a single power series but instead as

h(α,w)=mqm(α)(w2η)m+mpm(α)w(w2η)m

to really get asymptotic expansions.

Theorem by Chester–Friedman–Ursell

Let t+:=t+(α),t:=t(α) and t0:=t0(α0) be as above. The cubic transformation

f(t,α)=13w3η(α)w+A(α)

with the above derived values for η(α) and A(α), such that t=t± corresponds to u=±η1/2, has only one branch point w=w(α,t), so that for all α in a local neighborhood of α0 the transformation is analytic and injective.

Literature

References