Lemma 6.13 . [02I5]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Lemma 6.13.
Let be the smooth function between Banach spaces and write , where is linear and contains the non-linearities. Assume that there exists constants such that
- (i)
is invertible with ;
- (ii)
for all ;
- (iii)
.
Then there exist a unique with such that .