Integrales de línea, de camino o de contorno en el plano complejo

y
zk  xk  iyk
B
y n z n zn f ( z )  u ( x, y )  iv( x, y )
n
f ( z )dz : lim  f ( zk )zk
B

z2

A n 
k 1
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 actúan como vectores, no como longitudes.
1
Conexión entre integrales de línea reales y complejas

Con C indicamos el camino de la integral de línea.

 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 
2
Integración de funciones complejas parametrizadas

Arco C de A a B: z (t )  x(t )  iy(t )

Parametrización 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

3
 Ejemplo:

Evalúa :  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
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

4
 Evalúa 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 5
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.

7
 Decimos que la integración se lleva a cabo
en sentido positivo alrededor del contorno
C cuando el interior queda a la izquierda
del sentido de circulación.

C
f ( z )dz   f ( z )dz
C

 f ( z )dz   f ( z )dz
Decimos que la integración
se lleva a cabo en sentido
C C
negativo si ocurre lo contrario.

Se cumple que:
C
f ( z )dz    f ( z )dz
C
8
Propiedades de las integrales de contorno


C
k f ( z ) d z  k  f ( z ) d z , k  constante
C

C [ f ( z )  g ( z )] d z  C f ( z ) d z  C g ( z ) d z

C f ( z ) d z  C 1
f ( z ) d z   f ( z ) d z,
C2

C f ( z ) dz   C f ( z ) dz,

9
Ejemplo y
Integrar la función f ( z )  1 / z
a lo largo de la circunferencia: |z| = r.
Introducimos un parámetro 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  2i
C 0
dt
2
1

  i t ri ei t dt
re

0
2 Nota: podríamos haber usado
 i  dt  2 i C : z(t )  r cost  i sin t 
0
Ejercicio: repetir con esta forma. 10
Ejemplo y
C2
Integrar la función f ( z )  1 / z 1  i 1 i
a lo largo del cuadrado
C1
Introducir un parámetro 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
11
 t i
1

 f ( z )dz  4  dt
0 (integrando impar en y
1
1 t 2 intervalo de integración 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
12
 Ejemplo: Repitamos trasladando el circuito de integración. y
C2
Integrar la función f ( z )  1 / z  3 i
1  i
a lo largo del cuadrado
C1
Introducir un parámetro t
variando entre 1  t  1
C3 x
 3i
1  i
1 C4
f z (t )
dz

C
f ( z )dz  
1
dt
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
2t i (2  t )  i
f z (t ) 
dz 1
C 2 : 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
C 3 : z ( t )  3  t i ,
dt
 i , 
 3  ti 9  t 2
, I3  1 9  t 2 dt
1
2t i ( 2  t )  i
f z (t ) 
dz 1
C 4 : z ( t )  2  t  i ,
dt
 1, 
 2  t  i 1  ( 2  t ) 2
, I 4  
1
1  ( 2  t ) 2
dt

13
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
 3i 1  i
C4
Donde C ahora es el “cuadrado
unitario” anterior desplazado
a la izquierda 2 unidades.
14
 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
15
 C
C
dz dz
C z  2i C z  0

C dz dz
C z  0 C z  0

C dz dz
C z  0 C
C z  0

16
 Teorema integral de Cauchy - Goursat
Si f (z) es analítica 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 analítica en todo punto

f (z) es analítica en todo punto excepto en z = 0
17
Demostración:

 C
F ( z )dz   [U ( x, y)  iV ( x, y)](dx  idy)dx
c

  Udx  Vdy i  Vdx  Udy

c c

Para demostrar el teorema de Cauchy nos será necesario el

Teorema de Green
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  R  x y 
  dxdy
18
Supongamos que la región R es un
rectángulo 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 variación en x:


C2
P( x, y)dx  0; 
C4
P( x, y)dx  0 

19
 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 análogamente para Q(x,y), y teniendo en cuenta que

C3 y C1 no tienen variación en y, obtendremos:
Q
R y dxdy  cQ( x, y )dy
Y eso completa la demostración para un contorno rectangular
recorrido en sentido positivo.

20
 Podemos usar infinitos rectángulos
para recubrir “exáctamente” el área de R.

C2

C1
Recorriéndolos como indica la
figura superior, se compensan
las integrales en los caminos
“horizontales”...

 ( Pdx  Qdy)  
C C1
( Pdx  Qdy)   ( Pdx  Qdy)  ...
C2

21
Como la función F(z) = U(x,y) + iV(x,y) es analítica en dicha region,
Podemos escribir:

 f ( z)dz 
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 analítica
cumple las ECR)
22
Nótese, que una vez que se ha visto que el valor de esta
integral es cero, la orientación de C es irrelevante; esto
significa que el teoremase cumple si C se toma en
sentido horario

23
 C C

Corolario:
La integral sobre un contorno exterior C es igual a la suma de
las integrales sobre los contornos interiores, si las integrales
son posibles y efectuando la circulación en sentido positivo
anti horario

24
 f
h

e
g
C2
bd

a c
C1

