WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

ФГБОУ ВПО Московский государственный университет

имени М. В. Ломоносова

Механико-математический факультет

на правах рукописи

УДК 511.3

Горяшин Дмитрий Викторович

Об аддитивных свойствах

арифметических функций

01.01.06 математическая логика, алгебра и теория чисел

диссертация на соискание учной степени е кандидата физико-математических наук

Научный руководитель:

доктор физико-математических наук, профессор В. Н. Чубариков Москва 2013 Содержание Обозначения Введение 1 Точные квадраты вида [n] 1.1 Вспомогательные леммы....................... 1.2 Сведение к оценке тригонометрических сумм........... 1.3 Лемма об оценке тригонометрической суммы........... 1.4 Завершение доказательства теоремы................ 2 Бесквадратные числа вида [n] 2.1 Сведение задачи к оценке тригонометрических сумм....... 2.2 Оценки тригонометрических сумм с бесквадратными числами. 2.3 Следствие о бесквадратных числах вида [n] с чтным и е нечтным числом простых делителей............... е 3 Аддитивные задачи с бесквадратными числами 3.1 Тернарная задача........................... 3.1.1 Применение кругового метода............... 3.1.2 Интеграл I1 : выделение главного члена.......... 3.1.3 Оценка интеграла I2..................... 3.1.4 Окончание доказательства теоремы............ 3.2 Бинарная задача........................... 3.2.1 Выделение главного члена................. 3.2.2 Оценки тригонометрических сумм............. 4 Бесквадратные числа вида p 1 4.1 Асимптотика количества бесквадратных чисел вида p 1.... 4.2 Бесквадратные числа вида p 1 для простых чисел p, принадлежащих арифметической прогрессии............... Литература Используемые обозначения Буквами a, b, d, k, l, m, n, r, s,... обозначаются целые или натуральные числа, p простые числа, M, N, K, P,..., x, y,... достаточно большие натуральные или вещественные числа; произвольное сколь угодно малое положительное число.

Кроме того, в диссертации используются следующие стандартные обозначения:

[x] целая часть вещественного числа x;

{x} = x [x] дробная часть числа x;

x = min({x}, 1{x}) = min |xn| расстояние от числа x до ближайшего nZ целого числа;

(n) = 1 функция делителей (количество делителей числа n);

d|n 1, если n = k 2 для некоторого k N;

(n) = 0, в противном случае характеристическая функция множества точных квадратов;

1, если n = 1;

(1)r, если n = p1 p2... pr, pi простые числа;

µ(n) = функция Мбиуса;

(в частности, характеристическая функция множества бесквадратных чисел, т. е. чисел, не делящихся на квадрат простого числа);

(N ) = 1 количество простых чисел, не превосходящих N ;

в арифметической прогрессии kn + l, n = 0, 1, 2,...;

И. М. Виноградова) при x означают, что существуют положительные Остальные обозначения вводятся непосредственно в тексте диссертации.

Настоящая диссертация относится к аналитической теории чисел. Одним из е объектов исследования является асимптотическое поведение арифмее тических (теоретико-числовых) функций, т. е. функций натурального аргумента. В первую очередь изучаются характеристические функции множеств натуральных чисел, обладающих специальными аддитивными или мультипликативными свойствами: например, простых чисел, чисел, представимых в виде суммы двух квадратов и т. п. Задачи об асимптотическом поведении средних значений этих функций сводятся к распределению соответствующих множеств чисел в натуральном ряду. Большой интерес представляют также вопросы о поведении арифметических функций и распределении последовательностей в заданных подмножествах множества натуральных чисел, таких как арифметические прогрессии, сдвинутые простые числа и т. п.

Наряду с обычными арифметическими прогрессиями в последнее время активно изучаются свойства обобщенных арифметических прогрессий вещественное число ( первый член прогрессии )1.

В 1975 г. Д. Лейтман и Д. Вольке [31] рассмотрели задачу о распределении В англоязычной литературе последовательность чисел такого вида называют Beatty sequence по имени американского математика Самюэла Битти (Samuel Beatty), предложившего в 1926 г. в журнале American Mathematical Monthly [7] (см. также [57, гл. II, вопрос 3]) задачу о следующем свойстве таких последовательностей: если, > 1 иррациональные числа и + = 1, то каждое натуральное число принадлежит ровно одной из последовательностей [n] и [n], т. е. N = [n] [n].

простых чисел в такой последовательности. Они установили, что если (N ) количество всех простых чисел, не превосходящих N, а (N, ) количество тех из них, которые принадлежат последовательности [n], то для почти всех значений > 0 при N справедлива асимптотическая формула где > 0 произвольно. Таким образом, среди чисел вида [n], n N, содержится правильная доля всех простых чисел.

Отметим также, что для случая иррациональных алгебраических значений Д. Лейтман и Д. Вольке получили асимптотическую формулу где c = c() > 0 некоторая постоянная.

