zbMATH — the first resource for mathematics

Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Exponential Diophantine equations. (English) Zbl 0606.10011
Cambridge Tracts in Mathematics, 87. Cambridge etc.: Cambridge University Press. X, 240 p. £25.00; \$ 44.50 (1986).

What is an exponential diophantine equation (EDE) ? It is a diophantine equation in which at least one exponent in the equation is unknown. Therefore ${x}^{2}+k={y}^{3}$ is not an EDE, but (*) ${x}^{2}+k={y}^{n}$ is one. Also (**) ${x}^{x}{y}^{y}={z}^{z}$ is an EDE.

Perhaps the most famous EDE is the Fermat equation ${x}^{n}+{y}^{n}={z}^{n}$. Another well known one is Catalan’s ${x}^{n}-{y}^{m}=1$ or the related Pillai’s a ${x}^{n}+b{y}^{m}=k$ which includes (*) and Catalan’s equation. If you take rational solutions into account (not only integral ones) there also seems to be a connection between Fermat’s and Pillai’s equations; but the first one defines a smooth projective curve and the second one has a singularity at infinity for $n\ne m$. So, one way to get results is the algebro-geometric way with his recent achievements by Faltings’ theorem. But there always the exponents must be fixed.

The authors’ aim is to give explicitly computable upper bounds for the unknown exponents in the EDE’s so that one should be able to apply the known results for polynomial diophantine equations. But in almost all cases examined these upper bounds are astronomical large and not reachable even by the fastest computers. - I think all people involved with these questions believe that there must be small upper bounds, if there are any, but this seems beyond the powers of the present methods. - So the authors introduce the concept of computable number which doesn’t give hope that really all solutions can be written down: A computable number is a positive real number which you can effectively calculate following the way of the given proof (it may depend on the parameters of the problem).

The authors refuse to compute any of these "computable number". Even for the constant in the second named author’s famous proof that for all positive integers x,y,n,m with ${x}^{n}-{y}^{m}=1$ it follows that $x,y,n,m<{C}_{1}$ an explicit value for ${C}_{1}$ is not given. Only in the notes you can find that ${x}^{n} and that the largest prime factor of mn is smaller than exp(241) [M. Langevin, Sémin. Delange-Pisot-Poitou, 17e Année 1975/76, Paris, Fasc. 2, Exp. G 12 (1977; Zbl 0354.10008)].

Nearly all methods for solving the mentioned equations also apply to (integers in) algebraic number fields. The corresponding results for algebraic function fields are mostly deported to the notes.

The main method of proof is Baker’s method of linear forms in logarithms of algebraic numbers [chiefly A. Baker, Mathematika 15, 204-216 (1968; Zbl 0169.37802)]. Recently the first author also applied Baker’s rational approximation results to algebraic numbers [A. Baker, Q. J. Math., Oxf. II. Ser. 15, 375-383 (1964; Zbl 0222.10036)] in a paper concerned with Pillai’s equation [Indagationes Math. 48, 353-358 (1986; Zbl 0603.10019)]. The book opens after a lucid introduction with three preliminary chapters which contain no proof.

Chapter A: Results from algebraic number theory. It gives a review of algebraic number theory with special emphasis on computable results, e.g. E. Landau [Nachr. K. Ges. Wiss. Gött., Math.-Phys. Kl. 1918, 478- 488 (1918)]: Class number h and regulator R of an algebraic number field K of degree d over $ℚ$ are bounded by a computable constant ${C}_{2}$, dependent only on d, such that

$hR\phantom{\rule{1.em}{0ex}}<\phantom{\rule{1.em}{0ex}}{C}_{2}\sqrt{|D|}\phantom{\rule{1.em}{0ex}}{\left(log|D|\right)}^{d-1}$

where D is the discriminant of K over $ℚ$, or R. Zimmert [Invent. Math. 62, 367-380 (1980; Zbl 0456.12003)]: $R>0·056$ (one of the few explicit constants in this monograph).

