Abstract
In this paper, we first introduce some new Morrey-type spaces containing generalized Morrey space and weighted Morrey space with two weights as special cases. Then we give the weighted strong type and weak type estimates for fractional integral operators \(I_{\alpha}\) in these new Morrey-type spaces. Furthermore, the weighted strong type estimate and endpoint estimate of linear commutators \([b,I_{\alpha}]\) formed by b and \(I_{\alpha}\) are established. Also we study related problems about two-weight, weak type inequalities for \(I_{\alpha}\) and \([b,I_{\alpha}]\) in the Morrey-type spaces and give partial results.
Similar content being viewed by others
1 Introduction
For given α, \(0<\alpha<n\), the fractional integral operator (or the Riesz potential) \(I_{\alpha}\) of order α is defined by
It is well known that the Hardy-Littlewood-Sobolev theorem states that the fractional integral operator \(I_{\alpha}\) is bounded from \(L^{p}(\mathbb {R}^{n})\) to \(L^{q}(\mathbb {R}^{n})\) for \(0<\alpha<n\), \(1< p< n/{\alpha}\) and \(1/q=1/p-{\alpha}/n\). Also we know that \(I_{\alpha }\) is bounded from \(L^{1}(\mathbb {R}^{n})\) to \(WL^{q}(\mathbb {R}^{n})\) for \(0<\alpha<n\) and \(q=n/{(n-\alpha)}\) (see [1]). In 1974, Muckenhoupt and Wheeden [2] studied the weighted boundedness of \(I_{\alpha}\) and obtained the following results.
Theorem 1.1
[2]
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\), \(1/q=1/p-{\alpha}/n\) and \(w\in A_{p,q}\). Then the fractional integral operator \(I_{\alpha}\) is bounded from \(L^{p}(w^{p})\) to \(L^{q}(w^{q})\).
Theorem 1.2
[2]
Let \(0<\alpha<n\), \(p=1\), \(q=n/{(n-\alpha)}\) and \(w\in A_{1,q}\). Then the fractional integral operator \(I_{\alpha}\) is bounded from \(L^{1}(w)\) to \(WL^{q}(w^{q})\).
For \(0<\alpha<n\), the linear commutator \([b,I_{\alpha}]\) generated by a suitable function b and \(I_{\alpha}\) is defined by
In 1991, Segovia and Torrea [3] proved that \([b,I_{\alpha}]\) is also bounded from \(L^{p}(w^{p})\) (\(1< p< n/{\alpha}\)) to \(L^{q}(w^{q})\) whenever \(b\in BMO(\mathbb {R}^{n})\) (see also [4] for the unweighted case).
Theorem 1.3
[3]
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\), \(1/q=1/p-{\alpha}/n\) and \(w\in A_{p,q}\). Suppose that \(b\in BMO(\mathbb {R}^{n})\), then the linear commutator \([b,I_{\alpha}]\) is bounded from \(L^{p}(w^{p})\) to \(L^{q}(w^{q})\).
In 2007, Cruz-Uribe and Fiorenza [5] discussed the weighted endpoint inequalities for commutator of fractional integral operator and proved the following result (see also [6] for the unweighted case).
Theorem 1.4
[5]
Let \(0<\alpha<n\), \(p=1\), \(q=n/{(n-\alpha)}\) and \(w^{q}\in A_{1}\). Suppose that \(b\in BMO(\mathbb {R}^{n})\), then, for any given \(\sigma>0\) and any bounded domain \(\Omega\subset\mathbb {R}^{n}\), there is a constant \(C>0\), which does not depend on f, Ω and \(\sigma>0\), such that
where \(\Phi(t)=t\cdot(1+\log^{+}t)\) and \(\log^{+}t=\max\{\log t,0\}\).
On the other hand, the classical Morrey space was originally introduced by Morrey in [7] to study the local behavior of solutions to second order elliptic partial differential equations. This classical space and various generalizations on the Euclidean space \(\mathbb {R}^{n}\) have been extensively studied by many authors. In [8], Mizuhara introduced the generalized Morrey space \(\mathcal {L}^{p,\Theta }(\mathbb {R}^{n})\) which was later extended and studied in [9]. In [10], Komori and Shirai defined a version of the weighted Morrey space \(\mathcal {L}^{p,\kappa}(v,u)\) which is a natural generalization of the weighted Lebesgue space.
Let \(I_{\alpha}\) be the fractional integral operator, and let \([b,I_{\alpha}]\) be its linear commutator. The main purpose of this paper is twofold. We first define a new kind of Morrey-type spaces \(\mathcal {M}^{p,\theta}(v,u)\) containing generalized Morrey space \(\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) and weighted Morrey space \(\mathcal {L}^{p,\kappa}(v,u)\) as special cases. As the Morrey-type spaces may be considered as an extension of the weighted Lebesgue space, it is natural and important to study the weighted boundedness of \(I_{\alpha}\) and \([b,I_{\alpha}]\) in these new spaces. Then we will establish the weighted strong type and endpoint estimates for \(I_{\alpha }\) and \([b,I_{\alpha}]\) in these Morrey-type spaces \(\mathcal {M}^{p,\theta}(v,u)\) for all \(1\leq p<\infty\). In addition, we will discuss two-weight, weak type norm inequalities for \(I_{\alpha}\) and \([b,I_{\alpha}]\) in \(\mathcal {M}^{p,\theta}(v,u)\) and give some partial results.
2 Statements of the main results
2.1 Notations and preliminaries
Let \(\mathbb {R}^{n}\) be the n-dimensional Euclidean space of points \(x=(x_{1},x_{2},\dots,x_{n})\) with norm \(|x|=(\sum_{i=1}^{n} x_{i}^{2})^{1/2}\). For \(x_{0}\in\mathbb {R}^{n}\) and \(r>0\), let \(B(x_{0},r)=\{x\in\mathbb {R}^{n}:|x-x_{0}|< r\}\) denote the open ball centered at \(x_{0}\) of radius r, \(B(x_{0},r)^{c}\) denote its complement and \(|B(x_{0},r)|\) be the Lebesgue measure of the ball \(B(x_{0},r)\). A non-negative function w defined on \(\mathbb {R}^{n}\) is called a weight if it is locally integrable. We first recall the definitions of two weight classes; \(A_{p}\) and \(A_{p,q}\).
Definition 2.1
\(A_{p}\) weights [11]
A weight w is said to belong to the class \(A_{p}\) for \(1< p<\infty\), if there exists a positive constant C such that, for any ball B in \(\mathbb {R}^{n}\),
where \(p'\) is the dual of p such that \(1/p+1/{p'}=1\). The class \(A_{1}\) is defined replacing the above inequality by
for any ball B in \(\mathbb {R}^{n}\). We also define \(A_{\infty}=\bigcup_{1\leq p<\infty}A_{p}\).
Definition 2.2
\(A_{p,q}\) weights [2]
A weight w is said to belong to the class \(A_{p,q}\) \((1< p,q<\infty)\), if there exists a positive constant C such that, for any ball B in \(\mathbb {R}^{n}\),
The class \(A_{1,q}\) \((1< q<\infty)\) is defined replacing the above inequality by
Lemma 2.1
Suppose that \(0<\alpha<n\), \(1\leq p< n/{\alpha}\) and \(1/q=1/p-{\alpha }/n\). The following statements are true (see [12]):
-
(i)
If \(p>1\), then \(w\in A_{p,q}\) implies \(w^{q}\in A_{q}\) and \(w^{-p'}\in A_{p'}\).
-
(ii)
If \(p=1\), then \(w\in A_{1,q}\) if and only if \(w^{q}\in A_{1}\).
Given a ball B and \(\lambda>0\), λB denotes the ball with the same center as B whose radius is λ times that of B. For a given weight function w and a Lebesgue measurable set E, we denote the characteristic function of E by \(\chi_{E}\), the Lebesgue measure of E by \(|E|\) and the weighted measure of E by \(w(E)\), where \(w(E):=\int_{E} w(x)\,dx\). Given a weight w, we say that w satisfies the doubling condition if there exists a universal constant \(C>0\) such that, for any ball B in \(\mathbb {R}^{n}\), we have
When w satisfies this doubling condition (2.1), we denote \(w\in\Delta_{2}\) for brevity. We know that if w is in \(A_{\infty}\), then \(w\in\Delta_{2}\) (see [13]). Moreover, if \(w\in A_{\infty}\), then, for any ball B and any measurable subset E of B, there exists a number \(\delta>0\) independent of E and B such that (see [13])
Given a weight function w on \(\mathbb {R}^{n}\), for \(1\leq p<\infty\), the weighted Lebesgue space \(L^{p}(w)\) is defined as the set of all functions f such that
We also denote by \(WL^{p}(w)\) (\(1\leq p<\infty\)) the weighted weak Lebesgue space consisting of all measurable functions f such that
We next recall some definitions and basic facts about Orlicz spaces needed for the proofs of the main results. For further information on this subject, we refer to [14]. A function \(\mathcal {A}:[0,+\infty )\rightarrow[0,+\infty)\) is said to be a Young function if it is continuous, convex and strictly increasing satisfying \(\mathcal {A}(0)=0\) and \(\mathcal {A}(t)\to+\infty\) as \(t\to+\infty\). An important example of Young function is \(\mathcal {A}(t)=t^{p}(1+\log^{+}t)^{p}\) with some \(1\leq p<\infty\). Given a Young function \(\mathcal {A}\), we define the \(\mathcal {A}\)-average of a function f over a ball B by means of the Luxemburg norm:
In particular, when \(\mathcal {A}(t)=t^{p}\), \(1\leq p<\infty\), it is easy to see that \(\mathcal {A}\) is a Young function and
that is, the Luxemburg norm coincides with the normalized \(L^{p}\) norm. Recall that the following generalization of Hölder’s inequality holds:
where \(\bar{\mathcal {A}}\) is the complementary Young function associated to \(\mathcal {A}\), which is given by \(\bar{\mathcal {A}}(s):=\sup_{0\leq t<\infty}[st-\mathcal {A}(t)]\), \(0\leq s<\infty\). Obviously, \(\Phi (t)=t\cdot(1+\log^{+}t)\) is a Young function and its complementary Young function is \(\bar{\Phi}(t)\approx e^{t}-1\). In the present situation, we denote \(\|f\|_{\Phi,B}\) and \(\|g\|_{\bar{\Phi},B}\) by \(\|f\|_{L\log L,B}\) and \(\|g\|_{\exp L,B}\), respectively. So we have
There is a further generalization of Hölder’s inequality that turns out to be useful for our purpose (see [15]): Let \(\mathcal {A}\), \(\mathcal {B}\), and \(\mathcal {C}\) be Young functions such that, for all \(t>0\),
where \(\mathcal {A}^{-1}(t)\) is the inverse function of \(\mathcal {A}(t)\). Then, for all functions f and g and all balls \(B\subset\mathbb {R}^{n}\),
Let us now recall the definition of the space of \(BMO(\mathbb {R}^{n})\) (see [16]). \(BMO(\mathbb {R}^{n})\) is the Banach function space modulo constants with the norm \(\|\cdot\|_{*}\) defined by
where the supremum is taken over all balls B in \(\mathbb {R}^{n}\) and \(b_{B}\) stands for the mean value of b over B; that is,
2.2 Morrey-type spaces
Let us begin with the definitions of the weighted Morrey space with two weights and generalized Morrey space.
Definition 2.3
[10]
Let \(1\leq p<\infty\) and \(0<\kappa<1\). For two weights u and v on \(\mathbb {R}^{n}\), the weighted Morrey space \(\mathcal {L}^{p,\kappa}(v,u)\) is defined by
where
and the supremum is taken over all balls B in \(\mathbb {R}^{n}\). If \(v=u\), then we denote \(\mathcal {L}^{p,\kappa}(v)\), for short.
Definition 2.4
Let \(1\leq p<\infty\), \(0<\kappa<1\) and w be a weight on \(\mathbb {R}^{n}\). We denote by \(W\mathcal {L}^{p,\kappa}(w)\) the weighted weak Morrey space of all measurable functions f for which
Let \(\Theta=\Theta(r)\), \(r>0\), be a growth function; that is, a positive increasing function on \((0,+\infty)\) and satisfy the following doubling condition:
where \(D=D(\Theta)\ge1\) is a doubling constant independent of r.
Definition 2.5
[8]
Let \(1\leq p<\infty\) and Θ be a growth function on \((0,+\infty )\). Then the generalized Morrey space \(\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) is defined by
where
and the supremum is taken over all balls \(B(x_{0},r)\) in \(\mathbb {R}^{n}\) with \(x_{0}\in\mathbb {R}^{n}\).
Definition 2.6
Let \(1\leq p<\infty\) and Θ be a growth function on \((0,+\infty )\). We denote by \(W\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) the generalized weak Morrey space of all measurable functions f for which
In order to unify the definitions given above, we now introduce Morrey-type spaces associated to θ as follows. Let \(0\leq\kappa<1\). Assume that \(\theta(\cdot)\) is a positive increasing function defined in \((0,+\infty)\) and satisfies the following \(\mathcal {D}_{\kappa}\) condition:
where \(C>0\) is a constant independent of ξ and \(\xi'\).
Definition 2.7
Let \(1\leq p<\infty\), \(0\leq\kappa<1\) and θ satisfy the \(\mathcal {D}_{\kappa}\) condition (2.8). For two weights u and v on \(\mathbb {R}^{n}\), we denote by \(\mathcal {M}^{p,\theta}(v,u)\) the generalized weighted Morrey space, the space of all locally integrable functions f with finite norm.
where the norm is given by
Here the supremum is taken over all balls B in \(\mathbb {R}^{n}\). If \(v=u\), then we denote \(\mathcal {M}^{p,\theta}(v)\), for short. Furthermore, we denote by \(W\mathcal {M}^{p,\theta}(v)\) the generalized weighted weak Morrey space of all measurable functions f for which
According to this definition, we recover the spaces \(\mathcal {L}^{p,\kappa}(v,u)\) and \(W\mathcal {L}^{p,\kappa}(v)\) under the choice of \(\theta(x)=x^{\kappa}\) with \(0<\kappa<1\):
Also, note that if \(\theta(x)\equiv1\), then \(\mathcal {M}^{p,\theta }(v)=L^{p}(v)\) and \(W\mathcal {M}^{p,\theta}(v)=WL^{p}(v)\), the classical weighted Lebesgue and weak Lebesgue spaces.
The aim of this paper is to extend Theorems 1.1-1.4 to the corresponding Morrey-type spaces. Our main results on the boundedness of \(I_{\alpha}\) in the Morrey-type spaces associated to θ can be formulated as follows.
Theorem 2.1
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\), \(1/q=1/p-{\alpha}/n\) and \(w\in A_{p,q}\). Assume that θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa< p/q\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {M}^{p,\theta}(w^{p},w^{q})\) into \(\mathcal {M}^{q,\theta^{q/p}}(w^{q})\).
Theorem 2.2
Let \(0<\alpha<n\), \(p=1\), \(q=n/{(n-\alpha)}\) and \(w\in A_{1,q}\). Assume that θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa<1/q\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {M}^{1,\theta}(w,w^{q})\) into \(W\mathcal {M}^{q,\theta^{q}}(w^{q})\).
Let \([b,I_{\alpha}]\) be the commutator formed by \(I_{\alpha}\) and BMO function b. For the strong type estimate of the linear commutator \([b,I_{\alpha}]\) in the Morrey-type spaces associated to θ, we will prove
Theorem 2.3
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\), \(1/q=1/p-{\alpha}/n\) and \(w\in A_{p,q}\). Assume that θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa< p/q\) and \(b\in BMO(\mathbb {R}^{n})\), then the commutator operator \([b,I_{\alpha}]\) is bounded from \(\mathcal {M}^{p,\theta}(w^{p},w^{q})\) into \(\mathcal {M}^{q,\theta ^{q/p}}(w^{q})\).
To obtain endpoint estimate for the linear commutator \([b,I_{\alpha}]\), we first need to define the weighted \(\mathcal {A}\)-average of a function f over a ball B by means of the weighted Luxemburg norm; that is, given a Young function \(\mathcal {A}\) and \(w\in A_{\infty}\), we define (see [14, 17] for instance)
When \(\mathcal {A}(t)=t\), this norm is denoted by \(\|\cdot\|_{L(w),B}\), and when \(\Phi(t)=t\cdot(1+\log^{+}t)\), this norm is also denoted by \(\| \cdot\|_{L\log L(w),B}\). The complementary Young function of \(\Phi(t)\) is \(\bar{\Phi}(t)\approx e^{t}-1\) with mean Luxemburg norm denoted by \(\| \cdot\|_{\exp L(w),B}\). For \(w\in A_{\infty}\) and for every ball B in \(\mathbb {R}^{n}\), we can also show the weighted version of (2.3). Namely, the following generalized Hölder inequality in the weighted setting
is true (see [17] for instance). Now we introduce new Morrey-type spaces of \(L\log L\) type associated to θ as follows.
Definition 2.8
Let \(p=1\), \(0\leq\kappa<1\) and θ satisfy the \(\mathcal {D}_{\kappa}\) condition (2.8). For two weights u and v on \(\mathbb {R}^{n}\), we denote by \(\mathcal {M}^{1,\theta}_{L\log L}(v,u)\) the generalized weighted Morrey space of \(L\log L\) type, the space of all locally integrable functions f defined on \(\mathbb {R}^{n}\) with finite norm \(\|f \|_{\mathcal {M}^{1,\theta}_{L\log L}(v,u)}\). We have
where
Here the supremum is taken over all balls B in \(\mathbb {R}^{n}\). If \(v=u\), then we denote \(\mathcal {M}^{1,\theta}_{L\log L}(v)\) for brevity.
Note that \(t\leq t\cdot(1+\log^{+}t)\) for all \(t>0\), then, for any ball \(B\subset\mathbb {R}^{n}\) and \(v\in A_{\infty}\), we have \(\|f \| _{L(v),B}\leq \|f \|_{L\log L(v),B}\) by definition, i.e., the inequality
holds for any ball \(B\subset\mathbb {R}^{n}\). From this, we can further see that, when θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa<1\), and u is another weight function,
Hence, we have \(\mathcal {M}^{1,\theta}_{L\log L}(v,u)\subset\mathcal {M}^{1,\theta}(v,u)\) by definition.
In Definition 2.8, we also consider the special case when θ is taken to be \(\theta(x)=x^{\kappa}\) with \(0<\kappa<1\), and denote the corresponding space by \(\mathcal {L}^{1,\kappa}_{L\log L}(v,u)\).
Definition 2.9
Let \(p=1\) and \(0<\kappa<1\). For two weights u and v on \(\mathbb {R}^{n}\), we denote by \(\mathcal {L}^{1,\kappa}_{L\log L}(v,u)\) the weighted Morrey space of \(L\log L\) type, the space of all locally integrable functions f defined on \(\mathbb {R}^{n}\) with finite norm \(\|f \| _{\mathcal {L}^{1,\kappa}_{L\log L}(v,u)}\). We have
where
In this situation, we have \(\mathcal {L}^{1,\kappa}_{L\log L}(v,u)\subset \mathcal {L}^{1,\kappa}(v,u)\).
In the endpoint case \(p=1\), we will prove the following weak type \(L\log L\) estimate of the linear commutator \([b,I_{\alpha}]\) in the Morrey-type space associated to θ.
Theorem 2.4
Let \(0<\alpha<n\), \(p=1\), \(q=n/{(n-\alpha)}\) and \(w\in A_{1,q}\). Assume that θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa<1/q\) and \(b\in BMO(\mathbb {R}^{n})\), then, for any given \(\sigma>0\) and any ball \(B\subset\mathbb {R}^{n}\), there exists a constant \(C>0\) independent of f, B and \(\sigma>0\) such that
where \(\Phi(t)=t\cdot(1+\log^{+}t)\). From the definitions, we can roughly say that the commutator operator \([b,I_{\alpha}]\) is bounded from \(\mathcal {M}^{1,\theta}_{L\log L}(w,w^{q})\) into \(W\mathcal {M}^{q,\theta^{q}}(w^{q})\).
In particular, if we take \(\theta(x)=x^{\kappa}\) with \(0<\kappa<1\), then we immediately get the following strong type estimate and endpoint estimate of \(I_{\alpha}\) and \([b,I_{\alpha}]\) in the weighted Morrey spaces.
Corollary 2.1
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\), \(1/q=1/p-{\alpha}/n\) and \(w\in A_{p,q}\). If \(0<\kappa<p/q\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {L}^{p,\kappa}(w^{p},w^{q})\) into \(\mathcal {L}^{q,{\kappa q}/p}(w^{q})\).
Corollary 2.2
Let \(0<\alpha<n\), \(p=1\), \(q=n/{(n-\alpha)}\) and \(w\in A_{1,q}\). If \(0<\kappa<1/q\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {L}^{1,\kappa}(w,w^{q})\) into \(W\mathcal {L}^{q,\kappa q}(w^{q})\).
Corollary 2.3
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\), \(1/q=1/p-{\alpha}/n\) and \(w\in A_{p,q}\). If \(0<\kappa<p/q\) and \(b\in BMO(\mathbb {R}^{n})\), then the commutator operator \([b,I_{\alpha}]\) is bounded from \(\mathcal {L}^{p,\kappa}(w^{p},w^{q})\) into \(\mathcal {L}^{q,{\kappa q}/p}(w^{q})\).
Corollary 2.4
Let \(0<\alpha<n\), \(p=1\), \(q=n/{(n-\alpha)}\) and \(w\in A_{1,q}\). If \(0<\kappa<1/q\) and \(b\in BMO(\mathbb {R}^{n})\), then, for any given \(\sigma >0\) and any ball \(B\subset\mathbb {R}^{n}\), there exists a constant \(C>0\) independent of f, B and \(\sigma>0\) such that
where \(\Phi(t)=t\cdot(1+\log^{+}t)\).
Moreover, for the extreme case \(\kappa=p/q\) of Corollary 2.1, we will show that \(I_{\alpha}\) is bounded from \(\mathcal {L}^{p,\kappa }(w^{p},w^{q})\) into \(BMO(\mathbb {R}^{n})\).
Theorem 2.5
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\), \(1/q=1/p-{\alpha}/n\) and \(w\in A_{p,q}\). If \(\kappa=p/q\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {L}^{p,\kappa}(w^{p},w^{q})\) into \(BMO(\mathbb {R}^{n})\).
It should be pointed out that Corollaries 2.1 through 2.3 were given by Komori and Shirai in [10]. Corollary 2.4 and Theorem 2.5 are new results.
Definition 2.10
In the unweighted case (when \(u=v\equiv1\)), we denote the corresponding unweighted Morrey-type spaces associated to θ by \(\mathcal {M}^{p,\theta}(\mathbb {R}^{n})\), \(W\mathcal {M}^{p,\theta}(\mathbb {R}^{n})\) and \(\mathcal {M}^{1,\theta}_{L\log L}(\mathbb {R}^{n})\), respectively. That is, let \(1\leq p<\infty\) and θ satisfy the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa<1\), we define
and
Naturally, when \(u(x)=v(x)\equiv1\) we have the following unweighted results.
Corollary 2.5
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\) and \(1/q=1/p-{\alpha}/n\). Assume that θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa< p/q\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {M}^{p,\theta}(\mathbb {R}^{n})\) into \(\mathcal {M}^{q,\theta^{q/p}}(\mathbb {R}^{n})\).
Corollary 2.6
Let \(0<\alpha<n\), \(p=1\), and \(q=n/{(n-\alpha)}\). Assume that θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa<1/q\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {M}^{1,\theta}(\mathbb {R}^{n})\) into \(W\mathcal {M}^{q,\theta^{q}}(\mathbb {R}^{n})\).
Corollary 2.7
Let \(0<\alpha<n\), \(1< p< n/{\alpha,}\) and \(1/q=1/p-{\alpha}/n\). Assume that θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa< p/q\) and \(b\in BMO(\mathbb {R}^{n})\), then the commutator operator \([b,I_{\alpha}]\) is bounded from \(\mathcal {M}^{p,\theta}(\mathbb {R}^{n})\) into \(\mathcal {M}^{q,\theta^{q/p}}(\mathbb {R}^{n})\).
Corollary 2.8
Let \(0<\alpha<n\), \(p=1\), and \(q=n/{(n-\alpha)}\). Assume that θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa<1/q\) and \(b\in BMO(\mathbb {R}^{n})\), then, for any given \(\sigma>0\) and any ball \(B\subset\mathbb {R}^{n}\), there exists a constant \(C>0\) independent of f, B and \(\sigma>0\) such that
where \(\Phi(t)=t\cdot(1+\log^{+}t)\).
We also introduce the generalized Morrey space of \(L\log L\) type.
Definition 2.11
Let \(p=1\) and Θ be a growth function on \((0,+\infty)\). We denote by \(\mathcal {L}^{1,\Theta}_{L\log L}(\mathbb {R}^{n})\) the generalized Morrey space of \(L\log L\) type, which is given by
where
In this situation, we also have \(\mathcal {L}^{1,\Theta}_{L\log L}(\mathbb {R}^{n})\subset\mathcal {L}^{1,\Theta}(\mathbb {R}^{n})\).
Below we are going to show that our new Morrey-type spaces can be reduced to generalized Morrey spaces. In fact, assume that \(\theta(\cdot )\) is a positive increasing function defined in \((0,+\infty)\) and satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with some \(0\leq\kappa<1\). For any fixed \(x_{0}\in\mathbb {R}^{n}\) and \(r>0\), we set \(\Theta(r):=\theta(|B(x_{0},r)|)\). Observe that
Then it is easy to verify that \(\Theta(r)\), \(r>0\), is a growth function with doubling constant \(D(\Theta):1\le D(\Theta)<2^{n}\). Hence, by the choice of Θ mentioned above, we get \(\mathcal {M}^{p,\theta }(\mathbb {R}^{n})=\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) and \(W\mathcal {M}^{p,\theta}(\mathbb {R}^{n})=W\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) for \(p\in [1,+\infty)\), and \(\mathcal {M}^{1,\theta}_{L\log L}(\mathbb {R}^{n})=\mathcal {L}^{1,\Theta}_{L\log L}(\mathbb {R}^{n})\). Therefore, by the above unweighted results (Corollaries 2.5-2.8), we can also obtain strong type estimate and endpoint estimate of \(I_{\alpha}\) and \([b,I_{\alpha}]\) in the generalized Morrey spaces.
Corollary 2.9
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\) and \(1/q=1/p-{\alpha}/n\). Suppose that Θ satisfies the doubling condition (2.7) and \(1\le D(\Theta)<2^{{np}/q}\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) into \(\mathcal {L}^{q,\Theta^{q/p}}(\mathbb {R}^{n})\).
Corollary 2.10
Let \(0<\alpha<n\), \(p=1\) and \(q=n/{(n-\alpha)}\). Suppose that Θ satisfies the doubling condition (2.7) and \(1\le D(\Theta )<2^{n/q}\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {L}^{1,\Theta}(\mathbb {R}^{n})\) into \(W\mathcal {L}^{q,\Theta^{q}}(\mathbb {R}^{n})\).
Corollary 2.11
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\) and \(1/q=1/p-{\alpha}/n\). Suppose that Θ satisfies the doubling condition (2.7) with \(1\le D(\Theta)<2^{{np}/q}\) and \(b\in BMO(\mathbb {R}^{n})\), then the commutator operator \([b,I_{\alpha}]\) is bounded from \(\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) into \(\mathcal {L}^{q,\Theta^{q/p}}(\mathbb {R}^{n})\).
Corollary 2.12
Let \(0<\alpha<n\), \(p=1\) and \(q=n/{(n-\alpha)}\). Suppose that Θ satisfies the doubling condition (2.7) with \(1\le D(\Theta )<2^{n/q}\) and \(b\in BMO(\mathbb {R}^{n})\), then, for any given \(\sigma>0\) and any ball \(B(x_{0},r)\subset\mathbb {R}^{n}\), there exists a constant \(C>0\) independent of f, \(B(x_{0},r)\) and \(\sigma>0\) such that
where \(\Phi(t)=t\cdot(1+\log^{+}t)\).
We will also prove the following result which can be regarded as a supplement of Corollaries 2.9 and 2.10.
Theorem 2.6
Let \(0<\alpha<n\), \(1< p< n/{\alpha}\) and \(1/q=1/p-{\alpha}/n\). Suppose that Θ satisfies the following condition:
where \(C=C(\Theta)>0\) is a universal constant independent of r. Then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) into \(BMO(\mathbb {R}^{n})\).
It is worth pointing out that Corollaries 2.9 through 2.11 were obtained by Nakai in [9]. Corollary 2.12 and Theorem 2.6 seem to be new, as far as we know.
Throughout this paper, the letter C always denotes a positive constant that is independent of the essential variables but whose value may vary at each occurrence. We also use \(A\approx B\) to denote the equivalence of A and B; that is, there exist two positive constants \(C_{1}\), \(C_{2}\) independent of quantities A and B such that \(C_{1} A\leq B\leq C_{2} A\). Equivalently, we could define the above notions of this section with cubes in place of balls and we will use whichever is more appropriate, depending on the circumstances.
3 Proofs of Theorems 2.1 and 2.2
Proof of Theorem 2.1
Here and in the following, for any positive number \(\gamma>0\), we denote \(f^{\gamma}(x):=[f(x)]^{\gamma}\) by convention. For example, when \(1< p< q<\infty\), we have \([f^{q/p}(x)]^{1/q}=[f(x)]^{1/p}\). Let \(f\in \mathcal {M}^{p,\theta}(w^{p},w^{q})\) with \(1< p,q<\infty\) and \(w\in A_{p,q}\). For an arbitrary point \(x_{0}\in\mathbb {R}^{n}\), set \(B=B(x_{0},r_{B})\) for the ball centered at \(x_{0}\) and of radius \(r_{B}\), \(2B=B(x_{0},2r_{B})\). We represent f as
by the linearity of the fractional integral operator \(I_{\alpha}\), one can write
Below we will give the estimates of \(I_{1}\) and \(I_{2}\), respectively. By the weighted \((L^{p},L^{q})\)-boundedness of \(I_{\alpha}\) (see Theorem 1.1), we have
Since \(w\in A_{p,q}\), we get \(w^{q}\in A_{q}\subset A_{\infty}\) by Lemma 2.1(i). Moreover, since \(0< w^{q}(B)< w^{q}(2B)<+\infty\) when \(w^{q}\in A_{q}\) with \(1< q<\infty\), then by the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ and inequality (2.1), we obtain
As for the term \(I_{2}\), it is clear that, when \(x\in B\) and \(y\in (2B)^{c}\), we get \(|x-y|\approx|x_{0}-y|\). We then decompose \(\mathbb {R}^{n}\) into a geometrically increasing sequence of concentric balls, and we obtain the following pointwise estimate:
From this, it follows that
By using Hölder’s inequality and the \(A_{p,q}\) condition on w, we get
Hence
Notice that \(w^{q}\in A_{q}\subset A_{\infty}\) for \(1< q<\infty\), then by using the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ again, the inequality (2.2) with exponent \(\delta>0\) and the fact that \(0\leq\kappa< p/q\), we find that
which gives our desired estimate \(I_{2}\leq C \|f \|_{\mathcal {M}^{p,\theta}(w^{p},w^{q})}\). Combining the above estimates for \(I_{1}\) and \(I_{2}\), and then taking the supremum over all balls \(B\subset\mathbb {R}^{n}\), we complete the proof of Theorem 2.1. □
Proof of Theorem 2.2
Let \(f\in\mathcal {M}^{1,\theta}(w,w^{q})\) with \(1< q<\infty\) and \(w\in A_{1,q}\). For an arbitrary ball \(B=B(x_{0},r_{B})\subset\mathbb {R}^{n}\), we represent f as
then, for any given \(\sigma>0\), by the linearity of the fractional integral operator \(I_{\alpha}\), one can write
We first consider the term \(I'_{1}\). By the weighted weak \((1,q)\)-boundedness of \(I_{\alpha}\) (see Theorem 1.2), we have
Since w is in the class \(A_{1,q}\), we get \(w^{q}\in A_{1}\subset A_{\infty }\) by Lemma 2.1(ii). Moreover, since \(0< w^{q}(B)< w^{q}(2B)<+\infty\) when \(w^{q}\in A_{1}\), then we apply the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ and inequality (2.1) to obtain
As for the term \(I'_{2}\), it follows directly from Chebyshev’s inequality and the pointwise estimate (3.1) that
Moreover, by applying Hölder’s inequality and then the reverse Hölder inequality in succession, we can show that \(w^{q}\in A_{1}\) if and only if \(w\in A_{1}\cap RH_{q}\) (see [18]), where \(RH_{q}\) denotes the reverse Hölder class. Another application of \(A_{1}\) condition on w shows that
In addition, note that \(w\in RH_{q}\). We are able to verify that, for any \(j\in\mathbb {Z}^{+}\),
which is equivalent to
Consequently,
Recall that \(w^{q}\in A_{1}\subset A_{\infty}\), therefore, by using the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ again, the inequality (2.2) with exponent \(\delta^{*}>0\) and the fact that \(0\leq\kappa<1/q\), we get
which implies our desired estimate \(I'_{2}\leq C \|f \|_{\mathcal {M}^{1,\theta}(w,w^{q})}\). Summing up the above estimates for \(I'_{1}\) and \(I'_{2}\), and then taking the supremum over all balls \(B\subset\mathbb {R}^{n}\) and all \(\sigma>0\), we finish the proof of Theorem 2.2. □
4 Proofs of Theorems 2.3 and 2.4
To prove our main theorems in this section, we need the following lemma about \(BMO\) functions.
Lemma 4.1
Let b be a function in \(BMO(\mathbb {R}^{n})\).
-
(i)
For every ball B in \(\mathbb {R}^{n}\) and for all \(j\in\mathbb {Z}^{+}\), then
$$ |b_{2^{j+1}B}-b_{B} |\leq C\cdot(j+1)\|b\|_{*}. $$ -
(ii)
For \(1< q<\infty\), every ball B in \(\mathbb {R}^{n}\) and for all \(\mu\in A_{\infty}\), then
$$ \biggl( \int_{B} \bigl|b(x)-b_{B} \bigr|^{q}\mu(x)\,dx \biggr)^{1/q}\leq C\|b\|_{*}\cdot \mu(B)^{1/q}. $$
Proof
For the proof of (i), we refer the reader to [19]. For the proof of (ii), we refer the reader to [20]. □
Proof of Theorem 2.3
Let \(f\in\mathcal {M}^{p,\theta}(w^{p},w^{q})\) with \(1< p,q<\infty\) and \(w\in A_{p,q}\). For each fixed ball \(B=B(x_{0},r_{B})\subset\mathbb {R}^{n}\), as before, we represent f as \(f=f_{1}+f_{2}\), where \(f_{1}=f\cdot\chi_{2B}\), \(2B=B(x_{0},2r_{B})\subset\mathbb {R}^{n}\). By the linearity of the commutator operator \([b,I_{\alpha}]\), we write
Since w is in the class \(A_{p,q}\), we get \(w^{q}\in A_{q}\subset A_{\infty }\) by Lemma 2.1(i). By using Theorem 1.3, the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ and inequality (2.1), we obtain
Let us now turn to the estimate of \(J_{2}\). By definition, for any \(x\in B\), we have
In the proof of Theorem 2.1, we have already shown that (see (3.1))
Following the same argument as in (3.1), we can also prove that
Hence, from the above two pointwise estimates for \(|I_{\alpha}(f_{2})(x) |\) and \(|I_{\alpha}([b_{B}-b]f_{2} )(x) |\), it follows that
Below we will give the estimates of \(J_{3}\), \(J_{4}\) and \(J_{5}\), respectively. To estimate \(J_{3}\), note that \(w^{q}\in A_{q}\subset A_{\infty }\) with \(1< q<\infty\). Using the second part of Lemma 4.1, Hölder’s inequality, and the \(A_{p,q}\) condition on w, we obtain
where in the last inequality we have used the estimate (3.2). To estimate \(J_{4}\), applying the first part of Lemma 4.1, Hölder’s inequality, and the \(A_{p,q}\) condition on w, we can deduce that
For any \(j\in\mathbb {Z}^{+}\), since \(0< w^{q}(B)< w^{q}(2^{j+1}B)<+\infty\) when \(w^{q}\in A_{q}\) with \(1< q<\infty\), by using the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ and the inequality (2.2) with exponent \(\delta>0\), we thus obtain
where the last series is convergent since the exponent \(\delta {(1/q-\kappa/p)}\) is positive. This implies our desired estimate \(J_{4}\leq C \|f \|_{\mathcal {M}^{p,\theta}(w^{p},w^{q})}\). It remains to estimate the last term \(J_{5}\). An application of Hölder’s inequality shows that
If we set \(\mu(y)=w(y)^{-{p'}}\), then we have \(\mu\in A_{p'}\subset A_{\infty}\) because \(w\in A_{p,q}\) by Lemma 2.1(i). Thus, it follows from the second part of Lemma 4.1 and the \(A_{p,q}\) condition that
Therefore, in view of the estimates (4.3) and (3.2), we conclude that
Summarizing the estimates derived above and then taking the supremum over all balls \(B\subset\mathbb {R}^{n}\), we complete the proof of Theorem 2.3. □
Proof of Theorem 2.4
For any fixed ball \(B=B(x_{0},r_{B})\) in \(\mathbb {R}^{n}\), as before, we represent f as \(f=f_{1}+f_{2}\), where \(f_{1}=f\cdot\chi_{2B}\), \(2B=B(x_{0},2r_{B})\subset\mathbb {R}^{n}\). Then, for any given \(\sigma>0\), by the linearity of the commutator operator \([b,I_{\alpha}]\), we write
We first consider the term \(J'_{1}\). By using Theorem 1.4 and the previous estimate (2.11), we get
Since w is a weight in the class \(A_{1,q}\), one has \(w^{q}\in A_{1}\subset A_{\infty}\) by Lemma 2.1(ii). Moreover, since \(0< w^{q}(B)< w^{q}(2B)<+\infty\) when \(w^{q}\in A_{1}\), by the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ and inequality (2.1), we have
which is our desired estimate. We now turn to dealing with the term \(J'_{2}\). Recall that the inequality
is valid. So we can further decompose \(J'_{2}\) as
By using the previous pointwise estimate (3.1), Chebyshev’s inequality together with Lemma 4.1(ii), we deduce that
Furthermore, note that \(t\leq\Phi(t)=t\cdot(1+\log^{+}t)\) for any \(t>0\). As we pointed out in Theorem 2.2 that \(w^{q}\in A_{1}\) if and only if \(w\in A_{1}\cap RH_{q}\), it then follows from the \(A_{1}\) condition and the previous estimate (2.10) that
In view of (3.3) and (3.4), we have
On the other hand, applying the pointwise estimate (4.1) and Chebyshev’s inequality, we get
For the term \(J'_{5}\), since \(w\in A_{1}\), it follows from the \(A_{1}\) condition and the fact \(t\leq\Phi(t)\) that
Furthermore, we use the generalized Hölder inequality with weight (2.9) to obtain
In the last inequality, we have used the well-known fact that (see [17])
It is equivalent to the inequality
which is just a corollary of the well-known John-Nirenberg inequality (see [16]) and the comparison property of \(A_{1}\) weights. Hence, by the estimates (3.3) and (3.4),
For the last term \(J'_{6}\) we proceed as follows. Using the first part of Lemma 4.1 together with the facts \(w\in A_{1}\) and \(t\leq\Phi (t)=t\cdot(1+\log^{+}t)\), we deduce that
Making use of the inequalities (2.10) and (3.3), we further obtain
Recall that \(w^{q}\in A_{1}\subset A_{\infty}\) with \(1< q<\infty\). We can now argue exactly as we did in the estimation of \(J_{4}\) to get (now choose \(\delta^{*}\) in (2.2))
Notice that the exponent \(\delta^{*}{(1/q-\kappa)}\) is positive by the choice of κ, which guarantees that the last series is convergent. If we substitute this estimate (4.5) into the term \(J'_{6}\), then we get the desired inequality
This completes the proof of Theorem 2.4. □
5 Proofs of Theorems 2.5 and 2.6
Proof of Theorem 2.5
Let \(f\in\mathcal {M}^{p,\theta}(w^{p},w^{q})\) with \(1< p,q<\infty\) and \(w\in A_{p,q}\). For any given ball \(B=B(x_{0},r_{B})\) in \(\mathbb {R}^{n}\), it suffices to prove that the following inequality
holds. Decompose f as \(f=f_{1}+f_{2}\), where \(f_{1}=f\cdot\chi_{4B}\), \(f_{2}=f\cdot\chi_{(4B)^{c}}\), \(4B=B(x_{0},4r_{B})\). By the linearity of the fractional integral operator \(I_{\alpha}\), the left-hand side of (5.1) can be divided into two parts. That is,
First let us consider the term I. Applying the weighted \((L^{p},L^{q})\)-boundedness of \(I_{\alpha}\) (see Theorem 1.1) and Hölder’s inequality, we obtain
Since w is a weight in the class \(A_{p,q}\), one has \(w^{q}\in A_{q}\subset A_{\infty}\) by Lemma 2.1(i). By definition, it reads
which implies
Since \(w^{q}\in A_{q}\subset A_{\infty}\), \(w^{q}\in\Delta_{2}\). Using the inequalities (5.2) and (2.1) and noting the fact that \(\kappa=p/q\), we have
Now we estimate II. For any \(x\in B\),
Since both x and y are in B, \(z\in(4B)^{c}\), by a purely geometric observation, we must have \(|x-z|\geq2|x-y|\). This fact along with the mean value theorem yields
Furthermore, by using Hölder’s inequality and the \(A_{p,q}\) condition on w, we get, for any \(x\in B\),
From the pointwise estimate (5.4), it readily follows that
By combining the above estimates for I and II, we are done. □
Proof of Theorem 2.6
Let \(f\in\mathcal {L}^{p,\Theta}(\mathbb {R}^{n})\) with \(1< p<\infty\). For any given ball \(B=B(x_{0},r_{B})\) in \(\mathbb {R}^{n}\), it is sufficient to prove that the following inequality
holds. Decompose f as \(f=f_{1}+f_{2}\), where \(f_{1}=f\cdot\chi_{4B}\), \(f_{2}=f\cdot\chi_{(4B)^{c}}\), \(4B=B(x_{0},4r_{B})\). As in the proof of Theorem 2.5, we can also divide the left-hand side of (5.5) into two parts. That is,
First let us consider the term \(I'\). Since \(I_{\alpha}\) is bounded from \(L^{p}(\mathbb {R}^{n})\) to \(L^{q}(\mathbb {R}^{n})\), by Hölder’s inequality, we obtain
Applying our assumption (2.12) on Θ, we further have
On the other hand, in Theorem 2.5, we have already shown that, for any \(x\in B\) (see (5.3)),
Moreover, by using Hölder’s inequality and the assumption (2.12) on Θ, we can deduce that
Therefore,
By combining the above estimates for \(I'\) and \(II'\), we are done. □
6 Partial results on two-weight problems
In the last section, we consider related problems about two-weight, weak type norm inequalities for \(I_{\alpha}\) and \([b,I_{\alpha}]\). In [21], Cruz-Uribe and Pérez considered the problem of finding sufficient conditions on a pair of weights \((u,v)\) which ensure the boundedness of the operator \(I_{\alpha}\) from \(L^{p}(v)\) to \(WL^{p}(u)\), where \(1< p<\infty\). They gave a sufficient \(A_{p}\)-type condition (see (6.1) below), and proved a two-weight, weak type \((p,p)\) inequality for \(I_{\alpha}\)(see also [22] for another, simpler proof), which solved a problem posed by Sawyer and Wheeden in [23].
Theorem 6.1
Let \(0<\alpha<n\) and \(1< p<\infty\). Given a pair of weights \((u,v)\), suppose that, for some \(r>1\) and for all cubes Q,
Then the fractional integral operator \(I_{\alpha}\) satisfies the weak type \((p,p)\) inequality
where C does not depend on f and \(\sigma>0\).
Moreover, in [24], Li improved this result by replacing the ‘power bump’ in (6.1) by a smaller ‘Orlicz bump’. On the other hand, in [25], Liu and Lu obtained a sufficient \(A_{p}\)-type condition for the commutator \([b,I_{\alpha}]\) to satisfy the two-weight weak type \((p,p)\) inequality, where \(1< p<\infty\). That condition is an \(A_{p}\)-type condition in the scale of Orlicz spaces (see (6.3) below).
Theorem 6.2
[25]
Let \(0<\alpha<n\), \(1< p<\infty\) and \(b\in BMO(\mathbb {R}^{n})\). Given a pair of weights \((u,v)\), suppose that, for some \(r>1\) and for all cubes Q,
where \(\mathcal {A}(t)=t^{p'}(1+\log^{+}t)^{p'}\). Then the linear commutator \([b,I_{\alpha}]\) satisfies the weak type \((p,p)\) inequality
where C does not depend on f and \(\sigma>0\).
Here and in the following, all cubes are assumed to have their sides parallel to the coordinate axes, \(Q(x_{0},\ell)\) will denote the cube centered at \(x_{0}\) and has side length ℓ. For any cube \(Q(x_{0},\ell )\) and any \(\lambda>0\), we denote by λQ the cube with the same center as Q whose side length is λ times that of Q, i.e., \(\lambda Q:=Q(x_{0},\lambda\ell)\). We now extend the results mentioned above to the Morrey-type spaces associated to θ.
Theorem 6.3
Let \(0<\alpha<n\) and \(1< p<\infty\). Given a pair of weights \((u,v)\), suppose that, for some \(r>1\) and for all cubes Q, (6.1) holds. If θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa<1\) and \(u\in\Delta_{2}\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {M}^{p,\theta}(v,u)\) into \(W\mathcal {M}^{p,\theta}(u)\).
Theorem 6.4
Let \(0<\alpha<n\), \(1< p<\infty\) and \(b\in BMO(\mathbb {R}^{n})\). Given a pair of weights \((u,v)\), suppose that, for some \(r>1\) and for all cubes Q, (6.3) holds. If θ satisfies the \(\mathcal {D}_{\kappa}\) condition (2.8) with \(0\leq\kappa<1\) and \(u\in A_{\infty}\), then the linear commutator \([b,I_{\alpha}]\) is bounded from \(\mathcal {M}^{p,\theta}(v,u)\) into \(W\mathcal {M}^{p,\theta}(u)\).
Proof of Theorem 6.3
Let \(f\in\mathcal {M}^{p,\theta}(v,u)\) with \(1< p<\infty\). For arbitrary \(x_{0}\in\mathbb {R}^{n}\), set \(Q=Q(x_{0},\ell)\) for the cube centered at \(x_{0}\) and with the side length ℓ. Let
where \(\chi_{2Q}\) denotes the characteristic function of \(2Q=Q(x_{0},2\ell )\). Then, for any given \(\sigma>0\), we write
Using Theorem 6.1, the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ and inequality (2.1) (consider cube Q instead of ball B), we get
As for the term \(K_{2}\), using the same methods and steps as in dealing with \(I_{2}\) in Theorem 2.1, we can also obtain, for any \(x\in Q\),
This pointwise estimate (6.5) together with Chebyshev’s inequality implies
Moreover, an application of Hölder’s inequality shows that
For any \(j\in\mathbb {Z}^{+}\), since \(0< u(Q)< u(2^{j+1}Q)<+\infty\) when u is a weight function, by the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ with \(0\leq\kappa<1\), we can see that
In addition, we apply Hölder’s inequality with exponent r to get
Hence, in view of (6.6) and (6.7) derived above, we have
The last inequality is obtained by the \(A_{p}\)-type condition (6.1) on \((u,v)\). Furthermore, since \(u\in\Delta_{2}\), we can easily check that there exists a reverse doubling constant \(D=D(u)>1\) independent of Q such that (see Lemma 4.1 in [10])
which implies that, for any \(j\in\mathbb {Z}^{+}\), \(u(2^{j+1}Q)\geq D^{j+1}\cdot u(Q)\) by iteration. Hence,
where the last series is convergent since the reverse doubling constant \(D>1\) and \(0\leq\kappa<1\). This yields our desired estimate \(K_{2}\leq C \|f \|_{\mathcal {M}^{p,\theta}(v,u)}\). Summing up the above estimates for \(K_{1}\) and \(K_{2}\), and then taking the supremum over all cubes \(Q\subset\mathbb {R}^{n}\) and all \(\sigma>0\), we finish the proof of Theorem 6.3. □
Proof of Theorem 6.4
Let \(f\in\mathcal {M}^{p,\theta}(v,u)\) with \(1< p<\infty\). For an arbitrary cube \(Q=Q(x_{0},\ell)\) in \(\mathbb {R}^{n}\), as before, we set
Then, for any given \(\sigma>0\), we write
Applying Theorem 6.2, the \(\mathcal {D}_{\kappa}\) condition (2.8) of θ and inequality (2.1) (consider cube Q instead of ball B), we get
Next we estimate \(K'_{2}\). For any \(x\in Q\), from the definition of \([b,I_{\alpha}]\), we can see that
Consequently, we can further divide \(K'_{2}\) into two parts,
For the term \(K'_{3}\), it follows from the pointwise estimate (6.5) mentioned above and Chebyshev’s inequality that
where in the last inequality we have used the fact that Lemma 4.1(ii) still holds when B replaced by Q and u is an \(A_{\infty}\) weight. Repeating the arguments in the proof of Theorem 6.3, we can show that \(K'_{3}\leq C \|f \|_{\mathcal {M}^{p,\theta}(v,u)}\). As for the term \(K'_{4}\), we can show the following pointwise estimate in the same manner as in the proof of Theorem 2.3:
This, together with Chebyshev’s inequality yields
An application of Hölder’s inequality leads to
where \(\mathcal {C}(t)=t^{p'}\) is a Young function. For \(1< p<\infty\), we know the inverse function of \(\mathcal {C}(t)\) is \(\mathcal {C}^{-1}(t)=t^{1/{p'}}\). Observe that
where
Thus, by inequality (2.4) and the unweighted version of inequality (4.4) (when \(w\equiv1\)), we have
Since u is an \(A_{\infty}\) weight, one has \(u\in\Delta_{2}\). Moreover, in view of (6.6) and (6.7), we can deduce that
The last inequality is obtained by the \(A_{p}\)-type condition (6.3) on \((u,v)\) and the estimate (6.8). It remains to estimate the last term \(K'_{6}\). Applying Lemma 4.1(i) (use Q instead of B) and Hölder’s inequality, we get
Let \(\mathcal {C}(t)\), \(\mathcal {A}(t)\) be the same as before. Obviously, \(\mathcal {C}(t)\leq\mathcal {A}(t)\) for all \(t>0\), then it is not difficult to see that, for any given cube \(Q\subset\mathbb {R}^{n}\), we have \(\|f \|_{\mathcal {C},Q}\leq \|f \|_{\mathcal {A},Q}\) by definition, which implies that condition (6.3) is stronger than condition (6.1). This fact together with (6.6) and (6.7) yields
Moreover, by our additional hypothesis on \(u:u\in A_{\infty}\) and inequality (2.2) with exponent \(\delta>0\) (use Q instead of B), we finally obtain
which in turn shows that \(K'_{6}\leq C \|f \|_{\mathcal {M}^{p,\theta }(v,u)}\). Summing up all the above estimates, and then taking the supremum over all cubes \(Q\subset\mathbb {R}^{n}\) and all \(\sigma>0\), we therefore conclude the proof of Theorem 6.4. □
In particular, if we take \(\theta(x)=x^{\kappa}\) with \(0<\kappa<1\), then we immediately get the following two-weight, weak type \((p,p)\) inequalities for \(I_{\alpha}\) and \([b,I_{\alpha}]\) in the weighted Morrey spaces.
Corollary 6.1
Let \(1< p<\infty\), \(0<\kappa<1\) and \(0<\alpha<n\). Given a pair of weights \((u,v)\), suppose that, for some \(r>1\) and for all cubes Q, (6.1) holds. If \(u\in\Delta_{2}\), then the fractional integral operator \(I_{\alpha}\) is bounded from \(\mathcal {L}^{p,\kappa }(v,u)\) into \(W\mathcal {L}^{p,\kappa}(u)\).
Corollary 6.2
Let \(1< p<\infty\), \(0<\kappa<1\), \(b\in BMO(\mathbb {R}^{n})\) and \(0<\alpha <n\). Given a pair of weights \((u,v)\), suppose that, for some \(r>1\) and for all cubes Q, (6.3) holds. If \(u\in A_{\infty}\), then the linear commutator \([b,I_{\alpha}]\) is bounded from \(\mathcal {L}^{p,\kappa}(v,u)\) into \(W\mathcal {L}^{p,\kappa}(u)\).
References
Stein, EM: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)
Muckenhoupt, B, Wheeden, RL: Weighted norm inequalities for fractional integrals. Trans. Am. Math. Soc. 192, 261-274 (1974)
Segovia, C, Torrea, JL: Weighted inequalities for commutators of fractional and singular integrals. Publ. Mat. 35, 209-235 (1991)
Chanillo, S: A note on commutators. Indiana Univ. Math. J. 31, 7-16 (1982)
Cruz-Uribe, D, Fiorenza, A: Weighted endpoint estimates for commutators of fractional integrals. Czechoslov. Math. J. 57(132), 153-160 (2007)
Cruz-Uribe, D, Fiorenza, A: Endpoint estimates and weighted norm inequalities for commutators of fractional integrals. Publ. Mat. 47, 103-131 (2003)
Morrey, CB: On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 43, 126-166 (1938)
Mizuhara, T: Boundedness of some classical operators on generalized Morrey spaces. In: Harmonic Analysis, ICM-90 Satellite Conference Proceedings, pp. 183-189. Springer, Tokyo (1991)
Nakai, E: Hardy-Littlewood maximal operator, singular integral operators and the Riesz potentials on generalized Morrey spaces. Math. Nachr. 166, 95-103 (1994)
Komori, Y, Shirai, S: Weighted Morrey spaces and a singular integral operator. Math. Nachr. 282, 219-231 (2009)
Muckenhoupt, B: Weighted norm inequalities for the Hardy maximal function. Trans. Am. Math. Soc. 165, 207-226 (1972)
Lu, SZ, Ding, Y, Yan, DY: Singular Integrals and Related Topics. World Scientific Publishing, Hackensack (2007)
Garcia-Cuerva, J, Rubio de Francia, JL: Weighted Norm Inequalities and Related Topics. North-Holland, Amsterdam (1985)
Rao, MM, Ren, ZD: Theory of Orlicz Spaces. Dekker, New York (1991)
O’Neil, R: Fractional integration in Orlicz spaces. I. Trans. Am. Math. Soc. 115, 300-328 (1965)
John, F, Nirenberg, L: On functions of bounded mean oscillation. Commun. Pure Appl. Math. 14, 415-426 (1961)
Zhang, P: Weighted endpoint estimates for commutators of Marcinkiewicz integrals. Acta Math. Sin. Engl. Ser. 26, 1709-1722 (2010)
Johnson, R, Neugebauer, CJ: Change of variable results for \(A_{p}\) and reverse Hölder \(RH_{r}\) classes. Trans. Am. Math. Soc. 328, 639-666 (1991)
Stein, EM: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)
Wang, H: Boundedness of fractional integral operators with rough kernels on weighted Morrey spaces. Acta Math. Sin. 56, 175-186 (2013)
Cruz-Uribe, D, Pérez, C: Two-weight, weak-type norm inequalities for fractional integrals, Calderón-Zygmund operators and commutators. Indiana Univ. Math. J. 49, 697-721 (2000)
Cruz-Uribe, D: A new proof of weighted weak-type inequalities for fractional integrals. Comment. Math. Univ. Carol. 42, 481-485 (2001)
Sawyer, ET, Wheeden, RL: Weighted inequalities for fractional integrals on Euclidean and homogeneous spaces. Am. J. Math. 114, 813-874 (1992)
Li, WM: Two-weight weak type norm inequalities for fractional integral operators. Acta Math. Sin. 50, 851-856 (2007)
Liu, ZG, Lu, SZ: Two-weight weak-type norm inequalities for the commutators of fractional integrals. Integral Equ. Oper. Theory 48, 397-409 (2004)
Acknowledgements
The author would like to express his deep thanks to the referee for his careful reading and many valuable remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
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
Wang, H. Weighted inequalities for fractional integral operators and linear commutators in the Morrey-type spaces. J Inequal Appl 2017, 6 (2017). https://doi.org/10.1186/s13660-016-1279-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1279-6