音乐播放器
violet
 
文章 标签
5

Powered by Gridea | Theme: Fog
载入天数...
载入时分秒...
总访问量:  |   访问人数:

Dirichlet 卷积

Dirichlet 卷积

定义

对于两个数论函数 f(x)f(x)g(x)g(x) , 则它们的狄利克雷卷积得到的结果 h(x)h(x) 定义为:

h(x)=dxf(d)g(xd)=ab=xf(a)g(b)h(x) = \sum_{d|x}f(d)g(\frac xd) = \sum_{ab = x} f(a)g(b)

上式简记为

h=fgh = f * g

狄利克雷卷积是数论函数的重要运算,数论函数的许多性质都是通过这个运算挖掘出来的。

狄利克雷卷积与狄利克雷生成函数(DGF)密切相关。对于两个序列 f,gf, g , 其狄利克雷生成函数之积,对应的是两者的狄利克雷卷积序列的狄利克雷生成函数:

F~(x)G~(x)=ijfigi(ij)x=i1ixdifdgid\tilde{F}(x)\tilde{G}(x) = \sum_{i} \sum_{j}\frac{f_i g_i}{(ij)^x} = \sum_{i} \frac{1}{i^x}\sum_{d|i}f_d g_\frac id

性质

交换律: fg=gff * g = g * f

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

分配率: (f+g)h=fh+gh(f + g) * h = f * h + g * h

等式的性质: f=gf = g 的充要条件是 fg=gff * g = g * f , 其中数论函数 h(x)h(x) 要满足 h(x)0h(x) \ne 0

单位元: 单位函数 ε\varepsilon 是 Dirichlet 卷积运算中的单位元,即对于任何数论函数 ff , 都有 fε=ff * \varepsilon = f

逆元: 对于任何一个满足 f(x)0f(x) \ne 0 的数论函数,如果有另一个数论函数 g(x)g(x) 满足 fg=εf * g = \varepsilon , 则称 g(x)g(x)f(x)f(x) 的逆元。由 等式的性质 可知,逆元是唯一的。(PS.狄利克雷卷积运算中的逆元,在狄利克雷生成函数中相当于倒数运算。)

容易构造出 g(x)g(x) 的表达式为:

g(x)=ε(x)dx,d1f(d)g(xd)f(1)g(x) = \dfrac{\varepsilon(x) - \sum_{d\mid x, d\ne 1}{f(d)g\left(\dfrac{x}{d}\right)}}{f(1)}

重要结论

两个积性函数的 Dirichlet 卷积也是积性函数

证明:

设两个积性函数为 f(x)f(x)g(x)g(x) , 再记 h=fgh = f * g

gcd(a,b)=1\gcd(a, b) = 1 ,则:

h(a)=d1af(d1)g(ad1),h(b)=d2bf(d2)g(bd2),h(a) = \sum_{d_1\mid a} f(d_1)g(\dfrac{a}{d_1}), h(b) = \sum_{d_2 \mid b}f(d_2)g(\frac{b}{d_2}),

所以:

h(a)h(b)=d1af(d1)g(ad1)d2bf(d2)g(bd2)=dabf(d)g(abd)=h(ab)\begin {aligned}h(a)h(b)&= \sum_{d_1\mid a}{f\left(d_1\right)g\left( \frac{a}{d_1}\right)}\sum_{d_2\mid b}{f(d_2)g\left(\dfrac b{d_2}\right)}\\ &= \sum_{d\mid ab}{f(d)g\left(\dfrac{ab}d \right)}\\&= h(ab) \end{aligned}

综合以上两点,结论成立。

证毕

积性函数的逆元也是积性函数

证明略(滑稽)