Dirichletova konvoluce je binární operace definovaná pro aritmetické funkce používané v teorii čísel , kterou představil a studoval německý matematik Dirichlet .
Dirichletova konvoluce dvou aritmetických funkcí a je aritmetická funkce definovaná takto:
,kde součet přebírá všechny přirozené dělitele argumentu , nebo ekvivalentně všechny dvojice přirozených čísel, jejichž součin je roven .
Množina aritmetických funkcí bodovým sčítáním (tj. funkce je určena vztahem ) a Dirichletova konvoluce tvoří komutativní prsten , nazývaný Dirichletův prsten . Jednotkou kruhu je funkce definovaná jako , if a , if . Invertibilní prvky jsou všechny funkce takové, že .
Zejména Dirichletova konvoluce je [1] asociativní :
,distributivní přidáním:
,a má neutrální prvek :
.Dirichletova konvoluce dvou multiplikativních funkcí je opět multiplikativní a každá multiplikativní funkce má multiplikativní Dirichletovu inverzi. If je zcela multiplikativní funkce , pak , kde násobení funkcí je definováno jako jejich bodové složení. Konvoluce dvou plně multiplikativních funkcí není vždy plně multiplikativní.
Pro každou funkci , pro kterou existuje funkce taková, že ( je jednotka kruhu při násobení), se nazývá Dirichletova inverze funkce .
Dirichletova inverze funkce identity je Möbiova funkce , a proto následuje mnoho výsledků, zejména:
( Möbiův inverzní vzorec ), , kde je funkce Liouville , kde je množina čtverců.Vztah s funkcí Dělitelé :
,sečtením -té mocniny dělitelů čísla je s konvolucí spojeno také množství pozoruhodných vlastností:
( je konstantní funkce ), ( -tá mocnina argumentu : ), (zde je počet dělitelů čísla ),Vztah s Eulerovou funkcí :
. .Vztah s Jordanem totientem :
Vztah k Mangoldtově funkci :
.Jestliže aritmetická funkce je dána , pak její Dirichletova inverze může být vypočítána rekurzivně (přesněji, každá hodnota je vyjádřena v termínech pro ) přes definici Dirichletovy inverze.
Pro - definováno v
A obecně pro všechny :
.definováno pokud . Funkce má tedy Dirichletovu inverzi tehdy a jen tehdy, když .
Pro jakoukoli aritmetickou funkci lze její Dirichletovu řadu definovat z hlediska generující funkce jako
pro všechny takové složité argumenty , pro které řada konverguje. Produkt řady Dirichlet souvisí s dirichletovou konvolucí takto:
pro všechny , pro které obě řady vlevo konvergují a alespoň jedna konverguje absolutně (v tomto případě obvyklá konvergence obou řad vlevo neznamená konvergenci řady vpravo). Tento vztah strukturálně připomíná větu o konvergenci pro Fourierovy řady (kde roli Fourierovy transformace hraje Dirichletova řada).