呂 葉，徐哲峰

(西北大學(xué) 數(shù)學(xué)學(xué)院， 陜西 西安 710127)

?

·數(shù)理科學(xué)·

整數(shù)冪模p剩余的差的均值

呂 葉，徐哲峰

(西北大學(xué) 數(shù)學(xué)學(xué)院， 陜西 西安 710127)

設(shè)p是奇素數(shù), l,m為滿足l?m(mod p-1)的正整數(shù)，利用三角和的方法研究了整數(shù)的m次冪模p剩余與l次冪模p剩余之差的2k次均值，并得到漸近公式。

m次冪模p剩余；均值；三角和；漸近公式

S(n,δ)=#{a:1≤a≤n-1,(a,n)=1，

并給出了

S(n,δ)=

Sm,n,λ,δ={a:1≤a≤λn,(a,n)=1,|a-(am)n|≤δn}。

在文獻(xiàn)[3]中，徐哲峰對|a-(am)n|的均值分布問題進(jìn)行了深入的研究，推廣了文獻(xiàn)[1-2]中的結(jié)論，獲得了如下的漸近公式

其中ω(n)表示n的不同素因子的個數(shù)。

本文對文獻(xiàn)[3]中的問題進(jìn)行了一種推廣，利用三角和方法研究了整數(shù)m次冪模p剩余與l次冪模p剩余之差的2k次均值，獲得了一些較強的漸近公式。主要結(jié)論如下。

定理1 設(shè)p是奇素數(shù)，k為非負(fù)整數(shù)，l,m為滿足l?m(mod p-1)的正整數(shù)，則有漸近公式

在定理1中取l=1，便獲得了文獻(xiàn)[3]中當(dāng)λ=δ=1，n=p且k為偶數(shù)時的相應(yīng)結(jié)論，即如下的推論。

推論1 設(shè)p為奇素數(shù)，m≥2為整數(shù)，則有漸近公式

推論1 設(shè)p為奇素數(shù)，k為非負(fù)整數(shù)，則有漸近公式

1 一些引理

引理1 設(shè)p為奇素數(shù)，l為正整數(shù)，r為滿足1≤r≤p的整數(shù)，則有

其中e(y)=e2πiy。

證 明 參見文獻(xiàn)[3]引理3。

引理2 設(shè)q≥1及t≥2均為整數(shù)，多項式f(x)=a1xr1+…+atxrt，其中r1,…,rt為一組不相等的非零整數(shù)，且滿足(a1,…,at, q)=1，則有估計式

證 明 參見文獻(xiàn)[4]定理1。

引理3 設(shè)s,r為滿足1≤s,r≤p-1的整數(shù)l,m為滿足l?m(mod p-1)的正整數(shù)，則有如下估計式

證 明 因為1≤s,r≤p-1，所以(s,r,p)=1，又因為l?m(mod p-1),則由引理2可得

引理4 設(shè)a,b為整數(shù)，p為奇素數(shù)且a,b,p滿足p?(a,b)，則對任意的滿足m≥2,α≥1的整數(shù)有

其中，ω(n)表示n的不同素因子的個數(shù)。

證 明 參見文獻(xiàn)[3]引理1。

引理5 設(shè)r,s為整數(shù)l,m為滿足l?m(mod p-1)的正整數(shù)，則有如下的兩個估計

(1)

(2)

證 明 首先來完成式(1)的證明。

(i)當(dāng)m≥2時，在引理4中令b=p,α=1可得

則有如下估計

然后利用Jordan不等式

可得

(3)

(ii)當(dāng)m=1時，由于p?s，則

同理可得

(4)

那么，由式(3) (4),可得對任意正整數(shù)m，有

這便證明了引理5中式(1)的結(jié)論。

現(xiàn)在來完成引理5中式(2)的證明。

由引理3和Jordan不等式可得

2 定理1的證明

這個部分我們來完成定理1的證明。首先，由三角不等式得到

Ω+Ψ+Υ+θ。

現(xiàn)在我們來逐個處理每一項。首先計算Ω。利用引理2可得

其次估計Ψ。由引理1有

由式(1)可得

同理可得

下面我們來估計θ。利用引理1，有

θ=

由引理5的式(2)可得

結(jié)合以上關(guān)于Ω,Ψ,Υ,θ的結(jié)果可得

這樣就完成了定理1的證明。

[1] ZHANG W.On the difference between an integer and its inverse modulon[J].Number Theory,1995,52:1-6.

[2] ZHANG W.On the distribution of inverses modulon[J]. Number Theory, 1996,61(2):301-310.

[3] XU Z.Distribution of the difference of an integer and itsm-th power modnover incomplete intervals[J]. Number Theory，2013,12(12):4200-4223.

[4] SHPARLINSKI I.On exponential sums with sparse polynomials and rational functions[J].Number Theory, 1996,60(2):233-244.

[5] BECK J， KHAN M R.On the uniform distribution of inverses modulon[J].Period Math Hungar，2002，44：147-155.

[6] COBELI C， ZAHARESCU A. On the distribution of the Fp-points on an affine curve inrdimensiona[J]. Acta Arith，2001，99：321-329.

[7] COCHRANE T， ZHENG Z. Upper bounds on a two-term exponential sum[J].Sci China Ser A，2001，44：1003-1015.

[8] 徐哲峰,易媛.不完整區(qū)間上整數(shù)及其逆的差[J].中國科學(xué): 數(shù)學(xué), 2011,8：669-679.

[9] FORD K， KHAN M R， SHPARLINSKI I E，et al.On the maximal difference between an elementand its inverse in residue rings[J].Proc Amer Math Soc，2005，133：3463-3468.

[10] KHAN M R，SHPARLINSKI I E. On the maximal difference between an element and its inverse modulon[J].Period Math Hungar，2003，47：111-117.

(編 輯 亢小玉)

The mean value of the remainder of the integer power modp

Lü Ye， XU Zhefeng

(School of Mathematics, Northwest University, Xi′an 710127， China)

Letpbe an odd prime, letl,mbe integers withl?m(modp-1), this paper uses the method of triangle sum to study the 2k-th power mean value of the difference of the integer′sm-th power modpresidual and itsl-th power modpresidual, and then get the asymptotic formula.

m-th power modp; mean value; triangle sum; asymptotic formula

2016-02-26

國家自然科學(xué)基金資助項目(11471258)

呂葉，女，陜西寶雞人，從事基礎(chǔ)數(shù)論的研究。

O156.4

A

10.16152/j.cnki.xdxbzr.2016-05-001