AMApplied Mathematics2152-7385Scientific Research Publishing10.4236/am.2017.810107AM-80035ArticlesPhysics&Mathematics Investigation of the Class of the Rational Difference Equations ElmetwallyM. Elabbasy1*OsamaMoaaz1*ShaimaaAlsaeed2*Department of Mathematics, Faculty of Science, Mansoura University, Mansoura, EgyptDepartment of Mathematics, The Faculty of Education, Al al-Bayt University, Mafraq, Jordan* E-mail:emelabbasy@mans.edu.eg(EME);o_moaaz@mans.edu.eg(OM);shaimaa.alsaeed@yahoo.com(SA);1810201708101464147219, July 201728, October 2017 31, October 2017© Copyright 2014 by authors and Scientific Research Publishing Inc. 2014This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

This paper is concerned with asymptotic behavior of the solution of a new class of rational Difference Equations. We consider the local and global stability of the solution. Moreover we investigate the new periodic character (periodic two) of solutions of these equations. Finally, we give some interesting counter examples in order to verify our strong results.

Difference Equation Stability Periodicity Boundedness
1. Introduction

The objective of this work is to investigate the asymptotic behavior of the solutions of the following difference equation

ω n + 1 = a + b 0 ω n − 1 c 1 ω n + c 2 ω n − 1 + b 1 ω n − 3 c 3 ω n − 2 + c 4 ω n − 3 , n = 0 , 1 , 2 , ⋯ (1)

where a , b 0 , b 1 , c 1 , c 2 , c 3 and c 4 ∈ [ 0, ∞ ) and the initial conditions ω − 3 , ⋯ , ω − 1 and ω 0 are arbitrary positive real numbers.

In recent years, there are a great interest in studying the rational difference equations. These equations describe real life situations in queuing theory, stochastic time series, combinatorial analysis, electrical network, number theory, genetics in biology, psychology, probability theory, statistical problems, economics, etc. The study of rational difference equations of high order (greater than one) is a big challenge. However, there have not been any effective general methods to deal with the global behavior of rational difference equations of order greater than one. Therefore, the study of such equations is so interesting. There has been a lot of work concerning the global asymptotic of solutions of rational difference equations  -  .

In fact, there has been a lot of interest in studying the behavior of the nonlinear difference equation of the form

x n + 1 = α + x n − 1 x n . (2)

For multiple delay and order, see     and their references for more results of this equation. In Theorems 4.7.1-4.7.5 in  , Kulenovic investigated the asymptotic behavior of the solutions of the equation

x n + 1 = γ x n − 1 B x n + C x n − 1 . (3)

Metwally et al. in  established a global convergence result and then apply it to show that under appropriate hypotheses every positive solution of the difference equation

x n + 1 = ∑ i = 0 m A i x n − 2 i ,

where A i ∈ [ 0, ∞ ) for i = 0 , 1 , ⋯ , m . In  , Elsayed studied the periodicity, the boundedness, and the global stability of the positive solution of the difference equation

x n + 1 = α + β x n x n − 1 + γ x n − 1 x n ,

where the parameters α , β and γ are positive real numbers and the initial conditions x − 1 , x 0 are positive real numbers. Recently, Moaaz et al.  investigated some qualitative behavior of the following nonlinear difference equations

x n + 1 = α + β x n − l x n − k + γ x n − l x n − s ,

where the initial conditions x − r , x − r + 1 , ⋯ , x 0 such that r = max { l , k , s } are arbitrary real numbers and α , β and γ are positive constants.

In this paper, in section 2, we state the sufficient condition for the asymptotic stability of Equation (1). Next, in section 3, we study the existence of periodic solutions of Equation (1). Finally, we study the boundedness nature of the solutions of Equation (1). Some numerical examples will be given to explicate our results.

During this study, we will need to many of the basic concepts. Before anything, the concept of equilibrium point is essential in the study of the dynamics of any physical system. A point ω ¯ in the domain of the function Φ is called an equilibrium point of the equation

ω n + 1 = Φ ( ω n , ω n − 1 , ⋯ , ω n − k ) ,   n = 0 , 1 , 2 , ⋯ (4)

