Riordan numbers recurrence Let be C n </msub> the n <mrow class=

lurtzslikgtgjd

lurtzslikgtgjd

Answered question

2022-04-10

Riordan numbers recurrence
Let be C n the n t h Catalan's number. Well, I have the following relation:
f ( n ) = k = 0 n ( 1 ) n k ( n k ) C k .
I would like to know, if there is a way to obtain the recurrence:
f ( n ) = n 1 n + 1 ( 2 f ( n 1 ) + 3 f ( n 2 ) ) just by the first identity.

Answer & Explanation

Holden Rosario

Holden Rosario

Beginner2022-04-11Added 14 answers

Step 1
This is typically a problem where Zeilberger's algorithm applies (in fact, you don't need the full algorithm, just the "creative telescoping" method part). It may not the prettiest method but it is systematic and gets the job done in your case.
Denote the summand by (1) F ( n , k ) = ( 1 ) n k ( n k ) C k
As is standard, we define ( n k ) to be 0 when k > n or k < 0, so that F ( n , k ) = 0 also for those values.
We start with the remark that (2) F ( n + 1 , k ) F ( n , k ) = ( n + 1 ) n k , F ( n , k + 1 ) F ( n , k ) = ( n k ) ( 4 k + 2 ) ( k + 1 ) ( k + 2 )
The first step of the algorithm is to deduce from iterations of (2), a linear relation between translates F ( n + i , k + j ) of F. After getting inspiration from the form of the final result you're seeking and a little bit of trial and error, I found the following (there are some software that compute this directly, but unfortunately all the ones I know of, such as Maple, are behind a paywall):
(3) 4 ( n + 1 ) F ( n , k ) + ( n + 1 ) F ( n , k + 1 ) ( 4 n + 6 ) F ( n + 1 , k ) + ( 2 n + 4 ) F ( n + 1 , k + 1 ) + ( n + 3 ) F ( n + 2 , k + 1 ) = 0
Step 2
This identity can be rewritten as (3') 3 ( n + 1 ) F ( n , k ) + 2 ( n + 1 ) F ( n + 1 , k ) ( n + 3 ) F ( n + 2 , k ) = G ( n , k + 1 ) G ( n , k ) where G ( n , k ) = ( n + 1 ) F ( n , k ) + ( 2 n + 4 ) F ( n + 1 , k ) + ( n + 3 ) F ( n + 2 , k ).
Summing (3') for k between 0 and n + 2 inclusive, we obtain (remembering our conventions for value of F on overflowing arguments):
(4) 3 ( n + 1 ) f ( n ) + 2 ( n + 1 ) f ( n + 1 ) ( n + 3 ) f ( n + 2 ) = G ( n , n + 3 ) G ( n , 0 ) = 0 because G ( n , 0 ) = ( 1 ) n ( n + 1 ( 2 n + 4 ) + n + 3 ) = 0 and G ( n , n + 3 ) = ( n + 1 ) × 0 + ( 2 n + 4 ) × 0 + ( n + 3 ) × 0 = 0. This finishes the proof of your identity.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?