Research Article | Open Access

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

**Academic Editor:**Bruce A. Watson

#### 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 [1–9]. 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 [12–14]. It should be noted that the close problems were also considered in [15].

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 [4]). Then from the results of the paper [16], 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 [16] 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 [16] 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.

#### References

- 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 - N. Levinson,
*Gap and Density Theorems*, American Mathematical Society Colloquium Publications, Providence, RI, USA, 1940. - 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 - 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 - 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 - 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 - B. T. Bilalov, “On the basis of some systems of exponentials, cosines and sines in
*L*,”_{p}*Doklady Mathematics*, vol. 379, no. 2, pp. 158–160, 2001. View at: Google Scholar | MathSciNet - B. T. Bilalov, “Bases of exponentials, sines, and cosines,”
*Differentsial'nye Uravneniya*, vol. 39, no. 5, pp. 619–622, 2003. View at: Google Scholar - 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 - 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 - 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 - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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 - 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 - 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 - 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

#### Copyright

Copyright © 2014 Togrul Muradov and Valid Salmanov. 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.