TY - THES A1 - Gehring, Penelope T1 - Non-local boundary conditions for the spin Dirac operator on spacetimes with timelike boundary T1 - Nicht-lokale Randbedingungen für den spinorialen Dirac-Operator auf Raumzeiten mit zeitartigen Rand N2 - Non-local boundary conditions – for example the Atiyah–Patodi–Singer (APS) conditions – for Dirac operators on Riemannian manifolds are rather well-understood, while not much is known for such operators on Lorentzian manifolds. Recently, Bär and Strohmaier [15] and Drago, Große, and Murro [27] introduced APS-like conditions for the spin Dirac operator on Lorentzian manifolds with spacelike and timelike boundary, respectively. While Bär and Strohmaier [15] showed the Fredholmness of the Dirac operator with these boundary conditions, Drago, Große, and Murro [27] proved the well-posedness of the corresponding initial boundary value problem under certain geometric assumptions. In this thesis, we will follow the footsteps of the latter authors and discuss whether the APS-like conditions for Dirac operators on Lorentzian manifolds with timelike boundary can be replaced by more general conditions such that the associated initial boundary value problems are still wellposed. We consider boundary conditions that are local in time and non-local in the spatial directions. More precisely, we use the spacetime foliation arising from the Cauchy temporal function and split the Dirac operator along this foliation. This gives rise to a family of elliptic operators each acting on spinors of the spin bundle over the corresponding timeslice. The theory of elliptic operators then ensures that we can find families of non-local boundary conditions with respect to this family of operators. Proceeding, we use such a family of boundary conditions to define a Lorentzian boundary condition on the whole timelike boundary. By analyzing the properties of the Lorentzian boundary conditions, we then find sufficient conditions on the family of non-local boundary conditions that lead to the well-posedness of the corresponding Cauchy problems. The well-posedness itself will then be proven by using classical tools including energy estimates and approximation by solutions of the regularized problems. Moreover, we use this theory to construct explicit boundary conditions for the Lorentzian Dirac operator. More precisely, we will discuss two examples of boundary conditions – the analogue of the Atiyah–Patodi–Singer and the chirality conditions, respectively, in our setting. For doing this, we will have a closer look at the theory of non-local boundary conditions for elliptic operators and analyze the requirements on the family of non-local boundary conditions for these specific examples. N2 - Über nicht-lokale Randbedingungen – zum Beispiel dieAtiyah–Patodi–Singer (APS)-Bedingungen – für Dirac Operatoren auf Riemannschen Mannigfaltigkeiten ist recht viel bekannt, während für die hyperbolischen Dirac Operatoren auf Lorentz-Mannigfaltigkeiten dies noch nicht der Fall ist. Kürzlich haben Bär und Strohmaier [15] und Drago, Große und Murro [27] APS-ähnliche Bedingungen für den Spin Dirac Operator auf Lorentz-Mannigfaltigkeiten mit raumartigen bzw. zeitartigen Rand eingeführt. Während Bär und Strohmaier [15] zeigten, dass der Dirac Operator mit diesen Randbedingungen Fredholm ist, bewiesen Drago, Große und Murro [27] die Wohlgestelltheit des entsprechenden Anfangsrandwertproblems unter bestimmten geometrischen Annahmen. In dieser Arbeit werden wir in die Fußstapfen der letztgenannten Autoren treten und diskutieren, ob die APS-ähnlichen Bedingungen für Dirac Operatoren auf Lorentz-Mannigfaltigkeiten mit zeitartigen Rand durch allgemeinere Bedingungen ersetzt werden können, sodass die zugehörigen Anfangsrandwertprobleme immer noch wohlgestellt sind. Wir betrachten Randbedingungen, die in der Zeit lokal und in den Raumrichtungen nicht-lokal sind. Genauer gesagt verwenden wir die Raumzeitblätterung, die sich aus der Cauchy Zeitfunktion ergibt, und spalten den Dirac Operator entlang dieser Foliation auf. Daraus ergibt sich eine Familie elliptischer Operatoren, die jeweils auf Spinoren des Spinbündels über den entsprechenden Zeitschnitt wirken. Die Theorie der elliptischen Operatoren stellt dann sicher, dass wir Familien von nichtlokalen Randbedingungen bezüglich dieser Familie von Operatoren finden können. Im weiteren Verlauf verwenden wir solche Familien von Randbedingungen, um eine Lorentzsche Randbedingung auf dem gesamten zeitartigen Rand zu definieren. Durch das Analysieren der Lorentzschen Randbedingungen finden wir dann hinreichende Bedingungen für die Familie der nicht-lokalen Randbedingungen, die zur Wohlgestelltheit der entsprechenden Cauchy-Probleme führen. Die Wohlgestelltheit selbst wird dann mit Hilfe klassischer Methoden bewiesen, einschließlich Energieabschätzungen und Annäherung durch Lösungen der regularisierten Probleme. Außerdem verwenden wir diese Theorie, um explizite Randbedingungen für den Lorentzschen Dirac Operator zu konstruieren. Genauer gesagt werden wir zwei Beispiele für Randbedingungen diskutieren - das Analogon der Atiyah-Patodi-Singer- bzw. Chiralitäts-Bedingungen für unseren Fall. Dazu werden wir uns die Theorie der nicht-lokalen Randbedingungen für elliptische Operatoren genauer ansehen und die Anforderungen an die Familie der nicht-lokalen Randbedingungen für diese Beispiele analysieren. KW - Dirac operator KW - Diracoperator KW - spacetimes with timelike boundary KW - Raumzeiten mit zeitartigen Rand KW - boundary conditions KW - Randbedingungen KW - initial boundary value problem KW - Anfangsrandwertproblem Y1 - 2023 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-577755 ER - TY - THES A1 - Hannes, Sebastian T1 - Boundary Value Problems for the Lorentzian Dirac Operator N2 - The index theorem for elliptic operators on a closed Riemannian manifold by Atiyah and Singer has many applications in analysis, geometry and topology, but it is not suitable for a generalization to a Lorentzian setting. In the case where a boundary is present Atiyah, Patodi and Singer provide an index theorem for compact Riemannian manifolds by introducing non-local boundary conditions obtained via the spectral decomposition of an induced boundary operator, so called APS boundary conditions. Bär and Strohmaier prove a Lorentzian version of this index theorem for the Dirac operator on a manifold with boundary by utilizing results from APS and the characterization of the spectral flow by Phillips. In their case the Lorentzian manifold is assumed to be globally hyperbolic and spatially compact, and the induced boundary operator is given by the Riemannian Dirac operator on a spacelike Cauchy hypersurface. Their results show that imposing APS boundary conditions for these boundary operator will yield a Fredholm operator with a smooth kernel and its index can be calculated by a formula similar to the Riemannian case. Back in the Riemannian setting, Bär and Ballmann provide an analysis of the most general kind of boundary conditions that can be imposed on a first order elliptic differential operator that will still yield regularity for solutions as well as Fredholm property for the resulting operator. These boundary conditions can be thought of as deformations to the graph of a suitable operator mapping APS boundary conditions to their orthogonal complement. This thesis aims at applying the boundary conditions found by Bär and Ballmann to a Lorentzian setting to understand more general types of boundary conditions for the Dirac operator, conserving Fredholm property as well as providing regularity results and relative index formulas for the resulting operators. As it turns out, there are some differences in applying these graph-type boundary conditions to the Lorentzian Dirac operator when compared to the Riemannian setting. It will be shown that in contrast to the Riemannian case, going from a Fredholm boundary condition to its orthogonal complement works out fine in the Lorentzian setting. On the other hand, in order to deduce Fredholm property and regularity of solutions for graph-type boundary conditions, additional assumptions for the deformation maps need to be made. The thesis is organized as follows. In chapter 1 basic facts about Lorentzian and Riemannian spin manifolds, their spinor bundles and the Dirac operator are listed. These will serve as a foundation to define the setting and prove the results of later chapters. Chapter 2 defines the general notion of boundary conditions for the Dirac operator used in this thesis and introduces the APS boundary conditions as well as their graph type deformations. Also the role of the wave evolution operator in finding Fredholm boundary conditions is analyzed and these boundary conditions are connected to notion of Fredholm pairs in a given Hilbert space. Chapter 3 focuses on the principal symbol calculation of the wave evolution operator and the results are used to proof Fredholm property as well as regularity of solutions for suitable graph-type boundary conditions. Also sufficient conditions are derived for (pseudo-)local boundary conditions imposed on the Dirac operator to yield a Fredholm operator with a smooth solution space. In the last chapter 4, a few examples of boundary conditions are calculated applying the results of previous chapters. Restricting to special geometries and/or boundary conditions, results can be obtained that are not covered by the more general statements, and it is shown that so-called transmission conditions behave very differently than in the Riemannian setting. N2 - Der Indexsatz für elliptische Operatoren auf geschlossenen Riemannschen Mannigfaltigkeiten von Atiyah und Singer hat zahlreiche Anwendungen in Analysis, Geometrie und Topologie, ist aber ungeeignet für eine Verallgemeinerung auf Lorentz-Mannigfaltigkeiten. Durch die Einführung nicht-lokaler Randbedingungen, gewonnen aus der Spektralzerlegung eines induzierten Randoperators, beweisen Atiyah, Patodi und Singer (APS) einen Indexsatz für den Fall kompakter Riemannscher Mannigfaltigkeiten mit Rand. Aufbauend auf diesem Resultat und mit Hilfe der Charakterisierung des Spektralflusses durch Philipps gelangen Bär und Strohmaier zu einem Indexsatz für den Dirac-Operator auf global hyperbolischen Lorentz-Mannigfaltigkeiten mit kompakten und raumartigen Cauchy-Hyperflächen. Ihr Ergebnis zeigt unter anderem, dass der Dirac Operator auf solchen Mannigfaltigkeiten und unter APS Randbedingungen ein Fredholm-Operator mit glattem Kern ist und das sein Index sich aus einer zum Riemannschen Fall analogen Formel berechnen lässt. Zurück im Riemannschen Setup zeigen Bär und Ballmann eine allgemeine Charakterisierung von Randbedingungen für elliptische Differentialoperatoren erster Ordnung die sowohl die Regularität von Lösungen, als auch Fredholm-Eigenschaft des resultierenden Operators garantieren. Die dort entwickelten Randbedingungen können als Deformation auf den Graphen einer geeigneten Abbildung der APS-Randbedingung auf ihr orthogonales Komplement verstanden werden. Die vorliegende Arbeit hat das Ziel die von Bär und Ballmann beschriebenen Randbedingungen auf den Dirac-Operator von global hyperbolischen Lorentz-Mannigfaltigkeiten zu übertragen um eine allgemeinere Klasse von Randbedingungen zu finden unter denen der resultierende Dirac-Operator Fredholm ist und einen glatten Lösungsraum hat. Weiterhin wird analysiert wie sich derartige Deformation von APS-Randbedingungen auf den Index solcher Operatoren auswirken und wie dieser aus den bekannten Resultaten für den APS-Index berechnet werden kann. Es wird unter anderem gezeigt, dass im Gegensatz zum Riemannschen Fall beim Übergang von Randbedingungen zu ihrem orthogonalen Komplement die Fredholm-Eigenschaft des Operators erhalten bleibt. Andererseits sind zusätzliche Annahme nötig um die Regularität von Lösungen, sowie die Fredholm-Eigenschaft für Graph-Deformationen im Fall von Lorentz-Mannigfaltigkeiten zu erhalten. Die Arbeit ist dabei wie folgt aufgebaut. In Kapitel 1 werden grundlegende Fakten zu Lorentzschen und Riemannschen Spin-Mannigfaltigkeiten, ihren Spinor-Bündeln und Dirac-Operatoren zusammengetragen. Diese Informationen dienen als Ausgangspunkt zur Definition und Analyse von Randbedingungen in späteren Kapiteln der Arbeit. Kapitel 2 definiert allgemein den Begriff der Randbedingung wie er in dieser Arbeit verwendet wird und führt zudem den sogenannten ''wave-evolution-Operator'' ein, der eine wichtige Rolle im Finden und Analysieren von Fredholm-Randbedingungen für den Dirac-Operator spielen wird. Zuletzt wird der Zusammenhang zwischen Fredholm-Paaren eines Hilbert-Raumes und Fredholm-Randbedingungen für den Dirac-Operator erklärt. Kapitel 3 beschäftigt sich mit der Berechnung des Hauptsymbols des wave-evolution-Operators und die dort erzielten Resultate werden verwendet um Fredholm-Eigenschaft, sowie Regularität von Lösungen für geeignete Deformationen von APS-Randbedingungen zu beweisen. Weiterhin werden hinreichende Bedingungen für (pseudo-)lokale Randbedingungen abgeleitet, die Fredholm-Eigenschaft und Regularität für den resultierenden Dirac-Operator garantieren. Kapitel 4 zeigt, aufbauend auf den Ergebnissen der Kapitel 1-3, einige Beispiele von lokalen und nicht-lokalen Randbedingungen für den Dirac-Operator. Unter gewissen Einschränkungen an die Geometrie der zugrunde liegenden Mannigfaltigkeit bzw. den gestellten Randbedingungen können Ergebnisse erzielt werden die in den allgemeineren Resultaten der vorangehenden Kapitel nicht enthalten sind. Zuletzt werden sogenannte Transmission-Bedingungen analysiert und die Unterschiede dieser Randbedingungen zum Riemannschen Fall aufgezeigt. T2 - Randwertprobleme für den Lorentschen Diracoperator KW - Dirac Operator KW - Boundary Value Problems KW - Lorentzian Geometry KW - Randwertprobleme KW - Diracoperator KW - Lorentzgeometrie Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-548391 ER -