International Journal of Engineering Mathematics

Volume 2013, Article ID 612472, 4 pages

http://dx.doi.org/10.1155/2013/612472

## Basicity of Systems of Sines with Linear Phase in Weighted Sobolev Spaces

^{1}Institute of Mathematics and Mechanics of NAS of Azerbaijan, B. Vahabzade 9, 1141 Baku, Azerbaijan^{2}Nakhchivan State University, University Campus, 7012 Nakhchivan City, Azerbaijan

Received 6 February 2013; Revised 24 April 2013; Accepted 24 April 2013

Academic Editor: Giuseppe Carbone

Copyright © 2013 V. F. Salmanov and A. R. Safarova. 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.

#### Abstract

The perturbed systems of sines, which appear when solving some partial differential equations by the Fourier method, are considered in this paper. Basis properties of these systems in weighted Sobolev spaces of functions are studied.

#### 1. Introduction

When solving many problems in mathematical physics by Fourier method (see e.g., [1–4]), there appear perturbed systems of sines and cosines of the following form: where , are real parameters. Using Fourier method requires the study of basis properties of the above systems in Lebesgue and Sobolev spaces of functions. Relevant investigations date back to the well-known works by Paley and Wiener [5] and Levinson [6]. For , basis properties of these systems in spaces , , are completely studied in [7–12]. The case of weighted was considered by E. I. Moiseev in [13, 14]. Basis properties of some perturbed systems of exponents in Sobolev spaces are studied in [15–19]. Further references include [20–23].

Our paper is devoted to the study of basis properties of these systems in weighted Sobolev spaces. Unlike previous works, we offer a different method of investigation.

#### 2. Auxiliary Facts

Let and be weighted Lebesgue and Sobolev spaces with the following norms: where , , . Denote by the following direct sum: where is a complex plane. The norm in this space is defined as follows: , where . The following easily provable lemmas play an important role in obtaining our main result.

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

*Proof. *First we show the boundedness of this operator. We have the following:
Applying Hlder's inequality, we obtain the following:
Consequently,
where .

Let us show that . Let ; that is,
where , . Differentiating this equation, we obtain a.e. on .

It follows that . From (9) it directly follows that a.e. on and this implies that .

Show that . Let be an arbitrary function. Assume . It is clear that and . Then by Banach theorem we find that the operator has a bounded inverse. This proves Lemma 1.

Now let us prove the following lemma.

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

*Proof. *Let , *. *We have the following:
As and , then . Similarly, we find that and . It is easy to see that and, moreover,
This proves the lemma.

From results of the paper [24] it follows the validity of the following lemma.

Lemma 3. *Let , , , and in . Then the series converges absolutely.*

#### 3. Main Result

Theorem 4. *Let , . Then system (2) forms a basis for if and only if system (1) forms a basis for , where , .*

*Proof. *First let us assume that the system
forms a basis for . Show that the system forms a basis for , where , , for . It suffices to show that every element of space can be expanded in a unique way as a series of the following:
that is,
Since system (1) forms a basis for , we have expansion (14), and the coefficients are determined uniquely. By Lemma 3, the series converges absolutely. Then, it is clear that the number in (15) is determined uniquely. And this implies that the system forms a basis for .

Consider the system , where , , and . By Lemma 1, the operator is an isomorphism in . Then the system forms a basis for . It is easy to see that
Now we prove the converse. Assume that the system forms a basis for .

Consider the system . The inverse operator is defined as . It is absolutely clear that the system forms a basis for and
Consequently, has a unique expansion of the form (14), (15) in . As a result, we obtain that for all has an expansion with respect to system (1) in . Suppose there exists another expansion of in :

Then Lemma 3 implies the absolute convergence of series .

Assume . It is clear that the biorthogonal coefficients of the element are , where .

Then, from basicity of system in , we obtain that , for all . So we came upon a contradiction which proves the theorem.

#### References

