arXiv:2102.05255v1 [math.FA] 10 Feb 2021 nipratrl nGbradwvltaayi.Svrlgen Several analysis. wavelet and Gabor namely, in req not role is important elements of frame an combination the too linear among a a H independence as such linear written a but, is be for can this space frame ab and this non in basis A the vector [2]. of orthonormal in Meyer an study frame Grossman, of the of generalization Daubechies, in definition by tool formal given a the space were as 1986, Hilbert frames in in used Later frames series. they introduced [5], Schaeffer paper and mental Duffin 1952, In Introduction 1 Keywords: ai oin bu tmcsse o one ieropera linear bounded a for system Lar K atomic by introduced about were notions spaces basic Hilbert separable a for frames operator n ht 3 n17’.I 99 .Msa 1]dvlpdthe developed [14] Misiak A. 1989, In 1970’s. in [3] White and eesuidb .GohadT .Smna[]adte eeals were they and [8] Samanta K. T. dual and of stability op Ghosh P. for by subspaces studied atomic were n may Generalized frames. frames ordinary of of eralization properties many and frames ordinary faewspeetdt eosrc lmnsfo h range the from elements reconstruct to presented was -frame 00MteaisSbetClassification: Subject Mathematics 2010 h ocp f2inrpoutsaewsfis nrdcdb D by introduced first was space product 2-inner of concept The rmsi loaKfaei -ibr pc.As,teconcep the prope established. some Also, be space. and to t described n-Hilbert going is of are in space sum its n-Hilbert K-frame in that a K-frame verify tight also We given. is are frames characterizations their of oepoete of properties Some 5 algneCrua od okt,701,Ws Bengal West 700019, Kolkata, Road, Circular Ballygunge 35, g h oino -rm nnHletsaei rsne n so and presented is space n-Hilbert in K-frame a of notion The K fae[16], -frame nasprbeHletspace. Hilbert separable a in eateto ueMteais nvriyo Calcutta, of University Mathematics, Pure of Department nninrpoutspace. product n-inner in Frame, g eateto ahmtc,Uuei College, Uluberia Mathematics, of Department fso rmsi ibr pcsi [7]. in spaces Hilbert in frames -fusion lbra orh 135 etBna,India Bengal, West 711315, Howrah, Uluberia, K -al [email protected] e-mail: K fae -omdsae -ne rdc pc,Frame space, product n-inner space, n-normed -frame, -al mumpu e-mail: fae 1]ec aebe nrdcdi eettimes. recent in introduced been have etc. [12] -frames rsni Ghosh Prasenjit .K Samanta K. T. K Abstract − faein -frame [email protected] K fae r oegnrlzto hnthe than generalization more are -frames 21,4C7 46C50. 46C07, 42C15, n Hletspace -Hilbert rtr nHletspaces Hilbert in erators lmnsfo h frame the from elements ie.Sc rmsplay frames Such uired. art osuythe study to Gavruta a htas loseach allows also that l rlztoso frames of eralizations thlsfrsc gen- such for holds ot tatHletspaces Hilbert stract o.I eettimes, recent In tor. fabuddlinear bounded a of eeaiaino a of generalization amncFourier harmonic nterfunda- their in s letsaei a is space ilbert rsne the presented o mni,Gahler iminnie, India , te of rties oK- wo of t me K - 2 Prasenjit Ghosh & T. K. Samanta

2-inner product space for n 2. Frame in n-Hilbert space was presented by P. ≥ Ghosh and T. K. Samanta [9]. They also discussed frame in tensor product of n- Hilbert spaces [10]. In this paper, we shall present the notion of a K-frame relative to n-Hilbert space and discuss some properties. Further it will be seen that the family of all K- frames is closed with respect to addition in n-Hilbert space. We also give the notion of a tight K-frame in n-Hilbert space. Throughout this paper, H will denote a separable Hilbert space with the inner product , and ( H ) denote the space of all bounded linear operator on h · · i B 2 H. We also denote ( T ) for range set of T where T ( H ) and l ( N ) R ∈ B denote the space of square summable scalar-valued sequences with index set N.

2 Preliminaries

Theorem 2.1. ( Douglas’ factorization theorem ) [4] Let U, V ( H ). Then ∈ B the following conditions are equivalent: ( I ) ( U ) ( V ). R ⊆ R ( II ) UU ∗ λ 2 VV ∗ for some λ > 0. ≤ ( III ) U = V W for some W ( H ). ∈ B Theorem 2.2. [6] Let S, T, U ( H ). Then the following are equivalent: ∈ B ( I ) ( S ) ( T ) + ( U ). R ⊆ R R ( II ) SS ∗ λ 2 ( T T ∗ + UU ∗ ) for some λ > 0. ≤ ( III ) S = T A + UB for some A, B ( H ). ∈ B Theorem 2.3. ([1]) Let H 1,H 2 be two Hilbert spaces and U : H 1 H 2 be → a bounded linear operator with closed range U . Then there exists a bounded linear † † R operator U : H 2 H 1 such that UU x = x x U . → ∀ ∈ R Note 2.4. The operator U † defined in Theorem (2.3), is called the pseudo-inverse of U. ∞ Definition 2.5. [1] A sequence f i H is said to be a frame for H if { }i = 1 ⊆ there exist constants 0 < A B < such that ≤ ∞ ∞ 2 2 2 A f f,f i B f f H k k ≤ | h i | ≤ k k ∀ ∈ i = 1 X ∞ The constants A and B are called frame bounds. If f i satisfies the inequality { }i = 1 ∞ 2 2 f,f i B f f H | h i | ≤ k k ∀ ∈ i = 1 X then it is called a Bessel sequence with bound B. K-Frame in n-Hilbert space 3

