Matemtica D

MATEMTICA D
Mdulo I: Anlisis de Variable Compleja

Unidad 4 Series

Mag. Mara Ins Baragatti

1- Sucesiones

Sea A un conjunto no vaco , una sucesin definida en A es simplemente un conjunto de

elementos de A escritos en un orden definido :

a1 , a2 , a3 , ........., an , ..........

por ello una sucesin se puede considerar como una funcin f cuyo dominio es el conjunto N de
nmeros naturales y su codominio es A y verifica : f(1) = a1 , f(2) = a2 , ... , f(n) = an , .....

Por lo general en vez de usar la notacin funcional f(n) = an , la sucesin se indica

{ a1 , a2 , a3 , ........., an , ..........} o {an}n > 1 o simplemente {an}

El nmero a1 es el primer trmino de la sucesin , a2 es el segundo trmino y en general an es el

n- simo trmino de la sucesin tambin llamado trmino general.

Si el conjunto A es un conjunto de nmeros complejos, se dice que la sucesin {an} es una

sucesin numrica compleja .

Sucesiones numricas convergentes

Si los trminos de una sucesin numrica {an} se acercan a un nmero L para n suficientemente
grande, es decir si lm a n = L , se dice que la sucesin converge o es convergente , tambin
n
puede decirse que la sucesin converge al valor L. De no existir dicho lmite, se dice que la
sucesin diverge o es divergente

Es importante recordar que cuando se afirma que lm a n = L significa que:

n

1
Mdulo I - Unidad 4
 Matemtica D

dado cualquier nmero positivo, al que se denomina , es posible encontrar un nmero N (que
depende de ) tal que |an - L | < , para todo n > N

Ejemplos

1 + i(n 1)
1- Para averiguar si la sucesin converge, calculamos :
n

1 + i(n 1) 1 n 1 1 n1
lm = lm + i = lm + i lm = 0+i = i
n
n n
n n n n n n

observar que hemos usado la propiedad que afirma que el lmite de una expresin compleja, si
existe, es igual a la suma de los lmites de cada componente .
Como el lmite existe y es igual a i, decimos que la sucesin converge al valor i .

( i ) n
2- Para averiguar si es convergente o no la sucesin an = , no es conveniente buscar la
n
parte real y la parte imaginaria debido a las variaciones que tiene la potencia (-i)n .

Intentemos analizar la convergencia expresando los trminos de la sucesin en forma polar :

( i ) n 1 n
calculamos su mdulo |an| = = y su argumento arg(an) = n arg (-i) = n =
n n 2 2
in
( i ) n 1 - 1 n 1 n
y entonces lm = lm e 2
= lm cos i lm sen = 0 + i0 = 0 ,
n n n n n
n 2 n n 2
en el ltimo paso hemos usado la propiedad que " el producto de una expresin que tiende a cero
por una funcin acotada tiende a cero", por lo tanto la sucesin converge a 0 .

Actividad 1:

a) Demostrar usando la idea desarrollada en el ejemplo 2 que lm | a n | = 0 lm a n = 0 ,

n n
siendo an una sucesin cualquiera.
b) Demostrar el recproco de la propiedad dada en a) y concluir que
lm | a n | = 0 lm a n = 0
n n

c) Si an = 5 cos(n) + i 5 sen(n
) , demostrar que la sucesin {|an|} converge a 5 y la sucesin
{an} diverge. Este ejemplo no muestra que la propiedad enunciada en b) slo vale cuando la
sucesin de los mdulos converge a 0

2
Mdulo I - Unidad 4
 Matemtica D

Sucesiones de funciones
Sabemos ya que una sucesin es una funcin cuyo dominio es el conjunto de nmeros naturales
N , si a cada natural n le hacemos corresponder una funcin fn(z) , decimos que se ha definido
una sucesin de funciones y la anotamos {fn(z)}. Naturalmente las funciones fn tendrn un
dominio D, donde se mover la variable z

Ejemplos

Si fn(z) = zn , los tres primeros trminos de esta sucesin son las funciones f1(z) = z, f2(z) = z2 ,
f3(z) = z3 , tambin podemos escribir {z , z2 , z3, z4 , ....} o simplemente anotando {zn} . En este
caso el dominio de las funciones son todos los complejos.

Es importante observar que si reemplazamos la variable z por un complejo fijo z0 , obtenemos

una sucesin numrica compleja {z0n} . Si tomamos z0 = i obtenemos la sucesin numrica {in} ;
si z0 = 1/2 ei obtenemos la sucesin numrica { (1/2 ei )n }

Convergencia de una sucesin de funciones (tambin llamada convergencia puntual)

Para estudiar la convergencia de una sucesin de funciones {fn(z)} tambin debemos calcular el
lmite de su trmino general, es decir calcular lm fn(z) y puede suceder que para algunos
n
valores de z dicho lmite exista y para otros valores de z no exista.

Si el lmite anterior slo existe para los complejos z de un conjunto D1 contenido o igual al
dominio D de las funciones, decimos que la sucesin {fn(z)} converge en D1, y que D1 es la
regin de convergencia de la sucesin, en cambio si lm fn(z) no existe para los restantes
n
complejos, se dice que la sucesin diverge para los z que no pertenecen a D1.

Es importante recalcar que cuando afirmamos que una sucesin de funciones converge para los z
de un conjunto D1 , queremos decir que si se reemplaza z por cualquier elemento de D1 se obtiene
una sucesin numrica convergente, es decir la sucesin converge en todos los puntos de D1 y por
ello se suele decir que la sucesin converge puntualmente para los z del conjunto D1.

Definicin formal : Si lm fn(z) = f(z) para los z pertenecientes a un conjunto D1 , decimos

n
que la sucesin {fn (z)} converge puntualmente (o converge) a f(z) para los z de D1 y
significa que:

dado cualquier nmero positivo , es posible encontrar un nmero N (que depende en general
de y de z) tal que |fn (z)- f(z) | < , para todo n > N y para todo z del conjunto D1

Ejemplo
3
Mdulo I - Unidad 4
 Matemtica D

1- Se quiere averiguar si la sucesin {zn} converge para los valores z1= 1 + 2i , z2 = i ,

z3 = 12 + i 14 y z4 = ( 2i ) , es decir queremos averiguar si las sucesiones numricas (1 + 2i)n ,
n

in , ( 12 + i 14 ) , ( 2i ) convergen, simplemente hay que calcular el lmite para n de cada una

n n

de ellas y lo dejamos como ejercicio.

para qu otros valores de z converge?, para qu otros valores de z diverge?

Para responder estas preguntas debemos trabajar con la sucesin de funciones tal cual fue dada
y para calcular el lmite es conveniente expresar al complejo z en forma polar, es decir tomar
z = r e i , y comenzar averiguando si la sucesin de los mdulos converge:
0 si r < 1
n
lm |z |= lm r = 1 si r = 1
n
n n
si r > 1

Observamos que:
 si r = | z | < 1 , es decir si z pertenece al interior del crculo de radio 1, la sucesin de los
mdulos {|zn |} converge a 0 , por lo tanto, usando a) de la actividad 1, podemos decir que la
sucesin sin los mdulos {zn } tambin converge a 0 si |z | < 1
 si r = | z | = 1, es decir si z pertenece a la circunferencia de radio 1, la sucesin {|zn |}
converge a 1 , pero esto no sirve para responder sobre la convergencia de {zn } (parte c) de la
actividad 1) .
Para responder en este caso hay que calcular

1 si = 0
lm 1.e in = lm (cos(n) + isen(n) =
n n
no existe si 0 < < 2
Por lo tanto , sobre los puntos de la circunferencia |z| = 1, la sucesin diverge salvo en
z = e0i = 1 que converge a 1

 si r = | z | > 1, es decir si z pertenece al exterior de la circunferencia de radio 1, la sucesin

de los mdulos diverge , y si los mdulos tienden a , la sucesin no puede ser
convergente.

0 si | z | < 1
Conclusin : La sucesin {zn} converge a la funcin f(z) =
1 si z = 1
1
para los z del conjunto D = {z / | z |< 1 o z = 1}

2- Es importante observar que la sucesin anterior, si bien converge en los puntos indicados no
lo hace con igual rapidez pues

 Si consideramos z = 0, entonces la diferencia |fn (0)- f(0) | = | 0 - 0 | = 0 y por lo tanto es

menor que cualquier nmero positivo para cualquier n que se considere.
4
Mdulo I - Unidad 4
 Matemtica D

 Si consideramos z = 1, entonces la diferencia |fn (1)- f(1) | = | 1n - 1 | = 0 y por lo tanto es

menor que cualquier nmero positivo para cualquier n que se considere.
 Si consideramos un complejo z 0 tal que | z | < 1 entonces la diferencia

|fn (z)- f(z) | = |z n - 0 | = | z |n < , como queremos averiguar para qu valores de n se

cumple dicha desigualdad aplicamos logaritmo a ambos miembro y obtenemos n ln |z | < ln
ln
n> (observar que en el ltimo paso se cambi la desigualdad pues dividimos ambos miembros
ln | z |
por ln |z| , que es negativo por ser | z |< 1) .
ln
El nmero es el que en la definicin se denomin N y vemos que depende de y de z.
ln | z |

Para clarificar consideremos las siguientes situaciones:

Si |z| = 1/2 y = 1/100 n > ln(1/100)/ln(1/2) = 6,64..... , por lo tanto a partir del
trmino 7 de la sucesin, la diferencia entre fn (z) y f(z) es menor que = 1/100

Si |z| = 9/10 y = 1/100 n > ln(1/100)/ln(9/10) = 43,70..... , por lo tanto a partir del
trmino 44 de la sucesin, la diferencia entre fn (z) y f(z) es menor que = 1/100 .

Evidentemente la sucesin converge a cero de una manera mucho ms lenta para los complejos
que verifican |z| = 9/10 que para los complejos que cumplen |z| = 1/2

Ejercicios
1- Hallar y graficar los cinco primeros trminos de las siguientes sucesiones y analizar su
convergencia.

in 1 in
a) z n = b) z n = (1 i ) n c) z n =
n ni n+1

