Funkcija Z

Funkcija Z je v matematiki funkcija uporabna pri raziskovanju Riemannove funkcije ζ vzdolž kritične premice, kjer je realni del argumenta enak $1/2\,$. Imenuje se tudi Riemann-Sieglova funkcija Z, Hardyjeva funkcija, Hardyjeva funkcija Z ali Hardyjeva funkcija zeta. Lahko se definira z Riemann-Sieglovo funkcijo ϑ in Riemannovo funkcijo ζ kot:

$Z(t)=e^{i\theta (t)}\zeta \left({\frac {1}{2}}+it\right)\!\,.$

Velja še:

$\left|Z(t)\right|=\left|\zeta \left({\frac {1}{2}}\right)+it\right|,\qquad (t\in \mathbb {R} )\!\,.$

Iz funkcijske enačbe za Riemannovo funkcijo ζ sledi, da je funkcija Z realna za realne vrednosti $t\,$. Je soda funkcija in realna analitična za realne vrednosti. Iz dejstva, da sta Riemann-Sieglova funkcija ϑ in Riemannova funkcija ζ obe holomorfni na kritičnem traku, kjer je imaginarni del $t\,$ med -1/2 in 1/2, sledi, da je tudi funkcija Z holomorfna na kritičnem traku. Še več, realne ničle so točno ničle Riemannove funkcije ζ vzdolž kritične premice, kompleksne ničle na kritičnem traku funkcije Z odgovarjajo ničlam zunaj kritične premice Riemannove funkcije ζ na njenem kritičnem traku.

Funkcija Z v kompleksni ravnini

$-5<\Re (t)<5\,$	$-40<\Re (t)<40\,$

Riemann-Sieglova formula

Riemann-Sieglova formula zelo izboljša računanje vrednosti funkcije $Z(t)\,$ za realne $t\,$ in tako tudi Riemannove funkcije ζ vzdolž kritične premice:

$Z(t)=2\sum _{n^{2}<t/2\pi }n^{-1/2}\cos(\theta (t)-t\log n)+R(t)\!\,,$

kjer je člen napake $R(t)\,$ asimptotično izražen v kompleksnem s funkcijo:

$\Psi (z)={\frac {\cos 2\pi (z^{2}-z-1/16)}{\cos 2\pi z}}\!\,$

in njenimi odvodi. Če je $u=({\frac {t}{2\pi }})^{1/4}\,$, $N=\lfloor u^{2}\rfloor \,$ in $p=u^{2}-N$, potem velja:

$R(t)\sim (-1)^{N-1}\left(\Psi (p)u^{-1}-{\frac {1}{96\pi ^{2}}}\Psi ^{(3)}(p)u^{-3}+\cdots \right)\!\,,$

kjer tripičje označuje, da se lahko nadaljuje na višje in naraščajoče kompleksne člene.

Znane so druge učinkovite vrste za funkcijo $Z(t)\,$, še posebej z nepolno funkcijo Γ. Če je:

$Q(a,z)={\frac {\Gamma (a,z)}{\Gamma (a)}}={\frac {1}{\Gamma (a)}}\int _{z}^{\infty }u^{a-1}e^{-u}\mathrm {d} u\!\,,$

je posebej lep zgled:

$Z(t)=2\Re \left(e^{i\theta (t)}\left(\sum _{n=1}^{\infty }Q\left({\frac {s}{2}},\pi in^{2}\right)-{\frac {\pi ^{s/2}e^{\pi is/4}}{s\Gamma \left({\frac {s}{2}}\right)}}\right)\right)\!\,.$

Obnašanje funkcije Z

Iz izreka o kritični premici sledi, da je gostota realnih ničel funkcije Z enaka:

${\frac {c}{2\pi }}\log {\frac {t}{2\pi }}\!\,$

za kakšno konstanto $c>2/5\,$. Tako število ničel na intervalu z dano velikostjo počasi narašča. Če je Riemannova domneva pravilna, so vse ničle na kritičnem traku realne ničle, konstanta pa je enaka $c=1\,$. Domneva se tudi, da so vse te ničle enostavne.

Izrek Omega

Zaradi ničel funkcije Z se funkcija obnaša nihajoče. Tudi počasi narašča tako v povprečju kot tudi ob vrhovih vrednostih. Brez Riemannove domneve izrek Omega pravi, da velja:

