本文解释如何估计涉及对数和根的生成函数的系数。
您可能首先需要熟悉
来自 Flajolet 和 Odlyzko 的定理[1]。
如果

其中
然后
![{\displaystyle [z^{n}]f(z)\sim {\frac {n^{-\alpha -1}}{\Gamma (-\alpha )}}(\log n)^{\gamma }(\log \log n)^{\delta }\quad ({\text{as }}n\to \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b39b05f6da33eecb12332a097057374f3529cd7)
来自 Flajolet 和 Sedgewick 的定理[2]。
如果
在
处有一个奇点并且

其中
然后
![{\displaystyle [z^{n}]f(z)\sim \zeta ^{-n}{\frac {n^{-\alpha -1}}{\Gamma (-\alpha )}}(\log n)^{\gamma }(\log \log n)^{\delta }\quad ({\text{as }}n\to \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d2a6c160f6ca4d783305abb4eeca925a5f55313)
后一个定理的意义在于我们只需要一个
的近似值。
在进入证明之前,我将解释关于根和对数的哪些方面意味着我们必须对它们进行与亚纯函数不同的处理。
复数可以用两种形式表示:笛卡尔坐标 (
) 或极坐标
,其中
是到原点的距离或模,而
是相对于正
轴的角度或辐角。
对于复变量
的复函数
,我们可以绘制一个三维图形,其中
和
轴分别是
变量的实部和虚部,而
轴是函数
的模或辐角。
对于根和对数,如果我们使用函数的辐角作为
轴,我们会看到一个间断,这限制了我们在想要积分该函数时可以绘制轮廓的位置。
你可以在负
轴上看到的间隙就是间断。
根函数和对数函数没有我们可以进行洛朗展开的极点。相反,我们需要绘制轮廓以避免这些间隙或间断。这就是为什么在接下来的内容中,我们使用从轮廓中取出狭缝或楔形的轮廓。
由塞奇威克、弗拉若莱和奥德莱兹科证明[3]
第一项系数估计的证明。
根据柯西系数公式
^{\alpha }\left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)^{\gamma }\left({\frac {1}{z}}\log \left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)\right)^{\delta }={\frac {1}{2\pi i}}\int _{C}(1-z)^{\alpha }\left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)^{\gamma }\left({\frac {1}{z}}\log \left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)\right)^{\delta }{\frac {dz}{z^{n+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae6f06d82faaae1b5c5c921383fbad4c14e58b93)
其中
是以原点为中心的圆。
我们可以在不改变上述轮廓积分值的情况下变形
。
我们将通过在实轴上从 1 到
沿其切开
。
我们将圆的半径增大到
,这将使它对被积函数的贡献降为 0。
因此,上述围绕
的轮廓积分等效于围绕从
开始,绕 1 旋转,并在
结束的轮廓积分,我们将称之为
。
虽然我们对围绕轮廓
的积分行为了解不多,但我们确实了解类似的轮廓
(汉克尔轮廓)的行为,它绕着距离为 1 的原点旋转。
我们可以通过将其转换为围绕
的积分来计算围绕
的积分。形式上
[4]
使得
.
非正式地说,这意味着我们想找到一个函数
,它将轮廓
变成
。从几何上讲,我们将轮廓向左移动 1 并乘以 

但是,我们仍然希望
周围的被积函数等价于
周围的被积函数。我们通过将变量除以
并加 1 来做到这一点

因此,我们得到以下替换[5]

我们有
(当
时)
以及

因此,
[6]
将所有内容整合在一起
^{\alpha }\left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)^{\gamma }\left({\frac {1}{z}}\log \left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)\right)^{\delta }&={\frac {1}{2\pi i}}\int _{C}(1-z)^{\alpha }\left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)^{\gamma }\left({\frac {1}{z}}\log \left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)\right)^{\delta }{\frac {dz}{z^{n+1}}}\\&={\frac {1}{2\pi i}}\int _{H_{\frac {1}{n}}}(1-z)^{\alpha }\left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)^{\gamma }\left({\frac {1}{z}}\log \left({\frac {1}{z}}\log {\frac {1}{1-z}}\right)\right)^{\delta }{\frac {dz}{z^{n+1}}}\\&={\frac {n^{-a-1}}{2\pi i}}(\log n)^{\gamma }(\log \log n)^{\delta }\int _{H_{1}}(-t)^{\alpha }\left(1+{\frac {t}{n}}\right)^{-n-1}dt\\&\sim {\frac {n^{-a-1}}{2\pi i}}(\log n)^{\gamma }(\log \log n)^{\delta }\int _{H_{1}}(-t)^{\alpha }e^{-t}dt\\&={\frac {n^{-\alpha -1}}{\Gamma (-\alpha )}}(\log n)^{\gamma }(\log \log n)^{\delta }\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f80539422d7a81377aad4432135981803a525bd0)
Flajolet 和 Sedgewick 的解释和示例[7]。
在下文中

我们将使用“小o”记号。
当 
这意味着

它还意味着对于每个
都存在
使得[8]

这是我们在证明中将要使用的事实。
还需要注意
对于生成函数 
- 找到
的奇点
.
- 构造在
处的
区域。
- 检查
在
域内是否为解析函数。
- 对
在
附近建立一个如下形式的近似:
.
- 对
或等价地
进行估计。
为了找到奇点,我们需要找到
的值,使得该函数等于
[9]。
例如,我们将使用
.
它在
处有一个奇点,因为

在 z = 1 处的 Δ 域是一个以原点为中心的圆,半径为 R,其中有一个三角形被切除,一个顶点在 1 处,边角为 φ 和 -φ。见下图。我们使用这个域,因为它允许我们稍后进行证明。
为了使 f(z) 在 Δ 域中解析

对于 Δ 域中的所有
[10].
我们的例子在 Δ 域中是解析的,因为
是一个整函数(即没有奇点),这意味着它在任何地方都是解析的。
是解析的,除了实轴上的一个切口,对于
。
- 两个解析函数的乘积是相同域上的解析函数[11]。因此,
在整个复域上都是解析的,包括 Δ 域,除了实轴
。
我们想要一个形式为
的近似值(在我们这个例子中,我们设置 γ, δ = 0 以及 ζ = 1)。
通常,这将采用 泰勒级数展开 的形式。
对于我们的例子,在 1 附近做泰勒展开



因此

