Nota: Las siguientes lneas son un resumen de las cuestiones que se han tratado en clase sobre

este tema. El desarrollo de todos los tpicos tratados est recogido en la bibliografa
recomendada en la Programacin de la asignatura.

Tema 6. Sucesiones y Series. Teorema de

Taylor
6.1. Conceptos elementales sobre series numricas

Definicin 6.1.1 Sucesin de nmeros complejos

Se denomina sucesin de nmeros complejos a toda aplicacin, f, del conjunto de los nmeros
naturales en el conjuntos de los nmeros complejos.
Dicha aplicacin hace corresponder a cada n 0 N un nmero complejo f (n) 0 C, se denota, al
nmero f (n) por f (n) = zn = xn + iyn y, como sucede con sucesiones reales, normalmente se
expresa la sucesin dando el conjunto imagen de la aplicacin f; es decir, mediante la expresin
(zn)n0N o, simplemente, zn.
Definicin 6.1.2 Lmite de una sucesin
Se dice que una sucesin, zn, tiene como lmite el nmero z 0 C , y se escribe
lim zn ' z lim zn ' z
n64

si para todo >0, existe p 0 N, tal que si n>p se tiene que *zn - z*< .
Cuando una sucesin tiene lmite se dice que es convergente, denominndose divergente
en otro caso.
La proposicin siguiente nos remite el estudio de sucesiones de nmeros complejos al
de dos sucesiones de nmeros reales:
Proposicin 6.1.3
Sea la sucesin zn = xn + iyn y z = x + iy. entonces
lim zn ' z ] lim xn ' x y lim yn ' y
n64

n64

n64

Definicin 6.1.4 Sucesin acotada

Se dice que una sucesin, zn, est acotada si existe un nmero real no negativo, M, tal que *zn*
# M para todo n N.

Es fcil probar que una sucesin est acotada si, y solo si, estn acotadas las partes reales
e imaginarias de esta sucesin, o que toda sucesin convergente est acotada (no as el
recproco).
La nocin de sucesin de Cauchy coincide con la de sucesiones reales, es decir,
Definicin 6.1.5 Sucesin de Cauchy
Se dice que zn es una sucesin de Cauchy si para todo >0, existe p 0 N tal que si
n,m>p es *zn - zm* < .
Se verifica, sin mas que aplicar el mismo teorema a cada una de las sucesiones reales que
componen la sucesin, el Teorema de Cauchy para sucesiones; es decir, una sucesin es
convergente si, y solo si, es de Cauchy.
El concepto de serie numrica viene dado a travs del de sucesin en la forma siguiente:
Definicin 6.1.6 Serie de nmeros complejos
Dada una sucesin, zn , de nmeros complejos, se denomina serie compleja a la sucesin cuyo
trmino general es Sn = z1 + z2 + .... + zn.
Cuando la sucesin Sn es convergente, se dice que la serie es convergente. En este caso,

el lmite de la sucesin, S, existe y se denota: j zn'S'lim Sn ' limj zk .

4

n'1

k'1

Generalmente, para dar una serie se utiliza la notacin j zn , an sabiendo que tal
4

n'1

expresin solamente tiene sentido en el caso en que la serie sea convergente.

Obsrvese que, puesto que zn = xn + iyn, la serie, Sn, se puede descomponer en Sn = An +
iBn donde An y Bn son las dos series reales:
An = x1 + x2 + .... + xn

Bn = y1 + y2 + .... + yn.

y, usando la proposicin 6.1.3 se obtiene inmediatamente que:

Proposicin 6.1.7
La serie j zn converge, si, y solo si, convergen las dos series j xn y j yn
4

n'1

n'1

n'1

Por tanto, el estudio de una serie de trminos complejos se puede hacer considerando el
estudio de un par de series reales.
Otra nocin sobre series que precisaremos es la de convergencia absoluta:

Definicin 6.1.8 Convergencia absoluta

Se dice que la serie de nmeros complejos j zn es absolutamente convergente si la serie real
4

n'1

de trminos positivos, j *zn* , es convergente.

4

n'1

La importancia de esta definicin se sigue de la siguiente propiedad:

Proposicin 6.1.9
Si una serie es absolutamente convergente, entonces es convergente.

6.2. Series de funciones

Al igual que en el epgrafe anterior, nos limitaremos a ampliar las definiciones conocidas
para el caso real y enunciar los resultados que nos sern de utilidad.
Sea H un subconjunto del plano complejo C, y una sucesin de funciones, fn(z), definidas

sobre H. Se denomina serie de funciones a la serie j fn(z) .

4

n'1

