arxiv: v1 [math.nt] 8 Apr 2016

Transcription

1 MSC L05 N37 Short Kloosterman sums to powerful modulus MA Korolev arxiv: v [mathnt] 8 Apr 06 Abstract We obtain the estimate of incomplete Kloosterman sum to powerful modulus q The length N of the sum lies in the interval e clog q/3 N q Keywords: Kloosterman sums powerful moduli method of Postnikov The aim of this paper is to estimate a short Kloosterman sum S = S q N; a b c = c<n c+n e q an + bn to powerful modulus q Here N a b c are integers < N q a q = the prime sign in the sum means the summation over n q = nn mod q and e q v = e πiv/q The number q is called powerful if its kernel d = p q p is small relative to q in the logarithmic scale The simplest case of such numbers are q = p n where p is fixed prime and n + For many times AA Karatsuba []-[3] pointed out to the possibility of estimating of such sums with q = p n by method of AG Postnikov [4] [5] In this paper we prove the following statement Theorem Suppose that q q 0 is sufficiently large d = p q p is the kernel of q γ = 900 γ = 60 4 and let max d 5 e γ ln q /3 N q Then for any a b c such that a q = the following estimate holds: ln N3 S q N; a b c < N exp γ ln q The proof does not use any new ideas and is based only on the technic of papers [6] [7] and [8] We need the following auxilliary assertions Lemma Suppose that 0 < ε < m = [ ε ] q = p α p αs s d = p q p and let q ε = dp β p βs s where β r = [ ] ε α r Then for any z we have + zq ε zq ε + zq ε + m zq ε m mod q 3 Remark This assertion is an analogue of Postnikov s formula for ind +pz modulo q = p n p 3 see [4] [5] The idea of introducing the factor q ε belongs to H Iwaniec [8] The work is supported by the Russian Science Foundation under grant and performed in Steklov Mathematical Institure of Russian Academy of Sciences

2 Proof It is sufficient to prove that qε m+ is divisible by q This fact follows from easy-to-check inequalities m + β r + α r r = s Lemma Suppose that P and α are any real numbers Then eαn min P α n P where ez = e πiz and α = min {α} {α} Lemma 3 Suppose that α = A Q + θ A Q = Q θ Q and let β U > 0 P be any real numbers Then the following inequality holds: min U αn + β P 6 Q + U + Q log Q n P For the proofs of lemmas 3 see for example [9 Ch VI ] Denote by J km P ; λ λ m the number of solutions of the following system: x + + x k = x k+ + + x k + λ x m + + x m k = x m k+ + + xm k + λ m with integers variables x x k P and let J km P = J km P ; 0 0 Obviously J km P ; λ λ m J km P for any λ λ m Lemma 4 Vinogradov s mean value theorem Suppose that τ k mτ P are integers Then J km P Dm τp k mτ where Dm τ = mτ 6mτ m 4mm+τ m τ = mm + τ m For the proof of this version of Vinogradov s mean value theorem see [9 Ch VI ] Proof of Theorem Shifting the interval of summation to at most d N /5 terms we obtain the inequality S S + d where the sum S has the same type as the initial sum S and satisfies the additional condition c 0 mod d Further suppose that h = [N /4 ] + x y h and define q ε as in lemma the precise value of ε will be chosen later Then S = c<n+q εxy c+n e q an + qε xy + bn + q ε xy = = e q an + c + qε xy + bn + c + q ε xy + θq ε xy θ n N

3 Summing over x y h we get where W = W n = S h xy= n N W + h q ε e q an + c + qε xy + bq ε xy Setting v n + c mod q for brevity and using lemma we obtain W = xy= e q a xy + a xy + + a m xy m = where ez = e πiz m = [ ε ] and = xy= e α xy + α xy + + α m xy m a q ε b av mod q a r r av r+ q r ε mod q r = 3 m α r = a r q Taking k = mτ where the value of τ will be chosen later and applying Hölder s inequality to W as in [9 Ch VI ] we find that W k h k eα xy + + α m x m y m x= y= = h k x= k = J km h; λ λ m eα λ x + + α m λ m x m λ λ m h k J km h; λ λ m eα λ x + + α m λ m x m λ λ m x= where λ r runs through some set of values λ r < Λ r Λ r = kh r Obviously λ λ m J km h; λ λ m h k Using Hölder s inequality again we obtain: k W 4k h kk J km h; λ λ m λ λ m k J km h; λ λ m eα λ x + + α m λ m x m λ λ m x= h 4kk J km h eα λ x + + α m λ m x m λ λ m x= k 3

