Распределение значений арифметических функций тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

московский

ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени М. В. ЛОМОНОСОВА

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

На правах рукописи УДК 511.3

ГИЯСИ АЗАР ХОДАБАХШ

РАСПРЕДЕЛЕНИЕ ЗНАЧЕНИЙ АРИФМЕТИЧЕСКИХ ФУНКЦИЙ

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

чисел

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

□03174215

МОСКВА 2007

003174215

Работа выполнена на кафедре математического анализа Механико-математического факультета Московского государственного университета имени M В Ломоносова

Научный руководитель доктор физико-математических наук, профессор В H Чубариков

Официальные оппоненты ■ доктор физико-математических наук, профессор M П Минеев

кандидат физико-математических наук, доцент

J1 П Постникова

Ведущая организация• Тульский государственный педагогический университет имени JI H Толстого

Защита диссертации состоится 12 октября 2007 г в 16 час 40 мин на заседании диссертационного совета Д 501 001 84 в Московском государственном университете имени M В Ломоносова по адресу 119992, ГСП-2, Москва, Ленинские горы, МГУ, Механико-математический факультет, аудитория 14-08

С диссертацией можно ознакомиться в библиотеке Механико-математического факультета МГУ (Главное здание, 14 этаж)

Автореферат разослан 28 сентября 2007 г

Ученый секретарь диссертационного совета Д 501 001 84 в МГУ, доктор физико-математических наук, профессор

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

Мощным методом решения задач теории распределения значений функций вещественной переменной является метод тригонометрических сумм вида

Е /(*!, Е ^ltF{xu

(ж1, ,хг)€п (их, ,xr)esl

где наборы (жх, ., хг) пробегают значения из дискретного множества fI, t — вещественный параметр и F(xi, ,xr) — веще-ственнозначная функция

И М Виноградову принадлежат первые постановки задач о распределении значений коротких сумм арифметических функций и их решении с помощью метода тригонометрических сумм Комплекснозначная функция f(n) натурального аргумента п называется теоретико-числовой (или арифметической). Если для любых взаимно простых чисел тип справедливо равенство

/Ы/(п) = f(rnn), (1)

то функция f(n) называется мультипликативной функцией Если равенство (1) выполняется всегда, то функция называется вполне мультипликативной

Например, мультипликативной функцией является функция т(п) — количество делителей числа п Для любого натурального числа п имеем т(п) >2 С другой стороны, известно предельное соотношение

-— lnr(n)lnlnn , „ lim -V-= In 2

п-юо In n

Важной задачей теории арифметических функций является задача нахождения асимптотики их средних значений Например,

для функции т(п) при х оо имеет место асимптотическая формула вида

— т(п) ~ 1пх + 27 — 1,

Х iг<х

где 7 = 0, 577215664901532 — постоянная Эйлера

Тесным образом с рассмотренной выше функцией числа делителей связана функция а(п) — сумма всех делителей числа п, которая также является мультипликативной функцией. Для нее имеют место аналогичные соотношения

а(п) >п + 1. lim v^2) . = g-r i у^ afn\ ^

«->°°nlnlnn х к > 12

Родственной с функцией сумма делителей числа является функция Эйлера <р(п), представляющая собой количество натуральных чисел, взаимно простых спине превосходящих п Она имеет вид

»In \ V

р\п

Для нее справедливы соотношения, подобные приведенным выше

. , . Л , <р(п) In In п 1 3

ср(п) < п — 1, lim —--= е т, — > <р(х) ~ — х

п->оо тг ж 7Г

Другим широким классом являются арифметические функции f(n), которые называются аддитивными функциями, если для любых взаимно простых чисел тип выполняются равенства

/(m) + /(n) = /(mn) (2)

Если равенство (2) выполняется всегда, то функция /(тг) называется вполне адцитивной

Первым примером аддитивной функции является функция и>(п) — количество различных простых делителей числа п Здесь также имеют место соотношения, подобные приведенным выше

ИТ— Ь>(п) In Inn , 1 . , > 1, lim-:-= 1, — > win) ~ minx