Отечественные исследования по этой тематике инициировали профессора Г. И. Архипов и В. Н. Чубариков, поставившие своим ученикам ряд задач, связанных с изучением различных свойств антье-последовательностей.



В 2004 г. А. В. Бегунц [53] получил новую оценку остаточного члена в этих асимптотических формулах. Его результат формулируется следующим образом. Пусть > 0 иррациональное число, 2, и пусть неравенство имеет место для любых достаточно больших значений q и всех чисел a, взаимно простых с q. Тогда справедлива асимптотическая формула где = max(1 2 ; 0,8), а > 0 произвольно. В частности, оценка остаточного члена в этой формуле вида O(N 0,8+ ) верна в двух следующих случаях:

а) если иррациональное число имеет ограниченные неполные частные или является алгебраическим; б) для почти всех вещественных значений > 0.

В этих же двух случаях многими авторами изучалось распределение значений других арифметических функций на числах вида [n]: функции делителей (n) (А. Г. Аберкромби [1], А. В. Бегунц [54], Ж. С. Лю и В. Г. Жай [32]) и многомерной функции делителей k (n) (В. Г. Жай [47]), функции суммы делителей (n) и функции Эйлера (n) (А. В. Бегунц [55]), характеров Дирихле (В. Д. Бэнкс и И. Е. Шпарлинский [4, 5]), различных мультипликативных функций (А. М. Гулоглу и К. В. Неванс [24]), в частности, характеристических функций чисел, представимых в виде суммы двух квадратов, бесквадратных чисел и чисел, свободных от k-х степеней, r4 (n) количества представлений в виде суммы четырех квадратов и т. д. Для всех перечисленных арифметических функций доказываются результаты вида где R(N ) остаточный член. Оценка величины R(N ), как правило, сводится к оценке тригонометрических сумм вида В 2009 г. А. Г. Аберкромби, В. Д. Бэнкс и И. Е. Шпарлинский [2], применяя несколько другой подход, доказали асимптотическую формулу вида (1) для произвольной арифметической функции f (n) и для почти всех значений > 1 со следующей оценкой остаточного члена:

где M (f, N ) = 1 + max{|f (n)|, n неприменимы для случая каких-либо конкретных иррациональных значений (например, алгебраических).

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

Теорема 1.1. Пусть иррациональное число > 1 имеет ограниченные неполные частные или является алгебраическим. Тогда для любого > при N справедлива асимптотическая формула Эта формула верна также для почти всех вещественных значений > 1.

Ключевым моментом доказательства этой теоремы является лемма об оценке двойной тригонометрической суммы вида (3) с функцией f (n) = (n).

Метод оценки таких сумм был разработан Г. Вейлем [46] (его именем названы однократные суммы с многочленом в показателе экспоненты). Применяя метод Г. Вейля, мы сводим оценку рассматриваемой суммы к оценкам линейных тригонометрических сумм и получаем требуемый результат.

В некотором смысле противоположными по мультипликативным свойствам к точным квадратам являются бесквадратные числа натуральные числа, не делящиеся на квадраты простых чисел. Они имеют вид n = p1 p2... ps, т. е. каждое простое число входит в каноническое разложение n не более чем в первой степени. Таким образом, функция µ2 (n), где µ(n) функция Мбиуса, является характеристической функцией множее ства бесквадратных чисел. Известно (см., например, [26, теорема 334]), что для количества бесквадратных чисел, не превосходящих N, имеет место асимптотическая формула т. е. в отличие от точных квадратов или простых чисел множество бесквадQ(N ) ральном ряду.

Вопрос о распределении бесквадратных чисел в арифметической прогрессии рассматривал в 1958 г. К. Прахар [39] в связи с задачей о наименьшем бесквадратном числе в арифметической прогрессии. Он доказал, что где постоянная в знаке O не зависит от k и l. Более того, он показал, что в случае растущего k остаточный член в этой формуле есть O(N 2 k 4 + +k 2 + ).

В дальнейшем ряд авторов занимались оценкой остаточного члена в этой формуле в среднем и среднеквадратичном (см. [17, 45, 36]).

В 2008 г. А. М. Гулоглу и К. В. Неванс [24], опираясь на оценку тригонометрической суммы вида (2) с мультипликативными коэффициентами f (n), полученную Х. Монтгомери и Р. Воном [33], доказали следующую теорему:

некоторая постоянная, то В частности, для случая мультипликативной функции f (n) = µ2 (n) в качестве следствия получается следующая асимптотическая формула для количества Q(N, ) бесквадратных чисел вида [n], 1 n N:

При этом для почти всех > 1 упомянутая выше теорема из работы [2] дает более точную оценку остаточного члена: O(N 3 + ), однако не позволяет указать какие-либо конкретные значения, для которых верна такая формула.

Вторая глава настоящей диссертации посвящена улучшению оценки остаточного члена в формуле (4) для случая имеющих ограниченные неполные частные и алгебраических. Основной результат формулируется следующим образом.

Теорема 2.1. Пусть иррациональное число > 1 имеет ограниченные неполные частные или является алгебраическим. Тогда при N справедлива асимптотическая формула где A = A(N ) = max 2 (m).

Числами конечного типа являются почти все вещественные числа, а также все алгебраические числа.

но малых > 0) остаточный член в этой формуле есть O(N 6 + ). Как и в теореме 1.1, доказательство основано на получении новой оценки тригонометрической суммы с бесквадратными числами, т. е. суммы вида (3) с функцией f (n) = µ2 (n).

