# Does differentiability imply having bounded variation on some subinterval?

Suppose that $f:(a,b)\to\mathbb{R}$ is a differentiable function. Does it follow that $f$ has bounded variation on some subinterval $[c,d]\subset (a,b)$?

### Details and ideas

• Being differentiable means only that $f'(x)$ exists for all $x\in (a,b)$. Continuity of $f'$ is not assumed.
• $f$ need not be of bounded variation on every subinterval $[c,d]\subset (a,b)$. For example, $f(x)=x^2 \sin x^{-2}$ is differentiable on $\mathbb{R}$ but has infinite variation on any interval containing $0$.
• One can add several copies of $f$ as above to create several points where variation blows up. But trying to add infinitely many of them, e.g., $\sum c_n f(x-q_n)$ with $q_n$ running over a dense set, appears likely to destroy differentiability somewhere.
• A post by Dave L. Renfro gives a list of bad properties that the derivative of a differentiable function may have, but I didn't find anything inconsistent with being BV on some subinterval.
• The question is motivated by this problem.

Now, measurability of $f'$ is clear. Thus, if $f'$ is bounded (and thus integrable) on some subinterval $[c,d] \subset (a,b)$, we are done. In this case, $f$ is even Lipschitz on some subinterval, so that we don't actually need the above theorem.
But since $f'$ is a pointwise limit of continuous functions on any compact subinterval of $(a,b)$ (by definition of the derivative), using a Baire category argument as here Pointwise limit of continuous functions is 1) measurable and 2) pointwise discontinuous, we see that $f'$ is continuous at some $x_0 \in (a,b)$. In particular, it is bounded on some neighborhood of $x_0$.
• does the claim still follow when we only have $f'$ exists a.e.? – Sam Blattner Dec 19 '16 at 5:54