<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JAMP</journal-id><journal-title-group><journal-title>Journal of Applied Mathematics and Physics</journal-title></journal-title-group><issn pub-type="epub">2327-4352</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jamp.2023.112032</article-id><article-id pub-id-type="publisher-id">JAMP-123181</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  The Solutions and the Dynamic Behavior of the Rational Difference Equations
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Nisreen</surname><given-names>A. Bukhary</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Elsayed</surname><given-names>M. Elsayed</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Faculty of Science, Mathematics Department, Mansoura University, Mansoura, Egypt</addr-line></aff><aff id="aff1"><addr-line>Mathematics Department, Faculty of Science, King Abdulaziz University, Jeddah, KSA</addr-line></aff><pub-date pub-type="epub"><day>06</day><month>02</month><year>2023</year></pub-date><volume>11</volume><issue>02</issue><fpage>525</fpage><lpage>540</lpage><history><date date-type="received"><day>3,</day>	<month>January</month>	<year>2023</year></date><date date-type="rev-recd"><day>19,</day>	<month>February</month>	<year>2023</year>	</date><date date-type="accepted"><day>22,</day>	<month>February</month>	<year>2023</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p><html>
 <head></head>
 
  The main purpose of this paper is to study the dynamic behavior of the rational difference equation of the fourth order
   
   <img src="Edit_81c0bce1-8953-461f-8faa-2c571f24773b.bmp" alt="" />  
   Where <em>α</em>, <em>β</em> and <em>γ</em> are positive constants and the initial conditions <em>y</em><sub>-3</sub>, <em>y</em><sub>-2</sub>, <em>y</em><sub>-1</sub>, <em>y</em><sub>0</sub> are arbitrary positive real numbers. Also, we obtain the solution of some special cases of this equation and investigate the existence of a periodic solutions of these equations. Finally, some numerical examples will be given to explicate our results. 
 
