On linear approximating forms

P. L. Ivankov

Čebyševskij sbornik, Tome 21 (2020) no. 1, pp. 200-212.

Résumé

Generalized hypergeometric function is defined as a sum of the power series whose coefficients are the products of the values of some fractional rational function. Taken with a minus sign roots of a numerator and denominator of this rational function are called parameters of the corresponding hypergeometric function. For the investigation of the arithmetic nature of the values of hypergeometric functions and their derivatives (including derivatives with respect to parameter) one often makes use of Siegel's method. The corresponding reasoning begins as a rule by the construction of the functional linear approximating form. If parameters of the hypergeometric function are rational one is able to use pigeonhole principle for the construction of this form. In addition the construction is feasible not only for the hypergeometric functions themselves but also for the products of their powers. By this is explained the generality of results obtained by such method. But if there are irrational numbers among the parameters the application of a pigeonhole method is impossible and for carrying out the corresponding investigation it is necessary to employ some additional considerations. One of the methods of surmounting the difficulty connected with the irrationality of some parameters of a hypergeometric function consists in the application of the effective construction of the linear approximating form from which the reasoning begins. Primarily effective constructions of such approximations appeared for the functions of a special kind (the numerator of the rational function by means of which the coefficients of hypergeometric functions are defined was to be equal to unity). The investigation of the properties of these approximations revealed the fact that they can be useful in case of rational parameters as well for the quantitative results obtained by effective methods turned out to be more precise than their analogs obtained by Siegel's method. Subsequently the methods of effective construction of linear approximating forms were generalized in diverse directions. In this paper we propose a new effective construction of approximating form in case when for the hypergeometric functions derivatives with respect to parameter are also considered. This construction is made use of for the sharpening of the lower estimates of the linear independence measure of the values of corresponding functions.

Détail

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

Bibliographie

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

[2] Belogrivov I. I., “Transcendentality and algebraic independence of values of certain E-functions”, Vestnik Moskov. Univ. Ser. 1 Math. Mech., 22:2 (1967), 55–62 (Russian) | MR | Zbl

[3] Belogrivov I. I., “The transcendence and algebraic independence of the values of a certain class of E-functions”, Sibirsk. Math. Zh., 14 (1973), 16–35 (Russian) | MR | Zbl

[4] Shidlovskii A. B., “Transcendence and algebraic independence of the values of entire functions of certain class”, Moskov. Gos. Univ. Uch. Zap., 186, 1959, 11–70 (Russian) | Zbl

[5] Shidlovskii A. B., “On transcendence and algebraic independence of the values of certain functions”, Trudy Moskov. Math. Obsh., 8, 1959, 283–320 (Russian) | MR | Zbl

[6] Shidlovskii A. B., “On transcendentality and algebraic independence of the values of entire functions of certain class”, Dokl. Akad. Nauk SSSR, 96:4 (1954), 697–700 (Russian) | Zbl

[7] Shidlovskii A. B., “Transcendence and algebraic independence of values of $E$-functions satisfying linear nonhomogeneous differential equations of the second order”, Dokl. Akad. Nauk SSSR, 169:1 (1954), 42–45 (Russian)

[8] Shidlovskii A. B., “Algebraic independence of the values of certain hypergeometric $E$-functions”, Trudy Moskov. Mat. Obsh., 18, no. 4, 1968, 55–64 (Russian) | MR

[9] Belogrivov I.I., “On transcendence and algebraic independence of values of certain hypergeometric $E$-functions”, Dokl. Akad. Nauk SSSR, 174:2 (1967), 267–270 (Russian) | MR | Zbl

[10] Chirsky V.G., “On arithmetic properties of the values of hypergeometric functions with irrational parameters”, Vestnik Moskov. Univ. Ser. 1. Mat. Meh., 1978, no. 5, 3–8 | Zbl

[11] Salikhov V. Kh., “Irreducibility of hypergeometric equations and algebraic independence of values of $E$-functions”, Acta Arithm., 53:5 (1990), 453–471 | DOI | MR | Zbl

[12] Cherepnev M.A., “On algebraic independence of values of hypergeometric $E$-functions”, Mat. Zametki, 57:6 (1995), 896–912 | MR | Zbl

[13] Salikhov V. Kh., “Criterion for the algebraic independence of the values of hypergeometric $E$-functions (even case)”, Mat. Zametki, 64:2 (1998), 273–284 | Zbl

[14] Gorelov V.A., “On algebraic independence of the values of hypergeometric functions”, Mat. Zametki, 94:1 (2013), 94–108 | Zbl

[15] Gorelov V.A., “On algebraic properties of the solutions of nonhomogeneous hypergeometric equations”, Mat. Zametki, 99:5 (2016), 658–672 | MR | Zbl

[16] Mahler K., “Application of a theorem by A.B. Shidlovski”, Proc. Roy. Soc. Ser. A, 305 (1968), 149–173 | MR | Zbl

[17] Väänänen K., “On the algebraic independence of the values of some $E$-functions”, Ann. Acad. Sci. Fennicae. Ser. A. Math., 1 (1975), 93–109 | DOI | MR | Zbl

[18] Ivankov P. L., “On differentiation of a hypergeometric function with respect to parameter”, Fundamentalnaya i Pricladnaya Matematica, 18:6 (2010), 91–94 (Russian)

[19] Ivankov P. L., “On differentiation with respect to parameter”, Chebyshev. Sbornik, 16:3 (2015), 285–294 (Russian) | MR | Zbl

[20] Ivankov P. L., “On differentiation with respect to parameter of certain functions”, Science and Education of the Bauman MSTU, 2012, no. 5, 285–294 (Russian) | DOI

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

[22] Ivankov P. L., “Arithmetic properties of the values of hypergeometric functions with different parameters”, Mathematical Notes, 52:6 (1992), 1188–1192 | DOI | MR | Zbl

[23] Ivankov P. L., “On arithmetic properties of the values of hypergeometric functions”, Math. Sbornik, 182:2 (1991), 283–302 (Russian)

[24] Markushevich A.I., Theory of analytic functions, v. I, Nauka, 1967, 486 pp. (Russian) | MR

[25] Galochkin A.I., “On arithmetic properties of the values of certain entire hypergeometric functions”, Sibirsk. Matem. Zhurnal, 17:6 (1976), 1220–1235 (Russian) | MR | Zbl