next up previous
Next: Group Velocity Up: Wave Propagation in Uniform Previous: Sommerfeld Precursor


Method of Stationary Phase

Equation (887) can be written in the form

$\displaystyle f(x,t) = \int_C {\rm e}^{\,{\rm i} \,\phi(\omega)} F(\omega) \,d\omega$ (909)

where

$\displaystyle F(\omega) = \frac{1}{\tau}\frac{1}{\omega^{\,2}-(2\pi/\tau)^{\,2}},$ (910)

and

$\displaystyle \phi(\omega) = k(\omega)\, x - \omega\, t.$ (911)

Now, $ F(\omega)$ is a relatively slowly varying function of $ \omega$ (except in the immediate vicinity of the singular points, $ \omega=\pm 2\pi/\tau$ ), whereas the phase $ \phi(\omega)$ is generally large and rapidly varying. The rapid oscillations of $ \exp(\,{\rm i}\,\phi)$ over most of the range of integration means that the integrand averages to almost zero. Exceptions to this cancellation rule occur only at points where $ \phi(\omega)$ is stationary: that is, where $ \phi(\omega)$ has an extremum. The integral can therefore be estimated by finding all the points in the $ \omega$ -plane where $ \phi(\omega)$ has a vanishing derivative, evaluating (approximately) the integral in the neighborhood of each of these points, and summing the contributions. This procedure is known as the method of stationary phase.

Suppose that $ \phi(\omega)$ has a vanishing first derivative at $ \omega=\omega_s$ . In the neighborhood of this point, $ \phi(\omega)$ can be expanded as a Taylor series,

$\displaystyle \phi(\omega) = \phi_s + \frac{1}{2}\, \phi''_s\,(\omega-\omega_s)^{\,2}+\cdots.$ (912)

Here, the subscript $ s$ is used to indicate $ \phi$ , or its second derivative, evaluated at $ \omega=\omega_s$ , whereas $ \phantom{\phi}'$ denotes a derivative with respect to $ \omega$ . Because $ F(\omega)$ is slowly varying, the contribution to the integral from this stationary phase point is approximately

$\displaystyle f_s \simeq F(\omega_s)\, {\rm e}^{\,{\rm i}\,\phi_s} \int_{\infty...
...ty} \exp\left[\frac{\rm i}{2}\,\phi_s'\,(\omega-\omega_s)^{\,2}\right] d\omega.$ (913)

It is tacitly assumed that the stationary point lies on the real axis in $ \omega$ -space, so that locally the integral along the contour $ C$ is an integral along the real axis in the direction of decreasing $ \omega$ . The previous expression can be written in the form

$\displaystyle f_s\simeq -F(\omega_s) \,{\rm e}^{\,{\rm i}\,\phi_s} \sqrt{\frac{...
...^\infty \left[ \cos(\pi\, t^{\,2}/2)+{\rm i}\,\sin(\pi \,t^{\,2}/2)\right]\,dt,$ (914)

where

$\displaystyle \frac{\pi}{2}\, t^{\,2} = \frac{1}{2}\, \phi_s'' \,(\omega-\omega_s)^{\,2}.$ (915)

The integrals in the previous expression are known as Fresnel integrals,[*] and can be shown to take the values

$\displaystyle \int_0^\infty\cos(\pi\, t^{\,2}/2)\,dt = \int_0^\infty\sin(\pi\, t^{\,2}/2)\,dt =\frac{1}{2}.$ (916)

It follows that

$\displaystyle f_s \simeq - \sqrt{\frac{2\pi\,{\rm i}}{\phi_s''}} \, F(\omega_s) \,{\rm e}^{\,{\rm i}\,\phi_s}.$ (917)

It is easily demonstrated that the arc-length (in the $ \omega$ -plane) of the section of the integration contour that makes a significant contribution to $ f_s$ is of order $ {\mit\Delta} \omega/\omega_s \sim 1/\!\sqrt{k(\omega_s)\, x}$ . Thus, the arc-length is relatively short, provided that the wavelength of the signal is much less than the distance it has propagated into the dispersive medium. If there is more than one point of stationary phase in the range of integration then the integral is approximated as a sum of terms having the same form as the previous one.

Integrals of the form (910) can be calculated exactly using the method of steepest decent.[*] The stationary phase approximation (918) agrees with the leading term of the method of steepest decent (which is far more difficult to implement than the method of stationary phase) provided that $ \phi(\omega)$ is real (i.e., provided that the stationary point lies on the real axis). If $ \phi$ is complex, however, then the stationary phase method can yield erroneous results. This suggests that the stationary phase method is likely to break down when the extremum point $ \omega=\omega_s$ approaches any poles or branch cuts in the $ \omega$ -plane.


next up previous
Next: Group Velocity Up: Wave Propagation in Uniform Previous: Sommerfeld Precursor
Richard Fitzpatrick 2014-06-27