Algebraic independence of reciprocal sums of binary recurrences. II (Q1614967)

Die vorliegende Arbeit setzt eine frühere derselben Autorin [Monatsh. Math. 123, 135-148 (1997; Zbl 0870.11042)] fort; wir behalten hier die Bezeichnungen des entsprechenden Referats bei. Sei \((R(n))_{n\geq 0}\) eine lineare Rekurrenz in \({\mathbb Z}\) der Form \(R(n+2)= AR(n+1) + BR(n)\) für \(n\in {\mathbb N}_0\) mit \(A,B \in {\mathbb Z}\). Dann lautet das Hauptresultat folgendermaßen. Es gelte \(AB\not= 0\), \(A^2+4B>0\) und \((R(n))\) möge sich nicht auf eine geometrische Folge reduzieren. Es sei \(k\in {\mathbb N}\) und \((b_{h})_{h\geq 0}\) eine nicht identisch verschwindende periodische Folge algebraischer Zahlen. Dann sind die Zahlen \[ (\ast): \sum_{h\geq 0}' b_h / R(kd^h +l)\;(l\in {\mathbb Z},\;d\in {\mathbb N}\setminus \{ 1\}) \] algebraisch unabhängig außer im folgenden Fall: Ist \(|B|=1\), \((b_h)\) konstant und \(R(l_0) =0\) für ein \(l_0 \in {\mathbb N}_0\); dann ist \(\Theta := \sum'_{h\geq 0} b_h / R(k2^h +l_0)\) algebraisch und die Zahlen \((\ast)\) mit Ausnahme von \(\Theta \) sind algebraisch unabhängig. Im Fall \(|B|=1\) wurde das Resultat schon früher von Verf., \textit{T. Tanaka} und \textit{T. Toshimitsu} [Math. Nachr. 202, 97-108 (1999; Zbl 0939.11028)] mittels eines Satzes der Autorin [Compos. Math. 92, 87-110 (1994; Zbl 0802.11029)] bewiesen. Dieser genügt allerdings nicht zur Behandlung des allgemeinen Falls. Stattdessen hat man Mahlersche Funktionen zweier Variablen zu benutzen. In der Tat beweist Verf. hier ein Ergebnis über algebraische Unabhängigkeit, welches auf Mahlers Methode und einem Nullstellensatz für Potenzreihen in mehreren Variablen beruht. Als schöne Anwendung ihres obigen Hauptresultats erwähnt Verf. die folgende über Fredholmsche Reihen. Sind \(\alpha_1, \ldots ,\alpha_m\) von Null verschiedene, paarweise multiplikativ unabhängige algebraische Zahlen im Inneren des Einheitskreises, so sind die Reihen \(\sum_{k\geq 0} \alpha_i^{d^k}\) \((i=1,\ldots ,m; d\in {\mathbb N} \setminus \{1\})\) voneinander algebraisch unabhängig.