Next Article in Journal
On the Bayesian Two-Sample Problem for Ranking Data
Previous Article in Journal
Minimizing Makespan Scheduling on a Single Machine with General Positional Deterioration Effects
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Inversion Formulae for the Widder–Lambert and Stieltjes–Poisson Transforms

by
Emilio R. Negrín
1,2,* and
Jeetendrasingh Maan
3,*
1
Departamento de Análisis Matemático, Universidad de La Laguna (ULL), ES-38271 La Laguna, Spain
2
Instituto de Matemáticas y Aplicaciones (IMAULL), Universidad de La Laguna (ULL), ULL Campus de Anchieta, ES-38271 La Laguna, Spain
3
Department of Mathematics and Scientific Computing, National Institute of Technology, Hamirpur 177005, India
*
Authors to whom correspondence should be addressed.
Axioms 2025, 14(4), 291; https://doi.org/10.3390/axioms14040291
Submission received: 10 March 2025 / Revised: 28 March 2025 / Accepted: 9 April 2025 / Published: 13 April 2025

Abstract

:
This paper establishes explicit inversion formulae for the Widder–Lambert transform and the Stieltjes–Poisson transform, extending their applicability to function spaces and compactly supported distributions. Utilizing a generalized Lambert transform, the study provides a unified framework for inversion, enhancing the theoretical understanding of these integral transforms. Additionally, a specific function class satisfying Salem’s equivalence to the Riemann hypothesis is identified, further broadening the analytical scope of the results within generalized function spaces.

1. Introduction and Preliminaries

