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

  • Context: MHB 
  • Thread starter Thread starter anemone
  • Start date Start date
  • Tags Tags
    Formula
Click For Summary

Discussion Overview

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 provided. Participants are tasked with expressing $a_n$ as a sum of two well-known sequences, $c_n$ and $d_n$.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant presents the recurrence relation and initial terms of the sequence, seeking a formula of the form $a_n=c_n+d_n$.
  • Another participant reiterates the problem statement without providing additional insights or solutions.
  • A third participant claims to have a solution but does not include a proof, leading to a discussion about the validity of the answer.
  • A later reply acknowledges the correctness of the answer despite the lack of proof, suggesting a leniency based on the participant's previous contributions.
  • Further commentary expresses appreciation for the clarity and quality of another participant's solution posts.

Areas of Agreement / Disagreement

There is no consensus on a specific formula for $a_n$, and the discussion includes varying levels of engagement and acknowledgment of contributions without a definitive resolution.

Contextual Notes

Some participants note the absence of proof for the proposed solution, which may affect the acceptance of the claims made in the discussion.

Who May Find This Useful

Readers interested in recurrence relations, sequence analysis, and combinatorial mathematics may find the discussion relevant.

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)
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K