- Свёртка Дирихле
-
В математике Свертка Дирихле — это бинарная операция, определенная для арифметических функций, используемая в теории чисел. Она была изобретена и исследована немецким математиком Петером Густавом Леженом Дирихле.
Содержание
Определение
Если f и g — две арифметические функции (то есть функции, отображающие множество натуральных чисел во множество комплексных чисел), то мы можем определить новую функцию , называемую сверткой Дирихле функций ƒ и g как
где сумма берется по всем натуральным делителям d числа n, или, что эквивалентно, по всем парам натуральных чисел, произведение которых равно n.
Свойства
Множество арифметических функций по поточечному сложению (то есть функция определяется соотношением ) и свертке Дирихле образуют коммутативное кольцо, или кольцо Дирихле. Единицей кольца будет функция определенная как , если и , если . Единицами кольца (то есть обратимыми элементами) являются все функции f такие, что .
В частности, свертка Дирихле является[1] ассоциативной:
дистрибутивной по сложению
и имеет нейтральный элемент,
Для каждой функции f, для которой существует функция g такая, что , называемая обращением Дирихле функции f.
Свертка Дирихле двух мультипликативных функций снова мультипликативна, и каждая мультипликативная функция имеет мультипликативное обращение Дирихле. Статья о мультипликативных функциях содержит некоторые сходные соотношения свертки, важные для мультипликативных функций.
Если f — вполне мультипликативная функция, то , где умножение функций определяется как их поточечная композиция.[2] Свертка двух вполне мультипликативных функций не всегда является вполне мультипликативной.
Примеры
В приведенных ниже формулах используются следующие обозначения
- — единица по умножению кольца.
- 1 — это постоянная функция, значения которой равны 1 для всех n. (То есть .) Запомните, что 1 — это не единица кольца.
- , где , — индикаторная функция. (То есть , если , иначе равна нулю)
- — тождественная функция (то есть )
- — k-я степень тождественной функции. (То есть )
- Прочие функции можно найти в статье арифметическая функция.
- (обращение Дирихле единичной функции равно функции Мёбиуса.) Отсюда следует, что
- где — функция Лиувилля.
- где — множество квадратов
- где — сумма k-х степеней делителей числа
- где — сумма делителей числа n
- где — число делителей числа n
- — обращение соотношения для функции Эйлера.
- Доказательство: выполним свертку обеих частей с 1 в тождестве
- где — функция Мангольдта
Обращение Дирихле
Если задана арифметическая функция f, то её обращение Дирихле может быть вычислена рекурсивно (точнее каждое значение выражается через для ) через определение обращения Дирихле
Для — определена при
И в общем для всех
определено, если . Таким образом, функция f имеет обращение Дирихле тогда и только тогда, когда
Ряды Дирихле
Если f — арифметическая функция, то можно определить её ряд Дирихле, производящую функцию как
для всех таких комплексных аргументов s, для которых ряд сходится. Произведение рядов Дирихле связано с её сверткой Дирихле следующим образом:
для всех s, для которых оба ряда слева сходятся, причем хотя бы один сходится абсолютно (заметим, что просто сходимость обоих рядов слева не влечет сходимость ряда справа!). Это похоже на теорему сходимости если понимать ряд Дирихле как преобразование Фурье.
См. также
Примечания
Ссылки
- Шаблон:Apostol IANT
- Chan Heng Huat Analytic Number Theory for Undergraduates. — World Scientific Publishing Company, 2009. — ISBN 981-4271-36-5
- Hugh L. Montgomery Multiplicative number theory I. Classical theory. — Cambridge: Cambridge Univ. Press, 2007. — Vol. 97. — P. 38. — ISBN 0-521-84903-9
- A class of residue systems (mod r) and related arithmetical functions. I. A generalization of Möbius inversion, стр. 13—23.
- Arithmetical functions associated with the unitary divisors of an integer, стр. 66—80.
- The number of unitary divisors of an integer, стр. 879—880.
- On an integers' infinitary divisors, стр. 395—411.
- Arithmetic functions associated with infinitary divisors of an integer, стр. 373—383.
- (2003) «The Möbius function: generalizations and extensions». Adv. Stud. Contemp. Math. (Kyungshang) 6: 77–128.
- Unitarism and Infinitarism (2004).(недоступная ссылка — история)
Категории:- Теория чисел
- Арифметические функции
- Бинарные операции
Wikimedia Foundation. 2010.