Pure Mathematics
Vol.
09
No.
09
(
2019
), Article ID:
33132
,
12
pages
10.12677/PM.2019.99133
An Erdös-Kac Type Theorem in Short Intervals Weighted by
Xiaofei Tong
College of Mathematics and Statistics, Qingdao University, Qingdao Shandong
Received: Nov. 1st, 2019; accepted: Nov. 18th, 2019; published: Nov. 25th, 2019
ABSTRACT
Let be the k-fold divisor function. In this paper, we prove a weighted Erdös-Kac type theorem with weight in short intervals. This generalizes a recent result of K. Liu and J. Wu.
Keywords:Central Limit Theorem, Short Intervals, Arithmetic Function, Dirichlet Series
短区间上权为 的Erdös-Kac型定理
仝晓菲
青岛大学数学与统计学院,山东 青岛
收稿日期:2019年11月1日;录用日期:2019年11月18日;发布日期:2019年11月25日
摘 要
设 为k重除数函数。本文证明了一个短区间上权为 的Erdös-Kac型定理,并证明了其中的余项估计是最优的。这推广了K. Liu和J. Wu最近的一个结果。
关键词 :中心极限定理,短区间,算术函数,Dirichlet级数
Copyright © 2019 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 介绍
对于固定的整数 ,k重除数函数 是指 的解的个数,其中 为正整数。如果n的标准分解形式 , ( ), ( )是不同的素数,则有(可参见 [1] )
(1)
当 时, 即为经典除数函数 。
当 时,定义 的和函数
Landau [2] 和Voronoi [3] 证明了
其中 是 次的多项式。对于 ,Hardy和Littlewood改进了以上余项的上界估计,证明了
相关文献还可参见 [4], [5], [6] 和 [7]。
同时,人们还研究函数 在短区间上的均值问题。例如,Garaev,Luca和Nowak [8] 证明了当 时,有
当 时,目前短区间上相应问题的最佳结果可由 的渐进公式(“长区间”)推得。
本文中,我们考虑了 在短区间上另一种形式的均值问题。令 表示正整数n的不同素因子个数,定义
我们证明了下面的结果。
定理1.1对于固定的 , 及任意的 ,有
对 ,, 一致成立,这里
并且O-符号中的隐含常数只依赖于B和 。
1939年,Erdös和Kac [9] 证明了 的概率分布,对于每一个 ,他们证明了如下的中心极限定理:
其中
2015年,Elliott [10] [11] 证明了如下权为 ( )的中心极限定理,即对每一个 ,有
其中
最近,K. Liu和J. Wu [12] 把此结果推广到了短区间。
本文中,我们推广了Elliott以及Liu和Wu的结果,证明了权为 的中心极限定理。
定理1.2对于每个实数 和任意的 ,当 , 时,有
其中
O-符号中的隐含常数只依赖于 ,并且误差项的上界估计是最优的。
记号:
N为全体自然数集,R为全体实数集,C为全体复数集; 伽马函数;Landau符号, , 是指存在常数 ,使得 ; 表示p遍历所有素数并求乘积; 是指 。
2. 预备知识
为了完成引理2.2的证明,我们需要下面的定义(参见 [12] )。令 表示算术函数, 是 的Dirichlet级数,
设 ,,,,,,, 为常数, 。如果 满足下列条件,则称其是 型的:
(a) 对于任意的 ,有
-中的隐含常数只与 有关。
(b) 当 时有
(c) Dirichlet级数
可以解析延拓成上的全纯函数,并且满足
此结果对,及一致成立。
我们需要如下引理来证明引理2.2,此引理为 [1] 的推论1.2。
引理2.1假设对任意的,Dirichlet级数是型的,则有
此结果对,,,及一致成立,其中
O-符号中的隐含常数只依赖于A,B,,及。
令引理2.1中的,我们得到如下结果。
引理2.2令是一个常数,对于任意的,有
对,,及一致成立,其中
证明:因为函数是可乘函数,当时,我们有
(2)
把公式(1)带入公式(2)中,可得
其中欧拉乘积
的Dirichlet级数是
令,当时,函数是可乘函数,其在(p为素数,)的值可由下列公式给出
特别地,当,时,对于所有的素数p有
令
因为当,时函数收敛,所以该函数在,时有最大值:
由Cauchy公式,当,时有
所以的上界为
(3)
当,时,计算可得
再由公式(3)可得
这表明在,时收敛,且有上界:
其中
综合上述计算结果,我们可以得到Dirichlet级数是
型的。
这样应用引理2.1我们可以得到引理2.2. □
注记:如果,则由引理2.2可以推出
对,一致成立,其中
在证明定理1.2时,我们还需要下面的Berry-Esseen不等式(可参见 [13] )。
引理2.3令F、G为两个分布函数,f、g分别为F、G的特征函数。假设G可导,且在R上有界。则有
对所有的都成立。其中。
3. 定理1.1的证明
设
由Cauchy公式,可得
其中。
由引理2.2,可得
(4)
其中
首先计算的主项M,令
其中
接下来计算,考虑和两种情况。当时,因为在时解,所以
将此结果代入公式(4),得到
当时,因为在时解析,所以,其中。在点处的Taylor展开为
(5)
这样,我们只需分别估计上述公式(5)右侧的三项对的贡献即可。
第一项对的贡献为:
(6)
第二项对的贡献为:
(7)
当,,时,有
因为当时解析,所以在上有上界,即存在一个常数,使得,容易计算出
由Stirling公式,第三项对的贡献为:
(8)
现在来估计的余项。我们有
令,可得
将公式(6) (7)、(8)代入公式(4),即得定理1.1。
4. 定理1.2的证明
令,记为的特征函数,我们有
(9)
其中。
设,由引理2.3,计算得到下面结果:
所以我们只需要证明
(10)
对,时一致成立。
由引理2.2,设,则有
对,,一致成立,其中是关于z的整数函数,且。令,则有
对,及一致成立。
当时,因为,所以有
由此可以推出对,及一致成立。下面我们将分三种情况来证明公式(10)成立。
首先,当时,有
其次,当时,因为
则有
将上式代入公式(9),得到
由此可得,
最后,当时,由和的Taylor展开:
可得
对,,一致成立。计算可得
现在我们来证明定理1.2中的余项估计是最优的。定义
以及
令,,我们得到
(11)
由Stirling公式及定理1.1,可得
(12)
根据公式(11)及公式(12),可以求得
对,一致成立。由此可见,定理1.2中的余项估计是最优的。
文章引用
仝晓菲. 短区间上权为dk (n)的ErdO¨ s-Kac型定理
An ErdO¨ s-Kac Type Theorem in Short Intervals Weighted by dk (n)[J]. 理论数学, 2019, 09(09): 1082-1093. https://doi.org/10.12677/PM.2019.99133
参考文献
- 1. Titchmarsh, E.C. (1951) The Theory of the Riemann Zeta-Function. Oxford University Press, Oxford.
- 2. Landau, E. (1912) Über die Anzahl der Gitterpunkte in gewissen Bereichen. Göttinger Nachrichten, 687C771.
- 3. Voronoi, G. (1903) Sur un probleme du calcul des fonctions asymptotiques. Journal für die Reine und Angewandte Mathematik, 1903, 241-282. https://doi.org/10.1515/crll.1903.126.241
- 4. Karatsuba, A.A. and Voronin, S.M. (1992) The Riemann Zeta-Function. Springer, Berlin, New York. https://doi.org/10.1515/9783110886146
- 5. Krätzel, E. (1988) Lattice Points. Kluwer, Dordrecht, Boston, London.
- 6. Ivić, A. (1985) The Riemann Zeta-Function. John Wiley and Sons, New York.
- 7. Ivić, A., Krätzel, E., Kühleitner, M. and Nowak, W.G. (2004) Lattice Points in Large Regions and Related Arithmetic Functions: Recent Developments in a Very Classic Topic. Elementary and Analytic Number Theory, Mainz, 25 October 2004, 1-39. http://arXiv.org/pdf/math.NT/0410522
- 8. Garaev, M.Z., Luca, F. and Nowak, W.G. (2006) The Divisor Problem for d4(n) in Short Intervals. Archiv der Mathematik, 86, 60-66. https://doi.org/10.1007/s00013-005-1447-2
- 9. Erdös, P. and Kac, M. (1939) Gaussian Law of Errors in the Theory of Additive Functions. Proceedings of the National Academy of Sciences of the United States of America, 25, 205-207. https://doi.org/10.1073/pnas.25.4.206
- 10. Elliott, P.D.T.A. (2015) Central Limit Theorem for Classical Cusp Forms. The Ramanujan Journal, 36, 81-98. https://doi.org/10.1007/s11139-013-9516-9
- 11. Elliott, P.D.T.A. (2015) Corrigendum: Central Limit Theorem for Classical Cusp Forms. The Ramanujan Journal, 36, 99-102. https://doi.org/10.1007/s11139-014-9629-9
- 12. Liu, K. and Wu, J. (2018) Weighted Erdös-Kac Theorem in Short Inter-vals.
- 13. Tenenbaum, G. (1995) Introduction to Analytic and Probabilistic Number Theory, Translated from the Second French Edition by C. B. Thomas. Cambridge Studies in Advanced Mathematics 46, Cambridge University Press, Cambridge, xvi + 448.