10
$\begingroup$

Suppose I have $\sum\limits_{n = 1}^{\infty}\sum\limits_{m = 1}^{\infty} a_{m, n}$ where $a_{m, n} \geq 0$ for all $m$ and $n$. Can I interchange the two summations? If so why?

  • 0
    These two questions seem to be related: [Under what condition we can interchange order of a limit and a summation?](http://math.stackexchange.com/questions/23057/under-what-condition-we-can-interchange-order-of-a-limit-and-a-summation) and [When can you switch the order of limits?](http://math.stackexchange.com/questions/15240/when-can-you-switch-the-order-of-limits/)2011-12-09

2 Answers 2

8

It's worth knowing that rearrangements can change the value of sums or integrals only if the positive and negative parts both diverge to infinity.

Fubini's theorem says rearrangements are fine if both parts are finite.

Tonelli's theorem says rearrangements are fine if what's being summed or integrated is everywhere non-negative. (It follows that it also works if it's everywhere non-positive, since the minus sign pulls out.)

Putting the two together gives you what I said in the first paragraph.

  • 0
    Basically, if the series is conditionally convergent then the order of the elements being added matter. However, that is not to say that you will necessarily get a different sum for any two orders.2013-02-22
  • 0
    what about the formal series?2013-08-07
8

Yes. Because either way it is equal to $\displaystyle{\sup\limits_{M,N}\;\sum_{n=1}^N\sum_{m=1}^M a_{m,n}}$.

  • 0
    Hmm, what about convergence issues?2011-12-09
  • 0
    @GottfriedHelms: If you show that convergence of one of the iterated series implies convergence of the other, then by contraposition you also have that divergence of one of the interated series implies divergence of the other.2011-12-09
  • 1
    One comment about convergence issues is that (with all terms non-negative) the interchange is valid even if the sum does not converge.2011-12-09
  • 1
    @Michael: Yes, that is the point I meant to express in my comment, along with a way to see that it is so. (And one could allow $\sup$ to take on the value $+\infty$ to apply the suggestion in my answer.)2011-12-10