2- a) Dada la sucesin fn(z) = |z |2n, justificar que converge puntualmente en | z | 1 a

0 si | z |< 1
f (z ) = y diverge en |z | > 1
1 si | z |= 1
b) Comprobar que la sucesin {enz} converge puntualmente en el conjunto {z / Re(z) < 0} a la
funcin g(z) = 0

3- Averiguar para qu valores de z convergen puntualmente las siguientes sucesiones de

funciones

5
Mdulo I - Unidad 4
 Matemtica D

a)
in
b)
n + i
c) {e }
-inz
d)
e in Re( z )
e)
e n Re( z )

n+ | z | nz n n

Convergencia uniforme de una sucesin de funciones

Si sabemos que la sucesin {fn(z)} converge puntualmente a f(z) para los z de D1 , es decir si
sabemos que lm fn(z) = f(z) para los z de un conjunto D1 , entonces podemos afirmar que
n

dado cualquier nmero positivo , es posible encontrar un nmero N (que depende en general de
y de z) tal que |fn (z)- f(z) | < , para todo n > N y para todo z de D1 .

Ser posible encontrar un nmero N que no dependa de z , tal que la diferencia |fn (z)- f(z)| <
para todo n > N y para todo z del conjunto D1 para todo z de un conjunto D2 contenido en D1?
Si la respuesta a este interrogante es afirmativa, se dice que la sucesin {fn(z)} converge
uniformemente en el conjunto D2 D1

Definicin formal : Decimos que la sucesin {fn(z)} converge uniformemente a f(z) para
los z de D2 si : dado cualquier nmero positivo , es posible encontrar un nmero N (que
depende slo de ) tal que |fn (z)- f(z) | < , para todo n > N y para todo z del conjunto D2

Ejemplo
Ya hemos analizado la convergencia de la sucesin {zn} y sabemos que converge puntualmente a
0 si | z | < 1
la funcin f(z) = para los z del conjunto D = {z / | z |< 1 o z = 1}, la
1 si z = 1
convergencia ser uniforme en el crculo | z | 3/4 ?

Para responder analizamos la diferencia |fn (z)- f(z) | = |z n - 0 | = | z |n ,

y como nos dicen que | z | 3/4 , podemos escribir |fn (z)- f(z) | = |z n - 0 | = | z |n (3/4)n ,
si exigimos que |fn (z)- f(z) | (3/4)n < ,
podemos despejar n aplicando logaritmo a ambos miembros obteniendo n ln (3/4 ) < ln , de
ln
donde n > , si denominamos N a este nmero , vemos que no depende de z y por lo
ln( 3 / 4)
tanto la sucesin converge uniformemente en | z | 3/4 .

ln(1 / 100)
Observar que si = 1/100 , entonces N = = 16,007.... , por lo tanto para todo n > 16
ln(3 / 4)
podemos afirmar que las diferencias |fn (z)- f(z) | 1/100 , para los z que verifican | z | 3/4 .
6
Mdulo I - Unidad 4
 Matemtica D

Un razonamiento similar permite demostrar que esta sucesin converge uniformemente para
| z | a , con a < 1 pues en este caso se obtiene que N = ln / ln a y resulta evidente que a no
puede tomar el valor 1.
2- Series

Dada una sucesin numrica {an}n1 , la expresin a
n =1
n se denomina serie asociada a la

sucesin o simplemente serie.

Cul es el significado de la expresin anterior?, sabemos sumar infinitos nmeros?

Es interesante observar que slo sabemos sumar dos nmeros, porque si necesitamos sumar tres ,
primero sumamos dos de ellos y al resultado le sumamos el otro.

Cul es entonces el significado de esa suma infinita que hemos llamado serie?
Los pasos que siguen respondern este interrogante.

Como sabemos sumar un nmero finito de trminos , estamos en condiciones de calcular las
siguientes sumas:
S1 = a1
S2 = a1 + a2 = S1 + a2
S3 = a1 + a2 + a3 = S2 + a3
.............................
Sn = a1 + a2 + a3 + ............+ an = Sn-1 + an
......................................................................

y de este modo generamos una nueva sucesin {Sn} a la que se denomina sucesin de sumas

parciales o serie y se indica a
n =1
n

Convergencia de una serie numrica

Si a
n =1
n es una serie numrica y la sucesin de sumas parciales {Sn} converge , es decir si existe

lm S n =S, decimos que la serie converge y que S es la suma de la serie, anotamos en este
n

caso a
n =1
n = S . Si la sucesin {Sn} diverge, decimos que la serie diverge.

Ahora comprendemos cul es el significado de sumar los infinitos trminos de una serie, ya que
si la serie converge tenemos que

n =1
a n = S = lm S n
n
= lm (a1 + a 2 + ......+ an ) = lm a k
n n
k =1

7
Mdulo I - Unidad 4
 Matemtica D

Por lo tanto cuando decimos que la serie converge e indicamos a
n =1
n = S , en realidad significa

que sumamos n nmeros y luego hacemos tender n a infinito.

Actividad 2:

Justificar que
n =1
(b n + ic n ) converge y tiene suma B + i C s y slo s b
n =1
n converge a B y

c
n =1
n converge a C Ayuda: demostrar que si Sn es la suma parcial de la primera serie entonces Sn

= Bn + i Cn donde Bn y Cn son las sumas parciales de la otras dos respectivamente.

Convergencia de una serie de funciones (tambin llamada convergencia puntual)

Decimos que una serie de funciones f
n =1
n ( z ) converge puntualmente en un conjunto D1 si la

sucesin de sumas parciales {Sn(z)} converge puntualmente a S(z) para los z del conjunto D1

Para hallar el conjunto D1, hay que averiguar para qu valores de z existe lm S n (z) y el
n
conjunto de todos ellos constituye el conjunto D1 , denominado regin de convergencia de la
serie .
Si S(z) es el resultado de dicho lmite , decimos que S(z) es la suma de la serie y anotamos

f
n =1
n ( z ) = S(z) , para los z del conjunto D1

Definicin formal : Decimos que la serie f
n =1
n ( z ) converge puntualmente a S(z) para los

z de D1 si : dado cualquier nmero positivo , es posible encontrar un nmero N (que

depende en general de y z ) tal que |Sn (z)- S(z) | < , para todo n > N y para todo z
del conjunto D1

Para clarificar la definicin de serie convergente, analizamos a continuacin una serie que
utilizaremos mucho en las clases siguientes y que se denomina serie geomtrica.

Serie geomtrica

Una serie es geomtrica, si tiene la forma a
n=0
0 r n = a0 + a0 r + a0 r2 + a0 r3 +.............

8
Mdulo I - Unidad 4
 Matemtica D

observar que cada trmino es igual al anterior multiplicado por un factor fijo, en este caso el
factor es r , que se denomina razn, y un primer trmino, que en este caso hemos denominado a0

Ejemplos

a) Una serie geomtrica de primer trmino 2i y razn e-1 + i tiene la forma

2i + 2i e-1 + i + 2i (e-1 + i )2 + 2i (e-1 + i )3 +........=
n=0
2i e n(-1+ i) = 2i (-1) n e -n
n=0

b) La serie de funciones 2(-i)
n =1
3n
(z - 3i) 2n = 2 (- i)3 (z -3i)2 + 2 (- i)6 (z -3i)4 + ......... es una

serie geomtrica con primer trmino 2 (- i)3 (z -3i)2 y razn (-i)3 (z- 3i)2

Actividad 3:
Justificar la siguiente equivalencia :

c
n=0
n es una serie geomtrica (
n) el cociente cn + 1 / cn no depende de n y su valor es igual

a la razn .

Actividad 4:

