MHB A Formula for $a_n$: $c_n + d_n$

  • Thread starter Thread starter anemone
  • Start date Start date
  • Tags Tags
    Formula
Click For Summary
The discussion revolves around finding a formula for the sequence defined by the recurrence relation a_n = (n+4)a_{n-1} - 4na_{n-2} + (4n-8)a_{n-3}, with initial conditions a_0=2, a_1=3, and a_2=6. Participants are tasked with proving that a_n can be expressed as the sum of two well-known sequences, c_n and d_n. One user acknowledges another's correct answer despite a lack of proof, granting full marks due to their consistent engagement with the forum. The conversation highlights the appreciation for well-articulated solutions and encourages further participation. Overall, the thread emphasizes collaborative problem-solving in mathematical sequences.
anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Let $a_0=2$, $a_1=3$, $a_2=6$, and for $n \ge 3$, $a_n=(n+4)a_{n-1}-4na_{n-2}+(4n-8)a_{n-3}$.

The first few terms are $2,\;\;3,\;\;6,\;\;14, \;\;40, \;\;152, \;\;784, \;\;5168,\;\; 40576, \;\;363392$.

Find with proof a formula for $a_n$ of the form $a_n=c_n+d_n$, where $c_n$ and $d_n$ are well-known sequences.
 
Last edited:
Mathematics news on Phys.org
anemone said:
Let $a_0=2$, $a_1=3$, $a_2=6$, and for $n \ge 3$, $a_n=(n+4)a_{n-1}-4na_{n-2}+(4n-8)a_{n-3}$.

The first few terms are $2,\;\;3,\;\;6,\;\;14, \;\;40, \;\;152, \;\;784, \;\;5168,\;\; 40576, \;\;363392$.

Find with proof a formula for $a_n$ of the form $a_n=c_n+d_n$, where $c_n$ and $d_n$ are well-known sequences.

Hello.

I guessed the sequences, because I have not been able to prove it.I thought that it could be a factor involved, and, then, by differences I found with another string.:o

a_n=2^n+n!

Regards.
 
Here is my solution:

Let's rewrite the recurrence as:

$$a_{n}-na_{n-1}=4\left(a_{n-1}-(n-1)a_{n-2} \right)-4\left(a_{n-2}-(n-2)a_{n-3} \right)$$

Now, if we define:

$$b_{n}=a_{n}-na_{n-1}$$

We may write the original recursion as:

$$b_{n}=4b_{n-1}-4b_{n-2}$$

This is a linear homogenous recursion with the repeated characteristic root $r=2$. Hence the closed form for $b_n$ is:

$$b_{n}=(A+Bn)2^n$$

Using the given initial values, we find:

$$b_1=a_1-a_0=3-2=1=(A+B)2$$

$$b_2=a_2-2a_1=6-6=0=(A+2B)4$$

From this 2X2 linear system, we find:

$$A=1,\,B=-\frac{1}{2}$$

Hence:

$$b_{n}=2^n-n2^{n-1}=a_{n}-na_{n-1}$$

Now, we may arrange this as:

$$a_{n}-2^{n}=n\left(a_{n-1}-2^{n-1} \right)$$

This implies one solution is $$c_n=2^n$$

If we define:

$$d_n=a_{n}-2^{n}$$

we then have:

$$d_{n}=nd_{n-1}\implies d_n=Cn!$$

And so by superposition we have the general form:

$$a_n=2^n+Cn!$$

Using the initial value we obtain:

$$a_0=2=2^0+C0!=1+C\implies C=1$$

Hence:

$$a_n=2^n+n!$$
 
mente oscura said:
Hello.

I guessed the sequences, because I have not been able to prove it.I thought that it could be a factor involved, and, then, by differences I found with another string.:o

a_n=2^n+n!

Regards.

Well, even though you didn't provide any proof, your answer is correct and since you've been actively engaged with our site for quite some time and solving many challenge problems in the Challenge Questions and Puzzles sub-forum, I would give allowance to you and hence I would declare it here that you got full mark for that!:o

Thanks for participating, mente!

MarkFL said:
Here is my solution:

Let's rewrite the recurrence as:

$$a_{n}-na_{n-1}=4\left(a_{n-1}-(n-1)a_{n-2} \right)-4\left(a_{n-2}-(n-2)a_{n-3} \right)$$

Now, if we define:

$$b_{n}=a_{n}-na_{n-1}$$

We may write the original recursion as:

$$b_{n}=4b_{n-1}-4b_{n-2}$$

This is a linear homogenous recursion with the repeated characteristic root $r=2$. Hence the closed form for $b_n$ is:

$$b_{n}=(A+Bn)2^n$$

Using the given initial values, we find:

$$b_1=a_1-a_0=3-2=1=(A+B)2$$

$$b_2=a_2-2a_1=6-6=0=(A+2B)4$$

From this 2X2 linear system, we find:

$$A=1,\,B=-\frac{1}{2}$$

Hence:

$$b_{n}=2^n-n2^{n-1}=a_{n}-na_{n-1}$$

Now, we may arrange this as:

$$a_{n}-2^{n}=n\left(a_{n-1}-2^{n-1} \right)$$

This implies one solution is $$c_n=2^n$$

If we define:

$$d_n=a_{n}-2^{n}$$

we then have:

$$d_{n}=nd_{n-1}\implies d_n=Cn!$$

And so by superposition we have the general form:

$$a_n=2^n+Cn!$$

Using the initial value we obtain:

$$a_0=2=2^0+C0!=1+C\implies C=1$$

Hence:

$$a_n=2^n+n!$$

Well done, MarkFL! I just love to read your solution posts because they are always so nicely written and well explained! Bravo, my sweetest global moderator!(Sun)
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K