1

0
2
Falacias, falacias, ...
! ! lim 2
2
) 2 / 1 ( 2
2
2
) 4 / 1 ( 2
4
2
) 2 / 1 ( 2
2
2
1 2
1
1
1
3
2
1
t
t
t
t
t
t
t
t
t
= =
= =
= =
= =
= =

n
n
n
n
n
L
L
L
L
L
.
0
1
! ! 2 1=
2
Integrales de lnea, de camino o de contorno reales
. cuando 0 donde
) , ( lim ) , (
1
A
A =

}
=

n s
s y x F ds y x F
k
k k
n
k
k
n
B
A
| |

A = A
k k
s s
1
x A

A
1
s

A
2
s

A
n
s
A
B
) , (
1 1
y x
) , (
2 2
y x
) , (
n n
y x
x
y
3
y
x
2
1 x y =
0
) 0 , 1 ( = B
) 1 , 0 ( = A
xy y x F = ) , (
...
4
5
) 1 ( 4
4 5
1
... 4 1 ) 1 (
) , (
0
1
0
1
1
0
2 2
) 0 , 1 (
) 1 , 0 (
}
}
}
} }
=
=

= +
= =
dy y y
dy
y
y
y y
dx x x x
xyds ds y x F
B
A
dy
y
y
dy
dy
dx
ds
dx x dx
dx
dy
ds
) 1 ( 4
4 5
1
4 1 1
2
2
2

=
|
|
.
|

\
|
+ =
+ =
|
.
|

\
|
+ =
El signo debe tomarse de modo que ds>0 para los valores x e y en juego.
En este caso +.
Otra manera:
2
1 x y =
Camino
4
k k
n
k
k
n
B
A
s y x F ds y x F A =

}
=

) , ( lim ) , (
1
dx
dy
k
x A
k
y A
=
=
) ( F
1 ) ( F
x,y
x,y
Interpretacin fsica de las integrales de lnea:
Podemos definir las integrales con dx y dy:
}
B
A
ds
}
B
A
ds
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).
5
y
x
2
1 x y =
0
) 0 , 1 ( = B
) 1 , 0 ( = A
xy y x F = ) , (
4
1
4 2
) 1 (
) , (
1
0
4 2
1
0
2
) 0 , 1 (
) 1 , 0 (
=
(

=
= =
}
} }
x x
dx x x
xydx dx y x F
B
A
15
4
1 ) , (
0
1
) 0 , 1 (
) 1 , 0 (
= = =
} } }
dy y y xydy dy y x F
B
A
y x = 1
Ejercicio: recalcular las
tres integrales recorriendo el
camino en sentido inverso.
Negativo?
Ejemplo:
Camino:
2
1 x y =
Camino
6
y
x
2
1 x y =
0
) 0 , 1 ( = B
) 1 , 0 ( = A
xy y x F = ) , (
dx
dx
dy
y x F dy y x F
B
A
B
A
} }
= ) , ( ) , (
15
4
) 2 )( 1 (
1
0
2
) 0 , 1 (
) 1 , 0 (
) 0 , 1 (
) 1 , 0 (
=
= =
}
} }
dx x x x
dx
dx
dy
xy xydy
Calculemos de nuevo
de otra forma:
Repetir para
dx y dx/dy.
7
La integral depende del sentido en los que recorramos el camino C
en los casos de dx y dy:
dy y x F dy y x F
dx y x F dx y x F
A
B
B
A
A
B
B
A
} }
} }
=
=
) , ( ) , (
) , ( ) , (
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:
| | | |

A = A = A
k k k
s s s
ds y x F ds y x F
A
B
B
A
} }
= ) , ( ) , (
8
Integrales de lnea, de camino o de contorno en el plano complejo
. cuando 0 donde
) ( lim : ) (
1
A
A =

}
=

n z
z z f dz z f
k
n
k
k
n
B
A
) , ( ) , ( ) ( y x iv y x u z f
y i x z
k k k
+ =
A + A = A
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?
1
z A
A
B
1
z
2
z
n
z
x
y
2
z A
n
z A
1
x A
n
y A
9
Conexin entre integrales de lnea reales y complejas
(

+
+
(

= + + =
} }
} }
} }
C C
C C
C C
dx y x v dy y x u i
dy y x v dx y x u
idy dx y x iv y x u dz z f
) , ( ) , (
) , ( ) , (
] )][ , ( ) , ( [ ) (
Con C indicamos el camino de la integral de lnea.
10
| |
}
} }
+
= =
) (
) (
) (
) (
)] ( ' ) ( ' )[ (
) ( ) (
B t
A t
B t
A t
C
dt t iy t x t f
dt
dt
dz
t z f dz z f
Integracin de funciones complejas parametrizadas
Arco suave C de A a B:
) ( ) ( ) ( t iy t x t z + =
parametrizacin continua con t(A)st s t(B) y con derivadas
x(t) e y(t) continuas.
dt
t dy
i
dt
t dx
dt
t dz ) ( ) ( ) (
+ =
11
Camino o contorno simple cerrado
Es un contorno que
genera dos dominios:
uno acotado (interior)
y otro no acotado
(exterior). Ambos
dominios tienen al
contorno como
frontera.
Camino o contorno no
simple cerrado
12
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 C
dz z f dz z f ) ( ) (
Para no recargar con smbolos
Decimos que la integracin
se lleva a cabo en sentido
negativo si ocurre lo contrario.
} }

=
C C
dz z f dz z f ) ( ) (
} }

