The <i> μ ^th </i> order Mehler–Fock transform and allied pseudo-differential operator (Q7017495)

By considering the definition of the \(\mu^{th}\) order Mehler-Fock transform (\(\mu\)MFT) as given by González and Negrín (see [\textit{B.~J. González} and \textit{E.~R. Negrín}, Banach J. Math. Anal. 13, No.~3, 524--537 (2019; Zbl 1425.46027)]), \N\[ \N\left( {\mathfrak{M}{\mathfrak{F}_\mu }f} \right)\left( \tau \right) = \int_1^\infty {P_{ - \frac{1}{2} + i\tau }^{ - \mu }} \left( x \right)f\left( x \right)dx,\quad \tau \in {\mathbb{R}_ + } = \left( {0,\infty } \right),\tag{1}\N\] \Nwhere \({P_{ - \frac{1}{2} + i\tau }^{ - \mu }}\) is the associated Legendre function of the first kind and \(\mu \in \mathbb{C}\) with \(\Re \mu > \frac{1}{2}\), the authors first discuss the generalized translation and convolution operator associated with this transform in the Lebesgue space. By defining `the generalized translation operator for any function \(f \in L^1(\mathbb{I};dx)\)' as \N\[ \N\left( {{}_\mu {\mathfrak{T}_x}f} \right)\left( y \right) = \left( {\mu {\mathfrak{T}_y}f} \right)\left( x \right) = \int_1^\infty {K\left( {x,y,z} \right)f\left( z \right)dz,} \tag{2} \N\] \Nin which the symmetric kernel \(K(x,y,z)\) is given by \N\[\NK\left( {x,y,z} \right) = \begin{cases} \frac{{{2^\mu }\Gamma \left( {\mu + 1} \right)}}{{\pi \;\Gamma \left( {2\mu + 1} \right)}}Y{\left( {x,y,z} \right)^{\mu - 1/2}}{\left[ {\left( {{x^2} - 1} \right)\left( {{y^2} - 1} \right)\left( {{z^2} - 1} \right)} \right]^{ - \frac{\mu }{2}}}, &{\text{for }}\;Y > 0, \\\N0, &{\text{for }}\;Y \leqslant 0, \N\end{cases} \tag{3} \N\] \Nand \(Y\left( {x,y,z} \right) = 2xyz + 1 - {x^2} - {y^2} - {z^2},\) `and the convolution operator of the function \(f,g \in L^1(\mathbb{I}; dx)\)' as \N\[ \N\left( {f\mathop *\limits_\mu g} \right)\left( x \right) = \int_1^\infty {\left( {{}_\mu {\mathfrak{T}_x}f} \right)\left( y \right)g\left( y \right)dy} = \int_1^\infty \!\! {\int_1^\infty {K\left( {x,y,z} \right)f\left( z \right)g\left( y \right)dy\,dz,} } \tag{4}\N\] \Nthe authors prove the following two results concerning respectively the generalized translation and convolution operator associated with \(\mu\)MFT:\N\NTheorem 2.1: If the generalized translation operator associated to \(\mu\)MFT is defined as in (2), then \N\[\N{\left\| {{}_\mu {\mathfrak{T}_x}f} \right\|_{{L^p}\left( {\mathbb{I};{e^{ - y}}dy} \right)}} \leqslant \left| {C{'_\mu }} \right|{\left( {{x^2} - 1} \right)^{ - \frac{1}{4}}}{\left\| f \right\|_{{}_{{L^p}\left( {\mathbb{I};{e^{ - z\left( {1 - p} \right)}}{{\left( {{z^2} - 1} \right)}^{ - {1}/{4}}}dz} \right)}}} \ ,\N\] \Nwhere \(\left| {C{'_\mu }} \right|\) is a positive constant and \(1\le p <4\), and \(f\in{{L^p}( {\mathbb{I};{e^{ - z( {1 - p} )}}{{( {{z^2} - 1})}^{ - {1}/{4}}}dz} )}\).\N\NTheorem 2.2: Let us consider two functions \(f,g \in L^p(\mathbb{I}; dx)\) that satisfy \(0 < m < f (x) < \infty\), \(0 < n < g(x) < \infty\). Then, \N\[\N{\left\| {f\mathop *\limits_\mu g} \right\|_{{L^r}\left( {\mathbb{I};dx} \right)}} \leqslant \frac{{\left| {C{'_\mu }} \right|}}{{{{\left( {mn} \right)}^{p - 1}}}}\left\| f \right\|_{{L^p}\left( {\mathbb{I};{{\left( {{z^2} - 1} \right)}^{ - 1/4}}dz} \right)}^p\left\| g \right\|_{{L^p}\left( {\mathbb{I};{{\left( {{y^2} - 1} \right)}^{ - 1/4}}dy} \right)}^p,\] \Nwhere \(1 \le p < \infty\), \(2<r<4\) and \({\left| {C{'_\mu }} \right|}\) is a positive constant.\N\NIn Section 3 the authors discuss the continuity of \(\mu\)MFT over certain function spaces and establish three results in this connection. The important results in this direction are the following:\N\NTheorem 3.1: The \(\mu\)MFT is a continuous linear mapping from the Lebesgue space \(L^p(\mathbb{I}; dx)\) to \(L^q(\mathbb{R}_+; e^{-\tau} d\tau)\), where \(\frac{1}{p} + \frac{1}{q} =1\), \(1 < p < \infty\) and \(2 < q < \infty\).\N\NTheorem 3.2: The \(\mu\)MFT is a continuous linear mapping from the Lebesgue space \(L^p(\mathbb{I};P_{ - {1}/{2}}^{ - \Re \mu }\left( x \right)dx)\) to \(L^p(\mathbb{R}_+; e^{-\tau} \, d\tau)\), where \(1 \le p < \infty\).\N\NIn Section 4 the authors define pseudo-differential operators (p.d.o.) for \(\mu\)MFT as follows:\N\NDefinition 4.1: Let us consider the symbol class \(\mathfrak{S}^\infty\) containing functions \(a(x, \tau) \in C^\infty(\mathbb{I}\times \mathbb{R}_+)\), which are exponentially decreasing in \(x\) and \(\tau\) such that \N\[ \N\left| {D_x^mD_\tau ^na\left( {x,\tau } \right)} \right| \leqslant {C_{m,n}}{e^{ - k\left( {x + \tau } \right)}}, \tag{5}\N\] \Nwhere \(m,n\in \mathbb{N}_0\), \(k\in \mathbb{N}\) and \(C_{m,n}\) is a positive constant.\N\NDefinition 4.2: Let the symbol \(a(x, \tau)\) satisfy (5). Then the p.d.o. in terms of \(\mu\)MFT corresponding to any function \(f \in \mathbb{H}_{m,n,k}\) is denoted by \(\mathfrak{P}_af\) and is defined as \N\[ \N{\mathfrak{P}_a}f = \frac{1}{\pi }\int_0^\infty {\tau \sinh \left( {\pi \tau } \right)\Phi \left( {\tau ,\mu } \right)P_{ - \frac{1}{2} + i\tau }^{ - \mu }\left( x \right)a\left( {x,\tau } \right)} \left( {\mathfrak{M}{\mathfrak{F}_\mu f }} \right)\left( \tau \right)d\tau. \tag{6} \N\]\N\NOn the basis of these definitions and related concepts the authors prove three results concerning the p.d.o. of the \(\mu\)MFT. An interesting resulting of this type is:\N\NTheorem 4.3: The p.d.o. defined as (6) is a continuous linear mapping from the function space \(H_{0,n,0}\) to \(L^1( \mathbb{I}; ( {P_{ - {1}/{2}}^{ - \Re \mu }( x ) )^{ - 1}dx} )\).