Related papers: Existence and instability of steady states for a t…
We study the steady states of a system of cross-diffusion equations arising from the modeling of chemotaxis with local sensing, where the motility is a decreasing function of the concentration of the chemical. In order to capture the many…
In the last three decades, powerful computer-assisted techniques have been developed in order to validate a posteriori numerical solutions of semilinear elliptic problems of the form $\Delta u +f(u,\nabla u) = 0$. By studying a well chosen…
In this article, we carry out a study of long-term behavior of reaction-diffusion systems augmented with self- and cross-diffusion, using an augmented Gray-Scott system as a general example. The methodology remains generic, and is therefore…
The main subject of this paper is a computer assisted stability proof for a stationary solution of reaction diffusion equations in one dimensional space. We use Nakao's numerical verification method to enclose a stationary solution of…
We prove that the steady state of a class of multidimensional reaction-diffusion systems is asymptotically stable at the intersection of unweighted space and exponentially weighted Sobolev spaces, and pay particular attention to a special…
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…
We study the existence, regularity and uniqueness for a general class of triangular reaction-cross-diffusion systems coming from the study of starvation driven behavior for two species in competition. This study involves an equivalent…
Reaction diffusion systems with Turing instability and mass conservation are studied. In such systems, abrupt decays of stripes follow quasi-stationary states in sequence. At steady state, the distance between stripes is much longer than…
We derive a reliable a posteriori error estimate for a cell-centered finite volume scheme approximating a cross-diffusion system modeling ion transport through nanopores. To this end, we derive a stability framework that is independent of…
This paper provides a computer-assisted proof for the Turing instability induced by heterogeneous nonlocality in reaction-diffusion systems. Due to the heterogeneity and nonlocality, the linear Fourier analysis gives rise to…
The concept of cross diffusion is applied to some biological systems. The conditions for persistence and Turing instability in the presence of cross diffusion are derived. Many examples including: predator-prey, epidemics (with and without…
This paper is concerned with the existence and stability of phase transition steady states to a quasi-linear hyperbolic-parabolic system of chemotactic aggregation, which was proposed in \cite{ambrosi2005review, gamba2003percolation} to…
This paper develops stability and stabilization results for systems of fully coupled jump diffusions. Such systems frequently arise in numerous applications where each subsystem (component) is operated under the influence of other…
In this paper we consider the Shigesada-Kawasaki-Teramoto (SKT) model to account for stable inhomogeneous steady states exhibiting spatial segregation, which describe a situation of coexistence of two competing species. We provide a deeper…
We study the steady state of diffusion-limited coalescence, A+A<-->A, in the presence of a trap and with a background drift. In one dimension this model can be analyzed exactly through the method of inter-particle distribution functions…
We give a new proof for the existence of spherically symmetric steady states to the Vlasov-Poisson system, following a strategy that has been used successfully to approximate axially symmetric solutions numerically, both to the…
We study the boundary stabilization of one-dimensional cross-diffusion systems in a moving domain. We show first exponential stabilization and then finite-time stabilization in arbitrary small-time of the linearized system around uniform…
When particles/molecules diffuse in systems that contain obstacles, the steady-state regime (during which the mean-square displacement scales linearly with time, $\left< r^2 \right> \sim t$) is preceded by a transient regime. It is common…
We carry out a comprehensive linear stability analysis of active Brownian particle systems around a constant homogeneous state. These scalar models, being important prototypes for the continuous description of active matter, are…
In the past the study of reaction-diffusion systems has greatly contributed to our understanding of the behavior of many-body systems far from equilibrium. In this paper we aim at characterizing the properties of diffusion limited reactions…