Doctoral and Postdoctoral Theses

Das Thema dieser Arbeit ist eine detaillierte Beschreibung der Dynamik in der Nähe von D4m-symmetrischen relativen homoklinen Zykeln mit Hilfe von Lins Methode. Die homoklinen Zykel haben die Kodimension-1, d.h. wir beobachten ihre generische Entfaltung innerhalb einer einparametrigen Familie. Sie bestehen aus mehreren Trajektorien, die sowohl für positive als auch negative Zeit derselben hyperbolischen Gleichgewichtslage zustreben (Homokline Trajektorien) und die alle durch die von einer endlichen Gruppe induzierten Symmetrie voneinander abhängig sind. Wir nehmen reelle führende Eigenwerte und homokline Trajektorien an, die sich der Gleichgewichtslage entlang führender Richtungen nähern. Die Homoklinen befinden sich in flussinvarianten Unterräumen. Insbesondere für solche homoklinen Zykel in Differentialgleichungen mit Dk-Symmetrie (Dk ist die Symmetriegruppe eines regelmäßigen k-Ecks in der Ebene), bei denen k ein Vielfaches von 4 ist, stehen einige dieser flussinvarianten Unterräume senkrecht zueinander. Dies impliziert das Verschwinden der typischerweise auftretenden Terme führender exponentieller Konvergenzordnung in einigen der aus Lins Methode gewonnenen Bestimmungsgleichungen. Um eine genaue Beschreibung der nichtwandernden Dynamik eines solchen homoklinen Zykels zu geben, d.h. eine Beschreibung der Lösungen, die in der Umgebung des Zykels sowohl im Phasen- als auch im Parameterraum verbleiben, sind weitere Informationen über die Restterme in den Bestimmungsgleichungen erforderlich. In dieser Arbeit stellen wir eine verfeinerte Darstellung der Restterme in den Bestimmungsgleichungen vor und identifizieren zwei weitere Terme mit nächsthöheren exponentiellen Konvergenzraten. Darauf aufbauend diskutieren wir die Lösbarkeit der resultierenden Bestimmungsgleichungen für homokline Zykel in R4. Dabei sind zwei Fälle zu unterscheiden, die vom Größenverhältnis der beiden neuen Terme abhängen. In einem Fall beobachten wir einen endlichen Subshift. Im anderen Fall erweist sich die Analysis als schwieriger, so dass wir die Untersuchung auf periodische Lösungen beschränken.

In dieser Arbeit untersuchen wir lineare differentiell-algebraischen Gleichungen (DAEs). Die Lösungen solcher DAEs werden durch Eigenwerte und Hauptvektoren von Matrixbüscheln beschrieben. Hierdurch kann insbesondere das qualitative Verhalten der Lösungen durch eine gezielte Veränderung (oder Störung), hinsichtlich gewisser Robustheits- oder Stabilitätsvorgaben, verbessert werden. Wir untersuchen zunächst das Verhalten der Eigenwerte und Hauptvektoren von Matrixbüscheln unter Störungen niedrigen Ranges. Zur Beschreibung des Störverhaltens nutzen wir einen neuartigen Zugang mit linearen Relationen und einem Zusammenspiel der Segre und Weyr Charakteristiken. Von besonderem Interesse ist dabei das Problem der Eigenwertplatzierbarkeit durch Störungen niedrigen Ranges. Hierbei wird untersucht, ob eine vorgegebene Eigenwertlage durch eine gezielte Veränderung der DAE erreicht werden kann. Durch die Vorgabe der Eigenwertlage wird indirekt das Stabilitätsverhalten der DAE beeinflusst. Vereinfacht gesagt wird in dieser Arbeit gezeigt, dass jede vorgegebene Eigenwertlage durch eine Störung mit Rang eins realisierbar ist. Als Anwendung betrachten wir eine Designoptimierung von Operationsverstärkern, welche in den letzten Jahren in der Arbeitsgruppe um Ralf Sommer (TU Ilmenau & Institut für Mikroelektronik- und Mechatronik-Systeme) entwickelt wurde. Hierbei wurden gezielt Kapazitäten in die Verstärkerschaltung eingefügt, um ihr Übertragungsverhalten nach gewissen Vorgaben zu beeinflussen. Dabei entspricht jede neue Kapazität einer Störung der DAE vom Rang eins. In diesem Kontext sind die Platzierungsergebnisse jedoch nur bedingt geeignet. Hier treten zusätzliche Einschränkungen der erlaubten Modifikationen der DAE auf, da nur sehr wenige Störungen als Kapazitäten in der Schaltung realisiert werden können. Bei der Designoptimierung ist man zudem an kleinstmöglichen Veränderungen der DAE interessiert, um die Produktionskosten des Verstärkers zu minimieren. Daher untersuchen wir im zweiten Teil der Arbeit, wie platzierende Störungen mit kleinstmöglicher Norm sowie mit vorgegebener Struktur bestimmt werden können. Dieses Vorgehen bezeichnen wir als Spektrale Optimierung. Zur Bestimmung einer approximativen Lösung dieses Optimierungsproblems wurde ein Algorithmus entwickelt, welcher dann bei der Designoptimierung von zwei industriellen Verstärkerschaltungen eingesetzt wird.

