Refinement of estimates for some nonhomogeneous linear forms (Q2387868): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Yaochen Zhu / rank | |||
Property / reviewed by | |||
Property / reviewed by: Yaochen Zhu / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11006-005-0046-7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1972310226 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3731696 / rank | |||
Normal rank |
Latest revision as of 16:07, 10 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Refinement of estimates for some nonhomogeneous linear forms |
scientific article |
Statements
Refinement of estimates for some nonhomogeneous linear forms (English)
0 references
5 September 2005
0 references
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.
0 references
nonhomogeneous linear form
0 references
hypergeometric function
0 references
approximate functional form
0 references
quadratic field
0 references