×

On the number of solutions to systems of Pell equations. (English) Zbl 1137.11018

Two important results on Diophantine equations are proved in this paper.
(1) If \(a>1\), \(b>1\) are distinct integers and \(c,d\) are positive integers, then the system of equations
\[ ax^2-cz^2=1, \quad by^2-dz^2=1 \]
has at most two solutions in positive integers \(x,y,z\). This result is best possible, since there exist systems as above (actually, infinitely many) for which the system has two solutions.
(2) If \(a,b\) are positive integers, then the system of equations
\[ x^2-ay^2=1,\quad z^2-bx^2 =1 \]
has at most two solutions in positive integers \(x,y,z\). This result, most likely, is not best possible, in the sense that no such system is known with two solutions.
The problem of determining an upper bound for the number of solutions to such systems and, more general, to systems with left-hand sides as above and right-hand sides integers not necessarily equal to 1, has attracted the interest of number-theorists for the last 20 years. Much earlier, due to Thue and Siegel it has been known that the number of solutions is finite. The Introduction of the paper contains quite a number of relevant references.
Though quite technical, this paper is very well written, so that anybody seriously interested in applications of Baker’s method to Diophantine equations will greatly profit from its study. Moreover, I would recommend this paper to graduate students whose research orientation is to classical Diophantine equations as an especially useful reading.
A very rough sketch of the proof of the first result follows; the proof of the second result follows similar lines.
It is proved first that the number of solutions to the system appearing in (1) is equal to that of a similar system with \(c=a-1\) and \(d=b-1\) (where, of course, \(a\) and \(b\) are, in general, distinct from the \(a\) and \(b\) of the initial system). Next, let \(\alpha=\sqrt{a}+\sqrt{a-1}\), \(\beta=\sqrt{b}+\sqrt{b-1}\). Any solution \(x,y,z\) implies the existence of positive integers \(j,k\) satisfying
\[ {\alpha^j-\alpha^{-j}\over 2\sqrt{a-1}}={\beta^k-\beta^{-k}\over 2\sqrt{b-1}}; \]
this common value is, actually, the value of \(z\). Obviously, \(j=k=1\) gives the solution corresponding to \(z=1\) and the problem is to show that there are no distinct pairs \((j_2,k_2)\), \((j_3,k_3)\) satisfying the condition above. If the condition above is satisfied then the authors consider
\[ \Lambda =\log \left({b-1\over a-1}\right)+2j\log\alpha-2k\log\beta, \]
for which an upper bound in terms of \(j\) can be easily calculated.
If one assumes the existence of \((j_2,k_2)\), \((j_3,k_3)\) as above with \(j_3>j_2\) and \(k_3>k_2\), then a “gap principle” is proved, i.e. the larger pair is much larger than the smaller one; more precisely, it is proved that \(j_3>c_1j_2\beta^{c_2(k)}\), where the constants are made explicit in the paper (depending on various cases).
Using a sharp lower bound for linear forms in three logarithms due to E. M. Matveev, the authors obtain a lower bound for \(\log\Lambda\) when \(k=k_3\) and \(j=j_3\) in terms of \(\log k_3\) and, of course, of \(\log\alpha\) and \(\log\beta\). This, combined with the “gap principle” and the lower bound for \(\Lambda\) implies \(\max\{a,b\}<3.1\times 10^{51}\). In order to reduce this bound considerably, the authors write \({k_2-1\over 2}\Lambda=\log\alpha_2-k_3\log\alpha_1\), where
\[ \alpha_2= \left({b-1\over a-1}\right)^{{k_2-1\over 2}}\alpha^{(k_2-1)j_3-(j_2-1)k_3}. \]
This is now a linear form in two logarithms. The algebraic numbers in the logarithms are considerably more complicated but, the advantage is that the authors can use a very sharp result on linear forms in two logarithms due to M. Laurent, M. Mignotte and Y. Nesterenko, which permits them to reduce the previous bound for \(\max\{a,b\}\) to \(4\times 10^{38}\).
Now I quote from the authors’ introduction: “To complete the proof, we use computers to perform two types of computations. On the one hand, standard techniques from computational Diophantine approximation yield the conclusion that small values of \(\max\{a,b\}\), say, smaller than 2000, are not compatible with the existence of three positive solutions […]. On the other hand, various verifications eliminate the possibility that the third solution exists when \(\max\{a,b\}\) is in the domain excluded for other reasons.”

MSC:

11D09 Quadratic and bilinear Diophantine equations
11D45 Counting solutions of Diophantine equations
11J86 Linear forms in logarithms; Baker’s method

Software:

