Math ClubMath Club
v1 · padrão canônico

Lesson 53 — The Chain Rule

Derivative of a composite function: if y = f(g(x)), then dy/dx = f'(g(x))·g'(x). The most used rule in all of applied calculus.

Used in: 2nd Year High School (16 years old) · Equivalent Japanese Math II/III §微分 · Equivalent German Klasse 11 Abitur

ddx[f(g(x))]=f(g(x))g(x)\frac{d}{dx}[f(g(x))] = f'(g(x)) \cdot g'(x)
Choose your door

Rigorous notation, full derivation, hypotheses

Definition and theory

Formal Statement

"The chain rule states that the derivative of f(g(x))f(g(x)) is f(g(x))g(x)f'(g(x)) \cdot g'(x). That is, we differentiate the outer function ff, evaluate it at the inner function g(x)g(x), and multiply by the derivative of the inner function." — OpenStax Calculus Volume 1, §3.6

"Think of the process from outside in: identify the outer function, differentiate it while keeping the inner function unchanged, then multiply by the derivative of the inner function." — Boelkins, Active Calculus §2.5

Rigorous Proof

The difficulty lies in the fact that g(x+h)g(x)g(x+h) - g(x) can be zero for h0h \neq 0, invalidating the naive argument of canceling Δg\Delta g. The solution uses the auxiliary function:

