3

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?

Trevor Arjeski
  • 211

2 Answers2

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://alpha.math.uga.edu/~pete/243series7.pdf (Wayback Machine)

Community
  • 1
Timothy Wagner
  • 10,319
  • 8
    Sounds good to me. – Pete L. Clark Dec 04 '10 at 17:48
  • 1
    Dead link. (Sad Zelda.) – anon May 31 '15 at 17:05
  • @PeteL.Clark: Care to share the updated link? Thanks!! –  May 21 '16 at 11:51
  • 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. – Pete L. Clark May 21 '16 at 22:28
  • 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.pdf – Тимофей Ломоносов Nov 01 '16 at 05:10
  • As mentioned in the above comment, the notes have later be incorporated into: http://alpha.math.uga.edu/~pete/2400full.pdf – Martin Sleziak Jul 04 '22 at 10:21
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.

Fredrik Meyer
  • 20,228
  • 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. – Pete L. Clark Dec 04 '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 04 '10 at 17:52
  • Thanks for the comment. I mistakenly believed that complex analytic $\Leftrightarrow$ real analytic. – Fredrik Meyer Dec 04 '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 04 '10 at 18:29