Last time: | Next time: |
When you have a composition of three or more functions, I find the "stuff" method particularly useful, because it's recursive, and you only have to focus on one function at a time -- the "outside" function -- the final function in the "chain".
We'll approach this topic via four examples, making good use of the chain rule:
And that's pretty much the graphical version of the Preview!:)
(WARNING: don't be fooled by the notation: $f^{-1}(x)$ is the inverse function; $f(x)^{-1}$is the multiplicative inverse, $\frac{1}{f(x)}$. They are completely different animals!)
\[ f(x)=x^2 \] and \[ f^{-1}(x)=\sqrt{x} = x^{\frac{1}{2}} \]
This is an interesting place to start, because the square function isn't actually invertible!
By convention, we restrict the domain, and choose to consider the square function on only half of its domain (positive values of $x$).
And you can see what goes wrong if we try to reflect the part to the left of the $y$-axis: the inverse "function" would fail the vertical line test -- very naughty "function".
It's unfortunate that we, being lazy mathematicians, will typically use \(x\) as the variable in both of these formulas. If we call \(g(x)=f^{-1}(x)\), and we think of \(x\) as belonging to the domain of \(g\), \(D_g\), then it would be better to write \(y=g(x)\), where \(y\) is in the range of g, \(R_g\), and then \(f\) takes things in the range of \(g\), and returns them to the domain of \(g\) (which lies in the range of \(f\), \(R_f\). A picture helps of course!
Hence
\[ f(g(x)) = x \] but \[ g(f(y)) = y \]
We simply assert that, if the two functions are equal, then their derivatives must be equal, as well:
\[ \frac{d}{dx}\left(f(f^{-1}(x))\right) = \frac{d}{dx}(x) \] Then, using the chain rule on the left, "f'(stuff)(stuff)'=1": \[ f'(f^{-1}(x)) \frac{d}{dx}\left(f^{-1}(x)\right) = 1 \] So \[ \frac{d}{dx}\left(f^{-1}(x)\right) = \frac{1}{f'(f^{-1}(x))} \] Let's see what that produces in this case: for $f(x)=x^2$, $f'(x)=2x$, so \[ \frac{d}{dx}\left(f^{-1}(x)\right) = \frac{1}{2f^{-1}(x)} = \frac{1}{2\sqrt{x}} = \frac{1}{2}x^{-\frac{1}{2}} \]
So \[ \frac{d}{dx}\left(f^{-1}(x)\right) = \frac{1}{f'(f^{-1}(x))} \] becomes \[ \frac{d}{dx}\left(\ln(x)\right) = \frac{1}{e^{\ln(x)}} = \frac{1}{x} = x^{-1} \] Amazing! This is the "missing power" -- we didn't know how to get this particular derivative using the power rule (It would have come from the power $x^0$ -- but that's a constant, so it's derivative is 0. This creates a mysterious connection between powers and the exponential function, and its inverse, the log.)
Notice that it's our friend the hyperbola. Notice also that this function is odd -- it should be the derivative of an even function. We can extend the $\ln(x)$ function to the left, by considering $\ln(|x|)$:
Look at sine on this interval. If it is increasing everywhere, its inverse must be increasing everywhere: and what does that say about its derivative?
There are two other functions which deserve our attention. We call their inverses "arctan" and "arccos".
Do exactly the same thing that we've just done in these three examples, but with two other important functions: