Turing patterns induced by cross-diffusion in a 2D domain with strong Allee effect

In this work, we introduce a two-dimensional domain predator-prey model with strong Allee effect and investigate the Turing instability and the phenomena of the emergence of patterns. The occurrence of the Turing instability is ensured by the conditions that are procured by using the stability analysis of local equilibrium points. The amplitude equations (for supercritical case cubic Stuart–Landau equation and for subcritical quintic Stuart–Landau equation) are derived appropriate for each case by using the method of multiple time scale and show that the system supports patterns like squares, stripes, mixed-mode patterns, spots and hexagonal patterns. We obtain the asymptotic solutions to the model close to the onset instability based on the amplitude equations. Finally, numerically simulations tell how cross-diffusion plays an important role in the emergence of patterns.     

Study of cross-diffusion induced Turing patterns in a ratio-dependent prey-predator model via amplitude equations

Cross-diffusion models the situation where the presence, absence or abundance of one species of population affects the movement of other species of population in the domain under consideration and vice versa. Inclusion of cross-diffusion terms makes the modeling approach more realistic and shows significant impact on the spatio-temporal pattern formation scenario. In this paper, cross-diffusion is considered in a prey-predator model with ratio-dependent functional response, in addition to self-diffusion. Weakly nonlinear analysis is used near the Turing bifurcation boundary to derive the amplitude equations. From the stability analysis of the amplitude equations, conditions for emergence of Turing patterns such as cold spot, hot spot, mixture of spots and stripes and labyrinthine are identified. The analytical results are then verified with the help of numerical simulations. Results are general in nature and can be used to study the effect of cross-diffusion on other prey predator models both analytically and numerically.     

Turing patterns of a strongly coupled predator-prey system with diffusion effects

The main purpose of this work is to investigate the effects of cross-diffusion in a strongly coupled predator-prey system. By a linear stability analysis we find the conditions which allow a homogeneous steady state (stable for the kinetics) to become unstable through a Turing mechanism. In particular, it is shown that Turing instability of the reaction-diffusion system can disappear due to the presence of the cross-diffusion, which implies that the cross-diffusion induced stability can be regarded as the cross-stability of the corresponding reaction-diffusion system. Furthermore, we consider the existence and non-existence results concerning non-constant positive steady states (patterns) of the system. We demonstrate that cross-diffusion can create non-constant positive steady-state solutions. These results exhibit interesting and very different roles of the cross-diffusion in the formation and the disappearance of the Turing instability.     

Weak and classical solutions to predator-prey system with cross-diffusion

In this paper, we are concerned with a system of nonlinear partial differential equations modeling a predator-prey system with cross-diffusion in heterogeneous habitats. Predators are assumed to feed on preys with a Holling type II functional response to prey density and preys are assumed to follow a logistic growth in the absence of predation. The mobility of each classes is assumed to be influenced by the gradient of other classes. The existence result is proved by means of an approximation system, the Faedo-Galerkin method, and the compactness method. The global existence of classical solutions is proved under certain restrictions on the coefficients.     

Turing pattern formation in a three species model with generalist predator and cross-diffusion

In a natural ecosystem, specialist predators feed almost exclusively on one species of prey. But generalist predators feed on many types of species. Consequently, their dynamics is not coupled to the dynamics of a specific prey population. However, the defense of prey formed by congregating made the predator tend to move in the direction of lower concentration of prey species. This is described by cross-diffusion in a generalist predator–prey model. First, the positive equilibrium solution is globally asymptotically stable for the ODE system and for the reaction–diffusion system without cross-diffusion, respectively, hence it does not belong to the classical Turing instability scheme. But it becomes linearly unstable only when cross-diffusion also plays a role. This implies that cross–diffusion can lead to the occurrence and disappearance of the instability. Our results exhibit some interesting combining effects of cross-diffusion, predations and intra-species interactions. Furthermore, we consider the existence and non-existence results concerning non-constant positive steady states (patterns) of the system. We demonstrate that cross-diffusion can create non-constant positive steady-state solutions.     

