Die vorliegende Dissertation besteht aus zwei Teilen, deren gemeinsames Thema in der Frage besteht, wie mächtig Zufall als Berechnungsressource ist. Im ersten Teil beschäftigen wir uns mit zufälligen Strukturen, die -- mit hoher Wahrscheinlichkeit -- Eigenschaften haben können, die von Computeralgorithmen genutzt werden können. In zwei konkreten Fällen geben wir bis dahin unbekannte deterministische Konstruktionen solcher Strukturen: Wir derandomisieren eine randomisierte Reduktion von Alekhnovich und Razborov, indem wir bestimmte unbalancierte bipartite Expandergraphen konstruieren, und wir geben eine Reduktion von einem Problem über bipartite Graphen auf das Problem, den minmax-Wert in Dreipersonenspielen zu berechnen. Im zweiten Teil untersuchen wir die Ausdrucksstärke verschiedener Logiken, wenn sie durch zufällige Relationssymbole angereichert werden. Unser Ziel ist es, Techniken aus der deskriptiven Komplexitätstheorie für die Untersuchung randomisierter Komplexitätsklassen nutzbar zu machen, und tatsächlich können wir zeigen, dass unsere randomisierten Logiken randomisierte Komlexitätsklassen einfangen, die in der Komplexitätstheorie untersucht werden. Unter Benutzung starker Ergebnisse über die Logik erster Stufe und die Berechnungsstärke von Schaltkreisen beschränkter Tiefe geben wir sowohl positive als auch negative Derandomisierungsergebnisse für unsere Logiken. Auf der negativen Seite zeigen wir, dass randomisierte erststufige Logik gegenüber normaler erststufiger Logik an Ausdrucksstärke gewinnt, sogar auf Strukturen mit einer eingebauten Additionsrelation. Außerdem ist sie nicht auf geordneten Strukturen in monadischer zweitstufiger Logik enthalten, und auch nicht in infinitärer Zähllogik auf beliebigen Strukturen. Auf der positiven Seite zeigen wir, dass randomisierte erststufige Logik auf Strukturen mit einem unären Vokabular derandomisiert werden kann und auf additiven Strukturen in monadischer Logik zweiter Stufe enthalten ist. / This thesis is comprised of two main parts whose common theme is the question of how powerful randomness as a computational resource is. In the first part we deal with random structures which possess -- with high probability -- properties than can be exploited by computer algorithms. We then give two new deterministic constructions for such structures: We derandomise a randomised reduction due to Alekhnovich and Razborov by constructing certain unbalanced bipartite expander graphs, and we give a reduction from a problem concerning bipartite graphs to the problem of computing the minmax-value in three-player games. In the second part we study the expressive power of various logics when they are enriched by random relation symbols. Our goal is to bridge techniques from descriptive complexity with the study of randomised complexity classes, and indeed we show that our randomised logics do capture complexity classes under study in complexity theory. Using strong results on the expressive power of first-order logic and the computational power of bounded-depth circuits, we give both positive and negative derandomisation results for our logics. On the negative side, we show that randomised first-order logic gains expressive power over standard first-order logic even on structures with a built-in addition relation. Furthermore, it is not contained in monadic second-order logic on ordered structures, nor in infinitary counting logic on arbitrary structures. On the positive side, we show that randomised first-order logic can be derandomised on structures with a unary vocabulary and is contained in monadic second-order logic on additive structures.

