Análisis Complejo
Ejercicios resueltos
Ejercicio 13
Probar que si f ( z ) es analítica y no constante en una región U , entonces
|f ( z )| no tiene un máximo en U .
Solución
Recordemos que la función modulo |f ( z )| es una función subarmonica,
es decir cumple con la siguiente desigualdad:
π
1
|f ( z )|≤ ∫ |f ( z +r e ¿ )|dt ∀ D( z , r )⊂ U
2 π −π
Mostraremos que |f ( z )| tendrá un máximo en U solo si f (z) es constante.
Es lo mismo que probar el Principio del máximo para funciones
subarmonicas.
Supongamos que existe un z 0 ∈ U tal que |f ( z 0 )|≥|f (z )| ∀ z⊂U.
Definamos:
A={ z ∈U :|f ( z )|=|f (z 0)|}
Es claro que z 0 ∈ A y que A es cerrado relativo a U . Ahora, sea z 1 ∈ A y
R>0 tal que D(z 1 , R)⊂U . Podemos escribir:
D ( z 1 , R ) =¿ 0 ≤r < R C (z 1 ,r )
Para probar que D( z 1 ,r )⊂ A y por tanto, que A es abierto veamos que
cada circunferencia C (z 1 , r ) se queda dentro de A .
Para cualquiera de las circunferencias C (z 1 , r ) tenemos
π
1
|f ( z 0 )|=|f (z 1)|≤ 2 π ∫|f ( z 1 +r e ¿ )|dt
Luego:
−π
π
1
∫ (|f ( z 0 )|−|f ( z 1 +r e )|)dt ≤ 0
¿
2 π −π
Pero la función modulo que estamos integrando verifica que
|f ( z 0 )|−|f ( z 1+ r e¿ )|≥ 0 ∀ t ∈ [−π , π ] puesto que la función modulo alcanza en z 0
un máximo. Como la integral de una función positiva no puede ser un
número negativo, deducimos que:
π π
−π
¿
−π
| ¿
|
0=∫ (|f ( z 0 )|−|f ( z1 +r e )|)dt=∫ (|f ( z 0 )|−|f ( z 1 +r e )|) dt
Y como la función que integraos es continua, esta igualdad implica que:
|f ( z 0 )|−|f ( z 1+ r e¿ )|=0 ∀ t ∈ [ −π , π ]
Observemos así que z 1+ r e ∈ A ∀ t ∈ [−π , π ], escrito de otra forma
¿
C (z 1 , r )⊂ A . Concluimos que A es abierto y, por conexión, que A=U . Por
tanto, el módulo de uestra función analítica f (z), lo que implicaría que
f (z) sea constante, pues recordemos :
“Si el módulo de una función holomorfa en un dominio es constante,
entonces la fucion es constante”.
Finalmente, se concluye que si f ( z ) es analítica y no constante en una
región U , entonces |f ( z )| no tiene un máximo en U .
