This is the title
EXTENSION OF FRAMES AND BASES - II
K. MAHESH KRISHNA AND P. SAM JOHNSON
Department of Mathematical and Computational Sciences
National Institute of Technology Karnataka (NITK), Surathkal
Mangaluru 575 025, India
Emails: [email protected], [email protected],
[email protected], [email protected]
Date:
Abstract: Operator-valued frame (-frame), as a generalization of frame is introduced by Kaftal, Larson, and Zhang in Trans. Amer. Math. Soc., 361(12):6349-6385, 2009 and by Sun in J. Math. Anal. Appl., 322(1):437-452, 2006. It has been further extended in the paper arXiv:1810.01629 [math.OA] 3 October 2018, so as to have a rich theory on operator-valued frames for Hilbert spaces as well as for Banach spaces. The continuous version has been studied in this paper when the indexing set is a measure space. We study duality, similarity, orthogonality and stability of this extension. Several characterizations are given including a notable characterization when the measure space is a locally compact group. Variation formula, dimension formula and trace formula are derived when the Hilbert space is finite dimensional.
Keywords: Frames, weak integrals, continuous operator-valued frames, unitary representations, locally compact groups, perturbation.
Mathematics Subject Classification (2010): Primary 42C15, 47A13, 47B65, 46G10; Secondary 46E40, 28B05, 22D10.
1. Introduction
Let , be Hilbert spaces, be the Banach space of all bounded linear operators from to and . Letter denotes an indexing set and denotes the field of scalars ( or ).
Definition 1.1.
We refer [10, 51, 27, 8, 23, 24, 6, 44, 16, 12, 5, 19] for more details on frames (and a well studied class of frames) and Bessel sequences in Hilbert spaces. Most general version of Definition 1.1 is
Definition 1.2.
We refer [33, 47, 26, 40, 48] for more details on operator-valued frames and Bessel sequences in Hilbert spaces. In [36] we defined the following two definitions.
Definition 1.3.
[36] Let be a set of vectors in a Hilbert space . A set of vectors in is said to be a
-
(i)
frame with respect to (w.r.t.) if there are such that
-
(a)
the map is a well-defined bounded positive invertible operator.
-
(b)
-
(a)
-
(ii)
Bessel sequence w.r.t. if there are such that
-
(a)
the map is a well-defined bounded positive operator.
-
(b)
-
(a)
Definition 1.4.
[36] Define , where is the standard orthonormal basis for , for each . A collection in is said to be an operator-valued
-
(i)
frame in with respect to a collection in if
-
(a)
the series converges in the strong-operator topology on to a bounded positive invertible operator,
-
(b)
both , converge in the strong-operator topology on to bounded operators.
-
(a)
-
(ii)
Bessel sequence in with respect to a collection in if
-
(a)
the series converges in the strong-operator topology on to a bounded positive operator,
-
(b)
both , converge in the strong-operator topology on to bounded operators.
-
(a)
All of our vector-valued integrals are in the weak-sense (i.e., they are Gelfand-Pettis integral and we refer [50, 42, 29, 41, 45, 38, 15, 39] for more details). denotes a measure space with positive measure .
Continuous frame, as a generalization of frames was introduced independently by Ali, Antoine, Gazeau [2] and Kaiser [34].
Definition 1.5.
2. Extension of continuous operator-valued frames
In order to set continuous version of Definition 1.4, we want existence of certain operators, for which we use the following definition.
Definition 2.1.
Let and in be continuous operator-valued Bessel with bounds and , respectively. Continuity of norm and polarization identity reveal that the map is measurable, for each fixed . Cauchy-Schwarz inequality and Inequality (1) now tell that this map is in , explicitly,
Previous inequalities also show that for each fixed , the map
is a conjugate-linear bounded functional with (where denotes the operator-norm). Let be that unique element (which comes from Riesz representation theorem) of such that
By varying , we get the map
Above map is a bounded linear operator, and is positive. Indeed,
and
We further note that Inequality (1) gives that
is a well-defined bounded linear operator whose adjoint is
where the integral is in the weak-sense. In fact,
and
We next observe that Condition (ii) in Definition 2.1 holds if and only if the map is a well-defined bounded linear operator. With this knowledge we are ready to define the continuous version of Definition 1.4.
Definition 2.2.
A collection in is said to be a continuous operator-valued frame (in short, continuous (ovf)) in with respect to a collection in if
-
(i)
for each , both maps and are measurable,
-
(ii)
the map (we call as frame operator) (the integral is in the weak-sense) is a well-defined bounded positive invertible operator,
-
(iii)
both maps (we call as analysis operator and its adjoint as synthesis operator) , and , are well-defined bounded linear operators.
We note that , (both integrals are in the weak-sense). Notions of frame bounds, Parseval frame are similar to the same in Definition 2.1 in [36].
Whenever is a continuous operator-valued frame w.r.t. we write is continuous (ovf).
For fixed , and , the set of all continuous operator-valued frames in with respect to collection is denoted by
Remark 2.3.
Fundamental difference of continuous frames with discrete one is that we are not allowed to use orthonormal bases (indexed by ).
If the condition (ii) in Definition 2.2 is replaced by “the map is a well-defined bounded positive operator (not necessarily invertible)”, then we say w.r.t. is Bessel.
We note that (ii) in Definition 2.2 implies that there are real such that for all ,
and (iii) implies there exist such that for all ,
We note the following.
-
(i)
If is a continuous (ovf) w.r.t. , then is a continuous (ovf) w.r.t. .
-
(ii)
, and
-
(iii)
.
-
(iv)
If , then , and
-
(v)
If is tight continuous (ovf) with bound then
Proposition 2.4.
Let be a continuous (ovf) in with an upper frame bound . If is measurable and then
Proof.
For each we get and hence ∎
Proposition 2.5.
Let be a continuous (ovf) in . Then the bounded left-inverses of
-
(i)
are precisely , where .
-
(ii)
are precisely , where .
Proof.
Similar to the proof of Proposition 2.29 in [36]. ∎
Proposition 2.6.
For every ,
-
(i)
, .
-
(ii)
-
(iii)
is Parseval if and only if
-
(iv)
is Parseval if and only if is idempotent.
-
(v)
is idempotent and .
-
(vi)
and are injective and their ranges are closed.
-
(vii)
and are surjective.
Proof.
Let We observe
and
hence we get (i) and (ii). Arguments for other statements are similar to the proof of Proposition 2.30 in [36]. ∎
Proposition 2.7.
A collection in is a continuous (ovf) w.r.t. in if and only if there exist such that
-
(i)
for each , both maps , are measurable,
-
(ii)
-
(iii)
-
(iv)
.
Definition 2.8.
A continuous (ovf) in is said to be a Riesz continuous (ovf) if .
Proposition 2.9.
A continuous (ovf) in is a Riesz continuous (ovf) if and only if if and only if
Proof.
Similar to the proof of Proposition 2.36 in [36]. ∎
Following is the dilation result in discrete setting (for dilation results in Hilbert spaces we refer Theorem 2.38 in [36] and [35, 24, 11, 37]).
Theorem 2.10.
[36] Let be a Parseval (ovf) in such that and is projection. Then there exist a Hilbert space which contains isometrically and bounded linear operators such that is an orthonormal (ovf) in and .
We remark here that we don’t know any result corresponding to Theorem 2.10 when the indexing set is a measure space.
Definition 2.11.
A continuous (ovf) in is said to be a dual of a continuous (ovf) in if . The ‘continuous operator-valued frame’ , which is a ‘dual’ of is called as the canonical dual of .
Proposition 2.12.
Let be a continuous (ovf) in If has representation for some measurable , then
Proof.
Right side | |||
∎
Theorem 2.13.
Let be a continuous (ovf) with frame bounds and Then the following statements are true.
-
(i)
The canonical dual (ovf) of the canonical dual (ovf) of is itself.
-
(ii)
are frame bounds for the canonical dual of .
-
(iii)
If are optimal frame bounds for , then are optimal frame bounds for its canonical dual.
Proof.
We note that
Therefore the frame operator for the canonical dual is . Remainings are similar to the proof of Theorem 2.41 in [36]. ∎
Proposition 2.14.
Let and be continuous operator-valued frames in . Then the following are equivalent.
-
(i)
is a dual of .
-
(ii)
.
Proof.
. Similarly . ∎
Theorem 2.15.
If is a Riesz continuous (ovf) in , then it has unique dual.
Proof.
Let and be continuous operator-valued frames such that both are duals of . Then , . ∎
Proposition 2.16.
Let be a continuous (ovf) in . If is dual of , then there exist continuous Bessel and (w.r.t. themselves) in such that , and . Converse holds if .
Proof.
Similar to the proof of Proposition 2.44 in [36]. ∎
Definition 2.17.
A continuous (ovf) in is said to be orthogonal to a continuous (ovf) in if
Proposition 2.18.
Let and be continuous operator-valued frames in . Then the following are equivalent.
-
(i)
is orthogonal to .
-
(ii)
.
Proposition 2.19.
Two orthogonal continuous operator-valued frames have common dual continuous (ovf).
Proof.
Similar to the proof of Proposition 2.48 in [36]. ∎
Proposition 2.20.
Let and be two Parseval continuous operator-valued frames in which are orthogonal. If are such that , then is a Parseval continuous (ovf) in . In particular, if scalars satisfy , then is a Parseval continuous (ovf).
Proof.
For all and we see . Similarly . Other arguments are similar to that in the proof of Proposition 2.49 in [36]. ∎
Definition 2.21.
Two continuous operator-valued frames and in are called disjoint if is continuous (ovf) in
Proposition 2.22.
If and are orthogonal continuous operator-valued frames in , then they are disjoint. Further, if both and , are Parseval, then is Parseval.
Proof.
For all , and for all , Thus , which is bounded positive invertible with . ∎
3. Characterizations of the extension
Theorem 3.1.
Let be in such that for each , both maps , are measurable. Then is a continuous (ovf) with bounds and (resp. continuous Bessel with bound )
-
(i)
if and only if
are well-defined, such that (resp. ).
-
(ii)
if and only if
are well-defined, , such that (resp. ).
-
(iii)
if and only if
are well-defined, , such that (resp. ).
-
(iv)
if and only if
are well-defined, such that (resp. ).
Proof.
We argue only for (i), in frame situation. Now , and .
Now , and . ∎
Let be in For each fixed , suppose is an orthonormal basis for From Riesz representation theorem, we get unique such that . Now , We next find the adjoints of ’s and ’s in terms of and . For all , Therefore , Evaluation of these at gives
Theorem 3.2.
Let be in Suppose is an orthonormal basis for for each Let Then is a continuous
-
(i)
(ovf) in with bounds and if and only if for each , both maps , are measurable and there exist such that the map
is a well-defined bounded positive invertible operator such that , and
-
(ii)
Bessel in with bound if and only if for each , both maps , are measurable and there exist such that the map
is a well-defined bounded positive operator such that , and
-
(iii)
(ovf) in with bounds and if and only if for each , both maps , are measurable and there exist such that
-
(iv)
Bessel in with bound if and only if for each , both maps , are measurable and there exist such that
Proof.
-
(i)
For all
-
(ii)
Similar to (i).
-
(iii)
exists and is bounded positive invertible if and only if there exist such that , and . Also, , , (resp. , ) exists and is bounded if and only if there exists (resp. ) such that (resp. ).
-
(iv)
Similar to (iii).
∎
Similarity
Definition 3.3.
A continuous (ovf) in is said to be right-similar to a continuous (ovf) in if there exist invertible such that , .
Proposition 3.4.
Let with frame bounds let be positive, invertible, commute with each other, commute with , and let Then
-
(i)
and Assuming that is Parseval, then is Parseval if and only if
-
(ii)
Proof.
For all ,
∎
Lemma 3.5.
Let and , for some invertible Then Assuming that is Parseval, then is Parseval if and only if
Proof.
. Similarly . ∎
Theorem 3.6.
Let The following are equivalent.
-
(i)
for some invertible
-
(ii)
for some invertible
-
(iii)
If one of the above conditions is satisfied, then invertible operators in and are unique and are given by In the case that is Parseval, then is Parseval if and only if is the identity operator if and only if is the identity operator.
Proof.
(ii) (i) , . Similarly . Other arguments are similar to that in the proof of Theorem 4.4 in [36]. ∎
Corollary 3.7.
For any given continuous (ovf) , the canonical dual of , is the only dual continuous (ovf) that is right-similar to .
Proof.
Similar to the proof of Corollary 4.5 in [36]. ∎
Corollary 3.8.
Two right-similar continuous operator-valued frames cannot be orthogonal.
Proof.
Similar to the proof of Corollary 4.6 in [36]. ∎
Remark 3.9.
For every continuous (ovf) , each of ‘continuous operator-valued frames’ and is a Parseval continuous (ovf) which is right-similar to Thus every continuous (ovf) is right-similar to Parseval continuous operator-valued frames.
4. Continuous frames and representations of locally compact groups
Let be a locally compact group, be a left-invariant Haar measure on (we refer [17, 28, 13, 43, 4] for locally compact groups and Haar measures). Let be the left regular representation of defined by ; be the right regular representation of defined by , where is the modular function associated with [49].
Definition 4.1.
Let be a unitary representation of a locally compact group on a Hilbert space An operator in is called a continuous operator-valued frame generator (resp. a Parseval frame generator) w.r.t. an operator in if is a continuous (ovf) (resp. a Parseval continuous (ovf)) in (where the measure on is a left invariant Haar measure ). In this case, we write is a continuous operator-valued frame generator for .
Proposition 4.2.
Let and be continuous operator-valued frame generators in for a unitary representation of a locally compact group on Then
-
(i)
-
(ii)
are in the commutant of Further, and is a Parseval frame generator.
Proof.
-
(i)
For all and ,
. Similarly
-
(ii)
and for all
and hence the last part.
∎
Theorem 4.3.
Let be a locally compact group with identity and be a Parseval continuous (ovf) in Then there is a unitary representation of on for which
if and only if
Proof.
Similar to the proof of ‘only if’ part of Theorem 5.3 in [36].
We claim the following three equalities among them we derive the second, two others are similar. For all
Let . Then
Define Using the fact that frame is Parseval, for all and for all . We next prove that, for each fixed , the map is continuous. So, let be fixed. Then is fixed. Since is a unitary representation, the map is continuous. Continuity of now gives that the map is continuous, i.e., is continuous. This proves is a unitary representation. We now prove for all . For all and for all ,
and
∎
Corollary 4.4.
Let be a locally compact group with identity and be a continuous (ovf) in Then there is a unitary representation of on for which
-
(i)
for all if and only if for all
-
(ii)
for all if and only if for all
-
(iii)
for all if and only if for all
Proof.
We apply Theorem 4.3 to the Parseval continuous (ovf)
-
(i)
to get: there is a unitary representation of on for which for all if and only if , , for all
-
(ii)
to get: there is a unitary representation of on for which for all if and only if for all
-
(iii)
to get: there is a unitary representation of on for which for all if and only if for all
∎
Corollary 4.5.
Let be a locally compact group with identity and be a
-
(i)
Parseval continuous (ovf) (w.r.t. itself) in . Then there is a unitary representation of on for which
if and only if
-
(ii)
continuous (ovf) (w.r.t. itself) in . Then there is a unitary representation of on for which
if and only if
5. Perturbations
Theorem 5.1.
Let be a continuous (ovf) in . Suppose in is such that
-
(i)
,
-
(ii)
for each , the map is measurable,
-
(iii)
there exist with such that
(2)
Then is a continuous (ovf) with bounds and .
Proof.
Define . Then for all ,
Hence
Corollary 5.2.
Let be a continuous (ovf) in . Suppose in is such that
-
(i)
,
-
(ii)
for each , the map is measurable,
-
(iii)
The map is measurable,
-
(iv)
Then is a continuous (ovf) with bounds and .
Theorem 5.3.
Let be a continuous (ovf) in with bounds and . Suppose is continuous Bessel (w.r.t. itself) in such that and there exist with and for all ,
(3) |
Then is a continuous (ovf) with bounds and
Proof.
For all in ,
which implies, for all ,
From Inequality (3), for all ,
which produces
But Thus is a continuous (ovf) with bounds and ∎
Theorem 5.4.
Let be a continuous (ovf) in . Suppose in is such that
-
(i)
,
-
(ii)
for each , the map is measurable,
-
(iii)
The map is measurable and ,
-
(iv)
The map is measurable and ,
-
(v)
Then is a continuous (ovf) with bounds and .
Proof.
Let and . Fix . Then for all
Hence exists and . Therefore exists and is positive. Now
Other arguments are similar to the corresponding arguments used in the proof of Theorem 5.1. ∎
6. Case
Definition 6.1.
A set of vectors in a Hilbert space is said to be a continuous frame w.r.t. a set in if
-
(i)
for each , both maps and are measurable,
-
(ii)
the map (we call as frame operator) (the integral is in the weak-sense) is a well-defined bounded positive invertible operator,
-
(iii)
both maps (we call as analysis operator and its adjoint as synthesis operator) , , , are well-defined bounded linear operators.
We note that , (both integrals are in the weak-sense). Notions of frame bounds, Parseval frame are similar to the same in Definition 8.1 in [36]. If the condition (ii) is replaced by “the map is a well-defined bounded positive operator”, then we say w.r.t. is Bessel. If is continuous frame (resp. Bessel) w.r.t. , then we write is a continuous frame (resp. Bessel).
For fixed and , the set of all continuous frames for w.r.t. is denoted by
We note that (ii) in Definition 6.1 implies that there are real such that
and (iii) implies that there exist such that
We note, whenever is a continuous frame for , then
Theorem 6.2.
Let be in . Define , . Then is a continuous frame for if and only if is a continuous operator-valued frame in .
Proof.
. ∎
Proposition 6.3.
Definition 6.1 holds if and only if there are such that
-
(i)
for each , both maps , are measurable,
-
(ii)
-
(iii)
-
(iv)
.
If the space is over then (iv) can be omitted.
Proposition 6.4.
Let be a continuous frame for with upper frame bound . If for some we have is measurable and , then for that
Proof.
∎
Proposition 6.5.
For every ,
-
(i)
-
(ii)
In particular,
-
(iii)
Every can be written as
-
(iv)
is Parseval if and only if
-
(v)
is Parseval if and only if is idempotent.
-
(vi)
is idempotent.
-
(vii)
and are injective and their ranges are closed.
-
(viii)
and are surjective.
Definition 6.6.
A continuous frame for is called a Riesz frame if .
Proposition 6.7.
A continuous frame for is a Riesz continuous frame if and only if if and only if
Proof.
Similar to the proof of Proposition 8.20 in [36]. ∎
Definition 6.8.
A continuous frame for is said to be a dual of a continuous frame for if . The ‘continuous frame’ , which is a ‘dual’ of is called the canonical dual of .
Proposition 6.9.
Let be a continuous frame for If has representation for some measurable , then
Proof.
Right side
∎
Theorem 6.10.
Let be a continuous frame for with frame bounds and Then the following statements are true.
-
(i)
The canonical dual continuous frame of the canonical dual continuous frame of is itself.
-
(ii)
are frame bounds for the canonical dual of
-
(iii)
If are optimal frame bounds for then are optimal frame bounds for its canonical dual.
Proof.
For
Thus the frame operator for the canonical dual is Therefore, its canonical dual is Others can be proved as in the earlier consideration ‘continuous operator-valued frame’. ∎
Proposition 6.11.
Let and be continuous frames for . Then the following are equivalent.
-
(i)
is dual of .
-
(ii)
Proof.
. Similarly , . ∎
Theorem 6.12.
If is a Riesz continuous frame for , then it has unique dual.
Proof.
Let and be dual continuous frames of . Then , , , . Hence the dual of is unique. ∎
Proposition 6.13.
Let be a continuous frame for . If is a dual of , then there exist continuous Bessel and (w.r.t. themselves) for such that , and . Converse holds if .
Proof.
Similar to the proof of Proposition 8.28 in [36]. ∎
Proposition 6.14.
Let be a continuous frame for . Then the bounded left-inverses of
-
(i)
are precisely , where .
-
(ii)
are precisely , where .
Proof.
Similar to the proof of Lemma 8.30 in [36]. ∎
Definition 6.15.
A continuous frame for is said to be orthogonal to a continuous frame for if
Proposition 6.16.
Let , be continuous frames for . Then the following are equivalent.
-
(i)
is orthogonal to .
-
(ii)
.
Proposition 6.17.
Two orthogonal continuous frames have a common dual continuous frame.
Proof.
Similar to the proof of Proposition 8.34 in [36]. ∎
Proposition 6.18.
Let and be two Parseval continuous frames for which are orthogonal. If are such that , then is a Parseval continuous frame for . In particular, if scalars satisfy , then is a Parseval continuous frame for .
Proof.
For all and we see Similarly . Other arguments are similar to that in the proof of Proposition 8.35 in [36]. ∎
Definition 6.19.
Two continuous frames and for are called disjoint if is a continuous frame for .
Proposition 6.20.
If and are orthogonal continuous frames for , then they are disjoint. Further, if both and are Parseval, then is Parseval.
Proof.
For all , and for all , Thus , which is bounded positive invertible with . ∎
Characterization
Theorem 6.21.
Let be in such that for each , both maps , are measurable. Then is a continuous frame with bounds and (resp. Bessel with bound )
-
(i)
if and only if
are well-defined, such that (resp.
-
(ii)
if and only if
are well-defined, , such that (resp.
-
(iii)
if and only if
are well-defined, , such that (resp.
-
(iv)
if and only if
are well-defined, such that (resp.
Proof.
We prove the first one for continuous Bessel, others are similar.
, and . , and . ∎
Similarity
Definition 6.22.
A continuous frame for is said to be similar to a continuous frame for if there are invertible operators such that
Proposition 6.23.
Let with frame bounds let be positive, invertible, commute with each other, commute with , and let Then
-
(i)
and Assuming that is Parseval, then is Parseval if and only if
-
(ii)
Proof.
For all
∎
Lemma 6.24.
Let and , for some invertible Then Assuming that is Parseval, then is Parseval if and only if
Proof.
. Similarly . ∎
Theorem 6.25.
Let The following are equivalent.
-
(i)
for some invertible
-
(ii)
for some invertible
-
(iii)
If one of the above conditions is satisfied, then invertible operators in and are unique and are given by In the case that is Parseval, then is Parseval if and only if if and only if .
Proof.
(ii) (i) For all and , which implies . Other arguments are similar to that in the proof of Theorem 8.45 in [36]. ∎
Corollary 6.26.
For any given continuous frame , the canonical dual of , is the only dual continuous frame that is similar to .
Proof.
Similar to the proof of Corollary 8.46 in [36]. ∎
Corollary 6.27.
Two similar continuous frames cannot be orthogonal.
Proof.
Similar to the proof of Corollary 8.47 in [36]. ∎
Remark 6.28.
For every continuous frame each of ‘continuous frames’ , , and is a Parseval continuous frame which is similar to Hence each continuous frame is similar to Parseval continuous frames.
Continuous frames and representations of locally compact groups
Let , , , be as in Section 4 and . We denote the von Neumann algebra generated by unitaries (resp. ) in by (resp. ). Then and [49].
Definition 6.29.
Let be a unitary representation of a locally compact group on a Hilbert space An element in is called a continuous frame generator (resp. a Parseval frame generator) w.r.t. in if is a continuous frame (resp. Parseval frame) for . In this case we write is a frame generator for .
Proposition 6.30.
Let and be frame generators in for a unitary representation of on Then
-
(i)
-
(ii)
are in the commutant of Further, and is a Parseval frame generator.
-
(iii)
In particular,
Proof.
Theorem 6.31.
Let be a locally compact group with identity and be a Parseval continuous frame for Then there is a unitary representation of on for which
if and only if
Proof.
Proof 1. Similar to the proof of ‘only if’ part of Theorem 8.52 in [36].
We state the following three, among them we prove third, others are similar.
For all ,
Define Using the Parsevalness of given frame, we get for all and for all . To prove is a unitary representation we use the same idea used in the proof of Theorem 4.3. Let be fixed. Then is fixed. Since is a unitary representation, the map is continuous. Continuity of now gives that the map is continuous. We now establish for all . For all ,
and
Proof 2. Define , . Then, from Theorem 6.2, is a continuous frame for if and only if is a continuous (ovf) in . Further, from the proof of Theorem 6.2, we also see that is a Parseval continuous frame if and only if is a Parseval continuous (ovf). Now applying Theorem 4.3 to the Parseval continuous (ovf) yields - there is a unitary representation of on for which
(4) |
if and only if
(5) |
But Equation (4) holds if and only if
Also, Equation (5) holds if and only if
∎
Corollary 6.32.
Let be a locally compact group with identity and be a continuous frame for Then there is a unitary representation of on for which
-
(i)
for all if and only if for all
-
(ii)
for all if and only if , for all
-
(iii)
for all if and only if for all
Proof.
Apply Theorem 6.31 to
-
(i)
to get: there is a unitary representation of on for which for all if and only if for all
-
(ii)
to get: there is a unitary representation of on for which for all if and only if for all
-
(iii)
to get: there is a unitary representation of on for which for all if and only if for all
∎
Corollary 6.33.
Let be a locally compact group with identity and be a
-
(i)
Parseval continuous frame (w.r.t. itself) for . Then there is a unitary representation of on for which
if and only if
-
(ii)
continuous frame (w.r.t. itself) for . Then there is a unitary representation of on for which
if and only if
Perturbations
Theorem 6.34.
Let be a continuous frame for Suppose in is such that
-
(i)
,
-
(ii)
for each , the map is measurable,
-
(iii)
there exist with such that
Then is a continuous frame with bounds and .
Proof.
Define . Then for all ,
which implies
Corollary 6.35.
Let be a continuous frame for Suppose in is such that
-
(i)
,
-
(ii)
for each , the map is measurable,
-
(iii)
The map is measurable,
-
(iv)
Then is a continuous frame with bounds and .
Proof.
Theorem 6.36.
Let be a continuous frame for with bounds and Suppose in is such that exists for all and is nonnegative for all and there exist with and for all ,
Then is a continuous frame with bounds and
Proof.
Similar to the proof of Theorem 5.3. ∎
Theorem 6.37.
Let be a continuous frame for . Suppose in is such that
-
(i)
,
-
(ii)
for each , the map is measurable,
-
(iii)
The map is measurable and ,
-
(iv)
The map is measurable and ,
-
(v)
Then is a continuous frame with bounds and .
Proof.
Let , . Fix . Then for all ,
and hence
Other arguments are similar to the corresponding arguments in the proof of Theorem 5.4.
∎
7. The finite dimensional case
Theorem 7.1.
Let be a finite dimensional Hilbert space, be a locally compact group, be a set of vectors in such that
-
(i)
.
-
(ii)
-
(iii)
for each , both maps , are measurable.
-
(iv)
the map is in .
-
(v)
for each , the map is continuous.
Then is a continuous frame for if and only if for every pair of subsets of satisfying and one has
Proof.
We can assume .
There exists such that (else is zero). Hence . Clearly is self-adjoint and positive. Now
Hence the upper frame bound condition is satisfied. Define We argue that is continuous. Let in as Then
Compactness of the unit sphere of gives the existence of with such that We claim that If this fails: since , is a locally compact group and the map is continuous, from [28] we must have Define and . Now using we get . Clearly . Then which implies which is forbidden. We claim that is a lower frame bound. For all nonzero ,
We prove by contrapositive. Suppose there are subsets of satisfying and such that Let be nonzero such that Now because of and we get which says that the lower frame bound condition fails. ∎
Proposition 7.2.
Let be a continuous frame for with a lower frame bound and If is any measurable subset of such that is measurable and then is a continuous frame for with lower frame bound .
Proof.
∎
Theorem 7.3.
Let be a continuous frame for a finite dimensional complex Hilbert space of dimension . Then we have the following.
-
(i)
The optimal lower frame bound (resp. optimal upper frame bound) is the smallest (resp. largest) eigenvalue for
-
(ii)
If denotes the eigenvalues for each appears as many times as its algebraic multiplicity, then
-
(iii)
Condition number for is equal to the ratio between the optimal upper frame bound and the optimal lower frame bound.
-
(iv)
If the optimal upper frame bound is then
-
(v)
-
(vi)
If the frame is tight, then the optimal frame bound In particular, if then Further,
-
(vii)
If the frame is tight, then
(Extended variation formula) -
(viii)
If the frame is Parseval, then
-
(ix)
If the frame is Parseval, then for every
Proof.
-
(i)
Using spectral theorem, has an orthonormal basis consisting of eigenvectors for Let denote the corresponding eigenvalues. Then Since is positive invertible, Therefore
To get optimal frame bounds we take eigenvectors corresponding to and
-
(ii)
Since , we get
-
(iii)
This follows from (i).
-
(iv)
Let and be as in (i). We may assume . Then (i) gives Now use (ii):
-
(v)
Let be an orthonormal basis for . Then
-
(vi)
Now for some positive This gives From (ii) we get the conclusions.
-
(vii)
Let the optimal frame bound be . From (v) and (vi),
-
(viii)
Let be as in (v). Then
-
(ix)
Let be as in (v). Then
Similarly by using , we get
∎
Theorem 7.4.
If a continuous frame for is such that
then it is also a continuous frame for Further, if is a tight (resp. Parseval) continuous frame for , then it is also a tight (resp. Parseval) continuous frame for
Proof.
Let be lower and upper frame bounds, in order. For we write Then
∎
Theorem 7.5.
If is a continuous frame for such that
then is a continuous frame for Further, if is a tight (resp. Parseval) continuous frame for , then , is a tight (resp. Parseval) continuous frame for
Proof.
Consider
Therefore, if are lower and upper frame bounds, respectively, then ∎
Proposition 7.6.
Let be a continuous frame for Then is finite dimensional if and only if
In particular, if dimension of is finite, and is positive, then
Proof.
Let be an orthonormal basis for , and be frame bounds for .
Now is finite. Then
Since is a continuous frame, we must have
Therefore
For the second, ∎
Proposition 7.7.
Let be a bounded interval. Let and , be continuous. Then is a tight continuous frame for w.r.t. if and only if
Proof.
Matrix of is
We next observe that for some if and only if
∎
8. Further extension
Definition 8.1.
A collection in is said to be a weak continuous operator-valued frame (we write weak continuous (ovf)) in with respect to a collection in if
-
(i)
for each , both maps and are measurable,
-
(ii)
the map (we call as frame operator) is a well-defined bounded positive invertible operator.
Notions of frame bounds, optimal bounds, tight frame, Parseval frame, Bessel are in same fashion as in Definition 2.2.
For fixed , and , the set of all weak continuous operator-valued frames in with respect to collection is denoted by
Proposition 8.2.
A collection in is a weak continuous (ovf) w.r.t. in if and only if there exist such that
-
(i)
for each , both maps , are measurable,
-
(ii)
-
(iii)
-
(iv)
.
If the Hilbert space is complex, then condition (iv) can be dropped.
Proposition 8.3.
Let be a weak continuous (ovf) in with an upper frame bound . If is measurable and then
Definition 8.4.
A weak continuous (ovf) in is said to be dual of a weak continuous (ovf) in if . The ‘weak continuous (ovf)’ , which is a ‘dual’ of is called the canonical dual of .
Proposition 8.5.
Let be a weak continuous (ovf) in If has representation for some measurable , then
Theorem 8.6.
Let be a weak continuous (ovf) with frame bounds and Then the following statements are true.
-
(i)
The canonical dual weak continuous (ovf) of the canonical dual weak continuous (ovf) of , is itself.
-
(ii)
are frame bounds for the canonical dual of
-
(iii)
If are optimal frame bounds for then are optimal frame bounds for its canonical dual.
Definition 8.7.
A weak continuous (ovf) in is said to be orthogonal to a weak continuous (ovf) in if .
Proposition 8.8.
Two orthogonal weak continuous operator-valued frames have common dual weak continuous (ovf).
Proof.
Let and be two orthogonal weak continuous operator-valued frames in . Define . Then for all ,
Hence which is positive invertible. Therefore is a weak continuous (ovf) in . Further, for all ,
and
Thus is a common dual of and ∎
Proposition 8.9.
Let and be two Parseval weak continuous operator-valued frames in which are orthogonal. If are such that , then is a Parseval weak continuous (ovf) in . In particular, if scalars satisfy , then is a Parseval weak continuous (ovf).
Proof.
For all ,
∎
Definition 8.10.
Two weak continuous operator-valued frames and , in are called disjoint if is a weak continuous (ovf) in
Proposition 8.11.
If and are orthogonal weak continuous operator-valued frames in , then they are disjoint. Further, if both and are Parseval weak, then is Parseval weak.
Proof.
Let . Then
∎
Characterization
Theorem 8.12.
Let be in Suppose is an orthonormal basis for for each Let Then is a weak continuous
-
(i)
(ovf) in with bounds and if and only if for each , both maps , are measurable and the map
is a well-defined bounded positive invertible operator such that
-
(ii)
Bessel in with bound if and only if for each , both maps , are measurable and the map
is a well-defined bounded positive operator such that
-
(iii)
(ovf) in with bounds and if and only if for each , both maps , are measurable and there exists such that
-
(iv)
Bessel in with bound if and only if for each , both maps , are measurable and there exists such that
Similarity of weak continuous operator-valued frames
Definition 8.13.
A weak continuous (ovf) in is said to be right-similar to a weak continuous (ovf) in if there exist invertible such that
Proposition 8.14.
Let with frame bounds let be positive, invertible, commute with each other, commute with , and let Then , and Assuming that is a Parseval weak continuous (ovf), then is a Parseval weak continuous (ovf) if and only if
Proposition 8.15.
Let and , for some invertible Then Assuming that is a Parseval weak continuous (ovf), then is a Parseval weak continuous (ovf) if and only if
Proof.
For all ,
∎
Remark 8.16.
For every weak continuous (ovf) , each of ‘weak continuous operator-valued frames’ and is a Parseval weak continuous (ovf) which is right-similar to
The case of weak continuous operator-valued frames
Definition 8.17.
A set of vectors in a Hilbert space is said to be a weak continuous frame w.r.t. a set in if
-
(i)
for each , both maps and are measurable,
-
(ii)
the map (we call as frame operator) is a well-defined bounded positive invertible operator.
Notions of frame bounds, optimal bounds, tight frame, Parseval frame, Bessel are similar to the same in Definition 6.1.
For fixed and , the set of all weak continuous frames for w.r.t. is denoted by
Proposition 8.18.
A set of vectors in is a weak continuous frame w.r.t. a set in if and only if there are such that
-
(i)
for each , both maps , are measurable,
-
(ii)
-
(iii)
-
(iv)
If the space is over then (iv) can be omitted.
Theorem 8.19.
Let be in . Define , . Then is a weak continuous frame for if and only if is a weak continuous operator-valued frame in .
Proposition 8.20.
If is a weak continuous frame for , then every can be written as
Proof.
For all , , . ∎
Proposition 8.21.
Let be a weak continuous frame for with upper frame bound . If for some we have is measurable and , then for that
Definition 8.22.
A weak continuous frame for is said to be a dual of weak continuous frame for if . The ‘weak continuous frame’ , which is a ‘dual’ of is called the canonical dual of .
Proposition 8.23.
Let be a weak continuous frame for If has representation for some measurable , then
Theorem 8.24.
Let be a weak continuous frame for with frame bounds and Then
-
(i)
The canonical dual weak continuous frame of the canonical dual weak continuous frame of , is itself.
-
(ii)
are frame bounds for the canonical dual of
-
(iii)
If are optimal frame bounds for then are optimal frame bounds for its canonical dual.
Definition 8.25.
A weak continuous frame for is said to be orthogonal to a weak continuous frame for if
Proposition 8.26.
Two orthogonal weak continuous frames have a common dual weak continuous frame.
Proof.
Let and be orthogonal weak continuous frames for . Define . For ,
Therefore which tells that is a weak continuous frame for . For duality, let . Then
and
∎
Proposition 8.27.
Let and be two Parseval weak continuous frames for which are orthogonal. If are such that , then is a Parseval weak continuous frame for . In particular, if scalars satisfy , then is a Parseval weak continuous frame for .
Proof.
For all ,
∎
Definition 8.28.
Two weak continuous frames and for are called disjoint if is a weak continuous frame for .
Proposition 8.29.
If and are orthogonal weak continuous frames for , then they are disjoint. Further, if both and are Parseval weak, then is Parseval weak.
Proof.
Let . Then
∎
Similarity
Definition 8.30.
A weak continuous frame for is said to be similar to a weak continuous frame for if there are invertible such that
Proposition 8.31.
Let with frame bounds let be positive, invertible, commute with each other, commute with , and let Then , , and . Assuming that is Parseval weak continuous, then is Parseval weak continuous if and only if
Proposition 8.32.
Let and , for some invertible Then Assuming that is Parseval weak continuous frame, then is Parseval weak continuous frame if and only if
Proof.
For all ,
∎
Remark 8.33.
For every weak continuous frame each of ‘weak continuous frames’ , and is a Parseval weak continuous frame which is similar to
9. Acknowledgments
The first author thanks the National Institute of Technology Karnataka (NITK), Surathkal for giving financial support and the present work of the second author was partially supported by National Board for Higher Mathematics (NBHM), Ministry of Atomic Energy, Government of India (Reference No.2/48(16)/2012/NBHM(R.P.)/R&D 11/9133).
References
- [1] M. R. Abdollahpour and M. H. Faroughi. Continuous -frames in Hilbert spaces. Southeast Asian Bull. Math., 32(1):1–19, 2008.
- [2] S. Twareque Ali, J.-P. Antoine, and J.-P. Gazeau. Continuous frames in Hilbert space. Ann. Physics, 222(1):1–37, 1993.
- [3] Syed Twareque Ali, Jean-Pierre Antoine, and Jean-Pierre Gazeau. Coherent states, wavelets, and their generalizations. Theoretical and Mathematical Physics. Springer, New York, second edition, 2014.
- [4] W. Ambrose. Measures on locally compact topological groups. Trans. Amer. Math. Soc., 61:106–121, 1947.
- [5] Radu Balan. Equivalence relations and distances between Hilbert frames. Proc. Amer. Math. Soc., 127(8):2353–2366, 1999.
- [6] Peter G. Casazza. The art of frame theory. Taiwanese J. Math., 4(2):129–201, 2000.
- [7] Peter G. Casazza and Nigel J. Kalton. Generalizing the Paley-Wiener perturbation theory for Banach spaces. Proc. Amer. Math. Soc., 127(2):519–527, 1999.
- [8] Peter G. Casazza and Gitta Kutyniok, editors. Finite frames. Theory and applications. Applied and Numerical Harmonic Analysis. Birkhäuser/Springer, New York, 2013.
- [9] Peter G. Cazassa and Ole Christensen. Perturbation of operators and applications to frame theory. J. Fourier Anal. Appl., 3(5):543–557, 1997.
- [10] Ole Christensen. An introduction to frames and Riesz bases. Applied and Numerical Harmonic Analysis. Birkhäuser/Springer, [Cham], second edition, 2016.
- [11] Wojciech Czaja. Remarks on Naimark’s duality. Proc. Amer. Math. Soc., 136(3):867–871, 2008.
- [12] Xin-Rong Dai and Qiyu Sun. The -problem for Gabor systems. Mem. Amer. Math. Soc., 244(1152):ix+99, 2016.
- [13] Joe Diestel and Angela Spalsbury. The joys of Haar measure, volume 150 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2014.
- [14] R. J. Duffin and A. C. Schaeffer. A class of nonharmonic Fourier series. Trans. Amer. Math. Soc., 72:341–366, 1952.
- [15] G. A. Edgar. Measurability in a Banach space. II. Indiana Univ. Math. J., 28(4):559–579, 1979.
- [16] Hans G. Feichtinger, Franz Luef, and Tobias Werther. A guided tour from linear algebra to the foundations of Gabor analysis. In Gabor and wavelet frames, volume 10 of Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap., pages 1–49. World Sci. Publ., Hackensack, NJ, 2007.
- [17] Gerald B. Folland. A course in abstract harmonic analysis. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1995.
- [18] Massimo Fornasier and Holger Rauhut. Continuous frames, function spaces, and the discretization problem. J. Fourier Anal. Appl., 11(3):245–287, 2005.
- [19] Michael Frank, Vern I. Paulsen, and Terry R. Tiballi. Symmetric approximation of frames and bases in Hilbert spaces. Trans. Amer. Math. Soc., 354(2):777–793, 2002.
- [20] Daniel Freeman and Darrin Speegle. The discretization problem for continuous frames. Adv. Math., 345:784–813, 2019.
- [21] Jean-Pierre Gabardo and Deguang Han. Frames associated with measurable spaces. Adv. Comput. Math., 18(2-4):127–147, 2003.
- [22] Philipp Grohs. Continuous shearlet tight frames. J. Fourier Anal. Appl., 17(3):506–518, 2011.
- [23] Deguang Han, Keri Kornelson, David Larson, and Eric Weber. Frames for undergraduates, volume 40 of Student Mathematical Library. American Mathematical Society, Providence, RI, 2007.
- [24] Deguang Han and David R. Larson. Frames, bases and group representations. Mem. Amer. Math. Soc., 147(697):x+94, 2000.
- [25] Deguang Han, David R. Larson, Bei Liu, and Rui Liu. Operator-valued measures, dilations, and the theory of frames. Mem. Amer. Math. Soc., 229(1075):viii+84, 2014.
- [26] DeGuang Han, PengTong Li, Bin Meng, and WaiShing Tang. Operator valued frames and structured quantum channels. Sci. China Math., 54(11):2361–2372, 2011.
- [27] Christopher Heil. A basis theory primer. Applied and Numerical Harmonic Analysis. Birkhäuser/Springer, New York, 2011.
- [28] Edwin Hewitt and Kenneth A. Ross. Abstract harmonic analysis. Vol. I: Structure of topological groups. Integration theory, group representations. Academic Press, Inc., Publishers, New York, 1963.
- [29] T. H. Hildebrandt. Integration in abstract spaces. Bull. Amer. Math. Soc., 59:111–139, 1953.
- [30] Sven H. Hilding. Note on completeness theorems of Paley-Wiener type. Ann. of Math. (2), 49:953–955, 1948.
- [31] Joseph W. Iverson. Subspaces of invariant under translation by an abelian subgroup. J. Funct. Anal., 269(3):865–913, 2015.
- [32] Joseph W. Iverson. Frames generated by compact group actions. Trans. Amer. Math. Soc., 370(1):509–551, 2018.
- [33] Victor Kaftal, David R. Larson, and Shuang Zhang. Operator-valued frames. Trans. Amer. Math. Soc., 361(12):6349–6385, 2009.
- [34] Gerald Kaiser. A friendly guide to wavelets. Birkhäuser Boston, Inc., Boston, MA, 1994.
- [35] B. S. Kashin and T. Yu. Kulikova. A note on the description of frames of general form. Mathematical Notes, 72:863–867, 2002.
- [36] K. Mahesh Krishna and P. Sam Johnson. Extension of frames and bases - I. arXiv.org/1810.01629v1 [math.OA], 3 October 2018.
- [37] Aleksandr Krivoshein, Vladimir Protasov, and Maria Skopina. Multivariate wavelet frames. Industrial and Applied Mathematics. Springer, Singapore, 2016.
- [38] P. Masani. Measurability and Pettis integration in Hilbert spaces. J. Reine Angew. Math., 297:92–135, 1978.
- [39] P. R. Masani and H. Niemi. The integration theory of Banach space valued measures and the Tonelli-Fubini theorems. II. Pettis integration. Adv. Math., 75(2):121–167, 1989.
- [40] Bin Meng. Operator-valued frame generators for group-like unitary systems. Oper. Matrices, 7(2):441–464, 2013.
- [41] Kazimierz Musial. Topics in the theory of Pettis integration. volume 23, pages 177–262 (1993). 1991. School on Measure Theory and Real Analysis (Grado, 1991).
- [42] Kazimierz Musial. Pettis integral. In Handbook of measure theory, Vol. I, II, pages 531–586. North-Holland, Amsterdam, 2002.
- [43] Leopoldo Nachbin. The Haar integral. D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London, 1965.
- [44] Joaquim Ortega-Cerda and Kristian Seip. Fourier frames. Ann. of Math. (2), 155(3):789–806, 2002.
- [45] B. J. Pettis. On integration in vector spaces. Trans. Amer. Math. Soc., 44(2):277–304, 1938.
- [46] A. Rahimi, A. Najati, and Y. N. Dehghan. Continuous frames in Hilbert spaces. Methods Funct. Anal. Topology, 12(2):170–182, 2006.
- [47] Wenchang Sun. -frames and -Riesz bases. J. Math. Anal. Appl., 322(1):437–452, 2006.
- [48] Wenchang Sun. Stability of -frames. J. Math. Anal. Appl., 326(2):858–868, 2007.
- [49] M. Takesaki. Theory of operator algebras. II, volume 125 of Encyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin, 2003.
- [50] Michel Talagrand. Pettis integral and measure theory. Mem. Amer. Math. Soc., 51(307):ix+224, 1984.
- [51] Robert M. Young. An introduction to nonharmonic Fourier series, volume 93 of Pure and Applied Mathematics. Academic Press, Inc., New York-London, 1980.