Considerando que Sn = a0 + a0 r + a0 r2 + .....+ a0 rn-1 es la suma parcial de la serie geomtrica

a
n=0
0 r n , demostrar que :

a) Si r = 1 Sn = n. a0
a 0 (1 r n )
b) Si r 1 S n = (ayuda: calcular la diferencia Sn - r Sn y despejar Sn )
1r
c) Si | r | 1 {Sn} diverge ,
a
d) Si | r | < 1 la serie geomtrica converge y su suma es S = 0
1r

Ejemplo

( 1)n (3z 2)3n+ 2
Si queremos saber si la serie
8 2n
n =1
es geomtrica realizamos el cociente entre un

trmino y su anterior obteniendo en este caso:

( 1)n +1 (3z 2)3( n+1)+ 2 ( 1)n (3z 2)3n + 2 =

(3z 2)3 , como este cociente no depende de n, la
8 2 ( n +1 ) 8 2n 82
9
Mdulo I - Unidad 4
 Matemtica D

serie es geomtrica y su razn r es igual a la expresin obtenida en dicho cociente.

Para averiguar para qu valores de z la serie es convergente , proponemos que :

r =
(3z 2)3 3
< 1 3z 2 < 64 3z 2 < 4 3 z
2 2 4
<4 z <
2
8 3 3 3

Por lo tanto la serie converge en el crculo | z - 2/3| < 4/3 y su suma es

(3z 2) 1 + (3z 2) = (3z 2)

5 3 5
a
S( z ) = 0 = , hemos tenido en cuenta que a0
1r 82 82 64 + ( 3z 2) 3
es el primer trmino de la serie, que en este caso se obtiene reemplazando n por 1

Ejercicios
4- Determinar, buscando previamente la sucesin de sumas parciales, para qu valores de z
convergen las siguientes series de funciones (observar que las dos ltimas son geomtricas).
En caso de convergencia, indicar su suma.

2 n x 2n 1
2n

( 1) 2z i

z z

n
a) b) c)
n =1 n n +1 n =1 4 n =1 3n

5- Analizando el comportamiento de la sucesin de sumas parciales, comprobar que:

1 si | z | < 1 z n 1
(z )

zn z+5
a) n
z n +1 = b) 5 n +1
+ n
= si | z | < 5
n=0 0 si z = 1 n =1 5 25 5z

A continuacin, y a modo de repaso, se enuncian los criterios ms importantes que permiten estudiar la
convergencia o divergencia de una serie, todos ellos se han visto y utilizado para series reales y siguen
valiendo para series complejas con algunos recaudos.

Condicin necesaria de convergencia : Si a
n =1
n converge lm a n = 0
n

Condicin suficiente de divergencia : Si lm a n 0 o lm a n no existe
n n
a
n =1
n diverge

Observacin : dada a
n =1
n , si lm a n = 0 no se puede decir si la serie es convergente o divergente
n

10
Mdulo I - Unidad 4
 Matemtica D

Teorema: Si | a
n =1
n | converge a
n =1
n converge

Si | ck | converge, se dice que la serie
k =1
c
k =1
k es absolutamente convergente .

Criterio de comparacin:

a) Si |cn | |bn | y
n =1
b n converge
n =1
c n converge

b) Si |cn | |an | y a n diverge
n =1
c
n =1
n diverge

| cn + 1 |
Criterio de DAlambert o del cociente: Dada la serie c
k =1
k , si lm
n | c |
= L entonces:
n

a) si L < 1
n =1
cn converge

b) si 1 < L lm c n 0
n
c n =1
n diverge

c) si L = 1 el criterio no decide, puede ser que la serie sea convergente o divergente.

Criterio de Cauchy o de la raz: Dada la serie c
k =1
k , si lm n | c n | = L entonces:
n

a) si L < 1
n =1
cn converge

b) si 1 < L lm c n 0
n
c
n =1
n diverge

c) si L = 1 el criterio no decide, puede ser que la serie sea convergente o divergente

Ejercicios

6- Estudiar la convergencia absoluta de las siguientes series numricas utilizando un criterio

adecuado.

n(2 + i )
n
1 n
a) (1 + in )
n=0
2
b)
n =1 2n
c) (2i )
n =1
n

7- Averiguar utilizando algn criterio para qu valores de z convergen absolutamente las

siguientes series de funciones:

11
Mdulo I - Unidad 4
 Matemtica D

2z
2n
( 1n )n
(z + 2)2n
a)
n =1

n
b)
n=0
ne nz c) (z + i )
n =1
n
d)
n = 0 4 (n + 1)
n

Convergencia uniforme de series de funciones

Si serie de funciones f
n =1
n ( z ) converge puntualmente a una funcin S(z) para los z de un

conjunto D1 , decimos que la serie converge uniformemente en un conjunto D2 D1 si la

sucesin de sumas parciales {Sn(z)} converge uniformemente a S(z) para los z del conjunto D2 .

Definicin formal : Decimos que la serie f n =1
n ( z ) converge uniformemente a S(z) para

los z de D2 si : dado cualquier nmero positivo , es posible encontrar un nmero N (que

depende slo de ) tal que |Sn (z)- S(z) | < , para todo n > N y para todo z del conjunto
D2

Ejemplo
1- Si queremos averiguar para qu valores de z converge uniformemente la serie

(z )

n +1
z + (z2 - z) + (z3 - z2) +....... = z + zn
n =1
comenzamos buscando su sucesin de sumas parciales
S1(z) = z
S2(z) = z + (z2 - z) = z2
S3(z) = z + (z2 - z) + (z3 - z2) = z3
.............................................
Sn(z) = zn

Por lo tanto la sucesin de sumas parciales es Sn(z) = zn , que ya hemos analizado y sabemos que
converge uniformemente en el crculo |z| a , con a < 1, por lo tanto la serie dada converge
uniformemente en cualquier crculo centrado en el origen con radio menor que uno.

No siempre es tan sencillo hallar la sucesin de sumas parciales para luego calcularle el lmite y
averiguar si existe un N, que dependa slo de , para responder sobre la convergencia uniforme,
por ello es importante disponer de algn criterio que responda y el siguiente suele ser utilsimo.

12
Mdulo I - Unidad 4
 Matemtica D

Criterio M de Weierstass

Si la serie numrica M
n=1
n tiene trminos reales positivos y es convergente y cada trmino de

la sucesin de funciones {fn(z)} verifica | fn(z)| Mn para los z de un conjunto D* entonces la

serie f (z)
n=1
n converge uniformemente para los z del conjunto D*.

Ejemplos

enz
Si queremos averiguar para qu valores de z converge uniformemente la serie
n=1 n
2
usando el

criterio anterior, consideramos el mdulo de cada trmino como se indica a continuacin

enz enx ena

= donde en (1) hemos supuesto que x a
n2 n2 (1) n2

Observemos que el ltimo cociente no depende z, y si lo llamamos Mn , podemos afirmar que

| fn(z)| Mn para los z que verifiquen Re(z) = x a

ena
Con los nmeros Mn formamos la serie numrica
n=1 n
2
y analizamos su convergencia usando

el criterio del cociente, dejamos como ejercicio verificar que L = ea , por lo tanto esta serie
converge si L = ea < 1 , de donde se desprende que a debe ser negativo. Por lo tanto la serie
na
e
numrica 2 converge si a < 0 y aplicando el criterio de Weierstass
n=1 n

podemos afirmar que la serie dada converge uniformemente si Re(z) a < 0 0

Ejercicios

8- Averiguar para qu valores de z las series del ejercicio 7 convergen uniformemente.

Propiedades de las series uniformemente convergentes

Sea f (z)
n=1
n una serie uniformemente convergente en un conjunto D y sea S(z) su suma

entonces valen las siguientes propiedades:

a) Si las funciones fn(z) son continuas en D S(z) es continua en D

13
Mdulo I - Unidad 4
 Matemtica D

b) Si C es una curva suave por tramos contenida en D la integral sobre C de la serie es igual a

( )


la serie de las integrales sobre C , es decir fn (z) dz = fn (z) dz
C
n=1 n=1
C

c) Si las funciones fn(z) son analticas en D S(z) es analtica en D y la derivada de la serie

d d
es igual la serie de las derivadas, es decir fn (z) = (fn (z))
dz n=1 n=1 dz
d) Si g(z) es una funcin acotada en D , es decir |g(z)| K para los z de D

g(z)f (z)
n=1
n converge uniformemente en D y su suma es g(z). S(z)

Series de potencias

Quizs las series ms importantes son las series de potencias que tienen la forma

c
n=0
n (z z 0 ) n = c0 + c1 (z - z0) + c2 (z - z0)2 + c3 (z - z0)3 +............

Los nmeros cn son complejos que no dependen de la variable z y se denominan coeficientes de

la serie.

