Funkcja dzeta Riemanna

Wykres funkcji $\zeta$ w dziedzinie liczb rzeczywistych

Wykres funkcji $\zeta$ w dziedzinie liczb zespolonych uzyskany techniką kolorowania dziedziny.

Funkcja zeta Riemanna (funkcja dzeta Riemanna, funkcja $\zeta$) – zespolona funkcja specjalna zdefiniowana w postaci szeregu

$\zeta (s)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^s}$

dla dowolnej liczby zespolonej $s$ o części rzeczywistej $\mathrm{\Re }(s)>1$ oraz jako przedłużenie analityczne powyższego szeregu dla pozostałych liczb zespolonych.

Funkcję $\zeta$ po raz pierwszy zdefiniował Leonhard Euler w XVIII w., jednak rozważał jej wartości jedynie dla zmiennych rzeczywistych. Dopiero Bernhard Riemann w artykule z listopada 1859 r. O liczbie liczb pierwszych mniejszych od zadanej wielkości (niem. Über die Anzahl der Primzahlen unter einer gegebenen Grösse) rozszerzył definicję Eulera na wszystkie liczby zespolone, udowodnił meromorficzność funkcji, przedstawił i udowodnił równanie funkcyjne opisujące funkcję na całej płaszczyźnie zespolonej i wykazał zależność między rozmieszczeniem jej miejsc zerowych a liczbą liczb pierwszych. Artykuł ten zawierał również sformułowanie hipotezy Riemanna, określanej jako najważniejszy problem otwarty matematyki.

Funkcja dzeta znajduje bardzo wiele zastosowań w analitycznej teorii liczb.

Postacie funkcji

Dla zmiennej o części rzeczywistej większej niż 1

Funkcja $\zeta$ jest pierwotnie definiowana za pomocą szeregu. W swojej pracy Riemann udowodnił także postać

$\zeta (s)=\frac{1}{\mathrm{\Gamma }(s)}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^{s-1}}{e^x-1}dx$

dla $\mathrm{\Re }(s)>1,$ wykorzystując przy tym odwrotność funkcji gamma.

W perspektywie teorii liczb, zdecydowanie największą rolę odgrywa iloczyn Eulera funkcji zeta, będący postaci

$\zeta (s)=\prod _p{(1-\frac{1}{p^s})}^{-1},$

gdzie $\prod _p$ oznacza iloczyn po wszystkich liczbach pierwszychSzablon:Odn.

W pasie krytycznym

Często wykorzystywaną reprezentacją funkcji $\zeta$ na pasie $0<\mathrm{\Re }(s)<1$ jest

$\zeta (s)=\frac{s}{s-1}-s\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{\{u\}}{u^{s+1}}du,$

gdzie $\{x\}$ oznacza część ułamkową. Postać tę można odczytać ze wzoru sumacyjnego EuleraSzablon:Odn.

Na całej płaszczyźnie zespolonej

$\zeta (s)=\frac{1}{1-2^{1-s}}\sum _{n=0}^{\mathrm{\infty }}\frac{1}{2^{n+1}}\sum _{k=0}^n(-1{)}^k(\genfrac{}{}{0ex}{}{n}{k})(k+1{)}^{-s}.$

Równanie funkcyjne

Równaniem udowodnionym przez Riemanna, które opisuje zachowanie funkcji $\zeta$

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

dla dowolnej liczby zespolonej $s,$ gdzie $\mathrm{\Gamma }$ to funkcja gamma. Równanie to wiąże wartości funkcji dla zmiennych zespolonych $s$ i $1-s,$ symetrycznych wobec siebie względem prostej krytycznej $\mathrm{\Re }(s)=\frac{1}{2}.$ Z równania tego można również odczytać, że trywialnymi miejscami zerowymi funkcji $\zeta$ są $-2k=-2,-4,-6,\dots$ (ponieważ wtedy wartości $2^s{\pi }^{s-1},$ funkcji $\mathrm{\Gamma }(1-s)$ i $\zeta (1-s)$ są skończone, a $\sin \left(\frac{-2k\pi }{2}\right)=\sin (-k\pi )=0$). Jednocześnie, jeśli $s=2k$ (jest dodatnią liczbą parzystą), to $\zeta (s)\ne 0,$ ponieważ w tych miejscach występują bieguny funkcji $\mathrm{\Gamma }(1-s).$ Ponadto, jeśli $s_0$ jest nietrywialnym miejscem zerowym $\zeta$ $(0<\mathrm{\Re }(s_0)<1),$ to jest nim również $1-s_0.$ Jeśli $s_0$ nie leży na prostej krytycznej, to są to dwie różne wartości, dlatego nietrywialne miejsca zerowa poza prostą krytyczną muszą występować w parach.

