On estimates of measures of linear independence for certain numbers (Q1893644)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On estimates of measures of linear independence for certain numbers
scientific article

    Statements

    On estimates of measures of linear independence for certain numbers (English)
    0 references
    0 references
    0 references
    10 July 1995
    0 references
    The author obtains estimates of lower bounds for absolute values of nonhomogeneous linear forms on values of hypergeometric functions with different parameters using an effective construction of Padé approximations of the second kind. The results bear some analogy with the author's earlier paper [Math. Notes 52, 1188-1192 (1992); translation from Mat. Zametki 52, 25-31 (1992; Zbl 0805.11052)]. One of these is as follows: Let \(\varphi(z)= \sum_{\nu=0}^\infty z^\nu \prod_{x=1}^\nu a(x)/ b(x)\) and \(\psi_k (z)= \sum_{\nu=0}^\infty z^\nu \prod_{x=1}^\nu a(x) (x+\lambda_k) /b(x) (x+\lambda)\), where \(a(x)= (x+ \alpha_1) \dots (x+ \alpha_r)\), \(b(x)= (x+ \beta_1) \dots (x+ \beta_m)\), \(r<m\); \(\alpha_i, \beta_j, \lambda, \lambda_k\in \mathbb{Q}\) \((i=1, \dots, r\); \(j=1, \dots, m\); \(k=1, \dots, t)\); and \((x+ \lambda) (x+\lambda_k) a(x) b(x)\neq 0\) for \(x=1,2, 3,\dots\) and \(k=1, \dots, t\). If all numbers \(\alpha_i- \beta_j\), \(\alpha_i- \lambda\), \(\lambda_k- \beta_j\), \(\lambda_k- \lambda\) and \(\lambda_{k_1}- \lambda_{k_2}\) \((k_1\neq k_2)\) are not integral, then for any nontrivial set \(h_0, h_1, \dots, h_m, h_{k\ell}\) \((k=1, \dots, t\); \(\ell=1, \dots, m+1)\) of integers of the field \(I\) (an imaginary quadratic field or the field \(\mathbb{Q}\)) and any \(\xi\in I\), \(\xi\neq 0\), we have \[ \Biggl|h_0+ \sum_{j=1}^m h_j \varphi ^{(j-1)} (\xi)+ \sum_{k=1}^t \sum_{\ell=1}^{m+1} h_{k\ell} \psi_k^{(\ell- 1)} (\xi) \Biggr|> H^{-u- \gamma/\ln \ln (H+2)}, \] where \(u= m+ t(m+ 1)\) and \(\gamma>0\) is a constant depending on \(\alpha_i\), \(\beta_j\), \(\lambda_k\), \(\lambda\), \(\xi\), and the field \(I\); and \(H=\max (|h_j|, |h_{k\ell} |)\).
    0 references
    0 references
    0 references
    0 references
    0 references
    linear independence
    0 references
    nonhomogeneous linear forms
    0 references
    values of hypergeometric functions
    0 references
    Padé approximations
    0 references
    0 references