Unit 4, lesson 36

Increasing and Decreasing Functions

How the sign of the derivative shows where a function rises or falls, why the tests need an interval, and how a change of sign identifies local maxima and minima.

  • Theory part 71
  • Practice part 72
  • Mean Value and Monotonicity

Theory, part 71

Practice, part 72

On a hiking map, the trail goes up where the ground slopes upward and down where it slopes downward. For a function the slope is the derivative, so its sign should tell you where the graph rises and where it falls. The mean value theorem makes that reasoning airtight, as long as you stay on one interval at a time.

Key terms

Strict and nonstrict monotonicity

Definition Let ff be defined on an interval II. Then ff is

  • strictly increasing on II if x1<x2x_1 < x_2 in II implies f(x1)<f(x2)f(x_1) < f(x_2),
  • nondecreasing on II if x1<x2x_1 < x_2 in II implies f(x1)≤f(x2)f(x_1) \le f(x_2),
  • strictly decreasing on II if x1<x2x_1 < x_2 in II implies f(x1)>f(x2)f(x_1) > f(x_2),
  • nonincreasing on II if x1<x2x_1 < x_2 in II implies f(x1)≥f(x2)f(x_1) \ge f(x_2).

A function with any of these properties is called monotonic on II. Many books say “increasing” for strictly increasing, and some use it for nondecreasing, so check the convention.

In plain words Strictly increasing means always going up. Nondecreasing allows flat stretches but never a step down.

Example The function x3x^3 is strictly increasing on R\mathbb{R}. The floor function ⌊x⌋\lfloor x \rfloor, the greatest integer ≤x\le x, is nondecreasing but not strictly increasing, because ⌊0.2⌋=⌊0.7⌋=0\lfloor 0.2 \rfloor = \lfloor 0.7 \rfloor = 0.

Derivative sign tests

Definition Let ff be continuous on an interval II and differentiable at every interior point of II.

  • If f′(x)>0f'(x) > 0 at every interior point, then ff is strictly increasing on II.
  • If f′(x)<0f'(x) < 0 at every interior point, then ff is strictly decreasing on II.
  • If f′(x)≥0f'(x) \ge 0 at every interior point, then ff is nondecreasing on II, and if f′(x)≤0f'(x) \le 0, nonincreasing.

Each follows from the mean value theorem. For x1<x2x_1 < x_2 in II there is a cc in (x1,x2)(x_1, x_2), an interior point of II, with

f(x2)−f(x1)=f′(c)(x2−x1),f(x_2) - f(x_1) = f'(c)(x_2 - x_1),

and the sign of f′(c)f'(c) gives the sign of the difference. Conversely, if ff is differentiable and nondecreasing on an open interval, then f′≥0f' \ge 0 there, but not necessarily f′>0f' > 0.

In plain words Where the slope is positive, the function goes up. Where it is negative, the function goes down. To find the intervals, locate where f′f' is zero or undefined and test the sign in between.

Example For f(x)=x3−3xf(x) = x^3 - 3x the derivative is f′(x)=3x2−3=3(x−1)(x+1)f'(x) = 3x^2 - 3 = 3(x - 1)(x + 1).

Interval(−∞,−1)(-\infty, -1)(−1,1)(-1, 1)(1,∞)(1, \infty)
Sign of f′f'++−-++
Behavior of ffincreasingdecreasingincreasing

Since ff is continuous, it is strictly increasing on (−∞,−1](-\infty, -1] and [1,∞)[1, \infty) and strictly decreasing on [−1,1][-1, 1].

Isolated zero derivatives

Definition Let ff be continuous on an interval II and differentiable at its interior points with f′(x)≥0f'(x) \ge 0 there. If the set of points where f′(x)=0f'(x) = 0 contains no open interval, then ff is strictly increasing on II. In particular this holds when f′>0f' > 0 except at isolated points. The same statement with f′≤0f' \le 0 gives strictly decreasing.

Here is why. By the sign test ff is nondecreasing on II. Suppose f(x1)=f(x2)f(x_1) = f(x_2) for some x1<x2x_1 < x_2 in II. Every xx in [x1,x2][x_1, x_2] then satisfies

f(x1)≤f(x)≤f(x2)=f(x1),f(x_1) \le f(x) \le f(x_2) = f(x_1),

so ff is constant on [x1,x2][x_1, x_2] and f′=0f' = 0 on the whole open interval (x1,x2)(x_1, x_2). That contradicts the assumption on the zero set, so f(x1)<f(x2)f(x_1) < f(x_2) whenever x1<x2x_1 < x_2.

In plain words A few flat instants do not stop a function from strictly increasing. Only a whole flat stretch does.

