1 Introduction
One of the most intriguing properties of many dynamical systems is their ability to spontaneously generate spatial and spatio-temporal patterns. These have been well studied in fluid dynamics (for example, Rayleigh–Bernard convection patterns), materials (crystal growth), ecology (formation of herds), to mention only a few examples. In chemistry, the spontaneous generation of propagating fronts, target patterns, spiral waves and toroidal scrolls in the Belousov–Zhabotinsky reaction has been analysed in great detail. In this reaction, bromate ions oxidise malonic acid in the presence of a catalyst, cerium, which has the states Ce3+ and Ce4+. Sustained periodic oscillations are observed in the cerium ions. If, instead, one uses Fe2+ as the catalyst, and Fe3+ and phenanthroline, the periodic oscillations are visualised as colour changes between reddish-orange and blue (see, for example, [1,2] for a review). Similar types of patterning arise in physiology and one of the most widely-studied and important areas of wave propagation concerns the electrical activity in the heart [3] which stimulates muscle contraction during heart beat.
In developmental biology, a key aim is to understand the mechanisms underlying spatio-temporal pattern formation. Although genes play a crucial role, a study of genetics alone cannot provide a mechanistic understanding of how physical and chemical processes within a developing system conspire to produce the complex spatio-temporal cues to which cells respond and interact. Indeed, this problem extends beyond developmental biology. For example, in tumour formation, one wishes to understand the combined effects of the signalling cues involved in the regulation of cellular processes no longer functioning properly and new signalling cues initiated by the tumour cells. A number of the processes that occur during the formation and spread of tumour cells are also of vital importance in wound healing, where their function is beneficial to the organism.
In these examples, a number of complex mechanical and biochemical processes interact in a highly nonlinear way. Such systems are amenable to mathematical modelling and the role of the modeller is to suggest explanations, based on biologically plausible mechanisms, of observed behaviour and to make experimentally testable predictions.
There are now a vast number of mathematical and computational models proposed to describe pattern formation in a number of different areas, too many to describe in one article. Therefore, by way of illustration, I will focus on pattern formation in development. In such systems, cell fate can be strongly influenced by environmental factors. Therefore, to answer questions on pattern formation, one must really address the issue of how an organism organises the complex spatio-temporal sequence of signalling cues necessary to develop structure in a controlled and coordinated manner. Structure can form as a result of response to chemical signalling, as a consequence of cell–cell interaction, through tissue movement and rearrangement, or most likely, a combination of all three.
This article is based on a lecture given at the summer school in Bedlewo. Its aim was not to provide a comprehensive review of the field, but to provide to a broad audience a flavour of the types of continuum mathematical models that have been proposed to describe pattern formation in biological systems. Section 2 introduces the concept of chemical pre-pattern models, while Section 3 focusses on cell movement models. Coupling model pattern generators is illustrated in Section 4 by way of two examples. Some biological applications are presented in Sections 5 and 6 is devoted to a discussion.
2 Chemical pre-pattern models
The simplest chemical pre-pattern model is that proposed by Wolpert [4] in which a source-sink mechanism, coupled with diffusion and degradation, leads to a spatial gradient in a single chemical. He proposed that this chemical concentration profile provided positional information for cells, which differentiated according to a series of threshold values. Here, the mechanism of setting up the signalling cue is simple, but the response is complex. Alternatively, the pattern formation step may be complicated, but its interpretation simpler, requiring response to only one threshold value. For example, Turing showed that complicated spatial patterns can be generated due to the reaction and diffusion of a number of chemicals [5], a phenomenon now known as diffusion-driven instability. The reaction kinetics he considered were stabilizing and diffusion is, of course, a homogenizing process. Yet combined in the appropriate way, he showed that these two stabilizing influences could conspire to produce an instability resulting in spatially heterogeneous chemical profiles – a spatial pattern. This is an example of an emergent property and is termed diffusion-driven instability, that is, a spatially uniform steady state, linearly stable in the absence of diffusion, becomes linearly unstable in the presence of diffusion. The resultant spatial pattern is said to have occurred via self-organisation.
The simplest model that can give rise to this instability involves two chemicals and takes the form:
(1) |
(2) |
- I fu+gv<0
- II fugv−fvgu>0
- III
One possible scenario for pattern formation is that in which fu and gu are positive, the latter implying that u activates v, while gv and fv are negative, so that v inhibits u (see, for example, [6]). Condition I⇒|fu|<|gv|, so from III D1<D2. That is, the activator diffuses more slowly than the inhibitor. This is an example of the classic property of many self-organising systems, namely short-range activation, long-range inhibition, an idea first introduced by Gierer and Meinhardt [7].
In Turing's original model, f and g were linear so that if the uniform steady state became unstable, then the chemical concentrations would grow exponentially. This, of course, is biologically unrealistic. Since Turing's paper, a number of models have been proposed wherein f and g are nonlinear so that when the uniform steady state becomes unstable it may or may not evolve to a bounded, stationary, spatially non-uniform, steady state (a spatial pattern) depending on the nonlinear terms. Examples include:
- (i) the Gierer–Meinhardt model [7]:
where α,β,γ,δ and η are positive constants, u activates v and v inhibits u;(3) - (ii) the Thomas model [8]:
where u0, v0, α, β, Vm, Km and Ks are positive constants;(4) - (iii) the Gray–Scott model [9]:
where F and k are positive constants.(5)
(6) |
For these systems, uniform steady state values for u and v can be determined and the model equations linearised about these steady states. Imposing the conditions I–III above defines the parameter space in which diffusion-driven instability occurs.
In many cases, particularly in one dimension, the results of the linear analysis carry over to the weakly nonlinear case but the fully nonlinear system can only be analysed by numerical simulation. It can be shown that the model exhibits, in one dimension, multiple stable steady states, while in two dimensions there is a further degeneracy. For example, the ability to exhibit stripes or spots depends crucially on the type of nonlinearities present (see, for example, [13,14], and Fig. 1).
The Gierer–Meinhardt model can exhibit highly localised patterns, known as spike-type solutions. Simplified versions of this model can be analysed to study the dynamics of the spike solutions on one- and two-dimensional domains (see, for example, [16]). This type of behaviour has been observed in the Gray–Scott model and analysed in detail (see, for example, [17,18]). The latter model also exhibits the phenomenon of self-replicating spots, which has been observed experimentally (see, for example, [17,19,20]), and travelling pulses (see, for example, [21]).
There is now a great deal of literature on this subject and general results on the patterning properties of reaction–diffusion equations can be found in the paper by Cross and Hohenberg [22] and the books by Britton [23], Fife [24], Grindrod [25], Murray [1] and Segel [26].
3 Cell movement models
These models describe how cell aggregations can occur spontaneously from an initially spatially homogeneous cell density profile. Essentially, the spatially uniform steady state becomes unstable when the cell dispersing factors (for example, diffusion) are overcome by aggregating factors such as movement up chemical gradients (known as chemotaxis) or adhesive gradients (haptotaxis), or passive convection arising as the result of cell-traction induced deformation of the extracellular matrix (ECM) on which cells move.
The typical chemotaxis model takes the form:
(7) |
(8) |
Oster et al. [30] showed how mechanical effects could be taken into account. Their model took the form:
(9) |
(10) |
They further modelled the ECM as a viscoelastic material at low Reynolds number, so
(11) |
(12) |
(13) |
The stress due to cell traction is modelled by
(14) |
Linear and nonlinear analyses, plus numerical simulation, show that models within this general mechanical framework can exhibit steady state spatial patterns [31] and spatio-temporal patterns [32].
4 Coupling pattern generators
The above models provide a framework upon which one can build more complicated and realistic models. For example, it is probable that cells respond to more than one chemotactic cue. Recently, Painter et al. [33] considered the case where the cells respond to two chemical cues, assuming that the latter were components in a Turing system. The simplest such model takes the form:
(15) |
(16) |
(17) |
(18) |
Reaction–diffusion models can have instabilities other than the Turing instability that we have thus far discussed. For example, depending on the nature of the intersection of the nullclines f=g=0 in Eqs. (1) and (2), with D1=D2=0, one may obtain excitable behaviour, that is, for extra-threshold stimulation away from the stable steady state, the system undergoes a long excursion before returning to its steady state; it is also possible to obtain oscillatory behaviour. With diffusion included, this leads to the possibility of travelling wavetrain solutions. If one now couples chemotaxis to this system it is possible to obtain a completely different mode of aggregation to that previously described. Cell streaming in the cellular slime mould Dictyostelium discoideum is one such example. This serves as an excellent model paradigm for morphogenesis as it exhibits the processes of signal transduction, signal relay, cell movement and aggregation, all of which play important roles in early embryonic development in higher organisms. Briefly, starvation conditions trigger a developmental programme which is initiated by cell–cell signalling via the extracellular messenger cyclic 3′5′-adenosine monophosphate (cAMP). The chemotactic response to this signal leads to the formation of a multicellular organism composed typically of 104–105 cells. This organism passes through an intermediate motile (slug) phase during which cells differentiate into pre-spore and pre-stalk types, before developing a fruiting body, aiding the dispersal of spores from which, under favourable conditions, new amoebae develop.
Several models have been proposed to account for many of the afore-mentioned phenomena. Here, we focus only on a model for cell aggregation proposed by Höfer et al. [34,35] – we refer the reader to this paper for a fuller description of the biology and parameter values, as well as references to other models. The model takes the form:
(19) |
(20) |
(21) |
The second and third equations are a simplified model of the cAMP-cell receptor dynamics (see [36] for full details) modified by cell density effects; the rate of cAMP synthesis per cell is f1(u,v)=(bv+v2)(a+u2)/(1+u2), where a and b are positive constants. This models autocatalytic production with saturation, mediated by receptor binding. The functions f2 and g are assumed to be linear in u, to model linear degradation of cAMP and binding of active receptors to cAMP, respectively, while α is assumed to be a positive constant, accounting for the resensitization of the desensitized fraction of receptors at constant rate. This subsystem exhibits excitable dynamics leading to the formation of spiral waves of cAMP concentration. Cell density effects are modelled by the factor φ(n)=n/(1−ρn/(K+n)), where ρ and K are positive constants. This excitable system is coupled with a chemotaxis equation for cell density, with constant diffusion coefficient μ, and chemotactic sensitivity χ(v)=χ0vm/(Am+vm), m>1, which accounts for adaptation, where χ0 and A are positive constants. Hence cells only move in the wavefront, when they have a substantial number of active free receptors. The model thus exhibits the pulsatile movement of cells that is observed experimentally. Note that if χ(v) was a constant, as in the classical cell-chemotaxis model, then the cells would move also in the waveback and end up further away from their signalling neighbours than at the start of the signal.
Using experimentally determined parameter values, the above model captures the key features of the aggregation process (see Fig. 2). The model is consistent with the observation that as streaming proceeds, the wavespeed of the spiral patterns decreases, and thus provides an alternative explanation for this phenomenon, which was previously explained by the assumption that biochemical changes must be occurring in the cell-cAMP system, altering the parameter values. In the above model no such change is required because, as the cells form streams, they alter the conditions through which the cAMP waves are propagating. This is initially equivalent to increasing the excitability of the medium which, in turn, leads to an increase in the rotation frequency of the spiral core. As a result [38] the wavespeed of the spiral patterns decreases.
5 Applications
Turing was the first to formulate the notion of a chemical morphogen, that is, he hypothesized that cells responded to the concentration of certain chemicals and differentiated accordingly. Recently, a number of morphogens have been discovered, but it is still an open question as to whether their spatial pattern is set up by a Turing mechanism. In some cases, for example, the fruit fly Drosophila, it has been shown that some of the early patterning is definitely not due to a Turing-type mechanism, but is set up due to a complex interaction of gradients.
The book by Murray [1] describes a number of applications of the types of models discussed in this paper. Meinhardt [39] has shown that Turing-type models (with two or more chemicals) can exhibit the spectacular variety of patterns seen on sea shells, while Nijhout [40] has shown that such models, together with a small number of sources and sinks, can exhibit the vast array of pigmentation patterns observed on certain butterfly wings. This work has recently been extended (see [41], and Fig. 3).
These models have been applied to account for animal coat markings [42–46] and to skeletal patterning in the limb (see [47] for a critical review). The Turing model predicts that the complexity of pattern increases with domain size and this has been observed in the chick limb where an experimental manipulation which increases the limb size results in more digits. Conversely, reduction of domain size should decrease the number of digits and this has also been observed.
6 Discussion
The mathematical models that have been presented above propose different scenarios for biological pattern formation. For example, the mechanical model assumes that cells aggregate and differentiate accordingly, while the Turing model assumes that cell density remains uniform and cells differentiate in response to spatially patterned morphogens. Mathematically, thus far it has not been possible to show that there are certain patterns that one of the models exhibits which the other cannot produce. Thus, from a mathematical viewpoint, it is not possible to distinguish, as yet, between these models. However, one could then say that some patterns, and patterning properties are generic and mechanism-independent, and this leads to the notion of developmental constraints [48].
The models propose different scenarios for pattern formation and, to date, it is a highly controversial issue as to which, if any, of the models is the appropriate one. In most of the above models, pattern formation arises as a bifurcation from an initially spatially homogeneous steady state. However, as recognised by Turing, this rarely happens in an embryo, where certain polarities are inherited maternally and the system evolves from one pattern to another. This idea was used by Maini et al. [49], who considered a Turing model in an environment where a gradient of a third chemical controlled the diffusivity of the chemicals in the Turing system. They showed that such a model gave rise to results that were consistent with certain recombination experiments in chick limb that appeared to contradict the Turing model. It turns out that there actually is a gradient in diffusivity across the domain, as hypothesised by the model.
Although the biochemistry underlying the modelling of spatio-temporal patterning in Dictyostelium discoideum is reasonably well known so that models have a firm basis (see [50], and references therein) that is not the case of the other applications presented above. Therefore the issue arises as to whether or not Turing-type instabilities do play a role in biology (as mentioned, they have been shown to occur in chemistry). At the very least, the Turing model, and the subsequent modelling approaches it has inspired, provide a way of thinking about pattern formation that is very different to how it had been thought of before, it increases our intuition, and understanding of the patterning possibilities afforded by combining reaction and diffusion. Moreover, the model equations are arguably some of the richest in mathematics and lead to a number of challenging and fascinating mathematical problems.
Acknowledgements
This paper was written while I was a Foreign Visiting Fellow at the Laboratory of Nonlinear Studies and Computation, Hokkaido University. Sapporo, Japan, and I thank Professor Y. Nishiura for his support and kind hospitality. I acknowledge support from the Royal Society via a Leverhulme Trust Senior Research Fellowship, and thank Ryszard Rudnicki for the invitation to the Summer School at Bedlewo. Finally I thank Thomas Höfer for producing Fig. 2.