Delarsumma

Från Wikipedia
Hoppa till: navigering, sök

Delarsumman (eller divisorsumman) för ett positivt heltal n, är summan av talets positiva delare och betecknas oftast σ(n).

Speciella tal definierade från sigmafunktionen[redigera | redigera wikitext]

Exempel[redigera | redigera wikitext]

  • Talet 28 är delbart med 1, 2, 4, 7, 14 och 28, så σ(28) = 1 + 2 + 4 + 7 + 14 + 28 = 56, vilket är lika med 2·28. Alltså är 28 ett perfekt tal.
  • Talet 7 är delbart med 1 och 7, så σ(7) = 1 + 7 = 8, vilket är mindre än 2·7. Alltså är 7 ett defekt tal.
  • Talet 12 är delbart med 1, 2, 3, 4, 6 och 12, så σ(12) = 1 + 2 + 3 + 4 + 6 + 12 = 28, vilket är större än 2·12. Alltså är 12 ett ymnigt tal.

Tillväxt[redigera | redigera wikitext]

Sigmafunktioens asymptotiska tillväx ges av formeln

Detta resultat är Grönwalls sats, publicerat 1913. Hans bevis använder Mertens tredje sats, som säger att

där p är ett primtal.

Ramanujan bevisade 1915 att under antagandet av Riemannhypotesen gäller olikheten

(Robins olikhet)

för alla tillräckligt stora n. Guy Robin bevisade 1984 att olikheten är sann för alla n ≥ 5,041 om och bara om Riemannhypotesen är sann. Detta är Robins sats, och olikheten kom att uppkallas efter honom. Det största kända talet som inte satisfierar olikheten är n=5,040. Riemannhypotesen inte är sann finns det inga större undantag. Om Riemannhypotesen är falsk finns det bevisade Robin att det finns oändligt många tal n som inte satisfierar olikheten, och det är känt att det minsta talet n ≥ 5,041 som inte satisfierar den är superymnigt. Det har bevisats att olikheten gäller för alla tillräckligt stora udda och kvadratfria tal, och att Riemannhypotesen är ekvivalent till att olikheten gäller bara för n som är delbara med femte potensen av ett primtal.

Ett relaterat resultat bevisades av Jeffrey Lagarias 2002. Han bevisade att Riemannhypotesen är ekvivalent till att olikheten

gäller för alla naturliga tal n där är det n-te harmoniska talet.

Robin bevisade också att olikheten

gäller för alla n ≥ 3.

Se även[redigera | redigera wikitext]