D. Lacitignola, Massimo Frittelli, V. Cusimano, A. De Gaetano
In this study, the formation of the adult sea urchin shape is rationalized within the Turing's theory paradigm. The emergence of protrusions from the expanding underlying surface is described through a reaction-diffusion model with Gray-Scott kinetics on a growing oblate spheroid. The case of slow exponential isotropic growth is considered. The model is first studied in terms of the spatially homogenous equilibria and of the bifurcations involved. Turing diffusion-driven instability is shown to occur and the impact of the slow exponential growth on the resulting Turing regions adequately discussed. Numerical investigations validate the theoretical results showing that the combination between an inhibitor and an activator can result in a distribution of spot concentrations that underlies the development of ambulacral tentacles in the sea urchin's adult stage. Our findings pave the way for a model-driven experimentation that could improve the current biological understanding of the gene control networks involved in patterning.
{"title":"Pattern formation on a growing oblate spheroid. an application to adult sea urchin development","authors":"D. Lacitignola, Massimo Frittelli, V. Cusimano, A. De Gaetano","doi":"10.3934/jcd.2021027","DOIUrl":"https://doi.org/10.3934/jcd.2021027","url":null,"abstract":"In this study, the formation of the adult sea urchin shape is rationalized within the Turing's theory paradigm. The emergence of protrusions from the expanding underlying surface is described through a reaction-diffusion model with Gray-Scott kinetics on a growing oblate spheroid. The case of slow exponential isotropic growth is considered. The model is first studied in terms of the spatially homogenous equilibria and of the bifurcations involved. Turing diffusion-driven instability is shown to occur and the impact of the slow exponential growth on the resulting Turing regions adequately discussed. Numerical investigations validate the theoretical results showing that the combination between an inhibitor and an activator can result in a distribution of spot concentrations that underlies the development of ambulacral tentacles in the sea urchin's adult stage. Our findings pave the way for a model-driven experimentation that could improve the current biological understanding of the gene control networks involved in patterning.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78257982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper a parametrized Newton-Kantorovich approach is applied to continuation of periodic orbits in arbitrary polynomial vector fields. This allows us to rigorously validate numerically computed branches of periodic solutions. We derive the estimates in full generality and present sample continuation proofs obtained using an implementation in Matlab. The presented approach is applicable to any polynomial vector field of any order and dimension. A variety of examples is presented to illustrate the efficacy of the method.
{"title":"A general framework for validated continuation of periodic orbits in systems of polynomial ODEs","authors":"J. B. Berg, E. Queirolo","doi":"10.3934/jcd.2021004","DOIUrl":"https://doi.org/10.3934/jcd.2021004","url":null,"abstract":"In this paper a parametrized Newton-Kantorovich approach is applied to continuation of periodic orbits in arbitrary polynomial vector fields. This allows us to rigorously validate numerically computed branches of periodic solutions. We derive the estimates in full generality and present sample continuation proofs obtained using an implementation in Matlab. The presented approach is applicable to any polynomial vector field of any order and dimension. A variety of examples is presented to illustrate the efficacy of the method.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73650629","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Optimization-based subdivision algorithm for reachable sets","authors":"Wolfgang F. Riedl, Robert Baier, M. Gerdts","doi":"10.3934/jcd.2021005","DOIUrl":"https://doi.org/10.3934/jcd.2021005","url":null,"abstract":"","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85858519","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We propose a numerical approach for computing center manifolds of equilibria in ordinary differential equations. Near the equilibria, the center manifolds are represented as graphs of functions satisfying certain partial differential equations (PDEs). We use a Chebyshev spectral method for solving the PDEs numerically to compute the center manifolds. We illustrate our approach for three examples: A two-dimensional system, the Henon-Heiles system (a two-degree-of-freedom Hamiltonian system) and a three-degree-of-freedom Hamiltonian system which have one-, two- and four-dimensional center manifolds, respectively. The obtained results are compared with polynomial approximations and other numerical computations.
{"title":"Chebyshev spectral methods for computing center manifolds","authors":"Takeshi Saito, K. Yagasaki","doi":"10.3934/JCD.2021008","DOIUrl":"https://doi.org/10.3934/JCD.2021008","url":null,"abstract":"We propose a numerical approach for computing center manifolds of equilibria in ordinary differential equations. Near the equilibria, the center manifolds are represented as graphs of functions satisfying certain partial differential equations (PDEs). We use a Chebyshev spectral method for solving the PDEs numerically to compute the center manifolds. We illustrate our approach for three examples: A two-dimensional system, the Henon-Heiles system (a two-degree-of-freedom Hamiltonian system) and a three-degree-of-freedom Hamiltonian system which have one-, two- and four-dimensional center manifolds, respectively. The obtained results are compared with polynomial approximations and other numerical computations.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87309298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper we study nonlinear autonomous retarded functional differential equations; that is, functional equations where the time derivative may depend on the past values of the variables. When the nonlinearities in such equations are comprised of elementary functions, we give a constructive proof of the existence of an embedding of the original coordinates yielding a polynomial differential equation. This embedding is a topological conjugacy between the semi-flow of the original differential equation and the semi-flow of the auxiliary polynomial differential equation. Further dynamical features are investigated; notably, for an equilibrium or a periodic orbit and its embedded counterpart, the stable and unstable eigenvalues have the same algebraic and geometric multiplicity.
{"title":"On polynomial forms of nonlinear functional differential equations","authors":"Olivier Hénot","doi":"10.3934/jcd.2021013","DOIUrl":"https://doi.org/10.3934/jcd.2021013","url":null,"abstract":"In this paper we study nonlinear autonomous retarded functional differential equations; that is, functional equations where the time derivative may depend on the past values of the variables. When the nonlinearities in such equations are comprised of elementary functions, we give a constructive proof of the existence of an embedding of the original coordinates yielding a polynomial differential equation. This embedding is a topological conjugacy between the semi-flow of the original differential equation and the semi-flow of the auxiliary polynomial differential equation. Further dynamical features are investigated; notably, for an equilibrium or a periodic orbit and its embedded counterpart, the stable and unstable eigenvalues have the same algebraic and geometric multiplicity.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77700693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
V. O. Juma, L. Dehmelt, Stéphanie Portet, A. Madzvamuse
Recent experimental observations reveal that local cellular contraction pulses emerge via a combination of fast positive and slow negative feedbacks based on a signal network composed of Rho, GEF and Myosin interactions [22]. As an examplary, we propose to study a plausible, hypothetical temporal model that mirrors general principles of fast positive and slow negative feedback, a hallmark for activator-inhibitor models. The methodology involves (ⅰ) a qualitative analysis to unravel system switching between different states (stable, excitable, oscillatory and bistable) through model parameter variations; (ⅱ) a numerical bifurcation analysis using the positive feedback mediator concentration as a bifurcation parameter, (ⅲ) a sensitivity analysis to quantify the effect of parameter uncertainty on the model output for different dynamic regimes of the model system; and (ⅳ) numerical simulations of the model system for model predictions. Our methodological approach supports the role of mathematical and computational models in unravelling mechanisms for molecular and developmental processes and provides tools for analysis of temporal models of this nature.
{"title":"A mathematical analysis of an activator-inhibitor Rho GTPase model","authors":"V. O. Juma, L. Dehmelt, Stéphanie Portet, A. Madzvamuse","doi":"10.3934/jcd.2021024","DOIUrl":"https://doi.org/10.3934/jcd.2021024","url":null,"abstract":"Recent experimental observations reveal that local cellular contraction pulses emerge via a combination of fast positive and slow negative feedbacks based on a signal network composed of Rho, GEF and Myosin interactions [22]. As an examplary, we propose to study a plausible, hypothetical temporal model that mirrors general principles of fast positive and slow negative feedback, a hallmark for activator-inhibitor models. The methodology involves (ⅰ) a qualitative analysis to unravel system switching between different states (stable, excitable, oscillatory and bistable) through model parameter variations; (ⅱ) a numerical bifurcation analysis using the positive feedback mediator concentration as a bifurcation parameter, (ⅲ) a sensitivity analysis to quantify the effect of parameter uncertainty on the model output for different dynamic regimes of the model system; and (ⅳ) numerical simulations of the model system for model predictions. Our methodological approach supports the role of mathematical and computational models in unravelling mechanisms for molecular and developmental processes and provides tools for analysis of temporal models of this nature.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77663018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper we present a rigorous numerical method for validating analytic solutions of nonlinear ODEs by using Chebyshev-series and domain decomposition. The idea is to define a Newton-like operator, whose fixed points correspond to solutions of the ODE, on the space of geometrically decaying Chebyshev coefficients, and to use the so-called radii-polynomial approach to prove that the operator has an isolated fixed point in a small neighborhood of a numerical approximation. The novelty of the proposed method is the use of Chebyshev series in combination with domain decomposition. In particular, a heuristic procedure based on the theory of Chebyshev approximations for analytic functions is presented to construct efficient grids for validating solutions of boundary value problems. The effectiveness of the proposed method is demonstrated by validating long periodic and connecting orbits in the Lorenz system for which validation without domain decomposition is not feasible.
{"title":"Rigorous numerics for ODEs using Chebyshev series and domain decomposition","authors":"J. B. van den Berg, Ray Sheombarsing","doi":"10.3934/jcd.2021015","DOIUrl":"https://doi.org/10.3934/jcd.2021015","url":null,"abstract":"In this paper we present a rigorous numerical method for validating analytic solutions of nonlinear ODEs by using Chebyshev-series and domain decomposition. The idea is to define a Newton-like operator, whose fixed points correspond to solutions of the ODE, on the space of geometrically decaying Chebyshev coefficients, and to use the so-called radii-polynomial approach to prove that the operator has an isolated fixed point in a small neighborhood of a numerical approximation. The novelty of the proposed method is the use of Chebyshev series in combination with domain decomposition. In particular, a heuristic procedure based on the theory of Chebyshev approximations for analytic functions is presented to construct efficient grids for validating solutions of boundary value problems. The effectiveness of the proposed method is demonstrated by validating long periodic and connecting orbits in the Lorenz system for which validation without domain decomposition is not feasible.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79186719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We are concerned with the evolution of planar, star-like curves and associated shapes under a broad class of curvature-driven geometric flows, which we refer to as the Andrews-Bloore flow. This family of flows has two parameters that control one constant and one curvature-dependent component for the velocity in the direction of the normal to the curve. The Andrews-Bloore flow includes as special cases the well known Eikonal, curve-shortening and affine shortening flows, and for positive parameter values its evolution shrinks the area enclosed by the curve to zero in finite time. A question of key interest has been how various shape descriptors of the evolving shape behave as this limit is approached. Star-like curves (which include convex curves) can be represented by a periodic scalar polar distance function begin{document}$ r(varphi) $end{document} measured from a reference point, which may or may not be fixed. An important question is how the numbers and the trajectories of critical points of the distance function begin{document}$ r(varphi) $end{document} and of the curvature begin{document}$ kappa(varphi) $end{document} (characterized by begin{document}$ dr/dvarphi = 0 $end{document} and begin{document}$ dkappa /dvarphi = 0 $end{document}, respectively) evolve under the Andrews-Bloore flows for different choices of the parameters.
We present a numerical method that is specifically designed to meet the challenge of computing accurate trajectories of the critical points of an evolving curve up to the vicinity of a limiting shape. Each curve is represented by a piecewise polynomial periodic radial distance function, as determined by a chosen mesh; different types of meshes and mesh adaptation can be chosen to ensure a good balance between accuracy and computational cost. As we demonstrate with test-case examples and two longer case studies, our method allows one to perform numerical investigations into subtle questions of planar curve evolution. More specifically — in the spirit of experimental mathematics — we provide illustrations of some known results, numerical evidence for two stated conjectures, as well as new insights and observations regarding the limits of shapes and their critical points.
We are concerned with the evolution of planar, star-like curves and associated shapes under a broad class of curvature-driven geometric flows, which we refer to as the Andrews-Bloore flow. This family of flows has two parameters that control one constant and one curvature-dependent component for the velocity in the direction of the normal to the curve. The Andrews-Bloore flow includes as special cases the well known Eikonal, curve-shortening and affine shortening flows, and for positive parameter values its evolution shrinks the area enclosed by the curve to zero in finite time. A question of key interest has been how various shape descriptors of the evolving shape behave as this limit is approached. Star-like curves (which include convex curves) can be represented by a periodic scalar polar distance function begin{document}$ r(varphi) $end{document} measured from a reference point, which may or may not be fixed. An important question is how the numbers and the trajectories of critical points of the distance function begin{document}$ r(varphi) $end{document} and of the curvature begin{document}$ kappa(varphi) $end{document} (characterized by begin{document}$ dr/dvarphi = 0 $end{document} and begin{document}$ dkappa /dvarphi = 0 $end{document}, respectively) evolve under the Andrews-Bloore flows for different choices of the parameters.We present a numerical method that is specifically designed to meet the challenge of computing accurate trajectories of the critical points of an evolving curve up to the vicinity of a limiting shape. Each curve is represented by a piecewise polynomial periodic radial distance function, as determined by a chosen mesh; different types of meshes and mesh adaptation can be chosen to ensure a good balance between accuracy and computational cost. As we demonstrate with test-case examples and two longer case studies, our method allows one to perform numerical investigations into subtle questions of planar curve evolution. More specifically — in the spirit of experimental mathematics — we provide illustrations of some known results, numerical evidence for two stated conjectures, as well as new insights and observations regarding the limits of shapes and their critical points.
{"title":"Tracking the critical points of curves evolving under planar curvature flows","authors":"Eszter Fehér, G. Domokos, B. Krauskopf","doi":"10.3934/jcd.2021017","DOIUrl":"https://doi.org/10.3934/jcd.2021017","url":null,"abstract":"<p style='text-indent:20px;'>We are concerned with the evolution of planar, star-like curves and associated shapes under a broad class of curvature-driven geometric flows, which we refer to as the Andrews-Bloore flow. This family of flows has two parameters that control one constant and one curvature-dependent component for the velocity in the direction of the normal to the curve. The Andrews-Bloore flow includes as special cases the well known Eikonal, curve-shortening and affine shortening flows, and for positive parameter values its evolution shrinks the area enclosed by the curve to zero in finite time. A question of key interest has been how various shape descriptors of the evolving shape behave as this limit is approached. Star-like curves (which include convex curves) can be represented by a periodic scalar polar distance function <inline-formula><tex-math id=\"M1\">begin{document}$ r(varphi) $end{document}</tex-math></inline-formula> measured from a reference point, which may or may not be fixed. An important question is how the numbers and the trajectories of critical points of the distance function <inline-formula><tex-math id=\"M2\">begin{document}$ r(varphi) $end{document}</tex-math></inline-formula> and of the curvature <inline-formula><tex-math id=\"M3\">begin{document}$ kappa(varphi) $end{document}</tex-math></inline-formula> (characterized by <inline-formula><tex-math id=\"M4\">begin{document}$ dr/dvarphi = 0 $end{document}</tex-math></inline-formula> and <inline-formula><tex-math id=\"M5\">begin{document}$ dkappa /dvarphi = 0 $end{document}</tex-math></inline-formula>, respectively) evolve under the Andrews-Bloore flows for different choices of the parameters.</p><p style='text-indent:20px;'>We present a numerical method that is specifically designed to meet the challenge of computing accurate trajectories of the critical points of an evolving curve up to the vicinity of a limiting shape. Each curve is represented by a piecewise polynomial periodic radial distance function, as determined by a chosen mesh; different types of meshes and mesh adaptation can be chosen to ensure a good balance between accuracy and computational cost. As we demonstrate with test-case examples and two longer case studies, our method allows one to perform numerical investigations into subtle questions of planar curve evolution. More specifically — in the spirit of experimental mathematics — we provide illustrations of some known results, numerical evidence for two stated conjectures, as well as new insights and observations regarding the limits of shapes and their critical points.</p>","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85328756","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Degree assortativity refers to the increased or decreased probability of connecting two neurons based on their in- or out-degrees, relative to what would be expected by chance. We investigate the effects of such assortativity in a network of theta neurons. The Ott/Antonsen ansatz is used to derive equations for the expected state of each neuron, and these equations are then coarse-grained in degree space. We generate families of effective connectivity matrices parametrised by assortativity coefficient and use SVD decompositions of these to efficiently perform numerical bifurcation analysis of the coarse-grained equations. We find that of the four possible types of degree assortativity, two have no effect on the networks' dynamics, while the other two can have a significant effect.
{"title":"Degree assortativity in networks of spiking neurons","authors":"Christian Blasche, S. Means, C. Laing","doi":"10.3934/jcd.2020016","DOIUrl":"https://doi.org/10.3934/jcd.2020016","url":null,"abstract":"Degree assortativity refers to the increased or decreased probability of connecting two neurons based on their in- or out-degrees, relative to what would be expected by chance. We investigate the effects of such assortativity in a network of theta neurons. The Ott/Antonsen ansatz is used to derive equations for the expected state of each neuron, and these equations are then coarse-grained in degree space. We generate families of effective connectivity matrices parametrised by assortativity coefficient and use SVD decompositions of these to efficiently perform numerical bifurcation analysis of the coarse-grained equations. We find that of the four possible types of degree assortativity, two have no effect on the networks' dynamics, while the other two can have a significant effect.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89241719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We consider a simple neural field model in which the state variable is dendritic voltage, and in which somas form a continuous one-dimensional layer. This neural field model with dendritic processing is formulated as an integro-differential equation. We introduce a computational method for approximating solutions to this nonlocal model, and use it to perform numerical simulations for neuro-biologically realistic choices of anatomical connectivity and nonlinear firing rate function. For the time discretisation we adopt an Implicit-Explicit (IMEX) scheme; the space discretisation is based on a finite-difference scheme to approximate the diffusion term and uses the trapezoidal rule to approximate integrals describing the nonlocal interactions in the model. We prove that the scheme is of first-order in time and second order in space, and can be efficiently implemented if the factorisation of a small, banded matrix is precomputed. By way of validation we compare the outputs of a numerical realisation to theoretical predictions for the onset of a Turing pattern, and to the speed and shape of a travelling front for a specific choice of Heaviside firing rate. We find that theory and numerical simulations are in excellent agreement.
{"title":"Numerical investigation of a neural field model including dendritic processing","authors":"D. Avitabile, S. Coombes, P. Lima","doi":"10.3934/jcd.2020011","DOIUrl":"https://doi.org/10.3934/jcd.2020011","url":null,"abstract":"We consider a simple neural field model in which the state variable is dendritic voltage, and in which somas form a continuous one-dimensional layer. This neural field model with dendritic processing is formulated as an integro-differential equation. We introduce a computational method for approximating solutions to this nonlocal model, and use it to perform numerical simulations for neuro-biologically realistic choices of anatomical connectivity and nonlinear firing rate function. For the time discretisation we adopt an Implicit-Explicit (IMEX) scheme; the space discretisation is based on a finite-difference scheme to approximate the diffusion term and uses the trapezoidal rule to approximate integrals describing the nonlocal interactions in the model. We prove that the scheme is of first-order in time and second order in space, and can be efficiently implemented if the factorisation of a small, banded matrix is precomputed. By way of validation we compare the outputs of a numerical realisation to theoretical predictions for the onset of a Turing pattern, and to the speed and shape of a travelling front for a specific choice of Heaviside firing rate. We find that theory and numerical simulations are in excellent agreement.","PeriodicalId":37526,"journal":{"name":"Journal of Computational Dynamics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2020-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75114700","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}