boxmoe_header_banner_img

Hello! 欢迎来到DRheEheAM的blog!

加载中

文章导读

数论笔记


avatar
DRheEheAM_Garylv229憨毛怪 2026-07-30 64

AI Summary

数论笔记:基础数论函数、狄利克雷卷积、积性函数及莫比乌斯反演公式。

基础数论函数

数论函数定义为定义域为正整数的函数。下面是一些基础函数:

  • 恒等函数 id(x)=x\text{id}(x)=x
  • 常数函数 1(x)=1\text{1}(x)=1
  • 单位函数 ϵ(x)=[x=1]={1 (x=1)0 (x>1)\epsilon(x)=[x=1]=\begin{cases}1\ (x=1)\\ 0\ (x>1)\end{cases}
  • 约数函数 τ(x)=d|x1\tau(x)=\sum_{d|x} 1 (约数个数)
  • 约数和函数 σ(x)=d|xd\sigma(x)=\sum_{d|x}d
  • 欧拉函数 ϕ(x)=|1kx,gcd(k,x)=1|\phi(x)=|{1\le k\le x,\gcd(k,x)=1}| (小于等于 xx 且与 nn 互质的数的个数)
  • 莫比乌斯函数 μ(x)={1 (x=1)                                0 (x )             (1)k(kx)\mu(x)=\begin{cases}1\ (x=1)\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\ 0\ (x\ 含有平方约数)\ \ \ \ \ \ \ \ \ \ \ \ \ \\(-1)^k(k为x的质因数个数)\end{cases}
  • 质因子函数,设 x=pieix=\prod p_i^{e_i}
    • Ω(x)=ei\Omega(x)=\sum e_i
    • ω(x)=1(ei)\omega(x)=\sum 1(e_i)
  • Liouville 函数 λ(x)=(1)Ω(x)\lambda(x)=(-1)^{\Omega(x)}

Dirichlet 卷积/狄利克雷卷积

狄利克雷卷积:对于数论函数 f(x)f(x)g(x)g(x) ,其狄利克雷卷积记作 (fg)(x)(f*g)(x) ,定义为:

(fg)(x)=d|xf(d) g(xd)(f*g)(x)=\sum_{d|x}f(d)\ g(\frac{x}{d})

有一些基础的转换关系:

  • τ=11\tau=1*1
  • ϵ=μ1\epsilon=\mu*1
  • σ=id1\sigma=\text{id}*1
  • ϕ=idμ\phi=\text{id}*\mu

同时,狄利克雷卷积具有一些数论性质。对于数论函数 f ,g ,hf\ ,g\ ,h ,狄利克雷卷积具有:

  • 交换律: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(1)0f(1)\ne0 时,存在 fg=ϵf*g=\epsilon ,并且称 ggff 的 Dirichlet 逆元,记作 f1f^{-1}
  • 单位元:fϵ=ff*\epsilon=f ,其中单位函数 ϵ\epsilon 是卷积单位元。

所以我们可以发现,11μ\mu 互为 Dirichlet 逆元。

我们定义积性函数 ff 为:对于 gcd(x,y)=1\gcd(x,y)=1f(xy)=f(x)f(y)f(xy)=f(x)f(y)
定义完全积性函数 ff 为:对于 x,yx,yf(xy)=f(x)f(y)f(xy)=f(x)f(y)

对于积性函数 f, gf,\ gfgf*g 也是积性函数,且 f1f^{-1} 一定存在且也为积性函数。

对于完全积性函数 α\alpha 与数论函数 f,gf,g ,有:

  • 分配律:(αf)(αg)=α(fg)(\alpha f)*(\alpha g)=\alpha\cdot (f*g)
  • 逆元:(αf)1=αf1(\alpha f)^{-1}=\alpha f^{-1}
  • 积性函数 hh 为完全积性函数,当且仅当 h1=μhh^{-1}=\mu h

证明略,可以查阅 OI-wiki

莫比乌斯反演

f(x) , g(x)f(x)\ ,\ g(x) 为两个数论函数,那么有:

f(x)=d|ng(d)g(x)=d|nμ(nd)f(d)f(x)=\sum_{d|n}g(d)\iff g(x)=\sum_{d|n}\mu(\frac{n}{d})f(d)

使用狄利克雷卷积证明,命题等价为:

f=1gg=μff=1*g\iff g=\mu*f

因为 1μ=ϵ1*\mu=\epsilon ,所以:

fμ=(1g)μ=(1μ)g=ϵg=gf*\mu=(1*g)*\mu=(1*\mu)*g=\epsilon *g=g

得证。



评论(0)

查看评论列表

暂无评论


发表评论

DRheEheAM_Gary Blog