Next Article in Journal
A Unified Approach for Extremal General Exponential Multiplicative Zagreb Indices
Next Article in Special Issue
On the Realization of Exact Upper Bounds of the Best Approximations on the Classes H1,1 by Favard Sums
Previous Article in Journal
General New Results on (ϕ,F)Contractions in bMetric-like-Spaces
Previous Article in Special Issue
Scalar-on-Function Relative Error Regression for Weak Dependent Case
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Joint Discrete Universality in the Selberg–Steuding Class

by
Roma Kačinskaitė
1,2,*,†,
Antanas Laurinčikas
1,† and
Brigita Žemaitienė
1,†
1
Institute of Mathematics, Faculty of Mathematics and Informatics, Vilnius University, Naugarduko Str. 24, LT-03225 Vilnius, Lithuania
2
Department of Mathematics and Statistics, Faculty of Informatics, Vytautas Magnus University, Universiteto Str. 10, Akademija, LT-53361 Kaunas District, Lithuania
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2023, 12(7), 674; https://doi.org/10.3390/axioms12070674
Submission received: 8 May 2023 / Revised: 26 June 2023 / Accepted: 5 July 2023 / Published: 8 July 2023
(This article belongs to the Special Issue Theory of Functions and Applications)

Abstract

:
In the paper, we consider the approximation of analytic functions by shifts from the wide class S ˜ of L-functions. This class was introduced by A. Selberg, supplemented by J. Steuding, and is defined axiomatically. We prove the so-called joint discrete universality theorem for the function L ( s ) S ˜ . Using the linear independence over Q of the multiset ( h j log p : p P ) , j = 1 , , r ; 2 π for positive h j , we obtain that there are many infinite shifts L ( s + i k h 1 ) , , L ( s + i k h r ) , k = 0 , 1 , , approximating every collection f 1 ( s ) , , f r ( s ) of analytic non-vanishing functions defined in the strip { s C : σ L < σ < 1 } , where σ L is a degree of the function L ( s ) . For the proof, the probabilistic approach based on weak convergence of probability measures in the space of analytic functions is applied.

1. Introduction

