Frames of exponentials: Lower frame bounds for finite subfamilies and approximation of the inverse frame operator (Q5929762)

In this paper the authors obtain an explicit value for the lower frame bound of a finite set of complex exponentials and use this value to construct a sequence of finite rank operators that strongly converge to the inverse frame operator. More specifically, assume \(\{ \lambda_1,\ldots,\lambda_N\}\) is a finite sequence of distinct real numbers with a separation constant \(\delta \leq 1\). Then \(\{ e^{i\lambda_n x} {\}}_{k=1}^N\) is a Riesz basis for its span in \(L^2[-\pi,\pi]\), with lower frame bound \(A_{N,\delta} = 1.6\cdot 10^{-14} ({\delta\over 2})^{2N+1} ((N+1)!)^{-8}\). Assume now \(\{ e^{i\lambda_n x}{\}}_{n\in Z}\) is a frame in \(L^2[-\pi,\pi]\), and \((\lambda_n)_{n\in Z}\) is \((K,\delta)\) relatively separated (that is, it can be disjointly splitted into \(K\) \(\delta\)-separated subsequences). Let \(A_N\) denote a lower frame bound for \(\{ e^{i\lambda_n x}{\}}_{|n|\leq N}\) (for instance, as given above), and choose \(m(n)\geq {8K^2 n(2n+1)\over \delta^2 A_n} + K-1\). Denote by \(P_N\) the orthogonal projection onto the span of \(\{ e^{i\lambda_n x} {\}}_{|n|\leq N}\) and by \(V_N\) the frame operator associated to \(\{ P_N e^{i\lambda_n x} {\}}_{|n|\leq N+m(N)}\). Then, for each \(f\in L^2[-\pi,\pi]\), \(V_N^{-1}P_N f\rightarrow S^{-1}f\).