Linear approximation forms and irrationality of values of -functions. (Formes linéaires d'approximation et irrationalité de valeurs de -fonctions.)
The main result of this paper is a criterion for linear independence of continued fractions over the rational numbers. The proof is based on their special properties.
For , , , let be the -th polylogarithm of . We prove that for any non-zero algebraic number such that , the -vector space spanned by has infinite dimension. This result extends a previous one by Rivoal for rational . The main tool is a method introduced by Fischler and Rivoal, which shows the coefficients of the polylogarithms in the relevant series to be the unique solution of a suitable Padé approximation problem.
Let be a nonconstant polynomial with integer coefficients and without zeros at the non–negative integers. Essentially with the method of Hermite, a new proof is given on linear independence of values at rational points of the function