Hipoteza Riemanna: definicja, funkcja zeta i znaczenie dla liczb pierwszych

Hipoteza Riemanna jest pytaniem (przypuszczeniem) matematycznym. Wielu ludzi uważa, że znalezienie dowodu tej hipotezy jest jednym z najtrudniejszych i najważniejszych nierozwiązanych problemów czystej matematyki. Czysta matematyka jest rodzajem matematyki, która polega na myśleniu o matematyce. Jest to coś innego niż próba zastosowania matematyki w świecie rzeczywistym. Odpowiedź na hipotezę Riemanna brzmi "tak" lub "nie".

Domysł został nazwany na cześć człowieka o nazwisku Bernhard Riemann. Żył on w XIX wieku. Hipoteza Riemanna zadaje pytanie o pewną szczególną rzecz zwaną funkcją zeta Riemanna.

Jeśli odpowiedź na to pytanie brzmi "tak", oznaczałoby to, że matematycy mogą wiedzieć więcej o liczbach pierwszych. W szczególności, pomogłoby im to dowiedzieć się, jak znaleźć liczby pierwsze. Hipoteza Riemanna jest tak ważna i tak trudna do udowodnienia, że Instytut Matematyczny Clay zaoferował 1 000 000 dolarów dla pierwszej osoby, która ją udowodni.

Funkcja zeta Riemanna — co to jest?

Funkcja zeta Riemanna to funkcja zespolona oznaczana zwykle jako ζ(s), gdzie s jest liczbą zespoloną. Dla liczb zespolonych s o części rzeczywistej większej niż 1 definiuje się ją jako szereg:

ζ(s) = 1 + 1/2^s + 1/3^s + 1/4^s + ...

Ma także reprezentację jako iloczyn Eulera:

ζ(s) = ∏_{p prime} (1 − p^{−s})^{−1},

co łączy ją bezpośrednio z liczbami pierwszymi. Funkcja ζ(s) ma analityczne przedłużenie do prawie całej płaszczyzny zespolonej (poza jednym prostym biegunem w s = 1) i spełnia tzw. równanie funkcyjne, które wiąże wartości ζ(s) z wartościami ζ(1 − s).

Zera funkcji zeta i sformułowanie hipotezy

Istnieją dwa rodzaje zer funkcji ζ(s):

• zera trywialne — występują dla s = −2, −4, −6, ... (ujemne liczby parzyste),
• zera nietrywialne — leżą w tzw. „pasku krytycznym” 0 < Re(s) < 1.

Hipoteza Riemanna stwierdza, że wszystkie nietrywialne zera mają część rzeczywistą równą 1/2, czyli leżą na tzw. linii krytycznej Re(s) = 1/2.

Dlaczego to ma znaczenie dla liczb pierwszych?

Powiązanie między funkcją zeta a liczbami pierwszymi jest głębokie. W 1859 roku Riemann przedstawił formułę (tzw. formułę Riemanna), która wyraża odchylenia w funkcji liczącej liczby pierwsze π(x) przez sumę po zerach funkcji zeta. Intuicyjnie: położenie zer ζ(s) kontroluje wahania w rozmieszczeniu liczb pierwszych.

Konkretnie, znając rozmieszczenie zer nietrywialnych możemy uzyskać dokładniejsze oszacowania błędu w twierdzeniu o liczbach pierwszych (prime number theorem), które mówi, że π(x) ~ x / log x dla dużych x. Hipoteza Riemanna implikuje silne ograniczenia na wielkość tego błędu; najczęściej przytaczanym skutkiem jest to, że błąd będzie rząd mniejszy niż dowolna potęga x^{1/2+ε} dla dowolnego ε > 0.

Skutki udowodnienia lub obalenia

• Udowodnienie hipotezy Riemanna uczyniłoby wiele wyników warunkowych (opartych na założeniu RH) tautologicznie prawdziwymi i pozwoliłoby uzyskać lepsze szacunki dla wielu funkcji związanych z liczbami pierwszymi.
• Obalenie hipotezy miałoby równie dramatyczne konsekwencje: wiele udokumentowanych twierdzeń, które zakładają RH jako hipotezę pomocniczą, musiałoby być przeanalizowanych od nowa. Ponadto pokazałoby, że rozkład liczb pierwszych jest bardziej „nieprzewidywalny” niż sądzono.
• W praktycznych zastosowaniach, np. w kryptografii, natychmiastowe konsekwencje byłyby ograniczone — większość algorytmów kryptograficznych nie opiera się bezpośrednio o prawdziwość RH — jednak lepsze zrozumienie rozkładu liczb pierwszych mogłoby mieć pośrednie implikacje.

Historia, dowody częściowe i badania komputerowe

Riemann przedstawił swoje uwagi w 1859 roku. W kolejnych dekadach dowiedziono wiele ważnych wyników powiązanych z funkcją zeta, m.in. dowód twierdzenia o liczbach pierwszych (Hadamard, de la Vallée Poussin) niezależny od hipotezy Riemanna. Setki milionów pierwszych nietrywialnych zer zostało sprawdzonych numerycznie i wszystkie znalezione dotąd zera leżą na linii krytycznej (lub bardzo blisko niej). Badania komputerowe (m.in. prace Odlyzko i innych) potwierdzają hipotezę dla bardzo wielu zer, ale to nie jest dowód ogólny.

W XX wieku odkryto też zaskakujące powiązania z teorią pól losowych: statystyki rozkładu zer nietrywialnych przypominają statystyki własnych wartości macierzy losowych Hermitowskich (teoria macierzy losowych), co zasiliło nowe podejścia badawcze.

Ogólne uogólnienia i powiązane hipotezy

• Uogólniona hipoteza Riemanna (GRH) dotyczy zer funkcji L związanych z postaciami Dirichleta i ma konsekwencje dla rozmieszczenia liczb pierwszych w postaciach arytmetycznych.
• Istnieją także hipotezy o charakterze podobnym dla funkcji L związanych z formami automorficznymi i polami liczbowymi — są to główne zagadnienia w nowoczesnej teorii liczb.

Podsumowanie

Hipoteza Riemanna to centralny problem teorii liczb: prosto sformułowane (gdzie leżą zera funkcji ζ?) i jednocześnie głęboko powiązane z rozkładem liczb pierwszych. Jej rozwiązanie — niezależnie od tego, czy będzie to dowód prawdziwości, czy konstrukcja kontrprzykładu — miałoby ogromny wpływ na matematykę. Do dziś pozostaje jednym z najbardziej kuszących i trudnych pytań w czystej matematyce.