β—€ Back to Note

Tony's Intertwingled Memex β€’ Reference Manual

First Derivative Test

Formulas & Definitions
Core Definition

Let ccc be a critical number of a continuous function f(x)f(x)f(x) on an open interval III:

  1. Local Maximum: If fβ€²(x)f'(x)fβ€²(x) changes sign from positive to negative (+β†’βˆ’+ \to -+β†’βˆ’) as xxx increases through ccc, then f(c)f(c)f(c) is a local (relative) maximum.
  2. Local Minimum: If fβ€²(x)f'(x)fβ€²(x) changes sign from negative to positive (βˆ’β†’+- \to +βˆ’β†’+) as xxx increases through ccc, then f(c)f(c)f(c) is a local (relative) minimum.
  3. Neither (Terrace / Inflection): If fβ€²(x)f'(x)fβ€²(x) has the same sign on both sides of ccc (+β†’++ \to ++β†’+ or βˆ’β†’βˆ’- \to -βˆ’β†’βˆ’), then f(c)f(c)f(c) is neither a local maximum nor a local minimum.

Concept Explanation

1. The Monotonicity Test

The First Derivative Test is grounded in the Monotonicity Theorem (a direct consequence of the Mean Value Theorem):

  • If fβ€²(x)>0f'(x) > 0fβ€²(x)>0 on an interval, then the tangent slopes are positive, meaning f(x)f(x)f(x) is strictly increasing (β†—\nearrowβ†—).
  • If fβ€²(x)<0f'(x) < 0fβ€²(x)<0 on an interval, then the tangent slopes are negative, meaning f(x)f(x)f(x) is strictly decreasing (β†˜\searrowβ†˜).

When a function switches from climbing (β†—\nearrowβ†—) to descending (β†˜\searrowβ†˜), it naturally crests at a local summit (peak). When it switches from descending (β†˜\searrowβ†˜) to climbing (β†—\nearrowβ†—), it troughs at a local valley.

First_Derivative_Test_Sign_Transitions.png

2. Standard 4-Step Sign Analysis Workflow

To classify critical numbers systematically using a 1D Sign Chart:

  1. Differentiate & Locate Critical Numbers: Find fβ€²(x)f'(x)fβ€²(x) and determine all numbers c∈dom(f)c \in \text{dom}(f)c∈dom(f) where fβ€²(c)=0f'(c) = 0fβ€²(c)=0 or fβ€²(c)f'(c)fβ€²(c) is undefined.
  2. Partition the Number Line: Place all critical numbers (along with any domain discontinuities, such as vertical asymptotes) on a horizontal axis to partition the domain into disjoint open test intervals.
  3. Select Test Values: Choose one convenient test point kkk strictly within each test sub-interval.
  4. Evaluate the Sign in the Derivative: Substitute each test point kkk strictly into fβ€²(x)f'(x)fβ€²(x) (never into f(x)f(x)f(x)). Record solely the algebraic sign (+++ or βˆ’-βˆ’):
    • fβ€²(k)>0β€…β€ŠβŸΉβ€…β€Š(+)f'(k) > 0 \implies (+)fβ€²(k)>0⟹(+), function is increasing.
    • fβ€²(k)<0β€…β€ŠβŸΉβ€…β€Š(βˆ’)f'(k) < 0 \implies (-)fβ€²(k)<0⟹(βˆ’), function is decreasing.
Sign Chart Schema:
Interval:     (-inf, c1)  |  (c1, c2)   |  (c2, inf)
Test Point:       k1      |     k2      |     k3
Sign of f'(x):    (+)     |    (-)      |    (+)
Behavior:      Increasing | Decreasing  | Increasing
                  \            /            /
                   \          /            /
                  Local Max at c1      Local Min at c2

3. The Single Critical Point Rule for Absolute Extrema

When optimizing a function over an open or unbounded interval (such as (0,∞)(0, \infty)(0,∞) or (βˆ’βˆž,∞)(-\infty, \infty)(βˆ’βˆž,∞)), the Closed Interval Method cannot be used because boundary endpoints do not exist. However:

Single Critical Point Rule

If f(x)f(x)f(x) is continuous on an interval III and contains exactly one critical number c∈Ic \in Ic∈I:

  • If f(c)f(c)f(c) is a local minimum, then f(c)f(c)f(c) is automatically the absolute minimum of fff on III.
  • If f(c)f(c)f(c) is a local maximum, then f(c)f(c)f(c) is automatically the absolute maximum of fff on III.
Single_Critical_Point_Theorem.png

Because there are no other turning points or asymptotes to reverse the direction of the curve, the local extremum must be globally supreme across the entire domain.


Engineering Applications

  • Chemical Bioreactor Dissolved Oxygen Regulation: In aerobic bioprocess engineering, the dissolved oxygen saturation curve C(t)C(t)C(t) rises as aeration pumps start, peaks at optimal microbial metabolic consumption, and slowly levels out. Engineers use the First Derivative Test to establish the single global peak of the oxygen profile and calibrate compressor duty cycles.
  • Aerospace Dynamic Pressure (qqq-Max): During orbital launch, a rocket's dynamic aerodynamic pressure q(t)=12ρ(t)v(t)2q(t) = \frac{1}{2}\rho(t) v(t)^2q(t)=21​ρ(t)v(t)2 begins at zero, climbs rapidly as airspeed increases, and then drops as the vehicle exits the dense lower atmosphere. Finding the single critical point where qβ€²(t)=0q'(t) = 0qβ€²(t)=0 identifies Max-Qβ€”the instant of peak structural load on the rocket airframe.
  • Acoustic Speaker Enclosure Tuning: The resonant efficiency of a ported bass-reflex loudspeaker enclosure depends on port air velocity. Audio engineers use sign testing to pinpoint the Helmholtz frequency where port acoustic impedance reaches a local minimum, ensuring clean low-frequency bass extension.

Example Problems

Example 1: Sign Chart on an Unbounded Interval

Find and classify all local and absolute extrema of f(x)=xβˆ’ln⁑(x)f(x) = x - \ln(x)f(x)=xβˆ’ln(x) on its natural domain (0,∞)(0, \infty)(0,∞):

Solution
  1. Differentiate:
    fβ€²(x)=1βˆ’1x=xβˆ’1xf'(x) = 1 - \frac{1}{x} = \frac{x - 1}{x}fβ€²(x)=1βˆ’x1​=xxβˆ’1​
  2. Critical Numbers:
    • fβ€²(x)=0β€…β€ŠβŸΉβ€…β€Šxβˆ’1=0β€…β€ŠβŸΉβ€…β€Šx=1f'(x) = 0 \implies x - 1 = 0 \implies x = 1fβ€²(x)=0⟹xβˆ’1=0⟹x=1.
    • fβ€²(x)f'(x)fβ€²(x) is undefined at x=0x = 0x=0, but 0βˆ‰(0,∞)0 \notin (0, \infty)0∈/(0,∞).
    • Thus, x=1x = 1x=1 is the sole critical number in the domain.
  3. Sign Chart around x=1x = 1x=1 on (0,∞)(0, \infty)(0,∞):
    • Interval (0,1)(0, 1)(0,1): Test x=0.5β€…β€ŠβŸΉβ€…β€Šfβ€²(0.5)=1βˆ’10.5=1βˆ’2=βˆ’1<0β€…β€ŠβŸΉβ€…β€Š(βˆ’)x = 0.5 \implies f'(0.5) = 1 - \frac{1}{0.5} = 1 - 2 = -1 < 0 \implies (-)x=0.5⟹fβ€²(0.5)=1βˆ’0.51​=1βˆ’2=βˆ’1<0⟹(βˆ’). Function is decreasing.
    • Interval (1,∞)(1, \infty)(1,∞): Test x=2β€…β€ŠβŸΉβ€…β€Šfβ€²(2)=1βˆ’12=0.5>0β€…β€ŠβŸΉβ€…β€Š(+)x = 2 \implies f'(2) = 1 - \frac{1}{2} = 0.5 > 0 \implies (+)x=2⟹fβ€²(2)=1βˆ’21​=0.5>0⟹(+). Function is increasing.
  4. Classification & Single Critical Point Rule:
    • Since fβ€²(x)f'(x)fβ€²(x) transitions from negative to positive (βˆ’β†’+- \to +βˆ’β†’+) at x=1x = 1x=1, f(1)f(1)f(1) is a local minimum.
    • Because x=1x = 1x=1 is the only critical number in the entire open interval (0,∞)(0, \infty)(0,∞), it is guaranteed to be the absolute minimum:
      f(1)=1βˆ’ln⁑(1)=1βˆ’0=1f(1) = 1 - \ln(1) = 1 - 0 = 1f(1)=1βˆ’ln(1)=1βˆ’0=1
    • Absolute Minimum Value: 111 at location x=1x = 1x=1.
    • Absolute Maximum: Does not exist (the function grows to ∞\infty∞ as xβ†’0+x \to 0^+xβ†’0+ and xβ†’βˆžx \to \inftyxβ†’βˆž).