∞ Definition 2.6. [1] Let f i i = 1 be a frame for H. Then the bounded linear op- { } ∞ 2 erator T : l ( N ) H, defined by T ci = c i f i, is called pre-frame opera- → { } i = 1 ∗ 2 ∗ ∞ tor and its adjoint operator T : H l ( N ),P given by T ( f ) = f,fi → { h i }i = 1 is called the analysis operator. The operator S : H H defined by S ( f ) = ∞ → ∗ T T ( f ) = f,f i f i f H is called the frame operator. i = 1 h i ∀ ∈ P ∞ Definition 2.7. [12] Let K ( H ). Then a sequence f i in H is said ∈ B { }i = 1 to be a K-frame for H if there exist constants 0 < A B < such that ≤ ∞ ∞ ∗ 2 2 2 A K f f,f i B f f H. k k ≤ | h i | ≤ k k ∀ ∈ i = 1 X Theorem 2.8. [17] Let K be a bounded linear operator on H. Then a Bessel ∞ sequence f i i = 1 in H is a K-frame if and only if there exists λ > 0 such that { ∗ } ∞ S λ K K , where S is the frame operator for f i . ≥ { }i = 1 Definition 2.9. [13] A real valued function , , : X n R is called a k · · · · · k → n-norm on X if the following conditions hold:

(I) x 1 , x 2 , , x n = 0 if and only if x 1, , x n are linearly dependent, k · · · k · · ·

(II) x 1 , x 2 , , x n is invariant under any permutations of x 1, x 2, , x n, k · · · k · · ·

(III) αx 1 , x 2 , , x n = α x 1 , x 2 , , x n α K, k · · · k | | k · · · k ∀ ∈

(IV) x + y,x 2 , , x n x, x 2 , , x n + y, x 2 , , x n . k · · · k ≤ k · · · k k · · · k The pair ( X , , , ) is then called a linear n-normed space. k · · · · · k Definition 2.10. [14] Let n N and X be a linear space of dimension greater ∈ than or equal to n over the field K, where K is the real or complex numbers field. A function , , , : X n + 1 K is satisfying the following five properties: h · · | · · · · · i →

(I) x 1 , x 1 x 2 , , x n 0 and x 1 , x 1 x 2 , , x n = 0 if and h | · · · i ≥ h | · · · i only if x 1, x 2, , x n are linearly dependent, · · ·

(II) x, y x 2 , , x n = x, y x i 2 , , x i n for every permutation h | · · · i h | · · · i ( i 2, , i n ) of ( 2, , n ), · · · · · ·

(III) x, y x 2 , , x n = y,x x 2 , , x n , h | · · · i h | · · · i

(IV) αx, y x 2 , , x n = α x, y x 2 , , x n , for all α K, h | · · · i h | · · · i ∈

(V) x + y , z x 2 , , x n = x , z x 2 , , x n + y , z x 2 , , x n . h | · · · i h | · · · i h | · · · i is called an n-inner product on X and the pair ( X , , , , ) is called n- h · · | · · · · · i inner product space. 4 Prasenjit Ghosh & T. K. Samanta

Theorem 2.11. [11] For n-inner product space ( X , , , , ), h · · | · · · · · i

x, y x 2 , , x n x, x 2 , , x n y, x 2 , , x n | h | · · · i| ≤ k · · · k k · · · k hold for all x, y, x 2, , x n X. · · · ∈ Theorem 2.12. [14] For every n-inner product space ( X , , , , ), h · · | · · · · · i

x 1 , x 2 , , x n = x 1 , x 1 x 2 , , x n k · · · k h | · · · i defines a n-norm for which p

1 2 2 x, y x 2 , , x n = x + y,x 2 , , x n x y, x 2 , , x n , & h | · · · i 4 k · · · k − k − · · · k 2 2
x + y, x 2 , , x n + x y, x 2 , , x n k · · · k k − · · · k 2 2 = 2 x, x 2 , , x n + y, x 2 , , x n k · · · k k · · · k hold for all x, y, x 1, x 2, , x n X.
· · · ∈ Definition 2.13. [15] Let ( X , , , , ) be a n-inner product space n h · · | · · · · · i and e i be linearly independent vectors in X.Then for a given set F = { } i = 1 a 2 , , a n X, if { · · · } ⊆

