/ / Article

Research Article | Open Access

Volume 2014 |Article ID 481425 | 4 pages | https://doi.org/10.1155/2014/481425

# Basicity of the System of Exponents with a Linear Phase in Sobolev Weight Space

Accepted12 Aug 2014
Published01 Sep 2014

#### Abstract

In the present paper a criterion for basicity of exponential system with linear phase is obtained in Sobolev weight space .

In solving mathematical physics problems by the Fourier method, there often arise the systems of exponents of the form where and are continuous or piecewise-continuous functions. Substantiation of the method requires studying the basis properties of these systems in Lebesgue and Sobolev spaces of functions. In the case when and are linear functions, the basis properties of these systems in , , were completely studied in the papers . The weighted case of the space was considered in the papers [10, 11]. The basis properties of these systems in Sobolev spaces were studied in . It should be noted that the close problems were also considered in .

In the present paper we study basis properties of the systems (1) and (2) in Sobolev weight spaces when , , where is a real parameter. Therewith the issue of basicity of system (2) in Sobolev spaces is reduced to the issue of basicity of system (1) in respective Lebesgue spaces.

Let and be weight spaces with the norms respectively, where , . Denote by the direct sum , where is the complex plane. The norm in this space is defined by the expression , where .

The following easily provable lemmas play an important role in obtaining the main results. It holds the following.

Lemma 1. Let , ; . Then the operator realizes an isomorphism between the spaces and ; that is, the spaces and are isomorphic.

Proof. At first prove the boundedness of the operator . We have Having applied the Holder inequality, hence we get where Consequently where Let us show that . Put ; that is, where , . By differentiating this equality, we get , a.e. on . Hence it follows that . From (11) it directly follows that a.e. on , and so . Show that ( is the range of values of the operator ). Let be an arbitrary function. Let . It is clear that and . Then from the Banach theorem we get that the operator is boundedly invertible.
The lemma is proved.

The following lemma is also valid.

Lemma 2. Let and , . Then for all , where

Proof. Let , . We have Since and , then , . It is easy to see that and moreover .
The lemma is proved.

In obtaining the basic results we need the following main lemma.

Lemma 3. Let , and , , be a real parameter, . Let have the expansion in the space . Then it is valid

Proof. As it follows from Lemma 2, . At first consider the case when , . In this case the system is minimal in (see ). Then from the results of the paper , the Hausdorff-Young inequality is valid for this system; that is, Applying the Holder inequality, we obtain If , then , . Then where , . As a result, we have Since , then again from the results of the paper  it follows In the same way we establish the convergence of the series .
Consider the case when . Then . In this case the system is minimal in , and, consequently, from the results of the paper  it holds the Hausdorff-Young inequality; that is, where .
From the previous reasonings we get the absolute convergence of the series . The lemma is proved.

Theorem 4. Let , be a weight function, , , be a real parameter, and the inequalities , ; hold. Then the following statements are equivalent:(1)system (2) forms a basis for ;(2)system (1) forms a basis for .

Proof. At first, suppose that the system (1) forms a basis for . Let us show that the system forms a basis for , where , , .
It is enough to prove that the arbitrary element of has the unique expansion that is, Since the system (1) forms a basis for , then the expansion (23) holds and the coefficients are uniquely determined. By Lemma 3 the series absolutely converges. Then it is clear that the number from (24) is uniquely determined. This means that the system forms a basis for . Consider the system , where , , . It is not difficult to see that
Now, let us prove the converse. Assume that the system (2) forms a basis for . Consider the system , . It is easy to see that the inverse operator is determined as . It is obvious that the system forms a basis for . We have Consequently, has a unique expansion (22) in . As a result, we obtain that each has a unique expansion of the form (23). Indeed, let there exist another expansion for in : The absolute convergence of the series follows from Lemma 3. Put . It is clear that the biorthogonal coefficients of the element are , where . From the basicity of the system in we obtain that , . This contradicts our conjecture. The theorem is proved.

#### Conflict of Interests

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

#### Acknowledgment

The authors would like to express their sincere gratitude to Professor Bilal T. Bilalov for his attention to the paper and for valuable advice.

1. R. E. A. Paley and N. Wiener, Fourier Transforms in the Complex Domain, vol. 19 of American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, RI, USA, 1934. View at: MathSciNet
2. N. Levinson, Gap and Density Theorems, American Mathematical Society Colloquium Publications, Providence, RI, USA, 1940.
3. A. M. Sedletskiĭ, “Biorthogonal expansions of functions in exponential series on intervals of the real axis,” Uspekhi Matematicheskikh Nauk, vol. 37, no. 5(227), pp. 51–95, 1982. View at: Google Scholar | MathSciNet
4. E. I. Moiseev, “On basicity of systems of sines and cosines,” Doklady Akademii Nauk SSSR, vol. 275, no. 4, pp. 794–798, 1984. View at: Google Scholar
5. B. T. Bilalov, “The basis property of some systems of exponentials of cosines and sines,” Differentsial'nye Uravneniya, vol. 26, no. 1, pp. 10–16, 1990. View at: Google Scholar | MathSciNet
6. B. T. Bilalov, “On the basis property of systems of exponentials, cosines, and sines in ${L}_{p}$,” Doklady. Mathematics, vol. 365, no. 1, pp. 7–8, 1999. View at: Google Scholar
7. B. T. Bilalov, “On the basis of some systems of exponentials, cosines and sines in Lp,” Doklady Mathematics, vol. 379, no. 2, pp. 158–160, 2001. View at: Google Scholar | MathSciNet
8. B. T. Bilalov, “Bases of exponentials, sines, and cosines,” Differentsial'nye Uravneniya, vol. 39, no. 5, pp. 619–622, 2003. View at: Google Scholar
9. B. T. Bilalov, “Basis properties of some systems of exponentials, cosines, and sines,” Siberian Mathematical Journal, vol. 45, no. 2, pp. 264–273, 2004. View at: Publisher Site | Google Scholar | MathSciNet
10. E. I. Moiseev, “Basicity in the weight space of a system of eigen functions of differential operator,” Differentsial'nye Uravneniya, vol. 35, no. 2, pp. 200–205, 1999. View at: Google Scholar
11. Z. A. Kasumov, “On basicity of system of exponents with complex valued coefficients in weighted spaces,” in Proceedings of the 2006 International Conference, vol. 1, pp. 165–168, Orel, Russia, October 2006. View at: Google Scholar
12. D. L. Russell, “On exponential bases for the Sobolev spaces over an interval,” Journal of Mathematical Analysis and Applications, vol. 87, no. 2, pp. 528–550, 1982.
13. E. I. Moiseev, “On differential properties of expansions on the system of sines and cosines,” Differentsial'nye Uravneniya, vol. 32, no. 1, pp. 117–126, 143, 1996. View at: Google Scholar | MathSciNet
14. A. M. Sedletskii, “Approximate properties of the system of exponents in Sobolev spaces,” Vestnik Moskovskogo Universiteta, no. 6, pp. 3–8, 1999. View at: Google Scholar
15. S. A. Avdonin and S. A. Ivanov, “Riesz bases of exponentials and divided differences,” St. Petersburg Mathematical Journal, vol. 13, no. 3, pp. 339–351, 2002. View at: Google Scholar | MathSciNet
16. B. T. Bilalov and O. K. Karakash, “The Hausdorff-Young type theorem for one system of exponents,” Transactions of National Academy of Sciences of Azerbaijan, vol. 24, no. 4, pp. 19–23, 2004. View at: Google Scholar

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19. 