Can you find... chain rule edition
Excerpt: Students use the chain rule to work backwards from conditions that the derivative of a function of a function must satisfy.
Problem
Can you find …
(b) ... functions and so that is always increasing but or is not always increasing?
- … functions and so that has stationary points when and ?
- … a function so that has a local minimum?
- … functions and so that has no stationary points?
(d) ... a function so that has a local minimum when ?
(d) ... functions and so that has a local maximum where has a local minimum? (e) ... functions and so that is a tangent to
Suggestion
The derivative of is the product of and , provided these are defined.
-
When is a product zero?
-
When is a product positive or negative?
As well as making sure that is defined, we need to make sure that and are defined, so we need to keep an eye on the domains, ranges and derivatives of and
Here are a few more suggestions for separate parts of the problem.
Part (a)
How can we ensure that when and when ?
Do we only want stationary points at and or will we allow others?
Part (b)
If a function has a local minimum when , what can we say about the sign of its derivative on either side of ?
If a function has a local minimum, try composing it with an increasing function. Now try composing it with a decreasing function.
Part (c)
What are some functions that have no stationary points?
What’s the simplest function that has no stationary points?
If a function has a local minimum when , what can we say about the sign of its derivative on either side of ? If a function has a local minimum, try composing it with an increasing function. Now try composing it with a decreasing function.
What information about a function does a tangent give us? What if you choose the point where you want to be a tangent? Think about some particular cases, e.g. try to find if or or ?
Things you might have noticed
The chain rule tells us that the derivative of is the product of and , provided these are defined. How can we ensure at and ?
Note first that we could let or be the identity function and then try to ensure that either or has stationary points at and How could we do this?
We could let , so that where is a constant. Changing or rescaling parallel to the -axis doesn’t change the -values of the stationary points, so we could let instead.
We could also think about repeated roots of polynomials. For example, if we let then we don’t have to integrate or differentiate anything.
At this point we may have to consider our interpretation of the problem. Do we only want stationary points at and or will we allow others?
So far we have found functions that could be composed with the identity function. But what if we let be one of these and compose it with, say, , , or ? Is the composition defined and where are its stationary points?
Here are more functions that meet the conditions. Can you explain how they do this?
-
and
-
and
-
and
Some things to think about
If and then
If and , what happens to when ?
If and , where does have stationary points?
These examples offer a chance to combine calculus and algebra with thinking about functions and their graphs. What were the key things you noticed and how do these relate to the chain rule?
As long as and can be composed, we can ensure that and by making sure has stationary points at and For example, we could let , so that where is a constant. Changing or rescaling parallel to the -axis doesn't change the -values of the stationary points, so we could take and multiply through by We need to think about the domain and range of because to ensure that the composite function is defined. One approach is to let . For example, we could have or or Suppose instead we had and What would be and where are the stationary points of ? What about and ? Why would this satisfy the required conditions? If we allow ourselves to have other stationary points as well, we could take a different approach. For example, we could ensure that either or has stationary points
We need for all in the domain of because otherwise will not be defined. If we also want to have a minimum, we need to have a stationary point, since has no stationary points. But what type of stationary point should it be?
If a function has a minimum when , what can we say about the sign of its derivative on either side of ?
The gradient is negative to the left of a local minimum and positive to the right of it.
For to have a minimum at , we want its derivative to behave like this near
We already know from the chain rule that the derivative of is the product of the derivative of at and the derivative of But since is an increasing function, the sign of the derivative of is the same as the sign of
Therefore we are looking for a function which has at least one local minimum and is always positive. One example could be What other examples can you find?
Functions of the form arise as integrals of Which functions are of the form ?
The derivative of is . How can we ensure that a product is zero?
If we want to ensure that does not have any stationary points, we could choose and with no stationary points, as long as and can be composed.
What are some functions that have no stationary points?
What’s the simplest function that has no stationary points?
The simplest function with no stationary points is the identity function and if we let and we get , which has no stationary points.
Broadening our search out to other functions with no stationary points, we could take any function of the form if , or we could have , , , , or even What happens if we try to compose some of these functions?
As this problem can be solved by composing functions that don’t have stationary points, it seems worth thinking about whether or could have stationary points.
For example, we could choose a without stationary points, but with stationary points that are outside the range of An example is and Alternatively, if has a stationary point at but is not defined, we can exclude from the domain of For example, for and
One final example worth mentioning is and Here , which has no stationary points, even though How could this be explained?
If we use the chain rule to differentiate for , then we obtain as expected. Problems arise at though, because the gradient of is not defined when This means that the expression is not defined at , so we can’t use the chain rule to find the gradient function of here. However, the gradient function does exist at because for all , so its gradient function must be everywhere.
Inverse functions and their derivatives can be is explored further in Reflecting on change.
Thinking again about the example of and might suggest some other functions which are inverses of each other, and in particular, and Then has a stationary point but does not. The way inverse functions and their derivatives behave is explored further in Reflecting on change.
If we want to ensure that does not have any stationary points, we could choose so that for all in the domain of and for all in the range of We'd also need to make sure that and can be composed.
(c) ... functions and so that has no stationary points?
The derivative of is . When can a product be zero?
If we want to ensure that does not have stationary points, we could choose a so that for all in the domain of and for all in the range of We'd also need to make sure that and can be composed.
What's the simplest function that has no stationary points?
Any function of the form has no stationary points if Other examples of functions without stationary points are and , and What happens if we try to compose some of these functions? We could choose and to be functions with no stationary points to ensure that doesn't. For example, we could let and What if we chose instead? Alternatively, we could let and Why do we know that this doesn't have stationary points?
If we were less cautious and allowed to have stationary points, we could have and Can you think of other functions which have stationary points but whose composition does not? Thinking again about the example of and might suggest some other functions which are inverses of each other, and in particular, and Then has a stationary point but does not. The way inverse functions and their derivatives behave is explored further in Reflecting on change.
When is a product of functions positive?
If and , what is and how does it behave? Suppose instead we have and .
(d) ... a function so that has a local minimum when ?
(d) ... functions and so that has a local maximum where has a local minimum?
Why was it important in part (c) that is an increasing function?
Suppose we let Then has a minimum when , so for and for . Therefore we need to be defined around , and to be negative on either side of , i.e. we need to be a decreasing function near For example, we could have or or or even How could you check that the stationary point at is a maximum in each case?
There are lots of options for if we take , but can you explain why would satisfy the required conditions but would not?
How would your approach to (d) have been different if we'd asked for to have a maximum where has a minimum? (e) ... functions and so that is a tangent to The question doesn't specify where is a tangent, so we get to choose this. Let's say it's at Working backwards from the equation of the tangent, we must have and . Let's consider the example We know quite a few nice values of which could be candidates for and we can work out the corresponding values of which is For example, and , or and , so we could choose either or If we choose then we'll need to find an for which and if we choose , we'll need Note that in the first case we could choose ! If we choose , how can we construct a suitable function for ? We need to ensure that the tangent and graph meet at What could be if instead we made ? <!-- Since has a gradient of when and the tangent we are aiming at has a gradient of , we can find an which will stretch and translate appropriately, and one such function would be . Alternatively we could look for a place on which has a gradient of : When , when so giving . If we look at the point where , here and gradient is . If we find the equation of a line through this point we get or so if we translate our tangent curve by we have another solution: and .