# Multiplication of Power Series and their convergences

When you multiply two power series' that have difference intervals of convergence, what is the product's interval of convergence?

Ex. f(x) converges for |x|<6, g(x) converges for |x|<4. What does f(x)g(x) converge for?

-

Assuming both power series have the same center, the radius of convergence of the product is at least the minimum of the radii of the convergence of the two individual series.

See Proposition 2 in Pete Clark's notes here

http://math.uga.edu/~pete/243series7.pdf

-
Sounds good to me. – Pete L. Clark Dec 4 '10 at 17:48
Dead link. (Sad Zelda.) – anon May 31 '15 at 17:05
@PeteL.Clark: Care to share the updated link? Thanks!! – Kenny LJ May 21 at 11:51
@Kenny: Sorry, these notes no longer exist: they have been merged into later, better course notes. The result referred to here appears as an exercise in Section 11.8.1 of math.uga.edu/~pete/2400full.pdf. If you know about absolute convergence of "Cauchy products" (which is covered in detail earlier in the notes), this is a straightforward exercise. – Pete L. Clark May 21 at 22:28

The power series for a function $f:\mathbb{C}\to\mathbb{C}$ converges for all $z$ within the largest open disk such that $f$ is analytic within the disk (i.e. no poles, discontinuities, etc.)

Example: $f(z)=\frac{1}{1+z^2}$. The function is analytic within $|z| < 1$, but has poles at $\pm i$. Its power series converges within the same disk. Multiplying with for example $g(z)=e^z$ (everywhere analytic), yields $h(z)=f(z)g(z)$ with radius of convergence $1$.

(actually, if $R,S$ is the radius of convergence for $f,g$ respectively, then the radius of convergence for $fg$ is $\min(R,S)$.)

Edit: I lived in a complex world, see Pete L. Clark's comment below.

-
@Frederik: Your last statement is not quite true. The radius of convergence of the product can be strictly larger than the minimum of the radius of convergence of the factors: see Exercise 37 in the notes linked to in Timothy Wagner's answer. – Pete L. Clark Dec 4 '10 at 17:50
Maybe I should say that part of the reason I gave this exercise is that it is somehow tempting to think that the radius of convergence of the product is precisely the minimum, more so if you have had some exposure to complex analytic functions. – Pete L. Clark Dec 4 '10 at 17:52
Thanks for the comment. I mistakenly believed that complex analytic $\Leftrightarrow$ real analytic. – Fredrik Meyer Dec 4 '10 at 18:10
(sorry for misspelling your name above): note though that the example I gave works the same way in the complex plane. – Pete L. Clark Dec 4 '10 at 18:29