A measure for the linear independence of values of a certain generalization of the exponential function (Q873787)

\(Q\in\mathbb{Z}[x]\) sei nicht konstant und genüge \(0\notin Q(\mathbb{N})\); die transzendente ganze Funktion \(G\) werde durch \(G(x):=\sum_{n=0}^\infty x^n/\prod_{k=1}^n Q(k)\) definiert und \(\alpha_1,...,\alpha_h\in \mathbb{Q}^\times\) seien paarweise verschieden. Dann liefert Verf. einen neuen Beweis für die quantitative Fassung der \(\mathbb{Q}\)-linearen Unabhängigkeit der Zahlen \((\ast)\): 1 und \(G^{(\nu)}(\alpha_j)\) \( (1\leq j\leq h,\, 0\leq\nu<\deg Q)\) von \textit{A. I. Galochkin} [Mosc. Univ. Math. Bull. 34, 26--31 (1979); translation from Vestn. Mosk. Univ., Ser. I Mat. Mekh. 1979, No. 1, 26--30 (1979; Zbl 0413.10028)]. Während Galochkin jedoch gewisse komplexe Integrale zur Konstruktion geeigneter expliziter Linearformen in den genannten Zahlen benutzte, verwendet Verf. die hauptsächlich auf delikaten Teilbarkeitsbetrachtungen beruhende Methode von Hilbert-Perron-Skolem. Mit dieser hatte er bereits in [J. Théor. Nombres Bordx 17, No. 1, 381--396 (2005; Zbl 1096.11024)] die \(\mathbb{Q}\)-lineare Unabhängigkeit der Zahlen \((\ast)\) bewiesen. Es sei angemerkt, dass dies letztere rein qualitative Resultat auf \textit{F. Carlson} [Ark. Mat. Astron. Fys. A 25, No. 7, 1--13 (1935; Zbl 0011.39202 and JFM 61.0188.02)] zurückgeht, der dazu Padé-Approximationen verwendete.