# implicit differentiation

Implicit differentiation^{} is a tool used to analyze the solution sets of equations of the form $f(\mathbf{x},\mathbf{y})=0$ that cannot be conveniently put into a form $\mathbf{y}=g(\mathbf{x})$ that explicitly shows the dependence of $\mathbf{y}$ on the variable $\mathbf{x}$. To use implicit differentiation meaningfully, you must be certain that $\mathbf{y}$ is actually a function^{} of $\mathbf{x}$ in a neighborhood^{} of the point $(\mathbf{a},\mathbf{b})$ where you plan to apply the derivative. This means you want to ensure that $f(\mathbf{x},\mathbf{y})$ satisfies the implicit function theorem^{} in that neighborhood ($f$ must be continuously differentiable at $(\mathbf{a},\mathbf{b})$, and its derivative must be non-singular at $(\mathbf{a},\mathbf{b})$). If this is not the case, the quantity you get from naively differentiating both sides of the equation may not represent the derivative. To actually differentiate implicitly, we use the chain rule^{} to differentiate the entire equation.

Example: The first step is to identify the implicit function. Suppose we have simplified an equation to the form ${x}^{2}+{y}^{2}+xy=0$ (Since this is a two dimensional equation, all one has to check is that the graph of $y$ may be an implicit function of $x$ in local neighborhoods.) Then, to differentiate implicitly, we differentiate both sides of the equation with respect to $x$, using the chain rule whenever we encounter $y$, as $y$ is treated as a function of $x$. We will get

$$2x+2y\cdot \frac{dy}{dx}+x\cdot 1\cdot \frac{dy}{dx}+y=0$$ |

Next, we simply solve for our implicit derivative $\frac{dy}{dx}=-\frac{2x+y}{2y+x}$. Note that the derivative depends on both the variable and the implicit function $y$. Most of your derivatives will be functions of one or all the variables, including the implicit function itself.

Title | implicit differentiation |
---|---|

Canonical name | ImplicitDifferentiation |

Date of creation | 2013-03-22 12:28:22 |

Last modified on | 2013-03-22 12:28:22 |

Owner | slider142 (78) |

Last modified by | slider142 (78) |

Numerical id | 8 |

Author | slider142 (78) |

Entry type | Definition |

Classification | msc 26B10 |