Hadwigers Vermutung ist eine der anspruchsvollsten Vermutungen für Graphentheoretiker und bietet eine weitreichende Verallgemeinerung des Vierfarbensatzes. Ausgehend von dieser offenen Frage der strukturellen Graphentheorie werden gewurzelte Strukturen in Graphen diskutiert. Eine Transversale einer Partition ist definiert als eine Menge, welche genau ein Element aus jeder Menge der Partition enthält und sonst nichts. Für einen Graphen G und eine Teilmenge T seiner Knotenmenge ist ein gewurzelter Minor von G ein Minor, der T als Transversale seiner Taschen enthält. Sei T eine Transversale einer Färbung eines Graphen, sodass es ein System von kanten-disjunkten Wegen zwischen allen Knoten aus T gibt; dann stellt sich die Frage, ob es möglich ist, die Existenz eines vollständigen, in T gewurzelten Minors zu gewährleisten. Diese Frage ist eng mit Hadwigers Vermutung verwoben: Eine positive Antwort würde Hadwigers Vermutung für eindeutig färbbare Graphen bestätigen. In dieser Arbeit wird ebendiese Fragestellung untersucht sowie weitere Konzepte vorgestellt, welche bekannte Ideen der strukturellen Graphentheorie um eine Verwurzelung erweitern. Beispielsweise wird diskutiert, inwiefern hoch zusammenhängende Teilmengen der Knotenmenge einen hoch zusammenhängenden, gewurzelten Minor erzwingen. Zudem werden verschiedene Ideen von Hamiltonizität in planaren und nicht-planaren Graphen behandelt.

