Integral representation of functions of bounded variation (Q2176055)

Summary: Functions of bounded variations form important transition between absolute continuous and singular functions. With Bainov's introduction of impulsive differential equations having solutions of bounded variation, this class of functions had eventually entered into the theory of differential equations. However, the determination of existence of solutions is still problematic because the solutions of differential equations usually are at least absolute continuous which is disrupted by the solutions of bounded variations. As it is known, if \(f:[a, b_\lambda]\to R^n\) is of bounded variation then \(f\) is the sum of an absolute continuous function \(f_a\) and a singular function \(f_s\) where the total variation of \(f_s\) generates a singular measure \(\tau\) and \(f_s\) is absolute continuous with respect to \(\tau \). In this paper we prove that a function of bounded variation \(f\) has two representations: one is \(f\) which was described with an absolute continuous part with respect to the Lebesgue measure \(\lambda \), while in the other an integral with respect to \(\tau\) forms the absolute continuous part and \(t(\tau)\) defines the singular measure. Both representations are obtained as parameter transformation images of an absolute continuous function on total variation domain \([a, b_\nu]\).