Skip to main content

Biframes and some of their properties

Abstract

Recently, frame multipliers, pair frames, and controlled frames have been investigated to improve the numerical efficiency of iterative algorithms for inverting the frame operator and other applications of frames. In this paper, the concept of biframe is introduced for a Hilbert space. A biframe is a pair of sequences in a Hilbert space that applies to an inequality similar to a frame inequality. Also, it can be regarded as a generalization of controlled frames and a special kind of pair frames. The basic properties of biframes are investigated based on the biframe operator. Then, biframes are classified based on the type of their constituent sequences. In particular, biframes for which one of the constituent sequences is an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\) are studied. Then, a new class of Riesz bases denoted by \([\{e_{k}\}]\) is introduced and is called b-Riesz bases. An interesting result is also proved, showing that the set of all b-Riesz bases is a proper subset of the set of all Riesz bases. More precisely, b-Riesz bases induce an equivalence relation on \([\{e_{k}\}]\).

1 Introduction

Many years after the advent of frame theory, its importance and applications in various scientific fields have become clear to everyone. The aim of this theory, developed by Duffin and Schaeffer in 1952 [16], was to solve some problems related to the nonharmonic Fourier series. In fact, the frame theory developed Gabor’s studies in signal analysis in a pure form, which was extensively studied by the fundamental paper of Daubechies, Grossmann, and Meyer [14] in 1986. Many researchers in various fields of pure and applied mathematics, engineering, medicine, etc. have studied frames. For more information on frame theory and its applications, we refer the readers to [11, 13, 18, 22, 28].

To further apply this theory, many generalizations of frames have been proposed. For example, generalized frames (g-frames), introduced by Sun [26, 27], generalize not only the original concept of frame, but also other generalizations of frames, including bounded quasi-projectors [20, 21], frames of subspaces [4, 10], pseudo-frames [24], oblique frames [12, 17], and outer frames [1]. After that, Askarizadeh and Dehghan showed that every g-frame is a special frame [5]. Also, frames and their generalization in Hilbert \(C^{*}\)-modules and locally compact abelian groups have been studied in [2, 3, 6]. Controlled frames [8] provide another generalization of frames, actually developing theories related to this concept which were previously introduced in [9] and used only as a tool for spherical wavelets.

Pair frames are a concept for a pair of sequences in a Hilbert space, introduced in [19], and one of their important results is to obtain a new reconstruction formula for members of the Hilbert space. The concept proposed in this paper aims at a different study of a pair of sequences in a Hilbert space that is called a biframe. To define a frame, only one sequence is used; but, to define a biframe, two sequences are needed. In fact, the concept of biframe is proposed as a generalization of controlled frames and a special case of pair frames. A biframe is a pair \((\{f_{k}\}_{k=1}^{\infty}, \{g_{k}\}_{k=1}^{\infty})\) of sequences in the Hilbert space \(\mathcal{H}\), if there exist positive constants A and B such that

$$ A{ \Vert f \Vert }^{2}\leq \sum_{k=1}^{\infty } \langle f,f_{k}\rangle \langle g_{k},f\rangle \leq B{ \Vert f \Vert }^{2},\quad \forall f\in \mathcal{H}. $$

An operator associated with a biframe is presented, which is a special case of multiplier operators [7]. In the simplest case, multiplier operators are well defined when the sequences are Bessel sequences, which gives us Bessel multipliers. Also, the invertibility of this operator is obtained when the sequences are Riesz bases. But it is interesting that the biframe operator has these properties for sequences that are not even Bessel sequences. Also, the biframe operator associated with a biframe has properties very close to those of the frame operator. Therefore the reconstruction of the elements of the Hilbert space, which is one of the important achievements of frame theory, is well done. Due to the important role played by orthonormal bases in a Hilbert space, we are looking for sequences that form a biframe together with an orthonormal basis. This research leads us to sets that are actually bases. The new set of all these bases has a place between the set of all orthonormal bases and the set of all Riesz bases, but studying this topic in pair frames does not have such an achievement for us.

This paper is organized as follows. Section 2 contains some preliminary results and notations that are used throughout the paper. In Sect. 3, we introduce the new concept of biframe for a Hilbert space, created by a pair of sequences, and we present several examples of biframes. In Sect. 4, by defining the biframe operator associated with a biframe, we discuss the properties of biframes from the perspective of operator theory. Moreover, we investigate those operators that preserve the biframe property. In Sect. 5, we classify the biframes whose constituent sequences of them are Bessel sequences, frames, and Riesz bases. Finally, in Sect. 6, we classify the biframes for which one of the constituent sequences is an orthonormal basis. This classification leads us to new sets, which are partitions of the set of all sequences with this property (namely, the property of forming a biframe with an orthonormal basis). We obtain new bases which are closely related to orthonormal bases and Riesz bases.

2 Notation and preliminaries

Throughout this paper, \(\mathcal{H}\) denotes a separable Hilbert space. The notation \(B(\mathcal{H},\mathcal{K})\) denotes the set of all bounded linear operators from \(\mathcal{H}\) to the Hilbert space \(\mathcal{K}\). If \(\mathcal{H}=\mathcal{K}\), this set is denoted by \(B(\mathcal{H})\) and \(\mathcal{I}\) denotes the identity operator on \(\mathcal{H}\). Also, \(\operatorname{GL}(\mathcal{H})\) is defined as the set of all invertible, bounded linear operators on \(\mathcal{H}\), and \({\operatorname{GL}}^{+}(\mathcal{H})\) denotes the subset of \(\operatorname{GL}(\mathcal{H})\) that consists of positive operators. Finally, \({B}^{+}_{b.b.}(\mathcal{H})\) is defined as the set of all self-adjoint and positive operators on \(\mathcal{H}\) which are bounded below.

A sequence \(\{f_{k}\}_{k=1}^{\infty}\) is called a frame for \(\mathcal{H}\) if there exist positive constants A and B such that

$$ A{ \Vert f \Vert }^{2}\leq \sum_{k=1}^{\infty} { \bigl\vert \langle f,f_{k} \rangle \bigr\vert }^{2}\leq B{ \Vert f \Vert }^{2},\quad \forall f\in \mathcal{H}.$$

The constants A and B are known as lower and upper frame bounds, respectively. If \(A=B\), then the frame \(\{f_{k}\}_{k=1}^{\infty}\) is called a tight frame; it is called a Parseval frame if \(A=B=1\). The sequence \(\{f_{k}\}_{k=1}^{\infty}\) is called a Bessel sequence if only the right inequality holds. An associated operator to frame \(F=\{f_{k}\}_{k=1}^{\infty}\) is a frame operator, defined by

$$ S_{F}:\mathcal{H}\longrightarrow \mathcal{H};\ {S}_{F}(f)= \sum_{k=1}^{ \infty}\langle f,f_{k}\rangle f_{k}.$$

The frame operator \(S_{F}\) is a self-adjoint operator that belongs to \({\operatorname{GL}}^{+}(\mathcal{H})\).

Two Bessel sequences \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) are dual frames for \(\mathcal{H}\) if one of the following statements holds:

  1. (i)

    \(f=\sum_{k=1}^{\infty}\langle f,g_{k}\rangle f_{k}\), \(\forall f \in \mathcal{H}\).

  2. (ii)

    \(f=\sum_{k=1}^{\infty}\langle f,f_{k}\rangle g_{k}\), \(\forall f \in \mathcal{H}\).

  3. (iii)

    \(\langle f,g\rangle =\sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},g\rangle \), \(\forall f,g\in \mathcal{H}\).

A Riesz basis for \(\mathcal{H}\) is a family of the form \(\{Ue_{k}\}_{k=1}^{\infty}\), where \(\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\) and the operator U belongs to \(\operatorname{GL}(\mathcal{H})\).

Two sequences \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) in \(\mathcal{H}\) are biorthogonal if \(\langle f_{k},g_{j}\rangle =\delta _{k,j}\). We refer the readers to [11] for more details on frames and bases.

For \(U\in \operatorname{GL}(\mathcal{H})\), a sequence \(\{f_{k}\}_{k=1}^{\infty}\) in \(\mathcal{H}\) is a U-controlled frame [8] if there exist positive constants A and B such that

$$ A{ \Vert f \Vert }^{2}\leq \sum_{k=1}^{\infty} \langle f,f_{k}\rangle \langle Uf_{k} , f\rangle \leq B{ \Vert f \Vert }^{2},\quad \forall f\in \mathcal{H}. $$

For U and T in \(\operatorname{GL}(\mathcal{H})\), a sequence \(\{f_{k}\}_{k=1}^{\infty}\) in \(\mathcal{H}\) is a \((T,U)\)-controlled frame [25] if there exist positive constants A and B such that

$$ A{ \Vert f \Vert }^{2}\leq \sum_{k=1}^{\infty} \langle f,Tf_{k} \rangle \langle Uf_{k} , f\rangle \leq B{ \Vert f \Vert }^{2},\quad \forall f \in \mathcal{H}. $$