One of the most important branches of the function theory is the approximation of analytic functions, and is widely used not only in mathematics but also in other natural sciences. In the 1980s, it was discovered that there exist analytic objects that approximate large classes of analytic functions. S.M. Voronin found [1] that the first such object as the Riemann zeta-function ζ ( s ) , s = σ + i t , given by
ζ ( s ) = m = 1 1 m s = p P 1 1 p s 1 , σ > 1 ,
where P is the set of all prime numbers. As is well-known, ζ ( s ) has the meromorphic continuation of the whole complex plane with Res s = 1 ζ ( s ) = 1 . Voronin proved [1] (see also [2]) that if 0 < c < 1 4 , the function f ( s ) is continuous and non-vanishing on the disc | s | c , and analytic in the interior of that disc, then there exists a real number τ = τ ( ϵ , f ) such that
max | s | c | ζ s + 3 4 + i t f ( s ) | < ϵ
for any ϵ > 0 .
Thus, Voronin reported that all non-vanishing analytic functions on the strip D = s C : 1 2 < σ < 1 , and uniformly on discs can be approximated by shifts ζ ( s + i τ ) of one and the same function ζ ( s ) . The Bohr–Courant theorem [3] claims that the set
{ ζ ( σ + i t ) : t R }
is dense everywhere on a complex plane for every fixed 1 2 < σ 1 . From here, it follows that the set of values of the function ζ ( s ) is very rich. Thus, in terms of approximation, the function ζ ( s ) is universal, and this might be natural in view of the remark above.
We denote by H ( D ) the space of the analytic on D functions equipped with the topology of uniform convergence on the compacta. Since the space H ( D ) has an infinite-dimension, the Voronin theorem is a infinite-dimensional extension of the Bohr–Courant denseness theorem.
The above-mentioned Voronin universality theorem has a more general statement which follows the Mergelyan theorem on the approximation of analytic functions by polynomials [4]. We denote by K ( D ) the set of compact subsets of the strip D with connected complements, and by H 0 ( K , D ) the class of continuous non-vanishing functions on K K ( D ) that are analytic in the interior of K. Moreover, we let mes A stand for the Lebesgue measure of a measurable set A R . Then the following statement on the ζ ( s ) ’s universality is known, see, for example, [5,6,7,8,9].
Theorem 1. 
Suppose that K K ( D ) and f ( s ) H 0 ( K , D ) . Then, for every ϵ > 0 ,
lim inf T 1 T mes τ [ 0 , T ] : sup s K | f ( s ) ζ ( s + i τ ) | < ϵ > 0 .
The inequality of the theorem shows the infinitude of shifts of ζ ( s + i τ ) approximating a given function f ( s ) H 0 ( K , D ) .
The statement of Theorem 1 was influenced by a probabilistic method proposed in [6]. The initial Voronin method based on the Riemann-type rearrangement theorem in the Hilbert space was developed in [7,8].
Since τ in the shifts ζ ( s + i τ ) of Theorem 1 is an arbitrary real number, Theorem 1 is called a continuous universality theorem. Parallel to continuous universality theorems for zeta-functions, there are discrete universality theorems when τ takes values from a certain discrete set. These were proposed by A. Reich [10] for Dedekind zeta-functions of algebraic number fields K . If K = Q , we deal with a discrete universality for the Riemann zeta-function. As an example, we now state a classical result in the following (see [6]).
Theorem 2. 
Suppose that K K ( D ) , f ( s ) H 0 ( K , D ) and h > 0 . Then, for every ϵ > 0 ,
lim inf N 1 N + 1 # 0 k N : sup s K | f ( s ) ζ ( s + i k h ) | < ϵ > 0 .
Here # A denotes the number of elements of the set A R , and N runs over the set N 0 = N { 0 } .
Note that discrete universality theorems were also investigated in [6,7,8].
Some other functions given by a Dirichlet series also fulfil the property of universality in the Voronin sense. For example, Dirichlet L-functions L ( s , χ ) with arbitrary Dirichlet character χ ,
L ( s , χ ) = m = 1 χ ( m ) m s , σ > 1 ,
are universal, as was mentioned by Voronin in [2]. Let A = { a m : m N } C be a periodic sequence. Then the periodic zeta-function
ζ ( s ; A ) = m = 1 a m m s , σ > 1 ,
also has the universal approximation property [11]. For values of the parameters α and λ , the Hurwitz zeta-function ζ ( s , α ) and Lerch zeta-function L ( λ , α , s ) , for σ > 1 , respectively given by
ζ ( s , α ) = m = 0 1 ( m + α ) s and L ( λ , α , s ) = m = 0 e 2 π i λ m ( m + α ) s ,
are universal (see [12]). In other words, they approximate analytic functions from the class H ( K , D ) considered continuous on K and analytic in the interior of K functions. This observation leads to certain conjectures. For example, by the Linnik–Ibragimov conjecture (or programme), see [8], all functions in a certain half-plane defined by a Dirichlet series, with analytic continuation left of the absolute convergence abscissa and satisfying some natural growth hypotheses are universal in the Voronin sense. However, currently there are Dirichlet series which their universality is not known, for example, the function L ( λ , α , s ) with an algebraic irrational parameter. Results in this direction for the Hurwitz zeta-function ζ ( s , α ) , as in [13], are presented.
To obtain more general results, the universality of separate functions and some classes of functions are considered. One such class was introduced by A. Selberg (see [14,15]), known as the Selberg class S . The structure of the class S was studied by various authors, see [8,16,17,18,19,20], but until now its structure was not completely known. However, the class includes all main zeta- and L-functions, for example, ζ ( s ) , L ( s , χ ) , the zeta-functions of certain cusp forms, etc. The Selberg class S is defined axiomatically, with its functions
L ( s ) = m = 1 a ( m ) m s , a ( m ) C ,
satisfying four axioms. Recall that the notation a θ b , b > 0 , means that there is a positive constant c = c ( θ ) such that | a | c b , and that Γ ( s ) denotes the Euler gamma-function. The axioms of the class S have the names:
(1)
(Ramanujan conjecture). The estimate a ( m ) ϵ m ϵ is valid with any ϵ > 0 .
(2)
(Analytic continuation). For some l N 0 , ( s 1 ) l L ( s ) in an entire function of finite order.
(3)
(Functional equation). Let
Λ L ( s ) = L ( s ) q s j = 1 j 0 Γ ( λ j s + α j ) ,
where q, λ j R + , and α j C such that α j 0 . Then the functional equation of the form
Λ L ( s ) = w Λ L ( 1 s ¯ )
is valid. Here, | w | = 1 , and, as usual, by s ¯ we denote the conjugate of s.
(4)
(Euler product). Let
log L p ( s ) = l = 1 b ( p l ) p s
with coefficients b ( p l ) such that b ( p l ) p α l , α < 1 2 . Then the representation
L ( s ) = p P L p ( s )
holds.
Axioms (1)–(4) of the class S are insufficient to prove universality as they do not include the analogue of the prime number theorem. Therefore, J. Steuding, who was first to study the class S with an emphasis on universality [8], introduced the following axioms.
(5)
There exists κ > 0 such that
lim x 1 π ( x ) p x | a ( p ) | 2 = κ ,
where function π ( x ) counts the number of primes up to x. Moreover, in [8] the Euler product of the type
(6)
L ( s ) = p P j = 1 l 1 α j ( p ) p s 1
was required with some complex α j ( p ) .
For the universality for the above functions, we need one important ingredient of the class S . For L S , the quantity
d L = 2 j = 1 j 0 λ j
is called the degree of the function L. The degree is an deep characteristic of the class S . If d L = 1 , then L ( s ) coincides with ζ ( s ) or L ( s + i a , χ ) with some a R . For L S , let
σ L = max 1 2 , 1 1 d L .
We denote by D σ L = { s C : σ L < σ < 1 } , K ( D σ L ) the class of compact subsets of the strip D σ L with connected complements, and H 0 ( K , D σ L ) the class of continuous non-vanishing functions on K that are analytic in the interior of K. Then, in [8], the following universality theorem has been proved.
Theorem 3. 
Suppose that L ( s ) satisfies Axioms (2), (3), (5) and (6). Let K K ( D σ L ) and f ( s ) H 0 ( K , D σ L ) . Then, for every ϵ > 0 , the inequality
lim inf T 1 T mes τ [ 0 , T ] : sup s K | f ( s ) L ( s + i τ ) | < ϵ > 0
holds.
In [21], Axiom (6) was removed. Thus, Theorem 3 holds for the so-called Selberg–Steuding class S ˜ ; more precisely, for the functions belonging to the Selberg class and satisfying Axiom (5).
The discrete version of Theorem 3 has been obtained in [22].
Theorem 4. 
Suppose that L ( s ) , K and f ( s ) are the same as in Theorem 3. Then, for every h > 0 and ϵ > 0 ,
lim inf N 1 N + 1 # 0 k N : sup s K | f ( s ) L ( s + i k h ) | < ϵ > 0 .
We can consider a simultaneous approximation of a tuple of analytic functions by a tuple of shifts of zeta- or L-functions. This type of universality is called joint universality. This phenomenon of a Dirichlet series was also introduced by Voronin. In [23], he studied the joint functional independence of Dirichlet L-functions using the joint universality. Of course, the joint universality is more complicated, but, on the other hand, it is more interesting. Obviously, in the case of joint universality, the approximating shifts require some independence conditions. For example, Voronin used Dirichlet L-functions with pairwise non-equivalent Dirichlet characters. Later, the joint universality theorems were proven for zeta-functions defined by a Dirichlet series with periodic coefficients, Matsumoto zeta-functions, and automorphic L-functions. For these proofs, see the very informative paper [9].
This paper deals with the discrete joint universality property for L-functions for the class S ˜ . Let
L ( s ) = m = 1 a ( m ) m s ,
h 1 , . . . , h r be fixed positive numbers, and h ̲ = ( h 1 , , h r ) . We define the multiset
A ( P , h ̲ , 2 π ) = ( h j log p : p P ) , j = 1 , , r ; 2 π ,
and then we prove the following theorem.
Theorem 5. 
Suppose that L ( s ) S ˜ , and the set A ( P , h ̲ , 2 π ) is linearly independent over the field of rational numbers Q . For j = 1 , , r , let K j K ( D L ) and f j ( s ) H 0 ( K j , D L ) . Then, for every h ̲ ( R + ) r and ϵ > 0 ,
lim inf N 1 N + 1 # 0 k N : sup 1 j r sup s K j | f j ( s ) L ( s + i k h j ) | < ϵ > 0 .
Moreover, for all but at most countably many ϵ > 0 , the limit
lim N 1 N + 1 # 0 k N : sup 1 j r sup s K j | f j ( s ) L ( s + i k h j ) | < ϵ
exists and is positive.
In [24], a joint continuous universality theorem for a function L ( s ) S ˜ on the approximation of analytic functions by shifts L ( s + i a 1 τ ) , , L ( s + i a r τ ) with linear independence over Q real algebraic numbers a 1 , , a r was obtained.
For example, for r = 3 , we can take h 1 = 1 , h 2 = 2 , and h 3 = 3 in Theorem 5.
We denote by B ( X ) the Borel σ -field of the space X , and let P and P n , where n N , be probability measures on ( X , B ( X ) ) . We report that P n converges weakly to P as n , and write P n w P , if, for all bounded continuous functions g ( x ) on X ,
lim n X g ( x ) d P n = X g ( x ) d P .
We derive Theorem 5 from a probabilistic joint discrete limit theorem on weakly convergent probability measures in the space of analytic functions. For proof of the latter theorem, we consider the weak convergence of probability measures on the infinitedimensional torus, and in the space of analytic functions for certain absolutely convergent Dirichlet series. After this, we show a comparison in the mean between the initial L-function and functions defined by an absolutely convergent Dirichlet series. This will give the desired joint discrete limit theorem for the tuple of functions we are interested in.

