On the values of hypergeometric functions

P. L. Ivankov

Čebyševskij sbornik, Tome 21 (2020) no. 2, pp. 159-168.

Résumé

The investigation of arithmetic properties of the values of the generalized hypergeometric functions is often carried out by means of known in the theory of transcendental numbers Siegel's method. The most general results in this field have been obtained precisely by this method. But the possibilities of Siegel's method in case of hypergeometric functions with irrational parameters are restricted. This is connected with the fact that such hypergeometric functions are not $E$-functions and for that reason one is unable to construct linear approximating form with large order of zero by means of pigeonhole method. To consider problems connected with the investigation of arithmetic properties of the values of hypergeometric functions with irrational parameters it is possible in some cases to use the method based on the effective construction of linear approximating form but the possibilities of this method are also limited because of the absence of too general effective constructions. There are some difficulties also in the cases when such constructions are available. The peculiarities of these constructions often hinder the realization of arithmetic part of the method. For that reason of some interest are situations when one is able to realize the required investigation by means of specific properties of concrete functions. Sometimes it is possible to choose the parameters of the functions under consideration in such a way that one receives the possibility to overcome the difficulties of the general case. In this paper we consider hypergeometric function of a special kind and its derivatives. By means of effective construction it is possible not only to prove linear independence of the values of this function and its derivatives over some imaginary quadratic field but also to obtain corresponding quantitative result in the form of the estimation the modulus of the linear form in the aforesaid values.

Détail

Keywords: hypergeometric function, effective construction, linear independence, imaginary quadratic field.

Bibliographie

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

[2] 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

[3] 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)

[4] 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

[5] 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

[6] 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

[7] 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

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

[9] 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

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

[11] Osgood Ch. F., “Some theorems on diophantine approximation”, Trans. Amer. Math. Soc., 123:1 (1966), 64–87 | DOI | MR | Zbl

[12] Galochkin A.I., “Lower estimates of the linear forms in the values of some hypergeometric functions”, Mat. Zametki, 8:1 (1970), 19–28 (Russian) | MR

[13] Galochkin A.I., “Sharpening of the estimates of some linear forms”, Mat. Zametki, 20:1 (1976), 35–45 (Russian) | MR | Zbl

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

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

[16] Ivankov P.L., “Lower estimates of the linear forms in the values of Kummer's function with irrational parameter”, Matematicheskije Zametki, 49:2 (1991), 55–63 (Russian) | Zbl

[17] Ivankov P.L., “On the estimates of some linear forms”, Izvestija vuzov. Matematika, 1993, no. 2, 38–45 (Russian) | Zbl

[18] Ivankov P.L., “On the estimates of linear independence measure of some functions”, Matematicheskije Zametki, 55:3 (1994), 59–67 (Russian) | MR | Zbl

[19] Ivankov P.L., “On linear independence of the values of some functions”, Fundamentalnaja i Prikladnaja Matematika, 1:1 (1995), 191–206 (Russian) | MR | Zbl

[20] Ivankov P.L., “On approximation of the values of some hypergeometric functions with irrational parameters”, Chebyshevskij Sbornik, 17:1 (2016), 108–116 (Russian) | MR | Zbl

[21] Galochkin A. I., “On effective bounds for certain linear forms”, New Advances in Transcendence theory, Cambridge–New Rochell–Melbourne–Sydney, 1988, 207–215 | DOI | MR

[22] Galochkin A. I., “Linear independence and transcendence of values of hypergeometric functions”, Moscow journal of combinatorics and number theory, 1:2 (2011), 27–32 | MR | Zbl

[23] Borevich Z.I., Shafarevich I.R., Number Theory, Nauka, M., 504 pp. (Russian) | MR

[24] Ivankov P.L., “On the values of hypergeometric functions with different irrational parameters”, Fundamentalnaja i Prikladnaja Matematika, 11:6 (2005), 65–72 (Russian)

[25] Prachar K., Distribution of prime numbers, Mir, M., 1967, 511 pp. (Russian)