Научная статья на тему 'Распределение значений характеров Дирихле в последовательности сдвинутых простых чисел'

Распределение значений характеров Дирихле в последовательности сдвинутых простых чисел Текст научной статьи по специальности «Математика»

CC BY
150
30
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ХАРАКТЕР ДИРИХЛЕ / СДВИНУТЫЕ ПРОСТЫЕ ЧИСЛА / КОРОТКАЯ СУММА ХАРАКТЕРОВ / ТРИГОНОМЕТРИЧЕСКИЕ СУММЫ С ПРОСТЫМИ ЧИСЛАМИ / DIRICHLET CHARACTER / SHIFTED PRIMES / SHORT SUMS OF CHARACTERS / EXPONENTIAL SUMS OVER PRIMES

Аннотация научной статьи по математике, автор научной работы — Рахмонов З. Х.

Получена новая оценка суммы значений примитивного характера Дирихле по модулю q на последовательности сдвинутых простых чисел p − l, (l, q) = 1, p ≤ x, нетривиальная при x ≥ q 5/6+ε. Это уточняет оценку Дж. Б. Фридландера, K. Гонга, И. Е. Шпарлинского, нетривиальную лишь при x ≥ q 8/9+ε.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Distribution of Values of Dirichlet Characters in the Sequence of Shifted Primes

The new estimate for the sum of the values of a primitive Dirichlet character modulo an integer q has been obtained over the sequence of shifted primes p − l, (l, q) = 1, p ≤ x. This estimate is nontrivial for x ≥ q 5/6+ε and refines the estimate obtained by J. B. Friedlander, K. Gong, I. E. Shparlinskii. Their estimate holds provided that x ≥ q 8/9+ε.

Текст научной работы на тему «Распределение значений характеров Дирихле в последовательности сдвинутых простых чисел»

что S(X) С form X. Откуда HR0S(X) С formX = F- По лемме 1 получаем, что F — наследственная формация.

Пусть теперь F содержит непериодические унары. По лемме 5 имеем Fi е F- Тогда F является формацией всех счетных унаров по лемме 4 и поэтому F наследственная. Теорема 1 доказана. □

Библиографический список

1. Шеметков Л. А., Скиба А. Н. Формации алгебраических систем. М. : Наука, 1989. 256 с.

2. Расстригин А. Л. Формации конечных унаров // Чебышевский сб. 2011. Т. XII, № 2 (38). С. 102-109.

3. Мальцев А. И. Алгебраические системы. М. : Наука, 1970. 392 с.

4. Карташов В. К. Квазимногообразия унаров // Мат. заметки. 1980. Т. 27, № 1. С. 7-20.

5. Wenzel G. H. Subdirect irreducibility and equational compactness in unary algebras {A; f) // Archiv der Mathematik. 1970. Vol. 21. P. 256-264. DOI: 10.1007/BF01220912.

On Heredity of Formations of Monounary Algebras A. L. Rasstrigin

Volgograd State Socio-Pedagogical University, Russia, 400066, Volgograd, Lenin Ave., 27, rasal@fizmat.vspu.ru A class of algebraic systems is said to be a formation if it is closed under homomorphic images and finite subdirect products. It has been proven that any formation of at most countable monounary algebras is a hereditary formation.

Key words: unar, formation, hereditary formation.

References

1. Shemetkov L. A., Skiba A. N. Formatsii algebraiches-kikh sistem [Formations of algebraic systems]. Moscow, Nauka, 1989, 256 p. (in Russian).

2. Rasstrigin A. L. Formations of finite monounary algebras. Chebyshevskii Sbornik, 2011, Vol. XII, no. 2 (38), pp. 102-109 (in Russian).

3. Mal'tsev A. I. Algebraicheskie sistemy [Algebraic

systems]. Moscow, Nauka, 1970 (in Russian).

4. Kartashov V. K. Quasivarieties of unars. Math. Notes, 1980, vol. 27, pp. 5-12. DOI: 10.1007/BF01149807.

5. Wenzel G. H. Subdirect irreducibility and equational compactness in unary algebras (A; f). Archiv der Mathematik, 1970, vol. 21, pp. 256-264. DOI: 10.1007/BF01220912.

УДК 511.325