2. Case of the Torus

We define the infinite-dimensional torus as
T = p P { s C : | s | = 1 } ,
where T is the infinite Cartesian product over prime numbers of unit circles. Since each circle is a compact set, by the Tikhonov theorem, T with the product topology and operation of pairwise multiplication is a compact topological abelian group. Now, we construct the set
T r = T 1 × × T r ,
where T j = T , j = 1 , , r . Then, the Tikhonov theorem again shows that T r is a compact topological group. We denote by t = ( t 1 , . . , t r ) , t j T j , t j = ( t j ( p ) : p P ) , j = 1 , , r , the elements of T r .
For A B ( T r ) , we set
Q N , T r , h ̲ ( A ) = 1 N + 1 # 0 k N : p i k h 1 : p P , , p i k h r : p P A .
In this section, we consider the weak convergence for Q N , T r , h ̲ as N .
Proposition 1. 
Suppose that the set A ( P , h ̲ , 2 π ) is linearly independent over Q . Then, Q N , T r , h ̲ n w m H , where m H is the probability Haar measure on ( T r , B ( T r ) ) .
Proof. 
The characters of the T r are of the form
j = 1 r p P t j l j p ( p )
with integers l j p , where the star indicates that only a finite number of l j p are not zeroes. Therefore, the Fourier transform F N , T r , h ̲ ( l ̲ 1 , . . , l ̲ r ) , l ̲ j = ( l j p : l j p Z , p P ) , j = 1 , , r , can be represented by
F N , T r , h ̲ ( l ̲ 1 , . . , l ̲ r ) = T r j = 1 r p P t j l j p ( p ) d Q N , T r , h ̲ = 1 N + 1 k = 0 N j = 1 r p P p i k l j p h j = 1 N + 1 k = 0 N exp i k j = 1 r h j p P l j p log p .
By a continuity theorem on the compact groups, for the proof of Proposition 1, it is sufficient to show that the Fourier transform F N , T r , h ̲ ( l ̲ 1 , . . , l ̲ r ) converges, as N , to the Fourier transform
F m H ( l ̲ 1 , , l ̲ r ) = 1 if ( l ̲ 1 , , l ̲ r ) = ( 0 ̲ , , 0 ̲ ) , 0 otherwise
of the Haar measure m H . Here, 0 ̲ = ( 0 , 0 , ) .
Equality (1), obviously, gives
F N , T r , h ̲ ( 0 ̲ , , 0 ̲ ) = 1 .
Thus, it remains to consider only the case ( l ̲ 1 , , l ̲ r ) ( 0 ̲ , , 0 ̲ ) . Since the set A ( P , h ̲ , 2 π ) is linearly independent over Q , we have, in this case,
exp i j = 1 r h j p P l j p log p 1 .
Actually, if (3) is false, then
j = 1 r h j p P l j p log p = 2 π m
for some m Z and the integers l j p 0 . However, this contradicts the assumption that the set A ( P , h ̲ , 2 π ) is linearly independent. Now, using (3) and the formula for the sum of geometric progressions, we deduce from (1) that, for ( l ̲ 1 , , l ̲ r ) ( 0 ̲ , , 0 ̲ ) ,
F N , T r , h ̲ ( l ̲ 1 , , l ̲ r ) = 1 exp i ( N + 1 ) j = 1 r h j p P l j p log p ( N + 1 ) 1 exp i j = 1 r h j p P l j p log p .
Hence,
lim N F N , T r , h ̲ ( l ̲ 1 , , l ̲ r ) = 0
for ( l ̲ 1 , , l ̲ r ) ( 0 ̲ , , 0 ̲ ) . This, together with (4), shows that
lim N F N , T r , h ̲ ( l ̲ 1 , , l ̲ r ) = F m H ( l ̲ 1 , , l ̲ r ) ,
thus proving the Proposition 1.
  □
