Generalized $\alpha$-variation and Lebesgue equivalence to differentiable functions

Jakub Duda ¹

¹ Department of Mathematics Weizmann Institute of Science Rehovot 76100, Israel and PIRA Energy Group 3 Park Ave FL 26 New York, NY 10016, U.S.A.

Fundamenta Mathematicae, Tome 205 (2009) no. 3, pp. 191-217

Résumé

We find conditions on a real function $f:[a,b]\to\mathbb R$ equivalent to being Lebesgue equivalent to an $n$-times differentiable function ($n\geq 2$); a simple solution in the case $n=2$ appeared in an earlier paper. For that purpose, we introduce the notions of $CBVG_{1/n}$ and $SBVG_{1/n}$ functions, which play analogous rôles for the $n$th order differentiability to the classical notion of a $VBG_*$ function for the first order differentiability, and the classes $CBV_{1/n}$ and $SBV_{{1}/{n}}$ (introduced by Preiss and Laczkovich) for $C^n$ smoothness. As a consequence, we deduce that Lebesgue equivalence to an $n$-times differentiable function is the same as Lebesgue equivalence to a function $f$ which is $(n-1)$-times differentiable with $f^{(n-1)}(\cdot)$ pointwise Lipschitz. We also characterize functions that are Lebesgue equivalent to $n$-times differentiable functions with a.e. nonzero derivatives. As a corollary, we establish a generalization of Zahorski's Lemma for higher order differentiability.

Détail

DOI : 10.4064/fm205-3-1

Keywords: conditions real function mathbb equivalent being lebesgue equivalent n times differentiable function geq simple solution appeared earlier paper purpose introduce notions cbvg sbvg functions which play analogous les nth order differentiability classical notion vbg * function first order differentiability classes cbv sbv introduced preiss laczkovich smoothness consequence deduce lebesgue equivalence n times differentiable function lebesgue equivalence function which n times differentiable n cdot pointwise lipschitz characterize functions lebesgue equivalent n times differentiable functions nonzero derivatives corollary establish generalization zahorskis lemma higher order differentiability