265

CAPITULO 5: SERIES DE POTENCIAS

Desarrollando

 
z2 z4 z6

f z   1       1  1  z 2  z 4  z 6  z 8  
 2! 4! 6!  
 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
      
 2! 4! 6!

16! 
 f
16
0  16! 2!  4!  6!    16!
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

266
CAPITULO 5: SERIES DE POTENCIAS

Estas curvas C 1 y C 2 dividen el plano Z en tres regiones R1 , R2 y R3 en cada una

de las cuales se busca un desarrollo en serie de potencias para f z 

Región tipo disco ( R1 )

Esta región representada por z  z 0  r1 se denomina tipo disco y f z  es

analítica en todos sus puntos, por lo tanto, es válido el desarrollo de la serie de
Taylor alrededor de z 0

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

n 0

Con los coeficientes

f
n 
z  1 f z 
an   
0
dz
n! 2i z  z 
C1 n 1
0

La última igualdad se deduce por consecuencia de la formula integral de Cauchy

para hallar los coeficientes a n por derivada n-esima o por integración compleja.

MAT 218 – TEXTO OFICIAL

 267
CAPITULO 5: SERIES DE POTENCIAS

Región tipo anillo ( R2 )

Esta región representada por r1  z  z 0  r2 se denomina tipo anillo.

Se construye este dominio para evitar las singularidades z1 y z2 , se define el

desarrollo en serie de Laurent según

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

Por propiedades de sumatorias, la misma se puede separar en

1 
f z    an z  z0   an z  z0 
n n

n  n 0

Cambiando el índice en el primer termino

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

n 1 n 0

Estas expresiones se denominan

a z  z 
n
n 0 Parte analítica de la serie de Laurent (P.A.)
n 0

a z  z 
n
n 0 Parte principal de la serie de Laurent (P.P.)
n 1

Los coeficientes se evalúan según

f
n 
z  1 f z 
an    n 0
0
dz ,
n! 2i z  z 
C n 1
0

1 f z 
an  bn   dz , n 1
2i z  z 0 
C n 1

Los coeficientes bn se calculan solamente por integración compleja; sin embargo, esto
normalmente se evita usando apropiadamente los desarrollos de Maclaurin.

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

268
CAPITULO 5: SERIES DE POTENCIAS

Región tipo anillo “infinito” ( R3 )

Esta región representada por z  z 0  r2 se denomina tipo anillo “infinito”, en

esta región se debe encontrar otro desarrollo en serie de Laurent de la forma

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

n 1 n 0

Con coeficientes a n y a n distintos a los de la región R2

En general, se pueden hallar distintas series de Laurent para f z  en n regiones tipo

anillo de acuerdo al número de singularidades que presente la función.

Si ocurre que los coeficientes an  bn  0 entonces la serie de Laurent coincide con
la serie de Taylor en una región tipo disco.

Todo desarrollo correcto de f z  en serie de Laurent depende de la construcción

apropiada de la región de convergencia de la serie.

z 5
109. Desarrollar en serie la función f z   en:
z 2  2z  8

a) 2  z  2  4 , b) 4  z  2  

Solución: Para la función

z 5
f z  
z 2  2z  8

Expandimos en fracciones parciales

z 5 3 1 1 1
f z    
z  4z  2 2 z  4 2 z 2

a) Cambio de variable

u  z 2  z  u 2

MAT 218 – TEXTO OFICIAL

 269
CAPITULO 5: SERIES DE POTENCIAS

2 z 2 4  2 u 4

3 1 1 1 3 1 1 1 3 1 1 1 1
f      
2 u  2  4 2 u  2  2 2 u  2 2 u  4 2u 2 2 4 u
1 1
u 4

3   2  1  u 
n n
3 1 1 1 1
f 
2u

 2  2 4 u
     8   4 
2u n0  u 

1    1 n 0
 u  4

3  2
n
3   2  1  u 
n n
1  un
f    
2u n0  u 
   
8 n 0  4 
 
2 n0 u n 1
 
8 n0 4n

