- Research
- Open access
- Published:
Bases of exponents with a piecewise linear phase in generalized weighted Lebesgue space
Journal of Inequalities and Applications volume 2016, Article number: 92 (2016)
Abstract
The perturbed system of exponents with a piecewise linear phase, consisting of eigenfunctions of a discontinuous differential operator, is considered in this work. Under certain conditions on the weight function of the form of a power function, sufficient conditions for the basicity of this system are obtained in generalized weighted Lebesgue space.
1 Introduction
The perturbed system of exponents \(\{e^{i\lambda_{n} t} \}_{n\in Z} \) plays an important role in the study of spectral properties of discrete differential operators and in the approximation theory. Apparently, the study of basis properties (completeness, minimality, basicity) of these systems dates back to the well-known work of Paley and Wiener [1]. Since then, a lot of research has been made in this field (more details can be found in [2–8]). It should be noted that similar systems are of great scientific interest in the frame theory as well, which dates back to the seminal paper by Duffin and Schaeffer [9]. More details as regards these and related facts can be found in [7, 9, 10].
Since recently, there arose a great interest in considering various problems, related to some research fields of mechanics and mathematical physics, in generalized Lebesgue spaces \(L_{p_{(\cdot)} } \) with a variable summability exponent \(p(\cdot)\). Some fundamental results of classical harmonic analysis were carried over to the case of \(L_{p_{(\cdot)}} \). More details as regards these facts can be found in [11–16]. It should be noted that the application of the Fourier method to the problems for partial differential equations in generalized Sobolev classes requires a good knowledge of the approximative properties of perturbed exponential systems in generalized Lebesgue spaces. Approximation-related issues in these spaces have been first studied by Sharapudinov (see e.g. [14]).
A system of exponents with a piecewise linear phase is considered in this paper. When the weight of the form of power function, the basis properties of this system are studied in a weighted space \(L_{p_{(\cdot )} ,\rho} \). when the weight has a power form. Sufficient conditions for completeness, minimality and basicity are obtained in \(L_{p_{(\cdot )} ,\rho} \). It should be noted that the basis properties of exponential systems with a linear phase in \(L_{p (\cdot )} \) have been previously studied in [17–19].
2 Background information
We will use the usual notations. N will be a set of all positive integers; Z will be a set of all integers; \(Z_{+} =\{ 0\} \cup N\); R will be the set of all real numbers; C will stand for the field of complex numbers; \((\bar{\cdot})\) is the complex conjugate; \(\delta_{nk} \) is the Kronecker symbol; \(\chi_{A} (\cdot )\) is the characteristic function of the set A.
Let us present some facts from the theory of Lebesgue spaces with a variable summability exponent. Let \(p: [-\pi,\pi ]\to [1,+\infty )\) be some Lebesgue measurable function. By \(\mathrm{L}_{0} \) denote the class of all functions measurable on \([-\pi ,\pi ]\) (with respect to Lebesgue measure). Denote
Let
With respect to the usual linear operations of addition and multiplication by a number, L is a linear space as \(p^{+} =\sup \operatorname{vrai}_{ [-\pi,\pi ]} p (t )<+\infty \). With respect to the norm
L is a Banach space (see e.g. [12]), and we denote it by \(L_{p(\cdot)} \). Let
Throughout this paper \(q (\cdot )\) will denote the conjugate of a function \(p (\cdot )\): \(\frac{1}{p (t )} +\frac {1}{q (t )} \equiv1\). Denote \(p^{-} =\inf\operatorname{vrai}_{ [-\pi,\pi ]} p (t )\). The following generalized Hölder inequality is true
where \(c (p^{-} ;p^{+} )=1+\frac{1}{p^{-} } -\frac{1}{p^{+} } \). Directly from the definition we get the property which will be used in sequel.
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)} } \).
It is easy to prove the following.
Statement 1
Let \(p\in WL\), \(p (t )>0\), \(\forall t\in [-\pi,\pi ]\); \(\{\alpha_{i} \} _{0}^{m} \subset R\). The weight function
belongs to the space \(L_{p (\cdot )} \), if the following inequalities:
are satisfied, where \(-\pi=\tau_{1} <\tau_{2} <\cdots<\tau_{m} =\pi\), \(\tau_{0} =0\), \(\tau_{i} \ne0\), \(\forall i=\overline{1,m}\).
The following fact plays an important role in obtaining the main results (see e.g. [12]).
Property B
If \(p (t ):1< p^{-} \le p^{+} <+\infty\), then the class \(C_{0}^{\infty} (-\pi,\pi )\) (class of finite and indefinitely differentiable functions) is everywhere dense in \(L_{p (\cdot )} \).
By S we denote the singular integral
where \(\Gamma\subset C\) is some piecewise Hölder curve on C. Define the weight class \(L_{p (\cdot ),\rho (\cdot )} \):
furnished with a norm \(\Vert f\Vert _{p (\cdot ),\rho (\cdot )} \stackrel{\mathrm{def}}{\equiv} \Vert \rho f \Vert _{p (\cdot )} \). The validity of the following statement is established in [16].
Statement 2
Let \(p\in WL \), \(1< p^{-} \). Then the singular operator S is acting boundedly from \(L_{p (\cdot ),\rho (\cdot )} \) to \(L_{p (\cdot ),\rho (\cdot )} \) if and only if
Define the generalized weighted Hardy classes \(H_{p (\cdot ),\rho}^{\pm} \). By \(H_{p_{0} }^{+} \) we denote the usual Hardy class, where \(p_{0} \in [1,+\infty )\) is some number. Define \(H_{p(\cdot),\rho}^{\pm} \equiv \{f\in H_{1}^{+} :f^{+} \in L_{p(\cdot),\rho} (\partial\omega) \}\), where \(\omega= \{z\in C: \vert z\vert <1 \}\) and \(f^{+} \) are non-tangential boundary values on ∂ω of f.
We will need the following theorem from [20].
Theorem 1
Let \(p\in WL\), \(p^{-} >1\), and let the inequalities (1) be satisfied. Then, if \(F\in H_{p(\cdot),\rho}^{+} \), then \(F^{+}\in L_{p(\cdot),\rho} \):
where \(K_{z} (t)\equiv \frac{1}{1-ze^{-it} }\) is a Cauchy kernel. Vice versa, if \(F^{+}\in L_{p(\cdot),\rho} \), then the function F, defined by (2), belongs to the class \(H_{p(\cdot),\rho}^{+} \), where \(F^{+}\) are non-tangential boundary values of \(F (\cdot )\) on ∂ω.
The weighted Hardy class \({}_{m} H_{p(\cdot),\rho}^{-} \) of functions which are analytic in \(C\backslash\bar{\omega}\) (\(\bar{\omega }=\omega\cup\partial\omega\)) with their orders \(m_{0} \le m\) at infinity is defined similarly to the classical one. Let \(f (z )\) be the analytic function in \(C\backslash\bar{\omega} \) of finite order \(m_{0} \le m\) at infinity, i.e.
where \(f_{1} (\cdot )\) is a polynomial of degree \(m_{0} \le m\) (\(f_{1} (z)\equiv0\) for \(m_{0} <0\)), \(f_{2} (\cdot )\) is a regular part of Laurent series expansion of \(f (\cdot )\) in the neighborhood of an infinitely remote point. If the function \(\varphi (z)\equiv\overline{f_{2} (\frac{1}{\bar{z}} )}\) belongs to the class \(H_{p(\cdot),\rho}^{+} \), then we will say that the function \(f (\cdot )\) belongs to the class \({}_{m} H_{p(\cdot),\rho}^{-} \).
The validity of the following theorem is proved just like in the classical case (see e.g. [20–22]).
Theorem 2
Let \(p\in WL\), \(p^{-} >1\), and let the inequalities (1) be satisfied. If \(f\in H_{p(\cdot ),\rho}^{+} \), then
where \(f^{+} \) are non-tangential boundary values on ∂ω of f.
A similar result also holds in class \({}_{m} H_{p(\cdot),\rho}^{-} \) (see e.g. [20–22]).
Theorem 3
Let \(p\in WL\), \(p^{-} >1\), and let the inequalities (1) be satisfied. If \(f\in{}_{m} H_{p(\cdot),\rho}^{-} \), then
where \(f^{-} \) are non-tangential boundary values on ∂ω of f from the outside of ω.
Let us show the validity an analog of the classical theorem of Smirnov.
Theorem 4
Let \(p\in WL\), \(p^{-} >1\), and let the inequalities (1) be satisfied. If \(u\in H_{1}^{+} \) and \(u^{+} \in L_{p(\cdot),\rho} \), then \(u\in H_{p(\cdot),\rho }^{+} \).
Indeed, assume that \(p\in WL\), \(p^{-} >1\), and let the inequality (1) be fulfilled. Let \(u\in H_{1}^{+} \) and \(u^{+} \in L_{p(\cdot),\rho} \), where \(u^{+} \) is s non-tangential boundary value on ∂ω of u. Then it is well known that (see e.g. [21])
Then by Theorem 1 we obtain \(u\in H_{p(\cdot),\rho}^{+} \).
In obtaining main results we will essentially use the following results from [22] on the solvability of the Riemann problem in generalized weighted Hardy classes. Consider the following non-homogeneous Riemann problem in the \(H_{p(\cdot),\rho}^{+} \times{}_{m} H_{p(\cdot),\rho}^{-} \) classes:
where \(f\in L_{p(\cdot),\rho} \) is some function. By the solution of problem (3) we mean a pair of analytic functions \((F^{+} (z);F^{-} (z))\in H_{p(\cdot),\rho}^{+} \times{}_{m} H_{p(\cdot),\rho}^{-} \) boundary values of which satisfy equation (3) almost everywhere on ∂ω.
We will suppose that the coefficient \(G(\tau)\) satisfies the following conditions:
-
(1)
\(G^{\pm} \in L_{\infty} (\partial\omega)\);
-
(2)
\(\theta(t)\equiv\arg G(e^{it} )\) is a piecewise Hölder function on \([-\pi,\pi ]\).
Let \(\{s_{k} \}_{1}^{r} \): \(-\pi< s_{1} <\cdots<s_{r} <\pi\) be the points of discontinuity of the function \(\theta(t)\) and
be the corresponding jumps of this function at these points. Let us represent the function \(\theta(\cdot)\) in the following form:
where \(\theta_{0} (\cdot)\) is a continuous part, and \(\theta_{1} (\cdot)\) is a jump function defined by the expression
Assume
Denote by \(\{t_{k} \}_{0}^{l} \): \(\{t_{k} \} _{0}^{l} \equiv \{\tau_{k} \}_{0}^{m} \cup \{s_{k} \}_{0}^{r} \) the union of sets \(\{\tau_{k} \}_{0}^{m} \) and \(\{s_{k} \}_{0}^{r} \).
Denote by \(Z(z)\) the canonical solution of homogeneous problem
which is defined by the expressions
where
and the functions \(X_{k} (z)\) are defined by the following integrals with Schwartz kernel:
Assume
The following theorem is established in [20, 22].
Theorem 5
Let \(p\in WL\), \(p^{-} >1\), and the inequalities (1) be fulfilled. If the inequalities
are true, then the general solution of the Riemann problem (3) in classes \(H_{p (\cdot ), \rho}^{+} \times{}_{m} H_{p (\cdot ), \rho}^{-} \) can be represented in the following form:
where \(Z (\cdot )\) is the canonical solution of homogeneous problem, \(F_{1} (\cdot )\) is the particular solution of non-homogeneous problem (3) defined by
\(P_{m_{0} } (\cdot )\) is a polynomial of order \(m_{0} \le m\).
In particular, from this theorem we obtain the following.
Corollary 1
Let all the conditions of Theorem 5 be fulfilled. Then the non-homogeneous Riemann problem (3) is uniquely solvable in classes \(H_{p(\cdot),\rho }^{+} \times{}_{-1} H_{p(\cdot),\rho}^{-} \) for \(\forall f\in L_{p(\cdot),\rho} \), and this solution can be represented in the form
where \(Z (z )\) is the canonical solution of the corresponding homogeneous problem.
Indeed, in this case \(m=-1\) and therefore \(P_{m_{0}} (\cdot )\equiv0\). So, \(F_{1} (\infty )=0\), then it is clear that \(F_{1} (\cdot ) \in{}_{-1}H^{-}_{p(\cdot),\rho}\), and, as a result, as follows from Theorem 5, \(F (z )\equiv F_{1} (z )\) is a unique solution of the problem (3).
3 Main results
Consider the following system of exponents:
where
\(\alpha,\beta\in R\) are real parameters.
We will study the basicity of the system (4) in \(L_{p(\cdot),\rho} \) with respect to the parameters α and β.
Denote \(\gamma_{1} =2\alpha+\frac{2\beta}{\pi} \); \(\gamma_{2} =-\frac{2\beta}{\pi} \). Consider the following systems:
where
are the binomial coefficients. The following lemma is true (see e.g. [2, 17]).
Lemma 1
Let, with respect to the parameters \(\alpha, \beta\in R\), the following inequalities be fulfilled:
Then the following relations hold:
Let us establish the validity of the following lemma.
Lemma 2
Let \(p\in WL\) and \(p^{-} >1\). If the following inequalities:
are fulfilled, then the system of exponents \(\{e_{n} \}_{n\in Z} \) is minimal in \(L_{p (\cdot ),\rho} \).
Proof
Let us determine the conditions under which the inclusions \(\{x_{n}^{\pm} \}\subset L_{p(\cdot),\rho} \) and \(\{h_{n}^{\pm} \} \subset L_{q (\cdot ),\rho^{-1} } \) are true. It is clear that if \(\rho ^{p (\cdot )} (\cdot )\in L_{1} \), then \(\{ x_{n}^{\pm} \}\subset L_{p(\cdot),\rho} \). From Statement 1 it follows that under fulfilling the inequalities
the inclusion \(\rho\in L_{p(\cdot)} \) is true. Consider the inclusion \(\{h_{n}^{\pm} \} \subset L_{q (\cdot ),\rho^{-1} } \). We have
It is clear that if \(\vert \rho_{0} (x )\vert ^{q (x )} \in L_{1} \), then \(\{h_{n}^{\pm} \} \subset L_{q (\cdot ),\rho^{-1} } \), where
Taking into account the relations
we get
where the expression \(f\sim g\) on \([-\pi,\pi ]\) means that \(\exists \delta>0 \):
Thus
where
If \(\rho\in L_{p (\cdot )} \), i.e. if the inequalities
are fulfilled, it is absolutely clear that the inclusion \(\{ x_{k}^{\pm} \}\subset L_{p (\cdot ),\rho} \) is true. Let us find the conditions under which the system \(\{h_{n}^{\pm} \}\) belongs to \(L_{q (\cdot ),\rho^{-1} } \). From the representation for \(\{h_{n}^{\pm} \}\) it directly follows that if \(\omega (\cdot )\in L_{q (\cdot ),\rho ^{-1} } \), then \(\{h_{n}^{\pm} \}\subset L_{q (\cdot ),\rho^{-1} } \), where
We have
Consequently
It is clear that \(\omega\in L_{q (\cdot ),\rho^{-1} } \) if and only if \(\omega\rho^{-1} \in L_{q (\cdot )} \). The product ωρ has the representation
Drawing attention to Statement 1, we see that if the inequalities
are fulfilled, then \(\omega\rho^{-1} \in L_{q (\cdot )} \), and as a result, we obtain \(\{h_{n}^{\pm} \}\subset L_{q (\cdot ),\rho^{-1} } \).
Consider the functionals
We have
From this relation it follows directly that if the inclusion \(\{ h_{n}^{\pm} \}\subset L_{q (\cdot ),\rho^{-1} } \) is true, then \(\{H_{n}^{\pm} \}\subset (L_{p (\cdot ),\rho} )^{*} \). Taking into account Lemma 1 we get the validity of the lemma. □
The following main theorem is true.
Theorem 6
Let \(p\in WL\), \(p^{-} >1\) and the following inequalities be satisfied:
Then the system \(\{e_{n} \}_{n\in Z} \) forms a basis for \(L_{p (\cdot ),\rho} \).
Proof
In establishing of basis properties of the system (4) in \(L_{p(\cdot),\rho} \), we will apply the method of boundary value problems, namely, we will consider the following Riemann problem:
where \(g(\cdot)\) is some Hölder function on ∂ω. We will solve this problem by the method developed in [23]. Here we need some auxiliary functions. Let
be branches of multi-valued analytic functions
which are analytic on the cut along the negative (positive) part of the real axis of the complex plane, respectively. Define
Thus, a particular solution of the problem (8) has the form
If the inequality \(\vert \gamma_{i} \vert <1\), \(i=1,2\), is fulfilled, from the representation of the function \(F_{0}^{\pm} (z )\) it directly follows that \(F_{0}^{+} \in H_{1}^{+} \); \(F_{0}^{-} \in{}_{-1} H_{1}^{-} \). From the known relations [21]
it follows that
where
is a Taylor expansion of the function \(F_{0}^{+} (z )\) (\(F_{0}^{+} (z )\)) in the neighborhood of zero (an infinitely remote point).
Let us consider the basicity of system \(\{e_{n} \}_{n\in Z} \) in \(L_{p (\cdot ),\rho} \). Let \(g\in L_{p (\cdot ),\rho} \) be an arbitrary function. Let us apply Theorem 5 to the non-homogeneous Riemann problem (8). Paying attention to Corollary 1, we see that if the inequalities
are fulfilled, then the problem (8) has a unique solution of the form (9) in classes \(H_{p (\cdot),\rho}^{+} \times{}_{-1} H_{p (\cdot ),\rho}^{-} \). Expanding the function \(F_{0}^{+} (z ) \bigl(F_{0}^{-} (z ) \bigr)\) in a Taylor series at the point \(z=0\) (at the point \(z=\infty\)) we have
Let \(F_{0}^{\pm} (\tau )\) be boundary values on ∂ω of \(F_{0}^{\pm} (z )\). It is obvious that \(F_{0}^{+} \in L_{p (\cdot ),\rho}^{+} \) (\(F_{0}^{-} \in{}_{-1} L_{p (\cdot ),\rho}^{-}\)), where \(L_{p (\cdot ),\rho}^{+}\) (\({}_{-1} L_{p (\cdot ),\rho}^{-}\)) is the restriction of class \(H_{p (\cdot ),\rho}^{+}\) (\({}_{-1} H_{p (\cdot ),\rho}^{-}\)) on ∂ω. Assume that the following inequalities are true:
According to the results of [17], the system \(\{e^{int} \} _{0}^{\infty} \) (\(\{e^{-int} \}_{1}^{\infty}\)) forms a basis for \(L_{p (\cdot ),\rho}^{+} \) (for \({}_{-1} L_{p (\cdot ),\rho}^{-}\)). Expanding the functions \(F_{0}^{\pm} (\tau )\) in these systems we have
From equations (10) it follows that
Substituting these expansions into (8) we see that the function g can be expanded in a series in \(L_{p (\cdot ),\rho} \) with respect to the system \(\{e_{n} \}_{n\in Z} \). Lemma 2 implies that such an expansion is unique. So, we have proved the theorem. □
Let us consider some special cases of this theorem.
Corollary 2
Let \(p\in WL\), \(p^{-} >1\) and \(\alpha_{k} =0\), \(k=\overline{2,m-1}\); \(\beta=0\). If the following inequalities:
hold, then the system of exponents \(\{e^{i (n+\alpha \operatorname{sign} n )t} \}_{n\in Z} \) forms a basis for \(L_{p (\cdot ),\rho} \).
Consider a more complicated case.
Corollary 3
Let \(p\in WL\), \(p^{-} >1\) and \(\alpha_{k} =0\), \(k=\overline{2,m-1}\); \(\alpha=0\). If the inequalities
are fulfilled, then the system of exponents \(\{e^{i (nt+\beta \operatorname{sign} t \operatorname{sign} n )} \}_{n\in Z} \) forms a basis for \(L_{p (\cdot ),\rho} \).
References
Paley, R, Fourier, WN: Transforms in the Complex Domain. Amer. Math. Soc. Colloq. Publ., vol. 19. Am. Math. Soc., Providence (1934)
Bilalov, BT: Basicity of some systems of exponents, cosines and sines. Differ. Uravn. 26(1), 10-16 (1990)
Bilalov, BT: On basicity of systems of exponents, cosines and sines in \(L_{p} \). Dokl. Ross. Akad. Nauk 365(1), 7-8 (1999)
Bilalov, BT: On basicity of some systems of exponents, cosines and sines in \(L_{p} \). Dokl. Ross. Akad. Nauk 379(2), 7-9 (2001)
Bilalov, BT: Bases of exponents, cosines and sines which are eigenfunctions of differential operators. Differ. Uravn. 39(5), 1-5 (2003)
Young, RM: An Introduction to Nonharmonic Fourier Series. Springer, Berlin (1980)
Christensen, O: An Introduction to Frames and Riesz Bases. Birkhäuser Boston, Boston (2003)
Sedletskii, AM: Classes of Analytic Fourier Transforms and Exponential Approximations. Fizmatlit, Moscow (2005)
Duffin, RJ, Schaeffer, AC: A class of no harmonic Fourier series. Trans. Am. Math. Soc. 72(341), 341-366 (1952)
Heil, C: A Basis Theory Primer. Springer, Berlin (2011)
Kovacik, O, Rakosnik, J: On spaces \(L^{p (\cdot )} \) and \(W^{k,p (\cdot )} \). Czechoslov. Math. J. 41(116), 592-618 (1991)
Fan, X, Zhao, D: On the spaces \(L^{p (x )} (\Omega )\) and \(W^{m,p (\cdot )} (\Omega )\). J. Math. Anal. Appl. 263, 424-446 (2001)
Kokilashvili, V, Paatashvili, V: On Hardy classes of analytic functions with a variable exponent. Proc. A. Razmadze Math. Inst. 142, 134-137 (2006)
Sharapudinov, II: Some problems in approximation theory in the spaces \(L^{p ( x )} ({E} )\). Anal. Math. 33(2), 135-153 (2007)
Kokilashvili, V, Samko, S: Singular integrals in weighted Lebesgue spaces with variable exponent. Georgian Math. J. 10(1), 145-156 (2003)
Cruz-Uribe, DV, Fiorenza, A: Variable Lebesgue Spaces: Foundations and Harmonic Analysis. Springer, Berlin (2013)
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)
Bilalov, BT, Guseynov, ZG: Basicity criterion for perturbed systems of exponents in Lebesgue spaces with variable summability. Dokl. Ross. Akad. Nauk 436(5), 586-589 (2011)
Bilalov, BT, Guseynov, ZG: Bases from exponents in Lebesgue spaces of functions with variable summability exponent. Trans. NAS Azerb. 27(1), 43-48 (2008)
Ismayilov, NA, Bases, NNP: Of exponents in weighted Hardy classes. Int. J. Math. Sci. Eng. Appl. 7(3), 101-109 (2013)
Danilyuk, II: Irregular Boundary Value Problems in the Plane. Nauka, Moscow (1975)
Najafov, TI, Nasibova, NP: On the Noetherness of the Riemann problem in a generalized weighted Hardy classes. Azerb. J. Math. 5(2), 109-124 (2015)
Gakhov, FD: Boundary Value Problems. Nauka, Moscow (1977)
Acknowledgements
This work was supported by the Science Development Foundation under the President of the Republic of Azerbaijan - Grant No. EIF/GAM-3-2014-6(21)-24/03/1. 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
All 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
Najafov, T., Nasibova, N. & Mamedova, Z. Bases of exponents with a piecewise linear phase in generalized weighted Lebesgue space. J Inequal Appl 2016, 92 (2016). https://doi.org/10.1186/s13660-016-1027-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1027-y