Almost everywhere convergence of inverse spherical transforms on noncompact symmetric spaces (Q1370566)

Let \(G/K\) be a Riemannian symmetric space of rank one. For \(f\in{^kL_s}(G)^k\) (i.e., \(f\) belongs to the Lebesgue space \(L_s(G)\), \(1<s\leq 2\), and is bi-\(K\)-invariant), its spherical transform is defined as \(\widehat f(\lambda) =\int^\infty_0 f(t) \overline \varphi_\lambda (t)D(t)dt\), where \(\varphi_\lambda(t)\) are the elementary spherical functions and \(D(t)\) is the density of the volume of \(G/K\). If \(f\) is sufficiently nice, we have \(f(t)= \int^\infty_0\varphi_\lambda(t)\widehat f(\lambda)|c(\lambda)|^{-2}d\lambda\), where \(c (\lambda)\) is Harish-Chandra's \(c\)-function. Put \[ S_Rf(t) =\int^\mathbb{R}_0 \widehat f (\lambda) \varphi_\lambda (t) \bigl|c(\lambda) \bigr|^{-2} d\lambda =\int^\infty_0 K_R(t,r) f(r) D(r) dr; \] we get \[ K_R(t,r) =\int^R_0 \varphi_\lambda (t)\overline \varphi_\lambda (r) \bigl|c(\lambda) \bigr|^{-2} d\lambda. \] The authors carefully study the kernel \(K_R(t,r)\) based on asymptotic expansions of the spherical functions. The worst behaviour of \(K_R(t,r)\) takes place along the half line \(t=r\); and for small \(t\), the spherical functions \(\varphi_\lambda(t)\) behave like the spherical functions on the Euclidean space, while for large \(t\) the behavior of \(\varphi_\lambda\) is very different. Hence consider four cases: \(t\) and \(r\) both small, \(t\) and \(r\) both large, \(t\) large and \(r\) small, \(t\) small and \(r\) large, and use some results of \textit{R. J. Stanton} and \textit{P. A. Tomas} [Acta Math. 140, 251-276 (1978; Zbl 0411.43014)]. The authors prove the following: Let \(S_*f(t) =\text{Sup}_{R>0} |S_R f(t) |\), then \(S_*\) is a bounded operator from \(^kL_s(G)^k\) to \(L_2(G)+L_s(G)\) if and only if \(2n/(n+1)<s\leq 2\), where \(n= \dim (G/K)\). In particular, \(S_*\) maps \(^kL_s (G)^k\) boundedly into itself if and only if \(s=2\).