48

CAPITULO 4: INTEGRACION COMPLEJA

  tan z  

z  1  sin  
 
2  z  2   1 
3
u
C 3  1  dz  2i   lim
 1     u 0 sin u 
3 
z  
 
2   
 2 

  tan z 
z  1 
 2  z 3 1 1
  
dz  2i
1
 16i (4)
z  1 
C3

 2  8

Sumando las tres integrales

  tan z    tan z 

z  1  z  1 
 
2  z 3 tan z   
2  z 3
I 
C1  1 dz  C2 z 3 dz  C3  1 dz
z   z  
 2   2 

I  16i  0  16i

I 0

eaz
90. Calcular la integral I  C z n 1
dz en la curva C z  1 ; luego obtener el

e a cos  cos a sin   n  d 

2
valor de I   0

Solución:

Para la integral en la curva C

eaz
I   C z n 1
dz

El argumento

eaz
f z   n 1
z

2Ki
 49
CAPITULO 4: INTEGRACION COMPLEJA

Es una función analítica excepto en z 0  0 , aplicamos la generalización de la

formula integral de Cauchy

f z  z 
n 
2if
 dz 
0

z  z  n!
C n 1
0

n 
2i e az 
eaz   z

0
I  dz  0

C z n 1 n!

2ia n e az 
e az   z 0 0
I  
C z n 1
dz 
n!

eaz 2ia ne 0
I 
 dz 
C z n 1 n!

eaz 2a n
C z n 1 dz 
n!
i

Parametrizando la curva C

z  e i  dz  ie i d 

JULIO CESAR UBERHUAGA CONDE

50
CAPITULO 4: INTEGRACION COMPLEJA

El parámetro para trazar la curva será

0    2

Reemplazando en la integral hallada

eaz 2a n
C z n 1 dz 
n!
i

i
2 e ae 2 a n
 ie id   i
e  n!
0 n 1
i

i
2 e ae 2a n
i i n 1
e id   i
0
e n!
i
2 eae 2a n
i e i
d   i
0 e ine i n!
i
2 eae 2ia n
i d   i
0 e in n!

Aplicando la fórmula de Euler

2 2a n
i e a cos ia sin  in
e d  i
0 n!
2 2a n
i  ea cos ia sin ind  i
0 n!


2 a cos i a sin n
 2an
i e d  i
0 n!
2
a cos  ia sin n 2an
i e e d  i
0 n!

Aplicando nuevamente la fórmula de Euler

cos a sin   n   i sin a sin   n d   2a i

2 n
i e a cos 
0   n!

2a n
i  ea cos  cos a sin   nd    ea cos  sin a sin   nd  
2 2
i
0 0 n!

2Ki
 51
CAPITULO 4: INTEGRACION COMPLEJA

2a n
 ea cos  sin a sin   nd   i  ea cos  cos a sin   nd  
2 2
i
0 0 n!

Igualando parte real y parte imaginaria

 ea cos  sin a sin   n  d   0

2

2an
ea cos  cos a sin   nd 
2


0 n!

Por lo tanto

2an
cos a sin   nd 
2

 ea cos 
0 n!

8 Logz
91. Calcular en la curva C z  1  , la integral I   dz
9 C 1
z z 
2

Solución: Trazando la curva C

f z  Log z
La función  argumento de la integral no es analítica en
1 1
z z 
2
z z 
2

2 2

JULIO CESAR UBERHUAGA CONDE

52
CAPITULO 4: INTEGRACION COMPLEJA

1
z2  z   0
2

1 1 1 1
z1   i  z2   i
2 2 2 2

8
Además, como el radio es la curva no pasa por 0 donde f z   Logz no es
9
analítica, por lo tanto, es analítica es analítica a lo largo del contorno C así como su
interior, reescribiendo la integral

Log z
I     
dz
z  1  i 1  z  1  i 1 
C

 2 2  2 2 

Usamos la formula integral de Cauchy para dominios múltiplemente conexos e

integrando en las nuevas curvas C1 y C2

Logz Logz
1 1 1 1
z  i z  i
C1  21 12 dz  C2  12 21  dz
I 
z   i  z   i 
 2 2   2 2 

2Ki
 53
CAPITULO 4: INTEGRACION COMPLEJA

Logz Logz
I  2i  2i
1 1 1 1
z  i z  i
2 2 1 1
z  i 2 2 1 1
z  i
2 2 2 2

Evaluando