Aufgrund der fundamentalen Bedeutung partieller Differentialgleichungen zur Beschreibung von Phänomenen in angewandten Wissenschaften ist deren Analyse ein Kerngebiet der Mathematik. Durch Computer lassen sich die Lösungen für eine Vielzahl dieser Gleichungen näherungsweise bestimmen. Die dabei verwendeten numerischen Verfahren sollen auf möglichst exakte Approximationen führen und deren Genauigkeit verifizieren. Die Least-Squares Finite-Elemente-Methode (LSFEM) und die unstetige Petrov-Galerkin (DPG) Methode sind solche Verfahren. Sie werden in dieser Dissertation untersucht. Der erste Teil der Arbeit untersucht die Genauigkeit der mittels LSFEM berechneten Näherungen. Dazu werden Eigenschaften der zugrundeliegenden Differentialgleichungen mit den Eigenschaften der LSFEM kombiniert. Dies zeigt, dass die Abweichung der berechneten Näherung von der exakten Lösung einem berechenbaren Residuum asymptotisch entspricht. Ferner wird ein Verfahren zu Berechnung einer garantierten oberen Fehlerschranke eingeführt. Während etablierte Fehlerschätzer den Fehler signifikant überschätzt, zeigen numerische Experimente eine äußerst geringe Überschätzung des Fehlers mittels der neuen Fehlerschranke. Die Analyse der Fehlerschranken für das Stokes-Problem offenbart ein Beziehung der LSFEM und der LBB Konstanten. Diese Konstante ist entscheidend für die Existenz und Stabilität von Lösungen in der Strömungslehre. Der zweite Teil der Arbeit nutzt diese Beziehung und entwickelt ein auf der LSFEM basierendes Verfahren zur numerischen Berechnung der LBB Konstanten. Der dritte Teil der Arbeit untersucht die DPG Methode. Dabei werden existierende Anwendungen der DPG Methode zusammengefasst und analysiert. Diese Analyse zeigt, dass sich die DPG Methode als eine leicht gestörte LSFEM interpretieren lässt. Diese Interpretation erlaubt die Anwendung der Resultate aus dem ersten Teil der Arbeit und ermöglicht dadurch eine genauere Untersuchung existierender und die Entwicklung neuer DPG Methoden. / The analysis of partial differential equations is a core area in mathematics due to the fundamental role of partial differential equations in the description of phenomena in applied sciences. Computers can approximate the solutions to these equations for many problems. They use numerical schemes which should provide good approximations and verify the accuracy. The least-squares finite element method (LSFEM) and the discontinuous Petrov-Galerkin (DPG) method satisfy these requirements. This thesis investigates these two schemes. The first part of this thesis explores the accuracy of solutions to the LSFEM. It combines properties of the underlying partial differential equation with properties of the LSFEM and so proves the asymptotic equality of the error and a computable residual. Moreover, this thesis introduces an novel scheme for the computation of guaranteed upper error bounds. While the established error estimator leads to a significant overestimation of the error, numerical experiments indicate a tiny overestimation with the novel bound. The investigation of error bounds for the Stokes problem visualizes a relation of the LSFEM and the Ladyzhenskaya-Babuška-Brezzi (LBB) constant. This constant is a key in the existence and stability of solution to problems in fluid dynamics. The second part of this thesis utilizes this relation to design a competitive numerical scheme for the computation of the LBB constant. The third part of this thesis investigates the DPG method. It analyses an abstract framework which compiles existing applications of the DPG method. The analysis relates the DPG method with a slightly perturbed LSFEM. Hence, the results from the first part of this thesis extend to the DPG method. This enables a precise investigation of existing and the design of novel DPG schemes.

