Frames of Eigenfunctions Associated with a Boundary Value Problem

Vashisht, L. K.; Sharma, Shalu

doi:https://doi.org/10.1155/2014/590324

International Journal of Analysis

On this page

Abstract Introduction Preliminaries Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2014 | Article ID 590324 | https://doi.org/10.1155/2014/590324

Frames of Eigenfunctions Associated with a Boundary Value Problem

L. K. Vashisht¹and Shalu Sharma¹

Academic Editor: Wen-Xiu Ma

Received01 Jan 2014

Accepted25 May 2014

Published05 Jun 2014

Abstract

We introduce and study a redundant system of retro Banach frames consisting of eigenfunctions associated with a given boundary value problem.

1. Introduction

Duffin and Schaeffer in [1], while addressing some deep problems in nonharmonic Fourier series, abstracted Gabor’s method [2], of time-frequency atomic decomposition for signal processing to define frames for Hilbert spaces.

A sequence in a real (or complex) separable Hilbert space with inner product is a frame (or Hilbert frame) for if there exist finite positive constants and such that

The positive constants and are called lower and upper bounds of the frame, respectively. The inequality (1) is called the frame inequality of the frame. The operator given by is called the synthesis operator or the preframe operator of the frame. The adjoint operator of is called the analysis operator. More precisely, is given by Composing and , we obtain the frame operator which is given by The frame operator is a positive continuous invertible linear operator from to . Every vector can be written as The series converges unconditionally and is called the reconstruction formula for the frame. The representation of in reconstruction formula need not be unique. Thus, frames are redundant systems in a Hilbert space which yield one natural representation for every vector in the given Hilbert space, but which may have infinitely many different representations for a given vector.

Frames provide an appropriate mathematical framework for redundant signal expansions [3, 4]. Moreover, frames find many applications in mathematics, science, and engineering. In particular, frames are widely used in nonuniform sampling [5], wavelet theory [6, 7], wireless communication, signal processing [3, 8], filter banks [9], and many more. The reason is that frames provide both great liberties in design of vector space decompositions and quantitative measure on computability and robustness of the corresponding reconstructions. In the theoretical direction, powerful tools from operator theory and Banach spaces are being employed to study frames. For a nice introduction to various types of frames with applications, one may refer to [10–13].

In 1986, Daubechies et al. [6] found new applications to wavelets and Gabor transforms in which frames played an important role. Coifman and Weiss [14] introduced the notion of atomic decomposition for function spaces. Feichtinger and Gröchenig [15] studied the atomic decomposition via integrable group representation. Casazza et al. [16] also carried out a study of atomic decompositions and Banach frames. For recent development in Banach frames, one may refer to [17–20]. Han and Larson in [21] introduced Schauder frames in Banach spaces. Recently, various generalizations of frames and reconstruction systems in Banach spaces have been introduced and studied. Retro Banach frames were introduced in [22] and further studied in [19, 23, 24]. Casazza and Christensen [25] introduced the reconstruction property in Banach spaces. The reconstruction property in Banach spaces was further studied in [18, 26]. Actually, each vector in a Banach space which admits the reconstruction property can be reconstructed by mean of an infinite series, where linear independence is not required. Note that all the coefficients are supposed to calculate which appear in the series expansion of a certain vector. On the other hand, retro Banach frames in Banach spaces reconstruct a given vector via the preframe operator or the reconstruction operator (see Definition 1).

Consider a signal space with some reconstruction system which is not orthogonal; say nonorthogonal frames (the reconstruction property or Schauder frames). During signal processing or compression of a signal, the fast algorithms for evaluation of the concern expansion coefficients are required. Algorithms related to frames can be found in [12] and references given thereat. Note that these algorithms work efficiently according to type of the frame available. Depending on the availability of reconstruction system sometimes, it is difficult to compute the expansion coefficients. In a case when fast algorithms are not available for computing all the coefficients within suitable time, it is natural to introduce a more flexible reconstruction system for concern space.

