arxiv: v1 [math.ca] 9 Apr 2019

Transcription

1 HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS arxv: v1 [math.ca] 9 Apr 2019 CHANGHAO CHEN AND IGOR E. SHPARLINSKI Abstract. The authors have recently obtaned a lower bound of the Hausdorffdmenson of the sets of vectors (x 1,...,x d ) [0,1) d wth large Weyl sums, namely of vectors for whch N exp ( 2π ( x 1 n+...+x d n d)) N α n=1 for nfntely many ntegers N 1. Here we obtan an upper bound for the Hausdorff dmenson of these exceptonal sets. 1. Introducton 1.1. Motvaton and background. For an nteger d 2, let T d = (R/Z) d be the d-dmensonal unt torus. For a vector x = (x 1,...,x d ) T d and N N, we consder the exponental sums N S d (x;n) = e ( x 1 n+...+x d n d), n=1 whch are commonly called Weyl sums, where throughout the paper we denote e(x) = exp(2πx). The authors [2, Appendx A] have show that for almost all x T d (wth respect to Lebesgue measure) one has (1.1) S d (x;n) N 1/2+o(1) as N, see also [3, Corollary 1.3] for a dfferent proof. It s very natural to conjecture that the exponent 1/2 s the best possble value, however there seems to be no results n ths drecton. For nteger d 2 and 0 < α < 1 our man object s defned as E d,α = {x T d : S d (x;n) N α for nfntely many N N}. We can restate the bound (1.1) n the followng way: for any α (1/2,1) the set E d,α s of Lebesgue measure zero. Here we are mostly 2010 Mathematcs Subject Classfcaton. 11L15, 28A78, 28A80. Key words and phrases. Weyl sums, Hausdorff dmenson. 1

2 2 C. CHEN AND I. E. SHPARLINSKI nterested n the structure of the sets E d,α, and for convenence we call the set E α,d the exceptonal set for any nteger d 2 and each 0 < α < 1. The authors [2] show that n terms of the Bare categores and Hausdorff dmenson the exceptonal sets E d,α arequte massve. By [2, Theorem 1.3], for each 0 < α < 1 and nteger d 2 the set T d \E d,α s of the frst Bare category. Alternatvely, ths s equvalent to the statement that the complement T d \Ξ d to the set (1.2) Ξ d = { x T d : ε > 0, S d (x;n) N 1 ε for nfntely many N N }. s of frst category, see [2] for more detals and reference theren. For the Hausdorff dmenson t s shown n [2, Theorem 1.5] that for any d 2 and 0 < α < 1 one has (1.3) dme d,α ξ(d,α) > 0 wth some explct constant ξ(d, α). We remark that the authors [3, Corollary 1.9] have obtaned a nontrval upper bound for the Hausdorff dmenson of E d,α for some α, however the bounds there are not fully explct and not cover the whole range 1/2 < α < 1. Here we obtan the nontrval upper bound of dme d,α for all 1/2 < α < 1 and d 2. On the other hand, we note that we do not have any plausble conjecture about the exact value of the Hausdorff dmenson of E d,α Man results. For A R d, the s-dmenson Hausdorff measure of A s defned as H s (A) = lmhδ s (A), δ 0 where { } Hδ s (A) = nf (damu ) s : A U and damu δ, N. =1 =1 The Hausdorff dmenson of A s defned as dma = nf{s > 0 : H s (A) = 0} = sup{s > 0 : H s (A) = }. We refer to [4] for more detals and propertes of Hausdorff dmenson. For nteger d 2 and 0 < α < 1 denote (1.4) u(d, α) = mn k=0,...,d 1 (2d 2 +4d)(1 α)+k(k +1). 4 2α+2k