РАСПРЕДЕЛЕНИЕ ЗНАЧЕНИЙ ХАРАКТЕРОВ ДИРИХЛЕ В ПОСЛЕДОВАТЕЛЬНОСТИ СДВИНУТЫХ ПРОСТЫХ ЧИСЕЛ

З. Х. Рахмонов

Доктор физико-математических наук, директор, Институт математики Академии наук Республики Таджикистан, Душанбе, zarullo-r@rambler.ru

Получена новая оценка суммы значений примитивного характера Дирихле по модулю q на последовательности сдвинутых простых чисел р — I, = 1, р < х, нетривиальная при х > q5/6+e. Это уточняет оценку Дж. Б. Фридландера, ^ Гонга, И. Е. Шпарлинского, нетривиальную лишь при х > q8/9+e.

Ключевые слова: характер Дирихле, сдвинутые простые числа, короткая сумма характеров, тригонометрические суммы с простыми числами.

Метод оценок тригонометрических сумм с простыми числами И. М. Виноградова позволил ему решить ряд арифметических проблем с простыми числами. Одна из них касается распределения значений неглавного характера на последовательностях сдвинутых простых чисел. В [1,2] он доказал: если д — простое, (1,д) = 1, х(а) — неглавный характер по модулю д, тогда

P-x--~ уу q x

p<x

T(x) = V x(p - l) « x1+4x - + q + x-1/6 ) . (1)

© Рахмонов З.Х., 2013

113

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 4, ч. 2

При x ^ q1+e эта оценка нетривиальна, и из неё следует асимптотическая формула для числа квадратичных вычетов (невычетов) mod q вида p — l, p < x.

Затем И. М. Виноградов [3-5] получил нетривиальную оценку T(х) при x > q0'75+e, q — простое. Этот результат был неожиданным. Дело в том, что T(х) можно записать в виде суммы по нулям соответствующей L — функции Дирихле; тогда в предположении справедливости расширенной гипотезы Римана для T(х) получится нетривиальная оценка, но только при x > q1+e.

В 1968 г. А. А. Карацуба [6, 7] нашёл метод, который позволил ему получить нетривиальную оценку коротких сумм характеров в конечных полях фиксированной степени. В работе [8] он с помощью развития этого метода в соединении с методом И. М. Виноградова доказал: если q — простое, х(а) — неглавный характер по модулю q, x > q1/2+e, тогда

— 1 2 T(х) < xq— 1024 е .

Автор ранее [9-11] обобщил оценку (1) на случай составного модуля и доказал: пусть D — достаточно большое натуральное число, х — неглавный характер по модулю D, х9 — примитивный характер, порождённый характером х, тогда

Т(х) < х 1п5хЫ^ Хт2(9х)+ х-1/6тЫ) , = П Р- (2)

V V д х / р\В

р\д

Если характер х совпадает со своим порождающим примитивным характером хд, то оценка (2) принимает вид _

Т(х«) < х 1п5 КУН + •

и она нетривиальна при х > д(1п д)13.

В 2010 г. Дж. Б. Фридландер, К. Гонг, И. Е. Шпарлинский [12] для составного д показали, что нетривиальная оценка суммы Т(хд) существует, когда х — длина суммы — по порядку меньше д. Они доказали: для примитивного характера хд и всякого е > 0 существует 5 > 0, что для всех х > д8/9+е имеет место оценка

Т(хд) << хд-5,

Основным результатом этой работы является следующая теорема о нетривиальной оценке для более коротких сумм Т(хд) при составном д.

Теорема. Пусть д — достаточно большое натуральное число, хд — примитивный характер по модулю д, (1,д) = 1, е — положительное сколь угодно малое постоянное число, ^ = 1п д, х > д5/6+е. Тогда имеем:

Т(хд) = 5] хд(Р - 1) < хехр (-л/^) -

р<Х

Доказательство теоремы проводится методом оценок суммы с простыми числами И. М. Виноградова в сочетании с методами работы А. А. Карацубы [8] об оценке «короткой» суммы Т(хд) для простого д, работ автора [10, 11, 13, 14], в которых изучаются «длинные» суммы Т(х) и средние значения функций Чебышёва -0(х, х) по всем характерам Дирихле. В доказательстве мы также используем основные результаты работ А. И. Виноградова [15] и Д. А. Берджесса [16]. Основные утверждения, позволившие получить новую оценку Т(хд), содержатся в леммах 1-7, которые в этой статье приводим без доказательства.

