Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Арифметические приложения теории гипергеометрических рядов Пупырев, Юрий Александрович

Арифметические приложения теории гипергеометрических рядов
<
Арифметические приложения теории гипергеометрических рядов Арифметические приложения теории гипергеометрических рядов Арифметические приложения теории гипергеометрических рядов Арифметические приложения теории гипергеометрических рядов Арифметические приложения теории гипергеометрических рядов
>

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Пупырев, Юрий Александрович. Арифметические приложения теории гипергеометрических рядов : диссертация ... кандидата физико-математических наук : 01.01.06 / Пупырев Юрий Александрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.].- Москва, 2011.- 62 с.: ил. РГБ ОД, 61 11-1/727

Введение к работе

Актуальность темы

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

В 1873 году Эрмит построил совместные приближения функций ez,... , emz рациональными функциями. То есть, он нашел в явном виде многочлены Qo(z),..., Qm(z) такие, что кратности нуля в точке z = 0 функций Qo(z)ekz — Qk{z) будут максимально возможными в зависимости от степеней многочленов Qk- Значения этих многочленов в точке z = 1 использовались Эрмитом для построения совместных приближений к е,е2,. .. ,ет рациональными числами, что позволило ему доказать трансцендентность е.

Пусть скі,... , ат - различные комплексные числа, щ,щ,...,пт - неотрицательные целые числа, и определим

f(x) = хщ(х - ai)ni (х- ат)Пт.

Полагая М = щ + щ + + пто, получим

Qo(z)eakZ - Qk(z) = zM+1eakZ / e~ztf(t) dt, (1)

где degQk{z) < M — rik- При подстановке z = 1 в (1), мы получим равенство, которое Эрмит использовал для доказательства трансцендентности е, а Линдеман в 1882 году для доказательства трансцендентности 7Г.

Таким образом, конструкция совместных приближений e^z рациональными функциями Qk{z)/Qo{z) позволила построить совместные приближения чисел е% рациональными числами Qk(l)/Qo(l).

Подобная конструкция существует и для гипергеометрической функции. Рассмотрим следующий ряд, называемый Гауссовой гипергеометрической функцией:

7 \ ОО

а, о

[а)ЛЬ)і

[с)

F(z) = F(a,b,c;z) = 2F1

\ X r \yjJ}V\иIV у

z)=2^ — z

где а, Ь, с Є С и с ф 0, —1, —2,...; здесь (ско) = 1 и [a)v = а + 1) (a + v — 1). Если а или Ъ принадлежат множеству {0, —1, —2,... }, то

F(z) - многочлен; в противном случае это ряд с радиусом сходимости, равным 1.

Гаусс нашел следующее разложение в цепную дробь:

F(a, &, с; z)

F(a,b + 1,с + l\z) где комплексные числа

{а + к){с-Ъ + к)

d2k+i

[c + 2k){c + 2k + l] Эта цепная дробь сходится к

1 + 4А + 4А +

(b + к)(с-а + к) {с + 2к-1)(с + 2к) '

(2)

F(a, &, с; z)

F(a,b + 1,с + l\z)

в области 0 < arg(z — 1) < 27г. Числитель An(z) и знаменатель Bn(z) подходящей дроби - это многочлены с комплексными коэффициентами и

~п + 1"

deg Бп <

deg Лп <

Имеет место подобное (1) равенство

Bn(z)F(a, 6, с; г) - An(z)F(a, Ь + 1, с + 1; z) = (-1) an+1zn+lfn+1{z),

f2k{z) = F{a + k,b + k,c + 2к; z), f2k+i{z) = F{a + k,b + к + l,c + 2k + I] z).

Из (2) следует такое разложение:

F(a, 1,с; z)

1 at a? ^ + ^ + ^ + 1 1 1

где коэффициенты а* получаются из ai подстановкой Ъ = 0 и заменой с на с-1.

В 1907 году Паде нашел явное представление для рациональных приближений F(a,l,c; z) с различными ограничениями на степени числителей и знаменателей подходящих дробей.

Якоби нашел следующее представление для остатка и знаменателя приближения Паде функции F(a, 1, с; 1/х) в окрестности бесконечности. Пусть Re а > 0, Re(c — а) > 0, и пусть

Qn(x) = F(—n, с + п — 1, а, ж)

1-а/

11+а—с

'А'

1 *ЛУ

а-\-п—1 і

іс—а+п—1N

