Личность Сельберга - Википедия - Selbergs identity

Эта статья является сирота, как никакие другие статьи ссылка на это. Пожалуйста ввести ссылки на эту страницу из Статьи по Теме; попробуйте Инструмент поиска ссылок для предложений. (Декабрь 2017 г.)

В теория чисел, Личность Сельберга является приблизительным тождеством, включающим логарифмы простых чисел, найденных Сельберг  (1949 ). Сельберг и Erds оба использовали это тождество, чтобы дать элементарные доказательства теорема о простых числах.

Заявление

Есть несколько разных, но эквивалентных форм идентичности Сельберга. Одна форма

${ displaystyle sum _ {p$

где суммы больше простых п и q.

Объяснение

Странно выглядящее выражение в левой части личности Сельберга - это (с точностью до меньших значений) сумма

${ Displaystyle сумма _ {п <х} с_ {п}}$

где числа

${ displaystyle c_ {n} = Lambda (n) log n + sum _ {d | n} Lambda (d) Lambda (n / d)}$

коэффициенты при Серия Дирихле

${ Displaystyle { frac { zeta ^ { prime prime} (s)} { zeta (s)}} = left ({ frac { zeta ^ { prime} (s)} { zeta (s)}} right) ^ { prime} + left ({ frac { zeta ^ { prime} (s)} { zeta (s)}} right) ^ {2} = sum { гидроразрыва {c_ {n}} {n ^ {s}}}}$.

Эта функция имеет столб порядка 2 на s= 1 с коэффициентом 2, что дает доминирующий член 2Икс бревно(Икс) в асимптотическое разложение из ${ Displaystyle сумма _ {п <х} с_ {п}}$.

Еще одна вариация айдентики

Личность Сельберга иногда также относится к следующему тождеству суммы делителей, включающему функция фон Мангольдта и Функция Мёбиуса когда ${ Displaystyle п geq 1}$:^[1]

${ displaystyle Lambda log (n) + sum _ {d | n} Lambda (d) Lambda left ({ frac {n} {d}} right) = sum _ {d | n } mu (d) log ^ {2} left ({ frac {n} {d}} right).}$

Этот вариант тождества Сельберга доказывается с использованием концепции взятия производных от арифметические функции определяется ${ Displaystyle е ^ { простое} (п) = е (п) CDOT журнал (п)}$ в разделе 2.18 книги Апостола (см. также эта ссылка ).

Рекомендации

• Пизо, Чарльз (1949), Демонстрация élémentaire du teorème des nombres premiers, Séminaire Bourbaki, 1, МИСТЕР  1605145
• Сельберг, Атле (1949), "Элементарное доказательство теоремы о простых числах", Анна. математики., 2, 50: 305–313, Дои:10.2307/1969455, МИСТЕР  0029410