\(K\)-frames from finite extensions (Q2120299)

Given a bounded linear operator \(K\) on a separable Hilbert space \(H\), a sequence \(\{f_n\}_{n\in J}\) is called a \(K\)-frame for \(H\) if there exist constants \(A, B >0\) such that \[A\|K^*f\|^2\le \sum_{n\in J} |\langle f,f_n\rangle|^2 \le B\|f\|^2 \] for any \(f\in H\). The sequence is called Bessel if the second of the two inequalities above holds. The author provides several results on the extension of Bessel sequences to \(K\)-frames. For example, necessary and sufficient conditions are given for a Bessel sequence to be extendable to a \(K\)-frame by a finite number of elements of \(H\). The conditions are presented in terms of the operator \(K\) and the analysis operator of the Bessel sequence and use classical characterizations of Fredholm operators.