We study nonlinear stability of spatially homogeneous oscillations in reaction-diffusion systems. Assuming absence of unstable linear modes and linear diffusive behavior for the neutral phase, we prove that spatially localized perturbations decay algebraically with the diffusive rate t^{-n/2} in space dimension n. We also compute the leading order term in the asymptotic expansion of the solution, and show that it corresponds to a spatially localized modulation of the phase. Our approach is based on a normal form transformation in the kinetics ODE which partially decouples the phase equation, at the expense of making the whole system quasilinear. Stability is then obtained by a global fixed point argument in temporally weighted Sobolev spaces.
We consider reaction-diffusion systems on the infinite line that exhibit a family of spectrally stable spatially periodic wave trains $u_0(kx-\om t;k)$ that are parameterized by the wave number $k$. We prove stable diffusive mixing of the asymptotic states $u_0(k x+ϕ_{\pm};k)$ as $x\ra \pm\infty$ with different phases $ϕ_-\neqϕ_+$ at infinity for solutions that initially converge to these states as $x\ra \pm\infty$. The proof is based on Bloch wave analysis, renormalization theory, and a rigorous decomposition of the perturbations of these wave solutions into a phase mode, which shows diffusiv…
We study the long-time behavior of the solutions of a two-component reaction-diffusion system on the real line, which describes the basic chemical reaction $A <=> 2 B$. Assuming that the initial densities of the species $A, B$ are bounded and nonnegative, we prove that the solution converges uniformly on compact sets to the manifold $E$ of all spatially homogeneous chemical equilibria. The result holds even if the species diffuse at very different rates, but the proof is substantially simpler for equal diffusivities. In the spirit of our previous work on extended dissipative systems [18], our …
In this work we study global well-posedness and large time behaviour for a typical reaction--diffusion system, which include degenerate diffusion, and whose non-linearities arise from chemical reactions. We show that there is an {\it indirect diffusion effect}, i.e. an effective diffusion for the non-diffusive species which is incurred by a combination of diffusion from diffusive species and reversible reactions between the species. Deriving new estimates for such degenerate reaction-diffusion system, we show, by applying the entropy method, that the solution converges exponentially to equilib…
We study systems of reaction-diffusion equations with discontinuous spatially distributed hysteresis in the right-hand side. The input of hysteresis is given by a vector-valued function of space and time. Such systems describe hysteretic interaction of non-diffusive (bacteria, cells, etc.) and diffusive (nutrient, proteins, etc.) substances leading to formation of spatial patterns. We provide sufficient conditions under which the problem is well posed in spite of the discontinuity of hysteresis. These conditions are formulated in terms of geometry of manifolds defining hysteresis thresholds an…
We study the reaction-diffusion Lotka-Volterra predator-prey model with Dirichlet boundary condition. In the case of equal diffusion rates and equal growth rates, the synchronized steady state solution is proved to be locally asymptotically stable.
Planar wave trains are traveling wave solutions whose wave profiles are periodic in one spatial direction and constant in the transverse direction. In this paper, we investigate the stability of planar wave trains in reaction-diffusion systems. We establish nonlinear diffusive stability against perturbations that are bounded along a line in $\mathbb{R}^2$ and decay exponentially in the distance from this line. Our analysis is the first to treat spatially nonlocalized perturbations that do not originate from a phase modulation. We also consider perturbations that are fully localized and establi…
We consider a reaction-diffusion system with discontinuous reaction terms modeled by non-ideal relays. The system is motivated by an epigenetic population model of evolution of two-phenotype bacteria which switch phenotype in response to variations of environment. We prove the formation of patterns in the phenotype space. The mechanism responsible for pattern formation is based on memory (hysteresis) of the non-ideal relays.
The mean-field reaction-diffusion equations of the diffusive pair-annihilation and triplett-annihilation processes are considered. A direct lower bound on the time-dependent mean particle-density is derived. The results are applied to the mean-field theory of the diffusive pair-contact process.
Applying the Lyapunov-Schmidt reduction approach introduced by Mielke and Schneider in their analysis of the fourth-order scalar Swift-Hohenberg equation, we carry out a rigorous small-amplitude stability analysis of Turing patterns for the canonical second-order system of reaction diffusion equations given by the Brusselator model. Our results confirm that stability is accurately predicted in the small-amplitude limit by the formal Ginzburg Landau amplitude equations, rigorously validating the standard weakly unstable approximation and Eckhaus criterion.
In this paper, we study the relationship between a diffusive model and a non-diffusive model which are both derived from the well-known Keller-Segel model, as a coefficient of diffusion $\varepsilon$ goes to zero. First, we establish the global well-posedness of classical solutions to the Cauchy problem for the diffusive model with smooth initial data which is of small $L^2$ norm, together with some {\it a priori} estimates uniform for $t$ and $\varepsilon$. Then we investigate the zero-diffusion limit, and get the global well-posedness of classical solutions to the Cauchy problem for the non-…
We investigate dynamics near Turing patterns in reaction-diffusion systems posed on the real line. Linear analysis predicts diffusive decay of small perturbations. We construct a "normal form" coordinate system near such Turing patterns which exhibits an approximate discrete conservation law. The key ingredients to the normal form is a conjugation of the reaction-diffusion system on the real line to a lattice dynamical system. At each lattice site, we decompose perturbations into neutral phase shifts and normal decaying components. As an application of our normal form construction, we prove no…
This paper is concerned with the traveling wave solutions of delayed reaction-diffusion systems. By using Schauder's fixed point theorem, the existence of traveling wave solutions is reduced to the existence of generalized upper and lower solutions. Using the technique of contracting rectangles, the asymptotic behavior of traveling wave solutions for delayed diffusive systems is obtained. To illustrate our main results, the existence, nonexistence and asymptotic behavior of positive traveling wave solutions of diffusive Lotka-Volterra competition systems with distributed delays are established…
We consider a reaction-diffusion system including discontinuous hysteretic relay operators in reaction terms. This system is motivated by an epigenetic model that describes the evolution of a population of organisms which can switch their phenotype in response to changes of the state of the environment. The model exhibits formation of patterns in the space of distributions of the phenotypes over the range of admissible switching strategies. We propose asymptotic formulas for the pattern and the process of its formation.
In a companion paper, we established nonlinear stability with detailed diffusive rates of decay of spectrally stable periodic traveling-wave solutions of reaction diffusion systems under small perturbations consisting of a nonlocalized modulation plus a localized perturbation. Here, we determine time-asymptotic behavior under such perturbations, showing that solutions consist to leading order of a modulation whose parameter evolution is governed by an associated Whitham averaged equation.
The paper deals with reaction-diffusion equations involving a hysteretic discontinuity in the source term, which is defined at each spatial point. In particular, such problems describe chemical reactions and biological processes in which diffusive and nondiffusive substances interact according to hysteresis law. We find sufficient conditions that guarantee the existence and uniqueness of solutions as well as their continuous dependence on initial data.
A general reaction-diffusion equation with spatiotemporal delay and homogeneous Dirichlet boundary condition is considered. The existence and stability of positive steady state solutions are proved via studying an equivalent reaction-diffusion system without nonlocal and delay structure and applying local and global bifurcation theory. The global structure of the set of steady states is characterized according to type of nonlinearities and diffusion coefficient. Our general results are applied to diffusive logistic growth models and Nicholson's blowflies type models.
The paper deals with reaction-diffusion equations involving a hysteretic discontinuity in the source term, which is defined at each spatial point. Such problems describe biological processes and chemical reactions in which diffusive and nondiffusive substances interact according to hysteresis law. Under the assumption that the initial data are spatially transverse, we prove a theorem on the uniqueness of solutions. The theorem covers the case of non-Lipschitz hysteresis branches arising in the theory of slow-fast systems.
It is well-known that quadratic or cubic nonlinearities in reaction-diffusion-advection systems can lead to growth of solutions with small, localized initial data and even finite time blow-up. It was recently proved, however, that, if the components of two nonlinearly coupled reaction-diffusion-advection equations propagate with different velocities, then quadratic or cubic mixed-terms, i.e.~nonlinear terms with nontrivial contributions from both components, do not affect global existence and Gaussian decay of small, localized initial data. The proof relied on pointwise estimates to capture th…
We consider networks of reaction-diffusion systems of Hodgkin-Huxley type. We give a general mathematical framework, in which we prove existence and unicity of solutions as well as existence of invariant regions and of the attractor. Then, we illustrate some relevant numerical examples and exhibit bifurcation phenomena and propagation of bursting oscillations through one and two coupled systems.
We establish weak-strong uniqueness and stability properties of renormalised solutions to a class of energy-reaction-diffusion systems. The systems considered are motivated by thermodynamically consistent models, and their formal entropy structure allows us to use as a key tool a suitably adjusted relative entropy method. The weak-strong uniqueness principle holds for dissipative renormalised solutions, which in addition to the renormalised formulation obey suitable dissipation inequalities consistent with previous existence results. We treat general entropy-dissipating reactions without growt…
By employing the N-barrier method developed in the paper, we establish a new N-barrier maximum principle for diffusive Lotka-Volterra systems of two competing species. As an application of this maximum principle, we show under certain conditions, the existence and nonexistence of traveling waves solutions for systems of three competing species. In addition, new $(1,0,0)$-$(u^{\ast},v^{\ast},0)$ waves are given in terms of the tanh function provided that the parameters satisfy certain conditions.
We consider a system of two reaction-diffusion-advection equations describing the one dimensional directed motion of particles with superimposed diffusion and mutual alignment. For this system we show the existence of traveling wave solutions for weak diffusion by singular perturbation techniques and provide evidence for their existence also for stronger diffusion. We discuss different types of wave fronts and their composition to more complex patterns and illustrate their emergence from generic initial data by simulations. We also investigate the dependence of the wave velocities on the model…
We prove that the famous diffusive Brusselator model can support more complicated spatial-temporal wave structure than the usual temporal-oscillation from a standard Hopf bifurcation. In our investigation, we discover that the diffusion term in the model is neither a usual parabolic stabilizer nor a destabilizer as in the Turing instability of uniform state, but rather plays the role of maintaining an equivariant Hopf bifurcation spectral mechanism. At the same time, we show that such a mechanism can occur around any nonzero wave number and this finding is also different from the former works …
In this article we deduce a mathematical model of Maxwell-Stefan type for a reactive mixture of polyatomic gases with a continuous structure of internal energy. The equations of the model are derived in the diffusive limit of a kinetic system of Boltzmann equations for the considered mixture, in the general non-isothermal setting. The asymptotic analysis of the kinetic system is performed under a reactive-diffusive scaling for which mechanical collisions are dominant with respect to chemical reactions. The resulting system couples the Maxwell-Stefan equations for the diffusive fluxes with the …
We analyze the long time behavior of initial value problems that model a process where particles of type A and B diffuse in some substratum and react according to $nA+nB\to C$. The case n=1 has been studied before; it presents nontrivial behavior on the reactive scale only. In this paper we discuss in detail the cases $n>3$, and prove that they show nontrivial behavior on the reactive and the diffusive length scale.
