A Joint Limit Theorem for Epstein and Hurwitz Zeta-Functions

1. Introduction

Let $\mathbb{P}$, $\mathbb{N}$, ${\mathbb{N}}_0$, $\mathbb{Z}$, $\mathbb{R}$, $\mathbb{C}$, as usual, denote the sets of primes, positive integers, nonnegative integers, integers, real and complex numbers, respectively, $s=\sigma +it$ a complex variable, $n\in \mathbb{N}$, Q a positive defined $n\times n$ matrix, and $Q\left[\underline{x}\right]={\underline{x}}^{\mathrm{T}}Q\underline{x}$ for $\underline{x}\in {\mathbb{Z}}^n$. In [1], Epstein considered a problem to find a zeta-function as general as possible and having the functional equation of the Riemann type. For $\sigma >\frac{n}{2}$, he defined the function

$$\zeta (s;Q)=\sum _{\underline{x}\in {\mathbb{Z}}^n\setminus \left\{\underline{0}\right\}}{\left(Q\left[\underline{x}\right]\right)}^{-s}.$$

Now this function is called the Epstein zeta-function. It is analytically continuable to the whole complex plane, except for a simple pole at the point $s=\frac{n}{2}$ with residue

$$\frac{{\pi }^{\frac{n}{2}}}{\Gamma \left(\frac{n}{2}\right)\sqrt{\det Q}},$$

where $\Gamma \left(s\right)$ is the Euler gamma-function. Epstein also proved that $\zeta (s;Q)$ satisfies the functional equation

$${\pi }^{-s}\Gamma \left(s\right)\zeta (s;Q)=\sqrt{\det Q}{\pi }^{s-\frac{n}{2}}\Gamma \left(\frac{n}{2}-s\right)\zeta \left(\frac{n}{2}-s;Q\right)$$

for all $s\in \mathbb{C}$.

It turned out that the Epstein zeta-function is an important number theoretical object having a series of practical applications, for example, in crystallography [2] and mathematical physics, more precisely, in quantum field theory and the Wheeler–DeWitt equation [3,4].

Value distribution of $\zeta (s;Q)$, as other zeta-functions, is not simple, and was studied by many authors including Hecke [5], Selberg [6], Iwaniec [7], Bateman [8], Fomenko [9], Pańkowski and Nakamura [10]. In [11] and [12], the characterization of asymptotic behaviour of $\zeta (s;Q)$ was given in terms of probabilistic limit theorems. The latter approach for the Riemann zeta-function

$$\zeta \left(s\right)=\sum _{m=1}^{\infty }\frac{1}{m^s},\sigma >1,$$

was proposed by Bohr in [13], and realized in [14,15]. Denote by $\mathcal{B}\left(\mathbb{X}\right)$ the Borel $\sigma$-field of the space $\mathbb{X}$, and by measA the Lebesgue measure of a measurable set $A\subset \mathbb{R}$. For $A\in \mathcal{B}\left(\mathbb{C}\right)$, define

$$P_{T,\sigma }^Q\left(A\right)=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\zeta (\sigma +it;Q)\in A\right\}.$$

Under restrictions that $Q\left[\underline{x}\right]\in \mathbb{Z}$ for all $\underline{x}\in {\mathbb{Z}}^n\setminus \left\{0\right\}$, and $n\ge 4$ is even, it was obtained [11] that $P_{T,\sigma }^Q$, for $\sigma >\frac{n-1}{2}$, converges weakly to an explicitly given probability measure $P_{\sigma }^Q$ as $T\to \infty$. The discrete version of the latter theorem was given in [12].

The above restrictions on the matrix Q and [9], imply the decomposition

$$\zeta (s;Q)=\zeta (s;E_Q)+\zeta (s;F_Q)$$

(1)

with the zeta-function $\zeta (s;E_Q)$ of a certain Eisenstein series, and the zeta-function $\zeta (s;F_Q)$ of a certain cusp form.

Let $\chi$ be a Dirichlet character modulo q, and

$$L(s,\chi )=\sum _{m=1}^{\infty }\frac{\chi \left(m\right)}{m^s},\sigma >1,$$

the corresponding Dirichlet L-function having analytic continuation to the whole complex plane if $\chi$ is nonprincipal character, and except for a simple pole at the point $s=1$ if $\chi$ is the principal character. Then (1), and [5,7], lead to the representation

$$\zeta (s;Q)=\sum _{k=1}^K\sum _{l=1}^L\frac{a_{kl}}{k^s{l}^s}L(s,{\chi }_k)L\left(s-\frac{n}{2}+1,{\widehat{\chi }}_l\right)+\sum _{m=1}^{\infty }\frac{b_Q\left(m\right)}{m^s},$$

(2)

where ${\chi }_k$ and ${\widehat{\chi }}_l$ are Dirichlet characters, $a_{kl}\in \mathbb{C}$, $k,l\in \mathbb{N}$, and the series with coefficients $b_Q\left(m\right)$ converges absolutely in the half-plane $\sigma >\frac{n-1}{2}$. Thus, the investigation of the function $\zeta (s;Q)$ reduces to that of Dirichlet L-functions which, for $\sigma >1$, have the Euler product

$$L(s,\chi )=\prod _{p\in \mathbb{P}}{\left(1-\frac{\chi \left(p\right)}{p^s}\right)}^{-1}.$$

Our aim is to describe by probabilistic terms the joint asymptotic behaviour of the function $\zeta (s;Q)$ and a zeta-function having no Euler’s product over primes. For this, the most suitable function is the classical Hurwitz zeta-function. Let $0<\alpha \le 1$ be a fixed parameter. The Hurwitz zeta-function $\zeta (s,\alpha )$ was introduced in [16], and is defined, for $\sigma >1$, by

$$\zeta (s,\alpha )=\sum _{m=0}^{\infty }\frac{1}{{(m+\alpha )}^s}.$$

Moreover, $\zeta (s,\alpha )$ has analytic continuation to the whole complex plane, except for a simple pole at the point $s=1$ with residue 1, $\zeta (s,1)=\zeta \left(s\right)$, and

$$\zeta \left(s,\frac{1}{2}\right)=\zeta \left(s\right)\left(2^s-1\right).$$

Analytic properties of the function $\zeta (s,\alpha )$ depend on the arithmetic nature of the parameter $\alpha$. Some probabilistic limit theorems for the function $\zeta (s,\alpha )$ can be found, for example, in [17].

The statement of a joint limit theorem for the functions $\zeta (s;Q)$ and $\zeta (s,\alpha )$ requires some notations. Denote two tori

$${\Omega }_1=\prod _{p\in \mathbb{P}}\{s\in \mathbb{C}:|s|=1\}\mathrm{and}{\Omega }_2=\prod _{m\in {\mathbb{N}}_0}\{s\in \mathbb{C}:|s|=1\}.$$

With the product topology and pointwise multiplication, ${\Omega }_1$ and ${\Omega }_2$ are compact topological Abelian groups. Therefore,

$$\Omega ={\Omega }_1\times {\Omega }_2$$

again is a compact topological group. Hence, on $(\Omega ,\mathcal{B}(\Omega \left)\right)$, the probability Haar measure $m_H$ exists, and we have the probability space $(\Omega ,\mathcal{B}(\Omega ),m_H)$. Denote elements of $\Omega$ by $\omega =({\omega }_1,{\omega }_2)$, ${\omega }_1=({\omega }_1\left(p\right):p\in \mathbb{P})\in {\Omega }_1$ and ${\omega }_2=({\omega }_2\left(m\right):m\in {\mathbb{N}}_0)\in {\Omega }_2$, and, on the probability space $(\Omega ,\mathcal{B}(\Omega ),m_H)$ define, for ${\sigma }_1>\frac{n-1}{2}$ and ${\sigma }_2>\frac{1}{2}$, the ${\mathbb{C}}^2$-valued random element

$$\underline{\zeta }(\underline{\sigma },\omega ,\alpha ;Q)=\left(\zeta ({\sigma }_1,{\omega }_1;Q),\zeta ({\sigma }_2,{\omega }_2,\alpha )\right),$$

where $\underline{\sigma }=({\sigma }_1,{\sigma }_2)$,

$$\begin{array}{ccc}\hfill \zeta ({\sigma }_1,{\omega }_1;Q)& =& \sum _{k=1}^K\sum _{l=1}^L\frac{a_{kl}{\omega }_1\left(k\right){\omega }_1\left(l\right)}{k^{{\sigma }_1}{l}^{{\sigma }_1}}L({\sigma }_1,{\omega }_1,{\chi }_k)L\left({\sigma }_1-\frac{n}{2}+1,{\omega }_1,{\widehat{\chi }}_l\right)\hfill \\ & +& \sum _{m=1}^{\infty }\frac{b_Q\left(m\right){\omega }_1\left(m\right)}{m^{{\sigma }_1}},\hfill \end{array}$$

with

$$L({\sigma }_1,{\omega }_1,{\chi }_k)=\prod _{p\in \mathbb{P}}{\left(1-\frac{{\chi }_k\left(p\right){\omega }_1\left(p\right)}{p^{{\sigma }_1}}\right)}^{-1},$$

$$L\left({\sigma }_1-\frac{n}{2}+1,{\omega }_1,{\widehat{\chi }}_l\right)=\prod _{p\in \mathbb{P}}{\left(1-\frac{{\widehat{\chi }}_l\left(p\right){\omega }_1\left(p\right)}{p^{{\sigma }_1-\frac{n}{2}+1}}\right)}^{-1},$$

$${\omega }_1\left(m\right)=\underset{p^{r+1}\nmid m}{\prod _{p^r\mid m}}{\omega }_1^r\left(p\right),m\in \mathbb{N},$$

and

$$\zeta ({\sigma }_2,\alpha ,{\omega }_2)=\sum _{m=0}^{\infty }\frac{{\omega }_2\left(m\right)}{{(m+\alpha )}^{{\sigma }_2}},m\in \mathbb{N}.$$

Let

$$L(\mathbb{P},\alpha )=\left\{\left(logp:p\in \mathbb{P}\right),\left(log(m+\alpha ):m\in {\mathbb{N}}_0\right)\right\}.$$

Moreover, denote by $P_{\underline{\zeta },\underline{\sigma }}$ the distribution of the random element $\underline{\zeta }(\underline{\sigma },\omega ,\alpha ;Q)$, i.e.,

$$P_{\underline{\zeta },\underline{\sigma }}\left(A\right)=m_H\left\{\omega \in \Omega :\underline{\zeta }(\underline{\sigma },\omega ,\alpha ;Q)\in A\right\},A\in \mathcal{B}\left({\mathbb{C}}^2\right).$$

The main the result of the paper is the following joint limit theorem of Bohr-Jessen type for the functions $\zeta (s;Q)$ and $\zeta (s,\alpha )$.

For brevity, we set

$$\underline{\zeta }(\underline{\sigma }+it,\alpha ;Q)=\left(\zeta ({\sigma }_1+it;Q),\zeta ({\sigma }_2+it,\alpha )\right).$$

Theorem 1.

Suppose that the set $L(\mathbb{P},\alpha )$ is linearly independent over the field of rational numbers $\mathbb{Q}$, and ${\sigma }_1>\frac{n-1}{2}$, ${\sigma }_2>\frac{1}{2}$. Then

$$P_{T,\underline{\zeta },\underline{\sigma }}\left(A\right)=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\underline{\zeta }(\underline{\sigma }+it,\alpha ;Q)\in A\right\},A\in \mathcal{B}\left({\mathbb{C}}^2\right),$$

converges weakly to the measure $P_{\underline{\zeta },\underline{\sigma }}$ as $T\to \infty$.

For example, if the parameter $\alpha$ is transcendental, then the set $L(\mathbb{P},\alpha )$ is linearly independent over $\mathbb{Q}$.

We divide the proof of Theorem 1 into several lemmas which are limit theorems in some spaces for certain auxiliary objects. The important place of the proof is the identification of the limit measure.

2. Limit Lemma on $\Omega$

For $A\in \mathcal{B}(\Omega )$, set

$$P_{T,\Omega }\left(A\right)=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\left(\left(p^{-it},p\in \mathbb{P}\right),\left({(m+\alpha )}^{-it},m\in {\mathbb{N}}_0\right)\right)\in A\right\}.$$

Lemma 1.

Suppose that the set $L(\mathbb{P},\alpha )$ is linearly independent over the field of rational numbers $\mathbb{Q}$. Then $P_{T,\Omega }$ converges weakly to the Haar measure $m_H$ as $T\to \infty$.

Proof. 

The characters of the torus $\Omega$ are of the form

$$\underset{p\in \mathbb{P}}{{\prod }^{*}}{\omega }_1^{k_p}\left(p\right)\underset{m\in {\mathbb{N}}_0}{{\prod }^{*}}{\omega }_2^{l_m}\left(m\right),$$

where the star “*” shows that only a finite number of integers $k_p$ and $l_m$ are non-zeros. Therefore, the Fourier transform $F_{T,\Omega }(\underline{k},\underline{l})$, $\underline{k}=\left(k_p:k_p\in \mathbb{Z},p\in \mathbb{P}\right)$, $\underline{l}=\left(l_m:l_m\in \mathbb{Z},m\in {\mathbb{N}}_0\right)$, is given by

$$F_{T,\Omega }(\underline{k},\underline{l})=\underset{\Omega }{\int }\left(\underset{p\in \mathbb{P}}{{\prod }^{*}}{\omega }_1^{k_p}\left(p\right)\underset{m\in {\mathbb{N}}_0}{{\prod }^{*}}{\omega }_2^{l_m}\left(m\right)\right)\mathrm{d}{P}_{T,\Omega }.$$

Thus, in view of the definition of $P_{T,\Omega }$,

$$\begin{array}{ccc}\hfill F_{T,\Omega }(\underline{k},\underline{l})& =& \frac{1}{T}\underset{0}{\overset{T}{\int }}\left(\underset{p\in \mathbb{P}}{{\prod }^{*}}{p}^{-it{k}_p}\underset{m\in {\mathbb{N}}_0}{{\prod }^{*}}{(m+\alpha )}^{-it{l}_m}\right)\mathrm{d}t\hfill \\ & =& \frac{1}{T}\underset{0}{\overset{T}{\int }}exp\left\{-it\left(\underset{p\in \mathbb{P}}{{\sum }^{*}}{k}_{p}log\left(p\right)+\underset{m\in {\mathbb{N}}_0}{{\sum }^{*}}{l}_{m}log(m+\alpha )\right)\right\}\mathrm{d}t.\hfill \end{array}$$

(3)

We have to show that $F_{T,\Omega }(\underline{k},\underline{l})$ converges to the Fourier transform of the measure $m_H$ as $T\to \infty$, i. e., to

$$F_{\Omega }(\underline{k},\underline{l})=\left\{\begin{array}{cc}1\hfill & \mathrm{if}(\underline{k},\underline{l})=(\underline{0},\underline{0}),\hfill \\ 0\hfill & \mathrm{otherwise},\hfill \end{array}\right.$$

(4)

where $\underline{0}=(0,\cdots ,0,\cdots )$. Since the set $L(\mathbb{P},\alpha )$ is linearly independent over $\mathbb{Q}$,

$$\mathcal{L}(\underline{k},\underline{l})\stackrel{def}{=}\underset{p\in \mathbb{P}}{{\sum }^{*}}{k}_{p}log\left(p\right)+\underset{m\in {\mathbb{N}}_0}{{\sum }^{*}}{l}_{m}log(m+\alpha )\ne 0$$

for $(\underline{k},\underline{l})\ne (\underline{0},\underline{0})$. Therefore, in this case, equality (3) gives

$$F_{T,\Omega }(\underline{k},\underline{l})=\frac{1-exp\{-iT\mathcal{L}(\underline{k},\underline{l})\}}{iT\mathcal{L}(\underline{k},\underline{l})}.$$

Thus, for $(\underline{k},\underline{l})\ne (\underline{0},\underline{0})$,

$$\underset{T\to \infty }{lim}{F}_{T,\Omega }(\underline{k},\underline{l})=0.$$

Since, obviously, $F_{T,\Omega }(\underline{0},\underline{0})=1$, this show that $F_{T,\Omega }(\underline{k},\underline{l})$ converges to (4) as $T\to \infty$. The lemma is proved. □

Lemma 1 is a starting point for the proof of limit lemmas in ${\mathbb{C}}^2$ for certain objects given by absolutely convergent Dirichlet series.

3. Absolutely Convergent Series

Fix $\beta >\frac{1}{2}$, and, for $N\in \mathbb{N}$, set

$$u_N\left(m\right)=exp\left\{-{\left(\frac{m}{N}\right)}^{\beta }\right\},m\in \mathbb{N},$$

and

$$u_N(m,\alpha )=exp\left\{-{\left(\frac{m+\alpha }{N}\right)}^{\beta }\right\},m\in {\mathbb{N}}_0.$$

Define

$$L_N\left(s-\frac{n}{2}+1,{\widehat{\chi }}_l\right)=\sum _{m=1}^{\infty }\frac{{\widehat{\chi }}_l\left(m\right)u_N\left(m\right)}{m^{s-\frac{n}{2}+1}},$$

$$L_N\left(s-\frac{n}{2}+1,{\omega }_1,{\widehat{\chi }}_l\right)=\sum _{m=1}^{\infty }\frac{{\widehat{\chi }}_l\left(m\right){\omega }_1\left(m\right)u_N\left(m\right)}{m^{s-\frac{n}{2}+1}},$$

and

$$\zeta (s,\alpha )=\sum _{m=0}^{\infty }\frac{u_N(m,\alpha )}{{(m+\alpha )}^s},$$

$$\zeta (s,{\omega }_2,\alpha )=\sum _{m=0}^{\infty }\frac{{\omega }_2\left(m\right)u_N(m,\alpha )}{{(m+\alpha )}^s}.$$

Since $u_N\left(m\right)$ and $u_N(m,\alpha )$ decrease with respect to m exponentially, the above series are absolutely convergent for $\sigma >{\sigma }_0$ with arbitrary fixed finite ${\sigma }_0$. For ${\sigma }_1>\frac{n-1}{2}$ and ${\sigma }_2>\frac{1}{2}$, let

$${\underline{\zeta }}_N(\underline{\sigma },\alpha ;Q)=\left({\zeta }_N({\sigma }_1;Q),{\zeta }_N({\sigma }_2,\alpha )\right)$$

with

$${\zeta }_N({\sigma }_1;Q)=\sum _{k=1}^K\sum _{l=1}^L\frac{a_{kl}}{k^{{\sigma }_1}{l}^{{\sigma }_1}}L({\sigma }_1,{\chi }_k)L_N\left({\sigma }_1-\frac{n}{2}+1,{\widehat{\chi }}_l\right)+\sum _{m=1}^{\infty }\frac{b_Q\left(m\right)}{m^{{\sigma }_1}},$$

and

$${\underline{\zeta }}_N(\underline{\sigma },\omega ,\alpha ;Q)=\left({\zeta }_N({\sigma }_1,{\omega }_1;Q),{\zeta }_N({\sigma }_2,{\omega }_2,\alpha )\right)$$

with

$$\begin{array}{ccc}\hfill {\zeta }_N({\sigma }_1,{\omega }_1;Q)& =& \sum _{k=1}^K\sum _{l=1}^L\frac{a_{kl}{\omega }_1\left(k\right){\omega }_1\left(l\right)}{k^{{\sigma }_1}{l}^{{\sigma }_1}}L({\sigma }_1,{\omega }_1,{\chi }_k)L_N\left({\sigma }_1-\frac{n}{2}+1,{\omega }_1,{\chi }_k\right)\hfill \\ & +& \sum _{m=1}^{\infty }\frac{b_Q\left(m\right){\omega }_1\left(m\right)}{m^{{\sigma }_1}}.\hfill \end{array}$$

For $A\in \mathcal{B}\left({\mathbb{C}}^2\right)$, define

$$P_{T,N,\underline{\sigma }}^{Q,\alpha }\left(A\right)=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:{\underline{\zeta }}_N(\underline{\sigma }+it,\alpha ;Q)\in A\right\}$$

and

$$P_{T,N,\underline{\sigma }}^{Q,\alpha ,\Omega }\left(A\right)=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:{\underline{\zeta }}_N(\underline{\sigma }+it,\omega ,\alpha ;Q)\in A\right\}.$$

This section is devoted to weak convergence of $P_{T,N,\underline{\sigma }}^{Q,\alpha }$ and $P_{T,N,\underline{\sigma }}^{Q,\alpha ,\Omega }$ as $T\to \infty$. Let the mapping $v_{N,\underline{\sigma }}^{Q,\alpha }:\Omega \to {\mathbb{C}}^2$ be given by

$$v_{N,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)={\underline{\zeta }}_N(\underline{\sigma },\omega ,\alpha ;Q),{\sigma }_1>\frac{n-1}{2},{\sigma }_2>\frac{1}{2},$$

and $V_{N,\underline{\sigma }}^{Q,\alpha }=m_H{\left(v_{N,\underline{\sigma }}^{Q,\alpha }\right)}^{-1}$, where, for $A\in \mathcal{B}\left({\mathbb{C}}^2\right)$,

$$V_{N,\underline{\sigma }}^{Q,\alpha }\left(A\right)=m_H\left({\left(v_{N,\underline{\sigma }}^{Q,\alpha }\right)}^{-1}A\right).$$

Since all Dirichlet series in the definition of ${\underline{\zeta }}_N(\underline{\sigma },\omega ,\alpha ;Q)$ are absolutely convergent in the considered region, the mapping $v_{N,\underline{\sigma }}^{Q,\alpha }$ is continuous, hence $(\mathcal{B}(\Omega ),\mathcal{B}\left({\mathbb{C}}^2\right))$-measurable. Therefore, the probability measure $V_{N,\underline{\sigma }}^{Q,\alpha }$ is defined correctly, see, for example, [18], Section 5.

Lemma 2.

Under hypotheses of Theorem 1, $P_{T,N,\underline{\sigma }}^{Q,\alpha }$ and $P_{T,N,\underline{\sigma }}^{Q,\alpha ,\Omega }$ both converge weakly to the same probability measure $V_{N,\underline{\sigma }}^{Q,\alpha }$ as $T\to \infty$.

Proof. 

We apply the principle of preservation of weak convergence under continuous mappings, see Section 5 of [18]. By the definitions of $P_{T,N,\underline{\sigma }}^{Q,\alpha }$, $P_{T,\Omega }$ and $v_{N,\underline{\sigma }}^{Q,\alpha }$, we have

$$\begin{array}{ccc}\hfill P_{T,N,\underline{\sigma }}^{Q,\alpha }\left(A\right)& =& \frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\left(\left(p^{-it},p\in \mathbb{P}\right),\left({(m+\alpha )}^{-it},m\in {\mathbb{N}}_0\right)\right)\in {\left(v_{N,\underline{\sigma }}^{Q,\alpha }\right)}^{-1}A\right\}\hfill \\ & & P_{T,\Omega }\left({\left(v_{N,\underline{\sigma }}^{Q,\alpha }\right)}^{-1}A\right)\hfill \end{array}$$

for every $A\in \mathcal{B}\left({\mathbb{C}}^2\right)$. Thus, $P_{T,N,\underline{\sigma }}^{Q,\alpha }=P_{T,\Omega }^{Q,\alpha }{\left(v_{N,\underline{\sigma }}^{Q,\alpha }\right)}^{-1}$. This, continuity of $v_{N,\underline{\sigma }}^{Q,\alpha }$, Lemma 1 and Theorem 5.1 of [18] imply that $P_{T,N,\underline{\sigma }}^{Q,\alpha }$ converges to $V_{N,\underline{\sigma }}^{Q,\alpha }$ as $T\to \infty$.

It remains to show that $P_{T,N,\underline{\sigma }}^{Q,\alpha ,\Omega }$ also converges to $V_{N,\underline{\sigma }}^{Q,\alpha }$ as $T\to \infty$. Let $\widehat{\omega }\in \Omega$, and the mapping $w_{N,\underline{\sigma }}^{Q,\alpha }:\Omega \to {\mathbb{C}}^2$ be given by

$$w_{N,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)={\zeta }_N(\underline{\sigma },\omega \widehat{\omega },\alpha ;Q).$$

Thus, we have that

$$\begin{array}{c}\hfill w_{N,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)=v_{N,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)\left(a\left(\omega \right)\right),\end{array}$$

(5)

where $a:\Omega \to \Omega$ is given by $a\left(\omega \right)=\omega \widehat{\omega }$. By the same lines as in the case of $P_{T,N,\underline{\sigma }}^{Q,\alpha }$, we find that $P_{T,N,\underline{\sigma }}^{Q,\alpha ,\Omega }$ converges weakly to the measure $W_{N,\underline{\sigma }}^{Q,\alpha }=m_H{\left(w_{N,\underline{\sigma }}^{Q,\alpha }\right)}^{-1}$. However, by (5) and invariance of the Haar measure, we obtain

$$W_{N,\underline{\sigma }}^{Q,\alpha }=m_H{\left(v_{N,\underline{\sigma }}^{Q,\alpha }\left(a\right)\right)}^{-1}=\left(m_H{a}^{-1}\right){\left(v_{N,\underline{\sigma }}^{Q,\alpha }\right)}^{-1}=m_H{\left(v_{N,\underline{\sigma }}^{Q,\alpha }\right)}^{-1}=V_{N,\underline{\sigma }}^{Q,\alpha }.$$

This completes the proof of the lemma. □

4. Approximation Lemmas

In this section, we approximate $\underline{\zeta }(\underline{\sigma }+it,\alpha ;Q)$ by ${\underline{\zeta }}_N(\underline{\sigma }+it,\alpha ;Q)$ and $\underline{\zeta }(\underline{\sigma }+it,\omega ,\alpha ;Q)$ by ${\underline{\zeta }}_N(\underline{\sigma }+it,\omega ,\alpha ;Q)$.

Let, for ${\underline{z}}_1=(z_{11},z_{12})$, ${\underline{z}}_2=(z_{21},z_{22})\in {\mathbb{C}}^2$,

$$\rho ({\underline{z}}_1,{\underline{z}}_2)={\left(|z_{11}-z_{21}{|}^2+{|z_{12}-z_{22}|}^2\right)}^{1/2}.$$

Lemma 3.

For ${\sigma }_1>\frac{n-1}{2}$ and ${\sigma }_2>\frac{1}{2}$,

