0. 前言

本篇文章会从狄利克雷卷积的角度，讨论莫比乌斯函数与欧拉函数的相关性质。

或者说就是利用狄利克雷卷积重新证一遍这两个函数的性质以及弄出几个新的式子。

其实我觉得这块还是挺妙的，也可能是我做 DP 和数据结构做疯了（

1. 前置知识

首先您需要知道欧拉函数，狄利克雷卷积，莫比乌斯函数+莫比乌斯反演。

如果不知道，可以搜索别人的博文或者前往我的博文进行学习：

• 数学/数论专题-学习笔记：欧拉函数
• 数学/数论专题-学习笔记：狄利克雷卷积
• 数学/数论专题-学习笔记：莫比乌斯反演

接下来是一些必要的前置知识与性质，有些前面的博文有但是我会再提一遍。

$[A]$ 表示 $A$ 为真时值为 1，否则为 0。

五类数论函数：

• 单位（元）函数/元函数 $ϵ(n)=[n=1]$。
• 常数函数 $I(n)=1$，或者记作 $1(n)=1$。
• 恒等函数 $id(n)=n$。
• 欧拉函数 $\phi (n)={\sum }_{i=1}^n[\gcd (i,n)=1]$
• 莫比乌斯函数 $\mu (n)$。

两个基础定义：

• 积性函数：对于数论函数 $f(n)$，若 $\gcd (i,j)=1$ 时有 $f(ij)=f(i)f(j)$，则 $f(n)$ 是积性函数。特别的，若 $\gcd (i,j)\ne 1$ 时仍有 $f(ij)=f(i)f(j)$，那么 $f(n)$ 是完全积性函数。
• 逆元：对所有 $f(1)\ne 0$ 的函数，如果 $f\ast g=ϵ$，那么 $g$ 是 $f$ 的逆元，记作 $f^{-1}$。

一个基础性质：

• 设 $f(n),g(n)$ 是积性函数，则 $f\ast g$ 还是积性函数。
• 对任意数论函数 $f(n)$，$f\ast ϵ=f$

2. 正文

先看莫比乌斯函数。

首先，莫比乌斯函数有个性质，就是 $I\ast \mu =ϵ$，即 $\mu =I^{-1}$。

然后令 $g=I\ast f$，根据 $f=f\ast ϵ=f\ast I\ast \mu =g\ast \mu$ 我们就得到了莫比乌斯反演的式子。

从狄利克雷卷积角度，很容易证明 ${\sum }_{d\mid n}\mu (d)=[n=1]$，因为 $I\ast \mu =ϵ$ 展开就是这个式子。

对于另一个莫比乌斯反演的式子，就是新定义 $t=f\oplus g$ 为 $t(i)={\sum }_{i\mid n}f(n)g(\frac{n}{i})$ 然后推式子。

然后就没什么新鲜的性质了。

---

然后是欧拉函数。

证明一个性质：$\phi \ast I=id$，即 ${\sum }_{d\mid n}\phi (d)=n$。

首先因为 $\phi ,I$ 都是积性函数，故 $\phi \ast I$ 还是积性函数，因此只需要证明 $(\phi \ast I)(p^k)=p^k$ 即可，其中 $p$ 是质数，$k\ge 1$。

这玩意的证明就是根据 $\phi (p^k)=p^k-p^{k-1}$，然后将这个 $(\phi \ast I)(p^k)$ 展开就可证明了。

狄利克雷卷积的优势就在于证明积性函数这一步直接就证完了，没必要暴力展开。

---

根据这几点开始搞事情，我们发现莫反的展开式与上面欧拉函数的性质展开式貌似很像。

$g(n)={\sum }_{d\mid n}f(d)\Rightarrow f(n)={\sum }_{d\mid n}g(d)\mu (\frac{n}{d}),n={\sum }_{d\mid n}\phi (n)$。

因此如果将 $g$ 替换成 $id$，将 $f$ 替换成 $\phi$，我们发现上述式子依然成立，因为 $id=I\ast \phi$，然后带入莫反式可得 $\phi =id\ast \mu$，这就是 $\phi$ 与 $\mu$ 的关系。

展开一下得到：

$$\phi (n)=\sum _{d\mid n}d\mu (\frac{n}{d})$$

另外，变一下得到 $\phi (n)={\sum }_{d\mid n}\frac{n}{d}\mu (d)$，然后两边同时除以 $n$，得到：

$$\frac{\phi (n)}{n}=\sum _{d\mid n}\frac{\mu (d)}{d}$$

这两个式子可以将 $\mu$ 与 $\phi$ 互相转化（当然可以直接 $\phi =id\ast \mu$），顺便消去一个求和符号。

3. 总结

本篇文章从狄利克雷卷积的角度，推理了各种性质，最后得到了 $\phi =id\ast \mu$ 也就是 $\frac{\phi (n)}{n}={\sum }_{d\mid n}\frac{\mu (d)}{d}$。

4. 参考资料

• 杜教筛 - pengym - 博客园
• 【学习笔记】欧拉函数&莫比乌斯函数（概念定理） - star_duster - 博客园