В работе рассматриваются некоторые гипергеометрические функции при специальном соотношении между их параметрами. Получены оценки снизу модулей линейных форм от значений таких функций. Обычно для получения подобных оценок используют метод Зигеля, см. [1], [2], [3, гл. 3]. При применении этого метода рассуждения начинаются с построения при помощи принципа Дирихле линейной приближающей формы, имеющей достаточно большой порядок нуля в начале координат. Используя систему дифференциальных уравнений, которой удовлетворяют рассматриваемые функции, строят затем совокупность таких форм, причем определитель, составленный из их коэффициентов, не должен быть тождественным нулем. Дальнейшие шаги состоят в переходе к числовым линейным формам и к доказательству интересующих исследователя утверждений: доказывается линейная независимость значений рассматриваемых функций или устанавливаются соответствующие количественные результаты. С помощью метода Зигеля доказаны достаточно общие теоремы, касающиеся арифметической природы значений обобщенных гипергеометрических функций, причем кроме упомянутой выше линейной независимости во многих случаях установлена также трансцендентность и алгебраическая независимость значений таких функций. Однако использование принципа Дирихле на начальном этапе ограничивает возможности метода. Его непосредственное применение возможно лишь для гипергеометрических функций с рациональными параметрами. Следует отметить также недостаточную точность получаемых этим методом количественных результатов. В связи с вышесказанным был разработан некоторый аналог метода Зигеля (см. [4]), с помощью которого в ряде случаев удалось исследовать арифметическую природу значений гипергеометрических функций также и с иррациональными параметрами. Еще раньше, однако, стали применяться методы, основанные на эффективном построении линейной приближающей формы. С помощью таких построений была исследована арифметическая природа классических констант и были получены соответствующие количественные результаты, см., например, [5, гл. 1]. В дальнейшем выяснилось, что эффективные методы применимы и при исследовании обобщенных гипергеометрических функций. Были получены, в частности, явные формулы для коэффициентов линейных приближающих форм. В ряде случаев эти формулы позволяют реализовать схему метода Зигеля и для гипергеометрических функций с иррациональными параметрами. Если в приведенной ниже формуле (1) многочлен a(x) тождественно равен единице, то полученные эффективным методом результаты носят довольно общий характер, и здесь дальнейшее развитие этого метода наталкивается на трудности принципиального характера. Если же a(x) ̸≡ 1, то возможности эффективного метода еще не исчерпаны: результаты, полученные на сегодняшний день, могут быть обобщены и улучшены. В теоремах, доказанных в настоящей работе, устанавливаются новые качественные и количественные результаты для некоторых гипергеометрических функций, у которых a(x) = x + α, и многочлен b(x) из (1) имеет специальный вид. Рассматривается случай иррациональных параметров, однако используемые соображения позволят, по-видимому, получить новые результаты для таких функций и в случае рациональных параметров.
In this paper we consider some hypergeometric functions whose parameters are connected in a special way. Lower estimates of the moduli of linear forms in the values of such functions have been obtained. Usually for the achievement of such estimates one makes use of Siegel’s method; see [1], [2], [3, chapt. 3]. In this method the reasoning begins with the construction by means of Dirichlet principle of the linear approximating form having a sufficiently large order of zero at the origin of coordinates. Employing the system of differential equations, the functions under consideration satisfy, one constructs then a set of forms such that the determinant composed of the coefficients of the forms belonging to this set must not be equal to zero identically. Further steps consist of constructing a set of numerical forms and of proving of the interesting for the researcher assertions: linear independence of the values of the functions under consideration can be proved or corresponding quantitative results can be obtained. By means of Siegel’s method have been proved sufficiently general theorems concerning the arithmetic nature of the values of the generalized hypergeometric functions and in addition to aforementioned linear independence in many cases was established the transcendence and algebraic independence of the values of such functions. But the employment of Dirichlet principle at the first step of reasoning restricts the possibilities of the method. Its direct employment is possible in the case of hypergeometric functions with rational parameters only. It must be taken into consideration also the insufficient accuracy of the quantitative results that can be obtained by this method. As a consequence of these facts some analogue of Siegel’s method has been developed (see [4]) by means of which it became possible in some cases to investigate the arithmetic nature of the values of hypergeometric functions with irrational parameters also. But yet earlier one had begun to apply methods based on effective construction of linear approximating form. By means of such constructions the arithmetic nature of some classic constants was investigated and corresponding quantitative results were obtained, see for example [5, chapt. 1]. Subsequently it turned out that effective methods can be applied also for the investigation of generalized hypergeometric functions. Explicit formulae for the coefficients of the linear approximating forms were obtained. In some cases these formulae make it possible to realize Siegel method scheme also for the hypergeometric functions with irrational parameters. If in (1) polynomial a(x) is equal to unity identically then the results obtained by effective method are of sufficiently general nature and in this case further development of this method meets the obstacles of principal character. In case a(x) ̸≡ 1, however, the possibilities of effective method are not yet exhausted and the latest results can be generalized and improved. In the theorems proved in the present paper new qualitative and quantitative results are obtained for some hypergeometric functions with a(x) = x+α and polynomial b(x) from (1) of special character. The case of irrational parameters is under consideration but the ideas we use will apparently make it possible in the future to obtain new results in case of rational parameters also.