Product of convergent infinite series converges?

Click For Summary

Homework Help Overview

The discussion revolves around the convergence of the product of two infinite series, specifically whether the product of two convergent series, \(\sum a_n\) and \(\sum b_n\), converges to the product of their limits, \(L \cdot M\).

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the nature of the sequences of partial sums and their multiplication. There is an attempt to understand how to apply epsilon-delta definitions to prove convergence. Some participants question the validity of the conjecture by providing counterexamples.

Discussion Status

Participants are actively engaging with the problem, discussing various approaches and expressing uncertainty about how to proceed with the proof. A counterexample has been presented, suggesting that the conjecture may not hold in all cases, prompting further exploration of the assumptions involved.

Contextual Notes

There is mention of specific series types, such as geometric series, and the implications of their convergence properties, which may affect the generality of the conjecture being discussed.

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
2K
  • · 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