那么
.
因此,在我们的例子中
![{\displaystyle [z^{n}]{\frac {e^{-z/2-z^{2}/4}}{\sqrt {1-z}}}\sim {\frac {e^{-3/4}}{\sqrt {\pi n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73b5c7c3ed02f1f3fe6a788e2713d380d18215b0)
该证明来自于以下事实
![{\displaystyle [z^{n}]f(z)=\zeta ^{-n}[(z/\zeta ^{n}]f(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a22bbb9a763463fb2bd4a38e0f80327ab99ddbd)
![{\displaystyle [(z/\zeta )^{n}]f(z)=[(z/\zeta )^{n}]F(z/\zeta )+[(z/\zeta )^{n}]o(F(z/\zeta ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85f2a1a89156689276e5c73360f08ed58882f5c3)
- 第一项的系数
,我们从 标准函数尺度 中得到。
- 第二项的系数
,我们在 #误差项证明 中进行。这也是为什么我们需要使用
-域的原因。
来自 Flajolet 和 Odlyzko[12]、Flajolet 和 Sedgewick[13] 以及 Pemantle 和 Wilson[14] 的证明。
我们从 柯西系数公式 中得到第二项系数的估计
![{\displaystyle [z^{n}]o(F(z))={\frac {1}{2i\pi }}\int _{\gamma }o(F(z)){\frac {dz}{z^{n+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bab9adb952833a388dbf94e2a231299603cd31a)
其中
是
-域内的任何闭合 轮廓。参见下图中的红线。
我们将
分成四部分,使得
.





来自
的贡献
在
上,
的最大值出现在
时

在
上,
的最大值为

在
上,
的最大值为 

来自
和
的贡献
我们通过将
转换为极坐标形式,并用
来对轮廓
进行参数化,使得
成为
的函数,从
到
。
是方程
的正解,使得轮廓连接 

但是,请记住,小 o 关系只在
的某个特定
内成立。我们知道,当
增大时,
趋于零,因此,对于任何
,我们选择一个足够大的
使得
。我们将上面的积分在
处分成两个部分,使得 

和式中的第一项

[15] (其中
是 x 的 实部)。

这个收敛到一个常数
。因此

和式中的第二项

随着
的增长速度快于
,因此
当
。因此

类似的论证适用于
.
的贡献
根据 柯西不等式

这意味着围绕
的积分贡献随着
指数衰减,可以忽略不计。
以上假设只有一个奇点
。但是,它可以推广到具有多个奇点的函数。
在多个奇点的情况下,需要将基本奇点分析过程中给出的每个奇点的单独贡献加起来。
—Flajolet 和 Sedgewick 2009,第 398 页。
Flajolet 和 Sedgewick[16] 的定理。
如果
在圆盘
上是解析的,在圆周
上有有限个奇点,并且
在
域上是解析的,在每个奇点处都有多个凹陷。
如果对于每个奇点
(对于
)

那么
![{\displaystyle [z^{n}]f(z)\sim \sum _{i=0}^{r}\zeta _{i}^{n}{\frac {n^{-{\alpha _{i}}-1}}{\Gamma (-{\alpha _{i}})}}(\log n)^{\gamma _{i}}(\log \log n)^{\delta _{i}}\quad ({\text{as }}n\to \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a81360f672166162061d70a2ffe154b1964c6fd)
- ↑ Flajolet 和 Odlyzko 1990,第 14 页。
- ↑ Flajolet 和 Sedgewick 2009,第 393 页。
- ↑ Sedgewick,第 16 页。Flajolet 和 Sedgewick 2009,第 381 页。Flajolet 和 Odlyzko 1990,第 4-15 页。
- ↑ Lorenz 2011。
- ↑ 更多详情请参见 Flajolet 和 Odlyzko 1990,第 12-15 页。
- ↑ Sedgewick,第 10 页。
- ↑ Flajolet 和 Sedgewick 2009,第 392-395 页。
- ↑ Flajolet 和 Odlyzko 1990,第 8 页。
- ↑ 这有点过于简化了。更多信息请参见 Stroud 2003,第 863-867、915 页和 w:Mathematical_singularity。
- ↑ Lang 1999,第 68-69 页。
- ↑ Lang 1999,第 69 页。
- ↑ Flajolet 和 Odlyzko 1990,第 7-9 页。
- ↑ Flajolet 和 Sedgewick 2009,第 390-392 页。
- ↑ Pemantle 和 Wilson 2013,第 59-60 页。
- ↑ w:极坐标系#在极坐标和笛卡尔坐标之间转换。
- ↑ Flajolet 和 Sedgewick 2009,第 398 页。
- Flajolet, Philippe; Odlyzko, Andrew (1990). "生成函数的奇点分析" (PDF). SIAM 离散数学杂志. 1990 (3).
- Flajolet, Philippe; Sedgewick, Robert (2009). 分析组合学 (PDF). 剑桥大学出版社。
- Lang, Serge (1999). 复变函数 (第 4 版). 施普林格科学+商业媒体有限公司。
- Lorenz, Dirk (2011). "复变函数的替换和分部积分". 检索于 2022 年 11 月 27 日.
- Pemantle, Robin; Wilson, Mark C. (2013). 多个变量的分析组合学 (PDF). 剑桥大学出版社。
- Sedgewick, Robert. "6. 奇点分析" (PDF). 检索于 2022 年 11 月 13 日.
- Stroud, K. A. (2003). 高等工程数学 (第 4 版). 帕尔格雷夫·麦克米伦。