Approximation by exponentials on the line and half-line (Q1857403)

In a previous paper [Math. USSR Sb. 51, 91-106 (1985); translation from Mat. Sb., Nov. Ser. 123(165), No.~1, 92-107 (1984; Zbl 0569.42001)] the author constructed systems of the form \[ e^{-i\lambda_n t} \exp(-a|t|^\alpha),\;\lambda\in \Lambda,\;a>0,\;\alpha>1, \tag{1} \] which are complete and minimal in the spaces \(L^p(R)\) or \(L^p(R_+)\) for \(p\geq 2\), respectively. In the present paper, the author constructs systems of the form (1) which are complete and minimal in the spaces \(L^p(R)\) or \(L^p(R_+)\) for \(1\leq p<2\), as well as in \(C_0(R)\) or \(C_0(R_+)\), respectively. Let \[ \begin{gathered} a>0,\quad \alpha>1,\quad 1/\alpha+1/\beta=1,\quad p\geq 1,\quad 1/p+1/q=1, \\ K(\beta,a)=\beta^{-1}(a\alpha)^{-\beta/\alpha}, \quad z =x+iy=\gamma e^{i\theta}. \end{gathered} \] Let \(0<|\theta_k|<\pi\), \(k=\overline{1,m}\). Let \(a_k=|\sin \theta_k|^{\beta-1}\) and if \(\theta_k\in (0,\pi)\), \(\theta^0_k=\theta_k/\alpha+\pi/(2\beta)\); if \(\theta_k\in (-\pi,0)\), \(\theta^0_k=\theta_k/\alpha-\pi/(2\beta)\). By \(E_\rho(z;\mu)\) the author denotes the Mittag-Leffler type function \[ E_\rho(z ;\mu):=\sum^\infty_{n=0}\frac{z^n}{\Gamma(\mu+n/\rho)}, \quad \rho>0,\;\mu \in C. \] He introduces the function \(e(z):=\sum^m_{k=1}c_kE_\beta(a_k^{1/\beta} z e^{-i\theta^0_k};\mu)\), \(c_k\neq 0\), and the quantity \(s_0:=\min(s\in N: \frac 1{\Gamma(\mu-s/\beta)}\sum^m_{k=1}c_k(a_k^{-1/\beta} e^{i\theta^0_k})^s\neq 0)\). Let \(F(z)=e((K(\beta,a))^{1/\beta z})\) and \(\Lambda\) be the sequence of all roots of the function \(F(z)\). \(C_0(R)\) (resp. \(C_0(R)_+\)) denotes space of functions, continuous on \(R\) (resp. on \([0,+\infty)\)) such that \(f(t)\to 0\), \(t\to \pm \infty (t\to+\infty)\). The author proves the following Theorem 1 and Theorem 2 on completeness and non-minimum property of systems (1). Theorem 1: Let \[ \begin{gathered} -\pi<\theta_1 <\dots <\theta_\ell <0<\theta_{\ell+1}<\dots <\theta_m<\pi,\;\text{and} \theta_1\leq -\pi+\pi/\beta,\;\theta_m\geq \pi-\pi/\beta,\\ \theta_\ell\geq -\pi/\beta,\;\theta_{\ell+1}\leq \pi/\beta,\;\theta_{k+1} -\theta_k\leq \pi/\beta, \quad k=1,\dots,\ell-1,\ell+1,\dots,m-1. \end{gathered} \] Let \(s_0<\infty\). Case 1: If (2) \(\text{Re} \mu\leq \frac 1{q\alpha}+\frac 12+\frac 1\beta\) when \(1\leq p\leq \infty \) and \(\text{Re} \mu <\frac 12 +\frac 1\beta\) when \(p=1\), then the systems (1) are complete in \(L^p(R)\). Case 2: If (3) \(\text{Re} \mu\leq \frac 1{q\alpha}+\frac 12\) when \(1<p\leq \infty\) and \(\text{Re} \mu <\frac 12\) when \(p=1\), then the systems (1) are not minimal in \(L^p(R)\). Theorem 2. Let \(0<\theta_1<\dots<\theta_m<\pi\), and \(\theta_1\leq \pi/\beta\), \(\theta_m\geq \pi-\pi/\beta\), \(\theta_{k+1}-\theta_k\leq \pi/\beta\), \(k=\overline{1,m-1}\). Let \(s_0<\infty\). Case 1): If condition (2) is satisfied, then the systems (1) are complete in \(L^p(R_+)\). Case 2: If condition (3) is satisfied, then the systems (1) are not minimal in \(L^p(R_+)\). Moreover, Theorems 3 and 4 are concerned with the non-completeness and minimum property of the systems (1).