Locally Lipschitz composition operators in spaces of functions of bounded variation

Abstract

We give a necessary and sufficient condition on a function \({f:\mathbb{R}\to\mathbb{R}}\) under which the composition operator (Nemytskij operator) F defined by \({Fh=f\circ h}\) acts in the spaces \({BV_\varphi[a,b], HBV[a,b], {\rm and} \,RV_\varphi[a,b]}\) and satisfies a local Lipschitz condition. While the proof of sufficiency consists in a straightforward calculation, the proof of necessity builds on nontrivial arguments like Helly’s selection principle or the Arzelà–Ascoli compactness criterion.