A Fredholm-type result for a couple of nonlinear operators. (Q2761865)

The author considers two real Banach spaces \(X\) and \(Y\), \(T\), \(S: X\to Y\) two general nonlinear operators with \(T\) bijective, \(T^{-1}\) continuous and \(S\) compact. In Theorem 1, which is the main result of this paper, he gives further hypotheses such that \(\lambda T- S\) (with \(\lambda\neq 0\) real) is surjective from \(X\) to \(Y\). The proof makes use of the Leray-Schauder degree. It is shown that in the special case \(X= Y\), \(T\) is the identity on \(X\) and \(S\) is linear and compact. Theorem 1 includes a well-known result in classical Fredholm theory. Sufficient conditions for satisfying the hypotheses in Theorem 1 are given. The author mentions that many applications of Theorem 1 will be given in a further paper and he describes the general framework for some of these applications.