贝尔级数

贝尔级数

符号:

(cdot)表示函数点乘,(*)表示迪利克雷卷积

(p)无特殊声明均表示质数。


定义(f)在模(p)意义下的贝尔级数:

(f_p(x)=sum_{0leq i} f(p^i)x^i)


(f)是完全积性函数则有:

(f_p(x)=sum_{0leq i} f(p)^ix^i)

根据等比数列求和公式可得:

(f_p(x)=frac{1}{1-f(p)x})


根据函数定义可得:

(e_p(x)=1),(1_p(x)=frac{1}{1-x})


因为函数(ID)为完全积性,所以其函数为:

(ID_p(x)=frac{1}{1-px})

同样也可得:(ID_k(x)=x^k,(ID_k)_p(x)=frac{1}{1-p^kx})


(mu(x))有对于任意(k>2,mu(p^k)=0)

因此只有两项有非零系数,

(mu_p(x)=1-x,mu^2(x)=1+x,(IDcdot mu)_p(x)=1-px)


重要结论:

((f* g)_p(x)=f_p(x)g_p(x))

证明:

((f* g)(n)=sum_{d|n} f(d)g(n/d))

((f* g)(p^n)=sum_{i=0}^n f(p^i)g(p^{n-i}))

((f* g)_p(x)=sum_{0leq i} sum_{j=0}^{i} f_p(x)[j]g_p(x)[i-j])

((f* g)_p(x)=f_p(x)g_p(x))


因为(phi=mu* ID,d=1*1,s=1*id),

(phi_p(x)=frac{1-x}{1-px},d_p(x)=frac{1}{1-2x-x^2},s_p(x)=frac{1}{1-x-px+px^2})

(sigma_k(n)=sum_{d|n} d^k=1*ID_k)

(sigma_k(x)=frac{1}{(1-p^kx)(1-x)})


有一个少见的函数(lambda(x)) (刘维尔函数)

定义:

(for x=prod p_i^{a_i} , sum a_i=z, lambda(x)=(-1)^z)

显然此函数完全积性,带入公式有:

(lambda_p(x)=frac{1}{1+x})


重要定理,也是应用基石:

对于两个积性函数(f(x),g(x))

如果有(f_p(x)=g_p(x)) ,那么(f(x)=g(x))

证明: (forall x=prod p_i^{a_i},f(x)=prod f(p_{i}^{a_i})=prod f_{p_i}(x)[a_i]=prod g_{p_i}(x)[a_i]=g(x))


不重要定理:

如果一个积性函数(f)和任何算数函数(g)满足(f(p^{n+1})=f(p)f(p^n)-g(p)f(p^{n-1})) 对于所有的(p)(ngeq 1)

那么有(f_p(x)=frac{1}{1-f(p)x+g(p)x^2})

证明:

考虑这个类似于生成函数的东西,用类似生成函数次数平移对齐相减的方式,补齐

(f_p(x)=f(p)f_p(x)x-g(x)f_p(x)x^2+1)

但实际上很蠢,目前感觉也妹啥用处。


不重要函数:

定义(mu_k(n)=sum_{d^k|n} mu_{k-1}(frac{n}{d^k})mu_{k-1}(frac{n}{d}))

((mu_k)_p(x)=frac{1-2x^k+x^{k+1}}{1-x})

证明:

将式子数学归纳法,可以得到这个序列实际上是(+1,-1)交替的序列

上式大除法即为交替序列。


贝尔级数类似于数论领域的生成函数,给我们提供了一种解决迪利克雷卷积的简便方式,提供了凑式子的方向。

下为例子:


首先回顾一下杜教筛,杜教筛的流程是先求一个好求得前缀和,然后后面的部分数论分块递归处理。注意到递归处理绝不是难点,所以杜教筛的难度在求卷积后性质良好的前缀和。


Ques:求(sum_{i=1}^n iphi(i))

首先通过等比数列求和的方式先得到一个 (icdot phi)的贝尔级数

((icdot phi)_p(x)=frac{1-px}{1-p^2x})

注意到((ID^2)_p(x)=frac{1}{1-p^2x})这个前缀和显然很好求,又有(ID_p(x)=frac{1}{1-px})

所以把它和(ID)卷一卷。


Ques:求(sum_{i=1}^n sum_{d|i} mu^2(d)frac{n}{d}mu(frac{n}{d}))

首先容易发现这个求前缀和的函数实际上是(mu^2*(IDcdotmu))

写出贝尔级数((1+x)(1-px)) ,很套路的发现卷(ID)可得(mu^2)

(mu^2)不难求,按照因数个数进行容斥:

(sum_{i=1}^n mu^2(i)=sum_{ileqsqrt n} lfloorfrac{n}{i^2} floormu(i))

杜教筛即可。


Ques:(f(1)=1,f(p^c)=p^c+(-1)^c),且(f)为积性函数。

看上去像(f_p(x)=ID_p(x)+lambda_p(x)),但第一项不太对,修一下变成

(f_p(x)=ID_p(x)+lambda_p(x)-e_p(x))

贝尔级数:(frac{1-px^2}{(1-px)(1+x)})

有没有发现分母跟上题的贝尔级数一模一样?卷一下继续杜教筛。

原文地址:https://www.cnblogs.com/Atoner/p/13072644.html