Iteration and functional expansions (Q1072038)

In a recent paper on nonlocal expansions necessary and sufficient conditions are given under which \(f^{-1}\) has a generalized power series expansion, when f is an invertible locally Lipschitz map between certain general subsets of a complex Banach space. Here we establish the validity of a conceptually interesting algorithm for obtaining the expansion. Basically, we show that a certain contraction mapping iteration generates iterates \({\mathfrak g}_ 1,{\mathfrak g}_ 2,..\). such that each \({\mathfrak g}_ k\) yields all of the terms of the generalized power series expansion of \(f^{-1}\) up to order \((k+1)\), assuming merely that the expansion of \(f^{-1}\) exists. An earlier different result along related lines is mentioned.