数论 狄利克雷卷积（狄利克雷乘积）

假设现在有两个数论函数$f(n)、g(n)$，那么它们的狄利克雷卷积（乘积）也是一个数论函数。
记他们的狄利克雷卷积为$h(n)$，则有：$$h(n)=\sum _{d|n,d>0}f(d)g(\frac{n}{d})$$
简记为$h(n)=f(n)\ast g(n)$

狄利克雷卷积的性质

1、满足结合律
2、满足交换律
3、对加法满足分配律
4、两个积性函数的狄利克雷卷积还是积性函数

---

数论函数

常数函数： $n(i)=n$ （一直返回一个常数）

一些常见的积性函数

• 单位元函数：$e(n)=[n=1]$
  它卷积上任意的数论函数仍为原来的数论函数，即满足 $f\ast e=e\ast f=f$

• 幂函数：$i{d}^k(n)=n^k$,完全积性。

• 单位函数：$id(n)=n$，完全积性，相当于$i{d}^1$。

• 恒等函数：$I(n)=1$(也就是常数值函数，只是刚好这个常数等于 1)，完全积性，相当于 $i{d}^0$。

• 欧拉函数：$\phi (n)={\sum }_{i=1}^n[(n,i)=1]\cdot 1$,表示小于等于$n$并且与$n$互质的数的个数

• 除数函数：${\sigma }_k(n)={\sum }_{d|n}{d}^k$，表示$n$的约数的$k$次幂和，注意${\sigma }_k(n)$与 ${\sigma }^k(n)$ 是不同的。

• 约数和函数：$\sigma (n)={\sigma }_1(n)={\sum }_{d|n}d$,表示$n$的约数之和（∑）

• 约数个数函数： $\tau (n)={\sigma }_0(n)={\sum }_{d|n}1$，表示$n$的约数的个数，一般也写为$d(n)$

• 莫比乌斯函数：$\mu (n)$,在狄利克雷卷积的乘法中与恒等函数$I(n)=1$互为逆元，即有：
  $\mu \ast I=e$
  并且 $\mu (1)=1$
  对于无平方因指数$n={\prod }_{i=1}^t{p}_i有\mu (n)=(-1{)}^t$
  对于有平方因子数$n$有$\mu (n)=0$
  如下图：
  

四条常用的狄利克雷卷积

①：$I\ast \mu =e$ ,(即 $I$和 $\mu$ 互为逆元)
②：$\mu \ast id=\phi$
③：$I\ast id=\sigma$
④：$I\ast I=\tau$

莫比乌斯反演

设$F(n)={\sum }_{d|n}f(d)$
通过简单的狄利克雷卷积运算能够轻易地证明出莫比乌斯反演：
$f(d)={\sum }_{d|n}\mu (d)\cdot F(\frac{n}{d})$

两个重要结论

结论①：$n={\sum }_{d|n}\phi (d)$
结论②：$\sigma (n)={\sum }_{d|n}\tau (d)\ast \phi (\frac{n}{d})$

二项式反演

由 $A_i={\sum }_{j=0}^i{C}_i^j\cdot B_j$ ，反演得：$B_i={\sum }_{j=0}^i(-1{)}^j\cdot C_i^j\cdot A_j$

参考来源

推荐博客
https://blog.csdn.net/liyizhixl/article/details/79997478?tdsourcetag=s_pcqq_aiomsg
博客
https://dimensiontripper.github.io/2018/10/29/Dirichlet_Product/
百度百科
https://baike.baidu.com/item/%E7%8B%84%E5%88%A9%E5%85%8B%E9%9B%B7%E4%B9%98%E7%A7%AF/18903903?fromtitle=%E7%8B%84%E5%88%A9%E5%85%8B%E9%9B%B7%E5%8D%B7%E7%A7%AF&fromid=23704238&fr=aladdin