Processing math: 100%

狄利克雷卷积与莫比乌斯反演(理论篇)

在之前的blog中已经对数论函数进行了简单的介绍,这里对其进行更加深入的讨论。
定义两个数论函数的加法:(f+g)(n)=f(n)+g(n)
数乘:(xf)(n)=xf(n)
狄利克雷卷积(用符号表示):
若有t(n)=(fg)(n),则(fg)(n)=inf(i)g(ni)=ij=nf(i)g(j)
有的时候我们会简写为t=fg,省略后面的括号。
接下来给出一些关于狄利克雷卷积的性质。证明略,毕竟公式太难打了(懒
1.交换律:fg=gf
2.结合律:(fg)h=f(gh)
3.分配律:(f+g)h=fh+gh
4.数乘性质:(xf)g=x(fg)
5.εf=f(这就是ε被称为是“单位函数”的原因)
6.对于一个满足f(1)0的数论函数f,存在数论函数g使得fg=ε
我们称gf的狄利克雷逆元,或简称是f的逆。
不难证明g(n)=1f(1)([n=1]in,i1f(i)g(ni))
以上为狄利克雷卷积的最基本的性质。这里给出两个更加重要的性质:
7.两个积性函数的狄利克雷卷积是积性函数。
t=fg,则:
t(nm)=dnmf(d)g(nmd)=an,bmf(ab)g(nmab)=an,bmf(a)f(b)g(na)g(mb)=(anf(a)g(na))(bmf(b)g(mb))=t(n)t(m)
8.积性函数的逆是积性函数。
fg=ε,其中已知f是积性函数,于是f(1)=1
根据那个逆元的式子有g(n)=[n=1]in,i1f(i)g(ni)
使用数学归纳法。当nm=1时,g(nm)=g(1)=1,成立。
nm>1时:
g(nm)=inm,i1f(i)g(nmi)=an,bm,ab1f(ab)g(nmab)=an,bm,ab1f(a)f(b)g(na)g(mb)=f(1)f(1)g(n)g(m)an,bmf(a)f(b)g(na)g(mb)=g(n)g(m)ε(n)ε(m)=g(n)g(m)

这样我们就完成了证明。

我们定义1的逆为μ。由前面的性质知μ也是积性函数。
我们尝试求出μ(n)的值。因为这是个积性函数,于是只需考虑μ(pk)即可。
直接代入定义,最终可得:
μ(pk)={1,k=01,k=10,k>1
于是
μ(n)={(1)k,n=p1p2p3pk0,otherwise

莫比乌斯反演:
g=f1f=gμ这不是废话吗
展开来写就是g(n)=dnf(d)f(n)=dnμ(nd)g(d)
其实我们还有另一个方向上的莫反:
g(x)=xyf(y)f(x)=xyμ(yx)g(y)

作者:pjykk

出处:https://www.cnblogs.com/pjykk/p/14378549.html

版权:本作品采用「署名-非商业性使用-相同方式共享 4.0 国际」许可协议进行许可。

posted @   pjykk  阅读(133)  评论(0编辑  收藏  举报
编辑推荐:
· 智能桌面机器人:用.NET IoT库控制舵机并多方法播放表情
· Linux glibc自带哈希表的用例及性能测试
· 深入理解 Mybatis 分库分表执行原理
· 如何打造一个高并发系统?
· .NET Core GC压缩(compact_phase)底层原理浅谈
阅读排行:
· 新年开篇:在本地部署DeepSeek大模型实现联网增强的AI应用
· DeepSeek火爆全网,官网宕机?本地部署一个随便玩「LLM探索」
· Janus Pro:DeepSeek 开源革新,多模态 AI 的未来
· 互联网不景气了那就玩玩嵌入式吧,用纯.NET开发并制作一个智能桌面机器人(三):用.NET IoT库
· 上周热点回顾(1.20-1.26)
more_horiz
keyboard_arrow_up dark_mode palette
选择主题
点击右上角即可分享
微信分享提示