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

Наука и Образование. МГТУ им. Н.Э. Баумана. Электрон. журн. 2014. №10. С. 102-113.

Б01: 10.7463/1014.0728991

Представлена в редакцию: 14.09.2014 Исправлена: 04.10.2014

© МГТУ им. Н.Э. Баумана ЗДК 511.361

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

Иванков П. Л.1'*, Обухов В.П.1 ¿уапкоурЩтаП.га

1МГТУ им. Н.Э. Баумана, Москва, Россия

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

Ключевые слова: оценки линейных форм; совместные приближения; обобщенные гипергеометрические функции; дифференцирование по параметру

Введение

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

Наука и Образование

МГТУ им. Н.Э. Баумана

Сетевое научное издание

ISSN 1994-0448

значений продифференцированных по параметру гипергеометрических функций. При этом во всех указанных там теоремах параметры рассматриваемы« функций рациональны (см. работы [2, 3, 4, 5, 6, 7, 8, 9, 10]). В [11], по-видимому, впервые доказана теорема, в которой фигурирует продифференцированная по параметру функция, и этот параметр принимает иррациональное значение. Отличие последней упомянутой теоремы от приведенной ниже теоремы 1 заключается в том, что в теореме из [11] фигурирует гипергеометрическая функция типа (1), у которой Ь(х) = ж, и значения функций берутся не в произвольной точке £ = 0, а в точке вида 1/q, где д — достаточно большое по модулю число. Обобщение получено за счет использования совместных приближений. Основным моментом соответствующего рассуждения является оценка общего наименьшего знаменателя коэффициентов аппроксимирующих многочленов; при получении такой оценки применяются специально разработанные для этого технические приемы.

1. Формулировка основной теоремы

Пусть Ь(х) — многочлен степени т, т ^ 1, старший коэффициент которого равен единице; Ь(0) = 0; Ь(х) = 0 при х =1, 2, ...; I — некоторое мнимое квадратичное поле; Ь(х) е 1[ж]; Л е I \ и = т +1.

Рассмотрим при I = 0, 1, ] = 1, ..., и следующие функции:

V 1 Л IV 1

= П Ь(Х) 5*П жтт (1)

При выполнении перечисленных условий справедлива следующая теорема.

Теорема 1. Пусть £ — ненулевое число из поля I; кц, I = 0, 1, ] = 1, ..., и, — нетривиальный набор целык чисел из этого поля; Н — максимум модулей этих чисел. Тогда для любого е > 0 найдется положительное Н0, такое, что при Н ^ Н0 выполняется неравенство

1 и

> Н1 —4и-£

1и

ЕЕ кц (£)

1=0ц=1

2. Доказательство основной теоремы

В работе [12] рассматриваются функции вида

V а(х) Л1к V 1

Рк1кЦ (г) = Е V3-1 П ^ П 1

v=0 х=1 Ь(х) ЛЛ1Т х + Л

к = 1, ...,Ь, ¡к = 0, 1,...,тк - 1, ] = 1, ...,и,

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

Рк1кз (г)Рк%Ц (г) - Рк%Ц (г)Рк1кз (г)

имеют при г = 0 порядок нуля, близкий к максимально возможному. Мы используем здесь эту конструкцию, предварительно дав ее краткое описание применительно к рассматриваемой в данной работе ситуации (т.е. в случае к = 1, 1\ = I = 1, а(х) = 1). Основная трудность заключается в оценке общего наименьшего знаменателя коэффициентов многочленов Рк1кц(г). В работе [12] такой проблемы не было, так как там рассматривается случай рациональных Аь . .., Xt. Итак, пусть п — натуральное число, и пусть

N

2ип

2и — 1

N0

ип

2и — 1

N2-1

£(*)= П (г - А + х)2

(2)

(3)

х=0

1

Й = Я(С) ^ = 2па $

Г1 П (С + х)

x=Nl —,

р = 0, 1, ..., N1

где Г1 — какая-либо положительно ориентированная окружность, охватывающая все полюсы подынтегральной функции. Из теории рядов Ньютона вытекает справедливость равенства

N1 N 1-, 1

£ й, П 1

И - I х N1 ,=0 х=1 - + х п (- + х)

х=1

(4)

см., например, [13, гл. 2, §2.2]. Далее, пусть

N1

Р, = Й, П Ь(х), Р(*) = £ Р,^

х=1

,=0

Составим бесконечный ряд

и рассмотрим многочлен

Р(г) (г) = £рЦг"

(5)

(6)

^=0

Р* (г) = £ рЦ г "

^=0

