Transcendence with Rosen continued fractions (Q1932204)

\textit{D. Rosen} [Duke Math. J. 21, 549--563 (1954; Zbl 0056.30703)] hat eine unendliche Familie von Kettenbruchalgorithmen definiert, die bei festem \(m\in\mathbb{Z}\) mit \(m>3\) reelle Zahlen nach der (ganzen algebraischen) Zahl \(\lambda_m:=2\cos(\pi/m)\) entwickeln. Dabei ist der Algorithmus weitgehend demjenigen der regulären Kettenbrüche nachgebildet, nur dass jetzt die Näherungszähler und -nenner \(p_n\) bzw. \(q_n>0\) aus \(\mathbb{Z}[\lambda]\) sind (wobei der Index \(m\) im Weiteren unterdrückt sei). Damit lautet ein Hauptergebnis der Verff.: Wenn \(\xi\in\mathbb{R}\setminus\mathbb{Q}(\lambda)\) einen unendlichen Rosen-Kettenbruch über \(\mathbb{Q}(\lambda)\) hat, dessen Folge der Näherungsnenner der Bedingung \[ \limsup_n(\log\log q_n)/n>\log(2D-1),\quad D:=[\mathbb{Q}(\lambda):\mathbb{Q}], \] genügt, dann ist \(\xi\) transzendent. Ein Analogon hierzu in der klassischen Situation der regulären Kettenbrüche ist Theorem 4.1 von \textit{B. Adamczewski} and \textit{Y. Bugeaud} [J. Reine Angew. Math. 606, 105--121 (2007; Zbl 1145.11054)], die in [Acta Math. 195, No. 1, 1--20 (2005; Zbl 1195.11093)] auch gezeigt hatten, dass eine reelle Zahl mit geeignet ``stotternder'' regulärer Kettenbruchentwicklung transzendent ist. Ein zweites Hauptresultat der vorliegenden Arbeit überträgt dies Transzendenzkriterium auf Rosen-Kettenbrüche.