Из теоремы 2.1 и оценки тригонометрической суммы с функцией Мбиуса, принадлежащей Д. Хаджеле и Б. Смиту [25], мы выводим также следующее утверждение.

Следствие 2.3. Пусть Q0 (N, ) и Q1 (N, ) количества бесквадратных чисел вида [n], 1 n N, имеющих четное и нечетное число простых делителей соответственно, а иррациональное число > 1 имеет ограниченные неполные частные или является алгебраическим. Тогда справедливы асимптотические формулы и, таким образом, Более того, в предположении справедливости гипотезы Римана о нулях дзета-функции остаточный член в этих асимптотических формулах для Q0 (N, ), Q1 (N, ) можно заменить на O AN 6 ln5 N, где A = A(N ) = max (m).

1 m N Это следствие показывает, что бесквадратные числа с чтным и нечтным числом простых делителей распределены в последовательности [n] асимптотически поровну.

Следует отметить также результаты, связанные с распределением бесквадратных чисел в другой антье-последовательности, а именно последовательности чисел вида [nc ], где c > 1 нецелое4. В 1998 г. Х. Као и В. Жай [14] доказали, что при некотором > 0 и 1 < c < 36. В 2008 г. теми же авторами верхняя граница для c была увеличена до в статье [15], содержащей лишь набросок доказательства. Подробное доказательство опубликовали в 2013 г. Р. Бейкер и др. [3] в числе других результатов, связанных с распределением арифметических функций в последовательностях вида [nc ].

Методы аналитической теории чисел находят также широкое применение при решении аддитивных задач. Одна из наиболее известных среди них знаменитая тернарная проблема Гольдбаха о представлении нечетных чисел в виде суммы трех простых чисел, решенная в 1937 г. И. М. Виноградовым [59] (доказательство изложено также в его книге [58]). Для решения этой проблемы И. М. Виноградов применил свой, усовершенствованный вариант кругового метода, разработанного в начале XX в. Г. Г. Харди, Дж. Литтлвудом и С. Рамануджаном (см., например, [60]), который с успехом применялся к решению проблемы Варинга (о представлении натуральных чисел суммой k-х степеней) и других задач. Более того, И. М. Виноградов не только доказал представимость каждого достаточно большого нечетного числа N суммой трех простых чисел, но и вывел асимптотическую формулу для количества таких представлений:

Последовательность чисел такого вида называют также последовательностью Пятецкого-Шапиро по имени И. И. Пятецкого-Шапиро, впервые рассмотревшего задачу о распределении простых чисел в этой последовательности [67]. Он доказал асимптотический закон распределения таких простых чисел при 1 < c < 11. В дальнейшем верхняя граница для числа c неоднократно уточнялась.

где особый ряд (S(N ) > 1). Доказательство этой формулы стало возможным благодаря оценке тригонометрической суммы с простыми числами.

До сих пор нерешенной остается бинарная проблема Гольдбаха о представлении четных чисел суммой двух простых чисел. В отличие от тернарной проблемы круговой метод в этой задаче не позволяет получить асимптотическую формулу, однако оценки И. М. Виноградова тригонометрических сумм с простыми числами дали возможность доказать, что почти все четные числа представимы: множество четных чисел, не превосходящих N и не представимых суммой двух простых чисел (так называемое особое, или исN фиксированного A > 0 (этот результат доказан в 1937–1938 гг. независимо пятью авторами: Ван дер Корпут, Н. Г. Чудаков, Т. Эстерман, Г. Хейльбронн, Хуа Ло-ген). Современная оценка мощности особого множества имеет вид |E(N )| = O(N 1 ), для некоторой постоянной > 0 (Х. Л. Монтгомери и Р. К. Вон [35], Чен Джин Ран и Лю Ян Мин ( = 0,05) [16]).

В 1997 г. Г. И. Архипов, К. Буриев и В. Н. Чубариков [48] рассмотрели особое множество в другой бинарной проблеме гольдбахова типа о представлении натурального числа N в виде p1 +[p2 ], где p1, p2 простые числа.

Для его мощности они получили следующую оценку: если алгебраичеN 9 +. В 2000 г. Й. Брюдерн [10] показал, что из ское число, то |E(N, )| дачу о представлении N в виде [1 p1 ]+[2 p2 ], где p1, p2 простые числа. Для особого множества в этой задаче он получил оценку |E(N, 1, 2 )| если 1, алгебраические числа, причем 1, 1, линейно независимы над полем Q. В 2002 г. Г. И. Архипов и В. Н. Чубариков [50] при одном лишь условии, что иррациональное алгебраическое число, получили более стве играет лемма о мере множества больших дуг в разбиении Фарея (ее полное доказательство опубликовано в статье Г. И. Архипова и В. Н. Чубарикова [51]; см. также [9, лемма 4]).

В 1999 г. С. Ю. Фаткина [70] рассмотрела видоизмененную тернарную проблему Гольдбаха и, пользуясь методами работ Г. И. Архипова, К. Буриева и В. Н. Чубарикова, доказала асимптотическую формулу для числа представлений натурального числа N в виде N = p1 + p2 + [ 2p3 ] (p1, p2, p3 простые числа) с почти равными слагаемыми, т. е. с условиями U < p1 < + U, некоторая константа) она доказала следующую асимптотическую формулу для количества таких представлений:

В. Д. Бэнкс, А. М. Гулоглу и К. В. Неванс [6] рассматривали также задачу о представлении достаточно больших натуральных чисел в виде N = p1 + p2 +...+p, где p1, p2,..., p простые числа из последовательности [n+], 3, иррациональное число, 1 < <. А. Кумчев [30] обобщил их результаты на случай, когда каждое из простых чисел pi принадлежит своей последовательности вида [i n + i ], где хотя бы одно из отношений i /j Наряду с задачами с простыми числами многими авторами рассматривались также аддитивные задачи с бесквадратными числами. В 1929–1933 гг.

К. Эвелин и Е. Линфут в серии работ [22] получили следующие асимптотические формулы для количества r (N ) представлений числа в виде суммы Оценки остаточного члена в этих формулах для случаев различных в дальнейшем неоднократно уточнялись (Л. Мирский [34], Д. Р. Хиз-Браун [28], Й. Брюдерн и А. Перелли [12], Д. И. Толев [42] и др.). Последний результат в этой задаче при 3 принадлежит Й. Брюдерну и А. Перелли [12], которые в 1999 г. круговым методом доказали оценку остаточного члена с () = при 3. В случае = 2 более простое доказательство оценки остаточного члена с (2) = предложил в 1931 г. Т. Эстерман [19].

В третьей главе настоящей диссертации рассматриваются две следующие аддитивные задачи. Пусть > 1 фиксированное иррациональное число и пусть r2 (N, ) и r3 (N, ) равны соответственно количествам разбиений натурального числа N на одно и два бесквадратных слагаемых и слагаемое вида [q], где q также бесквадратное, т. е. числу представлений числа N в виде и в виде соответственно, где q1, q2, q3 бесквадратные числа. Тогда имеют место следующие утверждения.

Теорема 3.1. Пусть > 1 иррациональное алгебраическое число. Тогда при любом > 0 для количества r3 (N, ) решений уравнения q1 +q2 +[q3 ] = N в бесквадратных числах q1, q2, q3 справедлива асимптотическая формула Теорема 3.2. Пусть > 1 иррациональное алгебраическое число. Тогда при любом > 0 для величины r2 (N, ) справедлива асимптотическая формула Доказательства этих теорем существенно различаются. В случае r3 (N, ) асимптотическая формула выводится с помощью кругового метода Харди– Литтлвуда–Рамануджана в форме тригонометрических сумм И. М. Виноградова (параграф 3.1). При этом, как и в работе [50], существенную роль в доказательстве играет аналог леммы Г. И. Архипова и В. Н. Чубарикова о мере множества больших дуг в разбиении Фарея (лемма 3.3). Применяя круговой метод, мы также опираемся на теорему об оценке тригонометрической суммы с бесквадратными числами по малым дугам [11, 42, 40] (лемма 3.1). В случае r2 (N, ) мы применяем аналог элементарного подхода Т. Эстермана (параграф 3.2).

Многими авторами исследовались также задачи об асимптотическом поведении средних значений арифметических функций в последовательности сдвинутых простых чисел, т. е. на множестве вида {p1 | p простое число}.

Как правило, порядок роста среднего значения для многих арифметических функций на этом множестве соответствует порядку их роста по всем подряд идущим натуральным числам. Одной из наиболее известных задач такого типа является проблема делителей Титчмарша об асимптотическом поведении суммы при N, где (n) функция делителей. Для суммы T (N ) Е. Титчмарш [41] в 1930 г. в предположении справедливости расширенной гипотезы Римана получил асимптотическую формулу Ю. В. Линник [64] с помощью разработанного им (весьма сложного) дисперсионного метода опубликовал безусловное доказательство этого результата.

