Содержание к диссертации
Введение
1 Оценка коротких тригонометрических сумм Г.Вейля 18
1.1 Вспомогательные леммы 18
1.2 Теоремы об оценках коротких кубических тригонометрических сумм . 20
1.3 O среднем значении коротких сумм Вейля 32
2 Асимптотическая формула в проблеме Варинга для кубовс почти равными слагаемыми 37
2.1 Вспомогательные леммы 37
2.2 Особый ряд 39
2.3 Асимптотическая формула для девяти кубов в проблеме Ва-ринга 48
Литература 56
- Теоремы об оценках коротких кубических тригонометрических сумм
- O среднем значении коротких сумм Вейля
- Особый ряд
- Асимптотическая формула для девяти кубов в проблеме Ва-ринга
Введение к работе
Впервые простейшие тригонометрические суммы стал рассматривать К.Ф.Гаусс. В частности, он исчерпывающим образом исследовал важнейшие свойства носящей его имя "суммы Гаусса":
4 ' X=l N '
Гаусс первый показал пользу тригонометрических сумм как средства решения задач теории чисел, в частности, используя свойства суммы Гаусса, он построил одно из своих доказательств закона взаимности квадратичных вычетов.
В дальнейшем тригонометрические суммы, правда гораздо более общего вида, стали мощным средством решения ряда важных вопросов теории чисел. При этом основной в отношении таких сумм стала проблема разыскания их возможно более точной оценки, то есть возможно более точной верхней границы их модуля.
Сумма Гаусса является частным случаем более общей рациональной тригонометрической суммы:
sW)-bW)- (1)
где уэ(ж) = апхп + ... + а\х - многочлен степени п > 1 с условием (an,...,ai,7V) = 1.
Наилучшую оценку суммы (1) в общем случае дал Хуа Ло-ген. Он установил неравенство
S (}) < c(n)N^.
Это неравенство замечательно тем, что при постоянном п в смысле порядка роста правой части с возрастанием N оно, вообще говоря, уже не может быть заменено существенно лучшим.
Рациональная тригонометрическая сумма входит как частный случай в еще более общий класс сумм вида
T(an,...,abiV) = Y, е№))' (2)
f(x) = anxn + ... + a\x и an,..., ai- любые вещественные числа.
Впервые общий метод нахождения нетривиальных оценок сумм (2) дал Г.Вейль [1]. Поэтому такие суммы называются суммами Вейля. Г. Вейль построил метод с помощью которого впервые получил нетривиальную оценку тригонометрической суммы (2).
Из оценки Г. Вейля следует закон распределения дробных частей многочлена f(t) = atm -f- ait171'1 + .. . + ат в отрезке [а, Ь] С [0,1), следствием которого является их равномерное распределение по модулю 1. Существенным недостатком метода Вейля является быстрая потеря ее точности с возрастанием т.
И.М. Виноградов[2]-[12] создал новый метод тригонометрических сумм. Этот метод не только позволил коренным образом усовершенствовать решения проблем уже рассматривавшихся ранее с помощью других методов но и открыл широкий путь к решению новых. Он опубликовал ряд работ о суммах Вейля, в которых с помощью созданного им метода тригонометрических сумм коренным образом улучшил результаты Г.Вейля.
Метод тригонометрических сумм И.М. Виноградова опирается на оценку величин типа \Т(ап,... ,ai,N)\2k. Позже И.М.Виноградов заменил сложную оценку сумм степеней \Т(ап,..., а\, N)\2k более простой оценкой
интеграла
і і
J(N; n,k)= J ... J \T{an,..., аъ N)\2kdai... dan, о о то есть оценкой этой суммы "в среднем" по всем «і,... ап и поэтому теорему об оценке J(N; п, к) носит название теоремы И.М.Виноградова о среднем значении. В дальнейшем И.М.Виноградов неоднократно улучшал и уточнял эту теорему.
О значение его работ и их приложения следует судит не только по проблеме Варинга. Его результаты нашли применение в проблеме распределения простых чисел, в теориях дзета функция Римана, L - функции Дирихле, равномерного распределения, диофантовых приближений, в проблеме о целых точек в многомерном эллипсоиде и.т.д.
И.М.Виноградов получил асимптотически точную оценку величины J(N-', п, к) вида
J(^;n,fc)<
Отметим, что оценками тригонометрических сумм по методу И.М. Виноградова занимался также Хуа Ло-ген[14]-[15]. В'частности, он в явной форме выделил оценку среднего значения тригонометрической- суммы из общего метода оценки индивидуальных тригонометрических сумм. В 1942 году Ю.В.Линником [16] было найдено доказательство теоремы о среднем значении, использующее свойства сравнений по модулю степеней простого числа р. Другое р-адическое доказательство, т.е. использующее свойства сравнений по модулю простого числа р, теоремы о среднем значении было получено А.А.Карацубой на основе разработанного им в шестидесятых годах двадцатого века нового р-адического метода [20]. В дальнейшем его метод, помимо других приложений, позволил не только значительно прояснить и упростить доказательство теоремы о среднем значении, но и получить новые существенные результаты, в частности, вывести нетривиальные оценки величины J(N; п, к) при малых значениях к (см. работы А.А.
Карацубы [21], С.Б.Стечкина [73], Г.И. Архипова [27], Г.И.Архипова и В.Н. Чубарикова [24], Г.И.Архипова и А. А. Карацубы [28], Г.И.Архипова, А. А. Карацубы и В.Н. Чубарикова [31], В.З. Соколинского [74], О.В. Ты-риной [75]).
Продолжением данных исследований является обобщение этих результатов на комплексной плоскости и в полях алгебраических чисел. В полях алгебраических чисел метод тригонометрических сумм оказался полезным при выводе асимптотических формул в аддитивных задачах варинговско-го типа с помощью кругового метода Харди-Литтлвуда-Рамануджана в форме тригонометрических сумм И.М. Виноградова. Первые исследования в этом направлении провел К.Л. Зигель [50] в середине сороковых годов двадцатого столетия. Эти исследования были продолжены Т. Та-тудзавой [78] и О. Кернером [79] . В этих работах впервые получается теорема о среднем значении для тригонометрических сумм Г. Вейля в полях алгебраических чисел. После появления р-адического метода А.А. Карацубы доказательства теоремы о среднем значении, И. Еда [80] получил теорему о среднем с параметрами, отвечающими результату И.М. Виноградова в случае поля рациональных чисел. Отметим, что дальнейшее развитие метод тригонометрических сумм И.М. Виноградова получил в работах А.А. Карацубы [22], Н.М. Коробова [37], [38], Г.И. Архипова [26], В.Н. Чубарикова [34], О.В. Тыриной [76], И.М.Козлова [77], Сорокина [81], [82] и др.
Следует отметить, что суммы Вейля при маленьких степеней п < 12 в множестве первого класса рассматривались отдельными математиками и наилучший результат принадлежит английскому математику Р. Вон.
И.М.Виноградов поставил проблему оценки сверху кратных тригонометрических сумм[7]. Данная задача была решена Г.И.Архиповым[26] в начале 70-х годов прошлого века. Г.И.Архипов получил первые оценки двукратных сумм Вейля для многочленов общего вида. В
1975г. Г.И.Архипов и В.Н.Чубариков [24]-[25] дали обобщение реультатов Г.И.Архипова на кратный случай.
В 1976г. В.Н.Чубариков[32]-[33] получил оценки кратных тригонометрических интегралов и кратных полных рациональных тригонометрических сумм.
В течении 80-х годов прошлого столетия Г.И.Архипов, А.А.Карацуба и В.Н.Чубариков[29]-[30] продолжили исследования и получили первые оценки кратных тригонометрических сумм Вейля, равномерные по всем параметрам (по длинам интервалов изменения переменных суммирования, по степени осреднения и по степени многочлена).
В 1987 г. результаты всех исследований по кратным тригонометрическим суммам Вейля составили содержание монографии "Теория кратных тригонометрических сумм" [31]. В середине 80-х годов прошлого века В.Н.Чубариков получил первые оценки кратных тригонометрических сумм с простыми числами с многочленом общего вида в экспоненте[35]-[36].
Сумма вида
х—у<п<х
называются короткими тригонометрическими суммами Вейля.
Короткие тригонометрические суммы Вейля при п = 2ип = 3в множестве первого класса рассматривал З.Х. Рахмонов [39]-[40] при исследовании тернарной проблемы Эстермана с почти равными слагаемыми.
В 1770 г. Варинг [41] в своих "Алгебраических размышлениях" выдвинул гипотезу о том, что каждое четное натуральное число является суммой не более девяти кубов целых положительных чисел, суммой не более 19 биквадратов и т. д. Считается, что тем самым он предполагал следующее: для любого целого положительного числа п > 2 существует число г = г(п), такое, что каждое натуральное число является суммой не более
г n-ых степеней натуральных чисел, то есть всякое натуральное число N может быть представлено в виде
xnl+xn2 + ... + xnr=N, (3)
с целыми неотрицательными х\,..., хг.
Эта гипотеза получила название - проблема Варинга.
Вероятно, уже Диофанту было известно, хотя и в другой форме, что каждое натуральное число есть сумма не более четырех квадратов. Впервые точно теорему о четырех квадратах сформулировал в 1621 г. Баше, а Ферма объявил, что доказал ее, однако умер, не раскрыв своего доказательства.
В 1770г. опираясь на известное алгебраическое тождество Эйлера:
{а\ + а\ + а\ + а\)(Ъ\ + b\ + Ь\ + 6 = c\ + c22 + cl + с\,
С\ = CLibi -f +^2 + <23&3 + а4&4, С2 = 0,^2 — СЬ2Ь\ + а3&4 - G4&3»
СЗ = Ol&3 — а^Ьі + О462 — G2&4, с4 = «1&4 — #4^1 + а2&3 ~ ^3^2,
Лагранж доказал, что любое натуральное число N представимо в виде квадратов четырех квадратов целых чисел. Доказательство теоремы о четырех квадратах приведено в [45].
В XIX веке проблема Варинга было доказана для отдельных значений п, но реального прогресса на пути к решению проблемы удалось достичь только в ХХ-ом веке. В 1909г. Д.Гильберт впервые доказал следующую теорему:
Теорема. (Д.Гильберт ) Для любого фиксированного натурального числа п существует определенное число г, зависящее только от п, такое, что для каэтдого натурального N уравнение (3) имеет решение в целых неотрицательных числах х\: х2,..., хг.
Конечно, основное здесь то, что г не зависит от N, иначе утверждение было бы совершенно тривиальным, поскольку N = ж" + х2 + ... + х^ верно при #1 = 2:2 = --- = Xn = 1.
Доказательство Гильберта [43] было очень громоздким в формальном отношении и опиралось на сложные аналитические теории (кратные интегралы). Например, он с помощью 5-кратных интегралов доказал, что для всякого п имеет место тождество
м (х\ + х\ + х\ + х\ + х\)п = ^2 rh{aihXi + a2hX2 + + abhXb)2n
h=i
с пятью переменными xi,..., Ж5, гДе aih~ целые, a r/j-положительные рациональные числа и
(2т + 1)(2т + 2) (2т + 3)(2т + 4)
- 1-2-3-4 '
После Гильберта ряд математиков дали различные, более простые, чем у Гильберта, доказательства теоремы Варинга. Сравнительно элементарное доказательство теоремы было дано в 1942г. Линником [17].
Для каждого п можно рассматривать наименьшее значение г, при котором каждое натуральное N представимо в виде (3), и это значение г, зависящее от п, обозначают обычно через д(п).
Например, д{2) = 4. Действительно, как мы отмечали выше, каждое натуральное число представимо в виде суммы четырех квадратов целых чисел и существуют числа не представимые в виде суммы трех квадратов, например, как это легко видеть, все числа вида N = 8к + 7.
Гильберт [42] сложным комбинаторным методом при помощи алгебраических тождеств (см. [51], [52], [53]) первым доказал существование д(п) для всех п.
При п = 3 было доказано, что д(З) < 9. Существуют два числа, а именно 23 и 239, которые нельзя представить в виде суммы восьми кубов,что означает: д(3) > 9, а значит #(3) = 9.
Оказывается, что, кроме этих двух чисел, все остальные натуральные числа представимы в виде суммы восьми кубов. Вообще, для каждого п существуют сравнительно небольшие числа N, для которых в уравнении
показать, что при N = 2п[~], д(п) — 2п + д(п) >2п +
(3) приходится брать много слагаемых; наличие таких чисел определяет то, что при увеличении п функция д(п) быстро растет. Легко можно
2. Это означает, что
3^
2"
- 2. Имеются основания предполагать, что 2п + является для всех п > 1 истинным значением д(п). Известны следующие результаты.
Теорема. Если при натуральном п, отличном от 4 и 5, имеет место неравенство
L2*
(4)
<2п-
L2nJ
д(п) = 2п +
ГЗП1
-2.
Эта теорема является результатом работ ряда математиков начиная с Лагранжа, рассмотревшего случай п = 2. Частными случаями этой теоремы является то, что д(3) = 9, д(6) = 73, д(7) = 143, д{8) = 279. Случай п^З был рассмотрен Виферихом в 1909 г., а случай п = 6- индийским математиком Пиллаи [66] в 1940 г. При п > 7 результат теоремы был получен в работах Диксона [57]-[64] и Нивепа [65].
Теорема. Если при натуральном п имеет место неравенство
Зп1 _ гЗп-
>2П-
2п.
3П-2П
9{п)
- 2, при 2п =
— 3, при 2п <
Этот результат принадлежит Диксону. Следует отметить, что неравенство (4) было проверено для очень многих п, и пока не было найдено ни одного натурального п, для которого оно было бы неверным.
В 1957 г. Малер [68] доказал существование щ такого, что формула
гЗп-
.2П
9(п) = Т +
верпа при всех п > щ.
С другой стороны, электронно-вычислительные машины дали возможность Стеммлеру [69] в 1964 г. установить справедливость этой формулы для всех п < 200000.
Существование #(4) было доказано впервые Лиувиллем в 1859 г. Точные значения #(4) и #(5) до сих пор неизвестны. Число 79 нельзя представить в виде 18 биквадратов, так что д(4) > 19. С другой стороны, было доказано, что #(4) < 35, т. е. 19 < #(4) < 35 (Диксон). Томас [70] показал, что #(4) < 22 а Баласубраманиян [67] в 1984г. анонсировал, что д(А) < 21. Относительно #(5) известно, что 37 < #(5) < 40 (Чень Цзынь-джунь).
Обозначим через G(n) наименьшее значение г, при котором уравнение (3) имеет решение в целых неотрицательных числах хі,Х2,...,хг, для всех чисел N, начиная с некоторого N > Nq, т. е. для всех натуральных чисел N, исключая, может быть, только конечное их число. При п = 2 значения д(п) и* G(n) совпадают: G(2) = 4, так как существуют сколь угодно большие числа, не представимые в виде суммы трех квадратов.
Интересной проблемой является оценка числа G(n), определяемого при п > 2 как наименьшее г, такое, что каждое достаточно большое натуральное число есть сумма не более г п-х степеней натуральных чисел. При этом оказывается, что для больших n G(n) намного меньше, чем д(п), что, естественно, делает его оценку намного более трудной.
В 1920 г. новое доказательство этой же теоремы дали Харди и Литтлвуд [44]. Нужно отметить, что именно они ввели эти две функции д{п) и G(n). Харди и Литтлвуд доказали, что
п < G(N) < n2n_1/i; lim h = 1.
n->oo 12
Самым же важным было то, что Харди и Литтлвуд при
r>(n- 2)2n_1 + 5
для числа I(N) представлений числа N в виду (3) нашли асимптотическую формулу вида
/(АГ) = (r(^Kn))V~^ + 0(N^-<n% (5)
Y{r/n)
где а- некоторый особый ряд, сумма которого, как они показали, превосходит некоторое число ci(n,r) и ci(n,r) > 0.
В 1924 г. И.М. Виноградов [4] применил к проблеме Варинга свой метод тригонометрических сумм. Это не только сильно упростило доказательство проблемы Варинга, но и открыло путь к принципиальному уточнению полученных здесь результатов и решению новых проблем. Он доказал [8], что асимптотическая формула Харди и Литтлвуда (5) имеет место при
г > 2[n2(21nn + lnlnn + 3)].
В 1934 г. он доказывает [5] также, что G(n) < n(6 km+lO), затем несколько раз уточняет эту оценку и, наконец, в 1959 г. доказывает [9], что
G{n) < n(21nn + 41nlnn + 21nlnlnn-f- 13).
А.А. Карацуба [23] применил к оценке G(n) свой р - адический метод и получил более точный результат
G(n) < n(2 Inn + 2 In Inn + 12). Wooley T.D. [49] доказал, что
G(n) < n Inn + n In Inn + 0(1).
Фактически величина G(n) известна только для к = 2 и к = 4, именно
G(2) = 4, G(4) = 16. 13
Последний результат доказал Davenport [56]. Липник Ю.В. [17] доказал, что G(3) < 7, упрощенное доказательство которого дал Watson [54]. Vaughan [48] доказал, что асимптотическая формула Харди и Литтлвуда (5) имеет место при г = 8 и п = 3.
Диссертационная работа посвящена оценке коротких кубических сумм Вейля, среднему значению модуля восьмой степени таких сумм и выводу асимптотической формулы в проблеме Варинга для девяти кубов при условии, что все слагаемые почти равны.
Диссертация состоит из двух глав. Каждая глава состоит из трех параграфов, первые параграфы которых носят вспомогательный характер.
Во втором параграфе первой главы для случая п — 3 изучается поведение коротких кубических сумм Вейля:
Т3(а;х,у) = ^2 е(«3), а= - + A, (a, q) = 1, q < т, |А| < —.
х—у<п<х
Теорема 1.2.1. Пусть х > xq > 0, 0<у < 0, 01ж; г > 12ху, q < г, а = | + A; (a,q) = 1, |А| < -^. Тогда при {ЗХх2} < ^-, А > О или {ЗАж2} > 1 — j-, А < 0 имеет место соотношение
Т3(а, х, у) = ^^Тз(А; х, у) + 0(^),
а при выполнении условия {ЗХх2} > %-, А > 0 или {ЗАа;2} < 1 — -^, А < 0; имеет место соотношение
Г3(а, *, у) = ^^Гз(А; х, у) + 0(д2/3 In q + q^x1'2),
S{a,q) = Yle
an3'
n=l ч ^ '
Полученное асимптотическое поведение является обобщением теоремы Р. Вона для коротких сумм и уточнением результата З.Х. Рахмонова.
Доказательство этой теоремы проводится методом оценки тригонометрических сумм Ван дер Корпута с применением формулы суммирования
Пуассона, оценки тригонометрических сумм по величине модуля производных первого и второго порядка, оценки тригонометрических интегралов.
Следствие 1.2.1.1 Пусть х > х0 > 0, у < 0,01ж; т > 12ху, q <т, a = f + A;(a,g) = l, |Л| < ^.
Тогда имеет место соотношение
ТзК х, у) = ^5(а, д)7(Л; ж, у) + 0(1/2+),
0,5
у(\;х,у)= j e{\{x-y- + ytf)dt
-0,5
Следствие 1.2.1.2 Пусть х > xq > 0, у < 0,01ж; г > 12ху, q <т, a = f + A;(a,g) = l, ^<|Л|<^. Тогда имеет место оценка
Т3(а, х, у) < q2'z lng + q^x1'2.
В третьем параграфе первой главы для среднего значения модуля восьмой степени коротких кубических сумм Вейля обобщена теорема Хуа Ло-гена:
Теорема 1.3.1. При ж > жо > 0, у/х < у < 0,01а; имеет место
оценка
[\T(a;x,y)\8da
Основу доказательства этой теоремы составляют вышеупомянутый метод Вейля и соображение о том, что интеграл от четной степени модуля суммы Вейля выражается через количество решений диофантового уравнения.
Во втором параграфе второй главы доказывается следующая теорема:
Теорема 2.2.1. Особый ряд
оо
Q V Q J
q-\ o=0 y \ у /
абсолютно сходится и существует положительная постоянная такая, что а = сг(ЛГ) > С > 0.
В третьем параграфе второй главы, асимптотическая формула в проблеме Варинга для девяти кубов доказывается с более жесткими условиями, а именно, когда слагаемые почти равны.
Теорема 2.3.1.Пусть N — достаточно большое натуральное число, I(N, Н) — число решений в целых числах xi, Х2, ., хд уравнения
xl + xl + ... + ж| = N
с условиями
1/3
к-ЛЧ<#, «' = 1,9, Wi=fyj .
Тогда при Н > ЛГ3'10+Г справедлива асимптотическая формула
259723S/3 a(N)Hs ( Н» \
где o-(N) - особый ряд, сумма которого превосходит некоторого числа c(N)>0.
Доказательство теоремы проводится круговым методом Харди, Литтл-вуда, Рамануджана в форме тригонометрических сумм И.М.Виноградова.
Не ограничивая общности, будем считать, что Н = Д/'3/10+е) Q = 0.5HL-1, г = 24(Ni + Н)Н, зет = 1, Е = [-ев, 1 - эе]. Легко можно показать, что
I(N, Н)= J Т9(а; Nt + Я, 2H)e(-aN)da + О (j^j^j ,
Разобьем множество Е на множества -Ец, Е\2 и Е2:
а
а
6 =
2>
6д(Ыг + Я)
а —
а
а
Еп = <а: q
qr)
Обозначая через 1ц, 1\2 и 12 соответственно интегралы по множествам Ец, Е\2 и Е2, будем иметь
Щ, Я) = /„ + In + h + О (]y5Es)
(6)
В последней формуле 1ц доставляет главный член асимптотической формулы для /(./V, Н), а їй и І2 входят в его остаточный член.
Для получения асимптотической формулы для 7ц используем следствие 1.2.1.1 теоремы 1.2.1 (поведение коротких кубических тригонометрических сумм Вейля в множестве iiqi) и теорему 1.3.1. об оценке средней значение модуля восьмой степени коротких кубических тригонометрических сумм Вейля.
Оценка интеграла 1\2 проводится тернарным методом с применением следствие 1.2.1.2 теоремы 1.2.1 (оценка коротких кубических тригонометрических сумм Вейля в множестве Е\2) и теорему 1.3.1.
Оценка интеграла 12 также проводится тернарным методом с использованием оценки Вейля для короткой кубической тригонометрической суммы и теоремы 1.3.1.
В заключение автор выражает глубокую благодарность профессорам В.Н.Чубарикову и З.Х.Рахмонову за научное руководство, за постоянное внимание и помощь в работе.
Теоремы об оценках коротких кубических тригонометрических сумм
Продолжением данных исследований является обобщение этих результатов на комплексной плоскости и в полях алгебраических чисел. В полях алгебраических чисел метод тригонометрических сумм оказался полезным при выводе асимптотических формул в аддитивных задачах варинговско-го типа с помощью кругового метода Харди-Литтлвуда-Рамануджана в форме тригонометрических сумм И.М. Виноградова. Первые исследования в этом направлении провел К.Л. Зигель [50] в середине сороковых годов двадцатого столетия. Эти исследования были продолжены Т. Та-тудзавой [78] и О. Кернером [79] . В этих работах впервые получается теорема о среднем значении для тригонометрических сумм Г. Вейля в полях алгебраических чисел. После появления p-адического метода А.А. Карацубы доказательства теоремы о среднем значении, И. Еда [80] получил теорему о среднем с параметрами, отвечающими результату И.М. Виноградова в случае поля рациональных чисел. Отметим, что дальнейшее развитие метод тригонометрических сумм И.М. Виноградова получил в работах А.А. Карацубы [22], Н.М. Коробова [37], [38], Г.И. Архипова [26], В.Н. Чубарикова [34], О.В. Тыриной [76], И.М.Козлова [77], Сорокина [81], [82] и др.
Следует отметить, что суммы Вейля при маленьких степеней n 12 в множестве первого класса рассматривались отдельными математиками и наилучший результат принадлежит английскому математику Р. Вон.
И.М.Виноградов поставил проблему оценки сверху кратных тригонометрических сумм[7]. Данная задача была решена Г.И.Архиповым[26] в начале 70-х годов прошлого века. Г.И.Архипов получил первые оценки двукратных сумм Вейля для многочленов общего вида. 1975г. Г.И.Архипов и В.Н.Чубариков [24]-[25] дали обобщение реультатов Г.И.Архипова на кратный случай.
В 1976г. В.Н.Чубариков[32]-[33] получил оценки кратных тригонометрических интегралов и кратных полных рациональных тригонометрических сумм. В течении 80-х годов прошлого столетия Г.И.Архипов, А.А.Карацуба и В.Н.Чубариков[29]-[30] продолжили исследования и получили первые оценки кратных тригонометрических сумм Вейля, равномерные по всем параметрам (по длинам интервалов изменения переменных суммирования, по степени осреднения и по степени многочлена). В 1987 г. результаты всех исследований по кратным тригонометрическим суммам Вейля составили содержание монографии “Теория кратных тригонометрических сумм” [31]. В середине 80-х годов прошлого века В.Н.Чубариков получил первые оценки кратных тригонометрических сумм с простыми числами с многочленом общего вида в экспоненте[35]-[36]. Сумма вида называются короткими тригонометрическими суммами Вейля. Короткие тригонометрические суммы Вейля при п = 2ип = 3в множестве первого класса рассматривал З.Х. Рахмонов [39]-[40] при исследовании тернарной проблемы Эстермана с почти равными слагаемыми. В 1770 г. Варинг [41] в своих “Алгебраических размышлениях” выдвинул гипотезу о том, что каждое четное натуральное число является суммой не более девяти кубов целых положительных чисел, суммой не более 19 биквадратов и т. д. Считается, что тем самым он предполагал следующее: для любого целого положительного числа п 2 существует число г = r(n), такое, что каждое натуральное число является суммой не более r n-ыx степеней натуральных чисел, то есть всякое натуральное число N может быть представлено в виде с целыми неотрицательными x1, . . . , xr. Эта гипотеза получила название – проблема Варинга. Вероятно, уже Диофанту было известно, хотя и в другой форме, что каждое натуральное число есть сумма не более четырех квадратов. Впервые точно теорему о четырех квадратах сформулировал в 1621 г. Баше, а Ферма объявил, что доказал ее, однако умер, не раскрыв своего доказательства. В 1770г. опираясь на известное алгебраическое тождество Эйлера: Лагранж доказал, что любое натуральное число N представимо в виде квадратов четырех квадратов целых чисел. Доказательство теоремы о четырех квадратах приведено в [45]. В XIX веке проблема Варинга было доказана для отдельных значений n, но реального прогресса на пути к решению проблемы удалось достичь только в XX-ом веке. В 1909г. Д.Гильберт впервые доказал следующую теорему: Теорема.(Д.Гильберт ) Для любого фиксированного натурального числа n существует определенное число r, зависящее только от n, такое, что для каждого натурального N уравнение (3) имеет решение в целых неотрицательных числах x1,x2,...,xr.
O среднем значении коротких сумм Вейля
В полях алгебраических чисел метод тригонометрических сумм оказался полезным при выводе асимптотических формул в аддитивных задачах варинговско-го типа с помощью кругового метода Харди-Литтлвуда-Рамануджана в форме тригонометрических сумм И.М. Виноградова. Первые исследования в этом направлении провел К.Л. Зигель [50] в середине сороковых годов двадцатого столетия. Эти исследования были продолжены Т. Та-тудзавой [78] и О. Кернером [79] . В этих работах впервые получается теорема о среднем значении для тригонометрических сумм Г. Вейля в полях алгебраических чисел. После появления p-адического метода А.А. Карацубы доказательства теоремы о среднем значении, И. Еда [80] получил теорему о среднем с параметрами, отвечающими результату И.М. Виноградова в случае поля рациональных чисел. Отметим, что дальнейшее развитие метод тригонометрических сумм И.М. Виноградова получил в работах А.А. Карацубы [22], Н.М. Коробова [37], [38], Г.И. Архипова [26], В.Н. Чубарикова [34], О.В. Тыриной [76], И.М.Козлова [77], Сорокина [81], [82] и др.
Следует отметить, что суммы Вейля при маленьких степеней n 12 в множестве первого класса рассматривались отдельными математиками и наилучший результат принадлежит английскому математику Р. Вон.
И.М.Виноградов поставил проблему оценки сверху кратных тригонометрических сумм[7]. Данная задача была решена Г.И.Архиповым[26] в начале 70-х годов прошлого века. Г.И.Архипов получил первые оценки двукратных сумм Вейля для многочленов общего вида. 1975г. Г.И.Архипов и В.Н.Чубариков [24]-[25] дали обобщение реультатов Г.И.Архипова на кратный случай. В 1976г. В.Н.Чубариков[32]-[33] получил оценки кратных тригонометрических интегралов и кратных полных рациональных тригонометрических сумм. В течении 80-х годов прошлого столетия Г.И.Архипов, А.А.Карацуба и В.Н.Чубариков[29]-[30] продолжили исследования и получили первые оценки кратных тригонометрических сумм Вейля, равномерные по всем параметрам (по длинам интервалов изменения переменных суммирования, по степени осреднения и по степени многочлена). В 1987 г. результаты всех исследований по кратным тригонометрическим суммам Вейля составили содержание монографии “Теория кратных тригонометрических сумм” [31]. В середине 80-х годов прошлого века В.Н.Чубариков получил первые оценки кратных тригонометрических сумм с простыми числами с многочленом общего вида в экспоненте[35]-[36]. Сумма вида называются короткими тригонометрическими суммами Вейля. Короткие тригонометрические суммы Вейля при п = 2ип = 3в множестве первого класса рассматривал З.Х. Рахмонов [39]-[40] при исследовании тернарной проблемы Эстермана с почти равными слагаемыми. В 1770 г. Варинг [41] в своих “Алгебраических размышлениях” выдвинул гипотезу о том, что каждое четное натуральное число является суммой не более девяти кубов целых положительных чисел, суммой не более 19 биквадратов и т. д. Считается, что тем самым он предполагал следующее: для любого целого положительного числа п 2 существует число г = r(n), такое, что каждое натуральное число является суммой не более r n-ыx степеней натуральных чисел, то есть всякое натуральное число N может быть представлено в виде с целыми неотрицательными x1, . . . , xr. Эта гипотеза получила название – проблема Варинга. Вероятно, уже Диофанту было известно, хотя и в другой форме, что каждое натуральное число есть сумма не более четырех квадратов. Впервые точно теорему о четырех квадратах сформулировал в 1621 г. Баше, а Ферма объявил, что доказал ее, однако умер, не раскрыв своего доказательства. В 1770г. опираясь на известное алгебраическое тождество Эйлера: Лагранж доказал, что любое натуральное число N представимо в виде квадратов четырех квадратов целых чисел. Доказательство теоремы о четырех квадратах приведено в [45]. В XIX веке проблема Варинга было доказана для отдельных значений n, но реального прогресса на пути к решению проблемы удалось достичь только в XX-ом веке. В 1909г. Д.Гильберт впервые доказал следующую теорему: Теорема.(Д.Гильберт ) Для любого фиксированного натурального числа n существует определенное число r, зависящее только от n, такое, что для каждого натурального N уравнение (3) имеет решение в целых неотрицательных числах x1,x2,...,xr. Конечно, основное здесь то, что r не зависит от N , иначе утверждение было бы совершенно тривиальным, поскольку N = xn1 + xn2 + ... + xnN верно при x1 = x2 = ... = xN = 1.
Особый ряд
Эти исследования были продолжены Т. Та-тудзавой [78] и О. Кернером [79] . В этих работах впервые получается теорема о среднем значении для тригонометрических сумм Г. Вейля в полях алгебраических чисел. После появления p-адического метода А.А. Карацубы доказательства теоремы о среднем значении, И. Еда [80] получил теорему о среднем с параметрами, отвечающими результату И.М. Виноградова в случае поля рациональных чисел. Отметим, что дальнейшее развитие метод тригонометрических сумм И.М. Виноградова получил в работах А.А. Карацубы [22], Н.М. Коробова [37], [38], Г.И. Архипова [26], В.Н. Чубарикова [34], О.В. Тыриной [76], И.М.Козлова [77], Сорокина [81], [82] и др.
Следует отметить, что суммы Вейля при маленьких степеней n 12 в множестве первого класса рассматривались отдельными математиками и наилучший результат принадлежит английскому математику Р. Вон.
И.М.Виноградов поставил проблему оценки сверху кратных тригонометрических сумм[7]. Данная задача была решена Г.И.Архиповым[26] в начале 70-х годов прошлого века. Г.И.Архипов получил первые оценки двукратных сумм Вейля для многочленов общего вида. 1975г. Г.И.Архипов и В.Н.Чубариков [24]-[25] дали обобщение реультатов Г.И.Архипова на кратный случай. В 1976г. В.Н.Чубариков[32]-[33] получил оценки кратных тригонометрических интегралов и кратных полных рациональных тригонометрических сумм. В течении 80-х годов прошлого столетия Г.И.Архипов, А.А.Карацуба и В.Н.Чубариков[29]-[30] продолжили исследования и получили первые оценки кратных тригонометрических сумм Вейля, равномерные по всем параметрам (по длинам интервалов изменения переменных суммирования, по степени осреднения и по степени многочлена). В 1987 г. результаты всех исследований по кратным тригонометрическим суммам Вейля составили содержание монографии “Теория кратных тригонометрических сумм” [31]. В середине 80-х годов прошлого века В.Н.Чубариков получил первые оценки кратных тригонометрических сумм с простыми числами с многочленом общего вида в экспоненте[35]-[36]. Сумма вида называются короткими тригонометрическими суммами Вейля. Короткие тригонометрические суммы Вейля при п = 2ип = 3в множестве первого класса рассматривал З.Х. Рахмонов [39]-[40] при исследовании тернарной проблемы Эстермана с почти равными слагаемыми. В 1770 г. Варинг [41] в своих “Алгебраических размышлениях” выдвинул гипотезу о том, что каждое четное натуральное число является суммой не более девяти кубов целых положительных чисел, суммой не более 19 биквадратов и т. д. Считается, что тем самым он предполагал следующее: для любого целого положительного числа п 2 существует число г = r(n), такое, что каждое натуральное число является суммой не более r n-ыx степеней натуральных чисел, то есть всякое натуральное число N может быть представлено в виде с целыми неотрицательными x1, . . . , xr. Эта гипотеза получила название – проблема Варинга. Вероятно, уже Диофанту было известно, хотя и в другой форме, что каждое натуральное число есть сумма не более четырех квадратов. Впервые точно теорему о четырех квадратах сформулировал в 1621 г. Баше, а Ферма объявил, что доказал ее, однако умер, не раскрыв своего доказательства. В 1770г. опираясь на известное алгебраическое тождество Эйлера: Лагранж доказал, что любое натуральное число N представимо в виде квадратов четырех квадратов целых чисел. Доказательство теоремы о четырех квадратах приведено в [45]. В XIX веке проблема Варинга было доказана для отдельных значений n, но реального прогресса на пути к решению проблемы удалось достичь только в XX-ом веке. В 1909г. Д.Гильберт впервые доказал следующую теорему: Теорема.(Д.Гильберт ) Для любого фиксированного натурального числа n существует определенное число r, зависящее только от n, такое, что для каждого натурального N уравнение (3) имеет решение в целых неотрицательных числах x1,x2,...,xr. Конечно, основное здесь то, что r не зависит от N , иначе утверждение было бы совершенно тривиальным, поскольку N = xn1 + xn2 + ... + xnN верно при x1 = x2 = ... = xN = 1.
Асимптотическая формула для девяти кубов в проблеме Ва-ринга
После появления p-адического метода А.А. Карацубы доказательства теоремы о среднем значении, И. Еда [80] получил теорему о среднем с параметрами, отвечающими результату И.М. Виноградова в случае поля рациональных чисел. Отметим, что дальнейшее развитие метод тригонометрических сумм И.М. Виноградова получил в работах А.А. Карацубы [22], Н.М. Коробова [37], [38], Г.И. Архипова [26], В.Н. Чубарикова [34], О.В. Тыриной [76], И М.Козлова [77], Сорокина [81], [82] и др.
Следует отметить, что суммы Вейля при маленьких степеней n 12 в множестве первого класса рассматривались отдельными математиками и наилучший результат принадлежит английскому математику Р. Вон. И.М.Виноградов поставил проблему оценки сверху кратных тригонометрических сумм[7]. Данная задача была решена Г.И.Архиповым[26] в начале 70-х годов прошлого века. Г.И.Архипов получил первые оценки двукратных сумм Вейля для многочленов общего вида. 1975г. Г.И.Архипов и В.Н.Чубариков [24]-[25] дали обобщение реультатов Г.И.Архипова на кратный случай. В 1976г. В.Н.Чубариков[32]-[33] получил оценки кратных тригонометрических интегралов и кратных полных рациональных тригонометрических сумм. В течении 80-х годов прошлого столетия Г.И.Архипов, А.А.Карацуба и В.Н.Чубариков[29]-[30] продолжили исследования и получили первые оценки кратных тригонометрических сумм Вейля, равномерные по всем параметрам (по длинам интервалов изменения переменных суммирования, по степени осреднения и по степени многочлена). В 1987 г. результаты всех исследований по кратным тригонометрическим суммам Вейля составили содержание монографии “Теория кратных тригонометрических сумм” [31]. В середине 80-х годов прошлого века В.Н.Чубариков получил первые оценки кратных тригонометрических сумм с простыми числами с многочленом общего вида в экспоненте[35]-[36]. Сумма вида называются короткими тригонометрическими суммами Вейля. Короткие тригонометрические суммы Вейля при п = 2ип = 3в множестве первого класса рассматривал З.Х. Рахмонов [39]-[40] при исследовании тернарной проблемы Эстермана с почти равными слагаемыми. В 1770 г. Варинг [41] в своих “Алгебраических размышлениях” выдвинул гипотезу о том, что каждое четное натуральное число является суммой не более девяти кубов целых положительных чисел, суммой не более 19 биквадратов и т. д. Считается, что тем самым он предполагал следующее: для любого целого положительного числа п 2 существует число г = r(n), такое, что каждое натуральное число является суммой не более r n-ыx степеней натуральных чисел, то есть всякое натуральное число N может быть представлено в виде с целыми неотрицательными x1, . . . , xr. Эта гипотеза получила название – проблема Варинга. Вероятно, уже Диофанту было известно, хотя и в другой форме, что каждое натуральное число есть сумма не более четырех квадратов. Впервые точно теорему о четырех квадратах сформулировал в 1621 г. Баше, а Ферма объявил, что доказал ее, однако умер, не раскрыв своего доказательства. В 1770г. опираясь на известное алгебраическое тождество Эйлера: Лагранж доказал, что любое натуральное число N представимо в виде квадратов четырех квадратов целых чисел. Доказательство теоремы о четырех квадратах приведено в [45]. В XIX веке проблема Варинга было доказана для отдельных значений n, но реального прогресса на пути к решению проблемы удалось достичь только в XX-ом веке. В 1909г. Д.Гильберт впервые доказал следующую теорему: Теорема.(Д.Гильберт ) Для любого фиксированного натурального числа n существует определенное число r, зависящее только от n, такое, что для каждого натурального N уравнение (3) имеет решение в целых неотрицательных числах x1,x2,...,xr. Конечно, основное здесь то, что r не зависит от N , иначе утверждение было бы совершенно тривиальным, поскольку N = xn1 + xn2 + ... + xnN верно при x1 = x2 = ... = xN = 1.
