Deutsch

Im Rahmen dieser Arbeit werden verschiedene Ansätze zur Verbesserung existierender Methoden zum verifizierten Lösen nichtlinearer Gleichungssysteme diskutiert und diverse Ansätze zur Verbesserung dieser Methoden vorgestellt. Die Verlässlichkeit dieser Methoden wird durch die Anwendung der Intervallrechnung gewährleistet.

Besondere Aufmerksamkeit wird auf die Betrachtung erweiterter Systeme gelegt. Diese entstehen, wenn in ein vorgegebenes System zusätzliche Variablen für geeignete Teilterme eingeführt werden.

Es wird ein bekannter Ansatz zur Nutzung erweiterter Systeme innerhalb eines Branch-and-Bound-Verfahrens vorgestellt. Anschließend wird ein neuer, adaptiver Ansatz entwickelt. Dieser adaptive Ansatz erlaubt es, die Vorteile der verschiedenen erweiterten Systeme gezielter und effektiver auszunutzen. Des Weiteren werden detaillierte Überlegungen zur Nutzung des präkonditionierten Intervall-Newton-Verfahrens auf den erweiterten Systemen angestellt.

Obwohl die adaptive Strategie den Titel dieser Arbeit liefert, ist die Diskussion der Techniken für die verlässliche Lösung nichtlinearer Gleichungssysteme durchsetzt mit Überlegungen zu weiteren Verbesserungsmöglichkeiten.

Ein weiterer signifikanter Teil dieser Arbeit ist dem Thema der Verifikationstests gewidmet. Betrachtet werden Methoden zur Verifikation der Existenz und Eindeutigkeit von Lösungen nichtlinearer Gleichungssysteme. Es werden Tests zur Verifikation von Lösungen diskutiert und Modifikationen dieser Tests untersucht. Zudem wird ein Schema zum Einsatz der Verifikationstests für quadratische Systeme angegeben. Für nichtquadratische Systeme wird die Verifikation quadratischer Untersysteme besprochen, insbesondere im Hinblick auf die Fixierung von Variablen für unterbestimmte Systeme.

Die theoretischen Ausführungen werden unterstützt durch numerische Studien im Rahmen des Programms SONIC, in dem die vorgeschlagenen Algorithmen und Strategien umgesetzt und getestet wurden.

English

In particular, the issue of utilizing extended systems is addressed. These systems are obtained from the given system of equations by the introduction of additional variables for suitable subterms.

An existing approach to control the usage of extended systems in an overall branch-and-bound scheme is presented. Subsequently, a new, adaptive strategy is developed. This adaptive strategy allows to exploit the advantages of the different extended systems well-aimed and effectively. We further give detailed considerations concerning the usage of the preconditioned interval Newton method on the extended systems.

Although the adaptive strategy provides the title for this work, the discussion of techniques for the reliable solution of nonlinear systems is interspersed with further deliberations for improvements.

Another significant part of this work is dedicated to the issue of verification tests. These tests can verify the existence and even uniqueness of solutions in a given bounded box. Existing verification methods are discussed and different modifications of the tests are examined. A general scheme to apply verification tests for square systems is given. For non-square systems we discuss the verification of square subsystems and especially possibilities to fix the variables of underdetermined systems.

Our theoretical considerations are supported by numerical studies within the framework of the software SONIC, in which the proposed algorithms and strategies have been implemented and tested.