2
$\begingroup$

Suppose that $f:\mathbb{C}\to\mathbb{C}$ is continuous, and analytic everywhere except possibly the unit circle. I want to show that $f$ is in fact entire. I guess the idea is to consider the integral along the disc and argue that it must be zero by Cauchy's theorem, and ...

What is the final step here?

  • 0
    @Kris, you should write your comment as an answer.2012-08-29

1 Answers 1

1

Morera's statement says that if $f: D \to \mathbb{C}$ is continuous on some connected open set $D \subset \mathbb{C}$, and $\int_{\gamma} \ f = 0$ for any closed piecewise $C^1$ curve $\gamma \subset D$, then $f$ is holomorphic on $D$.

In this case, $D = \mathbb{C}$, and it's clear that $\int_{\gamma} \ f = 0$ for any $\gamma$ which does not intersect the unit circle. If $\gamma$ does intersect the unit circle, then we can argue by continuity of the integral that $\int_{\gamma} \ f = 0$ still (split up $\gamma$ into finitely many parts, each of which intersects the circle, and deform each 'infinitesimally' so that each part no longer intersects the unit circle).

Now we are done.