Let $f:\mathbb{R}^2 \to \mathbb{R}^2$ be a function given by $$f\left(x,y\right)=\left(x-y,xy\right),\,\, \left(x,y\right) \in \mathbb{R}^2$$ Question : What is the inverse of $f$ near the point $\left(2,-3\right)$?
Upon checking the conditions, inverse function theorem gives me the existence of $f^{-1}$, that $f^{-1}$ is $C^1$ under appropriate condition and an explicit form of the derivative of $f^{-1}$. However, I do not understand how to calculate an explicit form of $f^{-1}$ using inverse function theorem.
By direct calculation, I find : $$f^{-1}\left(u,v\right)=\left(\frac{2v}{-u\pm\sqrt{u^2+4v}},\frac{-u\pm\sqrt{u^2+4v}}{2}\right)$$ Two issues : $1$. It appears to be a one-to-two(!) map.
$2$. At the point $\left(2,-3\right)$, both the arguments are complex numbers!
Any help would be much appreciated.
We have that $f(2,-3)=(5,-6)$, hence $f^{-1}(5,-6)=(2,-3)$. Now compute $f^{-1}(5,-6)$ with
$f^{-1}\left(u,v\right)=\left(\frac{2v}{-u\pm\sqrt{u^2+4v}},\frac{u\pm\sqrt{u^2+4v}}{2}\right)$ and you will see which sign $ \pm$ is valid !