Dual and Similar Frames in Krein Spaces

Similar documents
j jf, S K cf = j K c j jf, f H.

Equivalent Multivariate Stochastic Processes

G-frames in Hilbert Modules Over Pro-C*-algebras

BANACH FRAMES GENERATED BY COMPACT OPERATORS ASSOCIATED WITH A BOUNDARY VALUE PROBLEM

FRAME DUALITY PROPERTIES FOR PROJECTIVE UNITARY REPRESENTATIONS

Duals of g-frames and g-frame Sequences

g-frame Sequence Operators, cg-riesz Bases and Sum of cg-frames

C -Algebra B H (I) Consisting of Bessel Sequences in a Hilbert Space

arxiv:math/ v1 [math.fa] 14 Sep 2003

On the Equality of Fusion Frames 1

Remarks on Fuglede-Putnam Theorem for Normal Operators Modulo the Hilbert-Schmidt Class

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

arxiv: v1 [math.oa] 2 Mar 2014

Applied and Computational Harmonic Analysis

On Riesz-Fischer sequences and lower frame bounds

A NEW IDENTITY FOR PARSEVAL FRAMES

Perturbation Theory for Self-Adjoint Operators in Krein spaces

A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE

Frames and bases in tensor products of Hilbert spaces and Hilbert C -modules

FRAMES, BASES AND GROUP REPRESENTATIONS

MULTIPLEXING AND DEMULTIPLEXING FRAME PAIRS

A primer on the theory of frames

arxiv:math/ v1 [math.fa] 5 Aug 2005

Ole Christensen 3. October 20, Abstract. We point out some connections between the existing theories for

ON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES

arxiv:math.oa/ v1 22 Nov 2000

Spectral Theory, with an Introduction to Operator Means. William L. Green

KKM-Type Theorems for Best Proximal Points in Normed Linear Space

A Present Position-Dependent Conditional Fourier-Feynman Transform and Convolution Product over Continuous Paths

Strong Convergence of the Mann Iteration for Demicontractive Mappings

A Note of the Strong Convergence of the Mann Iteration for Demicontractive Mappings

Shift Invariant Spaces and Shift Generated Dual Frames for Local Fields

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Approximately dual frames in Hilbert spaces and applications to Gabor frames

Operators with Closed Range, Pseudo-Inverses, and Perturbation of Frames for a Subspace

Some Range-Kernel Orthogonality Results for Generalized Derivation

DUALITY PRINCIPLE IN g-frames

BOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA

I teach myself... Hilbert spaces

Decompositions of frames and a new frame identity

So reconstruction requires inverting the frame operator which is often difficult or impossible in practice. It follows that for all ϕ H we have

Affine and Quasi-Affine Frames on Positive Half Line

A Direct Proof of Caristi s Fixed Point Theorem

A Fixed Point Approach to the Stability of a Quadratic-Additive Type Functional Equation in Non-Archimedean Normed Spaces

Order-theoretical Characterizations of Countably Approximating Posets 1

Normality of adjointable module maps

PROJECTIONS ONTO CONES IN BANACH SPACES

Frame expansions in separable Banach spaces

Subsequences of frames

A Short Course on Frame Theory

On the Power of Standard Polynomial to M a,b (E)

Pre-Hilbert Absolute-Valued Algebras Satisfying (x, x 2, x) = (x 2, y, x 2 ) = 0

IN AN ALGEBRA OF OPERATORS

arxiv: v2 [math.oa] 21 Nov 2010

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP


Contents. 0.1 Notation... 3

On a Boundary-Value Problem for Third Order Operator-Differential Equations on a Finite Interval

STRONG CONVERGENCE THEOREMS FOR COMMUTATIVE FAMILIES OF LINEAR CONTRACTIVE OPERATORS IN BANACH SPACES

Frames in Hilbert C -modules. Wu Jing

Hilbert Spaces. Contents

Caristi-type Fixed Point Theorem of Set-Valued Maps in Metric Spaces

Hyers-Ulam-Rassias Stability of a Quadratic-Additive Type Functional Equation on a Restricted Domain

ON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES

Remark on a Couple Coincidence Point in Cone Normed Spaces

Introduction to Hilbert Space Frames

β Baire Spaces and β Baire Property

GABOR FRAMES AND OPERATOR ALGEBRAS

