arxiv: v1 [math.nt] 30 Mar 2018

Transcription

1 A METRIC DISCREPANCY RESULT FOR GEOMETRIC PROGRESSION WITH RATIO /2 arxiv: v [math.nt] 0 Mar 208 Katusi Fukuyama Dedicated to Professor Norio Kôno on his 80th birthday. Abstract. We prove the law of the iterated logarithm for discrepancies of the sequence {/2 k x}.. Introduction A sequence {x k } of real numbers is said to be uniformly distributed mod u.d. mod if lim N # {k N x k [a,b} = b a for all 0 a < b, N where x denotes the fractional part x [x] of x. Since the convergence is uniform in a and b, we use the following discrepancy D N {x k } to measure the speed of convergence: D N {x k } = sup # {k N x k [a,b} b a N. 0 a<b For a sequence {n k } with n k+ n k C > 0, Weyl [] proved D N {n k x} 0 for almost every x. Erdős-Gál conjecture Cf. [2] statedthat{n k x}imitatesthebehaviorofindependentrandomvariables and satisfies ND N {n k x} = ON loglogn /2 under Hadamard s gap condition n k+ /n k q >. Philipp [9] applied the method oftakahashi [0] and solved the conjecture affirmatively by proving 4 2 lim ND N {n k x} a.e. N 2N loglogn 2 q /2 The research is partially supported by JSPS KAKENHI 6K05204 and 5KT006.

2 2 K. Fukuyama Recently the upper bound was replaced by /2 +4/ q /2 Cf. [6] and the lower bound by /2 2 Cf. []. For geometric progressions {θ k x} with θ >, we can prove the law of the iterated logarithm in exact form as below [, 4]: lim N ND N {θ k x} 2N loglogn = Σ θ a.e. x. Here Σ θ /2 is a constant determined by θ in the following way. If θ k / Q for all k =, 2,..., then Σ θ = 2. Otherwise denote by r the smallest positive k with θ k Q, and denote θ r = p/q by p Z and q N with gcdp,q =. We can prove that the value Σ θ does not depend on r and is determined only by p and q, i.e., Σ θ = Σ p/q. When both of p and q are odd numbers, then [, 4] Σ p/q = p q + 2 p q. If p is odd, q is even and p /q 9/4, or if p is even, q is odd and p /q 4, then [8] p q I + p q p q I v 2 p q Σ p/q = + 2 p qi I p q I p q mv q m p q, 2 p q m= where I = min{n N q n = ± mod p q} and vx = x x. In particular, when q =, we have Σ p = p + or Σ p = p + p p 2 2 p 2 p according as p is odd or p 4 is even. These cases are included in the above formula, but the proof should be done separately [, 4]. As excluded examples of the fomula, we have [, 5] Σ 2 = 9 42 and Σ 2 =

3 A metric discrepancy result for geometric progression with ratio /2 From now on we restrict ourselves to the case of positive p. If p is positive, we can prove [], Σ 2 θ = sup σθ 2 a = sup Va,a+2 0 a 0 a k= V p k a, q k a p k q k, where Vx,ξ = x ξ xξ. When pq is even and p/q is large, the formula derived from p q /2 2 Σ p/q = σ p/q. p q There is a tendency that V p k a, q k a has large local maximum when p k a = q k a or a = n/p k q k holds for some n N. Actually we can find several p/q such that n Σ p/q = σ p/q p k q k holds for some n N, and we say that p/q is of type k. The formula 2 shows that p/q is of type I if pq is even and p/q is large. Since we have Σ 2 = σ , we see that 2 = 2/ is of type II. We are now in a position to state our result. It asserts that /2 is of type VI. Theorem. We have 277 Σ /2 = σ / = Before closing introduction, we state related results. Although /6 is less than the threshold, we can still prove that it is of type I: Σ /6 = σ /6 =

