1. ## Implicit Function Theorem

I have an idea on this one, tell me what you guys think.

(1) Find conditions on the function f which will allow you to solve the equation f(f(x,y),y) = 0 for y as a function of x near (0,0).

I think all that is required of f is that:

(1) f is continuous and differentiable
(2) the partial of f with respect to y is non-zero, which will make the required determinant non-zero for use in the implicit function theorem. This just seems too easy. Any thoughts?

2. Originally Posted by joeyjoejoe
I have an idea on this one, tell me what you guys think.

(1) Find conditions on the function f which will allow you to solve the equation f(f(x,y),y) = 0 for y as a function of x near (0,0).

I think all that is required of f is that:

(1) f is continuous and differentiable
(2) the partial of f with respect to y is non-zero, which will make the required determinant non-zero for use in the implicit function theorem. This just seems too easy. Any thoughts?
Say that $\displaystyle f:\mathbb{R}^2 \to \mathbb{R}$ is a $\displaystyle \mathcal{C}^1$ function. Define $\displaystyle g:\mathbb{R}^2 \to \mathbb{R}$ by $\displaystyle g(x,y) = f(f(x,y),y)$. You are being to ask to find the conditions so that you can solve $\displaystyle g(x,y)=0$ not $\displaystyle f(x,y) = 0$. By the implict function theorem it is sufficient to have $\displaystyle \tfrac{\partial g}{\partial y} \not = 0$ at $\displaystyle (0,0)$. Now notice that $\displaystyle g(x,y) = f(u(x,y),v(x,y))$ where $\displaystyle u(x,y) = f(x,y)$ and $\displaystyle v(x,y) = y$. By the chain rule this means $\displaystyle \tfrac{\partial g}{\partial y} = \tfrac{\partial f}{\partial u}\cdot \tfrac{\partial u}{\partial y} + \tfrac{\partial f}{\partial v}\cdot \tfrac{\partial v}{\partial y}$. Therefore, $\displaystyle \tfrac{\partial g}{\partial y} = f_1 (f(x,y),y)\cdot f_1(x,y) + f_2(f(x,y),y)$. At $\displaystyle (0,0)$ this tells us $\displaystyle g_y(x,y) = f_1(f(0,0),0)\cdot f_1(0,0) + f_2(f(0,0),0)\cdot f_2(f(0,0),0)\not = 0$. Where $\displaystyle f_1$ is the partial derivative to the first component and $\displaystyle f_2$ is the partial derivative to the second component.