莫比乌斯反演学习笔记

数论函数

定义:定义域是正整数,值域是复数的函数。

狄利克雷卷积

  1. 定义:

(fg)(n)=dn,dNf(d)g(nd)=dn,dNf(nd)g(d)\begin{aligned} (f\ast g)(n)=&\sum_{d|n,d\in{\mathbb{N}}}{f(d)\cdot g\bigg(\dfrac{n}{d}\bigg)}\\ =&\sum_{d|n,d\in{\mathbb{N}}}{f\bigg(\dfrac{n}{d}\bigg)\cdot g(d)} \end{aligned}

常用的数论函数

  1. 单位函数:

ε(n)={1n=10其它\varepsilon(n)= \begin{cases} 1& n=1\\ 0& \text{其它} \end{cases}

  1. 幂函数:

Idk(n)=nkId_{k}(n)=n^k

  • k=1k=1 时,Idk(n)Id_{k}(n) 可以表示为 Id(n)Id(n)
  • k=0k=0 时,Idk(n)Id_{k}(n) 可以表示为 I(n)I(n)
  1. 除数函数:

σk(n)=dndk\sigma_{k}(n)=\sum_{d|n}{d^k}

  1. 欧拉函数

φ(n)=ni=1kpi1pi\varphi(n)=n\cdot\prod_{i=1}^{k}{\dfrac{p_i-1}{p_i}}

积性函数

  1. 定义:积性函数是指对于所有互质的正整数 a,ba,b,都有 f(ab)=f(a)f(b)f(ab)=f(a)\cdot f(b) 的数论函数。
    另:完全积性函数指任意两个正整数 a,ba,b,都有 f(ab)=f(a)f(b)f(ab)=f(a)\cdot f(b) 的数论函数。

  2. 性质:若 ff 是一个积性函数,那么 f(1)=1f(1)=1

狄利克雷卷积的常用定理

  1. f,gf,g 都是积性函数,那么 fgf\ast g 也是积性函数。
  2. 交换律:fg=gff\ast g=g\ast f
  3. 结合律:(fg)h=f(gh)(f\ast g)\ast h=f\ast(g\ast h)
  4. 分配律:f(g+h)=fg+fhf\ast(g+h)=f\ast g+f\ast h

常用的特殊狄利克雷卷积

  1. IdkI=σkId_k\ast I=\sigma_{k}
  2. φI=Id\varphi\ast I=Id
  3. II=σI\ast I=\sigma

狄利克雷逆

  1. 单位元:乘上单位元后不改变结果的数值。
  2. 狄利克雷卷积中的单位元:ε\varepsilon
  3. 狄利克雷逆:
  • 定义:若函数 fg=εf\ast g=\varepsilon,就称 ffgg 互为狄利克雷逆。
  • 函数 ff 的狄利克雷逆表示为 f1f^{-1}
  • 一个数论函数 ff 存在狄利克雷逆的充分必要条件是:f(1)0f(1)\neq 0,且函数 ff 若存在狄利克雷逆,则 f1f^{-1} 是唯一的。
  • 积性函数一定存在狄利克雷逆。

莫比乌斯反演公式

  1. 莫比乌斯函数
  • 定义:莫比乌斯函数 μ\mu 为常数函数 II 的狄利克雷逆。

μ(n)={1n=1(1)kn=i=1kpi   piprime0其它\mu(n)= \begin{cases} 1& n=1\\ (-1)^{k}& n=\prod\limits_{i=1}^{k}{p_i}\space\space\space p_i\in \mathbb{prime}\\ 0& \text{其它} \end{cases}

  1. 莫比乌斯反演公式
  • g=fIf=gμg=f\ast I\Longleftrightarrow f=g\ast \mu
  • g(n)=dnf(d)f(n)=dnμ(d)g(nd)g(n)=\sum\limits_{d|n}{f(d)}\Longleftrightarrow f(n)=\sum\limits_{d|n}{\mu(d)\cdot g\big(\frac{n}{d}\big)}
  • g(n)=nNf(N)f(n)=nNg(N)μ(Nn)g(n)=\sum\limits_{n|N}{f(N)}\Longleftrightarrow f(n)=\sum\limits_{n|N}{g(N)\cdot\mu\big(\frac{N}{n}\big)}

莫比乌斯反演学习笔记
https://sobaliuziao.github.io/2022/03/27/post/3a474fc4.html
作者
Egg_laying_master
发布于
2022年3月27日
许可协议