Restrictions of Fourier transforms on weighted Segal algebras (Q1769438)

Let \(G\) be a locally compact group with Haar measure \(d\mu\). A real-valued measurable function \(w\) on \(G\) is a weight function if \(w(x) \geq 1\) and \(w(x+y) \leq w(x) w(y)\) for all \(x,y \in G\). Denote by \(L_w^p(G)\) the set of functions \(f\) on \(G\) that satisfy \(\int_G | f(x)| ^p w^p(x) d\mu < \infty\), where \(1 \leq p < \infty\). A norm can be defined on \(L_w^p(G)\) that makes it into a Banach space. A weight function \(w\) satisfies the Beurling-Domar condition (BD) if \(\sum_{n \geq 1} {\log w(nx) \over n^2} < \infty\) for all \(x\) in \(G\). Now suppose that \(G\) is a locally compact Abelian group with normalized Haar measure. Denote by \(\widehat{G}\) the dual group of \(G\). The Fourier transform of \(f\), where \(f\) is in \(L^1(G)\), will be denoted by \(\hat{f}\). Let \(w\) be a weight function on \(G\) and let \(\omega\) be a weight function on \(\widehat{G}\). The weighted space \(A^p_{w, \omega}(G) = \{ f \in L_w^1(G) \mid \hat{f} \in L^p_{\omega} (\widehat{G}) \}\). The author defines \((L_w^1, A^p_{w, \omega}, E)\) to be the set of all functions \(\phi\) on \(\widehat{G}\) that satisfies the following: for each \(f\) in \(L_w^1(G)\) there exists a \(g\) in \(A^p_{w,\omega}(G)\) satisfying \(\hat{g} = \phi \hat{f}\) almost everywhere on \(E\). It is unclear from the paper what type of set \(E\) is. The main result proven by the author in this paper is: If \(1 \leq p \leq 2\) and \(w\) satisfies the \(BD\)-condition, then \((L^1_w, A^p_{w, \omega}, E) = (A^p_{w,\omega}(G))^{\wedge}/E\), where \((A^p_{w,\omega})^{\wedge}/E\) is the restriction of the Fourier transform of the functions in \(A^p_{w,\omega}(G)\) to \(E\).