Product of convergent infinite series converges?

Click For Summary
SUMMARY

The discussion centers on the convergence of the product of two convergent infinite series, specifically \(\sum a_n \to L\) and \(\sum b_n \to M\). The participant explores the multiplication of partial sums \(A_n\) and \(B_n\) and attempts to establish an epsilon proof for the limit being \(L \times M\). However, a counterexample involving geometric series demonstrates that the product of the series does not necessarily converge to \(L \times M\), as shown with \(\sum (1/2^n)\) and \(\sum (3/5)^n\) yielding a product that converges to \(10/7\) instead of \(2 \times (5/2)\).

PREREQUISITES
  • Understanding of convergent infinite series
  • Familiarity with epsilon-delta proofs
  • Knowledge of geometric series and their convergence
  • Ability to manipulate sequences and series notation
NEXT STEPS
  • Study the properties of convergent series in detail
  • Learn about the Cauchy product of series
  • Explore the implications of the Weierstrass M-test
  • Investigate counterexamples in series convergence
USEFUL FOR

Mathematics students, educators, and anyone studying series convergence, particularly those interested in advanced calculus and analysis.

tarheelborn
Messages
121
Reaction score
0

Homework Statement



Given two convergent infinite series such that \sum a_n -> L and \sum b_n -> M, determine if the product a_n*b_n converges to L*M.

Homework Equations





The Attempt at a Solution



If know that if a_n -> L this means that the sequence of partial sums of a_n = s_n converges to L. Similarly for the sequence of partial sums of b_n = t_n converges to M. I am not sure how to multiply these two sequences of partial sums.
 
Physics news on Phys.org
A_n = a_0 + a_1 + ... + a_n
B_n = b_0 + b_1 + ... + b_n

(A_n)(B_n) = (a_0 + a_1 + ... + a_n) (b_0 + b_1 + ... + b_n)
= sum of i=0 to n (inner sum of j = 0 to n) a_i b_j

Sorry I don't know how to use latex on this forum.
Does that help with multiplying the sequences?

so for example A_1 * B_1 = (a_0 + a_1) ( b_0 + b_1) = a_0b_0 + a_0b1 + a_1b_0 + a_1b_1
 
OK, that makes sense. Unfortunately, I still have no idea how to start this proof. I know that I have to do an epsilon proof that the limit is L*M, but it seems like I am going to need something more than that.
 
Maybe I'm wrong but I'll throw my idea at you=)

\sum_{k=0}^\infty a_k \mbox{\Rightarrow\ \forall\ \epsilon>0\ \exists\ N_1>0\ so\ \forall\ m>n>N_1, } |\sum_{k=n+1}^{m} a_k|< \epsilon \mbox{ and } |\sum_{k=0}^\infty a_k-L|<\epsilon

\sum_{k=0}^\infty b_k \mbox{\Rightarrow\ \forall\ \epsilon>0\ \exists\ N_2>0\ so\ \forall\ m>n>N_2, } |\sum_{k=n+1}^{m} b_k|< \epsilon \mbox{ and } |\sum_{k=0}^\infty b_k-M|<\epsilon

\mbox{So if I'm right, after } N> \max \{N_1, N_2\} \mbox{ good things should happen. =) }
 
But if I have a geometric series, say \sum (1/2^n) - > 2 and another geometric series, say \sum (3/5)^n -> 5/2. Now say I multiply these two series giving \sum ((3/10)^n). The product of the series converges, but it converges to 10/7 which is different from 2(5/2), so the conjecture cannot be proved. Thanks for your help!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
3K
Replies
7
Views
2K