Explicit bounds of complex exponential frames on a complex field (Q2338580)

The author considers frame sets for \(L^2(-\pi,\pi)\) of the form \(\{e_n\}=\{e^{i\lambda_n t}\}\) with \(\{\lambda_n\}_{n\in\mathbb{Z}}\) a sequence of distinct complex numbers. It is really a frame if there exist frame constants \(A,B>0\), such that \[\forall x\in L^2(-\pi,\pi):\ A\Vert x\Vert ^2\leq \sum_n\,\vert \langle x,e_n\rangle\vert ^2\leq B\Vert x\Vert ^2.\] \par Let \(\alpha\) be the real number satisfying \[\sum_{k=1}^{\infty}\,\frac{\pi^{2k}\alpha^{2k}}{k!(2k+1)}+\frac{2}{3}\pi^2\alpha^2 e^{\pi^2 \alpha^2}=1\] (numerical estimates give: \(\alpha=0.249012\ldots\)). \par The main result, improving upon previous results, is the following:\par Assume \[\lambda_n-n\vert \leq L<\alpha,\ n=0,\pm 1,\pm 2,\ldots,\] and \[f(x)=\sum_{k=1}^{\infty}\,\frac{\pi^{2k}x^{2k}}{k!(2k+1)}+\frac{2}{3}\pi^2x^2 e^{\pi^2x^2},\ x\in\mathbb{R}.\] Then the set \({\mathcal{F}}=\{e^{i\lambda_n t}\}_{n\in\mathbb{Z}}\) is a frame for \(L^2(-\pi,\pi)\) with bounds \(A^\prime\geq (1-(f(L))^{1/2})^2\) and \(B^\prime\leq (1+(f(L))^{1/2})^2\).