Lebesgue points of fractional integrals (Q1101839)

\(\xi\) is said to be a left (resp. right) Lebesgue point, L-point for short, of \(g\in L\) if \[ \int^{h}_{0}| g(\xi +\epsilon s)- g(\xi)| ds=o(h)\quad (h\to 0+) \] for \(\epsilon =-1\) (resp. for \(\epsilon =+1)\). A left as well as right L-point is simply called an L- point. This paper deals with the L-point of the Riemann-Liouville fractional integral \(I^ cf(x)=\int^{x}_{a}\frac{(x-t)^{c- 1}}{\Gamma (c)}f(t) dt\) of \(f\in L(a,b)\) of order c \((0<c<1)\). It is proved that \(\xi\) is a left L-point of \(I^ cf(x)\) whenever \(I^ cf(\xi)\) exists [Theorem 1], and that \(\xi\) is a right L-point of \(I^ cf(x)\) if \(I^ cf(\xi)\) exists and \(\int^{h}_{0}| f(\xi +t)| dt=o(h^{1-c})\quad as\quad h\to 0+\) [Theorem 2]. Introducing the left- hand fractional integral \(J^ cf(x)=\int^{b}_{x}\frac{(s-x)^{c- 1}}{\Gamma (c)}f(s) ds\) and observing that \(J^ cf(x)=I^ cg(y)\) for \(g(t)=f(a+b-t),\quad x+y=a+b,\) Theorems 1 and 2 are synthesized in Theorem \(3: \xi\) is an L-point of \(K^ cf(x)=\int^{b}_{a}\frac{| x-t|^{c-1}}{\Gamma (c)}f(t) dt\) in (a,b) if and only if \(K^ cf(\xi)\) exists.