Implicit-function theorem on the cone in a neighborhood of an irregular point (Q2508721)

This article deals with the implicit functions \(y = y(x) \;(y(x_0) = y_0) \) defined by the equation \[ F(x,y) = 0, \quad x \in X, \;y \in K. \] It is assumed that \(F: X \times Y \to Z\), \(X\) is a topological space, \(Y\) and \(Z\) are Banach spaces, \(K \subset Y\) is a closed convex cone, \(F(x_0,y_0) = 0\). The author considers the degenerate case when the Robinson regularity condition \(\frac{\partial F}{\partial y}(x_0,y_0)({\mathcal K}) = Z\) (with \({\mathcal K} = K + \text{Lin}\{y_0\}\)) is not satisfied, however, there exists a \(h \in {\mathcal K}\) such that \(\frac{\partial F}{\partial y}(x_0,y_0)h = 0\), \(- \frac{\partial^2 F}{\partial y^2}(x_0,y_0)h^2 \in \text{rint}\,\frac{\partial F}{\partial y}(x_0,y_0)({\mathcal K})\), and the mapping \(F\) is \(2\)-regular at a point \((x_0,y_0)\), so that with respect to \(K\) along the direction \(h\) holds: \[ \text{Lin}\biggl(\frac{\partial F}{\partial y}(x_0,y_0)({\mathcal K})\biggr) + \frac{\partial^2 F}{\partial y^2}(x_0,y_0)\biggl[h,{\mathcal K} \cap \text{Ker} \, \frac{\partial F}{\partial y}(x_0,y_0)\biggr] = Z. \] In this case, the author proves the existence of the implicit function \(y = y(x)\) having some special behavior as \(x \to x_0\). The case when \(\frac{\partial F}{\partial y}(x_0,y_0)({\mathcal K})\) is subspace is considered separately. The implicit function defined by the equation \[ F(x,y) = z, \quad x \in X, \;y \in K, \;F(x_0,y_0) = z_0 \] is also studied. The results are illustrated with a finite-dimensional example.