Chapter B: Estimates of linear forms in logarithms (3 pages). It is devoted to Baker’s method and the related results of van der Poorten in the p-adic case. It seems a pity for the reviewer that for these far- reaching methods which are central not only for EDE’s no proofs are given. The reader is referred to the original papers. A reference to S. Lang [Elliptic curves: Diophantine analysis (1978; Zbl 0388.10001)] is missing at this place. $\left\{$ Besides, the best lower bound for linear forms in logarithms of algebraic numbers seems to be in the contribution by J. H. Loxton, M. Mignotte, A. J. van der Poorten and M. Waldschmidt, C. R. Math. Acad. Sci., Soc. R. Can. 11, 119-124 (1987).$\right\}$

Chapter C: Recurrence sequences. On the first view this chapter seems not to be related with the theory of EDE’s. But as the authors explain a good theory of EDE’s should give, for instance, all perfect powers in the Fibonacci or Lucas series. (This will be done in chapter 9 of the main part of the book.)

We come now to the gist of the book which is organized in 12 chapters. One thing where I believe to realize again the mathematical style of the first author is the set-up of the individual chapters: Each chapter is in three parts. The first part contains the statements of all the results to be proved in the chapter. The second part contains the proofs of these results. The third part gives an account of the developments related to the results of the chapter. Thus an account of the results of important topics which are not included in the text are available in the notes. Because of lack of place we will only rush through the chapters.

Chapter 1 is concerned with purely exponential equations. Here only the exponents are unknown. A special problem is the equation $x+y=z$ where x, y, z are integers composed of primes from a given finite set. There are a lot of results which have been obtained by elementary methods, especially by evaluating congruences modulo larger and larger primes. This method is justified by corollary 1.2.: $max\left(|x|,|y|,|z|\right)$ is bounded by a computable number dependent on the largest prime factor of x y z. [For additional elementary results I refer, e.g., to my reviews of A. Grytczuk and A. Grelak, Ann. Soc. Math. Pol., Ser. I, Commentat. Math. 24, 269-275 (1984; Zbl 0571.10017) where the equation ${a}^{n}+{b}^{m}={c}^{\ell }$ is considered (a, b, c fixed integers), or of Yen Chente, Bull. Inst. Math., Acad. Sin. 13, 49- 92 (1985; Zbl 0566.10012).]

For the special exponential diophantine equation ${3}^{n}+{13}^{m}={2}^{\ell }$ S. Uchiyama was forced to develop another method depending on recurrence relations in the number field $ℚ\left(\sqrt{-39}\right)$ [Math. J. Okayama Univ. 19, 31-38 (1976; Zbl 0349.10013)], a result which is not mentioned by the authors. Another equation which also falls into the authors’ scope is not tackled by them: the equation (**), which is not even mentioned. I again refer to S. Uchiyama [Tr. Mat. Inst. Steklova 163, 237-243 (1984; Zbl 0551.10016)] where he gives a short overview of the present stage of investigation (which also includes applications of Baker’s method) and some new insights.

Chapters 2 to 4 and 9 are concerned with recurrence sequences. I will only quote two characteristic examples:

(i) [the second author, Sémin. Delange-Pisot-Poitou, 16e année 1974/75, Théorie des Nombres, Fasc. 2, Exp. 24 (1975; Zbl 0319.10022)]: If a, b, k, m, x, $y\in ℤ$, a, b, $k\ne 0$, m, $y\ge 0$, $x>1$ and

$a{x}^{m}+b{y}^{m}=k$

then m is bounded by a computable number depending only on a, b, k (remember Pillai’s equation).

(ii) [M. Ram Murty, V. Kumar Murty and the first author, Odd values of Ramanujan $\tau$-function (to appear)]: Let $\tau$ (n) be Ramanujan’s function. It satisfies a binary recurrence

$\tau \left({p}^{m+1}\right)=\tau \left(p\right)\tau \left({p}^{m}\right)-{p}^{11}\tau \left({p}^{m-1}\right)\phantom{\rule{1.em}{0ex}}\left(m=1,2,···\right)·$

Theorem: For an odd integer a the equation $\tau \left(n\right)=a$ implies log $n\le {\left(2|a|\right)}^{{C}_{3}}$ where ${C}_{3}$ is a computable absolute constant.