Journal of Mathematical Analysis and Applications. Properties of oblique dual frames in shift-invariant systems

Analysis Preliminary Exam Workshop: Hilbert Spaces

Sequences of (ψ, φ)-weakly Contractive Mappings and Stability of Fixed Points

Sung-Wook Park*, Hyuk Han**, and Se Won Park***

Available online at Adv. Fixed Point Theory, 3 (2013), No. 4, ISSN:

On the simplest expression of the perturbed Moore Penrose metric generalized inverse

David Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent

Density results for frames of exponentials

The Split Hierarchical Monotone Variational Inclusions Problems and Fixed Point Problems for Nonexpansive Semigroup

Biholomorphic functions on dual of Banach Space

Frame Wavelet Sets in R d

Existence of Solutions for a Class of p(x)-biharmonic Problems without (A-R) Type Conditions

Viscosity Approximative Methods for Nonexpansive Nonself-Mappings without Boundary Conditions in Banach Spaces

Sufficient conditions for functions to form Riesz bases in L 2 and applications to nonlinear boundary-value problems

THE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS

Morera s Theorem for Functions of a Hyperbolic Variable

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES

THE KADISON-SINGER PROBLEM AND THE UNCERTAINTY PRINCIPLE

THE DAUGAVETIAN INDEX OF A BANACH SPACE 1. INTRODUCTION

L p Theory for the div-curl System

SOME TOPICS ON WAVELETS

Where is matrix multiplication locally open?

Contra θ-c-continuous Functions

An Application of Fibonacci Sequence on Continued Fractions

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets

Linear Algebra and its Applications

APPROXIMATE ADDITIVE MAPPINGS IN 2-BANACH SPACES AND RELATED TOPICS: REVISITED. Sungsik Yun

Second Hankel Determinant Problem for a Certain Subclass of Univalent Functions

Infinite-dimensional Vector Spaces and Sequences

arxiv: v1 [math.gr] 8 Nov 2008

A FRAME THEORY PRIMER FOR THE KADISON-SINGER PROBLEM

Transcription:

International Journal of Mathematical Analysis Vol. 10, 2016, no. 19, 939-952 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2016.6469 Dual and Similar Frames in Krein Spaces Kevin Esmeral, Osmin Ferrer Department of Mathematics, Universidad de Sucre Carrera 28 No. 5-267, Sincelejo, Colombia Boris Lora Department of Mathematics, Universidad del Atlántico Km 7 Antigua vía Puerto Colombia, Barranquilla, Colombia To Oswaldo Dede on the occasion of his 75 th anniversary Copyright c 2016 Kevin Esmeral, Osmin Ferrer and Boris Lora. This article is distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In this paper we prove that in a Krein space a given frame has only one dual and similar frame: the canonical dual one. It is also shown that in a Krein space K with fundamental decomposition K = K + K, the subspaces K ± are invariant under the frame operator of a given frame of this space if and only if it commutes with the associated fundamental symmetry of the space K. Mathematics Subject Classification: Primary 42C15, 46C20, 47B50 Keywords: frames; dual frame, similar frames; frames in Krein spaces 1 Introduction The frames in Hilbert spaces have been extensively studied in the last years. One of the most important results in this theory is the Frame Decomposition Theorem that tell us how to write each vector of the Hilbert space as a linear

940 Kevin Esmeral, Osmin Ferrer and Boris Lora combination of the element of the frame [4, 5, 6, 7, 8, 9, 12]. Namely, for each x in a Hilbert space (H,, ) with a frame {x n } n N the theorem states that x = n N x, S 1 x n x n, (1) where Sx = n N x, x n x n is the frame operator of {x n } n N. Since invertible operators transfer frames into frames it follows that {S 1 x n } n N is also a frame for H and it is called the canonical dual frame of the frame {x n } n N. The formula (1) leads to a definition of dual frames in Hilbert spaces: two frames {x n } n N and {y n } n N of a Hilber space (H,, ) are said to be dual if for any x H the following identity holds. x = n N x, y n x n. (2) Two frames {x n } n N and {y n } n N are similar if there is an invertible operator V: H H such that Vx n = y n n N. By (1) the frames {S 1 x n } n N and {x n } n N are at the same time dual and similar frames. Let H 1, H 2 be Hilbert spaces with frames {x n } n N and {y n } n N respectively. If U: H 1 H 1 and V: H 2 H 2 are invertible operators with v n = Vy n, n N, Ux n = u n, n N, then it is easy to see that {x n } n N {y n } n N and {u n } n N {v n } n N are similar frames in the Hilbert space H = H 1 H 2. However, if {z n } n N and {w n } n N are similar frames in H = H 1 H 2 with Vz n = w n, then {P 1 w n } n N and {P 2 w n } n N are frames in H 1 and H 2 respectively, but they are not similar to {P 1 z n } n N and {P 2 z n } n N respectively, where P i : H H i (i = 1, 2) are orthogonal projections. This fact is a motivation to study similar and dual frames in this sumspaces, in particular in Krein spaces. A vector space K over C with a sesquilinear form [, ] : K K C is a Krein space if K = K + K, where (K +, [, ]), (K, [, ]) are Hilbert spaces [2, 3]. The frame theory in Krein spaces was introduced by P. Acosta-Humánez, K. Esmeral, O. Ferrer and E. Wagner in [1, 11], and alternatively by J. I. Giribet, A. Maestripieri, F. Martínez Pería and P. Massey in [13]. The present paper continues the study of the frame theory on Krein spaces. Our aim is to show that the unique pair of similar and dual frames in Krein spaces are {x n } n N and {S 1 x n } n N. In addition, we show that the subspaces K ± in a Krein space K are invariant under the frame operator if and only if it commutes with the associated fundamental symmetry of K. This paper is structured as follows. Section 2 is based on the references [2, 3, 11]. We will consider some basic aspects related to Krein spaces and frames in Krein spaces. In Section 3 we present the main results. We start this section studying frames that are at the same time similar and dual in Krein space, and we proof that the unique similar and dual frame for a given frame is

Dual and similar frames in Krein spaces 941 the canonical dual frame (Proposition 3.1). In the case of a similar frame but not dual frame, it will be constructed a dual frame for it. Finally, we establish a necessary and sufficient condition for the frame operator S commutes with the associated fundamental symmetry of the Krein space (Theorem 3.6). 2 Preliminary notes The purpose of this section is to fix notations and to recall the basic elements of frame theory. For more details on Krein spaces, see, for instance, [2] and [3]. A comprehensive introduction to frame theory can be found in [5]. 2.1 Krein spaces Throughout this paper, (K, [, ]) denotes a Krein space with fundamental decomposition K + K and fundamental symmetry J given by J(x + + x ) = x + x, x + + x K + K, (3) such that the J-inner product [x + +x, y + +y ] J := [x + +x, J(y + +y )] = [x +, y + ] [x, y ], x ±, y ± K ±, (4) turns (K, [, ] J ) into a Hilbert space. The positive definite inner product [, ] J defines a topology on K through the J-norm x J := [x, x] J = [x, Jx], x K, and K + K becomes the orthogonal sum of Hilbert spaces. Note that J 2 = id K by (3). Topological concepts such as convergence and bounded linear operators refer to the topology induced by the Hilbert space norm J. The angle brackets, are reserved to denote the positive definite inner product of a given Hilbert space H. When no confusion can arise, we write shortly K for a Krein space (K, [, ]), and H for a Hilbert space (H,, ). The symbol k 2 (N) will be used if K = l 2 (N) as a complex vector space. A J-orthonormal basis is a complete family {e n } n N K such that [e n, e m ] = 0 for n m and [e n, e n ] = 1. A subspace V K is said to be uniformly J-positive (resp. uniformly J-negative) if there exists an ε > 0 such that [v, v] ε v 2 J (resp. [v, v] ε v 2 J ) for all v V. The unique adjoint T [ ] : (K 2, [, ] 2 ) (K 1, [, ] 1 ) of a bounded linear operator T : (K 1, [, ] 1 ) (K 2, [, ] 2 ) is always taken with respect to the specified inner products, i.e., [T x, y] 1 = [x, T [ ] y] 2 for all x K 1, y K 2.