Przedstawimy poniżej trzy dowody prawdziwości równania funkcyjnego wg Titchmarsha (spośród aż siedmiu przedstawionych)Szablon:Odn.

Dowód 1. W pierwszym dowodzie wyprowadzamy, a następnie korzystamy z postaci funkcji $\zeta$ wykorzystującej całkę z funkcji $\{u\}{u}^{-s-1}.$

Wzór sumacyjny Eulera mówi, że dla dowolnej funkcji $f$ o ciągłej pochodnej zachodzi

$\sum _{y<n⩽x}f(n)=\underset{y}{\overset{x}{\int }}f(u)du+\underset{y}{\overset{x}{\int }}\{u\}{f}^{\prime }(u)du-\{x\}f(x)+\{y\}f(y).$

Biorąc $f(n)=n^{-s},$ otrzymamy

$\sum _{1⩽n⩽x}\frac{1}{n^s}=\underset{1}{\overset{x}{\int }}\frac{du}{u^s}-s\underset{1}{\overset{x}{\int }}\frac{\{u\}}{u^{s+1}}du-\frac{\{x\}}{x^s}+1.$

Aby z lewej strony równania otrzymać funkcję Riemanna, chcemy aby $x\to \mathrm{\infty }.$ Widzimy, że

$\underset{1}{\overset{x}{\int }}\frac{du}{u^s}=\frac{1-x^{1-s}}{s-1}=\frac{1}{s-1}-\frac{1}{x^{s-1}(s-1)}=\frac{1}{s-1}.$

Stąd

$\zeta (s)=1+\frac{1}{s-1}-s\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{\{u\}}{u^{s+1}}du=\frac{s}{s-1}-s\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{\{u\}}{u^{s+1}}du$

dla $\mathrm{\Re }(s)>1.$

Teraz skorzystajmy z szeregu Fouriera zbieżnego do części ułamkowej. Mamy

$\{x\}=-\frac{1}{2}+\sum _{n=1}^{\mathrm{\infty }}\frac{\sin (2n\pi x)}{n\pi }$

dla $x$ niecałkowitych. Podstawiając pod całkę, otrzymamy

$\zeta (s)=\frac{s}{\pi }\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (2n\pi u)}{u^{s+1}}du=\frac{s}{\pi }\sum _{n=1}^{\mathrm{\infty }}\frac{(2n\pi {)}^s}{n}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin u}{u^{s+1}}du=\frac{s}{\pi }(2\pi {)}^s(-\mathrm{\Gamma }(-s))\sin \left(\frac{\pi s}{2}\right)\zeta (1-s).$

Upraszczając i korzystając z $\mathrm{\Gamma }(-s)=-s\mathrm{\Gamma }(1-s),$ otrzymamy równanie.

Dowód 2. Dowód ten przeprowadzany jest ze szczególnym uwzględnieniem narzędzi analizy zespolonej.

Zacznijmy od udowodnienia szczególnej postaci funkcji $\zeta$ (przedstawionej wcześniej w artykule). Całkując przez podstawienie, pokazujemy, że

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-1}{e}^{-nx}dx=\frac{1}{n^s}\underset{0}{\overset{\mathrm{\infty }}{\int }}{u}^{s-1}{e}^{-u}du=\frac{\mathrm{\Gamma }(s)}{n^s},$

więc dla $\mathrm{\Re }(s)>1$ mamy

$\mathrm{\Gamma }(s)\zeta (s)=\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{\Gamma }(s)}{n^s}=\sum _{n=1}^{\mathrm{\infty }}\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-1}{e}^{-nx}dx=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-1}\sum _{n=1}^{\mathrm{\infty }}{e}^{-nx}dx=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^{s-1}}{e^x-1}dx$