П-УОО Inn

В 1917 г Г Харди и С Рамануджан доказали, что для любой положительной неограниченно возрастающей при п —оо функции ф{п) частота

ип{т < п \ш(т) — 1п1пп| < -г/>(п)\/1п1пп},

стремится к единице при п —» оо, те для функции ш(п) справедлив "закон больших чисел"

Известно, что для любого фиксированного натурального числа к при п —» оо справедлива асимптотика

, _ , ч м (Ыпп)^1

(к- 1)11пп

Последнее соотношение показывает, что функция и>(п) распределена приблизительно по закону Пуассона с параметром 1п 1п п Более того, для функции ш(п) имеет место "центральная предельная теорема" Для любого фиксированного х при п —> оо справедливо предельное соотношение

( ш(т)— \n\nn 1 . 1 г „2/о ,

'п{т<п: К — < х ^ -» <3(ж) = -= / е ' ¿и

\ _ лЛпЬп ] л/2тг_/

Отметим еще один интересный результат В 1947 г В Левек получил "центральную предельную теорему" для распределения значений разностей ш(гп) — ш(т +1) Его результат звучит так При фиксированном значении х и при п —оо имеет место соотношение

ш(т) — ш(т+ 1) 1 ч

т<п х ', =—- < ж V (?(ж) \/21п1пп 1 v ;

В настоящей диссертации мы уделяем особое внимание периодическим арифметическим функциям Безусловно первым вопросом здесь является исследование среднего значения таких функций на периоде Например, периодической арифметической функцией является являются символы Лежандра по простому модулю, характеризующие квадратичные вычеты и квадратичные невычеты по этому модулю К Ф Гаусс доказал,

что квадратичных вычетов и квадратичных невычетов на периоде поровну, т е сумма символов Лежандра на периоде равна нулю

И M Виноградову1 2 принадлежат первые задачи по распределению значений периодических арифметических функций на коротких промежутках, те на промежутках, длина которых меньше длины периода Наиболее известной здесь является проблема оценки сверху величины наименьшего квадратичного невычета по простому модулю В данной работе методом И M Виноградова3 4 мы вычисляем константы в неравенствах для средних значений арифметических функций на коротких промежутках Кроме того, мы находим соответствующие разложения этих функций в ряд Фурье

Г Давенпорт и П Эрдеш5 поставили и решили первую задачу о распределении квадратичных вычетов и квадратичных невычетов по простому модулю на очень коротком промежутке Здесь мы в подобной задаче для кратных очень коротких сумм Гаусса получаем асимптотики их моментов

Цель работы. Улучшение констант в неравенствах для некоторых неполных сумм от периодических функций Получение закона распределения остатков в разложении вещественного числа в системах счисления с не целыми основаниями (обобщение проблемы А О Гельфонда)6

Методы исследования. В работе использованы метод И M Виноградова, метод А О Гельфонда, теория рядов Фурье

1 Виноградов ИМ Основы теории чисел 9-е изд — M Наука, 1981

2 Виноградов И M Особые варианты метода тригонометрических сумм — M Наука, 1976

3Виноградов ИМ Sur la distribution des residues et des nonresidues des puissances//Журнал физ -матем об-ва Пермского государственного ун-та 1918, 1, 94-98

4 Виноградов И M О распределении квадратичных вычетов и невыче-тов//Журнал физ -матем об-ва Пермского государственного ун-та 1919, 2, 1-16

5 Davenport H, ErdosP The distribution of quadratic and higher residues //Publ Math , Debrecen 1952, 2, №3-4, 252-265

6ГельфондА О Об одном общем свойстве систем счисления //Изв АН СССР, сер матем 1959, 23, No 6, 809-814