C
Recordando que la función dentro de la curva debe ser analítica.

La curva C la podemos descomponer en los siguientes segmentos:

25
Así, nos queda que:

26
FINALMENTE

Donde vemos que realizar la integral a través de la curva C es

equivalente a realizar las integrales individuales alrededor de
las curvas C1 y C2 internas conservando el sentido de
circulación

C1

C2

C C

27
Independencia del camino de integración

Integremos la función 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 28
Ejemplo
Integrar la función 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 29
  zdz  1
C
y
1 i ¿El valor de la
integral entre dos
puntos depende
siempre del camino?
x
0

1 1 
C zdz  2   2  i   1  i 30
Repitamos pero con f ( z )  z a lo largo de
la recta C, que unía 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: x
0
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 31
Ejemplo
Repitamos de nuevo con la función 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 32
  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 ?

x
0
1  1 
C zdz  2    2  i   i
33
Otro ejemplo
Integrar la función 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 )dz   f z (t ) dt
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 34
Otro ejemplo
Integrar la función 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   x
3
0 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 35
  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?

x
0 2

   
2
z dz (19 2i ) / 3
C
36
INDEPENDENCIA DE LA TRAYECTORIA

Si una función f(z) es ANALITICA en un dominio D; la

integral entre los puntos a, b es independiente del
camino de integración
c

b
d

37
Por lo tanto vemos que la integral es independiente del
camino elegido

38
 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 y0 0  t 1
L2 : x  1 yt 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
39
 y
1+i
i
L0 Ejemplo: f(z)=z2
L2
x L0 : x  t yt 0  t 1
L1 1
L1 : x  t y0 0  t 1
L2 : x  1 yt 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
40
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 analítica en

x todo el plano complejo excepto
0 1
en z = 0. Podemos utilizar un
camino más 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 41
PRIMITIVA z0
z1

Consideremos la integral  f ( z )dz

z0 z1
Si F (z) es analítica en un dominio simplemente conexo D, con
derivada dF/dz = f(z) y, z0 y z1 están 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 2 i 3
z z3 1
p.ej.  dz     (19  2i )
2
z
2
3 z 1 2 i
3 z 2
3
42
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 analítica en todo punto -
depende del camino)

i i
1 1
(3)
i z 2 dz   z i  2i f (z) analítica en
este dominio

(ambas 1/z2 y 1/z son no analíticas en z = 0

- el camino de integración C debe eludir el punto) 43
 Si f ' ( z )  0 en un dominio D,
(y f ( z ) es analítica) entonces f ( z ) será constante sobre D.
Prueba :
f ' ( z )  0  u x  ivx  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 diferentesde f ( z ).
d
F(z) - G(z)  0. Puesto que F ( z ) y G ( z ) son analíticas
dz
por definición, también lo es su diferencia F ( z ) - G ( z ).
De modo que F ( z )  G ( z )  Cte.  F ( z )  G ( z )  Cte. 44
 Fórmula Integral de Cauchy
Sea f (z) analítica 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 )
C

z0

D
45
 Ejemplo
Ilustremos la fórmula integral de Cauchy para el caso de
f (z) = 1 y z0 = 0
La fórmula integral de Cauchy
C D
f ( z)
C z  z0 dz  2 i f ( z0 )
z0  0

se convierte en
f (z) es una función constante,
1
C z dz  2i 1  2i es entera, así que C puede ser cualquier
contorno cerrado en el plano complejo
conteniendo z = 0.
46
 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 fórmula integral de Cauchy

f ( z) z0  2
C z  z0 dz  2 i f ( z0 )
f (z) es analítica 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
z2 47
 Demostración de la fórmula
z integral de Cauchy:
i
r0 e
C
z0 f ( z) f ( z)
C0 C z  z0 dz C z  z0 dz
0

i
f ( z) 2 f ( z  r e ) 2
C z  z0 dz  0 0
r e i
0
ir0 e i
d  i 0
f ( z 0  r0 e i
)d
0 0

i dz
Cambio de variable z  z0  r0 e ;  ir0 ei
(tomamos z sobre C0) d
48
Hemos tomado un r0 arbitrario. Hagámoslo infinitamente
pequeño:
2 2
limi  f ( z0  r0 e )d   i  f ( z0 )d 
i
r0 0 
 0  0

2
if ( z0 )  d  2if ( z0 )
0

f ( z)
C z  z0 dz  2 i f ( z0 )

49
 Ejemplos
Evaluar las siguientes integrales:
C
dz i
(1)  donde C es el círculo |z |=2
C
z i

f ( z)
C z  z0 dz  2i f ( z0 ) D

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

dz
f (z) es analítica en D y C incluye z0 C z  i  2i 50
 dz
(2)  2 donde C es el círculo |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 fórmula
f ( z)
C z  z0 dz  2i f ( z0 )
Necesitamos un término 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
 
51
 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  2i f ( z 0 ) i C
D
1 f ( z0 )  i / 2
f ( z) 
z 0  i z i

dz
  2  
C
z 1
52
 z
