arxiv: v1 [math.gm] 7 Nov 2017

Transcription

1 A TOUR ON THE MASTER FUNCTION THEOPHILUS AGAMA arxiv:7.0665v [mah.gm] 7 Nov 07 Absrac. In his aer we sudy a funcion defined on naural numbers having eacly wo rime facors. Using his funcion, we esablish analogues of Merens s Theorem on osiive inegers n wih he roery ha Ωn =. We esablish in aricular he following esimaes: 3 Ωn= logn n = loglogloglog, Ωn= logn = loglog n = loglog loglog Ωn= Ωn= log n = loglogloglog.. Inroducion The von Mangol funcion is an arihmeic funcion no mulilicaive, defined on he rimes as { log if n = k Λn := 0 oherwise, where runs over he rime numbers. I is an eremely usefull arihmeic funcion, for such is i s reuaion in giving a clear icure abou he disribuion of rimes. For eamle, he rime number heorem has an equivalen formulaion []. I also has a nice mulilicaive roery Λn Λd = logn. d n Merens s heorem saes: 5 Λn n = log 6 7 log = log = loglog+b. log In his aer we esablish esimaes for he sums in 5, 6 and 7, over inegers having eacly wo rime facors. Tha is, osiive inegers n wih he roery Ωn =, where Ωn :=. α n Dae: November 9, Mahemaics Subjec Classificaion. Primary 5C0, E0; Secondary 6E5, 0C0. Key words and hrases. rimes, semi-rimes, weighs.

2 . Noaions Through ou his aer a rime number will always be reresened by or q. Any subscri of or q will also denoe a rime number. Any leer aar from will reresen a real or nuural number. The big omega funcion, denoed Ωn =, couns he number of rime facors of any naural number n wih α n muliliciy. Chebyshev s hea funcion is reresened by θ := log. 3. The maser funcion In his secion we sudy an arihmeic defined on semi-rimes. This funcion will lay a crucial role in esablishing hese esimaes, since i enables us o erac every informaion we need concerning almos rime inegers. By virue of ha, we sar by esablishing esimaes of he various arial sums. Definiion. Le n be any osiive ineger, hen we le log if n = Υn := log if n =, 0 oherwise, where,, are all rimes. The firs en values ofhis funcion aregiven byυ = 0,Υ = 0,Υ3 = 0,Υ = log,υ5 = 0,Υ6 = log6,υ8 = 0,Υ9 = log3,υ0 = log0. Remark 3.. This funcion naurally assigns weigh o osiive inegers having eacly wo rime facors. We le Ψ := Υn. This funcion similarly couns he number of osiive inegers having wo rime facors in a weighed manner. In any case, i is of ineres o esablish an esimae for his arial sum. Theorem 3.. For all, Ψ := Υn = loglog. Proof. We observe ha Ψ := Υn = π log = θ + π log. By alying arial summaion, we have θ log/ Using rime number heorem [], in he form θ = he eression on he righ can be rewrien as 8 θ + θ log/ e c log θ log / θ log / = e c log/ + e c log log /. for c > 0 and i s equivalen forms, e c log log/

3 By rewriing he eression on he righ, seeraing he main erm from he error erm, we have e c log/ + + log/ IfollowshereforehaΨ = e c log log/ e c log log/ e c log log / log / Υn = + log/ e c log Now, we esimae he eressions on he righ erm by erm. I is easily seen ha 9 log/ = loglog/ loglog, log / = log log/ = e c log and e c log log / log /. e c log log/ = e c log. log/ 0 Now, we see ha log log/ log log/ du ue c log u du ue c log u log log/ du e c log u log/ m e cmdm log. Plugging hese esimaes ino he main eression, we have ha Ψ = loglog/+ e c log loglog = loglog/ = loglog, hereby esablishing he esimae. Corollary 3.. For all / π Proof. The resul follows by using he inequaliy he esimae in Theorem 3.. Corollary 3.. For all where Ωn := α n. Ωn= log loglog. log / π logn = loglog, log/ log log/ yπ in combinaion wih 3

4 Proof. Firs we observe ha Υn = log + logq = q q Ωn= logn θ, where θ := log is Chebyschev s funcion and, q runs over he rimes. Combining his esimae wih Theorem 3., we have ha logn θ = loglog. Using Chebyshev s heorem [], he resul follows immediaely. Ωn= Corollary 3.3. For all, Ωn= log n = loglogloglog. Proof. Firs consider he weighed sum Υnlogn. By using arial summaion, we have Υnlogn = log Υn Using Theorem 3., we have log Υn Ψ = log loglog = loglogloglog Ψ. loglog loglog = loglogloglog loglogli = loglogloglog. Again we observe ha Υnlogn = log n log. By alying arial summaion, we have Ωn= log = θ log Aealing, once again, o Chebyshev s heorem [], we have θ log θ. θ = O log log. By comaring he wo esimaes for he weighed sum Υn log n he resul follows immediaely. Corollary 3.. For all, Ωn= Proof. Firs, le us consider he weighed sum Υn nlogn = log n = loglog loglog. Υn nlogn. By arial summaion i urns ou ha Υn+ Ψ log + Ψ log.

5 Alying Theorem 3., we have log Υn+ Ψ log + Ψ log = loglog loglog + log log log + loglog log log Now, we esimae each erm in. Firs of all loglog log = loglog loglog u du = loglog. Again 3 log Plugging hese esimaes ino, i follows ha hand we noice ha Using he fac ha resul follows immediaely. loglog = log + = loglog log. Υn nlogn = n Ωn= loglog log Υn nlogn = loglog/ loglog. On he oher., and combining he wo esimaes for he weighed sum Υn nlogn, he Remark 3.3. Having esablished an esimae for he arial sum of he arihmeic funcion Υn, a naural ques is o eamine he behaviour of heir average. Tha is we eamine ne he arial sum of he average value Υn n. Theorem 3.. For all, Υn n = loglogloglog. Proof. By alying arial summaion, we have ha Υn n = Υn+ Ψ. 5

6 Using Theorem 3., we have ha Υn+ Ψ = hereby esablishing he esimae. Corollary 3.5. For all, loglog + = loglog+ loglog loglog = loglog+logloglog loglog = loglogloglog, Ωn= logn n = loglogloglog. Proof. We firs observe ha Alying arial summaion, we have log = Υn n = logn n log. Ωn= log + Φ 3/ 3/. Aealing o Merens s heorem [], we have ha log + Φ 3/ 3/ = log + Using Theorem 3., we have ha immediaely. Ωn= = log + = O+. logn n log log. 3/. Relaion wih von Mangol funcion log 3/ 3/ log 3/ = loglogloglog and he resul follows The von Mangol funcion is a non-mulilicaive arihmeic funcion ha assigns weigh o rime owers. The maser funcion, similarly, is also no mulilicaive and assigns weigh o almos rime inegers. In sie of heir differences, hey erform similar roles in differen seings. So i is a naural insinc o comare hese wo in he following ways. Theorem.. The following relaions remain valid. i d n Λd = k d n Υd if n = k for k. 6

7 ii d n Λd = d n Υd if n = k k for k. iii d n Λd = d n Υd+ r i= c i log i for c i Z + if n = k k kr r, for each k i wih r k i. Proof. For i consider n = k for k. Then by definiion, i follows ha d nλd = klog. Also by definiion, d nυd = log. By combining he boh esimaes i follows. Also for ii suose n = k k for k, hen i follows by definiion d nλd = klog +klog + +klog k. Again by definiion d nυd = log + +log k +log +log + +log k +log log k + log k k = klog + klog + + klog k. By comaring boh eressions, ii follows immediaely. For iii suose n = k k kr r wih k i and r k i for each i =, r. Then i follows by definiion d nλd = k log +k log + +k r log r = rlog +rlog + +rlog r + k rlog +k rlog + +k r rlog r = rlog +rlog + +rlog r + r c i log i for c i Z +. By definiion, we see ha d nυd = rlog +rlog + +rlog r, and he roof is comlee. i= 5. Acknowledgemen Thisrojecwasiniiallyakenubyheauhor,bucameoacrunch. Hehasonlyrecenlybeenrejuvenaed by a mail received from an anonymous reader, offering suggesions for imrovemen. He eresses his rofound graiude o insiuional colleagues and rofessors for heir suors and encouragemen. Greaes hanks o he anonymous reader for revializing my enhusiasm. References. Mongomery, Hugh L and Vaughan, Rober C, Mulilicaive number heory I: Classical heory. Vol.97, Cambridge Universiy Press, Nahanson, M.B, Graduae Tes in Mahemaics, New York, NY: Sringer New York, 000. Dearmen of Mahemaics, African Insiue for Mahemaical science, Ghana address: heohilus@aims.edu.gh/emerordagama@yahoo.com 7