Mathematical models are important tools in systems biology, since the regulatory networks in biological cells are too complicated to understand by biological experiments alone. Analytical solutions can be derived only for the simplest models and numerical simulations are necessary in most cases to evaluate the models and their properties and to compare them with measured data. This thesis focuses on the mesoscopic simulation level, which captures both, space dependent behavior by diffusion and the inherent stochasticity of cellular systems. Space is partitioned into compartments by a mesh and the number of molecules of each species in each compartment gives the state of the system. We first examine how to compute the jump coefficients for a discrete stochastic jump process on unstructured meshes from a first exit time approach guaranteeing the correct speed of diffusion. Furthermore, we analyze different methods leading to non-negative coefficients by backward analysis and derive a new method, minimizing both the error in the diffusion coefficient and in the particle distribution. The second part of this thesis investigates macromolecular crowding effects. A high percentage of the cytosol and membranes of cells are occupied by molecules. This impedes the diffusive motion and also affects the reaction rates. Most algorithms for cell simulations are either derived for a dilute medium or become computationally very expensive when applied to a crowded environment. Therefore, we develop a multiscale approach, which takes the microscopic positions of the molecules into account, while still allowing for efficient stochastic simulations on the mesoscopic level. Finally, we compare on- and off-lattice models on the microscopic level when applied to a crowded environment.

Die vorliegende Dissertation beschäftigt sich mit der Anwendung der Theorie der großen Abweichungen auf verschiedene Fragestellungen der stochastischen Analysis und stochastischen Dynamik von Sprungprozessen. Die erste Fragestellung behandelt die erste Austrittszeit aus einem beschränkten Gebiet für eine bestimmte Klasse von Sprungdiffusionen mit exponentiell leichten Sprüngen. In Abhängigkeit von der Leichtheit des Sprungmaßes wird das asymptotische Verhalten der Verteilung und insbesondere der Erwartung der ersten Austrittszeit bestimmt wenn das Rauschen verschwindet. Dabei folgt die Verteilung der ersten Austrittszeit einem Prinzip der großen Abweichungen im Falle eines superexponentiellen Sprungmaßes. Wohingegen im subexponentiellen Fall die Verteilung einem Prinzip moderater Abweichungen genügt. In beiden Fällen wird die Asymptotik bestimmt durch eine deterministische Größe, die den minimalen Energieaufwand beschreibt, um die Sprungdiffusion einen optimalen Kontrollpfad, der zum Austritt führt, folgen zu lassen. Die zweite Fragestellung widmet sich dem Grenzverhalten gekoppelter Vorwärts-Rückwärtssysteme stochastischer Differentialgleichungen bei kleinem Rauschen. Dazu assoziiert ist eine spezielle Klasse nicht-lokaler partieller Differentialgleichungen, die auch in nicht-lokalen Modellen der Fluiddynamik eine Rolle spielen. Mithilfe eines probabilistischen Ansatzes und der Markovschen Struktur dieser Systeme wird die Konvergenz auf Ebene von Viskositätslösungen untersucht. Dabei wird ein Prinzip der großen Abweichungen für die involvierten Stochastischen Prozesse hergeleitet. / This thesis deals with applications of Large Deviations Theory to different problems of Stochastic Dynamics and Stochastic Analysis concerning Jump Processes. The first problem we address is the first exit time from a fixed bounded domain for a certain class of exponentially light jump diffusions. According to the lightness of the jump measure of the driving process, we derive, when the source of the noise vanishes, the asymptotic behavior of the law and of the expected value of first exit time. In the super-exponential regime the law of the first exit time follows a large deviations scale and in the sub-exponential regime it follows a moderate deviations one. In both regimes the first exit time is comprehended, in the small noise limit, in terms of a deterministic quantity that encodes the minimal energy the jump diffusion needs to spend in order to follow an optimal controlled path that leads to the exit. The second problem that we analyze is the small noise limit of a certain class of coupled forward-backward systems of Stochastic Differential Equations. Associated to these stochastic objects are some nonlinear nonlocal Partial Differential Equations that arise as nonlocal toy-models of Fluid Dynamics. Using a probabilistic approach and the Markov nature of these systems we study the convergence at the level of viscosity solutions and we derive a large deviations principles for the laws of the stochastic processes that are involved.