一类三种群捕食者-食饵交错扩散模型整体解的存在性

应用能量估计方法和Gagliardo-Nirenberg型不等式证明含一类食饵种群和两类竞争捕食者种群的反应扩散模型整体解的存在性和一致有界性,该模型是带自扩散和交错扩散项的三种群捕食者-食饵模型.     

Turing instability for a ratio-dependent predator-prey model with diffusion

Ratio-dependent predator-prey models have been increasingly favored by field ecologists where predator-prey interactions have to be taken into account the process of predation search. In this paper we study the conditions of the existence and stability properties of the equilibrium solutions in a reaction-diffusion model in which predator mortality is neither a constant nor an unbounded function, but it is increasing with the predator abundance. We show that analytically at a certain critical value a diffusion driven (Turing type) instability occurs, i.e. the stationary solution stays stable with respect to the kinetic system (the system without diffusion). We also show that the stationary solution becomes unstable with respect to the system with diffusion and that Turing bifurcation takes place: a spatially non-homogenous (non-constant) solution (structure or pattern) arises. A numerical scheme that preserve the positivity of the numerical solutions and the boundedness of prey solution will be presented. Numerical examples are also included.     

Bifurcation and spatiotemporal patterns in a homogeneous diffusive predator-prey system

A diffusive predator-prey system with Holling type-II predator functional response subject to Neumann boundary conditions is considered. Hopf and steady state bifurcation analysis are carried out in details. In particular we show the existence of multiple spatially non-homogeneous periodic orbits while the system parameters are all spatially homogeneous. Our results and global bifurcation theory also suggest the existence of loops of spatially non-homogeneous periodic orbits and steady state solutions. These results provide theoretical evidences to the complex spatiotemporal dynamics found by numerical simulation.     

Spiral patterns near Turing instability in a discrete reaction diffusion system

In this paper, linear stability analysis is applied to an exponential discrete Lotka–Volterra system, which describes the competition between two identical species. Conditions for the Turing instability are obtained and the emergence of spiral patterns is demonstrated by means of numerical simulations in the vicinity of the bifurcation point. Moreover, the impact of crucial system parameters on the stability and coherence of spiral patterns is illustrated on several examples.     

Spatiotemporal patterns induced by delay and cross-fractional diffusion in a predator-prey model describing intraguild predation

In this article, we study a reaction-diffusion predator-prey model that describes intraguild predation. We mainly consider the effects of time delay and cross-fractional diffusion on dynamical behavior. By using delay as the bifurcation parameter, we perform a detailed Hopf bifurcation analysis and derive the algorithm for determining the direction and stability of the bifurcating periodic solutions. We also demonstrate that proper cross-fractional diffusion can induce Turing pattern, and the smaller the order of fractional diffusion is, the more easily Turing pattern is able to occur.     

Existence and stability of global solutions for a cross-diffusion predator-prey model with sex-structure

By means of the energy estimates and the bootstrap arguments, this thesis investigates the global existence of solutions for a cross-diffusion predator-prey model with sex-structure when the space dimension is less than ten. Furthermore, by constructing a Lyapunov function, the sufficient condition of global asymptotic stability of the positive equilibrium point for the model is given.     

Time complexity of multidimensional Turing machines

It is proved that the work of an indeterminate m-dimensional Turing machine with time complexity t can be simulated on an indeterminate k-dimensional (km) Turing machine with time complexity t^{1–(1/m)+(1/k)+} (for any >0). Moreover, the following generalization to the multidimensional case of the familiar theorem of Hopcroft, Paul, and Valiant is proved: the work of an m-dimensional Turing machine with time complexity t log^1/mt [t(n)n] can be simulated on an address machine working with time complexity t.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 47–55, 1979.The author expresses thanks to A. O. Slisenko for interest in the work, S.V. Pakhamov for helpful discussions, and A. P. Bel'tyukov for valuable comments.     

Stationary patterns created by cross-diffusion for the competitor-competitor-mutualist model

In this paper we consider a competitor-competitor-mutualist model with cross-diffusion. We prove some existence and non-existence results concerning non-constant positive steady-states (patterns). In particular, we demonstrate that the cross-diffusion can create patterns when the corresponding model without cross-diffusion fails.     

Turing patterns in the Lengyel-Epstein system for the CIMA reaction

The first experimental evidence of the Turing pattern was observed by De Kepper and her associates (1990) on the CIMA reaction in an open unstirred gel reactor, almost 40 years after Turing's prediction. Lengyel and Epstein characterized this famous experiment using a system of reaction-diffusion equations. In this paper we report some fundamental analytic properties of the Lengyel-Epstein system. Our result also indicates that if either of the initial concentrations of the reactants, the size of the reactor, or the effective diffusion rate, are not large enough, then the system does not admit nonconstant steady states. A priori estimates are fundamental to our approach for this nonexistence result. The degree theory was combined with the a priori estimates to derive existence of nonconstant steady states.

     

Bifurcations in a predator-prey model with memory and diffusion II: Turing bifurcation

Research partially supported by the Hungarian National Foundation for Scientific Research, grant numbers 1186, 1994.     

Stationary patterns of a ratio-dependent prey-predator model with cross-diffusion

This paper is concerned with a ratio-dependent predator-prey system with diffusion and cross-diffusion in a bounded domain with no flux boundary condition. We show that under certain hypotheses, the cross-diffusion can create non-constant positive steady states even though the corresponding model without cross-diffusion fails.     

Characterization of spatial patterns produced by a Turing instability in coupled dynamical systems

We quantify the degree of spatial order of patterns at fixed time generated by lattices of coupled dynamical systems, using correlation-based and recurrence-based numerical diagnostics. These patterns are obtained through numerical integration of differential equations describing the interplay between activator and inhibitor species generating Turing patterns. We consider different types of coupling: linear (diffusive) interaction with nearest-neighbors, global (all-to-all) coupling and intermediate (nonlocal) coupling. Numerical simulations are performed in one and two spatial dimensions. The effects of noise are briefly discussed. We introduce a recurrence-based quantity (recurrence-rate matrix) to characterize two-dimensional spatial patterns.     

Numerical approximation of Turing patterns in electrodeposition by ADI methods

In this paper we study the numerical approximation of Turing patterns corresponding to steady state solutions of a PDE system of reaction–diffusion equations modeling an electrodeposition process. We apply the Method of Lines (MOL) and describe the semi-discretization by high order finite differences in space given by the Extended Central Difference Formulas (ECDFs) that approximate Neumann boundary conditions (BCs) with the same accuracy. We introduce a test equation to describe the interplay between the diffusion and the reaction time scales. We present a stability analysis of a selection of time-integrators (IMEX 2-SBDF method, Crank–Nicolson (CN), Alternating Direction Implicit (ADI) method) for the test equation as well as for the Schnakenberg model, prototype of nonlinear reaction–diffusion systems with Turing patterns. Eventually, we apply the ADI-ECDF schemes to solve the electrodeposition model until the stationary patterns (spots & worms and only spots) are reached. We validate the model by comparison with experiments on Cu film growth by electrodeposition.     

Turing vegetation patterns in a generalized hyperbolic Klausmeier model

The formation of Turing vegetation patterns in flat arid environments is investigated in the framework of a generalized version of the hyperbolic Klausmeier model. The extensions here considered involve, on the one hand, the strength of the rate at which rainfall water enters into the soil and, on the other hand, the functional dependence of the inertial times on vegetation biomass and soil water. The study aims at elucidating how the inclusion of these generalized quantities affects the onset of bifurcation of supercritical Turing patterns as well as the transient dynamics observed from an uniformly vegetated state towards a patterned state. To achieve these goals, linear and multiple-scales weakly nonlinear stability analysis are addressed, this latter being inspected in both large and small spatial domains. Analytical results are then corroborated by numerical simulations, which also serve to describe more deeply the spatio-temporal evolution of the emerging patterns as well as to characterize the different timescales involved in vegetation dynamics.