1 1 1 1
Log   i  Log   i 
 2 2   2 2 
I  2i  2i
1 1 1 1 1 1 1 1
i  i i  i
2 2 2 2 2 2 2 2
1 1 1 1
Log   i  Log   i 
 2 2   2 2 
I  2i  2 i
i i

 1 1 1 1
I  2 Log   i   Log   i 
 2 2 2 2

  
  1 
2
 
2
  1 
2
 1 
2

I  2   Log     1   i    Log       i  
  2   2  4   2   2  4 
  

 
 1     1   1 
2 2 2 2
     1   i   Log       i  
I  2  Log  2   2   2   2 
 4 4
 

  
I  2  i  i 
 4 4 


I   2i

cos 2 z 
92. Calcular I    
n 1
dz , ( n   ) en la curva C : z 
8
1
z   
C

 8 

Solución:

Representando la curva C

JULIO CESAR UBERHUAGA CONDE

54
CAPITULO 4: INTEGRACION COMPLEJA

Cuando el denominador del argumento de la integral sea cero la función no será

analítica

 
z     0

  z
 8  8

Representando en el plano complejo con C

Por la formula integral de Cauchy

f z  z 
n 
2if
 dz 
0

z  z  n!
C n 1
0

2Ki
 55
CAPITULO 4: INTEGRACION COMPLEJA

cos 2 z 2i  2  n 
I  C  
n 1
dz 
n ! 
cos z    
 z 0  
(1)

z   8

 
8 

Para f z  aplicamos identidades trigonométricas

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

Hallando la derivada n-esima

2 2  
f ' z    sin 2z   cos 2z  
2 2  2 

22 22  2 
f '' z    cos 2z   cos 2z  
2 2  2 