=
C C
dz z f dz z f ) ( ) (
Se cumple que:
13
Integrar la funcin
a lo largo de la circunferencia: |z| = r.
z z f / 1 ) ( =
Ejemplo
Introducimos un parmetro t
variando entre
t 2 0 s st
y
x
r
C
| |
( )
i dt i
dt e ri
re
dt
dt
dz
t z f dz z f
t i
t i
C
t
t
t
t
2
1
) ( ) (
2
0
2
0
2
0
= =
=
=
}
}
} }
t i
re t z C = ) ( :
Nota: podramos haber usado
( ) t i t r t z C sin cos ) ( : + =
Ejercicio: repetir con esta forma.
i
z
dz
C
t 2 =
}
14
Integrar la funcin
a lo largo del cuadrado
z z f / 1 ) ( =
Ejemplo
Introducir un parmetro t
variando entre
1 1 + s s t
y
x
i + 1
i 1
i + 1
i 1
1
C
3
C
2
C
4
C
| |
| |
| |
| |
}
}
}
}
+

+
+
=
+
+
=

= + = =
+
+
=
+
+
=

= = =
+
+
=
+

=
+
= = + =
+
+
=
+

=
+
= + = + =
1
1
2 4 2 4
1
1
2
3
2
3
1
1
2 2 2 2
1
1
2 1 2 1
1
,
1
1
) ( , 1 , ) ( :
1
,
1
1
1
1
) ( , , 1 ) ( :
1
,
1
1
) ( , 1 , ) ( :
1
,
1
1
1
1
) ( , , 1 ) ( :
dt
t
i t
I
t
i t
i t
t z f
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f i
dt
dz
ti t z C
dt
t
i t
I
t
i t
i t
t z f
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f i
dt
dz
ti t z C
| |
} }

=
1
1
) ( ) ( dt
dt
dz
t z f dz z f
C
15
y
x
i + 1
i 1
i + 1
i 1
1
C
3
C
2
C
4
C
| |
( ) ( ) | |
i
i
t i
dt
t
i dt
t
t
dt
t
i t
dz z f
C
t
t t
2
4 / 4 / 4
arctan 4
1
1
1
4
1
4 ) (
1
1
1
1
2
1
1
2
1
1
2
=
=
=
)
`

+
+
+
=
+
+
=
+

} }
} }
i
z
dz
C
t 2 =
}
0 (integrando impar en
intervalo de integracin par)
16
z z f / 1 ) ( =
Ejemplo: Repitamos trasladando el circuito de integracin.
1 1 + s s t
| |
| |
| |
| |
}
}
}
}
+

+ +
+ +
=
+ +
+ +
=
+
= + = + =
+
+
=
+
+
=

= = =
+ +
+ +
=
+ +

=
+
= = + =
+

=
+

=
+
= + = + =
1
1
2
4
2
4
1
1
2
3
2
3
1
1
2
2
2
2
1
1
2
1
2
1
) 2 ( 1
) 2 (
,
) 2 ( 1
2
2
1
) ( , 1 , 2 ) ( :
9
3
,
9
3
3
1
) ( , , 3 ) ( :
) 2 ( 1
) 2 (
,
) 2 ( 1
2
2
1
) ( , 1 , 2 ) ( :
1
,
1
1
1
1
) ( , , 1 ) ( :
dt
t
i t
I
t
i t
i t
t z f
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f i
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f i
dt
dz
i t t z C
| |
} }

=
1
1
) ( ) ( dt
dt
dz
t z f dz z f
C
x
i + 1
i 1
i + 3
i 3
1
C
3
C
2
C
4
C
y
Integrar la funcin
a lo largo del cuadrado
Introducir un parmetro t
variando entre
17
Usando las relaciones
2 2
2 2
2 2
) ( ln
) (
) (
arctan
1
) (
t b a
t b a
dt t b
a
b t
a t b a
dt
+ + =
+ +
+
|
.
|

\
|
+
=
+ +
}
}
obtenemos
0 =
}
C
z
dz
x
i + 1
i 1
i + 3
i 3
1
C
3
C
2
C
4
C
y
Donde C ahora es el cuadrado
unitario anterior desplazado
a la izquierda 2 unidades.
18
0 =
}
C
z
dz
C
i
z
dz
C
t 2 =
}
C
0 =
}
C
z
dz
C
0 =
}
C
z
dz
C
0 =
}
C
z
dz
C
0 =
}
C
z
dz
C
Observa que:
19
0 =
}
C
z
dz
C
0 =
}
C
z
dz
C
i
z
dz
C
t 2 =
}
0 =
}
C
z
dz
C
0 =
}
C
z
dz
0 =
}
C
z
dz
C
C
C
20
}
=
C
dz z f 0 ) (
C
Teorema integral de Cauchy
Si f (z) es analtica con derivada
continua en todos los puntos
dentro y sobre un contorno cerrado
C, entonces:
0 =
}
C
z
dz
C
f (z) es analtica en todo punto
excepto en z = 0
0 =
}
C
z
dz e
f (z) es analtica en todo punto
C
Ejemplos:
21
Para demostrar el teorema de Cauchy nos ser necesario el
Teorema de Green (1828)
George Green (1793-1841).
Resultado de sus trabajos
en electromagnetismo.
y
Q
x
Q
y
P
x
P
y x Q y x P
c
c
c
c
c
c
c
c
y , , ), , ( ), , (
Sean
continuas en en todos
los puntos dentro y sobre un contorno C, entonces:
dxdy
y
P
x
Q
dy y x Q dx y x P
C D C
} }} } |
|
.
|

\
|
c
c

c
c
= + ) , ( ) , (
22
{ }
. ) , ( ) , (
) , ( ) , (
) , ( ) , (
3 1
1
0
0
1
1
0
1
0
1
0
1 0
0 1
} }
} }
}
}} } }
+
= +
= =
)
`

c
c
=
c
c

C C
x
x
x
x
x
x
R
x
x
y
y
dx y x P dx y x P
dx y x P dx y x P
dx y x P y x P
dx dy
y
P
dxdy
y
P
0
x
1
x
1
y
0
y
1
C
2
C
3
C
4
C
Supongamos que la regin R es un
rectngulo como muestra la figura.
= =
} }
0 ) , ( ; 0 ) , (
4 2
C C
dx y x P dx y x P
Puesto que sobre los caminos C
2
y C
4
no hay variacin en x:
23
} } }
} } }}
= +
+ + =
c
c

