arxiv: v1 [math.fa] 27 Dec 2018

Transcription

1 arxiv: v1 [math.fa] 27 Dec 2018 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS GIORGIA BELLOMONTE AND ROSARIO CORSO Abstract. Two extensions of the notion of K-frame for unbounded operators are introduced. Equivalent formulations in terms of atomic systems, some characterizations and examples are given. 1. Introduction The notion of frames in Hilbert spaces dates backs to 1952 and was introduced in the pioneeristic paper of J. Duffin and A.C. Schaffer [15] and was resumed in 1986 by I. Daubechies, A. Grossman and Y. Meyer in [12]. This notion is a generalization of that of orthonormal basis. Indeed, a frame is a sequence in H that allows to every element of H to be written as an (infinite) combination of the elements of the sequence. The uniqueness of the decomposition is lost, in general, and this gives a certain freedom in the choice of the coefficients in the expansion which is then a good quality in applications. In 2012 L. Găvruţa [17] introduced the notion of atomic system for a (linear) bounded operator K everywhere defined on H. This notion generalizes those of frame and also of atomic system for a subspace in [16]. More precisely, {g n } is an atomic system for K if there exists γ > 0 such that for every f H there exists a f = {a n (f)} l 2 with a f 2 γ f and (1.1) Kf = a n (f)g n. Date: December 31, Mathematics Subject Classification. 42C15, 47A05, 47A63, 41A65. Key words and phrases. A-frames, weak A-frames, atomic systems, reconstruction formulas, unbounded operators. 1

2 2 GIORGIA BELLOMONTE AND ROSARIO CORSO This notion turns out to be equivalent to that of K-frame [17]; i.e. a sequence {g n } satisfying α K f 2 f g n 2 β f 2, f H, for some constants α,β > 0. The main theorem in [17] states that if {g n } is a K-frame, then there exists a Bessel sequence {h n } in H such that Kf = f h n g n, f H. This generalization of frames allows to write every element of R(K), the range of K (which need not be closed), as a superposition of the elements {g n } which do not necessarily belong to R(K). A question can arise at this point: why develop a theory of K-frames since there already exists a well-studied theory of frames that reconstruct the entire space H? The answer is that if in a specific situation we are looking for sequences with some properties, then we may not find any possible frame, but we may find a K-frame because this notion is weaker and we could want to decompose just R(K). Let us see a concrete example: let H = L 2 (R), φ L 2 (R) and consider the Gabor system {φ m,n (x)} m,n Z := {e 2πimbx φ(x na)} and the translation system {φ k (x)} k Z := {φ(x ck)} n Z with a,b,c > 0 and ab > 1. As it is known [10], there is no hope to have {φ m,n } (or {φ k }) as a frame, whatever φ is in L 2 (R). But if K is a bounded operator on L 2 (R) and R(K) H, then we might find φ such that one of the previous sequences is a K-frame (see Example 4.16). Note also that, in general, a K-frame {g n } is not even a frame sequence, i.e. a frame for the subspace span{g n }, the closed linear span of {g n }. In the literature there are many further studies or variations of [17] (see for examples [4, 18, 20, 22, 23, 24] and the references therein). In this paper we deal with two different generalizations of [17] which involve a closed densely defined operator A on H. When the operator is bounded, all definitions do coincide with the notions in [17]. To justify our two different approaches, let us consider a Bessel sequence {g n } H and assume that, for f D(A), the domain of A, we have a decomposition Af = a n (f)g n,

3 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 3 for some a f := {a n (f)} l 2 (in particular, this situation appears when {g n } is a frame). If A is unbounded, then the coefficients sequence a f can not depend continuously on f, i.e. it can not exists γ > 0 such that a f 2 γ f for every f D(A) (this fact may represent another issue when we want to decompose R(A) by a frame). For these reasons, we develop two approaches where either the sequence {g n } or the coefficients sequence a f is what takes on the unboundness of A. To go into more details, in the first case we consider a non-bessel sequence {g n } but the coefficients dependcontinuously onf D(A). Inthesecondcase, wetake abessel sequence {g n } and coefficients depending continuously on f D(A) only in the graph topology of A (which is stronger than the one of H when A is unbounded). The paper is organized as follows. After some preliminaries (Section 2), we introduce in Section 3, the notions of weak A-frame and weak atomic system for A (Definitions 3.1 and 3.6, respectively), where A is a, possibly unbounded densely defined operator. The word weak is due to the fact that the decomposition of R(A), with A also closable, holds only in a weak sense, in general; i.e., we find a Bessel sequence {t n } of H such that (1.2) Af u = f t n g n u f D(A),u D(A ). As well as in the bounded case (see [4, Lemma 2.2]), we have also A u = u g n t n, u D(A ), and thus we note a change of the point of view: a weak A-frame leads to a strong decomposition of A rather than A, in general. In Section 4 we face our second approach, giving the general notions of atomic system for A and A-frame (see Subsection 4.1), where A is a, possibly unbounded, closed densely defined operator. Denote by A the inner product which induces the graph norm A of A, the resulting decomposition is Af = f k n A g n f D(A), for some Bessel sequence {k n } of the Hilbert space D(A)[ A ]. Moreover, a sequence is an A-frame if and only if its synthesis operator is bounded with range containing R(A). Actually, we noticed that the second approach is a particular case of a setting with bounded operators between different Hilbert spaces. This

