Twierdzenie Siegela, opublikowane w 1935 roku, jest fundamentalnym wynikiem w analizie liczb pierwszych, zwłaszcza w kontekście ich rozkładu w postaciach arytmetycznych. Rozważmy najpierw formułę ogólną, którą podał Siegel dla funkcji ψ(x;q,)\psi(x;q,\ell), wyrażonej przez:

ψ(x;q,)=xxρ(q)χ1()ϕ(q)ϕ(q)ρ(q)1xρχ().ϕ(q)ρ\psi(x;q,\ell) = x - x \rho(q) \chi_1 \sum(\ell) \phi(q) \phi(q) \rho(q) \sum - 1 x \rho \chi(\ell) . \phi(q) \rho

Jest to rozszerzenie równania (95.15) dotyczącego postępów arytmetycznych, jednak jego praktyczna użyteczność jest ograniczona przez problem istnienia wyjątkowego zera ρ(q)\rho(q). Aby poszerzyć nasze rozumienie, konieczne jest wyjaśnienie, czym jest to „wyjątkowe zero” i jakie ma to implikacje dla praktycznych obliczeń związanych z liczbami pierwszymi. Zasadniczym problemem w tym przypadku jest określenie precyzyjnego położenia ρ(q)\rho(q), jeśli w ogóle istnieje.

Twierdzenie Siegela wskazuje, że dla dowolnego ε>0\varepsilon > 0, istnieje stała τε>0\tau_{\varepsilon} > 0, która zależy tylko od ε\varepsilon, taka, że dla q>0q > 0:

τερ(q)<1ε\tau_{\varepsilon} \rho(q) < 1 - \varepsilon

Chociaż jest to ważne ograniczenie, nie rozwiązuje ono do końca kwestii precyzyjnego położenia ρ(q)\rho(q), ponieważ nie zapewnia efektywnej metody obliczenia tej stałej τε\tau_{\varepsilon} w praktyce. Z tego powodu, choć twierdzenie to jest teoretycznie istotne, nie ma ono bezpośredniej, praktycznej wartości w kontekście wykrywania liczb pierwszych w ramach arytmetycznych postępów.

Zagadnienie to nie kończy się jednak na zagadnieniu zer funkcji L, związanych z ρ(q)\rho(q). W rzeczywistości, nawet jeśli takie zero istnieje, jego wpływ na obliczenia jest ograniczony. Dla liczb qlogAxq \leq \log A \, x, zatem w przedziale 1qlogAx1 \leq q \leq \log A x, funkcja ψ(x;q,)\psi(x;q,\ell) ma postać:

ψ(x;q,)=x+O(xexp(cA(logx)1/2))\psi(x;q,\ell) = x + O\left(x \exp\left(-cA (\log x)^{1/2}\right)\right)

gdzie cA>0cA > 0 jest stałą zależną od AA, a wyraz OO oznacza granice błędu w obliczeniach. Równania te wskazują na trudność uzyskania bardziej precyzyjnych szacunków dla funkcji ψ(x;q,)\psi(x;q,\ell), gdy qq staje się bardzo duże, co jest klasycznym problemem w teorii liczb.

Przejście do analizy zjawisk statystycznych dotyczących rozkładu liczb pierwszych w kontekście arytmetycznym otwiera nową perspektywę. Badania takie, jak te prowadzone przez Linnik'a w 1941 roku i Rényiego w 1948 roku, pokazują, że jeśli przyjrzymy się zachowaniu ψ(x;q,)\psi(x;q,\ell) przy zmieniających się modach, wówczas otwiera się całkiem nowa wizja rozkładu liczb pierwszych. Ta zmiana podejścia jest szczególnie istotna w kontekście analizy zachowań liczb pierwszych przy bardzo dużych modach, takich jak qq, które mogą być potęgami liczby xx.

Punktem krytycznym w całym rozważaniu jest wciąż problem wyjątkowych zer funkcji L, które są trudne do obliczenia w kontekście modów większych niż standardowe. Jeśli jednak zwrócimy uwagę na sposób, w jaki Linnik i Rényi rozwiązywali ten problem, zobaczymy, że statystyczne podejście może rozwiązać wiele trudności, które wcześniej wydawały się nie do pokonania. Ich badania pokazują, że badanie statystyki ψ(x;q,)\psi(x;q,\ell) w kontekście różnych modów może dać zupełnie nowe odpowiedzi na pytania dotyczące miejsc pierwszych liczb w ramach postępów arytmetycznych.

W dalszym ciągu, teoria liczb pierwszych w postaciach arytmetycznych rozwija się, a klasyczne problemy, takie jak położenie wyjątkowego zera ρ(q)\rho(q) i związane z tym trudności w obliczeniach, stanowią nadal istotne wyzwanie. Niemniej jednak, nowoczesne podejścia statystyczne pozwalają na poszerzenie horyzontów analizy i, być może, na odkrycie nowych metod obliczeń, które w przyszłości mogą rozwiązać obecne trudności w tej dziedzinie.

