254

CAPITULO 5: SERIES DE POTENCIAS

d  n 
  a z  z     a n z  z 
n 1

dz  n 0 n 0  n 0
  n 1

d  
a 0  a1 z  z 0   a2 z  z 0   a 3 z  z 0     a1  2a2 z  z 0   3a 3 z  z 0   
2 3 2

dz  

ii) Se puede integrar la serie de potencias término a término sin alterar su dominio
de convergencia.

 n 
  a z  z   dz   a z  z 0  dz
C  n 0 n 
n
0  n
 
C
n 1

3. Serie de Taylor

Sea f z  una función analítica en z 0 además analítica en el dominio

D : z  z 0  R y sea R  0 el radio de convergencia, entonces existe una serie



a z  z  que converge a f z  para todo z  D , es decir

n
de potencias n 0
n 0


f z   an z  z 0 
n

n 0

Donde los coeficientes a n se calculan mediante

f
n 
z 
an 
0

n!

Esta serie de potencias con los coeficientes calculados como se indica, se denomina
desarrollo de f z  en serie de potencias de Taylor alrededor de z 0 convergente

en el dominio D : z  z 0  R

Se observa que la única condición para que f z  acepte desarrollo en serie de Taylor

es que f z  sea analítica en todo el interior de D.

Para desarrollar f z  en serie de potencias de Taylor es suficiente deducir una

expresión para la derivada n-esima f   z  .

n

MAT 218 – TEXTO OFICIAL

 255
CAPITULO 5: SERIES DE POTENCIAS

Serie de Maclaurin

Es un caso particular de la serie de Taylor, donde f z  una función analítica en

z 0  0 además analítica en el dominio D : z  R y sea R  0 el radio de

convergencia, entonces existe una serie de potencias a z n
n
que converge a f z 
n0

para todo z  D , es decir


f z   anz n
n 0

Donde los coeficientes a n se calculan mediante

f
n 
0 
an 
n!

Es decir el desarrollo ahora se realiza a rededor de z 0  0 .

Una demostración parcial para hallar los coeficientes del desarrollo de la serie de
Maclaurin es la siguiente

f z   a 0  a1z  a2z 2  a 3z 3  a4z 4  a5z 5  a6z 6   (2)

Evaluando (2) en z 0  0

f 0  a 0  a1 0  a2 02  a 3 03  a 4 04  a 5 05  a6 06  

Se halla el coeficiente a 0

f 0
a0 
0!

Derivando (2)

f
1
z   a 1
 2a 2z  3a 3z 2  4a 4z 3  5a 5z 4  6a6z 5   (3)

Evaluando (3) en z 0  0

f
1
0   a 1
 2a 2 0  3a 3 02  4a 4 03  5a 5 04  6a 6 05  

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

256
CAPITULO 5: SERIES DE POTENCIAS

Se halla el coeficiente a1

f
1
0 
a1 
1!

Derivando (3)

f
2
z   2a 2
 3  2a 3z  4  3a 4z 2  5  4a 5z 3  6  5a 6z 4   (4)

Evaluando (4) en z 0  0

f
2
0  2a 2
 3  2a 3 0  4  3a 4 02  5  4a 5 03  6  5a6 04  

Se halla el coeficiente a2

f
2
0 
a2 
2!

Derivando (4)

f
 3
z   3  2  1a 3
 4  3  2a 4z  5  4  3a 5z 2  6  5  4a 6z 3   (5)

Evaluando (5) en z 0  0

f
 3
0  3  2  1a 3
 4  3  2  1a 4 0  5  4  3a 5 02  6  5  4a 6 03  

Se halla el coeficiente a 3

f
3 
0 
a3 
3!

Derivando n veces y evaluando en z 0  0

f
n 
0  n n  1n  2 4  3  2  1  a n

Se halla el coeficiente a n

f
n 
0 
an 
n!

MAT 218 – TEXTO OFICIAL

 257
CAPITULO 5: SERIES DE POTENCIAS

Algunos desarrollos en serie de Maclaurin y sus dominios de convergencia se muestran

en la siguiente tabla

Función Desarrollo en serie de Maclaurin Dominio de

convergencia

1 n z2 z3 z4 z5 z6 z7
e z
 n ! z  1  z  2!  3!  4!  5!  6!  7!   z 
n 0

1 z
n
2n 1

sin z 

z z z z z 3
z 5 7 9 11 13

 2n  1 !  z  3!  5!  7 !  9!  11!  13!   z 

n 0 
1 z  1  z  z  z  z  z  z  
n
2n

cos z 
 2 4 6 8 10 12

 2n ! z 
n 0  2! 4! 6! 8! 10! 12!

z 2n 1
z 3 z 5 z 7 z 9 z 11 z 13
sinh z   2n  1 !  z  3!  5!  7 !  9!  11!  13!   z 
n 0  