4 4 GIORGIA BELLOMONTE AND ROSARIO CORSO is why Section 4 is largely devoted to this framework and concludes with the application of the results to a densely defined closed operator on H in Corollary Throughout the paper we give some examples of weak A-frames or a A-frames that can be obtained from regular frames or that involves Gabor or wavelets systems. 2. Notations and basic facts Throughout the paper we consider an infinite dimensional (not necessarily separable) Hilbert spacehwithinnerproduct and norm. Theterm operator is used for a linear mapping. Given an operator F, we denote its domain by D(F), its range by R(F) and its adjoint by F (if F is densely defined). By B(H) we denote the set of bounded operators with domain H. As usual, we will indicate by l 2 the Hilbert space consisting of all sequences x := {x n } n N satisfying x n 2 < with norm x 2 = ( x n 2) 1/2. By {x n } we will briefly indicate a sequence {x n } n N. In the same way, we will write {g n } to mean a sequence {g n } n N of elements of H. For the following definitions the reader could refer e.g. to [1, 3, 10, 19, 21]. A sequence {g n } of elements in H is a Bessel sequence for H if any of the following equivalent conditions are satisfied (see [10, Corollary 3.2.4]) i) there exists a constant β > 0 such that f g n 2 β f 2, for all f H; ii) the series c ng n converges for all c = {c n } l 2. A sequence {g n } of elements in H is a lower semi-frame for H with lower bound α > 0 if α f 2 f g n 2, for every f H. Note that the series on the right may diverge for some f H. A sequence {g n } of elements in H is a frame for H if there exist α,β > 0 such that α f 2 f g n 2 β f 2, f H. We recall also the following definitions given in full generality (see [1, 2, 3, 9]). Let {g n } be a sequence of elements of H. The analysis operator C : D(C) H l 2 of {g n } is defined by { } D(C) = f H : f g n 2 <

5 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 5 Cf = { f g n }, f D(C). Thesynthesis operator D : D(D) l 2 H of {g n }is definedon thedensedomain { } D(D) := {c n } l 2 : c n g n is convergent in H by D{c n } = c n g n, {c n } D(D). The frame-operator S : D(S) H H of {g n } is defined by { } D(S) := f H : f g n g n is convergent in H Sf = f g n g n, f D(S). The main properties of these operators are summarized below. Proposition 2.1 ([3, Prop. 3.3]). Let {g n } be a sequence of H. The following statements hold. i) C = D and then C is closed. ii) If C is densely defined, then D C and D is closable. iii) D is closed if and only if C is densely defined and D = C. iv) S = DC. A sequence {g n } is a Bessel sequence if and only if one (and then all) of the operators C,D and S is bounded. Moreover, if {g n } is a frame then S is invertible with bounded inverse and the following reconstruction formula holds (2.1) f = f h n g n, f H, where {h n } is a frame of H. A possible choice of {h n } is {S 1 g n } but it can be different if {g n } is overcomplete (i.e. {g n } is not a basis). As a consequence of (2.1), the Hilbert space H must be separable. Now we spend some words on non-bessel sequences and reconstruction formulas. In general, if {g n } is a lower semi-frame, then by [8, Proposition 3.4] there exists a Bessel sequence {h n } such that h = h g n h n, h D(C).

6 6 GIORGIA BELLOMONTE AND ROSARIO CORSO Hence a reconstruction formula holds in weak sense as (2.2) f h = f h n g n h, f H,h D(C). Moreover, if D(C) is dense, then one can take h n = T 1 g n (see [11] after Proposition 3.4), where T := C 2 = C C, a self-adjoint operator with bounded inverse on H. The weakness of the formula (2.2) is a consequence of the fact that the synthesis operator D is not closed, in general. If {g n } is a lower semi-frame, D(C) is dense and D is closed, then D = C, by Proposition 2.1. Thus S = C C and the strong reconstruction formula again holds f = SS 1 f = f S 1 g n gn, f H. LetK B(H). Asequence {g n } H is an atomic system for K ([17, Definition 2]) if the following statements hold i) {g n } is a Bessel sequence of H; ii) thereexistsc > 0suchthatforeveryf Hthereexistsa f = {a n (f)} l 2 such that a f 2 C f and Kf = a n(f)g n. In [17, Theorem 3], the author proves the following Theorem 2.2. Let K B(H) and {g n } a sequence of H. The following statements are equivalent. i) {g n } is an atomic system for H. ii) there exist constants α,β > 0 such that α K f 2 f g n 2 β f 2, f H. iii) there exist a Bessel sequence {h n } of H such that Kf = f h n g n, f H. Due to the inequalities in ii) above, a sequence satisfying any of the conditions in Theorem 2.2 is also called a K-frame for H. In the following sections we will use the next lemma that can be obtained by Lemma 1.1 and Corollary 1.2 in [7].

