Formula:DLMF:25.10:E3

From DRMF
Jump to navigation Jump to search


Z ( t ) = 2 n = 1 m cos ( ϑ ( t ) - t ln n ) n 1 / 2 + R ( t ) 𝑍 𝑡 2 superscript subscript 𝑛 1 𝑚 italic-ϑ 𝑡 𝑡 𝑛 superscript 𝑛 1 2 𝑅 𝑡 {\displaystyle{\displaystyle{\displaystyle Z(t)=2\sum_{n=1}^{m}\frac{\cos\left% (\vartheta(t)-t\ln n\right)}{n^{1/2}}+R(t)}}}

Name

Riemann-Siegel formula


Note(s)

R ( t ) = \BigO @ t - 1 / 4 𝑅 𝑡 \BigO @ superscript 𝑡 1 4 {\displaystyle{\displaystyle{\displaystyle R(t)=\BigO@{t^{-1/4}}}}} as t 𝑡 {\displaystyle{\displaystyle{\displaystyle t\to\infty}}} & R ( t ) = ( - 1 ) m - 1 ( 2 π t ) 1 / 4 cos ( t - ( 2 m + 1 ) 2 π t - 1 8 π ) cos ( 2 π t ) + \BigO @ t - 3 / 4 𝑅 𝑡 superscript 1 𝑚 1 superscript 2 𝜋 𝑡 1 4 𝑡 2 𝑚 1 2 𝜋 𝑡 1 8 𝜋 2 𝑡 \BigO @ superscript 𝑡 3 4 {\displaystyle{\displaystyle{\displaystyle{\displaystyle R(t)=(-1)^{m-1}\left(% \frac{2\pi}{t}\right)^{1/4}\frac{\cos\left(t-(2m+1)\sqrt{2\pi t}-\frac{1}{8}% \pi\right)}{\cos\left(\sqrt{2\pi t}\right)}+\BigO@{t^{-3/4}}}}}}


Proof

We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.

Symbols List

& : logical and
Σ Σ {\displaystyle{\displaystyle{\displaystyle\Sigma}}}  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
cos cos {\displaystyle{\displaystyle{\displaystyle\mathrm{cos}}}}  : cosine function : http://dlmf.nist.gov/4.14#E2
ln ln {\displaystyle{\displaystyle{\displaystyle\mathrm{ln}}}}  : principal branch of logarithm function : http://dlmf.nist.gov/4.2#E2
O 𝑂 {\displaystyle{\displaystyle{\displaystyle O}}}  : order not exceeding : http://dlmf.nist.gov/2.1#E3
( - 1 ) 1 {\displaystyle{\displaystyle{\displaystyle(-1)}}}  : negative unity to an integer power : http://dlmf.nist.gov/5.7.E7
π 𝜋 {\displaystyle{\displaystyle{\displaystyle\pi}}}  : ratio of a circle's circumference to its diameter : http://dlmf.nist.gov/5.19.E4

Bibliography

Equation (3), Section 25.10 of DLMF.

URL links

We ask users to provide relevant URL links in this space.