В конце 60-х годов прошлого века был разработан метод большого решета, на основе которого была доказана теорема о распределении простых чисел в среднем по арифметическим прогрессиям (теорема Э. Бомбьери А. И. Виноградова), позволившая значительно упросить доказательство. В 1986 г. Э.

Бомбьери, Ж. Фридландер и Г. Иванец [13] доказали, что оценку остаточного ного A > 0.

Рядом авторов рассматривались суммы вида (5) с другими арифметическими функциями (см. К. Хооли [29], Ж. Портер [38], Р. Вон [44], А. Фуджи [23], С. Пиллай [37], П. Эллиотт и Х. Халберстам [18], М. Б. Барбан [52], Т. М. Федулова [69], Е. П. Давлетярова [61] и др.). Отметим, что задача о точных квадратах вида p 1 является одной из труднейших нерешенных задач теории простых чисел. Доказать бесконечность точных квадратов в этой последовательности, или, другими словами, бесконечность простых чисел вида n2 + 1, одна из знаменитых четырх проблем, сформулированных Э. Ландау на Пятом Международном математическом конгрессе в Кембридже (Великобритания) в 1912 г., ни одна из которых не решена до сих пор.

Четвртая глава диссертации посвящена исследованию распределения бесе квадратных чисел на множестве сдвинутых простых чисел, т. е. задаче о нахождении асимптотического поведения суммы вида (5) с арифметической получаем асимптотические формулы для сумм Приведем формулировки соответствующих теорем.

Теорема 4.1. При N для любого A > 0 справедлива асимптотическая формула гральный логарифм.

Теорема 4.2. Пусть справедлива асимптотическая формула где постоянная в символе O зависит только от параметров a, k, и Отметим следующее следствие теоремы 4.2, показывающее, что бесквадратные числа распределены по множествам сдвинутых простых чисел, принадлежащим различным прогрессиям по модулю k, P (a, k) = Следствие 4.1. Пусть N для любого A > 0 справедлива асимптотическая формула зависит только от параметров a, k.

Таким образом, для каждого из (k) значений a в множества P (a, k) попадают асимптотически неравные количества бесквадратных чисел: при услоc1 c так как (k) = k в отличие от исследованного во второй главе распределения значений µ2 (n) на множестве чисел вида [n] по множествам P (a, k) значения этой функции распределены асимптотически неравномерно.

Основные результаты, полученные в настоящей диссертации, опубликованы в работах автора [73, 74, 75, 76, 77].

В заключение автор выражает благодарность научному руководителю профессору В. Н. Чубарикову за постановку задач и внимание к работе, а также сотрудникам кафедры математического анализа за доброжелательное отношение и поддержку.

Пусть > 1 иррациональное число. В данной главе рассматривается задача о нахождении асимптотической формулы для количества S точных квадратов в последовательности [n], n (характеристическая функция множества точных квадратов). Тогда S равно значению суммы Сформулируем основной результат настоящей главы.

Теорема 1.1. Пусть иррациональное число > 1 имеет ограниченные неполные частные или является алгебраическим. Тогда для любого > при N справедлива асимптотическая формула Эта формула верна также для почти всех вещественных значений > 1.

1.1. Вспомогательные леммы Для доказательства основной теоремы этой главы нам потребуется ряд вспомогательных утверждений, которые мы будем использовать также и в других главах диссертации.

Одним из основных инструментов снятия знака целой части является следующая лемма о приближении функции (x) = 1 {x} частичной суммой ее ряда Фурье (см. [49, стр. 440, 601, 607]). (Здесь и далее мы переопределяем функцию (x) в целых точках регулярным образом, т. е. (n) = 0, n Z.) разложение где Пусть функция (a,b) (x) (0; 1], регулярная в точках разрыва:

и продолженная периодически на всю числовую ось.

Лемма 1.2. Справедливо равенство Доказательство см. в [49, стр. 445].

Приведем две известные теоремы о приближении иррациональных чисел рациональными.

число. Тогда для любого > 0 существует лишь конечное количество пар Доказательство лемм 1.3 и 1.4 см, например, в [63, гл. I, гл. VI]. Сформулируем в качестве отдельной леммы следствие теорем Дирихле и Рота для иррациональных алгебраических чисел.

Лемма 1.5. Пусть иррациональное алгебраическое число. Тогда для любых чисел 2 и > 0 существует такая пара целых чисел (a, q), что зависит от ).

Доказательство. Действительно, по теореме Рота неравенство выполняется для конечного числа несократимых дробей a, поэтому для некоq торого c = c() > 0 неравенство другой стороны, по лемме Дирихле для некоторой такой пары имеет место неравенство Поэтому для числа q в этой паре (т. е. для знаменателя соответствующей подходящей дроби к числу ) имеем оценку Для случая чисел с ограниченными неполными частными мы будем использовать следующую лемму.