Integral transforms constitute a fundamental class of analytical techniques in mathematics, playing a pivotal role in the resolution of differential equations, signal processing, harmonic analysis, and various applications in the applied sciences. Their capacity to reformulate intricate functional relationships into more tractable representations has contributed to their extensive utilization across multiple mathematical disciplines. Among the numerous integral transforms investigated, the Lambert transform and the Stieltjes–Poisson transform have garnered significant attention due to their profound connections with number theory, potential theory, and functional analysis. The Lambert transform naturally emerges in the context of Lambert series and Dirichlet series, whereas the Stieltjes–Poisson transform encompasses and extends several classical transforms, including the Stieltjes and Poisson transforms, thereby enhancing its applicability in asymptotic analysis and summability theory.
Despite their broad range of applications, the explicit derivation of inversion formulae for these transforms remains an area of active research, with considerable efforts directed toward extending their validity to more general function spaces and distributional settings. This paper seeks to unify and extend these integral transforms by establishing novel inversion formulae and investigating their distributional extensions. By formulating a rigorous analytical framework, we provide deeper insights into their structural properties and functional characteristics, thereby broadening their theoretical scope. Furthermore, the results obtained contribute to the advancement of integral transform theory and its applications in number-theoretic transformations, spectral analysis, and the study of special functions.
A Lambert series is a power series of the form
k = 1 α k x k 1 x k , | x | < 1 , α k C .
which generalizes classical number-theoretic identities. A fundamental example includes the following expressions:
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 ) and τ ( k ) denote, respectively, the sum and the count of divisors of k. A significant extension of this framework is the Lambert transform, introduced as a generalization of (3).
The study of the Lambert transform and its generalizations has been extensively explored, particularly in relation to inversion formulae and their applications in analytic number theory. A foundational contribution was made by Widder [1], who formulated an inversion technique for the Lambert transform. Subsequent works by Carrasco [2] and Pennington [3] provided alternative approaches to inversion, while Goldberg [4] extended these results to a broader class of generalized Lambert transforms.
Further advancements were made by Miller [5], who investigated the convergence properties of the Lambert transform and established an inversion formula. Ferreira and López [6] analyzed the asymptotic behaviour of the transform concerning variations in the transformation parameter. Raina and Nahar [7] studied a family of functions associated with the Hurwitz zeta function and the Lambert transform, elucidating key analytical structures. Goyal and Laddha [8] explored connections between generalized Riemann zeta functions and the Lambert transform, while Raina and Srivastava [9] contributed additional insights into properties of zeta functions.
More recent investigations have extended classical results to broader functional spaces. Negrín and Roopkumar [10] examined Lambert-type transforms within the framework of integrable Boehmians, enhancing their scope of applicability. Maan, Negrín, and González [11] further expanded this study by analyzing the behaviour of the transform in both Lebesgue and Boehmian spaces. González and Negrín [12] derived inversion formulae for a Lambert-type transform, establishing links to Salem’s equivalence to the Riemann hypothesis. This work was later extended by the same authors [13], who applied Salem’s equivalence to develop inversion methods for a Widder–Lambert-type transform, providing a novel approach to the Riemann hypothesis. Their latest collaboration with Maan [14] further refines these results by employing Widder–Lambert transforms in the context of Salem’s equivalence, reinforcing the deep connections between these transformations and fundamental problems in number theory.
Additionally, Yakubovich [15] provided significant contributions by investigating integral and series transformations through the lens of Ramanujan’s identities and their connections to Salem’s equivalence to the Riemann hypothesis. This study highlighted the interplay between integral transforms and number-theoretic conjectures, further enriching the theoretical framework of transform methods.
These references collectively form the foundation for our research, which introduces novel inversion formulae for the Widder–Lambert and Stieltjes–Poisson transforms. The results presented extend existing methodologies and explore their implications in number theory and functional analysis.
The Riemann hypothesis remains one of the most profound open problems in mathematics, giving rise to numerous equivalent formulations [15,16]. Notably, in 1953, the Greek mathematician Raphaël Salem established a crucial condition concerning an integral equation, as documented in [17]. This perspective allows for its reformulation within the context of integral transforms. In [18], explicit solutions for the non-homogeneous case of Salem’s integral equation are provided, which are relevant for extending the discussion on integral transforms.
The Riemann zeta function ζ ( s ) is given by
ζ ( s ) = k = 1 1 k s , R ( s ) > 1 .
The Dirichlet eta function η ( s ) is expressed as follows:
η ( s ) = k = 1 ( 1 ) k 1 k s , R ( s ) > 0 .
which satisfies the relation
η ( s ) = ( 1 2 1 s ) ζ ( s ) , R ( s ) > 1 ,
thereby extending ζ ( s ) into the strip 0 < R ( s ) < 1 . It is well established that ζ ( s ) and η ( s ) have no zeros for R ( s ) > 1 . A fundamental equivalence states that the absence of zeros of ζ ( s ) within 0 < R ( s ) < 1 except at R ( s ) = 1 2 provides an alternative formulation of the Riemann hypothesis.
Motivated by these integral representations, this paper considers the Widder–Lambert integral transform, defined for δ > 0 by [13]:
L δ f ( x ) = 0 t δ 1 e x t + 1 f ( t ) d t , x > 0 ,
where f is a complex-valued function ensuring convergence of the integral.
Let α , β R , α 0 . For a suitably well-behaved function f, the Stieltjes–Poisson transform is defined as
F α , β ( x ) = 0 f ( t ) t β x α + t α d t , x > 0 .
This transformation encompasses several classical integral transforms as particular cases. Notably, when α = 1 , β = 0 , Equation (3) reduces to the well-known Stieltjes transform [19,20,21,22,23,24,25]. Similarly, setting α = 2 , β = 1 yields the Poisson transform, also referred to as the Widder potential transform [15,26]. These transforms have been extensively utilized in complex analysis, potential theory, and functional analysis, with applications ranging from probability theory to mathematical physics.
Despite the fundamental role of these transforms, explicit inversion formulae remain an area of ongoing research. In this paper, we address this gap by deriving new inversion formulae for the Stieltjes–Poisson transform, thereby contributing to the broader theory of integral transforms. Furthermore, we extend these results to distributions of compact support, ensuring the applicability of the inversion process in a generalized distributional framework.
To rigorously analyze this transform in the space of distributions, let K be a compact subset of R + = ( 0 , ) . The space D K ( R + ) consists of all smooth functions on R + with compact support contained in K (see [27,28]).
For each non-negative integer n, define the seminorm:
γ n ( ϕ ) = max t R + | D t n ϕ ( t ) | , ϕ D K ( R + ) , n N 0 ,
where D t n denotes the n-th derivative. This family of seminorms endows D K ( R + ) with a Fréchet space topology. The space D ( R + ) is the union of all such spaces over compact sets and its dual D ( R + ) constitutes the space of distributions.
The space E ( R + ) consists of all infinitely differentiable functions on R + , equipped with seminorms:
γ K , n ( ϕ ) = max t K | D t n ϕ ( t ) | , ϕ E ( R + ) ,
for all n N 0 and compact sets K. This space also forms a Fréchet space. Its dual, E ( R + ) , represents the space of distributions with compact support. It is shown in [29] that the existence theory of integral equations in the space of distributions can be systematically studied, which contributes to the general theory of integral equations.
The paper is organized as follows: Section 1 introduces the Widder–Lambert transform (2) and the Stieltjes–Poisson transform (3), highlighting their significance and fundamental properties. Section 2 establishes an inversion formula for the Widder–Lambert transform (2) in the context of conventional functions, extends it to distributions with compact support, and explores Salem’s equivalence to the Riemann hypothesis within the framework of regular distributions. Section 3 derives an inversion formula for the Stieltjes–Poisson transform (3) using a generalized Lambert transform [4] and extends it to distributions of compact support. Section 4 presents concluding remarks and final observations on both transforms, summarizing key results and discussing potential future directions.

2. The Widder–Lambert Transform

In this section, we investigate various inversion formulae for the Widder–Lambert transform, focusing on its extension to different function spaces and distributional settings. We begin by considering an inversion formula for a class of functions and later generalize the results to compactly supported distributions.

2.1. An Inversion Formula for the Widder–Lambert Transform over a Class of Functions

