Previously, we have defined differentiation, roughly speaking, as gradient-calculation. That is, the function has a derivative
at
if the tangent line to the curve
at
has equation
In this case, we write
The simplest kind of function would be the powers of (i.e. the power rule): for any rational number
,
Indeed, this result is meaningful by adapting the calculations in this exercise.
Differentiation is “splittable” over addition:
It even works for functions scaled by a constant:
That is, differentiation satisfies linearity.
But as discussed previously, we do not get splitting over products
Nor do we get splitting over function-in-function combinations (i.e. compositions),
However, it is still possible to evaluate their derivatives.
Example 1. Define and
. Show that
and hence, check that
Proof. By definition of the individual functions,
By the linearity of differentiation,
On the other hand,
and using linearity,
Therefore,
Hence,
This result is true in general, and known as the chain rule.
Theorem 1 (Chain Rule). For functions with derivatives
,
Writing so that
,
Proof. See this post.
Example 2. Show that .
Solution. Setting and
, using the chain rule,
Using the power rule, implies that
:
Remark 1. In particular, setting and
respectively,
Example 3. Define . Show that
Solution. Using Remark 1,
Using linearity,
Together with ,
By Remark 1 again,
Hence,
Remark 2. Example 3 helps us prove the product rule, which, in turn, together with the second result in Remark 1, helps us prove the quotient rule. We will visit both results next time.
The chain rule empowers us to differentiate all sorts of functions.
Example 4. Evaluate .
Solution. While terrifying and tragically anti-funny, the chain rule renders this problem trivial. By Example 2 and linearity,
Example 5. For any positive constant , evaluate
.
Solution. Recall that using the power rule,
Hence, using the chain rule (or Example 2) and linearity,
Remark 3. Example 5 gives us yet another proof that the radius of a circle must be perpendicular to its tangent.
The chain rule is, arguably, the most powerful theorem pertaining differentiation. We can use it to prove the product rule and the quotient rule, and these latter rules help us compute expressions such as
correctly. These we visit next time.
—Joel Kindiak, 8 Jan 26, 1925H
Leave a comment