Principio del módulo máximo

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

ese resultado no es cierto (basta tomar cualquier función diferenciable acotada, como

, un conjunto conexo y abierto (si no es conexo, lo que sigue es válido para cada componente conexa) y

una función holomorfa no constante.

no alcanza su máximo sobre

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

Un corolario inmediato es que si

es además acotado, y

puede ser extendida en forma continua a

f ( z )

f ( z )

Más aún, se cumplirá que

f ( z )

Otro corolario, no tan inmediato, es el principio del módulo mínimo, que dice lo siguiente: si

no se anula), entonces

tampoco alcanza su mínimo, i.e.,

{\displaystyle \forall z\in A,\exists w\in At.q.|f(w)|<|f(z)|}

Este resultado se basa en aplicar el principio del módulo máximo a la función

, que es analítica pues

no se anula.

es acotado, se pueden concluir resultados análogos a los del principio del módulo máximo.

En rojo, representación del módulo de para valores de en el disco unidad (en azul). Obsérvese como el máximo del módulo no se alcanza en el interior del disco.