Méthode de la phase stationnaire

En mathématiques, la méthode de la phase stationnaire permet d'évaluer le comportement asymptotique d'une intégrale du type :

$\mathrm{I}(\lambda )=\underset{a}{\overset{b}{\int }}f(x){\mathrm{e}}^{\mathrm{i}\lambda g(x)}\mathrm{d}x$

lorsque $\lambda \to +\mathrm{\infty }$, où Modèle:Math est l'unité imaginaire.

Idée générale

Le comportement de l'intégrale est approché par son comportement au voisinage des bornes d'intégration mais aussi au voisinage des points où la phase Modèle:Math est stationnaire, c'est-à-dire des points Modèle:Mvar en lesquels la dérivée de Modèle:Mvar est nulle, Modèle:C.-à-d. $g^{\prime }(x_s)=0$.

Lorsqu'il existe un ou plusieurs points stationnaires, la contribution principale de l'intégrale sera donnée uniquement par l'expression approchée de l'intégrale au voisinage de ces points, lorsque $\lambda \to +\mathrm{\infty }$. L'erreur commise par cette méthode est de l'ordre de $O(1/\lambda )$ dans la notation de Landau.

Hypothèses

On demande en général que Modèle:Mvar soit dérivable sur Modèle:Math et Modèle:Mvar, dérivable deux fois et de dérivée seconde continue :

$f\in 𝒞([a,b]),g\in {𝒞}^2[a,b]$

Cas de figure et résultats

Plusieurs cas de figure peuvent être distingués  :

• $g(x)$ ne possède pas de points stationnaires sur $a\le x\le b$. L'intégrale est alors approchée par intégration par parties successives :

  $I(\lambda )=\frac{f(b)}{\mathrm{i}\lambda g^{\prime }(b)}{\mathrm{e}}^{\mathrm{i}\lambda g(b)}-\frac{f(a)}{\mathrm{i}\lambda g^{\prime }(a)}{\mathrm{e}}^{\mathrm{i}\lambda g(a)}+O\left(\frac{1}{{\lambda }^2}\right)$ ;

• $g(x)$ possède un seul point stationnaire $x_s$ sur $a<x<b$
  • Si $g^{″}(x_s)>0$ :

    $I(\lambda )=\sqrt{\frac{2\pi }{\lambda g^{″}(x_s)}}f(x_s){\mathrm{e}}^{\mathrm{i}\lambda g(x_s)}{\mathrm{e}}^{\mathrm{i}\frac{\pi }{4}}+O\left(\frac{1}{\lambda }\right)$

  • Si $g^{″}(x_s)<0$ :

    $I(\lambda )=\sqrt{\frac{2\pi }{-\lambda g^{″}(x_s)}}f(x_s){\mathrm{e}}^{\mathrm{i}\lambda g(x_s)}{\mathrm{e}}^{-\mathrm{i}\frac{\pi }{4}}+O\left(\frac{1}{\lambda }\right)$

Remarque 1 : En notant $\sigma =\mathrm{sgn}(g^{″}(x_s))$, les expressions précédentes peuvent être réduites à :

$I(\lambda )=\sqrt{\frac{2\pi }{\lambda |g^{″}(x_s)|}}f(x_s){\mathrm{e}}^{\mathrm{i}\lambda g(x_s)}{\mathrm{e}}^{\mathrm{i}\sigma \frac{\pi }{4}}+O\left(\frac{1}{\lambda }\right)$

Remarque 2 : Si $g(x)$ possède plusieurs points stationnaires sur $a<x<b$, alors il convient de faire la somme des contributions de chacun des points stationnaires.

Remarque 3 : Cette approximation n'est pas valide lorsque le point stationnaire $x_s$ approche de l'une des bornes de l'intégrale. Par exemple, si le point stationnaire varie et dépasse la borne supérieure, l'approximation devient discontinue selon la position du point stationnaire : inférieur, égal ou supérieur à la borne supérieure. Dans ce cas, il convient alors d'utiliser une approximation asymptotique uniforme, faisant intervenir les intégrales de Fresnel.

Remarque 4 : Si $g(x)$ possède un point stationnaire correspondant à la borne inférieure $x_s=a$, ou supérieure $x_s=b$, de l'intégrale, alors la contribution de ce point doit être pondéré par un facteur $1/2$,

$I(\lambda )=\frac{1}{2}\sqrt{\frac{2\pi }{\lambda |g^{″}(x_s)|}}f(x_s){\mathrm{e}}^{\mathrm{i}\lambda g(x_s)}{\mathrm{e}}^{\mathrm{i}\sigma \frac{\pi }{4}}+O\left(\frac{1}{\lambda }\right)$

Origine de la méthode

Cette méthode est dérivée de la méthode de Laplace. Lorsque l'intégration porte sur un domaine complexe (et non plus sur des bornes réelles), on utilise la généralisation complexe de cette méthode : la méthode du col.

Références

• Modèle:En N. Bleistein et R. A. Handelsman, Asymptotic Expansions of Integrals, Dover, 1986 [1975]
• Modèle:En Modèle:Lien et Modèle:Lien, Radiation and Scattering of Waves, IEEE-Wiley, 1994 [1972], chap. 4
• Modèle:En E. T. Copson, Asymptotic Expansions, Cambridge University Press, 1965
• Modèle:En B. Harris et S. A. Kramer, « Asymptotic Evaluation of the Ambiguity functions of high-gain FM Matched filter sonar systems-Harris », dans Proceeding of IEEE, vol. 56, Modèle:N°, Modèle:Date-, cas du point stationnaire, formule (15)