3
$\begingroup$

I am in search of a an analytic function $f:\mathbb{R} \to \mathbb{R}$ which is not monotone on any nonempty open interval. Does one exist, or is there a proof that no such function exists?

If there does not exist such a function, is there an example of an infinitely differentiable function which is not monotone on any interval?

  • 2
    Consider any nonconstant $C^1$ function $f$. Without loss of generality, choose any $x$ such that f'(x) = \delta > 0. Now, what can you say about $f'$ in a small (enough) interval around $x$? Conclusion?2011-11-20

1 Answers 1

7

If $f$ is continuously differentiable, so in particular if it is twice differentiable, then $\{x:f'(x)>0\}$ and $\{x:f'(x)<0\}$ are open, and unless $f$ is constant at least one of the sets is nonempty. On an open interval in one of these sets, $f$ is monotone.

For differentiable functions that are not monotone in any interval, see the question "Differentiable+Not monotone."

  • 1
    Oh, so if a function is twice differentiable at a point, then the first derivative must be continuous at that point, and assuming f'(x)>0 we may find \delta>0 so that f'(y)>0 for all $y \in (x-\delta,x+\delta)$, then on this interval $f$ must be increasing.2011-11-20