3
$\begingroup$

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?

2 Answers 2

9

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

  • 8
    Sounds good to me.2010-12-04
  • 1
    Dead link. (Sad Zelda.)2015-05-31
  • 0
    @PeteL.Clark: Care to share the updated link? Thanks!!2016-05-21
  • 1
    @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.2016-05-21
  • 0
    For those who seek the notes that are no longer directly available, here is a link to a snapshot: https://web.archive.org/web/20130512113648/http://math.uga.edu/~pete/243series7.pdf2016-11-01
0

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.

  • 1
    @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.2010-12-04
  • 0
    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.2010-12-04
  • 0
    Thanks for the comment. I mistakenly believed that complex analytic $\Leftrightarrow$ real analytic.2010-12-04
  • 0
    (sorry for misspelling your name above): note though that the example I gave works the same way in the complex plane.2010-12-04