Sopra un teorema di derivazione per serie del Tonelli. (Q2580113)

In Verallgemeinerung eines Theorems von Tonelli wird gezeigt: 1) Es sei \(f_n(x)\), \(n = 1, 2,\ldots\), nebst seinen \(k - 1\) ersten Ableitungen reell, endlich und stetig im Intervall \([a, b]\); überdies sei \(f_n^{(k-1)} (x)\) konkav (nach unten) in \([a, b]\). Ist dann \(\sum\limits_{n=1}^\infty f_n(x)\) summierbar in einem bestimmten Sinne (vgl. \textit{S. Cinquini}, Ist. Lombardo Sci. Lett., Rend., Cl. Sci. mat. natur. 64 (1931), 695-708; JFM 57.1376.*), kurz \(B_n\)-summierbar, in mindestens \(k + 2\) verschiedenen Punkten \(x_1<x_2<\cdots <x_{k+2}\) aus \([a, b]\), so gilt: Es sind gleichmäßig \(B_n\)-summierbar erstens \(\sum\limits_{n=1}^\infty f_n(x)\) in \([x_1,x_{k+2}]\), zweitens \(\sum\limits_{n=1}^\infty f_n^{(r)}(x)\), \(r = 1,\ldots, k - 1\), in jedem, innerhalb \([x_1, x_{k+2}]\) gelegenen Intervall \([a', b']\). Es gibt eine mit \([a', b']\) maßgleiche Teilmenge \(\mathfrak{T}\) von \([a', b']\), in welcher \(f_n^{(k)}(x)\) existiert und endlich ist, und in welcher \(\sum\limits_{n=1}^\infty f_n^{(k)}(x)\) gleichmäßig \(B_n\)-summierbar ist. Schließlich besitzt die \(B_n\)-Summe von \(\sum\limits_{n=1}^\infty f_n(x)\) in \((x_1, x_{n+2})\) bzw. in \(\mathfrak{T}\) eine endliche \(r\)-te \((r = 1,\ldots, k - 1)\) bzw. eine \(k\)-te Ableitung, und diese ist gleich der \(B_n\)-Summe von \(\sum\limits_{n=1}^\infty f_n^{(r)}(x)\) bzw. von \(\sum\limits_{n=1}^\infty f_n^{(k)}(x)\). 2) Im einfach zusammmenhängenden konvexen Bereich \(\mathfrak{B}\) der (reellen) \(x, y\)-Ebene sei \(f_n(x,y)\) reell und konkav (nach unten), \(n =1,2,\ldots\). Ist dann \(\sum\limits_{n=1}^\infty f_n(x,y)\) \(B_n\)-summierbar in mindestens vier, innerhalb \(\mathfrak{B}\) gelegenen Punkten \(P_j\), \(j = 1,\ldots, 4\), wobei z. B. \(P_4\) innerhalb des abgeschlossenen Dreiecks \(D\) mit den Ecken \(P_1\), \(P_2\), \(P_3\) liegt, so gilt: Es ist \(\sum\limits_{n=1}^\infty f_n(x,y)\) gleichmäßig \(B_n\)-summierbar in \(D\). Ist \(O\) irgendeine offene Teilmenge von \(D\), welche von der Begrenzung von \(D\) positiven Abstand besitzt, und in welcher überall \(\dfrac{\partial f_n}{\partial x}\) sowie \(\dfrac{\partial f_n}{\partial y}\) existieren und endlich sind, \(n= 1, 2,\ldots\), so sind \(\sum\limits_{n=1}^\infty\dfrac{\partial f_n}{\partial x}\) und \(\sum\limits_{n=1}^\infty\dfrac{\partial f_n}{\partial y}\) gleichmäßig \(B_n\)-summierbar in \(O\); ferner besitzt die \(B_n\)-Summe von \(\sum\limits_{n=1}^\infty f_n(x,y)\) überall in \(O\) eine endliche partielle Ableitung nach \(x\) sowie nach \(y\), und der Wert dieser Ableitung ist gleich der \(B_n\)-Summe von \(\sum\limits_{n=1}^\infty\dfrac{\partial f_n}{\partial x}\) bzw. von \(\sum\limits_{n=1}^\infty\dfrac{\partial f_n}{\partial y}\).