对于一些奇怪的数论问题有奇效。也是对数论函数的另一种视角。
数列 的狄利克雷生成函数是
容易验证它的乘积就是狄利克雷卷积
狄利克雷函数初看非常的诡异,它和普通型与指数型不同,并不是一个形式幂级数。我们介绍一些典型的狄利克雷生成函数来了解它的性质。
过于显然地 ,也就是数论中的 函数,的狄利克雷生成函数是 1。
众所周知研究某型生成函数都要从 开始,也就是数论中的 函数,它的狄利克雷生成函数是
你可能已经在各种科普文上见过这个函数。这就是著名的黎曼 函数。
和 以及 不同,它的性质比较复杂,我们甚至不完全了解它的零点……不过这和接下来的介绍关系不大。
是一个(完全)积性函数,把 分解质因数后每个 对它的贡献是独立的,也就是说,一个积性函数 的狄利克雷生成函数有下面的形式
这个形式会极大地方便我们讨论积性函数的性质。比如
那么它的逆就是
当 时贡献为 ,当 时贡献为 ,否则贡献为 ,正是莫比乌斯函数 。也就是说
显然就是
同理,
显然有
有
从中可以立刻看出欧拉函数的筛法:
也就是说, 的贡献是
当质因数增加了一个 的时候按这个柿子更新贡献即可。
筛出 。
它就是 ,容易知道 的贡献是
显然有答案的生成函数是
几乎立即得到 的贡献是