Note on double limits and on the inversion of a repeated infinite integral. (Q1502805)

Die Arbeit stützt sich auf einige Pringsheimsche Sätze über Doppelfolgen. Legt man die Definitionsgleichung \[ \int_a^\infty \int_b^\infty f(x,y)dxdy = \lim_{x,y=\infty}\int_a^x \int_b^y f(x,y)dxdy \] zugrunde, so ergibt sich aus einem jener Sätze folgendes: Existiert \[ \lim_{x=\infty}\int_a^x \int_b^y f(x,y)dxdy = \int_a^\infty \int_b^y f(x,y)dxdy \] für alle Werte \(y\geq b\), so hat das obige Integral dann und nur dann einen Sinn, wenn \[ \int_a^x \int_b^y f(x,y)dxdy \] gleichmäßig für alle \(y\geq b\) nach \[ \int_a^\infty \int_b^y f(x,y)dxdy \] konvergiert und \[ L = \lim_{y=\infty}\int_a^\infty \int_b^y f(x,y)dxdy \] existiert, und zwar hat das Integral den Wert \(L\). Gleichfalls aus der Theorie der Doppelfolgen gewinnt der Verf. Bedingungen für die Legitimität der Gleichung \[ \int_a^\infty dx \int_b^\infty f(x,y)dy = \int_b^\infty dy \int_a^\infty f(x,y)dx, \] die, wie er durch ein Beispiel zeigt, einen weiteren Umfang haben als diejenigen von de la Vallée-Poussin (Journ. de Math. (4) 8, 421-467; F. d. M. 24, 261, 1892, JFM 24.0261.03). Schließlich wird noch ein Dinisches Kriterium für die Stetigkeit der Funktion \[ \varphi(y) = \int_a^\infty f(x,y)dx \] bewiesen, ebenso eins von Poincaré, welchem der Verf. noch ein eigenes Kriterium an die Seite stellt.