Semi-algebraic methods for symbolic analysis of complex reaction networks

The identification of chemical mechanism that can exhibit oscillatory phenomena in reaction networks are currently of intense interest. In particular, the parametric question of the existence of Hopf bifurcations has gained increasing popularity due to its relation to the oscillatory behavior around the fixed points. However, the detection of oscillations in high-dimensional systems and systems with constraints by the available symbolic methods has proven to be difficult. The development of new efficient methods are therefore required to tackle the complexity caused by the high-dimensionality and non-linearity of these systems. In this thesis, we mainly present efficient algorithmic methods to detect Hopf bifurcation fixed points in (bio)-chemical reaction networks with symbolic rate constants, thereby yielding information about their oscillatory behavior of the networks. The methods use the representations of the systems on convex coordinates that arise from stoichiometric network analysis. One of the methods called HoCoQ reduces the problem of determining the existence of Hopf bifurcation fixed points to a first-order formula over the ordered field of the reals that can then be solved using computational-logic packages. The second method called HoCaT uses ideas from tropical geometry to formulate a more efficient method that is incomplete in theory but worked very well for the attempted high-dimensional models involving more than 20 chemical species. The instability of reaction networks may lead to the oscillatory behaviour. Therefore, we investigate some criterions for their stability using convex coordinates and quantifier elimination techniques. We also study Muldowney's extension of the classical Bendixson-Dulac criterion for excluding periodic orbits to higher dimensions for polynomial vector fields and we discuss the use of simple conservation constraints and the use of parametric constraints for describing simple convex polytopes on which periodic orbits can be excluded by Muldowney's criteria. All developed algorithms have been integrated into a common software framework called PoCaB (platform to explore bio- chemical reaction networks by algebraic methods) allowing for automated computation workflows from the problem descriptions. PoCaB also contains a database for the algebraic entities computed from the models of chemical reaction networks.

The Navier-Stokes Equations with Time Delay

In the present paper we use a time delay epsilon > 0 for an energy conserving approximation of the nonlinear term of the non-stationary Navier-Stokes equations. We prove that the corresponding initial value problem (N_epsilon)in smoothly bounded domains G \subseteq R^3 is well-posed. Passing to the limit epsilon \rightarrow 0 we show that the sequence of stabilized solutions has an accumulation point such that it solves the Navier-Stokes problem (N_0) in a weak sense (Hopf).

Characterization of the molecular clockwork in the cockroach Rhyparobia maderae

Der Wechsel von Tag und Nacht erzeugt einen regelmäßigen Rhythmus von verschiedenen Umweltreizen, allen voran Licht und Temperatur. Fast jedes bis zum heutigen Tage untersuchte Lebewesen besitzt einen endogenen Mechanismus zur Zeitwahrnehmung, und diese "innere Uhr" befähigt Lebewesen dazu, sich vorausschauend an rhythmische Umwelt-Änderungen anzupassen. Circadiane Rhythmen bestehen auch ohne jegliche äußere Reize und basieren auf einem molekularen Rückkopplungs-Mechanismus, der Rhythmen in Genexpression und Proteinkonzentration von etwa 24 Stunden erzeugt. Obwohl sich die grundsätzlichen Mechanismen und Komponenten dieses molekularen Uhrwerks in allen Insekten ähneln, zeigte sich jedoch immer mehr, dass es im Detail doch wesentliche Unterschiede zwischen verschiedenen Insektengruppen gibt. Während das molekulare Uhrwerk der Fruchtfliege Drosophila melanogaster inzwischen sehr gut untersucht ist, fehlen bei den meisten Insektengruppen immernoch eingehende Untersuchungen. Fast nichts ist über die molekulare Basis von circadianen Rhythmen bei der Schabe Rhyparobia maderae bekannt, obwohl diese Art bereits seit Langem als Modellorganismus in der Chronobiologie dient. Um mit der Forschung am molekularen, circadianen System von R. maderae zu beginnen, wurde die Struktur und das Expressionsprofil der core feedback loop Gene per, tim1 und cry2 analysiert. Mittels degenerierten Primern und RACE konnte das vollständige offene Leseraster (OLR) von rmPer und rmCry2, und ein Teil des rmTim1 OLR kloniert werden. Eine phylogenetische Analyse gruppierte rmPER und rmCRY2 gemeinsam mit den Orthologa hemimetaboler Insekten. Viele bei D. melanogaster funktionell charakterisierte Domänen sind bei diesen Proteinen konserviert, was auf eine ähnliche Funktion in der inneren Uhr von R. maderae hinweist. Mittels quantitativer PCR konnte gezeigt werden, dass die mRNA von rmPer, rmTim1 und rmCry2 in verschiedenen Lichtregimen in der gleichen Phasenlage Tageszeit-abhängig schwankt. Die Phasenlage stellte sich bei unterschiedlichen Photoperioden jeweils relativ zum Beginn der Skotophase ein, mit Maxima in der ersten Hälfte der Nacht. Auch im Dauerdunkel zeigen sich Rhythmen in der rmTim1 und rmCry2 Expression. Die Amplitude der rmPer Expressionsrhythmen war jedoch so gering, dass keine signifikanten Unterschiede zwischen den einzelnen Zeitgeberzeiten (ZT) festgestellt werden konnten. Mittels Laufrad-Assays wurde untersucht wie Kurz- und Langtag Lichtregime die Verhaltensrhythmen beeinflussen. Es konnten nur Unterschiede in der Periodenlänge unter freilaufenden Bedingungen festgestellt werden, wenn höhere Lichtintensitäten (1000lx) zur Synchronisation (entrainment) genutzt wurden. Die Periode des freilaufenden Rhythmus war bei Tieren aus dem Kurztag länger. Die photoperiodische Plastizität zeigte sich also auch auf Verhaltensebene, obwohl höhere Lichtintensitäten notwendig waren um einen Effekt zu beobachten. Basierend auf den Sequenzen der zuvor klonierten OLR wurden gegen rmPER, rmTIM1 und rmCRY2 gerichtete Antikörper hergestellt. Die Antikörper gegen rmPER und rmTIM1 erkannten in western blots sehr wahrscheinlich spezifisch das jeweilige Protein. Zeitreihen von Gehirngewebe-Homogenisaten zeigten keinen offensichtlichen circadianen Rhythmus in der Proteinkonzentration, wahrscheinlich auf Grund einer Oszillation mit niedriger Amplitude. In Immunhistochemischen Färbungen konnte nur mit dem gegen rmPER gerichteten Antikörper aus Kaninchen ein Signal beobachtet werden. Beinahe jede Zelle des Zentralnervensystems war rmPER-immunreaktiv im Zellkern. Es konnten keine Unterschiede zwischen den untersuchten ZTs festgestellt werden, ähnlich wie bei den western blot Zeitreihen. In dieser Studie konnten erstmals molekulare Daten der circadianen Uhr von R. maderae erfasst und dargestellt werden. Die Uhrgene per, tim1 und cry2 werden in dieser Schabenart exprimiert und ihre Domänenstruktur sowie das circadiane Expressionsmuster ähneln dem hypothetischen ursprünglichen Insektenuhrwerk, welches der circadianen Uhr von Vertebraten nahesteht. Das molekulare Uhrwerk von R. maderae kann sich an unterschiedliche Photoperioden anpassen, und diese Anpassungen manifestieren sich im Expressionsprofil der untersuchten Uhrgene ebenso wie im Verhalten.