Fourier transform and convolutions on \(L^{p}\) of a vector measure on a compact Hausdorff abelian group (Q485143)

Consider a compact Hausdorff abelian group \(G\), its dual group \(\Gamma\), and a (countably additive) vector measure \(\nu\) defined on the Borel subsets of \(G\) and with values in a complex Banach space \(X\). In this nice paper, the authors introduce the notion of the vector-valued Fourier transform for an integrable function \(f\) with respect to \(\nu\) as the vector-valued function \(\widehat{f^\nu}:\Gamma \to X\) given by \[ \widehat{f^\nu}(\gamma)=\int_G f(t) \overline{\gamma(t)}\, d\nu(t), \;\;\gamma\in \Gamma. \] Several interesting examples are provided. The subsequent study contains an example showing that a natural version of the Riemann-Lebesgue lemma cannot be expected. Therefore, assuming absolute continuity of \(\nu\) with respect to the (normalized) Haar measure \(m_G\) of \(G\), the following characterization is provided: \(\widehat{f^\nu}\in c_0(\Gamma,X)\) for all \(f\in L^1(\nu)\) if, and only if, \(\widehat{\chi_G}^\nu\in c_0(\Gamma,X)\). Besides, under the same assumption, if \(\widehat{f^\nu}=0\), then \(f=0\). When considering the wider context of weakly integrable functions with respect to \(\nu\), the comprehensive assumption of \(\nu\) being absolutely continuous with respect to \(m_G\) is required for the Fourier transform to be introduced, and the last result is actually proved for weakly integrable functions. The authors also extend the property of \(\nu\) being norm integral translation invariant, introduced by \textit{O. Delgado} and \textit{P. J. Miana} [J. Math. Anal. Appl. 358, No. 2, 355--363 (2009; Zbl 1182.46035)], for arbitrary homeomorphisms \(h\) on a nonempty compact Hausdorff space \(K\) (not only translations of a compact Hausdorff abelian group \(G\)) and prove that the space of (weakly) integrable functions with respect to \(\nu\) is norm \(h\)-invariant whenever \(\nu\) is norm integral \(h\)-invariant. For the particular case of \(h(t)=-t\), \(t\in G\), it is proved that if \(f\) is weakly \(p\)-integrable (\(1\leq p<\infty\)) with respect to \(\nu_\mu\), the vector measure associated to the convolution operator \(T_\mu(f)= f\star \mu\) with a complex regular measure \(\mu\), then \(\widetilde f\) given by \(\widetilde f(t)=f(-t)\) is weakly integrable with respect to \(\nu_\mu\) and there exists \(k>0\) such that \[ \|\widetilde f\|_{\nu_\mu}\leq k\| f\|_{\nu_\mu,p} \] for all functions \(f\) weakly \(p\)-integrable with respect to \(\nu\). An alternative proof of the well-known equalities \(L^1(\nu_\mu)=L^1_w(\nu_\mu)=L^1(G)\) with equivalent norms is also shown. In the last part of the paper, convolution operators associated to \(\nu\) are introduced and analyzed for both integrable functions and weakly integrable functions. Among several results concerning such convolution operators, a Young-type inequality is proved.