В теории чисел , разделе математики , сумма Рамануджана , обычно обозначаемая c q ( n ), является функцией двух положительных целых переменных q и n, определяемых формулой:
где ( a , q ) = 1 означает, что a принимает только значения, взаимно простые с q .
Шриниваса Рамануджан упомянул суммы в газете 1918 года. [1] Помимо разложений, обсуждаемых в этой статье, суммы Рамануджана используются в доказательстве теоремы Виноградова о том, что каждое достаточно большое нечетное число является суммой трех простых чисел . [2]
Для целых чисел через и Ь , читается « делит Ь » и означает , что Существует целое с такой , что б = ас . Точно так же, читается « не делит Ъ ». Символ суммирования
означает, что d проходит через все положительные делители числа m , например
Пусть Тогда ζ q является корнем уравнения x q - 1 = 0 . Каждая из его способностей,
тоже корень. Следовательно, поскольку их q , все они являются корнями. Числа, в которых 1 ≤ n ≤ q , называются корнями q -й степени из единицы . ζ q называется примитивным корнем q -й степени из единицы, потому что наименьшее значение n, которое составляет, равно q . Другие примитивные корни q -й степени из единицы - это числа, в которых ( a , q ) = 1. Следовательно, существуют примитивные корни q -й степени из единицы φ ( q ) .
Таким образом, сумма Рамануджана c q ( n ) является суммой n-й степени первообразных корней q-й степени из единицы.
Фактом [3] является то, что степени ζ q являются в точности первообразными корнями для всех делителей числа q .
Пример. Пусть q = 12. Тогда
и являются первобытными корнями двенадцатой степени из единицы,
и являются первобытными шестыми корнями единства,
и являются первобытными корнями четвертой степени единства,
и являются примитивными третьими корнями единства,
является примитивным вторым корнем из единицы, и
- это первобытный корень единства.
Следовательно, если
является суммой n -й степени всех корней, примитивных и импримитивных,
и Мёбиуса инверсии ,
Из тождества x q - 1 = ( x - 1) ( x q −1 + x q −2 + ... + x + 1) следует, что
и это приводит к формуле
опубликовано Клюйвером в 1906 г. [4]
Это показывает, что c q ( n ) всегда целое число. Сравните это с формулой
фон Стернек [ править ]
Из определения легко показать, что c q ( n ) является мультипликативным, если рассматривать его как функцию от q для фиксированного значения n : [5] т.е.
Из определения (или формулы Клюйвера) легко доказать, что если p - простое число,
и если p k - степень простого числа, где k > 1,
Этот результат и свойство мультипликативности могут быть использованы для доказательства
Это называется арифметической функцией фон Стернека. [6] Эквивалентность этой суммы и суммы Рамануджана принадлежит Гёльдеру. [7] [8]
Другие свойства c q ( n ) [ править ]
Для всех натуральных чисел ц ,
Для фиксированного значения q абсолютное значение последовательности ограничено φ ( q ), а для фиксированного значения n абсолютное значение последовательности ограничено n .
Если q > 1
Пусть m 1 , m 2 > 0, m = lcm ( m 1 , m 2 ). Тогда [9] суммы Рамануджана удовлетворяют свойству ортогональности :
Пусть n , k > 0. Тогда [10]
известный как Брауэр - Радемахер идентичность.
Если n > 0 и a - любое целое число, мы также имеем [11]
из-за Коэна.
Таблица [ править ]
Рамануджан Сум c s ( n )
п
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21 год
22
23
24
25
26 год
27
28 год
29
30
s
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
3
−1
−1
2
−1
−1
2
−1
−1
2
−1
−1
2
−1
−1
2
−1
−1
2
−1
−1
2
−1
−1
2
−1
−1
2
−1
−1
2
4
0
−2
0
2
0
−2
0
2
0
−2
0
2
0
−2
0
2
0
−2
0
2
0
−2
0
2
0
−2
0
2
0
−2
5
−1
−1
−1
−1
4
−1
−1
−1
−1
4
−1
−1
−1
−1
4
−1
−1
−1
−1
4
−1
−1
−1
−1
4
−1
−1
−1
−1
4
6
1
−1
−2
−1
1
2
1
−1
−2
−1
1
2
1
−1
−2
−1
1
2
1
−1
−2
−1
1
2
1
−1
−2
−1
1
2
7
−1
−1
−1
−1
−1
−1
6
−1
−1
−1
−1
−1
−1
6
−1
−1
−1
−1
−1
−1
6
−1
−1
−1
−1
−1
−1
6
−1
−1
8
0
0
0
−4
0
0
0
4
0
0
0
−4
0
0
0
4
0
0
0
−4
0
0
0
4
0
0
0
−4
0
0
9
0
0
−3
0
0
−3
0
0
6
0
0
−3
0
0
−3
0
0
6
0
0
−3
0
0
−3
0
0
6
0
0
−3
10
1
−1
1
−1
−4
−1
1
−1
1
4
1
−1
1
−1
−4
−1
1
−1
1
4
1
−1
1
−1
−4
−1
1
−1
1
4
11
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
10
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
10
−1
−1
−1
−1
−1
−1
−1
−1
12
0
2
0
−2
0
−4
0
−2
0
2
0
4
0
2
0
−2
0
−4
0
−2
0
2
0
4
0
2
0
−2
0
−4
13
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
12
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
12
−1
−1
−1
−1
14
1
−1
1
−1
1
−1
−6
−1
1
−1
1
−1
1
6
1
−1
1
−1
1
−1
−6
−1
1
−1
1
−1
1
6
1
−1
15
1
1
−2
1
−4
−2
1
1
−2
−4
1
−2
1
1
8
1
1
−2
1
−4
−2
1
1
−2
−4
1
−2
1
1
8
16
0
0
0
0
0
0
0
−8
0
0
0
0
0
0
0
8
0
0
0
0
0
0
0
−8
0
0
0
0
0
0
17
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
16
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
18
0
0
3
0
0
−3
0
0
−6
0
0
−3
0
0
3
0
0
6
0
0
3
0
0
−3
0
0
−6
0
0
−3
19
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
18
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
20
0
2
0
−2
0
2
0
−2
0
−8
0
−2
0
2
0
−2
0
2
0
8
0
2
0
−2
0
2
0
−2
0
−8
21 год
1
1
−2
1
1
−2
−6
1
−2
1
1
−2
1
−6
−2
1
1
−2
1
1
12
1
1
−2
1
1
−2
−6
1
−2
22
1
−1
1
−1
1
−1
1
−1
1
−1
−10
−1
1
−1
1
−1
1
−1
1
−1
1
10
1
−1
1
−1
1
−1
1
−1
23
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
22
−1
−1
−1
−1
−1
−1
−1
24
0
0
0
4
0
0
0
−4
0
0
0
−8
0
0
0
−4
0
0
0
4
0
0
0
8
0
0
0
4
0
0
25
0
0
0
0
−5
0
0
0
0
−5
0
0
0
0
−5
0
0
0
0
−5
0
0
0
0
20
0
0
0
0
−5
26 год
1
−1
1
−1
1
−1
1
−1
1
−1
1
−1
−12
−1
1
−1
1
−1
1
−1
1
−1
1
−1
1
12
1
−1
1
−1
27
0
0
0
0
0
0
0
0
−9
0
0
0
0
0
0
0
0
−9
0
0
0
0
0
0
0
0
18
0
0
0
28 год
0
2
0
−2
0
2
0
−2
0
2
0
−2
0
−12
0
−2
0
2
0
−2
0
2
0
−2
0
2
0
12
0
2
29
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
−1
28 год
−1
30
−1
1
2
1
4
−2
−1
1
2
−4
−1
−2
−1
1
−8
1
−1
−2
−1
−4
2
1
−1
−2
4
1
2
1
−1
8
Расширения Рамануджана [ править ]
Если f ( n ) является арифметической функцией (т. Е. Комплексной функцией целых или натуральных чисел), то сходящийся бесконечный ряд вида:
или в форме:
где a k ∈ C , называется разложением Рамануджана [12] функции f ( n ).
Рамануджан нашел расширения некоторых хорошо известных функций теории чисел. Все эти результаты доказываются "элементарным" способом (т.е. только с использованием формальных манипуляций с рядами и простейших результатов о сходимости). [13] [14] [15]
Разложение нулевой функции зависит от результата аналитической теории простых чисел, а именно от того, что ряд
сходится к 0, а результаты для r ( n ) и r ′ ( n ) зависят от теорем из более ранней статьи. [16]
Все формулы в этом разделе взяты из статьи Рамануджана 1918 года.
Генерация функций [ править ]
В производящие функции этих Рамануджана сумм рядов Дирихле :
является производящей функцией для последовательности c q (1), c q (2), ... где q остается постоянным, и
является производящей функцией для последовательности c 1 ( n ), c 2 ( n ), ... где n остается постоянным.
Также существует двойная серия Дирихле.
σ k ( n ) [ править ]
σ k ( n ) - функция делителя (т. е. сумма k -й степени делителей числа n , включая 1 и n ). σ 0 ( n ), число делителей числа n , обычно записывается как d ( n ), а σ 1 ( n ), сумма делителей числа n , обычно записывается как σ ( n ).
Если s > 0,
Установка s = 1 дает
Если гипотеза Римана верна и
d ( n ) [ править ]
d ( n ) = σ 0 ( n ) - количество делителей числа n , включая 1 и само n .
где γ = 0,5772 ... постоянная Эйлера – Маскерони .
φ ( n ) [ править ]
Общая функция Эйлера φ ( n ) - это количество натуральных чисел, меньших n и взаимно простых с n . Рамануджан определяет его обобщение, если
- разложение числа n на простые множители , а s - комплексное число, пусть
так что φ 1 ( n ) = φ ( n ) - функция Эйлера. [17]
Он доказывает, что
и использует это, чтобы показать, что
Полагая s = 1,
Обратите внимание, что константа является обратной [18] константе в формуле для σ ( n ).
Λ ( n ) [ править ]
Функция фон Мангольдта Λ ( n ) = 0, если n = p k не является степенью простого числа, и в этом случае это натуральный логарифм log p .
Ноль [ править ]
Для всех n > 0
Это эквивалентно теореме о простых числах . [19] [20]
r 2 s ( n ) (сумма квадратов) [ править ]
r 2 s ( n ) - это количество способов представления n как суммы 2 s квадратов , считая разные порядки и знаки как разные (например, r 2 (13) = 8, так как 13 = (± 2) 2 + ( ± 3) 2 = (± 3) 2 + (± 2) 2. )
Рамануджан определяет функцию δ 2 s ( n ) и ссылается на статью [21], в которой он доказал, что r 2 s ( n ) = δ 2 s ( n ) для s = 1, 2, 3 и 4. Для s > 4 он показывает, что δ 2 s ( n ) является хорошим приближением к r 2 s ( n ).
s = 1 имеет специальную формулу:
В следующих формулах знаки повторяются с периодом 4.
и поэтому,
(суммы треугольников) [ править ]
- количество способов, которыми n может быть представлено как сумма 2 s треугольных чисел (т.е. чисел 1, 3 = 1 + 2, 6 = 1 + 2 + 3, 10 = 1 + 2 + 3 + 4, 15,. ..; n-е треугольное число задается формулой n ( n + 1) / 2.)
Анализ здесь аналогичен анализу квадратов. Рамануджан ссылается на ту же статью, что и для квадратов, где он показал, что существует функция, такая, что для s = 1, 2, 3 и 4, а для s > 4 является хорошим приближением к
Опять же, s = 1 требует специальной формулы:
Если s делится на 4,
Следовательно,
Суммы [ править ]
Позволять
Тогда для й > 1 ,
См. Также [ править ]
Гауссов период
Сумма Клоостермана
Заметки [ править ]
^ Рамануджан, О некоторых тригонометрических суммах ...
Очевидно, что эти суммы представляют большой интерес, и некоторые из их свойств уже обсуждались. Но, насколько мне известно, они никогда не рассматривались с той точки зрения, которую я принимаю в этой статье; и я считаю, что все результаты, которые он содержит, являются новыми.
( Статьи , с. 179). В сноске цитируются стр. 360–370 из Dirichlet-Dedekind Vorlesungen über Zahlentheorie , 4-е изд.
^ Натансон, гл. 8
^ Харди и Райт, Thms 65, 66
↑ GH Hardy, PV Seshu Aiyar и BM Wilson, примечания к « О некоторых тригонометрических суммах ...» , Ramanujan, Papers , p. 343
^ Schwarz & Spilken (1994) стр.16
^ Б. Берндт, комментарий к " О некоторых тригонометрических суммах ..." , Рамануджан, Документы , стр. 371
^ Кнопфмахер, стр. 196
^ Харди и Райт, стр. 243
^ Tóth, внешние ссылки, ур. 6
^ Tóth, внешние ссылки, ур. 17.
^ Tóth, внешние ссылки, ур. 8.
^ Б. Берндт, комментарий к « О некоторых тригонометрических суммах ...» , Ramanujan, Papers , pp. 369–371
^ Рамануджан, О некоторых тригонометрических суммах ...
Большинство моих формул являются «элементарными» в техническом смысле слова - они могут (то есть) быть доказаны комбинацией процессов, включающих только конечную алгебру и простые общие теоремы, касающиеся бесконечных рядов.
( Статьи , с. 179)
^ Теория формальных рядов Дирихле обсуждается в Hardy & Wright, § 17.6, и в Knopfmacher.
^ Кнопфмахер, гл. 7 обсуждает расширение Рамануджана как тип разложения Фурье во внутреннем пространстве продукта, которое имеет c q в качестве ортогонального базиса.
^ Рамануджан, О некоторых арифметических функциях
^ Это функция Джордана , J s ( n ).
^ Ср. Харди и Райт, Thm. 329, в котором говорится, что
^ Харди, Рамануджан , стр. 141
^ Б. Берндт, комментарий к " О некоторых тригонометрических суммах ..." , Рамануджан, Документы , стр. 371
^ Рамануджан, О некоторых арифметических функциях
Ссылки [ править ]
Харди, Г. Х. (1999), Рамануджан: Двенадцать лекций по предметам, предложенным его жизнью и работой , Провиденс, Род-Айленд: AMS / Chelsea, ISBN 978-0-8218-2023-0
Харди, GH ; Райт, EM (1979) [1938]. Введение в теорию чисел (5-е изд.). Оксфорд: Clarendon Press. ISBN 0-19-853171-0. Руководство по ремонту 0568909 . Zbl 0423.10001 .
Кнопфмахер, Джон (1990) [1975], Абстрактная аналитическая теория чисел (2-е изд.), Нью-Йорк: Довер, ISBN 0-486-66344-2, Zbl 0743,11002
Натансон, Мелвин Б. (1996), Аддитивная теория чисел: классические основы , выпускные тексты по математике, 164 , Springer-Verlag, раздел A.7, ISBN 0-387-94656-X, Zbl 0859,11002.
Николь, Калифорния (1962). «Некоторые формулы, включающие суммы Рамануджана». Может. J. Math . 14 : 284–286. DOI : 10,4153 / CJM-1962-019-8 .
Рамануджан, Шриниваса (1918), «О некоторых тригонометрических суммах и их приложениях в теории чисел», Труды Кембриджского философского общества , 22 (15): 259–276(стр. 179–199 из его Сборника статей )
Рамануджан, Шриниваса (1916), «О некоторых арифметических функциях», Труды Кембриджского философского общества , 22 (9): 159–184(стр. 136–163 из его Сборника статей )
Рамануджан, Шриниваса (2000), Сборник статей , Providence RI: AMS / Chelsea, ISBN 978-0-8218-2076-6
Шварц, Вольфганг; Спилкер, Юрген (1994), Арифметические функции. Введение в элементарные и аналитические свойства арифметических функций и некоторые из их почти периодических свойств , Серия лекций Лондонского математического общества, 184 , Cambridge University Press , ISBN 0-521-42725-8, Zbl 0807,11001