2 u 2 u
 1  1  1  1
u 4 u 4

2 u  u 4  2 u 4

Del cambio de variable

u  z 2

3  2 1  z  2
n n

f z      , CV: 2  z  2  4
2 n 0 z  2n 1 8 n 0 4n

b) De la expansión en fracciones parciales en variable u

3 1 1 1 3 1 1 1 3 1 1 1
f      
2 u  2 2 u  4 2u 2 2u 4 2u 2 2u 4
1 1 1 1
u u u u

3   2  1   4 
n n

f    2u  u 


2u n0  u  n 0

2 4 2 4
 1  1  1  1
u u u u

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

270
CAPITULO 5: SERIES DE POTENCIAS

2 u  4 u  4 u  4 u 

3  2 1  4 
n n

  1
f   n 1   n 1   1  3  2n 1  22n 1  n 1
n

2 n 0 u 2 n 0 u 
n 0 
 u

Del cambio de variable

u  z 2


  1
f z    1
n
 3  2n 1  22n 1  , CV: 4  z  2  
n 0  z  2n 1

z2  z  3
110. Desarrollar en serie de Laurent la función f z   3 en
z  3z  2

1  z  2  i  10

Solución: Después de factorizar el denominador, expandimos en fracciones parciales

z2  z  3 1 1
f z    
z  1 z  2 z  1 z 2
2 2

u  z  2 i  z  u 2 i

1  z  2  i  10  1  u  10

Por lo tanto

1 1 1 1
f    
u  2  i  1 u  2  i  2 u  3  i  u i
2 2

1 1 1 1 1 1 1 1
f    
 i
3  i    u i 3  i    u
2 2 2 2
1  u  1 1  u  1   
 u 
 3  i  u  3  i 

MAT 218 – TEXTO OFICIAL

 271
CAPITULO 5: SERIES DE POTENCIAS

 u  1   i 
n n
1 

2 
f  n  1
     
 
3  i n 0  3  i  u n0  u 

u i u i
1   1  1  1
3 i u 3 i u

u  3 i  i  u

u  32  1 02  1
2 2
  u

u  10  1  u  1  u  10

Del cambio de variable

u  z 2 i

n  1 i 
n
 
f z    z  2  i  
n
, CV: 1  z  2  i  10
3  i  z  2  i 
n 2 n 1
n 0 n 0

1
111. Encontrar la serie de Laurent de f z   en 0  z  1  2
z 
2
2
1

Solución: Para la función

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

Después de factorizar el denominador, expandimos en fracciones parciales

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

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

272
CAPITULO 5: SERIES DE POTENCIAS

   
1 1  1 1  1  1  1 1 1 1 
f z       
        
4  z  12 z  1 z  1 z  12  4  z  12 z  1 z  1 z  12 
   

Cambio de variable

u  z 1  z  u 1

0  z 1  2  0 u 2

Por lo tanto

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

   
   
   
11 1 1 1 1  1 1 1 1 1 1 
f   2   2
  2   
4 u u 2 u    4  u u 2  u     
2 
 1  u   1      u  
 2 4 1  2     2  4 1    

     2  

  u  
1  1 1 1   u 
n n
1 
f   2      n  1  
4 u u 2 n0  2  4 n 0  2  
 

u u
u0   1   1
2 2

u
u0  1  0 u 2
2

Del cambio de variable u  z  1

u  z 1

   
  n  3 
n
  1
1  1 1 n
f z      z  1  , CV: 0  z  1  2
4  z  12 z  1 n 0  2n 2  

 
 
 

MAT 218 – TEXTO OFICIAL

 273
CAPITULO 5: SERIES DE POTENCIAS

112. Desarrollar f z  en serie de Laurent en los dominios tipo disco y tipo anillo

z2  z  3
generados alrededor de z 0  2 (solo dos dominios) f z   3
z  3z  2

Solución: Para la función

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

Después de factorizar el denominador, expandimos en fracciones parciales

z2  z  3 1 1
f z    
z  1 z  2 z  1 z 2
2 2

