my-server
← Wiki

Implicit differentiation

In calculus, implicit differentiation is a method of finding the derivative of an implicit function using the chain rule. To differentiate an implicit function , defined by an equation , it is generally possible to solve it explicitly for and then differentiate it. Instead, one can totally differentiate with respect to and and then solve the resulting linear equation for , to get the derivative explicitly in terms of and . Even when it is possible to explicitly solve the original equation, the formula resulting from total differentiation is, in general, much simpler and easier to use.

Formulation

If , the derivative of the implicit function is given by

where and indicate the partial derivatives of with respect to and .

The above formula comes from using the generalized chain rule to obtain the total derivative — with respect to — of both sides of :

hence

which, when solved for , gives the expression above.

Examples

Example 1

Consider

This equation is easy to solve for , giving

where the right side is the explicit form of the function . Differentiation then gives .

Alternatively, one can totally differentiate the original equation:

Solving for gives

the same answer as obtained previously.

Example 2

An example of an implicit function for which implicit differentiation is easier than using explicit differentiation is the function defined by the equation

To differentiate this explicitly with respect to , one has first to get

and then differentiate this function. This creates two derivatives: one for and another for .

It is substantially easier to implicitly differentiate the original equation:

giving

Example 3

Often, it is difficult or impossible to solve explicitly for , and implicit differentiation is the only feasible method of differentiation. An example is the equation

It is impossible to algebraically express explicitly as a function of , and therefore one cannot find by explicit differentiation. Using the implicit method, can be obtained by differentiating the equation to obtain

where . Factoring out shows that

which yields the result

which is defined for

References