Fourier transform and convolutions on L^p of a vector measure on a compact Hausdorff abelian group

DOI10.1007/S00041-012-9252-3MaRDI QIDQ485143zbMATH OpenOpenAlexFDO

Authors E. M. Navarrete, E. A. Sánchez-Pérez, J. M. Calabuig, Fernando Galaz Fontes

Publication date 9 January 2015

Published in The Journal of Fourier Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00041-012-9252-3

convolution countably additive vector measure Fourier transform Pettis integrability space of \(p\)-integrable functions

Mathematics Subject Classification ID

Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type (42A38) Fourier and Fourier-Stieltjes transforms on locally compact and other abelian groups (43A25) Convolution as an integral transform (44A35) Vector-valued measures and integration (46G10)

Review text

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.

Recommendations

Cites work

Cited in

(23)

This page was built for publication: Fourier transform and convolutions on \(L^{p}\) of a vector measure on a compact Hausdorff abelian group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q485143)