arxiv: v6 [math.nt] 20 Jan 2016

Transcription

1 EXPONENTIALLY S-NUMBERS rxiv: v6 [mth.nt] 20 Jn 206 VLADIMIR SHEVELEV Abstrct. Let S be the set of ll finite or infinite incresing sequences of ositive integers. For sequence S = {sn)},n, from S, let us cll ositive number N n exonentilly S-number N ES)), if ll exonents in its rime ower fctoriztion re in S. Let us ccet tht ES). We rove tht, for every sequence S S with s) =, the exonentilly S-numbers hve density h = hes)) such tht = hes))x+o xlogxe c log x log log x ), where c = log2 = nd hes)) = + ui) ui ) i 2 ), i where un) is the chrcteristic function of S.. Introduction Let S be the set of ll finite or infinite incresing sequences of ositive integers. For sequence S = {sn)},n, from S, let us cll ositive number N n exonentilly S-number N ES)), if ll exonents in its rime ower fctoriztion re in S. Let us ccet tht ES). For exmle, if S = {}, then the exonentilly -numbers form the sequence B of squre-free numbers, nd, s well-known, ) = 6 2 ). π 2x+Ox i x, i B In cse, when S = B, we obtin the exonentilly squre-free numbers for the first time this notion ws introduced by M. V. Subbro in 972 [6], see A20906[5]). Nmely the exonentilly squre-free numbers were studied by mny uthors for exmle, see [2], [6] Theorem 6.7), [7], [8], [9]). In these ers, the uthors nlyzed the following symtotic formul 2) i x, i EB) = + =4 µ 2 ) µ 2 ) )x+rx), where the roduct is over ll rimes, µ is the Möbius function. The best result of tye Rx) = ox 4) ws obtined by Wu 995) without using RH more exctly see [9]). In 2007, ssuming tht RH is true, Tóth [8] obtined Rx) = Ox 5 +ε ) nd in 200, Co nd Zhi [2] more exctly found tht Rx) = Cx 5 +Ox ε ), where C is comutble constnt. Besides, Tóth [7] studied lso the exonentilly k-free numbers, k 2.

2 EXPONENTIALLY S-NUMBERS 2 In this er, without using RH, we obtin generl formul with reminder term O xlogxe c logx loglogx ) c is constnt) not deended ons S beginning with. More exctly, we rove the following. Theorem. For every sequence S S the exonentilly S-numbers hve density h = hes)) such tht, ) if s) >, then h = 0, while 2) if s) =, then 3) with c = log2 = hes))x+o xlogxe c logx loglogx ), = nd 4) hes)) = + i 2 ui) ui ) i ), where un) is the chrcteristic function of sequence S : un) =, if n S nd un) = 0 otherwise. In rticulr, in cse S = B we obtin 2) with less good reminder term, but which is suitble for ll sequences in S beginning with. 2. Lemm ForroofTheorem weneed lemm roved erlier 2007)by theuthor [4], For fixed squre-free number r, denote by B r the set of squre-free numbers n for which gcdn,r) =, nd ut b r x) = B r {,2,...,x}. In rticulr, B = B is the set of ll squre-free numbers. Lemm. b r x) = 6r +) x+r π 2 r x), r where for every x nd every r B R r x) { k x, if r N ke c logr loglogr x, if r N +. where k = ) = in cse r =, k = 3.5), c = 4 = , N = log2 3. Proof of Theorem ) Denote by Υ the sequence {2,3,4,...} of ll nturl numbers without. Let S do not contin. Then, evidently, ES) EΥ). Note tht the sequence EΥ) is clled lso owerful numbers sequence A00694 in [5]).

3 5) Btemn nd Grosswld [] roved tht i x, i EΥ) EXPONENTIALLY S-NUMBERS 3 = ζ3/2) ζ3) x/2 + ζ2/3) ζ2) x/3 +Ox /6 ). So, heυ)) = 0. Then wht is more hes)) = 0. Furthermore, denote by rn) the roduct of ll distinct rime divisors of n; set r) =. 2) Now let S. Note tht the set EΥ) ES) contins nd ll numbers of ES) whose exonents in their rime ower fctoriztions re more thn. Evidently, every number y ES) hs unique reresenttion s the roduct of some number EΥ) ES) nd number m B r). In rticulr, if y is squre-free, then =, m = y B ). For fixed EΥ) ES), denote the set of y = m ES) by ES) ). Then ES) = ES) ), where the union is disjoint. Consequently, by Lemm, we hve 6) where = 6 + π 2 7) + Rx) 3.5 x+ = b x)+ 4 x, 4 x:r) N x ) b r) ) x+rx), + 4 x, r) 4 x, R r) x ) + R r) x ) 3.5 x+ x:r) N+ R r) x ) with N = Letx > N gotoinfinity. Distinguishtwocses: i) r) N; ii) r) > N. i) r) N. Denote by EΥ)n) the n-th owerful number in incresing order). Accordingto5),EΥ)n) = ζ3) ζ3/2) )2 n 2 +o)).so,σ n x = EΥ)n) Ologx). Hence, by 7) nd Lemm, Rx) 3.5 x+k x = O xlogx). x, ii) r) > N. Then, by 7) nd Lemm,

