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; Mar 5th 2012 at 06: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: Jan 4th 2012, 08:05 PM
  2. Rewriting an Analytic function based on its Power Series
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: Jul 30th 2009, 06:11 PM
  3. representation of functions as power series
    Posted in the Calculus Forum
    Replies: 3
    Last Post: Apr 20th 2009, 12:25 AM
  4. Representation of Functions by Power Series
    Posted in the Calculus Forum
    Replies: 1
    Last Post: Apr 11th 2009, 02:20 PM
  5. Replies: 2
    Last Post: Jul 28th 2005, 10:26 PM

Search Tags

/mathhelpforum @mathhelpforum