Example 8.9.1
The equation \(2x-3y=6\) has a graph that is a line. This equation defines \(y\) as an implicit function of \(x\text{.}\) If we solve for \(y\) to find
then we have now defined \(y\) as an explicit function of \(x\text{.}\)
A function is defined explicitly when a formula for the output is given in terms of the input. If we define a dependent variable using such a function, say \(y=f(x)\text{,}\) then we say \(y\) is defined explicitly as a function of \(x\text{.}\)
On the other hand, we also encounter situations where two variables are related through an equation but not in a way that is an explicit formula. When the graph of the equation defines a curve, say in the \((x,y)\) plane, we say that the equation defines \(y\) as an implicit function of \(x\text{.}\) (It also defines \(x\) as an implicit function of \(y\text{,}\) depending on which variable we wish to consider as the dependent variable.)
The equation \(2x-3y=6\) has a graph that is a line. This equation defines \(y\) as an implicit function of \(x\text{.}\) If we solve for \(y\) to find
then we have now defined \(y\) as an explicit function of \(x\text{.}\)
A graph does not represent a function when it fails the vertical line test. In spite of this, connected segments of the graph that individually pass the vertical line test can still be treated as functions for which we seek to find the derivative. It is in this context that we are interested in implicit functions.
The equation \(x^2+y^2=4\) has a graph that is a circle centered at \((0,0)\) and with radius 2. The graph fails the vertical line test which means that the relation fails to define \(y\) as a function of \(x\text{.}\) However, the top half of the circle considered separately is a function, as is the bottom half of the circle. We see this when we attempt to solve the equation for \(y\) and obtain
Each of the branches of the graph, \(y=\sqrt{4-x^2}\) and \(y=-\sqrt{4-x^2}\text{,}\) defines \(y\) as an explicit function of \(x\text{.}\) The original equation \(x^2+y^2=4\) defines both of these functions implicitly without requiring solving for \(y\text{.}\)
When an equation involving two variables (like \(x\) and \(y\)) has a graph that consists of curves, the connected components of those curves that individually pass the vertical line test define the dependent variable (e.g., \(y\)) as an implicit function of the independent variable (e.g., \(x\)).
Once we recognize that an equation defines \(y\) as an implicit function of \(x\text{,}\) we can compute the derivative \(y'=\frac{dy}{dx}\) using a process called implicit differentiation. If \(y\) is a function of \(x\text{,}\) then computing a derivative of a function of \(y\) requires an application of the chain rule.
Suppose that \(y\) is a function of \(x\text{.}\) Find the derivatives of the following expressions in terms of \(x\text{,}\) \(y\) and \(y'\text{.}\)
We find the derivative by recognizing how the expression is computed and using the appropriate rules of differentiation.
The expression \(y^3\) is a composition \((y(x))^3\) so that the chain rule along with the power rule allow us to find the derivative:
The expression \(x^2 y\) is a product of \(x^2\) and \(y(x)\text{,}\) so the derivative will require using the product rule of derivatives.
The expression \(xe^{x+y}\) is a product of \(x\) and \(e^{x+y}\text{,}\) so we start by using the product rule. To differentiate \(e^{x+y}\text{,}\) we need the chain rule for \(e^u\) where \(u=x+y\text{.}\) Finally, when we differentiate \(y\text{,}\) we get the function \(y'\text{.}\)
Implicit differentiation builds on the idea that if \(f(x) = g(x)\) then \(f'(x)=g'(x)\text{.}\) That is, if two functions are equal then their derivatives must be equal. So consider an equation in \(x\) and \(y\) that defines \(y\) as an implicit function of \(x\text{.}\) We can think of the left side of the equation as defining one function (like the \(f(x)\) in the earlier sentence) and the right side of the equation as defining a second function (like the \(g(x)\)). Then the derivatives of the two sides of the equations must also be equal.
Implicit differentiation uses the following steps.
Start with an equation involving your two variables, say \(x\) and \(y\text{.}\) It may be desirable to find an equivalent equation for which derivatives are easier to compute.
Create a new equation by differentiating each side of the equation. The dependent variable must be treated as an implicit function so that the new equation involves the variables \(x\) and \(y\) and the derivative \(y'=\frac{dy}{dx}\)).
Solve the new equation for \(y'=\frac{dy}{dx}\) as a function of \(x\) and \(y\text{.}\) If the slope at a particular point is desired, substitute the values of \(x\) and \(y\) to find a value for \(y'\text{.}\)
The equation \(x^2+5y^2 = 15-3xy\) defines an ellipse, shown below. What is the slope of the curve at the point \((2,1)\text{?}\)
We recognize \(y\) as an implicit function of \(x\) and differentiate the two functions in the equation to create a new equation.
From this new equation, we solve for \(y'\) by moving all terms with \(y'\) to the same side of the equation.
Next, factor out the common factor of \(y'\) and the solve for \(y'\) with division.
This gives us the formula for the slope at any point in terms of \(x\) and \(y\text{,}\)
To find the actual slope at the point \((x,y)=(2,1)\text{,}\) we use the values \(x=2\) and \(y=1\text{:}\)
We could also find the equation of the tangent line knowing this information,
Suppose that we know a function \(f(x)\) and its derivative \(f'(x)\text{.}\) We are now interested in knowing how this information might relate to its inverse. In general, the function \(f\) does not necessarily have an inverse function unless it happens to be one-to-one. So suppose that \(f\) has an inverse function \(f^{-1}\text{.}\)
The equation for the graph of the inverse function is \(y=f^{-1}(x)\text{.}\) By virtue of being an inverse function, this equation is equivalent to the inverse equation
We can use this equation and the ideas of implicit differentiation to find the derivative of the inverse function,
Differentiating the left side of the inverse equation and the chain rule leads to an implicit differentiation equation
from which we can solve for \(y'\) to get
This result is saying that the slope for the inverse function is related to the slope of the original function. If the graph of \(f\) has a point \((a,b)\) and a derivative \(f'(a)\text{,}\) then the graph of the inverse function includes the corresponding point \((b,a)\) and has the reciprocal rate of change \(\left.\frac{df^{-1}}{dx}\right|_b=\frac{1}{f'(a)}\text{.}\) To find the rate of change of an inverse function, we need to identify the corresponding point for the original function, \(a=f^{-1}(b)\text{.}\) This is formally stated in the following theorem, with \(x\) as a variable in place of \(b\text{.}\)
Let \(f^{-1}\) be the inverse of a function \(f\) for which we know \(\frac{d}{dx}[f(x)] = f'(x)\text{.}\) Then
This first example illustrates the principle for a specific point.
A function \(f(x)= x^3+3x\) has an inverse function because it is one-to-one, but the formula for the inverse function \(f^{-1}(x)\) is not easy to find. Because \(f(1)=4\) we know \(f^{-1}(4)=1\text{.}\) Find the equation of the tangent line to \(y=f^{-1}(x)\) at \(x=4\text{.}\)
This problem requires using the theorem for derivatives of inverse functions. We know that the original function \(f(x)=x^3+3x\) has a derivative \(f'(x) = 3x^2+3\text{.}\) Consequently, the graph of \(f\) has a tangent line with slope \(f'(1)=3(1^2)+3=6\) at the point \((1,4)\text{.}\) The inverse function \(y=f^{-1}(x)\) must then have a corresponding point \((4,1)\) and tangent line with slope \(\frac{1}{6}\text{.}\)
Formally, the theorem for derivatives of inverse functions states that for \(y=f^{-1}(x)\text{,}\)
Because \(f^{-1}(4)=1\) and \(f'(1) = 6\text{,}\) we know,
Knowing the slope and the point, we can find the equation for the tangent line,
When finding the derivative of an inverse function with the goal of finding a formula, we need to simplify the expression \(f'(f^{-1}(x))\text{.}\) In many cases, this composition will simplify nicely.
The functions \(f(x)=x^2\) for \(x\ge 0\) and \(f^{-1}(x)=\sqrt{x}\) are inverse functions. Use the derivative of an inverse function to find \(\frac{d}{dx}[\sqrt{x}]\text{.}\)
The original equation for the square root is \(y=\sqrt{x}\text{,}\) which is equivalent to the inverse equation,
Implicit differentiation leads to
Using the original inverse \(y=\sqrt{x}\text{,}\) this simplifies to
Alternatively, just using the theorem for derivatives of inverse functions with \(f(x) = x^2\) and \(f^{-1}(x) =\sqrt{x}\text{,}\) we have \(f'(x)=2x\) so that
The functions \(f(x)=e^x\) and \(f^{-1}(x)=\ln{x}\) are inverse functions. Use the derivative of an inverse function to find \(\frac{d}{dx}[\ln(x)]\text{.}\)
The original equation for the logarithm is \(y=\ln(x)\text{,}\) which is equivalent to the inverse equation,
Implicit differentiation leads to
Using the original inverse \(y=\ln(x)\text{,}\) this simplifies to
The theorem for derivatives of inverse functions with \(f(x) = e^x\) and \(f^{-1}(x) =\ln(x)\text{,}\) we have \(f'(x)=e^x\) so that
The previous example is important. We summarize the result as a theorem.