Derivative convergence for iterative equation solvers

When nonlinear equation solvers are applied to parameter-dependent problems, their iterates can be interpreted as functions of these variable parameters. The derivatives (if they exist) of these iterated functions can be recursively evaluated by the forward mode of automatic differentiation. Then one may ask whether and how fast these derivative values converge to the derivative of the implicit solution function, which may be needed for parameter identification, sensitivity studies, or design optimization. It is shown here that derivative convergence is achieved with an R-linear or possibly R-superlinear rate for a large class of memoryless contractions or secant updating methods. For a wider class of multistep contractions, we obtain R-linear convergence of a simplified derivative recurrence, which is more economical and can be easily generalized to higher-order derivatives. We also formulate a constructive criterion for derivative convergence based on the implicit function theorem. All theoretical resul...

[1]  Roger Fletcher,et al.  A Rapidly Convergent Descent Method for Minimization , 1963, Comput. J..

[2]  C. G. Broyden A Class of Methods for Solving Nonlinear Simultaneous Equations , 1965 .

[3]  C. G. Broyden The Convergence of a Class of Double-rank Minimization Algorithms 2. The New Algorithm , 1970 .

[4]  James M. Ortega,et al.  Iterative solution of nonlinear equations in several variables , 2014, Computer science and applied mathematics.

[5]  John E. Dennis,et al.  On the Local and Superlinear Convergence of Quasi-Newton Methods , 1973 .

[6]  J. J. Moré,et al.  Quasi-Newton Methods, Motivation and Theory , 1974 .

[7]  Jorge J. Moré,et al.  User Guide for Minpack-1 , 1980 .

[8]  John E. Dennis,et al.  An Adaptive Nonlinear Least-Squares Algorithm , 1977, TOMS.

[9]  John E. Dennis,et al.  Algorithm 573: NL2SOL—An Adaptive Nonlinear Least-Squares Algorithm [E4] , 1981, TOMS.

[10]  William C. Davidon,et al.  Variable Metric Method for Minimization , 1959, SIAM J. Optim..

[11]  Andreas Griewank,et al.  Automatic Evaluation of First and Higher-Derivative Vectors , 1991 .

[12]  Andreas Griewank,et al.  Automatic Differentiation of Advanced CFD Codes for Multidisciplinary Design , 1992 .

[13]  Andreas Griewank,et al.  ADIFOR - Generating Derivative Codes form Fortran Programs , 1992, Sci. Program..

[14]  G. Charles Automatic differentiation and iterative processes , 1992 .

[15]  B. Christianson Reverse accumulation and attractive fixed points , 1994 .