942 Kevin Esmeral, Osmin Ferrer and Boris Lora For instance, it follows from (3) and (4) that J : (K, [, ]) (K, [, ]) and J : (K, [, ] J ) (K, [, ] J ) are self-adjoint, i.e., J [ ] = J. Furthermore, the identity operator I J : (K, [, ]) (K, [, ] J ), I J x = x, (5) has the adjoint J : (K, [, ] J ) (K, [, ]) since [I J x, y] J = [x, y] J = [x, J y] for all x, y K. A self-adjoint operator A = A [ ] on (K, [, ]) is called uniformly positive, if [Ax, x] ε[x, x] J for a suitable constant ε > 0 and all x K. Observe that [Ax, x] = [JAx, x] J, we thus have JA ε id K on the Hilbert space (K, [, ] J ). As a consequence, A has a bounded inverse. The fundamental projections P + := 1 2 (id K + J), P := 1 2 (id K J) (6) act on K = K + K by P + (x + +x ) = x + and P (x + +x ) = x. Equations in (6) imply immediately that P ± and J commute. Moreover, P + and P are orthogonal projections, i.e. P 2 ± = P ± = P ±, regardless of whether we consider [, ] or [, ] J on K. For more details on Krein spaces, see [2, 3]. 2.2 Frames in Krein spaces Next, we consider some definitions and facts about frames in Krein spaces. For details see [11]. Definition 2.1. [11] Let K be a Krein space. A countable sequence {x n } n N K is called a frame for K, if there exist constants 0 < a b < such that a x 2 J n N [x, x n ] 2 b x 2 J for all x K. (7) Remark 2.2. Since we are mostly interested in infinite-dimensional spaces, and since one can always fill up a finite frame with zero elements, we assume that N = N whenever the finiteness of N is of no importance. The constants a and b are called frame bounds, where the greatest constant a and the smallest constant b satisfying (7) are called optimal lower frame bound and optimal upper frame bound, respectively. A frame is tight, if one can choose a = b. In particular, if a = b = 1 it is called a Parseval frame. Proposition 2.1. [11] Let K be a Krein space and {x n } n N a sequence in K. The following statements are equivalent: i) {x n } n N is a frame for the Krein space K with frame bounds a b. ii) {Jx n } n N is a frame for the Krein space K with frame bounds a b.

Dual and similar frames in Krein spaces 943 iii) {x n } n N is a frame for the Hilbert space (K, [, ] J ) with frame bounds a b. iv) {Jx n } n N is a frame for the Hilbert space (K, [, ] J ) with frame bounds a b. Definition 2.3. Let (K, [, ]) be a Krein space and let (k 2 (N), [, ]) be a Krein space with fundamental symmetry J l2. Given a frame {x n } n N for K, the linear map T : k 2 (N) K, T (α n ) n N = n N α n x n (8) is called pre-frame operator. The adjoint of T is called analysis operator and is given by T [ ] x = J l2 ([x, x n ]) n N, x K. (9) Indeed, for all (α n ) n N k 2 (N) and x K, one has [T (α n ) n N, x] = α n [x,x n ] = [(α n ) n N, ([x,x n ]) n N ] Jl2 n N = [(α n ) n N, J l2 ([x,x n ]) n N ]. To obtain a frame operator given by a formula analogous to the Hilbert case with, replaced by [, ], we make the following definition: Definition 2.4. Let (K, [, ]) be a Krein space, (k 2 (N), [, ]) a Krein space with fundamental symmetry J l2, and {x n } n N K a frame for K. The operator S := T J l2 T [ ] is called frame operator. It follows immediately from (8), (9) and J 2 l 2 = id l2 that Sx = n N[x, x n ]x n, x K, (10) as desired. Moreover, S is clearly self-adjoint. If (k 2 (N), [, ]) = (l 2 (N),, ), then S = T T, exactly as in the Hilbert space case. Equation (10) yields [Sx, x] = n N [x, x n] 2 for all x K. Replacing x by Jx and writing [Jx, x n ] = [Jx, x n ] J, we get from Equation (7) and Theorem 2.1.iii) that a x 2 J [SJx, x] J b x 2 J, x K.

