agosto | 2014 | Blog de Matemática y TIC's

Archive for agosto 2014

El disco de convergencia complejo… pero simple

Posted in Análisis de Variable Compleja, Producción propia, tagged Convergencia absoluta, Convergencia de series, Disco de convergencia, Números complejos, Radio de convergencia, Series de potencias on 21 agosto 2014| Leave a Comment »

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 $p(z)$ centrada en el origen es una expresión de la forma

$p(z)=\displaystyle\sum^{\infty}_{j=0}c_{j}z^{j}=c_{0}+c_{1}z+c_{2}z^{2}+\cdots,$

donde los coeficientes $c_{j}$ son constantes complejas y $z$ es una variable compleja. Las sumas parciales de esta serie infinita son precisamente polinomios ordinarios:

$p_{n}(z)=\displaystyle\sum^{n}_{j=0}c_{j}z^{j}=c_{0}+c_{1}z+c_{2}z^{2}+\cdots+c_{n}z^{n}.$

Para un valor dado $z=a$ , se dice que la sucesión de puntos $p_{1}(a), p_{2}(a),\ldots$ converge al punto $A$ si para cualquier número positivo $\epsilon$ , sin importar cuán pequeño sea, existe un entero positivo $N$ tal que $\left|A-p_{n}(a)\right|<\epsilon$ para todo valor de $n$ mayor que $N$ . 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 $p_{N}(a)$ de la sucesión $p_{1}(a), p_{2}(a),\ldots$ , todos los puntos a continuación de él pertenecen a un disco arbitrariamente pequeño de radio $\epsilon$ centrado en $A$ .

Figura 1

En este caso decimos que la serie de potencias $p(z)$ converge a $A$ en $z=a$ , y escribimos $p(a)=A$ . Si la sucesión $p_{1}(a), p_{2}(a),\ldots$ no converge a un punto particular, entonces se dice que la serie de potencias $p(z)$ diverge en $z=a$ . De esta manera, para cada punto $z$ , $p(z)$ será convergente o divergente.

La Figura 2 muestra un zoom del disco de la Figura 1. Si $n>m>N$ , entonces $p_{m}(a)$ y $p_{n}(a)$ pertenecen ambos a este disco, y en consecuencia la distancia entre ellos debe ser menor que el diámetro del disco:

$\left|c_{m+1}a^{m+1}+c_{m+2}a^{m+2}+\cdots+c_{n}a^{n}\right|=\left|p_{n}(a)-p_{m}(a)\right|<2\epsilon.$

Figura 2

Recíprocamente, podríamos demostrar que si se cumple esta condición entonces $p(a)$ converge. Así, tenemos una nueva manera de expresar la definición de convergencia: $p(a)$ converge si y sólo si existe un $N$ tal que la desigualdad anterior se cumple (para $\epsilon$ arbitrariamente pequeño) siempre que $m$ y $n$ sean ambos mayores que $N$ .

La serie de potencias complejas $p(z)$ se dice absolutamente convergente en $z=a$ si la serie real

$\tilde{p}(z)=\displaystyle\sum^{\infty}_{j=0}\left|c_{j}z^{j}\right|=\left|c_{0}\right|+\left|c_{1}z\right|+\left|c_{2}z^{2}\right|+\cdots,$

converge. La convergencia absoluta es ciertamente diferente de la convergencia ordinaria. Por ejemplo, $p(z)=\sum z^{j}/j$ es convergente en $1$ , pero no es absolutamente convergente allí. Por otro lado,

Si $p(z)$ 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 $p(z)$ es absolutamente convergente en $z=a$ , de modo que (por definición) $\tilde{p}(a)$ es convergente. En términos de las sumas parciales $\tilde{p}_{n}(z)=\displaystyle\sum^{n}_{j=0}\left|c_{j}z^{j}\right|$ de la serie real $\tilde{p}(z)$ , esto dice que para valores suficientemente grandes de $m$ y de $n$ podemos hacer $\left|\tilde{p}_{n}(a)-\tilde{p}_{m}(a)\right|$ tan pequeño como se quiera. Pero, de la Figura 2, vemos que

$\tilde{p}_{n}(a)-\tilde{p}_{m}(a)=\left|c_{m+1}a^{m+1}\right|+\left|c_{m+2}a^{m+2}\right|+\cdots+\left|c_{n}a^{n}\right|$

es la longitud total del recorrido desde $p_{m}(a)$ a $p_{n}(a)$ pasando por $p_{m+1}(a)$ , $p_{m+2}(a)$ , etc. Como $\left|p_{n}(a)-p_{m}(a)\right|$ es la longitud del recorrido más corto desde $p_{m}(a)$ a $p_{n}(a)$ ,

$\left|p_{n}(a)-p_{m}(a)\right|\leq\tilde{p}_{n}(a)-\tilde{p}_{m}(a).$

Así, $\left|p_{n}(a)-p_{m}(a)\right|$ debe tambien ser arbitrariamente pequeño para $m$ y $n$ suficientemente grande.

Habiendo demostrado la afirmación anterior, podemos ahora establecer el siguiente hecho:

Si $p(z)$ converge en $z=a$ , entonces también converge en todo punto dentro del disco $\left|z\right|<\left|a\right|$

Analicemos la Figura 3. En efecto, demostraremos que $p(z)$ es absolutamente convergente en este disco, pues así el resultado será directo de la afirmación ya demostrada.

Figura 3

Si $p(a)$ converge, de nuestro curso de análisis real seguramente sabemos que debe existir un número $M$ tal que $\left|c_{n}a^{n}\right|<M$ para todo $n$ . Si $\left|z\right|<\left|a\right|$ , entonces $\rho=\left|z\right|/\left|a\right|<1$ y así $\left|c_{n}a^{n}\right|<M\rho^{n}$ . Así,

$\displaystyle\tilde{p}_{n}(z)-\tilde{p}_{m}(z)\leq M\left(\rho^{m+1}+\rho^{m+2}+\vdots+\rho^{n}\right)=\frac{M}{1-\rho}\left(\rho^{m+1}-\rho^{n+1}\right),$

donde el miembro de la derecha es tan pequeño como se quiera para $m$ y $n$ suficientemente grandes. Esto concluye la demostración de la segunda afirmación.

Si $p(z)$ no converge en ningún punto del plano entonces debe existir al menos un punto $d$ donde diverge. Supongamos que $p(z)$ fuera a converger en algún punto $p$ cuya distancia al origen es mayor que $d$ . Retornemos a la Figura 3. Por lo que demostramos recién debería converger en todo punto dentro del disco $\left|z\right|<\left|p\right|$ , y en particular debería hacerlo en $d$ , lo que contradice nuestra hipótesis inicial. Por lo tanto,

Si $p(z)$ diverge en $z=d$ , entonces también será divergente en cada punto fuera de la circunferencia $\left|z\right|=\left|d\right|$ .

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: $\left|a\right|\leq\left|z\right|\leq\left|d\right|$ . Supongamos que tomamos un punto $q$ a medio camino del anillo de la duda, es decir, en la circunferencia $\left|a\right|=\frac{\left|a\right|+\left|d\right|}{2}$ . Analicemos si $p(q)$ 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 $p(q)$ es convergente entonces $p(z)$ es convergente para $\left|z\right|<q$ , y el nuevo anillo de duda es $\left|q\right|\leq\left|z\right|\leq\left|d\right|$ . 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 $\left|z\right|=R$ (llamada la circunferencia de convergencia) tal que $p(z)$ converge en todo punto interior a ella y diverge en todo punto exterior a la circunferencia.

Figura 4

Al radio $R$ 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 $p(z)$ 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 $k$ , de modo que resta enunciar el resultado principal (debido a Niels Abel) en forma general:

Dada una serie de potencias compleja $p(z)$ centrada en $k$ , existe una circunferencia $\left|z-k\right|=R$ centrada en $k$ tal que $p(z)$ converge en todo punto dentro de la circunferencia, y $p(z)$ 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: