HOME

TheInfoList



OR:

In mathematics, the Riemann Xi function is a variant of the Riemann zeta function, and is defined so as to have a particularly simple
functional equation In mathematics, a functional equation is, in the broadest meaning, an equation in which one or several functions appear as unknowns. So, differential equations and integral equations are functional equations. However, a more restricted mea ...
. The function is named in honour of Bernhard Riemann.


Definition

Riemann's original lower-case "xi"-function, \xi was renamed with an upper-case ~\Xi~ ( Greek letter "Xi") by
Edmund Landau Edmund Georg Hermann Landau (14 February 1877 – 19 February 1938) was a German mathematician who worked in the fields of number theory and complex analysis. Biography Edmund Landau was born to a Jewish family in Berlin. His father was Leopo ...
. Landau's lower-case ~\xi~ ("xi") is defined as :\xi(s) = \frac s(s-1) \pi^ \Gamma\left(\frac\right) \zeta(s) for s \in \mathbb. Here \zeta(s) denotes the Riemann zeta function and \Gamma(s) is the
Gamma function In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except th ...
. The functional equation (or
reflection formula In mathematics, a reflection formula or reflection relation for a function ''f'' is a relationship between ''f''(''a'' − ''x'') and ''f''(''x''). It is a special case of a functional equation, and it is very common in the literatur ...
) for Landau's ~\xi~ is :\xi(1-s) = \xi(s)~. Riemann's original function, rebaptised upper-case ~\Xi~ by Landau, satisfies :\Xi(z) = \xi \left(\tfrac + z i \right), and obeys the functional equation :\Xi(-z) = \Xi(z)~. Both functions are entire and purely real for real arguments.


Values

The general form for positive even integers is :\xi(2n) = (-1)^\fracB_2^\pi^(2n-1) where ''Bn'' denotes the ''n''-th
Bernoulli number In mathematics, the Bernoulli numbers are a sequence of rational numbers which occur frequently in analysis. The Bernoulli numbers appear in (and can be defined by) the Taylor series expansions of the tangent and hyperbolic tangent functions ...
. For example: :\xi(2) =


Series representations

The \xi function has the series expansion :\frac \ln \xi \left(\frac\right) = \sum_^\infty \lambda_ z^n, where :\lambda_n = \frac \left. \frac \left ^ \log \xi(s) \right\_ = \sum_ \left - \left(1-\frac\right)^n\right where the sum extends over ρ, the non-trivial zeros of the zeta function, in order of , \Im(\rho), . This expansion plays a particularly important role in
Li's criterion In number theory, Li's criterion is a particular statement about the positivity of a certain sequence that is equivalent to the Riemann hypothesis. The criterion is named after Xian-Jin Li, who presented it in 1997. In 1999, Enrico Bombieri and Je ...
, which states that the
Riemann hypothesis In mathematics, the Riemann hypothesis is the conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part . Many consider it to be the most important unsolved problem in pu ...
is equivalent to having λ''n'' > 0 for all positive ''n''.


Hadamard product

A simple
infinite product In mathematics, for a sequence of complex numbers ''a''1, ''a''2, ''a''3, ... the infinite product : \prod_^ a_n = a_1 a_2 a_3 \cdots is defined to be the limit of the partial products ''a''1''a''2...''a'n'' as ''n'' increases without bound. ...
expansion is :\xi(s) = \frac12 \prod_\rho \left(1 - \frac \right),\! where ρ ranges over the roots of ξ. To ensure convergence in the expansion, the product should be taken over "matching pairs" of zeroes, i.e., the factors for a pair of zeroes of the form ρ and 1−ρ should be grouped together.


References

* * {{Bernhard Riemann Zeta and L-functions Bernhard Riemann