A pair \((F,G)=(\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) of sequences in \(\mathcal{H}\) is a pair frame for \(\mathcal{H}\) if the pair frame operator \(Sf=\sum_{k=1}^{\infty }\langle f,f_{k}\rangle g_{k}\) is well defined and invertible for every \(f\in \mathcal{H}\).

Proposition 2.1

([25])

Let \(S_{1},S_{2} \in {\operatorname{GL}}^{+}(\mathcal{H})\). Then \(S_{2}=VS_{1}U^{*}\) if and only if \(U=S_{2}^{r}WS_{1}^{-p}\) and \(V=S_{2}^{t}TS_{1}^{-q}\) such that W and T are bounded operators on \(\mathcal{H}\) such that \(TW^{*}=\textit{I}\), p,q,r,t∈R, and \(r+t=1\), \(p+q=1\).

3 Biframes

In this section, we define the main concept of this paper, namely, the notion of biframe. Next, we present some examples to illustrate the concept of biframes and their constituent sequences more.

Definition 3.1

A pair \((F,G)=(\{f_{k}\}_{k=1}^{\infty }, \{g_{k}\}_{k=1}^{\infty})\) of sequences in \(\mathcal{H}\) is called a biframe for \(\mathcal{H}\) if there exist positive constants A and B such that

$$ A{ \Vert f \Vert }^{2}\leq \sum _{k=1}^{\infty }\langle f,f_{k}\rangle \langle g_{k},f\rangle \leq B{ \Vert f \Vert }^{2}, \quad \forall f\in \mathcal{H}. $$
(3.1)

The numbers A and B are called lower and upper biframe bounds, respectively.

The biframe \((\{f_{k}\}_{k=1}^{\infty }, \{g_{k}\}_{k=1}^{\infty})\) is called Parseval if \(A=B=1\).

After defining the concept of biframes, its relation to the previously defined notions must be examined. The following remark shows that biframes generalize ordinary frames and controlled frames.

Remark 3.2

According to Definition 3.1, the following statements are true for a sequence \(F=\{f_{k}\}_{k=1}^{\infty}\) in \(\mathcal{H}\):

  1. (i)

    If \((F,F)\) is a biframe for \(\mathcal{H}\), then F is a frame for \(\mathcal{H}\).

  2. (ii)

    If \((F,UF)\) is a biframe for some \(U\in \operatorname{GL}(\mathcal{H})\), then F is a U-controlled frame for \(\mathcal{H}\).

  3. (iii)

    If \((TF,UF)\) is a biframe for some T and U in \(\operatorname{GL}(\mathcal{H})\), then F is a \((T,U)\)-controlled frame for \(\mathcal{H}\).

A biframe is a pair of sequences. Therefore the relationship between the two sequences that form a biframe is very important. To investigate the relationship between these two sequences, we try to answer the following questions:

(\(Q_{1}\)):

What kind of Bessel sequences make biframes? And how about frames, Riesz bases, and orthonormal bases?

(\(Q_{2}\)):

Are there sequences that are not Bessel sequences, frames, Riesz bases, or orthonormal bases but form a biframe?

(\(Q_{3}\)):

Are the types of sequences that form a biframe interdependent? For example, if one of the sequences is a Bessel sequence, does it necessarily follow that the other one is also a Bessel sequence? What about Riesz bases and orthonormal bases?

In the following sections, we will answer these questions. But before that, we present some examples of biframes.

Example 3.3

Let \(\{e_{k}\}_{k=1}^{\infty}\) be an orthonormal basis for \(\mathcal{H}\).

  1. (i)

    A biframe may be constructed using two non-Bessel sequences.

    It is clear that

    $$\begin{aligned}& \{f_{k}\}_{k=1}^{\infty}=\biggl\{ e_{1},2e_{2},\frac{1}{3}e_{3},4e_{4}, \frac{1}{5}e_{5},6e_{6},\ldots \biggr\} , \\& \{g_{k}\}_{k=1}^{\infty}=\biggl\{ 2e_{1},e_{2},4e_{3},\frac{1}{3}e_{4},6e_{5}, \frac{1}{5}e_{6}\ldots \biggr\} \ \end{aligned}$$

    are not Bessel sequences. But the pair \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe because for \(f\in \mathcal{H}\) we can write

    $$ { \Vert f \Vert }^{2}\leq \sum_{k=1}^{\infty} \langle f,f_{k}\rangle \langle g_{k},f\rangle = \sum _{k=1}^{\infty}\frac{2k}{2k-1}\bigl({ \bigl\vert \langle f,e_{2k-1}\rangle \bigr\vert }^{2}+{ \bigl\vert \langle f,e_{2k}\rangle \bigr\vert }^{2} \bigr) \leq 2{ \Vert f \Vert }^{2}.$$
  2. (ii)

    Two Bessel sequences may not form a biframe.

    It is easy to see that

    $$\begin{aligned}& \{f_{k}\}_{k=1}^{\infty}=\biggl\{ e_{1},\frac{1}{2}e_{2},\frac{1}{3}e_{3}, \frac{1}{4}e_{4}\ldots \biggr\} , \\& \{g_{k}\}_{k=1}^{\infty}=\biggl\{ 0,e_{1},0,\frac{1}{2}e_{2},0, \frac{1}{3}e_{3}, \ldots \biggr\} \end{aligned}$$

    are Bessel sequences with bound 1. But the pair \((\{f_{k}\}_{k=1}^{\infty} ,\{g_{k}\}_{k=1}^{\infty})\) is not a biframe because for \(f\in \mathcal{H}\) we obtain

    $$\begin{aligned} \sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle ={}& \langle f,e_{1}\rangle \langle 0,f\rangle +\biggl\langle f, \frac{1}{2}e_{2} \biggr\rangle \langle e_{1},f \rangle \\ &{}+\biggl\langle f,\frac{1}{3}e_{3}\biggr\rangle \langle 0,f\rangle \biggl\langle f, \frac{1}{4}e_{4}\biggr\rangle \biggl\langle \frac{1}{2}e_{2},f\biggr\rangle +\cdots \\ ={}&\frac{1}{2}\langle f,e_{2}\rangle \langle e_{1},f\rangle + \frac{1}{8}\langle f,e_{4} \rangle \langle e_{2},f\rangle +\cdots . \end{aligned}$$

    Now, if we set \(f=e_{1}\), then the summation in the definition of biframe is equal to 0:

    $$ \sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle =0.$$

    This shows that the summation does not have a nonzero lower bound.

  3. (iii)

    Two frames may not form a biframe.

    Consider the sequences

    $$\begin{aligned}& \{f_{k}\}_{k=1}^{\infty}=\biggl\{ - \frac{1}{2}e_{1},\frac{1}{2}e_{1},e_{2},e_{3}, \ldots \biggr\} , \\& \{g_{k}\}_{k=1}^{\infty}=\{e_{1},e_{1},e_{2},e_{3}, \ldots \}. \end{aligned}$$

    The sequence \(\{f_{k}\}_{k=1}^{\infty}\) is a frame with bounds \(\frac{1}{2}\) and 1, and the sequence \(\{g_{k}\}_{k=1}^{\infty}\) is a frame with bounds 1 and 2. But these frames cannot form a biframe because for \(f\in \mathcal{H}\) we can write

    $$\begin{aligned} \sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle ={}& \biggl\langle f,-\frac{1}{2}e_{1}\biggr\rangle \langle e_{1},f\rangle +\biggl\langle f, \frac{1}{2}e_{1} \biggr\rangle \langle e_{1},f\rangle \\ &{}+\langle f,e_{2}\rangle \langle e_{2},f\rangle +\langle f,e_{3} \rangle \langle e_{3},f\rangle +\cdots \\ ={}&\langle f,e_{2}\rangle \langle e_{2},f\rangle +\langle f,e_{3} \rangle \langle e_{3},f\rangle +\cdots \\ ={}&\sum_{k=2}^{\infty}{ \bigl\vert \langle f,e_{k}\rangle \bigr\vert }^{2}. \end{aligned}$$

    Now, \(\sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle =0\) if we set \(f=e_{1}\). This implies that the summation does not have a nonzero lower bound. Therefore the pair \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is not a biframe.

  4. (iv)

    Two Riesz bases may not form a biframe.

    We consider the orthonormal basis { e k ( x ) } k ∈ Z = { e 2 π i k x } k ∈ Z for \(L^{2}(0,1)\).

    \(T_{-1}\) and \(E_{1}\) are translation and modulation operators on \(L^{2}(0,1)\) respectively. Because these operators are unitary, the following sequences are Riesz bases for \(L^{2}(0,1)\):

    { f k } k ∈ Z = { T − 1 ( e k ( x ) ) } k ∈ Z = { e 2 π i k ( x + 1 ) } k ∈ Z , { g k } k ∈ Z = { E 1 ( e k ( x ) ) } k ∈ Z = { e 2 π i ( k + 1 ) x } k ∈ Z .

    For \(f\in L^{2}(0,1)\), we have

    ∑ k ∈ Z 〈 f , f k 〉 〈 g k , f 〉 = ∑ k ∈ Z 〈 f , e 2 π i k ( x + 1 ) 〉 〈 e 2 π i ( k + 1 ) x , f 〉 = ∑ k ∈ Z ( ∫ 0 1 f ( x ) e − 2 π i k ( x + 1 ) d x ) ( ∫ 0 1 e 2 π i ( k + 1 ) x f ( x ) ‾ d x ) .

    Now, set \(f=e^{2\pi ix}\),

    ∑ k ∈ Z 〈 e 2 π i x , e 2 π i k ( x + 1 ) 〉 〈 e 2 π i ( k + 1 ) x , e 2 π i x 〉 = ∑ k ∈ Z ( ∫ 0 1 e 2 π i ( 1 − k ) x d x ) ( ∫ 0 1 e 2 π i k x ) =0.

    Therefore the summation does not have a nonzero lower bound, so the pair ( { f k } k ∈ Z , { g k } k ∈ Z ) is not a biframe for \(L^{2}(0,1)\).

  5. (v)

    Two orthonormal bases may not form a biframe.

    Let σ be a permutation of N other than the identity. Then the pair \((\{e_{k}\}_{k=1}^{\infty},\{e_{\sigma (k)}\}_{k=1}^{\infty})\) is not a biframe. In fact, an easy calculation shows that the summation in the definition of biframe is always equal to 0 for such sequences. If we set \(f=e_{j}\) for some j∈N such that \(\sigma (j)\neq j\), then

    $$ \sum_{k=1}^{\infty}\langle f,e_{k}\rangle \langle e_{\sigma (k)},f \rangle =\sum _{k=1}^{\infty}\langle e_{j},e_{k} \rangle \langle e_{ \sigma (k)},e_{j}\rangle =0.$$

A pair frame is a concept related to pair \((F,G)\) of sequences in \(\mathcal{H}\). Although a biframe is introduced as a pair of sequences with the same symbol, these two notions are not actually the same. In fact, biframes are special types of pair frames, as we show in Corollary 4.3. In Sect. 6, we focus on the differences between these concepts, where we specifically consider one of their constituent sequences as the orthonormal basis.

The next example shows that a pair frame is not necessarily a biframe.

Example 3.4

Consider the Hilbert space R 2 and the sequences \(F=\{f_{k}\}_{k=1}^{2}\) and \(G=\{g_{k}\}_{k=1}^{2}\) defined as follows:

$$\begin{aligned}& \{f_{k}\}_{k=1}^{2}=\biggl\{ (1,2),\biggl( \frac{8}{7},4\biggr)\biggr\} , \\& \{g_{k}\}_{k=1}^{2}=\biggl\{ \biggl(-1, \frac{175}{2}\biggr),\biggl(\frac{7}{4},\frac{-14}{3} \biggr) \biggr\} . \end{aligned}$$

First, we show that \((F,G)\) is a pair frame by considering the properties of the pair frame operator S. For (x,y)∈ R 2 , the definition of S is given by the following equalities:

$$\begin{aligned} S(x,y) &= \bigl\langle (x,y),(1,2) \bigr\rangle \biggl(-1,\frac{175}{2} \biggr)+ \biggl\langle (x,y),\biggl(\frac{8}{7},4\biggr) \biggr\rangle \biggl(\frac{7}{4}, \frac{-14}{3}\biggr) \\ &=(x+2y) \biggl(-1,\frac{175}{21}\biggr)+\biggl(\frac{8}{7}x+4y \biggr) \biggl(\frac{7}{4}, \frac{-14}{3}\biggr) \\ &=\biggl(-(x+2y),\frac{175}{21}x+\frac{350}{21}y\biggr)+ \biggl(2x+7y,\frac{-112}{21}x- \frac{56}{3}y\biggr) \\ &=(x+5y,3x-2y). \end{aligned}$$

The matrix associated with the operator S is

$$ [S]= \begin{bmatrix} 1& 5 \\ 3& -2 \end{bmatrix} .$$

It is clear that this matrix is invertible (\(\det (S)=-17\neq 0\)). So, the operator S is well defined and invertible, and therefore \((F,G)\) is a pair frame. But this pair is not a biframe. For (x,y)∈ R 2 ,

$$ \bigl\langle (x,y),(1,2) \bigr\rangle \biggl\langle \biggl(-1, \frac{175}{2}\biggr),(x,y) \biggr\rangle + \biggl\langle (x,y),\biggl( \frac{8}{7},4\biggr) \biggr\rangle \biggl\langle \biggl( \frac{7}{4},\frac{-14}{3}\biggr),(x,y) \biggr\rangle = x^{2}-y^{2}+8xy.$$

Now, if we set \((x,y)=(-1+\frac{\sqrt{6}}{2},\frac{1}{\sqrt{2}})\), then \(x^{2}-y^{2}+8xy=0\). Hence this phrase has no nonzero lower bound.

4 The biframe operator

Since finding the bounds of a biframe is not always easy in practice, to better understand and be able to work with biframes, we need to introduce an operator similar to the frame operator, one that has as many good and useful properties as the frame operator. In this section, we introduce the biframe operator associated with a biframe, and we examine its properties. Also, we characterize biframes based on the properties of this operator.

Definition 4.1

Let \((F,G)=(\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) be a biframe for \(\mathcal{H}\). The biframe operator \({S}_{F,G}\) is defined by

$$ S_{F,G}:\mathcal{H}\longrightarrow \mathcal{H}, \qquad S_{F,G}(f):=\sum_{k=1}^{\infty} \langle f,f_{k}\rangle g_{k}. $$
(4.1)

In what follows, we present some properties of the biframe operator.

Theorem 4.2

Let \((F,G)=(\{f_{k}\}_{k=1}^{\infty} , \{g_{k}\}_{k=1}^{\infty})\) be a biframe for \(\mathcal{H}\) with bounds A and B. Then the following statements are true:

  1. (i)

    The operator \(S_{F,G}\) is well defined, bounded, positive, and invertible.

  2. (ii)

    \((F,G)\) is a biframe if and only if \((G,F)\) is a biframe.

Proof

(i) To prove that \({S}_{F,G}\) is well defined, let \(f\in \mathcal{H}\). For n∈N, define

$$ {S}_{n}f=\sum_{k=1}^{n} \langle f,f_{k} \rangle g_{k}.$$

The sequence \(\{S_{n}\}_{n=1}^{\infty}\) is a sequence of linear and bounded operators on \(\mathcal{H}\). Consider i,j∈N, \(i>j\). Then

$$\begin{aligned} \bigl\vert \langle {S}_{i}f,f\rangle - \langle {S}_{j}f,f\rangle \bigr\vert &= \bigl\vert \bigl\langle ({S}_{i}f-{S}_{j}f),f\bigr\rangle \bigr\vert \\ &= \Biggl\vert \Biggl\langle \sum_{k=j+1}^{i} \langle f,f_{k}\rangle g_{k},f \Biggr\rangle \Biggr\vert \\ &\leq \sum_{k=j+1}^{i} \bigl\vert \langle f,f_{k}\rangle \langle g_{k},f \rangle \bigr\vert . \end{aligned}$$

By Definition 3.1, the series \(\sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle \) converges in R. So, its associated sequence of partial sums is a Cauchy sequence. Thus the sequence \(\{\langle {S}_{n}f,f\rangle \}_{n=1}^{\infty}\) is Cauchy, and therefore an operator \(S\in B(\mathcal{H})\) exists (see [23] for example) such that \(\{S_{n}\}_{n=1}^{\infty}\) converges to S weakly:

$$ \langle Sf,f\rangle =\lim_{n\to \infty}\langle {S}_{n}f,f \rangle = \Biggl\langle \sum_{k=1}^{\infty} \langle f,f_{k}\rangle g_{k},f\Biggr\rangle = \langle{S}_{F,G}f,f\rangle .$$

By our definition of the biframe operator \(S_{F,G}\) and the uniqueness of limit, we conclude that \({S}_{F,G}=S\), and therefore \({S}_{F,G}\) is a well defined and bounded operator. By our definition of \({S}_{F,G}\), for every \(f\in \mathcal{H}\), we obtain \(\sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle = \langle{S}_{F,G}f,f\rangle \). Now, by Definition 3.1, we simply observe that

$$ A{ \Vert f \Vert }^{2}\leq \langle S_{F,G}f,f\rangle \leq B{ \Vert f \Vert }^{2}, $$
(4.2)

which implies that \(S_{F,G}\) is a positive operator.

To prove that \(S_{F,G}\) is an invertible operator, we need to show that \(S_{F,G}\) and \(S_{F,G}^{*}\) are injective and have closed ranges [19].

For \(f,g\in \mathcal{H}\),

$$ \langle S_{F,G}f,g\rangle =\sum _{k=1}^{\infty}\langle f,f_{k} \rangle \langle g_{k},g\rangle =\langle f,S_{G,F}\rangle . $$

Hence \(S_{F,G}^{*}=S_{G,F}\). By the definition of biframe, \(S_{F,G}\) and \(S_{G,F}\) are injective.

To prove that \(S_{F,G}\) has a closed range, let \(\{h_{n}\}_{n=1}^{\infty}\subset \mathcal{R}(S_{F,G}) \) be a sequence that converges to \(h\in \mathcal{H}\). Then there exists a sequence \(\{t_{n}\}_{n=1}^{\infty}\) in \(\mathcal{H}\) such that \(S_{F,G}(t_{n})=h_{n} \) for every n; this means that the sequence \(\{S_{F,G}(t_{n})\}_{n=1}^{\infty}\) converges to h.

The sequence \(\{h_{n}\}\) is convergent, so it is a Cauchy sequence. Let \({\epsilon >0}\) be given.

Then there exists \(N>0\) such that

$$ \Vert h_{n}-h_{m} \Vert = \bigl\Vert S_{F,G}(t_{n})-S_{F,G}(t_{m}) \bigr\Vert \leq \epsilon ,\quad \forall m,n\geq N.$$

Consider \(m,n\geq N\), \(n>m\). Now, by (4.2) and the Cauchy–Schwarz inequality,

$$\begin{aligned} A{ \Vert t_{n}-t_{m} \Vert }^{2}&\leq \bigl\langle S_{F,G}(t_{n}-t_{m}) , (t_{n}-t_{m}) \bigr\rangle \\ &\leq \bigl\Vert S_{F,G}(t_{n})-S_{F,G}(t_{m}) \bigr\Vert \Vert t_{n}-t_{m} \Vert \\ &\leq \epsilon \Vert t_{n}-t_{m} \Vert . \end{aligned}$$

Hence \(\Vert t_{n}-t_{m}\Vert \leq \frac{\epsilon}{A}\), which implies that the sequence \(\{t_{n}\}_{n=1}^{\infty}\) is a Cauchy sequence in \(\mathcal{H}\), and so it converges to some \(t\in \mathcal{H}\). Since \(S_{F,G}\) is bounded,

$$ S_{F,G} (t_{n})\longrightarrow S_{F,G}( t ),\quad \text{as } n\longrightarrow \infty .$$

On the other hand,

$$ S_{F,G} (t_{n})\longrightarrow h,\quad \text{as } n \longrightarrow \infty .$$

Now, by the uniqueness of limit, we obtain \(S_{F,G}( t)=h\). So, \(h\in \mathcal{R}(S_{F,G})\), and therefore \(\mathcal{R}(S_{F,G})\) is closed. Thus \(\mathcal{R}(S_{F,G}^{*})\) is closed.

(ii) Let \((F,G)\) be a biframe with bounds A and B. Then, for every \(f\in \mathcal{H}\),

$$ A{ \Vert f \Vert }^{2}\leq \sum_{k=1}^{\infty} \langle f,f_{k}\rangle \langle g_{k},f\rangle \leq B{ \Vert f \Vert }^{2}.$$

Now, we can write

$$ \sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle = \overline{\sum _{k=1}^{\infty}\langle f,f_{k} \rangle \langle g_{k},f\rangle}= \sum_{k=1}^{\infty} \langle f,g_{k}\rangle \langle f_{k},f\rangle .$$

This implies that

$$ A{ \Vert f \Vert }^{2}\leq \sum_{k=1}^{\infty} \langle f,g_{k}\rangle \langle f_{k},f\rangle \leq B{ \Vert f \Vert }^{2}.$$

So, \((G,F)\) is a biframe with bounds A and B. The converse of this statement can be proved similarly. □

Corollary 4.3

Every biframe \((F,G)\) is a pair frame.

Proof

Let \((F,G)\) be a biframe. By Theorem 4.2, \(S_{F,G}\) is well defined and invertible. So, by the definition of pair frames, \((F,G)\) is a pair frame. □

Reconstruction of the elements of a Hilbert space from the frame coefficients is one of the most important achievements of frame theory. The next theorem deals with this reconstruction by using biframes.

Theorem 4.4

Suppose that \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\) with biframe operator \(S_{F,G}\). Then, for every \(f\in \mathcal{H}\), the following reconstruction formula holds:

$$ f=\sum_{k=1}^{\infty}\bigl\langle f,S^{-1}_{G,F}f_{k}\bigr\rangle g_{k}=\sum_{k=1}^{ \infty}\langle f,f_{k}\rangle S^{-1}_{F,G}g_{k}. $$
(4.3)

Moreover, in a complex Hilbert space, we can rewrite the first equation of (4.3) in the following form:

$$ f=\sum_{k=1}^{\infty}\bigl\langle f,S^{-1}_{G,F}f_{k}\bigr\rangle g_{k}=\sum_{k=1}^{ \infty}\bigl\langle f,S^{-1}_{F,G}f_{k}\bigr\rangle g_{k}. $$
(4.4)

Proof

We observed in the proof of Theorem 4.2 that \({S_{F,G}}^{*}=S_{G,F}\). Let \(f\in \mathcal{H}\). Then

$$ f=S_{F,G}S^{-1}_{F,G}f=\sum _{k=1}^{\infty}\bigl\langle S^{-1}_{F,G}f,f_{k} \bigr\rangle g_{k}=\sum_{k=1}^{\infty} \bigl\langle f,S^{-1}_{G,F}f_{k}\bigr\rangle g_{k}, $$

and

$$ f=S^{-1}_{F,G}S_{F,G}f=S^{-1}_{F,G} \sum_{k=1}^{\infty}\langle f,f_{k} \rangle g_{k}=\sum _{k=1}^{\infty}\langle f,f_{k}\rangle S^{-1}_{F,G}g_{k}. $$

For the final assertion, note that in a complex Hilbert space every positive operator is self-adjoint. (The next example shows that this is not true in real Hilbert spaces.) So, we have the self-adjointness property for the positive operator \(S_{F,G}\) in complex Hilbert spaces, and therefore the result follows clearly by using \(S_{F,G}=S_{G,F}\) in (4.3). □

The biframe decomposition stated in (4.3) is the reconstruction formula of biframe theory. The sequence \(\{\langle f,S^{-1}_{F,G}f_{k}\rangle \}_{k=1}^{\infty}\) is called the sequence of biframe coefficients.

Example 4.5

Consider the space R 2 as a real Hilbert space.

The matrix A= [ 1 3 2 8 ] is positive because for [ x y ] ∈ R 2 ,

$$ \left\langle \begin{bmatrix} 1 & 3 \\ 2 & 8 \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} , \begin{bmatrix} x \\ y \end{bmatrix} \right\rangle = \left\langle \begin{bmatrix} x+3y \\ 2x+8y \end{bmatrix} , \begin{bmatrix} x \\ y \end{bmatrix} \right\rangle =x^{2}+5xy+8y^{2}=\biggl(x+\frac{5}{2}y \biggr)^{2}+\frac{7}{4}y^{2}>0.$$