Лемма 1. Пусть д(^) — функция Мёбиуса, а — фиксированное число, 0,1 < а < 0,9, тогда

£ ^ < ехр (—2а-1а Б) .

d\D d>exp(ln D2)ct

Лемма 2. Пусть K — число решений сравнения:

(nd — n)y = (n1 d — n)y1 (mod q), M<n,ni < M + N, 1 < y,y1 < Y, (y,q) = 1, (У1, q) = 1,

где (n,q) = 1, d — делитель числа q, 2NY < q, d < Y, p(qd—1, Y) — число делителей в числа qd—1, удовлетворяющие условиям qY—1 < в < qd—1 и (в, d) = 1. Тогда справедливо соотношение:

2Y2 2Y2 2(NY)1+5

где 5 — сколь угодно малое положительное число.

Лемма 3. Пусть (n,q) = 1, У < x, x < q, w(q) — число различных простых делителей числа q тогда

хд (п - п) < 2ш(д)^ ^.

х-у<п<х (п,д) = 1

Лемма 4. Пусть а — вещественное число, М, М, ^ и п — целые числа, удовлетворяющие условиям (п, д) = 1, N < д7/1^-1/2, 0,1 < а < 0, 9, d < ехр(2^)а, тогда

£ хдМ - п) < N2д1/9+5/^2/3,

М<п<М

где 5 — сколь угодно малое положительное число.

Лемма 5. Пусть (п, д) = 1, 5 — сколь угодно малое положительное число, у > д1/3+85/5, тогда

х9 (n — п) < У exP 1,

x—y<n<x (n,q) = 1

Лемма 6. Пусть М, М', М, N' и п — целые числа, удовлетворяющие условиям (п, д) = 1, М' < 2М, М' < 2М, N < д1/6, ат и Ьп — функции натурального аргумента такие, что

|amГ < мLCa, a = 1, 2; |bn |< B.

М<т<М'

Тогда справедлива оценка

£ ат £ 6пх(шп - 1) < ВМ5/^ 1/2д1/6+5/6^(4с1 +С2+1)/6.

М<т<М' N '<п<ш1п(хт-1,2М) (тп,д) = 1

Следствие 6.1. Пусть М, М', N, N/ и п — целые числа, удовлетворяющие условиям (п, д) = 1, М' < 2М, N' < 2N, д° < N < д1/6, ат и Ьп — функции натурального аргумента такие, что |ат| < т5(т), |Ьп| < 1. Тогда при х > д1-26,+1,15 справедлива оценка

У^ ат ^^ Ьпх(тп - 1) < х ехр 1, .

М<т<2М М<п<ш1п(хш-1,2М) (тп,д) = 1

Лемма 7. Пусть М, М', N N' и п — целые числа, удовлетворяющие условиям (п,д) = 1, М' < 2М, N < 2^ ат и Ьп — функции натурального аргумента такие, что

^ |ато|а < М^Са, а = 1, 2; |6п|< В.

М<т<М'

Математика

115

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 4, ч. 2

Тогда справедлива оценка

^ ат ^ Ьпх(ши — I) « В [ы3/4N1/2д1/4 + М3/4^1/8) Я(2с1 +С2+1)/4д*/4.

М<т<М' Ы'<п<ш1п(хт-1,2Ы) (шп,д) = 1

Следствие 7.1. Пусть М, М', N, N' и п — целые числа, удовлетворяющие условиям (п, д) = 1, М' < 2М, N/ < 2N, д1/4-° < N < д1/4+°, ат и Ьп — функции натурального аргумента такие, что \ат| < т5(т), |Ьп| < 1. Тогда при х > дг/4+в+1,15 справедлива оценка

^Т ат ^^ Ьпх(тп — I) « х ехр 1, .

М<т<М' Ы'<п<ш1п(хт-1,2Ы) (тп,д) = 1

Библиографический список

