Full-Text PDF

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 179423, 10 pages
http://dx.doi.org/10.1155/2013/179423
Research Article
On the Period-Two Cycles of
π‘₯𝑛+1 = (𝛼 + 𝛽π‘₯𝑛 + 𝛾π‘₯𝑛−π‘˜)/(𝐴 + 𝐡π‘₯𝑛 + 𝐢π‘₯𝑛−π‘˜)
S. Atawna,1 R. Abu-Saris,2 I. Hashim,1 and E. S. Ismail1
1
2
School of Mathematical Sciences, The National of University of Malaysia, 43600 Bangi, Selangor, Malaysia
Department of Basic Sciences, King Saud bin Abdulaziz University for Health Sciences, Riyadh 11426, Saudi Arabia
Correspondence should be addressed to S. Atawna; s atawna@yahoo.com
Received 2 January 2013; Revised 13 April 2013; Accepted 13 April 2013
Academic Editor: Douglas Anderson
Copyright © 2013 S. Atawna et al. This is an open access article distributed under the Creative Commons Attribution License, which
permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We consider the higher order nonlinear rational difference equation π‘₯𝑛+1 = (𝛼+𝛽π‘₯𝑛 +𝛾π‘₯𝑛−π‘˜ )/(𝐴+𝐡π‘₯𝑛 +𝐢π‘₯𝑛−π‘˜ ), 𝑛 = 0, 1, 2, . . ., where
the parameters 𝛼, 𝛽, 𝛾, 𝐴, 𝐡, 𝐢 are positive real numbers and the initial conditions π‘₯−π‘˜ , . . . , π‘₯−1 , π‘₯0 are nonnegative real numbers,
π‘˜ ∈ {1, 2, . . .}. We give a necessary and sufficient condition for the equation to have a prime period-two solution. We show that the
period-two solution of the equation is locally asymptotically stable.
1. Introduction
Recently, dynamics of nonnegative solutions of higher order
rational difference equation has been an area of intense
interest. Related to this subject, researches are done by
Dehghan et al. [1–4], Zayed [5–7], Huang and Knopf [8,
9], Karatas [10, 11], and others. For the general theory of
difference equations, one can refer to the monographes of
Kocić and Ladas [12], Elaydi [13], Agarwal [14], Kulenović
and Ladas [15], and Camouzis and Ladas [16]. Other related
results can be found in [17–24].
Our aim in this paper is to study the higher order
nonlinear rational difference equation
π‘₯𝑛+1 =
𝛼 + 𝛽π‘₯𝑛 + 𝛾π‘₯𝑛−π‘˜
,
𝐴 + 𝐡π‘₯𝑛 + 𝐢π‘₯𝑛−π‘˜
𝑛 = 0, 1, 2, . . . ,
(1)
where the parameters 𝛼, 𝛽, 𝛾, 𝐴, 𝐡, 𝐢 are positive real numbers and the initial conditions π‘₯−π‘˜ , . . . , π‘₯−1 , π‘₯0 are nonnegative real numbers, π‘˜ ∈ {1, 2, . . .}. Our concentration is on the
periodic character of all positive solutions of (1).
The periodic character of positive solutions of (1) for
π‘˜ = 1 has been investigated by the authors in [25]. They
showed that the period-two solution of (1) for π‘˜ = 1 is locally
asymptotically stable if it exists.
Motivated by the above results, our interest is now to
study and generalize the previous results to the general case
depicted in (1).
The change of variable
π‘₯𝑛 =
𝛾
𝑦
𝐢 𝑛
(2)
reduces (1) to
𝑦𝑛+1 =
π‘Ÿ + 𝑝𝑦𝑛 + 𝑦𝑛−π‘˜
,
𝑧 + π‘žπ‘¦π‘› + 𝑦𝑛−π‘˜
𝑛 = 0, 1, 2, . . . ,
(3)
where
π‘Ÿ=
𝛼𝐢
,
𝛾2
𝐴
𝑧= ,
𝛾
𝑝=
𝛽
,
𝛾
𝐡
π‘ž=
𝐢
(4)
are positive real numbers and the initial conditions 𝑦−π‘˜ ,
. . . , 𝑦−1 , 𝑦0 are nonnegative real numbers.
This paper is organized besides this introduction in
three sections. In Section 2, we present some preliminaries
and some results which can be mainly deduced from the
general situation studied in [12–16, 26]. Our main results are
2
Abstract and Applied Analysis
presented in Section 3; we give a necessary and sufficient condition for the equation to have a prime period-two solution,
in addition to providing a necessary and sufficient conditions
for the prime period-two solution of the equation to be locally
asymptotically stable. In order to illustrate the results of the
previous section and to support our theoretical discussion,
we consider several numerical examples in Section 4; we use
MATLAB to see how the behaviors of (1) look like. Finally, we
conclude in Section 5 with suggestions for future research.
2. Preliminaries
(ii) A solution {π‘₯𝑛 } of (6) is said to be periodic with prime
period 𝑃 if 𝑃 is the least positive integer for which (11) holds.
Definition 3. Let
π‘žπ‘– =
πœ•π‘“
(π‘₯, π‘₯, . . . , π‘₯)
πœ•π‘’π‘–
(12)
denote the partial derivatives of 𝑓(𝑒0 , 𝑒1 , . . . , π‘’π‘˜ ) evaluated at
the equilibrium π‘₯ of (6). Then the equation
𝑦𝑛+1 = π‘ž0 𝑦𝑛 + π‘ž1 𝑦𝑛−1 + ⋅ ⋅ ⋅ + π‘žπ‘˜ 𝑦𝑛−π‘˜ ,
𝑛 = 0, 1, 2, . . . , (13)
For the sake of self-containment and convenience, we recall
the following definitions and results from [16].
Let 𝐼 be some interval of real numbers and let
is called the linearized equation associated with (6) about the
equilibrium point π‘₯. Its characteristic equation is
𝑓 : πΌπ‘˜+1 󳨀→ 𝐼
πœ†π‘˜+1 − π‘ž0 πœ†π‘˜ − ⋅ ⋅ ⋅ − π‘žπ‘˜−1 πœ† − π‘žπ‘˜ = 0.
(5)
be a continuously differentiable function. Then for every
set of initial conditions π‘₯−π‘˜ , . . . , π‘₯−1 , π‘₯0 ∈ 𝐼, the difference
equation
π‘₯𝑛+1 = 𝑓 (π‘₯𝑛 , π‘₯𝑛−1 , . . . , π‘₯𝑛−π‘˜ ) ,
𝑛 = 0, 1, 2, . . . ,
(6)
has a unique solution {π‘₯𝑛 }∞
𝑛=−π‘˜ .
A solution of (6) that is constant for all 𝑛 ≥ −π‘˜ is called
an equilibrium solution of (6). If
π‘₯𝑛 = π‘₯
for 𝑛 ≥ −π‘˜
(7)
Theorem 4 (linearized stability). (a) If all roots of (14) lie in
the open unit disk |πœ†| < 1, then the equilibrium π‘₯ of (6) is
locally asymptotically stable.
(b) If at least one of the roots of (14) has absolute value
greater than one, then π‘₯ is unstable.
The following result from [26] will become handy in the
sequel.
Lemma 5. If
󡄨󡄨
σ΅„¨σ΅„¨π‘Ž 𝑏
󡄨󡄨
󡄨󡄨 1 1
󡄨󡄨
󡄨󡄨 𝑐 π‘Ž 𝑏
󡄨󡄨
󡄨󡄨 1 2 2
󡄨󡄨 ,
󡄨
𝑐2 d d
𝐹𝑛 = 󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
d d 𝑏𝑛−1 󡄨󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
𝑐𝑛−1 π‘Žπ‘› 󡄨󡄨󡄨
󡄨
is an equilibrium solution of (6), then π‘₯ is called an equilibrium point or simply an equilibrium of (6).
Definition 1. (i) The equilibrium point π‘₯ of (6) is called locally
stable if for every πœ– > 0, there exists 𝛿 > 0 such that if
π‘₯−π‘˜ , . . . , π‘₯−1 , π‘₯0 ∈ 𝐼, and |π‘₯−π‘˜ −π‘₯|+⋅ ⋅ ⋅ , |π‘₯−1 −π‘₯|+|π‘₯0 −π‘₯| < 𝛿,
we have
󡄨
󡄨󡄨
(8)
󡄨󡄨π‘₯𝑛 − π‘₯󡄨󡄨󡄨 < πœ–, ∀𝑛 ≥ −π‘˜.
(ii) The equilibrium point π‘₯ of (6) is called locally
asymptotically stable if it is locally stable, and if there exists
𝛾 > 0, if π‘₯−π‘˜ , . . . , π‘₯−1 , π‘₯0 ∈ 𝐼, and |π‘₯−π‘˜ − π‘₯| + ⋅ ⋅ ⋅ , |π‘₯−1 − π‘₯| +
|π‘₯0 − π‘₯| < 𝛿, we have
lim π‘₯
𝑛→∞ 𝑛
= π‘₯.
= π‘₯.
𝐹𝑛 = π‘Žπ‘› 𝐹𝑛−1 − 𝑏𝑛−1 𝑐𝑛−1 𝐹𝑛−2 .
Corollary 6. If
(10)
Definition 2. (i) A solution {π‘₯𝑛 } of (6) is said to be periodic
with period 𝑃 if
π‘₯𝑛+𝑃 = π‘₯𝑛 ,
∀𝑛 ≥ −π‘˜.
(11)
(16)
The aforementioned lemma leads to the following conclusion.
(9)
(iv) The equilibrium point π‘₯ of (6) is called globally
asymptotically stable if it is locally stable and a global
attractor.
(v) The equilibrium point π‘₯ of (6) is called unstable if it is
not stable.
(15)
then 𝐹𝑛 satisfies the following recursive formula:
(iii) The equilibrium point π‘₯ of (6) is called a global
attractor if for every π‘₯−π‘˜ , . . . , π‘₯−1 , π‘₯0 ∈ 𝐼, we have
lim π‘₯
𝑛→∞ 𝑛
(14)
󡄨󡄨
󡄨󡄨 0 1
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨−πœ† 0 1
󡄨󡄨
󡄨󡄨
−πœ† d d 󡄨󡄨󡄨󡄨 ,
𝐷𝑛 = 󡄨󡄨󡄨󡄨
󡄨󡄨
d d 1󡄨󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
−πœ† 0󡄨󡄨󡄨
󡄨
(17)
0
πœ†π‘›/2
(18)
then
𝐷𝑛 = πœ†π·π‘›−2 = {
𝑖𝑓 𝑛 𝑖𝑠 π‘œπ‘‘π‘‘,
𝑖𝑓 𝑛 𝑖𝑠 𝑒V𝑒𝑛.
3. Main Result
In this section, we give a necessary and sufficient condition
for (1) to have a prime period-two solution. We show that the
period-two solution of (1) is locally asymptotically stable.
Abstract and Applied Analysis
3
Equation (3) has a unique positive equilibrium given by
Subtracting (30) from (29), we have
𝑧 (Φ − Ψ) = (𝑝 + 1) (Ψ − Φ) ,
2
𝑦=
1 + 𝑝 − 𝑧 + √(1 + 𝑝 − 𝑧) + 4π‘Ÿ (π‘ž + 1)
2 (π‘ž + 1)
.
(19)
so
The linearized equation associated with (3) about the equilibrium is given by
𝑧𝑛+1 =
𝑝 − π‘žπ‘¦
1−𝑦
𝑧𝑛 +
𝑧 ,
𝑧 + (π‘ž + 1) 𝑦
𝑧 + (π‘ž + 1) 𝑦 𝑛−π‘˜
𝑝 − π‘žπ‘¦
1−𝑦
πœ†π‘˜ −
= 0.
𝑧 + (π‘ž + 1) 𝑦
𝑧 + (π‘ž + 1) 𝑦
(Φ − Ψ) (𝑧 + 𝑝 + 1) = 0
󳨐⇒ Φ = Ψ or 𝑧 + 𝑝 = −1.
(20)
and its characteristic equation is
πœ†π‘˜+1 −
(21)
Case 2 (k is odd). (a) If
𝑝 + 𝑧 ≥ 1,
𝑝 + 𝑧 ≥ 1,
(22)
Φ=
(23)
(24)
if and only if π‘˜ is odd and
(1 − 𝑝 − 𝑧) [π‘ž (1 − 𝑝 − 𝑧) − (1 + 3𝑝 − 𝑧)]
π‘Ÿ<
,
4
π‘ž > 1.
(25)
(26)
Ψ=
π‘Ÿ + π‘Φ + Φ
.
𝑧 + π‘žΦ + Φ
(35)
Ψ (𝑧 + π‘žΦ + Ψ) = π‘Ÿ + π‘Φ + Ψ.
(36)
(37)
But, 𝑝 + 𝑧 ≥ 1, this implies that Φ + Ψ ≤ 0 which contradicts
the hypothesis that Φ, Ψ are distinct positive real numbers.
(b) If
(38)
then in this case Φ and Ψ satisfy
(27)
Case 1 (k is even). In this case Φ and Ψ satisfy
π‘Ÿ + π‘Ψ + Ψ
,
𝑧 + π‘žΨ + Ψ
(34)
Φ (𝑧 + π‘žΨ + Φ) = π‘Ÿ + π‘Ψ + Φ,
(Φ + Ψ) = (1 − 𝑧 − 𝑝) .
is a prime period-two solution of (3); there are two cases to
be considered.
Φ=
π‘Ÿ + π‘Φ + Ψ
.
𝑧 + π‘žΦ + Ψ
𝑝 + 𝑧 < 1,
Proof. Assume that there exist distinct nonnegative real
numbers Φ and Ψ, such that
. . . , Φ, Ψ, Φ, Ψ, . . .
Ψ=
Subtracting (35) from (36), we have
where the values of Φ and Ψ are the positive and distinct
solutions of the quadratic equation
𝑝 (1 − 𝑧 − 𝑝) + π‘Ÿ
= 0,
π‘ž−1
π‘Ÿ + π‘Ψ + Φ
,
𝑧 + π‘žΨ + Φ
Furthermore,
then (3) has prime period-two solution
. . . , Φ, Ψ, Φ, Ψ, . . .
(33)
then in this case Φ and Ψ satisfy
then (3) has no nonnegative prime period-two solution.
(b) If
𝑝 + 𝑧 < 1,
(32)
This contradicts the hypothesis that Φ and Ψ are distinct
nonnegative real numbers. Also, 𝑧 + 𝑝 = −1 contradicts the
hypothesis that 𝑧 and 𝑝 are positive real numbers.
Theorem 7. (a) If
𝑑2 − (1 − 𝑧 − 𝑝) 𝑑 +
(31)
Φ=
π‘Ÿ + π‘Ψ + Φ
,
𝑧 + π‘žΨ + Φ
(39)
Ψ=
π‘Ÿ + π‘Φ + Ψ
.
𝑧 + π‘žΦ + Ψ
(40)
Moreover,
(28)
Furthermore,
π‘§Φ + (π‘ž + 1) ΨΦ = π‘Ÿ + (𝑝 + 1) Ψ,
(29)
π‘§Ψ + (π‘ž + 1) ΦΨ = π‘Ÿ + (𝑝 + 1) Φ.
(30)
Φ (𝑧 + π‘žΨ + Φ) = π‘Ÿ + π‘Ψ + Φ,
(41)
Ψ (𝑧 + π‘žΦ + Ψ) = π‘Ÿ + π‘Φ + Ψ.
(42)
Subtracting (41) from (42), we have
(Φ + Ψ) = (1 − 𝑧 − 𝑝) .
(43)
4
Abstract and Applied Analysis
Furthermore, one adds (41) to (42), makes use of (43), and
then does some elementary algebraic manipulation; we have
ΦΨ =
𝑝 (1 − 𝑧 − 𝑝) + π‘Ÿ
.
π‘ž−1
where
𝑧2
𝑧1
𝑧3
𝑧2
..
(
)
.
𝑇 ( ... ) = (
).
π‘§π‘˜+1
π‘§π‘˜
π‘Ÿ + π‘π‘§π‘˜+1 + 𝑧1
π‘§π‘˜+1
( 𝑧 + π‘žπ‘§π‘˜+1 + 𝑧1 )
(44)
Equation (44) leads to the following conclusion:
π‘ž > 1,
(45)
that follows from the facts that
ΦΨ > 0,
1 − 𝑝 − 𝑧 > 0.
(46)
Notice that when π‘ž = 1 then adding (41) to (42) gives 2π‘Ÿ +
2𝑝(1 − 𝑝 − 𝑧) = 0, which is impossible.
Construct the quadratic equation
𝑑2 − (1 − 𝑧 − 𝑝) 𝑑 +
𝑝 (1 − 𝑧 − 𝑝) + π‘Ÿ
= 0,
π‘ž−1
π‘ž > 1.
Now Φ and Ψ generate a period-two solution of (3) only if
Φ
Ψ
( ... )
(47)
2
(1−𝑧−𝑝)± √(1−𝑧−𝑝) −4 ((𝑝 (1−𝑧−𝑝)+π‘Ÿ) / (π‘ž−1))
2
,
(53)
Φ
Ψ
So Φ and Ψ are the positive and distinct solutions of the above
quadratic equation, that is,
𝑑=
(52)
is a fixed point of 𝑇2 , the second iterate of 𝑇. Furthermore,
π‘ž > 1.
(48)
𝑓1 (𝑧1 , 𝑧2 , . . . , π‘§π‘˜+1 )
𝑧1
𝑓2 (𝑧1 , 𝑧2 , . . . , π‘§π‘˜+1 )
𝑧2
2
..
.
.
𝑇 ( . )=(
),
.
π‘§π‘˜
π‘“π‘˜ (𝑧1 , 𝑧2 , . . . , π‘§π‘˜+1 )
π‘§π‘˜+1
π‘“π‘˜+1 (𝑧1 , 𝑧2 , . . . , π‘§π‘˜+1 )
Theorem 8. Suppose (3) has a prime period-two solution.
Then, the period-two solution is locally asymptotically stable.
(54)
Proof. To investigate the local stability of the two cycles
. . . , Φ, Ψ, Φ, Ψ, . . .
(49)
where
we first vectorize (3) by introducing the following change of
variables:
𝑓1 (𝑧1 , 𝑧2 , . . . , π‘§π‘˜+1 ) = 𝑧3 ,
𝑧1 (𝑛) = 𝑦𝑛−π‘˜ ,
𝑓2 (𝑧1 , 𝑧2 , . . . , π‘§π‘˜+1 ) = 𝑧4 ,
𝑧2 (𝑛) = 𝑦𝑛−π‘˜+1 ,
..
.
𝑧3 (𝑛) = 𝑦𝑛−π‘˜+2 ,
..
.
π‘“π‘˜ (𝑧1 , 𝑧2 , . . . , π‘§π‘˜+1 ) =
(50)
π‘“π‘˜+1 (𝑧1 , 𝑧2 , . . . , π‘§π‘˜+1 )
π‘§π‘˜ (𝑛) = 𝑦𝑛−1 ,
=
π‘§π‘˜+1 (𝑛) = 𝑦𝑛 ,
and write (3) in the equivalent form:
𝑧1 (𝑛)
𝑧1 (𝑛 + 1)
𝑧2 (𝑛 + 1)
𝑧2 (𝑛)
.
..
) = 𝑇 ( ... ) ,
(
π‘§π‘˜ (𝑛 + 1)
π‘§π‘˜ (𝑛)
π‘§π‘˜+1 (𝑛 + 1)
π‘§π‘˜+1 (𝑛)
π‘Ÿ + π‘π‘§π‘˜+1 + 𝑧1
𝑧 + π‘žπ‘§π‘˜+1 + 𝑧1
𝑛 = 0, 1, 2, . . . ,
(51)
π‘Ÿ + 𝑝 ((π‘Ÿ + π‘π‘§π‘˜+1 + 𝑧1 ) / (𝑧 + π‘žπ‘§π‘˜+1 + 𝑧1 )) + 𝑧2
.
𝑧 + π‘ž ((π‘Ÿ + π‘π‘§π‘˜+1 + 𝑧1 ) / (𝑧 + π‘žπ‘§π‘˜+1 + 𝑧1 )) + 𝑧2
(55)
The prime period-two solution of (3) is asymptotically stable
if the eigenvalues of the Jacobian matrix 𝐽𝑇2 , evaluated at
Φ
Ψ
( ... ) lie inside the unit disk.
Φ
Ψ
Abstract and Applied Analysis
5
We have
0
0
0
0
0
0
(
(
Φ
.
.
(
(
Ψ
.
.
(
(
.
0
0
𝐽𝑇2 ( .. ) = (
(
1−Φ
(
0
Φ
(
𝑧
+
π‘žΨ + Φ
(
Ψ
(
(𝑝 − π‘žΨ) (1 − Φ)
1−Ψ
(𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ) 𝑧 + π‘žΦ + Ψ
(
1
0
0
.
.
0
0
1
0
.
.
0
.
.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0
0
0
)
)
.
)
)
.
)
)
1
).
𝑝 − π‘žΦ
)
)
0 0 . . .
)
𝑧 + π‘žΨ + Φ
)
)
(𝑝 − π‘žΦ) (𝑝 − π‘žΨ)
0 0 . . .
(𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ)
)
(56)
Now let 𝑃(πœ†) = det(𝐽𝑇2 − πœ†πΌ) be the characteristic polynomial
of 𝐽𝑇2 . Then, by the Laplace expansion in the (π‘˜ + 1) row,
󡄨󡄨
󡄨󡄨
−πœ†
0
1 0 ⋅⋅⋅ ⋅⋅⋅
0
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
0
−πœ†
0 1 ⋅⋅⋅ ⋅⋅⋅
0
󡄨󡄨
󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
0
0
−πœ† 0 1 ⋅ ⋅ ⋅
0
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
.
.
.
.
.
.
󡄨󡄨
..
..
.. .. .. d
..
󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
0
0
0 0 −πœ† ⋅ ⋅ ⋅
1
𝑃 (πœ†) = 󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
𝑝
−
π‘žΦ
󡄨󡄨
1
−
Φ
󡄨󡄨󡄨
󡄨󡄨
0
0
0
⋅
⋅
⋅
−πœ†
󡄨󡄨
󡄨󡄨
𝑧
+
π‘žΨ
+
Φ
𝑧
+
π‘žΨ
+
Φ
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
(𝑝
−
π‘žΨ)
−
Φ)
(𝑝
−
π‘žΨ)
(𝑝
−
π‘žΦ)
(1
1
−
Ψ
󡄨󡄨
󡄨
󡄨󡄨 (𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ) 𝑧 + π‘žΦ + Ψ 0 0 0 0 (𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ) − πœ†σ΅„¨σ΅„¨σ΅„¨
󡄨
󡄨
󡄨󡄨 0 1 0 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅
󡄨󡄨󡄨
0
󡄨󡄨
󡄨󡄨
󡄨󡄨−πœ† 0 1 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅
󡄨󡄨
0
󡄨󡄨
󡄨󡄨
󡄨󡄨 0 −πœ† 0 1 ⋅ ⋅ ⋅
󡄨󡄨
0
󡄨󡄨
󡄨󡄨
󡄨󡄨 .
(𝑝 − π‘žΨ) (1 − Φ)
󡄨󡄨
.
.
.
.
󡄨
.. .. .. d
..
= −
󡄨󡄨
󡄨󡄨 ..
󡄨󡄨
(𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ) 󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨 0 0 0 −πœ† ⋅ ⋅ ⋅
1
󡄨
󡄨󡄨
𝑝 − π‘žΦ σ΅„¨σ΅„¨σ΅„¨σ΅„¨
󡄨󡄨
󡄨
󡄨󡄨 0 0 0 ⋅ ⋅ ⋅ −πœ†
σ΅„¨σ΅„¨βŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸ
𝑧 + π‘žΨ + Φ σ΅„¨σ΅„¨σ΅„¨
π΄π‘˜
󡄨󡄨
󡄨󡄨
−πœ†
1 0 ⋅⋅⋅ ⋅⋅⋅
0
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
0
0 1 ⋅⋅⋅ ⋅⋅⋅
0
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
0
−πœ†
0
1
⋅
⋅
⋅
0
󡄨󡄨
󡄨󡄨
󡄨󡄨
1 − Ψ σ΅„¨σ΅„¨σ΅„¨
.
.
.
.
.
󡄨󡄨
..
.. .. .. d
..
+
󡄨󡄨
󡄨󡄨
𝑧 + π‘žΦ + Ψ σ΅„¨σ΅„¨σ΅„¨
󡄨󡄨
󡄨󡄨
0
0 0 −πœ† ⋅ ⋅ ⋅
1
󡄨󡄨󡄨
󡄨󡄨 1 − Φ
𝑝 − π‘žΦ σ΅„¨σ΅„¨σ΅„¨σ΅„¨
󡄨󡄨
󡄨󡄨 𝑧 + π‘žΨ + Φ 0 0 ⋅ ⋅ ⋅ −πœ† 𝑧 + π‘žΨ + Φ σ΅„¨σ΅„¨σ΅„¨
σ΅„¨βŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸσ΅„¨
π΅π‘˜
󡄨󡄨
−πœ†
0 1 0 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 0 󡄨󡄨󡄨
󡄨󡄨
󡄨
󡄨󡄨
0
−πœ† 0 1 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 0 󡄨󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
0
0 −πœ† 0 1 ⋅ ⋅ ⋅
󡄨󡄨
󡄨󡄨
󡄨
󡄨󡄨
(𝑝 − π‘žΨ) (𝑝 − π‘žΦ)
.
.
.
.
.
..
..
.. .. .. d 1 󡄨󡄨󡄨󡄨 .
+(
− πœ†) 󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
(𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ)
󡄨󡄨
0
0 0 0 −πœ† ⋅ ⋅ ⋅ 0 󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨 1 − Φ
󡄨󡄨
󡄨󡄨
󡄨󡄨
0
0
0
⋅
⋅
⋅
⋅
⋅
⋅
−πœ†
󡄨󡄨 𝑧 + π‘žΨ + Φ
󡄨󡄨
σ΅„¨βŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸ
πΆπ‘˜
(57)
6
Abstract and Applied Analysis
However; by Lemma 5, Corollary 6, and the fact that π‘˜ is odd,
π΄π‘˜ =
Assume that 0 < Φ < Ψ. Then, by (39),
𝑝 − π‘žΦ
𝑝 − π‘žΦ
π·π‘˜−1 + πœ†π·π‘˜−2 = (
) πœ†(π‘˜−1)/2 ,
𝑧 + π‘žΨ + Φ
𝑧 + π‘žΨ + Φ
π΅π‘˜ = −πœ†π΄ π‘˜−1 + (
= −πœ† [
1−Φ
)
𝑧 + π‘žΨ + Φ
(π‘Ÿ/Φ) + 𝑝 (Ψ/Φ) + 1
1
>
.
𝑧 + π‘žΨ + Φ
𝑧 + π‘žΨ + Φ
𝑧 + π‘žΨ + Φ > 1.
(63)
Similarly, we observe that
1−Φ
),
𝑧 + π‘žΨ + Φ
πΆπ‘˜ = (−πœ†)π‘˜ + (
𝑧 + π‘žΦ + Ψ > 1.
(64)
Furthermore, since 𝑝 + 𝑧 < 1, (43) implies the sum of Φ, Ψ is
less than 1 and, a fortiori, each is less than 1. Indeed, we have
1−Φ
) π·π‘˜−1
𝑧 + π‘žΨ + Φ
1
0 < Φ < min {Ψ, } < 1.
2
1−Φ
= −πœ† + (
) πœ†(π‘˜−1)/2 .
𝑧 + π‘žΨ + Φ
π‘˜
(58)
0 < π‘Ž, 𝑏 < 1.
(𝑝 − π‘žΨ) (1 − Φ)
𝑃 (πœ†) = −
(𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ)
𝑝 − π‘žΦ
) πœ†(π‘˜−1)/2
𝑧 + π‘žΨ + Φ
+(
1−Ψ
1−Φ
) [−πœ†(π‘˜+1)/2 + (
)]
𝑧 + π‘žΦ + Ψ
𝑧 + π‘žΨ + Φ
+(
(𝑝 − π‘žΨ) (𝑝 − π‘žΦ)
− πœ†)
(𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ)
−(
(Φ + Ψ) = (1 − 𝑧 − 𝑝) > 0,
ΦΨ =
𝑝 (1 − 𝑧 − 𝑝) + π‘Ÿ
π‘ž−1
(67)
and the fact that
π‘ž > 1,
(68)
𝑄 > 0,
(69)
𝑄 + 𝐿 < 1 + πœ‡.
(70)
we have to establish
1−Φ
) πœ†(π‘˜−1)/2 ]
𝑧 + π‘žΨ + Φ
(𝑝 − π‘žΨ) (𝑝 − π‘žΦ)
πœ†π‘˜
(𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ)
First, we will establish inequality (69). To this end, observe
that inequality (69) is equivalent to
1−Ψ
1−Φ
+
) πœ†(π‘˜+1)/2
𝑧 + π‘žΦ + Ψ π‘§ + π‘žΨ + Φ
(𝑝 − π‘žΦ) (𝑝 − π‘žΨ)
> 0,
(𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
(1 − Ψ) (1 − Φ)
+
.
(𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
(59)
Hence, the characteristic polynomial is given by
𝑓 (πœ†) = πœ†π‘˜+1 − π‘„πœ†π‘˜ − πΏπœ†(π‘˜+1)/2 + πœ‡ = 0,
(66)
In addition, with understanding that
×(
= πœ†π‘˜+1 −
(65)
With that in mind, it is clear that
Therefore,
× [−πœ†π‘˜ + (
(62)
Hence,
𝑝 − π‘žΦ
1−Φ
𝐷 + πœ†π·π‘˜−3 ] + (
)
𝑧 + π‘žΨ + Φ π‘˜−2
𝑧 + π‘žΨ + Φ
= −πœ†(π‘˜+1)/2 + (
1=
(60)
(71)
which is true if and only if
𝑝2 − π‘π‘ž (Φ + Ψ) + π‘ž2 ΦΨ
> 0,
(𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
(72)
which is true if and only if
where
𝑄=
(𝑝 − π‘žΦ) (𝑝 − π‘žΨ)
,
(𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
𝐿=
1−Ψ
1−Φ
+
,
𝑧 + π‘žΨ + Φ βŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸ
𝑧 + π‘žΦ + Ψ
⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟
π‘Ž
πœ‡=
𝑏
(1 − Φ) (1 − Ψ)
= π‘Žπ‘.
(𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ)
𝑝2 −π‘π‘ž (1−𝑝−𝑧)+π‘ž2 ((𝑝 (1−𝑝−𝑧)+π‘Ÿ) / (π‘ž−1))
> 0, (73)
(𝑧+π‘žΦ+Ψ) (𝑧+π‘žΨ+Φ)
(61)
which is true if and only if
𝑝2 (π‘ž−1)−π‘π‘ž (π‘ž−1) (1−𝑝−𝑧)+π‘π‘ž2 (1−𝑝−𝑧)+π‘Ÿπ‘ž2
> 0,
(π‘ž−1) (𝑧+π‘žΦ+Ψ) (𝑧+π‘žΨ+Φ)
(74)
Abstract and Applied Analysis
7
which is true if and only if
2
Now observe that the righthand side of (82) is
2
𝑝 (π‘ž − 1) − π‘π‘ž (1 − 𝑝 − 𝑧) [π‘ž − 1 − π‘ž] + π‘Ÿπ‘ž
> 0,
(π‘ž − 1) (𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
(75)
= 𝑧2 + 𝑧 (π‘ž + 1) (Ψ + Φ)
which is true if and only if
𝑝2 (π‘ž − 1) + π‘π‘ž (1 − 𝑝 − 𝑧) + π‘Ÿπ‘ž2
> 0,
(π‘ž − 1) (𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
(76)
which is clearly satisfied.
Next we will establish inequality (70). Observe that
inequality (70) is equivalent to
(𝑝 − π‘žΦ) (𝑝 − π‘žΨ) − (1 − Φ) (1 − Ψ)
< 1,
(𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
(77)
2
+ π‘ž(Ψ + Φ)2 + (π‘ž − 1) ΨΦ
𝑝 (1 − 𝑝 − 𝑧) + π‘Ÿ
+ π‘ž(1 − 𝑝 − 𝑧) + (π‘ž − 1) (
)
π‘ž−1
𝑝2 − 1 + (π‘ž2 − 1) ΦΨ + (1 − π‘π‘ž) (Φ + Ψ)
(𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
(78)
2
(83)
= 𝑧2 + π‘Ÿ (π‘ž − 1) + (1 − 𝑝 − 𝑧)
× (𝑧 (π‘ž + 1) + π‘ž (1 − 𝑝 − 𝑧) + 𝑝 (π‘ž − 1))
< 1,
= 𝑧2 + π‘Ÿ (π‘ž − 1) + (1 − 𝑝 − 𝑧) (π‘ž − 𝑝 + 𝑧)
which is true if and only if
= π‘Ÿ (π‘ž − 1) − 𝑧 (𝑝 − 1) − (𝑝 − π‘ž) (1 − 𝑝 − 𝑧)
1−Φ
1−Ψ
+
𝑧 + π‘žΨ + Φ π‘§ + π‘žΦ + Ψ
= π‘Ÿ (π‘ž − 1) + 𝑧 (1 − π‘ž) + π‘ž (1 − 𝑝) + 𝑝 (1 − 𝑝)
2
+ (𝑝 − 1 + (π‘ž − 1) (π‘ž + 1)
= (𝑧 − π‘Ÿ) (1 − π‘ž) + (𝑝 − π‘ž) (𝑝 − 1)
× ((𝑝 (1 − 𝑝 − 𝑧) + π‘Ÿ) / (π‘ž − 1))
(79)
+ (1 − π‘π‘ž) (1 − 𝑝 − 𝑧))
= 𝑧 − π‘Ÿ − π‘žπ‘§ + π‘žπ‘Ÿ + 𝑝2 − 𝑝 − π‘žπ‘ + π‘ž.
The lefthand side of (82) is
−1
< 1,
𝐼𝐼 = (1 − Φ) (𝑧 + π‘žΦ + Ψ)
which is true if and only if
+ (1 − Ψ) (𝑧 + π‘žΨ + Φ) + π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
1−Φ
1−Ψ
+
𝑧 + π‘žΨ + Φ π‘§ + π‘žΦ + Ψ
+
+ π‘ž ((Ψ + Φ)2 − 2ΨΦ) + (1 + π‘ž2 ) ΨΦ
2
1−Ψ
1−Φ
+
𝑧 + π‘žΨ + Φ π‘§ + π‘žΦ + Ψ
× ((𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ))
= 𝑧2 + 𝑧 (π‘ž + 1) (Ψ + Φ)
= 𝑧2 + 𝑧 (π‘ž + 1) (1 − 𝑝 − 𝑧)
which is true if and only if
+
+ π‘ž (Ψ2 + Φ2 ) + (1 + π‘ž2 ) ΨΦ
= 𝑧2 + 𝑧 (π‘ž + 1) (Ψ + Φ)
1−Ψ
1−Φ
+
𝑧 + π‘žΨ + Φ π‘§ + π‘žΦ + Ψ
+
𝐼 = (𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ)
2
𝑝 − 1 + π‘Ÿ (π‘ž + 1) + (1 − 𝑝 − 𝑧) (𝑝 + 1)
< 1,
(𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
(80)
1−Φ
1−Ψ
+
𝑧 + π‘žΨ + Φ π‘§ + π‘žΦ + Ψ
− 2ΦΨ + π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
(81)
= 2𝑧 + (π‘ž + 1 − 𝑧) (Φ + Ψ) − π‘ž(Ψ + Φ)2
(1 − Φ) (𝑧 + π‘žΦ + Ψ)
+ π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
< (𝑧 + π‘žΨ + Φ) (𝑧 + π‘žΦ + Ψ) .
= 2𝑧 + (π‘ž + 1 − 𝑧) (Φ + Ψ) − π‘ž [(Ψ + Φ)2 − 2ΦΨ]
− 2ΦΨ + π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
which is true if and only if
+ (1 − Ψ) (𝑧 + π‘žΨ + Φ)
− π‘ž (Ψ2 + Φ2 ) − 2ΦΨ + π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
= 2𝑧 + (π‘ž + 1 − 𝑧) (Φ + Ψ) − π‘ž (Ψ2 + Φ2 )
which is true if and only if
π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
+
< 1,
(𝑧 + π‘žΦ + Ψ) (𝑧 + π‘žΨ + Φ)
= 2𝑧 + π‘ž (Φ + Ψ) + (Φ + Ψ) − 𝑧 (Φ + Ψ)
+ 2 (π‘ž − 1) ΦΨ + π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
(82)
= 2𝑧 + (π‘ž + 1 − 𝑧) (Φ + Ψ) − π‘ž(Ψ + Φ)2
+ 2 (π‘ž − 1) (
𝑝 (1 − 𝑝 − 𝑧) + π‘Ÿ
) + π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
π‘ž−1
8
Abstract and Applied Analysis
= 2𝑧 + 2π‘Ÿ + (Φ + Ψ) [1 − 𝑧 + π‘ž − π‘ž (Ψ + Φ) + 2𝑝]
𝑓(1) > 0, we conclude that 𝑓(π‘₯) > 0 for all π‘₯ ≥ 1 which
contradicts inequality (88).
The proof is complete.
+ π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
= 2𝑧 + 2π‘Ÿ + (1 − 𝑝 − 𝑧) (1 − 𝑧 + π‘ž − π‘ž (1 − 𝑝 − 𝑧) + 2𝑝)
+ π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
= 2𝑧 + 2π‘Ÿ + (1 − 𝑝 − 𝑧) (1 − 𝑧 + π‘žπ‘ + π‘žπ‘§ + 2𝑝)
πœ†π‘˜+1 −
+ π‘Ÿ (π‘ž + 1) − 𝑧 (𝑝 + 1)
= 3π‘Ÿ + 1 + 𝑝 − 𝑧 + π‘Ÿπ‘ž + π‘π‘ž + π‘§π‘ž − 2𝑝𝑧
2
2
2
Remark 9. The characteristic equation of the linearized equation at the equilibrium solution is given by
𝑝 − π‘žπ‘¦
1−𝑦
πœ†π‘˜ −
= 0.
𝑧 + (π‘ž + 1) 𝑦
𝑧 + (π‘ž + 1) 𝑦
(90)
(84)
Since the magnitude of the constant term is less than 1, the
equation has at least one root inside the unit disk. As such, by
the Stable Manifold Theorem, there is a manifold of solutions,
of dimension bigger than or equal to 1, that converge to the
equilibrium solution. Hence, the period-two solution cannot
be globally asymptotically stable.
(85)
4. Numerical Examples
2
− 2π‘π‘§π‘ž + 𝑧 − π‘žπ‘§ − π‘žπ‘ − 2𝑝 − 2𝑝𝑧.
Hence, inequality (70) is true if and only if
3π‘Ÿ + 1 + 𝑝 − 𝑧 + π‘Ÿπ‘ž + π‘π‘ž + π‘§π‘ž − 2𝑝𝑧
− 2π‘π‘§π‘ž + 𝑧2 − π‘žπ‘§2 − π‘žπ‘2 − 2𝑝2 − 2𝑝𝑧
In order to illustrate the results of the previous section and
to support our theoretical discussion, we consider several
numerical examples generated by MATLAB.
< 𝑧 − π‘Ÿ − π‘žπ‘§ + π‘žπ‘Ÿ + 𝑝2 − 𝑝 − π‘žπ‘ + π‘ž
or equivalently
4π‘Ÿ < π‘ž − π‘žπ‘ − π‘žπ‘§ − 1 − 3𝑝 + 𝑧 − π‘π‘ž + π‘žπ‘2 + π‘žπ‘§π‘ + 𝑝
+ 3𝑝2 − 𝑧𝑝 − π‘§π‘ž + π‘žπ‘§π‘ + π‘žπ‘§2 + 𝑧 + 3𝑝𝑧 − 𝑧2
⇐⇒ 4π‘Ÿ < (1 − 𝑝 − 𝑧) [π‘ž − π‘žπ‘ − π‘žπ‘§ − 1 − 3𝑝 + 𝑧]
𝑦𝑛+1 =
⇐⇒ 4π‘Ÿ < (1 − 𝑝 − 𝑧) [π‘ž (1 − 𝑝 − 𝑧) − (1 + 3𝑝 − 𝑧)]
⇐⇒ π‘Ÿ <
(1 − 𝑝 − 𝑧) [π‘ž (1 − 𝑝 − 𝑧) − (1 + 3𝑝 − 𝑧)]
,
4
Case 1 (k is even). For this case we consider the following
example:
(86)
which is clearly satisfied (condition (25)).
Now, by applying Theorem 4 we shall show that the zeros
of 𝑓 in (60) lie in the open unit disk |πœ†| < 1. To do so, suppose
to the contrary that 𝑓 has a zero πœ† such that |πœ†| ≥ 1. Then, by
the triangle inequality,
0.0001 + 0.4𝑦𝑛 + 𝑦𝑛−2
.
0.5 + 20𝑦𝑛 + 𝑦𝑛−2
The dynamics of (91) is shown in Figure 1, no prime periodtwo solution.
Case 2 (k is odd). There are two cases to be considered.
Subcase 2.1 (𝑝 + 𝑧 ≥ 1). For this case we consider the
following example:
(|πœ†|(π‘˜+1)/2 − π‘Ž) (|πœ†|(π‘˜+1)/2 − 𝑏)
󡄨
󡄨
≤ 󡄨󡄨󡄨󡄨(πœ†(π‘˜+1)/2 − π‘Ž) (πœ†(π‘˜+1)/2 − 𝑏)󡄨󡄨󡄨󡄨 = 𝑄|πœ†|π‘˜ .
(87)
𝑓 (|πœ†|) = |πœ†|π‘˜+1 − 𝑄|πœ†|π‘˜ − 𝐿|πœ†|(π‘˜+1)/2 + πœ‡ ≤ 0.
(88)
Thus,
However, by the Descartes’ Rule of Signs 𝑓 has either two
or no positive zeros. Furthermore,
𝑓 (0) = πœ‡ > 0,
√π‘Ž) < 0,
𝑓 ( (π‘˜+1)/2
(89)
𝑓 (1) = 1 + πœ‡ − 𝑄 − 𝐿 > 0,
and so, by the Intermediate Value Theorem, 𝑓(π‘₯) has two
positive zeros in the open interval (0, 1). Moreover, since
(91)
𝑦𝑛+1 =
0.01 + 0.5𝑦𝑛 + 𝑦𝑛−3
.
0.7 + 2𝑦𝑛 + 𝑦𝑛−3
(92)
The dynamics of (92) is shown in Figure 2, no prime periodtwo solution.
Subcase 2.2 (𝑝 + 𝑧 < 1 and π‘Ÿ < ((1 − 𝑝 − 𝑧)[π‘ž(1 − 𝑝 − 𝑧) − (1 +
3𝑝 − 𝑧)]/4)). For this case we consider the following example:
𝑦𝑛+1 =
0.01 + 0.4𝑦𝑛 + 𝑦𝑛−3
.
0.3 + 10𝑦𝑛 + 𝑦𝑛−3
(93)
The dynamics of (93) is shown in Figure 3; it has prime
period-two solution.
Abstract and Applied Analysis
9
0.05
0.18
0.045
0.16
0.04
0.14
0.12
0.035
0.1
𝑦𝑛
𝑦𝑛
0.03
0.025
0.06
0.02
0.04
0.015
0.01
0.08
0.02
0
20
40
60
80
100
120
0
0
20
40
60
80
100
120
𝑛
𝑛
𝑝 = 0.4, π‘ž = 20, π‘Ÿ = 0.0001, 𝑧 = 0.5
The equilibrium point = 0.042968
𝑝 = 0.4, π‘ž = 10, π‘Ÿ = 0.01, 𝑧 = 0.3
The equilibrium point = 0.10839
Figure 1: Dynamics of 𝑦𝑛+1 = (0.0001 + 0.4𝑦𝑛 + 𝑦𝑛−2 )/(0.5 + 20𝑦𝑛 +
𝑦𝑛−2 ).
Figure 3: Dynamics of 𝑦𝑛+1 = (0.01+0.4𝑦𝑛 +𝑦𝑛−3 )/(0.3+10𝑦𝑛 +𝑦𝑛−3 ).
afford the ELAS property; that is, the existence of a periodic
solution implies its local asymptotic stability.
0.35
0.3
Acknowledgment
0.25
The authors are very grateful to the anonymous referees
for carefully reading the paper and for their comments and
valuable suggestions that lead to an improvement in the
paper.
𝑦𝑛
0.2
0.15
0.1
References
0.05
0
0
20
40
60
80
100
120
𝑛
𝑝 = 0.5, π‘ž = 2, π‘Ÿ = 0.01, 𝑧 = 0.7
The equilibrium point = 0.27863
Figure 2: Dynamics of 𝑦𝑛+1 = (0.01+0.5𝑦𝑛 +𝑦𝑛−3 )/(0.7+2𝑦𝑛 +𝑦𝑛−3 ).
5. Conclusion
In this paper, we showed that the period-two solution of the
higher order nonlinear rational difference equation
π‘₯𝑛+1 =
𝛼 + 𝛽π‘₯𝑛 + 𝛾π‘₯𝑛−π‘˜
,
𝐴 + 𝐡π‘₯𝑛 + 𝐢π‘₯𝑛−π‘˜
𝑛 = 0, 1, 2, . . . ,
(94)
where the parameters 𝛼, 𝛽, 𝛾, 𝐴, 𝐡, 𝐢 are positive real numbers and the initial conditions π‘₯−π‘˜ , . . . , π‘₯−1 , π‘₯0 are nonnegative real numbers, π‘˜ ∈ {1, 2, . . .}, is locally asymptotically
stable if it exists.
We consider the aforementioned result as a step forward
in investigating bigger classes of difference equations which
[1] M. Dehghan, M. J. Douraki, and M. Razzaghi, “Global stability
of a higher order rational recursive sequence,” Applied Mathematics and Computation, vol. 179, no. 1, pp. 161–174, 2006.
[2] M. Dehghan and R. Mazrooei-Sebdani, “The characteristics of a
higher-order rational difference equation,” Applied Mathematics
and Computation, vol. 182, no. 1, pp. 521–528, 2006.
[3] M. Dehghan and R. Mazrooei-Sebdani, “Dynamics of a higherorder rational difference equation,” Applied Mathematics and
Computation, vol. 178, no. 2, pp. 345–354, 2006.
[4] M. Dehghan and N. Rastegar, “On the global behavior of
a high-order rational difference equation,” Computer Physics
Communications, vol. 180, no. 6, pp. 873–878, 2009.
[5] E. M. E. Zayed, “Dynamics of the rational difference equation
π‘₯𝑛+1 = (π‘Žπ‘₯𝑛 + 𝑏π‘₯𝑛−π‘˜ + π‘Žπ‘₯𝑛 + 𝑏π‘₯𝑛−π‘˜ )/(𝑐 + 𝑑π‘₯𝑛 π‘₯𝑛−π‘˜ ),” Communications on Applied Nonlinear Analysis, vol. 18, no. 4, pp. 39–56,
2011.
[6] E. M. E. Zayed and M. A. El-Moneam, “On the rational
recursive sequence π‘₯𝑛+1 = π‘Žπ‘₯𝑛 + (𝛽π‘₯𝑛 + 𝛾π‘₯𝑛−π‘˜ )/(𝑏π‘₯𝑛 π‘₯𝑛+π‘˜ ),”
Communications on Applied Nonlinear Analysis, vol. 16, no. 3,
pp. 91–106, 2009.
[7] E. M. E. Zayed and M. A. El-Moneam, “On the rational
recursive sequence π‘₯𝑛+1 = (π‘Žπ‘₯𝑛 + 𝑏π‘₯𝑛−π‘˜ + 𝛽π‘₯𝑛 + 𝛾π‘₯𝑛−π‘˜ )/(𝐢π‘₯𝑛−π‘˜ +
𝑑π‘₯𝑛−π‘˜ ),” Acta Applicandae Mathematicae, vol. 111, no. 3, pp. 287–
301, 2010.
10
[8] Y. S. Huang and P. M. Knopf, “Boundedness of positive
solutions of second-order rational difference equations,” Journal
of Difference Equations and Applications, vol. 10, no. 11, pp. 935–
940, 2004.
[9] Y. S. Huang and P. M. Knopf, “Boundedness and some convergence properties of the difference equation π‘₯𝑛+1 = (𝛾π‘₯𝑛−1 +
𝛿π‘₯𝑛−2 )/(𝐡π‘₯𝑛 + 𝐷π‘₯𝑛2 ),” Journal of Difference Equations and
Applications, vol. 18, no. 1, pp. 27–55, 2012.
[10] R. Karatas, “Global behavior of a higher order difference
equation,” Computers & Mathematics with Applications, vol. 60,
no. 3, pp. 830–839, 2010.
[11] R. Karatas and A. GelisΜ§ken, “Qualitative behavior of a rational
difference equation,” Ars Combinatoria, vol. 100, pp. 321–326,
2011.
[12] V. L. Kocić and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order with Applications, vol. 256,
Kluwer Academic Publishers, Dordrecht, The Netherlands,
1993.
[13] S. N. Elaydi, An Introduction to Difference Equations, Springer,
New York, NY, USA, 2nd edition, 1999.
[14] R. P. Agarwal, Difference Equations and Inequalities: Theory,
Methods, and Applications, vol. 228, Marcel Dekker, New York,
NY, USA, 2nd edition, 2000.
[15] M. R. S. Kulenović and G. Ladas, Dynamics of second-Order
Rational Difference Equations with Open Problem and Conjectures, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2002.
[16] E. Camouzis and G. Ladas, Dynamics of Third-Order Rational
Difference Equations with Open Problem and Conjectures, vol. 5,
Chapman & Hall/CRC, Boca Raton, Fla, USA, 2008.
[17] R. Abu-Saris, C. CΜ§inar, and I. YalcΜ§inkaya, “On the asymptotic
stability of π‘₯𝑛+1 = (π‘Ž + π‘₯𝑛 π‘₯𝑛−π‘˜ )/(π‘₯𝑛 + π‘₯𝑛−π‘˜ ),” Computers &
Mathematics with Applications, vol. 56, no. 5, pp. 1172–1175,
2008.
[18] K. S. Berenhaut and S. Stević, “The global attractivity of a higher
order rational difference equation,” Journal of Mathematical
Analysis and Applications, vol. 326, no. 2, pp. 940–944, 2007.
[19] Y.-H. Su and W.-T. Li, “Global attractivity of a higher order
nonlinear difference equation,” Journal of Difference Equations
and Applications, vol. 11, no. 10, pp. 947–958, 2005.
[20] T. Sun and H. Xi, “Global asymptotic stability of a higher order
rational difference equation,” Journal of Mathematical Analysis
and Applications, vol. 330, no. 1, pp. 462–466, 2007.
[21] Y. Wang, “On the dynamics of π‘₯𝑛+1 = (𝛽π‘₯𝑛 + 𝛾π‘₯𝑛−π‘˜ )/(𝑏π‘₯𝑛 +
𝐢π‘₯𝑛−π‘˜ + 𝛼),” Journal of Difference Equations and Applications,
vol. 15, no. 10, pp. 949–961, 2009.
[22] H. Xi and T. Sun, “Global behavior of a higher-order rational
difference equation,” Advances in Difference Equations, Article
ID 27637, 7 pages, 2006.
[23] X.-X. Yan, W.-T. Li, and Z. Zhao, “Global asymptotic stability for
a higher order nonlinear rational difference equations,” Applied
Mathematics and Computation, vol. 182, no. 2, pp. 1819–1831,
2006.
[24] Y. Yang and F. B. Lv, “Dynamics of a higher order rational
difference equation,” Advanced Materials Research, vol. 216, pp.
50–55, 2011.
[25] S. Atawna, R. Abu-Saris, and I. Hashim, “Local stability of
period two cycles of second order rational difference equation,”
Discrete Dynamics in Nature and Society, vol. 2012, Article ID
969813, 11 pages, 2012.
[26] W. W. Hager, Applied Numerical Linear Algebra, Prentice-Hall
International Editions, 1988.
Abstract and Applied Analysis
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download