Evaluar C z 2  9 d z
donde C es el círculo |z – 2i | = 4.
Solución
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
53
 Otro ejemplo
z
e
Evaluar C z  i dz donde C es cualquier contorno cerrado
conteniendo z = -i
Fórmula integral de Cauchy:
f ( z)
C z  z0 dz  2 i f ( z0 )
C D

se convierte en
z 0  i
z
e
C z  i  i
dz  2 ie
f (z) es analítica en todo punto
54
 dz
C z 4  1 donde C es el círculo |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 fórmula
dz f ( z) 1
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) 
 4  dz  2i f ( z0 )  
C
z  1 C z  z0 2 55
 tan z dz
C z 2  1 donde C es el círculo |z |=3/2
tan z es no analítica en /2, 3/2, , pero esos
puntos están fuera de nuestro contorno de
1
integración 1
 3 / 2  /2
C incluye dos puntos singulares, z = 1. C
Para poder usar la fórmula integral de Cauchy,
debemos tener sólo 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 56
 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
z 0  1 z 0  1
f ( z )  tan z C
f ( z )  tan z
f ( z0 )  tan 1 f ( z0 )  tan( 1)

C z 2  1 dz  2i  2 tan(1)  tan( 1)  9.785i

tan z 1

57
 Generalización de la fórmula integral de Cauchy
Se pueden tratar funciones más complicadas con potencias de z-z0,
con la fórmula:

f ( z) 2i d n f
C z  z0 n 1 dz  n! dzn
f analítica 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  12 dz  2i dz , 
C z  2 
3
dz  i
dz 2
z0  1 z0  2

Esta fórmula también es conocida como la “formula para las

derivadas de una función analítica.”
f ( z)
Nota: cuando n=0 tenemos la
Fórmula Integral de Cauchy: C z  z0 dz  2i f ( z) z0 58
 Demostración de la generalización de
la fórmula integral de Cauchy 1 f ( z)
Partamos de la fórmula integral de Cauchy: f ( z0 )  
2i C z  z0
dz

Tomando f(z0) como una función de variable z0. Derivando

con respecto a z0 y aplicando la regla de Leibnitz:
d d  1 f ( z) 
dz0
f ( z0 )    dz 
dz0  2i C z  z0  Usar el mismo
1 d  1  procedimiento para

2i C
f ( z ) 
 

dz0  z  z0 
dz  demostrar por inducción:

f ( z) 2i d fn
1

f ( z)
dz C z  z0 n 1 dz  n! dzn
2i C  z  z0  2
z0
59
La generalización de la fórmula integral de Cauchy nos
muestra algo excepcional:

Si una función f(z) es analítica en cierto dominio, entonces

posee derivadas de todos los órdenes en dicho dominio. Y
estas derivadas son a su vez también analíticas en el
dominio.

Sea f(z) una función definida en todo punto de un entorno de z0. Si f(z)
no es analítica en z0 es imposible encontrar una función F(z) tal que
dF/dz = f(z) en todo punto del entorno. De existir F(z) sería analítica y
por la fórmula generalizada de Cauchy, su segunda derivada df/dz
existiría en todo punto del entorno considerado. Y entonces f(z) sería
analítica en z0: una contradicción.

60
 Ejemplo
Evaluar la integral
z C
e
C z 2 dz donde C es el círculo |z |=2
f ( z)
C ( z  z0 ) 2
dz  2i f ( z 0 ) D

f ( z )  ez
z
sea f ( z )  e f ( z0 )  e 0  
sea z0  0
z
e dz
C z 2   2
f (z) es analítica en D, y C incluye z0 2 i
61
 Ejemplo
Evaluar la integral
2 C
z
C z  i 3 dz donde C es el círculo |z |=2
f ( z) 2 i
C ( z  z0 ) 3
dz 
2
f 
 ( z 0 ) D

f ( z )  2
sea f ( z )  z f ( z0 )  2
2

sea z 0  i
2
z dz
f (z) es analítica in D, y C incluye z0 C ( z  i)3  2 i 62
 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 ,
2i C z  z0 n 1

siendo:
z0  2i; f ( z )  e z  f ( z0 )  e  2i
2! ez I
2i C z  2i 3
e  2i  dz   I  ie  2i

i
63
 z1
Resumen:
dF
 f ( z ) dz  F ( z )  F ( z )
(1) donde  f (z )
1 0
z0
dz
F (z) analítica 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) analítica dentro y sobre C.
( Teorema integral de Cauchy-Goursat )
f ( z)
(3)  dz  2if ( z0 ) con f (z) analítica dentro y sobre C
C
z  zo
(Fórmula integral de Cauchy )
f ( z) 2i d n f
(4)  dz  con f (z) analítica
C  z  z 0 n 1
n! dz n
z0
dentro y sobre C
( Fórmula para derivadas ) 64
(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 analítica en D”

(2) El teorema de Liouville

“Si una función entera f (z) está acotada en valor absoluto para todo z, entonces
f (z) debe ser constante” – probarlo usando la desigualdad de Cauchy.

65