Sea f : C  C analítica sobre  0  , donde  es una curva cerrada simple contenida en el

dominio de f, entonces, por la fórmula de la integral de Cauchy, tenemos que

f k z 0   k! 
fz
dz
2i  z  z 0  k1
para z 0   0 .

Desigualdad de Cauchy

Sea f : C  C analítica sobre  0  , donde  es una curva cerrada simple contenida en el

dominio de f y sea z 0   0 . Sea r  0 tal que C r z 0    0 , entonces por el principio de
deformación del contorno

f k z 0   k!  dz  k! 
fz fz
dz
2i  z  z 0  k1 2i C r z 0  z  z 0  k1
por lo tato

f k z 0   k! C z  fz
dz
2i r 0 z  z 0  k1
0  re 
it
 0 fz
2
 k! ire it dt
2 r k1 e ik1t
2 fz 0  re it 
 k! i dt
2 0 r k e ikt
k!  2 |fz 0  re it |dt

2r k 0
 k! k  Mdt
2

2r 0
 k!M
rk
donde M  max|fz| : z  C r z 0 . La desigualdadad f k z 0   k!M
rk
se conoce como
desigualdad de Cauchy o estimación de Cauchy.

Principio del Módulo Máximo

Sea f : C  C analítica sobre  0  , donde  es una curva cerrada simple contenida en el

dominio de f y sea z 0   0 . Supongamos que |fz 0 |  |fz| para todo z   0  , entonces

1  2 fz 0  re  ire it dt
it
|fz 0 |  1 
fz
dz 
2i C r z 0  z  z 0 2 0 re it
0 0
2 2
 1 |fz 0  re it |dt  1 |fz 0 |dt  |fz 0 |
2 2
de donde

0 0
2 2
|fz 0 |  1 |fz 0  re it |dt  |fz 0 |  1 |fz 0  re it |dt  0
2 2
o equivalentemente
 0 0
2 2
1 |fz 0 |dt  1 |fz 0  re it |dt  0
2 2
o bien
1  2 |fz 0 |  |fz 0  re it |dt  0
2 0
lo que indica que |fz 0 |  |fz 0  re it | y esto dice que f tiene módulo constante, lo que no puede
ocurrir, a menos que f sea constante, por lo tanto, el máximo del módulo de f solo se alcanza en .
A este resultado se lo conoce como el pricipio del módulo máximo.

Ejemplo. Sea fz  z 2 y sea   C 1 1. La función t  1  e it con 0  t  2 es una

parametrización de C 1 1, entonces
2 2
|ft|  1  e it   |1  e it |
 1  e it 1  e it 
 1  e it  e it  1
it
 22e e
it
2
 2  2 cost

d|ft|
 2 sint  0  t  0, 
dt
d 2 |ft|
 2 cost
dt 2
d 2 |ft|
0  2
dt 2
d 2 |ft|
  2
dt 2
El valor máximo de |f| sobre C 1 1 es
|f2|  4
y el valor mínimo de |f| sobre C 1 1 es
|f0|  0

Teorema de Liouville

Definición. Una función f analítica en todo el plano complejo de denomina función entera.

Ejemplos.
(1) fz  a0  a1z    anzn
(2) fz  ez
(3) fz  sinz
(4) fz  cosz
Teorema. (Teorema de Liouville). Sea f : C  C entera y tal que |f|  M con M  0. Entonces f
es una función constante.
Demostración. Sea   0 y en la estimación de Cauchy con k  1 y r  M tenemos
|f  z 0 |  M  
M


para todo z 0  C de donde f  z 0   0 para todo z 0  C por lo tanto f es constante.