Hoppa till innehållet

Riemannhypotesen

Från Wikipedia

Riemannhypotesen är en matematisk förmodan som även kallas Riemanns zeta-hypotes. Den formulerades först av Bernhard Riemann år 1859.[1]

Hypotesen behandlar indirekt primtalens förekomst bland de naturliga talen (de positiva heltalen). Rent konkret handlar det dock om att hitta alla nollställen till Riemanns zetafunktion.[1] Zetafunktionen definieras för komplexa tal s med Re s>1 genom summan

och kan sedan fortsättas analytiskt till en funktion som är analytisk överallt utom för s=1, där den har en enkel pol.[1]

"Triviala" nollställen är de negativa, jämna heltalen (-2, -4, -6 ...). Alla andra till dags dato kända nollställen har realdelen 1/2, och hypotesen påstår att samtliga nollställen antingen är de ovan nämnda reella, negativa talen, eller är ett komplext tal med realdelen 1/2 (dessa lösningar kallas hädanefter för de icketriviala lösningarna).[2] Man vet hittills bland annat att de icke-triviala nollställena måste uppfylla 0 ≤ Re(s) < 1.[1]

Det är fortfarande inte känt huruvida hypotesen är sann eller inte, och problemet räknas till de absolut största inom matematiken idag. Clay Mathematics Institute har utfäst en belöning på en miljon dollar till den som kan strikt visa att hypotesen är antingen korrekt eller felaktig; som ett av de så kallade Millennieproblemen.[1] Problemet fanns även som nummer 8 på David Hilberts lista över 23 olösta problem från år 1900.

Konsekvenser av Riemannhypotesen

[redigera | redigera wikitext]

Tillväxt av aritmetiska funktioner

[redigera | redigera wikitext]

Flera resultat om aritmetiska funktioners tillväxt skulle följa av ett eventuellt bevis av Riemannhypotesen.

Ett exempel innehåller Möbiusfunktionen μ. Riemannhypotesen är ekvivalent med att

gäller för alla s vars reella del är större än 1/2. Från det kan man härleda att om Mertensfunktionen definieras som

är Riemannhypotesen ekvivalent med att

för alla positiva ε. Det är känt att Mertens förmodan

är falsk, så om Riemannhypotesen är sann har man en ganska bra bild av funktionens tillväxt.

Ett annat typiskt exempel är Robins sats, som säger att om σ(n) är sigmafunktionen definierad som

är Riemannhypotesen ekvivalent med att

gäller för alla n > 5040, där γ är Eulers konstant.

Lowell Schoenfeld (1976) har bevisat att Riemannhypotesen är ekvivalent med att

Samma år bevisade han att Riemannhypotesen är även ekvivalent med att

där ψ(x) är Tjebysjovs andra funktion

Lindelöfhypotesen och tillväxt av zetafunktionen

[redigera | redigera wikitext]

En konsekvens av Riemannhypotesen är Lindelöfhypotesen, som säger att för alla ε > 0 är

t → ∞.

Av Riemannhypotesen följer också andra resultat för zetafunktionens tillväxt. Några exempel är

Konsekvenser av den generaliserade Riemannhypotesen

[redigera | redigera wikitext]
  • 1917 bevisade Hardy och Littlewood att om den generaliserade Riemannhypotesen är sann är
  • Chowla bevisade 1934 att om den generaliserade Riemannhypotesen är sann är det första primtalet i en aritmetisk följd a mod m högst Km2log(m)2 för någon fixerad konstant K.

Kriterier ekvivalenta med Riemannhypotesen

[redigera | redigera wikitext]

Marcel Riesz (1916) bevisade att Riemannhypotesen är ekvivalent med att

gäller för alla ε > 0.

Salem (1953) bevisade att Riemannhypotesen är sann om och bara om integralekvationen

saknar icke-triviala begränsade lösningar för .

Ett exempel från gruppteori är följande: om g(n) är Landaus funktion, definierad som den maxiamala ordningen av element i symmetriska gruppen Sn av grad n, då bevisade J.-P. Massias, Jean-Louis Nicolas och G. Robin 1988 att Riemannhypotesen är ekvivalent med att

gäller för alla tillräckligt stora n.

1934 bevisade Andreas Speiser att Riemannhypotesen är ekvivalent med att inte har några nollställen i

  1. ^ [a b c d e] Numberphile (11 mars 2014). ”Riemann Hypothesis - Numberphile”. https://www.youtube.com/watch?v=d6c6uIyieoo. Läst 20 januari 2017. 
  2. ^ Saff och Snider (2003). Fundamentals of Complex Analysis. Pearson Education, Inc. sid. 268. ISBN 0-13-017968-X 

Externa länkar

[redigera | redigera wikitext]