 Research
 Open access
 Published:
On bases from cosines in Lebesgue spaces with variable summability index
Journal of Inequalities and Applications volumeÂ 2016, ArticleÂ number:Â 3 (2016)
Abstract
In this paper the perturbed system of cosines is considered. Under certain conditions on the summability index \(p (\cdot )\) and perturbation, the basicity of this system in Lebesgue spaces \(L_{p (\cdot )} (0,\pi )\) with variable summability index \(p (\cdot )\) is proved. The obtained results generalize similar results for the case \(p (\cdot )=p=\mbox{const}\).
1 Introduction
Perturbed systems of exponents, cosines and sines play an important role in the theory of spectral theory of differential operators, in the theory of optimal control, in approximation theory and so on. Therefore there are a lot of papers studying the frame properties and also the basis properties (completeness, minimality, basicity, etc.) of the perturbed trigonometric systems in various Banach spaces of functions. For more detailed information see [1â€“12].
In connection with applications in mechanics and theoretical physics in recent years there is a great interest in studying different problems in Lebesgue spaces with variable summability index. For many results in this direction one can see [13] and also [14, 15]. Basis properties of some trigonometric systems and other systems of functions (Haar system, classical system of Legendre, etc.) were investigated [6, 7, 16, 17].
In this paper a perturbed system of cosines is considered. Stability of the basicity of this system in Lebesgue space with variable summability index is studied. It should be noted that the basicity in generalized Lebesgue space of perturbed systems of exponents was considered earlier in [16, 17].
2 Necessary information
A Banach space will be called a Bspace. A Banach space of sequences of scalars over the field K will be called a Kspace. We give some information on Lebesgue spaces with variable summability index.
Let \(p: [\pi,\pi ]\to [1,+\infty )\) be some Lebesgue measurable function. Denote the class of all functions measurable on \([\pi,\pi ]\) (with respect to the Lebesgue measure) by \({\mathscr {L}}_{0} \).
Let us choose the notation
Let
With respect to ordinary linear operations of addition of functions and multiplication by a number, for
\({\mathscr {L}}\) turns into a linear space. With the norm
\({\mathscr {L}}\) is a Banach space and we denote it by \(L_{p(\cdot)}\) . Assume
Everywhere \(q (\cdot )\) denotes the function conjugate to \(p (\cdot ): \frac{1}{p (t )} +\frac{1}{q (t )} \equiv1\). Choose
HÃ¶lderâ€™s generalized inequality holds:
where \(c (p^{} ;p^{+} )=1+\frac{1}{p^{} } \frac{1}{p^{+} } \).
The following property that we will use is obvious.
Property A
If \(\vert f (t )\vert \le \vert g (t )\vert \) a.e. on \((\pi,\pi )\), then \(\Vert f\Vert _{p_{(\cdot)} } \le \Vert g\Vert _{p_{(\cdot)} } \).
For detailed information on the space \(L_{p (\cdot )}\) one can see [14, 15] and also [13].
We will also use the notion of the space of coefficients. Let us define it. Let \(\vec{x}\equiv \{x_{n} \}_{n\in N} \subset X\) be a nondegenerate system in Bspace X, i.e. \(x_{n} \ne0\), \(\forall n\in N\).
Assume
Introduce the norm in \({\mathscr {K}}_{\vec{x}} \):
With respect to ordinary operations of addition and multiplication by a complex number, \({\mathscr {K}}_{\vec{x}} \) is a Banach space. We also need some notion and facts from the basis theory.
Definition 1
Let X be some Bspace. We call the system \(\{\varphi_{n} \}_{n\in N} \subset X\) Ï‰linear independent in X (or simply Ï‰linear independent) if from \(\sum_{n}c_{n} \varphi_{n} =0\) it follows \(c_{n} =0\), \(\forall n\in N\).
The following theorem is valid.
Theorem 1
Let X be Bspace with the basis \(\{ \varphi_{n} \}_{n\in N} \) and \(F:X\to X\) be a Fredholm operator. Then for the system \(\{\psi_{n} \}_{n\in N} \) where \(\psi _{n} =F\varphi_{n} \), \(\forall n\in N\), the following properties in X are equivalent:

