В теории чисел , то простые функции , омега и подсчитать число простых множителей натурального числа , таким образом , (мало омеги) подсчитывает каждый отличный простой множитель, в то время как соответствующие функции (большая омега) подсчитывает общее число простых факторов в честь их кратности ( см. арифметическую функцию ). Например, если мы имеем разложение на простые множители из формы для различных простых чисел ( ), то соответствующие функции премьера - омеги определяется и . Эти функции подсчета простых множителей имеют много важных теоретико-числовых соотношений.
Точное тождество, связанное с разбиением, дается формулой [5]
где - статистическая сумма , - функция Мёбиуса , а треугольная последовательность расширяется на
в терминах бесконечного символа q-Поххаммера и ограниченных статистических сумм, которые соответственно обозначают количество 's во всех разбиениях на нечетное ( четное ) количество различных частей. [6]
Продолжение на комплексную плоскость [ править ]
Было найдено продолжение , но не везде аналитическое. [7] Обратите внимание, что используется нормализованная функция.
Функции среднего порядка и сумматора [ править ]
Средний порядок обоих и является . Когда является простым, нижняя граница значения функции равна . Аналогичным образом , если это primorial то функция такая же, как в среднем порядке. Когда это степень двойки , тогда
. [8]
Асимптотики сумматорных функций по , и
вычисляются соответственно Харди и Райтом как [9] [10]
где снова постоянная Мертенса, а постоянная определяется как
Другие суммы, относящиеся к двум вариантам простых омега-функций, включают [11]
и
Пример 1. Модифицированная сумматорная функция [ править ]
В этом примере мы предлагаем вариант сумматорных функций, оцененных в приведенных выше результатах для достаточно больших . Затем мы доказываем асимптотическую формулу для роста этой модифицированной сумматорной функции, полученную из асимптотической оценки, приведенной в формулах в основном пункте этой статьи выше. [12]
Чтобы быть полностью точным, пусть функция сумматора с нечетным индексом определяется как
где обозначает скобку Айверсона . Тогда у нас есть это
Доказательство этого результата следует, сначала заметив, что
а затем применяя асимптотический результат Харди и Райта для сумматорной функции над , обозначенной как , в следующей форме:
Пример II: Сумматорные функции для так называемых факториальных моментов [ править ]
Вычисления, развернутые в главе 22.11 Харди и Райта, дают асимптотические оценки сумматорной функции
оценивая произведение этих двухкомпонентных омега-функций как
Мы можем аналогичным образом вычислить асимптотические формулы в более общем виде для связанных сумматорных функций по так называемым факториальным моментам функции .
Серия Дирихле [ править ]
Известен ряд Дирихле с участием и дзета - функция Римана задается [13]
Функция является вполне аддитивной , где это сильно аддитивным (добавка) . Теперь мы можем доказать короткую лемму в следующей форме, которая дает точные формулы для разложений ряда Дирихле по обоим и :
Лемма. Предположим, что это сильно аддитивная арифметическая функция, определенная так, что ее значения при простых степенях задаются , т. Е. Для различных простых чисел и показателей . Ряд Дирихле из расширяется
Доказательство. Мы видим, что
Отсюда следует, что
везде, где сходятся соответствующие серии и произведения. В последнем уравнении мы использовали представление произведения Эйлера дзета-функции Римана .
Из леммы следует , что для ,
где - простая дзета-функция, а - лямбда-функция Лиувилля .
Распределение различных целочисленных значений разностей является регулярным по сравнению с полуслучайными свойствами компонентных функций. В самом деле, пусть множества
У этих множеств есть соответствующая последовательность предельных плотностей, такая что при
Эти плотности генерируются основными продуктами
При абсолютной постоянной плотности удовлетворяют
Сравните с определением простых произведений, определенным в последнем разделе [14] в связи с теоремой Эрдеша – Каца .
См. Также [ править ]
Аддитивная функция
Арифметическая функция
Теорема Эрдеша – Каца
Омега-функция (значения)
простое число
Целое число без квадратов
Примечания [ править ]
^ Это неравенство приведено в разделе 22.13 Харди и Райта.
^ С. Р. Финч, Две асимптотические серии, Математические константы II, Кембриджский университет. Press, стр. 21–32, [1]
^ Каждая из них, начатая со второго тождества в списке, цитируется отдельно на страницах Свёртки Дирихле арифметических функций , тождество Менона и другие формулы для тотентифицирующей функции Эйлера . Первое тождество представляет собой комбинацию двух известных сумм делителей, указанных в разделе 27.6 Справочника по математическим функциям NIST .
^ Это предлагается в качестве упражнения в книге Апостола. А именно пишемгде. Мы можем сформировать ряд Дирихлекакгде- простая дзета-функция . Тогда становится очевидным, чтоэто индикаторная функция простых чисел.
^ Это тождество доказано в статье Шмидта, цитируемой на этой странице ниже.
^ Эта треугольная последовательность также заметно проявляется в теоремах факторизации ряда Ламберта, доказанных Мерка и Шмидтом (2017–2018).
^ Z. Hoelscher & E. Palsson, Подсчет ограниченных разбиений целых чисел на дроби: симметрия и режимы производящей функции и связь с, The PUMP Journal of Undergraduate Research , 3 (2020), 277-307. [2]
^ Ссылки на каждую из этих оценок среднего порядка см. В уравнениях (3) и (18)справочника MathWorld и в разделе 22.10-22.11 Харди и Райта.
^ См. Разделы 22.10 и 22.11, где приведены ссылки и явный вывод этих асимптотических оценок.
^ Фактически, доказательство последнего результата, данное у Харди и Райта, фактически предлагает более общую процедуру извлечения асимптотических оценок моментов для любого, рассматривая сумматорные функции факториальных моментов формыдля более общих случаев.
↑ Харди и Райт Глава 22.11.
^ Nb, эта сумма предложена работой, содержащейся в неопубликованной рукописи автора этой страницы, связанной с развитием функции Мертенса . Следовательно, это не просто пустая и / или тривиальная оценка, полученная с целью изложения здесь.
^ Это тождество можно найти в разделе 27.4 Справочника по математическим функциям NIST .
^ Реньи, А .; Туран, П. (1958). «Об одной теореме Эрдеша-Каца» (PDF) . Acta Arithmetica . 4 (1): 71–84. DOI : 10,4064 / аа-4-1-71-84 .
Ссылки [ править ]
Г. Х. Харди и Э. М. Райт (2006). Введение в теорию чисел (6-е изд.). Издательство Оксфордского университета.
HL Montgomery и RC Vaughan (2007). Мультипликативная теория чисел I. Классическая теория (1-е изд.). Издательство Кембриджского университета.
Шмидт, Макси (2017). "Теоремы факторизации для произведений Адамара и производные высшего порядка производящих функций ряда Ламберта". arXiv : 1712.00608 [ math.NT ].
Вайсштейн, Эрик. «Разные основные факторы» . MathWorld . Проверено 22 апреля 2018 года .
Внешние ссылки [ править ]
OEIS Wiki для связанных порядковых номеров и таблиц