18
$\begingroup$

Conjecture: Let $f: \mathbb R \to \mathbb R$ be an everywhere differentiable function and assume that $f'(x) \in \mathbb Z$ almost everywhere. Then is $f$ necessarily an affine function?

Can you give me a proof or a counter-example ? I thought of the devil's staircase, but this is not differentiable everywhere.

$\endgroup$
7
  • 6
    $\begingroup$ Use Darboux's theorem for the derivative. teachingcalculus.com/2014/08/18/darbouxs-theorem to deduce that the derivative is constant. $\endgroup$ Apr 4, 2017 at 12:11
  • $\begingroup$ Do you assume that $f $ is everywhere or almost everywhere differentiable? $\endgroup$
    – PhoemueX
    Apr 4, 2017 at 12:16
  • 4
    $\begingroup$ @uniquesolution But the derivative is only assumed to be integral a.e., so the application of Darboux, if it works at all, isn't all that straightforward. Or did I miss something? $\endgroup$ Apr 4, 2017 at 14:16
  • 4
    $\begingroup$ @Paul Why can't $f'$ attain all noninteger values in $[z_1,z_2]$ on a set of measure zero? $\endgroup$
    – user7530
    Apr 5, 2017 at 1:46
  • 4
    $\begingroup$ I found this which can answer my question mathoverflow.net/questions/266377/… $\endgroup$
    – Pascal
    Apr 5, 2017 at 7:16

1 Answer 1

2
$\begingroup$

Yes, $f'$ must be constant. This has been answered in the comments; the result in https://mathoverflow.net/questions/266377/how-quickly-can-the-derivative-of-an-everywhere-differentiable-function-change-s gives a kind of positive measure Darboux theorem. This is a special case of How irregular can $f'$ be beyond Darboux's Theorem?

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .