UNIVERSIDAD DE LAS FUERZAS ARMADAS ESPE

EXTENSIN LATACUNGA

INGENIERA MECATRNICA y ELECTROMECNICA

Matemtica Superior
5. Integracin de Funciones de Variable Compleja
Marcelo Romn V.
PERODO ACADMICO: Abril - Agosto 2016
1

Introduccin:

Marcelo Romn V.

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
s n

sk | sk |

B
( xn , yn )

s1

s2
( x2 , y2 )

( x1 , y1 )

x1

x
Marcelo Romn V.

y
A (0,1)

Camino

F ( x, y) xy
y 1 x

y 1 x2

F ( x, y )ds

( 0 ,1)

B (1,0)

x(1 x

0
Otra manera:
0

dy
ds 1 dx 1 4 x 2 dx
dx
2

(1, 0 )

xyds

) 1 4 x dx ...
2

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

dx
5 4y
ds 1 dy
dy 1
4(1 y )
dy
El signo debe tomarse de modo que ds0 para los valores x e y en juego.
En este caso +.
4
Marcelo Romn V.

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

ds
ds
A
B

F( x,y )

Marcelo Romn V.

F ( x, y) xy

Ejemplo:
A (0,1)

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 )

4 1

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

x 1 y
Marcelo Romn V.

Negativo?

Ejercicio: recalcular las

tres integrales recorriendo el
camino en sentido inverso. 6

y
A (0,1)

Calculemos de nuevo
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

Marcelo Romn V.

(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
A

Marcelo Romn V.

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

y
zn

yn

z1

z1

x1

z2

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

zn

z2

zk xk iyk
n

f ( z )dz : lim f ( zk )zk

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?
Marcelo Romn V.

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 ]

C

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

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

Marcelo Romn V.

10

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 ( A)

t ( B)

t ( B)

t ( A)

dt

dt

dz
f z (t ) dt
dt

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

Marcelo Romn V.

11

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

3

Marcelo Romn V.

12

( 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
Marcelo Romn V.
2

13

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
0

i 2

1 d i e i 3 e i d
0

8
1 i 3
i
e e
3
3
0

Marcelo Romn V.

Examen
SEPTIEMBRE 02/03: P-1

14

Marcelo Romn V.

15

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.

Marcelo Romn V.

16

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

Marcelo Romn V.

17

Propiedades de las integrales de contorno

k f ( z) d z k
C

f ( z ) d z , k constante

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,
Marcelo Romn V.

18

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

x
C

C : z (t ) re

it

f ( z )dz
C

dz
f z (t ) dt
dt

dz
C z 2i

1
i t ri ei t dt
re
0
2

i dt 2 i
0

Nota: podramos haber usado

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

Ejercicio: repetir con esta forma.

Marcelo Romn V.

19

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

1 i

C2

1 i

C1

C3
1 i

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

1 i

C4
1

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

Marcelo Romn V.

t i
dt
2
1 t
1

I4

20

t i
f ( z )dz 4
dt
2
1 t
1
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
4i / 4 / 4
1
1

1 i

C2

y
1 i

C1

C3
1 i

2 i

1 i

C4

dz
C z 2 i
Marcelo Romn V.

21

Ejemplo: Repitamos trasladando el circuito de integracin.

C2
1 i
Integrar la funcin f ( z ) 1 / z
3 i
a lo largo del cuadrado
Introducir un 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

C2 : 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
C4 : z (t ) 2 t i,
1,
dt

I1

t i
11 t 2 dt

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
Marcelo Romn V.

22

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

y
1 i

C1

C3
3i

Donde C ahora es el cuadrado

unitario anterior desplazado
a la izquierda 2 unidades.
Marcelo Romn V.

C4

1 i

23

Marcelo Romn V.

24

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
Marcelo Romn V.

dz
C z 0
25

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

Marcelo Romn V.

26

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

Marcelo Romn V.

f (z) es analtica en todo punto

excepto en z = 0
27

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.
Marcelo Romn V.

28

Supongamos que la regin R es un

rectngulo como muestra la figura.

C3

y1

x1 y1 P

P

dxdy
dy dx
x
y
0
y
0 y
R

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

Marcelo Romn V.

P( x, y)dx 0

29

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.

Marcelo Romn V.

30

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

Marcelo Romn V.

31

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
dx v( x, y )dy i v( x, y )dx i u ( x, y )dy
u( x, y)

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

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

v u
u v
dxdy i dxdy 0
D x

y
y

0
(Como f(z) es analtica
cumple las ECR)
Marcelo Romn V.

32

Marcelo Romn V.

33

Marcelo Romn V.

34

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)
Marcelo Romn V.

