Implicit function theorem

Implicit funtion theorem states that if F(x_0,y_0)=0, F_y(x_0,y_0)\neq 0 (or nonsingular), then near (x_0,y_0) we can uniquely solve y=f(x) from the equation F(x,y)=0. Moreover smoothness of F determines smoothness of f. Usually at least F is C^1.

A deep result is that in order to solve a continuous y(x) it’s enough that F is everywhere differentiable (see Tao’s post), which reminds one an other deep result called invariance of domain (there is a similar result that we may call “invariance of Borel set”, see this SE post. But it does not require the same dimension).

Now let’s focus on y(x). Assume that y(x) is defined implicitly (sometimes we intentionally make it implicit) by F(x,y)=0, differentiate the equation we get F_x(x,y)+F_y(x,y)y'=0. Note that we are not losing much information because any solution (x,y(x)) stays in a level set of F(x,y). But now y'=-F_x(x,y)/F_y(x,y) which is a reasonable ODE with initial data y(x_0)=y_0.

For some problems this has given us a desired formula for y':

Example 1: y=f^{m/n}, y^n=f^m, ny^{n-1}y'=mf^{m-1}f', y'=m/n f^{m/n -1}f'

Example 2: y=\sqrt{1-x^2}, x^2+y^2=1, 2x+2yy'=0, y'=-x/y

Example 3: y=f^{-1}, f(y)=x, f'(y)y'=1, y'=1/f'(y)

Example 4: y=f/g, yg=f, y'g+yg'=f', y'=(f'-yg')/g=(f'g-fg')/g^2

Implict funtion theorem is substantially used in differentiable manifolds, method of characteristics for first order nonlinear PDE’s.

Implicit funtion theorem can even be generalized to infinite dimension, which is called Nash-Moser theorem. Literally, the proof implementes Nash-Moser iteration scheme.

This entry was posted in Analysis. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s