Document 10852396

advertisement
Hindawi Publishing Corporation
Discrete Dynamics in Nature and Society
Volume 2013, Article ID 742912, 3 pages
http://dx.doi.org/10.1155/2013/742912
Research Article
The Periodicity of Positive Solutions of the Nonlinear
𝑝
Difference Equation π‘₯𝑛+1 = 𝛼 + (π‘₯𝑛−π‘˜)/(π‘₯π‘›π‘ž )
Mehmet GümüG
Department of Mathematics, Faculty of Science and Arts, Bülent Ecevit University, 67100 Zonguldak, Turkey
Correspondence should be addressed to Mehmet Gümüş; m.gumus@karaelmas.edu.tr
Received 30 November 2012; Revised 4 February 2013; Accepted 6 February 2013
Academic Editor: M. De la Sen
Copyright © 2013 Mehmet GümüsΜ§. 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 give a remark about the periodic character of positive solutions of the difference equation π‘₯𝑛+1 = 𝛼 + π‘₯𝑛−π‘˜ /π‘₯𝑛 , 𝑛 = 0, 1, . . .,
where π‘˜ > 1 is an odd integer, 𝛼, 𝑝, π‘ž ∈ (0, ∞), and the initial conditions π‘₯−π‘˜ , . . . , π‘₯0 are arbitrary positive numbers.
1. Introduction
In this paper, we consider the difference equation
𝑝
π‘₯𝑛+1 = 𝛼 +
π‘₯𝑛−π‘˜
π‘ž
π‘₯𝑛
,
𝑛 = 0, 1, . . . ,
(1)
where π‘˜ > 1 is an odd integer, 𝛼 is positive, 𝑝, π‘ž ∈ (0, ∞),
and the initial conditions π‘₯−π‘˜ , . . . , π‘₯0 are arbitrary positive
numbers. Equation (1) was studied by many authors for
different cases of π‘˜, 𝑝, π‘ž.
In [1], the authors studied the special case of π‘˜ = 1 of (1),
that is, the recursive sequence
𝑝
π‘₯𝑛+1 = 𝛼 +
π‘₯𝑛−1
π‘ž
π‘₯𝑛
,
𝑛 = 0, 1, . . . ,
(2)
where 𝛼, 𝑝, π‘ž are positive and the initial values π‘₯−1 , π‘₯0 are
positive numbers.
Recently, in [2], the authors obtained the periodicity
results of positive solutions of (1). They investigated the
existence of a prime periodic solution of (1). But they did not
investigate the positive solutions of (1) which converge to a
prime two-periodic solution.
There exist many other papers related with (1) and on its
extensions (see [3–8]).
Our aim in this paper is to give a remark about the
periodic character of all positive solutions of (1). We show
that all positive solutions of (1), for π‘˜ is odd, converge to a
prime two-periodic solution.
We believe that difference equations, also referred to
as recursive sequence, are a hot topic. There has been an
increasing interest in the study of qualitative analysis of
difference equations and systems of difference equations. Difference equations appear naturally as discrete analogues and
as numerical solutions of differential and delay differential
equations having applications in biology, ecology, economics,
physics, computer sciences, and so on.
Here, we recall some notations and results which will be
useful in our proofs.
Let 𝐼 be some interval of real numbers and let 𝐹 be continuous function defined on πΌπ‘˜+1 . Then, for initial conditions
π‘₯−π‘˜ , . . . , π‘₯0 ∈ 𝐼, it is easy to see that the difference equation
π‘₯𝑛+1 = 𝐹 (π‘₯𝑛 , π‘₯𝑛−1 , . . . , π‘₯𝑛−π‘˜ ) ,
𝑛 = 0, 1, . . . ,
(3)
{π‘₯}∞
𝑛=−π‘˜ .
has a unique solution
We say that the equilibrium point π‘₯ of (3) is the point that
satisfies the condition
π‘₯ = 𝐹 (π‘₯, π‘₯, . . . , π‘₯) .
(4)
That is, π‘₯𝑛 = π‘₯ for 𝑛 ≥ 0 is a solution of (3), or equivalently,
π‘₯ is a fixed point of 𝐹.
A solution {π‘₯}∞
𝑛=−π‘˜ of (3) is said to be periodic with period
𝑝 if π‘₯𝑛+𝑝 = π‘₯𝑛 for all 𝑛 ≥ −π‘˜
π‘₯𝑛+𝑝 = π‘₯𝑛 , ∀𝑛 ≥ −π‘˜.
(5)
∞
A solution {π‘₯}𝑛=−π‘˜ of (3) is said to be periodic with prime
period 𝑝, or a 𝑝-cycle if it is periodic with period 𝑝 and 𝑝 is
the least positive integer for which (5) holds.
2
Discrete Dynamics in Nature and Society
The linearized equation for (1) about the positive equilibrium π‘₯ is
𝑦𝑛+1 + π‘žπ‘₯𝑝−π‘ž−1 𝑦𝑛 − 𝑝π‘₯𝑝−π‘ž−1 𝑦𝑛−π‘˜ = 0,
𝑛 = 0, 1, . . . .
Proof. We have
π‘₯2𝑛+1 − π‘₯2𝑛−1
π‘ž
(6)
=
𝑝
𝑝
π‘ž
π‘ž
π‘ž
(π‘₯2𝑛 π‘₯2𝑛−2 )
2. Main Results
In this section, we find solutions, for π‘˜ is odd of (1), which
converge to a prime two-periodic solution. The following
three results are essentially proved in [1, 2]. Hence, we omit
their proofs.
𝑝
π‘₯2𝑛−2 (π‘₯2𝑛−π‘˜ − π‘₯2𝑛−π‘˜−2 ) + π‘₯2𝑛−π‘˜−2 (π‘₯2𝑛−2 − π‘₯2𝑛 )
(12)
π‘₯2𝑛+2 − π‘₯2𝑛
π‘ž
=
𝑝
𝑝
𝑝
π‘ž
(7)
then every positive solution of (1) is bounded.
Lemma 2. Assume that k is odd. Then, (1) has prime twoperiodic solutions if and only if
0<𝑝<1<π‘ž
(8)
and there exists a sufficient small positive number πœ€1 , such that
1
π‘ž−𝑝
(𝛼 + πœ€1 )
(𝛼 +
𝑝/π‘ž −1/π‘ž
πœ€1 ) πœ€1
π‘ž
(π‘₯2𝑛+1 π‘₯2𝑛−1 )
(13)
<𝛼+
Similarly if π‘₯−π‘˜+2𝑙 ≤ π‘₯−π‘˜+2𝑙−2 for all 𝑙 = 1, 2, . . . , (π‘˜ − 1)/2 and
π‘₯−π‘˜+2𝑠+1 ≥ π‘₯−π‘˜+2𝑠−1 for all 𝑠 = 1, 2, . . . , (π‘˜ + 1)/2, from (12)
and (13) using induction we obtain
π‘₯0 ≤ π‘₯2 ≤ ⋅ ⋅ ⋅ ≤ π‘₯2𝑛 ≤ ⋅ ⋅ ⋅ and ⋅ ⋅ ⋅
≤ π‘₯2𝑛+1 ≤ π‘₯2𝑛−1 ≤ ⋅ ⋅ ⋅ ≤ π‘₯1 .
(9)
𝑝2 −π‘ž2 /π‘ž
+ πœ€1 )
.
π‘₯0 ≤ π‘₯2 ≤ ⋅ ⋅ ⋅ ≤ π‘₯2𝑛 ≤ ⋅ ⋅ ⋅ and ⋅ ⋅ ⋅
(10)
π‘ž 󴀀󴀂󴀠 ∞
≤ π‘₯2𝑛+1 ≤ π‘₯2𝑛−1 ≤ ⋅ ⋅ ⋅ ≤ π‘₯1 .
(16)
Therefore, the result follows immediately.
The following result is essentially proved in [1] for π‘˜ = 1
of (1). We obtain the same result, for π‘˜ > 1 is an odd integer.
or
0 < 𝑝 < π‘ž,
(15)
If π‘₯−π‘˜+2𝑙 ≥ π‘₯−π‘˜+2𝑙−2 for all 𝑙 = 1, 2, . . . , (π‘˜ − 1)/2 and
π‘₯−π‘˜+2𝑠+1 ≥ π‘₯−π‘˜+2𝑠−1 for all 𝑠 = 1, 2, . . . , (π‘˜ + 1)/2 and π‘₯1 ≥ π‘₯3
we can obtain from (12) and (13)
Lemma 3. If either
0 < π‘ž < 𝑝 < 1,
.
If π‘₯−π‘˜+2𝑙 ≥ π‘₯−π‘˜+2𝑙−2 for all 𝑙 = 1, 2, . . . , (π‘˜ − 1)/2 and
π‘₯−π‘˜+2𝑠+1 ≤ π‘₯−π‘˜+2𝑠−1 for all 𝑠 = 1, 2, . . . , (π‘˜ + 1)/2, from (12)
and (13) we obtain π‘₯3 ≥ π‘₯1 and consequently π‘₯4 ≤ π‘₯2 . By
induction we obtain
π‘₯0 ≥ π‘₯2 ≥ ⋅ ⋅ ⋅ ≥ π‘₯2𝑛 ≥ ⋅ ⋅ ⋅ and ⋅ ⋅ ⋅
(14)
≥ π‘₯2𝑛+1 ≥ π‘₯2𝑛−1 ≥ ⋅ ⋅ ⋅ ≥ π‘₯1 .
> πœ€1 ,
−𝑝/π‘ž
πœ€1 (𝛼
π‘ž
π‘₯2𝑛−1 (π‘₯2𝑛−π‘˜+1 − π‘₯2𝑛−π‘˜−1 ) + π‘₯2𝑛−π‘˜−1 (π‘₯2𝑛−1 − π‘₯2𝑛+1 )
Lemma 1. Suppose that
𝑝 ∈ (0, 1) ,
,
(11)
hold, then (1) has a unique equilibrium point π‘₯.
Theorem 4. Consider (1) where π‘˜ is odd, for every positive
solution {π‘₯𝑛 } of (1) which satisfies any of the following initial
conditions:
(i) π‘₯−π‘˜+2𝑙 ≥ π‘₯−π‘˜+2𝑙−2 for all 𝑙 = 1, 2, . . . , (π‘˜ − 1)/2 and
π‘₯−π‘˜+2𝑠+1 ≤ π‘₯−π‘˜+2𝑠−1 for all 𝑠 = 1, 2, . . . , (π‘˜ + 1)/2.
(ii) π‘₯−π‘˜+2𝑙 ≤ π‘₯−π‘˜+2𝑙−2 for all 𝑙 = 1, 2, . . . , (π‘˜ − 1)/2 and
π‘₯−π‘˜+2𝑠+1 ≥ π‘₯−π‘˜+2𝑠−1 for all 𝑠 = 1, 2, . . . , (π‘˜ + 1)/2.
(iii) π‘₯−π‘˜+2𝑙 ≥ π‘₯−π‘˜+2𝑙−2 for all 𝑙 = 1, 2, . . . , (π‘˜ − 1)/2 and
π‘₯−π‘˜+2𝑠+1 ≥ π‘₯−π‘˜+2𝑠−1 for all 𝑠 = 1, 2, . . . , (π‘˜ + 1)/2.
(iv) π‘₯−π‘˜+2𝑙 ≤ π‘₯−π‘˜+2𝑙−2 for all 𝑙 = 1, 2, . . . , (π‘˜ − 1)/2 and
π‘₯−π‘˜+2𝑠+1 ≤ π‘₯−π‘˜+2𝑠−1 for all 𝑠 = 1, 2, . . . , (π‘˜ + 1)/2.
Then, the sequences {π‘₯2𝑛 } and {π‘₯2𝑛+1 } are eventually
monotone.
Lemma 5. Consider (1) where (8) and (9) hold and π‘˜ is odd.
Let {π‘₯𝑛 }∞
𝑛=−π‘˜ be a solution of (1) such that either
𝛼 < π‘₯−π‘˜ , π‘₯−π‘˜+2 , . . . , π‘₯−1 < 𝛼 + πœ€1 ,
𝑝/π‘ž −1/π‘ž
πœ€1
(𝛼 + πœ€1 )
< π‘₯−π‘˜+1 , π‘₯−π‘˜+3 , . . . , π‘₯0
(17)
or
𝛼 < π‘₯−π‘˜+1 , π‘₯−π‘˜+3 , . . . , π‘₯0 < 𝛼 + πœ€1 ,
𝑝/π‘ž −1/π‘ž
πœ€1
(𝛼 + πœ€1 )
< π‘₯−π‘˜ , π‘₯−π‘˜+2 , . . . , π‘₯−1 .
(18)
Then if (17) holds, we have
𝛼 < π‘₯2𝑛−1 < 𝛼 + πœ€1 ,
𝑝/π‘ž −1/π‘ž
πœ€1 ,
π‘₯2𝑛 > (𝛼 + πœ€1 )
𝑛 = 0, 1, . . . , .
(19)
Also if (18) holds, we have
𝛼 < π‘₯2𝑛 < 𝛼 + πœ€1 ,
𝑝/π‘ž −1/π‘ž
πœ€1 ,
π‘₯2𝑛−1 > (𝛼 + πœ€1 )
𝑛 = 0, 1, . . . , .
(20)
Discrete Dynamics in Nature and Society
3
Proof. Firstly, assume that (17) holds. Then, from (9) we have
𝑝
π‘₯−π‘˜
𝛼 < π‘₯1 = 𝛼 +
π‘ž
π‘₯0
< 𝛼 + πœ€1
(𝛼 + πœ€1 )
(𝛼 + πœ€1 )
𝑝
π‘₯2 = 𝛼 +
π‘₯−π‘˜+1
> 𝛼 + (𝛼 +
π‘ž
π‘₯1
𝑝
𝑝
= 𝛼 + πœ€1 ,
(𝑝2 −π‘ž2 )/π‘ž −𝑝/π‘ž
πœ€1 )
πœ€1
(21)
𝑝/π‘ž −1/π‘ž
πœ€1 .
> (𝛼 + πœ€1 )
𝑝
𝑝
π‘₯−1
π‘ž
π‘₯π‘˜−1
< 𝛼 + πœ€1
(𝛼 + πœ€1 )
𝑝
(𝛼 + πœ€1 )
= 𝛼 + πœ€1 ,
𝑝
π‘₯π‘˜+1 = 𝛼 +
π‘₯0
(𝑝2 −π‘ž2 )/π‘ž −𝑝/π‘ž
πœ€1
π‘ž > 𝛼 + (𝛼 + πœ€1 )
π‘₯π‘˜
(22)
𝑝/π‘ž −1/π‘ž
πœ€1 .
Therefore, we can easily prove relations (19). Similiarly if (18)
holds, we can prove that (20) is satisfied.
Lemma 6. If 𝛼 > 1, then every positive solution {π‘₯𝑛 }∞
𝑛=−π‘˜ of (1)
satisfies the following inequalities:
𝛼 < π‘₯2𝑛+π‘˜+1
𝑛
1−𝛽
𝑝
+ 𝛽𝑛 π‘₯2𝑛−1 ,
1−𝛽
𝑛 = 1, 2, . . . ,
1 − 𝛽𝑛
𝑝
<𝛼
+ 𝛽𝑛 π‘₯2𝑛 ,
1−𝛽
𝑛 = 1, 2, . . .
(23)
and here the cases
1 − 𝛽𝑛
𝑝
+ 𝛽𝑛 π‘₯−π‘˜+1 ,
1−𝛽
𝑛 = 1, 2, . . . ,
1 − 𝛽𝑛
𝑝
<𝛼
+ 𝛽𝑛 π‘₯−π‘˜ ,
1−𝛽
𝑛 = 1, 2, . . . ,
𝛼 < π‘₯2𝑛 < 𝛼
𝛼 < π‘₯2𝑛−1
𝛽=
= 𝐿,
lim π‘₯
𝑛 → ∞ 2𝑛
= 𝑆.
(28)
Besides, from Lemma 5 we have that either 𝐿 or 𝑆 belongs to
the interval (𝛼, 𝛼 + πœ€1 ). Furthermore, from Lemma 3 we have
that (1) has a unique equilibrium π‘₯ such that 1 < π‘₯ < ∞.
Therefore, from (27) we have that 𝐿 =ΜΈ 𝑆. So {π‘₯𝑛 }∞
𝑛=−π‘˜ converges
to a prime two-periodic solution. The proof is complete.
Acknowledgments
> (𝛼 + πœ€1 )
𝛼 < π‘₯2𝑛+π‘˜ < 𝛼
Proof. Let {π‘₯𝑛 }∞
𝑛=−π‘˜ be a solution with initial values
π‘₯−π‘˜ , π‘₯−π‘˜+1 , . . . , π‘₯−1 , π‘₯0 , which satisfy conditions of
Theorem 4, and either (17) or (18). Using Lemma 1 and
Theorem 4, we have that there exist
lim π‘₯
𝑛 → ∞ 2𝑛+1
Working inductively, we can get
𝛼 < π‘₯π‘˜ = 𝛼 +
then every positive solution {π‘₯𝑛 }∞
𝑛=−π‘˜ with initial values
π‘₯−π‘˜ , π‘₯−π‘˜+1 , . . . , π‘₯−1 , π‘₯0 , which satisfy conditions of Theorem 4
and either (17) or (18), converges to a prime two-periodic
solution.
(24)
1
π›Όπ‘ž
(25)
hold.
𝑝
Proof. We have 𝛼 < π‘₯𝑛+1 < 𝛼 + 𝛽π‘₯𝑛−π‘˜ for all 𝑛 = 1, 2, . . .. By
induction, we obtain (23) and (24). If here 𝛼 > 1, we also see
that
𝛼
𝑝
𝛼 < π‘₯2𝑛 <
+ π‘₯−π‘˜+1 , 𝑛 = 1, 2, . . .
1−𝛽
(26)
𝛼
𝑝
𝛼 < π‘₯2𝑛−1 <
+ π‘₯−π‘˜ , 𝑛 = 1, 2, . . .
1−𝛽
Now, we are ready for the main result of this paper.
Theorem 7. Consider (1) where (8) and (9) hold and π‘˜ is odd.
Suppose that
𝛼 + πœ€1 < 1,
(27)
The authors would like to thank the referees for their helpful
suggestions. This research is supported by TUBITAK and
Bulent Ecevit University Research Project Coordinatorship.
References
[1] C. J. Schinas, G. Papaschinopoulos, and G. Stefanidou, “On the
𝑝
recursive sequence π‘₯𝑛+1 = 𝐴 + (π‘₯𝑛−1 /π‘₯π‘›π‘ž ),” Advences in di Erence
Equations, vol. 2009, Article ID 327649, 11 pages, 2009.
[2] M. GümüsΜ§, Ö. Öcalan, and N. B. Felah, “On the dynamics of the
𝑝
recursive sequences π‘₯𝑛+1 = 𝛼 + π‘₯𝑛−π‘˜ /π‘₯π‘›π‘ž ,” Discrete Dynamics in
Nature and Society, vol. 2012, Article ID 241303, 11 pages, 2012.
[3] A. M. Amleh, E. A. Grove, G. Ladas, and D. A. Georgiou,
“On the recursive sequence π‘₯𝑛+1 = 𝛼 + (π‘₯𝑛−1 /π‘₯𝑛 ),” Journal of
Mathematical Analysis and Applications, vol. 233, no. 2, pp. 790–
798, 1999.
[4] H. El-Metwally, R. Alsaedi, and E. M. Elsayed, “The dynamics of
the solutions of some difference equations,” Discrete Dynamics
in Nature and Society, vol. 2012, Article ID 475038, 8 pages, 2012.
[5] E. M. Elsayed, “Solution and attractivity for a rational recursive
sequence,” Discrete Dynamics in Nature and Society, vol. 2011,
Article ID 982309, 17 pages, 2011.
[6] M. E. Erdogan, C. Cinar, and I. Yalcinkayac, “On the
dynamics of the recursive sequence π‘₯𝑛+1 = (𝛼π‘₯𝑛−1 )/(𝛽 +
𝛾(π‘‘π‘˜=1 π‘₯𝑛−2π‘˜ )(π‘‘π‘˜=1 π‘₯𝑛−2π‘˜ )),” Mathematicial and Computer Modelling,
vol. 54, no. 5-6, pp. 1481–1485.
[7] V. L. Kocić and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order with Applications, Kluwer
Academic, Dordrecht, The Netherlands, 1993.
[8] M. R. S. Kulenović and G. Ladas, Dynamics of Second Order
Rational Difference Equations, Chapman & Hall/CRC, 2001.
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