Pure Mathematics
Vol.
11
No.
11
(
2021
), Article ID:
46630
,
14
pages
10.12677/PM.2021.1111206
二次代数扩域上理想计数函数在短区间上的均值估计
朱爽爽
青岛大学,山东 青岛
收稿日期:2021年10月10日;录用日期:2021年11月15日;发布日期:2021年11月22日
摘要
设
是有理数域
的二次代数扩张,
是
上的理想计数函数,本文利用Selberg-Delange方法给出
在短区间
上的均值估计如下:
,对于
一致成立,
,其中
均为与
有关的常数。
关键词
理想计数函数,Selberg-Delange方法,二次域,短区间,均值估计
Mean Value Estimation of Ideal Counting Function in Short Interval over Quadratic Algebraic Extension Field
Shuangshuang Zhu
Qingdao University, Qingdao Shandong
Received: Oct. 10th, 2021; accepted: Nov. 15th, 2021; published: Nov. 22nd, 2021
ABSTRACT
Let
be a quadratic algebraic extension of
, is an ideal counting function on
. In this paper, we use the Selberg-Delange method to give the mean estimation of
in a short interval as follows:
, It is consistent for
.
, where
are constants related to
.
Keywords:Ideal Counting Function, Selberg DeLange Method, Quadratic Domain, Short Interval, Mean Estimation
Copyright © 2021 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
1. 引言
设
是有理数域
的d次Galois扩张,其上定义Dedkind zeta函数如下
,(
),
其中
是理想计数函数,即代数整数环
中范数为n的非零整理想个数;
为非零整理想
的范数。
基于算术函数取值分布往往不均匀的特点,数论学家们通常研究算术函数的均值分布问题。对于理想计数函数
,1927年,Landau [1] 证明了对有理数域
的d次代数扩张
,,有
,
其中c是
在简单极点
处的留数,
是任意小的常数。
1993年,Nowak [2] 改进了Landau的结果,证明了对于扩张次数
的代数数域
,有
2010年,Lv和Wang [3] 给出算术函数
在d次代数扩域
上的长区间均值估计
,,
其中
是关于
的
次多项式。
当
是
的二次代数扩张时,2015年,Zhai [4] 利用解析的方法,给出
,
其中
, 是代数扩域
的判别式,
是模
的非主实特征。
本文中,我们利用Selberg-Delange方法,将二次代数扩域上
在长区间上的均值估计结果推广到了短区间,得到以下定理:
设
是
的二次代数扩张,
是
上的理想计数函数,则
对于
一致成立,
见(2.2),
,
其中
均为与
有关的常数。
2. 准备工作
为叙述方便,首先我们固定一些记号:
是Riemann zeta函数,其中
。
是Dirichlet L-函数。
是 Gamma函数。
是任意小的正常数。
是常数。
为证明上述定理,我们引入一类特殊的Dirichlet级数:
设算术函数
,其Dirichlet级数
。
如果
满足以下性质,则称
具有性质
。
(a) 对任意
,有
。
其中
为常数。
(b) 存在
,满足
。
(c) Dirichlet级数
有表达式:
对
一致成立,
在
上是全纯的且在该区域内满足上界估计
定义
对应的Dirichlet级数
,
下面将证明
满足以上三条性质:
1963年,Chandrasekharan和Narasimhan [5] 证明了
是乘性函数,且
,
其中
是经典除数函数,指数
。又因为
,因此
。
故
。(a)得证。
引理2.1设
为整数,
是
的d次伽罗瓦扩张且
,
则
,
是与l有关的Dirichlet级数且在
时绝对收敛。
证明:参见 [6] 中Lemma1。
在二次代数扩域上,有
,故二次代数扩域上有
。
(c)得证。
根据引理2.1,有
,易知
在
时收敛。
故存在
,满足
。
(b)得证。综上理想计数函数
对应的Dirichlet级数满足
型。
下面进一步研究理想计数函数
对应的Dirichlet级数
的解析性质。
因
以
为极点,构造函数
,
易知
在区域
内为全纯函数,记
在
点的泰勒展开式如下:
,
其中
是与l有关的整函数且满足对于任意
,任意
,
。
在
的全纯区域,设
,
易知
在
内是全纯的,且有
(2.1)
将
在
点做泰勒展开:
其中
, (2.2)
3. 预备引理
引理3.1 (Perron公式)
设级数
在
上绝对收敛,
, 且单调不减,满足关系式
,
对于
,,,存在
,对于
,有以下公式
。
证明:参见Selberg [7] 中p. 334~336。
引理3.2
设
是数域
的d次代数扩张,有
在带形区域内的上界估计如下:
,。
证明:参见Heath-Brown [8]。
引理3.3
记代数扩域
的判别式为
,若
足够大,
有非零区域:
,,,
并且
在区域
,
内最多有一个零点,如果该零点存在则一定为简单实零点,定义其为
。
引理3.4
通常情况下,我们用
和
来表示
和
在区域
, 上的零点个数,存在常数
和
,满足
,,
Huxley [9] 证明了
。
引理3.5 (Hankel围道)
对每个正参数r,移除
的圆环加上起点为
辐角分别为
和
的双重射线构成Hankel围道,记为H。对于任意复数z,有
。
证明:参见 [10] 中184页定理2。
4. 定理的证明
根据引理3.1,令
,,,,可得
。
取
且满足当
时,
。
根据留数定理,可将积分线段
转化为连接两端点的任意路径。这里选择关于实轴对称的路径,记为围道
。它由以下五部分组成:
第一部分由两条水平线段
, 构成。记为
和
。
在二次代数扩域上
可能存在实零点,如果实零点存在不妨记为
,此时我们选取以下围道将实零点绕出,记为围道第二部分:该围道路径的上半部分由包围点
且半径为
的圆弧与连接
到
的线段组成,记为
,关于实轴对称的下半部分记为
。
第三部分由Hankel围道构成,围道上半部分路径由包围
且半径为
的圆弧与连接
到
的线段组成。记第三部分围道为
,其中
(4.1)
第四部分将
的非显然零点圈出。记非显然零点
,,,我们选取贴近直线段
的矩形将非显然零点全部圈出,同时要保证围道
的封闭性,记这部分围道为
。
第五部分由两条被切断的竖直线段构成,这两条竖直线段分别为
,,其中切断部分是为了保证围道的封闭性,记该部分围道上半部分为
,下半部分
为
,则
(4.2)
此处
(4.3)
A. I的估计:
取
为常数。根据(2.1),
在区域
内是全纯函数,
定义如(2.2),由Cauchy公式,
,
利用绝对值不等式,
。
因此
。
代入(4.3),有
(4.4)
其中
,
。
下面估计
:
根据公式
,
。
做变量替换
,则
,根据引理3.5,
其中
是与l有关的常数。故
(4.5)
作变量替换
,则
(4.6)
进一步利用
的泰勒展开,
(4.7)
对(4.7)作幂级数展开并代入(4.6)做积分,得
(4.8)
结合(4.5),(4.8),得
(4.9)
下面将估计
:
,
其中
的定义见(4.1),
表示Hankel围道的圆周部分,在
上有
,,,,
。
且有
,
,
因此
(4.10)
令
,
(4.11)
令
,,得
由Stirling公式,
(4.12)
结合(4.10),(4.12) 可得:
(4.13)
对于
一致成立。
将(4.9),(4.13)代入到(4.4),结合(2.2)得
(4.14)
的表达式如下:
其中
均为与l有关的常数。
B.
与
的估计:
在
与
上有
,其中
。
根据引理3.2,在二次代数扩域上,当
时有
,
故
。
因此
。
考虑
,得
(4.15)
C.
和
的估计
对于
,,,有
。
因此
(4.16)
D.
和
的估计:
设
是
的一阶零点,有
,。
取
,,对
在
处做泰勒展开,有
,
是与
有关的常数。因此
,
其中
,
。
记在上半圆部分积分值为
,直线段部分积分值为
,则
,
在上半圆部分,沿圆周
,,,
。
此时
,
。
。
综上:
,
。
因此
(4.17)
E.
处的估计:
记
的非显然零点
,根据B,对于
,当
时,
,
。
根据引理3.3,
的非零区域为
,
在二次代数扩域上,
,
故
在
, 上的全部非显然零点个数
,
。
由引理3.4,考虑
,
(4.18)
将(4.14),(4.15),(4.16),(4.17),(4.18)代入(4.2),得
,
其中
。
取
,定理得证。
致谢
本篇论文感谢杨志善老师的指导以及论文相关编辑的帮助。
文章引用
朱爽爽. 二次代数扩域上理想计数函数在短区间上的均值估计
Mean Value Estimation of Ideal Counting Function in Short Interval over Quadratic Algebraic Extension Field[J]. 理论数学, 2021, 11(11): 1827-1840. https://doi.org/10.12677/PM.2021.1111206
参考文献
- 1. Landau, E. (1927) Einfvhrung in die elementare und analytische Theorie der algebraischen Zahlen und der Ideale, Teubner.
- 2. Nowak, W.G. (1993) On the Distribution of Integer Ideals in Algebraic Number Fields. Mathematische Nachrichten, 161, 59-74. https://doi.org/10.1002/mana.19931610107
- 3. Lv, G.S. and Wang, Y.H. (2010) Note on the Number of Integral Ideals in Galois Extensions. Science China Mathematics, 53, 2417-2424. https://doi.org/10.1007/s11425-010-4091-7
- 4. Zhai, W.G. (2015) Asymptotics for Class of Arithmetic Functions. Acta Arithmetica, 170, 135-160.
https://doi.org/10.4064/aa170-2-3
- 5. Chandrasekharan, K. and Narasimhan, R. (1963) The Approximate Function Equation for a Class of Zeta-Functions. Mathematische Annalen, 152, 30-64. https://doi.org/10.1007/BF01343729
- 6. Chandraseknaran, K. and Good, A. (1983) On the Number of Integral Ideals in Galois Extensions. Monatshefte für Mathematik, 95, 99-109. https://doi.org/10.1007/BF01323653
- 7. Selberg, A. (1954) Note on the Paper by L. G. Sathe. The Journal of the Indian Mathematical Society, 18, 83-87.
- 8. Heath-Brown, D.R. (1988) The Growth Rate of the Dedekind Zeta Function on the Critical Line. Acta Arithmetica, 49, 323-339. https://doi.org/10.4064/aa-49-4-323-339
- 9. Huxley, M.N. (1972) The Difference between Consecutive Primes. Inventiones Mathematicae, 267, 164-170.
https://doi.org/10.1007/BF01418933
- 10. Tenebaum, G. (1995) Introduction to Analytic and Probabilistic Number Theory. Cambridge University Press, Cambridge.