Some results on perturbation of duality of OPV-frames (Q6580779)

This paper is on operator-valued frames (OPV-frames).\N\NA sequence \(\mathcal{F}:=\{F_n\}_{n\in\mathbb{N}}\) of bounded linear operators \(F_n: \mathcal{H}\rightarrow \mathcal{K}\) is said to be an operator-valued frame for the Hilbert space \(\mathcal{H}\) with range in the Hilbert space \(\mathcal{K}\) if there exist two constants with \(0<A\le B<\infty\) such that\N\[\NA I_\mathcal{H}\le \sum_{n\in\mathbb{N}} F_n^\ast F_n\le B I_\mathcal{H}.\N\]\NFor such an operator-valued frame, one can define its analysis operator \(\mathcal{T}_\mathcal{F}:=\sum_{n\in\mathbb{N}} F_n(\cdot)\otimes e_n\), synthesis operator \(\mathcal{T}^\ast_\mathcal{F}:=\sum_{n\in\mathbb{N}} c_n F_n^\ast(\cdot)\), and frame operator \(S_\mathcal{F}:=\sum_{n\in\mathbb{N}} F_n^\ast F_n\), respectively. The sequence \(\{F_n S_\mathcal{F}^{-1}\}_{n\in\mathbb{N}}\) is called the canonical dual OPV-frame of \(\mathcal{F}\). An OPV-frame \(\mathcal{G}:=\{G_n\}_{n\in\mathbb{N}}\) satisfying \(\sum_{n\in\mathbb{N}} F_n^\ast G_n=I_\mathcal{H}\) is called a dual OPV-frame of \(\mathcal{F}\).\N\NAfter the introduction and preliminaries, the paper focuses on the perturbation and duality of OPV-frames. The paper shows the following results based on the use of those analysis operators, synthesis operators, and frame operators.\N\begin{itemize}\N\item[(1)] If \(\mathcal{F}:=\{F_n\}_{n\in\mathbb{N}}\) is an OPV-frame and \(\mathcal{G}:=\{G_n\}_{n\in\mathbb{N}}\) is closed to \(\{F_n\}_{n\in\mathbb{N}}\) in the sense of the difference of the analysis operators, i.e., \(\mathcal{T}_\mathcal{F}-\mathcal{T}_\mathcal{G}\), then \(\{G_n\}_{n\in\mathbb{N}}\) is also an OPV-frame.\N\N\item[(2)] If \(\mathcal{F}:=\{F_n\}_{n\in\mathbb{N}}\) is an OPV-frame and \(\mathcal{G}:=\{G_n\}_{n\in\mathbb{N}}\) is closed to \(\{F_n\}_{n\in\mathbb{N}}\) in the sense of the difference of the frame operators, i.e., \(\mathcal{S}_\mathcal{F}-\mathcal{S}_\mathcal{G}\), then \(\{G_n\}_{n\in\mathbb{N}}\) is also an OPV-frame.\N\N\item[(3)] If \(\mathcal{F}:=\{F_n\}_{n\in\mathbb{N}}\) is an OPV-frame, then its dual OPV-frame has the form \(\{F_nS_\mathcal{F}^{-1}+E_n-\sum_{i\in\mathbb{N}}F_iS_\mathcal{F}^{-1}F_i^\ast E_i\}_{n\in\mathbb{N}}\), where \(\{E_n\}\) is a Bessel OPV-frame.\N\N\item[(4)] If \(\mathcal{F}:=\{F_n\}_{n\in\mathbb{N}}\) is a Riesz OPV-frame, then its dual Riesz OPV-frame \(\mathcal{G}:=\{G_n\}_{n\in\mathbb{N}}\) is uniquely determined by the duality relation \(\sum_{n\in\mathbb{N}} G_n^\ast F_n=I_\mathcal{H}\).\N\end{itemize}