Représentation d'une fonction ou d'une solution par une série (souvent formelle) dont les termes sont ordonnés selon leur taille dans un régime limite d'un paramètre, de sorte que couper la série après un nombre fini de termes fournit une approximation dont l'erreur est plus petite que le dernier terme conservé dans ce régime.

Principe

Classer les termes par ordre de grandeur dans la limite (paramètre petit ou grand) et conserver les contributions dominantes tout en contrôlant le reste par rapport au paramètre limite.

Démonstration

Série asymptotique de Stirling : log Γ(n+1) ~ n log n − n + (1/2)log(2π n) + 1/(12n) − 1/(360n^3) + … qui donne des approximations de plus en plus précises pour n grand lorsqu'on tronque de manière appropriée.

Mauvaise application

Considérer une série asymptotique comme convergente pour toutes les valeurs du paramètre ou sommer des termes asymptotiques divergents comme s'ils fournissaient une somme convergente valide en dehors du régime limite visé.

Conséquence

Fournit des approximations contrôlées capturant le comportement dominant et quantifiant la taille des termes négligés dans la limite considérée, permettant souvent des estimations analytiques et des simplifications de calcul.

Inversion

Une série de Taylor convergente dans un rayon de convergence fini, qui garantit la convergence terme à terme près d'un point plutôt qu'une simple hiérarchisation des termes selon la limite.

Limite

S'applique lorsqu'il existe un régime limite clair (par exemple paramètre →0 ou →∞) ; peut être formel ou divergent, et la précision dépend de la troncature et de la valeur du paramètre ; ne remplace pas universellement la convergence uniforme ni la solution exacte.

Tension sémantique

Tension avec les séries convergentes : les développements asymptotiques privilégient le comportement limite correct et l'ordre des termes plutôt que la convergence, alors que les séries convergentes privilégient la convergence ponctuelle ou uniforme.

Synthèse

Un développement asymptotique est une représentation en série centrée sur un régime limite qui ordonne les contributions par grandeur pour fournir des approximations pratiques, souvent non convergentes, dont l'erreur de troncature est contrôlée par le paramètre petit ou grand.