Divergir
Una sucesión o serie diverge cuando sus términos o sumas parciales no se acercan a un límite finito.
Definition
Una serie diverge cuando el total acumulado no se acerca a un número fijo: puede crecer para siempre, decrecer para siempre, u oscilar sin estabilizarse. Los tipos de divergencia incluyen crecimiento no acotado ($1 + 2 + 3 + \ldots$), oscilación ($1 - 1 + 1 - \ldots$), o comportamiento acotado pero no convergente, y para las series geométricas la divergencia ocurre cuando $|r| \ge 1$. Formalmente, una serie $\sum a_n$ diverge si sus sumas parciales no convergen en la topología dada; los métodos de sumabilidad regular (Cesàro, Abel, Ramanujan) pueden, no obstante, asignar valores a algunas series divergentes de manera consistente, extendiendo el concepto de "suma," con la sumación de Ramanujan asignando famosamente $1 + 2 + 3 + \ldots = -1/12$, con sentido en el contexto de la regularización de la función zeta.
Example
$1 + 2 + 3 + 4 + \ldots$ diverge porque la suma sigue creciendo para siempre, y $1 - 1 + 1 - 1 + \ldots$ también diverge porque las sumas parciales oscilan entre $0$ y $1$, sin estabilizarse nunca. La serie armónica $1 + 1/2 + 1/3 + 1/4 + \ldots$ diverge a pesar de que sus términos se acercan a $0$: agrupando como $1 + (1/2) + (1/3+1/4) + (1/5+\ldots+1/8) + \ldots$ se muestra que cada grupo supera $1/2$, así que la suma no está acotada. En teoría de cuerdas y teoría cuántica de campos, la regularización zeta asigna valores finitos a series divergentes para extraer predicciones físicas, por ejemplo $\zeta(-1) = -1/12$ "suma" los números naturales.
Key Insight
Divergencia significa "sin lugar de aterrizaje": el total acumulado nunca se centra en un número específico, así que no todo problema de suma infinita tiene una respuesta. La prueba de divergencia dice que si $\lim a_n \neq 0$ la serie definitivamente diverge, pero si $\lim a_n = 0$ puede converger o divergir, siendo la serie armónica el ejemplo clásico de esto último. La regularización de series divergentes no es un truco matemático sino una extensión bien definida de la sumabilidad, y entender las condiciones precisas bajo las cuales una regularización es consistente sigue siendo un área activa del análisis.