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

Abstract

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, that is, we do not use quadratic convergence to overcome the lack of derivatives. In fact, our theorem holds when the map to be inverted is not C^2