Abstract
K-g-fusion frames are generalizations of fusion frames, K-fusion frames and g-fusion frames. In this paper, we present some new characterizations of K-g-fusion frames and tight K-g-fusion frames, and give several properties of K-g-fusion frames by means of the methods and techniques in frame and operator theories. Then, we discuss the redundancy of K-g-fusion frames. Finally, we discuss the stability of K-g-fusion frames.
Similar content being viewed by others
1 Introduction
Frames were first introduced by Duffin and Schaeffer [10] to study nonharmonic Fourier series in Hilbert spaces in 1952. In recent three decades, frames have been widely applied in various of fields of sampling theory, operator theory, signal processing, system modeling, data analysis, and so on; see [3, 7, 8, 12, 20] for details. For special applications, various generalizations of frames were proposed, such as K-frames by Găvruta to study the atomic systems with respect to a bounded linear operator [11], g-frames by Sun as natural generalizations of frames [20], K-g-frames by Zhu [21] and Huang [13, 15] to fully combine the advantages of K-frame and g-frame in developing frame theory, fusion frames by Casazza and Kutyniok to model sensor network perfectly [4, 6], K-fusion frames by the authors of [1, 2] to generalize the theory of K-frames and fusion frames. K-g-fusion frames were proposed by Sadri and Rahimi [18], who discussed the duality and stability of K-g-fusion frames. In this paper, we present several properties and characterizations of K-g-fusion frames, and discuss the redundancy and stability of K-g-fusion frames.
Throughout this paper, \(\mathcal{H}\) is a separable Hilbert space, \(\{W_{j}\}_{j \in J}\) is a sequence of closed subspaces of \(\mathcal{H}\), where J is a subset of integers \(\mathbb{Z}\); \(L(\mathcal{H}, W_{j})\) is the collection of all bounded linear operators of \(\mathcal{H}\) into \(W_{j}\), with \(L(\mathcal{H})=L(\mathcal{H},\mathcal{H})\); \(\pi _{W_{j}}\) denotes the orthogonal projection from \(\mathcal{H}\) onto \(W_{j}\). If \(v_{j}>0\) for any \(j\in J\), then we call \(\{ v_{j}\}_{j\in J}\) a family of weights. For \(K\in L(\mathcal{H})\), \(R(K)\) and \(N(K)\) represent the range and null space of K, respectively; \(I_{\mathcal{H}}\) is the identity operator on \(\mathcal{H}\). The space \(l^{2}(\{W_{j}\}_{j\in J})\) is defined by
with the inner product given by
Then \(l^{2}(\{W_{j}\}_{j\in J})\) is Hilbert space with the pointwise operations.
2 Preliminaries
In this section, we mention some definitions and lemmas of generalizations of frames.
Definition 2.1
(Fusion frame [6])
Let \(\{W_{j}\}_{j \in J}\) be a collection of closed subspaces in a Hilbert space \({\mathcal{H}}\), and let \(\{v_{j}\}_{j \in J}\) be a family of weights. The family \(\{(W_{j},v_{j})\}_{j \in J}\) is called a fusion frame for \({\mathcal{H}}\) if there exist constants \(0< A\leq B <\infty \) such that
Definition 2.2
(g-fusion frame [5])
Let \(\{W_{j}\}_{j \in J}\) be a collection of closed subspaces in a Hilbert space \({\mathcal{H}}\), and let \(\{v_{j}\}_{j \in J}\) be a family of weights, \(\varLambda _{j} \in L( {\mathcal{H}}, W_{j})\) for any \(j \in J\). The family \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) is called a g-fusion frame for \({\mathcal{H}}\) if there exist constants \(0< A\leq B <\infty \) such that
Definition 2.3
(K-g-fusion frame [18])
Let \(K\in L( {\mathcal{H)}}\) and \(\{W_{j}\}_{j \in J}\) be a collection of closed subspaces in a Hilbert space \({\mathcal{H}}\), let \(\{v_{j}\}_{j \in J}\) be a family of weights, \(\varLambda _{j} \in L( {\mathcal{H}}, W_{j})\) for any \(j \in J\). The family \(\{(W_{j},\varLambda _{j},v_{j})\}_{j\in J}\) is called a K-g-fusion frame for \({\mathcal{H}}\) if there exist constants \(0< A\leq B<\infty \) such that
We call \(A, B\) lower and upper frame bounds of a K-g-fusion frame, respectively.
If the left-hand inequality of (2.3) is an equality, we say that \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) is a tight K-g-fusion frame; if \(A=1\), we say \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) is a Parseval K-g-fusion frame; \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) is called an exact K-g-fusion frame if it ceases to be a K-g-fusion frame whenever any one of its elements is removed; if only the right-hand inequality of (2.3) holds, \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) is called a g-fusion Bessel sequence with a bound B for \(\mathcal{H}\).
Remark 2.4
Let \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) be a K-g-fusion frame for \(\mathcal{H}\). If \(K=I_{\mathcal{H}}\), then \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) is a g-fusion frame for \(\mathcal{H}\); if \(\varLambda _{j}=\pi _{W_{j}}\) for any \(j\in J\), then \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) (\(\{(W_{j},v_{j})\}_{j \in J}\)) is a K-fusion frame for \(\mathcal{H}\); if \(K=I_{\mathcal{H}}\) and \(\varLambda _{j}=\pi _{W_{j}}\) for any \(j\in J\), then \(\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) (\(\{(W_{j},v_{j})\}_{j \in J}\)) is a fusion frame for \(\mathcal{H}\). Therefore, a K-g-fusion frame is a generalization of a fusion frame, g-fusion frame, and K-fusion frame.
Now, we suppose that \(\varLambda =\{(W_{j},\varLambda _{j},v_{j})\}_{j \in J}\) is a g-fusion Bessel sequence with a bound B for \(\mathcal{H}\), and let \(T_{\varLambda }\) denote a synthesis operator of Λ, that is, \(T_{\varLambda }: l^{2}(\{W_{j}\}_{j\in J})\rightarrow \mathcal{H }\),
The adjoint operator (analysis operator) \(T_{\varLambda }^{*}:\mathcal{H}\rightarrow l^{2}(\{H_{j}\}_{j\in J})\) is given by
Therefore, we can define the frame operator \(S_{\varLambda }\) for a g-fusion Bessel sequence Λ, \(S_{\varLambda }:\mathcal{H}\rightarrow \mathcal{H}\) as follows:
Then, we have
or, \(S_{\varLambda }\leq BI_{\mathcal{H}}\). Furthermore, if Λ is a K-g-fusion frame with bounds A and B, then we have
Inequalities (2.7) and (2.8) imply that \(S_{\varLambda }\) a bounded, self-adjoint and positive operator. But we should note that \(S_{\varLambda }\) for K-g-fusion frames is not invertible, in general. On the other hand, from [19], we know that if K has closed range, then
is invertible. Thus, for any \(f\in R(K)\), we have the reconstruction formula
From inequalities (2.6)–(2.8), we have
Proposition 2.5
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j},\varLambda _{j},v_{j})\}_{j\in J}\)be a g-fusion Bessel sequence for\(\mathcal{H}\). ThenΛis aK-g-fusion frame for\(\mathcal{H}\)if and only if there exists a constant\(A>0\)such that\(AKK^{*}\leq S_{\varLambda }\), where\(S_{\varLambda }\)is the frame operator forΛ.
Lemma 2.6
([9])
Let\(\mathcal{H}_{1}, \mathcal{H}_{2}\)and\(\mathcal{H}\)be Hilbert spaces, \(S\in L(\mathcal{H}_{1},\mathcal{H})\)and\(T\in L(\mathcal{H}_{2},\mathcal{H})\). Then the following statements are equivalent:
- (1)
\(R(S)\subseteq R(T)\).
- (2)
\(SS^{*}\leq \alpha TT^{*}\)for some\(\alpha >0\).
- (3)
\(S=TM\)for some\(M\in L(\mathcal{H}_{1},\mathcal{H}_{2})\).
By Lemma 2.6, we have the following proposition:
Proposition 2.7
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j},\varLambda _{j},v_{j})\}_{j\in J}\)be aK-g-fusion frame for\(\mathcal{H}\). Suppose that\(T\in L(\mathcal{H})\)and\(R(T)\subset R(K)\), thenΛis aT-g-fusion frame for\(\mathcal{H}\).
Lemma 2.8
([16])
Let\(W\subseteq {\mathcal{H}}\)be a closed subspace and\(T\in L( {\mathcal{H)}}\). Then
Furthermore, ifTis a unitary operator, then
Definition 2.9
([14])
Let \(S,T\in L( {\mathcal{H). }}\) Then S is said to be the Drazin inverse of T if we have the following:
- (1)
\(STS=S\);
- (2)
\(ST=TS\);
- (3)
\(TST^{k}=T^{k}\), for some positive integers k.
Lemma 2.10
([7])
Let\(\mathcal{H}\)be a Hilbert space, and suppose that\(T\in L(\mathcal{H})\)has a closed range. Then there exists an operator\(T^{\dagger } \in L(\mathcal{H})\)for which
We call the operator\(T^{\dagger }\)the pseudo-inverse ofT. This operator is uniquely determined by these properties.
In fact, if T is invertible, then we have \(T^{-1}=T^{\dagger }\).
3 Main results
In this section, we present some new characterizations and properties of K-g-fusion frames and tight K-g-fusion frames, discuss the direct sum, redundancy and stability of K-g-fusion frames.
3.1 Characterizations and properties of K-g-fusion frames
In this section, we will give some new characterizations and properties of K-g-fusion frames and tight K-g-fusion frames.
Theorem 3.1
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j},\varLambda _{j},v_{j})\}_{j\in J}\)be a g-fusion Bessel sequence for\(\mathcal{H}\)with frame operator\(S_{\varLambda }\). ThenΛis aK-g-fusion frame for\(\mathcal{H}\)with respect to\(\{\mathcal{H}_{j}\}_{j\in J}\)if and only if\(K=S_{\varLambda }^{\frac{1}{2}}M\), for some\(M\in L(\mathcal{H})\).
Proof
First, we prove the necessity. Suppose Λ is a K-g-fusion frame for \(\mathcal{H}\), then there exists constant \(A>0\) such that \(AKK^{*}\leq S_{\varLambda }\), and \(S_{\varLambda }\) is a self-adjoint and positive operator. Thus, \(S_{\varLambda }^{\frac{1}{2}}\) is a self-adjoint and positive operator, so we have
By Lemma 2.6, there exists some \(M\in L(\mathcal{H})\) such that \(K=S_{\varLambda }^{\frac{1}{2}}M\).
Next, we prove the sufficiency. Suppose that there exists an operator \(M\in L(\mathcal{H})\) so that \(K=S_{\varLambda }^{\frac{1}{2}}M\). From Lemma 2.6, we know that \(AKK^{*}\leq S_{\varLambda }\) holds for constant \(A>0\). From Proposition 2.5, Λ is a K-g-fusion frame. □
Theorem 3.2
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j},\varLambda _{j},v_{j})\}_{j\in J}\)be a g-fusion Bessel sequence for\(\mathcal{H}\). Suppose that\(T_{\varLambda }\)is the synthesis operator ofΛ. Then the following statements hold:
- (1)
IfΛis a tightK-g-fusion frame for\(\mathcal{H}\), then\(R(K)=R(T_{\varLambda })\).
- (2)
\(R(K)=R(T_{\varLambda })\)if and only if there exist two constantsAandBsuch that
$$ A \bigl\Vert K^{*}f \bigr\Vert ^{2}\leq \sum _{j\in J}v_{j}^{2} \Vert \varLambda _{j}\pi _{W_{j}}f \Vert ^{2}\leq B \bigl\Vert K^{*}f \bigr\Vert ^{2}, \quad \forall f\in \mathcal{H.} $$
Proof
(1) Suppose that Λ is a tight K-g-fusion frame for \(\mathcal{H}\), then there exists a constant \(A>0\) such that
Therefore, we have \(AKK^{*}=T_{\varLambda }T_{\varLambda }^{*}\). By Lemma 2.6, we obtain \(R(K)=R(T_{\varLambda })\).
(2) First, we prove the necessity. Let \(R(K)=R(T_{\varLambda })\), using Lemma 2.6, there exist constants \(A,B>0\) such that
which implies that
Therefore,
Next, we prove the sufficiency. Since \(T_{\varLambda }\) is the synthesis operator of Λ, we can obtain
Suppose that there exist constants \(A,B>0\) such that
Consequently,
So we finish the proof of Theorem 3.2. □
Theorem 3.3
Let\(K\in L(\mathcal{H})\). Then the following statements hold:
- (1)
Every g-fusion frame is aK-g-fusion frame.
- (2)
If\(R(K)\)is closed, everyK-g-fusion frame is a g-fusion frame for\(R(K)\).
Proof
(1) Let \(\varLambda =\{(W_{j},\varLambda _{j},v_{j})\}_{j\in J}\) be a g-fusion frame for \(\mathcal{H}\) with frame bounds A and B. Then, for any \(f\in \mathcal{H}\),
Thus, Λ is a K-g-fusion frame with bounds \(\frac{A}{ \Vert K \Vert ^{2}}\) and B.
(2) Let \(\varLambda =\{(W_{j},\varLambda _{j},v_{j})\}_{j\in J}\) be a K-g-fusion frame for \(\mathcal{H}\) with frame bounds A and B. If \(R(K)\) is closed, by Lemma 2.10, there exists an operator \(K^{\dagger }\in L(\mathcal{H})\) such that
Thus, for any \(f\in R(K)\), we obtain
So, Λ is a g-fusion frame for \(R(K)\) with bounds \(\frac{A}{ \Vert K^{\dagger } \Vert ^{2}}\) and B. □
Theorem 3.4
Let\(K_{i}\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be a\(K_{i}\)-g-fusion frame for\(\mathcal{H}\)with bounds\(A_{i}\)andB, \(i=1,2,\dots,n\). Then, the following statements hold:
- (1)
If\(a_{i}\) (\(i=1,2,\dots,n\)) are not all zero, thenΛis a\(\sum_{i=1}^{n}a_{i}K_{i}\)-g-fusion frame with bounds\(\frac{1}{\max_{1\leq i\leq n} |a_{i}|^{2} n \sum_{i=1}^{n} \frac{1}{A_{i}} }\)andB.
- (2)
Λis a\(\prod_{i=1}^{n}K_{i}\)-g-fusion frame with bounds\(\frac{A_{n}}{\prod_{l=1}^{n-1} \Vert K_{l} \Vert ^{2}}\)andB.
- (3)
If\(K_{l}K_{i}=K_{i}K_{l}\)for any\(l,i=1,2,\dots,n\), thenΛis a\(\prod_{i=1}^{n}K_{i}\)-g-fusion frame with bounds\(\max_{1\leq i\leq n} \frac{A_{i}}{\prod_{l=1,l\neq i}^{n} \Vert K_{l} \Vert ^{2}}\)andB.
Proof
(1) Since Λ is a \(K_{i}\)-g-fusion frame with bounds \(A_{i}\) and B, then we have
that is, for any \(f\in \mathcal{H}\),
So we have
that is,
which yields that Λ is a \(\sum_{i=1}^{n}a_{i}K_{i}\)-g-fusion frame with bounds \(\frac{1}{\max_{1\leq i\leq n} |a_{i}|^{2} n \sum_{i=1}^{n} \frac{1}{A_{i}} }\) and B.
(2) By inequality (3.9), we have
that is, for any \(f\in \mathcal{H}\),
which implies that Λ is a \(\prod_{i=1}^{n}K_{i}\)-g-fusion frame with bounds \(\frac{A_{n}}{\prod_{l=1}^{n-1} \Vert K_{l} \Vert ^{2}}\) and B.
(3) By inequality (3.9) and since \(K_{l}K_{i}=K_{i}K_{l}\), we have
that is, for any \(f\in \mathcal{H}\),
Letting \(M=\max_{1\leq i\leq n} \frac{A_{i}}{\prod_{l=1,l\neq i}^{n} \Vert K_{l} \Vert ^{2}}\), then inequality (3.12) implies that Λ is a \(\prod_{i=1}^{n}K_{i}\)-g-fusion frame with bounds M and B. □
Theorem 3.5
Let\(U, K\in L(\mathcal{H})\)andUbe surjective. Suppose that\(\varLambda =\{(W_{j},\varLambda _{j},v_{j})\}_{j\in J}\)is aK-g-fusion frame for\(\mathcal{H}\)with frame boundsAandB. Then the following statements hold:
- (1)
If\(UK=KU\), then\(\varPhi =\{(UW_{j},\varLambda _{j}\pi _{W_{j}}U^{*},v_{j})\}_{j\in J}\)is aK-g-fusion frame with bounds\(A \Vert U^{\dagger } \Vert ^{-2}\)and\(B \Vert U \Vert ^{2}\).
- (2)
If\(U^{*}\varLambda _{j}\pi _{W_{j}}=\varLambda _{j}\pi _{W_{j}}U^{*}\), then\(\varPhi =\{(UW_{j},\varLambda _{j}\pi _{W_{j}}U^{*},v_{j})\}_{j\in J}\)is a K-g-fusion frame with bounds\(A \Vert U^{\dagger } \Vert ^{-2}\)and\(B \Vert U \Vert ^{2}\).
- (3)
If\(UK=KU\)and\(U^{*}\pi _{W_{j}}=\pi _{W_{j}}U^{*}\), then\(\varPhi _{0}=\{(W_{j},\varLambda _{j}U^{*},v_{j})\}_{j\in J}\)is aK-g-fusion frame with bounds\(A \Vert U^{\dagger } \Vert ^{-2}\)and\(B \Vert U \Vert ^{2}\).
Proof
Since U is surjective, from Lemma 2.10, there exists an operator \(U^{\dagger }\in L(H)\) such that \(UU^{\dagger }=I_{\mathcal{H}}\), that is, \((U^{\dagger })^{*}U^{*}=I_{\mathcal{H}}\). Therefore, for all \(f\in \mathcal{H}\),
(1) By Lemma 2.8, for all \(f\in \mathcal{H}\), we have
Thus, Φ is a g-fusion Bessel sequence for \(\mathcal{H}\). On the other hand, notice that Λ is a K-g-fusion frame and \(UK=KU\), so by inequality (3.13), we have
Hence, Φ is a K-g-fusion frame with bounds \(A \Vert U^{\dagger } \Vert ^{-2}\) and \(B \Vert U \Vert ^{2}\).
(2) From part (1), we know that Φ is a g-fusion Bessel sequence for \(\mathcal{H}\). On the other hand, for all \(f\in \mathcal{H}\), notice that \(U^{*}\varLambda _{j}\pi _{W_{j}}=\varLambda _{j}\pi _{W_{j}}U^{*}\), so by inequality (3.13), we have
Hence, Φ is a K-g-fusion frame for \(\mathcal{H}\) with bounds \(A \Vert U^{\dagger } \Vert ^{-2}\) and \(B \Vert U \Vert ^{2}\).
(3) Noticing that \(U^{*}\pi _{W_{j}}=\pi _{W_{j}}U^{*}\), for all \(f\in \mathcal{H}\), we have
On the other hand, by inequality (3.13), we obtain
Hence, \(\varPhi _{0}\) is a K-g-fusion frame with bounds \(A \Vert U^{\dagger } \Vert ^{-2}\) and \(B \Vert U \Vert ^{2}\). □
In terms of the isometry and coisometry operators, we can obtain the following properties of a K-g-fusion frame.
Corollary 3.6
Let\(U, K\in L(\mathcal{H})\)andUbe a coisometry operator. Suppose that\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)is aK-g-fusion frame for\(\mathcal{H}\)with frame boundsAandB. Then the following statements hold:
- (1)
If\(UK=KU\), then\(\varPhi =\{(UW_{j},\varLambda _{j}\pi _{W_{j}}U^{*},v_{j})\}_{j\in J}\)is aK-g-fusion frame with boundsAandB.
- (2)
If\(U^{*}\varLambda _{j}\pi _{W_{j}}=\varLambda _{j}\pi _{W_{j}}U^{*}\), then\(\varPhi =\{(UW_{j},\varLambda _{j}\pi _{W_{j}}U^{*},v_{j})\}_{j\in J}\)is aK-g-fusion frame with boundsAandB.
- (3)
If\(UK=KU\)and\(U^{*}\pi _{W_{j}}=\pi _{W_{j}}U^{*}\), then\(\varPhi _{0}=\{(W_{j},\varLambda _{j}U^{*},v_{j})\}_{j\in J}\)is aK-g-fusion frame with boundsAandB.
Proof
If U is a coisometry operator, then U is surjective and \(\Vert U \Vert = \Vert U^{\dagger } \Vert =1\), so the results of Corollary 3.6 are valid due to Theorem 3.5. □
Theorem 3.7
Let\(K,U\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be aK-g-fusion frame for\(\mathcal{H}\)with boundsAandB. Suppose thatUis an isometry. Then the following statements hold:
- (1)
If\(T=KU^{*}\), thenΛis a ParsevalK-g-fusion frame for\(\mathcal{H}\), whereTis the synthesis operator ofΛ.
- (2)
\(\varPhi =\{(W_{j},U\varLambda _{j},v_{j})\}_{j\in J}\)is also aK-g-fusion frame with boundsAandB.
Proof
(1) For any \(f\in \mathcal{H}\), we have
Thus, Λ is a Parseval K-g-fusion frame.
(2) Since Λ is a K-g-fusion frame, then, for any \(f\in \mathcal{H}\), we have
It is obvious that Φ is a K-g-fusion frame for \(\mathcal{H}\) with the same bounds as for Λ. □
Corollary 3.8
Let\(K,U\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be aK-g-fusion frame for\(\mathcal{H}\)with boundsAandB. Suppose thatUis a coisometry. Then the following statements hold:
- (1)
If\(T=KU\), thenΛis a ParsevalK-g-fusion frame for\(\mathcal{H}\), whereTis the synthesis operator ofΛ.
- (2)
\(\varPhi =\{(W_{j},U^{*}\varLambda _{j},v_{j})\}_{j\in J}\)is also aK-g-fusion frame with boundsAandB.
Like K-frame and K-g-frame, we can discuss the property of K-g-fusion frames by employing the nonzero Drazin inverse of operator K.
Theorem 3.9
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be aK-g-fusion frame for\(\mathcal{H}\)with boundsAandBfor all\(f\in \mathcal{H}\). If\(S\in L(\mathcal{H})\)is a nonzero Drazin inverse ofK, then\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)is an\(SKS^{r}\)-g-fusion frame for\(\mathcal{H}\)with bounds\(\frac{A}{ \Vert S \Vert ^{2r+2}}\)andBfor any positive integerr.
Proof
Since Λ is a K-g-fusion frame, then, for any \(f\in \mathcal{H}\), we have
Using Definition 2.9, we have
which implies that, for any \(f\in \mathcal{H}\),
Thus, Λ is an \(SKS^{r}\)-g-fusion frame for \(\mathcal{H}\). □
Corollary 3.10
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be aK-g-fusion frame for\(\mathcal{H}\)with boundsAandB. If\(S\in L(\mathcal{H})\)is an idempotent operator of the nonzero Drazin inverse ofK, thenΛis an\(SKS^{r}\)-g-fusion frame for\(\mathcal{H}\)with bounds\(\frac{A}{ \Vert S \Vert }\)andBfor any positive integerr.
Corollary 3.11
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be aK-g-fusion frame for\(\mathcal{H}\)with boundsAandB. If\(S\in L(\mathcal{H})\)is a nonzero Drazin inverse ofK, thenΛis also an\(S^{r}K\)-g-fusion frame(or\(K S^{r}\)-g-fusion frame) for\(\mathcal{H}\)with bounds\(\frac{A}{ \Vert S \Vert ^{2r}}\)andBfor any positive integerr.
In [17], the authors presented several results on K-frames using techniques on quotient of bounded operators. We intend to generalize some results to K-g-fusion frames and tight K-g-fusion frames. Letting \(W,V\in L(\mathcal{H})\) with \(N(V)\subset N(W)\), from [17], the quotient operator \(T=[W/V]\) is a linear operator on \(\mathcal{H}\) from \(R(V)\) to \(R(W)\) defined by \(Vx \mapsto Wx\). In this case \(D(T)=R(V), R(T)\subset R(W)\) and \(TV=W\), where \(D(T)\) is the domain of the operator T. In the following theorem, we present a necessary and sufficient condition of a K-g-fusion frame by the quotient operator.
Theorem 3.12
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be a g-fusion Bessel sequence for\(\mathcal{H}\)with frame operatorS. Then\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)aK-g-fusion frame if and only if the quotient operator\([K^{*}/S^{\frac{1}{2}}]\)is bounded.
Proof
First, we prove the necessity. Since Λ is a K-g-fusion frame, there exists a constant \(A>0\) such that
Now let us define the operator \(T:R(S^{\frac{1}{2}})\rightarrow R(K^{*})\) such that
which implies that \(N(S^{\frac{1}{2}})\subset N(K^{*})\) and T is a linear operator. Using inequalities (3.17) and (3.18), we obtain
Hence, T is a bounded linear operator.
Now we prove sufficiency. Supposed that the quotient operator \([K^{*}/S^{\frac{1}{2}}]\) is bounded. Then there exists a constant \(B>0\) such that
Therefore, Λ is a K-g-fusion frame for \(\mathcal{H}\). □
For tight K-g-fusion frames, we have the following result.
Theorem 3.13
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be a tightK-g-fusion frame for\(\mathcal{H}\)with the frame operatorS. Then the quotient operator\([K^{*}/S^{\frac{1}{2}}]\)is invertible.
Proof
Since Λ is a tight K-g-fusion frame, by its definition and properties, there exists a constant \(\alpha >0\) such that \(S=\alpha KK^{*}\). Using Lemma 2.6, we can also get \(R(K)=R(S^{\frac{1}{2}})\). Denote \(K_{0}=K|_{N(K)^{\perp }}\), then \(K_{0}^{-1}: R(K)\rightarrow N(K)^{\perp }\) is a closed linear operator. Let us define \(Q:=K_{0}^{-1}S^{\frac{1}{2}}\) from \(\mathcal{H}\) onto \(N(K)^{\perp }\). Obviously, \(S^{\frac{1}{2}}=KQ\) and Q is bounded by the Closed Graph Theorem. Thus, we can obtain a bounded operator \(P:\mathcal{H}\rightarrow N(S^{\frac{1}{2}})^{\perp }\) such that \(K=S^{\frac{1}{2}}P\).
Letting \(x\in N(S^{\frac{1}{2}})^{\perp }\), we have
or equivalently,
Hence PQ is the identity operator on \(N(S^{\frac{1}{2}})^{\perp }\). Similarly, QP is the identity operator on \(N(K)^{\perp }\). It follows that
is an invertible operator. Therefore, \(K^{*}=(P|_{N(K)^{\perp }})^{*}S^{\frac{1}{2}}\), which means that \([K^{*}/S^{\frac{1}{2}}]\) is invertible. □
3.2 Direct sum of K-g-fusion frames
Now, we suppose that \(\{\mathcal{H}_{i}\}_{i=1}^{n}\) is a sequence of mutually orthogonal closed subspaces of \(\mathcal{H}\). Then, the direct sum \(\bigoplus_{i=1}^{n}\mathcal{H}_{i}=\mathcal{H}_{1}\oplus \mathcal{H}_{2}\oplus \cdots \oplus \mathcal{H}_{n}\) is also a Hilbert space. Let \(T_{i}\in L(\mathcal{H}_{i})\), \(1\leq i\leq n\) and consider the operator \(\bigoplus_{i=1}^{n} T_{i}:\bigoplus_{i=1}^{n} \mathcal{H}_{i}\rightarrow \bigoplus_{i=1}^{n} \mathcal{H}_{i}\) defined by
where \(\bigoplus_{i=1}^{n} T_{i}=T_{1}\oplus T_{2}\oplus \cdots \oplus T_{n}\). Then, \(\bigoplus_{i=1}^{n} T_{i}\) is a bounded linear operator on \(\bigoplus_{i=1}^{n}\mathcal{H}_{i}\). The conjugate operator on direct sums is defined by \((T_{1}\oplus T_{2})^{*}=T_{1}^{*}\oplus T_{2}^{*}\).
In the following theorem, we will show a sufficient condition for a direct sum of K-g-fusion frames be also a K-g-fusion frame.
Theorem 3.14
Let\(\{\mathcal{H}_{j}\}_{j=1}^{n}\)be a sequence of mutually orthogonal closed subspaces of\(\mathcal{H}\), and\(\{(W_{ij}, \varLambda _{ij}, v_{i})\}_{i\in I}\)be\(K_{j}\)-g-fusion frames for\(\mathcal{H}_{j}\), \(j=1,2,\dots,n\). Then\(\{(\bigoplus_{j=1}^{n}W_{ij}, \bigoplus_{j=1}^{n} \varLambda _{ij}, v_{i})\}_{i\in I}\)is a\(\bigoplus_{j=1}^{n}K_{j}\)-g-fusion frame for\(\bigoplus_{j=1}^{n} \mathcal{H}_{j}\).
Proof
We only prove the result when \(n=2\). Suppose that \(\{(W_{ij}, \varLambda _{ij}, v_{i})\}_{i\in I}\) is a \(K_{j}\)-g-fusion frame for \(\mathcal{H}_{j}\) with bounds \(A_{j}\) and \(B_{j}\), \(j=1,2\). Let \(A=\min \{A_{1},A_{2}\}\), \(B=\max \{B_{1},B_{2}\}\). Then for any \(f\in \mathcal{H}_{1}\) and \(g\in \mathcal{H}_{2}\), we have
On the other hand, since \(\mathcal{H}_{1}\) is orthogonal to \(\mathcal{H}_{2}\), \(\pi _{W_{i1}\oplus W_{i2}}=\pi _{W_{i1}}\oplus \pi _{ W_{i2}}\) for any \(i\in I\), so we have
From the above two formulas, we know that \(\{(\bigoplus_{j=1}^{n}W_{ij}, \bigoplus_{j=1}^{n} \varLambda _{ij}, v_{i})\}_{i\in I}\) is a \(\bigoplus_{j=1}^{n}K_{j}\)-g-fusion frame for \(\bigoplus_{j=1}^{n} \mathcal{H}_{j}\). □
3.3 The redundancy of K-g-fusion frames
One of the important properties of frame theory is the possibility of redundancy. Many scholars discussed the redundancy of a frame, g-frame, and fusion frame. In the following theorem, we discuss a sufficient condition that some elements can be removed without destroying the K-g-fusion frame property of the remaining set.
Theorem 3.15
Assume\(K\in L(\mathcal{H})\)has closed range and\(\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)is aK-g-fusion frame for\(\mathcal{H}\)with boundsAandB. If\(\overline{\operatorname{span}}\{W_{j}\}_{j\in J\backslash I}\subset R(K)\)and\(\overline{\operatorname{span}}\{W_{j}\}_{j\in I}\perp R(K)\), where\(I\subset J\), then\(\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J\backslash I}\)is aK-g-fusion frame for\(\mathcal{H}\)with boundsAandB.
Proof
Since \(\overline{\operatorname{span}}\{W_{j}\}_{j\in I}\perp R(K)\), for any \(g\in R(K)\subset \mathcal{H}\), we get \(\pi _{W_{j}}g=0, j\in I\) and
which implies that
Because \(\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\) is a K-g-fusion frame for \(\mathcal{H}\), we have
Then, for any \(g\in R(K)\), we have
On the other hand, for any \(g\in R(K)^{\perp }\) and for any \(h\in \mathcal{H}\), we have
This yields
Since K has closed range, for any \(g \in \mathcal{H}\), we have \(g=g_{1}+g_{2}\), where \(g_{1}\in R(K), g_{2}\in R(K)^{\perp }\). Due to \(\overline{\operatorname{span}}\{W_{j}\}_{j\in J\backslash I}\subset R(K)\), we obtian \(g_{2}\perp \overline{\operatorname{span}}\{W_{j}\}_{j\in J\backslash I}\) and
Then, for all \(g\in \mathcal{H}\), using equations (3.25)–(3.27), we have
Therefore, \(\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J\backslash I}\) is a K-g-fusion frame for \(\mathcal{H}\) with bounds A and B. □
Corollary 3.16
Let\(K\in L(\mathcal{H})\)have closed range and\(\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be aK-g-fusion frame for\(\mathcal{H}\)with boundsAandB. If\(\overline{\operatorname{span}}\{W_{j}\}_{j\in J,j\neq j_{0}}\subset R(K)\)and\(\overline{\operatorname{span}}\{W_{j_{0}}\}\perp R(K)\), where\(j_{0}\in J\), then\(\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J,j\neq j_{0}}\)is aK-g-fusion frame for\(\mathcal{H}\)with boundsAandB.
3.4 The stability of K-g-fusion frames
Stability of a frame is an important research topic for frame theory. Many researchers discussed the stability of frames, fusion frames, K-frames, and K-g-frames [3, 7, 8, 13, 14, 16]. In the following theorems, we give some results about perturbations of K-g-fusion frame.
Theorem 3.17
Let\(K\in L(\mathcal{H})\)and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be aK-g-fusion frame with boundsAandB. Suppose\(\varPhi _{j}\in L(\mathcal{H},W_{j}),j\in J\). If there exist constants\(a,b,c\)satisfying\(0\leq a,b<1, 0\leq \frac{c}{1-a}<\sqrt{A}\)and such that for any\(f\in \mathcal{H}\),
then\(\varPhi =\{(W_{j}, \varPhi _{j}, v_{j})\}_{j\in J}\)is also aK-g-fusion frame with bounds\((\frac{(1-a)\sqrt{A}-c}{1+b})^{2}\)and\((\frac{(1+a)\sqrt{B}+c \Vert K \Vert }{1-b})^{2}\)for\(\mathcal{H}\).
Proof
Since Λ is a K-g-fusion frame with bounds A and B for \(\mathcal{H}\), for any \(f\in \mathcal{H}\), we have
According to inequality (3.28), we have
Hence,
On the other hand, for any \(f\in H\), we have
Consequently,
Using inequalities (3.29) and (3.30), we obtain that \(\varPhi =\{(W_{j}, \varPhi _{j}, v_{j})\}_{j\in J}\) is a K-g-fusion frame with bounds \((\frac{(1-a)\sqrt{A}-c}{1+b})^{2}\) and \((\frac{(1+a)\sqrt{B}+c \Vert K \Vert }{1-b})^{2}\) for \(\mathcal{H}\). □
Theorem 3.18
Let\(K\in L(\mathcal{H})\)have closed range and\(\varLambda =\{(W_{j}, \varLambda _{j}, v_{j})\}_{j\in J}\)be aK-g-fusion frame with boundsAandB. Suppose\(\varPhi _{j}\in L(\mathcal{H},W_{j}),j\in J\). If there exist constants\(a,b,c\)satisfying\(0\leq a,b<1, 0\leq \frac{c}{1-a}<\frac{\sqrt{A}}{\|K^{\dagger }\|}\)and such that for any\(f\in \mathcal{H}\),
then\(\varPhi =\{(W_{j}, \varPhi _{j}, v_{j})\}_{j\in J}\)is also aK-g-fusion frame with bounds\((\frac{(1-a)\sqrt{A}-c\|K^{\dagger }\|}{1+b})^{2}\)and\((\frac{(1+a)\sqrt{B}+c}{1-b})^{2}\).
Proof
The proof is similar to that of Theorem 3.17. □
References
Arabyani, N.F., Arefijamaal, A.A.: Characterization and construction of K-fusion frames and their duals in Hilbert spaces. Results Math. 73(1), 47 (2018)
Bhandari, A., Mukherjee, S.: Atomic subspaces for operators (2017) arXiv:1705.06042
Casazza, P.G.: The art of frame theory. Taiwan. J. Math. 32(46), 1–72 (1999)
Casazza, P.G., Kutyniok, G.: Frames of subspaces. Wavelets Frames Oper. Theory 8(3), 87–113 (2003)
Casazza, P.G., Kutyniok, G.: Finite Frames: Theory and Applications. Springer, USA (2013)
Casazza, P.G., Kutyniok, G., Li, S.: Fusion frames and distributed processing. Appl. Comput. Harmon. Anal. 25(1), 114–132 (2008)
Christensen, O.: An Introduction to Frames and Riesz Bases. Springer, Berlin (2003)
Daubechies, I., Heil, C.: Ten lectures on wavelets. J. Comput. Phys. 6(3), 1671 (1998)
Douglas, R.G.: On majorization, factorization, and range inclusion of operators on Hilbert space. Proc. Am. Math. Soc. 17(2), 413–415 (1966)
Duffin, R.J., Schaeffer, A.C.: A class of nonharmonic Fourier series. Trans. Am. Math. Soc. 72(2), 341–366 (1952)
Găvruta, L.: Frames for operators. Appl. Comput. Harmon. Anal. 32(1), 139–144 (2012)
Han, D., Larson, D.R.: Frames, bases and group representations. Mem. Am. Math. Soc. (2000). https://doi.org/10.1090/memo/0697
Hua, D.L., Huang, Y.D.: K-g-frames and stability of K-g-frames in Hilbert spaces. J. Korean Math. Soc. 53(6), 1331–1345 (2016)
Huang, Q., Zhu, L., Geng, W., Yu, J.: Perturbation and expression for inner inverses in Banach spaces and its applications. Linear Algebra Appl. 436(9), 3721–3735 (2012)
Huang, Y.D., Shi, S.N.: New constructions of K-g-frames. Results Math. 73(4), 162 (2018)
Li, X.B., Yang, S.Z., Zhu, Y.C.: Some results about operator perturbation of fusion frames in Hilbert spaces. J. Math. Anal. Appl. 421(2), 1417–1427 (2015)
Ramu, G., Johnson, P.S.: Frame operators of K-frames. SeMA J. 73(2), 171–181 (2016)
Sadri, V., Ahmadi, R., Rahimi, A.: Constructions of K-g-fusion frames and their duals in Hilbert Spaces (2018) arXiv:1806.03595
Shi, S.N., Huang, Y.D.: K-g-frames and their dual. Int. J. Wavelets Multiresolut. Inf. Process. 17(3), 195–215 (2019)
Sun, W.C.: g-frames and g-Riesz bases. J. Math. Anal. Appl. 322(1), 437–452 (2006)
Zhou, Y., Zhu, Y.C.: K-g-frames and dual g-frames for closed subspaces. Acta Math. Sinica (Chin. Ser.) 56(5), 799–806 (2013)
Acknowledgements
The authors would like to thank the editor and the referees for their valuable comments and suggestions, which improved the quality of our paper.
Availability of data and materials
Not applicable.
Funding
This work is supported by the National Natural Science Foundation of China (Nos. 11761001 and 11761003), Leading Talent Project of Science and Technology Innovation of NingXia (No. KJT2016002), Major Project of North Minzu University (No. ZDZX201801) and the graduate innovation project of North Minzu University (No. YCX19123).
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Huang, Y., Yang, Y. K-g-fusion frames in Hilbert spaces. J Inequal Appl 2020, 57 (2020). https://doi.org/10.1186/s13660-020-02320-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02320-0