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

О линейной независимости значений некоторых гипергеометрических функций над мнимым квадратичным полем Текст научной статьи по специальности «Математика»

CC BY
29
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
ГИПЕРГЕОМЕТРИЧЕСКАЯ ФУНКЦИЯ / ЭФФЕКТИВНАЯ КОНСТРУКЦИЯ / ЛИНЕЙНАЯ НЕЗАВИСИМОСТЬ / МНИМОЕ КВАДРАТИЧНОЕ ПОЛЕ / HYPERGEOMETRIC FUNCTION / EFFECTIVE CONSTRUCTION / LINEAR INDEPENDENCE / IMAGINARY QUADRATIC FIELD

Аннотация научной статьи по математике, автор научной работы — Иванков Павел Леонидович

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On linear independence of the values of some hypergeometric functions over the imaginary quadratic field

The main difficulty one has to deal with while investigating arithmetic nature of the values of the generalized hypergeometric functions with irrational parameters consists in the fact that the least common denominator of several first coefficients of the corresponding power series increases too fast with the growth of their number. The last circumstance makes it impossible to apply known in the theory of transcendental numbers Siegel’s method for carrying out the above mentioned investigation. The application of this method implies usage of pigeon-hole principle for the construction of a functional linear approximating form. This construction is the first step in a long and complicated reasoning that leads ultimately to the required arithmetic result. The attempts to apply pigeon-hole principle in case of functions with irrational parameters encounters insurmountable obstacles because of the aforementioned fast growth of the least common denominator of the coefficients of the corresponding Taylor series. Owing to this difficulty one usually applies effective construction of the linear approximating form (or a system of such forms in case of simultaneous approximations) for the functions with irrational parameters. The effectively constructed form contains polynomials with algebraic coefficients and it is necessary for further reasoning to obtain a satisfactory upper estimate of the modulus of the least common denominator of these coefficients. The known estimates of this type should be in some cases improved. This improvement is carried out by means of the theory of divisibility in quadratic fields. Some facts concerning the distribution of the prime numbers in arithmetic progression are also made use of. In the present paper we consider one of the versions of effective construction of the simultaneous approximations for the hypergeometric function of the general type and its derivatives. The least common denominator of the coefficients of the polynomials included in these approximations is estimated subsequently by means of the improved variant of the corresponding lemma. All this makes it possible to obtain a new result concerning the arithmetic values of the aforesaid function at a nonzero point of small modulus from some imaginary quadratic field.

Текст научной работы на тему «О линейной независимости значений некоторых гипергеометрических функций над мнимым квадратичным полем»

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 20. Выпуск 3.

УДК 511.361 DOI 10.22405/2226-8383-2019-20-3-272-281

О о о о

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

полем

П. Л. Иванков

Иванков Павел Леонидович — доктор физико-математических наук, Московский государственный технический университет имени Н. Э. Баумана (г. Москва). e-mail: ivankovpl@mail.ru

Аннотация

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

В настоящей работе рассматривается один из вариантов эффективного построения совместных приближений для гипергеометрической функции общего вида и ее производных. Общий наименьший знаменатель коэффициентов многочленов, входящих в эти приближения, оценивается затем с помощью уточненного варианта соответствующей леммы. Все это позволяет получить новый результат об арифметической природе значений указанной функции в малой по абсолютной величине ненулевой точке мнимого квадратичного поля.

Ключевые слова: гипергеометрическая функция, эффективная конструкция, линейная независимость, мнимое квадратичное поле.

Библиография: 15 названий Для цитирования:

П. Л. Иванков. О линейной независимости значений некоторых гипергеометрических функций над мнимым квадратичным полем // Чебышевский сборник. 2019. Т. 20, вып. 3, с. 272-281.

CHEBYSHEVSKII SBORNIK Vol. 20. No. 3.

UDC 511.361 DOI 10.22405/2226-8383-2019-20-3-272-281

