Está en la página 1de 156

5.

Integracin

1
2
Falacias, falacias, ...
2 1
L1 1
2
2 (1 / 2)
L2 2
2
2 2 (1 / 4)

0
L3 4
2

2 (1 / 2 n 1
)
n 1
Ln 2
2

2 lim Ln !!
0 1

1 2 !! n

3
Integrales de lnea, de camino o de contorno reales
n

F ( x ,y )s
B
A
F ( x, y )ds lim
n
k 1
k k k
sk | sk |

donde sk 0 cuando n . B

y s n ( xn , yn )


s 2
s1 ( x2 , y2 )
A ( x1 , y1 )
x
x1 4
y Camino
F ( x, y ) xy y 1 x2
A (0,1)
B (1, 0 )
y 1 x 2
A
F ( x, y )ds
( 0 ,1)
xyds
1
x(1 x ) 1 4 x dx ...
2 2

0
x 0

B (1,0)
Otra manera:
0 5 4y
dy
2 1
y 1 y
4(1 y )
dy
ds 1 dx 1 4 x 2 dx
dx
0 5
2
dx
ds 1 dy
5 4y
dy 1
y
4
y dy ...
dy 4(1 y )
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 x k
n

F ( x, y)ds lim F ( x ,y )s
B
k k k
A n
k 1
dy 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
B
ds
A

F( x,y)
B
ds
A
6
y Ejemplo: F ( x, y ) xy Camino
A (0,1) y 1 x2
Camino:
y 1 x2 B (1, 0 )
F ( x, y)dx
A ( 0,1)
xydx
4 1
x 1 x x 1
2

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

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

Ejercicio: recalcular las


x 1 y tres integrales recorriendo el
camino en sentido inverso. 7
y Calculemos de nuevo
A (0,1) de otra forma: F ( x, y ) xy
y 1 x2 B B dy
A F ( x, y)dy A F ( x, y) dx dx
0
x
B (1,0)

(1, 0 ) (1, 0 )dy


(0,1) xydy (0,1) xy dx dx
1 4
0
2
Repetir para
dx y dx/dy.
x ( 1 x )( 2 x ) dx
15 8
La integral depende del sentido en los que recorramos el camino C
en los casos de dx y dy:

B A
A
F ( x, y )dx F ( x, y )dx
B
B A
A
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 |
B A
F ( x, y)ds F ( x, y)ds
A B
9
Integrales de lnea, de camino o de contorno en el plano complejo
y
zk xk iyk
B
y n z n zn f ( z ) u ( x, y ) iv ( x, y )
n

f (z
B

z 2

A
f ( z )dz : lim
n
k 1
k )zk
z1
A z1
z2
donde z 0 cuando n .
x1 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 ]


C C


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 )
i
dt dt dt

f z (t ) dt
t (B) dz

C
f ( z )dz
t ( A) dt
t ( B)
t ( A)
f (t )[ x' (t ) iy ' (t )]dt

12
Ejemplo:

Evala : zdz
C

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

