arxiv: v1 [math.nt] 21 Nov 2013

Transcription

1 CONSTRUCTION OF NORMAL NUMBERS VIA GENERALIZED PRIME POWER SEQUENCES MANFRED G. MADRITSCH AND ROBERT F. TICHY Ddicatd to Jan-Paul Allouch on th occasion of his 60 th birthday arxiv: v1 [math.nt] 21 Nov 2013 Abstract. In th prsnt papr th authors construct normal numbrs in bas q by concatnating q-adic xpansions of prim powrs αp θ with α > 0 and θ > Introduction Lt q 2 b a fixd intgr and σ = 0.a 1 a 2... b th q-ary xpansion of a ral numbr σ with 0 < σ < 1. W writ d 1 d l {0,1,...,q 1} l for a block of l digits in th q-ary xpansion. By N(σ;d 1 d l ;N) w dnot th numbr of occurrncs of th block d 1 d l in th first N digits of th q-ary xpansion of σ. W call σ normal to th bas q if for vry fixd l 1 R N (σ) = R N,l (σ) = sup 1 N N(σ;d 1 d l ;N) 1 q l = o(1) d 1 d l as N, whr th suprmum is takn ovr all blocks d 1 d l {0,1,...,q 1} l. A slightly diffrnt, howvr quivalnt dfinition of normal numbrs is du to Borl [6] who also showd that almost all numbrs ar normal (with rspct to th Lbsgu masur) to any bas. Howvr, dspit thir omniprsnc among th rals, all numbrs currntly known to b normal ar stablishd by ad hoc constructions. In particular, w do not know whthr givn numbrs, such as π,, log2 and 2, ar normal. In this papr w considr th construction of normal numbrs in bas q as concatnation of q-ary intgr parts of crtain functions. A first rsult was achivd by Champrnown [8], who showd that is normal in bas 10. This construction can b asily gnralisd to any intgr bas q. Copland and Erdös [9] provd that is normal in bas 10. This construction principl has bn gnralizd in svral dirctions. In particular, Dumont and Thomas [12] usd transducrs in ordr to rwrit th blocks of th xpansion of a givn normal numbr to produc anothr on. Such constructions using automata yild to q-automatic numbrs, i.., ral numbrs whos q-adic rprsntation is a q-automatic squnc (cf. Allouch and Shallit [1]). By ths mans on can show that for instanc th numbr 3 2n 2 32n is normal in bas 2. n 0 Dat: Dcmbr 16, Mathmatics Subjct Classification. 11N37 (11A63). Ky words and phrass. normal numbr, psudo-polynomial. 1