On linear independence of the values of some hypergeometric functions over the imaginary quadratic field

P. L.Ivankov

Ivankov Pavel Leonidovich — doctor of physical and mathematical Sciences, Bauman Moscow state technical University (Moscow). e-mail: ivankovpl@mail.ru

Abstract

The main difficulty one has to deal with while investigating arithmetic nature of the values of the generalized hypergeometric functions with irrational parameters consists in the fact that the least common denominator of several first coefficients of the corresponding power series increases too fast with the growth of their number. The last circumstance makes it impossible to apply known in the theory of transcendental numbers Siegel's method for carrying out the above mentioned investigation. The application of this method implies usage of pigeon-hole principle for the construction of a functional linear approximating form. This construction is the first step in a long and complicated reasoning that leads ultimately to the required arithmetic result. The attempts to apply pigeon-hole principle in case of functions with irrational parameters encounters insurmountable obstacles because of the aforementioned fast growth of the least common denominator of the coefficients of the corresponding Taylor series. Owing to this difficulty one usually applies effective construction of the linear approximating form (or a system of such forms in case of simultaneous approximations) for the functions with irrational parameters. The effectively constructed form contains polynomials with algebraic coefficients and it is necessary for further reasoning to obtain a satisfactory upper estimate of the modulus of the least common denominator of these coefficients. The known estimates of this type should be in some cases improved. This improvement is carried out by means of the theory of divisibility in quadratic fields. Some facts concerning the distribution of the prime numbers in arithmetic progression are also made use of.

In the present paper we consider one of the versions of effective construction of the simultaneous approximations for the hypergeometric function of the general type and its derivatives. The least common denominator of the coefficients of the polynomials included in these approximations is estimated subsequently by means of the improved variant of the corresponding lemma. All this makes it possible to obtain a new result concerning the arithmetic values of the aforesaid function at a nonzero point of small modulus from some imaginary-quadratic field.

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

Bibliography: 15 titles For citation:

P. L. Ivankov, 2019, "On linear independence of the values of some hypergeometric functions over the imaginary quadratic field" , Chebyshevskii sbornik, vol. 20, no. 3, pp. 272-281.

1. Введение

Пусть

ТО V , N

ф,(г) = ЕП Ш>3 = 1>...>т>

и=0 х=1 ( )