1. Виноградов И. М. Распределение квадратичных вычетов и невычетов вида р + к по простому модулю // Мат. сб. 1938. Т. 3, № 45. С. 311-320.

2. Виноградов И. М. Уточнение метода оценки сумм с простыми числами // Изв. АН СССР. Сер. математическая. 1943. Т. 7. С. 17-34.

3. Виноградов И. М. Новый подход к оценке суммы значений х(р + к) // Изв. АН СССР. Сер. математическая. 1952. Т. 16. С. 197-210.

4. Виноградов И. М. Улучшение оценки для суммы значений х(р+к) // Изв. АН СССР. Сер. математическая. 1953. Т. 17. С. 285-290.

5. Виноградов И. М. Оценка одной суммы, распространенной на простые числа арифметической прогрессии //Изв. АН СССР. Сер. математическая. 1966. Т. 30. С. 481-496.

6. Карацуба А. А. Суммы характеров и первообразные корни в конечных полях // Докл. АН СССР. 1968. Т. 180, № 6. С. 1287-1289.

7. Карацуба А. А. Об оценках сумм характеров // Изв. АН СССР. Сер. математическая. 1970. Т. 34, № 1. С. 20-30.

8. Карацуба А. А Суммы характеров с простыми числами // Изв. АН СССР. Сер. математическая. 1970. Т. 34, № 2. С. 299-321.

9. Рахмонов З. Х. О распределении значений характеров Дирихле // УМН. 1986. Т. 41, № 1. С. 201-202.

10. Рахмонов З. Х. Об оценке суммы характеров с простыми числами // Докл. АН Тадж. ССР. 1986. Т. 29, № 1. С. 16-20.

11. Рахмонов З. Х. О распределении значений характеров Дирихле и их приложения // Тр. Мат. ин-та РАН. 1994. Т. 207. С. 286-296.

12. Фридландер Дж. Б., Гонг K., Шпарлинский И. Е. Суммы значений характеров на сдвинутых простых числах // Мат. заметки. 2010. Т. 88, вып. 4. С. 605619. DOI 10.4213/mzm8692.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

13. Рахмонов З. Х. Теорема о среднем значении -ф(х,х) и ее приложения // Изв. РАН. Сер. математическая. 1993. Т. 57, № 4. С. 55-71.

14. Рахмонов З. Х. Теорема о среднем значении функций Чебышева // Изв. РАН. Сер. математическая. 1994. Т. 58, № 3. С. 127-139.

15. Виноградов А. И. О числах с малыми простыми делителями // Докл. АН СССР. 1956. Т. 109, № 4. С. 683-686.

16. Burgess D. A. On character sum estimate with r = 3 //J. London Math. Soc. 1986. Vol. 33, № 2. P. 219-226. DOI: 10.1112/jlms/s2-33.2.219.

Distribution of Values of Dirichlet Characters in the Sequence of Shifted Primes

Z. Kh. Rakhmonov

Institute of Mathematics, Academy of Sciences of the Republic of Tajikistan, 734063, Dushanbe, Ayni st., 83, rakhmonov-r@rambler.ru

The new estimate for the sum of the values of a primitive Dirichlet character modulo an integer q has been obtained over the sequence of shifted primes p — l, (l, q) = 1, p < x. This estimate is nontrivial for x > q6+e and refines the estimate obtained by J. B. Friedlander, K. Gong, I. E. Shparlinskii. Their estimate holds provided that x > q8/9+e.

Key words: Dirichlet character, shifted primes, short sums of characters, exponential sums over primes.

П. З. Рахмонов. Класс показательно растущих последовательностей

References

1. Vinogradov I. M. On the distribution of quadratic rests and non-rests of the form p + k to a prime modulus. Rec. Math. Moscow, n. Sen, 1938, vol. 3, no. 45, pp. 311-319 (in Russian).

2. Vinogradow I. M. An improvement of the estimation of sums with primes. Bull. Acad. Sci. URSS. Ser. Math. [Izvestia Akad. Nauk SSSR] 1943, vol. 7, pp. 17-34 (in Russian).

3. Vinogradov I. M. New approach to the estimation of a sum of values of x(p + k). Izvestiya Akad. Nauk SSSR. Ser. Mat., 1952, vol. 16, pp. 197-210 (in Russian).

