5
$\begingroup$

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.

$\endgroup$
7
  • 3
    $\begingroup$ No. Monotone on an interval implies differentiable almost everywhere on that interval. $\endgroup$
    – ocg
    Mar 20, 2014 at 16:28
  • $\begingroup$ @JulienGodawatta can you please post a proof of the result $\endgroup$
    – happymath
    Mar 20, 2014 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, 2014 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, 2014 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, 2014 at 17:13

1 Answer 1

3
$\begingroup$

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.

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

You must log in to answer this question.

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