Principio del módulo máximo

De Wikipedia, la enciclopedia libre
(Redirigido desde «Principio del Módulo Máximo»)
Saltar a: navegación, búsqueda
En rojo, representación del módulo de \cos(z) para valores de z en el disco unidad (en azul). Obsérvese como el máximo del módulo no se alcanza en el interior del disco.

En matemáticas, y en particular en el análisis complejo, el principio del módulo máximo afirma que el módulo de una función holomorfa alcanza su máximo en la frontera del dominio.

Este resultado es bastante sorprendente al mostrar cuán especiales son las funciones holomorfas, pues es sabido que en \mathbb{R} ese resultado no es cierto (basta tomar cualquier función diferenciable acotada, como \sin(x)).

Enunciado formal[editar]

Sea A\subset \mathbb{C}, un conjunto conexo y abierto (si no es conexo, lo que sigue es válido para cada componente conexa) y f:A\longrightarrow \mathbb{C} una función holomorfa no constante. Entonces f no alcanza su máximo sobre A, es decir:

\forall z \in A, \exists w \in A, t.q. |f(w)|>|f(z)|.

Si se tuviera la igualdad, la función sería constante.

Consecuencias[editar]

Un corolario inmediato es que si A es además acotado, y f puede ser extendida en forma continua a \bar A (que es un conjunto compacto, por lo que |f| alcanzará un máximo sobre \bar A), entonces: max_{z\in \bar A}|f(z)|=max_{z\in \partial \bar A}|f(z)|. Más aun, se cumplirá que \forall z \in A, |f(z)|<max_{z\in \partial \bar A}|f(z)|.

Otro corolario, no tan inmediato, es el principio del módulo mínimo, que dice lo siguiente: si \forall z \in A, |f(z)|>0 (i.e., f no se anula), entonces f tampoco alcanza su mínimo, i.e., \forall z \in A, \exists w \in A   t.q. |f(w)|<|f(z)| . Este resultado se basa en aplicar el principio del módulo máximo a la función g(z)=1/f(z), que es analítica pues f no se anula. Obviamente, si A es acotado, se pueden concluir resultados análogos a los del principio del módulo máximo.