scientific article; zbMATH DE number 1048050

From MaRDI portal
Publication:4348136





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].












This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4348136)