Some geometrical properties of the spectrum of functions of Orlicz type (Q1573086)

Let \({\mathcal C}\) denote the family of all non-zero non-decreasing concave functions \(\Phi: [0, +\infty)\to [0, +\infty]\) with \(\Phi(0)= 0\). For arbitrary measurable function \(f\) we define \[ \lambda_f(t):= \mu(\{x:|f(x)|> t\}) \] for \(t\geq 0\). Let \(\Phi\in{\mathcal C}\) and let \(N_\Phi\) be the space of all measurable functions \(f\) such that \[ \|f\|_{N_\Phi}:= \int^\infty_0 \Phi(\lambda_f(t)) dt<\infty. \] In the paper the following two theorems are proved. Theorem 1. Let \(\Phi\in{\mathcal C}\), \(f\in N_\Phi\), \(f(x)\not\equiv 0\) and let \(\xi^0\) be an arbitrary point of the support \(\text{sp}(f)\) of the Fourier transformation \(\widehat f\) of \(f\). Then the restriction of \(\widehat f\) to any neighbourhood of \(\xi^0\) cannot concentrate on any finite number of hyperplanes. Theorem 2. Let \(\Phi\in{\mathcal C}\), \(f\in N_\Phi\) and let \(\alpha\geq 0\) be a multi-index. In order that \(\sup_{\text{sp}(f)}|\xi^\alpha|= 0\), it is necessary and sufficient that \(D^\alpha f(x)\equiv 0\), where \(D^\alpha= D^{\alpha_1}_1\cdots D^{\alpha_n}_n\), \(D_j= -i\partial/\partial x_j\).