58bbb06b3a57ea1f.tex
1: \begin{proof}
2: Expanding out with the binomial theorem and extending the sum to infinity as before, we obtain
3: \begin{align*}
4: \sum_{k=0}^\infty {{m-k} \choose k} (-1)^k (x-2)^{m-2k} &= \sum_{k=0}^\infty {{m-k} \choose k} (-1)^k \sum_{j=0}^\infty {{m-2k} \choose j} x^j (-2)^{m-2k-j} \\
5: &= \sum_{j=0}^\infty x^j (-2)^{m-j} \sum_{k=0}^\infty \frac{(-1)^k {{m-k} \choose k} {{m-2k} \choose j}}{4^k}.
6: \end{align*}
7: We ignore the factor of $(-2)^{m-j}$ for the moment. Set $b_{m,j} := \sum_{k=0}^\infty \frac{(-1)^k {{m-k} \choose k} {{m-2k} \choose j}}{4^k}$, and define $B(u,v) := \sum_{m,j \geq 0} b_{m,j} u^m v^j$. We obtain
8: \begin{align*}
9: B(u,v) &= \sum_{j=0}^\infty \sum_{m=0}^\infty \sum_{k=0}^\infty \frac{(-1)^k {{m-k} \choose k} {{m-2k} \choose j}}{4^k} u^m v^j = \sum_{k=0}^\infty \frac{(-1)^k}{4^k} \sum_{m=0}^\infty {{m-k} \choose k} u^m \sum_{j=0}^\infty {{m-2k} \choose j} v^j \\
10: &= \sum_{k=0}^\infty \frac{(-1)^k}{4^k} \sum_{m=0}^\infty {{m-k} \choose k} u^m (1+v)^{m-2k}.
11: \end{align*}
12: Changing variables to $r=m-2k$, this yields
13: \begin{align*}
14: B(u,v) &= \sum_{k=0}^\infty \frac{(-1)^k u^{2k}}{4^k} \sum_{r=0}^\infty{{r+k} \choose k} (u(1+v))^r.
15: \end{align*}
16: By the elementary identity
17: \begin{align*}
18: \frac{1}{(1-y)^N} = \sum_{i=0}^\infty {{i + N-1} \choose i} y^i
19: \end{align*}
20: we find that
21: \begin{align*}
22: B(u,v) &= \sum_{k=0}^\infty \frac{(-1)^k u^{2k}}{4^k} \frac{1}{(1-u(1+v))^{k+1}}.
23: \end{align*}
24: Summing the geometric series and simplifying, we obtain
25: \begin{align*}
26: B(u,v) &= \frac{4}{4-4u-4uv+u^2} = \frac{1}{1 - u - uv + \left(\frac{u}{2} \right)^2}.
27: \end{align*}
28: We remark that all of these formal manipulations are analytically rigorous for $|u|,|v|$ sufficiently small. 
29: 
30: From the relation $a_{m,j} = (-2)^{m-j} b_{m,j}$, we see that replacing $u$ by $-2u$ and $v$ by $-\frac{v}{2}$ gives
31: \begin{align*}
32: A(u,v) &= B(-2u,-v/2)= \frac{1}{1+2u-uv+u^2}.
33: \end{align*}
34: \end{proof}
35: