Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How can I prove Morera's theorem?

Morera's Theorem: If a function $f(z)$ is continuous in a simply connected region and its integration over a closed path gives $0$, then the function is analytic.

share|improve this question
1  
    
These notes (in English) from the complex analysis course at Copenhagen University have a proof: math.ku.dk/noter/filer/koman-12.pdf –  kahen Sep 11 '12 at 23:40
add comment

3 Answers

up vote 3 down vote accepted

Let $D$ be a simply connected region. We fix a point $p$ of $D$. Let $z \in D$. Consider $g(z) = \int_{p}^{z} f(\zeta) d\zeta$, where the integral path is any piece-wise smooth curve starting from $p$ and ending at $z$. Then, by the assumption, $g(z)$ is uniquely determined. Since $g'(z) = f(z)$, $g(z)$ is holomorphic on $D$. Hence $f(z)$ is holomorphic on $D$.

share|improve this answer
add comment

Morera´s theorem states:Let the function $f: \mathbb{C} \longrightarrow \mathbb{C}$. be continuous in a simply connected open set S. If $$\oint_Cf(z)dz=0$$ for a simple closed path $C$ that lies on $S$ then $f$ is an analytic function in $S$

Let $z_0$ in $S$ and define for all $z$ in $S$ $$F(z)=\int_{z_0}^{z} f(z)dz$$ Look that $F(z)$ do not depend on the path of the curve between the integration intervals, so the function $F(z)$ is well defined. Now we need to prove that $F(z)$ is differentiable at any point $z$ in $S$, such that it derivative is $f$, by definition, $F$ and all its derivatives are analytic over $S$. now let $h$ be a complex number such that $z+h$ is in $S$, then $$\dfrac{F(z+h)-F(z)}{h}=\dfrac{1}{h}\int_{z}^{z+h} f(y)dy$$, note now that $f(z)$ is in terms of the variable $y$, so $$|\dfrac{F(z+h)-F(z)}{h}-f(z)|=|\dfrac{1}{h}\int_{z}^{z+h}(f(y)-f(z))dy|$$ The integration variable $y$ lies on the path defined by the last integral, so if $h$ tends to 0, $y$ tends to $z$ by basic complex analysis.Now , how $f$ is continuous at $z$: $f(y)$ tends to $f(z)$ as $y$ tends to $z$, so here you use epsilon, delta definition and show that

$$\lim_{h\to0}{\dfrac{F(z+h)-F(z)}{h}}=f(z)$$

share|improve this answer
add comment

Statement of theorem is incorrect: the line integral of f(z) around C must be 0 for every closed curve c contained in S , otherwise F(z) as defined above might be path dependent and the proof invalid

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.