Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

How to multiply this series: $$(\sum_{t=-\infty}^{\infty}a_{t})(\sum_{k=-\infty}^{\infty}b_{k})$$

share|cite|improve this question

closed as off-topic by Ricardo Andrade, Jack Huizenga, Lucia, David White, Daniel Moskovich Dec 1 '13 at 6:17

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Ricardo Andrade, Jack Huizenga, Lucia, David White, Daniel Moskovich
If this question can be reworded to fit the rules in the help center, please edit the question.

Any answers to this question will depend on knowing something about the rates of convergence of your series. What do you know? –  David Speyer Feb 8 '10 at 19:21
this series are absolute convergence –  WBT Feb 8 '10 at 19:25
Check out and replace the integrals by sums. Sums are indeed integrals with respect to counting measures, so this use of Fubini's theorem is completely kosher. Though of course, more elementary proofs can be given. (That wikipedia page needs some rewriting, though.) –  Harald Hanche-Olsen Feb 8 '10 at 19:40
I don't think that's the right kind of question for MO... –  Johannes Hahn Feb 8 '10 at 21:51
Right, but absolutely convergent sums have none of these subtleties. –  David Speyer Feb 8 '10 at 22:06

1 Answer 1

up vote 2 down vote accepted

It's not a problem to multiply the series: the product is $\sum_{(t,k)\in\mathbb Z^2} a_tb_k$. The question is how to sum the double series that we have.

For series with nonnegative terms summation is not a problem either: we take the supremum of all finite sums. And since any finite sum is contained in a sufficiently large square, it follows that $\sum_{(t,k)\in\mathbb Z^2} |a_tb_k|$ is finite whenever $\sum_{t\in\mathbb Z} |a_t|$ and $\sum_{k\in\mathbb Z} |b_k|$ are.

In general, $\sum_{(t,k)\in\mathbb Z^2} a_tb_k=S$ if for any $\epsilon>0$ there is a finite subset $A\subset \mathbb Z^2$ such that $|\sum_{(t,k)\in B}a_tb_k - S|<\epsilon$ whenever $B$ is finite and $B\supset A$. Now if both given series converge absolutely, then the contribution from outside of a large square is small, and it follows that $S$ is the product of two sums.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.