7 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 7 Lemma 2.3. Let H and K be Hilbert spaces. Let W : D(W) K H a closed densely defined operator with closed range R(W). Then, there exists a unique W B(H,K) such that N(W ) = R(W), R(W ) = N(W), WW f = f, f R(W). The operator W is called the pseudo-inverse of W. 3. Weak A-Frames and weak atomic systems for A In this section we introduce our first generalization of the notion of K-frames to a densely defined operator on a Hilbert space H. Definition 3.1. Let A be a densely defined operator on H. A weak A-frame for H is a sequence {g n } H such that (3.1) α A f 2 for every f D(A ) and some α > 0. f g n 2 <, By [21, Theorem 7.2], if A B(H) then {g n } is a weak A-frame if and only if it is an A-frame in the sense of [17]. Remark 3.2. As it is clear from (3.1), the ordering of the sequence does not change its nature of weak A-frame. Remark 3.3. Let A be a closable densely defined operator and {g n } a weak A-frame. The domain D(C) of the analysis operator C of {g n } contains D(A ) and then it is dense and the synthesis operator D is closable. Moreover, α A f 2 f g n 2 = Cf 2 2 = T 1 2 f 2, f D(A ), where T = C C. This shows that the series in (3.1) is also bounded from above by the norm of an (self-adjoint) operator acting on f D(A ). Example 3.4. Let A be a densely defined operator on a separable Hilbert space H. Then a weak A-frame for H always exists. Indeed, let {e n } D(A) be an orthonormal basis of H, it suffices to take g n = Ae n, because for every f D(A ), A f 2 = f g n 2, by the Parseval identity.

8 8 GIORGIA BELLOMONTE AND ROSARIO CORSO Example 3.5. Let A be a densely defined operator on a separable Hilbert space H. A more general example of weak A-frame is obtained by taking a frame {f n } D(A) of H. In this case, in fact, there exist α,β > 0 such that α A f 2 A f f n 2 β A f 2, f D(A ). Therefore, {Af n } is a weak A-frame for H. Definition 3.6. Let A be a densely defined operator on H. A weak atomic system for A is a sequence {g n } H such that i) f g n 2 < for every f D(A ); ii) there exists γ > 0 such that, for every h D(A), there exists a h = {a n (h)} l 2 satisfying a h 2 γ h and (3.2) Ah u = a n (h) g n u, u D(A ). Remark 3.7. If {g n } is a weak atomic system for A then the series in (3.2) is unconditionally convergent. Indeed it is absolutely convergent: fix any h D(A), u D(A ), then a n(h) g n u a h 2 ( g n u 2) 1/2 <. The following lemma, which is a variation of [14, Theorem 2], will be useful in Theorem 3.10 for a characterization of weak atomic systems for A and weak A-frames. Lemma 3.8. Let (H, ),(H 1, 1 ) and (H 2, 2 ) be Hilbert spaces and T 1 : D(T 1 ) H 1 H, T 2 : D(T 2 ) H H 2 densely defined operators. Denote by T 1 : D(T 1 ) H H 1 and T 2 : D(T 2 ) H 2 H the adjoint operators of T 1,T 2, respectively. Assume that i) T 1 is closed; ii) D(T1 ) = D(T 2); iii) T1 f 1 λ T 2 f 2 for all f D(T1 ) and some λ > 0. Then there exists an operator U B(H 1,H 2 ) such that T 1 = T2 U. Proof. Define an operator J on R(T 2 ) H 2 as JT 2 f = T1 f H 1. Then J is a bounded operator since JT 2 f 1 = T1 f 1 λ T 2 f 2 for all f D(T1 ). Now we extend J to the closure of R(T 2 ) by continuity and define it to be zero on R(T 2 ). Therefore J B(H 2,H 1 ) and JT 2 = T1, i.e. T 1 = T2 J and the statement is proved taking U = J.

9 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 9 Definition 3.9. Let A be a densely defined operator and {g n } a sequence on H, then a sequence {t n } of H is called a weak A-dual of {g n } if (3.3) Ah u = h g n t n u h D(A),u D(A ). Theorem Let {g n } H and A be a closable densely defined operator on H. Then the following statements are equivalent. i) {g n } is a weak atomic system for A; ii) {g n } is a weak A-frame; iii) f g n 2 < for every f D(A ) and there exists a Bessel weak A-dual {t n }. Proof. i) ii) Let f D(A ). Then A f = sup h D(A), h =1 = sup h D(A), h =1 sup h D(A), h =1 A f h = sup h D(A), h =1 f Ah a n (h) f g n ( ) ( 1/2 ) 1/2 a n (h) 2 f g n 2 ( ) 1/2 γ A f g n 2, taking into account that a h γ A h for some γ A > 0 and every h D(A). ii) iii) Let {e n } be an orthonormal basis of l 2. Consider the densely defined operator B : D(A ) l 2 given by Bf = { f g n } which is a restriction of the analysis operator C : D({g n }) l 2. Since C is closed, B is closable. WeapplyLemma3.8toT 1 := AandT 2 := B notingthat Bf 2 2 = f g n 2. There exists M B(H,l 2 ) such that A = B M. This implies that for h D(A),u D(A ) = D(B) Ah u = B Mh u = Mh Bu 2 = Mh e n g n u = h t n g n u, taking {t n } = {M e n } which is a Bessel sequence by [3, Proposition 4.6]. iii) i) It suffices to take a h = {a n (h)} = { h t n } for all h D(A). Indeed for