Definicin 6.2.1 Convergencia puntual de una serie

Se dice que una serie de funciones, j fn(z) , es convergente en H si para cada z0 0 H, la serie
4

n'1

numrica j fn(z0) es convergente. Es decir, j fn(z) es convergente en H hacia una

4

n'1

n'1

funcin, f(z), si dado cualquier z0 0 H se verifica que:

*j fk(z0) & f (z0)* < .

n

> 0, p0N /

n>p Y

k'1

A la expresin Rn(z0) ' j fk(z0) se le denomina el resto de la serie en el punto z0.

4

k'n%1

Proposicin 6.2.2
Una serie de funciones j fn(z) converge en H si, y solo si, el resto de dicha serie en
4

n'1

cada punto, z0 0 H, tiene de lmite cero.

Definimos otros dos conceptos de convergencia de series de funciones:

Definicin 6.2.3 Convergencia absoluta de una serie de funciones

La serie j fn(z) se dice que es absolutamente convergente si la serie de sus mdulos,
4

n'1

j * fn(z)* es convergente.
4

n'1

Ntese que esta definicin difiere de la 6.2.1 en que el nmero, p, no depende del z de
H elegido, solamente se establece que p depende de .
Si una serie converge uniformemente un conjunto H se verifica que:
> 0 , p 0 N / n > p Y * j fk(z) & j fk(z)* '* j fk(z)*'*Rn(z)* <
4

k'1

k'1

k'n%1

Definicin 6.2.4 Convergencia uniforme de una serie de funciones

La serie j fn(z) se dice que es uniformemente convergente en H hacia una funcin, f(z), si:
4

n'1

> 0 , p 0 N / n > p Y * f (z) & j fk(z)* < para todo z0H.

n

k'1

De lo anterior se sigue que toda serie uniformemente convergente es convergente; el

recproco de este resultado no es cierto.
Otros resultados que nos sern tiles son los siguientes:
Proposicin 6.2.5
Toda serie de funciones absolutamente convergente es convergente.

Proposicin 6.2.6
Sea j bn una serie real de trminos no negativos tal que *fn(z)*# bn para todo nmero
4

n'1

natural,n, y todo z0H. Si j bn converge, entonces la serie j fn(z) converge absoluta y

uniformemente en H.

n'1

n'1

Proposicin 6.2.7
Si fn(z) son funciones continuas en H y j fn(z) converge uniformemente en H hacia una
4

n'1

funcin f(z), entonces f(z) es, tambin, una funcin continua en H. Adems, si C es una curva
contenida en H se tiene que
mC

f (z)dz '

mC

( j fn(z) )dz ' j

4

n'1

n'1

mC

fn(z)dz .

6.3. Series de potencias

Cuando en una serie de funciones, stas tienen la forma fn(z) = an(z-z0)n para n=0,1,2,....,
la serie resultante se denomina serie de potencias. En estas series an 0 C y z0 es un nmero
complejo fijo. As, una serie de potencias se escribe j an (z & z0)n .
4

n'0

Evidentemente, todo lo dicho anteriormente para series de funciones cualesquiera es

vlido para series de potencias. No obstante, en este tipo de series se obtienen algunos resultados
adicionales importantes que pasamos a describir.
Proposicin 6.3.1 Lema de Abel.
Sea j an ( z & z0 )n una serie de potencias y supongamos que para un r0 > 0 existe M>0 tal que
4

n'0
n
*an*r0 #

M para todo n=0,1,2,.... Entonces, para todo nmero, r, con 0 < r < r0 la serie

n
j an ( z & z0 ) converge absoluta y uniformemente en los discos *z - z0* # r.
4

n'0

Proposicin 6.3.2
Sea r0 > 0, si la serie j anr0 converge, entonces la serie j an(z&z0)n converge absoluta y
4

n'0

n'0

uniformemente en todo disco *z - z0*# r < r0.

Definicin 6.3.3 Radio de convergencia

Se denomina radio de convergencia de la serie j an ( z & z0 )n a:
4

n'0

= sup { r 0 R % / j *an*r n es convergente}.

4

n'0

En el caso en que el conjunto A no est acotado diremos que la serie de potencias tiene de radio
de convergencia infinito.
Proposicin 6.3.4
Sea 0 el radio de convergencia de la serie j an ( z & z0 )n , entonces dicha serie converge
4

n'0

para todo z 0 C tal que *z-z0*< y diverge para todo z tal que *z-z0*>

Proposicin 6.3.5
Si 0 es el radio de convergencia de una serie de potencias, j an ( z & z0 )n , y 0 < r < ,
4

n'0