2 2 M. G. MADRITSCH AND R. F. TICHY In th prsnt papr w want to us anothr approach to gnraliz Champrnown s construction of normal numbrs. In particular, lt f b any function and lt [f(n)] q dnot th bas q xpansion of th intgr part of f(n). Thn dfin (1.1) σ q = σ q (f) = 0. f(1) q f(2) q f(3) q f(4) q f(5) q f(6) q..., whr th argumnts run through all positiv intgrs. Champrnown s xampl corrsponds to th choicf(x) = x in (1.1). DavnportandErdös[10]considrdth caswhrf(x) is anintgr valud polynomial and showd that in this cas th numbr σ q (f) is normal. This construction was subsquntly xtndd to polynomials ovr th rationals and ovr th rals by Schiffr [23] and Nakai and Shiokawa [21], who wr both abl to show that R N (σ q (f)) = O(1/). This stimat is bst possibl as it was provd by Schiffr [23]. Furthrmor Madritsch t al. [19] gav a construction for f bing an ntir function of boundd logarithmic ordr. Nakai and Shiokawa [20] constructd a normal numbr by concatnating th intgr part of a psudo-polynomial squnc, i.., a squnc ( p(n) ) n 1 whr (1.2) p(x) = α 0 x θ0 +α 1 x θ1 + +α d x θ d with α 0,θ 0,...,α d,θ d R, α 0 > 0, θ 0 > θ 1 > > θ d > 0 and at last on θ i Z. This mthod of construction by concatnating function valus is in strong connction with proprtis of q-additiv functions. W call a function f strictly q-additiv, if f(0) = 0 and th function oprats only on th digits of th q-adic rprsntation, i.., l l f(n) = f(d h ) for n = d h q h. h=0 A vry simpl xampl of a strictly q-additiv function is th sum of digits function s q, dfind by l l s q (n) = d h for n = d h q h. h=0 Rfining th mthods of Nakai and Shiokawa th first author obtaind th following rsult. Thorm ( [18, Thorm 1.1]). Lt q 2 b an intgr and f b a strictly q-additiv function. If p is a psudo-polynomial as dfind in (1.2), thn thr xists ε > 0 such that (1.3) f ( p(n) ) = µ f N log q (p(n))+nf ( log q (p(n)) ) +O ( N 1 ε), whr n N µ f = 1 q 1 f(d) q d=0 and F is a 1-priodic function dpnding only on f and p. Th aim of th prsnt papr is to xtnd th abov rsults to prim powr squncs. Lt f b a function and st (1.4) h=0 h=0 τ q = τ q (f) = 0. f(2) q f(3) q f(5) q f(7) q f(11) q f(13) q..., whr th argumnts of f run through th squnc of prims. Ltting f b a polynomial with rational cofficints, Nakai and Shiokawa [22] could show that τ q (f) is normal. Morovr,ltting f b an ntir function ofboundd logarithmic ordr, Madritsch tal. [19] showd that R N (τ q (f)) = O(1/). At this point w want to mntion th connction of normal numbrs with uniform distribution. In particular, a numbr x [0,1] is normal to bas q if and only if th squnc {q n x} n 0 is uniformly distributd modulo 1 (cf. Drmota and Tichy [11]). Hr {y} stands for th fractional part of y. Lt us mntion Kaufman [17] and Balog [3,4], who invstigatd th distribution of th fractional part of p and p θ rspctivly. Harman [14] gav stimats for th discrpancy of th squnc p. In his paprs Schoissngir [24,25] connctd th stimation of th discrpancy of αp θ with zro fr rgions of th Rimann zta function. This allowd Tolv [29] to considr

3 CONSTRUCTION OF NORMAL NUMBERS VIA GENERALIZED PRIME POWER SEQUENCES 3 th multidimnsional variant of this problm as wll as to provid an xplicit stimat for th discrpancy. This rsult was improvd for diffrnt spcial cass by Zhai [31]. Sinc th rsults abov dal with th cas of θ < 1 Bakr and Kolsnik [2] xtndd ths considrations to θ > 1 and providd an xplicit uppr bound for th discrpancy in this cas. This rsult was improvd by Cao and Zhai [7] for 5 3 < θ < 3. A multidimnsional xtnsion is du to Srinivasan and Tichy [27]. Combining th mthods for proving uniform distribution mntiond abov with a rcnt papr by Brglson t al. [5] w want to xtnd th construction of Nakai and Shiokawa [20] to prim numbrs. Our first main rsult is th following thorm. Thorm 1.1. Lt θ > 1 and α > 0. Thn R N (τ q (αx θ )) = O(1/). Rmark 1.2. This stimat is bst possibl as Schiffr [23] showd. In our scond main rsult w us th connction of this construction of normal numbrs with th arithmtic man of q-additiv functions as dscribd abov. Known rsults in this ara ar du to Shiokawa [26], who was abl to show th following thorm. Thorm ( [26, Thorm]). W hav p x s q (p) = q 1 2 ( ( x loglogx logq +O x logx ) )1 2, whr th sum runs ovr th prims and th implicit O-constant may dpnd on q. Similar rsults concrning th momnts of th sum of digits function ovr prims hav bn stablishd by Kátai [16]. An xtnsion to Burling prims is du to Hppnr [15]. Lt π(x) stand for th numbr of prims lss than or qual to x. Adapting ths idas to our mthod w obtain th following thorm. Thorm 1.3. Lt θ > 1 and α > 0. Thn s q ( αp θ ) = q 1 2 π(n)log q Nθ +O(π(N)), whr th sum runs ovr th prims and th implicit O-constant may dpnd on q and θ. Rmark 1.4. With simpl modifications Thorm 1.3 can b xtndd to compltly q-additiv functions rplacing s q. Th proof of th two thorms is dividd in thr parts. In th following sction w rwrit both statmnts and stat th cntral thorm, which combins thm and which w prov in th rst of th papr. In Sction 3 w prsnt all th tools w nd in th proof of th cntral thorm. Finally, in Sction 4 w proof th thorm. 2. Prliminaris Throughout th papr, an intrval dnots a st I = (α,β] = {x : α < x β} with β > α 1 2. W will oftn subdivid a intrval into smallr ons. In particular w us th obsrvation that if log(β/α), thn (α,β] is th union of, say, s intrvals of th typ (γ,γ 1 ] with s and γ 1 2γ. Givn any complx function F on I, w hav (2.1) F(x) (), x I γ<x γ 1 F(x) for som such (γ,γ 1 ]. In th proof p will always dnot a prim. W fix th block d 1 d l and writ N(f(p)) for th numbr of occurrncs of this block in th q-ary xpansion of f(p). By l(m) w dnot th lngth of th q-ary xpansion of an intgr m.

