Morera's theorem

Morera's theorem
If the integral along every C is zero, then ƒ is holomorphic on D.

In complex analysis, a branch of mathematics, Morera's theorem, named after Giacinto Morera, gives an important criterion for proving that a function is holomorphic.

Morera's theorem states that a continuous, complex-valued function ƒ defined on a connected open set D in the complex plane that satisfies

\oint_\gamma f(z)\,dz = 0

for every closed piecewise C1 curve γ in D must be holomorphic on D.

The assumption of Morera's theorem is equivalent to that ƒ has an anti-derivative on D.

The converse of the theorem is not true in general. A holomorphic function need not possess an antiderivative on its domain, unless one imposes additional assumptions. The converse does hold e.g. if the domain is simply connected; this is Cauchy's integral theorem, stating that the line integral of a holomorphic function along a closed curve is zero.

Contents

Proof

The integrals along two paths from a to b are equal, since their difference is the integral along a closed loop.

There is a relatively elementary proof of the theorem. One constructs an anti-derivative for ƒ explicitly. The theorem then follows from the fact that holomorphic functions are analytic.

Without loss of generality, it can be assumed that D is connected. Fix a point z0 in D, and for any z\in D, let \gamma: [0,1]\to D be a piecewise C1 curve such that γ(0) = z0 and γ(1) = z. Then define the function F to be

F(z) = \oint_\gamma f(\zeta)\,d\zeta.\,

To see that the function is well-defined, suppose \tau: [0,1]\to D is another piecewise C1 curve such that τ(0) = z0 and τ(1) = z. The curve γτ − 1 (i.e. the curve combining γ with τ in reverse) is a closed piecewise C1 curve in D. Then,

\oint_{\gamma} f(\zeta)\,d\zeta\, + \oint_{\tau^{-1}} f(\zeta)\,d\zeta\,=\oint_{\gamma \tau^{-1}} f(\zeta)\,d\zeta\,=0

And it follows that

\oint_{\gamma} f(\zeta)\,d\zeta\, = \oint_\tau f(\zeta)\,d\zeta.\,

By continuity of f and the definition of the derivative, we get that F'(z) = f(z). Note that we can apply neither the Fundamental theorem of Calculus nor the mean value theorem since they are only true for real-valued functions.

Since f is the derivative of the holomorphic function F, it is holomorphic. This completes the proof.

Applications

Morera's theorem is a standard tool in complex analysis. It is used in almost any argument that involves a non-algebraic construction of a holomorphic function.

Uniform limits

For example, suppose that ƒ1ƒ2, ... is a sequence of holomorphic functions, converging uniformly to a continuous function ƒ on an open disc. By Cauchy's theorem, we know that

\oint_C f_n(z)\,dz = 0

for every n, along any closed curve C in the disc. Then the uniform convergence implies that

\oint_C f(z)\,dz = \oint_C \lim_{n\to \infty} f_n(z)\,dz =\lim_{n\to \infty} \oint_C f_n(z)\,dz = 0

for every closed curve C, and therefore by Morera's theorem ƒ must be holomorphic. This fact can be used to show that, for any open set Ω ⊆ C, the set A(Ω) of all bounded, analytic functions u : Ω → C is a Banach space with respect to the supremum norm.

Infinite sums and integrals

Morera's theorem can also be used in conjunction with Fubini's theorem 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.

Specifically one shows that

 \oint_C \Gamma(\alpha)\,d\alpha = 0

for a suitable closed curve C, by writing

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

and then using Fubini's theorem to justify changing the order of integration, getting

 \int_0^\infty \oint_C x^{\alpha-1} e^{-x} \,d\alpha \,dx = \int_0^\infty e^{-x} \oint_C x^{\alpha-1} \, d\alpha \,dx.

Then one uses the analyticity of x ↦ xα−1 to conclude that

 \oint_C x^{\alpha-1} \, d\alpha = 0,

and hence the double integral above is 0. Similarly, in the case of the zeta function, Fubini's theorem justifies interchanging the integral along the closed curve and the sum.

Weakening of hypotheses

The hypotheses of Morera's theorem can be weakened considerably. In particular, it suffices for the integral

\oint_{\partial T} f(z)\, dz

to be zero for every closed triangle T contained in the region D. This in fact characterizes holomorphy, i.e. ƒ is holomorphic on D if and only if the above conditions hold.

See also

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Morera's theorem — /maw rair euhz/, Math. the theorem that a function is analytic in a simply connected domain if its integral is zero around every simple closed curve of finite length in the domain. [after Italian mathematician and physicist Giacinto Morera (1856… …   Universalium

  • Morera's theorem — /maw rair euhz/, Math. the theorem that a function is analytic in a simply connected domain if its integral is zero around every simple closed curve of finite length in the domain. [after Italian mathematician and physicist Giacinto Morera (1856… …   Useful english dictionary

  • Giacinto Morera — (born Novara, 18 July 1856 died Turin, 8 February 1909), was an Italian mathematician. His name is associated with Morera s theorem. External links * [http://www history.mcs.st andrews.ac.uk/history/Biographies/Morera.html MacTutor biography of… …   Wikipedia

  • Edge-of-the-wedge theorem — In mathematics, the edge of the wedge theorem implies that holomorphic functions on two wedges with an edge in common are analytic continuations of each other provided they both give the same continuous function on the edge. It is used in quantum …   Wikipedia

  • Cauchy's integral theorem — In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin Louis Cauchy, is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if two different paths… …   Wikipedia

  • Residue theorem — The residue theorem in complex analysis is a powerful tool to evaluate line integrals of analytic functions over closed curves and can often be used to compute real integrals as well. It generalizes the Cauchy integral theorem and Cauchy s… …   Wikipedia

  • Cauchy's integral formula — In mathematics, Cauchy s integral formula, named after Augustin Louis Cauchy, is a central statement in complex analysis. It expresses the fact that a holomorphic function defined on a disk is completely determined by its values on the boundary… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • List of complex analysis topics — Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematics that investigates functions of complex numbers. It is useful in many branches of mathematics, including number theory and applied …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”