3 HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS 3 Theorem 1.1. For any nteger d 2 and 0 < α < 1 we have dme d,α u(d,α). For d 2 and any 1/2 < α < 1 an elementary calculaton gves that u(d,α) < d. In fact by takng k = d 1 n (1.4) we derve Thus, we have u(d,α) d d(d+1)(2α 1). 2(d+1 α) Corollary 1.2. For any nteger d 2 and any 1/2 < α < 1 we have dme d,α < d. Furthermore takng, for example, k = 0 n (1.4) we obtan dme d,α u(d,α) (2d2 +4d)(1 α). 4 2α We note that although lower bound (1.3) and the upper bound of Theorem 1.1 are of very dfferent magntude wth respect to d, however for α 1 they gve the same rate convergency to zero of order 1 α. Namely the explct formula for ξ(d,α) from [2] and the formula (1.4) yeld c 1 (d) lmnf α 1 (1 α) 1 dme d,α lmsup(1 α) 1 dme d,α c 2 (d) α 1 for two postve constants c 1 (d),c 2 (d) dependng only on d. In fact for d = 2 we have whle for d 3 we have c 1 (d) = max ν=1,...,d mn In partcular, we have c 1 (2) = 3 and c 2 (2) = 8, { 1 ν, 2 2d ν } and c 2 (d) = d 2 +2d. Corollary 1.3. For any nteger d 2, f α 1 then dme d,α 0. From the defnton of Ξ d, see (1.2), we have Ξ d E d,α for any 0 < α < 1. Therefore Corollary 1.4. For any nteger d 2, we have dmξ d = 0.

4 4 C. CHEN AND I. E. SHPARLINSKI 2. Prelmnares 2.1. Notaton and conventons. Throughout the paper, the notaton U = O(V), U V and V U are equvalent to U c V for some postve constant c, whch throughout the paper may depend on the degree d and occasonally on the small real postve parameters ε and δ. For any quantty V > 1 we wrte U = V o(1) (as V ) to ndcate a functon of V whch satsfes U V ε for any ε > 0, provded V that s large enough. We use #X to denote the cardnalty of set X. We always dentfy T d wth half-open unt cube [0,1) d, n partcular we naturally assocate Eucldean norm x wth ponts x T d. We say that some property holds for almost all x T d f t holds for a set X T d of Lebesgue measure λ(x) = 1. We always keep the subscrpt d n notatons for our man objects of nterest such as E α,d, S d (x;n) and T d, but sometmes suppress t n auxlary quanttes Mean value theorems. The Vnogradov mean value theorem n the currently known form, due to Bourgan, Demeter and Guth [1] for d 4 and Wooley [5] for d = 3., asserts that, T d S d (x;n) 2s(d) dx N s(d)+o(1), where s(d) = d(d+1)/2. Usng the orthogonalty of exponental functons the value of the ntegral T d S d (x;n) 2s(d) dx counts the number of nteger vector (n 1,...,n 2s(d) ) such that and for each j = 1,...,d one has 1 n 1,...,n 2s(d) N (2.1) n j n j s(d) = nj s(d) nj 2s(d). Anmportantfactsthatf (n 1,...,n 2s(d) ) ssatsfestheequaton(2.1) for all j = 1,...,d, then for any real a the translated vector (n 1 +a,...,n 2s(d) +a) also satsfes the equaton (2.1) for all j = 1,...,d. Usng ths translaton nvarance and agan applyng orthogonalty of exponental functons we obtan the followng result for sums over short ntervals. For

5 HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS 5 any ntegers L,N 1 we have the upper bound T d S d (x;n +L) S d (x;n) 2s(d) dx (NL) o(1) L s(d), as NL Dstrbuton of large values of exponental sums. We use the followng two results from [3]. For u R d and ζ = (ζ 1,...,ζ d ) wth ζ j > 0, j = 1,...,d, we defne the d-dmensonal rectangle (or box) wth center u and sde lengths 2ζ by R(u,ζ) = [u 1 ζ 1,u 1 +ζ 1 )... [u d ζ d,u d +ζ d ). By [3, Lemmas 2.6] we have: Lemma 2.1. Let 0 < α < 1 and ε > 0 be a small parameter. For each j = 1,...,d let ζ j = 1/ N j+1+ε α. We dvde T d nto boxes of the type U = d ζ 1 j [n 1 ζ 1,(n 1 +1)ζ 1 )... [n d ζ d,(n d +1)ζ d ), where n j = 0,...,1/ζ j 1, j = 1,...,d. Let R be the collecton of these boxes, and R = {R R : x R wth S d (x;n) N α }. Then one has # R UN s(d)(1 2α)+o(1). Note that the above bound of # R s nontrval when 1/2 < α < 1. We have the followng bound on the amount of certan boxes whch admt values for the dfference S d (x;l) S d (x;k), see [3, Lemmas 2.8]. Lemma 2.2. Let 0 < α < 1 and ε > 0 be a small parameter. Let ρ > 1 and N = ρ, N. Let N K < L N +1 for some N. For each j = 1,...,d let We dvde the T d nto η j = 1/ N j+ε α (L K). W = d η 1 j

6 6 C. CHEN AND I. E. SHPARLINSKI boxes n the same way as n the Lemma 2.1. Denote Q the collecton of these boxes. Then one has #{R Q : x R wth S d (x;l) S d (x;k) N α } W(L K) s(d) N 2αs(d)+o(1) Iterated constructon. We adapt the constructon n the [3, Proof of Theorem 1.2] to our settng. For each N let N = ρ and denote Note that we have L = N +1 N. ρ 1 L ρ 1. Let M be a large nteger number to be determned later. We choose ϑ (0,1) as the largest real number wth (2.2) 1/ϑ N and ϑ M L N α. Let I = [a,b] [N,N +1 ] and let I = b a. We dvde I nto 1/ϑ ntervals wth the equal length ϑ I. For each v = 1,...,1/ϑ let and A,I (v) = {x T d : S d (x;a+vϑ I) S d (x;a) N α }, A,I = 1/ϑ v=1 A,I (v). Remark 2.3. Clearly, a + vϑ I may not be an nteger for some v = 1,...,1/ϑ. In ths case we replace t wth the closest nteger. Under ths modfcaton we stll get 1/ϑ ntervals and each of them has the length ϑ I + O(1), whch does not effect our result. In the followng and through out the paper we use ths conventon, and thus to mplfy the exposton we allways treat a + vϑ I as an nteger for each v = 1,...,1/ϑ. Now we dvde nterval [N,N +1 ] nto 1/ϑ ntervals wth the equal length ϑ L. Let D 1 be the collecton of these 1/ϑ ntervals. Precsely D 1 = {[N +vϑ L,N +vϑ L +ϑ L ] : 0 v < 1/ϑ }. For each nterval of D 1 we do ths process agan, and let D 2 be the collectons of all these ntervals. Now D 2 has (1/ϑ ) 2 ntervals wth equal length ϑ 2 L. We contnue ths process untl M steps. For 1 m M 1 we can wrte D m = {[N +vϑ m L,N +vϑ m L +ϑ m L ] : 0 v < (1/ϑ ) m }.

7 HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS 7 We may wrte D 0 = {[N,N +1 ]} for convenence. Note that each nterval of D m has length ϑ m L. For each 1 m M we defne B,m = I D m 1 A,I and Specally we defne B 0 = k=1=k B m = k=1=k B,m. {x T d : S d (x;n ) N α }. By applyng the smlar arguments as n [2, Proof of Theorem 1.2] we derve the followng. Lemma 2.4. Let 0 < α < 1 and d 2. Usng above notaton for any small ǫ > 0 we have M E d,α+ǫ B m. m=0 Proof. Frst observe that t s suffcent to show that for any x / B m for each m = 0,1,...M one has S d (x;n) N α. Now let x / B for each = 0,1...,M. Then there exsts x N such that for each x one has (2.3) S d (x;n ) N α, and for each m = 1,...M one has x / B,m. Applyng x / B,1 and (2.3) we conclude that for any j = 1,...,1/ϑ one has S d (x;n +jϑ L ) S d (x;n +jϑ L ) S d (x;n ) + S d (x;n ) N α. By usng ths process, fnally we obtan that for each 1 j (1/ϑ ) M one has (2.4) S d (x;n +jϑ M L ) N α. Now for any N N x there exsts x and 1 j (1/ϑ ) M such that N +jϑ M L N N +(j +1)ϑ M L.

