Integración de Funciones de

Variable Complejas

 C
f ( z )dz  0

1
2
3
4
5
6
7
8
Integrales de línea, 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 9
 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 ds0 para los valores x e y en juego.
En este caso +. 10
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).

Interpretación física de las integrales de línea:

F( x,y)  1
B
 ds
A

F( x,y)  
B
  ds
A
11
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.12
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 13
 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 módulo del vector:
sk | sk ||  sk |
B A
 F ( x, y)ds  F ( x, y)ds
A B
14
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
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 actúan como vectores, no como longitudes.
Si f(z) = 1, ¿qué significa la integral?
15
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 
16
Integración de funciones complejas parametrizadas

Arco suave 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

17
 Ejemplo:

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

18
 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 19
  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

20
21
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.

22
 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
Para no recargar con símbolos

Decimos que la integración

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

24
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
  i t ri ei t dt
1
0
re
2 Nota: podríamos haber usado
 i  dt  2 i C : z(t )  r cos t  i sin t 
0
Ejercicio: repetir con esta forma. 25
26
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
27
 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

28
 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 )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
2t 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
2t 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

29
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.
30
31
 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
32
 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

33
 Teorema integral de Cauchy
Si f (z) es analítica con derivada
continua en todos los puntos
dentro y sobre un contorno cerrado
C
 f ( z )dz  0
C, entonces:
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
34
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.
35
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 

36
 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.

37
 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

38
Demostración 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 analítica
cumple las ECR)
39
40
41
 Teorema integral de Cauchy-Goursat

Si f (z) es analítica 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 restricción Edouard Jean-Baptiste Goursat
alguna sobre la derivada (1838 – 1936)
de f(z). 42
 1 Ejemplos
C1
C cos z dz  0 C1
1

1
C2 C cos z dz  ? C2
2

f (z) es no analítica 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 analítica en C 2

los puntos f (z) es no analítica

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

longitud
Cotas para integrales
de línea.  f ( z )dz  ML
C
de C

cualquier número tal que

Demostración:
f ( z )  M sobre C

 f ( z ) dz  lim
n 
 f ( z ) z
k 1
k k
C

donde z  0 cuando n  
44
 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

45
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
46
 z
Ejemplo: e
Encuentra una cota superior para el valor absoluto de: C z 1 d z
donde C es el círculo |z| = 4.
z z z
e |e | |e |
Puesto que |z +1|  |z| − 1 = 3, entonces:  
z  1 | z | 1 3
Además, |ez| = ex, con |z| = 4, y tenemos z 4
e e
que el máximo valor de x es 4. Así: 
z 1 3
f ( z)  M
L  2R
e z
8e 4

C z  1 d z 
3
47
 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
48
49
Demostración 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 triángulo auxiliar
EFD a partir de los puntos medios E D
de los lados del triángulo 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
50
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 triángulo 

1

 f ( z )dz  4 2  f ( z )dz
ABCA 2
51
 Después de n pasos, tendremos:

 f ( z )dz  4 n  f ( z )dz
ABCA n

Hemos construido una sucesión de triángulos 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 analítica en z0. Entonces:
f ( z )  f ( z0 )  f ( z0 )( z  z0 )   ( z )( z  z0 )
recordemos que (z) depende de z y que (z)0 cuando z z0; es
decir, que para todo  podemos encontrar un  tal que (z)
siempre quez - z0. 52
 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) analíticos con primeras derivadas
continuas. Podemos aplicar teorema integral de Cauchy.

 f ( z)dz  ( z)( z  z )dz 0

n n

53
Si P es el perímetro de ABC , entonces el perímetro 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 54
Teníamos:

 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 pequeño, entonces:

 f ( z)dz  0
ABCA

55
Puesto que todo polígono cerrado se puede
triangular, aplicando el teorema de
A
Couchy-Goursat a cada
triángulo podemos B
demostrar el teorema
para un polígono E
cerrado arbitrario.
C D
z0  z n
Intentaremos aproximar
una curva arbitraria a través
z1 de un polígono cerrado P de
vértices z0, z1, z2, ... zn-1, zn= z0,
z n 1
tal y como hicimos para
definir la integral de línea
z2 compleja.
56
Recordemos que: Para n finito, estamos
n
f ( z )dz  lim  f ( zk )zk
aproximando la curva

C n 
k 1
cerrada con un polígono
 
  P cerrado de n lados y
Sn de perímetro 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
57
Comencemos con 1
C
f ( z )dz  Sn

lim S n :  f ( z )dz
n C

Entonces, dado cualquier  > 0 existe un número N() tal que

para n > N():



C
f ( z )dz  S n 
2

58
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 n1
z1
z0
{ f ( z )  f ( z1 )  f ( z1 )}dz 
z2
z1
{ f ( z )  f ( z 2 )  f ( z 2 )}dz  ... 
zn
z n1
{ f ( z )  f ( zn )  f ( zn )}dz  0

59
 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 n1
{ f ( z )  f ( z n )}dz  f ( z n )  dz
z n1

z n

z1 z2
 z0
{ f ( z )  f ( z1 )}dz   { f ( z )  f ( z2 )}dz  ... 
z1
zn
 z n1
{ f ( z )  f ( zn )}dz  S n  0
60
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 n1
{ 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 n1
{ f ( zn )  f ( z )}dz

61
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 perímetro de la curva cerrada. Así
podemos acotar todos los integrandos:

f ( zk )  f ( z ) 
2P 62
Teníamos:

z1 z2
Sn   z0
{ f ( z1 )  f ( z )}dz  
z1
{ f ( z2 )  f ( z )}dz  ... 
zn

z n1
{ f ( zn )  f ( z )}dz

De modo que:

  P
 
 
Sn  z1  z0  z2  z1  ...  zn  zn1  
2P 2

63
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

64
65
Ejercicio

66
 Principio de deformación de contornos
(Teorema integral de Cauchy para un dominio doblemente conexo).

Supongamos que f (z) es analítica 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) ... 67
  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 68
  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

