Absolute Marchaud integrability is not necessary for membership in Riemann--Liouville $L^p$ images

Abstract

For every fractional order strictly between zero and one and every finite interval, there is a bounded representing function whose Riemann--Liouville fractional integral satisfies the weighted endpoint condition proposed by Vainikko but fails the absolute Marchaud condition almost everywhere. One bounded example therefore disproves the necessity implication in Vainikko's conjectured characterization simultaneously for every exponent strictly larger than one, including the essentially bounded endpoint. A different sine-series construction gives, at each exponent strictly between one and infinity, failure at every interior point for one representative. For the bounded example, signed inversion remains valid for every finite exponent greater than or equal to one. The converse implication in Vainikko's conjecture is not decided here.