概念
设两个数论函数 f ( n ) , g ( n ) f(n),g(n) f(n),g(n) ,则他们的狄利克雷卷积也是一个数论函数,我们设 f ( n ) , g ( n ) f(n),g(n) f(n),g(n) 的狄利克雷卷积的函数为 h ( n ) h(n) h(n) ,狄利克雷卷积的定义为:
h ( n ) = ∑ d ∣ n f ( d ) ⋅ g ( n d ) h(n)=\sum_{d|n}f(d)\cdot g(\frac{n}{d}) h(n)=d∣n∑f(d)⋅g(dn)
记为 h = f ∗ g h=f*g h=f∗g 。
狄利克雷卷积也满足交换律和结合律。
常见的狄利克雷卷积
μ ∗ I = ϵ ( μ 和 I 是互逆函数) μ ∗ I d = ϕ I ∗ I d = σ \begin{aligned} &\mu * I = \epsilon &(\mu 和 I 是互逆函数) \\ &\mu * Id= \phi\\ &I * Id=\sigma \end{aligned} μ∗I=ϵμ∗Id=ϕI∗Id=σ(μ和I是互逆函数)
其中的函数解释:
- ε \varepsilon ε 是单位函数, ϵ ( n ) = [ n = 1 ] \epsilon(n)=[n=1] ϵ(n)=[n=1] , ϵ \epsilon ϵ 满足 f = f ∗ ϵ f=f*\epsilon f=f∗ϵ ,即任何一个函数卷上 ϵ \epsilon ϵ 都等于原函数。
- I I I 是常数函数, I ( n ) = 1 I(n)=1 I(n)=1 。
- I d Id Id 是恒等函数, I d ( n ) = n Id(n)=n Id(n)=n
- μ \mu μ 是莫比乌斯函数,有关莫比乌斯函数的定义可以看看我的另一篇博客。
- ϕ \phi ϕ 是欧拉函数, ϕ ( n ) = ∑ d ≤ n [ g c d ( d , n ) = 1 ] \phi(n)=\sum_{d\leq n}[gcd(d,n)=1] ϕ(n)=∑d≤n[gcd(d,n)=1] ,欧拉函数就是小于 n n n 的与它互质的数的个数。
- σ \sigma σ 是约数函数, σ ( n ) = ∑ d ∣ n d \sigma(n)=\sum_{d|n}d σ(n)=∑d∣nd ,约数函数就是 n n n 的约数和。
其实还是比较好理解的,我们来证明一下。
对于 μ ∗ I = ϵ \mu*I=\epsilon μ∗I=ϵ 。
μ ∗ I = ∑ d ∣ n μ ( d ) ⋅ I ( n d ) = ∑ d ∣ n μ ( d ) \begin{aligned} \mu*I&=\sum_{d|n} \mu(d)\cdot I(\frac{n}{d})\\ &=\sum_{d|n} \mu(d) \end{aligned} μ∗I=d∣n∑μ(d)⋅I(dn)=d∣n∑μ(d)
由于莫比乌斯函数的性质(可以看看我的另一篇博客),我们可以知道只有当 n = 1 n=1 n=1 时, ∑ d ∣ n μ ( d ) \sum_{d|n} \mu(d) ∑d∣nμ(d) 的值才为 1 1 1 ,也就跟 ϵ \epsilon ϵ 一样了。
对于 μ ∗ I d = ϕ \mu * Id= \phi μ∗Id=ϕ 。
μ ∗ I d = ∑ d ∣ n μ ( d ) ⋅ I d ( n d ) = ∑ d ∣ n μ ( d ) ⋅ n d \begin{aligned} \mu*Id&=\sum_{d|n}\mu(d)\cdot Id(\frac{n}{d})\\ &=\sum_{d|n}\mu(d)\cdot \frac{n}{d} \end{aligned} μ∗Id=d∣n∑μ(d)⋅Id(dn)=d∣n∑μ(d)⋅dn
于是我们可以把它看做容斥。
当
d
=
1
d=1
d=1 时, 也就相当于加了一个
n
n
n 。
当
d
d
d 是一个质数时,也就相当于减去所有质因数的倍数的个数,其中会多减。
当
d
d
d 是两个不相等的质数的乘积时,也就相当于减去两两质因数相乘的倍数的个数,其中又会多加。
最后,我们可以发现
∑
d
∣
n
μ
(
d
)
⋅
n
d
=
ϕ
(
n
)
\sum_{d|n}\mu(d)\cdot \frac{n}{d}=\phi(n)
∑d∣nμ(d)⋅dn=ϕ(n) 。
对于 I ∗ I d = σ I * Id=\sigma I∗Id=σ 。
I ∗ I d = ∑ d ∣ n I ( d ) ⋅ I d ( n d ) = ∑ d ∣ n n d = ∑ d ∣ n d = σ ( n ) \begin{aligned} I*Id&=\sum_{d|n}I(d)\cdot Id(\frac {n}{d})\\ &=\sum_{d|n}\frac{n}{d}\\ &=\sum_{d|n}d\\ &=\sigma(n) \end{aligned} I∗Id=d∣n∑I(d)⋅Id(dn)=d∣n∑dn=d∣n∑d=σ(n)