La mitad de la identidad de Vandermonde

Question

Conocemos la identidad de Vandermonde, que establece

$ \sum_ {k=0}^{r}{m \choose k}{n \choose r-k}={m+n \choose r}$ .

¿Alguien sabe qué pasa si damos pasos más grandes con K? Decir que nos saltamos todos los impar ks, es algo como

$ \sum_ {k=0}^{r/2}{m \choose 2k}{n \choose r-2k}= \frac {1}{2} {m+n \choose r}$

o al menos

$ \sum_ {k=0}^{r/2}{m \choose 2k}{n \choose r-2k}= \Theta \left ( \frac {1}{2} {m+n \choose r} \right )$

¿Verdad?

¿Quizás alguien aquí tiene incluso alguna idea general sobre otros anchos de paso?

¡Gracias!

Answer 1

Derivamos una identidad binomial que muestra la desviación de la suma de OPs de $\frac{1}{2}\binom{m+n}{r}$ . Es conveniente utilizar el coeficiente de operador $[z^n]$ para denotar el coeficiente de $z^n$ de una serie. De esta manera podemos escribir, por ejemplo

\begin{align*} \binom{n}{k}=[z^k](1+z)^n\tag{1} \end{align*}

Suponemos que wlog $n\geq m$ y obtener \begin{align*} \color{blue}{\sum_{k=0}^{r/2}}&\color{blue}{\binom{m}{2k}\binom{n}{r-2k}}\\ &=\sum_{k\geq 0}\binom{m}{2k}[z^{r-2k}](1+z)^n\tag{2}\\ &=[z^r](1+z)^n\sum_{k\geq 0}\binom{m}{2k}z^{2k}\tag{3}\\ &=[z^r](1+z)^n\frac{1}{2}\left((1+z)^m+(1-z)^m\right)\tag{4}\\ &=\frac{1}{2}[z^r](1+z)^{m+n}+\frac{1}{2}[z^r](1+z)^n(1-z)^m\\ &=\frac{1}{2}\binom{m+n}{r}+\frac{1}{2}[z^r](1-z^2)^m(1+z)^{n-m}\tag{5}\\ &=\frac{1}{2}\binom{m+n}{r}+\frac{1}{2}[z^r]\sum_{k=0}^{r/2}\binom{m}{k}(-1)^kz^{2k}(1+z)^{n-m}\\ &=\frac{1}{2}\binom{m+n}{r}+\frac{1}{2}\sum_{k=0}^{r/2}\binom{m}{k}(-1)^k[z^{r-2k}](1+z)^{n-m}\tag{6}\\ &\,\,\color{blue}{=\frac{1}{2}\binom{m+n}{r}+\frac{1}{2}\sum_{k=0}^{r/2}\binom{m}{k}\binom{n-m}{r-2k}(-1)^k}\tag{7} \end{align*}

Comentario:

• En (2) aplicamos el coeficiente de como se indica en (1) y fijamos el límite superior de la suma en $\infty$ sin cambiar nada, ya que sólo estamos añadiendo ceros.

• En (3) utilizamos la linealidad del coeficiente de operador.

• En (4) escribimos la suma como polinomio en forma cerrada.

• En (5) seleccionamos el coeficiente de $z^r$ del polinomio de la izquierda y reescribimos el otro polinomio teniendo en cuenta que $n\geq m$ .

• En (6) utilizamos la regla $[z^{p-q}]A(z)=[z^p]z^qA(z)$ .

• En (7) seleccionamos el coeficiente de $z^{r-2k}$ .

Answer 2

En general, al tener la ogf (transformación z) $$ F(z) = \sum\limits_{0\, \le \;n} {a_{\,n} \,z^{\,n} } $$ entonces $$ {1 \over m}\sum\limits_{0 \le \,k\, \le \,m - 1} {\left( {z^{\,{1 \over m}} \;e^{\,i\,{{2k\pi } \over m}} } \right)^{\,j} F(z^{\,{1 \over m}} \;e^{\,i\,{{2k\pi } \over m}} )} = \sum\limits_{0\, \le \;n} {\,a_{\,m\;n - j} \,z^{\,n} } $$