Es importante observar que estas series son series de funciones donde el trmino general tiene la
forma fn(z) = cn (z - z0)n , por lo tanto su sucesin de sumas parciales es una sucesin de
funciones y por ello la serie puede converger para algunos valores de z y divergir para otros.

Para qu valores de z la serie converge?, Cmo encontrar su regin de convergencia?

Si reemplazamos z por z0 , vemos que, salvo el primero, todos los trminos de la serie son
iguales a cero y por lo tanto la serie converge en z0 y su suma es c0 .

Para encontrar otros posibles valores de z para los cuales la serie converge, se aplica algn

criterio a la serie de los mdulos |c
n=0
n (z z 0 ) n | , es decir se estudia la convergencia absoluta

de la serie

Por ejemplo, si se aplica el criterio del cociente se obtiene

| c n +1 ( z z 0 ) n +1 | c
L = lm = z z 0 lm n +1
n | c n (z z 0 ) |n n cn
1 424 3
A

Si A = 0 , entonces L = 0 y por ser L < 1, la serie converge absolutamente para todo z

Si A = , el resultado del lmite depende del valor de z, si z z0 entonces L = y la serie
diverge , si z = z0 sabemos de entrada que la serie converge .

14
Mdulo I - Unidad 4
 Matemtica D

Si A 0 y A , entonces L = |z - z0| A , como el criterio del cociente exige que L sea

menor que 1 para que la serie converja , podemos afirmar que la serie de potencias converge
absolutamente si |z - z0| A < 1 , es decir si |z - z0| < 1 / A , por lo tanto la serie de los mdulos
converge en un crculo abierto centrado en z0 de radio 1/A.
Teniendo presente que si una serie converge absolutamente entonces dicha serie converge,
podemos enunciar el siguiente teorema:

Teorema: Convergencia de series de potencias:

Para una serie de potencias c
n=0
n (z z 0 ) n existen solamente tres posibilidades:

a) La serie converge nicamente cuando z = z0

b) La serie converge para todo z
c) Existe un nmero positivo R tal que la serie converge en |z - z0| < R y diverge si |z - z0| > R.

El nmero R se denomina radio de convergencia de la serie.

Si la serie converge z , se dice que el radio de convergencia es infinito y anotamos R = ;
si la serie slo converge en z0, se dice que el radio de convergencia es cero.

Ejemplo

2n + 1
Si queremos averiguar para qu valores de z converge la serie
n=0 (2i) n
(z i ) 2n podemos

aplicar algn criterio.

A continuacin aplicamos el criterio del cociente y se deja como actividad la justificacin de

todos los pasos algebraicos que se realizan para calcular el lmite que interesa.

2
c n +1 2(n + 1) + 1 2n + 1 2n + 3 1 zi
L = lm
n
= lm
n n +1
(z i )2( n +1) n
(z - i) 2n = lm
n 2n + 1 2i
2
zi =
cn ( 2i ) (2i) 2

Si L < 1 | z - i |2 < 2 | z - i | < 2 , y si L > 1 | z - i | > 2

Por lo tanto la serie converge en el crculo abierto | z - i | < 2 y diverge en | z - i | > 2 .

Sobre los puntos de la circunferencia | z - i | = 2 no podemos asegurar si converge o diverge.

Si en cambio decidimos aplicar el criterio de la raz, la situacin es la siguiente:

15
Mdulo I - Unidad 4
 Matemtica D

2
2n + 1 n
2n + 1 2n + 1
n
2 zi
L = lm n n
(z - i) 2n
= lm n zi 2n
= lm zi = ,
n (2i) n n n 2 2
n 2i

donde en el ltimo paso se tuvo en cuenta que lm n 2n + 1 = 1

n

Como el criterio de la raz exige, como el criterio del cociente, que L sea menor a 1 para que la
serie converja, no hacemos ms comentarios pues se observa que la conclusin es idntica a la ya
obtenida.

Actividad 5:

Si la serie de potencias c
n=0
n (z z 0 ) n converge en |z - z0| < R , averiguar para qu valores de

z converge la serie de potencias negativas c
n=0
n (z z 0 ) n

Indicacin: hacer el cambio de variable w = (z - z0)-1

Teorema : convergencia uniforme de las series de potencias

Si c
n=0
n (z z 0 ) n es una serie de potencias que converge absolutamente para |z - z0 | < R con

R 0 dicha serie converge uniformemente en |z - z0 | R1 < R

Demostracin R z1

Sea z1 un complejo del crculo de convergencia de la serie, z0

R1
entonces la serie numrica
n=0
c n ( z 1 z 0 ) n (*) es convergente.

Si consideremos todos los complejos z pertenecientes al crculo sombreado de la figura , es decir

aquellos que verifican | z - z0| | z1 - z0| entonces para dichos complejos se verifica que
|cn (z - z0)n| |cn (z1 - z0)n| , teniendo en cuenta que la serie (*) es convergente, por el criterio de

Weierstass podemos afirmar que la serie c
n=0
n (z z 0 ) n converge uniformemente para los

complejos que verifican | z - z0| | z1 - z0| , si llamamos R1 = | z1 - z0| , que evidentemente es

menor que R queda demostrado lo que pretendamos.

Observacin

16
Mdulo I - Unidad 4
 Matemtica D

Como ahora sabemos que las series de potencias c
n=0
n (z z 0 ) n convergen uniformemente para

|z - z0 | R1 < R con R radio de convergencia , entonces las series de potencias tienen las
mismas propiedades que enunciamos para las series que convergen uniformemente, en particular
podemos asegurar que para los z del crculo |z - z0 | R1 < R valen las siguientes igualdades:

c (z - z 0 )
[c (z - z ) ] dz
n +1

z z z
n
a) c n (z - z 0 ) dz = y por lo tanto f ( z ) dz = n
n

n+1
n 0
z 0 n=0 n =0 z0 z0 n =0

[ ]
d
d
b) c n (z z 0 ) n = cn (z z 0 )n y por lo tanto f '(z) = c n n(z z 0 ) n 1
dz n = 0 n =0 dz n=0

Ejemplo

La serie de potencias z
n =0
n
es una serie geomtrica con primer trmino a0 = 1 y razn r = z ,

1
por lo tanto converge si | z | < 1 y en dicho crculo abierto se verifica que = zn
1 z n=0

Por tratarse de una serie de potencias podemos integrarla y derivarla trmino a trmino y se opera
como se muestra a continuacin.

a) Integrando ambos miembros entre 0 y z0 , con | z0 | < 1, obtenemos :

1 n
z n +1
z dz = z dz =
z0 z0 z0
dz =
n
,
0 1 z 0
n =0 n =0
0
n =0 n+1

Como la primitiva de la primera integral es - Ln (1 - z) , la expresin anterior puede

escribirse:

n +1 n +1
z0 z0
Ln(1 z 0 ) + Ln1 = Ln(1 z 0 ) = si | z0 | < 1
n=0 n+1 n =0 n+1

como z0 es cualquier complejo del crculo | z | < 1 , podemos reemplazar z0 por z , obteniendo:

z n +1
Ln(1 z ) = si | z | < 1
n =0 n+1

17
Mdulo I - Unidad 4
 Matemtica D

1
b) Si en cambio derivamos ambos miembros de la serie = z n obtenemos
1 z n=0
d 1 d n d n
( )

= z = z = nz n 1 = nz n 1
dz 1 z dz n = 0 n =0 dz n=0 n =1

(observar que en el ltimo paso se cambi n = 0 por n = 1 pues el primer trmino de la serie nz
n =0
n 1

vale cero)

1
Por ltimo calculando la derivada de 1 / (1 - z) obtenemos: = nz n 1 si | z | < 1
(1 z )2 n =1

Ejercicios

zn
9- Dada la serie , averiguar para que valores de z converge y si S(z) es su suma verificar
n = 0 n!
que S'(z) = S(z) y S(0) = 1 , puede aventurar cul es la funcin S(z)?

10- Averiguar para qu valores de z converge la siguiente serie ( 1)
n=0
n
z 2n y hallar una serie de

potencias de z que represente a la funcin f(z) = arctg z e indicar la regin de validez.

Operaciones con series de potencias

Dadas dos series de potencias
n=0
a n (z z 0 )n , b n=0
n ( z z 0 ) n , nos preguntamos si dichas

series se pueden sumar o multiplicar. El siguiente teorema nos responde.

Teorema

Si f(z) =
n=0
a n (z z 0 )n en |z - z0| < R1 y g(z) = b
n=0
n ( z z 0 ) n en |z - z0| < R2

y R3 = mn {R1 , R2} entonces:

a) f(z) + g(z) =
n=0
a n (z z 0 )n +
n=0
b n (z z 0 )n = (a
n=0
n + b n )( z z 0 ) n en |z - z0| < R3

b) f(z) . g(z) =
n=0
a n (z z 0 )n .
n=0
b n (z z 0 )n = d
n=0
n ( z z 0 ) n en |z - z0| < R3 , siendo

