5.4 Concavity and the Second Derivative Test

5.4 Concavity and the Second Derivative Test

Core CLEP Concept: While the first derivative $f'(x)$ tells us whether a function is rising or falling, the second derivative $f''(x)$ describes the curvature or bending of the graph. Understanding concavity allows us to locate points of inflection, classify local extrema using the efficient Second Derivative Test, and construct complete, mathematically accurate sketches of algebraic and transcendental curves.

---

1. The Geometric & Analytical Definition of Concavity

Concavity describes the direction in which a curve bends relative to its tangent lines.

     CONCAVE UPWARD (CU): f''(x) > 0                 CONCAVE DOWNWARD (CD): f''(x) < 0
  y ^                                             y ^
    |      Curve lies ABOVE tangent lines           |      Curve lies BELOW tangent lines
    |             .-----------.                     |                   .---.
    |            /             \                    |                  /     \
    |           /   Tangent     \                   |       Tangent   /       \
    |    *-----/-----------------\----*             |        *-------/---------\-------*
    |     \   /                   \   /             |                 \       /
    |      '-'                     '-'              |                  '-----'
    +------------------------------------> x        +------------------------------------> x

Geometric vs. Analytical Definitions

• Concave Upward (CU):

  • Geometric Definition: The graph lies entirely above its tangent lines on an open interval $I$.
  • Rate of Change of Slopes: The slopes of the tangent lines $f'(x)$ are strictly increasing as $x$ moves from left to right.
  • Second Derivative Condition: $f''(x) > 0 \quad \text{for all } x \in I$
  • Visual Mnemonic: "Concave up holds water like a cup (smile $\cup$)."

• Concave Downward (CD):

  • Geometric Definition: The graph lies entirely below its tangent lines on an open interval $I$.
  • Rate of Change of Slopes: The slopes of the tangent lines $f'(x)$ are strictly decreasing as $x$ moves from left to right.
  • Second Derivative Condition: $f''(x) < 0 \quad \text{for all } x \in I$
  • Visual Mnemonic: "Concave down sheds water like an umbrella (frown $\cap$)."

---

2. Inflection Points: Definition & Verification Criteria

An inflection point marks the exact boundary where a curve transitions from one concavity state to the other.

Formal Definition of an Inflection Point

Point of Inflection: A coordinate point $(c, f(c))$ on the graph of $f$ is an inflection point if and only if:

1. $f$ is continuous at $x = c$ (meaning $(c, f(c))$ is an actual point on the curve), AND
2. The curve changes concavity across $c$ (transitions from Concave Up to Concave Down, or from Concave Down to Concave Up).

Potential Inflection Points (PIPs)

Candidate values for inflection points occur where the second derivative either equals zero or fails to exist:

$f''(c) = 0 \quad \text{or} \quad f''(c) \text{ is undefined}$

The Necessity vs. Sufficiency Trap (A Classic CLEP Favorite)

Setting $f''(c) = 0$ is a necessary condition for a smooth inflection point, but it is NOT SUFFICIENT!

• Counterexample $f(x) = x^4$:
  • $f'(x) = 4x^3 \implies f''(x) = 12x^2$
  • Setting $f''(x) = 0$ yields $x = 0$.
  • Sign chart for $f''(x) = 12x^2$: for $x < 0$, $f''(x) > 0$ (CU); for $x > 0$, $f''(x) > 0$ (CU).
  • Because $f''(x)$ does not change sign across $x = 0$, the origin $(0, 0)$ is NOT an inflection point (it is a local minimum).
• Valid Example $f(x) = x^3$:
  • $f'(x) = 3x^2 \implies f''(x) = 6x$
  • Setting $f''(x) = 0$ yields $x = 0$.
  • For $x < 0$, $f''(x) < 0$ (CD); for $x > 0$, $f''(x) > 0$ (CU).
  • The sign changes from CD to CU $\implies (0, 0)$ is a true inflection point.

---

3. The Second Derivative Test for Local Extrema

The Second Derivative Test provides a rapid, algebraic method to classify stationary critical points without constructing a full first-derivative sign chart.

Formal Statement of the Second Derivative Test

The Second Derivative Test: Let $f$ be twice-differentiable on an open interval containing $c$, and suppose that $f'(c) = 0$ (a stationary critical point):

1. If $f''(c) < 0$, the graph is concave down at $c$, so $f$ has a local maximum at $c$.
2. If $f''(c) > 0$, the graph is concave up at $c$, so $f$ has a local minimum at $c$.
3. If $f''(c) = 0$ or $f''(c)$ does not exist, the test is INCONCLUSIVE.

       f'(c) = 0 and f''(c) < 0                  f'(c) = 0 and f''(c) > 0
         Concave Down (f'' < 0)                    Concave Up (f'' > 0)
             Local Maximum                             Local Minimum
                 .---.                                       \
                /  *  \ <- Horizontal Tangent                 \   *   / <- Horizontal Tangent
               /   c   \                                       '-.-'
              /         \                                        c

