Convergence of Padé approximations for a q-hypergeometric series (Wynn's Power Series I).
Let be the Thue-Morse sequence, i.e., the sequence defined by the recurrence equations:We consider , the double sequence of Hankel determinants (modulo 2) associated with the Thue-Morse sequence. Together with three other sequences, it obeys a set of sixteen recurrence equations. It is shown to be automatic. Applications are given, namely to combinatorial properties of the Thue-Morse sequence and to the existence of certain Padé approximants of the power series .
Les valeurs aux entiers pairs (strictement positifs) de la fonction de Riemann sont transcendantes, car ce sont des multiples rationnels de puissances de . En revanche, on sait très peu de choses sur la nature arithmétique des , pour entier. Apéry a démontré en 1978 que est irrationnel. Rivoal a prouvé en 2000 qu’une infinité de sont irrationnels, mais sans pouvoir en exhiber aucun autre que . Il existe plusieurs points de vue sur la preuve d’Apéry ; celui des séries hypergéométriques...