Jak obliczenia algebraiczne mogą zostać wyrażone za pomocą pierwiastków i jak wykorzystać teorie Abela i Galois w rozwiązywaniu równań?

Rozważając rozwiązywanie równań algebraicznych przy użyciu pierwiastków, należy wziąć pod uwagę głębokie powiązania z teorią równań cyklotomicznych i wynikami badaczy takich jak Abel i Galois. Kluczowym elementem w tym kontekście jest wyrażenie rozwiązań równań w postaci pierwiastków, co jest ściśle związane z dekompozycją liczb pierwszych. Ostatnie wyniki dotyczące równań algebraicznych opierają się na rozwiązaniach wyrażanych w terminach pierwiastków i zastosowaniu odpowiednich rozkładów, takich jak rozkład p−1 na liczby pierwsze.

Na przykład, rozważając wyrażenie e(1/p) za pomocą pierwiastków, musimy mieć na uwadze decompozycję liczby p − 1. W praktyce może to być trudnym zadaniem, biorąc pod uwagę potrzebę rozkładu na czynniki pierwsze. Jest to klasyczny przykład teorii Abela (1829) i Galois (1831/1846), którzy badali rozwiązywalność równań algebraicznych w pierwiastkach. W szczególności, ich badania dotyczyły sposobu, w jaki odpowiednie układy równań mogą zostać wyrażone za pomocą pierwiastków, zwłaszcza w odniesieniu do równań cyklotomicznych.

Abel wskazał, że rozwiązywanie równań cyklotomicznych jest możliwe dzięki pewnym relacjom istniejącym pomiędzy ich pierwiastkami, co jest zgodne z równaniem (70.11). Warto dodać, że te obserwacje były w dużej mierze inspirowane przez pracę w dziele „DA, Sectio VII”. Kolejnym istotnym momentem w tej analizie jest fakt, że Gauss, w swoim artykule z 1863 roku, wskazywał na dokładny sposób, w jaki doszedł do rozwiązania równań cyklotomicznych, używając wyników matematycznych zawartych w jego pracy.

W kontekście wyliczeń numerycznych warto rozważyć przykład z p = 11, gdzie zastosowanie funkcji χ(n) prowadzi do obliczeń sum Gaussa, które są dokładnie związane z równaniami cyklotomicznymi. Stąd pojawia się możliwość obliczenia sum Jacobi’ego, co może prowadzić do uzyskania precyzyjnych wartości liczbowych, jak te opisane w równaniach (70.29) i (70.32). Ważnym elementem w takich obliczeniach jest ścisła relacja między różnymi wartościami funkcji χ, które są wykorzystywane do obliczeń Gaussa i Vandermonde’a.

Pomimo złożoności takich wyliczeń, matematycy tacy jak Lagrange, Jacobi i Vandermonde przyczynili się do rozwoju tej dziedziny. Ich prace, takie jak ta z 1808 roku, zawierają dokładne analizy równań cyklotomicznych i przedstawiają sposób obliczeń, które wciąż mają zastosowanie w matematyce współczesnej.

W obliczeniach tych niezbędne są odpowiednie formuły, które pozwalają na dokładne wyrażenie pierwiastków w postaci algebraicznej. Jak pokazują obliczenia związane z sumami Jacobi’ego i formułami Gaussa, takie podejście prowadzi do uzyskania rozwiązań równań cyklotomicznych w postaci pierwiastków, co jest zgodne z teorią Abela i Galois. Znajomość tych zależności pozwala na precyzyjne obliczenia w algebrze, a także w teorii liczb.

Warto także zauważyć, że obliczenia te mogą zostać rozszerzone na bardziej zaawansowane przykłady, takie jak obliczenia związane z liczbami pierwszymi, na przykład w odniesieniu do równań kongruencyjnych. W tym przypadku, stosując odpowiednie metody algorytmiczne, takie jak metoda Tonelliego, możemy uzyskać rozwiązania w polach skończonych Fp. Jest to przykład zastosowania teorii równań cyklotomicznych do praktycznych obliczeń w algebrze i teorii liczb.

Dodatkowo warto podkreślić znaczenie pracy Poinsota z 1818 roku, który zaprezentował sposób wyciągania pierwiastków z formuł algebraicznych w radikalach dla pierwiastków jedności. Choć istnieją prostsze metody, takie jak kryterium Legendre’a do znajdowania pierwiastków pierwotnych, Poinsot zaproponował bardziej wyrafinowane podejście, które również znajduje zastosowanie w bardziej skomplikowanych przypadkach.

W kontekście współczesnej matematyki warto również zwrócić uwagę na rozwój teorii ciał skończonych i rozszerzeń algebraicznych, które umożliwiają bardziej zaawansowane obliczenia w polach algebraicznych.