What To Do When the Second Derivative Test Fails

When $f'(c) = 0$ and $f''(c) = 0$, the Second Derivative Test provides zero information. You must revert immediately to the First Derivative Test:

• $f(x) = x^4 \implies f'(0) = 0, f''(0) = 0 \implies$ First Derivative Test reveals a local minimum.
• $f(x) = -x^4 \implies f'(0) = 0, f''(0) = 0 \implies$ First Derivative Test reveals a local maximum.
• $f(x) = x^3 \implies f'(0) = 0, f''(0) = 0 \implies$ First Derivative Test reveals no extremum.

First vs. Second Derivative Test Comparison

---

4. Comprehensive Curve Sketching Synthesis

A complete curve sketching problem on the CLEP exam synthesizes seven distinct analytical phases.

                           7-Stage Curve Sketching Master Protocol
                                              │
     1. Domain & Restrictions ────────────────┼───> Find all allowable x values
     2. Intercepts (x and y) ─────────────────┼───> Set x = 0 (y-int) and y = 0 (x-int)
     3. Symmetry (Even/Odd) ──────────────────┼───> f(-x) = f(x) [y-axis] vs f(-x) = -f(x) [origin]
     4. Asymptotes & End Behavior ────────────┼───> Vertical: lim -> ±∞; Horizontal: lim x->±∞
     5. First Derivative f'(x) ───────────────┼───> Increasing/decreasing & Local Extrema
     6. Second Derivative f''(x) ─────────────┼───> Concavity (CU/CD) & Inflection Points
     7. Coordinate Grid Synthesis ────────────┴───> Plot key points and connect smooth curve

Step-by-Step Worked Example: Full Synthesis Analysis

Problem: Analyze and sketch $f(x) = 3x^5 - 5x^3$.

1. Domain & Symmetry: Polynomial $\implies$ Domain $(-\infty, \infty)$. $f(-x) = 3(-x)^5 - 5(-x)^3 = -3x^5 + 5x^3 = -f(x) \implies$ Odd function (symmetric about the origin).
2. Intercepts: $y$-intercept is $f(0) = 0$. $x$-intercepts: $x^3(3x^2 - 5) = 0 \implies x = 0, \pm\sqrt{5/3}$.
3. Asymptotes: None (polynomial). End behavior: $\lim_{x \to \infty} f(x) = \infty$ and $\lim_{x \to -\infty} f(x) = -\infty$.
4. First Derivative (Extrema & Monotonicity): $f'(x) = 15x^4 - 15x^2 = 15x^2(x^2 - 1) = 15x^2(x - 1)(x + 1) = 0$ Critical numbers: $x = -1, 0, 1$.
   • Interval $(-\infty, -1)$: $f'(-2) = 15(4)(3) > 0 \implies$ Increasing
   • Interval $(-1, 0)$: $f'(-0.5) = 15(0.25)(-0.75) < 0 \implies$ Decreasing
   • Interval $(0, 1)$: $f'(0.5) < 0 \implies$ Decreasing
   • Interval $(1, \infty)$: $f'(2) > 0 \implies$ Increasing
   • Extrema: Local Max at $(-1, f(-1)) = (-1, 2)$; Local Min at $(1, f(1)) = (1, -2)$; at $x = 0$, $f'$ does not change sign (no extremum).
5. Second Derivative (Concavity & Inflection Points): $f''(x) = 60x^3 - 30x = 30x(2x^2 - 1) = 0$ PIPs: $x = 0, \pm\frac{1}{\sqrt{2}} = \pm\frac{\sqrt{2}}{2} \approx \pm 0.707$.
   • Interval $(-\infty, -\sqrt{2}/2)$: $f''(-1) = -30(1) < 0 \implies$ Concave Down (CD)
   • Interval $(-\sqrt{2}/2, 0)$: $f''(-0.5) = -15(2(0.25)-1) = +7.5 > 0 \implies$ Concave Up (CU)
   • Interval $(0, \sqrt{2}/2)$: $f''(0.5) = -7.5 < 0 \implies$ Concave Down (CD)
   • Interval $(\sqrt{2}/2, \infty)$: $f''(1) = +30 > 0 \implies$ Concave Up (CU)
   • Inflection Points: Concavity changes across all three PIPs! The inflection points are: $(-\sqrt{2}/2, 7\sqrt{2}/8), \quad (0, 0), \quad (\sqrt{2}/2, -7\sqrt{2}/8)$

---

5. Summary of Key Analytical Connections