Is there a closed form expression for the first half of the Binomial series?

1.6k Views Asked by At

I'm looking for a closed form expression for the sum

$P_n(x) =\sum_{0\leq k\leq n/2}\binom{n}{k}x^k$,

where $n$ is a given positive integer and $k$ runs over nonnegative integers between $0$ and $n/2$. The first such polynomials are

$1,1+2x,1+3x,1+4x+6x^2,1+5x+10x^2,...$

Alternatively one might want to subtract the half of the last term $\binom{n}{n/2}x^{n/2}$ when $n$ is even to obtain the polynomials

$Q_1(x) = 1, Q_2(x) = 1+x, Q_3(x) = 1+3x, Q_4(x) = 1 + 4x + 3x^2,\ldots$

These have the nice property that $Q_n(x) + x^n Q_n(1/x) = (1+x)^n$, but I am unable to obtain a closed form for either sequence of functions. One can obtain a recursive formula and also a closed form expression for the generating function

$G(x,y) = \sum_{n=0}^{\infty} Q_n(x)y^n$,

but this form involves a term of the type

$\frac{\sqrt{1- 4y}}{1 - ay},$

which I am unable to expand as a power series in $y$. If you find an expression for the sequences $P_n$ or $Q_n$ or are able to express the above function as a power series in $y$, I would be very grateful. Thanks!

1

There are 1 best solutions below

1
On

The power series for

$$f(y) = \sqrt{1-4y} \cdot \frac{1}{1 - ay} $$

is straightforward to compute: take the series for each factor separately and multiply.

$$\begin{align} f(y) = \sum_{i=0}^{\infty} \sum_{j=0}^{\infty} \binom{1/2}{i} (-4y)^i (ay)^j = \sum_{n=0}^{\infty} \left( \sum_{i=0}^n \binom{1/2}{i} (-4)^i a^{n-i} \right) y^n \end{align}$$

WolframAlpha can find a closed form expression for the coefficient on $y^n$, but it involves hypergeometric functions.