e i , e j a 2 , , a n = δ ij i, j 1, 2, , n h | · · · i ∈ { · · · } 1 if i = j where, δ ij = , (0 if i = j 6 n the family e i is said to be F -orthonormal. If an F -orthonormal set is count- { } i = 1 able, we can arrange it in the form of a sequence e i and call it F -orthonormal { } sequence.

Definition 2.14. [13] A sequence x k in a linear n-normed space X is said { } to be convergent to some x X if for every x 2, , x n X ∈ · · · ∈

lim x k x, x 2 , , x n = 0 and it is called a Cauchy sequence if k→∞ k − · · · k

lim xl x k , x 2 , , x n = 0 for every x 2, , x n X. The space X is l,k →∞ k − · · · k · · · ∈ said to be complete if every Cauchy sequence in this space is convergent in X.A n-inner product space is called n-Hilbert space if it is complete with respect to its induce norm.

Note 2.15. [9] Let LF denote the linear subspace of X spanned by the non- empty finite set F = a 2 , a 3 , , a n , where a 2, a 3, , a n are fixed ele- { · · · } · · · ments in X. Then the quotient space X/LF is a normed linear space with re- spect to the norm, x + LF = x , a 2 , , a n for every x X. Let MF k kF k · · · k ∈ be the algebraic complement of LF , then X = LF MF . Define x, y = ⊕ h iF K-Frame in n-Hilbert space 5

x, y a 2 , , a n on X. Then , is a semi-inner product on X and this h | · · · i h · · iF semi-inner product induces an inner product on X/LF which is given by

x + LF , y + LF = x, y = x, y a 2 , , a n x, y X. h iF h iF h | · · · i ∀ ∈ By identifying X/LF with MF in an obvious way, we obtain an inner product on MF . Now for every x MF , we define x F = x, x and it can be easily ∈ k k h iF verify that ( MF , F ) is a norm space. Let XF be the completion of the inner k · k p product space MF . For the remaining part of this paper, ( X , , , , ) is consider to be a h · · | · · · · · i n-Hilbert space and I will denote the identity operator on XF . ∞ Definition 2.16. [9] A sequence f i in X is said to be a frame associated { } i = 1 to ( a 2, , a n ) for X if there exist constants 0 < A B < such that · · · ≤ ∞ ∞ 2 2 2 A f , a 2 , , a n f,f i a 2 , , a n B f , a 2 , , a n k · · · k ≤ | h | · · · i | ≤ k · · · k i = 1 X for all f X. The constants A and B are called the frame bounds. If the sequence ∞ ∈ f i satisfies the inequality { } i = 1 ∞ 2 2 f,f i a 2 , , a n B f , a 2 , , a n f X | h | · · · i | ≤ k · · · k ∀ ∈ i = 1 X is called a Bessel sequence associated to ( a 2, , a n ) in X with bound B. · · · ∞ ∞ Theorem 2.17. [9] Let f i be a sequence in X. Then f i is a frame { } i = 1 { } i = 1 associated to ( a 2, , a n ) with bounds A & B if and only if it is a frame for · · · the Hilbert space XF with bounds A & B. ∞ Definition 2.18. [9] Let f i i = 1 be a Bessel sequence associated to ( a 2, , a n ) { } 2 · · · for X. Then the bounded linear operator T : l ( N ) XF , defined by T ci = ∞ → { } ∗ 2 c i f i, is called pre-frame operator and its adjoint operator T : XF l ( N ), i = 1 → ∗ ∞ givenP by T ( f ) = f,fi a 2, , a n i = 1 f XF is called the analy- { h | · · · i } ∀ ∈ ∗ sis operator . The operator S : XF XF defined by SF ( f ) = T T ( f ) = ∞ → f,f i a 2, , a n f i f XF is called the frame operator. i = 1 h | · · · i ∀ ∈ P ∞ Note 2.19. [9] If f i is a frame associated to ( a 2, , a n ) for X, then { }i = 1 · · · the frame operator SF is bounded, positive, self-adjoint and invertible.

3 K-frame in n-Hilbert space

Definition 3.1. Let K be a bounded linear operator on XF . Then a sequence ∞ f i X is said to be a K-frame associated to ( a 2, , a n ) for X if there { }i = 1 ⊆ · · · exist constants 0 < A B < such that ≤ ∞ ∞ ∗ 2 2 2 A K f , a 2 , , a n f,f i a 2 , , a n B f , a 2 , , a n , k · · · k ≤ | h | · · · i | ≤ k · · · k i = 1 X 6 Prasenjit Ghosh & T. K. Samanta

∞ for all f XF . In particular, if K = I, then by Theorem (2.17), f i is a ∈ { }i = 1 frame associated to ( a 2, , a n ) for X. Obviously, every K-frame associated to · · · ( a 2, , a n ) is a Bessel sequence associated to ( a 2, , a n ) in X. · · · · · · Note 3.2. In general, the frame operator of a K-frame associated to ( a 2, , a n ) · · · is not invertible.But, if K ( XF ) has closed range, then SF : ( K ) ∈ B R → SF ( ( K ) ) is an invertible operator. For f ( K ), we have R ∈ R 2 2 2 † ∗ ∗ † ∗ 2 f, a 2, , a n = ( K ) K f, a 2, , a n K K f, a 2, , a n . k · · · k · · · ≤ k · · · k

∞ Therefore, if f i is a K-frame associated to ( a 2, , a n ) for X, by defini- { }i = 1 · · · tion (3.1), we get

− 2 † 2 2 A K f, a 2, , a n SF f, f a 2, , a n B f, a 2, , a n k · · · k ≤ h | · · · i ≤ k · · · k

and furthermore for each f SF ( ( K ) ), we have ∈ R 2 − 1 2 − 1 − 1 † 2 B f, a 2, , a n S f, f a 2, , a n A K f, a 2, , a n k · · · k ≤ F | · · · ≤ k · · · k

∞ Theorem 3.3. Let f i i = 1 be a K-frame associated to ( a 2 , , a n ) for X { } ∞ · · · and T ( XF ) with ( T ) ( K ). Then f i is a T-frame associated ∈ B R ⊂ R { }i = 1 to ( a 2, , a n ) for X. · · · ∞ Proof. Suppose f i is a K-frame associated to ( a 2, , a n ) for X. Then { }i = 1 · · · for each f XF , there exist constants A,B > 0 such that ∈ ∞ ∗ 2 2 2 A K f , a 2 , , a n f,f i a 2 , , a n B f , a 2 , , a n . k · · · k ≤ | h | · · · i | ≤ k · · · k i = 1 X Since R ( T ) R ( K ), by Theorem (2.1), λ > 0 such that T T ∗ λ 2 K K ∗. Thus, ⊂ ∃ ≤

A ∗ 2 A ∗ T f , a 2 , , a n = T T f,f a 2 , , a n λ 2 k · · · k λ 2 h | · · · i

A ∗ ∗ = T T f,f a 2 , , a n A K K f,f a 2 , , a n λ 2 | · · · ≤ h | · · · i   ∗ 2 = A K f , a 2 , , a n . Therefore, for each f XF , k · · · k ∈ ∞ A ∗ 2 2 2 T f , a 2 , , a n f,f i a 2 , , a n B f , a 2 , , a n . λ 2 k · · · k ≤ | h | · · · i | ≤ k · · · k i = 1 X ∞ Hence, f i is a T -frame associated to ( a 2, , a n ) for X. { }i = 1 · · · ∞ Theorem 3.4. Let f i be a K-frame associated to ( a 2, , a n ) for X { }i = 1 · · · with bounds A, B and T ( XF ) be an invertible with T K = K T , then ∞ ∈ B Tf i is a K-frame associated to ( a 2, , a n ) for X. { }i = 1 · · · K-Frame in n-Hilbert space 7

Proof. Since T is invertible, for each f XF , ∈ 2 ∗ 2 − 1 ∗ ∗ ∗ K f , a 2 , , a n = T T K f , a 2 , , a n k · · · k · · ·

2 − 1 ∗ ∗ ∗ 2 T T K f , a 2 , , a n . ≤ k · · · k − 1 − 2 ∗ 2
∗ ∗ 2 T K f , a 2 , , a n T K f , a 2 , , a n . (1) ⇒ k · · · k ≤ k · · · k ∞ Also, since f i is a K-frame associated to ( a 2, , a n ), for f XF , { }i = 1 · · · ∈ ∞ ∞ 2 ∗ 2 f,Tf i a 2 , , a n = T f,f i a 2 , , a n | h | · · · i | | h | · · · i | i = 1 i = 1 X X ∗ ∗ 2 ∗ ∗ 2 A K T f , a 2 , , a n = A T K f , a 2 , , a n [ since T K = K T ] ≥ k · · · k k · · · k − 1 −2 ∗ 2 A T K f , a 2 , , a n [ using (1)]. ≥ k · · · k On the other hand, for all f XF , ∈ ∞ ∞ 2 ∗ 2 f,Tf i a 2 , , a n = T f,f i a 2 , , a n | h | · · · i | | h | · · · i | i = 1 i = 1 X X ∗ 2 2 2 B T f , a 2 , , a n B T f , a 2 , , a n . ≤ k · · · k ≤ k k k · · · k ∞ Hence, Tf i is a K-frame associated to ( a 2, , a n ) for X. { }i = 1 · · · ∞ Theorem 3.5. Let f i i = 1 be a K-frame associated to ( a 2, , a n ) for X { } ∗ · · · with bounds A, B and T ( XF ) such that T T = I with T K = K T . Then ∞ ∈ B Tf i is a K-frame associated to ( a 2, , a n ) for X. { }i = 1 · · · ∗ ∗ 2 2 Proof. Since T T = I, for f XF , T f , a 2 , , a n = f , a 2 , , a n ∗ ∗∈ k 2 · · · ∗k k · · ·2 k and this implies that T K f , a 2 , , a n = K f , a 2 , , a n . Also, ∞ k · · · k k · · · k since f i is a K-frame associated to ( a 2, , a n ), for each f XF , { }i = 1 · · · ∈ ∞ ∞ 2 ∗ 2 f,Tf i a 2 , , a n = T f,f i a 2 , , a n | h | · · · i | | h | · · · i | i = 1 i = 1 X X ∗ ∗ 2 ∗ ∗ 2 A K T f , a 2 , , a n = A T K f , a 2 , , a n ≥ k · · · k k · · · k ∗ 2 = A K f , a 2 , , a n . k · · · k ∞ Thus, we see that Tf i satisfies lower K-frame condition. Following the proof { }i = 1 of the Theorem (3.4), it can be shown that it also satisfies upper K-frame condition and therefore it is a K-frame associated to ( a 2, , a n ) for X. · · · ∞ ∞ Theorem 3.6. Let f i be a sequence in X. Then f i is a K-frame { }i = 1 { }i = 1 associated to ( a 2, , a n ) for X if and only if there exists a bounded linear op- 2 · · · erator T : l ( N ) XF such that f i = T e i and ( K ) ( T ), where ∞ → 2 R ⊂ R e i is an F -orthonormal basis for l ( N ). { }i = 1 8 Prasenjit Ghosh & T. K. Samanta

∞ Proof. First we suppose that f i is a K-frame associated to ( a 2, , a n ). { }i = 1 · · · Then, for each f XF , there exist constants A,B > 0 such that ∈ ∞ ∗ 2 2 2 A K f , a 2 , , a n f,f i a 2 , , a n B f , a 2 , , a n . k · · · k ≤ | h | · · · i | ≤ k · · · k i = 1 X 2 Now, we consider the linear operator L : XF l ( N ) defined by → ∞ L ( f ) = f,f i a 2 , , a n e i f XF . h | · · · i ∀ ∈ i = 1 X ∞ 2 Since e i is an F -orthonormal basis for l ( N ), we can write { }i = 1 ∞ 2 2 2 L ( f ) 2 = f,f i a 2 , , a n B f , a 2 , , a n . k k l | h | · · · i | ≤ k · · · k i = 1 X Thus, L is well-defined and bounded linear operator on XF . So, the adjoint operator ∗ 2 L : l ( N ) XF exists and then for each f XF , we get → ∈ ∗ L e i , f a 2 , , a n = e i , L ( f ) a 2 , , a n h | · · · i h | · · · i ∞ = e i , f,f i a 2 , , a n e i a 2 , , a n h | · · · i | · · · * i = 1 + X = f,f i a 2 , , a n = f i , f a 2 , , a n . h | · · · i h | · · · i ∗ The above calculation shows that, L ( e i ) = f i. Also, from the definition (3.1), ∗ 2 2 we get A K f L ( f ) 2 and this implies that k kF ≤ k k l ∗ ∗ A K K f,f a 2 , , a n L Lf,f a 2 , , a n h | · · · i ≤ h | · · · i A K K ∗ T T ∗, where T = L ∗ ⇒ ≤ and hence from the Theorem (2.1), ( K ) ( T ). R ⊂ R 2 Conversely, suppose that T : l ( N ) XF be a bounded linear operator → ∞ such that f i = T e i and ( K ) ( T ). We have to show that f i i = 1 is a R ⊂ R ∞{ } 2 K-frame associated to ( a 2, , a n ). Let g l ( N ) then g = c i e i, where · · · ∈ i = 1 2 c i = g , e i a 2 , , a n . Now, for all g l ( N ), we have P h | · · · i ∈ ∞ ∗ ∗ T f, g a 2, , a n = T f, c i e i a 2, , a n h | · · · i | · · · * i = 1 + X ∞ ∞ = c i f,Te i a 2, , a n = c i f,f i a 2 , , a n h | · · · i h | · · · i i = 1 i = 1 X X K-Frame in n-Hilbert space 9

∞ = g , e i a 2 , , a n f,f i a 2 , , a n h | · · · i h | · · · i i = 1 X ∞ = e i , g a 2 , , a n f,f i a 2 , , a n h | · · · i h | · · · i i = 1 X ∞ = f,f i a 2 , , a n e i , g a 2 , , a n . h | · · · i | · · · * i = 1 + X ∞ ∗ T ( f ) = f,f i a 2 , , a n e i f XF . ⇒ h | · · · i ∀ ∈ i = 1 X ∞ 2 Thus, for all f XF , f,f i a 2 , , a n ∈ i = 1 | h | · · · i | P ∞ ∞ 2 ∗ 2 = f,Te i a 2 , , a n = T f , e i a 2 , , a n | h | · · · i | | h | · · · i | i = 1 i = 1 X X ∗ 2 ∞ = T f , a 2 , , a n [ since e i is an F -orthonormal basis ] k · · · k { }i = 1 ∗ 2 2 2 2 T f , a 2 , , a n = T f , a 2 , , a n ≤ k k k · · · k k k k · · · k ∞ 2 2 2 f,f i a 2 , , a n T f , a 2 , , a n f XF . ⇒ | h | · · · i | ≤ k k k · · · k ∀ ∈ i = 1 X ∞ Thus, f i is a Bessel sequence associated to ( a 2, , a n ). Since ( K ) { }i = 1 · · · R ⊂ ( T ), from Theorem (2.1), there exists A > 0 such that A K K ∗ T T ∗. Hence R ≤ following the proof of the Theorem (3.3), for all f XF ∈ ∞ ∗ 2 ∗ 2 2 A K f, a 2, , a n T f, a 2, , a n = f,f i a 2, , a n . k · · · k ≤ k · · · k | h | · · · i | i = 1 X ∞ Hence, f i is a K-frame associated to ( a 2, , a n ) for X. { }i = 1 · · · ∞ ∞ Theorem 3.7. Let f i and g i be K-frames associated to ( a 2, , a n ) { }i=1 { }i = 1 · · · for X with the corresponding pre frame operators T and L, respectively. If TL ∗ ∗ ∞ and L T are positive operators, then f i + g i is also a K-frame associated { }i = 1 to ( a 2, , a n ) for X. · · · ∞ ∞ Proof. Let f i and g i be two K-frames associated to ( a 2, , a n ) { }i = 1 { }i = 1 · · · for X. Then by Theorem (3.6), there exist bounded linear operators T and L such that T e i = f i, L e i = g i and ( K ) ( T ), ( K ) ( L ), where ∞ R 2 N⊂ R R ⊂ R e i i = 1 is an F -orthonormal basis for l ( ). Now, we have ( K ) ( T ) + { } 2 R ⊂ R ( L ). By Theorem (2.2), K K ∗ λ ( T T ∗ + LL ∗ ), for some λ > 0. Now, for R ≤ f XF , ∈ ∞ ∞ 2 2 f,f i + g i a 2 , , a n = f,Te i + L e i a 2 , , a n | h | · · · i | | h | · · · i | i = 1 i = 1 X X 10 Prasenjit Ghosh & T. K. Samanta

∞ ∗ 2 = ( T + L ) f , e i a 2 , , a n | h | · · · i | i = 1 X ∗ 2 = ( T + L ) f , a 2 , , a n [ since e i is F-orthonormal ] k · · · k { } ∗ ∗ = ( T + L ) f , ( T + L ) f a 2 , , a n h | · · · i ∗ ∗ ∗ ∗ = T f + L f , T f + L f a 2 , , a n h | · · · i ∗ ∗ ∗ ∗ = T f , T f a 2 , , a n + L f , T f a 2 , , a n h | · · · i h | · · · i ∗ ∗ ∗ ∗ + T f,L f a 2 , , a n + L f,L f a 2 , , a n h | · · · i h | · · · i ∗ ∗ = T T f,f a 2 , , a n + TL f,f a 2 , , a n h | · · · i h | · · · i ∗ ∗ + L T f,f a 2 , , a n + LL f,f a 2 , , a n h | · · · i h | · · · i ∗ ∗ ∗ ∗ ( T T + LL ) f,f a 2 , , a n [ since TL , L T are positive ] ≥ h | · · · i 1 ∗ ∗ 2 ∗ ∗ K K f,f a 2 , , a n [ since K K λ ( T T + LL ) ] ≥ λ 2 h | · · · i ≤

1 ∗ ∗ 1 ∗ 2 = K f , K f a 2 , , a n = K f , a 2 , , a n . λ 2 h | · · · i λ 2 k · · · k Therefore, for each f XF , ∈ ∞ 1 ∗ 2 2 2 K f , a 2 , , a n f,f i + g i a 2 , , a n . (2) λ k · · · k ≤ = 1 | h | · · · i | kX On the other hand, using the Minkowski’s inequality, for each f XF , we have ∈ 1 ∞ 2 2 f,f i + g i a 2 , , a n | h | · · · i | i = 1 ! X 1 1 ∞ ∞ 2 2 2 2 f,f i a 2 , , a n + f , g i a 2 , , a n ≤ | h | · · · i | | h | · · · i | i = 1 ! i = 1 ! X X √A f, a 2, , a n + √B f, a 2, , a n = √A + √B f, a 2, , a n . ≤ k · · · k k · · · k k · · · k This implies that  

∞ 2 2 2 f,f i + g i a 2 , , a n √A + √B f , a 2 , , a n . (3) | h | · · · i | ≤ k · · · k i = 1 X   ∞ From (2) and (3), f i + g i is a K-frame associated to ( a 2, , a n ) for { }i = 1 · · · X.

∞ Theorem 3.8. Let f i i = 1 be K-frame associated to ( a 2, , a n ) for X and { } ∞· · · U : XF XF be a positive operator. Then f i + Uf i is also a K-frame → { }i = 1 associated to ( a 2, , a n ) for X. · · · K-Frame in n-Hilbert space 11

∞ Proof. Let f i be K-frame associated to ( a 2, , a n ) for X with frame { }i = 1 · · · operator SF . Then for each f XF , there exist A,B > 0 such that ∈ ∞ ∗ 2 2 2 A K f , a 2 , , a n f,f i a 2 , , a n B f , a 2 , , a n . k · · · k ≤ | h | · · · i | ≤ k · · · k i = 1 X ∞ 2 It is easy to verify that S F f,f a 2 , , a n = f,f i a 2 , , a n . Thus, h | · · · i i = 1 | h | · · · i | ∗ 2 P 2 A K f , a 2 , , a n S F f,f a 2 , , a n B f , a 2 , , a n . k · · · k ≤ h | · · · i ≤ k · · · k ∗ This implies that A K K SF BI. Now, for each f XF , ≤ ≤ ∈ ∞ f,f i + Uf i a 2 , , a n ( f i + Uf i ) h | · · · i i = 1 X ∞ = f , ( I + U ) f i a 2 , , a n ( I + A ) f i h | · · · i i = 1 X ∞ ∗ = ( I + U ) ( I + U ) f,f i a 2 , , a n f i h | · · · i i = 1 X ∗ = ( I + U ) SF ( I + U ) f. ∞ This shows that the corresponding frame operator for f i + Uf i i = 1 is ( I + ∗ { } ∗ U ) SF ( I + U ) . Since SF ,U are positive operators, ( I + U ) SF ( I + U ) ∗ ∞ ≥ SF A K K , by Theorem (2.8), f i + Uf i is a K-frame associated to ≥ { }i = 1 ( a 2, , a n ) for X. · · · 4 Tight K-frame and its properties in n-Hilbert space

∞ Definition 4.1. A sequence f i in X is said to be a tight K-frame asso- { }i = 1 ciated to ( a 2, , a n ) for X if there exist constants 0 < A B < such · · · ≤ ∞ that ∞ 2 ∗ 2 f,f i a 2 , , a n = A K f , a 2 , , a n f XF (4) | h | · · · i | k · · · k ∀ ∈ i = 1 X ∞ If A = 1, then f i is called Parseval K-frame associated to ( a 2 , , a n ) { }i = 1 · · · for X. Remark 4.2. From (4), we can write ∞ 2 1 ∗ 2 f,f i a 2 , , a n = K f , a 2 , , a n . √A | · · · k · · · k i = 1   X ∞ Therefore, if f i i = 1 is a tight K-frame associated to ( a 2, , a n ) with bound A { } 1 ∞ · · · then the family f i is a Parseval K-frame associated to ( a 2, , a n ) √A i = 1 · · · for X.   12 Prasenjit Ghosh & T. K. Samanta

∞ Theorem 4.3. Let f i i = 1 be a tight frame associated to ( a 2, , a n ) for X { } ∞ · · · with bound A and K ( XF ), then Kf i is a tight K-frame associated ∈ B { }i = 1 to ( a 2, , a n ) for X with bound A. · · · ∞ Proof. Since f i is a tight frame associated to ( a 2, , a n ) for X with { }i = 1 · · · bound A, for any f XF , we have ∈ ∞ ∞ 2 ∗ 2 f,Kf i a 2 , , a n = K f,f i a 2 , , a n | h | · · · i | | h | · · · i | i = 1 i = 1 X X ∗ 2 = A K f , a 2 , , a n k · · · k ∞ and hence Kf i is a tight K-frame associated to ( a 2, , a n ) for X with { }i = 1 · · · bound A.

∞ Theorem 4.4. Let K, T ( XF ) and f i i = 1 be a tight K-frame associ- ∈ B { } ∞ ated to ( a 2, , a n ) for X with bound A. Then Tf i is a tight TK-frame · · · { }i = 1 associated to ( a 2, , a n ) for X with bound A. · · · ∞ Proof. Since f i is a tight K-frame associated to ( a 2, , a n ) for X with { }i = 1 · · · bound A, for any f XF , we have ∈ ∞ ∞ 2 ∗ 2 f,Tf i a 2 , , a n = T f,f i a 2 , , a n | h | · · · i | | h | · · · i | i = 1 i = 1 X X ∗ ∗ 2 ∗ 2 = A K ( T f ), a 2, , a n = A ( T K ) f, a 2, , a n k · · · k k · · · k ∞ and hence T f i is a tight T K-frame associated to ( a 2, , a n ) for X with { }i = 1 · · · bound A.

∞ Theorem 4.5. Let f i i = 1 be a tight K-frame associated to ( a 2, , a n ) { } ∞ · · · for X with bound A. Then there exists a Bessel sequence g i associated to { }i = 1 ( a 2, , a n ) with bound B such that for all f XF , · · · ∈ ∞ K ( f ) = f , g i a 2 , , a n f i and AB 1. h | · · · i ≥ i = 1 X ∞ Proof. Let f i i = 1 be a tight K-frame associated to ( a 2, , a n ) for X with { } · · · ∞ bound A. Then by Theorem (2.4) of ([?]), there exists a Bessel sequence g i { }i = 1 associated to ( a 2, , a n ) with bound B such that · · · ∞ K ( f ) = f , g i a 2 , , a n f i and h | · · · i i = 1 X ∞ ∗ K ( f ) = f, f i a 2 , , a n g i f XF . h | · · · i ∀ ∈ i = 1 X K-Frame in n-Hilbert space 13

∞ Since f i is a tight K-frame associated to ( a 2, , a n ) for X, we have { }i = 1 · · · ∞ 2 ∗ 2 f,f i a 2 , , a n = A K f , a 2 , , a n | h | · · · i | k · · · k i = 1 X ∞ 2 = A f,f i a 2 , , a n g i , a 2 , , a n h | · · · i · · · i = 1 X ∞ 2

= A sup f, f i a 2 , , a n g i , g a 2 , , a n k g , a 2 , ··· , a n k = 1  h h | · · · i | · · · i   i = 1  X 2  ∞  = A sup f, f i a 2 , , a n g i , g a 2 , , a n k g , a 2 , ··· , a n k = 1  h | · · · i h | · · · i   i = 1  X ∞ ∞  2  2 A sup f, f i a 2 , , a n g i , g a 2 , , a n ≤ = 1 | h | · · · i | | h | · · · i | k g , a 2 , ··· , a n k ( i = 1 i = 1 ) X X ∞ 2 2 A sup f, f i a 2 , , a n B g , a 2 , , a n ≤ | h | · · · i | k · · · k k g , a 2 , ··· , a n k = 1 ( i = 1 ) X ∞ [ since g i is a Bessel sequence associated to ( a 2, , a n ) with bound B ] { }i = 1 · · · ∞ 2 = AB f, f i a 2 , , a n . | h | · · · i | i = 1 X The above calculation shows that AB 1. ≥ ∞ ∞ Theorem 4.6. Let f i and g i be two Parseval K-frame associated { }i = 1 { }i = 1 to ( a 2, , a n ) for X with the corresponding synthesis operators T and L, re- · · · ∗ ∞ spectively. If TL = θ, where θ is the null operator on XF then f i + g i { }i = 1 is a tight K-frame associated to ( a 2, , a n ) with frame bound 2. · · · ∞ ∞ Proof. Let f i and g i be Parseval K-frames associated to ( a 2, , a n ) { }i = 1 { }i = 1 · · · for X. Then by Theorem (3.6), there exist synthesis operators T and L such that T e i = f i, L e i = g i with ( K ) ( T ), ( K ) ( L ) respectively, ∞ R ⊂ R 2 R ⊂ R where e i is a F -orthonormal basis for l ( N ). Now, for f XF , { }i = 1 ∈ ∞ ∗ 2 ∗ T : XF l ( N ), T ( f ) = f,f i a 2 , , a n e i, and → h | · · · i i = 1 X ∞ ∗ 2 ∗ L : XF l ( N ), L ( f ) = f , g i a 2 , , a n e i. → h | · · · i i = 1 X Now from the definition of Parseval K-frame associated to ( a 2, , a n ), · · · ∞ ∗ 2 2 ∗ 2 K f, a2, , an = f, f i a2, , an = T f, a2, , an , (5) k · · · k | h | · · · i | k · · · k i = 1 X 14 Prasenjit Ghosh & T. K. Samanta

∞ ∗ 2 2 ∗ 2 K f, a2, , an = f, f i a2, , an = L f, a2, , an . (6) k · · · k | h | · · · i | k · · · k i = 1 X Following the proof of the Theorem (3.7), it can be shown that for each f XF , ∈ ∞ ∞ 2 2 f,f i + g i a 2 , , a n = f , ( T + L ) e i a 2 , , a n | h | · · · i | | h | · · · i | i = 1 i = 1 X X ∗ 2 = ( T + L ) f , a 2 , , a n k · · · k ∗ ∗ ∗ = T T f,f a 2 , , a n + TL f,f a 2 , , a n + L T f,f a 2 , , a n h | · · · i h | · · · i h | · · · i ∗ + LL f,f a 2 , , a n h | · · · i ∗ ∗ ∗ ∗ = T T f,f a 2 , , a n + LL f,f a 2 , , a n [ since TL = θ = L T ] h | · · · i h | · · · i ∗ ∗ ∗ ∗ = T f , T f a 2 , , a n + L f,L f a 2 , , a n h | · · · i h | · · · i ∗ 2 ∗ 2 = T f , a 2 , , a n + L f , a 2 , , a n k · · · k k · · · k ∗ 2 ∗ 2 = K f , a 2 , , a n + K f , a 2 , , a n [ using (5) and (6) ] k · · · k k · · · k ∗ 2 = 2 K f , a 2 , , a n . k · · · k ∞ Hence, f i + g i is a tight K-frame associated to ( a 2, , a n ) for X with { }i = 1 · · · bound 2.

References

[1] O. Christensen, An introduction to frames and Riesz bases, Birkhauser (2008).

[2] I. Daubechies, A. Grossmann, Y. Mayer, Painless nonorthogonal expansions, Journal of Mathematical Physics 27 (5) (1986) 1271-1283.

[3] C. Diminnie, S. Gahler, A. White, 2-inner product spaces, Demonstratio Math. 6 (1973) 525-536.

[4] R. G. Douglas On majorization, factorization and range inclusion of operators on Hilbert space, Proc. Am. Math. Soc. 17, 413-415 (1966).

[5] R. J. Duffin, A. C. Schaeffer, A class of nonharmonic Fourier series, Trans. Amer. Math. Soc., 72, (1952), 341-366.

[6] P. A. Fillmore, J. P. Williams, On operator ranges, Adv. Math. 7, 254-281 (1971).

[7] P. Ghosh, T. K. Samanta, Stability of dual g-fusion frame in Hilbert spaces, Method of Functional Analysis and Topology, Vol. 26, no. 3, pp. 227-240.

[8] P. Ghosh, T. K. Samanta, Generalized atomic subspaces for operators in Hilbert spaces, Submitted, arXiv: 2102.01965. K-Frame in n-Hilbert space 15

[9] P. Ghosh, T. K. Samanta, Construction of frame relative to n-Hilbert space, Submitted, arXiv: 2101.01657.

[10] P. Ghosh, T. K. Samanta, Frame in tensor product of n-Hilbert spaces, Sub- mitted, arXiv: 2101.01938.

[11] H. Gunawan, On n-inner products, n-norm, and the Cauchy-Schwarz inequal- ity, Sci. Math. Jpn., 55 (2002), 53-60.

[12] Laura Gavruta, Frames for operator, Appl. Comput. Harmon. Anal. 32 (1), 139-144 (2012).

[13] H. Gunawan, Mashadi, On n-normed spaces, Int. J. Math. Math. Sci., 27 (2001), 631-639.

[14] A. Misiak, n-inner product spaces, Math. Nachr., 140(1989), 299-319.

[15] Aleksander Misiak, Orthogonality and orthonormality in n-Inner Product Spaces,Math. Nachr. 143 (1989) 249-261.

[16] W. Sun, G-frames and G-Riesz bases, Journal of Mathematical Analysis and Applications, 322 (1) (2006), 437-452.

[17] X. Xiao, Y. Zhu, L. Gavruta, Some properties of K-frame in Hilbert spaces, Results Math. 63 (3-4), 1243-1255 (2013).