Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there an increasing continuous function $f\colon[0,1]\to\mathbb{R}$ such that the right upper derivative $D^+f(0)$ does not equal the right lower derivative $D_+f(0)$?

Recall: $$D^+f(0)=\limsup_{h\downarrow0}\frac{f(0+h)-f(0)}{h},\quad D_f(0)=\liminf_{h\downarrow0}\frac{f(0+h)-f(0)}{h}. $$

share|cite|improve this question

Consider the piecewise linear function pictured below

piecewise linear

It starts at $(3,6)$ goes to $(2,1)$ then on to $(\frac14,\frac12)$. Repeat this at scales of $1:12$ and we get a continuous, monotonic increasing function that has an upper derivative of $2$ and a lower derivative of $\frac12$ at $0$.

Smooth example:

Using the idea of the piecewise linear function above, I came up with $$ f(x)=\frac{x}{4}(5+3\sin(\log(x)) $$ $\dfrac{f(x)}{x}$ also bounces between $\frac12$ and $2$ (like the piecewise linear function above) and $$ \begin{align} f'(x)&=\frac54+\frac34\sin(\log(x))+\frac34\cos(\log(x))\\ &=\frac54+\frac{3\sqrt{2}}{4}\sin\left(\frac{\pi}{4}+\log(x)\right)\\ &\ge\frac{5-3\sqrt{2}}{4}\\ &>0 \end{align} $$

share|cite|improve this answer

The following is an edited excerpt from a sci.math post (made on 3 November 2000) that may be of interest. The original post (3 URLs are provided below to better guard against link rot) contains quite a bit more information about the possible Dini derivate behavior of monotone functions.!msg/sci.math/8vp1XK0-KNg/UOmRLJmd0xsJ

Zamfirescu [2] [3] proved that most nondecreasing continuous functions on $[0,1]$ are not differentiable (finitely or infinitely) at most points, when most is used the Baire category sense in both places. In fact, he proved that most nondecreasing continuous functions on $[0,1]$ have the behavior you're asking about at most points. More precisely, Zamfirescu proved the following.

Let $C^{inc}[0,1]$ be the collection of nondecreasing continuous functions with the sup norm. Then, for each $f \in C^{inc}[0,1]$ except for a first category set of functions $f,$ we have:

(1) $D_{-}f(x) = D_{+}f(x) = 0$ and $D^{-}f(x) = D^{+}f(x) = \infty$ for each $x \in [0,1]$ except for a first category set of points in $[0,1].$ [3]

(2) $D_{-}f(x) = 0$ or $D^{-}f(x) = \infty$ for each $x \in (0,1].$ [2]

(3) $D_{+}f(x) = 0$ or $D^{+}f(x) = \infty$ for each $x \in [0,1).$ [2]

(4) $f'(x) = 0$ for each $x \in [0,1]$ except for a Lebesgue measure zero set of points in $[0,1].$ [2]

Note that (2) and (3) taken together imply that at each point there does not exist a positive finite unilateral derivative. F. S. Cater gives a nice construction of a function that satisfies (2) and (3) taken together in [1].

[1] Frank Sydney Cater, On the Dini derivates of a particular function, Real Analysis Exchange 25 (1999-2000), 943-946.

[2] Tudor Zamfirescu, Most monotone functions are singular, American Mathematical Monthly 88 #1 (January 1981), 47-49.

[3] Tudor Zamfirescu, Typical monotone continuous functions, Archiv der Mathematik 42 #2 (1984), 151-156.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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