On an irrationality theorem of Mahler and Bundschuh (Q1081630)

Ist D(k) bei ganzem \(h\geq 2\) die h-adische Ziffernentwicklung der natürlichen Zahl k, so liefert der Verf. einfache Beweise für folgende Sätze. (i) Ist \(g\geq 2\) ganz, \(\log_ h g\) rational und \(a: {\mathbb{N}}_ 0\to {\mathbb{N}}_ 0\) unbeschränkt, so ist die durch ihre h- adische Entwicklung \(0, D(g^{a(0)})... D(g^{a(n)})...\) definierte Zahl irrational. (ii) Ist \(f: {\mathbb{N}}_ 0\to {\mathbb{N}}\) und 0 Häufungspunkt der Folge \((\{\log_ h f(n)\})_{n=0,1,...}\), so ist die Zahl \(0, D(f(0))... D(f(n))...\) irrational, wobei \(\{x\}:=x-[x]\) für reelles x gilt. Eine Konsequenz der beiden Ergebnisse ist die Irrationalität von \(0, D(g^ 0)... D(g^ n)...\) bei ganzen g,h\(\geq 2\), die vom Ref. [ibid. 19, 248-253 (1984; Zbl 0548.10023)] bzw. im Fall \(h=10\) von \textit{K. Mahler} [ibid. 13, 268-269 (1981; Zbl 0453.10009)] aufwendiger bewiesen wurde. [Vgl. auch nachstehendes Referat.]