We establish some properties of the bilateral Riemann–Liouville fractional derivative Ds. set notation, and study associated Sobolev spaces order s, denoted by Ws,1(a,b), bounded variation BVs(a,b). Examples, embeddings compactness related to these are addressed, aiming a functional framework suitable for variational models image analysis.