Funcție aditivă - Additive function

În teoria numerelor , unfuncția aditivă este o funcție aritmetică f ( n ) a variabilei întregi pozitive n astfel încât ori de câte ori a și b sunt coprimă , funcția aplicată produsului ab este suma valorilor funcției aplicate lui a și b :

f ( ab ) = f ( a ) + f ( b ).

Complet aditiv

O funcție aditivă f ( n ) se spune că este complet aditivă dacă f ( ab ) = f ( a ) + f ( b ) este valabilă pentru toate numerele întregi pozitive a și b , chiar și atunci când acestea nu sunt coprimă. Aditivul total este, de asemenea, utilizat în acest sens prin analogie cu funcții total multiplicative . Dacă f este o funcție complet aditivă, atunci f (1) = 0.

Fiecare funcție complet aditivă este aditivă, dar nu invers.

Exemple

Exemple de funcții aritmetice care sunt complet aditive sunt:

  • Restricția funcției logaritmice a N .
  • Multiplicitate unui prim factor p în n , care este cel mai mare exponent m pentru care p m divide n .
  • a 0 ( n ) - suma primilor care împart n multiplicarea numărării, uneori numită sopfr ( n ), potența lui n sau logaritmul întreg al lui n (secvența A001414 din OEIS ). De exemplu:
a 0 (4) = 2 + 2 = 4
a 0 (20) = a 0 (2 2 · 5) = 2 + 2 + 5 = 9
a 0 (27) = 3 + 3 + 3 = 9
a 0 (144) = a 0 (2 4 · 3 2 ) = a 0 (2 4 ) + a 0 (3 2 ) = 8 + 6 = 14
a 0 (2000) = a 0 (2 4 · 5 3 ) = a 0 (2 4 ) + a 0 (5 3 ) = 8 + 15 = 23
a 0 (2003) = 2003
a 0 (54.032.858.972.279) = 1240658
a 0 (54.032.858.972.302) = 1780417
a 0 (20.802.650.704.327.415) = 1240681
  • Funcția Ω ( n ), definită ca numărul total de factori primi ai lui n , numărând mai mulți factori de mai multe ori, numită uneori „funcția Big Omega” (secvența A001222 din OEIS ). De exemplu;
Ω (1) = 0, deoarece 1 nu are factori primi
Ω (4) = 2
Ω (16) = Ω (2 · 2 · 2 · 2) = 4
Ω (20) = Ω (2 · 2 · 5) = 3
Ω (27) = Ω (3 · 3 · 3) = 3
Ω (144) = Ω (2 4 · 3 2 ) = Ω (2 4 ) + Ω (3 2 ) = 4 + 2 = 6
Ω (2000) = Ω (2 4 · 5 3 ) = Ω (2 4 ) + Ω (5 3 ) = 4 + 3 = 7
Ω (2001) = 3
Ω (2002) = 4
Ω (2003) = 1
Ω (54.032.858.972.279) = 3
Ω (54.032.858.972.302) = 6
Ω (20.802.650.704.327.415) = 7

Exemple de funcții aritmetice care sunt aditive, dar nu complet aditive sunt:

ω (4) = 1
ω (16) = ω (2 4 ) = 1
ω (20) = ω (2 2 · 5) = 2
ω (27) = ω (3 3 ) = 1
ω (144) = ω (2 4 · 3 2 ) = ω (2 4 ) + ω (3 2 ) = 1 + 1 = 2
ω (2000) = ω (2 4 · 5 3 ) = ω (2 4 ) + ω (5 3 ) = 1 + 1 = 2
ω (2001) = 3
ω (2002) = 4
ω (2003) = 1
ω (54.032.858.972.279) = 3
ω (54.032.858.972.302) = 5
ω (20.802.650.704.327.415) = 5
  • a 1 ( n ) - suma primelor distincte care împart n , uneori numită sopf ( n ) (secvența A008472 în OEIS ). De exemplu:
a 1 (1) = 0
a 1 (4) = 2
a 1 (20) = 2 + 5 = 7
a 1 (27) = 3
a 1 (144) = a 1 (2 4 · 3 2 ) = a 1 (2 4 ) + a 1 (3 2 ) = 2 + 3 = 5
a 1 (2000) = a 1 (2 4 · 5 3 ) = a 1 (2 4 ) + a 1 (5 3 ) = 2 + 5 = 7
a 1 (2001) = 55
a 1 (2002) = 33
a 1 (2003) = 2003
a 1 (54.032.858.972.279) = 1238665
a 1 (54.032.858.972.302) = 1780410
a 1 (20.802.650.704.327.415) = 1238677

Funcții multiplicative

Din orice funcție aditivă f ( n ) este ușor să creăm o funcție multiplicativă legată g ( n ), adică cu proprietatea că ori de câte ori a și b sunt coprimi avem:

g ( ab ) = g ( a ) × g ( b ).

Un astfel de exemplu este g ( n ) = 2 f ( n ) .

Funcții rezumative

Având în vedere o funcție aditivă , să fie definită funcția sa rezumativă prin . Media de este dată exact la fel

Funcțiile rezumative pot fi extinse ca și unde

Media funcției este exprimată și de aceste funcții ca

Există întotdeauna o constantă absolută astfel încât pentru toate numerele naturale ,

Lăsa

Să presupunem că aceasta este o funcție aditivă astfel încât ,

Atunci unde este funcția de distribuție gaussiană

Exemplele acestui rezultat legate de funcția primă omega și de numerele divizorilor primi ai primelor deplasate includ următoarele pentru fix unde relațiile sunt valabile pentru :

Vezi si

Referințe

Lecturi suplimentare

  • Janko Bračič, Kolobar aritmetičnih funkcij ( Ring of arithmetical functions ), (Obzornik mat, fiz. 49 (2002) 4, pp. 97–108) (MSC (2000) 11A25)
  • Iwaniec și Kowalski, Teoria analitică a numerelor , AMS (2004).