4 EXPONENTIALLY S-NUMBERS 4 Rx) k x x:r) N+ e c logr) loglogr), where the lst sum does not exceed e c log loglog e c logx loglogx Ologx). N+ x: r) N+ So, Rx) = O xlogxe c logx loglogx ) nd, by 6), we hve 6 + π 2 4 x, r) = + ) x+o xlogxe c logx loglogx ). Moreover, ifwerelceherethesum x, bythesum, then the error does not exceed 6x = 6x O/x) = O), then the π 2 EΥ)n) π 2 n>x result does not chnge. So, finlly, 8) 6 π 2 r) + = ) x+o xlogxe c logx loglogx ). Formul 8) shows tht, if S, then ES) hs density. 4. Comletion of the roof It remins to evlute the sum 8). For tht we follow the scheme of [4], For fixed l B, denote by Cl) the set of ll ES) EΥ)- numbers with r) = l. Recll tht r) =. By 8), we hve 9) = 6 π 2x ) + +Rx). l B Consider the function A : N R given by:, l B, Al) = Cl) 0, l B. l Cl) Exmle. A) = C) = r)= =.

5 EXPONENTIALLY S-NUMBERS 5 Exmle 2. Let be rime. Since r) =, then A) = = si). i 2 C) The sum not contins = since, by the condition, ES) EΥ), s) but the sequence EΥ) not contins ny rime. Exmle 3. Let < q be rimes. Since rq) = q, then Aq) = si) q sj). Cl l 2 ) i 2,j 2 It is evident tht, if l,l 2 B nd gcdl,l 2 ) =, then Al l 2 ) = = = Al )Al 2 ). Cl ) Cl 2 ) It follows tht Al) is multilictive function. Hence the function f which is defined by fl) = ) Al) + l is lso multilictive. Evidently, by the definition of An), fn) An) <. n= n= EΥ) Consequently [3],.03): 0) = n=fn) +f)+f 2 )+...). Since f k ) = 0 for k 2, then by 9): = 6 π 2x = 6 π 2x fl)+rx) = 6 π 2x +f))+rx) = + l= + ) s2) + + s3) )) +... s4) Now we hve ) hes)) = 6 + π 2 + ) si)) = i π 2 +) si)) = i 2 +Rx).

6 EXPONENTIALLY S-NUMBERS 6 2) ) i 2 nd, tking into ccount tht u) =, we find ui) i ) hes)) = 2 ) + ) ui) ) = i i )+ ui) ui) ) = j j i i )+ + ui) ui ) ) = j i i 2 i 2 + ui) ui ) ) i i 2 which gives the required evlution of the sum in 8) nd comletes the roof of the theorem. 5. A question of D. Berend Let n be the n-th rime. Let A = {S,S 2,...} be n infinite sequence of sequences S i S beginning with. We sy tht ositive number N is n exonentilly A-number N EA)), if in cse tht n, n, divides N, then its exonent in the rime ower fctoriztion of N belongs to S n. We ccet tht EA). How will chnge Theorem for the exonentilly A-numbers? AnnlysisoftheroofofTheorem shows thtlsointhismoregenerl cse, for every sequence A there exists density ha) of the exonentilly A-numbers such tht 2) = hea))x+rx), i x, i EA) where Rx) is the sme s in Theorem nd 3) hea)) = n + i 2 u n i) u n i ) ), i n where u n k) is the chrcteristic function of sequence S n : u n k) =, if k S n nd u n k) = 0 otherwise. Exmle 4. Let A = {S = {},S 2 = {,2},...,S n = {,...,n},...}. Then, by 3), hea)) = ) = n+ n n

7 EXPONENTIALLY S-NUMBERS 7 6. A question Let S. Then the density hes)) is in the intervl [6/π 2,]. Whether the set {hes))} is dense set in this intervl? D. Berend rivte communiction) gve negtive nswer. Indeed, consider the set S of sequences {S} contining 2. Then, evidently, hes)) he{, 2})) such tht, by Theorem, 4) hes)) S S 3). Nowconsider thesets 2 ofsequences {S}notcontining 2. ThenhES)) he{,3,4,5,6,...})) such tht, by Theorem, 5) hes)) S S ) = ). 3 Thus, by 4)-5), we hve g in the set {hes))} in intervl ), 3 3)). Of course, this Berend s ide hs fr-reching effects. 7. Acknowledgement The uthor is very grteful to Jen-Pul Allouche for sending the imortnt ers [6], [7] nd [9], nd to Dniel Berend for the question in Section 5 nd the nswer on uthor s question in Section 6. References [] P. T. Btemn nd E. Grosswld, On theorem of Erdos nd Szekeres, Illinois J. Mth. 2, no. 958), [2] X. Co, W. Zhi, Some rithmetic functions involving exonentil divisors, J. of Integer Seq. 3, 200), Article [3] K. Chndrsekhrn, Introduction to Anlytic Number Theory, Sringer-Verlg, Berlin, Heidelberg, New York, 968. [4] V. Shevelev, Comct integers nd fctorils, Act Arith. 26, no ), [5] N. J. A. Slone, The On-Line Encycloedi of Integer Sequences htt://oeis.org. [6] M. V. Subbro, On some rithmetic convolutions, in The theory of rithmetic functions, Lecture Notes in Mthemtics 25, , Sringer, 972. [7] L. Tóth, On certin rithmetic functions involving exonentil divisors, Annles Univ. Sci. Budest., Sect. Com., 24, 2004), [8] L. Tóth, On certin rithmetic functions involving exonentil divisors, II., Annles Univ. Sci. Budest., Sect. Com., 27, 2007), [9] J. Wu, Problème de diviseurs exonentiels et entiers exonentiellement sns fcteur crré, J. Théor. Nombres Bordeux, 7 995), 33-4.

8 EXPONENTIALLY S-NUMBERS 8 Dertment of Mthemtics, Ben-Gurion University of the Negev, Beer- Shev 8405, Isrel. e-mil:shevelev@bgu.c.il