35

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, ...

3e z sin z
C 3 z dz 0
1

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

2i

3e z sin z
C 3 z dz ?
2

f (z) es no analtica
en z = 3
-2 -1 0

Marcelo Romn V.

2
36

Para demostrar el teorema de Cauchy-Goursat emplearemos la

desigualdad ML:
Cotas para integrales
de lnea.

f ( z)dz ML
C

cualquier nmero tal que

f ( z ) M sobre C

Demostracin:

longitud
de C

f ( z ) dz lim f ( zk ) zk
n

k 1

donde z 0 cuando n
Marcelo Romn V.

37

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

n

dz lim z
C

k 1

L; donde L es la longitud de C.

Por la desigualdad triangular, tenemos:

n

f ( z)dz lim f ( z )z
C

k 1

lim f ( zk ) zk f ( z ) dz
n

f ( z)dz
C

k 1

f ( z ) dz

C
Marcelo Romn V.

38

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 ) zk M lim zk ML
n

k 1

f ( z)dz ML

k 1

Desigualdad ML

C
Marcelo Romn V.

39

Ejemplo:
Encuentra una cota superior para el valor absoluto de:
donde C es el crculo |z| = 4.

e
C z 1 d z

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

Marcelo Romn V.

40

Im (z)

Demostrar la siguiente desigualdad:

Log zdz

2
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

Marcelo Romn V.

4
41

Marcelo Romn V.

42

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

3
Marcelo Romn V.

f ( z )dz

f ( z )dz

4
43

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

Marcelo Romn V.

44

Despus de n pasos, tendremos:

f ( z )dz 4 n

f ( z)dz

ABCA

Hemos construido una sucesin de tringulos encajados:

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

{z 0 }

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 quez - z0.
Marcelo Romn V.

45

 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

Marcelo Romn V.

46

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

P
Pn n
2

P
| z z0 | Pn n
2

z0

Usando la desigualdad ML:

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

n
M

f ( z)dz

Marcelo Romn V.

4n
47

Tenamos:

f ( z )dz 4 n

ABCA

f ( z)dz

f ( z )dz 4

ABCA

4n

P 2

Y como se puede tomar arbitrariamente pequeo, entonces:

f ( z)dz 0
ABCA
Marcelo Romn V.

48

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.

Marcelo Romn V.

49

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 ( zk )zk

n
k 1

Sn

Obviamente:

f ( z )dz f ( z )dz Sn Sn
C

Usando la desigualdad triangular:

f ( z )dz

f ( z )dz S S

Acotaremos 1 y 2
Marcelo Romn V.

50

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

Marcelo Romn V.

51

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
Marcelo Romn V.

52

z1

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

z0

z 2

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 ( z2 )}dz ...

z n1

z1

{ f ( z ) f ( zn )}dz S n 0
Marcelo Romn V.

53

Multiplicando por 1 y cambiando el signo de los integrandos:

z1

z2

z0

z1

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

zn

z n1

{ f ( zn ) f ( z )}dz

Utilizando la desigualdad triangular:

Sn

zn

z n1

z1

z0

{ f ( z1 ) f ( z )}dz

z2

z1

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

{ f ( zn ) f ( z )}dz
Marcelo Romn V.

54

Para cada una de las k integrales

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

zk

z k 1

{ f ( zk ) f ( z )}dz

Observemos que la longitud de cada integral es:

zk

dz zk zk 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 )
Marcelo Romn V.

2P

55

Tenamos:

Sn

zn

z n1

z1

z0

{ f ( z1 ) f ( z )}dz

z2

z1

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

{ f ( zn ) f ( z )}dz

De modo que:
P

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

Marcelo Romn V.

56

Recopilando:

f ( z )dz

f ( z )dz S n S n

Puesto que es arbitrario, entonces:

f ( z )dz 0

Marcelo Romn V.

57

Ejercicio

Marcelo Romn V.

58

Marcelo Romn V.

