PL 
EnglishDomyślny
Українськаζ Funkcja dzeta Riemanna — pas krytyczny i zera
Zobacz funkcję dzeta Riemanna na płaszczyźnie zespolonej: koloruj dziedzinę ζ(s), przejdź wzdłuż prostej krytycznej Re(s)=½ i obserwuj, jak |ζ| spada do zera w nietrywialnych zerach związanych z liczbami pierwszymi.
O tej symulacji
Ten wizualizator rysuje funkcję dzeta Riemanna ζ(s) na płaszczyźnie zespolonej metodą kolorowania dziedziny: każdy piksel odpowiada liczbie zespolonej s = re + i·im, a jego odcień koduje argument (fazę) ζ(s), natomiast jasność koduje moduł |ζ(s)|. Ponieważ definiujący szereg 1 + 1/2^s + 1/3^s + … jest zbieżny tylko dla Re(s) > 1, symulacja zamiast tego sumuje szereg eta Dirichleta η(s) = Σ(−1)^(n−1)/n^s, zbieżny dla Re(s) > 0, i odzyskuje ζ za pomocą tożsamości ζ(s) = η(s) / (1 − 2^(1−s)). Pozwala to sięgnąć w głąb pasa krytycznego 0 < Re(s) < 1 i ujawnić nietrywialne zera, które — jak dotąd zawsze sprawdzano — leżą dokładnie na prostej krytycznej Re(s) = ½.
🔬 Co pokazuje
Mapę ζ(s) pokolorowaną według dziedziny: pionowa biała linia oznacza prostą krytyczną Re(s)=½, dwie przerywane linie wyznaczają krawędzie pasa krytycznego (Re(s)=0 i Re(s)=1), a białe kropki zaznaczają pierwszych dziesięć znanych nietrywialnych zer, wszystkie leżące na tej jednej linii. Przełączenie na widok „Critical line” pokazuje zamiast tego wykres |ζ(½+it)| w funkcji wysokości t, opadający do zera przy każdym zerze.
🎮 Jak korzystać
Suwak Terms (10–200) ustala, ile wyrazów szeregu eta jest sumowanych — więcej wyrazów oznacza większą dokładność kosztem szybkości. Zoom (max Im) (10–50) ustala, jak wysoko wzdłuż osi urojonej sięga widok. Speed kontroluje, jak szybko żółty punkt wspina się po prostej krytycznej. Walk line animuje to wspinanie, Step przesuwa je o jeden krok, a Reset wraca do t=0; przyciski View przełączają między mapą płaszczyzny zespolonej a wykresem wzdłuż prostej krytycznej.
💡 Czy wiesz, że...
Matematycy potwierdzili komputerowo ponad 10 bilionów nietrywialnych zer ζ(s), i każde z nich wypadło dokładnie na prostej krytycznej Re(s)=½. Udowodnienie, że dotyczy to wszystkich nieskończenie wielu zer — hipoteza Riemanna — to jeden z siedmiu Milenijnych Problemów Nagrody Instytutu Claya, wartych milion dolarów amerykańskich, i pozostaje nierozwiązany od czasu jego sformułowania w 1859 roku.
Najczęściej zadawane pytania
Jak symulacja oblicza ζ(s) wewnątrz pasa krytycznego?
Zwykły szereg 1/1^s + 1/2^s + 1/3^s + … jest zbieżny tylko dla Re(s) > 1, więc nie można go zsumować bezpośrednio wewnątrz pasa. Kod zamiast tego sumuje naprzemienny szereg eta Dirichleta η(s) = Σ(−1)^(n−1) n^(−s) dla n od 1 do wartości Terms, zbieżny dla Re(s) > 0, a następnie dzieli przez czynnik (1 − 2^(1−s)) przy użyciu dzielenia zespolonego, aby odzyskać ζ(s) = η(s) / (1 − 2^(1−s)).
Co oznaczają odcień i jasność każdego piksela?
Każdy piksel odpowiada punktowi zespolonemu s, a jego kolor jest obliczany bezpośrednio z ζ(s). Odcień jest ustalany przez argument (kąt) ζ(s) na płaszczyźnie zespolonej, odwzorowany na pełne koło barw 360°, natomiast jasność jest skompresowaną funkcją modułu |ζ(s)|: gdy |ζ(s)| dąży do zera, piksel ciemnieje w kierunku czerni, dlatego zera ζ pojawiają się jako małe ciemne punkty, w których spotykają się wszystkie odcienie.
Czym są pas krytyczny i prosta krytyczna?
Pas krytyczny to pionowy pas 0 < Re(s) < 1, pokazany w symulacji między dwiema przerywanymi liniami. Prosta krytyczna to linia Re(s)=½ biegnąca przez jego środek, narysowana ciągłą białą linią. Nieudowodniona hipoteza Riemanna głosi, że każde nietrywialne zero ζ(s) leży dokładnie na tej prostej krytycznej, a nie po prostu gdzieś wewnątrz pasa.
Dlaczego |ζ(½+it)| opada do zera na konkretnych wysokościach?
W widoku „Critical line” punkt s=½+it wspina się prosto w górę wzdłuż prostej krytycznej wraz ze wzrostem t, a wykres śledzi moduł |ζ(½+it)|. Symulacja zaznacza dziesięć znanych nietrywialnych zer przy t ≈ 14,13, 21,02, 25,01, 30,42, 32,94, 37,59, 40,92, 43,33, 48,01 i 49,77; za każdym razem, gdy wędrujący punkt osiąga jedną z tych wysokości, |ζ| rzeczywiście spada do zera, ponieważ s jest tam pierwiastkiem funkcji dzeta.
Dlaczego zmiana suwaka Terms zmienia obraz?
Szereg eta Dirichleta jest sumą nieskończoną, a symulacja może zsumować tylko skończoną liczbę wyrazów (od 10 do 200, wybieraną suwakiem), zanim się zatrzyma. Przy niewielu wyrazach suma częściowa jest grubszym przybliżeniem prawdziwego ζ(s), co może nieznacznie rozmyć granice kolorów i położenia zer; przy większej liczbie wyrazów suma zbiega bliżej wartości dokładnej kosztem większej liczby operacji arytmetycznych na piksel, dlatego wyższe ustawienia Terms renderują się wolniej.
Jak zera ζ(s) są powiązane z liczbami pierwszymi?
Poprzez swój iloczyn Eulera ζ(s) jest równe nieskończonemu iloczynowi po wszystkich liczbach pierwszych p wyrażenia 1/(1−p^(−s)), dlatego jego zera nie są przypadkowe: jawny wzór Riemanna wyraża dokładną liczbę liczb pierwszych do danej wartości jako gładki wyraz główny plus poprawkę zbudowaną z oscylujących składników, po jednym na każde nietrywialne zero. Dokładne położenia zer pokazanych w tej symulacji bezpośrednio decydują więc o tym, jak równomiernie lub nierównomiernie rozłożone są liczby pierwsze.