Z-funktionen

Från testwiki
Hoppa till navigering Hoppa till sök

Inom matematiken är Z-funktionen en speciell funktion som används då man studerar Riemanns zetafunktion vid den kritiska linjen där den reella delen av argumentet är en halv. Den är även känd som Riemann-Siegels Z-funktion, Riemann-Siegels zetafunktion, Hardys funktion, Hardys Z-funktion och Hardys zetafunktion. Den kan definieras med hjälp av Riemann–Siegels thetafunktion och Riemanns zetafunktion som

Z(t)=eiθ(t)ζ(12+it).
Z-funktionen i komplexa planet
5<(t)<5 40<(t)<40

Riemann-Siegels formel

Beräkning av Z(t) för reella t, och härmed av zetafunktionen vid den kritiska linjen, förenklas mycket av Riemann–Siegels formel. Formeln lyder

Z(t)=2n2<t/2πn1/2cos(θ(t)tlogn)+R(t)

där feltermen R(t) har en komplex asymptotiska expansion med hjälp av funktionen

Ψ(z)=cos2π(z2z1/16)cos2πz

och dess derivator. Om u=(t2π)1/4,N=u2 och p=u2N är

R(t)(1)N1(Ψ(p)u1196π2Ψ(3)(p)u3+)

där punkterna betyder att vi kan fortsätta att ta högre och mer komplexa termer.

Andra effektiva serier för Z(t) är kända, speciellt sådana som innehåller ofullständiga gammafunktionen. Om

Q(a,z)=Γ(a,z)Γ(a)=1Γ(a)zua1eudu

är

Z(t)=2(eiθ(t)(n=1Q(s2,πin2)πs/2eπis/4sΓ(s2))).

Källor