[数论数学]莫比乌斯反演定理

近期学习了莫比乌斯反演，算是一个学习笔记吧…

在这里首先要说明：

1：本文讨论的所有函数为数论函数，即定义域为$D=N^{\ast }$的函数；

2：$\sum _{d|n}f(d)$表示$d$取遍$n$的所有正因子，再将所有的$f(d)$相加，例如当$n=6$时，$\sum _{d|n}f(d)=f(1)+f(2)+f(3)+f(6)$；

3：$\prod _{i=1}^k{a}_i=a_1\times a_2\times ...\times a_k$，即所有$a_i$的乘积；

4：$[p]$（其中p是一个表达式）表示当p成立时，值为1；否则值为0；

5：$(a,b)$表示$gcd(a,b)$，即$a,b$的最大公因数；

6：几个在狄利克雷卷积中会出现的基本函数：

• $\epsilon (n)=[n=1]$，也就是$\epsilon (n)=\{\begin{array}{l}1n=1\\ 0n̸=1\end{array}$
• $I(n)=1$
• $id(n)=n$

一、积性函数

定义：如果一个函数$f(n)$满足：当$(a,b)=1$时，有$f(ab)=f(a)\times f(b)$，则称$f(n)$为积性函数。

进一步，如果对于任意数$a,b$，都有$f(ab)=f(a)\times f(b)$，则称$f(n)$为完全积性函数。

积性函数的基本性质：对于任意正整数$n̸=1$，根据唯一分解定理，可以进行分解素因数：即$n=p_1^{c_1}...p_k^{c_k}=\prod _{i=1}^k{p}_i^{c_i}$，显然所有的$p_i^{c_i}$两两互素，因此有：

$$f(n)=f(p_1^{c_1})\times ...\times f(p_k^{c_k})=\prod _{i=1}^{k}f(p_i^{c_i})$$

因此，我们可以用类似线性筛素数的方法线性筛出某一积性函数的值，只需要知道对于每一个素数以及素数的方幂结果为多少即可。

由积性函数以及完全积性函数的定义，$\epsilon (n),I(n),id(n)$显然皆为完全积性函数。

证明积性函数的常见方法是利用上面的唯一分解式，将$a,b$唯一分解，再用$(a,b)=1$的条件可以得到分解出来的所有素数两两不等，从而继续证明。

例如：证明$d(n)$为$n$的正因子个数为积性函数。

证明：取$(a,b)=1$，将$a,b$分解得：$a=\prod _{i=1}^k{p}_i^{c_i}$，且$b=\prod _{i=1}^l{q}_i^{d_i}$，则$p_i,q_i$两两不等（由$(a,b)=1$可得），于是：
$d(a)=\prod _{i=1}^k(c_i+1)$，且$d(b)=\prod _{i=1}^l(d_i+1)$；
由于$p_i,q_i$两两不等，所以$d(ab)=\prod _{i=1}^k(c_i+1)\prod _{i=1}^l(d_i+1)=d(a)\times d(b)$，即$d(n)$是积性函数。

*积性函数另一个不太常用的性质：若$f(n)$是积性函数，则或者$f(n)$是值为$0$的常值函数，或者$f(1)=1$。

证明十分容易，因为$(n,1)=1$，所以$f(n)=f(1)\times f(n)$，则$f(n)=0$或者$f(1)=$