Skip to main content

On bases from cosines in Lebesgue spaces with variable summability index

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 B-space. A Banach space of sequences of scalars over the field K will be called a K-space. 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

$$I_{p} (f )\stackrel{\mathrm{def}}{\equiv} \int_{-\pi}^{\pi }\bigl\vert f (t )\bigr\vert ^{p (t )}\,dt. $$

Let

$${\mathscr {L}}\equiv \bigl\{ f\in{\mathscr {L}}_{0} :I_{p} (f )< +\infty \bigr\} . $$

With respect to ordinary linear operations of addition of functions and multiplication by a number, for

$$p^{+} =\sup\mathop{\operatorname{vrai}}\limits _{ [-\pi,\pi ]} p (t )< +\infty, $$

\({\mathscr {L}}\) turns into a linear space. With the norm

$$\Vert f\Vert _{p (\cdot )} \stackrel{\mathrm{def}}{\equiv} \inf \biggl\{ \lambda>0:I_{p} \biggl(\frac{f}{\lambda} \biggr)\le1 \biggr\} , $$

\({\mathscr {L}}\) is a Banach space and we denote it by \(L_{p(\cdot)}\) . Assume

$$\begin{aligned} WL_{0} \stackrel{\mathrm{def}}{\equiv} \biggl\{ p:\exists C>0, \forall t_{1} ,t_{2} \in [0,\pi ]:\vert t_{1} -t_{2} \vert \le\frac{1}{2} \Rightarrow\bigl\vert p (t_{1} )-p (t_{2} ) \bigr\vert \le \frac{C}{-\ln \vert t_{1} -t_{2} \vert } \biggr\} . \end{aligned}$$

Everywhere \(q (\cdot )\) denotes the function conjugate to \(p (\cdot ): \frac{1}{p (t )} +\frac{1}{q (t )} \equiv1\). Choose

$$p^{-} =\inf\mathop{\operatorname{vrai}}\limits _{[-\pi,\pi]} p(t). $$

Hölder’s generalized inequality holds:

$$\int_{-\pi}^{\pi}\bigl\vert f (t )g (t )\bigr\vert dt \le c \bigl(p^{-} ;p^{+} \bigr) \Vert f\Vert _{p (\cdot )} \Vert g\Vert _{q (\cdot )} , $$

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 non-degenerate system in B-space X, i.e. \(x_{n} \ne0\), \(\forall n\in N\).

Assume

$${\mathscr {K}}_{\vec{x}} \equiv \Biggl\{ \{\lambda_{n} \}_{n\in N} : \mbox{the series } \sum_{n=1}^{\infty} \lambda_{n} x_{n} \mbox{ converges in } X \Biggr\} . $$

Introduce the norm in \({\mathscr {K}}_{\vec{x}} \):

$$\Vert \vec{\lambda} \Vert _{{\mathscr {K}}_{\vec{x}} } = \sup_{m} \Biggl\Vert \sum_{n=1}^{m} \lambda_{n} x_{n} \Biggr\Vert ,\quad \mbox{where } \vec{ \lambda}= \{\lambda_{n} \}_{n\in N} . $$

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 B-space. 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 B-space 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:

  1. (a)

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

  2. (b)

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

  3. (c)

    \(\{\psi_{n} \}_{n\in N} \) is ω-linear independent in X;

  4. (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\):

$$\delta\bigl\Vert \{c_{n} \}\bigr\Vert _{{\mathscr {K}}} \le\Bigl\Vert \sum c_{n} \varphi_{n} \Bigr\Vert _{L_{p (\cdot )} } , $$

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 K-space 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

$$\vert \cos\lambda_{n} x-\cos\lambda_{k} x\vert \le\pi \vert \lambda_{n} -\lambda_{k} \vert ,\quad \forall x\in [0, \pi ], $$

from condition (α) and Property A we immediately get

$$\begin{aligned} 0&< \delta\bigl\Vert \{1; 1; 0; \ldots \}\bigr\Vert _{{\mathscr {K}}} \le\delta \Vert \cos\lambda_{n} x-\cos\lambda _{k} x\Vert _{L_{p (\cdot )} } \\ &\le\delta\pi \Vert 1\Vert _{L_{p (\cdot )} } \vert \lambda_{n} - \lambda_{k} \vert ,\quad \forall n, k\in N. \end{aligned}$$

Thus, the following lemma is valid.

Lemma 1

Let the K-space \({\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 well-known 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} ]\)

$$\sum_{n=0}^{\infty} \vert \lambda_{n} -\mu_{n} \vert ^{\alpha} < +\infty, $$

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

$$\vert \cos\lambda_{n} x-\cos\mu_{n} x\vert \le\pi \vert \lambda _{n} -\mu_{n} \vert ,\quad n\in Z_{+} . $$

Consequently

$$\Vert \cos\lambda_{n} x-\cos\mu_{n} x\Vert _{p (\cdot )} \le c\vert \lambda_{n} -\mu_{n} \vert , \quad n\in Z_{+} , $$

