Сумма характеров Гекке по последовательности сдвинутых простых чисел тема автореферата и диссертации по математике, 01.01.06 ВАК РФ
Панов, Вячеслав Михайлович
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Душанбе
МЕСТО ЗАЩИТЫ
|
||||
2008
ГОД ЗАЩИТЫ
|
|
01.01.06
КОД ВАК РФ
|
||
|
На, щкшЯх рукописи
и1-'-
Панов Вячеслав Михайлович
Сумма характеров Гекке по последовательности сдвинутых простых чисел
01.01.06 - математическая логика, алгебра и теория чисел
Автореферат
диссертации на соискание учёной степени кандидата физико-математических наук
Душанбе - 2008
003460288
Работа выполнена в Институте математики Академии наук Республики Таджикистан
Научный руководитель: доктор физико-математических наук,
Официальные опоненты: доктор физико-математических наук,
профессор Архипов Геннадий Иванович
Защита состоится 24 декабря 2008 г. в 11 ч. 00 мин. на заседании Диссертационного совета К 047.007.01 Института математики АН РТ (734063. г.Душанбе, ул. Айни 299/1).
С диссертацией можно ознакомится в библиотеке Института математики Академии наук Республики Таджикистан.
Автореферат разослан 24 ноября 2008 г.
Учёный секретарь
член-корреспондент Академии наук Республики Таджикистан Рахмонов Зарулло Хусенович
кандидат физико-математических наук, доцент Чариев Умидидпа
Ведущая организация: Таджикский национальный университет
диссертационного совета
кандидат физико-математических наук
Каримов УХ
Общая характеристика работы
Актуальность темы. Многие проблемы аналитической теории чисел тесно связаны с распределенном значений характеров Дирихле в последовательностях, имеющих определенную природу. В частности, при решении ряда задач возникает вопрос о распределении значений неглавного характера па последовательности сдвинутых простых чисел.
И.М. Виноградов^2-3 полностью исследовал последнюю задачу в принципиальном случае, когда мо;|уль характера является простым числом и получил оценку для суммы
р<х
где ,\-характер по мо.чу.чю q, {k,q) = 1, q- простое число, x > q1+~.
Из этой оценки, в частности, следует, что среди чисел вида р + к, р < х. (k,q) = 1 количества квадратичных вычеши и невычетов асимптотически равны, если только х > ql+€. В 1953 г. ILM. Виноградов4 получил нетривиальную оценку Т(\) при х > д°'75+£. Этот результат бьш неожиданным. Дело в том, что Т(\) можно записать в виде суммы но пулям соответствующей L функции Дирихле; тогда в предположении справедливости расширенной гипотезы Римана для Т(\) получится нетривиальная оценка, но только5 при х > ql+s.
В 19С8 г. A.A. Карацуба® нашел метод, который позволил ему получить нетривиальную оценку коротких сумм характеров в конечных полях фиксированной степени. В работе7 он с. помощью развития этого метода, в соединении с методом И.М. Виноградова, получил новую оценку Т(\), нетривиальную уже
'Виноградом И.М. П еринные труды. - М.: И(д-<»' ЛИ СССР. 111.12.
-В|Икнч>ало» И.М. Мсюд I¡»niIMi'>\:r!рп'нчкпх мим к чшгл, 2-t' n iд. М.: Наука, 19S0.
;,Вшю|'ра.чст I1.M. варианты мошдон грппщчмгцигкчкпх гумм. М.: Наука, 1970.
'Виши радон U.M. И III. ЛИ СССР. Q p. мап'м. 1UM. Г. 17: Л'-2. С. 2ЬЗ-2Ш.
'Лппмик К>.В. Т(Ч>рпи 'пкч'.т. Матеыагика в СССР 1:1 nijhiK .к' 1 1917 1957. М.: (I'ii IM,!U ll i, 19*»9. Т. 1. С. 4S .11.
'•Каран.«« A.A. ДАН СССГ. 19ÜÜ. Т. Ш). .Vü. С. 12й7-12г9.
"Kupuiivoa A.A. II »1-.. АН СССГ. G-p. imvui. 107(1. Г. :Ц. Л>2. С. 299-ГЙ1.
при х > Эти оценки он8 применил для нахождения асимптотической
формулы дня количества чисел вида р(р' + а) и арифметической прогрессии, разность которой является простым числом, а начальный член взаимно прост с разностью.
З.Х. Рахмонов9,1011 получил оценку сверху суммы Т(\), когда модуль характера - произвольное натуральное число и, используя эту оценку в соединение с плотностнымц теоремами для ¿- функций Дирихле, изучил распределение гольдбаховых чисел в "коротких" арифметических прогрессиях. (Гольд-баховым числом называется число, представимое суммой двух нечётных простых чисел.)
Продолжением этих исследований является получение аналогичных результатов для характеров Геккс в последовательности сдвинутых простых чисел вида д — А, где д - произвольное простое алгебраическое число, Л- произвольное алгебраическое число, взаимно простое с модулем характера Гекке. Решение этих задач, то есть определение аналогов суммы Т(\) в полях алгебраических чисел и получение для них оценок сверху, является основным результатом диссертации.
Цель работы. Получение оценок для сумм характеров Гекке в последовательности сдвинутых простых алгебраических чисел, нормы которых не превосходят заданной величины.
Методика исследований. В основе исследований лежит метод оценок тригонометрических сумм с простыми числами ILM. Виноградова, в котором решето И.М. Виноградова применяется в форме обобщения тождества Воин на случай произвольного алгебраического ноля конечной степени н "метод сглаживания двойных сумм".
Научная новизна. Основные результаты диссертации являются новыми и заключаются в следующем:
"Карацуба A.A. ДАН СССР, lSXiii. Т. 192, №2. С. 724-727.
"Рахмопон З.Х. Усш'хи митсмитичп-ких наук, 19SÜ, Т. 41, №1. С. 201-202.
шРахыопсш З.Х. ДАН Тадж.ССР, 1080, Т. 2У, ЛЧ. С. 16-20.
"Рахмопов З.Х. Ilm. АН Гадж.ССР, отд. фи i.-мит., ivoioixkxum. наук, 19м'; Л'12. С.(>2-(».>.
- ,чли нолей алгебраических чисел определены аналога арифметических функции Мапгольдта и Мёбиуса, с помощью которых получен вариант решета II.\1.Виноградова в форме обобщённого тождества Воиа для алгебраических чисел, позволяющий заменить сумму по множеству простых алгебраических чисел двойными суммами;
получены нетривиальные оценки для сумм значений характеров Гекке в последовательности сдвинутых простых алгебраических чисел, нормы которых не превосходят заданной величины х, прц х > ЛГЗЭ1+£, где N2) норма модуля Э неглавного характера Гекке Х-> ® такой идеал, что факторкольцо по нему циклично.
Практическая и теоретическая ценность работы. Работа носит теоретический характер. Результаты диссертации и методика их получения могут быть использованы при решении задач теории простых чисел в поле рациональных чисел и его расширениях, в теории оценок специальных тригонометрических сумм по алгебраическим числам.
Апробация работы. Основные результаты диссертации докладывались на семинаре Института математики Академии наук Республики Таджикистан, на международных научных конференциях "Математика и информационные* технологии" (2006 г.), "Актуальные вопросы математического анализа, дифференциальных уравнений и информатики"( 2007 г.), "Комплексный анализ и пекласспчсскис системы дифференциальных уравпсинй"( 2007 г.) в Институте математики Академии наук Республики Таджикистан.
Публикации. Основные результаты диссертации опублнковаиы в 4-х научных работах. Все результаты диссертации получены автором самостоятельно.
Структура и объём диссертации. Диссертация состоит нз оглавления, списка обозначений, введения, двух глав и списка литературы, включающего 54 названия. Объём диссертации составляет 64 страницы компьютерной вёрстки в редакторе математических формул ЬаТеХ.
Содержание диссертации
В диссертации оценивается модуль суммы
взятой но произвольному множеству I простых алгебраических чисел в конечном расширении K/Q поля рациональных чисел Q, с условием, что абсолютная величина нх норм не превосходит положительного числа х € N. Под знаком суммы стоит неглавный характер Гекке, определенный по модулю идеала Э максимального порядка Zк произвольного числового поля К, и факторкольцо но этому идеалу 25 циклично. А А - любое алгебраическое число, взаимно простое с модулем 35 характера
Первая глава носит вспомогательный характер и состоит из трёх параграфов.
В нервом параграфе дастся определение делимости относительно мультипликативной полугруппы (I) С Zк целых алгебраических чисел Ък ноля К над Q, а именно а\цЗ если н только если a|j3 в максимальном порядке Ък и а € (П), определение функций Мёбиуса щ, Эйлера tpi, Мангольдта Ai, Чсбышсва ipi, числа делителей rj o и числа разбиений тце в произведение к сомножителе» относительно мультипликативной полугруппы (I) С Ъц целых алгебраических чисел Ък ноля К над Q и делается замечание, что для числовых нолей A'/Q с числом классов |С1 К > 1 нельзя определить зги функции сразу на всём кольце Ъц- Затем приводятся леммы 1.1.1 н 1.1.2, в которых доказывается 13 основных тождеств для введенных функций от алгебраических чисел н идеалов, включая формулы обращения Мёбиуса.
В лемме 1.2.1 во втором параграфе .чается вариант преобразован не Абеля для чисел и идеалов и формула Исэки Татудзава, представляющая собой видоизменение формулы обращения Мёбиуса для логарифмической функции от
нормы ашчзбранческих чисел
F(7)log|A'~,|+ £ F^At(3)= £ t'i(0)G (j^j ,
;ieo
|\J|Í|.V-1| |Л',1|<|Л-|
где KOMJLicKCiio'JimHiiue функции F,G : К* —*C заданы на ненулевых дробях числового ноля и для каждою элемента 7 б (I) мы имеем равенство
G(7)= £ F^bgi^l.
В третьем параграфе доказываются тождества Бона для алгебраических чисел и идеалов. Приведённое в лемме 1.3.1, тождество Бона,
£ ы®т = £ ш £
3£!1>. «<1V.I|<T «(1) С€<!!,. IN'tKrfcr
""""'i" {„ал(,„„,
~ £ wfo) £ Л,(/3) £ ИпРу)
feo lee-)- l.v-.ISr^T
m)
- £ X>fo) E Л3(/з)/М),
«eO ili- ■<€(:). ««lAV^ré
«<|N..|<Í l-V,,|<v
n.í=A(/ri.W m)
PVoI
отличается от формулы C.M. Вирошша 12
£ Лл-(я)/(п) = £ fih-(d) Е «(0/(Ы) log г
ti<H<.V (/<11
-£/<л-(<*)£лип) E «И/ИГ) ('<« "<«
— Jlt
- E E M'*)*© E ла-(ж)/(Ш»),
u<m<£ ''¡"i. rf<u ti<n<£
и которой функции а(п),цк(п),\fc(ri) вводятся неявно как коэффициенты соответствующих рядов Днрихлс равенствами
г У^ СИ-9) ^ ЛА-(»)
Tl=l íi=sl v ' U=1
-'Взятии С.М. Труды МИЛН. мт. Т. 207. С. Ó-Í-ÍÍ5.
мере:* разложение дзета-функции числового ноля
1
Nas'
в котором суммирование произведено по всем целым ненулевым идеалам максимального порядка Ък ■
В этом параграфе также приводятся оценки для сумм с функциями т¡.ь т,2^ , взятых по множеству а € (I) с модулем нормы |]Уа| < х и формула исчерпывания И.М, Виноградова с криволинейной областью изменения норм чисел.
Во второй главе получена оценка суммы ¿^.(х) для неглавного характера х произвольного примитивного модуля 3). Доказательство оценки этой суммы проводится по схеме работы З.Х, Рахмонова, в которой доказывается оценка суммы значений характеров Дирихле по составному модулю в последовательности сдвинутых простых чисел. Основные этапы получения оценки таковы.
В сумме 5|,.т(а:), переходя к примитивным характерам, имеем
где g произведение простых идеалов р делящих 2), по не делящих f и Xf~ примитивный характер по мо.чулш f, порождённый характером Применяя тождество Bona для алгебраических чисел, Тт(\() заменяем суммой трёх двойных сумм VX, V2 и Vg:
% = £ А,(а)Х(о - Л) = £ Д(т)Гв(л',),
ае(I), I.VnlS.T
r«(*f) = Y, Al(«)X'Ka - Л),
о~Л (inorf m)
|.V,|<„
<i£<l) |Л„|<«
,36(1! |Л'а|£ч
Ч^гЛ (iW m)
£ £ Л,(/ЗМо/?-А).
•>£(:> 111.!. :ic ¡1). ,,<I.V,l|<n£,
«< V"I<S |Л',|<. „(isi „„„,, „V, '
Пользуемся для оценок Ц п Vn формулой, устанавливающей связь между значениями примитивных характеров в числовом ноле К со значениями сумм Гаусса, выражаем сумму характеров через линейную тригонометрическую сумму.
Если сумма берется по множеству алгебраических чисел, нормы которых пробегают натуральные значения без пропусков, то такая сумма характеров оценивается как линейная сплошная тригонометрическая сумма оценкой Виноградова - Пойа. Если норменное множество не является сплошным отрезком натуральных чисел, то для таких неполных сумм существуют нетривиальные оценки13, которые слабее оценок сплошных сумм.
Чтобы указать, какому случаю принадлежат оцениваемые суммы, введем следующее:
Определение. Мы будем говорить, что сумма
ÎrçsA {morf m)
удолстворяст условию оценки Пойя Виноградова, нлн, для краткости, удоле-творяст PV-цсловию, если для нес верна оценка Пойя Виноградова
\U,,\ < \/]Vf log Arf
Например, для случая, когда (IN/,-/qI(I)) Э {га € N : n < t}, мы находимся в PV-условпп.
Если мы не в состоянии утверждать, что для указанной суммы выполняется PV-уеловпс, то мы воспользуемся нетривиальной оценкой неполных сумм характеров
\U„\<E, Е < (Arf)1_c-
, lS.D. CoIumj, II. Miodetvilcr, 1.1С. Shparlinski, M. Ziovo. Im-omploU» cliaractcr sums and a s pedal class of permulutkuis. .lour, do tlicorii» dps nombres île Hordeaux. по. 1 (2001). p. 5H (»3.
Оценку суммы Уз при помощи процесса исчерпывания криволинейных областей, который применяется в работах П.М.Виноградова, сводим к оценке двойных сумм с "прямоугольной" областью изменения норм, а именно к суммам вида
ЖХ|,т)= £ Ш £ Л,СЗ)х,М-А),
о£Г> 3<=(1). п<|.УЛ<п+!1
т<|Л'л|<т+т а.)=Л (тл( т)
которые оцениваются при помощи следующей леммы:
Лемма 2.1.1. Пустъ f простой нечётный идеал первой степени или произведение простого нечётного идеала первой степени с простым делителем двойки первой степени, ш примитивный идеал, А € целое алгебраическое число, (т, ^ = (т,А) - (А, ^ = 1. Ф : (I) —» С нр.которая комплгжиозпачпая функция, |Ф(с*)| < т^а), х,у,т,п € N натуральные чиыа, у/т < и: < т, у/п < у < п.
Тогда дм суммы ш) сщшведливы оценки
и)| < Згукктде» ЫПх/^ + ~+ ^+ ^
если верно /' У-уаювие. и а противнам случае
т)| < -Згу Ю«т 1ой* « г2«) ^ + + -I- +
Применяя для 1'|(,\(,т) метод И.М.Виноградова сглаживания двойных сумм, и пользуясь некоторыми соображениями, связанными с решениями пары сравнений, переходим от сумм характеров к линейным тригонометрическим суммам, которые мы оценили при оценке сумм Ь] п 1<>.
Основным результатом второй главы является теорема 2.1.1.
Теорема 2.1.1. Пусть 5) есть примитивный udra.il, и \ есть неглавный характер Гете, порожденный примитивным хи}тгпераи д произведение простых идеалов р, делящих 2), но не делящих
■51..Г = £ ^ ~
Тогда справедливы оценки
< :г1оё>г, T2(f) + + ,
если верно PV-ycjioeiw, и в противном случае
< ^logsх r2(f) (]1-Щ + ~Tf(s) + х'^Е^тМ
В заключении автор выражает благодарность профессору З.Х.Рахмоиову за научное руководство п постоянное внимание и помощь в работе.
Публикации по теме диссертации
1. Панов В.М. Сумма характеров в кольце Айзснштайна // Докл. АН РТ, 2004, Т. 47, №4, С. 16-21.
2. Панов В.М. Оценка, суммы степенных вычетов в круговом поле // Докл. АН РТ, 2007, Т. 51, .ЛП1-12, С. 14-16.
3. Панов В.М. Кондукторы Ло-характсров Гскке / Материалы международной научной конференции "Актуальные вопросы математического анализа, дифференциальных уравнений и информатики", посвященной 70-летшо академика Уеманова З.Д., Институт математики АН РТ, Душанбе, 24-25 августа 2007 г., С. 89-90.
4. Панов В.М. Плотность целых алгебраических чисел // Материалы республиканской научной конференции "Комплексный анализ и не.клаесичс-ские системы дифференциальных уравнений", посвященной 75-литшо со дня рождения академика Джурасва А.Д., Институт математики АН РТ, 16 октября Душанбе 2007 г., С. 55-57.
Сдано 10.11.2008. Подписано в 15.11.2008. Бумага офсетная. Печать офсетная. Тираж 100 экэ. Заказ 75. Цена договорная. Отпечатано в типографии ООО «Ховарон» ул.Дж.Расулов 6/1
Обозначения
Введение
1 Арифметические функции в полях алгебраических чисел
1.1 Арифметические функции для алгебраических чисел и идеалов
1.2 Теоретико-функциональные преобразования в числовом поле.
1.3 Варианты метода И.М.Виноградова в числовом поле.
2 Суммы характеров в числовых полях
2.1 Сумма значений "сдвинутых" характеров Гекке.
2.2 Сумма значений "сдвинутых" квадратичных символов Якоби.
2.3 Сумма значений "сдвинутых" степенных вычетов Лежандра.
Многие проблемы аналитической теории чисел тесно связаны с распределением значений характеров Дирихле в последовательностях, имеющих определённую природу. В частности, при решении ряда задач возникает вопрос о распределении значений неглавного характера на последовательности сдвинутых простых чисел.
В 1937 г. И.М. Виноградов [1-16] создал метод оценок сумм с простыми числами, суть которого заключается в следующем. Суммы по простым числам могут быть составлены путем только сложений и вычитаний из сравнительно небольшого числа других сумм, хорошие оценки которых могут быть получены с помощью соображений метода оценок двойных сумм и средств не имеющих какого либо отношения к теории дзета-функций Римана или Ь-рядов Дирихле.
В частности И.М. Виноградов [1-3] полностью исследовал задачу о распределении значений неглавного характера на последовательности сдвинутых простых чисел в принципиальном случае, когда модуль характера является простым числом и получил оценку для суммы р< X где х-характер по модулю д, (к, д) = 1, д- простое число, х > д1+£.
Из этой оценки, в частности, следует, что среди чисел вида р + к, р < х, (к, д) = 1 количества квадратичных вычетов и невычетов асимптотически равны, если только х > д1+£. В 1953 г. И.М. Виноградов [12] получил нетривиальную оценку Т(х) при х > д°>75+£. Этот результат был неожиданным. Дело в том, что Т(х) можно записать в виде суммы по нулям соответствующей Ь-функции Дирихле; тогда в предположении справедливости расширенной гипотезы Римана для Т(х) получится нетривиальная оценка, но только [17] при х > д1+е.
В 1968 г. А.А. Карацуба [18] нашел метод, который позволил ему получить нетривиальную оценку коротких сумм характеров в конечных полях фиксированной степени. В работе [19] он с помощью развития этого метода, в соединении с методом И.М. Виноградова, получил новую оценку Т(х), нетривиальную уже при х > и подобных им сумм [20-36]. Эти оценки он [37] применил для нахождения асимптотической формулы для количества чисел вида р(р' + а) в арифметической прогрессии, разность которой является простым числом, а начальный член взаимно прост с разностью.
З.Х. Рахмонов [38-42] получил оценку сверху суммы Т(х), когда модуль характера - произвольное натуральное число и, используя эту оценку в соединение с плотност-ными теоремами для ¿-функций Дирихле, изучил распределение гольдбаховых чисел в "коротких" арифметических прогрессиях. (Гольдбаховым числом называется число, представимое суммой двух нечётных простых чисел.)
Продолжением этих исследований является получение аналогичных результатов для характеров Гекке в последовательности'сдвинутых простых чисел вида д — А, где q - произвольное простое алгебраическое число, Л- произвольное алгебраическое число, взаимно простое с модулем характера Гекке. Решение этих задач, то есть определение аналогов суммы Т(х) в полях алгебраических чисел и получение для них оценок сверху, является основным результатом диссертации.
В основе исследований лежит метод оценок тригонометрических сумм с простыми числами И.М. Виноградова, в котором решето И.М. Виноградова применяется в форме обобщения тождества Bona на случай произвольного алгебраического поля конечной степеии и "метод сглаживания двойных сумм".
Основные результаты диссертации являются новыми и заключаются в следующем:
- для полей алгебраических чисел определены аналоги арифметических функций Мангольдта и Мёбиуса, с помощью которых получен вариант решета PI.М.Виноградова в форме обобщённого тождества Вона для алгебраических чисел, позволяющий заменить сумму по множеству простых алгебраических чисел двойными суммами;
- получены нетривиальные оценки для сумм значений' характеров Гекке в последовательности сдвинутых простых алгебраических чисел, нормы которых не превосходят заданной величины ж, при х > iY5)1+£, где N5) норма модуля 5D неглавного характера Гекке Xi ® такой идеал, что факторкольцо по нему циклично.
Работа носит теоретический характер. Результаты диссертации и методика их получения могут быть использованы при решении задач теории простых чисел в поле рациональных чисел и его расширениях, в теории оценок специальных тригонометрических сумм по алгебраическим числам.
В диссертации оценивается модуль суммы
Sj,x = eei lwK/Q(e)l<* взятой по произвольному множеству I простых алгебраических чисел в конечном расширении K/Q поля рациональных чисел Q, с условием, что абсолютная величина их норм не превосходит положительного числа х G N. Под знаком суммы стоит неглавный характер Гекке, определённый по модулю идеала 23 максимального порядка Ъц произвольного числового поля К, и факторкольцо по этому идеалу D циклично. А Л - любое алгебраическое число, взаимно простое с модулем D характера х ■
Первая глава носит вспомогательный характер и состоит из трёх параграфов.
В первом параграфе даётся определение делимости относительно мультипликативной полугруппы (I) С Ък целых алгебраических чисел Ъц поля К над Q, а именно a\iß если и только если a\ß в максимальном порядке Ък и а Е (I), определение функций Мёбиуса Эйлера <pi, Мангольдта Лц, Чебышёва -0я> числа делителей ti)2 и числа разбиений тд^ в произведение к сомножителей относительно мультипликативной полугруппы (I) С Ък целых алгебраических чисел Ък поля К над Q и делается замечание, что для числовых полей К/Q с числом классов j}Cl К > 1 нельзя определить эти функции сразу на всём кольце Ък • Затем приводятся леммы 1.1.1 и 1.1.2, в которых доказывается 13 основных тождеств для введённых функций от алгебраических чисел и идеалов, включая формулы обращения Мёбиуса.
В лемме 1.2.1 во втором параграфе дается вариант преобразование Абеля для чисел и идеалов и формула Исэки-Татудзава, представляющая собой видоизменение формулы обращения Мёбиуса для логарифмической функции от нормы алгебраических чисел зе(1) /96(1) \р /
ЛГ^|<|ЛГ7| |ЛГ/3|<|ЛГ7| где комплекснозначные функции (? : Кх —»■ С заданы на ненулевых дробях числового поля и для каждого элемента 7 € (I) имеется равенство
36(1) зе(1>
В третьем параграфе доказываются тождества Вона для алгебраических чисел и идеалов. Приведённое в лемме 1.3.1 тождество Вона ле(/?)/(£) = Е мм Е
96<1>, и<|ЛГ/3|<1 >7б<1) <£(!>, |ЛГ«|<
9=А(той т) |ЛГг/|<и т)=\{то<1 т)
- Е Е Е
6(1) -86<1> 76(1),
-ЕЕ Е и<|ЛГа|<5 |ЛГЫ<и , 'Га| 1— и » ар — л\тпоа ш) отличается от формулы С.М. Воронина [43,44] {i
- 2>к(со£л*(п) Е а(г)/мг) и П<и г< —
- - Г-Лп Е Е /^(«О«^) Е Ак(т)/(тп), и<тп<^ <*|т, (¿<и и<п< — в которой функции а(п), цк(п), Ак(п) вводятся неявно как коэффициенты соответствующих рядов Дирихле равенствами
71=1 П — 1 ^ К ' 71=1 через разложение дзета-функции числового поля Е ае(8рес Ък) где сумма взята по всем ненулевым идеалам кольца Ък •
Пользуясь этой формулой С.А. Гриценко [45] решил задачу Хуа Ло-кена с простыми числами, представимыми заданными примитивными положительно определенными бинарными квадратичными формами, дискриминанты которых совпадают с дискриминантами мнимых квадратичных полей, в которых квадратичные формы распадаются на линейные множители
В этом параграфе также приводятся оценки для сумм с функциями т^к, т$к , взятых по множеству а е (I) с модулем нормы \Ма\ < х и формула исчерпывания И.М. Виноградова с криволинейной областью изменения норм чисел.
Во второй главе получена оценка суммы 5п)Я(х) Для неглавного характера х произвольного примитивного модуля 3). Доказательство оценки этой суммы проводится по схеме работы З.Х. Рахмонова, в которой доказывается оценка суммы значений характеров Дирихле по составному модулю в последовательности сдвинутых простых чисел.
Основные этапы получения оценки таковы. В сумме ¿"^(х); переходя к примитивным характерам, имеем
Я* = Е Л1(«)х(а - Л) = I] мМтт(хг), ае(Д), |ЛГа|<х т|д
Е ЛпИхКа-А), ае<1>, |ЛГа|<х а=Л (mod ш) где g - произведение простых идеалов р, делящих 2), но не делящих f, и Xf~ примитивный характер по модулю f, порождённый характером х- Применяя тождество Вона для алгебраических чисел, Tm(xf) заменяем суммой трёх двойных сумм Vi, V2 и
Vi '■
J ii,=A (mod m)
E «W E £ Xffo/37-A),
I*""*« (тоПГ E E «(ч) E An(^)XfM-A). u {mod § I
Пользуемся для оценок У\ и Т^ формулой, устанавливающей связь между значениями примитивных характеров в числовом поле К со значениями сумм Гаусса, выражаем сумму характеров через линейную тригонометрическую сумму.
Если сумма берется по множеству алгебраических чисел, нормы которых пробегают натуральные значения без пропусков, то такая сумма характеров оценивается как линейная сплошная тригонометрическая сумма оценкой Виноградова - Пойа. Если норменное множество не является сплошным отрезком натуральных чисел, то для таких неполных сумм существуют нетривиальные оценки [46], которые слабее оценок сплошных сумм.
Чтобы указать, какому случаю принадлежат оцениваемые суммы, введем следующее:
Определение. Будем говорить, что сумма
Ui= MZrj-X), 77 6(1), (77,m) = 1, t<x, i€(I), |N«|<t (mod т) удолетворяет условию оценки Пойя-Виноградова, или, для краткости, удолетворяет PV-условию, если для неё верна оценка Пойя-Виноградова
U„\ < x/iVflogATf
Например, для случая, когда (I-A^/qKI)) Э {п G N : n < t}, выполняется PV-условие.
Если нельзя утверждать, что для указанной суммы выполняется PV-условие, то воспользуемся нетривиальной оценкой неполных сумм характеров
UV\<E, Е < (iVf)1e.
Оценку суммы V3 при помощи процесса исчерпывания криволинейных областей, который применяется в работах И.М.Виноградова, сводим к оценке двойных сумм с "прямоугольной" областью изменения норм, а именно к суммам вида
Vi(Xf,m)= ^ Ф(а) A,G0)xf(o0 - А)? а6(1) 06(1), n<|N/3|<n + !/ m<|7Va|<m+i а/3 = Л (mod m) которые оцениваются при помощи следующей леммы:
Лемма 2.1.1. Пусть f - простой нечётный идеал первой степени или произведение простого нечётного идеала первой степени с простым делителем двойки первой степени, m - примитивный идеал, А £ Ък целое алгебраическое число, (m, f) = (m, А) = (A, f) = 1, Ф : (I) —> С некоторая комплекснозначная функция, |Ф(а)| < rnj2(a), х, у, т, п G N - натуральные числа, у/т < х < т, у/п < у < п. Тогда для суммы Vn(xf, m) справедливы оценки з / 1 1 1 т
Шх„ т)| < Зху log ш !ogz „ Mn^Jwj + + + если верно PV-условие, и в противном случае з / 1 1 1 ЕР f,m)| < дху logmlog5 п + ^ + +
Применяя для Vi(Xf, m) метод PI.М.Виноградова сглаживания двойных сумм, и пользуясь некоторыми соображениями, связанными с решениями пары сравнений, переходим от сумм характеров к линейным тригонометрическим суммам, которые оценены при оценке сумм V\ и V2 •
Основным результатом второй главы является теорема 2.1.1.
Теорема 2.1.1. Пусть 2) есть примитивный идеал, f|S), и х есть неглавный характер Гекке, порождённый примитивным характером хf; 0 -произведение простых идеалов р, делящих D, но не делящих f,
Si,x = х{в ~ А). eel \Ne\<*
Тогда справедливы оценки
ISi^l < ж log5 х r2(f) (J^ + ^Ttiü+x-tNfbTM^J , если верно PV-условие, и в противном случае
5i,x| < ж log5 ж r2(f) + .
Ссылки на результаты, для которых получены обобщения для числовых полей, приведены в соответствующих леммах. Для работ других авторов, из которых почерпнуты сведения общего характера, ссылки на первоначальный источник даны не всегда.
В заключении автор выражает благодарность профессору З.Х.Рахмонову за научное руководство и постоянное внимание и помощь в работе.
1. Виноградов И.М. Избранные труды. - М.: Изд-во АН СССР, 1952.
2. Виноградов И.М. Метод тригонометрических сумм в теории чисел. М.: Наука, 1980.
3. Виноградов И.М. Особые варианты методов тригонометрических сумм. М.: Наука, 1976.4. виноградов И.М. Представление нечетного числа суммой трех простых числах // Докл. АН СССР, 1937, т. 15, с. 291-294.
4. ВИНОГРАДОВ И.М. Некоторые теоремы, относящиеся к теории простых чисел // Мат. сборник, 1937, т. 2, с. 179-195.
5. Виноградов И.М. Некоторые общие теоремы относящиеся к теории простых чисел // Тр. Тбил. матем. ин-та, 1937, т. 3, с. 1-33.
6. Виноградов И.М. Оценки некоторых простейших сумм с простыми числами // Изв. АН СССР. Сер. матем., 1938, т. 3, с. 391-398.
7. Виноградов И.М. Некоторое общие свойства распределения простых чисел // Мат. сборник, 1940, т. 7, с. 365-372.
8. Виноградов И.М. Уточнение метода оценки сумм с простыми числами // Изв. АН СССР. Сер. матем., 1943, т. 7, с. 17-34.
9. Виноградов И.М. Элементарное доказательство одной теоремы теории простых чисел // Изв. АН СССР. Сер. матем., 1953, т. 17, с. 3-12.
10. Виноградов И.М. Новый подход к оценке суммы значений характеров // Изв. АН СССР. Сер. матем., 16(1952), 197-210.
11. Виноградов И.М. Улучшение оценки для суммы значений характеров // Изв. АН СССР. Сер. матем., 17(1953), 285-290.
12. Виноградов И.М. Оценка одной суммы, распространенной на простые числа арифметической прогрессии // Изв. АН СССР. Сер. матем., 1966, т. 30, с. 481-496.
13. Виноградов И.М. Тригонометрические суммы, зависящие от составного модуля // Докл. АН СССР, 1934, т. 1, №5, с. 225-229.
14. Виноградов И.М. Новые теоремы о распределении квадратичных вычетов // Докл. АН СССР, 1934, т. 1, №6, с. 289-290.
15. Виноградов И.М. Новые теоремы о распределении первообразных корней // Докл. АН СССР, 1934, т. 1, №, с. 366-369.
16. Линиик Ю.В. Теория чисел. Математика в СССР за сорок лет 1917-1957. М.: Физматгиз, 1959. Т. 1. С. 48-51.
17. Карацуба A.A. Суммы характеров и первообразные корни в конечных полях // Докл. АН СССР, 1968, т. 180, №6, с. 1287-1289.
18. Карацуба A.A. Суммы характеров по последовательности сдвинутых простых чисел и их применения // Матем. заметки, т. 17, №1, 1975, с. 155-159.
19. Карацуба A.A. О некоторых проблемах современной аналитической теории чисел // Матем. заметки, т. 17, №2, 1975, с. 341-349.
20. Карацуба A.A. Сумма характеров с весами // Изв. РАН, Сер. матем., 2000, т. 64, №2, с. 29-42.
21. Карацуба A.A. Распределение пар квадратичных вычетов и невычетов специального вида // Изв. АН СССР. Сер. матем., 1987, т. 51, №5, с. 994-1009:
22. Карацуба A.A. Об оценках сумм характеров // Изв. АН СССР. Сер. матем., 1970, т. 34, №1, с. 20-30.
23. Карацуба A.A. О суммах характеров с простыми числами // Докл. АН СССР, 1970, т. 190, JV'3, с. 517-518.
24. Карацуба A.A. Об одной арифметической сумме // Докл. АН СССР, 1971, т. 199;.№4, с. 770-772.
25. Карацуба A.A. Асимптотика одной арифметической суммы // Матем. заметки, 1978, т. 24, №6, с. 737-740.
26. Карацуба A.A. Об оценках снизу сумм характеров от многочленов // Матем. заметки, 1973, т. 14, №1, с. 67-72.
27. Карацуба A.A., Новак Б. Арифметические задачи с числами специального вида // Матем. заметки, 1999, т. 66, №2, с. 994-1009.
28. Карацуба A.A. Распределение произведений сдвинутых простых чисел в арифметических прогрессиях // Докл. АН СССР, 1970, т. 192, №4, с. 724-727.
29. Рахмонов З.Х. Об оценке суммы характеров с простыми числами // ДАН Тадж.ССР, 1986, т. 29, №1, с. 16-20.
30. Рахмонов З.Х. Распределение чисел Харди-Литтлвуда в арифметических прогрессиях // Изв. АН СССР, сер. матем., 1989, т. 53, JVU, с. 211-224.
31. Рахмонов З.Х. О распределении значений характеров Дирихле и их приложения // Тр. международной конференции, посвященной 100-летию И.М.Виноградова, Москва, 1990, с. 317-330.