Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $a_0 = 0$, $a_1 = 0$, $a_2=1$ and for $n>2$, $a_n = \dfrac{a_{n-1}+a_{n-2}+a_{n-3}}{3}$. Consider $\lim\limits_{n \to +\infty} a_n$.

Using a python script I found that $a_n$ tends to $\frac{1}{2}$ as $n \to +\infty$. However I don't know how to prove this...I tried the approach from this question that I asked here a while back, but I couldn't anything like it to work because the differences between terms kept altering between positive and negative in an unpredictable fashion (i.e. -+-++-++-++-+--+--...) and the absolute value of the differences did not always decrease as $n$ increased ($|a_7-a_8| < |a_8-a_9|$). (Source: the python code, which I can include if that helps...)

Another approach I tried was to use induction to try to prove the general case that if the first $k$ terms $a_0,\cdots,a_{k-1}$ are given where $a_0,\cdots,a_{k-2} = 0$ and $a_{k-1} = 1$ and for $n>k-1$,

$a_n = \dfrac{\sum\limits_{i=1}^k a_{n-i}}{k}$

then that $\lim\limits_{n \to +\infty} a_n = \dfrac{2}{k+1}$ (this is just a guess after the first five or six terms), but I also made no progress there.

Could anybody help point me in the right direction? How do I prove this? (The $k=3$ case is enough; proving the general case was just an idea.)

share|improve this question
    
One way is to solve the recurrence explicitly, by using the characteristic polynomial. –  André Nicolas Aug 20 at 14:33
1  
See j.c.'s answer here for a proof and a more general approach! –  Silenttiffy Aug 20 at 14:36

2 Answers 2

up vote 3 down vote accepted

There is a way to solve this problem, but it requires time and work. The recurrence relation for this sequence is similar to that of the Fibonnaci sequence, in general, these types of sequences have closed forms in terms of a sum of exponentials of n.

Here is how you can solve the problem: by the linearity of the recurrence relation, if $s_n$ is a sequence which satisfies the relation, then $ks_n$ also does ( $k$ is any value). If also, say $t_n$ satisfies the relation, then the sum $$s_n+t_n $$ also does. Hence, to find the closed form of the sequence, you must find three distinct sequences which satisfy the recurrence relation. Then, your sequence is of the form $$k_1 s_n + k_2t_n + k_3u_n $$ where $s_n$, $t_n$ and $u_n$ are the 3 sequences you found.

To find the 3 sequences, assume they are of exponential form: $$s_n= x^n $$ for some constant $x$. Substituting in the recurrence relation and simplifying, youre left with:

$$3x³=x²+x+1 $$ I leave you to solve that ( hint, one solution is easy by inspection, then factor the cubic and solve the final quadratic)

You will find that two of the roots are complex and one is real. Then, find your $k_1$, $k_2$, $k_3$ mentioned before by substituting the the values for $n=0,1,2$

Whew. ( I know it's long) Finally, take the limit as $n \to \infty$. You will find two of the exponentials vanish ( hint: what is their modulus?) and the third is trivial. That will yield your limit to be $\frac{1}{2}$.

share|improve this answer
2  
The calculation that you have very nicely described works smoothly and quickly. –  André Nicolas Aug 20 at 14:45
    
Thank you Andre Nicolas. It can get quite tedious sometimes. –  Assaultous2 Aug 20 at 14:46

Use a telescoping sum to get $$3a_n+2a_{n-1}+a_{n-2}=3a_2+2a_1+a_0.$$ Now it is easy to find the answer, by taking $n\to\infty$ in the above equation: $${3\cdot 1+2\cdot0+1\cdot0\over3+2+1}=\frac12.$$ Actually, we first have to prove that $\lim_{n\to\infty}a_n$ exists.

With this method, you can also prove the general case.

share|improve this answer
    
$\lim_{n\to\infty}(3a_n+2a_{n-1}+a_{n-2})=6a_{\infty}$. Since $3a_2+2a_1+a_0=3+0+0$, we obtain $a_{\infty}=1/2$. Nice results! –  mike Aug 20 at 14:38
    
@mike How do I show the step of taking the limit more rigorously? –  Thornshadow17432 Aug 20 at 14:49
    
Please take a look at the following MSE question and Answer. math.stackexchange.com/questions/829721/… –  mike Aug 20 at 14:53

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.