Incomplete polylogarithm: Difference between revisions
en>Niceguyedc m WPCleaner (v1.09) Repaired link to disambiguation page - (You can help) - Bose–Einstein |
en>Nicolas M. Perrault No edit summary |
||
Line 1: | Line 1: | ||
The | In [[mathematics]], the '''Z-function''' is a [[function (mathematics)|function]] used for studying the | ||
[[Riemann zeta function|Riemann zeta-function]] along the [[critical line]] where the real part of the | |||
argument is one-half. | |||
It is also called the Riemann-Siegel Z-function, | |||
the Riemann-Siegel zeta-function, | |||
the Hardy function, | |||
the Hardy Z-function and | |||
the Hardy zeta-function. | |||
It can be defined in terms of the [[Riemann-Siegel theta function|Riemann-Siegel theta-function]] and the Riemann zeta-function by | |||
:<math>Z(t) = e^{i \theta(t)} \zeta\left(\frac{1}{2}+it\right).</math> | |||
It follows from the functional equation of the Riemann zeta-function that the Z-function is real for real values of ''t''. It is an even function, and [[real analytic function|real analytic]] for real values. It follows from the fact that the Riemann-Siegel theta-function and the Riemann zeta-function are both holomorphic in the critical strip, where the imaginary part of ''t'' is between -1/2 and 1/2, that the Z-function is holomorphic in the critical strip also. Moreover, the real zeros of Z(''t'') are precisely the zeros of the zeta-function along the critical line, and complex zeros in the Z-function critical strip correspond to zeros off the critical line of the Riemann zeta-function in its critical strip. | |||
{| style="text-align:center" | |||
|+ '''Riemann-Siegel theta function in the complex plane''' | |||
|[[Image:Riemann Siegel Z 1.jpg|1000x140px|none]] | |||
|[[Image:Riemann Siegel Z 2.jpg|1000x140px|none]] | |||
|- | |||
|<math> | |||
-5 < \Re(t) < 5 | |||
</math> | |||
|<math> | |||
-40 < \Re(t) < 40 | |||
</math> | |||
|} | |||
==The Riemann-Siegel formula== | |||
Calculation of the value of Z(t) for real t, and hence of the zeta-function along the critical line, is greatly expedited by the [[Riemann-Siegel formula]]. This formula tells us | |||
:<math>Z(t) = 2 \sum_{n^2 < t/2\pi} n^{-1/2}\cos(\theta(t)-t \log n) +R(t),</math> | |||
where the error term R(t) has a complex asymptotic expression in terms of the function | |||
:<math>\Psi(z) = \frac{\cos 2\pi(z^2-z-1/16)}{\cos 2\pi z}</math> | |||
and its derivatives. If <math>u=(\frac{t}{2\pi})^{1/4}</math>,<math>N=\lfloor u^2 \rfloor</math> and <math>p = u^2 - N</math> then | |||
:<math>R(t) \sim (-1)^{N-1} | |||
\left( \Psi(p)u^{-1} | |||
- \frac{1}{96 \pi^2}\Psi^{(3)}(p)u^{-3} | |||
+ \cdots\right)</math> | |||
where the ellipsis indicates we may continue on to higher and increasingly complex terms. | |||
Other efficient series for Z(t) are known, in particular several using the | |||
[[incomplete gamma function]]. If | |||
:<math>Q(a, z) = \frac{\Gamma(a,z)}{\Gamma(a)} = \frac{1}{\Gamma(a)} \int_z^\infty u^{a-1} e^{-u} du</math> | |||
then an especially nice example is | |||
:<math>Z(t) =2 \Re \left(e^{i \theta(t)} | |||
\left(\sum_{n=1}^\infty | |||
Q\left(\frac{s}{2},\pi i n^2 \right) | |||
- \frac{\pi^{s/2} e^{\pi i s/4}} | |||
{s \Gamma\left(\frac{s}{2}\right)} | |||
\right)\right)</math> | |||
==Behavior of the Z-function== | |||
From the [[critical line theorem]], it follows that the density of the real zeros of the Z-function is | |||
:<math>\frac{c}{2\pi} \log \frac{t}{2\pi}</math> | |||
for some constant ''c'' > 2/5. Hence, the number of zeros in an interval of a given size slowly increases. If the [[Riemann hypothesis]] is true, all of the zeros in the critical strip are real zeros, and the constant c is one. It is also postulated that all of these zeros are simple zeros. | |||
===An Omega theorem=== | |||
Because of the zeros of the Z-function, it exhibits oscillatory behavior. It also slowly grows both on average and in peak value. For instance, we have, even without the Riemann hypothesis, the ''Omega theorem'' that | |||
:<math>Z(t) = \Omega\left( | |||
\exp\left(\frac{3}{4}\sqrt{\frac{\log t}{\log \log t}}\right) | |||
\right),</math> | |||
where the notation means that <math>Z(t)</math> times the function within the Ω does not tend to zero with increasing ''t''. | |||
===Average growth=== | |||
The average growth of the Z-function has also been much studied. We can find the [[root mean square]] average from | |||
:<math>\frac{1}{T} \int_0^T Z(t)^2 dt \sim \log T</math> | |||
or | |||
:<math>\frac{1}{T} \int_T^{2T} Z(t)^2 dt \sim \log T</math> | |||
which tell us that the RMS size of Z(''t'') grows as <math>\sqrt{\log t}</math>. | |||
This estimate can be improved to | |||
:<math>\frac{1}{T} \int_0^T Z(t)^2 dt = \log T + (2\gamma - 2 \log(2 \pi) -1) + O(T^{-15/22})</math> | |||
If we increase the exponent, we get an average value which depends more on the peak values of Z. For fourth powers, we have | |||
:<math>\frac{1}{T} \int_0^T Z(t)^4 dt \sim \frac{1}{2\pi^2}(\log T)^4</math> | |||
from which we may conclude that the fourth root of the mean fourth power grows as <math>\frac{1}{2^{1/4} \sqrt{\pi}} \log t</math>. | |||
===The Lindelöf hypothesis=== | |||
{{main|Lindelöf hypothesis}} | |||
Higher even powers have been much studied, but less is known about the corresponding average value. It is conjectured, and follows from the Riemann hypothesis, that | |||
:<math>\frac{1}{T} \int_0^T Z(t)^{2k} dt = o(T^\epsilon)</math> | |||
for every positive ε. Here the little "o" notation means that the left hand side divided by the right hand side ''does'' converge to zero; in other words little o is the negation of Ω. This conjecture is called the [[Lindelöf]] hypothesis, and is weaker than the Riemann hypothesis. It is normally stated in an important equivalent form, which is | |||
:<math>Z(t) = o(t^\epsilon);</math> | |||
in either form it tells us the rate of growth of the peak values cannot be too high. The best known bound on this rate of growth is not strong, telling us that for any <math>\epsilon > \frac{89}{570}</math> we have that Z(t) is o(t<sup>ε</sup>). It would be astonishing to find that the Z-function grew anywhere close to as fast as this. Littlewood proved that on the Riemann hypothesis, | |||
:<math>Z(t) = o\left(\exp\left(\frac{10 \log t}{\log \log t}\right)\right),</math> | |||
and this seems far more likely. | |||
==References== | |||
* {{cite book | last=Edwards | first=H.M. | authorlink=Harold Edwards (mathematician) | title=Riemann's zeta function | series=Pure and Applied Mathematics | volume=58 | location=New York-London |publisher=Academic Press | year=1974 | isbn=0-12-232750-0 | zbl=0315.10035 }} | |||
* {{cite book | last=Ivić | first=Aleksandar | title=The theory of Hardy's ''Z''-function | series=Cambridge Tracts in Mathematics | volume=196 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2013 | isbn=978-1-107-02883-8 | zbl=pre06093527 }} | |||
* {{cite book | last1=Paris | first1=R. B. | last2=Kaminski | first2=D. | title=Asymptotics and Mellin-Barnes Integrals | publisher=[[Cambridge University Press]] | year=2001 | series=Encyclopedia of Mathematics and Its Applications | volume=85 | location=Cambridge | isbn=0-521-79001-8 | zbl=0983.41019 }} | |||
* {{cite book | last=Ramachandra | first=K. | title=Lectures on the mean-value and Omega-theorems for the Riemann Zeta-function | series=Lectures on Mathematics and Physics. Mathematics. Tata Institute of Fundamental Research | volume=85 | location=Berlin | publisher=[[Springer-Verlag]] | isbn=3-540-58437-4 | zbl=0845.11003 }} | |||
* {{cite book | authorlink=Edward Charles Titchmarsh | last=Titchmarsh | first=E. C. | title=The Theory of the Riemann Zeta-Function | edition=second revised | editor-first=D.R. | editor-last=Heath-Brown | editor-link=Roger Heath-Brown | publisher=[[Oxford University Press]] | year=1986 | origyear=1951 }} | |||
==External links== | |||
* {{MathWorld|title=Riemann-Siegel Functions|urlname=Riemann-SiegelFunctions}} | |||
* [http://functions.wolfram.com/ZetaFunctionsandPolylogarithms/RiemannSiegelZ/ Wolfram Research – Riemann-Siegel function Z] (includes function plotting and evaluation) | |||
[[Category:Zeta and L-functions]] |
Latest revision as of 21:38, 24 March 2013
In mathematics, the Z-function is a function used for studying the Riemann zeta-function along the critical line where the real part of the argument is one-half. It is also called the Riemann-Siegel Z-function, the Riemann-Siegel zeta-function, the Hardy function, the Hardy Z-function and the Hardy zeta-function. It can be defined in terms of the Riemann-Siegel theta-function and the Riemann zeta-function by
It follows from the functional equation of the Riemann zeta-function that the Z-function is real for real values of t. It is an even function, and real analytic for real values. It follows from the fact that the Riemann-Siegel theta-function and the Riemann zeta-function are both holomorphic in the critical strip, where the imaginary part of t is between -1/2 and 1/2, that the Z-function is holomorphic in the critical strip also. Moreover, the real zeros of Z(t) are precisely the zeros of the zeta-function along the critical line, and complex zeros in the Z-function critical strip correspond to zeros off the critical line of the Riemann zeta-function in its critical strip.
The Riemann-Siegel formula
Calculation of the value of Z(t) for real t, and hence of the zeta-function along the critical line, is greatly expedited by the Riemann-Siegel formula. This formula tells us
where the error term R(t) has a complex asymptotic expression in terms of the function
and its derivatives. If , and then
where the ellipsis indicates we may continue on to higher and increasingly complex terms.
Other efficient series for Z(t) are known, in particular several using the incomplete gamma function. If
then an especially nice example is
Behavior of the Z-function
From the critical line theorem, it follows that the density of the real zeros of the Z-function is
for some constant c > 2/5. Hence, the number of zeros in an interval of a given size slowly increases. If the Riemann hypothesis is true, all of the zeros in the critical strip are real zeros, and the constant c is one. It is also postulated that all of these zeros are simple zeros.
An Omega theorem
Because of the zeros of the Z-function, it exhibits oscillatory behavior. It also slowly grows both on average and in peak value. For instance, we have, even without the Riemann hypothesis, the Omega theorem that
where the notation means that times the function within the Ω does not tend to zero with increasing t.
Average growth
The average growth of the Z-function has also been much studied. We can find the root mean square average from
or
which tell us that the RMS size of Z(t) grows as . This estimate can be improved to
If we increase the exponent, we get an average value which depends more on the peak values of Z. For fourth powers, we have
from which we may conclude that the fourth root of the mean fourth power grows as .
The Lindelöf hypothesis
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. Higher even powers have been much studied, but less is known about the corresponding average value. It is conjectured, and follows from the Riemann hypothesis, that
for every positive ε. Here the little "o" notation means that the left hand side divided by the right hand side does converge to zero; in other words little o is the negation of Ω. This conjecture is called the Lindelöf hypothesis, and is weaker than the Riemann hypothesis. It is normally stated in an important equivalent form, which is
in either form it tells us the rate of growth of the peak values cannot be too high. The best known bound on this rate of growth is not strong, telling us that for any we have that Z(t) is o(tε). It would be astonishing to find that the Z-function grew anywhere close to as fast as this. Littlewood proved that on the Riemann hypothesis,
and this seems far more likely.
References
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
External links
I had like 17 domains hosted on single account, and never had any special troubles. If you are not happy with the service you will get your money back with in 45 days, that's guaranteed. But the Search Engine utility inside the Hostgator account furnished an instant score for my launched website. Fantastico is unable to install WordPress in a directory which already have any file i.e to install WordPress using Fantastico the destination directory must be empty and it should not have any previous installation files. When you share great information, others will take note. Once your hosting is purchased, you will need to setup your domain name to point to your hosting. Money Back: All accounts of Hostgator come with a 45 day money back guarantee. If you have any queries relating to where by and how to use Hostgator Discount Coupon, you can make contact with us at our site. If you are starting up a website or don't have too much website traffic coming your way, a shared plan is more than enough. Condition you want to take advantage of the worldwide web you prerequisite a HostGator web page, -1 of the most trusted and unfailing web suppliers on the world wide web today. Since, single server is shared by 700 to 800 websites, you cannot expect much speed.
Hostgator tutorials on how to install Wordpress need not be complicated, especially when you will be dealing with a web hosting service that is friendly for novice webmasters and a blogging platform that is as intuitive as riding a bike. After that you can get Hostgator to host your domain and use the wordpress to do the blogging. Once you start site flipping, trust me you will not be able to stop. I cut my webmaster teeth on Control Panel many years ago, but since had left for other hosting companies with more commercial (cough, cough) interfaces. If you don't like it, you can chalk it up to experience and go on. First, find a good starter template design. When I signed up, I did a search for current "HostGator codes" on the web, which enabled me to receive a one-word entry for a discount. Your posts, comments, and pictures will all be imported into your new WordPress blog.- Wolfram Research – Riemann-Siegel function Z (includes function plotting and evaluation)