PARI/GP
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Anglin, W. S., The Queen of Mathematics: An Introduction to Number Theory (1995), Kluwer: Kluwer Dordrecht · Zbl 0820.11001
[2] Anglin, W. S., Simultaneous Pell equations, Math. Comp., 65, 355-359 (1996) · Zbl 0848.11007
[3] Baker, A., Linear forms in the logarithms of algebraic numbers, IV, Mathematika, 15, 204-216 (1968) · Zbl 0169.37802
[4] Baker, A.; Davenport, H., The equations \(3 x^2 - 2 = y^2\) and \(8 x^2 - 7 = z^2\), Quart. J. Math. Oxford Ser. (2), 20, 129-137 (1969) · Zbl 0177.06802
[5] Batut, C.; Belabas, K.; Bernardi, D.; Cohen, H.; Olivier, M., User’s guide to PARI/GP, version 2.1.6
[6] Bennett, M. A., On the number of solutions of simultaneous Pell equations, J. Reine Angew. Math., 498, 173-199 (1998) · Zbl 1044.11011
[7] Bennett, M. A.; Cipu, M.; Mignotte, M.; Okazaki, R., On the number of solutions of simultaneous Pell equations, II, Acta Arith., 122, 407-417 (2006) · Zbl 1165.11034
[8] Brown, E., Sets in which \(x y + k\) is always a square, Math. Comp., 45, 172, 613-620 (1985) · Zbl 0577.10015
[9] M. Cipu, Pairs of Pell equations having at most one common solution in positive integers, submitted for publication; M. Cipu, Pairs of Pell equations having at most one common solution in positive integers, submitted for publication · Zbl 1174.11032
[10] Cipu, M.; Mignotte, M., On the number of solutions of simultaneous Pell equations · Zbl 1165.11034
[11] Dujella, A., Complete solution of a family of simultaneous Pellian equations, Acta Math. Inform. Univ. Ostraviensis, 6, 59-67 (1998) · Zbl 1024.11014
[12] Dujella, A.; Pethő, A., A generalization of a theorem of Baker and Davenport, Quart. J. Math. Oxford Ser. (2), 49, 291-306 (1998) · Zbl 0911.11018
[13] Grinstead, C. M., On a method of solving a class of Diophantine equations, Math. Comp., 32, 143, 936-940 (1978) · Zbl 0389.10015
[14] Laurent, M.; Mignotte, M.; Nesterenko, Yu., Formes linéaires en deux logarithmes et déterminants d’interpolation, J. Number Theory, 55, 285-321 (1995) · Zbl 0843.11036
[15] Masser, D. W.; Rickert, J. H., Simultaneous Pell equations, J. Number Theory, 61, 52-66 (1996) · Zbl 0882.11016
[16] Matveev, E. M., An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers, II, Izv. Ross. Akad. Nauk Ser. Mat.. Izv. Ross. Akad. Nauk Ser. Mat., Izv. Math., 64, 1217-1269 (2000), (in Russian). English translation in: · Zbl 1013.11043
[17] McDaniel, W. L., The g.c.d. in Lucas sequences and Lehmer number sequences, Fibonacci Quart., 29, 24-29 (1991) · Zbl 0732.11008
[18] Mignotte, M., A corollary to a theorem of Laurent-Mignotte-Nesterenko, Acta Arith., 86, 101-111 (1998) · Zbl 0919.11051
[19] Mohanty, S. P.; Ramasamy, M. S., The simultaneous Diophantine equations \(5 y^2 - 20 = X^2\) and \(2 y^2 + 1 = Z^2\), J. Number Theory, 18, 3, 356-359 (1984) · Zbl 0534.10012
[20] Ono, K., Euler’s concordant forms, Acta Arith., 78, 101-123 (1996) · Zbl 0863.11038
[21] Ribenboim, P., The Book of Prime Number Records (1989), Springer: Springer New York · Zbl 0642.10002
[22] Schlickewei, H. P., The number of subspaces occurring in the \(p\)-adic subspace theorem in Diophantine approximation, J. Reine Angew. Math., 406, 44-108 (1990) · Zbl 0693.10027
[23] Schmidt, W. M., Norm form equations, Ann. of Math., 96, 526-551 (1972) · Zbl 0226.10024
[24] Schmidt, W. M., Diophantine Approximation, Lecture Notes in Math., vol. 785 (1980), Springer · Zbl 0529.10032
[25] Siegel, C. L., Über einige Anwendungen diophantischer Approximationen, Abh. Preuss. Akad. Wiss., 1, 1-70 (1929) · JFM 56.0180.05
[26] Thue, A., Über Annäherungswerte algebraischer Zahlen, J. Reine Angew. Math., 135, 284-305 (1909) · JFM 40.0265.01
[27] Tzanakis, N., Effective solution of two simultaneous Pell equations by the elliptic logarithm method, Acta Arith., 103, 119-135 (2002) · Zbl 1003.11064
[28] Walsh, P. G., On two classes of simultaneous Pell equations with no solutions, Math. Comp., 68, 225, 385-388 (1999) · Zbl 0911.11017
[29] Yuan, P., On the number of solutions of simultaneous Pell equations, Acta Arith., 101, 215-221 (2002) · Zbl 1003.11007
[30] Yuan, P., Simultaneous Pell equations, Acta Arith., 115, 119-131 (2004) · Zbl 1065.11013
[31] Yuan, P., On the number of solutions of \(x^2 - 4 m(m + 1) y^2 = y^2 - b z^2 = 1\), Proc. Amer. Math. Soc., 132, 1561-1566 (2004) · Zbl 1050.11031
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.