LET P BE a nonlinear operator mapping the Banach space X into the Banach space Y. There are many approaches to studying solvability of the equation Px = y for y E Y, a considerable number of which involve local or infinitesimal assumptions on the operator P. This is due in part to the fact that P frequently arises from a differential or integral operator which has monotonicity or smoothness properties for which local apriori estimates are readily obtainable. In this paper we derive mapping theorems for operators P satisfying two different kinds of local assumptions: differentiability assumptions and monotonicity assumptions. Our approach in the former case relies on an abstract Newton-Kantorovich scheme which was pioneered by M. Altman (see, for example, [l]) and further developed in [19]; in the latter case we extend some results of F. E. Browder using a combination of both new and standard techniques. In each case our basic technique involves an application of a new version of Ekeland’s Theorem, which we derive from a fundamental maximal principle of H. Brezis and F. E. Browder. In Section 2 of this paper we derive our new version of Ekeland’s Theorem and in Section 3 apply this result to nonlinear operators. Using different (and, by now, standard) techniques we prove a domain invariance result in Section 4 needed for our result an accretive operators.
Read full abstract