59

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) ... 60
Marcelo Romn V.

f ( z )dz 0

Sentido positivo

C1

C1 AB C2 BA

f ( z )dz f ( z )dz
C1

BA

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 C2

Marcelo Romn V.

61

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
Marcelo Romn V.

(no tan obvio)

62

L1

Otra demostracin
Introduzcamos dos cortes,
L1 y L2 ,que unen los dos
contornos.

Inicio
5
4

**

8
6

Sean C* y C** los dos nuevos

contornos cerrados indicados
por las flechas (1-2-3-4)
y (5-6-7-8), respectivamente.

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,
Marcelo Romn V.

c**

L2

f ( z )dz 0
63

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

y
5

f ( z )dz

**

8
6

**

f ( z )dz f ( z )dz
1, 3

6,8

f ( z )dz f ( z )dz
C1

C2

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
Marcelo Romn V.

C2

con lo que se demuestra el enunciado.

64

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

f ( z)dz f ( z)dz
C1

C2

Recordemos:
1 i

C1

C3
1 i

dz
C z 2i

1 i

C4
Marcelo Romn V.

65

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

C2

C1

1
C z dz 2 i
1
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.
Marcelo Romn V.

1 es analtica
z aqu
66

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
Marcelo Romn V.

67

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,
n
entonces:
f ( z )dz

Marcelo Romn V.

C
k 1

f ( z) d z

k
68

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
Marcelo Romn V.

C3
69

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.

f ( z )dz , siendo i cada uno de los siguientes

Calcular
i
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:
Marcelo Romn V.

1
2
3

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

70

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

0
1

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

2 1
(
t

i
t

it

t
)
dt

2
tdt

t
0 1

Marcelo Romn V.

71

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
C

0 t 1

z (t ) t

A lo largo de C1:

0
1

y
1 i

dz
f z (t ) dt
dt

(t )(1)dt

t
1 2 1
0
2

C2

1
2

C1

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

1

f ( z )dz
C

0
1

0 t 1 0

dz
f z (t ) dt
dt
1

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

0

1
2

t it
2

1
0

1
2

Marcelo Romn V.

72

 zdz 1
C

y
1 i

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

1 1
z
dz

C
2 2
Marcelo Romn V.

73

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:

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

2i tdt it 2 10 i
0 Marcelo Romn V.

74

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
C

0 t 1

z (t ) t

A lo largo de C1:

0
1

y
1 i

dz
f z (t ) dt
dt

(t )(1)dt

t
1 2 1
0
2

C2

1
2

C1

0 t 1 0

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

1

f ( z )dz
C

0
1

dz
f z (t ) dt
dt
1

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

0

0
Marcelo Romn
V.

1
2

1
0

12 i
75

 zdz i
C

y
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
Marcelo Romn V.

76

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 2ti
1

f ( z )dz
C

0 t 1

1 2i

dz
f z (t ) dt
dt

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

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

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

Marcelo Romn V.

77

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

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

C2

0
2

(t 2 4t 4)dt
0

A lo largo de C2:

8
3

z(t ) t 2ti

C1

x
2

0 t 1

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

0
1

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

Marcelo Romn V.

78

 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

C
Marcelo Romn V.

79

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

f ( z )dza lo largo de C2 0

z1

z1

a lo largo de C1

f ( z )dza lo largo de C2

z1

z2

z2

f ( z )dz

z1

z2

z2

z2

f ( z )dz

C1

a lo largo de C1

z2

f ( z )dz

z1

a lo largo de C 2
Marcelo Romn V.

80

Recuerda el potencial gravitatorio:

masa m

altura h

La energa potencial gravitatoria = m g h

es independiente del camino...
Marcelo Romn V.

81

y
1+i

i
L0

Ejemplo: f(z)=|z|2

L2
x
L1 1

f ( z ) | z |2

L0 : I 0

y t

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

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

Marcelo Romn V.

82

y
1+i

i
L0

Ejemplo: f(z)=z2

L2
x
L1 1

f ( z) z 2

L0 : I 0

L0 : x t

y t

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

Marcelo Romn V.

2i 3
3
83

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

Marcelo Romn V.

84

Si los caminos se cruzan, podemos hacer lo

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

z1
C2

C1
Marcelo Romn V.

z2
85

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

Marcelo Romn V.

86

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

Marcelo Romn V.