We first derive an inversion formula for the Widder–Lambert transform over a class of sufficiently regular functions. This result provides a fundamental framework for establishing the injectivity of the transform in function spaces.
In Ref. [14] [Theorem 3] it was established that
Theorem 1. 
Set δ > 0 . Assume
0 f ( t ) t δ 1 e x t 1 d t
converges for some x > 0 , and
0 1 | f ( t ) t δ 2 log t | d t < .
Then
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 ,
almost everywhere on R + , where L δ [ f ] is given by (2). Here, μ ( n ) numbers are the Möbius numbers, defined as μ ( 1 ) = 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 ) ( x ) denotes the conventional p-th derivative of L δ [ f ] ( x ) with respect to its argument x.
Remark 1. 
Observe that when the integral (4) converges for some x 0 > 0 , then the integral (4) converges for all x x 0 (cf. [4] [Section 5]). Now, using the relation
1 e x + 1 = 1 e x 1 2 e 2 x 1 , x > 0 ,
then
L δ [ f ] ( x ) = 0 f ( t ) t δ 1 e x t 1 d t 2 0 f ( t ) t δ 1 e 2 x t 1 d t ,
converges for all x x 0 when the integral (4) converges for x = x 0 .
Thus the left hand side of Equation (6) has sense when p tends to infinity.
Now, we prove the next result.
Theorem 2 
(Inversion formula). Assuming the hypothesis of Theorem 1 and being f such that lim t 0 + t δ 1 f ( t ) = 0 , then
k = 0 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 ,
almost everywhere on R + .
Proof. 
From Theorem 1 above one has
k = 0 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 = 0 f t 2 k f t 2 k + 1 2 1 δ t δ 1 2 k ( δ 1 ) = k = 0 f t 2 k t δ 1 2 k ( δ 1 ) f t 2 k + 1 t δ 1 2 ( k + 1 ) ( δ 1 ) = lim N k = 0 N f t 2 k t δ 1 2 k ( δ 1 ) f t 2 k + 1 t δ 1 2 ( k + 1 ) ( δ 1 ) = lim N f ( t ) t δ 1 f t 2 N + 1 t 2 N + 1 δ 1
almost everywhere on R + .
Since from hypothesis one has
lim N t 2 N + 1 δ 1 f t 2 N + 1 = 0 ,
and then the inversion formula (8) holds. □
From this result, one readily obtains the following:
Corollary 1 
(Injectivity). Assuming the hypothesis of Theorem 2, if L δ [ f ] = 0 , then f = 0 almost everywhere on R + .
Remark 2. 
Comparing Theorem 1 with [14] [Corollary 3], here one uses the hypothesis lim t 0 + t δ 1 f ( t ) = 0 instead of lim t t δ 1 f ( t ) = 0 , obtaining a new inversion formula for the transform L δ .
Remark 3. 
If f is a locally integrable function on R + = ( 0 , ) such that
f ( t ) = O ( t γ 1 ) a s t 0 + ,
and
f ( t ) = O ( t γ 2 ) a s t ,
where γ 1 > 1 δ , δ > 0 , and γ 2 R , then f satisfies the hypothesis of Theorems 1 and 2.
Note that taking γ 2 = 0 in (10), one finds that for any bounded measurable function f on R + with f ( t ) = O ( t γ ) a s t 0 + , γ > 1 δ , δ > 0 , γ 0 , then f satisfies the hypothesis of Theorems 1 and 2.
Observe that from Corollary 1 and the above considerations, the integral equation
0 f ( t ) t δ 1 e x t + 1 d t = 0 , x > 0 , δ > 0 ,
has not bounded measurable non-trivial solutions in δ > a , whenever f ( t ) = O ( t 1 a ) a s t 0 + , a 1 .
Note that taking a = 1 , one finds that the integral Equation (11) has not bounded measurable non-trivial solutions in δ > 1 .
Also note that taking a = 1 2 and 1 2 < δ < 1 , one arrives at the approach of the Salem equivalence to the Riemann hypothesis given in [13] [Corollary 2.4].

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

Next, we extend the inversion formula to the space of compactly supported distributions E R + . This generalization is crucial for analyzing the transform in a broader distributional framework, emphasizing weak convergence.
Definition 1. 
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 relation (7), one has
L δ [ f ] ( x ) = 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 , t δ 1 e x t 1 = f ( t ) f t 2 , t δ 1 e x t 1 , x > 0 ,
which is the distributional Lambert transform [30] [Equation (2.3) when a k = 1 , for   all k N ] of the member f ( t ) f t 2 of E R + .
In [14] [Theorem 4] the following was proved:
Theorem 3. 
Set δ > 0 . For f E R + and
L δ [ f ] ( x ) = f ( t ) , t δ 1 e x t + 1 , x > 0 ,
then
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) [28] [§1.9, p. 24]. Here, μ ( n ) numbers are the Möbius numbers, defined as μ ( 1 ) = 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 ) ( x ) denotes the conventional p-th derivative of L δ [ f ] ( x ) with respect to its argument x.
Theorem 4 
(Inversion formula). Assuming the hypothesis of Theorem 3, one has
k = 0 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 + .
Proof. 
Observe that from Theorem 3, one has
k = 0 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 = 0 f t 2 k f t 2 k + 1 2 1 δ t 2 k δ 1 ,
in the sense of the convergence in D R + .
Now
k = 0 f t 2 k f t 2 k + 1 2 1 δ t 2 k δ 1 = lim N k = 0 N f t 2 k f t 2 k + 1 2 1 δ t 2 k δ 1 = lim N f ( t ) f t 2 N + 1 t 2 N + 1 δ 1
in the sense of the convergence in D R + .
Observe that
lim N t 2 N + 1 δ 1 f t 2 N + 1 , ϕ ( t ) = 0 , f o r a l l ϕ D R + .
In fact for any ϕ D R + we have
lim N t 2 N + 1 δ 1 f t 2 N + 1 , ϕ ( t ) = lim N t δ 1 f ( t ) , 2 N + 1 ϕ ( 2 N + 1 t ) .
Now one has that 2 N + 1 ϕ ( 2 N + 1 t ) 0 as N in E R + .
In fact, for any compact K [ c , d ] R + , it follows that ϕ ( 2 N + 1 t ) = 0 , for N N 0 = N 0 , where t K , c 2 N 0 + 1 > b being s u p p ϕ [ a , b ] R + . Thus for N N 0 , m N 0 one has
max t K 2 N + 1 D m ϕ ( 2 N + 1 t ) = 0 .
So 2 N + 1 ϕ ( 2 N + 1 t ) 0 as N in E R + , and since t δ 1 f ( t ) E R + , we find that
lim N t δ 1 f ( t ) , 2 N + 1 ϕ ( 2 N + 1 t ) = 0 .
Thus
lim N t 2 N + 1 δ 1 f t 2 N + 1 , ϕ ( t ) = 0 , for   all ϕ D R + ,
As an immediate consequence of Theorem 4, one has
Corollary 2 
(Injectivity). Set δ > 0 . The map L δ : E R + E R + given by (18) is one-to-one.
Proof. 
From (14), 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 + [28] [§2.3, p. 37] and with it being f E R + , then f , ϕ = 0 for all ϕ E R + . Thus, f = 0 on E R + . □
Remark 4. 
Equation (14) becomes a different inversion formula for the distributional transform (18) to that obtained in [14] [Corollary 5].
Remark 5. 
Observe that the proof in Theorem 4 allows us to provide an alternative proof to that given for [14] [Corollary 5].
In that proof, one has to demonstrate that
lim N ( 2 N t ) δ 1 f ( 2 N t ) , ϕ ( t ) = 0 , f o r   a l l ϕ D R + .
In fact, for this one takes N 0 N 0 such that d 2 N 0 < a , and then the result holds.

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

In this subsection, we investigate the relationship between regular distributions of compact support and Salem’s equivalence to the Riemann hypothesis. We establish that the Widder–Lambert transform of a regular distribution coincides with its classical counterpart. Furthermore, using a result from distribution theory, we show that a class of compactly supported functions satisfying a certain integral equation must be zero almost everywhere, thereby illustrating a connection with Salem’s equivalence to the Riemann hypothesis.
For the case when f is a locally integrable 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, in turn, is called a regular member.
Observe that, taking 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 (18) of T f agrees with the classical Widder–Lambert transform (2) of the function f.
Concerning the Salem equivalence to the Riemann hypothesis, this equivalence is given by:
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 + [12,13,15,16] (§ 8.4, pp. 139–142), [17].
In our present setting, we prove the next 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 δ 1 T f , 1 e x t + 1 = T f , t δ 1 e x t + 1 = 0 f ( t ) t δ 1 e x t + 1 d t = 0 , for   all x > 0 .
Now using Corollary 2, one has that t δ 1 T f = 0 , and so T f = 0 .
From [27] (pp. 8–9), it follows that f = 0 almost everywhere on R + , and therefore the Proposition holds. □
Remark 6. 
The outcome presented in Proposition 1 represents a specific instance of the findings established in [13] [Corollaries 2.4 and 3.3]. Nevertheless, Proposition 1 provides insight into how distribution theory can be employed to identify a class of functions that adhere to Salem’s equivalence concerning the Riemann hypothesis. If an inversion formula for the distributional Widder–Lambert transform (18) could be extended to a more general class of distributions—beyond those with compact support—it would lead to a broader class of functions fulfilling the Salem’s equivalence to the Riemann hypothesis.

3. The Stieltjes–Poisson Transform

This section examines the inversion problem for the Stieltjes–Poisson transform, addressing both classical functions and distributions of compact support.

3.1. An Inversion Formula for the Stieltjes–Poisson Transform over Conventional Functions

This subsection presents an inversion formula for the Stieltjes–Poisson transform when applied to conventional functions. The results extend existing inversion techniques, offering a more generalized perspective that connects with Lambert-type transforms.
In [25] [Theorem 2] the following was proved:
Theorem 5. 
Let G ( x ) = 0 g ( t ) t x 2 + t 2 d t , x > 0 , where
0 | g ( t ) | t d t <
and
0 1 | g ( t ) log t | t d t < .
Then
H ( x ) = lim N 1 x G ( 0 ) 2 + k = 1 N ( 1 ) k G ( k π x )
exists for all x > 0 and
H ( x ) = 0 g ( t ) k = 1 e ( 2 k 1 ) x t d t ,
which is a generalized Lambert transform of the function g.
Moreover
lim p ( 1 ) p p ! p t p + 1 n = 1 μ ( 2 n 1 ) ( 2 n 1 ) p H ( p ) ( 2 n 1 ) p t = g ( t ) ,
almost everywhere on 0 < t < . Here, μ ( n ) are the Möbius numbers defined as μ ( 1 ) = 1 , μ ( n ) = ( 1 ) s if n is the product of s distinct primes, and μ ( n ) = 0 if n is divisible by a square and H ( p ) ( x ) denotes the conventional p-th derivative of H ( x ) with respect to its argument x.
Observe that for α , β R α 0 , x > 0 , one has
G ( x ) = | α | 2 F α , β ( x 2 α ) .
where g ( t ) = f ( t 2 α ) t 2 α ( β α + 1 ) .
In fact, for α > 0 ,   β R , x > 0 , one has
| α | 2 F α , β ( x 2 α ) = α 2 0 f ( t ) t β x α + t α d t = α 2 0 f ( u 2 α ) u 2 β α x 2 + u 2 2 α u 2 α 1 d u , ( making t = u 2 α ) = 0 f ( u 2 α ) u 2 α ( β α + 1 ) u x 2 + u 2 d u = 0 g ( u ) u x 2 + u 2 d u = G ( x ) .
For α < 0 ,   β R , x > 0 , it follows
| α | 2 F α , β ( x 2 α ) = α 2 0 f ( t ) t β x α + t α d t = 0 f ( u 2 α ) u 2 α ( β α + 1 ) u x 2 + u 2 d u , ( making t = u 2 α ) = 0 g ( u ) u x 2 + u 2 d u = G ( x ) .
Note that for α > 0 ,   β R , one has
0 | f ( u ) | u α β d u = 2 α 0 | f ( t 2 α ) | t 2 α ( α β ) t 2 α 1 d t , ( making u = t 2 α ) = 2 α 0 | f ( t 2 α ) | t 2 α ( β α + 1 ) t d t = 2 α 0 | g ( t ) | t d t .
For α < 0 ,   β R , one also obtains
0 | f ( u ) | u α β d u = 2 α 0 | g ( t ) | t d t .
On the other hand, for α > 0 ,   β R , one has
0 1 | f ( u ) log u | u α β d u = 2 α 0 1 | f ( t 2 α ) log t | t 2 α ( α β ) 2 α t 2 α 1 d t , ( making u = t 2 α ) = 4 α 2 0 1 | f ( t 2 α ) t 2 α ( β α + 1 ) log t | t d t = 4 α 2 0 1 | g ( t ) log t | t d t .
For α < 0   β R , it follows
1 | f ( u ) log u | u α β d u = 4 α 2 0 1 | f ( t 2 α ) log t | t t 2 α ( β α + 1 ) d t , ( making u = t 2 α ) = 4 α 2 0 1 | g ( t ) log t | t d t .
Thus one obtains the next result.
Theorem 6. 
Let
F α , β ( x ) = 0 f ( t ) t β x α + t α d t , x > 0 , α , β R , α 0 ,
where
0 | f ( t ) | t α β d t < ,
and
0 1 | f ( t ) log t | t α β d t < , w h e n   α > 0 , β R ,
or
1 | f ( t ) log t | t α β d t < , w h e n   α < 0 , β R .
Let
G ( x ) = | α | 2 F α , β ( x 2 α ) , x > 0 ,
and
H ( x ) = lim N 1 x G ( 0 ) 2 + k = 1 N ( 1 ) k G ( k π x ) .
Then
lim p ( 1 ) p p ! p t α 2 p + 1 t α β 1 n = 1 μ ( 2 n 1 ) ( 2 n 1 ) p H ( p ) ( 2 n 1 ) p t α 2 = f ( t ) ,
almost everywhere on 0 < t < .
Proof. 
Using Theorem 5 when g ( t ) = f ( t 2 α ) t 2 α ( β α + 1 ) , one has
lim p ( 1 ) p p ! p t p + 1 n = 1 μ ( 2 n 1 ) ( 2 n 1 ) p H ( p ) ( 2 n 1 ) p t = g ( t ) = f ( t 2 α ) t 2 α ( β α 1 ) ,
almost everywhere on 0 < t < .
Thus
lim p ( 1 ) p p ! p t α 2 p + 1 t α β 1 n = 1 μ ( 2 n 1 ) ( 2 n 1 ) p H ( p ) ( 2 n 1 ) p t α 2 = f ( t ) ,
almost everywhere on 0 < t < .
As a consequence of this result, one obtains the following:
Corollary 3 
(Injectivity). Assume f is a function which satisfies the hypothesis of Theorem 6. If F α , β f = 0 , then f = 0 almost everywhere on R + = ( 0 , ) .
Example 1. 
If f is a locally integrable function on R + = ( 0 , ) such that
f ( t ) = O ( t γ 1 ) a s t 0 + ,
and
f ( t ) = O ( t γ 2 ) a s t ,
where γ 1 > α β 1 and γ 2 < α β 1 , then f satisfies the hypothesis of Theorem 6.
Observe that for the Stieltjes ( α = 1 , β = 0 ) and Poisson ( α = 2 , β = 1 ) transforms, it is γ 1 > 0 and γ 2 < 0 .
Note that taking γ 2 = 0 in (16), one has that any bounded measurable function f on R + with f ( t ) = O ( t γ ) a s t 0 + , γ > α β 1 > 0 ; then, f satisfies the hypothesis of Theorem 6.
Also, taking γ 1 = 0 in (15) one has that any bounded measurable function f on R + with f ( t ) = O ( t γ ) a s t , γ < α β 1 < 0 ; then, f satisfies the hypothesis of Theorem 6.
Remark 7 
(Integral equation). Observe that from Corollary 3 and the above considerations, then the integral equation
0 f ( t ) t δ 1 x α + t α d t = 0 , α R , α 0 , δ R ,
has not bounded measurable non-trivial solutions in a < δ < α , whenever f ( t ) = O ( t α a ) a s t 0 + .
In fact, taking β = δ 1 , one has α a > α δ = α β 1 > 0 .
Analogously, Equation (17) has not bounded measurable non-trivial solutions in α < δ < a , whenever f ( t ) = O ( t α a ) a s t .
In fact, taking β = δ 1 , one has α a < α δ = α β 1 < 0 .
Remark 8 
(Another inversion formula). When one considers the case ρ = 1 in [31] [Theorem 3.1] one obtains another inversion formula for the Stieltjes–Poisson transform F α , β given by (3):
Assume α , β R , α 0 , and f is a continuous function on R + such that the integral in (3) exists for all x > 0 . Then
| α | t α β 1 lim p L p , t F α , β ( t ) = f ( t ) o n R + ,
where
L p , t F α , β ( t ) = ( 1 ) p 1 p ! ( p 2 ) ! D p t α ( 2 p 1 ) D p 1 F α , β ( t ) .

3.2. Concerning an Inversion Formula for the Stieltjes–Poisson Transform over Distributions of Compact Support

In this subsection, we derive an inversion formula for the Stieltjes–Poisson transform of distributions in E ( R + ) , refining the approach in [26]. By introducing the functional g f and employing its structural properties, we extend the inversion process within the distributional framework. Moreover, we establish the injectivity of the transform.
The Stieltjes–Poisson transform of a member f E ( R + ) is defined by
F α , β ( x ) = f ( t ) , t β x α + t α , x > 0 , α , β R , α 0 .
In [26] [Theorem 2.3], an inversion formula for the distributional transform (18) was obtained by means of the function
G ˜ ( x ) = α 2 F α , β ( x ) , x > 0 .
If we consider the function G ( x ) = | α | 2 F α , β ( x ) , x > 0 , instead of G ˜ ( x ) , and in a parallel way to [26] [Lemma 2.2 and Theorem 2.3], we arrive, respectively, at the next results.
Lemma 1. 
Assume f E ( R + ) ; then, the functional g f given by
g f , ϕ = f , ψ ,
where ψ ( t ) = | α | 2 t β α 2 ϕ ( t α 2 ) , ϕ E ( R + ) , is a member of E ( R + ) .
Theorem 7. 
Let f E ( R + ) and set
F α , β ( x ) = f ( t ) , t β x α + t α , x > 0 , α , β R , α 0 .
Denote
G ( x ) = | α | 2 F α , β ( x 2 α ) , x > 0 .
Then
H ( x ) = lim N 1 x G ( 0 ) 2 + k = 1 N ( 1 ) k G ( k π x ) ,
exists for all x > 0 and H ( x ) = g f , k = 1 e ( 2 k 1 ) x t , which is a generalized Lambert transform of the functional g f given by Lemma 1.
Moreover, for every  ϕ D ( R + )
f , ϕ = lim p ( 1 ) p p ! p t α 2 p + 1 t α β 1 n = 1 μ ( 2 n 1 ) ( 2 n 1 ) p H ( p ) ( 2 n 1 ) p t α 2 , ϕ ( t ) ,
where μ ( n ) are the Möbius numbers defined as μ ( 1 ) = 1 , μ ( n ) = ( 1 ) s if n is the product of s distinct primes, and μ ( n ) = 0 if n is divisible by a square and H ( p ) ( x ) denotes the conventional p-th derivative of H ( x ) with respect to its argument x.
From this result, and since D ( R + ) is dense in E ( R + ) [28] [§2.3, p. 37], one obtains the following:
Corollary 4 
(Injectivity). Assuming the hypothesis of Theorem 7, if F α , β = 0 , then f = 0 on E ( R + ) .
If f is a locally integrable function on R + and f has compact support on R + , then f gives rise to a regular member T f of E ( R + ) by means of
T f , ϕ = 0 f ( x ) ϕ ( x ) d x , f o r a l l ϕ E ( R + ) .
In fact, taking into account that
| T f , ϕ | = | 0 f ( x ) ϕ ( x ) d x | sup x s u p p ( f ) | ϕ ( x ) | s u p p ( f ) | f ( x ) | d x = ρ s u p p ( f ) , 0 ( ϕ ) s u p p ( f ) | f ( x ) | d x ,
where supp(f) represents the support of the function f, then T f E ( R + ) . Also, for this function f, we have
T f , t β x α + t α = 0 f ( t ) t β x α + t α d t , x > 0 .
This result ensures that the generalized Stieltjes–Poisson transform (18) of the regular member T f E ( R + ) agrees with the generalized Stieltjes–Poisson transform (3) of the function f.
Therefore, the inversion formula of Theorem 6 for this function f implies the inversion formula (19) for the distribution of compact support T f .
Remark 9 
(Integral equation). Observe that from Corollary 4 and the above considerations, one has that the integral Equation (17) is not locally integrable with compact support non-trivial solutions for any δ R . In particular, the integral Equation (17) has not bounded measurable with compact support non-trivial solutions for any δ R .
Remark 10 
(Another inversion formula). When one considers the case ρ = 1 in [31] [Theorem 5.2], one obtains another inversion formula for the distributional Stieltjes–Poisson transform F α , β , given by (18):
Let f E ( R + ) ; then, for every ϕ D ( R + )
f , ϕ = lim p ( 1 ) p 1 p ! ( p 2 ) ! | α | t α β 1 D p t α ( 2 p 1 ) D p 1 F α , β ( t ) , ϕ ( t ) .

