Hermite-Sobolev spaces and the Feichtinger's algebra (Q549558)

Let \(\Phi_0(x)\) be the normalized Gaussian. The Feichtinger algebra \(S_0\) is defined as the set of all \(f \in L^2\) for which \(V(f,\Phi_0) \in L^1(\mathbb C^n)\), where \(V(\cdot,\cdot)\) is the Fourier-Wigner transform. For \(1 \leq p \leq \infty\) and \(s \in \mathbb R\) the Hermite-Sobolev space \(W_H^{s,p}\) is defined as the space of all tempered distributions \(f\) for which \(H^sf \in L^p(\mathbb R^n)\), where \(H=-\Delta+|x|^2\) is the Hermite operator on \(\mathbb R^n\). The main result of the paper states that, for any \(\delta >0\), the Hermite-Sobolev space \(W_H^{n+\delta,1}\) is properly contained in the Feichtinger algebra \(S_0\). This is proved by combining a higher dimensional version of Janssen's theorem (that characterizes \(S_0\)) with Hardy-type inequalities for Fourier-Hermite coefficients of integrable functions. The latter inequalities have been established by Kanjin for expansions on the real line and the paper under review provides their \(n\)-dimensional version.