We apply Proposition 1 for the proof of weak convergence for the measures defined by means of certain absolutely convergent Dirichlet series connected to the function L ( s ) . We fix a number β > 1 2 , and
v n ( m ; β ) = exp m n β , m , n N .
We define the functions
L n ( s ) = m = 1 a ( m ) v n ( m ; β ) m s
and
L n ( s , t j ) = m = 1 a ( m ) t j ( m ) v n ( m ; β ) m s , j = 1 , , r ,
where, for m N ,
t j ( m ) = p l m t j l ( p ) .
If L ( s ) S ˜ , then a ( m ) m ϵ ϵ with arbitrary ϵ > 0 . Obviously, v n ( m ; β ) decreases exponentially with respect to m. Therefore, the series for L n ( s ) and L n ( s , t j ) are absolutely convergent for σ > σ a with arbitrary finite σ a and fixed n N . Let
L ̲ n ( s + i k h ̲ ) = L n ( s + i k h 1 ) , , L n ( s + i k h r )
and
L ̲ n ( s , t ) = L n ( s , t 1 ) , , L n ( s , t r ) .
Moreover, let H ( D L ) stand for the space of analytic on D L functions endowed with the topology of uniform convergence on compact sets, and let
H r ( D L ) = j = 1 r H ( D L ) .
For A B ( H r ( D L ) ) , we set
P N , n , h ̲ ( A ) = 1 N + 1 # 0 k N : L ̲ n ( s + i k h ̲ ) A .
Proposition 2. 
On ( H r ( D L ) , B ( H r ( D L ) ) ) , a probability measure P n exists such that P N , n , h ̲ N w P n .
Proof. 
Let the mapping u n : T r H r ( D L ) be given by u n ( t ) = L ̲ n ( s , t ) . The absolute convergence of the series for L n ( s , t j ) , j = 1 , , r , implies the continuity of u n . Hence, u n is ( T r , H r ( D L ) ) -measurable. Therefore, every probability measure P on ( T r , B ( T r ) ) induces the unique probability measure P u n 1 on ( H r ( D L ) , B ( H r ( D L ) ) ) given by
P u n 1 ( A ) = P ( u n 1 A ) , A B ( H r ( D L ) ) .
Let Q N , T r , h ̲ be from Proposition 1. Then, for every A B ( H r ( D L ) ) ,
P N , n , h ̲ ( A ) = 1 N + 1 # 0 k N : p i k h j : p P , j = 1 , , r u n 1 A = Q N , T r , h ̲ ( u n 1 A ) = Q N , T r , h ̲ u n 1 ( A ) .
Hence, we have P N , n , h ̲ = Q N , T r , h ̲ u n 1 . Therefore, Proposition 1, the continuity of u n and Theorem 5.1 in [25] show that P N , n , h ̲ N w P n , where P n = m H u n 1 .   □
We see that the measure P n is independent of h ̲ . This allows us to obtain the weak convergence of P n as n , and identify the limit measure. Let
L ( s , t j ) = m = 1 a ( m ) t j ( m ) m s , j = 1 , , r .
It is known [8] that the Dirichlet series for L ( s , t j ) , for almost all t j , is uniformly convergent on compact subsets of the strip D L . Thus, L ( s , t j ) , for j = 1 , , r , is a H ( D L ) -valued random element. The probability Haar measure m H on ( T , B ( T ) ) is the product of the Haar measure m j H on ( T j , B ( T j ) ) , i.e., for A = A 1 × × A r B ( T r ) ,
m H ( A ) = m 1 H ( A 1 ) · · m r H ( A r ) .
The above remarks show that
L ̲ ( s , t ) = L ( s , t 1 ) , , L ( s , t r )
is a H r ( D L ) -valued random element defined on the probability space ( T r , B ( T r ) ) . We denote by P L ̲ the distribution of L ̲ ( s , t ) .
The measure P n coincides with that studied in the continuous case in [24]. Therefore, we have the following proposition.
Lemma 1. 
The relation P n n w P L ̲ holds. Moreover, the support of the measure P L ̲ is set as
( g H ( D L ) : either g ( s ) 0 or g ( s ) 0 ) r .
Proof. 
The first assertion of the lemma is contained in Lemma 7 in [24], while the second one is in Lemma 9 in [24].   □

3. Limit Theorem

We start this section with a mean value estimate for the collection of L-functions we are interested in.
Let
L ̲ ( s + i k h ̲ ) = L ( s + i k h 1 ) , , L ( s + i k h r ) .
In this section, we estimate the distance between L ̲ ( s + i k h ̲ ) and L n ( s + i k h ̲ ) in the mean. Let d ̲ be the metric on the space H r ( D L ) , i.e., for g ̲ l = ( g l 1 , , g l r ) , l = 1 , 2 ,
d ̲ ( g ̲ 1 , g ̲ 2 ) = max 1 m r d ( g 1 m , g 2 m ) ,
and d is the metric in H ( D L ) which induces its uniform convergence topology on compact sets.
Lemma 2. 
For arbitrary positive fixed numbers h 1 , , h r ,
lim n lim sup N 1 N + 1 k = 0 N d ̲ L ̲ ( s + i k h ̲ ) , L ̲ n ( s + i k h ̲ ) = 0 .
Proof. 
Since
d ( g 1 , g 2 ) = j = 1 2 j sup s K j | g 1 ( s ) g 2 ( s ) | 1 + sup s K j | g 1 ( s ) g 2 ( s ) | , g 1 , g 2 H ( D L ) ,
where { K j : j N } D L is a certain sequence of compact sets, it suffices to show that, for every compact set K D L ,
lim n lim sup N 1 N + 1 k = 0 N sup s K | L ( s + i k h j ) L n ( s + i k h j ) | = 0 , j = 1 , , r .
We fix a compact set K, a positive number h, and L ( s ) S ˜ . We use the integral representation [24]
L n ( s ) = 1 2 π i β i β + i L ( s + z ) l n ( z ; β ) d z ,
where
l n ( s ; β ) = 1 β Γ s β n s ,
and the fixed number β > 1 2 is the same as in the definition of v n ( m ; β ) . There exists δ = δ ( K ) such that σ L + 2 δ σ 1 δ for σ + i t K . Thus, β 1 = d e f σ σ L δ > 0 . Let β = σ L + δ . The integrand in (5) has a simple pole at the point z = 0 , and a possible simple pole at the point z = 1 s . Therefore, by the residue theorem and (1),
L n ( s ) L ( s ) = 1 2 π i β 1 i β 1 + i L ( s + z ) l n ( z ; β ) d z + r ( s ) ,
where
r ( s ) = Res z = 1 s L ( s + z ) l n ( z ; β ) = γ l n ( 1 s ; β ) ,
and γ = Res s = 1 L ( s ) . If α = 0 in Axiom (2), then r ( s ) = 0 . Hence, for s = σ + i t K ,
L ( s + i k h ) L n ( s + i k h ) = 1 2 π i L ( s + i k h + σ L σ + δ + i τ ) l n ( σ L σ + δ + i τ ; β ) d τ + r ( s + i k h ) = 1 2 π i L ( σ L + δ + i k h + i τ ) l n ( σ L + δ s + i τ ) d τ + r ( s + i k h ) | L ( σ L + δ + i k h + i τ ) | sup s K | l n ( σ L + δ s + i τ ) | d τ + sup s K | r ( s + i k h ) | .
From this, we have
1 N + 1 k = 2 N sup s K | L ( s + i k h ) L n ( s + i k h ) | 1 N + 1 k = 2 N | L ( σ L + δ + i k h + i τ ) | sup s K | l n ( σ L + δ s + i τ ) | d τ + 1 N + 1 k = 2 N sup s K | r ( s + i k h ) | .
By the Cauchy–Schwarz inequality,
1 N + 1 k = 2 N | L ( σ L + δ + i k h + i τ ) | 1 N k = 2 N | L ( σ L + δ + i k h + i τ ) | 2 1 2 .
To estimate the last mean square, we apply the Gallagher lemma, see Lemma 1.4 in [26], and the known estimate [8]
T T | L ( σ + i t ) | 2 d t σ T
which is valid for fixed σ , σ L < σ < 1 . Application of the Gallagher lemma gives
k = 2 N | L ( σ L + δ + i k h + i τ ) | 2 h 3 2 h N h | L ( σ L + δ + i v + i τ ) | 2 d v + + 3 2 h N h | L ( σ L + δ + i v + i τ ) | 2 d v 3 2 h N h | L ( σ L + δ + i v + i τ ) | 2 d v 1 2 .
The Cauchy integral formula together with (8) gives, for σ L < σ < 1 , the bound
T T | L ( σ + i t ) | 2 d t σ T .
This, and (8) and (9) lead to the estimate
k = 2 N | L ( σ L + δ + i k h + i τ ) | 2 h , δ N ( 1 + | τ | ) .
To estimate l n ( σ L + δ s + i τ ) for s K , we use the well-known estimate
Γ ( σ + i t ) e c | t | , c > 0 ,
which is valid for large | t | uniformly in any fixed strip. Thus, for s K , we find
l n ( σ L + δ s + i τ ) β n σ L + δ σ e c β | τ t | β , K n δ c c 1 | τ |
with c 1 > 0 . Now, the latter estimate, and (7) and (10) show that
1 N + 1 k = 2 N | L ( σ L + δ + i k h + i τ ) | sup s K | l n ( σ L + δ s + i τ ) | d τ β , K , h , δ n δ e c 1 | τ | ( 1 + | τ | ) 1 2 d τ β , K , h , δ n δ .
Similarly, the definition of r ( s ) yields that, for s K ,
r ( s + i k h ) β n 1 σ e c β | k h + t | β , K n 1 σ L 2 δ e c 2 k h
with c 2 > 0 . Hence,
1 N + 1 k = 2 N sup s K | r ( s + i k h ) | β , K n 1 σ L 2 δ 1 N k = 2 N e c 2 k h β , K , h n 1 σ L 2 δ log N N + 1 N k log N e c 2 k h β , K , h n 1 σ L 2 δ log N N .
This, and (6) and (11) lead to the estimate
1 N + 1 k = 2 N sup s K | L ( s + i k h ) L n ( s + i k h ) | β , K , h , δ n δ + n 1 σ L 2 δ log N N .
Therefore, taking N and then n , we obtain
lim n lim inf N 1 N + 1 k = 2 N sup s K | L ( s + i k h ) L n ( s + i k h ) | = 0 .
Since, obviously,
lim N 1 N + 1 k = 0 1 sup s K | L ( s + i k h ) L n ( s + i k h ) | = 0 ,
thus proving (4).   □
Now we are ready to prove the desired joint discrete limit theorem for the collection of L-functions belonging to the class S ˜ . For A B ( H r ( D L ) ) , we set
P N , h ̲ ( A ) = 1 N + 1 # 0 k N : L ̲ ( s + i k h ̲ ) A .
Let P n and P L ̲ be the same as in Lemma 1.
Theorem 6. 
Suppose that L ( s ) S ˜ , and the set A ( P , h ̲ , 2 π ) is linearly independent over Q . Then P N , h ̲ N w P L ̲ .
Proof. 
In view of Lemma 1, it suffices to show that P n and P N , h ̲ have the same limit measure as n and N , respectively. We denote by D the convergence in distribution.
On some probability space ( Ω , A , P ) , we define the random variable ξ N by
P { ξ N = k } = 1 N + 1 , k = 0 , 1 , , N .
Let the H r ( D L ) -valued random elements X N , n , h ̲ and X N , h ̲ be defined by
X N , n , h ̲ = X N , n , h ̲ ( s ) = L ̲ n ( s + i h ̲ ξ N )
and
X N , h ̲ = X N , h ̲ ( s ) = L ̲ ( s + i h ̲ ξ N ) .
Then the assertion of Proposition 2 can be written in the form
X N , n , h ̲ N D P n .
Moreover, by Lemma 1,
X n n D P L ̲ ,
where X n is the H r ( D L ) -valued random element with distribution P n . Application of Lemma 2 and defining the above random elements show that, for ϵ > 0 ,
lim n lim sup N P d ̲ ( X N , h ̲ , X N , n , h ̲ ) ϵ = lim n lim sup N 1 N + 1 # 0 k N : d ̲ L ̲ ( s + i k h ̲ ) , L ̲ n ( s + i k h ̲ ) ϵ 1 ϵ ( N + 1 ) k = 0 N d ̲ L ̲ ( s + i k h ̲ ) , L ̲ n ( s + i k h ̲ ) = 0 .
Taking into account the separability of the space ( H r ( D L ) , d ̲ ) , the latter equality, and (12) and (13), we deduce that the hypotheses of Theorem 4.2 in [25] are satisfied. Therefore, we have
X N , h ̲ N D P L ̲ .
From last relation we obtain the assertion of the theorem.   □

