Algebraic Independence of Sums of Reciprocals of the Fibonacci Numbers

From MaRDI portal





Hauptergebnis ist folgender Satz: Die Folge \((R_n)\) möge der Rekurrenz \(R_{n+2} AR_{n+1} + BR_n\) für jedes \(n\in{\mathbb N} : \{0,1,\ldots\}\) genügen, wobei \(A\in{\mathbb Z} \setminus\{0\}\), \(B\in\{1,-1\}\), \(A^2+4B > 0\) und \((R_0,R_1)\in{\mathbb Z}^2\setminus\{(0,0)\}\) gelten möge. Sei \((b_h)\in\overline{\mathbb Q}^{{\mathbb N}}\) periodisch, aber nicht identisch Null. Für festes \(k\in{\mathbb N}\setminus\{0\}\) sind dann die Zahlen \((\ast): \sum'b_h(R_{kd^h+\ell})^{-m}\) \((d,\ell,m\in{\mathbb Z}\), \(d\geq 2\), \(m\geq 1)\) algebraisch unabhängig (kurz: a.u.) außer in folgendem Fall. Ist \(R_{\ell_0} = 0\) für ein \(\ell_0\) und \((b_h)\) konstant, dann ist \(\theta := \sum'b_h(R_{k2^h+\ell_0})^{-1}\) algebraisch, und die Zahlen \((\ast)\), außer \(\theta\), sind a.u.. Hier bedeutet \(\sum'\) Summation über diejenigen \(h\in{\mathbb N}\) mit \(kd^h+\ell \geq 0\) und \(R_{kd^h+\ell}\neq 0\). \textit{P.-G. Becker} und \textit{T. Töpfer} [Math. Nachr. 168, 5--17 (1994; Zbl 0835.11026)] zeigten die Transzendenz der Zahlen \((\ast)\), mit der eventuellen Ausnahme \(\theta\), im Spezialfall \(m = 1\). Wichtigstes Beweishilfsmittel ist ein Resultat der erstgenannten Autorin [\textit{K. Nishioka}, Compos. Math. 92, 87--110 (1994; Zbl 0802.11029)], welches besagt, daß für alle \(\alpha\in\overline{\mathbb Q}\) mit \(0 < |\alpha|< 1\) die Zahlen \(f_{ij}(\alpha)\) \((1\leq i\leq t\), \(1\leq j\leq M_i)\) a.u. sind, wenn alle Potenzreihen \(f_{ij}\in Kz\) an \(\alpha\) konvergieren, einem System von Funktionalgleichungen des Typs \(f_{ij}(z^{d_i}) = f_{ij}(z)+b_{ij}(z)\) mit \(b_{ij}\in K(z)\) genügen und \(f_{i1},\ldots,f_{i,M_i}\) über \(K(z)\) a.u. sind für jedes \(i\in\{1,\ldots,t\}\). Hier ist \(K\) ein fester algebraischer Zahlkörper und \(d_1,\ldots,d_t\in{\mathbb N}\setminus\{0,1\}\) genügen \((\log d_i)/(\log d_j)\not\in{\mathbb Q}\) für \(i\not=j\). Fünf weitere Hilfssätze werden benötigt, um die a.U. der beteiligten Funktionen zu sichern.











This page was built for publication: Algebraic Independence of Sums of Reciprocals of the Fibonacci Numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4256162)