1. Gcd和函数介绍
本文研究了多项式环
上的最大公因式和函数:
。这个函数的背景是来自整数环Z上的最大公约数和函数:
,因为这个函数是可乘的,能写成在素数方幂值的乘积形式,对应的Dirichlet级数在复平面内解析,除了黎曼Zeta函数零点和
的极点外。
对于整数环Z上的最大公约数和函数我们有以下结果:
,
是可乘函数。
的和函数的渐进公式为
, (1)
对任意
成立,其中
是欧拉常数,
是Dirichlet除数问题的参数。参见文献综述 [1]。
函数
,
也是可乘函数。
的和函数的渐近公式为
.(2)
参见( [2],Th. 5.1 )。
随之,我们可以研究多项式环上最大公因式和最小公倍数的和函数的均值问题,因为多项式有次数可以求导的特殊性质,我们可以避开黎曼Zeta函数的零点,得到更好的结果。
2. Gcd和函数的相关均值
定理2.1
的卷积表达式为
,
其中
。
证明:由定义知
,令e是h和f的最大公因式,同样是首项系数为1的多项式,即
。当且仅当
和
时有
,因此
.□
定理2.2
的均值为
. (3)
证明:令
为
的Dirichlet 级数,当
时,由定理2.1可得:
,
又因为
,我们有
,
,
因此
(4)
由定义可知,
(5)
由(4)和(5)得(3)。 □
定义2.3Gcd的倒数和函数为
.
令
,可以得出
的卷积公式
,
其中
。
定理2.4
的均值为
. (6)
证明:令
,
则
,
利用(4)的方法可得:
, (7)
由定义知:
, (8)
由(7)和(8)可得(6)。 □
从有限域的多项式环到整数环有字典对应:
.
则定理2.2公式(3)
,
与公式(1)对比
,
可得有限域多项式环上Gcd和函数的均值的主项与整数环上的相同。
同样地,定理2.4公式(6)有
,
与公式(2)对比
,
可得有限域多项式环上Gcd倒数和函数的均值的主项与整数环上的相同。
3. 一般化的最大公因式和函数
多项式环上的最大公因式和函数g可以归纳到对任意实数i的幂次来研究,如下:
我们令
,
同样我们将上式写成Dirichlet卷积形式,
其中
。
定理3.1
的均值为
. (9)
证明:
, (10)
由定义得,
,(11)
由(10)和(11)可得(9)。 □
gcd和函数的其他的推广结果可参考 [3] [4]。
4. Lcm和函数介绍
同时我们研究了最小公倍式lcm和函数
,这个函数来自整数环
上的最小公倍数
。
对于整数环Z上的最小公倍数和函数我们有以下结果:
,
是不可乘函数。
的和函数的渐进公式为
, (12)
参见( [2],Th.6.3)。
定义lcm倒数和函数
,
也是不可乘函数。
的和函数的渐近公式为
, (13)
其中A是一个明确的常数。参见( [2], Th. 7.1)。
5.
的均值
定理5.1
的和函数的公式为
. (14)
证明:由定义可知,
,
令
,则上式为
.
令
,
,则
.
接下来我们计算
,
令
,则上式
,
对l分类,则有
,
所以
令
,
则
,
令
,
则
.
因此
函数的Dirichlet级数为
.
又因为
,
.
参见( [5], Chap1,2)。
所以
,
又因为
,
可得
. □
令
,是不可乘函数。
定理5.2
的和函数的公式为
.(15)
证明:由定义可知,
,
令 (h,f)=e ,则上式为
,
令
,则有
.
令
,,则有
.
接下来我们计算
,令
,则
,
又因为
,
所以
,
其中
,
。
因此
的Dirichlet级数为
,
接下来分别计算三个级数
,
,
,
因此可得
,
又因为
,
对比系数可得
. □
利用字典对应,
,
则定理5.1公式(14)有
,
与公式(12)对比
,
所以有限域多项式环上lcm和函数的均值的主项与整数环上相同。
同样地,定理5.2公式(15)有
,
与公式(13)对比
,
所以有限域多项式环上lcm和函数的均值的主项与整数环上的相同。
致谢
感谢山东省自然科学基金(项目编号:ZR2019BA028)资助。
基金项目
山东省自然科学基金(项目编号ZR2019BA028)。
附录
符号说明
:有限域
上的多项式环;
:所有首项系数为1的多项式集合,且
为首项系数为1次数为n的多项式集合;
:是首项系数为1的多项式;
;
:黎曼Zeta函数;
:函数域A上的黎曼Zeta 函数;
:多项式h和f的最大公因式;
:整数i和n的最大公约数;
:多项式h和f的最小公倍式;
:整数i和n的最小公倍数;
:欧拉函数。