下面给出一种常见套路 :把“常数项” CT(·) 看成一个线性算子,与求和号交换,再把幂级数的部分收敛成一个封闭式(往往是一个有理函数),最后再做一次常数项提取(可以用留数、待定系数或已知公式)即可。
整套步骤用符号写成
∑ n ≥ 0 C T [ F n ( x ) ] z n = C T [ ∑ n ≥ 0 F n ( x ) z n ] = C T [ G ( x , z ) ] , \sum_{n\ge 0}\mathrm{CT}\bigl[F_n(x)\bigr]\;z^{\,n}
\;=\;
\mathrm{CT}\!\Bigl[\,
\sum_{n\ge 0}F_n(x)\,z^{\,n}
\Bigr]
\;=\;
\mathrm{CT}\!\Bigl[\,G(x,z)\Bigr], n ≥ 0 ∑ CT [ F n ( x ) ] z n = CT [ n ≥ 0 ∑ F n ( x ) z n ] = CT [ G ( x , z ) ] ,
其中 G ( x , z ) = ∑ n ≥ 0 F n ( x ) z n G(x,z)=\sum_{n\ge 0}F_n(x)\,z^{\,n} G ( x , z ) = ∑ n ≥ 0 F n ( x ) z n 是你要先“求和”的幂级数。下面分步展开,并配三个典型例子。
1 常数项算子与求和号对调
线性算子 CT 满足
C T [ a f ( x ) + b g ( x ) ] = a C T [ f ( x ) ] + b C T [ g ( x ) ] , \mathrm{CT}[a\,f(x)+b\,g(x)]=a\,\mathrm{CT}[f(x)]+b\,\mathrm{CT}[g(x)], CT [ a f ( x ) + b g ( x )] = a CT [ f ( x )] + b CT [ g ( x )] ,
因此
∑ n C T [ F n ( x ) ] z n = C T [ ∑ n F n ( x ) z n ] . \sum_{n}\mathrm{CT}[F_n(x)]z^{\,n}
=\mathrm{CT}\!\Bigl[\sum_{n}F_n(x)z^{\,n}\Bigr]. n ∑ CT [ F n ( x )] z n = CT [ n ∑ F n ( x ) z n ] .
只要交换后右侧收敛即可(实用中常在 ∣ z B ( x ) ∣ < 1 |zB(x)|<1 ∣ z B ( x ) ∣ < 1 的环域内讨论)。
2 把 ∑ n F n ( x ) z n \sum_{n}F_n(x)z^n ∑ n F n ( x ) z n 收敛成封闭式
最常见的 F n ( x ) = A ( x ) B ( x ) n F_n(x)=A(x)B(x)^n F n ( x ) = A ( x ) B ( x ) n 。
此时
∑ n ≥ 0 A ( x ) ( z B ( x ) ) n = A ( x ) 1 − z B ( x ) ( ∣ z B ( x ) ∣ < 1 ) . \sum_{n\ge0}A(x)\bigl(zB(x)\bigr)^{n}
=\frac{A(x)}{1-zB(x)}\qquad(|zB(x)|<1). n ≥ 0 ∑ A ( x ) ( z B ( x ) ) n = 1 − z B ( x ) A ( x ) ( ∣ z B ( x ) ∣ < 1 ) .
如果 F n ( x ) F_n(x) F n ( x ) 里还带有 ( n k ) \binom{n}{k} ( k n ) 、n r n^r n r 等,可以用
微分或积分变换 ( z ∂ z ) r (z\partial_z)^r ( z ∂ z ) r ,
升降阶恒等式 (如 ( n k ) = C T [ ( 1 + x ) n ( x − k ) ] \binom{n}{k}=\mathrm{CT}\bigl[(1+x)^{n}(x^{-k})\bigr] ( k n ) = CT [ ( 1 + x ) n ( x − k ) ] ),
把它们转回“几何级数”形态,再求和。
3 对有理函数取常数项
得到的 G ( x , z ) G(x,z) G ( x , z ) 通常是 x x x 的有理函数。常数项有三种常用做法:
留数公式
C T [ f ( x ) ] = 1 2 π i ∮ ∣ x ∣ = ρ f ( x ) x d x , \mathrm{CT}[f(x)] = \frac1{2\pi i}\oint_{|x|=\rho}\frac{f(x)}{x}\,dx, CT [ f ( x )] = 2 πi 1 ∮ ∣ x ∣ = ρ x f ( x ) d x ,
选取环内的极点求留数即可。
拆部分分式 / 已知模板
对简单形如 x m ( 1 − a x ) ( 1 − b / x ) \frac{x^{m}}{(1-ax)(1-b/x)} ( 1 − a x ) ( 1 − b / x ) x m 的表达式,可以直接展开或查表。
对称/反演技巧
若 f ( x ) = f ( 1 / x ) f(x)=f(1/x) f ( x ) = f ( 1/ x ) ,常数项往往等于系数和的一半;
或者写成 C T [ f ( x ) ] = [ x 0 ] f ( x ) = 1 2 ( [ x 0 ] + [ x 0 ] x ↦ 1 / x ) \mathrm{CT}[f(x)]=[x^0]f(x)=\frac12([x^0]+[x^0]_{x\mapsto1/x}) CT [ f ( x )] = [ x 0 ] f ( x ) = 2 1 ([ x 0 ] + [ x 0 ] x ↦ 1/ x ) 等。
4 三个示例
例 1 中心二项式级数
S ( t ) = ∑ n ≥ 0 ( 2 n n ) t n . S(t)=\sum_{n\ge0}\binom{2n}{n}\,t^{n}. S ( t ) = n ≥ 0 ∑ ( n 2 n ) t n .
将 ( 2 n n ) \binom{2n}{n} ( n 2 n ) 写成常数项:
( 2 n n ) = [ x 0 ] ( 1 + x ) 2 n = C T [ ( 1 + x ) 2 n ] . \binom{2n}{n}
=[x^0]\,(1+x)^{2n}
=\mathrm{CT}\bigl[(1+x)^{2n}\bigr]. ( n 2 n ) = [ x 0 ] ( 1 + x ) 2 n = CT [ ( 1 + x ) 2 n ] .
故
S ( t ) = C T [ ∑ n ≥ 0 ( 1 + x ) 2 n t n ] = C T [ 1 1 − t ( 1 + x ) 2 ] = C T [ 1 1 − t ( 1 + 2 x + x 2 ) ] . S(t)=\mathrm{CT}\!\Bigl[\sum_{n\ge0}(1+x)^{2n}t^n\Bigr]
=\mathrm{CT}\!\Bigl[\frac1{1-t(1+x)^{2}}\Bigr]
=\mathrm{CT}\!\Bigl[\frac1{1-t(1+2x+x^{2})}\Bigr]. S ( t ) = CT [ n ≥ 0 ∑ ( 1 + x ) 2 n t n ] = CT [ 1 − t ( 1 + x ) 2 1 ] = CT [ 1 − t ( 1 + 2 x + x 2 ) 1 ] .
拆分后取常数项得到
S ( t ) = 1 1 − 4 t , S(t)=\frac1{\sqrt{1-4t}}, S ( t ) = 1 − 4 t 1 ,
这是熟知的生成函数。
检验:t = 1 4 t=\tfrac14 t = 4 1 时 S = 1 1 − 1 = ∞ S=\tfrac1{\sqrt{1-1}}=\infty S = 1 − 1 1 = ∞ (发散),而 t = 1 16 t=\tfrac1{16} t = 16 1 时 S = 2 S=2 S = 2 。
例 2 斐波那契“常数项”级数
求 ∑ n ≥ 0 C T [ ( 1 + x ) n ( 1 + x − 1 ) n ] z n \displaystyle\sum_{n\ge0}\mathrm{CT}\!\bigl[(1+x)^{n}(1+x^{-1})^{n}\bigr]z^{n} n ≥ 0 ∑ CT [ ( 1 + x ) n ( 1 + x − 1 ) n ] z n 。
先写 (\mathrm{CT}\bigl[(1+x)^n(1+x^{-1})^n\bigr]
=x^0 ^n(1+x^{-1})^n).
令 B ( x ) = ( 1 + x ) ( 1 + x − 1 ) 1 B(x)=\frac{(1+x)(1+x^{-1})}{1} B ( x ) = 1 ( 1 + x ) ( 1 + x − 1 ) ; 则
S ( z ) = C T [ ∑ n ≥ 0 ( z B ( x ) ) n ] = C T [ 1 1 − z ( 2 + x + x − 1 ) ] . S(z)=\mathrm{CT}\!\Bigl[\sum_{n\ge0}\bigl(zB(x)\bigr)^n\Bigr]
=\mathrm{CT}\!\Bigl[\frac1{1-z(2+x+x^{-1})}\Bigr]. S ( z ) = CT [ n ≥ 0 ∑ ( z B ( x ) ) n ] = CT [ 1 − z ( 2 + x + x − 1 ) 1 ] .
记 u = x + 1 x u=x+\frac1x u = x + x 1 ,则被积式变成 1 1 − 2 z − z u \frac1{1-2z-zu} 1 − 2 z − z u 1 。
对 u u u 做留数即可得
S ( z ) = 1 1 − 4 z 2 , S(z)=\frac1{\sqrt{1-4z^2}}, S ( z ) = 1 − 4 z 2 1 ,
其展开系数为中央二项式 ( 2 n n ) \binom{2n}{n} ( n 2 n ) ,说明两种形式暗中相同。
例 3 含因子 ( 2 n + 1 ) − 1 (2n+1)^{-1} ( 2 n + 1 ) − 1 的级数
经典恒等式
∑ n ≥ 0 ( 2 n n ) 2 n + 1 = π . \sum_{n\ge0}\frac{\binom{2n}{n}}{2n+1}
= \pi. n ≥ 0 ∑ 2 n + 1 ( n 2 n ) = π .
思路:把 1 2 n + 1 \frac1{2n+1} 2 n + 1 1 视为 ∫ 0 1 x 2 n d x \displaystyle\int_{0}^{1}x^{2n}\,dx ∫ 0 1 x 2 n d x ,先将它和 ( 2 n n ) \binom{2n}{n} ( n 2 n ) 一起写成 CT,然后交换求和与积分,就得到
∫ 0 1 C T [ 1 1 − x 2 ( 1 + x ) 2 ] d x \int_{0}^{1}\mathrm{CT}\!\Bigl[\frac1{1-x^2(1+x)^2}\Bigr]dx ∫ 0 1 CT [ 1 − x 2 ( 1 + x ) 2 1 ] d x
—— 这是一个对 x x x 的初等积分,计算可得 π \pi π 。
结论与技巧小结
写成常数项 → 与求和号对调 :
∑ n C T [ F n ] z n = C T [ ∑ n F n z n ] . \sum_{n}\mathrm{CT}[F_n]z^n=\mathrm{CT}\bigl[\sum_{n}F_n z^n\bigr]. n ∑ CT [ F n ] z n = CT [ n ∑ F n z n ] .
把 ∑ n F n z n \sum_{n}F_n z^n ∑ n F n z n 收敛 :常见是几何级数,也可借助微分/积分变换处理附加的 n , ( n k ) n,\,\binom{n}{k} n , ( k n ) 。
再做一次常数项提取 :用留数、拆分、对称、反演等方法。
检查收敛半径 :常数项交换与收敛合法性通常要求 ∣ z B ( x ) ∣ < 1 |zB(x)|<1 ∣ z B ( x ) ∣ < 1 ;若只求解析延拓后的表达式,则可先形式操作,最后再讨论解析延拓。
掌握以上套路后,见到“常数项在外、求和在内”的级数,只要能把中间那步几何级数搞定,就往往能一把求出闭式。