Spatiotemporal Dynamics Induced by Michaelis–Menten Type Prey Harvesting in a Diffusive Leslie–Gower Predator–Prey Model

This paper is devoted to study the spatiotemporal dynamics of a diffusive Leslie–Gower predator–prey model with Michaelis-Menten type harvesting in the prey population. The existence and stability of possible non-negative constant equilibria are investigated. By regarding [Formula: see text] as a bifurcation parameter, the Hopf bifurcation from the positive constant equilibrium solution is investigated. The necessary and sufficient conditions of Turing instability are explicitly obtained. We show that at the critical value of the bifurcation parameter [Formula: see text] a Turing bifurcation occurs (i.e. a pattern arises). The conditions for the stability of the pattern are also derived in detail. Moreover, the global steady state bifurcation from the positive constant equilibrium solution is investigated. In particular, the local steady state bifurcation from double zero eigenvalues is also obtained by the techniques of space decomposition and the implicit function theorem. Our results show that Michaelis–Menten type harvesting in our model plays a crucial role in the formation of spatiotemporal dynamics, which is a strong contrast to the case without harvesting.

Stability Analysis of Nontrivial Stationary Solution and Constant Equilibrium Point of Reaction-Diffusion Neural Networks with Time Delays under Dirichlet Zero Boundary Value

In this paper, Lyapunov-Razumikhin technique, design of state-dependent switching laws, a fixed point theorem and variational methods are employed to derive the existence and the unique existence results of (globally) exponentially stable positive stationary solution of delayed reaction-diffusion cell neural networks under Dirichlet zero boundary value, including the global stability criteria \textbf{in the classical meaning}. Next, sufficient conditions are proposed to guarantee the global stability invariance of ordinary differential systems under the influence of diffusions. New theorems show that the diffusion is a double-edged sword in judging the stability of diffusion systems. Besides, an example is constructed to illuminate that any non-zero constant equilibrium point must be not in the phase plane of dynamic system under Dirichlet zero boundary value, or it must lead to a contradiction. Next, under Lipschitz assumptions on active function, another example is designed to prove that the small diffusion effect will cause the essential change of the phase plane structure of the dynamic behavior of the delayed neural networks via a Saddle point theorem. Finally, a numerical example illustrates the feasibility of the proposed methods.

Stability Analysis of Nontrivial Stationary Solution and Constant Equilibrium Point of Reaction-Diffusion Neural Networks with Time Delays under Dirichlet Zero Boundary Value

In this paper, Lyapunov-Razumikhin technique, design of state-dependent switching laws, a fixed point theorem and variational methods are employed to derive the existence and the unique existence results of (globally) exponentially stable positive stationary solution of delayed reaction-diffusion cell neural networks under Dirichlet zero boundary value, including the global stability criteria \textbf{in the classical meaning}. Next, sufficient conditions are proposed to guarantee the global stability invariance of ordinary differential systems under the influence of diffusions. New theorems show that the diffusion is a double-edged sword in judging the stability of diffusion systems. Besides, an example is constructed to illuminate that any non-zero constant equilibrium point must be not in the phase plane of dynamic system under Dirichlet zero boundary value, or it must lead to a contradiction. Next, under Lipschitz assumptions on active function, another example is designed to prove that the small diffusion effect will cause the essential change of the phase plane structure of the dynamic behavior of the delayed neural networks via a Saddle point theorem. Finally, a numerical example illustrates the feasibility of the proposed methods.

Stability Analysis of Nontrivial Stationary Solution and Constant Equilibrium Point of Reaction-Diffusion Neural Networks with Time Delays under Dirichlet Zero Boundary Value