</html></p></abstract><kwd-group><kwd>Difference Equation</kwd><kwd> Local Stability</kwd><kwd> Global Attractor</kwd><kwd> Boundedness</kwd><kwd> Periodic</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Over the last few years, the mathematicians have shown a lot of interest on studying the behavior of the non-linear difference equations and systems. These studies have been very productive and helpful to develop the basic theory of of the qualitative behaviour of non-linear rational difference equations. This topic experienced enormous growth in many areas where many real life phenomena were modeled using difference equations studies, for examples, from probability theory, statistical problems, stochastic time series, electrical network, genetics in biology, economics, sociology, etc. [<xref ref-type="bibr" rid="scirp.123181-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.123181-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.123181-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.123181-ref4">4</xref>] . It is known that non-linear difference equations are capable of producing a complicated behavior regardless its order. Thus, every research that studies the global attractivity, the boundedness character and the periodicity nature of non-linear difference equations are of paramount importance in their own right. The objective of this paper is to investigate some qualitative behavior of the solutions of the nonlinear difference equation:</p><p>y n + 1 = α y n − 1 y n − 3 β y n − 1 + γ y n − 3 ,     n = 0 , 1 , ⋯ , (1)</p><p>where α , β and γ are positive constants and the initial conditions y − 3 , y − 2 , y − 1 , y 0 are arbitrary positive real numbers. Also, we obtain the solution of some special cases of this equation.</p><p>In fact, many authors and researchers studied qualitative behaviors of the solution of rational difference equations for example:</p><p>In [<xref ref-type="bibr" rid="scirp.123181-ref5">5</xref>] , Amleh et al. investigated the third-order rational difference equation</p><p>x n + 1 = a + b x n − 1 A + B x n − 2 , (2)</p><p>where a , b , A , B are non-negative real numbers and the initial conditions are non-negative real number.</p><p>In [<xref ref-type="bibr" rid="scirp.123181-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.123181-ref7">7</xref>] and [<xref ref-type="bibr" rid="scirp.123181-ref8">8</xref>] , Cinar investigated the solutions of the following difference equations</p><p>x n + 1 = a x n − 1 1 + b x n x n − 1 ,     x n + 1 = x n − 1 1 + b x n x n − 1 ,     x n + 1 = x n − 1 a x n x n − 1 , (3)</p><p>where x − 1 and x 0 are positive real numbers.</p><p>Elabbasy et al. [<xref ref-type="bibr" rid="scirp.123181-ref9">9</xref>] investigated the asymptotic behavior of the solutions of a new class of the rational difference equations</p><p>ω 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 , (4)</p><p>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.</p><p>El-Owaidy et al. [<xref ref-type="bibr" rid="scirp.123181-ref10">10</xref>] have investigated the global behavior of the difference equation</p><p>x n + 1 = α x n − 1 β + γ x n − 2 p , (5)</p><p>where the parameters α , β , γ , and p are non-negative real numbers and the initial conditions x − 2 , x − 1 , and x 0 are non-negative real numbers.</p><p>El-sayed [<xref ref-type="bibr" rid="scirp.123181-ref11">11</xref>] has investigate the global convergence result, boundedness, and periodicity of solutions of the recursive sequence</p><p>x n + 1 = a x n + b x n − 1 + c x n − 2 d x n − 1 + e x n − 2 , (6)</p><p>where the parameters a , b , c , d and e are positive real numbers and the initial conditions x − 2 , x − 1 and x 0 are positive real numbers.</p><p>El-Moneam [<xref ref-type="bibr" rid="scirp.123181-ref12">12</xref>] studied the global stability of the positive solutions of the following nonlinear difference equation</p><p>x n + 1 = A x n + B x n − k + C x n − l + D x n − κ + b x n − k d x n − k + e x n − l , (7)</p><p>where the coefficients A , B , C , D , b , d , e ∈ ( 0, ∞ ) , while k , l and κ are positive integers. The initial conditions x − κ , ⋯ , x − l , ⋯ , x − k , ⋯ , x − 1 , x 0 are arbitrary positive real numbers such that k &lt; l &lt; κ .</p><p>Abo-Zeid [<xref ref-type="bibr" rid="scirp.123181-ref13">13</xref>] solved and studied the global behavior of the well defined solutions of the difference equation</p><p>x n + 1 = x n x n − 3 A x n − 2 + B x n − 3 , (8)</p><p>where A , B &gt; 0 and the initial values x − i , i ∈ { 1,2,3 } are real numbers.</p><p>Gul [<xref ref-type="bibr" rid="scirp.123181-ref14">14</xref>] investigated the solution of the following difference equation</p><p>z n + 1 = ( p n ) − 1 , n ∈ ℕ 0 = ℕ ∪ { 0 } (9)</p><p>where p n = a + b z n + c z n 1 z n with the parameters a ,   b ,   c and the initial values z − 1 , z 0 are nonzero quaternions such that their solutions are associated with generalized Fibonacci-type numbers.</p><p>Li and Li [<xref ref-type="bibr" rid="scirp.123181-ref15">15</xref>] studied investigate the global asymptotic stability of the following difference equation</p><p>x n + 1 = p + q x n 1 + r x n − k , (10)</p><p>where p , q ∈ [ 0, ∞ ) , r &gt; 0 , k ≥ 1 is an integer and initial conditions x k , ⋯ , x 1 , x 0 ∈ ( 0, ∞ ) .</p><p>In addition, other related results on rational difference equations can be found in Refs. [<xref ref-type="bibr" rid="scirp.123181-ref16">16</xref>] [<xref ref-type="bibr" rid="scirp.123181-ref17">17</xref>] [<xref ref-type="bibr" rid="scirp.123181-ref18">18</xref>] and [<xref ref-type="bibr" rid="scirp.123181-ref19">19</xref>] and the references cited therein.</p></sec><sec id="s2"><title>2. Preliminaries</title><p>Now we recall some results that are given in [<xref ref-type="bibr" rid="scirp.123181-ref2">2</xref>] , which will be helpful in our investigation of the difference Equation (1).</p><p>Let I be some interval of real numbers and let</p><p>g : I l + 1 → I ,</p><p>be a continuously differentiable function. Then for every set of initial conditions y − l , y − l + 1 , ⋯ , y 0 ∈ I , the difference equation</p><p>y n + 1 = g ( y n , y n − 1 , ⋯ , y n − l ) ,     n = 0 , 1 , ⋯ , (11)</p><p>has a unique solution { y n } n = − l ∞ .</p><p>Definition 1. (Equilibrium point) A point y &#175; ∈ I is called an equilibrium point of the difference Equation (1) if</p><p>y &#175; = g ( y &#175; , y &#175; , ⋯ , y &#175; ) .</p><p>That is, y n = y &#175; for n ≥ 0 is a solution of Equation (1), or equivalently, y &#175; is a fixed point of g.</p><p>Definition 2. (Stability) Let y &#175; ∈ ( 0, ∞ ) be an equilibrium point of the difference Equation (1). Then, we have the following:</p><p>(i) The equilibrium point of the difference Equation (1) is called locally stable if for every ε &gt; 0 , there exists δ &gt; 0 such that for all y − l , y − l + 1 , ⋯ , y 0 ∈ I with</p><p>| y − l − y &#175; | + ⋯ + | y − 1 − y &#175; | + | x 0 − y &#175; | &lt; δ ,</p><p>We have</p><p>| y n − y &#175; | &lt; ε for all n ≥ − l .</p><p>(ii) The equilibrium point y &#175; Equation (1) is called locally asymptotically stable if y &#175; is locally stable solution of (1) and there exists γ &gt; 0 , such that, for all y − l , y − l + 1 , ⋯ , y 0 ∈ I with</p><p>| y − l − y &#175; | + ⋯ + | y − 1 − y &#175; | + | y 0 − y &#175; | &lt; γ ,</p><p>We have</p><p>l i m n → ∞ y n = y &#175; .</p><p>(iii) The equilibrium point y &#175; of Equation (1) is called a global attractor if for all y − l , y − l + 1 , ⋯ , y 0 ∈ I , we have</p><p>lim n → ∞ y n = y &#175; .</p><p>(iv) The equilibrium point y &#175; of the difference Equation (1) is called a global asymptotically stable if it is locally stable, and y &#175; is also global attractor of the difference Equation (1).</p><p>(v) The equilibrium point y &#175; of the difference Equation (1) is called unstable if y &#175; is not locally stable.</p><p>Definition 3. The linearized equation of (1) about the equilibrium point y &#175; is the linear difference equation</p><p>z n + 1 = ∑ i = 1 l ∂ H ( y &#175; , ⋯ , y &#175; ) ∂ y n − i z n − i . (12)</p><p>Definition 4. (Periodicity) A sequence { y n } n = − l ∞ is said to be periodic with periodic q if y n + q = y n for all n ≥ − l .</p><p>Definition 5. (Fibonacci sequence)</p><p>The sequence { F i } i = 0 ∞ = { 1 , 1 , 2 , 3 , 5 , 8 , 13 , 21 , ⋯ } , i.e., F i = F i − 1 + F i − 2 , F − 2 = 1 , F − 1 = 1 is called Fibonacci sequence.</p><p>Now, assume that the characteristic equation associated with (12) is</p><p>p ( λ ) = p 0 λ l + p 1 λ l − 1 + ⋯ + p l − 1 λ + p l = 0 , (13)</p><p>where</p><p>p i = ∂ H ( y &#175; , ⋯ , y &#175; ) ∂ y n − i . (14)</p><p>Theorem A. Assume that p 0 , p 1 , ⋯ , p l ∈ R , and l ∈ { 0,1,2, ⋯ } . Then</p><p>∑ i = 1 l | p i | &lt; 1 , (15)</p><p>is a sufficient condition for the asymptotic stability of the difference equation:</p><p>y n + l + p 1 y n + l − 1 + ⋯ + p l y n = 0 ,     n = 0 , 1 , ⋯ . (16)</p><p>Theorem B. Let [ p , q ] be an interval of real numbers and assume that</p><p>g : [ p , q ] &#215; [ p , q ] ← [ p , q ]</p><p>is a continuous function satisfying the following properties:</p><p>(a) g ( x , y ) is non-decreasing in x in [ p , q ] for each y ∈ [ p , q ] , and is non-increasing in y ∈ [ p , q ] for each x ∈ [ p , q ] .</p><p>(b) If ( m , M ) ∈ [ p , q ] &#215; [ p , q ] is a solution of the system</p><p>M = g ( M , m ) and m = g ( m , M ) ,</p><p>Then</p><p>M = m .</p><p>Then equation</p><p>y n + 1 = g ( y n − 1 , y n − 3 ) ,</p><p>has a unique equilibrium y &#175; ∈ [ p , q ] and every solution of this equation converge to y &#175; .</p></sec><sec id="s3"><title>3. Dynamics of Equation (1)</title><p>In this section, we obtain the equilibrium point then we study the local stability, global stability of the solutions, and the boundedness of the following difference equation</p><p>y n + 1 = α y n − 1 y n − 3 β y n − 1 + γ y n − 3 ,     n = 0 , 1 , ⋯ ,</p><p>where α , β and γ are positive constants and the initial conditions y − 3 , y − 2 , y − 1 , y 0 are arbitrary positive real numbers.</p><sec id="s3_1"><title>3.1. Local Stability of the Equilibrium Point</title><p>In this subsection, we study the local stability of the equilibrium point of Equation (1). Equation (1) has a unique equilibrium point and is given by</p><p>y &#175; = α y &#175; y &#175; β y &#175; + γ y &#175; ,</p><p>y &#175; = α y &#175; 2 β y &#175; + γ y &#175; ,</p><p>y &#175; 2 ( β + γ ) = α y &#175; 2 .</p><p>If ( β + γ ) ≠ α , then the only equilibrium point is y &#175; = 0 .</p><p>Theorem 3.1. Let</p><p>β + γ ( β + γ ) 2 &lt; 1 α .</p><p>Then the equilibrium point of Equation (1) is locally asymptotically stable.</p><p>Proof.</p><p>Proof. Let g : ( 0, ∞ ) 2 → ( 0, ∞ ) , be a continuous function defined by</p><p>g ( w 1 , w 2 ) = α w 1 w 2 β w 1 + γ w 2 .</p><p>Therefore, it follows that</p><p>∂ g ( w 1 , w 2 ) ∂ w 1 = α γ w 2 2 ( β w 1 + γ w 2 ) 2 ,</p><p>∂ g ( w 1 , w 2 ) ∂ w 2 = α β w 1 2 ( β w 1 + γ w 2 ) 2 .</p><p>We see that</p><p>∂ g ( y &#175; , y &#175; ) ∂ w 1 = α γ ( β + γ ) 2 ,</p><p>∂ g ( y &#175; , y &#175; ) ∂ w 2 = α β ( β + γ ) 2 .</p><p>So the linearized equation of (1) about y &#175; = 0 is</p><p>z n + 1 − ( α γ ( β + γ ) 2 ) z n − 1 + ( α β ( β + γ ) 2 ) z n − 3 = 0.</p><p>It follows by Theorem A that Equation (1) is asymptotically stable if</p><p>| α γ ( β + γ ) 2 | + | α β ( β + γ ) 2 | &lt; 1 ,</p><p>and so,</p><p>α ( γ + β ) ( β + γ ) 2 &lt; 1 ,</p><p>Thus,</p><p>γ + β ( β + γ ) 2 &lt; 1 α .</p><p>The proof is complete. □</p></sec><sec id="s3_2"><title>3.2. Global Stability of the Equilibrium Point of Equation (1)</title><p>In this subsection, we study the global stability of the positive solutions of (1).</p><p>Theorem 3.2. The equilibrium point y &#175; of Equation (1) is global stability if α ≠ β .</p><p>Proof. Let p , q be a real numbers and assume that g : [ p , q ] &#215; [ p , q ] → [ p , q ] be a function define by</p><p>g ( w 1 , w 2 ) = α w 1 w 2 β w 1 + γ w 2 .</p><p>Then we can see that the function g ( w 1 , w 2 ) is increasing in w 1 and w 2 . Suppose that ( m , M ) is a solution of the system</p><p>M = g ( M , m ) and m = g ( m , M ) .</p><p>Then from Equation (1), we can see that</p><p>M = α M 2 β M + γ M ,       m = α m 2 β m + γ m ,</p><p>and then</p><p>β M 2 + γ M 2 = α M 2 ,</p><p>β m 2 + γ m 2 = α m 2 .</p><p>Subtracting these two equations, we obtain</p><p>( β + γ ) ( M 2 − m 2 ) = α ( M 2 − m 2 ) ,</p><p>and if ( β + γ ) ≠ α , then we see that M = m .</p><p>According to Theorem B the equilibrium point y &#175; is a global attractor of (1). The proof is complete. □</p></sec><sec id="s3_3"><title>3.3. Boundedness of Solutions of Equation (1)</title><p>In this subsection, we look at the boundedness and unboundedness solutions of Equation (1).</p><p>Theorem 3.3. Every solution of Equation (1) is bounded if α γ &lt; 1 .</p><p>Proof. Let { y n } n = − 3 ∞ be a solution of (1).It follows from (1) that</p><p>y n + 1 = α y n − 1 y n − 3 β y n − 1 + γ y n − 3 ≤ α y n − 1 y n − 3 γ y n − 3 = ( α γ ) y n − 1 .</p><p>Then when α γ &lt; 1 , we see that</p><p>y n + 1 ≤ y n − 1 for all n ≥ 0 .</p><p>Then the sequences { y n } n = − 3 ∞ is decreasing and so is bounded from the above by M = max { y − 3 , y − 2 , y − 1 , y 0 } . □</p></sec><sec id="s3_4"><title>3.4. Numerical Examples of Equation (1)</title><p>In order to illustrate the results of the previous sections and to support our theoretical discussions, we assume some numerical examples in this section.</p><p>Example 1. <xref ref-type="fig" rid="fig1">Figure 1</xref> shows that the zero solution of the difference Equation (1) is local stability with the initial conditions y − 3 = 14 , y − 2 = 12 , y − 1 = 13 and y 0 = 17 and the parameters α = 7 , β = 8 and γ = 7 .</p><p>Example 2. In <xref ref-type="fig" rid="fig2">Figure 2</xref>, we choose the parameters α = 0.15 , β = 0.1 and γ = 0.1 with the initial conditions y − 3 = 0.57 , y − 2 = 1.1 , y − 1 = 0.3 and y 0 = 0.5 . Then, the plot if the behavior of the zero solution of the difference Equation (1) is global stability where α ≠ β .</p><p>Example 3. In <xref ref-type="fig" rid="fig3">Figure 3</xref>, consider the difference Equation (1) with initial conditions y − 3 = 0.57 , y − 2 = 1.1 , y − 1 = 0.3 , y 0 = 0.5 . Moreover, choosing the parameters α = 0.015 , β = 0.1 and γ = 0.1 . Then, the plot of the behavior of the solution of Equation (1) is bounded as shown in <xref ref-type="fig" rid="fig3">Figure 3</xref>.</p></sec></sec><sec id="s4"><title>4. Special Cases of Equation (1)</title><p>In this section we investigate the following special case:</p><p>y n + 1 = α y n − 1 y n − 3 β y n − 1 + γ y n − 3 ,     n = 0 , 1 , ⋯ ,</p><p>where α , β and γ are constants and the initial conditions y − 3 ,   y − 2 ,   y − 1 ,   y 0 are arbitrary nonzero real numbers.</p><sec id="s4_1"><title>4.1. First Case</title><p>In this subsection, we solve the special case of Equation (1) when α = β = γ = 1 .</p><p>Theorem 4.1. The solution of the following difference equation</p><p>y n + 1 = y n − 1 y n − 3 y n − 1 + y n − 3 , (17)</p><p>is given by the following formulas for n = 0 , 1 , 2 , ⋯ .</p><p>y 2 n − 3 = b d f n − 1 b + f n d ,</p><p>y 2 n − 2 = a c f n − 1 a + f n c .</p><p>where the initial conditions y − 3 = d ,   y − 2 = c ,   y − 1 = b ,   y 0 = a are arbitrary positive real numbers with y − 2 ≠ y 0 , y − 3 ≠ y − 1 .</p><p>Proof. By using mathematical induction we can proves as follow. For n = 0 the result holds. Assume that the result holds for n − 1 , as follows</p><p>y 2 n − 4 = a c f n − 2 a + f n − 1 c ,</p><p>y 2 n − 5 = b d f n − 2 b + f n − 1 d ,</p><p>y 2 n − 6 = a c f n − 3 a + f n − 2 c ,</p><p>y 2 n − 7 = b d f n − 3 b + f n − 2 d .</p><p>where f i is Fibonacci sequence and { f i } i = − 1 ∞ = { 1 , 0 , 1 , 1 , 2 , 3 , 5 , 8 , 13 , 21 , ⋯ } .</p><p>Then, from Equation (17), it follows that</p><p>y 2 n − 2 = y 2 n − 4 x 2 n − 6 y 2 n − 4 + y 2 n − 6 = ( a c f n − 2 a + f n − 1 c ) ( a c f n − 3 a + f n − 2 c ) a c f n − 2 a + f n − 1 c + a c f n − 3 a + f n − 2 c = ( a c ) 2 ( a c ) ( f n − 3 a + f n − 2 c ) + ( a c ) ( f n − 2 a + f n − 1 c ) = a c f n − 3 a + f n − 2 c + f n − 2 a + f n − 1 c .</p><p>Thus,</p><p>y 2 n − 2 = a c f n − 1 a + f n c .</p><p>Similarly, one can prove the other relations. Thus the proof is completed. □</p><p>Example 5. <xref ref-type="fig" rid="fig4">Figure 4</xref> shows the behaviour of the solution of Equation (17) when the initial conditions y − 3 = 0.8 , y − 2 = 5 , y − 1 = 3 and y 0 = 2 .</p></sec><sec id="s4_2"><title>4.2. Second Case</title><p>In this subsection, we deal with the specific case of the Equation (1) when α = β = 1 and γ = − 1 .</p><p>Theorem 4.2. For n = 0 , 1 , 2 , ⋯ , the solution of difference equation</p><p>y n + 1 = y n − 1 y n − 3 y n − 1 − y n − 3 , (18)</p><p>has the following formulas:</p><p>y 2 n − 3 = ( − 1 ) n b d f n − 1 b − f n d ,</p><p>y 2 n − 2 = ( − 1 ) n a c f n − 1 a − f n c .</p><p>where the initial conditions y − 3 = d ,   y − 2 = c ,   y − 1 = b ,   y 0 = a are arbitrary nonzero real numbers with y − 2 ≠ y 0 , y − 3 ≠ y − 1 .</p><p>Proof. The results hold for n = 0 . Assume that the result holds for n − 1 .</p><p>y 2 n − 4 = ( − 1 ) n − 1 a c f n − 1 a − f n c ,</p><p>y 2 n − 5 = ( − 1 ) n − 1 b d f n − 1 b − f n d ,</p><p>y 2 n − 6 = ( − 1 ) n − 2 a c f n − 1 a − f n c ,</p><p>y 2 n − 7 = ( − 1 ) n − 2 b d f n − 1 b − f n d .</p><p>where f i is Fibonacci sequence and { f i } i = − 1 ∞ = { 1 , 0 , 1 , 1 , 2 , 3 , 5 , 8 , 13 , 21 , ⋯ } .</p><p>Now, it follow from Equation (18), that</p><p>y 2 n − 3 = y 2 n − 5 y 2 n − 7 y 2 n − 5 − y 2 n − 7 = ( ( − 1 ) n − 1 b d f n − 1 b − f n d ) ( ( − 1 ) n − 2 b d f n − 1 b − f n d ) ( − 1 ) n − 1 b d f n − 1 b − f n d − ( − 1 ) n − 2 b d f n − 1 b − f n d = ( − 1 ) n − 1 ( b d ) ( − 1 ) n − 2 ( b d ) ( − 1 ) n − 1 ( b d ) ( f n − 3 b − f n − 2 d ) + ( − 1 ) n − 2 ( b d ) ( f n − 2 b − f n − 1 d ) = ( − 1 ) n − 1 ( − 1 ) n − 2 ( b d ) 2 ( − 1 ) n − 1 ( − 1 ) n − 2 ( b d ) [ ( f n − 3 b − f n − 2 d ) − ( f n − 2 b − f n − 1 d ) ] .</p><p>Thus,</p><p>y 2 n − 3 = ( − 1 ) n b d f n − 1 b + f n d .</p><p>Hence, we can easily proof the other relations. The proof has been done. □</p><p>Example 6. <xref ref-type="fig" rid="fig5">Figure 5</xref> illustrates the solution of Equation (18) when the initial</p><p>conditions y − 3 = 0.0007 , y − 2 = 0.1 , y − 1 = 3 , y 0 = 1.2 .</p></sec><sec id="s4_3"><title>4.3. Third Case</title><p>In this subsection, we study the following special case of Equation (1) when α = 1 , β = − 1 and γ = 1 .</p><p>Theorem 4.3. Every solution of the following difference equation</p><p>y n + 1 = y n − 1 y n − 3 − y n − 1 + y n − 3 , (19)</p><p>is periodic with period 12. Moreover, the solution of (10) takes the following form</p><p>y 12 n − 3 = d ,         y 12 n − 2 = c ,         y 12 n − 1 = b ,</p><p>y 12 n = a ,         y 12 n + 1 = b d − b + d ,         y 12 n + 2 = a c − a + c</p><p>y 12 n + 3 = − d ,         y 12 n + 4 = − c ,         y 12 n + 5 = − b ,</p><p>y 12 n + 6 = − a ,         y 12 n + 7 = b d b − d ,         y 12 n + 8 = a c a − c .</p><p>where the initial conditions y − 3 = d ,   y − 2 = c ,   y − 1 = b ,   y 0 = a are arbitrary nonzero real numbers, and y − 2 ≠ y 0 , y − 3 ≠ y − 1 .</p><p>Proof. For n = 0 the result holds. Suppose that the result holds for n − 1 .</p><p>y 12 n − 15 = d ,         y 12 n − 14 = c ,         y 12 n − 13 = b ,</p><p>y 12 n − 12 = a ,         y 12 n − 11 = b d − b + d ,         y 12 n − 10 = a c − a + c</p><p>y 12 n − 9 = − d ,         y 12 n − 8 = − c ,         y 12 n − 7 = − b ,</p><p>y 12 n − 6 = − a ,         y 12 n − 5 = b d b − d ,         y 12 n − 4 = a c a − c .</p><p>We see from Equation (19) that</p><p>y 12 n − 4 = y 12 n − 6 y 12 n − 8 − y 12 n − 6 + y 12 n − 8 = ( − a ) ( − c ) − ( − a ) + ( − c ) .</p><p>Thus,</p><p>y 12 n − 4 = a c a − c .</p><p>Similarly,</p><p>y 12 n + 3 = y 12 n + 1 y 12 n − 1 − y 12 n + 1 + y 12 n − 1 = ( b d − b + d ) b − ( b d − b + d ) + b = b 2 d − b d − b 2 + b d .</p><p>Thus,</p><p>y 12 n + 3 = − d .</p><p>Other relations can be found in similar way. Hence, the proof is completed. □</p><p>Example 7. <xref ref-type="fig" rid="fig6">Figure 6</xref> shows that the solution of Equation (19) has a periodic solution with period 12 when the initial conditions y − 3 = 0.01 , y − 2 = 0.3 , y − 1 = 0.7 , y 0 = 5 .</p></sec><sec id="s4_4"><title>4.4. Fourth Case</title><p>In this subsection, we investigate the following special case of Equation (1) when α = 1 , β = − 1 and γ = − 1 and y − 2 ≠ y 0 , y − 3 ≠ y − 1 .</p><p>Theorem 4.4. For n = 0 , 1 , ⋯ , the solution of the following difference equation</p><p>y n + 1 = y n − 1 y n − 3 − y n − 1 − y n − 3 , (20)</p><p>is periodic with period 6. Moreover, the solution of (20) takes the following form</p><p>y 6 n − 3 = d ,         y 6 n − 2 = c ,</p><p>y 6 n − 1 = b ,         y 6 n = a ,</p><p>y 6 n + 1 = b d − b − d ,         y 6 n + 1 = a c − a − c .</p><p>where the initial conditions y − 3 ,   y − 2 ,   y − 1 ,   y 0 are arbitrary nonzero real numbers, and y − 2 ≠ y 0 , y − 3 ≠ y − 1 .</p><p>Proof. For n = 0 the result holds. Now, suppose that n &gt; 0 and that our assumption holds for n − 1 . That is</p><p>y 6 n − 9 = d ,           y 6 n − 8 = c ,</p><p>y 6 n − 7 = b ,         y 6 n − 6 = a ,</p><p>y 6 n − 5 = b d − b − d ,         y 6 n − 4 = a c − a − c .</p><p>From Equation (20) we have</p><p>y 6 n − 3 = y 6 n − 5 y 6 n − 7 − y 6 n − 5 − y 6 n − 7 = ( b d − b − d ) b − ( b d − b − d ) − b = b 2 d − b d + b 2 + b d = d .</p><p>Also,</p><p>y 6 n − 1 = x 6 n − 3 x 6 n − 5 − x 6 n − 3 − x 6 n − 5 = d ( b d − b − d ) − d − b d − b − d = b d 2 b d + b 2 − b d = b .</p><p>Hence, the rest of the relations can be found in similar way. The proof has been completed. □</p><p>Example 8. We show, in <xref ref-type="fig" rid="fig7">Figure 7</xref>, the behavior of the solution of equation (20) when the initial conditions y − 3 = 0.01 , y − 2 = 0.3 , y − 1 = 0.7 , y 0 = 5 . Moreover, <xref ref-type="fig" rid="fig7">Figure 7</xref> shows that the solution of Equation (20) has a periodic solution with period 6.</p></sec></sec><sec id="s5"><title>5. Conclusion</title><p>In this article we present the qualitative behavior of a rational difference equation. Firs, we prove the existence of the equilibrium point. Then it investigated the local stability, global stability and studied the boundededness of the difference</p><p>Equation (1). In Section 4, we obtained the form of the solution of four special cases of the difference Equation (1) and investigated the existence of a periodic solution of these equations, and we gave interesting numerical examples of each of the case with different initial values.</p></sec><sec id="s6"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s7"><title>Cite this paper</title><p>Bukhary, N.A. and Elsayed, E.M. (2023) The Solutions and the Dynamic Behavior of the Rational Difference Equations. Journal of Applied Mathematics and Physics, 11, 525-540. https://doi.org/10.4236/jamp.2023.112032</p></sec></body><back><ref-list><title>References</title><ref id="scirp.123181-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Kocic, V.L. and Ladas, G. (1993) Global Behavior of Nonlinear Difference Equations of Higher Order with Applications. Kluwer Academic Publishers, Dordrecht. https://doi.org/10.1007/978-94-017-1703-8</mixed-citation></ref><ref id="scirp.123181-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Grove, E.A. and Ladas, G. (2005) Periodicities in Nonlinear Difference Equations. Chapman and Hall/CRC, New York. https://doi.org/10.1201/9781420037722</mixed-citation></ref><ref id="scirp.123181-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Elaydi, S. (2005) An Introduction to Difference Equations. Springer, New York.</mixed-citation></ref><ref id="scirp.123181-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Kulenovic, M.R.S. and Ladas, G. (2002) Dynamics of Second Order Rational Difference Equations with Open Problems and Conjectures. Chapman Hall-CRC, New York. https://doi.org/10.1201/9781420035384</mixed-citation></ref><ref id="scirp.123181-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Amleh, A.M., Kirk, V. and Ladas, G. (2001) On the Dynamics of x&lt;sub&gt;n+1&lt;/sub&gt; = (a + bx&lt;sub&gt;n-1&lt;/sub&gt;)/(A + Bx&lt;sub&gt;n-2&lt;/sub&gt;). Mathematical Sciences Hot Line, 7, 1-15.</mixed-citation></ref><ref id="scirp.123181-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">&amp;#199;inar, C. (2004) On the Positive Solutions of the Difference Equation x&lt;sub&gt;n+1&lt;/sub&gt; = (x&lt;sub&gt;n-1&lt;/sub&gt;)/(1 + x&lt;sub&gt;n&lt;/sub&gt;x&lt;sub&gt;n-1&lt;/sub&gt;). Applied Mathematics and Computation, 156, 587-590. https://doi.org/10.1016/j.amc.2003.08.010</mixed-citation></ref><ref id="scirp.123181-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">&amp;#199;inar, C. (2004) On the Solutions of the Difference Equation x&lt;sub&gt;n+1&lt;/sub&gt; = x&lt;sub&gt;n-1&lt;/sub&gt; - 1 + ax&lt;sub&gt;n&lt;/sub&gt;x&lt;sub&gt;n-1&lt;/sub&gt;. Applied Mathematics and Computation, 158, 793-797. https://doi.org/10.1016/j.amc.2003.08.122</mixed-citation></ref><ref id="scirp.123181-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">&amp;#199;inar, C. (2004) On the Difference Equation  x&lt;sub&gt;n+1&lt;/sub&gt; = x&lt;sub&gt;n-1&lt;/sub&gt; - 1 + x&lt;sub&gt;n&lt;/sub&gt;x&lt;sub&gt;n-1&lt;/sub&gt;. Applied Mathematics and Computation, 158, 813-816. https://doi.org/10.1016/j.amc.2003.08.139</mixed-citation></ref><ref id="scirp.123181-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Elabbasy, E.M., Moaaz, O. and Alsaeed, S. (2017) Investigation of the Class of the Rational Difference Equations. Applied Mathematics, 8, 1464-1472.https://doi.org/10.4236/am.2017.810107</mixed-citation></ref><ref id="scirp.123181-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">El-Owaidy, H.M., Ahmed, A.M. and Youssef, A.M. (2005) On the Dynamics of the Recursive Sequence x&lt;sub&gt;n+1&lt;/sub&gt; = α(x&lt;sub&gt;n-1&lt;/sub&gt;) / (β+ γ&lt;span&gt;x &lt;/span&gt;&lt;sup style="margin-right:-12px;"&gt;p&lt;/sup&gt;&lt;sub&gt;n-2&lt;/sub&gt;). Applied Mathematics Letters, 18, 1013-1018.https://doi.org/10.1016/j.aml.2003.09.014</mixed-citation></ref><ref id="scirp.123181-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Elsayed, E.M. (2010) On the Global Attractivity and the Periodic Character of a Recursive Sequence. Opuscula Mathematica, 30, 431-446.https://www.researchgate.net/publication/50889793 https://doi.org/10.7494/OpMath.2010.30.4.431</mixed-citation></ref><ref id="scirp.123181-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">El-Moneam, M.A. (2014) On the Dynamics of the Higher Order Nonlinear Rational Difference Equation. Mathematical Sciences Letters, 3, 121-129.https://doi.org/10.12785/msl/030208</mixed-citation></ref><ref id="scirp.123181-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Abo-Zeid, R. (2021) On the Solutions of a Fourth Order Difference Equation. Universal Journal of Mathematics and Applications, 4, 76-81.https://doi.org/10.32323/ujma.917838</mixed-citation></ref><ref id="scirp.123181-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Gul, K. (2022) On the Solutions of Quaternion Difference Equations in Terms of Generalized Fibonacci-Type Numbers. Symmetry, 14, Article No. 2190.https://doi.org/10.3390/sym14102190</mixed-citation></ref><ref id="scirp.123181-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Li, X.-Y. and Li, W. (2021) Global Asymptotical Stability in a Rational Difference Equation. Applied Mathematics—A Journal of Chinese Universities, 36, 51-59.https://doi.org/10.1007/s11766-021-3586-y</mixed-citation></ref><ref id="scirp.123181-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Elsayed, E.M., Alzahrani, F., Abbas. I. and Alotaibi, N.H. (2020) Dynamical Behavior and Solution of Nonlinear Difference Equation via Fibonacci Sequence. Journal of Applied Analysis Computation, 10, 282-296. https://doi.org/10.11948/20190143</mixed-citation></ref><ref id="scirp.123181-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Khaliq, A., Hassan, S.S., Saqib, M. and Mashat, D.S. (2019) Behavior of a Seventh Order Rational Difference Equation. Dynamic Systems and Applications, 28, 809-825.</mixed-citation></ref><ref id="scirp.123181-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Aljoufi, L.S. and Almatrafi, M.B. (2022) Dynamical Analysis and Solutions of Nonlinear Difference Equations of Twenty-Fourth Order. New Trends in Mathematical Sciences, 10, 80-92. https://doi.org/10.20852/ntmsci.2022.490</mixed-citation></ref><ref id="scirp.123181-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Gümü&amp;#351;, M. and Abo-Zied, R. (2020) Global Behavior of a Rational Second Order Difference Equation. Journal of Applied Mathematics and Computing, 62, 119-133.https://doi.org/10.1007/s12190-019-01276-9</mixed-citation></ref></ref-list></back></article>