Vamos a considerar la convergencia de las series de potencias complejas, dejando de lado por el momento la cuestión acerca de si una función compleja dada puede ser expresada como tal serie.
Una serie de potencias complejas 
centrada en el origen es una expresión de la forma
donde los coeficientes 
son constantes complejas y 
es una variable compleja. Las sumas parciales de esta serie infinita son precisamente polinomios ordinarios:
Para un valor dado 
, se dice que la sucesión de puntos 
converge al punto 
si para cualquier número positivo 
, sin importar cuán pequeño sea, existe un entero positivo 
tal que 
para todo valor de 
mayor que . La Figura 1 ilustra que esto es mucho más simple de lo que parece: todo lo que indica es que a partir de un cierto punto 
de la sucesión , todos los puntos a continuación de él pertenecen a un disco arbitrariamente pequeño de radio centrado en .
Figura 1
En este caso decimos que la serie de potencias converge a en , y escribimos 
. Si la sucesión no converge a un punto particular, entonces se dice que la serie de potencias diverge en . De esta manera, para cada punto , será convergente o divergente.
La Figura 2 muestra un zoom del disco de la Figura 1. Si 
, entonces 
y 
pertenecen ambos a este disco, y en consecuencia la distancia entre ellos debe ser menor que el diámetro del disco:
Figura 2
Recíprocamente, podríamos demostrar que si se cumple esta condición entonces 
converge. Así, tenemos una nueva manera de expresar la definición de convergencia: converge si y sólo si existe un tal que la desigualdad anterior se cumple (para arbitrariamente pequeño) siempre que 
y sean ambos mayores que .
La serie de potencias complejas se dice absolutamente convergente en si la serie real
converge. La convergencia absoluta es ciertamente diferente de la convergencia ordinaria. Por ejemplo, 
es convergente en 
, pero no es absolutamente convergente allí. Por otro lado,
Si es absolutamente convergente en algún punto, entonces también será convergente en ese punto.
Así, la convergencia absoluta es un requerimiento mucho más fuerte que la convergencia.
Para demostrar la afirmación, supongamos que es absolutamente convergente en , de modo que (por definición) 
es convergente. En términos de las sumas parciales 
de la serie real 
, esto dice que para valores suficientemente grandes de y de podemos hacer 
tan pequeño como se quiera. Pero, de la Figura 2, vemos que
es la longitud total del recorrido desde a pasando por 
, 
, etc. Como 
es la longitud del recorrido más corto desde a ,
Así, debe tambien ser arbitrariamente pequeño para y suficientemente grande.
Habiendo demostrado la afirmación anterior, podemos ahora establecer el siguiente hecho:
Si converge en , entonces también converge en todo punto dentro del disco 
Analicemos la Figura 3. En efecto, demostraremos que es absolutamente convergente en este disco, pues así el resultado será directo de la afirmación ya demostrada.
Figura 3
Si converge, de nuestro curso de análisis real seguramente sabemos que debe existir un número 
tal que 
para todo . Si , entonces 
y así 
. Así,
donde el miembro de la derecha es tan pequeño como se quiera para y suficientemente grandes. Esto concluye la demostración de la segunda afirmación.
Si no converge en ningún punto del plano entonces debe existir al menos un punto 
donde diverge. Supongamos que fuera a converger en algún punto 
cuya distancia al origen es mayor que . Retornemos a la Figura 3. Por lo que demostramos recién debería converger en todo punto dentro del disco 
, y en particular debería hacerlo en , lo que contradice nuestra hipótesis inicial. Por lo tanto,
Si diverge en 
, entonces también será divergente en cada punto fuera de la circunferencia 
.
A estas alturas hemos resuelto la cuestión acerca de la convergencia en todas partes excepto en el «anillo de la duda» que aparece en la Figura 3: 
. Supongamos que tomamos un punto 
a medio camino del anillo de la duda, es decir, en la circunferencia 
. Analicemos si 
es convergente o divergente. Sin importar el resultado, las dos afirmaciones anteriores nos permiten obtener un nuevo anillo de duda que es la mitad de ancho que el anterior. Por ejemplo, si es convergente entonces es convergente para 
, y el nuevo anillo de duda es 
. Reiterando entre proceso de prueba en el nuevo anillo obtendremos uno con la mitad de ancho. Continuando de esta manera, el anillo de duda se angostará hasta alcanzar una circunferencia definitiva 
(llamada la circunferencia de convergencia) tal que converge en todo punto interior a ella y diverge en todo punto exterior a la circunferencia.
Figura 4
Al radio 
se lo llama el radio de convergencia, y al interior de la circunferencia se lo llama el disco de convergencia.
Nótese que este argumento nada dice acerca de la convergencia de sobre la circunferencia de convergencia, y es posible encontrar en la literatura ejemplos de series de potencias para las cuales la convergencia se da sobre todos, algunos o ninguno de los puntos en ella.
Cada uno de los resultados anteriores se generaliza inmediatamente a series de potencias centradas en un punto arbitrario 
, de modo que resta enunciar el resultado principal (debido a Niels Abel) en forma general:
Dada una serie de potencias compleja centrada en , existe una circunferencia 
centrada en tal que converge en todo punto dentro de la circunferencia, y diverge en todo punto fuera de ella.
De hecho, podemos tener una serie que sea convergente en todo punto del plano complejo, en cuyo caso pensamos en el caso límite en el que la circunferencia de convergencia es infinitamente grande.
Fuente bibliográfica:
- Tristan Needham (1997) Visual Complex Analysis. Oxford University Press
Me gusta esto:
Me gusta Cargando...
Relacionado
Blog de Matemática y TIC's 
Deja una respuesta