Math 2.0

Approximations and expansions Definition

Method of steepest descent

Builds on Holomorphic functionContour integralLaplace's methodSaddle point

Definition

Let ff and gg be holomorphic functions on a domain Ω⊆ℂ\Omega \subseteq \C, let CC be a contour in Ω\Omega, and let I(λ)=∫Cg(z) eλf(z) dz,λ>0.I(\lambda) = \int_C g(z)\, e^{\lambda f(z)}\,dz, \qquad \lambda > 0. A simple saddle point of ff is a point z0z_0 with f′(z0)=0f'(z_0) = 0 and f′′(z0)≠0f''(z_0) \ne 0. A steepest descent path through z0z_0 is a path through z0z_0 on which Im⁡f\operatorname{Im} f is constant. Along it, Re⁡f\operatorname{Re} f must decrease strictly as one moves away from z0z_0. The method of steepest descent finds the behaviour of I(λ)I(\lambda) as λ→∞\lambda \to \infty in three steps:

  1. by Cauchy's theorem, replace CC by a contour with the same ends, or ending in the same valleys of Re⁡f\operatorname{Re} f at infinity. The new contour consists of steepest descent paths through saddle points of ff and of pieces where Re⁡f\operatorname{Re} f is smaller;
  2. on each steepest descent path, where eλfe^{\lambda f} has constant phase, apply Laplace's method;
  3. keep the contributions of the saddle points with the largest value of Re⁡f\operatorname{Re} f.

Remarks

Let z0z_0 be a simple saddle with g(z0)≠0g(z_0) \ne 0, and let θ=12(π−arg⁡f′′(z0))\theta = \frac12 \big(\pi - \arg f''(z_0)\big). The angle θ\theta, defined modulo π\pi, is the direction in which the path crosses z0z_0, taken with the orientation of the contour. The contribution of z0z_0 is g(z0) eλf(z0) eiθ2πλ∣f′′(z0)∣ (1+o(1)).g(z_0)\, e^{\lambda f(z_0)}\, e^{i\theta} \sqrt{\frac{2\pi}{\lambda \abs{f''(z_0)}}}\,\big(1 + o(1)\big). Indeed f(z0+reiθ)≈f(z0)+12f′′(z0)r2e2iθf(z_0 + r e^{i\theta}) \approx f(z_0) + \frac12 f''(z_0) r^2 e^{2i\theta}, and f′′(z0)e2iθf''(z_0) e^{2i\theta} is real and negative.

Example: I(λ)=∫ℝeiλx2 dxI(\lambda) = \int_{\R} e^{i\lambda x^2}\,dx, with f(z)=iz2f(z) = i z^2 and g=1g = 1. The only saddle is z0=0z_0 = 0 with f′′(0)=2if''(0) = 2i, so θ=π/4\theta = \pi/4. On the line z=reiπ/4z = r e^{i\pi/4} one has f(z)=−r2f(z) = -r^2, which is real and decreasing in ∣r∣\abs{r}, so this line is the steepest descent path. Rotating the contour to it gives exactly I(λ)=eiπ/4π/λI(\lambda) = e^{i\pi/4} \sqrt{\pi/\lambda}.

Non-example: for f(z)=z2f(z) = z^2 the real axis passes through the saddle 00, but Re⁡f=x2\operatorname{Re} f = x^2 increases away from 00 along it. So it is a path of steepest ascent; the steepest descent path is the imaginary axis.

Reading path

To understand this page from the ground up, read these 13 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Contour integral concept
  2. Euclidean space object
  3. Function concept
  4. Holomorphic function concept
  5. Laplace's method concept
  6. Total derivative concept
  7. Function of several variables concept
  8. Differentiable function of several variables concept
  9. Local maximum and minimum concept
  10. Partial derivative concept
  11. Gradient concept
  12. Saddle point concept
  13. Method of steepest descent definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Method_of_steepest_descent
About this page
TagWWE9H2948V
URIm2://WWE9H2948V
Kinddefinition
WritingW0 stub
MSC41A60, 30E15
DefinesMethod of steepest descent
UsesHolomorphic function, Contour integral, Laplace's method, Saddle point

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.