944 Kevin Esmeral, Osmin Ferrer and Boris Lora Hence SJ is a strictly positive operator on the Hilbert space (K, [, ] J ) satisfying a SJ b. Therefore S is invertible with bounded inverse, and a 1 JS 1 b 1, where we used J 1 = J. Equivalently, when viewed as positive operators on the Krein space (K, [, ]), we have aj S bj and b 1 J S 1 a 1 J. (11) Proposition 2.2 (Frame Decomposition Theorem). Let {x n } n N be a frame for the Krein space K, and let S be defined as in Definition 2.4. Then x = [x, x n ]S 1 x n = S n N n N[x, 1 x n ]x n, (12) and both series converge unconditionally for all x K. By Proposition 2.1, each frame {x n } n N for (K, [, ]) gives rise to three other frames with slightly different frame operators. These frame operators can be related to S using (10). First, consider the frame {Jx n } n N for (K, [, ]). Denoting the corresponding frame operator by S 0, we get from (10) S 0 x = n N [x, Jx n ]x n = n N[Jx, x n ]Jx n, x K. (13) Comparing this equation with (10) we obtain S 0 = J S J. Next, let S 1 be the frame operator of the frame {x n } n N for (K, [, ] J ). Then, by Equation (10), we have S 1 x = [x, x n ] J x n = x n ]x n, x K, n N n N[Jx, and thus S 1 = S J. Finally, with S 2 denoting the frame operator of the frame {Jx n } n N for (K, [, ] J ), we get from (10) S 2 x = n N [x, Jx n ] J Jx n = n N[x, x n ]Jx n, x K, so that S 2 = J S. Proposition 2.3. [10] Let K 1 and K 2 be Krein spaces and {x n } n N, {y n } n N be frames for K 1, K 2, respectively. Denote by S K1, S K2 their corresponding frame operators. Then {x n } n N {y n } n N is a frame for K := K 1 K 2 and the corresponding frame operator is given by S(x + y) = S K1 x + S K2 y, x + y K. (14)

Dual and similar frames in Krein spaces 945 2.3 Dual frames Now, we state a definition of dual frames in Krein spaces analogous to that given in Hilbert space setting. Then describe dual frames in terms of the fundamental symmetry J and the frame operator S. Definition 2.5. Let {x n } n N be a frame for the Krein space K. A frame {y n } n N for K is called a dual frame of {x n } n N if for every x K x = n N[x, y n ]x n. (15) Recall that, by Equation (15), a dual frame of the frame {x n } n N for the Hilbert space (K, [, ] J ) is a frame {y n } n N for (K, [, ] J ) satisfying x = n N[x, y n ] J x n, for all x K. Proposition 2.4. [11] Let S be the frame operator of the frame {x n } n N for the Krein space K. Then i) {S 1 x n } n N is a dual frame of {x n } n N for the Krein space K. ii) {JS 1 x n } n N is a dual frame of {Jx n } n N for the Krein space K. iii) {JS 1 x n } n N is a dual frame of {x n } n N for the Hilbert space (K, [, ] J ). iv) {S 1 x n } n N is a dual frame of {Jx n } n N for the Hilbert space (K, [, ] J ). If 0 < a b < are frame constants for {x n } n N, then all these dual frames admit the frame constants 0 < b 1 a 1 <. 2.4 Similar frames in Krein spaces It is easy to see that for any unitary operator U: K 1 K 2, {x n } n N is a frame for K 1 if and only if {Ux n } n N is a frame for K 2. Next, we introduce similar frames in a Krein space. Definition 2.6. Let (K 1, [, ] 1 ) and (K 2, [, ] 2 ) be Krein spaces. Two frames {x n } n N and {y n } n N for K 1 and K 2 respectively, are said to be similar if there exists an invertible operator U : K 1 K 2 such that Ux n = y n for n N. The frames are called unitarily equivalent if U is a unitary operator from K 1 onto K 2. The following result provides a criterion for a couple of frames to be similar. It is an analogue to Deguang and Larson s result [7] for Hilbert spaces. The proof can be found in [10].

