Comment évaluer cette somme combinatoire délicate?

Question

Selon Mathematica,

$$\sum _{i=s}^p (-1)^i \binom{p}{i} \binom{i}{i-s}\frac{1}{2 i+1} =(-1)^s \frac{p!\,\Gamma \left(s+\frac{1}{2}\right)}{2 s! \,\Gamma \left(p+\frac{3}{2}\right)}.$$

Comment pouvons-nous le prouver? J'aimerais surtout une méthode de solution qui peut être généralisée à d'autres sommes de ce type.

Les hypothèses sont que $s,p\in\mathbb N$ avec $0≤s≤p.$

Answer 1

Nous utiliserons $$\frac 1 {n + 1} = \int_0^1 x^{n}dx$$et la relation bien connue entre la fonction bêta et la fonction gamma:$$B(x,y)=\frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}$$

$$\begin{split} \sum _{i=s}^p(-1)^i\binom{p}{i}\binom{i}{i-s}\frac{1}{2i+1} &= {p \choose s}\sum_{i=s}^p {p-s \choose i-s}\frac {(-1)^i} {2i+1}\\ &=(-1)^s{p \choose s}\sum_{i=0}^{p-s} {p-s \choose i}\frac {(-1)^i} {2(i+s)+1}\\ &=(-1)^s{p \choose s}\sum_{i=0}^{p-s} {p-s \choose i}(-1)^i\int_0^1x^{2(i+s)}dx\\ &=(-1)^s{p \choose s}\int_0^1x^{2s}(1-x^2)^{p-s}dx\\ &=(-1)^s\frac 1 2 {p \choose s}\int_0^1 u^{s-\frac 1 2}(1-u)^{p-s}du\\ &=(-1)^s \frac 1 2 {p \choose s} B\left(s+\frac 1 2, p-s+1\right)\\ &= (-1)^s\frac 1 2 {p \choose s} \frac{\Gamma\left(s+\frac 1 2\right)\Gamma\left(p-s+1\right)}{\Gamma\left(p+\frac 3 2\right)}\\ &=(-1)^s \frac {p!}{2\cdot s!} \frac {\Gamma\left(s+\frac 1 2\right)}{\Gamma\left(p+\frac 3 2\right)} \end{split}$$

Answer 2

Rappeler que $\binom{a}{b}\binom{b}{c}=\binom{a}{c}\binom{a-c}{b-c},$ alors $$\sum _{i=s}^p(-1)^i\binom{p}{i}\binom{i}{i-s}\frac{1}{2i+1}=\binom{p}{s}\sum _{i=s}^p(-1)^i\binom{p-s}{i-s}\frac{1}{2i+1}$$ $$=(-1)^s\binom{p}{s}\sum _{i=0}^{p-s}(-1)^i\binom{p-s}{i}\frac{1}{2(i+s)+1}=\frac{(-1)^s}{2s+1}\binom{p}{s}\sum _{i=0}^{p-s}(-1)^i\binom{p-s}{i}\frac{1}{\frac{2i}{2s+1}+1}$$ Utilisation de la somme géométrique et hypothèse $p<2s+1/2$(Merci à l'OP qui l'a signalé) $$\frac{(-1)^s}{2s+1}\binom{p}{s}\sum _{k=0}^{\infty}(\frac{-2}{2s+1})^k\sum _{i=0}^{p-s}(-1)^i\binom{p-s}{i}i^k=\frac{(-1)^s}{2s+1}\binom{p}{s}\sum _{k=0}^{\infty}(\frac{-2}{2s+1})^k(p-s)!{k\brace p-s}$$ où la dernière étape est l'une des formes de nombres de Stirling du second type $$\frac{(-1)^s(p-s)!}{2s+1}\binom{p}{s}\sum _{k=0}^{\infty}(\frac{-2}{2s+1})^k{k\brace p-s}$$ Maintenant, rappelez-vous que $\displaystyle \sum _{n=0}^{\infty}{n\brace k}x^n=\frac{1}{(k+1)!x\binom{1/x}{k+1}}$ est la fonction génératrice des nombres de Stirling, donc

$$=\frac{(-1)^s(p-s)!}{2s+1}\binom{p}{s}\frac{1}{(p-s+1)!(-2/(2s+1))\binom{\frac{-1}{2}(2s+1)}{p-s+1}},$$ qui si je ne me trompe pas, devrait être cette expression utilisant $\binom{n}{k}=(-1)^k\binom{-n+k-1}{k}$ pour $n<0.$

Answer 3

Utilisez la formule clé $$ \sum_{k=0}^p (-1)^k \binom{p}{k} \binom{k}{s} x^k = \binom{p}{s}(-x)^s (1-x)^{p-s} $$ Multipliez les deux côtés par $\sqrt{x}$et intégrez de 0 à 1. Utilisez l'intégrale bêta pour obtenir une réponse dans un rapport de fonctions gamma. Gardez p comme un non-entier (la limite supérieure de la somme va alors à l'infini) afin de ne pas obtenir des facteurs contradictoires comme$1/\sin{\pi(p-s)}$dans votre réponse. Les ID de fonction gamma mèneront finalement à la réponse que vous recherchez.