Universality of Hecke \(L\)-functions in the Grossencharacter-aspect. (Q1848134)

Let \(K=\mathbb{Q}(i)\). For an ideal \(\mathfrak a=(\alpha)\in K\), the \(m\)th Grössencharacter is given by \(\lambda^m(\mathfrak a):=(\alpha/| \alpha| )^{4m}\) for \(m\in\mathbb Z.\) For \(\Re s>1\), the Hecke \(L\)-function is defined by \[ L(s,\lambda^m)= \sum_{\mathfrak {a}} {\lambda^m (\mathfrak a)\over N(\mathfrak a)^s}. \] Let \(C\) be a compact subset in the strip \(1/2 <\Re s <1\). Let \(f(s)\) be any continuous function on \(C\) such that \(f(s)\neq0\) on \(C\) and \(f(s)\) is holomorphic in the interior of \(C\). Then the authors prove that for every \(\varepsilon >0\), \[ \liminf_{T\to \infty}{1\over T^2} \mu\biggl(\bigl\{(t, m)\in[0,T] \times\{0,\dots, [T]\}\,| \, \max_{s\in C}| L(s+it, \lambda^m)-f(s)| < \varepsilon\bigr\}\biggr)>0, \] where \(\mu\) is the product measure on \(\mathbb{R}\times\mathbb{Z}\). Universality theorems for Hecke \(L\)-functions in \(t\)-aspect was proved by \textit{H. Mishou} [Acta Arith. 98, No. 4, 395--410 (2001; Zbl 0982.11050), ibid. 110, No. 1, 45--71 (2003; Zbl 1031.11052)]. The \(\chi\)-universality of the Dirichlet L-function was investigated by \textit{S. M. Gonek} [Ph. D. Thesis, University of Michigan (1979)], by \textit{B. Bagchi} [Ph. D. Thesis, Indian Statistical Institute, Calcutta (1981)], and by \textit{K. M. Èminyan} [Math. Notes 47, No. 6, 618--622 (1990); translation from Mat. Zametki 47, No. 6, 132--137 (1990; Zbl 0713.11058)].