Abstract:Shidlovskii has given a linear independence measure of values of $E$-functions with rational Taylor coefficients at a rational point, not a singularity of the underlying differential system satisfied by these $E$-functions. Recently, Beukers has proved a qualitative linear independence theorem for the values at an algebraic point of $E$-functions with arbitrary algebraic Taylor coefficients. In this paper, we obtain an analogue of Shidlovskii's measure for values of arbitrary $E$-functions at algebraic points. This enables us to solve a long standing problem by proving that the value of an $E$-function at an algebraic point is never a Liouville number. We also prove that values at rational points of $E$-functions with rational Taylor coefficients are linearly independent over $\overline{\mathbb{Q}}$ if and only if they are linearly independent over $\mathbb{Q}$. Our methods rest upon improvements of results obtained by André and Beukers in the theory of $E$-operators.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to prove that the values of E - functions at algebraic points are never Liouville numbers. Specifically, the author obtains new Diophantine approximation results by improving the existing theoretical results of E - functions, especially the work of Shidlovskii and Beukers. The following are the main contributions of the paper:
1. **Quantitative measure of linear independence**: The author provides a quantitative measure of linear independence similar to Shidlovskii for the values of any E - function at algebraic points, eliminating the rationality assumption of coefficients and the requirement of non - singularity.
2. **Solution to the Liouville number problem**: As an application of the main result, the author proves that the values of E - functions at algebraic points can never be Liouville numbers. This solves a long - standing open problem.
3. **Study of the structure of E - function values**: The author also explores the structure of the ring \(\mathcal{E}\) composed of the values of all E - functions at algebraic points and proves that these values are linearly independent under certain conditions.
### Formula summary
To ensure the correctness and readability of the formulas, the following are the key formulas involved in the paper and their explanations:
#### Theorem A (Shidlovskii)
For an E - function vector \(f=(f_1,\ldots,f_N)^t\) satisfying a differential system, if \(f_1,\ldots,f_N\) are linearly independent over \(\mathbb{Q}(z)\) and \(z_0\in\mathbb{Q}^*\) is not a pole of \(A\), then there exists a constant \(c = c(\epsilon,z_0,f_1,\ldots,f_N)>0\) such that for any \(\lambda_1,\ldots,\lambda_N\in\mathbb{Z}\) not all zero, we have:
\[ \left|\sum_{j = 1}^N\lambda_jf_j(z_0)\right|>cH^{-N + 1-\epsilon}\]
where \(H=\max_{1\leq j\leq N}|\lambda_j|\).
#### Theorem 1
For an E - function vector \(f=(f_1,\ldots,f_N)^t\) in a number field \(K\), if \(f_1,\ldots,f_N\) satisfy the differential system \(f'=Af\), then there exists a constant \(c = c(\epsilon,K,z_0,f_1,\ldots,f_N)>0\) such that for any \(\lambda_1,\ldots,\lambda_N\in\mathcal{O}_K\) not all zero, we have:
\[|\Lambda|>cH^{-dNd + d-1-\epsilon}\]
where \(\Lambda=\sum_{j = 1}^N\lambda_jf_j(z_0)\), \(H=\max_{1\leq j\leq N}|\lambda_j|\), and \(d\) is the degree of \(K\).
#### Corollary 1
For any E - function \(f\) and algebraic number \(z_0\), \(f(z_0)\) is not a Liouville number. That is, there do not exist two sequences \(p_n,q_n\) such that \(q_n\geq2\) and \(0<|q_nf(z_0)-p_n|<\frac{1}{q_n^n}\) for sufficiently large \(n\).
### Conclusion
Through these results, the author not only solves the problem of whether the values of E - functions at algebraic points can be Liouville numbers, but also provides new tools and methods for further studying the properties and structures of E - functions.