Serie de potencias de una función relacionada con la función Gamma

Question

Tengo problemas para resolver el siguiente ejercicio:

Dejemos que $\alpha \in \mathbb C$ fijo y $f: D \to \mathbb C$ definido por $$f(z) := \frac{1}{(1-z)^\alpha}.$$ Dejemos que $$f(z) = \sum_{n=0}^\infty a_n(\alpha) z^n $$ sea la representación en serie de potencias de $f$ . Demuestre que para los coeficientes $a_n(\alpha)$ se mantiene lo siguiente: $$\lim_{n\to \infty}\frac{a_n(\alpha)}{n^{\alpha - 1}} = \frac{1}{\Gamma(\alpha)}$$

Donde $D$ denota la bola unitaria y $\Gamma$ la función Gamma.
Intento:
Supongo que tengo que encontrar la representación explícita de los coeficientes $a_n(\alpha)$ y luego mostrar la identidad utilizando la representación Gauß de la función Gamma: $$\Gamma(s) = \lim_{n\to \infty} \frac{n! n^s}{s(s+1) \cdot \cdot \cdot (s+n)}.$$ Sin embargo, no he podido encontrar ninguno útil. Ampliando la función $f$ en una serie de Taylor no funcionó (si no lo hice mal). ¿Hay alguna manera más fácil de encontrar los coeficientes?

Answer 1

Utilizando el _expansión de la serie binomial_ y aplicando la identidad binomial $$\binom{-\alpha}{n}=\binom{\alpha+n-1}{n}(-1)^n$$

derivamos para $|z|<1$ y $\alpha\in\mathbb{C}$ \begin{align*} f(z)=\frac{1}{(1-z)^\alpha}&=\sum_{n=0}^\infty\binom{-\alpha}{n}(-z)^n\\ &=\sum_{n=0}^\infty\binom{\alpha+n-1}{n}z^n\\ \end{align*}

De ello se desprende \begin{align*} a_n(\alpha)&=\binom{\alpha+n-1}{n}=\frac{1}{n!}(\alpha+n-1)(\alpha+n-2)\cdots\alpha\\ &=\frac{1}{n!}(\alpha+n-1)^{\underline{n}} \end{align*} con $z^{\underline{n}}=z(z-1)\cdots(z-n+1)$ el factorial descendente.

Es válido lo siguiente \begin{align*} \lim_{n\to\infty}\frac{a_n(\alpha)}{n^{\alpha-1}}=\lim_{n\to\infty}\frac{(\alpha+n-1)^{\underline{n}}}{n!n^{\alpha-1}}=\frac{1}{\Gamma(\alpha)}\tag{1} \end{align*}

Para demostrar (1) utilizamos una representación de la función Gamma $\Gamma(\alpha)$ según _C.F. Gauss . Obtenemos \begin{align*} \color{blue}{\Gamma(\alpha)}&=\lim_{n\to\infty}\frac{n^\alpha n!}{\alpha(\alpha+1)\cdots(\alpha+n)}\\ &=\lim_{n\to\infty}\frac{n^\alpha n!}{(\alpha+n)^{\underline{n+1}}}\\ &=\lim_{n\to\infty}\left(\frac{n}{\alpha+n}\cdot\frac{n^{\alpha-1} n!}{(\alpha+n-1)^{\underline{n}}}\right)\\ &=\lim_{n\to\infty}\frac{1}{\frac{\alpha}{n}+1}\cdot\lim_{n\to\infty}\frac{n^{\alpha-1} n!}{(\alpha+n-1)^{\underline{n}}}\\ &\color{blue}{=\lim\{n\to\infty}\frac{n^{\alpha-1} n!}{(\alpha+n-1)^{\underline{n}}}}\\ \end{align*} y la afirmación es la siguiente.

Answer 2

$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} \lim_{n \to \infty}{\pars{-1}^{n}{-\alpha \choose n} \over n^{\alpha - 1}} & = \lim_{n \to \infty}\bracks{{\pars{-1}^{n} \over n^{\alpha - 1}}\, {\pars{-\alpha}! \over n!\pars{-\alpha - n}!}} = \lim_{n \to \infty}\bracks{{\pars{-1}^{n} \over n^{\alpha - 1}} \,{\Gamma\pars{1 - \alpha} \over \Gamma\pars{n + 1}\,\Gamma\pars{1 -\alpha - n}}} \\[5mm] & = \lim_{n \to \infty}\braces{{\pars{-1}^{n} \over n^{\alpha - 1}\,\Gamma\pars{n + 1}}\, {\pi \over \Gamma\pars{\alpha}\sin\pars{\pi\alpha}}\,{\Gamma\pars{n + \alpha}\sin\pars{\pi\bracks{n + \alpha}} \over \pi}} \\[5mm] & = {1 \over \Gamma\pars{\alpha}}\lim_{n \to \infty}\bracks{{1 \over n^{\alpha - 1}} {\Gamma\pars{n + \alpha} \over \Gamma\pars{n + 1}}} \\[5mm] & = {1 \over \Gamma\pars{\alpha}}\lim_{n \to \infty}\bracks{% {1 \over n^{\alpha -1}}\, {\root{2\pi}\pars{n + \alpha}^{n + \alpha + 1/2}\expo{-n - \alpha} \over \root{2\pi}\pars{n + 1}^{n + 1 + 1/2}\expo{-n - 1}}} \\[5mm] & = {1 \over \Gamma\pars{\alpha}}\lim_{n \to \infty}\bracks{% {1 \over n^{\alpha -1}}\,{n^{n + \alpha + 1/2}\,\pars{1 + \alpha/n}^{n + \alpha + 1/2} \over n^{n + 3/2}\,\pars{1 + 1/n}^{n + 3/2}}\,\expo{1 - \alpha}} \\[5mm] & = {1 \over \Gamma\pars{\alpha}}\lim_{n \to \infty}\bracks{% {\pars{1 + \alpha/n}^{n} \over \pars{1 + 1/n}^{n}}\,\expo{1 - \alpha}} = \bbx{1 \over \Gamma\pars{\alpha}} \end{align}