8 8 C. CHEN AND I. E. SHPARLINSKI Combnng (2.4) wth (2.2) and the trval bound e(x) 1 we obtan S d (x;n) S d (x;n) S d (x;n +jϑ M L ) N α, whch gves the result. + S d (x;n +jϑ M L ) 2.5. Coverng the sets of large Weyl sums by a famly of rectangles. Foreach m = 0,...,M wentendtocover B m byafamlyofrectangles. We wll use the notaton from Subsectons 2.3, 2.4. We formulate the Lemmas 2.1, 2.2 n the followng ways for the convenence of our applcatons. From Lemma 2.1 we have Corollary 2.5. Let 0 < α < 1 and ε > 0 be a small parameter. For large enough N we have {x T d : S d (x;n) N α } R R R 0 () where each R of R 0 () has sde length ζ = (ζ 1,...,ζ d ) such that ζ j = 1/ N j+1+ε α, j = 1,...,d, and furthermore #R 0 () N s(d) 2αs(d) From Lemma 2.2 we obtan d ζ 1 j N 2s(d)(1 α)+d(1 α)+dε+o(1). Corollary 2.6. Let 0 < α < 1 and ε > 0 be a small parameter. Let N, m = 1,...,M and I D m 1 (), then for each v = 1,...,1/ϑ we have A,I (v) R I D m 1 R R m(,v) where each R of R m (,v) has sde length η(v) = (η 1 (v),...,η d (v)) such that η j (v) = 1/ N j+ε α vϑ m L, j = 1,...,d, and d #R m (,v) #D m 1 (vϑ m L ) s(d) N 2αs(d) η j (v) 1 N s(d) 2αs(d) dα+dε L d+s(d) v d+s(d) ϑ md+ms(d) m+1.