где а(х) = (х + а1)... (х + аг), Ъ(х) = (х + ... (х + @т), 1 ^ г < т, числа од, fj отличны от -1, -2,... ; fl = 0. Известно, что для линейной независимости функций (1) над полем рациональных дробей С(,г) достаточно потребовать, чтобы выполнялись условия

щ - ^ £ г = 1,...,г, з = 1,...,т. (2)

Доказательство этого утверждения, а также необходимые и достаточные условия упомянутой линейной независимости см. в [1] и [2]. Мы будем изучать вопрос о линейной независимости значений функций (1) в отличной от нуля точке некоторого мнимого квадратичного поля.

2. Результаты

В нижеследующей теореме предполагается, что для функции (1) выполнены условия, о которых речь в предыдущем пункте; в частности, выполняется условие (2). Через I обозначим некоторое мнимое квадратичное поле.

Теорема 1. Пусть mur таковы, что mi = m — 2г + 1 > 0, и пусть ai G Q, i = 1, . . . ,Г — 1, = 0 $2, . . . , ftm-m1 G Q; о, числа ar и fîm—mi+i,..., fîm принадлеэюат множеству I \ Q. Пусть, далее, ш и q — ненулевые числа, из кольца, Ъ\. Тогда, если |g| > q0, m,о числа,

*( ш) (з)

линейно независимы, над I; при этом q0 зависит от ai,..., ar, ..., ¡Зт, ш и от поля I.

Если при сохранении прочих условий этой теоремы увеличить количество рациональных корней многочлена 6(х), т.е. считать, например, что mi = m — 2г, то мы получим утверждение, являющееся следствием [3, с. 192, теорема 2], причем в этом случае значения функций

I

упомянутой теореме из [3] не требуется, чтобы корни многочлена Ь(х) лежали в поле I; там предполагается лишь, что Ь(х) G ![х]. Для того, чтобы таким же образом усилить сформулированную выше теорему 1, пришлось бы предварительно уточнить оценку общего наименьшего знаменателя дробей специального вида, которая используется в работах [4]-[7], подобно тому, как это сделано в частном случае в [8, с. 68, лемма 4]. Конкретно, в правой части [4, неравенство (37), с. 1227] следует доказать возможность замены пеа на величину порядка е°(п\ Метод доказательства теоремы 1 позволяет получить также и оценку снизу модуля соответствующей линейной формы; эта оценка здесь не приводится, т.к. она весьма далека от ожидаемого в рассматриваемой ситуации окончательного результата.

3. Эффективная конструкция

Лемма 1. Пусть в — натуральное число, и пусть Б(т) — многочлен, степень которого

У ,(-1)\,£ (г) = 0.

Доказательство. Пусть 6 = Тогда

5к(г — 1)'|= £ (.) (-1). (4)

|

Левая часть здесь равна нулю при к < в, откуда и следует требуемое. Лемма доказана.

Пусть п — натуральное число, N = [тп/(т — 1)], и пусть Ь1(х) = Ь(х)/х. Рассмотрим многочлены

п

Р3(г) = ^^ 3 = 1,...,т,

з=0

где

= ¿0 ^( в — Т) ПП= в+1 а(х — т) . (5)

Нетрудно проверить, что ни один из этих многочленов не равен нулю тождественно.

Лемма 2. Пусть функция 1 ^ определяется равенством

Кгз(г)=Р3(г)фг(г) — Рг(г)ф3(г). (6)

Тогда, если г = то Кгз(г) имеет при г = 0 порядок нуля не меньше, нем N. Доказательство. Пусть

N-1

Р(г) = £ р8г3.

в=0

многочлен с неопределенными коэффициентами, и пусть

оо

р (.^)фз (г) = ^2 Рз* ^

=0

ё- 1

Р(2) = ^2Рззг8, з = 1,...,т. (7)

=0

Очевидно, при таких многочленах Р3 (г) функции

Ёгз(г) = Р3(г)фг(г) — Рг(г)ф3(г).

будут иметь при г = 0 требуемый порядок нуля. Подберем коэффициенты многочлена Р(г)

п

равенств

8 Я-Т ( )

^Рг(.в — т)3-1 П а(Х) = 0, 3 = 1,...,т, .в = п + !,...,N — 1. (8)

т=0 х=1 ( )

Рг= V- пх=1а(—х)

Положим

т! П™ & — т)

а — х) а х — )

отличны от нуля, т.к. условие (2) выполняется, в частности, и при ] = 1, а по условию теоремы = 0. При таком выборе коэффициентов левая часть (8) перепишется в виде

£ Тъв—у.8 (т)' (9)

=0 —

где

N— 1 в

Б(т) = (з - ту-1 П Мх - т) П а(х - т

ж=8+1 х=п+1

Поскольку степень многочлена Б (г) меньше в, то из леммы 1 следует, что сумма (9) равна нулю. Мы видим, что степени многочленов Р^ (г), ] = 1,..., т, не превосходят п. Непосредственно проверяется, что при 5 = 0,1,... ,п,и ] = 1,..., т, выполняется равенство= Отсюда ясно, что порядок нуля функций (6) не меньше N, и лемма доказана.

В дальнейшем через 71, ^2,... будем обозначать положительные постоянные, которые не п а( х) ( х)

теоремы числа ш и от поля I (а также, возможно, и от других параметров, возникающих по ходу дела).

Лемма 3. Имеют место оценки

