3
$\begingroup$

If ${f_n}$ is a uniformly bounded sequence of holomorphic functions in $\Omega$ such that ${f_n(z)}$ converges for every $z \in \Omega$, is the convergence is uniform on every compact subset of $\Omega$?

I'm trying to prove using Dominated Convergence Theorem with Cauchy's Integral Formula. For any compact $K \subset \Omega$, let $\gamma = \partial K$. Then for any $z \in K$, by the CIF, $$|f_n(z) - f_m(z)| \leq \frac{1}{2\pi i}\int_{\gamma}\left|\frac{f_n(w)-f_m(w)}{w-z}\right|\:dz.$$

Now since we are talking in compact sets, $|f_n(z)| \leq B \in L^1$, so by applying Dominated Convergence Theorem, and by taking the limit as $m \to \infty$, $$|f_n(z)-f(z)| \leq \frac{1}{2\pi i}\int_{\gamma}\left|\frac{f_n(w)-f(w)}{w-z}\right|\:dz.$$

But by the pointwise convergence, I am trying to claim that RHS can be made sufficiently small for large enough $n$. Am I on the right track?

  • 2
    Can you use something like Ascoli's theorem? I am wondering if you can prove the equicontinuity of $\{f_n\}$ by Cauchy's formula.2012-09-14
  • 0
    I did run across Arzela-Ascoli's Theorem, but we haven't technically proven it yet, so I can't use it. But I assume I can mimic the proof of the A-A Theorem.2012-09-14

1 Answers 1

2

Here is a powerful convergence theorem.

  • 0
    Wow that is an intense convergence theorem!2012-09-14
  • 0
    I still believe you can solve your problem more easily. But powerful theorems are often useful.2012-09-14
  • 0
    You were right on the money with Ascoli's theorem. [Montel's theorem](http://en.wikipedia.org/wiki/Montel's_theorem) (stated in a somewhat cryptic fashion on Wikipedia) can be proved using Arzelà-Ascoli. This is done e.g. in Ahlfors.2012-09-14