Demostrar el límite de una serie de productos.

Question

Sea $\beta > 0$ , $\lambda > 1$ . Mostrar la identidad $$\sum_{n=0}^\infty\prod_{k=0}^{n} \frac{k+\beta}{\lambda + k + \beta} = \frac{\beta}{\lambda - 1}$$ He comprobado numéricamente la declaración.

El caso especial $\beta = 1$ , $\lambda = 2$ tiene este aspecto $$\sum_{n=1}^\infty\prod_{k=1}^{n} \frac{k}{2 + k} = 1$$

---

Esta serie surge en un entorno probabilístico. Sea $(Y_k)_{i\ge0}$ sean variables independientes distribuidas exponencialmente con parámetros $k+\beta$ respectivamente y fijar $S_n := \sum_{k=0}^n Y_i$ . Para $t \ge 0$ deje $X(t) := \#\{n \ge 0: S_n < t\}$ . Sea $Z_\lambda$ se distribuya exponencialmente con el parámetro $\lambda$ e independiente de $X(t)$ . Entonces \begin{align*} EX(Z_\lambda) &= E\#\{n \ge 0: S_n < Z_\lambda\} \\ & = \sum_{n=0}^\infty P(S_n < Z_\lambda) \\ & = \sum_{n=0}^\infty Ee^{-\lambda S_n} \\ & = \sum_{n=0}^\infty \prod_{k=0}^n Ee^{-\lambda Y_k} \\ & = \sum_{n=0}^\infty \prod_{k=0}^n \frac{k+\beta}{\lambda + k + \beta} \end{align*}

Answer 1

He aquí algunos datos útiles.

(1.) Por cada $n\geqslant0$ y $(x_k)_{0\leqslant k\leqslant n}$ , $ \displaystyle\sum_{k=0}^n\left((1-x_k)\cdot\prod_{i=0}^{k-1}x_i\right)=1-\prod_{k=0}^{n}x_k. $

(2.) Por cada $(x_n)_{n\geqslant0}$ en $(0,1)$ , $ \displaystyle\sum_{n=0}^{+\infty}\left((1-x_n)\cdot\prod_{k=0}^{n-1}x_k\right)=1-\prod_{n=0}^{+\infty}x_n. $

(3.) Por cada $b\gt a\gt0$ , $ \displaystyle\prod_{n=0}^{+\infty}\left(1-\frac{a}{b+n}\right)=0. $

Aplicar (2.) a $x_n=\dfrac{n+1+\beta}{\lambda+n+\beta}$ para cada $n\geqslant0$ . Entonces, $$ (1-x_n)\cdot\prod_{k=0}^{n-1}x_k=\frac{\lambda-1}\beta\cdot\prod_{k=0}^{n} \frac{k+\beta}{\lambda + k + \beta}, $$ y el producto infinito en el lado derecho de (2.) es $$ \prod_{n=0}^{+\infty}x_n=\prod_{n=0}^{+\infty}\frac{n+1+\beta}{\lambda+n+\beta}=\prod_{n=0}^{+\infty}\left(1-\frac{\lambda-1}{\lambda+n+\beta}\right)=0, $$ desde $\lambda-1\gt0$ utilizando (3.). Por lo tanto $\dfrac{\lambda-1}\beta$ veces el LHS de la identidad en el puesto es $1-0=1$ según se desee.

Edita: Para calcular $\displaystyle\sum_{n=1}^\infty\prod_{k=1}^{n} \frac{k}{2 + k} = 1$ se puede observar de forma más sencilla que $$ \prod_{k=1}^{n} \frac{k}{2 + k}=\frac{2}{(n+1)(n+2)}=\frac{2}{n+1}-\frac{2}{n+2}. $$ Edita: Para ver que (3.) se cumple, obsérvese que $1-x\leqslant\mathrm e^{-x}$ para cada número real $x$ Por lo tanto $$ \prod_{n=0}^{+\infty}\left(1-\frac{a}{b+n}\right)\leqslant\exp\left(-\sum_{n=0}^{+\infty}\frac{a}{b+n}\right)=0. $$

Answer 2

Su identidad puede expresarse como una función hipergeométrica gaussiana de argumento unitario:

$$\sum_{n=0}^\infty \prod_{k=0}^n \frac{\beta+k}{\beta+\lambda+k}=\frac{\beta}{\beta+\lambda}\sum_{n=0}^\infty \frac{(\beta+1)_n (1)_n}{(\beta+\lambda+1)_n}\frac{1^n}{n!}=\frac{\beta}{\beta+\lambda}{}_2 F_1\left({{\beta+1,1}\atop{\beta+\lambda+1}}\mid 1\right)$$

