如何利用幂级数的和函数求常数项级数的和

Created on: June 19, 2025

Answered using O3 by Chat01

Question

如何利用幂级数的和函数求常数项级数的和

Question

如何利用幂级数的和函数求常数项级数的和

Thought

Explaining constant term series

The user is asking about using generating functions of power series to compute the sum of constant term series. Basically, when working with a power series like F(x) = Σ a_n x^n, you want to extract the constant term Σ a_n by setting x=1. However, if the series diverges, you might need analytic methods such as Cauchy's Integral to extract the constant term correctly. An example might be working with binomial sums or Catalan numbers to illustrate this process in more detail.

Explaining generating functions and constant term series

The user's question likely revolves around using generating functions to sum constant term series, specifically with situations like Σ C(n), where C(n) are constant terms of power series. I’ll explain this by introducing methods like coefficient extraction, Lagrange or residue calculus, and using generating functions. A possible example could be evaluating sums

Thought for 15 seconds

Answer

下面给出一种常见套路:把“常数项” CT(·) 看成一个线性算子,与求和号交换,再把幂级数的部分收敛成一个封闭式(往往是一个有理函数),最后再做一次常数项提取(可以用留数、待定系数或已知公式)即可。
整套步骤用符号写成

n0CT[Fn(x)]  zn  =  CT ⁣[n0Fn(x)zn]  =  CT ⁣[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],

其中 G(x,z)=n0Fn(x)znG(x,z)=\sum_{n\ge 0}F_n(x)\,z^{\,n} 是你要先“求和”的幂级数。下面分步展开,并配三个典型例子。


1 常数项算子与求和号对调

线性算子 CT 满足

CT[af(x)+bg(x)]=aCT[f(x)]+bCT[g(x)],\mathrm{CT}[a\,f(x)+b\,g(x)]=a\,\mathrm{CT}[f(x)]+b\,\mathrm{CT}[g(x)],

因此

nCT[Fn(x)]zn=CT ⁣[nFn(x)zn].\sum_{n}\mathrm{CT}[F_n(x)]z^{\,n} =\mathrm{CT}\!\Bigl[\sum_{n}F_n(x)z^{\,n}\Bigr].

只要交换后右侧收敛即可(实用中常在 zB(x)<1|zB(x)|<1 的环域内讨论)。


2 把 nFn(x)zn\sum_{n}F_n(x)z^n 收敛成封闭式

最常见的 Fn(x)=A(x)B(x)nF_n(x)=A(x)B(x)^n
此时

n0A(x)(zB(x))n=A(x)1zB(x)(zB(x)<1).\sum_{n\ge0}A(x)\bigl(zB(x)\bigr)^{n} =\frac{A(x)}{1-zB(x)}\qquad(|zB(x)|<1).

如果 Fn(x)F_n(x) 里还带有 (nk)\binom{n}{k}nrn^r 等,可以用

  • 微分或积分变换 (zz)r(z\partial_z)^r
  • 升降阶恒等式(如 (nk)=CT[(1+x)n(xk)]\binom{n}{k}=\mathrm{CT}\bigl[(1+x)^{n}(x^{-k})\bigr]),
    把它们转回“几何级数”形态,再求和。

3 对有理函数取常数项

得到的 G(x,z)G(x,z) 通常是 xx 的有理函数。常数项有三种常用做法:

  1. 留数公式

    CT[f(x)]=12πix=ρf(x)xdx,\mathrm{CT}[f(x)] = \frac1{2\pi i}\oint_{|x|=\rho}\frac{f(x)}{x}\,dx,

    选取环内的极点求留数即可。

  2. 拆部分分式 / 已知模板
    对简单形如 xm(1ax)(1b/x)\frac{x^{m}}{(1-ax)(1-b/x)} 的表达式,可以直接展开或查表。

  3. 对称/反演技巧
    f(x)=f(1/x)f(x)=f(1/x),常数项往往等于系数和的一半;
    或者写成 CT[f(x)]=[x0]f(x)=12([x0]+[x0]x1/x)\mathrm{CT}[f(x)]=[x^0]f(x)=\frac12([x^0]+[x^0]_{x\mapsto1/x}) 等。


4 三个示例

例 1 中心二项式级数

S(t)=n0(2nn)tn.S(t)=\sum_{n\ge0}\binom{2n}{n}\,t^{n}.

(2nn)\binom{2n}{n} 写成常数项:

(2nn)=[x0](1+x)2n=CT[(1+x)2n].\binom{2n}{n} =[x^0]\,(1+x)^{2n} =\mathrm{CT}\bigl[(1+x)^{2n}\bigr].

S(t)=CT ⁣[n0(1+x)2ntn]=CT ⁣[11t(1+x)2]=CT ⁣[11t(1+2x+x2)].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)=114t,S(t)=\frac1{\sqrt{1-4t}},

这是熟知的生成函数。
检验:t=14t=\tfrac14S=111=S=\tfrac1{\sqrt{1-1}}=\infty(发散),而 t=116t=\tfrac1{16}S=2S=2


例 2 斐波那契“常数项”级数

n0CT ⁣[(1+x)n(1+x1)n]zn\displaystyle\sum_{n\ge0}\mathrm{CT}\!\bigl[(1+x)^{n}(1+x^{-1})^{n}\bigr]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+x1)1B(x)=\frac{(1+x)(1+x^{-1})}{1}; 则

S(z)=CT ⁣[n0(zB(x))n]=CT ⁣[11z(2+x+x1)].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].

u=x+1xu=x+\frac1x,则被积式变成 112zzu\frac1{1-2z-zu}
uu 做留数即可得

S(z)=114z2,S(z)=\frac1{\sqrt{1-4z^2}},

其展开系数为中央二项式 (2nn)\binom{2n}{n},说明两种形式暗中相同。


例 3 含因子 (2n+1)1(2n+1)^{-1} 的级数

经典恒等式

n0(2nn)2n+1=π.\sum_{n\ge0}\frac{\binom{2n}{n}}{2n+1} = \pi.

思路:把 12n+1\frac1{2n+1} 视为 01x2ndx\displaystyle\int_{0}^{1}x^{2n}\,dx,先将它和 (2nn)\binom{2n}{n} 一起写成 CT,然后交换求和与积分,就得到

01CT ⁣[11x2(1+x)2]dx\int_{0}^{1}\mathrm{CT}\!\Bigl[\frac1{1-x^2(1+x)^2}\Bigr]dx

—— 这是一个对 xx 的初等积分,计算可得 π\pi


结论与技巧小结

  1. 写成常数项 → 与求和号对调

    nCT[Fn]zn=CT[nFnzn].\sum_{n}\mathrm{CT}[F_n]z^n=\mathrm{CT}\bigl[\sum_{n}F_n z^n\bigr].
  2. nFnzn\sum_{n}F_n z^n 收敛:常见是几何级数,也可借助微分/积分变换处理附加的 n,(nk)n,\,\binom{n}{k}

  3. 再做一次常数项提取:用留数、拆分、对称、反演等方法。

  4. 检查收敛半径:常数项交换与收敛合法性通常要求 zB(x)<1|zB(x)|<1;若只求解析延拓后的表达式,则可先形式操作,最后再讨论解析延拓。

掌握以上套路后,见到“常数项在外、求和在内”的级数,只要能把中间那步几何级数搞定,就往往能一把求出闭式。

Share this Q&A