Abstract
We establish characterizations of both boundedness and of compactness of a general class of fractional integral operators involving the Riemann-Liouville, Hadamard, and Erdelyi-Kober operators. In particular, these results imply new results in the theory of Hardy type inequalities. As applications both new and well-known results are pointed out.
Similar content being viewed by others
1 Introduction
Let \(I=(a,b)\), \(0\leq a < b\leq\infty\). Let v and u be almost everywhere positive functions, which are locally integrable on the interval I.
Let \(0< p<\infty\) and \(\frac{1}{p}+\frac{1}{p'}=1\). Denote by \(L_{p,v}\equiv L_{p}(v,I)\) the set of all functions f measurable on I such that \(\|f\|_{p,v}:= (\int_{a}^{b}|f(x)|^{p}v(x)\,dx )^{\frac{1}{p}}<\infty\).
Let W be a non-negative, strictly increasing and locally absolutely continuous function on I. Suppose that \(\frac{dW(x)}{dx}=w(x)\), a.e. \(x\in I\).
We consider the Hardy type operator \(T_{\alpha,\beta}\) defined by
When \(u\equiv1\) and \(\beta=0\) the operator \(T_{\alpha,\beta}\) is called the fractional integral operator of a function f with respect to a function W ([1], p.248). When \(u\equiv1\) and \(W(x)=x\) the operator (1.1) becomes the Riemann-Liouville operator \(I_{\alpha}\) defined by
When \(u\equiv1\) and \(W(x)\equiv \ln\frac{x}{a}\), \(a>0\), this operator is the Hadamard operator \(\mathcal{H}_{\alpha}\) defined by
Moreover, when \(u\equiv1\) and \(W(x)=x^{\sigma}\), \(\sigma>0\), we get the operator \(E_{\alpha, \beta}\) of Erdelyi-Kober type ([1], p.246) defined by
There are a lot of works devoted to the mapping properties of the Riemann-Liouville operator \(I_{\alpha}\). Two-weighted estimates of the operator \(I_{\alpha}\) of the order \(\alpha>1\) in weighted Lebesgue spaces were first obtained in the papers [2] and [3]. The singular case \(0<\alpha<1\) was studied with different restrictions in [4–9] and some others. The most general results among them are given in [5] and [9] under the assumption that one of the weight functions is increasing or decreasing.
In this work we investigate the problems of boundedness and compactness of the operator \(T_{\alpha,\beta}\) defined by (1.1) from \(L_{p,w}\) to \(L_{q,v}\) when \(0<\alpha<1\). When \(\alpha>1\) the results follow from the results in [10].
The operator \(T_{\alpha,\beta}\) was studied in [11] and [12] when \(u\equiv1\), \(\beta=0\) and \(u\equiv1\), \(\beta>-\frac{1}{p'}\), respectively.
Due to the non-negativity and monotone increase of the function W the limit \(\lim_{x\rightarrow a^{+}}W(x)\equiv W(a)\geq0\) exists.
We also consider the Hardy type operator \(T_{\alpha, \beta}^{0}\) defined by
where \(W_{0}(x)=W(x)-W(a)\).
Since we also suppose that \(\beta\geq0\), for \(f\geq0\) we have \(T_{\alpha, \beta}f(x)\approx T_{\alpha, \beta}^{0}f(x)+W(a)T_{\alpha, 0}^{0}f(x)\), where the equivalence constants do not depend on x and f. Therefore, without loss of generality, we can assume that \(W(a)=0\). For short writing we denote by \(\|K\|\) the norm of a linear operator K acting from one normalized space to another, since from the context we shall in each case clearly see which spaces the operator is acting between.
The paper is organized as follows: In order not to disturb our discussions later on some auxiliary statements are given in Section 2. The main results concerning the boundedness of operator \(T_{\alpha, \beta}\), including the corresponding Hardy type inequalities, can be found in Section 3. The main results about the compactness are presented in Section 4. Moreover, in Section 5 some similar results for the dual operator \(T_{\alpha, \beta}^{0}\) are given. Finally, Section 6 is reserved for some applications (both new and well-known results).
Conventions
The indeterminate form \(0\cdot\infty\) is assumed to be zero. The relations \(A\ll B\) and \(A\gg B\), respectively, mean \(A\leq cB\) and \(A\geq cB\), where a positive constant c can be dependent only on the parameters p, q, α and β. The relation \(A\approx B\) is interpreted as \(A\ll B \ll A\). The set of all integers is denoted by Z. Moreover, \(\chi_{(c,a)}(\cdot)\) is the characteristic function of the interval \((c,a)\subset I\).
2 Auxiliary statements
To prove the main results we shall need some auxiliary results from the standard literature on Hardy type inequalities (see [13] and [14]).
Together with the operator (1.1) we consider the Hardy type operator \(H_{\alpha , \beta}\) defined by
It is easy to see that for \(f\geq0\) we have
The problem of boundedness of operators of the form (2.1) in weighted Lebesgue spaces have been very well studied. The history and development of Hardy type inequalities with relevant references can be found in [13].
In view of [15] the following statements are consequences of Theorem 5 of [13].
Lemma 2.1
Let \(1< p\leq q<\infty\) and let the operator \(H_{\alpha, \beta}\) be defined by (2.1). Then the inequality
holds if and only if
Moreover, \(C \approx A_{\alpha, \beta}\).
Lemma 2.2
Let \(0< q< p<\infty\), \(p>1\) and let the operator \(H_{\alpha, \beta}\) be defined by (2.1). Then the inequality (2.3) holds if and only if
Moreover, \(C\approx B_{\alpha, \beta}\).
Remark 2.3
In the case \(1< q< p<\infty\), \(p>1\) it is well known and easy to prove that the value \(B_{\alpha,\beta}\) is equivalent to the value
3 Boundedness of the operator \(T_{\alpha, \beta}\)
The main results in this section read as follows.
Theorem 3.1
Let \(0<\alpha<1\), \(1< p\leq q<\infty\) and \(\beta\geq0\). Let u be a non-increasing function on I. Then the operator \(T_{\alpha, \beta}\) defined by (1.1) is bounded from \(L_{p,w}\) to \(L_{q,v}\) if and only if \(A_{\alpha, \beta}<\infty\). Moreover, \(\|T_{\alpha, \beta}\|\approx A_{\alpha, \beta}\).
Theorem 3.2
Let \(0<\alpha<1\), \(0< q< p<\infty\), \(p>\frac{1}{\alpha}\) and \(\beta\geq0\). Let u be a non-increasing function on I. Then the operator \(T_{\alpha, \beta}\) is bounded from \(L_{p,w}\) to \(L_{q,v}\) if and only if \(B_{\alpha, \beta}<\infty\). Moreover, \(\|T_{\alpha, \beta}\|\approx B_{\alpha, \beta}\).
These two theorems can be reformulated as the following new information in the theory of Hardy type inequalities.
Theorem 3.3
Let \(0<\alpha<1\), \(\beta\geq0\) and u be a non-increasing function on I. Then the inequality
holds if and only if
-
(a)
\(A_{\alpha, \beta}<\infty\) for the case \(1< p\leq q<\infty\),
-
(b)
\(B_{\alpha, \beta}<\infty\) for the case \(0< q< p<\infty\), \(p>\frac {1}{\alpha}\).
Moreover, for the best constant C in (3.1) it yields \(C\approx A_{\alpha, \beta}\) in case (a) and \(C\approx B_{\alpha, \beta}\) in case (b).
Proof of Theorem 3.1
Necessity. Let the operator \(T_{\alpha, \beta}\) be bounded from \(L_{p,w}\) to \(L_{q,v}\). Then, in view of (2.2), the operator \(H_{\alpha, \beta}\) is bounded from \(L_{p,w}\) to \(L_{q,v}\), and \(\|T_{\alpha, \beta}\|\geq\|H_{\alpha, \beta}\|\). Consequently, by Lemma 2.1 we have \(A_{\alpha, \beta}<\infty\) and
Sufficiency. Since the function W is continuous and strictly increasing on I and \(W(a)=0\), for any \(k\in Z\) we can define \(x_{k}:= \sup \{x: W(x)\leq2^{k}, x\in I \}\). We obtain a sequence of points \(\{x_{k} \}_{k>-\infty}\) such that \(0< x_{k}\leq x_{k+1}\), \(\forall k\in Z\), and if \(x_{k}< b\), then \(W(x_{k})=2^{k}\), \(2^{k}\leq W(x)\leq2^{k+1}\) for \(x_{k}\leq x \leq x_{k+1}\), \(\int_{x_{k-1}}^{x_{k}}w(s)\,ds=2^{k-1}\), and if \(x_{k+1}=b\), then \(\int_{x_{k}}^{x_{k+1}}w(s)\,ds\leq2^{k}\). These facts will be used below without reminders. We assume that \(I_{k}=[x_{k}, x_{k+1})\), \(k\in Z\), \(Z_{0}=\{k: k\in Z, I_{k}\neq\emptyset\}\). Then \(Z_{0}\subseteq Z\) and \(I=\bigcup_{k\in Z}I_{k}=\bigcup_{k\in Z_{0}}I_{k}\). Since \(I_{k}=\emptyset\), \(\forall k\in Z\setminus Z_{0}\), and integrals over these intervals are equal to zero, in the sequel, without loss of generality, we can suppose that \(Z=Z_{0}\).
Let \(A_{\alpha, \beta}<\infty\). We need to prove that the inequality
holds, which means \(\|T_{\alpha, \beta}\|\ll A_{\alpha, \beta}\) and, together with (3.2), this gives
Let \(f\geq0\). Using the relation \(I=\bigcup_{k}I_{k}\), we have
We now estimate \(J_{1}\) and \(J_{2}\) separately. Using the monotonicity of W we find that
Hence, by Lemma 2.1 we get
Moreover, by using Hölder’s inequality and the fact that the function u is increasing, we obtain
A change of variables \(W(s)=W(x)t\) in the last integral, implies that
Since \(\beta\geq0\), \(\alpha>\frac{1}{p}\), the Euler beta function \(\int_{0} ^{1}t^{p'\beta}(1-t)^{p'(\alpha-1)}\,dt\) converges. Consequently, from (3.6) and (3.7) it follows that
By combining (3.4), (3.5) and (3.8) we obtain (3.3). The proof is complete. □
Proof of Theorem 3.2
Necessity. Similarly to the proof of Theorem 3.1 and the estimate
it follows from (2.2) and Lemma 2.2.
Sufficiency. Let \(B_{\alpha, \beta}<\infty\). If we show that \(\| T_{\alpha, \beta}\|\ll B_{\alpha, \beta}\), then this fact and (3.9) imply that \(\|T_{\alpha, \beta}\|\approx B_{\alpha, \beta}\). Next, we use relation (3.4). For the estimate \(J_{1}\) we have obtained \(J_{1}\ll\|H_{\alpha, \beta }f\|^{q}_{q,v}\). Hence, by Lemma 2.2 we obtain
Moreover, from Theorem 3.1, obvious estimates and Hölder’s inequality it follows that
where
To estimate \(J_{21}\) we use the relation
Then
By substitution of (3.12) in (3.11) we obtain
Now, by combining (3.4), (3.10) and (3.13) we obtain
Consequently, \(\|T_{\alpha,\beta}\|_{q,v}\ll B_{\alpha,\beta}\). The proof is complete. □
4 Compactness of the operator \(T_{\alpha,\beta}\)
The main results in this section read as follows.
Theorem 4.1
Let \(0<\alpha<1\), \(\frac{1}{\alpha}< p\leq q<\infty\) and \(\beta\geq0\). Let u be a non-increasing function on I. Then the operator \(T_{\alpha,\beta}\) is compact from \(L_{p,w}\) to \(L_{q,v}\) if and only if \(A_{\alpha, \beta}<\infty\) and
where
Theorem 4.2
Let \(0<\alpha<1\), \(p>{\frac{1}{ \alpha}}\) and \(\beta\geq0\). Let u be a non-increasing function on I. If \(b<\infty\) and \(0< q<p<\infty\) or \(b=\infty\) and \(1< q<p<\infty \), then the operator \(T_{\alpha,\beta}\) is compact from \(L_{p,w}\) to \(L_{q,v}\) if and only if \(B_{\alpha,\beta}<\infty\).
Proof of Theorem 4.1
Necessity. Let the operator \(T_{\alpha,\beta}\) be compact from \(L_{p,w}\) to \(L_{q,v}\). Then it is bounded and consequently, by Theorem 3.1, we have \(A_{\alpha, \beta}<\infty\). First we need to show that \(\lim_{z\rightarrow a^{+}}A_{\alpha, \beta }(z)=0\). Consider the family of functions \(\{f_{t}\}_{t\in I}\), where
We note that
Next we show that the family of functions \(\{f_{t}\}_{t\in I}\) defined by (4.1) converges weakly to zero in \(L_{p,w}\). Let \(g\in L_{p',w^{1-p'}}= (L_{p,w} )^{*}\). Then, by Hölder’s inequality and (4.2), we find that
Since \(g\in L_{p',w^{1-p'}}\), the last integral in (4.3) converges to zero as \(t\rightarrow a^{+}\), which means weak convergence of the family of functions \(\{f_{t}\}\) to zero as \(t\rightarrow a^{+}\). Therefore, from the compactness of the operator \(T_{\alpha,\beta}\) from \(L_{p,w}\) to \(L_{q,v}\) it follows that
Moreover,
From (4.4) and (4.5) it follows that \(\lim_{t\rightarrow a^{+}}A_{\alpha, \beta}(t)=0\).
Now, we show that \(\lim_{t\rightarrow b^{-}}A_{\alpha, \beta}(t)=0\).
From the compactness of the operator \(T_{\alpha,\beta}\) from \(L_{p,w}\) to \(L_{q,v}\) compactness of the conjugate operator follows:
from \(L_{q',v^{1-q'}}\) to \(L_{p',w^{1-p'}}\).
For \(t\in I\) we introduce the family \(\{g_{t}\}_{t\in I}\) of functions:
The family \(\{g_{t}\}_{t\in I}\) of functions defined by (4.6) is correctly defined, since due to condition \(A_{\alpha, \beta }<\infty\) the involving integrals are finite. We show that for all \(t\in I\) the functions \(g_{t}\in L_{q',v^{1-q'}}\) converge weakly to zero as \(t\rightarrow b^{-}\).
Indeed,
By using (4.7) with \(f\in L_{q,v}= (L_{q',v^{1-q'}} )^{*}\) we obtain
Since \(f\in L_{q,v}\), the last integral tends to zero as \(t\rightarrow b^{-}\), which gives the weak convergence to zero of \(\{g_{t}\}_{t \in I}\) in \(L_{q',v^{1-q'}}\) as \(t\rightarrow b^{-}\). By compactness of \(T_{\alpha,\beta}^{*}: L_{q',v^{1-q'}} \rightarrow L_{p',w^{1-p'}}\) it follows that
Furthermore, we note that
Hence, according to (4.8) we have \(\lim_{s\rightarrow b^{-}}A_{\alpha,\beta}(s)=0\). The proof of the necessity is complete.
Sufficiency. For \(a< c< d< b\) we define
Then
and since \(P_{c}T_{\alpha, \beta}P_{cd}\equiv0\), \(P_{c}T_{\alpha, \beta}Q_{d}\equiv0\), \(P_{cd}T_{\alpha, \beta}Q_{d}\equiv0\), we have
We show that the operator \(P_{cd}T_{\alpha, \beta}P_{cd}\) is compact from \(L_{p,w}\) to \(L_{q,v}\). Since \(P_{cd}T_{\alpha, \beta}P_{cd}f(x)=0\) for \(x\in I\setminus(c,d)\), it is enough to show that the operator \(P_{cd}T_{\alpha, \beta }P_{cd}\) is compact from \(L_{p,w}(c,d)\) to \(L_{q,v}(c,d)\). This, in turn, is equivalent to compactness of the operator
from \(L_{p}(c,d)\) to \(L_{q}(c,d)\) with the kernel
Let \(\{x_{k}\}_{k\in\mathbb{Z}}\) be the sequence of points defined in the proof of Theorem 3.1. There are points \(x_{i}\), \(x_{n+1}\), \(x_{i}< x_{n+1}\) such that \(x_{i}\leq c< x_{i+1}\), \(x_{n}< d\leq x_{n+1}\). We assume that the numbers c, d are chosen so that \(x_{i+1}< x_{n}\). Similarly to obtaining estimates of \(J_{1}\) and \(J_{2}\) in Theorem 3.1, we have
where the constant μ does not depend on i, n.
Therefore, on the basis of the Kantarovich condition ([16], p.420), the operator T is compact from \(L_{p}(c,d)\) to \(L_{q}(c,d)\), which is equivalent to compactness of the operator \(P_{cd}T_{\alpha, \beta}P_{cd}\) from \(L_{p,w}\) to \(L_{q,v}\).
From (4.9) it follows that
We will show that the right-hand side of (4.10) tends to zero at \(c\rightarrow a\) and \(d\rightarrow b\). Then the operator \(T_{\alpha ,\beta}\) as the uniform limit of compact operators is compact from \(L_{p,w}\) to \(L_{q,v}\).
By using Theorem 3.1 we find that
Consequently, \(\|P_{c}T_{\alpha, \beta}P_{c}\|\ll\sup_{a< z< c}A_{\alpha, \beta}(z)\). Hence,
To estimate \(\|P_{cd}T_{\alpha, \beta}P_{c}\|\) we assume that \(v_{\varepsilon}(x)=v(x)\) for \(x\in(c,d]\) and \(v_{\varepsilon }(x)=\varepsilon^{q} v(x)\) for \(x\in(a,c]\), \(u_{\varepsilon }(s)=u(s)\) for \(s\in(a,c]\) and \(u_{\varepsilon}(s)=\varepsilon u(s)\) for \(s\in(c,d]\), where \(1>\varepsilon>0\). Obviously, the function \(u_{\varepsilon}\) is non-increasing on I. Then, according to Theorem 3.1, we obtain
where
We estimate the expression \(A_{\alpha,\beta}^{\varepsilon}\) from the above as follows:
Since the left side of (4.12) does not depend on \(\varepsilon >0\), substituting (4.13) in (4.12) and letting \(\varepsilon\rightarrow0\), we get
Therefore \(\|P_{cd}T_{\alpha,\beta}P_{c}\|\ll A_{\alpha,\beta}(c)\) and we conclude that
Next, arguing as above we find that
Consequently,
From (4.11), (4.14) and (4.15) it follows that the right-hand side of (4.10) tends to zero as \(c\rightarrow a^{+}\) and \(d\rightarrow b^{-}\). The proof is complete. □
Proof of Theorem 4.2
In the case \(b<\infty\) and \(0< q<p<\infty\) the statement of Theorem 4.2 follows from the Ando theorem and its generalizations [17]. Therefore, we only need to prove Theorem 4.2 in the case \(a=0\), \(b=\infty\) and \(1< q<p<\infty\).
Necessity. Let the operator \(T_{\alpha,\beta}\) be compact from \(L_{p,w}\) to \(L_{q,v}\). Then the operator is bounded. Hence, by Theorem 3.2, \(B_{\alpha,\beta}<\infty\).
Sufficiency. Let \(B_{\alpha,\beta}<\infty\). Here \(T_{\alpha,\beta }f=P_{d}T_{\alpha,\beta}P_{d}f+Q_{d}T_{\alpha,\beta}f\). Therefore
Since \(d<\infty\), the operator \(P_{d}T_{\alpha,\beta}P_{d}\) is compact from \(L_{p,w}(0, d)\) to \(L_{q,v}(0, d)\), which is equivalent to its compactness from \(L_{p,w}\) to \(L_{q,v}\). We show that the right-hand side of (4.16) tends to zero as \(d\rightarrow\infty\). Then the operator \(T_{\alpha,\beta}\) is compact from \(L_{p,w}\) to \(L_{q,v}\) as the uniform limit of compact operators.
Let \(1>\varepsilon>0\). To estimate \(\|Q_{d}T_{\alpha,\beta}f\|\) we suppose that \(v_{\varepsilon}(x)=v(x)\) for \(x\in[d,\infty)\) and \(v_{\varepsilon}(x)=\varepsilon^{q}v(x)\) for \(x\in(0, d)\). Using the relations \(B_{\alpha,\beta}\approx \widetilde{B}_{\alpha,\beta}\) (see Remark 2.3), in view of Theorem 3.2, we have
or
where
Passing to the limit \(\varepsilon\rightarrow0^{+}\), from (4.17) it follows that
Hence,
Obviously, (4.18) implies that the right-hand side of (4.16) tends to zero as \(d\rightarrow\infty\). The proof is complete. □
5 Some dual results
Here we consider the dual operator \(K^{*}_{\alpha,\beta}\) defined by
and its mapping properties from \(L_{p,v}\) to \(L_{q,w}\).
We define
Our first main result here reads as follows.
Theorem 5.1
Let \(0<\alpha<1\), \(1< p\leq q<\frac {1}{1-\alpha}\) and \(\beta\geq0\). Let u be a non-increasing function on I. Then the operator \(K^{*}_{\alpha,\beta}\) defined by (5.1)
-
(i)
is bounded from \(L_{p,v}\) to \(L_{q,w}\) if and only if \(A^{*}_{\alpha,\beta}<\infty\) and moreover, \(\|K^{*}_{\alpha,\beta}\|\approx A^{*}_{\alpha,\beta}\);
-
(ii)
is compact from \(L_{p,v}\) to \(L_{q,w}\) if and only if \(A^{*}_{\alpha,\beta}<\infty\) and
$$\lim_{z\rightarrow a^{+}}A^{*}_{\alpha,\beta}(z)=\lim _{z\rightarrow b^{-}}A^{*}_{\alpha,\beta}(z)=0. $$
Proof
The operator \(K^{*}_{\alpha,\beta}\) acting from \(L_{p,v}\) to \(L_{q,w}\) is conjugate to the operator
acting from \(L_{q',w^{1-q'}}\) to \(L_{p',v^{1-p'}}\), which is equivalent to the action of the operator \(T_{\alpha,\beta}\) from \(L_{q',w}\) to \(L_{p',v}\). Consequently, the operator \(K^{*}_{\alpha,\beta}\) is bounded and compact from \(L_{p,v}\) to \(L_{q,w}\) if and only if the operator \(T_{\alpha,\beta}\) is, respectively, bounded and compact from \(L_{q',w}\) to \(L_{p',v}\). Moreover, \(\|K^{*}_{\alpha,\beta}\|=\|T_{\alpha,\beta}\|\). Since, by the conditions of Theorem 5.1 we have \(\frac{1}{\alpha}< q'\leq p'<\infty\), the statements (i) and (ii) in Theorem 5.1 follow directly from Theorem 3.1 and Theorem 4.1. The proof is complete. □
Similarly, in view of Theorem 3.2 we have the following.
Theorem 5.2
Let \(0<\alpha<1\), \(1< q<\min\{p, \frac{1}{\alpha-1}\}\), \(p>1\) and \(\beta\geq0\). Let u be a non-increasing function on I. Then the operator \(K^{*}_{\alpha ,\beta}\) defined by (5.1) is bounded and compact from \(L_{p,v}\) to \(L_{q,w}\) if and only if \(B^{*}_{\alpha,\beta}<\infty\), where
Theorems 5.1 and 5.2 imply especially the following new information in the theory of Hardy type inequalities.
Theorem 5.3
Let \(0<\alpha<1\), \(\beta\geq0\) and u be a non-increasing function on I. Then
holds if and only if
-
(a)
\(A^{\ast}_{\alpha, \beta}<\infty\) for the case \(1< p\leq q\leq \frac{1}{1-\alpha}\),
-
(b)
\(B^{\ast}_{\alpha, \beta}<\infty\) for the case \(1< q<\min(p, \frac {1}{\alpha-1})\), \(p>1\).
Moreover, for the best constant C in (5.2) it yields \(C\approx A^{\ast}_{\alpha, \beta}\) in case (a) and \(C\approx B^{\ast}_{\alpha, \beta}\) in case (b).
6 Applications
By applying our results in special cases we obtain both new and well-known results. Here we just consider the Riemann-Liouville, Erdelyi-Kober, and Hadamard operators mentioned in our introduction. We use the weight functions ρ and ω and consider these operators on the forms \(\widetilde {I}_{\alpha}\), \(\widetilde{E}_{\alpha, \gamma}\) and \(\widetilde {\mathcal{H}}_{\alpha}\) defined by
where ρ and ω are almost everywhere positive functions locally summable on I with degrees q and \(p'\), respectively.
The action of the operator \(T_{\alpha,\beta}\) from \(L_{p,v}\) to \(L_{q,w}\) is equivalent to the action of the operator
from \(L_{p}\) to \(L_{q}\). Therefore, in the case \(W(x)=x\) we have \(\rho (x)=v^{\frac{1}{q}}(x)\), \(\omega(x)=u(x)x^{\beta}\) and
If \(W(x)=x^{\sigma}\), \(\sigma>0\), then \(u(s)W^{\beta}(s)w^{\frac {1}{p'}}(s)=u(s)s^{\sigma\beta-\frac{\sigma-1}{p'}}=u(s)s^{\sigma \gamma+\sigma-1}\), where \(\gamma=\beta-\frac{\sigma-1}{\sigma p}\). Consequently, \(\rho (x)=v^{\frac{1}{q}}(x)\), \(\omega(s)=u(s)\) and
Now, we assume that \(a>0\) and \(W(x)=\ln\frac{x}{a}\). Then \(u(s)W^{\beta}(s)w^{\frac{1}{p'}}(s)=u(s) (\ln\frac {s}{a} )^{\beta} (\frac{a}{s} )^{\frac{1}{p'}}= a^{\frac{1}{p'}}u(s)s^{\frac{1}{p}} (\ln\frac{s}{a} )^{\beta} \frac{1}{s}\). In this case \(\rho(x)=v^{\frac{1}{q}}(x)\), \(\omega(s)=u(s)s^{\frac {1}{p}} (\ln\frac{s}{a} )^{\beta}\) and
Below we present statements for boundedness and compactness of the operators \(\widetilde{I}_{\alpha}\), \(\widetilde{E}_{\alpha, \gamma}\) and \(\widetilde{\mathcal{H}}_{\alpha}\) from \(L_{p}\) to \(L_{q}\). These statements are consequences of Theorems 3.1, 3.2, 4.1, and 4.2.
We define
Corollary 6.1
Let \(0<\alpha<1\), \(\beta\geq0\) and \(\omega(s)=u(s)s^{\beta}\). Let u be a non-increasing function on I. Then:
-
(i)
for \(\frac{1}{\alpha}< p\leq q<\infty\) the operator \(\widetilde{I}_{\alpha}\) is bounded from \(L_{p}\) to \(L_{q}\) if and only if \(A^{1}_{\alpha}<\infty\) and, moreover, \(\|\widetilde{I}_{\alpha}\|\approx A^{1}_{\alpha}\); it is compact from \(L_{p}\) to \(L_{q}\) if and only if \(A^{1}_{\alpha}<\infty\) and \(\lim_{z\rightarrow a^{+}}A_{\alpha}^{1}(z)=\lim_{z\rightarrow b^{-}}A_{\alpha}^{1}(z)=0\);
-
(ii)
for \(0< q< p<\infty\) and \(p>\frac{1}{\alpha}\) the operator \(\widetilde{I}_{\alpha}\) is bounded (compact if \(b<\infty\) or \(b=\infty\) and \(1\leq q< p<\infty\)) from \(L_{p}\) to \(L_{q}\) if and only if \(B^{1}_{\alpha}<\infty\).
Remark 6.2
Corollary 6.1 generalizes the results of Theorems 1 and 2, 5 and 6 in [5], where the case \(\beta=0\) was considered. Even in this case the results of Corollary 6.1 are different (and in a sense simpler to use) than those in [5], because in [5] the statements are given in terms of two expressions while here we only need one condition.
We define
Corollary 6.3
Let \(0<\alpha<1\), \(\sigma>0\), \(\beta\geq0\) and \(\gamma=\beta-{\frac{\sigma-1}{\sigma p}}\). Let ω be a non-increasing function on I. Then:
-
(i)
for \(\frac{1}{\alpha}< p\leq q<\infty\) the operator \(\widetilde{E}_{\alpha,\gamma}\) is bounded from \(L_{p}\) to \(L_{q}\) if and only if \(A^{2}_{\alpha,\gamma}<\infty\) and, moreover, \(\|\widetilde{E}_{\alpha,\gamma}\|\approx A^{2}_{\alpha,\gamma}\); it is compact from \(L_{p}\) to \(L_{q}\) if and only if \(A^{2}_{\alpha ,\gamma}<\infty\) and \(\lim_{z\rightarrow a^{+}}A_{\alpha,\gamma}^{2}(z)=\lim_{z\rightarrow b^{-}}A_{\alpha,\gamma}^{2}(z)=0\);
-
(ii)
for \(0< q< p<\infty\) and \(p>\frac{1}{\alpha}\) the operator \(\widetilde{E}_{\alpha,\gamma}\) is bounded (compact if \(b<\infty\) or \(b=\infty\) and \(1\leq q< p<\infty\)) from \(L_{p}\) to \(L_{q}\) if and only if \(B^{2}_{\alpha,\gamma}<\infty\).
To formulate statements corresponding to the operator \(\widetilde{\mathcal{H}}_{\alpha}\) we define
Corollary 6.4
Let \(a>0\), \(0<\alpha<1\), \(\beta \geq0\) and \(\omega(s)=u(s)s^{\frac{1}{p}} (\ln\frac {s}{a} )^{\beta}\). Let u be a non-increasing function on I. Then:
-
(i)
for \(\frac{1}{\alpha}< p\leq q<\infty\) the operator \(\widetilde{\mathcal{H}}_{\alpha}\) is bounded from \(L_{p}\) to \(L_{q}\) if and only if \(A^{3}_{\alpha}<\infty\) and, moreover, \(\|\widetilde{\mathcal{H}}_{\alpha}\|\approx A^{3}_{\alpha}\); it is compact from \(L_{p}\) to \(L_{q}\) if and only if \(A^{3}_{\alpha}<\infty \) and \(\lim_{z\rightarrow a^{+}}A_{\alpha}^{3}(z)=\lim_{z\rightarrow b^{-}}A_{\alpha}^{3}(z)=0\);
-
(ii)
for \(0< q< p<\infty\) and \(p>\frac{1}{\alpha}\) the operator \(\widetilde{\mathcal{H}}_{\alpha}\) is bounded (compact if \(b<\infty\) or \(b=\infty\) and \(1\leq q< p<\infty\)) from \(L_{p}\) to \(L_{q}\) if and only if \(B^{3}_{\alpha}<\infty\).
Finally, we consider the operator \(\widetilde{I}^{*}_{\alpha}g(s)=\rho(s)[I^{*}_{\alpha}(g\omega)](s)\), \(s\in I\), acting from \(L_{p}\) to \(L_{q}\), where \(I^{*}_{\alpha}\) is the Weyl operator
The action of the operator \(K^{*}_{\alpha,\beta}\) from \(L_{p,v}\) to \(L_{q,w}\) is equivalent to the action of the operator
from \(L_{p}\) to \(L_{q}\). Therefore, when \(W(x)=x\) we have
We define
From Theorems 5.1 and 5.2 we have the following result.
Corollary 6.5
Let \(0<\alpha<1\), \(\beta\geq0\) and \(\rho(s)=u(s)s^{\beta}\). Let u be a non-increasing function on I. Then:
-
(i)
for \(1 < p\leq q<\frac{1}{1-\alpha}\) the operator \(\widetilde {I}^{*}_{\alpha}\) is bounded from \(L_{p}\) to \(L_{q}\) if and only if \(A^{*}_{\alpha}<\infty\) and, moreover, \(\|\widetilde {I}_{\alpha}\|\approx A^{*}_{\alpha}\); it is compact from \(L_{p}\) to \(L_{q}\) if and only if \(A^{*}_{\alpha}<\infty \) and \(\lim_{z\rightarrow a^{+}}A_{\alpha}^{*}(z)=\lim_{z\rightarrow b^{-}}A_{\alpha}^{*}(z)=0\);
-
(ii)
for \(1< q<\{\min(p,\frac{1}{1-\alpha})\}<\infty\) and \(p>1\) the operator \(\widetilde{I}^{*}_{\alpha}\) is bounded (compact) from \(L_{p}\) to \(L_{q}\) if and only if \(B^{*}_{\alpha}<\infty\).
Remark 6.6
From the results in Corollary 6.1-6.4 follow some corresponding Hardy type inequalities, which seem to be new even as they are special cases of our Theorems 3.3 and 5.3.
References
Samko, SG, Kilbas, AA, Marichev, OI: Integrals and Derivatives of Fractional Order and Some of Their Applications. Science and Technology, Minsk (1987) (in Russian)
Stepanov, VD: Two-weighted estimates of Riemann-Liouville integrals. Proc. USSR Acad. Sci., Izv. AN SSSR Ser. Mat. 54(3), 645-655 (1990) (in Russian)
Stepanov, VD: On a weighted inequality of Hardy type for fractional Riemann-Liouville integrals. Sib. Math. J. 31(3), 186-197 (1990) (in Russian)
Andersen, KF, Sawyer, ET: Weighted norm inequalities for the Riemann-Liouville and Weyl fractional integral operators. Trans. Am. Math. Soc. 308, 547-558 (1988)
Farsani, SM: On the boundedness and compactness of the fractional Riemann-Liouville operators. Sib. Mat. Zh. 54(2), 468-479 (2013) (in Russian); translation in Sib. Math. J. 54(2), 368-378 (2013)
Lorente, M: A characterization of two weighted norm inequalities for one-sided operators of fractional type. Can. J. Math. 49, 1010-1033 (1997)
Meskhi, A: Solution of some weight problems for the Riemann-Liouville and Weyl operators. Georgian Math. J. 106, 727-733 (1989)
Prokhorov, DV: On the boundedness and compactness of a class of integral operators. J. Lond. Math. Soc. 61(2), 617-628 (2000)
Prokhorov, DV, Stepanov, VD: Weighted estimates for the Riemann-Liouville operators and applications. Proc. Math. Inst. RAS Steklov V.A. 248, 289-312 (2003) (in Russian)
Oinarov, R: Two-sided estimates of the norms for certain classes of integral operators. Proc. Math. Inst. RAS Steklov V.A. 204, 240-250 (1993) (in Russian)
Abylayeva, AM, Kaskirbaeva, D: Boundedness and compactness of fractional integral operator type Holmgren in weighted Lebesgue spaces. Eurasian Math. J. 2, 75-86 (2007) (in Russian)
Oinarov, R, Abylayeva, AM: Criteria for the boundedness of a class of fractional integral operators. Math. J. 4(2(12)), 5-14 (2004) (in Russian)
Kufner, A, Maligranda, L, Persson, LE: The Hardy Inequality. About Its History and Some Related Results. Vydavatelsky Servis Publishing House, Pilsen (2007)
Kufner, A, Persson, L-E: Weighted Inequalities of Hardy Type. World Scientific, Singapore (2003)
Sinnamon, G, Stepanov, VD: The weighted Hardy inequality: new proofs and the case \(p=1\). J. Lond. Math. Soc. 54, 89-101 (1996)
Kantarovich, LV, Akilov, GR: Functional Analysis. Nauka, Moscow (1977) (in Russian)
Krasnosel’skii, MA, Zabreiko, PP, Pustilnik, EN, Sobolewski, PE: Integral Operators in Spaces of Summable Functions. Nauka, Moscow (1966) (in Russian)
Abylayeva, AM: Boundedness, compactness for a class of fractional integral operators of Weyl type. Eurasian Math. J. 7(1), 9-27 (2016)
Acknowledgements
We thank both referees for very good remarks, which have helped us to improve the final version of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors contributed equally and significantly in writing this paper. All the 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
Abylayeva, A.M., Oinarov, R. & Persson, LE. Boundedness and compactness of a class of Hardy type operators. J Inequal Appl 2016, 324 (2016). https://doi.org/10.1186/s13660-016-1266-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1266-y