и комплексного анализа

Научная новизна. Основные результаты диссертации являются новыми и состоят в следующем.

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

2. Найдены константы в оценках ряда неполных сумм периодических арифметических функций

3 Найден закон распределения остатков при разложении вещественного числа в системах счисления с не целыми основаниями, обобщающий соответствующее утверждение А О Гельфонда

Теоретическая и практическая ценность. Работа носит теоретический характер Ее результаты могут быть использованы специалистами в области аналитической теории чисел

Апробация диссертации. Результаты диссертации докладывались на специальных семинарах по аналитической теории чисел в МГУ под руководством Г И Архипова, В Н Чубарикова (2005-2007 гг)

Публикации. Основные результаты опубликованы в трех работах автора Их список приведен в конце автореферата

Структура и объем работы. Диссертация состоит из введения, двух глав и списка литературы Текст изложен на 66 страницах Список литературы содержит 51 наименование.

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ

Сформулируем основные результаты диссертации Теорема 1.2.2. Пусть

где к > 1 — натуральное число, рь ,рТ — простые числа, = рг рГ) ф > х > 1 — вещественное число, и а\, ,аг — целые числа

Пусть, далее, Бо{х) = 3(х+0)+3(х~0) периодическая функция с периодом, равным ф

Тогда функция 5*о(ж) разлагается в сходящийся ряд Фурье вида

+оо

ЗД = £ ^е2"*,

где коэффициенты Фурье сп имеют вид а при п^О имеем

^ _ 1 ^ / m + аЛ / m + ak \

2тггп pi / \Pk

Кроме того, при пф О справедливо неравенство

VQ

Ы <

2-кп

Теорема 1.2.3.Пусть N — натуральное число, Т = Т(аъ ,ак) = т^к^Щ,

где 5 (ТУ) обозначает сумму

' т, + ах ^ ( т + йк

S(N) = £ (-

m<n \

pi ; \ Рк

причем а\, ,а^ — некоторые целые числа, api, ,Pk ~~ Раз~ личные нечетные простые числа, Q — Рх Рк Тогда имеет место следующее неравенство

Т<Щ\о%Я(1 + о{1))

Теорема 1.3.1.Пусть N — нечетное число, х — целое число, 1 < х < Ы, и пусть

о(х) = Е *

т<х

неполная сумма Гаусса Тогда справедливо неравенство

ж*

Теорема 1.3.2.Пусть N — нечетное число, х — целое число, 1 < х < И, и пусть

0(х) = £ е

ТП<Х

неполная сумма Гаусса, и пусть

(?о(аг) = —-——--0 < х < ЛГ,

периодическая функция с периодом N

Тогда имеет место следующее разложение Со (ж) в сходящийся ряд Фурье

00

<ЗД= £ 9пе2^,

п=—оо

где коэффициенты Фурье дп имеют вид

1 М 9п = -др У"о0(а)

Более точно, имеем

N

е~2тЦ& ёх

"о

4 ^ у

47ггп

2тгг(2 п +1) причем

пг=1 га—1

Теорема 1.3.3.Пусть N — нечетное число, и пусть

7П=1

обобщенная сумма Гаусса Тогда справедливо равенство

1 + г 1

Теорема 1.3.4.Пусть р — нечетное простое число, и пусть символ т(а;) обозначает неполную сумму Гаусса вида

eMtTtT(p) = G(p) = Vy/P,

где r¡ = 1, если р = 1 (mod 4), и Т] = г, если р = 3 (mod 4)

Пусть, далее, т0(х) = г(ж+°)+т(3;-°) периодическая функция с периодом р Тогда она разлагается в сходящийся ряд Фурье вида

оо 1 /■

п{х) = £ tne2™nf, tn = -j T0(x)e-2™f dx,

P ■ ^ o

где коэффициент t0 равен p

o n<P

Далее при пфО имеем

Теорема 1.3.5.Пусть р — нечетное простое число, и пусть символ т(р2) обозначает сумму Гаусса с характером Дирихле х(г) — х(г, пг, р2) по модулю р2

р2

Т(Р2) = Е X{r)em$

г=1

Пусть, также, при 0 < х < р2 символ т(х) обозначает неполную сумму Гаусса вида

Ф) = Е Х{т)е2п^

