![Arxiv:1802.07792V2 [Math.NT] 28 Feb 2021](http://data.docslib.org/img/ff8f5104ab2046236f071416c59bf7bc-1.webp)
arXiv:1802.07792v2 [math.NT] 28 Feb 2021 itne ewe reuil rcin n vnyspaced evenly and fractions irreducible between distances rnlsmi endhr sasmaino hs itne ov distances these of summation a as in here tions defined is sum Franel ssonhr ogo as grow to here shown is where hwn gi h eeac ftevcnt f1 of vicinity the of relevance the again showing where nrdcinadmi results main sequence Farey and The Introduction 1 explored. also are sums Franel partial Other h ae sequence Farey the omlto fti ttmn olw [2], follows statement this of formulation ewe n hs eoiaosd o exceed not do denominators whose 1 and 0 between u nterne[ range the in sum in distance mle htteirdcbefatostn ob regularly be to tend fractions irreducible the that implies usoe reuil rcin nterne[0 range the in fractions irreducible Rieman over the sums of formulation equivalent another Furthermore, eaiu sdrvdotiigalwrerrbudta npr 0 in of than vicinity bound the error in lower are a fractions these obtaining derived is behaviour 1 nterne[0 range the in /N F rnlsfmu omlto fReanshptei sst uses hypothesis Riemann’s of formulation famous Franel’s nltclepesosaedrvdfrtepsto firre of position the for derived are expressions Analytical n[] hpe ,i satmtdt n lsdepeso f expression closed a find to attempted is it 6, Chapter [5], In hsmtvtstesuyo ata rnlsm nrne in ranges in sums Franel partial of study the motivates This . N I F nigi n“nltclhl” hspprahee hsgoa this achieves paper This hole”. “analytical an in ending N N F | ( F ( N a/b n N h ata rnlsmi h ag [0 range the in sum Franel partial The . sthe is ) ( n stepsto that position the is ) i/N , ) − a n/ P 1 n I ,with ], F H11 eea2,Switzerland 23, Geneva 1211 CH F N /b th | n X N N F (1 -al [email protected] E-mail: =1 1 N a reuil rcinin fraction irreducible b a , / | n X forder of F 1 forder of ata rnlsums Franel Partial 1 O 4) || =1 N , 2 (log( /b | a setbihdt e1 be to established is b N
2 F 2 F 2 N as ] N lcm(1 = N ( ( = ac ,2021 2, March n N n ) N ) δ ) a/b n B .Tom´asR. − sa sedn euneo reuil fractions irreducible of sequence ascending an is = − I Abstract N o atclrcoc of choice particular a for (log I CERN / N I ( | X cuisin occupies , ,1 1, F N a 2 ( 2 n 2 | a N (1 1 F .,i ..., , /b N 1 | /b N / / 2
) where )), r1 or 2 ) 4) 1 | = ) sepandi h olwn.Note following. the in explained as ) F
, F O 1 /N N / N = /N eew en h ata Franel partial the define we Here . ]flos[4], follows 4] / F ( . N 1. n O N i/N , ) n ob oae at located be to and δ 1 2 n[]teuprbudo the of bound upper the [3] In . − B + N N ( ǫ x | ,with ], 2 1 F 1.Reanshypothesis Riemann’s [1]. sadcesn function. decreasing a is ) n + onsi [0 in points N , ’ yohssinvolving hypothesis n’s ǫ | itiue n[0 in distributed
, , uil rcin in fractions ducible vosrslswhen results evious N rasbe ffrac- of subset a er N rthe or h asymptotic The . esmainof summation he lcm(1 = o fractions for l , ldn 1 cluding ] partial A 1]. i th F , fraction N 2 , .,i ..., , 2 = (2) ] A 1]. /N ) . Partial Franel sums -header 2 that N = lcm(1, 2, ..., i)= eψ(i), where ψ(i) is the second Chebyshev function that fulfills the property ψ(i)=(1+ o(1))i, and hence i = (1+ o(1)) log N. a1/b1,a2/b2 Let the subsequence FN of FN , contain all the fractions of FN in a1/b1,a2/b2 [a1/b1, a2/b2]. The cardinality of FN is well known to be [6]
a1/b1,a2/b2 3 a2 a1 2 FN = 2 − N + O(N log N) . π b2 b1
As IN (a2/b2 ) is the position that a2/b2 occupies in FN , it follows that
a2 0/1,a2/b2 3 c 2 (1) IN = FN = 2 N + O(N log N) . b2 π d
A first result of this paper is the derivation of an analytical expression for IN (1/q) where N = lcm(1, 2, ..., i) and N/i ≤ q ≤ N as
i 1 ϕ(j) I =2+ N − qΦ(i) , N q j j=1 X where ϕ(i) is the Totient function and Φ(i) is the summatory Totient function. To ′ reach this relation a series of bijections between Fi′ , with i ≤ i, and subsequences 0/1, 1/q of FN are established covering all elements in FN . Thanks to these bijections 0/1, 1/q ′ the cardinality of FN can be expressed as function of all |Fi |. These bijections are illustrated in Table 1 for N = lcm(1, 2, ..., 5) = 60. This result is used to derive the equivalent asymptotic estimate of (1) with a smaller residual error:
1 3 N 2 N 2 N I = q − + O Nδ , N q π2 q2 q A q ! where {x} = x − ⌊x⌋ and δA(x) is a decreasing function defined as
log0.6 x (2) δ (x) = exp −A , A (log log x)0.2 where A> 0. Using this result the partial Franel sum in the range [0, 1/(N/i)] is shown to be
0 1 P , = O(log(N)δ (log N)) , 1 N/i B with 0 2 Definitions We say that two elements of a Farey sequence, a1/b1 and a2/b2, form a Farey pair if |a1b2 − a2b1| = 1. In this report we exceptionally allow 0/1 and 1/0 to form a Farey pair even if 1/0 is not a proper fraction. The mediant of a Farey pair, a1/b1 and a2/b2, is given by a1 + a2 b1 + b2 which is an irreducible fraction existing between a1/b1 and a2/b2 and forms two Farey pairs with a1/b1 and a2/b2. Partial Franel sums -header 3 ′ Table 1: Correspondance between elements in Fi′ , with 0 3 Results Theorem 3.1. Let a1/b1 and a2/b2 be a Farey pair with b1 >b2. Let N be multiple of b1i(i + 1) with i being a natural number such 0 − a1q+a2 a1(q 1)+a2 , − ′ b1q+b2 b1(q 1)+b2 h k(a1q + a2) − a1h M : Fi → FN , 7→ . k k(b1q + b2) − b1h − a1q+a2 a1(q 1)+a2 , − −1 b1q+b2 b1(q 1)+b2 ′ u q(b1u − la1)+ b2u − la2 M : FN → Fi , 7→ . l b1u − la1 The bijective map is order-preserving when a2/b2 >a1/b1 and order-inverting when a2/b2 Proof. We first demonstrate that M is injective. a1q+a2 and a1(q−1)+a2 form a b1q+b2 b1(q−1)+b2 Farey pair since a1/b1 and a2/b2 form a Farey pair: |(a1q + a2)(b1(q − 1) + b2) − (b1q + b2)(a1(q − 1) + a2)| = |b2a1 − a2b1| = 1 . Let u/l be the image of h/k under M, u k(a q + a ) − a h = 1 2 1 . l k(b1q + b2) − b1h By virtue of this expressison u/l is obtained by applying the mediant operation successively between a1q+a2 and a1(q−1)+a2 in the same fashion as h/k is obtained b1q+b2 b1(q−1)+b2 by applying the mediant between 0/1 and 1/1, meaning h (k − h) · 0+ h · 1 = , k (k − h) · 1+ h · 1 u (k − h) · (a q + a )+ h · (a (q − 1) + a ) = 1 2 1 2 . l (k − h) · (b1q + b2)+ h · (b1(q − 1) + b2) Therefore u/l is a Farey fraction in the interval of interest: a q + a a (q − 1) + a 1 2 , 1 2 . b q + b b (q − 1) + b 1 2 1 2 ′ ′ u/l belongs to FN by definition of the domain Fi , meaning that h/k belongs to Fi if l ≤ N. − a1q+a2 a1(q 1)+a2 , − −1 b1q+b2 b1(q 1)+b2 Now we demonstrate that M is also injective. Let u/l belong to FN and assume a2/b2 >a1/b1, so that a q + a u a (q − 1) + a (3) 1 2 ≤ ≤ 1 2 . b1q + b2 l b1(q − 1) + b2 Let h/k be the image of u/l under M −1, h q(b u − la )+ ub − la (4) = 1 1 2 2 . k b1u − la1 This equality implies gcd(h, k)= gcd(ub2 − la2,b1u − la1). Since gcd(u, l) = gcd(a1,b1) = gcd(a2,b2) = 1 Partial Franel sums -header 5 and a2b1 − a1b2 = 1 then gcd(h, k) = 1 according to the property in [9] and, hence, h/k is an irreducible fraction. Furthermore, operating with the inequalities in (3): q(b1u − la1) ≥−(ub2 − la2) ≥ (b1u − la1)(q − 1) and therefore 0 ≤ h ≤ k. From relations (3) and (4) a1(q − 1) + a2 l k = b1u − la1 ≤ b1l − la1 = b1(q − 1) + b2 b1(q − 1) + b2 N N and using that l ≤ N and q > , hence b1(q − 1) ≥ , b1(i+1) i+1 N i + 1 k ≤ N = i+1 < i + 1 . i+1 + b2 1+ N b2 If b2 > 0 this implies k ≤ i and gathering the above results 0 ≤ h ≤ k ≤ i and ′ gcd(h, k)=1, hence h/k ∈ Fi. To demonstrate that h/k belongs to Fi it is easy to verify that k(b1q + b2) − b1h ≤ N. If b2 = 0 we are in the exceptional case included in this report of a1/b1 = 0/1 and a2/b2 = 1/0, that implies h/k =(qu − l)/u, note that k = u. We only need to N N show that k ≤ i also in this case. From the inequalities in (3) and i ≥ q > i+1 , i 1 u 1 i + 1 ≤ ≤ ≤ ≤ . N q l q − 1 N (i + 1)/N is not an irreducible fraction, as N is taken as a multiple of i(i + 1), and therefore it does not belong to FN . Similarly for i/N when i> 1. In the range [i/N, (i+1)/N] there cannot be fractions with denominator N other than 1/N when i = 1. Therefore if i = 1 we directly have k = u ≤ i and for i > 1 we have that l ≤ N − 1 and hence i + 1 k = u ≤ l ≤ i . N − a1q+a2 a1(q 1)+a2 , − ′ b1q+b2 b1(q 1)+b2 Corollary 3.2. The cardinalities of Fi, Fi and FN are related as follows: • If q = N/(b1i) then − a1q+a2 a1(q 1)+a2 , − ′ b1q+b2 b1(q 1)+b2 |Fi| ≥ |Fi | = FN > |Fi|− i • If q − a1q+a2 a1(q 1)+a2 , − ′ b1q+b2 b1(q 1)+b2 |Fi| = |Fi | = FN ′ Proof. The first inequality is evident from the definition of Fi . The first equality derives from the the bijective map in Theorem 3.1. If q = N/(b1i), let u/l be the image of h/k via the map M in Theorem 3.1, then ′ l = k(N/i + b2) − b1h. To prove that |Fi | > |Fi|− i we should count how many h/k ∈ Fi fulfill k(N/i + b2) − b1h > N. Dividing both sides of the later inequality by k and operating we obtain h N N i − k b − b > − = N , 2 1 k k i ki h i − k (5) b ≥ b − b > N ≥ 0 . 2 2 1 k ki Partial Franel sums -header 6 To fulfill these inequalities it is required that k = i, otherwise for any k < i and recalling that N is a multiple of b1i(i + 1): i − k i + 1 N ≥ b (i − k) >b , ki 1 k 1 and inequalities in (5) cannot be fulfilled as b2 < b1 (from assumption in Theo- rem 3.1). Then k = i implies h/i < b2/b1 < 1 and in Fi there are fewer than i ′ irreducible fractions of the form h/i below b2/b1, hence |Fi | > |Fi|− i. If q < N/(b1i) we define g > 0 such that q = N/(b1i) − g, then l = k(N/i − gb1 + b2) − b1h and we need to count how many h/k in Fi have l > N, h i − k b − b − b g > N , 2 1 k 1 ki ′ and there are no h/k which can fulfill this equation as b2 −b1g < 0, hence |Fi| = |Fi | when q • For b1 > 1: i a1q + a2 a1 N ϕ(j) 2 (6) IN = IN + s − qΦ(i) + O(i ) , b1q + b2 b1 b1 j j=1 ! X with s = +1 when a1/b1 • For a1/b1 = 0/1 and a2/b2 = 1/0: i 1 ϕ(j) I =2+ N − qΦ(i) . N q j j=1 X Proof. To simplify equations we assume s = +1 in the following. We count the a a q+a 1 , 1 2 b1 b1q+b2 number of elements in FN using the bijective maps described in Theorem 3.1 and adding up the cardinalities of the sets involved from Corolary 3.2. Thanks to the fact that N is multiple of all natural numbers i′ such that i′ ≤ i we can establish − a1p+a2 a1(p 1)+a2 , − ′ b1p+b2 b1(p 1)+b2 bijections between Fi and FN where p can take all values fulfilling a a q+a 1 , 1 2 N N b1 b1q+b2 ′ < p ≤ ′ , covering all elements in FN when scannig over all b1(i + 1) b1i i′ ≤ i and the corresponding p. For a given i′ the number of values p takes is given by N N N 1 1 − = − . b i′ b (i′ + 1) b i′ i′ + 1 1 1 1 ′ a a q +a 1 , 1 ′ 2 b1 b1q +b2 ′ In a first step we compute the number of elements in FN with q = N/(b1i), ′ i−1 a1q + a2 a1 N 1 1 ′ ′ IN ′ − IN = ′ − ′ (|Fi |− 1) b1q + b2 b1 b1 ′ i i + 1 iX=1 i−1 N 1 1 ′ ′ = ′ − ′ Φ(i )+ O(i ) b1 ′ i i + 1 iX=1 i−1 N ϕ(j) N Φ(i − 1) = − + O(i2) . b1 j b1 i j=1 X Partial Franel sums -header 7 2 In particular, when b2 = 0 the term O(i ) does not appear according to Corolary 3.2. ′ a q +a a q+a 1 ′ 2 , 1 2 b1q +b2 b1q+b2 In a second step we compute the number of elements in FN , that is Φ(i)(q′ − q)+ O(i). Adding both contributions gives i−1 a1q + a2 a1 N ϕ(j) N Φ(i − 1) IN − IN = − b1q + b2 b1 b1 j b1 i j=1 X N +Φ(i) − q + O(i2) b i 1 i N ϕ(j) = − qΦ(i)+ O(i2) , b1 j j=1 X which demonstrates the theorem for s = 1. For s = −1 following the same steps leads to the desired result. N N Corollary 3.4. Let N = b1lcm(1, 2, ..., imax) and < q ≤ , with i < b1(i + 1) b1i imax then a q + a a 3 N 2 N 2 I 1 2 = I 1 + s q − + O(Nδ (i)) , N b q + b N b π2 b2q2 b q A 1 2 1 1 1 ! with δA(x) defined in (2). In particular for a1/b1 = 0/1 and a2/b2 = 1/0, 1 3 N 2 N 2 I = q − + O(Nδ (i)), N q π2 q2 q A ! and for a1/b1 = 1/2 and a2/b2 = 1/1, q + 1 |F | 3 N 2 N 2 I = N + q − + O(Nδ (i)) . N 2q + 1 2 π2 22q2 2q A ! Proof. The following known relations [10, 11] are needed: N 3 (7) ϕ(k) = N 2 + E(N), π2 Xk=1 N ϕ(k) 6 = N + H(N) , k π2 Xk=1 E(x) = O x log2/3 x(log log x)4/3 , E(x) = xH(x)+ O(xδA(x)) , with A > 0 and δA(x) is a decreasing factor. From the definition of i, q and N it follows that N N i = = + O(1) , qb qb 1 1 i < imax = (1+ o(1)) log N/b1 . Inserting the above equalities in expression (6) of Theorem 3.3, a q + a a N 6 3 N I 1 2 = I 1 + s i − sq i2 + s H(i) − sqE(i)+ O(i2) N b q + b N b b π2 π2 b 1 2 1 1 1 a N 6 3 = I 1 + s i − sq i2 + sq(iH(i) − E(i)) + O(i2) N b b π2 π2 1 1 a N 6 3 = I 1 + s i − sq i2 + O(Nδ (i)) N b b π2 π2 A 1 1 a 3 N 2 3 N 2 = I 1 + s − s q + O(Nδ (i)) , N b π2 b2q π2 b q A 1 1 1 Partial Franel sums -header 8 Theorem 3.5. Let N be N = b1lcm(1, 2, ..., i) then the partial Franel sum over all N a1 + a2 a1 b1i Farey fractions in the range , N gives: b1 b1 + b2 " b1i # • For a1/b1 = 0/1, a2/b2 = 1/0 and for a1/b1 = 1/2, a2/b2 = 0/1 : 1 IN N/i 0 1 j P , = FN (j) − = O(log(N)δB (log N)) , 1 N/i |FN | j=1 X N/(2 i) IN N/i+1 1 N/(2i) j P , = FN (j) − = O(log(N)δB (log N)) , 2 N/i + 1 |FN | j=I 1 XN ( 2 ) with 0 • For b1 > 2 and b2 N a1 +a2 b1i IN b N +b 1 b i 2 ! a1 1 IN j a1 b1 FN (j) − ≤ − O(iN)+ O(iδB (i)) , |FN | b1 |FN | a1 j=IN Xb1 which cannot be further developed as no general expression for IN (a1/b1) is known. Proof. By virtue of Theorem 3.1 the partial Franel sum under study is written as N ′ ′ |F ′ | k(a q+a )−a h N i−1 b1i i 1 2 1 a1 + a2 IN k(b q+b )−b h a1 b1i k(a1q + a2) − a1h 1 2 1 P , N = − b1 k(b1q + b2) − b1h |FN | b1 + b2 ! ′ N b1i i =1 q= ′ +1 n=2 X b1X(i +1) X ′ where the sum over n runs over the elements h/k in Fi′ , approximately n = ′ Ii′ (h/k)+ O(i ). By virtue of Theorem 3.1 and Corolary 3.4 k(a1q + a2) − a1h a1q + a2 h ′ I = I + sI ′ + O(i ) N k(b q + b ) − b h N b q + b i k 1 2 1 1 2 a 3 N 2 3 N 2 3 N 2 h = I 1 + s − s q + s + O(Nδ (i′)) N b π2 b2q π2 b q π2 b q k A 1 1 1 1 where we have used i′ = N . Furthermore qb1 j k k(a1q+a2)−a1h a1 IN IN 2 2 ′ k(b1q+b2)−b1h b1 s sq N s N h δ (i ) = + − + + O A |F | |F | b2q N 2 b q N 2 b q k N N N 1 1 1 The Farey element inside the partial Franel sum is approximated as k(a q + a ) − a h k(a q + a ) − a h a a 1 2 1 = 1 2 1 − 1 + 1 k(b1q + b2) − b1h k(b1q + b2) − b1h b1 b1 s 1 a = + 1 2 b2 h b1q 1+ − b1 qb1 qk s b h a = 1 − 2 + + 1 + O(1/q3) , b2q qb qk b 1 1 1 where we have used (b1a2 − a1b2)= s. The partial Franel sum under study becomes N ′ b i a1 i−1 1 IN 2 ′ ′ a1 b1 sb2 sq N δA(i ) ′ |Fi | − − 3 2 + 2 + O , b1 |FN | b q N b1q N ′ N 1 i =1 q= ′ +1 X b1X(i +1) Partial Franel sums -header 9 where the terms proportional to 1/q and h/k have canceled out leaving a negligible ′ residue. The sum over n has been evaluated just by multiplying by |Fi′ | as the dependency on h/k disappeared. Evaluating the asymptotes of the sums of the individual terms within the absolute value gives: N ′ i−1 b1i ′ |Fi′ | = O (iN) , ′ N i =1 q= ′ +1 X b1X(i +1) N ′ i−1 b1i ′ 4 |F ′ | i i = O , q2 N ′ N i =1 q= ′ +1 X b1X(i +1) N ′ i−1 b1i ′ q |F ′ | = O(log i) , i N 2 ′ N i =1 q= ′ +1 X b1X(i +1) N ′ i−1 b1i ′ ′ δA(i ) |F ′ | = O (iδ (i)) , i N B ′ N i =1 q= ′ +1 X b1X(i +1) with 0 N a1 a1 + a2 IN b a1 b1i a1 1 P , N ≤ − O(iN)+ O(iδB (i)) , b1 b1 + b2 b1 |FN | b1i ! which is the searched result for b > 2. For 1 ≤ b ≤ 2 1 1 a1 IN a b1 1 − = 0 b1 |FN | and the theorem is demonstrated. References [1] G.H. Hardy and E.M. Wright, “An Introduction to the Theory of Numbers”, Fifth Edition, Oxford Science Publications, 1996. [2] J. Franel, E. Landau, Les suites de Farey et le probl`eme des nombres premiers; Bemerkungen zu der vorstehenden Abhandlung von Herrn Franel, G¨ottinger Nachrichten, Vol. 1924 (1924), p. 198-201. [3] F. Dress, Discr´epance des suites de Farey, Journal de Th´eorie des Nombres de Bordeaux 11, n◦ 2 (1999), p. 345-367. [4] S. Kanemitsu and M. Yoshimoto, Farey series and the Riemann hypothesis, Acta Arithmetica LXXV.4 (1996), p. 351-374. [5] S. B. Guthery, A Motif of Mathematics: History and Application of the Mediant and the Farey Sequence, Docent Press, Boston, Massachusetts, USA, 2011. [6] C. Cobeli, M. Vˆajˆaitu and A. Zaharescu, On the intervals of a third between Farey fractions, Bull. Math. Soc. Sci. Math. Roumanie Tome 53(101) No. 3, 2010, p. 239–250. [7] R. Tom´as, From Farey sequences to resonance diagrams, Phys. Rev. ST Accel. Beams 17, 014001 (2014). [8] R. Tom´as, Asymptotic behavior of a series of Euler’s totient function ϕ(k) times the index of 1/k in a Farey sequence, arXiv:1406.6991v2 [math.NT], 2014. [9] R. Tom´as, Equalities between greatest common divisors involving three coprime pairs, Notes on Number Theory and Discrete Mathematics, Vol. 26, 2020, No. 3, 5–7. Partial Franel sums -header 10 [10] S. Kanemitsu, T. Kuzumaki and M. Yoshimoto, Some sums involving Farey fractions II, J. Math. Soc. Japan Vol. 52, No. 4, 2000. [11] A. Walfisz, Weylsche Exponentialsummen in der neueren Zahlentheorie, VEB Deutscher Verlag der Wissenschaften, Berlin, 1963.