4. Proof of Theorem 5

The proof of Theorem 5 we derive from Theorem 6, Lemma 1 and the Mergelyan theorem mentioned in Section 1 (see [4]).
Proof of Theorem 5. 
Since f j ( s ) 0 on K j , application of the Megelyan theorem for log f j ( s ) implies the existence of polynomials q 1 ( s ) , , q r ( s ) such that
sup 1 j r sup s K j | f j ( s ) e q j ( s ) | < ϵ 2 .
In view of the second part of Lemma 1, the tuple e q 1 ( s ) , , e q r ( s ) is an element of the support of the measure P L ̲ . Therefore, the set
G ( ϵ ) = ( g 1 , , g r ) H r ( D L ) : sup 1 j r sup s K j | g j ( s ) e q j ( s ) | < ϵ 2
is an open neighbourhood of the support element, and thus by a property of supports,
P L ̲ ( G ( ϵ ) ) > 0 .
Now, Theorem 6 and Theorem 2.1 in [25] give
lim inf N P N , n , h ̲ ( G ( ϵ ) ) P L ̲ ( G ( ϵ ) ) > 0 .
Inequality (14) shows the inclusion of G ( ϵ ) G 1 ( ϵ ) , where
G 1 ( ϵ ) = ( g 1 , , g r ) H r ( D L ) : sup 1 j r sup s K j | g j ( s ) f j ( s ) | < ϵ .
Therefore, by (16),
lim inf N P N , n , h ̲ ( G 1 ( ϵ ) ) > 0 ,
and we have the first assertion of the theorem.
For the proof of second inequality of the theorem, we observe that, for different values of ϵ , the boundaries of G 1 ( ϵ ) do not intersect. This remark implies that the set G 1 ( ϵ ) is a continuity set of the measure P L ̲ for all but at most countably many ϵ > 0 . This result, Theorem 6 and Theorem 2.1 in [25], in virtue of (15), imply
lim inf N P N , n , h ̲ ( G 1 ( ϵ ) ) = P L ̲ ( G 1 ( ϵ ) ) P L ̲ ( G ( ϵ ) ) > 0
for all but at most countably many ϵ > 0 .
Theorem 5 is therefore proven.   □

