research article higher order commutators of fractional ...usual lebesgue spaces 1 (r ) to 2 (r )...
Post on 10-Feb-2021
1 Views
Preview:
TRANSCRIPT
-
Hindawi Publishing CorporationJournal of Function Spaces and ApplicationsVolume 2013, Article ID 257537, 7 pageshttp://dx.doi.org/10.1155/2013/257537
Research ArticleHigher Order Commutators of Fractional Integral Operator onthe Homogeneous Herz Spaces with Variable Exponent
Liwei Wang,1 Meng Qu,2 and Lisheng Shu2
1 School of Mathematics and Physics, Anhui Polytechnic University, Wuhu 241000, China2 School of Mathematics and Computer Science, Anhui Normal University, Wuhu 241003, China
Correspondence should be addressed to Liwei Wang; wangliwei8013@163.com
Received 28 March 2013; Accepted 20 May 2013
Academic Editor: Dachun Yang
Copyright © 2013 Liwei Wang et al. This is an open access article distributed under the Creative Commons Attribution License,which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
By decomposing functions, we establish estimates for higher order commutators generated by fractional integral with BMOfunctions or the Lipschitz functions on the homogeneous Herz spaces with variable exponent.These estimates extend some knownresults in the literatures.
1. Introduction
Let ð be a locally integrable function, 0 < ðœ < ð, and ð â N;the higher order commutators of fractional integral operatorðŒð
ðœ,ðare defined by
ðŒð
ðœ,ðð (ð¥) = â«
Rð
[ð (ð¥) â ð (ðŠ)]ð
ð¥ â ðŠðâðœ
ð (ðŠ) ððŠ. (1)
Obviously, ðŒ0ðœ,ð
= ðŒðœand ðŒ1
ðœ,ð= [ð, ðŒ
ðœ]. The famous
Hardy-Littlewood-Sobolev theorem tells us that the frac-tional integral operator ðŒ
ðœis a bounded operator from the
usual Lebesgue spaces ð¿ð1(Rð) to ð¿ð2(Rð) when 0 < ð1
<
ð2
< â and 1/ð1â 1/ð
2= ðœ/ð. Also, many generalized
results about ðŒðœand the commutator [ð, ðŒ
ðœ] on some function
spaces have been studied; see [1â3] for details.It is well known that the main motivation for studying
the spaces with variable exponent arrived in the nonlinearelasticity theory and differential equations with nonstandardgrowth. Since the fundamental paper [4] by KovaÌcÌik andRaÌkosnıÌk appeared in 1991, the Lebesgue spaces with variableexponent ð¿ð(â )(Rð) have been extensively investigated. In therecent twenty years, boundedness of some important operat-ors, for example, the CalderoÌn-Zygmund operators, frac-tional integrals, and commutators, on ð¿ð(â )(Rð) has beenobtained; see [5â7]. Recently, Diening [8] extended the
(ð¿ð1(Rð), ð¿ð2(Rð)) boundedness of ðŒ
ðœto the Lebesgue spaces
with variable exponent. Izuki [7] first introduced the Herzspaces with variable exponent ï¿œÌï¿œðŒ,ð
ð(â )(Rð), which is a general-
ized space of the Herz space ï¿œÌï¿œðŒ,ðð
(Rð); see [9, 10], and in caseof ð â BMO(Rð), he obtained the boundedness propertiesof the commutator [ð, ðŒ
ðœ]. The paper [11] by Lu et al. indi-
cates that the commutator [ð, ðŒðœ] with ð â BMO(Rð) and
with ð â LipðŒ(Rð) (0 < ðŒ †1) has many different pro-
perties. In 2012, Zhou [12] studied the boundedness of ðŒðœ
on the Herz spaces with variable exponent and proved thatthe boundedness properties of the commutator [ð, ðŒ
ðœ] also
hold in case of ð â LipðŒ(Rð) (0 < ðŒ †1). The higher
order commutators ðŒððœ,ð
are recently considered byWang et al.in the paper [13, 14]; they established the BMO and theLipschitz estimates for ðŒð
ðœ,ðon the Lebesgue spaces with vari-
able exponent ð¿ð(â )(Rð). Motivated by [7, 12â14], in thisnote, we establish the boundedness of the higher order com-mutators ðŒð
ðœ,ðon the Herz spaces with variable exponent.
For brevity, |ðž| denotes the Lebesgue measure for ameasurable set ðž â Rð, and ð
ðždenotes the mean value of ð
on ðž (ððž= (1/|ðž|) â«
ðž
ð(ð¥)ðð¥). The exponent ð(â )means theconjugate of ð(â ), that is, 1/ð(â )+1/ð(â ) = 1.ð¶ denotes a pos-itive constant, which may have different values even in thesame line. Let us first recall some definitions and nota-tions.
CORE Metadata, citation and similar papers at core.ac.uk
Provided by MUCC (Crossref)
https://core.ac.uk/display/186894263?utm_source=pdf&utm_medium=banner&utm_campaign=pdf-decoration-v1
-
2 Journal of Function Spaces and Applications
Definition 1. For 0 < 🠆1, the Lipschitz space LipðŸ(Rð) is
the space of functions ð satisfying
ðLipðŸ
= supð¥,ðŠâRð,ð¥ Ìž= ðŠ
ð (ð¥) â ð (ðŠ)
ð¥ â ðŠðŸ
< â. (2)
Definition 2. Forð â ð¿1loc(Rð
), the boundedmean oscillationspace BMO(Rð) is the space of functions ð satisfying
ðBMO = sup
ðµ
1
|ðµ|â«ðµ
ð (ð¥) â ððµ ðð¥ < â, (3)
where the supremum is taken over all balls ðµ in Rð.
Definition 3. Let ð(â ) : ðž â [1,â) be a measurable func-tion.
(1) The Lebesgue space with variable exponent ð¿ð(â )(ðž) isdefined by
ð¿ð(â )
(ðž) = {ð is measurable : â«ðž
(
ð (ð¥)
ð)
ð(ð¥)
ðð¥
< â for some constant ð > 0} .
(4)
(2) The space with variable exponent ð¿ð(â )loc (ðž) is definedby
ð¿ð(â )
loc (ðž)
= {ð : ð â ð¿ð(â )
(ðŸ) for all compact subsets ðŸ â ðž } .(5)
The Lebesgue space ð¿ð(â )(ðž) is a Banach space with theLuxemburg norm
ðð¿ð(â )(ðž) = inf {ð > 0 : â«
ðž
(
ð (ð¥)
ð)
ð(ð¥)
ð𥠆1} . (6)
We denote
ðâ= ess inf {ð (ð¥) : ð¥ â ðž} ,
ð+= ess sup {ð (ð¥) : ð¥ â ðž} ,
P (ðž) = {ð (â ) : ðâ> 1, ð
+< â} ,
B (ðž) = {ð (â ) : ð (â ) â P (ðž) ,
ð is bounded on ð¿ð(â ) (ðž)} ,
(7)
where the Hardy-Littlewood maximal operator ð is definedby
ðð(ð¥) = supð>0
ðâð
â«ðµ(ð¥,ð)â©ðž
ð (ðŠ) ððŠ, (8)
where ðµ(ð¥, ð) = {ðŠ â Rð : |ð¥ â ðŠ| < ð}.
Proposition 4 (see [15]). If ð(â ) â P(ðž) satisfies
ð (ð¥) â ð (ðŠ) â€
âð¶
log (ð¥ â ðŠ),
ð¥ â ðŠ â€
1
2,
ð (ð¥) â ð (ðŠ) â€
ð¶
log (ð + |ð¥|),
ðŠ †|ð¥| ,
(9)
then one has ð(â ) â B(ðž).
Let ðµð= {ð¥ â Rð : |ð¥| â©œ 2ð}, ð
ð= ðµð\ðµðâ1
, and ðð= ðð ð
be the characteristic function of the set ð ðfor ð â Z. For
ð â N, we denote ðð
= ðð ð
ifð ⥠1, and ð0= ððµ0
.
Definition 5 (see [7]). For ðŒ â R, 0 < ð †â and ð(â ) âP(Rð).
(1) The homogeneous Herz spaces ï¿œÌï¿œðŒ,ðð(â )
(Rð) are definedby
ï¿œÌï¿œðŒ,ð
ð(â )(Rð
) = {ð â ð¿ð(â )
loc (Rð
\ {0}) :ð
ï¿œÌï¿œðŒ,ð
ð(â )(Rð)
< â} , (10)
whereð
ï¿œÌï¿œðŒ,ð
ð(â )(Rð)
={2ðŒðððð
ð¿ð(â )(Rð)}â
ð=ââ
âð(Z). (11)
(2) The nonhomogeneous Herz spaces ðŸðŒ,ðð(â )
(Rð) are de-fined by
ðŸðŒ,ð
ð(â )(Rð
) = {ð â ð¿ð(â )
loc (Rð
) :ð
ðŸðŒ,ð
ð(â )(Rð)
< â} , (12)
whereð
ðŸðŒ,ð
ð(â )(Rð)
={2ðŒðððð
ð¿ð(â )(Rð)}â
ð=0
âð(N). (13)
In this note, we obtain the following results.
Theorem 6. Suppose that ð â Lipðœ1
(Rð) (0 < ðœ1
< 1),ð2(â ) â P(Rð) satisfies conditions (9) in Proposition 4. If
0 < ð < min {1/(ð1)+, 1/(ð
2)+}, 0 < ðœ + ððœ
1< ðð, 0 <
ðŒ < ðð â ðœ â ððœ1, 0 < ð
1†ð2
< â, and 1/ð1(ð¥) â
1/ð2(ð¥) = (ðœ + ððœ
1)/ð, then the higher order commutators
ðŒð
ðœ,ðare bounded from ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð) to ï¿œÌï¿œðŒ,ð2
ð2(â )(Rð).
Theorem 7. Suppose that ð â BMO(Rn), ð2(â ) â P(Rð)
satisfies conditions (9) in Proposition 4. If 0 < ð <min {1/(ð
1)+, 1/(ð
2)+}, 0 < ðœ < ðð, 0 < ðŒ < ðð â ðœ,
0 < ð1
†ð2
< â, and 1/ð1(ð¥) â 1/ð
2(ð¥) = ðœ/ð, then the
higher order commutators ðŒððœ,ð
are bounded from ï¿œÌï¿œðŒ,ð1ð1(â )(Rð) to
ï¿œÌï¿œðŒ,ð2
ð2(â )(Rð).
Remark A. The previous main results generalize the(ð¿ð(â )
(Rð), ð¿ð(â )(Rð)) boundedness of the higher ordercommutators ðŒð
ðœ,ðin [13] to the case of the Herz spaces with
variable exponent. If ð = 1, our conclusions coincide withthe corresponding results in [7, 12]. Moreover, the sameboundedness also holds for the nonhomogeneous case.
-
Journal of Function Spaces and Applications 3
2. Proof of Theorems 6 and 7
To prove our main results, we need the following lemmas.
Lemma 8 (see [4]). Let ð(â ) â P(Rð); if ð â ð¿ð(â )(Rð) andð â ð¿ð
(â )
(Rð), then
â«Rð
ð (ð¥) ð (ð¥) ð𥠆ðð
ðð¿ð(â )(Rð)
ðð¿ð(â )(Rð)
, (14)
where ðð= 1 + 1/ð
ââ 1/ð
+.
Lemma 9 (see [7]). Let ð(â ) â B(Rð); then for all balls ðµ inRð,
1
|ðµ|
ððµð¿ð(â )(Rð)
ððµð¿ð(â )(Rð)
†ð¶. (15)
Lemma 10 (see [7]). Let ð2(â ) â B(Rð); then for all balls ðµ in
Rð and all measurable subsets ð â ðµ, one can take a constant0 < ð < 1/(ð
2)+, so that
ððð¿ð
2(â )
(Rð)ððµ
ð¿ð
2(â )
(Rð)
†ð¶(|ð|
|ðµ|)
ð
. (16)
Lemma 11 (see [8]). Suppose that ð1(â ) â P(Rð) satisfies
conditions (9) in Proposition 4, 0 < ðœ < ð/(ð1)+and 1/ð
1(ð¥)â
1/ð2(ð¥) = ðœ/ð; then
ðŒðœ(ð)
ð¿ð2(â )(Rð)†ð¶
ðð¿ð1(â )(Rð). (17)
Lemma 12 (see [13]). Suppose that ð1(â ), ð2(â ) â P(Rð).
(1) Let 0 < ðœ < ð/(ð1)+, ð â BMO(Rn). If ð
2(â ) satisfies
conditions (9) in Proposition 4 and 1/ð1(ð¥)â1/ð
2(ð¥) =
ðœ/ð, thenðŒð
ðœ,ð(ð)
ð¿ð2(â )(Rð)†ð¶âðâ
ð
BMOð
ð¿ð1(â )(Rð). (18)
(2) Let 0 < ðœ + ððœ1< ð/(ð
1)+, ð â Lip
ðœ1
(Rð) (0 < ðœ1<
1). If ð2(â ) satisfies conditions (9) in Proposition 4 and
1/ð1(ð¥) â 1/ð
2(ð¥) = (ðœ + ððœ
1)/ð, then
ðŒð
ðœ,ð(ð)
ð¿ð2(â )(Rð)†ð¶âðâ
ð
Lipðœ1
ðð¿ð1(â )(Rð). (19)
Lemma 13 (see [16]). Let ð â BMO(Rn), ð > ð (ð, ð â N);one has
(1) ð¶â1||ð||ðBMO †supðµâRð(1/||ððµ||ð¿ð(â )(Rð))||(ð âððµ)ð
ððµ||ð¿ð(â )(Rð) †ð¶||ð||
ð
BMO;(2) ||(ð â ð
ðµð
)ð
ððµð
||ð¿ð(â )(Rð) †ð¶(ð â ð)
ð
||ð||ð
BMOÃ||ððµð
||ð¿ð(â )(Rð).
Proof of Theorem 6. Let ð â ï¿œÌï¿œðŒ,ð1ð1(â )(Rð); we can write
ð (ð¥) =
â
â
ð=ââ
ð (ð¥) ðð(ð¥) =
â
â
ð=ââ
ðð(ð¥) . (20)
For 0 < ð1/ð2†1, applying the inequality
(
â
â
ð=1
ðð)
ð1/ð2
â€
â
â
ð=1
ðð1/ð2
ð(ðð> 0, ð = 1, 2 . . .) , (21)
we obtainðŒð
ðœ,ð(ð)
ð1
ï¿œÌï¿œðŒ,ð2
ð2(â )(Rð)
= ð¶(
â
â
ð=ââ
2ðŒð2ððŒð
ðœ,ð(ð) ðð
ð2
ð¿ð2(â )(Rð)
)
ð1/ð2
†ð¶
â
â
ð=ââ
2ðŒð1ð
(
ðâ2
â
ð=ââ
ðŒð
ðœ,ð(ðð) ðð
ð¿ð2(â )(Rð))
ð1
+ ð¶
â
â
ð=ââ
2ðŒð1ð
(
â
â
ð=ðâ1
ðŒð
ðœ,ð(ðð) ðð
ð¿ð2(â )(Rð))
ð1
= ð1+ ð2.
(22)
We first estimate ð1. Noting that if ð¥ â ð
ð, ðŠ â ð
ð, and
ð †ð â 2, then |ð¥ â ðŠ| ⌠|ð¥| ⌠2ð, we get
ðŒð
ðœ,ð(ðð) ðð
†â«ð ð
ð (ð¥) â ð (ðŠ)ð
ð¥ â ðŠðâðœ
ðð(ðŠ)
ððŠ â ð
ð(ð¥)
†ð¶2ð(ðœâð)
â«ð ð
ð (ð¥)â ð (ðŠ)ð
ðð(ðŠ)
ððŠ â ð
ð(ð¥)
†ð¶2ð(ðœ+ððœ
1âð)
âðâð
Lipðœ1
â«ð ð
ðð(ðŠ)
ððŠ â ð
ð(ð¥) .
(23)
By HoÌlderâs inequality, Lemmas 9 and 10, we haveðŒð
ðœ,ð(ðð) ðð
ð¿ð2(â )(Rð)
†ð¶2ð(ðœ+ððœ
1âð)
âðâð
Lipðœ1
ðð
ð¿ð1(â )(Rð)
Ãððµð
ð¿ð2(â )(Rð)
ððµð
ð¿ð
1(â )
(Rð)
†ð¶2ð(ðœ+ððœ
1)
âðâð
Lipðœ1
ðð
ð¿ð1(â )(Rð)
Ãððµð
ð¿ð
1(â )
(Rð)
ððµð
â1
ð¿ð
2(â )
(Rð)
†ð¶2ð(ðœ+ððœ
1)
âðâð
Lipðœ1
ðð
ð¿ð1(â )(Rð)
Ãððµð
ð¿ð
1(â )
(Rð)
ððµð
â1
ð¿ð
2(â )
(Rð)
ððµð
ð¿ð
2(â )
(Rð)ððµð
ð¿ð
2(â )
(Rð)
†ð¶2ð(ðœ+ððœ
1)
2ðð(ðâð)
âðâð
Lipðœ1
ðð
ð¿ð1(â )(Rð)
Ãððµð
ð¿ð
1(â )
(Rð)
ððµð
â1
ð¿ð
2(â )
(Rð).
(24)
-
4 Journal of Function Spaces and Applications
Note that
ðŒðœ+ððœ
1
(ððµð
) (ð¥) ⥠ðŒðœ+ððœ
1
(ððµð
) (ð¥) â ððµð
(ð¥)
= â«ðµð
ððŠ
ð¥ â ðŠðâðœâððœ
1
â ððµð
(ð¥)
⥠ð¶2ð(ðœ+ððœ
1)
â ððµð
(ð¥) .
(25)
By Lemmas 8 and 11, we obtain
ððµð
â1
ð¿ð
2(â )
(Rð)†ð¶2âðð
ððµð
ð¿ð2(â )(Rð)
†ð¶2âðð
2âð(ðœ+ððœ
1)ðŒðœ+ððœ
1
(ððµð
)ð¿ð2(â )(Rð)
†ð¶2âð(ðœ+ððœ
1)
2âðð
ððµð
ð¿ð1(â )(Rð)
†ð¶2âð(ðœ+ððœ
1)ððµð
â1
ð¿ð
1(â )
(Rð).
(26)
Combining (24) and (26), we have the estimate
ðŒð
ðœ,ð(ðð) ðð
ð¿ð2(â )(Rð)†ð¶2(ðâð)(ðœ+ððœ
1âðð)
à âðâð
Lipðœ1
ðð
ð¿ð1(â )(Rð).
(27)
Thus,
ð1†ð¶âðâ
ðð1
Lipðœ1
Ã
â
â
ð=ââ
(
ðâ2
â
ð=ââ
2ðŒððð
ð¿ð1(â )(Rð)2(ðâð)(ðœ+ððœ
1âðð+ðŒ)
)
ð1
.
(28)
If 1 < ð1
< â, noting that ðœ + ððœ1â ðð + ðŒ < 0, by
HoÌlderâs inequality, we have
ð1†ð¶âðâ
ðð1
Lipðœ1
Ã
â
â
ð=ââ
(
ðâ2
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
2(ðâð)(ðœ+ððœ
1âðð+ðŒ)ð
1/2
)
à (
ðâ2
â
ð=ââ
2(ðâð)(ðœ+ððœ
1âðð+ðŒ)ð
1/2
)
ð1/ð
1
†ð¶âðâðð1
Lipðœ1
â
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
â
â
ð=ð+2
2(ðâð)(ðœ+ððœ
1âðð+ðŒ)ð
1/2
†ð¶âðâðð1
Lipðœ1
ðð1
ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð)
.
(29)
If 0 < ð1†1, by inequality (21), we have
ð1†ð¶âðâ
ðð1
Lipðœ1
Ã
â
â
ð=ââ
ðâ2
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
2(ðâð)(ðœ+ððœ
1âðð+ðŒ)ð
1
†ð¶âðâðð1
Lipðœ1
â
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
â
â
ð=ð+2
2(ðâð)(ðœ+ððœ
1âðð+ðŒ)ð
1
†ð¶âðâðð1
Lipðœ1
ðð1
ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð)
.
(30)
Next, we estimate ð2. By Lemma 12(2), we obtain
ð2†ð¶âðâ
ðð1
Lipðœ1
â
â
ð=ââ
(
â
â
ð=ðâ1
2ðŒððð
ð¿ð1(â )(Rð)2ðŒ(ðâð)
)
ð1
. (31)
If 1 < ð1< â, by HoÌlderâs inequality, we have
ð2†ð¶âðâ
ðð1
Lipðœ1
â
â
ð=ââ
(
â
â
ð=ðâ1
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
2ðŒ(ðâð)ð
1/2
)
à (
â
â
ð=ðâ1
2ðŒ(ðâð)ð
1/2
)
ð1/ð
1
†ð¶âðâðð1
Lipðœ1
â
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
ð+1
â
ð=ââ
2ðŒ(ðâð)ð
1/2
†ð¶âðâðð1
Lipðœ1
ðð1
ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð)
.
(32)
If 0 < ð1†1, by inequality (21), we have
ð2†ð¶âðâ
ðð1
Lipðœ1
â
â
ð=ââ
â
â
ð=ðâ1
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
2ðŒ(ðâð)ð
1
†ð¶âðâðð1
Lipðœ1
â
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
ð+1
â
ð=ââ
2ðŒ(ðâð)ð
1
†ð¶âðâðð1
Lipðœ1
ðð1
ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð)
.
(33)
Combining the estimates for ð1and ð
2, the proof of
Theorem 6 is completed.
Proof of Theorem 7. Let ð â ï¿œÌï¿œðŒ,ð1ð1(â )(Rð); we can write
ð (ð¥) =
â
â
ð=ââ
ð (ð¥) ðð(ð¥) =
â
â
ð=ââ
ðð(ð¥) . (34)
-
Journal of Function Spaces and Applications 5
By inequality (21), we obtain
ðŒð
ðœ,ð(ð)
ð1
ï¿œÌï¿œðŒ,ð2
ð2(â )(Rð)
= ð¶(
â
â
ð=ââ
2ðŒð2ððŒð
ðœ,ð(ð) ðð
ð2
ð¿ð2(â )(Rð)
)
ð1/ð2
†ð¶
â
â
ð=ââ
2ðŒð1ð
(
ðâ2
â
ð=ââ
ðŒð
ðœ,ð(ðð) ðð
ð¿ð2(â )(Rð))
ð1
+ ð¶
â
â
ð=ââ
2ðŒð1ð
(
â
â
ð=ðâ1
ðŒð
ðœ,ð(ðð) ðð
ð¿ð2(â )(Rð))
ð1
= ð1+ ð2.
(35)
For ð1, using HoÌlderâs inequality and Lemma 8, we have
ðŒð
ðœ,ð(ðð) ðð
†ð¶2ð(ðœâð)
â«ð ð
ð (ð¥) â ð (ðŠ)ð
ðð(ðŠ)
ððŠ â ð
ð(ð¥)
†ð¶2ð(ðœâð)
ð
â
ð=0
ð¶ð
ð
ð (ð¥) â ð
ðµð
ðâð
à â«ð ð
ððµð
â ð (ðŠ)
ð ðð(ðŠ)
ððŠ
†ð¶2ð(ðœâð)
ðð
ð¿ð1(â )(Rð)
Ã
ð
â
ð=0
ð¶ð
ð
ð (ð¥) â ð
ðµð
ðâð(ððµð
â ð)ð
ðð
ð¿ð
1(â )
(Rð).
(36)
By Lemmas 9, 10, and 13, we have
ðŒð
ðœ,ð(ðð) ðð
ð¿ð2(â )(Rð)
†ð¶2ð(ðœâð)
ðð
ð¿ð1(â )(Rð)
Ã
ð
â
ð=0
ð¶ð
ð
(ð (ð¥) â ð
ðµð
)ðâð
ðð
ð¿ð2(â )(Rð)
Ã
(ððµð
â ð)ð
ðð
ð¿ð
1(â )
(Rð)
†ð¶2ð(ðœâð)
ðð
ð¿ð1(â )(Rð)
Ã
ð
â
ð=0
ð¶ð
ð(ð â ð)
ðâð
âðâðâð
BMOððµð
ð¿ð2(â )(Rð)
à âðâð
BMOððµð
ð¿ð
1(â )
(Rð)
= ð¶(ð â ð + 1)ð
âðâð
BMOðð
ð¿ð1(â )(Rð)
à 2ð(ðœâð)
ððµð
ð¿ð2(â )(Rð)
ððµð
ð¿ð
1(â )
(Rð)
†ð¶(ð â ð + 1)ð
âðâð
BMOðð
ð¿ð1(â )(Rð)
à 2ððœððµð
ð¿ð
1(â )
(Rð)
ððµð
â1
ð¿ð
2(â )
(Rð)
†ð¶(ð â ð + 1)ð
âðâð
BMOðð
ð¿ð1(â )(Rð)
à 2ððœððµð
ð¿ð
1(â )
(Rð)
ððµð
â1
ð¿ð
2(â )
(Rð)
ððµð
ð¿ð
2(â )
(Rð)ððµð
ð¿ð
2(â )
(Rð)
†ð¶(ð â ð + 1)ð
âðâð
BMOðð
ð¿ð1(â )(Rð)
à 2ððœ
2ðð(ðâð)
ððµð
ð¿ð
1(â )
(Rð)
ððµð
â1
ð¿ð
2(â )
(Rð).
(37)
Note that
ðŒðœ(ððµð
) (ð¥) ⥠â«ðµð
ððŠ
ð¥ â ðŠðâðœ
â ððµð
(ð¥) ⥠ð¶2ððœ
â ððµð
(ð¥) .
(38)
By Lemmas 8 and 11, we obtain
ððµð
â1
ð¿ð
2(â )
(Rð)†ð¶2âðð
ððµð
ð¿ð2(â )(Rð)
†ð¶2âðð
2âððœ
ðŒðœ(ððµð
)ð¿ð2(â )(Rð)
†ð¶2âððœ
2âðð
ððµð
ð¿ð1(â )(Rð)
†ð¶2âððœ
ððµð
â1
ð¿ð
1(â )
(Rð).
(39)
Combining (37) and (39), we have the estimate
ðŒð
ðœ,ð(ðð) ðð
ð¿ð2(â )(Rð)†ð¶(ð â ð + 1)
ð
à âðâð
BMO2(ðâð)(ðœâðð)
ðð
ð¿ð1(â )(Rð).
(40)
Thus,
ð1†ð¶âðâ
ðð1
BMO
â
â
ð=ââ
(
ðâ2
â
ð=ââ
2ðŒððð
ð¿ð1(â )(Rð)
Ã(ð â ð + 1)ð
2(ðâð)(ðœâðð+ðŒ)
)
ð1
.
(41)
-
6 Journal of Function Spaces and Applications
In case of 1 < ð1
< â, noting that ðœ â ðð + ðŒ < 0, byHoÌlderâs inequality, we have
ð1†ð¶âðâ
ðð1
BMO
Ã
â
â
ð=ââ
(
ðâ2
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
2(ðâð)(ðœâðð+ðŒ)ð
1/2
)
à (
ðâ2
â
ð=ââ
(ð â ð + 1)ðð
2(ðâð)(ðœâðð+ðŒ)ð
1/2
)
ð1/ð
1
†ð¶âðâðð1
BMO
â
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
â
â
ð=ð+2
2(ðâð)(ðœâðð+ðŒ)ð
1/2
†ð¶âðâðð1
BMOð
ð1
ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð)
.
(42)
In case of 0 < ð1†1, by inequality (21), we have
ð1†ð¶âðâ
ðð1
BMO
Ã
â
â
ð=ââ
ðâ2
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
à (ð â ð + 1)ðð1
2(ðâð)(ðœâðð+ðŒ)ð
1
†ð¶âðâðð1
BMO
â
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
Ã
â
â
ð=ð+2
(ð â ð + 1)ðð1
2(ðâð)(ðœâðð+ðŒ)ð
1
†ð¶âðâðð1
BMOð
ð1
ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð)
.
(43)
For ð2, by Lemma 12(1), we obtain
ð2†ð¶âðâ
ðð1
BMO
â
â
ð=ââ
(
â
â
ð=ðâ1
2ðŒððð
ð¿ð1(â )(Rð)2ðŒ(ðâð)
)
ð1
. (44)
If 1 < ð1< â, by HoÌlderâs inequality, we have
ð2†ð¶âðâ
ðð1
BMO
â
â
ð=ââ
(
â
â
ð=ðâ1
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
2ðŒ(ðâð)ð
1/2
)
à (
â
â
ð=ðâ1
2ðŒ(ðâð)ð
1/2
)
ð1/ð
1
†ð¶âðâðð1
BMO
â
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
ð+1
â
ð=ââ
2ðŒ(ðâð)ð
1/2
†ð¶âðâðð1
BMOð
ð1
ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð)
.
(45)
If 0 < ð1†1, by inequality (21), we have
ð2†ð¶âðâ
ðð1
BMO
â
â
ð=ââ
â
â
ð=ðâ1
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
2ðŒ(ðâð)ð
1
†ð¶âðâðð1
BMO
â
â
ð=ââ
2ðŒðð1
ðð
ð1
ð¿ð1(â )(Rð)
ð+1
â
ð=ââ
2ðŒ(ðâð)ð
1
†ð¶âðâðð1
BMOð
ð1
ï¿œÌï¿œðŒ,ð1
ð1(â )(Rð)
.
(46)
Combining the estimates for ð1and ð
2, consequently, we
have provedTheorem 7.
Acknowledgments
The authors thank the referees for their valuable commentsto the original version of this note. This paper is supportedby the NSF of China (no. 11201003); the Natural ScienceFoundation of Anhui Higher Education Institutions of China(no. KJ2011A138; no. KJ2013B034).
References
[1] D. R. Adams, âA note on Riesz potentials,â Duke MathematicalJournal, vol. 42, no. 4, pp. 765â778, 1975.
[2] S. Lu and D. Yang, âHardy-Littlewood-Sobolev theorems offractional integration on Herz-type spaces and its applications,âCanadian Journal of Mathematics, vol. 48, no. 2, pp. 363â380,1996.
[3] S. G. Shi and Z. W. Fu, âBoundedness of sublinear operatorswith rough kernels on weighted Morrey spaces,â Journal ofFunction Spaces and Applications, vol. 2013, Article ID 784983,9 pages, 2013.
[4] O. KovaÌcÌik and J. RaÌkosnıÌk, âOn spaces ð¿ð(ð¥) and ðð,ð(ð¥),âCzechoslovak Mathematical Journal, vol. 41, no. 4, pp. 592â618,1991.
[5] L. Diening and M. RuÌzÌicÌka, âCalderoÌn-Zygmund operators ongeneralized Lebesgue spaces ð¿ð(â ) and problems related to fluiddynamics,â Journal fuÌr die Reine und Angewandte Mathematik,vol. 563, pp. 197â220, 2003.
[6] C. Capone, D. Cruz-Uribe, and A. Fiorenza, âThe fractionalmaximal operator and fractional integrals on variable ð¿ðspaces,â Revista MathemaÌtica Iberoamericana, vol. 23, no. 3, pp.743â770, 2007.
[7] M. Izuki, âCommutators of fractional integrals on Lebesgueand Herz spaces with variable exponent,â Rendiconti del CircoloMatematico di Palermo, vol. 59, no. 3, pp. 461â472, 2010.
[8] L. Diening, âRiesz potential and Sobolev embeddings on gene-ralized Lebesgue and Sobolev spaces ð¿ð(â ) and ðð,ð(â ),â Mathe-matische Nachrichten, vol. 268, pp. 31â43, 2004.
[9] S. Z. Lu, D. C. Yang, and G. E. Hu, Herz Type Spaces and TheirApplications, Science Press, Beijing, China, 2008.
[10] Z.-W. Fu, Z.-G. Liu, S.-Z. Lu, andH.-B.Wang, âCharacterizationfor commutators of ð-dimensional fractional Hardy operators,âScience in China A, vol. 50, no. 10, pp. 1418â1426, 2007.
[11] S. Lu, Q. Wu, and D. Yang, âBoundedness of commutators onHardy type spaces,â Science in China A, vol. 45, no. 8, pp. 984â997, 2002.
-
Journal of Function Spaces and Applications 7
[12] T. Zhou, Commutators of Fractional Integrals on Spaces WithVariable Exponent, Dalian Maritime University, 2012.
[13] H. B.Wang, Z.W. Fu, andZ.G. Liu, âHigher order commutatorsof Marcinkiewicz integrals on variable Lebesgue spaces,â ActaMathematica Scientia A, vol. 32, no. 6, pp. 1092â1101, 2012.
[14] H. B.Wang, Function Spaces withVariable Exponent andRelatedTopics, China University of Mining and Technology, 2012.
[15] A. Nekvinda, âHardy-Littlewood maximal operator onð¿ð(ð¥)
(Rð),â Mathematical Inequalities & Applications, vol. 7, no.2, pp. 255â265, 2004.
[16] M. Izuki, âBoundedness of commutators on Herz spaceswith variable exponent,â Rendiconti del Circolo Matematico diPalermo, vol. 59, no. 2, pp. 199â213, 2010.
-
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical Problems in Engineering
Hindawi Publishing Corporationhttp://www.hindawi.com
Differential EquationsInternational Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex AnalysisJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
OptimizationJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Operations ResearchAdvances in
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Decision SciencesAdvances in
Discrete MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Stochastic AnalysisInternational Journal of
top related