ЧЕБЫШЕВСКИЙ СБОРНИК
Том 20. Выпуск 1.
УДК 511.3 DOI 10.22405/2226-8383-2019-20-1-284-293
Обобщённые суммы Гаусса и многочлены Вернул л и
В. Н. Чубариков
Чубариков Владимир Николаевич — доктор физико-математических наук, профессор, заведующий кафедрой математических и компьютерных методов анализа, декан Механико-математического факультета Московского государственного университета имени М. В. Ломоносова, г. Москва.
e-mail: [email protected] [email protected]
Аннотация
Для периодической арифметической функции с периодом, равным простому числу д, щи целых то, п вводится понятие обобщённой суммы Гаусса Gf (то) с символом Лежандра
Рассмотрены частные случаи $(х) = Ви({х}),у > 1, где Ви(х) — многочлены Бернулли.
В работе используется техника конечных рядов Фурье. Если функция ] ^^ определена в точках к = 0,1,... — 1, то её можно разложить в конечный ряд Фурье
, (к\ 9—л ^ 1 г {^
I - = У. сше я , СШ = ~ У, I [ - ) е 4 .
С помощью разложения в конечный ряд Фурье обобщённой суммы Гаусса
Л) и я
Gu (то) = Gv (то; Bv) = ]Т (^ В„(\х + тП
при v = 1 и v = 2 найдены новые формулы, выражающие значение символа Лежандра через полные суммы от периодических функций. Это обстоятельство позволяет получить новые аналитические свойства соответствующих рядов Дирихле и арифметических функций, что будет темой следующих работ.
В работе обнаружено важное свойство сумм G1 и G2, а именно: Gi = 0, если q = 3 (mod 4) и G1 = 0, если q = 1 (mod 4);
G2 = 0, если q = 3 (mod 4) и G2 = 4—1 n2 (, если q = 1 (mod 4).
-=1 ^ '
Ключевые слова: Суммы Гаусса, многочлены Бернулли, символ Лежандра Библиография: 17 названий.
Для цитирования:
В. Н. Чубариков. Обобщённые суммы Гаусса и многочлены Бернулли // Чебышевский сборник. 2019. Т. 20, вып. 1, С. 284-293.
ч
CHEBYSHEVSKII SBORNIK Vol. 20. No. 1.
UDC 511.3
DOI 10.22405/2226-8383-2019-20-1-284-293
Generalized Gaussian sums and Bernoulli polynomials
Chubarikov Vladimir Nikolaevich — Doctor of Physics and Mathematics, Professor, Head of the Department of Mathematical and Computer Methods of Analysis, Dean of the Mechanics and Mathematics Faculty of Moscow State University named after M. V. Lomonosov, Moscow e-mail: [email protected] [email protected]
The conception of Generalized Gaussian Sum Gf (to) for a periodic arithmetical functon with a period, is equal prime number q, for integers to, n is introduce:
Here are considered the particular cases f (x) = Bv({x}),v > 1, where Bv(x) — Bernoulli polynomials.
The paper uses the technique of finite Fourier series. If the function f is defined at k = 0,1,... ,q — 1, it can be decomposed into a finite Fourier series
for v = 1 and v = 2 , new formulas are found that Express the value of the Legendre symbol through the full sums of periodic functions. This circumstance makes it possible to obtain new analytical properties of the corresponding Dirichlet series and arithmetic functions, which will be the topic of the following works.
An important property of the sums G^d G2, namely:
G1 = 0, if q = 3 (mod 4) Mid G1 = 0, if q = 1 (mod 4);
q-i / \
G2 = 0, if q = 3 (mod 4) Mid G2 = -2 £ n2 ( ^ ) , if q = 1 (mod 4).
q n=1
Keywords: Gaussian sums, Bernoulli polynomials, the Legandre symbol
Bibliography: 17 titles.
V. N. Chubarikov
Abstract
By decomposition into a finite Fourier series of a generalized Gauss sum
For citation:
V. N. Chubarikov, 2019, "Generalized Gaussian sums and Bernoulli polynomials" , Chebyshevskii sbornik, vol. 20, no. 1, pp. 284-293.
Введение
Пусть д — простое число, п — натуральное чиело, ^^ — символ Лежандра, ед(п) = е2жг ч. Тогда сумма Гаусса имеет вид (см. [10]-[15])
9-1 in \ G(m) = ^ ( - J eq(mn) = ey/q,
n=1
где
J 1, если q = 1 (mod 4),
,
если q = 3 (mod 4).
Далее определим многочлены Бернулли Bv(х) с помощью производящей функции (см. [16]-[17])
tetx _ (х) tv
е* - 1 = ^ v! .
V=0
В частности, при х = 0 и при |i| < 2тт находим производящую функцию для чисел Бернулли Bv:
t A Bvtv
eJ - 1 ^ V!
v=0
£
где
1 (-1)-1 (2и)!((2и)
Э0~ ■ ~ - — и. —
.....-1И
B0 = 1, B1 = - -, B2u , B2v+1 =0, N
V \ „ „_и „ , ^ 1 „ , s о 1
Bv(х) = ^ (£jBkхи-к, B1(x)=x - -, B2(x)=x2 -х + 6.
Ы л 2'
к=0
Определим теперь обобщённую сумму Гаусса
д-1
Л) ' V I я
II— 1
Предположим, что Су(1) = Су = 0. Тогда
Gv(m) = G,(m; B,) = £ B^ <| х + —
ra=1 ^ ^ '
im\ 1 ^ f - ^ Г mn
= G^w
7j = G^W^ + t
и при Re s > 0 получим
£ (П =¿11 (п) 2—: > ({.+=
п—1 4 ' га—1 4 7 т—1 44
Положим х = 0. Для функции Би ^^ имеем разложение в конечный ряд Фурье (см. [15])
/ \ 9-1 D / - \ 2™ ^
mö j=^Cfce g 4 4 7 fc=0
где
Cfc = Cfc(v) = 1 ^ e-2m^.
^ r=0
Действительно,
1-1 1 9-19-1 / \ . / ч
5>^ = 1 £]>(r е2-^ =
k=0 4 k=0 r=о 7
g* ( Г -Д. (=).
Используя это разложение, найдём
ч-1 / \ / \ ч-1 / \ ч-1
а-=£ (; )* G)=S (5) £ -=
9-19-1 / ч 9-1 / , ч
£ Е(=) ^ = ^£ «М.
k=0 га=1 k=0K4/
Целью данной работы является доказательство следующих двух теорем.
Теорема 1. Пусть q — простое число, ^^ — символ Лежандра,, Ck — коэффициенты Фурье функции G1(x) при х = 1. Тогда,
= ^q 10 (i)Ck = g (i) ,
причём G1 = 0, если q = 3 (mod 4) и G1 = 0, если q = 1 (mod 4).
Теорема 2. Пусть q — простое число, — сим,вол, Лежандра,, с- = с-(2) — коэффициенты конечного ряда, Фурье функции С2 = 02(1). Тогда
Ъ = * ( ^ ск (2) = —2в Г3'2 Е (-. ) , 6 Л. ■
i) - (2)=- ^ £( i) (1 _ *)
9-1 / ч
причём G2 = 0, если q = 3 (mod 4) и G2 = Y, п[ f ) , если Q = 1 (mod 4)
га=1 ^ '
1. Леммы
Нам необходимы следующие вспомогательные утверждения. Лемма 1. Для любого целого q > 2 имеем,
-1
«) /0 = Е- Г = Ь7,
Г=1
) 1=
=1
-1
4 1 r I z — zq+1 q zq
r z = z ]
(1 — z)2 1 — 2'
2 Г r; z — (2 4 + 1)z q+1 ^ C)h = ]^rZ =Zf1 + (1 — z)2--Y—Z
Доказательство. Утверждение а) общеизвестно, Ь) следует из цепочки равенств , _ _ (1 -qzq-1)(1 - z) + (z -zq) _ z-gzq + (g - 1)zq+1 _
h=Zh = Z (1 - Z)2 = (1 - Z)2 =
2 - 29+1 qzq
(1 - z)2 1 -2' Утверждение с) находим из соотношений
., (1 - ( g + 1)zq)(1 - z)+2(z -2q+1) q2zq-1(1 - z) + qzq
/2 = 2 /1 = 2-7Z--TÖ--2
(1 - 2)3 (1 - z)2
2 + z2 - (q + 1) zq+1 + (q - 1)zq+2 q2 ¡P+1 - (q2 - q)z"+1
(1 - )3 (1 - )2 2 + z2 - q2 zq + (2q2 - 2q - 1) zq+1 - (q2 + 1)2q+2
H-W3
_ z2 - zq+2 z- (2q + 1) zЧ+1 qzq
(1 — 2)3 (1 — г)2 1 — 2
Лемма доказана. □
Лемма 2. Пусть для любого простого числа, q > 2
-1
п=1 4 ' 44
где f(x) периодическая функция с периодом 1 и ^^ — сим,вол, Лежандра вычета п по модулю q.
Тогда, имеем,
(у) Gf (1) = Gf (т), а, при Res > 1 и при Gf (1) = 0 для L-ряда Дирихле справедлива формула
*)=£ (?=е (f )£ М {•+Т
п=1 4 ' п=1 4 7 т,= 1 44
Доказательство. Сделаем замену переменной суммирования, положив к = топ (mod q), получим кто-1 = п (mod q) и в силу периодичности функции f(x) имеем:
*-)=g (^ )/({•+к})=(то )g (к )/({•+к})=(то ь d)
и первое утверждение леммы доказано.
Если Gf (1) = 0, то = ■ Отсюда следует, что
ад=g (=)»-=o^pf ^=^ £ g (к) / ({*+f})
В силу абсолютной сходимости рядов можно переставить порядки суммирования, получим
ад = <Ш g (i) ({• +
и лемма полностью доказана. □
Лемма 3. Пусть д > 1,и — натуральные числа. Тогда, и.м,ее.м,
-1
Б:({и}) = {и} - 2 = £-<-)
где ск = д(еч ¿у-:) при 1 <к<д- 1 и со = - ^. Доказательство. Используя соотношение
л-: г 1 ,
Л ед(ат) = | 1
Л—П V. '
находим
0,
а—0 4
Б: ({и}) = |Б1 ({т}) 1Ц*(а(и-т)) =
1 д-1 д-1 /Г т9-1
= - еч(аи)^2 Б1 Ы — И ед(-ат) = ^ саедаи.
У а—0 т—0 ^ ^ У > ' а—0
а.
^ ({ = }) = Ш(Н) 1
- - I ---
00 Я ^ 1 VI*? ) ) Я ^пУу 2) 2д7
т—0 4 4 ' ' т—0 4 7
1 < а < - 1
Са = бЛ| — 1) ед (-а—) = 4 У^ —ед (-а—)
1 ( ед(-а) - 1 1 - 1 ^ 1
( Сд(-а) - 1___д - 1 N
\(1 - е,(-а))2 1 - ед(-а))
д2 \(1 - ед(-а))2 1 - ед(-а)) д(ед(-а) - 1)'
Лемма доказана. □
> 1, и
б2 ({и})={и }2 - {и}+1=™
— 2 хг-^
г<?е = (2) = -2<?-2 -^ при 1 <к<д - 1 и С0 = - ¿2.
( 1-е 2пг ч )
Доказательство. Сначала вычислим С0 = с0(2). Получим
1 1-1 / \ 1 1-1 1 9-1 9-1
С0 = 1 ^ = ^ ^ - 1 + 1 £ 1 = ^.
д^ \д) д3 ^ д2 ^ а 6 а2
—0 —1 —1 —0
Найдём коэффициенты Фурье ск = ск(2) при 1 < к < д. Имеем
1 V1 п (Г \ -2™ — 1 V1 2 -2жг^ 1 V"1 -2™ —
^ = 7,2^Б2[- е ч = ч - ч =£1 - £2.
—0 —1 —1
Далее воспользуемся следующими формулами (лемма 1.6,в)
-1
£
=1
2 _ z2 — zq+2 z — (2q + 1) zq+1 q2 zq
Г2 Z1" = —-77T" +
(1 — )
3
(1 — )
2
1
Получим
r= z — z? (q — 1)zq = (1 — z)2 1 — z .
=1
-1
£1 = q-3 ^ r2eq(—кr)
eg (—к) — (2q + 1) eg (—к)
=1
q3(1 — eg (—к))2 q(1 — eg (—к))
=2
eg (—к)
q2(1 — eg (—к))2 q(1 — eg (—к))
£2 =
eg (—к) — 1
q — 1
Следовательно,
Лемма доказана. □
q2(1 — eg (—к))2 q2(1 — eg (—к))' Ck = Ck (2) = —2q-2
-2-i ^
e q
Л -2wi'
I1 — e q)
и
1
1
2. Вычисление G\. Доказательство теоремы 1
Из определения G1 находим
*=£ (=)»(=)=£ (=)(=—2)=1 §»(=;
Следовательно,
д-1 / \ = £ " (;)
п=1 4 '
В частности, при q = 3 (mod 4) получим цепочку сравнений
q-1
qGi = ^п (mod 2), G1 = 1 (mod 2), IG^> 1.
п=1
Далее при q = 1 (шоё 4) имеем
ч-1 /п \ -1)/2 /п \
о1 = = .£ =) =°.
п=1 4 ' п=1 4 '
Наконец, исходя из формулы а) леммы, при 1 < к < q получим
1 ч-1 / 1 \ 1 ч-1 1
—2жг ^ = - — 1
— Vе " = о2^
»•—п / ^
Ck = - > т^ е q =-2 У re q
Отсюда, используя представление для 01, находим
01£ (к)"=^ § (к) -р? .
□
3. Вычисление С2. Доказательство теоремы 2
Найдём разложение в конечный ряд Фурье суммы 02. Получим
1-1 /7 \ 1-1 /7 \ -2тЛ^
02 = ^ £ (к) ск(2) = -2„-3/2 £ (к) .
Л —2жг ^Л2'
I1 -е 'J
Далее вычислим G2 при q = 3 (mod 4). Имеем
g( =)»( f) = g( 2 -{ Ц + 1)
=о25п (п)-1 5п(п).
После замены переменной суммирования п на q — п при 1 < п < q — 1 находим
2 / \ \2 / п2 п ( — п) 2 — п
^ п^ /п\ ^ (<? — п)2 /q — п\ 1 q2 \q) = ^ 92 V Q /
n=1 4 7 n=1 4 7
у((? —2п)2 fп) =2у1 п (п) —у п. (п)
/=1 ф yqJ ¿=iq\q) ¿=iq2\q)
Следовательно,
i-1 2 / \ i-1 / \ п2 п п п
П= q2\q ) = П= q \q)
n=1 s ' n=1 4 '
Отсюда получим, что G2 = ^и q = 3 (mod 4).
Наконец вычислим G2 при q = 1 (mod 4). Имеем по теореме 1
G2 = ^ (п)({1,2
п—1 □
4. Заключение.
В настоящей статье найдены новые формулы, выражающие значение символа Лежандра через полные суммы от периодических функций. Последнее обстоятельство позволяет получить новые аналитические свойства соответствующих рядов Дирихле и арифметических функций (см. [1]-[9]).
Важную роль в получении основных результатов сыграла техника конечных рядов Фурье, которая позволяет находить простые формулы для некоторых теоретико-числовых функций удобные для исследований.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Виноградов И. М. Метод тригонометрических сумм в теории чисел, 2-е изд., Москва, Наука, 1980, 144 с.
2. HuaL.-K. Selected Papers. New York Inc.: Springer Verlag, 1983, pp. 888.
3. Архипов Г. И. Избранные труды. Орел: Изд-во Орловского гос.ун-та, 2013. 464 с.
4. Arkhipov G. I., Chubarikov V. N., Karatsuba A. A. Trigonometric Sums in Number Theory and Analysis. De Gruvter expositions in mathematics; 39. Berlin, New York, 2004. 554 c.
5. Chubarikov,V. N. Azerbaijan-Turkey-Ukrainian Int.Conf."Mathematical Analysis, Differential Equations and their Applications". Abstracts.(September 08-13, 2015, Baku^ Azerbaijan). Linear arithmetic sums and Gaussian multiplication theorem. 2015, p. 38.
6. Чубариков В. И. Элементарный вывод оценки полной рациональной арифметической суммы от многочлена // Чебышевский сборник. — 2015. — Т.16, №3(55). — С. 152 101.
7. Чубариков В. И. Показатель сходимости среднего значения полных рациональных арифметических сумм // Чебышевский сборник. — 2015. — Т.16, №4(56). — С.303-318.
8. Чубариков В. Н. Арифметические суммы от значений полинома // Докл. РАН — 2016. — Т.466, №2. - С.152-153.
9. Чубариков В. Н. Полные рациональные арифметические суммы // Вести. Моск. ун-та. Сер.1, Математика, механика. 2015. №1. С. 60-61.
10. Гаусс К. Ф. Труды по теории чисел. — М.: Изд-во Академии наук СССР, 1959, 979 с.
11. Айерлэнд К., Роузен М. Классическое введение в современную теорию чисел.
12. Дэвенпорт Г. Мультипликативная теория чисел, пер. с англ., \!.. 1971,
13. Прахар К. Распределение простых чисел, пер. с нем., \!.. 1967,
14. Хассе Г. Лекции по теории чисел, пер. с нем., \!.. 1953.
15. Боревич 3. П., Шафаревич И. Р. Теория чисел. М.: Наука, 1985.
16. Гельфонд А. О. Исчисление конечных разностей. — М.: Наука, 1967. 376 с.
17. Коробов И. М. Теоретико-числовые методы в приближенном анализе, (второе издание) / М.: МЦНМО, 2004. 288с.
REFERENCES
1. Vinogradov I. М. Method of Trigonometric Sums in Number Theory, 2nd Ed., M:, Nauka, 1980, pp. 144.
2. HuaL.-K. Selected Papers. New York Inc.: Springer Verlag, 1983, pp. 888.
3. Arkhipov G. I. Selected Papers. Orjol: Publ.House of Orjol Univ., 2013. pp. 464.
4. Arkhipov G. I., Chubarikov V. N., Karatsuba A. A. Trigonometric Sums in Number Theory and Analysis. De Gruvter expositions in mathematics; 39. Berlin, New York, 2004. pp. 554.
5. Chubarikov,V. N. Azerbaijan-Turkey-Ukrainian Int.Conf."Mathematical Analysis, Differential Equations and their Applications". Abstracts.(September 08-13, 2015, Baku^Azerbaijan). Linear arithmetic sums and Gaussian multiplication theorem. 2015, p. 38.
6. Chubarikov,V. N. An elementary deduction of the estimate of of the complete rational arithmetical sum of polynomial // Chebvshev Sbornik. — 2015. — v.16, №3(55). — p.452-461.
7. Chubarikov,V. N. The exponent of a convergence of the mean value of the complete rational arithmetical sums// Chebvshev Sbornik. — 2015. — v.16, № 4(56). — p.303-318.
8. Chubarikov,V. N. Arithmetical sums of values of polynomial // Dokladv of RAS — 2016. — v.466, № 2. - p.152-153.
9. Chubarikov,V. N. Complete rational arithmetical sums // Vestnik of Moscow State University. Serija I. Math., Mech. 2015. № 1. p. 60-61.
10. Gauss K. F. Works on the Number Theory. — M.: Publ. House of Academy of Sci. USSR, 1959, 979 pp.
11. Ireland K., Rosen M. Classical introduction to modern number theory.
12. Davenport H. Multiplicative number theory, Markham Publ. Сотр., Chicago, 1967.
13. Prachar K. Primzahlverteilung, Springer - Verlag, Berlin - Gottingen - Heidelberg, 1957,
14. Hasse H. Vorlesungen iiber zahlentheorie, Berlin, 1950.
15. Borevich Z. I., Shafarevich I. R. Number theory. M: Nauka, 1985.
16. Gelfond A. O. Calculus of finite differences. — M.: Nauka, 1967. pp. 376.
17. Korobov N. M. Number-theoretical methods in numerical analysis. 2nd Ed. / M: MCCME, 2004. pp. 288.
Получено 01.02.2019 г.
Принято в печать 10.04.2019 г.