2

I have a recurrence relationship here that I have to justify:

$A_n = A_{n-1} + A_{n-2} + 1 $ and $A_0 $ = 1 and $A_1 $ = 1

I know that the first step is to turn this into a characteristic equation of order 2, and then go on to solve that equation. I can't seem to get over that first hump in finding the characteristic equation for the above recurrence relationship. I think it's the + 1 that's stopping me from being able to factor out $x^{n-2} $ to find the appropriate quadratic equation to solve. I just wanted to know how I can go about starting this one as I know how to do the rest.

  • $$1, 1, 3, 5, 9, 15, 25, 41, 67, 109, 177, 287, 465, 753, 1219, 1973, 3193, 5167, 8361, 13529, 21891, 35421, 57313, 92735, 150049, 242785, 392835, 635621, 1028457, 1664079, 2692537, 4356617, 7049155, 11405773, 18454929, 29860703, 48315633, 78176337,...$$ https://oeis.org/search?q=1%2C1%2C3%2C5%2C9%2C15%2C25%2C...&language=english&go=Search – Khosrotash Oct 04 '17 at 07:52
  • What does it mean to "justify" a recurrence relationship? Do you mean that $A_n$ is defined in some other way that you haven't told us, and you have to show that it satisfies the recurrence? – bof Oct 04 '17 at 08:24

4 Answers4

1

This is perhaps an easier way to do this. Given

$$A_n = A_{n-1} + A_{n-2} + 1,\quad A_0=A_1=1$$

Let

$$ A_n=f_n-1\\ f_n=f_{n-1}+f_{n-2}\\ f_{0,1}=a_{0,1}+1=2 $$

This is the Fibonacci sequence, albeit not the Fibonacci numbers because of the initial conditions. Using the methods described here, it can be readily shown that the solution to the sequence $f_{n}=f_{n-1}+f_{n-2}$ with arbitrary initial conditions $f_0,~f_1$ can be written as

$${{f}_{n}}=\frac{\left( {{f}_{1}}-{{f}_{0}}\psi \right)\,{{\varphi }^{n}}-\left( {{f}_{1}}-{{f}_{0}}\varphi \right)\,{{\psi }^{n}}}{\varphi -\psi}\\ \varphi,\psi=\frac{1\pm\sqrt{5}}{2} $$

With $f_0=f_1=2$, we have

$${{f}_{n}}=2\frac{\left( 1-\psi \right)\,{{\varphi }^{n}}-\left( 1-\varphi \right)\,{{\psi }^{n}}}{\varphi -\psi} $$

Noting that $1-\psi=\varphi$ and $1-\varphi=\psi$, the reduces nicely to

$${{f}_{n}}=2\frac{\varphi^{n+1}-\psi^{n+1}}{\varphi -\psi}\\ a_n=f_n-1 $$

I have verified this result numerically.

Cye Waldman
  • 8,196
0

Like we do for linear ODEs, we can talk about homogeneous equation and particular solution.

Here homogeneous equation is $A_n=A_{n-1}+A_{n-2}$ or similarly $A_{n+2}-A_{n+1}-A_n=0$

leading to characteristic equation $r^2-r-1=0$ with solution $r=\varphi,\bar\varphi$

And $A_n=a\,\varphi^n+b\,\bar\varphi^n$ characteristic of Fibonacci sequence.

Now when considering the whole equation with an RHS, you need to find a particular solution for it. Equation's linearity ensures that the sum of the general homogeneous solution and the particular solution is the overall general solution.

Here there is an obvious particular solution $A_n=-1$ since $-1=-1-1+1$.

But you can also search for polynomial solutions $A_n=(cn+d)$ and after substitution find $cn+d=2cn+2d-3c+1\iff c=0,d=-1$.


Finally, $A_n=a\,\varphi^n+b\,\bar\varphi^n-1$ and you find $a,b$ so that the values for $A_0$ and $A_1$ agree to initial conditions.

$\begin{cases}A_0=a+b-1=1\\ A_1=a\varphi+b\bar\varphi-1=1\end{cases}\iff\begin{cases}a=1+\dfrac 1{\sqrt{5}}\\b=1-\dfrac 1{\sqrt{5}}\end{cases}$

$A_n=(\varphi^n+\bar\varphi^n)+\frac 1{\sqrt{5}}(\varphi^n-\bar\varphi^n)-1$

zwim
  • 29,833
0

Your trouble comes from the fact that the characteristic equation is established from the homogenous part of the recurrence,

$$A_n=A_{n-1}+A_{n-2}$$ which obviously leads to

$$a^2=a+1.$$

After you have found the general solution of the homogenous part, you need to find a particular solution of the non-homogenous one.

  • Let's say I've found a, how do I then go about finding the solution to the non-homogenous part of the recurrence? – Broadsword93 Oct 04 '17 at 08:53
  • @Broadsword93: Hint: when the non-homogenous part is a polynomial, a polynomial solution can do. But didn't you say you knew how to do the rest ? ;-) –  Oct 04 '17 at 09:02
  • I did, but I was looking at it from the point of view of solving it as a homogenous recurrence where the characteristic equation was a quadratic. I think I'm overcomplicating it. – Broadsword93 Oct 04 '17 at 09:14
-1

For this specific case, it can be observed that it is $2$ times the Fibonacci Sequence's closed form minus $1$.

So that is,

$$\frac{2}{\sqrt 5}\left( \left( \frac{1+\sqrt 5}{2} \right)^n - \left( \frac{1- \sqrt 5}{2} \right)^n \right) -1$$

One can prove this with induction.

Harry Alli
  • 2,121