Graficando z 0  2 , los puntos singulares y las regiones generadas

a) Para la región tipo disco

u  z 2  z  u 2  z  2 <1  u 1

Por lo tanto

1 1 1 1
f z     f  
z  1 z 2 u  2  1 u 2 2
2 2

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

274
CAPITULO 5: SERIES DE POTENCIAS

1 1 1 1 1
f    
u  1 u  4 1  u  4 u
2 2
1
4

1   u   1 
n
  n
f  n  1u      1 n  1  2n2  un
n

n 0 4 n0  4  n 0  2 

u u
u  1   1  u 1  1
4 4

u 1  u  4  u 1  u 4

u 1

Del cambio de variable

u  z 2

  1 
f z    1 n  1  2  z  2
n n
2n 2
, CV: z 2 1
n 0  

b) Para la región tipo anillo

 1  1   u 
n n
1 1 1 1 1 1 
f     2 n  1    
 
 
u  1
2
u  4  1
2
4 u u n0  u  4 n0  4 
u2 1   1
4
 u 


  n  11

1 un 
n n
 1    
n n
1 
1 u
f  2
u
n  1 u   4  4     un2  22n2 
 
n 0 n 0 n 0
 

1 u 1 u
 1   1  1  1
u 4 u 4

1  u  u  4  1 u  u 4

1 u 4

MAT 218 – TEXTO OFICIAL

 275
CAPITULO 5: SERIES DE POTENCIAS

Del cambio de variable

u  z 2

 n 
 n  11 1 z  2 
n n

f z       , CV: 1  z  2  4
 
  
z  2
n 2
2 2 n 2
n 0


z i
113. Desarrollar f z   en serie de Laurent en los dominios indicados
 
2
z2  1

a) z  2  5 , b) 1  z  1  i  5

Solución: Expandiendo en fracciones parciales la función dada

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

1 1 1

1 1 1 1 1 1
f z   4  4  2i   
z  i z  i z  i 2
4 z i 4 z  i 2i z  i 2

La función no es analítica en los puntos

z i  z  i

Representando gráficamente las singularidades

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

276
CAPITULO 5: SERIES DE POTENCIAS

a) Representando gráficamente el dominio z 2  5

Se debe desarrollar la serie en potencias de z  2 , realizamos el cambio de variable

u  z 2  z  u 2

Con el cambio la región de convergencia será ahora

z 2  5  u  5

Reemplazando el cambio de variable en la función

1 1 1 1 1 1
f   
4 u  2  i 4 u  2  i 2i u  2  i 2

Factorizando la variable en cada uno de los términos

1 1 1 1 1 1
f   
4u  2  i  4u  2  i  2iu 2  2  i 
2

1   1   1  

 u   u   u 

Por series de Maclaurin, serie geométrica y su derivada

1   2  i  1   2  i  2  i 
n n n
1 
f    

4u n 0  u 
 
  

4u n 0  u 
 
 2iu 2
 n  1 u 
n 0

Estas series serán convergentes cuando sus argumentos en modulo sean menores
que la unidad, intersectando los dominios obtenemos

MAT 218 – TEXTO OFICIAL

 277
CAPITULO 5: SERIES DE POTENCIAS

2i 2i 2i

1  1  1
u u u

5 u  5 u  5 u

El dominio donde la serie es convergente será

u  5

Reescribiendo la serie para las potencias de los números complejos

 
 n   1   n  1 5   1
n

      

5 i 1   1 
f    sin n arctan    n 1    cis n arctan    n 2

n 0  2  2 
  u  2i  2   u

    n  0   


Finalmente, por el cambio de variable u  z  2

n 
  
i    1 
5 sin n arctan  1  1 1 

f z         n  1 cis 

n arctan  

 2  n 2 
n 0 2 
 
  2  z  2n 1 
 
 z  2  

 
CV: z 2  5

b) Representando gráficamente el dominio 1  z  1  i  5 y las singularidades

de la función

Con la función expandida en fracciones parciales

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

278
CAPITULO 5: SERIES DE POTENCIAS

