关于数论函数介绍

[拼音]：shulun hanshu

[外文]：number-theoretic function

以正整数为定义域的函数ƒ(n)，例如数列{αn}、阶乘n!、幂nλ等都是数论函数。

设n的标准分解式为

。

（1）麦比乌斯函数

易知

式中和号表示d过n的所有因数。

（2）欧拉函数φ(n) 表示与 n互素且不超过n的正整数的个数，易证

，

这里(m，n)＝d。1801年，C.F.高斯证明了。关于欧拉函数，有一个迄今尚未解决的猜想：不存在复合数n使得φ(n)｜n-1。这个猜想是1932年由D.H.莱默尔提出来的。1962年，柯召和孙琦证明了这样的复合数存在，n至少是12个不同的奇素数的乘积；1980年，G.L.科恩和P.哈吉斯用计算机改进到 n至少是14个不同的奇素数的积。

（3）除数函数

当u≠0时，则有

当u=0时，

设σ1(n)=σ(n)，正整数n满足σ(n)=2n时，n就叫做完全数。

（4）曼格尔德特函数

则有

和

后一恒等式在素数分布理论中有用。

设ƒ1(n)和ƒ2(n)是两个数论函数，则叫做ƒ1(n)和ƒ2(n)的狄利克雷卷积，记为ƒ1(n)*ƒ2(n)=ƒ(n)。显然，ƒ(n)也是一个数论函数， 且有 这里ƒ3(n)也是一个数论函数。狄利克雷卷积是研究数论函数的重要概念。可以证明：全体ƒ(1)≠0的数论函数ƒ(n)，对于狄利克雷乘积*组成一个阿贝尔群。

若(m，n)=1，有ƒ(mn)=ƒ(m)ƒ(n)，称数论函数ƒ(n)为积性函数；若对任意正整数m、n，都有ƒ(mn)=ƒ(m)ƒ(n)，则称数论函数 ƒ(n)为完全积性函数，例如墹(n)、nλ是完全积性函数，μ(n)、φ(n)、σu(n)是积性函数，但不是完全积性函数。曼格尔德特函数Λ(n)是非积性函数。积性函数有下列性质：

（1）若ƒ(n)是一个非恒等于0的积性函数，则有ƒ(1)＝1和②若ƒ1(n)和ƒ2(n)都是积性函数，则ƒ1(n)*ƒ2(n)也是积性函数；

（3）若ƒ1(n)*ƒ2(n)和ƒ2(n)是积性函数，则ƒ1(n)也是积性函数。

设n为正整数，若则有反之亦然。这就是著名的麦比乌斯反演公式，它还有乘积表达式。则

麦比乌斯反演公式是R.戴德金1857年给出的，它有多种推广形式，在数论和组合数学中都很有用。例如由，用麦比乌斯反演公式立即可得。因为nu是积性函数，所以也是积性函数，于是容易求得σu(n)的表达式。以素数 p为模，把多项式xp-x分解为不可约多项式之积，设其素因式的次数为m，已知m|n，反之，任一个m(m|n)次不可约多项式一定是该式的因式，设φn表示对模p的n次不可约多项式的个数，故有由麦比乌斯反演公式得，故得φn>0，即知道元素个数为pn的有限域存在。