Exponential diophantine equations and the irrationality of certain real numbers
type: Item
instance of: scholarly article
title: Exponential diophantine equations and the irrationality of certain real numbers
zbMATH Open document ID: 0733.11010
DOI: 10.1016/0022-314X(91)90038-D
published in: Journal of Number Theory
publication date: 1991-01-01T00:00:00Z
review text: Mahler proved the irrationality of the decimal fraction \(0.(1)(g)(g^ 2)..\). where \(g\geq 2\) is a fixed integer and \((g^ n)\) denotes the number \(g^ n\) in decimal form. Later, Shan and Wang proved that if g,h\(\geq 2\) are fixed integers and \((n_ k)_{k\in {\mathbb{N}}}\) a strictly increasing sequence of non-negative integers, then the positive real number (written in base h) \(0.(g^{n_ 1})_ h(g^{n_ 2})_ h...\) is irrational if we denote by \((a)_ h\) the number a written in base h. The author proves some further generalisations of which we give a typical example. Let \(a_ 1,...,a_ n\), \(u_ 1,...,u_ n\) be non-zero algebraic numbers such that \(u_ i/u_ j\) is not a root of unity for \(1\leq i<j\leq n\) and \((n_ k)_{k\in {\mathbb{N}}}\) a strictly increasing sequence of non- negative integers such that the numbers \(f_ k=\sum^{n}_{i=1}a_ iu_ i^{n_ k}\) are positive integers (e.g., the Fibonacci sequence). Let \(\theta =0\cdot (f_ 1)_ h(f_ 2)_ h(f_ 3)_ h..\) and denote by T(x) the number of digits of \((f_ 1)_ h(f_ 2)_ h...(f_ x)_ h.\) Then \[ | \theta -p/q| \quad >\quad h^{-T(C_ 1q^ 2)}\text{ for all } (p,q)\in {\mathbb{Z}}\times {\mathbb{N}}, \] where \(C_ 1\) is an effectively computable number depending only on the \(u_ i\) and h. The author also proves some results on exponential diophantine equations, the following of which is used in the proof of the above irrationality result: let \(a_ 1,...,a_ n\), \(u_ 1,...,u_ n\) (n\(\geq 2)\) be non- zero algebraic numbers such that \(u_ 1,...,u_ n\) and the numbers \(u_ i/u_ j\) \((1\leq i<j\leq n-1)\) are no roots of unity; then there exists an effectively computable number C, depending only on \(n,u_ 1,...,u_ n\), such that the equation \[ \sum^{n-1}_{i=1}a_ iu_ i^{x_ 1}+a_ nu_ n^{x_ 2}=1 \] has at most C solutions in \(x_ 1,x_ 2\in {\mathbb{Z}}\). The author derives this result from \textit{H. Schlickewei}'s explicit upper bound for the number of solutions of S-unit equations in several variables [Invent. Mat…
Mathematics Subject Classification ID: 11D61
Mathematics Subject Classification ID: 11J72
Mathematics Subject Classification ID: 11A63
zbMATH DE Number: 4212138
zbMATH Keywords: irrationality
zbMATH Keywords: decimal fraction
zbMATH Keywords: number of digits
zbMATH Keywords: exponential diophantine equations
author: P.-G. Becker-Landeck
reviewed by: Jan-Hendrik Evertse
MaRDI profile type: Publication
cites work: Generalization of a recent irrationality result of Mahler
cites work: Q3263792
cites work: On some irrational decimal fractions
cites work: On an irrationality theorem of Mahler and Bundschuh
cites work: Q4774098
cites work: S-unit equations over number fields
cites work: A note on irrationality of some numbers
cites work: Generalization of a theorem of Mahler
cites work: Sums of products of powers of given prime numbers
description: scientific article; zbMATH DE number 4212138