In this paper, we introduce a more flexible system consisting of the redundant system of preframe operators, which can reconstruct the given Banach space (via preframe operator). Since there are numerical methods for construction of the eigenfunctions from boundary value problems [27–29], we discuss the said redundant operator system in the context of retro Banach frames which satisfies the property , associated with a given boundary value problem. It is proved that a retro Banach frame consisting of the eigenfunctions of a given BVP can generate a retro Banach frame which satisfies the property . A necessary and sufficient condition for retro Banach frames satisfying property has been given. Perturbation theory is important in applied mathematics [30]; we discuss a result which deals with the block perturbation of retro Banach frames which satisfies the property . The retro Banach frames which satisfy the property in finite product of Banach spaces are discussed.

2. Preliminaries

Throughout this paper will denote an infinite dimensional separable Banach space over the scalar field ( or ) and the conjugate space of . For a sequence , denotes the closure of the linear hull of in the norm topology of . The space of all bounded linear operators from a Banach space into a Banach space is denoted by .

Definition 1 (see [22]). Let and let be an associated Banach space of sequences of scalars. A system is called a retro Banach frame for with respect to if(i), for each ,(ii)there exist positive constants such that (iii) is a bounded linear operator such that , for all .

The positive constants are called retro frame bounds of and the operator is called the retro preframe operator (or simply reconstruction operator) associated with . The inequality in (ii) is called the retro frame inequality. A retro Banach frame is said to be an exact retro Banach frame for if there exists no reconstruction operator such that is retro Banach frame for .

Definition 2 (see [25]). A sequence has the reconstruction property for with respect to if where the series converges in the norm of .

In short, we will also say that has the reconstruction property for . More precisely, we say that is a reconstruction system for .

Remark 3. An interesting example for the reconstruction property is given in [25]. Let and is unitarily equivalent to the unit vector basis of . Then, has a reconstruction property with respect to its own predual (i.e., expansions with respect to the orthonormal basis). But this family cannot have the reconstruction property with respect to .

Regarding existence of Banach spaces which have reconstruction system, Casazza and Christensen gave the following result.

Proposition 4 (see [25]). There exists a Banach space with the following properties:(i)there is a sequence such that each has an expansion ;(ii) does not have the reconstruction property with respect to any pair .

The notion of the reconstruction property is related to the bounded approximation property (BAP). If has the reconstruction property for , then has the bounded approximation property. So, is isomorphic to a complemented subspace of a Banach space with a basis. It is also used to study geometry of Banach spaces. For more results and basics on the bounded approximation property, one may refer to [16, 31] and references therein.

3. Boundary Value Problem and Frames in Banach Spaces

Let . Consider a boundary value problem (BVP) with a set of boundary conditions where is a linear differential operator with and denotes the set of boundary conditions given by The BVP admits system and consisting of eigenfunctions associated with (see [29, page 66]) such that Note that Choose . By using Paley and Weiner Theorem [32, page 208], there exists such that has a reconstruction system for with respect to . More precisely, every element of can write a linear combination (infinite) of the atoms and , where computation of all coefficients which involve these atoms is required. In order to reduce such computation, naturally a more flexible reconstruction system is required. This new flexible reconstruction system proposed in this paper is a retro Banach frame which satisfies the property . Recall that a retro Banach frame can reconstruct the given Banach space by a bounded linear operator (retro preframe operator). This is useful in the sense that we can choose a suitable set (index) which controls such complicated computation (via operator theory).

Definition 5. A retro Banach frame for is said to satisfy the property if, for each infinite subset , there exists a reconstruction operator such that is a retro Banach frame for .

Example 6. Let . Consider the system of eigenfunctions associated with the BVP . Then, is a Banach space of sequences of scalars with the norm given by Define by Then, . Therefore, is a retro Banach frame for with respect to and with bounds . The retro Banach frame is called a retro Banach frame associated with BVP .