9 HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS 9 Let R m () be the collecton of boxes of R m (,v), v = 1,...,ϑ 1 1, that s, R m () = { R : R R m (,v),v = 1,...,ϑ 1 1 }. Then we have B m R. k=1=k R R m() 3. Proof of Theorem 1.1 We start from some auxlary results. Frstly we adapt the defnton of the sngular value functon from [4, Chapter 9] to the followng. Defnton 3.1. Let R R d be a rectangle wth sde lengths r 1... r d. For 0 < t d we set ϕ 0,t (R) = r1, t and for k = 1,...,d 1 we defne ϕ k,t (R) = r 1...r k r t k k+1. Note that for a rectangle R R 2 wth sde length r 1 r 2 we have { r1 t k = 0 ϕ k,t (R) = r 1 r2 t 1 k = 1. Remark 3.2. The notaton ϕ k,t (R) roughly means that we can cover the rectangle R by about (up to a constant factor) r 1 r k... r k+1 r k+1 balls of radus r k+1, and hence ths leads to the term ϕ k,t (R) = r 1 r k... rk+1 t r k+1 r k+1 n the expresson for the Hausdorff measure wth the parameter t (agan up a constant factor whch does not affect our results). The followng easy nequalty shows the mportance of the functon ϕ k,t (R). Lemma 3.3. Usng the above notaton, for each m = 0,...,M we have dmb m nf t > 0 : ϕ k,t (R) <,k = 0,...,d 1. =1 R R m()

10 10 C. CHEN AND I. E. SHPARLINSKI Proof. From Corollares 2.5 and 2.6 for each m = 0,...,M we have B m R. q=1 =q R R m() Let k = 0,...,d 1 and t > 0 such that (3.1) ϕ k,t (R) <. =1 R R m() Note that for any δ > 0 there exts q δ such that for any q δ and any R R m () one has dam(r) δ. Furthermore for any q N the set =q R R R s a cover of B m() m. From the defnton of the Hausdorff measure and the Remark 3.2 for ϕ k,t (R) we obtan H t δ(b m ) R R m() ϕ k,t (R) ϕ k,t (R), =1 R R m() where the mpled constant does not depend on δ. Combnng ths wth (3.1) we obtan H t (B m ) <, and hence dmb m t. We fnsh the proof by the arbtrary choce of t > 0 and k = 0,...,d 1. We also use the followng countable stablty property of Hausdorff dmenson, see [4, Secton 2.2] for a short proof and other basc propertes of Hausdorff dmenson. Let A 1,A 2,... be a sequence subsets of R d then (3.2) dm NA = supdma. N

11 HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS 11 Now we turn to the proof of Theorem 1.1. We consder the upper bound of dmb 0 frst. For k = 1,...,d 1 and 0 < t d we have (3.3) R R 0 () ϕ k,t (R) = #R 0 ()ζ t k k+1 k ζ j N 2s(d)(1 α)+d(1 α)+dε+o(1) ( N α 1 ε (k+1) ) t k k N α j 1 ε N 2s(d)(1 α)+d(1 α)+dε+(t k)(α k 2 ε)+k(α 1 ε) s(k)+o(1). Here and n the followng we denote s(k) = k(k +1). 2 We remark that ths bound also holds for the case k = 0, whch we take k = 0 and s(k) = 0 n the last lne of (3.3). To be precse for k = 0 we have R R 0 () ϕ 0,t (R) N 2s(d)(1 α)+d(1 α)+dε+t(α 2 ε)+o(1). Applyng Lemma 3.3 we conclude that dmb 0 t provded that the parameters α, ρ, k, t satsfy the followng further condton ρ(2s(d)(1 α)+d(1 α)+(t k)(α k 2)+k(α 1) s(k)) < 1, whch becomes (3.4) t > 2s(d)(1 α)+d(1 α)+s(k)+1/ρ. k +2 α

12 12 C. CHEN AND I. E. SHPARLINSKI Now we turn to the upper bound of dmb m wth m = 1,...,M. For k = 1,...,d 1, 0 < t d and m = 1,...,M we have (3.5) R R m() ϕ k,t (R) 1/ϑ 1 v=1 1/ϑ 1 v=1 1/ϑ 1 v=1 1/ϑ 1 v=1 R R m(,v) ϕ k,t (R) k #R (,v)η k+1 (v) t k η j (v) #R (,v)(n α (k+1) ε v 1 ϑ m L 1 ) t k k N α j ε v 1 ϑ m L 1 #R (,v)n t(α k 1 ǫ)+s(k) L t v t ϑ mt N s(d) 2αs(d) dα+dε+t(α k 1 ε)+s(k)+o(1) L d+s(d) t ϑ m(d+s 1 t) d s+t. We remark that ths bound also holds for the case k = 0, whch we take k = 0 and s(k) = 0 n the last nequalty of (3.5). Observe that for each m 1 we have ϑ m(d+s 1 t) d s+t 1/ϑ. Let M = ρ/ε. Then by (2.2) we have the followng trval nequalty ( ) 1/M L 1/ϑ N 1/M ε. N α Combnng ths and takng nto account that ε can be chosen arbtrary small, we conclude that for any m = 1,...,M one has dmb m t provded the parameters satsfy the condton ρ(s(d) 2αs(d) dα+t(α k 1)+s(k))+(ρ 1)(d+s(d) t) < 1, whch becomes (3.6) t > s(d) 2αs(d) dα+s(k)+(1 1/ρ)(d+s(d))+1/ρ. k +2 α 1/ρ

13 HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS 13 Applyng condtons (3.4) and (3.6), by choosng large enough ρ we obtan that for any m = 0,...,M on has provded that dmb m t t > 2s(d)(1 α)+d(1 α)+s(k). k +2 α It follows that for any small τ > 0 there exsts large enough ρ (and suffcent small ε > 0 n the above arguments) such that (3.7) max dmb m 2s(d)(1 α)+d(1 α)+s(k) +τ. m=0,...,m k +2 α By the monotoncty property of the Hausdorff dmenson we see from Lemma 2.4 that for any ǫ > 0 one has dme d,α+ǫ dm B m. m=0,...,m Combnng wth the countable stablty property of the Hausdorff dmenson (3.2) and (3.7) we derve dme d,α+ǫ 2s(d)(1 α)+d(1 α)+s(k) +τ. k +2 α By takng γ = α+ǫ we obtan 2s(d)(1 γ +ǫ)+d(1 γ +ǫ)+s(k) dme d,γ +τ. k +2 γ +ǫ Snce ths holds for any small ǫ > 0 and τ > 0, ths gves the desred bound. Acknowledgement Ths work was supported by ARC Grant DP References [1] J. Bourgan, C. Demeter and L. Guth, Proof of the man conjecture n Vnogradov s mean value theorem for degrees hgher than three, Ann. Math., 184 (2016), [2] C. Chen and I. E. Shparlnsk, On large values of Weyl sums, Preprnt, 2019, avalable at 1, 2, 3, 7 [3] C. Chen and I. E. Shparlnsk, New bounds of Weyl sums, Preprnt, 2019, avalable at 1, 2, 5, 6 [4] K. J. Falconer, Fractal geometry: Mathematcal foundatons and applcatons, John Wley, 2nd Ed., , 9, 10 [5] T. D. Wooley, The cubc case of the man conjecture n Vnogradov s mean value theorem, Adv. n Math., 294 (2016),

14 14 C. CHEN AND I. E. SHPARLINSKI Department of Pure Mathematcs, Unversty of New South Wales, Sydney, NSW 2052, Australa E-mal address: Department of Pure Mathematcs, Unversty of New South Wales, Sydney, NSW 2052, Australa E-mal address: