Для исследования арифметических свойств значений обобщенных гипергеометрических функций с рациональными параметрами обычно применяют метод Зигеля. Этим методом были получены наиболее общие результаты, относящиеся к упомянутым свойствам.Основной недостаток метода Зигеля состоит в невозможности его применения к гипергеометрическим функциям с иррациональными параметрами. В этой ситуации исследование обычно основывается на эффективной конструкции функциональной приближающей формы (в методе Зигеля существование такой формы доказывается с помощью принципа Дирихле). Построение и исследование приближающей формы является первым шагом в сложном рассуждении, которое ведет к получению арифметического результата.Используя эффективный метод, мы сталкиваемся по крайней мере с двумя проблемами, которые в значительной степени сужают область его применимости. Во-первых, неизвестна более или менее общая конструкция приближающей формы для произведений гипергеометрических функций. Используя метод Зигеля, мы не имеем дела с такой проблемой. По этой причине приходится рассматривать лишь вопросы линейной независимости над тем или иным алгебраическим полем. Выбор этого поля является второй проблемой.Подавляющее большинство опубликованных результатов, относящихся к рассматриваемому кругу задач, имеет дело с мнимым квадратичным полем (или с полем рациональных чисел). Лишь в отдельных случаях удается провести соответствующее исследование для какого-либо другого алгебраического поля.Мы рассматриваем здесь случай вещественного квадратичного поля. С помощью специального технического приема мы устанавливаем линейную независимость значений некоторой гипергеометрической функции с иррациональным параметром над таким полем.
In order to investigate arithmetic properties of the values of generalized hypergeometric functions with rational parameters one usually applies Siegel’s method. By means of this method have been achieved the most general results concerning the above mentioned properties.The main deficiency of Siegel’s method consists in the impossibility of its application for the hypergeometric functions with irrational parameters. In this situation the investigation is usually based on the effective construction of the functional approximating form (in Siegel’s method the existence of that form is proved by means of pigeon-hole principle). The construction and investigation of such a form is the first step in the complicated reasoning which leads to theachievement of arithmetic result. Applying effective method we encounter at least two problems which make extremely narrow the field of its employment. First, the more or less general effective construction of the approximating form for the products of hypergeometric functions is unknown. While using Siegel’s method one doesn’t deal with such a problem. Hence the investigator is compelled to consider only questions of linear independence of the values of hypergeometric functions over some algebraic field. Choosing this field is the second problem. The great majority of published results concerning corresponding questions deals with imaginary quadratic field (or the field of rational numbers). Only in exceptional situations it is possible to investigate the case of some other algebraic field.We consider here the case of a real quadratic field. By means of a special technique we establish linear independence of the values of some hypergeometric function with irrational parameter over such a field.
The authors declare that there are no conflicts of interest present.