c C C
C C
R
dx y x P dx y x P dx y x P
dx y x P dx y x P dxdy
y
P
) , ( ) , ( ) , (
) , ( ) , (
4 2
3 1
Repitiendo anlogamente para Q(x,y), y teniendo en cuenta que
C
3
y C
1
no tienen variacin en y, obtendremos:
} }}
=
c
c
c
R
dy y x Q dxdy
y
Q
) , (
Y eso completa la demostracin para un contorno rectangular
recorrido en sentido positivo.
24
... ) ( ) ( ) (
2 1
+ + + + = +
} } }
C C C
Qdy Pdx Qdy Pdx Qdy Pdx
Podemos usar infinitos rectngulos
para recubrir exctamente el rea de R.
1
C
2
C
Recorrindolos como indica la
figura superior, se compensan
las integrales en los caminos
horizontales...
25
Demostracin del teorema integral de Cauchy:
_ _
} } } }
}
+ +
=
C C C C
C
dy y x u i dx y x v i dy y x v dx y x u
dz z f
) , ( ) , ( ) , ( ) , (
) (
) , ( : ) , (
) , ( : ) , (
y x v y x Q
y x u y x P
=
=
) , ( : ) , (
) , ( : ) , (
y x u y x Q
y x v y x P
=
=
0 =
|
|
.
|

\
|
c
c

c
c
+
|
|
.
|

\
|
c
c

c
c
=
}} }}
dxdy
y
v
x
u
i dxdy
y
u
x
v
D D
0
(Como f(z) es analtica
cumple las ECR)
Como suponemos u(x,y), v(x,y) y sus
derivadas parciales continuas en todos
los puntos dentro y sobre C:
26
}
=
C
dz z f 0 ) (
Teorema integral de Cauchy-Goursat
Si f (z) es analtica en todos los puntos dentro y
sobre un contorno cerrado C, entonces:
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)
27
Para demostrar el teorema de Cauchy-Goursat emplearemos la
desigualdad ML:
ML dz z f
C
s
}
) (
longitud
de C
cualquier nmero tal que
sobre C M z f s ) (
Demostracin:
A
A

}
=

n z
z z f dz z f
k
n
k
k
n
C
cuando 0 donde
) ( lim ) (
1
Cotas para integrales
de lnea.
28
C. de longitud la es L donde ; lim
1
L z dz
n
k
k
n
C
= A

}
=

Observemos que si |f(z)|=1, entonces:
Por la desigualdad triangular, tenemos:
}

}
= A s A =
=

=

C
k
n
k
k
n
k
n
k
k
n
C
dz z f z z f z z f dz z f ) ( ) ( lim ) ( lim ) (
1 1
} }
s
C C
dz z f dz z f ) ( ) (
29
Supongamos que: si z es un punto de C.
Entonces:
ML z M z z f
z z f dz z f
n
k
k
n
k
n
k
k
n
k
n
k
k
n
C
= A s A
s A =

}
=

=

=

1 1
1
lim ) ( lim
) ( lim ) (
ML dz z f
C
s
}
) (
M z f s ) (
Desigualdad ML
30
A
4
A
3
A
2
A
1
A
B
C
D
E
F
Demostracin del teorema de
Cauchy-Goursat para camino
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:
dz z f dz z f dz z f dz z f
dz z f
ABCA
} } } }
}
A A A A
+ + +
=
4 3 2 1
) ( ) ( ) ( ) (
) (
E = (A+B)/2; F = (B+C)/2; D=(C+A)/2
31
dz z f dz z f dz z f dz z f dz z f
ABCA
} } } } }
A A A A
+ + + s
4 3 2 1
) ( ) ( ) ( ) ( ) (
Aplicando la desigualdad triangular:
dz z f dz z f
ABCA
} }
A
s
1
) ( 4 ) (
Sea } , , , max{ :
4 3 2 1
1
A A A A = A
Entonces:
Repitiendo el proceso con el tringulo
1
A
dz z f dz z f
ABCA
} }
A
s
2
) ( 4 ) (
2
32
Despus de n pasos, tendremos:
dz z f dz z f
n
n
ABCA
} }
A
s ) ( 4 ) (
Hemos construido una sucesin de tringulos encajados:
n
ABC
A A A A A ,..., , , ,
3 2 1
gracias al principio de Cantor de compactos encajados:
existe un punto z
0
que pertenece a todos ellos.
Y puesto que z
0
est dentro o sobre A
ABC
, y como por el enunciado
f(z) es analtica en z
0
. Entonces:

) )( ( ) )( ( ) ( ) (
0 0 0 0
z z z z z z f z f z f +
'
+ = q
recordemos que q(z) depende de z y que q(z)0 cuando z z
0
; es
decir, que para todo c>0 podemos encontrar un o tal que |q(z)|<c
siempre que|z - z
0
|<o.

=
= A
1
0
} {
n
n
z
33

} } }
}
A A A
A
= +
'
+
=
n n n
n
dz z z z dz z z z f dz z f
dz z f
) )( ( ) ( ) ( ) (
) (
0
0
0 0
0
0
q
_
1 ) ( = z g
0
) ( z z z g =
Integrandos g(z) analticos con primeras derivadas
continuas. Podemos aplicar teorema integral de Cauchy.
} }
A A
=
n n
dz z z z dz z f ) )( ( ) (
0
q
34
Si P es el permetro de A
ABC
, entonces el permetro A
n
ser:
n
n
P
P
2
=
n
A
z
0
z
o < = s
n
n
P
P z z
2
| |
0

L
n
M
n
P P
dz z z dz z f
n n
2 2
) ( ) (
0
s =
} }
A A
_
c q
Usando la desigualdad ML:
n
P
dz z f
n
4
) (
2
c
=
}
A
35
Tenamos:
dz z f dz z f
n
n
ABCA
} }
A
s ) ( 4 ) (
2
2
4
4 ) ( P
P
dz z f
n
n
ABCA
c
c
= s
}
0 ) ( =
}
ABCA
dz z f
Y como c se puede tomar arbitrariamente pequeo, entonces:
36
Puesto que todo polgono cerrado se puede
triangular, aplicando el teorema de
Couchy-Goursat a cada
tringulo podemos
demostrar el teorema
para un polgono
cerrado arbitrario.