z 2n z 2 z 4 z 6 z 8 z 10 z 12
cosh z   1       z 
n 0 2n ! 2! 4! 6! 8 ! 10! 12!

1
1z
z n
 1  z  z2  z3  z4  z5  z6  z7  z 8  z 1
n 0

1
n

Log 1  z 
 z n 1 z2 z3 z4 z5 z6 z7
 n 1
z
2
     
3 4 5 6 7
z 1
n 0

p p  1p  2p  3  p  n  1 z n
1  z 

1 
p
z 1
n 1 n!

cos 1  z   1 1
105. Hallar la serie de Taylor alrededor de z 0  1 , si: f z   
1  z  z
2

Solución: Ya que se pide el desarrollo de f z  alrededor de z 0  1 , reescribimos en

términos del factor z  1

cos z  1  1 1

f z     
z  1
2
1  z  1
 

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

258
CAPITULO 5: SERIES DE POTENCIAS

Realizando operaciones en el primer término, coseno función par y potencia cuadrada

de un negativo

cos z  1  1 1
f z   
z  1
2
1  z  1

Sea el cambio de variable

u  z 1

Ahora el desarrollo de la serie será alrededor de

z0  1  u0  0

Es decir, requerimos desarrollos en serie de Maclaurin, para la función

cos u  1 1
f  
u2 1u

De acuerdo con los desarrollos conocidos, para el primer término el desarrollo de la

serie del coseno

1 u
n
2n

u 2 u 4 u 6 u 8 u 10 u12
cos u     1      
2n !
n 0 2! 4! 6! 8 ! 10! 12!

Adecuando al valor pedido, restamos a ambos miembros de la igualdad 1

u 2 u 4 u 6 u 8 u 10 u 12
cos u   1  1  1       
2! 4 ! 6! 8 ! 10 ! 12!

Simplificando y ahora factorizando el término u 2 del segundo miembro

 1 u2 u 4 u 6 u 8 u 10 
cos u   1  u 2        
 2! 4! 6! 8! 10! 12! 

Dividiendo entre u 2

cos u   1 1 u2 u 4 u 6 u8 u 10
      
u2 2 ! 4 ! 6! 8 ! 10! 12!

MAT 218 – TEXTO OFICIAL

 259
CAPITULO 5: SERIES DE POTENCIAS

Reescribiendo en sumatoria

cos u   1 1 u
n 1
 2n


u2 2n  2!
n 0

Ya que para u  0 , el valor existe en el limite la serie es convergente en

u 

Para el segundo término el desarrollo de la serie geométrica

1 
 u n  1  u  u 2  u 3  u 4  u 5  u 6  u 7  u 8  
1  u n0

En este caso reescribiendo para la suma en el denominador

1 
  u   1  u   u   u   u   u   
n 2 3 4 5

1  u  n 0

En sumatoria

1 
 1 un
n

1  u n0

Convergente en

u 1

Reemplazando las dos series en f

1 u
n 1
 2n 
f    1 u n
n

2n  2!
n 0 n 0

  u2n   

n
 n u 2n 

f  1   u   1 u 
n 
n

 2n  2 !  n0  2n  2 !
n 0
   

Intersectando las regiones de convergencia

u   u 1

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

260
CAPITULO 5: SERIES DE POTENCIAS

u 1

Reescribiendo de acuerdo al cambio de variable, obtenemos el desarrollo de la serie



z  1 
2n
 
f z    1 z  1 
n n
 , convergente en z 1  1
n 0




2n  2 !


 2z  3 
106. Desarrollar en serie de Taylor alrededor de z 0  i : f z   Log  
 2z  3 

Solución: Para hallar el desarrollo en serie de Taylor alrededor de z 0  i

 f
n 
i 
f z    z  i 
n

n 0 n!

Requerimos la derivada n-esima para la función

 2z  3 
f z   Log  
 2z  3 

Por propiedad

f z   Log 2z  3  Log 2z  3

Derivando n veces

2 2
f ' z   
2z  3 2z  3

1  2 2
1  2 2

f '' z   
2z  3 2z  3
2 2

1  2  2 3
1  2  2 3

f ''' z   
2z  3 2z  3
3 3

MAT 218 – TEXTO OFICIAL

 261
CAPITULO 5: SERIES DE POTENCIAS

1  2  3  2 4

1  2  3  2 4

f '''' z   
2z  3 2z  3
4 4

1  n  1! 2n 1  n  1! 2n

n 1 n 1

f
n 
z   
2z  3 2z  3
n n

 
 1 1 
n
z   1  2  n  1 ! 
n 1
f n
 

 2z  3 2z  3 
n n

Evaluando en z 0  i

 
 1 1 
n 
i   1  2  n  1 ! 
n 1
f n
 
 n
 2i  3 2i  3 
n

Esta expresión es válida para n  1 , por lo tanto, desarrollando la serie

