Professional Documents
Culture Documents
1. Introduction
Through out this paper, H and K are separable Hilbert spaces and
{ Hi : i ∈ I} is a sequence of separable Hilbert spaces, where I is a subset
of Z. L(H, Hi ) is the collection of all bounded linear operators from H
to Hi , and Λ = { Λi ∈ L(H, Hi ) : i ∈ I }, Θ = { Θi ∈ L(H, Hi ) : i ∈ I }.
Λ is called a generalized frame or simply g-frame of the Hilbert space
H with respect to {Hi : i ∈ I} if for any vector f ∈ H,
X
(1.1) Akf k2 ≤ kΛi f k2 ≤ Bkf k2 ,
i∈I
www.SID.ir
Archive of SID
www.SID.ir
Archive of SID
are well defined and constitute a g-frame for H. Aldroubi in [1] has
answered this question about frames.
www.SID.ir
Archive of SID
We call the adjoint TΛ∗ of the synthesis operator, the analysis operator.
The analysis operator is the linear operator,
XM
TΛ∗ : H → Hi , TΛ∗ (f ) = {Λi f }i∈I .
`2
i∈I
www.SID.ir
Archive of SID
conditions,
X X
b := sup uik uij < ∞,
k∈I j∈I i∈I
!
X X X
2
a := inf |uik | − uik uij > 0,
k∈I
i∈I j6=k i∈I
X
2 X X X
X
u Λ f = u u hΛ f, Λ f i
ij j
ij ik j k
i∈I j∈I i∈I k∈I j∈I
XX XXX
= |uik |2 kΛk f k2 + uij uik hΛj f, Λk f i.
i∈I k∈I i∈I k∈I j6=k
Let
XXX
(∗) := uij uik hΛj f, Λk f i.
i∈I k∈I j6=k
Therefore,
X
2 X X
X
uij Λj f
≥ |uik |2 kΛk f k2 − |(∗)|
i∈I j∈I i∈I k∈I
!
X X X X
2 2
≥ kΛk f k |uik | − uik uij .
k∈I i∈I j6=k i∈I
2
≥ aAkf k .
www.SID.ir
Archive of SID
Proof.
P Since Λ is a g-frame, then X = TΛ∗ (H) is a closed subspace
L
of i∈I Hi . Therefore, TΛ∗ : H → X is bijective and so it is
`2
invertible. By the
open mapping ∗ −1
Theorem, (TΛ ) is bounded. Let U0 =
∗ (T ∗ )−1 : X →
P L
TΘ Λ i∈I Hi . It is obvious that U0 is bounded on
P `2 L
X and we can extend it on i∈I Hi by:
`2
(
U0 (x) if x ∈ X
U (x) :=
0 if x ∈ X ⊥
Then, for each f ∈ H we have,
U TΛ∗ f = TΘ
∗
(TΛ∗ )−1 TΛ∗ f = TΘ
∗
f.
www.SID.ir
Archive of SID
www.SID.ir
Archive of SID
∗
P
So, f = i Θi Λi U f . By Proposition 1.2,
X X X
kΛi U f k2 = kΘi f k2 + kΛi U f − Θi f k2 .
i∈I i∈I i∈I
RTΘ = RTΛ .
∗ ∗
www.SID.ir
Archive of SID
4.2, there exists an isometry V : H → H such that Θ0i = Λ0i V , for all
−1 1
i ∈ I. Hence Θi = Λi SΛ 2 V SΘ
2
. Therefore, the result follows by letting
−1 1
U = SΛ 2 V SΘ 2
.
(Sufficiency.) It is straightforward.
For the second part of (i), by Proposition 4.2, we have,
1 1
ker U ∗ = SΛ2 ker V ∗ = SΛ2 TΛ0 (RT ∗ 0 ∩ (RT ∗ 0 )⊥ ) = TΛ (RTΛ∗ ∩ (RTΘ∗ )⊥ ).
Λ Θ
5. g-frame identity
www.SID.ir
Archive of SID
4ac − b2
U≥ I.
4a
Then, for all f ∈ H,
4ac − b2
hU f, f i ≥ kf k2 .
4a
So,
4ac − b2
inf hU f, f i ≥ .
kf k=1 4a
(ii) It follows from (i).
www.SID.ir
Archive of SID
X X
(5.1) kΛi f k2 + kSJ c f k2 = kΛi f k2 + kSJ f k2 ,
i∈J i∈J c
X 3
(5.2) kΛi f k2 + kSJ c f k2 ≥ kf k2 ,
4
i∈J
1
(5.3) 0 ≤ SJ − SJ2 ≤ I,
4
1 3
(5.4) I ≤ SJ2 + SJ2 c ≤ I.
2 2
X
kΛi f k2 + kSJ c f k2 = hSJ f, f i + hSJ c f, SJ c f i
i∈J
D E
= (SJ + SJ2 c )f, f
D E
= (I − SJ + SJ2 )f, f
= h(SJ c + SJ2 )f, f i
X
= kΛi f k2 + kSJ f k2 .
i∈J c
www.SID.ir
Archive of SID
1
Proof. Let Θi = Λi S − 2 , for each i ∈ I. Then, Θ is a Parseval g-frame
of H. For any J ⊆ I, let S̃J : H → H be a linear operator defined by:
X
S̃J f = Θ∗i Θi f, ∀f ∈ H.
i∈J
1 1
So, S̃J = S − 2 SJ S − 2 . Hence, it follows from (5.1) of Theorem 5.3 that
X X X X
(5.9) kΘi f k2 + kΘi S̃J c f k2 = kΘi f k2 + kΘi S̃J f k2 ,
i∈J i∈I i∈J c i∈I
1
for all f ∈ H. Replacing f by S 2 f in (5.9), we get (5.5). Applying (5.2)
for the Parseval g-frame Θ, we get,
X 3
kΘi f k2 + kS̃Jc f k2 ≥ kf k2 , ∀f ∈ H.
4
i∈J
1
Since hSf, f i ≥ kS −1 k−1 kf k2 , then replacing f by S 2 f in the last
inequality, we get (5.6). To prove (5.7), it follows from (5.3) that
0 ≤ S̃J − S̃J2 ≤ 14 I. Hence,
1 1 1
0 ≤ S − 2 (SJ − SJ S −1 SJ )S − 2 ≤ I,
4
which is equivalent to (5.7). Finally, we have from (5.4),
1 3
(5.10) I ≤ S̃J2 + S̃J2 c ≤ I.
2 2
www.SID.ir
Archive of SID
1 1 1 1
Since S̃J = S − 2 SJ S − 2 and S̃J c = S − 2 SJ c S − 2 , then we get (5.8) from
(5.10).
Corollary 5.5. Let {fi }i∈I be a Parseval frame of H. Then, for any
J ⊆ I and all f ∈ H, we have:
X
X
2 1
0≤ |hf, fi i|2 −
hf, fi ifi
≤ kf k2 ,
4
i∈J i∈J
1
X
2
X
2 3
kf k2 ≤
hf, fi ifi
+
hf, fi ifi
≤ kf k2 .
2 c
2
i∈J i∈J
Acknowledgments
The authors thank the referee(s) for a number of valuable suggestions
on a previous version of this paper.
References
[1] A. Aldroubi, Portraits of frames, Proc. Amer. Math. Soc. 123 (1995) 1661–1668.
[2] R. Balan, Equivalence relations and distances between Hilbert frames, Proc.
Amer. Math. Soc. 127 (1999) 2353–2366.
[3] R. Balan, P. G. Casazza, D. Edidin and G. Kutyniok, A new identity for Parseval
frames, Proc. Amer. Math. Soc. 135 (2007) 1007–1015.
[4] O. Christensen, An Introduction to Frame and Riesz Bases, Birkhäuser, 2002.
[5] A. Najati, M.H. Faroughi and A. Rahimi, G-frames and stability of g-frames in
Hilbert spaces, Methods of Functional Analysis and Topology, 14 (2008) 271–286.
[6] S. Wenchang, G-frames and g-Riesz bases, J. Math. Anal. Appl. 322 (2006)
437–452.
Abbas Najati
Department of Mathematics, Faculty of Sciences, University of Mohaghegh Ardabili,
P. O. Box 179, Ardabil, Iran.
Email: a.nejati@yahoo.com, abbasnajati@yahoo.com
Asghar Rahimi
Faculty of Basic Sciences, Department of Mathematics, University of Maragheh,
Maragheh, Iran.
Email: asgharrahimi@yahoo.com
www.SID.ir