d0 = a0 b0 , d1 = a0 b1 + a1 b0 , d2 = a0 b2 + a1 b1 + a2 b0 , .. , dn = a0 bn+ a1 bn-1 + ... + an b0

18
Mdulo I - Unidad 4
 Matemtica D

Observar que tanto la suma como el producto de dos series de potencias de (z - z0) converge en la
interseccin de los crculos de convergencia de cada una de ellas.

Ejemplos

Verificar que la serie n=0
2 n ( z 1) n converge si | z - 1 | < 2 y la serie n (z 1)
n=0
n
converge

si | z - 1 | < 1 , por lo tanto la suma y el producto de ellas convergen en | z - 1 | < 1 pues

mn{1,2} = 1 , entonces:

n=0
2 n ( z 1) n +
n=0
n ( z 1) n = (2
n=0
n
+ n )( z 1) n si |z-1|<1

n=0
2 n ( z 1) n . n (z 1)
n=0
n
= 1 . 0 + (1 .1 + 2 . 0) ( z- 1) + (1. 2 + 2. 1 + 4 . 0) ( z- 1)2 +

+ (1 . 3 + 2 . 2 + 4 . 1 + 8 . 0) ( z- 1)3 + .... = (z - 1) + 4 (z - 1)2 + 11 ( z- 1)3 + ..... , si | z - 1 | < 1

Serie de Taylor

f (n ) (z 0 )
Si f(z) es analtica en z0 entonces f ( z ) =
n=0
n!
( z z 0 ) n y esta igualdad vale para todos

los z pertenecientes al mayor crculo abierto centrado en z0 donde f(z) es analtica.

Observar entonces que la serie converge a f(z) para | z z0 | < R , siendo R el radio del mayor
crculo abierto centrado en z0 donde f(z) es analtica.

Demostracin R0
C: |w - z0| =
Sea z un complejo cualquiera que verifica z0
| z z0 | = R0 < R |w - z0| = R
z
Sea C: | w z0 | = con R0 < < R

Como z es interior a C y se cumplen todas las hiptesis de la frmula de la integral de Cauchy

podemos escribir:

1 f(w) 1 f(w) 1 f(w)

f (z ) =
(1 ) 2i w-z
dw =
( 2 ) 2 i dw =
(w - z 0 ) - (z - z 0 ) (3 ) 2i
dw =
(4 )
(w - z 0 ) 1 - z - z 0
C C C

w - z0
n
z - z0 f (n ) (z 0 )

1 f(w) 1 f (w )
=
2 i
C (w - z 0 )

n=0
w - z0
dw =
(5 )
n =0
(z z 0 )n
2i
C (w - z 0 )n+1
dw =
(6 )
n=0
(z z 0 )n
n!

19
Mdulo I - Unidad 4
 Matemtica D

(1) por aplicacin de la frmula de Cauchy,

(2) restamos y sumamos z0 en el denominador
(3) sacamos (w z0) factor comn del denominador
z - z0 z - z0 R 1
(4) si r = entonces |r| = = 0 < 1 , por lo tanto el factor resulta ser la suma
w - z0 w - z0 1-r
de una serie geomtrica de razn r con |r | < 1 , y reemplazamos dicho factor por la serie
correspondiente.
(5) En este paso intercambiamos la integral con la serie, para ello es necesario mostrar que la
serie es uniformemente convergente y la funcin que la acompaa debe estar acotada sobre la
curva C ( recordar: Si g(z) es una funcin acotada en D , es decir |g(z)| K para los z de D

g(z)f (z)
n=1
n converge uniformemente en D y su suma es g(z). S(z))

f (w )
En este caso g(z) = , donde sabemos que f(w) , por ser analtica sobre la curva C, debe
w z0
estar acotada (recordar : que |f(w)| posee un mximo absoluto sobre C, es decir existe un nmero
M), por lo tanto |g(z)| M / .
positivo M tal que |f(w)|
n
z - z0
Adems la serie
n=0
w - z0
converge uniformemente sobre la curva C pues si

n

R0
comparamos sus trminos con los de la serie numrica
n=0
vemos que
n n n

z - z0 R R
= 0 , como la serie 0 es convergente por ser geomtrica con razn
w - z0 n=0

menor que 1, por el criterio de Weierstrass podemos afirmar que la

n
z - z0
serie
n=0


w - z 0
converge uniformemente sobre C. Por ltimo observar que el factor z z0

es constante respecto de la variable de integracin w y por ello se ha indicado afuera de la
integral
(6) se calcula la integral aplicando el teorema de la derivada de la frmula de Cauchy y se
obtienen los coeficientes indicados.

Ejemplo
1- Hallar la serie de Taylor de f(z) = ez alrededor de z0 = 0

Para ello calculamos las derivadas de la funcin, en este caso sabemos que f(n)(z) = ez y las
evaluamos en z0 , en este ejemplo f(n)(0) = e0 = 1 , por lo tanto:

f ( k ) ( 0) 1 k
e = z
( z 0) k = z
k =0 k! k = 0 k!

20
Mdulo I - Unidad 4
 Matemtica D

el teorema asegura que la igualdad se verifica en el mayor crculo centrado en z0 donde la funcin
es analtica, y como la exponencial es analtica en todo el plano, la igualdad anterior vale en
|z| < o tambin puede decirse que vale z

1
2- Hallar una serie de potencias de z que represente a la funcin f(z) =
1 + z2

En el enunciado nos piden una serie de potencias de z que converja a la funcin dada y podemos
a
observar que f tiene la forma 0 , que ya sabemos es la suma de una serie geomtrica y que
1r

a0
verifica = a 0 r n , si | r | < 1 .
1r n=0

Si tomamos a0 = 1 y r = -z2 entonces podemos escribir rpidamente

1
1+ z 2
=
n=0
(-z 2 n
) =
n =0
(-1) n z 2n si | - z2 | < 1 , que es equivalente a pedir que | z | < 1

Pudimos encontrar una serie de potencias de z que representa a la f dada en | z | < 1 sin haber
calculado ninguna derivada, que es lo que exige Taylor. La pregunta natural es entonces: la serie
hallada, es la serie de Taylor alrededor de z0 = 0 de la f dada?

Luego de la propiedad siguiente tendremos la respuesta a este interrogante.

Teorema de unicidad de Taylor

f (k ) (z 0 )
Si f ( z ) = c n (z - z 0 ) n
para | z - z0| < R c k = para k = 0, 1, 2,...........
n =0 k!

Demostracin

Sabemos que f(z) = c0 + c1 (z - z0) + c2 (z - z0)2 +..........+ ck (z - z0)k +..............., si | z - z0| < R

Evaluando la funcin en z0 , obtenemos f(z0) = c0 , que verifica el enunciado para k = 0

Por tratarse de una serie de potencias, podemos derivarla trmino a trmino, obteniendo:

f '(z) = c1 + 2 c2 (z - z0) +..........+ k ck (z - z0)k-1 +..............., si | z - z0| < R

Evaluando esta derivada en z0 , obtenemos f '(z0) = c1 , que verifica el enunciado para k = 1

Como la serie anterior es una serie de potencias podemos derivarla nuevamente, obteniendo:

f ''(z) = 2 c2 +..........+ k (k-1) ck (z - z0)k-2 +..............., si | z - z0| < R

21
Mdulo I - Unidad 4
 Matemtica D

Evaluando esta derivada segunda en z0 , obtenemos f ''(z0) = 2c2 , de donde c2 = f ''(z0)/ 2 que
verifica el enunciado para k = 2

Continuando de la misma manera puede obtenerse lo buscado.

Observaciones

1- Utilizando el teorema anterior vemos que si se tiene una serie de potencias de (z - z0) que

converge a una funcin f(z), es decir f ( z ) = c n (z - z 0 ) n entonces los coeficientes verifican
n=0

f (n ) ( z 0 ) f (k ) (z 0 )
cn = , por lo tanto la serie puede escribirse f ( z ) = (z z 0 )n de donde
n! n =0 k!
podemos afirmar que:
" Toda serie de potencias de (z - z0) que converge a una funcin f(z) es la serie de Taylor de
dicha funcin"
2- Es interesante observar que si se tienen dos series de potencias convergentes cuya suma es la

a n (z z 0 ) = b n (z z 0 ) para | z - z0| < R , entonces an = bn , n

n n
misma , es decir
n=0 n =0

Observar que si f(z) es la suma de cada una de ellas entonces , aplicando el teorema de unidad a
f (n) (z 0 ) f (n ) (z 0 )
cada una de ellas, se obtiene a n = para la primera serie, y b n = para la segunda
n! n!
serie, por lo tanto an = bn , n

1
3- En un ejemplo anterior hemos demostrado que f(z) =
1+ z 2
=
n =0
(-1) n z 2n , si | z | < 1 y

nos preguntamos si esa es la serie de Taylor de la funcin en z0 = 0, ahora podemos responder