A
B
C
D
E
n
z z =
0
1
z
2
z
1 n
z
Intentaremos aproximar
una curva arbitraria a travs
de un polgono cerrado P de
vrtices z
0
, z
1
,

z
2
, ...

z
n-1
, z
n
= z
0
,
tal y como hicimos para
definir la integral de lnea
compleja.

37
_
n
S
k
n
k
k
n C
z z f dz z f A =

}
=

) ( lim ) (
1
Recordemos que:
Para n finito, estamos
aproximando la curva
cerrada con un polgono
P cerrado de n lados y
de permetro S
n
.
n
C
n
C
S S dz z f dz z f + =
} }
) ( ) (
Obviamente:

n
C
n
C
S S dz z f dz z f + s
} }
_
) ( ) (
Usando la desigualdad triangular para integrales:
1
2
Acotaremos y 1 2
38
}

C
n
S dz z f ) (
Comencemos con 1
}
=
C
n
n
dz z f S ) ( : lim
Entonces, dado cualquier c>0 existe un nmero N(c) tal que
para n>N(c):
2
) (
c
<
}
C
n
S dz z f
39
0 )} ( ) ( ) ( {
... )} ( ) ( ) ( {
)} ( ) ( ) ( {
) ( ... ) ( ) (
0 ) (
1
2
1
1
0
1
2
1
1
0
2 2
1 1
= +
+ + +
+ +
= + + + =
=
}
}
}
} } }
}

n
n
n
n
z
z
n n
z
z
z
z
z
z
z
z
z
z
P
dz z f z f z f
dz z f z f z f
dz z f z f z f
dz z f dz z f dz z f
dz z f
n
S
Sigamos con acotemos: 2
40

_

n
n
n
n
n
z
z
z
n
z
z
n
z
z
z
z
z
z
z
z
z
z
dz z f dz z f z f
dz z f dz z f z f
dz z f dz z f z f
A
A
A
} }
} }
} }

+
+ + +
+ + =
1 1
2
1
2
2
1
1
1
0
1
0
) ( )} ( ) ( {
... ) ( )} ( ) ( {
) ( )} ( ) ( { 0
2 2
1 1
0 )} ( ) ( {
... )} ( ) ( { )} ( ) ( {
1
2
1
1
0
2 1
= +
+ + +
}
} }

n
z
z
n
z
z
z
z
S dz z f z f
dz z f z f dz z f z f
n
n
41
}
} }

+ + + =
n
n
z
z
n
z
z
z
z
n
dz z f z f
dz z f z f dz z f z f S
1
2
1
1
0
)} ( ) ( {
... )} ( ) ( { )} ( ) ( {
2 1
}
} }

+ + + s
n
n
z
z
n
z
z
z
z
n
dz z f z f
dz z f z f dz z f z f S
1
2
1
1
0
)} ( ) ( {
... )} ( ) ( { )} ( ) ( {
2 1
Utilizando la desigualdad triangular para integrales:
Multiplicando por 1 y cambiando el signo de los integrandos:
42
}


k
k
z
z
k
dz z f z f
1
)} ( ) ( {
Para cada una de las k integrales
(k=1,2, ..., n) usaremos la
desigualdad ML.
Observemos que la longitud de cada integral es:
1
1

=
}

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

+ + + s
n
n
z
z
n
z
z
z
z
n
dz z f z f
dz z f z f dz z f z f S
1
2
1
1
0
)} ( ) ( {
... )} ( ) ( { )} ( ) ( {
2 1
Tenamos:
{ }
2
...
2
1 1 2 0 1
c c
= + + + s


P
n n n
z z z z z z
P
S
44
c
c c
= + < + s
} }
2 2
) ( ) (
n
C
n
C
S S dz z f dz z f
Recopilando:
Puesto que c es arbitrario, entonces:
0 ) ( =
}
C
dz z f
45
?
cos
1
2
=
}
C
dz
z
f (z) es no analtica en z = t/2, 3t/2, ...
0
3
sin 3
1
=

}
C
z
dz
z
z e
2
C
1
C
0
cos
1
1
=
}
C
dz
z
f (z) es no analtica
en z = 3
?
3
sin 3
2
=

}
C
z
dz
z
z e
Ejemplos
1
C
2
C
0
) sin(
1
=
}
dz
z
C
t
No es analtica en
los puntos
z = 0, 1, 2,...
0 1 2
-1 -2
C
2i
46
Principio de deformacin de contornos
(Teorema integral de Cauchy para un dominio doblemente conexo).
} }
=
2 1
) ( ) (
C C
dz z f dz z f
Supongamos que f (z) es analtica en un dominio doblemente
conexo D as como en las curvas que lo limitan.

Entonces:
D
1
C
2
C
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) ...
47
0 ) (
2 1
}
+ + +
=
BA C AB C
dz z f
1
C
2
C
A
B
} }
} }
+
+ + =
BA C
AB C
dz z f dz z f
dz z f dz z f
) ( ) (
) ( ) (
2
1
} }
=
BA AB
dz z f dz z f ) ( ) ( Como:
0 ) ( ) (
2 1
= +
} }
C C
dz z f dz z f
0 ) (
2 1
}
+ =
=
C C C
dz z f
48
} }
=
2 1
C
z
C
z
dz e dz e
Ejemplo 1:
1
C
2
C
D
(obvio!)
} }
=
2 1
1 1
C C
dz
z
dz
z
Ejemplo 2: (no tan obvio)
49
0 ) ( , 0 ) (
* * *
= =
} }
c c
dz z f dz z f
Demostracin
Introduzcamos dos cortes,
L
1
y L
2
,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.
1
L
2
L
* *
C
*
C
1
2
3
4
5
6
7
8
Inicio
y
x
Ahora f (z) es analtica sobre y dentro
de C
*
y C
**
. Por el teorema Integral de Cauchy:
50
Integramos alrededor del dominio D,
a lo largo de 1-2-3-4-5-6-7-8. As:
} }
} }
} } }
=
+ =
+ =


