This research focuses on a mathematical examination of a path to sliding period doubling and chaotic behaviour for a novel limited discontinuous systems of dimension three separated by a nonlinear hypersurface. The switching system is composed of dissipative subsystems, one of which is a linear systems, and the other is not linked with equilibria. The non-linear sliding surface is designed to improve transient response for these subsystems. A Poincaré return map is created that accounts for the existence of the hypersurface, completely describing each individual sliding period-doubling orbits that route to the sliding chaotic attractor. Through a rigorous analysis, we show that the presence of a nonlinear sliding surface and a set of such hidden trajectories leads to novel bifurcation scenarios. The proposed system exhibits period-m orbits as well as chaos, including partially hidden and sliding trajectories. The results are numerically verified through path-following techniques for discontinuous dynamical systems.
Citation: Hany A. Hosham, Thoraya N. Alharthi. Bifurcation and chaos in simple discontinuous systems separated by a hypersurface[J]. AIMS Mathematics, 2024, 9(7): 17025-17038. doi: 10.3934/math.2024826
[1] | Kenneth H. Karlsen, Süleyman Ulusoy . On a hyperbolic Keller-Segel system with degenerate nonlinear fractional diffusion. Networks and Heterogeneous Media, 2016, 11(1): 181-201. doi: 10.3934/nhm.2016.11.181 |
[2] | José Antonio Carrillo, Yingping Peng, Aneta Wróblewska-Kamińska . Relative entropy method for the relaxation limit of hydrodynamic models. Networks and Heterogeneous Media, 2020, 15(3): 369-387. doi: 10.3934/nhm.2020023 |
[3] | Piotr Biler, Grzegorz Karch, Jacek Zienkiewicz . Morrey spaces norms and criteria for blowup in chemotaxis models. Networks and Heterogeneous Media, 2016, 11(2): 239-250. doi: 10.3934/nhm.2016.11.239 |
[4] | Panpan Xu, Yongbin Ge, Lin Zhang . High-order finite difference approximation of the Keller-Segel model with additional self- and cross-diffusion terms and a logistic source. Networks and Heterogeneous Media, 2023, 18(4): 1471-1492. doi: 10.3934/nhm.2023065 |
[5] | Steinar Evje, Kenneth H. Karlsen . Hyperbolic-elliptic models for well-reservoir flow. Networks and Heterogeneous Media, 2006, 1(4): 639-673. doi: 10.3934/nhm.2006.1.639 |
[6] | Raul Borsche, Axel Klar, T. N. Ha Pham . Nonlinear flux-limited models for chemotaxis on networks. Networks and Heterogeneous Media, 2017, 12(3): 381-401. doi: 10.3934/nhm.2017017 |
[7] | Avner Friedman . PDE problems arising in mathematical biology. Networks and Heterogeneous Media, 2012, 7(4): 691-703. doi: 10.3934/nhm.2012.7.691 |
[8] | Hirotada Honda . Global-in-time solution and stability of Kuramoto-Sakaguchi equation under non-local Coupling. Networks and Heterogeneous Media, 2017, 12(1): 25-57. doi: 10.3934/nhm.2017002 |
[9] | Caihong Gu, Yanbin Tang . Global solution to the Cauchy problem of fractional drift diffusion system with power-law nonlinearity. Networks and Heterogeneous Media, 2023, 18(1): 109-139. doi: 10.3934/nhm.2023005 |
[10] | Stefan Berres, Ricardo Ruiz-Baier, Hartmut Schwandt, Elmer M. Tory . An adaptive finite-volume method for a model of two-phase pedestrian flow. Networks and Heterogeneous Media, 2011, 6(3): 401-423. doi: 10.3934/nhm.2011.6.401 |
This research focuses on a mathematical examination of a path to sliding period doubling and chaotic behaviour for a novel limited discontinuous systems of dimension three separated by a nonlinear hypersurface. The switching system is composed of dissipative subsystems, one of which is a linear systems, and the other is not linked with equilibria. The non-linear sliding surface is designed to improve transient response for these subsystems. A Poincaré return map is created that accounts for the existence of the hypersurface, completely describing each individual sliding period-doubling orbits that route to the sliding chaotic attractor. Through a rigorous analysis, we show that the presence of a nonlinear sliding surface and a set of such hidden trajectories leads to novel bifurcation scenarios. The proposed system exhibits period-m orbits as well as chaos, including partially hidden and sliding trajectories. The results are numerically verified through path-following techniques for discontinuous dynamical systems.
Predator-prey model is one of basic interspecies relations for ecological and social system [1]. The more complex biochemical network structure and food chain are based on the predator-prey model [2]. The study of Lotka and Volterra [3,4] has opened the way to study the dynamics of the predator-prey systems. After that, Gause and Smaragdova also proposed a well-known Gause-type predator-prey model. Kolmogorov first focused on the qualitative analysis of this Gause-type predator-prey model in 1972. Freedman [5] introduced the generalized autonomous Gause model, which comes from accounting for periodic changes of the environment. Gause-type predator-prey models have been widely applied to describe some population models [6,7,8,9]. For example, Hasik [6] considered the generalized Gause-type predator-prey model
{x′=xg(x)−yp(x),y′=y[q(x)−γ], | (1.1) |
here g(x) represents the increase in prey density. When the natural environment is relatively bad, the mortality rate of the population is higher than its birth rate, so the g(x) here can get a negative value. p(x) represents the amount of prey consumed by a single predator per unit time. q(x)−γ represents the growth rate of the predator, and the same as g(x), q(x)−γ can also be taken to a negative value. Ding et al. [7] considered the periodic Gause-type predator-prey system with delay
{x′(t)=x(t)f(t,x(t−τ(t)))−g(t,x(t))y(t−σ1(t)),y′(t)=y(t)[−d(t)+h(t,x(t−σ2(t)))], | (1.2) |
where x(0),y(0)≥0 are the prey and the predator and obtained the positive periodic solution of this system (1.2) by using the continuation theorem.
For the past few years, more and more researchers are interested in the dynamic behavior of predator-prey systems with Allee effect. The Allee effect describes that the low population is affected by the positive relationship between population growth rate and density, which increases the likelihood of their extinction. Terry [10] considered predator-prey systems with Allee effect and described how to extend the traditional definition of effective components and population Allee effect for a single species model to predators in the predator-prey model. Cui et al. [11] focused on the dynamic behavior and steady-state solutions of a class of reaction-diffusion predator-prey systems with strong Allee effect. Cai et al. [12] explored the complex dynamic behavior for a Leslie-Gower predation model with additive Allee effect on prey. Without considering the influence of Allee effect on prey, the model has a unique global asymptotically stable equilibrium point. However, considering the influence of Allee reaction on prey, the model has no definite positive equilibrium point [12]. Baisad and Moonchai [13] were interested in a Gause-type predator-prey model with Holling type-Ⅲ functional response and Allee effect on prey as follows
{dxdt=r(1−xK)(x−m)x−sx2x2+a2y,dydt=(px2x2+a2−c)y. | (1.3) |
Using the linearization method, they gave the local stability of three equilibrium types and also carried out a numerical simulation of the results. Guan and Chen [14] studied the dynamical analysis of a two species amensalism model with Beddington-DeAngelis functional response and Allee effect.
The study of the dynamics of a harvested population is a topic studied in mathematical bioeconomics [15], inside a larger chapter dealing with optimal management of renewable resources. The exploitation of biological resources and the harvesting of interacting species is applied in fisheries, forestry and fauna management [15,16,17]. Etoua and Rousseau [16] studied a generalized Gause model with both prey harvesting and Holling response function of type Ⅲ:
{dxdt=rx(1−xK)−mx2yax2+bx+1−h1,dydt=y(−d+cmx2ax2+bx+1),x≥0, y≥0, | (1.4) |
where the eight parameters: r,k,m,a,c,d,h are strictly positive and b≥0. Through the following linear transformation and time scaling
(X,Y,T)=(1kx,1cky,cmk2t). |
Laurin and Rousseau[17] transformed the model (1.4) into the simplified system with the number of parameters reduced to five
{˙x=ρx(1−x)−yx2αx2+βx+1−λ,˙y=y(−δ+x2αx2+βx+1),x≥0, y≥0, | (1.5) |
with parameters
(ρ,α,β,δ,λ)=(rcmk2,ak2,bk,dcmk2,hcmk3). |
And the Hopf bifurcation was studied in [16,17]. Du et al. [18] considered a general predator-prey model with prey and predator harvesting and proved that the predator-prey system has at least four positive periodic solutions. In addition, some other predator-prey models have been studied widely [19,20,21,22].
In this paper, we consider a generalized Gause-type predator-prey model with Allee effect, Holling type Ⅲ functional response and harvesting terms
{dxdt=r(t)(1−x(t)K)(x(t)−m(t))x(t)−s(t)x2x2(t)+a2(t)y(t)−H1(t),dydt=(p(t)x2(t)x2(t)+a2(t)−b(t)y(t)−c(t))y(t)−H2(t),x(0)>0, y(0)>0, t∈[0,T], | (1.6) |
where x=x(t) and y=y(t) represent the population sizes of prey and predator at time t, respectively. The size can represent numbers of individuals or density in the unit space of the population. To ensure biological significance, the parameter of K is positive, and a, b, c, H1, H2, m, p, r, s are positive T−periodic functions. The meaning of the parameters in system (1.6) is given as follows:
∙ a is the amount of prey at which predation rate is maximal.
∙ b is the predator population decays in the competition among the predators.
∙ c is the natural per capita death rate of the predator.
∙ K is the environmental capacity of the prey.
∙ m is the minimum viable population.
∙ p is the conversion efficiency of reduction rate of the predator.
∙ r is the growth rate of the prey.
∙ s is the maximum per capita consumption rate.
In system (1.6), the Allee effect is defined by the term r(t)(1−x(t)K)(x(t)−m(t))x(t) and the Holling type-Ⅲ functional response is represented by the term s(t)x2x2(t)+a2(t). This Holling type-Ⅲ functional response describes a behavior in which the number of prey consumed per predator initially increases quickly as the density of prey grows and levels off with further increase in prey density [13]. H1(t) and H2(t) describe the harvesting rate of prey and predators. We consider four important assumptions as regards the interactions between prey and predator:
∙ the prey population is affected by the Allee effect,
∙ the functional response is Holling type-Ⅲ,
∙ the influence of artificial harvest is considered on predator and prey, and
∙ the predator population decays in the competition among the predators is investigated.
In this paper, we establish some conditions to ensure that system (1.6) has at least two positive periodic solutions. We outline the format for the rest of this paper. In Sect. 2, we describe several technical lemmas. In Sect. 3, using a systematic qualitative analysis and employing the Mawhin coincidence degree theory, we obtain that system (1.6) has at least two positive T−periodic solutions of system (1.6).
In this section, we will give relevant definitions of the Mawhin coincidence degree theory [23] and several technical lemmas.
Let both X and Y be Banach spaces, L: DomL⊂X⟶Y be a linear map and N: X×[0,1]⟶Y be a continuous map. If ImL∈Y is closed and dimKerL=codimImL<+∞, then we call the operator L is a Fredholm operator of index zero. If L is a Fredholm operator with index zero and there exists continuous projections P: X⟶X and Q: Y⟶Y such that ImP=KerL and ImL=KerQ=Im(I−Q), then L|DomL∩KerP:(I−P)X⟶ImL has an inverse function, and we set it as KP. Assume that Ω×[0,1]∈X is an open set. If QN(¯Ω×[0,1]) is bounded and KP(I−Q)N(¯Ω×[0,1])∈X is relatively compact, then we say that N(¯Ω×[0,1]) is L−compact.
Next, we will give the Mawhin coincidence degree theorem.
Lemma 2.1. ([23,24]) Let X and Y be two Banach spaces, L: DomL⊂X⟶Y be a Fredholm operator with index zero, Ω∈Y be an open bounded set, and N:¯Ω×[0,1]⟶X be L−compact on ¯Ω×[0,1]. If all the following conditions hold
[C1] Lx≠λNx, for x∈∂Ω∩DomL, λ∈(0,1);
[C2] QNx≠0, for every x∈∂Ω∩KerL;
[C3] Brouwer degree deg{JQN,Ω∩KerL,0}≠0, where J: ImQ⟶KerL is an isomorphism.
Then the equation Lx=Nx has at least one solution on ¯Ω∩DomL.
Lemma 2.2. ([19]) Let x>0, y>0, z>0 and x>2√yz. For functions f(x,y,z)=x+√x2−4yz2z and g(x,y,z)=x−√x2−4yz2z, the following assertions hold:
(ⅰ) f(x,y,z) and g(x,y,z) are monotonically increasing and monotonically decreasing with respect to the variable x∈(0,∞);
(ⅱ) f(x,y,z) and g(x,y,z) are monotonically decreasing and monotonically increasing with respect to the variable y∈(0,∞);
(ⅲ) f(x,y,z) and g(x,y,z) are monotonically decreasing and monotonically increasing with respect to the variable z∈(0,∞).
Throughout this paper, we denote by C[0,T] the space of all bounded continuous functions f: R→R, and denote by C+ the set of all functions f∈C and f≥0. For the convenience of statement, we use the notations as follows
¯f=1T∫T0f(t)dt, fL=mint∈[0,T]f(t), fM=maxt∈[0,T]f(t). |
In this section, we will establish the existence results of at least two positive periodic solutions for the system (1.6).
Theorem 2.1. Assume the following conditions hold:
(H1) (pMu+2u−2+(aL)2−cL)2>4bLHL2;
(H2) (pLu−2u+2+(aM)2−cM)2>4bMHM2;
(H3) the algebra equation system
{ˉr(1−euK)(eu−ˉm)−ˉseueve2u+(ˉa)2−¯H1eu=0,ˉpe2ue2u+(ˉa)2−ˉbev−ˉc−¯H2ev=0, |
has finite real-valued solutions (uk∗,vk∗), k=1, 2,..., n, satisfying
∑(uk∗,vk∗)detG(uk∗, vk∗)n∏k=1uk∗n∏k=1vk∗≠0, |
where
G(uk,vk)=(ˉreu(ˉmK+1−euK)−ˉseueve2u+(ˉa)2+2ˉse3uev[e2u+(ˉa)2]2+¯H1e2u−ˉseueve2u+(ˉa)22ˉpe2ue2u+(ˉa)2+2ˉpe4u[e2u+(ˉa)2]2−ˉbev+¯H2e2v). |
Then system (1.6) has at least two positive T−periodic solutions.
Proof of Theorem 2.1.. Suppose (x(t),y(t))∈R2 is an arbitrary positive of system (1.6). Let x=eu(t), y=ev(t), it follows from system (1.6) we can obtain
{˙u(t)=r(t)(1−eu(t)K)(eu(t)−m(t))−s(t)eu(t)ev(t)e2u(t)+a2(t)−H1(t)eu(t),˙v(t)=p(t)e2u(t)e2u(t)+a2(t)−b(t)ev(t)−c(t)−H2(t)ev(t), | (3.1) |
where ˙=ddt.
Let
X=Y={z(t)=(u(t), v(t))T∈C(R, R2):z(t+T)≡z(t)}, |
be equipped with the norm
‖z(t)‖=‖(u(t), v(t))T‖=maxt∈[0,T]|u(t)|+maxt∈[0,T]|v(t)|, |
where X and Y are Banach spaces, T is the transpose.
Taking z∈X and then we will define operators of L, P and Q as follows.
Firstly, let
L: DomL∩X⟶Y, Lz=dzdt. |
It is clear that
KerL={z∈domL: z=c, c∈R2}, |
that is dimKerL=dimR2=2. Next we calculate ImL. Let
dzdt=y(t), y(t)∈Y. |
Integrating both sides of this equation, we have
∫T0dzdtdt=∫T0y(t)dt, |
thus
∫T0y(t)dt=z(T)−z(0)=0. |
From
X=Y={z(t)=(u(t), v(t))T∈C(R, R2):z(t+T)≡z(t)}, |
we can obtain y(t)=z(t), that is
ImL={z∈Y: ∫T0z(t)dt=0} |
is closed in Y. Obviously, ImL∩R2={0}.
Considering P, Q are both continuous projections satisfying
ImP=KerL, ImL=KerQ=Im(I−Q). |
Let
P: X⟶KerL, |
then, we get P(z) is a constant. Here, we denote it by
P(z)=1T∫T0z(t)dt. |
Secondly, let
Q: Y⟶Y∖ImL, β=∫T0z(t)dt and Q(z)=αβ, |
then, we have
Q(Q(z))=Q(αβ)=α∫T0αβdt=α2β∫T0dt=α2βT=Q(z)=αβ, |
i.e.
α=1T. |
Hence,
Q(z)=1T∫T0z(t)dt. |
Thirdly, for ∀z∈Y, z1(t)=z(t)−Q(z), we're going to verify z1(t)∈ImL, i.e. ∫T0z1(t)dt=0. Here
∫T0z1(t)dt=∫T0z(t)dt−∫T0Q(z)dt=β−α∫T0∫T0z(t)dtdt=β−αβT=β−β=0, |
that is
z1(t)∈ImL. |
Moreover, we can obtain
Y=ImL⊕R2, codimImL=dimR2=2. |
i.e.,
dimKerL=codimImL. |
So L is a Fredholm operator with index zero, which implies L has a unique inverse. We define by KP: ImL⟶KerP∩DomL the inverse of L.
By simply calculating, we have
KP(z)=∫t0z(w)dw−1T∫T0∫t0z(w)dwdt. |
Define N: X⟶Y by the form
Nz=(Δ1(z(t), t)Δ2(z(t), t)), |
where
Δ1(z(t), t)=r(t)(1−eu(t)K)(eu(t)−m(t))−s(t)eu(t)ev(t)e2u(t)+a2(t)−H1(t)eu(t),Δ2(z(t), t)=p(t)e2u(t)e2u(t)+a2(t)−b(t)ev(t)−c(t)−H2(t)ev(t). |
Thus
QNz=(1T∫T0Δ1(z(t), t)dt1T∫T0Δ2(z(t), t)dt), |
and
KP(I−Q)Nz=(∫t0Δ1(z(w), w)dw∫t0Δ2(z(w), w)dw)−(1T∫T0∫t0Δ1(z(w), w)dwdt1T∫T0∫t0Δ2(z(w), w)dwdt) −(1T∫t0∫T0Δ1(z(w), w)dwdw1T∫t0∫T0Δ2(z(w), w)dwdw)+(1T2∫T0∫t0∫T0Δ1(z(w), w)dwdwdt1T2∫T0∫t0∫T0Δ2(z(w), w)dwdwdt)=(∫t0Δ1(z(w), w)dw−1T∫T0∫t0Δ1(z(w), w)dwdt−(tT−12)∫T0Δ1(z(w), w)dw∫t0Δ2(z(w), w)dw−1T∫T0∫t0Δ2(z(w), w)dwdt−(tT−12)∫T0Δ2(z(w), w)dw). | (3.2) |
Let Ω⊂X be bounded. For ∀z∈Ω, we have that ‖z‖≤M1, |u(t)|≤M1 and |v(t)|≤M1.
Next, we see that QN(¯Ω) is bounded.
|1T∫T0Δ1(z(t), t)dt|≤|1T∫T0r(t)(1−eu(t)K)(eu(t)−m(t))dt| +|1T∫T0s(t)eu(t)ev(t)e2u(t)+a2(t)dt|+|1T∫T0H1(t)eu(t)dt|≤|1T∫T0[r(t)eu(t)−r(t)m(t)−r(t)e2u(t)K+r(t)m(t)eu(t)K]dt| +|1T∫T0s(t)eu(t)ev(t)a2(t)dt|+|1T∫T0H1(t)eu(t)dt|≤ˉreM1+¯rm+ˉre2M1K+¯rmeM1K+¯(sa2)e2M1+¯H1eM1, |
and
|1T∫T0Δ2(z(t), t)dt|≤|1T∫T0p(t)e2u(t)e2u(t)+a2(t)dt|+|1T∫T0b(t)ev(t)dt| +|1T∫T0c(t)dt|+|1T∫T0H2(t)ev(t)dt|≤|1T∫T0p(t)e2u(t)+p(t)a2(t)e2u(t)+a2(t)dt|+ˉbeM1+ˉc+¯H2eM1=|1T∫T0p(t)dt|+ˉbeM1+ˉc+¯H2eM1=ˉp+ˉbeM1+ˉc+¯H2eM1. |
It is immediate that QN and KP(I−Q)N are continuous.
Consider a sequence of function {z}⊂Ω. We have the following inequality for the first function of KP(I−Q)Nz.
KP(I−Q)NΔ1(z(t1), t1)−KP(I−Q)NΔ1(z(t2), t2)=∫t1t2[r(w)(1−eu(w)K)(eu(w)−m(w))−s(w)eu(w)ev(w)e2u(w)+a2(w)−H1(w)eu(w)]dw −(t1−t2T)∫T0[r(w)(1−eu(w)K)(eu(w)−m(w))−s(w)eu(w)ev(w)e2u(w)+a2(w)−H1(w)eu(w)]dw≤(t1−t2)[rMeM1−rLmL−rLe−2M1K+rMmMeM1K] −(t1−t2)[ˉre−M1−¯rm−ˉre2M1K+¯rme−M1K]. |
For another function, we have similar inequalities as follows
KP(I−Q)NΔ2(z(t1), t1)−KP(I−Q)NΔ2(z(t2), t2)=∫t1t2[p(w)e2u(w)e2u(w)+a2(w)−b(w)ev(w)−c(w)−H2(w)ev(w)]dw −(t1−t2T)∫T0[p(w)e2u(w)e2u(w)+a2(w)−b(w)ev(w)−c(w)−H2(w)ev(w)]dw≤(t1−t2)[pMe2M1a2L−bLe−M1−cL−H2LeM1] +(t1−t2)[ˉbeM1+ˉc+¯H2eM1]. |
Hence the sequence {KP(I−Q)Nz} is equicontinuous. Using the periodicity of the functions, we know that the sequence {KP(I−Q)Nz} is uniformly bounded.
An application of Ascoli-Arzela's theorem shows that {KP(I−Q)N(¯Ω)} is compact for any bounded set Ω⊂X. Since QN(¯Ω) is bounded, we conclude that N is L−compact on Ω for any bounded set Ω⊂X.
Then, considering the operator equation Lx=λNx, as follows
{˙u(t)=λΔ1(z(t), t),˙v(t)=λΔ2(z(t), t), | (3.3) |
where λ∈(0,1). Let
u(ξ1)=maxt∈[0,T]u(t), u(η1)=mint∈[0,T]u(t), |
v(ξ2)=maxt∈[0,T]v(t), v(η2)=mint∈[0,T]v(t). |
Through simple analysis, we have
˙u(ξ1)=˙u(η1)=0, ˙v(ξ2)=˙v(η2)=0. |
From (3.3), we can find that
r(ξ1)(1−eu(ξ1)K)(eu(ξ1)−m(ξ1))−s(ξ1)eu(ξ1)ev(ξ1)e2u(ξ1)+a2(ξ1)−H1(ξ1)eu(ξ1)=0, | (3.4) |
p(ξ2)e2u(ξ2)e2u(ξ2)+a2(ξ2)−b(ξ2)ev(ξ2)−c(ξ2)−H2(ξ2)ev(ξ2)=0, | (3.5) |
and
r(η1)(1−eu(η1)K)(eu(η1)−m(η1))−s(η1)eu(η1)ev(η1)e2u(η1)+a2(η1)−H1(η1)eu(η1)=0 | (3.6) |
p(η2)e2u(η2)e2u(η2)+a2(η2)−b(η2)ev(η2)−c(η2)−H2(η2)ev(η2)=0, | (3.7) |
In view of (3.4), we have
r(ξ1)(1−eu(ξ1)K)(eu(ξ1)−m(ξ1))=s(ξ1)eu(ξ1)ev(ξ1)e2u(ξ1)+a2(ξ1)+H1(ξ1)eu(ξ1)>0, |
then, we get
rLKe2u(ξ1)−(rM+rMmMK)eu(ξ1)+rLmL<0, |
which implies that
eu−=:rM+rMmMK−√(rM+rMmMK)2−4(rL)2mLK2rLK<eu(ξ1)<rM+rMmMK+√(rM+rMmMK)2−4(rL)2mLK2rLK:=eu+. |
Similarly, we can discuss the range of eu(η1) from (3.6)
r(η1)(1−eu(η1)K)(eu(η1)−m(η1))=s(η1)eu(η1)ev(η1)e2u(η1)+a2(η1)+H1(η1)eu(η1)>0, |
A direct calculation gives
rLKe2u(η1)−(rM+rMmMK)eu(η1)+rLmL<0, |
so we can obtain
eu−=:rM+rMmMK−√(rM+rMmMK)2−4(rL)2mLK2rLK<eu(η1)<rM+rMmMK+√(rM+rMmMK)2−4(rL)2mLK2rLK:=eu+. |
From (3.5), we have
b(ξ2)e2v(ξ2)−(p(ξ2)e2u(ξ2)e2u(ξ2)+a2(ξ2)−c(ξ2))ev(ξ2)+H2(ξ2)=0, |
and
bLe2v(ξ2)−(pMe2u+e2u−+(aL)2−cL)ev(ξ2)+H2L<0, |
then, we get
ev−=:pMe2u+e2u−+(aL)2−cL−√(pMe2u+e2u−+(aL)2−cL)2−4bLH2L2bL<ev(ξ2)<pMe2u+e2u−+(aL)2−cL+√(pMe2u+e2u−+(aL)2−cL)2−4bLH2L2bL:=ev+. |
By (3.7), we obtain
b(η2)e2v(η2)−(p(η2)e2u(η2)e2u(η2)+a2(η2)−c(η2))ev(η2)+H2(η2)=0, |
and
bLe2v(η2)−(pMe2u+e2u−+(aL)2−cL)ev(η2)+H2L<0, |
this implies that
ev−=:pMu2+e2u−+(aL)2−cL−√(pMu2+e2u−+(aL)2−cL)2−4bLH2L2bL<ev(η2)<pMu2+e2u−+(aL)2−cL+√(pMe2u+e2u−+(aL)2−cL)2−4bLH2L2bL:=ev+. |
And then, in view of (3.5) and (3.7) we have
bMe2v(ξ2)−(pLe2u−e2u++(aM)2−cM)ev(ξ2)+H2M>0, |
that is
ev(ξ2)>pLe2u−e2u++(aM)2−cM+√(pLe2u−e2u++(aM)2−cM)2−4bMH2M2bM:=el+ |
or
ev(ξ2)<pLe2u−e2u++(aM)2−cM−√(pLe2u−e2u++(aM)2−cM)2−4bMH2M2bM:=el−. |
From (3.7), we obtain
bMe2v(η2)−(pLe2u−e2u++(aM)2−cM)ev(η2)+H2M>0, |
i.e.
ev(ξ2)>l+ or ev(ξ2)<el−. |
In view of Lemma 2.2, we can find that v−<l−<l+<v+. Thus, we have
{v(ξ2)>l+ or v(ξ2)<l−,v−<v(ξ2)<v+, |
and
{v(η2)>l+ or v(η2)<l−,v−<v(η2)<v+, |
that is
v(ξ2)∈(v−, l−)∪(l+, v+), v(η2)∈(v−, l−)∪(l+, v+). |
Similarly, we get
u(ξ1)∈(u−, u+), u(η1)∈(u−, u+). |
It is easy to know that u±,v±,l± are independent of λ. Consider the following two sets
Ω1={z=(u,v)T∈X|u−<u< u+, v−<v< l−}, |
Ω2={z=(u,v)T∈X|u−<u< u+, l+<v< v+}. |
Obviously, Ωi∈X and ¯Ω1⋂¯Ω2=∅. So Ωi's (i=1, 2) satisfy the condition [C1] of Lemma 2.1.
Next, we show that QNz≠0, for ∀z∈∂Ωi∩KerL=∂Ωi∩R2 (i=1,2).
If it is not true, then there exists (u,v)T∈∂Ωi, such that
{∫T0Δ1(z(t), t)dt=0,∫T0Δ2(z(t), t)dt=0. |
By virtue of the mean value theorem, there exists two points tj∈[0,T] (j=1, 2) satisfying
{Δ1(z(t1), t1)=0,Δ2(z(t2), t2)=0. |
So, we obtain
u∈(u−, u+), |
and
v∈(v−, l−)∪(l+, v+), |
which contradicts (u,v)T∈∂Ωi∩R2. So the condition [C2] in Lemma 2.1 holds.
Then, we check the condition [C3] in Lemma 2.1. Define the homomorphism J: ImQ⟶KerL, Jz≡z. From [H3], we have
deg{JQN,Ωi∩KerL,0}=∑z∗k∈QN−1(0)sgnJQN(z∗k)=∑z∗k∈QN−1(0)detG(u∗k,v∗k)n∏k=1u∗kn∏k=1v∗k≠0. |
This implies that the condition [C3] in Lemma 2.1 holds too. Note that, Ω1 and Ω2 satisfies all conditions of Lemma 2.1. Therefore, system (1.6) has at least two T−periodic solutions.
Here, we would like to give two remarks.
Remark 2.1. If we take H1(t)=0,H2(t)=0 and b(t)=0, i.e., system (1.6) without considering the harvesting terms of prey and predator, as well as the predator competition, we find that the system (1.3) in [13] is the system (1.6).
Remark 2.2. In [16] and [17], the authors only considered the Gause model (1.4) and (1.5) with prey harvesting h1, respectively, but they don't investigate the influence of the predator harvesting. In fact, the influence of the predator harvesting is very important in biological populations and bioeconomics, especially in fisheries management etc.
In this paper, we are concerned with a Gause-type predator-prey model with Allee effect, Holling type Ⅲ functional response and the artificial harvesting terms, which are very important in biological populations and bioeconomics. Four important assumptions as regards the interactions between prey and predator is considered. By applying the Mawhin coincidence degree theory, we obtain the existence of multiple positive periodic solutions for the predator-prey model.
We express our sincere thanks to the anonymous reviewers for their valuable comments and suggestions. This work is supported by the Natural Science Foundation of China (Grant No.11771185). The first author supported by Postgraduate Research and Practice Innovation Program of Jiangsu Province (Grant Nos. KYCX18-2091, KYCX20-2082 and KYCX20-2206).
The authors declare no conflict of interest in this paper.
[1] | M. Bernardo, C. Budd, A. R. Champneys, P. Kowalczyk, Piecewise-smooth dynamical systems: Theory and applications, Springer Science Business Media, 163 (2008). |
[2] |
D. Weiss, T. Küpper, H. A. Hosham, Invariant manifolds for nonsmooth systems, Physica D, 241 (2012), 1895–1902. https://doi.org/10.1016/j.physd.2011.07.012 doi: 10.1016/j.physd.2011.07.012
![]() |
[3] |
N. Guglielmi, E. Hairer, Sliding modes of high codimension in piecewise-smooth dynamical systems, Numer. Algorithms, 94 (2023), 257–273. https://doi.org/10.1007/s11075-023-01499-9 doi: 10.1007/s11075-023-01499-9
![]() |
[4] |
V. Avrutin, M. R. Jeffrey, Bifurcations of hidden orbits in discontinuous maps, Nonlinearity, 34 (2021), 6140–6172. https://doi.org/10.1088/1361-6544/ac12ac doi: 10.1088/1361-6544/ac12ac
![]() |
[5] | M. R. Jeffrey, Hidden dynamics: The mathematics of switches, decisions and other discontinuous behaviour, Springer, 2018. |
[6] | H. F. Han, S. L. Li, Q. S. Bi, Non-smooth dynamic behaviors as well as the generation mechanisms in a modified Filippov-type Chua's circuit with a low-frequency external excitation, Mathematics, 10 (2022), https://doi.org/10.3390/math10193613 |
[7] |
F. Luo, Y. D. Li, Y. Xiang, Bifurcation of limit cycles from a focus-parabolic-type critical point in piecewise smooth cubic systems, Mathematics, 12 (2024), 702. https://doi.org/10.3390/math12050702 doi: 10.3390/math12050702
![]() |
[8] | H. A. Hosham, Discontinuous phenomena in bioreactor and membrane reactor systems, Int. J. Biomath., 12 (2019). https://doi.org/10.1142/S1793524519500463 |
[9] | M. Pasquini, D. Angeli, On convergence for hybrid models of gene regulatory networks under polytopic uncertainties: A Lyapunov approach, J. Math. Biol., 83 (2021). https://doi.org/10.1007/s00285-021-01690-3 |
[10] |
S. F. Luo, D. S. Wang, W. X. Li, Dynamic analysis of a SIV Filippov system with media coverage and protective measures, AIMS Math., 7 (2022), 13469–13492. https://doi.org/10.3934/math.2022745 doi: 10.3934/math.2022745
![]() |
[11] |
H. J. Peng, C. C. Xiang, A Filippov tumor-immune system with antigenicity, AIMS Math., 8 (2023), 19699–19718. https://doi.org/10.3934/math.20231004 doi: 10.3934/math.20231004
![]() |
[12] |
A. Pisano, E. Usai, Sliding mode control: A survey with applications in math, Math. Comput. Simul., 81 (2011), 954–979. https://doi.org/10.1016/j.matcom.2010.10.003 doi: 10.1016/j.matcom.2010.10.003
![]() |
[13] |
J. Awrejcewicz, M. Fečkan, P. Olejnik, Bifurcations of planar sliding homoclinics, Math. Probl. Eng., 2006 (2006), 1–13. https://doi.org/10.1155/MPE/2006/85349 doi: 10.1155/MPE/2006/85349
![]() |
[14] |
H. A. Hosham, Bifurcation of periodic orbits in discontinuous systems, Nonlinear Dyn., 87 (2017), 135–148. https://doi.org/10.1007/s11071-016-3031-7 doi: 10.1007/s11071-016-3031-7
![]() |
[15] |
D. Weiss, T. Küpper, H. A. Hosham, Invariant manifolds for nonsmooth systems with sliding mode, Math. Comput. Simul., 110 (2015), 15–32. https://doi.org/10.1016/j.matcom.2014.02.004 doi: 10.1016/j.matcom.2014.02.004
![]() |
[16] |
M. Balcerzak, A. Dabrowski, B. Blazejczyk-Okolewska, A. Stefanski, Determining Lyapunov exponents of non-smooth systems: Perturbation vectors approach, Mech. Syst. Signal Process., 141 (2020), 106734. https://doi.org/10.1016/j.ymssp.2020.106734 doi: 10.1016/j.ymssp.2020.106734
![]() |
[17] |
Z. Zhang, Y. Liu, J. Sieber, Calculating the Lyapunov exponents of a piecewise-smooth soft impacting system with a time-delayed feedback controller, Commun. Nonlinear Sci. Numer. Simul., 91 (2020), 105451. https://doi.org/10.1016/j.cnsns.2020.105451 doi: 10.1016/j.cnsns.2020.105451
![]() |
[18] |
G. S. Vicinansa, D, Liberzon. Estimation entropy, Lyapunov exponents, and quantizer design for switched linear systems, SIAM J. Control Optim., 61 (2023), 198–224. https://doi.org/10.1137/21M1411871 doi: 10.1137/21M1411871
![]() |
[19] | M. Feckan, M. Pospíšil, Poincaré-Andronov-Melnikov analysis for non-smooth systems, Academic Press, 2016. |
[20] | S. Wiggins, D. S. Mazel, Introduction to applied nonlinear dynamical systems and chaos, 1990. |
[21] |
N. Kuznetsov, T. Mokaev, V. Ponomarenko, E. Seleznev, N. Stankevich, L. Chua, Hidden attractors in Chua circuit: Mathematical theory meets physical experiments, Nonlinear Dyn., 111 (2023), 5859–5887. https://doi.org/10.1007/s11071-022-08078-y doi: 10.1007/s11071-022-08078-y
![]() |
[22] | J. Llibre, M. A. Teixeira, Piecewise linear differential systems without equilibria produce limit cycles? Nonlinear Dyn., 88 (2017), 157–164. |
[23] | Z. K. Li, X. B. Liu, Limit cycles in discontinuous piecewise linear planar Hamiltonian systems without equilibrium points, Int. J. Bifurc. Chaos, 2022. https://doi.org/10.1142/S021812742250153X |
[24] |
M. R. Jeffrey, A. Colombo, The two-fold singularity of discontinuous vector fields, SIAM J. Appl. Dyn. Syst., 8 (2009), 624–640. https://doi.org/10.1137/08073113X doi: 10.1137/08073113X
![]() |
[25] | R. Cristiano, B. R. De Freitas, J. C. Medrado, Three crossing limit cycles in a 3D-Filippov system having a T-singularity, Int. J. Bifurc. Chaos, 32 (2022). https://doi.org/10.1142/S0218127422500067 |
[26] | B. R. Hunt, J. A. Kennedy, T. Y. Li, H. E. Nusse, The theory of chaotic attractors, Springer Science Business Media, 2004. |
[27] |
L. Dieci, L. Lopez, Fundamental matrix solutions of piecewise smooth differential systems, Math. Comput. Simul., 81 (2011), 932–953. https://doi.org/10.1016/j.matcom.2010.10.012 doi: 10.1016/j.matcom.2010.10.012
![]() |
[28] |
H. A. Hosham, Bifurcation of limit cycles in piecewise-smooth systems with intersecting discontinuity surfaces, Nonlinear Dyn., 99 (2020), 2049–2063. https://doi.org/10.1007/s11071-019-05400-z doi: 10.1007/s11071-019-05400-z
![]() |
[29] | H. A. Hosham, Nonlinear behavior of a novel switching jerk system, Int. J. Bifurc. Chaos, 30 (2020). |
[30] | G. A. Leonov, N. V. Kuznetsov, V. I. Vagaitsev, Localization of hidden Chuas attractors, Phys. Lett. Sect. A Gen. At. Solid State Phys., 375 (2011), 2230–2233. |
[31] |
D. Benmerzouk, J. P. Barbot, Chaotic behavior analysis based on sliding bifurcations, Nonlinear Anal. Hybrid Syst., 4 (2010), 503–512. https://doi.org/10.1016/j.nahs.2009.12.001 doi: 10.1016/j.nahs.2009.12.001
![]() |
[32] | D. Benmerzouk, J. P. Barbot, Symmetries impact in chaotification of piecewise smooth systems, Nonlinear Dyn. Syst. Theory, 16 (2016), 149–164. |