Derivative Convergence forIterative 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 diierentiation. 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 identiication, 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 simpliied 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 results are connrmed by numerical experiments on small test examples.

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

[2]  C. Bischof,et al.  Structured second-and higher-order derivatives through univariate Taylor series , 1993 .

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

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

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

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

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

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

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

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

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

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

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

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

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