Définition
Une méthode asymptotique pour estimer des intégrales à phase très oscillante de la forme ∫ A(x) e^{iλ φ(x)} dx pour le grand paramètre λ, en se concentrant sur les contributions des points où la dérivée de la phase φ'(x) s'annule (points stationnaires).
Principe
Principe
Les contributions dominantes d'une intégrale oscillatoire lorsque la fréquence croît proviennent des voisinages des points stationnaires de la phase ; ailleurs l'oscillation rapide entraîne des annullements. L'approximation quadratique locale de φ près des points stationnaires fournit les termes asymptotiques principaux.
Démonstration
Démonstration
Estimer I(λ)=∫_{−1}^1 e^{iλ x^2} dx pour grand λ en repérant le point stationnaire x=0, en approchant φ(x)=x^2 ≈ x^2, et en appliquant l'asymptotique de l'intégrale gaussienne pour obtenir I(λ) ~ e^{iπ/4} √(π/λ) comme comportement dominant.
Mauvaise application
Mauvaise application
Appliquer la formule de phase stationnaire quand les points stationnaires sont dégénérés (annulation d'ordre supérieur), quand l'amplitude A présente des singularités au point stationnaire, ou négliger les contributions aux bornes sur un intervalle fini, ce qui donne des asymptotiques erronés.
Conséquence
Conséquence
Fournit des développements asymptotiques explicites d'ordre principal pour les intégrales oscillatoires, clarifie le comportement gouverné par la phase en propagation d'ondes et problèmes spectraux, et offre des approximations efficaces en régime haute fréquence.
Inversion
Inversion
Au lieu d'isoler des voisinages de phase stationnaire, on peut moyenniser ou échantillonner numériquement l'intégrande globalement ; cette inversion manque la structure asymptotique analytique et perd souvent en précision quand λ→∞.
Limite
Limite
Exige une phase et une amplitude lisses, des points stationnaires isolés non dégénérés ou des dégénérescences traitées explicitement, et le contrôle des bornes ; échoue ou nécessite modifications pour une φ non lisse, des ensembles stationnaires denses ou la coalescence des selles.
Tension sémantique
Tension sémantique
Proche de la méthode de la descente la plus raide et des asymptotiques de transformées de Fourier : la phase stationnaire met l'accent sur les points stationnaires réels et l'annulation oscillatoire, tandis que la descente la plus raide utilise souvent la déformation complexe des contours pour obtenir des contributions équivalentes.
Synthèse
Synthèse
La méthode de la phase stationnaire isole les points stationnaires de la phase et approxime localement l'intégrande pour convertir l'oscillation rapide en termes principaux de type gaussien calculables, produisant des développements asymptotiques fiables pour de grands paramètres de fréquence.