In this paper, Lyapunov-Razumikhin technique, design of state-dependent switching laws, a fixed point theorem and variational methods are employed to derive the existence and the unique existence results of (globally) exponentially stable positive stationary solution of delayed reaction-diffusion cell neural networks under Dirichlet zero boundary value, including the global stability criteria \textbf{in the classical meaning}. Next, sufficient conditions are proposed to guarantee the global stability invariance of ordinary differential systems under the influence of diffusions. New theorems show that the diffusion is a double-edged sword in judging the stability of diffusion systems. Besides, an example is constructed to illuminate that any non-zero constant equilibrium point must be not in the phase plane of dynamic system under Dirichlet zero boundary value, or it must lead to a contradiction. Next, under Lipschitz assumptions on active function, another example is designed to prove that the small diffusion effect will cause the essential change of the phase plane structure of the dynamic behavior of the delayed neural networks via a Saddle point theorem. Finally, a numerical example illustrates the feasibility of the proposed methods.

Stability Analysis of Nontrivial Stationary Solution and Constant Equilibrium Point of Reaction-Diffusion Neural Networks with Time Delays under Dirichlet Zero Boundary Value

In this paper, Lyapunov-Razumikhin technique, design of state-dependent switching laws, a fixed point theorem and variational methods are employed to derive the existence and the unique existence results of (globally) exponentially stable positive stationary solution of delayed reaction-diffusion cell neural networks under Dirichlet zero boundary value, including the global stability criteria \textbf{in the classical meaning}. Next, sufficient conditions are proposed to guarantee the global stability invariance of ordinary differential systems under the influence of diffusions. New theorems show that the diffusion is a double-edged sword in judging the stability of diffusion systems. Besides, an example is constructed to illuminate that any non-zero constant equilibrium point must be not in the phase plane of dynamic system under Dirichlet zero boundary value, or it must lead to a contradiction. Next, under Lipschitz assumptions on active function, another example is designed to prove that the small diffusion effect will cause the essential change of the phase plane structure of the dynamic behavior of the delayed neural networks via a Saddle point theorem. Finally, a numerical example illustrates the feasibility of the proposed methods.

Stability Analysis of Nontrivial Stationary Solution and Constant Equilibrium Point of Reaction-Diffusion Neural Networks with Time Delays under Dirichlet Zero Boundary Value

In this paper, Lyapunov-Razumikhin technique, design of state-dependent switching laws, a fixed point theorem and variational methods are employed to derive the existence and the unique existence of positive stationary solution of delayed reaction-diffusion cell neural networks under Dirichlet zero boundary value. Next, sufficient conditions are proposed to guarantee the global stability invariance of ordinary differential systems under the influence of diffusions. New theorems show that the diffusion is a double-edged sword in judging the stability of diffusion systems. Besides, an example is constructed to illuminate that any non-zero constant equilibrium point must be not in the phase plane of dynamic system under Dirichlet zero boundary value, or it must lead to a contradiction. Next, under Lipschitz assumptions on active function, another example is designed to prove that the small diffusion effect will cause the essential change of the phase plane structure of the dynamic behavior of the delayed neural networks via a Saddle point theorem. Finally, a numerical example illustrates the feasibility of the proposed methods.

Stability Analysis of Nontrivial Stationary Solution and Constant Equilibrium Point of Reaction-Diffusion Neural Networks With Time Delays

Firstly, the existence of asymptotically stable nontrivial stationary solution is derived by the comprehensive applications of Lyapunov-Razumikhin technique, design of state-dependent switching laws, a fixed point theorem, variational methods, and construction of compact operators on a convex set. This new theorem shows that the diffusion is a double-edged sword to the stability, refuting the views in previous literature that the greater the diffusion effect, the more stable the system will be. Next, a series of new theorems are presented one by one, which illustrates that the globally asymptotical stability of ordinary differential equations model for delayed neural networks may be locally stable in actual operation due to the inevitable diffusion. Besides, the non-zero constant equilibrium point is pointed out to be not the solution of delayed reaction diffusion system so that the stability of the non-zero constant equilibrium point of reaction diffusion system must lead to a contradiction. That is, non-zero constant equilibrium points are not in the phase plane of dynamic system. In addition, new theorems are further presented to prove that the small diffusion effect will cause the essential change of the phase plane structure of the dynamic behavior of the delayed neural networks, and thereby one equilibrium solution may become several stationary solutions, even infinitely many positive stationary solutions. Finally, a numerical example illustrates the feasibility of the proposed methods.