Spaces of distributions of Besov and Triebel-Lizorkin type for the Fourier-Bessel transform (Q5945749)

Let \(I= (0,\infty)\), \begin{align*} L^p_\mu(I)&= \left\{f;\|f\|_{p,\mu}= \left\{\int_I|f(x)|^p X^{2\mu+1} dx\right\}^{1/p}< \infty\right\}, \\ {\mathcal H}&= \left\{f;\sup_{x\in I}\left|x^m(x^{-1}D)^k\;f(x)\right|<\infty,\;m,k\in\mathbb{N}\right\}, \end{align*} and \({\mathcal H}'\) the dual space of \({\mathcal H}\). The Hankel potential \(H^s_\mu\) of \(u\in{\mathcal H}'\) of order \(s(\in\mathbb{R})\) is \((H^s_\mu u)(x)= h_\mu((1+ \xi^2)^{-s/2} h_\mu(u))(x)\), where \(h_\mu\) \((\mu\geq -1/2)\) is the Fourier-Bessel transform by \(J_\mu\). The Hankel potential spaces are \(W^{s,p}_\mu(I)= \{\phi\in {\mathcal H}'; H^{-s}_\mu\phi\in L^p_\mu(I)\}\) with norm \(\|\phi\|_{s,p,\mu}= \|H^{-s}_\mu\phi\|_{p,\mu}\). The authors define T-L spaces \(F^s_{p,q,\mu}(I)\), B spaces \(B^s_{p,q,\mu}(I)\), and N spaces \(b^s_{p,q,\mu}(I)\) contained in \(H'\), and prove the following results: \begin{itemize} \item[(I)] \(H^\sigma_\mu\) is a linear bounded one-to-one operator from \(W^{s,p}_\mu\) onto \(W^{s+\sigma,p}_\mu\) and from \(B^s_{p,q,\mu}\) onto \(B^{s+\sigma}_{p,q,\mu}\) for \(s\in\mathbb{R}\). \item[(II)] If \(s\in\mathbb{R}\), \(\mu\geq -1/2\), and \(1<p<\infty\), then \(F^s_{p,2,\mu}(I)= W^{s,p}_\mu(I)\), where \(\|\cdot\|_w\) is equivalent to \(\|\cdot\|_F\). \item[(III)] \(B^s_{p,q,\mu}\) is equivalent to \(b^s_{p,q,\mu}\). \(B^s_{p,2,\mu}\subset W^{s,p}_\mu\subset B^s_{p,p,\mu}\) for \(2< p<\infty\), and \(B^s_{p,p,\mu}\subset W^{s,p}_\mu\subset B^s_{p,2,\mu}\) for \(1< p\leq 2\). \item[(IV)] Let \(\Delta_\mu\equiv x^{-2\mu-1} Dx^{2\mu+1}D\) and \(f\in B^s_{p,q,\mu}\), then there exists \(u\in{\mathcal H}'\) such that\((E-\Delta_\mu)^m u=f\), where \(m\in\mathbb{N}\setminus \{0\}\). \end{itemize}