(a)
\(\{\psi_{n} \}_{n\in N} \) is complete in X;

(b)
\(\{\psi_{n} \}_{n\in N} \) is minimal in X;

(c)
\(\{\psi_{n} \}_{n\in N} \) is Ï‰linear independent in X;

(d)
\(\{\psi_{n} \}_{n\in N} \) is a bases isomorphic to \(\{\varphi_{n} \}_{n\in N} \) in X.
From this theorem we have the following.
Corollary 1
Let \(\{\varphi_{n} \}_{n\in N} \) form a basis for X and \(\operatorname{card} \{n:\psi_{n} \ne\varphi_{n} \}<+\infty\). Then with respect to the system \(\{\psi_{n} \} _{n\in N} \) the statement of Theorem 1 is valid.
For these or other results one can see for example [1â€“5].
Definition 2
We call the system \(\{\varphi_{n} \}_{n\in Z_{+} } \subset L_{p (\cdot )} {\mathscr {K}}\)Hilbert if \(\exists\delta>0\):
for an arbitrary finite set \(\{c_{n} \}\).
We will also use the following.
Definition 3
The sequence \(\{\lambda_{n} \}_{n\in N }\) is called separated, if \(\inf_{i\neq j} \vert \lambda_{i}\lambda_{j}\vert>0\).
For more details regarding these and other results one can see [1â€“5].
3 Basic results
Let \({\mathscr {K}}\) be some Kspace with the norm \(\Vert \cdot \Vert _{{\mathscr {K}}} \). Assume that the norm \(\Vert \cdot \Vert _{{\mathscr {K}}} \) satisfies the following condition:
 (Î±):

