Abstract
Qi [12] has given a theorem which guarantees the existence and uniqueness of a zero x* of a function f : Rn → Rn in a bounded closed rectangular convex set [x] ⊂ Rn under more general sufficient conditions than those described by Moore [9] and has defined an operator (the so-called second-derivative operator) together with a test, involving the second-derivative operator, for the existence but not the uniqueness of a zero x* of f in [x].
The present paper has three purposes: (i) to establish sufficient conditions for the uniqueness of x* involving the second-derivative operator; (ii) to show that under the hypotheses for the convergence of sequences generated from Newton's method given in [15] a set [x] exists which satisfies the sufficient conditions in (i); (iii) to show how the second-derivative operator can be used in a manner similar to that which has been done with the Krawczyk operator in [4].
Similar content being viewed by others
References
Alefeld, G.: Componentwise Inclusion and Exclusion Sets for Solutions of Quadratic Equations in Finite-Dimensional Spaces, Numer. Math. 48 (1986), pp. 391–416.
Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, London, 1983.
Alefeld, G. and Platzöder, L.: A Quadratically Convergent Krawczyk-Like Algorithm, SIAM J. Numer. Anal. 20 (1983), pp. 210–219.
Alefeld, G., Gienger, A., and Potra, F.: Efficient Numerical Validation of Solutions of Nonlinear Systems, SIAM J. Numer. Anal. 31 (1994), pp. 252–260.
Ellis, T. M. R., Philips, I. R., and Lahey, T. M.: Fortran 90 Programming, Addison-Wesley, Wokingham, 1994.
Griewank, A. and Corliss, G. F. (eds): Automatic Differentiation of Algorithms: Theory, Implementation, and Application, in: Proceedings of the First SIAM Workshop on Automatic Differentiation, SIAM, 1991.
Hammer, R., Hocks, M., Kulisch, U., and Ratz, D.: Numerical Toolbox for Verified Computing I, Springer-Verlag, Berlin, Heidelberg, 1993.
Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ullrich, Ch.: PASCAL-XSC Language Reference with Examples, Springer-Verlag, New York, 1992.
Moore, R. E.: A Test for Existence of Solutions to Nonlinear Systems, SIAM J. Numer. Anal. 14 (1977), pp. 611–615.
Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990.
Ortega, J. M. and Rheinboldt, W. C.: Iterative Solution of Systems of Nonlinear Algebraic Equations, Academic Press, London, 1970.
Qi, L.: A Note on the Moore Test for Nonlinear Systems, SIAM J. Numer. Anal. 19 (1982), pp. 851–857.
Shen, Z. and Neumaier, A.: A NOTE on Moore's Interval Test for Zeros of Nonlinear Systems, Computing 40 (1988), pp. 85–90.
Schwandt, H.: Accelerating Krawczyk-Like Interval Algorithms for the Solution of Nonlinear Systems of Equations by Using Second Derivatives, Computing 35 (1985), pp. 355–367.
Yamamoto, T.: Error Bounds for Newton's Iterates Derived from the Kantorovich Theorem, Numer. Math. 48 (1986), pp. 91–98.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wolfe, M.A. On a Second Derivative Test due to Qi. Reliable Computing 4, 223–234 (1998). https://doi.org/10.1023/A:1009999328341
Issue Date:
DOI: https://doi.org/10.1023/A:1009999328341