狄利克雷卷积

概念

设两个数论函数 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 = \epsilon &(\mu 和 I 是互逆函数) \\ &\mu * Id= \phi\\ &I * Id=\sigma \end{aligned} μI=ϵμId=ϕIId=σμ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)=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=\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=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 ,也就跟 ϵ \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=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)

  • 5
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值