Certain pseudo-differential operator associated with the Bessel operator (Q1574262)

The authors consider Bessel pseudodifferential operators. From a formal point of view, they are defined by \[ a_\mu(x, D)u(x)= \int^\infty_0 (xy)^{1/2} J_\mu(xy) a(x,y) U_\mu(y) dy, \] setting \[ U_\mu(y)= \int^\infty_0 (xy)^{1/2} J_\mu(xy) u(x) dx, \] where \(J_\mu\) denotes the Bessel function, with \(\mu\geq -1/2\). The symbol \(a(x,y)\) satisfies suitable conditions [cf. \textit{R. S. Pathak} and \textit{P. K. Pandey}, J. Math. Anal. Appl. 215, No. 1, 95-111 (1997; Zbl 0903.46031), \textit{R. S. Pathak} and \textit{S. K. Upadhyay}, ibid. 213, No. 1, 133-147 (1997; Zbl 0932.35208)]. The main result of the present paper is a boundedness theorem on the Sobolev-Bessel spaces \(G^s_{\mu, p}\), with the norm \[ \|u\|_{G^s_{\mu, p}}= \|y^{s- \mu-1/2} U_\mu(y)\|_{L^p}. \] Namely: \[ \|a_\mu(x, D) u\|_{G^s_{\mu, p}}\leq C\|u\|_{G^s_{\mu, p}}, \] a precise expression for \(C\) being given in the paper.