On the Selberg class of Dirichlet series: Small degrees (Q1320639): Difference between revisions

Atle Selberg introduced a class of Dirichlet series \(F(s)= \sum_{n=1}^ \infty a_ n n^{-s}\) satisfying the following conditions: (1) \((s-1)^ m F(s)\) is an entire function of finite order for some nonnegative integer \(m\), (2) \(a_ n\ll n^ \varepsilon\), (3) a functional equation of the Riemann type holds involving a ``gamma factor'' of the type \(\prod_{i=1}^ k \Gamma(w_ i s+\mu_ i)\) with \(w_ i>0\) and \(\text{Re } \mu_ i\geq 0\), (4) \(F(s)\) has an Euler product. It is reasonable to conjecture that Riemann's hypothesis holds for this class of functions. In addition, Selberg made some other conjectures whose consequences are discussed in the present paper. However, the main topic is the quantity \(d_ F= 2\sum_{i=1}^ k w_ i\) called the degree of \(F\). For instance, \(d_ \zeta=1\) for Riemann's zeta-function. It is shown that the degree 1 is actually minimal if the constant function \(F=1\) is excluded. It follows that any function in the Selberg class can be factored into a product of ``primitive'' functions; these are functions which cannot be written as a product of nontrivial functions of the same class. Also, \(F\) is primitive if \(d_ F<2\). The last two sections of the paper are devoted to the important case \(w_ i=1/2\) when the degree is 1 or 2; in all known cases, the gamma factor can be written so that indeed \(w_ i=1/2\).