Some representations of translations of the product of two functions for Hankel transforms and Jacobi transforms (Q2641897)

The authors consider a special integral transform for weighted \(L^1\)-space functions (Hankel transform) \[ \widehat f(\lambda)=H_\nu f(\lambda)= \int^\infty_0f(x)j_\nu (\lambda x)\,dm_\nu(x), \] where \(dm_\nu(x)= \frac{1}{2^\nu\Gamma(\nu+1)} x^{2\nu+ 1}\,dx\), \(\nu>-1\); \(f(x)\in L((0,\infty),dm_\nu(x))\) and \(j_\nu(x)\) is the normalized Bessel functions. An appropriate definition of the translation related to Hankel transforms in terms of an integral is the following: \[ T_yf(x)= c_{\nu,0} \int^\pi_0f(Z_{x,y}(\theta))\sin^{2\nu}\theta\,d\theta \] for \(\nu>-\tfrac 12\), where \(c_{\nu,0}=\Gamma(\nu+1)/\Gamma(\nu+\tfrac 12)\) and \[ Z_{x,y} \theta=(x^2+y^2-2xy\cos\theta)^{1/2}. \] If, for a measurable function \(f\), the integral exists for each pair \(x,y\in(0, \infty)\), then we say that \(f\) has translation \(T_yf\). For the first time this generalized translation was studied by Levitan. The aim of the paper is to obtain the representation formula of the generalized translation of the product of two functions. For given \(f\) and \(g\), we define a sequence \(\{T_y^{(m)}:m=1,2,\dots\}\) of ``difference operators'' by \[ T_y^{(m)}f(x)=c_{\nu,m}(-1)^m\int^\pi_0f(Z_{x,y}(\theta)) C^\nu_m(\cos\theta) \sin^{2\nu}\theta\,d\theta \] for \(\nu>-\tfrac 12\) and \(\nu\neq 0\), where \(C^\nu_m (x)\) is the Gegenbauer polynomial of degree \(m\), and \[ c_{\nu,m}=\frac{\Gamma (\nu)\Gamma(\nu+1) \Gamma(m+1)}{2^{1-2\nu}\pi\Gamma(m+2\nu)}. \] For \(m=0\), we denote \(T^{(0)}_yf=T_yf\). Main result. Under some conditions imposing on functions \(f\) and \(g\), the following expression of \(T_y(fg)\) is correct \[ T_y (fg)(x)=T_yf(x)T_yg(x)+\sum^\infty_{m=1}\frac{(m+ \nu)\Gamma(m+2\nu)}{\nu\Gamma(2\nu)\Gamma(m+1)}T_h^{(m)}f(x)T_y^{(m)}g(x). \] The analogous problem related to Jacobi transforms is also studied.