Refinement of estimates for some nonhomogeneous linear forms (Q2387868)

Let \(\mathbb I\) be an imaginary quadratic field or the field of rational numbers and \(\mathbb{Z}_{\mathbb I}\) be the ring of integers of \(\mathbb I\). Let \(\psi_k(x)\) \((k= 1,\dots, t)\) and \(\psi(x)\) be polynomials with leading coefficient 1 in the ring \(I[x]\). Suppose that \(g_k(x)= \psi_k(x)\psi(x)\neq 0\) for \(x= 1,2,3,\dots\), and that \(\deg\psi_1(x)=\cdots=\deg\psi_t(x)= u_1\). Denote \(\deg\psi(x)= u\), and \(m= u+ u_1\). Let \(\omega_1,\dots, \omega_t\in\mathbb I\) be nonzero. Define \[ \Phi_k(x)= \sum^\infty_{\nu= 0} z^\nu \omega^\nu_k \prod^\nu_{x=1} {1\over g_k(x)}. \] The author proves that if the roots of \(\psi_k(x)\) are rational, and \(u_1> 0\), and if \(1\), \(\Phi^{(j-1)}_k(z)\) \((k= 1,\dots, t\); \(j= 1,\dots, m)\) are linearly independent over \(\mathbb{C}(z)\), then for any \(\varepsilon> 0\) and any nontrivial tuple \((h_0, h_{11},\dots, h_{1m},\dots, h_{t1},\dots, h_{tm})\in \mathbb{Z}^{mt+ 1}_{\mathbb I}\), the inequality \[ \Biggl| h_0+ \sum^t_{k=1} \sum^m_{j=1} h_{kj} \Phi^{(j-1)}_k(1)\Biggr|> H^{-mt- u/u_1-\varepsilon} \] holds for all sufficiently large \(H= \max|h_{kj}|\). It is a refinement of an earlier result by \textit{A. I. Galochkin} [Vestn. Mosk. Univ., Ser. I 1986, No. 2, 30--34 (1986; Zbl 0598.10040)]. The method used here is standard, but the degree of the polynomial \(P_0(z)\) appearing in the construction of approximate functional forms is optimally chosen.