Pero desafortunadamente, la expansión binomial truncada $$ \sum\limits_{0\, \le \;k} {\left( \matrix{ n \cr r - k \cr} \right)\,z^{\,k} } $$ no tiene en general ( $r<n$ ) una expresión compacta y cerrada.

Podemos pasar por la versión hipergeométrica $$ \sum\limits_{\left( {0\, \le } \right)\;k\,\left( { \le \,\,r} \right)} { \binom{m}{k} \binom{n}{r-k}\,z^{\,k} } = \binom{n}{r} \;{}_2F_{\,1} \left( {\matrix{ { - m,\; - r} \cr {n - r + 1} \cr } \;\left| {\,z} \right.} \right) $$ o a través de la doble ogf $$ \eqalign{ & G(x,y,n,m) = \sum\limits_{0\, \le \,k} {\left( {\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,m} \right)} { \binom{m}{j}\,\binom{n}{k-j} y^{\,j} } } \right)x^{\,k} } = \cr & = \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,m} \right)} { \binom{m}{j}\left( {x\,y} \right)^{\,j} \sum\limits_{\left( {j\, \le } \right)\,k\,\left( { \le \,n} \right)\,} { \,\binom{n}{k-j}x^{\,k - j} } } = \cr & = \left( {1 + xy} \right)^{\,m} \left( {1 + x} \right)^{\,n} \cr} $$

Entonces, por ejemplo, tenemos $$ \eqalign{ & \sum\limits_{0\, \le \,k} {\left( {\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,\left\lfloor {\min (m,k)/2} \right\rfloor } \right)\;} { \left( \matrix{ m \cr 2j \cr} \right)\,\left( \matrix{ n \cr k - 2j \cr} \right)} } \right)x^{\,k} } = \cr & = {1 \over 2}\left( {G(x,1,n,m) + G(x, - 1,n,m)} \right) = \cr & = {1 \over 2}\left( {1 + x} \right)^{\,n} \left( {\left( {1 + x} \right)^{\,m} + \left( {1 - x} \right)^{\,m} } \right) = \cr & = {1 \over 2}\left( {1 + x} \right)^{\,n + m} + {1 \over 2}\left( {1 + x} \right)^{\,n} \left( {1 - x} \right)^{\,m} = \cr & = {1 \over 2}\left( {1 + x} \right)^{\,n + m} + {1 \over 2}\left( {1 + x} \right)^{\,n - m} \left( {1 - x^{\,2} } \right)^{\,m} = \cr & = {1 \over 2}\left( {1 + x} \right)^{\,n + m} + {1 \over 2}\left( {1 - x^{\,2} } \right)^{\,{{n + m} \over 2}} \left( {{{1 + x} \over {1 - x}}} \right)^{\,{{n - m} \over 2}} \cr} $$ que indica claramente cuál es la diferencia entre $$ {1 \over 2}\binom{n+m}{r} \quad vs\quad \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,\left\lfloor {\min (m,k)/2} \right\rfloor } \right)\;} { \binom{m}{2j} \, \binom{n}{r-2j} } $$

Por supuesto, el complemento será $$ \eqalign{ & \sum\limits_{0\, \le \,k} {\left( {\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,\left\lfloor {\min (m,k)/2} \right\rfloor } \right)\;} { \binom{m}{2j+1} \,\binom{n}{k - \left( {2j + 1} \right)}} } \right)x^{\,k} } = \cr & = {1 \over 2}\left( {G(x,1,n,m) - G(x, - 1,n,m)} \right) = \cr & = {1 \over 2}\left( {1 + x} \right)^{\,n} \left( {\left( {1 + x} \right)^{\,m} - \left( {1 - x} \right)^{\,m} } \right) \cr} $$