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?
Hmmm...
If you define
and then define:
then
Then say something along the line that f(x) gives every other (e.g. even) numbers and g(x), the others. Now the derivative of g(x) is negative so that sequence is decreasing, and f(x) is positive so it is increasing?
I dont know, still doesnt help to prove that the whole sequence is convergant.
What does it mean when you say:
Lets assume the limit excists, call it L. Now:Also note that the equilibrium of the given equation is .
So the limit is the positive solution to
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]}]]
I will show you the proof only for the case where either or is decreasing by leaving some open problems.
From the second part of the proof, we now know that every solution of the rational difference equation
....for ....(1)
converges to the equilibrium point of the equation .
Now define and for .
It is clear that on and is the only positive fixed point of the equation, i.e., is the only solution of for .
Moreover,
on ....(2)
and is the only positive fixed point of too.
From (2), we see that
for all .....(3)
Open Problem 1. Prove that for all .
Note. For this open problem, Mathematica 7.0 returns empty set when trying to find some such that .
Below you will find the code, but you have to prove it yourself.
Code:f[u_,k_]=(k(1+u))/(1+k+u); l[k_]=l/.Solve[l ==k/(1+l),{l}][[2]]; FindInstance[f[u,k]>u&&k>0&&u>l[k],{u,k}]
I assume that the proof for the open problem is given and continue the proof for the original problem.
Hence, (3) can be rewritten as
for all ,....(4)
Rewrite now (1) as
....for .....(5)
If for some , then from (4) and (5), we have
.....(6)
This proves that if a term is above the equilibrium then succeeding second term is not greater than this term and not less than the equilibrium point.
By mathematical induction, we can say that if , then decreases to , and if , then decreases to also.
You can show by using very similar arguments that the subsequences increase to the equilibrium provided that their initial values are not greater than the equilibrium.
In this case you need to prove the following problem.
Open Problem 2. Prove that for all .
Again see the solution by Mathematica 7.0.
Code:f[u_,k_]=(k(1+u))/(1+k+u); l[k_]=l/.Solve[l ==k/(1+l),{l}][[2]]; FindInstance[f[u,k]<u&&k>0&&u<l[k]&&u>0,{u,k}]
Please let me know when you have proofs for the open problems.
Wow, thank you bkarpuz. But I am pretty sure your solution is much to complicated. Most of what you are talking about, I have never even heard of. This was supposed to be an easy excercise at the end of the chapter on sequences.
But thank you very much, for taking your time to answer my question.
It is an Icelandic textbook written by my teacher, so you will probably never find it.
Because we have a different system here in Iceland, it is hard to say what course my course corresponds to.
But I think it is somewhere along the lines of Calculus I and Mathematical analysis I. (First year, BSc (in mathematics) student).
But I will tell you when I find a simple solution.