Optimal extension of the Fourier transform and convolution operator on compact groups (Q2302337)

The authors study the optimal domain and the continuous extension for the Fourier transform and convolution operators in the setting of compact groups \(G\) (not necessarily abelian) when defined on Orlicz spaces \(L^\Phi(G)\). They follow the approach presented in the monograph by \textit{S. Okada} et al. [Optimal domain and integral extension of operators, acting in function spaces. Basel: Birkhäuser (2008; Zbl 1145.47027)] where such an optimal domain for a bounded linear operator \(T:X\to Y\) whenever \(X\) is a \(\sigma\)-order continuous Banach function space is given by \(L^1(\nu_T)\) where \(\nu_T\) is the vector measure \(\nu_T(A)=T(\chi_A)\) and the extension is the integration operator \(I_{\nu_T}\) defined by \(I_{\nu_T}(f)=\int f d\nu_T\). In this paper, they analyze the Fourier transform, which is well defined on \(L^1(G)\) by \(\hat f(\pi)=\int_G f(t) \pi(t)^*dm_G(t)\) for any \([\pi]\in \hat G\), as operator from \(L^\Phi(G)\) into \(c_0\)-\(\bigoplus_{[\pi]\in \hat G} \mathcal B_2(\mathcal H_\pi)\) (which turns out to be bounded due to Riemann-Lebesgue lemma since \(L^\Phi(G)\subset L^1(G)\)) or as operator from \(L^\Phi(G)\) into \(\ell^\Psi\)-\(\bigoplus_{[\pi]\in \hat G} \mathcal B_2(\mathcal H_\pi)\) (which turns out to be bounded under the appropriate conditions on \(\Phi\) and the complementary function \(\Psi\) due to Hausdorff-Young inequality). Results for the optimal domain on the convolution operator \(\mu*f(t)=\int_G f(s^{-1}t)d\mu(s)\) seen as operator from \(L^\Phi(G)\) into itself are also provided and the compactness for the corresponding extension operator is characterized.