Skip to main content
3 of 3
fixed only
Joel David Hamkins
  • 236.4k
  • 44
  • 777
  • 1.4k

For any values of $L_1$, $L_2$ and $L_3$, whether equal or not, there is a sequence $a_{nm}$ achieving your three limit requirements. The reason is that $\lim_n a_{nn}=L_1$ refers only to the entries on the diagonal, $\lim_n\lim_m a_{nm}=L_2$ depends only on entries above the diagonal, and $\lim_m\lim_n a_{nm}=L_3$ depends only on entries below the diagonal. We could simply let $a_{nm}$ be $L_1$ when $n=m$ and $L_2$ when $n\lt m$ and $L_3$ when $n\gt m$. You may similarly ask independently for any of the three limits not to exist, without affecting the other limits, simply by modifying the values of $a_{nm}$ only in the appropriate region (that is, either on, above, or below the diagonal). So in general, knowing any two of the three limits tells you nothing about the third limit or whether it exists.

But meanwhile, you can get $L_1=L_2$ if you know something about how fast the two limits converge. What you need to know, of course, is that $a_{nn}$ becomes sufficiently close to both limits, and one can easily invent criteria that will ensure this. But if you think about it, such requirements amount merely to a restatement of the equality of the limits, and so they will probably be unsatisfying.

Joel David Hamkins
  • 236.4k
  • 44
  • 777
  • 1.4k