Nonlinear Analysis and Differential Equations, Vol. 4, 2016, no. 14, 669 - 677
HIKARI Ltd, www.m-hikari.com
https://doi.org/10.12988/nade.2016.6974
Existence, Uniqueness Solution of a Modified
Predator-Prey Model
M. A. Al Qudah
Mathematical Science Department
Princess Nourah Bint Abdulrahman University
P.O. Box 84428, Riyadh 11671, Saudi Arabia
Copyright © 2016 M. A. Al Qudah. This article is distributed under the Creative Commons
Attribution License, which permits unrestricted use, distribution, and reproduction in any medium,
provided the original work is properly cited.
Abstract
A modified predator-prey model which describes the interaction between the
Predator-Prey species and at the species itself is considered. The existence and
uniqueness of solutions of a modified predator-prey model in πΏπ,π space is proved
under certain conditions of π and π. Some properties of the dynamically system
of such model are described such as its stability. Graphs of solutions displayed.
Applications of the results in mathematical biology are discussed.
2000 Mathematics Subject Classification: 92B99
Keywords: Predator-Prey model, existence, uniqueness, Stability
1. Introduction
The dynamics of population has been described using mathematical models
which have been very successfully for studying animals and human populations.
Lotka [12] initiated the predator-prey models and competing species relations.
Levin and Segel [11] studied some biological hypotheses concerning the origin of
Planktonic Patchiness model. Fife [10] considered reaction and diffusion systems
which are distributed in 3-dimentional space or on a surface rather than on the
line. Calderon [9] studied the diffusion and non-linear population theory.
Abualrub [1] discussed diffusion problems in mathematical biology. In addition,
Abualrub [2] studied diffusion in 2- dimensional spaces for which diffusion is
more realistic and applicable in life and he proved the existence and uniqueness of
long range diffusion reaction model on population dynamics. Abualrub [4] proved
670
M. A. Al Qudah
the existence and uniqueness of solutions of a diffusive predator-prey model. AlQudah and Abualrub [5] studied the existence and uniqueness of long range
diffusion involving flux for insect dispersal model, and they studied in [7] solitary
and traveling wave solutions with stability analysis also for insect dispersal
model. In this paper, we make another modification of the model of Abualrub [3]
which is a modification to planktonic patchiness model, - a kind of predator-prey
model-, for more details see [11]. Existence and uniqueness of solutions for the
modified model will be considered. A traveling wave solutions and stability have
been considered. This paper is organized as follows. In Section 2, a modified
Predator- Prey model is considered. The existence and uniqueness of its solutions
is given in Section 3. The stability analysis and the conclusion are given in
Section 4.
2. The predator- prey model
The model we are going to consider here is another modification to the
planktonic patchiness model, a kind of predator-prey models, which were
originally considered by Levin and Segel in 1976 [11]. We use the model in [4, 3,
6] with the assumption that the species specific diffusion coefficients be constant
to come up with the predator- prey model:
π’π‘ β βπ’ = π1 π’ + π2 π’2 β π3 π’π£,
(1)
π£π‘ β βπ£ = π4 π’π£ β π5 π£ 2 .
(2)
Where π’ = π’(π₯, π¦) is the prey density population, π£ = π£(π₯, π¦)is the predator
density population,
π2
π2
π₯ = (π₯1 , π₯2 ), and β= ππ₯ 2 + ππ₯ 2 represents the diffusion (dispersal), we shall
1
2
assume that π2 ,β¦,π5 are constants and π1 may assumed to be compact supported
and bounded function of π₯; that is ( π1 = π1 (π₯); π1 (π₯) = 0 if |π₯| > π; where N; is
a constant ) not a constant this is assumed, because the birth (or death) rate may
depend on the environment, which is assumed to be bounded. Another reason for
assuming that π2 ,β¦,π5 are constants, is due to the fact that the birth(or death) rate
depends on the interaction between the male and the female (sexual interaction as
in terms π2 π’2 and βπ5 π£ 2 ) or on the binary interaction between the males and
females of the prey and the predator respectively ( as in the term π’π£). In this paper
we assume that π1 is constant and we modify the model by assuming another kind
of interaction between the prey and the predator, that is two terms are added,
namely to get the following model :
π’π‘ β π·1 βπ’ = π1 π’ β π2 π’2 β π3 π’π£ β π4 π’π£ 2 ,
(3)
π£π‘ β π·2 βπ£ = π5 π’π£ β π6 π£ β π7 π£ 2 + π8 π’π£ 2 .
(4)
2
2
The added terms βπ4 π’π£ , and π8 π’π£ mean that there exists an interaction
between the species itself such as (in the mating period so we can consider the
term π£ 2 is the existence of a male and a female together, this will lead two predators
Existence, uniqueness solution of a modified predator-prey model
671
to meet on a prey. As the predator has a strong rapacity and can take more than it
needs so it is better to consider the term π’π£ 2 ), and then interact the two species
together in the environmental. The constants π1 ,π2 ,β¦,π8 are positive and
π·1 , π·2 are the diffusion coefficients which are small positive constants. Finally
assume that the initial data are in the same πΏπ space for some π > 1, The initial
values for Eqs. (3) and (4) will be given by
π’(π₯, 0) = π(π₯), π£(π₯, 0) = β(π₯) respectively, where both π(π₯) and β(π₯) β
πΏπ (π
2 ). In addition we will consider small values of time π‘, since we are looking
for local solution in the usual diffusion, but for large values of time one should
talk about long range diffusion as in [2, 5].
3. Usual diffusion with π = π in the πΏπ,π norms
To easily solve Eqs. (3) and (4) we shall make the terms π1 π’ and βπ6 π£
disappear from Eqs. (3) and (4); to do this let π’(π₯, π‘) = π πΌπ‘ π€(π₯, π‘), and π£(π₯, π‘) =
π π½π‘ π§(π₯, π‘) where πΌ = π1 , π½ = βπ6. Therefore Eqs. (3) and (4) together with the
initial data become as follows:
(5)
π€π‘ β π·1 βπ€ = βπ2 π πΌπ‘ π€ 2 β π3 π π½π‘ π€π§ β π4 π 2π½π‘ π€π§ 2 ,
π₯ β π
2,
π€(π₯, 0) = π(π₯),
(6)
π§π‘ β π·2 βπ§ = π5 π πΌπ‘ π€π§ β π7 π π½π‘ π§ 2 + π8 π (πΌ+π½)π‘ π€π§ 2 ,
(7)
π§(π₯, 0) = β(π₯),
π₯ β π
2,
(8)
π
since we have the heat operator ππ‘ β β in the left hand side of Eqs.(5) and (7),
therefore π€ and π§ can be obtained by solving the following integral equations:
π‘
π€ = β« β« πΎ1 (π₯ β π¦, π‘ β π)[βπ2 π πΌπ π€ 2 β π3 π π½π π€π§ β π4 π 2π½π π€π§ 2 ] ππ¦ππ
0
π
2
+ β« πΎ1 (π₯ β π¦, π‘) π(π¦)ππ¦,
(9)
π
2
π‘
π§ = β« β« πΎ2 (π₯ β π¦, π‘ β π)[π5 π πΌπ π€π§ β π7 π π½π π§ 2 + π8 π (πΌ+π½)π π€π§ 2 ] ππ¦ππ
0
π
2
+ β« πΎ2 (π₯ β π¦, π‘) β(π¦)ππ¦,
(10)
π
2
where πΎ1 , πΎ1 are the fundamental solutions of the heat equation; thus:
π·
β|π₯|2
π·
β|π₯|2
1
1
2
πΎ1 (π₯, π‘) = 2ππ‘
π 2π‘ and πΎ2 (π₯, π‘) = 2ππ‘
π 2π‘ , |π₯| = (π₯12 + π₯22 )2 , π‘ > 0.
Let
π· = πππ₯{π·1 , π·2 } where π· is a small positive constant. And πΎ1 , πΎ1 can be
estimated as in [2]; then
672
M. A. Al Qudah
|πΎ1,2 (π₯, π‘)| β€
π·
1
.
(11)
(|π₯|+π‘ 2 )2
Using the symbol β to represent the convolution in space and time while the
symbol β is to represent the convolution in space only; we can rewrite Eqs. (9)
and (10) in a simpler way as follows:
π€ = πΎ1 β [βπ2 π πΌπ π€ 2 β π3 π π½π π€π§ β π4 π 2π½π π€π§ 2 ] + πΎ1
β π,
(12)
π§ = πΎ2 β [π5 π πΌπ π€π§ β π7 π π½π π§ 2 + π8 π (πΌ+π½)π π€π§ 2 ] + πΎ2
β β.
(13)
where π€ and π§ are weak solutions of Eqs. (1), (2), (3) and (4) respectively, which
implies that the integrals in Eqs. (9) and (10) exist in the Lebesgue sense.
6
6
4
Lemma 1 If π€(π₯, π‘), π§(π₯, π‘)ππΏ(2βπ,2βπ) (π
2 × [0,1]); πππ π(π₯), β(π₯)ππΏ(2βπ) (π
2 ),
π‘βππ πππ π > 0,
βπ(π€)β 6 6
,
2βπ 2βπ
β€ πΆ β² 6 βπ€β26
β²β²
6 + πΆ 6 βπ€β 6 , 6 βπ§β 6 , 6
2βπ 2βπ
2βπ 2βπ
2βπ
2βπ 2βπ
2βπ
β²β²β²
2
βπ€β
βπ§β
βπβ
+πΆ 6
6 6
8 8 +πΆ 4
4 ,
,
,
2βπ 2βπ
2βπ 2βπ
2βπ
2βπ
2βπ
βπ(π§)β 6 6 β€ π΄β² 6 βπ€β 6 6 βπ§β 6 6 β π΄β²β²6 βπ§β2 8 8
,
,
,
,
2βπ 2βπ
2βπ 2βπ
2βπ 2βπ
2βπ 2βπ
2βπ
2βπ
β²β²β²
2
+ π΄ 6 βπ€β 6 , 6 βπ§β 8 , 8 + π΄ 4 βββ 4 .
2βπ 2βπ
2βπ 2βπ
2βπ
2βπ
2βπ
,
πππ
Proof : Consider π(π€) and π(π€) to be the image of π€ and π§ respectively, such
that:
π(π€) = πΎ1 β [βπ2 π πΌπ π€ 2 β π3 π π½π π€π§ β π4 π 2π½π π€π§ 2 ] + πΎ1
β π,
(14)
(πΌ+π½)π
πΌπ
π½π 2
2
π(π§) = πΎ2 β [π5 π π€π§ β π7 π π§ + π8 π
π€π§ ] + πΎ2
β β.
(15)
Assume that π‘ takes small values in order to show the existence and uniqueness
of local solutions to Eqs. (14) and (15). Take the first, second, third, and fourth
terms on the right hand side of Eq. (15) we shall use exponents π, π , π, π
respectively, when considering the πΏπ norm and we have the same argument for
Eq. (14). It is obvious from Eq. (11) that:
π·
0 β€ |πΎ2 (π₯, π‘)| β€
;
(16)
1 2
(|π₯| + π‘ 2 )
using Eq. (16) and the same estimation of πΎ2 as in [7] which is given by:
π
|πΎ2 (π₯, π‘)| β€
π·π β² 2
|π₯|2βπ π‘1β
2β(π+π)
2
(17)
Existence, uniqueness solution of a modified predator-prey model
673
where 0 β€ π‘ β€ π β² . πβ² is very small,0 < π < 2 and the very small positive
constant π is chosen such that 0 < π + π < 2. From Eqs. (14) and (17), we
obtain:
|π(π§(π₯, π‘))| β€
πβ²
π
β²
π·π5 π πΌπ π β² 2 β«
β
|π€(π¦, π)||π§(π¦, π)|ππ¦ππ
β«
0 π
2
πβ²
π
β²
π·π7 π πΌπ π β² 2 β«
|π₯ β π¦|2βπ |π‘ β π|1β
β²
π
πβ²
+π·π8 π (πΌ+π½)π π β² 2 β«0 β«π
2
|π₯ β π¦|2βπ |π‘ β π|1β
|π€(π¦,π)||π§(π¦,π)|2 ππ¦ππ
2β(π+π)
2
|π₯βπ¦|2βπ |π‘βπ|1β
β|.
π
|π§(π¦, π)|2 ππ¦ππ
β«
0 π
2
2
2
2β(π+π)
2
π
2
2
2β(π+π)
2
+ |πΎ2 β
π
2
2
2
π
2
(18)
2
Now, assume that βππΏ (π
), π§ ππΏ (π
), π€ π§ ππΏ (π
), π€π§ ππΏ (π
). Let π >
1 be chosen such that:
1 2 π
4
= β ; 2<π< ,
(19)
π π 2
π
by taking the πΏπ (π
2 ) norm of the both sides and use the Benedek-Panzone
Potential Theorem, see [8], the first, the second and the third terms of the right
hand side of Eq. (18) become:
βπ(π§(. , π‘))βπ
β²
π π βπ€(. , π)βπ βπ§(. , π)βπ ππ
β²2
β€ π·π5 ππ π β«
2β(π+π)
0
|π‘ β π|1β 2
β²
β²
2
2
π π βπ§(. , π)βπ ππ
π π βπ€(. , π)βπ βπ§(. , π)βπ ππ
β²2
β²2
β π·π7 ππ π β«
+
π·π
π
π
β«
8 π
2β(π+π)
2β(π+π)
0 |π‘ β π|1β
0
2
|π‘ β π|1β 2
+ βπΎ2 β β(. , π‘)βπ .
(20)
Let
π
π
π
βπ€(. , π)βπ βπ§(. , π)βπ ππΏ2 (π
+ ), βπ§(. , π)βπ 2 ππΏ2 (π
+ ), πππ βπ€(. , π)βπ βπ§(. , π)βπ 2 ππΏ2 (π
+ ),
and letπ > 1 such that for the third term we have:
1 3 2 β (π + π)
6
= β
; 3<π<
,
(21)
π π
2
2 β (π + π)
Again, by applying the Benedek-Panzone Potential Theorem, the first, the second
and the third terms of the right hand side of Eq. (20), and taking the πΏπ (π
+ )norm
of the both sides, we obtain:
βπ(π§)βπ,π β€ π·π5 ππ ππ βπ€βπ,π βπ§βπ,π β π·π7 ππ ππ βπ§β2π,π
+ π·π8 ππ ππ βπ€βπ,π βπ§β2π,π + βπΎ2 β ββπ .
(22)
2
Now, take π = π, then from Eq.(19) we get π = π πππ π = π , then from Eq.(21)
4
we have π = 2β(π+π), 0 < π < 2, π > 0. In addition we shall require that π = π.
674
M. A. Al Qudah
Therefor π =
π·π5 ππ ππ , π΄β²β²
π΄
4
2βπ
βββ
4
2βπ
2βπ
3
6
2βπ
; which implies that: = π = π = π =
= π·π7 ππ ππ , and π΄β²β²β²
6
2βπ
6
2βπ
, and selecting π΄β²
= π·π8 ππ ππ . And since βπΎ2 β ββ
6
2βπ
6
2βπ
=
β€
follows directly from imbedding Lemma (namely Lemma 2) for the
initial data, this turns will conclude the main Theorem.
Lemma 2 Let πΉ(π₯, π‘) = πΎ2 β β. Assume that β β πΏπ (π
2 ), 1 < π < β. If for π, π >
1
1
1
1 with π + 2π = π , then πΉ(π₯, π‘) β πΏπ,π (π
2 × π
+ ) and βπΉβπ,π β€ π(π)βββπ ,
where π(π) is a constant depending on π and the dimension.
Proof see [4].
4
Theorem 3 Suppose that the initial data π, β β πΏ2βπ (π
2 ), 1 < π < β, 0 < π < 2,
if π > 0 is very small such that βπβ 4 βββ 4 < π, then βa unique solution
2βπ
π’, π£ π π’πβ π‘βππ‘ βπ’β
6
6
,
2βπ 2βπ
, βπ£β
6
6
,
2βπ 2βπ
2βπ
< β; where 0 < π < 1.
The proof of this theorem can be done using the same argument as the proof of
Lemma 1.
4. Stability Analysis
In this section we are discuss the stability of the modified model given by Eqs.
(3), (4) in one dimension. First we dimensionless the system by setting
1
π2
π3
1
1
π = π π’, π = π π£, π = π1 π‘, π =
π32
π1
, π7 = π3 π1 , π8 =
π3 π5
π1
π 2
(π·1 ) π₯, π·
2
π·
π
π6
= π·1 , π1 = π5 , π2 = π
2
2
1 π1
, π4 =
, then we have:
2
ππ = π·πππ + π β π β ππ β ππ 2 ,
ππ = π1 π[π β π2 β π + ππ] + πππ .
(23)
It is clear that π1 , π2 are positive constants since π1 , π2 , β¦ , π8 are positive using
the fact that only the predator are capable of moving toward the prey we have
π·1 = 0 and letting π(π, π) = π’1 (π) and π(π, π) = π£1 (π): π = π β ππ where π is
the wave speed which must be determined , thus system (23) become:
βπ
βπ
ππ’1
= π’1 [1 β π’1 β π£1 β π£1 2 ],
ππ
ππ£1
π 2 π£1
= π1 π£1 [π’1 β π2 β π£1 β π’1 π£1 ] +
,
ππ
ππ 2
(24)
ππ£
Using the method of reduction of order by setting m= ππ1 then we have a system of
nonlinear of first order ODE's:
Existence, uniqueness solution of a modified predator-prey model
675
ππ’1 βπ’1
[1 β π’1 β π£1 β π£1 2 ],
=
ππ
π
ππ£1
= π,
ππ
ππ
= βππ β π1 π£1 [π’1 β π2 β π£1 β π’1 π£1 ].
ππ
(25)
It is clear that system (25) is an almost linear system and has equilibrium points of
ππ’
ππ£
ππ
the form (π’1 , π£1 , π) by setting ππ1 = ππ1 = ππ = 0 the equilibrium points
are:(0,0,0), (1,0,0) πππ (0, βπ2 , 0). The Jacobian matrix corresponding system
(25) is:
π½=[
β[1β2π’1 βπ£1 βπ£1 2 ]
[π’1 +2π’1 π£1 ]
π
π
0
βπ1 π£1 + π1 π£1 2
0
βπ1 π’1 + π1 π2 + 2π1 π£1 β 2π1 π’1 π£1
0
1 ].
βπ
It is clear that the points (0,0,0) πππ (1,0,0) are unstable saddle points since the
corresponding eigenvalues of the characteristic equation for each equilibria are of
opposite signs, but the point (0, βπ2 , 0) is asymptotically stable because its
π2 2 βπ2 β1
characteristic equation: (
roots: π1 =
π2,3 =
π2 2 βπ2 β1
π
βπ±βπ 2 β4π1 π2
2
π
β π) (π2 + ππ + π1 π2 ) = 0 has the following
< 0 if π2 π [0,
1+β5
2
] since π2 πππ π are positive constants.
< 0 if π > 2βπ1 π2 then the point is node, and if
π < 2βπ1 π2 then the point is spiral in each case the point is asymptotically
stable.
Conclusion
A- The wave speed π depends on the π1 , π2 , π5 and π6 actually on π4 and π8
π
(since π5 = π8 π3 ) which are related to the coefficients of π’π£ and π’π£ 2 . Thus the
4
coefficients of π’π£ 2 in the prey equation is less than the coefficient of π’π£ , which
means that, the decay of the prey decreases after we added the term π’π£ 2 . Also in
the predator equation we have added the term π’π£ 2 with rate π8 , and π8 > π5,
which means that, the growth rate of the predator increases after we add the term
π’π£ 2 . Therefore the interaction between the predator and the prey with the term
π’π£ 2 is better than the interaction with the term π’π£.
B- The interaction between two predators and one prey is possible even though
we are at closed environment that is for several reasons:
)i) The temperature has an effect on movement of the predator and prey. For
example if it increases, the predator's movement will slow down. And if it
decreases the prey will hide. Consequently, two predators will gather on a prey.
676
M. A. Al Qudah
(ii) In the mating period we can consider the term π£ 2 is the existence of a male
and a female together, this will lead two predators to meet on a prey. As the
predator has a strong rapacity and can take more than his needs so it is better to
consider the term π’π£ 2 .
In both cases, low temperature and mating, the consumption of food will
decrease and providing food will be continuous to all the species.
References
[1] M. S. Abualrub, Diffusion Problems in Mathematical Biology, Dirasat
Natural and Engineering Sciences, 23 (1996), no. 1, 106-115.
[2] M. S. Abualrub, Long Range Diffusion-Reaction Model on Population
Dynamics, Documenta Mathematica, 3 (1998), 331-340.
[3] M. S. Abualrub, Traveling Wave Solutions to Predator-Prey and Insect
Dispersal Models, Accepted for Publication in the Journal of Franklin Institute,
USA. (2005).
[4] M. S. Abualrub, Existence and Uniqueness of Solutions to a Diffusive
Predator-Prey Model, Journal of Applied Functional Analysis, 4 (2009), no. 1,
107-111.
[5] M. A. Al-Qudah, and M. S. Abualrub, Existence of Solutions to a Model of
Long Range Diffusion Involving Flux, Journal of Applied Functional Analysis, 5
(2010), no. 4, 370-376.
[6] M. A. Al-Qudah, Stability of Solutions for Some Non-Linear Partial
Differential Equations, PhD.Thesis, University of Jordan, 2010.
[7] M. A. Al-Qudah, and M. S. Abualrub, Solitary and traveling wave solutions to
a model of long range diffusion involving flux with stability analysis,
International Mathematical Forum, 6 (2011), no. 27, 1313-1318.
[8] A. Benedek and R. Panzone, The space L^pwith mixed norm, Duke Math. J.,
28 (1961), 301-324. https://doi.org/10.1215/s0012-7094-61-02828-9
[9] C.P. Clarderon, Diffusion and nonlinear population Theory, Rev. U. Mat., 35
(1990), 283-288.
[10] P. C. Fife, Stationary Patterns for Reaction-Diffusion Equations, Pitman
Research Notes in Mathematics, Eds, W. E. Fitzgibbon, III and H. W. Walker, 14
(1977), 81-121.
Existence, uniqueness solution of a modified predator-prey model
677
[11] S.A. Levin, and L.A. Segel, Hypothesis for the Origin of Planktonic
Patchiness, Nature, 259 (1976), 659. https://doi.org/10.1038/259659a0
[12] A. J. Lotka, Elements of Mathematical Biology, New York Dover Pub, 1956.
Received: September 28, 2016; Published: November 15, 2016
© Copyright 2026 Paperzz