In der klassischen Komplexitätstheorie werden worst-case Laufzeiten von Algorithmen typischerweise einzig abhängig von der Eingabegröße angegeben. In dem Kontext der parametrisierten Komplexitätstheorie versucht man die Analyse der Laufzeit dahingehend zu verfeinern, dass man zusätzlich zu der Eingabengröße noch einen Parameter berücksichtigt, welcher angibt, wie strukturiert die Eingabe bezüglich einer gewissen Eigenschaft ist. Ein parametrisierter Algorithmus nutzt dann diese beschriebene Struktur aus und erreicht so eine Laufzeit, welche schneller ist als die eines besten unparametrisierten Algorithmus, falls der Parameter klein ist. Der erste Hauptteil dieser Arbeit führt die Forschung in diese Richtung weiter aus und untersucht den Einfluss von verschieden Parametern auf die Laufzeit von bekannten effizient lösbaren Problemen. Einige vorgestellte Algorithmen sind dabei adaptive Algorithmen, was bedeutet, dass die Laufzeit von diesen Algorithmen mit der Laufzeit des besten unparametrisierten Algorithm für den größtmöglichen Parameterwert übereinstimmt und damit theoretisch niemals schlechter als die besten unparametrisierten Algorithmen und übertreffen diese bereits für leicht nichttriviale Parameterwerte. Motiviert durch den allgemeinen Erfolg und der Vielzahl solcher parametrisierten Algorithmen, welche eine vielzahl verschiedener Strukturen ausnutzen, untersuchen wir im zweiten Hauptteil dieser Arbeit, wie man solche unterschiedliche homogene Strukturen zu mehr heterogenen Strukturen vereinen kann. Ausgehend von algebraischen Ausdrücken, welche benutzt werden können, um von Parametern beschriebene Strukturen zu definieren, charakterisieren wir klar und robust heterogene Strukturen und zeigen exemplarisch, wie sich die Parameter tree-depth und modular-width heterogen verbinden lassen. Wir beschreiben dazu effiziente Algorithmen auf heterogenen Strukturen mit Laufzeiten, welche im Spezialfall mit den homogenen Algorithmen übereinstimmen. / In classical complexity theory, the worst-case running times of algorithms depend solely on the size of the input. In parameterized complexity the goal is to refine the analysis of the running time of an algorithm by additionally considering a parameter that measures some kind of structure in the input. A parameterized algorithm then utilizes the structure described by the parameter and achieves a running time that is faster than the best general (unparameterized) algorithm for instances of low parameter value. In the first part of this thesis, we carry forward in this direction and investigate the influence of several parameters on the running times of well-known tractable problems. Several presented algorithms are adaptive algorithms, meaning that they match the running time of a best unparameterized algorithm for worst-case parameter values. Thus, an adaptive parameterized algorithm is asymptotically never worse than the best unparameterized algorithm, while it outperforms the best general algorithm already for slightly non-trivial parameter values. As illustrated in the first part of this thesis, for many problems there exist efficient parameterized algorithms regarding multiple parameters, each describing a different kind of structure. In the second part of this thesis, we explore how to combine such homogeneous structures to more general and heterogeneous structures. Using algebraic expressions, we define new combined graph classes of heterogeneous structure in a clean and robust way, and we showcase this for the heterogeneous merge of the parameters tree-depth and modular-width, by presenting parameterized algorithms on such heterogeneous graph classes and getting running times that match the homogeneous cases throughout.

