Universal sampling and interpolation in locally compact abelian groups (Q2147801)

Let \(G\) be a locally compact abelian (LCA) group, equipped with Haar measure \(\mu_G\), and let \(\widehat{G}\) denote the dual group of \(G\). Let \(\mu_{\widehat{G}}\) be the normalization of Haar measure on \(\widehat{G}\) such that the Plancherel Theorem holds. If \(\Omega\subseteq\widehat{G}\) is Borel measurable and with compact closure, let \(PW_\Omega=\{f\in L^2(G):\widehat{f}(\omega)=0\), for a.e. \(\omega\in\widehat{G}\setminus \Omega\}\). This paper is concerned with discrete subsets of \(G\) that serve as stable sampling or stable interpolation sets for functions in \(PW_\Omega\), for any appropriate \(\Omega\). A discrete subset \(\Delta\) of \(G\) is called a \textit{stable sampling set} for \(PW_\Omega\) if there are positive constants \(A\leq B\) such that, for all \(f\in PW_\Omega\), \[ A\|f\|_2^2\leq\sum_{x\in\Delta}|f(x)|^2\leq B\|f\|_2^2. \] On the other hand, \(\Delta\) is a \textit{stable interpolation set} for \(PW_\Omega\) if, for any \((c_x)_{x\in\Delta}\in \ell^2(\Delta)\), there exists \(f\in PW_\Omega\) with \(f(x)=c_x\), for all \(x\in\Delta\). There is an appropriate concept of \textit{uniform density} for discrete subsets of \(G\). If \(\Gamma\) is a discrete subset of \(G\) with uniform density, this density is denoted \(\mathcal{D}(\Gamma)\). We can now state the two main results of the paper. \begin{itemize} \item[1.] Let \(G\) be an LCA group such that both \(G\) and \(\widehat{G}\) are compactly generated. Then, given \(r>0\), there exists a discrete subset \(\Delta\) of \(G\) with uniform density \(\mathcal{D}(\Delta)=r\) and with the following universal properties: \begin{itemize} \item[(a)] Given any compact \(\Omega\subseteq\widehat{G}\) with \(\mu_{\widehat{G}}(\Omega)<r\), the set \(\Delta\) is a stable sampling set for \(PW_\Omega\). \item[(b)] Given any compact Riemann integrable \(\Omega\subseteq\widehat{G}\) such that \(\mu_{\widehat{G}}(\Omega)>r\), the set \(\Delta\) is a stable interpolation set for \(PW_\Omega\). \end{itemize} \item[2.] Let \(G\) be an LCA group such that \(\widehat{G}\) is compactly generated. Then, given any \(r>0\) and any neighbourhood \(U\) of the identity in \(\widehat{G}\), there exists a discrete subset \(\Delta\) of \(G\) with finite uniform density \(\mathcal{D}(\Delta)\) that has the following universal properties: \begin{itemize} \item[(a)] Given any compact \(\Omega\subseteq\widehat{G}\) with \(\mu_{\widehat{G}}(\Omega+U)<r\), the set \(\Delta\) is a stable sampling set for \(PW_\Omega\). \item[(b)] Given any compact Riemann integrable \(\Omega\subseteq\widehat{G}\) such that \(\mu_{\widehat{G}}(\Omega)>r\), the set \(\Delta\) is a stable interpolation set for \(PW_{(\Omega+U)}\). \end{itemize} \end{itemize}