que s, adems podemos calcular todas las derivadas de f(z) en z = 0 .

f ( 32 ) (0)
Por ejemplo si queremos hallar f(32)(0) , como sabemos que a 32 = , entonces
32!
f(32)(0) = 32! a32 , teniendo presente que a32 es el coeficiente de la potencia 32 , mirando la serie
cuyos trminos son
1 + (-1) z2 + (-1)2 z4 -........+ (-1)16 z32 +.........

vemos que a32 = (-1)16 = 1, por lo tanto f ( 32 ) (0) = 32!

Otro ejemplo : como f(30)(0) = 30! a30 y a30 = (-1)15 = -1 , por lo tanto f(30)(0) = - 30!
Es interesante ver que todas las derivadas de ndice impar, evaluadas en 0 , son todas nulas pues z
no aparece elevada a una potencia impar y por lo tanto todos los coeficientes de subndice impar
valen 0.

22
Mdulo I - Unidad 4
 Matemtica D

Con referencia al mismo ejemplo corresponde hacer el siguiente comentario:

1
Si se busca la serie de Taylor de la funcin de variable real f(x) = alrededor de x = 0 se
1 + x2
obtiene una serie idntica con la variable x en lugar de la z, pero la regin de convergencia de
dicha serie es el intervalo abierto (-1,1). Desde el punto de vista de la teora de la variable real, no
hay nada en el comportamiento de f(x) que explique este hecho. Pero cuando examinamos la
1
situacin en el plano complejo, vemos al instante que la funcin f ( z ) = es analtica en todo
1 + z2
C , excepto en i y -i. Por consiguiente el desarrollo en serie de potencias alrededor del 0, es el
crculo abierto | z | < 1 , cuya interseccin con el eje real x da justamente el intervalo (-1,1)

Actividad 6:

d n (z z 0 ) = 0 , es correcto
n
Si la suma de una serie de potencias es igual a cero, es decir si
n=0

afirmar que dn = 0 , n ?

Ejercicios

11- Desarrollar las funciones siguientes en serie de Taylor alrededor de z0 = 0 e indicar el

mximo disco donde es vlida dicha representacin.

1
a) f1(z) = sen z b) f2(z) = ch z c) f3(z) =
1 z

12- Hallar una serie de potencias de z que represente a las siguientes funciones usando el ejercicio
anterior y justificar el procedimiento:

1
a) f3(z) = cos z b) f2(z) = sh z c) f3(z) = d) f3(z) = Ln(1-z)
(1 z )2
13- Hallar una serie de potencias de z z0 que represente a las siguientes funciones e indicar la
regin de validez. Usar la propiedad de unicidad.

2
a) f(z) = cos z , z0 = /2 b) g(z) = z. e2z , z0 = 1 c) h( z ) = , z0 = -2
z3
z z2 1
d) k(z) = , z0 = i e) l(z) = 3z3 2z , z0 = - i f) m( z ) = , z0 = 3
z 1
2
z

23
Mdulo I - Unidad 4
 Matemtica D

(z i )2n

(1 + i ) (z 2)
n 2 n +1
14- Dadas f(z) = , g(z) =
n =1 n+1 n =1

a) Hallar el dominio de analiticidad de f(z) y g(z)

a) Calcular f '(i) , f(6)(i) , f(9)(i) , g(2) , f(6)(2) , f(17)(2)

Ceros de una funcin analtica

Decimos que z0 es un cero de f(z) si f(z0) = 0

Decimos que z0 es un cero de orden k de f(z) si f(z0) = f'(z0) = f''(z0) =......= f(k - 1)(z0) = 0
y f(k )(z0) 0

Ejemplos

Para hallar los ceros de f(z) = z3 sen z , planteamos f(z) = 0 y resolvemos esta ecuacin , en
este caso se verifica que f(k) = 0 con k = 0, 1 , 2, ..... , por lo tanto esta funcin tiene
infinitos ceros.
Para hallar el orden de cada cero hay que calcular la derivada f '(z) = 3 z2 sen z + z3 cos z
y evaluarla en todos ceros hallados , en este caso:

) 0, para k entero y distinto de 0

