Skip to content

Mathematics · Ch 7 — Applications of Differential Calculus

Monotonicity of Functions

7.6.1

Monotonicity of Functions

Monotonicity describes a function's behaviour of increasing or decreasing.

Definition 7.4 (Increasing function). f(x)f(x) is increasing on an interval II if a<b⇒f(a)≤f(b)a<b\Rightarrow f(a)\le f(b) for all a,b∈Ia,b\in I.

Definition 7.5 (Decreasing function). f(x)f(x) is decreasing on II if a<b⇒f(a)≥f(b)a<b\Rightarrow f(a)\ge f(b) for all a,b∈Ia,b\in I.

f(x)=xf(x)=x is increasing on the entire real line; f(x)=−xf(x)=-x is decreasing on the entire real line. A function may be increasing on one interval and decreasing on another — e.g. f(x)=∣x∣f(x)=|x| is decreasing on (−∞,0](-\infty,0] and increasing on [0,∞)[0,\infty). For a general function, determining monotonicity by inspection quickly becomes impossible, which is exactly what the following theorem resolves.

Theorem 7.7. If f(x)f(x) is differentiable on the open interval (a,b)(a,b):

  1. If ddx(f(x))≥0\dfrac{d}{dx}\big(f(x)\big)\ge0 for all x∈(a,b)x\in(a,b), then f(x)f(x) is increasing on (a,b)(a,b).
  2. If ddx(f(x))>0\dfrac{d}{dx}\big(f(x)\big)>0 for all x∈(a,b)x\in(a,b), then f(x)f(x) is strictly increasing on (a,b)(a,b). (The proof follows from Theorem 7.3, LMVT.)
  3. f(x)f(x) is decreasing on (a,b)(a,b) if ddx(f(x))≤0\dfrac{d}{dx}\big(f(x)\big)\le0 for all x∈(a,b)x\in(a,b).
  4. f(x)f(x) is strictly decreasing on (a,b)(a,b) if ddx(f(x))<0\dfrac{d}{dx}\big(f(x)\big)<0 for all x∈(a,b)x\in(a,b).
Watch out

It is false to say that a strictly increasing differentiable function must have f′(x)>0f'(x)>0 everywhere. For y=x3y=x^3 on (−∞,∞)(-\infty,\infty): taking any a>ba>b, one shows a3−b3=(a−b)[(a+b2)2+34b2]>0a^3-b^3=(a-b)\left[(a+\tfrac{b}{2})^2+\tfrac34b^2\right]>0 (since a−b>0a-b>0 and the bracketed quadratic expression is >0>0 except when a=b=0a=b=0), so y=x3y=x^3 is genuinely strictly increasing on all of R\mathbb{R} — yet f′(x)=3x2f'(x)=3x^2 vanishes at x=0x=0.

Definition 7.6 (Stationary point). A stationary point (x0,f(x0))\big(x_0,f(x_0)\big) of a differentiable f(x)f(x) is where f′(x0)=0f'(x_0)=0. …