Really the TRUE definition of an implicit function

calculusderivativesimplicit functionimplicit-differentiation

First of all I would like to say that I have already found similar questions on stack exchange but somehow my confusion regarding the definition of an implicit function still linger.

The title says it all, but here's the question: what is really the TRUE definition of an implicit function?

I've scoured the internet and books for definitions and what I've found is that the word implicit function is used/defined in two ways:

  1. An implicit function is an equation involving two variables (e.g., x and y) that is possible to solve for y
    in terms of x but is sometimes hard/messy/impractical. An example of an implicit function using this definition is $x^2+y^2=1$. (some sources: MITx, statisticshowto)

  2. Given a relation of the form $f(x,y,)=g(x,y)$ where $f$ and $g$ are functions, an implicit function is any function we get by taking the relation f(x,y,)=g(x,y) and solving for y. An example of an implicit function using this definition would be: $y=+\sqrt{(1-x^2)}$ and $y=-\sqrt{(1-x^2)}$ from the relation $x^2+y^2=1$. The functions $y=+\sqrt{(1-x^2)}$ and $y=-\sqrt{(1-x^2)}$ are also called the implicit function of the relation $x^2+y^2=1$. Some implicit functions from a relation can also be impractical/hard/messy to find. (Source:dartmouthpdf, definition clipped from dartmouth pdf).

This is my confusion: on one hand, definition 1. says that an implicit function is the equation $x^2+y^2=1$. On the other hand, definition 2. says that an implicit function is the function that we get by isolating y from a relation of the form $f(x,y)=g(x,y)$ where $f$ and $g$ are functions (e.g., $y=+\sqrt{(1-x^2)}$ and $y=-\sqrt{(1-x^2)}$ from the relation $x^2+y^2=1$)

On one hand, some resources refer to the $x^2+y^2=1$ as the implicit function. On the other, some refer to $x^2+y^2=1$ as a relation which has two implicit functions: $y=+\sqrt{(1-x^2)}$ and $y=-\sqrt{(1-x^2)}$.

Thank you for reading my question.

Best Answer

The "true" definition of an "implicit function" is that it's shorthand for the idea of an implicit definition of a function.

All of your sources approach the right idea but express it in poor language. "Implicit" and "explicit" are properties of the definition of the function, not the function itself. The more precise language is to say that a function is implicitly defined. Calling something an implicit function is really shorthand for saying that the function is implicitly defined. Calling an equation an implicit function is particularly sloppy nomenclature: an equation can be used to define a function, but it is not itself a function, implicit or otherwise! The correct nomenclature is that an equation can provide a definition of a function, and that definition is either implicit or explicit.

Let's stick to 1 variable for simplicity. A function $f$ of one variable is implicitly defined if it is defined through a relationship between the values $f(x)$ and $x$, but that relationship need not directly give an equality between $f(x)$ and some other already known function of $x$. A common way where $f$ is implicitly defined is if $f(x)$ is defined through another function $g$ of two variables, e.g. $g(x,f(x)) = 0$. As an example, let's take $g(x,y) = x^2 + y^3$. Then the equation $g(x,f(x)) = 0$ reads $$ x^2 + (f(x))^3 = 0. $$ This equation doesn't immediately tell you how to obtain the values of $f(x)$. It instead relates the values of a function of $f(x)$ to another function of $x$. Now, in this case I have chosen $g$ specifically so that you can solve for $f(x)$: $$ f(x) = -x^{2/3}. $$ This expression provides an explicit definition of $f$ as a function of $x$. If I have $x$, I can plug it directly into this expression to get $f(x)$ without doing any further manipulation: that's what makes it explicit. The earlier expression $x^2 + (f(x))^3 = 0$ does not constitute an explicit definition of $f(x)$ because instead of telling you directly what $f(x)$ is, it tells you indirectly by describing how $f(x)$ relates to other functions of $x$. Therefore we say that it constitutes an implicit definition instead.

Of course, the expression $f(x) = -x^{2/3}$ is also abstractly just a relationship between $f(x)$ and $x$ (albeit a very straightforward one), so you could also say that this expression constitutes an implicit definition of $f$ as a function of $x$. It just happens to also constitute an explicit definition as well. An explicit definition of $f$ is also trivially an implicit one, but not all implicit definitions are explicit.

So in the context of your examples, here's the more precise terminology. An expression of the form $F(x,y) = 0$ (which includes $f(x,y) = g(x,y)$) gives an implicit definition of $x$ as a function of $y$, or $y$ as a function of $x$, assuming that you can indeed solve those equations for unique solutions. The earlier example with $g(x,y) = x^2 + y^3$ is a case in point. Declaring that $(x,y)$ satisfies $$ x^2 + y^3 = 0 $$ constitutes an implicit definition of $y$ as a function of $x$, which you can solve to obtain the explicit definition $y(x) = -x^{2/3}$. It also constitutes an implicit definition of $x$ as a function of $y$. However, in this case we run into two technicalities:

  1. Due to the square root, if we try to write $x$ as an explicit function of $y$, we actually end up with two functions: $x(y) = \pm\sqrt{y^3}$. That is, the implicit definition $x^2 + y^3 = 0$ fails to uniquely define $x$ as a function of $y$.
  2. Regardless of which version of $x(y)$ we choose, we need to restrict the domain to $y\geq 0$ (assuming we wish to avoid complex numbers).

As we can see here, there can be a few exceptional scenarios when converting an implicit definition of a function to an explicit one. (Edit: the implicit function theorem mentioned in the other answers is basically formulated to let us identify and address these exceptional scenarios.)

In practice, we use the terms "explicit function" and "implicit function" with the above understanding, as this is shorter to write and say.

Related Question