gdzie przy trzeciej równości skorzystaliśmy z twierdzenia o całkowaniu wyraz po wyrazie, ponieważ występujący szereg funkcyjny jest jednostajnie zbieżny, a ostatnia równość zachodzi, ponieważ występujący tam szereg jest zwykłym szeregiem geometrycznym.

Rozważmy całkę

$I(s)=\underset{C}{\int }\frac{z^{s-1}}{e^z-1}dz,$

kontur Hankela

gdzie $C$ oznacza kontur Hankela (krzywą składającą się z prostej $ϵ>0$ od $+\mathrm{\infty }$ do $\rho$ $(0<\rho <2\pi ),$ fragmentu dodatnio określonego (przeciwnie do ruchu wskazówek zegara) okręgu $|z|=\rho$ okrążając 0 i prostej $-ϵ$ od $\rho$ do $+\mathrm{\infty }$). Przyjęliśmy tutaj

$z^{s-1}=e^{(s-1)\log s},$

gdzie logarytm jest rzeczywisty na początku konturu. Na zadanym okręgu mamy

$|z^{s-1}|=e^{(\mathrm{\Re }(s)-1)\log |z|-\mathrm{\Im }(s)\arg (z)}⩽|z{|}^{\mathrm{\Re }(s)-1}{e}^{2\pi |\mathrm{\Im }(s)|}$

i

$|e^z-1|>A|z|$

dla pewnej stałej $A>0,$ więc

$\frac{1}{A|z^{2-s}|}>\left|\frac{z^{s-1}}{e^z-1}\right|.$

Stąd, jeśli $\mathrm{\Re }(s)>1,$ to przy $\rho \to 0$ wartość powyższej całki na części okręgu $|z|=\rho$ dąży do 0. Dlatego, zakładając dalej $\rho \to 0,$ mamy

$I(s)=-\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^{s-1}}{e^x-1}dx+\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{(x{e}^{2\pi i}{)}^{s-1}}{e^x-1}dx=(e^{2\pi is}-1)\mathrm{\Gamma }(s)\zeta (s)=\frac{2\pi i{e}^{\pi is}}{\mathrm{\Gamma }(1-s)}\zeta (s).$

Dlatego

$\zeta (s)=\frac{e^{-\pi is}\mathrm{\Gamma }(1-s)}{2\pi i}I(s)$

dla $\mathrm{\Re }(s)>1.$ Jednakże całka $I(s)$ zbiega jednostajnie na każdym skończonym obszarze płaszczyzny zespolonej. W ten sposób przedłużymy analitycznie funkcję Riemanna.

Niech $C_n$ będzie konturem równym $ϵ>0$ od $+\mathrm{\infty }$ do $(2n+1)\pi ,$ następnie dodatnio określonym fragmentem kwadratu $(\pm 1\pm i)(2n+1)\pi ,$ a potem $-ϵ$ od $(2n+1)\pi$ do $+\mathrm{\infty }.$ Całkowana funkcja ma pomiędzy konturami $C$ a $C_n$ bieguny w punktach $\pm 2\pi i,\dots ,n2\pi i.$ Residua w punktach $-m2\pi i$ i $m2\pi i$ to w sumie

$(2m\pi e^{\frac{1}{2}\pi i}{)}^{s-1}+(2m\pi e^{\frac{3}{2}\pi i}{)}^{s-1}=(2m\pi {)}^{s-1}{e}^{\pi i(s-1)}2\cos \left(\frac{\pi (s-1)}{2}\right)=-2(2m\pi {)}^{s-1}{e}^{\pi is}\sin \left(\frac{\pi s}{2}\right).$

Dlatego z twierdzenia o residuach, mamy

$I(s)=\underset{C_n}{\int }\frac{z^{s-1}}{e^z-1}dz+4\pi i{e}^{\pi is}\sin \left(\frac{\pi s}{2}\right)\sum _{m=1}^n(2m\pi {)}^{s-1}.$

Biorąc $n\to \mathrm{\infty }$ i wiedząc, że funkcja $(e^z-1{)}^{-1}$ jest ograniczona oraz $|z^{s-1}|=O(z^{\mathrm{\Re }(z)-1})$ wnioskujemy, że całka po konturze $C_n$ dąży do 0. Dlatego

$I(s)=4\pi i{e}^{\pi is}\sin \left(\frac{\pi s}{2}\right)\sum _{m=1}^{\mathrm{\infty }}(2m\pi {)}^{s-1}=4\pi i{e}^{\pi is}\sin \left(\frac{\pi s}{2}\right)(2\pi {)}^{s-1}\zeta (1-s).$

Upraszczając, otrzymamy równanie funkcyjne.

Dowód 3.

Jeśli $\mathrm{\Re }(s)>0,$ to, całkując przez podstawienie,

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{1}{2}s-1}{e}^{-n^2\pi x}dx=\frac{\mathrm{\Gamma }(\frac{s}{2})}{n^s{\pi }^{\frac{s}{2}}}.$

Stąd, dla $\mathrm{\Re }(s)>1$ zachodzi

$\zeta (s)\frac{\mathrm{\Gamma }(\frac{s}{2})}{{\pi }^{\frac{s}{2}}}=\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{\Gamma }(\frac{s}{2})}{n^s{\pi }^{\frac{s}{2}}}=\sum _{n=1}^{\mathrm{\infty }}\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{1}{2}s-1}{e}^{-n^2\pi x}dx=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{1}{2}s-1}\sum _{n=1}^{\mathrm{\infty }}{e}^{-n^2\pi x}dx,$

gdzie, podobnie jak w poprzednim dowodzie, w ostatniej równości skorzystaliśmy z twierdzenia o całkowaniu wyraz po wyrazie, ponieważ występujący szereg funkcyjny jest jednostajnie zbieżny (stąd silniejsze założenie o części rzeczywistej $s$). Oznaczmy

$\psi (x)=\sum _{n=1}^{\mathrm{\infty }}{e}^{-n^2\pi x}.$

Wówczas

$\zeta (s)=\frac{{\pi }^{\frac{s}{2}}}{\mathrm{\Gamma }(\frac{s}{2})}\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{1}{2}s-1}\psi (x)dx.$

Korzystając ze wzoru sumacyjnego Poissona, otrzymamy

$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{e}^{-n^2\pi x}=\frac{1}{\sqrt{x}}\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{e}^{\frac{-n^2\pi }{x}},$

a stąd

$2\psi (x)+1=\frac{1}{\sqrt{x}}(2\psi \left(\frac{1}{x}\right)+1).$

Dlatego

${\pi }^{-\frac{s}{2}}\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s)=\underset{0}{\overset{1}{\int }}{x}^{\frac{s}{2}-1}\psi (x)dx+\underset{1}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}-1}\psi (x)dx.$

Powyższe wyrażenie jest równe

$\underset{0}{\overset{1}{\int }}{x}^{\frac{s}{2}-1}(\frac{1}{\sqrt{x}}\psi \left(\frac{1}{x}\right)+\frac{1}{2\sqrt{x}}-\frac{1}{2})dx+\underset{1}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}-1}\psi (x)dx,$

co z kolei równa się

$\frac{1}{s-1}-\frac{1}{s}+\underset{0}{\overset{1}{\int }}{x}^{\frac{s}{2}-\frac{3}{2}}\psi \left(\frac{1}{x}\right)dx+\underset{1}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}-1}\psi (x)dx.$

Zatem

${\pi }^{-\frac{s}{2}}\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s)=\frac{1}{s(s-1)}+\underset{1}{\overset{\mathrm{\infty }}{\int }}(x^{-\frac{s}{2}-\frac{1}{2}}+x^{\frac{s}{2}+1})\psi (x)dx,$

gdzie całka jest zbieżna dla wszystkich $s$ zespolonych, więc wyrażenie po lewej można przedłużyć analitycznie. Ponadto, prawa strona nie zmienia wartości po zastąpieniu $s$ przez $1-s.$ Dlatego

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

Po uproszczeniu otrzymamy równanie funkcyjne.

Wzory związane z funkcją zeta

Szablon:Osobny artykuł Na półpłaszczyźnie $\mathrm{\Re }(s)>1$ funkcja Riemanna jest wyrażona przez iloczyn Eulera $\zeta (s)=\prod _p{(1-\frac{1}{p})}^{-1},$

gdzie $\prod _p$ oznacza iloczyn po wszystkich liczbach pierwszychSzablon:Odn.

Ponadto, dla $\mathrm{\Re }(s)>1$ prawdziwe są tożsamości

$\frac{1}{\zeta (s)}=\prod _p(1-\frac{1}{p^s})=\sum _{n=1}^{\mathrm{\infty }}\frac{\mu (n)}{n^s}$

oraz

$\frac{\zeta (s)}{\zeta (2s)}=\prod _p(1+\frac{1}{p^s})=\sum _{n=1}^{\mathrm{\infty }}\frac{|\mu (n)|}{n^s}$

gdzie $\mu$ to funkcja Möbiusa,

$\frac{\zeta (2s)}{\zeta (s)}=\prod _p{(1+\frac{1}{p^s})}^{-1}=\sum _{n=1}^{\mathrm{\infty }}\frac{\lambda (n)}{n^s},$

gdzie $\lambda$ to funkcja Liouville’a,

Wszystkie powyższe iloczyny można otrzymać przez zwykłe przekształcenia algebraiczne na produkcie Eulera funkcji $\zeta ,$ a szeregi po prawej – przez wymnażanie czynnikówSzablon:Odn.

Prawdziwe są również wzory

$\zeta (s{)}^2=\sum _{n=1}^{\mathrm{\infty }}\frac{\tau (n)}{n^s},$

gdzie $\tau$ oznacza liczbę dodatnich dzielników, a także ogólniej

$\zeta (s{)}^k=\sum _{n=1}^{\mathrm{\infty }}\frac{{\tau }_k(n)}{n^s},$

dla $k=2,3,\dots ,$ gdzie ${\tau }_k(n)$ oznacza liczbę sposobów na przedstawienie liczby całkowitej dodatniej $n$ jako iloczyn $k$ czynników całkowitych dodatnich.

$\frac{\zeta (s{)}^2}{\zeta (2s)}=\sum _{n=1}^{\mathrm{\infty }}\frac{2^{\omega (n)}}{n^s},$

gdzie $\omega$ to funkcja pierwsza omega, czyli liczba dzielników pierwszych. Ponadto

$\frac{\zeta (s{)}^3}{\zeta (2s)}=\sum _{n=1}^{\mathrm{\infty }}\frac{\tau (n{)}^2}{n^s},$

$\frac{\zeta (s{)}^4}{\zeta (2s)}=\sum _{n=1}^{\mathrm{\infty }}\frac{\{\tau (n){\}}^2}{n^s},$

przy czym wszystkie powyższe wzory są prawdziwe na obszarze zbieżności szeregów, czyli $\mathrm{\Re }(s)>1$Szablon:Odn. Dodatkowo

$\frac{\zeta (s-1)}{\zeta (s)}=\sum _{n=1}^{\mathrm{\infty }}\frac{\phi (n)}{n^s},$

gdzie $\phi$ oznacza tocjent Eulera i

$\frac{1-2^{1-s}}{1-2^{-s}}\zeta (s-1)=\sum _{n=1}^{\mathrm{\infty }}\frac{a(n)}{n^s},$

gdzie $a(n)$ jest największym dzielnikiem nieparzystym liczby $n.$ Te dwa wzory są prawdziwe dla $\mathrm{\Re }(s)>2$Szablon:Odn.

Biorąc logarytm zespolony iloczynu Eulera, mamy

$\log \zeta (s)=\log \prod _p{(1-\frac{1}{p^s})}^{-1}=-\sum _p\log (1-\frac{1}{p^s})=-\sum _p\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k{p}^{ks}},$

przy czym ostatnia równość zachodzi, ponieważ ${\sum }_{k=1}^{\mathrm{\infty }}(k{x}^k{)}^{-1}$ jest szeregiem potęgowym funkcji $\log (1-x^{-1}).$ Różniczkując wyraz po wyrazie, otrzymujemy

$\frac{{\zeta }^{\prime }(s)}{\zeta (s)}=\sum _p\sum _{k=1}^{\mathrm{\infty }}\frac{\log p}{p^{ks}}=\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{\Lambda }(n)}{n^s},$

gdzie $\mathrm{\Lambda }$ oznacza funkcję von MangoldtaSzablon:Odn.

