Uniform limit of holomorphic functions is holomorphic: Difference between revisions

Revision as of 22:11, 19 April 2008

Statement

Suppose $f_{n}$ is a sequence of holomorphic functions on an open subset $U \subset C$ , and $f_{n} \to f$ pointwise, with the convergence being uniform on compact subsets. Then $f : U \to C$ is a holomorphic function, and moreover, for any $k$ , we have:

$f_{n}^{(k)} \to f^{(k)}$

with this convergence also being uniform.

Facts used

Proof

The first assertion follows directly from Goursat's integral lemma and Morera's theorem.

Since each $f_{n}$ is holomorphic, it integrates to $0$ along triangles, by Goursat's lemma.
Hence, $f$ integrates to 0 along triangles, by uniform convergence on compact subsets, and the exchange of limit and integral.
Hence, $f$ is also holomorhic, by Morera's theorem.

The second assertion follows using the Cauchy integral formula for derivatives. This expresses the value of the derivative in temrs of an integral involving the function. Fill this in later

@@ Line 9: / Line 9: @@
 ==Facts used==
-* [[Cauchy integral formula]]
+* [[Goursat's integral lemma]]
+* [[Morera's theorem]]
 * [[Cauchy integral formula for derivatives]]
+==Proof==
+The first assertion follows directly from Goursat's integral lemma and Morera's theorem.
+* Since each <math>f_n</math> is holomorphic, it integrates to <math>0</math> along triangles, by Goursat's lemma.
+* Hence, <math>f</math> integrates to 0 along triangles, by uniform convergence on compact subsets, and the exchange of limit and integral.
+* Hence, <math>f</math> is also holomorhic, by [[Morera's theorem]].
+The second assertion follows using the Cauchy integral formula for derivatives. This expresses the value of the derivative in temrs of an integral involving the function. {{fillin}}