Example 2: Polynomial with Terrace Point

Find and classify all critical points of g(x)=5x6βˆ’6x5+3g(x) = 5x^6 - 6x^5 + 3g(x)=5x6βˆ’6x5+3 on (βˆ’βˆž,∞)(-\infty, \infty)(βˆ’βˆž,∞):

Solution
  1. Differentiate:
    gβ€²(x)=30x5βˆ’30x4=30x4(xβˆ’1)g'(x) = 30x^5 - 30x^4 = 30x^4(x - 1)gβ€²(x)=30x5βˆ’30x4=30x4(xβˆ’1)
  2. Find Critical Numbers:
    30x4(xβˆ’1)=0β€…β€ŠβŸΉβ€…β€Šx=0orx=130x^4(x - 1) = 0 \implies x = 0 \quad \text{or} \quad x = 130x4(xβˆ’1)=0⟹x=0orx=1
  3. Construct Sign Chart: Critical points divide (βˆ’βˆž,∞)(-\infty, \infty)(βˆ’βˆž,∞) into (βˆ’βˆž,0)(-\infty, 0)(βˆ’βˆž,0), (0,1)(0, 1)(0,1), and (1,∞)(1, \infty)(1,∞). Note that the factor 30x4β‰₯030x^4 \ge 030x4β‰₯0 for all xxx, so the sign of gβ€²(x)g'(x)gβ€²(x) is dictated entirely by (xβˆ’1)(x - 1)(xβˆ’1):
    • Interval (βˆ’βˆž,0)(-\infty, 0)(βˆ’βˆž,0): Test x=βˆ’1β€…β€ŠβŸΉβ€…β€Šgβ€²(βˆ’1)=30(βˆ’1)4(βˆ’2)=βˆ’60<0β€…β€ŠβŸΉβ€…β€Š(βˆ’)x = -1 \implies g'(-1) = 30(-1)^4(-2) = -60 < 0 \implies (-)x=βˆ’1⟹gβ€²(βˆ’1)=30(βˆ’1)4(βˆ’2)=βˆ’60<0⟹(βˆ’). Decreasing.
    • Interval (0,1)(0, 1)(0,1): Test x=0.5β€…β€ŠβŸΉβ€…β€Šgβ€²(0.5)=30(0.5)4(βˆ’0.5)<0β€…β€ŠβŸΉβ€…β€Š(βˆ’)x = 0.5 \implies g'(0.5) = 30(0.5)^4(-0.5) < 0 \implies (-)x=0.5⟹gβ€²(0.5)=30(0.5)4(βˆ’0.5)<0⟹(βˆ’). Decreasing.
    • Interval (1,∞)(1, \infty)(1,∞): Test x=2β€…β€ŠβŸΉβ€…β€Šgβ€²(2)=30(16)(1)=480>0β€…β€ŠβŸΉβ€…β€Š(+)x = 2 \implies g'(2) = 30(16)(1) = 480 > 0 \implies (+)x=2⟹gβ€²(2)=30(16)(1)=480>0⟹(+). Increasing.
  4. Classification:
    • At x=0x = 0x=0: gβ€²(x)g'(x)gβ€²(x) does not change sign (remains negative on both sides). Thus, (0,g(0))=(0,3)(0, g(0)) = (0, 3)(0,g(0))=(0,3) is a terrace point (horizontal inflection), neither a maximum nor a minimum.
    • At x=1x = 1x=1: gβ€²(x)g'(x)gβ€²(x) changes sign from negative to positive (βˆ’β†’+- \to +βˆ’β†’+). Thus, g(1)g(1)g(1) is a local minimum:
      g(1)=5(1)6βˆ’6(1)5+3=2g(1) = 5(1)^6 - 6(1)^5 + 3 = 2g(1)=5(1)6βˆ’6(1)5+3=2
    • Since lim⁑xβ†’Β±βˆžg(x)=∞\lim_{x \to \pm\infty} g(x) = \inftylimxβ†’Β±βˆžβ€‹g(x)=∞, g(1)=2g(1) = 2g(1)=2 at x=1x = 1x=1 is also the absolute minimum. No absolute maximum exists.

Connections & References

  • Parent Concepts:
    • Definition of the Derivative
    • Critical Numbers and Critical Points
  • Related Optimization Techniques:
    • Absolute and Relative Extrema
    • Closed Interval Method
  • Course Sessions:
    • Calc 1 Session 13 - Critical Points and Extrema
    • Calc 1 Session 16 - Curve Sketching