entonces dicha serie converge absoluta y uniformemente en todo el disco cerrado {z; *z - z0*
# r}
El clculo del radio de convergencia de una serie de potencias se realiza siguiendo
mtodos similares a los empleados en variable real, obtenindose, segn el criterio prctico de
convergencia que se use que:
n

Si existen cualquiera de los lmites, lim *an* ' R lim

n64

es '

n64

*an*
*an&1*

' R , el radio de convergencia

1
si R 0; y ' 4 si R ' 0
R

6.4. Derivadas de las series de potencias

Dada la serie f (z) ' j an(z & z0)n se llama serie derivada de esta a la serie
4

n'0

g (z) ' j n an (z & z0)n . En este apartado se trata de ver bajo qu condiciones y para qu valores
4

n'1

de "z" es cierto que f (z) = g(z); es decir, cundo, para derivar una serie, se deriva trmino a
trmino?. La respuesta a esta pregunta nos la da el siguiente resultado
Teorema 6.4.1
Sean las series f (z) ' j an(z & z0)n , g (z) ' j n an (z & z0)n con radios de convergencia y
4

n'0

n'1

respectivamente. Entonces, se verifica:

a) =
b) Para todo z 0 C tal que *z - z0* < es f (z) = g(z).
As, vemos que toda serie de potencias cuyo radio de convergencia es distinto a cero,
define una funcin analtica en el circulo *z - z0* < , cuya derivada se obtiene como suma de
las derivadas de cada trmino de la serie. Adems, aplicando este resultado a la nueva serie, g(z),

y reiterndolo, obtenemos que la serie de potencias define en el circulo abierto anterior una
funcin indefinidamente derivable.

6.5. Teorema de Taylor

Extenderemos los resultados ya conocidos para funciones de variable real, aunque,
obviamente para asegurar que una funcin se pueda desarrollar en series de Taylor no habr que
suponer que sea indefinidamente derivable pues ya hemos visto que si una funcin es analtica
en un punto, z0, existen todas las derivadas de f(z) en ese punto. Planteamos, por lo tanto, el
teorema
Teorema 6.5.1 Frmula de Taylor
Sea f(z) una funcin analtica en el disco {z; *z - z0* # R}. Entonces, para todo z tal que
4 f (n) (z )
0
*z-z0*<R es f (z) ' j
(z & z0)n .
n
!
n'0
4 f (n) (z )
0
(z & z0)n converge absoluta y uniformemente en
Adems, si r < R la serie j
n!
n'0
*z - z0* # r.

Proposicin 6.5.2 Unicidad del desarrollo en Series de Taylor de una funcin analtica.
Sea f(z) = j an(z&z0)n y sea el radio de convergencia de la serie. Entonces, f(z) es
4

n'0

analtica en *z - z0* < y an =

f (n)(z0)
n!

Es decir, los coeficientes an son los mismos contemplados en el teorema anterior, luego
el desarrollo de una funcin analtica en series de Taylor es nico.
Aplicando todo lo obtenido, hemos comprobado que si una serie de potencias,
n
j an(z & z0) , tiene de radio de convergencia con > 0, entonces define una funcin,
4

n'0

f (z) ' j an(z & z0)n , que es analtica en *z - z0* < y, recprocamente, si f(z) es una funcin
4

n'0

analtica en un entorno de z0, B(z0, ), entonces, para cada

4 f ( n ) (z )
0
(z & z0)n .
f (z) ' j
n
!
n'0

z 0

B(z0, ) es

De acuerdo con esto, si por algn otro procedimiento podemos llegar a la conclusin de

asegurar la igualdad de una funcin analtica en un entorno de z0 con una serie de potencias
n
j an (z & z0) tendremos que
4

n'0

j an (z & z0)
4

n'0

f ( n ) (z0)

n'0

n!

' j

(z & z0)n

dentro de todo el campo de convergencia de dicha serie.

A este respecto, podremos, al igual que ocurra con los desarrollos en series de funciones
reales, aplicar los mtodos de coeficientes indeterminados o de divisin inversa para obtener
desarrollos de funciones racionales, o utilizar las propiedades respecto a derivacin de series para
obtener el desarrollo de una funcin conociendo el desarrollo de su funcin integral, etc.
Por ltimo, debemos resaltar que si una funcin se puede representar por su desarrollo
en series de potencias, entonces es analtica (Teorema 6.4.1) y, el Teorema de Taylor nos
garantiza que toda funcin analtica es desarrollable en series de potencias. Por tanto
Proposicin 6.5.3
Una funcin, f(z), es analtica en un disco, D, si, y slo si, se puede desarrollar en
series de potencias en ese disco.