Clearly, the adjoint of this matrix is A= [ 1 2 3 8 ] , and this shows that A is not self-adjoint.

As mentioned at the beginning of this section, proving that two sequences form a biframe by using the definition is by no means an easy task. Therefore we try to characterize biframes based on the properties of the biframe operator. The next theorem presents these conditions.

Theorem 4.6

Let \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) be sequences in a complex Hilbert space \(\mathcal{H}\). Then \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\) if and only if \(S_{F,G}\) is a positive and bounded below operator.

Proof

Let \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) be a biframe for \(\mathcal{H}\). As we observed in Theorem 4.2, \(S_{F,G}\) is a positive and invertible operator. Therefore it is bounded below, too. Conversely, suppose that \(S_{F,G}\) is a positive and bounded below operator on \(\mathcal{H}\). Since \(S_{F,G}\) is a positive operator, it is self-adjoint. For \(f\in \mathcal{H}\),

$$ \sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle = \langle S_{F,G}f, f\rangle = \bigl\vert \langle S_{F,G}f, f \rangle \bigr\vert \leq \Vert S_{F,G} \Vert { \Vert f \Vert }^{2}.$$

To obtain the lower bound, by the positivity of \(S_{F,G}\) [23], we obtain the following inequality:

$$ { \Vert S_{F,G}f \Vert }^{2}\leq \Vert S_{F,G} \Vert \langle S_{F,G}f,f \rangle . $$
(4.5)

On the other hand, \(S_{F,G}\) is bounded below with lower bound α:

$$ \exists \alpha >0,\quad \alpha \Vert f \Vert \leq \Vert S_{F,G}f \Vert . $$
(4.6)

Using (4.5) and (4.6), we find that

$$ {\alpha}^{2}{ \Vert f \Vert }^{2}\leq \Vert S_{F,G} \Vert \langle S_{F,G}f,f \rangle , \quad \forall f\in \mathcal{H}.$$

This implies that \(\langle S_{F,G}f,f \rangle \geq \frac{{\alpha}^{2}}{\Vert S_{F,G}\Vert} {\Vert f\Vert}^{2}\), and so \(\frac{{\alpha}^{2}}{\Vert S_{F,G}\Vert}\) is a lower bound for \(\langle S_{F,G}f,f \rangle \). Thus, \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\). □

To answer the questions we posed in the previous section about the structural relationship between the two sequences that form a biframe, we establish the next theorem which determines the dependency of two Riesz bases that form a biframe. First, we show by some examples that this dependency is not necessarily true for Bessel sequences and frames.

Example 4.7

Let \(\{e_{k}\}_{k=1}^{\infty}\) be an orthonormal basis for \(\mathcal{H}\).

  1. (i)

    A biframe constructed by a frame and a nonframe

    Consider the following sequences:

    $$\begin{aligned}& \{f_{k}\}_{k=1}^{\infty}=\{e_{1},e_{1},e_{1},e_{2},e_{2},e_{2},e_{3},e_{3},e_{3}, \ldots \}, \\& \{g_{k}\}_{k=1}^{\infty}=\biggl\{ 2e_{1},e_{1},-e_{1},\frac{3}{2}e_{2},e_{1},-e_{1}, \frac{4}{3}e_{3},e_{1},-e_{1}, \ldots \biggr\} . \end{aligned}$$

    For \(f\in \mathcal{H}\),

    $$ \sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle = \sum _{k=1}^{\infty}\frac{k+1}{k}{ \bigl\vert \langle f,e_{k}\rangle \bigr\vert }^{2}.$$

    Also,

    $$ { \Vert f \Vert }^{2}\leq \sum_{k=1}^{\infty} \frac{k+1}{k}{ \bigl\vert \langle f,e_{k}\rangle \bigr\vert }^{2}\leq 2{ \Vert f \Vert }^{2}.$$

    Therefore \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe with bounds 1 and 2, although \(\{f_{k}\}_{k=1}^{\infty}\) is a frame and \(\{g_{k}\}_{k=1}^{\infty}\) is not.

  2. (ii)

    A Parseval biframe constructed by a Bessel sequence and a non-Bessel sequence

    Consider the following sequences:

    $$\begin{aligned}& \{f_{k}\}_{k=1}^{\infty}=\biggl\{ e_{1},\frac{1}{2}e_{2},e_{3}, \frac{1}{4}e_{4},e_{5}, \ldots \biggr\} , \\& \{g_{k}\}_{k=1}^{\infty}=\{e_{1},2e_{2},e_{3},4e_{4},e_{5}, \ldots \}. \end{aligned}$$

    For \(f\in \mathcal{H}\), we obtain the following equalities:

    $$ \sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle = \sum _{k=1}^{\infty}{ \bigl\vert \langle f,e_{k}\rangle \bigr\vert }^{2}={ \Vert f \Vert }^{2}.$$

Hence \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a Parseval biframe, although \(\{f_{k}\}_{k=1}^{\infty}\) is a Bessel sequence and \(\{g_{k}\}_{k=1}^{\infty}\) is not.

Theorem 4.8

Suppose that \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\). Then \(\{f_{k}\}_{k=1}^{\infty}\) is a Riesz basis for \(\mathcal{H}\) if and only if \(\{g_{k}\}_{k=1}^{\infty}\) is a Riesz basis for \(\mathcal{H}\).

Proof

Let \(\{f_{k}\}_{k=1}^{\infty}\) be a Riesz basis. Then there exists an operator \(V\in \operatorname{GL}(\mathcal{H})\) such that \(f_{k=}Ve_{k}\) for all k∈N, where \(\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\).

Define the operator

$$ U:\mathcal{H}\rightarrow \mathcal{H},\quad Uf=S_{F,G}{ \bigl({V}^{*}\bigr)}^{-1}f.$$

Clearly, \(U\in \operatorname{GL}({\mathcal{H}})\), and for k∈N we obtain

$$\begin{aligned} Ue_{k}=S_{F,G}{\bigl({V}^{*} \bigr)}^{-1}e_{k}&=\sum_{i=1}^{\infty} \bigl\langle {\bigl({V}^{*}\bigr)}^{-1}e_{k},f_{i} \bigr\rangle g_{i} \\ &=\sum_{i=1}^{\infty}\bigl\langle { \bigl({V}^{*}\bigr)}^{-1}e_{k},Ve_{i} \bigr\rangle g_{i} \\ &=\sum_{i=1}^{\infty}\bigl\langle {V}^{*}{\bigl({V}^{*}\bigr)}^{-1}e_{k},e_{i} \bigr\rangle g_{i} \\ &=\sum_{i=1}^{\infty}\langle e_{k},e_{i}\rangle g_{i}=g_{k}. \end{aligned}$$

Hence \(g_{k}=Ue_{k}\) for all k∈N. This means that \(\{g_{k}\}_{k=1}^{\infty}\) is a Riesz basis for \(\mathcal{H}\).

Similarly, we can prove that \(\{f_{k}\}_{k=1}^{\infty}\) is a Riesz basis if \(\{g_{k}\}_{k=1}^{\infty}\) is a Riesz basis. □

Remark 4.9

As mentioned before, a positive operator in a complex Hilbert space is self-adjoint. To use the self-adjointness property of the positive biframe operator \(S_{F,G}\), from now on we assume that the Hilbert space \(\mathcal{H}\) is complex.

To investigate the operators that preserve the biframe property, since we deal with a pair of sequences in the definition of a biframe, we can study the action of two different operators on the sequences in a biframe. The next theorem presents some operators that preserve the biframe property of a given biframe.

Theorem 4.10

Suppose that \((F,G)=(\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\) with biframe operator \(S_{F,G}\). Then the following statements are true:

  1. (i)

    \((\{Uf_{k}\}_{k=1}^{\infty},\{Vg_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\), for some operators U and V in \(B(\mathcal{H})\) if and only if there exist operators \(Q\in{B}^{+}_{b.b.}(\mathcal{H})\) and \(T,W\in B(\mathcal{H})\) such that \(T{W}^{*}=\textit{I}\) and \(U={Q}^{r}W{S}^{-p}_{F,G}\ ,\ V={Q}^{t}T{S}^{-q}_{F,G}\), when p,q,r,t∈R such that \(p+q=1\) and \(r+t=1\).

  2. (ii)

    \((\{Uf_{k}\}_{k=1}^{\infty},\{Vg_{k}\}_{k=1}^{\infty})\) is a Parseval biframe for \(\mathcal{H}\), for some operators U and V in \(B(\mathcal{H})\) if and only if there exist operators \(T,W\in B(\mathcal{H})\) such that \(T{W}^{*}=\textit{I}\) and \(U=W{S}^{-p}_{F,G}\ ,\ V=T{S}^{-q}_{F,G}\), when p,q∈R such that \(p+q=1\).

In particular, if \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a Parseval biframe, then \((\{Uf_{k}\}_{k=1}^{\infty},\{Vg_{k}\}_{k=1}^{\infty})\) is a Parseval biframe if and only if \(VU^{*}=\textit{I}\).

Proof

(i) Suppose that \((UF,VG)=(\{Uf_{k}\}_{k=1}^{\infty},\{Vg_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\) with biframe operator \(S_{UF,VG}\), when \(U,V\in B(\mathcal{H})\). For \(f\in{\mathcal{H}}\),

$$ S_{UF,VG}f=\sum_{k=1}^{\infty} \langle f,Uf_{k}\rangle Vg_{k}=V\sum _{k=1}^{ \infty}\bigl\langle {U}^{*} f,f_{k}\bigr\rangle g_{k} =VS_{F,G}{U}^{*}f. $$
(4.7)

Since \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) and \((\{Uf_{k}\}_{k=1}^{\infty},\{Vg_{k}\}_{k=1}^{\infty})\) are biframes, Theorem 4.6 allows us to conclude that the operators \(S_{F,G}\) and \(S_{UF,VG}\) are in \({B}^{+}_{b.b.}(\mathcal{H})\), and also are in \({GL}^{+}(\mathcal{H})\). By (4.7) and Proposition 2.1, there exist operators \(T,W\in B(\mathcal{H})\) such that \(T{W}^{*}=\textit{I}\) and

$$ U={S}^{r}_{UF,VG}W{S}^{-p}_{F,G} ,\qquad V={S}^{t}_{UF,VG}T{S}^{-q}_{F,G}. $$
(4.8)

Conversely, let \(Q\in {B}^{+}_{b.b.}(\mathcal{H})\), and let T and W be operators in \(B(\mathcal{H})\) such that \(T{W}^{*}=\textit{I}\) and

$$ U={Q}^{r}W{S}^{-p}_{F,G} , \qquad V={Q}^{t}T{S}^{-q}_{F,G}. $$
(4.9)

Then, by Proposition 2.1, \(Q=VS_{F,G}{U}^{*}\), which means that for every \(f\in \mathcal{H}\),

$$ Qf=VS_{F,G}{U}^{*}f =V\Biggl(\sum _{k=1}^{\infty}\bigl\langle {U}^{*}f,f_{k} \bigr\rangle g_{k}\Biggr) =\sum_{k=1}^{\infty} \langle f,U f_{k}\rangle Vg_{k}.$$

Therefore Q is of the form of a biframe operator. By the assumption \(Q\in{B}^{+}_{b.b.}(\mathcal{H})\), Theorem 4.6 allows us to conclude that \((\{Uf_{k}\}_{k=1}^{\infty},\{Vg_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\).

(ii) This part is a direct consequence of the previous part. □

Having in mind the final part of Theorem 4.10, we obtain some simple results for Parseval biframes.

Corollary 4.11

Suppose that \(U,V\in B(\mathcal{H})\). For sequences \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) in \(\mathcal{H}\), if each of the following conditions holds, then \((\{Uf_{k}\}_{k=1}^{\infty},\{Vg_{k}\}_{k=1}^{\infty})\) is a Parseval biframe if and only if \(VU^{*}=\textit{I}\).

  1. (i)

    \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) are dual frames in \(\mathcal{H}\).

  2. (ii)

    \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) are biorthogonal frames for \(\mathcal{H}\).

Moreover, if \(\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\), then \((\{Ue_{k}\}_{k=1}^{\infty},\{Ve_{k}\}_{k=1}^{\infty})\) is a Parseval biframe for \(\mathcal{H}\) if and only if \(VU^{*}=\textit{I}\).

Proof

Each of conditions (i) and (ii) implies that \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a Parseval biframe. The proof of part (i) is clear. To see part (ii), if \(\{f_{k}\}_{k=1}^{\infty}\), \(\{g_{k}\}_{k=1}^{\infty}\) are biorthogonal frames, then for \(f\in \mathcal{H}\),

$$\begin{aligned} \sum_{k=1}^{\infty}\langle f,f_{k}\rangle \langle g_{k},f\rangle &= \sum _{k=1}^{\infty}\langle f,f_{k}\rangle \Biggl\langle g_{k},\sum_{i=1}^{ \infty} \bigl\langle f,S_{F}^{-1}f_{i}\bigr\rangle f_{i}\Biggr\rangle \\ &=\sum_{k=1}^{\infty}\sum _{i=1}^{\infty}\langle f,f_{k}\rangle \bigl\langle S_{F}^{-1}f_{i},f\bigr\rangle \langle g_{k},f_{i}\rangle \\ &=\sum_{k=1}^{\infty}\sum _{i=1}^{\infty}\langle f,f_{k}\rangle \bigl\langle S_{F}^{-1}f_{i},f\bigr\rangle { \delta}_{k,i} \\ &=\sum_{k=1}^{\infty}\langle f,f_{k}\rangle \bigl\langle S_{F}^{-1}f_{k},f \bigr\rangle ={ \Vert f \Vert }^{2}. \end{aligned}$$

Now, the desired result follows from the final assertion of Theorem 4.10.

Also, the pair \((\{e_{k}\}_{k=1}^{\infty},\{e_{k}\}_{k=1}^{\infty})\) is a Parseval biframe, and again, by the final assertion of Theorem 4.10, the statement is true. □

5 Characterization of biframes

In this section, we characterize the biframes whose constituent sequences are Bessel sequences, frames, and Riesz bases. Also, we obtain some results concerning Parseval biframes.

Theorem 5.1

Two Bessel sequences \(F=\{f_{k}\}_{k=1}^{\infty}\) and \(G=\{g_{k}\}_{k=1}^{\infty}\) form a biframe for \(\mathcal{H}\) if and only if there exist operators \(Q\in B^{+}_{b.b.}(\mathcal{H})\) and \(T,W\in B(\mathcal{H})\) such that \(TW^{*}=\textit{I}\), \(f_{k}={Q}^{r}W e_{k}\), and \(g_{k}={Q}^{t}T e_{k}\) for all k∈N, whenever r,t∈R and \(r+t=1\) and \(E=\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\).

Proof

Let \((F,G)=(\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) be a biframe with biframe operator \(S_{F,G}\), formed by Bessel sequences \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\). Since \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) are Bessel sequences, there exist operators \(U,V\in B(\mathcal{H})\) and the orthonormal basis \(E=\{e_{k}\}_{k=1}^{\infty}\) for \(\mathcal{H}\) such that

F= f k =U e k =UEandG= g k =V e k =VE,∀k∈N.
(5.1)

For the Parseval biframe \((\{e_{k}\}_{k=1}^{\infty},\{e_{k}\}_{k=1}^{\infty})\), Theorem 4.10 gives us operators \(T,W\in B(\mathcal{H})\) such that \(TW^{*}=\textit{I}\), and by (4.8),

$$ U=S^{r}_{UE,VE}W ,\qquad V=S^{t}_{UE,VE}T,$$

whenever r,t∈R and \(r+t=1\). Now, by (5.1), we can write

$$ f_{k}=Ue_{k}=S^{r}_{UE,VE}W e_{k}=S^{r}_{F,G}W e_{k} $$

and

g k =V e k = S U E , V E t T e k = S F , G t T e k ,∀k∈N.
(5.2)

Conversely, suppose that there exist an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\) and operators \(Q\in B^{+}_{b.b.}(\mathcal{H})\) and \(T,W\in B(\mathcal{H})\) such that \(TW^{*}=\textit{I}\), \(f_{k}={Q}^{r}W e_{k}\), and \(g_{k}={Q}^{t}T e_{k}\) for k∈N, whenever r,t∈R and \(r+t=1\). For \(f\in \mathcal{H}\), one obtains

$$\begin{aligned} \sum_{k=1}^{\infty}\langle f,f_{k}\rangle g_{k}&=\sum _{k=1}^{\infty} \bigl\langle f,{Q}^{r}We_{k} \bigr\rangle {Q}^{t}Te_{k} \\ &={Q}^{t}T\sum_{k=1}^{\infty} \bigl\langle {W}^{*}{Q}^{r}f,e_{k}\bigr\rangle e_{k} \\ &={Q}^{t}T{W}^{*}{Q}^{r}f \\ &={Q}^{t+r}f=Qf. \end{aligned}$$

These relations and Theorem 4.6 show that \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\). □

Corollary 5.2

Two Bessel sequences \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) form a Parseval biframe for \(\mathcal{H}\) if and only if there exist operators \(T,W\in B(\mathcal{H})\) such that \(T{W}^{*}=\textit{I}\), \(f_{k}=We_{k}\), and \(g_{k}=Te_{k}\) for k∈N, whenever \(\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\).

Furthermore, each of the above assertions implies that \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) are dual frames.

Here we recall the concept of generalized dual frames for \(\mathcal{H}\) (g-dual frames). In 2013, Dehghan and Hasankhani [15] introduced the concept of g-dual frames as follows.

A frame \(\{g_{k}\}_{k=1}^{\infty}\) is a g-dual frame of frame \(\{f_{k}\}_{k=1}^{\infty}\) for \(\mathcal{H}\) if there exists an invertible operator \(A\in B(\mathcal{H})\) such that, for all \(f\in \mathcal{H}\), the equality \(f=\sum_{k=1}^{\infty}\langle Af,g_{k}\rangle f_{k}\) is valid.

The reconstruction formula (4.4) for the members of a Hilbert space by a given biframe \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) for \(\mathcal{H}\) and the concept of g-dual frames for \(\mathcal{H}\) give us this idea of characterizing the biframes that are formed by two frames by using the characterization of g-dual frames.

Theorem 5.3

Let \(F=\{f_{k}\}_{k=1}^{\infty}\) be a frame for \(\mathcal{H}\) with frame operator \(S_{F}\). Then the following statements are equivalent:

  1. (i)

    The sequence \(\{g_{k}\}_{k=1}^{\infty}\) is a Bessel for \(\mathcal{H}\) and the pair \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\).

  2. (ii)

    \(\{g_{k}\}_{k=1}^{\infty}=\{({S_{F}Q})^{-1}f_{k}+h_{k}-\sum_{j=1}^{ \infty}\langle S^{-1}_{F} f_{k},f_{j}\rangle h_{j}\}_{k=1}^{\infty}\) for some \(Q\in B^{+}_{b.b.}(\mathcal{H})\), where \(\{h_{k}\}_{k=1}^{\infty}\) is a Bessel sequence in \(\mathcal{H}\).

  3. (iii)

    The sequence \(\{g_{k}\}_{k=1}^{\infty}\) is a frame for \(\mathcal{H}\) and the pair \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\).

Proof

For the proof of \((i)\Rightarrow (\text{ii})\), suppose that \(\{g_{k}\}_{k=1}^{\infty}\) is a frame for \(\mathcal{H}\) and \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\) with biframe operator \(S_{F,G}\). By the reconstruction formula (4.4) and according to this point that \(S_{F,G}=S_{G,F}\) for \(f\in \mathcal{H}\), we have

$$ f=\sum_{k=1}^{\infty}\bigl\langle S^{-1}_{F,G}f,f_{k}\bigr\rangle g_{k}=\sum_{k=1}^{ \infty}\bigl\langle S^{-1}_{F,G}f,g_{k}\bigr\rangle f_{k}.$$

Therefore \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) are g-dual frames. By using the characterization of g-dual frames presented in [15], every \(g_{k}\) has the following form:

$$\begin{aligned} g_{k}&=\bigl(S_{F,G}S^{-1}_{F} \bigr)f_{k}+h_{k}-\sum_{j=1}^{\infty} \bigl\langle S^{-1}_{F} f_{k},f_{j} \bigr\rangle h_{j} \\ &={\bigl(S_{F}S^{-1}_{F,G} \bigr)}^{-1}f_{k}+h_{k}-\sum _{j=1}^{\infty}\bigl\langle S^{-1}_{F} f_{k},f_{j}\bigr\rangle h_{j}, \end{aligned}$$

where the sequence \(\{h_{k}\}_{k=1}^{\infty}\) is a Bessel sequence in \(\mathcal{H}\).

For the proof of \((\text{ii})\Rightarrow (i)\), assume that there exists an operator \(Q\in B^{+}_{b.b.}(\mathcal{H})\) such that \(\{g_{k}\}_{k=1}^{\infty}=\{({S_{F}Q})^{-1}f_{k}+h_{k}-\sum_{j=1}^{ \infty}\langle S^{-1}_{F} f_{k},f_{j}\rangle h_{j}\}_{k=1}^{\infty}\), where \(\{h_{k}\}_{k=1}^{\infty}\) is a Bessel sequence in \(\mathcal{H}\). For \(f\in \mathcal{H}\), we have

$$\begin{aligned} \sum_{k=1}^{\infty}\langle f,f_{k}\rangle g_{k} &=\sum _{k=1}^{ \infty}\langle f,f_{k}\rangle \Biggl({(S_{F}Q)}^{-1}f_{k}+h_{k}- \sum_{j=1}^{ \infty}\bigl\langle S^{-1}_{F} f_{k},f_{j}\bigr\rangle h_{j} \Biggr) \\ &=Q^{-1}S^{-1}_{F}\sum _{k=1}^{\infty}\langle f,f_{k}\rangle f_{k}+ \sum_{k=1}^{\infty} \langle f,f_{k}\rangle h_{k}-\sum _{k=1}^{\infty} \sum_{j=1}^{\infty} \langle f,f_{k}\rangle \bigl\langle S^{-1}_{F}f_{k},f_{j} \bigr\rangle h_{j} \\ &=Q^{-1}f+\sum_{k=1}^{\infty} \langle f,f_{k}\rangle h_{k}-\sum _{k=1}^{ \infty}\sum_{j=1}^{\infty} \langle f,f_{k}\rangle \bigl\langle S^{-1}_{F}f_{k},f_{j} \bigr\rangle h_{j} \\ &=Q^{-1}f+\sum_{k=1}^{\infty} \langle f,f_{k}\rangle h_{k}-\sum _{j=1}^{ \infty}\langle f,f_{j}\rangle h_{j}=Q^{-1}f. \end{aligned}$$

Since \(Q^{-1}\in B^{+}_{b.b.}(\mathcal{H})\) gives the result that \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\). Simple calculations show that the sequence \(\{g_{k}\}_{k=1}^{\infty}\) is a Bessel sequence. The above calculations derive that \(f=\sum_{k=1}^{\infty}\langle Qf,f_{k}\rangle g_{k}\). Then \(\{g_{k}\}_{k=1}^{\infty}\) is a frame for \(\mathcal{H}\) by ([15], Lemma 2.1).

(i) is an obvious consequence of (iii). □

Theorem 5.4

Let \(F=\{f_{k}\}_{k=1}^{\infty}\) be a Riesz basis for \(\mathcal{H}\) with frame operator \(S_{F}\). Then the following statements are equivalent:

  1. (i)

    The pair \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\).

  2. (ii)

    \(\{g_{k}\}_{k=1}^{\infty}=\{({S_{F}Q})^{-1}f_{k}\}\) for some \(Q\in B^{+}_{b.b.}(\mathcal{H})\).

In particular, each of conditions (i) and (ii) implies that \(\{g_{k}\}_{k=1}^{\infty}\) is a Riesz basis for \(\mathcal{H}\).

Proof

For the proof of \((i)\Rightarrow (\text{ii})\), let \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) be a biframe for \(\mathcal{H}\) with biframe operator \(S_{F,G}\). Since \(\{f_{k}\}_{k=1}^{\infty}\) is a Riesz basis for \(\mathcal{H}\), there is an invertible operator \(V\in B(\mathcal{H})\) such that \(f_{k}=Ve_{k}\) for every k∈N, where \(\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\). By Theorem 4.8, the sequence \(\{g_{k}\}_{k=1}^{\infty}\) is a Riesz basis for \(\mathcal{H}\), and for every k∈N,