The remaining chapters contain the well known results, mostly by the authors and K. Györy, on the Thue equation, the Thue-Mahler equation (we refer to the book for explanation of the difference), the superelliptic equation (as (*)), and on Fermat’s and Catalan’s equations. There is also a chapter on perfect powers at integral values of a polynomial, a central theme which is perhaps the core of the book. Everybody interested in this peculiar (or main ?) field of the theory of diophantine equations will be glad to have these results and proofs at hand and must not dig through the wealth of literature.

I will now give some more additions to the extended bibliography (18 pages with approximately 30 entries per page). This bibliography has the great advantage of giving the chapter where each entry is cited.

In the last chapter, mainly involved with the Catalan-Pillai equation, there are also some applications to the equation

$\frac{{x}^{n}-1}{x-1}={y}^{m}·$

Here, the first author’s paper has appeared [Indagationes Math. 48, 345-351 (1986; Zbl 0603.10018)]. There is a substantial contribution by D. Estes, R. Guralnick, M. Schacher and E. Straus [Pac. J. Math. 118, 359-367 (1985; Zbl 0581.20009)] to this equation in prime powers x, y with applications to finite simple groups. In the quotation of the reviewer’s paper [Acta Arith. 40, 273-288 (1982; Zbl 0405.10014)] one should change the "a" on the right side to "$\alpha$ " (also in the citation on p. 218 of the book - as well as in this Zbl 0474.10017).

There are now very interesting papers of E. Fouvry, and L. M. Adleman and D. R. Heath-Brown [Invent. Math. 79, 383-407, 409-416 (1985; Zbl 0557.10035, Zbl 0557.10034)] on the density of primes for which the first case of Fermat’s theorem is valid. Cf. also D. R. Heath-Brown [Math. Intell. 7, No.4, 40-47, 55 (1985; Zbl 0574.10022)]. Density results for all natural numbers as exponents in Fermat’s theorem have been given by B. Powell and P. Ribenboim [Ann. Univ. Turku, Ser. A I 187, 22 p. (1985; Zbl 0564.10014)].

By these methods which are actually combinatorial (sieve methods) P. Ribenboim obtains in Pillai’s equation [J. Number Theory 24, 245-248 (1986; Zbl 0601.10013)] for all a, b, $k\in ℤ\setminus \left\{0\right\}$ and $N\in ℕ$ with ${D}_{N}=#\left\{\left(n,m\right)\in {ℕ}^{2}|$ $1\le n,m\le N:\forall x,y\in ℤ$, a ${x}^{n}+b{y}^{m}\ne k\right\}$ that ${lim}_{N\to \infty }\left({D}_{N}/{N}^{2}\right)=1·$

One should note that the results of Heath-Brown et al. are ultimate contributions to sieve methods whereas Ribenboim’s method is essentially that of Eratosthenes [cf. also P. Ribenboim’s survey on recent results about Fermat’s last theorem, Expo. Math. 5, 75-90 (1987; Zbl 0604.10005)].

A minor misprint is "$2{Y}^{3}$” instead of "$3{Y}^{3}$” in N. Tzanakis [J. Number Theory 19, 203-208 (1984; Zbl 0543.10016)].

All this is not serious because a good mathematics database such as ZBL MATH online (STN International) will overcome these troubles. The only substantial mistake in the reviewer’s opinion seems to be the citation of C. Størmer [C. R. Acad. Sci., Paris 127, 752-754 (1898)] in chapter 1 but not in chapter 12 because he was the first one who showed that for fixed (x,y)$\ne \left(2,3\right)$ in Catalan’s equation there is at most one solution m, n (effectively determined by x, y) [cf. the review of W. Ljunggren in Zbl 0047.04103 to the paper of W. J. LeVeque, Am. J. Math. 74, 325-331 (1952)]. I believe one should read this author anew.

Reviewer: B.Richter

MSC:
 11D61 Exponential diophantine equations 11D41 Higher degree diophantine equations 11-02 Research monographs (number theory) 11D88 $p$-adic and power series fields 11R58 Arithmetic theory of algebraic function fields