Lipschitz multipliers on compact O-dimensional groups (Q2266406)

In a previous paper the authors have characterized the multipliers from a Lipschitz space \(Lip(\alpha,p;G)\equiv Lip(\alpha,p)\) to another space Lip(\(\beta\),q) with \(0<\alpha <\beta <\infty\) and \(1\leq p\), \(q\leq \infty\) in the case of a locally compact Abelian group G. The authors take their continuous work for the case of an infinite compact (non Abelian) metrizable O-dimensional group G. The basic reference for this note is Hewitt and Ross. Let \(\{G_ n\}^{\infty}_{n=0}\) be a strictly decreasing sequence of compact open normal subgroups of the compact group G such that \(G_ 0=G\) and \(\cap G_ n=\{e\}\) where e is the identity element of G. Let \(\Sigma\) be the dual object of G, C(\(\Sigma)\) be the Cartesian product of the spaces \(B(H_{\sigma})\) of all bounded linear operators on the representation space \(H_{\sigma}\) for \(\sigma\in \Sigma\). An element \(E\in C(\Sigma)\) is said to be a multiplier of \(Lip(\alpha,p)\to Lip(\beta,q),\) denoted by \(E\in Lip(\alpha,p),Lip8\beta,q))\) if E determines a bounded linear operator \(T_ E:Lip(\alpha,p)\to Lip(\beta,q)\) such that \((T_ Ef){\hat{\;}}=E\hat f\) for every \(f\in Lip(\alpha,p),\) where \(\hat g\) is the Fourier transform of g defined by \(\hat g(\sigma)=\int_{G}g(x)U^{(\sigma)}_{x^{-1}}dm(x),\) and \(U_ x^{(\sigma)}\) is the unitary representation in the class \(\sigma\in \Sigma\). Define \(k_ n=\xi_{G_ n}/m(G_ n)\) where \(\xi_{G_ n}\) is the characteristic function of \(G_ n\), \(m(G_ n)\) is the Haar measure of \(G_ n\subset G.\) The main results are Theorem 1. Let \(0<\alpha \leq \beta <\infty\), \(1\leq p\), \(q\leq \infty\). Then \[ (Lip(\alpha,p),Lip(\beta,q))=\{E\in C(\Sigma);\|| T_{E\hat k_ n}-T_{Ek_{n-1}}\||^ q_ p=0(m(G_ n)^{\beta -\alpha})\} \] Theorem 3. Let \(0<\alpha <\beta <\infty\). Then \[ (i)\quad (Lip(\alpha,1),Lip(\beta,q))=Lip(\beta -\alpha,q){\hat{\;}}\quad for\quad 1\leq q<\infty \] \[ (ii)\quad (Lip(\alpha,p),Lip(\beta,\infty))=Lip(\beta -\alpha,p'){\hat{\;}}\quad for\quad 1\leq p<\infty, \] 1/p\(+1/p'=1\).