We study the behavior of the well-defined solutions of the max type difference equation xn+1=max1/xn,Anxn-1, n=0,1,…, where the initial conditions are arbitrary nonzero real numbers and {An} is a period-two sequence of real numbers with An∈[0,∞).
1. Introduction and Preliminaries
Recently, the study of max-type difference equations attracted a considerable attention. Although max-type difference equations are relatively simple in form, it is, unfortunately, extremely difficult to understand thoroughly the behavior of their solutions; see, for example [1–39] and the relevant references cited therein. Max-type difference equations stem from certain models in automatic control theory (see [1, 24]). For some papers on periodicity of difference equation, see, for example, [15, 16, 19, 22] and the relevant references cited therein.
In [9], Simsek et al. studied the behavior of the solutions of the following max-type difference equation:xn+1=max{xn-1,1xn-1},n=0,1,…,
where the initial conditions are nonzero real numbers.
In [10], Simsek studied the behavior of the solutions of the following max-type difference equation:xn+1=max{xn-2,1xn-2},n=0,1,…,
where the initial conditions are negative real numbers.
In [18], Elabbasy and Elsayed studied the behavior of the solutions of (1.2) where the initial conditions are nonzero real numbers.
In [20], Elsayed and Stević showed that every well-defined solution of the difference equationxn+1=max{Axn,xn-2},n=0,1,…,
where A∈ℝ, is eventually periodic with period three.
In [21], Elsayed and Iričanin showed that every positive solution to the following third-order nonautonomous max-type difference equation:xn+1=max{Anxn,xn-2},n=0,1,…,
where An is a three-periodic sequence of positive numbers and is periodic with period three.
In [29], Yalçinkaya et al. studied the behavior of the solutions of the following max-type difference equation:xn+1=max{1xn,Axn-1},n=0,1,…,
where A∈ℝ and initial conditions are nonzero real numbers.
In this paper, we study the behavior of the well-defined solutions of the max type difference equationxn+1=max{1xn,Anxn-1},n=0,1,…,
where the initial conditions are arbitrary nonzero real numbers and {An} is a period-two sequence of real numbers with An∈[0,∞).
We need the following definitions and lemmas.
Definition 1.1.
A sequence {xn}n=-k∞ is said to be eventually periodic with period p if there is n0∈{-k,…,-1,0,1,…} such that xn+p=xn for all n≥n0. If n0=-k, then we say that the sequence {xn}n=-k∞ periodic with period p.
We make two definitions regarding (1.6).
Definition 1.2.
A right semicycle is a string of terms xl,…,xm with l≥1, m≤∞ such that xn=An-1xn-2 for all n=l,…,m. Furthermore, if l>1,xl-1=1/xl-2, and if m<∞,xm+1=1/xm.
Definition 1.3.
A left semicycle is a string of terms xl,…,xm with l≥1, m≤∞ such that xn=1/xn-1 for all n=l,…,m. Furthermore, if l>1, xl-1=An-2xn-3, and if m<∞,xm+1=Amxm-1.
We give the following lemmas which show us the periodic behavior of the solutions of (1.6).
Lemma 1.4.
Assume that {xn}n=-1∞ is a well-defined solution of (1.6). If xn0=xn0+2 and xn0+1=xn0+3 such that n0∈ℕ0∪{-1}, then the solution {xn}n=-1∞ is eventually periodic with period two.
Proof.
We prove that
xn0=xn0+2m,xn0+1=xn0+2m+1,
by induction. For m=1, this is, assumption. Assume that (1.7) holds for all 1≤n≤m0∈ℕ. We may assume that n0 is odd. Then, by the inductive hypothesis, we have
xn0+2(m0+1)=max{1xn0+2m0+1,An0+2m0+1xn0+2m0}=max{1xn0+1,A1xn0}=xn0+1=xn0,
from this and the inductive hypothesis, we have
xn0+2(m0+1)+1=max{1xn0+2m0+2,An0+2m0+2xn0+2m0+1}=max{1xn0,A0xn0+1}=xn0+3=xn0+1,
which completes the proof (the case n0 is even similar, so it will be omitted).
We omit the proof of the following lemma, since it can easily be obtained by induction.
Lemma 1.5.
Assume that {xn}n=-1∞ is a well-defined solution of (1.6). If xn0,xn0+1>0 such that n0∈ℕ0∪{-1}, then xn>0 for all n≥n0.
Lemma 1.6.
Assume that {xn}n=-1∞ is a well-defined solution of (1.6) and An∈[0,1). If this solution is eventually positive, then it is eventually periodic with period two.
Proof.
Assume that n0∈ℕ0∪{-1} is the smallest index such that xn>0 for all n≥n0. Then, we have
xn+1xn=max{1,Anxnxn-1}∀n≥n0+1.
Using this, we have
xn0+2xn0+1=max{1,An0+1xn0+1xn0},xn0+3xn0+2=max{1,An0+2xn0+2xn0+1}=max{1,An0+2,An0+2An0+1xn0+1xn0}=max{1,An0+2An0+1xn0+1xn0},xn0+4xn0+3=max{1,An0+3An0+2An0+1xn0+1xn0},⋮
then we get
xn0+k+1xn0+k=max{1,xn0+1xn0∏i=1kAn0+i}∀k≥1.
Observe that there exists a positive integer k such that
xn0+1xn0∏i=1kAn0+i≤1.
From this directly follows that {xn}n=-1∞ is eventually periodic with period two.
Lemma 1.7.
Equation (1.6) has no right semicycle with an infinite terms for the positive initial conditions and 0<A0,A1<1.
Proof.
Conversely, assume that (1.6) has a right semicycle with an infinite terms. And, let {an} be periodic sequence of natural numbers with period two such that (an)=(0,1,0,1,…). Without loss of generality, we denote by x1 the first term of right semicycle with an infinite terms. There is at least n0∈ℕ. For all n>n0, we can write
xn=max{1A0[|n/2|]anA1[|n/2|]an+1x-1anx0an+1,A0[|(n+1)/2|]an+1A1[|(n+1)/2|]anx-1an+1x0an}=A0[|(n+1)/2|]an+1A1[|(n+1)/2|]anx-1x0,
which implies
A0[(n+1)/2]an+1+[n/2]anA1[(n+1)/2]an+[n/2]an+1x-1x0>1∀n>n0.
But this is a contradiction which completes the proof.
We omit the proof of the following lemma, since it can easily be obtained similarly.
Lemma 1.8.
Equation (1.6) has no right semicycle with an infinite terms for the negative initial conditions and A0,A1>1.
2. Main Results
Since An is a two periodic, it has the form (A0,A1,A0,A1,…). If A0=A1=0, then (1.6) becomes xn+1=1/xn, from which it follows that every well-defined solution is periodic with period two. Hence, in the sequel, we will consider the case when at least one of A0 and A1 is not zero.
2.1. The Case 0<A0,A1≤1Theorem 2.1.
If 0<A0,A1≤1 and at least one of the initial conditions is arbitrary positive real number, then every well-defined solution of (1.6) is eventually periodic with period two.
Proof.
Firstly, assume that x-1,x0>0. Then, we have x1=max{1/x0,A0x-1}. There are two cases to be considered.
If A0x-1x0≤1, then x1=1/x0. Hence,
x2=max{1x1,A1x0}=max{x0,A1x0}=x0,x3=max{1x2,A2x1}=max{1x0,A0x0}=1x0,x4=max{1x3,A3x2}=max{x0,A1x0}=x0.
From Lemma 1.4, the result follows.
If A0x-1x0>1, then x1=A0x-1. We have
x2=max{1x1,A1x0}=max{1A0x-1,A1x0}.
There are two subcases to be considered.
If A0A1x-1x0≤1, then x2=1/(A0x-1). Hence,
x3=max{1x2,A2x1}=max{A0x-1,A02x-1}=A0x-1,x4=max{1x3,A3x2}=max{1A0x-1,A1A0x-1}=1A0x-1.
From Lemma 1.4, the result follows in this case.
If A0A1x-1x0>1, then x2=A1x0. We have
x3=max{1x2,A2x1}=max{1A1x0,A02x-1}.
There are two subcases to be considered.
If A02A1x-1x0≤1, then x3=1/(A1x0). We have
x4=max{1x3,A3x2}=max{A1x0,A12x0}=A1x0,x5=max{1A1x0,A4x3}=max{1A1x0,A0A1x0}=1A1x0.
From Lemma 1.4, the result follows in this case.
If A02A1x-1x0>1, then x3=A02x-1. The result follows Lemma 1.7. Secondly, assume that x0<0<x-1, then we have
x1=max{1x0,A0x-1}=A0x-1>0,x2=max{1x1,A1x0}=1x1>0.
From Lemmas 1.5 and 1.6, the result follows (the case x-1<0<x0 is similar, so it will be omitted) which completes the proof.
Remark 2.2.
If 0<A0,A1≤1 and x-1,x0<0, then every well-defined solution of (1.6) is not periodic.
2.2. The Case A0=0<A1<1 or A1=0<A0<1Theorem 2.3.
If A0=0<A1<1 or A1=0<A0<1, then every well-defined solution of (1.6) is eventually periodic with period two.
Proof.
First assume that A1=0<A0<1. Then, we have
x1=max{1x0,A0x-1}>0,x2=max{1x1,A1x0}>0.
From Lemmas 1.5 and 1.6, the result follows. The case A0=0<A1<1 is similar, so it will be omitted.
2.3. The Other Cases
If at least one of A0 and A1 greater than one, then we have the well-defined solutions of (1.6), where the positive initial conditions are not periodic. So, there are many cases in which solutions of (1.6) are not periodic. If the solutions of (1.6) are not periodic, then general solution of (1.6) can be obtained for many subcases.
Theorem 2.4.
Assume that {xn}n=-1∞ is a well-defined solution of (1.6) for A0>1 and A1=0.
If x1=1/x0 and x0,x-1>0 or x-1<0<x0, then
xn=(x0A0[|(n-1)/2|])(-1)n.
If x1=A0x-1 and x0,x-1>0 or x0<0<x-1, then
xn=(1A0[|(n+1)/2|]x-1)(-1)n.
Proof.
(a) It can be proved by induction. Let x1=1/x0 and x0,x-1>0. For n=1, (2.8) holds. Assume that (2.8) holds for all 1≤m≤m0. We may assume that m0∈ℕ is even (the case m0 is odd is similar, so it will be omitted). Then, by the inductive hypothesis, we have
xm0+1=max{1xm0,Am0xm0-1}=max{A0(m0-2)/2x0,A0m0/2x0}=A0m0/2x0=(x0A0[|m0/2|])(-1)m0+1,
which completes the proof.
(b) Also, this case can be proved similarly.
Now, we describe the behavior of solutions of (1.6) for some other cases. We omit the proof of the following theorem, since it can easily be obtained by induction.
Theorem 2.5.
Assume that {xn}n=-1∞ is a well-defined solution of (1.6).
If A0=0,A1>1 and x0,x-1>0(orx-1<0<x0), then
xn=(A1[|n/2|]x0)(-1)n.
If A0,A1>1 and x0,x-1>0(orx-1<0<x0,x1=1/x0), then
xn=(A0an+1A1an)[|n/2|]x0(-1)n.
If A0,A1>1 and x0,x-1>0,x1=A0x-1,x2=A1x0, then
xn=(A0[|(n+1)/2|]an+1A1[|(n+1)/2|]an)[|n/2|]x-1an+1x0an.
There are many different cases. The different cases can be obtained similarly.
Theorem 2.6.
If A0,A1>1 and initial conditions are negative, then every well-defined solution of (1.6) is eventually periodic with period two.
Proof.
Assume that x0,x-1<0. Then,
x1=max{1x0,A0x-1}.
There are two cases to be considered.
If x1=1/x0, then x2=x0,x3=1/x0, x4=x4=x0. Then, the result follows Lemma 1.4.
If x1=A0x-1, then x2=max{1/(A0x-1),A1x0}. There are two subcases.
If x2=1/(A0x-1), then x3=A0x-1, x4=1/(A0x-1). Then the result follows Lemma 1.4.
If x2=A0x-1, then there will be subcases and from Lemmas 1.4 and 1.8 which completes the proof.
Acknowledgment
I am grateful to the anonymous referees for their valuable suggestions that improved the quality of this study.
MyškisA. D.Some problems in the theory of differential equations with deviating argument197719432-21732020492443GeliskenA.CinarC.KaratasR.A note on the periodicity of the Lyness max equation2008200856517472377312ZBL1149.39004GeliskenA.CinarC.YalcinkayaI.On the periodicity of a difference equation with maximum20081110.1155/2008/820629820629ZBL1149.39005GelişkenA.ÇinarC.On the global attractivity of a max-type difference equation2009510.1155/2009/812674812674ZBL1178.39022ÇinarC.StevićS.YalçinkayaI.On positive solutions of a reciprocal difference equation with minimum2005171-230731410.1007/BF029360572108808ZBL1074.39002KentC. M.RadinM. A.On the boundedness nature of positive solutions of the difference equation xn+1=maxAn/xn,Bn/xn-1 with periodic parameters2003supplement11152015782MishevD. P.PatulaW. T.VoulovH. D.A reciprocal difference equation with maximum2002438-91021102610.1016/S0898-1221(02)80010-41892482ZBL1050.39015MishevD. P.PatulaW. T.VoulovH. D.Periodic coefficients in a reciprocal difference equation with maximum200313343571988235ZBL1050.39016SimsekD.CinarC.YalcinkayaI.On the solutions of the difference equation xn+1=maxxn-1,1/xn-120061014814872287593ZBL1157.39303SimsekD.On the solutions of the difference equation xn+1=maxxn-2,1/xn-2200723367377GroveE. A.LadasG.20054Boca Raton, Fla, USAChapman & Hallxiv+3792193366PielouE. C.1969New York, NY, USAWiley-Interscienceviii+2860252051PielouE. C.1974Gordon and BreachElabbasyE. M.El-MetwallyH.ElsayedE. M.On the periodic nature of some max-type difference equations2005142227223910.1155/IJMMS.2005.22272177819ZBL1084.39004ElabbasyE. M.El-MetwallyH.ElsayedE. M.Global attractivity and periodic character of a fractional difference equation of order three2007532891002302604ZBL1138.39006ElabbasyE. M.El-MetwallyH.ElsayedE. M.Qualitative behavior of higher order difference equation20073348618732404609ZBL1144.39012ElabbasyE. M.El-MetwallyH.ElsayedE. M.Qualitative behavior of some max-type difference equations200836147612426618ZBL1154.39005ElabbasyE. M.ElsayedE. M.On the solution of the recursive sequence xn+1=maxxn-2,1/xn-220094155632529032ZBL1173.39006ElsayedE. M.On the solutions of higher order rational system of recursive sequences2008223-42872962494922ZBL1172.39008ElsayedE. M.StevićS.On the max-type equation xn+1=maxA/xn,xn-22009713-491092210.1016/j.na.2008.11.0162527512ZBL1169.39003ElsayedE. M.IričaninB. D.On a max-type and a min-type difference equation2009215260861410.1016/j.amc.2009.05.045256151910.1016/j.amc.2009.05.045ZBL1178.39010ElsayedE. M.Dynamics of a recursive sequence of higher order200916237502526879ZBL1176.39008JanowskiE. J.KocicV. L.LadasG.SchultzS. W.Global behavior of solutions of xn+1=maxxn,A/xn-11995Proceedings of the 1st International Conference on Difference EquationsSan Antonio, Tex, USAGordon and Breach Science2732821678714ZBL0860.39020PopovE. P.1966Moscow, RussiaNaukaSunF.On the asymptotic behavior of a difference equation with maximum20082008610.1155/2008/2432912432912425767ZBL1155.39008VoulovH. D.Periodic solutions to a difference equation with maximum200313172155216010.1090/S0002-9939-02-06890-91963762ZBL1019.39005VoulovH. D.On the periodic nature of the solutions of the reciprocal difference equation with maximum20042961324310.1016/j.jmaa.2004.02.0542070491ZBL1053.39023SzalkaiI.On the periodicity of the sequence xn+1=maxA0/xn,A1/xn-1,…,Ak/xn-k199951252910.1080/102361999088081681690043ZBL0930.39011YalçinkayaI.IričaninB. D.ÇinarC.On a max-type difference equation200720071010.1155/2007/47264472642390419ZBL1152.39016YalcinkayaI.CinarC.GeliskenA.On the recursive sequence xn+1=max{xn,A}/xn2xn−1201020101310.1155/2010/583230583230FeuerJ.On the eventual periodicity of xn+1=max1/xn,An/xn-1 with a period-four parameter200612546748610.1080/102361906005740022241388ZBL1095.39016FeuerJ.feuerj@dowling.eduMcDonnellK. T.On the eventual periodicity of xn+1=max1/xn,An/xn-1 with a period-five parameter200856488389010.1016/j.camwa.2008.01.018FeuerJ.Periodic solutions of the Lyness max equation2003288114716010.1016/S0022-247X(03)00587-02019751ZBL1042.39002BerenhautK. S.FoleyJ. D.StevićS.Boundedness character of positive solutions of a max difference equation200612121193119910.1080/102361906009497662277649ZBL1116.39001Abu-SarisR.AllanF.Periodic and nonperiodic solutions of the difference equation xn+1=maxxn2,A/xnxn-11997Amsterdam, The NetherlandsGordon and Breach9171636307ZBL0890.39012Abu-SarrisR. M.AllanF. M.Rational recursive sequences involving the maximum function1999133353421708568ZBL0932.39011StevićS.On the recursive sequence xn+1=maxc,xnp/xn-1p200821879179610.1016/j.aml.2007.08.0082436166ZBL1152.39012SunT.QinB.XiH.HanC.Global behavior of the max-type difference equation xn+1=max1/xn,An/xn-1200920091010.1155/2009/1529641529642506993ZBL1167.39303PatulaW. T.VoulovH. D.On a max type recurrence relation with periodic coefficients200410332933810.1080/102361904100016597412049682ZBL1050.39017