Im ersten Teil der Arbeit analysieren wir BSDEs mit Generatoren, die monoton in y, convex in z, gemeinsam unterhalbstetig und von unten durch eine affine Funktion der Kontrollvariable beschränkt sind. Das erste Hauptresultat ist der Nachweis der Existenz und Eindeutigkeit einer minimalen Superlösung. Wir zeigen, dass für die minimale Superlösung wichtige Eigenschaften, wie zum Beispiel die Flusseigenschaft und die Projektivität gelten. Es stellt sich heraus, dass das Funktional welches die Endbedingung auf das Infimum über alle Wertprozesse zur Zeit null abbildet nicht nur den gleichen Definitionsbereich wie der Erwartungswert hat, sondern auch einige seiner wichtigsten Eigenschaften, wie monotone Konvergenz und Fatou''s Lemma teilt. Das führt im Weiteren zur Unterhalbstetigkeit und zu dualen Darstellungen dieses Funktionals. Schlussendlich zeigen wir eine Lösung des Nutzenmaximierungsproblems für die Exponentialnutzenfunktion. Im zweiten Teil der Arbeit untersuchen wir die quadratische Absicherung von finanziellen Risikopositionen unter Basisrisiko. Zuerst zeigen wir wie optimal abgesichert wird, wenn die Differenz der Logarithmen von Absicherungsinstrument und Risiko asymptotisch stationär ist. Für lineare Risikopositionen leiten wir explizite Formeln für den Absicherungsfehler her und zeigen, dass für nichtlineare Positionen eine schnelle Simulation möglich ist. Zweitens untersuchen wir ein Modell in dem die Korrelation zwischen Absicherungsinstrument und Basiswert stochastisch ist. Wir nehmen an, dass die Korrelation ein Prozess ist, der sich gemäß einer stochastischen Differentialgleichung mit Werten zwischen -1 und 1 entwickelt. Wir leiten eine Integrabilitätsbedingung bezüglich des Korrelationsprozesses her, die uns erlaubt die optimale quadratische Absicherung durch eine einfache Formel zu beschreiben. Weiterhin zeigen wir, dass unsere Bedingungen von einer großen Klasse von Korrelationsdynamiken erfüllt werden. / In the first part of the thesis we analyze BSDEs with generators that are monotone in y, convex in z, jointly lower semicontinuous, and bounded below by an affine function of the control variable. The first central result establishes existence and uniqueness of a minimal supersolution. We show that our setting allows to derive important properties of the minimal supersolution such as the flow property and the projectivity. We find that the functional which maps the terminal condition to the infimum over all value processes evaluated at time zero is not only defined on the same domain as the original expectation operator, but also shares some of its main properties such as monotone convergence and Fatou''s Lemma. Moreover, this leads to lower semincontinuity and dual representations of the functional. Finally, we demonstrate a solution of the problem of maximizing expected exponential utility. In the second part of the thesis we investigate quadratic hedging of contingent claims with basis risk. We first show how to optimally cross-hedge risk when the logspread between the hedging instrument and the risk is asymptotically stationary. For linear risk positions we derive explicit formulas for the hedge error, while for non-linear positions swift simulation analysis is possible. Secondly, we study a model where the correlation between the hedging instrument and the underlying of the contingent claim is random itself. We assume that the correlation is a process which evolves according to a stochastic differential equation with values between the boundaries -1 and 1. We derive an integrability condition on the correlation process that allows to describe the quadratic hedge by means of a simple hedging formula. Furthermore we show that our conditions are fulfilled by a large class of correlation dynamics.

In den letzten Jahren erfreuen sich komplexe Netzwerke einer zunehmenden Beliebtheit, um Zusammenhänge und Strukturen in hoch-dimensionalen Datensätzen zu analysieren. Im Unterschied zu vielen anderen Forschungsgebieten wurden sie jedoch selten auf Paläoklima-Daten angewandt, obwohl die steigende Anzahl an veröffentlichen Zeitreihen die Nutzung effizienter Methoden multivariater Analyse ermöglicht. Die Resultate der wenigen Studien, in denen Netzwerkmethoden und Paläoklima-Daten kombiniert wurden, sind außerdem geprägt von niedriger Robustheit und hohen Unsicherheiten. Dies steht im Zusammenhang zu der niedrigen Anzahl und Auflösung der Zeitreihen als auch den Unsicherheiten, die den meisten Paläoklima-Rekonstruktionen zu eigen sind. In dieser Doktorarbeit schlage ich verschiedene Wege vor, um diese Probleme zu überwinden, indem verlässlichere, quantitative Resultate ermöglicht werden, unter anderem indem die Datenunsicherheiten explizit in die Analyse mit einbezogen werden. Zu diesem Zweck präsentiere ich vier Fallstudien mit einem Fokus auf zwei Zeiträume, das späte Holozän (die letzten zweitausend Jahre) und den Übergang von der letzten Kaltzeit zur aktuellen Warmzeit, die letzte glaziale Termination. Alle diese Studien legen einen räumlichen Fokus auf den Nordatlantik, eine Schlüsselregion globaler Klimavariabilität. Ich beschränke mich hierbei auf zwei Methoden, eine der netzwerkbasierten Zeitreihenanalyse, Sichtbarkeitsgraphen genannt, und eine der räumlichen Analyse, sogenannte Klimanetzwerke. Neben Erweiterungen von existierende Methoden, schlage ich auch neue Wege vor, um verlässliche Resultate auch für Zeitreihen mit hohen Unsicherheiten zu erhalten. Diese Fallstudien demonstrieren, dass Netzwerkmethoden auch für die Analyse von Paläoklima-Daten nützlich sein können. Sie sind daher ein weiterer Schritt hin zu einer künftigen Anwendung durch eine größere Anzahl an Forschenden. / In recent years, complex networks have become an increasingly popular tool to analyse relationships and structures in high-dimensional data sets in a variety of research fields. They have, however, rarely been applied to paleoclimate data sets, even though the growing number of published records demands efficient tools of multivariate analysis. The few published results that combine network methods and paleoclimate proxies are often not robust or have high uncertainty levels, linked tothe low dimensionality, resolution and the large uncertainties of most particulate time series. In this thesis, I propose several ways to overcome these issues in order to obtain reliable and quantitative results from network based tools by taking the particularities of paleoclimate data into account. For this purpose, I present four case studies, focusing on two time periods, the late Holocene (last two millennia) and the transition from the last ice age to the recent warm period, the last deglaciation. These studies are all related to the North Atlantic, a key region in multi-decadal to millennial scale climate variability. I primarily use two methods, one of network based time series analysis named visibility graphs and one of spatial analysis, so called limate networks. I have both further developed existing methods, but also propose new ways to yield reliable results when dealing with highly uncertain paleoclimate data. The case studies demonstrate the usefulness of network based data analysis to study patterns of regional climate variability. Hence, this work is another step in bringing network based approaches to a larger audience and towards a wider application of these methods.

Die Frage nach dem Verstäandnis der Topologie symplektischer Mannigfaltigkeiten erhielt immer größere Aufmerksamkeit, insbesondere seit den Arbeiten von A. Weinstein und V. Arnold. Ein bewährtes Mittel ist dabei die Theorie der Gromov-Witten-Invarianten. Eine Gromov-Witten-Invariante zählt Schnitte von rationalen Zyklen mit Modulräumen J-holomorpher Kurven, die eine fixierte Homologieklasse repräsentieren, für eine zahme fast komplexe Struktur. Allerdings ist es im Allgemeinen schwierig, solche Schnittzahlen zu definieren, ohne zusätzliche Annahmen an die symplektische Mannigfaltigkeit zu treffen, da mehrfach überlagerte J-holomorphe Kurven mit negativer Chernzahl vorkommen können. Die vorliegende Dissertation folgt einem alternativen Ansatz zur Definition von Gromov-Witten-Invarianten, der von K. Cieliebak und K. Mohnke eingeführt wurde. Dieser Ansatz liefert für jede fixierte Homologieklasse einen Pseudozykel für jede geschlossene glatte Mannigfaltigkeit mit einer rationalen symplektischen Form. Wir erweitern diesen Ansatz in der vorliegenden Arbeit für eine beliebige symplektische Form. Wie bereits in der ursprünglichen Arbeit betrachten wir nur den Fall holomorpher Sphären. Wir zeigen, dass für jede Klasse der zweiten Koholomogie eine offene Umgebung existiert, so dass für zwei beliebige rationale symplektische Formen, desser Klassen in der gewählten Umgebung liegen, die dazugehörigen Pseudozykel rational kobordant sind. Der Beweis basiert auf einer Modifikation der Argumente des Ansatzes von Cieliebak und Mohnke für den Fall von zwei sich transversal schneidenden Hyperflächen, die jeweils zu verschiedenen symplektischen Formen gehören. / The question of understanding the topology of symplectic manifolds has received great attention since the work of A. Weinstein and V. Arnold. One of the established tools is the theory of Gromov-Witten invariants. A Gromov-Witten invariant counts intersections of rational cycles with the moduli space of J-holomorphic curves representing a fixed class for a tame almost complex structure. However, without imposing additional assumptions on the symplectic manifold such counts are difficult to define in general due to the occurence of multiply covered J-holomorphic curves with negative Chern numbers. This thesis deals with an alternative approach to Gromov-Witten invariants introduced by K. Cieliebak and K. Mohnke. Their approach delivers a pseudocycle for any closed symplectic manfold equipped with a rational symplectic form. Here this approach is extended to the case of an arbitrary symplectic form on a closed symplectic manifold.As in the original work we consider only the case of holomorphic spheres. We show that for any second cohomology class there exists an open neighbourhood, such that for any two rational symplectic forms, whose cohomolgy classes are contained in this neighbourhood, the corresponding pseudocycles are rationally cobordant. The proof is based on an adaptation of the arguments from the original Cieliebak-Mohnke approach to a more general situation - presence of two transversely intersecting hypersurfaces coming from two different symplectic forms.