$$\begin{aligned} g_{k}&=S_{F,G}{{V}^{*}}^{-1}e_{k}=S_{F,G}{V^{*}}^{-1}{V}^{-1}f_{k} \\ &=S_{F,G}{\bigl(V{V}^{*}\bigr)}^{-1}f_{k}=S_{F,G}{S_{F}}^{-1}f_{k} \\ &={\bigl(S_{F}{S_{F,G}}^{-1} \bigr)}^{-1}f_{k}. \end{aligned}$$

So \(\{g_{k}\}_{k=1}^{\infty}\) is presented form in (ii) because \(S_{F,G}\in B^{+}_{b.b.}(\mathcal{H})\).

The proof of (ii) ⇒ (i) is easily obtained. □

6 B-Riesz bases

Since orthonormal bases are among the most important sequences in \(\mathcal{H}\), we study those biframes for which one of the constituent sequences is an orthonormal basis. We will see that these types of biframes have interesting properties that distinguish them from the pair frames having a similar property. In fact, by collecting all the sequences that form a biframe together with a given orthonormal basis in a set, new bases can be obtained that find a special place between the set of all orthonormal bases and the set of all Riesz bases. But such results cannot be established for pair frames. We begin our study of this subject with a definition.

Definition 6.1

We consider an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\) for \(\mathcal{H}\) and define the set \([\{e_{k}\}]\) as follows:

$$\begin{aligned}& \bigl[\{e_{k}\}\bigr]= \bigl\{ \{f_{k} \}_{k=1}^{\infty}\vert \bigl(\{e_{k} \}_{k=1}^{ \infty},\{f_{k}\}_{k=1}^{\infty} \bigr) \text{ is a biframe for } \mathcal{H} \bigr\} . \end{aligned}$$

The next proposition shows us the way the elements of the set \([\{e_{k}\}]\) can be represented.

Proposition 6.2

Let \(E=\{e_{k}\}_{k=1}^{\infty}\) be an orthonormal basis for \(\mathcal{H}\). The sequence \(F=\{f_{k}\}_{k=1}^{\infty}\) belongs to \([\{e_{k}\}]\) if and only if there exists an operator \(U\in {B}^{+}_{b.b.}(\mathcal{H})\) such that \(f_{k}=Ue_{k}\) for all k∈N.

Proof

Let \(\{f_{k}\}_{k=1}^{\infty}\in [\{e_{k}\}]\). Therefore the pair \((\{e_{k}\}_{k=1}^{\infty},\{f_{k}\}_{k=1}^{\infty})\) is a biframe with biframe operator \(S_{E,F}\). For k∈N,

$$ S_{E,F}e_{k}=\sum_{i=1}^{\infty} \langle e_{k},e_{i}\rangle f_{i}=f_{k},$$

and hence \(f_{k}=S_{E,F}e_{k}\) for all k∈N.

Conversely, suppose that there exists \(U\in {B}^{+}_{b.b.}(\mathcal{H})\) such that \(f_{k}=Ue_{k}\) for all k∈N. For \(f\in \mathcal{H}\),

$$ Uf=\sum_{k=1}^{\infty}\langle f,e_{k}\rangle Ue_{k}=\sum _{k=1}^{ \infty}\langle f,e_{k}\rangle f_{k}=Sf.$$

This means that \(S\in{B}^{+}_{b.b.}(\mathcal{H})\), and by Theorem 4.6, \((\{e_{k}\}_{k=1}^{\infty}, \{f_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\) with biframe operator S. Hence \(\{f_{k}\}_{k=1}^{\infty}\in [\{e_{k}\}]\). □

Proposition 6.3

Let \(\{e_{k}\}_{k=1}^{\infty}\) be an orthonormal basis for \(\mathcal{H}\), and consider the sequence \(\{f_{k}\}_{k=1}^{\infty}\in [\{e_{k}\}]\). If there exists an orthonormal basis \(\{\delta _{k}\}_{k=1}^{\infty}\) for \(\mathcal{H}\) such that \(\{f_{k}\}_{k=1}^{\infty}\in [\{\delta _{k}\}]\), then \(e_{k}=\delta _{k}\) for all k∈N.

Proof

Since the sequence \(\{f_{k}\}_{k=1}^{\infty}\) belongs to \([\{e_{k}\}]\) and \([\{\delta _{k}\}]\), by Proposition 6.2, there exist operators \(U,V\in B^{+}_{b.b.}(\mathcal{H}) \) such that \(f_{k}=Ue_{k}\) and \(f_{k}=V\delta _{k}\) for all k∈N.

On the other hand, the sequence \(F=\{f_{k}\}_{k=1}^{\infty}\) is a frame for \(\mathcal{H}\) with biframe operator \(S_{F}\), too. For \(f\in \mathcal{H}\),

$$ S_{F} f=\sum_{k=1}^{\infty} \langle f,f_{k}\rangle f_{k}=\sum _{k=1}^{ \infty}\langle f,Ue_{k}\rangle Ue_{k}=U^{2} f,$$

and also \(S_{F} f=V^{2} f\). These relations allow us to conclude that \(U^{2}=V^{2}\), and so \(U=V\). Now, for k∈N, one obtains

$$ f_{k}=Ue_{k}=U\delta _{k}.$$

Hence \(U(e_{k}-\delta _{k})=0\), and so \(e_{k}=\delta _{k}\). □

Here, a new class of sequences is introduced, and we study elements of it.

Definition 6.4

A sequence \(\{f_{k}\}_{k=1}^{\infty}\) in \(\mathcal{H}\) is called a biframe-Riesz basis, briefly b-Riesz basis for \(\mathcal{H}\), if there is an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\) for \(\mathcal{H}\) such that \((\{e_{k}\}_{k=1}^{\infty},\{f_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\).

Now, we can use Proposition 6.2 and Proposition 6.3 and give some equivalent conditions for a sequence to be a b-Riesz basis.

Theorem 6.5

Let \(\{f_{k}\}_{k=1}^{\infty}\) be a sequence in \(\mathcal{H}\). Then the following statements are equivalent:

  1. (i)

    \(\{f_{k}\}_{k=1}^{\infty}\) is a b-Riesz basis.

  2. (ii)

    \(\{f_{k}\}_{k=1}^{\infty}\in [\{e_{k}\}]\) for an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\).

  3. (iii)

    There exist an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\) and an operator \(U\in B^{+}_{b.b.}(\mathcal{H})\) such that \(\{f_{k}\}_{k=1}^{\infty}=\{Ue_{k}\}_{k=1}^{\infty}\).

  4. (iv)

    \(\{f_{k}\}_{k=1}^{\infty}\in [\{e_{k}\}]\) for precisely an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\).

If we denote the set of all orthonormal bases of \(\mathcal{H}\) by \(\mathcal{O}\), the set of all Riesz bases by \(\mathcal{R}\), and the set of all b-Riesz bases by \(\mathcal{E}\), then by Proposition 6.2 these sets are ordered as \(\mathcal{O}\subset \mathcal{E}\subset \mathcal{R}\). The following example illustrates that they are proper subsets.

Example 6.6

  1. (i)

    We consider the Riesz basis \(\{f_{k}\}_{k=1}^{2}=\{(-1,2),(1,0)\}\) for R 2 . Every orthonormal basis for R 2 is in the following form. For \(a\in [0,1]\),

    $$ \bigl\{ e^{a}_{k}\bigr\} _{k=1}^{2}= \bigl\{ \bigl(a,\sqrt{1-a^{2}}\bigr),\bigl(-\sqrt{1-a^{2}},a \bigr) \bigr\} .$$

    If there exists \(a\in [0,1]\) such that \(\{f_{k}\}_{k=1}^{2}\in [\{e^{a}_{k}\}]\), then there are positive numbers A and B such that for every (x,y)∈ R 2

    $$\begin{aligned} A\bigl(x^{2}+y^{2}\bigr)\leq{}& \bigl\langle (x,y), \bigl(a,\sqrt{1-a^{2}}\bigr) \bigr\rangle \bigl\langle (-1,2),(x,y) \bigr\rangle \\ &{}+ \bigl\langle (x,y),\bigl(-\sqrt{1-a^{2}},a\bigr) \bigr\rangle \bigl\langle (1,0),(x,y) \bigr\rangle \\ \leq {}&B\bigl(x^{2}+y^{2}\bigr), \end{aligned}$$

    and then

    $$\begin{aligned} A\bigl(x^{2}+y^{2}\bigr) \leq& -\bigl(a+ \sqrt{1-a^{2}}\bigr)x^{2}+2\bigl(\sqrt{1-a^{2}} \bigr)y^{2}+\bigl(3a- \sqrt{1-a^{2}}\bigr)xy\\ \leq& B \bigl(x^{2}+y^{2}\bigr). \end{aligned}$$

    Now, set \(y=1\). We get a quadratic equation as follows:

    $$ -\bigl(a+\sqrt{1-a^{2}}\bigr)x^{2}+\bigl(3a- \sqrt{1-a^{2}}\bigr)x+2\bigl(\sqrt{1-a^{2}} \bigr)=0.$$

    This equation has positive \(\Delta =2a\sqrt{1-a^{2}}+9>0\). Hence there are none zero points \((x,y)\) in R 2 such that

    $$ \bigl\langle (x,y),\bigl(a,\sqrt{1-a^{2}}\bigr) \bigr\rangle \bigl\langle (-1,2),(x,y) \bigr\rangle + \bigl\langle (x,y),\bigl(- \sqrt{1-a^{2}},a\bigr) \bigr\rangle =0.$$

    So there is no orthonormal basis for R 2 to form a biframe with \(\{f_{k}\}_{k=1}^{2}\), that is, \(\{f_{k}\}_{k=1}^{2}\) does not belong to \(\mathcal{E}\), hence \(\mathcal{R}\neq \mathcal{E}\).

  2. (ii)

    We consider the orthonormal basis \(\{e_{k}\}_{k=1}^{2}=\{(1,0),(0,1)\}\) for R 2 and the sequence \(\{f_{k}\}_{k=1}^{2}=\{(3,-1),(-1,2)\}\). The following calculations show that \(\{f_{k}\}_{k=1}^{2}\in [\{e_{k}\}]\).

    For (x,y)∈ R 2 ,

    $$ \bigl\langle (x,y),(1,0) \bigr\rangle \bigl\langle (3,-1),(x,y) \bigr\rangle + \bigl\langle (x,y),(0,1) \bigr\rangle \bigl\langle (-1,2),(x,y) \bigr\rangle =3x^{2}-2xy+2y^{2}.$$

    Now we can see that

    $$ x^{2}+y^{2}\leq 3x^{2}-2xy+2y^{2} \leq 4\bigl(x^{2}+y^{2}\bigr).$$

    So \((\{e_{k}\}_{k=1}^{2},\{f_{k}\}_{k=1}^{2})\) is a biframe for R 2 with bounds 1 and 4. But it is clear that \(\{f_{k}\}_{k=1}^{2}\) is not an orthonormal basis for R 2 , so \(\mathcal{E}\neq \mathcal{O}\).

Proposition 6.3 shows that the subsets \([\{e_{k}\}]\) of \(\mathcal{E}\) are distinct whenever \(\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\). Also, it is clear that \(\mathcal{E}=\bigcup [\{e_{k}\} ]\), hence the collection \(\Gamma = \{[\{e_{k}\}]\mid \{e_{k}\}\text{ is an orthonormal basis for } \mathcal{H} \}\) is a partition of \(\mathcal{E}\), and therefore induces an equivalence relation ∼ on the set \(\mathcal{E}\), i.e., this result leads us to equivalence classes on \(\mathcal{E}\). This is why we represented these subsets by the notation \([\{e_{k}\}]\). In fact, we have the following equivalence relation ∼ between sequences \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) in \(\mathcal{E}\). \(\{f_{k}\}_{k=1}^{\infty}\sim \{g_{k}\}_{k=1}^{\infty} \Leftrightarrow \) there exists an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\) s.t. \(\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty}\in [\{e_{k}\}]\).

In order to show another difference between biframes and pair frames, in what follows we study a similar problem, and we observe that the results obtained for biframes do not apply to pair frames.

Definition 6.7

Consider the set \(\mathcal{E}^{\prime }\) of sequences in \(\mathcal{H}\) as follows:

$$\begin{aligned}& \mathcal{E}^{\prime }= \bigl\{ \{f_{k}\}_{k=1}^{\infty} \mid \bigl(\{e_{k}\}_{k=1}^{ \infty}, \{f_{k}\}_{k=1}^{\infty}\bigr)\text{ is a pair frame for some orthonormal basis } \{e_{k}\}_{k=1}^{\infty} \bigr\} . \end{aligned}$$

For an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\), the subset \({[\{e_{k}\}]}^{\prime }\) of \(\mathcal{E}^{\prime }\) is considered as follows:

$$\begin{aligned}& {\bigl[\{e_{k}\}\bigr]}^{\prime }= \bigl\{ \{f_{k}\}_{k=1}^{\infty}\mid \bigl( \{e_{k}\}_{k=1}^{ \infty},\{f_{k} \}_{k=1}^{\infty}\bigr)\text{ is a pair frame for } \mathcal{H} \bigr\} . \end{aligned}$$

Proposition 6.8

The set \(\mathcal{E}^{\prime }\) is the set of all Riesz bases.

Proof

Let \(\{f_{k}\}_{k=1}^{\infty}\in \mathcal{E}^{\prime }\). Then there exists an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\) such that \((\{e_{k}\}_{k=1}^{\infty}, \{f_{k}\}_{k=1}^{\infty})\) is a pair frame for \(\mathcal{H}\), that is, the pair frame operator S is a well-defined and invertible operator. For j∈N,

$$ Se_{j}=\sum_{k=1}^{\infty} \langle e_{j},e_{k}\rangle f_{k}=f_{j}.$$

Therefore \(f_{k}=Se_{k}\) for all k∈N. So, \(\{f_{k}\}_{k=1}^{\infty}\) is a Riesz basis for \(\mathcal{H}\).

Conversely, suppose that the sequence \(\{f_{k}\}_{k=1}^{\infty}\) is a Riesz basis for \(\mathcal{H}\). Then there exists an invertible operator \(V\in B(\mathcal{H})\) such that \(f_{k}=Ve_{k}\) for all k∈N. For \(f\in \mathcal{H}\),

$$ Vf=\sum_{k=1}^{\infty}\langle f,e_{k}\rangle Ve_{k}=\sum _{k=1}^{ \infty}\langle f,e_{k}\rangle f_{k}.$$

This implies that \((\{e_{k}\}_{k=1}^{\infty},\{f_{k}\}_{k=1}^{\infty})\) is a pair frame for \(\mathcal{H}\) with the pair frame operator V. □

The next example shows that, unlike the subsets \([\{e_{k}\}]\) of \(\mathcal{E}\), the subsets \({[\{e_{k}\}]}^{\prime }\) of \(\mathcal{E}^{\prime }\) are not distinct. Hence the collection of them cannot be a partition for the set \(\mathcal{E}^{\prime }=\mathcal{R}\).

Example 6.9

Consider the following orthonormal basis for R 2 :

$$\begin{aligned}& \{e_{k}\}_{k=1}^{2}=\bigl\{ (1,0),(0,1)\bigr\} \quad \text{and}\quad \{\delta _{k}\}_{k=1}^{2}= \bigl\{ (0,1),(1,0)\bigr\} . \end{aligned}$$

It is easy to check that the sequence \(\{f_{k}\}_{k=1}^{2}=\{(0,1),(1,1)\}\) belongs to \([\{e_{k}\}]^{\prime }\) and \([\{\delta _{k}\}]^{\prime }\) because, for every k∈N,

$$ f_{k}= \begin{bmatrix} 0 & 1 \\ 1 & 1 \end{bmatrix} e_{k} ,\qquad f_{k}= \begin{bmatrix} 1 & 0 \\ 1 & 1 \end{bmatrix} \delta _{k}.$$

In what follows, we examine the biframe property according to whether the constituent sequences are b-Riesz bases or are not. In this regard, the following questions arise:

(\(Q_{4}\)):

Is it necessarily true that any two b-Riesz bases form a biframe?

(\(Q_{5}\)):

Is there a biframe for which none of the constituent sequences are b- Riesz bases?

(\(Q_{6}\)):

Is there a biframe for which just one of constituent sequences is a b- Riesz basis?

The next example shows that the answer to question \((Q_{4})\) is negative. In Proposition 6.11, we propose a necessary condition for such sequences to form a biframe. Also, we have a positive answer to questions \((Q_{5})\) and \((Q_{6})\) that are illustrated in Example 6.12 and Example 6.13.

Example 6.10

We consider the orthonormal \(\{e_{k}\}_{k=1}^{2}=\{(1,0),(0,1)\}\) for R 2 and two sequences \(\{f_{k}\}_{k=1}^{2}\) and \(\{g_{k}\}_{k=1}^{2}\) as follows:

$$\begin{aligned}& \{f_{k}\}_{k=1}^{2}=\bigl\{ (3,1),(1,1)\bigr\} ,\qquad \{g_{k}\}_{k=1}^{2}=\bigl\{ (2,-1),(-1,1)\bigr\} . \end{aligned}$$

Simple calculations show that \((\{e_{k}\}_{k=1}^{2},\{f_{k}\}_{k=1}^{2})\) is a biframe for R 2 with bounds \(\frac{1}{2}\) and 4, and \((\{e_{k}\}_{k=1}^{2},\{g_{k}\}_{k=1}^{2})\) is a biframe for R 2 with bounds \(\frac{1}{4}\) and 3. For (x,y)∈ R 2 ,

$$ \bigl\langle (x,y),(3,1) \bigr\rangle \bigl\langle (2,-1),(x,y) \bigr\rangle + \bigl\langle (x,y),(1,1) \bigr\rangle \bigl\langle (-1,1),(x,y) \bigr\rangle =5x^{2}-xy.$$

Now, set \((x,y)=(1,5)\), hence \(5x^{2}-xy=0\), and this implies that the above summation does not satisfy an upper and lower biframe bounds condition, and so \((\{f_{k}\}_{k=1}^{2},\{g_{k}\}_{k=1}^{2})\) is not a biframe for R 2 .

Proposition 6.11

Let \(\{e_{k}\}_{k=1}^{\infty}\) be an orthonormal basis for \(\mathcal{H}\), and suppose that \(\{f_{k}\}_{k=1}^{\infty}=\{Ue_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}=\{Ve_{k}\}_{k=1}^{\infty}\) are in \([\{e_{k}\}]\). If the operator VU is positive, then \((\{f_{k}\}_{k=1}^{\infty}, \{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\).

Proof

Since \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) are in \([\{e_{k}\}]\), by Theorem 6.5, U and V are in \({B}^{+}_{b.b.}(\mathcal{H})\). For \(f\in \mathcal{H}\),

$$ VUf=VU\Biggl(\sum_{k=1}^{\infty}\langle f,e_{k}\rangle e_{k}\Biggr)=\sum _{k=1}^{ \infty}\langle f,Ue_{k}\rangle Ve_{k}=\sum_{k=1}^{\infty} \langle f,f_{k} \rangle g_{k}=Sf.$$

If the operator VU is positive, then \(S\in{B}^{+}_{b.b.}(\mathcal{H})\), and so \((\{f_{k}\}_{k=1}^{\infty}, \{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\). □

Example 6.12

Let \(\{e_{k}\}_{k=1}^{\infty}\) be an orthonormal basis for \(\mathcal{H}\). We consider the sequences \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) defined by

$$\begin{aligned}& \{f_{k}\}_{k=1}^{\infty}=\{ke_{k} \}_{k=1}^{\infty}, \\& \{g_{k}\}_{k=1}^{\infty}=\biggl\{ \frac{1}{k}e_{k}\biggr\} _{k=1}^{\infty}. \end{aligned}$$

The pair \((\{f_{k}\}_{k=1}^{\infty}, \{g_{k}\}_{k=1}^{\infty})\) is a Parseval biframe. Since for \(f\in \mathcal{H}\),

$$\begin{aligned} \sum_{k=1}^{\infty}\langle f, f_{k}\rangle \langle g_{k},f\rangle &= \sum _{k=1}^{\infty}\langle f, ke_{k}\rangle \biggl\langle \frac{1}{k}e_{k},f \biggr\rangle \\ &=\sum_{k=1}^{\infty }{ \bigl\vert \langle f, e_{k}\rangle \bigr\vert }^{2}={ \Vert f \Vert }^{2}. \end{aligned}$$

Of course, \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) are not in \([\{e_{k}\}]\) because the left summation in the equations

$$ \sum_{k=1}^{\infty}\langle f, e_{k}\rangle \langle f_{k},f\rangle = \sum _{k=1}^{\infty}\langle f, e_{k}\rangle \langle ke_{k},f\rangle = \sum_{k=1}^{\infty }k{ \bigl\vert \langle f, e_{k}\rangle \bigr\vert }^{2}$$

and

$$ \sum_{k=1}^{\infty}\langle f, e_{k}\rangle \langle g_{k},f\rangle = \sum _{k=1}^{\infty}\langle f, e_{k}\rangle \biggl\langle \frac{1}{k}e_{k},f \biggr\rangle =\sum _{k=1}^{\infty }\frac{1}{k}{ \bigl\vert \langle f, e_{k} \rangle \bigr\vert }^{2}$$

has no upper bound and lower bound, respectively.

Example 6.13

We consider the orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}=\{(1,0),(0,1)\}\) for R 2 and the sequences \(\{f_{k}\}_{k=1}^{\infty}\) and \(\{g_{k}\}_{k=1}^{\infty}\) as follows:

$$\begin{aligned}& \{f_{k}\}_{k=1}^{2}=\bigl\{ (3,-1),(-1,2) \bigr\} , \\& \{g_{k}\}_{k=1}^{2}=\biggl\{ \biggl(0, \frac{1}{5}\biggr),\biggl(-1,\frac{13}{5}\biggr)\biggr\} . \end{aligned}$$

We have seen in Example 6.6, part (ii) that \(\{f_{k}\}_{k=1}^{2}\in [\{e_{k}\}]\). The following calculations show that \(\{g_{k}\}_{k=1}^{2}\notin [\{e_{k}\}]\). For (x,y)∈ R 2 ,

$$ \bigl\langle (x,y),(1,0) \bigr\rangle \biggl\langle \biggl(0, \frac{1}{5}\biggr),(x,y) \biggr\rangle + \bigl\langle (x,y),(0,1) \bigr\rangle \biggl\langle \biggl(-1, \frac{13}{5}\biggr),(x,y) \biggr\rangle =-\frac{4}{5}xy+\frac{13}{5}y^{2}.$$

Now, we set \((x,y)=(1,\frac{13}{4})\), which gives the result \(-\frac{4}{5}xy+\frac{13}{5}y^{2}=0\), so \((\{e_{k}\}_{k=1}^{2},\{f_{k}\}_{k=1}^{2})\) is not a biframe for R 2 . Also, the following calculations show that \((\{f_{k}\}_{k=1}^{2},\{g_{k}\}_{k=1}^{2})\) is a biframe for R 2 with bounds \(\frac{1}{6}\) and 7:

$$ \bigl\langle (x,y),(3,-1) \bigr\rangle \biggl\langle \biggl(0, \frac{1}{5}\biggr),(x,y) \biggr\rangle + \bigl\langle (x,y),(-1,2) \bigr\rangle \biggl\langle \biggl(-1, \frac{13}{5}\biggr),(x,y) \biggr\rangle =x^{2}+5y^{2}-4xy,$$

and so

$$ \frac{1}{6}\bigl(x^{2}+y^{2}\bigr)\leq x^{2}+5y^{2}-4xy\leq 7\bigl(x^{2}+y^{2} \bigr).$$

In the next theorem, we characterize those biframes for which one of the constituent sequences is a b-Riesz basis for \(\mathcal{H}\).

Theorem 6.14

Let \(\{f_{k}\}_{k=1}^{\infty}\) be a b-Riesz basis for \(\mathcal{H}\) and \(\{g_{k}\}_{k=1}^{\infty}\) be a sequence in \(\mathcal{H}\). Then the following statements are equivalent:

  1. (i)

    \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe for \(\mathcal{H}\).

  2. (ii)

    There exist \(U,Q\in{B}^{+}_{b.b.}(\mathcal{H})\) such that \(f_{k}=Ue_{k}\) and \(g_{k}=Q{U}^{-1}e_{k}\) for all k∈N, where \(\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\).

Proof

For the proof of (i) ⇒ (ii), let \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) be a biframe with biframe operator \(S_{F,G}\in{B}^{+}_{b.b.}(\mathcal{H})\). \(\{f_{k}\}_{k=1}\) is a b-Riesz basis, and by Theorem 6.5, there exist an orthonormal basis \(\{e_{k}\}_{k=1}^{\infty}\) for \(\mathcal{H}\) and an operator \(U\in{B}^{+}_{b.b.}(\mathcal{H})\) such that \(f_{k}=Ue_{k}\) for all \(k\in \mathcal{H}\). For \(f\in \mathcal{H}\), we obtain

$$ S_{F,G}f=\sum_{i=1}^{\infty} \langle f,f_{i}\rangle g_{i}=\sum _{i=1}^{ \infty}\langle f,Ue_{i}\rangle g_{i}=\sum_{i=1}^{\infty}\langle Uf,e_{i} \rangle g_{i},$$

and so for k∈N,

$$ S_{F,G}{U}^{-1}e_{k}=\sum _{i=1}^{\infty}\bigl\langle U{U}^{-1}e_{k},e_{i} \bigr\rangle g_{i}=\sum_{i=1}^{\infty}\langle e_{k},e_{i}\rangle g_{i}=g_{k}. $$

This implies the desired result. Now, suppose that (ii) holds. For \(f\in \mathcal{H}\),

$$ \sum_{k=1}^{\infty}\langle f,f_{k}\rangle g_{k}=\sum_{k=1}^{\infty} \langle f,Ue_{k}\rangle Q{U}^{-1}e_{k}= Q{U}^{-1}\sum_{k=1}^{\infty} \langle Uf,e_{k}\rangle e_{k}=Q{U}^{-1}Uf=Qf.$$

This equality implies that \(S_{F,G}=Q\in{B}^{+}_{b.b.}(\mathcal{H})\), and \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a biframe by Theorem 4.6. □

Corollary 6.15

Let \(\{f_{k}\}_{k=1}^{\infty}\) be a b-Riesz basis for \(\mathcal{H}\) and \(\{g_{k}\}_{k=1}^{\infty}\) be a sequence in \(\mathcal{H}\). Then the following statements are equivalent:

  1. (i)

    \((\{f_{k}\}_{k=1}^{\infty},\{g_{k}\}_{k=1}^{\infty})\) is a Parseval biframe for \(\mathcal{H}\).

  2. (ii)

    There exists \(U\in{B}^{+}_{b.b.}(\mathcal{H})\) such that \(f_{k}=Ue_{k}\) and \(g_{k}={U}^{-1}e_{k}\) for all k∈N, where \(\{e_{k}\}_{k=1}^{\infty}\) is an orthonormal basis for \(\mathcal{H}\).

The end corollary illustrates that, corresponding to every b-Riesz basis, there exist b-Riesz bases for \(\mathcal{H}\).

Corollary 6.16

Let \(\{f_{k}\}_{k=1}^{\infty}\) be a b-Riesz basis for \(\mathcal{H}\). Then the canonical dual of \(\{f_{k}\}_{k=1}^{\infty}\), and also every biorthogonal frame to \(\{f_{k}\}_{k=1}^{\infty}\), are b-Riesz bases for \(\mathcal{H}\).

Proof

Since \(\{f_{k}\}_{k=1}^{\infty}\) is a Riesz basis, it only has one dual frame, the canonical dual frame. Now, according to the proof of Lemma 4.11, every dual of \(\{f_{k}\}_{k=1}^{\infty}\), and also every biorthogonal frame to \(\{f_{k}\}_{k=1}^{\infty}\), form a Parseval biframe with \(\{f_{k}\}_{k=1}^{\infty}\). Hence, by Corollary 6.15, they are b-Riesz bases for \(\mathcal{H}\). □

Availability of data and materials

Not applicable.

References

  1. Aldroubi, A., Cabrelli, C., Molter, U.: Wavelets on irregular grids with arbitrary dilation matrices and frame atomics for L2 (Rd). Appl. Comput. Harmon. Anal. 17, 119–140 (2004)

    Article  MathSciNet  Google Scholar 

  2. Alijani, A., Dehghan, M.A.: G-frames and their duals in Hilbert \(C^{*}\)-modules. Bull. Iran. Math. Soc. 38(3), 567–580 (2011)

    MATH  Google Scholar 

  3. Alijani, A., Dehghan, M.A.: *-Frames in Hilbert \(C^{*}\)-modules. UPB Sci. Bull., Ser. A 73(4), 89–106 (2011)

    MathSciNet  MATH  Google Scholar 

  4. Asgari, M.S., Khosravi, A.: Frames and bases of subspaces in Hilbert spaces. J. Math. Anal. Appl. 308, 541–553 (2005)

    Article  MathSciNet  Google Scholar 

  5. Askarizadeh, A., Dehghan, M.A.: G-frames as special frames. Turk. J. Math. 37, 60–70 (2013)

    MathSciNet  MATH  Google Scholar 

  6. Azarmi, H., kamyabi Gol, R.A., Janfada, M.: Pseudo frame multiresolution structure on locally compact Abelian groups. Wavelets and Linear Algebra 3(2), 43–54 (2016)

    MATH  Google Scholar 

  7. Balazs, P.: Basic definition and properties of Bessel multipliers. J. Math. Anal. Appl. 325, 571–585 (2007)

    Article  MathSciNet  Google Scholar 

  8. Balazs, P.: Weighted and controlled frame. Int. J. Wavelets Multiresolut. Inf. Process. 8(1), 109–132 (2010)

    Article  MathSciNet  Google Scholar 

  9. Bogdanova, I., Vandergheynst, P., Antoine, J.P., Jacques, L., Morvidone, M.: Stereographic wavelet frames on the sphere. Appl. Comput. Harmon. Anal. 19, 223–252 (2005)

    Article  MathSciNet  Google Scholar 

  10. Casazza, P., Kutyniok, G.: Frames of subspaces, wavelets, frames and operator theory. Am. Math. Soc. 345, 87–113 (2004)

    MATH  Google Scholar 

  11. Christensen, O.: An Introduction to Frames and Riesz Bases. Birkhäuser, Basel (2003)

    Book  Google Scholar 

  12. Christensen, O., Eldar, Y.C.: Oblique dual frames and shift-invariant spaces. Appl. Comput. Harmon. Anal. 17, 48–68 (2004)

    Article  MathSciNet  Google Scholar 

  13. Daubechies, I.: Ten Lectures on Wavelets. SIAM, Philadelphia (1992)

    Book  Google Scholar 

  14. Daubechies, I., Grossmann, A., Meyer, Y.: Painless nonorthogonal expansions. J. Math. Phys. 27, 1271–1283 (1986)

    Article  MathSciNet  Google Scholar 

  15. Dehghan, M.A., Hasankhani Fard, M.A.: G-dual frames in Hilbert spaces. UPB Sci. Bull., Ser. A 75, 129–140 (2013)

    MathSciNet  MATH  Google Scholar 

  16. Duffin, R.J., Schaeffer, A.C.: A class of nonharmonic Fourier series. Trans. Am. Math. Soc. 72, 341–366 (1952)

    Article  MathSciNet  Google Scholar 

  17. Eldar, Y.: Sampling with arbitrary sampling and reconstruction spaces and oblique dual frame vectors. J. Fourier Anal. Appl. 9, 77–96 (2003)

    Article  MathSciNet  Google Scholar 

  18. Feichtinger, H.G., Strohmer, T. (eds.): Gabor Analysis and Algorithms: Theory and Applications Birkhäuser, Boston (1998)

    MATH  Google Scholar 

  19. Fereydooni, A., Safapour, A.: Pair frames. Results Math. 66, 247–263 (2014)

    Article  MathSciNet  Google Scholar 

  20. Fornasier, M.: Decompositions of Hilbert spaces: Local construction of global frames. In: Bojanov, B. (ed.) Constructive Theory Of Functions, pp. 275–281. DARBA, Sofia (2003)

    MATH  Google Scholar 

  21. Fornasier, M.: Quasi-orthogonal decompositions of structured frames. J. Math. Anal. Appl. 289, 180–199 (2004)

    Article  MathSciNet  Google Scholar 

  22. Han, D., Larson, D.R.: Frames, bases, and group representations. Mem. Am. Math. Soc. 147 (2000)

  23. Kubrusly, C.S.: The Elements of Operator Theory. Birkhäuser, Brazil (2010)

    Google Scholar 

  24. Li, S., Ogawa, H.: Pseudoframes for subspaces with applications. J. Fourier Anal. Appl. 10, 409–431 (2004)

    Article  MathSciNet  Google Scholar 

  25. Musazadeh, K., Khandani, H.: Some results on controlled frames in Hilbert spaces. Acta Math. Sci. 36B(3), 655–665 (2016)

    Article  MathSciNet  Google Scholar 

  26. Sun, W.: G-frames and g-Riesz bases. J. Math. Anal. Appl. 322(1), 437–452 (2006)

    Article  MathSciNet  Google Scholar 

  27. Sun, W.: Stability of g-frames. J. Math. Anal. Appl. 326(2), 858–868 (2006)

    Article  MathSciNet  Google Scholar 

  28. Young, R.: An Introduction to Non-harmonic Fourier Series. Academic Press, New York (1980)

    Google Scholar 

Download references

Acknowledgements

The authors sincerely thank the anonymous reviewers for their careful reading, constructive comments, and suggesting some related references to improve the quality of the first draft of paper.

Funding

The authors received no financial support for research, authorship, or publication of this article.

Author information

Authors and Affiliations

Authors

Contributions

A.A. brought up the initial theory and definition of biframes and their operator. M.A.D. introduced b-Riesz bases by using the theory of biframes. M.F.P. performed the analysis on definitions and manufactured examples and theorems on the subject, characterized biframes and b-Riesz bases using some operators, and wrote the main manuscript text. Both M.A.D. and A.A. aided in interpreting the presented results and reviewed the manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Maryam Firouzi Parizi.

Ethics declarations

Competing interests

The authors declare no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Firouzi Parizi, M., Alijani, A. & Dehghan, M.A. Biframes and some of their properties. J Inequal Appl 2022, 104 (2022). https://doi.org/10.1186/s13660-022-02844-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-022-02844-7

MSC

Keywords