狄利克雷卷积

数论函数

定义以下数论函数：
欧拉函数$\phi (x)={\sum }_{i=0}^{x-1}[i\perp x]$：表示[0,x-1]中与x互质的数的个数
常数函数$1(x)=1$
幂函数$I{d}_k(x)=x^k$，当k=1时为恒等函数$id(x)=x$，当k=0时为常数函数$1$
整除函数${\sigma }_k(x)={\sum }_{d|x}{d}^k$，当k=1时为约数和函数，当k=0时为约数个数函数$d$
莫比乌斯函数$\mu (x)=\{\begin{array}{c}1(x=1)\\ 0(x含有相同质因子)\\ (-1{)}^s(s为x的不同质因子的个数)\end{array}$

狄利克雷卷积

定义以及基本性质

对于两个数论函数$f,g$，定义其狄利克雷卷积为一个函数，其中$h(n)=\sum _{d|n}f(d)g(\frac{n}{d})$，记作$(f\ast g)(n)=h(n)$，或$f\ast g=h$

之前已经证明过，上述数论函数，以及两个积性函数的狄利克雷卷积都是积性函数。

此外，狄利克雷卷积还符合：

交换律

$f\ast g=g\ast f$

证明一下交换律：
$f\ast g=\sum _{d|n}=f(d)g(\frac{n}{d})$，令$d=\frac{n}{d}$，枚举范围不变。立即得证。

结合律

$f\ast (g\ast h)=(f\ast g)\ast h$

证明一下结合律，应用和式的变换容易证明：
①：$f\ast (g\ast h)=\sum _{d|n}f(d)\sum _{d^{\prime }|\frac{n}{d}}g(d^{\prime })h\left(\frac{\frac{n}{d}}{d^{\prime }}\right)=\sum _{d|n}f(d)\sum _{d^{\prime }|\frac{n}{d}}g(d^{\prime })g\left(\frac{n}{d^{\prime }\cdot d}\right)$

②：$(f\ast g)\ast h=\sum _{d|n}\sum _{d^{\prime }|d}f(d^{\prime })g\left(\frac{d}{d^{\prime }}\right)h\left(\frac{n}{d}\right)$
令$d=d^{\prime },d^{\prime }=d$：
$=\sum _{d^{\prime }|n}\sum _{d|d^{\prime }}f(d)g(\frac{d^{\prime }}{d})g(\frac{n}{d^{\prime }})$

$=\stackrel{n}{\sum _{d^{\prime }=1}}[d^{\prime }|n]\stackrel{n}{\sum _{d=1}}[d|d^{\prime }]f(d)g(\frac{d^{\prime }}{d})g(\frac{n}{d^{\prime }})$

因为有$d|d^{\prime },d^{\prime }|n$，显然有$d|n$：
$=\stackrel{n}{\sum _{d^{\prime }=1}}[d^{\prime }|n]\stackrel{n}{\sum _{d=1}}[d|n][d|d^{\prime }]f(d)g(\frac{d^{\prime }}{d})g(\frac{n}{d^{\prime }})$
$=\stackrel{n}{\sum _{d=1}}[d|n]f(d)\stackrel{n}{\sum _{d^{\prime }=1}}[d^{\prime }|n][d|d^{\prime }]g(\frac{d^{\prime }}{d})g(\frac{n}{d^{\prime }})$
$=\sum _{d|n}f(d)\stackrel{n}{\sum _{d^{\prime }=1}}[d|d^{\prime }][d^{\prime }|n]g(\frac{d^{\prime }}{d})g(\frac{n}{d^{\prime }})$
$=\sum _{d|n}f(d)\stackrel{\lfloor \frac{n}{d}\rfloor }{\sum _{d^{\prime }=1}}[d^{\prime }\cdot d|n]g(d^{\prime })g(\frac{n}{d^{\prime }\cdot d})$

前面已经限制过了，一定有$d|n$，因此艾弗森括号可以除过来：
$=\sum _{d|n}f(d)\stackrel{\lfloor \frac{n}{d}\rfloor }{\sum _{d^{\prime }=1}}\left[d^{\prime }|\frac{n}{d}\right]g(d^{\prime })g(\frac{n}{d^{\prime }\cdot d})$
$=\sum _{d|n}f(d)\stackrel{\lfloor \frac{n}{d}\rfloor }{\sum _{d^{\prime }|\frac{n}{d}}}g(d^{\prime })g(\frac{n}{d^{\prime }\cdot d})$
$=\sum _{d|n}f(d)\sum _{d^{\prime }|\frac{n}{d}}g(d^{\prime })g(\frac{n}{d^{\prime }\cdot d})$

由上可知证毕。

分配律

$f\ast (g+h)=f\ast g+f\ast h$

分配律很显然。

单位元

此外，定义狄利克雷卷积单位元函数，简称为元函数：$\epsilon (n)=[n=1]$

逆元

若有$f\ast f^{-1}=\epsilon$，则称$f$与$f^{-1}$互为狄利克雷卷积逆元，记作$f^{-1}$。

常用卷积关系

单位元

显然对于任意函数$f$，都有：$f\ast \epsilon =f$

常数函数与莫比乌斯函数

常数函数与莫比乌斯函数互为狄利克雷卷积逆元：
$\mu \ast 1=\epsilon$

在莫比乌斯反演中给出证明。

整除函数与幂函数

$I{d}_k\ast 1={\sigma }_k$

证明很显然：
$I{d}_k\ast 1=\sum _{d|n}{d}^k={\sigma }_k$

注意到$\mu \ast 1=\epsilon$，因而有${\sigma }_k\ast \mu =I{d}_k$

恒等函数与欧拉函数

$\phi \ast 1=id$

证明：
设$p\in \mathbb{P}$，首先我们证明：
$(\phi \ast 1)(p^k)=\sum _{d|p^k}\phi (d)$
$=\stackrel{k}{\sum _{i=0}}\phi (p^i)$
$=1+\stackrel{k}{\sum _{i=1}}\phi (p^i)$
$=1+\stackrel{k}{\sum _{i=1}}(p-1)p^{i-1}$
$=1+\stackrel{k}{\sum _{i=1}}{p}^i-\stackrel{k}{\sum _{i=1}}{p}^{i-1}$
$=1+\stackrel{k}{\sum _{i=1}}{p}^i-\stackrel{k-1}{\sum _{i=0}}{p}^i$
$=\stackrel{k}{\sum _{i=0}}{p}^i-\stackrel{k-1}{\sum _{i=0}}{p}^i$
$=p^k=I{d}_k(p)$

此后我们注意到，两个积性函数的狄利克雷卷积仍然是积性函数，因此可以把$(\phi \ast 1)(n)$拆成$n$的质因子幂次的连乘积的形式，这样立即得证。

QED.

因为有$\phi \ast 1=id$，前面说过，$1,\mu$互为逆元，因此有：$\phi =id\ast \mu$，这也就用狄利克雷卷积的方法证明了，欧拉函数是积性函数。（大雾）

$\phi \ast 1=id$，这事实上证明了$n=\sum _{d|n}\phi (d)$。

总结

常用：
$\mu \ast 1=\epsilon$
$id\ast \mu =\phi$
$\phi \ast 1=id$

不常用：
$I{d}_k\ast 1={\sigma }_k$

逆元

对于$f$的逆元$f^{-1}$，则$f\ast f^{-1}=\epsilon$，令$n=1$，则：$f^{-1}(1)=\frac{1}{f(1)}$，因此逆元存在的必要条件为$f(1)\ne 0$

此外逆元唯一，假设$f\ast g=\epsilon ,f\ast h=\epsilon$，则有$f\ast g=f\ast h$，$g=h$。

此外，有$f\ast f^{-1}=\epsilon$，若$f$为积性函数，可知$f^{-1}$为积性函数。

证明一下：
设$n=a\times b,a\perp b$
首先有：$\left(\left(f\ast f^{-1}\right)(a)\right)\left(\left(f\ast f^{-1}\right)(b)\right)=\epsilon$
则：$\sum _{x|a}f(x)f^{-1}(\frac{a}{x})\sum _{y|b}f(y)f^{-1}(\frac{b}{y})=\epsilon$
$\sum _{x|a}\sum _{y|b}f(xy)f^{-1}(\frac{a}{x})f^{-1}(\frac{b}{y})=\epsilon$

其次有：$(f\ast f^{-1})(ab)=\epsilon$
则：$\sum _{d|ab}f(d)f^{-1}(\frac{n}{d})=\epsilon$

反向应用引理：
$\sum _{x|a}\sum _{y|b}f(xy)f^{-1}(\frac{ab}{xy})=\epsilon$

两式画等号：
$\sum _{x|a}\sum _{y|b}f(xy)f^{-1}(\frac{a}{x})f^{-1}(\frac{b}{y})=\sum _{x|a}\sum _{y|b}f(xy)f^{-1}(\frac{ab}{xy})$

对比系数，则$f^{-1}(\frac{a}{x})f^{-1}(\frac{b}{y})=f^{-1}(\frac{ab}{xy})$。显然$f^{-1}$是一个积性函数。

易见：若$f\ast g=h$，$f,h$为积性函数，则$g$为积性函数。

后记

于是皆大欢喜。