数论专题——Dirichlet卷积及积性函数初步

本文详细介绍了Dirichlet卷积的概念及其性质,包括交换律、结合律、分配律和单位元的特性。同时,深入探讨了积性函数的定义与常见类型,如除数函数、约数个数函数、约数和函数、欧拉函数、莫比乌斯函数等,并讨论了它们在卷积运算中的应用。

Dirichlet卷积定义

若有两个函数fffggg,则其DirichletDirichletDirichlet卷积为(∗*为卷积,为避免混淆,乘号用×\times×表示)
f(n)∗g(n)=∑d∣nf(d)g(nd) f(n) * g(n)= \sum_{d|n}f(d)g(\frac{n}{d}) f(n)g(n)=dnf(d)g(dn)

性质
简单性质

交换律:f∗g=g∗ff*g=g*ffg=gf

结合律:(f∗g)∗h=f∗(g∗h)(f*g)*h=f*(g*h)(fg)h=f(gh)

分配律:f∗(g+h)=f∗g+f∗hf*(g+h)=f*g+f*hf(g+h)=fg+fh

单位元

定义元函数:ϵ(n)=[n=1]\epsilon(n)=[n=1]ϵ(n)=[n=1]

其中[a][a][a]指如果aaa为真,其值为1,反之则为0。

所以f∗ϵ=ϵ∗f=ff*\epsilon=\epsilon*f=ffϵ=ϵf=f

证明:f(n)∗ϵ(n)=∑d∣nf(d)ϵ(nd)f(n)*\epsilon(n)=\sum_{d|n}f(d)\epsilon(\frac{n}{d})f(n)ϵ(n)=dnf(d)ϵ(dn)
∵当nd≠1时⟹ϵ(nd)=0⟹f(d)ϵ(nd)=0\because \qquad 当\frac{n}{d} \neq 1时 \Longrightarrow\epsilon(\frac{n}{d})=0\Longrightarrow f(d)\epsilon(\frac{n}{d})=0dn=1ϵ(dn)=0f(d)ϵ(dn)=0
∴f(n)∗ϵ(n)=∑d∣n且d≠nf(d)ϵ(nd)+f(n)ϵ(1)=f(n)\therefore \qquad f(n)*\epsilon(n)=\sum_{d|n且d\neq n}f(d)\epsilon(\frac{n}{d})+f(n)\epsilon(1)=f(n)f(n)ϵ(n)=dnd=nf(d)ϵ(dn)+f(n)ϵ(1)=f(n)

积性函数

对于一个函数fff,若对于所有互质的正整数a,ba,ba,b,均有f(ab)=f(a)f(b)f(ab)=f(a)f(b)f(ab)=f(a)f(b),则fff为一个积性函数。

数学语言:对于函数fff,若对于∀a,b∈N+,gcd(a,b)=1\forall a,b \in N^+,gcd(a,b)=1a,bN+,gcd(a,b)=1,都有f(ab)=f(a)f(b)f(ab)=f(a)f(b)f(ab)=f(a)f(b),则fff为一个积性函数。

好处:便于快速处理函数值

性质:对于两个积性函数f,gf,gf,gf∗gf*gfg也为积性函数

常见的积性函数

1.除数函数:nnn的约数的kkk次幂之和,σk(n)=∑d∣ndk\sigma_k(n)=\sum_{d|n} d^kσk(n)=dndk

2.约数个数函数:nnn的约数个数,d(n)=σ0(n)=∑d∣n1d(n)=\sigma_0(n)=\sum_{d|n}1d(n)=σ0(n)=dn1

3.约数和函数:nnn的所有约数之和,σ(n)=σ1(n)=∑d∣nd\sigma(n)=\sigma_1 (n)=\sum_{d|n}dσ(n)=σ1(n)=dnd

4.欧拉函数:[1,n][1,n][1,n]中与nnn互质的数的个数,ϕ(n)=φ(n)=∑ni=1[gcd(i,n)=1]\phi(n)=\varphi(n)=\sum_{n}^{i=1}[gcd(i,n)=1]ϕ(n)=φ(n)=ni=1[gcd(i,n)=1]

5.莫比乌斯函数:定义式:

对于一个数nnn{∑d∣nμ(d)}=[n=1]\{\sum_{d|n}\mu(d)\}=[n=1]{dnμ(d)}=[n=1]

nnn不等于111时,nnn所有因子的莫比乌斯函数值的000

求解该递归式:μ(n)={0n有平方因子(−1)totherwise \mu(n)=\left\{ \begin{aligned} 0\qquad n有平方因子 \\ (-1)^t \qquad otherwise\\ \end{aligned} \right. μ(n)={0n(1)totherwise
其中tttnnn质因子个数

6.元函数:ϵ(n)=[n=1]\epsilon(n)=[n=1]ϵ(n)=[n=1]

7.幂函数:nnnkkk次方。Idk(n)=nkId_k(n)=n^kIdk(n)=nk

8.恒等函数:I(n)=Id0(n)=1I(n)=Id_0(n)=1I(n)=Id0(n)=1

9.单位函数:Id(n)=Id1(n)=nId(n)=Id_1(n)=nId(n)=Id1(n)=n

一些恒等式

I(n)∗I(n)=∑d∣nI(d)I(nd)=∑d∣n1=d(n),即I∗I=dI(n)*I(n)=\sum_{d|n}I(d)I(\frac{n}{d})=\sum_{d|n}1=d(n),即I*I=dI(n)I(n)=dnI(d)I(dn)=dn1=d(n),II=d
Id(n)∗I(n)=∑d∣nId(d)I(nd)=∑d∣nd=σ(n),即Id∗I=σId(n)*I(n)=\sum_{d|n}Id(d)I(\frac{n}{d})=\sum_{d|n}d=\sigma(n),即Id*I=\sigmaId(n)I(n)=dnId(d)I(dn)=dnd=σ(n),IdI=σ
μ(n)∗I(n)=∑d∣nμ(d)I(nd)=∑d∣nμ(d)=ϵ(n),即μ∗I=ϵ\mu(n)*I(n)=\sum_{d|n}\mu(d)I(\frac{n}{d})=\sum_{d|n}\mu(d)=\epsilon(n),即\mu*I=\epsilonμ(n)I(n)=dnμ(d)I(dn)=dnμ(d)=ϵ(n),μI=ϵ
φ\varphiφ的定义知,它还可以表示分母为nnn的最简真分数个数。
所以列出分数1n,2n,3n,...,nn\frac{1}{n},\frac{2}{n},\frac{3}{n},...,\frac{n}{n}n1,n2,n3,...,nn,再约分,以分母分别统计可得
φ(n)∗I(n)=∑d∣nφ(d)I(nd)=∑d∣nφ(d)=n=Id(n),即φ∗I=Id\varphi(n)*I(n)=\sum_{d|n}\varphi(d)I(\frac{n}{d})=\sum_{d|n}\varphi(d)=n=Id(n),即\varphi*I=Idφ(n)I(n)=dnφ(d)I(dn)=dnφ(d)=n=Id(n),φI=Id
∵φ∗I=Id\because \qquad \varphi*I=IdφI=Id
∴φ∗I∗μ=Id∗μ\therefore \qquad \varphi*I*\mu=Id*\muφIμ=Idμ
∴φ∗ϵ=Id∗μ\therefore \qquad \varphi*\epsilon=Id*\muφϵ=Idμ
∴φ=Id∗μ\therefore \qquad \varphi=Id*\muφ=Idμ

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值