Mellin and Widder–Lambert Transforms with Applications in the Salem Equivalence to the Riemann Hypothesis


1. Introduction and Preliminaries

A Lambert series refers to any series expressed in the form of

k = 1 α k x k 1 x k , | x | < 1 , α k C .

It represents a natural extension of the following number theory formulae, which have been demonstrated by Lambert [1]:

k = 1 x k 1 x k = k = 1 τ ( k ) x k , k = 1 k x k 1 x k = k = 1 σ ( k ) , | x | < 1 ,

where σ ( k ) denotes the sum of the divisors of k, while τ ( k ) denotes number of the divisors of k, respectively. Widder [2] introduced the Lambert transform as an extension of the Lambert series (1).

Various researchers explored different aspects of the Lambert transform and its inversion formulae. Noteworthy contributions include those by Miller [3], who investigated the convergence properties essential for developing inversion formulae for the Lambert transform and introduced summability techniques for power series utilizing the Lambert transform [4]. Ferreira and López [5] obtained asymptotic expansions of the Lambert transform for large and small values of the variable. Widder [2] derived an inversion formula involving the Möbius function as a limit of derivatives. Several inversion formulae related to Widder’s formula have been examined in works such as [6,7,8]. Raina and Nahar [9] extended the Lambert transform to a class of functions connected to the Hurwitz zeta function. Raina and Srivastava [10] introduced a generalized Lambert transform associated with the generalized Riemann zeta function. Goyal and Laddha [11] introduced generalizations of the Riemann zeta function and the generalized Lambert transform. An inversion formula for the generalized Lambert transform is provided. Goldberg [12] proposed a more generalized kernel for the Lambert transform, working with transforms as Stieltjes integrals, and derived inversion formulae. Furthermore, Hayek et al. [13] investigated this generalized Lambert transform on the space of distributions of compact support, providing an inversion formula applicable to this space. Recently, Maan et al. [14] extended this transform to Boehmian spaces.
This paper is divided into five sections. Section 1 serves as an introduction, providing basic definitions and notations utilized throughout this paper. In Section 2, we establish an interesting connection between the Mellin transform (2) and the Widder–Lambert transform (3) for some specific class of functions. In Section 3, motivated by the connection established in Section 2, we obtain a Plancherel theorem for the Widder–Lambert transform (3) (via the Mellin transform). As a consequence of this result, we prove that if f is a bounded measurable function such that f ( t ) = O ( t 1 / 2 ) as t 0 + , and L δ f = 0 , 1 2 < δ < 1 , then f = 0 almost everywhere on R + . This is a significant approach to the Salem criterion and thus to the Riemann hypothesis. Section 4 presents an inversion formula for the Widder–Lambert transform (3) over Lebesgue integrable functions. In Section 5, an inversion formula for the Widder–Lambert transform is provided for distributions of compact support. Finally, Section 6 offers an approach to the Salem equivalence to the Riemann hypothesis via regular distributions of compact support. Finally, Section 7 provides concluding notes.
The Riemann hypothesis stands as a pivotal challenge within the realm of mathematics, inspiring numerous related hypotheses and conceptual developments. Notably, in 1953, the Greek mathematician Raphaël Salem established the boundedness of a certain integral involving Fourier coefficients that was equivalent to the truth of the Riemann hypothesis, as documented in [15]. This condition, proven to be both necessary and sufficient, serves as an equivalence to the Riemann hypothesis. Consequently, the problem can be forwarded in the setting of the integral transforms.
The Riemann zeta function ζ ( s ) , as referenced in [16], is expressed through the convergence of the series:

ζ ( s ) = k = 1 1 k s , ( s ) > 1 .

Additionally, the Dirichlet zeta function η ( s ) is denoted by the convergent series:

η ( s ) = k = 1 ( 1 ) k 1 k s , ( s ) > 0 .

The series obtained by combining the Riemann zeta function ζ ( s ) , and the Dirichlet zeta function η ( s ) is given by

η ( s ) = ( 1 2 1 s ) ζ ( s ) , ( s ) > 1 ,

which extends ζ ( s ) to 0 < ( s ) < 1 .

It is a widely acknowledged fact that ζ ( s ) (and consequently η ( s ) ) exhibits no zeros for ( s ) > 1 .

The Salem equivalence to the Riemann hypothesis (Salem [15] and Broughan [17] (§ 8.4, pp. 139–142)) guarantees the absence of zeros of the Riemann zeta function within the strip 0 < ( s ) < 1 , where ( s ) 1 2 .
The Mellin transform of a suitable function f is given as [18]

M [ f ] ( s ) = 0 t s 1 f ( t ) d t , s C .

In this paper, motivated by the integral Equation (1), we consider the Widder–Lambert integral transform (cf. [10] (Equation (4.1)) and [19] (Equation (2.15))) for each δ > 0 as follows:

