- Research
- Open access
- Published:
Equal-norm Parseval K-frames in Hilbert spaces with a new inequality
Journal of Inequalities and Applications volume 2022, Article number: 127 (2022)
Abstract
The focus of this paper is mainly on the frames of operators or K-frames on Hilbert spaces in Parseval cases. Since equal-norm tight frames play an important role for transmitting robust data, we aim to study this topic on Parseval K-frames. We find that each finite set of equal-norm of vectors can be extended to an equal-norm K-frame. We also find a correspondence between Parseval K-frames and the set of all closed subspaces of a finite Hilbert space. Furthermore, we provide a construction of dual equal-norm K-frames.
1 Introduction
The concept of frames in Hilbert spaces was first introduced by Duffin and Schaeffer [11] in 1952 to study some profound issues in nonharmonic Fourier series. Frames play such a significant role in both pure and applied mathematics that are considered as a fundamental research area in mathematics, computer science and quantum information. In addition to their former application they are also applied in some other fields, such as signal processing, image processing, data compression and sampling theory.
Frames are redundant sets of vectors in a Hilbert space that yield one natural representation for each vector in the space, but they may also have infinite different representations for a given vector [2–5, 8, 9, 11, 18–20]. Recently, several new applications for (uniform tight) frames have been developed. The first one was developed by Goyal, Kovaĉević, and Vetterli [14–16] that uses the redundancy of a frame to mitigate the effect of losses in packet-based communication systems. Modern communication networks transport packets of data from a source to a recipient. These packets are sequences of information bits of a certain length surrounded by error-control, addressing, and timing information that assure that the packet is delivered without errors. This is accomplished by not delivering the packet if it contains errors. Failures here are due primarily to buffer overflows at intermediate nodes in the network. Hence, to most users, the behavior of a packet network is not characterized by random loss, but by unpredictable transport time This is due to a protocol, invisible to the user, that retransmits lost packets. Retransmission of packets takes much longer than the original transmission in many applications, retransmission of lost packets is not feasible and the potential for a large delay is unacceptable. Another recent important application of uniform normalized tight frames is in multiple-antenna code design [17]. Much theoretical work has been done to show that communication systems that employ multiple antennas can have very high channel capacities [12, 21].
Frames for operators or K-frames have been introduced by Găvruţa in [13] to study the nature of atomic systems for a separable Hilbert space with respect to a bounded linear operator K. In fact, K-frames are more general than the classical frames and due to the higher generality of K-frames, many properties of frames may not hold for K-frames, such as the corresponding synthesis operator for these frames is not surjective and hence, the frame operator is not invertible (see [22]).
In this paper, we will prove some fundamental results for the Parseval K-frames, which have already been proved for tight frames in [6] and we will show that each finite set of K-norm vectors can be extended to become a K-norm of a K-frame.
Throughout this paper, H, \(H_{1}\), and \(H_{2}\) are separable Hilbert spaces and \(\mathcal{B}(H_{1},H_{2})\) is the collection of all the bounded linear operators of \(H_{1}\) into \(H_{2}\). If \(H_{1}=H_{2}=H\), then \(\mathcal{B}(H,H)\) will be denoted by \(\mathcal{B}(H)\). The notation \(W\prec H\) means that W is a closed subspace of H, also \(P_{W}\) is the orthogonal projection from H onto the closed subspace \(W\prec H\) and is a sequence of Hilbert spaces, where is a subset of . When \(\dim H<\infty \), we say that H is the finite Hilbert space.
2 Review of operator theory and K-frames
In this part, we aim to review some topics and notations about bounded operators and frames on Hilbert spaces.
Let U be an operator with closed range (or, \(\mathcal{R}(U)\) be closed), then there exists a right-inverse operator \(U^{\dagger}\) (pseudoinverse of U) in the following senses.
Lemma 2.1
([7])
Let \(U\in \mathcal{B}(H_{1},H_{2})\) be a bounded operator with closed range \(\mathcal{R}(U)\). Then, there exists a bounded operator \(U^{\dagger }\in \mathcal{B}(H_{2},H_{1})\) for which
Lemma 2.2
([7])
Let \(U\in \mathcal{B}(H_{1},H_{2})\). Then, the following assertions hold:
-
(1)
\((U^{\ast})^{\dagger}=(U^{\dagger})^{\ast}\).
-
(2)
The orthogonal projection of \(H_{2}\) onto \(\mathcal{R}(U)\) is given by \(UU^{\dagger}\).
-
(3)
The orthogonal projection of \(H_{1}\) onto \(\mathcal{R}(U^{\dagger})\) is given by \(U^{\dagger}U\).
-
(4)
\(\ker U^{\dagger}=\mathcal{R}^{\bot}(U)\) and \(\mathcal{R}(U^{\dagger})=(\ker U)^{\bot}\).
-
(5)
On \(\mathcal{R}(U)\) we have \(U^{\dagger}=U^{*}(UU^{*})^{-1}\).
The operator \(U:H\rightarrow H\) is called a unitary operator if \(U^{*}=U^{-1}\). In this case, it is obvious that \(\Vert U\Vert =1\). The following lemma characterizes all orthonormal bases by unitary operators.
Lemma 2.3
([7])
Let be an orthonormal basis for H. Then, the orthonormal bases for H are precisely the sets , where \(U:H\rightarrow H\) is unitary.
Suppose that W, V are closed subspaces of H with
then, we can check that there is a unitary operator U on H so that \(U \vert _{W}=P_{V}\). Indeed, if we choose \(Ue_{j}=e'_{j}\), where \(\{e_{j}\}_{j=1}^{m}\) and \(\{e'_{j}\}_{j=1}^{m}\) are orthonormal bases for W and V, respectively, then U is unitary.
Assume that T and S are operators on H. The operator S is called unitarily equivalent to T if there is a unitary operator U on H such that \(S=UTU^{*}\).
Lemma 2.4
([10])
Let \(L_{1}\in \mathcal{B}(H_{1},H)\) and \(L_{2}\in \mathcal{B}(H_{2},H)\) be on given Hilbert spaces. Then, the following assertions are equivalent:
-
(1)
\(\mathcal{R}(L_{1})\subseteq \mathcal{R}(L_{2})\);
-
(2)
\(L_{1}L_{1}^{*}\leq \lambda ^{2} L_{2}L_{2}^{*}\) for some \(\lambda >0\);
-
(3)
there exists a mapping \(U\in \mathcal{B}(H_{1},H_{2})\) such that \(L_{1}=L_{2} U\).
Moreover, if those conditions are valid, then there exists a unique operator U such that
-
(a)
\(\Vert U\Vert ^{2}=\inf \{\alpha >0 \mid L_{1}L_{1}^{*}\leq \alpha L_{2}L_{2}^{*}\}\);
-
(b)
\(\ker (L_{1})=\ker (U)\);
-
(c)
\(\mathcal{R}(U)\subseteq \overline{\mathcal{R}(L_{2}^{*})}\).
Definition 2.1
(frame)
Let be a sequence of members of H. We say that is a frame for H if there exist \(0< A\leq B<\infty \) such that for each \(f\in H\),
The constants A and B are called frame bounds. If the right-hand side of (1) holds, we say that is a Bessel sequence with bound B. We say that is an A-tight frame for H, if we have
for each \(f\in H\). If \(A=1\), the set is called a Parseval frame.
It is easy to check that if is a frame for H with bounds A and B, then by (1), the set is a frame for PH with the same bounds, where P is an orthonormal projection on H. We say that two frames and are unitarily equivalent if there is a unitary operator U on H such that \(g_{j}=Uf_{j}\). In this case, we treat both the frames as the same.
Let be a Bessel sequence, then the synthesis and the analysis operators are defined by
and
Now, the frame operator is defined by \(S=TT^{*}\) and this is an invertible and positive operator on H and also (see [7])
and
for each \(f\in H\). The following result characterizes all Parseval frames as a projection of an orthonormal basis from a larger space.
Lemma 2.5
([6])
A set in H is a Parseval frame if and only if there are a larger Hilbert space \(M\supseteq H\) and an orthonormal basis for M so that the orthonormal projection P of M onto H satisfies \(f_{j}=P e_{j}\) for each .
In the next part, we review notations of K-frames from [1, 13, 22].
Definition 2.2
(K-frame)
[13] Let be a sequence of members of H and \(K\in \mathcal{B}(H)\). We say that is a K-frame for H if there exist \(0< A\leq B<\infty \) such that for each \(f\in H\),
We say that is an equal-norm-K-frame for H, when is a K-frame and \(\Vert f_{j}\Vert =c\) for every . When \(c=\Vert K \Vert \), we call a K-norm-frame. We say that is a tight K-frame for H, if we have
for each \(f\in H\). If \(A=1\), the set is called a Parseval K-frame.
Since every K-frame is a Bessel sequence, then the synthesis and analysis operators are defined by (2) and (3). However, the frame operator \(S=TT^{*}\) is not invertible on H. Also, \(S:\mathcal{R}(K)\rightarrow S (\mathcal{R}(K) )\) is invertible when the operator K has closed range ([22]). Hence, we can construct a Parseval frame for \(\mathcal{R}(K)\) by the following result.
Proposition 2.1
Let be a K-frame for H and K has closed range. If \(S (\mathcal{R}(K) )=\mathcal{R}(K)\), then
-
(I)
is a Parseval frame for \(\mathcal{R}(K)\).
-
(II)
is a Parseval \(P_{\mathcal{R}(K)}\)-frame for H.
Proof
(I). Since the operator S is invertible and positive on \(\mathcal{R}(K)\), \(S^{-1} \vert _{S (\mathcal{R}(K) )}\) has a unique positive root as \(S^{-\frac{1}{2}}\) and this operator commutes with \(S^{-1}\) and so with S. Now, for each \(f\in \mathcal{R}(K)\) we have
Therefore,
This completes the proof.
(II). Take \(f\in H\), hence we can write \(f=f_{1}+f_{2}\), where \(f_{1}\in \mathcal{R}(K)\) and \(f_{2}\in \mathcal{R}(K)^{\perp}\). Then,
Thus, we compute that
Now, by item (I), we conclude that
 □