т<х

Пусть, далее, то(х) = т(ж+о)+т(ж-о) перио^ическая фуНщия с периодом р2 Тогда она разлагается в сходящийся ряд Фурье вида

ОО 1 р.

To{x) = £ tne2™2?, tn = ~ т0(х)е-2^ dx, п=-оо Р I

где коэффициент to равен р2

to = -2 fr0(x) dx = Y, i1 - з) x(n)t

P л n<t>2 V P /

, 2 я-г-Trie P2

0 re<p:

Далее при n ф О имеем

Во второй главе мы находим закон распределения значений остатков при разложении чисел из единичного отрезка в специальной системе счисления

Пусть задана последовательность вещественных чисел вп, п = 1,2, , больших единицы Тогда любое вещественное число а, 0 < а < 1, представляется в следующем виде

— У"1 I Хк+1

где последовательность хп остаточных членов определяется рекуррентными равенствами

XI —а,х2 = {вгхг}, = {9пхп}, ,

и последовательность целых чисел А„ определяется так

Л1 = [0гЖ1],. , Ап = [впх„], . ,

символы {а}, [а] обозначают дробную и целую части числа а соответственно.

Здесь мы находим распределение средних значений последовательности остаточных членов хп — хп(а) Для этого мы определяем для любого вещественного числа I € [0,1] периодическую функцию Хг(х) с периодом 1,

10,

