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 1 Let 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 2 Let ( 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 3 Let . 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.