являющийся частичной суммой этого ряда. Звездочки * здесь поставлены для того, чтобы различать многочлен РЦ (г) и встречающийся ниже многочлен (8). Отметим также, что, хотя указанные многочлены, как и их коэффициенты, зависят от п, по сложившейся традиции эта зависимость не указывается. В цитированной выше работе [12] доказано, что (при выполнении условий теоремы) функции

РЦ (г) ,ц (г) - РЦ (г) (г)

отличны от тождественного нуля (если (/, ]) = (/',_;')) и имеют при г ниже N + 1. Для наших целей удобнее использовать многочлены

п

Рц(г) = £ РЦ г *, ^=0

(7)

0 порядок нуля не

(8)

где

0 = (А + 1)... (Л + N - ЛТ2) (10)

4 N1! . к }

Очевидно, что при этом сделанные выше утверждения о функциях (7) останутся в силе.

Нашей ближайшей задачей является получение оценки общего наименьшего знаменателя коэффициентов многочленов (8). Эти коэффициенты, очевидно, лежат в поле I. Общим знаменателем множества чисел X с I называется такое ненулевое целое число и из этого поля, что их € при любом х € X. Наименьший по модулю общий знаменатель множества X называется общим наименьшим знаменателем этого множества.

Лемма 1. Пусть а — неотрицательное целое рациональное число. Тогда

