A note on implicit functions in locally convex spaces (Q1035120): Difference between revisions

The article deals with the operator equation \[ \Phi(\lambda,x) = 0 \] with \(\Phi: \Lambda \times X \to X\), where \(X\) is a Hausdorff locally convex topological vector space with a family of seminorms \(P\) over the field \(\mathbb R\) or \(\mathbb C\), and \(\Lambda\) is an open set in \(\mathbb R\) or \(\mathbb C\). The main result is the existence of a unique implicit function \(x(\lambda)\) provided that the following conditions hold: (a) \(\Phi(\lambda_0,x_0) = 0\) and \(\Phi(\cdot,x_0)\) is continuous at \(\lambda_0\); (b) there exists an operator \(L: \;\Lambda \to {\mathcal L}(X)\) such that \[ p(\Phi(\lambda,x_1) - \Phi(\lambda,x_2) - L(\lambda)(x_1 - x_2)) \leq \sigma(\rho,r)p(x_1 - x_2), \] when \(|\lambda - \lambda_0| \leq \rho\), \(x_1, x_2 \in x_0 + {\mathcal U}(r,q)\) (\({\mathcal U}(r,q) = \{x \in X: \;q(x) \leq \varepsilon\}\), \(q \in P\)) and \(\sigma(\rho,r) \to 0\) as \(\rho,r \to 0\); (c) the operators \(L(\lambda)\) are invertible and the family \(\{L(\lambda)^{-1}: \;\lambda \in \Lambda\}\) is uniformly bounded. This theorem is a modification of the main result from [the reviewer, \textit{J. S. Kolesov} and \textit{M. A. Krasnosel'skiĭ}, Sov.\ Math., Dokl.\ 10, 111--114 (1969); translation from Dokl.\ Akad.\ Nauk SSSR 184, 526--529 (1969; Zbl 0181.42001)]. In the end of the article, the Hammerstein equation \(x = \lambda KFx\) is considered as an example.