Eine Verallgemeinerung der klassischen Quantenmechanik stammt von C. M. Bender und S. Boettcher welche alle Axiome der Quantenmechanik übernahmen, außer der Bedingung, dass der Hamiltonoperator Hermitesch ist. Sie fordern stattdessen, dass der Hamiltonoperator PT-symmetrisch ist. Hier sind P beziehungsweise T die Parität und die Zeitumkehr. Besonderes Augenmerk liegt auf den speziellen Hamiltonoperatoren $$H = p^2 - (iz)^{N+2}, z \in \Gamma$$ auf einer Kontur \Gamma und mit einer natürlichen Zahl N. In der vorliegenden Arbeit behandeln wir die Operatoren H, sowie Hamiltonoperatoren mit einem allgemeineren PT-symmetrischen Potential q, erklärt auf einer keilförmigen Kontur \Gamma. Das dazugehörige Eigenwertproblem hat nach einer Parametrisierung der Kontur die Gestalt $$e^{\mp 2i\phi}w''(x) + q_{\pm}(x)w(x) = \lambda w(x), x \in R_{\pm}.$$ Für das zu H gehörige Problem gilt q_{\pm}(x) = -(ix)^{N+2}e^{\pm(N+2)i\phi}. Dies sind Sturm-Liouville Differentialgleichung auf (-\infty, 0] und [0,\infty), welche wir mit operatortheoretischen Methoden behandeln. Wir geben, mittels WKB-Analysis ein Grenzpunktfallkriterium an und für das spezielle Potential aus H eine vollständige Klassifikation bezüglich der Weylschen Grenzpunkt-/Grenzkreisfall Alternative. Wir definieren die zu den obigen Differentialgleichungen gehörenden minimalen und maximalen Operatoren, welche zueinander adjungiert bezüglich der komplexen Konjugation sind. Diese Operatoren sind auf den reellen Halbachsen definiert und wir fügen diese zu dem minimalen und maximalen Operator auf der ganzen Achse zusammen, die wiederum zueinander adjungiert bezüglich des neuen inneren Produktes [\cdot, \cdot] := (P\cdot, \cdot) sind. Mithilfe einer Kopplungsbedingung G \in C^{2×2} in Null erhalten wir den Operator A_G, eine Einschränkung des maximalen Operators. Diese Bedingung besitzt Freiheitsgrade und wir geben Bedingungen an G an, sodass A_G PT-symmetrisch oder [\cdot, \cdot]-selbstadjungiert ist. Dafür konstruieren wir ein Randtripel. Außerdem berechnen wir die Weyl-Funktion und erhalten somit eine Bedingung für die Existenz und Lage der Eigenwerte von A_G. Mithilfe der WKB-Analysis untersuchen wir diese Bedingung und können Bereiche der komplexen Ebene ausschließen, in denen sich kein Spektrum befindet. Ferner besitzt A_G strukturell dieselben Spektraleigenschaften wie die entsprechenden Operatoren auf den Halbachsen.

Die projektive Form eines Objektes ist die geometrische Information, die invariant unter projektiven Transformationen ist. Sie tritt natürlicherweise bei der Rekonstruktion von Objekten anhand Fotos unkalibrierter Kameras auf. Wenn ein Objekt als Punktmenge oder Konfiguration von Landmarken im d-dimensionalen reell-projektiven Raum RP(d) beschrieben wird, so ist die Menge der projektiven Formen der Quotientenraum RP(d)^k / PGL(d) und damit kanonisch mit der Quotiententopologie versehen. Auf diesem topologischen Raum der projektiven Formen lassen sich jedoch aus topologischen Gründen viele mathematische Werkzeuge nicht anwenden, ein Phänomen, welches in ähnlicher Form auch bei den Räumen der Ähnlichkeits- bzw. affinen Formen auftritt. In der vorliegenden Arbeit wird die Topologie des projektiven Formenraumes gründlich untersucht, in Hinblick auf die Suche nach einem vernünftigen topologischen Unterraum, der hinreichende Eigenschaften für die Anwendung statistischer Methoden besitzt. Ein Beispiel für einen dieser gutartigen Unterräume ist der Raum der Tyler regulären Formen, der bereits durch Kent und Mardia betrachtet wurde. Deren Ergebnisse werden in dieser Arbeit noch erweitert. Dieser Unterraum ist zwar für einige Dimensionen d und Anzahlen an Landmarken k nicht optimal gewählt, jedoch liefert die sogenannte Tyler-Standardisierung dieser Formen einem sowohl Einbettungen in metrische Räume als auch eine Riemannsche Metrik auf diesem Unterraum. Für eine dieser Einbettungen werden die dazugehörige Fréchet-Erwartungs- sowie Mittelwerte definiert. Während die Konsistenz dieses Mittelwertes leicht zu zeigen ist, ist die Berechnung des extrinsischen Mittelwertes numerisch anspruchsvoll. Als Ersatz wird ein weiterer Erwartungs- bzw. Mittelwert definiert, dessen Berechnung diese Probleme umgeht.