f' (0) = 0 y f' (k
como la primera derivada no se anula en , - , 2
, -2, ......., decimos que todos ellos son
ceros de orden 1, tambin llamados ceros simples de f(z).

La situacin es distinta si z = 0 pues f' (0) = 0 , cuando esto ocurre hay que calcular f ''(z) y
evaluar f ''(0), que en este ejemplo vuelve a dar 0, entonces hay que calcular f '''(z) y evaluar
f'''(0) y as se sigue hasta encontrar el orden de la primera derivada que no se anula en el cero
que estamos analizando. Este proceso puede ser largo y aburrido, por ello es conveniente
desarrollar la funcin en serie de Taylor alrededor del cero que pretendemos clasificar, en este
caso dicha serie es.
z3 z6
z3 sen z = z3 z 3 ( z + .......) = z 4 + ...... , convergente para todo z
3! 3!

Observando la serie obtenida y usando el teorema de unicidad de la serie de Taylor, podemos

afirmar que f (0) = 0, f ' (0) = 0 , f ''(0) = 0 , f ''' (0) = 0 , f ''''(0) 0 , por lo tanto z = 0 es un
cero de orden 4 de f(z)

24
Mdulo I - Unidad 4
 Matemtica D

Caracterizacin de ceros

a) Si z0 es un cero de orden k de la funcin analtica f(z) f(z) = (z - z0)k g(z) , con g(z)
analtica en z0 y g(z0) 0
b) Si f(z) = (z - z0)k g(z) , con g(z) analtica en z0 y g(z0) 0 z0 es un cero de orden k de la
funcin f(z)

Demostracin

a) Por ser z0 un cero de orden k de f(z) sabemos que f(z0) = f '(z0) = f ''(z0) =....= f(k-1)(z0) = 0
y f(k)(z0) 0 entonces su desarrollo de Taylor alrededor del punto z0 ser convergente en un
crculo |z - z0| < R y tiene la forma :

(k )
f (z 0 ) f (k +1)
(z 0 ) (k )
f (z 0 ) f ( k +1)
(z 0 )
f ( z) = (z z 0 ) k + (z z 0 )k +1 + ...... = (z z 0 )k + (z z 0 )1 + ......
k! (k + 1)! 14 k! (k + 1)!
444442444444 3
g( z )

por lo tanto f(z) = (z - z0)k g(z) , donde g(z) es analtica en z0 por ser una serie de potencias
convergente en |z - z0| < R y adems g(z0) 0 pues evaluando la serie que define a g en z0 se
observa que se anulan todos los trminos salvo el primero, que es f(k)(z0) / k! 0, por lo tanto
g(z0) 0

b) Sabemos que f(z) = (z - z0)k g(z) , donde g(z) es analtica en z0 y g(z0) 0, por lo tanto g(z)
admite un desarrollo en serie de Taylor de la forma

g (n ) (z 0 )
g(z) = ( z z 0 ) n , en |z - z0| < R*, multiplicando ambos miembros por (z - z0)k
n=0 n!

g (n ) (z 0 )
obtenemos (z - z0)k g(z) = ( z z 0 ) n +k = c n ( z z 0 ) n + k si |z - z0| < R*,
n=0 n! n =0

(observar que en el ltimo paso hemos denominado cn al cociente g(n)(z0) / n! )

por lo tanto f(z) = c n ( z z 0 ) n + k = c0 (z - z0)k + c1 ( z - z0)k+1 +.........., con c0 = g(z0) 0
n =0
como f(z) pudo expresarse como una serie de potencias positivas de (z - z0) , por el teorema de
unicidad sabemos que sta es la serie de Taylor de f(z) , por lo tanto podemos afirmar que :

f(z0) = f '(z0) = f ''(z0) =....= f(k-1)(z0) = 0 y c0 = f(k)(z0) /k! 0 , de donde se desprende que
z0 es un cero de orden k de f(z)

Actividad 7:
Si z0 es un cero de orden p de f(z) y es un cero de orden q de g(z), justificar con la ayuda del
teorema anterior que:
25
Mdulo I - Unidad 4
 Matemtica D

a) z0 es un cero de orden p + q del producto f(z). g(z)

b) si p < q , z0 es un cero de orden p de f(z) g(z)
c) si p = q , z0 es un cero de orden mayor o igual que p de f(z) g(z)

Ejercicios

15- Justificar en cada caso que z0 es un cero de la funcin e indicar su orden

a) g1(z) = z3 (1 cos z) , z0 = 0 b) g2(z) = sen2 z (1 + cos z) , z0 =

z) ,
c) g3(z) = 4z tg ( z0 = d) g4(z) = 6 sen (z2) + z6 - 6z2 , z0 = 0

16- Si f(z) y g(z) son analticas en z0 , f(z0) = g(z0) = 0 y g(z0) 0 , demostrar la regla de
f (z ) f ' (z 0 )
LHospital : lm =
z z 0 g( z ) g' (z 0 )

Serie de Laurent

Si f(z) es analtica en el anillo r < | z - z0| < R (r puede ser 0 y R puede ser ) entonces para
todos los z de dicho anillo vale que:
C z
0
f (z ) = a n (z z 0 ) + b n (z z 0 )
n n

n=0 n =1

1 f(w) 1 f(w)
donde a n =
2i C ( w z 0 ) n + 1
dw y b n =
2i C ( w z 0 ) -n +1
dw

siendo C una curva cerrada contenida en el anillo que encierra a z0

Demostracin
C z0
Sea z un complejo cualquiera que verifica
| z z0 | = R0 con r < R0 < R
C2
Sea C1: | w z0 | = 1 con R0 < 1 < R
C1
C2: | w z0 | = 2 con r < 2 < R0
z

26
Mdulo I - Unidad 4
 Matemtica D

Como z es interior al anillo determinado por las circunferencias C1 y C2 y f(w) es analtica sobre
dichas curvas y en la regin limitada por ellas, podemos utilizar el resultado obtenido en la
actividad 10 de la unidad 3 , que nos asegura que: :
1 f (w ) 1 f (w)
f (z ) =
2i C1 w z
dw -
2i C 2 w z
dw (hemos cambiado z0 por z y z por w)

a partir de aqu trabajamos como en la demostracin de la serie de Taylor, es decir sumamos y

restamos z0 en los denominadores, obteniendo:
1 f(w) 1 f(w)
f (z ) =
2i 1 (w - z 0 ) - (z - z 0 )
C
dw -
2i 2 (w - z 0 ) - (z - z 0 )
C
dw

ahora sacamos factor comn (w - z0) del denominador de la primera y sacamos factor comn
(z -z0) del denominador de la segunda, obteniendo:
1 f(w) 1 f(w)
2i C1
f (z ) = dw + dw
z - z0 2i C 2 w - z0
(w - z 0 )1 - (z - z 0 )1 -
w - z0 z - z0

Mirando estas integrales descubrimos que uno dividido los corchetes se corresponden con la
suma de una serie geomtrica, en la primera integral el mdulo de su razn es
z z0 R w z0
= 0 < 1 y en la segunda el mdulo de su razn es = 2 < 1 , por lo tanto
w z0 1 z z0 Ro
ambas expresiones se pueden reemplazar por series geomtricas convergentes , obteniendo:

n n
1 f(w)
z - z0 1 f(w) w - z 0
f (z ) =
2i 1 (w - z 0 )
C
dw +
n =0 w - z 0

2i C 2 (z - z 0 ) n =0 z - z 0
dw

como en la demostracin del teorema de Taylor, nuevamente puede demostrarse que dichas series
son uniformemente convergentes y que las funciones que multiplican dichas series estn acotadas
sobre las curvas de integracin, por lo tanto puede usarse que la integral de una serie es igual a la
serie de las integrales, obteniendo:

1 f(w) 1
f (z ) = (z z 0 )n dw + ( z z 0 ) ( n +1) f(w) (w - z 0 ) n dw
n=0 2i 1 (w - z 0 )
C n +1
n =0 2 i 2
C

(los factores (z- z0)n y (z - z0)-(n+1) no dependen de w , por ello los sacamos afuera de la integral)

si llamamos
1 f(w) 1 1 f(w)
an =
2i C1 ( w z 0 ) n +1
dw y b n +1 =
2i C2
f(w) (w - z 0 ) n dw =
2i C 2 ( w z 0 ) -n
dw

27
Mdulo I - Unidad 4
 Matemtica D

donde en esta ltima es importante observar que

1 f(w) 1 f(w)
bn =
2i 2 ( w z 0 )
C - (n-1)
dw =
2i 2 ( w z 0 ) -n +1
C
dw

entonces f ( z ) = ( z z 0 ) n a n + ( z z 0 ) ( n +1) b n +1 ,
n=0 n=0

si en esta segunda serie cambiamos n por n -1 , obtenemos:

f (z ) = (z z 0 )n a n + (z z 0 ) n b n , que es equivalente a lo que queramos demostrar.
n =0 n -1= 0

Slo queda por ver que los coeficientes an y bn pueden obtenerse integrando sobre una curva C ,
contenida en el anillo de analiticidad y no sobre las curvas C1 y C2, pero esto lo dejamos como
una actividad para el alumno.

Observacin sobre las series de Taylor y Laurent

1- Si f(z) es analtica en z0 , es decir es analtica en un crculo abierto centrado en z0 de radio R

f(z) puede desarrollarse en serie de potencias positivas de (z - z0 ) (serie de Taylor) y
dicha serie converge y representa a f(z) en | z - z0| < R

2- Si f(z) es analtica en un anillo abierto centrado en z0 , es decir si f(z) es analtica en

r < | z - z0| < R f(z) puede desarrollarse en serie de potencias positivas y/0 negativas de
(z - z0 ) (serie de Laurent) y dicha serie converge y representa a f(z) en r < | z - z0| < R

Ejemplos

Los coeficientes de la serie de Laurent no se suelen buscar calculando las integrales que definen a
an y bn , sino por otros mtodos que se explican en los siguientes ejemplos y esto se debe a que,
como ocurre con la serie de Taylor, toda serie convergente de potencias positivas y negativas es
la serie de Laurent de la funcin suma y por lo tanto es nica.

Es muy importante tener en cuenta que: "para desarrollar una funcin en serie de Laurent se
exige que la funcin sea analtica en un anillo, si el anillo est centrado en z0 entonces la
serie de Laurent tendr potencias positivas y/o negativas de (z - z0)

1
1- La funcin f ( z ) = es analtica en todo el plano salvo en 2. y
z2
Si pretendemos encontrar una serie de potencias de (z - 0) cuya suma
sea la funcin dada, debemos analizar la analiticidad de la funcin en un x
2
crculo centrado en z0 = 0, para la serie de Taylor, y en un anillo
centrado en z0 = 0 , para la serie de Laurent.

28
Mdulo I - Unidad 4
 Matemtica D

El mayor crculo centrado en z0 = 0 donde f es analtica es | z | < 2 y por lo tanto f admite un

desarrollo de Taylor convergente en dicho crculo. Como adems f es analtica en el anillo
centrado en z0 = 0 definido por 2 < | z | < entonces f admite un desarrollo de Laurent
convergente en dicho anillo.
Si queremos encontrar los desarrollos de Taylor y Laurent mencionados, intentamos escribir la
funcin como la suma de una serie geomtrica, para ello buscamos un 1 en el denominador como
se muestra a continuacin:
Recordar que:
Para obtener la serie de Taylor , dividimos numerador y a0
denominador por -2 , obteniendo: = a 0 r n , si |r| <1
1 r n=0

12 n

1 1 z zn z
f (z ) = = =
z 2 1 2 n=0 2 2
z
=
n=0 2
n +1
, si
2
< 1 , es decir | z | < 2

Para obtener la serie de Laurent, dividimos numerador y denominador por z , obteniendo:

n
1 1
1 2 2n 2
f (z ) = = z 2 = = n +1 , si < 1 , es decir 2 < | z | 2<|z|<
z 2 1 z n=0 z z n=0 z z

Observar que la serie de Laurent en este caso slo tiene potencias negativas
2- La funcin f(z) = e1/(z-3) no es analtica en 3, por lo tanto no puede desarrollarse en serie de
Taylor en potencias de (z - 3) , pero por ser analtica en el anillo 0 < | z - 3 | < admite un
desarrollo en serie de Laurent alrededor de z0 = 3 y dicho desarrollo lo obtenemos considerando

zn
la serie de Taylor de ez alrededor de 0 , que sabemos tiene la forma: e z = y converge
n = 0 n!

para todo z, es decir converge en | z | < .

Si reemplazamos z por 1 / (z - 3) en ambos miembros obtenemos :

( z 1 3 )n 1
e 1 / z3
= = y esta igualdad vale si z 3 , por lo tanto podemos
n = 0 n! ( z 3)
n
n=0 n!
afirmar que esta serie converge en 0 < | z - 3 | <

3- Si queremos saber cules son las posibles regiones de convergencia de las series de Laurent de
1 3
f (z ) = + alrededor del punto z0 = i debemos hallar todos los anillos centrados en i
z2 z
donde g es analtica

Para ello trazamos circunferencias centradas en i que pasen por los i

puntos donde la funcin no es analtica, en este caso dichas
circunferencias tienen radio 1 y radio 5 , por ello el plano complejo 2
0
queda dividido en tres regiones:

 | z - i | < 1, en ella la funcin dada puede desarrollarse por Taylor pues f es analtica en i
29
Mdulo I - Unidad 4
 Matemtica D

 1< | z - i | < 5 , en este anillo acotado, f puede desarrollarse en serie de Laurent

 5 <| z - i | < , en este anillo no acotado, f tambin puede desarrollarse en serie de Laurent

Para encontrar los desarrollos mencionados, seguimos pensando en la forma que tiene la suma de
una serie geomtrica, como queremos que las series tengan potencias de (z - i), buscamos que la
razn contenga dicho factor, es decir se trabaja como se muestra a continuacin:

1 1 3 3
=
{ , =
{
z2 sumamos y restamos (z i ) + i 2 z sumamos y restamos (z i ) + i
i en el denominado r i en el denominado r

y ahora debemos buscar un 1 en el denominador y esto puede hacerse de dos maneras distintas
para cada fraccin como se muestra a continuacin:

1
1 1
= =
{
i2
(1)
z 2 (z i ) + i 2 dividimos el numerador y
z i
i2
+1
el denominador por ( i - 2)

1
1 1
= =
{
z i
(2)
z 2 (z i ) + i 2 dividimos el numerador y 1+ i2
z i
el denominador por (z - i)

3
3 3
= =
{
i
(3)
z (z i ) + i dividimos el numerador y
z i
i
+1
el denominador por i

3
3 3
= =
{
zi
(4)
z (z i ) + i dividimos el numerador y 1+ i
zi
el denominador por (z - i)

Actividad 8:

a) Las expresiones (1) , (2), (3) y (4) del ejemplo anterior son la suma de series geomtricas cuya
razn contiene en los cuatro casos el factor (z - i) (z - i)-1 , expresar dichas expresiones como
series de potencias positivas o negativas de z - i e indicar la regin de validez de cada una
b) Comprobar que

( 1) n ( z i ) n
( 1) n 3( z i ) n
1 3
si | z - i | < 1 f(z) = (i 2) n +1
+ (i ) n + 1
= (i 2) n +1
+ ( 1) n ( z i ) n
i
n +1
n=0 n=0 n=0

( 1) n ( z i ) n
3 ( 1) n ( i ) n
si 1 < | z - i | < 5 f(z) = + n +1
n=0 ( i 2) n + 1 n =0 ( z i )

( 1) n ( i 2) n
3 ( 1) n ( i ) n =
((i 2) )

si 5 < | z - i | < f(z) = n+1
+ n +1
n
+ 3 i n ( 1) n ( z i ) n 1
n=0 (z i) n =0 ( z i ) n=0

30
Mdulo I - Unidad 4
 Matemtica D

2z 4 e 2z
4- Indicar las posibles regiones donde puede expresarse la funcin h( z ) = + en
z ( z + 3)
potencias de (z + 3) y hallar el desarrollo que converja en la regin acotada.

Para encontrar las regiones trazamos circunferencias centradas en -3

que pasen por los puntos donde la funcin no es analtica, en este -3
caso la nica circunferencia que podemos trazar tiene radio 3 , por
ello el plano complejo queda dividido en dos regiones de analiticidad
de la funcin : 0 < | z + 3 | < 3 y 3 < | z + 3 | <
0
Es muy importante observar que como h(z) no es analtica en -3 , de la primera regin hemos
excluido el -3 , al imponer que 0 < | z - 3 | y adems podemos afirmar que esta funcin no puede
desarrollarse en serie de Taylor alrededor de dicho punto.

Como nos piden el desarrollo que converja en la regin acotada, debemos buscar un desarrollo
que converja en 0 < | z + 3 | < 3 .

Para ello consideramos la primera fraccin como el producto de la funcin 2z - 4 por la

funcin 1 / z . Como 2z - 4 es analtica en -3 , puede desarrollarse en serie de Taylor y dicho
desarrollo puede obtenerse, pensando en la unicidad , sumando y restando 3 como se muestra a
continuacin:

2z - 4 = 2 [( z + 3) - 3] - 4 = 2 ( z + 3) - 10 , y esta igualdad vale para todo z ,

ahora tratamos de expresar 1/z en potencias de z + 3 , para ello buscamos darle la forma de la
suma de una serie geomtrica :

1
n
1 1
1 z + 3
1
= = ( z + 3 )3 = = n +1 ( z + 3) si
n
|z+3|<3
z ( z + 3) 3 3 + 1 n = 0 3 3 n =0 3

(observar que si hubiramos buscado el 1 del denominador dividiendo por z + 3 la serie obtenida en ese
caso no convergera en la regin pedida)

Por lo tanto la primera fraccin puede escribirse como:

2z 4
= [2( z + 3) 10]
1 2 10
z

n =0 3 n +1
( z + 3) n =
n=0 3 n +1
( z + 3) n +1 +
n =0 3 n +1
( z + 3) n si |z+3|<3

Para sumar las dos ltimas series hacemos un corrimiento de ndices en la primera de ellas,
cambiando n por n-1 obteniendo :

2 2 2

n=0

3 n +1
( z + 3 ) n +1
=
n 1= 0

3 n 1+ 1
( z + 3 ) n 1 + 1
=
n =1
n ( z + 3) n
3

Por lo tanto si | z + 3 | < 3 , vale el siguiente desarrollo

31
Mdulo I - Unidad 4
 Matemtica D

2z 4
2
10 10 2 10 10 4
= n ( z + 3) n + n +1 ( z + 3) n = + n + n + 1 ( z + 3 ) n = + n +1 ( z + 3) n
z n =1 3 n=0 3 3 n=0 3 3 3 n=0 3

La segunda fraccin puede pensarse como el producto de la funcin e2z por la funcin 1 / (z + 3)

Como e2z es analtica en -3 puede desarrollarse por Taylor como se muestra a continuacin:
Recordar que z vale:

( z + 3) n
2z
e =e 2 (z + 3) - 6
=e 2 (z + 3)
e -6 -6
=e
n=0 n!
, para todo z
ez =

zn
, por lo tanto
n = 0 n!

Como 1/(z + 3) = ( z+ 3)-1 , este es su desarrollo en serie de ( z + 3) n

ez + 3 = , z
Laurent y evidentemente converge para todo z 3 n=0 n!

Por lo tanto la segunda fraccin puede expresarse del siguiente modo:

e 2z
( z + 3) n
( z + 3 ) n 1
= ( z + 3 ) 1 e - 6 = e 6 y esta serie converge en la interseccin de
z+3 n =0 n! n =0 n!
los recintos donde converge cada una , es decir converge en 0 < | z + 3 | <

2z 4 e 2z 10 4
( z + 3 ) n 1
Entonces: h( z ) = + = + n + 1 ( z + 3) n + e 6 si 0 < | z + 3 | < 3
z ( z + 3) 3 n = 0 3 n=0 n!
Ejercicios

2
17- Desarrollar h( z ) = en serie de Laurent convergente en:
z z
2

a) 0 < | z | < 1 b) 1 < | z | < c) 0 < | z - 1 | < 1 d) 1 < | z -1 | <

2 3
18- Representar g( z ) = z 2 + como una serie de Laurent convergente en:
z z2
a) 0 < | z | < 2 b) | z | > 2 c) 0 < | z - 2 | < 2 d) 2 < | z + 2 | < 4

z
19- Dada f (z ) = , hallar una serie de potencias positivas y/o negativas, segn
z +z2 2

corresponda, que la represente en las siguientes regiones:

a) | z | < 1 b) 0 < | z - 1| < 3 c) 3 < | z + 2 | < d) | z + 1 | > 2

20- Hallar el desarrollo en serie de Laurent alrededor de z0 = 0 de las siguientes funciones e

indicar la regin de validez de cada uno

4 3 1 e 2z
a) f ( z ) = z 3 sen b) g( z ) = + c) f 3 ( z ) = e 1 / z cos z
2

z z2 z z4
32
Mdulo I - Unidad 4
 Matemtica D

z +1
21- Dada F( z ) = a) Hallar el radio del mayor crculo centrado en z0 = -1 en el
( z 2)( z 2 4)
que F(z) puede desarrollarse en serie de Taylor e indicar todas las coronas centradas en
z1 = 2 en las que puede desarrollarse en serie de Laurent.
a) Hallar la serie de Laurent alrededor de z1 = 2 convergente en la regin no acotada
b) Efectuar el desarrollo en serie de Laurent alrededor de z1 = 2 vlido en z2 = 0.

2
z2
2 e z
22- Dada h( z ) = + , hallar la serie de Laurent de h(z) alrededor de z0 = 2 de
z z 2 (z 2)2
modo que converja en z1 = 2i. Indicar la regin de convergencia.

1 4
23- Dada t(z) = ( z 2 z ) 2 1 +
3(z 1) 3(z + 2 )

a) Indicar las regiones donde es posible expresar a t(z) como una serie de potencias positivas y/o
negativas de z (2 + i ).
b) Hallar la serie de Laurent de t(z) que la representa en la regin 0 < |z 1| < 3
c) Hallar la serie de Laurent de t(z) que la representa en la regin 3 < |z + 2| < .
d) Verificar que z1 = 0 es un cero de t(z) y hallar su orden.

33
Mdulo I - Unidad 4