Approximative $K$-atomic decompositions and frames in Banach spaces Open Access

Fourier transform has been a major tool in analysis for over a century. It has a serious lacking for signal analysis in which it hides its phase information concerning the moment of emission and duration of a signal. What actually needed was a localized time frequency representation which has this information encoded in it. In 1946, Dennis Gabor [14] filled this gap and formulated a fundamental approach to signal decomposition in terms of elementary signals. On the basis of this development, in 1952, Duffin and Schaeffer [10] introduced frames for Hilbert spaces to study some deep problems in non-harmonic Fourier series. In fact, they abstracted the fundamental notion of Gabor for studying signal processing. Let $H$ be a real (or complex) separable Hilbert space with inner product $〈.,.〉$⁠. A countable sequence ${fk}⊂H$ is called a frame for the Hilbert space $H$⁠, if there exist positive constants $A,B>0$ such that

The positive numbers $A$ and $B$ are called the lower and upper frame bounds of the frame, respectively. These bounds are not unique. The inequality in (1.1) is called the frame inequality of the frame. If ${fn}$ is a frame for $H$ then the following operators are associated with it.

• (a)

  Pre-frame operator $T:l2(ℕ)→H$ is defined as $T{cn}n=1∞=∑k=1∞cnfn,{cn}n=1∞∈l2(ℕ)$⁠.

• (b)

  Analysis operator $T∗:H→l2(ℕ),T∗f={〈f,fk〉}k=1∞f∈H$⁠.

• (c)

  Frame operator $S=TT∗=:H→H,Sf=∑k=1∞〈f,fk〉fk,f∈H$⁠. The frame operator $S$ is bounded, linear and invertible on $H$⁠. Thus, a frame for $H$ allows each vector in $H$ to be written as a linear combination of the elements in the frame, but the linear independence between the elements is not required; i.e for each vector $f∈H$ we have,

For more details related to frames and Riesz bases in Hilbert spaces, one may refer to [4,6]. These ideas did not generate much interest outside of non-harmonic Fourier series and signal processing for more than three decades until Daubechies et al. [9] reintroduced frames. After this landmark paper the theory of frames begin to be studied widely and found many applications to wavelet and Gabor transforms in which frames played an important role. Feichtinger and Gröcheing [12] extended the idea of Hilbert frames to Banach spaces and called it atomic decomposition. A more general concept called Banach frame was introduced by Gröcheing [18] and were further studied in [22,33]. Banach frames were developed for the theory of frames in the context of Gabor and Wavelet analysis. Christensen and Heil [7] studied some perturbation results for Banach frames and atomic decompositions.

In particular, frames which are widely used in sampling theory in [2] amount to the construction of Banach frames consisting of reproducing kernels for a large class of shift invariant spaces. Aldroubi et al. [1] used Banach frames in various irregular sampling problems. Eldar and Forney [11] used tight frames for quantum measurement. Gröchenig [19] emphasized that localization of a frame is a necessary condition for its extension to a Banach frame for the associated Banach spaces. He also observed that localized frames are universal Banach frames for the associated family of Banach spaces. Fornasier [13] studied Banach frames for $α$-modulation spaces. In fact, he gave a Banach frame characterization for the $α$-modulation spaces. Shah et al. [21] defined and studied Banach frames to a new geometric notation; in fact they gave a sufficient condition and a necessary condition for a cone associated with a Banach frame to be a generating cone.

Casazza et al. [5] studied $d$-frames and $d$-Bessel sequences in Banach spaces. Stoeva [30] gave some perturbation results for $d$-frames and atomic decompositions. Kaushik and Sharma [23] studied approximative atomic decompositions in Banach spaces. For further studies related to approximative frame one may refer [20,24,28]. Gavruta [15], introduced and studied atomic system for an operator $K$ and the notion of $K$-frame in a Hilbert space, see also [16]. Frames for operators in Banach spaces were further studied in [8,17,25]. Xiao et al. [32] discussed relationship between $K$-frames and ordinary frames in Hilbert spaces. Poumai and Jahan [26] introduced K-atomic decompositions in Banach spaces.

Outline of the paper. In this paper, we have introduced the notion of approximative $K$-atomic decomposition in Banach spaces. We gave two characterizations regarding the existence of approximative $K$-atomic decompositions in Banach spaces. Also some results on the existence of approximative $K$-atomic decompositions are obtained. We discuss several methods to construct approximative $K$-atomic decomposition for Banach Spaces. Further, approximative $d$-frame and approximative $d$-Bessel sequence are introduced and studied. Two necessary conditions are given under which an approximative $d$-Bessel sequence and approximative $d$-frame give rise to bounded operators with respect to which there is an approximative $K$-atomic decomposition. Example and counter example are provided to support our concept of approximative $K$-atomic decomposition. Finally, we gave a possible application of our work.

Next we give some basic notations. Throughout this paper, $$ will denote a separable Banach space over the scalar field K(⁠$ℝ$ or $ℂ$⁠), $∗$ the dual space of $$⁠, $d$ a BK-space and $L(,)$ will denote the space of all bounded linear operators from $$ into $$⁠. For $T∈L()$⁠, $T∗$ denotes the adjoint of $T$⁠, $π:→∗∗$ is the natural canonical projection from $$ onto $∗∗$⁠. Also $T†$ denote the pseudo inverse of the operator $T$⁠. Note that $TT† f=f$ for all $f∈R(K)$⁠. Throughout $R(K)$ is closed.

A sequence space $S$ is called a BK-space if it is a Banach space and the co-ordinate functionals are continuous on $S$⁠. That is the relations $xn={αj(n)}$⁠, $x={αj}∈S$⁠, $limn→∞xn=x$ imply $limn→∞αj(n)=αj(j=1,2,3,…)$⁠.

Definition 1.1. ([18]). Let $$ be a Banach space and $d$ be a BK-space. A sequence $(xn,fn)({xn}⊂,{fn}⊂∗)$ is called an atomic decomposition for $$ with respect to $d$ if the following statements hold:

• (a)

  ${fn(x)}∈d$⁠, for all $x∈$⁠.

• (b)

  There exist constants $A$ and $B$ with $0<A≤B<∞$ such that

  $A||x|| ≤ ||{fn(x)}|| ≤ B||x||,forallx∈$
• (c)

  $x=∑n=1∞fn(x)xn$⁠, for all $x∈$⁠.

Next, we state some lemmas which we will use in the subsequent results.

Lemma 1.2. ([31,33]). Let $$, $$ be Banach spaces and $T :→$ be a bounded linear operator. Then, the following conditions are equivalent:

• (a)

  There exist two continuous projection operators $P :→$ and $Q:→$ such that

  $P()=kerTandQ()=T().$

  (1.2)
• (b)

  $T$ has a pseudo inverse operator $T†$.

If two continuous projection operators $P :→$ and $Q :→$ satisfy (1.2), then there exists a pseudo inverse operator$T†$ of $T$ such that $T†T=I−P$ and $TT†=Q$, where $I$ is the identity operator on $$.

Lemma 1.3. ([3,27]). Let $$ be a Banach space. If $T∈L()$ has a generalized inverse S$∈ L()$, then $TS$, $ST$ are projections and $TS()=T()$ and $ST()=S()$.

Lemma 1.4. ([23,29]). Let $$ be a Banach space and ${fn}⊂∗$ be a sequence such that ${x∈:fn(x)=0,foralln∈ℕ}={0}$. Then $$ is linearly isometric to the Banach space $d={{fn(x)}:x∈}$, where the norm is given by $||{fn(x)}||d=||x||$, $x∈$.

Poumai and Jahan [26] defined and studied $K$-atomic decomposition as a generalization of $K$-frames in Banach spaces. Here we shall extend this study further and introduce the concept of approximative $K$-atomic decomposition in Banach spaces and obtain new and interesting results. We start this section with the following definition of approximative $K$-atomic decomposition:

Definition 2.1. Let $$ be a Banach Space and $d$ be a BK-space, ${xn}⊂,{hn,i}i=1,2,3,…,mn n∈ℕ⊂∗$⁠, where ${mn}$ is an increasing sequence of positive integer and $K∈L()$⁠. A pair $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is called an approximative K-atomic decomposition for $$ with respect to $d$⁠, if the following statements hold:

• (a)

  ${hn,i(x)}i=1,2,3,…,mn n∈ℕ∈d$⁠, for all $x∈$⁠.

• (b)

  There exist constants $A$ and $B$ with $0<A≤B<∞$ such that

  $A‖K(x)‖≤‖{hn,i(x)}i=1,2,3,…,mnn∈ℕ‖d≤ B||x||,forallx∈.$
• (c)

  $limn→∞∑i=1mnhn,i(x)xi$ converges for all $x∈$ and

  $K(x)=limn→∞∑i=1mnhn,i(x)xi.$

The constants $A$ and $B$ are called lower and upper bounds of the approximative $K$-atomic decomposition $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$⁠.

Observation. If $({xn},{fn})$ is a $K$-atomic decomposition for $$ with respect to $d$⁠, then for $hn,i=fi,i=1,2,…,n,n∈ℕ$⁠, $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to some associated Banach space $d$⁠.

Remark 2.2. Let $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ be an approximative $K$-atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B$⁠.

• (I).

  If $K=I$⁠, then $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B$⁠.

