Wiener–Ikeharas sats

Inom matematiken är Wiener–Ikeharas sats en viss sats som kan användas till att bevisa primtalssatsen. Satsen bevisades 1932 av Norbert Wiener och Shikao Ikehara.

Satsen

Låt A(x) vara en icke-negativ, växande funktion av x definierad för 0 ≤ x < ∞. Anta att

konvergerar för ℜ(s) > 1 mot funktionen ƒ(s) och att ƒ(s) är analytisk för ℜ(s) ≥ 1, förutom en simpel pol vid s = 1 med residy 1. Då är gränsvärdet av e-xA(x) då x går mot oändligheten to 1.

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Wiener–Ikehara theorem, 6 januari 2014.