23 23  3  
f ''' z   sin 2z   cos 2z  
2 2  2 

2n  n  
f
n 
z   2
cos 2z  
2 


Evaluando en z 0  
8

n      n           
f   
2n
cos     2 n 1  cos    cos  n    sin    sin  n  
 8  2 2   
 4   2  
 4  
 2 
4  

n    
  n    n  
f    2
n 2
2  cos    sin   (2)
 2 
 8    2 
 

Reemplazando (2) en (1)

 n    
2i 2n 2
2  cos    sin n  
  2  i2n 2    n  
1
  2   
I 
cos2 z   cos    sin  n  
C  
n 1
dz 
n! n !   2   2 

z   
 
8 

JULIO CESAR UBERHUAGA CONDE

56
CAPITULO 4: INTEGRACION COMPLEJA

Analizando para el valor de n

 n  1 n


 2 2  i  1 2
 
 , n par
I   n!
 n  21 n 1

 2  i  1 2
 , n impar
 n!

9. Teoremas varios
Desigualdad de Cauchy

Si f z  es analítica en un dominio D limitado por una curva C : z  z0 r

entonces

M
f
n 
z 
0

rn
n!; n  0, 1, 2, 

Donde M  0 es una constante tal que f z   M en C , es decir M es una cota

superior de f z  en C .

Teorema del módulo máximo

Si f z  es una función que no es una constante, es analítica en un dominio D

limitado por una curva C ; si f z  es acotada en D el máximo valor de f z 

en D debe corresponder a un punto en la curva C .

Teorema del módulo mínimo

Si f z  una función que no es una constante y f z   0 , es analítica en un dominio

D limitado por una curva C ; si f z  es acotada en D el mínimo valor de f z 

en D debe corresponder a un punto en la curva C .

Teorema del valor medio de Gauss

2Ki
 57
CAPITULO 4: INTEGRACION COMPLEJA

Si f z  es analítica en un dominio simplemente conexo D, sea un círculo cualquiera

C1 : z  z0  r en D . El valor que toma f z  en el círculo considerado es igual
a la media de los valores que toma a lo largo de su circunferencia, es decir

f z 0  
1 2
2 0

f z 0  rei d  
Teorema de Liouville

Si f z  es una función entera y f z  es acotada en el plano Z entonces f z  es

una constante.

Teorema de Morera

Si f z  es continua en un dominio D simplemente conexo y además  toda curva

C  D se cumple C
f z d z  0 , entonces f z  es analítica en D .

Teorema fundamental del Algebra

Sea P z   0 ; si P es un polinomio de grado  1 entonces la ecuación P z   0

tiene por lo menos una solución compleja.

e cos  cos sin  d 


93. Calcular I   0

Solución: Para la integral dada, calcularemos en un periodo

e cos  cos sin  d 


I1  

Construimos una integral con la función seno

e cos  sin sin  d 


I2   

Sumando de forma adecuada

e cos  cos sin  d   i  e cos  sin sin  d 

 
I 1  iI 2    

JULIO CESAR UBERHUAGA CONDE

58
CAPITULO 4: INTEGRACION COMPLEJA

e cos  cos sin    ie cos  sin sin   d 


I 1  iI 2    

     
e cos  cos sin   i sin sin   d 


I 1  iI 2   


Por la fórmula de Euler


I 1  iI 2   
e cos e i sin d 


I 1  iI 2   
e cos  i sin d 

Nuevamente fórmula de Euler


i
I 1  iI 2  ee d 


Por el teorema del valor medio de Gauss f z 0   

1 

2 
 
f z0  rei d

 0e  i

I 1  iI 2   
e d

I1  iI 2  2ez
z 0

I 1  iI 2  2

Igualando los números complejos

e cos  cos sin  d   i  e cos  sin sin  d   2

 

 

Obtenemos

e cos  cos sin  d   2


I1   

Ya que la función argumento de la integral es una función par

e cos  cos sin  d 



I 
I1

 

2
2 2 2

2Ki
 59
CAPITULO 4: INTEGRACION COMPLEJA

2
e cos  cos sin d 


0 2

e cos  cos sin  d   



 0

2 1  a cos 
94. Calcular I   d  , si a   tal que a  1
0 1  2a cos   a 2

Solución: En la curva C mostrada

Calculamos la integral

1
I 
 dz
C z a

El argumento de la integral es una función que no es analítica en el punto

z a  0  z  a

Ya que a  1 , el punto z  a se encuentra dentro de la curva C

JULIO CESAR UBERHUAGA CONDE

60
CAPITULO 4: INTEGRACION COMPLEJA

Por el teorema integral de Cauchy

1
 C z a
dz  2i

Parametrizando la circunferencia según

z  e i  dz  ie i d  ;   0, 2 

Reemplazando en la integral

2 1
 0 e a
i
ieid   2i

Por Euler

2  sin   i cos 
 0 cos   i sin   a
 2i

Ordenando el denominador

2  sin   i cos 
 0 cos   a  i sin 
d   2i

Multiplicando y dividiendo por el conjugado del denominador

  sin   i cos   cos   a  i sin  

 
2

 0

 cos   a  i sin   cos   a  i sin   d   2i

2Ki
 61
CAPITULO 4: INTEGRACION COMPLEJA

Multiplicando el denominador y por propiedad del conjugado en el denominador

 
2   sin  cos   a sin   i sin 2   i cos2   ia cos   sin  cos  
d   2i
 


cos   a   sin  
0 2 2
 

Reduciendo términos

2 a sin   i 1  a cos   2 a sin   i 1  a cos  

 0 cos 2   2a cos   a 2  sin 2 
d   0 1  2a cos   a 2
d   2i

En el argumento de la integral, separando la parte real y la parte imaginaria

2  a sin  1  a cos  
 
 1  2a cos   a 2
 i
1  2a cos   a
 d   2 i
2 
0
 

Distribuyendo la operación integral a ambos sumandos

2 a sin  2 1  a cos 
 0 1  2a cos   a 2
d   i 0 1  2a cos   a 2
d   2i

Finalmente igualando números complejos obtenemos

2 a sin 
 0 1  2a cos   a 2
d  0

2 1  a cos 
 0 1  2a cos   a 2
d   2

Por lo tanto, la integral pedida será

2 1  a cos 
 0 1  2a cos   a 2
d   2

 z  1
95. Calcular I   4 sec 2   dz en la curva C z 1 
C  2  2

Solución: Graficando la curva de integración

JULIO CESAR UBERHUAGA CONDE

62
CAPITULO 4: INTEGRACION COMPLEJA

Modificando el argumento de la integral

 
2  z  4
I  C 4 sec  dz 
 2 
C  
2  z 
dz
cos  
 2 

El argumento de la integral es una función que no es analítica en los puntos donde

el denominador se anula

 z   z 
cos 2    0  cos    0
 2   2 

Por definición
 z   z 
i   i  
 2   2 
e e
0  e iz   1
2

Aplicando logaritmos

i z  log  1  i  z  Log 1  i   2k 

Simplificando

z  1  2k , k  0,  1, 

El único punto que se encuentra dentro de la región encerrada por la curva C esta
dado para k  0 y es z  1 , gráficamente

2Ki
 63
CAPITULO 4: INTEGRACION COMPLEJA

Por lo tanto, la integral se acondiciona para aplicar la formula integral de Cauchy

4 z  1
2

 z 
cos2  
4 z  1
2
4  2 
I 
 dz  
 dz  
C1 dz
   
2  z  2  z  z  1
2

z  1 cos  2 
C C1 2
cos  
 2   

Por lo tanto

4 z  1
2

(1)
 z 
cos2  
2i 4 z  1
2
 2 
I   dz 
 z 
z  1 1!
2
cos2  
C

 2 
z 1

Para evaluar después de derivar deben aplicarse límite

      
 2 z  1 cos2  z   z  1  cos  z  sin  z 
2

d 4 z  1  2   2   2 

2

I  2i lim  8i lim  

z 1 dz  z   
4  z 
cos2  

 
z 1

 cos  
 
 2    2
  

Simplificando

JULIO CESAR UBERHUAGA CONDE

64
CAPITULO 4: INTEGRACION COMPLEJA

 z   z 
2 z  1 cos    z  1  sin  
2

 2   2 
I  8i lim
 z 
cos3  
z 1

 2 

Sea el cambio de variable para resolver el límite

u  z 1  z  u 1

z 1  u 0
Reemplazando en el límite y aplicando rotación en las funciones trigonométricas

 u    u    u   u 
2u cos     u 2 sin    2u sin    u2 cos  
 2 2   2 2   2   2 
I  8i lim  8i lim

3  u    u 
 sin3  
u0 u0
cos   
 2 2   2 

  
3

Multiplicando y dividiendo el factor  u  para obtener el límite conocido

 2 

  
3  u   u 
 u    
 2u sin    u  cos  
2
 2  2  2 
I  8i lim  
u 0  
3  u     
3

sin     u  
 2    
  2 

Evaluando con límite

 x 
3

lim    1
 sin x 
x 0 

Obtenemos

 u   u 
2sin    u cos  
64i  2   2 
I  2 lim
 u0 u2

Desarrollando en series las funciones trigonométricas

2Ki
 65
CAPITULO 4: INTEGRACION COMPLEJA

   
 u 1  u  1  u  1  u  1  u 
3 5 2 4
  
2           u 1        
 2 3!  2  5!  2    2!  2  4!  2  
64i    
I  2 lim
 u0 u 2

Multiplicando los factores

    
3
 
5 
2  u  2  u   
3 5
   1 u 1 u 
u          u    
 3!  2  5!  2  
  2! 2 2
4! 2 4

64i 
I  2 lim
 u0 u2

Multiplicando el signo en el segundo factor del numerador

1 u  1 u 
3 5
2  u  2  u 
3 5

u          u   
64i 3!  2  5!  2  2! 22 4! 24
I  2 lim
 u0 u2

Simplificando el factor u

1 u 1 u
3 5
2  u  2  u 
3 5

         
64i 3!  2  5!  2  2! 22 4! 24
I  2 lim
 u0 u2

Factorizando el término u 2 del numerador

 
1    u 1   u
3 5
 2    2    3
3 5 3

u    u    u   
2
  
 3!  2  5!  2  2! 22 4! 24 
64i  
I  2 lim
 u0 u2

Simpificando

 
1   u 1   u
3 5
 2    2    3
3 5 3
64i 
I  2 lim    u    u      
 u  0  3 !  2  5 !  2  2! 2 2
4! 2 4 
 

Evaluando el límite

JULIO CESAR UBERHUAGA CONDE

66
CAPITULO 4: INTEGRACION COMPLEJA

64i
I 0
2

Finalmente

I 0

e iz
96. Calcular la integral I   dz
 
C 2
z2  1

Donde C  C1 C2 tal que C1 es la curva z i  1 recorrida en sentido

positivo y C2 es la curva z  i  1 recorrida en sentido negativo.

Solución:

Analizando donde la función no es analítica

z 
2
2
1  0

Los valores son

2Ki
 67
CAPITULO 4: INTEGRACION COMPLEJA

z i  z i

Representando en el plano

Analizando la integral para aplicar el integral de Cauchy

e iz e iz e iz
I   dz   dz   dz
z  z  z 
C 2 C1 2 C2 2
2
1 2
1 2
1

e iz e iz e iz
I   dz   dz  
 dz
     
C 2 C1 2 C 2 2
z2  1 z2  1 z2  1

eiz eiz
z  i  z  i 
2 2

I 
 dz  
 dz
z  i  z  i 
C1 2 C2 2

2 i d e iz 2 i d e iz
I  
1! dz z  i 2 1! dz z  i 2
z i z i

JULIO CESAR UBERHUAGA CONDE

68
CAPITULO 4: INTEGRACION COMPLEJA

ie iz z  i   e iz 2 z  i  ie iz z  i   e iz 2 z  i 
2 2

I  2i  2i
z  i  z  i 
4 4

z i z i

ie1 4  e1 4i  ie 4  e4i 

I  2i    2i 


 16  16 

2i 2e1
I 
2

Finalmente

I e1

3z  1
97. Calcular la integral I   dz
z z  2
C 2

Donde C es la curva mostrada a continuación

Solución: Graficando la curva de integración

2Ki
 69
CAPITULO 4: INTEGRACION COMPLEJA

Analizando los puntos donde la función no es analítica

z z  2  0
2

z 0  z 2

Representando en el plano

Analizando la integral para aplicar el integral de Cauchy

3z  1
3z  1
 
2
3z  1 z  2
I 
C C1 z 2 dz  C2 z dz
dz  
z z  2 z  2
2

2 i d  3z  1  1 2i 3z  3z  1 1
I     2 i    2 i 
1! dz  z  z 2 4 1! z2 4
z 2

JULIO CESAR UBERHUAGA CONDE

70
CAPITULO 4: INTEGRACION COMPLEJA

1 1 i i
I  2i   2i    
4 4 2 2

Finalmente

I  i

1    1

98. Calcular la integral I  C z5
cos  , en la curva
 z  1dz z 
2

Solución: Las singularidades de la función son

z  0, z   1

Graficando la curva

Aplicando la formula integral de Cauchy generalizada

  
cos  
1     z  1 
I   cos   dz   dz
C z 5  z  1  C z 4 1

2i d 4   
I  cos  
4 ! dz 4  z  1 
z o
0

Sea

  
g z   cos  
 z  1 

2Ki
 71
CAPITULO 4: INTEGRACION COMPLEJA

Aplicando cambio de variable


u
z 1

Hallando y evaluando sus derivadas hasta cuarto orden


u'  u ' 0  
z  1
2

2
u ''   u '' 0  2
z  1
3

6
u '''   u ''' 0  6
z  1
4

24 
u ''''   u '''' 0  24 
z  1
5

Para la función g z  con el cambio

g  cos u   g '   sin u  u '

g ''   cos u u '  sin u  u ''

2

g '''  sin u u '  3cos uu ' u '' sin uu '''
3

g ''''  cos u  u ' u '   sin u  3 u ' u '' 3 sin u  u ' u ' u '' 3 cos u  u '' u '' 
3 2

  3 cos u  u ' u ''' cos u  u ' u ''' sin u  u ''''

Evaluando en z 0  0 , implica que u0  

g '''' 0    3 12  4 16

