# Analytic functions (part 3)

July 11, 2012 1 Comment

Last time we showed that analytic functions are continuous. This time we’ll show that is also analytic, and with the same radius of convergence. Of course, it suffices to show power series; analytic functions being a bunch of “patched together” power series.

Theorem 1Let for be a power series centered at with radius of convergence . Then is also a power series, and has radius of convergence .

*Proof: *We know that is the pointwise limit of the polynomials

By definition, . It would be nice to show that is the pointwise limit of . This comes down to showing that I can move the differential operator across the limit, so that

In general I am not allowed to do this, but if uniformly, then I can. This is a standard theorem from analysis that I won’t prove. If you like, it’s theorem 7.17 in Baby Rudin. In general, need not be uniform, but on any ball with radius smaller than it’s radius of convergence, the limit is uniform. This is the same trick that we used yesterday to show that uniformly on smaller balls, giving continuity of . This tells us that is exactly the derivative you would expect. You can differentiate a power series by differentiating each term in the series:

To compute the radius of convergence of , we’ll instead compute the radius of convergence of . Clearly this converges if and only if does. The coefficient of in is , so the radius of convergence is given by

This completes the proof.

Corollary 2Let ( an open subset of ) be analytic. Then (“yes”). Moreover, is in fact infinitely differentiable on (“HELL YES!”).

*Proof:* First, pick any . Locally, is given by a power series centered at some point with radius of convergence , so that . Then is locally given by a power series centered at with the same radius of convergence, and so is defined at . Our choice of was arbitrary, so is defined on all of , and hence .

Moreover, is analytic, and so . Also, analytic, so . In general, is analaytic, and so . Thus, is infinitely differentiable.

We are now two-thirds done with that theorem about the equivalences:

Theorem 3Let . The following are equivalent:

- is differentiable (holomorphic)
- is infinitely differentiable
- is locally representable by power series (analytic)

The second obviously implies the first, and today we just showed that the third implies the second. To see that the first implies the third, we’ll need to build a bit more machinery, so integrals are next on the agenda.

Pingback: The theorem « Andy Soffer