Explicit formulae for L-functions: Difference between revisions

Revision as of 21:03, 26 May 2020

Latest revision as of 10:52, 11 July 2025

(44 intermediate revisions by 22 users not shown)

Line 1:

{{Short description|Mathematical concept}}

In [[mathematics]], the '''[[Closed-form expression|explicit formulae]] for [[L-function]]s''' are relations between sums over the [[complex number]] zeroes of an [[L-function]] and sums over [[Prime number|prime powers]], introduced by {{harvtxt|Riemann|1859}} for the [[Riemann zeta function]]. Such explicit formulae have been applied also to questions on bounding the [[discriminant of an algebraic number field]], and the [[conductor of a number field]].

==Riemann's explicit formula==

In his 1859 paper "[[On the Number of Primes Less Than a Given Magnitude]]" Riemann sketched an explicit formula (it was not fully proven until 1895 by [[Hans Carl Friedrich von Mangoldt|von Mangoldt]], see below) for the normalized prime-counting function {{math|&pi}};₀(''x'')}} which is related to the [[prime-counting function]] {{math|&pi}};(''x'')}} by{{cn|date=February 2024}}

:<math>\pi_0(x) = \frac{1}{2} \lim_{h\to 0} (\left[\,\pi(x+h) + \pi(x-h))\,\right]\,,</math>

which takes the [[arithmetic mean]] of the limit from the left and the limit from the right at discontinuities.{{efn|The original prime counting function can easily be recovered via <math>~\pi(x) = \pi_0(x+1)~</math> for all <math>~x \ge 3~.</math>}} His formula was given in terms of the related function

:<math>f(x) = \pi_0(x) + \frac{1}{2}\,\pi_0(x^{1/2}) + \frac{1}{3}\,\pi_0(x^{1/3}) + \cdots</math>

in which a prime power {{math|''p''^''n''}} counts as {{frac|1/''|{{mvar|n''}}}} of a prime. The normalized [[prime-counting function]] can be recovered from this function by

:<ref>{{Cite journal |last=Li |first=Xian-Jin |date=April 2004 |title=Explicit formulas for Dirichlet and Hecke $L$-functions |journal=Illinois Journal of Mathematics |volume=48 |issue=2 |pages=491–503 |doi=10.1215/ijm/1258138394 |issn=0019-2082|doi-access=free }}</ref><math>\pi_0(x) = \sum_n\frac{1}{n}\,\mu(n)\,f(x^{1/n}) = f(x) - \frac{1}{2}\,f(x^{1/2}) - \frac{1}{3}\,f(x^{1/3}) - \frac{1}{5}\,f(x^{1/5}) + \frac{1}{6}\,f(x^{1/6}) - \cdots,</math>

where {{math|''μ&mu;''(''n'')}} is the [[Möbius function]]. Riemann's formula is then

:<math>f(x) = \operatorname{li}(x) - \sum_\rho \operatorname{li}(x^\rho) - \log(2) + \int_x^\infty \frac{dt}{~t\,(t^2-1)~\log(t)~}</math>

involving a sum over the non-trivial zeros {{mvar|ρ}} of the Riemann zeta function. The sum is not [[Absolute convergence|absolutely convergent]], but may be evaluated by taking the zeros in order of the absolute value of their imaginary part. The function {{math|li}} occurring in the first term is the (unoffset) [[logarithmic integral function]] given by the [[Cauchy principal value]] of the divergent integral

:<math>\operatorname{li}(x) = \int_0^x \frac{dt}{\,\log(t)\,}\,.</math>

The terms {{math|li(''x''^''ρ'')}} involving the zeros of the zeta function need some care in their definition as {{math|li}} has [[branch point]]s at 0 and 1, and are defined by [[analytic continuation]] in the complex variable {{mvar|ρ}} in the region {{math|''x''&nbsp; >&nbsp; 1}} and {{math|Re(''ρ'')&nbsp; >&nbsp; 0}}. The other terms also correspond to zeros: theThe dominant term {{math|li(''x'')}} comes from the pole at {{math|''s''&nbsp; {{=&nbsp;}} 1}}, considered as a zero of multiplicity &minus;1, and the remaining small terms come from the trivial zeros. This formula says that the zeros of the Riemann zeta function control the oscillations of primes around their "expected" positions. (For graphs of the sums of the first few terms of this series see {{harvnb|Zagier|1977}}.)