2 1
* * *
) ( ) (
) ( ) (
) ( ) ( ) (
8 , 6 3 , 1
8 7 6 5
4 3 2 1
C C
C C
dz z f dz z f
dz z f dz z f
dz z f dz z f dz z f
Las integrales a lo largo de
L
1
y L
2
se anulan
Pero como las integrales a lo largo de C
*
y C
**
son cero,
entonces:
0 ) ( ) (
2 1
=
} }
C C
dz z f dz z f
con lo que se demuestra el enunciado.
1
L
2
L
* *
C
*
C
1
2
3
4
5
6
7
8
Inicio
y
x
51
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:
} }
=
2 1
) ( ) (
C C
dz z f dz z f
y
x
i + 1
i 1
i + 1
i 1
1
C
3
C
2
C
4
C
i
z
dz
C
t 2 =
}
Recordemos:
52
As que como la integral
de f(z) = 1/z a lo largo de un
crculo de radio r es 2ti es:
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 2ti.
1
C
2
C
r
i dz
z
C
t 2
1
1
=
}
z
1
es analtica
aqu
Ejemplo
53
}
+
C
dz
z z
dz
) 9 (
2 2
Evaluar la integral
f (z) presenta singularidades en z = 0 y z = 3i. Esos puntos estn fuera
de la regin sombreada como muestra la figura. As:
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.
0
) 9 (
2 2
=
+
}
C
dz
z z
dz
Ejemplo
C
0
3i
-3i
1 2
54
2
C
1
C
D
3
C
No es necesario que los caminos cerrados no se corten, es decir
que formen anillos. Por ejemplo:
Imaginemos que f(z) es analtica
en todos los puntos del dominio
D de la figura. Tanto C
2
como
C
3
forman anillos con C
1
.
Por deformacin de
contornos:


} }
} }
=
=
3 1
2 1
) ( ) (
) ( ) (
C C
C C
dz z f dz z f
dz z f dz z f
} }
=
3 2
) ( ) (
C C
dz z f dz z f
55
y
x
C
i + 1
0
Integremos la funcin a lo largo de
la recta C, que une los puntos 0 y 1+ i.
z z f = ) (
(1) Representar C en la forma z(t):
( ) 1 0 ) ( s s + = t t i t t z
| |
| | 1 2 ) (
) 1 )( ( ) ( ) (
1
0
2
1
0
1
0
1
0
1
0
= = = + +
+ = =
} }
} } }
t tdt dt t it t i t
dt i t i t dt
dt
dz
t z f dz z f
C
(2) Integramos:
i
dt
dz
+ =1
Independencia del camino de integracin
56
z z f = ) (
y
x
i + 1
0
2
C
1
C
( ) 1 0 ) ( s s = t t t z
| |
| |
2
1
1
0
2
2
1
1
0
1
0
) 1 )( (
) ( ) (
= = =
=
}
} }
t dt t
dt
dt
dz
t z f dz z f
C
A lo largo de C
2
: ( ) 1 0 1 ) ( s s + = t t i t z
| |
| | i t i t dt i t dt i t i
dt
dt
dz
t z f dz z f
C
+ = + = + = =
=
} }
} }
2
1
1
0
2
2
1
1
0
1
0
1
0
) ( ) )( 1 (
) ( ) (
Ejemplo
Integrar la funcin a largo del camino C = C
1
+ C
2

que une los puntos 0 y 1+ i, como muestra la figura:
A lo largo de C
1
:
1
57
1 =
}
C
dz z
y
x
i + 1
0
i dz z
C
+ =
}
2
1
El valor de la
integral entre dos
puntos depende
siempre del camino?

58
y
x
C
i + 1
0
Repitamos pero con a lo largo de
la recta C, que una los puntos 0 y 1+ i.
z z f = ) (
(1) Representar C en la forma z(t):
( ) 1 0 ) ( s s + = t t i t t z
| |
| | i it tdt i
dt i t i t dt
dt
dz
t z f dz z f
C
= = =
+ + = =
}
} } }
1
0
2
1
0
1
0
1
0
2
) 1 )( ( ) ( ) (
(2) Integramos:
59
z z f = ) (
y
x
i + 1
0
2
C
1
C
( ) 1 0 ) ( s s = t t t z
| |
| |
2
1
1
0
2
2
1
1
0
1
0
) 1 )( (
) ( ) (
= = =
=
}
} }
t dt t
dt
dt
dz
t z f dz z f
C
A lo largo de C
2
: ( ) 1 0 1 ) ( s s + = t t i t z
| |
| | i t i t dt i t dt i t i
dt
dt
dz
t z f dz z f
C
+ = + = + = + =
=
} }
} }
2
1
1
0
2
2
1
1
0
1
0
1
0
) ( ) )( 1 (
) ( ) (
Ejemplo
Repitamos de nuevo con la funcin , pero ahora a largo
del camino C = C
1
+ C
2
que une los puntos 0 y 1+ i:
A lo largo de C
1
:
1
60
i zdz
C
=
}
y
x
i + 1
0
i i zdz
C
= + =
}
2
1
2
1
Ahora el valor de la
integral no depende
del camino.
Qu diferencias hay
entre f(z) = z y f(z)= ?
z
61
Integrar la funcin a lo largo del camino C
uniendo 2 y 1+2i tal como muestra la figura
2
) ( z z f =
Otro ejemplo
( ) 1 0 2 2 ) ( s s + = t i t t t z
| |
| |
| |
) 2 19 (
3
1
) 3 / 8 ( 1 ) 2 1 (
) 8 4 ( ) 4 4 3 ( ) 2 1 (
) 2 1 ( ) 2 2 (
) ( ) (
1
0
2 2
1
0
2
1
0
i
i i
dt t t i t t i
dt i ti t
dt
dt
dz
t z f dz z f
C
+ =
+ + =
+ + + + =
+ + =
=
}
}
} }
y
x
i 2 1+
0
C
2
62
Integrar la funcin a lo largo del camino C = C
1
+ C
2

