Finding Recurrence Let be C k </msub> , k <mrow class="MJX-TeXAto

lobht98

lobht98

Answered question

2022-06-22

Finding Recurrence
Let be C k , k t h Catalam's number and
f ( n ) = k = 0 n ( n k ) ( 1 ) n k C k ..
I want to prove the following recurrence:
f ( n + 1 ) + ( 1 ) n = f ( 0 ) f ( n ) + f ( 1 ) f ( n 1 ) + + f ( n ) f ( 0 ) . .
I know that there is a similar recurrence involving C n + 1 , that is C n + 1 = k = 0 n C n k C k
I wonder if there is a method to prove recurrence, by using Moebius's Inversion Theorem or if there is another way to get recurrence.
Any hints would be really precious, so Thank You very much in advance.

Answer & Explanation

Christina Ward

Christina Ward

Beginner2022-06-23Added 19 answers

Step 1
At the following MSE link the generating function of
f ( n ) = k = 0 n ( n k ) ( 1 ) n k C k
was found to be F ( w ) = 1 + w 1 2 w 3 w 2 2 w ( 1 + w ) ..
The generating function of the RHS of the proposed recurrence is by the Cauchy product the square F ( w ) 2 of this OGF:
( 1 + w ) 2 2 ( 1 + w ) 1 2 w 3 w 2 + 1 2 w 3 w 2 4 w 2 ( 1 + w ) 2 = 2 2 w 2 2 ( 1 + w ) 1 2 w 3 w 2 4 w 2 ( 1 + w ) 2 = 1 w 1 2 w 3 w 2 2 w 2 ( 1 + w ) = 1 + w 1 2 w 3 w 2 2 w 2 ( 1 + w ) 1 w ( 1 + w ) .
Step 2
Extracting the coefficient with n 0 we get
q = 0 n f ( q ) f ( n q ) = [ w n ] 1 + w 1 2 w 3 w 2 2 w 2 ( 1 + w ) [ w n ] 1 w ( 1 + w ) = [ w n + 1 ] 1 + w 1 2 w 3 w 2 2 w ( 1 + w ) [ w n + 1 ] 1 1 + w = f ( n + 1 ) + ( 1 ) n .
Note that 1 2 w 3 w 2 = 1 w +
as can be seen by evaluating at zero and evaluating the derivative
1 2 2 6 w 1 2 w 3 w 2
at zero which means the OGF is analytic at zero and does not have a singularity there. This also follows from it being the square of a function F(w) that is analytic in a neighborhood of zero.

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?