Abstract
In this paper, we are interested in the dilation problem on frame generator dual pairs for a unitary representation in Hilbert spaces. We show the existence of a Riesz generator dilation dual pair of a frame generator dual pair in Hilbert spaces. Then we reveal the uniqueness of such dilations in the sense of similarity and give a characterization of the dilation of frame generator alternate dual pairs by that of the canonical dual pair in terms of a special operator. We also exhibit that the corresponding operator between two dilations of a frame generator dual pair is in a special structure.
Similar content being viewed by others
1 Introduction
In [12], Sun initiated the concept of g-frame as follows. Let \(\mathbb{J}\) be a finite or countable index set. Let \(A_{i}\in B(H,H _{i})\), where \(H_{i}\) is a separable Hilbert space for any \(i\in \mathbb{J}\). If there exist two constants a, b such that
we call \(\{A_{i}\}_{i\in \mathbb{J}}\) a g-frame for H. \(\{A_{i}\}_{i\in \mathbb{J}}\) is called a tight g-frame for H if \(a=b\). Specially, if \(a=b=1\), we say that \(\{A_{i}\}_{i\in \mathbb{J}}\) is a Parseval g-frame for H. If only the right-hand inequality holds, then \(\{A_{i}\}_{i\in \mathbb{J}}\) is called a g-Bessel sequence for H. If \(\overline{ \operatorname{span}}\{A^{*}_{i}H_{i}\}_{i\in \mathbb{J}}=H\), we say that \(\{A_{i}\}_{i\in \mathbb{J}}\) is g-complete in H. If \(\{A_{i}\}_{i\in \mathbb{J}}\) is g-complete such that
we call \(\{A_{i}\}_{i\in \mathbb{J}}\) a g-Riesz basis for H. As we know, if \(\{A_{i}\}_{i\in \mathbb{J}}\) is a g-frame for H, we define \(S_{A}f=\sum_{i\in \mathbb{J}}A^{*}_{i}A_{i}f\) for any \(f\in H\), then \(S_{A}\) is a well-defined, bounded, positive, invertible operator by [12]. We call \(S_{A}\) a frame operator of \(\{A_{i}\}_{i\in \mathbb{J}}\). Another basic fact is that \(\{ \widetilde{A}_{i}: \widetilde{A}_{i}=A_{i}S_{A}^{-1}\}_{i\in \mathbb{J}}\) is a g-frame for H, we call it a canonical dual g-frame of \(\{A_{i}\}_{i\in \mathbb{J}}\). Extensively, by [10], if \(\{B_{i}\}_{i\in \mathbb{J}}\) is a g-frame for H such that \(f=\sum_{i\in \mathbb{J}}B^{*}_{i}A_{i}f\) for every \(f\in H\), we say that it is a dual g-frame of \(\{A_{i}\}_{i\in \mathbb{J}}\). Actually, g-frames and operator valued frames (see [9, 10]) are equivalent. Recently, g-frames or operator valued frames in Hilbert spaces have been studied intensively; for more details, see [1, 2, 7, 8, 10,11,12] and the references therein.
In order to understand the structured g-frames more deeply, Guo studied the wandering generators for a unitary system in [6]. In [10] and [9], the authors studied the frame generators for group representations. In [11] the author studied the frame generator for a group-like unitary system. These researchers showed that such an abstract way to study the structured g-frames is very feasible and fruitful. We denote a unitary representation π for a countable group \(\mathcal{G}\) by \((\mathcal{G},\pi , H)\), which is a mapping \(g\mapsto \pi (g)\) from \(\mathcal{G}\) into the set of unitary operators on a Hilbert space H such that \(\pi (g)\pi (h)=\pi (gh)\) for any \(g,h\in \mathcal{G}\). In this paper, we focus on the dilation problem on frame generator dual pairs for a unitary representation in Hilbert spaces. Firstly, in order to establish our techniques, we give a direct proof for the existence of a Riesz generator dilation dual pair of a frame generator dual pair in Hilbert spaces. As there may be more than one dual frame generator of a given frame generator in general, there may be different pairs of frame generator dual pairs. Our main result characterizes the relations between the dilations of all these pairs. We illustrate that all the dilations can be mutually transformed by a type of special structured lower triangular operator matrices.
Throughout this paper, H, \(H_{0}\) denote separable Hilbert spaces. Let \(B(H, H_{0})\) denote all the bounded linear operators from H to \(H_{0}\) and \(B(H):=B(H,H)\). If M, N are closed subspaces of H, \(H=M\dotplus N\) denotes that \(M+N= H\) and \(M\cap N=\{0\}\). We use \(M^{\perp }\) to denote the orthogonal complement of a closed subspace M contained in H. For an operator \(T\in B(H, H_{0})\), we let kerT denote the null space of T and ranT denote the range space of T. For a subset \(\mathcal{S}\subset B(H)\), \(\mathcal{S}'\) denotes the commutant of \(\mathcal{S}\). We denote by \(A\pi (\mathcal{G}):=\{A\pi (g)\}_{g \in \mathcal{G}}\) for \(A\in B(H, H_{0})\).
Definition 1.1
([10])
Let \((\mathcal{G}, \pi , H)\) be a unitary representation of the countable group \(\mathcal{G}\) on a Hilbert space H. Suppose \(A\in B(H, H_{0})\). Then
-
(1)
A is called a Bessel generator of \((\mathcal{G}, \pi , H)\) if \(A\pi (\mathcal{G})\) is a g-Bessel sequence for H.
-
(2)
A is called a (resp. Parseval, tight) frame generator of \((\mathcal{G}, \pi , H)\) if \(A\pi (\mathcal{G})\) is a (resp. Parseval, tight) g-frame for H.
-
(3)
A is called a Riesz (resp. orthonormal) generator of \((\mathcal{G}, \pi , H)\) if \(A\pi (\mathcal{G})\) is a g-Riesz (resp. g-orthonormal) basis for H.
Let \(A\in B(H, H_{0})\) be a Bessel generator of \((\mathcal{G}, \pi , H)\). For any \(f\in H\), the analysis operator of A is defined as
where \(\{\chi _{g}\}_{g\in \mathcal{G}}\) is the orthonormal basis for \(l^{2}(\mathcal{G})\). And the frame operator of A is defined as
By [10], for any \(k\in H_{0}\), the left regular representation of \(\mathcal{G}\) on \(l^{2}( \mathcal{G})\otimes H_{0}\) is defined as
where λ denotes the left regular representation of \(\mathcal{G}\) on \(l^{2}(\mathcal{G})\), \(I_{H_{0}}\) is the identity operator on \(H_{0}\), \(e\in \mathcal{G}\) is the unit element.
For every \(g\in \mathcal{G}\), define \(Q_{g}:l^{2}(\mathcal{G})\otimes H_{0}\rightarrow H_{0}\) as
where \(\delta _{g,h}=1\) for \(h=g\) and \(\delta _{g,h}=0\) for \(h\neq g\).
Lemma 1.2
([11])
\(Q_{h}\) is an orthonormal generator of \(( \mathcal{G}, \varLambda , l ^{2}(\mathcal{G})\otimes H_{0})\) for any \(h\in \mathcal{G}\).
Definition 1.3
Let \((\mathcal{G}, \pi , H)\) be a unitary representation of \(\mathcal{G}\) on H. If \(A, B\in B(H, H_{0})\) such that \(B\pi ( \mathcal{G})\) is a (canonical) dual g-frame (resp. g-Riesz basis) of the g-frame (resp. g-Riesz basis) \(A\pi (\mathcal{G})\), we call B a (canonical) dual frame (resp. Riesz) generator of A (with the same structure). In this case, \((A,B)\) is called a pair of dual frame (resp. Riesz) generators of \((\mathcal{G}, \pi , H)\) or a frame (resp. Riesz) generator dual pair.
Lemma 1.4
Let \((\mathcal{G}, \pi , H)\) be a unitary representation of \(\mathcal{G}\) on H, A, B be any Bessel generators of \(( \mathcal{G}, \pi , H)\). Then \(\theta _{A}\theta _{B}^{*}\in \varLambda ( \mathcal{G})'\).
Proof
For any \(g, h\in {\mathcal{G}}\), \(k\in H_{0}\), we have
□
Theorem 1.5
Let \((\mathcal{G}, \pi , H)\) be a unitary representation of \(\mathcal{G}\) on H. Then the following are equivalent:
-
(1)
\((A, B)\) is a frame generator dual pair of \((\mathcal{G}, \pi , H)\), where \(A, B\in B(H, H_{0})\).
-
(2)
There exist a Hilbert space \(K\supset H\), a unitary representation \(( \mathcal{G}, \sigma , K)\) of \(\mathcal{G}\) on K, and a Riesz generator dual pair \((C, D)\) of \(( \mathcal{G}, \sigma , K)\) such that \(CP=A\), \(DP=B\), H is σ-invariant and \(\pi =\sigma| _{H}\), where \(C, D\in B(K, H_{0})\), P is the orthogonal projection from K onto H.
Proof
Suppose that \((A, B)\) is a frame generator dual pair of \(({\mathcal{G}}, \pi , H)\). Let \(M=\operatorname{ran}\theta _{A}\), \(N=\operatorname{ran}\theta _{B}\), \(P_{A}\), \(P_{B}\) be the orthogonal projection from \(l^{2}(\mathcal{G}) \otimes H_{0}\) onto M, N respectively. We can easily get that
And then \(P_{A}\theta _{B}=\theta _{A}S^{-1}_{A}\). It follows that \(P_{A}| _{N}:N\rightarrow M\) is invertible. Let \(I_{l^{2}}\) be the identity operator on \(l^{2}(\mathcal{G})\otimes H_{0}\). Since
\(P_{A}^{\perp }:N^{\bot }\rightarrow M^{\bot }\) is invertible. Similarly, \(P_{B}^{\perp }:M^{\bot }\rightarrow N^{\bot }\) is invertible.
Let \(K=H\oplus N^{\bot }\), \(\sigma (g)=\pi (g)\oplus \varLambda (g)\) for any \(g\in \mathcal{G}\), \(C=A\oplus Q_{e}P_{B}^{\perp }\in B(K, H_{0})\). Thus \(\sigma (g)C^{*}=\pi (g)A^{*}\oplus \varLambda (g)P_{B}^{\perp }Q _{e}^{*}\) for any \(g\in \mathcal{G}\). Hence, by Lemma 1.4, we have
Therefore, for every \(x\in H\), \(y\in N^{\bot }\), we get
Let \(T=\theta _{A}\theta _{B}^{*}\). Then \(T^{2}=T\). We get \(l^{2}( \mathcal{G})\otimes H_{0}=M\dotplus N^{\bot }\). It follows that \(\theta _{C}\) is invertible. Hence C is a Riesz generator of \((\mathcal{G}, \sigma , K)\). Obviously, \(A=CP\), where P is the orthogonal projection from K onto H, and H is σ-invariant.
Since \(\rho :=P_{A}^{\perp }P_{B}^{\perp }\): \(N^{\bot }\rightarrow M ^{\bot }\) is invertible, there exists \(\tau \in B(M^{\bot }, N^{ \bot })\) such that \(\tau \rho =P_{B}^{\perp }\). Let \(D=B\oplus Q_{e}P _{A}^{\perp }\tau ^{*}\in B(K, H_{0})\).
Let \(\varLambda _{1}( g)=P_{A}^{\perp }\varLambda (g)P_{A}^{\perp }\), \(\varLambda _{2}( g)=P_{B}^{\perp }\varLambda (g)P_{B}^{\perp }\) for any \(g\in \mathcal{G}\). Then, for arbitrary \(u\in N^{\bot }\),
Hence, \(\tau \varLambda _{1}( g)v=\varLambda _{2}(g)\tau v\) for every \(v\in M^{\bot }\).
Therefore, for any \(g\in \mathcal{G}\),
Obviously, \(Q_{e}\varLambda (\mathcal{G}) P_{A}^{\perp }\tau ^{*}=\{Q_{e} \varLambda (g) P_{A}^{\perp }\tau ^{*}\}_{g\in \mathcal{G}}\) is a g-frame for \(N^{\bot }\). It follows that \(Q_{e}P_{A}^{\perp }\tau ^{*}\) is a frame generator of \((\mathcal{G}, \varLambda , N^{\bot })\).
Hence, for arbitrary \(x\in H\), \(y\in N^{\bot }\), we have
Similarly, since \(l^{2}(\mathcal{G})\otimes H_{0}=M^{\bot }\dotplus N\), \(\theta _{D}\) is invertible. Then D is a Riesz generator of \((\mathcal{G}, \sigma , K)\) and \(B=DP\).
For any \(x, x_{1}\in H\), \(y, y_{1}\in N^{\bot }\),
which implies \((C,D)\) is a Riesz generator dual pair of \(( \sigma , \mathcal{G}, K)\).
The converse is obvious. □
Remark 1.6
(1) From the proof above, the isomorphism of N, M is critical. In the following we provide an easier way of the proof.
In fact, as above, \(C\in B(K, H_{0})\) is a Riesz generator of \(({\mathcal{G}}, \sigma , K)\). So \(S_{C}\in \sigma (\mathcal{G})'\). And then, \(CS^{-1}_{C}\in B(K, H_{0})\) is a Riesz generator of \(({\mathcal{G}}, \sigma , K)\) evidently.
Let \(CS^{-1}_{C}=D_{1}\oplus D_{2}\), where \(D_{1}\in B(H, H_{0})\), \(D _{2}\in B(N^{\bot }, H_{0})\). Then \(D_{1}=CS^{-1}_{C}P\). We need to show \(D_{1}=B\).
Identify H with \(H\oplus \{0\}\). For arbitrary \(x, x_{1}\in H\),
which means \(D_{1}\in B(H, H_{0})\) is a dual frame generator of A.
Moreover, for any \(x, x_{1}\in H\), \(y_{1}\in N^{\bot }\).
Then
We get \(\operatorname{ran}\theta _{D_{1}}\subseteq N= \operatorname{ran}\theta _{B}\). Hence, for every \(x\in H\), there exists \(x_{1}\in H\) such that \(\theta _{D_{1}}x=\theta _{B}x_{1}\). Then
Therefore, for any \(x\in H\), we obtain \(\theta _{D_{1}}x=\theta _{B}x\), which implies \(B=D_{1}\).
(2) We can also have another way to prove \(B=D_{1}\) as follows.
For any \(x, x_{1}\in H\), \(y_{1}\in N^{\bot }\), on the one hand,
On the other hand,
Hence, \(\theta _{C}^{*}\theta _{B}x=\theta _{C}^{*}\theta _{D_{1}}x\). Since \(\theta _{C}\) is invertible, it follows that \(\theta _{B}x=\theta _{D _{1}}x\), which means \(B=D_{1}\).
Definition 1.7
Let \((\mathcal{G}, \pi , H)\), \(({\mathcal{G}}, \pi _{1}, N_{1})\) be unitary representations of \(\mathcal{G}\) on H, \(N_{1}\) respectively, \((A, B)\) be a pair of dual frame generators of \((\mathcal{G}, \pi , H)\), where \(A,B\in B(H, H_{0})\). If there exist \(C_{1}, D_{1}\in B(N_{1}, H _{0})\) such that \((E, \widetilde{E})\) is a Riesz generator dual pair of \((\mathcal{G}, \sigma _{1}, H\oplus N_{1})\), where \(\sigma _{1}=\pi \oplus \pi _{1}\), \(E=A\oplus C_{1}\), \(\widetilde{E}=B\oplus D_{1}\). We call \((E, \widetilde{E})\) a dilation of \((A, B)\). \((C_{1},D _{1})\) is called a complementary generator pair of \((A, B)\). Particularly, \(C_{1}\) is called a complementary generator of A.
Theorem 1.5 illustrates that there exists a dilation for any pair of dual frame generators.
In the next we show that the dilation of a dual frame generator pair is unique in the sense of “similarity”.
Theorem 1.8
Let \((\mathcal{G}, \pi , H)\), \(({\mathcal{G}}, \pi _{1}, N_{1})\), \(({\mathcal{G}},\pi _{2}, N_{2})\) be unitary representations of \(\mathcal{G}\) on H, \(N_{1}\), \(N_{2}\) respectively, \((A, B)\) be a pair of dual frame generators of \((\mathcal{G}, \pi , H)\), where \(A,B\in B(H, H_{0})\). Suppose that \((E, \widetilde{E})\) is a Riesz generator dual pair of \((\mathcal{G}, \sigma _{1}, H\oplus N_{1})\) which is also a dilation of \((A, B)\), where \(\sigma _{1}=\pi \oplus \pi _{1}\), \(E=A\oplus C_{1}\), \(C_{1}\in B(N_{1}, H_{0})\), Ẽ is the canonical dual Riesz generator of E. If there exist \(C_{2}\in B(N _{2}, H_{0})\) and an invertible operator \(T\in B(N_{1}, N_{2})\) such that \(C_{1}\pi _{1}(g)=C_{2}\pi _{2}(g)T\) for every \(g\in \mathcal{G}\), then F is a Riesz generator of \((\mathcal{G},\sigma _{2}, H\oplus N _{2})\), where \(\sigma _{2}=\pi \oplus \pi _{2}\), \(F=A\oplus C_{2}\in B(H \oplus N_{2}, H_{0})\). Moreover, \((F, \widetilde{F})\) is a Riesz generator dual pair of \((\mathcal{G}, \sigma _{2}, H\oplus N_{2})\) which is also a dilation of \((A,B)\), where F̃ is the canonical dual Riesz generator of F.
Proof
Since \(C_{1}\pi _{1}(g)=C_{2}\pi _{2}(g)T\) for any \(g\in \mathcal{G}\), we have
which implies F is a Riesz generator of \((\mathcal{G}, \sigma _{2}, H \oplus N_{2})\) and \(A=FP_{2}\), where \(P_{2}\) is the orthogonal projection from \(H\oplus N_{2}\) onto H.
Denote \(\widehat{T}=I\oplus T\). As \(\widetilde{F}=FS_{F}^{-1}\), it follows that, for every \(g\in \mathcal{G}\),
Besides, we can get \(S_{F}=\theta ^{*}_{F}\theta _{F}=(\widehat{T}^{*})^{-1}S _{E}\widehat{T}^{-1}\). Then
Evidently, \(\widetilde{F}\sigma _{2}(g)P_{2}=B\pi (g)\). Specially, we have \(\widetilde{F}P_{2}=B\). □
In the following we exhibit that two different complementary generators of a given frame generator are “similar”.
Theorem 1.9
Let \((\mathcal{G}, \pi , H)\), \(({\mathcal{G}}, \pi _{1}, N_{1})\), \(({\mathcal{G}},\pi _{2}, N_{2})\) be unitary representations of \(\mathcal{G}\) on H, \(N_{1}\), \(N_{2}\) respectively, \((A, B)\) be a pair of dual frame generators of \((\mathcal{G}, \pi , H)\), where \(A,B\in B(H, H_{0})\). Suppose that \((E, \widetilde{E})\) is a Riesz generator dual pair of \((\mathcal{G}, \sigma _{1}, H\oplus N_{1})\) which is also a dilation of \((A, B)\), where \(\sigma _{1}=\pi \oplus \pi _{1}\), \(E=A\oplus C_{1}\), \(C_{1}\in B(N_{1}, H_{0})\), Ẽ is the canonical dual Riesz generator of E. If \((F, \widetilde{F})\) is a Riesz generator dual pair of \((\mathcal{G}, \sigma _{2}, H\oplus N_{2})\) which is also a dilation of \((A,B)\), where \(\sigma _{2}=\pi \oplus \pi _{2}\), \(F=A\oplus C_{2}\), \(C_{2}\in B(N_{2}, H_{0})\), F̃ is the canonical dual Riesz generator of F, then there exists an invertible operator \(T\in B(N_{1}, N_{2})\) such that \(C_{1}\pi _{1}(g)=C _{2}\pi _{2}(g)T\) for every \(g\in \mathcal{G}\). In particular, \(T\pi _{1}(g)=\pi _{2}(g)T\).
Proof
Let \(\widetilde{E}=B\oplus D_{1}\), \(\widetilde{F}=B\oplus D_{2}\), where \(D_{1}\in B(N_{1}, H_{0})\), \(D_{2}\in B(N_{2}, H_{0})\). Then, for every \(x,y\in H\), \(x_{1}\in N_{1}\), we get
Thus \(\theta _{B}^{*}\theta _{C_{1}}=0\), which implies \(\operatorname{ran}\theta _{C_{1}}\subseteq (\operatorname{ran}\theta _{B})^{\bot } \). Since E is a Riesz generator of \((\mathcal{G}, \sigma _{1}, H\oplus N_{1})\), by [2, Proposition 2.3] we have
Hence, for any \(u\in (\operatorname{ran}\theta _{B})^{\bot }\), there exist \(x\in H\), \(x_{1}\in N_{1}\) such that \(u=\theta _{A}x+\theta _{C_{1}}x _{1}\). Then, \(0=\theta ^{*}_{B}u=\theta ^{*}_{B}\theta _{A}x+\theta ^{*} _{B}\theta _{C_{1}}x_{1}=x\), therefore, \(u=\theta _{C_{1}}x_{1}\in \operatorname{ran}\theta _{C_{1}}\), equivalently, \((\operatorname{ran} \theta _{B})^{\bot }\subseteq \operatorname{ran}\theta _{C_{1}}\). Therefore, we obtain \(\operatorname{ran}\theta _{C_{1}}=( \operatorname{ran}\theta _{B})^{\bot }\).
Similarly, we obtain \(\operatorname{ran}\theta _{C_{2}}=( \operatorname{ran}\theta _{B})^{\bot }\). Then \(\operatorname{ran} \theta _{C_{1}}=\operatorname{ran}\theta _{C_{2}}\). Hence, by [10, Proposition 4.3], there is an invertible operator \(T\in B(N_{1},N_{2})\) such that \(C_{1}\pi _{1}(g)=C_{2}\pi _{2}(g)T\) for arbitrary \(g\in \mathcal{G}\).
Specially, for every \(x_{1}\in N_{1}\), we have \(x=\sum_{g\in \mathcal{G}}\pi _{1}(g)C_{1}^{*}\widetilde{C_{1}}\pi _{1}(g)^{*}x\), where \(\widetilde{C_{1}}\in B(N_{1}, H_{0})\) is the canonical dual frame generator of \(C_{1}\). Besides, for any \(h\in \mathcal{G}\),
which implies \(T\pi _{1}(g)=\pi _{2}(g)T\) for every \(g\in \mathcal{G}\). □
By the proof of Theorem 1.8 and Theorem 1.9, two complementary generator pairs of a frame generator dual pair are “similar” by the operator pair \((T,T^{*})\), which implies that complementary generator pairs are unique in the sense of “similarity”.
2 Characterization of all the dilations of a frame generator dual pair
The following is a result which describes the dilation of the frame generator canonical dual pair.
Theorem 2.1
Let \((\mathcal{G}, \pi , H)\) be a unitary representation of \(\mathcal{G}\) on H, \((A, \widetilde{A})\) be a pair of dual frame generators of \((\mathcal{G}, \pi , H)\), where \(A\in B(H, H_{0})\), Ã is the canonical dual frame generator of A. Denote \(E=A\oplus Q_{e}P_{A}^{\bot }\), \(\widetilde{E}=\widetilde{A}\oplus Q _{e}P_{A}^{\bot }\in B(H\oplus M^{\bot }, H_{0})\), where \(M= \operatorname{ran}\theta _{A}\), \(P_{A}\) is the orthogonal projection from \(l^{2}(\mathcal{G})\otimes H_{0}\) onto M. Then \((E, \widetilde{E})\) is a pair of dual Riesz generators of \((\mathcal{G}, \sigma , H\oplus M^{\bot })\) which is a dilation of \((A, \widetilde{A})\), where \(\sigma :=\pi \oplus \varLambda \), \((\mathcal{G}, \varLambda , l^{2}( \mathcal{G})\otimes H_{0})\) is the left regular representation of \(\mathcal{G}\).
Proof
Let \(C=Q_{e}P_{A}^{\bot }\in B(M^{\bot }, H_{0})\). By Lemma 1.4, \(C\varLambda (\mathcal{G})\) is a Parseval g-frame for \(M^{\bot }\) and
Since \(\theta _{E}(x\oplus y)=\theta _{A}x+\theta _{C}y\) for any \(x\in H\), \(y\in M^{\bot }\), we have \(\theta _{E}\) is invertible, which means E is a Riesz generator of \((\mathcal{G}, \sigma , H\oplus M ^{\bot })\). Similarly, Ẽ is also a Riesz generator of \((\mathcal{G}, \sigma , H\oplus M^{\bot })\). For arbitrary \(x,y\in H\), \(x_{1},y_{1}\in M^{\bot }\),
which means \((E, \widetilde{E})\) is a pair of dual Riesz generators of \((\mathcal{G}, \sigma , H\oplus M^{\bot })\). □
We call the dilation \((E, \widetilde{E})\) in Theorem 2.1 the natural dilation of \((A, \widetilde{A})\). If \(A\in B(H, H_{0})\) is a frame generator of \((\mathcal{G}, \pi , H)\), let \(M= \operatorname{ran}\theta _{A}\), \(\sigma =\pi \oplus \varLambda \), \(P_{A}\) be the orthogonal projection from \(l^{2}(\mathcal{G})\otimes H_{0}\) onto M. We can characterize all the dilations of frame generator dual pairs in terms of the natural dilation by a type of special lower triangular operator matrices.
Theorem 2.2
Let \(({\mathcal{G}}, \pi , H)\) be a unitary representation of \(\mathcal{G}\) on H, \((A, B)\) be a frame generator alternate dual pair of \(({\mathcal{G}}, \pi , H)\), where \(A, B\in B(H, H_{0})\). Then there exists a pair of dual g-Riesz bases \((E', \widetilde{E}')\) which is a dilation of the g-frame dual pair \((A\pi (\mathcal{G}), B\pi ( \mathcal{G}))\) such that \(E':=\{E'_{g}=E\sigma (g)T^{*}\}_{g\in \mathcal{G}}\), where \(\widetilde{E}':=\{\widetilde{E}'_{g}\}_{g\in \mathcal{G}}\) is the canonical dual g-frame of \(E'\),
\(T'\in B(H, M^{\bot })\). (Note that \((E,\widetilde{E})\) is the natural dilation of \((A,\widetilde{A})\) in Theorem 2.1.)
Proof
Let \(\varGamma =\widetilde{A}-B\in B(H, H_{0})\). Obviously, Γ is a Bessel generator of \(({\mathcal{G}}, \pi , H)\). Then
which implies \(\operatorname{ran}\theta _{\varGamma }\bot \operatorname{ran}\theta _{A}\). So \(T':=\theta _{\varGamma }\in B(H, M^{ \bot })\). Besides, is invertible. Hence, for any \(g\in \mathcal{G}\),
Evidently, \(E':=\{E'_{g}=E\sigma (g)T^{*}\}_{g\in \mathcal{G}}\) is a g-Riesz basis for \(H\oplus M^{\bot }\) and \(A\pi (g)=E\sigma (g)T^{*}P\) for every \(g\in \mathcal{G}\), where P is the orthogonal projection from \(H\oplus M^{\bot }\) onto H. We can directly get \(\widetilde{E}'= \{\widetilde{E}'_{g}:=\widetilde{E}\sigma (g)T^{-1}\}_{g\in \mathcal{G}}\) is the canonical dual g-Riesz basis of \(E'\). Moreover, for any \(g\in \mathcal{G}\),
Obviously, \((T')^{*}P_{A}^{\bot }=(T')^{*}\), where \(P_{A}\) is the orthogonal projection from \(l^{2}(\mathcal{G})\otimes H_{0}\) onto M. And then, for every \(g\in \mathcal{G}\), \(k\in H_{0}\), we obtain
Hence, \(B\pi (g)=\widetilde{A}\pi (g)-Q_{e}\varLambda (g)P_{A}^{\bot }T'\) which means \(\widetilde{E}'_{g}=B\pi (g)\oplus Q_{e}\varLambda (g)P_{A} ^{\bot }\) and \(B\pi (g)=\widetilde{E}'_{g}P\). □
The next conclusion is more general than Theorem 2.2.
Theorem 2.3
Let \(({\mathcal{G}}, \pi , H)\), \((\mathcal{G}, \pi _{2}, N)\) be unitary representations of \(\mathcal{G}\) on H, N respectively, \((A, B)\) be a frame generator alternate dual pair of \(({\mathcal{G}}, \pi , H)\), where \(A, B\in B(H, H_{0})\). If there is an invertible operator \(\widetilde{T}\in B(M^{\bot },N)\) such that \(\widetilde{T}\varLambda (g)= \pi _{2}(g)\widetilde{T}\) for every \(g\in \mathcal{G}\), then there exists a pair of dual Riesz generators \((E', \widetilde{E}')\) of \(( \mathcal{G}, \sigma _{2}, H\oplus N)\) which is also a dilation of \((A, B)\) such that \(E'\sigma _{2}(g)=E\sigma (g)T^{*}\) for any \(g\in \mathcal{G}\), where \(\sigma _{2}=\pi \oplus \pi _{2}\), \(\widetilde{E}'\) is the canonical dual frame generator of \(E'\), , \(T'\in B(H, N)\). (Note that \((E,\widetilde{E})\) is the natural dilation of \((A,\widetilde{A})\) in Theorem 2.1.)
Proof
Let \(\varGamma =-B+\widetilde{A}\in B(H, H_{0})\). It is easy to verify that Γ is a Bessel generator of \(({\mathcal{G}}, \pi , H)\). Denote \(T':=\widetilde{T}\theta _{\varGamma }\in B(H, N)\). Then T is invertible and .
Let \(E'_{g}=E\sigma (g)T^{*}\) for every \(g\in \mathcal{G}\), thus
Denote \(E':=A\oplus (A\theta _{\varGamma }^{*}\widetilde{T}^{*}+Q_{e} \widetilde{T}^{*})\in B(H\oplus N, H_{0})\), \(\sigma _{2}=\pi \oplus \pi _{2}\). Therefore, \(E'\) is a Riesz generator of \((\mathcal{G}, \sigma _{2}, H\oplus N)\) and \(A=E'P\), where P is the orthogonal projection from \(H\oplus N\) onto H. Denote \(\widetilde{E}'_{g}:=\widetilde{E} \sigma (g)T^{-1}\) for any \(g\in \mathcal{G}\). It is easy to examine \(\{\widetilde{E}'_{g}\}_{g\in \mathcal{G}}\) is the canonical dual g-frame of \(\{E'_{g}\}_{g\in \mathcal{G}}\). Then it is also a g-Riesz basis for \(H\oplus N\). Moreover, for any \(g\in \mathcal{G}\),
Denote \(\widetilde{E}'=B\oplus Q_{e}\widetilde{T}^{-1}\). Hence, \(\widetilde{E}'\) is a Riesz generator of \((\mathcal{G}, \sigma _{2}, H \oplus N)\) which is a dual frame generator of \(E'\) and such that \(B=\widetilde{E}'P\). □
The following result illustrates that if a dilation g-Riesz basis pair of a frame generator alternate dual pair and that of the frame generator canonical dual pair are “similar” by a pair of operators, then one of the corresponding operators is in the form of T in Theorem 2.3.
Theorem 2.4
Let \(({\mathcal{G}}, \pi , H)\) be a unitary representation of \(\mathcal{G}\) on H, \((A, B)\) be a frame generator alternate dual pair of \(({\mathcal{G}}, \pi , H)\), where \(A, B\in B(H, H_{0})\). If there exists a pair of dual g-Riesz basis \((E', \widetilde{E}')\) for \(H\oplus N\) which is also a dilation of the dual g-frame pair \((A\pi (\mathcal{G}), B\pi (\mathcal{G}))\) such that \(E':=\{E'_{g}=E \sigma (g)T^{*}\}_{g\in \mathcal{G}}\) for any \(g\in \mathcal{G}\), where N is a Hilbert space, \(\widetilde{E}'\) is the canonical dual g-Riesz basis of \(E'\), \(T\in B(H\oplus M^{\bot }, H\oplus N)\) is invertible. Then T has the following form:
where \(T'\in B(H, N)\), \(\widetilde{T}\in B(M^{\bot }, N)\). (Note that \((E,\widetilde{E})\) is the natural dilation of \((A,\widetilde{A})\) in Theorem 2.1.)
Proof
As in the proofs of Theorem 2.2 and Theorem 2.3, let \(\varGamma =-B+\widetilde{A}\in B(H, H_{0})\). Then Γ is a Bessel generator of \(({\mathcal{G}}, \pi , H)\). Let . Denote \(F:=\{F_{g}=E\sigma (g)T ^{*}_{0}\}_{g\in \mathcal{G}}\). By Theorem 2.2, \((F, \widetilde{F})\) is a dual g-Riesz basis pair for \(H\oplus M^{\bot }\), which is a dilation of \((A\pi (\mathcal{G}), B\pi (\mathcal{G}))\), where \(\widetilde{F}=\{\widetilde{F}_{g}:=\widetilde{E}\sigma (g)T_{0}^{-1} \}_{g\in \mathcal{G}}\) is the canonical dual g-Riesz basis of F. Since \((E', \widetilde{E}')\) is a g-Riesz basis dual pair for \(H\oplus N\), which is a dilation of \((A\pi (\mathcal{G}), B\pi (\mathcal{G}))\), for arbitrary \(g\in \mathcal{G}\), denote \(E'_{g}=A\pi (g)\oplus C_{g}\), \(F_{g}=A\pi (g)\oplus C'_{g}\), where \(C_{g}\in B(N, H_{0})\), \(C'_{g}\in B(M^{\bot }, H_{0})\). By the proof of Theorem 1.9, there is an invertible operator \(\widetilde{T}\in B(M^{\bot }, N)\) such that \(C_{g}=C'_{g}\widetilde{T}^{*}\). Therefore,
And then,
Since \(E\sigma (\mathcal{G})\) is a g-Riesz basis for \(H\oplus M^{ \bot }\), it is g-complete. Then
Hence,
where \(T'=\widetilde{T}\theta _{\varGamma }\in B(H, N)\). □
The following is our main result which shows that if the dilation Riesz generator dual pair of a frame generator alternate dual pair has a relationship with that of another frame generator alternate dual pair by a pair of operators, then one of the corresponding operators is in the form of a lower triangular matrix.
Proposition 2.5
Let \(({\mathcal{G}}, \pi , H)\), \(({\mathcal{G}},\pi _{1}, N_{1})\), \((\pi _{2},{\mathcal{G}}, N_{2})\) be unitary representations of \(\mathcal{G}\) on H, \(N_{1}\), \(N_{2}\) respectively, \((A, B)\), \((A,B')\) be frame generator alternate dual pairs of \(({\mathcal{G}}, \pi , H)\), where \(A, B, B'\in B(H, H_{0})\). Suppose that there exist pairs of dual Riesz generators \((E', \widetilde{E}')\), \((F, \widetilde{F})\) of \((\mathcal{G},\sigma _{1},H\oplus N_{1})\), \((\mathcal{G},\sigma _{2},H\oplus N_{2})\) which are also dilations of \((A, B)\), \((A,B')\) respectively, where \(\sigma _{1}=\pi \oplus \pi _{1}\), \(\sigma _{2}=\pi \oplus \pi _{2}\), \(E', \widetilde{E}'\in B(H\oplus N _{1}, H_{0})\), \(F, \widetilde{F}\in B(H\oplus N_{2}, H_{0})\). If there is an invertible operator \(T\in B(H\oplus N_{1}, H\oplus N_{2})\) such that \(F\sigma _{2}(g)=E'\sigma _{1}(g)T^{*}\) for any \(g\in \mathcal{G}\). Then T is in the form of the following:
where \(T'\in B(H, N_{2})\), \(\widetilde{T}\in B(N_{1}, N_{2})\).
Proof
Let \(\varGamma =\widetilde{A}-B\in B(H, H_{0})\), \(\varGamma '=\widetilde{A}-B' \in B(H, H_{0})\). We can easily examine Γ, \(\varGamma '\) are Bessel generators of \((\mathcal{G},\pi ,H)\) and \(\operatorname{ran} \theta _{\varGamma }\), \(\operatorname{ran}\theta _{\varGamma '}\subset ( \operatorname{ran}\theta _{A})^{\bot }\).
Similar to the proof of Theorem 2.3, we can construct
and
where \(\widetilde{T}_{1}\in B(M^{\bot },N_{1})\), \(\widetilde{T}_{2} \in B(M^{\bot },N_{2})\) are invertible. (In fact, we can let \(E'=A\oplus C_{1}\), \(F=A\oplus C_{2}\), where \(C_{1}\in B(N_{1}, H_{0})\), \(C_{2}\in B(N_{2}, H_{0})\). By Theorem 1.9, there are invertible operators \(\widetilde{T}_{1}\in B(M^{\bot },N_{1})\), \(\widetilde{T} _{2}\in B(M^{\bot },N_{2})\) such that \(C^{1}_{g}\widetilde{T}_{1}^{*}=C _{1}\pi _{1}(g)\) and \(C^{2}_{g}\widetilde{T}_{2}^{*}=C_{2}\pi _{2}(g)\), where \(E_{g}^{1}=E\sigma (g)(T_{0}^{1})^{*}\), \(E_{g}^{2}=E\sigma (g)(T _{0}^{2})^{*}\) for every \(g\in \mathcal{G}\), , .)
Evidently, \(T_{1}\), \(T_{2}\) are invertible, \(E\sigma (g)T_{1}^{*}=E' \sigma _{1}(g)\), \(E\sigma (g)T_{2}^{*}=F\sigma _{2}(g)\) for any \(g\in \mathcal{G}\).
Denote \(T'_{1}=\widetilde{T}_{1}\theta _{\varGamma }\in B(H, N_{1})\), \(T'_{2}=\widetilde{T}_{2}\theta _{\varGamma '}\in B(H, N_{2})\).
Then \(F\sigma _{2}(g)=E\sigma (g)T_{2}^{*}=E'\sigma _{1}(g)(T_{1}^{*})^{-1}T _{2}^{*}\) for any \(g\in \mathcal{G}\). Because \(T_{2}(T_{1})^{-1} \in B(H\oplus N_{1}, H\oplus N_{2})\) and
Denote \(T':=\widetilde{T}_{2}(\theta _{\varGamma '}-\theta _{\varGamma }) \in B(H, N_{2})\), \(\widetilde{T}=\widetilde{T}_{2}\widetilde{T}_{1} ^{-1}\in B(N_{1}, N_{2})\).
Since \(F\sigma _{2}(g)=E'\sigma _{1}(g)T^{*}\) for any \(g\in \mathcal{G}\) and \(E'\sigma _{1}(\mathcal{G})\) is g-complete, it follows that \(T=T_{2}(T_{1})^{-1}\). □
From the above result, we have another illustration that there is an operator which is in the form of a lower triangular matrix to construct a relationship between the dilation Riesz generator pair of a frame generator alternate dual pair and that of another frame generator alternate dual pair.
Corollary 2.6
Let \(({\mathcal{G}}, \pi , H)\), \(({\mathcal{G}},\pi _{1}, N_{1})\), \((\pi _{2},{\mathcal{G}}, N_{2})\) be unitary representations of \(\mathcal{G}\) on H, \(N_{1}\), \(N_{2}\) respectively, \((A, B)\), \((A, B')\) be frame generator alternate dual pairs of \(({\mathcal{G}}, \pi , H)\), where \(A, B, B'\in B(H, H_{0})\). Suppose that there exist pairs of dual Riesz generators \((E', \widetilde{E}')\), \((F, \widetilde{F})\) of \((\mathcal{G},\sigma _{1},H\oplus N_{1})\), \((\mathcal{G},\sigma _{2},H\oplus N_{2})\) which are also dilations of \((A, B)\), \((A, B')\) respectively, where \(\sigma _{1}=\pi \oplus \pi _{1}\), \(\sigma _{2}=\pi \oplus \pi _{2}\), \(E', \widetilde{E}'\in B(H \oplus N_{1}, H_{0})\), \(F, \widetilde{F}\in B(H\oplus N_{2}, H_{0})\). Then there is an invertible operator \(T\in B(H\oplus N_{1}, H\oplus N _{2})\) such that \(F\sigma _{2}(g)=E'\sigma _{1}(g)T^{*}\) for any \(g\in \mathcal{G}\), where
\(T'\in B(H, N_{2})\), \(\widetilde{T}\in B(N_{1},N_{2})\).
Proof
It is direct by the proof of Theorem 2.5. □
References
Abdollahpour, M.: Dilation of a family of g-frames. Wavelets Linear Algebra 1, 9–18 (2014)
Abdollahpour, M.: Dilation of dual g-frames to dual g-Riesz bases. Banach J. Math. Anal. 9(1), 54–66 (2015)
Bishop, S., Heil, C., Koo, Y., Lim, J.: Invariances of frame sequences under perturbations. Linear Algebra Appl. 432(6), 1501–1514 (2010)
Christensen, O., Lennard, C., Lewis, C.: Perturbation of frames for a subspace of a Hilbert space. Rocky Mt. J. Math. 30(4), 1237–1249 (2000)
Gabardo, J., Han, D.: Frames associated with measurable space. Adv. Comput. Math. 18(2–4), 127–147 (2003)
Guo, X.: Wandering operators for unitary systems of Hilbert spaces. Complex Anal. Oper. Theory 10(4), 703–723 (2016)
Guo, X.: Similarity and parameterizations of dilations of pairs of dual group frame in Hilbert spaces. Acta Math. Sin. Engl. Ser. 33(12), 1671–1683 (2017)
Guo, X., Han, D.: Joint similarities and parameterizations for Neimark complementary frames. J. Math. Anal. Appl. 462(1), 148–156 (2018)
Han, D., Li, P., Meng, B., Tang, W.: Operator valued frames and structured quantum channels. Sci. China Math. 54(11), 2361–2372 (2011)
Kaftal, V., Larson, D., Zhang, S.: Operator-valued frames. Trans. Am. Math. Soc. 361(12), 6349–6385 (2009)
Meng, B.: Operator-valued frame generators for group-like unitary systems. Oper. Matrices 7(2), 441–464 (2013)
Sun, W.: G-frames and g-Riesz bases. J. Math. Anal. Appl. 322(1), 437–452 (2006)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
This work is supported by the National Natural Science Foundation of China (Nos. 11671201 and 11771379).
Author information
Authors and Affiliations
Contributions
All authors contributed to each part of this work equally and 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 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
Li, L., Li, P. Characterizations of the dilation of frame generator dual pairs for group. J Inequal Appl 2019, 258 (2019). https://doi.org/10.1186/s13660-019-2211-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2211-7