Свертка Дирихле
Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( июнь 2018 г. ) |
В математике свертка Дирихле (или свертка делителей ) — бинарная операция, определенная для арифметических функций ; это важно в теории чисел . Его разработал Питер Густав Лежен Дирихле .
Определение
[ редактировать ]Если — это две арифметические функции от целых положительных чисел до комплексных чисел , Дирихле свертка f ∗ g — это новая арифметическая функция, определяемая формулой:
где сумма распространяется на все положительные делители d числа n или, что то же самое, на все различные пары ( a , b ) натуральных чисел, произведение которых равно n .
Этот продукт естественным образом возникает при изучении рядов Дирихле, таких как дзета-функция Римана . Он описывает умножение двух рядов Дирихле через их коэффициенты:
Характеристики
[ редактировать ]Множество арифметических функций образует коммутативное кольцо . Кольцо Дирихле при поточечном сложении , где f + g определяется формулой ( f + g )( n ) = f ( n ) + g ( n ) и сверткой Дирихле. Мультипликативное тождество — это единичная функция ε, определяемая формулой ε ( n ) = 1, если n = 1 , и ε ( n ) = 0, если n > 1 . Единицами ( (обратимыми элементами) этого кольца являются арифметические функции f с f 1) ≠ 0 .
Конкретно, [1] Свертка Дирихле ассоциативна ,
дистрибутив над сложением
- ,
- ,
и имеет элемент идентификации,
- = .
Более того, для каждого имея , существует арифметическая функция с , называемый Дирихле, обратный .
Свертка Дирихле двух мультипликативных функций снова мультипликативна, и каждая мультипликативная функция, не всегда равная нулю, имеет обратную Дирихле, которая также является мультипликативной. Другими словами, мультипликативные функции образуют подгруппу группы обратимых элементов кольца Дирихле. Однако помните, что сумма двух мультипликативных функций не является мультипликативной (поскольку ), поэтому подмножество мультипликативных функций не является подкольцом кольца Дирихле. В статье о мультипликативных функциях перечислены несколько отношений свертки между важными мультипликативными функциями.
Другая операция над арифметическими функциями — это поточечное умножение: fg определяется формулой ( fg )( n ) = f ( n ) g ( n ) . Учитывая полностью мультипликативную функцию , поточечное умножение на распределяется по свертке Дирихле: . [2] Свертка двух полностью мультипликативных функций является мультипликативной, но не обязательно полностью мультипликативной.
Свойства и примеры
[ редактировать ]В этих формулах мы используем следующие арифметические функции :
- является мультипликативным тождеством: , иначе 0 ( ).
- — постоянная функция со значением 1: для всех . Имейте в виду, что это не личность. (Некоторые авторы обозначают это как потому что соответствующий ряд Дирихле представляет собой дзета-функцию Римана .)
- для — установленная индикаторная функция : если только , иначе 0.
- — это тождественная функция со значением n : .
- – k- я степенная функция: .
Имеют место следующие соотношения:
- , обратная Дирихле постоянной функции — функция Мёбиуса (см. доказательство ). Следовательно:
- тогда и только тогда, когда , формула обращения Мёбиуса
- , функция суммы делителей k-й степени σ k
- , функция суммы делителей σ = σ 1
- , функция числа делителей τ ( n ) = σ 0
- , путем обращения Мёбиуса формул для σ k , σ и τ
- , доказанное с помощью функции тотента Эйлера
- , методом обращения Мёбиуса
- , от свертки 1 с обеих сторон
- где λ — функция Лиувилля
- где Sq = {1, 4, 9, ...} — множество квадратов
- , функция Жордана
- , где это функция фон Мангольдта
- где — простая омега-функция, считающая различные простые множители n
- , характеристическая функция простых степеней.
- где — характеристическая функция простых чисел.
Это последнее тождество показывает, что функция подсчета простых чисел задается суммирующей функцией
где – функция Мертенса и - это отдельная функция подсчета простых множителей, указанная выше. Это разложение следует из тождества сумм по сверткам Дирихле, приведенных на странице тождества сумм дивизоров (стандартный прием для этих сумм). [3]
Обратный Дирихле
[ редактировать ]Примеры
[ редактировать ]Учитывая арифметическую функцию его обращение Дирихле может быть вычислено рекурсивно: значение это с точки зрения для .
Для :
- , так
- . Это означает, что не имеет обратного Дирихле, если .
Для :
- ,
- ,
Для :
- ,
- ,
Для :
- ,
- ,
и вообще для ,
Характеристики
[ редактировать ]Имеют место следующие свойства обратного Дирихле: [4]
- Функция f имеет обратную Дирихле тогда и только тогда, когда f (1) ≠ 0 .
- Обращение Дирихле к мультипликативной функции снова мультипликативно.
- Обратная свертка Дирихле к Дирихле — это свертка обратных каждой функции: .
- Мультипликативная функция f тогда вполне мультипликативна и только тогда, когда .
- Если f , вполне мультипликативна то в любое время и где обозначает поточечное умножение функций.
Другие формулы
[ редактировать ]Арифметическая функция | Обратный Дирихле: [5] |
---|---|
Постоянная функция со значением 1 | Функция Мёбиуса μ |
Функция Лиувилля λ | Абсолютное значение функции Мёбиуса | | | |
Функция Эйлера | |
Обобщенная функция суммы делителей |
Точная нерекурсивная формула для обратной Дирихле любой арифметической функции f приведена в тождествах суммы делителей . Более теоретическое Дирихле выражение для обратного к f дается выражением
Следующая формула обеспечивает компактный способ выражения обратной арифметической функции Дирихле обратимой арифметической функции f :
где выражение обозначает арифметическую функцию свернутый сам с собой k раз. Обратите внимание, что для фиксированного положительного целого числа , если затем , это потому что и каждый способ выражения n как произведения k положительных целых чисел должен включать 1, поэтому ряд в правой части сходится для каждого фиксированного положительного целого числа n.
Серия Дирихле
[ редактировать ]Если f — арифметическая функция, ряда Дирихле производящая функция определяется формулой
для тех комплексных аргументов s , при которых ряд сходится (если таковые имеются). Умножение рядов Дирихле совместимо со сверткой Дирихле в следующем смысле:
для всех s, для которых сходятся оба ряда левой части, хотя бы один из них сходится абсолютно (заметим, что простая сходимость обоих рядов левой части не влечет за собой сходимость правой части!). Это похоже на теорему о свертке , если рассматривать ряд Дирихле как преобразование Фурье .
Связанные понятия
[ редактировать ]Ограничение дивизоров в свертке на унитарные , биунитарные или бесконечные делители определяет аналогичные коммутативные операции, которые имеют много общих черт со сверткой Дирихле (существование обращения Мёбиуса, сохранение мультипликативности, определения тоентов, формулы произведения типа Эйлера над ассоциированные простые числа и т. д.).
Свертка Дирихле — это частный случай умножения свертки для алгебры инцидентности ЧУУ , в данном случае ЧУУ положительных целых чисел, упорядоченных по делимости.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Доказательства находятся в Чан, гл. 2
- ^ Доказательство находится в статье Полностью мультипликативная функция # Доказательство распределительного свойства .
- ^ Шмидт, Макси. Введение Апостола в аналитическую теорию чисел . Это нечто особенное, что я называю «гренки». Это следует из нескольких глав упражнений классической книги Апостола.
- ↑ Еще раз см. главу 2 Апостола и упражнения в конце главы.
- ^ См. Апостол, главу 2.
- Апостол, Том М. (1976), Введение в аналитическую теорию чисел , Тексты для студентов по математике, Нью-Йорк-Гейдельберг: Springer-Verlag, ISBN 978-0-387-90163-3 , МР 0434929 , Збл 0335.10001
- Чан, Хэн Хуат (2009). Аналитическая теория чисел для студентов . Монографии по теории чисел. Мировое научное издательство. ISBN 978-981-4271-36-3 .
- Хью Л. Монтгомери ; Роберт С. Воган (2007). Мультипликативная теория чисел I. Классическая теория . Кембриджские трактаты по высшей математике. Том. 97. Кембридж: Кембриджский университет. Нажимать. п. 38. ISBN 978-0-521-84903-6 .
- Коэн, Экфорд (1959). «Класс систем вычетов (mod r) и связанных с ними арифметических функций. I. Обобщение обращения Мёбиуса». Пасифик Дж. Математика . Том. 9, нет. 1. С. 13–23. МР 0109806 .
- Коэн, Экфорд (1960). «Арифметические функции, связанные с унитарными делителями целого числа». Mathematische Zeitschrift . 74 : 66–80. дои : 10.1007/BF01180473 . МР 0112861 .
- Коэн, Экфорд (1960). «Количество унитарных делителей целого числа». Американский математический ежемесячник . Том. 67, нет. 9. стр. 879–880. МР 0122790 .
- Коэн, Грэм Л. (1990). «О бесконечных делителях целых чисел» . Математика. Комп . 54 (189): 395–411. дои : 10.1090/S0025-5718-1990-0993927-5 . МР 0993927 .
- Коэн, Грэм Л. (1993). «Арифметические функции, связанные с бесконечными делителями целого числа» . Межд. Дж. Математика. Математика. Наука . 16 (2): 373–383. дои : 10.1155/S0161171293000456 .
- Хаукканен, Пентти (2000). «Выражения для обратных Дирихле арифметических функций» . Заметки по теории чисел и дискретной математике . 6 (4): 118–124.
- Шандор, Йожеф; Берге, Антал (2003). «Функция Мёбиуса: обобщения и расширения». Адв. Стад. Созерцание Математика. (Кёншан) . 6 (2): 77–128. МР 1962765 .
- Финч, Стивен (2004). «Унитаризм и инфинитаризм» (PDF) . Архивировано из оригинала (PDF) 22 февраля 2015 г.
Внешние ссылки
[ редактировать ]- «Свертка Дирихле» , Математическая энциклопедия , EMS Press , 2001 [1994]