Лемма 1.6. Пусть иррациональное число с ограниченными неполными частными. Тогда: 1) существует C = C() > 0 такое, что для всех (a, q) = 1, что C).

Доказательство. Первое утверждение леммы следует из [71, теорема 23]. Второе утверждение доказывается так же, как и в лемме 1.5.

Наконец, для случая почти всех нам потребуется следующее следствие из основной теоремы метрической теории цепных дробей [71, теорема 32].

Лемма 1.7. При любом > 0 для почти всех вещественных чисел (в смысле меры Лебега): 1) неравенство имеет лишь конечное число решений в целых числах (a, q) с условиями q 1, (a, q) = 1;

зависит от ).

Доказательство. Рассуждения здесь аналогичны случаю леммы 1.5, поскольку Следующие две классические леммы И. М. Виноградова приведем в форме, использованной Р. Воном в статье [43].

где расстояние от числа до ближайшего целого числа.

1.2. Сведение к оценке тригонометрических сумм Приступим к доказательству теоремы 1.1. Заметим, что равенство Рассмотрим характеристическую функцию интервала (1 ; 1) продолженную периодически на всю числовую ось. Тогда Первое слагаемое в правой части дат главный член доказываемой асимптое тической формулы:

Рассмотрим теперь второе и третье слагаемые. Обозначим их через и воспользуемся леммой 1.1 о разложении функции (x) в ряд Фурье:

1 |k| P оценивается следующим образом:

Далее, Аналогично оценивается и вторая сумма в остатке. Таким образом, требуется оценить тригонометрические суммы 1.3. Лемма об оценке тригонометрической суммы A = max (n). Тогда Для доказательства леммы 2 воспользуемся методом Г. Вейля. Возведем данную сумму в квадрат и применим неравенство Коши:

Перейдем во внутренней сумме от переменной r к новой переменной суммирования h, r = s + h. Поскольку r2 s2 = (s + h)2 s2 = 2sh + h2, имеем:

где X = max(1, 1 h), Y = min(M, M h). Выделим в сумме по h отдельно слагаемое, соответствующее h = 0 и равное M. Получим:

Для оценки внутренней суммы воспользуемся леммами 1.8, 1.9. Применяя лемму 1.8, получаем:

Оценим сверху (v) величиной A = max (n) и применим лемму 1.9, считая, Следовательно, откуда и следует утверждение леммы 1.10.

1.4. Завершение доказательства теоремы Воспользуемся теперь доказанной леммой 1.10 для оценки сумм W1, W2.

бесквадратных чисел вида [n], 1 n N. Эта величина равна также значению суммы где µ(n), как обычно, функция Мебиуса.

Асимптотическое поведение величины Q(N, ) при N с теми или иными ограничениями на число исследовалось ранее разными авторами.

Так, в работе [24] доказано, что если иррациональное число конечного типа (например, имеет ограниченные неполные частные или является алгебраическим), то С другой стороны, в работе [2] доказана асимптотическая формула для средних значений мультипликативных функций для почти всех значений.

В применении к мультипликативной функции µ2 (n) эта теорема дает для почти всех. При этом, в отличие от работы [24], метод данной статьи не позволяет указать какие-либо конкретные значения, для которых верно это равенство.

Настоящая глава посвящена доказательству следующей основной теоремы.

Теорема 2.1. Пусть иррациональное число > 1 имеет ограниченные неполные частные или является алгебраическим. Тогда при N справедлива асимптотическая формула где A = A(N ) = max 2 (m).

сколь угодно малых > 0, поэтому остаточный член в теореме 2.1 есть 2.1. Сведение задачи к оценке тригонометрических Сведение задачи к оценке тригонометрических сумм производится по той же схеме, что и в предыдущей главе. Равенство m = [n] равносильно тому, Первое слагаемое в правой части дает главный член доказываемой асимптотической формулы:

Рассмотрим теперь второе слагаемое. Применим к нему лемму 1.1:

Первая сумма оценивается следующим образом:

Далее, Таким же образом оценивается и вторая сумма в остатке. Положим P = N. Тогда последнее слагаемое равно O( N ln2 N ). Итак, требуется оценить тригонометрические суммы 2.2. Оценки тригонометрических сумм с бесквадратными числами Лемма 2.1. Пусть алгебраическое число или число с ограниченными неполными частными. Тогда для любого > 0 для сумм W1, W2, определеных равенствами (2.1), справедливы оценки Доказательство. Рассмотрим сначала сумму W1. Воспользуемся известной формулой µ2 (m) = µ(d):

Разобьем внешние суммы по k и по d каждую на ln N сумм по промежуткам вида (K; 2K] и (D; 2D] и соответственно, где 2K P, 2D N.

Тогда получим оценку где



Похожие работы:

