Nouvelles propriétés de la totalisation par rapport à une fonction à variation bornée généralisée. (Q2590769)

Als untere rechtsseitige Derivierte 1. bzw. 2. Art von \(F(x)\) bezüglich \(g(x)\) auf einer Menge \(\mathfrak R\) in \(x_0\in\mathfrak R\) werde erklärt \(\varliminf(F(x) - F(x_0)): (g(x) - g(x_0))\) für \(x\to x_0\), wobei \(x> x_0\), \(x \in\mathfrak R\), \(g(x) > g(x_0)\) bzw. \(g(x) < g(x_0)\); natürlich soll \(x_0\) Häufungspunkt von \(\mathfrak R\) und \(\mathfrak R\) Teil des Definitionsbereichs von \(F(x)\) und \(g(x)\) sein. Entsprechend erklärt man zwei obere rechtsseitige und vier linksseitige (extreme) Derivierte von \(F(x)\) bezüglich \(g(x)\). -- Unter anderem wird folgender Satz angegeben: Es seien \(g(x)\) und \(F(x)\) endlich in \((a, b)\), ferner \(g(x)\) v. b. V. (vgl. die vorstehend besprochene Arbeit). Zu jedem Unstetigkeitspunkt \(\xi\) von \(g(x)\) sei eine Zahl \(q(\xi)\) gegeben mit \(|q(\xi)| < M\), wo \(M\) unabhängig von \(\xi\), mit \(\lim\limits_{x\to\xi}[F(x)-F(\xi)q(\xi)(g(x)-g(\xi))] = 0\). In allen anderen Punkten \(x\) sei \(F(x)\) stetig. Weiter sei auf jeder \(\mathfrak P_\nu\) einer p. Z. von \((a, b)\) \(g(x)\) von b. V. und für alle \(x_0\in\mathfrak P_\nu\), bis auf abzählbar viele Ausnahmen, soll eine obere und eine untere Derivierte von \(F(x)\) auf \(\mathfrak P_\nu\) bezüglich \(g(x)\) von verschiedenen Arten aber zur gleichen Seite von \(x_0\) gehörig, endlich sein, (wenn sie in \(x_0\) existieren), während \(x_0\) für die gleiche Seite Endpunkt eines Intervalles ist, in welchem aus \(x' \in \mathfrak P_\nu\) und \(g(x') = g(x_0)\) folgt \(F(x') = F(x_0)\). Dann ist \(F(x)\) in \((a, b)\) v. a. s. bezüglich \(g(x)\), und es ist \(F(x)-F(a)\) unbestimmtes Integral bezüglich \(g(x)\) im Sinne einer vom Verf. früher gegebenen Definition (Math. Ann., Berlin, 116 (1938), 76-103 (JFM 64.0199.*), insbesondere S. 98), und zwar Integral einer Funktion \(f(x)\), welche gleich \(q(\xi)\) ist in den Unstetigkeitspunkten von \(g(x)\), hingegen in den Stetigkeitspunkten von \(g(x)\) gleich einer der oben eingeführten Derivierten (soweit sie existieren). Der Satz verallgemeinert das bekannte Theorem von Denjoy über die Totalisation der extremen (gewöhnlichen) Derivierten und enthält speziell die Antwort auf eine von \textit{H. Lebesgue} (Leçons sur l'intégration, 2. Aufl. (1928; F. d. M. 54, 257 (JFM 54.0257.*)), S. 307) aufgeworfene Frage. Keine Beweise.