Бесплатно скачать, заказать диплом, курсовую, диссертацию Арифметические задачи с числами, все простые делители которых принадлежат специальным множествам

У нас уже 21989 рефератов, курсовых и дипломных работ

Сделать закладку на сайт

Заказать диплом, курсовую, диссертацию

Быстрый переход к готовым работам

Мнение посетителей:

Книга жалоб
и предложений

Название	Арифметические задачи с числами, все простые делители которых принадлежат специальным множествам

Количество страниц	71

ВУЗ	МГИУ

Год сдачи	2010

Бесплатно Скачать	23531.doc

Содержание	Содержание Оглавление 2 Обозначения 3 Введение 5 ГЛАВА 1. Вспомогательные утверждения 13 ГЛАВА 2. Оценки тригонометрических сумм по специальным простым числам 25 ГЛАВА 3. Арифметические задачи со специальными простыми числами 38 ГЛАВА 4. Суммирование мультипликативных функций по числам, имеющим только специальные простые делители 56 Литература 71 Обозначения с, ci,C2,... — положительные постоянные, в различных формулах, вообще говоря, различные. е — положительная сколь угодно малая постоянная. р — простое число. log а; — натуральный логарифм х. Л(п) — функция Мангольдта — равна logp, если п = рк, и равна нулю в противном случае. ф(х) — функция Чебышёва — сумма значений Л(п) по п, не превосходящим х. 7г(гс) — количество простых чисел, не превосходящих х. тг(а:; к, I) — количество простых чисел, не превосходящих х и сравнимых с / по модулю к. Запись d \| п означает, что п кратно d. Запись а = b (mod т) означает, что т \ b — а. fi(n) — функция Мёбиуса — равна единице при п = 1, равна нулю, если р2 \| п, и равна (—l)fc, если п есть произведение к различных простых чисел. №т{р<) равна единице, если п свободно от га-х степеней, и равна нулю в противном случае. Запись А<В означает, что \А\ ^ сВ. Запись Ах. В означает, что с\В ^ А ^ С2В. (р(п) — функция Эйлера — количество натуральных чисел, не превосходящих п и взаимно простых с ним. ^fc(^) ~ число решений уравнения х\.. .Xk = n в натуральных числах х\,..., Xk, причём то(1) = 1 и то(п) = 0 при п > 1. т(п) — Т2(п) — число натуральных делителей п. (aj,...,ап) — наибольший общий делитель чисел ai,...,an. [ai,...,ап] — наименьшее общее кратное чисел ai,...,an. х(п) — характер Дирихле по модулю д, причём случаю q = 1 отвечает тривиальный характер, тождественно равный единице. [а] — целая часть а — наибольшее целое число, не превосходящее а. {а} = а — [а] — дробная часть а. \\a\\ = min({a}, 1 — {а}) — расстояние от а до ближайшего целого числа. s = а + it — комплексное переменное, но лишь в тех случаях, когда речь идёт о функциях комплексного переменного. F(s) — гамма-функция Эйлера. ?(s) — дзета-функция Римана. (\|) — символ Лежандра — равен +1, если а есть квадратичный вычет по модулю р, равен —1, если а есть квадратичный невычет по модулю р, и равен нулю, если а делится на р. Введение Некоторые теоретико-числовые задачи сводятся к изучению натуральных чисел с определёнными ограничениями на простые делители. Например, представимость натурального числа суммой двух квадратов целых чисел эквивалентна тому, что любой нечётный простой делитель этого числа, входящий в его каноническое разложение в нечётной степени, имеет вид 4п + 1. Основываясь на этом факте, Э.Ландау [1] получил асимптотическую формулу для количества натуральных чисел, не превосходящих х и представимых суммой двух квадратов. Достаточно общим ограничением, налагаемым на простые делители, является требование их принадлежности некоторому специальному множеству. В качестве такого множества можно взять, например, арифметическую прогрессию по некоторому модулю или множество натуральных чисел, не превосходящих некоторой границы у. В любом случае, прежде чем переходить к изучению натуральных чисел, все простые делители которых принадлежат специальному множеству, необходимо исследовать распределение простых чисел в этом множестве. Один из первых вариантов выбора специального множества был предложен в работах И.М.Виноградова. В 1940 году Виноградов [2] получил своим методом нетривиальную оценку со степенным понижением тригонометрической суммы по простым числам ]Г)р^х e2mtpa, где 0 < а < 1. Это позволило ему найти асимптотическую формулу для количества простых чисел р, не превосходящих х, с условием {fpa} < a- Виноградов дал также другое истолкование этой величины — как количества простых, не превосходящих х и попадающих в промежутки вида [(nff)lla,{n/f + а/f)lla) с натуральным п. В том случае, когда параметры а, а и f равны 1/2, эта задача отвечает простым в промежутках [(2n)2, (2n + 1)2), и разобрана отдельно в [3, с.84]. В 1945 году Ю.В.Линник [4] предложил другой подход к подобным задачам, основанный на явной формуле для функции Чебышёва и плотностных теоремах теории дзета-функции Римана, который также давал степенное понижение. Дальнейшие исследования в этой области велись в двух основ- ных направлениях. Первое из них состоит в рассмотрении задачи Виноградова с параметром а, стремящимся к нулю. Интерес к этому случаю обусловлен тем, что справедливость известной гипотезы о бесконечности множества простых чисел вида п2 + 1 эквивалентна бесконечности множества решений неравенства {у/р} < р'1^2. Из результатов самого Виноградова [3, с.86] следует бесконечность множества решений неравенства {у/р} < р~а+? с а = 1/10. Используя подход Линника, Р.М.Кауфман [5] увеличила значение параметра а до \/15/(16 + 2д/15) = 0.1631... Кроме того, Кауфман показала, что в предположении гипотезы Римана можно взять а = 1/4! Бесконечность множества решений неравенства {у/р} < р-1/4+е была доказана безусловно А.Балогом [6], который также опирался на теорию дзета-функции Римана. Другое направление разрабатывалось в работах С.А.Гриценко. Пользуясь подходом Линника, Гриценко в 1986 году [7] получил асимптотическую формулу для количества простых чисел, не превосходящих х и лежащих в промежутках [(2n)1/a, (2n + I)1/") при 1/2 ^ а < 1, с лучшей оценкой остаточного члена, чем у Виноградова. Кроме того, Гриценко удалось выделить главный член асимптотики и в том случае, когда а определённым образом стремилось к единице с возрастанием х. Позднее Гриценко [8] рассмотрел также аддитивные задачи типа тернарной проблемы Гольдбаха с простыми числами из указанных промежутков. Задача Виноградова может рассматриваться и при значениях параметра а, больших единицы. Этому случаю отвечают очень короткие промежутки, в которые должны попадать простые числа. В каждый из этих промежутков по отдельности может не попадать даже ни одного целого числа, но в совокупности они, по-видимому, распределены достаточно равномерно и можно исследовать распределение простых чисел в этих промежутках. Подход Линника здесь заведомо неприменим, так как длины промежутков оказываются меньше остаточного члена в явной формуле для функции Чебышёва. Заметим, что значение параметра а должно быть нецелым, иначе ра будет целым числом, а изучение его дробных долей — бессмысленным. Дробные доли ра при нецелых а, больших единицы, изучались самим Виноградовым в 1959 году [9]. При условии, что \|\|а\|\| ^ 3~°, он получил для тригонометрической суммы по простым числам ^2р^х e2mtpa оценку <С х1"7^2 с константой 7 = 5/17 • 10~7. Равномерное распределение дробных долей ра при любом нецелом а, большем единицы, было доказано Д.Лейтманом [10]. В 1985 году Р.Бейкер и Г.Колесник [11] рассмотрели точную верхнюю грань по всем а ? [0,1] модуля разности между количеством простых чисел р, не превосходящих х, с условием {ра} < с, и его асимптотическим значением атг(х), которую они обозначили через D(x). Бейкер и Колесник получили для величины D(x) оценку «С xl~1la с константой 7 = 2/3 • 10~4, улучшив тем самым результат Виноградова. Для небольших значений параметра а оценки D{x) неоднократно улучшались. Одна из последних работ на эту тему [12] посвящена оценке величины D(x) при a G [5/3,2) U (2,3). Получаемые в упомянутых работах оценки не были равномерными по параметру а, т.е. его значение не могло приближаться к целому числу. Равномерные по параметру а оценки были получены автором в [13], их доказательство составляет содержание второй главы настоящей диссертации. В первой же главе формулируются, а в некоторых случаях и доказываются, вспомогательные утверждения, известные в литературе или незначительно отличающиеся от таковых. Мы рассматриваем задачу Виноградова в следующей форме: параметр а — нецелое число, большее единицы, D — натуральное число, I — натуральное число, не превосходящее D. Числа а, D и I определяют множество Ei, состоящее из промежутков вида [{Dn + I — I)1/", (Dn + Z)1/0) с неотрицательным целым п. Простые числа, принадлежащие специальному множеству Ei, будем в дальнейшем для краткости называть специальными простыми числами. Основным результатом второй главы является теорема 1, представляющая собой асимптотическую формулу для тригонометрической суммы достаточно общего вида по специальным простым чис- лам с равномерной по всем параметрам оценкой остатка. Последняя нетривиальна при \|\|а\|\| ^ х~а/25+?. Доказательство этой теоремы основано на методе Виноградова. Условие принадлежности простого числа множеству Е[ эквивалентно попаданию {pa/D} в промежуток [1/D — 1/D,l/D), а характеристическая функция (индикатор) множества действительных чисел с дробной долей, лежащей на этом промежутке, приближается "стаканчиками" Виноградова. Постоянный член разложения этих "стаканчиков" в ряд Фурье дает главный член асимптотики, а оценка остатка сводится к оценке тригонометрических сумм по простым числам с функцией tpa в показателе мнимой экспоненты. Методом сглаживания Виноградова в форме тождества типа малого решета оценка таких тригонометрических сумм по простым числам сводится к оценке аналогичных сумм, но уже по подряд идущим натуральным числам. Последняя оценка проводится аналогично оценке дзетовой суммы, сводясь в конечном итоге к теореме Виноградова о среднем. Третья глава настоящей диссертации посвящена различным арифметическим задачам со специальными простыми числами. Вначале как простые следствия теоремы предыдущей главы получаются асимптотический закон распределения специальных простых чисел и аналог теоремы Зигеля-Вальфиша для специальных простых чисел. Затем рассматриваются аддитивные задачи со специальными простыми числами: тернарная проблема Гольдбаха, частный случай проблемы Гольдбаха-Варинга, задача Эстермана о сумме двух простых и квадрата. Все эти результаты также получены автором в работе [13]. Далее рассмотрена ещё одна арифметическая задача, которая представляет интерес независимо от специальных простых чисел. Пусть даны к различных целых неотрицательных чисел li,...,lk, и S(x) обозначает количество натуральных чисел п, не превосходящих х и таких, что все числа n + li,...,n + lk свободны от т-х степеней. Очевидно, что для неограниченности S(x) при х, стремящемся к бесконечности, необходимо, чтобы числа 1\,..., /& не покрывали полной системы вычетов по модулю рт для любого простого р. В конце сороковых годов Л.Мирский [14],[15] показал, что это условие является и достаточным, получив асимптотическую формулу для величины S(x). Главный член этой асимптотики имеет порядок х, а остаток был оценен Мирским как <С х2^т+1^+?. Доказательство основано на представлении характеристической функции (индикатора) множества натуральных чисел, свободных от т-х степеней, в виде суммы значений функции Мёбиуса на числах, га-я степень которых делит п. Исследование подобных задач продолжалось и в последующие годы. Так, Д.Р.Хиз-Браун [16] получил в задаче о "бесквадратных близнецах", т.е. о количестве бесквадратных чисел п, не превосходящих х и таких, что п + 1 также бесквадратно, остаток <С х7/п+?. Равномерные по параметрам к и /i,..., Ik оценки остаточного члена были получены К.М.Тсангом [17]. Обе упомянутых работы были основаны на методах решета. Естественным развитием задачи Мирского является исследование величины Т(х), обозначающей количество простых чисел р, не превосходящих х и таких, что все числа р + /i,... ,р + Ik свободны от т-х степеней. Для неограниченности Т(х) при я, стремящемся к бесконечности, необходимо, чтобы числа /i,...,Z& не покрывали приведённой системы вычетов по модулю рт для любого простого р. Автор [18] получил асимптотическую формулу для величины Т(х), из которой, в частности, следует, что упомянутое условие является и достаточным для неограниченности Т(х). Аналогичная задача в специальных простых числах также рассмотрена в [18]. Таким образом, основными результатами третьей главы являются теоремы 2 и 3, представляющие собой асимптотические формулы для величины Т(х) и аналогичной ей величины U(x), которая возникает в задаче со специальными простыми числами. Доказательства этих теорем используют теорему Зигеля-Вальфиша и её аналог для специальных простых чисел и, в основном, следуют методу Мирского. Однако способ, применённый им при оценке остатка, здесь недостаточен; в этом случае остаток удается оценить с помощью итерационной процедуры. Четвёртая глава настоящей диссертации посвящена изучению натуральных чисел, имеющих только специальные простые делители. Следует отметить, что подобные задачи давно привлекают внимание специалистов. Одна из первых таких задач связана с натуральными числами, все простые делители которых принадлежат заданным арифметическим прогрессиям. Асимптотическая формула для количества таких чисел, не превосходящих х, была получена в начале прошлого века Э.Ландау [19] с помощью метода комплексного интегрирования. Соответствующий производящий ряд Дирихле имеет при s = 1 точку ветвления, что позволяет получить для исследуемой величины представление в виде асимптотического ряда по степеням 1/loga;. Впоследствии было доказано много общих теорем, которые позволяют по поведению простых делителей делать заключения о свойствах состоящих из них натуральных чисел. Обзор такого рода результатов имеется в монографии А.Г.Постникова [20]. Остановимся подробнее на нескольких подобных теоремах. Теорема Б.М.Бредихина [21] даёт возможность, зная главный член асимптотического выражения для количества простых чисел, не превосходящих х и принадлежащих некоторому множеству Р, получить главный член асимптотического выражения для количества натуральных чисел, не превосходящих х, все простые делители которых принадлежат множеству Р. В аналогичных задачах с мультипликативными функциями полезна теорема Э.Вирзинга [22], позволяющая получать асимптотические выражения для сумм J2n вых (log х)а/(а+1^ ? членов асимптотического ряда с точностью до Все упомянутые теоремы доказываются "элементарно", т.е. без помощи методов комплексного анализа. Такое доказательство, будучи искусственным, приводит к потере точности в оценках. Так, даже использование в теореме Левина и Файнлейба наиболее точной из известных на настоящий момент оценки Виноградова с а = 3/5 — ? приводит к худшей оценке остаточного члена, чем применение метода комплексного интегрирования с простейшей границей нулей Валле-Пуссена. При изучении чисел, имеющих только специальные простые делители, мы считаем параметры а и D фиксированными, причём а — нецелое положительное число. Количество простых чисел, не превосходящих х и принадлежащих множеству Ei, равно n(x)/D с ошибкой <С ж1~л, что следует из результата Виноградова [2] при О < а < 1 и из результатов третьей главы при а > 1. Это позволяет получить аналитическое продолжение соответствующего производящего ряда Дирихле левее единичной прямой и оценить его модуль при сг^1 — с/ log \t\. Последующее применение метода комплексного интегрирования дает искомые формулы для сумм мультипликативных функций по числам, имеющим только специальные простые делители. Основными результатами четвёртой главы являются теоремы 4 и 5, касающиеся сумм Tk(n) и //(п) по интересующим нас числам [24]. Для этих сумматорных функций получены представления как в виде асимптотических рядов, так и в виде суммы первых \/Ioglc членов этих рядов с остатком «С xe~c^ogx. При рассмотрении суммы Tk{n) по числам, все простые делители которых принадлежат множеству Ei, возникает особый эффект, если к кратно D. В этом случае асимптотический ряд обрывается и упомянутая сумма с точностью до <С xe~Cy/flogx приближается суммой конечного и не зависящего от х числа первых членов этого ряда. Аналитическая природа этого эффекта заключается в однозначном характере особой точки соответствующей производящей функции при D, делящем к. Но с чисто арифметической точки зрения такая взаимосвязь казалось бы независимых параметров D и к выглядит совершенно неожиданной. Подобный эффект возникает и в том случае, если рассматривать сумму ц{п) по числам, все простые делители которых принадлежат множеству Е\х U ... U Е\к. При к < D в соответствующей асимптотической формуле имеется главный член в виде суммы с растущим числом слагаемых, а при к = D мы приходим к известной оценке суммы Хт<ж Мп) величиной <С хе~с^1о&х. Глава 1 ВСПОМОГАТЕЛЬНЫЕ УТВЕРЖДЕНИЯ Здесь формулируются, а в некоторых случаях и доказываются, леммы, известные в литературе или незначительно отличающиеся от таковых. Лемма 1. Пусть Ai,..., Аг — целые числа и Js,r(Ai,..., Аг) обозначает число решений системы уравнений У\ + • • • + Уз - Уз+1 - ¦ У? + • • • + У2з ~ У2 k у\ • • - У2з У yrs - yrs+1 -...-yr2s = в натуральных числах yi,..., y2S, не превосходящих X. Справедливы соотношения Л)Г(АЬ...,АГ)< Js,r(0,...,0) / J ..., Аг) = X s. Доказательство смотри, например, в [25, с.84]. Лемма 2. При X ^ 1 имеет место оценка Доказательство смотри, например, в [25, с.94]. Лемма 3 (теорема Виноградова о среднем). Пусть т ^ 0 — целое, s ^ гт, X ^ 1. Пусть Js,r(0,..., 0) — число решений системы уравнений yi + ... + Уз = Уз+i + • • • + Vis . - - -h tf + .-. + tf = !?+! + ... + 1/2. в натуральных числах yi,..., 3/2$> не превосходящих X. Тогда имеет место оценка Js,r(0,...,0) ^ (гг)вгг(2г)4г(г+1)гх2в-И"+1)(1-(1-1/гП. Доказательство смотри, например, в [25, с.89]. Лемма 4. Пусть а в а = - + -о , 1, (а,^) = 1, \|^\| ^ 1- Тогда при X, Y ^ 1 справедлива оценка Доказательство смотри, например, в [25, с.94]. Лемма 5. Пусть у ^ 1. Тогда для любой комплекснозначной функции /(п) справедливо тождество Л(п)/(п) = ") Е Доказательство смотри, например, в [26, с.62]. Лемма б (преобразование Абеля). Пусть f{x) непрерывно дифференцируема на отрезке [а, Ь], ап — произвольные комплексные числа, Тогда имеет место тождество anf(n) = A(b)f(b) - f A(x)f'(x)dx. Доказательство смотри, например, в [25, с.29]. Лемма 7 (Виноградов). Пусть г — натуральное число, а и (3 — вещественные числа, 0 < А < 1/4, А ^ /3 — а ^ 1 — А. Тогда существует периодическая функция д(х) с периодом 1 и с условиями: 1) д[х) = 1 в интервале а + А/2 ^ х ^ /? — А/2; 2) 0 < д{х) < 1 в интервалах а — А/2 < х < а + А/2 и (3— -А/2 < х < Р + А/2; 3) #(#) = 0 в интервале /3 4- А/2 ^ х ^ 1 + а — А/2; 4) д{х) разлагается в ряд Фурье вида +0О а. + т=—оо имеем , . . Л 1 1 ( г У 'тг\|т\|'тг\|т\| \тг\|т\|А/ ) Доказательство смотри, например, в [27, с.22]. Лемма 8 (Валле-Пуссен). Существует абсолютная постоянная с > 0 такая, что du тг(я;)= / J2 Доказательство смотри, например, в [25, с.78]. Лемма 9. При (г, q) = 1 имеет место тождество ГуИуЫ-!1' n = r(raod9) где суммирование идёт по всем (f(q) характерам Дирихле по модулю q, а гг = 1 (mod q). Доказательство смотри, например, в [26, с.351]. Лемма 10 (теорема Зигеля-Вальфиша). Для любого фиксированного А > 1, 1 ^ q ^ log се и (r,q) = 1 справедлива асимптотическая формула 1 rx {q)J2 ir(X;q,r) = r с некоторым положительным с, зависящим от А. Доказательство смотри, например, в [25, с. 154]. Лемма 11 (Виноградов). Для количества J(N) представлений натурального числа N суммой трёх простых чисел справедливо представление ( N2 \ где При этом cr(N) > 1 при N = 1 (mod 2) и cr(N) = 0 б противном случае. Доказательство смотри, например, в [25, с. 169]. Лемма 12. Пусть A(N) — число решений уравнения п\ + п\ = = п\ + п\ в натуральных числах щ, не превосходящих N. Тогда справедлива оценка ^N2 log N. Доказательство. В случае п\ = щ имеем п^ = п±\ таких тривиальных решений ровно N штук. В случае п\ ф щ имеем пч ф п±\ введем новые переменные Х\ = П\ — 71з Х2 = п1 ~Ь ^3 #3 = П4 — 7^2 В этих новых переменых уравнение примет вид x\x 0, так как число таких решений ровно вдвое меньше общего числа нетривиальных решений. Переходя к оценкам, получим A(N) ^ N + 2 Сгруппируем в последней сумме те слагаемые, для которых одинаков наибольший общий делитель чисел х\ и х^. Имеем xi2:2=332:4 (K/1N X\X2~XZXA d<2N У\Х2=УЗХ4 Поскольку у\ и г/з взаимно просты, должны выполняться условия У\ \| а?4 и ?/з \| Х2, т.е. х\ имеет вид ку\, а Х2 имеет вид ку$ с одним и тем же к. Отсюда Этим доказательство завершается. Лемма 13 (Хуа). Для количества J(N) представлений натурального числа N суммой пяти квадратов простых чисел справед-

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

Цена, в рублях: (при оплате в другой валюте, пересчет по курсу центрального банка на день оплаты)	1425

Скачать бесплатно	23531.doc

Найти готовую работу

ЗАКАЗАТЬ

Обратная связь:

Связаться

Вход для партнеров

Регистрация

Восстановить доступ

Материал для курсовых и дипломных работ

03.11.24 Лексикографический анализ единиц поля

03.11.24 Из истории слова гость и его производных

03.11.24 Семантическое поле гость в русском языке

Архив материала для курсовых и дипломных работ

Ссылки:

Счетчики:

© 2006-2024. Все права защищены.
Выполнение уникальных качественных работ - от эссе и реферата до диссертации. Заказ готовых, сдававшихся ранее работ.