1. Introduction and Preliminaries
A Lambert series refers to any series expressed in the form of
It represents a natural extension of the following number theory formulae, which have been demonstrated by Lambert [1]:
where denotes the sum of the divisors of k, while 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
as
, and
,
, then
almost everywhere on
. 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
, as referenced in [
16], is expressed through the convergence of the series:
Additionally, the Dirichlet zeta function is denoted by the convergent series:
The series obtained by combining the Riemann zeta function , and the Dirichlet zeta function is given by
which extends to
It is a widely acknowledged fact that (and consequently ) exhibits no zeros for .
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
, where
.
The Mellin transform of a suitable function
f is given as [
18]
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
as follows:
where f is a suitable complex-valued function such that the integral converges.
We also denote, by
,
, and
, the Banach space of the complex-valued functions
f on
with the norm
Let K be a compact subset of . is the set of all complex-valued smooth functions defined on which vanish on those points on that are not in K.
For each non-negative integer
n, we define the seminorm
denotes the n-th derivative with respect to variable t. With this family of seminorms, this space becomes a Fréchet space.
Now,
is the countable-union space of the spaces
[
20] (§1.7, pp. 14–17).
denotes the dual of
[
20] (§1.9, pp. 24–25), and it is called the space of distributions on
[
20] (§2.2, pp. 32–36).
The space
is defined as the vector space of all infinitely differentiable complex-valued functions defined in
. Let
be the seminorm on
defined by
for all , all compact set , and 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 as the dual space of . This agrees with the space of distributions on of compact support contained in [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
by the integral
being convergent in mean with respect to the norm in .
Also, for the case when
, 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 . Assume that f is a measurable function on , such that the integralconverges. Moreover, let , for some arbitrary a with . Then,
where denotes the Mellin transform (2) and denotes the Widder–Lambert integral transform (3).
Proof. In fact, since
, one obtains the following from [
18] (Theorem 71, pp. 94–95):
where denotes the Mellin transform (6).
Now, since
, the Mellin transform (
6) agrees almost everywhere on
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 Proof. Since
almost everywhere on
, the right-hand side of (
7) is zero. Thus,
and so almost everywhere on . □
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 as . Set and assume that f is a solution of the homogeneous equationThen, almost everywhere on .
Proof. Observe that, for , one obtains . Taking a such that , 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 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
In this section, we study the Widder–Lambert transform over distributions of compact support on . Here, we obtain an inversion formula for this transform and we consider the injectivity of this distributional transform.
Definition 1. Set . The Widder–Lambert transform on is defined by From the following relation:
valid for any , one has
which is the distributional Lambert transform ([13], (2.3) when ) of the member of .
From [
13] (Proposition 2.1), the distributional Lambert transform of
is a smooth function. Then, the Widder–Lambert transform (
9) of
f becomes a member of
.
Now, using the inversion formula ([
13], Theorem 2.1) of the distributional Lambert transform over
, one has
in the sense of the convergence in .
Thus, one has
in the sense of the convergence in .
Observe that
In fact, for any , we have
Now, as in .
In fact, for any compact
,
, one has
with it being . Thus, , .
Therefore,
as
in
, and with it being
, we have that
Thus,
and so we have proven the following results:
Theorem 4. Set . For andwe have
in the sense of the convergence in (weak convergence) [20] (§1.9, p. 24). Here, numbers are the Möbius numbers defined as if n is the product of s distinct primes, and if n is divisible by a square and denotes the conventional p-th derivative of with respect to its argument z.
Corollary 5 (Inversion formula)
. Assuming the hypothesis of Theorem 4, one hasin the sense of the convergence in .
As an immediate consequence of Corollary 5, one has
Corollary 6 (Injectivity)
. Set . The map defined byis one-to-one.
Proof. From (
11), if
, then
for all
and so
for all
. Now, since
is dense in
[
20] (§2.3, p. 37) and with it being
, then
for all
. Thus,
on
. □
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
. 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
, the functional
over
given by
becomes a member in , which is called a regular member.
Set
. Observe that by taking the following for each
:
one has
i.e., the distributional Widder–Lambert transform (9) of 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
, any bounded measurable function
f on
satisfying the integral equation
is zero almost everywhere on ([15,16,17,19,22] and (§ 8.4, pp. 139–142)).
In our present setting, we prove the following result:
Proposition 1. For , any bounded measurable function f on with compact support contained in satisfying the integral equationis zero almost everywhere on .
Proof. Observe that
Thus, using Corollary 6, one has that . Now, from [23] (pp. 8–9), it follows that almost everywhere on . 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
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 as 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 as .
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.