19

CAPITULO 4: INTEGRACION COMPLEJA

     
  i   P  i    i  Q  dxdy

C
Fdz  i 
R 
 x y   x y  

 
  i  P  iQ dxdy
 Fdz  i 
C R x y 


 C
Fdz  i  2
R z
Fdxdy

Finalmente

F
 C
Fdz  2i 
R z
dA

5. Independencia de la trayectoria
Sean C1 y C2 curvas del plano Z que unen los puntos z1 y z2 ; si f z  es analítica
en un dominio D que contiene a C1 y C2 como se muestra en la figura.

Podemos tomar a la curva C como la unión de la curva C1 recorrida positivamente

y la curva C2 recorrida negativamente

C  C1 C2

JULIO CESAR UBERHUAGA CONDE

20
CAPITULO 4: INTEGRACION COMPLEJA

Aplicando el teorema de Cauchy-Goursat, la integral de f z  que es analítica en D

que contiene a C será

 f z dz  0
C

 f z dz  0
C 1 C 2

Aplicando propiedades de integrales

 f z dz   f z dz  0
C 1 C 2

 f z dz   f z dz  0
C 1 C 2

 f z dz   f z dz
C1 C2

Esta propiedad expresa

Sea f z  analítica en un dominio simplemente conexo D y sean z1 , z2 dos puntos

f z dz no
z2
en D , entonces si usamos curvas contenidas en D el valor de z1

dependerá de la curva utilizada para ir de z1 a z2 .

2Ki
 21
CAPITULO 4: INTEGRACION COMPLEJA

6. Teorema de Cauchy-Goursat para dominios múltiplemente

conexos
Para el siguiente dominio múltiplemente conexo D1

El dominio D1 múltiplemente conexo se desdobla en dos partes simplemente conexas

mediante los cortes AB y DE, en la siguiente figura en la izquierda se tiene el dominio
recorrido AGEDHBA de modo que el dominio cortado queda a la izquierda de la
trayectoria, en la derecha se tiene el dominio recorrido ABCDEFA de modo que el
dominio cortado queda también a la izquierda de la trayectoria.

JULIO CESAR UBERHUAGA CONDE

22
CAPITULO 4: INTEGRACION COMPLEJA

Aplicando el teorema de Cahuchy-Goursat, en los dominios simplemente conexos

 f z dz  0
ABCDEFA

 f z dz  0
AGEDHBA

Sumando las integrales

 f z dz   f z dz  0
ABCDEFA AGEDHBA

Dividiendo las integrales en las curvas señaladas

 
 f z dz        
  f z dz   f z dz   f z dz 
 AB BCD DE EFA 
 
   f z dz   f z dz   f z dz   f z dz   0
AGE ED DHB BA 

Agrupando de forma conveniente

   
 f z dz  f z dz   f z dz  f z dz  
             
   DE
AB BA  ED  (1)

  
 
  f z dz   f z dz     f z dz   f z dz   0
  

AGE   
 EFA  BCD DHB 

Se cumplen las siguientes propiedades

 f z dz   f z dz  0 (2)

AB BA

 f z dz   f z dz  0 (3)

DE ED

 f z dz   f z dz   f z dz C1

(4)
AGE EFA

 f z dz   f z dz   f z dz C2

(5)
BCD DHB

Reemplazando (2), (3), (4), (5) en (1)

2Ki
 23
CAPITULO 4: INTEGRACION COMPLEJA

0  0   f z dz    f z dz   0

C1 C2

 f z dz   f z dz  0
C1 C2

Por propiedad de integrales

 f z dz   f z dz  0
C1 C2

 f z dz   f z dz
C1 C2

El resultado hallado se expresa de la siguiente forma

Teorema de deformación de contornos: Consideremos dos contornos cerrados

simples C1 y C 2 tales que todos los puntos de C 2 quedan en el interior de C1 .
Si una función f z  es analítica en C1 , en C 2 y en todos los puntos del dominio
doblemente conexo D1 delimitado por C1 y C 2 entonces

 f z dz   f z dz
C1 C2

75. Sea C el cuadrado de vértices z  0 , z  3i , z  3 , z  3  3i hallar la

integral

 2
 z  1  i   z  1  i  dz
1
I 
C  

Solución:

Primera forma POR INTEGRALES DE LINEA: La curva es la que se muestra en

la figura, la que dividiremos en cuatro curvas C 1 , C 2 , C 3 y C 4

JULIO CESAR UBERHUAGA CONDE

24
CAPITULO 4: INTEGRACION COMPLEJA

C  C1  C2  C 3  C 4

Para C 1 :


 z  t
x  t z  x  iy  t  i 0
 t : de 0 a 3
    

y0 dz  dt
 
 2
C1  
1
IC   z  1  i  z  1  i  dz
1


 2
t  1  i   t  1  i  dt
3


1
IC 
1 0  

Desarrollando el cuadrado

 
 1 2
 2  t  1  i   dt
3
IC   
 
 t  1  i 
1 0 2


Integrando

3
 3
 1 t  1  i 
IC    2t  
1  t  1  i  3 
  0

 3  3

IC

 
1
23 
2  i  
  
1
 20 
1  i  

1  2  i  3    1  i  3 
   

51 27
IC  i
1
10 10

2Ki
 25
CAPITULO 4: INTEGRACION COMPLEJA

Para C 2 :


 z  3  it
x  3 z  x  iy  3  it  t : de 0 a 3
    

y t dz  idt
 
 2
C 2  
1
IC   z  1  i  z  1  i  dz
2


 2
 
3


1
IC  3  it  1  i  3  it  1  i  idt
2 0  

3 2
I C  i  it  2  i   it  2  i  dt
1

2 0  

Desarrollando el cuadrado

 
 1 2
 2  it  2  i   dt
3
IC  i  
 
  
2
 
0
it 2 i
2


Integrando

3
 3
 1 it  2  i  
IC  i   2t  
2  i it  2  i  3i 
  0

 3  3

IC

 i 
1
23 
2  2i   
  i 
1
20 
2  i 

2  i 2  2i  3i   i 2  i  3i 
   

117 309
IC   i
2
20 20

Para C 3 :


 z  t  i 3
x  t z  x  iy  t  i 3  t : de 3 a 0
    

y3 dz  dt
 
 2
C 3  
1
IC  z  1  i  z  1  i  dz
3 

JULIO CESAR UBERHUAGA CONDE

26
CAPITULO 4: INTEGRACION COMPLEJA

 2
 
0


1
IC  t  3i  1  i  t  3i  1  i  dt
3 3  

 2
t  1  2i   t  1  2i  dt
0


1
IC 
3 3  

Desarrollando el cuadrado

 
 1 2
 2  t  1  2i   dt
0
IC   
 
 t  1  2i 
3 3 2


Integrando

0
 3
 1 t  1  2i  
IC    2t  
3  t  1  2i  3 
  3

 3  3
 1  1  2i    1 2  2i  
IC    20      23  
3   1  2i  3   2  2i  3 
   

69 117
IC  i
3
20 20

Para C 4 :


 z  it
x  0 z  x  iy  0  it
 t : de 3 a 0
    

y t dz  idt
 
 2
  
1
IC  z  1  i  z  1  i  dz
4 C4  

 2
it  1  i   it  1  i  idt
0


1
IC 
4 3  

Desarrollando el cuadrado

 
 1 2
 2  it  1  i   idt
0
IC   
 
 it  1  i 
4 3 2


Integrando

2Ki
 27
CAPITULO 4: INTEGRACION COMPLEJA

0
 3
 1 it  1  i  
IC  i   2t  
4  i it  1  i  3i 
  3

 3  3
 1 1  i    1  1  2i  
IC  i  20    i  23  
4  i  1  i  3i   i  1  2i  3i 
   

27 69
IC   i
4
10 10

Sumando las integrales

I  IC  IC  IC  IC
1 2 3 4

 51 27   117 309   69 117   27 69 

I    i    i     i     i 
10 10   20 20   20 20   10 10 

102  117  69  54  54  309  117  138

I  i
20 20

I  0  i0

I 0

Segunda forma POR EL TEOREMA DE CAUCHY-GOURSAT: Desarrollamos el

cuadrado del argumento de la integral

 2
 z  1  i   z  1  i  dz
1
I 
C  

 
 1 2
I 
C   2  z  1  i   dz

 z  1  i 
2


Por propiedades de integrales, se distribuye la operación integral

1
I   dz   2dz   z  1  i dz
z  1  i 
C 2 C C

JULIO CESAR UBERHUAGA CONDE

28
CAPITULO 4: INTEGRACION COMPLEJA

En las integrales del segundo y tercer término, se observa que los argumentos de las
integrales son funciones enteras, aplicando el teorema de Cauchy-Goursat

1
 z  1  i dz
0 0
I   dz   2dz 
z  1  i 
C 2 C C

1
I   dz
z  1  i 
C 2

Para la integral restante que no es analítica en 1+i usamos la curva C 1 una

circunferencia centrada en 1+i de radio 0.5 mostrada a continuación aplicando el
teorema de Cauchy-Goursat para dominios múltiplemente conexos

z  1  i  0.5ei  dz  0.5ie id   0    2

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

2 1
I   0.5ie id 
0.5e 
0 2
i

2
I  2i  e  i d 
0

2
e i 
I  2i
i 0

2Ki
 29
CAPITULO 4: INTEGRACION COMPLEJA


I  2 e i 2   e 0 
I   2 1  1

I 0

76. Calcular la integral

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

2
I   0

Solución:

Sea la integral

 f z dz
C

Sea

f z   eiz , para un entero n  0

n

En la integral


C
e dz
iz n

 e
iz n
dz
C

Aplicando el teorema de Cauchy-Goursat en la curva C

JULIO CESAR UBERHUAGA CONDE

30
CAPITULO 4: INTEGRACION COMPLEJA

 e dz  0
iz n
C

Parametrizando la curva C

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

El parámetro para trazar la curva será

0    2

Reemplazando en la integral

 e iz dz  0
n

 
n
2 i e i 
 0
e ie id   0

2


in 
eie ieid   0
0

Aplicando la fórmula de Euler

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

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

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

2 icos n 
i  e sin ne d  0
0

Aplicando nuevamente la fórmula de Euler

i  e sin n cos   cos n   i sin   cos n  d   0

2

0  

e sin n cos   cos n   ie sin n sin   cos n d   0

2
i  
0

 e sin n sin   cos n d   i  e sin n cos   cos n d   0

2 2

0 0

2Ki
 31
CAPITULO 4: INTEGRACION COMPLEJA

 e sin n sin   cos n d   i  e sin n cos   cos n  d   0  i 0

2 2

0 0

Igualando parte real y parte imaginaria

 e sin n sin   cos n d   0

2

e sin n cos   cos n d   0

2


0

Por lo tanto

e sin n cos   cos n d   0

2


0

7. Integración de funciones que son derivadas de funciones

analíticas
dF
Sea F z  una función analítica en cierto dominio D . Supongamos que  f z 
dz
f z dz integrada a lo largo de un arco suave
z2
en D . Consideremos la expresión z1

C perteneciente a D y que va de z 1 a z 2 . Sea la parametrizacion de la curva C de

dz
la forma z t   x t   iy t  , donde t1  t  t2 y que existe en dicho intervalo.
dt

Tomando en cuenta que z t1   z 1 y z t2   z 2 , integramos

dz
f z dz  f z t  dt
z2 t2

 z1  t1   dt

dF
Reemplazando  f z 
dz

dF dz
f z dz 
z2 t2

 z1  t1 dz dt
dt

Por la regla de la cadena en el argumento de la integral

dF
f z dz 
z2 t2

 z1  t1 dt
dt

JULIO CESAR UBERHUAGA CONDE

32
CAPITULO 4: INTEGRACION COMPLEJA

El argumento de la integral del segundo miembro de la ecuación es una función

compleja de variable real t

f z dz 
z2 t2

z1 t1
dF

f z dz  F z t2   F z t 

z2

z1    1 

f z dz  F z 2   F z 1 
z2

 z1

Resumiendo

Sea F z  una función analítica en un dominio D . Entonces sí z 1 y z 2 son puntos

en D :

f z dz  F z 2   F z 1 
z2

 z1

Donde la integración se puede efectuar a lo largo de cualquier contorno en D que

vaya de z 1 a z 2

Sea w una variable (muda) compleja y sea f w  una función analítica en un dominio
simplemente conexo D del plano Z . Sean a y z puntos en D , se cumple el teorema
fundamental del cálculo de funciones analíticas

Si f w  es analítica en un dominio simplemente conexo D del plano Z entonces

f w dw integrada a lo largo de cualquier contorno que define

z
la expresión  a

una función analítica, satisface la ecuación:

d
 f w dw  f z 
z

dz a

Donde la integración se puede efectuar a lo largo de cualquier contorno en D que

vaya de a hasta z

2Ki
 33
CAPITULO 4: INTEGRACION COMPLEJA

77. Evaluar la siguiente integral a lo largo de la curva y 2  x

93i
I   1i
e z cos zdz

Solución:

Las funciones g z   e z y h z   cos z son enteras, al ser f z   e z cos z el

argumento de la integral una función analítica en todo el plano Z , se puede hallar

la “primitiva” por partes y aplicar la fórmula de Newton-Leibniz independiente del
camino de integración

Sean


 du  e zdz
u  e
z

  

dv  cos zdz v  sin z

 

En la integral

 
93i 93i
I  e z sin z  e z sin zdz
1i 1i

Nuevamente por partes en la integral del segundo termino


 du  e zdz
u  e
z

  

dv  sin zdz v   cos z

 

En la integral

 
   
9 3i 9 3 i 9 3 i
I  e z sin z   e z cos z  e z cos zdz 
1i  1i 1i 

   
93i 93i 93i
I  e z sin z  e z cos z  e z cos zdz
1i 1i 1i

   
93i 93i
I  e z sin z  e z cos z I
1i 1i

   
93i 93i
2I  e z sin z  e z cos z
1i 1i

JULIO CESAR UBERHUAGA CONDE

34
CAPITULO 4: INTEGRACION COMPLEJA

93i
e z 
I   sin z  cos z 
2  1i

ez
La función F z   sin z  cos z  es también entera, no depende del camino de
2
integración.

Evaluando

 e 9 3i  e1i 
I    
sin 9  3i   cos 9  3i      
sin 1  i   cos 1  i  
 2   2 

8. Formula integral de Cauchy

Para obtener la formula integral de Cauchy, primero debemos tomar las siguientes
propiedades

1) Desigualdad M por L

Si existe una constante M tal que f z   M en todo punto de un arco suave

C y se denotamos por L la longitud de C , entonces el módulo de la integral de

f z  a lo largo de C no puede ser superior a M  L , esto es

 f z dz
C
 M L

78. Demostrar que si C es la frontera del triángulo con vértices en los puntos
z  0 , z  3i , z   4 y la orientación de C es contraria a las manecillas del

reloj, se cumple

 e 
 z dz  60
z
C

Solución:

Usando la desigualdad M por L

2Ki
 35
CAPITULO 4: INTEGRACION COMPLEJA

 e 
 z dz  M  L (1)
z
C

Para la longitud L se representa la curva C

Calculando la longitud de la curva C

4
2
L  34  33

L 75

L  12 (2)

Para el valor de M se debe cumplir

f z   M

Para la integral dada

ez  z M

Por la desigualdad del triangulo

z 1  z 2  z1  z 2

ez  z  ez  z

ez  z  ex  x 2  y 2 (3)

JULIO CESAR UBERHUAGA CONDE

36
CAPITULO 4: INTEGRACION COMPLEJA

Analizando para la función exponencial

x  0  ex  1

Analizando la distancia al origen de todos los puntos de la curva C

x 2  y2  4

Con estos valores en (3)

ez  z 14

ez  z 5

Obtenemos

M 5 (4)

Reemplazando (4), (2) en (1)

 e 
 z dz  5  12
z
C

 e 
 z dz  60
z
C

2) Una integral particular

Sea z 0 un número complejo constante interior a cualquier contorno cerrado

simple C , calcular la integral

1
 C z  z0
dz

Solución.-

La función argumento de la integral

1
f z  
z  z0

2Ki
 37
CAPITULO 4: INTEGRACION COMPLEJA

No es analítica en z 0 , entonces deformaremos el contorno C en C 1 una

circunferencia de radio  y centro en z 0

Parametrizando C1

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

Reemplazando estos valores en la integral

dz 2 ie id 

C z  z0
  0
e i

1 2

 C z  z0
dz   0
id 

1 2

 C z  z0
dz  i  d 
0

1
 dz  i   i 2  0
2

C z  z0 0

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

Con estas consideraciones hallaremos la formula buscada.

JULIO CESAR UBERHUAGA CONDE

38
CAPITULO 4: INTEGRACION COMPLEJA

Sea la deformación del contorno C en C 1 una circunferencia de radio  y centro en

z 0 , tomando  un valor suficientemente pequeño para que C 1 quede completamente
en C .

Tomando a la función

f z 
z  z0

f z 
Que es analítica en todos los puntos que lo es f z  , excepto en z 0 , entonces
z  z0
es analítica en C 1 , en C y en todos los puntos del interior de C que no pertenecen
al interior de C 1 , se cumple

f z  f z 
 C z  z0
dz   C1 z  z0
dz

En el argumento de la integral del segundo miembro sumamos y restamos la

