8
$\begingroup$

Suppose $p$, $k$ and $s$ are integers with $s,k \le p$. Consider the following polynomial in $x$ and $y$, $ \sum_{\ell=0}^k \binom{s}{\ell} \binom{p-s}{k-\ell} x^\ell y^{p-\ell}$ Does this expression look familiar to anyone? Is there closed form?

2 Answers 2

3

It is the sum of $pth$ degree homogeneous terms of $y^{p-k}(1 +x)^s(1+y)^{p-s}$

  • 0
    In fact, I am interested in the sum $\sum_{k=1}^p (-1)^{k-1} ( \cdots )$ where the dots are filed with my original expression. Any idea of a closed form for this?2011-03-05
2

We can transform

$\sum_{\ell=0}^k \binom{s}{\ell} \binom{p-s}{k-\ell} x^\ell y^{p-\ell}$

into a hypergeometric form as follows: we factor out $y^p$ like so

$y^p\sum_{\ell=0}^k \binom{s}{\ell} \binom{p-s}{k-\ell} \left(\frac{x}{y}\right)^\ell$

and then we can easily transform the first binomial coefficient to a Pochhammer symbol:

$y^p\sum_{\ell=0}^k \frac{(-1)^\ell (-s)_\ell}{\ell!} \binom{p-s}{k-\ell} \left(\frac{x}{y}\right)^\ell$

The second one requires a bit more work; using this identity, we have

$y^p\binom{p-s}{k}\sum_{\ell=0}^k \frac{(-s)_\ell}{\ell!} (-1)^\ell \frac{(k-\ell+1)_\ell}{(p-s-k+1)_\ell}\left(\frac{x}{y}\right)^\ell$

and then use this identity to yield

$y^p\binom{p-s}{k}\sum_{\ell=0}^k \frac{(-s)_\ell (-k)_\ell}{(p-s-k+1)_\ell} \frac1{\ell!}\left(\frac{x}{y}\right)^\ell$

from which we find that we have a finite ${}_2 F_1$ hypergeometric sum; more specifically we have

$y^p\binom{p-s}{k} {}_2 F_1\left({{-k}\atop{}}{{}\atop{p-k-s+1}}{{-s}\atop{}}\mid \frac{x}{y}\right)$

With either the hypergeometric expression or the sum before it, we find that the sum has $\min(k,s)$ terms.

From the hypergeometric expression, further transformations might be possible. Alternatively, the expression itself can directly be used for numerical evaluation, since hypergeometric functions satisfy a three-term recurrence; start with the expressions corresponding to $k=0$ and $k=1$ and recurse from there to numerically evaluate the expression for a given $k$.

  • 0
    No problem. It has been a long time, indeed... :)2012-05-17