4 4 K. Fukuyama We can also find numbers of types II, III, IV, and V: 24 Σ 4/ = σ 4/ 4 2 2, Σ 8/ = σ 8/ 8 2 2, Σ 0/ = σ 0/ 0 2 2, Σ 2/5 = σ 2/ , Σ 7/8 = σ 7/ , Σ 9/0 = σ 9/0 9 0, Σ 2/7 = σ 2/ , Σ 8/5 = σ 8/ These results will be proved in a separate paper [7]. We do not know if there exists number of type k for all k. 2. Preliminary We denote σ/2 2 x simply by σ2 x and put c = = By 2 6 = 6 = mod 665, we see 2 k+6j c = 2 k c, k+6j c = k c, and 6 σ 2 c = Vc,c+2 k= j=0 = Vc,c k+6jv 2 k+6j c, k+6j c 6 k= 6 kv 2 k c, k c = By 0 Vx,ξ /4, we can verify 4 2 n=n 6 nv 2 n x, n x 0 6 N. If x > y, then we have Vx,y = y x, V x x,y y < 0, and V y x,y = x > 0. If x < y, then we have Vx,y = x y, V x x,y = y > 0, and V y x,y x < 0. Since one of V x x,y and V y x,y is positive and the other is negative, we see d dx V 2 n x, n x = 2 n V x 2 n x, n x + n V y 2 n x, n x n and 5 2 n=n d 6 n dx V 2 n x, n x 2 N 2 a.e.

