Part of a series about

Calculus




Definitions


Integration by








In mathematics, an implicit equation is a relation of the form R(x_{1},..., x_{n}) = 0, where R is a function of several variables (often a polynomial). For example, the implicit equation of the unit circle is x^2 +y^21 = 0.
An implicit function is a function that is defined implicitly by an implicit equation, by associating one of the variables (the value) with the others (the arguments).^{[1]}^{:204–206} Thus, an implicit function for y in the context of the unit circle is defined implicitly by x^2 +[f(x)]^21 = 0.. This implicit equation defines f as a function of x only if 1 ≤ x ≤ 1 and one considers only nonnegative (or nonpositive) values for the values of the function.
The implicit function theorem provides conditions under which a relation defines an implicit function.
Contents

Examples 1

Inverse functions 1.1

Algebraic functions 1.2

Caveats 2

Implicit differentiation 3

Examples 3.1

General formula for derivative of implicit function 3.2

Implicit function theorem 4

In algebraic geometry 5

In differential equations 6

Applications in economics 7

Marginal rate of substitution 7.1

Marginal rate of technical substitution 7.2

Optimization 7.3

See also 8

References 9
Examples
Inverse functions
A common type of implicit function is an inverse function. If f is a function of x, then the inverse function of f, called f ^{−1}, is the function giving a solution of the equation

y=f(x)
for x in terms of y. This solution is

x = f^{1}(y).
Intuitively, an inverse function is obtained from f by interchanging the roles of the dependent and independent variables. Stated another way, the inverse function gives the solution for x of the equation

R(x,y) = yf(x) = 0. \,
Example
The product log is an implicit function giving the solution for x of the equation y − x e^{x} = 0.
Algebraic functions
An algebraic function is a function that satisfies a polynomial equation whose coefficients are themselves polynomials. For example, an algebraic function in one variable x gives a solution for y of an equation

a_n(x)y^n+a_{n1}(x)y^{n1}+\cdots+a_0(x)=0 \,
where the coefficients a_{i}(x) are polynomial functions of x. Algebraic functions play an important role in mathematical analysis and algebraic geometry. A simple example of an algebraic function is given by the left side of the unit circle equation:

x^2+y^21=0. \,
Solving for y gives an explicit solution:

y=\pm\sqrt{1x^2}. \,
But even without specifying this explicit solution, it is possible to refer to the implicit solution of the unit circle equation.
While explicit solutions can be found for equations that are quadratic, cubic, and quartic in y, the same is not in general true for quintic and higher degree equations, such as

y^5 + 2y^4 7y^3 + 3y^2 6y  x = 0. \,
Nevertheless, one can still refer to the implicit solution y = g(x) involving the multivalued implicit function g.
Caveats
Not every equation R(x, y) = 0 implies a graph of a singlevalued function, the circle equation being one prominent example. Another example is an implicit function given by x − C(y) = 0 where C is a cubic polynomial having a "hump" in its graph. Thus, for an implicit function to be a true (singlevalued) function it might be necessary to use just part of the graph. An implicit function can sometimes be successfully defined as a true function only after "zooming in" on some part of the xaxis and "cutting away" some unwanted function branches. Then an equation expressing y as an implicit function of the other variable(s) can be written.
The defining equation R(x, y) = 0 can also have other pathologies. For example, the equation x = 0 does not imply a function f(x) giving solutions for y at all; it is a vertical line. In order to avoid a problem like this, various constraints are frequently imposed on the allowable sorts of equations or on the domain. The implicit function theorem provides a uniform way of handling these sorts of pathologies.
Implicit differentiation
In calculus, a method called implicit differentiation makes use of the chain rule to differentiate implicitly defined functions.
For differentiating an implicit function y(x), defined by an equation R(x, y) = 0, it is not generally possible to solve it explicitly for y and then differentiate. Instead, one can differentiate R(x, y) with respect to x and y and then solve a linear equation in dy / dx for getting explicitly the derivative in terms of x and y. Even when it is possible to solve explicitly the equation, the resulting formula is, in general, much simpler and easier to use.
Examples
1. Consider for example

y + x + 5 = 0 .
This equation is easy to solve for y, giving

y = x  5 \, ,
where the right side is the explicit form of the function y(x). Differentiation then gives dy/dx = −1. Alternatively, one can totally differentiate the original equation:

\frac{dy}{dx} + \frac{dx}{dx} + \frac{d}{dx}(5) = 0;

\frac{dy}{dx} + 1 = 0.
Solving for dy/dx gives:

\frac{dy}{dx} = 1,
the same answer as obtained previously.
2. An example of an implicit function, for which implicit differentiation is easier than using explicit differentiation, the function y(x) defined by the equation

x^4 + 2y^2 = 8 .
For differentiating this explicitly with respect to x, one has first to get

