Weighted inequalities for fractional integral operators and linear commutators in the Morrey-type spaces

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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$I_{\alpha}$\end{document}Iα in these new Morrey-type spaces. Furthermore, the weighted strong type estimate and endpoint estimate of linear commutators \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$[b,I_{\alpha}]$\end{document}[b,Iα] formed by b and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$I_{\alpha}$\end{document}Iα are established. Also we study related problems about two-weight, weak type inequalities for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$I_{\alpha}$\end{document}Iα and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$[b,I_{\alpha}]$\end{document}[b,Iα] in the Morrey-type spaces and give partial results.

It is well known that the Hardy-Littlewood-Sobolev theorem states that the fractional integral operator I α is bounded from L p (R n ) to L q (R n ) for  < α < n,  < p < n/α and /q = /pα/n. Also we know that I α is bounded from L  (R n ) to WL q (R n ) for  < α < n and q = n/(nα) (see []). In , Muckenhoupt and Wheeden [] studied the weighted boundedness of I α and obtained the following results.
For  < α < n, the linear commutator [b, I α ] generated by a suitable function b and I α is defined by |x -y| n-α dy.
In , Segovia and Torrea [] proved that [b, I α ] is also bounded from L p (w p ) ( < p < n/α) to L q (w q ) whenever b ∈ BMO(R n ) (see also [] for the unweighted case).
In , Cruz-Uribe and Fiorenza [] discussed the weighted endpoint inequalities for commutator of fractional integral operator and proved the following result (see also [] for the unweighted case).

Theorem . ([])
Let  < α < n, p = , q = n/(nα) and w q ∈ A  . Suppose that b ∈ BMO(R n ), then, for any given σ >  and any bounded domain ⊂ R n , there is a constant C > , which does not depend on f , and σ > , such that where (t) = t · ( + log + t) and log + t = max{log t, }.
On the other hand, the classical Morrey space was originally introduced by Morrey in [] to study the local behavior of solutions to second order elliptic partial differential equations. This classical space and various generalizations on the Euclidean space R n have been extensively studied by many authors. In [], Mizuhara introduced the generalized Morrey space L p, (R n ) which was later extended and studied in []. In [], Komori and Shirai defined a version of the weighted Morrey space L p,κ (v, u) which is a natural generalization of the weighted Lebesgue space.
Let I α be the fractional integral operator, and let [b, I α ] be its linear commutator. The main purpose of this paper is twofold. We first define a new kind of Morrey-type spaces M p,θ (v, u) containing generalized Morrey space L p, (R n ) and weighted Morrey space L p,κ (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 α and [b, I α ] in these new spaces. Then we will establish the weighted strong type and endpoint estimates for I α and [b, I α ] in these Morrey-type spaces M p,θ (v, u) for all  ≤ p < ∞. In addition, we will discuss two-weight, weak type norm inequalities for I α and [b, I α ] in M p,θ (v, u) and give some partial results.

Notations and preliminaries
Let R n be the n-dimensional Euclidean space of points x = (x  , x  , . . . , x n ) with norm |x| = ( n i= x  i ) / . For x  ∈ R n and r > , let B(x  , r) = {x ∈ R n : |xx  | < r} denote the open ball centered at x  of radius r, B(x  , r) c denote its complement and |B(x  , r)| be the Lebesgue measure of the ball B(x  , r). A non-negative function w defined on 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 . (A p weights []) A weight w is said to belong to the class A p for  < p < ∞, if there exists a positive constant C such that, for any ball B in R n , where p is the dual of p such that /p + /p = . The class A  is defined replacing the above inequality by for any ball B in R n . We also define A ∞ = ≤p<∞ A p .
The class A ,q ( < q < ∞) is defined replacing the above inequality by Lemma . Suppose that  < α < n,  ≤ p < n/α and /q = /pα/n. The following statements are true (see []): Given a ball B and λ > , λ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 χ E , the Lebesgue measure of E by |E| and the weighted measure of E by w(E), where w(E) := E w(x) dx. Given a weight w, we say that w satisfies the doubling condition if there exists a universal constant C >  such that, for any ball B in R n , we have When w satisfies this doubling condition (.), we denote w ∈  for brevity. We know that if w is in A ∞ , then w ∈  (see []). Moreover, if w ∈ A ∞ , then, for any ball B and any measurable subset E of B, there exists a number δ >  independent of E and B such that (see []) Given a weight function w on R n , for  ≤ p < ∞, 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) ( ≤ p < ∞) 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 []. A function A : [, +∞) → [, +∞) is said to be a Young function if it is continuous, convex and strictly increasing satisfying A() =  and A(t) → +∞ as t → +∞. An important example of Young function is A(t) = t p ( + log + t) p with some  ≤ p < ∞. Given a Young function A, we define the A-average of a function f over a ball B by means of the Luxemburg norm: In particular, when A(t) = t p ,  ≤ p < ∞, it is easy to see that 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Ā is the complementary Young function associated to A, which is given byĀ(s) : Obviously, (t) = t · ( + log + t) is a Young function and its complementary Young function is¯ (t) ≈ e t -. In the present situation, we denote f ,B and g ¯ ,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 []): Let A, B, and C be Young functions such that, for all t > , where A - (t) is the inverse function of A(t). Then, for all functions f and g and all balls B ⊂ R n , Let us now recall the definition of the space of BMO(R n ) (see []). BMO(R n ) is the Banach function space modulo constants with the norm · * defined by where the supremum is taken over all balls B in R n and b B stands for the mean value of b over B; that is,

Morrey-type spaces
Let us begin with the definitions of the weighted Morrey space with two weights and generalized Morrey space.
Definition . ([]) Let  ≤ p < ∞ and  < κ < . For two weights u and v on R n , the weighted Morrey space L p,κ (v, u) is defined by and the supremum is taken over all balls B in R n . If v = u, then we denote L p,κ (v), for short.
Definition . Let  ≤ p < ∞,  < κ <  and w be a weight on R n . We denote by W L p,κ (w) the weighted weak Morrey space of all measurable functions f for which Let = (r), r > , be a growth function; that is, a positive increasing function on (, +∞) and satisfy the following doubling condition: Definition . ([]) Let  ≤ p < ∞ and be a growth function on (, +∞). Then the generalized Morrey space L p, (R n ) is defined by and the supremum is taken over all balls B(x  , r) in R n with x  ∈ R n . Definition . Let  ≤ p < ∞ and be a growth function on (, +∞). We denote by W L p, (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  ≤ κ < . Assume that θ (·) is a positive increasing function defined in (, +∞) and satisfies the following D κ condition: where C >  is a constant independent of ξ and ξ .
Definition . Let  ≤ p < ∞,  ≤ κ <  and θ satisfy the D κ condition (.). For two weights u and v on R n , we denote by M p,θ (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 R n . If v = u, then we denote M p,θ (v), for short. Furthermore, we denote by W M p,θ (v) the generalized weighted weak Morrey space of all measurable functions f for which According to this definition, we recover the spaces L p,κ (v, u) and W L p,κ (v) under the choice of θ (x) = x κ with  < κ < : Also, note that if θ (x) ≡ , then M p,θ (v) = L p (v) and W M p,θ (v) = WL p (v), the classical weighted Lebesgue and weak Lebesgue spaces. The aim of this paper is to extend Theorems .-. to the corresponding Morrey-type spaces. Our main results on the boundedness of I α in the Morrey-type spaces associated to θ can be formulated as follows.
Let [b, I α ] be the commutator formed by I α and BMO function b. For the strong type estimate of the linear commutator [b, I α ] in the Morrey-type spaces associated to θ , we will prove To obtain endpoint estimate for the linear commutator [b, I α ], we first need to define the weighted A-average of a function f over a ball B by means of the weighted Luxemburg norm; that is, given a Young function A and w ∈ A ∞ , we define (see [, ] for instance) When A(t) = t, this norm is denoted by · L(w),B , and when (t) = t · ( + log + t), this norm is also denoted by · L log L(w),B . The complementary Young function of (t) is¯ (t) ≈ e t - with mean Luxemburg norm denoted by · exp L(w),B . For w ∈ A ∞ and for every ball B in R n , we can also show the weighted version of (.). Namely, the following generalized Hölder inequality in the weighted setting is true (see [] for instance). Now we introduce new Morrey-type spaces of L log L type associated to θ as follows.
Definition . Let p = ,  ≤ κ <  and θ satisfy the D κ condition (.). For two weights u and v on R n , we denote by Here the supremum is taken over all balls B in R n . If v = u, then we denote M ,θ L log L (v) for brevity.
Note that t ≤ t · ( + log + t) for all t > , then, for any ball B ⊂ R n and v ∈ A ∞ , we have holds for any ball B ⊂ R n . From this, we can further see that, when θ satisfies the D κ condition (.) with  ≤ κ < , and u is another weight function, In Definition ., we also consider the special case when θ is taken to be θ (x) = x κ with  < κ < , and denote the corresponding space by Definition . Let p =  and  < κ < . For two weights u and v on R n , we denote by In this situation, we have In the endpoint case p = , we will prove the following weak type L log L estimate of the linear commutator [b, I α ] in the Morrey-type space associated to θ .
, then, for any given σ >  and any ball B ⊂ R n , there exists a constant C >  independent of f , B and σ >  such that where (t) = t · ( + log + t). From the definitions, we can roughly say that the commutator In particular, if we take θ (x) = x κ with  < κ < , then we immediately get the following strong type estimate and endpoint estimate of I α and [b, I α ] in the weighted Morrey spaces.
Corollary . Let  < α < n, p = , q = n/(nα) and w ∈ A ,q . If  < κ < /q and b ∈ BMO(R n ), then, for any given σ >  and any ball B ⊂ R n , there exists a constant C >  independent of f , B and σ >  such that Moreover, for the extreme case κ = p/q of Corollary ., we will show that I α is bounded It should be pointed out that Corollaries . through . were given by Komori  Definition . In the unweighted case (when u = v ≡ ), we denote the corresponding unweighted Morrey-type spaces associated to θ by M p,θ (R n ), W M p,θ (R n ) and M ,θ L log L (R n ), respectively. That is, let  ≤ p < ∞ and θ satisfy the D κ condition (.) with  ≤ κ < , we define Naturally, when u(x) = v(x) ≡  we have the following unweighted results.
Corollary . Let  < α < n,  < p < n/α and /q = /pα/n. Assume that θ satisfies the D κ condition (.) with  ≤ κ < p/q, then the fractional integral operator I α is bounded from Corollary . Let  < α < n, p = , and q = n/(nα). Assume that θ satisfies the D κ condition (.) with  ≤ κ < /q, then the fractional integral operator I α is bounded from Corollary . Let  < α < n, p = , and q = n/(nα). Assume that θ satisfies the D κ condition (.) with  ≤ κ < /q and b ∈ BMO(R n ), then, for any given σ >  and any ball B ⊂ R n , there exists a constant C >  independent of f , B and σ >  such that We also introduce the generalized Morrey space of L log L type.
Definition . Let p =  and be a growth function on (, +∞). We denote by L , L log L (R n ) the generalized Morrey space of L log L type, which is given by In this situation, we also have L , Below we are going to show that our new Morrey-type spaces can be reduced to generalized Morrey spaces. In fact, assume that θ (·) is a positive increasing function defined in (, +∞) and satisfies the D κ condition (.) with some  ≤ κ < . For any fixed x  ∈ R n and r > , we set (r) := θ (|B(x  , r)|). Observe that Then it is easy to verify that (r), r > , is a growth function with doubling constant D( ) :  ≤ D( ) <  n . Hence, by the choice of mentioned above, we get M p,θ (R n ) = L p, (R n ) and W M p,θ (R n ) = W L p, (R n ) for p ∈ [, +∞), and M ,θ L log L (R n ) = L , L log L (R n ). Therefore, by the above unweighted results (Corollaries .-.), we can also obtain strong type estimate and endpoint estimate of I α and [b, I α ] in the generalized Morrey spaces.
Corollary . Let  < α < n, p =  and q = n/(nα). Suppose that satisfies the doubling condition (.) and  ≤ D( ) <  n/q , then the fractional integral operator I α is bounded from L , (R n ) into W L q, q (R n ).
We will also prove the following result which can be regarded as a supplement of Corollaries . and ..
Theorem . Let  < α < n,  < p < n/α and /q = /pα/n. Suppose that satisfies the following condition: (r) ≤ C · r np/q , for all r > , (.) where C = C( ) >  is a universal constant independent of r. Then the fractional integral operator I α is bounded from L p, (R n ) into BMO(R n ).
It is worth pointing out that Corollaries . through . were obtained by Nakai in []. Corollary . and Theorem . 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 ≈ B to denote the equivalence of A and B; that is, there exist two positive constants C  , C  independent of quantities A and B such that C  A ≤ B ≤ C  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.

Proofs of Theorems 2.1 and 2.2
Proof of Theorem . Here and in the following, for any positive number γ > , we denote f γ (x) := [f (x)] γ by convention. For example, when  < p < q < ∞, we have [f q/p (x)] /q = [f (x)] /p . Let f ∈ M p,θ (w p , w q ) with  < p, q < ∞ and w ∈ A p,q . For an arbitrary point x  ∈ R n , set B = B(x  , r B ) for the ball centered at x  and of radius r B , B = B(x  , r B ). We represent f as by the linearity of the fractional integral operator I α , one can write Below we will give the estimates of I  and I  , respectively. By the weighted (L p , L q )boundedness of I α (see Theorem .), we have Since w ∈ A p,q , we get w q ∈ A q ⊂ A ∞ by Lemma .(i). Moreover, since  < w q (B) < w q (B) < +∞ when w q ∈ A q with  < q < ∞, then by the D κ condition (.) of θ and inequality (.), we obtain As for the term I  , it is clear that, when x ∈ B and y ∈ (B) c , we get |x -y| ≈ |x  -y|. We then decompose 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 Notice that w q ∈ A q ⊂ A ∞ for  < q < ∞, then by using the D κ condition (.) of θ again, the inequality (.) with exponent δ >  and the fact that  ≤ κ < p/q, we find that which gives our desired estimate I  ≤ C f M p,θ (w p ,w q ) . Combining the above estimates for I  and I  , and then taking the supremum over all balls B ⊂ R n , we complete the proof of Theorem ..
Proof of Theorem . Let f ∈ M ,θ (w, w q ) with  < q < ∞ and w ∈ A ,q . For an arbitrary ball B = B(x  , r B ) ⊂ R n , we represent f as then, for any given σ > , by the linearity of the fractional integral operator I α , one can write We first consider the term I  . By the weighted weak (, q)-boundedness of I α (see Theorem .), we have Since w is in the class A ,q , we get w q ∈ A  ⊂ A ∞ by Lemma .(ii). Moreover, since  < w q (B) < w q (B) < +∞ when w q ∈ A  , then we apply the D κ condition (.) of θ and inequality (.) to obtain As for the term I  , it follows directly from Chebyshev's inequality and the pointwise estimate (.) that Moreover, by applying Hölder's inequality and then the reverse Hölder inequality in succession, we can show that w q ∈ A  if and only if w ∈ A  ∩ RH q (see []), where RH q denotes the reverse Hölder class. Another application of A  condition on w shows that In addition, note that w ∈ RH q . We are able to verify that, for any j ∈ Z + , which is equivalent to Consequently, Recall that w q ∈ A  ⊂ A ∞ , therefore, by using the D κ condition (.) of θ again, the inequality (.) with exponent δ * >  and the fact that  ≤ κ < /q, we get which implies our desired estimate I  ≤ C f M ,θ (w,w q ) . Summing up the above estimates for I  and I  , and then taking the supremum over all balls B ⊂ R n and all σ > , we finish the proof of Theorem ..

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 . Let b be a function in BMO(R n ).
(i) For every ball B in R n and for all j ∈ Z + , then (ii) For  < q < ∞, every ball B in R n and for all μ ∈ A ∞ , then Proof For the proof of (i), we refer the reader to []. For the proof of (ii), we refer the reader to [].
Proof of Theorem . Let f ∈ M p,θ (w p , w q ) with  < p, q < ∞ and w ∈ A p,q . For each fixed ball B = B(x  , r B ) ⊂ R n , as before, we represent f as By the linearity of the commutator operator [b, I α ], we write Since w is in the class A p,q , we get w q ∈ A q ⊂ A ∞ by Lemma .(i). By using Theorem ., the D κ condition (.) of θ and inequality (.), we obtain Let us now turn to the estimate of J  . By definition, for any x ∈ B, we have In the proof of Theorem ., we have already shown that (see (.)) Following the same argument as in (.), we can also prove that Hence, from the above two pointwise estimates for Below we will give the estimates of J  , J  and J  , respectively. To estimate J  , note that w q ∈ A q ⊂ A ∞ with  < q < ∞. Using the second part of Lemma ., Hölder's inequality, and the A p,q condition on w, we obtain where in the last inequality we have used the estimate (.). To estimate J  , applying the first part of Lemma ., Hölder's inequality, and the A p,q condition on w, we can deduce that For any j ∈ Z + , since  < w q (B) < w q ( j+ B) < +∞ when w q ∈ A q with  < q < ∞, by using the D κ condition (.) of θ and the inequality (.) with exponent δ > , we thus obtain where the last series is convergent since the exponent δ(/qκ/p) is positive. This implies our desired estimate J  ≤ C f M p,θ (w p ,w q ) . It remains to estimate the last term J  . An application of Hölder's inequality shows that If we set μ(y) = w(y) -p , then we have μ ∈ A p ⊂ A ∞ because w ∈ A p,q by Lemma .(i).
Thus, it follows from the second part of Lemma . and the A p,q condition that Therefore, in view of the estimates (.) and (.), we conclude that Summarizing the estimates derived above and then taking the supremum over all balls B ⊂ R n , we complete the proof of Theorem ..
Proof of Theorem . For any fixed ball B = B(x  , r B ) in R n , as before, we represent f as Then, for any given σ > , by the linearity of the commutator operator [b, We first consider the term J  . By using Theorem . and the previous estimate (.), we get Since w is a weight in the class A ,q , one has w q ∈ A  ⊂ A ∞ by Lemma .(ii). Moreover, since  < w q (B) < w q (B) < +∞ when w q ∈ A  , by the D κ condition (.) of θ and inequality (.), we have , which is our desired estimate. We now turn to dealing with the term J  . Recall that the inequality is valid. So we can further decompose J  as By using the previous pointwise estimate (.), Chebyshev's inequality together with Lemma .(ii), we deduce that Furthermore, note that t ≤ (t) = t · ( + log + t) for any t > . As we pointed out in Theorem . that w q ∈ A  if and only if w ∈ A  ∩ RH q , it then follows from the A  condition and the previous estimate (.) that In view of (.) and (.), we have .
On the other hand, applying the pointwise estimate (.) and Chebyshev's inequality, we get For the term J  , since w ∈ A  , it follows from the A  condition and the fact t ≤ (t) that Furthermore, we use the generalized Hölder inequality with weight (.) to obtain In the last inequality, we have used the well-known fact that (see It is equivalent to the inequality which is just a corollary of the well-known John-Nirenberg inequality (see []) and the comparison property of A  weights. Hence, by the estimates (.) and (.), .
For the last term J  we proceed as follows. Using the first part of Lemma . together with the facts w ∈ A  and t ≤ (t) = t · ( + log + t), we deduce that Making use of the inequalities (.) and (.), we further obtain We can now argue exactly as we did in the estimation of J  to get (now choose δ * in (.)) Notice that the exponent δ * (/qκ) is positive by the choice of κ, which guarantees that the last series is convergent. If we substitute this estimate (.) into the term J  , then we get the desired inequality This completes the proof of Theorem ..

Proofs of Theorems 2.and 2.6
Proof of Theorem . Let f ∈ M p,θ (w p , w q ) with  < p, q < ∞ and w ∈ A p,q . For any given ball B = B(x  , r B ) in R n , it suffices to prove that the following inequality . By the linearity of the fractional integral operator I α , the left-hand side of (.) 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 α (see Theorem .) and Hölder's inequality, we obtain Since w is a weight in the class A p,q , one has w q ∈ A q ⊂ A ∞ by Lemma .(i). By definition, it reads Since w q ∈ A q ⊂ A ∞ , w q ∈  . Using the inequalities (.) and (.) and noting the fact that κ = p/q, we have Now we estimate II. For any x ∈ B, Since both x and y are in B, z ∈ (B) c , by a purely geometric observation, we must have |x -z| ≥ |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 ∈ B, From the pointwise estimate (.), it readily follows that By combining the above estimates for I and II, we are done.
Proof of Theorem . Let f ∈ L p, (R n ) with  < p < ∞. For any given ball B = B(x  , r B ) in R n , it is sufficient to prove that the following inequality As in the proof of Theorem ., we can also divide the left-hand side of (.) into two parts. That is, First let us consider the term I . Since I α is bounded from L p (R n ) to L q (R n ), by Hölder's inequality, we obtain Applying our assumption (.) on , we further have I ≤ C f L p, (R n ) · (r B ) n/q |B(x  , r B )| /q ≤ C f L p, (R n ) .
On the other hand, in Theorem ., we have already shown that, for any x ∈ B (see (.)), Moreover, by using Hölder's inequality and the assumption (.) on , we can deduce that Therefore, By combining the above estimates for I and II , we are done.

Partial results on two-weight problems
In the last section, we consider related problems about two-weight, weak type norm inequalities for I α and [b, I α ]. In [], 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 α from L p (v) to WL p (u), where  < p < ∞. They gave a sufficient A p -type condition (see (.) below), and proved a two-weight, weak type (p, p) inequality for I α (see also [] for another, simpler proof ), which solved a problem posed by Sawyer  where  < p < ∞. That condition is an A p -type condition in the scale of Orlicz spaces (see (.) below).
Theorem . ([]) Let  < α < n,  < p < ∞ and b ∈ BMO(R n ). Given a pair of weights (u, v), suppose that, for some r >  and for all cubes Q, where A(t) = t p (+log + t) p . Then the linear commutator [b, I α ] satisfies the weak type (p, p) inequality where C does not depend on f and σ > .
Here and in the following, all cubes are assumed to have their sides parallel to the coordinate axes, Q(x  , ) will denote the cube centered at x  and has side length . For any cube Q(x  , ) and any λ > , we denote by λQ the cube with the same center as Q whose side length is λ times that of Q, i.e., λQ := Q(x  , λ ). We now extend the results mentioned above to the Morrey-type spaces associated to θ . Theorem . Let  < α < n and  < p < ∞. Given a pair of weights (u, v), suppose that, for some r >  and for all cubes Q, (.) holds. If θ satisfies the D κ condition (.) with  ≤ κ <  and u ∈  , then the fractional integral operator I α is bounded from M p,θ (v, u) into W M p,θ (u).
Theorem . Let  < α < n,  < p < ∞ and b ∈ BMO(R n ). Given a pair of weights (u, v), suppose that, for some r >  and for all cubes Q, (.) holds. If θ satisfies the D κ condition (.) with  ≤ κ <  and u ∈ A ∞ , then the linear commutator [b, I α ] is bounded from M p,θ (v, u) into W M p,θ (u).
Proof of Theorem . Let f ∈ M p,θ (v, u) with  < p < ∞. For arbitrary x  ∈ R n , set Q = Q(x  , ) for the cube centered at x  and with the side length . Let