О значениях гипергеометрической функции с параметром из квадратичного поля

Аннотация

Для исследования арифметических свойств значений обобщенных гипергеометрических функций с рациональными параметрами обычно применяют метод Зигеля. Этим методом были получены наиболее общие результаты, относящиеся к упомянутым свойствам.
Основной недостаток метода Зигеля состоит в невозможности его применения к гипергеометрическим функциям с иррациональными параметрами. В этой ситуации исследование обычно основывается на эффективной конструкции функциональной приближающей формы (в методе Зигеля существование такой формы доказывается с помощью принципа Дирихле). Построение и исследование приближающей формы является первым шагом в сложном рассуждении, которое ведет к получению арифметического результата.
Используя эффективный метод, мы сталкиваемся по крайней мере с двумя проблемами, которые в значительной степени сужают область его применимости. Во-первых, неизвестна более или менее общая конструкция приближающей формы для произведений гипергеометрических функций. Используя метод Зигеля, мы не имеем дела с такой проблемой. По этой причине приходится рассматривать лишь вопросы линейной независимости над тем или иным алгебраическим полем. Выбор этого поля является второй проблемой.
Подавляющее большинство опубликованных результатов, относящихся к рассматриваемому кругу задач, имеет дело с мнимым квадратичным полем (или с полем рациональных чисел). Лишь в отдельных случаях удается провести соответствующее исследование для какого-либо другого алгебраического поля.
Мы рассматриваем здесь случай вещественного квадратичного поля. С помощью специального технического приема мы устанавливаем линейную независимость значений некоторой гипергеометрической функции с иррациональным параметром над таким полем.