10 10 GIORGIA BELLOMONTE AND ROSARIO CORSO some γ A > 0 we have a n(h) 2 = h t n 2 γ A h 2 since {t n } is a Bessel sequence and Ah u = a n(h) g n u, for u D(A ). The term weak of weak A-frame (or weak atomic system) is due to the fact that (3.3) holds whereas, in general, the same decomposition in strong sense Ah = h t n g n may fail (unlike the case of A-frame where A B(H), see [17, Theorem 3]). We show this with the following example. Example Suppose that H is separable. Let {e n } be an orthonormal basis of H and {g n } the sequence defined by g 1 = e 1 and g n = n(e n e n 1 ) for n 2. We denote by C,D the analysis and synthesis operators of {g n }, respectively. As it is shown in [9], C is densely defined and D is a proper restriction of C. In particular, { 1 n } n N D(C )\D(D). Let I be the analysis operator of {e n } (obviously it is a bijection in B(H,l 2 )). Now consider the sesquilinear form Ω(f,u) = f e n g n u, which is defined on H D(C). Moreover Ω(f,u) = If Cu 2 for all f H,u D(C). Therefore Ω(f,u) = C If u for all f D(C I),u D(C). This suggests to define A := C I which is a densely defined closed operator. The adjoint A is equals to I C and then it has D(C) as domain. Thus Af u = f e n g n u, f D(A),u D(A ), i.e. {g n } is a weak A-frame by Theorem But the relation Af = f e n g n, f D(A) does not hold. Indeed, the element f := 1 n e n belongs to D(A) and the series k f e n g n = e k for k N, does not converge in H. The argument in the previous example can be adapted to prove the following. Proposition If {g n } is a sequence on a separable Hilbert space H with densely defined analysis operator C, then {g n } is a weak A-frame, where A = C I. Example In general, for a weak A-frame {g n } of H a (Bessel) weak A-dual {t n } is not unique. For all examples we considered we give here a possible choice of {t n }.

11 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 11 i) If {g n } := {Ae n }, where {e n } D(A) is an orthonormal basis of H, then one can take {t n } = {e n }. ii) If {g n } := {Af n }, where {f n } D(A) is a frame for H, then one can take for {t n } any dual frame for {f n }. Remark Let A be a densely defined operator, {g n } a weak A-frame and {t n } a Bessel weak A-dual of {g n }, then for h D(A) and u D(A ). Then, A u h = u Ah = h t n g n u = u g n t n h. Since the sequence {t n } is Bessel, the series u g n t n is convergent. Therefore A u h = u g n t n h, h D(A),u D(A ) and by density of D(A) we obtain A u = u g n t n, u D(A ). In conclusion, it is worth noting that, surprisingly, from condition (3.1) the strong decomposition of A follows, whereas for A we have just a weak decomposition, in general. When A B(H) and {g n } is a Bessel sequence, then condition (3.1) gives decompositions in strong sense for both A and A (see [17, Theorem 3] and [4, Lemma 2.2]). Remark One could ask whether a weak A-dual {t n } of a weak A-frame {g n } is a weak A -frame, with A a closable densely defined operator. The answer is negative, in general. Indeed, if {t n } is a Bessel sequence, an inequality as α Af 2 f t n 2, f D(A) with α > 0, implies that A is bounded on its domain. Theorem Let A be a densely defined closed operator with R(A) = H and (A ) B(H) the adjoint of the pseudo-inverse A of A. Let {g n } be a weak A-frame and {t n } a weak A-dual of {g n }. Then, the sequence {h n }, with h n := (A ) t n H for every n N, is Bessel and (3.4) u = u g n h n, u D(A ).

12 12 GIORGIA BELLOMONTE AND ROSARIO CORSO Proof. First observe that, since A is onto, f = AA f, for every f H. Let {g n }, {t n } and {h n } be as in the statement. Then, by (3.3), we have that for f H,u D(A ) f u = and for some γ > 0 f h n 2 = AA f u = A f t n g n u = f h n g n u A 2 f t n γ A f 2 γ A 2 f 2 since {t n } is Bessel for H and A is bounded. Hence, {h n } is a Bessel sequence for H. Finally, for any f H, u D(A ), we have u f = u g n h n f. Since the sequence {h n } is Bessel, the series u g n h n is convergent and we conclude that u = u g n h n, for all u D(A ). Theorem Let A be a closed densely defined operator, {g n } H and D : D(D) l 2 H the synthesis operator of {g n }. The following statements are equivalent. i) The sequence {g n } is a weak A-frame for H; ii) there exists a (densely defined) closed extension R of D such that A = RQ with some Q B(H,l 2 ); iii) there exists a closed densely defined operator L : D(L) l 2 H such that g n = Le n where {e n } D(L) is an orthonormal basis for l2 and A = LU for some U B(H,l 2 ). Proof. i) ii) Following the proof of Theorem 3.10, A = B M. Then the statement is proved taking Q = M and R = B, since B C D. ii) iii) Since R is an extension of the syntesis operator D, it suffices to take L = R,U = M and for {e n } the canonical orthonormal basis of l2. iii) i) For every f D(A ) the adjoint of L is given by L f = f g n e n.

