The analytic continuation and the order estimate of multiple Dirichlet series. (Q1424586)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The analytic continuation and the order estimate of multiple Dirichlet series. |
scientific article |
Statements
The analytic continuation and the order estimate of multiple Dirichlet series. (English)
0 references
16 March 2004
0 references
The present paper deals with multiple Dirichlet series. For \(1\leq k\leq r\), let \[ \varphi_k(s)=\sum_{n=1}^\infty{a_k(n)\over n^s} \] be a Dirichlet series with complex coefficients, being absolutely convergent for \(\sigma:=\text{ Re}\,s>\alpha_k>0\), having a meromorphic continuation to the whole complex plane except for at most a simple pole at \(s=\alpha_k\), and satisfying the order estimate \(\varphi_k(\sigma+it)=O(| t|^A)\) in any fixed strip \(\sigma_1\leq \sigma\leq \sigma_2\), where \(A\) is a non-negative constant, depending only on \(\sigma_1,\sigma_2\). The authors introduce the multiple Dirichlet series \[ \Phi_r((s_1,\ldots,s_r);(\varphi_1,\ldots,\varphi_r)) \] \[ =\sum_{m_1=1}^\infty\sum_{m_2=1}^\infty\ldots\sum_{m_r=1}^\infty{a_1(m_1)\over m_1^s}{a_2(m_2)\over (m_1+m_2)^{s_2}}\cdot\ldots\cdot{a_r(m_r)\over (m_1+\ldots+m_r)^{s_r}} \] associated with \(\varphi_1,\ldots,\varphi_r\), where \(s_k=\sigma_k+it_k\). It is proved that \(\Phi_r((s_1,\ldots,s_r);(\varphi_1,\ldots,\varphi_r))\) can be continued meromorphically and its possible singularities are located on subsets defined by one of the equations \[ s_j+\ldots +s_r=\alpha_j+\delta_{j+1}\alpha_{j+1}+\ldots +\delta_r\alpha_r-n, \] where \(1\leq j\leq r\), \(n\) is a non-negative integer, and \(\delta_k\) is equal to zero or one; if \(j=r\), then the equation above is to be read as \(s_r=\alpha_r-n\). The authors give some restrictions on the possible values for \(n\), depending on \(j\) and \(r\). It is also proved that \(\Phi_r((s_1,\ldots,s_r);(\varphi_1,\ldots,\varphi_r))\) is an entire function if all \(\varphi_k(s)\) are entire. Finally, the authors prove an order estimate for \(\Phi_2((s_1,s_2);(\varphi_1,\varphi_2))\) in the region \(\sigma_1+\sigma_2>\alpha_1+\eta,\alpha_2+\eta\) for any positive \(\eta\) (except for points near the set of singularities). The method of proof relies on the classical Mellin-Barnes formula and the techniques in in [Analytic and probabilistic methods in number theory. Proceedings of the third international conference in honour of J. Kubilius, Palanga, Lithuania, 2001. Vilnius: TEV, 188--194 (2002; Zbl 1195.11119)].
0 references
multiple Dirichlet series
0 references
0 references
0 references
0 references