uniendo 2 y 1+2i tal como muestra la figura
2
) ( z z f =
Otro ejemplo
( ) 2 0 2 ) ( s s = t t t z
3
8
) 4 4 (
) 1 ( ) 2 ( ) (
2
0
2
2
0
2
= + =
=
}
} }
dt t t
dt t dz z f
C
y
x
i 2 1+
0
2
1
C
2
C
A lo largo de C
1
:
|
|
.
|

\
|
=
}
0
2
2
dx x
a lo largo
del eje real
( ) 1 0 2 ) ( s s + = t ti t t z A lo largo de C
2
:
i dt t i
dt i ti t dz z f
C
3
2
3
11
) 2 11 (
) 2 1 ( ) 2 ( ) (
1
0
2
1
0
2
= =
+ + =
}
} }
63
3 / ) 2 19 (
2
i dz z
C
+ =
}
y
x
i 2 1+
0
3 / ) 2 19 (
2
i dz z
C
+ =
}
El valor de la integral
a lo largo de los dos
caminos es el mismo.
2
Coincidencia?
64
Independencia del camino
1
z
2
z
1
C
2
C
0 ) ( ) (
2 1
= +
} }
C C
dz z f dz z f
Supongamos que f (z) es analtica en
un dominio simplemente conexo D
D
(por el teorema integral de Cauchy)
2
2
1
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1
de largo lo a de largo lo a
de largo lo a de largo lo a
de largo lo a de largo lo a
) ( ) (
) ( ) (
0 ) ( ) (
C
z
z
C
z
z
C
z
z
C
z
z
C
z
z
C
z
z
dz z f dz z f
dz z f dz z f
dz z f dz z f
} }
} }
} }
=
=
= +
65
1
z
2
z
1
C
2
C
Si los caminos se cruzan, podemos hacer lo
mismo para cada bucle, utilizando como puntos
intermedios los puntos de interseccin.
66
y
x
1
4 4
= + y x
0
1
i
Ejemplo: calcular
dz
z
i
}
1
1
A lo largo del camino C
1
:
Como f(z) = 1/z es analtica en
todo el plano complejo excepto
en z = 0. Podemos utilizar un
camino ms sencillo C
2
(|z| = 1).
| |
( )
2
1
) ( ) ( ) (
2 /
0
2 /
0
2 1
t
u
u
u
u
t
u
u
t
i
d e i
e
d
d
dz
z f dz z f dz z f
i
i
C C
= =
= =
}
} } }
2
C
1
C
67
Independencia del camino
Consideremos la integral dz z f
z
z
}
1
0
) (
Si F (z) es analtica en un dominio simplemente conexo D, con
derivada dF/dz = f(z) y z
0
y z
1
estn en D, entonces la integral
de f(z) entre z
0
y z
1
es independiente del camino en D.
) ( ) ( ) (
0 1
1
0
z F z F dz z f
z
z
=
}
donde ) (z f
dz
dF
=
0
z
1
z
) 2 19 (
3
1
3 3
2
3
2 1
3
2 1
2
2
i
z z
dz z
z i z
i
+ = =
= + =
+
}
p.ej.
De modo que podemos hablar de primitivas como en variable real:
68
Ejemplos
(1)
i
i i
z dz z
i
i
i
i
097 . 23
sinh 2 ) sin( 2
sin cos
=
= =
=
+

}
t t
t
t
t
t
todo el plano
complejo
C
(2) ?
1
0
=
}
+
dz z
i
( f (z) es no analtica en todo punto -
depende del camino)
(3)
i
z
dz
z
i
i
i
i
2
1 1
2
= =
+

}
f (z) analtica en
este dominio
(ambas 1/z
2
y 1/z son no analticas en z = 0
- el camino de integracin C debe eludir el punto)
69
y
x
0
1
i
1
C
1
x
0
1
2
C
1
y
( )
t u
u
t
t
u
u
i d i
d e i
e
dz
z
i
i
C
}
} }
=
= =
0
0
1 1
1
( )
t u
u
t
t
u
u
i d i
d e i
e
dz
z
i
i
C
}
} }

