No label defined (Q4348136)

Let \(F\) be a smooth map from a neighbourhood \(U\) of the origin in a Banach space \(X\) into another \(Y,\) and consider the equation (1) \(F(x)=0.\) The authors are concerned with finding a local family of solutions of (1). They assume that \(X_2=\ker F''(0)\) and \(Y_1= \text{Range } F''(0)\) (which is supposed to be closed) have closed complementing spaces \(X_1\) and \(Y_2\) in \(X\) and \(Y\), respectively. Assuming moreover that the codimension of \(Y_1\) is finite and dist\((F(x),Y_1)\leq \theta \|F(x)\|\) for some \(\theta<1\) and all \(x\in U\) then there exists a unique smooth map \(u\) from a ball \(B\) in \(X_2\) into \(X_1\) such that \(u(0)=0\) and \(F(x_2+u(x_2))=0\) for \(x_2\in B.\) The main tool in the proof is a convenient form of the implicit function theorem. With the aid of this result the authors prove a generalization of a \textit{V. I. Yudovich} theorem from [Mat. Zametki 49, No.~5, 142-148 (1991; Zbl 0747.47010); Engl. translation in Math. Notes 49, No.~5, 540-545 (1991)], relaxing the original assumptions on the codimension of \(Y_1\) and properties of a cosymmetry map ensuring the existence of a family of solutions of (1). For the entire collection see [Zbl 0865.00044].