where c means a constant (which later may be different at different places) dependent only on \(p (\cdot )\). As a result we get

$$\sum_{n=0}^{\infty} \Vert \cos \lambda_{n} x-\cos\mu_{n} x\Vert _{p (\cdot )}^{\alpha} \le c\sum_{n=0}^{\infty} \vert \lambda_{n} -\mu_{n} \vert ^{\alpha} < +\infty. $$

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

$${\mathscr {K}}_{p (\cdot )} \equiv{\mathscr {K}} \bigl( \{ \cos \lambda_{n} x \}_{n\in Z_{+} } \bigr)\equiv{\mathscr {K}} \bigl( \{\cos nx \}_{n\in Z_{+} } \bigr). $$

Therefore it is obvious that \(\exists M>0\):

$$\begin{aligned} M^{-1} \Biggl\Vert \sum_{n=0}^{\infty}c_{n} \cos\lambda_{n} x \Biggr\Vert _{p (\cdot )} &\le\Biggl\Vert \sum _{n=0}^{\infty}c_{n} \cos nx \Biggr\Vert _{p (\cdot )} \\ &\le M\Biggl\Vert \sum_{n=0}^{\infty}c_{n} \cos\lambda_{n} x \Biggr\Vert _{p (\cdot )} , \quad\forall \{c_{n} \}_{n\in Z_{+} } \in{\mathscr {K}}_{p (\cdot )} . \end{aligned}$$
(1)

Assume \(\frac{1}{\alpha} +\frac{1}{\beta} =1\). It is clear that \(\beta\ge2\). The following continuous embeddings hold:

$$ L_{p (\cdot )} (0, \pi )\subset L_{p^{-} } (0, \pi ) \subset L_{\alpha} (0, \pi ). $$
(2)

From the classic Hausdorff-Young theorem it follows that

$$ \Biggl(\sum_{n=0}^{\infty} \vert c_{n} \vert ^{\beta} \Biggr)^{1/\beta} \le M_{\alpha} \Biggl\Vert \sum_{n=0}^{\infty}c_{n} \cos nx \Biggr\Vert _{L_{\alpha} (0,\pi )} , \quad\forall \{c_{n} \}_{n\in Z_{+} } \in l_{\beta}^{0} , $$
(3)

where

$$l_{\beta}^{0} \equiv \bigl\{ \{c_{n} \}_{n\in Z_{+} } :\exists n_{0} \ge0\Rightarrow c_{k} =0, \forall k\ge n_{0} +1 \bigr\} , $$

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_{+} \):

$$\sum_{n=n_{\varepsilon} }^{\infty} \Vert \cos \lambda_{n} x-\cos \mu_{n} x\Vert _{p (\cdot )}^{\alpha} < \varepsilon. $$

Assume

$$ \varphi_{n} (x )=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \cos\lambda_{n} x, & n=\overline{0,n_{\varepsilon} -1}; \\ \cos\mu_{n} x, & n\ge n_{\varepsilon} , n\in Z_{+} . \end{array}\displaystyle \right . $$
(4)

Take \(\forall \{c_{n} \}_{n\in Z_{+} } \in l_{\beta}^{0} \). We have

$$\begin{aligned}[b] \Biggl\Vert \sum_{n=0}^{\infty}c_{n} \bigl(\varphi_{n} (x )-\cos\lambda_{n} x \bigr) \Biggr\Vert _{p (\cdot )} &\le\sum_{n=0}^{\infty} \vert c_{n} \vert \bigl\Vert \varphi_{n} (x )-\cos \lambda_{n} x\bigr\Vert _{p (\cdot )} \\ &\le \Biggl(\sum_{n=0}^{\infty} \vert c_{n} \vert ^{\beta} \Biggr)^{1/\beta} \Biggl(\sum _{n=0}^{\infty}\bigl\Vert \varphi_{n} (x )-\cos\lambda_{n} x\bigr\Vert _{p (\cdot )}^{\alpha} \Biggr)^{1/\alpha} . \end{aligned} $$

Taking into account equations (3) and (4), we get

$$\begin{aligned} &\Biggl\Vert \sum_{n=0}^{\infty}c_{n} \bigl(\varphi_{n} (x )-\cos\lambda_{n} x \bigr) \Biggr\Vert _{p (\cdot )} \\ &\quad\le M_{\alpha} \Biggl\Vert \sum _{n=0}^{\infty}c_{n} \cos nx \Biggr\Vert _{L_{\alpha} (0,\pi )}\Biggl(\sum_{n=n_{\varepsilon} }^{\infty} \Vert \cos \lambda _{n} x-\cos\mu_{n} x\Vert _{p (\cdot )}^{\alpha} \Biggr)^{1/\alpha} \\ &\quad \le M_{\alpha} \varepsilon^{\frac{1}{\alpha} } \Biggl\Vert \sum_{n=0}^{\infty}c_{n} \cos nx \Biggr\Vert _{L_{\alpha} (0,\pi )} . \end{aligned}$$

Having paid attention to the embedding (2) and equation (1), we finally get

