Teorema de morera

El teorema de Morera es una inversión (incompleta) del teorema integral de Cauchy, y es uno de los teoremas fundamentales en la teoría de funciones de variable compleja . Se puede formular así:

Si la función de una variable compleja en la región es continua , y la integral de la misma sobre cualquier contorno rectificable cerrado es igual a cero, eso es

entonces  es una función analítica en .

La condición del teorema puede debilitarse restringiéndonos al requisito de que las integrales tomadas a lo largo del límite de cualquier triángulo perteneciente a la región se anulen .

Idea de la prueba

La demostración se basa en que una función que satisfaga las condiciones del teorema tendrá una antiderivada en , es decir, existe una función tal que

Pero una función complejamente derivable una vez es analítica, por lo que su derivada también será analítica.

Aplicación

El teorema de Morera es la principal forma de probar la analiticidad de alguna función complejamente definida. Una de las declaraciones centrales aquí es que si una secuencia de funciones analíticas converge uniformemente a una función , entonces

por tanto, por el teorema de Morera, la función límite también será holomorfa. Así, se demuestra la holomorfía de muchas funciones definidas por series e integrales, por ejemplo, la función zeta de Riemann

y las funciones gamma de Euler

El teorema de Morera también se usa para probar la analiticidad de una función basada en el principio de simetría .

Historia

Este teorema fue obtenido por el matemático italiano Giacinto Morera en 1886 .

Literatura

Enlaces