Originally Posted by

**hjortur** Let

and

be positive real numbers.

Now prove that either of the sequences

or

is increasing and the other one is decreasing.

**Then prove that ** ** is convergant.**
I have no idea how to work with recursive sequences, so if someone could tell me how do I start?

I will give a proof for the highlighted part, because I don't have any idea how to prove the first part yet, but I will write if I can find.

Using the recursion formula

....for ,....**(1)**

where and , we learn that

....for all , i.e., is bounded.

Set

....and.... .

Clearly,

.....**(2)**

Taking now inferior and superior limits on both sides of (1), we obtain

....and.... (actually they are equal, but I prefer inequalities for a general proof),

which yields

,

or equivalently

.....**(3)**

Set for , and note that is increasing on .

From (3), we have

,

which yields

.....**(4)**

It follows from (2) and (4) that , i.e., has a finite limit at infinity (more precisely this limit value lies in the interval ).

Let

.

Taking limit on both sides of (1), we obtain

,....**(5)**

and solving this we obtain

(note that we took the positive solution of (5) since the solutions we consider are positive),

which is called the equilibrium of the recursive equation (1).

Every solution of (1) with positive initial value and positive , tends to the equilibrium .

You should refer to the following books for rational difference equations:

**[1]** M. R. S. Kulenovic and G. Ladas, *Dynamics of Second Order Rational Difference Equations with Open Problems and Conjectures*, Champman & Hall, 2002.

**[2]** E. Camouzis and G. Ladas, *Dynamics of Third-Order Rational Difference Equations with Open Problems and Conjectures*, Champman & Hall, 2008.

**Mathematica codes for plotting a graphic of the solution of the rational sequence**

Code:

s=30; "Number of iterations";
x=Table[0,{i,1,s+1}];
k=1; "Coefficient";
x[[1]]=1; "Initial Value";
For[i=1,i<=s,i++,x[[i+1]]=k/(1+x[[i]])]
eq=l/.Solve[l==k/(1+l),{l}];
eq=If[eq[[1]]>0,eq[[1]],eq[[2]]];
xtab=Table[{i,x[[i+1]]},{i,0,s}];
Show[ListPlot[xtab,PlotStyle->{Red,PointSize[0.02],Opacity[1]},PlotRange->Full,AxesOrigin->{0,0}],ListPlot[xtab,PlotStyle->{Blue,Dashed,Thickness[0.001],Opacity[1]},Joined->True],Plot[eq,{i,0,s},PlotStyle->{Green,Thickness[0.001]}]]