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.

I am reading a proof of Cauchy's Integral Formula.In the proof,the author let $\phi (z,w)=[f(z)-f(w)]/(z-w)$ if $(z\neq w)$ and $f'(z)$ otherwise and leaves the readers to prove that $g(z)=\phi (z,w)$ is analytic for fixed $w$.I solve this problem by consider the power series around $w$.But I doubt that we can get a more general result.

Let $f:B(a;R) \rightarrow \mathbb{C}$ be continuous and $f$ be analytic on $B(a;R)-\{a\}$,where $B(a;R)$ is a open disc of radius $R$ with centre at $a$.Is it true that $f$ is analytic on $B(a;R)$?

share|improve this question
2  
See math.stackexchange.com/questions/159659/… –  user31373 Jul 22 '12 at 15:25

2 Answers 2

up vote 2 down vote accepted

This can be proved using Morera's theorem, which states that if $f$ is a continuous function defined on an open set $D$ such that the integral around every simple closed curve is 0, then the function is holomorphic on $D$.

To show that the integral around any simple closed curve is zero, it is sufficient to consider only very simple curves such as rectangles or triangles. Furthermore, it is clear that we only have to show this is true for curves which either pass through $a$ or go around $a$, because we know $f$ is holomorphic on $B(a;R)\setminus\{a\}$.

There are some different cases to consider, but the argument goes like this... Choose $\epsilon>0$ let $$M=\max_{z\in \overline{B(a;R/2)}}\{|f(z)|\}.$$ Continuity of $f$ ensures that this is well defined. Now choose $r$ such that $0<r<\epsilon/6M$. Let $\Gamma$ be any triangle contained in $B(a; r)$. It follows that $$\int_\Gamma f(z)\,dz\leq M(6r)<\epsilon.$$ Thus, by rewriting the integral around any simple closed curve as a sum of integrals around simple closed curves contained in $B(a;R)\setminus\{a\}$ and one integral around an appropriately small triangle around $\{a\}$, this shows that the integral is zero, and Morera's theorem finishes the argument.

share|improve this answer

Yes, and in fact continuity can be substantially weakened. Wikipedia has a proof.

share|improve this answer

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.