I need to solve the following optimization problem

$$\begin{align*} & \mathrm{Min}:\quad f(x_1,x_2)=x_1-10x_2\\ & \mathrm{subject \ to}: \quad x_1^2 -x_2 \geq 0\\ & \qquad \qquad \qquad x_1^2x_2^2 \leq 1 \end{align*}$$

So first I tried to find all Karush-Kuhn-Tucker points. To do that, I wrote

$$\nabla f + u_1\nabla g_1 + u_2\nabla g_2$$ where $g_1= -x_1^2 +x_2$ and $g_2=x_1^2x_2^2-1$ ($u_i \geq 0$ for the minimization problem, and $u_i \leq 0$ for the maximization problem), and the ortogonality conditions

$$u_ig_i =0$$ for $i=1,2$. Now, assume that $u_1 \neq 0$. Then $g_1 =0$. If $u_2=0$, then

$$\nabla f + u_1 \nabla g_1=0$$ that is,

$$\begin{align*} 1-2u_1x_1 &=0 &-10 +u_1& =0 \end{align*}$$ So $u_1 =10$ and I get the potin $P_1=(1/20,1/400)$. Continuing the process and assuming now that $u_2 \neq 0$ I get the points $P_2=(-1,1)$ and $P_3=(1,1)$.

Now I should consider the case where $u_1=0$ and $u_2 \neq 0$, but I'm having troubles in finding any points, so any help with that would be appreciate.

Leaving that question apart, now I need to check wether one of this points is a global minimum or not. Using the Hessian test, $f$ and $g_1$ are convex at $P_1, P_2$ and $P_3$, so $f$ is pseudo convex and $g_1$ is cuasiconvex, but $g_2$ is not convex at $P_2$ and $P_3$ since it has negative eigenvalues.

The question now is how should I conclude the question? From the fact that $g_2$ is not convex I can't say anything about the cuasiconvexity of $g_2$ at any point. Furtheremore, WolframAlpha says that $P_2$ and $P_3$ are local minima, and says nothing about $P_1$. Why is that?

Any help with thus would be highly appreciate. Thanks in advance!

**Edit:** I think I managed to find a feaseble point when $u_1 = 0$ and $u_2 \neq 0$, which is $P_4 = (-10/ \sqrt{10}, 1/ \sqrt{10})$, but the problem then is to check wether this points are global minima,local minima, etc. For the points $P_2$ and $P_3$ the Hessian matrix of both $g_1$ and $g_2$ is positive semidefinite and hence, $g_1$ and $g_2$ are convex at $P_1, P_2$. Since convexity implies quasiconvexity, $g_1$ and $g_2$ are quasiconvex at $P_1, P_2$.

Now, for $P_1$ and $P_4$, the Hessian matrix of $g_2$ is indefinite, so $g_2$ is not convex at this points. Can I say something about quasiconvexity?

Finally, I have fhe following theorem in my notes:

Let $x$ be a Karush-Kuhn-Tucker point, $f$ pseudoconvex at $x$ and $\{g_i\}$ quasiconvex at $x$. Then $x$ is a global minimun. ($g_i$ diferentiable)

But according to this theorem, shouldn't be both $P_2$ and $P_3$ global minimun? (Which can't be true since $f(P_2) \lt f(P_1)$) This confuses me even more...