if ω ¯ is a fixed point of Φ [ Φ ( ω ¯ , ω ¯ , ⋯ , ω ¯ ) = ω ¯ ]. For a stability of equilibrium point, equilibrium point ω ¯ of Equation (4) is said to be locally stable if for all ε > 0 there exists δ > 0 such that, if ω − ν ∈ ( 0, ∞ ) for ν = 0 , 1 , ⋯ , k with ∑ i = 0 k | ω − i − ω ¯ | < δ . As well, ω ¯ is said to be locally asymptotically stable if it is locally stable and there exists γ > 0 such that, if ω − ν ∈ ( 0, ∞ ) for ν = 0 , 1 , ⋯ , k with ∑ i = 0 k | ω − i − ω ¯ | < γ , then lim n → ∞ ω n = ω ¯ . Also, ω ¯ is said to be a global attractor if for every ω − ν ∈ ( 0, ∞ ) for ν = 0 , 1 , ⋯ , k , we have lim n → ∞ ω n = ω ¯ . On the other hand, ω ¯ is said to be unstable if it is not locally stable.

Finally, Equation (4) is called permanent and bounded if there exists numbers m and M with 0 < m < M < ∞ such that for any initial conditions ω − ν ∈ ( 0, ∞ ) for ν = 0 , 1 , ⋯ , k there exists a positive integer N which depends on these initial conditions such that m < ω n < M for all n ≥ N .

The linearized equation of Equation (1) about the equilibrium point ω ^ is

y n + 1 = ∑ i = 0 k p i y n − i . (5)

where

p i = ∂ F ∂ ω n − i ( ω ^ , ω ^ , ⋯ , ω ^ ) .

Theorem 1.1  Assume that p i ∈ ℝ for i = 0 , 1 , ⋯ , k . Then

| p 0 | + | p 1 | + ⋯ + | p k | < 1 (6)

is a sufficient condition for the asymptotic stability of Equation(1).

2. The Stability of Solutions

The positive equilibrium point of Equation (1) is given by

ω ^ = a + b 0 c 1 + c 2 + b 1 c 3 + c 4 .

Now, we define a function f ∈ C ( ( 0, ∞ ) 4 , ( 0, ∞ ) ) such that

f ( u , v , w , r ) = a + b 0 v c 1 u + c 2 v + b 1 r c 3 w + c 4 r .

Therefore, we find

∂ f ∂ u = − b 0 c 1 v ( c 1 u + c 2 v ) 2 , (7)

∂ f ∂ v = b 0 c 1 u ( c 1 u + c 2 v ) 2 , (8)

∂ f ∂ w = − b 1 c 3 r ( c 3 w + c 4 r ) 2 (9)

and

∂ f ∂ r = b 1 c 3 w ( c 3 w + c 4 r ) 2 . (10)

Theorem 2.1. Assume that ω ^ be a + v e equilibrium point of Equation (1). If

b 0 c 1 μ + b 1 c 3 λ < a λ μ + b 0 c 2 μ + b 1 c 4 λ .

where λ = ( c 1 + c 2 ) 2 and μ = ( c 3 + c 4 ) 2 , then ω ^ is local stable.

Proof. From (7) to (10), we get

∂ f ∂ u ( ω ^ , ω ^ , ω ^ , ω ^ ) = − b 0 c 1 ( a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ) ( c 1 + c 2 ) 2 = p 0 ,

∂ f ∂ v ( ω ^ , ω ^ , ω ^ , ω ^ ) = b 0 c 1 ( a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ) ( c 1 + c 2 ) 2 = p 1 ,

∂ f ∂ w ( ω ^ , ω ^ , ω ^ , ω ^ ) = − b 1 c 3 ( a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ) ( c 1 + c 2 ) 2 = p 2

and

∂ f ∂ r ( ω ^ , ω ^ , ω ^ , ω ^ ) = b 1 c 3 ( a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ) ( c 1 + c 2 ) 2 = p 3 .

Thus, the linearized equation of (1), is

y n + 1 = p 0 y n + p 1 y n − 1 + p 2 y n − 2 + p 3 y n − 3 .

From Theorem 1.1, we have that Equation (1) is locally stable if