Związek z liczbami Bernoulliego:

$\zeta (2n)=(-1{)}^{n+1}\frac{B_{2n}(2\pi {)}^{2n}}{2(2n)!},$

dla każdej liczby parzystej dodatniej $2n,$ gdzie $B_k$ to $k$-ta liczba Bernoulliego. Ponadto dla liczb całkowitych ujemnych $-n:$

$\zeta (-n)=-\frac{B_{n+1}}{n+1}.$

Zatem funkcja ζ przyjmuje wartość 0 dla każdej ujemnej liczby parzystej.

Logarytm funkcji zeta można wyrazić jakoSzablon:Odn:

$\log \zeta (z)=z\underset{2}{\overset{\mathrm{\infty }}{\int }}\frac{\pi (x)}{x(x^z-1)}dx,$

gdzie $\pi (x)$ to funkcja licząca liczby pierwszeSzablon:Odn.

Znaczenie w teorii liczb

Pierwsza strona artykułu Riemanna O liczbie liczb pierwszych mniejszych od zadanej wielkości z 1859 r.

Funkcja $\zeta$ jest podstawowym obiektem badań analitycznej teorii liczb. Jest to funkcja meromorficzna, która swoim zachowaniem opisuje zjawiska dyskretne, takie jak rozmieszczenie liczb pierwszych. Mówiąc dokładniej, nietrywialne miejsca zerowe funkcji zeta występują we wzorach opisujących chociażby funkcję liczącą liczby pierwsze czy funkcję Czebyszewa.

Znając wzór

$\frac{{\zeta }^{\prime }(s)}{\zeta (s)}=\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{\Lambda }(n)}{n^s}$

i oznaczając drugą funkcję Czebyszewa jako $\psi (x)=\sum _{n⩽x}\mathrm{\Lambda }(n)$ oraz ${\psi }_0(x)=\psi (x)-\frac{1}{2}\mathrm{\Lambda }(x)$ dla $x$ całkowitych i ${\psi }_0(x)=\psi (x)$ dla wszystkich pozostałych, możemy skorzystać ze wzoru Perrona by uzyskać

${\psi }_0(x)=\frac{1}{2\pi i}\underset{T\to \mathrm{\infty }}{\lim }\underset{1-iT}{\overset{1+iT}{\int }}\frac{{\zeta }^{\prime }(s)}{\zeta (s)}\frac{x^s}{s}ds.$

Stąd otrzymujemy wzór explicite

${\psi }_0(x)=x-\log (2\pi )-\sum _{\rho }\frac{x^{\rho }}{\rho }-\sum _{{\rho }_t}\frac{x^{{\rho }_t}}{{\rho }_t},$

gdzie $\sum _{\rho }$ i $\sum _{{\rho }_t}$ oznaczają odpowiednio sumy po wszystkich nietrywialnych i trywialnych miejscach zerowych funkcji $\zeta .$ Widzimy, że

$\sum _{{\rho }_t}\frac{x^{{\rho }_t}}{{\rho }_t}=\sum _{k=1}^{\mathrm{\infty }}\frac{1}{2k{x}^{2k}}=\log (1-\frac{1}{x^2}).$

Zatem

${\psi }_0(x)=x-\log (2\pi )-\log (1-\frac{1}{x^2})-\sum _{\rho }\frac{x^{\rho }}{\rho }.$

Niech $\pi$ będzie funkcją liczącą liczby pierwsze. Równoważnie, jeśli oznaczymy przez ${\pi }_0(x)=\pi (x)-\frac{1}{2}$ dla $x$ pierwszych oraz ${\pi }_0(x)=\pi (x)$ dla pozostałych $x,$ sumując po częściach, otrzymamy

${\pi }_0(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{\mu (n)}{n}\text{li}(x^{\frac{1}{n}})-\sum _{\rho }\sum _{n=1}^{\mathrm{\infty }}\frac{\mu (n)}{n}\text{li}(x^{\frac{\rho }{n}}),$

gdzie $\text{li}$ oznacza logarytm całkowy.

Z powyższych możemy wnioskować, że udowodnienie, że $\zeta$ nie ma żadnych zer na prostej $\mathrm{\Re }(s)=1$ jest równoważne z twierdzeniem o liczbach pierwszych, a hipoteza Riemanna jest równoważna z błędem w szacowaniu rzędu $\pi (x)=\text{Li}(x)+O\left(x^{\frac{1}{2}+ϵ}\right).$

Miejsca zerowe

Moduły funkcji Z Riemanna-Siegela (linia przerywana) oraz funkcji zeta Riemanna (linia ciągła) na prostej krytycznej

Równanie funkcyjne mówi, że funkcja Riemanna przyjmuje wartość równą 0 dla wszystkich ujemnych liczb parzystych, czyli $-2,-4,-6,\dots$ Są to tzw. zera trywialne. Są trywialne w takim sensie, że łatwo jest udowodnić ich występowanie, ponieważ są one miejscami, w których sinus przyjmuje wartość 0. O wiele większe znaczenie mają zera nietrywialne, czyli wszystkie miejsca zerowe niebędące zerami trywialnymi.

Wiadomo, że wszystkie nietrywialne miejsca zerowe muszą leżeć na pasie krytycznym, zdefiniowanym jako $\{s\in ℂ:0<\mathrm{\Re }(s)<1\}.$ Hipoteza Riemanna mówi, że wszystkie nietrywialne miejsca zerowe leżą na prostej krytycznej $\mathrm{\Re }(s)=\frac{1}{2}.$

Niech $N(T)$ oznacza liczbę miejsc zerowych funkcji Riemanna postaci $s=\frac{1}{2}+it$ przy $0<t<T.$ W 1921 Hardy i Littlewood udowodnili, że nieskończenie wiele nietrywialnych zer leży na prostej krytycznej, a dokładniej mówiąc wykazali, że dla każdego $ϵ>0$ istnieje stała $T_0$ taka, że

$N(T)>T^{\frac{3}{4}-ϵ}$

dla wszystkich $T>T_0.$

Współcześnie wiadomo, że

$N(T)=\frac{T}{2\pi }\log \frac{T}{2\pi }-\frac{T}{2\pi }+O(\log T)$

dla $T⩾4.$ Ponadto, jeśli hipoteza Riemanna jest prawdziwa, toSzablon:Odn

$N(T)=\frac{T}{2\pi }\log \frac{T}{2\pi }-\frac{T}{2\pi }+O\left(\frac{\log T}{\log \log T}\right)$

W 1989 Conrey udowodnił, że przynajmniej $\frac{2}{5}$ z nich musi leżeć na tej prostej.

Niektóre wartości

$\zeta (-1)=-\frac{1}{12}\approx -0,0833333$

$\zeta (2)=1+\frac{1}{2^2}+\frac{1}{3^2}+\dots =\frac{{\pi }^2}{6}\approx 1,6449341$Szablon:Odn

$\zeta (4)=1+\frac{1}{2^4}+\frac{1}{3^4}+\dots =\frac{{\pi }^4}{90}\approx 1,0823232$Szablon:Odn

$\zeta (6)=1+\frac{1}{2^6}+\frac{1}{3^6}+\dots =\frac{{\pi }^6}{945}\approx 1,0173431$Szablon:Odn

$\zeta (8)=1+\frac{1}{2^8}+\frac{1}{3^8}+\dots =\frac{{\pi }^8}{9450}\approx 1,0040774$

$\zeta (10)=1+\frac{1}{2^{10}}+\frac{1}{3^{10}}+\dots =\frac{{\pi }^{10}}{93555}\approx 1,0009946$

Ogólnie, dla $p\in \mathbb{N},$ mamy:

$\zeta (2p)=\frac{(-1{)}^{p+1}\cdot B_{2p}\cdot (2\pi {)}^{2p}}{2\cdot (2p)!},$Szablon:Odn

gdzie $B_{2p}$ to liczba Bernoulliego z indeksem $2p.$

Zobacz też

• problem bazylejski
• regularyzacja funkcją dzeta
• funkcja L Dirichleta

Bibliografia

• Szablon:Cytuj
• Szablon:Cytuj
• Szablon:Cytuj

Linki zewnętrzne

• Szablon:MathWorld
• Grant Sanderson, Visualizing the Riemann zeta function and analytic continuation, kanał 3blue1brown na YouTube, 9 grudnia 2016 [dostęp 2021-03-15].