Equations \(a^ x=R(x,y)\)
type: Item
instance of: scholarly article
title: Equations \(a^ x=R(x,y)\)
zbMATH Open document ID: 0814.11019
published in: Journal of Number Theory
publication date: 1995-06-18T00:00:00Z
review text: Let \(\alpha\) be a nonzero complex number and assume that it is not a root of unity. Let \(R(X,Y)\) be a rational function complex coefficients and with expansion \(R(X,Y) = r_ 0 Y^ l + r_ 1(X) Y^{l-1} + \dots\). Consider the equation \[ \alpha^ x = R(x,y) \text{ in }x,y\in \mathbb{Z}.\tag{1} \] The author shows, that (1) has only finitely many solutions, except if \(R(X,Y)\) is of a special form. More exactly (Theorem 1), if (1) has solutions with arbitrarily large \(| x|\), then \(R(X,Y) = r_ 0(Y - h(X))^ l\) with \(l \neq 0\), \(h(X) \in \mathbb{Q}[X]\) and \(\alpha^ u \in \mathbb{Z}\) for some \(0 \neq u \in \mathbb{Z}\). Moreover (Theorem 2), if \(\alpha^ x = r_ 0(y - h(x))^ l\) has infinitely many solutions, then apart from finitely many exceptions they belong to finitely many one-parameter families. The proof of the above deep theorems uses results of \textit{M. Laurent} [Astérisque 147/148, 121-139 (1987; Zbl 0621.10014)] and \textit{H. P. Schlickewei} [Arch. Math. 29, 267-270 (1977; Zbl 0365.10026)].
reviewed by: István Gaál
Mathematics Subject Classification ID: 11D61
zbMATH DE Number: 599849
zbMATH Keywords: exponential diophantine equations
zbMATH Keywords: exponential-polynomial equation
zbMATH Keywords: rational function with complex coefficients
MaRDI profile type: Publication
full work available at URL: jnth.1994.1041
OpenAlex ID: W2092361350
DOI: 10.1006/JNTH.1994.1041
author: Wolfgang M. Schmidt
description: scientific article; zbMATH DE number 599849