arxiv: v1 [math.ca] 25 Sep 2013

Transcription

1 OUNDEDNESS OF INTRINSIC LITTLEWOOD-PALEY FUNCTIONS ON MUSIELAK-ORLICZ MORREY AND CAMPANATO SPACES axiv:39.652v [mah.ca] 25 Sep 23 YIYU LIANG, EIICHI NAKAI 2, DACHUN YANG AND JUNQIANG ZHANG Absac. Le ϕ : R n [, ) [, ) be such ha ϕ(x, ) is nondeceasing, ϕ(x,) =, ϕ(x,) > when >, lim ϕ(x,) = and ϕ(,) is a Muckenhoup A (R n ) weigh unifomly in. Le φ : [, ) [, ) be nondeceasing. In his aicle, he auhos inoduce he Musielak-Olicz Moey space M ϕ,φ (R n ) and obain he boundedness on M ϕ,φ (R n ) of he ininsic Lusin aea funcion S α, he ininsic g-funcion g α, he ininsic gλ -funcion gλ,α and hei commuaos wih MO(Rn ) funcions, whee α (,], λ (min{max{3, p },3+2α/n}, ) and p denoes he unifomly uppe ype index of ϕ. Le Φ : [, ) [, ) be nondeceasing, Φ() =, Φ() > when >, and lim Φ() =, w A (R n ) and φ : (, ) (, ) be noninceasing. The auhos also inoduce he weighed Olicz-Moey space Mw (R n ) and obain he boundedness on Mw (R n ) of he afoemenioned ininsic Lilewood-Paley funcions and hei commuaos wih MO(R n ) funcions. Finally, fo q [, ), he boundedness of he afoemenioned ininsic Lilewood-Paley funcions on he Musielak Olicz Campanao space L ϕ,q (R n ) is also esablished.. Inoducion I is well known ha he ininsic Lilewood-Paley g-funcion and he ininsic Lusin aea funcion wee fis inoduced by Wilson in [48] o answe a conjecue poposed by R. Feffeman and E. M. Sein on he boundedness of he Lusin aea funcions fomheweighed Lebesgue space L 2 M(v) (Rn ) oheweighed Lebesgue space L 2 v(r n ), whee v L loc (Rn ) and M denoes he Hady-Lilewood maximal funcion. Obseve ha hese ininsic Lilewood-Paley funcions can be hough of as gand maximal Lilewood-Paley funcions in he syle of he gand maximal funcion of C. Feffeman and Sein fom [3]: hey dominae all he Lilewood-Paley funcions of he fom S(f) (and he classical ones as well), bu ae no essenially bigge han any one of hem. Like he Feffeman-Sein and Hady-Lilewood maximal funcions, hei geneic naues make hem poinwise equivalen o each ohe and exemely easy o wok wih. Moeove, he ininsic Lusin aea funcion has he disinc advanage of being poinwise compaable a Dae: Received: xxxxxx; Revised: yyyyyy; Acceped: zzzzzz. Coesponding auho. 2 Mahemaics Subjec Classificaion. Pimay 4225; Seconday 4235, 46E3, 46E35. Key wods and phases. Ininsic Lilewood-Paley funcion, commuao, Musielak-Olicz space, Moey space, Campanao space.

2 2 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG diffeen cone openings, which is a popey long known no o hold ue fo he classical Lusin aea funcion (see Wilson [48, 49]). Moe applicaions of ininsic Lilewood-Paley funcions wee given by Wilson [5, 5] and Lene [28, 29]. In paicula, Wilson [49] poved ha hese ininsic Lilewood-Paley funcions ae bounded on he weighed Lebesgue space L p w (Rn ) when p (, ) and w A p (R n ) (he class of Muckenhoup weighs). Recenly, Wang [47] and Jusin [4] also obained he boundedness of hese ininsic Lilewood-Paley funcions on weighed Moey spaces. Recallhaheclassical Moeyspace M p,κ (R n )wasfis inoducedbymoey in [35] o invesigae he local behavio of soluions o second ode ellipic paial diffeenial equaions. Fo p [, ) and κ [,), a funcion f L p loc (Rn ) is said o belong o he Moey space M p,κ (R n ), if f M p,κ (R n ) := sup R n [ κ f(y) p dy] /p <, whee he supemum is aken ove all balls of R n. The boundedness, on he Moey space, of classical opeaos, such as he Hady-Lilewood maximal opeao, he facional inegal opeao and he Caldeón-Zygmund singula inegal opeao, was sudied in [, ]. In paicula, Komoi and Shiai [24] fis inoduced he weighed Moey space and obained he boundedness of he above hese classical opeaos on his space. As a genealizaion of he space MO(R n ), he Campanao space L p,β (R n ) fo β R and p [, ), inoduced by Campanao [9], was defined as he se of all locally inegable funcions f such ha { /p f L p,β (R n ) := sup β f(x) f dx} p <, R n whee he supemum is aken ove all balls in R n and f denoes he aveage of f on, namely, f := f(y)dy. (.) I is well known ha, when κ (,), p [, ) and β = (κ )/p, M p,κ (R n ) andl p,β (R n )coincidewihequivalen noms(see, foexample, [2]). Assuming he finieness of he Lilewood-Paley funcions on a posiive measue se, Yabua[52] fis esablished he boundedness of he Lilewood-Paley funcions on L p,β (R n ) wih p (, ) and β [ /p, ). Sun [45] fuhe impoved hese esuls by assuming he finieness of he Lilewood-Paley funcions only on one poin. Meng, Nakai and Yang [34] poved ha some genealizaions of he classical Lilewood-Paley funcions, wihou assuming he egulaiy of hei kenels, ae bounded fom L p,β (R n ) o L p,β (Rn ) wih p [2, ) and β [ /p,], whee L p,β (Rn ) is a pope subspace of L p,β (R n ). This esul, which was poved in [34] o be ue even on spaces of homogeneous ype in he sense of Coifman and Weiss (see []), fuhe impoves he esul of Yabua [52] and Sun [45]. On he ohe hand, inbaum-olicz [4] and Olicz [39] inoduced he Olicz space, which is a naual genealizaion of L p (R n ). Le ϕ be a gowh funcion (see Definiion 2. below fo is definiion). Recenly, Ky [26] inoduced a new

3 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 3 Musielak-Olicz Hady space H ϕ (R n ), which genealizes boh he Olicz-Hady space (see, fo example, [2, 46]) and he weighed Hady space (see, fo example, [6, 7, 25, 33, 44]). Moeove, chaaceizaions of H ϕ (R n ) in ems of Lilewood-Paley funcions (see [9, 3]) and he ininsic ones (see [32]) wee also obained. As he dual space of H ϕ (R n ), he Musielak-Olicz Campanao space L ϕ,q (R n ) wih q [, ) was inoduced in [3], in which some chaaceizaions of L ϕ,q (R n ) wee also esablished. Recall ha Musielak-Olicz funcions ae he naual genealizaion of Olicz funcions ha may vay in he spaial vaiables; see, fo example, [36]. The moivaion o sudy funcion spaces of Musielak- Olicz ype comes fom hei wide applicaions in physics and mahemaics (see, fo example, [6, 7, 8, 38, 26]). In paicula, some special Musielak-Olicz Hady spaces appea naually in he sudy of he poducs of funcions in MO(R n ) and H (R n ) (see [7, 8]), and he endpoin esimaes fo he div-cul lemma and he commuaos of singula inegal opeaos (see [5, 7, 27, 4]). In his aicle, we inoduce he Musielak-Olicz Moey space M ϕ,φ (R n ) and he weighed Olicz-Moey space Mw (Rn ), and obain he boundedness, especively, on hese spaces of ininsic Lilewood-Paley funcions and hei commuaos wih MO(R n ) funcions. Moeove, we also obain he boundedness of ininsic Lilewood-Paley funcions on he Musielak-Olicz Campanao space L ϕ,q (R n ) which was inoduced in [3]. To be pecise, his aicle is oganized as follows. In Secion 2, fo a gowh funcion ϕ and a nondeceasing funcion φ, we inoduce he Musielak-Olicz Moey space M ϕ,φ (R n ) and obain he boundedness on M ϕ,φ (R n ) of he ininsic Lusin aea funcion S α, he ininsic g-funcion g α, he ininsic gλ -funcion g λ,α wih α (,] and λ (min{max{3, p },3+2α/n}, ) and hei commuaos wih MO(R n ) funcions. To his end, we fis inoduce an assisan funcion ψ and esablish some esimaes, espec o ϕ and ψ, which play key oles in he poofs (see Lemma 2.8 below). Anohe key ool needed is a Musielak-Olicz ype inepolaion heoem poved in [3]. We poin ou ha, in [47], Wang esablished he boundedness of gλ,α and [b,g λ,α ] on he weighed Moey space M p,κ w (Rn ) wih λ > max{3,p}. This coesponds o he case when ϕ(x,) := w(x) p fo all x R n and [, ) (.2) wih w A p (R n ) and p (, ) of Theoem 2.5 and Poposiion 2.2 below, in which, even fo his special case, we also impove he ange of λ > p in [47] o a wide ange λ > 3+2α/n when p > 3+2α/n. InSecion3, leφ : [, ) [, )benondeceasing, Φ() =, Φ() > when >, and lim Φ() =, w A (R n ) and φ : (, ) (, ) be noninceasing. In his secion, moivaed by Nakai [37], we fis inoduce he weighed Olicz-Moey space Mw (Rn ) and obain he boundedness on Mw (Rn ) of ininsic Lilewood-Paley funcions and hei commuaos wih MO(R n ) funcions. In Secion 4, fo q [, ), he boundedness of he afoemenioned ininsic Lilewood-Paley funcions on he Musielak-Olicz Campanao space L ϕ,q (R n ), which was inoduced in [3], is also esablished. To be pecise, following he ideas of [2] and [34], we fis inoduce a subspace L ϕ,q (Rn ) of L ϕ,q (R n ) and

4 4 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG pove ha he ininsic Lilewood-Paley funcions ae bounded fom L ϕ,q (R n ) o L ϕ,q (R n ) which fuhe implies ha he ininsic Lilewood-Paley funcions ae bounded on L ϕ,q (R n ). Even when ϕ(x,) := p fo all x R n and (, ), (.3) wih q (, ) and p (n/(n+),q/(q )], hese esuls ae new. Finally we make some convenions on noaion. Thoughou he whole pape, we denoe by C a posiive consan which is independen of he main paamees, bu i may vay fom line o line. The symbol A means ha A C. If A and A, hen we wie A. Fo any measuable subse E of R n, we denoe by E he se R n \ E and by χ E is chaaceisic funcion. Fo p [, ], we denoe by p is conjugae numbe, namely, /p+/p =. Also, le N := {, 2,...} and Z + := N {}. 2. oundedness of ininsic Lilewood-Paley funcions and hei commuaos on Musielak-Olicz Moey spaces In his secion, we inoduce he Musielak-Olicz Moey space M ϕ,φ (R n ) and esablish he boundedness on M ϕ,φ (R n ) of ininsic Lilewood-Paley funcions and hei commuaos wih MO(R n ) funcions. We begin wih ecalling he definiion of gowh funcions which wee fis inoduced by Ky [26]. Recall ha a funcion Φ : [, ) [, ) is called an Olicz funcion if i is nondeceasing, Φ() =, Φ() > fo all (, ) and lim Φ() =. We poin ou ha, diffeen fom he classical Olicz funcions, he Olicz funcions in his aicle may no be convex. The funcion Φ is said o be of uppe ype p (esp. lowe ype p) fo some p [, ), if hee exiss a posiive consan C such ha, fo all [, ) (esp. [,]) and s [, ), Φ(s) C p Φ(s). Fo a given funcion ϕ : R n [, ) [, ) such ha, fo any x R n, ϕ(x, ) is an Olicz funcion, ϕ is said o be of unifomly uppe ype p (esp. unifomly lowe ype p) fo some p [, ), if hee exiss a posiive consan C such ha, fo all x R n, [, ) and s [, ) (esp. s [,]), ϕ(x,s) Cs p ϕ(x,). The funcion ϕ(, ) is said o saisfy he unifomly Muckenhoup condiion fo some q [, ), denoed by ϕ A q (R n ), if, when q (, ), { } q/q sup sup ϕ(x,)dx [ϕ(y,)] q /q dy <, (, ) R n q whee /q+/q =, o, when q =, ( sup sup ϕ(x,)dx (, ) R n ) ess sup[ϕ(y,)] <. y Hee he fis supemums ae aken ove all (, ) and he second ones ove all balls R n. In paicula, when ϕ(x,) := w(x) fo all x R n, whee w is a weigh funcion, A q (R n ) is jus he classical A q (R n ) weigh class of Muckenhoup.

5 Le INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 5 A (R n ) := q [, ) Now we ecall he noion of gowh funcions. A q (R n ). Definiion 2.. A funcion ϕ : R n [, ) [, ) is called a gowh funcion, if he following condiions ae saisfied: (i) ϕ is a Musielak-Olicz funcion, namely, (i) he funcion ϕ(x, ) : [, ) [, ) is an Olicz funcion fo all x R n ; (i) 2 he funcion ϕ(,) is a measuable funcion fo all [, ). (ii) ϕ A (R n ). (iii) ϕ is of unifomly lowe ype p and of unifomly uppe ype p, whee < p p <. Remak 2.2. (i) The noion of gowh funcions hee is slighly diffeen fom[26]. We only need < p p < hee, howeve, in [26], p (,] and p =. (ii) y ii) of [26, Lemma 4.], wihou loss of genealiy, we may assume ha, fo all x R n, ϕ(x, ) is coninuous and sicly inceasing. Ohewise, we may eplace ϕ by anohe equivalen gowh funcion ϕ which is coninuous and sicly inceasing. Thoughou he whole pape, we always assume ha ϕ is a gowh funcion as in Definiion 2. and, fo any measuable subse E of R n and [, ), we denoe ϕ(x,)dx by ϕ(e,). E The Musielak-Olicz space L ϕ (R n ) is defined o be he space of all measuable funcions f such ha ϕ(x, f(x) )dx < wih he Luxemboug nom (o R n Luxemboug-Nakano nom) { ( f L ϕ (R n ) := inf µ (, ) : x, f(x) ) } dx. µ R n ϕ If ϕ is as in (.2) wih p (, ) and w A p (R n ), hen L ϕ (R n ) coincides wih he weighed Lebesgue space L p w(r n ). Now, we inoduce he Musielak-Olicz Moey space M ϕ,φ (R n ). Definiion 2.3. Le ϕ be a gowh funcion and φ : [, ) [, ) be nondeceasing. A locally inegable funcion f on R n is said o belong o he Musielak- Olicz Moey space M ϕ,φ (R n ), if f M ϕ,φ (R n ) := sup R n φ(ϕ(,)) f ϕ, <, whee he supemum is aken ove all balls of R n and { ( f ϕ, := inf µ (, ) : ϕ x, f(x) ) ϕ(, ) µ } dx. Remak 2.4. (i) We fis claim ha M ϕ,φ (R n ) is aquasi-nom. Indeed, since ϕ is of unifomly lowe ype p and of unifomly uppe ype p wih < p p <,

6 6 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG we see ha, fo any x R n and < a b, ( ) p a+b ϕ(x,a+b) ϕ(x,2b) 2 p ϕ(x,b) ϕ(x,a)+ϕ(x,b), 2b whichfuheimpliesha, foanyball R n andf, g L loc (Rn )wih f ϕ, + g ϕ,, ( ) f(x)+g(x) ϕ x, dx ϕ(, ) f ϕ, + g ϕ, [ ( ) ( )] f(x) g(x) ϕ x, +ϕ x, dx ϕ(, ) f ϕ, + g ϕ, f ϕ, + g ϕ, and hence, by p (, ), f +g ϕ, f ϕ, + g ϕ,, whee he implici posiive consan is independen of. This fuhe implies ha M ϕ,φ (R n ) is a quasi-nom, namely, fo any f, g M ϕ,φ (R n ), hee exiss a consan κ [, ) such ha f +g M ϕ,φ (R n ) κ [ f M ϕ,φ (R n ) + g M ϕ,φ (R n )]. Thus, he claim holds ue. Moeove, fom he claim and he Aoki-Rolewicz heoem in [3, 42], i follows ha hee exiss a quasi-nom on M ϕ,φ (R n ) and γ (,] such ha, fo all f M ϕ,φ (R n ), f f M ϕ,φ (R n ) and, fo any sequence {f j } j N M ϕ,φ (R n ), γ f j j j N f γ, j N which is needed lae. (ii) If ϕ is as in (.3) wih p (, ) and φ() := s fo all [, ) wih s (,/p), hen M ϕ,φ (R n ) coincides wih he classical Moey space M p, sp (R n ). (iii) If ϕ(x,) := Φ() fo all x R n and (, ) wih Φ being an Olicz funcion, hen M ϕ,φ (R n ) coincides wih he Olicz-Moey space in [43]. (iv) If ϕ is as in (.2) wih p (, ),w A p (R n ) and φ() is as in (ii), hen M ϕ,φ (R n )coincides wihheweighed MoeyspaceM p, sp w ha he weighed Moey space M p, sp w [47]). (R n )in[47](obseve (R n ) was denoed by anohe noaion in Now we ecall he noions of ininsic Lilewood-Paley funcions inoduced by Wilson [48]. Fo α (,], le C α (R n ) be he family of funcions θ, defined on R n, such ha supp θ {x R n : x }, R n θ(x)dx = and, fo all x, x 2 R n, θ(x ) θ(x 2 ) x x 2 α. Fo all f L loc (Rn ) and (y,) R n+ + := R n (, ), le A α (f)(y,) := sup f θ (y) = sup θ (y z)f(z)dz. θ C α(r n ) θ C α(r n ) R n

7 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 7 Fo all α (,] and f L loc (Rn ), he ininsic Lilewood-Paley g-funcion g α (f), he ininsic Lusin aea funcion S α (f) and he ininsic Lilewood-Paley gλ -funcion g λ,α (f) of f ae, especively, defined by seing, fo all x Rn, and { g α (f)(x) := { S α (f)(x) := { gλ,α (f)(x) := R n [A α (f)(x,)] 2 d {y R n : y x <} } /2, [A α (f)(y,)] 2 dyd n+ } /2 ( ) } λn /2 [A α (f)(y,)] 2 dyd. + x y n+ Le β (, ). We also inoduce he vaying-apeue vesion S α,β (f) of S α (f) by seing, fo all f L loc (Rn ) and x R n, { S α,β (f)(x) := [A α (f)(y,)] 2 dyd } /2. {y R n : y x <β} To obain he boundedness of all he ininsic Lilewood-Paley funcions on M ϕ,φ (R n ), we need o inoduce an auxiliay funcion ψ and esablish some echnical lemmas fis. Le ϕ be a gowh funcion wih p p <. Fo all x R n and [, ), le ψ(x,) := ϕ(x,)/ϕ(x,). Obviously, fo all x R n, ψ(x, ) is an Olicz funcion and, fo all [, ), ψ(,) is measuable. Fo all x R n and s [, ), he complemenay funcion of ψ is defined by ψ(x,s) := sup{s ψ(x,)} (2.) > (see [36, Definiion 3.7]). On he complemenay funcion ψ, we have he following popeies. Lemma 2.5. Le ϕ be as in Definiion 2. wih p p < and ψ as in (2.). (i) If p p <, hen hee exiss a posiive consan C such ha, fo all x R n, ψ(x,) C. (ii) If < p p <, hen ψ is a gowh funcion of unifomly lowe ype p and unifomly uppe ype p, whee /p +/p = = /p +/p. Poof. To show (i), fo all x R n, since hee exis posiive consans C, C such ha, fo any (,], ϕ(x,) C ϕ(x,)/ p and, fo any (, ), ϕ(x,) C ϕ(x,)/ p, i follows ha ψ(x,) = sup { ψ(x,)} = sup (, ) (, ) n+ { ϕ(x,) } ϕ(x, )

8 8 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG sup { p /C }+ sup { p /C }. (,] (, ) Thus, (i) holds ue. To show (ii), fo any λ [, ), C as in he poof of (i) and l (, ), le m := ( λc ) p and s := l C. Wihou loss of genealiy, we may assume m p C. Then, we have m (,], s (, ) and { ψ(x,λl)= ψ(x,ms) = sup{ms ψ(x,)} sup sm ψ(x,m) } > > C m p = C m sup {C p m p sm ψ(x,m)} = ψ(x,c C m p m p s) > = λp ψ(x,l), C p which implies ha ψ is of unifomly uppe ype p. y a simila agumen, we also see ha ψ is of unifomly lowe ype p, which complees he poof of (ii) and hence Lemma 2.5. Fo any ball R n and g L loc (Rn ), le { g ψ, := inf µ (, ) : ψ ϕ(, ) Fo ϕ and ψ, we also have he following popeies. ( x, g(x) ) } ϕ(x,)dx. µ Lemma 2.6. Le C be a posiive consan. Then hee exiss a posiive consan C such ha (i) fo any ball R n and µ (, ), ϕ(, ) ϕ ( x, f(x) µ ) dx C implies ha f ϕ, Cµ; (ii) fo any ball R n and µ (, ), ( ψ x, f(x) ) ϕ(x,)dx ϕ(, ) µ C implies ha f ψ, Cµ. The poof of Lemma 2.6 is simila o ha of [26, Lemma 4.3], he deails being omied. Lemma 2.7. Le ϕ be a gowh funcion wih < p p <. Then, fo any ball R n and f ϕ,, i holds ue ha ( ϕ x, f(x) ) dx = ϕ(, ) f ϕ,

9 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 9 and, fo all f ψ,, i holds ue ha ( ) ψ x, f(x) ϕ(x,)dx =. ϕ(, ) f ψ, The poof of Lemma 2.7 is simila o ha of [26, Lemma 4.2], he deails being omied. The following lemma is a genealized Hölde inequaliy wih espec o ϕ. Lemma 2.8. If ϕ is a gowh funcion as in Definiion 2., hen, fo any ball R n and f, g L loc (Rn ), f(x) g(x) ϕ(x,)dx 2 f ϕ, g ψ,. ϕ(, ) Poof. y (2.), we know ha, fo any x R n and ball R n, ( f(x) g(x) ϕ x, f(x) ) ( ) + f ϕ, g ψ, f ψ x, g(x) ϕ(x,), ϕ, g ψ, which, ogehe wih Lemma 2.7, implies ha f(x) g(x) ϕ(x,)dx ϕ(, ) f ϕ, g ψ, ϕ(, ) + ϕ(, ) 2. ( ϕ x, f(x) ψ ( f ϕ, x, g(x) g ψ, Thus, f(x) g(x) ϕ(x,)dx f ϕ, g ψ,, ϕ(, ) which complees he poof of Lemma 2.8. ) dx ) ϕ(x,)dx The following Lemmas 2.9 and 2. ae, especively, [3, Lemma 2.2] and [3, Theoem 2.7]. Lemma 2.9. (i) A (R n ) A p (R n ) A q (R n ) fo p q <. (ii) If ϕ A p (R n ) wih p (, ), hen hee exiss q (,p) such ha ϕ A q (R n ). Lemma 2.. Le p, p (, ), p < p and ϕ be a gowh funcion wih unifomly lowe ype p and unifomly uppe ype p. If < p < p p < p < and T is a sublinea opeao defined on L p ϕ(,) (Rn ) + L p ϕ(,) (Rn ) saisfying ha, fo i {,2}, all α (, ) and (, ), ϕ({x R n : Tf(x) > α},) C i α p i f(x) p i ϕ(x,)dx, R n whee C i is a posiive consan independen of f, and α. Then T is bounded on L ϕ (R n ) and, moeove, hee exiss a posiive consan C such ha, fo all

10 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG f L ϕ (R n ), ϕ(x, Tf(x) )dx C ϕ(x, f(x) )dx. R n R n y applying Lemmas 2.9 and 2., we have he following boundedness of S α and g λ,α on Lϕ (R n ). Poposiion 2.. Le ϕ be a gowh funcion wih < p p <, ϕ A p (R n ), α (,] and λ > min{max{2, p },3 + 2α/n}. Then hee exiss a posiive consan C such ha, fo all f L ϕ (R n ), ϕ(x,s α (f)(x))dx C ϕ(x, f(x) )dx R n R n and ϕ(x,gλ,α (f)(x))dx C ϕ(x, f(x) )dx. R n R n Poof. Fo α (,], p (, ) and w A p (R n ), i was poved in [49, Theoem 7.2] ha S α (f) L p w (R n ) f L p w (R n ). Since ϕ A p (R n ) and p (, ), by Lemma 2.9(ii), hee exiss some p (,p ) such ha ϕ A p (R n ) and hence, fo all (, ), i holds ue ha [S (f)(x)] p α ϕ(x,)dx f(x) p ϕ(x,)dx. (2.2) R n R n On he ohe hand, by he fac ha, fo any p (p, ), ϕ(x,) A p (R n ) A p (R n ) (see Lemma 2.9(i)), we have [S (f)(x)] p α ϕ(x,)dx f(x) p ϕ(x,)dx. (2.3) R n R n Fom (2.2), (2.3) and Lemma 2., we deduce ha ϕ(x,s α (f)(x))dx ϕ(x, f(x) )dx. (2.4) R n R n Fo gλ,α, by he definiion, we know ha, fo all x Rn, ( ) λn [gλ,α (f)(x)]2 = [A α (f)(y,)] 2 dyd x y < + x y n+ + j= [S α (f)(x)] 2 + Thus, fo all x R n, i holds ue ha 2 j x y <2 j 2 jλn [S α,2 j(f)(x)] 2. j= g λ,α(f)(x) S α (f)(x)+ 2 jλn/2 S α,2 j(f)(x). (2.5) j=

11 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS In [49, Exeicise 6.2], Wilson poved ha, fo all x R n, S α,2 j(f)(x) 2 j(3n 2 +α) S α (f)(x), whee he implici posiive consan depends only on n and α. Hence, fo all x R n, if λ > 3+2α/n, we have gλ,α [+ (f)(x) 2 jn 2 (λ 3 2α n ]S ) α (f)(x) S α (f)(x), j= which, ogehewih(2.4)andhenondeceasingpopeyofϕ(x, )foallx R n, implies ha ϕ(x,gλ,α(f)(x))dx ϕ(x, f(x) )dx. R n R n On he ohe hand, by [47, Lemmas 4., 4.2 and 4.3], we know ha, fo all p (, ), w A p (R n ) and j N, S α,2 j(f) L p w (R n ) (2 jn +2 jnp/2 ) f L p w (R n ), which, ogehe wih (2.5), implies ha, if λ > max{2, p}, hen g λ,α(f) L p w (R n ) f L p w (R n ). y his and Lemma 2., we fuhe see ha, if λ > max{2,p }, hen ϕ(x,gλ,α(f)(x))dx ϕ(x, f(x) )dx, R n R n which complees he poof of Poposiion 2.. One of he main esuls of his secion is as follows. Theoem 2.2. Le α (,], ϕ be a gowh funcion wih < p p <, ϕ A p (R n ) and φ : (, ) (, ) be nondeceasing. If hee exiss a posiive consan C such ha, fo all (, ), φ() d C φ(), hen hee exiss a posiive consan C such ha, fo all f M ϕ,φ (R n ), S α (f) M ϕ,φ (R n ) C f M ϕ,φ (R n ). Poof. Le := (x, ) be any ball of R n, whee x R n and (, ). Decompose f = fχ 2 +fχ (2) =: f +f 2. Since, fo any α (,], S α is sublinea, we see ha, fo all x, S α (f)(x) S α (f )(x)+s α (f 2 )(x). Le µ := f ϕ,2. y Poposiion 2. and Lemma 2.7, we conclude ha ( ϕ x, S ) ( α(f )(x) dx ϕ x, f ) (x) dx ϕ(, ) µ ϕ(, ) R µ n ( ϕ x, f(x) ) dx. ϕ(, ) µ 2

12 2 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG Fom his and Lemma 2.6(i), we deduce ha S α (f ) ϕ, f ϕ,2. Theefoe, φ(ϕ(,)) S α (f ) ϕ, φ(ϕ(,)) f ϕ,2 φ(ϕ(,)) φ(ϕ(2,)) f M ϕ,φ (R n ) f M ϕ,φ (R n ). (2.6) Nex, we un o esimae S α (f 2 ). Fo any θ C α (R n ) and we have (y,) Γ(x) := {(y,) R n (, ) : y x < }, sup f 2 θ (y) = sup θ (y z)f(z)dz θ C α(r n ) θ C α(r n ) (2) sup θ (y z)f(z)dz. k= θ C α(r n ) 2 k+ \2 k Fo any k N, x, (y,) Γ(x) and z (2 k+ \2 k ) (y,), i holds ue ha 2 > x y + y z x z z x x x > 2 k. (2.7) y his, he fac ha θ C α (R n ) is unifomly bounded and he Minkowski inequaliy, we know ha, fo all x, S α (f 2 )(x) { k= k= k= x y < 2 k 2 2 k+ \2 k 2 k+ [ sup k= θ C α(r n ) x y < [ n 2 k+ \2 k 2 k+ \2 k ] 2 θ (y z)f(z)dz dyd ] 2 dyd f(z) dz n+ } /2 n+ ( ) /2 d f(z) dz 2 k 2 2n+ f(z) dz. (2.8) 2 k+ \2 k Fom his and Lemma 2.8, i follows ha, fo all x, ϕ(2 k+,) S α (f 2 )(x) f 2 k+ ϕ,2 k+ ϕ(,) k= ψ,2 k+ /2. (2.9) y ϕ A p (R n ) A p (R n ) and Lemma 2.5, we conclude ha ( ) ϕ(2 ψ k+,) x, ϕ(x,)dx ϕ(2 k+,) 2 k+ 2 k+ ϕ(x,) { [ ] ϕ(2 k+ p,) [ ] ϕ(2 k+ p },) + ϕ(x,)dx ϕ(2 k+,) 2 k+ ϕ(x,) 2 k+ ϕ(x,) 2 k+

13 [ 2 k+ [ + 2 k+ INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 3 2 k+ 2 k+ ] p ϕ(x,)dx ] p ϕ(x,)dx 2 k+ 2 k+ 2 k+ 2 k+ [ϕ(x,)] p dx [ϕ(x,)] p dx. Fom his and Lemma 2.6(ii), we deduce ha ϕ(2 k+,) 2 k+, (2.) ϕ(,) ψ,2 k+ which, ogehe wih (2.9), fuhe implies ha, fo all x, φ(ϕ(,)) φ(ϕ(,))s α (f 2 )(x) φ(ϕ(2 k+,)) φ(ϕ(2k+,)) f ϕ,2 k+ k= k= φ(ϕ(,)) φ(ϕ(2 k+,)) f M ϕ,φ (R n ). (2.) Recall ha, fo (, ), a weigh funcion w is said o saisfy he evese Hölde inequaliy, denoed by w RH (R n ), if hee exiss a posiive consan C such ha, fo evey ball R n, { } / [w(x)] dx C w(x) dx. Since ϕ(,) A p (R n ), we know ha hee exiss some (, ) such ha ϕ(,) RH (R n ), which, ogehe wih [8, p.9], fuhe implies ha hee exiss a posiive consan C such ha, fo any ball R n and k N, ϕ(2 k,) ϕ(2 k+,) C ( 2 k 2 k+ ) ( )/. y choosing j ( log C, ) N, we see ha, fo all k N, n( ) which fuhe implies ha ϕ(2 (k+)j,) ϕ(2 kj,) 2 nj ( )/ / C >, log y (2.2) and he assumpions of φ, we know ha k= φ(ϕ(,)) φ(ϕ(2 k+,)) ( ϕ(2 (k+)j ),). (2.2) ϕ(2 kj,) (l+)j l= i=lj + j i= φ(ϕ(,)) φ(ϕ(2 i,)) φ(ϕ(,)) φ(ϕ(2 i,)) +j l= φ(ϕ(,)) φ(ϕ(2 lj,))

14 4 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG φ(ϕ(,)) + φ(ϕ(2 lj l=,)) +φ(ϕ(,)) +φ(ϕ(,)) ϕ(2 lj,) ϕ(2 (l )j,) ϕ(2 lj,) l= ϕ(2 (l )j,) ϕ(,) Fom his and (2.), we deduce ha, fo all x, Theefoe, d d φ() d. (2.3) φ() φ(ϕ(,))s α (f 2 )(x) f M ϕ,φ (R n ). (2.4) ( ϕ x, φ(ϕ(,))s ) α(f 2 )(x) dx, ϕ(, ) f M ϕ,φ (R n ) which, ogehe wih Lemma 2.6(i), fuhe implies ha φ(ϕ(,)) S α (f 2 ) ϕ, f M ϕ,φ (R n ). This, combined wih (2.6) and Remak 2.4(i), finishes he poof of Theoem 2.2. Fo a gowh funcion ϕ and a funcion φ : R n (, ) (, ), he space M ϕ,φ (R n ) is defined by he same way as Definiion 2.3, via using φ(c,ϕ(,)) insead of φ(ϕ(,)), whee c is he cene of he ball. Then, by an agumen simila o ha used in he poof of Theoem 2.2, we have he following boundedness of S α on M ϕ,φ (R n ), he deails being omied. Theoem 2.3. Le α (,], ϕ be a gowh funcion wih < p p <, and ϕ A p (R n ). If hee exiss a posiive consan C such ha, fo all x R n and < s <, φ(x,) d C φ(x, ) and φ(x,) Cφ(x,s), hen hee exiss a posiive consan C such ha, fo all f M ϕ,φ (R n ), S α (f) M ϕ,φ (R n ) C f M ϕ,φ (R n ). Fo example, le φ(x,) := λ(x) fo all x R n and (, ) and inf x Rnλ(x) >. Then φ saisfies he assumpions of Theoem 2.3. Obseve ha, fo all x R n, g α (f)(x) and S α (f)(x) ae poinwise compaable (see [48, p. 774]), which, ogehe wih Theoem 2.2, immediaely implies he following conclusion, he deails being omied.

15 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 5 Coollay 2.4. Le α (,], ϕ be a gowh funcion wih < p p <, ϕ A p (R n ) and φ : [, ) [, ) be nondeceasing. If hee exiss a posiive consan C such ha, fo all (, ), φ() d C φ(), hen hee exiss a posiive consan C such ha, fo all f M ϕ,φ (R n ), g α (f) M ϕ,φ (R n ) C f M ϕ,φ (R n ). Similaly, hee exiss a coollay simila o Coollay 2.4 of Theoem 2.3, he deails being omied. Theoem 2.5. Leα (,], ϕ be a gowh funcion wih < p p <, ϕ A p (R n ) and φ : [, ) [, ) be nondeceasing. If λ > min{max{3, p },3+ 2α/n} and hee exiss a posiive consan C such ha, fo all (, ), φ() d C φ(), hen hee exiss a posiive consan C such ha, fo all f M ϕ,φ (R n ), g λ,α (f) M ϕ,φ (R n ) C f M ϕ,φ (R n ). Poof. Fix any ball := (x, ) R n, wih x R n and (, ), and decompose f = fχ 2 +fχ (2) =: f +f 2. Then, fo all x, g λ,α(f)(x) g λ,α(f )(x)+g λ,α(f 2 )(x). Simila o he esimae fo f in he poof of Theoem 2.2, by Poposiion 2. and Lemmas 2.6(i) and 2.7, if λ > min{max{2,p },3+2α/n}, we have φ(ϕ(,)) g λ,α(f ) ϕ, φ(ϕ(,)) φ(ϕ(2,)) f M ϕ,φ (R n ) f M ϕ,φ (R n ). (2.5) Nex, eplacing f in (2.5) by f 2, we know ha, fo all x, gλ,α (f 2)(x) S α (f 2 )(x)+ 2 jλn/2 S α,2 j(f 2 )(x). (2.6) Le k, j N. Fo any x, j= (y,) Γ 2 j(x) := {(y,) R n [, ) : y x < 2 j } and z (2 k+ \2 k ) (y,), we have +2 j > x y + y z x z z x x x > 2 k. Fom his, he Minkowski inequaliy and he fac ha θ C α (R n ) is unifomly bounded, i follows ha, fo all x, S α,2 j(f 2 )(x)

16 6 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG { k= 2 3jn/2 x y <2 j 2 k 2 j k= 2 k+ [ sup k= θ C α(r n ) x y <2 j n 2 k+ \2 k 2 k+ \2 k 2 k+ \2 k ] 2 θ (y z)f(z)dz dyd f(z) dz 2 dyd n+ } /2 n+ /2 f(z) dz, (2.7) which, ogehe wih Lemma 2.8, fuhe implies ha, fo all x, S α,2 j(f 2 )(x) 2 3jn/2 ϕ(2 k+,) f 2 k+ ϕ,2 k+ ϕ(,) k= y his, (2.) and (2.3), we find ha, fo all x, φ(ϕ(,))s α,2 j(f 2 )(x) 2 3jn/2 φ(ϕ(,)) f ϕ,2 k+ k= 2 3jn/2 k= 2 3jn/2 f M ϕ,φ (R n ), ψ,2 k+ φ(ϕ(,)) φ(ϕ(2 k+,)) f M ϕ,φ (R n ) which fuhe implies ha ( ϕ x, φ(ϕ(,))s α,2 j(f ) 2)(x) dx. ϕ(, ) 2 3jn/2 f M ϕ,φ (R n ) Fom his and Lemma 2.6(i), we deduce ha Hence, φ(ϕ(,)) S α,2 j(f 2 ) ϕ, 2 3jn/2 f M ϕ,φ (R n ). S α,2 j(f 2 ) M ϕ,φ (R n ) 2 3jn/2 f M ϕ,φ (R n ), which, ogehe wih (2.6), Remak 2.4(i) and Theoem 2.2, fuhe implies ha hee exiss some γ (,] such ha, when λ > 3, γ gλ,α (f 2) γ S M ϕ,φ (R n ) α (f 2 )+ 2 jλn/2 S α,2 j(f 2 ) j= S α (f 2 ) γ + 2 jγλn/2 Sα,2 j(f 2 ) γ j= S α (f 2 ) γ + 2 jγλn/2 M ϕ,φ (R n Sα,2 j(f ) 2 ) γ M ϕ,φ (R n ) f γ M ϕ,φ (R n ) [ + j= ] 2 jγ(λ 3)n/2 f γ. M ϕ,φ (R n ) j=.

17 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 7 This, combined wih (2.5) and Remak 2.4(i), finishes he poof of Theoem 2.5. The space MO(R n ), oiginally inoduced by John and Nienbeg [22], is defined as he space of all locally inegable funcions f such ha f MO(R n ) := sup f(x) f dx <, R n whee he supemum is aken ove all balls R n and f as in (.). Le b MO(R n ). The commuaos geneaed by b and ininsic Lilewood-Paley funcions ae defined, especively, by seing, fo all x R n, [ ] [b,s α ](f)(x) := sup [b(x) b(z)]θ (y z)f(z)dz 2 /2 dyd, Γ(x) θ C α(r n ) R n n+ [ ] [b,g α ](f)(x) := sup [b(x) b(z)]θ (y z)f(z)dz 2 /2 d θ C α(r n ) R n and [ ( ) λn [b,gλ,α ](f)(x) := R n+ + x y + ] sup [b(x) b(z)]φ (y z)f(z)dz 2 /2 dyd. φ C α(r n ) R n n+ Now we esablish he boundedness of hese commuaos on M ϕ,φ (R n ). To his end, we fis ecall he following well-known popey of MO(R n ) funcions (see, fo example, [2, Coollay 6.2]). Poposiion 2.6. Assume ha b MO(R n ). Then, fo any p [, ), hee exiss a posiive consan C such ha [ /p b(x) b dx] p C b MO(R n ), sup R n whee he supemum is aken ove all balls of R n and b as in (.) wih f eplaced by b. If α (,], λ > max{2,p} and b MO(R n ), i was poved in [47, Theoem 3.] ha he commuaos [b,s α ] and [b,g λ,α ] ae bounded on Lp w(r n ) fo all p (, ) and w A p (R n ). y his and Lemma 2., we have he following boundedness of [b,s α ] and [b,g λ,α ] on Lϕ (R n ), whose poof is simila o ha of Poposiion 2., he deails being omied. Poposiion 2.7. Le ϕ be a gowh funcion wih < p p <, ϕ A p (R n ), b MO(R n ) and λ > min{max{2, p },3+2α/n}. Then hee exiss a posiive consan C such ha, fo all f L ϕ (R n ), ϕ(x,[b,s α ](f)(x))dx C ϕ(x, f(x) )dx R n R n

18 8 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG and ϕ(x,[b,gλ,α](f)(x))dx C ϕ(x, f(x) )dx. R n R n Theoem 2.8. Le α (,], b MO(R n ), ϕ be a gowh funcion wih < p p <, ϕ A p (R n ) and φ : [, ) [, ) be nondeceasing. If hee exiss a posiive consan C such ha, fo all (, ), φ() d C φ(), hen hee exiss a posiive consan C such ha, fo all f M ϕ,φ (R n ), [b,s α ](f) M ϕ,φ (R n ) C f M ϕ,φ (R n ). Poof. Wihou loss ofgenealiy, we may assume ha b MO(R n ) = ; ohewise, we eplace b by b/ b MO(R n ). Fix anyball := (x, ) R n fo some x R n and (, ) and le f = fχ 2 +fχ (2) =: f +f 2. Since, fo all α (,], [b,s α ] is sublinea, i follows ha, fo all x, [b,s α ](f)(x) [b,s α ](f )(x)+[b,s α ](f 2 )(x). Taking µ := f ϕ,2, by Poposiion 2.7 and Lemma 2.7, we obain ( ϕ x, [b,s ) ( α](f )(x) dx ϕ x, f ) (x) dx ϕ(, ) µ ϕ(, ) R µ n ( ϕ x, f(x) ) dx. ϕ(, ) µ Fom his and Lemma 2.6(i), we deduce ha [b,s α ](f ) ϕ, f ϕ,2. Theefoe, φ(ϕ(,)) [b,s α ](f ) ϕ, φ(ϕ(,)) f ϕ,2 φ(ϕ(,)) φ(ϕ(2,)) f M ϕ,φ (R n ) 2 f M ϕ,φ (R n ). (2.8) Nex, we un o esimae [b,s α ](f 2 ). Since, fo any x and (y,) Γ(x), sup [b(x) b(z)]θ (y z)f 2 (z)dz θ C α(r n ) R n b(x) b sup θ (y z)f 2 (z)dz θ C α(r n ) R n + sup [b(z) b ]θ (y z)f 2 (z)dz, (2.9) θ C α(r n ) R n whee b is as in (.) wih f eplaced by b, i follows ha, fo all x, [b,s α ](f 2 )(x) b(x) b S α (f 2 )(x)

19 + INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 9 { sup Γ(x) θ C α(r n ) =: I (x)+i 2 (x). Fo I (x), by (2.4), we see ha, fo all x, [b(z) b ]θ (y z)f 2 (z)dz 2 dyd R n n+ φ(ϕ(,))i (x) b(x) b f M ϕ,φ (R n ). } /2 y his and he fac ha ϕ is of unifomly lowe ype p and uppe ype p, we know ha ( ϕ x, φ(ϕ(,))i ) (x) dx ϕ(, ) f M ϕ,φ (R n ) [ b(x) b p + b(x) b p ]ϕ(x,)dx. (2.2) ϕ(, ) Since ϕ(,) A p (R n ) A p (R n ), hee exiss some (, ) such ha ϕ(,) RH (R n ). Fom his, he Hölde inequaliy and Poposiion 2.6, we deduce ha [ ] /pi b(x) b p i ϕ(x,)dx ϕ(, ) [ [ϕ(,)] /p i [ b(x) b p i dx ] /( p i ){ b(x) b p i dx ] /( p i ) whee i {,}. y his, (2.2) and Lemma 2.6(i), we have [ϕ(x,)] dx } /(pi ), (2.2) φ(ϕ(,)) I ϕ, f M ϕ,φ (R n ). (2.22) On he ohe hand, fom (2.7), he Minkowski inequaliy and he fac ha θ C α (R n ) is unifomly bounded, i follows ha, fo all x, I 2 (x) Γ(x) [ k= k= + [ sup k= θ C α(r n ) 2 k+ \2 k 2 k+ k= 2 k+ \2 k ] 2 [b(z) b ]θ (y z)f 2 (z)dz dyd ]{ b(z) b f(z) dz 2 k 2 x y < 2 k+ 2 k+ b 2 k+ b =: J (x)+j 2 (x). b(z) b 2 k+ f(z) dz 2 k+ f(z) dz } /2 dyd 3n+ n+ /2

20 2 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG y Lemma 2.8, we know ha, fo all x, ϕ(2 k+,) J (x) f 2 k+ ϕ,2 k+ b( ) b 2 k+ ϕ(,) k= ψ,2 k+. (2.23) Fom Lemma 2.5, i follows ha ( ) ψ x, ϕ(2k+,) b(x) b 2 k+ ϕ(x,)dx ϕ(2 k+,) 2 k+ 2 k+ ϕ(x,) ϕ(2 k+,) { [ ] p b(x) b2 i [ ] ϕ(2 k+ p },) i k+ ϕ(x,)dx. (2.24) [ϕ(x,)] 2 k+ 2 k+ i= Since ϕ(,) A p (R n ) A p (R n ), we know ha w i ( ) := [ϕ(,)] p i /p i A p i (R n ) fo i {,} (see, fo example, [2, p.36]). y his, he Hölde inequaliy and (2.2) wih p i eplaced by p i, we conclude ha, fo i {,}, [ ] b(x) b ϕ(2 k+,) 2 k+ p i ϕ(2 k+ p,) i ϕ(x,)dx 2 k+ 2 k+ [ϕ(x,)] p i [ ] p i { } ϕ(x,)dx [ϕ(x,)] p 2 k+ 2 k+ 2 k+ i dx 2 k+ b(x) b w i (2 k+ ) 2 k+ p i wi (x)dx, whee 2 k+ w i (2 k+ ) := Fom his and (2.24), i follows ha ψ ϕ(2 k+,) 2 k+ 2 k+ w i (x)dx. ( x, ϕ(2k+,) b(x) b 2 k+ 2 k+ ϕ(x,) ) ϕ(x,)dx, which, ogehe wih Lemma 2.6(ii), fuhe implies ha ϕ(2 k+,) 2 k+ b( ) b 2. (2.25) k+ ϕ(,) ψ,2 k+ y his, (2.23) and (2.3), we conclude ha, fo all x, φ(ϕ(,)) φ(ϕ(,))j (x) φ(ϕ(2 k+,)) φ(ϕ(2k+,)) f ϕ,2 k+ k= k= Fo J 2 (x), since b MO(R n ), we have φ(ϕ(,)) φ(ϕ(2 k+,)) f M ϕ,φ (R n ) f M ϕ,φ (R n ). (2.26) b 2 k+ b (k +) b MO(R n ).

21 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 2 y his, Lemma 2.8 and (2.), we know ha, fo all x, J 2 (x) (k +) f(z) dz 2 k+ k= 2 k+ (k +) ϕ(2k+,) f 2 k+ ϕ,2 k+ ϕ(,) k= k + φ(ϕ(2 k+,)) f M ϕ,φ (R ). n k= ψ,2 k+ Fom (2.2), we deduce ha hee exiss some j N such ha, fo all k N, i holds ue ha log( ϕ(2(k+)j,) ϕ(2 kj,) ), which fuhe implies ha k ϕ(2 kj,) ϕ(,) s ds. y his, (2.2) and he assumpions of φ, we have φ(ϕ(,)) (k +) φ(ϕ(2 k+,)) k= = φ(ϕ(,)) (k +) φ(ϕ(2 k+,)) + 2j k= 2j k= φ(ϕ(,)) (k +) φ(ϕ(2 k+,)) +j2 k= +φ(ϕ(,)) k= (k+2)j (i+)φ(ϕ(,)) φ(ϕ(2 i,)) i=(k+)j k= k + φ(ϕ(2 (k+)j,)) φ(ϕ(,)) 2(k +) φ(ϕ(2 (k+)j,)) ϕ(2 (k+)j,) k + +φ(ϕ(,)) φ(ϕ(2 (k+)j k=,)) ϕ(2 kj,) ϕ(2 (k+)j,) +φ(ϕ(,)) (k +) k= ϕ(2 kj,) φ() d ϕ(2 (k+)j,) +φ(ϕ(,)) +φ(ϕ(,)) +φ(ϕ(,)) +φ(ϕ(,)) k= ϕ(2 kj,) ϕ(2 (k+)j,) k= ϕ(2 kj,) ϕ(,) ϕ(,) φ() s s ϕ(,) d ϕ(2 kj,) φ() d ϕ(,) φ() s dsd φ() dds ϕ(,) s dsd s ds

22 22 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG Thus, fo all x, +φ(ϕ(,)) ϕ(,) ds. φ(s)s φ(ϕ(,))j 2 (x) f M ϕ,φ (R n ). (2.27) Combining (2.26) and (2.27), we see ha, fo all x, which fuhe implies ha Fom his and (2.22), we deduce ha φ(ϕ(,))i 2 (x) f M ϕ,φ (R n ), φ(ϕ(,)) I 2 ϕ, f M ϕ,φ (R n ). φ(ϕ(,)) [b,s α ](f 2 ) ϕ, f M ϕ,φ (R n ), which, combined wih (2.8), complees he poof of Theoem 2.8. y using an agumen simila o ha used in he poof of Theoem 2.8, we can pove [b,g λ,α ] and [b,g α] ae, especively, bounded on M ϕ,φ (R n ) as following, he deails being omied. Poposiion 2.9. Le α (,], b MO(R n ), ϕ be a gowh funcion wih < p p <, ϕ A p (R n ) and φ : [, ) [, ) be nondeceasing. If hee exiss a posiive consan C such ha, fo all (, ), φ() d C φ(), hen hee exiss a posiive consan C such ha, fo all f M ϕ,φ (R n ), [b,g α ](f) M ϕ,φ (R n ) C f M ϕ,φ (R n ). Poposiion 2.2. Le α (,], b MO(R n ), ϕ be a gowh funcion wih < p p <, ϕ A p (R n ) and φ : [, ) [, ) be nondeceasing. If hee exiss a posiive consan C such ha, fo all (, ), φ() d C φ() and λ > min{max{3, p },3+2α/n}, hen hee exiss a posiive consan C such ha, fo all f M ϕ,φ (R n ), [b,g λ,α](f) M ϕ,φ (R n ) C f M ϕ,φ (R n ). Remak 2.2. In [47], Wang esablished he boundedness of gλ,α and [b,g λ,α ] on weighed Moey space M p,κ w (R n ) wih λ > max{3,p}. This coesponds o Theoem 2.5 and Poposiion 2.2 in he case when ϕ is as in (.2) wih w A p (R n ), p (, ) and φ as in Remak 2.4(ii). We poin ou ha Theoem 2.5 and Poposiion 2.2, even fo his special case, also impove he ange of λ > p in [47] o a wide ange λ > 3+2α/n when p > 3+2α/n.

23 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS oundedness of ininsic Lilewood-Paley funcions on weighed Olicz-Moey spaces In his secion, moivaed by Nakai [37], we inoduce he weighed Olicz- Moey space Mw (Rn ) and esablish he boundedness on Mw (Rn ) of ininsic Lilewood-Paley funcions and hei commuaos wih MO(R n ) funcions. Recall ha a funcion Φ : [, ) [, ) is called a Young funcion (o N-funcion), if i is inceasing and convex, and saisfies ha Φ() =, lim Φ()/ = and lim Φ()/ = (see, fo example, [5, p. 436]). Obviously, any Young funcion is coninuous and sicly inceasing, and hence bijecive. The complemenay funcion of Φ is defined by, fo all [, ), Φ() := sup {s Φ(s)}. s [, ) I is well known ha Φ is also a Young funcion and, fo all (, ), Φ () Φ () 2 (3.) (see, fo example, [4, pp.3 4]), whee Φ denoes he invese funcion of Φ. Moeove, by Lemma 2.5(ii) wih ϕ(x,) := Φ() fo all x R n and [, ), we know ha, if Φ is of lowe ype p and uppe ype p wih < p p <, hen Φ is of lowe ype p and uppe ype p. In his case, Φ 2 2 (see [4] fo he definiions of he condiions 2 and 2 ). Convesely, if Φ 2 2, hen Φ is of lowe ype p and uppe ype p fo some p and p wih < p p < (see [23, Lemma.3.2]). Definiion 3.. LeΦbeaYoungfuncion, φ : (, ) (, )benoninceasing and w A (R n ). The weighed Olicz-Moey space M w (Rn ) is defined by Mw (R n ) := {f L loc(r n ) : f M w (R n ) := sup f, < }, R n whee he supemum is aken ove all balls of R n and { ( ) } f(x) f, := inf µ (, ) : Φ w(x)dx. w()φ(w()) µ Hee and in wha follows, fo any ball of R n and w A (R n ), w() := w(x) dx. Remak 3.2. (i) Since Φ is convex, we know ha M w (R n ) is a nom. (ii) If a funcion Φ : [, ) [, ) is quasi-convex, namely, hee exis a convex funcion Φ and a posiive consan C such ha Φ (C ) Φ() Φ (C) fo all [, ), hen he coesponding funcionals M w (R n ) and M Φ ae equivalen. w,φ Theefoe, all he esuls in his secion also hold ue fo any quasi-convex funcion which is of lowe ype p and uppe ype p wih < p p <.

24 24 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG (iii) If w, hen Mw (R n ) coincides wih he Olicz-Moey space L () (R n ) in [37] wih equivalen noms. (iv)ifφ() := / foall (, ),henmw (Rn )coincideswihheweighed Olicz space L Φ w (Rn ). In his case, φ saisfies he assumpions fo all he heoems in his secion. Theefoe, all he esuls in his secion hold ue fo any L Φ w (Rn ) wih Young funcion Φ of lowe ype p and uppe ype p and w A p (R n ), whee < p p <. (v) Even if ϕ(x,) := w(x)φ() fo all x R n and [, ), (3.2) wih Φ being a Young funcion and w A (R n ), M ϕ,φ (R n ) as in Secion 2 may no coincide wih M w (Rn ). efoe poving he main esuls of his secion, we fis sae he following echnical lemmas whose poofs ae, especively, simila o hose of Lemmas 2.6, 2.7 and 2.8, he deails being omied. Lemma 3.3. Le Φ be a Young funcion which is of lowe ype p and uppe ype p wih < p p < and φ, w be as in Definiion 3.. Le C be a posiive consan. Then hee exiss a posiive consan C such ha (i) fo any ball of R n and µ (, ), w()φ(w()) ( f(x) Φ µ ) w(x)dx C implies ha f, Cµ; (ii) fo any ball of R n and µ (, ), ( ) f(x) Φ w(x)dx w()φ(w()) µ C implies ha f, Cµ. Lemma 3.4. Le Φ be as in Lemma 3.3 and φ, w as in Definiion 3.. Then, fo any ball of R n and f,, i holds ue ha ( ) f(x) Φ w(x)dx = w()φ(w()) f, and, fo all f,, i holds ue ha ( f(x) Φ w()φ(w()) f, ) w(x)dx =. Lemma 3.5. Le Φ be as in Lemma 3.3 and φ, w as in Definiion 3.. Then, fo any ball of R n and f,g L loc (Rn ), f(x) g(x) w(x)dx 2 f, g, w()φ(w()). One of he main esuls of his secion is as follows.

25 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 25 Theoem 3.6. Le α (,], Φ be a Young funcion which is of uppe ype p and lowe ype p wih < p p <, w A p (R n ) and φ be noninceasing. Assume ha hee exiss a posiive consan C such ha, fo all < s <, φ() d Cφ() and φ() Cφ(s)s. Then hee exiss a posiive consan C such ha, fo all f M w (Rn ), S α (f) M w (R n ) C f M w (R n ). Poof. Fix any ball := (x, ), wih x R n and (, ), and decompose f = fχ 2 +fχ (2) =: f +f 2. Since, fo any α (,], S α is sublinea, we see ha, fo all x, S α (f)(x) S α (f )(x)+s α (f 2 )(x). Le µ := f,2. Fom Poposiion 2. wih ϕ being as in (3.2), i follows ha Φ(S α (f)(x))w(x)dx Φ( f(x) )w(x)dx, R n R n which, ogehe wih Lemma 3.4 and he fac ha φ is deceasing, fuhe implies ha ( ) Sα (f )(x) Φ w(x) dx w()φ(w()) µ ( ) f (x) Φ w(x) dx w()φ(w()) R µ n ( ) f(x) Φ w(x)dx w(2)φ(w(2)). w()φ(w()) µ w()φ(w()) 2 y his and Lemma 3.3(i), we have S α (f ), f,2. Theefoe, S α (f ), f M w (R n ). (3.3) Fom (2.8) and Lemma 3.5, i follows ha, fo all x, S α (f 2 )(x) k= w(2 k+ )φ(w(2 k+ )) f 2 k+,2 w k+,2 k+. (3.4) y he fac ha Φ is of unifomly lowe ype p and uppe ype p and he fac ha w A p (R n ) A p (R n ), we know ha ( ) w(2 Φ k+ ) Φ (φ(w(2 k+ ))) w(x) dx w(2 k+ )φ(w(2 k+ )) 2 k+ 2 k+ w(x) { [ ] w(2 k+ p ) [ ] w(2 k+ p } ) + w(x) dx w(2 k+ ) 2 k+ 2 k+ w(x) 2 k+ w(x) [ ] p w(x) dx [w(x)] p 2 k+ 2 k+ dx 2 k+ 2 k+

26 26 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG [ + 2 k+ 2 k+ Fom his and Lemma 3.3(ii), i follows ha ] p w(x) dx [w(x)] p 2 k+ dx. 2 k+ w(2 k+ ) Φ (φ(w(2 k+ ))) w 2 k+,2 k+. (3.5) y his, (3.4) and (3.), we conclude ha, fo all x, φ(w(2 k+ )) S α (f 2 )(x) f M w (R n ) Φ (φ(w(2 k+ ))) k= k= f M w (R n ) Φ (φ(w(2 k+ ))). (3.6) Recall ha, by (2.2) wih ϕ as in (3.2), hee exiss some j N such ha, fo all k N, ( w(2 (k+)j ) ) log. w(2 kj ) Moeove, by his, he fac ha Φ (φ( )) is deceasing and he assumpions of φ, we have Φ (φ(w(2 k+ ))) k= = (l+)j l= i=lj + j i= Φ (φ(w(2 i ))) Φ (φ(w(2 i )))+j Φ (φ(w(2 lj ))) Φ (φ(w()))+ Φ (φ(w()))+ Φ (φ(w()))+ l= Φ (φ(w(2 lj ))) l= w(2 lj ) l= w(2 (l )j ) w() Φ (φ()) Φ (φ()) whee he las inequaliy is deduced fom he fac ha Φ (φ()) w(2 lj ) w(2 (l )j ) d d d Φ (φ(w())), (3.7) d Φ (φ()) (3.8) (see [37, Lemma 5.3] and he poof of [37, Coollay 3.2]). Fom (3.6) and (3.7), i follows ha, fo all x, S α (f 2 )(x) Φ (φ(w())) f M w (R n ),

27 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 27 which fuhe implies ha ( ) S α (f 2 )(x) Φ φ(w()). f M w (R n ) Theefoe, ( ) S α (f 2 )(x) Φ w()φ(w()) f M w (R n ) y his and Lemma 3.3(i), we have w(x)dx. S α (f 2 ), f M w (R n ), (3.9) which, ogehe wih (3.3), complees he poof of Theoem 3.6. Fo a Young funcion Φ, a funcion φ : R n (, ) (, ) and a weigh w on R n, he space M w (R n ) is defined by a way same as Definiion 3., via using φ(c,w()) insead of φ(w()), whee c is he cene of he ball. Then, by an agumen simila o ha used in he poof of Theoem 3.6, we have he following boundedness of S α on M w (R n ), he deails being omied. Theoem 3.7. Le α (,], Φ be a Young funcion which is of uppe ype p and lowe ype p wih < p p < and w A p (R n ). Assume ha hee exiss a posiive consan C such ha, fo all x R n and < s <, φ(x, ) d Cφ(x,), φ(x,s) Cφ(x,) and φ(x,) Cφ(x,s)s. Then hee exiss a posiive consan C such ha, fo all f S α (f) M w (R n ) C f M w (R n ). M w (Rn ), Fo example, le φ(x,) := λ(x) fo all x R n and (, ) wih λ(x) < and sup x R nλ(x) <. Then φ saisfies all he assumpions of Theoem 3.7. Since g α (f) is poinwise compaable o S α (f), we have he following coollay of Theoem 3.6, he deails being omied. Coollay 3.8. Le α (,], Φ be a Young funcion which is of uppe ype p and lowe ype p wih < p p <, w A p (R n ) and φ be noninceasing. Assume ha hee exiss a posiive consan C such ha, fo all < s <, φ() d Cφ() and φ() Cφ(s)s. Then hee exiss a posiive consan C such ha, fo all f M w (Rn ), g α (f) M w (R n ) C f M w (R n ). Similaly, hee exiss a coollay simila o Coollay 3.8 of Theoem 3.7, he deails being omied.

28 28 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG Theoem 3.9. Le α (,], Φ be a Young funcion which is of uppe ype p and lowe ype p wih < p p <, w A p (R n ) and φ be noninceasing. Assume ha hee exiss a posiive consan C such ha, fo all < s <, φ() d Cφ() and φ() Cφ(s)s. If λ > min{max{3, p },3+2α/n}, hen hee exiss a posiive consan C such ha, fo all f M w (Rn ), g λ,α(f) M w (R n ) C f M w (R n ). Poof. Fo any ball := (x, ) R n wih x R n and (, ), le f = fχ 2 +fχ (2) =: f +f 2. Since, fo any α (,], gλ,α is sublinea, we know ha, fo all x, g λ,α (f)(x) g λ,α (f )(x)+g λ,α (f 2)(x). Simila o he esimae fo f in he poof of Theoem 3.6, by Poposiion 2. wih ϕ as in (3.2), Lemma 3.4, he fac ha φ is noninceasing and Lemma 3.3(i), if λ > min{max{{2,p },3+2α/n}, we conclude ha g λ,α (f ), f M w (R n ). (3.) To esimae f 2, fom (2.7), Lemma 3.5, (3.) and (3.7), we deduce ha, fo all j Z + and x, S α,2 j(f 2 )(x) 2 3jn/2 k= 2 3jn/2 k= φ(w(2 k+ )) f M w (R n ) Φ (φ(w(2 k+ ))) f M w (R n ) Φ (φ(w(2 k+ ))) 2 3jn/2 f M w (R n ) Φ (φ(w())). (3.) y his, we fuhe see ha ( ) S α,2 j(f 2 )(x) Φ φ(w()), 2 3jn/2 f M w (R n ) which fuhe implies ha w()φ(w()) Φ ( S α,2 j(f 2 )(x) 2 3jn/2 f M w (R n ) Fom his and Lemma 3.3(i), we deduce ha ) S α,2 j(f 2 ), 2 3jn/2 f M w (R n ). w(x)dx. y his and (3.9), we know ha, if λ > 3, [ gλ,α(f 2 ), + 2 ] f j(λ 3)n/2 M w (R n ) f Mw (R n ), j=

29 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 29 which, combined wih (3.), complees he poof of Theoem 3.9. Theoem 3.. Le α (,], Φ be a Young funcion which is of uppe ype p and lowe ype p, < p p < wih w A p (R n ) and φ be noninceasing. Assume ha hee exiss a posiive consan C such ha, fo all < s <, φ() d Cφ() and φ() Cφ(s)s. If λ > min{max{3, p },3+2α/n}, hen hee exiss a posiive consan C such ha, fo all f M w (Rn ), [b,g λ,α](f) M w (R n ) C f M w (R n ). Poof. Wihou loss ofgenealiy, we may assume ha b MO(R n ) = ; ohewise, we eplace b by b/ b MO(R n ). Fix any ball := (x, ) R n wih x R n and (, ). Le f = fχ 2 +fχ (2) =: f +f 2. Since, fo any α (,], [b,s α ] is sublinea, we know ha, fo all x, [b,g λ,α ](f)(x) [b,g λ,α ](f )(x)+[b,g λ,α ](f 2)(x). Le µ := f,2. Fom Poposiion 2.7 wih ϕ as in (3.2), i follows ha Φ([b,gλ,α ](f)(x))w(x)dx Φ( f(x) )w(x)dx, R n R n which, combined wih Lemma 3.4, fuhe implies ha ( [b,g ) λ,α ](f )(x) Φ w(x) dx w())φ(w()) µ ( ) f (x) Φ w(x) dx w())φ(w()) R µ n ( ) f(x) Φ w(x)dx. w())φ(w()) µ Fom his and Lemma 3.3(i), we fuhe deduce ha 2 [b,g λ,α ](f ), f,2 f M w (R n ). (3.2) Nex, we un o esimae [b,gλ,α ](f 2). y (2.9), we know ha, fo all x, { ( ) λn [b,gλ,α](f 2 )(x) b(x) b gλ,α(f 2 )(x)+ + x y sup θ C α(r n ) =: I(x)+II(x). R n [b(z) b ]θ (y z)f 2 (z)dz 2 dyd R n n+ Fo any x, by (2.6), (3.) and λ > 3, we conclude ha g λ,α (f 2)(x) f M w (R n ) Φ (φ(w())), } /2

30 3 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG which fuhe implies ha, fo all x, I(x) b(x) b f M w (R n ) Φ (φ(w())). Fom his, he fac ha Φ is lowe ype p and uppe ype p and (2.2) wih ϕ(x,) eplaced by w(x), i follows ha ( ) I(x) Φ w(x) dx φ(w())w() f M w (R n ) Φ ( b(x) b Φ (φ(w())) ) w(x)dx φ(w())w() [ b(x) b p + b(x) b p ]w(x)dx. w() y his and Lemma 3.3(i), we know ha I, f M w (R n ). (3.3) Fo II(x), we find ha, fo all x, { ( ) λn II(x) x y < + x y [ ] 2 sup [b(z) b ]θ (y z)f 2 (z)dz dyd θ C α(r n ) R n n+ { ( ) λn + j= 2 j x y <2 j + x y [ ] 2 sup [b(z) b ]θ (y z)f 2 (z)dz dyd θ C α(r n ) R n n+ { 2 jλn/2 k= =: j= [ sup θ C α(r n ) x y <2 j ] 2 [b(z) b ]θ (y z)f 2 (z)dz dyd R n n+ 2 jλn/2 I j (x). (3.4) j= Fo j Z +, by he fac ha θ C α (R n ) is unifomly bounded, we know ha, fo all x, [ ]{ } /2 dyd I j (x) b(z) b f(z) dz 2 k+ \2 k 2 k j 2 x y <2 j 3n+ /2 /2 /2

31 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 3 2 3jn/2 b(z) b 2 k+ 2 f(z) dz k+ k= 2 k+ +2 3jn/2 2 k+ b 2 k+ b f(z) dz k= =: H j (x)+g j (x). Fo H j (x), by Lemma 3.5, we know ha 2 k+ H j (x) 2 3jn/2 w(2 k+ )φ(w(2 k+ )) 2 k+ k= b( ) b 2 k+ w( ),2.,2 f k+ k+ y an agumen simila o ha used in he esimae fo (2.25), we have w(2 k+ )φ(w(2 k+ )) 2 k+ b( ) b 2 φ(w(2 k+ )) k+ w( ),2 k+ Φ (φ(w(2 k+ ))). Fom his, (3.) and (3.7), i follows ha, fo all x, H j (x) 2 3jn/2 f M w (R n ) Φ (φ(w(2 k+ ))) Fo G j (x), by he fac ha k= 2 3jn/2 f M w (R n ) Φ (φ(w())). (3.5) b 2 k+ b (k +) b MO(R n ), Lemma 3.5 and (3.5), we conclude ha, fo all x, G j (x) 2 3jn/2 (k +) f(z) dz 2 k+ k= 2 k+ \2 k 2 3jn/2 f M w (R n ) (k +)Φ (φ(w(2 k+ ))). y (2.2), we know ha hee exiss some j N such ha, fo all k N, ( w(2 (k+)j ) ) log. w(2 kj ) Fom his, (3.8) and he fac ha Φ (φ( )) is deceasing, i follows ha (k +)Φ (φ(w(2 k+ ))) k= = (k +)Φ (φ(w(2 k+ )))+ 2j k= k= k= (k+2)j i=(k+)j (i+)φ (φ(w(2 i+ )))

32 32 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG (k +)Φ (φ(w(2 k+ )))+2j 2 2j k= Φ (φ(w()))+ Φ (φ(w()))+ Φ (φ(w()))+ Φ (φ(w()))+ Φ (φ(w()))+ Φ (φ(w()))+ Φ (φ(w()))+ (k +)Φ (φ(w(2 (k+)j ))) k= (k +)Φ (φ(w(2 (k+)j ))) k= (k +)Φ (φ(w(2 (k+)j ))) k= (k +) w(2 (k+)j ) k= w(2 kj ) w(2 (k+)j ) k= w(2 kj ) w(2 (k+)j ) k= w(2 kj ) w() w() s Thus, we find ha, fo all x, s Φ (φ(s)) s Φ (φ()) Φ (φ()) Φ (φ()) Φ (φ()) d d d w(2 (k+)j ) w(2 kj ) w(2 kj ) w() w() s dsd ds Φ (φ(w())). G j (x) 2 3jn/2 f M w (R n ) Φ (φ(w())). s ds y his, (3.5) and (3.4), ogehe wih λ > 3, we see ha, fo all x, [ II(x) + 2 ] f j(λ 3)n/2 M w (R n ) Φ (φ(w())), j= which, combined wih Lemma 3.3(i), implies ha Fom his and (3.3), we deduce ha II, f M w (R n ). [b,g λ,α ](f 2), f M w (R n ), which, combined wih (3.2), complees he poof of Theoem 3.. y using an agumen simila o ha used in he poof of Theoem 3., we can pove [b,s α ] and [b,g α ] ae bounded, especively, on Mw (Rn ) as follows, he deails being omied. Poposiion 3.. Le α (,], Φ be a Young funcion which is of uppe ype p and lowe ype p, < p p <, w A p (R n ) and φ be noninceasing. Assume ha hee exiss a posiive consan C such ha, fo all < s <, φ() d Cφ() and φ() Cφ(s)s. d

33 INTRINSIC LITTLEWOOD-PALEY FUNCTIONS 33 Then hee exiss a posiive consan C such ha, fo all f M w (R n ), and [b,s α ](f) M w (R n ) C f M w (R n ) [b,g α ](f) M w (R n ) C f M w (R n ). 4. oundedness of ininsic Lilewood-Paley funcions on Musielak-Olicz Campanao spaces In his secion, we esablish he boundedness of ininsic Lilewood-Paley funcions on he Musielak-Olicz Campanao space which was inoduced in [3]. We begin wih ecalling he noion of Musielak-Olicz Campanao spaces. Definiion 4.. Le ϕ be a gowh funcion saisfying ϕ A p (R n ), p [, ) and q [, ). A locally inegable funcion f on R n is said o belong o he Musielak-Olicz Campanao space L ϕ,q (R n ), if f L ϕ,q (R n ) := sup R n χ L ϕ (R n ) { [ ] q } f(x) f ( ) /q ϕ(x, χ L ϕ (R n ) ) ϕ x, χ L ϕ (R n ) dx is finie, whee he supemum is aken ove all balls of R n and f as in (.). Moivaed by [2], we also inoduce a subspace L ϕ,q (Rn ) of L ϕ,q (R n ). Definiion 4.2. Le ϕ be a gowh funcion saisfying ϕ A p (R n ), p [, ) andq [, ). Alocallyinegablefuncionf onr n issaidobelongol ϕ,q (Rn ), if f L ϕ,q (R n ) := sup R n χ L ϕ (R n ) { [ ] q } f(x) essinf y f(y) ( ) /q ϕ(x, χ L ϕ (R n ) ) ϕ x, χ L ϕ (R n ) dx is finie, whee he supemum is aken ove all balls of R n. Remak 4.3. (i) Since he gowh funcion hee is slighly diffeen fom [3] (see Remak 2.2(i)), he Musielak-Olicz Campanao space hee is also slighly diffeen fom [3]. (ii) L ϕ,q (R n ) L ϕ,q (R n ). efoe poving he main esuls of his secion, we need he following echnical lemma. Lemma 4.4. Le ϕ be a gowh funcion saisfying ϕ A p (R n ), p [, ) and q [, ). Then, fo any ball := (x,) R n wih x R n and (, ), f L ϕ,q (R n ) and β (max{n( p p ),}, ), hee exiss a posiive consan C, independen of f and, such ha β χ L ϕ (R n ) f(y) f R n n+β + y x dy C f n+β L ϕ,q (R n ).

34 34 YIYU LIANG, EIICHI NAKAI, DACHUN YANG AND JUNQIANG ZHANG Poof. Le := (x,) R n, wih x R n and (, ), and f L ϕ,q (R n ). Wie β f(y) f dy R n n+β + y x n+β β f(y) f n+β + y x dy + β n+β =: I + k= 2 k \2 k I k. (4.) k= Fo I, by he Hölde inequaliy, we know ha I f(y) f dy χ L ϕ (R n ) f L ϕ,q (R n ). (4.2) Fo any k N, by he Hölde inequaliy again, we have k k f 2 k f f 2 j f 2 j 2 j j= k j= j= 2 j f(y) f 2 j dy χ 2 j L ϕ (R n ) f 2 j L ϕ,q (R n ). (4.3) Since ϕ A p (R n ) and ϕ is of unifomly lowe ype p, we see ha, fo all j Z +, ( ) ( ) ϕ 2 j,2 jnp/p χ L ϕ (R n ) 2 jnp ϕ 2 j, χ L ϕ (R n ), which fuhe implies ha, fo all j Z +, χ 2 j L ϕ (R n ) 2 jnp/p χ L ϕ (R n ). y his, he Hölde inequaliy and (4.3), we conclude ha, fo any k N, f(y) f dy f(y) f 2 dy+ 2 k f k 2 k f 2 k 2 k [ ] k χ L ϕ (R n ) f L ϕ,q (R n ) 2 kn p p +2 kn 2 jn( p ) p k= j= 2 kns χ L ϕ (R n ) f L ϕ,q (R n ), (4.4) whee s := max{,p/p }. y (4.4) and β (max{n( p p ),}, ), we see ha β I k f(y) f 2 k(n+β) n+β dy k= k= 2 k 2 kn(s β/n) χ L ϕ (R n ) f L ϕ,q (R n ) χ L ϕ (R n ) f L ϕ,q (R n ), which, ogehe wih (4.) and (4.2), complees he poof of Lemma 4.4. One of he main esuls of his secion is as follows.