y(x) = \pm\sqrt{\frac{8  x^4}{2}},
and then differentiate this function. This creates two derivatives: one for y > 0 and another for y < 0.
It is substantially easier to implicitly differentiate the original equation:

4x^3 + 4y\frac{dy}{dx} = 0,
giving

\frac{dy}{dx} = \frac{4x^3}{4y} = \frac{x^3}{y}.
3. Often, it is impossible to solve explicitly for y, and implicit differentiation is the only possible method of differentiation. An example is the equation

y^5y=x.
It is impossible to express y explicitly as a function of x and therefore dy/dx cannot be found by explicit differentiation. Using the implicit method, dy/dx can be obtained by differentiating the equation to obtain

5y^4\frac{dy}{dx}  \frac{dy}{dx} = \frac{dx}{dx}
where dx/dx = 1. Factoring out dy/dx shows that

(5y^4  1)\frac{dy}{dx} = 1
which yields the result

\frac{dy}{dx}=\frac{1}{5y^{4}1},
which is defined for y \ne \pm\frac{1}{\sqrt[4]{5}}.
General formula for derivative of implicit function
If R(x,y)=0, the derivative of the implicit function y(x) is given by^{[2]}^{:§ 11.5}

\frac{dy}{dx} = \frac{\partial R/ \partial x}{\partial R / \partial y} = \frac {R_x}{R_y},
where R_{x} and R_{y} indicate the derivatives of R with respect to x and y.
The above formula comes from using the generalized chain rule to obtain the total derivative—with respect to x—of both sides of R(x, y) = 0:

\frac{\partial R}{\partial x} \frac{dx}{dx} + \frac{\partial R}{\partial y} \frac{dy}{dx} = 0,
and hence

\frac{\partial R}{\partial x} + \frac{\partial R}{\partial y} \frac{dy}{dx} =0.
Implicit function theorem
The unit circle can be defined implicitly as the set of points
(x,y) satisfying
x^2 + y^2=1. Around point
A,
y can be expressed as a function
y(x), specifically
g_1(x)=\sqrt{1x^2}. No such function exists around point
B, where the
tangent space is vertical.
It can be shown that if R(x, y) is given by a smooth submanifold M in R^{2}, and (a, b) is a point of this submanifold such that the tangent space there is not vertical (that is, ∂R/∂y ≠ 0), then M in some small enough neighbourhood of (a, b) is given by a parametrization (x, f(x)) where f is a smooth function.
In less technical language, implicit functions exist and can be differentiated, unless the tangent to the supposed graph would be vertical. In the standard case where we are given an equation

R(x,y) = 0
the condition on R can be checked by means of partial derivatives.^{[2]}^{:§ 11.5}
In algebraic geometry
Consider a relation of the form R(x_{1},..., x_{n}) = 0, where R is a multivariable polynomial. The set of the values of the variables that satisfy this relation is called an implicit curve if n = 2 and an implicit surface if n=3. The implicit equations are the basis of algebraic geometry, whose basic subjects of study are the simultaneous solutions of several implicit equations whose lefthand sides are polynomials. These sets of simultaneous solutions are called affine algebraic sets.
In differential equations
The solutions of differential equations generally appear expressed by an implicit function.^{[3]}
Applications in economics
Marginal rate of substitution
In economics, when the level set R(x, y) = 0 is an indifference curve for the quantities x and y consumed of two goods, the absolute value of the implicit derivative dy/dx is interpreted as the marginal rate of substitution of the two goods: how much more of y one must receive in order to be indifferent to a loss of one unit of x.
Marginal rate of technical substitution
Similarly, sometimes the level set R(L, K) is an isoquant showing various combinations of utilized quantities L of labor and K of physical capital each of which would result in the production of the same given quantity of output of some good. In this case the absolute value of the implicit derivative dK/dL is interpreted as the marginal rate of technical substitution between the two factors of production: how much more capital the firm must use to produce the same amount of output with one less unit of labor.
Optimization
Often in economic theory, some function such as a utility function or a profit function is to be maximized with respect to a choice vector x even though the objective function has not been restricted to any specific functional form. The implicit function theorem guarantees that the firstorder conditions of the optimization define an implicit function for each element of the optimal vector x * of the choice vector x. When profit is being maximized, typically the resulting implicit functions are the labor demand function and the supply functions of various goods. When utility is being maximized, typically the resulting implicit functions are the labor supply function and the demand functions for various goods.
Moreover, the influence of the problem's parameters on x *—the partial derivatives of the implicit function—can be expressed as total derivatives of the system of firstorder conditions found using total differentiation.
See also
References

^ Chiang, Alpha C. (1984). Fundamental Methods of Mathematical Economics (Third ed.). McGrawHill.

^ ^{a} ^{b} Stewart, James (1998). Calculus Concepts And Contexts. Brooks/Cole Publishing Company.

^ Kaplan. Advanced Calculus.



Warner, Frank (1983). Foundations of Differentiable Manifolds and Lie Groups.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.