=
= =
0
0
1 1
2
Por qu en este caso la integral depende del camino?
70
y
x
0
1
i
1
C
1
t t i i
i Ln i Ln
z dz
z
dz
z
C
=
= +
= = =

} }
) 0 (
) 1 arg( | 1 | ) 1 arg( | 1 |
log
1 1 1
1
1
1
1
Intentemos definir F(z) = Ln z
como primitiva. En este caso
una posible primitiva es:
Corte
Punto de
ramificacin
2 / 3 arg 2 / - con
arg | | log
t t < <
+ =
z
z i z Ln z
71
x
0
1
2
C
1
y
Corte Punto de
ramificacin
t t t i i
i Ln i Ln
z dz
z
dz
z
C
=
= +
= = =

} }
) 2 (
) 1 arg( | 1 | ) 1 arg( | 1 |
log
1 1 1
1
1
1
2
2 / 5 arg 2 / con
arg | | log
t t < <
+ =
z
z i z Ln z
Intentemos definir una
primitiva para este caso.
Observe que NO puede ser
la misma que en el caso anterior:
Y tomemos los
cortes como los
tomemos, siempre
obtendremos este
resultado.
72
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,
0 =
}
C
z
dz
C
f (z) es analtica en todo punto
excepto en z = 0
Pero, qu sucede si el contorno encierra un punto singular?
C
? =
}
C
z
dz
73
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Frmula Integral de Cauchy
Sea f (z) analtica en un dominio simplemente conexo D.
Para cualquier punto z
0
en D y cualquier contorno cerrado C
en D que incluya z
0
:
D
0
z
C
74
Ejemplo
Ilustremos la frmula integral de Cauchy para el caso de
f (z) = 1 y z
0
= 0
0
0
= z
C
D
Sea la frmula integral de Cauchy
i i dz
z
C
t t 2 1 2
1
= =
}
f (z) es una funcin constante,
es entera, as que C puede ser cualquier
contorno cerrado en el plano complejo
conteniendo z = 0.
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
se convierte en
75
Ejemplo
}

C
dz
z
z
2
2
Evaluar la integral donde C es
2
0
= z
z = 2 es un punto singular en el interior a C.
se convierte en:
2 1 = z
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
La frmula integral de Cauchy
t t 8 4 2
2
2
i i dz
z
z
C
= =

}
f (z) es analtica en todo punto de
modo que C puede ser cualquier
contorno en el plano complejo
conteniendo el punto z = 2.
76
0
C
C
0
z
z
u i
e r
0
Demostracin no rigurosa de
la frmula integral de Cauchy:

Por el principio de deformacin
de contornos:
} }

=

0
0 0
) ( ) (
C C
dz
z z
z f
dz
z z
z f
u u
t
u u
t
u
u
d e r z f i d e ir
e r
e r z f
dz
z z
z f
i i
C
i
i
} } }
+ =
+
=

2
0
0 0 0
2
0
0
0 0
0
) (
) ( ) (
0
u u
u
i i
e ir
d
dz
e r z z
0 0 0
; = + =
Cambio de
variable:
77
Hemos tomado un r
0
arbitrario. Hagmoslo infinitamente
pequeo:
) ( 2 ) (
) ( ) ( lim
0
2
0
0
2
0
0
2
0
0 0
0
0
z if d z if
d z f i d e r z f i
i
r
t u
u u
t
t t
u
=
= =
(

+
}
} }

) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Qu no es riguroso aqu?
78
0
C
C
0
z
z
u i
e r
0
Demostracin de la frmula
integral de Cauchy. Por el
principio de deformacin
de contornos:
} }

=

0
0 0
) ( ) (
C C
dz
z z
z f
dz
z z
z f
_ _
2
0
1
0
0
0
0
0
0
0
0 0
0
) ( ) ( 1
) (
) ( ) ( ) ( ) (
I
C
I
C
C
C
dz
z z
z f z f
dz
z z
z f
dz
z z
z f z f z f
dz
z z
z f
} }
} }

+
=

79
} } }
= = =

=
t
u
t
u
t u u
2
0
0
2
0
0 0
1
2
1 1
0
i d i d e ir
e r
dz
z z
I
i
C
i
}

=
0
0
0
2
) ( ) (
C
dz
z z
z f z f
I
Vamos a encontrar una cota ML para
0
2 r L t =
M
z z
z f z f
z z
z f z f
s

0
0
0
0
) ( ) (
) ( ) (
Tenemos:
Y necesitamos M tal que:
Para todo z en C
0
:
0 0
r z z =
Como f(z) es continua en z
0
:
o c < <
0 0
) ( ) ( z z si z f z f
Si tomamos
c o < s ) ( ) (
0 0
z f z f r
para todo z sobre C
0
.
80
c t t
c
2 2
) ( ) (
0
0 0
0
2
0
= = s

=
}
r
r
ML dz
z z
z f z f
I
C
Ya podemos aplicar la desigualdad ML: para
0
2 r L t =
M
r r
z f z f
z z
z f z f
s

0 0
0
0
0
) ( ) ( ) ( ) ( c
Epsilon puede ser tan pequeo como queramos (de hecho
reducirlo es reducir el radio r
0
. As que:
0 0
2 2
= = I I
) ( 2
) ( ) ( 1
) (
) (
0
0
0
0
2
0
0
0
2
0
1
0
z if dz
z z
z f z f
dz
z z
z f dz
z z
z f
I
C
i I
C
C
t
t
=

= =
} } }
_ _
81
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Ejemplos
Evaluar las siguientes integrales:
}

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

1 ) (
0
= z f
C
i
D
i
i z
dz
C
t 2 =

}
82
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
}
+
C
z
dz
1
2
(2)
donde C es el crculo |z+i |=1
Necesitamos un trmino en la forma 1/(z- z
0
) as que rescribimos la
integral como:
En primer lugar, notemos que 1/(z
2
+1) presenta
puntos singulares en z = i.

El contorno C incluye uno de esos puntos, z = -i.
Ese es nuestro punto z
0
en la frmula
C
i
i +
D
dz
i z
i z
i z i z
dz
z
dz
C C C
} } }
+

=
+
=
+
1
) )( ( 1
2
83
t =
+

}
C
z
dz
1
2
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
i z =
0
C
i
i +
D
i z
z f

=
1
) (
2 / ) (
0
i z f =
dz
i z
i z
i z i z
dz
z
dz
C C C
} } }
+

=
+
=
+
1
) )( ( 1
2
84
Otro ejemplo
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Frmula integral de Cauchy:
se convierte en
i
C
z
ie dz
i z
e

=
+
}
t 2
i z =
0
C
D
}
+
C
z
dz
i z
e
Evaluar donde C es cualquier contorno cerrado
conteniendo z = -i
f (z) es analtica en todo punto
85
}

