CC BY
13
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 17. Выпуск 1.
УДК 511.361
О ПРИБЛИЖЕНИИ ЗНАЧЕНИЙ НЕКОТОРЫХ ГИПЕРГЕОМЕТРИЧЕСКИХ ФУНКЦИЙ С ИРРАЦИОНАЛЬНЫМИ ПАРАМЕТРАМИ
П. Л. Иванков (г. Москва) Аннотация
В работе рассматриваются некоторые гипергеометрические функции при специальном соотношении между их параметрами. Получены оценки снизу модулей линейных форм от значений таких функций. Обычно для получения подобных оценок используют метод Зигеля, см. [1], [2], [3, гл. 3]. При применении этого метода рассуждения начинаются с построения при помощи принципа Дирихле линейной приближающей формы, имеющей достаточно большой порядок нуля в начале координат. Используя систему дифференциальных уравнений, которой удовлетворяют рассматриваемые функции, строят затем совокупность таких форм, причем определитель, составленный из их коэффициентов, не должен быть тождественным нулем. Дальнейшие шаги состоят в переходе к числовым линейным формам и к доказательству интересующих исследователя утверждений: доказывается линейная независимость значений рассматриваемых функций или устанавливаются соответствующие количественные результаты. С помощью метода Зигеля доказаны достаточно общие теоремы, касающиеся арифметической природы значений обобщенных гипергеометрических функций, причем кроме упомянутой выше линейной независимости во многих случаях установлена также трансцендентность и алгебраическая независимость значений таких функций. Однако использование принципа Дирихле на начальном этапе ограничивает возможности метода. Его непосредственное применение возможно лишь для гипергеометрических функций с рациональными параметрами. Следует отметить также недостаточную точность получаемых этим методом количественных результатов. В связи с вышесказанным был разработан некоторый аналог метода Зигеля (см. [4]), с помощью которого в ряде случаев удалось исследовать арифметическую природу значений гипергеометрических функций также и с иррациональными параметрами.
Еще раньше, однако, стали применяться методы, основанные на эффективном построении линейной приближающей формы. С помощью таких построений была исследована арифметическая природа классических констант и были получены соответствующие количественные результаты, см., например, [5, гл. 1]. В дальнейшем выяснилось, что эффективные методы применимы и при исследовании обобщенных гипергеометрических функций. Были получены, в частности, явные формулы для коэффициентов линейных приближающих форм. В ряде случаев эти формулы позволяют реализовать схему метода Зигеля и для гипергеометрических функций с иррациональными параметрами. Если в приведенной ниже формуле (1) многочлен а(х) тождественно равен единице, то полученные эффективным методом результаты носят довольно общий характер, и здесь дальнейшее развитие этого метода наталкивается на трудности принципиального характера. Если же а(х) ф 1, то возможности эффективного метода еще не исчерпаны: результаты, полученные на сегодняшний день, могут быть обобщены и улучшены.
В теоремах, доказанных в настоящей работе, устанавливаются новые качественные и количественные результаты для некоторых гипергеометрических функций, у которых а(х) = х + а, и многочлен Ь(х) из (1) имеет специальный вид. Рассматривается случай иррациональных параметров, однако используемые соображения позволят, по-видимому, получить новые результаты для таких функций и в случае рациональных параметров.
Ключевые слова: обобщенные гипергеометрические функции, иррациональные параметры, оценки линейных форм.
Библиография: 15 названий.
ON APPROXIMATION OF THE VALUES OF SOME HYPERGEOMETRIC FUNCTIONS WITH IRRATIONAL
PARAMETERS
P. L. Ivankov (Moscow) Abstract
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 + a 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.
Keywords: generalized hypergeometric functions, irrational parameters, estimates of linear forms.
Bibliography: 15 titles.
1. Введение
Рассмотрим обобщенную гипергеометрическую функцию вида
те V ( \
* м = £ - П Щ- (1)
v=0 х=1 у '
где а(х) и Ь(х) — некоторые многочлены, старшие коэффициенты которых равны единице. В первой из рассматриваемых ниже теорем а(х) = х + а и Ь(х) = х(х + 2а + 1). При этом мы получаем функцию Куммера специального вида. Значения функции Куммера изучались во многих работах; см., например, [6], [7], [8]. Нетрудно убедиться, однако, что теорема 1 не вытекает непосредственно из результатов перечисленных работ; это же замечание справедливо и в отношении теоремы 2, в которой рассматривается функция более общего вида.
2. Результаты
Пусть I — мнимое квадратичное поле, и пусть а € I \ 0>. Рассмотрим при ; = 1, 2 функции
те V
А,(г) = У ^V'-1 П , а + х-V . (2)
п ! ^ 11 х(2а +1 + х) у 7
v=0 ж=1
Теорема 1. Пусть £ — ненулевое число из поля I, и пусть — нетривиальный
набор целых чисел из I. Тогда при любом е > 0 существует число Н0 = Н0(е) такое, что при Н = шах(|^1|, |Л,2|) > Н0 выполняется неравенство
1^1^1(е) + ^(о | >н-з-
Определим при ; = 1, 2, 3 функции
Г)Г) V
а + х
*(г) = £ г"х,Ш + х)(2а + 1+ х)
v=0 ж=1
где а, в € I \ <0, в - а € Q \
Х1(^) = 1, Х2(V) = V, хз(^) = V(V + 2а + 1). (3)
Тогда справедлива такая теорема.
Теорема 2. Пусть £ € I — ненулевое число, и пусть — нетривиальный набор
целых чисел из поля I. Тогда при любом е > 0 выполняется неравенство
£ ^ * (е) ,=1
> н-5-е.
В последнем неравенстве Н = шах(|^1|, |Л,2|, |Л,3|), причем, как и в предыдущей теореме, Н>Н0(е).
Пусть
п
Ру (*) = £ РУ*^, I,; = 1, 2, (4)
в=0
— многочлены с неопределенными коэффициентами, и пусть
2
= Е Ру фА,- (г). (5)
3 = 1
Запишем и преобразуем выражение для коэффициента спри тУ в разложении по степеням г функции Кг (г). Имеем
шт (и,и) 2 V—в V
3—1 тт а + ^ ^ ТТ 1
= Е Е^-в)3 ^ж(2а +1 + ж) = ^п
в=0 3=1
п 2 в—1
)3—1
11 ж(2а + 1+ ж) 11 ж(2а + 1 + ж)
= 1 Х=1
х ЕЕ- в)3—1 Ц(V - ж)^ + 2а + 1 - ж) + а - п + ж), (6)
в=0 3=1 ж=0 ж=1
где
р \ПХ—П(а + ж), если V ^ п,
™ IПП—V-1 а—Х, если 0 < V<n.
Верхний индекс суммирования ш1п(п, V) в правой части (6) можно заменить на п ввиду наличия под знаком произведения множителя V - ж.
Подберем теперь коэффициенты многочленов (5) так, чтобы тождественно по V при I = 1, 2 выполнялось равенство
п 2 в—1 п—в
ЕЕРув(V - в)3—1 П(V - ж)^ + 2а + 1 - ж) П(V + а - п + ж) = ф^), (7)
в=0 3=1 ж=0 х=1
где
2п+1—2
= П (V - ж)
(V) = Щ (V -
ж=0
В работах [9] и [6] показано, что для этого следует положить
3 = ~!-,-К^ШМ-. (9)
Р3 2"1 Ъ+М - в)1Е—0(С - ж)(С + 2а + 1 - жЩПЖ + а - п + ж)
В последнем выражении
\ 1, если з = 1 и в = 0, или если з =2,8 = 0,1,..., п,
КЗв(С) = "( а+1 .
Iе+а—в+1, еслиз = 1, в = 1,2,...,n,
и простой замкнутый положительно ориентированный кусочно гладкий контур Г охватывает все нули многочлена ) = ПП=0(С - ж)(С + 2а + 1 - ж), а все нули многочлена
Ф2(С) = П(С + а - п + ж)
Х=1
лежат в его внешности. Существование контура Г обеспечивается условием а € I \ 0>; многочлены х2(С) и Хз(С) определены равенствами (3).
Лемма 1. При указанном выше выборе коэффициентов многочленов (4) справедливы соотношения
deg РиОг) = deg Р22(г) = п, deg Р^Ог) < п.
Доказательство. Для коэффициента р11п имеем
(а + 1)ПХП-о1 (С - х)
Р11п
1
(С - п)(С + а - п + 1) ПП-0(С - х)(С + 2а + 1 - х)
ж.
Последний интеграл запишем в виде разности двух интегралов по положительно ориентированным окружностям Г1 и 7, первая из которых охватывает все полюсы подынтегральной функции, а вторая содержит лишь полюс ( = -а + п - 1. Интеграл по окружности Г1 равен нулю, т.к. степень знаменателя на две единицы больше степени числителя, а интеграл по окружности 7 отличен от нуля, что проверяется непосредственным вычислением. Мы видим, что равенство deg Рц(^) = п справедливо. Аналогично можно проверить и другие утверждения леммы. Лемма доказана.
Общим знаменателем некоторого множества чисел X с I будем называть такое отличное от нуля целое число д € I, что дх € Ъ\ для любого х € X. Наименьший по модулю общий знаменатель некоторого множества чисел будем называть наименьшим общим знаменателем этого множества. Через 71,72,... будем обозначать положительные постоянные, зависящие от а и от поля I.
Лемма 2. Модуль общего наименьшего знаменателя коэффициентов (9) многочленов (4) оценивается сверху величиной е71П(п!)1/2.
Доказательство. Пусть ^ =2, в = 0,1,..., п. Тогда в соответствии с (9) имеем
Р12з
Яг (С)<
2™ / ПХ=о(С - х)(С + 2а + 1 - х) ПП-(С + а - п + х)
1
£ I ,
V Г1 |с+«-п+и=2 )
(10)
где окружность Г1 определяется так же, как и при доказательстве предыдущей леммы, а все окружности + а - п + = 2 ориентированы положительно. Если записать интеграл по окружности Г1 с помощью вычета подынтегральной функции относительно бесконечно удаленной точки, то станет ясно, что модуль общего наименьшего знаменателя таких интегралов (при в = 0,1,..., п) оценивается сверху величиной е72п. Далее, при 1 ^ ^ ^ п - в имеем для интеграла по соответствующей окружности
|С+«-п+^|=2
(-1)м-1 ПХ^++12(-а + п - ^ - х) ПХ=0(а + 1 + п - ^ - х)(и - 1)!(п - в -
(-1)/^-'-1ПХ=+-12(а + ^ + х - п) ПХ=0(а + 1 + п - ^ - х)(и - 1)!(п - в -
(11)
Мы видим, что произведение П2=0(а + п - ^ - х) в знаменателе полностью сокращается, а для того, что останется оценка общего наименьшего знаменателя (при в = 0,1,...,п, ^ = = 1,..., п - в) хорошо известна: такая оценка получена в нескольких работах; см., например, [10], [11], [12]. Для доказательства теоремы 1 достаточно оценки вида (п!) 2+е, однако в последней из упомянутых работ получена более точная оценка, которая и фигурирует в рассматриваемой лемме. Мы видим, что при ] =2 лемма справедлива; случай ] = 1 рассматривается аналогично. Лемма доказана.
г
1
С помощью несложной вычислительной процедуры, опирающейся на (9) и (4), можно получить такие оценки
п
13 ^ е7зп, |Р3 (С)| < п! е7зп, 1,3 = 1, 2, в = 0,1,...,п.
в!
(12)
Из (6), (7) и (8) следует равенство
2п+1—2
П (V - ж) ,
которое показывает, что
^ = ^П ж(2а + 1+ ж) П (V -
ж=1 ж=0
с^ = 0, I = 1, 2, V = 0,1,..., 2п + I - 2.
С учетом оценок (12) получаем отсюда такое неравенство
|Кг(С)| < (п!)—1 е74п.
Здесь константа 74 может зависеть также и от £.
Теперь все готово для доказательства первой теоремы. Составим определитель
(13)
(14)
Д(г) =
Рц(г) Р12(г) Р21(г) Р22(г)
Порядок нуля этого определителя при г = 0 равен 2п; это вытекает из (13): достаточно записать Д(г) в виде
Д(г) =
(15)
_ К1(г) Р12(г)
¿1(3) К2(г) Р22(г)
С другой стороны, из леммы 1 следует, что степень Д(г) также равна 2п. Поэтому Д(г) = = Сг2п, С = 0. Рассмотрим числовой определитель Д(С). Из вышесказанного ясно, что Д(С) = 0, и одну из строк этого определителя можно заменить на строку (Л-1, ^2) так, чтобы получившийся при этом определитель (обозначим его через 5) был отличен от нуля. Из леммы 2 следует оценка снизу модуля 5:
|5| > (п!) — 2 е—7бп. Оценку сверху для |5| можно получить с помощью (12) и (14)
|5| < |1|п! е7зп + Н(п!)—1 е74п ,
(16)
где I = ) + ^2А2({). Для получения последней оценки следует записать 5 в виде, ана-
логичном (15). Если, например, мы заменили первую строку определителя Д(С) на строку (^1,^2), а из чисел ¿1(С) и ¿2(С) второе оказалось отличным от нуля, то мы имеем равенство
5=
1
¿2(0
I
Р21 (С) К2(С)
из которого легко следует (16). Заметим, что одновременное выполнение равенств ¿1 (С) = 0 и ¿2 (С) = 0 противоречит теореме о единственности решения задачи Коши из теории обыкновенных дифференциальных уравнений (функции ¿1(2) и ¿2(г) удовлетворяют линейному дифференциальному уравнению, см. [3, гл. 5 § 1]). Комбинируя оценки модуля 5 сверху и снизу, можно завершить доказательство теоремы 1. Соответствующее рассуждение является стандартным и мы его не приводим (см., например, [3, гл. 11, § 2], а также [13] и [14]).
Вторая теорема доказывается аналогично. Здесь также строится система линейно независимых приближающих форм вида
3 п
£ р(*) = ВД, р(г) = £
3=1 «=о
Для получения приближающей формы Я(г) с максимально возможным порядком нуля при г = 0 следует по аналогии с (9) положить
1 [ К-(С )П Х=01(С - х)
2nJ Xj+i(C - s) nx=0(c - x)(Z + в - x)(Z + 2a + 1 - x) "
- (17)
ПП-?(С + а - п + «)'
где %4(С) = С (С + 2а + 1)(£ + в). Варьируя степень многочлена ПХ'=о1 (С — ж) в числителе подынтегрального выражения из правой части (17), можно получить совокупность линейно независимых функциональных приближающих форм.
Основным моментом доказательства является получение оценки общего наименьшего знаменателя коэффициентов Для этого, как и выше, следует записать интеграл из (17) в виде разности
1[/—£ / ' ■
V г1 м 1 |С+а-п+м| = 2 )
2ni
Как и в случае (11) призведение ПХ=0(а + п — ^ — ж) сокращается и оценка общего наименьшего знаменателя получается из тех же соображений, что и при доказательстве леммы 2. Решающим обстоятельством при этом является рациональность разности в — а. Окончательная оценка имеет вид, указанный в упомянутой лемме (при этом присутствующая в оценке константа может зависеть также и от в). В остальном доказательство теоремы 2 лишь незначительными техническими деталями отличается от доказательства первой теоремы.
3. Заключение
Полученные в настоящей работе результаты можно обобщать в различных направлениях. Можно заменить ж + 2а + 1 в знаменателе из правой части (1) специально подобранным многочленом так, чтобы произошло сокращение в числителе и знаменателе, как это случилось в последнем выражении из (11). Можно попробовать уточнить оценки линейных форм в случае рационального а в более общем случае по сравнению с разобранным в работе [15]. Любопытно отметить, что среди многочисленных теорем, опубликованных по поводу арифметических свойств значений функций вида (1) и ее производных, по-видимому нет ни одной, в которой была бы доказана линейная независимость упомянутых значений в предположении, что многочлен а(ж) имеет более одного иррационального корня.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Siegel C. L. "Über einige Anwendungen Diophantischer Approximationen // Abh. Preuss. Acad. Wiss., Phys.-Math. Kl. 1929-1930. №1. S. 1-70.
2. Siegel C. L. Transcendental numbers. Princeton: Princeton University Press, 1949.
3. Шидловский А. Б. Трансцендентные числа. М.: Наука, 1987. 447 с.
4. Галочкин А. И. О некотором аналоге метода Зигеля // Вестник Московского университета. Математика, механика. 1986, №2. С. 30-34.
5. Фельдман Н. И. Седьмая проблема Гильберта. М.: Издательство Московского университета, 1982. 312 с.
6. Иванков П. Л. Оценки снизу линейных форм от значений функции Куммера // Математические заметки. 1991. Т. 49, выпуск 2. С. 55-63.
7. Белогривов И. И. О трансцендентности и алгебраической независимости значений функций Куммера // Сибирский математический журнал. 1979. Т. 12, №5. С. 961-982.
8. Иванков П. Л. О линейной независимости значений некоторых функций // Фундаментальная и прикладная математика. 1995. Т. 1, выпуск 1. С. 191-206.
9. Иванков П. Л. Об арифметических свойствах значений гипергеометрических функций // Математический сборник. 1991. Т. 182, №2. С. 283-302.
10. Галочкин А. И. Об арифметических свойствах значений некоторых целых гипергеометрических функций // Сибирский математический журнал. 1976. Т. XVII, №6. С. 1220-35.
11. Галочкин А. И. О некоторых арифметических свойствах коэффициентов функции Куммера // Фундаментальная и прикладная математика. 2005. Т. 11, №6. С. 27-32.
12. Иванков П. Л. О значениях гипергеометрических функций с различными иррациональными параметрами // Фундаментальная и прикладная математика. 2005. Т. 11, №6. С. 65-72.
13. Галочкин А. И. Оценки снизу линейных форм от значений некоторых гипергеометрических функций // Математические заметки. 1970. Т. 8, №1. С. 19-28.
14. Галочкин А. И. О диофантовых приближениях значений некоторых целых функций с алгебраическими коэффициентами. I // Вестник МГУ. Серия 1. Математика, механика. 1978, №6. С. 25-32.
15. Иванков П. Л. О вычислении постоянных, входящих в оценки линейных форм // Известия вузов. Математика. 2000, №1(452). С. 31-36.
REFERENCES
1. Siegel, C. L. 1929-1930, "Über einige Anwendungen Diophantischer Approximationen" , Abh. Preuss. Acad. Wiss., Phys.-Math. Kl., no. 1. pp. 1-70.
2. Siegel, C. L. 1949, Transcendental numbers, Princeton University Press, Princeton.
3. Shidlovskii, A. B. 1987, Transtsendentnye chisla [Transcendental numbers] Nauka, Moscow, 447 pp. (Russian)
4. Galochkin, A. I. 1986, "An analogue of Siegel's method" , Vestnik Moskov. Univ. Ser. I Mat. Mekh. (Moscow Univ. Math. Bulletin), no. 2, pp. 30-34. (Russian)
5. Fel'dman, N. I. 1982, Sed'maya problema Gil'berta. [Hilbert's seventh problem] Moskov. Gos. Univ., Moscow, 312 pp. (Russian)
6. Ivankov, P. L. 1991, "Lower estimates of the linear forms in the values of Kummer's function" , Mat. Zametki (Mathematical Notes), vol. 49, no. 2, pp. 55-63. (Russian)
7. Belogrivov, I. I. 1979 "On transcedence and algebraic independence of the values of Kummer's function" , Sibirsk. Mat. Zh. (Siberian Mathematical Journal), vol. 12, no. 5, pp. 961-982. (Russian)
8. Ivankov, P. L. 1995, "On the linear independence of the values of some functions", Fundam. Prikl. Math. (Journal of Mathematical Sciences (New York)), vol. 1, no. 1, pp. 191-206. (Russian)
9. Ivankov, P. L. 1991, "On the arithmetic properties of the values of hypergeometric functions" , Matematicheskiy sbornik (Sbornik: Mathematics), vol. 182, no. 2, pp. 283-302. (Russian)
10. Galochkin, A. I. 1976, "On arithmetic properties of the values of certain entire hypergeometric functions" , Sibirsk. Mat. Zhurnal (Siberian Mathematical Journal), vol. 17, no 6, pp. 1220-1235. (Russian)
11. Galochkin, A. I. 2005, "On some arithmetic properties of the coefficients of Kummer's function" , Fundam. Prikl. Mat. (Journal of Mathematical Sciences (New York)), vol. 11, no. 6, pp. 27-32. (Russian)
12. Ivankov, P. L. 2005, "On the values of hypergeometric functions with different irrational parameters", Fundam. Prikl. Mat. (Journal of Mathematical Sciences (New York)), vol. 11, no. 6, pp. 65-72. (Russian)
13. Galochkin, A. I. 1970, "Lower estimates of the linear forms in the values of some hypergeometric functions" , Mat. Zametki (Mathematical Notes), vol. 8, no. 1, pp. 19-28. (Russian)
14. Galochkin, A. I. 1978, "On diophantine approximations of the values of some entire functions with algebraic coefficients. I" , Vestnik Moskov. Univ. Ser. I Mat. Mekh. (Moscow Univ. Math. Bulletin), no. 6, pp. 25-32. (Russian)
15. Ivankov, P. L. 2000, "On the calculation of the constants involved in the estimates of linear forms" , Izvestija vuzov. Mat. (Russian Mathematics (Izvestija VUZ. Mathematika)), no. 1(452), pp. 31-36. (Russian)
Московский Государственный Технический Университет имени Н. Э. Баумана. Получено 15.12.2015 г. Принято в печать 10.03.2016 г.