946 Kevin Esmeral, Osmin Ferrer and Boris Lora Proposition 2.5. Let {x n } n N, and {y n } n N be frames for the Krein spaces (K 1, [, ] 1 ) and (K 2, [, ] 2 ), respectively. Let T [ ] K 1 and T [ ] K 2 be the analysis operators for {x n } n N and {y n } n N, respectively. The frames {x n } n N, and {y n } n N are similar if and only if T [ ] K 1 and T [ ] K 2 have the same range. 3 Main results Some questions about similar and dual frames for Krein spaces arise: 1. May Similar frames be also dual frames? 2. Are there many pairs of frames for a Krein space K that are at the same time similar and dual frames? 3. Let {x n } n N and {y n } n N be similar frames for a Krein space K. May we construct from {y n } n N a dual frame for {x n } n N? This section pretends to give answers to these questions. In addition, our main results are stated and proved. The following example shows that two similar frames {x n } n N and {y n } n N in a Krein space may not be dual frames. Example 3.1. Let a 0 R and K = L 2 ([ a, a]) be the space of all complex valued functions that are square integrable with respect to the usual Lebesgue measure on [ a, a]. On K consider the sesquilinear form [, ]: K K C given by [f, g] = Observe that K = K + K, where a a f(x)g( x)dx. K + := {f L 2 ([ a, a]): f is even}, K := {f L 2 ([ a, a]): f is odd}. It is easily seen that (K +, [, ]) and (K, [, ]) are Hilbert spaces. Therefore (K, [, ]) is a Krein space with fundamental symmetry (Jf)(x) = f( x). Clearly [f, Jg] = a a f(x)g(x)dx = f, g. (16) Recall that the family of functions {e n : n Z}, where e n (x) = 1 2a e i nπ a x is an orthonormal basis of (K,, ) and hence is a Parseval frame for (K, [, ]) by Proposition 2.1. Let {x n } n Z be a frame for K and similar to {e n } n Z.

Dual and similar frames in Krein spaces 947 Then there is an invertible operator U: K K such that e n = Ux n. Thus, by (16), (15) and the orthogonality of {e n } n Z we have for every f K n Z[f, e n ]x n = U 1 ( n Z Jf, e n e n ) = U 1 Jf. Therefore, {e n } n Z and {x n } n Z are dual frames if and only if J = U. So, if U J we have the announced result. By Proposition 2.4 item i and Definition 2.6 it follows easily that if {x n } n N is a frame for K, then {x n } n N and {S 1 x n } n N are similar and dual frames for K. The following results show that {S 1 x n } n N is the unique similar and dual frame of {x n } n N. Lemma 3.2. Let {x n } n N and {y n } n N be frames for a Krein space K. If there is a bounded operator U: K K such that Ux n = y n, n N, then U = T J l2 V [ ] S 1, (17) where S = V J l2 V [ ] is the frame operator of the family {x n } n N and T is the pre-frame operator of {y n } n N. Proof. Let T and V be the pre-frame operator for {y n } n N and {x n } n N resp. By (8) and (9) for all (α n ) n N k 2 (N) and every x K one gets that T (α n ) n N = n N α n y n, V [ ] x = J l2 {[x, x n ]} n N. (18) Thus, if S = V J l2 V [ ] is the frame operator corresponding to the family {x n } n N, then by Frame Decomposition Theorem (Proposition 2.2) and (18) for every x K we have ( ) Ux = U [x, S 1 x n ]x n = [x, S 1 x n ]Ux n = n N n N n N[S 1 x, x n ]y n = T {[S 1 x, x n ]} n N = T J l2 V [ ] S 1 x. Lemma 3.3. Let K be a Krein space with frames {x n } n N and {y n } n N. If {x n } n N and {y n } n N are dual frame, then T J l2 V [ ] = id K, (19) where T and V are the pre-frame operators of {y n } n N and {x n } n N.

948 Kevin Esmeral, Osmin Ferrer and Boris Lora Proof. Let T and V be the pre-frame operators of {y n } n N and {x n } n N respectively. Then by (18) for every x K we have x = n N[x, x n ]y n = T {[x, x n ]} n N = T J l2 V [ ] x. Proposition 3.1. Let K be a Krein space. Then if {x n } n N and {y n } n N are dual and similar frames with Ux n = y n, then U = S 1, where S is the frame operator of {x n } n N. Proof. Let T and V be the pre-frame operators of {y n } n N and {x n } n N respectively. By Lemma 3.2 one gets that U = T J l2 V [ ] S 1, where S is the frame operator of {x n } n N. Since {x n } n N and {y n } n N are dual frames, by Lemma 3.3 we get T J l2 V [ ] = id K. Therefore U = S 1. Corollary 3.4. Let K be a Krein space with fundamental symmetry J and tight frame {x n } n N. If {x n } n N and {y n } n N are dual and unitarily equivalent frames for K, then {x n } n N is a Parseval frame for K and y n = Jx n. Proof. Since {x n } n N is a frame for K with frame bounds a = b, one gets that the corresponding frame operator S is such that S = aj and S 1 = a 1 J. Now, by Proposition 3.1 if Ux n = y n for all n N one has U = S 1 = a 1 J. Since U is unitary, it is easy to see that a = 1 and thus we get U = J. Proposition 3.2. Let K be a Krein space with {x n } n N, {y n } n N similar frames with Ux n = y n. If S 1 and S 2 are the frame operators of {x n } n N and {y n } n N respectively, then {U 1 S 1 2 y n } n N is a dual frame of {x n } n N Proof. For every x K we calculate S 1 x = n N [x, x n ]x n = n N [x, U 1 y n ] K x n = n N[Ux, y n ]U 1 y n = U 1 ( n N [Ux, y n ]y n ) = U 1 S 2 Ux. Therefore, S 1 = U 1 S 2 U. Now, since {S 1 K x n} n N y {x n } n N are dual frames, then S1 1 x n = U 1 S 2 Ux n = U 1 S2 1 y n, n N. Let K = K + K be a Krein space with fundamental symmetry J. If {x + n } n N and {x n } n N are frames for (K +, [, ]) and (K, [, ]) respectively, then by Proposition 2.3 one gets that {x + n } n N {x n } n N is a frame for K with frame operator S = S + S, where S ± is the frame operator of {x ± n } n N respectively. Therefore, for every x + K + we have S(x + ) = S(x + + 0) = S + x + = n N[x +, x + n ]x + n.

Dual and similar frames in Krein spaces 949 Since Span{x + n : n N} = K +, we get S(x + ) K + for all x + K +. In the same way it is proved that S(x ) K for all x K. For frame operators in general this property is not true. Example 3.5. Let K = C 2 be a Krein space with indefinite inner product [(z, w), (u, v)] = zu wv. Observe that K = K + K, where K + = {λ(2, 1): λ C}, K = {λ(1, 2): λ C} Let {(1, 1), (1, 1), (0, 2)} be a subset of C 2. For every (z, w) C 2 one has that [(z, w), (1, 1)] 2 + [(z, w), (1, 1)] 2 + [(z, w), (0, 2)] 2 = z + w 2 + z w 2 + 4 w 2 = 2 z 2 + 2 w 2 + 4 w 2 = 2 z 2 + 6 w 2. Therefore, the family {(1, 1), (1, 1), (0, 2)} is a frame for C 2 with frame bounds a = 2, b = 6. The corresponding frame operator is S(z, w) = [(z, w), (1, 1)](1, 1) + [(z, w), (1, 1)](1, 1) + [(z, w), (0, 2)](0, 2) = [z + w](1, 1) + [z w](1, 1) 2w(0, 2) = (2z, 6w), z, w C. Observe that (2, 1) belongs to K + and S(2, 1) = (4, 6) = 14(2, 1) 16 (1, 2). 3 3 The next result provides a criterion for the subspaces K + and K to be invariant under the frame operator. Theorem 3.6. Let (K, [, ]) be a Krein space with fundamental decomposition K = K + K and associated fundamental symmetry J. Let {x n } n N be a frame in K with frame operator S. Then S(K + ) K + if and only if SJ = JS. Proof. First of all let us show that if S(K + ) K +, then S(K ) K. In fact, if S(K + ) K +, take x S(K ), that is, there exists y K such that x = Sy. If w K + we shall have [x, w] = [Sy, w] = [y, Sw] = 0 because y K and by assumption Sw K +. So x K. Being x an arbitrary element in S(K ) we conclude that S(K ) K. Now, let us prove the only-if part of the theorem: Let S(K + ) K +, x = x + + x K. Since Jx + = x + and Jx = x, one gets SJx = SJ(x + + x ) = S(x + x ) = Sx + Sx = JSx + + JSx = JS(x + + x ) = JSx.

950 Kevin Esmeral, Osmin Ferrer and Boris Lora Finally, the if part of the theorem: Suppose that SJ = JS. Then by (6) we get 0 = JS SJ = (P + P )S(P + + P ) (P + + P )S(P + P ) = (P + S P S)(P + + P ) (P + S + P S)(P + P ) = 2 (P + SP P SP + ). Therefore P + SP = P SP +. Since P + P = P P + = 0, we have P + SP = P SP + = 0. i.e., P + Sx = 0 and P Sx + = 0 for any x ± K ±. It follows easily that Sx ± K ±. The condition S(K + ) K + in Theorem 3.6 can be improved. The following result takes the condition of the invariance only for the projection of the frame onto K +. Corollary 3.7. Let (K, [, ]) be a Krein space with fundamental decomposition K = K + K and associated fundamental symmetry J, let {x n } n N be a frame in K with frame operator S. S({P + x n } n N ) K + if and only if SJ = JS. Proof. Let {x n } n N be a frame for K with x n = x + n + x n and frame operator S. Suppose that S({P + x n } n N ) K +. Then for any x S(K + ) there is y + K + such that Sy + = x. By (10), Proposition 2.2 and P + y + = y + one has y + = n N [y +, S 1 x n ]x n = n N[y +, S 1 x n ]x + n. Therefore x = Sy + = n N[y +, S 1 x n ]Sx + n. Since S ({P + x n } n N ) K +, it follows that x K +. The statement holds by Theorem 3.6. Conversely, Assume that SJ = JS. Then S(K + ) K + by Theorem 3.6, in particular S ({P + x n } n N ) K +. Corollary 3.8. Let K = K + K be a Krein space with associated fundamental symmetry J and let {x n } n N be a frame with frame operator S. The frame {Jx n } n N has frame operator S if and only if S(K + ) K +. Proof. Let {x n } n N be a frame for K with frame operator S. Suppose that S is the frame operator of {Jx n } n N. Then by (13) one gets that S = JSJ. Therefore by Theorem 3.6 we have S(K + ) K +. Conversely, if S(K + ) K +, then by Theorem 3.6 the frame operator S commutes with the fundamental symmetry J. By (13) it follows that JSJ = S is the frame operator of {Jx n } n N.

Dual and similar frames in Krein spaces 951 Acknowledgements. The authors wish to thank the Universidad de Sucre, where the paper was written and the Universidad del Atlántico by its financial support. References [1] P. Acosta-Humánez, K. Esmeral, O. Ferrer, Frames of subspaces in Hilbert spaces wih W-metrics, An. St. Univ. Ovidius Constanta, Ser. Mat., 23 (2015), no. 2, 5-22. [2] T. Ya. Azizov and I. S. Iokhvidov, Linear Operator in Spaces with an Indefinite Metric, Pure & Applied Mathematics, A Wiley-Intersciences, Chichester, 1989. [3] J. Bognar, Indefinite Inner Product Spaces, Springer, Berlin, 1974. http://dx.doi.org/10.1007/978-3-642-65567-8 [4] P. G. Casazza, G. Kutyniok, Frame of subspaces, arxiv:math/0311384. [5] O. Christensen, T. K. Jensen, An Introduction to the Theory of Bases, Frames, and Wavelets, Technical University of Denmark, Department of Mathemtics, 1999. [6] I. Daubechies, A. Grossmann, Y. Meyer, Painless nonorthogonal expansions, J. Math. Phys., 27 (1986), 1271-1283. http://dx.doi.org/10.1063/1.527388 [7] H. Deguang, D. Larson, Frames, Bases and Group Representations, Series: Memoirs of the American Mathematical Society vol. 147, no. 697, Providence, Rhode Island, 2000. http://dx.doi.org/10.1090/memo/0697 [8] H. Deguang, K. Kornelson, D. Larson, E. Weber, Frames for Undergraduates, Student Mathematical Library, A.M.S Providence, 2007. http://dx.doi.org/10.1090/stml/040 [9] R. J. Duffin, A. C. Schaeffer, A class of nonharmonic Fourier series, Trans. Amer. Math. Soc., 72 (1952), 341-366. http://dx.doi.org/10.2307/1990760 [10] G. Escobar, K. Esmeral, O. Ferrer, Construction and coupling of frames in Hilbert spaces with W-metrics, Rev. Integr. Temas Mat., Accepted, (2016). [11] K. Esmeral, O. Ferrer, E. Wagner, Frames in Krein spaces arising from a non-regular W -metric, Banach J. Math., 9 (2015), no. 1, 1-16. http://dx.doi.org/10.15352/bjma/09-1-1

952 Kevin Esmeral, Osmin Ferrer and Boris Lora [12] P. Găvruţa, On the duality of fusion frames, J. Math. Anal. Appl., 333 (2007), 871-879. http://dx.doi.org/10.1016/j.jmaa.2006.11.052 [13] J. I. Giribet, A. Maestripieri, F. Martínez Pería and P. Massey, On a family of frames for Krein spaces, arxiv:1112.1632v1. Received: June 5, 2016; Published: July 5, 2016