Q(y)={f(y)f(g(a))yg(a)yg(a)f(g(a))y=g(a)Q(y) = \begin{cases} \dfrac{f(y) - f(g(a))}{y - g(a)} & y \neq g(a) \\ f'(g(a)) & y = g(a) \end{cases}

QQ is continuous at g(a)g(a) (by differentiability of ff). Since f(g(a+h))f(g(a))=Q(g(a+h))[g(a+h)g(a)]f(g(a+h)) - f(g(a)) = Q(g(a+h)) \cdot [g(a+h) - g(a)], dividing by hh and taking the limit h0h \to 0 yields (fg)(a)=f(g(a))g(a)(f \circ g)'(a) = f'(g(a)) \cdot g'(a).

Fundamental Special Cases

Composite FunctionDerivative
[g(x)]n[g(x)]^nn[g(x)]n1g(x)n\,[g(x)]^{n-1} \cdot g'(x)
sin(g(x))\sin(g(x))cos(g(x))g(x)\cos(g(x)) \cdot g'(x)
cos(g(x))\cos(g(x))sin(g(x))g(x)-\sin(g(x)) \cdot g'(x)
eg(x)e^{g(x)}eg(x)g(x)e^{g(x)} \cdot g'(x)
ln(g(x))\ln(g(x))g(x)/g(x)g'(x)/g(x)
g(x)\sqrt{g(x)}g(x)/(2g(x))g'(x) / (2\sqrt{g(x)})
ag(x)a^{g(x)}ag(x)lnag(x)a^{g(x)} \ln a \cdot g'(x)

Triple Composition

For h(x)=f(g(k(x)))h(x) = f(g(k(x))):

(fgk)(x)=f(g(k(x)))g(k(x))k(x)(f \circ g \circ k)'(x) = f'(g(k(x))) \cdot g'(k(x)) \cdot k'(x)
(tripla)
what this means · The chain rule generalizes: multiply the derivative of each layer, always from outside in.

Composition Diagram

xg(x)u = g(x)g'(x) = du/dxf(u)y = f(g(x))dy/dx = f'(g)·g'

Flow of composition: input x, processed by g to yield u, then by f to yield y. The total rate dy/dx is the product of the individual rates.

Solved Examples

Exercise list

40 exercises · 10 with worked solution (25%)

26 4 6 3 1
  1. Ex. 53.1Answer key

    Calculate ddx[(2x+3)5]\dfrac{d}{dx}[(2x+3)^5].

  2. Ex. 53.2

    Calculate (sin(4x))(\sin(4x))'.

  3. Ex. 53.3

    Calculate (ex2)(e^{x^2})'.

  4. Ex. 53.4Answer key

    Calculate (ln(x2+1))(\ln(x^2 + 1))'.

  5. Ex. 53.5Answer key

    Calculate (x2+1)(\sqrt{x^2+1})'.

  6. Ex. 53.6

    Calculate (cos2x)(\cos^2 x)'.

  7. Ex. 53.7

    Calculate (tan(2x))(\tan(2x))'.

  8. Ex. 53.8

    Calculate (sin(cosx))(\sin(\cos x))'.

  9. Ex. 53.9

    Calculate (esinx)(e^{\sin x})'.

  10. Ex. 53.10

    Calculate ((lnx)3)((\ln x)^3)'.

  11. Ex. 53.11

    Calculate (1x2)(\sqrt{1-x^2})'.

  12. Ex. 53.12

    Calculate (1x2+4)\left(\dfrac{1}{x^2+4}\right)'.

  13. Ex. 53.13Answer key

    Calculate (2x2)(2^{x^2})'.

  14. Ex. 53.14

    Calculate (sin3(2x))(\sin^3(2x))'.

  15. Ex. 53.15

    Calculate (arctan(x2))(\arctan(x^2))'. (Ans: 2x/(1+x4)2x/(1+x^4).)

  16. Ex. 53.16

    Calculate (ln(sinx))(\ln(\sin x))'.

  17. Ex. 53.17Answer key

    Calculate (ecos(2x))(e^{\cos(2x)})'.

  18. Ex. 53.18

    Calculate (tanx)(\sqrt{\tan x})'.

  19. Ex. 53.19Answer key

    Calculate (sin(x))(\sin(\sqrt{x}))'.

  20. Ex. 53.20

    Calculate ((3x+5)10)((3x+5)^{10})'.

  21. Ex. 53.21Answer key

    Calculate (cos(3x2+2))(\cos(3x^2+2))'.

  22. Ex. 53.22

    Calculate (ln(lnx))(\ln(\ln x))'.

  23. Ex. 53.23

    Calculate (xsin(x2))(x \cdot \sin(x^2))'.

  24. Ex. 53.24

    Calculate (xex2)(x \cdot e^{x^2})'.

  25. Ex. 53.25

    Calculate (sin(x2+1))(\sin(\sqrt{x^2+1}))'.

  26. Ex. 53.26Answer key

    Calculate (tan2(3x))(\tan^2(3x))'.

  27. Ex. 53.27

    Find the tangent line to the curve y=(x2+1)3y = (x^2+1)^3 at the point x=1x = 1. (Ans: y=24x16y = 24x - 16.)

  28. Ex. 53.28

    Error Analysis. A student writes (ex2)=xex2(e^{x^2})' = xe^{x^2}. What specific error was made?

  29. Ex. 53.29

    Conceptual. To differentiate sin(x2)\sin(x^2), which rule applies? Why isn't it the product rule?

  30. Ex. 53.30

    Calculate (eex)(e^{e^x})'.

  31. Ex. 53.31

    Physics. The position of a particle in simple harmonic motion is s(t)=sin(ωt)s(t) = \sin(\omega t). Calculate the acceleration s(t)s''(t) and show that s(t)=ω2s(t)s''(t) = -\omega^2 s(t).

  32. Ex. 53.32Answer key

    Nuclear Physics. Radioactive decay follows N(t)=N0eλtN(t) = N_0 e^{-\lambda t}. Calculate N(t)N'(t) and show that N(t)=λN(t)N'(t) = -\lambda N(t).

  33. Ex. 53.33Answer key

    Biology. Logistic growth is P(t)=K1+ertP(t) = \dfrac{K}{1 + e^{-rt}}. Calculate P(0)P'(0).

  34. Ex. 53.34

    Statistics. Calculate f(x)f'(x) for the standard normal density f(x)=12πex2/2f(x) = \dfrac{1}{\sqrt{2\pi}} e^{-x^2/2}.

  35. Ex. 53.35

    Finance. The present value of a cash flow SS discounted at rate rr is V(t)=SertV(t) = S\,e^{-rt}. Calculate dV/dtdV/dt and interpret the result.

  36. Ex. 53.36

    Physics. Kinetic energy is E(v)=12mv2E(v) = \tfrac{1}{2}mv^2 and velocity is v(t)=atv(t) = at. Calculate dE/dtdE/dt using the chain rule and verify with direct differentiation.

  37. Ex. 53.37

    Calculate (sin(cos(sinx)))(\sin(\cos(\sin x)))'.

  38. Ex. 53.38

    Calculate ddx[(x+x2+1)n]\dfrac{d}{dx}\left[(x + \sqrt{x^2+1})^n\right].

  39. Ex. 53.39

    Calculate (sin(ex2))(\sin(e^{x^2}))'.

  40. Ex. 53.40

    Proof. Explain why the naive argument ΔfΔgΔgh\frac{\Delta f}{\Delta g} \cdot \frac{\Delta g}{h} fails as a rigorous proof of the chain rule. How does the auxiliary function Q(y)Q(y) resolve the issue?

Sources

  • Active Calculus 2.0 — Boelkins, Austin, Schlicker · 2024 · §2.5. Primary source. CC-BY-NC-SA.
  • Calculus Volume 1 — OpenStax (Herman et al.) · 2016 · §3.6. CC-BY-NC-SA.
  • APEX Calculus — Hartman et al. · 2024 · v5 · §2.5. CC-BY-NC.

Updated on 2024-05-15 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.