| − b 0 c 1 ( a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ) ( c 1 + c 2 ) 2 | + | b 0 c 1 ( a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ) ( c 1 + c 2 ) 2 | + | − b 1 c 3 ( a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ) ( c 1 + c 2 ) 2 | + | b 1 c 3 ( a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ) ( c 1 + c 2 ) 2 | < 1 ,

and hence,

2 b 0 c 1 ( c 3 + c 4 ) 2 + 2 b 1 c 3 ( c 1 + c 2 ) 2 < [ a + b 0 c 1 + c 2 + b 1 c 3 + c 4 ] ( c 1 + c 2 ) 2 ( c 3 + c 4 ) 2 .

Then, we find

b 0 c 1 ( c 3 + c 4 ) 2 + b 1 c 3 ( c 1 + c 2 ) 2 < a ( c 1 + c 2 ) 2 ( c 3 + c 4 ) 2 + b 0 c 2 ( c 3 + c 4 ) 2 + b 1 c 4 ( c 1 + c 2 ) 2 ,

This completes the proof of Theorem 2.1.,

Example 2.1. Figure 1 shows that Equation (1) has local stable solutions if a = 0.01 , b 0 = 200 , b 1 = 20 , c 1 = 0.002 , c 2 = 0.01 , c 3 = 0.002 and c 4 = 0.001 .

Theorem 2.2. If c 1 = c 2 = α and c 3 = c 4 = β , then the equilibrium point ω ^

Equation (1) is global attractor.

Proof. We consider the following function

f ( u , v ; w , r ) = a + b 0 v c 1 u + c 2 v + b 1 r c 3 w + c 4 r (11)

Note that f non-decreasing for v , r and non-increasing for u , w . Let ( ψ , Ψ ) a solution of the system

ψ = f ( Ψ , ψ , Ψ , ψ )

Ψ = f ( ψ , Ψ , ψ , Ψ )

From (11), we have

( Ψ − a ) ( c 1 ψ + c 2 Ψ ) ( c 3 ψ + c 4 Ψ ) = b 0 Ψ ( c 3 ψ + c 4 Ψ ) + b 1 Ψ ( c 1 ψ + c 2 Ψ )

and

( ψ − a ) ( c 1 Ψ + c 2 ψ ) ( c 3 Ψ + c 4 ψ ) = b 0 ψ ( c 3 Ψ + c 4 ψ ) + b 1 ψ ( c 1 Ψ + c 2 ψ )

Thus, we get

α β ( Ψ − a ) ( Ψ + ψ ) = Ψ b 0 β ( Ψ + ψ ) + Ψ b 1 α ( Ψ + ψ ) , (12)

α β ( Ψ − a ) ( Ψ + ψ ) = ψ b 0 β ( Ψ + ψ ) + Ψ b 1 α ( Ψ + ψ ) . (13)

By subtracting (12) and (13), we have

( b 0 β + b 1 α ) ( Ψ − ψ ) = 0

Since b 0 β + b 1 α ≠ 0 , we get

Ψ = ψ .

This completes the proof of this Theorem.,

3. Periodic Solution of Period Two

In this section, we investigate the existence of periodic solutions of Equation (1).

Theorem 3.1. Assume that c 1 = c 3 = α and c 2 = c 4 = β . Equation (1) has positive prime period-two solutions if

( b 0 + b 1 ) ( α − β ) > a ( α 2 + β 2 ) + 2 a α β . (14)

Proof. Suppose that there exists a prime period-two solution

⋯ , σ , ρ , σ , ρ , σ , ρ , ⋯

of Equation (1). We will prove that condition (14) holds. We see from Equation (1) that if c 1 = c 3 = α and c 2 = c 4 = β , then ω n = ω n − 2 = ρ , ω n + 1 = ω n − 1 = ω n − 3 = σ and so,

σ = a + b 0 σ c 1 ρ + c 2 σ + b 1 σ c 3 ρ + c 4 σ     and     ρ = a + b 0 ρ c 1 σ + c 2 ρ + b 1 ρ c 3 σ + c 4 ρ .

Thus, we have

α σ ρ + β σ 2 = a α ρ + a β σ + b 0 σ + b 1 σ (15)

