Captulo 5
El Teorema del Modulo Maximo
1. El Principio del Maximo
1. Pruebe el siguiente Principio del Mnimo. Si f es una funcion analti-
ca no constante sobre un conjunto abierto G acotado y es continua
sobre G, entonces f tiene un cero en G o |f| asume su mnimo valor
sobre G.
Solucion. Si f no tiene ceros en G, la funci on
1
f
es analtica en
G y por el principio del m aximo
1
f(z)
m ax
zG
1
|f(z)|
, z G
si y s olo si
mn
zG
|f(z)| |f(z)| , z G .
2. Sea G una regi on acotada y suponga que f es continua en G y
analtica sobre G. Demuestre que si existe una constante c 0 tal
que |f(z)| = c para todo z G entonces f es una funci on constante
o bien f tiene un cero en G.
Solucion. Si f no tiene ceros aplicando el principio del m aximo
y del mnimo se tiene que
c = mn
zG
|f(z)| |f(z)| m ax
zG
|f(z)| = c
lo que implica que |f(z)| = c para todo z G. Se sigue que f(z) = c
con || = 1, para todo z G.
3. (a) Sea f entera no-constante. Para cualquier n umero real c de-
muestre que la clausura de {z : |f(z)| < c} es el conjunto
{z : |f(z)| c}.
(b) Sea p un polinomio no constante y demuestre que cada compo-
nente de {z : |p(z)| < c} contiene un cero de p.
1
1. EL PRINCIPIO DEL M
AXIMO 2
(c) Si p es un polonimio no constante y c > 0 demuestre que {z :
|p(z)| = c} es la uni on de un n umero nito de caminos cerrados.
Discuta el comportamiento de estos caminos cuando c .
Solucion.
(a) Sabemos que X = X X
, X = {z : |f(z)| < c}. Como f
es entera no constante, f(C) es denso en C. Luego, existe una
sucesi on {z
n
}
n=1
X tal que |f(z
n
)| = c
1
n
y pot la continuidad
de f
c = lm
n
|f(z
n
)| =
f
_
lm
n
z
n
_
= |f(z
0
)| ,
lo que implica que z
0
X
con |f(z
0
)| = c. Por lo tanto, X =
{z : |f(z)| c}.
(b) Sea G = {z : |p(z)| < c} entonces G = {z : |p(z)| c}, se sigue
que G{z : |p(z)| = c}. Por el problema 2, como p es un poli-
nomio no constante, p tiene un vero en G en cada componente
conexa.
(c) Es claro que G = {z : |p(z)| = c} es un curva. Supongamos
que G es una union innita de curvas, entonces en el interior
de cada curva p tiene un cero, seg un lo probado en (b). Luego,
p tiene innitos ceros. Por otro lado, como lm
z
|p(z)| = se
tiene que para cada > 0 existe M > 0 tal que |p(z)| para
todo |z| M. En particular, para = c + 1,
|p(z)| c + 1 , |z| M .
Se sigue que los ceros de p est an todos contenidos en el disco
B(0, M), como este conjunto es compacto, los ceros de p, tienen
un punto de acumulacion y por el principio de identidad p(z) 0
lo cual es una contradicci on.
4. Sean 0 < r < R y A = {z : r |z| R}. Demuestre que existe un
n umero positivo > 0 tal que para todo polinomio p,
sup{|p(z) z
1
| : z A} .
Esto dice que z
1
no es el lmite uniforme de polinomios en A.
Solucion. Sean z
1
, . . . , z
n
los ceros de p y R > 0 tal que R = |z
k
|
1. EL PRINCIPIO DEL M
AXIMO 3
para todo k = 1, . . . , k. Consideremos
M = sup
|z|=R
|zp(z) 1| .
Entonces, si M < 1 entonces
|zp(z) 1| < 1 , sobre |z| = R .
Por el Teorema de Rouche, zp(z) y 1 tienen la misma cantidad de
ceros en {|z| < R}. Luego, zp(z) no tiene ceros en {|z| < R}, lo cual
es una contradicci on con que zp(z) tiene un cero en z = 0. Luego,
necesariamente M 1. Observe que si R = |z
k
| para alg un k, sea >
0 tal que R = |z
k
|. Si suponemos que M
R
= sup
|z
k
|=R
|zp(z)1| < 1,
por el principio del m aximo se obtiene que M
R
M
R
< 1 lo cual
contradice lo anterior. Por lo tanto, M 1.
Ahora bien, sea z A entonces |z| R
1
R
1
|z|
, luego
sup
zA
|p(z) z
1
| = sup
zA
|zp(z) 1|
|z|
1
R
sup
zA
|zp(z) 1|
=
M
R
1
R
= > 0 .
5. Sea f analtica sobre B(0, R) con |f(z)| M para |z| R y
|f(0)| = a > 0. Demuestre que el n umero de ceros de f en B(0,
1
3
R)
es menor o igual que
1
log 2
log
_
M
a
_
.
Solucion. Sean z
1
, . . . , z
n
los ceros de f en B(0,
1
3
R) y considere
la funcion analtica
g(z) = f(z)
_
n
k=1
_
1
z
z
k
_
_
1
.
Note que g(0) = f(0). Observe que para |z| = R se tiene que
|g(z)| = |f(z)|
_
n
k=1
1
z
z
k
_
1
M
n
k=1
|z
k
|
n
k=1
|z
k
z|
1
3
n
MR
n
_
2
3
_
n
R
n
=
M
2
n
.
1. EL PRINCIPIO DEL M
AXIMO 4
Sabemos que
g(0) =
1
2i
_
|z|=R
g(z)
z
dz ,
entonces
a = |g(0)|
1
2
_
2
0
|g(Re
i
)|
|Re
i
|
|iRe
i
|d =
1
2
_
2
0
|g(Re
i
)|d
M
2
n
,
es decir, 2
n
M
a
lo que implica que n
1
log 2
log
_
M
a
_
.
6. Suponga que ambas f y g son analticas en B(0, R) con |f(z)| =
|g(z)| para |z| = R. Demuestre que si f ni g se anulan en B(0, R)
entonces existe una constante , || = 1, tal que f = g.
Solucion. Considere la funcion h = f/g entonces h es analtica
en B(0, R) y no tiene ceros. Para |z| = R tenemos que
|h(z)| =
|f(z)|
|g(z)|
= 1 .
Por problema 2, h es constante o tiene un cero en B(0, R), como
h no tiene ceros implica que h(z) = con || = 1. Por lo tanto,
f = g.
7. Sea f analtica en el disco B(0, R) y para 0 r < R dena A(r) =
m ax
|z|=r
Ref(z). Demuestre que a menos que f sea constante, A(r) es
una funcion estrictamente creciente de r.
Solucion. Primero observe que la aplicaci on proyecci on : RR
R dada por (x, y) = x es abierta. Luego, si f es analtica no cons-
tante, por el Teorema del mapeo abierto, f es abierta entonces
h = f = Ref es abierta . (1)
Armamos que h satisface el principio del m aximo, esto es, si h(a)
h(z) para todo z B(0, R) entonces h es constante. En efecto, seam
= h(B(0, R)) y = h(a). Por hip otesis, || || para todo
entonces
.
En particular, no es abierto y por (1) se sigue que f es constante
lo que implica que h es constante.
1. EL PRINCIPIO DEL M
AXIMO 5
Por lo tanto,
m ax
|z|r
Ref(z) A(r) .
Ahora bien, si r
1
< r
2
tenemos que
A(r
1
) = max
|z|=r
1
Ref(z) = m ax
|z|r
1
Ref(z)
m ax
|z|=r
2
Ref(z) = m ax
|z|=r
2
Ref(z) = A(r
2
) .
Esto prueba que A(r) es creciente. Supongamos que A(r) es cons-
tante en el anillo {r
1
< |z| < r
2
} entonces h mapea el anillo sobre un
conjunto cerrado, lo cual contradice que h es abierta. Por lo tanto,
A(r) es una funci on estrictamente creciente.
8. Suponga que G es una region, f : G C es analtica, y M es cons-
tante tal que cuando z est a sobre
G y {z
n
} es una sucesi on en
G con z = lmz
n
tenemos que lmsup |f(z
n
)| M. Demuestre que
|f(z)| M, paa cada z G.
Solucion. Dado a
G para todo sucesi on {z
n
} con lmz
n
= a
se tiene que
lmsup
n
|f(z
n
)| M .
Se sigue que lmsup
za
|f(z)| M, lo cual implica seg un la tercera
versi on del m odulo maximo que |f(z)| M para todo z G.