13 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 13 Indeed, for c l 2 L f c 2 = = L f c n e n = c n f Le n 2 e n c 2 f g n = f g n e n c. 2 Moreover, {g n } is a weak A-frame since for every f D(A ) A f 2 U L f 2 U 2 L f 2 = U 2 f g n 2. We conclude this section with some concrete examples. Example Let H := L 2 (R), y R, ω R and T y,m ω : H H be the translation and modulation operators defined, for f H, by (T y f)(x) = f(x y) and (M ω f)(x) = e 2iπωx f(x), respectively. Denote by A the closed densely defined operator Af = f with domain D(A) = H 1 (R). Let g : R C be a continuous function with support [0,L] and with boundedderivative g L 2 (R) (moregenerally, onecan take afunction g H 1 (R) such that g,g are in the Wiener space). Consider the Gabor sequence G(g,a,b) := {g m,n } := {M bn T am g : m,n Z}, i.e. (M bn T am g)(x) = e 2iπbnx g(x am), x R. By the hypothesis {g m,n } D(A). Assume in particular that {g m,n } is a frame for L 2 (R) (a necessary and sufficient condition is given in [19, Theorem 6.4.1]). Then, by Example 3.5, {Ag m,n } is a weak A-frame; i.e., for some γ > 0 γ A f 2 f Ag m,n 2 < m,n f D(A ) = D(A) = H 1 (R). Explicitly, Ag m,n (x) = 2iπbne 2iπbnx g(x am)+e 2iπbnx g (x am) = 2iπbn(M bn T am g)(x)+(m βn T am g )(x).

14 14 GIORGIA BELLOMONTE AND ROSARIO CORSO From {Ag m,n } we will construct another weak A-frame. Note that for f H 1 (R) γ Af 2 f Ag m,n 2 (3.5) m,n Z 2(4π 2 b 2 m,n Z 2(4π 2 b 2 +1)( f nm bn T am g 2 + m,n Z m,n Z f nm bn T am g 2 + f Mbn T am g 2 ) m,n Z f Mbn T am g 2 ) We want to show that the last expression if finite. First of all, the hypothesis ensure that the Gabor sequence {M bn T am g } generated by the derivative g is a Bessel sequence (see [19, Proposition 6.2.2]). Therefore m,n f M bnt am g 2 is finite even for f L 2 (R). Since 2iπbnM bn T am g = Ag m,n M bn T am (g ), we have 4π 2 b 2 f nm bn T am g 2 2( f Ag m,n 2 + f Mbn T am g 2 ) m,n Z m,n Z m,n Z which is finite for f D(A) = H 1 (R). This fact and (3.5) show that S := {nm bn T am g} {M bn T am g } is a weak A-frame. If, moreover, a L and b 1 L, the frame operator of {M bnt am g } is the multiplication operator by some bounded positive function r (see [19, Theorem 6.4.1]). Thus (3.5) can be written as the following inequality δ f 2 f nm bn T am g 2 + r 1 2f 2, f H 1 (R), m,n Z where δ > 0. Once more we point out that the order in sequence S is not relevant (see Remark 3.2). Example Let us consider the same space H := L 2 (R) and the same operator Af = f with domain D(A) = H 1 (R). Let φ H 1 (R) and the shift-invariant system {φ k (x)} k Z := {φ(x ck)} k Z, with c > 0. Then {(Aφ k )(x)} k Z = {φ (x ck)} k Z. However, we cannot apply Example 3.5 to say that {Aφ k } is a weak A-frame. Indeed, as it known (see [10]), {φ k } is never a frame for L 2 (R). Consider instead the wavelet system {φ n,m } n,m Z := {a m 2 φ(a m x nb)} n,m Z witha,b > 0. We have {φ n,m } H 1 (R)and{(Aφ n,m )(x)} k Z = {a 3m 2 φ (a m x nb)} k Z. Thesequencewe obtained is nothing but thewavelet system {φ n,m}generated by the derivative g multiplied by the scalars {a m }.