Für eine Primzahl p, sei L eine endliche Erweiterung von $QQ_p$ mit Ganzheitsring $O_L$ und Restklassenk\"{o}rper $kk_L$. Sei ferner n eine positive ganze Zahl. In dieser Arbeit beschreiben wir die Kategorie der endlich erzeugten stetigen Darstellungen der n-ten direkten Potenz der absoluten Galoisgruppe $G_L$ von L mit Koeffizienten in $O_L$, unter Verwendung einer verallgemeinerten Version der $(phi, Gamma)$-Moduln von Fontaine. In Kapitel 4 beweisen wir, dass die Kategorie der stetigen Darstellungen der n-ten direkten Potenz von $G_L$ auf endlichen dimensionalen $kk_L$-Vektorräumen und die Kategorie étaler $(phi, Gamma)$-Moduln über einem n-variablen Laurentreihenring über $kk_L$ äquivalent sind. In Kapitel 5 erweitern wir diese Äquivalenz, um zu beweisen, dass die Kategorie der stetigen Darstellungen der n-ten direkten Potenz von $G_L$ auf endlich erzeugten $O_L$-Moduln und die Kategorie étaler $(phi, Gamma)$-Moduln über einem n-variablen Laurentreihenring über $O_L$ äquivalent sind. Einerseits erhalten wir, wenn wir n=1 und L willkürlich lassen, die Verfeinerung von Fontaine ursprünglicher Konstruktion gemäß Kisin, Rin und Schneider, die Lubin-Tate Theorie verwenden. Wenn wir andererseits n willkürlich lassen und $L=QQ_p$, erhalten wir die Theorie von Zábrádi von multivariablen zyklotomischen $(phi, Gamma)$-Moduln, die Fontaines Verwendung einer einzelnen freien Variablen verallgemeinert. Daher bietet unsere Arbeit einen gemeinsamen Rahmen für diese beiden Verallgemeinerungen. / For a prime number p, let L be a finite extension of $QQ_p$ with ring of integers $O_L$ and residue field $kk_L$. We also let n be a positive integer. In this thesis we describe the category of finitely generated continuous representations of the n-th direct power of the absolute Galois group $G_L$ of L with coefficients in $O_L$ using a generalized version of Fontaine's $(phi, Gamma)$-modules. In Chapter 4 we prove that the category of continuous representations of the n-th direct power of $G_L$ on finite dimensional $kk_L$-vector spaces is equivalent to the category of étale $(phi, Gamma)$-modules over a n-variable Laurent series ring over $kk_L$. In Chapter 5 we extend this equivalence to prove that the category of continuous representations of the n-th direct power of $G_L$ on finitely generated $O_L$-modules is equivalent to the category of étale $(phi, Gamma)$-modules over a n-variable Laurent series ring over $O_L$. On the one hand, if we let n=1 and $L$ be arbitrary, we obtain the refinement of Fontaine's original construction due to Kisin, Rin and Schneider, which uses Lubin-Tate theory. On the other hand, if we let n be arbitrary and $L=QQ_p$, we recover Zábrádi's theory of multivariable cyclotomic $(phi,Gamma)$-modules that generalizes Fontaine's use of a single free variable. Therefore, our thesis provides a common framework for both of these generalizations.

