An implicit function theorem for non-smooth maps between Fréchet spaces

Ivar Ekeland, Eric Séré

We prove an inverse function theorem of Nash-Moser type for maps between Fréchet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, t…