97501bdc5b7dd192.tex
1: \begin{abstract}
2: Let $f$ be a $G$-function (in the sense of Siegel), and $\alpha$ be an 
3: algebraic number; assume that the value $f(\alpha)$ is a real number. 
4: As a special case of a more general result, 
5: we show that this number 
6: can be written as $g(1)$, where $g$ is a $G$-function with rational 
7: coefficients  and arbitrarily large radius of convergence. 
8: As an application, we prove that quotients of such values are exactly the 
9: numbers which can be written as limits of sequences $a_n/b_n$, 
10: where $\sum_{n=0}^{\infty} a_n z^n$ and $\sum_{n=0}^{\infty} b_n z^n$ are $G$-functions 
11: with rational coefficients. This result provides 
12: a general setting for irrationality proofs in the style of Ap\'ery for $\zeta(3)$, and gives 
13: answers to questions asked by T. Rivoal in 
14: [{\em Approximations rationnelles des valeurs de la 
15: fonction Gamma aux rationnels : le cas des puissances}, 
16: Acta Arith. {\bf 142} (2010), no. 4, 347--365].
17: \end{abstract}