狄利克雷卷积

概念

设两个数论函数 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)=dnf(d)g(dn)

记为 h = f ∗ g h=f*g h=fg

狄利克雷卷积也满足交换律和结合律。

常见的狄利克雷卷积

μ ∗ I = ε ( μ 和 I 是互逆函数) μ ∗ I d = ϕ I ∗ I d = σ \begin{aligned} &\mu * I = \varepsilon &(\mu 和 I 是互逆函数) \\ &\mu * Id= \phi\\ &I * Id=\sigma \end{aligned} μI=εμId=ϕIId=σμI是互逆函数)

其中的函数解释:

  • ε \varepsilon ε 是单位函数, ε ( n ) = [ n = 1 ] \varepsilon(n)=[n=1] ε(n)=[n=1] ε \varepsilon ε 满足 f = f ∗ ε f=f*\varepsilon f=fε ,即任何一个函数卷上 ε \varepsilon ε 都等于原函数。
  • 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)=dn[gcd(d,n)=1] ,欧拉函数就是小于 n n n 的与它互质的数的个数。
  • σ \sigma σ 是约数函数, σ ( n ) = ∑ d ∣ n d \sigma(n)=\sum_{d|n}d σ(n)=dnd ,约数函数就是 n n n 的约数和。

其实还是比较好理解的,我们来证明一下。


对于 μ ∗ I = ε \mu*I=\varepsilon μ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=dnμ(d)I(dn)=dnμ(d)

由于莫比乌斯函数的性质(可以看看我的另一篇博客),我们可以知道只有当 n = 1 n=1 n=1 时, ∑ d ∣ n μ ( d ) \sum_{d|n} \mu(d) dnμ(d) 的值才为 1 1 1 ,也就跟 ε \varepsilon ε 一样了。


对于 μ ∗ 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=dnμ(d)Id(dn)=dnμ(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) dnμ(d)dn=ϕ(n)


对于 I ∗ I d = σ I * Id=\sigma IId=σ

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} IId=dnI(d)Id(dn)=dndn=dnd=σ(n)

你可能感兴趣的:(数论,狄利克雷卷积,狄利克雷乘积,数论,数学)