8 votos

Cómo probar $\int_{-\infty}^{\infty}\binom{n}{x}^2\binom{2n+x}{x} dx=\binom{2n}{n}^2$

Inspirado por esta pregunta (¿Cómo probar esto $\sum_{k=0}^n \binom{n}{k} \binom{(p-1)n}{k} \binom{pn+k}{k} = \binom{pn}{n}^2 $) y la identidad que allí se indican para el caso más fácil $p=2$: $$\sum_{k=0}^{n}\binom{n}{k}^2\binom{2n+k}{k}=\binom{2n}{n}^2$$

He comprobado la siguiente identidad numérica y parece ser cierto:

$$\int_{-\infty}^{\infty}\binom{n}{x}^2\binom{2n+x}{x} dx=\binom{2n}{n}^2$$.

Alguna idea de cómo esto puede ser demostrado?

Esta pregunta está relacionada con mi (respondió) pregunta http://mathoverflow.net/questions/255758/integral-of-power-of-binomials-equal-to-sum-of-power-of-binomials pero pensé que sería más apropiado para publicar aquí, en el Intercambio de la Pila, ya que no es real pregunta de investigación.

5voto

Martin Nicholson Puntos 657

1 pt de la prueba. Por elemental de álgebra $$ \binom{n}{x}^2\binom{2n+x}{x}=\frac{(n!)^2}{(2n)!}\frac{\prod_{k=1}^{2n}(x+k)}{\prod_{k=1}^{n}(x-k)^2}\frac{\sin^2 \pi x}{\pi^2 x^2}. $$ Ahora se puede aplicar el teorema de los residuos de la función $\frac{(n!)^2}{(2n)!}\frac{\prod_{k=1}^{2n}(z+k)}{\prod_{k=1}^{n}(z-k)^2}\frac{1-e^{2\pi i z}}{2\pi^2 z^2}$ a que sólo simple pol $z=m,~0\le m\le n$ y asymptotics $O(1/z^2),~z\to\infty$ en la mitad superior del plano. El contorno de la integración es el intervalo de $(-R,R)$ con pequeños semicírculos cerca de los polos, y cerrado por un semicírculo de radio $R$ en la mitad superior del plano.

\begin{align} \int_{-\infty}^{\infty}\binom{n}{x}^2\binom{2n+x}{x} dx&=\text{Re}\left\{\int_{-\infty}^{\infty}\frac{(n!)^2}{(2n)!}\frac{\prod_{k=1}^{2n}(z+k)}{\prod_{k=1}^{n}(z-k)^2}\frac{1-e^{2\pi i z}}{2\pi^2 z^2}dz\right\}\\&=\text{Re}\left\{\pi i \frac{(n!)^2}{(2n)!}\sum_{m=0}^n{\text{res}}_{z=m}\frac{\prod_{k=1}^{2n}(z+k)}{\prod_{k=1}^{n}(z-k)^2}\frac{1-e^{2\pi i z}}{2\pi^2 z^2}\right\}\\ &=\text{Re}\left\{-2\pi i\frac{i}{2\pi}\frac{(n!)^2}{(2n)!}\left(\frac{(2n)!}{(n!)^2}+\sum_{m=1}^n\frac{\prod_{k=1}^{2n}(m+k)}{(m!(n-m)!)^2}\right)\right\}\\&=\frac{(n!)^2}{(2n)!}\sum_{m=0}^n\frac{\prod_{k=1}^{2n}(m+k)}{(m!(n-m)!)^2}\\&=\sum_{m=0}^{n}\binom{n}{m}^2\binom{2n+m}{m}=\binom{2n}{n}^2 \end{align}

2ª Prueba. Este enfoque proporciona la siguiente generalización.

Si $m,n\in\mathbb{N},~0<\beta<1$ $$ f(x)=\binom{m}{\beta x}\binom{n}{\beta x}\binom{m+n+\beta x}{m+n} $$ a continuación, para arbitrario $s\in\mathbb{C}$ $$ \beta\sum_{k=-\infty}^\infty f(s+k)=\beta\int_{-\infty}^\infty f(x)dx=\binom{m+n}{n}^2. $$

Un esquema de la prueba es la siguiente. En primer lugar por la observación de que $$ f(x)=\frac{m!n!}{(m+n)!}\frac{\prod_{k=1}^{m+n}(\beta x+k)}{\prod_{k=1}^{m}(\beta x-k)\prod_{k=1}^{n}(\beta x-k)}\frac{\sin^2\pi\beta x}{\pi^2\beta^2 x^2}, $$one can see that $f(x)$ does not have any poles and $f(z)\sim e^{2\pi\beta |\text{Im}z|}/|z|^2$, $z\to\infty$. Ahora considere la transformada de Fourier $$ \int_{-\infty}^\infty f(x)e^{iax}dx. $$ El contorno de integración se muestra que, si $|a|>2\pi\beta$ esta integral es $0$. Esto significa que $f(x)$ es de banda limitada, es decir, su espectro de Fourier se limita a la banda $|\omega|<2\pi\beta$. Ahora sumación de Poissonda $$ \sum_{k=-\infty}^\infty f(s+k)=\int_{-\infty}^\infty f(x)dx,\quad 2\pi\beta<2\pi. $$ Esto significa que la suma de la izquierda no dependen $s$$\beta$. Así que uno puede poner $s=0$, $\beta=1$ y utilizar el resultado para calcular esta suma.$\Box$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X