一个数论函数及其均值.docVIP

PAGE PAGE 3 西北大学学报(自然科学网络版) 2004年10月，第2卷，第10期 Science Journal of Northwest University Online 　 Oct. 2004，Vol.2，No. 10 ________________________ 收稿日期：2004-08-24 基金项目：国家自然科学基金资助项目；陕西省教育厅基金资助项目（2002A11） 审 稿 人：张文鹏，男，西北大学数学系教授，博土生导师 一个数论函数及其均值 赵小鹏 (渭南师范学院 数学系，陕西 渭南 714000) 摘 要 ：引入了一个新的数论函数，研究了其均值性质，并给出了一个有趣的渐近公式。 关 键 词：数论函数； 均值； 渐近公式 中图分类号：O156.4 文献标识码：A 文章编号：1000-274X(2004)0099-3 引言及结论 对任意正整数n，我们定义IS(n)o为不超过n的最大平IS(1)=1, IS(2)=1, IS(3)=1, IS(4)=2, IS(5)=2, IS(6)=2, IS(7)=2, IS(8)=2，IS(9)=3，IS(10)=3，…。现在对任意实数x，我们考虑函数x-IS(x)，即实数x的平方分数部分。文献[1]建议研究此函数的性质。关于这一问题的研究，笔者至今尚未见相关文献。而这一问题本身是重要的，它可以帮助我们了解平方分数部分函数分布的规律性。本文中，我们对此问题作了一般化处理。设IK(n)表示不超过n的最大k次幂 ，以及FK(n)=n-IK(n)。本文主要研究了FK(n)的均值性质，并利用初等方法给出了FK(n)的一个有趣的渐近公式。即就是证明下面的： 定理1 对任意实数，有渐近公式 由下面定理的证明过程不难看出本文中的技巧性是非常强的，然而结论是十分粗糙的，即就是定理中的误差项不够精确!是否存在一个比我们的定理更精确的渐近公式仍然是一个有意义的难题! 由此定理我们还可以得到下面的3个推论： 推论1　对任意实数，我们有 推论2 设表示不超过的最大立方数，则对任意实数，有渐近公式 推论3　设表示不超过的最大四次方数，则对任意实数，我们有渐近公式 2 定理的证明 为了证明定理，我们需要下面的简单引理： 引理1 对任意实数和，有 证 明 参阅文献[2]. 现在我们来完成定理的证明.对任意实数，显然存在惟一的正整数，满足不等式 　　　　　　　　　　　 (1) 于是有 　　　　　　　　 (2) 由式(1)可得 即有 　　　　　　　　　 (3) 和 (4) 结合式(2～4)可得 这就完成了定理的证明。 在定理中分别取和3，我们立刻得到推论1及推论2。 注 释　显然，用我们的方法还可以得出更一般的结论，即可以给出均值 的一个渐近公式，其中为任意非负实数。对于该函数其他性质，我们将做进一步研究。 参考文献： [1] SMARANDACHE F. Only problems, Not solutions[M]. Chicago:Xiquan Publ.House, 1993. [2] TOM M. Apostol. Introduction to Analytic Number Theory[M]. New York:Springer-Verlag, 1976. 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（编辑　曹大刚） An arithmetical function and its mean value ZHAO Xiao-peng (Department of Mathematics, Weinan Teacher’s College, Weinan 714000, China) Abstract: A new arithmetical function is introduced and the properties of its mean value are studied. Also an interesting asymptotic formula is given. Key words: Arithmetical function; Mean value; Asymp