если 0 < а: <1, Хг{х) = {1/Ъ, если ж = 0,*, если ' Ь < х < 1

Тогда сумма

^(«.^¿Ех^п), N>1,

71— 1

представляет собой среднее значение последовательности остаточных членов хп = хп(а)

Имеет место следующая теорема.

Теорема 2.1.1. Пусть по крайней мере одно из чисел

, будет нецелым числом ив = т{ {в 1, ,9п, }> 2 Тогда для почти всех чисел а имеет место следующее предельное равенство

N->00

где

кт Блг(сМ) —

Я^г оо

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

Публикации автора по теме диссертации

[1] Ghyasi А К A Generalisation of the Gel'fond Theorem Concerning Number Systems — Russian Journal of Mathematical Physics 2007, 14, №3, 370

[2] Гияси A X. О константах в неравенствах для средних значений некоторых периодических арифметических функций — Вестник МГУ Сер 1, мат и мех 2007 (в печати)

[3] Гияси А X , Чубариков В Н Об остаточном члене в формуле суммирования Л Д Морделла — Вестник МГУ Сер.1, мат и мех 2005, №1, 66-68 Постановка задачи в этой работе принадлежит В Н Чубарикову, доказательство теоремы выполнено А X Гияси

Издательство ЦПИ при механико-математическом факультете

МГУ км М 3 Ломоносова

Подписано в печать о9 о?

Формат 60 х 90 1/16 Уел печ л О,

Тираж 100 экз Заказ 36

ВВЕДЕНИЕ

ГЛАВА I. ОЦЕНКИ НЕПОЛНЫХ СУММ

§1. Введение

§2. Оценки неполных сумм произведений символов Лежандра

2.1. Формулировка задачи.

2.2. Разложение в ряд Фурье.

2.3. Оценка суммы произведений символов Лежандра по различным простым по "сдвинутым переменным".

§3. Оценки неполных сумм Гаусса

3.1. Оценки по методу И.М.Виноградова.

3.2. Разложение неполной суммы Гаусса в ряд Фурье.

3.3. Вычисление значения обобщенной полной суммы Гаусса.

3.4. Ряд Фурье еще одной неполной суммы Гаусса.

3.5. Ряд Фурье неполной суммы Гаусса по модулю, равному полному квадрату простого.

§4. Оценки неполных кратных сумм Гаусса

4.1. Моменты неполной двойной суммы Гаусса.

4.2. Моменты неполной двойной суммы Гаусса с различными характерами.

ГЛАВА II. ОБОБЩЕНИЕ ТЕОРЕМЫ А. О. ГЕЛЬФОНДА, КАСАЮЩЕЙСЯ ОДНОГО ОБЩЕГО СВОЙСТВА СИСТЕМ СЧИСЛЕНИЯ

§1. Введение

§2. Асимптотика первого момента и оценка сверху дисперсии функции 5дг(а).

§3. Доказательство теоремы

§4. Некоторые следствия

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

Мощным методом решения задач теории распределения значений функций вещественной переменной является метод тригонометрических сумм вида

St= £ /(®1,.|®г)= £ e2*itF(xi,.,xr) ^ где наборы (xi,., хг) пробегают значения из дискретного множества fi, t — вещественный параметр и F(x 1,., xr) — веществепнозначная функция.

И.М. Виноградову [1, 2, 3, 4] принадлежат первые постановки задач о распределении значений функций и их решении с помощью метода тригонометрических сумм. Он писал: "Из весьма разнообразных более частных видов этой в столь общей формулировке поставленной проблемы (проблемы распределения значений функций), получаемых при тех или иных ограничениях, налагаемых как на функцию f(xi,. ,хг), так и на совокупность П, мы выделим три достаточно большие и весьма важные для теории чисел проблемы.

1. Весьма важной является проблема распределения значений показательной функции f(Xl,.,xr)=e2*iF^.Ч где F(xi,.,xr) — вещественная функция; наиболее существенным в этой проблеме является установление верхней границы модуля суммы п п всех значений f(xi,.,xr) в том случае, когда число Т точек совокупности Q. конечно.

2. С рассмотренной проблемой 1 самым тесным образом связана проблема распределения значений дробной части f(x 1, .,хг) = {2 mF(xi,., zr)} вещественной функции F(x\, .,хг).

3. Особый интерес представляют законы распределения значений функции /(жi,. .,хг), принимающей для точек (х\,.,хг) совокупности О, целочисленные значения. Здесь в отношении каждого данного целого N возникает вопрос: для скольких точек совокупности Q, это N будет служить значением функции f(xi,. ,яг); иными словами: каково б5гдет число I(N) решений неопределенного уравнения f(xi, .,xr) = N. (*)

В некоторых случаях здесь речь идет только об установлении неравенства I(N) > 0, показывающего, что уравнение (*) разрешимо; в других случаях оказывается возможным установить для I(N) асимптотическую формулу; наконец иногда вопрос сводится о разыскании точного выражения для I(N), и т.д."

Эти проблемы И.М. Виноградова при соответствующем выборе функции f(x\,.,xT) и области £1 приводят к классическим задачам аналитической теории чисел, в первую очередь к проблемам Гольдбаха, Варинга, Гольдбаха-Варинга, Гильберта-Камке, оценкам сумм Г. Вейля и др.

Комплекснозначная функция f(n) натурального аргумента п называется теоретико-числовой .(или арифметической). Если для любых взаимно простых чисел тип справедливо равенство /И/(п) = f(mn), (1) то функция /(п) называется мультипликативной функцией. Если равенство (1) выполняется всегда, то функция называется вполне мультипликативной. 4

Например, мультипликативной функцией является функция т(п) ~ количество делителей числа п. Для любого натурального числа п имеем т(п) > 2. С другой стороны, известно предельное соотношение

-— In т (п) In Inn , „ lim -V-= In 2.

In n

Важной задачей теории арифметических функций является задача нахождения асимптотики их средних значений. Например, для функции т(п) при х оо имеет место асимптотическая формула вида

- т(п) ~ In X + 27 — 1,

Х п<х где 7 = 0,577215664901532. — постоянная Эйлера.

Тесным образом с рассмотренной выше функцией числа делителей связана функция а(п) — сумма всех делителей числа п, которая также является мультипликативной функцией. Для нее имеют место аналогичные соотношения N ^ 1 Т-- а(п) -V 1 V^ / ч 71-2 а{п)>п + 1, lim ——— = е', -> а(п) ~ —-х. к ' - ' п-+ oonlnlnn 12

Родственной с функцией сумма делителей числа является функция Эйлера <р(п), представляющая собой количество натуральных чисел, взаимно простых с п и не превосходящих п. Она имеет вид р\п \ г/

Для нее справедливы соотношения, подобные приведенным выше ч 1. <fi(n] In Inn 1 „ 3 ip(n)<n- 1, lim---= e 7, - > <p[x) x.

Другим широким классом являются арифметические функции /(п), которые называются аддитивными функциями, если для любых взаимно простых чисел тип выполняются равенства f(m) + f(n) = f(mn). (2)

Если равенство (2) выполняется всегда, то функция f(n) называется вполне аддитивной.

Первым примером аддитивной функции является функция и(п) — количество различных простых делителей числа п. Здесь также имеют место соотношения, подобные приведенным выше \ v 1 р— Цп) In Inn 1 win) > 1, lim -:-= 1, -> LO[n) ~ lnlnx. v ' - n-+oo lnn x ^ V 1 n<x

