Frames from Cosines with the Degenerate Coefficients
1Institute of Mathematics and Mechanics of NAS of Azerbaijan, B.Vahabzade 9, AZ1141,Baku, Azerbaijan
The system of cosines with a degenerate coefficient in exponential form is considered. A necessary and sufficient condition on the degree of degeneration is found that makes the considered system a frame in Lebesgue spaces. It is proved that if the degenerate coefficient satisfies the Muckenhoupt condition, then the basicity holds. If the Muckenhoupt condition does not hold, then the system has a finite defect, and does not form a frame.
Keywords: systems of cosines, degeneration, frames
American Journal of Applied Mathematics and Statistics, 2013 1 (3),
Received December 23, 2012; Revised May 09, 2013; Accepted May 10, 2013Copyright © 2014 Science and Education Publishing. All Rights Reserved.
Cite this article:
- Rahib, Sadigova Sabina, and Mamedova Zahira Vahid. "Frames from Cosines with the Degenerate Coefficients." American Journal of Applied Mathematics and Statistics 1.3 (2013): 36-40.
- Rahib, S. S. , & Vahid, M. Z. (2013). Frames from Cosines with the Degenerate Coefficients. American Journal of Applied Mathematics and Statistics, 1(3), 36-40.
- Rahib, Sadigova Sabina, and Mamedova Zahira Vahid. "Frames from Cosines with the Degenerate Coefficients." American Journal of Applied Mathematics and Statistics 1, no. 3 (2013): 36-40.
|Import into BibTeX||Import into EndNote||Import into RefMan||Import into RefWorks|
Basis properties of classical system of exponents (is the set of all integers) in Lebesgue spaces , , are well studied in the literature (see [6, 7, 17, 18, 19]). N.K.Bari in her fundamental work  raised the issue of the existence of normalized basis in which is not Riesz basis. The first example of this was given by K.I.Babenko . He proved that the degenerate system of exponents with forms a basis for but is not Riesz basis when . This result has been extended by V.F.Gaposhkin . In , the condition on the weight was found which make the system form a basis for the weight space with a norm . Basis properties of a degenerate system of exponents are closely related to the similar properties of an ordinary system of exponents in corresponding weight space. In all the mentioned works the authors consider the cases when the weight or the degenerate coefficient satisfies the Muckenhoupt condition (see, for example, ). It should be noted that the above-stated is true for the systems of sines and cosines, too.
Basis properties of the system of exponents and sines with the linear phase in weighted Lebesgue spaces have been studied in [14, 15, 16]. Those of thpe systems of exponents with degenerate coefficients have been studied in [3, 4].
2. Needful Information
To obtain our main results, we will use some concepts and facts from the theory of bases.
We will use the standard notation. will be the set of all positive integers, will mean “there exist(s)”, will mean “it follows”, will mean “if and only if”, will mean “there exists unique”, or will stand for the set of real or complex numbers, respectively.
Let be some Banach space with a norm . Then will denote its conjugate with a norm . By we denote the linear span of the set , and will stand for the closure of .
System is said to be complete in if . It is called minimal in if .
System is said to be uniformly minimal in if
The following criteria of completeness and minimality are available:
Criterion 1. System is complete in if .
Criterion 2. System is minimal in it has a biorthogonal system i.e. is the Kronecker symbol.
Criterion 3. Complete system is uniformly minimal in , where is a system biorthogonal to it.
System is said to be a basis for if , .
System is said to be a frame if , .
If system forms a basis for , then it is uniformly minimal.
3. Completeness and Minimality
We consider a system of cosines
() with a degenerate coefficient :
where for . The symbol , means that in sufficiently small neighborhood of the point there holds the inequality .
Theorem 1. Let the conditions
be satisfied. Then the system is complete in . If the following relation holds
then for it forms a basis for , but in a case this system is complete and minimal in , but does not form a basis for it.
Proof. Thus, it is clear that the system belongs to the space , if and only if the relation (1) holds.
Let us consider the completeness of this system. Let , cancels the system out, that is
where is a complex conjugate. By we denote the Banach space of functions which are continuous on with a -norm. It is absolutely clear that . As the system of cosines is complete in , we obtain from the relations (2) that . This proves the completeness of system in . Now consider the minimality of this system in . It is clear that the system belongs to if and only if
The theorem is proved.
It should be noted that these facts can be directly obtained from the classical results.
4. Defective Case
Here we consider the defective system of cosines , where , is some number.
The following theorem is true.
Theorem 2. Let the necessary condition , be satisfied. Then the system is a frame (basis) in if and only if . Moreover, for , , it has a defect equal to , where .
Assume and . Suppose that cancels system out, that is, .
As and system is complete and minimal in , from (4) we get , where is some constant. Then from expression follows that if and only if . Thus, system is complete in .
Now we consider the minimality of this system. Let
On the other hand , and, consequently, . From these relations we immediately find that . Consequently, system is complete and minimal in . Then, it is clear that the system has a defect equal to 1 in this case.
Consider the basicity of system in . By we denote the ordinary norm in . It is obvious that . We have
( is some constant, independent of ) where the interval () does not contain the points and . Assume
It is clear that , and as a result
It is obvious that
Taking the previous relations into account, from (5) we have
where . Hence
Consequently, it directly follows that
Concerning biorthogonal system, we have
where ( and in sequel also) by we’ll denote positive constants, which may be different in different places. Consequently
As , then it is clear that
where . At first consider the case , i.e. . We have
As, , and , then it is clear that
and consequently, , . Let , i.e. . It is obvious that
On the other hand
where . Thus
It is absolutely clear that
Taking into account this relation we have
where . Consequently, , . As a result, we obtain . Then, it is clear that . As a result, we get that the system is not uniformly minimal in [see, for example 16] and at the same time does not form a basis for it. Let us show that in this case the system is not a frame in . Assume that it is not true. Then, it is clear that zero has a non-trivial decomposition, i.e.
It is evident that . It follows directly that the arbitrary element can be expanded with respect to the system . We came upon a contradiction which proves that this system does not form a basis for .
Let us consider the case . We look at the system , where are some numbers. Let cancel this system out, that is
Using the previous reasoning, we find that for some constants the following is true
( is some constant ), where
and is some function. Thus, if and only if . Assume , . As and , it is clear that , . Suppose . We have
It follows directly that for sufficiently small we have
where is some constant. As a result . Consequently, , and it is clear that . Thus, we obtain the following algebraic system with respect to the constants
It is clear that . And, consequently . As a result, , which, in turn, implies that the system is complete in . Let us show that it is also minimal in . Assume . Consider the system
We obtain directly from the following representation , , that . On the other hand
where , . From these relations follows the minimality of system in . Thus, if , then the system is complete and minimal in , and, as a result, the system has a defect equal to 2. Continuing this way, we obtain that if , where , then the system is complete and minimal in , where , , with .
Proceeding in an absolutely similar way as we did in the previous case, we can prove that absolutely similar to the case we establish that for the system is not uniformly minimal in , and consequently, it does not form a basis for it. Let us show that for , the system is not frame in . Let . Assume that the system is a frame in . Then zero has a non-trivial decomposition: . It is clear that , and let . It follows directly that the system is a frame in . The further reasoning is absolutely similar to the case of . This scheme is applicable for .
The theorem is proved.
This paper was performed under financial support of Science Foundation of the State Oil Company of Azerbaijan Republic.
The authors would like to express their profound gratitude to Prof. Bilal Bilalov, for his valuable guidance to this article.
|||Babenko K.I. On conjugated functions, DAN SSSR, vol.62, No2, 1948, pp.157-160.|
|||Bari N.K. Trigonometric Series. Fizmatgiz, Moscow, 1961, 672 p.|
|||Bilalov B.T., Veliyev S.G. On completeness of exponent system with complex coefficients in weight spaces. Trans. of NAS of Azerb., XXV, No 7, 2005, p. 9 - 14.|
|||Bilalov B.T., Veliyev S.G. Bases of eigen functions of two discontinuous differential operators. Diff. Uravn. 2006, vol. 42, No 9, p. 190-192.|
|||Christensen O. An Introduction to Frames and Riesz bases. Springer, 2003, 440 p.|
|||Edwards R. Fourier Series in a Modern Exposition. Moscow, "Mir", vol.1, 1985, 264 p.|
|||Edwards R. Fourier Series in a Modern Exposition. Moscow, "Mir", vol.2, 1985, 400 p.|
|||Gaposhkin V.F. One generalization of M.Riesz theorem on conjugated functions. Mat. Sbornik, 46 (3) (88), 1958, 111-115.|
|||Gar J. Garnett. Bounded Analytic Functions. Moscow, "Mir", 1984, 469 p.|
|||Gohberg I.C., Krein M.G. Introduction to the theory of linear non- selfadjoint operators. Nauka", Moscow 1965 448 p.|
|||Golubeva E.S. The System of Weighted Exponentials with Power Weights. Herald of Samara State University. Natural Sciences, 2011, No2 (83), pp.15-25.|
|||Bilalov B.T., Guliyeva F.A. On The Frame Properties of Degenerate System of Sines, Journal of Function Spaces and Applications, Volume 2012 (2012), Article ID 184186, 12 pages.|
|||Heil Ch. A Basis Theory Primer, Springer, 2011, 534 p.|
|||Kazaryan K.S., Lizorkin P.I. Multipliers, bases and unconditional bases in the weighted spaces B and SB, Proc. of the Steklov Ins. of Math., 1989, 187, pp. 111-130.|
|||Moiseev E.I. On basicity of systems of cosines and sines in weight space. Diff. Uravn., vol. 34, No.1,1998,pp. 40-44.|
|||Moiseev E.I. The basicity in the weight space of a system of eigen functions of a differential operator. Diff. Uravn., 1999, v.35, No2, pp.200-205.|
|||Pukhov S.S., Sedletskii A.M. Bases of exponents, sines and cosines in weight spaces on finite interval. Dokl. RAN vol. 425, 4 (2009), pp.452-455.|
|||Zygmund A. Trigonometric series. Moscow, "Mir", vol.1, 1965, 616p.|
|||Zygmund A. Trigonometric series. Moscow, "Mir", vol.2, 1965, 538 p.|