- многочлен Якоби, degQn(^) = п. Пусть многочлен Рп(х) степени п — \ определен равенством

-f п, \ X ,

ta-l(l

,\c-a-\4n\t) Qn\Xj ,

Тогда имеем следующее тождество:

'1 4-а+п—1/1 уЛс—а+п—1

dt.

х-

хРп(х) -Qn(x)F[ а, 1,с;

v xj (a)nJ0 (t-x)n+l

Обобщенная гипергеометрическая функция определяется рядом

ttQ, CLl;

і 0"m

(3)

(<»o)>-(ai)„- (am)„zl

m+l"m

і um

&i, ..., b.

z/=0

(bi)^ (brra)^ v\

условие

Re(a0 + cl\ H h am) < Re(&i H + bm)

обеспечивает сходимость ряда (3) в области \z\ < 1. Важную роль в анализе гипергеометрических рядов играют формулы суммирования и преобразования; в качестве примеров укажем формулу суммирования Гаусса

и, h .- 11 г(с)г(с - а -Ь)

F(a,6,c,l)-r(c_a)r(c_6),

формулу суммирования Пфаффа-Заалынютца

—n, а, 6 с, 1 + а + 6 — с

(с-а)п(с-&),

п Є N.

3^2

(с)п(с - а - Ь)п '

Классическая проблема Варинга утверждает, что для любого целого к > 2 существует s с тем условием, что каждое натуральное число представляется в виде суммы не более s слагаемых вида ак, где а - натуральное число. Наименьшее s с таким свойством обозначается д(к). Известно, что неравенство

3/

>

(4)

влечет представление

т

2к +

(5)

где [] и || || обозначают соответственно целую часть числа и расстояние

до ближайшего целого, ||ж|| = тіп({ж}, 1 — {х}).

В 1957 г. Малер1 использовал обобщение Риду известной теоремы Рота,

чтобы показать, что неравенство

для целых и и v и вещественного О имеет лишь конечное число решений

в целых к для любого С < 1. В частности, в случае 0=1, u/v = 3/2,

С = 3/4 получается неравенство (4), а вместе с ним и представление (5),

для всех к > К7 где К - абсолютная, но неэффективная постоянная.

В связи с этим возникла задача получить нетривиальную (с С > 1/2) и

эффективную (в терминах К) оценку вида

> Ск для всех к > К. (6)

Первое продвижение в решении этой задачи сделали в 1975 г. Бейкер и Коэтс.2 Применив эффективные оценки линейных форм для р-адических логарифмов, они показали справедливость (6) с С = 2_(-1_1 К

В 1981 г. Бэйкерс3 существенно улучшил этот результат, доказав, что неравенство (6) выполняется с С = 2-0-9 = 0.5358... при к > 5000. Доказательство Бэйкерса основано на приближениях Паде к остатку биноми-

ального ряда (1 - z)m = EJIU (")(-*Г-

В 1990 г. Дубицкас4 использовал конструкцию Бэйкерса для получения оценки (6) с С = 0.5769 ....

ХК. Mahler, "On the fractional parts of powers of real numbers. II", Mathematika 4, 1957, 122-124.

2A. Baker, J. Coates, "Fractional parts of powers of rationals", Math. Proc. Cambridge Philos. Soc. 77, 1975, 269-279.

3F. Beukers, "Fractional parts of powers of rationals", Math. Proc. Cambridge Philos. Soc. 90:1, 1981, 13-20.

4A.K. Дубицкас, "Оценка снизу величины ||(3/2)fc||", УМН 45:4, 1990, 153-154.

В этом же году Кубина и Вундерлих5 проверили неравенство (4) для всех к < 471600000.

В 1993 г. Беннет6'7 рассмотрел обобщение проблемы Варинга, именно, задачу о порядке дм{к) аддитивного базиса

(к)

{l\Nk,{N + l)k,...}, N>2,

множества целых положительных чисел. Он установил лучшие на данный момент оценки для последовательностей ||(1 + 1/W)fc||:

1 +

1 V

N )

>3"

при 4 < N < к У

и с их помощью получил представление

gN(k) = Nk +

1 +

(7)

при 4 < N < (к + l)^-1)/* - 1.

В 2003 г. Хабсигер,8 пользуясь, как и Дубицкас, конструкцией Бэйкерса, получает оценку (6) с С = 0.5770...; его работа также содержит оценку

(8)

> 0.57434^ при к > 5,

полученную на основе вычислений работ Делмера, Дезуера и Кубины, Вун-дерлиха.

Наконец, в 2007 г. Зудилин,9 модифицировав конструкцию Бэйкерса, а именно, рассмотрев приближения Паде к остатку ряда 1/(1 — z)m+l = Yln^o (ШтП)^П и П0ЛУЧИВ точные оценки р-адических порядков возникающих биномиальных коэффициентов, пришел к оценке

> 0.5803'

для всех к > К,

5J. Kubina, М. Wunderlich, "Extending Waring's conjecture up to 471600 000", Math. Сотр. 55:192, 1990, 815-820.

6M.A. Bennett, "Fractional parts of powers of rational numbers", Math. Proc. Cambridge Philos. Soc. 114:2, 1993, 191-201.

7M.A. Bennett, "An ideal Waring problem with restricted summands", Acta Arith. 66:2, 1994, 125-132.

*L. Habsieger, "Explicit lower bounds for ||(3/2)fc||", Acta Arith. 106:3, 2003, 299-309.

9W. Zudilin, "A new lower bound for ||(3/2)fc||", J. Theor. Nombres Bordeaux 19:1, 2007, 311-323.

4 '5'

при к > К\} при к > Я~25

где К - некоторая эффективная постоянная. Конструкция его работы позволила ему также получить оценки

> 0.4914"

> 0.5152"

где К\ и ІС2 - эффективные постоянные. Указанная оценка снизу для ||(4/3)fc|| дополняет результат Беннета о порядке аддитивного базиса {1^, 3fc,4fc,... }, который требует выполнения ||(4/3)fc|| > (4/9)fc при к > 6, с тем условием, что последнее неравенство будет проверено в диапазоне 6

В качестве обобщения предыдущей темы могут рассматриваться последовательность дробных долей степеней фиксированного числа а > 1 и более общая последовательность {<^ап}, п = 1,2,..., где ^^0иа>1-вещественные числа.

Для натуральных s = 1,2,... определим д-ряды

Us) = ^2^s-i(n)qn дєС, \q\ < 1,

(9)

n=l

^2id\n^a 1 обозначает сумму степеней делителей. Несложно

где а3-\[п)

проверить предельные соотношения

lim(l-g)eCg(s) = (s-l)!-CW:

q->l

где ((s) - значения дзета-функции Римана (дзета-значения). Это обстоятельство мотивирует название q-дзета-значения для рядов (9).

Для четных s > 2 ряды Es(q) = 1 — 2s(q(s)/Bs, где Bs Є Q - числа Бернулли, известны как ряды Эйзенштейна. Поэтому из устройства пространства модулярных форм следует, что функции Cg(2), Cg(4), (q(6) алгебраически независимы над Q[q]: в то время как остальные четные q-дзета-значения являются многочленами (с коэффициентами из Q) от Сд(4) и Cq(6).

Цель работы

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

Доказательство трансцендентности и алгебраической независимости некоторых д-рядов.

Научная новизна

В диссертации решены следующие новые задачи.

  1. Доказана эффективная нижняя оценка для ||(4/3)fc|| в зависимости от к.

  2. Получена оценка на расстояние ||31'32fc|| при к, превосходящих некоторую эффективную границу.

  3. Доказаны теоремы о линейной и алгебраической незавасимости над C(q) некоторых д-рядов.

Основные методы исследования

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

Теоретическая и практическая ценности работы

Диссертация имеет теоретический характер. Предложенные в диссертации методы и полученные результаты представляют интерес для специалистов теории чисел.

Апробация работы

Результаты диссертации докладывались на следующих научно-исследовательских семинарах и научных конференциях:

Научно-исследовательский семинар по теории чисел (Чл.-корр. РАН
Ю.В. Нестеренко, проф. Н.Г. Мощевитин), неоднократно в 2009-2010 гг.

Семинар "Диофантовы приближения и трансцендентные числа" (Чл.-корр. РАН Ю.В. Нестеренко, асе. Е.А. Уланский), 2009 г.

International scientific conference "Diophantine and analytic problems in number theory" (Moscow, MSU, 2007).

Публикации

Результаты автора по теме диссертации опубликованы в трех работах, список которых приведен в конце автореферата [1]-[4].

Структура и объем диссертации

Похожие диссертации на Арифметические приложения теории гипергеометрических рядов