«Боков Александр Викторович Численные методы исследования математических моделей геофизики и тепловой диагностики на основе теории обратных задач 05.13.18 — Математическое моделирование, численные методы и комплексы программ Диссертация на соискание учёной степени кандидата физико-математических наук Научный руководитель : доктор физико-математических наук, профессор В.П. Танана ЧЕЛЯБИНСК — 2014 Содержание Введение 4 1...»

«Рубцова Татьяна Юрьевна Формирование жизненных перспектив будущих абитуриентов вуза Специальность 13.00.01 – Общая педагогика, история педагогики и образования Диссертация на соискание ученой степени кандидата педагогических наук Научный руководитель :...»

«УСОВА ЮЛИЯ ВИКТОРОВНА ПОЛИТИЧЕСКИЕ ЭЛИТЫ СОВРЕМЕННОЙ РОССИИ: ДИНАМИКА И ПОЗИЦИОНИРОВАНИЕ Специальность 23.00.02 Политические институты, процессы и технологии Диссертация на соискание ученой степени доктора политических наук Научный консультант : доктор политических наук, профессор Б.Г. Койбаев Владикавказ, 2014 СОДЕРЖАНИЕ ВВЕДЕНИЕ ГЛАВА 1. ТЕОРЕТИКО-МЕТОДОЛОГИЧЕСКИЕ ОСНОВЫ ЭЛИТОЛОГИИ В СОВРЕМЕННОЙ...»

«Орлова Ольга Геннадьевна ВЗАИМОДЕЙСТВИЕ МИКРООРГАНИЗМОВ С ПРОДУКТАМИ ГИДРОЛИЗА ИПРИТА Специальность 03.00.07 - микробиология ДИССЕРТАЦИЯ на соискание ученой степени кандидата биологических наук Научный руководитель : д.т.н. Медведева Н.Г. Научный консультант : к.б.н.Зайцева Т.Б. Санкт-Петербург ОГЛАВЛЕНИЕ стр. ВВЕДЕНИЕ.. Глава 1. Обзор литературы.....»

«Николаичева Светлана Сергеевна Дневниковый фрагмент в структуре художественного произведения (на материале русской литературы 30 – 70 гг. XIX века) 10.01.01 – русская литература Диссертация на соискание ученой степени кандидата филологических наук Научный руководитель : доктор филологических наук, доцент Юхнова Ирина Сергеевна Нижний Новгород – 2014 Содержание Введение Глава I. Дневник как социокультурный и...»

«Т.Ю. Репкина mailto:t-repkina@yandex.ru МОРФОЛИТОДИНАМИКА ПОБЕРЕЖЬЯ И ШЕЛЬФА ЮГО-ВОСТОЧНОЙ ЧАСТИ БАРЕНЦЕВА МОРЯ 25.00.25. - Геоморфология и эволюционная география Диссертация на соискание ученой степени кандидата географических наук Научный руководитель : кандидат географических наук В.И. Мысливец МОСКВА, Введение Список сокращений Глава 1. Физико-географические условия развития...»

«Мошкина Елена Васильевна Организационно-педагогическое сопровождение процесса подготовки студентов заочной формы в условиях электронного обучения 13.00.08 – Теория и методика профессионального образования ДИССЕРТАЦИЯ на соискание ученой степени кандидата педагогических наук Научный руководитель : доктор педагогических наук, профессор,...»

«БОНДАКОВА МАРИНА ВАЛЕРЬЕВНА РАЗРАБОТКА РЕЦЕПТУРЫ И ТЕХНОЛОГИИ ПРОИЗВОДСТВА КОСМЕТИЧЕСКИХ ИЗДЕЛИЙ С ИСПОЛЬЗОВАНИЕМ ЭКСТРАКТА ВИНОГРАДА Специальность 05.18.06 – Технология жиров, эфирных масел и парфюмерно-косметических продуктов (технические наук и) Диссертация на соискание ученой степени кандидата технических наук...»

«по специальности...»

«Абызов Алексей Александрович ОБЕСПЕЧЕНИЕ БЕЗОТКАЗНОСТИ ЭЛЕМЕНТОВ ХОДОВЫХ СИСТЕМ БЫСТРОХОДНЫХ ГУСЕНИЧНЫХ МАШИН ПРИ ПРОЕКТИРОВАНИИ НА ОСНОВЕ МОДЕЛИРОВАНИЯ ПРОЦЕССОВ ЭКСПЛУАТАЦИИ И ФОРМИРОВАНИЯ ОТКАЗОВ Специальности: 05.05.03 – Колесные и гусеничные машины 01.02.06 – Динамика, прочность...»

