- Principio del Módulo Máximo
-
Principio del Módulo Máximo
Sea , 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. Entonces f no alcanza su máximo sobre A, es decir:
- .
Este es el principio del módulo máximo.
Este resultado es bastante sorprendente, al mostrar cuan especiales son las funciones analíticas, pues bien sabemos que en ese resultado no es cierto (basta tomar cualquier función diferenciable acotada, como sin(x)).
Consecuencias
Un corolario inmediato es que si A es además acotado, y f puede ser extendida en forma continua a (que es un conjunto compacto, por lo que | f | alcanzará un máximo sobre ), entonces: . Más aun, se cumplirá que .
Otro corolario, no tan inmediato, es el principio del módulo mínimo, que dice lo siguiente: si (i.e., f no se anula), entonces f tampoco alcanza su mínimo, i.e., . 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, resultados análogos a los del principio del módulo máximo se pueden concluir.
Categoría: Análisis complejo
Wikimedia foundation. 2010.