Autophosphorylation and the Dynamics of the Activation of Lck.

Lck (lymphocyte-specific protein tyrosine kinase) is an enzyme which plays a number of important roles in the function of immune cells. It belongs to the Src family of kinases which are known to undergo autophosphorylation. It turns out that this leads to a remarkable variety of dynamical behaviour which can occur during their activation. We prove that in the presence of autophosphorylation one phenomenon, bistability, already occurs in a mathematical model for a protein with a single phosphorylation site. We further show that a certain model of Lck exhibits oscillations. Finally, we discuss the relations of these results to models in the literature which involve Lck and describe specific biological processes, such as the early stages of T cell activation and the stimulation of T cell responses resulting from the suppression of PD-1 signalling which is important in immune checkpoint therapy for cancer.

An anisotropic interaction model for simulating fingerprints.

Evidence suggests that both the interaction of so-called Merkel cells and the epidermal stress distribution play an important role in the formation of fingerprint patterns during pregnancy. To model the formation of fingerprint patterns in a biologically meaningful way these patterns have to become stationary. For the creation of synthetic fingerprints it is also very desirable that rescaling the model parameters leads to rescaled distances between the stationary fingerprint ridges. Based on these observations, as well as the model introduced by Kücken and Champod we propose a new model for the formation of fingerprint patterns during pregnancy. In this anisotropic interaction model the interaction forces not only depend on the distance vector between the cells and the model parameters, but additionally on an underlying tensor field, representing a stress field. This dependence on the tensor field leads to complex, anisotropic patterns. We study the resulting stationary patterns both analytically and numerically. In particular, we show that fingerprint patterns can be modeled as stationary solutions by choosing the underlying tensor field appropriately.

Auxin transport model for leaf venation.

The plant hormone auxin controls many aspects of the development of plants. One striking dynamical feature is the self-organization of leaf venation patterns which is driven by high levels of auxin within vein cells. The auxin transport is mediated by specialized membrane-localized proteins. Many venation models have been based on polarly localized efflux-mediator proteins of the PIN family. Here, we investigate a modelling framework for auxin transport with a positive feedback between auxin fluxes and transport capacities that are not necessarily polar, i.e. directional across a cell wall. Our approach is derived from a discrete graph-based model for biological transportation networks, where cells are represented by graph nodes and intercellular membranes by edges. The edges are not a priori oriented and the direction of auxin flow is determined by its concentration gradient along the edge. We prove global existence of solutions to the model and the validity of Murray's Law for its steady states. Moreover, we demonstrate with numerical simulations that the model is able connect an auxin source-sink pair with a mid-vein and that it can also produce branching vein patterns. A significant innovative aspect of our approach is that it allows the passage to a formal macroscopic limit which can be extended to include network growth. We perform mathematical analysis of the macroscopic formulation, showing the global existence of weak solutions for an appropriate parameter range.