«КАБИРОВ Валентин Рамильевич ОЦЕНКА ЭКОНОМИЧЕСКОЙ ЭФФЕКТИВНОСТИ РАЗРАБОТКИ ГРУППЫ ТЕРРИТОРИАЛЬНО-СБЛИЖЕННЫХ РУДНЫХ (МЕТАЛЛИЧЕСКИХ) МЕСТОРОЖДЕНИЙ Специальность 08.00.05 – Экономика и управление народным хозяйством (экономика, организация и управление предприятиями,...»

«БУЛЫЧЁВ Пётр Евгеньевич АЛГОРИТМЫ ВЫЧИСЛЕНИЯ ОТНОШЕНИЙ ПОДОБИЯ В ЗАДАЧАХ ВЕРИФИКАЦИИ И РЕСТРУКТУРИЗАЦИИ ПРОГРАММ 05.13.11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей ДИССЕРТАЦИЯ на соискание ученой степени кандидата физико-математических наук Научные руководители: доктор физ.-мат. наук, академик РАЕН, профессор Р. Л. Смелянский; кандидат физ.-мат. наук, доцент В. А....»

«Вакурин Алексей Александрович Хромосомная изменчивость и дифференциация близких таксонов мелких млекопитающих на примере представителей родов Cricetulus, Tscherskia и Ochotona 03.02.04 – зоология Диссертация на соискание ученой степени кандидата биологических наук Научный руководитель : д.б.н., с.н.с. Картавцева Ирина Васильевна Владивосток –...»

«Загуляев Денис Георгиевич ОРГАНИЗАЦИЯ ОПЛАТЫ ТРУДА РАБОЧИХ НА ТЕХНИЧЕСКОМ ОБСЛУЖИВАНИИ ОБОРУДОВАНИЯ ПРОМЫШЛЕННЫХ ПРЕДПРИЯТИЙ Специальность 08.00.05. – Экономика и управление народным хозяйством (экономика, организация и управление предприятиями, отраслями и комплексами – промышленность; экономика труда) Диссертация на соискание учёной степени...»

«ХОМУТОВ Роман Владимирович ОТВЕТСТВЕННОСТЬ ЗА РЕГИСТРАЦИЮ НЕЗАКОННЫХ СДЕЛОК С ЗЕМЛЕЙ (ст. 170 УК РФ) Специальность 12.00.08 – Уголовное право и криминология; уголовно- исполнительное право Диссертация на соискание ученой степени кандидата юридических наук Научный руководитель доктор юридических наук, профессор Ревин В.П. Кисловодск 2014 Содержание Введение.. 3 Глава 1. Исторический и зарубежный опыт регламентации уголовной...»

«Мироненко Светлана Николаевна Интеграция педагогического и технического знания как условие подготовки педагога профессионального обучения к диагностической деятельности Специальность 13.00.08 Теория и методика профессионального образования Диссертация на соискание ученой степени кандидата педагогических наук научный руководитель:...»

«Акбаева Галина Михайловна ОСОБЕННОСТИ ЭЛЕКТРОФИЗИЧЕСКИХ СВОЙСТВ РЯДА СЕГНЕТОМЯГКИХ МАТЕРИАЛОВ НА ОСНОВЕ ЦТС 01.04.07 – физика конденсированного состояния Диссертация на соискание ученой степени кандидата физико-математических наук Научный руководитель доктор физико-математических наук,...»

«ЧУДНОВСКАЯ ГАЛИНА ВАЛЕРЬЕВНА БИОЭКОЛОГИЯ И РЕСУРСЫ ЛЕКАРСТВЕННЫХ РАСТЕНИЙ ВОСТОЧНОГО ЗАБАЙКАЛЬЯ Специальность 03.02.08 – Экология Диссертация на соискание ученой степени доктора биологических наук Научный консультант : Чхенкели Вера Александровна, доктор биологических наук, профессор Иркутск – СОДЕРЖАНИЕ Введение.. Глава 1. Обзор литературы по состоянию проблемы исследований ресурсов лекарственных растений.. 1.1...»

«ХУСАИНОВ Радмир Расимович ОБОСНОВАНИЕ КОМБИНИРОВАННОЙ ТЕХНОЛОГИИ ПОВЫШЕНИЯ НЕФТЕОТДАЧИ ПЛАСТОВ С ПРИМЕНЕНИЕМ ПОВЕРХНОСТНО-АКТИВНЫХ ВЕЩЕСТВ И ПЛАЗМЕННОИМПУЛЬСНОЙ ТЕХНОЛОГИИ Специальность 25.00.17 – Разработка и эксплуатация нефтяных и газовых месторождений ДИССЕРТАЦИЯ на...»

«АНУФРИЕВ ДЕНИС ВИКТОРОВИЧ АДВОКАТУРА КАК ИНСТИТУТ ГРАЖДАНСКОГО ОБЩЕСТВА В МНОГОНАЦИОНАЛЬНОЙ РОССИИ Специальность 23.00.02. – политические институты, этнополитическая конфликтология, национальные и политические процессы и технологии Диссертация на соискание ученой степени кандидата юридических наук Научный руководитель – доктор юридических наук,...»






 
2014 www.av.disus.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.