and

α σ ρ + β ρ 2 = a α σ + a β ρ + b 0 ρ + b 1 ρ . (16)

By subtracting (15) and (16), we have

β ( σ 2 − ρ 2 ) = − a ( σ − ρ ) + a β ( σ − ρ ) + b 0 ( σ − ρ ) + b 1 ( σ − ρ ) ,

then, we find

σ + ρ = − α a + β a + b 0 + b 1 β . (17)

By combining (15) and (16), we have

2 α σ ρ + β ( σ 2 + ρ 2 ) = a α ( σ + ρ ) + a β ( σ + ρ ) + b 0 ( σ + ρ ) + b 1 ( σ + ρ )

and so,

β σ ρ ( α − β ) = a α ( − a α + a β + b 0 + b 1 )

Since, σ 2 + ρ 2 = ( σ + ρ ) 2 − 2 σ ρ , we obtain

σ ρ = a α ( − a α + a β + b 0 + b 1 ) β ( α − β ) (18)

Now,it is clear from (17) and (18) that σ and ρ are both two positive distinct roots of the quadratic equation

u 2 + ( σ + ρ ) u + σ ρ = 0. (19)

Hence, we obtain

( − α a + β a + b 0 + b 1 ) 2 β 2 − 4 a α ( − a α + a β + b 0 + b 1 ) β ( α − β ) > 0 ,

which is equivalent to

( b 0 + b 1 ) ( α − β ) > a ( α 2 + β 2 ) + 2 a α β .

This completes the proof of Theorem 3.1.,

Example 3.1. Consider Equation (1) with c 1 = c 4 = β = 0.001 , c 3 = c 4 = α = 0.002 , a = 0.01 , b 0 = 200 and b 1 = 20000 . By Theorem 3.1, Equation (1) has prime period two solution (see Figure 2).

Example 3.2. Consider Equation (1) with c 1 = c 4 = β = 0.0003 , c 3 = c 4 =

α = 0.005 , a = 0.8 , b 0 = 500 and b 1 = 2000 . By Theorem 3.1, Equation (1) has prime period two solution (see Figure 3).

4. Boundedness of the Solutions

In this section, we study the characteristic task of boundedness of the positive solutions of Equation (1).

Theorem 4.1. Every solution of (1) is bounded and persists.

Proof. From Equation (1), we have

ω n + 1 = a + b 0 ω n − 1 c 1 ω n + c 2 ω n − 1 + b 1 ω n − 3 c 3 ω n − 2 + c 4 ω n − 3 ≤ a + b 0 ω n − 1 c 2 ω n − 1 + b 1 ω n − 3 c 4 ω n − 3 = a + b 0 c 2 + b 1 c 4

then,

0 < ω n ≤ a + b 0 c 2 + b 1 c 4 = M

Hence, the proof is completed.,

Conclusion 1. This work is concerned with studying a dynamics and behavior of solutions of a new class of difference Equation (1). Our results extend and generalize to previous studies, for example, Equation (2) (if b 1 = c 1 = 0 ) and Equation (3) (if a = b 1 = 0 ). Furthermore, we obtain the following results:

- The + v e equilibrium point ω ^ of equation (1) is local stable if b 0 c 1 μ + b 1 c 3 λ < a λ μ + b 0 c 2 μ + b 1 c 4 λ , where λ = ( c 1 + c 2 ) 2 and μ = ( c 3 + c 4 ) 2 . Also, if c 1 = c 2 and c 3 = c 4 , then ω ^ is global attractor.

- Equation (1) has a prime period-two solutions if c 1 = c 3 = α , c 2 = c 4 = β and ( b 0 + b 1 ) ( α − β ) > a ( α 2 + β 2 ) + 2 a α β .

- Every solution of (1) is bounded and persists.

Acknowledgements

The authors are grateful to the editors and anonymous referees for a very thorough reading of the manuscript and for pointing out several inaccuracies.

Cite this paper

Elabbasy, E.M., Moaaz, O. and Alsaeed, Sh. (2017) Investigation of the Class of the Rational Difference Equations. Applied Mathematics, 8, 1464-1472. https://doi.org/10.4236/am.2017.810107

