狄利克雷卷积与莫比乌斯函数

若想使用莫比乌斯反演，熟练掌握狄利克雷卷积包括定义、记号以及相关的性质、证明等是非常有好处的。

数论函数与积性函数

数论函数也称作算术函数，就是定义在正整数上的函数，也可看作是一个数列。例如：
$$f(n)=2n-1$$
就表示了一个数论函数，其实就是：
$$[1,3,5,7,9,...]$$
跟狄利克雷卷积有关的常见数论函数有：
全1函数$u$：
$$u(n)=1$$
即：
$$[1,1,1,1,1,...]$$
恒等函数$ID$：
$$ID(n)=n$$
即：
$$[1,2,3,4,5,6,7,8,9,10,...]$$
单位元函数$e$：
$$e(n)=\{\begin{array}{ll}1& n=1\\ 0& 其他\end{array}$$
即：
$$[1,0,0,0,0,...]$$
积性函数是指如果某个数论函数$f(n)$满足当$gcd(a,b)=1$时有$f(a\cdot b)=f(a)\cdot f(b)$成立，则称函数$f$为积性函数。以下提到的函数都是积性函数。

狄利克雷卷积

狄利克雷卷积是对2个数论函数的操作，定义如下：
$$h(n)=f(n)\circ g(n)=\sum _{ij=n}f(i)\cdot g(j)$$
2个数论函数的狄利克雷卷积仍然是一个数论函数。
例如，考虑全1函数与恒等函数的狄利克雷卷积（只取前10个），设之为$\sigma$，得到：

$$\sigma (1)=u(1)\cdot ID(1)=1$$
$$\sigma (2)=u(1)\cdot ID(2)+u(2)\cdot ID(1)=3$$
$$\sigma (3)=u(1)\cdot ID(3)+u(3)\cdot ID(1)=4$$
$$\sigma (4)=u(1)\cdot ID(4)+u(2)\cdot ID(2)+u(4)\cdot ID(1)=7$$
$$\sigma (5)=u(1)\cdot ID(5)+u(5)\cdot ID(1)=6$$
$$\sigma (6)=u(1)\cdot ID(6)+u(2)\cdot ID(3)+u(3)\cdot ID(2)+u(6)\cdot ID(1)=12$$
$$\sigma (7)=u(1)\cdot ID(7)+u(7)\cdot ID(1)=8$$
$$\sigma (8)=u(1)\cdot ID(8)+u(2)\cdot ID(4)+u(4)\cdot ID(2)+u(8)\cdot ID(1)=15$$
$$\sigma (9)=u(1)\cdot ID(9)+u(3)\cdot ID(3)+u(9)\cdot ID(1)=13$$
$$\sigma (10)=u(1)\cdot ID(10)+u(2)\cdot ID(5)+u(5)\cdot ID(2)+u(10)\cdot ID(1)=18$$

实际上，$\sigma (n)$就是n的因子和，因此全1函数与恒等函数的狄利克雷卷积就是因子和函数。
再考虑前面提到的单位元函数$e$，稍加推理可知：
$$f(n)\circ e(n)=f(n)$$
即，任意函数与单位元函数做卷积仍然得到自身，因此$e$称为单位元。

莫比乌斯函数

实际上，所有的数论函数与狄利克雷卷积操作可以构成一个群，因此对每一个数论函数必然有逆元存在。也就是说每一个函数与其逆元的狄利克雷卷积可以得到单位元函数。全1函数的逆元称为莫比乌斯函数$\mu$，即：
$$u\circ \mu =e$$
莫比乌斯函数就是全1函数的逆元，这个定义有助于后续的证明和计算，同时也可以依次推出莫比乌斯函数的每一个具体取值。当然，还有一个分段函数的表达，可以更直观的计算莫比乌斯函数的值：
$$\mu (n)=\{\begin{array}{ll}(-1{)}^k& n=p_1{p}_2...p_k\\ 0& 其他\end{array}$$
也就是莫比乌斯函数只有三个可能的取值：0、-1和1。如果$n$包含平方数的因子，则$\mu (n)=0$；否则，$n$的质因子分解的所有质因子指数必然全是1，此时，$n$有偶数个质因子$\mu (n)=1$，奇数个质因子则是$\mu (n)=-1$。

相关性质

性质1：全1函数的狄利克雷卷积就是因子数量函数，记作$\tau$；恒等函数与全1函数的狄利克雷卷积就是因子和函数，记作$\sigma$。
$$\tau (n)=u(n)\circ u(n)$$
$$\sigma (n)=ID(n)\circ u(n)$$
利用狄利克雷卷积的定义很容易证明。
性质2：当n不等于1时，其所有因子的莫比乌斯函数函数值之和为0；当n等于1时，其和为1。写成数学表达为：
$$\sum _{d|n}\mu (d)=[n==1]$$
其中“$[条件]$”表示示性函数，条件为真则该函数值为1，否则函数值为0。这个也很容易证明，左边就是全1函数与莫比乌斯函数的卷积，右边就是单位元函数。这两者就是相等的。
性质3：恒等函数与莫比乌斯函数的卷积等于欧拉函数。其中，欧拉函数记作$\phi (n)$，表示不超过n的与n互质的数的数量。即：
$$ID(n)\circ \mu (n)=\sum _{d|n}d\cdot \mu (\frac{n}{d})=\phi (n)$$
如果能够熟练使用各种记号，上式很容易证明。首先将$\phi (n)$写作：
$$\phi (n)=\sum _i[gcd(i,n)==1]$$
这是显然的，就是欧拉函数的定义。然后利用上面的第2条性质，
$$\sum _i[gcd(i,n)==1]=\sum _i\sum _{d|gcd(i,n)}\mu (d)$$
对等式右边而言，对每一个d（d是gcd(i,n)的因子，当然同时也是n和i的因子），实际上就是问在1～n中有多少数满足其有d的因子，这个数量当然就是$n/d$个。所以，
$$\sum _i\sum _{d|gcd(i,n)}\mu (d)=\sum _{d|n}\frac{n}{d}\cdot \mu (d)$$
该性质的一个推论是：
$$\frac{\phi (n)}{n}=\sum _{d|n}\frac{\mu (d)}{d}$$
使用积性函数的性质也可以证明这一点。
当$n=1$时，上述等式显然成立。当$n$为质数时，记作$p$，则：
$$\sum _{d|p}\frac{\mu (d)}{d}=\frac{\mu (1)}{1}+\frac{\mu (p)}{p}=\frac{1-p}{p}=\frac{\phi (p)}{p}$$
等式也成立。当$n=p^k$时，
$$\sum _{d|p^k}\frac{\mu (d)}{d}=\frac{\mu (1)}{1}+\frac{\mu (p)}{p}+\frac{\mu (p^2)}{p^2}+\cdot \cdot \cdot =\frac{1-p}{p}=\frac{\phi (p^k)}{p^k}$$
等式亦成立。所以在$n$只含一个质因子情况下，$ID(n)\circ \mu (n)=\phi (n)$是成立的。考虑更一般的情况，$n=p_1^{k_1}\cdot \cdot \cdot p_n^{k_n}$，有
$$\begin{gathered} ID(n)\circ \mu (n) \\ =ID(p_1^{k_1}\cdot \cdot \cdot p_n^{k_n})\circ \mu (p_1^{k_1}\cdot \cdot \cdot p_n^{k_n}) \\ =ID(p_1^{k_1})\circ \mu (p_1^{k_1})\cdot \cdot \cdot ID(p_n^{k_n})\circ \mu (p_n^{k_n}) \\ =\frac{1-p_1}{p_1}\cdot \cdot \cdot \frac{1-p_n}{p_n} \\ =\phi (n) \end{gathered}$$
性质4：莫比乌斯反演，设函数$f(n)={\sum }_{d|n}g(d)，则g(n)={\sum }_{d|n}f(n/d)\cdot \mu (d)$。
使用狄利克雷卷积记号很容易证明这个结论，已知条件实际上就是
$$f=u\circ g$$
两边同时卷积莫比乌斯函数，注意到狄利克雷卷积满足交换律与结合律，且全1函数与莫比乌斯函数的卷积结果为单位元函数，所以
$$g=f\circ \mu$$
这就是莫比乌斯反演的结论。
性质5：莫比乌斯倍数反演，莫比乌斯反演有两种形式，性质4中的是约数反演，还有一种倍数反演，如下，若有
$$f(n)=\sum _{n|d,d\le N}g(d)$$
则有
$$g(n)=\sum _{n|d,d\le N}\mu (\frac{d}{n})f(d)$$
其中，$N$是一个上限。
关于倍数反演的证明，
$$\begin{gathered} \sum _{n|d,d\le N}\mu (\frac{d}{n})f(d)=\sum _{n|d,d\le N}(\mu (\frac{d}{n})\sum _{d|t,t\le N}g(t)) \\ =\sum _{n|d,d\le N}(g(d)\sum _{t|\frac{d}{n}}\mu (t)) \end{gathered}$$
关于上式中第二个等号，将求和记号写开，就可以推导出来。
根据性质2可知，${\sum }_{t|\frac{d}{n}}\mu (t)=[\frac{d}{n}==1]$，也就是说当$d=n$时，结果为1，其余结果均为0。所以最终可推出：
$$\sum _{n|d,d\le N}\mu (\frac{d}{n})f(d)=g(n)$$

基础问题与公式

问题1：在1～N的范围内，互质的数对一共有多少对？即问$$\sum _i\sum _j[gcd(i,j)==1]$$
这个问题的解是：$$\sum _{i=1}^N\sum _{j=1}^N[gcd(i,j)==1]=\sum _{d=1}^N\mu (d)\cdot \lfloor N/d\rfloor \cdot \lfloor N/d\rfloor$$推导过程如下，根据性质3有$$\sum _i\sum _j[gcd(i,j)==1]=\sum _i\sum _j\sum _{d|gcd(i,j)}\mu (d)$$考虑每一个可能的$d$，即$d$取值$1,2,3,4,5,...$，有多少对$(i,j)$满足$i$有因子$d$同时$j$也有因子$d$呢？当然是$\lfloor N/d\rfloor \cdot \lfloor N/d\rfloor$。其中，$\lfloor \rfloor$表示向下取整，也就是C++中的整型除法运算。所以，公式1成立。另一个办法是使用性质5莫比乌斯倍数反演来证明。令，$$f(n)=[(i,j)有公因子n]$$即，$f(n)$是$1\sim N$之间有公因子n的数对的数量，显然有，$$f(n)=\lfloor N/n\rfloor \cdot \lfloor N/n\rfloor$$再令，$$g(n)=[gcd(i,j)==n]$$即，$g(n)$是$1\sim N$之间gcd为n的数对的数量，有，$$f(n)=\sum _{n|d,d\le N}g(d)$$根据性质5有，$$g(n)=\sum _{n|d,d\le N}\mu (\frac{d}{n})f(d)$$
所求实际上就是$g(1)$，可得$$g(1)=\sum _{d=1}^N\mu (d)f(d)=\sum _{d=1}^N\mu (d)\cdot \lfloor N/d\rfloor \cdot \lfloor N/d\rfloor$$
问题1还有另外一种做法，只考虑$[gcd(i,j)==1,x>y]$，实际上就是求欧拉函数的和，如下：$$\sum _{i=2}^N\phi (i)$$这个数乘以2就得到了所有的不相等且互质的数对的数量。而相等又能互质的数对只有1对，就是(1, 1)，所以再加1即可。
问题2：在1～N的范围内，gcd为质数的数对一共有多少对？即问$$\sum _{p_k}\sum _i\sum _j[gcd(i,j)==p_k]$$其中，$p_k$是N以内的质数。考虑到，$$gcd(i,j)=p$$则$$gcd(i/p,j/p)=1$$所以$$\begin{gathered} \sum _{p_k}\sum _i\sum _j[gcd(i,j)==p_k]=\sum _{p_k}\sum _i\sum _j[gcd(i/p_k,j/p_k)==1] \\ =\sum _{p_k}\sum _{d=1}^{\lfloor \frac{N}{p_k}\rfloor }\mu (d)\cdot \lfloor \frac{\lfloor \frac{N}{p_k}\rfloor }{d}\rfloor \cdot \lfloor \frac{\lfloor \frac{N}{p_k}\rfloor }{d}\rfloor \end{gathered}$$
问题3：$i$在1～N范围内，$j$在1～M范围内，问互质的数对的数量有多少对？
仿照问题1的解法即可。注意到$d$必须是$(i,j)$的公因子，所以$d$必然不超过$min(N,M)$，所以$$\sum _{i=1}^N\sum _{j=1}^M[gcd(i,j)==1]=\sum _{d=1}^{min(N,M)}\mu (d)\cdot \lfloor N/d\rfloor \cdot \lfloor M/d\rfloor$$