-
Synchronized Memory-Dependent Intracellular Oscillations for a Cell-Bulk ODE-PDE Model in $\mathbb{R}^2$
Authors:
Merlin Pelz,
Michael J. Ward
Abstract:
For a cell-bulk ODE-PDE model in $\mathbb{R}^2$, a hybrid asymptotic-numerical theory is developed to provide a new theoretical and computationally efficient approach for studying how oscillatory dynamics associated with spatially segregated dynamically active ``units" or ``cells" are regulated by a PDE bulk diffusion field that is both produced and absorbed by the entire cell population. The stud…
▽ More
For a cell-bulk ODE-PDE model in $\mathbb{R}^2$, a hybrid asymptotic-numerical theory is developed to provide a new theoretical and computationally efficient approach for studying how oscillatory dynamics associated with spatially segregated dynamically active ``units" or ``cells" are regulated by a PDE bulk diffusion field that is both produced and absorbed by the entire cell population. The study of oscillator synchronization in a PDE diffusion field was one of the initial aims of Yoshiki Kuramoto's foundational work. For this cell-bulk model, strong localized perturbation theory, as extended to a time-dependent setting, is used to derive a new integro-differential ODE system that characterizes intracellular dynamics in a memory-dependent bulk-diffusion field. For this nonlocal reduced system, a novel fast time-marching scheme, relying in part on the \emph{sum-of-exponentials method} to numerically treat convolution integrals, is developed to rapidly and accurately compute numerical solutions to the integro-differential system over long time intervals. For the special case of Sel'kov reaction kinetics, a wide variety of large-scale oscillatory dynamical behavior including phase synchronization, mixed-mode oscillations, and quorum-sensing are illustrated for various ranges of the influx and efflux permeability parameters, the bulk degradation rate and bulk diffusivity, and the specific spatial configuration of cells. Results from our fast algorithm, obtained in under one minute of CPU time on a laptop, are benchmarked against PDE simulations of the cell-bulk model, which are performed with a commercial PDE solver, that have run-times that are orders of magnitude larger.
△ Less
Submitted 1 September, 2024;
originally announced September 2024.
-
Symmetry-Breaking Bifurcations for Compartmental Reaction Kinetics Coupled by Two Bulk Diffusing Species with Comparable Diffusivities in 2-D
Authors:
Merlin Pelz,
Michael J. Ward
Abstract:
For a 2-D coupled PDE-ODE bulk-cell model, we investigate symmetry-breaking bifurcations that can emerge when two bulk diffusing species are coupled to two-component nonlinear intracellular reactions that are restricted to occur only within a disjoint collection of small circular compartments, or "cells", of a common small radius that are confined in a bounded 2-D domain. Outside of the union of t…
▽ More
For a 2-D coupled PDE-ODE bulk-cell model, we investigate symmetry-breaking bifurcations that can emerge when two bulk diffusing species are coupled to two-component nonlinear intracellular reactions that are restricted to occur only within a disjoint collection of small circular compartments, or "cells", of a common small radius that are confined in a bounded 2-D domain. Outside of the union of these cells, the two bulk species with comparable diffusivities and bulk degradation rates diffuse and globally couple the spatially segregated intracellular reactions through Robin boundary conditions across the cell boundaries, which depend on certain membrane reaction rates. In the singular limit of a small common cell radius, we construct steady-state solutions for the bulk-cell model and formulate a nonlinear matrix eigenvalue problem that determines the linear stability properties of the steady-states. For a certain spatial arrangement of cells for which the steady-state and linear stability analysis become highly tractable, we construct a symmetric steady-state solution where the steady-states of the intracellular species are the same for each cell. As regulated by the ratio of the membrane reaction rates on the cell boundaries, we show for various specific prototypical intracellular reactions, and for a specific two-cell arrangement, that our 2-D coupled PDE-ODE model admits symmetry-breaking bifurcations from this symmetric steady-state, leading to linearly stable asymmetric patterns, even when the bulk diffusing species have comparable or possibly equal diffusivities. Overall, our analysis shows that symmetry-breaking bifurcations can occur without the large diffusivity ratio requirement for the bulk diffusing species as is well-known from a Turing stability analysis applied to a spatially uniform steady-state for typical two-component activator-inhibitor systems.
△ Less
Submitted 15 January, 2023;
originally announced January 2023.
-
The Emergence of Spatial Patterns for Compartmental Reaction Kinetics Coupled by Two Bulk Diffusing Species with Comparable Diffusivities
Authors:
Merlin Pelz,
Michael J. Ward
Abstract:
Originating from the pioneering study of Alan Turing, the bifurcation analysis predicting spatial pattern formation from a spatially uniform state for diffusing morphogens or chemical species that interact through nonlinear reactions is a central problem in many chemical and biological systems. From a mathematical viewpoint, one key challenge with this theory for two component systems is that stab…
▽ More
Originating from the pioneering study of Alan Turing, the bifurcation analysis predicting spatial pattern formation from a spatially uniform state for diffusing morphogens or chemical species that interact through nonlinear reactions is a central problem in many chemical and biological systems. From a mathematical viewpoint, one key challenge with this theory for two component systems is that stable spatial patterns can typically only occur from a spatially uniform state when a slowly diffusing "activator" species reacts with a much faster diffusing "inhibitor" species. However, from a modeling perspective, this large diffusivity ratio requirement for pattern formation is often unrealistic in biological settings since different molecules tend to diffuse with similar rates in extracellular spaces. As a result, one key long-standing question is how to robustly obtain pattern formation in the biologically realistic case where the time scales for diffusion of the interacting species are comparable. For a coupled 1-D bulk-compartment theoretical model, we investigate the emergence of spatial patterns for the scenario where two bulk diffusing species with comparable diffusivities are coupled to nonlinear reactions that occur only in localized "compartments", such as on the boundaries of a 1-D domain. The exchange between the bulk medium and the spatially localized compartments is modeled by a Robin boundary condition with certain binding rates. As regulated by these binding rates, we show for various specific nonlinearities that our 1-D coupled PDE-ODE model admits symmetry-breaking bifurcations, leading to linearly stable asymmetric steady-state patterns, even when the bulk diffusing species have equal diffusivities. Depending on the form of the nonlinear kinetics, oscillatory instabilities can also be triggered. Moreover, the analysis is extended to treat a periodic chain of compartments.
△ Less
Submitted 14 January, 2023;
originally announced January 2023.
-
Spot Patterns in the 2-D Schnakenberg Model with Localized Heterogeneities
Authors:
Tony Wong,
Michael J. Ward
Abstract:
A hybrid asymptotic-numerical theory is developed to analyze the effect of different types of localized heterogeneities on the existence, linear stability, and slow dynamics of localized spot patterns for the two-component Schnakenberg reaction-diffusion model in a 2-D domain. Two distinct types of localized heterogeneities are considered: a strong localized perturbation of a spatially uniform fee…
▽ More
A hybrid asymptotic-numerical theory is developed to analyze the effect of different types of localized heterogeneities on the existence, linear stability, and slow dynamics of localized spot patterns for the two-component Schnakenberg reaction-diffusion model in a 2-D domain. Two distinct types of localized heterogeneities are considered: a strong localized perturbation of a spatially uniform feed rate and the effect of removing a small hole in the domain, through which the chemical species can leak out. Our hybrid theory reveals a wide range of novel phenomena such as, saddle-node bifurcations for quasi-equilibrium spot patterns that otherwise would not occur for a homogeneous medium, a new type of spot solution pinned at the concentration point of the feed rate, spot self-replication behavior leading to the creation of more than two new spots, and the existence of a creation-annihilation attractor with at most three spots. Depending on the type of localized heterogeneity introduced, localized spots are either repelled or attracted towards the localized defect on asymptotically long time scales. Results for slow spot dynamics and detailed predictions of various instabilities of quasi-equilibrium spot patterns, all based on our hybrid asymptotic-numerical theory, are illustrated and confirmed through extensive full PDE numerical simulations.
△ Less
Submitted 16 September, 2020;
originally announced September 2020.
-
An Asymptotic Analysis of Localized 3-D Spot Patterns for Gierer-Meinhardt Model: Existence, Linear Stability and Slow Dynamics
Authors:
Daniel Gomez,
Michael J. Ward,
Juncheng Wei
Abstract:
Localized spot patterns, where one or more solution components concentrates at certain points in the domain, are a common class of localized pattern for reaction-diffusion systems, and they arise in a wide range of modeling scenarios. In an arbitrary bounded 3-D domain, the existence, linear stability, and slow dynamics of localized multi-spot patterns is analyzed for the well-known singularly per…
▽ More
Localized spot patterns, where one or more solution components concentrates at certain points in the domain, are a common class of localized pattern for reaction-diffusion systems, and they arise in a wide range of modeling scenarios. In an arbitrary bounded 3-D domain, the existence, linear stability, and slow dynamics of localized multi-spot patterns is analyzed for the well-known singularly perturbed Gierer-Meinhardt (GM) activator-inhibitor system in the limit of a small activator diffusivity $\varepsilon^2\ll 1$. Our main focus is to classify the different types of multi-spot patterns, and predict their linear stability properties, for different asymptotic ranges of the inhibitor diffusivity $D$. For the range $D={\mathcal O}(\varepsilon^{-1})\gg 1$, although both symmetric and asymmetric quasi-equilibrium spot patterns can be constructed, the asymmetric patterns are shown to be always unstable. On this range of $D$, it is shown that symmetric spot patterns can undergo either competition instabilities or a Hopf bifurcation, leading to spot annihilation or temporal spot amplitude oscillations, respectively. For $D={\mathcal O}(1)$, only symmetric spot quasi-equilibria exist and they are linearly stable on ${\mathcal O}(1)$ time intervals. On this range, it is shown that the spot locations evolve slowly on an ${\mathcal O}(\varepsilon^{-3})$ time scale towards their equilibrium locations according to an ODE gradient flow, which is determined by a discrete energy involving the reduced-wave Green's function. The central role of the far-field behavior of a certain core problem, which characterizes the profile of a localized spot, for the construction of quasi-equilibria in the $D={\mathcal O}(1)$ and $D={\mathcal O}(\varepsilon^{-1})$ regimes, and in establishing some of their linear stability properties, is emphasized.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Synchrony and Oscillatory Dynamics for a 2-D PDE-ODE Model of Diffusion-Sensing with Small Signaling Compartments
Authors:
Sarafa A. Iyaniwura,
Michael J. Ward
Abstract:
We analyze a class of cell-bulk coupled PDE-ODE models, motivated by quorum and diffusion sensing phenomena in microbial systems, that characterize communication between localized spatially segregated dynamically active signaling compartments that have a permeable boundary. Each cell secretes a signaling chemical into the bulk region at a constant rate and receives a feedback of the bulk chemical…
▽ More
We analyze a class of cell-bulk coupled PDE-ODE models, motivated by quorum and diffusion sensing phenomena in microbial systems, that characterize communication between localized spatially segregated dynamically active signaling compartments that have a permeable boundary. Each cell secretes a signaling chemical into the bulk region at a constant rate and receives a feedback of the bulk chemical from the entire collection of cells. This global feedback, which activates signaling pathways within the cells, modifies the intracellular dynamics according to the external environment. The cell secretion and global feedback are regulated by permeability parameters across the cell membrane. For arbitrary reaction-kinetics within each cell, the method of matched asymptotic expansions is used in the limit of small cell radius to construct steady-state solutions of the PDE-ODE model, and to derive a globally coupled nonlinear matrix eigenvalue problem (GCEP) that characterizes the linear stability properties of the steady-states. In the limit of large bulk diffusivity an asymptotic analysis of the PDE-ODE model leads to a limiting ODE system for the spatial average of the concentration in the bulk region that is coupled to the intracellular dynamics within the cells. Results from the linear stability theory and ODE dynamics are illustrated for Sel'kov reaction-kinetics, where the kinetic parameters are chosen so that each cell is quiescent when uncoupled from the bulk medium. For various specific spatial configurations of cells, the linear stability theory is used to construct phase diagrams in parameter space characterizing where a switch-like emergence of intracellular oscillations can occur through a Hopf bifurcation.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Localized Signaling Compartments in 2-D Coupled by a Bulk Diffusion Field: Quorum Sensing and Synchronous Oscillations in the Well-Mixed Limit
Authors:
Sarafa A. Iyaniwura,
Michael J. Ward
Abstract:
We analyze oscillatory instabilities for a coupled PDE-ODE system modeling the communication between localized spatially segregated dynamically active signaling compartments that are coupled through a passive extracellular bulk diffusion field in a bounded 2-D domain. Each signaling compartment is assumed to secrete a chemical into the extracellular medium (bulk region) and it can also sense the c…
▽ More
We analyze oscillatory instabilities for a coupled PDE-ODE system modeling the communication between localized spatially segregated dynamically active signaling compartments that are coupled through a passive extracellular bulk diffusion field in a bounded 2-D domain. Each signaling compartment is assumed to secrete a chemical into the extracellular medium (bulk region) and it can also sense the concentration of this chemical in the region around its boundary. This feedback from the bulk region, resulting from the entire collection of cells, in turn modifies the intracellular dynamics within each cell. In the limit where the signaling compartments are circular disks with a small common radius $ε\ll 1$ and where the bulk diffusivity is asymptotically large, a matched asymptotic analysis is used to reduce the dimensionless PDE-ODE system into a nonlinear ODE system with global coupling. For Sel'kov reaction kinetics, this ODE system for the intracellular dynamics and the spatial average of the bulk diffusion field is then used to investigate oscillatory instabilities in the dynamics of the cells that are triggered due to the global coupling. In particular, numerical bifurcation software on the ODEs is used to study the overall effect of coupling defective cells (cells that behave differently from the remaining cells) to a group of identical cells. Moreover, when the number of cells is large, the Kuramoto order parameter is computed to predict the degree of phase synchronization of the intracellular dynamics. Quorum sensing behavior, characterized by the onset of collective behavior in the intracellular dynamics as the number of cells increases above a threshold, is also studied. Our analysis shows that the cell population density plays a dual role of triggering and then quenching synchronous oscillations in the intracellular dynamics.
△ Less
Submitted 5 June, 2020;
originally announced June 2020.
-
Stable Asymmetric Spike Equilibria for the Gierer-Meinhardt Model with a Precursor Field
Authors:
Theodore Kolokolnikov,
Frédéric Paquin-Lefebvre,
Michael J. Ward
Abstract:
Precursor gradients in a reaction-diffusion system are spatially varying coefficients in the reaction-kinetics. Such gradients have been used in various applications, such as the head formation in the Hydra, to model the effect of pre-patterns and to localize patterns in various spatial regions. For the 1-D Gierer-Meinhardt (GM) model we show that a simple precursor gradient in the decay rate of t…
▽ More
Precursor gradients in a reaction-diffusion system are spatially varying coefficients in the reaction-kinetics. Such gradients have been used in various applications, such as the head formation in the Hydra, to model the effect of pre-patterns and to localize patterns in various spatial regions. For the 1-D Gierer-Meinhardt (GM) model we show that a simple precursor gradient in the decay rate of the activator can lead to the existence of stable, asymmetric, two-spike patterns, corresponding to localized peaks in the activator of different heights. This is a qualitatively new phenomena for the GM model, in that asymmetric spike patterns are all unstable in the absence of the precursor field. Through a determination of the global bifurcation diagram of two-spike steady-state patterns, we show that asymmetric patterns emerge from a supercritical symmetry-breaking bifurcation along the symmetric two-spike branch as a parameter in the precursor field is varied. Through a combined analytical-numerical approach we analyze the spectrum of the linearization of the GM model around the two-spike steady-state to establish that portions of the asymmetric solution branches are linearly stable. In this linear stability analysis a new class of vector-valued nonlocal eigenvalue problem (NLEP) is derived and analyzed.
△ Less
Submitted 4 February, 2020;
originally announced February 2020.
-
Weakly Nonlinear Analysis of Peanut-Shaped Deformations for Localized Spots of Singularly Perturbed Reaction-Diffusion Systems
Authors:
Tony Wong,
Michael J. Ward
Abstract:
Spatially localized 2-D spot patterns occur for a wide variety of two component reaction-diffusion systems in the singular limit of a large diffusivity ratio. Such localized, far-from-equilibrium, patterns are known to exhibit a wide range of different instabilities such as breathing oscillations, spot annihilation, and spot self-replication behavior. Prior numerical simulations of the Schnakenber…
▽ More
Spatially localized 2-D spot patterns occur for a wide variety of two component reaction-diffusion systems in the singular limit of a large diffusivity ratio. Such localized, far-from-equilibrium, patterns are known to exhibit a wide range of different instabilities such as breathing oscillations, spot annihilation, and spot self-replication behavior. Prior numerical simulations of the Schnakenberg and Brusselator systems have suggested that a localized peanut-shaped linear instability of a localized spot is the mechanism initiating a fully nonlinear spot self-replication event.
From a development and implementation of a weakly nonlinear theory for shape deformations of a localized spot, it is shown through a normal form amplitude equation that a peanut-shaped linear instability of a steady-state spot solution is always subcritical for both the Schnakenberg and Brusselator reaction-diffusion systems. The weakly nonlinear theory is validated by using the global bifurcation software {\em pde2path} [H.~Uecker et al., Numerical Mathematics: Theory, Methods and Applications, {\bf 7}(1), (2014)] to numerically compute an unstable, non-radially symmetric, steady-state spot solution branch that originates from a symmetry-breaking bifurcation point.
△ Less
Submitted 16 September, 2020; v1 submitted 4 February, 2020;
originally announced February 2020.
-
Weakly Nonlinear Theory for Oscillatory Dynamics in a One-Dimensional PDE-ODE Model of Membrane Dynamics Coupled by a Bulk Diffusion Field
Authors:
Frédéric Paquin-Lefebvre,
Wayne Nagata,
Michael J. Ward
Abstract:
We study the dynamics of systems consisting of two spatially segregated ODE compartments coupled through a one-dimensional bulk diffusion field. For this coupled PDE-ODE system, we first employ a multi-scale asymptotic expansion to derive amplitude equations near codimension-one Hopf bifurcation points for both in-phase and anti-phase synchronization modes. The resulting normal form equations pert…
▽ More
We study the dynamics of systems consisting of two spatially segregated ODE compartments coupled through a one-dimensional bulk diffusion field. For this coupled PDE-ODE system, we first employ a multi-scale asymptotic expansion to derive amplitude equations near codimension-one Hopf bifurcation points for both in-phase and anti-phase synchronization modes. The resulting normal form equations pertain to any vector nonlinearity restricted to the ODE compartments. In our first example, we apply our weakly nonlinear theory to a coupled PDE-ODE system with Sel'kov membrane kinetics, and show that the symmetric steady state undergoes supercritical Hopf bifurcations as the coupling strength and the diffusivity vary. We then consider the PDE diffusive coupling of two Lorenz oscillators. It is shown that this coupling mechanism can have a stabilizing effect, characterized by a significant increase in the Rayleigh number required for a Hopf bifurcation. Within the chaotic regime, we can distinguish between synchronous chaos, where both the left and right oscillators are in-phase, and chaotic states characterized by the absence of synchrony. Finally, we compute the largest Lyapunov exponent associated with a linearization around the synchronous manifold that only considers odd perturbations. This allows us to predict the transition to synchronous chaos as the coupling strength and the diffusivity increase.
△ Less
Submitted 8 August, 2020; v1 submitted 9 December, 2019;
originally announced December 2019.
-
The Linear Stability of Symmetric Spike Patterns for a Bulk-Membrane Coupled Gierer-Meinhardt Model
Authors:
Daniel Gomez,
Michael J. Ward,
Juncheng Wei
Abstract:
We analyze a coupled bulk-membrane PDE model in which a scalar linear 2-D bulk diffusion process is coupled through a linear Robin boundary condition to a two-component 1-D reaction-diffusion (RD) system with Gierer-Meinhardt (nonlinear) reaction kinetics defined on the domain boundary. For this coupled model, in the singularly perturbed limit of a long-range inhibition and short-range activation…
▽ More
We analyze a coupled bulk-membrane PDE model in which a scalar linear 2-D bulk diffusion process is coupled through a linear Robin boundary condition to a two-component 1-D reaction-diffusion (RD) system with Gierer-Meinhardt (nonlinear) reaction kinetics defined on the domain boundary. For this coupled model, in the singularly perturbed limit of a long-range inhibition and short-range activation for the membrane-bound species, asymptotic methods are used to analyze the existence of localized steady-state multi-spike membrane-bound patterns, and to derive a nonlocal eigenvalue problem (NLEP) characterizing $\mathcal{O}(1)$ time-scale instabilities of these patterns. A central, and novel, feature of this NLEP is that it involves a membrane Green's function that is coupled nonlocally to a bulk Green's function. When the domain is a disk, or in the well-mixed shadow-system limit corresponding to an infinite bulk diffusivity, this Green's function problem is analytically tractable, and as a result we will use a hybrid analytical-numerical approach to determine unstable spectra of this NLEP. This analysis characterizes how the 2-D bulk diffusion process and the bulk-membrane coupling modifies the well-known linear stability properties of steady-state spike patterns for the 1-D Gierer-Meinhardt model in the absence of coupling. In particular, phase diagrams in parameter space for our coupled model characterizing either oscillatory instabilities due to Hopf bifurcations, or competition instabilities due to zero-eigenvalue crossings are constructed. Finally, linear stability predictions from the NLEP analysis are confirmed with full numerical finite-element simulations of the coupled PDE system.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
Pattern Formation and Oscillatory Dynamics in a Two-Dimensional Coupled Bulk-Surface Reaction-Diffusion System
Authors:
Frédéric Paquin-Lefebvre,
Wayne Nagata,
Michael J. Ward
Abstract:
On a two-dimensional circular domain, we analyze the formation of spatio-temporal patterns for a class of coupled bulk-surface reaction-diffusion models for which a passive diffusion process occurring in the interior bulk domain is linearly coupled to a nonlinear reaction-diffusion process on the domain boundary. For this coupled PDE system we construct a radially symmetric steady state solution a…
▽ More
On a two-dimensional circular domain, we analyze the formation of spatio-temporal patterns for a class of coupled bulk-surface reaction-diffusion models for which a passive diffusion process occurring in the interior bulk domain is linearly coupled to a nonlinear reaction-diffusion process on the domain boundary. For this coupled PDE system we construct a radially symmetric steady state solution and from a linearized stability analysis formulate criteria for which this base state can undergo either a Hopf bifurcation, a symmetry-breaking pitchfork (or Turing) bifurcation, or a codimension-two pitchfork-Hopf bifurcation. For each of these three types of bifurcations, a multiple time-scale asymptotic analysis is used to derive normal form amplitude equations characterizing the local branching behavior of spatio-temporal patterns in the weakly nonlinear regime. Among the novel aspects of this weakly nonlinear analysis are the two-dimensionality of the bulk domain, the systematic treatment of arbitrary reaction kinetics restricted to the boundary, the bifurcation parameters which arise in the boundary conditions, and the underlying spectral problem where both the differential operator and the boundary conditions involve the eigenvalue parameter. The normal form theory is illustrated for both Schnakenberg and Brusselator reaction kinetics, and the weakly nonlinear results are favorably compared with numerical bifurcation results and results from time-dependent PDE simulations of the coupled bulk-surface system. Overall, the results show the existence of either subcritical or supercritical Hopf and symmetry-breaking bifurcations, and mixed-mode oscillations characteristic of codimension-two bifurcations. Finally, the formation of global structures such as large amplitude rotating waves is briefly explored through PDE numerical simulations.
△ Less
Submitted 8 August, 2020; v1 submitted 29 September, 2018;
originally announced October 2018.
-
Spot dynamics in a reaction-diffusion model of plant root hair initiation
Authors:
D. Avitabile,
V. F. Breña-Medina,
M. J. Ward
Abstract:
We study pattern formation in a 2-D reaction-diffusion (RD) sub-cellular model characterizing the effect of a spatial gradient of a plant hormone distribution on a family of G-proteins associated with root-hair (RH) initiation in the plant cell Arabidopsis thaliana. The activation of these G-proteins, known as the Rho of Plants (ROPs), by the plant hormone auxin, is known to promote certain protub…
▽ More
We study pattern formation in a 2-D reaction-diffusion (RD) sub-cellular model characterizing the effect of a spatial gradient of a plant hormone distribution on a family of G-proteins associated with root-hair (RH) initiation in the plant cell Arabidopsis thaliana. The activation of these G-proteins, known as the Rho of Plants (ROPs), by the plant hormone auxin, is known to promote certain protuberances on root hair cells, which are crucial for both anchorage and the uptake of nutrients from the soil. Our mathematical model for the activation of ROPs by the auxin gradient is an extension of the model of Payne and Grierson [PLoS ONE, 12(4), (2009)], and consists of a two-component Schnakenberg-type RD system with spatially heterogeneous coefficients on a 2-D domain. The nonlinear kinetics in this RD system model the nonlinear interactions between the active and inactive forms of ROPs. By using a singular perturbation analysis to study 2-D localized spatial patterns of active ROPs, it is shown that the spatial variations in the nonlinear reaction kinetics, due to the auxin gradient, lead to a slow spatial alignment of the localized regions of active ROPs along the longitudinal midline of the plant cell. Numerical bifurcation analysis, together with time-dependent numerical simulations of the RD system are used to illustrate both 2-D localized patterns in the model, and the spatial alignment of localized structures.
△ Less
Submitted 5 October, 2017; v1 submitted 7 March, 2017;
originally announced March 2017.
-
An Asymptotic Analysis of a 2-D Model of Dynamically Active Compartments Coupled by Bulk Diffusion
Authors:
J. Gou,
M. J. Ward
Abstract:
A class of coupled cell-bulk ODE-PDE models is formulated and analyzed in a two-dimensional domain, which is relevant to studying quorum sensing behavior on thin substrates. In this model, spatially segregated dynamically active signaling cells of a common small radius $ε\ll 1$ are coupled through a passive bulk diffusion field. The method of matched asymptotic expansions is used to construct stea…
▽ More
A class of coupled cell-bulk ODE-PDE models is formulated and analyzed in a two-dimensional domain, which is relevant to studying quorum sensing behavior on thin substrates. In this model, spatially segregated dynamically active signaling cells of a common small radius $ε\ll 1$ are coupled through a passive bulk diffusion field. The method of matched asymptotic expansions is used to construct steady-state solutions and to formulate a spectral problem that characterizes the linear stability properties of these solutions, with the aim of predicting whether temporal oscillations can be triggered by the cell-bulk coupling. Phase diagrams in parameter space where such collective oscillations can occur are illustrated for two specific choices of the intracellular kinetics. In the limit of very large bulk diffusion, it is shown that the ODE-PDE system can be approximated by a finite-dimensional dynamical system, which is studied both analytically and numerically. For one illustrative example of the theory it is shown that when the number of cells exceeds some critical number, the bulk diffusion field can trigger oscillations that would otherwise not occur without the coupling. Moreover, for two specific models for the intracellular dynamics, we show that there are rather wide regions in parameter space where these triggered oscillations are synchronous in nature. Unless the bulk diffusivity is asymptotically large, it is shown that a clustered spatial configuration of cells inside the domain leads to larger regions in parameter space where synchronous collective oscillations between the small cells can occur. Finally, the linear stability analysis for these cell-bulk models is shown to be qualitatively rather similar to that of localized spot patterns for activator-inhibitor reaction-diffusion systems in the limit of long-range inhibition and short-range activation.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
-
The dynamics of localized spot patterns for reaction-diffusion systems on the sphere
Authors:
Philippe H. Trinh,
Michael J. Ward
Abstract:
In the singularly perturbed limit corresponding to a large diffusivity ratio between two components in a reaction-diffusion (RD) system, quasi-equilibrium spot patterns are often admitted, producing a solution that concentrates at a discrete set of points in the domain. In this paper, we derive and study the differential algebraic equation (DAE) that characterizes the slow dynamics for such spot p…
▽ More
In the singularly perturbed limit corresponding to a large diffusivity ratio between two components in a reaction-diffusion (RD) system, quasi-equilibrium spot patterns are often admitted, producing a solution that concentrates at a discrete set of points in the domain. In this paper, we derive and study the differential algebraic equation (DAE) that characterizes the slow dynamics for such spot patterns for the Brusselator RD model on the surface of a sphere. Asymptotic and numerical solutions are presented for the system governing the spot strengths, and we describe the complex bifurcation structure and demonstrate the occurrence of imperfection sensitivity due to higher order effects. Localized spot patterns can undergo a fast time instability and we derive the conditions for this phenomena, which depend on the spatial configuration of the spots and the parameters in the system. In the absence of these instabilities, our numerical solutions of the DAE system for $N = 2$ to $N = 8$ spots suggest a large basin of attraction to a small set of possible steady-state configurations. We discuss the connections between our results and the study of point vortices on the sphere, as well as the problem of determining a set of elliptic Fekete points, which correspond to globally minimizing the discrete logarithmic energy for $N$ points on the sphere.
△ Less
Submitted 21 September, 2015; v1 submitted 12 November, 2014;
originally announced November 2014.
-
Stripe to spot transition in a plant root hair initiation model
Authors:
V. F. Breña-Medina,
D. Avitabile,
A. R. Champneys,
M. J. Ward
Abstract:
A generalised Schnakenberg reaction-diffusion system with source and loss terms and a spatially dependent coefficient of the nonlinear term is studied both numerically and analytically in two spatial dimensions. The system has been proposed as a model of hair initiation in the epidermal cells of plant roots. Specifically the model captures the kinetics of a small G-protein ROP, which can occur in…
▽ More
A generalised Schnakenberg reaction-diffusion system with source and loss terms and a spatially dependent coefficient of the nonlinear term is studied both numerically and analytically in two spatial dimensions. The system has been proposed as a model of hair initiation in the epidermal cells of plant roots. Specifically the model captures the kinetics of a small G-protein ROP, which can occur in active and inactive forms, and whose activation is believed to be mediated by a gradient of the plant hormone auxin. Here the model is made more realistic with the inclusion of a transverse co-ordinate. Localised stripe-like solutions of active ROP occur for high enough total auxin concentration and lie on a complex bifurcation diagram of single and multi-pulse solutions. Transverse stability computations, confirmed by numerical simulation show that, apart from a boundary stripe, these 1D solutions typically undergo a transverse instability into spots. The spots so formed typically drift and undergo secondary instabilities such as spot replication. A novel 2D numerical continuation analysis is performed that shows the various stable hybrid spot-like states can coexist. The parameter values studied lead to a natural singularly perturbed, so-called semi-strong interaction regime. This scaling enables an analytical explanation of the initial instability, by describing the dispersion relation of a certain non-local eigenvalue problem. The analytical results are found to agree favourably with the numerics. Possible biological implications of the results are discussed.
△ Less
Submitted 24 March, 2015; v1 submitted 20 March, 2014;
originally announced March 2014.
-
Slowly varying control parameters, delayed bifurcations and the stability of spikes in reaction-diffusion systems
Authors:
Justin C. Tzou,
Michael J. Ward,
Theodore Kolokolnikov
Abstract:
We present three examples of delayed bifurcations for spike solutions of reaction-diffusion systems. The delay effect results as the system passes slowly from a stable to an unstable regime, and was previously analysed in the context of ODE's in [P.Mandel, T.Erneux, J.Stat.Phys, 1987]. It was found that the instability would not be fully realized until the system had entered well into the unstable…
▽ More
We present three examples of delayed bifurcations for spike solutions of reaction-diffusion systems. The delay effect results as the system passes slowly from a stable to an unstable regime, and was previously analysed in the context of ODE's in [P.Mandel, T.Erneux, J.Stat.Phys, 1987]. It was found that the instability would not be fully realized until the system had entered well into the unstable regime. The bifurcation is said to have been "delayed" relative to the threshold value computed directly from a linear stability analysis. In contrast, we analyze the delay effect in systems of PDE's. In particular, for spike solutions of singularly perturbed generalized Gierer-Meinhardt (GM) and Gray-Scott (GS) models, we analyze three examples of delay resulting from slow passage into regimes of oscillatory and competition instability. In the first example, for the GM model on the infinite real line, we analyze the delay resulting from slowly tuning a control parameter through a Hopf bifurcation. In the second example, we consider a Hopf bifurcation on a finite one-dimensional domain. In this scenario, as opposed to the extrinsic tuning of a system parameter through a bifurcation value, we analyze the delay of a bifurcation triggered by slow intrinsic dynamics of the PDE system. In the third example, we consider competition instabilities of the GS model triggered by the extrinsic tuning of a feed rate parameter. In all cases, we find that the system must pass well into the unstable regime before the onset of instability is fully observed, indicating delay. We also find that delay has an important effect on the eventual dynamics of the system in the unstable regime. We give analytic predictions for the magnitude of the delays as obtained through analysis of certain explicitly solvable nonlocal eigenvalue problems. The theory is confirmed by numerical solutions of the full PDE systems.
△ Less
Submitted 21 January, 2014;
originally announced January 2014.
-
Logarithmic Expansions and the Stability of Periodic Patterns of Localized Spots for Reaction-Diffusion Systems in $\R^2
Authors:
David Iron,
John Rumsey,
Michael J. Ward,
Juncheng Wei
Abstract:
The linear stability of steady-state periodic patterns of localized spots in $\R^2$ for the two-component Gierer-Meinhardt (GM) and Schnakenburg reaction-diffusion models is analyzed in the semi-strong interaction limit corresponding to an asymptotically small diffusion coefficient $\eps^2$ of the activator concentration. In the limit $\eps\to 0$, localized spots in the activator are centered at t…
▽ More
The linear stability of steady-state periodic patterns of localized spots in $\R^2$ for the two-component Gierer-Meinhardt (GM) and Schnakenburg reaction-diffusion models is analyzed in the semi-strong interaction limit corresponding to an asymptotically small diffusion coefficient $\eps^2$ of the activator concentration. In the limit $\eps\to 0$, localized spots in the activator are centered at the lattice points of a Bravais lattice with constant area $|Ω|$. To leading order in $ν={-1/\log\eps}$, the linearization of the steady-state periodic spot pattern has a zero eigenvalue when the inhibitor diffusivity satisfies $D={D_0/ν}$, for some $D_0$ independent of the lattice and the Bloch wavevector $\kb$. From a combination of the method of matched asymptotic expansions, Floquet-Bloch theory, and the rigorous study of certain nonlocal eigenvalue problems, an explicit analytical formula for the continuous band of spectrum that lies within an ${\mathcal O}(ν)$ neighborhood of the origin in the spectral plane is derived when $D={D_0/ν} + D_1$, where $D_1={\mathcal O}(1)$ is a de-tuning parameter. The periodic pattern is linearly stable when $D_1$ is chosen small enough so that this continuous band is in the stable left-half plane $\mbox{Re}(λ)<0$ for all $\kb$. Moreover, for both the Schnakenburg and GM models, our analysis identifies a model-dependent objective function, involving the regular part of the Bloch Green's function, that must be maximized in order to determine the specific periodic arrangement of localized spots that constitutes a linearly stable steady-state pattern for the largest value of $D$. From a numerical computation, it is shown within the class of oblique Bravais lattices that a regular hexagonal lattice arrangement of spots is optimal for maximizing the stability threshold in $D$.
△ Less
Submitted 6 December, 2013;
originally announced December 2013.
-
The Stability and Dynamics of Localized Spot Patterns in the Two-Dimensional Gray-Scott Model
Authors:
Wan Chen,
Michael J. Ward
Abstract:
The dynamics and stability of multi-spot patterns to the Gray-Scott (GS) reaction-diffusion model in a two-dimensional domain is studied in the singularly perturbed limit of small diffusivity $ε$ of one of the two solution components. A hybrid asymptotic-numerical approach based on combining the method of matched asymptotic expansions with the detailed numerical study of certain eigenvalue problem…
▽ More
The dynamics and stability of multi-spot patterns to the Gray-Scott (GS) reaction-diffusion model in a two-dimensional domain is studied in the singularly perturbed limit of small diffusivity $ε$ of one of the two solution components. A hybrid asymptotic-numerical approach based on combining the method of matched asymptotic expansions with the detailed numerical study of certain eigenvalue problems is used to predict the dynamical behavior and instability mechanisms of multi-spot quasi-equilibrium patterns for the GS model in the limit $ε\to 0$. A differential algebraic ODE system for the collective coordinates $S_j$ and ${\mathbf x}_j$ for $j=1,...,k$ is derived, which characterizes the slow dynamics of a spot pattern. Instabilities of the multi-spot pattern due to the three distinct mechanisms of spot self-replication, spot oscillation, and spot annihilation, are studied by first deriving certain associated eigenvalue problems by using singular perturbation techniques. From a numerical computation of the spectrum of these eigenvalue problems, phase diagrams representing in the GS parameter space corresponding to the onset of spot instabilities are obtained for various simple spatial configurations of multi-spot patterns. In addition, it is shown that there is a wide parameter range where a spot instability can be triggered only as a result of the intrinsic slow motion of the collection of spots. The hybrid asymptotic-numerical results for spot dynamics and spot instabilities are validated from full numerical results computed from the GS model for various spatial configurations of spots.
△ Less
Submitted 14 September, 2010;
originally announced September 2010.
-
Self-Replication of Mesa Patterns in Reaction-Diffusion Systems
Authors:
T. Kolokolnikov,
M. J. Ward,
J. Wei
Abstract:
Certain two-component reaction-diffusion systems on a finite interval are known to possess mesa (box-like) steadystate patterns in the singularly perturbed limit of small diffusivity for one of the two solution components. As the diffusivity D of the second component is decreased below some critical value Dc, with Dc = O(1), the existence of a steady-state mesa pattern is lost, triggering the on…
▽ More
Certain two-component reaction-diffusion systems on a finite interval are known to possess mesa (box-like) steadystate patterns in the singularly perturbed limit of small diffusivity for one of the two solution components. As the diffusivity D of the second component is decreased below some critical value Dc, with Dc = O(1), the existence of a steady-state mesa pattern is lost, triggering the onset of a mesa self-replication event that ultimately leads to the creation of additional mesas. The initiation of this phenomena is studied in detail for a particular scaling limit of the Brusselator model. Near the existence threshold Dc of a single steady-state mesa, it is shown that an internal layer forms in the center of the mesa. The structure of the solution within this internal layer is shown to be governed by a certain core problem, comprised of a single non-autonomous second-order ODE. By analyzing this core problem using rigorous and formal asymptotic methods, and by using the Singular Limit Eigenvalue Problem (SLEP) method to asymptotically calculate small eigenvalues, an analytical verification of the conditions of Nishiura and Ueyema [Physica D, 130, No. 1, (1999), pp. 73-104], believed to be responsible for self-replication, is given. These conditions include: (1) The existence of a saddle-node threshold at which the steady-state mesa pattern disappears; (2) the dimple-shaped eigenfunction at the threshold, believed to be responsible for the initiation of the replication process; and (3) the stability of the mesa pattern above the existence threshold. Finally, we show that the core problem is universal in the sense that it pertains to a class of reaction-diffusion systems, including the Gierer-Meinhardt model with saturation, where mesa self-replication also occurs.
△ Less
Submitted 26 January, 2007;
originally announced January 2007.