4 2

g '''' 0   36 2   4

Reemplazando en la integral

JULIO CESAR UBERHUAGA CONDE

72
CAPITULO 4: INTEGRACION COMPLEJA

2i  3 36   2  
I 
4!

36   
2 4
I 
12
 i

Simplificando

I 

 3 36   2 i
12

1    1
99. Calcular la integral I   cos   dz , en la curva z 
C z 3
 z  1  3

Solución: Las singularidades de la función son

z  0, z   1

Graficando la curva

Aplicando la formula integral de Cauchy generalizada

  
cos  
1     z  1  2 i d 2   
I   cos   dz   dz  cos  
C z 3
 z  1  C z 2 1
2 ! dz 2
 z  1  z
o 0

Sea

  
g z   cos  
 z  1 

Aplicando cambio de variable


u
z 1

2Ki
 73
CAPITULO 4: INTEGRACION COMPLEJA

Hallando y evaluando sus derivadas hasta segundo orden


u'  u ' 0  
z  1
2

2
u ''   u '' 0  2
z  1
3

Para la función g z  con el cambio

g  cos u   g '   sin u  u '

g ''   cos u u '  sin u  u ''

2

Evaluando en z 0  0 , implica que u0  

g ''   cos u '  sin  u '' g ''  u '    2
2 2 2


Reemplazando en la integral

2i 2
I  
2!

Simplificando

I   3i

JULIO CESAR UBERHUAGA CONDE