Some remarks on spatial uniformity of solutions of reaction-diffusion PDE's and a related synchronization problem for ODE's

In this note, we present a condition which guarantees spatial uniformity for the asymptotic behavior of the solutions of a reaction-diffusion PDE with Neumann boundary conditions in one dimension, using the Jacobian matrix of the reaction term and the first Dirichlet eigenvalue of the Laplacian operator on the given spatial domain. We also derive an analog of this PDE result for the synchronization of a network of identical ODE models coupled by diffusion terms.

[1]  Jean-Jacques E. Slotine,et al.  On partial contraction analysis for coupled nonlinear oscillators , 2004, Biological Cybernetics.

[2]  H. M. Smith,et al.  SYNCHRONOUS FLASHING OF FIREFLIES. , 1935, Science.

[3]  Dulos,et al.  Experimental evidence of a sustained standing Turing-type nonequilibrium chemical pattern. , 1990, Physical review letters.

[4]  D. Hoff,et al.  LARGE TIME BEHAVIOR OF SOLUTIONS OF SYSTEMS OF NONLINEAR REACTION-DIFFUSION EQUATIONS* , 1978 .

[5]  C. Thron.  The secant condition for instability in biochemical feedback control—I. The role of cooperativity and saturability , 1991 .

[6]  Zahra Aminzare,et al.  Logarithmic Lipschitz norms and diffusion-induced instability , 2012, Nonlinear analysis, theory, methods & applications.

[7]  A. M. Turing,et al.  The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.

[8]  採編典藏組.  Society for Industrial and Applied Mathematics(SIAM) , 2008 .

[9]  Nicolas Tabareau,et al.  A Contraction Theory Approach to Stochastic Incremental Stability , 2007, IEEE Transactions on Automatic Control.

[10]  Charles M. Gray,et al.  Synchronous oscillations in neuronal systems: Mechanisms and functions , 1994, Journal of Computational Neuroscience.

[11]  H. Nijmeijer,et al.  Group coordination and cooperative control , 2006 .

[12]  吉沢 太郎.  Stability theory and the existence of periodic solutions and almost periodic solutions , 1975 .

[13]  Mehran Mesbahi,et al.  Agreement via the edge laplacian , 2007, 2007 46th IEEE Conference on Decision and Control.

[14]  Nathan van de Wouw,et al.  Convergent dynamics, a tribute to Boris Pavlovich Demidovich , 2004, Syst. Control. Lett..

[15]  Hans G. Othmer,et al.  Synchronized and Differentiated Modes of Cellular Dynamics , 1980 .

[16]  L. E. Scriven,et al.  Interactions of reaction and diffusion in open systems , 1969 .

[17]  J. L. Jackson,et al.  Dissipative structure: an explanation and an ecological example. , 1972, Journal of theoretical biology.

[18]  Murat Arcak,et al.  Certifying spatially uniform behavior in reaction-diffusion PDE and compartmental ODE systems , 2011, Autom..

[19]  Eduardo Sontag,et al.  Modular cell biology: retroactivity and insulation , 2008, Molecular systems biology.

[20]  Hal L. Smith,et al.  Monotone Dynamical Systems: An Introduction To The Theory Of Competitive And Cooperative Systems (Mathematical Surveys And Monographs) By Hal L. Smith , 1995 .

[21]  S H Strogatz,et al.  Coupled oscillators and biological synchronization. , 1993, Scientific American.

[22]  Guy Dewel,et al.  Turing Bifurcations and Pattern Selection , 1995 .

[23]  G. Dahlquist.  Stability and error bounds in the numerical integration of ordinary differential equations , 1961 .

[24]  P. Hartman.  On Stability in the Large for Systems of Ordinary Differential Equations , 1961, Canadian Journal of Mathematics.

[25]  Gustaf Stiderlind.  Bounds on nonlinear operators in finite-dimensional banach spaces , 1986 .

[26]  C. Desoer,et al.  Feedback Systems: Input-Output Properties , 1975 .

[27]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

[28]  J. Rinzel,et al.  Emergence of organized bursting in clusters of pancreatic beta-cells by channel sharing. , 1988, Biophysical journal.