15 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 15 When {φ n,m } is a frame for H, {Aφ n,m } is a weak A-frame. In particular, applying [19, Theorem 10.6 (c)], for any n N, there exists a function φ with compact support and continuous derivatives up to order n such that {Aφ n,m } is a weak A-frame. Example Let A be closed and densely defined on H. The domain D(A) of A can be made into a Hilbert space (denoted by H A ) if endowed with the graph norm A. Thus we can construct a rigged Hilbert space H A H H A, where H A is the conjugate dual of H A. Since the sesquilinear form B(, ) that puts H A and H A in duality is an extension of the inner product of H we write B(ξ,f) = ξ f for the action of ξ H A on f H A. Now let {g n } H. Then {g n } can be regarded as a sequence in H A. Assume that it is a Bessel-like sequence in the sense of [6, Definition 2.10]. Then, by [6, Proposition 2.11], f g n 2 < and the operator F : H A l 2 given by Ff := { f g n } is bounded. If F is also injective (e.g. if {g n } is dense in H) and has closed range, then {g n } is a weak A -frame since c Af 2 c f 2 A f g n 2 = Ff 2 <, f D(A) and for some c > Atomic systems for bounded operators between different Hilbert spaces In this section we will give another generalization of the notions and results in [17] to unbounded closed densely defined operators in a Hilbert space. Actually, this can be done within a framework involving two different Hilbert spaces H and J. Since this framework is very similar to the standard one with a unique space, we often omit some details and in general we refer to [4, 17, 24]. Let H, J be the inner products and H, J the norms of H and J, respectively. We denote by B(J,H) the set of bounded linear operators from J into H. Definition 4.1. Let K B(J, H). An atomic system for K is a sequence {g n } H such that (i) {g n } is a Bessel sequence, (ii) there exists γ > 0 such that for all f J there exists a f = {a n (f)} l 2, with a f 2 γ f J and Kf = a n(f)g n.

16 16 GIORGIA BELLOMONTE AND ROSARIO CORSO It is clear that from the previous notion reduces to that of atomic system in [17] when J = H. Example 4.2. Let H be separable and K B(J,H). Every orthonormal basis {e n } of H is an atomic system for K. Indeed, for f J put a f = {a n (f)} = { Kf e n H }, then Kf = a n (f)e n and a f 2 = Kf H γ f J. for some γ > 0. More generally, consider a frame {g n } of H with dual frame {v n }. Thus Kf = Kf v n H g n, f J. Putting a f = { Kf v n H } for f J, we see that {g n } is an atomic system for K since a f 2 γ Kf H γ K f J for some γ > 0. Example 4.3. Let J be separable, K B(J,H) and {e n } an orthonormal basis of J, then for all f J f = f e n J e n, hence Kf = f e n J Ke n. Let us denote by g n = Ke n H, a n (f) = f e n J for every n N and a f = {a n (f)}. We prove that {g n } is an atomic system for K. Consideranyc = {c n } l 2, then c ng n convergesinh,indeed c nke n = K( c ne n ) H being c ne n J. Moreover, by the Parseval identity a n (f) 2 = f e n J 2 = f 2 J, f H. Example 4.4. A more general atomic system {g n } for K B(J,H) is obtained taking {g n } = {Kf n }, where {f n } is a frame for J. For L B(J,H) we denote by L B(H,J) its adjoint. We now give a characterization of the atomic systems for operators in B(J, H) similar to that obtained by Găvruţa in [17, Theorem 3] and we omit the proof. Theorem 4.5. Let {g n } H and K B(J,H). Then the following are equivalent. i) {g n } is an atomic system for K;

17 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 17 ii) there exist α,β > 0 such that for every f H (4.1) α K f 2 J f g n H 2 β f 2 H ; iii) {g n } is a Bessel sequence of H and there exists a Bessel sequence {k n } of J such that (4.2) Kf = f k n J g n, f J. Definition 4.6. Let K B(J,H). A sequence {g n } H is called a K-frame for H if the chain of inequalities (4.1) holds true for all f H and some α,β > 0. Remark 4.7. By (4.2) therange R(K) must beaseparable subspaceof H (which may be non separable). As in [4, Definition 2.1] a sequence {k n } J as in (4.2) is called an K-dual of the K-frame {g n } H. Example 4.8. As in Section 3, we remark that, in general, a K-dual {k n } J of a K-frame {g n } H is not unique. Then, for the K-frames {g n } considered in Examples 4.2, 4.3 and 4.4 we give a possible K-dual. i) If {g n } := {e n }, with {e n } H an orthonormal basis of H, then one can take {k n } = {K e n }. ii) If {g n } := {f n }, with {f n } H a frame for H, then one can take {k n } = {K v n } where {v n } is any dual frame for {f n }. iii) If {g n } := {Ke n}, with {e n} J an orthonormal basis of J, then one can take {k n } = {e n }. iv) If {g n } := {Kf n}, with {f n} J a frame for J, then one can take for {k n } any dual frame for {f n }. The Bessel sequences {g n } H, {k n } J in (4.2) are not interchangeable, in general, even if J = H. However, under stronger hypotheses on K, it can be proved the existence of a sequence of H which is interchangeable with {g n } in R(K) H. Proposition 4.9. Let K B(J,H) with R(K) H closed. Let {g n } be a K-frame and {k n } an its Bessel K-dual. Then,

