1

How to find the generating function for $a_n = \binom{2n}{n}$?

Using Mathematica, I get $A(z) = \frac{1}{\sqrt{1-4z}}$ and I am able to verify it.

However, how to derive it, e.g., from basic generating functions?

hengxin
  • 3,687
  • 26
  • 49

4 Answers4

4

Recall that the generating function for the Catalan numbers $C_n = \frac{1}{n+1}{2n \choose n}$ is given by $$F(z) = \frac{1-\sqrt{1-4z}}{2z}$$

Now we have

$$zF(z) = \sum_{n=0}^\infty C_nz^{n+1}$$

Taking the derivative yields

$$F(z) + zF'(z) = \sum_{n=0}^\infty (n+1)C_nz^n = \sum_{n=0}^\infty {2n \choose n} z^n$$

Simplifying gives

$$F(z) + zF'(z) = \frac{1}{\sqrt{1-4z}}$$

mechanodroid
  • 46,490
3

The answer from @Olivier lets you verify directly if you know the answer beforehand. In case you want to derive the functions, you can do as follows:

HINT

First we have

$${2n\choose n} =2\bigg(2-\frac{1}{n}\bigg) {2(n-1)\choose n-1}$$

With this, establish a differential equation for $A(z)$ and solve it.

1

$$\frac{1}{4^n}\binom{2n}{n}=\frac{2}{\pi}\int_{0}^{\pi/2}\cos^{2n}(\theta)\,d\theta \tag{1}$$ due to $2\cos\theta=e^{i\theta}+e^{-i\theta}$ and $\int_{0}^{2\pi}e^{in\theta}e^{-mi\theta}\,d\theta = 2\pi\delta(m,n)$.
Multiplying both sides of $(1)$ by $z^{2n}$ and summing over $n\geq 0$ we get $$ \sum_{n\geq 0}\binom{2n}{n}\frac{z^{2n}}{4^n} = \frac{2}{\pi}\int_{0}^{\pi/2}\frac{d\theta}{1-z^2\cos^2\theta}=\frac{2}{\pi}\int_{0}^{+\infty}\frac{du}{(1-z^2)+u^2}=\frac{1}{\sqrt{1-z^2}}\tag{2} $$ for any $z\in(-1,1)$. By letting $z=2\sqrt{x}$ we get $$ \sum_{n\geq 0}\binom{2n}{n}x^n = \frac{1}{\sqrt{1-4x}}\tag{3} $$ for any $x\in\left(-\frac{1}{4},\frac{1}{4}\right)$.

Jack D'Aurizio
  • 353,855
  • Nice solution, out of curiosity how did you come up with this? – Tal-Botvinnik Apr 16 '18 at 11:50
  • @Tal-Botvinnik: trigonometric identities are a nice way for proving the reflection formulas for many hypergeometric functions of the $\phantom{}_2 F_1$ kind, like $\arcsin(x)$. On the other hand $\binom{2n}{n}$ is the coefficient of $x^{n}$ in $(1+x)^{2n}$ so by the Cauchy integral formula we end up in integrating powers of the cosine function, one way or another. – Jack D'Aurizio Apr 16 '18 at 11:53
0

Hint. If you can observe that, for $n=0,1,2,\cdots,$ $$ \binom{2n}{n}=(-1)^n \binom{-1/2}{n}4^{n} $$then you get

$$ \sum_{n\ge0}\binom{2n}{n}x^n= \sum_{n\ge0} (-1)^n\binom{-1/2}{n}4^nx^n=(1-4x)^{-1/2} ,\qquad |x|<\frac 14, $$

by using the standard Newton's generalized binomial theorem.

Olivier Oloa
  • 120,989