[29]  C A Czeisler,et al.  Human sleep: its duration and organization depend on its circadian phase. , 1980, Science.

[30]  Jean-Jacques E. Slotine,et al.  On Contraction Analysis for Non-linear Systems , 1998, Autom..

[31]  J. Jouffroy.  Some ancestors of contraction analysis , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[32]  C. Cosner,et al.  Spatial Ecology via Reaction-Diffusion Equations , 2003 .

[33]  Antoine Henrot,et al.  Extremum Problems for Eigenvalues of Elliptic Operators , 2006 .

[34]  Brian Ingalls,et al.  Mathematical Modeling in Systems Biology: An Introduction , 2013 .

[35]  Jean-Jacques E. Slotine,et al.  Contraction Analysis of Nonlinear Distributed Systems , 2004 .

[36]  J. Slotine,et al.  Symmetries, stability, and control in nonlinear systems and networks. , 2010, Physical review. E, Statistical, nonlinear, and soft matter physics.

[37]  A. Sherman,et al.  Diffusively coupled bursters: Effects of cell heterogeneity , 1998, Bulletin of mathematical biology.

[38]  吉沢 太郎.  Stability theory by Liapunov's second method , 1966 .

[39]  László Losonczi,et al.  Eigenvalues and eigenvectors of some tridiagonal matrices , 1992 .

[40]  Thomas Lorenz,et al.  Mutational Analysis: A Joint Framework for Cauchy Problems in and Beyond Vector Spaces , 2010 .

[41]  B. Goodwin.  Oscillatory behavior in enzymatic control processes. , 1965, Advances in enzyme regulation.

[42]  H. Meinhardt,et al.  A theory of biological pattern formation , 1972, Kybernetik.

[43]  A. Gierer.  Generation of biological patterns and form: some physical, mathematical, and logical aspects. , 1981, Progress in biophysics and molecular biology.

[44]  G. Söderlind.  The logarithmic norm. History and modern theory , 2006 .

[45]  D. C. Lewis.  Metric Properties of Differential Equations , 1949 .

[46]  H Henk Nijmeijer,et al.  Synchronization of Mechanical Systems , 2003 .

[47]  John Rinzel,et al.  Dynamics of Spiking Neurons Connected by Both Inhibitory and Electrical Coupling , 2003, Journal of Computational Neuroscience.

[48]  P. Maini,et al.  Turing instabilities in general systems , 2000, Journal of mathematical biology.

[49]  Mario di Bernardo,et al.  Global Entrainment of Transcriptional Systems to Periodic Inputs , 2009, PLoS Comput. Biol..

[50]  G. W. Cross.  Three types of matrix stability , 1978 .

[51]  N. Wouw,et al.  Uniform Output Regulation of Nonlinear Systems: A Convergent Dynamics Approach , 2005 .

[52]  Magnus Egerstedt,et al.  Graph Theoretic Methods in Multiagent Networks , 2010, Princeton Series in Applied Mathematics.

[53]  Maoyin Chen,et al.  Synchronization in time-varying networks: a matrix measure approach. , 2007, Physical review. E, Statistical, nonlinear, and soft matter physics.

[54]  James D. Murray.  Mathematical Biology: I. An Introduction , 2007 .

[55]  Zahra Aminzare,et al.  Guaranteeing Spatial Uniformity in Reaction-Diffusion Systems Using Weighted L^2 Norm Contractions , 2014 .

[56]  Leah Edelstein-Keshet,et al.  Mathematical models in biology , 2005, Classics in applied mathematics.

[57]  Jean-Jacques E. Slotine,et al.  Nonlinear process control using contraction theory , 2000 .

[58]  A. Michel,et al.  Stability of Dynamical Systems — Continuous , Discontinuous , and Discrete Systems , 2008 .

[59]  K. Deimling.  Nonlinear functional analysis , 1985 .

[60]  Mario di Bernardo,et al.  Contraction Theory and Master Stability Function: Linking Two Approaches to Study Synchronization of Complex Networks , 2009, IEEE Transactions on Circuits and Systems II: Express Briefs.

[61]  Carson C. Chow,et al.  Dynamics of Spiking Neurons with Electrical Coupling , 2000, Neural Computation.