BIGpedia.com - Morera's theorem - Encyclopedia and Dictionary Online
encyclopedia search

Morera's theorem

In complex analysis, Morera's theorem states that if the integral of a continuous complex-valued function f of a complex variable along every simple closed curve within an open set is zero, that is, if

\int_C f(z)\,dz=0

for C any simple closed curve, then f is differentiable at every point in that open set.

Morera's theorem can be used to show the analyticity of functions defined by sums or integrals, such as the Riemann zeta function

\zeta(s)=\sum_{n=1}^\infty \frac{1}{n^s}

or the Gamma function

\Gamma(\alpha)=\int_0^\infty x^{\alpha-1} e^{-x}\,dx.

It also leads to a quick proof of the general result that if a sequence

fn(z),

of analytic functions on a given open set D of complex numbers, converges to a function

f(z)

uniformly on every compact subset K, then f is analytic. The condition can easily be reduced to K being a closed disk.



The contents of this article are licensed from Wikipedia.org under the GNU Free Documentation License.
How to see transparent copy

01-04-2007 01:21:04