TY - THES A1 - Kleinsteuber, Martin T1 - Jacobi-type methods on semisimple Lie algebras : a Lie algebraic approach to numerical linear algebra T1 - Jacobi-Verfahren auf halbeinfachen Lie-Algebren N2 - Es wird eine Lie-algebraische Verallgemeinerung sowohl des klassischen als auch des Sortier-Jacobi-Verfahrens für das symmetrische Eigenwertproblem behandelt. Der koordinatenfreie Zugang ermöglicht durch eine neue Betrachtungsweise die Vereinheitlichung strukturierter Eigen- und Singulärwertprobleme, darunter bis dato noch nicht betrachtete Fälle. Für beide Verfahren wird lokal quadratische Konvergenz, sowohl für den regulären als auch für den irregulären Fall, gezeigt. Die Analyse und Verallgemeinerung der sog. speziellen Sweeps für das symmetrische Eigenwertproblem führt zu neuen Sweep-Methoden für strukturierte Eigen- und Singulärwertprobleme, die ein besseres Konvergenzverhalten als die bisher bekannten aufweisen. N2 - A Lie algebraic generalization of the classical and the Sort-Jacobi algorithm for diagonalizing a symmetric matrix has been proposed. The coordinate free setting provides new insights in the nature of Jacobi-type methods and allows a unified treatment of several structured eigenvalue and singular value problems, including so far unstudied normal form problems. Local quadratic convergence has been shown for both types of Jacobi methods with a fully comprehension of the regular and irregular case. New sweep methods have been introduced that generalize the special cyclic sweep for symmetric matrices and ensure local quadratic convergence also for irregular elements. The new sweep methods yield faster convergence behavior than the previously known cyclic schemes. KW - Eigenwert KW - Jacobi-ähnliches Verfahren KW - Jacobi-Eigenwert-Verfahren KW - halbeinfache Lie Algebren KW - strukturierte Normalformprobleme KW - quadratische Konvergenz KW - spezielle Sweep-Methoden KW - Jacobi-type eigenvalue methods KW - semisimple Lie algebras KW - structured normal form problem KW - quadratic convergence KW - special sweeps Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-16454 ER - TY - THES A1 - Flegel, Michael L. T1 - Constraint qualifications and stationarity concepts for mathematical programs with equilibrium constraints T1 - Regularitätsbedingungen und Stationaritätskonzepte für Mathematische Programme mit Gleichgewichtsnebenbedingungen N2 - An exhaustive discussion of constraint qualifications (CQ) and stationarity concepts for mathematical programs with equilibrium constraints (MPEC) is presented. It is demonstrated that all but the weakest CQ, Guignard CQ, are too strong for a discussion of MPECs. Therefore, MPEC variants of all the standard CQs are introduced and investigated. A strongly stationary point (which is simply a KKT-point) is seen to be a necessary first order optimality condition only under the strongest CQs, MPEC-LICQ, MPEC-SMFCQ and Guignard CQ. Therefore a whole set of KKT-type conditions is investigated. A simple approach is given to acquire A-stationarity to be a necessary first order condition under MPEC-Guiganrd CQ. Finally, a whole chapter is devoted to investigating M-stationary, among the strongest stationarity concepts, second only to strong stationarity. It is shown to be a necessary first order condition under MPEC-Guignard CQ, the weakest known CQ for MPECs. KW - Nichtlineare Optimierung KW - MPEC KW - MPCC KW - M-Stationär KW - Guignard CQ KW - MPEC KW - MPCC KW - M-stationarity KW - Guignard CQ Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-12453 ER - TY - THES A1 - Seider, David T1 - Solving an eigenvalue problem in laser simulation T1 - Lösen eines Eigenwertproblems bei der Simulation von Lasern N2 - In this thesis a new and powerful approach for modeling laser cavity eigenmodes is presented. This approach is based on an eigenvalue problem for singularly perturbed partial differential operators with complex coefficients; such operators have not been investigated in detail until now. The eigenvalue problem is discretized by finite elements, and convergence of the approximate solution is proved by using an abstract convergence theory also developed in this dissertation. This theory for the convergence of an approximate solution of a (quadratic) eigenvalue problem, which particularly can be applied to a finite element discretization, is interesting on its own, since the ideas can conceivably be used to handle equations with a more complex nonlinearity. The discretized eigenvalue problem essentially is solved by preconditioned GMRES, where the preconditioner is constructed according to the underlying physics of the problem. The power and correctness of the new approach for computing laser cavity eigenmodes is clearly demonstrated by successfully simulating a variety of different cavity configurations. The thesis is organized as follows: Chapter 1 contains a short overview on solving the so-called Helmholtz equation with the help of finite elements. The main part of Chapter 2 is dedicated to the analysis of a one-dimensional model problem containing the main idea of a new model for laser cavity eigenmodes which is derived in detail in Chapter 3. Chapter 4 comprises a convergence theory for the approximate solution of quadratic eigenvalue problems. In Chapter 5, a stabilized finite element discretization of the new model is described and its convergence is proved by applying the theory of Chapter 4. Chapter 6 contains computational aspects of solving the resulting system of equations and, finally, Chapter 7 presents numerical results for various configurations, demonstrating the practical relevance of our new approach. N2 - In dieser Arbeit wird ein neues und mächtiges Verfahren für die Modellierung von Eigenmoden in Laser-Resonatoren vorgestellt. Dieses Verfahren basiert auf einem Eigenwertproblem für singulär gestörte Differentialoperatoren mit komplexen Koeffizienten; solche Operatoren sind bisher noch nicht detailliert untersucht worden. Das Eigenwertproblem wird mit Finiten Elementen diskretisiert, und die Konvergenz der Finite-Elemente-Lösung wird bewiesen durch Anwendung einer abstrakten Konvergenztheorie, die ebenfalls in dieser Dissertation entwickelt wird. Diese Theorie für die Konvergenz einer Näherungslösung eines (quadratischen) Eigenwertproblems ist für sich allein interessant, da die Beweisideen auch auf Fälle mit einer komplizierteren Nichtlinerität angewendet werden können. Das diskretisierte Eigenwertproblem wird im Wesentlichen mit einem vorkonditionierten GMRES-Verfahren gelöst, wobei der Vorkonditionierer unter Beachtung der dem Problem zugrunde liegenden Physik konstruiert wurde. Die Mächtigkeit und Korrektheit unseres neuen Verfahrens zur Bestimmung von Eigenmoden in Laser-Resonatoren wird klar gezeigt dadurch, dass eine Vielzahl verschiedener Konfigurationen damit erfolgreich gerechnet werden können. Die Dissertation ist wie folgt aufgebaut: Kapitel 1 enthält eine kurzen Überblick über das Lösen der sogenannten Helmholtz-Gleichung mit Hilfe von Finiten Elementen. Der Großteil des Kapitels 2 beschäftigt sich mit der Analyse eines eindimensionalen Modellproblems. Dieses Modellproblem enthält die Hauptidee des neuen Modells für Eigenmoden eines Laser-Resonators, welches in Kapitel 3 entwickelt wird. Kapitel 4 beinhaltet eine Konvergenztheorie für Näherungslösungen von quadratischen Eigenwertproblemen. In Kapitel 5 wird eine stabilisierte Finite-Elemente-Diskretisierung des neuen Modells beschrieben, und dessen Konvergenz mit Hilfe der Theorie aus Kapitel 4 bewiesen. Kapitel 6 beschäftigt sich damit, welche Verfahren aus der numerischen linearen Algebra verwendet werden, um das diskrete Problem zu lösen. Schließlich finden sich zum Nachweis der praktischen Relavanz des Verfahrens in Kapitel 7 numerische Ergebnisse für eine Vielzahl von Konfigurationen. KW - Laser KW - Simulation KW - Eigenwert KW - Lasersimulation KW - Eigenmode KW - singulär gestörtes Problem KW - Finite Elemente KW - Konvergenz bei quadratischem Eigenwertproblem KW - laser simulation KW - eigenmode KW - singularly perturbed problem KW - finite elements KW - convergence for quadratic eigenvalue problems Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-10057 ER - TY - THES A1 - Kraus, Daniela T1 - Conformal pseudo-metrics and some applications T1 - Konforme Pseudo-Metriken und einige Anwendungen N2 - The point of departure for the present work has been the following free boundary value problem for analytic functions $f$ which are defined on a domain $G \subset \mathbb{C}$ and map into the unit disk $\mathbb{D}= \{z \in \mathbb{C} : |z|<1 \}$. Problem 1: Let $z_1, \ldots, z_n$ be finitely many points in a bounded simply connected domain $G \subset \mathbb{C}$. Show that there exists a holomorphic function $f:G \to \mathbb{D}$ with critical points $z_j$ (counted with multiplicities) and no others such that $\lim_{z \to \xi} \frac{|f'(z)|}{1-|f(z)|^2}=1$ for all $\xi \in \partial G$. If $G=\mathbb{D}$, Problem 1 was solved by K?nau [5] in the case of one critical point, and for more than one critical point by Fournier and Ruscheweyh [3]. The method employed by K?nau, Fournier and Ruscheweyh easily extends to more general domains $G$, say bounded by a Dini-smooth Jordan curve, but does not work for arbitrary bounded simply connected domains. In this paper we present a new approach to Problem 1, which shows that this boundary value problem is not an isolated question in complex analysis, but is intimately connected to a number of basic open problems in conformal geometry and non-linear PDE. One of our results is a solution to Problem 1 for arbitrary simply connected domains. However, we shall see that our approach has also some other ramifications, for instance to a well-known problem due to Rellich and Wittich in PDE. Roughly speaking, this paper is broken down into two parts. In a first step we construct a conformal metric in a bounded regular domain $G\subset \mathbb{C}$ with prescribed non-positive Gaussian curvature $k(z)$ and prescribed singularities by solving the first boundary value problem for the Gaussian curvature equation $\Delta u =-k(z) e^{2u}$ in $G$ with prescribed singularities and continuous boundary data. This is related to the Berger-Nirenberg problem in Riemannian geometry, the question which functions on a surface R can arise as the Gaussian curvature of a Riemannian metric on R. The special case, where $k(z)=-4$ and the domain $G$ is bounded by finitely many analytic Jordan curves was treated by Heins [4]. In a second step we show every conformal pseudo-metric on a simply connected domain $G\subseteq \mathbb{C}$ with constant negative Gaussian curvature and isolated zeros of integer order is the pullback of the hyperbolic metric on $\mathbb{D}$ under an analytic map $f:G \to \mathbb{D}$. This extends a theorem of Liouville which deals with the case that the pseudo-metric has no zeros at all. These two steps together allow a complete solution of Problem 1. Contents: Chapter I contains the statement of the main results and connects them with some old and new problems in complex analysis, conformal geometry and PDE: the Uniformization Theorem for Riemann surfaces, the problem of Schwarz-Picard, the Berger-Nirenberg problem, Wittich's problem, etc.. Chapter II and III have preparatory character. In Chapter II we recall some basic results about ordinary differential equations in the complex plane. In our presentation we follow Laine [6], but we have reorganized the material and present a self-contained account of the basic features of Riccati, Schwarzian and second order differential equations. In Chapter III we discuss the first boundary value problem for the Poisson equation. We shall need to consider this problem in the most general situation, which does not seem to be covered in a satisfactory way in the existing literature, see [1,2]. In Chapter IV we turn to a discussion of conformal pseudo-metrics in planar domains. We focus on conformal metrics with prescribed singularities and prescribed non-positive Gaussian curvature. We shall establish the existence of such metrics, that is, we solve the corresponding Gaussian curvature equation by making use of the results of Chapter III. In Chapter V we show that every constantly curved pseudo-metric can be represented as the pullback of either the hyperbolic, the euclidean or the spherical metric under an analytic map. This is proved by using the results of Chapter II. Finally we give in Chapter VI some applications of our results. [1,2] Courant, H., Hilbert, D., Methoden der Mathematischen Physik, Erster/ Zweiter Band, Springer-Verlag, Berlin, 1931/1937. [3] Fournier, R., Ruscheweyh, St., Free boundary value problems for analytic functions in the closed unit disk, Proc. Amer. Math. Soc. (1999), 127 no. 11, 3287-3294. [4] Heins, M., On a class of conformal metrics, Nagoya Math. J. (1962), 21, 1-60. [5] K?nau, R., L?gentreue Randverzerrung bei analytischer Abbildung in hyperbolischer und sph?ischer Geometrie, Mitt. Math. Sem. Giessen (1997), 229, 45-53. [6] Laine, I., Nevanlinna Theory and Complex Differential Equations, de Gruyter, Berlin - New York, 1993. N2 - Der Ausgangspunkt dieser Arbeit war das folgende freie Randwertproblem f? analytische Funktionen $f$, die auf einem Gebiet $G \subset \mathbb{C}$ definiert sind und in den Einheitskreis $\mathbb{D}= \{z \in \mathbb{C} : |z|<1 \}$ abbilden. Problem 1: Es seien $z_1, \ldots, z_n$ endlich viele Punkte in einem beschr?kten einfach zusammenh?genden Gebiet $G \subset \mathbb{C}$. Existiert eine holomorphe Funktion $f:G \to \mathbb{D}$, die genau und nur in $z_j$ kritische Punkte (mit Vielfachheiten gez?lt) besitzt und $\lim_{z \to \xi} \frac{|f'(z)|}{1-|f(z)|^2}=1$ f? alle $\xi \in \partial G$ erf?lt. F? $G=\mathbb{D}$ wurde Problem 1 von K?nau [5] im Fall eines kritischen Punktes gel?t und f? mehr als einen kritischen Punkt von Fournier and Ruscheweyh [3]. Die Methode, die von K?nau, Fournier and Ruscheweyh benutzt wurde, l?st sich auf allgemeinere Gebiete $G$ ?ertragen, aber nicht auf beliebige beschr?kte einfach zusammenh?gende Gebiete. In dieser Arbeit wird ein Zugang zu Problem 1 dargestellt, der das Randwertproblem der Komplexen Analysis mit einer Reihe offener Probleme in der Konformen Geometrie und der Theorie nicht-linearer PDE in Zusammenhang bringt. Insbesondere wird Problem 1 f? beliebige einfach zusammenh?gende Gebiete gel?t. Es wird gezeigt, dass der gew?lte Zugang weitere Verzweigungen aufweist, z.B. zu einem wohlbekannten Problem von Rellich und Wittich in PDE. Die Arbeit besteht aus zwei Hauptteilen. In einem ersten Schritt werden konforme Metriken in einem beschr?kten regul?en Gebiet $G \subset \mathbb{C}$ mit vorgeschriebener nicht-positiver Gau?cher Kr?mung $k(z)$ und vorgeschriebenen Singularit?en konstruiert, indem das erste Randwertproblem f? die Gau?che Kr?mungsgleichung $\Delta u=-k(z) e^{2u}$ in $G$ mit vorgeschriebenen Singularit?en und stetigen Randwerten gel?t wird. Dies steht in Zusammenhang mit dem Berger-Nirenberg Problem, der Frage, welche Funktionen auf einer Riemannschen Fl?he R als Gau?che Kr?mung einer Riemannschen Metrik auf R auftreten k?nen. Der Spezialfall, dass $k(z)=-4$ und das Gebiet $G$ durch endlich viele analytische Jordankurven berandet ist, wurde von Heins [4] gel?t. In einem zweiten Schritt wird gezeigt, dass jede konforme Pseudo-Metrik auf einem einfach zusammenh?genden Gebiet $G \subseteq \mathbb{C}$ mit konstanter negativer Gau?cher Kr?mung und isolierten Nullstellen ganzzahliger Ordnung die Zur?kholung der hyperbolischen Metrik auf $\mathbb{D}$ unter einer holomorphen Funktion $f:G \to \mathbb{D}$ ist. Dies erweitert einen Satz von Liouville, der den Fall einer nullstellenfreien Pseudo-Metrik behandelt. Die beschriebenen zwei Schritte l?en Problem 1 vollst?dig. Inhaltsangabe: Kapitel I enth?t die Ergebnisse der Arbeit und stellt den Zusammenhang mit alten und neuen Problemen in Komplexer Analysis, Konformer Geometrie, und PDE dar: dem Uniformisierungssatz f? Riemannsche Fl?hen, dem Problem von Schwarz-Picard, dem Berger-Nirenberg Problem, Wittichs Problem, etc.. In Kapitel II wird an grundlegende Ergebnisse gew?nlicher Differentialgleichungen in der komplexen Ebene erinnert. Die Darstellung folgt Laine [6]. Das Material ist reorganisiert und enth?t eine Auflistung der wichtigsten Gesichtspunkte von Riccati und Schwarzschen Differentialgleichungen sowie Differentialgleichungen zweiter Ordnung. In Kapitel III wird das erste Randwertproblem f? die Poisson Gleichung diskutiert. Es wird in gr秤ter Allgemeinheit betrachtet, da es scheinbar in der vorhandenen Literatur nicht in einer befriedigenden Weise behandelt wird, siehe [1,2]. In Kapitel IV werden Pseudo-Metriken in ebenen Gebieten diskutiert. Im Mittelpunkt stehen Metriken mit vorgeschriebenen Singularit?en und vorgeschriebener nicht-positiver Gau?cher Kr?mung. Die Existenz solcher Metriken wird mithilfe der Ergebnisse aus Kapitel III bewiesen. In Kapitel V wird gezeigt, dass sich jede Pseudo-Metrik konstanter Kr?mung als Zur?kholung der hyperbolischen, der euklidischen oder der sph?ischen Metrik unter einer analytischen Funktion darstellen l?st. Hierf? werden die Ergebnisse aus Kapitel II herangezogen. Einige Anwendungen der Ergebnisse befinden sich in Kaptil VI. [1,2] Courant, H., Hilbert, D., Methoden der Mathematischen Physik, Erster/ Zweiter Band, Springer-Verlag, Berlin, 1931/1937. [3] Fournier, R., Ruscheweyh, St., Free boundary value problems for analytic functions in the closed unit disk, Proc. Amer. Math. Soc. (1999), 127 no. 11, 3287-3294. [4] Heins, M., On a class of conformal metrics, Nagoya Math. J. (1962), 21, 1-60. [5] K?nau, R., L?gentreue Randverzerrung bei analytischer Abbildung in hyperbolischer und sph?ischer Geometrie, Mitt. Math. Sem. Giessen (1997), 229, 45-53. [6] Laine, I., Nevanlinna Theory and Complex Differential Equations, de Gruyter, Berlin - New York, 1993. KW - Freies Randwertproblem KW - Pseudometrik KW - konforme Pseudo-Metriken KW - freies Randwertproblem KW - Darstellung vonPseudo-Metriken KW - Poisson Gleichung KW - erstes Randwertproblem in PDE KW - conformal pseudo-metrics KW - representation of pseudo-metrics KW - Poisson equation KW - first boundary value problem in PDE Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-9193 ER - TY - THES A1 - Trumpf, Jochen T1 - On the geometry and parametrization of almost invariant subspaces and observer theory T1 - Über die Geometrie und Parametrisierung von fast invarianten Unterräumen und Beobachtertheorie N2 - In my Ph.D. thesis "On the geometry and parametrization of almost invariant subspaces and observer theory" I consider the set of almost conditioned invariant subspaces of fixed dimension for a given fixed linear finite-dimensional time-invariant observable control system in state space form. Almost conditioned invariant subspaces were introduced by Willems. They generalize the concept of a conditioned invariant subspace requiring the invariance condition to hold only up to an arbitrarily small deviation in the metric of the state space. One of the goals of the theory of almost conditioned invariant subspaces was to identify the subspaces appearing as limits of sequences of conditioned invariant subspaces. An example due to {\"O}zveren, Verghese and Willsky, however, shows that the set of almost conditioned invariant subspaces is not big enough. I address this question in a joint paper with Helmke and Fuhrmann (Towards a compactification of the set of conditioned invariant subspaces, Systems and Control Letters, 48(2):101-111, 2003). Antoulas derived a description of conditioned invariant subspaces as kernels of permuted and truncated reachability matrices of controllable pairs of the appropriate size. This description was used by Helmke and Fuhrmann to construct a diffeomorphism from the set of similarity classes of certain controllable pairs onto the set of tight conditioned invariant subspaces. In my thesis I generalize this result to almost conditioned invariant subspaces describing them in terms of restricted system equivalence classes of controllable triples. Furthermore, I identify the controllable pairs appearing in the kernel representations of conditioned invariant subspaces as being induced by corestrictions of the original system to the subspace. Conditioned invariant subspaces are known to be closely related to partial observers. In fact, a tracking observer for a linear function of the state of the observed system exists if and only if the kernel of that function is conditioned invariant. In my thesis I show that the system matrices of the observers are in fact the corestrictions of the observed system to the kernels of the observed functions. They in turn are closely related to partial realizations. Exploring this connection further, I prove that the set of tracking observer parameters of fixed size, i.e. tracking observers of fixed order together with the functions they are tracking, is a smooth manifold. Furthermore, I construct a vector bundle structure for the set of conditioned invariant subspaces of fixed dimension together with their friends, i.e. the output injections making the subspaces invariant, over that manifold. Willems and Trentelman generalized the concept of a tracking observer by including derivatives of the output of the observed system in the observer equations (PID-observers). They showed that a PID-observer for a linear function of the state of the observed system exists if and only if the kernel of that function is almost conditioned invariant. In my thesis I replace PID-observers by singular systems, which has the advantage that the system matrices of the observers coincide with the matrices appearing in the kernel representations of the subspaces. In a second approach to the parametrization of conditioned invariant subspaces Hinrichsen, M{\"u}nzner and Pr{\"a}tzel-Wolters, Fuhrmann and Helmke and Ferrer, F. Puerta, X. Puerta and Zaballa derived a description of conditioned invariant subspaces in terms of images of block Toeplitz type matrices. They used this description to construct a stratification of the set of conditioned invariant subspaces of fixed dimension into smooth manifolds. These so called Brunovsky strata consist of all the subspaces with fixed restriction indices. They constructed a cell decomposition of the Brunovsky strata into so called Kronecker cells. In my thesis I show that in the tight case this cell decomposition is induced by a Bruhat decomposition of a generalized flag manifold. I identify the adherence order of the cell decomposition as being induced by the reverse Bruhat order. N2 - In meiner Doktorarbeit "On the geometry and parametrization of almost invariant subspaces and observer theory" betrachte ich die Menge der fast (C,A)-invarianten Unterräume fester Dimension zu einem vorgegebenen linearen endlichdimensionalen zeitinvarianten beobachtbaren Kontrollsystem in Zustandsraumdarstellung. Der Begriff der fast (C,A)-invarianten Unterräume geht auf Willems zurück. Er verallgemeinert das Konzept eines (C,A)-invarianten Unterraums dahingehend, daß die Invarianzeigenschaft nur bis auf eine beliebig kleine Abweichung in der Metrik des Zustandsraumes erfüllt sein muß. Eines der Ziele der Theorie der fast (C,A)-invarianten Unterräume war es, diejenigen Unterräume zu charakterisieren, die als Grenzwerte von Folgen (C,A)-invarianter Unterräume auftreten. Özveren, Verghese und Willsky haben jedoch ein Beispiel angegeben, das zeigt, daß die Menge der fast (C,A)-invarianten Unterräume hierfür nicht groß genug ist. Auf diese Problematik gehe ich in einer gemeinsamen Arbeit mit U. Helmke und P.A. Fuhrmann (Towards a compactification of the set of conditioned invariant subspaces, Systems and Control Letters, 48(2):101-111, 2003) ein, die nicht Teil meiner Dissertation ist. Antoulas hat eine Beschreibung von (C,A)-invarianten Unterräumen als Kerne von permutierten und abgeschnittenen Erreichbarkeitsmatrizen geeigneter Größe angegeben. Diese Beschreibung benutzen Fuhrmann und Helmke um einen Diffeomorphismus von der Menge der Ähnlichkeitsklassen bestimmter kontrollierbarer Matrizenpaare auf die Menge der "tight" (C,A)-invarianten Unterräume zu konstruieren. In meiner Dissertation verallgemeinere ich dieses Resultat auf fast (C,A)-invariante Unterräume, indem ich sie mit Hilfe von "restricted system equivalence"-Klassen kontrollierbarer Matrizentripel darstelle. Darüberhinaus identifiziere ich die kontrollierbaren Matrizenpaare, die in der Kerndarstellung (C,A)-invarianter Unterräume auftreten, als Korestriktionen des ursprünglichen Systems auf den jeweiligen Unterraum. Es besteht eine enge Verbindung zwischen (C,A)-invarianten Unterräumen und partiellen Beobachtern. In der Tat existiert ein "tracking" Beobachter für eine lineare Funktion des Zustandes des beobachteten Systems genau dann, wenn der Kern dieser Funktion (C,A)-invariant ist. In meiner Dissertation zeige ich, daß die Systemmatrizen der Beobachter mit den Korestriktionen des beobachteten Systems auf die Kerne der beobachteten Funktionen übereinstimmen. Diese wiederum stehen in enger Beziehung zu partiellen Realisierungen. Weiter beweise ich, daß die Menge der "tracking" Beobachter-Parameter fester Größe, das heißt der "tracking" Beobachter fester Ordnung zusammen mit den beobachteten Funktionen, eine glatte Mannigfaltigkeitsstruktur trägt. Ich konstruiere eine Vektorbündelstruktur auf der Menge der (C,A)-invarianten Unterräume fester Dimension zusammen mit ihren "Freunden", das heißt den "output injections", welche den jeweiligen Unterraum invariant machen, wobei die Beobachtermannigfaltigkeit als Basisraum dient. Willems und Trentelman haben das Konzept eines "tracking" Beobachter verallgemeinert, indem sie auch Ableitungen des Ausgangs des beobachteten Systems in die Beobachtergleichungen aufnahmen (PID-Beobachter). Sie haben gezeigt, daß ein PID-Beobachter für eine lineare Funktion des Zustands des beobachteten Systems genau dann existiert, wenn der Kern dieser Funktion fast (C,A)-invariant ist. In meiner Dissertation ersetze ich die PID-Beobachter durch singuläre Systeme, was den Vorteil hat, daß die Systemmatrizen des Beobachters mit den Matrizen übereinstimmen, die in der Kerndarstellung des Unterraums auftauchen. (C,A)-invariante Unterräume lassen sich auch als Bildräume von Block-Toeplitz-Matrizen beschreiben. Hinrichsen, Münzner und Prätzel-Wolters, Fuhrmann und Helmke, und Ferrer, F. Puerta, X. Puerta und Zaballa benutzen diesen Zugang, um eine Stratifizierung der Menge der (C,A)-invarianten Unterräume fester Dimension in glatte Mannigfaltigkeiten zu konstruieren. Diese sogenannten Brunovsky-Strata bestehen aus all den Unterräumen, für die die Einschränkung des Systems auf den Unterraum jeweils vorgegebene Beobachtbarkeitsindizes hat. Obige Autoren konstruieren auch eine Zellzerlegung der Brunovsky-Strata in sogenannte Kronecker-Zellen. In meiner Dissertation zeige ich, daß im "tight" Fall diese Zellzerlegung von einer Bruhat-Zerlegung einer verallgemeinerten Fahnenmannigfaltigkeit induziert wird. Ich identifiziere die Adhärenzordnung der Zellzerlegung als inverse Bruhat-Ordnung. KW - Invarianter Unterraum KW - Kontrollsystem KW - geometrische Kontrolltheorie KW - Parametrisierung KW - Unterräume KW - Beobachter KW - geometric control KW - parametrization KW - subspaces KW - observer Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-5034 ER - TY - THES A1 - Bletz-Siebert, Oliver T1 - Homogeneous spaces with the cohomology of sphere products and compact quadrangles T1 - Homogene Räume mit der Kohomologie von Sphärenprodukten und kompakte Vierecke N2 - We consider homogeneous spaces G/H with the same rational homotopy as a product of a 1-sphere and a (m+1)-sphere. We show that these spaces have also the rational cohomology of such a sphere product if H is connected and if the quotient has dimension m+2. Furthermore, we prove that if additionally the fundamental group of G/H is cyclic, then G/H is locally a product of a 1-torus and ofA/H, where A/H is a simply connected rational cohomology (m+1)-sphere (and hence classified). If H fails to be connected, then with U as the connected component of H the G-action on the covering space G/U of G/H has connected stabilizers, and the results apply to G/U. To show that under the assumptions above every natural number may be realized as the order of the group of connected components of H we calculate the cohomology of certain homogeneous spaces. We also determine the rational cohomology of the fibre bundle U-->G-->G/U if G/H meets the assumptions above. This is done by considering the respective Leray-Serre spectral sequence. The structure of the cohomology of U-->G-->G/U then gives a second proof for the structure of compact connected Lie groups acting transitively on spaces with the rational homotopy of a product of a 1-sphere and a (m+1)-sphere. Since a quotient of a homogeneous space with the same rational homotopy or cohomology as a product of a 1-sphere and a (m+1)-sphere is not simply connected, there often arises the question whether or not a considered fibre bundle or fibration is orientable. A large amount of space will therefore be given to the problem of showing that certain fibrations are orientable. For compact connected (m+2)-manifolds with cyclic fundamental groups and with the rational homotopy of a product of a 1-sphere and a (m+1)-sphere we show the following: if a connected Lie group acts transitively on the manifold, then the maximal compact subgroups are either transitive, or their orbits are simply connected rational cohomology spheres of codimension 1. Homogeneous spaces with the same rational cohomology or homotopy as a a product of a 1-sphere and a (m+1)-sphere play a role in the study of different types of geometrical objects. They appear for example as focal manifolds of isoparametric hypersurfaces with four distinct principal curvatures. Further examples of such spaces are the point spaces and the line spaces of compact connected generalized quadrangles. We determine the isometry groups of isoparametric hypersurfaces with 4 principal curvatures of multiplicities 1 and m which are transitive on the focal manifold with non-trivial fundamental group. Buildings were introduced by Jacques Tits to give interpretations of simple groups of Lie type. They are a far-reaching generalization of projective spaces, in particular a generalization of projective planes. There is another generalization of projective planes called generalized polygons. A projective plane is the same as a generalized triangle. The generalized polygons are also contained in the class of buildings: they are the buildings of rank 2. To compact quadrangles one can assign a pair of natural numbers called the topological parameters of the quadrangles. We treat the case k=1. It turns out that there are no other point-transitive compact connected Lie groups for (1,m)-quadrangles than the ones for the real orthogonal quadrangles. Furthermore, we solve the problem of three infinite series of group actions which Kramer left as open problems; there are no quadrangles with the homogeneous spaces in question as point spaces (up to maybe a finite number of small parameters in one of the three series). N2 - Es werden homogene Räume G/H mit der rationalen Homotopie von Produkten von einer 1-Sphäre mit einer (m+1)-Sphäre untersucht. Die Ergebnisse werden auf kompakte Vierecke (das sind die sphärischen kompakten Tits-Gebäude vom Typ C2) und auf isoparametrische Hyperflächen angewandt. Wir zeigen, dass die obigen homogenen Räume auch die rationale Kohomologie des jeweiligen Sphärenprodukts haben, falls H zusammenhängend ist und der Quotient die Dimension m+2 besitzt. Die Kohomologie gewisser homogener Räume wird bestimmt, um zu zeigen, dass die Gruppe der Komponenten von H jede beliebige natürliche Zahl als Ordnung besitzen kann. Falls die Fundamentalgruppe von G/H zyklisch ist, dann ist G/H lokal von der Form Tx(A/H) mit einer eindimensionalen Torusgruppe T und einer homogenen einfach-zusammenhängenden rationalen (m+1)-Kohomologiesphäre A/H; letztere sind klassifiziert. Wir bestimmen mit Hilfe der Leray-Serre-Spektralsequenz auch die rationale Kohomologie des Faserbündels U-->G-->G/U für die Zusammenhangskomponente U von H. Ein Quotient mit der rationalen Homotopie eines Produktes einer 1-Sphäre und einer (m+1)-Sphäre ist nicht einfach zusammenhängend. Deshalb tritt häufig die Frage auf, ob gewisse Faserungen orientierbar sind. Diesem Bereich wird viel Raum gewidmet. Wirkt eine Liegruppe transitiv auf einer kompakten Mannigfaltigkeit mit endlicher Fundamentalgruppe, dann wirkt nach einem Ergebnis von Montgomery auch jede maximale kompakte Untergruppe noch transitiv. Dies ist im Allgemeinen falsch für unendliche Fundamentalgruppen. Aber hier wird gezeigt: Wirkt eine zusammenhängende Liegruppe transitiv auf einer kompakten (m+2)-dimensionalen Mannigfaltigkeit mit zyklischer Fundamentalgruppe und mit der rationalen Homotopie eines Produktes einer 1-Sphäre und einer (m+1)-Sphäre, dann sind die maximalen kompakten Untergruppen transitiv oder ihre Bahnen sind alle einfach zusammenhängende rationale (m+1)-Kohomologiesphären. Diese topologischen Ergebnisse werden auf zwei verschieden Arten von geometrischen Objekten angewandt, nämlich auf Fokalmannigfaltigkeiten isoparametrischer Hyperflächen und auf Punkträume kompakter verallgemeinerter Vierecke. Isoparametrische Hyperflächen in Sphären sind abgeschlossene Untermannigfaltigkeiten mit konstanten Hauptkrümmungen. Wir wenden unsere obigen Resultate an und bestimmen die transitiven isometrischen Wirkungen auf einer Fokalmannigfaltigkeit, falls es vier Hauptkrümmungen gibt und die Fokalmannigfaltigkeit die rationalen Homotopie eines Produktes einer 1-Sphäre mit einer (m+1)-Sphäre besitzt. Viele kompakte zusammenhängende Polygone gestatten eine transitive Wirkung ihrer Automorphismengruppe auf ihrem Punkt- oder Geradenraum. Wegen der Dualität der Rolle von Punkt- und Geradenraum genügt es Punkt-homogene Vierecke zu betrachten. Einem Punkt-homogenen kompakten zusammenhängenden Viereck lässt sich ein Paar (k,m) natürlicher Zahlen zuordnen, die topologischen Parameter des Viereck. Wir behandeln hier den Fall k=1. Es zeigt sich, dass es keine anderen Punkt-transitive Liegruppen gibt als diejenigen für die reellen orthogonalen Vierecke. Zusätzlich beweisen wir, dass es für drei bestimmte Serien von homogenen Räumen (für die die Frage, ob sie zu verallgemeinerten Vierecken gehören, ein offenes Problem war) keine entsprechenden Vierecke mit den homogenen Räumen als Punkträumen gibt. KW - Homogener Raum KW - Kohomologie KW - homogene Raüme KW - Kohomologie KW - Liegruppen KW - verallgemeinerte Vierecke KW - Gebäude KW - homogeneous spaces KW - cohomology KW - Lie groups KW - generalized quadrangles KW - buildings Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-3994 ER - TY - THES A1 - Wolfrom, Martin T1 - Isoparametric hypersurfaces with a homogeneous focal manifold T1 - Isoparametrische Hyperflächen mit einer homogenen Fokalmannigfaltigkeit N2 - The classification of isoparametric hypersurfaces in spheres with a homogeneous focal manifold is a project that has been started by Linus Kramer. It extends results by E. Cartan and Hsiang and Lawson. Kramer does most part of this classification in his Habilitationsschrift. In particular he obtains a classification for the cases where the homogeneous focal manifold is at least 2-connected. Results of E. Cartan, Dorfmeister and Neher, and Takagi also solve parts of the classification problem. This thesis completes the classification. We classify all closed isoparametric hypersurfaces in spheres with g>2 distinct principal curvatures one of whose multiplicities is 2 such that the lower dimensional focal manifold is homogeneous. The methods are essentially the same as in Kramer's 'Habilitationsschrift'. The cohomology of the focal manifolds in question is known. This leads to two topological classification problems, which are also solved in this thesis. We classify simply connected homogeneous spaces of compact Lie groups with the same integral cohomology ring as a product of spheres S^2 x S^m and m odd on the one hand and a truncated polynomial ring Q[a]/(a^m) with one generator of even degree and m > 1 as its rational cohomology ring on the other hand. N2 - Die Klassifikation der isoparametrischen Hyperflächen mit einer homogenen Fokalmannigfaltigkeit ist ein Projekt, das von Linus Kramer initiiert wurde. Es verallgemeinert Ergebnisse von E. Cartan und von Hsiang und Lawson. Kramer vollzieht den Großteil dieser Klassifikation in seiner Habilitationsschrift. Genauer gesagt, erhält er eine Klassifikation für die Fälle, in denen die homogene Fokalmannigfaltigkeit mindestens 2-zusammenhängend ist. Ergebnisse von E. Cartan, von Dorfmeister und Neher und von Takagi lösen ebenfalls Teile des Problems. Diese Dissertation schließt die Klassifikation ab. Wir klassifizieren alle abgeschlossenen isoparametrischen Hyperflächen in Sphären mit g>2 verschiedenen Hauptkrümmungen, deren eine Vielfachheit 2 ist, wobei die der Dimension nach kleinere Fokalmannigfaltigkeit homogen ist. Die Methoden sind im Wesentlichen die gleichen wie in Kramers Habilitationsschrift. Die Kohomologie der fraglichen Fokalmannigfaltigkeiten ist bekannt. Dies führt zu zwei topologischen Klassifikationsproblemen, die ebenfalls in dieser Dissertation gelöst werden. Wir klassifizieren einfach zusammenhängende homogene Räume kompakter Lie-Gruppen, welche einerseits den gleichen ganzzahligen Kohomologiering haben wie ein Sphären-Produkt S^2 x S^m, m ungerade, oder andererseits einen abgeschnittenen Polynomring Q[a]/(a^m) in einem Erzeuger von geradem Grad und m>1 als Kohomologiering haben. KW - Isoparametrische Hyperfläche KW - Sphäre KW - Fokalmannigfaltigkeit KW - Klassifikation KW - Homogener Raum KW - Kompakte Lie-Gruppe KW - Kohomologie Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-3505 ER - TY - THES A1 - Nahler, Michael T1 - Isomorphism classes of almost completely decomposable groups T1 - Isomorphieklassen fast vollständig zerlegbarer Gruppen N2 - In this thesis we investigate near-isomorphism classes and isomorphism classes of almost completely decomposable groups. In Chapter 2 we introduce the concept of almost completely decomposable groups and sum up their most important facts. A local group is an almost completely decomposable group with a primary regulator quotient. A uniform group is a rigid local group with a homocyclic regulator quotient. In Chapter 3 a weakening of isomorphism, called type-isomorphism, appears. It is shown that type-isomorphism agrees with Lady's near-isomorphism. By the Main Decomposition Theorem and the Primary Reduction Theorem we are allowed to restrict ourselves on clipped local groups, namely groups without a direct rank-one summand. In Chapter 4 we collect facts of matrices over commutative rings with an identity element. Matrices over the local ring (Z / p^e Z) of residue classes of the rational integers modulo a prime power play an important role. In Chapter 5 we introduce representing matrices of finite essential extensions. Here a normal form for local groups is found by the Gauß algorithm. Uniform groups have representing matrices in Hermite normal form. The classification problems for almost completely decomposable groups up to isomorphism and up to near-isomorphism can be rephrased as equivalence problems for the representing matrices. In Chapter 6 we derive a criterion for the representing matrices of local groups in Gauß normal form. In Chapter 7 we formulate the matrix criterion for uniform groups. Two representing matrices in Hermite normal form describe isomorphic groups if and only if the rest blocks of the representing matrices are T-diagonally equivalent. Starting from a fixed near-isomorphism class in Chapter 8 we investigate isomorphism classes of uniform groups. We count groups and isomorphism classes. In Chapter 9 we specialize on uniform groups of rank 2r with a regulator quotient of rank r such that the rest block of the representing matrix is invertible and normed. N2 - In dieser Dissertation untersuchen wir Near-Isomorphieklassen und Isomorphieklassen von fast vollständig zerlegbaren Gruppen. In Kapitel 2 führen wir den Begriff von fast vollständig zerlegbaren Gruppen ein und fassen ihre wichtigsten Eigenschaften zusammen. Eine lokale Gruppe ist eine fast vollständig zerlegbaren Gruppe mit einem primären Regulatorquotienten. Eine uniforme Gruppe ist eine rigid lokale Gruppe mit einem homozyklischen Regulatorquotienten. In Kapitel 3 erscheint eine Abschwächung von Isomorphie, genannt Typ-Isomorphie. Es wurde gezeigt, dass Typ-Isomorphie mit der Near-Isomorphie von Lady übereinstimmt. Wegen des Hauptzerlegungssatzes und des primären Reduktionssatzes können wir uns auf clipped lokale Gruppen beschränken, also Gruppen ohne direkten Rang-eins Summanden. In Kapitel 4 sammeln wir Eigenschaften von Matrizen über kommutativen Ringen mit Eins. Matrizen über dem lokalen Ring (Z / p^e Z) von Restklassen modulo einer Primzahlpotenz spielen eine wichtige Rolle. In Kapitel 5 führen wir Darstellungsmatrizen von endlichen wesentlichen Erweiterungen ein. Hier wird eine Normalform für lokale Gruppen mit Hilfe des Gaußschen Algorithmus gefunden. Uniforme Gruppen haben eine Darstellungsmatix in Hermite Normalform. Die Klassifikationsprobleme von fast vollständig zerlegbaren Gruppen bis auf Isomorphie und bis auf Near-Isomorphie können als Äquivalenzprobleme für die Darstellungsmatrizen umformuliert werden. In Kapitel 6 leiten wir ein Kriterium ab für die Darstellungsmatrizen von lokalen Gruppen in Gaußscher Normalform. In Kaptel 7 formulieren wir das Matrixkriterium für uniforme Gruppen. Zwei Darstellungsmatrizen in Hermite Normalform beschreiben genau dann isomorphe Gruppen, wenn die Restblöcke ihrer Darstellungsmatrizen T-diagonal äquivalent sind. Ausgehend von einer festgehaltenen Near-Isomorphieklasse untersuchen wir Isomorphieklassen von uniformen Gruppen in Kapitel 8. Wir zählen Gruppen und Isomorphieklassen. In Kapitel 9 spezialisieren wir uns auf uniforme Gruppen vom Rang 2r und mit einem Regulatorquotienten vom Rang r, so dass der Restblock der Darstellungsmatrix invertierbar und normiert ist. KW - Fast vollständig zerlegbare Gruppe KW - Isomorphieklasse KW - Darstellungsmatrix KW - fast vollständig zerlegbare Gruppe KW - isomorph KW - near-isomorph KW - Isomorphie KW - Near-Isomorphie KW - Darstellungsmatrix KW - almost completely decomosable group KW - isomorphic KW - near-isomorphic KW - isomorpism KW - near-isomorphism KW - representing matrix Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-2817 ER - TY - THES A1 - Dittmann, Ulrich T1 - Coset Types and Tight Subgroups of Almost Completely Decomposable Groups T1 - Nebenklassentypen und tight Untergruppen von fast vollständig zerlegbaren Gruppen N2 - A completely decomposable group is a direct sum of subgroups of the rationals. An almost completely decomposable group is a torsion free abelian group that contains a completely decomposable group as subgroup of finite index. Tight subgroups are maximal subgroups (with respect to set inclusion) among the completely decomposable subgroups of an almost completely decomposable group. In this dissertation we show an extended version of the theorem of Bezout, give a new criterion for the tightness of a completely decomposable subgroup, derive some conditions under which a tight subgroup is regulating and generalize a theorem of Campagna. We give an example of an almost completely decomposable group, all of whose regulating subgroups do not have a quotient with minimal exponent. We show that among the types of elements of a coset modulo a completely decomposable group there exists a unique maximal type and define this type to be -the- coset type. We give criteria for tightness and regulating in term of coset types as well as a representation of the type subgroups using coset types. We introduce the notion of reducible cosets and show their key role for transitions from one completely decomposable subgroup up to another one containing the first one as a proper subgroup. We give an example of a tight, but not regulating subgroup which contains the regulator. We develop the notion of a fully single covered subset of a lattice, show that V-free implies fully single covered, but not necessarily vice versa, and we define an equivalence relation on the set of all finite subsets of a given lattice. We develop some extension of ordinary Hasse diagrams, and apply the lattice theoretic results on the lattice of types and almost completely decomposable groups. N2 - Eine vollständig zerlegbare Gruppe ist eine direkte Summe von Untergruppen der rationalen Zahlen. Eine fast vollständig zerlegbare Gruppe ist eine torsionsfreie abelsche Gruppe, die eine vollständig zerlegbare Gruppe als Untergruppe von endlichem Index enthält. Tight Untergruppen sind bezüglich Mengeninklusion maximale Elemente der Menge der vollständig zerlegbaren Untergruppen einer fast vollständig zerlegbaren Gruppe. In dieser Dissertation zeigen wir eine erweiterte Version des Satzes von Bezout, geben ein neues Kriterium an, mit dem festgestellt werden kann, ob eine Untergruppe tight ist, leiten daraus einige Bedingungen ab, unter denen eine tight Untergruppe regulierend ist, und verallgemeinern einen Satz von Campagna. Wir geben ein Beispiel einer fast vollständig zerlegbaren Gruppe an, deren sämtliche regulierende Untergruppen nicht minimalen Exponenten des Quotienten haben. Wir zeigen, daß unter den Typen der Elemente einer Nebenklasse modulo einer vollständig zerlegbaren Gruppe ein eindeutig definierter maximaler Typ existiert und nennen diesen Typen -den- Nebenklassentypen. Wir geben Kriterien für tight und regulierend mit Hilfe von Nebenklassentypen, sowie eine Darstellung der Typenuntergruppen. Wir führen den Begriff der reduziblen Nebenklassen ein und zeigen die Schlüsselrolle, die diese beim Übergang von einer vollständig zerlegbaren Untergruppe zu einer anderen, die die erste enthält, haben. Wir geben ein Beispiel einer tight Untergruppe an, die nicht regulierend ist, aber den Regulator enthält. Wir führen den Begriff einer "fully single covered" Untermenge eines Verbandes ein, zeigen daß V-frei "fully single covered" impliziert, aber nicht umgekehrt, und definieren eine Äquivalenzrelation auf der Menge aller endlichen Untermengen eines Verbandes. Wir entwickeln eine Erweiterung der üblichen Hasse Diagramme und wenden die verbandstheoretischen Ergebnisse auf die Typenmenge fast vollständig zerlegbarer Gruppen an. KW - Torsionsfreie Abelsche Gruppe KW - Untergruppe KW - Restklasse KW - Regulator KW - fast vollständig zerlegbare Gruppe KW - tight KW - regulierend KW - Regulator KW - almost completely decomposable group KW - tight KW - regulating KW - regulator Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-2762 ER -