Differentiation in Banach spaces. (Q2594524)

Es werden Funktionen \(X_R\) betrachtet, die auf allen Figuren \(R\), die in einer festen Figur \(R_0\) des \(n\)-dimensionalen euklidischen Raumes enthalten sind, erklärt sind und Werte in einem Banachraum \(\mathfrak X\) besitzen. Ist \(\sup\sum\limits_{i=1}^k ||X_{R_i}|| < \infty\) für alle Zerlegungen von \(R\) in \(R = \sum\limits_{i=1}^k R_i\), so heißt \(X_R\) von beschränkter Variation (BV). \(X_R\) heißt additiv (A), wenn \(X_{R_1+R_2}= X_{R_1} + X_{R_2}\) (\(R_1\cdot R_2\) hat keine inneren Punkte). Ist für einen festen Punkt \(s\) in \(R_0\) \(x_s = \lim\limits_{|I|\to0} X_I/|I|\) vorhanden, wenn \(I\) alle \(s\) enthaltenden Kuben durchläuft, so ist \(x_s\) die Ableitung von \(X_R\) in \(s\). Nach \textit{S. Bochner} (Fundam. Math., Warszawa, 21 (1933), 211-213; JFM 59.0271.*) ist nicht jede ABV-Funktion \(X_R\) fast überall differenzierbar. Es wird hier eine Anzahl von Voraussetzungen über die \(X_R\) bzw. den Raum \(\mathfrak X\) angegeben, aus denen die Existenz der Ableitung folgt. Erwähnt seien folgende Ergebnisse: \(X_R\) heißt fast überall schwach differenzierbar mit der Ableitung \(x_s\), wenn fast überall für jedes \(\zeta\in\bar\mathfrak X\) \(\zeta(X_R)\) den Differentialquotienten \(\zeta(x_s)\) besitzt. Ist \(X_R\) ABV und fast überall schwach differenzierbar zu \(x_s\), so ist \(x_s\) integrabel und \(X_R\) ist fast überall differenzierbar zu \(x_s\). Ist \(\mathfrak X\) schwach kompakt, so ist jede ABV \(X_R\) fast überall in \(R_0\) differenzierbar. Daraus folgt, daß dies für jeden reflexiven und jeden gleichmäßig konvexen Raum gilt (das letzte ist schon von \textit{J. A. Clarkson}, Trans. Amer. math. Soc. 40 (1936); 396-414; JFM 62.0460.* bewiesen worden). Weitere Sätze folgen für den Fall, daß \(\mathfrak X\) eine Basis hat bzw. der adjungierte Raum eines separablen Raumes ist. Schließlich wird untersucht, für welchen Integralbegriff \(X_R = \int\limits_R x_s ds\) fast überall die Ableitung \(x_s\) besitzt.