4 4 M. G. MADRITSCH AND R. F. TICHY In th first stp w want to gt rid of th blocks that may occur btwn two xpansions. To this nd w dfin an intgr N by 1l( (2.2) p θ ) < L l ( p θ ), whr indicats that th sum runs ovr all prims. Thus w gt that (2.3) L = l( p θ )+O(π(N))+O(θlog q (N)) = θ ( ) N logq N +O. Hr w hav usd th prim numbr thorm in th form ( ) x π(x) = Lix+O (logx) G, whr G is an arbitrary positiv constant and Lix = x 2 dt logt. Lt N(n;d 1 d l ) b th numbr of occurrncs of th block d 1 d l in th xpansion of n. Sinc w hav fixd th block d 1 d l w will writ N(n) = N(n;d 1 d l ) for short. Thn (2.3) implis that N(τ q(x θ );d 1 d l ;L) (2.4) N(p θ ) L logl. For th nxt stp w collct all th valus that hav a crtain lngth of xpansion. Lt j 0 b a sufficintly larg intgr. Thn for ach intgr j j 0 w gt that thr xists an N j such that q j 2 f(n j ) < q j 1 f(n j +1) < q j. W not that this is possibl sinc f asymptotically grows as its lading cofficint. This implis that N j q j β. Furthrmor for N q j0 w st J to b th gratst lngth of th q-ary xpansions of f(p) ovr th prims p N, i.., (2.5) J := max l( f(p) ) = log q(f(n))+o(1). In th nxt stp w want to prform th counting by adding th lading zros to th xpansion of f(p). For N j 1 < p N j w may writ f(p) in q-ary xpansion, i.., f(p) = b j 1 q j 1 +b j 2 q j 2 + +b 1 q +b 0 +b 1 q Thn w dnot by N (f(p)) th numbr of occurrncs of th block d 1,...,d l in th string 0 0b j 1 b j 2 b 1 b 0, whr w filld up th xpansion with zros such that it has lngth J. Th rror of doing so can b stimatd by (2.6) 0 J 1 j=j 0+1 J j=j 0+2 N (f(p)) N(f(p)) (J j)(π(n j+1 ) π(n j ))+O(1) π(n j )+O(1) J j=j 0+2 q j/β j N L logl. In th following two sctions w will stimat this sum of indicator functions in ordr to prov th following proposition.

5 CONSTRUCTION OF NORMAL NUMBERS VIA GENERALIZED PRIME POWER SEQUENCES 5 Proposition 2.1. Lt θ > 1 and α > 0. Thn (2.7) N ( αp θ ) = q k π(n)log q N θ +O ( ) N Proof of Thorm 1.1. W insrt (2.7) into (2.4) and gt th dsird rsult. Proof of Thorm 1.3. For this proof w hav to rwrit th statmnt. In particular, w us that th sum of digits function counts th numbr of 1s, 2s, tc. and assigns wights to thm, i.., Thus and th thorm follows. q 1 s q (n) = d N(n;d). d=0 s q ( p θ ) = q 1 d=0d N(p θ ) = q 1 d=0 = q 1 2 π(n)log q(n θ )+O 3. Tools ( N d N (p θ )+O ( N In this sction w want to prsnt all th tools w nd on th way of proof of Proposition 2.1. W start with an stimation which ssntially gos back to Vinogradov. This will provid us with Fourir xpansions for th indicator functions usd in th proof. As usual givn a ral numbr y, th xprssion (y) will stand for xp{2πiy}. Lmma 3.1 ( [30, Lmma 12]). Lt α, β, b ral numbrs satisfying 0 < < 1, β α 1. 2 Thn thr xists a priodic function ψ(x) with priod 1, satisfying (3.1) (1) ψ(x) = 1 in th intrval α+ 1 2 x β 1 2, (2) ψ(x) = 0 in th intrval β x 1+α 1 2, (3) 0 ψ(x) 1 in th rmaindr of th intrval α 1 2 x 1+α 1 2, (4) ψ(x) has a Fourir sris xpansion of th form ψ(x) = β α+ A(ν)(νx), whr ν= ν 0 ) ( ) 1 A(ν) min ν,β α, 1 ν 2. Aftr w hav transformd th sums undr considration into xponntial sums w want to split th intrval by th following lmma. Lmma 3.2. Lt I = (a,b] b an intrval and F b a complx function dfind on I. If log(b/a) L, thn I is th union of l intrvals of th typ (c,d] with l L and d 2c. Furthrmor w hav F(n) L F(n), for som such (c,d]. n I n (c,d] )

