Abstract
Consider the divisor sum \(\sum _{n\le N}\tau (n^2+2bn+c)\) for integers b and c. We extract an asymptotic formula for the average divisor sum in a convenient form, and provide an explicit upper bound for this sum with the correct main term. As an application we give an improvement of the maximal possible number of \(D(-1)\)-quadruples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\tau (n)\) denote the number of positive divisors of the integer n and \(P(x)\in \mathbb {Z}[x]\) be a polynomial. Due to their numerous applications average sums of divisors
have obtained a lot of attention, e.g. in [4, 7,8,9, 20, 21]. The current paper aims to improve the author’s results from [11] concerning explicit upper bound for divisor sums over certain irreducible quadratic polynomials P(x). More precisely, while the upper bound obtained in [11] appears to be the first one of the right order of magnitude \(N\log N\) with completely explicit constants, it does not provide the expected constant in the main term. Here we fill this gap achieving the correct main term as in the asymptotic formula for the corresponding divisor sum. A more detailed introduction to the subject can be found in [11, 15].
Only very recently [5, 12] provided asymptotic formulae for the sum (1.1) for some reducible quadratic polynomials, whereas the asymptotic formulae for irreducible quadratic polynomials are classical, due to Scourfield [20], Hooley [10] and McKee [13,14,15].
Let \(P(x)=x^2+Bx+C\) for integers B and C such that P(x) is irreducible. Denote
Then we have
as \(N\rightarrow \infty \), for some \(\lambda \) depending on B and C. Hooley [10] showed that for irreducible \(P(x)=x^2+C\) we have
while for the more general \(P(x)=x^2+Bx+C\) with \(\Delta =B^2-4C\) not a square, McKee [15] obtained
where \(H^*(\Delta )\) is a weighted class number, and \(\epsilon _\Delta \) for \(\Delta >0\) is a fundamental unit. Nevertheless we would prove independently the asymptotic formula for the specialized irreducible quadratic polynomials in which we are interested. We achieve a compact main term with a constant \(\lambda \) which is easier to formulate and easy to compare with the main term in our explicit upper bound.
Our first result is the following theorem.
Theorem 1
Let b and c be integers, such that the discriminant \(\delta :=b^2-c\) is non-zero and square-free, and \(\delta \not \equiv 1\pmod 4\). Then for \(N\rightarrow \infty \) we have the asymptotic formula
where \(\chi (n)=\left( \frac{4\delta }{n}\right) \) for the Kronecker symbol \(\left( \frac{.}{.}\right) \).
In particular, when we consider the polynomial \(f(n)=n^2+1\) we have \(\delta =-1\) and \(\chi (n)=\left( \frac{-4}{n}\right) \) is the non-principal primitive Dirichlet character modulo 4. Then \(L(1,\chi )=\sum _{n=0}^\infty (-1)^n/(2n+1)=\pi /4\) by the formula of Leibniz. We substitute \(\zeta (2)=\pi ^2/6\) in Theorem 1 and recover the well-known asymptotic
We note that \(4\delta =\Delta \) is a fundamental discriminant and the weighted class number \(H^*(\Delta )\) in McKee’s formula (1.3) is the usual class number for \(\Delta >0\) and \(\Delta <-4\). When \(\delta =-1\) we have an adjustment by the corresponding root number. Indeed, for negative discriminants \(H^*(\Delta )\) is the Hurwitz class number for which the precise relation with the usual class number is described for example in ([3], Lemma 5.3.7). Then the Dirichlet class number formula yields the equality of the constant \(2L(1,\chi )/\zeta (2)\) with \(\lambda \) from (1.3) for the polynomials we consider in Theorem 1. Our proof, however, is different than McKee’s [13,14,15], and is rather similar to Hooley’s argument from [10].
The novelty in this paper is the following explicit upper bound, which achieves the correct main term as in the asymptotic formula from Theorem 1.
Theorem 2
Let \(f(n)=n^2+2bn+c\) for integers b and c, such that the discriminant \(\delta :=b^2-c\) is non-zero and square-free, and \(\delta \not \equiv 1\pmod 4\). Assume also that for \(n\ge 1\) the function f(n) is non-negative. Then for any \(N\ge 1\) satisfying \(f(N)\ge f(1)\), and \(X:=\sqrt{f(N)}\), we have the inequality
where \(\chi (n)=\left( \frac{4\delta }{n}\right) \) for the Kronecker symbol \(\left( \frac{.}{.}\right) \) and
Note that we can formulate the theorem by extracting positive constants \(C_1, C_2, C_3\) such that
because \(X=\sqrt{f(N)}=N+\mathcal {O}(1)\). However we restrained ourselves from doing so in order to keep our result more precise for eventual numerical applications. Still, improvements of the lower order terms are very likely, for example by applying the theory developed by Akhilesh and Ramaré [1].
When we know the exact form of the quadratic polynomial and the corresponding character, we might achieve even better upper bounds. This is the case of the polynomial \(f(n)=n^2+1\) when the following corollary holds.
Corollary 3
For any integer \(N\ge 1\) we have
Just as in [11] we give an application of the latter inequality. Define a \(D(n)-m\) -tuple for a nonzero integer n and a positive integer m to be a set of m integers such that the product of any two of them increased by n is a perfect square. It is conjectured that there are no \(D(-1)\)-quadruples but currently it is only known that there are at most \(4.7\cdot 10^{58}\) \(D(-1)\)-quadruples [11]. The latter number upgraded the previous maximal possible bound \(3.01\times 10^{60}\) due to Trudgian [19], which in turn improved results from [2, 6].
Plugging the upper bound of Corollary 3 in the proof of ([6], Theorem 1.3) from the paper of Elsholtz, Filipin and Fujita we obtain another slight improvement.
Corollary 4
There are at most \(3.713\cdot 10^{58}\) \(D(-1)\)-quadruples.
2 Proof of Theorem 2
We start with proving the explicit upper bound in Theorem 2, as the claims required for the proof of Theorem 1 can be easily adapted by the lemmae from this section.
Let us consider the polynomial \(f(n)=n^2+2bn+c\) with integer coefficients b and c, and the function \(\rho (d)\) defined in (1.2) counts the roots of f(n) in a full residue system modulo d. Let \(\delta =b^2-c\) and \(\chi (n)=\left( \frac{4\delta }{n}\right) \) for the Kronecker symbol \(\left( \frac{.}{.}\right) \).
The core of the proofs of both Theorems 1 and 2 is the following convolution lemma which we proved in [11].
Lemma 1
([11], Lemma 2.1) Let \(\delta =b^2-c\) be square-free and \(\delta \not \equiv 1\pmod 4\). Then we have the identity
The proof of Lemma 1 is based on elementary facts about the function \(\rho (d)\) at prime powers and manipulations of the Dirichlet series it generates.
Further we need the following explicit estimates.
Lemma 2
For any integer \(N\ge 1\) we have
where \(|E_1(N)|\le 2\sqrt{N} +2\).
Proof
Let us denote \(Q(N):=\sum _{n\le N}\mu ^2(n)\) for \(N\ge 1\). Then we can write
Using \(\sum _{n=1}^\infty \mu (d)/d^2=1/\zeta (2)\) we see that
hence
On its turn for every real \(x>1\)
and \(N/(\sqrt{N}-1)\le \sqrt{N}+2\) for \(N\ge 4\). Now from (2.1) it follows that \(Q(N)=N/\zeta (2)+E_1(N)\) and \(|E_1(N)|\le 2(\sqrt{N}+1)\) for \(N\ge 4\). It is trivial to check that the inequality
holds also for \(N\in \left\{ 1,2,3\right\} \) and this proves the statement of the lemma. \(\square \)
The following effective Pólya–Vinogradov inequality is due to Pomerance.
Lemma 3
([16], Theorem 1) Let
for a primitive character \(\chi \) to the modulus \(q>1\). Then
The next lemma is critical for obtaining the right main term in the explicit upper bound of Theorem 2.
Lemma 4
For any integer \(N\ge 1\) we have
where \(\left| E_2(N)\right| \le 2M_\delta /N\) and \(M_\delta \) is the constant defined in Theorem 2.
Proof
This statement, especially the estimate of the error term, is much less trivial and follows from the effective Pólya–Vinogradov inequality of Pomerance. First we notice that
Let us denote \(X(N):=\sum _{1\le n\le N}\chi (n)\) for any positive integer N. Then by Abel’s summation it follows that for any positive integer \(Z>N\) we have
Recall the definition of the quantity \(M_\chi \) in Lemma 3. Then
which is uniform in Z. Therefore \(|E_2(N)|=\left| \sum _{n>N}\chi (n)/n\right| \le 2M_\chi /N\). Now by the conditions on \(\delta \) to be square-free and not congruent to 1 modulo 4 it follows that the discriminant \(4\delta \) is fundamental, thus the character \(\chi (n)=\left( \frac{4\delta }{n}\right) \) is primitive with a conductor \(4|\delta |\). Then according to Lemma 3 \(M_\chi \le M_\delta \) and this proves the statement. \(\square \)
The following lemma is due to Ramaré. One could easily extract the right main term from Lemma 2 through Abel summation but the estimate of the minor term requires computer calculations.
Lemma 5
([17], Lemma 3.4) Let \(x\ge 1\) be a real number. We have
Let us start with the proof of Theorem 2. Note that from the condition \(f(N)\ge f(1)\) and the convexity of the function f(x) we have \(f(N)=\max _{1\le n\le N}f(n)\). Using the Dirichlet hyperbola method we have
Recall the definition (1.2) of the function \(\rho (d)\). Then the innermost sum equals \(\left[ N/d\right] \) copies of \(\rho (d)\) plus a remaining part smaller than \(\rho (d)\). Recall that \(X=\sqrt{f(N)}\). Then
From the convolution identity stated in Lemma 1 it immediately follows that
Recall the definition of \(M_\chi \) and the Pomerance bounds \(M_\chi \le M_\delta \). Then using also Lemma 2 we get
Similarly by the convolution property of the function \(\rho (d)\) and Lemma 4 we can write
One could go further using Lemma 5 and again Lemma 2. We obtain
Plugging the estimates (2.3) and (2.5) in (2.2) gives the statement of Theorem 2.
Let us prove Corollary 3. For the polynomial \(f(n)=n^2+1\) we can be more precise as the condition \(d\le \sqrt{f(n)}\) is equivalent to \(d\le n\). Then after applying more carefully the hyperbola method and changing the order of summation we obtain
Similarly to (2.4) we have
In this case \(M_\chi \le 1\) and \(L(1,\chi )=\pi /4\), and application of Lemmas 5 and 2 gives
After numerical approximation of the constants we conclude the validity of Corollary 3.
3 Proof of Theorem 1
Let again \(f(n)=n^2+2bn+c\). We can assume that f(n) is non-negative for \(n\ge 1\) as for N large enough \(f(N)=\max _{1\le n\le N}f(n)\) and the contribution of the finitely many integers n for which \(f(n)<0\) will be negligible compared to the main term.
As in the proof of Theorem 2 and using (2.2) and (2.3) it is easy to see that
We need the following estimates.
Lemma 6
For \(N\rightarrow \infty \) we have the asymptotic formulae
and
Proof
The first asymptotic formula follows easily after Abel transformation of the classical formula
which in its turn obviously follows from the explicit version in Lemma 2. The second statement can be deduced from Lemma 4. \(\square \)
Then the asymptotic estimate corresponding to (2.4) is
4 Some examples
In our preceding paper [11] we gave several examples of polynomials for which Theorem 2 can provide effective upper bound of the average divisor sum. There we compared the coefficient of the main term in the asymptotic formula of McKee with the one from our upper bound. The current paper achieves equality of the two coefficients but there is one more computation to be made, so that our result could be useful numerically, this of the special value of the Dirichlet L-function \(L(s,\chi )\) at \(s=1\).
Formulae for computing \(L(1,\chi )\) in the two separate cases \(\delta <0\) and \(\delta >0\) are given in ([22], Theorem 4.9). When \(\delta <0\) this is implemented by the SAGE function quadratic_L_function_exact \((1,4\delta )\) whose values are computed for several examples in the table below. When \(\delta >0\) one can find the approximate value of \(L(1,\chi )\) by finding first the corresponding Dirichlet character (of modulus \(4\delta \), order 2, even and primitive) in the Refine search platform from LMFDB (The L-functions and modular forms database [18]).
The following table lists some examples.
f(n) | \(\delta \) | \(\chi \) | \(L(1,\chi )\) |
---|---|---|---|
\(n^2+1\) | \(-1\) | \(\left( \frac{-1}{.}\right) \) | \(\pi /4\)–0.7854 |
\(n^2+10n+27\) | \(-2\) | \(\left( \frac{-8}{.}\right) \) | \(\sqrt{2}/4\pi \)–1.1108 |
\(n^2+4n+10\) | \(-6\) | \(\left( \frac{-24}{.}\right) \) | \(\sqrt{6}/6\pi \)–1.2826 |
\(n^2+10n-10\) | 35 | \(\left( \frac{140}{.}\right) \) | \(\sim \)0.8377 |
\(n^2+20n+9\) | 91 | \(\left( \frac{364}{.}\right) \) | \(\sim \)1.6887 |
Change history
24 March 2018
Consider the divisor sum \(\sum _{n\le N}\tau (n^2+2bn+c)\) for integers b and c. We improve the explicit upper bound of this average divisor sum in certain cases, and as an application, we give an improvement in the maximal possible number of \(D(-1)\)-quadruples. The new tool is a numerically explicit Pólya–Vinogradov inequality, which has not been formulated explicitly before but is essentially due to Frolenkov–Soundararajan.
References
Akhilesh, P., Ramaré, O.: Explicit averages of non-negative multiplicative functions: going beyond the main term. Colloq. Math. 147(2), 275–313 (2017)
Bonciocat, N.C., Cipu, M., Mignotte, M.: On \(D(-1)\)-quadruples. Publ. Math. 56(2), 279–304 (2012)
Cohen, H.: A Course in Computational Algebraic Number Theory. Graduate Texts in Mathematics, vol. 138. Springer, Berlin (1993)
Delmer, F.: Sur la somme de diviseurs \(\sum _{k\le x}\{d[f(k)]\}^s\), C. R. Acad. Sci. Paris Ser. A B 272, A849–A852 (1971)
Dudek, A.: On the number of divisors of \(n^2-1\). Bull. Aust. Math. Soc. 93(02), 194–198 (2016)
Elsholtz, C., Filipin, A., Fujita, Y.: On diophantine quintuples and \(D(-1)\)-quadruples. Monatsh. Math. 175(2), 227–239 (2014)
Elsholtz, C., Tao, T.: Counting the number of solutions to the Erdős–Straus equation on unit fractions. J. Aust. Math. Soc. 94(1), 50–105 (2013)
Erdős, P.: On the sum \(\sum _{k=1}^x d(f(k))\). J. Lond. Math. Soc. 27, 7–15 (1952)
Hooley, C.: On the representation of a number as the sum of a square and a product. Math. Z. 69, 211–227 (1958)
Hooley, C.: On the number of divisors of quadratic polynomials. Acta Math. 110, 97–114 (1963)
Lapkova, K.: Explicit upper bound for an average number of divisors of quadratic polynomials. Arch. Math. (Basel) 106(3), 247–256 (2016)
Lapkova, K.: On the average number of divisors of reducible quadratic polynomials. Preprint, 2016. arXiv:1704.06453
McKee, J.: On the average number of divisors of quadratic polynomials. Math. Proc. Camb. Philos. Soc. 117, 389–392 (1995)
McKee, J.: A note on the number of divisors of quadratic polynomials. Sieve methods, exponential sums, and their applications in number theory (Cardiff, 1995). In: London Mathematical Society Lecture Note Series 237, pp. 275–281. Cambridge University Press, Cambridge (1997)
McKee, J.: The average number of divisors of an irreducible quadratic polynomial. Math. Proc. Camb. Philos. Soc. 126(1), 17–22 (1999)
Pomerance, C.: Remarks on the Pólya–Vinogradov inequality. Integers 11, 531–542 (2011)
Ramaré, O.: An explicit density estimate for Dirichlet L-series. Math. Comput. 85(297), 325–356 (2016)
The LMFDB Collaboration: The L-Functions and Modular Forms Database. http://www.lmfdb.org (2016) (Online). Accessed 11 Nov 2016
Trudgian, T.: Bounds on the number of diophantine quintuples. J. Number Theory 157, 233–249 (2015)
Scourfield, E.J.: The divisors of a quadratic polynomial. Proc. Glasg. Math. Assoc. 5, 8–20 (1961)
Scourfield, E.J.: Smooth Divisors of Polynomials. Number Theory and Polynomials. Cambridge University Press, Cambridge (2008)
Washington, L.C.: Introduction to Cyclotomic Fields. Graduate Texts in Mathematics, vol. 83, 2nd edn. Springer, New York (1997)
Acknowledgements
Open access funding provided by Graz University of Technology. This work was supported by a Hertha Firnberg grant of the Austrian Science Fund (FWF) [T846-N35]. The author thanks Christian Elsholtz for drawing her attention to this problem, Olivier Ramaré for commenting her preceding work [11] and the referee for his/her suggestions which led to improvement of the exposition.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lapkova, K. Explicit upper bound for the average number of divisors of irreducible quadratic polynomials. Monatsh Math 186, 663–673 (2018). https://doi.org/10.1007/s00605-017-1061-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-017-1061-y