L δ f ( x ) = 0 t δ 1 e x t + 1 f ( t ) d t , x > 0 ,

where f is a suitable complex-valued function such that the integral converges.

We also denote, by L a , p R + , a R , and 1 p < , the Banach space of the complex-valued functions f on R + with the norm

f a , p = 0 f ( t ) p t a p 1 d t 1 / p .

Let K be a compact subset of R + . D K ( R + ) is the set of all complex-valued smooth functions defined on R + which vanish on those points on R + that are not in K.

For each non-negative integer n, we define the seminorm

γ n ( ϕ ) = max t R + | D t n ϕ ( t ) | , ϕ D K ( R + ) ,

D t n denotes the n-th derivative with respect to variable t. With this family of seminorms, this space becomes a Fréchet space.

Now, D ( R + ) is the countable-union space of the spaces D K ( R + ) [20] (§1.7, pp. 14–17). D ( R + ) denotes the dual of D ( R + ) [20] (§1.9, pp. 24–25), and it is called the space of distributions on R + [20] (§2.2, pp. 32–36).
The space E ( R + ) is defined as the vector space of all infinitely differentiable complex-valued functions defined in R + . Let γ K , n be the seminorm on E ( R + ) defined by

γ K , n ( ϕ ) = max t K | D t n ϕ ( t ) | , ϕ E ( R + ) ,

for all n N 0 , all compact set K R + , and D t n denotes the n-th derivative with respect to variable t. With this family of seminorms, this space becomes a Fréchet space. As usual, we denote the space E ( R + ) as the dual space of E ( R + ) . This E ( R + ) agrees with the space of distributions on R + of compact support contained in R + [20] (§2.3, pp. 36–38).

3. Plancherel Theorem and the Salem Equivalence to the Riemann Hypothesis

By means of the connection established in the previous section between the Mellin transform and the Widder–Lambert transform, we obtain a Plancherel theorem for the Widder–Lambert transform (3). As it has been exposed in [21] (p. 694), the Mellin transform is defined for f L a , 2 R + by the integral

M [ f ] ( s ) = 0 t s 1 f ( t ) d t , ( Re s = a )

being convergent in mean with respect to the norm in L 2 ( a i , a + i ) .

Also, for the case when f L a , 1 R + L a , 2 R + , the Mellin transform (6) agrees almost everywhere with the usual Mellin transform (2) (see [18] for details).
Thus, according to the Plancherel theorem for the Mellin transform given by Titchmarsh [18] (Theorem 71, pp. 94–95) and using Theorem 1 above, one has
Theorem 2 (Plancherel theorem). 

Set δ > 0 . Assume that f is a measurable function on R + , such that the integral

L δ [ f ] ( x ) = 0 f ( t ) t δ 1 e x t + 1 d t , x > 0 ,

converges. Moreover, let f L a , 1 R + L a , 2 R + , for some arbitrary a with a < δ 1 . Then,

0 | f ( x ) | 2 x 2 a 1 d x = 1 2 π M L δ [ f ] ( δ a i t ) Γ ( δ a i t ) η ( δ a i t ) 2 d t ,

where M denotes the Mellin transform (2) and L δ denotes the Widder–Lambert integral transform (3).

Proof. 

In fact, since f L a , 2 R + , one obtains the following from [18] (Theorem 71, pp. 94–95):

0 | f ( x ) | 2 x 2 a 1 d x = 1 2 π M [ f ] ( a + i t ) 2 d t ,

where M denotes the L a , 2 Mellin transform (6).

Now, since f L a , 1 R + , the Mellin transform (6) agrees almost everywhere on R + with the usual Mellin transform (2). Thus, using Theorem 1, one obtains the relation (7). □
Corollary 1. 

Assuming the hypothesis of Theorem 2, one has

I f L δ [ f ] = 0 a l m o s t e v e r y w h e r e o n R + t h e n f = 0 a l m o s t e v e r y w h e r e o n R + .

Proof. 

Since L δ [ f ] = 0 almost everywhere on R + , the right-hand side of (7) is zero. Thus,

0 | f ( x ) | 2 x 2 a 1 d x = 0 ,

and so f = 0 almost everywhere on R + . □

Now, concerning the Salem equivalence of the Riemann hypothesis and taking into account that, for any bounded measurable function, the integral in (3) converges, one obtains the following:
Corollary 2. 

Let f be a bounded measurable function such that f ( t ) = O ( t 1 / 2 ) as t 0 + . Set 1 2 < δ < 1 and assume that f is a solution of the homogeneous equation

L δ f ( x ) = 0 t δ 1 e x t + 1 f ( t ) d t , x > 0 .

Then, f = 0 almost everywhere on R + .

Proof. 

Observe that, for 1 2 < δ < 1 , one obtains 1 2 = 1 1 2 > 1 δ . Taking a such that 1 2 > a > 1 δ , one has that the class of functions of this corollary satisfies the hypothesis of the theorem above. Then, the result holds. □

Remark 1. 

The result obtained in Corollary 2 agrees with the result obtained in Corollary 3.3 of [16]. However, in contrast to the proof of Corollary 3.3 of [16] in the present proof, we do not use any inversion formulae, such as Post–Widder or L 2 inversion formulae. Instead, we made use of a Plancherel theorem. This proof represents the novelty of our work.

5. An Inversion Formula for the Widder–Lambert Transform on E R +

In this section, we study the Widder–Lambert transform over distributions of compact support on R + . Here, we obtain an inversion formula for this transform and we consider the injectivity of this distributional transform.

Definition 1. 

Set δ > 0 . The Widder–Lambert transform on E R + is defined by

L δ [ f ] ( x ) = f ( t ) , t δ 1 e x t + 1 , x > 0 , f E R + .

From the following relation:

1 e x + 1 = 1 e x 1 2 e 2 x 1 ,

valid for any x R + , one has

L δ [ f ] ( x ) = f ( t ) , t δ 1 e x t + 1 = f ( t ) , t δ 1 e x t 1 f ( t ) , 2 t δ 1 e 2 x t 1 = f ( t ) , t δ 1 e x t 1 f t 2 , 2 1 δ t δ 1 e x t 1 = f ( t ) t δ 1 f t 2 2 1 δ t δ 1 , 1 e x t 1 , x > 0 ,

which is the distributional Lambert transform ([13], (2.3) when a k = 1 , for all k N ) of the member f ( t ) f t 2 2 1 δ t δ 1 of E R + .

From [13] (Proposition 2.1), the distributional Lambert transform of f E R + is a smooth function. Then, the Widder–Lambert transform (9) of f becomes a member of E R + .
Now, using the inversion formula ([13], Theorem 2.1) of the distributional Lambert transform over E R + , one has

lim p ( 1 ) p p ! p t p + 1 n = 1 μ ( n ) n p L δ [ f ] ( p ) n p t = f ( t ) f t 2 2 1 δ t δ 1 ,

in the sense of the convergence in D R + .

Thus, one has

k = 1 lim p ( 1 ) p p ! p 2 k t p + 1 n = 1 μ ( n ) n p L δ [ f ] ( p ) n p 2 k t = k = 1 f ( 2 k t ) f ( 2 k 1 t ) 2 1 δ 2 k ( δ 1 ) t δ 1 = lim N k = 1 N f ( 2 k t ) f ( 2 k 1 t ) 2 1 δ 2 k ( δ 1 ) t δ 1 = lim N f ( t ) t δ 1 f ( 2 N t ) 2 N ( δ 1 ) t δ 1 ,

in the sense of the convergence in D R + .

Observe that

lim N ( 2 N t ) δ 1 f ( 2 N t ) , ϕ ( t ) = 0 , for all ϕ D R + .

In fact, for any ϕ D R + , we have

lim N ( 2 N t ) δ 1 f ( 2 N t ) , ϕ ( t ) = lim N t δ 1 f ( t ) , ϕ t 2 N 2 N .

Now, ϕ t 2 N 2 N 0 as N in E R + .

In fact, for any compact K R + , m N 0 , one has

max t K D m ϕ t 2 N 2 N M m 2 N ,

with it being ϕ D R + . Thus, s u p p ϕ [ a , b ] R + , M m = max t [ a , b ] | D m ϕ ( t ) | .

Therefore, ϕ t 2 N 2 N 0 as N in E R + , and with it being t δ 1 f ( t ) E R + , we have that

lim N t δ 1 f ( t ) , ϕ t 2 N 2 N 0 a s N .

Thus,

lim N ( 2 N t ) δ 1 f ( 2 N t ) , ϕ ( t ) = 0 , for all ϕ D R + ,

and so we have proven the following results:

Theorem 4. 

Set δ > 0 . For f E R + and

L δ [ f ] ( x ) = f ( t ) , t δ 1 e x t + 1 , x > 0 ,

we have

lim p ( 1 ) p p ! p t p + 1 n = 1 μ ( n ) n p L δ [ f ] ( p ) n p t = f ( t ) f ( t 2 ) 2 1 δ t δ 1 ,

in the sense of the convergence in D R + (weak convergence) [20] (§1.9, p. 24). Here, μ ( n ) numbers are the Möbius numbers defined as μ = 1 , μ n = ( 1 ) s if n is the product of s distinct primes, and μ n = 0 if n is divisible by a square and L δ [ f ] ( p ) ( z ) denotes the conventional p-th derivative of L δ [ f ] ( z ) with respect to its argument z.