6 6 M. G. MADRITSCH AND R. F. TICHY Proof. For i = 1,...,l lt I i b th l splitting intrvals. Thn F(n) = l F(n) l max F(n) 1 i l L F(n) n I i=1 n I i n I i n I i W will apply th following lmma in ordr to stimat th occurring xponntial sums providd that th cofficints ar vry small. This corrsponds to th cas of th most significant digits in th xpansion. Lmma 3.3 ( [28, Lmma4.19]). Lt F(x) b a ral function, k tims diffrntiabl, and satisfying F (k) (x) λ > 0 throughout th intrval [a,b]. Thn b (F(x))dx c(k)λ 1/k. a A standard tool for stimating xponntial sums ovr th prims is Vaughan s idntity. In ordr to apply this idntity w hav to rwrit th xponntial sum into a normal on having von Mangoldt s function as wights. Thrfor lt Λ dnot von Mangoldt s function, i.., { logp, if n = p k for som prim p and an intgr k 1; Λ(n) = 0, othrwis. In th nxt stp w may subdivid this wightd xponntial sum into svral sums of Typ I and II. In particular, lt P 2 and P 1 2P, thn w dfin Typ I and Typ II sums by th xprssions (3.2) a x f(xy) (Typ I) X<x X 1 Y<y Y 1 a x (logy)f(xy) X<x X 1 Y<y Y 1 (3.3) X<x X 1 a x b y f(xy) (Typ II) Y<y Y 1 with X 1 2X, Y 1 2Y, a x P ε, b y P ε for vry ε > 0 and P XY P, rspctivly. Th following lmma provids th cntral tool for th subdivision of th wightd xponntial sum. Lmma 3.4 ( [2, Lmma 1]). Lt f(n) b a complx valud function and P 2, P 1 2P. Furthrmor lt U, V, and Z b positiv numbrs satisfying (3.4) (3.5) Thn th sum 2 U < V Z P, U 2 Z, 128UZ 2 P 1, 2 18 P 1 V 3. P n P 1 Λ(n)f(n) may b dcomposd into (logp) 6 sums, ach of which is ithr a Typ I sum with Y Z or a Typ II sum with U Y V. Th nxt tool is an stimation for th xponntial sum. Aftr subdividing th wightd xponntial sum w us Vinogradov s mthod in ordr to stimat th occurring unwightd xponntial sums.

7 CONSTRUCTION OF NORMAL NUMBERS VIA GENERALIZED PRIME POWER SEQUENCES 7 Lmma 3.5 ( [20, Lmma 6]). Lt k, P and N b intgrs such that k 2, 2 N P. Lt g(x) b ral and hav continuous drivativs up to th (k + 1)th ordr in [P + 1,P + N]; lt 0 < λ < 1/(2c 0 (k +1)) and λ g(k+1) (x) (k +1)! c 0 λ (P +1 x P +N), or th sam for g (k+1) (x), and lt with 0 < ρ k. Thn whr (3.6) η = N k 1+ρ λ N 1 P+N n=p+1 (g(n)) N 1 η, ρ 1 16(k+1)L, L = 1+ k(k +1)+kR, R = 1+ 4 ( ) log 1 ρ k(k +1)2 log ( ). 1 1 k 4. Proof of Proposition 2.1 W will apply th stimats of th prcding sctions in ordr to stimat th xponntial sums occurring in th proof. W will procd in four stps. (1) In th first stp w us a mthod of Vinogradov [30] in ordr to rwrit th counting function into th stimation of xponntial sums. Thn w will distinguish two cass in th following two stps. (2) First w assum that th w ar intrstd in a block which occurs among th most significant digits. This corrsponds to a vry small cofficint in th xponntial sum and w may us th mthod of van dr Corput (cf. [13]). (3) For th blocks occurring among th last significant digits w apply Vaughan s idntity togthr with idas from a rcnt papr by Brglson t al. [5]. (4) Finally w combin th stimats of th last two stps in ordr to nd th proof. In this proof, th lttr p will always dnot a prim and w st f(x) := αx θ for short. Furthrmor w st ( ) 1 (4.1) δ := min 4,1 θ Rwriting th sum. Throughout th rst of th papr w fix a block d 1 d l. In ordr to count th occurrncs of this block in th q-ary xpansion of f(p) (2 p P) w dfin th indicator function { 1, if l i=1 I(t) = d iq i t t < l i=1 d iq i +q l ; (4.2) 0, othrwis; which is a 1-priodic function. Indd, w hav I(q j f(n)) = 1 d 1 d l = b j 1 b j l. Thus w can writ our block counting function as follows (4.3) J N (f(p)) = I ( q j f(p) ). j=l

8 8 M. G. MADRITSCH AND R. F. TICHY Following Nakai and Shiokawa [20] w want to approximat I from abov and from blow by two 1-priodic functions having small Fourir cofficints. In particular, w st H = N δ/3 and l l α = d λ q λ +(2H) 1, β = d λ q λ +q l (2H) 1, = H 1, (4.4) α + = λ=1 l d λ q λ (2H) 1, β + = λ=1 λ=1 l d λ q λ +q l +(2H) 1, + = H 1. λ=1 W apply Lmma 3.1 with (α,β,δ) = (α,β,δ ) and (α,β,δ) = (α +,β +,δ + ), rspctivly, in ordr to gt two functions I and I +. By th choics of (α ±,β ±,δ ± ) it is immdiat that (4.5) I (t) I(t) I + (t) (t R). Lmma 3.1 also implis that ths two functions hav Fourir xpansions (4.6) I ± (t) = q l ±H 1 + A ± (ν)(νt) satisfying ν= ν 0 A ± (ν) min( ν 1,H ν 2 ). In a nxt stp w want to rplac I by I + in (4.3). For this purpos w obsrv, using (4.5), that I(t) I + (t) I + (t) I (t) H 1 + A ± (ν)(νt). ν= ν 0 Thus subtracting yilds th main part, and summing ovr p N givs I(q j f(p)) π(n) (4.7) q l π(n)h 1 + A ± (ν) ν= ν 0 Now w considr th cofficints A ± (ν). Noting (3.1) on obsrvs that { ν 1, for ν H; A ± (ν) Hν 2, for ν > H. Estimating all summands with ν > H trivially w gt ( ) ν H A ± (ν) q jf(p) ν 1 ν= ν 0 ν=1 Using this in (4.7) yilds I(q j f(p)) π(n) H (4.8) q l π(n)h 1 + Finally w sum ovr all js and gt N (f(p)) π(n) (4.9) q l J π(n)h 1 J + ( ) ν q jf(p) +H 1. ν=1ν 1 J j=l ν=1 ( ) ν q jf(p). ( ) ν q jf(p). H ν 1 S(N,j,ν), whr w hav st S(N,j,ν) := ( ) ν q jf(p). Th crucial part is th stimation of th xponntial sums ovr th prims. In th following w will distinguish two cass according to th siz of j. This corrsponds to th position in th

9 CONSTRUCTION OF NORMAL NUMBERS VIA GENERALIZED PRIME POWER SEQUENCES 9 xpansion off(p). In particular, lt ρ > 0 b arbitrarilysmall thn w want to distinguish btwn th most significant digits and th last significant digits, i.., btwn th rangs 1 q j N θ 1+ρ and N θ 1+ρ < q j N θ Most significant digits. In this subsction w assum that N θ 1+ρ < q j N θ, which mans that w dal with th most significant digits in th xpansion. W start by rwriting th sum into an intgral. S(N,j,ν) = ( ) ν N ( ) ν q jf(p) = 2 q jf(t) dπ(t)+o(1). In th scond stp w thn apply th prim numbr thorm. Thus N ( ) ( ν dt S(N,j,ν) = q jf(t) logt +O N() G N () G Now w us th scond man-valu thorm togthr with Lmma 3.3 and k = θ to gt S(N,j,ν) 1 ξ ( ) sup ν ( ) ξ N() q jf(t) dt +O N () G (4.10) G 1 ( ) 1 ( ) ν k N +O q j () G Last significant digits. For th digits in this rang w want to apply Vaughan s idntity in ordr to transfr th sum ovr th prims into two spcial typs of sums involving products of intgrs. Bfor w may apply Vaughan s idntity w hav to wight th xponntial sum undr considration by th von Mangoldt function. By an application of Lmma 3.2, it suffics to considr an intrval of th form (P,2P]. Thus S(N,j,ν) () (f(p)). Using partial summation w gt S(N,j,ν) () P<p 2P P<p 2P ). (f(p)) ()P 1 2 +() Λ(n)(f(n)) P<n P 1 for som P 1 with P < P 1 2P. From now on w may assum that P > N 1 η. Thn an application of Lmma 3.4 with U = P δ 3, V = P 1 3, Z = P 1 2 δ 3 yilds (4.11) S(N,j,ν) P 1 2 +(logp) 7 S 1, whr S 1 is ithr a Typ I sum as in (3.2) with Y P 1 2 δ 3 or a Typ II sum as in (3.3) with Suppos first that S 1 is a Typ II sum, i.., S 1 = X<x X 1 a x P δ 3 Y P 1 3. b y (f(xy)). Y<y Y 1

10 10 M. G. MADRITSCH AND R. F. TICHY Thn an application of th Cauchy-Schwarz inquality yilds S 1 2 a x 2 b y X<x X 1 X<x X 1 Y <y Y 1 XP 2ε b y b z Y <z Y 1 Y <y Y 1 X<x X 1 P<xy,xz P 1 2 ) ( ν q j (f(xy) f(xz)) ( ν q jf(xy) whr w hav usd that a x P ε. Collcting all th trms whr y = z and using b y P ε yilds S 1 2 XP 4ε XY + ( ) ν (4.12) Y<y<z Y 1 q j (f(xy) f(xz)) X<x X 1. P<xy,xz P 1 Thr must b a pair (y,z) with Y < y < z < Y 1 such that (4.13) S 1 2 P 2+4ε Y 1 +P 4ε XY 2 (g(x)) X 2<x X 3, whr X 2 = max(x,py 1 ), X 3 = min(x 1,P 1 z 1 ) and g(x) = ν q j (f(xy) f(xz)) = ν q jα(yθ z θ )x θ. W will apply Lmma 3.5 to stimat th xponntial sum. Stting k := 2θ +1 w gt that g (k+1) (x) νq j αθ(θ 1) (θ k)x θ (k+1). Thus or similarly for g (k+1) (x), whr and c dpnds only on θ and α. Sinc θ > 1 w gt Similarly w obtain λ g(k+1) (x) (k +1)! c 0 λ (X 2 < x X 3 ) λ = cνq j α(y θ z θ )X θ (k+1) λ P δ θ Y θ 1 X θ (k+1) X k 1 2. λ P 2δ Y θ X θ (k+1) P θ+2δ X (k+1) X 1. Thus w gt that X k 1 2 λ X 1. Thrfor an application of Lmma 3.5 yilds X 2<x X 3 (g(x)) X 1 η, whr η dpnds only on k an thrfor on θ. Insrting this in (4.13) w gt ), (4.14) S 1 2 P 2+4ε Y 1 +P 4ε XY 2 X 1 η P 2+4ε( P δ/3 +P 2η/3). Th cas of S 1 bing a typ I sum is similar but simplr. W hav S a x (logy)(f(xy)) XP ε (logy)(f(xy)) X<x X 1 Y<y Y 1 Y <y Y 1

11 CONSTRUCTION OF NORMAL NUMBERS VIA GENERALIZED PRIME POWER SEQUENCES 11 for som x with X < x X 1. By a partial summation w gt (4.15) S XP ε logp (f(xy)) Y 2<y Y 3 for som Y Y 2 < Y 3 Y 1. Now w st g(y) = f(xy) = ν q jαxθ y θ. Again th ida is to apply Lmma 3.5 for th stimation of th xponntial sum. W st k := 3θ +2 and gt for th k +1-st drivativ λ g(k+1) (x) (k +1)! c 0 λ (X 2 < x X 3 ) or similarly for g (k+1) (x), whr λ = c ν q jαxθ Y θ (k+1) and c again dpnds only on α and θ. W may assum that N and hnc P is sufficintly larg, thn w gt that Y (k+1) P θ X θ Y θ (k+1) λ P 2δ X θ Y θ (k+1) P θ+2δ Y (k+1) Y 1. Now an application of Lmma 2.5 yilds Y 2<y Y 3 (g(y)) Y 1 η, whr η dpnds only on k and thus on θ. Insrting this in (4.15) w gt (4.16) S 1 (logp)xp ε Y 1 η (logp)p 1+ε η(1/2 δ/3). Combining (4.16) and (4.14) in (4.11) yilds (4.17) S(N,j,ν) P 1 2 +(logp) 7 ( P 1+2ε( P δ/6 +P η/3) +(logp)p 1+ε η(1/2 δ/3)) P 1 2 +(logp) 8 P 1 σ Conclusion. On th on hand summing (4.10) ovr j and ν yilds ν 1 S(N,j,ν) 1 ν δ 2 N θ δ <q j N θ 1 ν δ 2 ν 1 1 N. N θ δ <q j N θ ν 1 1 k 1 ν δ 2 ( 1 N θ δ <q j N θ q ( ) 1 ( ν k +O q j N () G ( ) j N k +O () G 2 On th othr hand in (4.17) w sum ovr j and ν and gt ν 1 S(N,j,ν) () 2 N 1 2 +() 10 N 1 σ. 1 ν δ 2 q l q j N θ ) )

12 12 M. G. MADRITSCH AND R. F. TICHY Combining ths stimats in (4.9) finally yilds N (f(p)) π(n) q l J N and th proposition is provd. Acknowldgmnt Th authors thank th anonymous rfr, who rad vry carfully th manuscript and his/hr suggstions improv considrably th prsntation of th rsults. Rfrncs [1] J.-P. Allouch and J. Shallit. Automatic Squncs. Cambridg Univrsity Prss, Cambridg, Thory, applications, gnralizations. [2] R. C. Bakr and G. Kolsnik. On th distribution of p α modulo on. J. Rin Angw. Math. 356 (1985), [3] A. Balog. On th fractional part of p θ. Arch. Math. (Basl) 40(5) (1983), [4] A. Balog. On th distribution of p θ mod1. Acta Math. Hungar. 45(1-2) (1985), [5] V. Brglson, G. Kolsnik, M. Madritsch, Y. Son, and R. Tichy. Uniform distribution of prim powrs and applications to van dr corput sts. submittd (2012), yar. [6] E. Borl. Ls probabilités dénombrabls t lurs applications arithmétiqus. Palrmo Rnd. 27(1909), [7] X. Cao and W. Zhai. On th distribution of p α modulo on. J. Théor. Nombrs Bordaux 11(2) (1999), [8] D.G. Champrnown. Th construction of dcimals normal in th scal of tn. J. Lond. Math. Soc. 8 (1933), [9] A. H. Copland and P. Erdös. Not on normal numbrs. Bull. Amr. Math. Soc. 52 (1946), [10] H. Davnport and P. Erdös. Not on normal dcimals. Canadian J. Math. 4 (1952), [11] M. Drmota and R. F. Tichy. Squncs, Discrpancis and Applications, Vol of Lctur Nots in Mathmatics. Springr-Vrlag, Brlin, [12] J.-M. Dumont and A. Thomas. Modifications d nombrs normaux par ds transducturs. Acta Arith. 68(2) (1994), [13] S. W. Graham and G. Kolsnik. Van dr Corput s Mthod of Exponntial Sums, Vol. 126 of London Mathmatical Socity Lctur Not Sris. Cambridg Univrsity Prss, Cambridg, [14] G. Harman. On th distribution of p modulo on. Mathmatika 30(1) (1983), [15] E. Hppnr. Übr di Summ dr Ziffrn natürlichr Zahln. Ann. Univ. Sci. Budapst. Eötvös Sct. Math. 19 (1976), (1977). [16] I. Kátai. On th sum of digits of prims. Acta Math. Acad. Sci. Hungar. 30(1 2) (1977), [17] R. M. Kaufman. Th distribution of { p}. Mat. Zamtki 26(4) (1979), , 653. [18] Manfrd G. Madritsch. Th summatory function of q-additiv functions on psudo-polynomial squncs. J. Théor. Nombrs Bordaux 24 (2012), [19] M. G. Madritsch, J. M. Thuswaldnr, and R. F. Tichy. Normality of numbrs gnratd by th valus of ntir functions. J. Numbr Thory 128(5) (2008), [20] Y. Nakai and I. Shiokawa. A class of normal numbrs. Japan. J. Math. (N.S.) 16(1) (1990), [21] Y. Nakai and I. Shiokawa. Discrpancy stimats for a class of normal numbrs. Acta Arith. 62(3) (1992), [22] Y. Nakai and I. Shiokawa. Normality of numbrs gnratd by th valus of polynomials at prims. Acta Arith. 81(4) (1997), [23] J. Schiffr. Discrpancy of normal numbrs. Acta Arith. 47(2) (1986), [24] J. Schoissngir. Ein nu Diskrpanz für gwiss Primzahlfolgn. Östrrich. Akad. Wiss. Math.-Natur. Kl. Sitzungsbr. II 187(4-7) (1978), [25] J. Schoissngir. Th connction btwn th zros of th ζ-function and squncs (g(p)), p prim, mod 1. Monatsh. Math. 87(1) (1979), [26] I. Shiokawa. On th sum of digits of prim numbrs. Proc. Japan Acad. 50 (1974), [27] S. Srinivasan and R. F. Tichy. Uniform distribution of prim powr squncs. Anz. Östrrich. Akad. Wiss. Math.-Natur. Kl. 130 (1993), (1994). [28] E. C. Titchmarsh. Th Thory of Th Rimann Zta-Function. Th Clarndon Prss, Oxford Univrsity Prss, Nw York, scond dition, Editd and with a prfac by D. R. Hath-Brown. [29] D. I. Tolv. On th simultanous distribution of th fractional parts of diffrnt powrs of prim numbrs. J. Numbr Thory 37(3) (1991), [30] I. M. Vinogradov. Th Mthod of Trigonomtrical Sums in Th Thory of Numbrs. Dovr Publications Inc., Minola, NY, Translatd from th Russian, rvisd and annotatd by K. F. Roth and Ann Davnport, Rprint of th 1954 translation.

13 CONSTRUCTION OF NORMAL NUMBERS VIA GENERALIZED PRIME POWER SEQUENCES 13 [31] W. Zhai. On th simultanous distribution of th fractional parts of diffrnt powrs of prim numbrs. J. Numbr Thory 86(1) (2001), (M. G. Madritsch) Dpartmnt for Analysis and Computational Numbr Thory, Graz Univrsity of Tchnology, A-8010 Graz, Austria addrss: (R. F. Tichy) Dpartmnt for Analysis and Computational Numbr Thory, Graz Univrsity of Tchnology, A-8010 Graz, Austria addrss: