Bases of exponentials in weighted spaces generated by zeros of functions of sine type (Q650510): Difference between revisions

This paper is concerned with bases of exponentials of the form \[ e(\Lambda)=\left((t^ke^{i\lambda_nt})_{k=0}^{m_n-1}\right)_{n=0}^\infty, \] where \(\Lambda=(\lambda_n,m_n)_{n=0}^\infty\) is a sequence of complex points \(\lambda_n\;(|\lambda_{n+1}|\geq|\lambda_n|)\) of multiplicity \(m_n\in\mathbb{N}\) in weighted spaces on a finite interval \(I=(-\pi,\pi)\) generated by zeros of functions of sine type. Let \(I\) be an interval of the real line (finite or infinite), and let \(\omega\) be the weight on \(I\), i.e., a measurable, almost everywhere positive function on \(I\). The weighted space \(L_\omega^p(I)=L^p(I,\omega(t)dt)\) is defined as the space of measurable functions on \(I\) with the norm \[ \|f\|_{p,\omega}=\|f\|_{L_\omega^p(I)}=\left(\int_I|f(t)|^p\omega(t)dt\right)^{1/p},\;\;1<p<\infty. \] The greater part of the paper is concerned with the so-called \(A_p\)-weights which satisfy \[ \sup_I\left(\frac{1}{|I|}\int_I\omega(t)dt\right)\left(\frac{1}{|I|}\int_I(\omega(t))^{-1/(p-1)}dt\right)^{p-1}=M<\infty,\;\;1<p<\infty, \] where the upper bound is taken over all finite intervals \(I\). Moreover, a weight \(\omega\) on \(I\) is said to have a singularity of order \(\alpha\in\mathbb{R}\) at a point \(b\in\bar{I}\) if \[ \mathrm{there\;exists\;a\;} \delta>0\;\mathrm{such\;that}\;\;\omega(t)\asymp |t-b|^\alpha,\;0<|t-b|<\delta,\;t\in I. \] The following theorems are the main results of the paper. Theorem 1. Suppose that \(\Lambda\) is the separated sequence of all zeros of a function \(L(z)\) of sine type and suppose that \(\omega\) is an \(A_p\)-weight, \(1<p<\infty\), whose restriction to \((-\pi,\pi)\) has a singularity of order \(\alpha\in(-1,p-1)\) at the points \(\pm\pi\). Suppose that there exists a weight \(\Omega\) on \((-2\pi,2\pi)\) having a singularity of order \(\alpha\) at the point \(0\) and some \(y_0\in\mathbb{R}\) such that the function \(L(x+iy_0)\) is a multiplier of class \((L_\omega^p(-\pi,\pi),L_\Omega^p(-2\pi,2\pi))\). Then, if the system \(e(\Lambda)\) is minimal in \(L_\omega^p(-\pi,\pi)\), this system constitutes a basis in \(L_\omega^p(-\pi,\pi)\) possessing the Riesz property. Theorem 2. Suppose that \(\omega\) is an \(A_p\)-weight, \(1<p<\infty\), having a singularity of order \(\alpha\in(-1,p-1)\) at the points \(\pm\pi\). Then each of the systems \[ e^{i(n+ih\mathrm{sign} (n))t},\;\;n\in\mathbb{Z},\;\;e^{i(n+(ih-1/2)\mathrm{sign} (n))t},\;\;n\in\mathbb{Z}\backslash\{0\},\;\;h\in\mathbb{R}, \] constitutes a basis in \(L_\omega^p(-\pi,\pi)\) possessing the Riesz property.