Ahora, hay Identidad hipergeométrica de Gauss (véase este también):

$${}_2 F_1\left({{a,b}\atop{c}}\mid 1\right)=\frac{\Gamma(c-a-b)\Gamma(c)}{\Gamma(c-a)\Gamma(c-b)},\qquad \Re(c-a-b)>0$$

que, aplicado a su caso especial, da

$$\require{cancel}\begin{align*} \frac{\beta}{\beta+\lambda}{}_2 F_1\left({{\beta+1,1}\atop{\beta+\lambda+1}}\mid 1\right)&=\frac{\beta}{\beta+\lambda}\frac{\Gamma(\beta+\lambda+1-1-(\beta+1))\Gamma(\beta+\lambda+1)}{\Gamma(\beta+\lambda+1-1)\Gamma(\beta+\lambda+1-(\beta+1))}\\ &=\frac{\beta}{\beta+\lambda}\frac{\Gamma(\lambda-1)\Gamma(\beta+\lambda+1)}{\Gamma(\beta+\lambda)\Gamma(\lambda)}\\ &=\frac{\beta}{\lambda-1}\frac{\cancel{\Gamma(\lambda-1)}\cancel{\Gamma(\beta+\lambda+1)}}{\cancel{\Gamma(\beta+\lambda+1)}\cancel{\Gamma(\lambda-1)}}=\frac{\beta}{\lambda-1} \end{align*}$$

Answer 3

En primer lugar, convengamos en que $$ \prod_{k=0}^n \frac{k+\beta}{k+\lambda+\beta} = \frac{(\beta)_{n+1}}{(\beta+\lambda)_{n+1}} = \frac{\Gamma(\beta+n+1) \Gamma(\beta+\lambda)}{\Gamma(\beta)\Gamma(\beta+\lambda+n+1)} = \frac{B(\lambda, \beta+n+1)}{B(\lambda, \beta)} $$ donde $(a)_n$ denota una Símbolo del martillo pilón y $B(a,b)$ denota la función beta . Utilización de la representación integral de Euler: $$ \prod_{k=0}^n \frac{k+\beta}{k+\lambda+\beta} = \frac{1}{B(\lambda,\beta)} \int_0^1 u^{\beta+n} (1-u)^{\lambda-1} \mathrm{d} u $$ Intercambiando la suma y la integración: $$ \sum_{n=0}^\infty \prod_{k=0}^n \frac{k+\beta}{k+\lambda+\beta} = \frac{1}{B(\beta,\lambda)} \int_0^1 (1-u)^{\lambda-2} u^{\beta} \mathrm{d} u = \frac{B(\beta+1,\lambda-1)}{B(\beta,\lambda)} = \frac{\beta}{\lambda-1} $$

Answer 4

Queremos evaluar : $$f(\beta,\lambda)=\frac {\beta}{\lambda+\beta}+\frac {\beta(\beta+1)}{(\lambda+\beta)(\lambda+\beta+1)}+\frac {\beta(\beta+1)(\beta+2)}{(\lambda+\beta)(\lambda+\beta+1)(\lambda+\beta+2)}+\cdots$$

Configuración $a:=\lambda+\beta$ esto se convierte en :

$$F(\beta,a)=\frac {\beta}{a}+\frac {\beta(\beta+1)}{a(a+1)}+\frac {\beta(\beta+1)(\beta+2)}{a(a+1)(a+2)}+\cdots$$

Esto puede representarse como $\;_2F_1$ serie hipergeométrica desde : $$_2F_1(\beta,1;a;1)=1+\frac {\beta\cdot 1}{a\cdot 1!}+\frac {\beta(\beta+1)\cdot 1\cdot 2}{a(a+1)\cdot 2!}+\frac {\beta(\beta+1)(\beta+2)\cdot 1\cdot 2\cdot 3}{a(a+1)(a+2)\cdot 3!}+\cdots$$

pero esto es simplemente (aplicar Teorema de Gauss ) : $$_2F_1(a,b;c;1)=\frac {\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)}$$ de modo que : $$_2F_1(\beta,1;a;1)=\frac {\Gamma(a)\Gamma(a-\beta-1)}{\Gamma(a-\beta)\Gamma(a-1)}=\frac {a-1}{a-\beta-1}=\frac {\lambda+\beta-1}{\lambda-1}$$ menos $1$ da $\frac {\beta}{\lambda-1}$ como deseaba.