Свёртка Дирихле

Свёртка Дирихле — бинарная операция, определённая для арифметических функций, используемая в теории чисел, введена и исследована немецким математиком Дирихле.

ОпределениеПравить

Свёртка Дирихле   двух арифметических функций   и   — арифметическая функция, определяемая следующим образом:

 ,

где сумма берётся по всем натуральным делителям   аргумента  , или, что эквивалентно, по всем парам   натуральных чисел, произведение которых равно  .

СвойстваПравить

Множество арифметических функций по поточечному сложению (то есть функция   определяется соотношением  ) и свёртка Дирихле образуют коммутативное кольцо, называемое кольцом Дирихле. Единицей кольца является функция  , определённая как  , если   и  , если  . Обратимыми элементами являются все функции   такие, что  .

В частности, свёртка Дирихле является[1] ассоциативной:

 ,

дистрибутивной по сложению:

 ,

коммутативной:

 

и имеет нейтральный элемент:

 .

Свёртка Дирихле двух мультипликативных функций снова мультипликативна, и каждая мультипликативная функция имеет мультипликативное обращение Дирихле. Если   — вполне мультипликативная функция, то  , где умножение функций определяется как их поточечная композиция. Свёртка двух вполне мультипликативных функций не всегда является вполне мультипликативной.

Обращение ДирихлеПравить

Для каждой функции  , для которой   существует функция   такая, что   (  — единица кольца по умножению), называемая обращением Дирихле функции  .

Обращение Дирихле единичной функции   — функция Мёбиуса, отсюда следует множество результатов, в частности:

  (формула обращения Мёбиуса),
 , где   — функция Лиувилля,
  где   — множество квадратов.

Связь с функцией делителей  :

 ,

суммирующей  -е степени делителей числа, также связан ряд примечательных свойств со свёрткой:

  (  — постоянная функция  ),
  (  —  -я степень аргумента:  ),
  (здесь   — число делителей числа  ),
 
 
 

Связь с функцией Эйлера  :

 .
 .

Связь с жордановым тотиентом  :

 
 

Связь с функцией Мангольдта  :

 .

Обращение ДирихлеПравить

Если задана арифметическая функция  , то её обращение Дирихле   может быть вычислено рекурсивно (точнее, каждое значение   выражается через   для  ) через определение обращения Дирихле.

Для     — определена при  

И в общем для всех  :

 .

  определено, если  . Таким образом, функция   имеет обращение Дирихле тогда и только тогда, когда  .

Ряды ДирихлеПравить

Для всякой арифметической функции   можно определить её ряд Дирихле через производящую функцию как

 

для всех таких комплексных аргументов  , для которых ряд сходится. Произведение рядов Дирихле связано с её свёрткой Дирихле следующим образом:

 

для всех  , для которых оба ряда слева сходятся, причём хотя бы один сходится абсолютно (при этом обычная сходимость обоих рядов слева не влечёт сходимость ряда справа). Эта связь структурно напоминает теорему сходимости для рядов Фурье (где роль преобразования Фурье играет ряд Дирихле).

ПримечанияПравить

  1. Чен, 2009, Доказательства изложены в главе 2.

СсылкиПравить

  • 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.
  • 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.
  • Sandor, Jozsef; Berge, Antal. The Möbius function: generalizations and extensions (англ.) // Adv. Stud. Contemp. Math. (Kyungshang) : journal. — 2003. — Vol. 6. — P. 77—128.
  • Unitarism and Infinitarism (недоступная ссылка) (2004). Архивировано 1 сентября 2006 года.