5 A metric discrepancy result for geometric progression with ratio /2 5 We can easily prove V 2 n x, n x = x d 0 dt V 2 n t, n t dt and σ 2 x σ 2 x 0 = x d x 0 dt V t, t + 2 n= d 6 n dt V 2 n t, n t dt. Hence we have d dx σ2 x = d dx V x, x +2 n= d 6 n dx V 2 n x, n x and we can conclude σ 2 d x is increasing in x a,b if dx σ2 x > 0 for a.e. x a,b. Put hx = σ 2 x σ 2 c and η = σ 2 c. Since we have σ 2 x = σ 2 x and σ 2 /2 = /2 Cf. [], it is sufficient to prove hx < 0 for x [0,/2 \ {c}. We divide the interval [0,/2 into several pieces [0,, [, 2, [ 2, 2 5, [ 2 5,, [, , [ 2, 0, [ 0 5, , [ , , [ 485, , [ 97, , [ 58025, 24596, [ , , [ , 7789, [ 7789,c, [c, 9, [ 9 7, , [ 2059, , [ 665, 4, 4 [ 4, , [ 65, 4, [ 4 2, 2 2, and prove on each. We introduce the following notation. τ 2 Nx = Vx,x+2 g 0 x = x x, N k= 6 kv 2 k x, k x, g x = g 0 x+2/6x 2x, g 2 x = g x+2/ x 4 2 x, g x = g 2 x+2/6 x 4 2 x, g 4 x = g x+2/ x 64 4 x, g 5 x = g 4 x+2/6 5 5 x x, g 6 x = g 5 x+2/6 6 6 x x, g 6+ x = g 5 x+2/ x x, g 7± x = g 6± x+2/ x 59 7 x, g 8 x = g 7 x+2/ x x, g 9 x = g 8 x+2/ x x, g 0 x = g 9 x+2/6 0 0 x x, g x = g 0 x+2/6 x x.

6 6 K. Fukuyama. [0, part In this interval, 2x = 2x, x = x, and 2x x. We have hx g 0 x x x x= 5 60 η < 0, since the quadratic function g 0 x x x has the axis at x = [, 2 part In [, 2, we see x = x, 2x = 2x, and x 2x = 2x = x < 0 to have 6 τ 2 x = g x for x [, 2. Hence in [, 2, we have hx g x x= 0 6 η < 0, since the quadratic function has the axis at x = 4 2 > [ 4 2, 2 part We have 2 2 x = 2 2 x, 2 x = 2 x 4, 2 2 x 2 x 5x+ > 0. By 6 we have hx g x x x η x= < 0, since the quadratic function has its axis at x = [ 2, part In [ 2, 4 2 [ 2 2, 2 2 2, we have 2 2 x = 2 2 x, 2 x = 2 x, 2 x 2 2 x = 5x 2 < 0 if x < 2 5 and 2 x 2 2 x otherwise. Therefore we can conclude that 7 τ 2 x = g 2 x for x [ 2 5, 4 2.

7 A metric discrepancy result for geometric progression with ratio /2 7 Note that [ 2, [, 4 2 and [ 2 2, = [ 2, 4 2 [ 0,. Hence in [ 2,, we have 2 x = 2 x, x = x 0, and 2 x x 9x+7 < 0. Thereby in [ 2, 2 5, by 6 we have hx g x x x x x x= η < 0, since the quadratic function has the axis at x = 9 26 > 2 5. In [ 2 5,, by 7 we have hx g 2 x x x x= η < 0, since the quadratic function has the axis at x = [, , [ 65, 4 part 2 On [, 4 [ 2 2, 4 2, we have x = x, 2 x = 2 x, to have x 2 x = 9x 8 < 0 if x < 8 9 and x 2 x otherwise. Hence 8 τ x = g x for x [, 8 9. In [, 87 2 [, 8 9, by 8 we have hx g x x= η < 0, since the quadratic function has the axis at x = > 87 In [ 28 65, 4 [ 8 2 9, 4, by 7 we have 2 hx g 2 x x 2 x x= η < 0, since the quadratic function has the axis at x = <

8 8 K. Fukuyama 8. [ 4 4, part It is included in [, 4 and [ 6 2 2, [ 4 4, 5 4. We have 4 x = 4 4 x 4, 2 4 x = 2 4 x 6, 4 x 2 4 x = 65x 28 < 0. In [ 8 9, 28 65, by 7 we have hx g 2 x x 2 x x x η < 0, since the quadratic function has the axis at x = < 8 In [ 4, 8 4 9, by 8 we have hx g x x x x= η < 0, since the quadratic function has the axis at x = > [ 87 2, 0 5 part x= 8 9 In [ 87 2, 4, we have 4 x = 4 x, 2 4 x = 2 4 x 6, 4 x x = 65x 27 < 0 if x < and 4 x 2 4 x otherwise. Hence 9 τ 4 x = g 4 x for x [ 27 65, 4 4. In [ 87 2, 0, we see 5 x = 5 x 00, 2 5 x = 2 5 x, 5 x x = 2x Hence in [ 87 2, 02 [ , 27 65, by 8 we have hx g x x x x 0 5 x x= η < 0, since the quadratic function has the axis at x = > In [ 02, 0 6, we see 6 x = 6 x 02, 2 6 x = 2 6 x 26, 6 x x = 665x 276 < 0 if x < and 6 x 2 6 x otherwise. Note that 02 < < < 0. 5

9 A metric discrepancy result for geometric progression with ratio /2 9 In [ 02, , by 8 we have hx g x x x x 0 5 x x x x= η < 0, since the quadratic function has the axis at x = > In [ , 27 65, by 8 we have hx g x x x x 0 5 x x x x= η < 0, since the quadratic function has the axis at x = 8 59 > In [ 27 65, 0, by 9 we have 5 hx g 4 x x 0 5 x x x x= η < 0, since the quadratic function has the axis at x = < [ , 4 4 part In [ 0, 4 5, we have 5 x = 5 x 0, 2 5 x = 2 5 x, 5 x x = 2x 88 < 0 if x < 88 2 and 5 x 2 5 x otherwise. Therefore 0 τ 5 x = g 5 x for x [ 0 5, Note that c < 88 hx 2 < In [ 665, 4, we have 4 g 4 x x 02 5 x x= η < 0, since the quadratic function has the axis at x = <

10 0 K. Fukuyama. [ , part Note that c < < 04 < < In [ 04, , we see 6 x = 6 x 04, 2 6 x = 2 6 x 26, 6 x 2 6 x = 665x 278 < 0. In [ 88, by 9 we have 2, hx g 4 x x 02 5 x x x x= η < 0, since the quadratic function has the axis at x = < In [ 04, , by 0 we have hx g 5 x x x= x η < 0, since the quadratic function has the axis at x = > In [ 0, 04 5, we see 6 x = 6 x 0, 2 6 x = 2 6 x 26, 6 x x = 665x if x c and 6 x < 2 6 x if x < c. Hence 2 τ 6 x = g 6 x for x [ 0,c, 5 τ 6 x = g 6+ x for x [c, In [ , 04 [c, 04 6, by 2 we have 6 hx g 6+ x x= η < 0, since the quadratic function has the axis at x = < [ 9 7, part In [ 9, , we have 7 x = 7 x 9, 2 7 x = 2 7 x 5, 7 x 2 7 x = 2059x 858 < 0.

11 A metric discrepancy result for geometric progression with ratio /2 In [ , [ 9 7, , by 2 we have g 6+ x x x x= hx η < 0, since the quadratic function has the axis at x = < In [ 9, , we have 8 x = 8 x 27, 2 8 x = 2 8 x 06, 8 x 2 8 x = 605x 2627 < 0. Hence by 2 we have hx g 6+ x x x x= x x η < 0, since the quadratic function has the axis at x = < [ 0 5, part In [ 0, [ 0,c, by we have 5 hx g 6 x x= η < 0, since the quadratic function has the axis at x = > [ , part In [ , 9 [ 0 7, 04 5, we have 7 x = 7 x 90, 2 7 x = x 5, 7 x 2 7 x = 2059x By and 2 we have τ 7 x = g 7 x for x [ ,c, 4 τ 7 x = g 7+x for x [c, 9. 7 In [ , [ ,c, by we have hx g 7 x x= η < 0,

12 2 K. Fukuyama since the quadratic function has the axis at x = > [ , part In[ ,c [ 2059,c,wehave 8 x = 8 x 272, 2 8 x = 2 8 x 06, 0. By we see 8 x 2 8 x = 605x τ 8 x = g 8 x for x [ ,c. Hence in [ , [ ,c, we have hx g 8 x x= η < 0, since the quadratic function has the axis at x = > [ , part In [ ,c [ 485,c, we have 9 x = 9 x 898, 2 9 x = 2 9 x 2, 9 x 2 9 x = 97x By 5 we see 6 τ 9 x = g 9 x for x [ ,c. Hence in [ , [ ,c, we have hx g 9 x x= η < 0, since the quadratic function has the axis at x = > [ , part In[ , 24596, wehave 0 x = 0 x 24595, 2 0 x = 2 0 x 426, 0 0 x 2 0 x = 58025x In [ , [ ,c, by 6 we have hx g 9 x x x 0 x= < 0, 0 η

13 A metric discrepancy result for geometric progression with ratio /2 since the quadratic function has the axis at x = < [ , part In [ 24596,c [ ,c, by noting > c, we have 0 x = 0 x 24596, 2 0 x = 2 0 x 426, 0 x 2 0 x = 58025x 2470< 0. By 6 we have 7 τ 0 x = g 0 x for x [ ,c. In [ 24596, [ 24596,c, we have 0 hx g 0 x + η x= < 0, since the quadratic function has the axis at x = > [ , 7789 part In [ 7295 [ 24596,c, we have x = x 7788, 0 2 x = 2 x 85, x 2 x = 75099x By 7 we have 75099, 7789 hx g 0 x x x x= η < 0, since the quadratic function has the axis at x = > [ 7789,c, [c, 9 7 part In [c, 9 7 we have d dx σ2 x d dx g 7+x 2 6 = x c < 0 a.e.

14 4 K. Fukuyama In [ 7789,c we have x = x 7789, 2 x = 2 x 85, x 2 x = 75099x 7296< 0, and τ x = g x. Hence d dx σ2 x d dx g x = x c = > 0 a.e. References [ ] C. Aistleitner & K. Fukuyama, Extremal discrepancy behavior of lacunary sequences, Monatsh. Math., [ 2 ] P. Erdős, Problems and results on diophantine approximations, Compositio Math., [ ] K. Fukuyama, The law of the iterated logarithm for discrepancies of {θ n x}. Acta Math. Hungar., , [ 4 ] K. Fukuyama, Metric discrepancy results for alternating geometric progressions, Monatsh. Math., [ 5 ] K. Fukuyama, A metric discrepancy result for the sequence of powers of minus two, Indag. Math. NS, [ 6 ] K. Fukuyama, Y. Mitsuhata, Bounded law of the iterated logarithm for discrepancies of permutations of lacunary sequences, Summer School on the Theory of Uniform Distribution, RIMS Kôkyûroku Bessatsu, B [ 7 ] K. Fukuyama, S. Sakaguchi, O. Shimabe, T. Toyoda, M. Tscheckl, Metric discrepancy results for geometric progresions with small ratios, Acta Math. Hungar., to appear, DOI:0.007/s z [ 8 ] K. Fukuyama & M. Yamashita, Metric discrepancy results for geometric progressions with large ratios, Monatsh. Math., [ 9 ] W. Philipp, Limit theorems for lacunary series and uniform distribution mod, Acta Arith. 26, [0] S. Takahashi, An asymptotic property of a gap sequence, Proc. Japan Acad., 8 962, [] H. Weyl, Über die Gleichverteilung von Zahlen modulo Eins, Math. Ann., 77 96, 52. Department of Mathematics Kobe University Rokko Kobe Japan