*** Welcome to piglix ***

Proof that holomorphic functions are analytic


In complex analysis a complex-valued function ƒ of a complex variable z:

One of the most important theorems of complex analysis is that holomorphic functions are analytic. Among the corollaries of this theorem are

The argument, first given by Cauchy, hinges on Cauchy's integral formula and the power series development of the expression

Let D be an open disk centered at a and suppose ƒ is differentiable everywhere within an open neighborhood containing the closure of D. Let C be the positively oriented (i.e., counterclockwise) circle which is the boundary of D and let z be a point in D. Starting with Cauchy's integral formula, we have

Interchange of the integral and infinite sum is justified by observing that is bounded on C by some positive number M, while for all w in C

for some positive r as well. We therefore have

on C, and as the Weierstrass M-test shows the series converges uniformly over C, the sum and the integral may be interchanged.

As the factor (z − a)n does not depend on the variable of integration w, it may be factored out to yield

which has the desired form of a power series in z:

with coefficients


...
Wikipedia

...