- Research
- Open Access
- Published:
Relay fusion frames for Hilbert spaces
Journal of Inequalities and Applications volume 2019, Article number: 226 (2019)
Abstract
A new notion of frames, called the relay fusion frames, for Hilbert spaces has been introduced by the authors. It provides a mathematical framework for applications that require the transmission of signals over long distances or need to expand the coverage of wireless networks. The technique described in this paper is not only a natural technique suitable for the applications of relay communication systems, but also can be regarded as a natural generalization of fusion frames or even g-frames. We transfer some common properties in general frames and fusion frames to relay fusion frames with the definition of the relay fusion frames and their operators. In particular, besides canonical duality, we obtain two new dualities of the relay fusion frames. Moreover, we prove that relay fusion frames are stable under small perturbations.
Introduction
The notion of frames for Hilbert spaces was first introduced by Duffin and Shaeffer [9] in 1952 for investigating some deep problems in non-harmonics Fourier series, and popularized from then on. Frames were developed as a powerful tool in signal processing, coding theory, communication theory, sampling theory and many other fields.
Fusion frames (frame of subspaces) arose naturally as a generalization of frames. They are collections of closed subspaces and weights that allow the reconstruction of each element of a Hilbert space from packets of coefficients. Fusion frames are very useful in areas such as sensor networks, neurology, distributing sensing, parallel processing and packet encoding, among others.
Background of research
In the study of application aspects of frame and fusion frame theory one of the most important concepts is the signal processing. However, the conditions to transmission signals in “classical frame theory” are very restrictive—the long distance between transmitters and receivers is possible. This makes it hard to transmit signals and this is the reason that one might look for a more flexible tool.
In applications, an input signal is converted into the data vectors. In an ideal setting, these data vectors can be transmitted directly to the data receiver and the signal can be reconstructed by the receiver using frame and dual frame elements. However, in real implementations, sometimes the data vectors cannot be received directly by the receiver, such as relay communication [12, 20], distributed sensor relay system [23], cooperative communication [18], satellite communication [17], microwave communication [16], and ultrashort wave communication [15].
When using microwave and ultrashort wave to transmit signals, if the distance between two terminals exceeds the visual distance, the signals attenuate quickly and the quality cannot be guaranteed. If a number of relay stations are set up between two terminals, the relay stations will transmit the signals from the previous station after amplification, shaping and carrier frequency conversion to the next station, which can extend the communication distance and maintain good communication quality, and at the same time help small power equipment to expand the signals, providing a new network mode. This mode can realize the amplification and continuation of network signals and solve the problem of distance for network construction.
In virtue of the role of relay stations, microwave communication transmits signals hundreds or even thousands of kilometers away. They can be used to improve services in part of the main coverage area where poor signals are received due to geographical constraints. The receiving and transmitting radius of the relay stations covers a large area.
A company hopes to connect all the networks of its nearby production plants, workshops, management centers, so as to facilitate resource sharing, unified management and maximize the use of information. In university campuses, independent intranets in teaching buildings, student dormitories and computing centers also need to be set up together to facilitate the access of students and teachers to campus networks, and so on. When the local area networks need to be connected are too far apart and the signals are weak, we need to use wireless relay technology to connect and build the network to achieve wireless bridging between the local area networks.
Under these circumstances, the applications cannot be modeled naturally by the traditional frame systems. In order to deal with these applications of frame new methods have to be developed. A relay fusion frame theory with local frame system is therefore in demand.
Relay fusion frames are such tools. A relay fusion frame for a vector space equipped with an inner product can also process signals, but the distance between transmitters and receivers is not required. In this paper, we present relay fusion frames theory in Hilbert spaces.
Relay fusion frame system is a device that can receive and transmit signals over a long distance. It provides a mathematical model for applications requiring long distance transmission of signals. From this point of view, the traditional frame theory can be regarded as a system with “real-time communication” function without involving the relay technique, while the relay fusion frame theory can be thought of as a system with “relay communication” function.
The advantage of the relay fusion frame system is that it utilizes relay technique to relay signals from one relay point to the next relay point, and forming a new network coverage area, thus constituting multiple relay coverage modes, and ultimately achieving the purpose of extending the coverage of the network. The relay mode networking method is extremely versatile. Nowadays, the network has begun to be widely used. In many places, because the site is large or has obstacles, the network coverage of the wireless device does not reach the distance we need or is hindered in the middle. At this time, if we use the relay mode to connect to the wireless network, we can meet the networking requirements.
Related approaches
In view of the relationships between fusion frames and distributed processing proposed by Cazassa, Kutyniok and Li in the fundamental paper [5], we can also establish the connection between the relay fusion frames and the distributed sensor relay systems and the cooperative communications in a similar way. But in our approaches, we hope to adopt a more intuitive way to introduce the relay fusion frame based on frame and fusion frame theory. We remark that besides applications, relay fusion frames for Hilbert spaces or Banach spaces are interesting and natural objects to study from both pure and applied mathematics of the theory point of view, so our work is not trivial.
Contents
The paper is organized as follows. In Sect. 2 we recall frames, fusion frames and their operators. In Sect. 3 we introduce the definition of relay fusion frames. We will show that a relay fusion frame behaves as a generalization of fusion frames or even g-frames, which also provide an associated analysis and synthesis operator, a frame operator and a dual object. Particularly, in addition to canonical dual, we give two new dualities of the relay fusion frames. We end this section with the Q-dual relay fusion frames of relay fusion frames. In Sect. 4 we study the relay fusion frame systems and we also get some useful results about it. Finally, in Sect. 5 we prove that relay fusion frames are stable under small perturbations.
Preliminaries
In this section we briefly recall the definitions of frames and fusion frames and their operators. For more information about the theory and applications of frames and fusion frames we refer to [2, 6, 11] and [1, 4, 10, 19], respectively. First, let us introduce some notations.
Notation
Let H and K be separable complex Hilbert spaces and let \(\mathcal{B}(H,K)\) be the space of all the bounded linear operators from H to K (if \(H=K\) we write \(\mathcal{B}(H)\)). \(\mathbb{I}, \mathbb{J}_{i}\) and every \(\mathbb{K}_{ij}\) will denote generic countable (or finite) index sets. We use \(I_{H}\) to denote the identity operator on H.
If \(W \subseteq H\) and \(V\subseteq K\) are subspaces, then we let \(\pi _{W}\in \mathcal{B}(H)\) and \(\tau _{V}\in \mathcal{B}(K)\) denote the orthogonal projections onto the subspaces W and V, respectively.
Frames
Definition 1
A sequence \(\mathcal{F}=\{f_{i}\}_{i\in \mathbb{I}}\) of elements in H is said to be a frame for H if there exist constants \(\alpha , \beta >0\) such that
The numbers \(\alpha , \beta \) are called \(\mathit{frame}\ \mathit{bounds}\). A frame \(\mathcal{F}\) is tight if we can choose \(\alpha =\beta \) as frame bounds. Provided (1) holds with \(\alpha =\beta =1\), we call \(\mathcal{F}\) a \(\mathit{Parseval}\ \mathit{frame}\).
Definition 2
Let \(\mathcal{F}\) be a frame for H.
-
(i)
The frame transform or analysis operator of \(\mathcal{F}\) is
$$ T_{\mathcal{F}}: H \mapsto \ell ^{2}(\mathbb{I}),\quad T_{\mathcal{F}}(f)= \bigl\{ \langle f, f_{i}\rangle \bigr\} _{i\in \mathbb{I}}. $$ -
(ii)
The adjoint of \(T_{\mathcal{F}}\) is given by
$$ T_{\mathcal{F}}^{*} : \ell ^{2}(\mathbb{I}) \mapsto H,\quad T_{\mathcal{F}}^{*} \bigl(\{c_{i} \}_{i\in \mathbb{I}} \bigr)=\sum_{i\in \mathbb{I}}c_{i}f_{i}. $$\(T_{\mathcal{F}}^{*}\) is called the pre-frame operator or the synthesis operator of \(\mathcal{F}\).
-
(iii)
The frame operator of \(\mathcal{F}\) is
$$ S_{\mathcal{F}}=T_{\mathcal{F}}^{*}T_{\mathcal{F}} : H \mapsto H,\quad S_{\mathcal{F}}(f)=\sum_{i\in \mathbb{I}} \langle f, f_{i}\rangle f _{i}. $$
Definition 3
Let \(\mathcal{F}=\{f_{i}\}_{i\in \mathbb{I}}\) and \(\widetilde{\mathcal{F}}=\{\widetilde{f}_{i}\}_{i\in \mathbb{I}}\) be frames for H. Then \(\widetilde{\mathcal{F}}\) is said to be a dual frame of \(\mathcal{F}\) if the following reconstruction formula holds:
or, equivalently,
We call \(\{S_{\mathcal{F}}^{-1}f_{i}\}_{i\in \mathbb{I}}\) the canonical dual frame of \(\mathcal{F}\).
Fusion frames
Definition 4
Let \(\{W_{i}\}_{i\in \mathbb{I}}\) be a sequence of closed subspaces of H, and let \(\{v_{i}\}_{i\in \mathbb{I}}\in l^{\infty }(\mathbb{I})\) such that \(v_{i}> 0\) for every \(i\in \mathbb{I}\). The sequence \(\{(W_{i}, v _{i})\}_{i\in \mathbb{I}}\) is said to be a fusion frame for H if there exist numbers \(0< \alpha \leqslant \beta < \infty \) such that
We call α and β the \(\mathit{fusion}\ \mathit{frame}\ \mathit{bounds}\). A fusion frame \(\{(W_{i}, v_{i})\}_{i\in \mathbb{I}}\) is called a tight fusion frame if the constants α and β can be chosen so that \(\alpha = \beta \). If \(\alpha = \beta = 1\) we say that it is a Parseval fusion frame.
Definition 5
Let \(\{(W_{i}, v_{i})\}_{i\in \mathbb{I}}\) be a fusion frame for H and let
-
(i)
The analysis operator of \(\{(W_{i}, v_{i})\} _{i\in \mathbb{I}}\) is defined by
$$ T_{\mathcal{W}} : H \mapsto \biggl(\sum_{i\in \mathbb{I}} \oplus W_{i} \biggr)_{\ell ^{2}} \quad\text{with } T_{\mathcal{W}}(f)= \bigl\{ v _{i}\pi _{W_{i}}(f) \bigr\} _{i\in \mathbb{I}}. $$ -
(ii)
The synthesis operator of \(\{(W_{i}, v_{i})\} _{i\in \mathbb{I}}\) is defined by
$$ T_{\mathcal{W}}^{*} : \biggl(\sum_{i\in \mathbb{I}} \oplus W_{i} \biggr)_{\ell ^{2}} \mapsto H \quad\text{with } T_{\mathcal{W}}^{*} \bigl(\{f _{i}\}_{i\in \mathbb{I}} \bigr)=\sum_{i\in \mathbb{I}}v_{i}f_{i}. $$ -
(iii)
The operator
$$ S_{\mathcal{W}} : H\mapsto H,\quad S_{\mathcal{W}}(f)=T_{\mathcal{W}}^{*}T_{\mathcal{W}}(f)= \sum_{i\in \mathbb{I}}v_{i}^{2}\pi _{W_{i}}(f). $$is called the fusion frame operator of \(\{(W_{i}, v_{i})\}_{i\in \mathbb{I}}\).
Relay fusion frames
In this section, we first introduce the definition of relay fusion frames and then we will show that it also provide an associated analysis and synthesis operator, a frame operator and a dual object.
Definition and basic properties of relay fusion frames and their operators
Definition 6
Let \(\{K_{i}\}_{i\in \mathbb{I}}\) be a sequence of separable Hilbert spaces and \(\{W_{i}\}_{i\in \mathbb{I}}\) be a family of closed subspaces in H and let \(\{V_{ij}\}_{j\in \mathbb{J}_{i}}\) be a family of closed subspaces in \(K_{i}\) for each \(i\in \mathbb{I}\). Let \(\{v_{ij}\}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) be a family of weights, i.e. \(v_{ij}>0\) for each \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\), and let \(\varLambda _{i}\in \mathcal{B}(H, K_{i})\) for each \(i\in \mathbb{I}\). Then \(\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) is said to be a relay fusion frame, or simply r-fusion frame, if there exist constants \(0< \alpha \leqslant \beta < \infty \) such that
We call α and β the r-fusion frame bounds.
The family \(\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) is called an α-tight r-fusion frame, if the constants α and β can be chosen so that \(\alpha =\beta \), a Parseval r-fusion frame provided that \(\alpha =\beta =1\). If \(\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) satisfies the second inequality in Eq. (2), then it is said to be a Bessel r-fusion sequence in H with Bessel r-fusion bound β.
If we take \(K_{i}=H, V_{ij}=W_{i}, \varLambda _{i}=I_{H}\) and \(v_{ij}=w_{i}\) for all \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\), then we get from Definition 6 the fusion frame \(\{(W_{i}, w_{i})\} _{i\in \mathbb{I}}\) for H and thus r-fusion frame can be viewed as a generalization of fusion frame.
Similarly, let \(W_{i}=H, V_{ij}=K_{i}\) and \(v_{ij}=1\) for all \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\), then inequality (2) can be restated as the following form which is, as defined in [21], the g-frames:
Consequently, g-frames can be thought of as a special class of r-fusion frames. The special case, where \(K_{i}=\mathbb{C}\), \(i\in \mathbb{I}\), gives rise to the classical frames.
The representation space employed in classical frame theory and fusion frame theory equal \(\ell ^{2}(\mathbb{I})\) and \((\sum_{i\in \mathbb{I}}\oplus W_{i} )_{\ell ^{2}}\), respectively. However, in r-fusion frame theory an input signal \(f \in H\) is represented by the collection of vector coefficients that can be thought of as to represent the projection onto each subspace of \(\mathit{local}\ \mathit{relay}\ \mathit{spaces}\) \(K_{i}\), \(i\in \mathbb{I}\). Hence, the representation space employed in this framework defined by
with inner product given by
with respect to the pointwise operations is a Hilbert space.
We can give an intuitive explanation about r-fusion frames. Let us assume that we want to transmit the wireless signal f belonging to a vector space W from a transmitter \(\mathcal{X}\) to a receiver \(\mathcal{Y}\). If the distance between \(\mathcal{X}\) and \(\mathcal{Y}\) is too far, the wireless signal f will come to nothing before reaching the receiver \(\mathcal{Y}\). However, in the case we set up a relay station \(\mathcal{Z}\) between \(\mathcal{X}\) and \(\mathcal{Y}\), this situation will clear away. By transmitting from the relay stations, the restriction that the ordinary receiver and the transmitter cannot be connected due to the distance can be solved.
In the sequel, we will denote \(\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij}) \}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) by \(\mathcal{R}\), simply. We abbreviate r-fusion frame to RFF.
Before define the analysis operator for an RFF, we state the following lemma, which is analogous to Lemma 3.9 in [4].
Lemma 3.1
Let \(\mathcal{R}\) be a Bessel r-fusion sequence in H with Bessel bound β. Then, for each sequence \(\{f_{ij}\}_{i\in \mathbb{I}, j \in \mathbb{J}_{i}}\) with \(\{f_{ij}\}\in V_{ij}\) for all \({i\in \mathbb{I}, j\in \mathbb{J}_{i}}\), the series \(\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J}_{i}}v_{ij} \pi _{W_{i}}\varLambda _{i}^{*}f_{ij}\) converges unconditionally.
Proof
Let \(\mathbb{L}\) and \(\mathbb{M}\) be fixed finite subsets of \(\mathbb{I}\) and \(\mathbb{J}_{i}\), respectively. Let
Then we have
and it follows that \(\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J}_{i}}v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ij}\) converges unconditionally (see [8], page 44). □
Definition 7
Let \(\mathcal{R}\) be an RFF for H. Then the analysis operator for \(\mathcal{R}\) is defined by
We call the adjoint \(T_{\mathcal{R}}^{*}\) of the analysis operator the synthesis operator of \(\mathcal{R}\).
Proposition 3.2
Let \(\mathcal{R}\) be an RFF for H. Then
Proof
Let \(g\in H\) and \(f=\{f_{ij}\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}} \in (\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J} _{i}}\oplus V_{ij} )_{\ell ^{2}}\). Then we compute
□
In an analogous way as in frame and fusion frame theory we can give the following well-known relations between an RFF and the associated analysis and synthesis operator.
Theorem 3.3
The following assertions are equivalent:
-
(i)
\(\mathcal{R}\) is an RFF for H.
-
(ii)
The analysis operator \(T_{\mathcal{R}}\) is injective and has closed range.
-
(iii)
The synthesis operator \(T_{\mathcal{R}}^{*}\) is bounded, linear and surjective.
Proof
(i) ⇒ (ii) For all \(f\in H\), we have
which implies that \(T_{\mathcal{R}}\) is injective and has closed range.
(ii) ⇒ (i) This is obvious.
(ii) ⇔ (iii) This follows immediately from the operator-theoretics results of Hilbert spaces. □
By composing \(T_{\mathcal{R}}\) and \(T_{\mathcal{R}}^{*}\), we obtain the frame operator for \(\mathcal{R}\).
Definition 8
Let \(\mathcal{R}\) be an RFF for H. Then the frame operator \(S_{ \mathcal{R}}\) for \(\mathcal{R}\) is defined by
To prove Proposition 3.5 we need the following theorem that gives the relation between a Bessel r-fusion sequence and the synthesis operator \(T_{\mathcal{R}}^{*}\).
Theorem 3.4
\(\mathcal{R}\) is a Bessel r-fusion sequence in H with bound β if and only if the map
is a well-defined bounded operator from \((\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J}_{i}}\oplus V _{ij} )_{\ell ^{2}}\) to H and its norm is less than or equal to \(\sqrt{\beta }\).
Proof
First assume that \(\mathcal{R}\) is a Bessel r-fusion sequence for H with bound β. By Lemma 3.1, the series \(\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J}_{i}}v_{ij} \pi _{W_{i}}\varLambda _{i}^{*}f_{ij}\) is convergent. Thus \(T_{\mathcal{R}} ^{*} (\{f_{ij}\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}} )\) is well defined. A simple calculation as in Lemma 3.1 shows that \(T_{\mathcal{R}}^{*}\) is bounded and that \(\|T_{\mathcal{R}}^{*}\| \leqslant \sqrt{\beta }\).
For the opposite implication, suppose that \(T_{\mathcal{R}}^{*}\) is well defined and that \(\|T_{\mathcal{R}}^{*}\| \leqslant \sqrt{\beta }\). Then
Now solving for \((\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J}_{i}}v_{ij}^{2}\|\tau _{V_{ij}}\varLambda _{i} \pi _{W_{i}}(f)\|^{2} )^{\frac{1}{2}}\) yields
□
Given an RFF, Proposition 3.5 states some of the important properties of frame operator \(S_{\mathcal{R}}\).
Proposition 3.5
Let \(\mathcal{R}\) be an RFF with frame bounds α and β. Then the frame operator for \(\mathcal{R}\) is a bounded, positive, self-adjoint, invertible operator on H with \(\alpha I_{H} \leqslant S_{\mathcal{R}}\leqslant \beta I_{H}\).
Proof
\(S_{\mathcal{R}}\) is bounded as a composition of two bounded operators. By Theorem 3.4,
Since \(S_{\mathcal{R}}^{*}=(T_{\mathcal{R}}^{*}T_{\mathcal{R}})^{*}=T _{\mathcal{R}}^{*}T_{\mathcal{R}}=S_{\mathcal{R}}\), the operator \(S_{\mathcal{R}}\) is self-adjoint. The inequality (2) means that
This shows that \(\alpha I_{H}\leqslant S_{\mathcal{R}}\leqslant \beta I_{H}\) and hence \(S_{\mathcal{R}}\) is a positive, invertible operator on H. □
Proposition 3.6
Let \(\mathcal{R}\) be an RFF for H with frame operator \(S_{\mathcal{R}}\), we have then, for all \(f\in H\),
Proof
Since \(S_{\mathcal{R}}\) is invertible, for all \(f\in H\) we have
□
The following theorem gives a sufficient condition such that two Bessel r-fusion sequence become RFFs in terms of their analysis operators.
Theorem 3.7
Let \(\mathcal{R}_{1}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) and \(\mathcal{R}_{2}=\{(W^{\prime } _{i}, V^{\prime }_{ij}, \varLambda ^{\prime }_{i}, v^{\prime }_{ij})\}_{i\in \mathbb{I}, j \in \mathbb{J}_{i}}\) be two Bessel r-fusion sequence for H with bounds \(\beta _{1}\) and \(\beta _{2}\), respectively. Let \(T_{\mathcal{R}_{1}}\) and \(T_{\mathcal{R}_{2}}\) be their analysis operators such that \(T_{\mathcal{R}_{2}}^{*}T_{\mathcal{R}_{1}}=I_{H}\). Then both \(\mathcal{R}_{1}\) and \(\mathcal{R}_{2}\) are RFFs.
Proof
For all \(f\in H\), we have
This yields
Similarly we obtain a lower bound for \(\mathcal{R}_{2}\). □
Duality of relay fusion frames
To define the dual frames for RFFs, we need the following technical lemma.
Lemma 3.8
(see [10])
Let \(A \in \mathcal{B}(H)\) and \(V \subseteq H\) be a closed subspace. Then
Global relay dual of relay fusion frames
Let \(\mathcal{R}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) be an RFF for H. We consider \(\mathit{global}\ \mathit{relay}\ \mathit{space}\) \(\mathcal{K}= (\sum_{i\in \mathbb{I}}\oplus K_{i} )_{\ell ^{2}}\) and let \(\mathcal{F}_{\mathcal{K}}\) be a frame for \(\mathcal{K}\), where every \(K_{i}\) is local relay space. We use \(S_{\mathcal{F}_{ \mathcal{K}}}\) to denote the frame operator for \(\mathcal{K}\). Let \(\underline{V}_{ij}=S_{\mathcal{F}_{\mathcal{K}}}^{-1}V_{ij}\) and \(\underline{\varLambda}_{i}=S_{\mathcal{F}_{\mathcal{K}}}^{-1}\tau _{V _{ij}}\varLambda _{i}\). We now prove that \(\underline{\mathcal{R}}=\{(W _{i}, \underline{V}_{ij}, \underline{\varLambda}_{i}, v_{ij})\}_{i \in \mathbb{I},{j\in \mathbb{J}_{i}}}\) is an RFF for H and we call \(\underline{\mathcal{R}}\) the \(\mathit{global}\ \mathit{relay}\ \mathit{dual}\) RFF of \(\mathcal{R}\).
Theorem 3.9
Let \(\mathcal{R}\) be an RFF for H. Then \(\underline{\mathcal{R}}\) is an RFF for H and, for all \(f\in H\),
Proof
We first prove the upper bound. For each \(f\in H\), we have
Now we obtain a lower bound for \(\underline{\mathcal{R}}\). We compute
Further, since \(S_{\widetilde{\mathcal{R}}}\) is invertible, for all \(f\in H\) we have
□
Local relay dual of relay fusion frames
Let \(\widetilde{V}_{ij}=S_{i}^{-1}V_{ij}\) and \(\widetilde{\varLambda } _{i}=S_{i}^{-1}\tau _{V_{ij}}\varLambda _{i}\), where \(S_{i}\) denote the frame operators with respect to \(K_{i}\) for each \(i\in \mathbb{I}\) and we call every \(S_{i}\) \(\mathit{local}\ \mathit{relay}\ \mathit{frame}\ \mathit{operator}\). We now prove that \(\widetilde{\mathcal{R}}=\{(W _{i}, \widetilde{V}_{ij}, \widetilde{\varLambda }_{i}, v_{ij})\}_{i \in \mathbb{I},{j\in \mathbb{J}_{i}}}\) is also an RFF for H and we call \(\widetilde{\mathcal{R}}\) the \(\mathit{local}\ \mathit{relay}\ \mathit{dual}\) RFF of \(\mathcal{R}\).
Theorem 3.10
Let \(\mathcal{R}\) be an RFF for H. Then \(\widetilde{\mathcal{R}}\) is an RFF for H and, for all \(f\in H\),
Proof
It is easy to show that, for all \(f\in H\),
Now we obtain a lower bound for \(\widetilde{\mathcal{R}}\). We compute
Further, since \(S_{\widetilde{\mathcal{R}}}\) is invertible, for all \(f\in H\) we have
□
Remark 3.11
Recall that there are always many different frames for global relay space \(\mathcal{K}\) and local relay space \(K_{i}\), respectively. For this reason, the global relay dual RFF \(\underline{\mathcal{R}}\) and local relay dual RFF \(\widetilde{\mathcal{R}}\) are not unique.
Canonical dual of relay fusion frames
Now let \(\widehat{W}_{i}=S_{\mathcal{R}}^{-1}W_{i}\) and \(\widehat{\varLambda }_{i}=\varLambda _{i}\pi _{W_{i}}S_{\mathcal{R}}^{-1}\), where \(S_{\mathcal{R}}\) is the frame operator for \(\mathcal{R}\). We prove that \(\widehat{\mathcal{R}}=\{(\widehat{W}_{i}, V_{ij}, \widehat{\varLambda }_{i}, v_{ij})\}_{i\in \mathbb{I},{j\in \mathbb{J} _{i}}}\) is also an RFF for H and we call \(\widehat{\mathcal{R}}\) the \(\mathit{canonical}\ \mathit{dual}\) RFF of \(\mathcal{R}\) for H.
Theorem 3.12
Let \(\mathcal{R}\) be an RFF for H. Then \(\widehat{\mathcal{R}}\) is an RFF for H.
Proof
For all \(f\in H\), we have
Now we obtain a lower bound for \(\widehat{\mathcal{R}}\). We compute
which implies that
□
Theorem 3.13
Let \(\mathcal{R}\) be an RFF for H with frame operator \(S_{\mathcal{R}}\) and let \(\widehat{\mathcal{R}}\) be the canonical dual RFF of \(\mathcal{R}\) with frame operator \(S_{\widehat{\mathcal{R}}}\). Then \(S_{\mathcal{R}}S_{\widehat{\mathcal{R}}}=I_{H}\) and \(T_{\mathcal{R}} ^{*}T_{\widehat{\mathcal{R}}}=I_{H}\) and, for all \(f\in H\),
Proof
For all \(f\in H\), we obtain
and
The last assertion of the theorem follows from the previous steps of the proof. □
Moreover, the canonical dual RFFs give rise to expansion coefficients with the minimal norm.
Theorem 3.14
Let \(\mathcal{R}\) be an RFF with canonical dual RFF \(\widehat{\mathcal{R}}\). Then, for any \(g_{ij}\in V_{ij}\) satisfying \(f=\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J}_{i}}v _{ij}^{2}\pi _{W_{i}}\varLambda _{i}^{*}g_{ij}\), we have
Proof
We compute
which finishes the proof. □
Example 3.15
In classical frame theory we can always construction a Parseval frame by applying \(S_{\mathcal{F}}^{-\frac{1}{2}}\), where \(S_{\mathcal{F}}\) denote the frame operator of frame \(\mathcal{F}\). For the situation of RFFs is similarly. In fact, for all \(f\in H\),
therefore, \(\{(S_{\mathcal{R}}^{-\frac{1}{2}}W_{i}, V_{ij}, \varLambda _{i}\pi _{W_{i}} S_{\mathcal{R}}^{-\frac{1}{2}}, v_{ij})\}_{i\in \mathbb{I},{j\in \mathbb{J}_{i}}}\) is a Parseval RFF for H.
Example 3.16
We introduce atomic resolutions of an operator R on H. Let \(\mathcal{R}\) be an RFF for H. Suppose that \(\widehat{\mathcal{R}}\) is the canonical dual RFF of \(\mathcal{R}\). Then from Theorem 3.13, we have for all \(f\in H\)
This implies that
and the series are convergent in the weak* sense. Let \(R\in \mathcal{B}(H)\). As can be seen from the discussion above
Q-dual relay fusion frames
The concept of Q-dual fusion frames for finite-dimensional Hilbert spaces and any separable Hilbert spaces were introduced in [13, 14], respectively. In this subsection we transfer some definitions and results of Q-dual fusion frames to the situation of RFFs. For more information about Q-dual fusion frames, we refer to [13, 14].
Throughout this subsection, the symbols \(\mathcal{K}_{V}, \mathcal{K}_{U}, \mathcal{R}_{V}, \mathcal{R}_{U}\), and \(\mathcal{L}_{T_{\mathcal{R}_{V}}}\) refer, respectively, to the spaces \((\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J}_{i}} \oplus V_{ij} )_{\ell ^{2}}\), \((\sum_{i\in \mathbb{I}} \sum_{j\in \mathbb{J}_{i}}\oplus U_{ij} )_{\ell ^{2}}\), the families \(\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j \in \mathbb{J}_{i}}\), \(\{(M_{i}, U_{ij}, \varGamma _{i}, u_{ij})\}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) and the collection of bounded left inverses of \(T_{\mathcal{R}_{V}}\).
In analogy with the fusion frame case (see [14], Definition 3.1, 3.3), we introduce the following terminology.
Definition 9
Let \(\mathcal{R}_{V}\) and \(\mathcal{R}_{U}\) be two RFFs for H. If there exists \(Q\in \mathcal{B}(\mathcal{K}_{V}, \mathcal{K}_{U})\) such that
then \(\mathcal{R}_{U}\) is said to be a Q-dual RFF of \(\mathcal{R}_{V}\).
Definition 10
Let \(P_{(m,n)} : \mathcal{K}_{V} \mapsto \mathcal{K}_{U}\), \(P_{(m,n)} \{f_{ij}\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}=\{ \delta _{\{(m,n),(i,j)\}}f_{ij}\}_{i\in \mathbb{I}, j\in \mathbb{J} _{i}}\), where \(\delta _{\{(m,n),(i,j)\}}\) is the Kronecker delta. If Q in Definition 9 satisfies
we say that Q is component preserving and \(\mathcal{R}_{U}\) is a component preserving dual RFF of \(\mathcal{R}_{V}\).
To simplify the exposition, we just formulate the following results which are analogous to Lemma 3.4, 3.5 of [14] with the proofs carrying over with small changes, so we omit them.
Lemma 3.17
Let \(\mathcal{R}_{V}\) be an RFF for H. If \(\mathcal{R}_{U}\) is a component preserving dual RFF of \(\mathcal{R}_{V}\), then \(U_{(m,n)}=AP _{(m,n)}\mathcal{K}_{V}\), for each \(i\in \mathbb{I}, {j\in \mathbb{J} _{i}}\), where \(A\in \mathcal{L}_{T_{\mathcal{R}_{V}}}\).
Theorem 3.18
Let \(\mathcal{R}_{V}\) be an RFF for H, \(A\in \mathcal{L}_{T_{ \mathcal{R}_{V}}}\) and \(U_{(m,n)}=AP_{(m,n)}\mathcal{K}_{V}\), for each \(i\in \mathbb{I}, {j\in \mathbb{J}_{i}}\). If \(\mathcal{R}_{U}\) is a Bessel r-fusion sequence and
is a well-defined bounded operator, then \(\mathcal{R}_{U}\) is a \(Q_{A}\)-component preserving the dual RFF of \(\mathcal{R}_{V}\).
Remark 3.19
As discussed in [14], Remark 3.6, 3.10, we can always find the conditions for \(\mathcal{R}_{U}\) being a Bessel r-fusion sequence and for \(Q_{A}\) being a well defined bounded operator. In particular, the hypotheses \(\mathcal{R}_{U}\) to be a Bessel r-fusion sequence and \(Q_{A}\) to be a well-defined bounded operator cannot be avoided.
Relay fusion frame systems
We begin this section by defining relay fusion frame systems. The use of RFFs permit furthermore local processing in each of the subspaces of relay spaces. For this purpose, it is useful to have a set of relay local frames for its subspaces.
Definition 11
Let \(\mathcal{R}\) be a r-fusion frame for H, and let \(\mathcal{F}_{ij}= \{f_{ijk}\}_{k\in \mathbb{K}_{ij}}\) be a frame for \(V_{ij}\) for each \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\). Then we call \(\mathcal{F} _{ij}\) the r-local frame with respect to H and \(\{\mathcal{R}, \mathcal{F}=\{\mathcal{F}_{ij}\}\}\) a r-fusion frame system for H. α and β are the associated r-fusion frame bounds if they are the fusion frame bounds for \(\mathcal{R}\), and λ and μ are the r-local frame bounds if these are the common frame bounds for the r-local frame \(\mathcal{F}_{ij}\). A collection of dual frames \(\widetilde{\mathcal{F}}_{ij}=\{\widetilde{f}_{ijk}\}_{k\in \mathbb{K}_{ij}}\) for each \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\) associated with the r-local frames will be called r-local dual frames.
The next theorem generalizes a result of Cazassa and Kutyniok [4] to the situation of RFFs.
Theorem 4.1
Let \(\{f_{ijk}\}_{k\in \mathbb{K}_{ij}}\) be a r-local frame with frame bounds \(\lambda _{k}\) and \(\mu _{k}\) and let \(\{e_{ijk}\}_{k\in \mathbb{K}_{ij}}\) be an orthonormal basis for subspaces \(V_{ij}\) for each \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\). Suppose that \(0< \lambda =\inf_{k\in \mathbb{K}_{ij}}\lambda _{k} \leqslant \sup_{k\in \mathbb{K}_{ij}}\mu _{k}=\mu < +\infty \). Then the following statements are equivalent:
-
(i)
\(\mathcal{R}\) be an RFF for H.
-
(ii)
\(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}e_{ijk}\} _{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a frame for H.
-
(iii)
\(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ijk}\} _{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a frame for H.
In particular, if \(\{\mathcal{R}, \mathcal{F}\}\) is an RFF system for H with RFF bounds α and β, then \(\{v_{ij}\pi _{W_{i}} \varLambda _{i}^{*}f_{ijk}\}_{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k \in \mathbb{K}_{ij}}\) is a frame for H with frame bounds αλ and βμ. Also if \(\{v_{ij}\pi _{W_{i}}\varLambda _{i} ^{*}f_{ijk}\}_{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K} _{ij}}\) is a frame for H with frame bounds α and β, then \(\{\mathcal{R}, \mathcal{F}\}\) is an RFF system for H with RFF bounds \(\frac{\alpha }{\mu }\) and \(\frac{\beta }{\lambda }\).
Proof
(i) ⇔ (ii) Note that
It follows that \(\mathcal{R}\) is an RFF for H if and only if \(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}e_{ijk}\}_{i\in \mathbb{I},{j \in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a frame for H.
(i) ⇔ (iii) By hypothesis, we obtain
If \(\mathcal{R}\) is an RFF for H with bounds α and β, then from the above calculations we have
Moreover, provided that \(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ijk}\} _{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a frame for H with frame bounds α and β, again by applying (3) we have
□
Corollary 4.2
Let \(\{f_{ijk}\}_{k\in \mathbb{K}_{ij}}\) be a Parseval r-local frame and let \(\{e_{ijk}\}_{k\in \mathbb{K}_{ij}}\) be an orthonormal basis for subspaces \(V_{ij}\) for each \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\).. Then the following statements are equivalent:
-
(i)
\(\mathcal{R}\) is a Parseval RFF for H.
-
(ii)
\(S_{\mathcal{R}}=I_{H}\).
-
(iii)
\(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}e_{ijk}\} _{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a Parseval frame for H.
-
(iv)
\(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ijk}\} _{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a Parseval frame for H.
Proof
By Theorem 4.1 it only remains to see (i) ⇔ (ii). Applying Proposition 3.5, (i) implies (ii). Now suppose that \(S_{\mathcal{R}}=I_{H}\). Then we have for all \(f\in H\)
□
The following proposition will show the relation between the frame operator for \(\mathcal{R}\) and the frame operator for the frame \(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ijk}\}_{i\in \mathbb{I},{j \in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\).
Proposition 4.3
Let \(\mathcal{R}\) be an RFF for H and \(\{f_{ijk}\}_{k\in \mathbb{K} _{ij}}\) be a Parseval r-local frame. Then the RFF operator \(S_{ \mathcal{R}}\) equals the frame operator \(S_{v\pi \varLambda }\) for the frame \(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ijk}\}_{i\in \mathbb{I}, {j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\), and, for all \(h\in H\),
Proof
Since \(\{f_{ijk}\}_{k\in \mathbb{K}_{ij}}\) is a Parseval frame for \(V_{ij}\) for each \(i\in \mathbb{I},{j\in \mathbb{J}_{i}}\),
Therefore,
and
□
The following result gives another representation of the frame operator for \(\mathcal{R}\).
Proposition 4.4
Let \(\{\mathcal{R}, \mathcal{F}\}\) be an RFF system for H, and let \(\widetilde{\mathcal{F}}_{ij}=\{\widetilde{f}_{ijk}\}_{k\in \mathbb{K}_{ij}}\) be associated r-local dual frames. Then the associated RFF operator \(S_{\mathcal{R}}\) can be written as
Proof
For each \(f\in H\), we have
Similarly,
□
The following theorem will provide accurate estimates for the RFF operators of an RFF of the form \(\{(AW_{i}, V_{ij}, \varLambda _{i}, v _{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\).
Theorem 4.5
Let \(\mathcal{R}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) be an RFF for H with RFF operator \(S_{\mathcal{R}}\) and let \(A \in \mathcal{B}(H)\) be an invertible operator. Then \(\mathcal{R_{A}}=\{(AW_{i}, V_{ij}, \varLambda _{i}, v_{ij}) \}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) is an RFF for H with RFF operator \(S_{\mathcal{R_{A}}}\) satisfying
Proof
For all \(f\in H\), we have
Applying Lemma 3.8 to \(A^{-1}\) and \(AW_{i}\) yields
Then
□
The following result can be regarded as a corollary of Theorem 4.5. Here we show it in a different way.
Theorem 4.6
Let \(\mathcal{R}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) be an RFF for H with RFF bounds α and β. If \(A \in \mathcal{B}(H)\) is an invertible operator, then \(\mathcal{R_{A}}=\{(AW_{i}, V_{ij}, \varLambda _{i}, v_{ij}) \}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) is an RFF for H with RFF bounds
Proof
By applying Lemma 3.8, we obtain
Since \(A^{*}(f)\in H\) and \(\mathcal{R}\) is an RFF for H, we have
Due to \(A^{*}\) being an invertible operator, we have
In order to show the upper bound, notice that applying Lemma 3.8 to \(A^{-1}\) and \(AW_{i}\) yields
Therefore
Hence
□
Similarly, we have the following.
Theorem 4.7
Let \(\mathcal{R}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) be an RFF for H with RFF bounds α and β. If \(B_{i} \in \mathcal{B}(K_{i})\) are invertible operators for each \(i\in \mathbb{I}\), then \(\mathcal{R_{B}}=\{(W_{i}, B_{i}V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J} _{i}}\) is an RFF for H with RFF bounds
Proof
For any \(f\in H\), by Lemma 3.8 we have
Then
It follows that
As in Theorem 4.6, we have
Thus
Hence
□
Specializing to A and \(\{B_{i}\}_{i\in \mathbb{I}}\) being the inverse RFF operator \(S_{\mathcal{R}}^{-1}\) and the inverse local relay frame operators \(\{S_{i}^{-1}\}_{i\in \mathbb{I}}\), we obtain from Theorems 4.6 and 4.7 Corollaries 4.8 and 4.9, respectively.
Corollary 4.8
Let \(\mathcal{R}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) be an RFF for H with RFF bounds α and β and RFF operator \(S_{\mathcal{R}}\). Then \(\{(S_{\mathcal{R}}^{-1}W_{i}, V_{ij}, \varLambda _{i}, v_{ij}) \}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) is an RFF for H with RFF bounds \(\frac{\alpha ^{2}}{\beta }\) and \(\frac{\beta ^{2}}{\alpha }\).
Corollary 4.9
Let \(\mathcal{R}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i\in \mathbb{I}, j\in \mathbb{J}_{i}}\) be an RFF for H with RFF bounds α and β and relay local frame operator \(S_{i}\). Then \(\{(W_{i}, S_{i}^{-1}V_{ij}, \varLambda _{i}, v_{ij}) \}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) is an RFF for H with RFF bounds
The following results show that \(\{S_{\mathcal{R}}^{-1}v_{ij}\pi _{W _{i}}\varLambda _{i}^{*}\tilde{f}_{ijk}\}_{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a dual frame for the frame \(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ijk}\}_{i\in \mathbb{I},{j \in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) and a “dual” relation also holds.
Proposition 4.10
Let \(\{\mathcal{R}, \mathcal{F}\}\) be an RFF system for H with associated RFF operator \(S_{\mathcal{R}}\), common relay local frame bounds and relay local dual frames \(\{\tilde{f}_{ijk}\}_{k\in \mathbb{K}_{ij}}\), \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\). Then \(\{S_{\mathcal{R}}^{-1}v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}\tilde{f}_{ijk} \}_{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a dual frame for the frame \(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ijk}\} _{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\).
Proof
For all \(f\in H\), we have
□
Proposition 4.11
Let \(\{\mathcal{R}, \mathcal{F}\}\) be an RFF system for H with associated RFF operator \(S_{\mathcal{R}}\), common relay local frame bounds and relay local dual frames \(\{\tilde{f}_{ijk}\}_{k\in \mathbb{K}_{ij}}\), \(i\in \mathbb{I}, j\in \mathbb{J}_{i}\). Then \(\{v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}\tilde{f}_{ijk}\}_{i\in \mathbb{I}, {j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\) is a dual frame for the frame \(\{S_{\mathcal{R}}^{-1}v_{ij}\pi _{W_{i}}\varLambda _{i}^{*}f_{ijk} \}_{i\in \mathbb{I},{j\in \mathbb{J}_{i}},k\in \mathbb{K}_{ij}}\).
Proof
Employing Proposition 4.10, we have for all \(f\in H\)
□
Perturbation of the relay fusion frames
The stability of frames is of great significance in practice, so many authors have carried out extensive research on it, e.g., see [3, 6, 7, 22, 24]. In this section, we study the stability of RFFs. Similar to ordinary frames, RFFs are stable under small perturbations. Specifically, we have the following.
Theorem 5.1
Let \(\mathcal{R}_{1}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) be an RFF for H with RFF bounds α and β. Suppose that \(\{Z_{ij}\}_{j\in \mathbb{J}_{i}}\) is a family of closed subspaces in \(K_{i}\) for each \(i\in \mathbb{I}\) and there exist constants \(\delta _{1}, \delta _{2}, \varepsilon \geqslant 0\) such that \(\max \{\delta _{1}+\frac{\varepsilon }{\sqrt{ \alpha }}, \delta _{2} \}< 1\) and for all \(f\in H\)
Then \(\mathcal{R}_{2}=\{(W_{i}, Z_{ij}, \varLambda _{i}, v_{ij})\}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) is an RFF for H with RFF bounds
Proof
We first prove the lower bound. Since \(\mathcal{R}_{1}\) is an RFF for H with bounds α and β, then, for each \(f\in H\), we obtain
By using (4) and the triangle inequality, we have
Now solving for \(\sum_{i\in \mathbb{I}}\sum_{j\in \mathbb{J}_{i}}v_{ij}^{2}\|\tau _{Z_{ij}}\varLambda _{i} \pi _{W_{i}}(f)\|^{2}\) yields
Similarly we can prove that
□
The following is another version of perturbation of RFFs.
Theorem 5.2
Let \(\mathcal{R}_{1}=\{(W_{i}, V_{ij}, \varLambda _{i}, v_{ij})\}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) be an RFF for H with RFF bounds α and β. Suppose that \(\{Z_{ij}\}_{j\in \mathbb{J}_{i}}\) is a family of closed subspaces in \(K_{i}\) for each \(i\in \mathbb{I}\) and there exists a constant \(0< \delta < \alpha \) such that
Then \(\mathcal{R}_{2}=\{(W_{i}, Z_{ij}, \varLambda _{i}, v_{ij})\}_{i \in \mathbb{I}, j\in \mathbb{J}_{i}}\) is an RFF for H with RFF bounds
Proof
By applying the triangle inequality, we obtain
for all \(f\in H\). Therefore
Similarly we have
□
We remark that there also exist other forms of perturbation about the families of operators \(\{\varLambda _{i}\}_{i\in \mathbb{I}}\) and subspaces \(\{W_{i}\}_{i\in \mathbb{I}}\) of RFFs. These results are analogous to Theorem 5.1 and Theorem 5.2 with the proofs following similar lines, therefore we omit them.
References
- 1.
Asgari, M.S., Khosravi, A.: Frames and bases of subspaces in Hilbert spaces. J. Math. Anal. Appl. 308(2), 541–553 (2005)
- 2.
Cazassa, P.G.: The art of frame theory. Taiwan. J. Math. 4(2), 129–202 (2000)
- 3.
Cazassa, P.G., Christensen, O.: Perturbation of operators and applications to frame theory. J. Fourier Anal. Appl. 3(5), 543–557 (1997)
- 4.
Cazassa, P.G., Kutyniok, G.: Frames of subspaces. Contemp. Math. 345, 87–113 (2003)
- 5.
Cazassa, P.G., Kutyniok, G., Li, S.: Fusion frames and distributed processing. Appl. Comput. Harmon. Anal. 25(1), 114–132 (2008)
- 6.
Christensen, O.: An Introduction to Frames and Riesz Bases. Birkhäuser, Boston (2003)
- 7.
Christensen, O., Heil, C.: Perturbations of Banach frames and atomic decompositions. Math. Nachr. 185(1), 33–47 (1997)
- 8.
Diestel, J.: Sequences and Series in Banach Spaces. Springer, Berlin (1984)
- 9.
Duffina, R.J., Schaeffer, A.C.: A class of nonharmonic Fourier series. Trans. Am. Math. Soc. 72(2), 341–366 (1952)
- 10.
Găvruta, P.: On the duality of fusion frames. J. Math. Anal. Appl. 333(2), 871–879 (2007)
- 11.
Han, D., Larson, D.R.: Frames, bases and group representations. Mem. Am. Math. Soc. 147, 697 (2000)
- 12.
Hausl, C., Hagenauer, J.: Relay communication with hierarchical modulation. IEEE Commun. Lett. 11(1), 64–66 (2007)
- 13.
Heineken, S.B., Morillas, P.M.: Properties of finite dual fusion frames. Linear Algebra Appl. 453, 1–27 (2014)
- 14.
Heineken, S.B., Morillas, P.M., Benavente, A.M., Zakowicz, M.I.: Dual fusion frames. Arch. Math. 103(4), 355–365 (2014)
- 15.
Kolster, F.A.: Generation and utilization of ultra-short waves in radio communication. Proc. IRE 22(12), 1335–1353 (1934)
- 16.
Masse, D.: Radio-frequency and microwave communication circuits analysis and design, 2nd edn. (2001)
- 17.
Noneman, E.E.: Tracking and data relay satellite system. In: Space Tracking and Data Systems. Proceedings of the Symposium, pp. 77–88 (1979)
- 18.
Nosratinia, A., Hunter, T.E., Hedayat, A.: Cooperative communication in wireless networks. IEEE Commun. Mag. 42(10), 74–80 (2004)
- 19.
Ruiz, M.A., Stojanoff, D.: Some properties of frames of subspaces obtained by operator theory methods. J. Math. Anal. Appl. 343(1), 366–378 (2008)
- 20.
Slimane, S.B., Osseiran, A.: Relay communication with delay diversity for future communication systems. In: Vehicular Technology Conference IEEE. (2006)
- 21.
Sun, W.: G-frames and g-Riesz bases. J. Math. Anal. Appl. 322(1), 437–452 (2006)
- 22.
Sun, W.: Stability of G-frames. J. Math. Anal. Appl. 326(2), 858–868 (2007)
- 23.
Tao, B., Campbell, J., Griffiths, G.: Distributed sensor relay system for near real time observation, control and data management on a scientific research ship. In: Benlamri, R. (ed.) Networked Digital Technologies. NDT. Communications in Computer and Information Science, vol. 293. Springer, Berlin (2012)
- 24.
Young, R.M.: An Introduction to Nonharmonic Fourier Series. Academic Press, New York (1980)
Acknowledgements
The authors wish to thank the anonymous reviewers for their valuable comments and suggestions that have improved the presentation of this paper.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
This work is supported by National Natural Science Foundation of P.R. China (No. 11671201).
Author information
Affiliations
Contributions
All authors contributed equally to the writing of the present article. They also read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Hong, G., Li, P. Relay fusion frames for Hilbert spaces. J Inequal Appl 2019, 226 (2019). https://doi.org/10.1186/s13660-019-2181-9
Received:
Accepted:
Published:
MSC
- 42C15
- 46C99
- 41A58
Keywords
- Frame
- Fusion frame
- Relay fusion frame
- Dual frame
- Stability
