Riemann-zèta-functie
In de analytische getaltheorie, een deelgebied van de wiskunde, is de Riemann-zèta-functie, genoemd naar de Duitse wiskundige Bernhard Riemann, een belangrijke functie vooral vanwege haar verband met de verdeling van priemgetallen. De functie heeft ook toepassingen op andere terreinen, zoals de natuurkunde, kansrekening en de statistiek.

De zèta-functie werd als een functie van een reëel argument in de eerste helft van de 18e eeuw  geïntroduceerd en bestudeerd door Leonhard Euler. Er bestond in die tijd nog geen complexe functietheorie. Bernhard Riemann breidde in 1859 in zijn publicatie "Über die Anzahl der Primzahlen unter einer gegebenen Grösse" Eulers definitie uit naar de complexe variabelen. Ook bewees hij de meromorfe voortzetting, definieerde hij de functionaalvergelijking van de Riemann-zèta-functie en stelde hij een relatie vast tussen haar nulpunten en de verdeling van priemgetallen.

De waarden van de Riemann-zèta-functie op even positieve gehele getallen werden al berekend door Euler. De eerste ervan, ζ(2), biedt een oplossing voor het Bazel-probleem. Roger Apéry bewees in 1979 de irrationaliteit van de constante van Apéry ζ(3). De waarden op negatieve gehele getallen, ook gevonden door Euler, zijn rationale getallen en spelen een belangrijke rol in de theorie van de modulaire vormen. Er bestaan veel veralgemeningen van de Riemann-zèta-functie, zoals de Dirichletreeks, Dirichlet-L-functies en L-functies.

Definitie 
De Riemann-zèta-functie  wordt voor elk complex getal  met een reëel deel > 1 gedefinieerd door de Dirichletreeks:

De reeks convergeert in het genoemde domein en definieert daar een analytische functie. Riemann besefte dat de zèta-functie door analytische voortzetting slechts op één manier kan worden uitgebreid tot een meromorfe functie gedefinieerd voor alle complexe getallen  met . Deze functie is het object van de Riemann-hypothese.

Identiteiten

De productformule van Euler 
Leonhard Euler ontdekte een verband tussen de zèta-functie en de priemgetallen. Hij bewees de identiteit,

waarbij het linkerlid per definitie  is en het oneindige product in het rechterlid over alle priemgetallen  loopt. Uitdrukkingen van deze vorm worden ook wel Euler-producten genoemd. Beide leden van deze identiteit convergeren voor .

Het bewijs voor deze identiteit maakt alleen gebruik van de reekssom voor de meetkundige rijen en de hoofdstelling van de rekenkunde.
Men vergewisse zich ervan dat ieder van de factoren in de laatste expressie opgebouwd is uit alle machten van  voor een priem , en dat bij het uitvermenigvuldigen iedere mogelijke combinatie gevormd wordt. Zodoende worden alle termen uit de oorspronkelijke reeks gegenereerd. Ieder van de factoren is ook een machtreeks waarvan de waarde in gesloten vorm geschreven kan worden.  Dit leidt tot de beknopte productvorm. 

Wanneer men  op 1 stelt, representeert de zèta-functie de harmonische reeks, welke divergeert. In combinatie met de formule van Euler betekent dit dat er oneindig veel priemgetallen zijn.
Als  een geheel getal is, kan het Euler-product worden gebruikt om de waarschijnlijkheid te berekenen dat  willekeurig gekozen gehele getallen relatief priem zijn. Het blijkt dat deze kans inderdaad gelijk is aan .

De functionaalvergelijking 
De zèta-functie voldoet aan de volgende functionaalvergelijking:

waarbij  (de complexe getallen zonder 0 en 1). Hierbij stelt  de gammafunctie voor.

Omgekeerde 
De omgekeerde of de multiplicatieve inverse, van de Riemann-zèta-functie kan worden geschreven als een Dirichletreeks aan de hand van de Möbiusfunctie :

voor complexe getallen  met .

De Riemann-hypothese 

De Riemann-zèta-functie heeft nulpunten in de negatieve even gehele getallen. Deze nulpunten zijn eenvoudig te vinden vertrekkende van de functionaalvergelijking en ze worden dan ook triviale nulpunten genoemd.

De zèta-functie heeft echter nog meer nulpunten en deze moeten in de zogenaamde kritieke strook liggen, de verzameling van alle complexe getallen met reëel deel strikt tussen nul en één. De Riemann-hypothese zegt dan dat alle niet-triviale nulpunten precies 1/2 als reëel deel hebben. Deze hypothese is nog niet bewezen en ze wordt zelfs als een van de belangrijkste, of in ieder geval een van de meest bekende, problemen in de wiskunde beschouwd.

Enkele waarden 
Hier zijn enkele vaak voorkomende waarden van de Riemann-zèta-functie.
; dit is de harmonische reeks.

 ; de omgekeerde van dit getal, , is gelijk aan de kans dat twee willekeurige gehele getallen onderling ondeelbaar zijn, relatief priem zijn.

 wordt gelijkgesteld aan  via Ramanujan regularisatie; dit wordt ook gebruikt in de snaartheorie.

Er dient opgemerkt te worden dat 

Aangezien de definitie , enkel geldt voor . De Riemann-Zetafunctiewaarden voor  volgen uit de holomorfe uitbreiding ervan.

Analytische getaltheorie
Wiskundige functie