Remark 7. One may observe that we can find an infinite set for which there is no reconstruction operator such that is a retro Banach frame for . Hence, does not satisfy the property .

Example 8. Let , where and is the counting measure. Choose , . Then, there exists a reconstruction operator such that is a retro Banach frame for with respect to and which satisfies the property .

We can generate a system in consisting of the eigenfunctions associated with the BVP given in , which can generate the retro Banach frame which satisfies the property . This is given in the following theorem.

Theorem 9. Let and let be a retro Banach frame for , consisting of eigenfunctions of the BVP . Then, there exists a retro Banach frame for (generated by ) which satisfies the property .

Proof. Since is a retro Banach frame for with respect to an associated Banach space of scalar-valued sequences . Then, there exist positive constants such that
Define a system by , .
Then, is a Banach space of sequences of scalars with the norm given by Define by . Then, . Therefore, is a retro Banach frame for with respect to .
Now, we show that satisfies the property . Assume that does not satisfy the property . Then, there exists no reconstruction operator corresponding to some such that is a retro Banach frame for . Therefore, by the Hahn-Banach theorem there exists a nonzero functional such that , for all .
This gives Thus, , for all . By using retro frame inequality of , we obtain , a contradiction. Hence, satisfies the property .

Corollary 10. Let . Then, has a retro Banach frame if and only if it admits a retro Banach frame which satisfies the property .

Perturbation theory is a very important tool in various areas of applied mathematics [18, 25, 30]. In frame theory, it began with the fundamental perturbation result of Young [13]. The basic of Paley and Wiener was that a system that is sufficiently close to an orthonormal system (basis) in a Hilbert space is also from an orthonormal system (basis). Since then, a number of variations and generalizations of perturbations to the atomic decompositions, Hilbert frames, and Banach frames have been studied. One of such perturbation is a block perturbation. We observe that behavior of the retro Banach frames which satisfies the property under block perturbation is invariant.

Definition 11. Let be a retro Banach frame for associated with BVP () and let , be increasing sequences of positive integers, where and , .
Define by where , for all . Then, is called the block perturbation of .

By Example 6 and the result given in Theorem 9, we observe that the eigenfunctions associated with BVP can generate a retro Banach frame for which satisfy the property , where . The following theorem shows that the retro Banach frames which satisfy the property are invariant under block perturbation.

Theorem 12. Let and let be a retro Banach frame (for ) consisting of eigenfunctions of the BVP . If satisfies the property , then its block perturbation also satisfies the property .

Proof. Let be the block perturbation of and let . Then, is a Banach space of scalar-valued sequences with norm given by Define by . Therefore, there exists a reconstruction operator such that is a normalized tight retro Banach frame for with respect to .
Define by where , for all . Then, is a block perturbation of .
Also note that . Indeed, let . Then, by the Hahn-Banach Theorem there exists a nonzero functional such that , for all .
Therefore, This gives , for all , since is satisfying the property . Therefore, corresponding to , there exists a reconstruction operator such that is a retro Banach frame for . So, by using retro frame inequality of , we obtain . This is a contradiction. Therefore, we can find an associated Banach space of scalar-valued sequences, say , and a bounded linear operator such that is a retro Banach frame for with respect to . Hence, is a retro Banach frame for which satisfies the property .

Let us come back to BVP , which is not multidimensional. If domain of the said problem is multidimensional (which is standard nowadays), then reconstruction can be controlled with such level of liberty. More precisely, in multidimensional domain, retro Banach frames enjoy the property . This is what the concluding theorem of this paper says and can be generalized to any multidimensional domain (finite).

Theorem 13. Let and be retro Banach frames satisfying the property for Banach spaces and , respectively. Then, there exists a system and a reconstruction operator such that is a normalized tight retro Banach frame for which satisfies the property .

