High order approximation of implicitly defined maps

Summary Approximations for the function implicitly defined by (u)=(u, (u)) are obtained via the iterative scheme _n(u)=(u, _n–1(u)). In this paper the uniform convergence of high order derivatives of _n to the corresponding derivatives of is proved. This result yields a high order approximation theorem for the input-output map generated by a nonlinear control system, using linear combinations of iterated integrals of the control.Lavoro eseguito nell'ambito del G.N.A.F.A. del C.N.R.