Abstract
We prove that, for arbitrary Dirichlet L-functions \(L(s;\chi _1),\ldots ,L(s;\chi _n)\) (including the case when \(\chi _j\) is equivalent to \(\chi _k\) for \(j\ne k\)), suitable shifts of type \(L(s+i\alpha _jt^{a_j}\log ^{b_j}t;\chi _j)\) can simultaneously approximate any given set of analytic functions on a simply connected compact subset of the right open half of the critical strip, provided the pairs \((a_j,b_j)\) are distinct and satisfy certain conditions. Moreover, we consider a discrete analogue of this problem where t runs over the set of positive integers.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 1975, Voronin [19] discovered a universality property for the Riemann zeta function \(\zeta (s)\), namely he proved that for every compact set \(K\subset \mathrm{\{s\in \mathbb {C}{:}\;1/2<\mathrm{Re}(s)<1\}}\) with connected complement, any non-vanishing continuous function f(s) on K, analytic in the interior of K, and every \(\varepsilon >0\), we have
where \(\mathrm{meas}\{\cdot \}\) denotes the real Lebesgue measure. Moreover, in 1977, Voronin [20] proved the so-called joint universality which, roughly speaking, states that any collection of Dirichlet L-functions associated with non-equivalent characters can simultaneously and uniformly approximate non-vanishing analytic functions in the above sense. In other words, in order to approximate a collection of non-vanishing continuous functions on some compact subset of \(\mathrm{\{s\in \mathbb {C}{:}\;1/2<\mathrm{Re}(s)<1\}}\) with connected complement, which are analytic in the interior, it is sufficient to take twists of the Riemann zeta function with non-equivalent Dirichlet characters. The requirement that characters are pairwise non-equivalent is necessary, since it is well known that Dirichlet L-functions associated with equivalent characters differ from each other by a finite product and, in consequence, one cannot expect joint universality for them. This idea was extended by Šleževičienė [17] to certain L-functions associated with multiplicative functions, by Laurinčikas and Matsumoto [9] to L-functions associated with newforms twisted by non-equivalent characters, and by Steuding in [18, Sect. 12.3] to a wide class of L-functions with Euler product, which can be compared to the well-known Selberg class. Thus, one possible way to approximate a collection of analytic functions by a given L-function is to consider its twists with sufficiently many non-equivalent characters.
Another possibility to obtain a joint universality theorem by considering only one L-function was observed by Kaczorowski et al. [5]. They introduced the Shifts Universality Principle, which says that for every universal L-function L(s), in the Voronin sense, and any distinct real numbers \( \lambda _1,\ldots ,\lambda _n\), the functions \(L(s+i\lambda _1),\ldots ,L(s+i\lambda _n)\) are jointly universal for any compact set \(K\subset \mathrm{\{s\in \mathbb {C}{:}\;1/2<\mathrm{Re}(s)<1\}}\) satisfying \(K_k\cap K_j=\emptyset \) for \(1\le k\ne j\le n\), where \(K_j=\{s+\lambda _j:s\in K\}\).
Next, one can go further and ask if there exists any other transformation of the Riemann zeta function, or a given L-function in general, to approximate arbitrary given collection of analytic functions. For example, we might consider an L-function, a compact set \(K\subset \mathrm{\{s\in \mathbb {C}{:}\;1/2<\mathrm{Re}(s)<1\}}\) with connected complement, and non-vanishing continuous functions \(f_1,\ldots ,f_n\) on K, analytic in the interior of K, and ask for functions \(\gamma _1,\ldots ,\gamma _n:\mathbb {R}\rightarrow \mathbb {R}\) satisfying
Obviously, the Shifts Universality Principle gives a partial (under some restriction on K) answer for the simplest case when \(\gamma _j(\tau ) = \tau + \lambda _j\). The consideration for other linear functions \(\gamma _j(\tau )=a_j\tau +b_j\) might be restricted, without loss of generality, to the case when \(\gamma _j(\tau )=a_j\tau \), which was firstly investigated by Nakamura [11, 12]. He proved that (2) holds, provided \(\gamma _j(\tau )=a_j\tau \) with algebraic real numbers \(a_1,\ldots ,a_n\) linearly independent over \(\mathbb {Q}\). Although Nakamura’s result is the best known result concerning all positive integers n, the case \(n=2\) is already much better understood, and from the work of the author and Nakamura (see [11, 13,14,15]), we know that (2) holds if \(\gamma _1(\tau )=a_1\tau \), \(\gamma _2(\tau )=a_2\tau \) with non-zero real \(a_1,a_2\) satisfying \(a_1\ne \pm a_2\).
The main purpose of the paper is to find other example of functions \(\gamma _1,\ldots ,\gamma _n\) such that (2) holds. Our approach is rather general and based on Lemmas 1 and 3, which are stated in the general form. However, we focus our attention only on the case when \(\gamma _j(t)=\alpha _j t^{a_j}(\log t)^{b_j}\). The consideration when \(a_j=a_k\) and \(b_j=b_k\) for some \(j\ne k\) is very similar to the already quoted work of the author and Nakamura for linear functions \(\gamma (t)\) and essentially relies on investigating a kind of independence of \(\alpha _j\) and \(\alpha _k\), so in the sequel we assume that \(a_j\ne a_k\) or \(b_j\ne b_k\) for \(j\ne k\). Moreover, for the sake of simplicity we will restrict ourselves only to Dirichlet L-functions, but it should be noted that our approach can be easily generalized to other L-functions (as in [18]), at least in the strip where the mean square of a given L-function is bounded on vertical lines, namely \(\int _{-T}^{T}|L(\sigma +it)|^2dt\ll T\). On the other hand, we consider any collection of Dirichlet L-functions as an input instead of a single L-function. Hence, the following theorem gives an easy way to approximate any collection of analytic functions by taking some shifts of any L-functions, even equal or dependent.
Theorem 1
Assume that \(\chi _1,\ldots ,\chi _n\) are Dirichlet characters, \(\alpha _1,\ldots ,\alpha _n\in \mathbb {R}\), \(a_1,\ldots ,a_n\) positive real numbers, and \(b_1,\ldots ,b_n\) such that
and \(a_j\ne a_k\) or \(b_j\ne b_k\) if \(k\ne j\). Moreover, let \(K\subset \mathrm{\{s\in \mathbb {C}{:}\;1/2<\mathrm{Re}(s)<1\}}\) be a compact set with connected complement, \(f_1,\ldots ,f_n\) be non-vanishing continuous functions on K, analytic in the interior of K. Then, for every \(\varepsilon >0\),
is positive.
Next, let us consider the so-called discrete universality, which means that \(\tau \) runs over the set of positive integers. It is an interesting problem, since usually discrete universality requires a special care for some \(\alpha _j\). For example (see [1] and [16]), if \(\gamma _1(k)=\alpha _1k\) and \(n=1\), then the case when \(\exp (2\pi k/\alpha _1)\in \mathbb {Q}\) for some integer k is more subtle, since the set \(\{\frac{\alpha _1\log p}{2\pi }:p\in \mathbb {P}\}\cup \{1\}\) is not linearly independent over \(\mathbb {Q}\), which plays a crucial role in the proof. The case \(n\ge 2\) for Dirichlet L-functions associated with non-equivalent characters and \(\gamma _j(k)=\alpha _j k\) was investigated by Dubickas and Laurinčikas in [2], where they proved discrete joint universality under the assumption that
Moreover, very recently Laurinčikas, Macaitienė and Šiaučiūnas [8] showed that, for \(\gamma _j(k)=\alpha _jk^a\) with \(a\in (0,1)\), Dirichlet L-functions associated with non-equivalent characters are discretely jointly universal, provided that
Inspired by their considerations, we shall prove the following discrete version of Theorem 1.
Theorem 2
Assume that \(\chi _1,\ldots ,\chi _n\) are Dirichlet characters, \(\alpha _1,\ldots ,\alpha _n\in \mathbb {R}\), \(a_1,\ldots ,a_n\) positive real numbers, and \(b_1,\ldots ,b_n\) such that
and \(a_j\ne a_k\) or \(b_j\ne b_k\) if \(k\ne j\). Moreover, let \(K\subset \mathrm{\{s\in \mathbb {C}{:}\;1/2<\mathrm{Re}(s)<1\}}\) be a compact set with connected complement, \(f_1,\ldots ,f_n\) be non-vanishing continuous functions on K, analytic in the interior of K. Then, for every \(\varepsilon >0\),
is positive.
It should be noted that Theorem 2 (as well as Theorem 1) might be formulated in a slightly more general form where instead of the assumption on \(a_j,b_j\) we assume that the sequence
is uniformly distributed (resp. continuous uniformly distributed) modulo 1 for every finite set \(A\subset \mathbb {P}\), and that the first derivative of \(\gamma (t)\) has suitable order of magnitude, which plays a crucial role in estimating \(\int _{-T}^{T}|L(\sigma +i\gamma (t))|^2dt\) (see Sect. 3).
Let us recall that the sequence \((\omega _1(k),\ldots ,\omega _n(k))_{k\in \mathbb {N}}\) is uniformly distributed mod 1 in \(\mathbb {R}^n\) if for every \(\alpha _j,\beta _j\), \(j=1,2,\ldots ,n\), with \(0\le \alpha _j<\beta _j\le 1\), we have
where \(\{x\} = x-[x]\). Similarly, we say that the curve \(\omega (\tau ): [0,\infty ]\rightarrow \mathbb {R}^n\) is continuously uniformly distributed mod 1 in \(\mathbb {R}^n\) if for every \(\alpha _j,\beta _j\), \(j=1,2,\ldots ,n\), with \(0\le \alpha _j<\beta _j\le 1\), we have
where \(\{(x_1,\ldots ,x_n)\}:=(\{x_1\},\ldots ,\{x_n\})\).
One can easily notice that Weyl’s criterion (see [7, Theorems 6.2 and 9.2]) shows that (4) and (5) imply that (7) is (continuous) uniformly distributed mod 1. Thus, our approach allows to improve the result of Dubickas and Laurinčikas, and the result due to Laurinčikas, Macaitienė and Šiaučiūnas in the following two aspects. First, we see that the assumption that Dirichlet characters are pairwise non-equivalent is superfluous. Secondly, it shows that one can consider more general functions than \(\gamma _j(t)=\alpha _jt^a\), \(a\in (0,1]\).
2 Approximation by finite product
Essentially, we shall follow the original proof of Voronin’s result, which, roughly speaking, might be divided into two parts. The first one relies mainly on uniform distribution mod 1 of the sequence of numbers \(\gamma _j(t)\tfrac{\log p}{2\pi }\) (or a kind of independence of \(p^{i\gamma _j(t)}\)) and deals with the approximation of any analytic function by shifts of a truncated Euler product. The second one deals with an application of the second moment of L-functions to approximate a truncated Euler product by a corresponding L-function in the mean-square sense.
In this section, we shall focus on the first part. In order to do this, for a Dirichlet character \(\chi \), a finite set of primes M, and real numbers \(\theta _p\) indexed by primes, we put
where, as usual, \(e(t)=\exp (2\pi i t)\). Note that for \(\sigma >1\) we have \(L_\mathbb {P}(s,\overline{0};\chi )=L(s,\chi )\), where \(\overline{0}\) denotes the constant sequence of zeros and \(\mathbb {P}\) the set of all prime numbers.
Lemma 1
Assume that the functions \(\gamma _j:\mathbb {R}\rightarrow \mathbb {R}\), \(1\le j\le n\), are such that the curve
is continuously uniformly distributed mod 1 in \(\mathbb {R}^{\sum _{1\le j\le n}\sharp M_j}\) for any finite sets of primes \(M_j\), \(1\le j\le n\). Moreover, let \(\chi _1,\ldots ,\chi _n\) be arbitrary Dirichlet characters, \(K\subset \{s\in \mathbb {C}:1/2<\sigma <1\}\) be a compact set with connected complement, and \(f_1,\ldots ,f_n\) continuous non-vanishing functions on K, which are analytic in the interior of K. Then, for every \(\varepsilon >0\), there is \(v>0\) such that for every \(y>v\) we have
with suitable constant \(c>0\), which does not depend on y.
Before we give a proof of the above result, let us recall the following crucial result on approximation of any analytic function by a truncated Euler product twisted by a suitable sequence of complex numbers from the unit circle.
We call an open and bounded subset G of \(\mathbb {C}\) admissible, when for every \(\varepsilon > 0\) the set \(G_\varepsilon = \{s\in \mathbb {C} : |s-w| < \varepsilon \text { for certain }w\in G \}\) has connected complement.
Lemma 2
For every Dirichlet character \(\chi \), an admissible domain G such that \(\overline{G}~\subset \{s\in \mathbb {C}\;:\;\frac{1}{2}<\mathrm{Re}(s)<1\}\), every analytic and non-vanishing function f on the closure \(\overline{G}\), and every finite set of primes \(\mathcal {P}\), there exist \(\theta _p\in \mathbb {R}\) indexed by primes and a sequence of finite sets \(M_1\subset M_2\subset \ldots \) of primes such that \(\bigcup _{k=1}^\infty M_k=\mathbb {P}\setminus \mathcal {P}\) and, as \(k\rightarrow \infty \),
Proof
This is Lemma 7 in [4].
Proof of Lemma 1
By Mergelyan’s theorem, we can assume, without loss of generality, that the \(f_j\)’s are polynomials. Then we can find an admissible set G such that \(K\subset G\subset \overline{G}\subset \{s\in \mathbb {C}:1/2<\sigma <1\}\) and each \(f_j\) is analytic non-vanishing on \(\overline{G}\). Therefore, by Lemma 2 with \(\mathcal {P}=\emptyset \), there exist real numbers \(\theta _{jp}\) for \(p\in \mathbb {P}\), \(1\le j\le n\) such that, for any \(z>0\) and \(\varepsilon >0\), there are finite sets of primes \(M_1,\ldots ,M_n\) such that \(\{p:p\le z\}\subset M_j\) for every \(j=1,2,\dots ,r\) and
Now, let
where \(Q=\{p:p\le y\}\supset \bigcup _{1\le j\le n}M_j\) and \(\delta >0\) is sufficiently small such that
provided \((\omega _{jp})\in \mathcal {D}\).
Our assumption on \(\gamma (\tau )\) implies that the set A of real \(\tau \ge 2\) satisfying
has a positive density equal to the Jordan measure \(m(\mathcal {D})\) of \(\mathcal {D}\). Moreover, we have
Now, let us define \(A_T=A\cap [2,T]\) and
Since
and \(\gamma (\tau )\) is continuously uniformly distributed mod 1, we obtain (see Lemma A.8.3 in [6])
Therefore, since \(Q\setminus M_j\) contains only primes greater that z, we have
where \(\partial G\) denotes the boundary of G and \(\mathrm{dist}(A,B) = \inf \{|a-b|:a\in A,\ b\in B\}\).
Then, recalling that \(\frac{1}{T}\int _{A_T}d\tau \) tends to \(m(\mathcal {D})\) as \(T\rightarrow \infty \) gives that the measure of the set of \(\tau \in A_T\) satisfying
is greater than \(\frac{m(\mathcal {D})T}{2}\). Then, using the fact that \(|f(s)|\le \tfrac{||f||}{\sqrt{\pi }\mathrm{dist}(\{s\},\partial {G})}\) for any analytic function f and s lying in the interior of G (see [3, Chap. III, Lemma 1.1]), we observe that the measure of the set of \(\tau \in A_T\) satisfying
is greater than \(\frac{m(\mathcal {D})T}{2}\), which together with (8) completes the proof with \(v:=\max \{p:p\in \bigcup _{j}M_j\}\). \(\square \)
3 Application of the second moment
As we described in Sect. 2, in order to complete the proof of universality, we need to show how to approximate shifts of a truncated Euler product by shifts of a corresponding L-function. In general, a given L-function is not well approximated by a corresponding truncated Euler product in the critical strip with respect to the supremum norm. Nevertheless, it is well known that the situation is much easier if we consider the \(L^2\)-norm, which we use to prove the following result.
Lemma 3
Assume that \(\chi \) is a Dirichlet character, \(a>0\), \(\alpha \ne 0\) and b are real numbers, and \(\gamma (t)=\alpha t^a(\log t)^b\). Then, for every \(\varepsilon >0\) and sufficiently large integer y, we have
for any compact set \(K\subset \{s\in \mathbb {C}:1/2<\sigma <1\}\).
Proof
One can easily observe that it suffices to prove that for sufficiently large T and y we have
In order to do this, we shall prove that for every sufficiently large X we have
First, note that
Next, one can easily show that for every \(s\in K\) we have
for sufficiently large T, so, by Carlson’s theorem (see, for example, Theorem A.2.10 in [6]), we obtain
with \(c_n=0\) if all primes dividing n are less than y, and \(c_n=1\) otherwise. Hence, the second factor on the right-hand side of (12) is
for sufficiently large X and y, which gives (11), and the proof is complete. \(\square \)
Now we are in the position to prove Theorem 1.
Proof of Theorem 1
In view of Lemma 1 and the last lemma, it is sufficient to prove that for every finite set \(M_1,\ldots ,M_n\) of primes the curve
is continuously uniformly distributed mod 1, where \(\gamma _j(t)=\alpha _jt^{a_j}\log ^{b_j} t\). By Weyl’s criterion, we need to prove that
for any non-zero sequence of integers \((h_{jp})\).
Without loss of generality, we can assume that for every j there is at least one \(p\in M_j\) such that \(h_{jp}\ne 0\). Therefore, \(c_j:= \sum _{p\in M_j}h_{jp}\frac{\log p}{2\pi }\ne 0\) for every \(1\le j\le n\), and again, by Weyl’s criterion, it suffices to show that \(g(t) = \sum _{j=1}^n c_j\gamma _j(t)\) is continuously uniformly distributed mod 1 in \(\mathbb {R}\). In order to prove it, we shall use [7, Theorem 9.6] and show that for almost all \(t\in [0,1]\) the sequence \((g(nt))_{n\in \mathbb {N}}\) is uniformly distributed mod 1 in \(\mathbb {R}\) for any real \(c_j\ne 0\).
Let \(a=\max _{1\le j\le n} a_j\), \(b=\max \{b_j: 1\le j\le n,\ a_j=a\}\) and \(j_0\) be an index satisfying \((a_{j_0},b_{j_0}) = (a,b)\). First, let us assume that \(a_{j_0}\not \in \mathbb {Z}\), \(b_{j_0}\in \mathbb {R}\) or \(a_{j_0}\in \mathbb {Z}\), \(b_{j_0}<0\). Then it is clear that for every \(t\in (0,1)\) the function \(g_t(x) = \sum _{j=1}^n c_j\gamma _j(x)\) is \(\lceil a\rceil \) times differentiable and \(g_t^{(\lceil a\rceil )}(x)\asymp x^{a-\lceil a\rceil }\log ^b x\). Hence, \(g_t^{(\lceil a\rceil )}(x)\) tends monotonically to 0 as \(x\rightarrow \infty \) and \(x\bigg |g_t^{(\lceil a\rceil )}(x)\bigg |\rightarrow \infty \) as \(x\rightarrow \infty \), so, by [7, Theorem 3.5], the sequence \((g_t(n))=(g(nt))\), \(n=1,2,\ldots \), is uniformly distributed mod 1.
The case \(a_{j_0}\in \mathbb {N}\) and \(b_{j_0}>1\) is very similar, since \(g_t^{(\lceil a\rceil +1)}(x) \asymp \frac{\log ^{b-1} x}{x}\).
Finally, if \(a_{j_0}\in \mathbb {N}\) and \(b_{j_0}=0\), we see that \(\lim _{x\rightarrow \infty } g_t^{(a)}(x)\rightarrow t^a a! c_{j_0}\alpha _{j_0}\), which is irrational for almost all \(t\in [0,1]\). Therefore, [7, Chap. 1, Sect. 3] (in particular, see [7, Exercise 3.7, p. 31]) shows that the sequence \((g_t(n))=(g(nt))\), \(n=1,2,\ldots \), is uniformly distributed mod 1 for almost all \(t\in [0,1]\), and the proof is complete. \(\square \)
4 Discrete version
In this section, we deal with a discrete version of Theorem 1. Let us start with the following discrete analogue of Lemma 1.
Lemma 4
Assume that the functions \(\gamma _j:\mathbb {R}\rightarrow \mathbb {R}\), \(1\le j\le n\), and \(\mathcal {P}_j\subset \mathbb {P}\) are minimal sets such that the curve
is uniformly distributed mod 1 for any finite sets of primes \(M_j\subset \mathbb {P}\setminus \mathcal {P}_j\), \(1\le j\le n\). Moreover, let \(\chi _1,\ldots ,\chi _n\) be arbitrary Dirichlet characters, \(K\subset \{s\in \mathbb {C}:1/2<\sigma <1\}\) be a compact set with connected complement, and \(f_1,\ldots ,f_n\) continuous non-vanishing functions on K, which are analytic in the interior of K. Then, for every \(\varepsilon >0\) and every finite set \(\mathcal {A}_j\) with \( \mathcal {P}_j\subset \mathcal {A}_j\subset \mathbb {P}\), there is \(v>0\) such that for every \(y>v\) we have
with suitable constant \(c>0\), which does not depend on y.
Proof
The proof closely follows the proof of Lemma 1, and therefore we will be rather sketchy.
As in the proof of Lemma 1, we use Mergelyan’s theorem and Lemma 2 to find the set G, real numbers \(\theta _{jp}\) for \(p\in \mathbb {P}\setminus \mathcal {A}_j\), \(1\le j\le n\), and finite sets of primes \(M_j\), \(1\le j\le n\), containing \(\{p\in \mathbb {P}\setminus \mathcal {A}_j:p\le z\}\) and satisfying
Moreover, we put \(\theta _{jp}=0\) for \(p\in \mathcal {A}_j\setminus \mathcal {P}_j\) and \(Q_j:=\{p\in \mathbb {P}\setminus \mathcal {P}_j: p<y\}\supset \bigcup _{1\le j\le n}M_j\) and then define the set \(\mathcal {D}\) and \(\delta >0\) as in the proof of Lemma 1.
Let us notice that, in view of the choice of the sets \(\mathcal {P}_j\), \(\mathcal {A}_j\), and \(M_j\), the set A of positive integers k satisfying
has a positive density equal to \(m(\mathcal {D})\) and
Now, let us define \(A_N=A\cap [2,N]\) and consider
Since \(\gamma (k)\) is uniformly distributed mod 1 and \(Q_j\setminus (M_j\cup \mathcal {A}_j)\) contains only primes greater than z, we obtain from [7, Theorem 6.1]) that
Then, again uniform distribution mod 1 of \(\gamma (k)\) gives that \(\frac{1}{N}\sharp A_k\) tends to \(m(\mathcal {D})\) as \(N\rightarrow \infty \). Hence, the number of \(k\in A_N\) satisfying
is greater than \(\frac{m(\mathcal {D})N}{2}\). Then, the proof is complete as in the proof of Lemma 1. \(\square \)
The next proposition is a discrete version of Lemma 3 and its proof relies on Carlson’s theorem and the following Gallagher’s lemma.
Lemma 5
(Gallagher) Let \(T_0\) and \(T\ge \delta >0\) be real numbers and A be a finite subset of \([T_0+\delta /2,T+T_0-\delta /2]\). Define \(N_\delta (x) = \sum _{t\in A,\ |t-x|<\delta } 1\) and assume that f(x) is a complex continuous function on \([T_0,T+T_0]\) continuously differentiable on \((T_0,T+T_0)\). Then
Proof
This is Lemma 1.4 in [10]. \(\square \)
Proposition 1
Assume that \(\chi \) is a Dirichlet character, \(a>0\), \(\alpha \ne 0\) and b are real numbers, and \(\gamma (t)=\alpha t^a(\log t)^b\). Then, for every \(\varepsilon >0\) and sufficiently large integer y, we have
for any compact set \(K\subset \{s\in \mathbb {C}:1/2<\sigma <1\}\).
Proof
Let us apply Gallagher’s lemma for \(f(x) = L(s+i\gamma (x);\chi )-L_{\{p:p\le y\}}(s+i\gamma (x),\overline{0};\chi )\) with \(\delta =1/2\), \(T_0=1\), \(T=N\), and \(A=\{2,3,\ldots ,N\}\). Then \(N_\delta (t)=1\) for every \(t\in A\), so
Then, as we observed in the proof of Lemma 3, Carlson’s theorem gives (10). Moreover, Cauchy’s integration formula implies the truth of (10) for \(L'\) as well. Therefore, we see that the right-hand side of the above inequality is \(<\varepsilon ^3\) for sufficiently large N and y, and the proof is complete. \(\square \)
Proof of Theorem 2
First, we shall use Lemma 4, so let us define the sets \(\mathcal {A}_j\) and \(\mathcal {P}_j\) for \(j=1,2,\ldots ,n\). If \(\gamma _j(t)=\alpha _jt^{a_j}\log ^{b_j}t\) with \(a_j\notin \mathbb {Z}\) or \(b_j\ne 0\), then the proof is essentially the same as in the continuous case, so we just take \(\mathcal {P}_j=\mathcal {A}_j=\emptyset \).
The more delicate situation is when \(a_j\in \mathbb {N}\) and \(b_j=0\) for some \(1\le j\le n\), since the sequence \((\alpha _j k^{a_j}\sum _{p\in M_j} h_{jp}\tfrac{\log p}{2\pi })_{k\in \mathbb {N}}\) is uniformly distributed mod 1 only if \(\alpha _j \sum _{p\in M_j} h_{jp}\tfrac{\log p}{2\pi }\) is irrational. In order to overcome this obstacle, we define the sets \(\mathcal {P}_j\) and \(\mathcal {A}_j\) as follows. Let \(m^*_{j}\) be the smallest positive integer such that \(\exp (2\pi m^*_{j}/\alpha _j)\in \mathbb {Q}\). Note that for every \(m\in \mathbb {Z}\) satisfying \(\exp (2\pi m/\alpha _j)\in \mathbb {Q}\) we have \(m^*_j|m\). Assume that
for some integers \(k_{jp}\ne 0\) and some finite set of primes \(\mathcal {A}_j\). Moreover, let \(p_j^*\) be the least prime number in the set \(A_j\) and put \(\mathcal {P}_j = \{p_j^*\}\). Let us notice that the choice of \(\mathcal {P}_j\) implies that it is a minimal set such that \(\alpha _j \sum _{p\in M_j} h_{jp}\tfrac{\log p}{2\pi }\notin \mathbb {Q}\) for every non-zero sequence of integers \(h_{jp}\) and a finite set of primes \(M_j\) disjoint to \(\mathcal {P}_j\), since otherwise there exist integers m, l such that \(\exp (2\pi m/\alpha _j)=\prod _{p\in M_j}p^{lh_{jp}}\in \mathbb {Q}\), which, by the definition of \(m^*_j\), is a power of \(\prod _{p\in \mathcal {A}_j}p^{k_{jp}}\), and we get a contradiction.
Hence, arguing similarly to the proof of Theorem 1 (see [7, Theorem 3.5 and Exercise 3.7, p. 31]), the curve
is uniformly distributed mod 1 for every finite set of primes \(M_j\) disjoint to \(\mathcal {P}_j\), where \(q^*\) is the least common multiple of all \(k_{jp_j^*}\) for j satisfying \(a_j\in \mathbb {Z}\) and \(b_j=0\). If \(a_j\not \in \mathbb {Z}\) or \(b_j\ne 0\) for all \(j=1,2,\ldots ,n\), then \(q^*=1\).
Therefore, applying Lemma 4 for
instead of \(f_j(s)\) gives that the number of integers \(k\in [2,N]\) satisfying
is at least cN. The second inequality together with (14) gives that
and, for every j satisfying \(a_j\in \mathbb {Z}\), \(b_j=0\),
since \(\gamma _j(q^*k)/\alpha _j=(q^*)^{a_j}k^{a_j}\) is a multiple of \(k_{jp_j^*}\) by the definition of \(q^*\).
Thus,
approximates \(f_j^*(s)\) uniformly on K, and hence
Moreover, by replacing \(q^*k\) by k, one can easily observe that the number of integers \(k\in [2,N]\) satisfying
is at least \(cN/q^*\), which, together with Proposition 1 and Lemma 3, complete the proof. \(\square \)
References
Bagchi B.: The statistical behaviour and universality properties of the Riemann zeta-function and other allied Dirichlet series. Ph.D. thesis, Indian Statistical Institute, Calcutta (1981)
Dubickas, A., Laurinčikas, A.: Joint discrete universality of Dirichlet L-functions. Arch. Math. 104, 25–25 (2015)
Gaier, D.: Vorlesungen über Approximation im Komplexen. Birkhäuser, Basel (1980)
Kaczorowski, J., Kulas, M.: On the non-trivial zeros off line for L-functions from extended Selberg class. Monatsh. Math. 150, 217–232 (2007)
Kaczorowski, J., Laurinčikas, A., Steuding, J.: On the value distribution of shifts of universal Dirichlet series. Monatsh. Math. 147(4), 309–317 (2006)
Karatsuba, A.A., Voronin, S.M.: The Riemann Zeta Function. de Gruyter, Berlin (1992)
Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. Pure and Applied Mathematics. Wiley-Interscience, New York (1974)
Laurinčikas, A., Macaitienė, R., Šiaučiūnas, D.: Uniform distribution modulo 1 and the joint universality of Dirichlet L-functions. Preprint
Laurinčikas, A., Matsumoto, K.: The joint universality of twisted automorphic L-functions. J. Math. Soc. Jpn. 56, 923–939 (2004)
Montgomery, H.L.: Topics in Multiplicative Number Theory. Lecture Notes in Mathematics, vol. 227. Springer, Berlin (1971)
Nakamura, T.: The joint universality and the generalized strong recurrence for Dirichlet L-functions. Acta Arith. 138, 357–362 (2009)
Nakamura, T.: Some topics related to universality for L-functions with Euler product. Anal. Int. Math. J. Anal. Appl. 31, 31–41 (2011)
Nakamura, T., Pańkowski, Ł.: Erratum to: The generalized strong recurrence for non-zero rationals parameters. Arch. Math. 99, 43–47 (2012)
Pańkowski, Ł.: Some remarks on the generalized strong recurrence for \(L\)-functions. In: New Directions in Value Distribution Theory of Zeta and L-Functions, Ber. Math., pp. 305–315. Shaker Verlag, Aachen (2009)
Pańkowski, Ł.: Joint universality and generalized strong recurrence for the Riemann zeta function with rational parameter. J. Number Theory 163, 61–74 (2016)
Reich, A.: Wertverteilung von Zetafunktionen. Arch. Math. 34, 440–451 (1980)
Šleževičienė, R.: The joint universality for twists of Dirichlet series with multiplicative coefficients. In: Dubickas, A., et al. (ed.) Analytic and Probabilistic Methods in Number Theory. Proceedings of the Third International Conference in Honour of J. Kubilius, Palanga 2001, pp. 303–319. TEV, Vilnius (2002)
Steuding, J.: Value-Distribution of L-functions. Springer, Berlin (2007)
Voronin, S.M.: Theorem on the universality of the Riemann zeta function. Izv. Akad. Nauk SSSR Ser. Mat. 39, 475–486 (in Russian) [Math. USSR Izv. 9, 443–453] (1975)
Voronin, S.M.: Analytic properties of Dirichlet generating functions of arithmetic objects. Ph.D. thesis, Steklov Math. Institute, Moscow (1977) (in Russian)
Acknowledgements
The author would like to cordially thank Professor Kohji Matsumoto for his valuable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
The author is an International Research Fellow of the Japan Society for the Promotion of Science and this work was partially supported by (JSPS) KAKENHI through Grant No. 26004317 and the National Science Centre through Grant No. 2013/11/B/ST1/02799.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Pańkowski, Ł. Joint universality for dependent L-functions. Ramanujan J 45, 181–195 (2018). https://doi.org/10.1007/s11139-017-9886-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-017-9886-5