On Tschakaloff, \(q\)-exponential and related functions (Q1937987): Difference between revisions

Vor wenigen Jahren wandte \textit{J.-P. Bézivin} [Acta Arith. 139, No. 4, 377--393 (2009; Zbl 1198.11064)] seine 1988/90 entwickelte Methode auf die Untersuchung der linearen Unabhängig\-keit von \(1,T_q(\alpha),E_q(\alpha)\) und Werten verwandter \(q\)-Funktionen an. Dabei sind \(T_q(z):=\sum_{n\geq 0}z^n/q^{n(n+1)/2}\) bzw. \(E_q(z):=\sum_{n\geq0}z^n/\prod_{\nu=1}^n(q^\nu-1)\) die Tschakaloff- bzw. die \(q\)-Exponentialfunktion und \(q,\alpha\) haben geeigneten Bedingungen zu genügen. Über die Werte von \(T_q(z)\) oder \(E_q(z)\) alleine, gegebenenfalls an verschiedenen Argumentstellen oder mit höheren Ableitungen, liegt inzwischen eine umfangreiche Literatur vor. Dagegen scheint Bézivins Arbeit [loc. cit.] das erste Resultat zu enthalten, welches \textit{gleichzeitig} die lineare Unabhängigkeit beider Funktionen in den Blick nimmt. In der vorliegenden Note liefert Verf. einen neuen Beweis für eine Verallgemeinerung gewisser Ergebnisse von Bézivin [loc. cit.], die auch eine quantitative Fassung beinhalten. Dabei stützt sich Verf. auf Bézivinsche Identitäten sowie eine Kombination von Resultaten von \textit{M. Amou, T. Matala-aho} und Verf. [Acta Arith. 127, No. 4, 309--335 (2007; Zbl 1113.11042)] bzw. \textit{I. Rochev} [``New linear independence measures for values of \(q\)-hypergeometric series'', \url{arXiv:1006.5413}]. Als typisches Ergebnis sei genannt: Zu \(q\in\mathbb{Z}\setminus\{0,\pm1\}\) und \(-\alpha\in\mathbb{Q}^*\setminus q^{\mathbb{N}}\) gibt es ein \(c\in\mathbb{R}_+\), so dass für jedes \((a_0,a_1,a_2)\in\mathbb{Z}\setminus\{\underline{0}\}\) die Ungleichung \[ |a_0+a_1T_q(\alpha)+a_2E_q(\alpha)|>H^{-(2+\sqrt{6})-c/{\sqrt{\log H}}} \] mit \(H:=\max(2,|a_0|,|a_1|,|a_2|)\) gilt. Die o. g. Verallgemeinerung bezieht sich insbesondere darauf, dass Verf. die Parameter \(q\) und \(\alpha\) in einem beliebigen algebraischen Zahlkörper zuläßt.