Wird der Äquator-Pol-Energietransfer als Wärmediffusion berücksichtigt, so gehen Energiebilanzmodelle in Reaktions-Diffusionsgleichungen über, deren Modellfall die (deterministische) Chafee-Infante-Gleichung darstellt. Ihre Lösung besitzt zwei stabile Zustände und mehrere instabile auf der separierenden Mannigfaltigkeit (Separatrix) der stabilen Anziehungsgebiete. Es wird bewiesen, dass die Lösung auf geeignet verkleinerten Anziehungsgebieten mit Minimalabstand zur Separatrix innerhalb von Zeitskalen relaxiert, die höchstens logarithmisch darin anwachsen. Motiviert durch statistische Belege aus grönländischen Zeitreihen wird diese partielle Differentialgleichung unter Störung mit unendlichdimensionalem, Hilbertraum-wertigen, regulär variierenden Lévy''schen reinen Sprungrauschen mit index alpha und Intensität epsilon untersucht. Ein kanonisches Beispiel dieses Rauschens ist alpha-stabiles Rauschen im Hilbertraum. Durch Erweiterung einer Methode von Imkeller und Pavlyukevich auf stochastische partielle Differentialgleichungen wird unter milden Bedingungen bewiesen, dass im Gegensatz zu Gauß''schem Rauschen die erwarteten Austritts- und übertrittszeiten zwischen Anziehungsgebieten polynomiell mit Ordnung in der inversen Intensität für kleine Rauschintensität anwachsen. In Kapitel 6 wird eine zusätzliche natürliche “Separatrixhypothese” über das Sprungmaß, eingeführt, die eine obere Schranke für die Austrittszeiten aus einer Umgebung der Separatrix impliziert. Dies ermöglicht den Nachweis einer oberen Schranke für die Austrittszeiten, welche gleichmäßig für Anfangsbedingungen in dem ganzen Anziehungsgebiet gilt. Es folgen zwei Lokalisierungsergebnisse. Schließlich wird gezeigt, dass die Lösung metastabiles Verhalten aufweist. Unter der “Separatrixhypothese” wird dies auf ein Ergebnis erweitert, welches gleichmäßig im Raum gilt. / If equator-to-pole energy transfer by heat diffusion is taken into account, Energy Balance Models turn into reaction-diffusion equations, whose prototype is the (deterministic) Chafee-Infante equation. Its solution has two stable states and several unstable ones on the separating manifold (separatrix) of the stable domains of attraction. We show, that on appropriately reduced domains of attraction of a minimal distance to the separatrix the solution relaxes in time scales increasing only logarithmically in it. Motivated by the statistical evidence from Greenland ice core time series, we consider this partial differential equation perturbed by an infinite-dimensional Hilbert space-valued regularly varying (pure jump) Lévy noise of index alpha and intensity epsilon. A proto-type of this noise is alpha-stable noise in the Hilbert space. Extending a method developed by Imkeller and Pavlyukevich to the SPDE setting we prove under mild conditions that in contrast to Gaussian perturbations the expected exit and transition times between the domains of attraction increase polynomially in the inverse intensity. In Chapter 6 we introduce an additional natural separatrix hypothesis on the jump measure that implies an upper bound on the exit time of a neighborhood of the separatrix. This allows to obtain an upper bound for the asymptotic exit time uniform for the initial positions inside the entire domain of attraction. It is followed by two localization results. Finally we prove that the solution exhibits metastable behavior. Under the separatrix hypothesis we can extend this to a result that holds uniformly in space.