4 where λ r in the last sum runs through the entire interval λ r < Λ r r = m Further W 4k h 4kk J km h J km h; µ µ m eα λ µ + + α m λ m µ m λ λ m µ µ m h 4kk J km h J km h; µ µ m eα µ λ eα m µ m λ m µ µ m λ λ m By lemma where V r = W 4k h 4kk J kmhv V m µ r <Λ r min Λr α r µ r r = m Obviously the trivial bound for V r is Λ r At the same time representing α r as incontractible fraction of the form A r = p γ p γs s γ l = max 0 α l rβ l 4 we obtain: Λr V r = 6 + Λ r + ln < Λ r δ r δ r = 6log q + + Q r Λ r Λ r Hence setting r = min δ r we get W 4k h 4kk J kmh = 6log q + Qr m Λ r = k m h 4kk +mm+ Jkmh r= where = m Using lemma 4 we obtain Qr Jkmh mτ mτ m 4mm+τ h 4k mm+ τ m = = k k m 4km+ h 4k mm+ τ m W 4k Ck mh 8k +mm+ τ m Ck m = k k m 4km+ k m Now let us choose ε = c log q c = 7 r j = [ c j ε ] j = c = 3 c = 3 Λ r 4

5 and note that N = q 7 ε r r r Suppose now that r < r r Then by 4 we have qqε r qqε < q and hence qr ε q dq ε r q dq ε r q Obviously q ε r q /3 d r N r /5 = q 7 ε r /5 q 4/5 so we have q /45 Similarly Hence 4Λ r < q q hr h r + q N r +/ q /6 δ r 6log q q /90 + q / < q /50 r r=r + δ r < q r r /50 q ε /00 = exp Now we set τ = κm κ = 0 Then we have 7 00 W 4k < Ck mh 8k +mm+ m mm + τ e 0 mm + < log q m 9 Since 0 < ε < 4 Thus we have and finally h mm+ m τ exp then m 8 and 360 log q W 4k < Ck mh 8k exp log q τ exp Ck m /4k = 0m 30m 0m 00m 3 m m+ 0m < 0 W < 0h exp S < 0N exp Theorem is proved 3 6k log q < 0h exp log q log q log q 3 S S 56 4 log q + d < N exp log q The restriction d 5 N can be weaken slightly but the price is the narrowing of the interval for N and the loss of precision of the estimate Namely the following assertion is true 5

6 Theorem Suppose that 0 < δ < 0 is any fixed number q q 0 δ and let γ = 00δ log /δ /3 max d +δ e γ log q /3 N q δ/0 Then the inequality holds with γ = 0 4 δ 6 log /δ Proof Setting m = [ ε ] r j = [ c j ε ] j = ε = c c = δ δ c = δ log q δ 0 c = δ 5 in the above calculations and noting that q ε = N c d N /+δ we find where ξ = + + δ + c < + Further if r < r r then dqε r q 4Λ r < q q hr so we have = q η η = + ε r + N r +/ = qϑ q ε h Ndq ε N ξ δ δ + + δ 4 5 = δ 5δ 0 + c + c + δ = δ 5 + δ + δ 5 δ + δ = δ 30 5 c + δ ϑ = ε c r + c c = δ 60 δ r < 4log qq δ/50 < q δ/60 < q δr r /60 < exp Taking τ = κm κ = [ 4 log /δ ] + 4 we find that h m mm+ τ 5e h e κmm+ κ log q < exp 4c and hence W 4k < Ck mh 8k exp δ 6400 < δ 40 = 3δ + δ 5 5 δ + δ < δ 50 5 δ 300 δ < exp 6400 log q where Ck m is defined above Now it remains to check the inequalities Theorem is proved δ 4k 6400 = δ κ c log q 4 4 > δ 6 δ 5 log q 4 log /δ < δ 60 log q log q 6

7 Bibliography [] AA Karatsuba Distribution of inverse values in a residue ring modulo a given number Russian Acad Sci Dokl Math 48: [] AA Karatsuba Fractional parts of functions of a special form Izv Math 59: [3] AA Karatsuba Analogues of incomplete Kloosterman sums and their applications Tatra Mt Math Publ [4] AG Postnikov On the sum of characters with respect to a modulus equal to a power of a prime number Izv Akad Nauk SSSR Ser Mat 9: [5] AG Postnikov On dirichlet L -series with the character modulus equal to the power of a prime number J Indian Math Soc NS [6] AA Karatsuba Trigonometric sums of a special type and their applications Izv Akad Nauk SSSR Ser Mat 8: [7] VN Chubarikov More precise band for zeroes of Dirichlet L-series in modul equal to power of a prime number Vestn Moscow State Univ Ser Math Mech [8] H Iwaniec On zeros of Dirichlet L-series Invent Math [9] AA Karatsuba Basics analytic number theory Springer-Verlag Berlin Heidelberg 993 Maxim A Korolev Steklov Mathematical Institute of Russian Academy of Sciences 999 Russia Moscow Gubkina str 8 e -mail: korolevma@mirasru 7