18 18 GIORGIA BELLOMONTE AND ROSARIO CORSO i) the sequence {h n } with h n := (K R(K) ) k n H, for every n N, is Bessel and interchangeable with {g n } for any f R(K), i.e. f = f h n H g n = f g n H h n, f R(K). ii) {K h n } and {K g n } are two Bessel sequences for J and (4.3) Kf = f K h n J g n = f K g n J h n, f J. Moreover, the sequence {h n } is K-frame. Proof. i) It is a slight modification of the proof of [24, Proposition 3.3]. ii) Equalities (4.3) follow from i). The sequence {K h n } is Bessel for J, indeed f K h n J 2 = Kf h n H 2 β Kf 2 H β K 2 f 2 J, for all f J and some β > 0. Similarly, {K g n } is Bessel for J. We complete the proof using Theorem 4.5 and taking a n (f) = f K g n J, for all f J and n N. Remark [4, Lemma 2.2] Once at handak-frame {g n }, thebessel sequence {k n } J in Theorem 4.5 is a K -frame. Indeed, we have K h = h g n H k n h H, by the following calculations for all k J,h H K h k J = h Kk H = h k k n J g n H = h g n H k n k The following Lemma is a generalization of [14, Theorem 1] and can be proved in the very same way. Lemma Let H,J 1,J 2 be Hilbert spaces and L 1 B(J 1,H), L 2 B(J 2,H). Then the following statements are equivalent. i) R(L 1 ) R(L 2 ); ii) L 1 L 1 λ2 L 2 L 2, for some λ 0; iii) there exists a bounded operator M B(J 1,J 2 ) such that L 1 = L 2 M. We now give a characterization of K-frames involving the synthesis operator. J.

19 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 19 Theorem Let K B(J,H), {g n } H and D : D(D) l 2 H the synthesis operator of {g n }. The following statements are equivalent. i) {g n } is a K-frame for H; ii) there exists L B(l 2,H) such that g n = Le n where {e n} is an orthonormal basis for l 2 and R(K) R(L); iii) D B(l 2,H) and R(K) R(D); iv) D B(l 2,H) and there exists M B(J,l 2 ) such that K = DM. Proof. i) ii) Let {g n } be a K-frame for H, then for some α,β > 0 and for every f H, α K f 2 J f g n H 2 β f 2 H. Let {e n } be an orthonormal basis of l2 and consider the map N : H l 2 with Nf := f g n H e n f H, which is a bounded linear operator. Let N be its adjoint. Then N e n = g n, since N e n h H = e n Nh 2 = h g n H = g n h H, h H. From the previous inequality it follows that α K f 2 J Nf 2 2, hence αkk N N; taking L = N, by Lemma 4.11 it follows that R(K) R(L). ii) iii) The statements is proved using an isomorphism of l 2 that maps {e n } to the canonical orthonormal basis of l 2. iii) iv) It is a consequence of Lemma iv) i) One has K = M D and then for all f H 1 M 2 K f 2 J D f 2 2 = f g n H 2 D 2 f 2 H, since D is the analysis operator of {g n } and it is bounded. Remark From Theorem 4.12 iii) it follows that a K-frame is not necessarily a frame sequence. Indeed the range of the synthesis operator may be not closed (see [10, Corollary 5.5.2]) Atomic systems for unbounded operators A and A-frames. As announced at the beginning of this section, we come back to our original aim to generalize K-frames, with K B(H), in the context of unbounded closed and densely defined operator A on a Hilbert space H (here for simplicity we denote by

20 20 GIORGIA BELLOMONTE AND ROSARIO CORSO, the inner productand norm of H, respectively). Indeed, if we endow the domain D(A) of A with the graph norm A (induced by the graph inner product A ), then D(A)[ A ] is a Hilbert space (denoted by H A ) and A : H A H is a bounded operator from H A into H. Let A : H H A be the adjoint of A : H A H (different from A the adjoint of the unbounded operator A). For the reader s convenience we rewrite the definitions of atomic system for A B(H A,H) and of A-frame. A sequence {g n } H is said to be i) an atomic system for A if {g n } is a Bessel sequence and there exists γ > 0 such that for all f D(A) there exists a f = {a n (f)} l 2, with a f 2 γ f A and Af = a n(f)g n ; ii) an A-frame if there exist α,β > 0 such that for every f H α A f 2 A f g n 2 β f 2. Hence, Theorem 4.12 can be rewritten as follows. Corollary Let {g n } H and let A be a closed densely defined operator on H. Then the following are equivalent. i) {g n } is an atomic system for A; ii) {g n } is an A-frame; iii) {g n } is a Bessel sequence of H and there exists a Bessel sequence {k n } of H A such that (4.4) Af = f k n A g n f D(A). iv) the synthesis operator D of {g n } is bounded and R(A) R(D); v) the synthesis operator D of {g n }is bounded and there exists M B(H A,l 2 ) such that A = DM. Note also that if A B(H), then the graph norm of A is defined on H and it is equivalent to, thus our notion reduces to that of [17]. Remark The expansion in (4.4) of Af in terms of {g n } involves the inner product A. One might ask if there exists also a sequence {t n } H such that Af = f t n g n f D(A),

