主导奇点 | Codeboy's Blog

形式陈述

A(z)=\sum_{n\ge0}a_nz^n

在零点的收敛半径为有限正数 $R$ 。若 $\rho$ 是 $A$ 的奇点且 $|\rho|=R$ ，则称 $\rho$ 为主导奇点；所有这类点组成主导奇点集。收敛半径保证圆盘 $|z|<R$ 内没有奇点，却不保证圆周上只有一个奇点，也不保证能越过圆周其他部分作解析延拓。

若 $a_n\ge0$ 且 $R<\infty$ ，Pringsheim 定理保证正实点 $z=R$ 必是奇点。因此非负组合计数至少有一个正实主导点。但“ $R$ 是主导点”不推出“ $R$ 是唯一主导点”；唯一性往往还需非周期性、不可约性或具体函数方程的证明。

主导点的位置通常给出指数尺度 $\rho^{-n}$ 。其局部类型进一步决定多项式因子：简单极点、二阶极点和平方根分支虽然可以位于同一 $\rho$ ，却分别产生常数、线性或 $n^{-3/2}$ 型修正。

直觉

Taylor 系数通过围道积分读取函数。轮廓从原点向外扩张时，第一批阻止它继续移动的奇点就是主导奇点；它们离原点最近，所以带来的指数衰减最慢。把“最近”理解为复模而不是实数大小很重要：负实点或复共轭点可能与正实点同样近，并留下交替或振荡信号。

主导奇点像同一半径上的若干发射源。若只有一个源，局部展开常直接给出平滑主项；若有多个源，系数是各贡献之和，某些剩余类上会增强，另一些会抵消至零。

例子与边界

考虑

A(z)=\frac1{1-z^2} =\frac12\left(\frac1{1-z}+\frac1{1+z}\right).

其收敛半径为 $1$ ，主导奇点有 $\rho=1$ 与 $\rho=-1$ 。两项分别贡献 $1/2$ 与 $(-1)^n/2$ ，所以

[z^n]A(z)=\frac{1+(-1)^n}{2}.

偶数系数为一、奇数系数为零。若只分析 Pringsheim 保证的 $z=1$ ，会错误预测所有系数趋近 $1/2$ ；负实主导点正是周期二结构不可省略的贡献。

一般地，若系数只可能出现在 $n\equiv r\pmod d$ ，根单位旋转常产生 $d$ 个同模奇点。可以先写成 $A(z)=z^rB(z^d)$ 再在 $B$ 上分析，也可以逐个主导点求局部贡献后相加。

非负系数不是唯一性的充分条件，甚至非周期支持也不能脱离函数结构单独保证所有圆周奇点消失。若收敛圆是自然边界，每一点都是奇点，“有限个主导点局部求和”的方案不适用。若奇点在局部可去，则它不是真奇点，也不能用来决定 $R$ 。

推论与应用

找到候选主导点后，还需完成三项核查：证明不存在更小模的奇点；列出圆周上所有同模奇点；建立每个点附近足够大的解析延拓域和局部展开。奇点分析正是在这些条件下把局部形状转成系数渐近。

简单极点常给纯指数增长，代数分支点给指数乘幂律，极点重数给多项式因子。对含参数的生成函数，主导点还可能随参数移动或碰撞，导致相变与不同渐近区间。因而“解出分母最小正根”只是定位工作的开端，而不是完整渐近证明。

参考资料

Philippe Flajolet and Robert Sedgewick, Analytic Combinatorics, Cambridge University Press, 2009, Chapter IV, complex asymptotics and dominant singularities。
E. C. Titchmarsh, The Theory of Functions, 2nd ed., Oxford University Press, 1939, §7.21, Pringsheim’s theorem。
Herbert S. Wilf, generatingfunctionology, 3rd ed., A K Peters, 2006, Chapter 5。