Welcome to our community

Be a part of something great, join today!

Product of Analytic Functions is Again Analytic (Non-Standard Proof)


New member
Mar 6, 2012

I'm trying to prove that the product of two analytic functions is analytic. Specifically, given their power series representations about some point (let's just say they're both analytic at z = 0, and have the same radii of convergence for convenience), prove that the Cauchy product of these power series (a) converges and (b) converges to the desired limit (i.e. the product of the original limits of partial sums of the power series).

The theorem is trivial if we appeal to Merten's theorem (or Abel's of course), as both power series are absolutely convergent on the interior of their disks of convergence, and therefore for all z in the disk, the Cauchy product not only converges, but converges to the product of limits.

I want to prove this another way, and the hint is to apply the discrete Fubini theorem, which states that (under appropriate hypotheses) you may interchange a double sum without affecting the limit. In particular, if you have a double sequence {a_ij} and sum(|a_j|) converges for each i = 1, 2, ... to some sequence {b_i} and sum(b_i) converges, then the interchange is valid (a sufficient condition which I proved in an earlier exercise is that if each term of a_ij is positive, then the interchange is always valid, and this follows from rearrangements not affecting the convergence of absolutely converging series: that is, the interchanges each converge to the same value, or diverge together to infinity).

I did a little scratch work and wasn't really able to come up with anything substantive toward a solution. Basically my idea was to form the Cauchy product of the series and then find suitable candidates for the a_j and b_i series...but I'm having difficulty in even seeing the connection of this theorem to the problem.

If anyone could provide a more illuminating hint, I'd appreciate it.

Thanks ~