1 1 1 1 1 1
f z     
4 z  i 4 z  i 2i z  i 2

Se debe desarrollar la serie en potencias de z 1 i , realizamos el cambio de

variable

u  z 1i  z  u 1i

Con el cambio la región de convergencia será ahora

1  z 1i  5  1 u  5

Reemplazando el cambio de variable en la función

1 1 1 1 1 1
f   
4 u  1  i  i 4 u  1  i  i 2i u  1  i  i 2

Reduciendo términos

1 1 1 1 1 1
f   
4 u  1  2i 4 u  1 2i u  12

Factorizando convenientemente del primer término la constante y de los siguientes

términos la variable

1 1 1 1 1 1
f   
4 1  2i  u 4u 1 2iu 
2

2
1 1 1  1 
1  2i u  u 

Por series de Maclaurin, serie geométrica y su derivada

   1  1
n n n
1  u   1 1
  
f   
4 1  2i  n  0  1  2i  4u
  u   2iu 2  n  1 u 
n 0 n 0

Estas series serán convergentes cuando sus argumentos en modulo sean menores
que la unidad, intersectando los dominios obtenemos

u 1 1
 1   1   1
1  2i u u

MAT 218 – TEXTO OFICIAL

 279
CAPITULO 5: SERIES DE POTENCIAS

u  5  1 u  1 u

El dominio donde la serie es convergente será

1 u  5

Reescribiendo la serie para la potencia del número complejo

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

n n n
n

f       u n 2
4 n 0 1  2i n 1 4 n 0 u n 1 2i n 0

1 u 1 n  11

n n n
n
1  1 
1 
f      
cis n  1 arctan 2
4 n 0 n 1
4 u n 1
2i u n 2
5 n 0 n 0
 

Finalmente, por el cambio de variable u  z  1  i

1 z  1  i  1 n  11

n n n n
1  1 
1 
f z        
4 n 0
cis n  1 arctan 2
4 z  1  i  2i z  1  i 
n 1 n 1 n 2
5 n 0 n 0
 

Reduciendo a una sola sumatoria

 
     
n
 z  1  i 1 n  1
f z    1  
n
  n 2 
n 0

 4 5 cis n  1 arctan 2 4 z  1  i 
n 1 n 1
2i z  1  i  
 
 
 

CV: 1  z 1i  5

114. Determinar el valor de a   , para que el desarrollo en serie de Laurent

z
de la función f z   , sea válido en 0  z  2  1
z  a z  2
Solución: Dibujando la región dada

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

280
CAPITULO 5: SERIES DE POTENCIAS

Expandiendo en fracciones parciales la función

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

Se debe desarrollar la serie en potencias de z  2 , realizamos el cambio de variable

u  z 2  z  u 2

Con el cambio la región de convergencia será ahora

0  z 2 1  0  u 1

Reemplazando el cambio de variable en la función

a 1 2 1
f  
a  2 u  2 a a  2 u  2  2

Reduciendo términos

a 1 2 1
f  
a  2 u  2 a a  2 u

Factorizando convenientemente del primer término la constante

a 1 2 1
f  
 
a  2 1  u  a 2u
2

 a  2 

Por series de Maclaurin, serie geométrica

MAT 218 – TEXTO OFICIAL

 281
CAPITULO 5: SERIES DE POTENCIAS

 u 
n
a 
2 1
f    
a  2   a  2 u
a  2 n0
2

Esta serie será convergente cuando el argumento en modulo del primer término sea
menor que la unidad y el denominador del segundo término sea diferente de cero

u
1  u 0
a 2

El dominio donde la serie es convergente será

0  u a 2

Comparando con el dominio dado

0  u 1

Concluyendo

a 2 1  a  1

Pero como a es natural

a  1, a  

114. Desarrollar en serie de Laurent en los anillos generados alrededor del punto

z 2  9z  4
z 0  i la función f z  
z 3  3z  2

Solución: Para la función

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

Después de factorizar el denominador, expandimos en fracciones parciales

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA