5.

Integracin

Falacias, falacias, ...

2 1
L1 1

2
2 (1 / 2)
L2 2

2
2 (1 / 4)
L3 4

n 1
2

(
1
/
2
)
n 1
Ln 2

1 2 !!

2 lim Ln !!
n

Integrales de lnea, de camino o de contorno reales

F ( x, y )ds lim F ( xk ,yk )sk

n

k 1

donde sk 0 cuando n .

y
sn

sk | sk |

B
( xn , y n )

s1
( x1 , y1 )

x1

s2
( x2 , y 2 )

x
4

y
A (0,1)

Camino

F ( x, y ) xy
y 1 x

y 1 x2

F ( x, y )ds

( 0 ,1)

B (1,0)
2

ds 1

x(1 x

0
Otra manera:
0

dy
2
dx 1 4 x dx
dx

dx
5 4y
dy
ds 1
dy
4(1 y )
dy

(1, 0 )

xyds

) 1 4 x dx ...
2

5 4y
y 1 y
dy
4(1 y )
5
y
y dy ...
4

El signo debe tomarse de modo que ds0 para los valores x e y en juego.
En este caso +.
5

Podemos definir las integrales con dx y dy:

dx

xk

F ( x, y)ds lim F ( x ,y )s
B

dy

k 1

yk

Donde los incrementos de x e y son las proyecciones de los

incrementos de s en el eje x e y respectivamente (observa que
los incrementos de x e y pueden ser positivos o negativos).
Interpretacin fsica de las integrales de lnea:

F( x,y ) 1
F( x,y )

ds
ds
A
B

Ejemplo:
A (0,1)

F ( x, y ) xy

y 1 x2

Camino:

y 1 x2

Camino

B (1,0)

(1, 0 )

( 0 ,1)

F ( x, y)dx

xydx

4
A F ( x, y)dy (0,1) xydy 1 y 1 y dy 15
B

(1, 0 )

x 1 y

4 1

x
x
0 x(1 x )dx 2 4
1

Negativo?

Ejercicio: recalcular las

tres integrales recorriendo el
camino en sentido inverso. 7

Calculemos de nuevo
A (0,1) de otra forma:

y 1 x2

dy
A F ( x, y)dy A F ( x, y) dx dx
B

B (1,0)

dy
(0,1) xydy (0,1) xy dx dx
1
4
2
x
(
1

x
)(

2
x
)
dx

0
15
(1, 0 )

Repetir para
dx y dx/dy.

F ( x, y ) xy

(1, 0 )

La integral depende del sentido en los que recorramos el camino C

en los casos de dx y dy:

A
B

F ( x, y )dx F ( x, y )dx
B

F ( x, y )dy F ( x, y )dy
B

Los incrementos de x e y cambian de signo cuando cambia el

sentido de los vectores incremento de s. Pero el diferencial
de s mantiene su signo independientemente del sentido, pues

tomamos el mdulo del vector:

sk | sk || sk |

F ( x, y )ds F ( x, y )ds
B

Integrales de lnea, de camino o de contorno en el plano complejo

y
z n

yn

z1

z1

x1

z2

f ( z ) u ( x, y ) iv ( x, y )

zn

z 2

zk xk iyk
n

f ( z )dz : lim f ( z k )z k
n

k 1

donde z 0 cuando n .
x

Observa que la integral NO es el rea bajo la curva.

El valor depende del sentido: es una suma de vectores.
Los z actan como vectores, no como longitudes.
Si f(z) = 1, qu significa la integral?

10

Conexin entre integrales de lnea reales y complejas

Con C indicamos el camino de la integral de lnea.

f ( z )dz [u ( x, y) iv( x, y)][dx idy]

u ( x, y )dx v( x, y )dy
C
C

i u ( x, y )dy v( x, y )dx
C
C

11

Integracin de funciones complejas parametrizadas

Arco suave C de A a B:

z (t ) x(t ) iy (t )

Parametrizacin continua con t(A) t t(B) y con derivadas

x(t) e y(t) continuas. dz (t ) dx (t )
dy (t )

dt

f ( z )dz

t ( B)

t ( A)

t (B)

t ( A)

dt

dt

dz
f z (t ) dt
dt

f (t )[ x' (t ) iy ' (t )]dt

12

Ejemplo:
Evala :

zdz
C

donde C est dado por x 3t , y t ,1 t 4.

2

z (t ) 3t it 2 ,

z ' (t ) 3 2it

f ( z (t )) 3t it 2 3t it 2
De modo que,

2
z
dz

(
3
t

it
)(3 2it )dt

1
4

(2t 9t )dt i 3t 2 dt 195 65i

1

13

( x 2 iy 2 )dz

Evala
C
donde C es el contorno de la figura

( x 2 iy 2 )dz ( x 2 iy 2 )dz ( x 2 iy 2 )dz

C1

C2

C1 est definida por y = x = t, entonces z(t) = t + it,

con 0 t 1, z(t) = 1 + i, f(z(t)) = t2 + it2 :

C1

( x iy )dz (t it )(1 i )dt (1 i )

2

t 2 dt

2
i
3

La curva C2 est definida por x = 1, y = t con 1 y 2. Entonces:

z(t) = 1 + it, z(t) = i, f(z(t)) = 1 + it2:

7
(
x

iy
)
dz

(
1

it
)
idt

t
dt

i
dt

i
C2
1
1
1
3
2
7
7 5
2
2
(
x

iy
)
dz

i
)

i
C
3
3
3 3
2

14

Calcular la integral

zz dz

Donde C es el arco de circunferencia

orientado positivamente.

z 1 z e

z 1, (0 arg( z ) ,)

zz dz ie

1 i 3
i
e e
3

i 2

1 d i e i 3 e i d
0

Examen
SEPTIEMBRE 02/03: P-1

15

16

Camino o contorno simple cerrado Camino o contorno

no simple cerrado
Es un contorno que
genera dos dominios:
uno acotado (interior)
y otro no acotado
(exterior). Ambos
dominios tienen al
contorno como
frontera.

17

Decimos que la integracin se lleva a cabo

en sentido positivo alrededor del contorno
C cuando el interior queda a la izquierda
del sentido de circulacin.

f ( z )dz f ( z )dz
C

Para no recargar con smbolos

Decimos que la integracin

se lleva a cabo en sentido
C
negativo si ocurre lo contrario.

Se cumple que:

f ( z )dz f ( z )dz
C

f ( z )dz f ( z )dz
C

18

Propiedades de las integrales de contorno

k f ( z ) d z k f ( z ) d z , k constante
C

C [ f ( z ) g ( z )] d z C f ( z ) d z C g ( z ) d z
C f ( z ) d z C

f ( z ) d z f ( z ) d z,
C2

C f ( z ) dz C f ( z ) dz,
19

Ejemplo
Integrar la funcin f ( z ) 1 / z
a lo largo de la circunferencia: |z| = r.
Introducimos un parmetro t
variando entre 0 t 2

C : z (t ) re
2

f ( z )dz

1
i t ri e i t dt
re
0
2

i dt 2 i
0

it

dz
f z (t ) dt
dt

dz
C z 2i
Nota: podramos haber usado

C : z (t ) r cos t i sin t

Ejercicio: repetir con esta forma.

20

21

Ejemplo
Integrar la funcin f ( z ) 1 / z
a lo largo del cuadrado
Introducir un parmetro t
variando entre 1 t 1

dz
f ( z )dz f z (t ) dt
dt
1

1 i

C2

1 i

C1

C3
1 i

C4

1 i

C1 : z (t ) 1 ti,

dz
i ,
dt

1
1 ti
f z (t )

,
2
1 ti 1 t

C2 : z (t ) t i,

dz
1,
dt

1
t i
t i
f z (t )

,
I

dt
2
2
2

t i 1 t
1 t
1

C3 : z (t ) 1 ti,

dz
i,
dt

1
1 ti
t i
f z (t )

,
I

dt
3
2
2

1 ti 1 t
1 t
1

C4 : z (t ) t i,

dz
1,
dt

1
t i
f z (t )

,
2
t i 1 t

I1

t i
11 t 2 dt

I4

t i
11 t 2 dt

22

t i
f ( z )dz 4
dt
2
1 t
1

0 (integrando impar en
intervalo de integracin par)

t
1
4
dt i
dt
2
2
1 t
1
1 1 t

4i arctan t

1
1

4i / 4 / 4

1 i

C2

y
1 i

C1

C3
1 i

2 i

C4

1 i

dz
C z 2 i
23

Ejemplo: Repitamos trasladando el circuito de integracin.

C2
f
(
z
)

1
/
z
1 i
Integrar la funcin
3i
a lo largo del
Introducir
un cuadrado
parmetro t
variando entre 1 t 1

f ( z )dz

f z (t )

C1

C3
3i

dz
dt
dt

C4

1 i

C1 : z (t ) 1 t i,

dz
1
1 ti
i , f z ( t )

,
2
dt
1 ti 1 t

C 2 : z ( t ) 2 t i ,

dz
1,
dt

1
2t i
(2 t ) i
f z (t )

,
I

dt
2
2
2

2 t i 1 (2 t )
1 (2 t )
1

C3 : z (t ) 3 t i,

dz
i ,
dt

1
3 ti
f z (t )

,
2
3 ti 9 t

dz
C 4 : z ( t ) 2 t i ,
1,
dt

I1

t i
11 t 2 dt
1

I3

t 3i
1 9 t 2 dt

1
2t i
( 2 t ) i
f z ( t )

,
I

dt
4
2
2

2 t i 1 ( 2 t )
1 ( 2 t )
1

24

Usando las relaciones

obtenemos

dz

0
C z

dt
1
t b
a 2 (b t ) 2 a arctan a
(b t )dt
2
2

ln
a

(
b

t
)
a 2 (b t ) 2
3i

C2

1 i

C1

C3
3i

Donde C ahora es el cuadrado

unitario anterior desplazado
a la izquierda 2 unidades.

C4

1 i

25

26

Observa que:
C
C

dz
C z 2 i

dz
C z 0

dz
C z 0

dz
C z 0

dz
C z 0

dz
C z 0
27

dz
C z 2i

dz
C z 0
C

dz
C z 0

dz
C z 0

dz
C z 0

dz
C z 0

28

Teorema integral de Cauchy

Si f (z) es analtica con derivada
continua en todos los puntos
dentro y sobre un contorno cerrado
C, entonces:

f ( z )dz 0

Ejemplos:

C
C
z
e
dz 0

dz
C z 0

f (z) es analtica en todo punto

f (z) es analtica en todo punto

excepto en z = 0
29

Para demostrar el teorema de Cauchy nos ser necesario el

Teorema de Green (1828)

P P Q Q
Sean P ( x, y ), Q ( x, y ),
,
,
y
x y x
y
continuas en en todos
los puntos dentro y sobre un contorno C, entonces:

Q P
C P( x, y)dx C Q( x, y)dy D x y dxdy
George Green (1793-1841).
Resultado de sus trabajos
en electromagnetismo.

30

Supongamos que la regin R es un

rectngulo como muestra la figura.

C3

y1

x1
P

dxdy
x0

P
y0 y dy dx
y1

P ( x, y1 ) P ( x, y0 ) dx
x1

C2

C4
y0

C1
x0

x1

x0

x1

x0

x0

P ( x, y0 )dx P ( x, y1 )dx

C1

P ( x, y )dx P ( x, y )dx.

x1

C3

Puesto que sobre los caminos C2 y C4 no hay variacin en x:

C2

P ( x, y )dx 0;

C4

P( x, y )dx 0

31

P

dxdy P ( x, y )dx P( x, y )dx
C1
C3

y
R

C2

P( x, y )dx P( x, y )dx P ( x, y )dx

C4

Repitiendo anlogamente para Q(x,y), y teniendo en cuenta que

C3 y C1 no tienen variacin en y, obtendremos:

Q
R y dxdy cQ( x, y)dy
Y eso completa la demostracin para un contorno rectangular
recorrido en sentido positivo.
32

Podemos usar infinitos rectngulos

para recubrir exctamente el rea de R.

C2
C1
Recorrindolos como indica la
figura superior, se compensan
las integrales en los caminos
horizontales...

( Pdx Qdy)
C

C1

( Pdx Qdy ) ( Pdx Qdy ) ...

C2

33

Demostracin del teorema integral de Cauchy:

Como suponemos u(x,y), v(x,y) y sus
derivadas parciales continuas en todos
los puntos dentro y sobre C:

f ( z )dz
u ( x, y)dx v( x, y)dy i v( x, y)dx i u(x,y)dy
C

P ( x, y ) : u ( x, y )

P ( x, y ) : v( x, y )

Q ( x, y ) : v( x, y )

Q( x, y ) : u ( x, y )

u v
v u
dxdy 0
dxdy i
D x

y
y

(Como f(z) es analtica

cumple las ECR)

34

35

36

Teorema integral de Cauchy-Goursat

Si f (z) es analtica en todos los puntos dentro y
sobre un contorno cerrado C, entonces:

f ( z )dz 0

Es menos restrictivo que

el teorema integral de
Cauchy. Goursat
demostr el teorema
integral de Cauchy sin
imponer la restriccin
alguna sobre la derivada
de f(z).

Edouard Jean-Baptiste Goursat

(1838 1936)
37

C1

1
C cos z dz 0
1

C2

1
C cos z dz ?
2

Ejemplos
C1

C2

f (z) es no analtica en z = /2, 3/2, ...

1
C sin(z )dz 0
No es analtica en
los puntos
z = 0, 1, 2,...

2i

-2 -1 0

3e z sin z
C 3 z dz ?
2

3e z sin z
C 3 z dz 0
1

f (z) es no analtica
en z = 3
38

Para demostrar el teorema de Cauchy-Goursat emplearemos la

desigualdad ML:
Cotas para integrales
de lnea.

f ( z )dz ML

cualquier nmero tal que

f ( z ) M sobre C

Demostracin:

longitud
de C

f ( z ) dz lim f ( z k ) z k
n

k 1

donde z 0 cuando n
39

Observemos que si |f(z)|=1, entonces:

n

dz lim z

k 1

L; donde L es la longitud de C.

Por la desigualdad triangular, tenemos:

n

f ( z )dz lim f ( z

k 1

)z k lim f ( z k ) z k f ( z ) dz
n

f ( z )dz

k 1

f ( z ) dz

40

Supongamos que: f ( z ) M si z es un punto de C.

Entonces:

f ( z )dz lim f ( z k )z k
n

k 1

lim f ( z k ) z k M lim z k ML
n

k 1

f ( z )dz ML

k 1

Desigualdad ML

41

Ejemplo:

e
C z 1 d z

Encuentra una cota superior para el valor absoluto de:

donde C es el crculo |z| = 4.

Puesto que |z +1| |z| 1 = 3, entonces:

Adems, |ez| = ex, con |z| = 4, y tenemos
que el mximo valor de x es 4. As:

e
|e | |e |

z 1 | z | 1
3
z

e
e

z 1 3

f ( z) M
L 2R

e
8e
C z 1 d z 3
z

42

Im (z)

Demostrar la siguiente desigualdad:

2
Log zdz 4

Re (z)

Respuesta.

Log z ln z i arg z

Log zdz ML

L: longitud del arco:

M: max |Log z|

L
2

Log z i ,
M

Log zdz 4

43

44

Demostracin del teorema de E = (A+B)/2; F = (B+C)/2; D=(C+A)/2

Cauchy-Goursat para camino
A
triangular cualquiera:

Sea el camino triangular ABCA.

Trazamos un tringulo auxiliar
EFD a partir de los puntos
medios
de los lados del tringulo ABC.
Entonces:

f ( z )dz

ABCA

f ( z )dz

f ( z )dz

f ( z )dz

f ( z )dz

45

Aplicando la desigualdad triangular:

f ( z )dz f ( z )dz f ( z )dz f ( z )dz f ( z )dz

1

ABCA

Sea

: max{1 , 2 , 3 , 4 }
1

Entonces:

f ( z )dz 4 f ( z )dz
1

ABCA

Repitiendo el proceso con el tringulo

f ( z )dz 4 2

ABCA

f ( z )dz

46

Despus de n pasos, tendremos:

f ( z )dz 4 n

ABCA

f ( z )dz

Hemos construido una sucesin de tringulos encajados:

ABC , 1 , 2 , 3 ,..., n

{z0 }

gracias al principio de Cantor de compactos encajados:

n 1
existe un punto z0 que pertenece a todos ellos.
Y puesto que z0 est dentro o sobre ABC , y como por el enunciado
f(z) es analtica en z0. Entonces:

f ( z ) f ( z0 ) f ( z0 )( z z0 ) ( z )( z z0 )

recordemos que (z) depende de z y que (z)0 cuando z z0; es

decir, que para todo podemos encontrar un tal que (z)
siempre que z - z0 .

47

 f ( z )dz

f ( z0 ) dz f ( z0 ) ( z z0 )dz ( z )( z z0 )dz
n
n
n

g ( z) 1

g ( z ) z z0

Integrandos g(z) analticos con primeras derivadas

continuas. Podemos aplicar teorema integral de Cauchy.

f ( z )dz ( z )( z z )dz
0

48

Si P es el permetro de ABC , entonces el permetro n ser:

P
Pn n
2

P
| z z0 | Pn n
2

n
z0

Usando la desigualdad ML:

P
f ( z )dz ( z z0 )dz n
2
n
M

P
n
2
L

P
f ( z )dz n
4

49

Tenamos:

f ( z )dz 4 n

f ( z )dz

ABCA

P
2
f
(
z
)
dz

P
n

4
ABCA
n

Y como se puede tomar arbitrariamente pequeo, entonces:

f ( z )dz 0

ABCA

50

Puesto que todo polgono cerrado se puede

triangular, aplicando el teorema de
Couchy-Goursat a cada
tringulo podemos
B
demostrar el teorema
para un polgono
cerrado arbitrario.

C
z0 z n
z1

z2

A
E
D

Intentaremos aproximar
una curva arbitraria a travs
de un polgono cerrado P de
vrtices z0, z1, z2, ... zn-1, zn= z0,
z n 1
tal y como hicimos para
definir la integral de lnea
compleja.
51

Recordemos que:

Para n finito, estamos

aproximando la curva
cerrada con un polgono
P cerrado de n lados y
de permetro Sn.

f ( z )dz lim f ( z k )z k
n
k 1

Sn

Obviamente:

f ( z )dz f ( z )dz S n S n
C

Usando la desigualdad triangular:

f ( z )dz

f ( z)dz S
C

Sn

Acotaremos 1 y 2
52

Comencemos con 1

f ( z )dz S n

lim S n : f ( z )dz
n

Entonces, dado cualquier > 0 existe un nmero N() tal que

para n > N():

f ( z )dz S n
2

53

Sigamos con 2 acotemos:

Sn

f ( z )dz 0

z1

z2

zn

z0

z1

z n1

f ( z )dz f ( z )dz ...

z1

z2

zn

z0

f ( z )dz

{ f ( z ) f ( z1 ) f ( z1 )}dz

z1

{ f ( z ) f ( z 2 ) f ( z 2 )}dz ...

z n1

{ f ( z ) f ( z n ) f ( z n )}dz 0
54

 z1
z1
z1
0 { f ( z ) f ( z1 )}dz f ( z1 ) dz
z0

z0

z2
z2
z2
{ f ( z ) f ( z2 )}dz f ( z2 ) dz ...
z1

z1

zn

zn

{ f ( z ) f ( z n )}dz f ( z n ) dz
z n1
z n1

z n

z1

zn

z0

z2

{ f ( z ) f ( z1 )}dz { f ( z ) f ( z 2 )}dz ...

z n1

z1

{ f ( z ) f ( z n )}dz S n 0
55

Multiplicando por 1 y cambiando el signo de los integrandos:

z1

z2

z0

z1

S n { f ( z1 ) f ( z )}dz { f ( z 2 ) f ( z )}dz ...

zn

z n1

{ f ( z n ) f ( z )}dz

Utilizando la desigualdad triangular:

Sn

zn

z n1

z1

z0

{ f ( z1 ) f ( z )}dz

z2

z1

{ f ( z 2 ) f ( z )}dz ...

{ f ( z n ) f ( z )}dz
56

Para cada una de las k integrales

(k=1,2, ..., n) usaremos la
desigualdad ML.

zk

z k 1

{ f ( z k ) f ( z )}dz

Observemos que la longitud de cada integral es:

zk

dz z k z k 1

z k 1

Puesto que la curva cerrada que integramos es suave, podemos

tomar el N() de 1 lo suficientemente grande como para que
con n > N() la distancia entre f(zk) y f(z) est por debajo de /2P,
para todo k, donde P es el permetro de la curva cerrada. As
podemos acotar todos los integrandos:

f ( zk ) f ( z )
2P

57

Tenamos:

Sn

zn

z n1

z1

z0

{ f ( z1 ) f ( z )}dz

z2

z1

{ f ( z 2 ) f ( z )}dz ...

{ f ( z n ) f ( z )}dz

De modo que:

z1 z0 z2 z1 ... zn zn1
Sn
2P
2
58

Recopilando:

f ( z )dz

f ( z )dz S n S n
2 2

Puesto que es arbitrario, entonces:

f ( z )dz 0

59

60

Ejercicio

61

62

Principio de deformacin de contornos

(Teorema integral de Cauchy para un dominio doblemente conexo).
Supongamos que f (z) es analtica en un dominio doblemente
conexo D as como en las curvas que lo limitan.
Entonces:

f ( z )dz f ( z )dz

C1

C1

Sentido negativo

C2

C2

Recordatorio: Un dominio es un conjunto abierto

conexo (no incluye los puntos frontera).

Nota: Simplemente conexo significa 1 contorno (y 0 agujeros)

Doblemente conexo significa 2 contornos (y 1 agujeros)
Triplemente conexo significa 3 contornos (y 2 agujeros) ...

63

f ( z )dz 0

Sentido positivo

C1

C1 AB C 2 BA

f ( z )dz f ( z )dz

C1

BA

A
Como:

f ( z )dz f ( z )dz 0

C1

AB

f ( z )dz f ( z )dz

C2

C2

C2

Nota: Observa que los sentidos en que se

recorren los circuitos en este dibujo y el
anterior, no son los mismos...

f ( z )dz f ( z )dz

AB

BA

f ( z )dz 0

C C1 C 2

64

Ejemplo 1:

e dz e dz
z

C1

(obvio!)

C2

C1

C2

D
Ejemplo 2:

1
1
C z dz C z dz
1
2

(no tan obvio)

65

L1

Otra demostracin
Introduzcamos dos cortes,
L1 y L2 ,que unen los dos
contornos.
Sean C* y C** los dos nuevos
contornos cerrados indicados
por las flechas (1-2-3-4)
y (5-6-7-8), respectivamente.

Inicio
5
4

**

8
6

x
7

3
1

Ahora f (z) es analtica sobre y dentro

de C* y C** . Por el teorema Integral de Cauchy:

c*

f ( z )dz 0,

c**

L2

f ( z )dz 0
66

L1
Integramos alrededor del dominio D,
a lo largo de 1-2-3-4-5-6-7-8. As: Inicio

f ( z )dz

1 2 3 4
5 6 7 8

f ( z )dz

f ( z )dz

1, 3

**

f ( z )dz

f ( z )dz f ( z )dz
C2

**

6, 8

C1

f ( z )dz

L2
Las integrales a lo largo de
L1 y L2 se anulan

Pero como las integrales a lo largo de C* y C** son cero,

entonces:
f ( z )dz f ( z )dz 0
C1

C2

con lo que se demuestra el enunciado. 67

Por qu se denomina principio de deformacin de contornos?

Si uno de los contornos puede
transformarse en el otro mediante
una deformacin continua y sin
cruzar ninguna singularidad de
f(z), entonces:

1 i

C2

C1

C2

Recordemos:
1 i

C1

C3
1 i

f ( z )dz f ( z )dz

C4

dz
C z 2i

1 i

68

Ejemplo
As que como la integral
de f(z) = 1/z a lo largo de un
crculo de radio r es 2i:

1
C z dz 2 i
1

C2
C1

A partir del teorema integral de Cauchy

para dominios doblemente conexos
vemos que la integral de f(z) = 1/z a lo
largo de cualquier camino que contenga
este crculo es tambin 2i.

1 es analtica
z aqu
69

Ejemplo

3i

Evaluar la integral

dz
C z 2 ( z 2 9) dz

donde C es un crculo de
radio 2, centrado en 0, descrito
en sentido positivo y un crculo
de radio 1, centrado en 0,
descrito en sentido negativo.

-3i

f (z) presenta singularidades en z = 0 y z = 3i. Esos puntos estn fuera

de la regin sombreada como muestra la figura. As:

dz
C z 2 ( z 2 9) dz 0

70

Teorema de Cauchy-Goursat para dominios

mltiplemente conexos

Supongamos que C, C1, , Cn

son curvas cerradas simples con
orientacin positiva, tales que
C1, C2, , Cn son interiores a C
pero las regiones interiores a
cada Ck, k = 1, 2, , n, no
tienen puntos en comn. Si f es
analtica dentro y sobre el
contorno C, sin el interior de
todos los Ck, k = 1, 2, , n,
f ( z )dz
entonces:
C

f ( z) d z
k 1

Ck

71

No es necesario que los caminos cerrados no se corten, es decir

que formen anillos. Por ejemplo:

C3

Imaginemos que f(z) es analtica

en todos los puntos del dominio
D de la figura. Tanto C2 como
C3 forman anillos con C1.
Por deformacin de
contornos:

f ( z )dz f ( z )dz

C1

C2

f ( z )dz f ( z )dz

C1

C3

C1
C2

f ( z )dz f ( z )dz

C2

C3

72

Ejercicio: Se sabe que una cierta funcin es f(z) es analtica en todo el plano
complejo salvo en los puntos z = 1, z = 2 y z = 3, y que

Ck

f ( z )dz ak , k 1, 2, 3

siendo Ck : |z k| = , orientado en sentido positivo.

Calcular

f ( z )dz

, siendo i cada uno de los siguientes

contornos orientados positivamente:

(1) 1 : |z| = 4, (2) 2 : |z| = 5/2 y (3) 3 : |z 5/2| = 1
Respuesta:
Por el teorema de CauchyGoursat
en
dominios
mltiplemente conexos:

1
2
3

f ( z )dz a1 a2 a3
f ( z )dz a1 a2
f ( z )dz a2 a3

73

Independencia del camino de integracin

Integremos la funcin f ( z ) z a lo largo de
la recta C, que une los puntos 0 y 1+ i.

y
1 i

(1) Representar C en la forma z(t):

z (t ) t i t
(2) Integramos:

0 t 1
dz
1 i
dt
1

f ( z )dz

0
1

dz
f z (t ) dt (t i t )(1 i )dt
dt
0

2 1
(
t

i
t

it

t
)
dt

2
tdt

t
0 1

74

Ejemplo
Integrar la funcin f ( z ) z a largo del camino C = C1 + C2
que une los puntos 0 y 1+ i, como muestra la figura:
1

f ( z )dz

0 t 1

z (t ) t

A lo largo de C1:

1 2 1
0
2

A lo largo de C2: z (t ) 1 i t

f ( z )dz

1
2

C2

C1

0 t 1 0

dz
f z (t )
dt
dt
1

(1 i t )(i )dt (t i )dt

0

1 i

dz
f z (t ) dt
dt

(t )(1)dt

1
2

t it
2

1
0

1
2

i
75

 zdz 1

1 i

El valor de la
integral entre dos
puntos depende
siempre del camino?

1 1
z
dz

C
2 2

76

Repitamos pero con f ( z ) z a lo largo de

la recta C, que una los puntos 0 y 1+ i.

y
1 i

(1) Representar C en la forma z(t):

z (t ) t i t

0 t 1

(2) Integramos:

0
1

f ( z )dz

dz
f z (t ) dt (t i t )(1 i )dt
dt
0
1

2i tdt it 2 10 i
0

77

Ejemplo
Repitamos de nuevo con la funcin f ( z ) z , pero ahora a largo
del camino C = C1 + C2 que une los puntos 0 y 1+ i:
1

f ( z )dz

1 2 1
0
2

1
2

dz
f z (t )
dt
dt
1

(1 i t )(i )dt (t i )dt t i t

0

C2

C1

0 t 1 0

A lo largo de C2: z (t ) 1 i t

f ( z )dz

1 i

dz
f z (t ) dt
dt

(t )(1)dt

0 t 1

z (t ) t

A lo largo de C1:

1
2

1
0

12 i
78

 zdz i

1 i

Ahora el valor de la
integral no depende
del camino.
Qu diferencias hay
entre f(z) = z y f(z)= z ?

1 1
zdz

C
2 2

79

Otro ejemplo
Integrar la funcin f ( z ) z 2 a lo largo del camino C
uniendo 2 y 1+2i tal como muestra la figura

z ( t ) 2 t 2t i
1

f ( z )dz

0 t 1

1 2i

dz
f z (t ) dt
dt

( 2 t 2ti ) 2 ( 1 2i )dt
0

( 1 2i ) ( 3t 2 4t 4) i ( 4t 2 8t ) dt
0

( 1 2i )1 i (8 / 3)
1
(19 2i )
3

80

Otro ejemplo
2
Integrar la funcin f ( z ) z a lo largo del camino C = C1+ C2
uniendo 2 y 1+2i tal como muestra la figura

A lo largo de C1:

z (t ) 2 t

0 t 2

1 2i

C2

f ( z )dz (2 t ) 2 (1)dt
0

(t 2 4t 4)dt
0

A lo largo de C2:

8
3

z (t ) t 2ti

C1

0 t 1

f ( z )dz (t 2ti ) 2 (1 2i )dt

0

11 2
( 11 2i ) t dt i
3 3
0
2

81

 z dz (19 2i ) / 3
2

El valor de la integral
a lo largo de los dos
caminos es el mismo.
Coincidencia?

1 2i

z
dz

(
19

2
i
)
/
3

82

Independencia del camino

Supongamos que f (z) es analtica en
un dominio simplemente conexo D

z1

C2

f ( z )dz f ( z )dz 0

C1

C2

(por el teorema integral de Cauchy)

z2

f ( z )dz

z1

a lo largo de C1

z1

z1

a lo largo de C1

z1

z1

f ( z )dza lo largo de C2
z2

z2

f ( z )dz

z2

z2

z2

f ( z )dz

f ( z )dza lo largo de C2 0

C1

a lo largo de C1

z2

f ( z )dz

z1

a lo largo de C 2

83

Recuerda el potencial gravitatorio:

masa m

altura h

La energa potencial gravitatoria = m g h

es independiente del camino...
84

y
i

1+i
L0

Ejemplo: f(z)=|z|2

L2
x
L1 1

f ( z ) | z |2

L0 : I 0

yt

0 t 1

L1 : x t

y0

0 t 1

L2 : x 1

y t

0 t 1

2
2
2
|
t

it
|
(
1

i
)
dt

|
1

i
|
(
1

i
)
t

dt
1

L1 : I1

L0 : x t

2
|
t
|
dt

2
t
dt
0

1
3

2(1 i )
3

Observa que L0 L1+L2

i
4i
L2 : I 2 | 1 it | idt (1 t )idt i
3
3
0
0
2

85

y
i

1+i
L0

Ejemplo: f(z)=z2

L2
x
L1 1

f ( z) z 2

L0 : I 0

L0 : x t

yt

0 t 1

L1 : x t

y0

0 t 1

L2 : x 1

y t

0 t 1

2
3
2
(
t

it
)
(
1

i
)
dt

(
1

i
)
t

dt

2i 2
3

1
L1 : I1 t dt
3
0

Observa que L0=L1+L2

L2 : I 2

2
(
1

it
)
idt

2
(
1

t
i 2t )idt

2i 3
3

86

Ejemplo: calcular

C2
0

C1

1
dz
z

A lo largo del camino C1: x 4 y 4 1

Como f(z) = 1/z es analtica en

todo el plano complejo excepto
en z = 0. Podemos utilizar un
camino ms sencillo C2 (|z| = 1).
/2

f ( z )dz f ( z )dz

C1

C2

/2

dz
f z ( )
d
d

1
i
i
i e d
i
e
2

87

Si los caminos se cruzan, podemos hacer lo

mismo para cada bucle, utilizando como puntos
intermedios los puntos de interseccin.

z1
C2

C1

z2
88

Si f es analtica en D entonces:

C f ( z ) d z C

f ( z) d z 0

f ( z) d z f ( z) d z
C1

89

Independencia del camino

z0

z1

Consideremos la integral

f ( z )dz

z1

z0

Si F (z) es analtica en un dominio simplemente conexo D, con

derivada dF/dz = f(z) y, z0 y z1 estn en D, entonces la integral
de f(z) entre z0 y z1 es independiente del camino en D.

De modo que podemos hablar de primitivas o antiderivadas como en variable real:

z1

f ( z ) dz F ( z ) F ( z )
1

donde

z0

1 2 i

3
z
2
z
p.ej. dz 3
2

z 1 2 i

z3

z 2

dF
f (z )
dz

1
(19 2i )
3

90

Ejemplos
i

(1)

cos zdz sin z

todo el plano
complejo

i
i

2 sin(i ) 2i sinh
23.097i

1 i

(2)

zdz ?
0

(3)

( f (z) es no analtica en todo punto depende del camino)

i

1
1
i z 2 dz z i 2i

f (z) analtica en
este dominio

(ambas 1/z2 y 1/z son no analticas en z = 0

- el camino de integracin C debe eludir el punto)

91

Si f ' ( z ) 0 en un dominio D,
(y f ( z ) es analtica) entonces f ( z ) ser constante sobre D.
Prueba :
f ' ( z ) 0 u x iv x 0 u x 0 y v x 0
u x v y y u y v x
u x vx u y v y 0
u ( x, y ) a y v( x, y ) b ( x iy ) D
f ( x, y ) a ib ( x iy ) D
La primitiva o antiderivada de f ( z ) es nica salvo una constante.
Prueba :
Sean F ( z ) y G ( z ) dos primitivas diferentes de f ( z ).
d
F(z) - G(z) 0. Puesto que F ( z ) y G ( z ) son analticas
dz
por definicin, tambin lo es su diferencia F ( z ) - G ( z ).
De modo que F ( z ) G ( z ) Cte. F ( z ) G ( z ) Cte.

92

93

1
1
i

d
dz

i
e
C z
ei
1

C1

i d i

Por qu en este caso la integral depende del camino?

1

1
1
i
C z dz ei i e d
2
0

C2

i d i

94

Intentemos definir F(z) = Ln z

como primitiva. En este caso
una posible primitiva es:

y
i

C1

log z log | z | i arg z

con - / 2 arg z 3 / 2

Punto de
ramificacin

Corte
1

1
1
1
C z dz 1 z dz log z 1
1
log | 1 | i arg(1) log | 1 | i arg( 1)
i (0 ) i

95

Punto de
ramificacin

Intentemos definir una

primitiva para este caso.
Observe que NO puede ser
la misma que en el caso anterior:

Corte
1

log z log | z | i arg z

con / 2 arg z 5 / 2

C2

1
1
1
C z dz 1 z dz log z 1
2
log | 1 | i arg(1) log | 1 | i arg( 1)
i (2 ) i

Y tomemos los
cortes como los
tomemos, siempre
obtendremos este
resultado.
96

97

98

Ms sobre integracin en contornos cerrados...

Podemos usar el teorema Integral de Cauchy para integrar
funciones en contornos cerrados siempre que stas sean:
(a) analticas, o
(b) analticas en ciertas regiones
Por ejemplo,
C

dz
C z 0

f (z) es analtica en todo punto

excepto en z = 0

Pero, qu sucede si el contorno encierra un punto singular?

C

dz
C z ?
99

Frmula Integral de Cauchy

Sea f (z) analtica en un dominio simplemente conexo D.
Para cualquier punto z0 en D y cualquier contorno cerrado C
en D que incluya z0:

f ( z)
C z z0 dz 2 i f ( z0 )

z0
D
100

Ejemplo
Ilustremos la frmula integral de Cauchy para el caso de
f (z) = 1 y z0 = 0
La frmula integral de Cauchy

f ( z)
C z z0 dz 2 i f ( z0 )

D
z0 0

se convierte en

1
C z dz 2i 1 2i

f (z) es una funcin constante,

es entera, as que C puede ser cualquier
contorno cerrado en el plano complejo
conteniendo z = 0.

101

Ejemplo

z
Evaluar la integral
dz donde C es
2 z
C

z 1 2

z = 2 es un punto singular en el interior a C.

La frmula integral de Cauchy

f ( z)
C z z0 dz 2 i f ( z0 )
se convierte en:

z
dz 2 i 4 i8
z2

z0 2
f (z) es analtica en todo punto de
modo que C puede ser cualquier
contorno en el plano complejo
conteniendo el punto z = 2.

102

Demostracin no rigurosa de
la frmula integral de Cauchy:

r0 e

Por el principio de deformacin

de contornos:

z0

C0

f ( z)
f ( z)
C z z0 dz C z z0 dz
0

i
2 f ( z r e )
2
f ( z)
i
i
0
0
dz

ir
e
d

i
f
(
z

r
e
)d
0
0
0
i
C z z0
0

0
r
e
0
0

Cambio de
variable:

z z0 r0 e ;

dz
i
ir0 e
d
103

Hemos tomado un r0 arbitrario. Hagmoslo infinitamente

pequeo:

lim i f ( z0 r0 e )d i f ( z0 )d

0
0
r0 0
2

if ( z0 ) d 2if ( z0 )
0

f ( z)
C z z0 dz 2 i f ( z0 )
Qu no es riguroso aqu?
104

r0 e

z0

C0

Demostracin de la frmula
integral de Cauchy. Por el
principio de deformacin
de contornos:

f ( z)
f ( z)
dz

dz
C z z0 C z z0
0

f ( z0 ) f ( z ) f ( z0 )
f ( z)
dz
C z z0 dz C0
z z0
f ( z ) f ( z0 )
1
f ( z0 )
dz
dz
C0 z z
C0
z z0
0


I1

I2

105

2
2
1
1
i
I1
dz
ir0 e d i d 2i
i

0 r e
0
z

z
0
0
C0

Vamos a encontrar una cota ML para I 2

Tenemos:

L 2 r0

Y necesitamos M tal que:

C0

f ( z ) f ( z0 )
dz
z z0

f ( z ) f ( z0 )
f ( z ) f ( z0 )

M
z z0
z z0

Para todo z en C0 : z z0 r0
Como f(z) es continua en z0:

f ( z ) f ( z0 ) si z z0

Si tomamos r0 f ( z ) f ( z0 )
para todo z sobre C0.

106

f ( z ) f ( z0 )
f ( z ) f ( z0 )

M
z z0
r0
r0
L 2 r0
Ya podemos aplicar la desigualdad ML: para

I2

C0

f ( z ) f ( z0 )

dz ML 2 r0 2
z z0
r0

Epsilon puede ser tan pequeo como queramos (de hecho

reducirlo es reducir el radio r0. As que: I 2 0 I 2 0

f ( z ) f ( z0 )
f ( z)
1
C z z0 dz f ( z0 )C0 z z0 dz C0 z z0 dz 2if ( z0 )


I1 2i

I 2 0

107

Ejemplos
Evaluar las siguientes integrales:

dz
(1)
donde C es el crculo |z |=2
z i
C

f ( z)
C z z0 dz 2i f ( z0 )
z0 i

f ( z) 1

f (z) es analtica en D y C incluye z0

D
f ( z0 ) 1

dz
C z i 2i

108

dz
(2) 2
donde C es el crculo |z+i |=1
z 1
C
En primer lugar, notemos que 1/(z2+1) presenta
puntos singulares en z = i.
El contorno C incluye uno de esos puntos, z = -i.
Ese es nuestro punto z0 en la frmula

C
D

f ( z)
C z z0 dz 2i f ( z0 )
Necesitamos un trmino en la forma 1/(z- z0) as que rescribimos la
integral como:
1

dz
dz
z i dz

C z 2 1 C ( z i)( z i) C z i

109

dz
dz
C z 2 1 C ( z i)( z i) C

1
z i dz
z i

f ( z)
dz

i
f
(
z
)
0
C z z0
z 0 i

1
f ( z)
z i

C
D

f ( z0 ) i / 2

dz
2

z 1
C
110

Evaluar

z
C z 2 9 d z

donde C es el crculo |z 2i | = 4.
Solucin
Solo z = 3i est dentro de C, y
z
z
z 3i

z 2 9 z 3i
z
Sea f ( z )
, entonces :
z 3i
z
z
3i
z

3
i
C z 2 9 d z C z 3i d z 2 i f (3i) 2 i 6i i
111

Otro ejemplo
z
e
dz donde C es cualquier contorno cerrado
Evaluar
z i
conteniendo z = -i
C
Frmula integral de Cauchy:

f ( z)
C z z0 dz 2 i f ( z0 )
se convierte en

D
z 0 i

e
i
C z i dz 2 ie
f (z) es analtica en todo punto
112

dz
C z 4 1 donde C es el crculo |z+i |=1
Tenemos que
dz
dz
C z 4 1 C ( z 1)( z 1)( z i )( z i )

El contorno C incluye uno de esos puntos, z = +i.

Ese es nuestro punto z0 en la frmula

1
dz
f ( z)
C z 4 1 C z i dz donde f ( z ) ( z 1)( z 1)( z i )
1
i

Ahora f ( z0 ) f (i )
(i 1)(i 1)( 2i ) 4

dz
f ( z)

dz 2i f ( z0 )
z 1 C z z0
2
C

113

tan z dz
C z 2 1 donde C es el crculo |z |=3/2
tan z es no analtica en /2, 3/2, , pero esos
puntos estn fuera de nuestro contorno de
integracin
3 / 2

C incluye dos puntos singulares, z = 1.

Para poder usar la frmula integral de Cauchy,
debemos tener slo un punto singular z0 dentro de C.

1 / 2

Usaremos fracciones parciales:

1
A
B
A( z 1) B ( z 1)

2
z 1 z 1 z 1
( z 1)( z 1)

( A B) z 0
A B 1

A 1 / 2, B 1 / 2
114

tan z
1 tan z
1 tan z
C z 2 1 dz 2 C z 1 dz 2 C z 1 dz
1

z0 1
f ( z ) tan z
f ( z0 ) tan 1

z0 1
f ( z ) tan z
f ( z0 ) tan(1)

1 / 2

tan z
1
C z 2 1 dz 2i 2 tan(1) tan( 1) 9.785i
115

116

117

118

119

120

Generalizacin de la frmula integral de Cauchy

Se pueden tratar funciones ms complicadas con potencias de z-z0,
con la frmula:

f ( z)
2i d n f
C z z0 n 1 dz n! dz n

z0

f analtica en y dentro
de C, z0 dentro de C

Por ejemplo,

z 2 3z
d z 2 3z
C z 1 2 dz 2i dz

cos z
d 2 cos z
,
dz i
3
2
dz
C z 2
z 0 1

z0 2

Esta frmula tambin es conocida como la formula para las

derivadas de una funcin analtica.
Nota: cuando n=0 tenemos la
Frmula Integral de Cauchy:

f ( z)
C z z0 dz 2i f ( z ) z0

121

Demostracin de la generalizacin de
la frmula integral de Cauchy
Partamos de la frmula integral de Cauchy:

1
f ( z)
f ( z0 )
dz

2i C z z0

Tomando f(z0) como una funcin de variable z0. Derivando

con respecto a z0 y aplicando la regla de Leibnitz:

d
d 1
f ( z)
f ( z0 )
dz

dz0
dz0 2i C z z0 Usar el mismo
procedimiento para
1
d 1

dz
f ( z)
demostrar por induccin:

2i C
dz0 z z0
n
f ( z)
2i d f
1
f ( z)
dz
n 1
dz
n

n
!
dz

C z z0
2i z z
z0
C

122

La generalizacin de la frmula integral de Cauchy nos

muestra algo excepcional:
Si una funcin f(z) es analtica en cierto dominio, entonces
posee derivadas de todos los rdenes en dicho dominio. Y
estas derivadas son a su vez tambin analticas en el
dominio.
Sea f(z) una funcin definida en todo punto de un entorno de z0. Si f(z)
no es analtica en z0 es imposible encontrar una funcin F(z) tal que
dF/dz = f(z) en todo punto del entorno. De existir F(z) sera analtica y
por la frmula generalizada de Cauchy, su segunda derivada df/dz
existira en todo punto del entorno considerado. Y entonces f(z) sera
analtica en z0: una contradiccin.
123

Ejemplo
Evaluar la integral
z

e
C z 2 dz donde C es el crculo |z |=2

f ( z)

dz

i
f
(
z
)
0
2
C ( z z0 )

D
f ( z ) ez

sea z0 0

sea f ( z ) e

f ( z0 ) e 0
z

f (z) es analtica en D, y C incluye z0

e dz
2

i
C z 2
124

Ejemplo
Evaluar la integral
2

z
C z i 3 dz donde C es el crculo |z |=2

f ( z)
2 i

dz

f
(
z
)
0
3
C ( z z0 )
2
sea z0 i

2
f
(
z
)

z
sea

D
f ( z ) 2
f ( z0 ) 2
2

f (z) es analtica in D, y C incluye z0

z dz
C ( z i )3 2 i
125

ez
C z 2i 3 dz

Calcular

donde C es la circunferencia

z 3 con sentido positivo.

ez
I
dz
3
C z 2i
f

(n)

n!
f ( z)
z0
dz ,
n 1
2i C z z0

siendo :
z0 2i;
e 2i

f ( z ) e z f ( z0 ) e 2i

2!
ez
I
2i

dz

ie
2i C z 2i 3
i
Examen
JUNIO 02/03: P-1

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

(1)

z1

f ( z ) dz F ( z ) F ( z )
1

z0

(2)

Resumen:

F (z) analtica en un dominio simplemente conexo D,

con derivada dF/dz = f(z) y z0 y z1 en D.

f ( z )dz 0

donde

dF
f (z )
dz

con f (z) analtica dentro y sobre C.

( Teorema integral de Cauchy-Goursat )

f ( z)
(3)
dz 2if ( z0 ) con f (z) analtica dentro y sobre C
z zo
C
(Frmula integral de Cauchy )

f ( z)
2i d n f
dz
(4)
n 1
n
n
!
dz

z
C
0

z0

( Frmula para derivadas )

con f (z) analtica

dentro y sobre C
142

Ejercicios: Demostrar
(1) El teorema de Morera:
Si f (z) es continua en un dominio simplemente conexo D y si

f ( z )dz 0

para cualquier camino cerrado en D, entonces f (z) es analtica en D

(2) La desigualdad de Cauchy:

(n)

n! M
( z0 ) n
r

f ( z ) M en C
r

z0

(Probarlo usando la frmula para las derivadas de una funcin analtica

y la desigualdad ML)

(3) El teorema de Liouville

Si una funcin entera f (z) est acotada en valor absoluto para todo z, entonces
f (z) debe ser constante probarlo usando la desigualdad de Cauchy.

143

144

Desigualdad de Cauchy
Si tomamos el contorno circular C: |z z0| = r, utilizando la
generalizacin de la frmula integral de Cauchy y la
desigualdad ML:

|f

(n)

n!
( z0 ) |
2

f ( z)
C ( z z )n 1 d z
0

n!
1
n!M

M n 1 2 r n
2 r todos los rpuntos de C.
donde |f(z)| M para

145

146

Teorema de Liouville
Haciendo n = 1 en la desigualdad de Cauchy, tenemos que
|
f (z0)| M/r. Tomando r arbitrariamente largo, podemos hacer
que |f (z0)| sea tan pequeo como queramos: |f (z0)| = 0. De
modo que f es una funcin constante.

147

148

149

150

151

Ejercicio. Sea la funcin entera tal que:

f ( z) e , z C
z

Con la ayuda del teorema de Liouville obtener la expresin general de f(z).

Respuesta.

f ( z) e z , z C

f ( z)
1, z C
z
e

Por el teorema de Liouville:

Por tanto

f ( z ) e

f ( z)
cte. , con 1
z
e

153

154

155

156