(I \ т—г

П \ т—г

е11п, \Р3(ш/д)| < (п\)т—еъп, \Кгз(ш/д)| < (п\) — ^\д\^е^1п. (10)

Доказательство леммы носит чисто технический характер. Все оценки без труда выводятся из (5) и (6); при выводе последней оценки учитывается порядок нуля функций (6). Отметим также, что при выводе оценок (10) может оказаться полезной формула Стирлинга для Г-функции Эйлера (см., например, [9, с. 323, формула (4.3 : 8")]).

4. Совокупность приближений

Без труда проверяется, что функция ф1(г) удовлетворяет уравнению

й

Ь(5)у = а(5)гу, 5 = г—. (11)

Из (11) следует, что совокупность функций (1) удовлетворяют системе дифференциальных уравнений У' = АУ, где У = (у1,..., ут)Т, а квадратная матрица т-го порядка А составлена из рациональных функций, общий наименьший знаменатель которых обозначим через < = <<(г). Пусть

где

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Тогда

Р(1) =Р(1) (г)=Ъ (г), 3 = 1,...,т, П = Щ(г) = Ш) .

V / г,]=1,...,т

= = Щ3 (г).

П = ФР1 - (ФР1)1, Ф = Ф(г) = (М*),..., Фт(г))7 = (ф1,..., фт)Т, Р1 = (Р(1\. . . , Р^)-

Определим матрицы

П =Ш) , . 1 ,к = 1, 2,... ,

V / г,]=1,...,т

по индукции равенством

Пк = да'к—1 - АКк—1 + (АКк—1)Т). (12)

Непосредственно проверяется, что при этом выполняются равенства

Пк = ФРк - (ФРк )Т, Рк = (Р(к\.. .,Р^)) = Я(Р'к-1 - Рк—1АТ), к = 2,3,.... (13)

п

к,3=1,...,т

(14)

отличен от, тождественного нуля.

Доказательство см. [10, с. 395, лемма 4]. При доказательстве важную роль играет линейная независимость функций (1) над С(,г).

Дальнейшие рассуждения хорошо известны, см. [11]; они направлены на то, чтобы получить отличный от нуля числовой определитель типа (14), в котором г заменено на ш/ц. С помощью этих рассуждений мы получим определитель

Р3к\ш/д)

, =1,... , т

(15)

который отличен от нуля, и при этом индексы к1,..., кт ограничены сверху константой 72.

5. Оценки знаменателей

Лемма 5. Пусть X € I, а натуральное число А таково, что АХ € Z1, и пусть к1 и к2, к1 ^ к2, — произвольные целые рациональные числа,. Тогда

1) если X € то

к2

Ак2-к1+1 ^ ( X + х) (16)

х=к\

Г к2-к1+! 1

делится на = Пр {л Р Р >

^ Г к2 —к1 + 11

2) а, если X € I \ ^ то число (16) делится на 02 = П*|лд Р р > г<^е ^ — дискриминант поля I а П* означает, что произведение распространено лишь на те простые числа, (удовлетворяющие указанным условиям), которые в поле I разлагаются в произведение двух (различных) простых идеалов;

3) имеют место оценки

^г ^ ((к2 — кг + 1)\)1/ге^(к1-к2), г = 1,2. (17)

Доказательство первого утверждения и оценки (17) при г = 1 содержится в доказательстве [12, с. 186, лемма 2]. Доказательство второго утверждения и оценки (17) при г = 2 содержится в [8, с. 68, лемма 4].

Лемма 6. Пусть числа, Х1 и Х2 рациональны, и пусть Х2 € {—1,..., —п}. Тогда общий наименьший знаменатель множества чисел

к2 X +

П Х1^ , 1 <к1 О2 ^п. (18)

± * Х2 +х

х= к1

оценивается сверху величиной е 14'п.

Доказательство. В качестве общего знаменателя чисел (18) можно взять число

п Г 1