В 1917 r. Г.Харди и С.Рамануджан доказали, что для любой положительной неограниченно возрастающей при п —У оо функции ip(n) частота ип{т < п : |из{т) — lnlnn| < ^(n)Vln\nn}, стремится к единице при п -У оо, т.е. для функции и(п) справедлив "закон больших чисел".

Известно, что для любого фиксированного натурального числа к при п —У оо справедлива асимптотика г / \ (lnlnn)fc1 ип{т < п : ш(т) — к) к — 1)! Inn'

Последнее соотношение показывает, что функция ш(п) распределена приблизительно по закону Пуассона с параметром In In п.

Более того, для функции ш(п) имеет место "центральная предельная теорема". Для любого фиксированного х при п оо справедливо предельное соотношение

Г ш(т) — In Inn 1 . . 1 z/„ < т < п: ^ 4 — m [e-^du. л/lnln n J уДтг J

Отметим еще один интересный результат. В 1947 г. В.Левек получил "центральную предельную теорему" для распределения значений разностей и(т) — и(т + 1). Его результат звучит так. При фиксированном значении х и при п —> оо имеет место соотношение и(т) ~ и{т + 1)

В настоящей диссертации мы уделяем особое внимание периодическим арифметическим функциям. Безусловно первым вопросом здесь является исследование среднего значения таких функций на периоде. Например, периодической арифметической функцией является являются символы Лежандра по простому модулю, характеризующие квадратичные вычеты и квадратичные невычеты по этому модулю. К.Ф. Гаусс доказал, что квадратичных вычетов и квадратичных невычетов на периоде поровну, т.е. сумма символов Лежандра на периоде равна нулю.

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

Г. Давенпорт и П. Эрдёш поставили и решили первую задачу о распределении квадратичных вычетов и квадратичных невычетов по простому модулю на очень коротком промежутке. Здесь мы в подобной задаче для кратных очень коротких сумм Гаусса получаем асимптотики их моментов.

Сформулируем основные результаты диссертации. Теорема 1.2.2. Пусть т<х V Pi ) где к > 1 — натуральное число, р\,.,рТ — простые числа, Q = Pi-.-Pr, Q > х > 1 — вещественное число, и а\,., аг — целые числа.