• (II).

  If $K$ is invertible, then $(K−1({xn}),{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative atomic decomposition for $$ with respect to $d$⁠.

In the following example, we show the existence of approximative $K$-atomic decomposition for a Banach space $$ with respect to an associated BK space $d$⁠.

Example 2.3. Let $$ be a Banach Space. Let ${xn}⊆ $⁠, ${hn,i}i=1,2,3,…,mn n∈ℕ⊆∗$ such that $limn→∞∑i=1mnhn,i(x)xi$ converges for all $x∈$ and $xn≠0$⁠, for all $n∈N$⁠. Also, let $d={{hn,i}i=1,2,3,…,mn n∈ℕ| limn→∞∑i=1mnhn,ixiconverges}$⁠. Then $Xd$ is a BK-space with norm $||{hn,i}i=1,2,3,…,mn n∈ℕ||d=sup1≤n<∞||∑i=1nhn,ixi||$⁠. Define an operator as $T:d→$ as $T{hn,i}i=1,2,3,…,mn n∈ℕ=limn→∞∑i=1mnhn,ixi$ and define $S:→d$ as $S(x)={hn,i(x)}i=1,2,3,…,mn n∈ℕ,x∈$⁠. Take $K=TS$⁠. Then $K:→$ is such that $K(x)=T S(x)=limn→∞∑i=1mnhn,i(x)xi$⁠, for all $x∈,i=1,2,…,n,n∈ℕ$⁠. Clearly, ${hn,i(x)}i=1,2,3,…,mn n∈ℕ∈d$ and

where $C=sup1≤n<∞‖Sn‖$ and $Sn(x)=limn→∞∑i=1mnhn,i(x)xi$⁠.

Hence, $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to $d$⁠.

In the following result, we give the characterization regarding the existence of approximative $K$-atomic decompositions in Banach spaces.

Theorem 2.4. Let $K∈L()$ with $K≠0$. Then a Banach space$$ has an approximative $K$-atomic decomposition if and only if there exists a sequence ${vi}⊂B()$ of finite rank endomorphism such that $K(x)=∑i=1nvi(x),x∈$.

Proof. Let ${xn}⊂$ and ${hn,i}i=1,2,3,…,mn n∈ℕ⊂∗$⁠, where ${mn}$ is an increasing sequence of positive integer such that $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative K-atomic decomposition for $$ with respect to $d$⁠. Define

Then for each $n∈ℕ$ and $x∈$⁠, $Sn(x)$ is a well defined continuous linear mapping on $$ such that $limn→∞Sn(x)=x,x∈$⁠. Also by uniform boundedness principle we have $sup1≤n≤∞‖Sn(x)‖<∞$⁠. Assume that $v1=S1$⁠, $v2n=v2n+1=12(Sn+1−Sn)$⁠, $n∈ℕ$⁠. Now, we compute

Therefore, $limn→∞∑i=1nvi(x)=K(x)$⁠.

Conversely assume that there exists a sequence of finite rank endomorphism ${Sn}⊂L()$ such that $limn→∞Sn(x)=K(x),x∈$⁠. Then, each $Sn(x)$ is of a finite rank, there exist a sequence ${yn,i}i=mn−1+1mn⊂$ and a total sequence of row finite matrix of functionals ${gn,i}i=mn−1+1mn⊂∗$ such that

Define sequences ${xn}⊂$ and ${hn,i}i=1,2,3,…,mn n∈ℕ⊂∗$⁠, where ${mn}$ is an increasing sequence of positive integers, by

and

Then $xn≠0$⁠, so for each $x∈$ and $n∈ℕ$⁠, we get

Let $x∈$ be such that $hn,i(x)=0,foralli=1,2,…,mn,n∈ℕ$⁠. Then by Eq. (2.3)$K(x)=0$⁠. Thus by Lemma 1.4 there exists an associated Banach space $d={{hn,i}i=1,2,3,…,mn n∈ℕ,x∈}$ with norm given by $‖{hn,i}i=1,2,3,…,mn n∈ℕ‖d=‖x‖,forallx∈$⁠. Hence $({hn,i}i=1,2,3,…,mn n∈ℕ,{xn})$ is an approximative $K$-atomic decomposition for $$ with respect to $d$⁠. □

Next, we give an example of an approximative $K$-atomic decomposition for $$ which is not an approximative atomic decomposition for $$⁠.

Example 2.5. Let $=c0andd=l∞$⁠. Let ${xn}⊂$ be the sequence of standard unit vectors in $$ and ${hn,i}i=1,2,3,…,mn n∈ℕ⊆∗$ be such that for $x={αn}∈,hn,1(x)=0,hn,2(x)=α2,…,hn,i(x)=αn,…$⁠. It is clear that $limn→∞∑i=1mnhn,i(x)xi$ converges for $x∈$⁠. Define $K:→$ by $K(x)=limn→∞∑i=1mnhn,i(x)xi,x∈$⁠. Then ${hn,i(x)}i=1,2,3,…,mn n∈ℕ∈d$ is such that $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to $d$⁠. But $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is not an approximative atomic decomposition for $$⁠.

Next, we give various methods for the construction of approximative $K$-atomic decompositions for $$⁠.

Theorem 2.6. Let $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ be an approximative atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B$. Let $K∈L()$ with $K≠0$. Then $({Kxn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to $d$ with bounds $A‖K‖$ and $B$.

Proof. $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B$⁠. So for each $x∈$⁠, we have $x=limn→∞∑i=1mnhn,i(x)xi$⁠. This implies $K(x)=limn→∞∑i=1mnhn,i(x)K(xi)$⁠. Also, we have $‖K(x)‖≤‖K‖‖x‖$⁠, for all $x∈$⁠. This gives

Theorem 2.7. Let $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ be an approximative atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B$⁠. Let $K∈L()$ with $K≠0$⁠. Then $({xn},{K∗hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B‖K‖$⁠.

Proof. Construction of proof is similar to Theorem 2.6. □

Theorem 2.8. Let $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ be an approximative $K$-atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B$ and let $T∈L()$ with $T≠0$. Then $({Txn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $T K$-atomic decomposition for $$ with respect to $d$ with bounds $A‖T‖$ and $B$.

Proof. Can be easily proved with the help of Theorem 2.6. □

Theorem 2.9. Let $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ be an approximative $K$-atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B$ and let $T∈L()$ with $‖T‖≠0$⁠. Then $({xn},{T∗hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $KT$-atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B‖T‖$⁠.

Proof. One can easily prove. □

Theorem 2.10. If $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ be an approximative $K$-atomic decomposition for $$ with respect to $d$ and $K$ has pseudo inverse $K†$, then there exists $({gn,i}i=1,2,3,…,mn n∈ℕ⊆∗)$ such that (⁠${xn},{gn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to $d$ with bounds $A$ and $B‖K‖2$.

Proof. Since $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to $d$⁠, then for each $x∈$ we have

Also, for each $x∈$⁠, we have

For each $n∈ℕ$⁠, define $gn,i=(K†K)∗(hn,i),i=1,2,3,…,mn n∈ℕ$⁠. Then

and

Hence, we conclude that $({xn},{gn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to $d$⁠. □

Casazza et al. [5] defined and studied $d$-Bessel sequences and $d$-frames in Banach spaces. Later on Stoeva [30] studied perturbation of $d$-Bessel sequences, $d$-frames, atomic decomposition and $d$-Riesz bases in separable Banach spaces. We have generalized this concept and defined approximative $d$-Bessel sequences and approximative $d$-frames in Banach spaces. We begin this section with the following definitions:

Definition 3.1. A sequence ${hn,i}i=1,2,3,…,mn n∈ℕ⊆∗$⁠, where ${mn}$ is an increasing sequence of positive integers, is called an approximative $d$-frame for $$ if

• (a)

  ${hn,i(x)}i=1,2,3,…,mn n∈ℕ∈d$⁠, for all $x∈$⁠.

• (b)

  There exist constants $A$ and $B$ with $0<A≤B<∞$ such that

The constants $A$ and $B$ are called approximative $d$-frame bounds. If at least (a) and the upper bound condition in (3.4) are satisfied, then ${hn,i(x)}i=1,2,3,…,mn n∈ℕ$ is called an approximative $d$-Bessel sequence for $$⁠.

One may note that if ${fn}$ is an $d$-frame for $$⁠, then for ${hn,i}=fi,i=1,2,3,…,n;n∈ℕ$⁠, ${hn,i}i=1,2,3,…,mn n∈ℕ$ is an approximative $d$-frame for $$⁠. Also, note that if ${fn}$ is an $d$-Bessel sequence for $$⁠, then for ${hn,i}=fi,i=1,2,3,…,n;n∈ℕ$⁠, ${hn,i}i=1,2,3,…,mn n∈ℕ$ is an approximative $d$-Bessel sequence for $$⁠.

In the next two results, we give necessary conditions under which an approximative $d$-frame gives rise to a bounded operator $K$ with respect to which there is an approximative $K$-atomic decomposition for $$⁠.

Theorem 3.2. Let ${hn,i}i=1,2,3,…,mn n∈ℕ⊆∗$ be an approximative $d$-frame for $$ with bounds $A$ and $B$. Let${xn}⊆$ with $sup1≤n<∞‖xn‖<∞$ and let $limn→∞∑i=1mn|hn,i(x)|<∞$, for all $x∈$. Then there exists an operator $K∈L()$ such that $({xn},{hn,i}i=1,2,3,…,mn n∈ℕ)$ is an approximative $K$-atomic decomposition for $$ with respect to $d$.

Proof. Since ${hn,i}i=1,2,3,…,mn n∈ℕ⊆∗$ is an approximative $d$-frame for $$ with $sup1≤n<∞‖xn‖<∞$ and $limn→∞∑i=1mn|hn,i(x)|<∞$⁠. Then, by Theorem 2.4, we have $limn→∞∑i=1mnhn,i(x)xi$ exist for all $x∈,n∈ℕ$⁠.

Define $K:→$ by $K(x)=limn→∞∑i=1mnhn,i(x)xi,x∈$⁠. Then $K$ is a bounded linear operator such that