0 = Ап[] ( Х2 +х) Ц р3- ^ ,

х=1 р\Л, р^п

где натуральное число Л таково, что числа Л А1 и Л А2 лежат в 2. В самом деле, после умножения (18) на О мы получим

Л»+^2-1 ^ (а2 + х) ^+1^2 + х) Л*2-^1 Ди(А1+Х) з

\п-к2\ ' [к2-к1 + 1! ' И Р

ИрIлР[ р ] ПрIЛ'Р[ р ] ИрIЛ'Р[ р 1 Р+Лр<П

X П р[^ + [^ + [^-[, РI л

т.е., как легко видеть, целое число. Используя (17) при 1 = 1, легко получить и оценку сверху для О. Лемма доказана.

Заметим, что эту лемму можно доказать, следуя рассуждениям из [12, с. 186, доказательство леммы 2].

6. Доказательство теоремы

Рассмотрим теорему 1. В условиях этой теоремы количество рациональных корней многочлена 61 (х) равно т — Ш1 — 1 = 2г — 2 ^ г — 1. Выделим в каждом слагаемом в правой части равенства (5) дробь

-П"=+^1(Х — т)-, 0 <т< 0 <*<п. (19)

Пх=в+1 П ¿=1 (аг +Х — г)

Из леммы 6 следует, что общий наименьший знаменатель всех таких дробей оценивается сверху величиной е1ьп. Далее, в правой части равенства (5) можно выделить множитель

1 0 < т < 8 < п. (20)

тКз — т)!П х=в+1(«г +Х — т)

Через Л обозначим такое натуральное число, что все корни многочленов а(х) и Ь(х) становятся целыми после умножения на это число; такое соглашение вполне соответствует исполь-Л

Заметим, что если умножить любое из чисел (20) на

Лпп\Т\П (аг +х)Т\* Р3 М

Их=1у ' у11рI л П Р<п.

^х=1 1 -^р I ЛП,р<п

то мы получим после очевидных преобразований такую дробь

п! Лп- ПХ=>1 + х)

■ X

т! ( 8 - т)! ПрIЛП Р[Пр31 ПрIЛП Р[3рТ]

Лт ПП=п-г+1 ( а1 +х) п* I лп,р<п Р[ ^ 7

[Р1 ' тг* [-]

Пр I ЛП Р р Пр I ЛП Р р

п — й 1 | [ ^Т] | [Г 1 р1

" их=п-т+1У"1 1 ~ / 1 лп,р^гч_ /91 \

Х [Т1 ' [П1 .

В силу леммы 5 последнее выражение является целым числом в поле I. Общим наименьшим знаменателем некоторого множества чисел из мнимого квадратичного поля I называется наименьшее по модулю ненулевое целое число из этого поля, после умножения на которое все числа данного множества становятся целыми в этом поле. Суммируя вышесказанное, получаем с помощью (17) при г = 2, формулы Стирлинга, а также известного соотношения Пр<пР = е°(п\ см., например [13, с. 24, теорема 3.1], что общий наименьший знаменатель

дробей (20) оценивается сверху величиной (п\)3/2 е16П. В состав дроби (5) входит также мно-

житель

м-1

П к(х — т). (22)

х=п+1

Используя лемму 5, получим, что множитель (22) после домножения на Лп делится на натуральное число, которое оценивается снизу величиной

(п)

2т—т^ — 2 2(т — 1 ) .

Теперь мы можем доказать теорему 1. Заметим сначала, что не все числа ф1(£),..., фт(0> где через £ обозначено фигурирующее в формулировке теоремы 1 число ш/д, равны нулю — это следует из того, что функция ф(х) удовлетворяет уравнению (11). Будем считать для определенности, что ф1(^) = 0- Поскольку определитель (15) отличен от нуля, то при любом нетривиальном наборе целых в поле I чисел Ь,1,..., Нт найдется строка этого определителя, для которой

т

^ ь,р(к)(ОФ0,

з

3 = 1

(23)

где 1 ^ к ^ 7^. Оценим модуль выражения (23) снизу, считая, что к = 1. Суммируя изложенные выше соображения, касающиеся знаменателей дробей (19) и (20) и делителя произведения (23), получим такую оценку (с учетом того, что £ = ш/д)

Еь3р(1)(о

3 = 1

т+т 1 — 1

^ 1д1~пе~18П(п\)- 2(т—1)

Если 1 < к ^ 73, то, используя рекуррентные соотношения (13), мы можем написать такую оценку

£ ь3р(к)(0

3 = 1

т+Ш1 — 1

^ 1д1~п~79е~19П(п\)- 2(т—1)

(24)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

причем последние две оценки справедливы, если сумма в левой части отлична от нуля. Для получения оценки сверху перепишем выражение из левой части (23) следующим образом

Е ьрк)(о

3 = 1

1 ' р(к)(оТ,(о + £ъ(Рзк)(ОФ1(о—р(к\ОФз(О) I. (25)

Ф1(0

3 = 1

3=2

Если здесь предположить, что

т

£ (О = о,

3 = 1

то, с учетом (10) и (12)получим такое неравенство

£ ьф (о

3 = 1

< Н(п!)'

т — г т — 1

М"

гт +^9 еИ0П

(26)

где Н = шах(|^|,..., |Л,т|). Вспоминая, что т,1 = т — 2г + 1, мы видим, что оценки (24) и (26) противоречивы при достаточно большом |д|, что и доказывает теорему 1.

ги

7. Заключение

Обычно арифметическую природу значений гипергеометрических функций рассматривают в малых точках, когда в правой части (1) степени многочленов а(х) и Ь(х) равны. Однако, в ряде случаев можно получить новые результаты, ограничиваясь лишь малыми точками, и для целых гипергеометрических функций. При этом в случае иррациональных параметров приходится иметь дело с техническими трудностями, вызванными недостаточной точностью оценок общего наименьшего знаменателя некоторых дробей специального вида, см. [4, лемма 6]. Примеры таких результатов см. в работах [14] и [15].

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Galochkin A. I. On effective bounds for certain linear forms // New Advances in Transcendence theory. Cambridge, New Rochell, Melbourne, Sydney. 1988. P. 207-215.

2. Galochkin A. I. Linear independence and transcendence of values of hvpergeometric functions // Moscow journal of combinatorics and number theory. 2011. Vol. 1, iss. 2. P. 27-32.

3. Иванков П. Л. О линейной независимости значений некоторых функций // Фундаментальная и прикладная математика. Т. 1, № 1. 1995. С. 191-206.

4. Галочкин А. И. Об арифметических свойствах некоторых целых гипергеометрических функций // Сибирский математический журнал. Т. XVII, № 6. 1976. С. 1220-1235.

5. Галочкин А. И. О диофантовых приближениях значений некоторых целых функций с алгебраическими коэффициентами. I // Вестник МГУ. Серия 1. Математика, механика.

1978. № 6. С. 25-32.

6. Галочкин А. И. О диофантовых приближениях значений некоторых целых функций с алгебраическими коэффициентами. II // Вестник МГУ. Серия 1. Математика, механика.

1979. № 1. С. 26-30.

7. Галочкин А. И. О некотором аналоге метода Зигеля // Вестник МГУ. Серия 1. Математика, механика. 1986. № 2. С. 30-34.

8. Иванков П. Л. О значениях гипергеометрических функций с различными иррациональными параметрами // Фундаментальная и прикладная математика. Т. 11, № 6. 2005. С. 65-72.

9. Маркушевич А. И. Теория аналитических функций, том 2. М.: Наука, 1968.

10. Иванков П. Л. О совместных приближениях, учитывающих специфику однородного случая // Математические заметки. Т. 71, вып. 3. 2002. С. 390-397.

11. Chudnovskv D. V., Chudnovskv G. V. Applications of Pade approximations to diophantine inequalities in values of G-functions // Lecture Notes in Math. 1985. V. 1135. P. 9-51.

12. Шидловский А. Б. Трансцендентные числа M.: Наука, 1987.

13. Прахар К. Распределение простых чисел М.: Мир, 1967.

14. Иванков П. Л. О значениях функций с различными иррациональными параметрами в малых точках // Наука и образование. МГТУ им. Н. Э. Баумана. Электронный журнал. 2014, № 9. С. 65-74.

15. Иванков П. Л. О значениях продифференцированных по параметру гипергеометрических функций // Чебышевский сборник. Т. 13, вып. 2. 2012. С. 64-70.

REFERENCES

1. Galochkin, А. I. 1988, "On effective bounds for certain linear forms" , New Advances in Transcendence theory. Cambridge, New Rochell, Melbourne, Sydney, pp. 207-215.

2. Galochkin, A. I. 2011, "Linear independence and transcendence of values of hvpergeometric functions" , Moscow journal of combinatorics and number theory, v. 1, iss. 2, pp. 27-32.

3. Ivankov, P. L. 1995, "On linear independence of the values of some functions" , Fundamentalnaja i Prikladnaja MatemMika, v. 1, no. 1, pp. 191-206. (Russian).

4. Galochkin, A. I. 1976, "On arithmetic properties of the values of some entire hvpergeometric functions" , Sibirsk. Mat. Zh., vol. 17, no. 6, pp. 1220-1235. (Russian)

5. Galochkin, A. I. 1978, "On diophantine approximations of the values of some entire functions with algebraic coefficients. I" , Vestnik Moskov. Univ. Ser. I Mat. Meh., no. 6, pp. 25-32. (Russian).

6. Galochkin, A. I. 1979, "On diophantine approximations of the values of some entire functions with algebraic coefficients. II" , Vestnik Moskov. Univ. Ser. I Mat. Meh., no. 1, pp. 26-30. (Russian).

7. Galochkin, A. I. 1986, "On some analog of Siegel's method" , Vestnik Moskov. Univ. Ser. I Mat. Meh., no. 2, pp. 30-34. (Russian).

8. Ivankov, P. L. 2005 "On the values of hvpergeometric functions with different irrational parameters" , Fu,ndam,entalnaja i Prikladnaja MatemMika, v. 11, no. 6, pp. 65-72. (Russian).

9. Markushevich, A. I. 1967, "Teorija analiticheskikh funktsii, v. II"[Theory of analytic functions], Nauka, Moscow, 486 pp. (Russian)

10. Ivankov, P. L. 2002, "On simultaneous approximations taking into account a specific character of a homogeneous case" , Mat. Zametki, v. 71, no. 3, pp. 390-397. (Russian).

11. Chudnovskv, D. V., Chudnovskv, G. V. 1985, "Applications of Pade approximations to diophantine inequalities in values of G-functions" , Lecture Notes in Math., v. 1135. pp. 9-51.

12. Shidlovskii, A. B. 1987, " Transtsendentnye chisla [Transcendental numbers], Nauka, Moscow, 448 pp. (Russian)

13. Prachar, K. 1967, " Raspredelenije prostych chisel [Distribution of prime numbers], Mir, Moscow, 511 pp. (Russian)

14. Ivankov, P. L. 2014, "On the values of hvpergeometric functions with different irrational parameters at small points" , Science and education of the Bauman MSTU, no. 9, pp. 65-74. (Russian)

15. Ivankov, P. L. 2012, "On the values of differentiated with respect to parameter hvpergeometric functions" , Chebyshevsky sbornik, v. 13, no. 2, pp. 64-70. (Russian)

Получено 23.09.2019 г.

Принято в печать 12.11.2019 г.

i Надоели баннеры? Вы всегда можете отключить рекламу.