On irrationality measures of \(\sum^{\infty}_{l=0}d^{l} / \prod^l_{j=1}(1+d^jr+d^{2j}s)\) (Q2472409)

Verf. zeigt, dass bei \(d\in\mathbb{Z}\setminus\{0,\pm1\}, r,s\in\mathbb{Q}, s\neq0\) und \(1+d^jr+d^{2j}s\neq0\) für jedes \(j\in\mathbb{N}\) die Reihe \(\tau=\tau(d;r,s)\) im Titel einen Irrationalitätsexponenten \(\mu(\tau)\leq7/3\) (bzw. \(\leq7/2\)) hat, falls \(d^{2h}+d^hr+s=0\) für ein \(h\in\mathbb{N}_0\) (bzw. falls \(r^2\leq4s\)) gilt. Allgemeiner werden Irrationalitätsmaße für \(\tau\) sowohl im archimedischen als auch im \(p\)-adischen Fall angegeben, ebenso bei gewissen algebraischen \(d,r,s\). Eine weitere Konsequenz des Hauptresultats ist \(\mu(B_d(d))\leq7/3\) für jedes \(d\in\mathbb{Z}\setminus\{0,\pm1\}\), wobei \(B_q(z)\) das \(q\)-Analogon \(\sum_{n\geq0} z^n/(q)_n^2\) der Besselfunktion bedeutet, \((a)_n:=\prod_{0\leq\nu<n}(1-aq^\nu)\) für \(n\in\mathbb{N}_0\) das \(q\)-Pochhammer-Symbol. Dies verschärft die Abschätzung \(\mu(B_d(d))\leq28,58...\) von \textit{M. Amou, M. Katsurada} und \textit{K. Väänänen} [Acta Arith. 99, 389--407 (2001; Zbl 0984.11037)] erheblich. Die (effektive) Beweisführung des Verf. verläuft so, dass er die Reihe \(\tau\) zunächst als Wert der verallgemeinerten \(q\)-Exponentialfunktion \(F(z):=\sum_{n\geq0}z^n/(bq)_n\) mit geeignet zu wählenden Parametern \(b,q\) ausdrückt, deren Padé-Approximationen explizit bekannt sind. Dann wird der rationale (oder allgemeiner algebraische) Punkt \(z\), für den man arithmetische Auskunft über \(F(z)\) erhalten möchte, mit Hilfe der Funktionalgleichung von \(F\) in eine geeignete Umgebung des Ursprungs transformiert, wonach Standardschlüsse der diophantischen Approximationen zu guten Abschätzungen des Irrationalitätsexponenten führen.