Question

Find a closed form for the recursive sequence $a_0=2, a_1=6$

Original question: 2. A sequence a0,a1,a2,a_0, a_1, a_2, \ldots is defined recursively as follows:

{a0=2a1=6ak=2ak1+3ak2for all integers k2.\begin{cases} a_0 = 2\\ a_1 = 6\\ a_k = 2a_{k-1} + 3a_{k-2} \quad \text{for all integers } k \ge 2. \end{cases}

Expert Verified Solution

thumb_up100%(1 rated)

Key concept: This recurrence is the kind that rewards a clean characteristic-equation setup. Once you solve the polynomial, the sequence falls into place quickly.

Step by step

We have

a0=2,a1=6,ak=2ak1+3ak2 (k2).a_0=2,\quad a_1=6,\quad a_k=2a_{k-1}+3a_{k-2}\ (k\ge 2).

To find a closed form, try a solution of the form

ak=rk.a_k=r^k.

Substitute into the recurrence:

rk=2rk1+3rk2.r^k=2r^{k-1}+3r^{k-2}.

Divide by rk2r^{k-2}:

r2=2r+3.r^2=2r+3.

So the characteristic equation is

r22r3=0,r^2-2r-3=0,

which factors as

(r3)(r+1)=0.(r-3)(r+1)=0.

Thus the roots are r=3r=3 and r=1r=-1.

So the general form is

ak=A3k+B(1)k.a_k=A\cdot 3^k+B\cdot(-1)^k.

Use the initial conditions:

For k=0k=0:

A+B=2.A+B=2.

For k=1k=1:

3AB=6.3A-B=6.

Add the equations:

4A=8A=2.4A=8 \Rightarrow A=2.

Then

B=0.B=0.

So the sequence is simply

ak=23k.\boxed{a_k=2\cdot 3^k}.

You can check it quickly:

  • a0=230=2a_0=2\cdot 3^0=2
  • a1=231=6a_1=2\cdot 3^1=6
  • a2=29=18a_2=2\cdot 9=18, and the recurrence gives 2(6)+3(2)=182(6)+3(2)=18.

That matches perfectly.

Pitfall alert

A frequent slip is to stop after finding the roots and forget to use both initial values. Another one: writing A3k+B1kA3^k+B1^k instead of A3k+B(1)kA3^k+B(-1)^k. The sign matters, especially when checking odd terms.

Try different conditions

If the initial conditions changed, say a0=1a_0=1 and a1=7a_1=7, the same characteristic equation would still apply, but the constants AA and BB would change. The method stays the same: solve the recurrence polynomial first, then fit the starting values. If the recurrence were non-homogeneous, such as ak=2ak1+3ak2+5a_k=2a_{k-1}+3a_{k-2}+5, you would need an extra particular solution.

Further reading

characteristic equation, linear recurrence, closed form

FAQ

What is the closed form of the sequence?

The closed form is a_k = 2\cdot 3^k. It comes from solving the characteristic equation r^2 - 2r - 3 = 0 and using the initial conditions.

Why does the term with (-1)^k disappear?

After applying the initial conditions, the coefficient of (-1)^k is 0, so that part of the general solution vanishes.

chat