The Cesàro-Denjoy-Bochner scale of integration (Q796672)

If X is a real Banach space, F:[a,b]\(\to X\) has a strong Peano derivative of order n, \(F_{(n)}\), at x provided there exist \(\alpha_ 0,...,\alpha_ n\) not depending on h such that \(F(x+h)- \sum^{n}_{k=0}\alpha_ kh^ k=o(h^ n)\quad as\quad h\to 0.\) From this it is possible to define strongly \(AC_ nG^*\) functions and so say f is Cesàro-Denjoy-Bochner integrable of order n provided there exists a strongly \(AC_ nG^*\) function F with \(F_{(n+1)}=f\) a.e. The case \(n=0\) is just the Denjoy-Bochner integral defined earlier by various authors. The authors show that the resulting scale of integration is consistent, that the Denjoy-Bochner integral is a strict generalization of the Lebesgue-Bochner integral and that the integral of order \((n+1)\) is a strict generalization of the one of order n. In addition an integration by parts theorem is proved.