Dirichlet-faltningen är en binär operation definierad för aritmetiska funktioner som används i talteorin , introducerad och studerad av den tyske matematikern Dirichlet .
Dirichlet-faltningen av två aritmetiska funktioner och är en aritmetisk funktion som definieras enligt följande:
,där summan tas över alla naturliga delare av argumentet , eller på motsvarande sätt över alla par av naturliga tal vars produkt är lika med .
Uppsättningen av aritmetiska funktioner genom punktvis addition (det vill säga funktionen bestäms av relationen ) och Dirichlet-faltningen bildar en kommutativ ring , kallad Dirichlet-ringen . Enheten för ringen är den funktion som definieras som , if och , if . Inverterbara element är alla funktioner sådana att .
I synnerhet är Dirichlet-faltningen [1] associativ :
,distribuerande genom tillägg:
,och har ett neutralt element :
.Dirichlet-faltningen av två multiplikativa funktioner är återigen multiplikativ, och varje multiplikativ funktion har en multiplikativ Dirichlet-inversion. Om är en helt multiplikativ funktion , då , där multiplikationen av funktioner definieras som deras punktvisa sammansättning. Konvolutionen av två fullt multiplikativa funktioner är inte alltid fullt multiplikativ.
För varje funktion , för vilken det finns en funktion som ( är enheten för ringen i multiplikation), kallas Dirichlet-inversionen av funktionen .
Dirichlet-inversionen av identitetsfunktionen är Möbius-funktionen , därför följer många resultat, särskilt:
( Möbius inversionsformel ), , var är Liouville-funktionen , var är mängden kvadrater.Relation till Divisors-funktionen :
,genom att summera den -e potensen av divisorerna för ett tal, är ett antal anmärkningsvärda egenskaper också associerade med faltning:
( är en konstant funktion ), ( argumentets -th power : ), (här är antalet delare av talet ),Relation med Euler-funktionen :
. .Förhållande med Jordan tillient :
Relation med Mangoldt-funktionen :
.Om en aritmetisk funktion ges , då kan dess Dirichlet-inversion beräknas rekursivt (mer exakt, varje värde uttrycks i termer av för ) genom definitionen av Dirichlet-inversionen.
För - definieras vid
Och i allmänhet för alla :
.definieras om . Således har en funktion en Dirichlet-inversion om och endast om .
För alla aritmetiska funktioner kan dess Dirichlet-serie definieras i termer av genereringsfunktionen som
för alla sådana komplexa argument som serien konvergerar för. Produkten i Dirichlet-serien är relaterad till dess Dirichlet-falsning enligt följande:
för alla för vilka båda serierna till vänster konvergerar , och åtminstone en konvergerar absolut (i det här fallet innebär den vanliga konvergensen för båda serierna till vänster inte konvergensen av serierna till höger). Detta förhållande påminner strukturellt om konvergenssatsen för Fourierserier (där Fouriertransformens roll spelas av Dirichletserien).