21 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS 21 like for atomic systems for A B(H) (see [17, Theorem 3]). The answer, in general, is negative if A is unbounded. Indeed, let {e n } be an orthonormal basis of H and assume that in particular {e n } D(A ) (such an orthonormal basis of H can always be found). Supposethat there exists a sequence {t n } H such that Af = f t n e n, for all f D(A). Then Af e n = f t n for all f D(A) and n N. But this leads to the contradiction that {e n } D(A ). We conclude by showing an example of an A-frame which is not a frame. Example Let H = L 2 (R), {α k } k Z be a complex sequence and A the densely defined and closed operator on L 2 (R) defined as with natural domain { α k f(x) x [2k,2k +1[ (Af)(x) = α k f(x 1) x [2k +1,2k +2[ D(A) = f L 2 (R) : k Z } 2k+1 α k 2 f(x) 2 dx <. The operator A B(L 2 (R)) if and only if {α k } k Z is bounded. Now let g L 2 (R) be bounded with support [0,2] and essinf x [0,2] g(x) > 0. Consider the Gabor system G(g,a,b) := G(g,2,1) = {e 2πimx g(x 2n)} m,n Z. This sequence is Bessel because g is bounded and compactly supported, but it is not a frame since ab = 2 > 1. However, we show that it is an A-frame. Indeed, the range of the synthesis operator of G(g,1,2) is R(D) = {f L 2 (R) : f(x) = f(x 1), x R} and contains R(A). Therefore, by Corollary 4.14, G(g, 2, 1) is an A-frame. 2k Acknowledgements The authors warmly thank Prof. C. Trapani for his fruitful comments. This work has been supported by the Gruppo Nazionale per l Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).

22 22 GIORGIA BELLOMONTE AND ROSARIO CORSO References 1. J.-P. Antoine, P. Balazs, Frames and semi-frames, J. Phys. A: Math. Theor. 44, (2011); Corrigendum 44, (2011) J.-P. Antoine, P. Balazs, Frames, semi-frames, and Hilbert scales, Numer. Funct. Anal. Optim. 33, (2012), J.-P. Antoine, P. Balazs, D. T. Stoeva, Classification of general sequences by frame related operators, Sampling Theory Signal Image Proc. 10, (2011), F.A. Neyshaburi, A.A. Arefijamaal, Some constructions of K-frames and their duals, Rocky Mountain J. Math. 47 (6), (2017), M.S. Asgari, H. Rahimi, Generalized frames for operators in Hilbert spaces, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 17, (2014), G. Bellomonte, C. Trapani, Riesz-like bases in rigged Hilbert spaces, Z. Anal. Anwend. 35, (2016), F.J. Beutler, W.L. Root, The operator pseudoinverse in control and systems identification, in Generalized Inverses and Applications (M. Zuhair Nashed. Ed.), Academic Press, New York, P. Casazza, O. Christensen, S. Li, A. Lindner, Riesz-Fischer sequences and lower frame bounds, Z. Anal. Anwend. 21(2), (2002), O. Christensen, Frames and Pseudo-inverses, J. Math. Anal. Appl. 195, (1995), O. Christensen, An Introduction to Frames and Riesz Bases, Birkhäuser, Boston, R. Corso, Sesquilinear forms associated to sequences on Hilbert spaces, preprint, arxiv: , math.fa, I. Daubechies, A. Grossmann, Y. Meyer, Painless nonorthogonal expansions, J. Math. Phys. 27 (1986), I. Daubechies, Orthonormal bases of compactly supported wavelets, Comm. Pure Appl. Math., 41(7), (1988), R.G. Douglas, On majorization, factorization, and range inclusion of operators on Hilbert space, Proc. Amer. Math. Soc. 17 (1) (1966), J. Duffin, A.C. Schaeffer A class of nonharmonic Fourier series, Trans. Amer. Math. Soc. 72 (1952), H.G. Feichtinger, T. Werther, Atomic Systems for Subspaces, in: L. Zayed (Ed.), Proceedings SampTA 2001, Orlando, FL, (2001), L. Găvruţa, Frames for operators, Appl. Comp. Harmon. Anal. 32 (2012), R. Geddavalasa, P.S. Johnson, Frames for operators in Banach spaces, Acta Math. Vietnam. 42, 4, (2017), K. Gröchenig, Foundations of time-frequency analysis, Birkhäuser, Boston, X. Guo, Canonical dual K-Bessel sequences and dual K-Bessel generators for unitary systems of Hilbert spaces, J. Math. Anal. Appl. 444, (2016), C. Heil, A Basis Theory Primer: Expanded Edition, Birkhäuser, Boston, H. Javanshiri, A.-M. Fattahi, Continuous Atomic Systems for Subspaces, Mediterranean Journal of Mathematics, 13 (4), (2016),

23 FRAMES AND WEAK FRAMES FOR UNBOUNDED OPERATORS A. Najati, M. Mohammadi Saem, P. Găvruţa, Frames and operators in Hilbert C*-modules, Operators and Matrices, 10 (1), (2016), X. Xiao, Y. Zhu, L. Găvruţa, Some properties of K-frames in Hilbert spaces, Results. Math. 63, (2013), Dipartimento di Matematica e Informatica, Università degli Studi di Palermo, I Palermo, Italy address: giorgia.bellomonte@unipa.it address: rosario.corso@studium.unict.it