Titel: Verification methods for dense and sparse systems of equations
Sprache: Englisch
Autor/Autorin: Rump, Siegfried M.
Erscheinungsdatum: 1994
Quellenangabe: J. Herzberger, ed., Topics in validated computations, pp. 63-136, 1994
Zusammenfassung (englisch): In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the methods described have been developed by the author. Other methods are mentioned, but is is not intended to give an overview over existing methods. Many of the results are published in similar form in research papers or books. In this monograph we want to give a concise and compact treatment of some fundamental concepts of the subject. Moreover, many new results are included not being published elsewhere. Among them are the following. A new test for regularity of an interval matrix is given. It is shown that it is significantly better for classes of matrices. Inclusion theorems are formulated for continuous functions not necessarily being differentiable. Some extension of a nonlinear function w.r.t. a point x is used which may be a slope, Jacobian or other. More narrow inclusions and a wider range of applicability (significantly wider input tolerances) are achieved by (i) using slopes rather than Jacobians, (ii) improvement of slopes for transcendental functions, (iii) a two-step approach proving existence in a small and uniqueness in a large interval thus allowing for proving uniqueness in much wider domains and significantly improving the speed, (iv) use of an Einzelschrittverfahren, (v) computing an inclusion of the difference w.r.t. an approximate solution. Methods for problems with parameter dependent input intervals are given yielding inner and outer inclusions. An improvement of the quality of inner inclusions is described. Methods for parametrized sparse nonlinear systems are given for expansion matrix being (i) M-matrix, (ii) symmetric positive definite, (iii) symmetric, (v) general. A fast interval library having been developed at the author's institute is presented being significantly faster compared to existing libraries. A common principle of all presented algorithms is the combination of floating point and interval algorithms. Using this synergism yields powerful algorithms with automatic result verification.
URI: http://tubdok.tub.tuhh.de/handle/11420/327
URN: urn:nbn:de:gbv:830-tubdok-3980
DOI: 10.15480/882.325
Institut: Zuverlässiges Rechnen E-19
Reliable Computing E-19
Dokumenttyp: InBuch (Kapitel / Teil einer Monographie)
Enthalten in den Sammlungen:tub.dok

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Ru94.pdf486,33 kBAdobe PDFMiniaturbild

Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.