- S. M. Ponomarev, “On an eigen value problem,”
*Doklady Akademii Nauk SSSR*, vol. 249, no. 5, pp. 1068–1070, 1979. View at Google Scholar · View at MathSciNet - E. I. Moiseev, “Some boundary value problems for mixed-type equations,”
*Differential Equations*, vol. 28, no. 1, pp. 105–115, 1992. View at Google Scholar - E. I. Moiseev, “Solution of the Frankl problem in a special domain,”
*Differentsial'nye Uravneniya*, vol. 28, no. 4, pp. 721–723, 1992. View at Google Scholar - E. I. Moiseev, “On existence and uniqueness of solution a classical problem,”
*Doklady Rossiĭskaya Akademiya Nauk*, vol. 336, no. 4, pp. 448–450, 1994. View at Google Scholar - R. 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. - N. Levinson,
*Gap and Density Theorems*, vol. 29 of*American Mathematical Society Colloquium Publications*, American Mathematical Society, Providence, RI, USA, 1940. - A. M. Sedletskiĭ, “Biorthogonal Expansions of functions in series of exponents on intervals of the Real Axis,”
*Uspekhi Matematicheskikh Nauk*, vol. 37, no. 5(227), pp. 51–95, 1982. View at Google Scholar - E. I. Moiseev, “The basis property for systems of sines and cosines,”
*Doklady Akademii Nauk SSSR*, vol. 275, no. 4, pp. 794–798, 1984. View at Google Scholar - E. I. Moiseev, “On the basis property of a system of sines,”
*Differentsial'nye Uravneniya*, vol. 23, no. 1, pp. 177–179, 1987. View at Google Scholar - B. T. Bilalov, “Basicity of some systems of exponents, cosines and sines,”
*Differentsial'nye Uravneniya*, vol. 26, no. 1, pp. 10–16, 1990. View at Google Scholar - B. T. Bilalov, “Basis properties of some systems of exponents, cosines and sines,”
*Sibirskii Matematicheskii Zhurnal*, vol. 45, no. 2, pp. 264–273, 2004. View at Google Scholar - S. R. Sadigova, “On one method for establishing a basis from double systems of exponentials,”
*Applied Mathematics Letters*, vol. 24, no. 12, pp. 1969–1972, 2011. View at Publisher · View at Google Scholar - E. I. Moiseev, “On basicity of systems of cosines and sines in weight space,”
*Differentsial'nye Uravneniya*, vol. 34, no. 1, pp. 40–44, 1998. View at Google Scholar - E. I. Moiseev, “The basicity in the weight space of a system of eigen functions of a differential operator,”
*Differentsial'nye Uravneniya*, vol. 35, no. 2, pp. 200–205, 1999. View at Google Scholar - E. I. Moiseev, “On differential properties of expansions in the system of sines and cosines,”
*Differentsial'nye Uravneniya*, vol. 32, no. 1, pp. 117–126, 1996. View at Google Scholar - A. M. Sedletskiĭ, “Approximate properties of the systems of exponents in Sobolev spaces,”
*Vestnik Moskovskogo Universiteta I*, no. 4, pp. 3–8, 1999. View at Google Scholar - Z. G. Huseynov and A. M. Shykhammedov, “On bases of sines and cosines in Sobolev spaces,”
*Applied Mathematics Letters*, vol. 25, no. 3, pp. 275–278, 2012. View at Publisher · 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 · View at Google Scholar - V. F. Salmanov and V. S. Mirzoev, “On basicity of a system of functions in the space ${W}_{p}^{1}(0,\pi )$,”
*Proceedings of Institute of Mathematics and Mechanics of the National Academy of Sciences of Azerbaijan*, vol. 33, no. 41, pp. 153–156, 2010. View at Google Scholar - X. He and H. Volkmer, “Riesz bases of solutions of Sturm-Liouville equations,”
*The Journal of Fourier Analysis and Applications*, vol. 7, no. 3, pp. 297–307, 2001. View at Publisher · View at Google Scholar - B. T. Bilalov, “On basicity of systems of exponents, cosines and sines in ${L}_{p}$,”
*Doklady Rossijskoj Akademii Nauk*, vol. 365, no. 1, pp. 7–8, 1999. View at Google Scholar - B. T. Bilalov, “On basicity of some systems of exponents, cosines and sines,”
*Doklady Rossijskoj Akademii Nauk*, vol. 379, no. 2, pp. 7–9, 2001. View at Google Scholar - B. T. Bilalov, “Bases from the exponents, cosines and sines being the eigen values of differential operators,”
*Differentsial'nye Uravneniya*, vol. 39, no. 5, pp. 1–5, 2003. View at Google Scholar - M. H. Karakash, “The Housdorff-Young and Paley type theorems for one system of sines,”
*Proceedings of Institute of Mathematics and Mechanics of the National Academy of Sciences of Azerbaijan*, vol. 23, no. 31, pp. 59–64, 2005. View at Google Scholar