cantidad f z 0 

f z  f z   f z 0   f z 0 

C z  z0
dz   C1 z  z0
dz

Agrupando y aplicando propiedades de integrales

2Ki
 39
CAPITULO 4: INTEGRACION COMPLEJA

f z   f z   f z 
 f z 0  
 dz  
C1  z  z  z  z  dz
0
C z  z0
 0 0


f z  f z   f z 0  f z 0 

C z  z0
dz  C1 z  z0
dz  
 C1 z  z0
dz

Como f z 0  es una constante sale de la integral

f z  f z   f z 0  1
 dz   dz  f z 0  
 dz
C z  z0 C1 z  z0 C1 z  z
0

Con el valore de la integral particular hallada anteriormente

f z  f z   f z 0 
 dz   dz  f z 0  2i (1)
C z  z0 C1 z  z0

Para la integral

f z   f z 0 
C1 z  z0
dz

Aplicaremos la desigualdad M por L, como C 1 es una circunferencia la longitud de

arco es L  2 , M debe ser tal que

f z   f z 0 
M
z  z0

f z   f z 0 
M
z  z0

En el contorno de integración z  z0   .

Como f z  es continua en z 0 , usamos la definición de continuidad para afirmar

que, dado un numero  positivo, existe un numero  positivo tal que
f z   f z 0    si z  z 0   , por tanto

JULIO CESAR UBERHUAGA CONDE

40
CAPITULO 4: INTEGRACION COMPLEJA

f z   f z 0  

z  z0 


Y podemos tomar M  , reemplazando este valor y la longitud L en


 f z dz
C
 M L

f z   f z 0  

C1 z  z0
dz 

 2

f z   f z 0 
 C1 z  z0
dz  2

Donde  debe ser lo más pequeño posible, concluimos que el valor de la integral es
cero

f z   f z 0 
C1 z  z0
dz  0

Reemplazando en (1) y despejando obtenemos

1 f z 
f z 0    dz
2i C z  z0

Esta es la fórmula integral de Cauchy, resumiendo

Sea f z  una función analítica sobre un contorno cerrado simple C y en el

interior de dicho contorno. Sea z 0 un punto interior en C , entonces

1 f z 
f z 0    dz
2i C z  z0

Generalizando para dominios múltiplemente conexos, suponiendo que C 1, C 2, , C n

son curvas simples cerradas orientadas positivamente tal que C 1, C 2, , C n son
interiores a C y no tienen puntos en común, si f z  es analítica en D , entonces

2Ki
 41
CAPITULO 4: INTEGRACION COMPLEJA

Sea f z  una función analítica sobre un contorno cerrado simple C y en el

interior de dicho contorno. Sea z 0 un punto interior en C , entonces

1 n f z 
f z 0     dz
2i i 1
Ci z  z0

Se construye una generalización de la formula integral de Cauchy tomando las

derivadas de f z 0  respecto de z 0

1 f z 
f z 0    dz
2i C z  z0

d

d  1 f z  
1 d  1 
f z 0     dz    f z   dz
dz 0 dz 0  2i C z  z 0  2i C dz 0  z  z 0 
 

d 1 f z 
f z 0    dz
dz 0 2i z  z 
C 2
0

Derivando varias veces respecto de z 0

1 d 2  1  2 f z 
f
2
z 0    f z   dz 
dz 02  z  z 0 
 dz
2i 2i z  z 
C C 3
0

1 d 3  1  23 f z 
f
3
z 0   2i f z 
C dz 3  z  z 
 
 dz 
2i 
C dz
 0
4
0 0 z  z

1 dn  1  n! f z 
f
n 
z 0   2i C f z  dz n
 
 z  z dz  2i  dz
z  z 
n 1
0  0
C
0

Esta es denominada extensión de la formula integral de Cauchy

JULIO CESAR UBERHUAGA CONDE

42
CAPITULO 4: INTEGRACION COMPLEJA

Si una función f z  es analítica en cierto dominio, entonces posee derivadas hasta

la derivada n-esima inclusive en dicho dominio. Estas derivadas son también
analíticas en el dominio. Si f z  es analítica a lo largo de un contorno cerrado
simple C así como su interior y si z 0 es un punto interior de C entonces

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

Para fines de cálculo de integrales se usará

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

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

tan z 
79. Calcular la integral I  
C z3
dz en la curva C : z  1

Solución:

Representando la curva C

Reescribiendo la integral para hallar los puntos donde la función no es analítica

2Ki