Alternatively, one can get explicit expression for a fixed $r$ via generating functions by noticing that the given sum equals $$[y^{n+a}z^r]\ (y+1+z)^n (1+y(1+z))^n (1+z)^{-n}$$ and rewriting it as $$[y^{n+a}z^r]\ \big((1+y)^2 - \frac{z^2}{1+z}y\big)^n = [y^{n+a}z^r]\ \sum_{i=0}^r \binom{n}{i} (-1)^i (1+y)^{2(n-i)} y^i\left(\frac{z^2}{1+z}\right)^i.$$ Then for $r>0$ we evaluate it as $$[y^{n+a}]\ \sum_{i=0}^{r} \binom{n}i (-1)^i\binom{-i}{r-2i} (1+y)^{2(n-i)}y^i = \sum_{i=1}^{\lfloor r/2\rfloor} (-1)^{r+i}\binom{n}i \binom{r-i-1}{r-2i} \binom{2(n-i)}{n+a-i}.$$
Max Alekseyev
- 34.5k
- 5
- 74
- 153