Abstract
For a prime number p, let \(A_3(p)= | \{ m \in \mathbb {N}: \exists m_1,m_2,m_3 \in \mathbb {N}, \frac{m}{p}=\frac{1}{m_1}+\frac{1}{m_2}+\frac{1}{m_3} \} |\). In 2019 Luca and Pappalardi proved that \(x (\log x)^3 \ll \sum _{p \le x} A_{3}(p) \ll x (\log x)^5\). We improve the upper bound, showing \(\sum _{p \le x} A_{3}(p) \ll x (\log x)^3 (\log \log x)^2\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
An Egyptian fraction is a representation of a rational number as a sum of reciprocals of distinct integers. A ternary Egyptian fraction is such a sum that consists of exactly three summands. More precisely, it is a representation of a rational number \(\frac{m}{n}\) as the sum \(\frac{m}{n} = \frac{1}{m_1} + \frac{1}{m_2} + \frac{1}{m_3}\), for some distinct integers \(m_1, m_2, m_3\).
Questions regarding Egyptian fractions are amongst the most ancient problems in mathematics. Throughout history many mathematicians have studied this topic, gaining popularity in recent times thanks to Erdős who presented and solved various problems concerning Egyptian fractions (for more details, see, e.g. [3]). Probably one of the most famous amongst them is a conjecture by Erdős and Straus, stating that for any \(n \ge 2\), the rational number \(\frac{4}{n}\) has a representation as a ternary Egyptian fraction, that is, that the Diophantic equation
has at least one solution. This conjecture is still open.
In this paper we consider ternary Egyptian fractions for which the denominator is a prime number, and we are interested in bounding the number of those, for all primes in a certain range. As usual, for two functions \(f, g : {\mathbb {N}} \rightarrow {\mathbb {R}}\), by \(f(x) \ll g(x)\) we mean that there exists a constant \(c > 0\) and a natural number \(N \in {\mathbb {N}}\), such that for any \(n \ge N\) we have \(f(n) \le c \cdot g(n)\). Throughout the paper, p always designates a prime number.
Let \(A_3(p)= \left| \left\{ m \in {\mathbb {N}}: \exists m_1,m_2,m_3 \in {\mathbb {N}}, \frac{m}{p}=\frac{1}{m_1}+\frac{1}{m_2}+\frac{1}{m_3} \right\} \right| \). Luca and Pappalardi [5] proved the following.
Theorem 1.1
Our main result in this paper closes the gap between the upper and the lower bounds up to a factor of polyloglog.
Theorem 1.2
Throughout the paper, \(\log \) always stands for the logarithm function in base 2.
2 Proof idea
The proof of our main theorem follows the lines of the proof of Theorem 1.1 by Luca and Pappalardi [5]. Our contribution is the improved upper bound in Lemma 2.3, which is our main lemma. The proof of Lemma 2.3 is based on two ingredients. The first one is an application of the Brun–Titchmarsh inequality (Theorem 3.1). The second ingredient is Proposition 3.4, which is a strengthened version of Proposition 3.3 for the certain range of parameters which fits our needs.
The next lemma describes a well-known classification of solutions for ternary Egyptian fractions with a prime denominator. It appears in Mordell’s book [6], for example, as well as in other texts. A proof can be found, e.g., in [5].
Lemma 2.1
If \(\frac{m}{p}=\frac{1}{m_1}+\frac{1}{m_2}+\frac{1}{m_3}\), where \(m_1, m_2, m_3\) are positive integers and \(\gcd (m,p)=1\), then either \(m \in \{ 1,2,3 \}\) or there exist positive integers a, b, c, u such that \(\gcd (a,b)=1\), \(c | a+b\) and one of the following holds:
-
either (Type I)
$$\begin{aligned}m = \frac{p + (a+b)/c}{abu}, \end{aligned}$$ -
or (Type II)
$$\begin{aligned}m = \frac{1 + p(a+b)/c}{abu}. \end{aligned}$$
Given Lemma 2.1, we denote by \(A_{3, I}(p)\) and by \(A_{3, II}(p)\) the number of those \(m\in {\mathbb {N}}\) for which \(\frac{m}{p}\) is of type I and of type II, respectively. Given the lower bound of Theorem 1.1, we can already rule out the case where \(m \in \{1,2,3 \}\) or \(\gcd (m,p) > 1\), as it contributes O(x) to the sum below. Hence,
In [5], they deduce Theorem 1.1 from the following lemma.
Lemma 2.2
We have \(x (\log x)^3 \ll \sum _{p \le x} A_{3,I}(p) \ll x (\log x)^3\) and \(\sum _{p \le x} A_{3,II}(p) \ll x (\log x)^5\).
We improve the upper bound on the sum of solutions of type II in Lemma 2.2.
Lemma 2.3
We have
Theorem 1.2 then follows immediately from Lemma 2.3. The rest of the paper is dedicated to proving Lemma 2.3.
3 Proof of Lemma 2.3
We use two classical number theory inequalities. The first one is the Brun–Titchmarsh inequality (Theorem 6.6 in [4]). Let \(\pi (x;q,a)\) denote the number of primes p congruent to a modulo q satisfying \(p \le x\). Recall that \(\phi \) is the Euler totient function.
Theorem 3.1
For all \(q < x\) we have
The second inequality we use is the known bound on the sum of characters by Burgess [1].
Theorem 3.2
Let \(\chi \) be a Dirichlet character modulo q. Let \(r \ge 1\), \(H \ge 1\) be fixed integers, and fix \(\varepsilon > 0\). Then if either q is square-free or \(r=2\) we have
Recall that \(\tau (n) {:}{=}\sum _{d|n} 1\) is the number of distinct divisors d of n. Elsholtz and Tao proved the following (Proposition 1.4 from [2]).
Proposition 3.3
For any \(A,B > 1\), and any positive integer \(k \le (AB)^{O(1)}\), we have
For our proof we need a refined version of Proposition 3.3, which holds for a more restricted range of k.
Proposition 3.4
For any \(A,B > 1\) and \(p < \frac{5}{3}\), and any positive integer \(k \le A^p\), we have
The tighter upper bound of Proposition 3.4 is one of the main ingredients in our improved upper bound in Lemma 2.3. Note that Proposition 3.4 can probably be proved for a larger range than \(k \le A^p\) for \(p < \frac{5}{3}\), but since in our proof we use Proposition 3.4 only for \(p=1\), we have not made any effort in this direction.
Proof
The proof follows the same lines as of the proof of Proposition 3.3 by Elsholtz and Tao [2]. For the case \(A \ge B\) it was already shown in [2] that (2) holds. For the case where \(A \le B\), using the same argument as in their proof, it is sufficient to show that
where by \(\left( \frac{a}{q} \right) \) we mean the Jacobi symbol. Moreover, the contribution of \(q > kA\) has been shown by Elsholtz and Tao to be at most \(A\log B\).
It is left to consider the contribution of \(q \le kA\), for which we obtain a stronger upper bound, using Theorem 3.2 for \(r=2\), and \(k \le A^p\). Thus, we have
Hence,
Taking \(\varepsilon > 0\) small enough proves the statement. \(\square \)
We are now ready to prove our main lemma.
Proof of Lemma 2.3
In fact, we prove something slightly stronger. We bound the number of tuples (m, p, a, b, c, u) of Type II satisfying Lemma 2.1, which we denote by \({\mathcal {T}}(x)\). This gives an upper bound on the number of pairs (m, p) of type II,
For each pair (m, p) of type II we can write \(p = \frac{baum - 1}{(a+b)/c}\). By setting \(t = (a+b)/c\) and substituting \(b = ct-a\), we get
Furthermore, note that \(aum \le 4x\). Indeed, assuming without loss of generality that \(a \le b\), we get that
giving \(aum \le \frac{4p}{c} \le 4x\). For the sake of simplicity, as \(aum \ll x\), we might as well assume \(aum \le x\). Moreover, by symmetry, we can assume \(u \le m\). We have \(\tau (a^2um+1)\) possibilities for t, and once a, u, m and t have been fixed, there are only \(\pi (x;aum,-(a^2um + 1)/t)\) possibilities for p. Hence, the number of tuples (m, p, a, b, c, u) is at most
Considering both (3) and (4), we now focus on bounding from above the right-hand side of (4).
By the Brun–Titchmarsh inequality (Theorem 3.1), we have \(\pi (x; aum, d) \ll \frac{x}{\phi (aum)\log (x/aum)}\) for all d. Moreover, considering also the trivial bound \(\pi (x; aum, d) \ll \frac{x}{aum}\), we actually get \(\pi (x; aum, d) \ll \frac{x}{\phi (aum) \log (2+x/aum)}\), which is useful for those values of aum which are very close to x. Using this last inequality and the classical inequality \(\phi (n) \gg \frac{n}{\log \log n}\), we have
It suffices to show that the following holds for any \(N \le x\),
Indeed, summing (5) over all \(N = 2^i\) for \(i \le \log x\) gives
proving the lemma.
Hence, it is left to prove (5). We have
where the first sum on the right-hand-side is going over all dyadic triplets \((A,U,M) = (2^i, 2^j, 2^h)\) for which the set \(\left\{ aum ~:~ A\le a\le 2A, \, U\le u \le 2U, \, M\le m \le 2M \right\} \) has a non-empty intersection with the interval [N/2, N].
By Proposition 3.4, since \(U \le M\), we have
Since in this range of summation we have \(aum \ge AUM\), we get
For every \(N \le x\) there are \(O((\log x)^2)\) dyadic triplets (A, U, M) for which the set \(\{ aum: A \le a \le 2A, \, U \le u \le 2U, \, M \le m \le 2M \}\) has a non-empty intersection with [N/2, N]. Considering (6) we then get
proving (5), as desired. \(\square \)
4 Concluding remarks
We believe that the correct order is the lower bound \(x(\log x)^3\). As mentioned at the beginning of the proof of Lemma 2.3, we actually count tuples (m, p, a, b, c, u) rather than pairs (m, p). A more direct count of the number of pairs (m, p) could possibly yield the desired order of \(x(\log x)^3\).
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Burgess, D.A.: On character sums and l-series. II. Proc. Lond. Math. Soc. 3(1), 524–536 (1963)
Elsholtz, C., Tao, T.: Counting the number of solutions to the Erdös–Straus equation on unit fractions. J. Aust. Math. Soc. 94, 50–105 (2013)
Guy, R.: Unsolved Problems in Number Theory, 2nd edn. Springer, Nw York (1994)
Iwaniec, H., Kowalski, E.: Analytic number theory. Am. Math. Soc. Colloq. Public. 53, 159 (2004)
Luca, F., Pappalardi, F.: On ternary Egyptian fractions with prime denominator. Res. Number Theory 5(4), 1–14 (2019)
Mordell, L.J.: Diophantine Equations. Academic Press, Cambridge (1969)
Acknowledgements
The authors would like to thank their PhD supervisor Professor Béla Bollobás for his valuable comments.
In a previous version of this paper we proved an upper bound of \(x (\log x)^3 (\log \log x)^3\). We would like to thank Matteo Bordignon, Christian Elsholtz, Bryce Kerr and Timothy Trudgian for pointing out to us that using the Burgess bound instead of the Pólya-Vinogradov inequality enables us to prove Proposition 3.4 in its current more general version, and consequently removes one \(\log \log x\) factor in Lemma 2.3. The authors would also like to thank the anonymous referee for further comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mond, A., Portier, J. Ternary Egyptian fractions with prime denominator. Res. number theory 8, 41 (2022). https://doi.org/10.1007/s40993-022-00339-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-022-00339-4