A note on the Nash-Moser implicit function theorem (Q1120788)

An elegant proof of the Nash-Moser implicit function theorem in Banach scales, based on Newton's method, is given: Let \(\{X_ i\}\), \(\{Y_ i\}\) and \(\{Z_ i\}\) \((0\leq i<m\), 11\(\leq m\leq \infty)\) be three discrete Banach scales. Suppose \(\{X_ i\}\) is tame and let F: \(X_ 1(R)\cap X_ k\times Y_ 1(r)\cap Y_ k\to Z_{k-1}\) (X(R) denotes an R-ball in X etc.) be a continuous function with a right-invertible Fréchet derivative \(F'_ X\). Under certain conditions on the growth of \(F'_ X\), there are \(k\geq 10\) and \((k+2)/3\leq \ell <k-1\) such that for any \(r_ k>0\) there are \(r_ 1\), \(R_{\ell}>0\) and a continuous function G from \(Y_ 1(r_ 1)\cap Y_ k(r_ k)\) into \(X_ 1(R)\cap X_{\ell}(R_{\ell})\) such that \(F(G(y),y)=0\) for all y and \(G(0)=0\).