Results 1 to 1 of 1

Thread: Prove product of analytic functions is analytic using power series representation

  1. #1
    Sep 2009

    Prove product of analytic functions is analytic using power series representation


    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 ~
    Last edited by TaylorM0192; March 5th 2012 at 05:02 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Prove that f is analytic
    Posted in the Calculus Forum
    Replies: 2
    Last Post: January 4th 2012, 07:05 PM
  2. Rewriting an Analytic function based on its Power Series
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: July 30th 2009, 05:11 PM
  3. representation of functions as power series
    Posted in the Calculus Forum
    Replies: 3
    Last Post: April 19th 2009, 11:25 PM
  4. Representation of Functions by Power Series
    Posted in the Calculus Forum
    Replies: 1
    Last Post: April 11th 2009, 01:20 PM
  5. Replies: 2
    Last Post: July 28th 2005, 09:26 PM

Search Tags

/mathhelpforum @mathhelpforum