Suppose $f\colon[0,\infty)\to[0,\infty)$ is differentiable with continuous derivative such that its derivative $f'$ is nonincreasing. Does this imply that $f$ is non-decreasing?.
Nonincreasing derivative implies nondecreasing function
0
$\begingroup$
calculus
real-analysis
analysis
1 Answers
4
Yes. If $f'(x)\lt0$ for some $x\geqslant0$, then $f'(y)\leqslant -c$ for every $y\geqslant x$, with $c\gt0$. The mean value theorem yields $f(y)\leqslant f(x)+cx-cy$ for every $y\geqslant x$. Since $f(x)+cx-cy\to-\infty$ when $y\to+\infty$, this contradicts the assumption that $f\geqslant0$ everywhere. Thus, $f'(x)\geqslant0$ for every $x\geqslant0$, in particular $f$ is nondecreasing.
-
0The continuity of $f'$ is not needed. – 2012-03-30
-
0I think I see what you mean: you use that $f$ is differentiable at $y$, so by considering the difference quotient, $\frac{f(y)-f(x)}{y-x}=f'(y)\le-c$. – 2012-03-30
-
0@Didier how do you get $f(y)\leqslant f(x)+cx-cy$,mean value theory can not get it.the defination of quotient also can not get it.because $x$ in$\frac{f(y)-f(x)}{y-x}=f'(y)\le-c $is not the first given $x$. – 2012-03-30
-
0@TaoHong洪涛 `mean value theory can not get it`... ?? – 2012-03-30