C
z
dz
1
4
(3)
C
i
i +
1 1 +
Tenemos que
} }
+ +
=

C C
i z i z z z
dz
z
dz
) )( )( 1 )( 1 ( 1
4
El contorno C incluye uno de esos puntos, z = +i.
Ese es nuestro punto z
0
en la frmula
} }

=

C C
dz
i z
z f
z
dz ) (
1
4
) )( 1 )( 1 (
1
) (
i z z z
z f
+ +
= donde
4 ) 2 )( 1 )( 1 (
1
) ( ) (
0
i
i i i
i f z f =
+
= =
Ahora
2
) ( 2
) (
1
0
0
4
t
t = =

} }
z f i dz
z z
z f
z
dz
C C
donde C es el crculo |z+i |=1
86
}

C
z
dz z
1
tan
2
(4)
donde C es el crculo |z |=3/2
tan z es no analtica en t/2, 3t/2, ., pero esos
puntos estn fuera de nuestro contorno de integracin
C incluye dos puntos singulares, z = 1.
Para poder usar la frmula integral de Cauchy,
debemos tener slo un punto singular z
0
dentro de C.
C
1
1 +
2 / 3t
2 / t
Usaremos fracciones parciales:
) 1 )( 1 (
) 1 ( ) 1 (
1 1 1
1
2
+
+ +
=
+
+

=
z z
z B z A
z
B
z
A
z
2 / 1 , 2 / 1
1
0 ) (
= =
=
= +
B A
B A
z B A
87
} } }
+

C C C
dz
z
z
dz
z
z
dz
z
z
1
tan
2
1
1
tan
2
1
1
tan
2
C
1
1 +
2 / t
1 tan ) (
tan ) (
1
0
0
=
=
+ =
z f
z z f
z
) 1 tan( ) (
tan ) (
1
0
0
=
=
=
z f
z z f
z
| | i i dz
z
z
C
785 . 9 ) 1 tan( ) 1 tan(
2
1
2
1
tan
2
~ =

}
t
88
( )
0
!
2 ) (
1
0
z
n
n
C
n
dz
f d
n
i
dz
z z
z f t
=

} +
Por ejemplo,

Se pueden tratar funciones ms complicadas con potencias de z-z
0
,
con la frmula:
Nota: cuando n=0 tenemos la
Frmula Integral de Cauchy:
0
) ( 2
) (
0
z
C
z f i dz
z z
z f
t =

}
Generalizacin de la frmula integral de Cauchy
( )
| |
( )
| |
} }
= =
=

=
+

C
z z
C
dz
z d
i dz
z
z
dz
z z d
i dz
z
z z
2
2
2
3
1
2
2
2
0 0
cos
2
cos
,
3
2
1
3
t t
f analtica en y dentro
de C, z
0
dentro de C
Esta frmula tambin es conocida como la formula para las
derivadas de una funcin analtica.

89
( )
0
!
2 ) (
1
0
z
n
n
C
n
dz
f d
n
i
dz
z z
z f t
=

} +
Tomando f(z
0
) como una funcin de variable z
0
.Derivando
con respecto a z
0
y aplicando la regla de Leibnitz:
Partamos de la frmula integral de Cauchy:
}

=
C
dz
z z
z f
i
z f
0
0
) (
2
1
) (
t
Demostracin de la generalizacin de
la frmula integral de Cauchy
( )
}
}
}

=
|
|
.
|

\
|

=
(

=
C
C
C
dz
z z
z f
i
dz
z z dz
d
z f
i
dz
z z
z f
i dz
d
z f
dz
d
2
0
0 0
0 0
0
0
) (
2
1
1
) (
2
1
) (
2
1
) (
t
t
t
Usar el mismo
procedimiento para
demostrar por induccin:
90
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 z
0
. Si f(z)
no es analtica en z
0
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 z
0
: una contradiccin.

91
) ( 2
) (
) (
0
2
0
z f i dz
z z
z f
C
'
=

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

t t
t
t
= =
'
=
'
0
0
) (
) (
e z f
e z f
z
D
i
z
dz e
C
z
2
2
2t
t
=
}
92
) (
2
2
) (
) (
0
3
0
z f
i
dz
z z
z f
C
' '
=

}
t
Ejemplo
Evaluar la integral
( )
}

C
dz
i z
z
3
2
donde C es el crculo |z |=2
C
i z =
0
sea
2
) ( z z f =
sea
f (z) es analtica in D, y C incluye z
0
2 ) (
2 ) (
0
=
' '
=
' '
z f
z f
D
i
i z
dz z
C
t 2
) (
3
2
=

}
93
Resumen:
0 ) ( =
}
C
dz z f con f (z) analtica dentro y sobre C.
(1)
) ( 2
) (
0
z if dz
z z
z f
C
o
t =

}
con f (z) analtica dentro y sobre C
(3)
( Teorema integral de Cauchy-Goursat )
(Frmula integral de Cauchy )
( )
}

C
k
o
dz
z z
z f ) (
con f (z) analtica dentro y sobre C

(4)
( Frmula para derivadas )
(2)
) ( ) ( ) (
0 1
1
0
z F z F dz z f
z
z
=
}
donde ) (z f
dz
dF
=
F (z) analtica en un dominio simplemente conexo D,
con derivada dF/dz = f(z) y z
0
y z
1
en D.
94
Ejercicios: Demostrar

(1) El teorema de Morera:
(2) La desigualdad de Cauchy:
Si f (z) es continua en un dominio simplemente conexo D y si 0 ) ( =
}
C
dz z f
para cualquier camino cerrado en D, entonces f (z) es analtica en D
n
n
r
M n
z f
!
) (
0
) (
s
0
z
r
C M z f en ) ( s
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.