$$\underset{N\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\frac{1}{T}\underset{0}{\overset{T}{\int }}\rho \left(\underline{\zeta }(\underline{\sigma }+it,\alpha ;Q),{\underline{\zeta }}_N(\underline{\sigma }+it,\alpha ;Q)\right)\mathrm{d}t=0,$$

and, for almost all $\omega \in \Omega$,

$$\underset{N\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\frac{1}{T}\underset{0}{\overset{T}{\int }}\rho \left(\underline{\zeta }(\underline{\sigma }+it,\omega ,\alpha ;Q),{\underline{\zeta }}_N(\underline{\sigma }+it,\omega ,\alpha ;Q)\right)\mathrm{d}t=0.$$

Proof. 

The first equality of the lemma is a corollary of the equalities

$$\underset{N\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\frac{1}{T}\underset{0}{\overset{T}{\int }}\left|\zeta ({\sigma }_1+it;Q)-{\zeta }_N({\sigma }_1+it;Q)\right|\mathrm{d}t=0$$

and

$$\underset{N\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\frac{1}{T}\underset{0}{\overset{T}{\int }}\left|\zeta ({\sigma }_2+it,\alpha )-{\zeta }_N({\sigma }_2+it,\alpha )\right|\mathrm{d}t=0.$$

(6)

The first of them was obtained in [11], Lemma 4. Its proof is based on the integral representation

$$L_N\left({\sigma }_1-\frac{n}{2}+1,{\widehat{\chi }}_l\right)=\frac{1}{2\pi i}\underset{\beta -i\infty }{\overset{\beta +i\infty }{\int }}L\left({\sigma }_1-\frac{n}{2}+1+z,{\widehat{\chi }}_l\right)l_N\left(z\right)\mathrm{d}z,$$

where

$$l_N\left(z\right)=\frac{1}{\beta }\Gamma \left(\frac{z}{\beta }\right)N^z,$$

and the mean square estimate for Dirichlet L functions in the half plane $\sigma >\frac{1}{2}$.

For the proof of (6), we use, for ${\sigma }_2>\frac{1}{2}$, the representation

$${\zeta }_N(s,\alpha )=\frac{1}{2\pi i}\underset{\beta -i\infty }{\overset{\beta +i\infty }{\int }}\zeta (s+z,\alpha )l_N\left(z\right)\mathrm{d}z.$$

(7)

Since ${\sigma }_2>\frac{1}{2}$, there exists $ϵ>0$ such that $\frac{1}{2}+ϵ<{\sigma }_2$. Let $\beta ={\sigma }_2$, and ${\beta }_1=\frac{1}{2}+ϵ-{\sigma }_2$. The integrand in (7) has simple poles $z=0$ and $z=1-s$ in the strip ${\beta }_1<\mathrm{Re}z<\beta$. Therefore, by the residue theorem and (7),

$$\begin{array}{c}\hfill {\zeta }_N({\sigma }_2+it,\alpha )-\zeta ({\sigma }_2+it,\alpha )=\frac{1}{2\pi i}\underset{{\beta }_1-i\infty }{\overset{{\beta }_1+i\infty }{\int }}\zeta ({\sigma }_2+it+z,\alpha )l_N\left(z\right)\mathrm{d}z+l_N(1-{\sigma }_2-it).\end{array}$$

Hence,

$$\begin{array}{ccc}\hfill {\zeta }_N({\sigma }_2+it,\alpha )-\zeta ({\sigma }_2+it,\alpha )& \ll & \underset{-\infty }{\overset{\infty }{\int }}\left|\zeta \left(\frac{1}{2}+ϵ+it+i\tau ,\alpha \right)\right|\left|l_N\left(\frac{1}{2}+ϵ-{\sigma }_2+i\tau \right)\right|\mathrm{d}\tau \hfill \\ & & +|l_N(1-{\sigma }_2-it)|\hfill \end{array}$$

and

$$\begin{array}{ccc}\hfill & & \frac{1}{T}\underset{0}{\overset{T}{\int }}\left|\zeta ({\sigma }_2+it,\alpha )-{\zeta }_N({\sigma }_2+it,\alpha )\right|\mathrm{d}t\hfill \\ & & \ll \underset{-\infty }{\overset{\infty }{\int }}\left(\frac{1}{T}\underset{0}{\overset{T}{\int }}\left|\zeta \left(\frac{1}{2}+ϵ+it+i\tau ,\alpha \right)\right|\mathrm{d}t\right)\left|l_N\left(\frac{1}{2}+ϵ-{\sigma }_2+i\tau ,\right)\right|\mathrm{d}\tau \hfill \\ & & +\frac{1}{T}\underset{0}{\overset{T}{\int }}\left|l_N(1-{\sigma }_2-it)\right|\mathrm{d}t\stackrel{def}{=}{I}_1(T,N)+I_2(T,N).\hfill \end{array}$$

(8)

It is well known, see, for example, [17], that, for $\frac{1}{2}<\sigma <1$,

$$\underset{-T}{\overset{T}{\int }}{\left|\zeta \left(\sigma +it,\alpha \right)\right|}^2\mathrm{d}t{\ll }_{\sigma ,\alpha }T.$$

Therefore, for large T,

$$\begin{array}{ccc}\hfill & & \frac{1}{T}\underset{0}{\overset{T}{\int }}\left|\zeta \left(\frac{1}{2}+ϵ+it+i\tau ,\alpha \right)\right|\mathrm{d}\tau \ll {\left(\frac{1}{T}\underset{0}{\overset{T}{\int }}{\left|\zeta \left(\frac{1}{2}+ϵ+it+i\tau ,\alpha \right)\right|}^2\mathrm{d}t\right)}^{1/2}\hfill \\ & & \le {\left(\frac{1}{T}\underset{-\left|\tau \right|}{\overset{T+\left|\tau \right|}{\int }}{\left|\zeta \left(\frac{1}{2}+ϵ+it,\alpha \right)\right|}^2\mathrm{d}t\right)}^{1/2}{\ll }_{ϵ,\alpha }{\left(\frac{T+\left|\tau \right|}{T}\right)}^{1/2}\hfill \\ & & {\ll }_{ϵ,\alpha }{\left(1+\left|\tau \right|\right)}^{1/2}.\hfill \end{array}$$

(9)

For the gamma-function, the estimate

$$\begin{array}{c}\hfill \Gamma (\sigma +it)\ll exp\left\{-c\left|t\right|\right\},c>0,\end{array}$$

(10)

uniformly for $\sigma$ in every finite interval is valid. Therefore,

$$l_N\left(\frac{1}{2}+ϵ-{\sigma }_2+i\tau \right){\ll }_{{\sigma }_2}{N}^{\frac{1}{2}+ϵ-{\sigma }_2}exp\left\{-\frac{c}{{\sigma }_2}\left|\tau \right|\right\}.$$

This together with (9) shows that

$$\begin{array}{c}\hfill I_1(T,N){\ll }_{ϵ,{\sigma }_2,\alpha }{N}^{\frac{1}{2}+ϵ-{\sigma }_2}\underset{-\infty }{\overset{\infty }{\int }}{\left(1+\left|\tau \right|\right)}^{1/2}exp\left\{-\frac{c}{{\sigma }_2}\left|\tau \right|\right\}\mathrm{d}\tau {\ll }_{ϵ,{\sigma }_2,\alpha }{N}^{\frac{1}{2}+ϵ-{\sigma }_2}.\end{array}$$

(11)

By (10) again,

$$l_N\left(1-{\sigma }_2-it\right){\ll }_{{\sigma }_2}{N}^{1-{\sigma }_2}exp\left\{-\frac{c}{{\sigma }_2}\left|t\right|\right\},$$

and thus,

$$\begin{array}{c}\hfill I_2(T,N){\ll }_{{\sigma }_2}{N}^{1-{\sigma }_2}\underset{0}{\overset{\infty }{\int }}exp\left\{-\frac{c}{{\sigma }_2}\left|t\right|\right\}\mathrm{d}t{\ll }_{{\sigma }_2}{N}^{1-{\sigma }_2}\frac{logT}{T}.\end{array}$$

Since $\frac{1}{2}+ϵ-{\sigma }_2<0$, this, (11) and (8) prove (6).

The second equality of the lemma follows from the following two equalities

$$\underset{N\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\frac{1}{T}\underset{0}{\overset{T}{\int }}\left|\zeta ({\sigma }_1+it,{\omega }_1;Q)-{\zeta }_N({\sigma }_1+it,{\omega }_1;Q)\right|\mathrm{d}t=0$$

and

$$\underset{N\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\frac{1}{T}\underset{0}{\overset{T}{\int }}\left|\zeta ({\sigma }_2+it,\alpha ,{\omega }_2)-{\zeta }_N({\sigma }_2+it,\alpha ,{\omega }_2)\right|\mathrm{d}t=0$$

for almost all ${\omega }_1\in {\Omega }_1$ and almost all ${\omega }_2\in {\Omega }_2$, respectively.

The first of them has been obtained in [11], Lemma 7, while the second is proved similarly to equality (6) by using the representation, for $\sigma >\frac{1}{2}$,

$${\zeta }_N(s,\alpha ,\omega )=\frac{1}{2\pi i}\underset{\beta -i\infty }{\overset{\beta +i\infty }{\int }}\zeta (s+z,\alpha ,\omega )l_N\left(z\right)\mathrm{d}z$$

as well as the bound, for $\frac{1}{2}<\sigma <1$ and almost all ${\omega }_2\in {\Omega }_2$,

$$\underset{-T}{\overset{T}{\int }}{\left|\zeta (\sigma +it,\alpha ,{\omega }_2)\right|}^2\mathrm{d}t{\ll }_{\sigma ,\alpha }T,$$

see, for example, [17]. □

5. Tightness

Let $\left\{P\right\}$ be a family of probability measures on $(\mathbb{X},\mathcal{B}(\mathbb{X}\left)\right)$. Remind that the family $\left\{P\right\}$ is called tight if, for every $ϵ>0$, there exists a compact set $K\subset \mathbb{X}$ such that

$$P\left(K\right)>1-ϵ$$

for all $P\in \left\{P\right\}$. The family $\left\{P\right\}$ is relatively compact if every sequence $\left\{P_n\right\}\subset \left\{P\right\}$ contains a subsequence $\left\{P_n\right\}$ weakly convergent to a certain probability measure on $(\mathbb{X},\mathcal{B}(\mathbb{X}\left)\right)$ as $n\to \infty$.

A property of relative compactness is useful for investigation of weak convergence of probability measures. By the classical Prokhorov theorem, see, for example, [18], every tight family $\left\{P\right\}$ is relatively compact as well. Therefore, often it is convenient to know the tightness of considered family. In our case, this concerns the measure $V_N^{Q,\alpha }$, $N\in \mathbb{N}$.

Lemma 4.

The family $\{V_N^{Q,\alpha }:N\in \mathbb{N}\}$ is tight.

Proof. 

Consider the marginal measures of the measure $V_N^{Q,\alpha }$, i. e., for $A\in \mathcal{B}\left(\mathbb{C}\right)$,

$$V_{N,{\sigma }_1}^Q\left(A\right)=V_{N,\underline{\sigma }}^{Q,\alpha }(A\times \mathbb{C})$$

and

$$V_{N,{\sigma }_2}^{\alpha }\left(A\right)=V_{N,\underline{\sigma }}^{Q,\alpha }(\mathbb{C}\times A).$$

It is easily seen that the measure $V_{N,{\sigma }_1}^Q$ appears in the process related to weak convergence of the measure $P_{T,\underline{\sigma }}^Q$ and the measure $V_{N,{\sigma }_2}^{\alpha }$ is used for study of

$$P_{T,{\sigma }_2}^{\alpha }\left(A\right)=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\zeta ({\sigma }_2+it,\alpha )\in A\right\},A\in \mathcal{B}\left(\mathbb{C}\right).$$

Thus, in [17], it was obtained the tightness of the family $\{V_{N,{\sigma }_1}^Q:n\in \mathbb{N}\}$, i. e., for every $ϵ>0$, there exists a compact set $K_1\subset \mathbb{C}$ such that

$$V_{N,{\sigma }_1}^Q\left(K_1\right)>1-\frac{ϵ}{2}$$

(12)

for all $N\in \mathbb{N}$. We will prove a similar inequality for $V_{N,{\sigma }_2}^{\alpha }$.

Repeating the proofs of Lemmas 1 and 2 leads to weak convergence of

$$P_{T,N,{\sigma }_2}^{\alpha }\left(A\right)=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:{\zeta }_N({\sigma }_2+it,\alpha )\in A\right\},A\in \mathcal{B}\left(\mathbb{C}\right),$$

to $V_{N,{\sigma }_2}^{\alpha }$ as $T\to \infty$. Introduce a random variable ${\theta }_T$ defined on a certain probability space $(\Xi ,\mathcal{A},\mu )$ and uniformly distributed in $[0,T]$. Define

$${\xi }_{T,N,{\sigma }_2}^{\alpha }={\xi }_{T,N,{\sigma }_2}^{\alpha }\left(\sigma \right)={\zeta }_N({\sigma }_2+i{\theta }_T,\alpha ),$$

and denote by $\stackrel{\mathit{D}}{\to }$ the convergence in distribution. Then, the above remark can be written as

$${\xi }_{T,N,{\sigma }_2}^{\alpha }\underset{T\to \infty }{\overset{\mathit{D}}{\to }}{\xi }_{N,{\sigma }_2}^{\alpha },$$

(13)

where ${\xi }_{N,{\sigma }_2}^{\alpha }$ is a random variable with distribution $V_{N,{\sigma }_2}^{\alpha }$. Since the series for ${\zeta }_N(s,\alpha )$ is absolutely convergent, we have

$$\begin{array}{ccc}\hfill \underset{N\in \mathbb{N}}{sup}\underset{T\to \infty }{lim\; sup}\frac{1}{T}\underset{0}{\overset{T}{\int }}{\left|{\zeta }_N({\sigma }_2+it,\alpha )\right|}^2\mathrm{d}t& =& \underset{N\in \mathbb{N}}{sup}\sum _{m=1}^{\infty }\frac{v_N^2(m,\alpha )}{{(m+\alpha )}^{2{\sigma }_2}}\le \sum _{m=1}^{\infty }\frac{1}{{(m+\alpha )}^{2{\sigma }_2}}\hfill \\ & \le & C_{\alpha ,{\sigma }_2}<\infty .\hfill \end{array}$$

Then, in view of (13),

$$\begin{array}{ccc}\hfill \underset{N\in \mathbb{N}}{sup}\mu \left\{\left|{\xi }_{N,{\sigma }_2}^{\alpha }\right|\ge \sqrt{C_{\alpha ,{\sigma }_2}{\left(\frac{ϵ}{2}\right)}^{-1}}\right\}& =& \underset{N\in \mathbb{N}}{sup}\underset{T\to \infty }{lim\; sup}\mu \left\{\left|{\xi }_{T,N,{\sigma }_2}^{\alpha }\right|\ge \sqrt{C_{\alpha ,{\sigma }_2}{\left(\frac{ϵ}{2}\right)}^{-1}}\right\}\hfill \\ & \le & \underset{N\in \mathbb{N}}{sup}\frac{1}{C_{\alpha ,{\sigma }_2}}\frac{ϵ}{2}\underset{T\to \infty }{lim\; sup}\frac{1}{T}\underset{0}{\overset{T}{\int }}{\left|{\zeta }_N({\sigma }_2+it,\alpha )\right|}^2\mathrm{d}t\hfill \\ & \le & \frac{ϵ}{2}.\hfill \end{array}$$

(14)

Let $K_2=\left\{z\in \mathbb{C}:\left|z\right|\le \sqrt{C_{\alpha ,{\sigma }_2}{\left(\frac{ϵ}{2}\right)}^{-1}}\right\}$. Then $K_2$ is a compact set in $\mathbb{C}$, and, by (14),

$$V_{N,{\sigma }_2}^{\alpha }\left(K_1\right)>1-\frac{ϵ}{2}$$

(15)

for all $N\in \mathbb{N}$.

Now, define $K=K_1\times K_2$. Then K is a compact set in ${\mathbb{C}}^2$. Moreover, taking into account (12) and (15) gives

$$V_{N,\underline{\sigma }}^{Q,\alpha }({\mathbb{C}}^2\setminus K))\le V_{N,{\sigma }_1}^Q(\mathbb{C}\setminus K_1)+V_{N,{\sigma }_2}^{\alpha }(\mathbb{C}\setminus K_2)\le \frac{ϵ}{2}+\frac{ϵ}{2}=ϵ$$

for all $N\in \mathbb{N}$. Thus, $V_{N,\underline{\sigma }}^{Q,\alpha }\left(K\right)\ge 1-ϵ$ for all $N\in \mathbb{N}$, and the proof is completed. □

6. Limit Theorems

Now we are ready to prove weak convergence for $P_{T,\underline{\zeta },\underline{\sigma }}$ and

$$P_{T,\underline{\zeta },\underline{\sigma }}^{\Omega }\left(A\right)=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\underline{\zeta }(\underline{\sigma }+it,\omega ,\alpha ;Q)\in A\right\},A\in \mathcal{B}\left({\mathbb{C}}^2\right).$$

Proposition 1.

Suppose that the set $L(\mathbb{P};\alpha )$ is linearly independent over $\mathbb{Q}$, and ${\sigma }_1>\frac{n-1}{2}$, ${\sigma }_2>\frac{1}{2}$. Then $P_{T,\underline{\zeta },\underline{\sigma }}$ and $P_{T,\underline{\zeta },\underline{\sigma }}^{\Omega }$, for almost all $\omega \in \Omega$, both converge to the same probability measure $P_{\underline{\sigma }}$ as $T\to \infty$.

Proof. 

Let ${\theta }_T$ be the same random variable as in Section 5. Introduce the ${\mathbb{C}}^2$-valued random elements

$${\underline{\xi }}_{T,N,\underline{\sigma }}^{Q,\alpha }={\underline{\zeta }}_N(\underline{\sigma }+i{\theta }_T,\alpha ;Q)$$

and

$${\underline{\xi }}_{T,\underline{\sigma }}^{Q,\alpha }=\underline{\zeta }(\underline{\sigma }+i{\theta }_T,\alpha ;Q).$$

Moreover, let ${\underline{\xi }}_{N,\underline{\sigma }}^{Q,\alpha }$ be ${\mathbb{C}}^2$-valued random element having the distribution $V_{N,\underline{\sigma }}^{Q,\alpha }$. Then the assertion of Lemma 2 for $P_{T,N,\underline{\sigma }}^{Q,\alpha }$ can be written as

$${\underline{\xi }}_{T,N,\underline{\sigma }}^{Q,\alpha }\underset{T\to \infty }{\overset{\mathit{D}}{\to }}{\underline{\xi }}_{N,\underline{\sigma }}^{Q,\alpha }.$$

(16)

Lemma 4 together with Prokhorov’s theorem implies that the family $\{V_{N,\underline{\sigma }}^{Q,\alpha }:N\in \mathbb{N}\}$ is relatively compact. Hence, we have a sequence $\left\{V_{N_r,\underline{\sigma }}^{Q,\alpha }\right\}\subset \left\{V_{N,\underline{\sigma }}^{Q,\alpha }\right\}$ and a probability measure $V_{\underline{\sigma }}^{Q,\alpha }$ on $({\mathbb{C}}^2,\mathcal{B}\left({\mathbb{C}}^2\right))$ such that

$${\underline{\xi }}_{N_r,\underline{\sigma }}^{Q,\alpha }\underset{r\to \infty }{\overset{\mathit{D}}{\to }}{V}_{\underline{\sigma }}^{Q,\alpha }.$$

(17)

Now, it is a time for application of Lemma 3. Thus, using Lemma 3, we obtain that, for every $ϵ>0$,

$$\begin{array}{ccc}& & \underset{r\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\mu \left\{\rho \left({\underline{\xi }}_{T,\underline{\sigma }}^{Q,\alpha },{\underline{\xi }}_{T,N_r,\underline{\sigma }}^{Q,\alpha }\right)\ge ϵ\right\}\hfill \\ & =& \underset{r\to \infty }{lim}\underset{T\to \infty }{sup}\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\rho \left(\zeta (\underline{\sigma }+it,\alpha ;Q),{\zeta }_{N_r}(\underline{\sigma }+it,\alpha ;Q)\right)\ge ϵ\right\}\hfill \\ & \le & \underset{r\to \infty }{lim}\underset{T\to \infty }{sup}\frac{1}{ϵT}\underset{0}{\overset{T}{\int }}\rho \left(\zeta (\underline{\sigma }+it,\alpha ;Q),{\zeta }_{N_r}(\underline{\sigma }+it,\alpha ;Q)\right)\mathrm{d}t=0.\hfill \end{array}$$

This equality, and relations (16) and (17) show that Theorem 4 from [18] can be applied for the random elements ${\underline{\xi }}_{T,N_r,\underline{\sigma }}^{Q,\alpha }$, ${\underline{\xi }}_{N_r,\underline{\sigma }}^{Q,\alpha }$ and ${\underline{\xi }}_{T,\underline{\sigma }}^{Q,\alpha }$. Thus, we have

$${\underline{\xi }}_{T,\underline{\sigma }}^{Q,\alpha }\underset{T\to \infty }{\overset{\mathit{D}}{\to }}{V}_{\underline{\sigma }}^{Q,\alpha },$$

(18)

in other words, $P_{T,\underline{\zeta },\underline{\sigma }}$ converges weakly to the measure $V_{\underline{\sigma }}^{Q,\alpha }$ as $T\to \infty$.

It remains to prove that $P_{T,\underline{\zeta },\underline{\sigma }}^{\Omega }$, as $T\to \infty$, converges weakly to the measure $V_{\underline{\sigma }}^{Q,\alpha }$ as well. Relation (18) shows that the limit measure $V_{\underline{\sigma }}^{Q,\alpha }$ does not depend on the sequence $\left\{V_{N_r,\underline{\sigma }}^{Q,\alpha }\right\}$. Since the family $\left\{V_{N,\underline{\sigma }}^{Q,\alpha }\right\}$ is relatively compact, the latter remark implies the relation

$${\underline{\xi }}_{N,\underline{\sigma }}^{Q,\alpha }\underset{N\to \infty }{\overset{\mathit{D}}{\to }}{V}_{\underline{\sigma }}^{Q,\alpha }.$$

(19)

Define the random elements

$${\underline{\xi }}_{T,N,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)={\underline{\zeta }}_N(\underline{\sigma }+i{\theta }_T,\omega ,\alpha ;Q)$$

and

$${\underline{\xi }}_{T,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)=\underline{\zeta }(\underline{\sigma }+i{\theta }_T,\omega ,\alpha ;Q).$$

By Lemma 2, for $P_{T,N,\underline{\sigma }}^{Q,\alpha ,\Omega }$, the relation

$${\underline{\xi }}_{T,N,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)\underset{T\to \infty }{\overset{\mathit{D}}{\to }}{\underline{\xi }}_{N,\underline{\sigma }}^{Q,\alpha }$$

(20)

holds. Moreover, Lemma 3, for every $ϵ>0$ and almost all $\omega \in \Omega$, implies

$$\begin{array}{ccc}& & \underset{N\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\mu \left\{\rho \left({\underline{\xi }}_{T,\underline{\sigma }}^{Q,\alpha }\left(\omega \right),{\underline{\xi }}_{T,N,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)\right)\ge ϵ\right\}\hfill \\ & \le & \underset{N\to \infty }{lim}\underset{T\to \infty }{lim\; sup}\frac{1}{ϵT}\underset{0}{\overset{T}{\int }}\rho \left(\underline{\zeta }(\underline{\sigma }+it,\omega ,\alpha ;Q),{\underline{\zeta }}_N(\underline{\sigma }+it,\omega ,\alpha ;Q)\right)\mathrm{d}t=0.\hfill \end{array}$$

This, (19), (20) and Theorem 4.2 of [18] yield, for almost all $\omega \in \Omega$, the relation

$${\underline{\xi }}_{T,\underline{\sigma }}^{Q,\alpha }\left(\omega \right)\underset{T\to \infty }{\overset{\mathit{D}}{\to }}{V}_{\underline{\sigma }}^{Q,\alpha },$$

i. e., that $P_{T,\underline{\zeta },\underline{\sigma }}^{\Omega }$, as $T\to \infty$, converges weakly to $V_{\underline{\sigma }}^{Q,\alpha }$. The proposition is proved. □

7. Proof of Theorem

Let $t\in \mathbb{R}$ and $e_t=\left(\left(p^{-it}:p\in \mathbb{P}\right),\left({(m+\alpha )}^{-it},m\in {\mathbb{N}}_0\right)\right)$. Obviously, $e_t$ is an element of $\Omega$. Using $e_t$, define a transformation $g_t:\Omega \to \Omega$ by

$$g_t\left(\omega \right)=e_t\omega ,\omega \in \Omega .$$

In virtue of the invariance of the Haar measure $m_H$, $g_t$ is a measurable measure preserving transformation on $\Omega$. Then ${\mathcal{G}}_t=\{g_t:t\in \mathbb{R}\}$ is the one-parameter group of transformations on $\Omega$. A set $A\in \mathcal{B}(\Omega )$ is invariant with respect to ${\mathcal{G}}_t$ if, for every $t\in \mathbb{R}$ the sets $A_t=g_t\left(A\right)$ and A can differ one from another at most by a set of $m_H$-measure zero. All invariant sets form a $\sigma$-subfield of $\mathcal{B}(\Omega )$. We say that the group ${\mathcal{G}}_t$ is ergodic if its $\sigma$-field of invariant sets consists only of sets having $m_H$-measure 1 or 0.

Lemma 5.

Suppose that the set $L(\mathbb{P},\alpha )$ is linearly independent over $\mathbb{Q}$. Then the group ${\mathcal{G}}_t$ is ergodic.

Proof. 

We fix an invariant set A of the group ${\mathcal{G}}_t$, and consider its indicator function $I_A$. We will prove that, for almost all $\omega \in \Omega$, $I_A\left(\omega \right)=1$ or $I_A\left(\omega \right)=0$. For this, we will use the Fourier transform method.

By the proof of Lemma 1, we know that characters $\chi$ of $\Omega$ are of the form

$$\chi \left(\omega \right)=\underset{p\in \mathbb{P}}{{\prod }^{*}}{\omega }_1^{k_p}\left(p\right)\underset{m\in {\mathbb{N}}_0}{{\prod }^{*}}{\omega }_2^{l_m}\left(m\right),$$

where the star “*” indicates that only a finite number of integers $k_p$ and $l_m$ are non-zeros. Hence, if $\chi$ is a non-trivial character,

$$\begin{array}{ccc}\hfill \chi \left(g_t\right)& =& \underset{p\in \mathbb{P}}{{\prod }^{*}}{p}^{-it{k}_p}\underset{m\in {\mathbb{N}}_0}{{\prod }^{*}}{(m+\alpha )}^{-it{l}_m}\hfill \\ & =& exp\left\{-it\left(\underset{p\in \mathbb{P}}{{\sum }^{*}}{k}_{p}log\left(p\right)+\underset{m\in {\mathbb{N}}_0}{{\sum }^{*}}{l}_{m}log(m+\alpha )\right)\right\}.\hfill \end{array}$$

Since $\chi$ is a non-principal character, i. e., $\chi \left(\omega \right)\not\equiv 1$. The linear independence of the set $L(\mathbb{P},\alpha )$ shows that

$$\underset{p\in \mathbb{P}}{{\sum }^{*}}{k}_{p}log\left(p\right)+\underset{m\in {\mathbb{N}}_0}{{\sum }^{*}}{l}_{m}log(m+\alpha )\ne 0$$

for $k_p\not\equiv 0$ and $l_m\not\equiv 0$. These remarks implies the existence of $t_0\ne 0$ such that

$$\chi \left(g_{t_0}\right)\ne 1.$$

(21)

Moreover, by the invariance of A, for almost all $\omega \in \Omega$,

$$I_A\left(g_{t_0}\right)=I_A\left(\omega \right).$$

(22)

Let $\widehat{h}$ denotes the Fourier transform of h. Then, by (22), invariant of $m_H$ and multiplicativity of characters

$${\widehat{I}}_A\left(\chi \right)=\underset{\Omega }{\int }{I}_A\left(\omega \right)\chi \left(\omega \right)\mathrm{d}{m}_H=\chi \left(g_{t_0}\right)\underset{\Omega }{\int }{I}_A\left(\omega \right)\chi \left(\omega \right)\mathrm{d}{m}_H=\chi \left(g_{t_0}\right){\widehat{I}}_A\left(\chi \right).$$

Thus, (21) gives

$${\widehat{I}}_A\left(\chi \right)=0.$$

(23)

Now, suppose that $\chi \left(\omega \right)\equiv 1$, and ${\widehat{I}}_A\left(\chi \right)=a$. Then

$$\widehat{a}\left(\chi \right)=\underset{\Omega }{\int }a\left(\chi \right)\chi \left(\omega \right)\mathrm{d}{m}_H=a\underset{\Omega }{\int }\chi \left(\omega \right)\mathrm{d}{m}_H=\left\{\begin{array}{cc}a\hfill & \mathrm{if}\chi \left(\omega \right)\equiv 1,\hfill \\ 0\hfill & \mathrm{otherwise},\hfill \end{array}\right.$$

by orthogonality of characters. This, and (23) gives

$${\widehat{I}}_A\left(\chi \right)=\widehat{a}\left(\chi \right).$$

The latter equality shows that $I_A\left(\omega \right)=a$ for almost all $\omega \in \Omega$. In other words, $a=1$ or $a=0$ for almost all $\omega \in \Omega$. Thus, $I_A\left(\omega \right)=1$ or $I_A\left(\omega \right)=0$ for almost all $\omega \in \Omega$. Therefore, $m_H\left(A\right)=1$ or $m_H\left(A\right)=0$, and the proof is completed. □

For convenience, we remind the classical Birkhoff-Khintchine ergodic theorem, see, for example, [19].

Lemma 6.

Suppose that a random process $\xi (t,\widehat{\omega })$ is ergodic with finite expectation $\mathbb{E}\left|\xi \right(t,\widehat{\omega }\left)\right|$, and sample paths integrable almost surely in the Riemann sense over every finite interval. Then, for almost all ω,

$$\underset{T\to \infty }{lim}\frac{1}{T}\underset{0}{\overset{T}{\int }}\xi (t,\widehat{\omega })\mathrm{d}t=\mathbb{E}\xi (0,\widehat{\omega }).$$

Proof 

(Proof of Theorem 1). In virtue of Proposition 1, it suffices to identify the limit measure $P_{\underline{\sigma }}$ in it, i. e., to show that $P_{\underline{\sigma }}=P_{\underline{\zeta },\underline{\sigma }}$.

Let $A\in \mathcal{B}\left({\mathbb{C}}^2\right)$ be a continuity set of the measure $P_{\underline{\sigma }}$. Then, by Proposition 1, for almost all $\omega \in \Omega$,

$$\underset{T\to \infty }{lim}\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\underline{\zeta }(\underline{\sigma }+it,\omega ,\alpha ;Q)\in A\right\}=P_{\underline{\sigma }}\left(A\right).$$

(24)

On the probability space $(\Omega ,\mathcal{B}(\Omega ),m_H)$, define the random variable

$$\xi =\xi \left(\omega \right)=\left\{\begin{array}{cc}1\hfill & \mathrm{if}\underline{\xi }(\underline{\sigma },\omega ,\alpha ;Q)\in A,\hfill \\ 0\hfill & \mathrm{otherwise},\hfill \end{array}\right.$$

Obviously,

$$\mathbb{E}\xi =\underset{\Omega }{\int }\xi \mathrm{d}{m}_H=m_H\left\{\omega \in \Omega :\underline{\xi }(\underline{\sigma },\omega ,\alpha ;Q)\in A\right\}.$$

(25)

By Lemma 5, the random process $\xi \left(g_t\left(\omega \right)\right)$ is ergodic. Therefore, an application of Lemma 6 yields

$$\underset{T\to \infty }{lim}\frac{1}{T}\underset{0}{\overset{T}{\int }}\xi \left(g_t\left(\omega \right)\right)\mathrm{d}t=\mathbb{E}\xi$$

(26)

for almost all $\omega \in \Omega$. On the other hand, from the definitions of $\xi$ and ${\mathcal{G}}_t$, we have

$$\frac{1}{T}\underset{0}{\overset{T}{\int }}\xi \left(g_t\left(\omega \right)\right)\mathrm{d}t=\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\underline{\zeta }(\underline{\sigma },\omega ,\alpha ;Q)\in A\right\}.$$

Therefore, equalities (25) and (26), for almost all $\omega \in \Omega$, lead to

$$\underset{T\to \infty }{lim}\frac{1}{T}\mathrm{meas}\left\{t\in [0,T]:\underline{\zeta }(\underline{\sigma },\omega ,\alpha ;Q)\in A\right\}=P_{\underline{\zeta },\underline{\sigma }}\left(A\right).$$

This together with (24) shows that

$$P_{\underline{\sigma }}\left(A\right)=P_{\underline{\zeta },\underline{\sigma }}\left(A\right).$$

(27)

Since A is an arbitrary continuity set of $P_{\underline{\sigma }}$, equality (27) is valid for all $A\in \mathcal{B}\left({\mathbb{C}}^2\right)$. This proves the theorem. □