f
0
i   f
n 
i 
f z   z  i   z  i 
0 n

0! n 1 n!

 f
n 
i 
f z   f i    z  i 
n

n 1 n!

Para el primer valor evaluamos en la función f z 

 2i  3   5  12i 
f i   Log    Log 
 13 

 2i  3 

 12  
f i   Log 5  12  i arctan      Log 13
2 2

  5  

 12  
f i   Log 13  i arctan      Log 13
  5  

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

262
CAPITULO 5: SERIES DE POTENCIAS

 12  
f i   i arctan     
  5  

Reemplazando en la serie

 1
 
 2n  n  1 ! 
n 1
 12   1 1 
f z   i arctan         
n
   z  i
  5   n 1 n! 
 2i  3
n
2i  3 
n

 1
n 1  
 12    2n  1 1 
f z   i arctan       
  
n
   z  i
  5   n 1 n 
 2i  3
n
2i  3 
n

Para hallar la región de convergencia se busca la singularidad más próxima al punto

z 0  i según f z  es

3
z
2

Gráficamente

Para el radio del círculo de convergencia, se calcula mediante la distancia entre dos
puntos

3 
2
13
R    0  0  1 
2

2  2

MAT 218 – TEXTO OFICIAL

 263
CAPITULO 5: SERIES DE POTENCIAS

Por lo tanto, el desarrollo de f z  y su región de convergencia son los siguientes

 1
n 1  
 12    2n  1 1 
f z   i arctan       
  
n
   z  i
  5   n 1 n 
 2i  3
n
2i  3 
n

13
CV: z  i 
2

ez
107. Hallar la derivada de orden 10 en z 0  0 para la función: f z  
1z

Solución: Para la función dada buscamos el desarrollo en serie de Maclaurin,

reescribiendo f z 

ez 1
f z    ez  (6)
1z 1z

De acuerdo a las series conocidas de Maclaurin


1
ez   n!z n
(7)
n 0

1 

1z
 z n
(8)
n 0

Reemplazando (7) y (8) en (6)


1 n  n
f z    z  z
n 0 n ! n 0

Desarrollando

 


z2 z3 z4
2! 3! 4!  
f z   1  z       1  z  z 2  z 3  z 4   
Multiplicando

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

264
CAPITULO 5: SERIES DE POTENCIAS

 1 1  1 1 1
f z   1  1  1 z  1    z 2  1     z 3   (9)
 1! 2!   1! 2! 3! 

Asumiendo la serie de Maclaurin de la función pedida

f
2
0 f
3
0
f z   f 0  f 0 z 
1
z 2
z 3  (10)
2! 3!

Comparando (9) con (10)

f
10
0  1 1 1 1   
  f 10 0  10! 1  1  1  1    1 
 1      
10!  1! 2! 3! 10!  1! 2! 3! 10! 

10
1
f
10
0  10 !  k!
k 0

cos z  1
108. Hallar la derivada de orden 16 en z 0  0 para la función: f z  
1 z2

Solución: Para la función f z  buscamos el desarrollo en serie de Maclaurin

cos z  1 1
f z    cos z  1. (11)
1  z 
2
1  z  2

De acuerdo a las series conocidas de Maclaurin

1 z
n
 2n

cos z   (12)
2n !
n 0

1 

1  z2
  z 2n (13)
n 0

Reemplazando (12) y (13) en (11)

  
 1 z 2n
n

f z     1. z 2n
 n 0 2n ! 
  n 0

MAT 218 – TEXTO OFICIAL

 265
CAPITULO 5: SERIES DE POTENCIAS

Desarrollando

 


z2 z4 z6
2! 4! 6!  
f z   1       1  1  z 2  z 4  z 6  z 8   
 z2 z4 z6 

f z         1  z 2  z 4  z 6  z 8  
 2! 4! 6!  
Multiplicando

 1  1 1  1 1 1
f z   z 2    z 4     z 6       (14)
 2!  2! 4!  2! 4! 6!

Asumiendo la serie de Maclaurin de la función pedida

f
2
0 f
3
0
f z   f 0  f 0 z 
1
z 
2
z 3  (15)
2! 3!

Comparando (14) con (15) de forma generalizada

f
16
0   1  1  1    1   1 1 1 1 
16!

 2! 4! 6!

16! 
 f
16

0  16! 
   
 2! 4! 6!
   
16!

1
k
8
f
16
0  10! 
2k ! k 1

4. Serie de Laurent
Se plantea el problema de desarrollar f z  en serie de potencias bajo las siguientes
condiciones:

Sea f z  una función compleja que tenga dos singularidades en z1 ; z2 y sea analítica

en los demás puntos; en particular sea f z  analítica en z 0 .

Se definen las circunferencias C 1 : z  z 0  r1 y C 2 : z  z 0  r2 con r2  r1 que

pasan por z1 y z2 respectivamente como se muestra en la siguiente gráfica.

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA