Une technique asymptotique qui évalue des intégrales de la forme ∫_Γ e^{λ f(z)} g(z) dz pour λ grand en déformant le contour d'intégration Γ dans le plan complexe pour passer par des points selles de f suivant les directions de descente la plus raide, où la partie réelle de f décroît le plus rapidement.

Principe

La prolongation analytique et la déformation du contour permettent de déplacer le chemin d'intégration sur des courbes passant par les selles où la décroissance exponentielle localise les contributions ; les directions de descente la plus raide transforment des intégrandes oscillatoires ou croissantes en intégrales de type gaussien à décroissance rapide près des selles.

Démonstration

Approximer ∫ e^{λ(z−z0)^2} h(z) dz lorsque λ→∞ en déformant le contour vers la droite de descente la plus raide passant par z0 de sorte que (z−z0)^2 soit réel et négatif le long du chemin ; développer f au second ordre et effectuer l'intégrale gaussienne pour obtenir l'asymptotique principale proportionnelle à λ^{−1/2} multipliée par h(z0) et un facteur de phase explicite.

Mauvaise application

Ne pas tenir compte de pôles ou coupures de branche proches lors de la déformation, ou traiter des points selles coalescents comme isolés, conduit à des développements erronés ; de même, appliquer la méthode quand f n'admet pas de prolongement analytique adéquat invalide l'étape de déformation.

Conséquence

Fournit des estimations asymptotiques uniformes précises d'intégrales en contexte complexe, capture des contributions inaccessibles à la seule phase stationnaire réelle, et donne un développement systématique en puissances inverses de λ souvent utilisé en asymptotiques de fonctions spéciales.

Inversion

Au lieu de déformer les contours selon les directions de selle, on peut rester sur le chemin réel d'origine et tenter une approximation par phase stationnaire ; cette inversion peut manquer des selles complexes dominantes et donc produire des termes principaux incomplets ou incorrects.

Limite

Exige que f et g soient analytiques dans un voisinage permettant la déformation et que les points selles soient isolés (ou que la structure de coalescence soit connue) ; non applicable si les déformations traversent des singularités essentielles, si la croissance de l'intégrande empêche la déformation, ou si les selles forment des variétés continues.

Tension sémantique

Se recoupe avec la phase stationnaire lorsque les selles se trouvent sur l'axe réel mais s'en distingue en recourant à la déformation complexe ; en concurrence avec l'intégration numérique par descente la plus raide et avec les approximations uniformes (par ex. type Airy) lorsque les selles coalescent et que des formes canoniques locales sont nécessaires.

Synthèse

La méthode de la descente la plus raide déforme les contours vers des directions complexes passant par des selles où la partie réelle de l'exponentielle décroît le plus rapidement, réduit les intégrales à des contributions locales de type gaussien et fournit des développements asymptotiques systématiques pour les grands paramètres.