Corollary 5 (Inversion formula). 

Assuming the hypothesis of Theorem 4, one has

k = 1 lim p ( 1 ) p p ! p 2 k t p + 1 n = 1 μ ( n ) n p L δ [ f ] ( p ) n p 2 k t = f ( t ) t δ 1 ,

in the sense of the convergence in D R + .

As an immediate consequence of Corollary 5, one has

Corollary 6 (Injectivity). 

Set δ > 0 . The map L δ : E R + E R + defined by

L δ [ f ] ( x ) = f ( t ) , t δ 1 e x t + 1 , x > 0 , f E R + ,

is one-to-one.

Proof. 

From (11), if L δ [ f ] = 0 , then t δ 1 f , ϕ = 0 for all ϕ D R + and so f , ϕ = 0 for all ϕ D R + . Now, since D R + is dense in E R + [20] (§2.3, p. 37) and with it being f E R + , then f , ϕ = 0 for all ϕ E R + . Thus, f = 0 on E R + . □

6. Regular Distributions of Compact Support Versus the Salem Equivalence to the Riemann Hypothesis

In this section, we consider the distributional Widder–Lambert transform (9) over regular distributions of compact support on R + . From this, one arrives at an interesting connection with the Salem equivalence to the Riemann hypothesis.
For the case when f is a bounded measurable function with compact support in R + , the functional T f over E R + given by

T f , ϕ = 0 f ( x ) ϕ ( x ) d x , ϕ E R + ,

becomes a member in E R + , which is called a regular member.

Set δ > 0 . Observe that by taking the following for each x > 0 :

ϕ ( t ) = t δ 1 e x t + 1 , t > 0 ,

one has

T f , t δ 1 e x t + 1 = 0 f ( t ) t δ 1 e x t + 1 d t ,

i.e., the distributional Widder–Lambert transform (9) of T f agrees with the classical Widder–Lambert transform (3) of the function f.

Concerning the Salem equivalence to the Riemann hypothesis, this equivalence is given by the following:

For 1 2 < δ < 1 , any bounded measurable function f on R + satisfying the integral equation

0 f ( t ) t δ 1 e x t + 1 d t = 0 , for all x > 0 ,

is zero almost everywhere on R + ([15,16,17,19,22] and (§ 8.4, pp. 139–142)).

In our present setting, we prove the following result:

Proposition 1. 

For 1 2 < δ < 1 , any bounded measurable function f on R + with compact support contained in R + satisfying the integral equation

0 f ( t ) t δ 1 e x t + 1 d t = 0 , f o r   a l l x > 0 ,

is zero almost everywhere on R + .

Proof. 

Observe that

T f , t δ 1 e x t + 1 = 0 f ( t ) t δ 1 e x t + 1 d t = 0 , for all x > 0 .

Thus, using Corollary 6, one has that T f = 0 . Now, from [23] (pp. 8–9), it follows that f = 0 almost everywhere on R + . Therefore, the proposition holds. □

Remark 3. 

The result obtained in Proposition 1 is a particular case of the result obtained in Corollary 2. However, Proposition 1 sheds light on how to use the theory of distributions for obtaining a class of functions satisfying the Salem equivalence to the Riemann hypothesis.

If one could obtain an inversion formula of the Widder–Lambert transform (9) to a broad space of distributions (and not only to distributions of compact support), one would obtain a larger class of functions that satisfies the Salem equivalence to the Riemann hypothesis.

7. Final Observations and Conclusions

In conclusion, this paper systematically investigates Plancherel’s theorem and the inversion formulae for the Widder–Lambert transform across various mathematical frameworks, including Lebesgue integrable functions, distributions with compact support, and regular distributions of compact support. A key contribution lies in leveraging the Plancherel theorem for the Mellin transform alongside the connection between the Mellin and Widder–Lambert transforms. Notably, this approach departs from traditional inversion formulae such as the Post–Widder or L 2 inversion formulae. Instead, it relies on Plancherel’s theorem, as detailed in Theorem 71 of Titchmarsh’s work [18] (Theorem 71, pp. 94–95). This innovative methodology underscores the novelty of our research.

In summary, the validity of the Riemann hypothesis could be supported by proving Corollary 2 for bounded measurable functions without other restrictions. However, this paper shows that bounded measurable functions f which satisfy f ( t ) = O ( t 1 / 2 ) as t 0 + meet Salem’s criterion. Therefore, any bounded measurable functions f that are a counterexample to Salem’s equivalence (and thus to Riemann hypothesis) must not have the property f ( t ) = O ( t 1 / 2 ) as t 0 + .

These findings not only reinforce the link between Salem’s equivalence and the Riemann hypothesis but also open new avenues for exploring this hypothesis through the lens of integral transforms.



Source link

Emilio R. Negrín www.mdpi.com