Preprint
Article

The Generalized Mehler-Fock Transform over Lebesgue Spaces

This version is not peer-reviewed.

Submitted:

28 June 2024

Posted:

29 June 2024

You are already at the latest version

A peer-reviewed article of this preprint also exists.

Abstract
This paper focuses on establishing boundedness properties and Parseval-Goldstein type relations for the generalized Mehler-Fock transform initially introduced by B. L. J. Braaksma and B. M. Meulenbeld (Compositio Math.,{18}(3):235-287, 1967. Also, we derive an inversion formula for this transform over Lebesgue spaces.
Keywords: 
;  ;  ;  ;  

MSC:  44A15; 46E30; 47G1

1. Introduction and Preliminaries

The concept of the Mehler-Fock transform has its roots in the groundbreaking contributions of F. G. Mehler [5] and V. A. Fock [2]. Evolving from their seminal work, it emerged as a distinct integral transform, finding applications across a broad spectrum of mathematical physics problems. Extensive research by various scholars has led into its properties and applications. For an in-depth exploration, interested readers can consult the following references, among others [3,4,7,8,9,10,11,13].
We consider the generalized Mehler-Fock transform of a suitable complex-valued function f on R + analyzed by B. L. J. Braaksma and B. M. Meulenbeld [11] and R. S. Pathak [13] (chapter 11) given by
( B m , n f ) ( τ ) = 0 f ( x ) P 1 2 + i τ m , n ( cosh x ) sinh x d x , τ > 0 ,
where m , n are complex numbers with m < 1 2 and P 1 2 + i τ m , n ( cosh x ) is the associated Legendre function of the first kind [1] (Chapter 3) defined by
P 1 2 + i τ m , n ( cosh x ) = ( 1 + cosh x ) n 2 Γ ( 1 m ) ( cosh x 1 ) m 2 × F 1 2 1 2 + i τ + n m 2 , 1 2 i τ + n m 2 ; 1 m ; 1 cosh x 2 ,
where F 1 2 is the Gauss hypergeometric function [1] (p. 57).
A corresponding inversion formula of (1) for suitable f is given by
f ( x ) = 0 χ ( τ ) P 1 2 + i τ m , n ( cosh x ) ( B m , n f ) ( τ ) d τ , x > 0 ,
where
χ ( τ ) = Γ 1 m + n 2 + i τ Γ 1 m + n 2 i τ Γ 1 m n 2 + i τ × Γ 1 m n 2 i τ Γ ( 2 i τ ) Γ ( 2 i τ ) π 2 n m + 2 1 .
The conditions of validity of (1) and (2) are provided by Braaksma and Meulenbeld [11].
Notice that for m = n = 0 one obtains the Mehler-Fock transform of zero order [12] (Section 7-6, p. 390) and [11] (Theorem 7, p. 247)
F ( τ ) = 0 f ( x ) P 1 2 + i τ ( cosh x ) sinh x d x , τ > 0 .
and a corresponding inversion formula given by
f ( x ) = 0 τ tanh ( π τ ) P 1 2 + i τ ( cosh x ) F ( τ ) d τ , x > 0 .
The case m = n , m < 1 2 is contemplated in [11] (Theorem 7, p. 247)
F m ( τ ) = 0 f ( x ) P 1 2 + i τ m ( cosh x ) sinh x d x , τ > 0 .
and a corresponding inversion formula given by
f ( x ) = 1 π 0 τ sinh ( π τ ) Γ 1 2 m + i τ Γ 1 2 m i τ × P 1 2 + i τ m ( cosh x ) F m ( τ ) d τ , x > 0 .
From [13] (formula (11.1.8), p. 345)
P 1 2 + i τ m , n ( cosh x ) = O ( x m ) a s x 0 + .
From [13] (formula (11.1.9), p. 345)
P 1 2 + i τ m , n ( cosh x ) = O ( e x 2 ) a s x + .
Thus one has
P 1 2 + i τ m , n ( cosh x ) sinh x = O ( x 1 m ) a s x 0 + ,
P 1 2 + i τ m , n ( cosh x ) sinh x = O ( e x 2 ) a s x + .
From [13] (formula (11.1.9), p. 345)
P 1 2 + i τ m , n ( cosh x ) C π 2 Γ 1 2 m P 1 2 m , 0 ( cosh x ) ,
where C is a constant independent of x and τ , m < 1 2 , x > 0 , τ > 0 .
Now, observe that from () the convergence of the integral
0 P 1 2 m , 0 ( cosh x ) sinh x d x
is not assured in .
For γ R we consider the vector space E γ consisting of all complex-valued measurable functions f on R + such that e γ x f ( x ) L ( R + ) . In their recent study [6], Maan and Negrín made extensive use of spaces of type E γ .
A norm · γ on E γ is given by
f γ = e γ x f ( x ) L ( R + ) .
With this norm, the map
T γ : E γ L ( R + )
where for any f E γ :
T γ f ( x ) = e γ x f ( x ) , x R + ,
is an isometric isomorphism from E γ to L ( R + ) . Thus, since L ( R + ) is complete, then the space E γ becomes a Banach space.
The C c k ( R + ) , k N , denotes as it is usual the space of compactly supported functions on R + which are k-times differentiable with continuity.
The content of this paper is as follows: Section 1 is concerned with the definitions and useful results which are used in the entire sequel. Section 2 provides an inversion formula for the generalized Mehler-Fock transform given by (1). Section 3 deals with the continuity features over Lebesgue spaces and Parseval-Goldstein type relations for the generalized Mehler-Fock transform given by (1). Section 4 gives concluding remarks.

2. An Inversion Formula over the Spaces E γ

By means of [11] (Theorem 5, p. 245) one obtains the next inversion formula for the transform (1) over the spaces E γ , γ > 1 2 .
Theorem 1 
(Inversion formula). Assume f E γ , γ > 1 2 , and let m , n be complex numbers with | n | < 1 m and 3 2 < m < 1 2 . Suppose that the function f is continuous at the point x and of bounded variation in the neighbourhood of the point x. Then
0 χ ( τ ) P 1 2 + i τ m , n ( cosh x ) ( B m , n f ) ( τ ) d τ = f ( x ) ,
where χ ( τ ) is given by (3).
Proof. 
Observe that being f E γ , γ > 1 2 , the function g ( t ) = f ( log ( t + t 2 1 ) ) , t > 1 , satisfies the condition (0.6) of p. 236 of [11].
Also the function g is continuous at the point cosh x and of bounded variation in the neighbourhood of the point cosh x .
Thus from Theorem 5 of [11] one has
0 χ ( τ ) P 1 2 + i τ m , n ( cosh x ) 1 g ( t ) P 1 2 + i τ m , n ( t ) d t d τ = g ( cosh x ) .
Now, taking in (13) t = cosh u , u > 0 , and taking into account that g ( cosh u ) = f ( u ) , one obtains
0 χ ( τ ) P 1 2 + i τ m , n ( cosh x ) 0 f ( u ) P 1 2 + i τ m , n ( cosh u ) sinh u d u d τ = f ( x ) .
As a consequence of Theorem 1 one obtains the next result.
Corollary 2 (Injectivity) 
Assume that the functions f , g E γ , γ > 1 2 , and let m , n be complex numbers with | n | < 1 m and 3 2 < m < 1 2 . Suppose that the function f and g are continuous on R + and of bounded variation in the neighbourhood of each point of R + . Then, if B m , n f = B m , n g on R + it follows that f = g on R + .

3. Boundedness Properties and Parseval-Goldstein Type Relations Over the Spaces E γ

Observe that for m , n being complex numbers with m < 1 2 , f E γ , γ > 1 2 , τ > 0 , one obtains from (12)
| ( B m , n f ) ( τ ) | f γ 0 e γ x f ( x ) | P 1 2 + i τ m , n ( cosh x ) | sinh x d x f γ C π 2 Γ 1 2 m 0 e γ x P 1 2 m , 0 ( cosh x ) sinh x d x .
Now, from (10) and () the integral
0 e γ x P 1 2 m , 0 ( cosh x ) sinh x d x
converges for γ > 1 2 .
Thus the next result holds.
Proposition 3. 
Set m , n be complex numbers with m < 1 2 . The generalized Mehler-Fock transform B m , n given by (1) is a bounded linear operator from E γ , γ > 1 2 , into L ( R + ) . If f E γ , γ > 1 2 , then
B m , n f L ( R + ) M f γ , f o r s o m e M > 0 ,
and B m , n f is a continuous function on R + . Moreover, the generalized Mehler-Fock transform B m , n is a continuous map from E γ , γ > 1 2 , to the Banach space of bounded continuous functions on R + .
Proof. 
Let τ 0 > 0 be arbitrary. Since the map
τ P 1 2 + i τ m , n ( cosh x ) sinh x
is continuous for each fixed x > 0 , we have
P 1 2 + i τ m , n ( cosh x ) sinh x P 1 2 + i τ 0 m , n ( cosh x ) sinh x a s τ τ 0 .
Further, we have that
P 1 2 + i τ m , n ( cosh x ) sinh x P 1 2 + i τ 0 m , n ( cosh x ) sinh x | f ( x ) |
is dominated by the integrable function
2 C π 2 Γ 1 2 m P 1 2 m , 0 ( cosh x ) sinh x | f ( x ) | .
Therefore, by using dominated convergence theorem, we get
( B m , n f ) ( τ ) ( B m , n f ) ( τ 0 ) 0 P 1 2 + i τ m , n ( cosh x ) sinh x P 1 2 + i τ 0 m , n ( cosh x ) sinh x | f ( x ) | d x ,
which tends to 0 as τ τ 0 .
Thus, B m , n f is a continuous function on R + .
Since for each τ > 0 and from (14) one has
| ( B m , n f ) ( τ ) | f γ C π 2 Γ 1 2 m 0 e γ x P 1 2 m , 0 ( cosh x ) sinh x d x = M f γ , for   some M > 0 ,
then B m , n f is a bounded function.
The linearity of the integral operator implies that the B m , n transform is linear. Also from (15) we get that
B m , n f L ( R + ) M f γ
and hence
B m , n : E γ L ( R + ) , γ > 1 2 ,
is a continuous linear map. □
Also, the next result holds.
Proposition 4. 
Set m , n be complex numbers with m < 1 2 , γ > 1 2 , w be a measurable function on R + such that w > 0 a.e. on R + and 0 w ( x ) d x < . Then, for 0 < q < ,
B m , n : E γ L q ( R + , w ( x ) d x )
is a bounded linear operator.
Example 1. 
Examples of weights w for Proposition 4 are:
( i ) w ( x ) = ( 1 + x ) r , f o r r < 1 . ( ii ) w ( x ) = e r x , f o r r < 0 .
For a suitable function g we denote
( B m , n * g ) ( x ) = sinh x 0 g ( τ ) P 1 2 + i τ m , n ( cosh x ) d τ , x > 0 ,
where m and n are complex numbers with m < 1 2 .
The B m , n * g exists for g L 1 R + .
In fact, from (12)
| ( B m , n * g ) ( x ) | sinh x 0 | g ( τ ) | | P 1 2 + i τ m , n ( cosh x ) | d τ sinh x C π 2 Γ 1 2 m P 1 2 m , 0 ( cosh x ) 0 | g ( τ ) | d τ < ,
for each x R + .
Now, observe that for γ 1 2 and having into account (10) and () the expression
e γ x P 1 2 m , 0 ( cosh x ) sinh x A , f o r a l l x > 0 a n d s o m e A > 0 .
Thus, for g L 1 ( R + ) one has
B m , n * g γ A · g L 1 ( R + ) , γ 1 2 .
So one obtains the next result.
Proposition 5. 
Set m , n be complex numbers with m < 1 2 . The linear operator B m , n * given by (16) is a bounded linear operator from L 1 ( R + ) into E γ , γ 1 2 .
The next result holds.
Proposition 6. 
Set m , n be complex numbers with m < 1 2 and w be a measurable function on R + such that w > 0 a.e. on R + and 0 < q < . If 0 P 1 2 m , 0 ( cosh x ) sinh x q w ( x ) d x < . Then
B m , n * : L 1 ( R + ) L q ( R + , w ( x ) d x )
is a bounded linear operator.
Proof. 
From (17) one has
0 | ( B m , n * g ) ( x ) | q w ( x ) d x 1 q M · g L 1 ( R + ) · 0 P 1 2 m , 0 ( cosh x ) sinh x q w ( x ) d x 1 q ,
for some M > 0 , and so the result holds. □
Example 2. 
Examples of weights w for Proposition 6 are:
( i ) w ( x ) = e r x , f o r r < q 2 . ( ii ) w ( x ) = e r x 2 , f o r r < 0 .
The next Parseval-Goldstein type relation holds.
Theorem 7. 
Set m , n be complex numbers with m < 1 2 , f E γ , γ > 1 2 and g L 1 ( R + ) , then the following Parseval-Goldstein type relation relation holds
0 ( B m , n f ) ( x ) g ( x ) d x = 0 f ( x ) ( B m , n * g ) ( x ) d x .
Proof. 
Applying Fubini’s theorem in the following we get
0 B m , n f ( τ ) g ( τ ) d τ = 0 0 f ( x ) P 1 2 + i τ m , n ( cosh x ) sinh x d x g ( τ ) d τ = 0 sinh x 0 g ( τ ) P 1 2 + i τ m , n ( cosh x ) d τ f ( x ) d x = 0 f ( x ) B m , n * g ( x ) d x .
Observe that from (17) the B m , n * g exists for g L 1 R + . □
Consider the differential operator
L m , n , x = D x sinh x D x ( sinh x ) 1 + m 2 2 ( 1 cosh x ) + n 2 2 ( 1 + cosh x ) .
From [13]
L m , n , x P 1 2 + i τ m , n ( cosh x ) sinh x = τ 2 + 1 4 P 1 2 + i τ m , n ( cosh x ) sinh x ,
and then for k N
L m , n , x k P 1 2 + i τ m , n ( cosh x ) sinh x = ( 1 ) k τ 2 + 1 4 k P 1 2 + i τ m , n ( cosh x ) sinh x .
Denote
L m , n , x * = ( sinh x ) 1 D x sinh x D x + m 2 2 ( 1 cosh x ) + n 2 2 ( 1 + cosh x ) .
From (20) and f C c 2 k ( R + ) , k N , it follows
B m , n L m , n , x * k f ( τ ) = ( 1 ) k τ 2 + 1 4 k ( B m , n f ) ( τ ) , τ > 0 .
Then from Theorem 7 one has the next result.
Theorem 8. 
If f C c 2 k ( R + ) , k N , m , n be complex numbers with m < 1 2 , and g L 1 ( R + ) , then the following Parseval-Goldstein type relation holds
( 1 ) k 0 ( B m , n f ) ( x ) g ( x ) x 2 + 1 4 k d x = 0 ( L m , n , x * k f ) ( x ) ( B m , n * g ) ( x ) d x .

4. Conclusions

In conclusion, this paper has been dedicated to the establishment of boundedness properties and Parseval-Goldstein type relations for the generalized Mehler-Fock transform, as first introduced by B. L. J. Braaksma and B. Meulenbeld in 1967 and subsequently by R. S. Pathak in 1997. Moreover, we have derived an inversion formula for this transform across Lebesgue spaces. These results not only contribute to a deeper understanding of the generalized Mehler-Fock transform but also pave the way for future investigations into analogous properties within the spaces of type E γ for diverse integral transforms.

Declarations Note

The manuscript has no associated data.

Conflicts of Interest

No potential conflict of interest was reported by the authors.

References

  1. Erdélyi, A., Magnus W., Oberhettinger F. and Tricomi F. G., Higher transcendental functions, McGraw-Hill Book Company, Vol (1), New York, 1953.
  2. Fock V., A., On the representation of an arbitrary function by an integrals involving the Legendre’s functions with a complex index, Dokl. Akad. Nauk, 39(7):279-283, 1943. (In Russian).
  3. González B., J. and Negrín E. R., Operational calculi for Kontorovich-Lebedev and Mehler-Fock transforms on distributions with compact support, Rev. Colombiana Mat., 32(1):81-92, 1998.
  4. González B., J. and Negrín E. R., Lp-inequalities and Parseval-type relations for the Mehler-Fock transforms of general order, Ann. Funct. Anal., 8(2): 231-239, 2017.
  5. Mehler F., G., Ueber eine mit den kugel-und cylinderfunctionen verwandte function und ihre anwendung in der theorie elektricitatsvertheilung, Math. Anal. Bd., 18:161-194, 1881. (In Russian).
  6. Maan, J. and Negrín E. R., A comprehensive study of generalized Lambert, generalized Stieltjes, and Stieltjes-Poisson transforms, Axioms, 13(5):283, 2024.
  7. Prasad, A., Mandal U. K. and Verma S. K., Zero-order Mehler-Fock transform and Sobolev-type space, Math. Inequal. Appl., 22(2):761-775, 2019.
  8. Srivastava H., M., González B. J. and Negrín E. R., New Lp-boundedness properties for the Kontorovich-Lebedev and Mehler-Fock transforms, Integral Transforms Spec. Funct., 27(10):835-845, 2016.
  9. Yakubovich, S., An Index integral and convolution operator related to the Kontorovich-Lebedev and Mehler-Fock transforms, Complex Anal. Oper. Theory, 6(4):947-970, 2012.
  10. Zemanian A., H., Generalized integral transformations, Interscience Publishers/Wiley, Vol (18), Series on pure and applied mathematics, New York, 1968.
  11. Braaksma B. L., J. and Meulenbeld B. M., Integral transforms with generalized Legendre functions as kernels, Compositio Math., 18(3):235-287, 1967.
  12. Sneedon I., N., The use of integral transforms, Mc-Graw Hill, New York, 1972.
  13. Pathak R., S., Integral transforms of generalized functions and their applications, Gordon and Breach Science Publishers, Amsterdam, 1997.
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.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

Downloads

108

Views

52

Comments

0

Subscription

Notify me about updates to this article or when a peer-reviewed version is published.

Email

Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2025 MDPI (Basel, Switzerland) unless otherwise stated