Abstract
We prove that any complex values \(z_1,\ldots ,z_n\) can be approximated by the following integral shifts of the Riemann zeta-function \(\zeta (s+id_1\tau ),\ldots ,\zeta (s+id_n\tau )\) for infinitely many \(\tau \), provided \(d_1,\ldots ,d_n\in {\mathbb {Q}}\) are distinct and positive, and s is a fixed complex number lying in the right open half of the critical strip.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the 80’s of the last century Bagchi (see [1, 2]) observed that the classical Riemann Hypothesis is equivalent to the fact that for every \(\varepsilon >0\) and every compact set \(K\subset D:=\{s\in {\mathbb {C}}:1/2<{\text {Re}}(s)<1\}\) with connected complement we have
where \({\text {meas}}\) denotes the Lebesgue measure on \({\mathbb {R}}\). In other words (1) means that the set of real \(\tau \) satisfying \(\max _{s\in K}|\zeta (s+i\tau ) - \zeta (s)|<\varepsilon \) has a positive lower density. Moreover, let us note that in the language of topological dynamics Inequality (1) says that the Riemann Hypothesis is equivalent to the strong recurrence of the Riemann zeta-function (see [9]).
One implication in Bagchi’s observation is an immediate consequence of the so-called universality theorem due to Voronin [17], which is a generalization of the work of Bohr and his collaborators (see [3,4,5]) on denseness theorems in \({\mathbb {C}}\) of values of the Riemann zeta-function and states that for any non-vanishing and continuous function f(s) on K, analytic in the interior of K, and every \(\varepsilon >0\), we have
The converse implication is a combination of Rouché’s theorem and the well-known zero density theorem for the Riemann zeta-function.
An interesting generalization of (1) was suggested by Nakamura in [11], where he introduced the problem of finding all \(d_1,d_2,\ldots ,d_n\) such that for every compact set \(K\subset D\) with connected complement and every \(\varepsilon >0\) we have
Notice that (2) holds for \(n=2\) and \(d_1=0\), \(d_2\ne 0\) if and only if the Riemann Hypothesis is true. Interestingly it turns out (see [11,12,13,14]) that for \(n=2\) the case \(d_1=0\), \(d_2\ne 0\) is the most difficult one as it was shown that (2) holds for \(n=2\) and every non-zero real \(d_1,d_2\). A common strategy of showing (2) is to prove a joint version of universality for \(\zeta (s+id_1\tau ),\ldots ,\zeta (s+id_n\tau )\), namely to prove that for any non-vanishing and continuous functions \(f_1(s),\ldots ,f_n(s)\) on K, analytic in the interior of K, and every \(\varepsilon >0\) we have
Obviously, by taking \(f_1=f_2=\cdots =f_n\), one can easily see that (3) implies (2). The problem of finding all parameters \(d_1,d_2\) satisfying (3) for \(n=2\) was also completely solved in the aforementioned series of papers by Nakamura and the author, where it was proved that (3) holds for \(n=2\) and any real \(d_1,d_2\) with \(0\ne d_1,d_2\) and \(d_1\ne \pm d_2\). Note that it is indeed a complete answer for \(n=2\) as one cannot expect that (3) holds for \(d_1=\pm d_2\).
Unfortunately, the situation for \(n\ge 3\) is much more complicated and so far we know only (see [11]) that (3) holds if \(d_1=1,d_2,\ldots ,d_n\) are algebraic real numbers linearly independent over \({\mathbb {Q}}\), which is an easier case since for such \(d_k\)’s, in view of Baker’s theorem in transcendental number theory, the set \(I(d_1,\ldots ,d_n):=\{d_k\log p: p\text { is prime, }1\le k\le n\}\) is linearly independent over \({\mathbb {Q}}\) and one can follow straightforwardly the proof of Voronin’s theorem in order to get (3). However, if the set \(I(d_1,\ldots ,d_n)\) is not linearly independent over \({\mathbb {Q}}\), we need a new approach or at least a significant modification of known proofs of universality, since linear independence of the set \(I(d_1,\ldots ,d_n)\) is crucial in several steps of these proofs.
In the paper we focus on considering the following weaker version of (3) in the flavor of denseness theorems due to Bohr, where K is a singleton and \(d_1,\ldots ,d_n\) are positive integers. Note that in this case the set \(I(d_1,\ldots ,d_n)\) is far from being linearly independent over the field of rational numbers.
Theorem 1.1
Let \(d_1<d_2<\cdots <d_n\in {\mathbb {N}}\) and \(s=\sigma +it\) with \(\sigma \in (1/2,1]\) and \(t>0\). Then, for every \(z_1,z_2,\ldots ,z_n\in {\mathbb {C}}\) and every \(\varepsilon >0\) the set of all positive real \(\tau \) satisfying
has a positive lower density.
Corollary 1.2
Let \(0<d_1<d_2<\cdots <d_n\in {\mathbb {Q}}\) and \(s=\sigma +it\) with \(\sigma \in (1/2,1]\) and \(t>0\). Then, for every \(z_1,z_2,\ldots ,z_n\in {\mathbb {C}}\) and every \(\varepsilon >0\) the set of all positive real \(\tau \) satisfying
has a positive lower density.
Proof
Assume that \(d_j=a_j/b_j\) with \(a_j,b_j\in {\mathbb {N}}\). Then it suffices to apply Theorem 1.1 with \(La_j/b_j\in {\mathbb {N}}\) instead of \(d_j\), where \(L={{\,\mathrm{lcm}\,}}(b_1,\ldots ,b_n)\), and next make a substitution \(L\tau \mapsto \tau \). \(\square \)
Obviously, the above corollary easily implies that (2) holds for \(K=\{s\}\) and arbitrary distinct positive rational numbers \(d_1,\ldots ,d_n\).
Moreover, it is worth mentioning that the proof of Theorem 1.1 presented in the paper might be simplified in several places under the assumption that \(d_1,\ldots ,d_n\) are integers. However, we decided to make all steps in the proof as general as possible, since it might be interesting for the reader to see that in fact the proof of the above theorem is valid for arbitrary positive real \(d_1,\ldots ,d_n\) except only one step where we use the implication
which is trivially true for \(d_k\in {\mathbb {Z}}\), but it does not necessary hold if \(d_k\notin {\mathbb {Z}}\).
2 Denseness Lemma
In this section we prove the following denseness lemma, which holds for all positive real \(d_1,\ldots ,d_n\).
Lemma 2.1
Let \(d_1,d_2,\ldots ,d_n\) be real numbers satisfying \(0<d_1<d_2<\cdots <d_n\) and \(s=\sigma +it\) with \(\sigma \in (1/2,1]\) and \(t>0\). Then, for every \(z_1,z_2,\ldots ,z_n\in {\mathbb {C}}\) and every \(\varepsilon >0\), \(y>0\), there exist a finite set of prime numbers \(M\supset \{p: p<y\}\) and a sequence \({\overline{\theta }} = (\theta _p)_{p\in M}\) such that
where as usual \(e(t)=e^{2\pi i t}\).
The proof of the lemma essentially based on the following Pechersky’s [15] generalization of the Riemann rearrangement lemma to Hilbert spaces.
Lemma 2.2
( [15]) Let H be a real Hilbert space with the inner product \((\cdot |\cdot )\) and a sequence \((u_n)_{n\in {\mathbb {N}}}\subset H\) be such that \(\sum _{n=1}^\infty \Vert u_n\Vert _H^2<\infty \). Moreover, suppose that for every \(e\in H\) with \(\Vert e\Vert =1\) the series \(\sum _{n=1}^\infty \langle u_n,e\rangle \) are conditionally convergent after suitable permutation of terms. Then, for every \(v\in H\) there exists a permutation \((n_k)\) such that \(\sum _{k=1}^\infty u_{n_k} = v\).
Moreover, we use the following effective version of Kronecker approximation theorem due to Chen. Henceforth, \(\Vert \cdot \Vert \) will denote the distance to the nearest integer.
Lemma 2.3
(Chen, [6, Theorem 1(ii)]) Let \(\lambda _1, \dots , \lambda _n\) and \(\alpha _1, \dots , \alpha _n\) be real numbers and assume the following property: for all integers \(u_1, \dots , u_n\) with \(|u_j|\le M\), the assertion
implies that \(u_1\alpha _1+ \cdots + u_n\alpha _n\) is an integer. Then for all positive real numbers \(\delta _1, \dots , \delta _n\) and for any integers \(T_1<T_2\), we have
where
and
Corollary 2.4
Let \(\omega \ge 1\), \(n\in {\mathbb {N}}\) and \(d_1,d_2,\ldots ,d_n\in {\mathbb {R}}\). Then there is an integer \(T:=T(d_1,d_2,\ldots ,d_n,n,\omega )>0\) such that for every \(a\in {\mathbb {Z}}\) there exists an integer \(h\in [a,a+T]\) satisfying
Proof
Applying Chen’s lemma for \(T_1=a\), \(T_2=a+T\), \((\lambda _1,\ldots ,\lambda _n)=(d_1,d_2,\ldots ,d_n)\), \(\alpha _1=\cdots =\alpha _n=0\), \(\delta _1=\cdots =\delta _n=1\) and \(M:=\pi \omega /4-1\) gives that there is \(h\in {\mathbb {Z}}\), \(h\in [a,a+T]\) such that
Obviously, we have \(\sin ^2\left( \frac{\pi }{2(M+1)}\right) \le \frac{2}{\omega }\). Moreover, since M depends only on \(\omega \) and \(\Lambda \) depends only on M and \(d_1,\ldots ,d_n\), there is a sufficiently large T such that \(\frac{M^n}{2\Lambda T}\le \frac{2}{\omega }\), which completes the proof. \(\square \)
The need for the application of Lemma 2.2 forces us to consider the distribution of zeros of functions being linear combinations of exponential functions, which is well understood by the following result due to Wilder.
Lemma 2.5
(Wilder’s theorem) Let \(g(z) = \sum _{k=1}^n A_ke^{\omega _kz}\), where \(z=x+iy\in {\mathbb {C}}\), \({\mathbb {C}}\ni A_k\ne 0\), \(k=1,2,\ldots ,n\), and \(\omega _1<\cdots <\omega _n\). Then there exsits \(K>0\) such that
-
(i)
all zeros of g(z) lie in the strip \(|x|\le K\);
-
(ii)
for each pair \((\alpha ,\beta )\in {\mathbb {R}}^2\) with \(\beta >0\), we have
$$\begin{aligned} \left| N_0(\alpha ,\beta ,K) - \beta \frac{\omega _n-\omega _1}{2\pi }\right| \le n-1, \end{aligned}$$where \(N_0(\alpha ,\beta ,K)\) counts the number of zeros of g(z) in the rectangle \(|x|\le K\), \(y\in [\alpha ,\alpha +\beta ]\).
Proof
For the proof we refer to [7, Theorem 1]. \(\square \)
Proof of Lemma 2.1
Let \(\theta _{p_m} = \frac{m}{L}\), where \(p_m\) denotes the m-th prime number and L is an arbitrary integer satisfying \(L>n-1+d_n-d_1\). We shall use Lemma 2.2 for the sequence
and the real Hilbert space \(H={\mathbb {C}}^n\) equipped with the inner product
Obviously, \(\sum _{m=1}^\infty \Vert u_m\Vert _H^2<\infty \), since \(\sigma >1/2\). Thus, in order to apply Lemma 2.2, it suffices to show that for every \(e=(a_1,\ldots ,a_n)\in {\mathbb {C}}^n\) with \(\Vert e\Vert _H =1\) there are two permutations of the series \(\sum _m (u_m|e)\) tending to \(+\infty \) and \(-\infty \), respectively. In fact, we show only the existence of a permutation of the series, which diverges to \(+\infty \), since the case \(-\infty \) is similar and can be left to the reader.
Let us note that
and consider the function \(f(x) = \sum _{k=1}^n\overline{a_k}e(d_k x)\), \(x\in {\mathbb {R}}\). Putting \(A=\sum _{k=1}^n |a_k|^2\), one can easily deduce from the Cauchy-Schwarz inequality that for every \(x\in {\mathbb {R}}\) we have
Now, from Corollary 2.4, we see that there is a positive integer N such that every interval of length N contains an integer h satisfying \(\sum _{k=1}^n\Vert hd_k\Vert ^2\le \frac{\varepsilon ^2}{(2\pi )^2A}\). Therefore, dividing the interval \((0,\infty )\) into disjoint intervals \(I_l\), \(l\in {\mathbb {N}}\), of length N, one can find integers \(\tau _l\in I_l\) satisfying \(\sum _{k=1}^n\Vert \tau _ld_k\Vert ^2\le \frac{\varepsilon ^2}{(2\pi )^2A}\). Hence, for every \(x\in {\mathbb {R}}\) and \(l\in {\mathbb {N}}\), we have
Now, let us observe that, by Lemma 2.5, the function f(x) has at most \(n-1+d_n-d_1\) zeros in the interval [0, 1]. Hence, by the choice of L, there is \(m_0\) such that \(0\le m_0\le L-1\) and \(f(\frac{m_0}{L})=c_0\ne 0\). Thus for every \(\tau _l\) we have
so each interval \([m_0+kLN,m_0+(k+1)NL]\), \(k=1,2,\ldots \), contains an integer \(m_k':=m_0+L\tau _l\) satisfying \(f(\frac{m_k'}{L})=c_0+\xi _l\) with \(|\xi _l|\le \varepsilon \). Assume that \(c_0 = |c_0|e^{i\varphi }\). Then for every \(m_k'\) and \(m\in {\mathbb {N}}\) satisfying
we have \(\varphi -t\log p_{m'_k} \in (-2\pi m-\pi /4,-2\pi m+\pi /4)\), so \({\text {Re}}(c_0\exp ({-it\log p_{m_k'}})) \ge \frac{c_0}{\sqrt{2}}\). Hence, for sufficiently small \(\varepsilon >0\), we have
Hence it remains to notice that the fact that \(\sigma <1\) and the definition of \(m_k'\) implies that (as usual, \(\lfloor x\rfloor \) denotes the greatest integer less than or equal to x)
since, for \(x=\frac{2\pi m}{t}+\frac{\varphi }{t}\) and \(h=\frac{\pi }{4t}\), the prime number theorem gives
Thus using the fact that the harmonic series is divergent completes the proof. \(\square \)
3 Approximation by a Finite Sum Over Primes
In this section we use the following Tsang’s lemma in order to show that the logarithm of the Riemann zeta-function can be approximated by a truncated Dirichlet series over primes for sufficiently many arguments from any vertical line lying in the right open half of the critical strip.
Lemma 3.1
(Tsang [16, Theorem 5.1 and Remark 1]) Let \(\sigma \in (1/2,1]\) and \(0<\delta <\frac{1}{64}\) be fixed. Then, for sufficiently large T, we have
where c is a positive constant.
Lemma 3.2
Let \(\varepsilon ,\varepsilon '>0\), \(0<d_1<d_2<\cdots <d_n\), \(s=\sigma +it\) with \(\sigma \in (1/2,1], t>0\), \(0<\delta <\frac{1}{65}\) and \(C(T,\varepsilon )\) denotes the set of \(\tau \in [T,2T]\) satisfying
Then, for sufficiently large T, we have
Proof
First let us observe that using Tsang’s lemma and a suitable version of Hilbert’s inequality due to Montgomery and Vaughan (see [10]) give
for some \(c'>0\) and \(k=1,2,\ldots ,n\). Hence for every \(\varepsilon _0>0\) and sufficiently large T we have
Now let
Obviously, by the holomorphicity of the Riemann zeta-function, we have \({\text {meas}}(A_T'')=0\) for every T. Moreover,
so \({\text {meas}}(A_T')\le n^2\varepsilon _0^{1/3}T\). Thus, putting \(A_T=A_T'\cup A_T''\) and choosing \(\varepsilon _0\) sufficiently small, we get that \({\text {meas}}(A_T)\le \varepsilon 'T\) and
for \(\tau \in [T,2T]\setminus A_T\). \(\square \)
4 Proof of the Main Theorem
In order to prove our main theorem, we need the following crucial lemma, which allows us to connect Lemmas 2.1 and 3.2. The lemma is essentially Lemma 3.6 from [8] where the quantity \(\delta (T)\) defined in Lemma 3.6 in [8] has to be estimated in a more subtle way because of the appearance of an extra parameter \(d_k\).
Lemma 4.1
Let \(d_1,d_2,\ldots ,d_n\) be real numbers satisfying \(0<d_1<d_2<\cdots <d_n\) and \(s=\sigma +it\) with \(\sigma \in (1/2,1]\) and \(t>0\). Moreover, suppose that \(y>0\) is sufficiently large, \(0<\delta <\frac{1}{65}\), \(0<d<1/2\), M is a finite set of prime numbers such that \(\{p:p\le y\}\subset M\) and \((\theta _p)_{p\in M}\) is a sequence of real numbers. Then for sufficiently large T we have
where \(A_d(T) = \{\tau \in [T,2T]: \max _{p\in M}\Vert -\tau \frac{\log p}{2\pi }-\theta _p\Vert \le d\}\).
Proof
We will closely follow the proof of Lemma 3.6 from [8].
Let \(\delta '>0\) be such that \(0<d+\delta '<1/2\) and \(\xi :{\mathbb {R}}\rightarrow [0,1]\) be a continuous and periodic function with period 1 defined on \([-1/2,1/2]\) by
Moreover, we put
Obviously \(\xi (x) = 1\) if \(\Vert x\Vert \le d\). Hence, for \(\tau \in A_d(T)\) we have \(1={\tilde{\xi }}(\tau ) = {\tilde{\xi }}^2(\tau )\), whereas for arbitrary \(\tau \in {\mathbb {R}}\) we have \(0\le {\tilde{\xi }}^2(\tau )\le {\tilde{\xi }}(\tau )\le 1\).
Now let us assume that \(\varepsilon _0>0\) is small. Then there is a trigonometric polynomial
such that \(|\xi (x)-P(x)|<\varepsilon _0\) for \(x\in {\mathbb {R}}\). So let us define
Using the fact that \(\left| \prod _{j=1}^{n}a_j-\prod _{j=1}^{n}b_j\right| \le R^{n-1}\sum _{j=1}^n|a_j-b_j|\) for arbitrary complex numbers \(a_1,\ldots ,a_n,b_1,\ldots ,b_n\) with \(|a_j|,|b_j|\le R\), \(j=1,2,\ldots ,n\), we get
for all real \(x_p\), where |M| denotes the number of elements in the set M. Hence \(|{\tilde{\xi }}(\tau )-{\tilde{P}}(\tau )|\le 2^{|M|-1}|M|\varepsilon _0\) for \(\tau \in {\mathbb {R}}\). Therefore, by the Cauchy–Schwarz inequality, we have
and
Now, let \(N'>y\). Then for \(\tau \in {\mathbb {R}}\) we have
so using the Cauchy–Schwarz inequality again yields
First let us estimate \(I_1\). We have
and
where \(p_1,\ldots ,p_{|M|}\) are all elements of M and
Then
Let
and
We need to estimate
so we consider the following three cases.
-
Case 1: \(p=q\). Then \(|x-y|>0\) by the fact that the sequence of logarithms of prime numbers are linearly independent over \({\mathbb {Q}}\).
-
Case 2: \(p\ne q\), \(0\ne d_k\in {\mathbb {Q}}\). Similarly to the Case 1, by the unique factorization of integers, we have \(x=y\leftrightarrow d_k=0,\ \ell '_{p_i}=\ell '_{p_i}\), so \(|x-y|>0\).
-
Case 3: \(p\ne q\), \(d_k\notin {\mathbb {Q}}\). Then \(x=y\) means that for suitable \(A,B\in {\mathbb {Q}}\) we have
$$\begin{aligned} d_k\log B = d_k(\log p-\log q) = \sum _{i=1}^{|M|}(\ell '_{p_i}-\ell _{p_i})\log p_i = \log A. \end{aligned}$$(5)
Using the Six Exponentials Theorem one can prove (see [13, Corollary 2.3 and Lemma 2.4]) the following result.
Lemma 4.2
For arbitrary irrational number d there exist at most two primes \(p_1,p_2\) such that if
then at least one of \(p_1,p_2\) appears in the prime factorization of b.
Now, let us note that \(B=p/q\) for some \(p,q\notin M\), so \(p,q>y\). Hence, taking sufficiently large y and using the above lemma we obtain that (5) never holds, which means that \(|x-y|>0\) in Case 3 as well.
Summing up all three cases we get \(\delta _k>0\). Hence using again a suitable version of Hilbert’s inequality due to Montgomery and Vaughan (see [10, Corollary 2, Eq. (1.8)]) we see that for some \(\theta _k\) with \(|\theta _k|\le 1\) and sufficiently large T we have
Similarly one can obtain
for some positive real \(\delta _0\) and \(\theta _0\) with \(|\theta _0|\le 1\). Thus, we have
Note that from (4) we get
Moreover, we have
Therefore,
Similarly using Hilbert’s inequality one can easily obtain that
so
Next, in order to apply Hilbert’s inequality to estimate \(I_2\), we need to use the following estimate
So
Choosing \(\delta '\) and \(\varepsilon _0\) such that
implies that \(I_1\ll Ty^{1-2\sigma }(2d)^{|M|}\).
Moreover, if \(N'\) is such large that \(N'^{1-2\sigma }\le (2d)^{|M|}y^{1-2\sigma }\), then
which completes the proof. \(\square \)
Now, we are in the position to complete the proof of our theorem.
Proof of Theorem 1.1
From Lemma 2.1 we know that there exist a finite set of primes \(M\supset \{p:p<y\}\) and a sequence \((\theta _p)_{p\in M}\) of real numbers such that
Let \(A_d(T) = \{\tau \in [T,2T]: \max _{p\in M}\Vert -\frac{\tau \log p}{2\pi } - \theta _p\Vert \le d\}\) and d is such small that
Let us emphasize that the choice of such d is possible since \(d_1,\ldots ,d_n\in {\mathbb {N}}\), and it is the only step in the proof where we need to assume that \(d_1,\ldots ,d_n\) are integers.
Let us notice that for \(\tau \in A_d(T)\) we have
Next let
where \(0<\delta <\frac{1}{65}\). Then, by Lemma 4.1 and Kronecker’s approximation theorem, for sufficiently large y we have
Thus, using the notation from Lemma 3.2, we get that
and, since \({\text {meas}}C(T,\varepsilon )>T(1-\varepsilon ')\) for every \(\varepsilon '>0\), we have
which completes the proof, since the right hand side is positive for sufficiently small \(\varepsilon '\). \(\square \)
Availability of data and material
Not applicable.
References
Bagchi, B.: The Statistical Behavior and Universality Properties of the Riemann Zeta-Function and Other Allied Dirichlet Series, Ph.D. Thesis, Calcutta, Indian Statistical Institute (1981)
Bagchi, B.: Recurrence in topological dynamics and the Riemann hypothesis. Acta Math. Hung. 50, 227–240 (1987)
Bohr, H.: Zür Theorie der Riemann’schen Zetafunktion im kritischen Streifen. Acta Math. 40, 67–100 (1915)
Bohr, H., Courant, R.: Neue Anwendungen der Theorie der Diophantischen Approximationen auf die Riemannschen Zetafunktion. J. Reine Angew. Math. 144, 249–274 (1914)
Bohr, H., Jessen, B.: Über die Werteverteilung der Riemannschen Zetafunktion, Erste Mitteilung Acta Math. 54 (1930), 1–35; Zweite Mitteilung, ibid. 58 (1932), 1–55
Chen, Y.G.: The best quantitative Kronecker’s theorem. J. Lond. Math. Soc. (2) 61(3), 691–705 (2000)
Dickson, D.G.: Zeros of exponential sums. Proc. Am. Math. Soc. 16(1), 84–89 (1965)
Gonek, S.M.: Analytic Properties of Zeta and \(L\)-Functions, Ph.D. thesis, University of Michigan (1979)
Gottschalk, W.H., Hedlund, G.A., Kulas, M.: Recursive properties of topological transformation groups. Bull. Am. Math. Soc. 52, 488–489 (1946)
Montgomery, H.L., Vaughan, R.C.: Hilbert’s inequality. J. Lond. Math. Soc. (2) 8, 73–82 (1974)
Nakamura, T.: The joint universality and the generalized strong recurrence for Dirichlet \(L\)-functions. Acta Arith. 138, 357–362 (2009)
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, in: Ber. Math., Shaker Verlag, Aachen, pp. 305–315 (2009)
Pańkowski, Ł: Joint universality and generalized strong recurrence for the Riemann zeta function with rational parameter. J. Number Theory 163, 61–74 (2016)
Pecherskii, D.V.: On rearrangements of terms in functional series. Soviet Math. Dokl. 14, 633–636 (1973)
Tsang, K.M.: The Distribution of the Values of the Riemann Zeta-Function, Ph.D. thesis. Princeton University, Princeton (1984)
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(1975), 443–453 (1975)
Acknowledgements
The authors would like to thank the anonymous referee for careful reading of the paper and valuable suggestions.
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.
Funding
The author was partially supported by the grant no. 2016/23/D/ST1/ 01149 from the National Science Centre.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no competing interests.
Code availability
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was partially supported by the grant no. 2016/23/D/ST1/01149 from the National Science Centre.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pańkowski, Ł. Joint Value-Distribution of Shifts of the Riemann Zeta-Function. Results Math 77, 76 (2022). https://doi.org/10.1007/s00025-022-01609-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01609-4