Composition operator into the space of function of bounded variation

Luděk Kleprlík

Published 2020-01-08Version 1

Let $\Omega_1, \Omega_2\subset \mathbb R^n$ and $1\leq p <\infty$. We study the optimal conditions on a homeomorphism $f:\Omega_1$ onto $\Omega_2$ which guarantee that the composition $u\circ f$ belongs to the space $BV(\Omega_1)$ for every $u\in W^{1,p}(\Omega_2)$. We show that the sufficient and necessary condition is an existence of a function $K(y)\in L^{p'}(\Omega_2)$ such that $|Df|(f^{-1}(A))\leq \int_A K(y)\,dy$ for all Borel sets $A$.