Example For f(x)=x3f(x) = x^3 the derivative f′(x)=3x2f'(x) = 3x^2 is positive except at x=0x = 0, so ff is strictly increasing on R\mathbb{R}. For g(x)=x−sin⁡xg(x) = x - \sin x the derivative is g′(x)=1−cos⁡x≥0g'(x) = 1 - \cos x \ge 0, with zeros only at the isolated points x=2kπx = 2k\pi, so gg is strictly increasing on R\mathbb{R} too.

Interval assumptions

Definition The derivative sign tests are statements about a single interval. On a domain made of several separate intervals, a sign of f′f' gives monotonicity on each interval separately, not on their union. An endpoint of II can be included whenever ff is continuous there, even if ff is not differentiable at that endpoint.

In plain words A gap in the domain lets the function jump back down. Always state the interval when you say a function is increasing.

Example For f(x)=−1xf(x) = -\frac{1}{x} the derivative is

f′(x)=1x2>0for all x≠0.f'(x) = \frac{1}{x^2} > 0 \qquad \text{for all } x \neq 0.

So ff is strictly increasing on (−∞,0)(-\infty, 0) and on (0,∞)(0, \infty). It is not increasing on its whole domain, because −1<1-1 < 1 while f(−1)=1>−1=f(1)f(-1) = 1 > -1 = f(1). In contrast, x\sqrt{x} is strictly increasing on [0,∞)[0, \infty), including the endpoint 00 where it has no derivative.

First derivative test for extrema

Definition Let cc be a critical point of ff, let ff be continuous at cc, and let ff be differentiable on an open interval containing cc, except possibly at cc itself.

  • If f′f' changes from positive to negative at cc, then ff has a local maximum at cc.
  • If f′f' changes from negative to positive at cc, then ff has a local minimum at cc.
  • If f′f' is positive on both sides of cc, or negative on both sides, then ff has no local extremum at cc.

Here “changes from positive to negative” means that for some δ>0\delta > 0 we have f′>0f' > 0 on (c−δ,c)(c - \delta, c) and f′<0f' < 0 on (c,c+δ)(c, c + \delta). The other cases are read the same way.

In plain words Up then down gives a peak, and down then up gives a valley. If the function keeps going the same way, the critical point is just a pause.

Example Let f(x)=x5/3−5x2/3f(x) = x^{5/3} - 5x^{2/3}. For x≠0x \neq 0,

f′(x)=53x2/3−103x−1/3=5(x−2)3x1/3,f'(x) = \frac{5}{3} x^{2/3} - \frac{10}{3} x^{-1/3} = \frac{5(x - 2)}{3 x^{1/3}},

and f′(0)f'(0) does not exist. The critical points are 00 and 22.

Interval(−∞,0)(-\infty, 0)(0,2)(0, 2)(2,∞)(2, \infty)
Sign of f′f'++−-++

So ff has a local maximum f(0)=0f(0) = 0 at the singular point 00 and a local minimum f(2)=−343≈−4.762f(2) = -3 \sqrt[3]{4} \approx -4.762 at the stationary point 22.

Check yourself

  1. Find the intervals where f(x)=x4−2x2f(x) = x^4 - 2x^2 is increasing or decreasing, and its local extrema.
Show the answer

The derivative f′(x)=4x3−4x=4x(x−1)(x+1)f'(x) = 4x^3 - 4x = 4x(x - 1)(x + 1) is negative on (−∞,−1)(-\infty, -1), positive on (−1,0)(-1, 0), negative on (0,1)(0, 1) and positive on (1,∞)(1, \infty). So ff decreases on (−∞,−1](-\infty, -1], increases on [−1,0][-1, 0], decreases on [0,1][0, 1] and increases on [1,∞)[1, \infty). It has local minima f(±1)=−1f(\pm 1) = -1 and a local maximum f(0)=0f(0) = 0.

  1. Is f(x)=x+cos⁡xf(x) = x + \cos x strictly increasing on R\mathbb{R}?
Show the answer

Yes. The derivative f′(x)=1−sin⁡xf'(x) = 1 - \sin x is never negative, and it is zero only at the isolated points x=π2+2kπx = \frac{\pi}{2} + 2k\pi, so ff is strictly increasing.

  1. Since ddxtan⁡x=sec⁡2x>0\frac{d}{dx} \tan x = \sec^2 x > 0, is tan⁡x\tan x increasing on its domain?
Show the answer

No. It is strictly increasing on each interval (−π2+kπ,π2+kπ)\left(-\frac{\pi}{2} + k\pi, \frac{\pi}{2} + k\pi\right), but the domain is not an interval. For example tan⁡π4=1>−1=tan⁡3π4\tan \frac{\pi}{4} = 1 > -1 = \tan \frac{3\pi}{4}.

How this lesson connects

It also uses derivative sign.