Sur une classe de fonctionnelles linéaires. (Q2600674)

Verf. betrachten die Klasse \(W_p\) der im Intervall \((a, b)\) erklärten Funktionen \(f (x)\) von beschränkter Variation der Ordnung \(p \geqq1\), d. h. für welche \(V_p (f) = \sup (\varSigma|\varDelta f|^p)^{\frac1p}\), gebildet für alle endlichen Intervalleinteilungen, beschränkt ist. \(W_p\) wird mit \[ Q(f)=|f(a)| + V_p(f) \] als Norm zu einem linearen normierten vollständigen Raum. Ist \(g (x) \subset W_q\) und \(\dfrac1p+\dfrac1q> 1\), so ist \(\displaystyle\int\limits_a^b f\, dg\) ein lineares Funktional in bezug auf \(Q(f)\) für alle stetigen \(f \subset W_p\). Es sei \(p > 1\) und \(V_p^{(\delta)}(f) = \sup (\varSigma|\varDelta f |^p)^{\frac1p}\), gebildet für alle Einteilungen in Intervalle der Länge \(< \delta \); \(f \subset W_p^*\) soll dann heißen, daß \(V^{(\delta)}_p (f)\to 0\) mit \(\delta\to 0\). (Es ist \(W^*_p\supset W_{p-\varepsilon}\).) Es gilt folgender Existenzsatz: Zu dem (in bezug auf \(Q(f)\)) linearen Funktional \(L (f)\), erklärt für alle stetigen Funktionen \(f\subset W_p\), \(p > 1\), gibt es ein \(g \subset W_q\) mit \(\dfrac1p+\dfrac1q = 1\), so daß \(L(f)=\displaystyle \int\limits_a^b f\, dg\) für jedes stetige \(f\subset W^*_p\). Andererseits ergibt sich, daß \(g \subset W_q\) notwendig ist dafür, daß \(\int\limits_a^b f\,dg\) im \textit{Riemann}schen Sinne existiert für alle stetigen \(f\subset W_p\) mit \(\dfrac1p +\dfrac1q =1\). Für diesen letzten Satz werden noch in einigen Punkten vollständigere Ergebnisse angegeben.