Remark 2.1
Assume that is a Parseval K-frame for H and K has closed range. It is obvious that \(\ker KK^{*}=\ker K^{*}\), therefore we obtain \(\mathcal{R}(KK^{*})=\mathcal{R}(K)\). If S is the frame operator of F, then \(\langle Sf,f\rangle =\Vert K^{*}f\Vert ^{2}\). Hence, \(S=KK^{*}\) and we conclude that \(\mathcal{R}(S)=\mathcal{R}(K)\).
The following theorem gives a characterization of K-frames using linear bounded operators.
Lemma 2.6
([13])
Let be members of H. Then, is a K-frame if and only if there exists a linear bounded operator such that \(f_{j}=T\delta _{j}\) and \(\mathcal{R}(K)\subseteq \mathcal{R}(T)\), where is an orthonormal basis for .
In the proof of Lemma 2.6, we can check that the operator T is the synthesis operator (see Theorem 4 in [13]).
Proposition 2.2
Let be a Parseval K-frame for H and \(\{\lambda _{k}\}_{k=1}^{n}\) be the eigenvalues for the frame operator S, where \(n=\dim H\). Then, \(\lambda _{k}>0\) for each \(k=1,2,\ldots ,n\) and
where \(\{e_{k}\}_{k=1}^{n}\) is an orthonormal basis for H.
Proof
First, we note that the equality:
holds for K-frames similar to the proof of Theorem 1.1.12 in [7] for ordinary frames. Suppose that \(\{\lambda _{k}\}_{k=1}^{n}\) are the eigenvalues of S and \(Sf=\lambda _{k} f\) for some \(0\neq f\in H\). Since S is self-adjoint, then for every \(k=1,2,\ldots ,n\) and also there is an orthonormal basis \(\{e_{k}\}_{k=1}^{n}\) for H such that each \(e_{k}\) is an eigenvalue vector for S. Since \(S=KK^{*}\), therefore \(\Vert K^{*}f\Vert ^{2}=\lambda _{k}\Vert f\Vert ^{2}\) and we conclude that \(\lambda _{k}>0\) for each \(k=1,2,\ldots ,n\) and also by (5), we can obtain
This completes the proof. □
Now, if \(\{f_{j}\}_{j=1}^{m}\) is an equal-norm-Parseval K-frame for H, then by Proposition 2.2, for each \(k=1,\ldots ,n\), we can obtain
Definition 2.3
([1])
Let be a K-frame and be a Bessel sequence for H with synthesis operators T and Θ, respectively. We say that G is a K-dual for F if
In this case, from (6) we can write for each \(f\in H\),
and it is easy to see that G is a \(K^{*}\)-frame for H. In the following, we can begin to characterize all K-dual of a K-frame.
Lemma 2.7
([1])
Let be a K-frame. Then, is a K-dual of F if and only if , where is the standard orthonormal basis of \(\ell ^{2}\) and \(V:\ell ^{2}\rightarrow H\) is a bounded operator such that \(TV^{*}=K\). In this case, is in fact a Parseval V-frame.
3 Main results
The following result that is a general case of Theorem 3.2 in [6], shows that each finite set of K-norm vectors can be extended to become a K-norm of a K-frame.
Theorem 3.1
If \(F:=\{f_{j}\}_{j=1}^{m}\) is a set of K-norm vectors in H, then there is a K-norm-frame for H that contains the set F.
Proof
Let \(1\leq j\leq m\) and be an orthonormal basis for H that contains the vector \(u_{j}\), where \(u_{j}:=\frac {f_{j}}{\Vert K\Vert}\). For any \(f\in H\) we have
Therefore, is a K-frame for H with bounds m and \(m\Vert K\Vert ^{2}\) and is made up of K-norm vectors. □
Corollary 3.1
If K has closed range, \(F:=\{f_{j}\}_{j=1}^{m}\) is a set of K-norm vectors in H and \(\Vert K\Vert \Vert K^{\dagger}\Vert =1\), then there is a K-norm-tight frame for \(\mathcal{R}(K)\) that contains the set F.
Proof
Chose \(f\in \mathcal{R}(K)\), such that
hence we obtain \(\Vert K^{*}f\Vert =\Vert K\Vert \Vert f\Vert \). Now, by Theorem 3.1, if is an orthonormal basis for \(\mathcal{R}(K)\), then is a K-norm-tight frame for \(\mathcal{R}(K)\). □
The next result is the same as Lemma 2.5 for Parseval K-frames.
Theorem 3.2
Let be a Parseval K-frame for H and K be closed range. Then, there is a larger Hilbert space \(M\supseteq \mathcal{R}(K^{\dagger})\) and an orthonormal basis for M so that the orthonormal projection P of M onto \(\mathcal{R}(K^{\dagger})\) satisfies \(f_{j}=KPe_{j}\) for each .
Proof
Assume that is a Parseval K-frame for H. Via Lemma 2.6, there exists an orthonormal basis in which \(f_{j}=Te'_{j}\) for all . Since is a Parseval K-frame, we have \(KK^{*}=TT^{*}\) and by Lemma 2.4 we can obtain \(\mathcal{R}(T)=\mathcal{R}(K)\). Therefore, \(f_{j}\in \mathcal{R}(K)\). Suppose that \(f\in \mathcal{R}(K^{\dagger})\), by Lemma 2.2 we have
Hence, is a Parseval frame for \(\mathcal{R}(K^{\dagger})\). Hence, by Lemma 2.5, there exists a larger Hilbert space \(M\supseteq \mathcal{R}(K^{\dagger})\) and an orthonormal basis for M so that \(K^{\dagger}f_{j}=Pe_{j}\) for each or \(f_{j}=KPe_{j}\). □
The next result is a general case of Theorem 3.4 in [6] for K-frames. In the following, we let \(\dim H=n\) with an orthonormal basis \(\{e_{j}\}_{j=1}^{n}\).
Theorem 3.3
Let K be closed range, P be an orthonormal projection on H onto \(\mathcal{R}(K^{\dagger})\) such that KP be a rank-m. Define
Then, there exists a natural one-to-one correspondence between \(\mathscr{K}\) and \(\mathscr{M}\).
Proof
For each \(F:=\{f_{j}\}_{j=1}^{n}\in \mathscr{K}\), by Theorem 3.2, there is an orthonormal basis \(\{e'_{j}\}_{j=1}^{n}\) such that \(f_{j}=KPe'_{j}\) for any \(1\leq j\leq n\). Define a unitary operator \(U_{F}\) on H by \(U_{F} e_{j}=e'_{j}\). Hence, we have \(f_{j}=KPU_{F} e_{j}\), which is unitarily equivalent to \(f'_{j}:=U_{F}^{*}KPUe_{j}\). Define
It is clear that the operator Φ is well defined. Assume that \(W\in \mathscr{M}\), thus there exists a unitary operator U on H such that \(UW=KPH\). Hence, we obtain \(U^{*}KPUH=W\), while \(\{KPe_{j}\}_{j=1}^{n}\in \mathscr{K}\), which corresponds to W. This means that Φ is surjective. Finally, suppose that \(G:=\{g_{j}\}_{j=1}^{n}\in \mathscr{K}\) and \(V_{G}\) is a unitary operator on H such that \(U^{*}_{F}KPU_{F} H=V_{G}^{*}KPV_{G} H\) which gives
Since \(U^{*}_{F}KPU_{F} e_{j}=V_{G}^{*}KPV_{G} e_{j}\) for each \(1\leq j\leq n\), we have \(U_{F}^{*} f_{j}=V^{*}_{G} g_{j}\). Hence, \(f_{j}\) and \(g_{j}\) are unitarily equivalent for each j. Hence, F and G are two identical K-Parseval frames, then Φ is injective. □
Theorem 3.4
Let be a Parseval K-frame for H with the synthesis operator T and be a Parseval \(K^{*}\)-frame for H with the synthesis operator Θ. If is a K-dual for , then we have
Moreover, if K has closed range, then we can obtain the following inequality:
Proof
Since \(T\Theta ^{*}=K\) and \(TT^{*}=KK^{*}\), we obtain \(T(T^{*}-\Theta ^{*}K^{*})=0\). Therefore, for every \(f,g\in H\) we have
Hence, we compute that
However, via the hypothesis, we have \(\Vert T^{*}f\Vert ^{2}=\Vert K^{*}f\Vert ^{2}\) and \(\Vert \Theta ^{*}f\Vert ^{2}=\Vert Kf\Vert ^{2}\). For the second part, the right inequality is evident. Since K has closed range, it is easy to check that the operator \(KK^{*}:\mathcal{R}(K)\rightarrow \mathcal{R}(K)\) is invertible. Hence, for any \(0\neq f\in \mathcal{R}(K)\) we have \(\Vert f\Vert ^{2}\leq \Vert (KK^{*})^{-1}\Vert ^{2}\Vert KK^{*}f \Vert ^{2}\). On the other hand, via Lemma 2.2, we obtain
Hence, we conclude that
This completes the proof. □
In the next result, which is a general case of Proposition 3.3 in [6], we define \(K^{\natural}\) as a left inverse of K and \(\{\delta _{j}\}_{j=1}^{m}\) is the orthonormal basis for \(\ell ^{2}\).
Theorem 3.5
Let \(F=\{f_{j}\}_{j=1}^{m}\) be an equal-norm-Parseval K-frame for the finite Hilbert space H with the synthesis operator T such that \(T^{*}H\perp U^{*}H\) and \(K^{\natural}f_{j}\perp U\delta _{j}\) for each \(1\leq j\leq m\), where \(U\in \mathcal{B}(\ell ^{2},H)\) and \(K^{\natural}\vert _{F}\) are two isometries. Then, \(\{f_{j}\}_{j=1}^{m}\) has infinitely many dual equal-norm K-frames.
Proof
Choose \(V=aU^{*}\), where \(a\neq 0\). Since \((K^{\natural}T+U)T^{*}=K^{*}\), via Lemma 2.7, if \(g_{j}=(K^{\natural}T+V^{*})\delta _{j}\) for \(1\leq j\leq m\), then \(\{g_{j}\}_{j=1}^{m}\) is a dual K-frame of \(\{f_{j}\}_{j=1}^{m}\).
Assume that \(P:\ell ^{2}\rightarrow T^{*}H\) is an orthonormal projection so that \(P\delta _{j}=T^{*}f_{j}\) for any \(1\leq j\leq m\) and \(\{e_{k}\}_{k=1}^{n}\) is an orthonormal basis for H where \(n=\dim H\). Since \(T\delta _{j}=f_{j}\), therefore for each \(1\leq j\leq m\),
Fix \(k=1,\ldots ,n\). It is easy to check that \(\langle K^{\natural}f_{j},V(I-P)\delta _{j}\rangle =0\) and also via Proposition 2.2, we can obtain
and
where \(\lambda _{k}\) is the eigenvalue of the frame operator \(S_{F}\). Since
and also
thus, for each \(j=1,\ldots ,m\), we conclude that
 □
Availability of data and materials
Not applicable.
References
Arabyani Neyshaburi, F., Arefijamal, A.: Some constructions of K-frames and their duals. Rocky Mt. J. Math. 47(6), 1749–1764 (2017)
Bolcskei, H., Eldar, Y.: Geometrically uniform frames (2001). Preprint
Bolcskei, H., Hlawatsch, F., Feichtinger, H.G.: Frame-theoretic analysis of oversampled filter banks. IEEE Trans. Signal Process. 46(12), 3256–3269 (1998)
Casazza, P.G.: The art of frame theory. Taiwan. J. Math. 4(2), 129–202 (2000)
Casazza, P.G.: Modern tools for Weyl-Heisenberg (Gabor) frame theory. Adv. Imaging Electron Phys. 115, 1–127 (2000)
Casazza, P.G., Kovaĉević, J.: Equal-norm tight frames with erasures. Adv. Comput. Math. 18, 387–430 (2003)
Christensen, O.: Frames and Bases (an Introductory Course). Birkhäuser, Basel (2008)
Cvetković, Z., Vetterli, M.: Oversampled filter banks. Signal Process. 46(5), 1245–1255 (1998)
Daubechies, I.: The wavelet transform, time-frequency localization and signal analysis. IEEE Trans. Inf. Theory 36(5), 961–1005 (1990)
Douglas, R.G.: On majorization, factorization and range inclusion of operators on Hilbert spaces. Proc. Am. Math. Soc. 17(2), 413–415 (1966)
Duffin, R.J., Schaeffer, A.C.: A class of nonharmonic Fourier series. Trans. Am. Math. Soc. 72(1), 341–366 (1952)
Foschini, G.J., Gans, M.J.: On the limits of wireless communications in a fading environment when using multiple antennas. Wirel. Pers. Commun. 6(3), 311–345 (1998)
Găvruţa, L.: Frames for operators. Appl. Comput. Harmon. Anal. 32, 139–144 (2012)
Goyal, V.K., Kovaĉević, J.: Optimal multiple description transform coding of Gaussian vectors. In: Proc. Data Compr. Conf., Snowbird, UT, March, pp. 388–397 (1998)
Goyal, V.K., Kovaĉević, J., Kelner, J.A.: Quantized frame expansions with erasures. Appl. Comput. Harmon. Anal. 10(3), 203–233 (2001)
Goyal, V.K., Kovaĉević, J., Vetterli, M.: Quantized frame expansions as source-channel codes for erasure channels. In: Proc. Data Compr. Conf., Snowbird, UT, March, pp. 388–397 (1999)
Hassibi, B., Hochwald, B., Shokrollahi, A., Sweldens, W.: Representation theory for high-rate multiple-antenna code design. IEEE Trans. Inf. Theory 47(6), 2355–2367 (2001)
Heil, C., Walnut, D.: Continuous and discrete wavelet transforms. SIAM Rev. 31, 628–666 (1998)
Holub, J.R.: Pre-frame operators, Besselian frames and near-Riesz bases in Hilbert spaces. Proc. Am. Math. Soc. 122(3), 779–785 (1994)
Strohmer, T.: Finite and infinite-dimensional models for oversampled filter banks. In: Modern Sampling Theory Mathematics and Applications. Birkhäuser, Basel (2001)
Telatar, I.E.: Capacity of multiantenna Gaussian channels. Eur. Trans. Telecommun. 10(6), 585–595 (1999)
Xiao, X., Zhu, Y., Găvruţa, L.: Some properties of k-frames in Hilbert spaces. Results Math. 63, 1243–1255 (2013)
Acknowledgements
We gratefully thank the referees for carefully reading the paper and for the suggestions that greatly improved the presentation of the paper. The authors already appreciate the collaboration of the editorial board.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The two authors contributed equally to the writing of this paper. They read and approved the final version of the paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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/.
About this article
Cite this article
Sadri, V., Rahimlou, G. Equal-norm Parseval K-frames in Hilbert spaces with a new inequality. J Inequal Appl 2022, 127 (2022). https://doi.org/10.1186/s13660-022-02862-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02862-5