Пусть, далее, So(x) = 5('а+0)+-5'(:г:~0) периодическая функция с периодом, равным Q.

Тогда функция Sq(x) разлагается в сходящийся ряд Фурье вида

00 ад = Е п~—оо где коэффициенты Фурье сп имеют вид

ДА п\ (п + аЛ (п + аЛ со=5 re) I—)-{—)• а при п ф 0 имеем

Pi J "'{ рк )е Кроме того, при п ф 0 справедливо неравенство

Ы < Д п 2пп

Теорема 1.2.3.Пусть N — натуральное число, T = T(au.,ak)=mzxi\S(N)\, где S(N) обозначает сумму

S(N) = £

Pi / V Pk J причем ai,., flfe — некоторые целые числа, a pi,. различные нечетные простые числа, Q = р\. .pk-Тогда имеет место следующее неравенство

T<^logQ(l + o(l)).

7Г

Теорема 1.3.1.Пусть N — нечетное число, х — целое число, 1 < х < N, и пусть

G(x) = £ е т< х неполная сумма Гаусса. Тогда справедливо неравенство \G(x)\ < ^-Viviogiv.

7Г2

Теорема 1.3.2.Пусть N — нечетное число, х — целое число, 1 < х < N, и пусть

ОД = £ е т<х неполная сумма Гаусса, и пусть , , G(x + 0) + G(x - 0) л ^ Go (я) = —-Ч}—--0 < х < N, периодическая функция с периодом N.

Тогда имеет место следующее разложение Gq(x) в сходящийся ряд Фурье оо

Go Or) = £ gne2^, n=-00 где коэффициенты Фурье gn имеют вид n G0(x)e~2^ dx. о

Более точно, имеем m<n 4 ^ причем тп= 1 m=1

Теорема 1.3.3.Пусть N — нечетное число, и пусть

JL п н = £ е н т=1 обобщенная сумм,а Гаусса. Тогда справедливо равенство

1 -i~N r-Н = --— y/N.

1 + г~г

Теорема 1.3.4.Пусть р — нечетное простое число, и пусть символ т(х) обозначает неполную сумму Гаусса вида

Ф) = Е (-) Мр) = G(p) = vVp, т<х \Р / где г] = 1, если р = 1 (mod 4), и rj = i, если р = 3 (mod 4).

Пусть, далее, т0(х) — т(х+(,)+т(х-°) периодическая функция с периодом р. Тогда она разлагается в сходящийся ряд Фурье вида

00 1 рг го(х) = £ tne2^, tn = -j Т0(х)е~™т dx, П— — 00 Р Q где коэффициент to равен р{ П&-Л pj\pj

Далее при п ф 0 имеем

Теорема 1.3.5. Пусть р — нечетное простое число, и пусть символ т(р2) обозначает сумму Гаусса с характером Дирихле х(г) — х{г\ т,Р2) по модулю р2 р2

Т=1

Пусть, также, при 0 < х < р2 символ т(х) обозначает неполную сумму Гаусса вида т(х) = £ х(т)етг^. т<х

Пусть, далее, го(гс) = т<х+°)+г(а:~0) периодическая функция с периодом р2. Тогда она разлагается в сходящийся ряд Фурье вида

1 } т0(х) = £ tne2nl р , tn = - т0(х)е 2ш г dx, n=-00 Р g где коэффициент to равен v2 to =-р ]Т0{х) dx = £

1 о п<р2 \ V )

Далее при пф 0 имеем

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

Пусть задана последовательность вещественных чисел 0п, п = 1,2,., больших единицы. Тогда любое вещественное число а, 0 < а < 1, представляется в следующем виде а — ^ ^к Хк+1 где последовательность хп остаточных членов определяется рекуррентными равенствами xi -а, х2 = {flizi}, • • • хп+х = {впХп}, -■-, и последовательность целых чисел Ап определяется так

Ах = [01з;1],.,А„ = [впхп],., символы {а}, [а] обозначают дробную и целую части числа а соответственно.

