On simultaneous approximations

P. L. Ivankov

Čebyševskij sbornik, Tome 16 (2015) no. 3, pp. 295-305.

Résumé

In this paper we consider hypergeometric functions and their derivatives (see (2) and (3)). One begins the investigation of arithmetic nature of the values of such functions with the construction of functional linear approximating form having sufficiently high order of zero at the origin. If the parameters of functions under consideration (in our case these are numbers (1)) are rational the construction of such a form can be fulfilled by means of the Dirichlet principle. Further reasoning is based on the employment of the constructed form and the whole scheme is called Siegel's method, see [1] and [2]. If some of the numbers (1) are irrational the functions (2) and (3) cannot be reduced to the so called $E$-functions and it is impossible to use Siegel's method (in its classic form) for such functions: the scheme doesn't work at the very beginning of reasoning for we cannot use the Dirichlet principle for the construction of the first approximating linear functional form (in the process of reasoning by Siegel's method we get several such forms). It was noticed that in some cases the first approximating form can be constructed effectively (see for example [3] and [4]). Having at one's disposal such a form one can reason as in Siegel's method (or it is possible in some cases to use special properties of the effectively constructed linear form) and receive required results. These results are not so general as those received by Siegel's method but the method based on effectively constructed approximating form has its own advantages. One of them consists in the possibility of its application also in case when some of the parameters (1) are irrational. The other advantage is the more precise estimates (if we consider for instance the measure of linear independence) that can be obtained by this method. The above concerns the case when the functions under consideration are not differentiated with respect to parameter. Application of Siegel's method for the differentiated with respect to parameter functions (for example such functions as (4) and (5)) is possible also and it has been in fact fulfilled in a series of works; see the remarks to chapter 7 of the book by A. B. Shidlovskii [5]. But as before the parameters of the functions under consideration must be rational and the obtained results are not sufficiently precise. The performed investigations show that the employment of simultaneous approximations instead of construction of linear approximating form almost always gives better results. For that reason the main new results concerning differentiated with respect to parameter hypergeometric functions have been obtained exactly by means of the effective constructions of simultaneous approximations although the appearance (comparatively recently) of effective constructions of linear approximating forms for such functions did make it possible to solve some related problems. In this paper we propose a new effective construction of simultaneous approximations for the differentiated with respect to parameter hypergeometric functions in homogeneous case. On possible applications of this construction we give only brief instructions: one can obtain some results on linear independence of the values of functions of the type (5) in case of irrationality of some of the numbers (1); it is possible also to improve some of the related quantitative results. Bibliography: 15 titles.

Détail

Keywords: generalized hypergeometric functions, differentiation with respect to parameter, estimates of linear forms.

Bibliographie

[1] Siegel C. L., “Über einige Anwendungen Diophantischer Approximationen”, Abh. Preuss. Acad. Wiss., Phys.-Math. Kl., 1929–1930, no. 1, 1–70 | Zbl

[2] Siegel C. L., Transcendental numbers, Princeton University Press, Princeton, 1949 | MR | Zbl

[3] Fel'dman N. I., “Estimates from below for certain linear forms”, Vestnik Moskov. Univ. Ser. I Mat. Meh., 1967, no. 2, 63–72 (in Russian)

[4] Galockin A. I., “Estimates from below of linear forms in the values of certain hypergeometric functions”, Mat. Zametki, 8:1 (1970), 19–28 (in Russian) | MR

[5] Shidlovskii A. B., Transcendental numbers, Nauka, M., 1987, 448 pp. (in Russian) | MR

[6] Ivankov P. L., “On the differentiation of a hypergeometric function with respect to a parameter”, J. Math. Sci. (N. Y.), 182:4 (2012), 505–507 | DOI | MR | Zbl

[7] Ivankov P. L., “On the values of hypergeometric functions differentiated with respect to the parameter”, Chebyshevskii Sb., 13:2 (2012), 64–70 (in Russian) | MR | Zbl

[8] Ivankov P. L., “Differentiation of the parameter of certain functions”, Science and Education: electronic science and technology publication, 2012, no. 5, 141–156 (in Russian)

[9] Ivankov P. L., “On the linear independence of some functions”, Chebyshevskii Sb., 11:1 (2010), 145–151 (in Russian) | MR | Zbl

[10] Ivankov P. L., “On the use of simultaneous approximation for the study of arithmetic the nature of the values of hypergeometric functions”, Science and Education: electronic science and technology publication, 2012, no. 12, 135–142 (in Russian)

[11] Ivankov P. L., “On the use of the theory of divisibility in quadratic fields for estimates of certain linear forms”, Science and Education: electronic science and technology publication, 2013, no. 11, 129–140 (in Russian)

[12] Ivankov P. L., “The values of certain functions, satisfying homogeneous differential equations”, Chebyshevskii Sb., 14:2 (2013), 104–112 (in Russian)

[13] Ivankov P. L., “Some linear forms”, Chebyshevskii Sb., 14:3 (2013), 56–64 (in Russian)

[14] Ivankov P. L., “Refinement of estimates for some of the values of hypergeometric functions”, Science and Education: electronic science and technology publication, 2014, no. 4, 175–186 (in Russian)

[15] Fel'dman N. I., Hilbert's seventh problem, Moskov. Gos. Univ., M., 1982, 312 pp. (in Russian)