The chain rule
If is a function of , and is a function of , then
The rule says that the two rates multiply. This page shows why, and it is honest about the one place where the usual short argument hides a case.
Before you start
You need three facts.
- The derivative is a rate. says how much changes for each unit of , measured as the limit of the fraction .
- A function of a function. If depends on and depends on , then depends on . A change in moves , and the change in moves .
- Cancelling in a fraction. For ordinary numbers, , as long as .
Predict first
Suppose a car travels for every litre of fuel, and uses litres for every hour of driving.
Before reading on, predict: how far does the car travel in one hour? Work it out from the two rates you are given. Then predict what the arithmetic looks like when the two rates are written as fractions.
The proof
The numbers first
In one hour the car uses litres. Each litre carries the car kilometres. So in one hour it travels
The rate of distance with respect to fuel is , the rate of fuel with respect to time is , and the rate of distance with respect to time is
The rates multiply. Everything below is that sentence written with letters.
The algebra
Now let be a function of , and a function of . Let change by a small amount . Then changes by some , and because depends on , changes by some .
The three small changes are tied together by ordinary arithmetic. If is not zero, then
The on the bottom of the first fraction and the on the top of the second are the same nonzero number, so they cancel. This identity is exact for the small changes. It is not an approximation.
Be careful with the word cancel. Here the 's are genuine numbers, so the cancelling is genuine arithmetic. What is not allowed is carrying the same move over to the derivatives, as if were a fraction of two tiny numbers called and . The symbol is not a fraction; it is the limit of one. The next step is what turns the exact identity for small changes into the rule for derivatives.
Take the limit
Let . Because is continuous, tends to as well. Each fraction tends to a derivative:
The identity holds for every that gives , so its two sides have the same limit:
That is the chain rule, for the case where .
The case where δu is zero
There is one gap in the argument above, and it is worth naming rather than hiding.
The identity was written down because . For a function such as near , or at multiples of , there are arbitrarily small changes for which . At those values the fraction is , which has no meaning, so the identity does not apply there. The limit step above quietly assumed the case away, and it needs its own argument.
That argument is short, and it is worth seeing once. Do not use the quotient at all — it is the object that fails when . Instead give the quotient a companion quantity , defined by
The value used when is the limit of as , which is . It is not the meaningless . Now multiply by :
Check the two cases. When this is the definition of , so it is exact. When , the value has not moved, and because depends on , neither has ; both sides are then . So the equation holds for every small , and no division by appears anywhere.
Divide by :
Now let . Because is continuous, , so . Meanwhile . Therefore
with no case left out. The case was not a small exception to be patched later. It was a signal that the quotient was the wrong object to add up, and is the right one.
One condition the argument needs
Both versions of the argument use one more fact: is continuous at . A small change in has to make a small change in , or would not tend to and the quantity would not settle on the value . Every function differentiated in this course is continuous, so a reader never has to check this in practice. A proof does have to state it.
Check your understanding
- changes by units for every unit of , and changes by units for every unit of . How fast does change with respect to ?
- Differentiate by taking . Which factor is , and which is ?
- Why can the identity not be used at every value of without a check?
Answers
- The rates multiply: . So .
- With we have , so and . The rule gives .
- The identity needs . For some values of , such as when , there are small changes with , and then is . The rule is still true there, but this identity is not the reason.
A common error
Written as , the rule looks as though the 's cancel. They do not. The cancelling in the proof happened one line earlier, between the small changes , which are ordinary numbers; the derivatives are limits, and a limit is not a fraction of limits. The shorthand gives the right answer for a single chain, which is why the mistake survives. It is the small changes that cancel, not the derivatives.