Locally Lipschitz composition operators in spaces of functions of bounded variation

We give a necessary and sufficient condition on a function \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${f:\mathbb{R}\to\mathbb{R}}$$\end{document} under which the composition operator (Nemytskij operator) F defined by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Fh=f\circ h}$$\end{document} acts in the spaces \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${BV_\varphi[a,b], HBV[a,b], {\rm and} \,RV_\varphi[a,b]}$$\end{document} 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.