Quiero ampliar $\frac{\Gamma(n)}{\Gamma(n-k)}$ como un polinomio, donde $\Gamma$ es la función gamma.
Para $k\in\mathbb{N}$ se puede "simplificar" como
$$\frac{\Gamma(n)}{\Gamma(n-k)}=(n-1)(n-2)(n-3)\dots(n-k)$$
Me preguntaba si era posible ampliar eso en $\sum_{i=0}^ka_in^{k-i}$ forma.
Además, está el caso más difícil de $k\in\mathbb R$ .
Me imaginaba que sería de la forma $\Pi_{i=0}^\infty(n-r_i)$ donde $r_n$ es el $n$ la raíz.
Si este fuera el caso, vemos que
$$\Gamma(n)\ne0\implies\frac1{\Gamma(n-k)}=0$$
Esto ocurre en los polos
$$\implies r_i-k=-i$$
$$r_i=i+k$$
Y poner en forma de producto
$$\frac{\Gamma(n)}{\Gamma(n-k)}=\Pi_{i=0}^\infty(n-r_i)=\Pi_{i=0}^\infty(n-k-i)$$
Lamentablemente, no creo que sea posible multiplicar el producto porque es divergente.
-
Q1 ¿Existe una forma polinómica/expansiva para $k\in\mathbb N$ ¿usando sumas si es necesario?
-
Q2 ¿Qué pasa con $k\in\mathbb R$ ?
EDITAR
Desde abajo, puedes ver que he trabajado el caso para $k\in\mathbb N$ , pero todavía necesito $k\in\mathbb R$ .
$$\frac{\Gamma(u)}{\Gamma(u-n)}=\sum_{k=0}^n(-1)^{n-k}s(n,k)(u-n)^k$$
Mi suposición para $n\in\mathbb R$ es que la fórmula se convierte en
$$\frac{\Gamma(u)}{\Gamma(u-n)}=\sum_{k=0}^\infty(-1)^{n-k}s(n,k)(u-n)^k$$
Por razones similares de por qué Euler extendió la expansión binomial de la manera que lo hizo. Observo que la fórmula que propongo es válida si $n\in\mathbb N$ pero no tiene mucho sentido para $n\in\mathbb R$ .
0 votos
Véase el símbolo Pochhammer (o quizá se escriba Pochammer, o Pochamer, o algo así).
1 votos
@GerryMyerson Bueno, eso fue simple :( Wikipedia no da forma polinómica explícita. Pero wolfram alpha sí. Thank you.
0 votos
La cuestión sigue abierta para $k\in\mathbb R$
1 votos
@GerryMyerson : es.wikipedia.org/wiki/Factores_de_caída_y_de_levantamiento
0 votos
@user1952009 Sí, pero no muestra la forma expandida como un polinomio.
0 votos
@SimpleArt No tengo acceso al artículo, pero parece que este paper estudia exactamente tu pregunta con el mismo objetivo de generalizar los números de Stirling (también conocidos como los coeficientes de la serie) al entorno fraccionario: link.springer.com/article/10.1007%2FBF03322642
0 votos
@SimpleArt Parece que el texto completo del artículo anterior puede estar disponible aquí: researchgate.net/publication/
0 votos
@SimpleArt En particular, parece que la ecuación (5.2) será de su principal interés. Ten en cuenta también que según (1.7) la convergencia de la serie infinita sólo se ha justificado para $|u-n| < 1$ que supongo que no es diferente del caso de expansión binomial.
0 votos
@ErickWong Lo siento, la carga es realmente muy lenta...
0 votos
@SimpleArt ¿Quizás tengas más suerte con el botón "Descargar texto completo"? Creo que se necesitaría menos ancho de banda.
1 votos
@ErickWong Así que $s(a,k)=\sum_{j=k}^\infty\binom ajs(j,k)s(a-j,0)$ . Gracias por el enlace. Parece que $s(a-j,0)=0$ ?
1 votos
@SimpleArt Lo siento, supongo que (5.1) funciona mejor como definición (ya que $a-j$ sigue siendo fraccionario). $s(a,k) = \Gamma(a+1) \sum_{j=k}^\infty \frac{s(j,k)}{j!} \frac{\sin \pi(a-j)}{\pi(a-j)}$ .
0 votos
@ErickWong Vale, eso tiene mucho más sentido. Veré a dónde me lleva.