The first rigorous proof of the aforementioned formula was given by von Mangoldt in 1895: it started with a proof of the following formula for the [[Chebyshev's function]] {{mvar|ψ }}&nbsp;<ref>Weisstein, Eric W. [http://mathworld.wolfram.com/ExplicitFormula.html Explicit Formula] on MathWorld.</ref>

:<math>\psi_0(x) = \dfrac{1}{2\pi i} \int_{\sigma-i \infty}^{\sigma+i \infty}\left(-\dfrac{\zeta'(s)}{\zeta(s)}\right)\dfrac{x^s}{s}\, ds = x - \sum_\rho\frac{~x^\rho\,}{\rho} - \log(2\pi) -\dfrac{1}{2}\log(1-x^{-2})</math>

where the LHS is an inverse [[Mellin transform]] with
:<math>\sigma > 1</math>\,, <math>\quad \psi(x) = \sum_{p^k \le x} \log p</math>\,, and

<math>\quad \text{and} \quad \psi_0(x) = \frac{1}{2} \lim_{h\to 0} (\psi(x+h) + \psi(x-h))</math>
and the RHS is obtained from the [[residue theorem]], and then converting it into the formula that Riemann himself actually sketched.

This series is also conditionally convergent and the sum over zeroes should again be taken in increasing order of imaginary part :<ref name=Ing77>Ingham (1990) p.77</ref>
:<math>\sum_\rho\frac{x^\rho}{\rho} = \lim_{T \rightarrowto \infty} S(x,T) \ </math> {{pad|2em}} where {{pad|2em}} <math> S(x,T) = \sum_{\rho:\left|\Im \rho\right| \le T} \frac{x^\rho}{\rho}\,.</math>.

The error involved in truncating the sum to {{math|''S''(''x'',''T'')}} is always smaller than {{math|ln(''x'')}} in absolute value, and when divided by the [[natural logarithm]] of ''{{mvar|x''}}, has absolute value smaller than {{math|{{frac|''x''/|''T''}}}} divided by the distance from ''{{mvar|x''}} to the nearest prime power.<ref>[https://math.stackexchange.com/q/497949 Confused about the explicit formula for ψ0(x)]</ref>

==Weil's explicit formula ==

There are several slightly different ways to state the explicit formula.<ref>{{Cite web |title=the Riemann-Weil explicit formula |url=https://empslocal.ex.ac.uk/people/staff/mrwatkin/zeta/weilexplicitformula.htm |access-date=2023-06-14 |website=empslocal.ex.ac.uk}}</ref> [[André Weil]]'s form of the explicit formula states

:<math>

\begin{align}

& \Phi(1)+\Phi(0)-\sum_\rho\Phi(\rho) \\

& = {} & \sum_{p,m} \frac{\log(p)}{p^{m/2}} \Big ( F(\log(p^m)) + F(-\log(p^m)) \Big ) - \frac{1}{2\pi} \int_{-\infty}^\infty \varphi(t)\Psi(t)\,dt

\end{align}

</math>

Line 37 ⟶ 43:

*''m'' runs over positive integers

*''F'' is a smooth function all of whose derivatives are rapidly decreasing

*<math>\varphi</math> is a Fourier transform of ''F'': <math display="block">\varphi(t) = \int_{-\infty}^\infty F(x)e^{itx}\,dx</math>

:: <math>\varphi(t) = \int_{-\infty}^\infty F(x)e^{itx}\,dx</math>

*<math>\Phi(1/2 + it) = \varphi(t)</math>

*<math>\Psi(t) = - \log( \pi ) + \operatorname{Re}(\psi(1/4 + it/2))</math>, where <math>\psi</math> is the [[digamma function]] {{math|Γ<big>''&prime;''</big>/Γ}}.

Roughly speaking, the explicit formula says the Fourier transform of the zeros of the zeta function is the set of prime powers plus some elementary factors. Once this is said, the formula comes from the fact that the Fourier transform is ana [[unitary operator]], so that a scalar product in time ___domain is equal to the scalar product of the Fourier transforms in the frequency ___domain.

The terms in the formula arise in the following way.

:*The terms on the right hand side come from the [[logarithmic derivative]] of <math display="block">\zeta^*(s)= \Gamma(s/2)\pi^{-s/2}\prod_p \frac{1}{1-p^{-s}}</math> with the terms corresponding to the prime ''p'' coming from the Euler factor of ''p'', and the term at the end involving &Psi; coming from the gamma factor (the [[Euler product|Euler factor]] at infinity).

*The terms on the right hand side come from the logarithmic derivative of

:: <math>\zeta^*(s)= \Gamma(s/2)\pi^{-s/2}\prod_p \frac{1}{1-p^{-s}}</math>

:with the terms corresponding to the prime ''p'' coming from the Euler factor of ''p'', and the term at the end involving &Psi; coming from the gamma factor (the Euler factor at infinity).

*The left-hand side is a sum over all zeros of ''ζ''^&nbsp;* counted with multiplicities, so the poles at 0 and 1 are counted as zeros of order &minus;1.

Weil's explicit formula can be understood like this. The target is to be able to write that :

: <math>\frac{d}{du} \left[ \sum_{n \le e^{|u|}} \Lambda(n) + \frac{1}{2} \ln(1-e^{-2|u|})\right] = \sum_{n=1}^\infty \Lambda(n) \left[ \delta(u+\ln n) + \delta(u-\ln n) \right] + \frac{1}{2}\frac{d\ln(1-e^{-2|u|})}{du} = e^u - \sum_\rho e^{\rho u} ,</math>

where {{math|Λ}} is the [[von Mangoldt function]].

So that the Fourier transform of the non trivial zeros is equal to the primes power symmetrized plus a minor term. Of course, the sum involved are not convergent, but the trick is to use the unitary property of Fourier transform which is that it preserves scalar product :

So that the [[Fourier transform]] of the non trivial zeros is equal to the primes power symmetrized plus a minor term. Of course, the sum involved are not convergent, but the trick is to use the unitary property of Fourier transform which is that it preserves scalar product :

: <math>\int_{-\infty}^\infty f(u) g^*(u) \, du = \int_{-\infty}^\infty F(t) G^*(t) \, dt</math>

where <math>F,G</math> are the Fourier transforms of <math>f,g</math>.

At a first look, it seems to be a formula for functions only, but in fact in many cases it also works when <math>g</math> is a distribution. Hence, by setting <math display="block">g(u) = \sum_{n=1}^\infty \Lambda(n) \left[ \delta(u+\ln n) + \delta(u-\ln n) \right] , </math> (where <math>\delta(u)</math> is the [[Dirac delta function|Dirac delta]]), and carefully choosing a function <math>f</math> and its Fourier transform, we get the formula above.

==Explicit formulae for other arithmetical functions==

{{unreferenced section|date=September 2020}}

The Riemann-WeylWeil formula<ref>{{Cite web |title=the Riemann-Weil explicit formula |url=https://empslocal.ex.ac.uk/people/staff/mrwatkin/zeta/weilexplicitformula.htm |access-date=2023-06-14 |website=empslocal.ex.ac.uk}}</ref> can be generalized to other arithmetical functions andother not only forthan the Von-[[von Mangoldt function,]]. forFor example for the Möbius function we have

: <math> \sum_{n=1}^{\infty} \frac{\mu(n)}{\sqrt{n}}g(\log n)=\sum_{\rho}\frac{h( \gamma)}{\zeta '( \rho )} + \sum_{n=1}^{\infty} \frac{1}{\zeta ' (-2n)} \int_{-\infty}^{\infty}dxg(x)e^{-(2n+1/2)x} .</math>

Also for the Liouville function we have

: <math> \sum_{n=1}^\infty \frac{\lambda(n)}{\sqrt{n}}g(\log n) = \sum_{\rho}\frac{h( \gamma)\zeta(2 \rho )}{\zeta'( \rho)} + \frac{1}{2\zeta (1/2)}\int_{-\infty}^\infty dx \, g(x) .</math>

For the Euler-Phi function the explicit formula reads

: <math> \sum_{n=1}^{\infty} \frac{\varphi (n)}{\sqrt{n}}g(\log n)= = \frac{6}{\pi ^2} \int_{-\infty}^\infty dx \, g(x) e^{3x/2} + \sum_\rho \frac{h( \gamma)\zeta(\rho -1 )}{\zeta '( \rho)} + \frac{1}{2}\sum_{n=1}^\infty \frac{\zeta (-2n-1)}{\zeta'(-2n)} \int_{-\infty}^\infty dx \, g(x)e^{-x(2n+1/2)} .</math>

Assuming Riemann zeta function has only simple zeros.

inIn all cases the sum is related to the imaginary part of the Riemann zeros <math display="inline"> \rho = \frac{1}{2}+i \gamma </math> and the test function ''fh'' andis related to the test function ''g'' are related by a Fourier transform, <math display="inline"> g(u) = \frac{1}{2\pi} \int_{-\infty}^\infty h(x) \exp(-iux) </math>.

forFor the divisor function of zeroth order <math> \sum_{n=1}^\infty \sigma_0 (n) f(n) = \sum_ {m=-\infty}^\infty \sum_{n=1}^\infty f(mn) </math>.{{clarify|reason=The relation of this to the preceding material needs to be explained.|date=September 2020}}

Using a test function of the form <math>g(x) = f(ye^{x}) e^{ax} </math> for some positive ''a'' turns the Poisson summation formula into a formula involving the Mellin transform. Here ''y'' is a real parameter.

==Generalizations==

Line 94 ⟶ 103:

:<math> \sum_\rho F(\rho) = \operatorname{Tr}(F(\widehat T )).\!</math>

Development of the explicit formulae for a wide class of L-functions was given by {{harvtxt|Weil|1952}}, who first extended the idea to [[local zeta-function]]s, and formulated a version of a [[generalized Riemann hypothesis]] in this setting, as a positivity statement for a [[generalized function]] on a [[topological group]]. More recent work by [[Alain Connes]] has gone much further into the functional-analytic background, providing a trace formula the validity of which is equivalent to such a generalized Riemann hypothesis. A slightly different point of view was given by {{harvtxt|Meyer|2005}}, who derived the explicit formula of Weil via [[harmonic analysis]] on [[Adele ring|adelic]] spaces.

==See also==

*[[Selberg trace formula]]

*[[Selberg zeta function]]

==Footnotes==

{{notelist|1}}

==References==

{{reflist|25em}}

*{{Citation | authorlinkauthor-link=Albert Ingham | last1=Ingham | first1=A.E. | title=The Distribution of Prime Numbers | publisher=[[Cambridge University Press]] | isbn=978-0-521-39789-6 | mr=1074573 | year=1990 | zbl=0715.11045 | edition=2nd | origyearorig-date=1932 | series=Cambridge Tracts in Mathematics and Mathematical Physics | volume=30 | others=reissued with a foreword by [[Robert Charles Vaughan (mathematician)|R. C. Vaughan]] }}

*{{citation | last=Lang | first=Serge | authorlinkauthor-link=Serge Lang | title=Algebraic number theory | edition=2nd | series=Graduate Texts in Mathematics | volume=110 | ___location=New York, NY | publisher=[[Springer-Verlag]] | year=1994 | isbn=0-387-94225-4 | zbl=0811.11001 }}

*{{Citation | last1=Riemann | first1=Bernhard | title=Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse | url=http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/ | year=1859 | journal=Monatsberichte der Berliner Akademie}}

*{{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Sur les "formules explicites" de la théorie des nombres premiers | trans-title=On "explicit formulas" in the theory of prime numbers | mr=0053152 | year=1952 | journal=Comm. Sém. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.] | volume=Tome Supplémentaire | pages=252–265 | zbl=0049.03205 | language=fr }}

*{{Citation | last1 = von Mangoldt | first1 = Hans | title=Zu Riemanns Abhandlung "Über die Anzahl der Primzahlen unter einer gegebenen Grösse" | journal = [[Journal für die reine und angewandte Mathematik]] | volume=114 | year=1895 | pages=255–305 | jfm=26.0215.03 | language=de | issn=0075-4102 | mr=1580379 | trans-title=On Riemann's paper "The number of prime numbers less than a given magnitude" }}

*{{Citation | last1 = Meyer | first1 = Ralf | title=On a representation of the idele class group related to primes and zeros of ''L''-functions | journal = [[Duke Math. J.]] | volume=127 | number=3 | year=2005 | pages=519–595 | zbl=1079.11044 | issn=0012-7094 | doi=10.1215/s0012-7094-04-12734-4 | mr=2132868 | ref=harv| arxiv=math/0311468 | s2cid = 119176169 }}

*{{citation | last = Zagier | first = Don | authorlink author-link= Don Zagier | doi = 10.1007/bf03351556 | issue = S2 | journal = [[The Mathematical Intelligencer]] | pages = 7–19 | title = The first 50 million prime numbers | volume = 1 | year = 1977| s2cid = 37866599 }}

* https://www.gsjournal.net/Science-Journals/Research%20Papers/View/9990 Moreta, Jose Javier Garcia:"On the evaluation of certain arithmetical functions of number theory and their sums and a generalization of riemann-weil formula"

* Garcia J.J Mellin Convolution and its Extensions, Perron Formula and Explicit Formulae doi=10.20944/preprints201801.0020.v1

==Further reading==

* {{citation | last=Edwards | first=H.M. | authorlinkauthor-link=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 }}

* {{citation | last=Riesel | first=Hans | authorlinkauthor-link=Hans Riesel | title=Prime numbers and computer methods for factorization | edition=2nd | series=Progress in Mathematics | volume=126 | ___location=Boston, MA | publisher=Birkhäuser | year=1994 | isbn=0-8176-3743-5 | zbl=0821.11001 }}

[[Category:Zeta and L-functions]]