ReferencesAbdelrahman, M.A.E. and Moaaz, O. (2017) Investigation of the New Class of the Nonlinear Rational Difference Equations. Fundamental Research and Development International, 7, 59-72.Abdelrahman, M.A.E. and Moaaz, O. (2018) On the New Class of the Nonlinear Difference Equations. Electronic Journal of Mathematical Analysis and Applications, 6, 117-125.Amleh, A.M., Grove, E.A., Georgiou, A. and Ladas, G. (1999) On the Recursive Sequence . Journal of Mathematical Analysis and Applications, 233, 790-798. <br />https://doi.org/10.1006/jmaa.1999.6346Camouzis, E., DeVault, R. and Ladas, G. (2001) On the Recursive Sequence . Journal of Difference Equations and Applications, 7, 477-482.Elabbasy, E.M., EL-Metwally, H.A. and Elsayed, E.M. (2006) On the Difference Equation . Advances in Difference Equations, 2006, 1-10.Elaydi, S.N. (1996) An Introduction to Difference Equations, Undergraduate Texts in Mathematics, Springer, New York. https://doi.org/10.1007/978-1-4757-9168-6Elsayed, E.M. and El-Metwally, H.A. (2012) Qualitative Studies of Scalars and Systems of Difference Equations. Publisher LAP Lambert Academic.Elsayed, E.M. (2015) New Method to Obtain Periodic Solutions of Period Two and Three of a Rational Difference Equation. Nonlinear Dynamics, 79, 241-250. <br />https://doi.org/10.1007/s11071-014-1660-2Elsayed E.M. ,et al. (2016)Dynamics and Behavior of a Higher Order Rational Difference Equation Journal of Nonlinear Sciences and Applications 9, 1463-1474.Elsayed, E.M. (2010) On the Global Attractivity and the Periodic Character of a Recursive Sequence. Opuscula Mathematica, 30, 431-446. https://doi.org/10.7494/OpMath.2010.30.4.431Grove, E.A. and Ladas, G. (2005) Periodicities in Nonlinear Difference Equations. Vol. 4, Chapman & Hall/CRC.Kulenovic, M.R.S. and Ladas, G. (2001) Dynamics of Second Order Rational Difference Equations with Open Problems and Conjectures. Chapman & Hall/CRC. <br />https://doi.org/10.1201/9781420035384El-Metwally, H., Ladas, G., Grove, E.A. and Voulov, H.D. (2001) On the Global Attractivity and the Periodic Character of Some Difference Equations. Journal of Difference Equations and Applications, 7, 837-850. https://doi.org/10.1080/10236190108808306Metwally, H.E., Grove, E.A. and Ladas, G. (2000) A Global Convergence Result with Applications to Periodic Solutions. Journal of Mathematical Analysis and Applications, 245, 161-170. <br />https://doi.org/10.1006/jmaa.2000.6747Moaaz, O. and Abdelrahman, M.A.E. (2016) Behaviour of the New Class of the Rational Difference Equations. Journal of Mathematical Analysis and Applications, 4, 129-138.Moaaz, O. (2017) On Comment on “New Method to Obtain Periodic Solutions of Period Two and Three of a Rational Difference Equation. Nonlinear Dynamics, 79, 241-250. <br />https://doi.org/10.1007/s11071-016-3293-0Moaaz, O. and Abdelrahman, M.A.E. (2017) On the Class of the Rational Difference Equations. International Journal of Advances in Mathematics, 4, 46-55.Ocalan O. ,et al. (2014)Dynamics of the Difference Equation with a Period-Two Coefficient Applied Mathematics and Computation 228, 31-37.Saleh, M. and Aloqeili, M. (2005) On the Difference Equation . Applied Mathematics and Computation, 171, 862-869.Sun, T. and Xi, H. (2007) On Convergence of the Solutions of the Difference Equation . Journal of Mathematical Analysis and Applications, 325, 1491-1494.Zhang, L., Zhang, G. and Liu, H. (2005) Periodicity and Attractivity for a Rational Recursive Sequence. Journal of Applied Mathematics and Computing, 19, 191-201. <br />https://doi.org/10.1007/BF02935798