4. Vinogradov I. M. Improvement of an estimate for the sum of the values x(p + k). Izvestiya Akad. Nauk SSSR. Ser. Mat., 1953, vol 17, pp. 285-290 (in Russian).

5. Vinogradov I. M. An estimate for a certain sum extended over the primes of an arithmetic progression. (Russian) Izv. Akad. Nauk SSSR Ser. Mat., 1966, vol 30, no. 3, pp. 481-496 (in Russian).

6. Karatsuba A. A. Sums of characters, and primitive roots, in finite fields. Doklady Akademii Nauk SSSR, 1968, vol 180, no. 6, pp. 1287-1289 (in Russian).

7. Karatsuba A. A. Estimates of character sums. Math. USSR-Izv, 1970, vol. 4, no. 1, pp. 19-29.

8. Karatsuba A. A. Sums of characters over prime numbers. Math. USSR-Izv., 1970, vol. 4, no. 2, pp. 303326.

9. Rakhmonov Z. Kh. On the distribution of values of YAK 511.325

Dirichlet characters. Rus. Math. Surv., 1986, vol. 41, no. 1, pp. 237-238. DOI: 10.1070/RM1986v041n01ABEH 003232.

10. Rakhmonov Z. Kh. Estimation of the sum of characters with primes. Dokl. Akad. Nauk Tadzhik. SSR, 1986, vol 29, no. 1, pp. 16-20 (in Russian).

11. Rakhmonov Z. Kh. On the distribution of the values of Dirichlet characters and their applications. Proc. Steklov Inst. Math., 1995, vol. 207, no. 6, pp. 263-272.

12. Fridlander Dzh. B., Gong K., Shparlinskii I. E. Character sums over shifted primes. Math. Notes, 2010, vol. 88, iss. 3-4, pp. 585-598. DOI: 10.1134/S00014346 10090312.

13. Rakhmonov Z. Kh. A theorem on the mean value of ^(x,x) and its applications. Russian Academy of Sciences. Izvestiya Mathematics, 1994, vol. 43, no. 1, pp. 49-64. DOI: 10.1070/IM1994v043n01ABEH001558.

14. Rakhmonov Z. Kh. A theorem on the mean-value of Chebyshev functions. Russian Academy of Sciences. Izvestiya Mathematics, 1995, vol. 44, no. 3, pp. 555-569. DOI 10.1070/IM1995v044n03ABEH001613.

15. Vinogradov A. I. On numbers with small prime divisors. Dokl. Akad. Nauk SSSR, 1956, vol 109, no. 4, pp. 683-686 (in Russian).

16. Burgess D. A. On character sum estimate with r = 3. J. London Math. Soc., 1986, vol. 33, no. 2, pp. 219-226. DOI: 10.1112/jlms/s2-33.2.219.

КЛАСС ПОКАЗАТЕЛЬНО РАСТУЩИХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ, НЕ РАСПРЕДЕЛЕННЫХ РАВНОМЕРНО ПО МОДУЛЮ ЕДИНИЦА

П. З. Рахмонов

Кандидат физико-математических наук, Московский государственный университет им. М. В. Ломоносова, parviz.msu@gmail.com

Построен класс экспоненциально растущих последовательностей, не являющихся равномерно распределенными по модулю единицы.

Ключевые слова: равномерное распределение по модулю единица, числа Фибоначчи, золотое сечение, дробно-линейная функция.

Вопрос о равномерном распределении функций вида а-0(х), где а - иррациональное число, -0(х) -функция, принимающая целые значения, изучался А. Вейлем. Из работы [1] следует, что почти для всех а последовательность {аАп} равномерно распределена, где А > 1 - действительное число. Однако конкретные примеры таких а им не были построены. В работах А. Г. Постникова, видимо, впервые построены примеры таких а, что последовательность {аАп} равномерно распределена по модулю единица, А > 2 - целое число.

Воспользуемся следующими обозначениями: {/п}^=0 — последовательность Фибоначчи: /0 = 1, /1 = 1, /п = /п-1 + /п-2 при п > 2, < = (1 + л/5)/2 — золотое сечение.

© Рахмонов П. З., 2013

117

i Надоели баннеры? Вы всегда можете отключить рекламу.