Здесь мы находим распределение средних значений последовательности остаточных членов хп = хп(а). Для этого мы определяем для любого вещественного числа t € [ОД] периодическую функцию Xt{x) с периодом 1,

1, если 0 < х < t, 1/2, если x = Q,t, О, если t < х < 1.

Тогда сумма

1 N

SN{a:,t) = -Y,Xt{xn),N>l, п=1 представляет собой среднее значение последовательности остаточных членов хп = хп(а).

Имеет место следующая теорема. Теорема 2.1.1. Пусть по крайней мере одно из чисел 01,02, - ■• ,0п,., будет нецелым числом и 9 = inf {0i,. ,0п,.} > 2. Тогда для почти всех чисел а имеет место следующее предельное равенство lim = a(t), n-*oо где

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

1. Young W.H. On a certain series of Fourier. — Proc. London Math. Soc. (2) 1913, 11, 357-366.

2. Дирихле ЛеженП.Г. Лекции по теории чисел. — М.-Л.: Объедин. научно-техн. изд-во НКТП, 1936. '

3. ВенковБ.А. Элементарная теория чисел. — М.-Л.: Объедии. научно-техн. изд-во НКТП, 1937.

4. Davenport H., Erdos P. The distribution of quadratic and higher residues. — Publ. Math., Debrecen. 1952, 2, №3-4, 252-265.

5. ЛинникЮ.В. Эргодические свойства алгебраических полей. Л.: Изд-во ЛГУ, 1967.

6. ГельфоидА.О., ЛинникЮ.В. Элементарные методы в аналитической теории чисел. — М.: Физматгиз, 1962.

7. КубилюсЙ.П., ЛинникЮ.В. Арифметическое моделирование броуновского движения. — Изв. вузов. Матем. 1959, 13, №6, 88-95.

8. КарацубаА.А. Основы аналитической теории чисел, 2-е изд. М.: Наука, 1976.

9. КарацубаА.А. Распределение обратных величин в кольце вычетов по заданному модулю. — Докл. РАН. 1993, 333, №, 138-139.

10. КарацубаА.А. Аналоги сумм Клоостермана. — Изв. РАН. Сер. матем., 1995, 59, №5, 93-102.

11. КарацубаА.А. Двойные суммы Клоостермана. — Матем. заметки, 1999, 66, вып. 5, 682-687.

12. ХассеГ. Лекции по теории чисел. — М.: Изд-во ин. лит-ры 1953.

13. Burgess D.A. The distribution of quadratic residues and nonresidues. Math. 1957, 4, Ш, 106-112.

14. Burgess D.A. On character sums and L-series. — Proc. London Math. Soc. (3) 1962, 12, 193-206.

15. Burgess D.A. On character sums and L-series, II. — Proc. London Math. Soc. (3) 1963, 13, 524-536.

16. ЖимбоЭ.К., Чубариков В.Н. Об асимптотических распределениях значений арифметических функций. Докл. РАН., 2001, 377, №2, 156-157.

17. ЖимбоЭ.К., Чубариков В.Н. О распределении арифметических функций по простому модулю. — Дискретная матем., 2001, №2, 47-58.

18. БояриновР.Н., Чубариков В.Н. О распределении значений функций на последовательности Фибоначчи. Докл. РАН., 2001, 379, №1, 9-11.

19. GhyasiA.K. A Generalisation of the Gel'fond Theorem Concerning Number Systems. — Russian Journal of Mathematical Physics. 2007, 14, №3, 370.

20. ГиясиА.Х. О константах в неравенствах для средних значений некоторых периодических арифметических функций. — Вестник МГУ. Сер.1, мат. и мех. 2007 (в печати).

21. ГиясиА.Х., Чубариков В.Н. Об остаточном члене в формуле суммирования Л.Д. Морделла — Вестник-МГУ. Сер.1, мат. и мех. 2005, №1, 66-68.