\(\Vert \{\lambda_{k} \}_{k\in N} \Vert _{{\mathscr {K}}} =\Vert \{\lambda_{\pi (k )} \} _{k\in N} \Vert _{{\mathscr {K}}} \) for an arbitrary permutation \(\pi:N\to N\).
Assume that the system \(\{\cos\lambda_{n} x \}_{n\in N} \) is \({\mathscr {K}}\)Hilbert in \(L_{p (\cdot )}\), where \(\{ \lambda_{n} \}_{n\in N} \in{\mathscr {K}}\) is some sequence. Taking into account the inequality
from condition (Î±) and Property A we immediately get
Thus, the following lemma is valid.
Lemma 1
Let the Kspace \({\mathscr {K}}\) satisfy condition (Î±) and the system of cosines \(\{\cos\lambda _{n} x \}_{n\in N} \) be a \({\mathscr {K}}\)Hilbert in \(L_{p (\cdot )} \) Then the sequence \(\{\lambda_{n} \}_{n\in N} \) is separated.
The analog of Levinsonâ€™s wellknown theorem [18] on the completeness of the system of exponents is valid in this case as well.
Theorem 2
Let \(1< p^{} \le p^{+} <+\infty\). If from the system of functions \(\{e^{i\lambda_{k} x} \}\) complete in \(L_{p (\cdot )} (\pi, \pi )\) we reject n arbitrary functions and instead of them add other functions \(e^{i\mu _{j} x} \), \(j=\overline{1, n}\), wherein \(\mu_{k}\), \(k=\overline{1, n}\), are arbitrary pairwise different complex numbers not equal to any of the numbers \(\lambda_{k} \), then the new system will also be complete in \(L_{p (\cdot )} (\pi, \pi )\).
The proof of this theorem is conducted by analogy with the case \(L_{p} (\pi, \pi )\) (i.e. \(p (x )\equiv p=\mathrm{const}\)). As under the conditions of the theorem \((L_{p (\cdot )} (\pi, \pi ) )^{*} =L_{q (\cdot )} (\pi, \pi )\), \(\frac{1}{p (x )} +\frac{1}{q (x )} =1\). The following theorem is also valid.
Theorem 3
Let \(\{\lambda_{n} \}_{n\in N} \subset C\) be an arbitrary sequence of various numbers, and \(1< p^{} \le p^{+} <+\infty\). The system \(\{\cos\lambda_{n} x \} _{n\in N} \) is complete in \(L_{p (\cdot )} (0, \pi )\) if and only if the system \(\{e^{\pm i\lambda_{n} x} \}_{n\in N} \) is complete in \(L_{p (\cdot )} (\pi , \pi )\). If for some \(k_{0} :\lambda_{k_{0} } =0\), then instead of the functions \(e^{i\lambda_{k_{0} } x} \) and \(e^{i\lambda _{k_{0} } x} \) the functions 1 and x should be taken.
From these two theorems we immediately have the following.
Corollary 2
Let \(1< p^{} \le p^{+} <+\infty\). If from the system of functions \(\{\cos\lambda_{k} x \}\) complete in \(L_{p (\cdot )} (0, \pi )\) we reject n arbitrary functions and instead of them add other n functions \(\{\cos\mu_{j} x \}\), \(j=\overline{1, n}\), wherein \(\mu _{k} \), \(k=\overline{1, n}\), are arbitrary complex numbers such that \(\mu_{i} \ne\pm\mu_{j} \) for \(i\ne j\), and not equal to any of the numbers \(\pm\lambda_{k} \), then the obtained system will also be complete in \(L_{p (\cdot )} (0, \pi )\).
Now we cite the basic result of the paper.
Theorem 4
Let \(1< p^{} \le p^{+} <+\infty\) and \(\{\lambda_{n} ; \mu_{n} \}_{n\in Z_{+} } \subset R\) be some sequence of different numbers such that for some \(\alpha\in(1, p_{0} ]\)
where \(p_{0} =\min \{2; p^{} \}\). If the system \(\{\cos\lambda_{n} x \}_{n\in Z_{+} } \) forms a basis for \(L_{p (\cdot )} (0, \pi )\) equivalent to the basis \(\{\cos nx \}_{n\in Z_{+} } \), then the system \(\{\cos\mu_{n} x \}_{n\in Z_{+} } \) also forms a basis for \(L_{p (\cdot )} (0, \pi )\) equivalent to the basis \(\{\cos nx \}_{n\in Z_{+} } \).
Proof
We have
Consequently
where c means a constant (which later may be different at different places) dependent only on \(p (\cdot )\). As a result we get
We denote the space of coefficients of the system \(\{\varphi_{n} \}_{n\in N} \subset L_{p (\cdot )} (0, \pi )\) by \({\mathscr {K}} ( \{\varphi_{n} \}_{n\in N} )\).
Thus, by the conditions of the theorem we have
Therefore it is obvious that \(\exists M>0\):
Assume \(\frac{1}{\alpha} +\frac{1}{\beta} =1\). It is clear that \(\beta\ge2\). The following continuous embeddings hold:
From the classic HausdorffYoung theorem it follows that
where
and \(M_{\alpha} \) is a constant dependent only on Î±. Let \(\varepsilon>0\) be an arbitrary number. Then it is clear that \(\exists n_{\varepsilon} \in Z_{+} \):
Assume
Take \(\forall \{c_{n} \}_{n\in Z_{+} } \in l_{\beta}^{0} \). We have
Taking into account equations (3) and (4), we get
Having paid attention to the embedding (2) and equation (1), we finally get
Take Îµ so small that the inequality \(m_{\alpha} =MM_{\alpha} \varepsilon^{\frac{1}{\alpha} } <1\) is fulfilled. Then by the PaleyWiener theorem and from inequalities (5) it follows that the system \(\{\varphi_{n} (\cdot ) \}_{n\in Z_{+} } \) forms a basis for \(L_{p (\cdot )} (0, \pi )\) equivalent to the basis \(\{\cos \lambda_{n} x \}_{n\in Z_{+} } \). Then we replace in the system \(\{\varphi_{n} \}_{n\in Z_{+} } \) the elements \(\{\varphi_{0} ; \ldots ; \varphi_{n_{\varepsilon} 1} \}\) by \(\{\cos\mu_{0} x; \ldots ; \cos\mu _{n_{\varepsilon} 1} \}\). From Corollary 2 it follows that the system \(\{\cos\mu_{n} x \}_{n\in Z_{+} } \) is complete in \(L_{p (\cdot )} (0, \pi )\). Then, as follows from Corollary 1, it forms a basis for \(L_{p (\cdot )} (0, \pi )\) equivalent to the basis \(\{\cos\lambda_{n} x \}_{n\in Z_{+} } \) and as a result is equivalent to the basis \(\{\cos nx \}_{n\in Z_{+} } \). The theorem is proved. The validity of the following theorem is established in the same way.â€ƒâ–¡
Theorem 5
Let with respect to the sequences \(\{ \lambda_{n} \}_{n\in N} \) and \(\{\mu_{n} \}_{n\in N} \) all the conditions of Theorem 4 be fulfilled. If the system of sines \(\{\sin\lambda_{n} x \}_{n\in N} \) forms a basis for \(L_{p (\cdot )} (0, \pi )\) equivalent to the basis \(\{\sin nx \}_{n\in N} \), then the system \(\{\sin \mu_{n} x \}_{n\in N} \) also forms a basis for \(L_{p (\cdot )} (0, \pi )\) equivalent to the basis \(\{\sin nx \}_{n\in N} \).
4 Example
The following example is of independent interest. Let us consider the following Cauchy problem :
where \(q (x )\in L_{1} (0,\pi )\) is a real function, \(\sigma\in R\). One can understand this problem in the sense of Ilâ€™in [19]. The following question is interesting: for what sequences \(\{\lambda_{n} \}_{n\in N} \subset R\) does the system \(\{y_{\lambda_{n} } (x ) \}_{n\in N} \) being the solution of problem (6) form a basis for \(L_{p (\cdot )} (0, \pi )\)? We have the following relation:
where \(K (x,t )\) is a continuous on \([0,\pi ]\) function.
With respect to this fact refer to [20].
Denote by K an operator determined by the expression
It is obvious that K is Volterrian and so the operator \(I+K\) is boundedly invertible in \(L_{p (\cdot )} \) (\(I\in L (L_{p (\cdot )} ;L_{p (\cdot )} )\) is a unit operator). Then from the relation \(y_{\lambda} (x )= (I+K )\cos\lambda x\) and from the results of the previous item we see that the system \(\{y_{\lambda_{n} } (x ) \}_{n\in N} \) is a basis in \(L_{p (\cdot )} \) only if the system of cosines \(\{\cos\lambda_{n} x \}_{n\in N} \) forms a basis for \(L_{p (\cdot )} (0, \pi )\).
Thus, the following theorem is valid.
Theorem 6
Let \(p (\cdot )\in WL_{0} \), \(p^{} >1\), \(q\in L_{1} \), and the sequence \(\{\lambda_{n} \}_{n\in N} \subset R\) satisfy the condition \(\sum_{n=0}^{\infty} \vert \lambda_{n} n\vert ^{\alpha} <+\infty\), where \(\alpha=\min \{2; p^{} \}\). Then the system \(\{y_{\lambda_{n} } (x ) \}_{n\in N} \) from the solution of the Cauchy problem (6) is a basis in \(L_{p (\cdot )} \), equivalent to the basis \(\{\cos nx \}_{n\in Z_{+} } \) in \(L_{p (\cdot )} (0, \pi )\).
References
Young, RM: An Introduction to Nonharmonic Fourier Series. Springer, Berlin (1980) 246 pp.
Singer, I: Bases in Banach Spaces, vol.Â 1. Springer, Berlin (1970) 673 pp.
Heil, C: A Basis Theory Primer. Springer, Berlin (2011) 536 pp.
Christensen, O: An Introduction to Frames and Riesz Bases BirkhÃ¤user Boston, Boston (2003) xxii+440 pp.
Bilalov, BT: Bases of exponents cosines and sines being the eigenfunctions of differential operators. Differ. Uravn. 39(5), 15 (2003)
Sharapudinov, II: Some problems in approximation theory in the spaces \(\operatorname{Lp}(x)(E)\). Anal. Math. 33(2), 135153 (2007)
Bilalov, BT, Guseynov, ZG: Basicity of a system of exponents with a piecewise linear phase in variable spaces. Mediterr. J. Math. 9(3), 487498 (2012)
He, X, Volkmer, H: Riesz bases of solutions of SturmLiouville equations. J. Fourier Anal. Appl. 7(3), 297307 (2001)
Russell, DL: On exponential bases for the Sobolev spaces over an interval. J. Math. Anal. Appl. 87, 528550 (1982)
Bilalov, BT: On basicity of the system of exponents, cosines and sines in \(L_{p}\). Dokl. Akad. Nauk, Ross. Akad. Nauk 365(1), 78 (1999)
Bilalov, BT: On basicity of some system of exponents, cosines and sines in \(L_{p}\). Dokl. Akad. Nauk, Ross. Akad. Nauk 379(2), 79 (2001)
Huseynli, AA: On the stability of basisness in \(L_{p}\) (\(1< p< \infty\)) of cosines and sines. Turk. J. Math. 35, 4754 (2011)
CruzUribe, DV, Fiorenza, A: Variable Lebesgue Spaces: Foundations and Harmonic Analysis. Springer, Berlin (2013)
Kovacik, O, Rakosnik, J: On spaces \(L^{p (\cdot )} \) and \(W^{k,p (\cdot )} \). Czechoslov. Math. J. 41(116), 592618 (1991)
Xianling, F, Dun, Z: On the spaces \(L^{p (x )} (\Omega )\) and \(W^{m,p (\cdot )} (\Omega )\). J. Math. Anal. Appl. 263, 424446 (2001)
Bilalov, BT, Guseynov, ZG: \(\mathscr {K}\)Bessel and \(\mathscr {K}\)Hilbert systems and \(\mathscr {K}\)bases. Dokl. Math. 80(3), 826828 (2009)
Muradov, TR: On bases from perturbed system of exponents in Lebesgue spaces with variable summability exponent. J. Inequal. Appl. 2014, 495 (2014)
Levin, BY: Distribution of the Root of Entire Functions. GITTL, Moscow (1956) 632 pp.
Ilâ€™in, VA: Necessary and sufficient conditions of basicity in and equiconvergence with trigonometric series of spectral expansions and expansions in the systems of exponents. Dokl. Akad. Nauk SSSR 273, 789793 (1983)
Marchenko, VA: Spectral Theory of the SturmLiouville Problem. Naukova Dumka, Kiev (1972)
Acknowledgements
This work was supported by the Research Program Competition launched by the National Academy of Sciences of Azerbaijan (Program: Frame theory Applications of Wavelet Analysis to Signal Processing in Seismology and Other Fields). The authors express their deep gratitude to Professor BT Bilalov, corresponding member of the National Academy of Sciences of Azerbaijan, for his inspiring guidance and valuable suggestions during the work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authorsâ€™ contributions
The authors contributed equally to this work. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Muradov, T., Hashimov, C. On bases from cosines in Lebesgue spaces with variable summability index. J Inequal Appl 2016, 3 (2016). https://doi.org/10.1186/s1366001509516
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001509516