Composition operator for functions of bounded variation

Abstract: We study the optimal conditions on a homeomorphism

f : O m e g a s u b s e t R^{n} o R^{n}

to guarantee that the composition

u c i r c f

belongs to the space of functions of bounded variation for every function

u

of bounded variation. We show that a sufficient and necessary condition is the existence of a constant

K

such that

| D f | (f^{- 1} (A)) l e q K L n (A)

for all Borel sets

A

. We also characterize homeomorphisms which maps sets of finite perimeter to sets of finite perimeter. Towards these results we study when

f^{- 1}

maps sets of measure zero onto sets of measure zero (i.e.

f

satisfies the Lusin

(N^{- 1})

condition).

This page was built for publication: Composition operator for functions of bounded variation