Completeness of translates in weighted spaces on the half-line (Q1346034): Difference between revisions

Let \(\omega\) be a weight function on \(\mathbb{R}_+= [0, +\infty)\), i.e. \(\omega\) is continuous and \(\log \omega (t)\) is concave on \(\mathbb{R}_+\), and \(\log \omega (t)= o(t)\) as \(t\to +\infty\). Let \(T_x f(t)= f(t- x)\), where \(f\) is extended to the negative half-line as 0. Suppose \({\mathfrak S} \subset L^p (\mathbb{R}_+, \omega)= \{f\): \(f\) measurable, \(\omega f\in L^p (\mathbb{R}_+)\}\). There is considered the problem of necessary and sufficient conditions in order that \(T_x f\) with \(x\geq 0\), \(f\in {\mathfrak S}\), span a dense subspace of \(L^p (\mathbb{R}_+, \omega)\). This problem was solved 1964 by V. P. Gurariĭ and B. Ya. Levin in case of \(p=1\) under an assumption that \(\omega\) is non- quasianalytic on \(\mathbb{R}_+\), i.e. \(\int_{-\infty}^\infty (1+ t^2 )^{-1} \log \omega (t) dt< +\infty\). The main achievement of the present paper consists in avoiding the assumption of non-quasianalyticity of \(\omega\). Under the assumptions that \(\omega\) is a weight function on \(\mathbb{R}_+\) and that for some \(\varepsilon>0\), \(\log \omega (t)- (\theta (p)+ \varepsilon) \log (1+ t)\) is concave on \(\mathbb{R}_+\), where \(\theta (1) =3\), \(\theta (2)= 1/2\), \(\theta (p)= 3- 1/p\) for \(1<p <2\) and \(2< p< \infty\), it is shown that \(T_x f\) with \(x\geq 0\) and \(f\in {\mathfrak S}\subset L^p (\mathbb{R}_+, \omega)\) span a dense subspace on \(L^p (\mathbb{R}_+, \omega)\), if and only if, the following two conditions are satisfied: (a) for each \(z\in \overline {C}_-\) (the closed lower complex half- plane) there exists an \(f\in {\mathfrak S}\) with \({\mathcal F} f(z)\neq 0\) (\({\mathcal F}\) being the Fourier transform), and (b) there is no interval \([0, \delta)\), where \(\delta>0\), such that all functions in \({\mathfrak S}\) vanish (almost everywhere) on it.