Für zufällige dynamische Systeme mit stetiger Zeit existieren zwei wichtige Klassen von Generatoren: Zum einen stationäre zufällige ifferentialgleichungen, i.e. gewöhnliche Differentialgleichungen, die von einem stationärer zufälligen Vektorfeld getrieben werden, und zum anderen stochastische Stratonovichdifferentialgleichungen mit weißem Rauschen. Während die erste Klasse sich gut in den ergodentheoretischen Rahmen der Theorie der zufälligen dynamischen Systeme einfügt, widersetzte sich die zweite Klasse lange Zeit der dynamischen Untersuchung aufgrund des "Konflikts zwischen Ergodentheorie und stochastischer Analysis". In dieser Arbeit wird gezeigt, daß beide Klassen von zufälligen dynamischen Systemen nicht wesentlich verschieden sind, genauer: Zu jeder stochastischen Stratonovichdifferentialgleichung mit weißem Rauschen (unter den üblichen Regularitätsforderungen an die Vektorfelder, die die Existenz von Flüssen garantieren) existiert eine stationäre zufällige Differentialgleichung derart, daß die erzeugten zufälligen dynamischen Systeme konjugiert sind. Als Anwendung wird eine Version des lokalen Linearisierungssatzes von Hartman/Grobman für stochastische Stratonovichdifferentialgleichungen bewiesen. / For continuous time random dynamical systems there exist two important classes of generators: on the one hand stationary random differential quations, i.e. ordinary differential equations driven by a stationary random vector field, and on the other hand stochastic Stratonovich differential equations with white noise. While the first class fits well into the framework of the theory of random dynamical systems, the second class resisted for a long time the dynamical investigation due to the "conflict between ergodic theory and stochastic analysis". The main result of this thesis is that both classes of random dynamical systems are not essentially distinct, more precisely: For each stochastic Stratonovich differential equation with white noise (under usual regularity assumptions) there exists a stationary random differential equation such that the corresponding random dynamical systems are conjugate. As an application a version of the local Hartman/Grobman theorem for stochastic differential equations is proved.

Gegenstand der vorliegenden Dissertation sind stochastische Kontrollprobleme, denen sich Agenten im Zusammenhang mit Entscheidungen auf Finanzmärkten gegenübersehen. Der erste Teil der Arbeit behandelt die Maximierung des erwarteten Nutzens des Endvermögens eines Finanzmarktinvestors. Für den Investor ist eine Beschreibung der optimalen Handelsstrategie, die zur numerischen Approximation geeignet ist sowie eine Stabilitätsanalyse der optimalen Handelsstrategie bzgl. kleinerer Fehlspezifikationen in Nutzenfunktion und Anfangsvermögen, von höchstem Interesse. In stetigen Marktmodellen beweisen wir Stabilitätsresultate für die optimale Handeslsstrategie in geeigneten Topologien. Für hinreichend differenzierbare Nutzenfunktionen und zeitstetige Marktmodelle erhalten wir eine Beschreibung der optimalen Handelsstrategie durch die Lösung eines Systems von stochastischen Vorwärts-Rückwärts-Differentialgleichungen (FBSDEs). Der zweite Teil der Arbeit beschäftigt sich mit optimalen Stopproblemen für einen Agenten, dessen Ertragsprozess von einem Ausfallsereignis abhängt. Unser Hauptinteresse gilt der Beschreibung der Lösungen vor und nach dem Ausfallsereignis und damit dem besseren Verständnis des Verhaltens des Agenten bei Auftreten eines Ausfallsereignisses. Wir zeigen wie sich das optimale Stopproblem in zwei einzelne Teilprobleme zerlegen lässt: eines, für das der zugrunde liegende Informationsfluss das Ausfallereignis nicht beinhaltet, und eines, in welchem der Informationsfluss das Ausfallereignis berücksichtigt. Aufbauend auf der Zerlegung des Stopproblems und der Verbindung zwischen der Optimalen Stoptheorie und der Theorie von reflektierenden stochastischen Rückwärts-Differentialgleichungen (RBSDEs), leiten wir einen entsprechenden Zerlegungsansatz her, um RBSDEs mit genau einem Sprung zu lösen. Wir beweisen neue Existenz- und Eindeutigkeitsresultate von RBSDEs mit quadratischem Wachstum. / This thesis studies stochastic control problems faced by agents in financial markets when making decisions. The first part focuses on the maximization of expected utility from terminal wealth for an investor trading in a financial market. Of utmost concern to the investor is a description of optimal trading strategy that is amenable to numerical approximation, and the stability analysis of the optimal trading strategy w.r.t. "small" misspecification in his utility function and initial capital. In the setting of a continuous market model, we prove stability results for the optimal wealth process in the Emery topology and the uniform topology on semimartingales, and stability results for the optimal trading strategy in suitable topologies. For sufficiently differentiable utility functions, we obtain a description of the optimal trading strategy in terms of the solution of a system of forward-backward stochastic differential equations (FBSDEs). The second part of the thesis deals with the optimal stopping problem for an agent with a reward process exposed to a default event. Our main concern is to give a description of the solutions before and after the default event and thereby better understand the behavior of the agent in the presence of default. We show how the stopping problem can be decomposed into two individual stopping problems: one with information flow for which the default event is not visible, and another one with information flow which captures the default event. We build on the decomposition of the optimal stopping problem, and the link between the theories of optimal stopping and reflected backward stochastic differential equations (RBSDEs) to derive a corresponding decomposition approach to solve RBSDEs with a single jump. This decomposition allows us to establish existence and uniqueness results for RBSDEs with drivers of quadratic growth.

In dieser Arbeit untersuchen wir die Struktur von Gausschen Prozessen, die durch gewisse lineare Transformationen von zwei Gausschen Martingalen erzeugt werden. Die Klasse dieser Transformationen ist durch nanzmathematische Gleichgewichtsmodelle mit heterogener Information motiviert. In Kapital 2 bestimmen wir für solche Prozesse, die zunächst in einer erweiterten Filtrierung konstruiert werden, die kanonische Zerlegung als Semimartin-gale in ihrer eigenen Filtrierung. Die resultierende Drift wird durch Volterra-Kerne beschrieben. Insbesondere charakterisieren wir diejenigen Prozesse, die in ihrer eigenen Filtrierung eine Brownsche Bewegung bilden. In Kapital 3 konstruieren wir neue orthogonale Zerlegungen der Brownschen Filtrierungen. In den Kapitaln 4 bis 6 wenden wir unsere Resultate zur Charakterisierung Brownscher Bewegungen im Kontext nanzmathematischer Modelle an, in denen es Marktteilnehmer mit zusätzlicher Insider-Information gibt. Wir untersuchen Erweiterungen eines Gleichgewichtsmodells von Kyle [42] und Back [7], in denen die Insider-Information in verschiedener Weise durch Gaussche Martingale spezifiziert wird. Insbesondere klären wir die Struktur von Insider-Strategien, die insofern unaufallig bleiben, als sich die resultierende Gesamtnachfrage wie eine Brownsche Bewegung verhält. / In this thesis, we study Gaussian processes generated by certain linear transformations of two Gaussian martingales. This class of transformations is motivated by nancial equilibrium models with heterogeneous information. In Chapter 2 we derive the canonical decomposition of such processes, which are constructed in an enlarged ltration, as semimartingales in their own ltration. The resulting drift is described in terms of Volterra kernels. In particular we characterize those processes which are Brownian motions in their own ltration. In Chapter 3 we construct new orthogonal decompositions of Brownian ltrations. In Chapters 4 to 6 we are concerned with applications of our characterization results in the context of mathematical models of insider trading. We analyze extensions of the nancial equilibrium model of Kyle [42] and Back [7] where the Gaussian martingale describing the insider information is specified in various ways. In particular we discuss the structure of insider strategies which remain inconspicuous in the sense that the resulting cumulative demand is again a Brownian motion.