Transferring spherical multipliers on compact symmetric spaces (Q2031743)

Let \(U/K\) be a compact symmetric space and \(\mathfrak{u}=\mathfrak{k}\oplus i\mathfrak{p}\) be the Cartan decomposition. \(\mathfrak{a}\) is a maximal abelian subspace of \(\mathfrak{p}\). Let \(\exp :\mathfrak{u} \to U\) be the exponential map and \(\pi: U\to U/K\) the quotient map. The vector space \(\mathfrak{p}_*= i\mathfrak{p}\) can be viewed as a locally compact abelian group which is self-dual under the Killing form \(B(X,Y)\). The Fourier transform of \(f\) in \(L^2(\mathfrak{p}_*)\) is defined by \[ \hat{f}(Y)=\int_{\mathfrak{p}_*}f(X)e^{-iB(X,Y)}d\mu_{\mathfrak{p}_*}. \] For a measurable function \(m(Y)\) on \(\mathfrak{p}_*\), the Fourier multiplier \(T_m\) is given by \(\widehat{T_m f}(Y)=m(Y)\hat{f}(Y)\). On the other hand the Fourier series of \(f\) in \(L^2(U/K)\) is of the form \[ \sum_{\lambda\in\Lambda}d_\lambda f*\phi_\lambda, \] where \(\Lambda\) is the set of class 1 highest weights and \(\phi_\lambda\), \(\lambda\in \Lambda\), is the spherical function. For \(\{m(\lambda)\mid \lambda\in\Lambda\}\), the spherical multiplier \(T_m\) is given by \(T_m(f)=\sum_{\lambda\in\Lambda}d_\lambda m(\lambda) f*\phi_\lambda.\) In this paper, by considering the contraction \(\Pi_t: {\mathfrak{p}_*} \to U/K\) given by \(\Pi_t(X)=\pi(\exp(X/t)\), the authors give a transference of the spherical multiplier on \(U/K\) to an \(Ad(K)\)-invariant multiplier on \(\mathfrak{p}_*\) and a converse transference. As an extension of R. Stanton's transference theorem they show the following: Let \(1<p<\infty\). Suppose \(\{m_t\}\), \(t>0\), is a family of spherical multipliers on \(L^p(U/K)\) with \(\sup_{t>0}\|T_{m_t}\|_{p,p}<\infty\) and assume that \(m(Z)=\lim_{t\to\infty}m_t([itZ])\), \(Z\in \overline{\mathfrak{a}_*^+}\), is continuous, where \(\mathfrak{a}_*^+\) is a Weyl chamber and \([x]\) is the integer part of \(x\). Then \(T_m\) extends a continuous \(Ad(K)\)-invariant multiplier \(T_m\) on \(\mathfrak{p}_*\) with \(\|T_m\|_{p,p}\leq c\sup_{t>0}\|T_{m_t}\|_{p,p}\). For the converse, fix a suitable convex symmetric neighborhood \(\mathcal{O}\) of the identity in \(\mathfrak{p}_*\). Let \(1<p<\infty\). Suppose \(\xi\in L^1(\mathfrak{p}_*)\) is an \(Ad(K)\)-invariant function supported on \(\mathcal O\) and \(T_\xi\) the corresponding convolution operator. Then there exists a family \(\{m_t\}\), \(t>0\), of spherical multipliers on \(L^p(U/K)\) such that \(\lim_{t\to\infty}m_t([tZ])=\hat{\xi}(Z)\), \(Z\in \overline{\mathfrak{a}_*^+}\), and \(\sup_{t>0}\|T_{m_t}\|_{p,p}\sim\|T_\xi\|_{p,p}\).