1 ((г - а)

N1 N1-^

Е ^(г^) П — = N1((г а) , (11)

х=1 г + х п (г - а + х)

Х=1

где

г + N1 - ^ - х Са (г,^) = Ц---.

х=0 г Х

Для доказательства достаточно заменить г на г - а в равенстве (4). Лемма 2. Пусть В(г,^) — многочлен от двух переменных, степень которого по переменной ^ не превышает N. Тогда

N1 N1-V 1 N ((- а)

Е е>В(г,и) П -+Х = Е а^ 1((г а) , (12)

м=0 х=1 г +х .=° п (г - а + х)

Х=1

а. = - П (г - х)^ Г ---(13)

х=о 2п Г2 П (г + N1 - С - х)

х=0

где положительно ориентированная окружность Г2 охватывает все полюсы подынтегральной функции.

Доказательство. Запишем равенство

N

В(г,^) = Е а.С.(г,^), (14)

.=0

где а. определяется правой частью (13). Справедливость этого равенства обосновывается в теории рядов Ньютона (см. замечание по поводу равенства (4)). Подставив в (12) вместо В(г, правую часть (14), получим такое выражение для левой части (12):

N N1 N1-^ 1

Е а. Е е»С°(г,^) П .

.=0 ^=0 х=1 г + х

Отсюда с учетом (11) получаем требуемое. Лемма доказана.

Лемма 3. При V = 1, ..., п, ] = 1, ..., и справедливо равенство

N2-1

N4 а П (х - -) 1 , В (1/) ^

* = -в £ П(а - - + -¿/ а (А ,с)

х=1 Г1 (А - - + х) Гз П (А + N1 - ( - х)

х=1 х=0

где N4 = и(ЛТ1 + 1) - 1.

Доказательство. Из(1), (5), (6), (8) и (9) следует, что при 0 ^ V ^ п выполняется равенство

V 1 1

** =в £- "у-1Д щ 5*Д А+х ■ (16)

Преобразуем последнее выражение при I = 0. Подставляя в (16) выражение для из (5), получаем:

/ N1 N1-^ 1 ■

P0jv = 9 ^^ П г + х

\^=0 х=1 2 + /

, (17)

,г=А

N1

Bjv(2, = (V - Ц 6(х - + 2 - (18)

Ж = V+1

Верхний индекс суммирования V можно заменить на N в силу условия 6(0) = 0. Применяя лемму 2, получаем равенство

P0jv = в ( £

N4 - -)

а,

N1

а=0 П (2 - - + ж)-

ж=1

, (19)

,г=А

где

гг\ ^ 1 Г Bjv (*,<) ^ (20)

= - Ц- х)^ -а-, (20)

х=0 2п Гз П (2 + N1 - С - ж)

ж=0

а положительно ориентированная окружность Г3 охватывает все полюсы подынтегральной функции.

Так как ф(А - -) = 0 при 0 ^ - ^ N2 - 1, то, с учетом (3), (19) и (20), получаем требуемое равенство (15).

Лемма 4. Справедливо равенство

N2-1

д ( Пг + ) Д (* +х--)2 1 [ В^(*,<Ж

х — — + X )

= -вя" ( £ Ш2 - - + х)

^=N2 Х=1 П1 (2 - - + х) Г П (2 + N1 - С - х),

х=1 ' х=0

в котором N определяется, как в предыдущей лемме.

, (21)

,г=А

Доказательство. Преобразуем (16) в случае I = 1. Имеем

* V-. 1 & V-. 1

рци = з ЕР.^ - 1 П гттл ттг П

.=0 х=1 Ь(х) -Л х=1 Л + Х

N1 N1 & / N1 N1 -. 1

9 - П Ь(х - - П (х + Л - П Л + .

.=0 ж=^+1 &Л \ж=^+1 ж=1 Л + Х/

N1 о / N1-. 1 N

= 4 £ ^ (

(22)

,г=Л

где (г, определяется равенством (18). Поскольку обе части (12) можно продифференцировать по г, то из (22) следует, что

д ("4 ^(г - а)

= ^ (Е

дИ ^ N1 дг \ст=0 П (г - а + х) /

Ж=1

,г=Л

числа определены равенством (20). Отсюда и из (20) получаем требуемое равенство (21); суммирование можно начинать с а = N2, так как из (3) следует, что

дд (г - а) =0

дг

при г = Л и а = 0,1,..., N - 1. Лемма доказана.

Через 7ь 72, .. . будем обозначать положительные постоянные, зависящие от параметров функций (1).

Лемма 5. Общий наименьший знаменатель коэффициентов многочленов (8) оценивается

сверху величиной е71га(п!) 2(2и-1).

Доказательство. Используя (15) и (21), нетрудно получить оценку модуля общего наименьшего знаменателя коэффициентов . Если записать интеграл, входящий в правую часть (15) в виде вычета относительно точки ( = то, то станет ясно, что при всех допустимых значениях индексов ] и V эти интегралы лежат в поле I, а модуль их общего наименьшего знаменателя оценивается сверху числом в72"-. Аналогичной величиной оценивается и модуль общего наименьшего знаменателя коэффициентов при этих интегралах. Из (10) следует, что

N1

произведение П (Л - а + х), входящее в знаменатель (15), полностью сокращается. Оценка

Х=1

знаменателя дроби

N2-1 П (х - а)2

ж=0_

N1

основывается на сравнении степеней, в которых простые числа входят в числитель и знаменатель этой дроби. Соответствующее рассуждение является стандартным (см., например, доказательство леммы 2 в [1, с. 186]) и приводит к оценке вида е7зга. Таким образом, модуль общего наименьшего знаменателя чисел оценивается сверху величиной в74"-. При

получении оценки для общего наименьшего знаменателя коэффициентов (21) приходится учитывать последствия дифференцирования. Легко видеть, что здесь требуется дополнительно оценить общие наименьшие знаменатели чисел

2- ■■■■ ж- (23)

а также чисел

11

А +1' •••' А + N2' (24)

Хорошо известно, что для чисел (23) соответствующая оценка есть в76"-. Для чисел (24) требуемая оценка получена в [11, с. 68-69]; здесь модуль общего наименьшего знамена-

и

теля оценивается сверху величиной в76 (п!) 2(2и-1). Суммируя все вышесказанное, получаем требуемую оценку. Лемма доказана.

Кроме оценки общего наименьшего знаменателя коэффициентов многочленов (8) для доказательства основной теоремы важно иметь также оценки сверху модулей значений (при 2 = £) этих многочленов и модулей значений функций

Пл'(*) = Р, (2) Р'(2) - Р'(2) Р, (2). (25)

Лемма 6. Справедливы оценки

|Р,(е)1 ^ в7тга(п!)и, |п, 1 л(е)1 ^ в7тга(п!)-^.

В этих неравенствах константа 77 может зависеть также и от е.

Доказательство мы не приводим, так как данные оценки получаются непосредственно из определений многочленов р, (г) и функций п,г, (2); помимо этого принимается во внимание замечание о порядке нуля при 2 = 0 функций (25), сделанное после равенства (7).

Дальнейшие шаги стандартны: располагая совместными приближениями для функций Рг, (2), можно построить целую совокупность таких приближений с отличным оттождествен-ного нуля определителем. Возможность такого построения основана на том, что функции (1) удовлетворяют системе дифференциальных уравнений, а функции (25) имеют порядок нуля, близкий к максимально возможному. Используется также и линейная независимость функций (1) над полем рациональных дробей, установленная в [14]. Подробно указанное построение рассматривается в работе [15]; менее подробно — в работе [16]. Затем осуществляется переход от функциональных приближений к числовым. Эта процедура также является стандартной; подробно она описана в работе [15]. Получающийся при этом результат оформим в виде леммы.

Лемма 7. При каждом натуральном п в поле I существует набор чисел и((к), к = 1, ..., 2и, I = 0, 1, ] = 1, ..., и, обладающих следующими свойствами:

1) определитель ||, к = 1, ..., 2и, I = 0, 1, ] = 1, ..., и, отличен от нуля;

и

(к)

2) модуль общего наименьшего знаменателя чисел и,) не превышает в78га(п!)2(2и-1);

3)

4)

WfFj, (£) - wj Fjj (£)

(k)

,(k)

w,

^ в78га(п!) 2и-1;

^ е78га(п!)и.

В последних трех пунктах индексы к, /, могут принимать все допустимые значения. Из последней леммы утверждение основной теоремы 1 выводится хорошо известным приемом; см., например, рассуждения из [16, с. 396].

u

Заключение

Возможности метода, использованного для доказательства теоремы 1, еще не исчерпаны. Можно предположить, что этот метод позволит получить аналогичный результат и для дважды продифференцированной по параметру функции вида (1). При этом, по-видимому, придется ограничиться значениями соответствующих функций в точке вида 1/д. Представляется естественной также возможность варьировать параметр Л, входящий в правую часть равенства (1).

Список литературы

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

2. Белогривов И.И. О трансцендентности и алгебраической независимости значений некоторых E-функций//ВестникМГУ. Серия 1. Математика, механика. 1967. №2. С. 55-62.

3. Шидловский А.Б. О трансцендентности и алгебраической независимости значений целых функций некоторых классов // Ученые записки МГУ. 1959. Вып. 186. Математика. 9. С. 11-70.

4. Шидловский А.Б. О трансцендентности и алгебраической независимости значений некоторых функций//Труды Московского математического общества. 1959. Т. 10. С. 283-320.

5. Mahler K. Application of a theorem by A.B. Shidlovski // Proc. Roy. Soc. Ser. A. 1968. Vol.305. P. 149-173.

6. Белогривов И.И. О трансцендентности и алгебраической независимости значений E-функций одного класса // Сибирский математический журнал. 1973. Т. 14. №1. С. 16-35.

7. Vaananen K. On the transcendence and algebraic independence of the values of certain E-functions // Ann. Acad. Sci. Fennicae. Ser. A. Math. 1973. Vol. 537. P. 3-15.

8. Vaananen K. On the algebraic independence of some E-functions related to Kummer's functions//Ann. Acad. Sci. Fennicae. Ser. A. Math. 1975. Vol. 1. P. 183-194.

9. Vaananen K. On the algebraic independence of the values of some E-functions // Ann. Acad. Sci. Fennicae. Ser. A. Math. 1975. Vol. 1. P. 93-109.

10. Mahler K. Lectures on Transcendental Numbers. Berlin: Springer Verlag. 1976.

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

12. Иванков П.Л. О значениях некоторых функций, удовлетворяющих однородным дифференциальным уравнениям//Чебышевский сборник. 2013. Т. 14, вып. 2. С. 104-112.

13. Фельдман Н.И. Седьмая проблема Гильберта. М.: Изд-во Моск. ун-та. 1981.312 с.

14. Иванков П.Л. О линейной независимости некоторых функций // Чебышевский сборник. 2010. Т. 11, вып. 1. С. 145-151.

15. Chudnovsky D.V., Chudnovsky G.V. Applications of Pade approximation to Diophantine inequalities in values of G-function // Lect. Notes in Math. 1985. Vol. 1135. P. 9-51.

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

Science ^Education

Science and Education of the Bauman MSTU, 2014, no. 10, pp. 102-113.

DOI: 10.7463/1014.0728991

of the Bauman MSTU Received: 14.09.2014

Revised: 04.10.2014

© Bauman Moscow State Technical University

ISSN 1994-0448

On Arithmetic Properties of the Values of Hypergeometric Functions Differentiated with Respect to Parameter

Ivankov P. L.1' , Obukhov V. P.1 *

ivankovpliolmail.ru

bauman Moscow State Technical University, Moscow, Russia

Keywords: estimates of linear forms, simultaneous approximations, generalized hypergeometric functions, differentiation with respect to parameter

In this paper we obtain the low estimate of the modulus of linear form in the values of generalized hypergeometric function and its derivatives (also with respect to parameter) at the nonzero point of some imaginary quadratic field. The parameter with respect to which the differentiation is fulfilled is irrational. For the solution of such a problem it is impossible to apply directly known in the theory of transcendental numbers Siegel's method, since above mentioned functions do not belong to a special class of entire functions introduced by Siegel. The method of Siegel implies the construction of linear approximating form (or simultaneous approximations) by means of Dirichlet principle. The constructed form must satisfy strict requirements, which are of importance in the arithmetic part of the method. Construction of this type cannot be realized if the least common denominator of the first n coefficients of Taylor series of the functions under consideration grows too fast. There exists a modification of the method of Siegel which makes it possible to apply in some cases Dirichlet principle for the construction of approximating forms also for hypergeometric functions with irrational parameters, but it is unknown if this modification can be applied for functions differentiated with respect to parameter.

Usually in the case of irrational parameters for the investigation of the arithmetic properties of the values of the functions under consideration one applies effective methods for constructing linear approximating form. If we apply such a construction in the case when we have differentiation with respect to the irrational parameter we shall have to introduce additional restrictions: the hypergeometric function must be of a special type and its value calculated in the point belonging to the vicinity of the origin of the coordinate system. The practice of dealing with similar problems shows that better results can be achieved by using simultaneous approximations. This approach makes it possible to consider functions of more general type and to reject the unnecessary restriction on the point in which the values of these functions are calculated.

In this paper we use the effective construction of simultaneous approximations. This requires some additional technique for the estimation of the least common denominator of the coefficients of the approximating polynomials. All this allows us to improve and generalize earlier results. Remaining within the methods used in this paper one can obtain some other results concerning the arithmetic properties of the values of the hypergeometric functions differentiated with respect to parameter.

References

1. Shidlovskii A.B. Transtsendentnye chisla [Transcendental numbers]. Moscow, Nauka Publ., 1987. 448 p. (in Russian).

2. Belogrivov I.I. Transcendence and algebraic independence of values of some E-functions. VestnikMGU. Ser. 1. Matematika. Mekhanika, 1967, no. 2, pp. 55-62. (in Russian).

3. Shidlovskii A.B. Transcendence and algebraic independence of the values of entire functions of certain classes. Uchenye zapiski MGU. Vyp. 186. Matematika. T.9. Moscow, MSU Publ., 1959, pp. 11-70. (in Russian).

4. Shidlovskii A.B. Transcendentality and algebraic independence of the values of E-functions. Trudy Moskovskogo matematicheskogo obshchestva, 1959, vol. 10, pp. 283-320. (in Russian).

5. Mahler K. Application of a theorem by A.B. Shidlovski. Proc. Roy. Soc. Ser. A, 1968, vol. 305, pp.149-173.

6. Belogrivov I.I. Transcendentality and algebraic independence of the values of E-functions of the same class. Sibirskii matematicheskii zhurnal, 1973, vol. 14, no. 1, pp. 16-35. (in Russian).

7. Vaananen K. On the transcendence and algebraic independence of the values of certain E-functions. Ann. Acad. Sci. Fennicae. Ser. A: Math., 1973, vol. 537, pp. 3-15.

8. Vaananen K. On the algebraic independence of some E-functions related to Kummer's functions. Ann. Acad. Sci. Fennicae. Ser. A: Math., 1975, vol. 1, pp. 183-194.

9. Vaananen K. On the algebraic independence of the values of some E-functions. Ann. Acad. Sci. Fennicae. Ser. A: Math., 1975, vol. 1, pp. 93-109.

10. Mahler K. Lectures on Transcendental Numbers. Springer Berlin Heidelberg, 1976. 254 p. (Ser. Lecture Notes in Mathematics; vol. 546). DOI: 10.1007/BFb0081107

11. Ivankov P.L. Values of hypergeometric functions that are differentiated with respect to parameter. Chebyshevskii sbornik, 2012, vol. 13, no. 2, pp. 64-70. (in Russian).

12. Ivankov P.L. On the values of some functions satisfying homogeneous differential equations. Chebyshevskii sbornik, 2013, vol. 14, no. 2, pp. 104-112. (in Russian).

13. Fel'dman N.I. Sed'mayaproblema Gilberta [The seventh Hilbert's problem]. Moscow, MSU Publ., 1982. (in Russian).

14. Ivankov P.L. On the linear independence of some functions. Chebyshevskii sbornik, 2010, vol. 11, no. 1, pp. 145-151. (in Russian).

15. Chudnovsky D.V., Chudnovsky G.V. Applications of Pade approximation to Diophantine inequalities in values of G-function. In: Number Theory. Springer Berlin Heidelberg, 1985, pp. 9-51. (Ser. Lecture Notes in Mathematics; vol. 1135). DOI: 10.1007/BFb0074600

16. Ivankov P.L. Simultaneous Approximations with Regard to the Specific Character of the Homogeneous Case. Matematicheskie zametki, 2002, vol.71, iss. 3, pp. 390-397. (English translation: Mathematical Notes, 2002, vol.71, no. 3, pp. 355-361. DOI: 10.1023/A:1014898808012).