Hipoteza Riemanna dla studenta

Centralnym obiektem jest funkcja dzeta Riemanna $\zeta(s)$, gdzie $s\in\mathbb{C}$. Początkowo definiuje się ją dla liczb zespolonych spełniających $\Re(s)>1$ przez szereg Dirichleta

$$\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}.$$

To nie jest zwykła funkcja „z analizy”; jej wyjątkowość polega na tym, że koduje własności arytmetyczne liczb naturalnych. Najważniejszym przejawem tego związku jest iloczyn Eulera

$$\zeta(s)=\prod_{p\ \text{pierwsza}}\frac{1}{1-p^{-s}},\qquad \Re(s)>1.$$

Wzór ten wynika z jednoznaczności rozkładu każdej liczby naturalnej na czynniki pierwsze. Dlatego badanie $\zeta(s)$ jest zarazem badaniem struktury zbioru liczb pierwszych.

Z perspektywy studenta ważne są dwie intuicje. Po pierwsze, dzeta jest obiektem analizy zespolonej, więc bada się ją metodami analitycznymi: zbieżność, przedłużenie, osobliwości, zera. Po drugie, jej własności mają konsekwencje arytmetyczne: wpływają na twierdzenia o tym, jak często pojawiają się liczby pierwsze.

Szereg definiujący $\zeta(s)$ działa tylko w półpłaszczyźnie $\Re(s)>1$, ale to za mało, by zrozumieć najgłębsze własności funkcji. Kluczowy fakt mówi, że $\zeta(s)$ ma przedłużenie analityczne do funkcji meromorficznej na prawie całej płaszczyźnie zespolonej. Jedyną osobliwością jest biegun prosty w punkcie $s=1$.

Drugim filarem teorii jest równanie funkcyjne, wiążące wartości funkcji w punktach $s$ i $1-s$. Jedna z klasycznych postaci to

$$\zeta(s)=2^s\pi^{s-1}\sin\!\left(\frac{\pi s}{2}\right)\Gamma(1-s)\zeta(1-s).$$

Równanie to ujawnia głęboką symetrię względem prostej $\Re(s)=\frac{1}{2}$. Ta prosta, zwana prostą krytyczną, znajduje się dokładnie pośrodku pasa między $\Re(s)=0$ a $\Re(s)=1$.

W praktyce często wprowadza się także znormalizowaną funkcję $\xi(s)$, która jest całkowita i spełnia prostą zależność $\xi(s)=\xi(1-s)$. Dzięki temu analiza zer staje się technicznie wygodniejsza, bo eliminuje się problem bieguna w $s=1$ i wyraźniej widać symetrię.

Zera funkcji dzeta dzieli się na dwie klasy. Zera trywialne to punkty

$$s=-2,-4,-6,\dots$$

czyli ujemne liczby parzyste. Ich obecność wynika z równania funkcyjnego, w szczególności z czynnika sinusowego.

Znacznie ważniejsze są zera nietrywialne. Wiadomo, że wszystkie leżą w obszarze zwanym pasem krytycznym:

$$0<\Re(s)<1.$$

To stwierdzenie jest twierdzeniem, nie hipotezą. Problem polega na ustaleniu, gdzie dokładnie w tym pasie znajdują się zera.

Hipoteza Riemanna głosi, że każde zero nietrywialne spełnia

$$\Re(s)=\frac{1}{2}.$$

Innymi słowy: wszystkie zera nietrywialne mają leżeć na prostej krytycznej. To zaskakująco proste sformułowanie opisuje bardzo subtelną regularność ukrytą w obiekcie analitycznym silnie związanym z arytmetyką.

Najważniejszy powód, dla którego RH stała się centralnym problemem matematyki, to jej związek z rozkładem liczb pierwszych. Funkcja zliczająca liczby pierwsze, oznaczana przez $\pi(x)$, spełnia zgodnie z twierdzeniem o liczbach pierwszych asymptotykę

$$\pi(x)\sim \frac{x}{\log x}\qquad (x\to\infty).$$

To twierdzenie zostało udowodnione bez założenia RH, ale dowód historycznie wykorzystuje narzędzia związane z funkcją dzeta.

Rola hipotezy Riemanna nie polega więc na samym stwierdzeniu, że liczb pierwszych do $x$ jest około $\frac{x}{\log x}$. Jej siła dotyczy dokładności tego przybliżenia. Ogólna zasada brzmi: im lepiej kontrolujemy położenie zer $\zeta(s)$, tym lepiej kontrolujemy błąd w formułach opisujących rozkład liczb pierwszych.

To właśnie dlatego RH stoi na granicy analizy zespolonej i teorii liczb: dotyczy położenia zer funkcji analitycznej, ale jej konsekwencje są arytmetyczne.

Na dziś hipoteza Riemanna pozostaje nierozstrzygnięta. Nie ma powszechnie uznanego dowodu ani kontrprzykładu. Jest to jeden z klasycznych problemów matematyki i jeden z problemów milenijnych Clay Mathematics Institute.

Wiadomo jednak bardzo dużo faktów częściowych. Wiadomo, że zera nietrywialne leżą w pasie krytycznym. Wiadomo też, że na prostej krytycznej znajduje się nieskończenie wiele zer. Istnieją ponadto bardzo szerokie wyniki obliczeniowe i teoretyczne potwierdzające zgodność z RH dla ogromnych zakresów, ale żadne sprawdzenie skończone nie zastępuje ogólnego dowodu.

Istotne jest rozróżnienie między „mocnymi przesłankami” a „dowodem”. W matematyce nawet ogromna liczba zgodnych przykładów nie wystarcza do uznania twierdzenia za prawdziwe. RH jest więc przykładem problemu, dla którego intuicja, dane numeryczne i częściowe twierdzenia są bardzo silne, lecz formalne rozstrzygnięcie nadal nie istnieje.

Na poziomie akademickim warto widzieć RH jako problem o strukturze wielowarstwowej. Warstwa pierwsza to analiza zespolona: funkcja meromorficzna, przedłużenie analityczne, równanie funkcyjne, zera i symetria. Warstwa druga to teoria liczb analityczna: przejście od własności $\zeta(s)$ do informacji o liczbach pierwszych. Warstwa trzecia to sieć twierdzeń równoważnych i prawie równoważnych, które pokazują, jak głęboko RH przenika matematykę.

Dobra intuicja brzmi następująco: funkcja dzeta jest „transformatą” informacji arytmetycznej, a jej zera opisują oscylacje tej informacji. Prosta krytyczna $\Re(s)=\frac{1}{2}$ jest miejscem symetrii narzuconej przez równanie funkcyjne; RH twierdzi, że wszystkie zera nietrywialne ustawiają się dokładnie na tej osi równowagi.

Jeśli masz zapamiętać minimum, to: definicję $\zeta(s)$, rolę iloczynu Eulera, istnienie zer trywialnych, pojęcia pasu krytycznego i prostej krytycznej, oraz fakt, że RH dotyczy położenia wszystkich zer nietrywialnych i ma fundamentalne znaczenie dla teorii liczb pierwszych.