5. Concluding Remarks

In this paper we have obtained that every tuple ( f 1 ( s ) , , f r ( s ) ) of analytic non-vanishing functions in the strip D L can be approximated simultaneously by discrete shifts ( L ( s + i k h 1 ) , , L ( s + i k h r ) ) , where L ( s ) is a Dirichlet series from the Selberg–Steuding class, and the multiset { ( h j log p : p P ) , j = 1 , , r ; 2 π } with positive h 1 , , h r is linearly independent over a field of rational numbers. For proof of the above theorem, results of a continuous universality theorem from [24] were applied.
We conjecture that Theorem 5 can be extended to include approximations by shifts L 1 ( s + i k h 1 ) , , L r ( s + i k h r ) , where L 1 ( s ) , , L r ( s ) are functions from the Selberg–Steuding class. For this, a modification to Lemma 1 is needed.

Author Contributions

Conceptualization, R.K., A.L. and B.Ž.; methodology, R.K., A.L. and B.Ž.; investigation, R.K., A.L. and B.Ž.; writing—original draft preparation, R.K., A.L. and B.Ž.; writing—review and editing, R.K., A.L. and B.Ž. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors thank the referees for their useful remarks and comments.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Voronin, S.M. Theorem on the “universality” of the Riemann zeta-function. Math. USSR-Izv. 1975, 9, 443–453. [Google Scholar] [CrossRef]
  2. Karatsuba, A.A.; Voronin, S.M. The Riemann Zeta-Function; De Gruyter Expositions in Mathematics 5; W. de Gruyter: Berlin, Germany, 1992. [Google Scholar]
  3. Bohr, H.; Courant, R. Neue Anwendungen der Theorie der diophantischen Approximationen auf die Riemannsche Zetafunktion. J. Math. 1914, 144, 249–274. [Google Scholar] [CrossRef]
  4. Mergelyan, S.N. Uniform approximations to functions of a complex variable. Am. Math. Soc. Transl. 1952, 101, 99. [Google Scholar]
  5. Laurinčikas, A. Limit Theorems for the Riemann Zeta-Function; Kluwer Academic Publishers: Dordrecht, The Netherlands; Boston, MA, USA; London, UK, 1996. [Google Scholar]
  6. 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, India, 1981. [Google Scholar]
  7. Gonek, S.M. Analytic Properties of Zeta and L-Functions. Ph.D. Thesis, University of Michigan, Ann Arbor, MI, USA, 1979. [Google Scholar]
  8. Steuding, J. Value Distribution of L-Functions; Lecture Notes Math 1877; Springer: Berlin/Heidelberg, Germany; New York, NY, USA, 2007. [Google Scholar]
  9. Matsumoto, K. A survey on the theory of universality for zeta and L-functions. In Number Theory. Plowing and Starring through High Wave Forms, Proceedings of 7th China-Japan Seminar, Fukuoka, Japan, 28 October–1 November 2013; Kaneko, M., Kanemitsu, S., Liu, J., Eds.; Series on Number Theory and Its Applications 11; World Scientific: Hackensack, NJ, USA, 2015; pp. 95–144. [Google Scholar]
  10. Reich, A. Werteverteilung von Zetafunktionen. Arch. Math. 1980, 34, 440–451. [Google Scholar] [CrossRef]
  11. Laurinčikas, A.; Šiaučiūnas, D. Remarks on the universality of the periodic zeta function. Math. Notes 2006, 80, 532–538. [Google Scholar] [CrossRef]
  12. Laurinčikas, A.; Garunkštis, R. The Lerch Zeta-Function; Kluwer Academic Publishers: Dordrecht, The Netherlands; Boston, MA, USA; London, UK, 2002. [Google Scholar]
  13. Sourmelidis, A.; Steuding, J. On the value-distribution of Hurwitz zeta-functions with algebraic parameter. Constr. Approx. 2022, 55, 829–860. [Google Scholar] [CrossRef]
  14. Selberg, A. Old and new conjectures and results about a class of Dirichlet series. In Proceedings of the Amalfi Conference on Analytic Number Theory, Maiori, Amalfi, Italy, 25–29 September 1989; Bombieri, E., Ed.; Universitá di Salerno: Salerno, Italy, 1992; pp. 367–385. [Google Scholar]
  15. Selberg, A. Collected Papers. Volume I. Reprint of the 1989 Original; Springer Collected Works in Mathematics; Springer: Berlin/Heidelberg, Germany, 2014. [Google Scholar]
  16. Kaczorowski, J.; Perelli, A. On the structure of the Selberg class. II. Invariants and conjectures. J. Reine Angew. Math. 2000, 524, 73–96. [Google Scholar] [CrossRef]
  17. Kaczorowski, J.; Perelli, A. On the structure of the Selberg class. IV. Basic invariants. Acta Arith. 2002, 104, 97–116. [Google Scholar] [CrossRef]
  18. Kaczorowski, J.; Perelli, A. On the prime number theorem for the Selberg class. Arch. Math. 2003, 80, 255–263. [Google Scholar]
  19. Perelli, A. Non-linear twists of L-functions: A survey. Milan J. Math. 2010, 78, 117–134. [Google Scholar] [CrossRef]
  20. Kaczorowski, J.; Perelli, A. Structural invariants of L-functions and applications: A survey. Riv. Mat. Univ. Parma (N.S.) 2022, 13, 137–159. [Google Scholar]
  21. Nagoshi, H.; Steuding, J. Universality for L-functions in the Selberg class. Lith. Math. J. 2010, 50, 293–311. [Google Scholar] [CrossRef]
  22. Laurinčikas, A.; Macaitienė, R. Discrete universality in the Selberg class. Proc. Steklov Inst. Math. 2017, 299, 143–156. [Google Scholar] [CrossRef]
  23. Voronin, S.M. On the functional independence of Dirichlet L-functions. Acta Arith. 1975, 27, 493–503. (In Russian) [Google Scholar]
  24. Kačinskaitė, R.; Laurinčikas, A.; Žemaitienė, B. On joint universality in the Selberg–Steuding class. Mathematics 2023, 11, 737. [Google Scholar] [CrossRef]
  25. Billingsley, P. Convergence of Probability Measures, 2nd ed.; Willey: Chichester, UK, 1999. [Google Scholar]
  26. Mongomery, H.L. Topics in Multiplicative Number Theory; Lecture Notes in Mathematics 227; Springer: Berlin/Heidelberg, Germany, 1971. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Kačinskaitė, R.; Laurinčikas, A.; Žemaitienė, B. Joint Discrete Universality in the Selberg–Steuding Class. Axioms 2023, 12, 674. https://doi.org/10.3390/axioms12070674

AMA Style

Kačinskaitė R, Laurinčikas A, Žemaitienė B. Joint Discrete Universality in the Selberg–Steuding Class. Axioms. 2023; 12(7):674. https://doi.org/10.3390/axioms12070674

Chicago/Turabian Style

Kačinskaitė, Roma, Antanas Laurinčikas, and Brigita Žemaitienė. 2023. "Joint Discrete Universality in the Selberg–Steuding Class" Axioms 12, no. 7: 674. https://doi.org/10.3390/axioms12070674

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop