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

Статья на основе материалов из Википедии

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

Определение

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

`(f*g)(n) = \sum_{d\mid n} f(d)g\left(\frac{n}{d}\right) = \sum_{ab=n}f(a)g(b)` ,

где сумма берётся по всем натуральным делителям `d` аргумента `n` , или, что эквивалентно, по всем парам `(a, b)` натуральных чисел, произведение которых равно `n` .

Свойства

Множество арифметических функций по поточечному сложению (то есть функция `f+g` определяется соотношением `(f+g)(n)=f(n)+g(n)` ) и свёртка Дирихле образуют коммутативное кольцо, называемое кольцом Дирихле. Единицей кольца является функция `\epsilon` , определённая как `\epsilon(n)=1` , если `n=1` и `\epsilon(n)=0` , если `n>1` . Обратимыми элементами являются все функции `f` такие, что `f(1)\neq 0` .

В частности, свёртка Дирихле является ассоциативной: `(f*g)*h=f*(g*h)` , дистрибутивной по сложению: `f*(g+h)=f*g+f*h=(g+h)*f` , коммутативной: `f*g=g*f` и имеет нейтральный элемент: `f*\epsilon=\epsilon*f=f` .

Свёртка Дирихле двух мультипликативных функций снова мультипликативна, и каждая мультипликативная функция имеет мультипликативное обращение Дирихле. Если `f`  — вполне мультипликативная функция, то `f(g*h)=(fg)*(fh)` , где умножение функций определяется как их поточечная композиция. Свёртка двух вполне мультипликативных функций не всегда является вполне мультипликативной.

Обращение Дирихле

Для каждой функции `f` , для которой `f(1)\neq 0` существует функция `g` такая, что `f*g=\epsilon` ( `\epsilon`  — единица кольца по умножению), называемая обращением Дирихле функции `f` .

Обращение Дирихле единичной функции `1(n)=1`  — функция Мёбиуса, отсюда следует множество результатов, в частности: `g=f*1\Leftrightarrow f=g*\mu` (формула обращения Мёбиуса), `\lambda * |\mu|=\epsilon` , где `\lambda`  — функция Лиувилля, `\lambda * 1=1_S,` где `S=\{1;4;9;16;...\}`  — множество квадратов.

Связь с функцией делителей `\sigma_k` : `\sigma_k(n) =\sum\limits_{d\mid n}d^k` , суммирующей `k` -е степени делителей числа, также связан ряд примечательных свойств со свёрткой: `\sigma_1=\operatorname{Id}*1` ( `\operatorname{Id}`  — постоянная функция `\operatorname{Id}(n) = n` ), `\sigma_k=\operatorname{Id}_k*1` ( `\operatorname{Id}_k`  — `k` -я степень аргумента `\operatorname{Id}_k(n) = n^k` ), `\tau=1*1` (здесь `\tau=\sigma_0`  — число делителей числа `n` ), `\operatorname{Id}=\sigma_1*\mu` `1=\tau*\mu` `\tau^3*1=(\tau*1)^2`

Связь с функцией Эйлера `\varphi` : `\varphi*1=\operatorname{Id}` . `\sigma_1=\varphi*\tau` .

Связь с жордановым тотиентом `J_k` : `J_k*1=\operatorname{Id}` `(\operatorname{Id}_sJ_r)*J=J_{s+r}`

Связь с функцией Мангольдта `\Lambda` : `\Lambda*1=\ln` .

Обращение Дирихле

Если задана арифметическая функция `f` , то её обращение Дирихле `g=f^{-1}` может быть вычислено рекурсивно (точнее каждое значение `g(n)` выражается через `g(m)` для `m

Для `n=1` `g(1)=f^{-1}(1)`  — определена при `f(1)\neq 0`

И в общем для всех `n>1` :

`g(n)=\frac{-1}{f(1)} \sum_\stackrel{d\mid n} {d < n}f\left(\frac{n}{d}\right) g(d)` .

`g(n)` определено, если `f(1)\neq 0` . Таким образом, функция `f` имеет обращение Дирихле тогда и только тогда, когда `f(1)\neq 0` .

Ряды Дирихле

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

`\operatorname{DG}(f;s) = \sum\limits_{n=1}^{+\infty}\frac{f(n)}{n^s}`

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

`\operatorname{DG}(f;s) \operatorname{DG}(g;s) = \operatorname{DG}(f*g;s)`

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

Примечания

    Ссылки

      I am not robot