$$ \Biggl\Vert \sum_{n=0}^{\infty}c_{n} \bigl(\varphi_{n} (x )-\cos\lambda_{n} x \bigr) \Biggr\Vert _{p (\cdot )} \le MM_{\alpha} \varepsilon^{\frac{1}{\alpha} } \Biggl\Vert \sum_{n=0}^{\infty}c_{n} \cos \lambda_{n} x \Biggr\Vert _{p (\cdot )} . $$
(5)

Take ε so small that the inequality \(m_{\alpha} =MM_{\alpha} \varepsilon^{\frac{1}{\alpha} } <1\) is fulfilled. Then by the Paley-Wiener 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 :

$$ \left . \textstyle\begin{array}{l@{}} -y'' (x )+q (x )y (x )=\lambda^{2} y (x ), \quad x\in (0,\pi ), \\ y (0 )=1 , \qquad y' (0 )=\sigma , \end{array}\displaystyle \right \} $$
(6)

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:

$$y_{\lambda} (x )=\cos\lambda x+ \int_{0}^{x}K (x,t )\cos\lambda t \,dt, $$

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

$$[Kf ] (x )= \int_{0}^{x}K (x,t )f (t )\,dt. $$

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

  1. Young, RM: An Introduction to Nonharmonic Fourier Series. Springer, Berlin (1980) 246 pp.

    MATH  Google Scholar 

  2. Singer, I: Bases in Banach Spaces, vol. 1. Springer, Berlin (1970) 673 pp.

    Book  MATH  Google Scholar 

  3. Heil, C: A Basis Theory Primer. Springer, Berlin (2011) 536 pp.

    Book  MATH  Google Scholar 

  4. Christensen, O: An Introduction to Frames and Riesz Bases Birkhäuser Boston, Boston (2003) xxii+440 pp.

    Book  MATH  Google Scholar 

  5. Bilalov, BT: Bases of exponents cosines and sines being the eigenfunctions of differential operators. Differ. Uravn. 39(5), 1-5 (2003)

    MathSciNet  Google Scholar 

  6. Sharapudinov, II: Some problems in approximation theory in the spaces \(\operatorname{Lp}(x)(E)\). Anal. Math. 33(2), 135-153 (2007)

    Article  MathSciNet  Google Scholar 

  7. Bilalov, BT, Guseynov, ZG: Basicity of a system of exponents with a piece-wise linear phase in variable spaces. Mediterr. J. Math. 9(3), 487-498 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  8. He, X, Volkmer, H: Riesz bases of solutions of Sturm-Liouville equations. J. Fourier Anal. Appl. 7(3), 297-307 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  9. Russell, DL: On exponential bases for the Sobolev spaces over an interval. J. Math. Anal. Appl. 87, 528-550 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  10. Bilalov, BT: On basicity of the system of exponents, cosines and sines in \(L_{p}\). Dokl. Akad. Nauk, Ross. Akad. Nauk 365(1), 7-8 (1999)

    MathSciNet  Google Scholar 

  11. Bilalov, BT: On basicity of some system of exponents, cosines and sines in \(L_{p}\). Dokl. Akad. Nauk, Ross. Akad. Nauk 379(2), 7-9 (2001)

    MathSciNet  Google Scholar 

  12. Huseynli, AA: On the stability of basisness in \(L_{p}\) (\(1< p< \infty\)) of cosines and sines. Turk. J. Math. 35, 47-54 (2011)

    MATH  MathSciNet  Google Scholar 

  13. Cruz-Uribe, DV, Fiorenza, A: Variable Lebesgue Spaces: Foundations and Harmonic Analysis. Springer, Berlin (2013)

    Book  Google Scholar 

  14. Kovacik, O, Rakosnik, J: On spaces \(L^{p (\cdot )} \) and \(W^{k,p (\cdot )} \). Czechoslov. Math. J. 41(116), 592-618 (1991)

    MathSciNet  Google Scholar 

  15. Xianling, F, Dun, Z: On the spaces \(L^{p (x )} (\Omega )\) and \(W^{m,p (\cdot )} (\Omega )\). J. Math. Anal. Appl. 263, 424-446 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  16. Bilalov, BT, Guseynov, ZG: \(\mathscr {K}\)-Bessel and \(\mathscr {K}\)-Hilbert systems and \(\mathscr {K}\)-bases. Dokl. Math. 80(3), 826-828 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  17. Muradov, TR: On bases from perturbed system of exponents in Lebesgue spaces with variable summability exponent. J. Inequal. Appl. 2014, 495 (2014)

    Article  MathSciNet  Google Scholar 

  18. Levin, BY: Distribution of the Root of Entire Functions. GITTL, Moscow (1956) 632 pp.

    Google Scholar 

  19. 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, 789-793 (1983)

    MathSciNet  Google Scholar 

  20. Marchenko, VA: Spectral Theory of the Sturm-Liouville Problem. Naukova Dumka, Kiev (1972)

    Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Togrul Muradov.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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/s13660-015-0951-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0951-6

Keywords