z 2

dF
f (z )
dz

1
(19 2i )
3

87

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)

Marcelo Romn V.

88

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.
Marcelo Romn V.

89

Marcelo Romn V.

90

1
1
i
dz

i
e
d
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

Marcelo Romn V.

91

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
Marcelo Romn V.

92

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
Marcelo Romn V.

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

Marcelo Romn V.

94

Marcelo Romn V.

95

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 ?
Marcelo Romn V.

96

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
Marcelo Romn V.

97

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.
Marcelo Romn V.

98

Ejemplo
2

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:
2

dz 2 i 4 i8
z2
C
Marcelo Romn V.

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.

99

Demostracin no rigurosa de
la frmula integral de Cauchy:

r0 e

Por el principio de deformacin

de contornos:

z0
C0

f ( z)
f ( z)
dz

dz
C z z0 C z z0
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 r0e ;

dz
i
ir0e
d

Marcelo Romn V.

100

Hemos tomado un r0 arbitrario. Hagmoslo infinitamente

pequeo:
2

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

0
r0 0
0
i

if ( z0 ) d 2if ( z0 )
0

f ( z)
C z z0 dz 2 i f ( z0 )
Qu no es riguroso aqu?
Marcelo Romn V.

101

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

Marcelo Romn V.

I2

102

2
2
1
1
i
I1
dz
ir0e d i d 2i
i

0 re
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. Marcelo Romn V.

103

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

Marcelo Romn V.

I 2 0

104

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

Marcelo Romn V.

D
f ( z0 ) 1

dz
C z i 2i

105

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
Marcelo Romn V.

106

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
z0 i

1
f ( z)
z i

C
D

f ( z0 ) i / 2

dz
2

z 1
C
Marcelo Romn V.

107

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
Marcelo Romn V.

108

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

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

D
z0 i

e
i
C z i dz 2 ie
f (z) es analtica en todo punto
Marcelo Romn V.

109

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 Marcelo
z zRomn
2
0
V.
C

110

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

Marcelo Romn V.

111

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

1 / 2

f ( z0 ) tan(1)

tan z
1
C z 2 1 dz 2i 2 tan(1) tan(1) 9.785i
Marcelo Romn V.

112

Marcelo Romn V.

113

Marcelo Romn V.

114

Marcelo Romn V.

115

Marcelo Romn V. 116

Marcelo Romn V.

117

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 12 dz 2i dz

cos z
d 2 cos z
,
dz i
3
2
dz
C z 2
z0 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:
Marcelo Romn V.

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

118

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
n
dz

n
!
dz

C z z0
2i z z
z0
C

Marcelo Romn V.

119

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.
Marcelo Romn V.

120

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 f ( z ) e
sea z0 0

f ( z0 ) e 0
z

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

Marcelo Romn V.

e dz
2

i
C z 2

121

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
sea f ( z ) z

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

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

Marcelo Romn V.

z dz
C ( z i )3 2 i

122

ez
C z 2i 3 dz

Calcular

donde C es la circunferencia

z 3 con sentido positivo.

ez
I
dz
3
C z 2i

(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
Marcelo Romn V.

123

Marcelo Romn V.

124

Marcelo Romn V.

125

Marcelo Romn V.

126

Marcelo Romn V.

127

Marcelo Romn V.

128

Marcelo Romn V.

129

Marcelo Romn V.

130

Marcelo Romn V.

131

Marcelo Romn V.

132

Marcelo Romn V.

133

Marcelo Romn V.

134

Marcelo Romn V.

135

Marcelo Romn V.

136

Marcelo Romn V.

137

Marcelo Romn V.

138

(1)

z1

Resumen:

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

z0

(2)

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
C

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
Marcelo Romn V.

139

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

f ( z)dz 0
C

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.
140

Marcelo Romn V.

Marcelo Romn V.

141

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
r

donde |f(z)| M para todos los puntos de C.

Marcelo Romn V.

142

Marcelo Romn V.

143

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.

Marcelo Romn V.

144

Marcelo Romn V.

145

Marcelo Romn V.

146

Marcelo Romn V.

147

Marcelo Romn V.

148

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

Marcelo Romn V.

149

Marcelo Romn V.

150

Marcelo Romn V.

151

Marcelo Romn V.

152

Marcelo Romn V.

153