Extension au cas des intégrales multiples d'une définition de l'intégrale due à \textit{Stieltjes}. (Q1486288)

Es sei \(u (x_1, x_2, \dots , x_n)\) eine in dem Gebiete \(T\) \[ a_1 \leqq x_1 \leqq b_1,\;a_2 \leqq x_2 \leqq b_2,\dots,\;a_n \leqq x_n \leqq b_n \] erklärte Funktion. Es sei \(D\) irgendeine Zerlegung von \(T\) in Teilgebiete, bei der das Intervall \((a_p,b_p)\) in die Teilintervalle \[ (1)\quad a_p = x_p^{(0)}, x_p^{(1)};\;x_p^{(1)}, x_p^{(2)}; \dots ; x_p^{(n_p-1)}, x_p^{(n_p)}=b \] zerfällt. Die zu \(D\) gehörige \(n\)-te Schwankung (variation) von \(u\) in \(T\) wird durch die Formel \[ \sum_{i,j,\dots ,r,s} \left| \Delta_{i,j,\dots ,r,s}u \right|, \] \[ \begin{aligned} & \mathop\Delta_{i,j,\dots ,r,s}^{(n)} u = u(x_1^{(i+1)}, x_2^{(j+1)},\dots,x_{n-1}^{(r+1)}, x_n^{(s+1)})\\ & -[u(x_1^{(i)}, x_2^{(j+1)},\dots,x_n^{(3+1)}) +u(x_1^{(i+1)}, x_2^{(j)},\dots,x_n^{(s+1)}) + \cdots +u( x_1^{(i+1)}, x_2^{(j+1)},\dots,x_{n-1}^{(r+1)}, x_n^{(s)})]\\ & +[u(x_1^{(i)}, x_2^{(j)},x_3^{(k+1)},\dots,x_n^{(s+1)}) + \cdots +u( x_1^{(i+1)}, x_2^{(j+1)}, \dots ,x_{n-2}^{(q+1)}, x_{n-1}^{(r)}, x_n^{(s)} )]-\cdots\\ & + (-1)^{n-1}[u(x_1^{(i+1)}, x_2^{(j)}, \dots ,x_n^{(s)}) + \cdots + u(x_1^{(i)}, x_2^{(j)}, \dots ,x_{n-1}^{(r)}, x_n^{(s+1)})] +(-1)^n u(x_1^{(i)}, x_2^{(j)}, \dots ,x_n^{(s)})\end{aligned} \] erklärt. Bleibt für alle \(D\) die \(n\)-te Schwankung unterhalb einer festen Schranke, so ist \(u\) in \(T\) eine Funktion von beschränkter \(n\)-ter Schwankung (fonction à variation \(n^{\text{ième}}\) bornée). Es sei \(f (x_1, \dots ,x_n)\) eine stetige Funktion, \(u (x_1, \dots ,x_n)\) eine Funktion von beschränkter \(n\)-ter Schwankung, \[ s= \sum_{i,j,\dots ,s} f(\xi_1^{(i)}, \xi_2^{(j)}, \dots ,\xi_n^{(s)}) \left[\Delta^{(n)}_{i,j,\dots ,r,s} u(x_1^{(i)}, \dots ,x_n^{(s)})\right]. \] Hierin bezeichnen \(\xi_1^i, \dots ,\xi_n^s\) beliebige Werte in (1). Nähert sich die Maximallänge der Intervalle (1) der Null, so konvergiert \(s\) gegen einen Grenzwert, der mit \[ \int_{a_1}^{b_1} \dots \int_{a_n}^{b_n} f(x_1, \dots ,x_n)dx_1 \dots dx_n u(x_1,\dots ,x_n) \] bezeichnet wird und eine Verallgemeinerung der bekannten Integrale von \textit{Stieltjes} bildet.