Is there a nowhere differentiable but continuous everywhere function which is monotone in some small interval however small it is?

Until now I have seen only the Weierstrass function and it seems to be oscillating everywhere.

  • 3
    $\begingroup$ No. Monotone on an interval implies differentiable almost everywhere on that interval. $\endgroup$
    – jcg
    Mar 20 '14 at 16:28
  • $\begingroup$ @JulienGodawatta can you please post a proof of the result $\endgroup$
    – happymath
    Mar 20 '14 at 16:31
  • $\begingroup$ @DanielFischer thank you I have not yet studied differentiation in the lebesgue context so is there some intuitive way to see it $\endgroup$
    – happymath
    Mar 20 '14 at 16:38
  • $\begingroup$ I expect there is a more elementary argument for monotonic functions, but I don't see it at the moment, sorry. $\endgroup$ Mar 20 '14 at 16:47
  • 2
    $\begingroup$ For those interested, Rubel's 1963 paper Differentiability of monotonic functions is possibly the most elementary (in the sense of mathematical machinery used) proof I've seen. (No vitali covering theorem, for instance.) Also, Riesz/Nagy's book Functional Analysis may have a simple proof for the case when the monotone function is continuous, which is enough for the issue being discussed here, but my copy is at home and I'm elsewhere. $\endgroup$ Mar 20 '14 at 17:13

It is well known that if $f : [a; b] \to R$ is increasing, then f is differentiable a.e., and $\int_a^bf^{'}(x)dx \le f(b)-f(a)$(see, for example,

http://www.math.ntnu.no/~quigg/4225/notes/differentiation.pdf, Theorem 1.6).

Hence, there does not exist such a function which is a nowhere differentiable but continuous everywhere and monotone in some small interval.

  • $\begingroup$ The link is broke. Would you mind mending it? Thank you. $\endgroup$
    – Hans
    Apr 25 '21 at 3:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.