I know that a continuous function which is a BV may not be absolutely continuous. Is there an example of such a function? I was looking for a BV whose derivative is not Lebesgue integrable but I couldn't find one.
Asked
Active
Viewed 8,927 times
21
Martin Sleziak
- 56,060
Mykie
- 7,245
-
My apologies; I only saw Byron's when I posted that comment. – Akhil Mathew Sep 15 '10 at 02:56
-
See also" http://math.stackexchange.com/questions/499101/example-of-a-function-that-has-the-luzin-n-property-and-is-not-absolutely-cont – Martin Sleziak Apr 21 '16 at 04:59
2 Answers
22
The Devil's staircase function does the trick.
Its derivative is almost surely zero with respect to Lebesgue measure, so the function is not absolutely continuous.
-
9This is indeed the most standard example of a function which has BV but is not AC. It might be helpful to the OP to know that such a function is (more?) commonly referred to as the Cantor function: http://en.wikipedia.org/wiki/Cantor_function. – Pete L. Clark Sep 14 '10 at 23:00
11
Byron already answered your main question, but your last sentence is another matter. You want a BV function whose derivative is not integrable, but such things don't exist. In particular, if $f$ is monotone on $[a,b]$, then $f'$ exists a.e., is Lebesgue integrable, and $\int_a^b f' \leq f(b)-f(a)$. Thus half of the fundamental theorem of calculus holds, so to speak. General BV functions are differences of monotone functions, so their derivatives are also Lebesgue integrable.
Jonas Meyer
- 55,715