Свёртка Дирихле
Свёртка Дирихле — бинарная операция, определённая для арифметических функций, используемая в теории чисел, введена и исследована немецким математиком Дирихле.
Определение
Свёртка Дирихле двух арифметических функций и — арифметическая функция, определяемая следующим образом:
- ,
где сумма берётся по всем натуральным делителям аргумента , или, что эквивалентно, по всем парам натуральных чисел, произведение которых равно .
Свойства
Множество арифметических функций по поточечному сложению (то есть функция определяется соотношением ) и свёртка Дирихле образуют коммутативное кольцо, называемое кольцом Дирихле. Единицей кольца является функция , определённая как , если и , если . Обратимыми элементами являются все функции такие, что .
В частности, свёртка Дирихле является[1] ассоциативной:
- ,
дистрибутивной по сложению:
- ,
коммутативной:
и имеет нейтральный элемент:
- .
Свёртка Дирихле двух мультипликативных функций снова мультипликативна, и каждая мультипликативная функция имеет мультипликативное обращение Дирихле. Если — вполне мультипликативная функция, то , где умножение функций определяется как их поточечная композиция. Свёртка двух вполне мультипликативных функций не всегда является вполне мультипликативной.
Обращение Дирихле
Для каждой функции , для которой существует функция такая, что ( — единица кольца по умножению), называемая обращением Дирихле функции .
Обращение Дирихле единичной функции — функция Мёбиуса, отсюда следует множество результатов, в частности:
- (формула обращения Мёбиуса),
- , где — функция Лиувилля,
- где — множество квадратов.
Связь с функцией делителей :
- ,
суммирующей -е степени делителей числа, также связан ряд примечательных свойств со свёрткой:
- ( — постоянная функция ),
- ( — -я степень аргумента: ),
- (здесь — число делителей числа ),
Связь с функцией Эйлера :
- .
- .
Связь с жордановым тотиентом :
Связь с функцией Мангольдта :
- .
Если задана арифметическая функция , то её обращение Дирихле может быть вычислено рекурсивно (точнее, каждое значение выражается через для ) через определение обращения Дирихле.
Для — определена при
И в общем для всех :
- .
определено, если . Таким образом, функция имеет обращение Дирихле тогда и только тогда, когда .
Ряды Дирихле
Для всякой арифметической функции можно определить её ряд Дирихле через производящую функцию как
для всех таких комплексных аргументов , для которых ряд сходится. Произведение рядов Дирихле связано с её свёрткой Дирихле следующим образом:
для всех , для которых оба ряда слева сходятся, причём хотя бы один сходится абсолютно (при этом обычная сходимость обоих рядов слева не влечёт сходимость ряда справа). Эта связь структурно напоминает теорему сходимости для рядов Фурье (где роль преобразования Фурье играет ряд Дирихле).
Примечания
Ссылки
- Chan Heng Huat. Analytic Number Theory for Undergraduates (англ.). — World Scientific Publishing Company, 2009. — ISBN 981-4271-36-5.
- Hugh L. Montgomery[англ.]; Robert C. Vaughan. Multiplicative number theory I. Classical theory (англ.). — Cambridge: Cambridge University Press, 2007. — Vol. 97. — P. 38. — (Cambridge tracts in advanced mathematics). — ISBN 0-521-84903-9.
- Cohen, Eckford (1959). "A class of residue systems (mod r) and related arithmetical functions. I. A generalization of Möbius inversion". Pacific J. Math. Vol. 9, no. 1. pp. 13—23. MR 0109806.
- Cohen, Eckford (1960). "Arithmetical functions associated with the unitary divisors of an integer". Mathematische Zeitschrift. Vol. 74. pp. 66—80. doi:10.1007/BF01180473. MR 0112861.
- Cohen, Eckford (1960). "The number of unitary divisors of an integer". American mathematical monthly. Vol. 67, no. 9. pp. 879—880. MR 0122790.
- Cohen, Graeme L. (1990). "On an integers' infinitary divisors". Math. Comp. Vol. 54, no. 189. pp. 395—411. doi:10.1090/S0025-5718-1990-0993927-5. MR 0993927.
- Cohen, Graeme L. (1993). "Arithmetic functions associated with infinitary divisors of an integer". Intl. J. Math. Math. Sci. Vol. 16, no. 2. pp. 373—383. doi:10.1155/S0161171293000456.
{{cite news}}
: Википедия:Обслуживание CS1 (не помеченный открытым DOI) (ссылка) - Sandor, Jozsef; Berge, Antal. The Möbius function: generalizations and extensions (англ.) // Adv. Stud. Contemp. Math. (Kyungshang) : journal. — 2003. — Vol. 6. — P. 77—128.
- Finch, Steven Unitarism and Infinitarism (2004). Архивировано 1 сентября 2006 года.