【数学】狄利克雷卷积

一、前置知识

• 积性函数

二、定义

狄利克雷卷积（$\mathrm{D}\mathrm{i}\mathrm{r}\mathrm{i}\mathrm{c}\mathrm{h}\mathrm{l}\mathrm{e}\mathrm{t}\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{d}\mathrm{u}\mathrm{c}\mathrm{t}$），定义为在 数论函数 之间的一种二元运算，它是今后诸多算法如 莫比乌斯反演、杜教筛 的基础。

地雷卷积和懵逼繁衍

具体地：

$$(f\ast g)(n)=\sum _{xy=n}f(x)g(y)$$

或

$$(f\ast g)(n)=\sum _{d\mid n}f(d)g\left(\frac{n}{d}\right)$$

三、性质

1. 积性函数

若 $f,g$ 是积性函数，则 $f\ast g$ 也是积性函数。

首先 $(f\ast g)(1)=f(1)g(1)=1$。

当 $n\perp m$ 时：
$$\begin{array}{rl}(f\ast g)(n)\cdot (f\ast g)(m)& =\sum _{d_1\mid n}f(d_1)g\left(\frac{n}{d_1}\right)\cdot \sum _{d_2\mid m}f(d_2)g\left(\frac{m}{d_2}\right)\\ & =\sum _{d_1\mid n,d_2\mid m}f(d_1)g\left(\frac{n}{d_1}\right)f(d_2)g\left(\frac{m}{d_2}\right)\end{array}$$
因为 $n\perp m$，所以 $\forall d_1\mid n,d_2\mid m$ 有 $d_1\perp d_2$，那么 $f(d_1)f(d_2)=f(d_1{d}_2),g(d_1)g(d_2)=g(d_1{d}_2)$。

所以
$$\sum _{d_1\mid n,d_2\mid m}f(d_1)g\left(\frac{n}{d_1}\right)f(d_2)g\left(\frac{m}{d_2}\right)=\sum _{d_1\mid n,d_2\mid m}f(d_1{d}_2)g\left(\frac{nm}{d_1{d}_2}\right)$$
因为 $n\perp m$，所以 $nm$ 的因数都可以惟一地表示成 $n$ 的某个因数与 $m$ 的某个因数的乘积。

即
$$\begin{array}{r}\sum _{d_1\mid n,d_2\mid m}\end{array}$$