$Z(t)=\Omega \left(\exp \left({\frac {3}{4}}{\sqrt {\frac {\log t}{\log \log t}}}\right)\right)\!\,,$

kjer zapis pomeni, da $Z(t)\,$ krat funkcija znotraj Ω ne teži k nič z naraščajočim $t\,$.

Povprečna rast

Raziskovali so tudi povprečno rast funkcije Z. Kvadratična sredina se lahko najde iz:

${\frac {1}{T}}\int _{0}^{T}Z(t)^{2}\mathrm {d} t\sim \log T\!\,,$

ali:

${\frac {1}{T}}\int _{T}^{2T}Z(t)^{2}\mathrm {d} t\sim \log T\!\,,$

kar pove, da kvadratična sredina funkcije $Z(t)\,$ narašča kot ${\sqrt {\log t}}$. Ta ocena se lahko izboljša na:

${\frac {1}{T}}\int _{0}^{T}Z(t)^{2}\mathrm {d} t=\log T+(2\gamma -2\log(2\pi )-1)+{\mathcal {O}}(T^{-15/22})\!\,.$

Če se eksponent poveča, se dobi srednja vrednost, ki je bolj odvisna od vrhov vrednosti funkcije Z. Za četrte potence je:

${\frac {1}{T}}\int _{0}^{T}Z(t)^{4}\mathrm {d} t\sim {\frac {1}{2\pi ^{2}}}(\log T)^{4}\!\,,$

od koder se lahko zaključi, da četrti koren srednje vrednosti četrte potence narašča kot ${\frac {1}{2^{1/4}{\sqrt {\pi }}}}\log t\,$.

Lindelöfova domneva

Raziskali so višje sode potence, manj pa je znanega o ustrezni srednji vrednosti. Domneva se in sledi iz Riemannove domneve, da velja:

${\frac {1}{T}}\int _{0}^{T}Z(t)^{2k}\mathrm {d} t=o(T^{\epsilon })\!\,$

za vsak pozitiven ε. Tukaj zapis z malim »o« pomeni, da leva stran deljena z desno stranjo konvergira k nič, oziroma, da je majhni o negacija Ω. Ta domneva se imenuje Lindelöfove domneva in je šibkejša od Riemannove domneve. Običajno se poda v pomembni enakovredni obliki:

$Z(t)=o(t^{\epsilon })\!\,$

V obeh oblikah pravi, da stopnja rasti vrhov vrednosti ne more biti prevelika. Najboljša znana meja te stopnje ni močna, in pravi, da je primeren vsak $\epsilon >{\frac {89}{570}}$. Bilo bi neverjetno najti, da funkcija Z kje narašča tako hitro kot to. Littlewood je dokazal, da ob pravilnosti Riemannove domneve velja:

$Z(t)=o\left(\exp \left({\frac {10\log t}{\log \log t}}\right)\right)\!\,,$

kar se zdi veliko bolj verjetno.

Viri

• Edwards, Harold Mortimer (1974), Riemann's zeta function, Pure and Applied Mathematics, zv. 58, New York-London: Academic Press, ISBN 0-12-232750-0, Zbl 0315.10035
• Ivić, Aleksandar (2013), The theory of Hardy's Z-function, Cambridge Tracts in Mathematics, zv. 196, Cambridge: Cambridge University Press, ISBN 978-1-107-02883-8, Zbl pre06093527 {{citation}}: Preveri vrednost |zbl= (pomoč)
• Paris, R. B.; Kaminski, D. (2001), Asymptotics and Mellin-Barnes Integrals, Encyclopedia of Mathematics and Its Applications, zv. 85, Cambridge: Cambridge University Press, ISBN 0-521-79001-8, Zbl 0983.41019
• Ramachandra, K., »Lectures on the mean-value and Omega-theorems for the Riemann Zeta-function«, Tata Institute of Fundamental Research, Lectures on Mathematics and Physics. Mathematics., Berlin: Springer-Verlag, zv. 85, ISBN 3-540-58437-4, Zbl 0845.11003
• Titchmarsh, Edward Charles (1986) [1951], Heath-Brown, D. R. (ur.), The Theory of the Riemann Zeta-Function (2. popravljena izd.), Oxford University Press

Zunanje povezave

• Weisstein, Eric Wolfgang. »Riemann-Siegel Functions«. MathWorld.
• Wolfram Research – Riemann-Siegel function Z (vključuje risanje grafov funkcije in računanje) (angleško)