Proof. Define a system by
Then, . Otherwise, by Hahn-Banach theorem there exists a nonzero such that , for all . By the nature of the system and by use of retro frame inequalities of and , we obtain , a contradiction.
Therefore, is an associated Banach space of scalar-valued sequences with the norm given by Define by Then, is the bounded linear operator such that is a normalized tight retro Banach frame for with respect to .
Fix . Then, similar to a construction given in the proof of Theorem 9, we can construct a system for which there exists a reconstruction operator such that is a normalized tight retro Banach frame for . Hence, is a retro Banach frame for which satisfies the property .

4. Concluding Remark

Given a Hilbert frame for a separable Hilbert space with frame operator , every element in can be represented as linear combination (infinite) of the frame vectors, where computation of all the frame coefficients is required. So, a popular choice of frame coefficients is missing (in the said reconstruction). On the other hand, in case of retro Banach frames each element can be recovered by the retro preframe operator. The result given in Theorem 9 gives the construction of a more flexible system (of preframe operators), where it is observed that, corresponding to an index (appropriate) set, the retro preframe operator reconstructs the underlying space. Overall, the retro Banach frames which satisfy the property provide the redundant preframe operator system or overfilled systems of preframe operators which can reconstruct the underlying space.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to thank the referees for careful reading of the paper and constructive suggestions to improve the paper. The first author is partly supported by R&D Doctoral Research Programme, University of Delhi, Delhi, Grant no. DRCH/R&D/2013-14/4155.

References