69
 Otra demostración 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 analítica sobre y dentro
de C* y C** . Por el teorema Integral de Cauchy:


c*
f ( z )dz  0, 
c**
f ( z )dz  0
70
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. 71

 ¿Por qué se denomina principio de deformación de contornos?

Si uno de los contornos puede

 f ( z )dz   f ( z )dz
transformarse en el otro mediante
una deformación 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  2i
1  i 1 i
C4
72
 Ejemplo

Así que como la integral

de f(z) = 1/z a lo largo de un C2
círculo de radio r es 2i:
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 analítica
este círculo es también 2i. z aquí
73
 Ejemplo 3i
Evaluar la integral
dz
C z 2 ( z 2  9) dz C

donde C es un círculo de 0 1 2
radio 2, centrado en 0, descrito
en sentido positivo y un círculo
de radio 1, centrado en 0,
descrito en sentido negativo.
-3i

f (z) presenta singularidades en z = 0 y z = 3i. Esos puntos están fuera

de la región sombreada como muestra la figura. Así:
dz
C z 2 ( z 2  9) dz  0
74
 Teorema de Cauchy-Goursat para dominios
múltiplemente conexos
Supongamos que C, C1, …, Cn
son curvas cerradas simples con
orientación 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 común. Si f es
analítica 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
75
 No es necesario que los caminos cerrados no se corten, es decir
que formen anillos. Por ejemplo:
C3
Imaginemos que f(z) es analítica
en todos los puntos del dominio
D de la figura. Tanto C2 como C1
C3 forman anillos con C1.
Por deformación 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
76
Ejercicio: Se sabe que una cierta función es f(z) es analítica 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
múltiplemente conexos:
2
f ( z )dz  a1  a2

3
f ( z )dz  a2  a3 77
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 78
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 79
  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
80
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:
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 81
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 82
  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
83
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 (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 84
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  
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 85
  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
86
 Independencia del camino
Supongamos que f (z) es analítica 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
87
Recuerda el potencial gravitatorio:
masa m

altura h

La energía potencial gravitatoria = m g h

es independiente del camino...

88
 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
89
 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
90
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

0
x todo el plano complejo excepto
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 91
Si los caminos se cruzan, podemos hacer lo
mismo para cada bucle, utilizando como puntos
intermedios los puntos de intersección.

z1
C2

C1 z2
92
Si f es analítica 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

93
Independencia del camino 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 2i 3
z z3 1
p.ej.  dz     (19  2i )
2
z
2
3 z 1 2i
3 z 2
3
94
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) 95
 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  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 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. 96
97
 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
98
 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 ramificación
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
99
 Punto de Corte
Intentemos definir una ramificación
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.
100
101
102
 Más sobre integración en contornos cerrados...
Podemos usar el teorema Integral de Cauchy para integrar
funciones en contornos cerrados siempre que éstas sean:
(a) analíticas, o
(b) analíticas en ciertas regiones
Por ejemplo,
C
dz f (z) es analítica en todo punto
C z  0 excepto en z = 0

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

C
dz
C z  ?
103
 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 ( z 0 )
C

z0

D
104
 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.
105
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 106
 Demostración no rigurosa de
z la fórmula integral de Cauchy:
i
r0 e
C Por el principio de deformación
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
107
Hemos tomado un r0 arbitrario. Hagámoslo infinitamente
pequeño:
2 2
lim i  f ( z0  r0e )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 )
¿Qué no es riguroso aquí?

108
 Demostración de la fórmula
integral de Cauchy. Por el
z principio de deformación
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 109
 1 2 1 2
I1   dz   
ir0e d  i  d  2i
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. 110
 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 pequeño 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  2if ( z0 )
   
I1  2i I 2 0
111
 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 112
 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
 
113
 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) 
z0  i z i

dz
  2  
C
z 1
114
 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
115
 Otro ejemplo
z
e
Evaluar  dz donde C es cualquier contorno cerrado
C
zi conteniendo z = -i
Fórmula 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 analítica en todo punto

116
 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  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  2i f ( z0 )  
C
z  1 C z  z0 2 117
 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 118
 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  2i  2 tan(1)  tan( 1)  9.785i

tan z 1

119
 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! dz n
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 , 
 z  2 3
dz  i
dz 2
z 0  1 C 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 120
 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)  dz 
dz0  z  z0 
demostrar por inducción:

f ( z ) 2 i d n
f
1

f ( z)
dz    n 1
dz 
2i z  z 
n
2
C z z 0
n! dz z
C 0 0
121
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.

122
 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
123
 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 ( z 0 )  2
2

sea z0  i
2
z dz
f (z) es analítica in D, y C incluye z0 C ( z  i ) 3  2 i 124
 ez
Calcular C z  2i 3 dz
donde C es la circunferencia C : z  con
3 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
Examen
JUNIO 02/03: P-1 125
126
127
128
129
130
131
132
133
134
 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
n! dz z0
dentro y sobre C
( Fórmula para derivadas ) 135
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 analítica 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 fórmula para las derivadas de una función analítica
y la desigualdad ML)

(3) 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. 136
137
 Desigualdad de Cauchy
• Si tomamos el contorno circular C: |z – z0| = r,
utilizando la generalización de la fórmula 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.

138
139
 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 pequeño como queramos: |f ’(z0)| = 0. De
modo que f es una función constante.

140
141
142
143
144
Ejercicio. Sea la función entera tal que:

f ( z)  e , z  C
z

Con la ayuda del teorema de Liouville obtener la expresión 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
146
147
148
149