Bijdrage tot de theorie der faculteitenreeksen. (Q1494046)

Für die Fakultätenreihe \[ \varOmega(x)=\sum_{s=p}^{\infty}\;\frac{s!a_{s}}{x(x+1)\cdots(x+s)} \] gilt die Formel: \[ \sum_{m=0}^{n}(-1)^{m}\left({n}\atop{m}\right) \varOmega(y+m)=\sum_{s=n+p}^{\infty}\;\frac{s!a_{s-n}}{y(y+1)\cdots(y+s)}\,; \] ferner ist \[ \begin{multlined} (-1)^{n}\;\frac{\varGamma(x)\varGamma(y)}{\varGamma(y-n)}\;\sum_{m=0}^{n}\,(-1)^{m}\;\frac{\varGamma(y-m)}{\varGamma(y-x-m+1)(y-x-m)}\\=\sum_{s=0}^{\infty}\frac{(s+1)(s+2)\cdots(s+n)\varGamma(x+s+1)\varPsi_{s-1}(x+s-1)}{y(y+1)(y+s)}\end{multlined} \] \[ \left\{R(y-n)>R(x)>-1, \quad n=0,1,2,\cdots\right\}, \] wo die \(\varPsi_{s}\) durch die Gleichungen \((|\alpha|<1)\) \[ \left(\frac{\log(1-\alpha)}{-\alpha}\right)^{x}= 1+x\sum_{s=0}^{\infty}\varPsi_{s}(x+s) \alpha^{s+1}=x\sum_{s=0}^{\infty} \,\varPsi_{s-1}(x+s-1)\alpha^{s}, \] \[ \varPsi_{-1}(a-1)=\tfrac{1}{x} \] definiert sind. Für die hypergeometrische Reihe ist \((| z|<1)\) \[ z^{p}\;\frac{d^{p}}{dz^{p}}\;F(\alpha,\beta,y+1,z)=(-1)^{p}y\,\sum_{m=0}^{p}\,(-1)^{m}\left({p}\atop{m}\right)\;\frac{\varGamma(y+p-m)}{\varGamma(y-m+1)}\;F(\alpha,\beta,y-m+1,z), \] \[ \sum_{m=0}^{p}(-1)^{m}\left({p}\atop{m}\right)\;\frac{\varGamma(y+p-m)}{\varGamma(y-m+1)}\;F(\alpha,\beta,y-m+1,z) \] \[ =(-1)^{p}\;\frac{\alpha(\alpha+1) \dots(\alpha+p-1)\beta\cdot(\beta+1)\dots(\beta+p-1)} {y(y+1)\dots(y+p)}\;z^{p}F(\alpha+p,\beta+p,y+p+1,z). \] Für die \textit{Bessel}schen Funktionen gilt: \[ \frac{d^{n}}{dx^{n}}\;x^{\frac{n-y}{2}}Jy+n(2\sqrt{x})=\sum_{m=0}^{n}(-1)^{m}\left({n}\atop{m}\right)\;\frac{y(y+1)\dots(y+m-1)}{x^{\frac{m+y}{2}}}\;J_{y+m}(2\sqrt{x}). \]