下降阶乘商无穷和的证明方法及收敛充要条件咨询

安全阿岳

2026-5-19

证明下降阶乘商的无穷和等式

首先，我们先把下降阶乘转换为Gamma函数的形式——这是连接离散阶乘和连续Gamma函数的关键一步：
对于任意复数$x$和非负整数$k$，下降阶乘的定义是：
$$x^\underline{k} = x(x-1)\cdots(x-k+1) = \frac{\Gamma(x+1)}{\Gamma(x-k+1)}$$
对于$(-z_2)^\underline{k}$，我们可以展开后提取符号：
$$(-z_2)^\underline{k} = (-z_2)(-z_2-1)\cdots(-z_2-k+1) = (-1)^k z_2(z_2+1)\cdots(z_2+k-1) = (-1)^k \frac{\Gamma(z_2+k)}{\Gamma(z_2)}$$

接下来把这两个代入级数的通项：
$$\frac{z_1^{\underline{k}}{(-z_2)}\underline{k}} = \frac{\frac{\Gamma(z_1+1)}{\Gamma(z_1-k+1)}}{(-1)^k \frac{\Gamma(z_2+k)}{\Gamma(z_2)}} = \frac{\Gamma(z_1+1)\Gamma(z_2)}{(-1)^k \Gamma(z_1-k+1)\Gamma(z_2+k)}$$

再利用上升阶乘与下降阶乘的关系：$x^\underline{k} = (-1)^k (-x)_k$（其中$(a)_k$是上升阶乘，即$(a)_k=a(a+1)\cdots(a+k-1)$），可以把通项改写为：
$$\frac{z_1^{\underline{k}}{(-z_2)}\underline{k}} = \frac{(-1)^k (-z_1)_k}{(-1)^k (z_2)_k} = \frac{(-z_1)_k}{(z_2)_k}$$

这时候你会发现，原级数正好是高斯超几何函数的特殊形式：
$$\sum_{k=0}^\infty \frac{(-z_1)_k}{(z_2)_k} = {}_2F_1(-z_1, 1; z_2; 1)$$
（因为$(1)k = k!$，所以超几何函数的标准形式$\sum{k=0}^\infty \frac{(a)_k(b)_k}{(c)_k k!}x^k$在这里$x=1$，$a=-z_1$，$b=1$，$c=z_2$）

然后直接套用高斯超几何函数在$x=1$时的求和公式（当满足收敛条件时）：
$${}_2F_1(a,b;c;1) = \frac{\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)}$$

代入$a=-z_1$、$b=1$、$c=z_2$，计算得：
$$\frac{\Gamma(z_2)\Gamma(z_2 - (-z_1) -1)}{\Gamma(z_2 - (-z_1))\Gamma(z_2 -1)} = \frac{\Gamma(z_2)\Gamma(z_1+z_2-1)}{\Gamma(z_1+z_2)\Gamma(z_2-1)}$$
这就正好是题目给出的结果啦。

级数收敛的充要条件（$z_1,z_2$为非整数）

我们可以从通项的渐近行为入手分析：
当$k\to\infty$时，利用Gamma函数的Stirling渐近公式，通项$\frac{z_1^{\underline{k}}{(-z_2)}\underline{k}}$的渐近等价于$C k^{-(z_1+z_2)}$（其中$C$是与$k$无关的常数）。

对于级数$\sum_{k=0}^\infty k^s$，其收敛的充要条件是$\text{Re}(s) < -1$。对应到这里，就是：
$$\text{Re}(-(z_1+z_2)) < -1 \implies \text{Re}(z_1+z_2) > 1$$

另外，结合超几何函数的收敛准则也能得到同样结论：高斯超几何函数${}_2F_1(a,b;c;1)$收敛当且仅当$\text{Re}(c-a-b) > 0$，代入$a,b,c$后就是$\text{Re}(z_2 + z_1 -1) >0$，也就是$\text{Re}(z_1+z_2) >1$。

当$\text{Re}(z_1+z_2) \leq1$时，级数要么通项不趋于0（比如$\text{Re}(z_1+z_2) <1$时，$k^{-(z_1+z_2)}$的实部$\geq - \text{Re}(z_1+z_2) > -1$，通项不趋于0），要么通项趋于0但级数发散（比如$\text{Re}(z_1+z_2)=1$时，通项渐近于$C/k$，调和级数发散），所以此时级数发散。