Section 3.8 Derivatives of Inverse Functions and Logarithms
Example 3.8.1.
Let \(g(x)=x^2+5\text{.}\) Find \(g'(x)\text{,}\) \(g^{-1}(x)\text{,}\) and \(\frac{d}{dx} g^{-1}(x)\text{.}\)
Fact 3.8.2. Derivative Rule for Inverses.
If \(f\) has domain on an interval \(I\) and \(f^{-1}\) exists and is never 0 over \(I\text{,}\) then \(f^{-1}\) is differentiable on its domain. The value of \((f^{-1})'\) at a point \(b\) is the reciprocal of the value of \(f'\) at \(f^{-1}(b)\text{,}\) i.e.,
Subsection 3.8.1 Derivatives of Logarithms
Theorem 3.8.3.
Let \(f(x) = e^x\) so that \(f^{-1}(x) = \ln x\) for \(x\gt 0\text{.}\) Then
Proof.
The following relies on content from Section 3.8, but is included here for reference.
Fact 3.8.4. Derivative of \(ln x\).
Combining with the chain rule produces:
Example 3.8.5.
Compute the derivatives:
\(\displaystyle \frac{d}{dx} 5 \ln (7x)\)
\(\displaystyle \frac{d}{dx} \ln |x|\)
Let \(y=7 \ln (5\ln x)\text{.}\) Find \(y'\text{.}\)
\(\displaystyle \displaystyle \frac{5}{x}\)
\(\displaystyle \displaystyle \frac{1}{x}\)
\(\displaystyle \displaystyle \frac{7}{x\ln x}\)
Subsection 3.8.2 Derivatives of \(a^u\) and \(\log_a u\)
Theorem 3.8.6.
Proof.
Subsection 3.8.3 Logarithmic differentiation
Example 3.8.7.
Let \(y=\ln(8\cos^3(x))\text{.}\) Find \(y'\text{.}\)
\(\displaystyle y' = -3\tan x\)
Taking the natural log of both sides can make it easier to differentiate.
Example 3.8.8.
Let \(y=\sqrt{x(x+10)}\text{.}\) Find \(\frac{dy}{dx}\text{.}\)
Let \(y=\sqrt{\theta+4}\sin(9\theta)\text{.}\) Find \(y'\text{.}\)
\(\displaystyle \displaystyle \frac{dy}{dx} = \frac12 \sqrt{x(x+10)} \left(\frac{1}{x} + \frac{1}{x+10}\right)\)
\(\displaystyle \displaystyle y' = \sqrt{\theta + 4} \left(\frac{\sin (9\theta)}{2\theta + 8}+9\cos (9\theta)\right)\)
Note that logarithmic differentiation assumes that the derivative exists.
Example 3.8.9.
On the domain \(x\gt 0\text{,}\) find \(\frac{d}{dx} x^x\text{.}\)
Let \(y = (9x+7)^x\text{;}\) find \(y'\text{.}\)
\(\displaystyle x^x(\ln x + 1)\)
\(\displaystyle \displaystyle (9x+7)^x \left(\ln(9x+7)+\frac{9x}{9x+7}\right)\)
