Erreichbarkeitsmengen numerischer Iterations Schemata : ein Systemhalbgruppenansatz

We investigate iterative numerical algorithms with shifts as nonlinear discrete-time control systems. Our approach is based on the interpretation of reachable sets as orbits of the system semigroup. In the first part we develop tools for the systematic analysis of the structure of reachable sets of general invertible discrete-time control systems. Therefore we merge classical concepts, such as geometric control theory, semigroup actions and semialgebraic geometry. Moreover, we introduce new concepts such as right divisible systems and the repelling phenomenon. In the second part we apply the semigroup approach to the investigation of concrete numerical iteration schemes. We extend the known results about the reachable sets of classical inverse iteration. Moreover, we investigate the structure of reachable sets and systemgroup orbits of inverse iteration on flag manifolds and Hessenberg varieties, rational iteration schemes, Richardson's method and linear control schemes. In particular we obtain necessary and sufficient conditions for controllability and the appearance of repelling phenomena. Furthermore, a new algorithm for solving linear equations (LQRES) is derived.Iterative numerische Algorithmen können als zeitdiskrete Systeme betrachtet werden. In dieser Arbeit werden Methoden der nichtlinearen Kontrolltheorie benutzt um iterative numerische Algorithmen zu analysieren. Hierzu wird ein Ansatz verfolgt der darauf basiert, dass Erreichbarkeitsmengen als Halbgruppenorbits interpretiert werden können. Im ersten Teil der Arbeit werden Werkzeuge zur systematischen Analyse von Erreichbarkeitsmengen allgemeiner nichtlinearer Kontrollsystme entwickelt. Dazu werden klassische Konzepte, wie geometrische Kontrolltheorie, Halbgruppenaktionen und semialgebraische Geometrie zusammengeführt. Desweiteren werden neue Konzepte, wie rechtszerlegbare Systeme und Abstoßungsphänomene, eingeführt. Im zweiten Teil der Arbeit werden diese Werkzeuge und dabei insbesondere der Halbgruppenansatz zur Untersuchung konkreter numerischer Algorithmen angewandt. Bekannte Ergebnisse über die Erreichbarkeitsmengen der klassischen inversen Iteration werden erweitert. Die Ergebnisse werden auf inverse Iteration auf Fahnenmannigfaltigkeiten und auf Hessenbergvarietäten erweitert. Untersucht wird zudem die Struktur der Erreichbarkeitsmengen der rationalen Iteration, der Richardsonmethode und von linearen Kontrollsystemen. Insbesondere werden notwendige sowie hinreichende Kriterien sowohl für Kontrollierbarkeit als auch für das Auftreten von Abstoßungsphänomenen bewiesen. Außerdem wird ein neuer Algorithmus zum Lösen linearer Gleichungssysteme vorgestellt