Hypergeometric transformations of linear forms in one logarithm (Q1038637)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hypergeometric transformations of linear forms in one logarithm |
scientific article |
Statements
Hypergeometric transformations of linear forms in one logarithm (English)
0 references
18 November 2009
0 references
The authors discuss constructions of rational approximations to values of the logarithmic function based on the hypergeometric series \[ H(a,b,c; \lambda) = \frac{1}{\lambda^{2c+2}} \frac{\Gamma(a+1/2) b!}{\Gamma(a+b+3/2)} {_2}F_{1}(c+1,a+1/2;a+b+3/2; 1/\lambda^2), \] where \(a\), \(b\geq0\), \(c\geq0\) are integers and \(\lambda\) is an algebraic number with \(|\lambda|>1\) and \(\lambda \in K\) (examples include the fields \(K=\mathbb Q\) and \(K=\mathbb{Q}(\sqrt{D})\), where \(D>1\) is a square-free even integer), and variants obtained by hypergeometric transformations (including the special case \(c = a\)). The series approach allows \(a < 0\) whereas the method using the integral form (utilized in [\textit{E. S. Sal'nikova}, Math. Notes 83, No. 3, 389--398 (2008; Zbl 1201.11073)], also \textit{V. Kh. Salikhov} [Dokl. Math. 76, No. 3, 955--957 (2007; Zbl 1169.11032)]) works for non-negative integers \(a\), \(b\), \(c\). Although, the structure of the obtained rational approximations does not allow the authors (as remarked in the paper) to obtain improvements on the known irrationality results or irrationality measures, it leads to several remarks and two questions: one concerns a unified approach to the studied approximations and the other concerns the curious phenomenon that for specific choices of parameters in \(H(a,b,c; \lambda)\) the corresponding linear approximations may have rational coefficients even if \(\lambda\) is a quadratic irrationality.
0 references
Rational approximation
0 references
irrationality measure
0 references
hypergeometric series
0 references
hypergeometric integrals
0 references