4. Final Observations and Conclusions

This paper systematically develops inversion formulae for the Widder–Lambert transform, extending its applicability from conventional functions to compactly supported distributions. Additionally, it establishes a connection between this transform and Salem’s equivalence, providing insights into its relation to the Riemann hypothesis. Furthermore, inversion formulae for the Stieltjes–Poisson transform are derived using a generalized Lambert transform, with results extended to compactly supported distributions. By employing both analytical and distributional approaches, this work contributes to the broader theory of integral transforms, offering explicit reconstruction techniques. These findings enhance the theoretical understanding of both transforms and highlight their potential applications in harmonic analysis, mathematical physics, and related fields, reinforcing their significance in classical and generalized function spaces.

Author Contributions

All authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The present manuscript has no associated data.

Conflicts of Interest

The authors report no conflicts of interest.

References

  1. Widder, D.V. An inversion of the Lambert transform. Math. Mag. 1950, 23, 171–182. [Google Scholar] [CrossRef]
  2. Carrasco, J.R. The Lambert transform and an inversion formula. Rev. Acad. Sci. 1959, 53, 727–736. [Google Scholar]
  3. Pennington, W.B. Widder’s inversion formula for the Lambert transform. Duke Math. J. 1960, 27, 561–568. [Google Scholar] [CrossRef]
  4. Goldberg, R.R. Inversions of generalized Lambert transforms. Duke Math. J. 1958, 25, 459–476. [Google Scholar] [CrossRef]
  5. Miller, E.L. Convergence properties and an inversion formula for the Lambert transform. Rev. Tecn. Fac. Ingr. Univ. 1979, 2, 77–94. [Google Scholar]
  6. Ferreira, C.; López, J. The Lambert transform for small and large values of the transformation parameter. Q. Appl. Math. 2006, 64, 515–527. [Google Scholar] [CrossRef]
  7. Raina, R.K.; Nahar, T.S. A note on a certain class of functions related to Hurwitz zeta function and Lambert transform. Tamkang J. Math. 2000, 31, 49–56. [Google Scholar] [CrossRef]
  8. Goyal, S.P.; Laddha, R.K. On the generalized Riemann zeta functions and the generalized Lambert transform. Gadnita Sandesh 1997, 11, 99–108. [Google Scholar]
  9. Raina, R.K.; Srivastava, H.M. Certain results associated with the generalized Riemann zeta functions. Rev. Tecn. Fac. Ingr. Univ. 1995, 18, 301–304. [Google Scholar]
  10. Negrín, E.R.; Roopkumar, R. Generalized Lambert-type transforms over integrable Boehmians. Integral Transf. Spec. Funct. 2022, 33, 698–710. [Google Scholar] [CrossRef]
  11. Maan, J.; Negrín, E.R.; González, B.J. On the Generalized Lambert Transform over Lebesgue and Boehmian Spaces. Int. J. Appl. Comput. Math. 2023, 9, 103. [Google Scholar] [CrossRef]
  12. González, B.J.; Negrín, E.R. Inversion formulae for a Lambert-type transform and Salem’s equivalence to the Riemann hypothesis. Integral Transf. Spec. Funct. 2023, 34, 614–618. [Google Scholar] [CrossRef]
  13. González, B.J.; Negrín, E.R. Approaching the Riemann hypothesis using Salem’s equivalence and inversion formulae of a Widder-Lambert-type transform. Integral Transf. Spec. Funct. 2024, 35, 291–297. [Google Scholar] [CrossRef]
  14. Negrín, E.R.; Maan, J.; González, B.J. Widder–Lambert Transforms with Applications in the Salem Equivalence to the Riemann Hypothesis. Axioms 2025, 14, 129. [Google Scholar] [CrossRef]
  15. Yakubovich, S. Integral and series transformations via Ramanujan’s identities and Salem’s type equivalences to the Riemann hypothesis. Integral Transf. Spec. Funct. 2014, 25, 255–271. [Google Scholar] [CrossRef]
  16. Broughan, K. Equivalents of the Riemann Hypothesis; Cambridge University Press: Cambridge, UK, 2017; Volume 2. [Google Scholar]
  17. Salem, R. Sur une proposition équivalente à l’hypothèse de Riemann. CR Acad. Sci. 1953, 236, 1127–1128. [Google Scholar]
  18. Patkowski, A.E. On Salem’s integral equation and related criteria. Tsukuba J. Math. 2023, 47, 207–213. [Google Scholar] [CrossRef]
  19. Sumner, D.B. An Inversion Formula for the Generalized Stieltjes Transform. Bull. Amer. Math. Soc. 1949, 55, 174–183. [Google Scholar] [CrossRef]
  20. Maan, J.; Negrín, E.R. On the generalized Stieltjes transform over weighted Lebesgue spaces and distributions of compact support. Rend. Circ. Mat. Palermo II Ser. 2023, 72, 3551–3561. [Google Scholar] [CrossRef]
  21. Maan, J.; Negrín, E.R. A comprehensive study of generalized Lambert, generalized Stieltjes, and Stieltjes-Poisson transforms. Axioms 2024, 13, 283. [Google Scholar] [CrossRef]
  22. Love, E.R.; Byrne, A. Real Inversion Theorems for Generalized Stieltjes Transforms. J. Lond. Math. Soc. 1980, 22, 285–309. [Google Scholar] [CrossRef]
  23. Pathak, R.S. Integral Transforms of Generalized Functions and Their Applications; Gordon and Breach Science Publishers: Amsterdam, The Netherlands, 1997. [Google Scholar]
  24. Srivastava, H.M.; Yürekli, O. A theorem on a Stieltjes-type integral transform and its applications. Complex Var. Elliptic Equ. 1995, 28, 159–168. [Google Scholar] [CrossRef]
  25. Goldberg, R.R. An inversion of the Stieltjes transform. Pac. J. Math. 1958, 8, 213–217. [Google Scholar] [CrossRef]
  26. González, B.J.; Negrín, E.R. A distributional inversion formula for a generalization of the Stieltjes and Poisson transforms. Integral Transf. Spec. Funct. 2009, 20, 897–903. [Google Scholar] [CrossRef]
  27. Zemanian, A.H. Distribution Theory and Transform Analysis: An Introduction to Generalized Functions with Applications; McGraw-Hill Book Co.: New York, NY, USA, 1965. [Google Scholar]
  28. Zemanian, A.H. Generalized Integral Transformations; Interscience Publishers, John Wiley and Sons: New York, NY, USA, 1968; Volume 18. [Google Scholar]
  29. Sidorov, N.A.; Sidorov, D.N. Existence and construction of generalized solutions of nonlinear Volterra integral equations of the first kind. Differ. Equ. 2006, 42, 1312–1316. [Google Scholar] [CrossRef]
  30. Hayek, N.; González, B.J.; Negrín, E.R. The generalized Lambert transform on distributions of compact support. J. Math. Anal. Appl. 2002, 275, 938–944. [Google Scholar] [CrossRef]
  31. Maan, J.; Negrín, E.R. The generalized Stieltjes–Poisson transform over Lebesgue spaces and distributions of compact support. São Paulo J. Math. Sci. 2024, 18, 1839–1860. [Google Scholar] [CrossRef]
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

Negrín, E.R.; Maan, J. New Inversion Formulae for the Widder–Lambert and Stieltjes–Poisson Transforms. Axioms 2025, 14, 291. https://doi.org/10.3390/axioms14040291

AMA Style

Negrín ER, Maan J. New Inversion Formulae for the Widder–Lambert and Stieltjes–Poisson Transforms. Axioms. 2025; 14(4):291. https://doi.org/10.3390/axioms14040291

Chicago/Turabian Style

Negrín, Emilio R., and Jeetendrasingh Maan. 2025. "New Inversion Formulae for the Widder–Lambert and Stieltjes–Poisson Transforms" Axioms 14, no. 4: 291. https://doi.org/10.3390/axioms14040291

APA Style

Negrín, E. R., & Maan, J. (2025). New Inversion Formulae for the Widder–Lambert and Stieltjes–Poisson Transforms. Axioms, 14(4), 291. https://doi.org/10.3390/axioms14040291

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