R. J. Duffin and A. C. Schaeffer, “A class of nonharmonic Fourier series,” Transactions of the American Mathematical Society, vol. 72, pp. 341–366, 1952.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
D. Gabor, “Theory of communications,” Journal of Institute of Electrical Engineers, vol. 93, pp. 429–457, 1946.
View at: Google Scholar
Y. C. Eldar and A. V. Oppenheim, “Quantum signal processing,” IEEE Signal Processing Magazine, vol. 19, no. 6, pp. 12–32, 2002.
View at: Publisher Site | Google Scholar
P. A. S. G. Ferreira, “Mathematics for multimedia signal processing II: discrete finite frames and signal processing,” in Signal Processing for Multimedia, J. S. Byrnes, Ed., pp. 35–54, IOC Press, 1999.
View at: Google Scholar
J. J. Benedetto, “Irregular sampling and frames,” in Wavelets: A Tutorial in Theory and Application, pp. 445–507, CRC Press, Boca Raton, Fla, USA, 1992.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
I. Daubechies, A. Grossmann, and Y. Meyer, “Painless nonorthogonal expansions,” Journal of Mathematical Physics, vol. 27, no. 5, pp. 1271–1283, 1986.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
C. Heil and D. Walnut, “Continuous and discrete wavelet transforms,” SIAM Review, vol. 31, no. 4, pp. 628–666, 1989.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
V. K. Goyal, J. Kovacevic, and J. A. Kelner, “Quantized frame expansions with erasures,” Applied and Computational Harmonic Analysis, vol. 10, no. 3, pp. 203–233, 2001.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
H. Bolcskei, Oversampled filter banks and predictive subband coder [Ph.D. dissertation], Vienna University of Technology, Vienna, Austria, 2000.
P. G. Casazza and G. Kutyniok, Finite Frames: Theory and Applications, Applied and Numerical Harmonic Analysis, Birkhauser, New York, NY, USA, 2013.
View at: MathSciNet
P. G. Casazza, “The art of frame theory,” Taiwanese Journal of Mathematics, vol. 4, no. 2, pp. 129–201, 2000.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
O. Christensen, Frames and Bases: An Introductory Course, Applied and Numerical Harmonic Analysis, Birkhauser, Boston, Mass, USA, 2008.
View at: MathSciNet
R. Young, An Introduction to Nonharmonic Fourier Series, vol. 93 of Pure and Applied Mathematics, Academic Press, New York, NY, USA, 1980.
View at: MathSciNet
R. R. Coifman and G. Weiss, “Extensions of Hardy spaces and their use in analysis,” Bulletin of the American Mathematical Society, vol. 83, no. 4, pp. 569–645, 1977.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
H. G. Feichtinger and K. Gröchenig, “A unified approach to atomic decompositions via integrable group representations,” in Function Spaces and Applications, vol. 1302 of Lecture Notes in Mathematics, pp. 52–73, Springer, Berlin, Germany, 1988.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
P. G. Casazza, D. Han, and D. R. Larson, “Frames for Banach spaces,” Contemporary Mathematics, vol. 247, pp. 149–182, 1999.
View at: Google Scholar
R. Chugh, M. Singh, and L. K. Vashisht, “On $Λ$ -type duality of frames in Banach spaces,” International Journal of Analysis and Applications, vol. 4, no. 2, pp. 148–158, 2014.
View at: Google Scholar
S. K. Kaushik, L. K. Vashisht, and G. Khattar, “Reconstruction property and frames in Banach spaces,” Palestine Journal of Mathematics, vol. 3, no. 1, pp. 11–26, 2014.
View at: Google Scholar | MathSciNet
L. K. Vashisht, “On frames in Banach spaces,” Communications in Mathematics and Applications, vol. 3, no. 3, pp. 313–332, 2012.
View at: Google Scholar
L. K. Vashisht and S. Sharma, “On weighted Banach frames,” Communications in Mathematics and Applications, vol. 3, no. 3, pp. 283–292, 2012.
View at: Google Scholar
D. Han and D. R. Larson, “Frames, bases and group representations,” Memoirs of the American Mathematical Society, vol. 147, no. 697, pp. 1–91, 2000.
View at: Google Scholar
P. K. Jain, S. K. Kaushik, and L. K. Vashisht, “Banach frames for conjugate banach spaces,” Zeitschrift für Analysis und Ihre Anwendungen, vol. 23, no. 4, pp. 713–720, 2004.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
L. K. Vashisht, “On retro Banach frames of type $P$ ,” Azerbaijan Journal of Mathematics, vol. 2, no. 1, pp. 87–95, 2012.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
L. K. Vashisht, “On $Φ$ -Schauder frames,” TWMS Journal of Applied and Engineering Mathematics, vol. 2, no. 1, pp. 116–120, 2012.
View at: Google Scholar | MathSciNet
P. G. Casazza and O. Christensen, “The reconstruction property in Banach spaces and a perturbation theorem,” Canadian Mathematical Bulletin, vol. 51, no. 3, pp. 348–358, 2008.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
L. K. Vashisht and G. Khattar, “On $J$ -reconstruction property,” Advances in Pure Mathematics, vol. 3, no. 3, pp. 324–330, 2013.
View at: Publisher Site | Google Scholar
G. Birkhoff and G. C. Rota, Ordinary Differential Equations, Introductions to Higher Mathematics, Ginn and Company, Boston, Mass, USA, 1962.
View at: MathSciNet
E. A. Coddington and N. Levinson, Theory of Ordinary Differential Equations, McGraw-Hill, New York, NY, USA, 1955.
View at: MathSciNet
M. A. Neumark, Lineare Differentialoperatoren, Akademie-Verlag, Berlin, Germany, 1960.
View at: MathSciNet
O. Christensen and C. Heil, “Perturbations of Banach frames and atomic decompositions,” Mathematische Nachrichten, vol. 185, pp. 33–47, 1997.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
I. Singer, Bases in Banach Spaces II, Springer, New York, NY, USA, 1981.
View at: MathSciNet
F. Riesz and B. S. Nagy, Functional Analysis, Dover, New York, NY, USA, 1990.
View at: MathSciNet

Copyright

Copyright © 2014 L. K. Vashisht and Shalu Sharma. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

887

Downloads

870

Citations