 |
Implicit Differentiation
Suppose that the equation F(x, y) = 0 defines y implicitly as a function of x, say y = f (x) . In section 2.8, we saw how to calculate in such a case. We can use the chain rule for functions of several variables to obtain an alternative method for calculating this. Moreover, this will provide us with new insights into when this can be done and, more important yet, this will generalize to functions of several variables defined implicitly by an equation.
We let z = F(x, y) , where x = t and y = f (t ) . From Theorem 5.1, we have
But, since z = F(x, y) = 0 , we have , too. Further, since x = t, we have and . This leaves us with
Notice that we can solve this for , provided Fy 0. In this case, we have
Recognize that we already know how to calculate implicitly, so this doesn't appear to give us anything new. However, it turns out that the Implicit Function Theorem (proved in a course in advanced calculus) says that if Fx and Fy are continuous on an open disk containing the point (a, b) where F(a, b) = 0 and Fy(a, b) 0, then the equation F(x, y) = 0 implicitly defines y as a function of x nearby the point (a, b) . More significantly, we can extend this notion to functions of several variables defined implicitly, as follows. Suppose that the equation F(x, y, z) = 0 implicitly defines a function z = f (x, y), where f is differentiable. Then, we can find the partial derivatives f x and f y using the chain rule, as follows. We first let w = F(x, y, z) . From the chain rule, we have
Notice that since w = F(x, y, z) = 0, . Also, and , since x and y are independent variables. This gives us
We can solve this for , as long as Fz 0 , to obtain
Likewise, differentiating w with respect to y leads us to
again, as long as Fz 0. Much as in the two variables case, the Implicit Function Theorem for functions of three variables says that if Fx , Fy and Fz are continuous inside a sphere containing the point (a, b, c) , where F(a, b, c) = 0 and Fz(a, b, c) 0 , then the equation F(x, y, z) = 0 implicitly defines z as a function of x and y nearby the point (a, b, c) . |