In this paper, we propose a predator-prey system with square root functional response, two delays and prey harvesting, in which an algebraic equation stands for the economic interest of the yield of the harvest effort. Firstly, the existence of the positive equilibrium is discussed. Then, by taking two delays as bifurcation parameters, the local stability of the positive equilibrium and the existence of Hopf bifurcation are obtained. Next, some explicit formulas determining the properties of Hopf bifurcation are analyzed based on the normal form method and center manifold theory. Furthermore, the control of Hopf bifurcation is discussed in theory. What's more, the optimal tax policy of system is given. Finally, simulations are given to check the theoretical results.
Citation: Xin-You Meng, Fan-Li Meng. Bifurcation analysis of a special delayed predator-prey model with herd behavior and prey harvesting[J]. AIMS Mathematics, 2021, 6(6): 5695-5719. doi: 10.3934/math.2021336
[1] | Miao Fu, Yuqin Zhang . Results on monochromatic vertex disconnection of graphs. AIMS Mathematics, 2023, 8(6): 13219-13240. doi: 10.3934/math.2023668 |
[2] | Fan Wu, Xinhui An, Baoyindureng Wu . Sombor indices of cacti. AIMS Mathematics, 2023, 8(1): 1550-1565. doi: 10.3934/math.2023078 |
[3] | Yinkui Li, Jiaqing Wu, Xiaoxiao Qin, Liqun Wei . Characterization of Q graph by the burning number. AIMS Mathematics, 2024, 9(2): 4281-4293. doi: 10.3934/math.2024211 |
[4] | A. El-Mesady, Y. S. Hamed, M. S. Mohamed, H. Shabana . Partially balanced network designs and graph codes generation. AIMS Mathematics, 2022, 7(2): 2393-2412. doi: 10.3934/math.2022135 |
[5] | Yixin Zhang, Yanbo Zhang, Hexuan Zhi . A proof of a conjecture on matching-path connected size Ramsey number. AIMS Mathematics, 2023, 8(4): 8027-8033. doi: 10.3934/math.2023406 |
[6] | Haicheng Ma, Xiaojie You, Shuli Li . The singularity of two kinds of tricyclic graphs. AIMS Mathematics, 2023, 8(4): 8949-8963. doi: 10.3934/math.2023448 |
[7] | Yuan Zhang, Haiying Wang . Some new results on sum index and difference index. AIMS Mathematics, 2023, 8(11): 26444-26458. doi: 10.3934/math.20231350 |
[8] | Syafrizal Sy, Rinovia Simanjuntak, Tamaro Nadeak, Kiki Ariyanti Sugeng, Tulus Tulus . Distance antimagic labeling of circulant graphs. AIMS Mathematics, 2024, 9(8): 21177-21188. doi: 10.3934/math.20241028 |
[9] | Muhammad Kamran Jamil, Muhammad Imran, Aisha Javed, Roslan Hasni . On the first general Zagreb eccentricity index. AIMS Mathematics, 2021, 6(1): 532-542. doi: 10.3934/math.2021032 |
[10] | Sakander Hayat, Bagus Imanda, Asad Khan, Mohammed J. F. Alenazi . Three infinite families of Hamilton-connected convex polytopes and their detour index. AIMS Mathematics, 2025, 10(5): 12343-12387. doi: 10.3934/math.2025559 |
In this paper, we propose a predator-prey system with square root functional response, two delays and prey harvesting, in which an algebraic equation stands for the economic interest of the yield of the harvest effort. Firstly, the existence of the positive equilibrium is discussed. Then, by taking two delays as bifurcation parameters, the local stability of the positive equilibrium and the existence of Hopf bifurcation are obtained. Next, some explicit formulas determining the properties of Hopf bifurcation are analyzed based on the normal form method and center manifold theory. Furthermore, the control of Hopf bifurcation is discussed in theory. What's more, the optimal tax policy of system is given. Finally, simulations are given to check the theoretical results.
A self-mapping F on a convex, closed, and bounded subset K of a Banach space U is known as nonexpansive if ‖Fu−Fv‖ ≤ ‖u−v‖, u,v∈U and need not essentially possess a fixed point. It is widely known that a point u∈U is a fixed point or an invariant point if Fu=u. However, some researchers ensured the survival of a fixed point of nonexpansive mapping in Banach spaces utilizing suitable geometric postulates. Numerous mathematicians have extended and generalized these conclusions to consider several nonlinear mappings. One such special class of mapping is Suzuki generalized nonexpansive mapping (SGNM). Many extensions, improvements and generalizations of nonexpansive mappings are given by eminent researchers (see [8,9,10,13,15,17,19,21,22,25], and so on). On the other hand, Krasnosel'skii [16] investigated a novel iteration of approximating fixed points of nonexpansive mapping. A sequence {ui} utilizing the Krasnosel'skii iteration is defined as: u1=u,ui+1=(1−α)ui+αFui, where α∈(0,1) is a real constant. This iteration is one of the iterative methods which is the extension of the celebrated Picard iteration [24], ui+1=Fui. The convergence rate of the Picard iteration [24] is better than the Krasnosel'skii iteration although the Picard iterative scheme is not essentially convergent for nonexpansive self-mappings. It is interesting to see that the fixed point of a self-mapping F is also a fixed point of the iteration Fn (n∈N), of the self-mapping F but the reverse implication is not feasible. Recently several authors presented extended and generalized results for better approximation of fixed points (see [1,3,11,23,26,27]).
We present convergence and common fixed point conclusions for the associated α-Krasnosel'skii mappings satisfying condition (E) in the current work. Also, we support these with nontrivial illustrative examples to demonstrate that our conclusions improve, generalize and extend comparable conclusions of the literature.
We symbolize F(F), to be the collection of fixed points of a self-mapping F, that is, F(F) = {u∈U:Fu=u}. We begin with the discussion of convex Banach spaces, α-Krasnosel'skii mappings and the condition (E) (see [12,18,20,23]).
Definition 2.1. [14] A Banach space U is uniformly convex if, for ϵ∈(0,2] ∃ δ>0 satisfying, ‖u+v2‖ ≤1−δ so that ‖u−v‖>ϵ and ‖u‖=‖v‖=1, u,v∈U.
Definition 2.2. [14] A Banach space U is strictly convex if, ‖u+v2‖<1 so that u≠v,‖u‖=‖v‖=1, u,v∈U.
Theorem 2.1. [5] Suppose U is a uniformly convex Banach space. Then ∃ a γ>0, satisfying ‖12(u+v)‖≤[1−γϵδ]δ for every ϵ,δ>0 so that ‖u−v‖≥ϵ, ‖u‖≤δ and ‖v‖≤δ, for u,v∈U.
Theorem 2.2. [14] The subsequent postulates are equivalent in a Banach space U:
(i) U is strictly convex.
(ii) u=0 or v=0 or v=cu for c>0, whenever ‖u+v‖ = ‖u‖+‖v‖,u,v∈U.
Definition 2.3. Suppose F is a self-mapping on a non-void subset V of a Banach space U.
(i) Suppose for u∈U, ∃ v∈V so that for all w∈V, ‖v−u‖ ≤‖w−u‖. Then v is a metric projection [6] of U onto V, and is symbolized by PV(.). The mapping PV(u):U→V is the metric projection if PV(x) exists and is determined uniquely for each x∈U.
(ii) F satisfies condition (Eμ) [23] on V if ∃ μ≥1, satisfying ‖u−Fv‖≤μ‖u−Fu‖+‖u−v‖,u,v∈V. Moreover, F satisfies condition (E) on V, if F satisfies (Eμ).
(iii) F satisfies condition (E) [23] and F(F)≠0, then F is quasi-nonexpansive.
(iv) F is a generalized α-Reich-Suzuki nonexpansive [21] if for an α∈[0,1), 12‖u−Fu‖≤‖u−v‖⟹‖Fu−Fv‖≤ max {α‖Fu−u‖+α‖Fv−v‖+(1−2α)‖u−v‖,α‖Fu−v‖+α‖Fv−u‖+(1−2α)‖u−v‖}, ∀u,v∈V.
(v) A self-mapping Fα:V→V is an α-Krasnosel'skii associated with F [2] if, Fαu=(1−α)u+αFu, for α∈(0,1), u∈V.
(vi) F is asymptotically regular [4] if limn→∞‖Fnu−Fn+1u‖=0.
(vii) F is a generalized contraction of Suzuki type [2], if ∃ β∈(0,1) and α1,α2,α3∈[0,1], where α1+2α2+2α3=1, satisfying β‖u−Fu‖≤‖u−v‖ implies
‖Fu−Fv‖≤α1‖u−v‖+α2(‖u−Fu‖+‖v−Fv‖)+α3(‖u−Fv‖+‖v−Fu‖) ,u,v∈U. |
(viii) F is α-nonexpansive [7] if ∃ an α<1 satisfying
‖Fu−Fv‖≤α‖Fu−v‖+α‖Fv−u‖+(1−2α)‖u−v‖,u,v∈U. |
Theorem 2.3. [5] A continuous mapping on a non-void, convex and compact subset V of a Banach space U has a fixed point in V.
Pant et al.[23] derived a proposition that if β=12, then a generalized contraction of Suzuki type is a generalized α-Reich-Suzuki nonexpansive. Moreover, the reverse implication may not necessarily hold.
Lemma 2.1. [2] Let F be a generalized contraction of the Suzuki type on a non-void subset V of a Banach space U. Let β∈[12,1), then
‖u−Fv‖≤(2+α1+α2+3α31−α2−α3)‖u−Fu‖+‖u−v‖. |
Proposition 2.1. [23] Let F be a generalized contraction of the Suzuki type on a non-void subset V of a Banach space U, then F satisfies condition (E).
The converse of this proposition is not true, which can be verified by the following example.
Example 2.1. Suppose U=(R2,‖.‖) with the Euclidean norm and V=[−1,1]×[−1,1] be a subset of U. Let F:V→V be defined as
F(u1,u2)={(u12,u2),if|u1|≤12(−u1,u2),if|u1|>12. |
Case I. Let x=(u1,u2),y=(v1,v2) with |u1|≤12, |v1|≤12. Then,
‖Fx−Fy‖=‖(u12,u2)−(v12,v2)‖=√(u1−v1)24+(u2−v2)2≤√(u1−v1)2+(u2−v2)2=‖x−y‖, |
which implies
‖x−Fy‖≤‖x−Fx‖+‖Fx−Fy‖≤‖x−Fx‖+‖x−y‖. |
Case II. If |u1|≤12, |v1|>12
‖x−Fy‖=√(u1+v1)2+(u2−v2)2‖x−y‖=√(u1−v1)2+(u2−v2)2‖x−Fx‖=|u1|2. |
Consider
‖x−Fy‖=√(u1−v1)2+(u2−v2)2+4u1v1≤√(u1−v1)2+(u2−v2)2+4|u1|≤√(u1−v1)2+(u2−v2)2+4|u1|. |
Hence,
‖x−Fy‖≤8‖x−Fx‖+‖x−y‖. |
Here μ=8 satisfies the inequality.
Case III. If |u1|>12, |v1|≤12
‖x−Fy‖=√(u1−v12)2+(u2−v2)2‖x−y‖=√(u1+v1)2+(u2−v2)2‖x−Fx‖=2|u1|. |
Consider
‖x−Fy‖=√(u1−v12)2+(u2−v2)2≤√(u1−v1)2+(u2−v2)2≤√(u1−v1)2+(u2−v2)2+|u1|≤√(u1−v1)2+(u2−v2)2+2|u1|. |
So,
‖x−Fy‖≤‖x−Fy‖+‖x−y‖. |
Case IV. If |u1|>12 and |v1|>12, then
‖x−Fy‖=√(u1+v1)2+(u2−v2)2‖x−y‖=√(u1−v1)2+(u2−v2)2‖x−Fx‖=2|u1|. |
Since |u1|>12 and |v1|>12, by simple calculation as above, we attain
‖x−Fy‖≤μ‖x−Fx‖+‖x−y‖. |
Thus, F satisfies condition (E) for μ=4.
Now, suppose x=(12,1) and y=(1,1), so
β‖x−Fx‖=β(12−14)=β4≤‖x−y‖=12. |
Clearly, ‖Fx−Fy‖=√(54)2+(1−1)2=54.
Consider
α1‖x−y‖+α2(‖x−Fx‖+‖y−Fy‖)+α3(‖x−Fy‖+‖y−Fx‖)=α1‖(12,1)−(1,1)‖+α2(‖(12,1)−(14,1)‖+‖(1,1)−(−1,1)‖)+α3(‖(12,1)−(−1,1)‖+‖(1,1)−(14,1)‖)=α12+α24+2α2+3α32+3α34=α12+94(α2+α3)=α12+94(1−α12)(by Definition 2.3 (vii))=α12+98−9α18=98−5α18. |
Since α1,α2,α3≥0, therefore
‖Fx−Fy‖>α1‖x−y‖+α2(‖x−Fy‖+‖y−Fy‖)+α3(‖x−Fy‖+‖y−Fx‖), |
which is a contradiction.
Thus, F is not a generalized contraction of the Suzuki type.
Now, we establish results for a pair of α-Krasnosel'skii mappings using condition (E).
Theorem 3.1. Let Fi, for i∈{1,2}, be self-mappings on a non-void convex subset V of a uniformly convex Banach space U and satisfy condition (E) so that F(F1∩F2)≠ϕ. Then the α-Krasnosel'skii mappings Fiα, α∈(0,1) and i∈{1,2} are asymptotically regular.
Proof. Let v0∈V. Define vn+1=Fiαvn for i∈{1,2} and n∈N∪{0}. Thus,
Fiαvn=yn+1=(1−α)vn+αFivnfori∈{1,2}, |
and
Fiαvn−vn=Fiαvn−Fiαvn−1=α(Fivn−vn)fori∈{1,2}. |
It is sufficient to show that limn→∞‖Fivn−vn‖=0 to prove Fiα is asymptotically regular.
By definition, for u0∈F(F1∩F2), we have
‖u0−Fivn‖≤‖u0−vn‖fori∈{1,2} | (3.1) |
and for i∈{1,2},
‖u0−vn+1‖=‖u0−Fiαvn‖=‖u0−(1−α)vn−αFivn‖≤(1−α)‖u0−vn‖+α‖u0−Fivn‖=(1−α)‖u0−vn‖+α‖u0−vn‖=‖u0−vn‖. | (3.2) |
Thus, the sequence {‖u0−vn‖} is bounded by s0=‖u0−v0‖. From inequality (3.2), vn→u0 as n→∞, if vn0=u0, for some n0∈N. So, assume vn≠u0, for n∈N, and
wn=u0−vn‖u0−vn‖anden=u0−Fivn‖u0−vn‖,fori∈{1,2}. | (3.3) |
If α≤12 and using Eq (3.3), we obtain
‖u0−vn+1‖=‖u0−Fiαvn‖,fori∈{1,2}=‖u0−(1−α)vn−αFivn‖,fori∈{1,2}=‖u0−vn+αvn−αFivn−2αu0+2αu0+αvn−αvn‖,fori∈{1,2}=‖(1−2α)u0−(1−2α)vn+(2αu0−αvn−αFivn)‖,fori∈{1,2}≤(1−2α)‖u0−vn‖+α‖2u0−vn−Fivn‖=2α‖u0−vn‖‖wn+en2‖+(1−2α)‖u0−vn‖. | (3.4) |
As the space U is uniformly convex with ‖wn‖≤1, ‖en‖≤1 and ‖wn−en‖=‖vn−Fivn‖‖u0−vn‖≥‖vn−Fivn‖s0=ϵ (say) for i∈{1,2}, we obtain
‖wn+en‖2≤1−δ‖vn−Fivn‖sofori∈{1,2}. | (3.5) |
From inequalities (3.4) and (3.5),
‖u0−vn+1‖≤(2α(1−δ‖vn−Fivn‖so)+(1−2α))‖u0−vn‖=(1−2αδ(‖vn−Fivn‖s0) )‖u0−vn‖. | (3.6) |
By induction, it follows that
‖u0−vn+1‖≤n∏j=1(1−2αδ(‖vn−Fivn‖s0))s0. | (3.7) |
We shall prove that limn→∞‖Fivn−vn‖=0 for i∈{1,2}. On the contrary, consider that {‖Fivn−vn‖} for i∈{1,2} is not converging to zero, and we have a subsequence {vnk}, of {vn}, satisfying ‖Fivnk−vnk‖ converges to ζ>1. As δ∈[0,1] is increasing and α≤12, 1−2αδ‖vk−Fivk‖s0∈[0,1], i∈{1,2}, for all k∈N. Since ‖Fivnk−vnk‖→ζ so, for sufficiently large k,‖Fivnk−vnk‖≥ζ2, from inequality (3.7), we have
‖u0−vnk+1‖≤s0(1−2αδ(ζ2−s0))(nk+1). | (3.8) |
Making k→∞, it follows that vnk→u0. By inequality (3.1), we get Fivnk→u0 and ‖vnk−Fivnk‖→0 as k→∞, which is a contradiction. If α>12, then 1−α<12, because α∈(0,1). Now, for i∈{1,2}
‖u0−vn+1‖=‖u0−(1−α)vn−αFivn‖=‖u0−vn+αvn−αFivn+(2−2α)u0−(2−2α)u0+Fivn−Fivn+αFivn−αFivn‖=‖(2u0−vn−Fivn)−α(2u0−vn−Fivn)+2α(u0−Fivn)−(u0−Fivn)‖≤(1−α)‖2u0−vn−Fivn‖+(2α−1)‖u0−vn‖≤2(1−2α)‖u0−vn‖‖wn+en‖2+(2α−1)‖u0−vn‖. |
By the uniform convexity of U, we attain, for i∈{1,2},
‖x0−yn+1‖≤(2(1−α)−2(1−α)δ‖yn−Fiyn‖so+(1−2α))‖x0−yn‖. | (3.9) |
By induction, we get
‖u0−vn+1‖≤n∏j=1(1−2(1−α)δ(‖vj−Fivj‖s0))s0. |
Similarly, it can be easily proved that ‖Fivn−vn‖→0 as n→∞, which implies that Fiα for i∈{1,2}, is asymptotically regular.
Next, we demonstrate by a numerical experiment that a pair of α-Krasnosel'skii mappings are asymptotically regular for fix α∈(0,1).
Example 3.1. Assume U=(R2,||.||) with Euclidean norm and V={u∈R2:‖u‖≤1}, to be a convex subset of U. Fi for i∈{1,2} be self-mappings on V, satisfying
F1(u1,u2)=(u1,u2)F2(u1,u2)=(u12,0) |
Then, clearly both F1 and F2 satisfy the condition (E) and F(F1∩F2)=(0,0). Now, we will show that the α-Krasnosel'skii mappings Fiα for α∈(0,1) and i∈{1,2} are asymptotically regular.
Since F1 is the identity map, α- Krasnosel'skii mapping F1α is also identity and hence asymptotically regular.
Now, we show F2α is asymptotically regular, let u=(u1,u2)∈V
F2α(u1,u2)=(1−α)(u1,u2)+αF2(u1,u2)=((1−α)u1,(1−α)u2)+α(u12,0)=(u1−αu12,(1−α)u2), |
F22α(u1,u2)=(1−α)(u1−αu12,(1−α)u2)+αF2(u1−αu12,(1−α)u2)=(x1+α2u12−3αu12,(1−α)2u2)+(αu2−α2u14,0)=(u1−αu1+α2u14,(1−α)2x2). |
Continuing in this manner, we get
fn2α(u1,u2)=((u1−α2)n,(1−α)nu2). |
Since (u1,u2)∈V and α∈(0,1), we get that limn→∞(u1−α2)n=0 and limn→∞(1−α)n=0. Now, consider
limn→∞‖Fn2α(u1,u2)−Fn+12α(u1,u2)‖=supu∈Mlimn→∞‖(u1−α2)n−(u1−α2)n+1,((1−α)n−(1−α)n+1)x2‖=0. |
Hence, F2α is also asymptotically regular.
Theorem 3.2. Let Fi be quasi-nonexpansive self-mappings on a non-void and closed subset V of a Banach space U for i∈{1,2}, and satisfy condition (E) so that F(F1∩F2)≠0. Then, F(F1∩F2) is closed in V. Also, if U is strictly convex, then F(F1∩F2) is convex. Furthermore, if U is strictly convex, V is compact, and F is continuous, then for any s0∈V,α∈(0,1), the α-Krasnosel'skii sequence {Fniα(s0)}, converges to s∈F( F1∩F2) .
Proof. (i) We assume {sn}∈F( F1∩F2) so that sn→s∈F(F1∩F2) as n→∞. Hence, Fisn=sn for i∈{1,2}. Next, we show that Fis=s for i∈{1,2}. Since Fi are quasi-nonexpansive, we get
‖sn−Fis‖≤‖sn−s‖fori∈{1,2}, |
that is, Fis=s for i=1,2, hence F(F2∩F2) is closed.
(ii) V is convex since U is strictly convex. Also fix γ∈( 0,1) and u,v∈F(F1∩F2) so that u≠v. Take s=γu+(1−γ)v∈V. Since mapping Fi satisfy condition (E),
‖u−Fis‖≤‖u−Fiu‖+‖u−s‖=‖u−s‖fori∈{1,2}. |
Similarly,
‖v−Fis‖≤‖v−s‖fori∈{1,2}. |
Using strict convexity of U, there is a θ∈[ 0,1] so that Fis=θu+(1−θ)v for i=1,2
(1−θ)‖u−v‖=‖Fiu−Fis‖≤‖u−s‖=(1−γ) ‖u−v‖,fori∈{1,2}, | (3.10) |
and
θ‖u−v‖=‖Fiv−Fis‖≤‖v−s‖=γ‖u−v‖,fori∈{1,2}. | (3.11) |
From inequalities (3.10) and (3.11), we obtain
1−θ≤1−γandθ≤γimplies thatθ=γ. |
Hence, Fis=s for i = 1, 2, implies s∈F(F1∩F2) .
(iii) Let us define {sn} by sn=Fniαs0,s0∈V, where Fiαs0=(1−α)s0+αFis0,α∈( 0,1) . We have a subsequence {snk} of {sn} converging to some s∈V, since V is compact. Using the Schauder theorem and the continuity of Fi, we have F(F1∩F2) ≠ϕ. We shall demonstrate that s∈F(F1∩F2). Let w0∈F(F1∩F2), consider
‖sn−w0‖=‖Fniαs0−w0‖≤‖Fn−1iαs0−w0|=‖sn−1−w0‖. |
Therefore, {‖sn−w0‖} converges as it is a decreasing sequence that is bounded below by 0. Moreover, since Fiα for i=1,2 is continuous, we have
‖w0−s0‖=limk→∞‖snk+1−so‖=limk→∞‖Fiαsnk−s0‖=‖Fiαs−s0‖=‖(1−α)s+αFis−s0‖≤(1−α)‖s−s0‖+α‖Fis−s0‖fori∈{1,2}. | (3.12) |
Since α>0, we get
‖s−s0‖≤‖Fis−s0‖,fori∈{1,2}. | (3.13) |
Since Fi are quasi-nonexpansive maps, we get
‖Fis−s0‖≤‖s−s0‖,fori∈{1,2}, | (3.14) |
and from inequalities (3.13) and (3.14), we get
‖Fis−s0‖=‖s−s0‖,fori∈{1,2}. | (3.15) |
Now, from inequality (3.12), we have
‖s−s0‖≤‖(1−α)s+αFis−s0‖,fori∈{1,2}≤(1−α)‖s−s0‖+α‖Fis−s0‖,fori∈{1,2}=‖s−s0‖, |
which implies that
‖(1−α)s+αFis−s0‖=(1−α)‖s−s0‖+α‖Fis−s0‖,fori∈{1,2}. |
Since U is strictly convex, either Fis−s0=a(s−s0) for some a⪈0 or s=s0. From Eq (15), it follows that a=1, then, Fis=s for i=1,2 and s∈F(F1∩F2). Since limn→∞‖sn−s0‖ exists and {snk} converges strongly to s. Hence, {sn} converges strongly to s∈F(F1∩F2).
The next conclusion for metric projection is slightly more fascinating.
Theorem 3.3. Let Fi be quasi-nonexpansive self-mappings on a non-void, closed, and convex subset V of a uniformly convex Banach space U for i∈{1,2}, and satisfies condition (E) so that F(F1∩F2)≠ϕ. Let P:U→F(F1∩F2) be the metric projection. Then, for every u∈U, the sequence {PFniu} for i={1,2}, converges to s∈F(F1∩F2).
Proof. Let u∈V. For n,m∈N
‖PFniu−Fniu‖≤‖PFmiu−Fniu‖,forn≥m,i∈{1,2}. | (3.16) |
Since u∈F(F1∩F2) , n∈N and Fi are quasi-nonexpansive maps, fori∈{1,2} we have
‖PFmiu−Fniu‖=‖PFmiu−FiFn−1iu‖≤‖PFmiu−Fn−1iu‖. |
Therefore, for n≥m, it follows that
‖PFmiu−Fniu‖≤‖PFmiu−Fmiu‖,fori∈{1,2}. | (3.17) |
From inequalities (3.16) and (3.17), we have
‖PFniu−Fniu‖≤‖PFmiu−Fmiu‖,fori∈{1,2}, |
which implies that limn→∞‖PFniu−Fniu‖ exists. Taking limn→∞‖PFniu−Fniu‖=l.
If l=0, then we have an integer n0( ϵ) for ϵ>0, satisfying
‖PFniu−Fniu‖>ϵ4,fori∈{1,2}, | (3.18) |
for n≥n0. Therefore, if n≥m≥n0 and using inequalities (3.17) and (3.18), we have, for i∈{1,2},
‖PFniu−PFmiu‖≤‖PFniu−PFn0iu‖+‖PFn0iu−Fmiu‖≤‖PFniu−Fniu‖+‖Fniu−PFn0iu‖+‖PFmiu−Fmiu‖+‖Fmiu−PFn0iu‖≤‖PFniu−Fniu‖+‖Fn0iu−PFn0iu‖+‖PFmiu−Fmiu‖+‖Fn0iu−PFn0iu‖≤ϵ4+ϵ4+ϵ4+ϵ4=ϵ. |
That is, {PFniu} for i={1,2} is a Cauchy sequence in F(F1∩F2). Using the completeness of U and the closedness of F(F1∩F2) from the above theorem, {PFnix} for i=1,2, converges in F(F1∩F2). Taking l>0, we claim that the sequence {PFniu} for i=1,2, is a Cauchy sequence in U. Also we have, an ϵ0>0 so that, for each n0∈N, we have some r0,s0≥n0 satisfying
‖PFr0iu−PFs0iu‖≥ϵ0,fori∈{1,2}. |
Now, we choose a θ>0
(l+θ)(1−δϵ0l+θ)<θ. |
Let m0 be as large as possible such that for q≥m0
l≤‖PFqiu−Fqiu‖≤l+θ. |
For this m0, there exist q1,q2 such that q1,q2>m0 and
‖PFq1iu−PFq2iu‖≥ϵ0fori∈{1,2}. |
Thus, for q0≥max{q1,q2}, we attain
‖PFq1ix−Fq0ix‖≥‖PFq1ix−Fq1ix‖<l+θ, |
and
‖PFq2ix−Fq0ix‖≥‖PFq1ix−Fq1ix‖<l+θfori∈{1,2}. |
Now, using the uniform convexity of U, we attain
l≤‖PFq0ix−Fq0ix‖≤‖PFq1ix+PFq2ix2−Fq0ix‖,fori∈{1,2}≤( l+θ) (1−δϵ0l+θ)<θ, |
a contradiction. Hence for every u∈V, the sequence {PFniu} for i=1,2, converges to some s∈F(F1∩F2).
We have proved some properties of common fixed points and also showed that if two mappings have common fixed points, then their α-Krasnosel'skii mappings are asymptotically regular. To show the superiority of our results, we have provided an example. Further, we have proved that the α-Krasnosel'skii sequence and its projection converge to a common fixed whose collection is closed.
Researchers would like to thank the Deanship of Scientific Research, Qassim University for funding publication of this project.
The authors declare no conflict of interest.
[1] | C. S. Holling, The functional response of invertebrate predators to prey density, Mem. Entomol. Soc. Can., 98 (1966), 5–86. |
[2] | R. M. May, Stability and Complexity in Model Ecosystemsm, New Jersey: Princeton University Press, 1973. |
[3] | H. I. Freedman, Deterministic Mathematical Models in Population Ecology, New York: Dekker, 1980. |
[4] |
P. H. Leslie, J. C. Gower, The properties of a stochastic model for the predator-prey type of interaction between two species, Biometrika, 47 (1960), 219–234. doi: 10.1093/biomet/47.3-4.219
![]() |
[5] |
P. H. Crowley, E. K. Martin, Functional responses and interference within and between year classes of a dragonfly population, J. N. Am. Benthol. Soc., 8 (1989), 211–221. doi: 10.2307/1467324
![]() |
[6] |
J. R. Beddington, Mutual interference between parasites or predators and its effect on searching efficiency, J. Anim. Ecol., 44 (1975), 331–340. doi: 10.2307/3866
![]() |
[7] |
D. L. DeAngelis, R. A. Goldstein, R. V. O'Neill, A model for tropic interaction, Ecology, 56 (1975), 881–892. doi: 10.2307/1936298
![]() |
[8] |
V. Ajraldi, M. Pittavino, E. Venturino, Modeling herd behavior in population systems, Nonlinear Anal.: Real World Appl., 12 (2011), 2319–2338. doi: 10.1016/j.nonrwa.2011.02.002
![]() |
[9] |
P. A. Braza, Predator-prey dynamics with square root functional responses, Nonlinear Anal.: Real World Appl., 13 (2012), 1837–1843. doi: 10.1016/j.nonrwa.2011.12.014
![]() |
[10] |
S. L. Yuan, C. Q. Xu, T. H. Zhang, Spatial dynamics in a predator-prey model with herd behavior, Chaos, 23 (2013), 033102. doi: 10.1063/1.4812724
![]() |
[11] | C. Q. Xu, S. L. Yuan, Stability and Hopf bifurcation in a delayed predator-prey system with herd behavior, Abstr. Appl. Anal., 2014 (2014), 568943. |
[12] |
E. Venturino, S. Petrovskii, Spatiotemporal behavior of a prey-predator system with a group defense for prey, Ecol. Complexity, 14 (2013), 37–47. doi: 10.1016/j.ecocom.2013.01.004
![]() |
[13] |
C. Q. Xu, S. L. Yuan, T. H. Zhang, Global dynamics of a predator-prey model with defense mechanism for prey, Appl. Math. Lett., 62 (2016), 42–48. doi: 10.1016/j.aml.2016.06.013
![]() |
[14] |
B. W. Kooi, E. Venturino, Ecoepidemic predator-prey model with feeding satiation, prey herd behavior and abandoned infected prey, Math. Biosci., 274 (2016), 58–72. doi: 10.1016/j.mbs.2016.02.003
![]() |
[15] |
M. Banerjee, B. W. Kooi, E. Venturino, An ecoepidemic model with prey herd behavior and predator feeding saturation response on both healthy and diseased prey, Math. Model. Nat. Phenom., 12 (2017), 133–161. doi: 10.1051/mmnp/201712208
![]() |
[16] |
X. S. Tang, Y. L. Song, Bifurcation analysis and Turing instability in a diffusive predator-prey model with herd behavior and hyperbolic mortality, Chaos Solitons Fractals, 81 (2015), 303–314. doi: 10.1016/j.chaos.2015.10.001
![]() |
[17] |
X. S. Tang, Y. L. Song, T. H. Zhang, Turing-Hopf bifurcation analysis of a predator-prey model with herd behavior and cross-diffusion, Nonlinear Dyn., 86 (2016), 73–89. doi: 10.1007/s11071-016-2873-3
![]() |
[18] |
Q. Liu, D. Q. Jiang, T. Hayat, A. Alsaedi, Stationary distribution and extinction of a stochastic predator-prey model with herd behavior, J. Franklin Inst., 355 (2018), 8177–8193. doi: 10.1016/j.jfranklin.2018.09.013
![]() |
[19] |
X. Y. Meng, J. G. Wang, Dynamical analysis of a delayed diffusive predator-prey model with schooling behavior and Allee effect, J. Biol. Dyn., 14 (2020), 826–848. doi: 10.1080/17513758.2020.1850892
![]() |
[20] |
W. B. Yang, Analysis on existence of bifurcation solutions for a predator-prey model with herd behavior, Appl. Math. Model., 53 (2018), 433–446. doi: 10.1016/j.apm.2017.09.020
![]() |
[21] |
W. B. Yang, Effect of cross-diffusion on the stationary problem of a predator-prey system with a protection zone, Comput. Math. Appl., 76 (2018), 2262–2271. doi: 10.1016/j.camwa.2018.08.025
![]() |
[22] |
F. Souna, A. Lakmeche, S. Djilali, Spatiotemporal patterns in a diffusive predator-prey model with protection zone and predator harvesting, Chaos Solitons Fractals, 140 (2020), 110180. doi: 10.1016/j.chaos.2020.110180
![]() |
[23] |
S. Bentout, S. Djilali, S. Kumar, Mathematical analysis of the influence of prey escaping from prey herd on three species fractional predator-prey interaction model, Phys. A, 572 (2021), 125840. doi: 10.1016/j.physa.2021.125840
![]() |
[24] | S. G. Ruan, J. J. Wei, On the zeros of transcendental functionas with applications to stability of delay differential equations with two delays, Dyn. Contin. Discrete Impulsive Sys., 10 (2003), 863–874. |
[25] | J. K. Hale, Theory of Functional Differential Equations, New York: Springer-Verlag, 1977. |
[26] | Y. Kuang, Delay Differerntial Equations with Application in Population Dynamics, New York: Academic Press, 1993. |
[27] |
E. Beretta, Y. Kuang, Global analyses in some delayed ratio-dependent predator-prey systems, Nonlinear Anal.: Theory Methods Appl., 32 (1998), 381–408. doi: 10.1016/S0362-546X(97)00491-4
![]() |
[28] | X. Y. Meng, J. Li, Dynamical behavior of a delayed prey-predator-scavenger system with fear effect and linear harvesting, Int. J. Biomath., 2021. Available from: https://doi.org/10.1142/S1793524521500248. |
[29] |
X. Y. Meng, N. N. Qin, H. F. Huo, Dynamics of a food chain model with two infected predators, Int. J. Bifurcation Chaos, 31 (2021), 2150019. doi: 10.1142/S021812742150019X
![]() |
[30] | S. Djilali, B. Ghanbari, The influence of an infectious disease on a prey-predator model equipped with a fractional-order derivative, Adv. Differ. Equations, 2021 (2021), 20. Available from: https://doi.org/10.1186/s13662-020-03177-9. |
[31] |
H. S. Gordon, The economic theory of a common property resource: The fishery, J. Political Econ., 62 (1954), 124–142. doi: 10.1086/257497
![]() |
[32] | D. G. Luenberger, A. Arbel, Singular dynamic Leontief systems, Econometrics, 45 (1997), 991–995. |
[33] | Y. Zhang, Q. L. Zhang, Chaotic control based on descriptor bioeconomic systems, Control Decis., 22 (2007), 445–447+452. |
[34] |
X. Y. Meng, Y. Q. Wu, Bifurcation and control in a singular phytoplankton-zooplankton-fish model with nonlinear fish harvesting and taxation, Int. J. Bifurcation Chaos, 28 (2018), 1850042. doi: 10.1142/S0218127418500426
![]() |
[35] |
K. Chakraborty, M. Chakraborty, T. K. Kar, Bifurcation and control of a bioeconomic model of a prey-predator system with a time delay, Nonlinear Anal.: Hybrid Syst., 5 (2011), 613–625. doi: 10.1016/j.nahs.2011.05.004
![]() |
[36] | Q. L. Zhang, C. Liu, X. Zhang, Complexity, Analysis and Control of Singular Biological Systems, London: Springer Press, 2012. |
[37] |
G. D. Zhang, Y. Shen, B. S. Chen, Hopf bifurcation of a predator-prey system with predator harvesting and two delays, Nonlinear Dyn., 73 (2013), 2119–2131. doi: 10.1007/s11071-013-0928-2
![]() |
[38] |
C. Liu, W. L. Ping, Q. L. Zhang, Y. Yan, Dynamical analysis in a bioeconomic phytoplankton zooplankton system with double time delays and environmental stochasticity, Phys. A, 482 (2017), 682–698. doi: 10.1016/j.physa.2017.04.104
![]() |
[39] |
B. Babaei, , M. Shafiee, Analysis and behavior control of a modified singular prey-predator model, Eur. J. Control, 49 (2019), 107–115. doi: 10.1016/j.ejcon.2019.01.001
![]() |
[40] | W. M. Boothby, An Introduction to Differential Manifolds and Riemannian Geometry, New York: Academic Press, 1986. |
[41] | B. S. Chen, X. X. Liao, Y. Q. Liu, Normal forms and bifurcations for the differential-algebraic systems, Acta Math. Appl. Sin., 23 (2000), 429–433. |
[42] | B. D. Hassard, N. D. Kazarinoff, Y. H. Wan, Theory and Applications of Hopf Bifurcation, London: Cambridge University Press, 1981. |
[43] |
R. P. Gupta, M. Banerjee, P. Chandra, Period doubling cascades of prey-predator model with nonlinear harvesting and control of over exploitation through taxation, Commu. Nonlinear Sci. Numer. Simul., 19 (2014), 2382–2405. doi: 10.1016/j.cnsns.2013.10.033
![]() |
[44] |
M. Li, B. S. Chen, H. W. Ye, A bioeconomic differential algebraic predator-prey model with nonlinear prey harvesting, Appl. Math. Model., 42 (2017), 17–28. doi: 10.1016/j.apm.2016.09.029
![]() |
[45] |
P. D. N. Srinivasu, Bioeconomics of a renewable resource in presence of a predator, Nonlinear Anal.: Real. World Appl., 2 (2001), 497–506. doi: 10.1016/S1468-1218(01)00006-2
![]() |