z (t ) 3t it 2 , z ' (t ) 3 2it
f ( z (t )) 3t it 2 3t it 2
4
)(3 2it )dt
2
De modo que, zdz (3t it
C 1
4 4
(2t 9t )dt i 3t 2 dt 195 65i
3
1 1

13
Evala C ( x 2 iy 2 )dz
donde C es el contorno de la figura

C ( 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 :
1 1 2
( x iy )dz (t it )(1 i )dt (1 i ) t 2 dt
2 2 2 2 2
i
C1 0 0 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:
2 2 2 7
C2 1 1 1 i
2 2 2 2
( x iy ) dz ( 1 it )idt t dt i dt
3
2 7 7 5
C i
2 2
( x iy ) dz i ( i )
3 3 3 3 14
z
zz dz
2
Calcular la integral
C
Donde C es el arco de circunferencia z 1, (0 arg( z) ,)
orientado positivamente.
i
z 1 z e

z e

2
zz dz ie i i 2
1 d i e i 3 e i d
0 0
C

1 i 3 i 8 Examen
e e SEPTIEMBRE 02/03: P-1
3 0 3

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.

C
f ( z)dz f ( z)dz
C
Para no recargar con smbolos

Decimos que la integracin


se lleva a cabo en sentido
negativo si ocurre lo contrario.
C
f ( z)dz f ( z)dz
C

Se cumple que:
C
f ( z)dz f ( z )dz
C 18
Propiedades de las integrales de contorno

k f ( z) d z k
C 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 1
f ( z ) d z f ( z ) d z,
C2

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

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

2
f z (t ) dt
dz
f ( z )dz dz
C z 2i
C 0
dt
2
i t ri ei t dt
1
0
re
2 Nota: podramos haber usado
i dt 2 i C : z(t ) r cos t i sin t
0
Ejercicio: repetir con esta forma. 20
21
Ejemplo y
C2
Integrar la funcin f ( z ) 1 / z 1 i 1 i
a lo largo del cuadrado
C1
Introducir un parmetro t
variando entre 1 t 1 C3 x
1
1 i 1 i
f ( z )dz f z (t ) dt
dz

C 1
dt C4
1
1 ti t i
f z (t )
dz 1
C1 : z (t ) 1 ti,
dt
i ,
1 ti 1 t 2
, I1 11 t 2 dt
1
t i t i
f z (t )
dz 1
C2 : z (t ) t i,
dt
1,
t i 1 t 2
, I 2
1
1 t 2
dt

1
1 ti t i
f z (t )
dz 1
C3 : z (t ) 1 ti,
dt
i,
1 ti 1 t 2
, I 3
1
1 t 2
dt

1
t i t i
f z (t )
dz 1
C4 : z (t ) t i, 1, , I4 dt
dt t i 1 t 2
1
1 t 2
22
t i
1

f ( z )dz 4 dt
0 (integrando impar en y
1
1 t 2 intervalo de integracin par) C2
C
1 i 1 i
1
t
1
1
4 dt i dt C1
1 1 t 1 t
2 2
1
4i arctan t
1
C3 x
1

4i / 4 / 4 1 i 1 i
C4
2 i

dz
C z 2 i

23
Ejemplo: Repitamos trasladando el circuito de integracin. y
C2
Integrar la funcin f ( z ) 1 / z 3 i
1 i
a lo largo del cuadrado
C1
Introducir un parmetro t
variando entre 1 t 1
C3 x
3i
1 i
1 C4
f ( z )dz f z (t ) dt
dz

C 1
dt
1
1 ti t i
i, f z (t )
dz 1
C1 : z (t ) 1 t i,
dt

1 ti 1 t 2
, I1 11 t 2 dt
1
2t i (2 t ) i
f z (t )
dz 1
C2 : z (t ) 2 t i,
dt
1,
2 t i 1 (2 t ) 2
, I 2
1
1 (2 t ) 2
dt

1
3 ti t 3i
f z (t )
dz 1
C3 : z (t ) 3 t i,
dt
i,
3 ti 9 t 2
, I3 1 9 t 2 dt
1
2t i ( 2 t ) i
f z (t )
dz 1
C4 : z (t ) 2 t i,
dt
1,
2 t i 1 ( 2 t ) 2
, I 4
1
1 ( 2 t ) 2
dt

24
Usando las relaciones dt 1 t b
a 2 (b t ) 2 a arctan a
(b t )dt
a 2 (b t ) 2
2 2
ln a (b t )

C2
y
obtenemos 3 i 1 i

C1
dz
C z 0 C3 x
3i 1 i
C4
Donde C ahora es el cuadrado
unitario anterior desplazado
a la izquierda 2 unidades.
25
26
Observa que:
C
dz dz
C z 2 i C z 0
C

dz dz
C z 0 C z 0
C

C dz dz
C z 0 C
C z 0
27
C
C
dz dz
C z 2i C z 0

C dz dz
C z 0 C z 0

C dz dz
C z 0 C
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

C, entonces:
f ( z )dz 0
C
Ejemplos:
C
C
dz
C z 0
dz 0
z
e
C

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
continuas en en todos x y x y
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. x1 y1 P
P
dxdy dy dx
C3 R
y x 0
0 y
y

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

C4 C2 x0
x1 x0
y0
C1
x0
P( x, y0 )dx P( x, y1 )dx
x1

x0 x1 C1
P( x, y )dx P( x, y )dx.
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
R
y C1 C3

C2
P( x, y )dx P( x, y )dx P( x, y )dx
C4 c

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

f ( z)dz
derivadas parciales continuas en todos
C los puntos dentro y sobre C:

u( x, y
C
)dx v( x, y )dy i v( x, y )dx i u ( x, y )dy
C
C
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 )
v u u v
dxdy i dxdy 0
D
x y D x
y
0
(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:

C
f ( z)dz 0

Es menos restrictivo que


el teorema integral de
Cauchy. Goursat
demostr el teorema
integral de Cauchy sin
imponer la restriccin Edouard Jean-Baptiste Goursat
alguna sobre la derivada (1838 1936)
de f(z). 37
1 Ejemplos
C1
C cos z dz 0 C1
1

1
C2 C cos z dz ? C2
2

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


3e z sin z
1 C 3 z dz 0
C sin( z)dz 0 1

3e z sin z
2i
C 3 z dz ?
No es analtica en C 2

los puntos f (z) es no analtica


z = 0, 1, 2,... en z = 3
-2 -1 0 1 2
38
Para demostrar el teorema de Cauchy-Goursat emplearemos la
desigualdad ML:

longitud
Cotas para integrales
de lnea. f ( z )dz ML
C
de C

cualquier nmero tal que


Demostracin:
f ( z ) M sobre C

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

donde z 0 cuando n
39
Observemos que si |f(z)|=1, entonces:
n

dz lim z
C
n
k 1
k L; donde L es la longitud de C.

Por la desigualdad triangular, tenemos:

n n

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

k 1
f ( z k ) z k f ( z ) dz
C

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

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

f ( z )dz lim
n
f ( z )z
k 1
k k
C
n n
lim
n
f ( z ) z
k 1
k k M lim
n
z
k 1
k ML

Desigualdad ML

f ( z )dz ML
C
41
z
Ejemplo: e
Encuentra una cota superior para el valor absoluto de: C z 1 d z
donde C es el crculo |z| = 4.
z z z
e |e | |e |
Puesto que |z +1| |z| 1 = 3, entonces:
z 1 | z | 1 3
Adems, |ez| = ex, con |z| = 4, y tenemos z 4
e e
que el mximo valor de x es 4. As:
z 1 3
f ( z) M
L 2R
e z
8e 4

C z 1 d z
3
42
Im (z)
Demostrar la siguiente desigualdad:

2
Log zdz
4 Re (z)

Respuesta. 1

Log z ln z i arg z

Log zdz ML

L: longitud del arco: L
Log z i , 0
2 2
M: max |Log z|

M
2
2

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:

1
Sea el camino triangular ABCA.
Trazamos un tringulo auxiliar
EFD a partir de los puntos medios E D
de los lados del tringulo ABC.
Entonces: 4
2 3
ABCA
f ( z )dz B
F C

1
f ( z )dz
2
f ( z )dz
3
f ( z )dz
4
f ( z )dz
45
Aplicando la desigualdad triangular:

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


ABCA 1 2 3 4

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

Entonces:
f ( z )dz 4 f ( z )dz
ABCA 1

Repitiendo el proceso con el tringulo


1

f ( z )dz 4 2 f ( z )dz
ABCA 2
46
Despus de n pasos, tendremos:

f ( z )dz 4 n f ( z )dz
ABCA n

Hemos construido una sucesin de tringulos encajados:


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

gracias al principio de Cantor de compactos encajados:


{z0 }
n

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. 47
f ( z)dz
n

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


n
n
n

0 0
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


n n

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

P
Pn n
2 z
P n
| z z0 | Pn n z0
2
Usando la desigualdad ML:

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

P 2
f ( z )dz 4 n
n 49
Tenamos:

f ( z )dz 4 n f ( z )dz
ABCA n

P 2

f ( z )dz 4 P 2
n

ABCA
4n

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
A
Couchy-Goursat a cada
tringulo podemos B
demostrar el teorema
para un polgono E
cerrado arbitrario.
C D
z0 z n
Intentaremos aproximar
una curva arbitraria a travs
z1 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
z2 compleja.
51
Recordemos que: Para n finito, estamos
n
f ( z )dz lim f ( zk )zk
aproximando la curva

C n
k 1
cerrada con un polgono

P cerrado de n lados y
Sn de permetro Sn.
Obviamente:

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

Usando la desigualdad triangular:

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

n n

1 2

Acotaremos 1 y 2
52
Comencemos con 1
C
f ( z )dz Sn

lim S n : f ( z )dz
n C

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


para n > N():



C
f ( z )dz S n
2

53
Sigamos con 2 acotemos: Sn

P
f ( z )dz 0
z1 z2 zn
f ( z )dz f ( z )dz ... f ( z )dz
z0 z1 z n1
z1
z0
{ f ( z ) f ( z1 ) f ( z1 )}dz
z2
z1
{ f ( z ) f ( z 2 ) f ( z 2 )}dz ...
zn
z n1
{ f ( z ) f ( zn ) f ( zn )}dz 0

54
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
z n1
{ f ( z ) f ( z n )}dz f ( z n ) dz
z n1

z n

z1 z2
z0
{ f ( z ) f ( z1 )}dz { f ( z ) f ( z2 )}dz ...
z1
zn
z n1
{ f ( z ) f ( zn )}dz S n 0
55
Multiplicando por 1 y cambiando el signo de los integrandos:

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

Utilizando la desigualdad triangular:

z1 z2
Sn z0
{ f ( z1 ) f ( z )}dz z1
{ f ( z2 ) f ( z )}dz ...
zn
z n1
{ f ( zn ) f ( z )}dz

56
Para cada una de las k integrales zk
(k=1,2, ..., n) usaremos la
desigualdad ML.
z k 1
{ f ( zk ) f ( z )}dz

Observemos que la longitud de cada integral es:


zk
z k 1
dz zk zk 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:

z1 z2
Sn z0
{ f ( z1 ) f ( z )}dz
z1
{ f ( z2 ) f ( z )}dz ...
zn

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

De modo que:

P


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

58
Recopilando:

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

2

Puesto que es arbitrario, entonces:

C
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. Sentido negativo

Entonces:
C1 C2
f ( z)dz f ( z)dz
C1 C2

Recordatorio: Un dominio es un conjunto abierto


conexo (no incluye los puntos frontera).
D
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
C1 AB C 2 BA
C1 C2
Sentido positivo

f ( z )dz f ( z )dz
C1 AB
B

A
f ( z )dz f ( z )dz
C2 BA Como: f ( z)dz f ( z)dz
f ( z )dz f ( z )dz 0
AB BA


C1 C2
Nota: Observa que los sentidos en que se f ( z )dz 0
recorren los circuitos en este dibujo y el
anterior, no son los mismos... C C1 C 2 64
e dz e dz
z z
Ejemplo 1: (obvio!)
C1 C2

C1 C2

D
1 1
Ejemplo 2: C z dz C z dz (no tan obvio)
1 2

65
Otra demostracin L1 y
Introduzcamos dos cortes, Inicio
L1 y L2 ,que unen los dos **
contornos. 4
5
C 6
8

x
Sean C* y C** los dos nuevos 3
7
contornos cerrados indicados 1 2
*
por las flechas (1-2-3-4) C
y (5-6-7-8), respectivamente.
L2
Ahora f (z) es analtica sobre y dentro
de C* y C** . Por el teorema Integral de Cauchy:


c*
f ( z )dz 0,
c**
f ( z )dz 0
66
Integramos alrededor del dominio D, L1 y
a lo largo de 1-2-3-4-5-6-7-8. As: Inicio
**
5 C 8

f ( z )dz
1 2 3 4
*
f ( z )dz **
f ( z )dz 4 6
x
C C
5 6 7 8 7
3

f ( z)dz f ( z )dz
1
C * 2

1, 3 6,8
L2
f ( z)dz f ( z)dz
C1 C2
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

f ( z )dz f ( z )dz
transformarse en el otro mediante
una deformacin continua y sin
cruzar ninguna singularidad de
C1 C2
f(z), entonces:

y Recordemos:
C2
1 i 1 i
C1 dz
C3 x C z 2i
1 i 1 i
C4
68
Ejemplo

As que como la integral


de f(z) = 1/z a lo largo de un C2
crculo de radio r es 2i:
C1 r
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 1 es analtica
este crculo es tambin 2i. z aqu
69
Ejemplo 3i
Evaluar la integral
dz
C z 2 ( z 2 9) dz C

donde C es un crculo de 0 1 2
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, n
entonces:
C f ( z )dz C f ( z) d z
k 1 k
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 C1
C3 forman anillos con C1.
Por deformacin de
contornos:
C2

f ( z )dz f ( z )dz D
f ( z)dz f ( z)dz
C1 C2

f ( z )dz f ( z)dz
C1 C3
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
i
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:
1
f ( z )dz a1 a2 a3
Por el teorema de Cauchy-
Goursat en dominios
mltiplemente conexos:
2
f ( z )dz a1 a2

3
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 0 t 1 C
dz
(2) Integramos: 1 i x
dt 0
1 1
f z (t ) dt (t i t )(1 i )dt
dz
f ( z )dz
C 0
dt 0


1 1

0 1
2 1
(t i t it t ) dt 2 tdt t
0 0 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:
A lo largo de C1: z(t ) t 0 t 1 y
1 1 i
f z (t ) dt
dz
f ( z )dz
C 0
dt
C2
t
1
(t )(1)dt 1 2 1
2 0
1
2
0 C1 x
A lo largo de C2: z(t ) 1 i t 0 t 1 0 1
1
f z (t ) dt
dz
f ( z )dz
C 0
dt


1 1
(1 i t )( i )dt (t i )dt
1
1
2 t it
2
0
1
2 i
0 0 75
zdz 1
C
y
1 i El valor de la
integral entre dos
puntos depende
siempre del camino?

0
x

1 1
C zdz
2 2
i 1 i
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 C
(2) Integramos:
0
x
1 1
f z (t ) dt (t i t )(1 i )dt
dz
f ( z )dz
C 0
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:

A lo largo de C1: z(t ) t 0 t 1 y


1 1 i
f z (t ) dt
dz
f ( z )dz
C 0
dt
C2
t
1
(t )(1)dt 1 2 1
2 0
1
2
0 C1 x
A lo largo de C2: z(t ) 1 i t 0 t 1 0 1
1
f z (t ) dt
dz
f ( z )dz
C 0
dt


1 1
(1 i t )(i )dt (t i )dt t i t
1
1
2
2
0
12 i
0 0 78
zdz i
C
Ahora el valor de la
y integral no depende
1 i del camino.
Qu diferencias hay
entre f(z) = z y f(z)= z ?

0
x
1 1
C zdz
2 2
i i
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
y
z(t ) 2 t 2ti 0 t 1
1
1 2i
f z (t ) dt
dz
f ( z )dz
C 0
dt C
1
( 2 t 2ti) 2 ( 1 2i )dt x
0
0 2

1
( 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
Integrar la funcin f ( z ) z a lo largo del camino C = C1+ C2
2

uniendo 2 y 1+2i tal como muestra la figura


y
A lo largo de C1: z(t ) 2 t 0 t 2
1 2i
2


C
f ( z )dz (2 t ) 2 (1)dt
0
C2
2
8
(t 2 4t 4)dt
3
0
x
0
C1 2
A lo largo de C2: z(t ) t 2ti 0 t 1
1


C
f ( z )dz (t 2ti) 2 (1 2i )dt
0
1
11 2
( 11 2i ) t 2 dt i
0
3 3 81
z dz (19 2i ) / 3
2

C
y
El valor de la integral
1 2i a lo largo de los dos
caminos es el mismo.
Coincidencia?

0
x
2


2
z dz (19 2i ) / 3
C
82
Independencia del camino
Supongamos que f (z) es analtica en
un dominio simplemente conexo D z1
C2 D
f ( z )dz f ( z )dz 0
C1 C2

(por el teorema integral de Cauchy) C1


z2 z1
z2
f ( z )dz
z1
a lo largo de C1 f ( z )dza lo largo de C2 0
z2
z2 z1

f ( z )dz
z1
a lo largo de C1 f ( z )dza lo largo de C2
z2
z2 z2

f ( z )dz
z1
a lo largo de C1 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
1+i
i
L0 Ejemplo: f(z)=|z|2
L2
x L0 : x t y t 0 t 1
L1 1
L1 : x t y0 0 t 1
L2 : x 1 yt 0 t 1
f ( z ) | z |2

2(1 i )
1 1
L0 : I 0 dt
2 2 2
| t it | (1 i ) dt | 1 i | (1 i ) t
0 0
3
1 1
1
L1 : I1 dt dt Observa que L0 L1+L2
2 2
| t | t
0 0
3
1 1
i 4i
L2 : I 2 | 1 it | idt (1 t )idt i
2 2

0 0
3 3
85
y
1+i
i
L0 Ejemplo: f(z)=z2
L2
x L0 : x t y t 0 t 1
L1 1
L1 : x t y0 0 t 1
L2 : x 1 yt 0 t 1
f ( z) z 2

2i 2
1 1
L0 : I 0 dt
2 3 2
(t it ) (1 i ) dt (1 i ) t
0 0
3
1
1
L1 : I1 t dt 2 Observa que L0=L1+L2
0
3
2i 3
1 1
L2 : I 2 idt i 2t )idt
2 2
(1 it ) (1 t
0 0
3
86
y Ejemplo: calcular i 1
i C1 1 z
dz
C2 A lo largo del camino C1: x 4 y 4 1

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


0
x todo el plano complejo excepto
1
en z = 0. Podemos utilizar un
camino ms sencillo C2 (|z| = 1).
/2
f z ( ) d
dz
f ( z)dz f ( z)dz
C1 C2 0
d
/2
i
e
1
i
i
i e d
2
0 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
1
f ( z) d z 0

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

89
Independencia del camino z0
z1

Consideremos la integral f ( z )dz


z0 z1
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
dF
f ( z) dz F ( z ) F ( z )
z0
1 0
donde
dz
f (z )

1 2i 3
z z3 1
p.ej. dz (19 2i )
2
z
2
3 z 1 2i
3 z 2
3
90
Ejemplos
i
i todo el plano
(1)
cos zdz sin z
i
i
complejo

2 sin( i ) 2i sinh
C
23.097i
1 i
(2) zdz ?
0
( f (z) es no analtica en todo punto -
depende del camino)

i i
1 1
(3)
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 vx 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 antideriva da 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
y

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

x i d i
1 0 1

Por qu en este caso la integral depende del camino?


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

0
C2 i d i

y
94
y Intentemos definir F(z) = Ln z
i como primitiva. En este caso
C1 una posible primitiva es:

log z log | z | i arg z


1 0 1
x
con - / 2 arg z 3 / 2
Punto de
Corte ramificacin
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 Corte
Intentemos definir una ramificacin
primitiva para este caso. 1 0 1
x
Observe que NO puede ser
la misma que en el caso anterior:
log z log | z | i arg z C2

con / 2 arg z 5 / 2 y
1
1 1
C z dz 1 z dz log z 1
1
Y tomemos los
2
cortes como los
tomemos, siempre
log | 1 | i arg(1) log | 1 | i arg( 1) obtendremos este
i (2 ) i 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 f (z) es analtica en todo punto
C z 0 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 ( z 0 )
C

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
C D
f ( z)
C z z0 dz 2 i f ( z0 )
z0 0
se convierte en
f (z) es una funcin constante,
1
C z dz 2i 1 2i es entera, as que C puede ser cualquier
contorno cerrado en el plano complejo
conteniendo z = 0.
101
Ejemplo
2
z
Evaluar la integral dz donde C es z 1 2
C
2 z
z = 2 es un punto singular en el interior a C.
La frmula integral de Cauchy

f ( z) z0 2
C z z0 dz 2 i f ( z0 )
f (z) es analtica en todo punto de
se convierte en: modo que C puede ser cualquier
contorno en el plano complejo
2 conteniendo el punto z = 2.
z
dz 2 i 4 i8
C
z2 102
Demostracin no rigurosa de
z la frmula integral de Cauchy:
i
r0 e
C Por el principio de deformacin
z0 de contornos:
C0
f ( z) f ( z)
C z z0 C z z0
dz dz
0
i
f ( z) 2 f ( z r e ) 2
C z z0 0
i i
dz 0
i
0
ir0 e d i f ( z 0 r0 e )d
0
r 0 e 0

Cambio de i dz i
z z0 r0 e ; ir0 e
variable:
d
103
Hemos tomado un r0 arbitrario. Hagmoslo infinitamente
pequeo:
2 2
lim i f ( z0 r0e )d i f ( z0 )d
i
r0 0
0 0

2
if ( z0 ) d 2if ( z0 )
0

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

104
Demostracin de la frmula
integral de Cauchy. Por el
z principio de deformacin
i
r0 e de contornos:
C
z0 f ( z) f ( z)
C0 C z z0 C z z0
dz dz
0

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

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

I1 I2 105
1 2 1 2
I1 dz
ir0e d i d 2i
i

C0
z z 0
0 re
0
i 0

f ( z ) f ( z0 )
Vamos a encontrar una cota ML para I 2 C0 z z0
dz
Tenemos: L 2 r0
f ( z ) f ( z0 ) f ( z ) f ( z0 )
Y necesitamos M tal que: 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
f ( z ) f ( z0 )
I2 C0 z z0
dz ML 2 r0 2
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) 1 f ( z ) f ( z0 )
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:
C
dz i
(1) donde C es el crculo |z |=2
C
z i

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

f ( z0 ) 1
f ( z) 1
z0 i

dz
f (z) es analtica en D y C incluye z0 C z i 2i 108
dz
(2) 2 donde C es el crculo |z+i |=1 i
C
z 1

En primer lugar, notemos que 1/(z2+1) presenta


puntos singulares en z = i. i C
El contorno C incluye uno de esos puntos, z = -i. D
Ese es nuestro punto z0 en la frmula
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
1
dz dz z i dz
C z 2 1 C ( z i)( z i) C z i i

f ( z)
C z z0 dz 2i f ( z 0 ) i C
D
1 f ( z0 ) i / 2
f ( z)
z0 i z i

dz
2
C
z 1
110
z
Evaluar 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
C z 2 9 d z C z 3i d z 2 i f (3i) 2 i 6i i
z 3i
111
Otro ejemplo
z
e
Evaluar dz donde C es cualquier contorno cerrado
C
zi conteniendo z = -i
Frmula integral de Cauchy:
f ( z)
C z z0 dz 2 i f ( z0 )
C D

se convierte en
z0 i
z
e
C z i dz 2 ie
i

f (z) es analtica en todo punto


112
dz
C z 4 1 donde C es el crculo |z+i |=1 i
C
Tenemos que
dz dz 1 1
C z 4 1 C ( z 1)( z 1)( z i)( z i) i
El contorno C incluye uno de esos puntos, z = +i.
Ese es nuestro punto z0 en la frmula
dz f ( z) 1
C z 1 C z i
4
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)
4 dz 2i f ( z0 )
C
z 1 C z z0 2 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
1
integracin 1
3 / 2 /2
C incluye dos puntos singulares, z = 1. C
Para poder usar la frmula integral de Cauchy,
debemos tener slo un punto singular z0 dentro de C.

Usaremos fracciones parciales:


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

z 1 z 1 z 1
2
( z 1)( z 1)
( A B) z 0
A 1 / 2, B 1 / 2
A B 1 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
1 /2
z0 1 z0 1
f ( z ) tan z C
f ( z ) tan z
f ( z0 ) tan 1 f ( z0 ) tan( 1)

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


tan z 1

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
f analtica en y dentro
de C, z0 dentro de C
z0

Por ejemplo,
z 2 3z
d z 2 3z cos z d 2 cos z
C z 12 dz 2i dz ,
z 2 3
dz i
dz 2
z 0 1 C z0 2

Esta frmula tambin es conocida como la formula para las


derivadas de una funcin analtica.
f ( z)
Nota: cuando n=0 tenemos la
Frmula Integral de Cauchy: C z z0 dz 2i f ( z) z0 121
Demostracin de la generalizacin de
la frmula integral de Cauchy 1 f ( z)
Partamos de la frmula integral de Cauchy: f ( z0 )
2i C z z0
dz

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)
dz0
f ( z0 ) dz
dz0 2i C z z0 Usar el mismo
1 d 1 procedimiento para

2i C
f ( z) dz
dz0 z z0
demostrar por induccin:

f ( z ) 2 i d n
f
1

f ( z)
dz n 1
dz
2i z z
n
2
C z z 0
n! dz z
C 0 0
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 C
e
C z 2 dz donde C es el crculo |z |=2
f ( z)
C ( z z0 )2 dz 2i f ( z 0 ) D

f ( z ) ez
z
sea f ( z ) e f ( z0 ) e
0

sea z0 0
z
e dz
C z 2 2
f (z) es analtica en D, y C incluye z0 2 i
124
Ejemplo
Evaluar la integral
2 C
z
C z i 3 dz donde C es el crculo |z |=2
f ( z) 2 i
C ( z z0 )3 dz
2
f
( z 0 ) D

f ( z ) 2
sea f ( z ) z f ( z 0 ) 2
2

sea z0 i
2
z dz
f (z) es analtica in D, y C incluye z0 C ( z i ) 3 2 i 125
ez
Calcular C z 2i 3 dz
donde C es la circunferencia z 3 con sentido positivo.

ez
I dz
C z 2i
3

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

siendo :
z0 2i; f ( z ) e z f ( z0 ) e 2i
2! ez I
2i C z 2i 3
e 2i dz I ie 2i

i
Examen
JUNIO 02/03: P-1 126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
z1
Resumen:
dF
f ( z) dz F ( z ) F ( z )
(1) donde f (z )
1 0
z0
dz
F (z) analtica en un dominio simplemente conexo D,
con derivada dF/dz = f(z) y z0 y z1 en D.
(2) f ( z)dz 0
C
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
C
z zo
(Frmula integral de Cauchy )
f ( z) 2i d n f
(4) dz con f (z) analtica
C z z 0
n 1 n
n! dz z0
dentro y sobre C
( Frmula para derivadas ) 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
C
para cualquier camino cerrado en D, entonces f (z) es analtica en D

(2) La desigualdad de Cauchy: f ( z) M en C


r
n! M z0
f (n)
( z0 ) n
r C
(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:

n! f ( z)
( z0 ) | C ( z z )n 1 d z
(n)
|f
2 0
n! 1 n!M
M n 1 2 r n
2 r r

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


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)
f ( z) e z , z C z
1, z C
e
f ( z)
Por el teorema de Liouville:
z
cte. , con 1
e

Por tanto f ( z ) e z
153
154
155
156