一些狄利克雷卷积性质的证明

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

以上是关于一些狄利克雷卷积性质的证明的主要内容,如果未能解决你的问题,请参考以下文章

数论入门——莫比乌斯函数,欧拉函数,狄利克雷卷积,线性筛,莫比乌斯反演,杜教筛

(转)Gamma分布,Beta分布,Multinomial多项式分布,Dirichlet狄利克雷分布

LibreOJ - 6053(积性函数前缀和,pn筛角度)

LibreOJ - 6053(积性函数前缀和,pn筛角度)

算法狄利克雷卷积 & 莫比乌斯反演

狄利克雷卷积 && 莫比乌斯反演