【原创】积性函数和狄利克雷卷积学习笔记 未完成

狄利克雷卷积和积性函数

〇、说在前面

作为杜教筛，FWT等等等的前置知识。
工作量终于比较小一些了。

一、一些定义

1.数论函数

对于函数$y=f(x)$，如果定义域为$x\in Z^{+}$，值域为$f(x)\in C$，则称f(x)为数论函数。

个人理解：数论中只有整数（基本上都是非负）嘛，所以数论函数就是整数集合（此处为正整数）的一个函数嘛。
数论函数是不是可以类比于数列？

2.积性函数与完全积性函数

(1)定义

对于数论函数$y=f(x)$，$若\forall x_1,x_2\in Z^{+}\&\gcd (x_1,x_2)=1，f(x_1\times x_2)=f(x_1)\times f(x_2)并且f(1)=1$，则称f(x)为积性函数。
也就是说对于数论函数f(x)，如果f(x)=1，并且任意两个互质的正整数的函数值的乘积等于这两个数的乘积的函数值。

（吐槽）这句话（虽然都是我自己说的）说的还是挺好玩的嘛，函数值的乘积，乘积的函数值。
话说回来……
我是不是完全搞错了引用块的用途啊。

特别的，如果说一个数论函数$y=f(x)$满足$\forall x_1,x_2\in Z^{+},f(x_1\times x_2)=f(x_1)\times f(x_2)$，则称$f(x)$为完全积性函数。

(2)举例

①（普通）积性函数

名称	符号	解释
除数函数	${\sigma }_k(n)$	${\sigma }_k(n)={\sum }_{d\mid n}{d}^k$，$\sigma$为小写sigma
因数个数函数	$\tau (n)$	$\tau (n)={\sum }_{d\mid n}1$，就是除数函数的k取0时的情况，$\tau$为小写tau
因数和函数	$\sigma (n)$	$\sigma (n)={\sum }_{d\mid n}d$，就是除数函数的k取1时的情况
欧拉函数	$\phi (n)$	$\phi (n)={\sum }_{i=1}^n[\gcd (i,n)=1]$，$\phi$为小写phi，KaTeX中是\varphi
莫比乌斯函数	$\mu (n)$	$$\mu (n)=\{\begin{array}{rl}& 1,n=1\\ & (-1{)}^t,n=\prod _{p_{i}isaprime}^{1\le i\le t}{p}_i\\ & 0,otherwise\\ & 意会一下就好了，今天\mu (n)不是主角\end{array}$$

②完全积性函数

名称	符号	解释
元函数	$e(n)$	$e(n)=[n=1]$
幂函数	$i{d}_k(n)$	$i{d}_k(n)=n^k$
恒等函数	$id(n)$	$id(n)=n,就是k=1的幂函数$
单位函数	$I(n)$	$I(n)=1，就是i{d}_0(n)$

(3)性质

不想引入过多结论。

对于积性函数$y=f(n)$,$\forall n={\prod }_{i=1}^t{p}_i^{k_i},f(n)={\prod }_{i=1}^{t}f(p_i^{k_i})$；特别的，对于完全积性函数，$f(n)={\prod }_{i=1}^{t}f(p_i^{k_i})={\prod }_{i=1}^{t}f(p_i{)}^{k_i}$。

应该还是比较显然吧。
就是把一个数质因数分解，原数的积性函数值等于各质因子的若干次方的积性函数值的和。

二、狄利克雷卷积

1.定义

对于数论函数$f(x),g(x)$，定义一种二元运算（就是在两个东西之间进行运算的符号）叫做狄利克雷卷积，得到的还是一个数论函数，形如$(f\ast g)(n)$。
然后：$$f\ast g=(f\ast g)(n)=\sum _{d|n}f(d)\cdot g(\frac{n}{d})$$

然后注意区分乘法$\times$和卷积$\ast$。

2.性质

交换律：$f\ast g=g\ast f$，这个就使用显然法显过去吧。
结合律：$(f\ast g)\ast h=f\ast (g\ast h)$，很简单，稍微证一下：

$$左边=\left(\sum _{d|n}f\left(d\right)\cdot g\left(\frac{n}{d}\right)\right)\ast h(n)$$