一些狄利克雷卷积性质的证明
Posted nebulyu
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了一些狄利克雷卷积性质的证明相关的知识,希望对你有一定的参考价值。
1.(phi * I=id)
可以表示成(n=Sigma_{dmid n}phi(d))
对于证明这类的式子,一般有以下个步骤
1.证明(f(1))
2.证明(f(p))
3.证明(f(p^k))
4.证明(f(p_1^{k1}*p_2^{k2}))
5.证明普遍性
以欧拉函数的这一性质为例
1.(phi(1)=1),直接由定义得出
2.(phi(1)=1,phi(p)=p-1,phi(1)+phi(p)=p)
3.(Sigma^k_{i=0}phi(p^i)=1+Sigma^k_{i=1}phi(p^i)=1+Sigma^k_{i=1}p^{i-1}*(p-1)=1+(p-1)*(p^k-1)/(p-1)=p^k)
4.(p_1^{k1}*p_2^{k2}=Sigma_{d1mid p1^{k1}}phi(d1)*Sigma_{d2mid p2^{k2}}phi(d2)=Sigma_{dmid p_1^{k1}*p_2^{k2}}phi(d))
5.对于普遍的情况,依次拆成2个数利用性质4即可得出
即(phi * I=id)
2.(mu *I=epsilon)
这个性质并没有上面的复杂,只需要3个步骤即可证出
1.(mu(1)=1,epsilon(1)=1),由定义得
2.对于一个拥有重复质因子数的数,(mu(n)=0,epsilon(n)=0)
3.对于(n=Pi_{i=1}^kp_i),含有i项质数的项数为n-i+1,由组合数的性质(二项式定理)可得,奇项数等于偶项数,(mu(n)=0)
即(mu *I=epsilon)
3.(mu *id=phi)
由性质1,2可推出
4.在莫比乌斯反演中,有两条核心卷积式
1.(F=I*f)
2.(f=mu *F)
2式可由1式与性质2推得,用卷积来推要比直接拆开方便理解很多
? ——2020.5.4
以上是关于一些狄利克雷卷积性质的证明的主要内容,如果未能解决你的问题,请参考以下文章
数论入门——莫比乌斯函数,欧拉函数,狄利克雷卷积,线性筛,莫比乌斯反演,杜教筛