\( BV \)-spaces and the bounded composition operators of \(BV\)-functions on Carnot groups (Q6179775)

In mathematics, function of bounded variation, also known as \(BV\) function, is a real-valued function whose total variation is bounded (finite). The total variation denoising, also known as total variation regularization or total variation filtering, is a noise removal process (filter). It is based on the principle that signals with excessive and possibly spurious detail have high total variation, that is, the integral of the image gradient magnitude is high. Functions of bounded variations have had an important role in several classical problems of the calculus of variations, geometric measure theory and mathematical physics. A several authors study the \(BV\)-functions in Lie groups [\textit{S.K. Vodopyanov}, Sib. Math. J., 61, No. 6, 1002--1038 (2020; Zbl 1456.30046); Proceedings on Analysis and Geometry, Sobolev Institute of Mathematics, Novosibirsk. 603--670 (2000; Zbl 0992.58005). \textit{P. Pansu}, Ann. Math. 129, No. 1, 1--60 (1989; Zbl 0678.53042); \textit{L. Ambrosio}, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17, No. 3, 439--478 (1990; Zbl 0724.49027); \textit{L. Ambrosio} et al., Functions of bounded variation and free discontinuity problems. Clarendon Press, Oxford University Press New York (2000; Zbl 0957.49001); \textit{S. K. Vodopyanov} and \textit{I. M. Pupyshev}, Sib. Math. J. 47, No. 4, 601--620 (2006; Zbl 1155.30346); \textit{G. Da Prato} and \textit{A. Lunardi}, J. Funct. Anal. 259, 2642--2672 (2010; Zbl 1204.35172); J. Math. Pures Appl. 99, 741--765 (2013; Zbl 1293.35359); \textit{E. De Giorgi}, Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Nat. 8, 390--393 (1953; Zbl 0051.29403); \textit{S. K. Vodopyanov} and textit{A.D. Ukhlov}, Siberian Adv. Math. 14, No. 4, 78--125 (2004; Zbl 1089.47027)]. The principal objective in this paper is to studies homeomorphisms that induce the bounded composition operators of \(BV\)-functions on Carnot groups. The authors characterized continuous \(BV_{\mathrm{loc}}\)-mappings on Carnot groups in terms of the variation on integral line. Also estimate the variation of the \(BV\)-derivative of the composition of a \(C^{1}\)-function and a continuous \(BV_{\mathrm{loc}}\)-mapping.