Representación de una función o solución mediante una serie (a menudo formal) cuyos términos están ordenados por magnitud en un régimen límite de un parámetro, de modo que truncar la serie tras un número finito de términos produce una aproximación cuyo error es menor que el último término retenido en ese régimen.

Principio

Ordenar los términos según su tamaño en el límite (parámetro pequeño o grande) y conservar las contribuciones dominantes controlando el resto en relación con el parámetro límite.

Demostración

Serie asintótica de Stirling: log Γ(n+1) ~ n log n − n + (1/2)log(2π n) + 1/(12n) − 1/(360n^3) + … ofrece aproximaciones progresivamente más precisas para n grande cuando se trunca de forma adecuada.

Aplicación incorrecta

Tratar una serie asintótica como si fuera convergente para todos los valores del parámetro o sumar términos asintóticos divergentes como si aportaran una suma convergente válida fuera del régimen límite previsto.

Consecuencia

Proporciona aproximaciones controladas que captan el comportamiento dominante y cuantifican la magnitud de los términos despreciados en el límite considerado, facilitando estimaciones analíticas y cálculos simplificados.

Inversión

Una serie de potencias convergente (serie de Taylor) válida en un radio de convergencia finito que garantiza convergencia término a término cerca de un punto en lugar de una simple jerarquía por tamaño en el límite.

Límite

Se aplica cuando existe un régimen límite claro (por ejemplo parámetro →0 o →∞); puede ser formal o divergente y la precisión depende de la truncadura y del valor del parámetro; no sustituye en general a la convergencia uniforme ni a la solución exacta.

Tensión semántica

Tensión con las series convergentes: las expansiones asintóticas priorizan el comportamiento límite correcto y la ordenación por magnitud de los términos frente a la convergencia, que es la prioridad en las series convergentes.

Síntesis

Una expansión asintótica es una representación en serie enfocada en un régimen límite que ordena las contribuciones por magnitud para ofrecer aproximaciones prácticas, a menudo no convergentes, cuyo error de truncamiento se controla mediante el parámetro pequeño o grande.