求证调和数指数生成函数一阶导数为H_{n+1}的指数生成函数(证法存疑)
嘿,我来帮你理顺调和数指数生成函数导数的证明问题~先帮你修正几个小错误,再一步步完成正确推导:
调和数指数生成函数导数的正确推导
首先明确核心定义(你之前的调和数定义写错啦):
- 调和数:$H_n = \sum_{k=1}^n \frac{1}{k}$,约定$H_0 = 0$
- $H_n$的指数生成函数(EGF):$H(z) = \sum_{n=0}^\infty H_n \frac{z^n}{n!}$
接下来一步步推导导数:
- 逐项求导:幂级数在收敛域内可以逐项求导,所以对$H(z)$求导得:
$$
H'(z) = \frac{d}{dz} \sum_{n=0}^\infty H_n \frac{z^n}{n!} = \sum_{n=0}^\infty H_n \cdot \frac{d}{dz}\left( \frac{z^n}{n!} \right)
$$ - 计算单一项的导数:对$\frac{z^n}{n!}$求导,得到$\frac{n z^{n-1}}{n!} = \frac{z{n-1}}{(n-1)!}$。这里要注意:当$n=0$时,$\frac{z0}{0!}=1$,它的导数是0,所以n=0的项在求导后消失了,我们可以把求和下标从n=1开始:
$$
H'(z) = \sum_{n=1}^\infty H_n \frac{z^{n-1}}{(n-1)!}
$$ - 下标替换:令$m = n-1$,则$n = m+1$。当n=1时,m=0;n趋向于$\infty$时,m也趋向于$\infty$。代入后求和式变为:
$$
H'(z) = \sum_{m=0}^\infty H_{m+1} \frac{z^m}{m!}
$$
这个式子正好就是$H_{n+1}$的指数生成函数(把下标m换成n只是符号变化,不影响本质)。
你之前的推导问题主要出在两个地方:一是调和数的定义写错了,二是没注意n=0的项求导后为0,直接从n=0开始求和会出现无意义的负阶乘项,修正这两点后整个证明就完全通顺啦~
内容的提问来源于stack exchange,提问作者RVC
相关产品推荐
相关产品推荐

