15.08.2015 Views

Introduction to the Modeling and Analysis of Complex Systems

introduction-to-the-modeling-and-analysis-of-complex-systems-sayama-pdf

introduction-to-the-modeling-and-analysis-of-complex-systems-sayama-pdf

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

260 CHAPTER 13. CONTINUOUS FIELD MODELS I: MODELING• Susceptible-Infected-Recovered (SIR) model (Exercise 7.3): This creates aspatial model <strong>of</strong> epidemiological dynamics.In what follows, we will review a few well-known reaction-diffusion systems <strong>to</strong> get aglimpse <strong>of</strong> <strong>the</strong> rich, diverse world <strong>of</strong> <strong>the</strong>ir dynamics.Turing pattern formation As mentioned at <strong>the</strong> very beginning <strong>of</strong> this chapter, AlanTuring’s PDE models were among <strong>the</strong> first reaction-diffusion systems developed in <strong>the</strong>early 1950s [44]. A simple linear version <strong>of</strong> Turing’s equations is as follows:∂u∂t = a(u − h) + b(v − k) + D u∇ 2 u (13.56)∂v∂t = c(u − h) + d(v − k) + D v∇ 2 v (13.57)The state variables u <strong>and</strong> v represent concentrations <strong>of</strong> two chemical species. a, b, c, <strong>and</strong>d are parameters that determine <strong>the</strong> behavior <strong>of</strong> <strong>the</strong> reaction terms, while h <strong>and</strong> k areconstants. Finally, D u <strong>and</strong> D v are diffusion constants.If <strong>the</strong> diffusion terms are ignored, it is easy <strong>to</strong> show that this system has only oneequilibrium point, (u eq , v eq ) = (h, k). This equilibrium point can be stable for many parametervalues for a, b, c, <strong>and</strong> d. What was most surprising in Turing’s findings is that, evenfor such stable equilibrium points, introducing spatial dimensions <strong>and</strong> diffusion terms <strong>to</strong><strong>the</strong> equations may destabilize <strong>the</strong> equilibrium, <strong>and</strong> thus <strong>the</strong> system may spontaneouslyself-organize in<strong>to</strong> a non-homogeneous pattern. This is called diffusion-induced instabilityor Turing instability. A sample simulation result is shown in Fig. 13.17.The idea <strong>of</strong> diffusion-induced instability is quite counter-intuitive. Diffusion is usuallyconsidered a r<strong>and</strong>om force that destroys any structure in<strong>to</strong> a homogenized mess, yet inthis particular model, diffusion is <strong>the</strong> key <strong>to</strong> self-organization! What is going on? The trickis that this system has two different diffusion coefficients, D u <strong>and</strong> D v , <strong>and</strong> <strong>the</strong>ir differenceplays a key role in determining <strong>the</strong> stability <strong>of</strong> <strong>the</strong> system’s state. This will be discussed inmore detail in <strong>the</strong> next chapter.There is one thing that needs particular attention when you are about <strong>to</strong> simulateTuring’s reaction-diffusion equations. The Turing pattern formation requires small r<strong>and</strong>omperturbations (noise) <strong>to</strong> be present in <strong>the</strong> initial configuration <strong>of</strong> <strong>the</strong> system; o<strong>the</strong>rwise<strong>the</strong>re would be no way for <strong>the</strong> dynamics <strong>to</strong> break spatial symmetry <strong>to</strong> createnon-homogeneous patterns. In <strong>the</strong> meantime, such initial perturbations should be smallenough so that <strong>the</strong>y won’t immediately cause numerical instabilities in <strong>the</strong> simulation.Here is a sample code for simulating Turing pattern formation with a suggested level <strong>of</strong>initial perturbations, using <strong>the</strong> parameter settings shown in Fig. 13.17:

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!