Sur le prolongement à l'espace fonctionnel de la notion de volume et d'intégrale multiple. (Q2580910)

Die gebrauchte Methode in der ganzen Arbeit ist der sogenannte Prozeß ``passage du discontinu au continu'' von Volterra. Die Menge aller die Ungleichungen \(\varphi(t) \leqq x(t) \leqq \psi (t)\) erfüllenden Funktionen \(x(t)\) \((a \leqq t \leqq b)\) kann als ein Parallelotop \(P\) im Funktionalraum betrachtet werden, wobei \(\psi(t) - \varphi(t)\) positiv und beschränkt im Intervall \(a \leqq t \leqq b\) ist. Verf. definiert das Volumen \(V\) eines solchen Parallelotops \(P\) durch \[ V = \exp \left( \int\limits_a^b \log \,[\psi(t) - \varphi(t)] \, dt\right). \] (Nach einer von \textit{J. Dieudonné} im Zbl. Math. 27 (1943), 226-227 gemachten Bemerkung kann aber das so definierte Volumen keineswegs als ein Maß betrachtet werden, da es nicht additiv ist.) -- Es handelt sich dann um die Definition des Integrals der Funktionale. Verf. beschäftigt sich zunächst mit einigen Funktionalen von besonderen Typen. Z. B. für die Funktionale der Typen \[ F[x(t)] = \int\limits_a^b \cdots \int\limits_a^b f(t_1, \dots, t_n) x(t_1) \cdots x(t_n) \, dt_1 \cdots dt_n, \] \[ F[x(t)] = \int\limits_a^b f(t) [x(t)]^n \,dt \] wird das Integral über das Parallelotop \(P\) bzw. durch die folgenden Formeln gegeben: \[ \overset{\psi(t)}{\underset{\varphi(t)} {\underline{\overline{\int a \quad b \int}}}} F[x(t)] \,\partial [x(t)] = 2^{-n} \exp \left(\int\limits_a^b \log\,[\psi(t) - \varphi(t)]\, dt\right). \] \[ \cdot \int\limits_a^b \cdots \int\limits_a^b f(t_1, \dots, t_n) [\psi(t_1) + \varphi(t_1)] \cdots [\psi(t_n) + \varphi(t_n)]\, dt_1 \cdots dt_n, \] \[ \overset{\psi(t)}{\underset{\varphi(t)} {\underline{\overline{\int a \quad b \int}}}} F[x(t)] \,\partial [x(t)] = (n+1)^{-1} \exp \left(\int\limits_a^b \log\,[\psi(t) - \varphi(t)]\, dt\right). \] \[ \cdot \int\limits_a^b f(t) \{[\psi(t)]^n + [\psi(t)]^{n-1}\varphi(t) + \cdots + [\varphi(t)]^n \}\, dt. \] Weiter gibt Verf. eine allgemeine Definition des Integrals im Raume stetiger Funktionen. Es sei \(x(t)\) eine stetige Funktion im Intervall \(a \leqq t \leqq b\). Man bilde für jede natürliche Zahl \(n\): \[ t_r = a+ \left(r - \dfrac 12\right) \,\dfrac{b-a}{n}, \quad x_r = x(t_r) \qquad (r = 1, 2, \dots, n). \] Eine Folge von Funktionen \(F_n(x_1, \dots, x_n)\) \((n = 1, 2, \dots)\) heißt eine \textit{asymptotische Folge der Funktionale} \(F[x (t)]\), wenn für jede stetige Funktion \(x(t)\) des Parallelotops \(P\) die Relation \[ F[x(t)] = \lim\limits_{n\to\infty} F_n(x_1, \dots, x_n) \] gilt. Die Zahl \[ M_n = \frac{1}{(\psi_1 - \varphi_1) \cdots (\psi_n - \varphi_n)} \int\limits_{\varphi_1}^{\psi_1} \cdots \int\limits_{\varphi_n}^{\psi_n} F_n(x_1, \dots, x_n) \, dx_1 \cdots dx_n \] wird \textit{Mittelwert} der Funktion \(F_n(x_1, \dots, x_n)\) genannt. Konvergiert die Folge der Mittelwerte \(M_n\) \((n = 1, 2, \dots)\), so wird das Integral der Funktionale \(F[x(t)]\) über das Parallelotop \(P\) durch die folgende Gleichung definiert: \[ \overset{\psi(t)}{\underset{\varphi(t)} {\underline{\overline{\int a \quad b \int}}}} F[x(t)] \,\partial [x(t)] = \exp \left(\int\limits_a^b \log\,[\psi(t) - \varphi(t)]\, dt\right) \cdot \lim_{n\to \infty} M_n. \] Es ist leicht zu zeigen, daß die Grenze \(\lim\limits_{n\to\infty} M_n\) von der gebrauchten asymptotischen Folge \(F_n(x_1, \dots, x_n)\) unabhängig ist, und damit ist die Definition gerechtfertigt.