The classical Cahn–Hilliard (CH) equation corresponds to a gradient dynamics model that describes phase decomposition in a binary mixture. In the spinodal region, an initially homogeneous state spontaneously decomposes via a large-scale instability into drop, hole or labyrinthine concentration patterns of a typical structure length followed by a continuously ongoing coarsening process. Here, we consider the coupled CH dynamics of two concentration fields and show that non-reciprocal (or active or non-variational) coupling may induce a small-scale (Turing) instability. At the corresponding primary bifurcation, a branch of periodically patterned steady states emerges. Furthermore, there exist localized states that consist of patterned patches coexisting with a homogeneous background. The branches of steady parity-symmetric and parity-asymmetric localized states form a slanted homoclinic snaking structure typical for systems with a conservation law. In contrast to snaking structures in systems with gradient dynamics, here, Hopf instabilities occur at a sufficiently large activity, which results in oscillating and travelling localized patterns.
{"title":"Localized states in coupled Cahn–Hilliard equations","authors":"Tobias Frohoff-Hülsmann;Uwe Thiele","doi":"10.1093/imamat/hxab026","DOIUrl":"10.1093/imamat/hxab026","url":null,"abstract":"The classical Cahn–Hilliard (CH) equation corresponds to a gradient dynamics model that describes phase decomposition in a binary mixture. In the spinodal region, an initially homogeneous state spontaneously decomposes via a large-scale instability into drop, hole or labyrinthine concentration patterns of a typical structure length followed by a continuously ongoing coarsening process. Here, we consider the coupled CH dynamics of two concentration fields and show that non-reciprocal (or active or non-variational) coupling may induce a small-scale (Turing) instability. At the corresponding primary bifurcation, a branch of periodically patterned steady states emerges. Furthermore, there exist localized states that consist of patterned patches coexisting with a homogeneous background. The branches of steady parity-symmetric and parity-asymmetric localized states form a slanted homoclinic snaking structure typical for systems with a conservation law. In contrast to snaking structures in systems with gradient dynamics, here, Hopf instabilities occur at a sufficiently large activity, which results in oscillating and travelling localized patterns.","PeriodicalId":56297,"journal":{"name":"IMA Journal of Applied Mathematics","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42394943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Cris R Hasan;Hinke M Osinga;Claire M Postlethwaite;Alastair M Rucklidge
Heteroclinic-induced spiral waves may arise in systems of partial differential equations that exhibit robust heteroclinic cycles between spatially uniform equilibria. Robust heteroclinic cycles arise naturally in systems with invariant subspaces, and their robustness is considered with respect to perturbations that preserve these invariances. We make use of particular symmetries in the system to formulate a relatively low-dimensional spatial two-point boundary-value problem in Fourier space that can be solved efficiently in conjunction with numerical continuation. The standard numerical set-up is formulated on an annulus with small inner radius, and Neumann boundary conditions are used on both inner and outer radial boundaries. We derive and implement alternative boundary conditions that allow for continuing the inner radius to zero and so compute spiral waves on a full disk. As our primary example, we investigate the formation of heteroclinic-induced spiral waves in a reaction–diffusion model that describes the spatiotemporal evolution of three competing populations in a 2D spatial domain—much like the Rock–Paper–Scissors game. We further illustrate the efficiency of our method with the computation of spiral waves in a larger network of cyclic dominance between five competing species, which describes the so-called Rock–Paper–Scissors–Lizard–Spock game.
{"title":"Numerical continuation of spiral waves in heteroclinic networks of cyclic dominance","authors":"Cris R Hasan;Hinke M Osinga;Claire M Postlethwaite;Alastair M Rucklidge","doi":"10.1093/imamat/hxab027","DOIUrl":"10.1093/imamat/hxab027","url":null,"abstract":"Heteroclinic-induced spiral waves may arise in systems of partial differential equations that exhibit robust heteroclinic cycles between spatially uniform equilibria. Robust heteroclinic cycles arise naturally in systems with invariant subspaces, and their robustness is considered with respect to perturbations that preserve these invariances. We make use of particular symmetries in the system to formulate a relatively low-dimensional spatial two-point boundary-value problem in Fourier space that can be solved efficiently in conjunction with numerical continuation. The standard numerical set-up is formulated on an annulus with small inner radius, and Neumann boundary conditions are used on both inner and outer radial boundaries. We derive and implement alternative boundary conditions that allow for continuing the inner radius to zero and so compute spiral waves on a full disk. As our primary example, we investigate the formation of heteroclinic-induced spiral waves in a reaction–diffusion model that describes the spatiotemporal evolution of three competing populations in a 2D spatial domain—much like the Rock–Paper–Scissors game. We further illustrate the efficiency of our method with the computation of spiral waves in a larger network of cyclic dominance between five competing species, which describes the so-called Rock–Paper–Scissors–Lizard–Spock game.","PeriodicalId":56297,"journal":{"name":"IMA Journal of Applied Mathematics","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43674659","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Systems of activator–inhibitor reaction–diffusion equations posed on an infinite line are studied using a variety of analytical and numerical methods. A canonical form is considered, which contains all known models with simple cubic autocatalytic nonlinearity and arbitrary constant and linear kinetics. Restricting attention to models that have a unique homogeneous equilibrium, this class includes the classical Schnakenberg and Brusselator models, as well as other systems proposed in the literature to model morphogenesis. Such models are known to feature Turing instability, when activator diffuses more slowly than inhibitor, leading to stable spatially periodic patterns. Conversely in the limit of small feed rates, semi-strong interaction asymptotic analysis shows existence of isolated spike-like patterns. This paper describes the broad bifurcation structures that connect these two regimes. A certain universal two-parameter state diagram is revealed in which the Turing bifurcation becomes sub-critical, leading to the onset of homoclinic snaking. This regime then morphs into the spike regime, with the outer-fold being predicted by the semi-strong asymptotics. A rescaling of parameters and field concentrations shows how this state diagram can be studied independently of the diffusion rates. Temporal dynamics is found to strongly depend on the diffusion ratio though. A Hopf bifurcation occurs along the branch of stable spikes, which is subcritical for small diffusion ratio, leading to collapse to the homogeneous state. As the diffusion ratio increases, this bifurcation typically becomes supercritical and interacts with the homoclinic snaking and also with a supercritical homogeneous Hopf bifurcation, leading to complex spatio-temporal dynamics. The details are worked out for a number of different models that fit the theory using a mixture of weakly nonlinear analysis, semi-strong asymptotics and different numerical continuation algorithms.
{"title":"Localized patterns and semi-strong interaction, a unifying framework for reaction–diffusion systems","authors":"Fahad Al Saadi;Alan Champneys;Nicolas Verschueren","doi":"10.1093/imamat/hxab036","DOIUrl":"10.1093/imamat/hxab036","url":null,"abstract":"Systems of activator–inhibitor reaction–diffusion equations posed on an infinite line are studied using a variety of analytical and numerical methods. A canonical form is considered, which contains all known models with simple cubic autocatalytic nonlinearity and arbitrary constant and linear kinetics. Restricting attention to models that have a unique homogeneous equilibrium, this class includes the classical Schnakenberg and Brusselator models, as well as other systems proposed in the literature to model morphogenesis. Such models are known to feature Turing instability, when activator diffuses more slowly than inhibitor, leading to stable spatially periodic patterns. Conversely in the limit of small feed rates, semi-strong interaction asymptotic analysis shows existence of isolated spike-like patterns. This paper describes the broad bifurcation structures that connect these two regimes. A certain universal two-parameter state diagram is revealed in which the Turing bifurcation becomes sub-critical, leading to the onset of homoclinic snaking. This regime then morphs into the spike regime, with the outer-fold being predicted by the semi-strong asymptotics. A rescaling of parameters and field concentrations shows how this state diagram can be studied independently of the diffusion rates. Temporal dynamics is found to strongly depend on the diffusion ratio though. A Hopf bifurcation occurs along the branch of stable spikes, which is subcritical for small diffusion ratio, leading to collapse to the homogeneous state. As the diffusion ratio increases, this bifurcation typically becomes supercritical and interacts with the homoclinic snaking and also with a supercritical homogeneous Hopf bifurcation, leading to complex spatio-temporal dynamics. The details are worked out for a number of different models that fit the theory using a mixture of weakly nonlinear analysis, semi-strong asymptotics and different numerical continuation algorithms.","PeriodicalId":56297,"journal":{"name":"IMA Journal of Applied Mathematics","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47648841","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}